PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
Fourier transform (Definition)

The Fourier transform $F(s)$ of a function $f(t)$ is defined as follows:

$$ F(s)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}e^{-ist}f(t)dt.$$

The Fourier transform exists if $f$ is Lebesgue integrable on the whole real axis.

If $f$ is Lebesgue integrable and can be divided into a finite number of continuous, monotone functions and at every point both one-sided limits exist, the Fourier transform can be inverted:

$$f(t)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}e^{ist}F(s)ds.$$

Sometimes the Fourier transform is also defined without the factor $\frac{1}{\sqrt{2\pi}}$ in one direction, but therefore giving the transform into the other direction a factor $\frac{1}{2\pi}$ . So when looking a transform up in a table you should find out how it is defined in that table.

The Fourier transform has some important properties, that can be used when solving differential equations. We denote the Fourier transform of $f$ with respect to $t$ in terms of $s$ by $\mathcal{F}_t(f)$ .

  • $\mathcal{F}_t(af+bg)=a\mathcal{F}_t(f)+b\mathcal{F}_t(g),$
    where $a$ and $b$ are constants.
  • $\mathcal{F}_t\left(\frac{\partial}{\partial t}f\right)=is\mathcal{F}_t(f).$
  • $\mathcal{F}_t\left(\frac{\partial}{\partial x}f\right)=\frac{\partial}{\partial x}\mathcal{F}_t(f).$
  • We define the bilateral convolution of two functions $f_1$ and $f_2$ as: $$(f_1\ast f_2)(t):=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}f_1(\tau)f_2(t-\tau)d\tau.$$ Then the following equation holds: $$\mathcal{F}_t((f_1\ast f_2)(t))=\mathcal{F}_t(f_1)\cdot\mathcal{F}_t(f_2).$$
If $f(t)$ is some signal (maybe a wave) then the frequency domain of $f$ is given as $\mathcal{F}_t(f)$ . Rayleigh's theorem states that then the energy $E$ carried by the signal $f$ given by: $$E=\int_{-\infty}^{\infty}|f(t)|^2dt$$ can also be expressed as: $$E=\int_{-\infty}^{\infty}|\mathcal{F}_t(f)(s)|^2ds.$$ In general we have: $$\int_{-\infty}^{\infty}|f(t)|^2dt=\int_{-\infty}^{\infty}|\mathcal{F}_t(f)(s)|^2ds,$$ also known as the first Parseval theorem.




"Fourier transform" is owned by mathwizard. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: wavelet, progressive function, discrete Fourier transform, Fourier series in complex form and Fourier integral, two-dimensional Fourier transforms, table of generalized Fourier and measured groupoid transforms

Also defines:  first Parseval theorem

Attachments:
approximating Fourier integrals with discrete Fourier transforms (Derivation) by stevecheng
Plancherel's theorem (Theorem) by stevecheng
table of Fourier transforms (Feature) by CWoo
uncertainty principle (Example) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: theorem, frequency domain, equation, convolution, terms, differential equations, properties, Transform, factor, one-sided limits, point, monotone functions, continuous, number, finite, real axis, Lebesgue integrable, function
There are 35 references to this entry.

This is version 14 of Fourier transform, born on 2002-04-07, modified 2008-07-04.
Object id is 2823, canonical name is FourierTransform.
Accessed 31760 times total.

Classification:
AMS MSC42A38 (Fourier analysis :: Fourier analysis in one variable :: Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type)

Pending Errata and Addenda
None.
[ View all 10 ]
Discussion
Style: Expand: Order:
forum policy
Better form by dublisk on 2002-06-04 15:39:36
I think it might be better to define the transform as for f, let

F(s) = int( f(x)*e^(-2*pi*i*s*x) dx, x=-oo,oo).

and then correspondingly,


f(x) = int( F(s)*e^(2*pi*s*x) ds, s=-oo,oo).

[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)