0
$\begingroup$

I know that the following holds for Step function, but not sure if it holds for the distribution too.

Does the following hold for the Dirac delta distribution too?

$\delta$ is a linear functional from a space of test functions. The space is here taken from Schwartz space $S$ or the space of all smooth functions of compact support $D$. The Dirac distribution is differentiable everywhere $(-\infty, \infty)$ except at the point $x = 0$ where the function has a nontrivial jump discontinuity. This can be solved by removing the discontinuity of $\delta'$ by setting \begin{equation} \delta' = 0 \end{equation} which is continuous now on the entire line even though $\delta$ is not differentiable on the real line.

$\endgroup$
  • 1
    $\begingroup$ Are you referring-to distributional derivative/continuity, or standard derivative/continuity? $\endgroup$ – user99680 Dec 18 '13 at 18:26
  • $\begingroup$ I am referring to the distributional derivative/continuity. The above text is for standard derivative/continuity. $\endgroup$ – Léo Léopold Hertz 준영 Dec 18 '13 at 18:30
3
$\begingroup$

The text you quoted messes with different notions of differentiability and I can't make any sense of it.

Since the delta distribution is a linear functional on a space of test functions it is not a function on the real line and hence, it does not make sense to say something like "$\delta$ is differentiable on $(-\infty,\infty)$ except at $x=0$" since $\delta$ is not defined on that set.

When viewing $\delta:\mathcal{S}\to\mathbb{R}$ (linear and continuous with respect to the usual semi-norms on the Schwartz-space – or similar on the space of test functions), it makes sense to say that $\delta$ is continuous. To say that it is differentiable, one has to define the notion of differentiability for such objects (which is done by duality).

$\endgroup$
3
$\begingroup$

Suppose you have $\delta_0\in D'(\Bbb R)$ - Dirac delta distribution. If you take a test function $\phi\in D(\Bbb R)$, then we write by definition $$\langle\delta_0,\phi\rangle:=\phi(0).$$

You can also use the Heaviside function $H(x)$, $\langle H,\phi\rangle:=\int_0^\infty\phi(x)dx$.

Then again, you define the derivative of any distribution $T\in D'(\Bbb R)$ by setting $$\langle T',\phi\rangle:=-\langle T,\phi'\rangle.$$

Then, it's easy to show that $H' =\delta_0$. Even further $\langle\delta_0',\phi\rangle=-\phi'(0)$.

To repeat, all distributions are differentiable (in the sense of distributions, of course) and not all distributions can be represented by $L^1_{loc}$ functions.

Does this answer your question?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.