Dirac delta multiplication identity (source code)

= Dirac delta multiplication identity
{c}

For smooth $a$ and a point $r$,
$$
a\delta_r=a(r)\delta_r,
\qquad a\delta'_r=a(r)\delta'_r-a'(r)\delta_r.
$$
These follow by applying both sides to a <test function> and using the <Leibniz rule>. In particular $(x-r)\delta'_r=-\delta_r$.