Vous êtes sur la page 1sur 32

Introduction lOptique de Fourier

Jean-Marie Malherbe, Octobre 2007

I Rappels sur les sries de Fourier des fonctions priodiques


La srie de Fourier dune fonction priodique f(x) de priode T est donne par :
+
f(x) = cn e 2i nx/T
n=-

avec
T/2
cn = 1/T f(x) e - 2i nx/T dx, avec n entier relatif
-T/2

la formulation classique avec les an et les bn est:


+ +
f(x) = a0/2 + an cos(2nx/T) + bn sin(2nx/T)
n=1 n=1

avec cn = (an i bn) pour n 0


c-n = (an + i bn) pour n 0

soit encore an= cn + c-n pour n 0


bn= i (cn - c-n) pour n 0
T/2
a0 = 2 c0 = 2/T f(x) dx
-T/2

b0 = 0
a0/2 est la valeur moyenne de la fonction f(x) entre T/2 et T/2.
T/2 T/2
an = 2/T f(x) cos(2 nx/T) dx et bn = 2/T f(x) sin(2 nx/T) dx pour n 0
-T/2 -T/2

Thorme de Parseval :
+ + T/2
|cn|2 = a02 + (an2 + bn2) = 1/T |f(x)|2 dx
n=- n=1 -T/2

Fonctions f(x) paires: cn = c-n = an et bn = 0 pour n 0


Fonctions f(x) impaires: c-n = i bn , cn = - i bn = - c-n et an = 0 pour n 0

Exemple : srie de Fourier dun peigne de Dirac de priode T


+
T(x) = (x-nT) o (x-nT) est la fonction de Dirac centre en x = nT
n=-

T/2 T/2
cn = 1/T T(x) e - 2i nx/T dx = 1/T (x) e - 2i nx/T dx = 1/T
-T/2 -T/2

+
T(x) = 1/T e 2i nx/T
n=-
II Rappels sur la transformation de Fourier (TF)
Dans un espace 3 dimensions, la transforme de Fourier TF[f](u) ou F(u) de la fonction f(r), ou u
et r sont des vecteurs est dfinie par :
+
TF[f](u) = F(u) = f(r) e - 2i u.r d3r
-

et la transforme inverse est donn par:


+
TF [F](r) = f(r) = F(u) e 2i u.r d3u
-1
-

II - 1 - Transformation de Fourier une dimension cartsienne


+
TF[f](u) = F(u) = f(x) e - 2i ux dx
-

et son inverse
+
TF [F](x) = f(x) = F(u) e 2i ux du
-1
-

Quelques proprits remarquables :

Relation transforme directe / inverse et double transforme:


TF-1[TF[f]](x) = f(x)
TF-1[f](x) = TF[f](u = -x)
TF[f](u) = TF-1[f](x = -u)
Do TF[TF[f]](x) = f(-x)

Transforme de Fourier dune drive :


TF[f](u) = 2i u TF[f](u)

Transforme de Fourier dune drive seconde:


2 2
TF[f](u) = -4 u TF[f](u)

Transforme de Fourier dune drive n-ime:


n
TF[f (n)](u) = (2i u) TF[f](u)
n
Les oprations de drivation n fois se rduisent des multiplications par (2i u)

Transforme de Fourier dun produit de convolution de deux fonctions f et g. Le produit de


convolution est dfini par :
+
f * g (x) = f(x) g(x-x) dx = g * f (x)
-

cas particuliers utiles de produits de convolution:

(x) * f (x) = f(x)


a(x) * f (x) = (x-a) * f(x) = f(x-a)
mais (x) f (x) = f(0) (x) et a(x) f (x) = f(a) a(x) = f(a) (x-a) )
La transforme de Fourier dun produit de convolution f *g est le produit des transformes de
Fourier de f et de g :
TF[f*g](u) = TF[f](u) TF[g](u)

Et la rciproque au thorme ci dessus est la suivante: la transforme de Fourier dun produit f g est
le produit de convolution des transformes de Fourier de f et de g :
TF[f g](x) = TF[f](x) * TF[g](x)

Homothtie x  a x:
TF[f(ax)](u) = (1/a) TF[f](u/a)

Translation x  x + a:
2i ua
TF[f(x+a)](u) = e TF[f](u)

Transforme de Fourier de (x f):


TF[xf](u) = (i/2) dTF[f](u)/du

Transforme de Fourier dune fonction f(x) priodique de priode T dveloppable en srie de


Fourier (voir paragraphe prcdent):
+
f(x) = cn e 2i nx/T
cn coefficients de Fourier
n=-

+ + + +
F(u) = f(x) e - 2i ux dx = cn e - 2ix(u-n/T) dx = cn (u-n/T) (voir ci dessous)
- n=- - n=-

Cest une somme de fonctions de Dirac centres en u = n/T.

Thorme de Parseval
+ +
|f(x)|2 dx = |TF[f](u)|2 du
- -

Applications directes de la transforme de Fourier une dimension :

- Fonction de Dirac (x)


+
TF[](u) = (x) e - 2i ux dx = 1, ce dont on dduit en passant la transforme inverse :
-

+
(x) = e 2i ux
du (reprsente un paquet dondes planes)
-

- Fonction de Dirac (x-a) = a(x)


+
TF[a](u) = (x-a) e - 2i ux dx = e - 2i ua, ce dont on dduit en passant la transforme inverse :
-

+
a(x) = (x-a) = e 2i u(x-a)
du (paquet dondes planes)
-
- fonction porte a(x) de largeur a (valeur 1 entre a/2 et +a/2) :
+
TF[](u) = a (x) e - 2i ux dx = sin(ua)/u = a sinc(ua)
-

o la fonction sinc est un sinus cardinal (sinc(x) = sin(x) / x).En optique, lintensit diffracte
linfini (diffraction de Fraunhoffer) par une fente fine de largeur a est donne par le carr du module
de la transforme de Fourier dune porte de largeur a, soit I(u) = I0 [sin(ua)/ua]2

- Peigne de Dirac de priode T


+
T(x) = (x-nT)
n=-
+
ses coefficients de Fourier sont cn = 1/T do TF[T](u) = 1/T (u-n/T) = 1/T 1/T(u)
n=-

Sa transforme de Fourier est donc encore un peigne de Dirac, mais de priode 1/T

- Gaussienne
TF[e-x/(2a)](u) = a (2)1/2 e-2au (points dinflexion dabscisse x = a)
La transforme de Fourier dune Gaussienne est une Gaussienne

- Equation des ondes 2E/x2 = (1/C2) 2E/t2

On pose prend la TF de cette quation sur la variable spatiale :


(2iu)2 TF[E] - (1/C2) d2TF[E]/dt2 = 0

ce qui donne une quation diffrentielle du second ordre sur t:


d2TF[E]/dt2 + 42C2u2 TF[E] = 0

dont la solution gnrale est:


TF[E] = A e 2 i u C t + B e - 2 i uCt

On prend ensuite la transforme inverse do lon en dduit E(x,t):


+ +
E (x,t) = A e 2i u (x+Ct)
du + B e 2i u (x-Ct)
du
- -

ce qui dfinit un paquet dondes planes se propageant dans les sens des x positifs ou ngatifs.

II - 2 - Transformation de Fourier trois dimensions

Les proprits ci dessus en 1D cartsienne se gnralisent :

Homothtie r  a r, a rel
3
TF[f(ar)](u) = (1/a) TF[f](u/a)

Translation r  r + a, a vecteur
2i u.a
TF[f(r+a)](u) = e TF[f](u)

Transforme de Fourier dune drive partielle:


TF[f/x](u) = 2i ux TF[f](u)
Transforme de Fourier dune drive partielle seconde:
2 2
TF[2f/x2](u) = - 4 ux TF[f](u)

Les oprations de drivation partielle n fois n /xn se rduisent des multiplications par (2i ux)
n

Transforme de Fourier dun Laplacien:


2 2
TF[f](u) = -4 u TF[f](u) (avec u2 = ||u||2)

Transforme de Fourier de x f(r):


