Dirac delta function

Required math: calculus

Required physics: none

Reference: Griffiths, David J. (2005), Introduction to Quantum Mechanics, 2nd Edition; Pearson Education – Problem 2.24.

One of the weirder bits of mathematics that the physics student will encounter is the Dirac delta function {\delta(x)}. In one dimension, the ‘function’ (technically it’s really not a function at all, but a distribution) can be defined by saying {\delta(x)=0} for all {x\ne0} but {\delta(x)=\infty} at {x=0}. However, this definition isn’t very satisfactory, and in fact doesn’t define {\delta(x)} uniquely. It is better to define it using two conditions:

\displaystyle   \delta(x) \displaystyle  = \displaystyle  0\;\mathrm{if}\;x\ne0\ \ \ \ \ (1)
\displaystyle  \int_{-\infty}^{\infty}\delta(x)dx \displaystyle  = \displaystyle  1 \ \ \ \ \ (2)

It is the integral condition which pins the delta function down uniquely.

For those that like to visualize functions, the delta function can be thought of as a limit of a series of rectangular functions. If we define a rectangular function of width {1/w} and height {w} (so its area is 1) centred horizontally on the {y}-axis and sitting with its base on the {x}-axis, then we can visualize the delta function as the limit of this rectangle as {w\rightarrow\infty}. As {w} gets larger, the rectangle gets taller and thinner, and in the limit it is an infinitely high spike with only an infinitesimal width, but with an area always equal to 1.

One consequence of the delta function being zero everywhere except at {x=0} is that if we multiply it by any function, it doesn’t matter what that function’s values are except at {x=0}. That is, we can say

\displaystyle  f(x)\delta(x)=f(0)\delta(x) \ \ \ \ \ (3)

In terms of integrals, this means that

\displaystyle   \int_{-\infty}^{\infty}f(x)\delta(x)dx \displaystyle  = \displaystyle  \int_{-\infty}^{\infty}f(0)\delta(x)dx\ \ \ \ \ (4)
\displaystyle  \displaystyle  = \displaystyle  f(0)\int_{-\infty}^{\infty}\delta(x)dx\ \ \ \ \ (5)
\displaystyle  \displaystyle  = \displaystyle  f(0) \ \ \ \ \ (6)

using the second defining property of {\delta(x)} above. The effect of integrating a function multiplied by the delta function is to pick out the function’s value at {x=0}.

It is easy enough to move the location of the delta function’s spike. If we want the spike to appear at {x=a} we can use the function {\delta(x-a)}, since the spike occurs when the delta function’s argument is zero, that is, at {x-a=0}. Thus we can generalize the integral formula above to

\displaystyle  \int_{-\infty}^{\infty}f(x)\delta(x-a)dx=f(a) \ \ \ \ \ (7)

One of the trickier formulas that causes some consternation amongst physics students is this formula:

\displaystyle  \delta(kx)=\frac{1}{|k|}\delta(x) \ \ \ \ \ (8)

where {k} is a non-zero constant.

Before we discuss what this means, we can run through the proof. Since the main use of delta functions is in integration, we can consider this formula in light of the integration condition. Suppose we define the variable transformation {y=kx}. Then {dy=k\;dx}. We’ll take {k>0} first:

\displaystyle   \int_{-\infty}^{\infty}f(x)\delta(kx)dx \displaystyle  = \displaystyle  \int_{-\infty}^{\infty}f(y/k)\delta(y)\frac{1}{k}dy\ \ \ \ \ (9)
\displaystyle  \displaystyle  = \displaystyle  \frac{1}{k}\int_{-\infty}^{\infty}f(y/k)\delta(y)dy\ \ \ \ \ (10)
\displaystyle  \displaystyle  = \displaystyle  \frac{1}{k}f(0) \ \ \ \ \ (11)

This is the same result as what we would get if we evaluated:

\displaystyle  \frac{1}{k}\int_{-\infty}^{\infty}f(x)\delta(x)dx=\frac{1}{k}f(0) \ \ \ \ \ (12)

so it seems reasonable to take {\delta(kx)=\delta(x)/k} in this case.

If {k<0,}then the derivation is the same except that making the variable substitution {y=kx} inverts the limits of integration, so we get

\displaystyle   \int_{-\infty}^{\infty}f(x)\delta(kx)dx \displaystyle  = \displaystyle  \int_{\infty}^{-\infty}f(y/k)\delta(y)\frac{1}{k}dy\ \ \ \ \ (13)
\displaystyle  \displaystyle  = \displaystyle  -\int_{-\infty}^{\infty}f(y/k)\delta(y)\frac{1}{k}dy\ \ \ \ \ (14)
\displaystyle  \displaystyle  = \displaystyle  -\frac{1}{k}f(0)\ \ \ \ \ (15)
\displaystyle  \displaystyle  = \displaystyle  \frac{1}{|k|}f(0) \ \ \ \ \ (16)

Therefore, saying {\delta(kx)=\delta(x)/|k|} covers both cases.

Now the problem many people have with this formula is this: if the definition of {\delta(x)} is that it is zero everywhere, but infinite when {x=0}, then since the same can be said of {\delta(kx)}, why can’t we just say {\delta(kx)=\delta(x)}?

The reason arises in the ambiguity of this non-integral definition of the delta function that I mentioned at the start. There are many ways we can define a function that is zero everywhere but infinite at {x=0}. Look at it this way. Instead of using the limit of the sequence of rectangles that I did at the start, suppose we use a sequence of rectangles of width {1/kw} and height {w}, so that their areas are all {1/k}. Now in the limit as {w\rightarrow\infty} we get another function that is zero everywhere except at {x=0} and has an infinite spike at {x=0} but it is clearly not the same as {\delta(x)} since the area of the spike is {1/k} instead of 1. This new function which results from scaling the {x} axis using the transformation {x\rightarrow kx} gives you a spike with an area of {1/k} times the original.

A generalization of this formula is

\displaystyle  \delta\left(f\left(x\right)-f\left(x_{0}\right)\right)=\frac{1}{\left|f^{\prime}\left(x_{0}\right)\right|}\delta\left(x\right) \ \ \ \ \ (17)

The proof of this follows the same lines as above. We consider the case {f^{\prime}\left(x_{0}\right)>0} and do the integral

\displaystyle  \int_{-\infty}^{\infty}g(x)\delta\left(f\left(x\right)-f\left(x_{0}\right)\right)dx \ \ \ \ \ (18)

Now do the substitution

\displaystyle   y \displaystyle  = \displaystyle  f\left(x\right)-f\left(x_{0}\right)\ \ \ \ \ (19)
\displaystyle  dy \displaystyle  = \displaystyle  f^{\prime}\left(x\right)dx\ \ \ \ \ (20)
\displaystyle  x \displaystyle  = \displaystyle  f^{-1}\left(y+f\left(x_{0}\right)\right) \ \ \ \ \ (21)

Then we get

\displaystyle  \int_{-\infty}^{\infty}g(x)\delta\left(f\left(x\right)-f\left(x_{0}\right)\right)dx=\int_{-\infty}^{\infty}g\left(f^{-1}\left(y+f\left(x_{0}\right)\right)\right)\frac{\delta\left(y\right)}{f^{\prime}\left(x\right)}dy \ \ \ \ \ (22)

Since {y=0} when {x=x_{0}} we get

\displaystyle   \int_{-\infty}^{\infty}g\left(f^{-1}\left(y+f\left(x_{0}\right)\right)\right)\frac{\delta\left(y\right)}{f^{\prime}\left(x\right)}dy \displaystyle  = \displaystyle  g\left(f^{-1}\left(f\left(x_{0}\right)\right)\right)\frac{1}{f^{\prime}\left(x_{0}\right)}\ \ \ \ \ (23)
\displaystyle  \displaystyle  = \displaystyle  \frac{g\left(x_{0}\right)}{f^{\prime}\left(x_{0}\right)} \ \ \ \ \ (24)

As above when {k<0}, if {f^{\prime}\left(x_{0}\right)<0} we get {-g\left(x_{0}\right)/f^{\prime}\left(x_{0}\right)} so the general formula is as given in 17.

Another formula that can cause nightmares is the derivative of the step function, that is of the function

