http://www.amaderforum.
com
CHAPTER 12. FOURIER TRANSFORM
Fourier Transform
The Fourier transform is a generalization of the complex Fourier series in the limit as
. Replace the discrete with the continuous while letting . Then
change the sum to an integral, and the equations become
(1)
(2)
Here,
(3)
(4)
is called the forward ( ) Fourier transform, and
(5)
(6)
is called the inverse ( ) Fourier transform. The notation is introduced in Trott
(2004, p. xxxiv), and and are sometimes also used to denote the Fourier
transform and inverse Fourier transform, respectively (Krantz 1999, p. 202).
Note that some authors (especially physicists) prefer to write the transform in terms of
angular frequency instead of the oscillation frequency . However, this destroys
the symmetry, resulting in the transform pair
(7)
(8)
(9)
http://www.amaderforum.com
http://www.amaderforum.com
(10)
To restore the symmetry of the transforms, the convention
(11)
(12)
(13)
(14)
is sometimes used (Mathews and Walker 1970, p. 102).
In general, the Fourier transform pair may be defined using two arbitrary constants and
as
(15)
(16)
The Fourier transform of a function is implemented as FourierTransform[f, x,
k], and different choices of and can be used by passing the optional
FourierParameters-> a, b option. By default, Mathematica takes
FourierParameters as . Unfortunately, a number of other conventions are in
widespread use. For example, is used in modern physics, is used in pure
mathematics and systems engineering, is used in probability theory for the
computation of the characteristic function, is used in classical physics, and
is used in signal processing. In this work, following Bracewell (1999, pp. 6-7), it is
always assumed that and unless otherwise stated. This choice often results
in greatly simplified transforms of common functions such as 1, , etc.
Since any function can be split up into even and odd portions and ,
(17)
http://www.amaderforum.com
http://www.amaderforum.com
(18)
a Fourier transform can always be expressed in terms of the Fourier cosine transform and
Fourier sine transform as
(19)
A function has a forward and inverse Fourier transform such that
(20)
provided that
1. exists.
2. There are a finite number of discontinuities.
3. The function has bounded variation. A sufficient weaker condition is fulfillment of the
Lipschitz condition
(Ramirez 1985, p. 29). The smoother a function (i.e., the larger the number of continuous
derivatives), the more compact its Fourier transform.
The Fourier transform is linear, since if and have Fourier transforms and
, then
(21)
(22)
Therefore,
(23)
(24)
The Fourier transform is also symmetric since implies .
Let denote the convolution, then the transforms of convolutions of functions have
particularly nice transforms,
http://www.amaderforum.com
http://www.amaderforum.com
(25)
(26)
(27)
(28)
The first of these is derived as follows:
(29)
(30)
(31)
(32)
where .
There is also a somewhat surprising and extremely important relationship between the
autocorrelation and the Fourier transform known as the Wiener-Khinchin theorem. Let
, and denote the complex conjugate of , then the Fourier transform of
the absolute square of is given by
(33)
The Fourier transform of a derivative of a function is simply related to the
transform of the function itself. Consider
(34)
Now use integration by parts
(35)
with
(36)
(37)
and
(38
)
(39)
http://www.amaderforum.com
http://www.amaderforum.com
then
(40)
The first term consists of an oscillating function times . But if the function is bounded
so that
(41)
(as any physically significant signal must be), then the term vanishes, leaving
(42)
(43)
This process can be iterated for the th derivative to yield
(44)
The important modulation theorem of Fourier transforms allows to
be expressed in terms of as follows,
(45)
(46)
(47)
(48
)
Since the derivative of the Fourier transform is given by
(49)
it follows that
(50)
Iterating gives the general formula
(51)
http://www.amaderforum.com
http://www.amaderforum.com
(52)
The variance of a Fourier transform is
(53)
and it is true that
(54)
If has the Fourier transform , then the Fourier transform has the
shift property
(55)
(56)
so has the Fourier transform
(57)
If has a Fourier transform , then the Fourier transform obeys a
similarity theorem.
(58)
so has the Fourier transform
(59)
The "equivalent width" of a Fourier transform is
(60)
(61)
The "autocorrelation width" is
(62)
http://www.amaderforum.com
http://www.amaderforum.com
(63)
where denotes the cross-correlation of and and is the complex conjugate.
Any operation on which leaves its area unchanged leaves unchanged, since
(64)
The following table summarized some common Fourier transform pairs.
Function
Fourier transform--1 1
Fourier transform--cosine
Fourier transform--delta function
Fourier transform--exponential function
Fourier transform--Gaussian
Fourier transform--Heaviside step function
Fourier transform--inverse function
Fourier transform--Lorentzian function
Fourier transform--ramp function
Fourier transform--sine
In two dimensions, the Fourier transform becomes
(65)
(66)
(67)
Similarly, the -dimensional Fourier transform can be defined for , by
(68
)
http://www.amaderforum.com
