Distributional derivative of the Heaviside step function (source code)

= Distributional derivative of the Heaviside step function

For every test function $\varphi$,
$$
\langle H',\varphi\rangle=-\int_0^\infty\varphi'(t)dt=\varphi(0),
$$
so $H'=\delta$ as distributions.