# Weak Solution to Dx u = Heaviside Step Function

Jump to navigation
Jump to search

## 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:

\(\ds T_u'\) | \(=\) | \(\ds T_H + 0 \cdot \delta\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds T_H\) |

$\blacksquare$

This article is incomplete.In particular: no classical solution; is this obvious?You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Stub}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Sources

- 2017: Amol Sasane:
*A Friendly Approach to Functional Analysis*... (previous) ... (next): Chapter $\S 6.3$: A glimpse of distribution theory. Weak solutions