Dirac's Delta function

3.2k Views Asked by At

On Wikipedia, the definition of the dirac delta function is given as:

enter image description here

Suppose I have a function where at two points, the function goes to infinity. Given that the distance between the two points is $a$, if I take $a$ tends to 0, will I get a Dirac delta function? That is, when the two spikes "superimpose". The domain is [0,a] and the function is zero everywhere in between the two end points.

enter image description here

2

There are 2 best solutions below

2
On

The Dirac delta as function takes continuous functions as arguments and returns their value at $x=0$. That is, another name would be "evaluation operator". In still another characterization, it is the unit of convolution, $f*\delta=f$.

If you want to think in real functions, you can only sensibly define approximations of the behavior of the delta distribution. A robust class of such approximations is given by function sequences $\phi_n\ge 0$ with $\int_{\Bbb R}\phi_n dx=1$ and $\phi_n(x)\to0$ for $x\ne 0$. Examples are $\phi_n(x)=n\phi_1(nx)$ where $\phi_1$ satisfies the above conditions.

A rectangular pulse of width $a$ and height $1/a$ located around the origin (meaning the center converges to zero for $a\to 0$) would also satisfy these conditions, as $a$ goes to zero, $1/a$ goes to infinity, and the shape of the graph stays rectangular.

What does not work is a function that is not integrable, and not a function in the strict sense. Your description of a function jumping to infinity and staying there for a positive length is such a non-function.


Manipulation of the Dirac delta as function follows intuitive rules, $\lim_{a\to 0}\delta_a+\delta_0=2\delta_0$. What you can not do is start with the informal characterization of infinity peaks, as it is not precise enough. An infinity peak can correspond to $0\delta$, $\delta$, $3\delta$ or something without any useful finite results.

3
On

Suppose a sequence $\delta_n$ of functions is proposed to distributionally satisfy $\delta_n\stackrel{n\to\infty}{\to}\delta$ (it has to be distributional convergence; it can't be pointwise, because $\delta$ isn't a true function). For $f$ a Schwartz function,$$f(0)=\int_{\Bbb R}\delta(x)f(x)dx=\lim_{n\to\infty}\int_{\Bbb R}\delta_n(x)f(x)dx.$$Your proposal is of the form $\delta_n=\infty\sum_{i=0}^1[x=ia_n],\,a_n\to0$, in terms of the Iverson bracket. Unfortunately, this gives$$\int_{\Bbb R}\delta_n(x)f(x)dx=0\implies\lim_{n\to\infty}\int_{\Bbb R}\delta_n(x)f(x)dx=0.$$What you should look for is nascent delta functions of the form $\delta_n(x):=ng\left(nx\right)$ with $g$ a pdf, so$$\lim_{n\to\infty}\int_{\Bbb R}\delta_n(x)f(x)dx=\lim_{n\to\infty}\int_{\Bbb R}g(y)f(y/n)dy=\int_{\Bbb R}g(y)\left[\lim_{n\to\infty}f(y/n)\right]dy=f(0)\int_{\Bbb R}g(y)dy=f(0).$$