 Solution

Use the Fourier transform conventionDecay alone does not guarantee existence of the ordinary integrals, so impose the usual integrability and regularity assumptions. One sufficient version of the Fourier inversion theorem is that $f$ and $\tilde{f}$ are integrable and $f$ is continuous, in which case the inversion integral recovers $f$. Under the standard piecewise-smooth Dirichlet assumptions, inversion instead gives the midpoint of the two one-sided limits at a jump, with a suitable improper integral interpretation.

For integrable $f,g$, define $(f\ast g)(x)={\int }_{\mathbb{R}}f(x-y)g(y)dy$. The convolution theorem statesTo prove it, absolute integrability permits Fubini's theorem. Set $t=x-y$ in the inner integral:The absolute double integral is $\Vert f{\Vert }_1\Vert g{\Vert }_1$, justifying the interchange. The computations below assume $a,b>0$ and use the source PDF's factor $e^{ikx}$ in the final integral, omitted in the converted TeX.