= Solution
By the definition of <convolution> and <Fourier inversion>,
$$
\begin{aligned}
\mathcal F^{-1}(\widetilde f*\widetilde g)(t)
&=\frac1{2\pi}\int_{\mathbb R}\int_{\mathbb R}\widetilde f(\eta)\widetilde g(\omega-\eta)e^{i\omega t}\,d\eta\,d\omega\\
&=\frac1{2\pi}\left[\int_{\mathbb R}\widetilde f(\eta)e^{i\eta t}d\eta\right]\left[\int_{\mathbb R}\widetilde g(\nu)e^{i\nu t}d\nu\right]\\
&=\boxed{2\pi f(t)g(t)}.
\end{aligned}
$$
The second line uses $\nu=\omega-\eta$. The factor $2\pi$ comes from the inverse-transform normalization. This is the product form of the <convolution theorem>, initially justified for sufficiently decaying functions and extended when the indicated products and convolutions exist.
Back to article page
