The Fourier Transform The Dirac delta function Some FT examples exp(i 0 t) cos( 0 t) Some Fourier...

32
The Fourier Transform The Dirac delta function Some FT examples exp(i 0 t) cos( 0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift: f(t–a ) Scale: f(at ) Sum: f(t) + g(t) Derivative: f'(t) Modulation: f(t)cos( 0 t) The intensity and phase and the spectral intensity and phase The 2D Fourier Transform The relative importance of intensity and phase t t t

Transcript of The Fourier Transform The Dirac delta function Some FT examples exp(i 0 t) cos( 0 t) Some Fourier...

Page 1: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The Fourier Transform

The Dirac delta function

Some FT examples

exp(i0 t)cos(0 t)

Some Fourier Transform theorems

Complex conjugate: f*(t)Shift: f(t–a )Scale: f(at )Sum: f(t) + g(t)Derivative: f'(t)Modulation: f(t)cos(0 t)

The intensity and phase and the spectral intensity and phase

The 2D Fourier Transform

The relative importance of intensity and phase

t

t

t

Page 2: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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)

Page 3: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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)

Page 4: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Dirac function Properties

( ) 1

( ) ( ) ( ) ( ) ( )

exp( ) 2 (

exp[ ( ') ] 2 ( '

t dt

t a f t dt t a f a dt f a

i t dt

i t dt

t

(t)

Page 5: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The Fourier Transform and its Inverse

( ) ( ) exp( )F f t i t dt

1

( ) ( ) exp( )2

f t F i t d

Page 6: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

()

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

Page 7: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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

Page 8: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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

Page 9: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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:

Page 10: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The Scale

Theorem in action

f(t) F()

t

t

t

Shortpulse

Medium-lengthpulse

Longpulse

The shorter the pulse,

the broader the spectrum!

This is the essence of the Uncertainty Principle!

Page 11: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The Fourier Transform of a sum of two functions

{ ( ) ( )}

{ ( )} { ( )}

af t bg 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()

Page 12: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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

F

The Fourier transform of a shifted function,

Proof :

Change variables :

exp( ) ( ) i a F

( ) exp( ) ( )f t a i a F F

Page 13: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Application of the Shift Theorem Suppose we’re measuring the spectrum of E(t), but a small fraction of its irradiance, say , takes a longer path to the spectrometer.

The extra light has the field, √E(t–a), where a is the extra path.

The measured spectrum is:

2( ) { ( ) ( )}S E t E t a F

2( ) exp( ) ( )E i a E

22( ) 1 exp( )E i a

22( ) 1 cos( ) sin( )E a i a

2 22( ) 1 cos( ) sin( )E a a

E(t)

Spectro-meter

E(t)

E(t-a)

Performing the Fourier Transform and using the Shift Theorem:

Page 14: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Application of the Shift Theorem (cont’d)

Neglecting compared to√and 1:

The contaminated spectrum will have ripples with a period of 2/a.

And these ripples will have a surprisingly large amplitude.

2( ) 1 2 cos( )E a

2( ) 1 2 cos( )E a

2 2 2( ) 1 2 cos( ) cos ( ) sin ( )E a a a

If = 1% (a seemingly small amount), these ripples will have an amazingly large amplitude of 2√ = 20%!

Page 15: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The Fourier Transform of the complex conjugate of a function

* *( ) ( )f t F F

* *

*

*

*

( ) ( ) exp( )

( ) exp( )

( ) exp( [ ] )

( )

f t f t i t dt

f t i t dt

f t i t dt

F

F

Proof:

Page 16: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

( ) [( ) exp( )]

( ) exp( )

(

f t i i t dt

i f t i t dt

i F

Derivative Theorem The Fourier transform of a derivative of a function, f’(t):    Proof:

Integrate by parts:

{ '( )} '( ) exp( )f t f t i t dt

F

{ '( )} ( )f t i F F

Page 17: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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

If E(t) = (t), then:

0-0

0( ) cos( )E t tF

Page 18: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The Fourier transform and its inverse are symmetrical: f(t) F() and F(t) f() (almost).

( ) exp( )

12 ( )exp( [ ] )

2

F t i t dt

F t i t dt

If f(t) Fourier transforms to F(), then F(t) Fourier transforms to:

Relabeling the integration variable from t to ’, we can see that we have an inverse Fourier transform:

12 ( )exp( [ ] )

2F i d

2 ( )f

This is why it is often said that f and F are a “Fourier Transform Pair.”

Rearranging:

Page 19: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Fourier Transform Magnitude and PhaseAs with any complex quantity, we can decompose f(t) and F() into their magnitude and phase.

f(t) can be written: f(t) = Mag{f(t)} exp[ -i Phase{f(t)}]

where Mag{f(t)}2 is often called the intensity, I(t), and Phase{f(t)} is called the phase, (t). They’re the same quantities we’re used to for light waves.

Analogously, F() = Mag{F()} exp[ -i Phase{F()}]

The Mag{F()}2 is called the spectrum, S(), and the Phase{F()} is called the spectral phase, ().

Just as both the intensity and phase are required to specify f(t), both the spectrum and spectral phase are required to specify F(), and hence f(t).

Page 20: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

It’s easy to go back and forth between the electric field and the intensity and phase.

The intensity:

Calculating the Intensity and the Phase

Im[ ( )]( ) arctan

Re[ ( )]

E tt

E t

(t) = -Im{ ln[E(t)] }

The phase:

Equivalently,

(ti)

Re

ImE(ti)

√I(t i)

I(t) = |E(t)|2

Page 21: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Intensity and Phase of a Gaussian

The Gaussian is real, so its phase is zero.

Time domain:

Frequency domain:

So the spectral phase is zero, too.

A Gaussian transforms

to a Gaussian

Page 22: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The spectral phase of a time-shifted pulse

( ) exp( ) ( )f t a i a F FRecall the Shift Theorem:

So a time-shift simply adds some linear spectral phase to the pulse!

Time-shifted Gaussian pulse (with a flat phase):

Page 23: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

What is the spectral phase anyway?The spectral phase is the abs phase of each frequency in the wave-form.

t0

All of these frequencies have zero phase. So this pulse has:

() = 0

Note that this wave-form sees constructive interference, and hence peaks, at t = 0.

And it has cancellation everywhere else.

1

2

3

4

5

6

Page 24: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Now try a linear spectral phase: () = a.

t

(1) = 0

(2) = 0.2

(3) = 0.4

(4) = 0.6

(5) = 0.8

(6) =

1

2

3

4

5

6

By the Shift Theorem, a linear spectral phase is just a delay in time.

And this is what occurs!

Page 25: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

The spectral phase distinguishes a light bulb from an ultrashort pulse.

Page 26: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Complex Lorentzianand its Intensity and Phase

L( ) 1

a i

1

a ia ia i

a

a2 2 i

a2 2

2 2

1Intensity( )

a

Im[ ( )]Phase( ) arctan arctan( / )

Re[ ( )]

La

L

0

Imaginarycomponent

Realcomponent

0

a

Real part Imag part

Page 27: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Intensity and Phase of a decaying exponential and its Fourier transform

Time domain:

Frequency domain:

(solid)

Page 28: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Light has intensity and phase also.

A light wave has the time-domain electric field:

Intensity Phase

Equivalently, vs. frequency:

Spectral Phase

(neglecting thenegative-frequency

component)

Spectrum

Knowledge of the intensity and phase or the spectrum and spectral phase is sufficient to determine the light wave.

0( ) Re exp ( )( ) ( )E t iI tt t

( )( ) exp ( )SE i

The minus signs are just conventions.

We usually extract out the carrier frequency.

Page 29: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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.

x

k

Page 30: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

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)

Page 31: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

A 2D Fourier Transform: a square function

Consider a square function in the xy plane:

f(x,y) = rect(x) rect(y)

The 2D Fourier Transform splits into the product of two 1D Fourier Transforms:

F {f(x,y)} = sinc(kx/2) sinc(ky/2)

This picture is an optical determinationof the Fourier Transform of the square function!

xy

f(x,y)

F (2){f(x,y)}

Page 32: The Fourier Transform The Dirac delta function Some FT examples exp(i  0 t) cos(  0 t) Some Fourier Transform theorems Complex conjugate: f*(t) Shift:

Fourier Transform Magnitude and Phase

Pictures reconstructed

using the spectral phase

of the other picture

The phase of the Fourier transform (spectral phase) is much more important than the magnitude in reconstructing an image.

Rick Linda

Mag{F [Linda]}Phase{F [Rick]}

Mag{F [Rick]} Phase{F {Linda]}