In Mathematics , the , named in honor of French mathematician Joseph Fourier , is a certain Linear Operator that maps Function s to other functions. Loosely speaking, the Fourier transform decomposes a function into a continuous spectrum of its ''frequency components'', and the inverse transform synthesizes a function from its spectrum of frequency components. A useful analogy is the relationship between a series of pure Notes (the frequency components) and a musical chord (the function itself). In mathematical physics, the Fourier transform of a signal ''x''(''t'') can be thought of as that signal in the " Frequency Domain ." This is similar to the basic idea of the various other Fourier transforms including the Fourier Series of a periodic function.
(''See also Fractional Fourier Transform and Linear Canonical Transform for generalizations.'')
There are several common conventions for defining the Fourier transform of a Complex-valued Lebesgue Integrable function, In communications and Signal Processing , for instance, it is often the function
: for every Real Number
When the independent variable represents ''time'' (with SI unit of Second s), the transform variable represents Ordinary Frequency (in Hertz ). The complex-valued function, is said to represent in the . I.e., if is a continuous function, then it can be reconstructed from by the '''inverse transform:'''
: for every real number
Other notations for are and
The interpretation of is aided by expressing it in Polar Coordinate form where
|
:
This convention and the
convention are
transforms.
Variations of all three conventions can be created by conjugating the complex-exponential kernel of both the forward and the reverse transform. The signs must be opposites. Other than that, the choice is (again) a matter of convention.
|   |
"center" style="color: darkblue" '''non-unitary'''
|
|
|   |
"2" align="center" style="color: darkred" '''ordinary <br /> frequency <br /> <math> f \, </math> <br /> (hertz)
|
|   |
"center" style="color: darkblue" '''unitary'''
|
See also the "Table of important Fourier transforms" section below for other properties of the continuous Fourier transform.
- =\mathcal{F}^{-1} and the transform preserves inner-products (see Parseval's Theorem , also described below). Note that, refers to Adjoint of the Fourier Transform operator.
Moreover we can check that,
- = \mathcal{F}^{-1}, \quad \mbox{and} \quad \mathcal{F}^4 = \mathcal{I}\quad
where
is the Time-Reversal operator defined as,
|   |
0</math>
|
|   |
\{f: \, \mathbb{R}^n o \mathbb{C} \\big\ \int_{\mathbb{R}^n} f(x)\, dx < \infty\}</math>
|
where ω ∈
n and ω · ''x'' is the
Inner Product of the two vectors ω and ''x''.
One may now use this to define the continuous Fourier transform for compactly supported smooth functions, which are dense in ''L''
2(
n). The
Plancherel Theorem then allows us to extend the definition of the Fourier transform to functions on ''L''
2(
''n'') (even those not compactly supported) by continuity arguments. All the properties and formulas listed on this page apply to the Fourier transform so defined.
Unfortunately, further extensions become more technical. One may use the
Hausdorff-Young Inequality to define the Fourier transform for ''f'' ∈ ''L''
''p''(
''n'') for 1 ≤ ''p'' ≤ 2. The Fourier transform of functions in ''L''
''p'' for the range 2 < ''p'' < ∞ requires the study of distributions, since the Fourier transform of some functions in these spaces is no longer a function, but rather a
Distribution .
It should be noted that depending on the author either of these theorems might be referred to as the Plancherel theorem or as Parseval's theorem.
If ''f''(''t'') and ''g''(''t'') are square-integrable and ''F''(ω) and ''G''(ω) are their Fourier transforms, then we have
Parseval's Theorem :
:
where the bar denotes
Complex Conjugation . Therefore, the Fourier transformation yields an
Isometric Automorphism of the
Hilbert Space ''L''
2(
n).
The
Plancherel Theorem , which is equivalent to
Parseval's Theorem , states that
|   |
1</math>
|
|   |
"http://wwwinformationdelightinfo/information/entry/expected_value" class="copylinks">Expected ''location''Location, momentum and particle do not have any physical meaning here they are simply convenient monikers chosen with analogy to the interpretation used in the Heisenberg Uncertainty Principle of a particle (with probability density ''f''(''t)''<sup>2</sup>) as
|
In an analogous manner, it can be shown that if
is the
Cross-correlation of
and
:
:
then the Fourier transform of
is:
:
where capital letters are again used to denote the Fourier transform.
The most general and useful context for studying the continuous Fourier transform is given by the
Tempered Distributions ; these include all the integrable functions mentioned above and have the added advantage that the Fourier transform of any tempered distribution is again a tempered distribution and the rule for the inverse of the Fourier transform is universally valid. Furthermore, the useful
Dirac Delta is a tempered distribution but not a function; its Fourier transform is a constant function (whose specific value depends upon the form of the Fourier transform used). Distributions can be differentiated and the above mentioned compatibility of the Fourier transform with differentiation and convolution remains true for tempered distributions.
The following table records some important Fourier transforms. ''G'' and ''H'' denote Fourier transforms of ''g''(''t'') and ''h''(''t''), respectively. ''g'' and ''h'' may be integrable functions or tempered distributions. Note that the two most common unitary conventions are included.
|   |
"http://wwwinformationdelightinfo/information/entry/convolution" class="copylinks">Convolution of <math>g\,</math> and <math>h\,</math> &mdash this rule is the Convolution Theorem
|
|   |
"http://wwwinformationdelightinfo/information/entry/even_function" class="copylinks">Even Function
|
|   |
"2" align="center"<math>G(\omega)\,</math> and <math>G(f)\,</math> are purely real, and Even Function s
|
|   |
"http://wwwinformationdelightinfo/information/entry/odd_function" class="copylinks">Odd Function
|
|   |
"2" align="center"<math>G(\omega)\,</math> and <math>G(f)\,</math> are purely Imaginary , and Odd Function s
|
|
|   |
"wikitable"
|
|
|   |
"http://wwwinformationdelightinfo/information/entry/rectangular_function" class="copylinks">Rectangular Pulse and the normalized Sinc Function
|
|
|   |
"http://wwwinformationdelightinfo/information/entry/rectangular_function" class="copylinks">Rectangular Function is an idealized Low-pass Filter , and the Sinc Function is the Non-causal impulse response of such a filter
|
|
|   |
"http://wwwinformationdelightinfo/information/entry/triangular_function" class="copylinks">Triangular Function
|
|
|   |
"http://wwwinformationdelightinfo/information/entry/Gaussian_function" class="copylinks">Gaussian Function <math>\exp(-\alpha t^2)</math> is its own Fourier transform For this to be integrable we must have <math>\operatorname{Re}(\alpha)>0</math>
|
|   |
\left e^{-\alpha t^2}
ight_{\alpha = -i a} \,</math>
|
|   |
"http://wwwinformationdelightinfo/information/entry/optics" class="copylinks">Optics
|
|   |
"http://wwwinformationdelightinfo/information/entry/Bessel_function" class="copylinks">Bessel Function of first kind of order 0
|
|   |
"http://wwwinformationdelightinfo/information/entry/Chebyshev_polynomials" class="copylinks">Chebyshev Polynomial Of The First Kind
|
|   |
"http://wwwinformationdelightinfo/information/entry/Chebyshev_polynomials" class="copylinks">Chebyshev Polynomial Of The Second Kind
|
|   |
"http://wwwinformationdelightinfo/information/entry/Hyperbolic_function" class="copylinks">Hyperbolic Secant is its own Fourier transform
|
|   |
"wikitable"
|
|
|   |
"http://wwwinformationdelightinfo/information/entry/Dirac_delta" class="copylinks">Dirac Delta distribution
|
|   |
"http://wwwinformationdelightinfo/information/entry/Eulers_formula_in_complex_analysis" class="copylinks">Euler's Formula : <math>\displaystyle\cos(a t) = (e^{i a t} + e^{-i a t})/2</math>
|
|   |
(e^{i a t} - e^{-i a t})/(2i)</math>
|
|   |
"http://wwwinformationdelightinfo/information/entry/natural_number" class="copylinks">Natural Number <math>\displaystyle\delta^n(\omega)</math> is the <math>\displaystyle n</math>-th distribution derivative of the Dirac delta This rule follows from rules 107 and 302 Combining this rule with 1, we can transform all Polynomial s
|
|   |
"http://wwwinformationdelightinfo/information/entry/sign_function" class="copylinks">Sign Function note that this is consistent with rules 107 and 302
|
|   |
"http://wwwinformationdelightinfo/information/entry/Heaviside_step_function" class="copylinks">Unit Step Function this follows from rules 101 and 309
|
|   |
"http://wwwinformationdelightinfo/information/entry/Heaviside_step_function" class="copylinks">Unit Step Function and <math>a > 0</math>
|
|   |
-\infty}^{\infty} \delta (t - n T) \,</math>
|
|   |
-\infty}^{\infty} \delta \left( f -rac{k }{T}
ight) \,</math>
|
|   |
"http://wwwinformationdelightinfo/information/entry/Dirac_comb" class="copylinks">Dirac Comb &mdash helpful for explaining or understanding the transition from continuous to discrete time
|
;Linearity
::::
;Convolution
- f_2(t) \quad \stackrel{\mathcal{F}}{\Longleftrightarrow}\quad F_1(\omega)F_2(\omega)
;Conjugation
::::
;Scaling
;Time shift
::::
;Modulation (multiplication by complex exponential)
::::
;Multiplication by sin
0t
::::
;Multiplication by cos
0t
::::
;Integration
::::
;Parseval's theorem
::::
- Fourier Transforms from EFunda - includes tables
- Dym & McKean, ''Fourier Series and Integrals''. (For readers with a background in Mathematical Analysis .)
- K. Yosida, ''Functional Analysis'', Springer-Verlag, 1968. ISBN 3-540-58654-7
- L. Hörmander, ''Linear Partial Differential Operators'', Springer-Verlag, 1976. (Somewhat terse.)
- A. D. Polyanin and A. V. Manzhirov, ''Handbook of Integral Equations'', CRC Press, Boca Raton, 1998. ISBN 0-8493-2876-4
- R. G. Wilson, "Fourier Series and Optical Transform Techniques in Contemporary Optics", Wiley, 1995. ISBN-10: 0471303577
- R. N. Bracewell, The Fourier Transform and Its Applications, 3rd ed., Boston, McGraw Hill, 2000.
- Tables of Integral Transforms at EqWorld: The World of Mathematical Equations.
-
- [http://math.fullerton.edu/mathews/c2003/FourierTransformMod.html Fourier Transform Module by John H. Mathews]
- [http://www.ieee.li/pdf/viewgraphs_laplace.pdf Extending Laplace & Fourier Transforms by Dr. Shervin Erfani]