For , put . The regular distribution of is a tempered distribution, since the function is bounded. Its Fourier transform is the integrable functionwith 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
There are currently no matching articles.