Convolution Theorem - Proof

Proof

The proof here is shown for a particular normalisation of the Fourier transform. As mentioned above, if the transform is normalised differently, then constant scaling factors will appear in the derivation.

Let f, g belong to L1(Rn). Let be the Fourier transform of and be the Fourier transform of :

where the dot between x and ν indicates the inner product of Rn. Let be the convolution of and

Now notice that

Hence by Fubini's theorem we have that so its Fourier transform is defined by the integral formula

\begin{align} H(\nu) = \mathcal{F}\{h\} &= \int_{\mathbb{R}^n} h(z) e^{-2 \pi i z\cdot\nu}\, dz \\ &= \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} f(x) g(z-x)\, dx\, e^{-2 \pi i z\cdot \nu}\, dz. \end{align}

Observe that and hence by the argument above we may apply Fubini's theorem again (i.e. interchange the order of integration):

Substitute ; then, so:

These two integrals are the definitions of and, so:

QED.

Read more about this topic:  Convolution Theorem

Famous quotes containing the word proof:

    “A short letter to a distant friend is, in my opinion, an insult like that of a slight bow or cursory salutation—a proof of unwillingness to do much, even where there is a necessity of doing something.”
    —Samuel Johnson (1709–1784)

    “The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.”
    —Walt Whitman (1819–1892)

    “The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
    —Charles Baudelaire (1821–1867)