fourier inversion theorem

In mathematics, Fourier inversion recovers a function from its Fourier transform. Several different Fourier inversion theorems exist. Sometimes the following identity is used as the definition of the Fourier transform:

(\mathcal{F}f)(t)=\int_{-\infty}^\infty f(x)\, e^{-itx}\,dx.

Then it is asserted that

f(x)=\frac{1}{2\pi}\int_{-\infty}^\infty (\mathcal{F}f)(t)\, e^{itx}\,dt

In this way, one recovers a function from its Fourier transform. However, this way of stating a Fourier inversion theorem sweeps some more subtle issues under the carpet. One Fourier inversion theorem assumes that f is Lebesgue-integrable, i.e., the integral of its absolute value is finite:

\int_{-\infty}^\infty\left|f(x)\right|\,dx<\infty.

In that case, the Fourier transform is not necessarily Lebesgue-integrable; it may be only "conditionally integrable". For example, the function f(x) = 1 if −a < x < a and f(x) = 0 otherwise has Fourier transform

-2i\sin(t)/t.

In such a case, the integral in the Fourier inversion theorem above must be taken to be an improper integral

\lim_{b\rightarrow\infty}\frac{1}{2\pi}\int_{-b}^b (\mathcal{F}f)(t) e^{itx}\,dt

rather than a Lebesgue integral. By contrast, if we take f to be a tempered distribution -- a sort of generalized function -- then its Fourier transform is a function of the same sort: another tempered distribution; and the Fourier inversion formula is more simply proved. One can also define the Fourier transform of a quadratically integrable function, i.e., one satisfying

\int_{-\infty}^\infty\left|f(x)\right|^2\,dx<\infty.

that is done might be explained here.'' Then the Fourier transform is another quadratically integrable function. In case f is a quadratically integrable periodic function on the interval then it has a Fourier series whose coefficients are

\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^\pi f(x)\,e^{-inx}\,dx.

The Fourier inversion theorem might then say that

\sum_{n=-\infty}^{\infty} \hat{f}(n)\,e^{inx}=f(x).

What kind of convergence is right? "Convergence in mean square" can be proved fairly easily:

\lim_{N\rightarrow\infty}\int_{-\pi}^\pi\left|f(x)-\sum_{n=-N}^{N} \hat{f}(n)\,e^{inx}\right|^2\,dx=0.

What about convergence almost everywhere? That would say that if f is quadratically integrable, then for "almost every" value of x between 0 and 2π we have

f(x)=\lim_{N\rightarrow\infty}\sum_{n=-N}^{N} \hat{f}(n)\,e^{inx}.

Perhaps surprisingly, although this result is true, it was not proved until 1966 in (Carleson, 1966). For strictly finitary discrete Fourier transforms, these delicate questions of convergence are avoided.

Reference

Carleson (1966). On the convergence and growth of partial sums of Fourier series. Acta Math. 116, 135–157.

<< Previous

Word Browser

Next >>

western ontario mustangs
mcdonnell douglas md 11
queen's golden gaels
grosvenor bridge
city thameslink railway station
johann peter salomon
gremlins
symphony no. 94 (haydn)
lifestyle diseases (alternative medicine)
magnifying transmitter
t. e. dikty

wir danken dir, gott, wir danken dir
sysmex xe 2100
fletcher knebel
super giant slalom skiing
heroic medicine
freighthopping
dom mintoff
south eastern trains
sopwith aviation company
edward stafford
stanford law school

list of japanese governors general
coca carola
list of television stations in baja california sur
bengali poetry
list of television stations in durango
trivial topology
engativ
primrose hill
canadian kennel club
graphics
suliban

afghanistan timeline january 2000
afghanistan timeline february 2000
afghanistan timeline march 2000
afghanistan timeline april 2000
afghanistan timeline may 2000
afghanistan timeline june 2000
afghanistan timeline july 2000
afghanistan timeline september 2000
afghanistan timeline october 2000
afghanistan timeline november 2000
afghanistan timeline december 2000