Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 2 / 27K / a / Solution

Use the conventionThe Fourier inversion theorem says that, when $f,\hat{f}\in L^1({\mathbb{R}}^d)$,for almost every $x$.

Sincethe Fubini's theorem and Fourier inversion giveThus the Plancherel theorem identity in this convention is

The inverse integral is a continuous function of $x$, since $\hat{f}\in L^1$ permits dominated convergence. If $f$ is continuous, it and the inverse integral are continuous and agree almost everywhere. They must agree everywhere: otherwise their continuous difference would be nonzero on an open set of positive measure. This is the continuous version of Fourier inversion.