Proofs of dirac delta property

Let $\mu = x-b$. Then you have that $$ \begin{align*} \int_{-\infty}^{\infty}\delta(a-x)\delta(x-b)dx &= \int_{-\infty-b}^{\infty-b}\delta(a-b-\mu)\delta(\mu)d\mu \\ & = \int_{-\infty}^{\infty}\delta(a-b-\mu)\delta(\mu)d\mu \\ & = \delta(b-a) \end{align*} $$

The '=' comes from the contraction of Dirac Functions. This result show that the contraction of two continuous Dirac functions is equivalent to a third Dirac function.


To be completely rigorous, note that in general the product of two measures/distributions/generalised functions is not well-defined; but the convolution is, which is what we have in this case (the convolution of $\delta(x)$ with $\delta(x-b)$ "evaluated" at $a$). Since the result is a measure, the equality just means that the integral against any function is the same, so we check this:

$$\int f(a) \int \delta(a-x) \delta(x-b)\ dx\ da = \int\left(\int f(a)\delta(a-x) da\right) \delta(x-b) dx \\ =\int f(x) \delta(x-b) dx=f(b)=\int f(a)\delta(b-a) da.$$

The interchange of integration here is essentially the definition of the convolution of measures - $\int \delta(a-x) \delta(x-b) dx$ is defined to be the measure such that this manipulation is valid.


I presume you know that $$\int f(x)\delta(x-a)\; dx = f(a).\tag{1}$$

Then put $f(x) = \delta(x-b)$ and you get $$\int \delta(x-b)\delta(x-a)\; dx = \delta(a-b).$$

Maybe this doesn't work because (1) applies only for well-behaved $f$? I forget. But if not you could make some limit argument based on $\delta(x) = \lim_{a\to\infty} \frac1{\sqrt a}e^{-x^2/a^2}$ and it would go through all right.