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