TF[xf(r)](u) = (i/2) TF[f](u)/ux

II - 3 - Transformation de Fourier en symtrie sphrique z

On part de la dfinition :
+
r
F(u) = f(r) e - 2i u.r d3r
-
3
dans laquelle on pose d r = dr rd r sin d y

et on suppose que f(r) ne dpend que de la seule variable radiale r. x
En prenant Oz dans la direction du vecteur u, on a u.r = u r cos
+ 2 02
F(u) = f(r) r { d e
2 - 2i u r cos
sin d } dr 0
0 0 0

sin(2 u r) / ( u r)
+
do F(u) = 2/u f(r) r sin(2 u r) dr
0

et la transforme de Fourier inverse est:


+
f(r) = 2/r F(u) u sin(2 u r) dr
0

Applications directes de la transforme de Fourier sphrique :

Tranforme de f(r) = e / r  F(u) = 1 / ( u + 1/(4R ) )


-r/R 2 2

Lorsque R , on en dduit la transforme de Fourier de f(r) = 1 / r :


f(r) = 1 / r  F(u) = 1 / ( u )
2

A titre dexemple, rsolvons lquation de Poisson f + /0 = 0 o (x) = q (r), charge


ponctuelle. La transformation de Fourier donne -42 u2 F + q/0 = 0, soit F(u)= q/(42 u2 0), do
lon dduit f(r) = q / (4 0 r)

III Transformation de Fourier polaire : la transformation de Hankel


Reprenons la dfinition de la transformation de Fourier 2 dimensions :
+
F(u) = f(r) e - 2i u.r d2r
-
2
En coordonnes polaires (r, ) , on a x = r cos et y = r sin et llment de surface d r = dr rd
(0 ), avec r2 = x2 + y2
On suppose que f(r) ne dpend que de la seule variable radiale r. En prenant Oy dans la direction du
vecteur u, on a u.r = u r sin
+ + 2
F(u) = f(r) r e - 2i u y sin dr d = f(r) r [ e - 2i u r sin d] dr
- 0 0
- 2i u r sin
on pose e = cos( 2 u r sin) + i sin( 2 u r sin)
+
F(u) = 2 f(r) r [ cos( 2 u r sin) d] dr
0 0

car lintgrale sur le sinus est nulle pour raison de parit

Remarquant que la fonction de Bessel Jn(x) scrit :



Jn(x) = 1/ cos( n - x sin) d
0

on peut introduire la fonction de Bessel J0(x)



J0(x) = 1/ cos(x sin) d
0

et on trouve la transforme de Hankel :


+
F(u) = 2 f(r) r J0( 2 u r) dr
0

et sa rciproque :
+
f(r) = 2 F(u) u J0( 2 u r) du
0

Applications directes de la transformation de Hankel :

Celle ci est trs utile en optique en raison de la symtrie cylindrique des faisceaux.

La figure de diffraction linfini (diffraction de Fraunhoffer) dun tlescope est donne par le carr
du module de la transforme de Fourier dune fonction porte de rayon R. La transforme de Hankel
dune porte scrit :
R
F(u) = 2 r J0( 2 u r) dr
0

Les fonctions de Bessel obissent la formule de rcurrence : d(xn+1 Jn+1(x))/dx = xn+1 Jn(x)

Do lon tire d(x J1(x))/dx = x J0(x)


On en dduit F(u) = R J1( 2 u R) / u
2
Et la figure de diffraction du tlescope est donne par: I(u) = I0 (2 J1( 2 u R) / 2 u R)

Le rayon de la tache de diffraction est donn par le premier zro de J1 qui vaut 3.832.

En posant u = sin() / , on en dduit pour petit = 0.61 /R

Pour un tlescope de rayon R2 occultation centrale de rayon R1 (anneau), on aurait eu :


R
2
F(u) = 2 r J0( 2 u r) dr = [R2 J1( 2 u R2) R1 J1( 2 u R1)] / u
R
1
2 2 2
Et I(u) = I0 [ R2 J1( 2 u R2) - R1 J1( 2 u R1) ]2 / [ u (R2 R1 ) ]

Note sur les fonctions de Bessel dindice entier n:



Jn(x) = (-1)k (x/2)n+2k / (k!(n+k)!)
k=0

Comportement asymptotique:

x 0 Jn(x) (x/2)n / n!

x Jn(x) [2 / ( x) ]1/2 cos( x - ( /2)(n+1/2) )

Fonctions de Bessel
Jn(x) pour n variant de 0
4

n=0 __________
n=1 ...
n=2 - - - - - -
n=3 _ . _ . _ . _
n=4 _ _ _

Quelques transformes de Hankel courantes:

f( r ) = ( r -R)  F(u) = 2R J0( 2 u R) Fonction de Dirac centre en r = R (couronne)

f( r ) = R( r )  F(u) = R J1( 2 u R) / u Fonction Porte de rayon R (trou)

f( r ) = 1 / r  F(u) = 1 / u
r u
f( r ) = e -  F(u) = e - gaussienne  gaussienne

