L2 density from a square-integrable Fourier transform
ID: l2-density-from-a-square-integrable-fourier-transform
If a finite measure on has square-integrable Fourier transform, the Plancherel theorem gives an inverse transform . Pairing with every Schwartz function and using Fourier inversion identifies the measure with . This establishes absolute continuity, rather than presuming it. For a positive measure, and as well. Multiplication by yields .
New to topics? Read the docs here!