With the paper's Fourier transform convention, the Fourier inversion theorem gives
This holds at continuity points under the usual inversion hypotheses; at a jump with one-sided limits it gives their mean. The factor and the sign change in the exponential are part of this normalization.
Insert the inverse Fourier transforms of and its complex conjugate, initially under enough decay to justify interchanging integrals:
The middle step uses the stated Dirac delta distribution identity, and the last uses its sampling property. This is the Parseval identity for the chosen normalization. Approximation extends the result to square-integrable functions, including the function used below.
The real odd function has a purely imaginary odd Fourier transform. Setting and using a product-to-sum identity,
The apparent singularities are removable. Direct evaluation or limits give
In particular, the transform stays finite where its numerator and denominator both vanish.
The squared norm of the original function is
Applying the Parseval identity to part (c), using the evenness of the squared transform, gives
Thus the last integral equals . Now set . Since
we obtain
The apparent singularity at is removable: the continuous value of the integrand there is . No principal-value interpretation is needed.

Articles by others on the same topic (0)

There are currently no matching articles.