Relation with Classical Derivatives

Let’s see how f′ is related to Df when f is a piecewise smooth function whose classical derivative, f′, is exponentially integrable. For now, assume f has exactly one discontinuity, say, a jump of j0 at x0. Remember,

j0=limxx0+f(x)limxx0f(x).

At this point we should observe that f(x) can be computed from its derivative via

f(x)limsx0+f(s)=x0xf(s)dswhenx0<x

and

limsx0f(s)f(x)=xx0f(s)dswhenx<x0.

From this and the exponential integrability of f′ we can easily deduce that f, itself, must be exponentially bounded on the real line (see lemma 30.10 on page 496).

Now let ϕ be any Gaussian test function. By definition,

Df,ϕ=f,ϕ=f(x)ϕ(x)dx.

(35.26) ...

Get Principles of Fourier Analysis, 2nd Edition now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.