[Math] Why does the Dirac delta function satisfy $f(x)\delta(x-a) = f(a)\delta(x-a)$

dirac deltadistribution-theory

Why does the Dirac delta function have the property that
$$ f(x)\delta(x-a)= f(a)\delta(x-a) , $$
where $\delta(x-a)$ is the Dirac delta function? Won't the Dirac delta function just stay the same even after being multiplied?

Best Answer

The definition of the dirac delta is an object $\delta$ such that, for any (suitably well behaved) function $f$, $$\int_{a}^{b}\delta(x)f(x)dx $$ takes the value $f(0)$ if $a<0<b$, and $0$ otherwise. This isn't really a function, as there is provably no function $\delta: \mathbb{R} \to \mathbb{R}$ with this property. If it's not a function, then what the hell is it? Well, as the other answers point out, $\delta$ is formally defined as something called a distribution. However, it turns out you can manipulate $\delta$ as though it were a function, and in surprisingly many cases the sky does not fall on your head.

Fixing an $a \in \mathbb{R}$, it is then immediate from the definition that $$\int_{c}^{d}\delta(x-a)f(x)dx=\int_{c}^{d}f(a)\delta(x-a)dx$$ for any choice of $c$ and $d$, because both sides are equal to $f(a)$ when $a \in [c,d]$, and $0$ otherwise.
It seems that what the question setter has done is then equate the integrands, and say that the objects $$f(x)\delta(x-a)=f(a)\delta(x-a)$$ are the same. In my opinion this is a strange thing to say, because it suggests that you are treating $\delta$ as though it were a real function, which it is not.