For , put . The regular distribution of is a tempered distribution, since the function is bounded. Its Fourier transform is the integrable function
with arbitrary finite value at zero when the displayed integral diverges there. To prove the identity, the gamma function gives . Pair this with a Schwartz function, use the Fourier transform of a Gaussian, and interchange integrals by Fubini's theorem. The absolute bound for the transformed pairing follows from Tonelli's theorem:
The positive kernel and dominated convergence give positivity and continuity away from zero. It has a continuous representative at zero exactly when , in which case . For , Fatou's lemma gives as , so no change on a set of zero Lebesgue measure can give continuity.

Articles by others on the same topic (0)

There are currently no matching articles.