Paper 3, Section II, F

Analysis of Functions
Part II, 2017

Denote by C0(Rn)C_{0}\left(\mathbb{R}^{n}\right) the space of continuous complex-valued functions on Rn\mathbb{R}^{n} converging to zero at infinity. Denote by Ff(ξ)=Rne2iπxξf(x)dx\mathcal{F} f(\xi)=\int_{\mathbb{R}^{n}} e^{-2 i \pi x \cdot \xi} f(x) d x the Fourier transform of fL1(Rn)f \in L^{1}\left(\mathbb{R}^{n}\right).

(i) Prove that the image of L1(Rn)L^{1}\left(\mathbb{R}^{n}\right) under F\mathcal{F} is included and dense in C0(Rn)C_{0}\left(\mathbb{R}^{n}\right), and that F:L1(Rn)C0(Rn)\mathcal{F}: L^{1}\left(\mathbb{R}^{n}\right) \rightarrow C_{0}\left(\mathbb{R}^{n}\right) is injective. [Fourier inversion can be used without proof when properly stated.]

(ii) Calculate the Fourier transform of χ[a,b]\chi_{[a, b]}, the characteristic function of [a,b]R[a, b] \subset \mathbb{R}.

(iii) Prove that gn:=χ[n,n]χ[1,1]g_{n}:=\chi_{[-n, n]} * \chi_{[-1,1]} belongs to C0(R)C_{0}(\mathbb{R}) and is the Fourier transform of a function hnL1(R)h_{n} \in L^{1}(\mathbb{R}), which you should determine.

(iv) Using the functions hn,gnh_{n}, g_{n} and the open mapping theorem, deduce that the Fourier transform is not surjective from L1(R)L^{1}(\mathbb{R}) to C0(R)C_{0}(\mathbb{R}).