Difference between revisions of "Number two, ye scallywags!" - Rhea

Revision as of 04:36, 11 June 2013

Problem #7.2, MA598R, Summer 2009, Weigel

Back to The_Pirate's_Booty

Definition of Fourier Transform:

$ \widehat{f} = \int_{-\infty}^{\infty} f(t) e^{-\imath xt} dt $

Definition of Convolution:

$ f\ast g(x) = \int_{-\infty}^{\infty} f(x-y) g(y) dy $

Now, onto the problem:

$ \widehat{f}(x)\widehat{g}(x) = \int_{-\infty}^{\infty} f(t) e^{-\imath xt} dt \int_{-\infty}^{\infty} g(t') e^{-\imath xt'} dt' $

Now, since f and g are both $ L^{1} $, this integral exists, so by Fubini's Theorem, we may rewrite it as:

$ = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(t) g(t') e^{-\imath xt - \imath xt'} dt' dt $

Now, use a change of variables (namely let $ t'-t = t' $)

$ = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(t) g(t'-t) e^{-\imath xt'} dt' dt $

Now, apply Fubini's Theorem again (since all of these are equalities, we don't need to check that the integral exists, since it's automatic), to get:

$ = \int_{-\infty}^{\infty} \left( \int_{-\infty}^{\infty} f(t) g(t'-t) dt \right) e^{-\imath xt'} dt' = \widehat{f\ast g} $

"And that's all I have to say about that" -Forrest Gump

(Written by Nicholas Stull)

Back to the Pirate's Booty

Back to Assignment 7

Back to MA598R Summer 2009