Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-9/2/a/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 9 2 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
Use the Fourier transform convention throughout this question. The decay assumption implies square integrability, since polar coordinates giveNear zero the integrand is bounded by , and at infinity it is bounded by . The positive is what makes the latter integrable.
By the Plancherel theorem, there is a function whose Fourier transform is . It is the density of with respect to Lebesgue measure. To justify this step rather than assume a density, for every Schwartz function , Fourier inversion givesThe finite measure and the locally integrable function thus define the same tempered distribution, so they agree as measures: . In particular almost everywhere and . This is the L2 density from a square-integrable Fourier transform principle.
For , the density of is . The inequality holds wherever , apart from a Lebesgue measure zero set, soA second application of the Plancherel theorem yields the explicit boundThe implicit constant in the requested estimate may depend on the measure and its Fourier-decay bound, but is independent of .
New to topics? Read the docs here!