Generalised derivatives of discontinuous real functions

532 Views Asked by At

Does the generalised derivative of every discontinuous real-valued function always yield a Dirac-delta 'function' at the point(s) of discontinuity? My limited experience with generalised distributions answers in the positive but I lack a general answer to this question. Please, if possible, provide me with an intuitively clear answer to this question, because I do not know the formal language used in discussing such distributions. If not possible, then provide me with a formal explanation all the same...at least something is better than none...

If the answer shall be in the negative ( which seems to be the case here), then I would like to know under what precise conditions (such as the type of discontinuity), a Dirac -delta function can occur on taking the generalised derivative.

1

There are 1 best solutions below

0
On BEST ANSWER

To start with, part of the trouble is that a discontinuous function can determine the same distribution as a smooth function.

Consider the Dirichlet function $\chi_{\mathbb{Q}}$ (1 on rationals, 0 on irrationals), which is discontinuous everywhere. For any test function $\phi$, we have

$$ \int_{-\infty}^\infty \chi_{\mathbb{Q}} \phi \, dx = 0, $$ because the rationals are only a countable set and have measure 0. Therefore from a distributional perspective $\frac{d}{dx} \chi_{\mathbb{Q}} = 0$. As you can see, this does not yield a Dirac delta at the point of discontinuity. Similarly, you can look at Thomae's function which is also distributionally zero, but has points of discontinuity at the rational numbers only.

There is also the possibility of having functions that are not almost everywhere equal to something smooth but whose discontinuities are not jumps, i.e. the left and right limits do not exist.