Paper 2, Section II, J

Probability and Measure
Part II, 2012

The Fourier transform of a Lebesgue integrable function fL1(R)f \in L^{1}(\mathbb{R}) is given by

f^(u)=Rf(x)eixudμ(x)\hat{f}(u)=\int_{\mathbb{R}} f(x) e^{i x u} d \mu(x)

where μ\mu is Lebesgue measure on the real line. For f(x)=eax2,xR,a>0f(x)=e^{-a x^{2}}, x \in \mathbb{R}, a>0, prove that

f^(u)=πaeu24a\hat{f}(u)=\sqrt{\frac{\pi}{a}} e^{-\frac{u^{2}}{4 a}}

[You may use properties of derivatives of Fourier transforms without proof provided they are clearly stated, as well as the fact that ϕ(x)=(2π)1/2ex2/2\phi(x)=(2 \pi)^{-1 / 2} e^{-x^{2} / 2} is a probability density function.]

State and prove the almost everywhere Fourier inversion theorem for Lebesgue integrable functions on the real line. [You may use standard results from the course, such as the dominated convergence and Fubini's theorem. You may also use that gtf(x):=Rgt(xy)f(y)dyg_{t} * f(x):=\int_{\mathbb{R}} g_{t}(x-y) f(y) d y where gt(z)=t1ϕ(z/t),t>0g_{t}(z)=t^{-1} \phi(z / t), t>0, converges to ff in L1(R)L^{1}(\mathbb{R}) as t0t \rightarrow 0 whenever fL1(R).]\left.f \in L^{1}(\mathbb{R}) .\right]

The probability density function of a Gamma distribution with scalar parameters λ>0,α>0\lambda>0, \alpha>0 is given by

fα,λ(x)=λeλx(λx)α11[0,)(x)f_{\alpha, \lambda}(x)=\lambda e^{-\lambda x}(\lambda x)^{\alpha-1} 1_{[0, \infty)}(x)

Let 0<α<1,λ>00<\alpha<1, \lambda>0. Is fα,λ^\widehat{f_{\alpha, \lambda}} integrable?