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:

    “Talk shows are proof that conversation is dead.”
    —Mason Cooley (b. 1927)

    “If some books are deemed most baneful and their sale forbid, how, then, with deadlier facts, not dreams of doting men? Those whom books will hurt will not be proof against events. Events, not books, should be forbid.”
    —Herman Melville (1819–1891)

    “The fact that several men were able to become infatuated with that latrine is truly the proof of the decline of the men of this century.”
    —Charles Baudelaire (1821–1867)