Heaviside’s Operational Calculus

June 28th, 2005 ~ Posted in: Mathematics

Did you know that the 4 equations known as Maxwell’s equations are actually Heaviside’s equations? Maxwell’s equations were actually 20 equations in 20 variables. This is my fourth year as an EE student, and I have never heard this before; this is like having the rug pulled from under my feet— I emailed one of the professors in the EM group to see if he can clarify this for me. Shocking!

I stumbled across that fact while looking for information on Heaviside’s operational calculus, part of my intellectual heritage as an electrical engineer :) This was a method Heaviside developed during his stint as a telegrapher to solve ordinary and partial differential equations, based upon regarding differentiation as an operator. It has subsequently been displaced by the Laplace transform, even though his unorthodox approach (i.e. regarding division by the differentiation operator as integration!) has been given a solid basis by Bromwich. Here’s an example, taken from “Fourier Analysis and Boundary Value Problems” by Gonzalez-Velasco:

… to solve the simple differential equation y^{\prime\prime} - y = 0 for t>0 subject to initial conditions  y(0)= y^\prime(0) = 0, Heaviside would denote the differential operator d/dt by p— he had used the letter D until 1886— and obtain the equation p^2y-y=\mathbf{1}, where \mathbf{1} denotes the function that vanishes from  t<0 and has value  1 for  t \geq 0 [The infamous Heaviside step function]. Hence, if we treat p as an algebraic quantity,

 \displaystyle y = \frac{1}{p^2 -1} \mathbf{1} .

This cannot be the end of the line, of course. To obtain the actual solution from this operational solution, let us accept that the geometric series expansion is valid for this operator, and then

 \displaystyle y = \frac{1}{p^2 -1} \mathbf{1} = \left[ \frac{1}{p^2} + \frac{1}{p^4} + \frac{1}{p^6} + \cdots \right] \mathbf{1} .

Since p represents differentiation, Heaviside regarded \frac{1}{p} as integration from zero to t. In this manner,

 \displaystyle y \frac{1}{p} \mathbf{1} = t and  \displaystyle \frac{1}{p^n} \mathbf{1} = \frac{t^n}{n!}

for any positive integer n, leading to the actual solution

 y(t) = \frac{t^2}{2!} + \frac{t^4}{4!} + \frac{t^6}{6!} + \cdots = \frac{e^t + e^{-t}}{2} - 1 ,

which, perhaps surprisingly, is the correct solution.

I’ll say that’s surprising! Here’s a germane quote: shall I refuse my dinner because I do not fully understand the process of digestion? Well, I guess not.

On a related note, “Fourier Analysis and Boundary Value Problems” is a surprisingly good book— it is tailored more for engineers than mathematicians, I would say, yet it contains rigorous Hilbert space concepts, proofs, and even an introduction to measure theory (in the problems of Chapter 2), although Reimannian integration is used throughout, with a series of proofs given in an appendix to plug all the holes that were sprung from deserting Lebesge world. It doesn’t hurt that the typography is very well done, and there are lots of interesting, as opposed to forced, historical interludes. Too bad I’m borrowing it from a friend, instead of owning it.

2 Responses to “Heaviside’s Operational Calculus”

  • 1. Tony
    April 14th, 2007 at 2:03 pm

    Amen to the intellectual honesty about the brilliant genius of Oliver Heaviside……..
    To see how some of his ‘much maligned and ignored as ‘nonrigorous supposition” Operational Methods have been applied recently to solve otherwise intractable problems at the foundations of theoretical physics check out the ref.

    http://www.ejtp.biz/articles/ejtpv3i10p239.pdf

    In the case of Oliver Heaviside’s Operational Methods, indeed,
    ” The stone which the builders rejected, has become the cornerstone’………..

  • 2. Ajay Pai
    September 5th, 2008 at 10:47 am

    Really amazing technique!!!I recently got to know bout it..its really such a simple yet powerful method.Its sad that its not as popular as it should have been.Please publish more of these methods and if possible some examples too.Thanks

This entry was posted on Tuesday, June 28th, 2005 at 6:12 pm and is filed under Mathematics. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

Leave a Reply