View
268
Download
5
Category
Tags:
Preview:
Citation preview
Fourier Series & The Fourier Transform
What is the Fourier Transform? Fourier Cosine Series for even functions and Sine Series for odd functions The continuous limit: the Fourier transform (and its inverse)
The spectrum
Some examples and theorems
( ) ( ) exp( )F f t i t dt
1( ) ( ) exp ( )
2f t F i t d
Prof. Rick Trebino, Georgia Tech
What do we hope to achieve with the Fourier Transform?We desire a measure of the frequencies present in a wave. This willlead to a definition of the term, the spectrum.
Plane waves have only one frequency, .
This light wave has many frequencies. And the frequency increases in time (from red to blue).
It will be nice if our measure also tells us when each frequency occurs.
Ligh
t el
ectr
ic f
ield
Time
Lord Kelvin on Fourier’s theorem
Fourier’s theorem is not only one of the most beautiful results of modern analysis, but it may be said to furnish an indispensable instrument in the treatment of nearly every recondite question in modern physics.
Lord Kelvin
Joseph Fourier
Fourier was obsessed with the physics of heat and developed the Fourier series and transform to model heat-flow problems.
Joseph Fourier 1768 - 1830
Anharmonic waves are sums of sinusoids.
Consider the sum of two sine waves (i.e., harmonic waves) of different frequencies:
The resulting wave is periodic, but not harmonic. Essentially all waves are anharmonic.
Fourier decomposing functions
Here, we write asquare wave as a sum of sine waves.
sin(t)
sin(3t)
sin(5t)
Any function can be written as thesum of an even and an odd function.
( ) [ ( ) ( )] / 2
( ) [ ( ) ( )] / 2
( ) ( ) ( )
E x f x f x
O x f x f x
f x E x O x
E(-x) = E(x)
O(-x) = -O(x)
Fourier Cosine Series Because cos(mt) is an even function (for all m), we can write an even function, f(t), as:
where the set {Fm; m = 0, 1, … } is a set of coefficients that define the
series.
And where we’ll only worry about the function f(t) over the interval
(–π,π).
f( t) 1
Fm cos(mt)
m 0
The Kronecker delta function
,
1 if
0 if m n
m n
m n
Finding the coefficients, Fm, in a Fourier Cosine Series
Fourier Cosine Series:
To find Fm, multiply each side by cos(m’t), where m’ is another integer, and integrate:
But:
So: only the m’ = m term contributes
Dropping the ’ from the m:
yields the
coefficients for
any f(t)!
0
1( ) cos( )m
m
f t F mt
0
1( ) cos( ' ) cos( ) cos( ' )m
m
f t m t dt F mt m t dt
, '
'cos( ) cos( ' )
0 ' m m
if m mmt m t dt
if m m
, '
0
1( ) cos( ' ) m m m
m
f t m t dt F
( ) cos( )mF f t mt dt
Fourier Sine Series
Because sin(mt) is an odd function (for all m), we can write
any odd function, f(t), as:
where the set {F’m; m = 0, 1, … } is a set of coefficients that define the
series.
where we’ll only worry about the function f(t) over the interval (–π,π).
f (t) 1
F m sin(mt)
m0
Finding the coefficients, F’m, in a Fourier Sine Series
Fourier Sine Series:
To find Fm, multiply each side by sin(m’t), where m’ is another integer, and integrate:
But:
So: only the m’ = m term contributes
Dropping the ’ from the m: yields the coefficients for any f(t)!
0
1( ) sin( )m
m
f t F mt
0
1( ) sin( ' ) sin( ) sin( ' )m
m
f t m t dt F mt m t dt
, '
'sin( ) sin( ' )
0 ' m m
if m mmt m t dt
if m m
, '
0
1( ) sin( ' ) m m m
m
f t m t dt F
( ) sin( )mF f t mt dt
Fourier Series
even component odd component
where
and
0 0
1 1( ) cos( ) sin( )m m
m m
f t F mt F mt
Fm f (t) cos(mt) dt F m f (t) sin(mt) dt
So if f(t) is a general function, neither even nor odd, it can be written:
We can plot the coefficients of a Fourier Series
We really need two such plots, one for the cosine series and another for the sine series.
Fm vs. m
m
5 252015
1030
1
.5
0
Discrete Fourier Series vs.Continuous Fourier Transform
Fm vs. m
m
Again, we really need two such plots, one for the cosine series and another for the sine series.
Let the integer m become a real number
and let the coefficients, Fm,
become a function F(m).
F(m)
The Fourier Transform Consider the Fourier coefficients. Let’s define a function F(m) that incorporates both cosine and sine series coefficients, with the sine series distinguished by making it the imaginary component:
Let’s now allow f(t) to range from – to so we’ll have to integrate from – to , and let’s redefine m to be the “frequency,” which we’ll now call :
F() is called the Fourier Transform of f(t). It contains equivalent information to that in f(t). We say that f(t) lives in the time domain, and F() lives in the frequency domain. F() is just another way of looking at a function or wave.
( ) cos( )f t mt dt ( ) sin( )i f t mt dt F(m) Fm – i F’m =
( ) ( ) exp ( )F f t i t dt
The FourierTransform
The Inverse Fourier Transform The Fourier Transform takes us from f(t) to F(). How about going back?
Recall our formula for the Fourier Series of f(t) :
Now transform the sums to integrals from – to , and again replace Fm with F(). Remembering the fact that we introduced a factor of i (and including a factor of 2 that just crops up), we have:
'
0 0
1 1( ) cos( ) sin( )m m
m m
f t F mt F mt
1( ) ( ) exp( )
2f t F i t d
Inverse Fourier
Transform
The Fourier Transform and its Inverse
The Fourier Transform and its Inverse:
So we can transform to the frequency domain and back. Interestingly, these transformations are very similar.
There are different definitions of these transforms. The 2π can occur in several places, but the idea is generally the same.
Inverse Fourier Transform
FourierTransform ( ) ( ) exp( )F f t i t dt
1
( ) ( ) exp( )2
f t F i t d
There are several ways to denote the Fourier transform of a function. If the function is labeled by a lower-case letter, such as f, we can write:
f(t) F() If the function is already labeled by an upper-case letter, such as E, we can write:
or:
Fourier Transform Notation
( ) ( )E t E ( ) { ( )}E t E t F
∩Sometimes, this symbol is used instead of the arrow:
The Spectrum
We define the spectrum, S(), of a wave E(t) to be:
2( ) { ( )}S E t F
This is the measure of the frequencies present in a light wave.
Example: the Fourier Transform of arectangle function: rect(t)
1/ 21/ 2
1/ 2
1/ 2
1( ) exp( ) [exp( )]
1[exp( / 2) exp(
exp( / 2) exp(
2
sin(
F i t dt i ti
i ii
i i
i
( sinc(F Imaginary Component = 0
F()
Example: the Fourier Transform of aGaussian, exp(-at2), is itself!
2 2
2
{exp( )} exp( )exp( )
exp( / 4 )
at at i t dt
a
F
t0
2exp( )at
0
2exp( / 4 )a
The details are a HW problem!
∩
The Dirac delta function
Unlike the Kronecker delta-function, which is a function of two integers, the Dirac delta function is a function of a real variable, t.
if 0( )
0 if 0
tt
t
t
(t)
The Dirac delta function
It’s best to think of the delta function as the limit of a series of peaked continuous functions.
if 0( )
0 if 0
tt
t
t
f1(t)
f2(t)
fm(t) = m exp[-(mt)2]/√
f3(t)
(t)
Dirac function Properties
( ) 1t dt
t
(t)
( ) ( ) ( ) ( ) ( )t a f t dt t a f a dt f a
exp( ) 2 (
exp[ ( ) ] 2 (
i t dt
i t dt
()
The Fourier Transform of (t) is 1.
1exp( ) 2 (i t dt
And the Fourier Transform of 1 is ():
( ) exp( ) exp( [0]) 1t i t dt i
t
(t)
t
0
0
The Fourier transform of exp(i0 t)
0 0exp( ) exp( ) exp( )i t i t i t dt
F
0exp( [ ] )i t dt
The function exp(i0t) is the essential component of Fourier analysis.
It is a pure frequency.
F {exp(i0t)}
02 ( )
exp(i0t)
t
t Re
Im
The Fourier transform of cos(t)
0 0cos( ) cos( ) exp( )t t i t dt
F
0 0
1exp( ) exp( ) exp( )
2i t i t i t dt
0 0
1 1exp( [ ] ) exp( [ ] )
2 2i t dt i t dt
0 0( ) ( )
0{cos( )}tFcos(0t)
t
Fourier Transform Symmetry Properties
Expanding the Fourier transform of a function, f(t):
( ) Re{ ( )} cos( ) Im{ ( )} sin( )F f t t dt f t t dt
Re{F()}
Im{F()}
= 0 if Re{f(t)} is odd = 0 if Im{f(t)} is even
Even functions of Odd functions of
( ) [Re{ ( )} Im{ ( )}] [cos( ) sin( )]F f t i f t t i t dt
Im{ ( )} cos( ) Re{ ( )} sin( )i f t t dt i f t t dt
= 0 if Im{f(t)} is odd = 0 if Re{f(t)} is even
Expanding more, noting that: ( ) 0O t dt
if O(t) is an odd function
The Modulation Theorem:The Fourier Transform of E(t) cos(0 t)
0 0( ) cos( ) ( ) cos( ) exp( )E t t E t t i t dt
F
0 01
( ) exp( ) exp( ) exp( )2
E t i t i t i t dt
0 0
1 1( )exp( [ ] ) ( ) exp( [ ] )
2 2E t i t dt E t i t dt
0 0 01 1
( )cos( ) ( ) ( )2 2
E t t E E F
0-0
0( ) cos( )E t tF
E(t) = exp(-t2)t
Example: 0( ) cos( )E t t
Scale Theorem
The Fourier transform of a scaled function, f(at): { ( )} ( / ) /f at F a aF
{ ( )} ( ) exp( )f at f at i t dt
F
{ ( )} ( ) exp( [ / ]) /f at f u i u a du a
F
( ) exp( [ / ] ) /f u i a u du a
( / ) /F a a
If a < 0, the limits flip when we change variables, introducing a minus sign, hence the absolute value.
Assuming a > 0, change variables: u = at
Proof:
The Scale
Theorem in action
f(t) F()
Shortpulse
Medium-lengthpulse
Longpulse
The shorter the pulse,
the broader the spectrum!
This is the essence of the Uncertainty Principle!
t
t
t
The Fourier Transform of a sum of two functions
{ ( ) ( )}
{ ( )} { ( )}
a f t b g t
a f t b g t
F
F F
Also, constants factor out.
f(t)
g(t)
t
t
t
F()
G()
f(t)+g(t)
F() + G()
Shift Theorem
( ) :
( ) exp( )
( ) exp( [ ])
exp( ) ( ) exp( )
f t a
f t a f t a i t dt
u t a
f u i u a du
i a f u i u du
The Fourier transform of a shifted function,
Proof :
Change variables :
F
exp( ) ( ) i a F
( ) exp( ) ( )f t a i a F F
Fourier Transform with respect to space
F {f(x)} = F(k)
( ) ( ) exp( )F k f x ikx dx
If f(x) is a function of position,
We refer to k as the spatial frequency.
Everything we’ve said about Fourier transforms between the t and domains also applies to the x and k domains.
k
x
The 2D Fourier Transform
F (2){f(x,y)} = F(kx,ky)
= f(x,y) exp[-i(kxx+kyy)] dx dy
If f(x,y) = fx(x) fy(y),
then the 2D FT splits into two 1D FT's.
But this doesn’t always happen.
F (2){f(x,y)}
xy
f(x,y)
The Pulse Width
There are many definitions of the "width" or “length” of a wave or pulse.
The effective width is the width of a rectangle whose height and area are the same as those of the pulse.
Effective width ≡ Area / height:
Advantage: It’s easy to understand.Disadvantages: The Abs value is inconvenient.
We must integrate to ± ∞.
1( )
(0)efft f t dtf
t
f(0)
0
teff
t
t
(Abs value is unnecessary for intensity.)
The Uncertainty Principle
The Uncertainty Principle says that the product of a function's widthsin the time domain (t) and the frequency domain () has a minimum.
(Different definitions of the widths and the Fourier Transform yield different constants.)
1 1 (0)( ) ( ) exp( [0] )
(0) (0) (0)
Ft f t dt f t i t dt
f f f
(0) (0)2
(0) (0)
f Ft
F f 2t 1t
Combining results:
or:
Define the widths assuming f(t) and F() peak at 0:
1 1( ) ( )
(0) (0)t f t dt F d
f F
1 1 2 (0)( ) ( ) exp(
(0) (0) (0)
fF d F i d
F F F
Recommended