f( r ) = e i r / R  F(u) = i R e - i R u
)
f( r ) = (r + R) -1/2  F(u) = e (2 R u / u

Fonction de Bessel
cardinal J1(x)/x
apparaissant dans la
diffraction linfini par
une ouverture circulaire

IV quation des ondes E = (1/C2) 2E/


t2 ; ondes planes et sphriques
Cette quation se rsoud par sparation des variables en mettant E(r,t) de la forme E( r ) T(t) :
it -it
Avec T(t) = A e + B e
Il reste E + k2 E = 0 o k = / C

Coordonnes cartsiennes : E = 2E/x2 + 2E/y2 + 2E/z2


Coordonnes cylindriques : E = (1/r) (r E/r) /r + (1/r)2 2E/2 + 2E/z2
Coordonnes sphriques : E = (1/r) 2(rE) /r2 + (1/r2sin) (sin E/)/ + (1/r2sin) 2E/2

Ondes planes progressives :


i(k.r + t)
On a la solution classique E(r,t) = A e + B e i(k.r t)
Avec k.r = kx x + ky y + kz z

Ondes sphriques progressives :

Dans ce cas, la seule variable est r (aucune dpendance angulaire)


(1/r) 2(rE) /r2 + k2 E = 0
En posant rE = X(r) il vient 2X /r2 + k2 X = 0 do X= A eikr
i(kr + t)
Et londe sphrique est E(r,t) = X(r) T(t) / r = A e / r + B e i(kr t) / r
Ondes cylindriques progressives:

On recherche des solutions en posant E( r )=R(r) Z(z) qui vrifient :


(1 / rR) (r R/r) /r + (1/Z) 2E/z2 + k2 = 0
Posons:
(1/Z) 2E/z2 + kz2 = 0 avec kz nombre rel, alors Z = e i kz z
Il reste rsoudre en remplaant :
(1/rR) (r R/r) /r + k2 - kz2 = 0
soit 2R/r2 + (1/r) R/r + R K2 = 0 o K2 = k2 - kz2
Cest une quation de Bessel dont la solution est J0 (Kr), et on obtient la solution gnrale :
E(r ,t) = J0 ( (k2 - kz2)1/2 r) (A e i (kz z + t) + B e i (kz z - t))
n k
z
Dans la suite, on utilisera uniquement les ondes progressives planes ou sphriques.

V Propagation dun rayon lumineux : la diffraction de Fresnel

k = 2/ (, , ) = 2 (u, v, w)
x (, , ) cosinus directeurs
x 2 + 2 + 2 = 1
k u=/
v=/
w=/
Amplitude kx
Amplitude z
f0(x,y) fz(x,y) Axe optique direction Oz
O
ky

y kz
y

Problmatique : connaissant lamplitude f0(x,y) dune onde dans le plan z = 0, comment en dduire
celle de londe fz(x,y) dans le plan z ?
i(2/ (x+y+z) - t)
Une onde monochromatique plane sexprime par E = E0 e

Si on dsigne par f0(x,y) lamplitude de londe dans le plan z = 0 et par fz(x,y) lamplitude de londe
dans le plan z, on a :
i(2/) z
fz(x,y) = f0(x,y) e

Lamplitude dune onde monochromatique quelconque peut sexprimer dans le plan origine z = 0
sous la forme dune transforme de Fourier inverse :
++
f0(x,y) = F(u,v) e
2i (ux + vy)
du dv u=/,v=/
--

Dans un plan z quelconque, le rsultat prcdemment tabli fz(x,y) = f0(x,y) e i(2/) z reste bien sr
valable. (, , ) sont les cosinus directeurs de la direction de propagation.

V 1 - Principe dHuygens Fresnel

On se place dans lapproximation de loptique paraxiale, avec << et << de sorte quon peut
mettre = (1 2 2)1/2 sous la forme plus commode:
= 1 (2 + 2)
++
fz(x,y) = F(u,v) e
2i (ux + vy + wz)
du dv avec w = /
--
++
2i z /
fz(x,y) = e F(u,v) e i/ z ( + ) e 2i (ux + vy ) du dv
--

avec = u , = v , il suit :
++
fz(x,y) = e 2i z / F(u,v) e i z (u + v) e 2i (ux + vy ) du dv
--

fz(x,y) = e 2i z / TF-1[F(u,v) e i z (u + v)]


-x/(2a) 1/2 -2au i z u
On a vu que TF[e ](u) = a (2) e ; on en dduit que la fonction e est la
transforme de Fourier de la fonction [e i x / z ]/ (i z)1/2
i z (u + v)
Donc la fonction P(u,v) = e est la transforme de Fourier de la fonction
pz(x,y) = [e i (x + y) / z ]/ (i z)

On a vu que TF [f * p] = TF [f ] TF [p] = F(u,v) P(u,v) do f * p = TF-1(F(u,v) P(u,v))

La quantit TF-1[F(u,v) e i z (u + v)] est donc gale TF-1[F](x,y) * TF-1[e i z (u + v)](x,y) , cest
dire f0(x,y) * pz(x,y) puisque F(u,v) = TF[f0](x,y) , do :

fz(x,y) = e 2i z / f0(x,y) * [e i (x + y) / z ]/ (i z)

qui donne la relation entre lamplitude de londe dans le plan quelconque z en fonction de
lamplitude dans le plan origine z = 0.
2i z /
La fonction pz(x,y) = e [e i (x + y) / z ]/ (i z) est appele propagateur de Fresnel.

Cest la rponse impulsionnelle (f0(x,y) = (x,y)) la diffraction de Fresnel.

fz(x,y) sappelle la transforme de Fresnel de londe.

En remarquant que r = (x2+y2+z2)/1/2 z (1+1/2(x2+y2)/z2) = z +1/2(x2+y2)/z

fz(x,y) = f0(x,y) * [e 2i r / ]/ (i r)
Cette formule rsume le principe dHuygens Fresnel : chaque point du plan (x,y,0) met des ondes
sphriques dont lamplitude est f0(x,y); lamplitude fz(x,y) de londe dans le plan (x,y) z fix est la
somme de toutes les amplitudes de ces ondes sphriques.

V 2 - Transforme de Fourier Fresnel

Dveloppons le produit de convolution :


++
2i z /
fz(x,y) = e / (i z) f0(x,y) e i [(x-x) + (y-y)] / z dx dy
--

++
2i z /
fz(x,y) = e e i (x + y) / z / (i z) f0(x,y) e i (x + y) / z e -2i (xx + yy) / z dx dy
--
2i z /
fz(x,y) = [e / (i z)] e i (x + y) / z TF[f0(x,y) e i (x + y) / z](u=x/z, v=y/z)

Cest la transforme de Fourier Fresnel. La transforme de Fourier de f0(x,y) e i (x + y) / z est


prise pour u = x/(z) et v = y/(z). Elle tablit la relation entre lamplitude de londe f0(x,y) dans le
plan z=0 et lamplitude de londe fz(x,y) dans le plan z.
En pratique, lintensit lumineuse Iz(x,y) est donne par le carr du module de fz(x,y) et est
proportionnelle (K constante dpendant de z):
++
i (x + y) / z
Iz(x,y) = K(z) | f0(x,y) e e -2i (ux + vy) dx dy |2 avec u=x/(z), v=y/(z)
--

V 3 - Diffraction de Fraunhoffer linfini

Ce cas particulier se dduit de la transforme de Fresnel lorsque z


++
2i z /
fz(x,y) = [e / (i z)] f0(x,y) e -2i (ux + vy) dx dy avec u=x/(z), v=y/(z)
--
2i z /
fz(x,y) = [e / (i z)] TF[f0(x,y)](u=/, v=/)

la figure de diffraction linfini est donc la transforme de Fourier de f0(x,y) prise pour
pour u = / et v = / o et sont les cosinus directeurs sur le plan (x,y) de la direction
dobservation.

V 4 - Autre formulation de la transforme de Fresnel : lien avec les intgrales de Fresnel

Dans le produit de convolution, on pose X = (x-x) (2/z)1/2 et Y = (y-y) (2/z)1/2 :


++
2i z /
fz(x,y) = e / (i z) f0(x,y) e i [(x-x) + (y-y)] / z dx dy
--

devient avec ce changement de variables (X et Y sont sans dimension) :


++
2i z /
fz(x,y) = e / (2i) f0(x+X(z/2)1/2, y+Y(z/2)1/2) e i (X + Y)/2 dX dY
--

Cette formulation est utile dans certains cas o lon peut utiliser les intgrales de Fresnel C(X) et
S(X) dfinies par :
X X X
C(X) + i S(X) = e dt = cos( t /2) dt + i sin( t /2) dt
i t /2
0 0 0

Spirale de Cornu : ensemble des


points M ( C(x), S(x) )

Les intgrales de Fresnel sont


tabules et faciles calculer
numriquement.
Intgrales de Fresnel C(x) _____
et S(x)
On a lim C(x) = lim S(x) =
x + x +

et lim C(x) = lim S(x) = -


x - x -

Remarque sur la parit : C(-x) = -


C(x) et S(-x) = - S(x)
Les intgrales de Fresnel sont des
fonctions impaires

V 5 - Nombre de Fresnel

On peut considrer quon est en diffraction linfini la distance z lorsque (x + y) / z << 1, soit
si D2 / z << 1, D tant une dimension caractristique (rayon dun diaphragme par exemple). Le
nombre dans dimension :

Nf = D2 / z

est appel nombre de Fresnel. Pour tre proche dune diffraction linfini, on doit avoir Nf << 1 .

V 6 - Masques damplitude, masques de phase

Les masques sont des lments que lon place gnralement dans le plan z = 0 et qui vont donc
multiplier lamplitude de londe f0(x,y) par une fonction t(x,y) connue.

Pour les masques damplitude, la transmission t(x,y) est un nombre rel, ils nont donc pas daction
sur la phase de londe. Parmi les masques damplitude classiques, on peut citer :
- les densits neutres infiniment minces
- les diaphragmes (trou circulaire, fente fine, fentre rectangulaire, bord)
- les dispositifs partiellement occultants (disque circulaire, fil)

Par exemple, pour un trou circulaire de rayon R, la fonction de transmission scrit :


t(x,y) = 1 pour x2+y2 < R2
t(x,y) = 0 pour x2+y2 > R2

Les masques de phase agissent sur la phase de londe. Supposons quune onde traverse dans le plan
z = 0 un milieu dindice de rfraction n et de faible paisseur e(x,y). Si f0 est lamplitude de londe
(2i/) n e(x,y)
lentre, elle vaut la sortie fn(x,y) = f0(x,y) e , tant la longueur donde dans lair.
(2i/)e(x,y)
Or lamplitude de londe aurait t f1(x,y) = f0 e pour le mme chemin, mais dans lair.
On en conclut que la transmission t(x,y)= fn(x,y) / f1(x,y) est :

t(x,y) = e (2i/) (n-1) e(x,y) pour un masque de phase dpaisseur e(x,y) et dindice n
Une lame quart donde de transmission t(x,y) = e i/2 ou une lame demi onde de transmission t(x,y)
= e i sont des masques de phase. Une lentille est un masque de phase quadratique (voir plus loin).
V 7 - Diffraction dune source ponctuelle par un masque quelconque

x x x

fin(x,y) fout(x,y)
d Origine O z
S z

y
y y
Source ponctuelle S Plan du masque Plan dobservation
Amplitude S0 (x,y) Transmission t(x,y) Amplitude fz(x,y)

Lamplitude incidente fin(x,y) au plan z = 0 est la transforme de Fresnel de la source ponctuelle


S0 (x,y) , dans ce cas particulier, cest donc la rponse impulsionnelle:

fin(x,y) = e 2i d / S0 (x,y) * [e i (x + y) / d ] / (i d)

fin(x,y) = S0 [e 2i d/ / (i d)] [ e i (x + y) / d ]

Lamplitude sortante fout(x,y) du plan z = 0 fait intervenir t(x,y) :

fout(x,y) = S0 [e 2i d/ / (i d)] [ e i (x + y) / d ] t(x,y)

Lamplitude fz(x,y) dans le plan z est la transforme de Fresnel de fout(x,y), soit :

fz(x,y) = e 2i z/ fout(x,y) * [e i (x + y) / z ] / (i z)

fz(x,y) = - S0 [e 2i (z+d)/ / (2 d z)] [ e i (x + y) / d t(x,y)] * [e i (x + y) / z ]

++
fz(x,y) = - S0 [e
2i (z+d)/
/ (2 d z)] t(x,y) e i (x + y) / d e i [(x-x) + (y-y)] / z dx dy
--

2i (z+d)/
fz(x,y) = - S0 [e /(2dz)] e i (x+y) /z TF[t(x,y) ei/ (x+y)(1/d+1/z)](u=x/z, v=y/z)
Quand d, on retrouve la transforme de Fourier Fresnel vue plus haut. On peut faire une
application immdiate de cette formule avec la diffraction de Fresnel par une lentille mince.

V 8 - Diffraction dune source ponctuelle par une lentille mince

Lpaisseur traverse par le faisceau en incidence normale, tombant au point de coordonnes (x,y)
sur la face dentre de la lentille, est donne par :

e(x,y) = r2/(2R) (x2 + y2) / (2R) pour la lentille convergente avec R > 0
e(x,y) = d (x2 + y2) / (2R) pour la lentille divergente avec R < 0

Le rayon de courbure vaut R = CS en valeur algbrique sur laxe Oz.


y

e(x,y)
r R<0
R>0 e(x,y)
d

C S S C z

x
CONVERGENTE DIVERGENTE

On obtient t(x,y) pour les diffrents cas de figure suivants ( une constante de phase prs qui vaut
e (i/) (n-1)r/R ou e (2i/) (n-1)d selon le cas), avec R1=C1S1 pour le premier dioptre travers et
R2=C2S2 pour le second dioptre travers:
(i/) (x+y)(n-1)/R
Lentille plan convexe : t(x,y) = e avec R > 0
(i/) (x+y)(n-1)(1/R2-1/R1)
Lentille bi convexe : t(x,y) = e avec R2 > 0 et R1 < 0
(i/) (x+y)(n-1)(1/R2-1/R1)
mnisque bi convexe : t(x,y) = e avec R1 > R2 > 0
(i/) (x+y)(n-1)/R
Lentille plan concave : t(x,y) = e avec R < 0
(i/) (x+y)(n-1)(1/R2-1/R1)
Lentille bi concave : t(x,y) = e avec R1 > 0 et R2 < 0
(i/) (x+y)(n-1)(1/R2-1/R1)
mnisque bi concave : t(x,y) = e avec R1 < R2 < 0

soit t(x,y) = e (i/) (x+y)/f o 1/f = (n-1)(1/R2-1/R1) est la vergence de la lentille.


2i (z+d)/
fz(x,y) = - S0 [e /(2 d z)] ei (x+y)/z TF[e(i/) (x+y)(n-1)(1/R2-1/R1) ei/ (x+y)(1/d+1/z)]
pour (u=x/z, v=y/z)
2i (z+d)/
fz(x,y) = - S0 [e /(2 d z)] ei (x+y)/z TF[ei/ (x+y)(1/d + 1/z (n-1)(1/R2-1/R1) )] pour
(u=x/z, v=y/z)
On remarque que la TF est particulirement simple si 1/d + 1/z (n-1)(1/R2-1/R1) = 0, puisquon a
alors faire la TF de 1, qui nest autre quune fonction de Dirac (x,y).
Dans ce cas,
fz(x,y) = - S0 [e
2i (z+d)/
/(2 d z)] e i (x+y) / z (x,y)
pour la valeur particulire de z qui est telle que 1/d + 1/z = (n-1)(1/R2-1/R1) = 1 / f

Cette relation nest autre que la relation de conjugaison des lentilles minces. Elle montre que la
source ponctuelle S est conjugue avec un point lumineux (fonction de Dirac) dont la position est
donne par la relation de conjugaison classique.

V 9 - Diffraction dune source tendue par un masque quelconque

Lamplitude incidente fin(x,y) au plan z = 0 est la transforme de Fresnel de la source tendue


S(x,y):
fin(x,y) = e 2i d/ S(x,y) * [e i (x + y) / d ] / (i d)

Lamplitude fz(x,y) dans le plan z est la transforme de Fresnel de fout(x,y) = fin(x,y) t(x,y) :

fz(x,y) = e 2i z/ fout(x,y) * [e i (x + y) / z ] / (i z)

VI Diffraction de Fresnel par quelques masques damplitude classiques


Dans tous les exemples qui suivent, on se place dans le cas o le masque est un masque damplitude
clair par une source ponctuelle S situe linfini. On va donc calculer lamplitude de londe
diffracte dans le plan z partir de la transforme de Fourier Fresnel du masque de transmission
t(x,y), la constante K reprsentant les termes de phase qui ne sont pas utiles ici.
++
i (x + y) / z
fz(x,y) = K t(x,y) e e -2i (ux + vy) dx dy o u=x/( z) et v=y/( z)
--

VI 1 - Diffraction de Fresnel par une fente fine

Il sagit dune fonction porte de largeur a, telle que :


|x| > a/2 : t(x) = 0
|x| < a/2 : t(x) = 1

La seconde formulation de la transforme de Fresnel est plus aise pour cette question avec le
changement de variable X = (x-x) (2/z)1/2 et inversement x = x + X(z/2)1/2:
+
fz(x) = K t(x+X(z/2) ) e
1/2 i X /2
dX
-

t(x+X(z/2)1/2) = 1 pour x+X(z/2)1/2 > -a/2 entrane X > (-a/2 x) (2/(z))1/2


t(x+X(z/2)1/2) = 1 pour x+X(z/2)1/2 < a/2 entrane X < (a/2 x) (2/(z))1/2
2 1/2 2 1/2
Normalisons x en posant t = x /a, alors on a (-1/2 t) (2a /(z)) < X < (1/2 t) (2a /(z))

Ceci dfinit les bornes dintgration X1 et X2 en fonction de t = x/a.


X2 X2 X2
fz(t = x/a) = K e i X /2 dX = K [ cos( X /2) dX+ i sin( X /2) dX ]
X1 X1 X1
1/2 1/2
O X1 = (-1/2 t) (2N) et X2 = (1/2 t) (2N) avec N = a2/(z) nombre de Fresnel

fz(t = x/a) = K [ C(X2)-C(X1) + i (S(X2)-S(X1)) ], S et C tant les intgrales de Fresnel

et lintensit diffracte est donne par I(t = x/a) = K [ { C(X2)-C(X1) }2 + { S(X2)-S(X1) }2 ]

I(t=x/a) = K[{ C( (1/2t)(2N)1/2 )+C( (1/2+t)(2N)1/2 ) }2 + { S( (1/2t)(2N)1/2 )+S( (1/2+t)(2N)1/2 ) }2]

Lintensit est donne ci dessous pour N = 0.2, 1, 5 et 25. Pour N=0.2 on est proche de la diffraction
de Fraunhoffer. A N grand, on se rapproche de lombre gomtrique (en pointills).
Position de
lombre
gomtrique

VI 2 - Diffraction de Fresnel par un fil occultant

Il sagit dune fonction porte de largeur a, telle que :


|x| > a/2 : t(x) = 1
|x| < a/2 : t(x) = 0

Avec les mmes notations et changements de variable que ci dessus, il vient :


X1 +
fz(t = x/a) = K [ e i X /2 dX + e i X /2 dX ]
- X2

+ X1 X2 +
Or e i X /2 dX = 1 + i = e i X /2 dX + e i X /2 dX + e i X /2 dX do lon tire
- - X1 X2

X2
fz(t = x/a) = K [ 1 + i - e i X /2 dX ]
X1

X2 X2
fz(t = x/a) = K [ ( 1 - cos( X /2) dX ) + i ( 1 - sin( X /2) dX ) ]
X1 X1

fz(t = x/a) = K [ 1 - C(X2) + C(X1) + i ( 1- S(X2) + S(X1) ) ]

do lintensit diffracte

I(t) = K [ {1-C( (1/2t)(2N)1/2 )-C( (1/2+t)(2N)1/2 )}2 + {1-S( (1/2t)(2N)1/2 )-S( (1/2+t)(2N)1/2 )}2 ]
Ombre
gomtrique

VI 3 - Diffraction de Fresnel par un bord

On tudie le cas de la diffraction par un bord plac en x=0.


x > 0 : t(x) = 1
x < 0 : t(x) = 0
Avec les mmes notations et changements de variable que ci dessus, il vient :
+
fz(x) = K t(x+X(z/2) ) e
1/2 i X /2
dX
-

t(x+X(z/2)1/2) = 1 pour x+X(z/2)1/2 > 0 entrane X > x (2/(z))1/2


t(x+X(z/2)1/2) = 0 pour x+X(z/2)1/2 < 0 entrane X < x (2/(z))1/2
+
fz(t = x/a) = K e i X /2 dX O X1 = x (2/(z))1/2
X1

+ X1 +
Or e i X /2 dX = 1/2 + i/2 = e i X /2 dX + e i X /2 dX do lon tire
0 0 X1

+ X1
fz(x) = K e i X /2 dX = K [1/2 + i/2 - e i X /2 dX ]
X1 0

X1 X1
fz(x) = K [ ( 1/2 - cos( X /2) dX ) + i ( 1/2 - sin( X /2) dX ) ]
0 0

fz(x) = K [ 1/2 - C(X1) + i ( 1/2- S(X1) ) ] do lintensit diffracte


I(x) = K [ { 1/2 + C( x (2/(z))1/2 ) }2 + { 1/2 + S( x (2/(z))1/2 ) }2 ]

Diffraction de Fresnel par


un bord rectiligne en x = 0

On a reprsent lintensit
en fonction de la variable
sans dimension x (2/(z))1/2
Ombre gomtrique

VI 4 - Diffraction de Fresnel par une fentre carre de ct a

Diffraction de Fresnel
par une ouverture
carre de ct a

On a reprsent
seulement, pour raison
de symtrie, la partie
du plan x > 0 et y > 0

On utilise encore la seconde formulation de la transforme de Fresnel, dans laquelle les variables en
x et y se sparent puisquon a un produit de deux portes f0 et g0 indpendantes en x et y :
+ +
2i z /
fz(x,y) = e / (2i) f0(x+X(z/2)1/2 e iX/2 dX g0(y+Y(z/2)1/2) e iY/2 dY
- -

Lintensit rsultante est le carr du module de fz(x,y) o lon voit encore apparatre les intgrales
de Fresnel C(t), S(t), C(s), S(s), t et s tant des variables normalises obtenues en posant t = x /a et s
= y /a. Les bornes des deux intgrales ci dessus sont les suivantes :
selon X :
1/2 1/2
(-1/2 t) (2N) < X < (1/2 t) (2N)
et selon Y :
1/2 1/2
(-1/2 s) (2N) < Y < (1/2 s) (2N)
avec N = a2/(z) nombre de Fresnel
VI 5 - Diffraction de Fresnel par une ouverture circulaire

On utilise ici la transforme de Fourier Fresnel


++
i (x + y) / z
fz(x,y) = K t(x,y) e e -2i (ux + vy) dx dy o u=x/( z) et v=y/( z)
--

Le problme tant symtrie cylindrique, cette transforme de Fourier devient une transforme de
2 2 1/2
Hankel dfinie au dbut du chapitre avec r2 = x2 + y2, u = (x + y ) /( z) = r/( z):
+
i r / z
fz(r) = K t(r) e r J0( 2 u r) dr o u = r/( z)
0

Diffraction de Fresnel par


une ouverture circulaire de
rayon R.

Pour N=0.2 on est proche de


la diffraction de
Fraunhoffer.

Pour N grand, on se
rapproche de lombre
gomtrique du trou.

Une tache centrale sombre


correspondant fz(0)=0
apparat pour N entier pair,
cest la tache de Poisson,
caractristique de la
diffraction distance finie.

fz(0) varie en effet comme la


fonction sin(N/2).


La fonction masque est donne par :
r < R : t(r) = 1
r > R : t(r) = 0
R
i r / z
fz(r) = K e r J0( 2 u r) dr o u = r/( z)
0

On normalise les variables en posant r = x R et r = y R , do il vient :


1
i xR / z
fz(y) = K e x J0( 2 xy R2/ z) dx
0

Posons N = R2/ z nombre de Fresnel.


1
fz(y) = K e
iN x
x J0( 2N xy) dx
0
et lintensit diffracte dans le plan z est proportionnelle :
1 1
I(y = r/R) = [ cos(N x) x J0( 2N xy) dx ] + [ sin(N x) x J0( 2N xy) dx ]
2 2
0 0

VI 6 - Diffraction de Fresnel par un anneau circulaire de rayon intrieur R et extrieur Re

Il y a maintenant une occultation centrale de rayon R ; avec les mmes notations et normalisations
r = x R et r = y R que pour louverture circulaire de rayon R, on obtient :
Re/R
fz(y) = K e
iN x
x J0( 2N xy) dx
1

Re/R Re/R
I(y = r/R) = [ cos(N x) x J0( 2N xy) dx ] + [ sin(N x) x J0( 2N xy) dx ]
2 2
1 1

Diffraction de Fresnel par


un anneau circulaire de
rayon intrieur occultant R
et de rayon extrieur Re =
30 R.

Pour N grand, on se
rapproche de lombre
gomtrique du disque
occulteur.

fz(0) varie comme la


fonction :
sin( N(Re2/R2 - 1)/2 )

En consquence, une tache


centrale lumineuse, dite
tache de Poisson (fz(0)
maximum), apparat pour
certaines valeurs de N.

Tache centrale de Poisson


dans les phnomnes de
diffraction de Fresnel
distance finie
A gauche : diffraction par
un diaphragme circulaire
droite : diffraction par
un disque plein
(Ombre gomtrique en trait
blanc)
VII diffraction linfini par un rseau plan
Les rseaux de diffraction constituent les lments dispersifs des spectrographes. Le faisceau
incident produit par le collimateur est en lumire parallle. On observe la figure de diffraction
linfini du rseau au foyer de lobjectif de chambre. Un rseau de diffraction plan peut tre
reprsent simplement par la fonction :

res(x,y) = [ a (x) * ( d(x) L (x) ) ] H (y) = f(x) g(y)

o L est la largeur du rseau dans la direction x, H est la largeur du rseau dans la direction y, d est
la distance entre deux traits du rseau dans la direction x, et a est la largeur de chaque trait du rseau
dans la direction x. L est la fonction porte de largeur L et d est la fonction peigne de priode d.

k i angle de diffraction
= azimuth
i

y Plan du rseau
Interfente N traits, distance d
x d entre 2 traits
L=Nd Largeur L=Nd,
profondeur H

res(x,y) est un produit de deux fonctions indpendantes f(x) et g(y) qui se sparent. La figure de
diffraction linfini est donc donne par le produit des transformes de Fourier sur x et y:

R(u,v) = F(u) G(v) = TF[a](u) TF[d L](u) TF[H](v)

On sait que TF[a](u) = a sin(ua) / (ua), TF[H](v) = H sin(vH) / (vH)


+ + N-1
TF[d L](u) = d(x) L(x) e dx = (x-nd) e - 2i ux dx
- 2i ux
- - n=0

o N est le nombre de traits du rseau (donc L = N d).


N-1 + N-1
TF[d L](u) = (x-nd) e - 2i ux dx = e - 2i u n d = (1- e - 2i u N d ) / (1- e - 2i u d )
n=0 - n=0

TF[d L](u) = e
- i u (N-1) d
[sin(uNd) / sin(ud)]

Et finalement:

R(u,v) = aH e - i u (N-1) d [sin(ua) / (ua)] [sin(vH) / (vH)] [sin(uNd) / sin(ud)]


On en dduit que lintensit diffracte vaut R(u,v) R*(u,v) (R* quantit conjugue) :

I(u,v) = I0/N2 [sin(ua) / (ua)]2 [sin(vH) / (vH)]2 [sin(uNd) / sin(ud)]2

Cest le produit de la figure de diffraction par une fente de dimensions a * H multiplie par une
fonction dinterfrence des N fentes de distance interfente d.

Evaluons maintenant les cosinus directeurs u et v (voir figure):

Le vecteur donde diffract a pour coordonnes k (sin i cos , sin i sin , cos i), on en dduit :

u = sin i cos / , u cosinus directeur de k/2 sur laxe Ox


v = sin i sin / , v cosinus directeur de k/2 sur laxe Oy

Les maxima sont observs lorsque ud = m, m entier, soit u = sin i cos / = m/d ce qui
constitue la formule des rseaux.

VIII Diffraction de Fresnel au foyer dune lentille convergente


On se situe dans le cas dune onde plane damplitude A qui traverse un masque quelconque t(x,y)
(i/) (x+y)/f
quelconque accol une lentille convergente de distance focale f de transmission e

t(x,y)
x x
Onde plane
damplitude A
f

O
z
TF y
y
Plan du masque (quelconque) Plan de Fourier
de transmission t(x,y) u=x/f, v=y/f
et de la lentille convergente Amplitude ff(x,y)
de transmission au foyer de la lentille
e (i/) (x+y)/f convergente

Lamplitude incidente fin(x,y) au plan z = 0 est fin(x,y) = A ; en sortie, elle devient


fout(x,y) = A t(x,y) e (i/) (x+y)/f

Dans le plan (x, y) de la lentille convergente en z = f, lamplitude de londe est donne par la
transforme de Fourier Fresnel :
2i f /
ff(x,y) = [e / (i f)] e i (x + y) / f TF[fout(x,y) e i (x + y) / f](u=x/f, v=y/f)
2i f / i (x + y) / f i (x + y) / f
ff(x,y) = [e / (i f)] e TF[A t(x,y) e (i/) (x+y)/f
e ]
qui se simplifie immdiatement (en raison de la position z = f au foyer) en :
2i f /
ff(x,y) = A [e / (i f)] e i (x + y) / f TF[t(x,y)](u=x/f, v=y/f)
On constate ainsi quon observe au foyer de la lentille convergente une quantit proportionnelle la
transforme de Fourier du masque TF[t(x,y)](u,v) pour u=x/f, v=y/f. Mais il y a un terme de
i (x + y) / f
phase quadratique dpendant de x et de y en e qui est gnant.

VIII 1 - Montage 2f transforme de Fourier


i (x + y) / f
Pour liminer le terme de phase quadratique prcdent e qui multiplie la transforme de
Fourier, on utilise de prfrence le montage 2f dans lequel le masque (quelconque) de transmission
t(x,y) est plac au foyer objet de la lentille et non plus accol la lentille.
TF
Onde plane
damplitude x x
A diffraction de Fresnel diffraction de Fresnel

f f

O
t(x,y) z

y y
Plan du masque Lentille convergente Plan de Fourier u=x/f, v=y/f
au foyer objet de la de transmission au foyer image de la lentille
lentille convergente e (i/) (x+y)/f convergente
Transmission t(x,y) Amplitude ff(x,y)

Lamplitude incidente au plan z = -f est A ; en sortie, elle devient A t(x,y)

Dans le plan (x, y) de la lentille convergente en z = 0, lamplitude de londe incidente est donne
par la transforme de Fresnel :

f0(x,y) = e 2i f / A t(x,y) * [e i (x + y) / f ]/ (i f)
(i/) (x+y)/f
et lamplitude de londe sortante est f0(x,y) e
Dans le plan (x, y) de la lentille convergente en z = f, lamplitude de londe est donne par la
transforme de Fourier Fresnel :

ff(x,y) = [e 2i f / / (i f)] e i (x + y) / f TF[f0(x,y) e e i (x + y) / f](u=x/f, v=y/f)


(i/) (x+y)/f

ce qui se simplifie en ff(x,y) = [e 2i f / / (i f)] e i (x + y) / f TF[f0(x,y)](u=x/f, v=y/f)

ff(x,y) = - A [e 4i f / / (2 f2)] e i (x + y) / f TF[t(x,y)* e i (x + y) / f](u=x/f, v=y/f)

ff(x,y) = - A [e 4i f / / (2 f2)] e i (x + y) / f TF[t(x,y)] TF[e i (x + y) / f](u=x/f, v=y/f)

est la transforme de Fourier de la fonction [e i (x + y) / f ]/ (i f)


i f (u + v)
La fonction e

ff(x,y) = A [e 4i f / / (i f)] e i (x + y) / f e
i f (u + v)
TF[t(x,y)] pour u=x/f, v=y/f)

ff(x,y) = A [e 4 i f / / (i f)] TF[t(x,y)](u=x/f, v=y/f)


le terme de phase quadratique a disparu dans ce montage 2f, on observe donc au foyer image de la
lentille convergente (plan de Fourier) la transforme de Fourier du masque plac au foyer
objet. Le montage 2f effectue donc dans son ensemble une diffraction de Fraunhoffer.

VIII 2 - Montage 4f et filtrage optique

Si lon place un masque de transmission m(x,y) au foyer image de la lentille ci dessus, dans le plan
de Fourier, on obtient une amplitude filtre gale au produit :

ff(x,y) = A [e 4i f / / (i f)] TF[t(x,y)](u=x/f, v=y/f) m(x,y)

Onde plane
damplitude A x x x x x
Diffraction Diffraction Diffraction Diffraction
de Fresnel de Fresnel de Fresnel de Fresnel
f f f
t(x,y) m(x,y)
f
z

y y y y y
masque Lentille Masque de Lentille Plan dobservation
quelconque convergente filtrage convergente au foyer image de la
(objet) au de transmission dans le plan de de transmission seconde lentille
foyer objet de e (i/) (x+y)/f Fourier e (i/) (x+y)/f convergente
la premire u=x/f, v=y/f Amplitude f2f(x,y)
lentille (foyer image de
convergente la lentille)
Transmission Transmission
t(x,y) m(x,y)
TF TF

1re Diffraction de Fraunhoffer 2me Diffraction de Fraunhoffer

Plan de Fourier
Plan (plan pupille)
image u=x/f, v=y/f
Plan
pupille Plan
image

Masque de
filtrage
m(x,y)

Montage 4f du point de vue optique gomtrique montage 4f du point de vue diffraction

Au foyer image de la premire lentille (plan de Fourier ou plan pupille) , on a vu que londe subit
une premire diffraction de Fraunhoffer ; son amplitude est la TF de lobjet :

ff(x,y) = A [e 4i f / / (i f)] TF[t(x,y)](u=x/f, v=y/f)


Dans le plan de Fourier, les frquences spatiales sont filtres par le masque de transmission m(x,y).
Londe damplitude ff(x,y) m(x,y) subit ensuite une seconde diffraction de Fraunhoffer, dont
lamplitude au foyer image de la seconde lentille est :

f2f(x,y) = - A [e 8i f / / ( f)2] TF[ TF[t(x,y)](u=x/f, v=y/f) m(x,y) ](u=x/f, v=y/f)

or TF[TF[t(x,y)](u=x/f, v=y/f)](u=x/f, v=y/f) = ( f)2 t(- x, -y)

Si M(u,v) est la transforme de Fourier du masque filtrant m(x,y),


TF[m(x,y)](u=x/f, v=y/f) = M(x/f, y/f )
La TF dun produit de 2 fonctions est gale au produit de convolution des deux TF, donc :

f2f(x,y) = - A [e 8i f / ] t(-x,-y) * M(x/f, y/f )

Les signes dans t(-x,-y) indiquent un retournement de limage ; le montage 4f permet ainsi de
former une image filtre qui apparat comme un produit de convolution du masque dentre avec
la transforme de Fourier du masque filtrant.

Introduisons maintenant :
- les angles dcrivant la rpartition angulaire dans le plan dobservation x = x/f et y = y/f
- les frquences spatiales angulaires (nombres sans dimension) u = u / (1/f) = f u et v = v /
(1/f) = f v, dcrivant la rpartition angulaire des frquences spatiales

Considrons la fonction m(x=fu, y=fv) :


La fonction masque m(u , v) est appele fonction de transfert de modulation du filtrage ou
MTF (Modulation Transfer Function).

Sa transforme de Fourier M(x/, y/) est appele fonction dtalement du point ou PSF (Point
Spread Function)

Nous allons maintenant appliquer ces deux concepts la formation des images.

IX Formation des images astronomiques


On considre le montage optique suivant, dans lequel lobjet astronomique est situ une distance
d de lobjectif de linstrument, que lon assimile un diaphragme damplitude (ouverture finie)
(i/) (x+y)/f
de transmission m(x,y) suivi dune lentille de transmission e . Lamplitude dcrivant
lobjet est A t(x,y) dans le plan (x,y) de lobjet.
pupille
Onde plane x
damplitude A x x
diffraction de Fraunhoffer diffraction de Fresnel


t(x,y)
d O f z

y y y
Plan de lobjet de Masque m(x,y) et Plan dobservation
Transmission t(x,y) lentille convergente au foyer image de la
de transmission lentille convergente
e (i/) (x+y)/f Amplitude ff(x,y)
IX 1 Formation des images en lumire cohrente (amplitudes additives)

Lamplitude de londe dans le plan z=0 lentre du masque (ouverture de la lunette) est obtenu par
une diffraction de Fraunhoffer puisque d :
2i d /
f0in(x,y) = A [e / (i d)] TF[t(x,y)](u=x/d, v=y/d)

A la sortie du masque (ouverture de la lunette) et de la lentille, on a :


2i d /
f0 (x,y) = A [e / (i d)] TF[t(x,y)](u=x/d, v=y/d) m(x,y) e (i/) (x+y)/f
Lamplitude ff(x,y) dans le plan dobservation au foyer de la lentille est maintenant donne par la
transforme de Fresnel :
2i f /
ff(x,y) = [e / (i f)] e i (x + y) / f TF[f0(x,y) e i (x + y) / f](u=x/f, v=y/f)
ff(x,y) = -A [e 2i(f+d)//(2df)] e i(x + y)/f TF[TF[t(x,y)](u=x/d,v=y/d) m(x,y)] (u=x/f,v=y/f)

Or TF[TF[t(x,y)](u=x/d, v=y/d)](u=x/f,v=y/f) = ( d)2 TF[TF[t(dx, dy)]](u=x/f,v=y/f)

Et TF[TF[t(dx, dy)]](u=x/f,v=y/f) = t(-xd/f, -yd/f)

Posons TF[m(x,y)] (u=x/f,v=y/f) = M(x/f, y/f)

La TF dun produit de 2 fonctions est gale au produit de convolution des deux TF, donc :

ff(x,y) = -A [e 2i(f+d)/ (d/f)] e i(x + y)/f t(-xd/f, -yd/f) * M(x/f, y/f)


Introduisons comme prcdemment :
- les angles dcrivant la rpartition angulaire dans le plan dobservation x = x/f et y = y/f
- les frquences spatiales angulaires (nombres sans dimension) u = u / (1/f) = f u et v = v /
(1/f) = f v, dcrivant la rpartition angulaire des frquences spatiales

ff(x,y) = -A [e 2i(f+d)/ (d/f)] e i(x + y)/f t(-x d, -y d) * M(x/, y/)

ou encore avec o(-x, -y) = t(-xd, -yd) fonction de rpartition angulaire de lamplitude de lobjet,
les signes indiquant un renversement :

ff(x,y) = -A [e 2i(f+d)/ (d/f)] e i(x + y)/f o(-x, - y) * M(x/, y/)

Lamplitude de londe au foyer de linstrument est donc une convolution entre lobjet et la
transforme de Fourier du masque dcrivant louverture du tlescope.

m(u) MTF
Fonction porte et PSF 

dune
ouverture
circulaire de
rayon R en
O R/ u lumire
Frquence cohrente
de coupure
La fonction masque m(u , v) est la MTF (Modulation Transfer Function) de linstrument :
elle reprsente la rponse impulsionnelle dans le plan pupille.

Sa transforme de Fourier M(x/, y/) est la PSF (Point Spread Function) de linstrument. :
elle reprsente la rponse impulsionnelle dans le plan image.

Ces rsultats ci dessus ne sont valables quen clairage cohrent, pour lequel les amplitudes sont
additives. En clairage incohrent, les amplitudes ne sont plus additives et il faut travailler sur les
intensits.

IX 2 Formation des images en lumire incohrente (intensits additives)

La relation image/objet tablie ci dessus devient en lumire incohrente:

I(x,y) = K O(-x, -y) * M(x/, y/)

O(-x, -y) est la fonction de rpartition angulaire des intensits de lobjet. M(x/, y/) est la
PSF ou transforme de Fourier de la MTF, qui est maintenant la fonction dautocorrlation
du masque m m (u , v). La PSF est aussi gale au carr du module de la transforme de
Fourier du masque m(x,y): M(x/, y/) = |TF[m(x,y)](x/, y/)|2

On calcule souvent la PSF M(x/, y/), puis la MTF (autocorrlation m m (u , v)) par
transformation de Fourier de la PSF.

IX 3 - MTF et PSF dune ouverture circulaire de rayon R en lumire incohrente

La fonction m(r) m(r) o r2 = x2+y2 se calcule analytiquement : cest lautocorrlation de la


fonction porte R(r). On trouve :
m(r) m(r) = R2 [ 2 arc cos(r/2R) (r/R) (1 - (r/2R)2 )1/2 ]
do lon tire en posant r = u:

MTF(u) = R2 [ 2 arc cos(u/2R) (u /R) (1 - (u /2R)2 )1/2 ]

En normalisant u par R/ et la fonction par R2, on obtient :


MTF(u) = (1/) [ 2 arc cos(u/2) u (1 - (u /2)2 )1/2 ]

La PSF est le carr du module de la transforme de Hankel du masque, cest dire dune fonction
porte de rayon R(r) ; elle vaut normalise lunit:

PSF(u) = [J1( 2 u R) / ( u R)]2

Et en posant u = r/, on obtient PSF(r/) = [J1( 2 r R/) / ( r R/)]2

puis en normalisant r par /R, on peut tracer :


PSF(r) = [J1( 2 r) / ( r)]2

On a reprsent ci dessous la MTF et la PSF en clairage incohrent pour une lunette douverture
circulaire de rayon R (formules analytiques ci dessus) ainsi que pour un tlescope occultation
centrale de rayon 0.5 R et 0.9 R (un anneau, calcul fait numriquement).
La PSF dune ouverture circulaire est une fonction du type [J1(u)/u]2 . Celle dun anneau tend en
limite vers une fonction du type [J0(u)]2 lorsque loccultation centrale devient totale.
La MTF admet une frquence de coupure u = 2 R/ soit uc = 2 [R/ (f)].
Point Spread Function ou PSF en
clairage incohrent pour :

une ouverture circulaire de


rayon R _____
un anneau de rayon intrieur
0.5 R et extrieur R
un anneau de rayon intrieur
0.9 R et extrieur R -------

Cest la transforme de Fourier


de la fonction dautocorrlation
de louverture.

0.61

PSF : en abscisse la rpartition angulaire r = (x2 + y2)1/2 / (/R) (angle normalis par /R)

Modulation Transfer Function ou


MTF en clairage incohrent
pour :

une ouverture circulaire de


rayon R _____
Frquence de un anneau de rayon intrieur
0.5 R et extrieur R
coupure
un anneau de rayon intrieur
0.9 R et extrieur R -------

Cest la fonction
dautocorrlation de louverture.

MTF : en abscisse la frquence angulaire = (u2 + v2)1/2 / (R/) (angle normalis par R/)

X Filtrage des images astronomiques dans un plan pupille


Objectif L1 masque L2

lunette plan image plan pupille plan image


Lunette Plan Plan de Fourier Plan
(pupille image u=x/f1, v=y/f1 image
dentre) (plan pupille)

f f1 f1 f2 f2
t(x,y)

Objectif de lentille L1 Masque de lentille L2


de transmission convergente filtrage des convergente
e (i/) (x+y)/f de transmission
(i/) (x+y)/f1
frquences de transmission
Masque ouverture e spatiales e (i/) (x+y)/f2
m(x ,y) mf(x ,y)

TF TF

Dsignons par t(x,y) limage solaire fournie par la lunette en son foyer.

On peut raliser un filtrage optique sur la TF forme au foyer de la premire lentille L1. Pour ce
faire, on dispose dans le plan de Fourier ou plan pupille un masque de filtrage mf(x,y).

Lamplitude de londe f0(x,y) au foyer de la lunette, selon les rsultats obtenus propos de la
formation des images, est proportionnelle :

f0(x,y) = o(-x, - y) * M(x/, y/) = t(x,y)

o(-x, - y) est la rpartition angulaire de lobjet observ (le soleil) et M(x/, y/) la TF de
lobjectif m(x,y) ou pupille dentre de la lunette.

Dans le plan de Fourier au foyer image de la premire lentille L1, on a une premire diffraction de
Fraunhoffer ; son amplitude est :

ff1(x,y) = [e 4i f1 / / (i f1)] TF[t(x,y)](u=x/f1, v=y/f1)

Comme TF[t(x,y)](u=x/f1, v=y/f1) = TF[o(x,y)* M(x/f,y/f)] pour (u=x/f1, v=y/f1), on voit


que les frquences spatiales de lobjet astronomique sont observables dans le plan pupille,
mais modules par la transmission de la pupille avec frquence de coupure selon :

ff1(x,y) = [e 4i f1 / / (i f1)] TF[o(x,y)](u=x/f1, v=y/f1) m(-xf/f1, -yf/f1)

La rponse impulsionnelle est limage de la pupille dentre de la lunette m(-xf/f1, -yf/f1).

On effectue maintenant un filtrage des frquences spatiales dans le plan pupille par le masque
mf(x,y). Dans le plan image au foyer image de la seconde lentille L2, on a une seconde diffraction
de Fraunhoffer ; son amplitude est :
ff2(x,y) = - [e 8i f / / (2 f1 f2) ] TF[TF[t(x,y)](u=x/f1,v=y/f1) mf(x,y) ](u=x/f2,v=y/f2)

or TF[TF[t(x,y)](u=x/f1,v=y/f1)](u=x/f2,v=y/f2) = ( f1)2 t(-xf1/f2,-yf1/f2)

Si Mf(u,v) est la transforme de Fourier du masque filtrant mf(x,y), on en conclut :

ff2(x,y) = - f1/f2 [e 8i f / ] t(-xf1/f2,-yf1/f2) * Mf(x/f2, y/f2)

Dans le plan focal de L2, on forme donc une nouvelle image renverse rsultant du filtrage optique
des frquences spatiales dans le plan pupille.

XI Une application : le coronographe de Lyot


Objectif occulteur L1 diaphragme L2

f f1 f1 f2 f2

Lunette Plan image Plan de Fourier Plan


(pupille dentre) Masque u=x/f1, v=y/f1 image
Masque occultation (plan pupille)
douverture centrale Masque de
m(x ,y) m1(x ,y) filtrage des
frquences
spatiales m2(x ,y)

TF TF

Dsignons par t(x,y) limage solaire fournie par la lunette. Au foyer de la lunette, on place un
masque damplitude occultation centrale (un disque ou un cne occulteur) m1(x,y) dont le rle est
dliminer limage du disque solaire et de ne transmettre que celle de la couronne 106 fois moins
lumineuse. Nanmoins, il faut liminer un maximum de dfauts instrumentaux avant de voir
apparatre la couronne dont la luminosit est trs faible. En particulier, la diffraction de aux bords
de lobjectif dentre (lunette) et ses dfauts de fabrication (bulles, traits, rayures) introduit dans
limage du limbe solaire de la lumire diffuse et des frquences spatiales parasites que lon peut
filtrer sur la TF forme au foyer de la premire lentille L1. Pour ce faire, on dispose dans le plan de
Fourier ou plan pupille un second masque, le diaphragme de Lyot m2(x,y).

Dsignons par t(x,y) = t(x,y) m1(x,y) limage solaire fournie par la lunette et dont le disque est
occult par le masque m1(x,y).

Dans le plan de Fourier au foyer image de la premire lentille L1, on a une premire diffraction de
Fraunhoffer ; son amplitude est :
ff1(x,y) = [e 4i f1 / / (i f1)] TF[t(x,y)](u=x/f1, v=y/f1)

On effectue maintenant un filtrage des frquences spatiales dans le plan pupille par le diaphragme
m2(x,y). Dans le plan image au foyer image de la seconde lentille L2, on a une seconde diffraction
de Fraunhoffer ; son amplitude est :

ff2(x,y) = - [e 8i f / / (2 f1 f2) ] TF[TF[t(x,y)](u=x/f1,v=y/f1) m2(x,y) ](u=x/f2,v=y/f2)

or TF[TF[t(x,y)](u=x/f1,v=y/f1)](u=x/f2,v=y/f2) = ( f1)2 t(-xf1/f2,-yf1/f2)

Si M2(u,v) est la transforme de Fourier du diaphragme filtrant m2(x,y),

ff2(x,y) = - f1/f2 [e 8i f / ] t(-xf1/f2,-yf1/f2) * M2(x/f2, y/f2)

Comment choisir le diaphragme de Lyot ? Dans le plan de Fourier, on a une image de la pupille
dentre de la lunette. Le rayon extrieur du diaphragme doit filtrer les hautes frquences et limiter
la lumire diffracte par les bords de lobjectif; et un petit cran central filtrera quant lui les basses
frquences (rflexions parasites dans lobjectif).

Description
originale du
principe du
coronographe
par Bernard
Lyot, parue en
1932

Annexe

Rappels sur la corrlation croise et la fonction dautocorrlation

Le produit de corrlation croise de deux fonctions f(x) et g(x) est dfini par
+
f g (x) = f*(x) g(x+x) dx o f*(x) est la quantit conjugue de f(x)
-

f g (x) = f*(-x) * g(x)


si f et g sont paires et relles, alors f g (x) = g f (x) = f(x) * g(x) et convolution ou corrlation
croise sont identiques

TF[f g] = TF[f*(-x)] TF[g(x)], formulation quivalente :

TF[f g] = (TF[f])* TF[g]


o (TF[f])* dsigne la quantit conjugue de TF[f].

Le produit dautocorrlation de f(x) est dfini par :


+
f f (x) = f*(x) f(x+x) dx o f*(x) est la quantit conjugue de f(x)
-

TF[f f] = (TF[f])* TF[f] = | TF[f] |2

La transforme de Fourier de la fonction dautocorrlation f f est gale la densit spectrale de


puissance | TF[f] |2.