Weak Solution to Dx u = Heaviside Step Function

Theorem
Let $H: \R \to \closedint 0 1$ be the Heaviside step function.

Let $u : \R \to \R$ be such that:


 * $\map u x = \begin{cases}

c & : x < 0 \\ x + c & : x > 0 \end{cases}$

where $c \in \R$.

Let $T_u$ be the distribution associated with $u$.

Then $u$ is a weak solution of:


 * $u' = H$

That is, in the distributional sense it holds that:


 * $\dfrac \d {\d x} T_u = T_H$

Proof
$u$ is continuous on $\R$ and continously differentiable on $\R \setminus \set 0$.

For $x < 0$ we have $\map {u'} x = 0$.

For $x > 0$ we have $\map {u'} x = 1$.

That is:


 * $\map {u'} x = \map H x$

Furthermore:


 * $\ds \lim_{x \mathop \to 0^-} = 0$


 * $\ds \lim_{x \mathop \to 0^+} = 1$

By the jump rule: