20. the fourier transform in optics, ii€¦ · the autocorrelation theorem in optics this relation...

22
Parseval’s Theorem The Shift theorem Convolutions and the Convolution Theorem Autocorrelations and the Autocorrelation Theorem The Shah Function in optics The Fourier Transform of a train of pulses 20. The Fourier Transform in optics, II

Upload: others

Post on 11-Aug-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

Parseval’s Theorem

The Shift theorem

Convolutions and the Convolution Theorem

Autocorrelations and the Autocorrelation Theorem

The Shah Function in optics

The Fourier Transform of a train of pulses

20. The Fourier Transform in optics, II

Page 2: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

2{ ( )}S F E t

where F{E(t)} denotes E(), the Fourier transform of E(t).

The Fourier transform of E(t) contains the same information as the original function E(t). The Fourier transform is just a different way of representinga signal (in the frequency domain rather than in the time domain).

But the spectrum contains less information, because we take the magnitude of E(), therefore losing the phase information.

The spectrum of a light waveThe spectrum of a light wave is defined as:

Page 3: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

Parseval’s Theorem* says that the energy in a function is the same, whether you integrate over time or frequency:

2 21( ) ( )2

f t dt F d

2 ( ) ( ) *( )

f t dt f t f t dt

Parseval’s Theorem

Proof:

1 1( exp( ) *( exp( )2 2

F j t d F j t d dt

1 1( ) *( ') exp( [ '] ) '2 2

F F j t dt d d

21 1( ) *( ) ( )2 2

F F d F d

1 1( ) *( ') [2 ')] '2 2

F F d d

* also known as Rayleigh’s Identity.

Page 4: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

The Fourier Transform of a sum of two functions

( ) ( )

( ) ( )

F af t bg t

a F f t b F g t

The FT of a sum is the sum of the FT’s.

Also, constants factor out.

f(t)

g(t)

t

t

t

F()

G()

f(t)+g(t)F() + G()

This property reflects the fact that the Fourier transform is a linear operation.

Page 5: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

Shift Theorem( ) :The Fourier transform of a shifted function, f t a

( ) exp( ) ( ) F f t a j a F

( ) exp( )

( ) exp( [ ])

Proof :

Change variables :

F f t a f t a j t dt

u t a

f u j u a du

exp( ) ( ) exp( )

exp( ) ( ) QED

j a f u j u du

j a F

This theorem is important in optics, because we often

encounter functions that are shifting

(continuously) along the time axis – they are

called waves!

Page 6: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

An example of the Shift Theorem in optics

22( ) 1 exp( ) E j a

2( ) 1 2 cos( )E a

Suppose that we’re measuring the spectrum of a light wave, E(t), but a small fraction of the irradiance of this light, say , takes a different path that also leads to the spectrometer.

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

The measured spectrum is no longer what we expect it to be. It is contaminated! It is the magnitude-squared FT of the total field:

2( ) exp( ) ( ) E j a E

Using the Shift Theorem:

The extra light has the field, , where a is the extra path taken by the weak beam.

( )E t a

E(t)Spectro-

meter

E(t)

( )E t a

Page 7: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

Application of the Shift Theorem (cont’d) 2( ) 1 2 cos( )S E a

2( ) 1 2 cos( )S E a

Neglecting compared to and 1:

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

And, these ripples will have a surprisingly large amplitude:

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

Page 8: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

The convolution allows one function to smear or broaden another.

( ) ( ) ( ) ( )

( – ) ( )

f t g t f x g t x dx

f t x g x dx

changing variables:x t - x

The Convolution

Page 9: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

Here, rect(x) * rect(x) = Triangle(x)

The convolution is sometimes

easy to compute

( ) ) ( ) ( – )

( )

f t t a f t u u a du

f t a

This convolution does not smear out f(t).

Convolution with a delta function simply shifts f(t) so that it is centered on the delta-function, without changing its shape.

Page 10: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

The Convolution Theorem says that the FT of a convolution is the product of the Fourier Transforms:

{ ( ) ( )} = F f t g t F G

The Convolution Theorem

{ ( ) ( )} ( ) ( – ) exp( )

F f t g t f x g t x dx j t dt

Proof:

( ) ( ) exp(– )

f x g t x j t dt dx

( ) ( exp(– )

f x G j x dx

( ) exp(– ) ( ( (

f x j x dx G F G

Shift Theorem

Page 11: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

rect( ) rect( ) Triangle( ) x x x

The Convolution Theorem in action

{rect( )} sinc( )F x kWe saw last lecture that:

2{Triangle( )} sinc ( )F x kTherefore:

Page 12: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

The ‘autocorrelation’ of a function f(x) is given by the convolution of the function with itself:

( ) ( )g t f t f t f t f t t dt

The Autocorrelation

The shaded area is the value of the autocorrelation for one particular value of the displacement a. This represents one point in the autocorrelation g(t).

f(t)f(t-a)

f(t)f(t-a)

*( ) ( )f t f t t dt

In optics, we define the autocorrelation with a complex conjugate:

A Gaussian convolved with itself

Page 13: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

2( ) *( ) ( )

F f t f t t dt F f t

The Autocorrelation TheoremThe Fourier transform of the autocorrelation of a function is equal to the spectrum of the function:

The proof follows directly from:

a) the convolution theorem:

b) the definition of the spectrum:

* *{ ( ) ( )} =F f t f t F F

2* =S F F F

Page 14: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

The Fourier transform of a light-wave field’s autocorrelation is its spectrum!

= the spectrum of the light!

The Autocorrelation Theorem in optics

This relation yields an alternative technique for measuring a light wave’s spectrum. It is used extensively for measuring the spectrum of light in the infrared, a technique known as “Fourier-transform infrared spectroscopy” (FTIR).

2 2( ) *( ) ( ) ( )

F E t E t t dt F E t E S

This version of the Autocorrelation Theorem is known as the “Wiener-Khinchin Theorem.”

Aleksandr Khinchin1894-1959

Norbert Wiener1894-1964

Page 15: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

Fourier-transform spectroscopy

We will discuss FT spectroscopy in more detail in lecture 36.

See also: http://mmrc.caltech.edu/FTIR/FTIRintro.pdf

FT spectroscopy is one of the most widely used techniques in chemical analysis.

Page 16: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

The Shah function, III(x), is an infinitely long train of equally spaced delta-functions.

The symbol III is pronounced shah after the Cyrillic character ш, which is said to have been modeled on the Hebrew letter (shin) which, in turn, may derive from the Egyptian a hieroglyph depicting papyrus plants along the Nile.

The Shah Function

n

III x x n

Page 17: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

If = 2n, where n is an integer, the sum diverges; otherwise, cancellation occurs, and the sum vanishes.

) exp( )

m

F III t t m j t dt

The Fourier Transform of the Shah Function

) exp( )

m

t m j t dt

III III 2F t So:

exp( )

m

j m

The Fourier transform of the Shah function is another Shah function.

Page 18: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

( ) III( / ) ( )

( / )m

E t t T f t

f t T m

The Shah Function in opticsAn infinite train of identical functions f(t) can be written as a convolution:

where f(t) is the shape of each pulse and T is the time between pulses.

Here, a pulsed function (blue) is convolved with two narrow rectangles (red), which results in a reproduction (green) of the pulsed function centered on the locations of each of the rectangles.

Picture this repeating infinitely along the time axis, and you have the idea.

Page 19: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

III / 2 FE T

The spectrum of an infinite train of pulses

Here f(t) represents a single pulse and T is the time between pulses.

( ) III( / ) ( ) E t t T f t

Applying the Convolution theorem:

The spectrum of a train of identical pulses is a series of delta functions, with an envelope determined by F(), the spectrum of just one of the pulses.

What is the spectrum of this pulse train?

Page 20: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

A single pulse bouncing back and forth inside a laser cavity, with round-trip time T, will produce such a pulse train.

The spacing between frequencies is then = /T or = 1/T.

Lasers often produce train of pulses

So if you measure the spectrum of a laser like this, you’ll find a series of spikes:

These are known as the “longitudinal modes” of the laser.

Frequency

Inte

nsity

In fact, all lasers have these discrete modes, whether or not they are pulsed lasers.

Page 21: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

A laser’s frequencies, its “longitudinal modes,” are the frequencies at which it can operate. It cannot operate at other frequencies.

The modes are separated in frequency by 1/T = c/L, where L is the round-trip length of the laser.

Modes of a laser

Frequency

Inte

nsity

Here, additional narrowband filtering has yielded a single mode.

Most lasers are “multi-mode”- emitting light at more than one frequency at a time.

Some are “single mode”- only one longitudinal mode oscillates at a time.

Multiple modes

Page 22: 20. The Fourier Transform in optics, II€¦ · The Autocorrelation Theorem in optics This relation yields an alternative technique for measuring a light wave’s spectrum. It is

Modes of a laser - examplesIf the laser is small, then the mode spacing is large, and easy to measure.

If the laser is larger, then the mode spacing can be quite small, and hard to resolve.

schematic of a typical

femtosecondlaser

end-to-end cavity length: 1.5 metersSo the mode spacing is:

0 100 MHzRT

cL

17.3 THz

The spectral resolution of typical spectrometers is MUCH too coarse to resolve such closely spaced lines.