\displaystyle  H(x)=\begin{cases} 0 & x\le0\\ 1 & x>0 \end{cases} \ \ \ \ \ (25)

Since the function is constant everywhere except at {x=0} its derivative is zero everywhere except at {x=0}. However, the step function is discontinuous at this point, and since it jumps a finite amount over a single point, it would seem that its derivative is infinite at that point. To see what’s going on, suppose we try the integral

\displaystyle   \int_{-1}^{1}f(x)\frac{dH}{dx}dx \displaystyle  = \displaystyle  f(0)\int_{-1}^{1}\frac{dH}{dx}dx\ \ \ \ \ (26)
\displaystyle  \displaystyle  = \displaystyle  f(0)[H(1)-H(-1)]\ \ \ \ \ (27)
\displaystyle  \displaystyle  = \displaystyle  f(0) \ \ \ \ \ (28)

(the limits on the integral could be any interval which includes 0). The first line uses the fact that {dH/dx=0} everywhere except {x=0}, and the second line is just the ordinary evaluation of an integral.

Thus {dH/dx} satisfies both conditions of the delta function, so we can say

\displaystyle  \frac{dH}{dx}=\delta(x) \ \ \ \ \ (29)

Note that if the step is a different size, say {k>0}, so that we have

\displaystyle  H_{k}(x)=\begin{cases} 0 & x\le0\\ k & x>0 \end{cases} \ \ \ \ \ (30)

then the same analysis gives

\displaystyle  \int_{-1}^{1}f(x)\frac{dH_{k}}{dx}dx=kf(0) \ \ \ \ \ (31)

so from the earlier example, we get

\displaystyle   \frac{dH_{k}}{dx} \displaystyle  = \displaystyle  \delta(x/k)\ \ \ \ \ (32)
\displaystyle  \displaystyle  = \displaystyle  k\delta(x) \ \ \ \ \ (33)

29 thoughts on “Dirac delta function

  1. Pingback: Delta-function well – bound state « Physics tutorials

  2. Pingback: Delta-function well – scattering « Physics tutorials

  3. Pingback: Electric potential « Physics tutorials

  4. Pingback: Electric potential « Physics tutorials

  5. Pingback: Dirac delta function in three dimensions « Physics tutorials

  6. Pingback: Dirac delta function – simple examples « Physics tutorials

  7. Pingback: Delta function well: bound state – uncertainty principle « Physics tutorials

  8. Pingback: Infinite square well with triangular initial state using delta function « Physics tutorials

  9. Pingback: Delta function potential – moving delta function « Physics tutorials

  10. Pingback: Delta function potential – moving delta function « Physics tutorials

  11. Pingback: Delta function – Fourier transform « Physics tutorials

  12. Pingback: Hamiltonian matrix elements « Physics tutorials

  13. Pingback: Momentum space representation of finite wave function « Physics tutorials

  14. Pingback: Detecting magnetic monopoles | Physics pages

  15. Pingback: Variational principle and the delta function well | Physics pages

  16. Pingback: Variational principle and the delta function well | Physics pages

  17. Pingback: Quantum dots | Physics pages

  18. Pingback: Delta function in time perturbation | Physics pages

  19. Pingback: Functionals and functional derivatives | Physics pages

  20. Pingback: Occupation number representation; delta function as a series | Physics pages

  21. Pingback: Infinite square well with variable delta function barrier: ground state energy | Physics pages

  22. Pingback: Tunnelling through a potential barrier with the radiation reaction force | Physics pages

  23. Pingback: Delta function: a couple of alternative derivations | Physics pages

  24. Pingback: Lorentz invariance in Klein-Gordon momentum states | Physics pages

  25. Pingback: Derivatives of the delta function | Physics pages

  26. Pingback: Green’s functions; forced harmonic oscillator | Physics pages

  27. Pingback: Green’s function for Klein-Gordon equation | Physics pages

  28. Pingback: Continuity of the wave function – Born’s conditions revisited | Physics pages

  29. Pingback: Non-denumerable basis: position and momentum states | Physics pages

Leave a Reply

Your email address will not be published. Required fields are marked *