13.

1 Justication de lanalyse en rgime sinuso e dal

Lors de ltude dun systme linaire (par exemple, un systme mcanique form de ressorts et de masselottes, ou bien un circuit lectrique comportant des composants linaires comme des rsistances, des condensateurs ou des bobines, ou encore dans ltude du champ lectromagntique libre...) il est habituel de tenir le raisonnement suivant : 1o on considre les situations o le signal considr est purement monochromatique ; 2o la rponse un signal quelconque est la somme des rponses aux diffrentes frquences qui composent le signal. On justie ensuite lanalyse sinusodale en disant Si lon impose en entre un signal sinusodal de frquence w donne, alors le signal de sortie est obligatoirement sinusodal avec la mme frquence w. Pour xer les ides, considrons lexemple trs scolaire dun circuit de type RLC . Supposons que le signal dentre soit la tension t u(t) aux bornes du circuit total et le signal de sortie la tension t v(t) aux bornes de la rsistance (cest--dire, un facteur R prs, lintensit parcourant le circuit).

13

Chapitre

u(t)

L C

v(t)

306

Applications physiques de la transforme de Fourier

En tablissant lquation diffrentielle liant u et v, on obtient lgalit (valable au sens des distributions) : u L 1 d Hd R RC

Dv

o T est la rponse impulsionnelle du systme, cest--dire T D1 . On se spcialise dans le cas o le signal dentre est sinusodal, avec une pulsation w (ou une frquence n relie w par w 2pn). Le signal de sortie est suppos sinusodal, de mme pulsation w. Les quations sont alors simplies par le fait quon peut crire formellement d dt iw . On dnit la fonction de transfert v0 eiwt et le signal Z(w) comme tant le rapport entre le signal de sortie v(t) iwt : dentre u(t) u0 e v(t) v0 Z(w) u(t) u0 Lorsque le signal dentre est une superposition de signaux sinusodaux (ce qui est, de manire gnrale, le cas), on utilise alors la linarit du systme : il suft de multiplier chaque composante sinusodale du signal dentre par la valeur de la fonction de transfert pour la pulsation choisie et de sommer (intgrer) le tout : si u(t)
n

que lon peut (en utilisant tout lattirail de lanalyse de Fourier !) inverser en une quation du type v(t) T(t) u(t)

an eiwn t a(w) eiwt dw

alors v(t)
n

an Z(wn ) eiwn t a(w) Z(w) eiwt dw

et si u(t)

alors v(t)

Le seul point dlicat dans ce raisonnement est la justication de la monochromaticit du signal de sortie. Elle est donne par le thorme suivant :
TH ` EOREME 13.1 Les signaux exponentiels (rels t e pt ou complexes t sont des fonctions propres des oprateurs de convolution.

e2ipnt )

En effet, supposons les signaux dentre u et de sortie v lis par une quation de convolution : v(t) T(t) u(t), avec T une fonction ou une distribution tempre ; si u est de la forme u(t) e2ipnt , alors v(t) T(t) e2ipnt est inniment drivable (puisque lexponentielle lest) et le thorme 8.18 nous permet dcrire v(t)

T(q) e2ipn(t q)

T(q) e2ipnq e2ipnt

ce qui est bien une exponentielle complexe de mme frquence que le signal den tre. La fonction de transfert vaut, la frquence n, Z(n) T(q) e2ipnq , cest-dire la transforme de Fourier de la rponse impulsionnelle T : Z T. La quantit Z(n) peut galement tre vue comme la valeur propre associe au vecteur propre t e2ipnt pour loprateur de convolution T.

Champs longitudinaux et transverses

307

On peut effectuer le mme raisonnement si lexponentielle est relle. Si le signal dentre est de la forme u(t) e pt (o p est un rel), le signal de sortie, toujours daprs le thorme 8.18, scrit v(t) T(q) e p(t q)

T(q) e pq e pt

La fonction de transfert p T(q) e pq est alors bien sr la transforme de Laplace de la rponse impulsionnelle T (chapitre 12).

13.2 T.F. des champs de vecteurs : champs longitudinaux et champs transverses

On peut tendre la dnition de la transforme de Fourier un espace n dimensions.
DEFINITION 13.2 La transforme de Fourier dune fonction x e variable de n est donne par :

f (x) dune

f (n ) n

n f (x) e2ipn x dn x

On gnralise toutes les proprits prcdemment vues, en prenant garde toutefois aux changements dchelle :

f (ax)

1 f an

n a

On peut galement dnir, coordonne par coordonne, la transforme de Fourier trois dimensions dun champ de vecteurs x A(x). Cela permet de dnir ce que sont des champs transverses et des champs longitudinaux. Soit x A(x) un champ de vecteurs, valeurs dans 3 et dni galement 3 . On peut dcomposer ce champ A en trois composantes A sur (Ax Ay A z ), dont chacune est un champ scalaire, cest--dire une fonction de 3 dans . Notons x la transforme de Fourier de Ax , y celle de Ay et z celle de A z . En runissant ces trois champs scalaires en un champ vectoriel k (k), on obtient la transforme de Fourier du champ de vecteurs original : (k) A(x) e2ipk x d3 x

DEFINITION 13.3 Soit A(x) un champ dune variable x

On note k (k) sa transforme de Fourier. On dcompose alors, en tout k 3 , le vecteur (k) en deux composantes :

n et valeurs dans n .

308

Applications physiques de la transforme de Fourier la premire est colinaire k et on la note (k) ; elle est donne par la formule : (k) k df. (k) k; k 2 la seconde est orthogonale k et on la note (k)
df.

(k) ; elle est donne par : (k)

(k)

La composante longitudinale du champ A est donne par la transforme de Fourier inverse du champ k (k) : A (x)
df.

1 k

(k) k k2

Sa composante transverse est alors A (x)

df.

(k)

A(x) A (x)

DEFINITION 13.4 Un champ est dit transverse si sa composante longitudinale est nulle ; il est dit longitudinal si sa composante transverse est nulle.

Le thorme de drivation nous permet dcrire le rsultat bien connu :

PROPOSITION 13.5 Un champ transverse vrie la relation

A(x)

en tout x 3 ,

cest--dire que sa divergence est identiquement nulle. Il est important de bien remarquer que la proprit tre transverse ou tre longitudinal nest aucunement une proprit locale du champ de vecteurs (connatre la valeur du champ en un point ou au voisinage dun point nest pas sufsant), mais une proprit dpendant de la valeur du champ en tout point de lespace. (Voir exercice 13.1 page 323.)
Remarque 13.6 Un champ monochromatique, de vecteur donde k, est transverse sil est

en tout point colinaire k ; on sen fait aisment une reprsentation intuitive. Un champ transverse est une somme de champs monochromatiques transverses.

13.3 Relations dincertitude de Heisenberg

En mcanique quantique non relativiste, ltat dune particule sans spin est reprsente par une fonction complexe y de carr sommable et de classe 2 . Plus prcisment, pour tout t , la fonction y( t) : r y( r t) est dans L2 ( 3 ).

Relations dincertitude de Heisenberg

309

Cette fonction reprsente lamplitude de probabilit de prsence de la particule, cest--dire que la densit de probabilit associe la prsence de la particule au point r de lespace et linstant t est y( r t) 2 . La fonction y( t) est normalise (au sens de la norme L2 ) 1 : pour tout t

y( t)2 2

y( r t)2 d3r

DFINITION 13.7 On appelle fonction donde en reprsentation position la foncE e

tion de carr sommable ainsi dnie. On appellera lespace vectoriel des fonctions donde. Cet espace, muni du produit scalaire usuel, est un espace de Hilbert1 .
DEFINITION 13.8 On note X loprateur position sur laxe e

les axes y et z , et R toute fonction donde Xy

df.

x, Y et Z ceux sur

(X Y Z). Loprateur X est dni par son action sur avec (x y z ). f( t) : r

x y( r t)

en notant gnriquement r

Il faut bien faire attention ne pas commettre lerreur (trs) classique qui consiste dire que y et Xy sont proportionnelles, le coefcient de proportionnalit tant x ! Il est dusage de noter y(t) la fonction y( t) considre comme un vecteur de lespace vectoriel des fonctions dondes2 . Le produit scalaire entre deux vecteurs est alors (attention : la convention choisie pour le produit hermitien en mcanique quantique est alors : linaire droite et semi-linaire gauche) :

y(t)f(t)

df.

y( r t) f( r t) d3r

et laction de loprateur position se note Xy(t)

f(t)

avec

f( r t)

x y( r t)

1 Ou plutt on fait comme si ctait un espace de Hilbert, voire on le pose comme postulat. Car pour de nombreuses applications physiques, lespace des fonctions de carr intgrable nest pas sufsant. Notamment, les fonctions r exp(i k r) sont couramment employes, bien que ntant pas de carr sommable. Ce sont des fonctions donde non physiques . Force est de constater que les auteurs ne dnissent que trs rarement ce quest exactement lespace des fonctions donde utilis ; ils vrient encore moins souvent que cest effectivement un espace de Hilbert. Les difcults sont dailleurs disproportionnes, si on les compare aux avantages acquis pour la physique de tous les jours. 2 En ralit, y(t) est un vecteur dun espace de Hilbert abstrait H. Il existe cependant un morphisme de H vers L2 ( 3 ), cest--dire que le vecteur y(t) peut tre reprsent par la e fonction r y( r t) : cest la reprsentation position. Cependant, puisque la transformation de Fourier est un isomorphisme de L2 ( 3 ) sur lui-mme, le vecteur y(t) peut tout aussi bien tre reprsent par la fonction p y( p t), transforme de Fourier de la prcdente. Cest ce que lon appelle la reprsentation impulsion du vecteur donde. e

310

Applications physiques de la transforme de Fourier

chaque vecteur y est associ une forme linaire sur lespace , que lon , par lintermdiaire du produit scalaire. Ainsi, la notation f y notera y a-t-elle deux signications (quivalentes) : produit scalaire de f et y (au sens du produit dans lespace L2 ), ou bien action de la forme y sur le vecteur f (on comparera utilement aux rsultats du paragraphe 15.3.b page 359. Cest Dirac que lon doit ces notations compactes et pratiques3 .

D EFINITION 13.9 On appelle position moyenne sur laxe des x dune particule

caractrise par la fonction donde y( r t), la quantit x (t)

df.

y(t)Xy(t)

y(t)Xy(t)

x y( r t) d3r

Par ailleurs, une fonction donde y( r t) on associe sa transforme de Fourier par rapport la variable r : Y( p t)
df.

y( r t) ei p r

d3r (2p )3

Cette fonction reprsente lamplitude de probabilit de trouver la particule avec une impulsion p. Bien videmment, cette fonction est norme 1, puisquen raison du thorme de Parseval-Plancherel, on a, pour tout t :

Y(t)Y(t)

Y( p t)2 d3 p

y( r t)2 d3r

DEFINITION 13.10 On appelle fonction donde en reprsentation impulsion la e

transforme de Fourier Y( p t) de la fonction donde y( r t) dune particule.

df. DEFINITION 13.11 On dnit loprateur impulsion P e

qui agit sur les fonctions diffrentiables par Px y f

(Px Py P z ) y ( r t) x

ou

Px y

avec

f( t) : r

Limpulsion moyenne selon la direction x dune particule caractrise par la fonction donde y( r t) est px (t)
df.

y(t)Px y(t)

y( r t)

y ( r t) d3r x

Daprs les rsultats connus sur la transforme de Fourier, on voit que lon peut tendre la dnition de loprateur Px sur les fonctions donde en reprsentation impulsion , par df. Px Y Px 1 Y ce qui nous donne explicitement, en vertu du thorme de drivation : Px Y
3

avec

F( t) : p

px Y( p t)

Bien que parfois ambigus, hlas, comme le lecteur dsireux den connatre davantage sur les mathmatiques de la mcanique quantique pourra sen convaincre en lisant lexcellente rfrence [42].

Relations dincertitude de Heisenberg rise par la fonction donde y( r t) la quantit D x dnie par (D x)2
df.

311

DEFINITION 13.12 On appelle incertitude sur la position dune particule caract-

2 2

x
2

Xy Xy

y Xy

x 2 y( r t) d3r

D EFINITION 13.13 On appelle incertitude sur limpulsion dune particule carac-

trise par la fonction donde y( r t) la quantit D px dnie par (D px )2

2 px px 2 Py Py y Py 2 2 2 y ( r t) d3r px 2 x

p2 Y( p t) d3 p px x

Il est noter que p2 peut galement scrire comme la valeur moyenne de loprax teur P2 x que :
x

 

x2

dans ltat y , puisquune simple intgration par partie montre y y( r t) 2 ( r t) d3r x



2 df. 2 P y P y
x

2 y

2 3  x ( r t) d r

Pour pouvoir effectuer cette intgration par partie, il est ncessaire que la drive de y dcroisse sufsamment vite, ce qui est le cas lorsque D px existe et est bien dnie.
Remarque 13.14 Les quantits moyennes et les incertitudes sont rapprocher de lesprance et de lcart-type dune variable alatoire (voir chapitre 19).

Nous allons maintenant montrer quil existe une relation entre D x et D px . Pour commencer, on notera le lemme suivant
LEMME 13.15 Soit y une fonction donde.
df.

i) Si lon translate la fonction donde dune quantit a 3 en posant y a ( r t) y( r a t) pour tout ( r t) 3 , ni la valeur de D x ni la valeur de D px ne sont modies. ii) De la mme faon, si lon translate dans lespace des impulsions dune quantit k 3 (ou, ce qui revient au mme, si lon multiplie la fonction donde en reprsentation df. y( r t) ei k r ), alors ni la position par un facteur de phase en posant y k ( r t) valeur de D x ni la valeur de D px ne sont modies. iii) En consquence de quoi on peut dnir une fonction donde centre en position et en impulsion y( r t) (cest--dire telle que sa position moyenne et son impulsion moyenne sont nulles) et de mme incertitude sur la position et sur limpulsion que la fonction originelle y( r t).

312

Applications physiques de la transforme de Fourier

Dmonstration. La valeur moyenne de la position de la translate y a est x
a

x y a ( r t) d3r x

(x

ax ) y( r t)2 d3r

ax
2 a

Lincertitude sur la position est alors (D x)2 a

2

x 2 y( r

a t)2 d3r

ax
2

(x
2

ax )2 y( r t)2 d3r

2ax x a2 x

2ax x a2 x

2ax x a2 x

(D x)2

Lincertitude sur limpulsion de y na videmment pas chang. La dmonstration est identique pour la translate dans le monde des impulsions. Enn, la fonction donde centre scrit, pour un t donn :
df. y r y( r t)

r t ei p r

TH ` EOREME 13.16 (Relations dincertitude de Heisenberg)

Soit y une fonction donde possdant une moyenne en position et en impulsion, ainsi que des incertitudes en position et en impulsion. On a alors la relation D x D px 2 (13.1)

(Et de mme en y et z .) De plus, on na galit que dans le cas o y est une fonction gaussienne.
Dmonstration. Quitte translater la fonction donde grce au lemme 13.15, on 0 et px 0. Par ailleurs, nous allons sous-entendre la peut supposer que x dpendance en t pour allger lcriture. On a alors (D x)2 et (D px )
2 2

x 2 y( r) d3r
 y 2 3  x ( r) d r

Lingalit de Cauchy-Schwarz pour des fonctions de L2 scrit

2 f ( r) g( r) d r
3

f ( r)2 d3r

g( r)2 d3r

En appliquant cette ingalit aux fonctions f ( r) obtient

x y( r) et g( r)

y ( r), on x

x y( r)

2 y ( r) d3r x

x 2 y( r) d3r 1
2

 y 2 3 ( r) d r x

(D x)2 (D px )2

()

Relations dincertitude de Heisenberg

313

Or, en effectuant une intgration par parties, on peut crire, x tant rel et les termes de bord tant supposs sannuler (voir remarque 13.18 ci-dessous) : x y( r)


y ( r) d3r x x y( r)


y( r)2 d3r

x y( r)

y ( r) d3r x

soit Puisque z

2 e

e (z)
x y( r)

y ( r) d3r x
e

y( r)2 d3r

pour tout z


, le terme de gauche de lquation () vrie

2 y ( r) d3r x

x y( r)

2 y ( r) d3r x

1 4

On en dduit immdiatement lquation (13.1). Lingalit de Cauchy-Schwarz devient galit quand il y a proportionnalit entre les deux fonctions ; or Xy et  y  x ne peuvent tre proportionnelles que si y est gaussienne en x (cest une simple quation diffrentielle rsoudre).

Si lon avait gard la dnition usuelle de la transforme de Fourier (avec le facteur 2p et sans ), on aurait le thorme quivalent suivant :
EME 13.17 (Relation dincertitude) Soit f L2 ( ) une fonction telle que le THEOR` second moment x 2 f (x) 2 dx et f (x) 2 dx existent. Notons

2 df.

et Alors x 2

2 df.

1 f 1 f

2 2 2 2

x 2 f (x) dx n2 f (n) dn
2

4p2 f 2 2

2 f (x) dx

2 n

1 avec galit si et seulement si f est une gaussienne. 16p2

Remarque 13.18 Prcisons un point laiss ou dans la dmonstration prcdente, concerlennant lannulation des termes de bord lors de lintgration par parties. On note semble des fonctions y de carr intgrable, telles que Xy et Px y soient de carr intgrable. Cet ensemble, une fois muni, par exemple, de la norme N dnie par

N(y)2

2 2

y( r)2 d3r

Xy 2 Py 2

2 2

x 2 y( r) d3r

p2 Y( p) d3 p x

est un espace de Hilbert. est de classe et support born sur x, alors la dmonstration prcdente, Si y et notamment lintgration par parties avec annulation des termes de bord, est correcte. Un rsultat classique danalyse (que lon dmontre par convolution par une suite de fonctions de Dirac) est que lensemble des fonctions de classe support born est dense dans . Par continuit, le rsultat prcdent est alors valable pour toute y .

314

Applications physiques de la transforme de Fourier

13.4 Signaux analytiques

On a lhabitude, en lectricit ou en optique par exemple, de travailler avec des signaux sinusodaux complexes du type eiwt , mais dont seule la partie relle a une signication physique. Ce passage du signal rel f(R) (t) cos(wt) un signal complexe f (t) eiwt peut se gnraliser dans le cas dun signal non monochromatique. Tout dabord, notons que lon peut retrouver le signal rel en suivant deux mthodes diffrentes : soit prendre la partie relle du signal complexe associ, soit lui ajouter son complexe conjugu et diviser par 2. On gnralise maintenant cette notion. Considrons un signal rel f(R) (t) et cherchons le signal complexe qui lui est associ. Dans le cas f(R) (t) cos(2pn0t) (avec n0 0), le spectre de f(R) contient les deux frquences n0 et n0 . Cependant, linformation est redondante, lintensit de le frquence n0 est la mme que celle e2ipnt associ de la puissance n0 puisque f(R) est relle. Le signal complexe f (t) au signal rel f(R) sobtient ainsi : on prend le spectre de f(R) , on ne garde que les frquences positives, on multiplie par deux et on reconstitue le signal. Dune manire gnrale, si f(R) (t) est un signal rel admettant une transforme de Fourier f(R) (n), alors son spectre est hermitien : f(R) (n) f(R) (n) pour tout n ;

ainsi, seule la moiti du spectre f(R) est ncessaire pour pouvoir reconstituer f(R) . Si le spectre f(R) (n) ne contient pas de singularit lorigine, ou du moins est sufsamment rgulier, alors on peut considrer le spectre tronqu 2H(n) f(R) (n) La transforme de Fourier inverse de ce spectre tronqu va nous donner le signal analytique associ la fonction f(R) . Puisque la transforme de Fourier inverse de 2H(n) est (voir thorme 11.15 page 260) :
1 2H(n) 1 1 sgn n

d(t) vp

i pt

on en dduit que la transforme de Fourier inverse de 2H(n) f(R) (n) est

1 2H(n) f (n) (R)

d vp

i pt

f(R)

f(R) (t)

i vp p

f(R) (t ) dt t t

On pose alors la dnition suivante :

D EFINITION 13.19 On appelle signal analytique une fonction dont la transforme de Fourier est causale, cest--dire une fonction dont la transforme de Fourier est nulle pour les frquences ngatives.

Signaux analytiques

315

transforme de Hilbert :

DEFINITION 13.20 Soit f(R) un signal rel possdant une transforme de Fourier sufsamment rgulire4 . On appelle signal imaginaire associ f(R) loppos de sa

f(I) (t)

df.

vp

1 p

f(R) (t ) dt t t i vp p f (t ) dt t t

DEFINITION 13.21 Le signal analytique associ au signal rel f(R) est la fonction

f (t)

df.

f(R) (t) i f(I) (t)

f(R) (t)

dont le spectre est f (n)

2H(n) f(R) (n).

Le signal analytique associ f(R) est analytique dans le sens de la dnition 13.19 : son spectre est identiquement nul pour des frquences n 0. Puisque f (n) est causale, elle admet une transforme de Laplace F( p) dans le plan complexe et F( p) est dnie au moins sur le demi-plan complexe de droite. Le signal f tant la transforme de Fourier inverse de f , il est donn par f (x) F(2ipx)

Il existe donc un prolongement analytique f , dans le demi-plan suprieur5 , que lon trouve grce la transforme de Laplace du spectre : f (z ) F(2ipz )

Ce prolongement analytique est holomorphe dans le demi-plan suprieur, il vrie donc bien les relations de Kramers-Kronig... qui ne donnent rien de plus que la relation de dnition de f(I) : la boucle est boucle ! Le fait que f soit prolongeable en une fonction analytique sur le demi-plan complexe suprieur justie ainsi la dnomination de signal analytique . On peut rsumer ces rsultats ainsi :
EME 13.22 Soit f : THEOR`

une fonction admettant une transforme de Fourier. Si le spectre de f est causal, alors f est prolongeable analytiquement sur le demi-plan complexe suprieur. Si f est prolongeable analytiquement et si lintgrale de f sur un demi-cercle suprieur tend vers 0 lorsque le rayon tend vers linni, alors le spectre de f est causal.

(Voir [83] pour plus de dtails.) Un exemple dutilisation des signaux analytiques est fourni par un signal lumineux, caractris par une amplitude relle A(R) (t). On peut crire A(R) (t)
4

(R)

(n) e2ipnt dn

Au sens o H(n) f(R) (n) existe ; il faut donc que f(R) ne contienne pas de distribution singulire

en 0. Suprieur cause de la similitude x de droite.

5

2ipx : limage du demi-plan suprieur est le demi-plan

316

Applications physiques de la transforme de Fourier

o (R) (n) est la transforme de Fourier de A(R) (t). Cependant, puisque A(R) (t) est relle, on peut galement crire, en notant 2 (n) a(n) eif(n) avec a et f relles, pour n 0 : A(R) (t)

a(n) cos f(n) 2ipnt dn

Le signal imaginaire associ A(R) est bien entendu A(I) (t) et le signal analytique est A(t)
2
0

a(n) sin f(n) 2ipnt dn

a(n) eif(n) e2ipnt dn

La quantit a(n) (R) (n) possde linterprtation suivante : son carr W(n) 2 (n) est le spectre de puissance, ou densit spectrale du signal complexe A (voir a e

la dnition 13.24 page ci-contre). Cette densit spectrale complexe comprend une nergie transporte par le signal rel et une nergie gale transporte par le signal imaginaire. Lintensit lumineuse totale transporte par le signal lumineux rel est e alors 2 1 dn W(n) dn (R) (n) 2 0 soit la moiti de lintensit totale complexe (lautre moiti est bien sr transporte par le signal imaginaire).

13.5 Autocorrlation dune fonction dnergie nie e e

13.5.a Dnition e

Soit f une fonction de carr intgrable. On sait quelle admet alors une transforme de Fourier f (n). L2 ( )
DEFINITION 13.23 On appelle signal dnergie nie toute fonction f e On appelle energie totale du signal dnergie nie f , la quantit
df.

L2 ( ).

f (t)2 dt

Lgalit de Parseval scrit :

f (t)2 dt 2 f (n)2 dn

ce qui nous permet dinterprter f (n) comme une densit dnergie par intervalle de frquence dn.

Autocorrlation dune fonction dnergie nie

317

DEFINITION 13.24 On appelle densit spectrale du signal dnergie nie f la e f (n)2 . fonction n

Il arrive, notamment en optique ou en mcanique quantique, que lon sintresse la fonction dautocorrlation de la fonction f :
DEFINITION 13.25 Soit f une fonction de carr sommable, la fonction dautocorrlation de f est G e f f ou G(x) f (x) f (x), cest--dire que

G(x)

df.

f (t) f (t x) dt

pour tout x

13.5.b Proprits ee

La fonction dautocorrlation tant la convolution de f avec le conjugu de sa transpose G(x) f (x) f (x), on peut utiliser les proprits connues de la transforme de Fourier, pour obtenir diffrentes proprits intressantes et, notamment :
EME 13.26 La transforme de Fourier de la fonction dautocorrlation de f est THEOR`

gale au carr de la densit spectrale de f :

G(t)

f (x) f (x)

f (n)2

PROPOSITION 13.27 Soit f est une fonction dnergie nie ; alors sa fonction dautocorrlation est hermitienne : G(x) G(x) pour tout x . De plus, si f est relle, alors G est relle et paire.

Par ailleurs, puisque e2ipnx

G(x)

1, on a la majoration
f (n)2 dn

2 2ipnx f (n) e dn

G(0)

de laquelle on dduit :
THOR`ME 13.28 Le module de la fonction dautocorrlation dune fonction f est maxiE E mal lorigine : G(x) G(0) pour tout x . f (t)2 dt. G(0) est rel, positif et gal lnergie de f : G(0) D EFINITION 13.29 On appelle la fonction dautocorrlation rduite ou encore e e fonction dautocohrence e

g(x)

df.

G(x) G(0)

Cette fonction g(x) est donc toujours de module compris entre 0 et 1.

318

Applications physiques de la transforme de Fourier

13.5.c Intercorrlation e

DFINITION 13.30 On appelle fonction dintercorrlation de deux fonctions de E e

carr sommable f et g la quantit G f g (x)

df.

f (t) g(x

t) dt

On a alors, en vertu de lingalit de Cauchy-Schwarz,

G f g (x)2

G f (0) G g (0)

Cela nous permet dintroduire la fonction de cohrence :

DEFINITION 13.31 On appelle fonction dintercohrence ou fonction de cohe e rence entre f et g la fonction dintercorrlation rduite

g f g (x)

df.

G f g (x) G f (0)G g (0)

Cette fonction de cohrence est donc toujours de module compris entre 0 et 1.

13.6 Fonctions de puissance nie

13.6.a Dnitions e

Les fonctions avec lesquelles nous avons travaill jusqu prsent sont des fonctions de carr sommable, cest--dire des lments de L2 ( ). Dans de nombreux cas physiques, comme en optique, lintgrale f 2 reprsente une nergie. Parfois cependant, on cherche travailler non avec des fonctions dnergie nie, mais de puissance nie, comme par exemple f (t) cos wt.
D EFINITION 13.32 Soit f :

lim

. Si

T 1 f (t)2 dt 2T T

existe et est nie, alors f est dite fonction de puissance nie et la puissance moyenne transporte par le signal f est gale cette limite. On peut galement rednir ce que va tre la densit spectrale :
DFINITION 13.33 Soit f un signal de puissance nie, on appellera densit specE e trale, ou spectre de puissance de f la quantit 2 1 T df. 2ipnt dt f (t) e lim W(n) T 2T T

Application loptique : thorme de Wiener-Khintchine

319

On a alors un quivalent de la formule de Parseval pour un signal de puissance nie :

EME 13.34 Soient f (t) un signal de puissance nie et W(n) sa densit spectrale. THEOR`

Alors
T

lim

T 1 f (t)2 dt 2T T

W(n) dn

13.6.b Autocorrlation e

Pour une fonction de puissance nie, la dnition 13.25 de lautocorrlation nest plus valable et lon doit poser :
DEFINITION 13.35 La fonction dautocorrlation dun signal de puissance nie e

f est G(x)
df. T

lim

T 1 f (t) f (t x) dt 2T T

On a alors lquivalent du thorme 13.26 :

TH ` EOREME 13.36 La transforme de Fourier de la fonction dautocorrlation dun signal

de puissance nie est gale la densit spectrale :

Exemple 13.37 Posons f (t)

G(t)

W(n)

e2ipn0 t . Alors sa fonction dautocorrlation est G(x) e2ipn0 x et sa densit spectrale est W(n) d(n n0 ). Si lon avait pris les dnitions donnes pour une fonction dnergie nie, on aurait trouv que f (n) d(n n0 ) et la densit spectrale aurait d tre quelque chose comme d2 (n n0 ). Comme nous lavons vu dans le chapitre sur les distributions, le carr dune distribution de Dirac na aucun sens.

13.7 Application ` loptique : a thor`me de Wiener-Khintchine e e

On considre une exprience dinterfrences en optique au moyen de fentes dYoung, claires par une source ponctuelle (voir gure 13.1). Nous allons montrer que, dans le cas o la source nest pas tout fait monochromatique mais prsente au contraire une certaine largeur spectrale Dn, la gure dinterfrences va se brouiller pour des points de lcran correspondant des diffrences de chemin optiques trop grandes entre les deux faisceaux. La diffrence de chemin optique ne pas dpasser pour continuer voir les franges sappelle longueur de cohrence et nous montrerons quelle vaut e c Dn. Considrons une source non monochromatique . On supposera que la source de la gure envoie un signal rel t S(R) (t), auquel correspond un signal

320

Applications physiques de la transforme de Fourier S1 (t) S(t) ( ) S2 (t) P

Fig. 13.1 Exprience dinterfrences lumineuses au moyen de fentes dYoung.

analytique complexe t S(t). On a donc S(R) (t) e S(t) . La transforme de Fourier de S(R) (t) est note (R) (n). On supposera que le signal envoy est de puissance nie et est caractris par une densit spectrale de puissance W(n), pour n 0. Ce signal est dit non monochromatique si la densit spectrale W(n) nest pas un pic de Dirac. Dans le montage propos, on cherche lintensit lumineuse arrivant au point P, donne par la moyenne temporelle du carr du signal SP (t) arrivant au point P :

2 S (t)
P

o lon a dni

T 2 df. 1 S (t) SP (t)2 dt lim P T 2T T

Le signal arrivant en P est la somme de deux signaux, provenant de chacune des fentes dYoung. Le signal provenant dun des trous est donc le mme que le signal provenant de lautre, mais avec un dcalage temporel t D L c, o D L est la diffrence de chemin entre les deux rayons (et dpend donc du point P) : SP (t) S1 (t) S2 (t) S1 (t) S1 (t t)

(La fonction S1 (t) est directement reli au signal S(t) mis par la source.) On a donc

S2 S2 2e S1 S2 2I 2e S1 S2
S1 S1

SP SP

(S1 S2 ) (S1 S2 )

en notant I la valeur moyenne S1 S1 , qui est lintensit lumineuse du signal passant par un seul trou sans interfrences. Toute linformation sur les termes dinterfrences est donne par la partie 2 e S1 S2 , quil est facile de calculer :

S1 S2

S1 (t) S1 (t t)

G(t)

o G(t) est la fonction dautocorrlation du signal complexe S1 , que lon appelle galement ici fonction dautocohrence6 . (On rappelle que t est fonction e du point P dobservation.)
Dans certains ouvrages doptique, cest la fonction dautocorrlation norme g(t) qui est appele fonction dautocohrence.
6

G(t) G(0)

Application loptique : thorme de Wiener-Khintchine

321

Gmin Gmax G(0)

Fig. 13.2 La fonction dautocorrlation pour une source presque monochromatique, voluant avec le paramtre t dans le plan complexe. La valeur lorigine G(0) est relle et positive. Le module de G(t) varie lentement par rapport sa phase.

Lintensit lumineuse au point P est donc donne par

2I 2 e G(t)

2I 1 e g(t)

avec g(t)

df.

G(t) G(0)

G(t) I

On peut maintenant estimer le facteur de visibilit des raies, en utilisant le critre de Rayleigh [14] : Imax Imin (13.2) Imax Imin

Ici, Imax reprsente un maximum local dintensit lumineuse, non au point P, mais dans un voisinage immdiat de P ; cest--dire que lon va dplacer lgrement le point dobservation et, donc, la valeur du paramtre t, jusqu trouver une intensit qui soit un maximum local, que lon appelle Imax . De la mme faon, on obtient le minimum local proximit de P, que lon appelle Imin . Lestimation de ce paramtre nest possible que si les valeurs tmax et tmin correspondant aux intensits maximale et minimale prs dun point donn, sont telles que la diffrence tmax tmin est trs petite devant la dure dun train dondes. Si cest le cas, alors la fonction dautocorrlation aura lallure de la gure 13.2, cest--dire que sa phase variera trs vite par rapport son module ; notamment, le module de G sera presque constant entre tmax et tmin , tandis que sa phase aura vari de p7 . Pour t 0, on aura bien sr G I, puis G(t) dcrotra avec le temps.
Cest la physique qui le dit, non les mathmatiques ! On peut comprendre facilement ce phnomne. Supposons que lon fasse varier t de manire ce quil reste petit devant la dure dun train dondes. Alors, en prenant une valeur de t gale une demi-priode du signal (qui est quasimonochromatique), les signaux S1 et S2 sont simplement dcals de p : ils sont en opposition de phase et G(t) est relle, ngative et de module quasiment gal G(0). Si lon prend des valeurs de t nettement plus grandes, il y a dcorrlation de plus en plus importante entre les signaux, car il se peut que S1 vienne dun train dondes et S2 dun autre. Un modle statistique simple de trains dondes donne une dcroissance exponentielle de G(t) .
7

322

Applications physiques de la transforme de Fourier

Ainsi, en dplaant doucement P, t varie assez peu et donc G reste peu prs constante. Alors e (G) varie entre G et G , le facteur de visibilit des franges est donc simplement G(t) (t) g(t) I Or, daprs le thorme 13.36, la fonction dautocorrlation est donne par la transforme de Fourier inverse du spectre de puissance :

G(t) On en dduit le thorme suivant :

W(n) e2ipnt dn

EME 13.38 (Wiener-Khintchine) Le facteur de visibilit des franges dans lexpTHEOR`

rience dinterfrences dYoung est gal au module de la transforme de Fourier normalise de la densit spectrale de la source pour la valeur t correspondant la diffrence de temps de vol entre les deux faisceaux :

W(n) e2ipnt dn 0 W(n) dn

0

Ainsi, dans le cas dune source quasi-monochromatique par exemple une lampe spectrale, qui devrait donner une lumire monochromatique, mais qui, par suite des phnomnes dmission de la lumire par trains dondes, est caractrise par une largeur de raie non nulle si lon note Dn la largeur du spectre, on sait que la transforme de Fourier de la densit spectrale dnergie a une largeur typique D t 1 Dn ; pour une diffrence de temps t 1 Dn, cest--dire pour c Dn, les franges vont donc se brouiller. La quantit une diffrence de chemin D t 1 Dn est appele temps de cohrence et la longueur e c Dn est appele longueur de cohrence. e
Remarque 13.39 Il existe un thorme analogue, d P. K. van Cittert et F. Zernike, reliant le facteur de visibilit dune gure de diffraction la transforme de Fourier de la distribution spatiale dune source tendue et monochromatique. Le lecteur intress peut consulter [14] ou chercher lexercice 13.2 page suivante.

Exercices EXERCICES

323

On considre un champ lectromagntique E( r t) B( r t) compatible avec une dis tribution de charge et de courant r( r t) j( r t) , cest--dire que les champs vrient les quations diffrentielles suivantes (quations de Maxwell) : div E div B

Exercice

13.1 (Champ electromagntique en jauge de Coulomb) e

r e0
0

rot E rot B

B t 1 E c 2 t
 

m0 j

i) Montrer que le champ B est transverse. ii) Montrer que la partie longitudinale du champ lectrique est donne par le potentiel de Coulomb instantan associ la distribution de charge. Que peut-on dire du point de vue de la relativit ? iii) La sparation transverse-longitudinale est-elle prserve lors dune transformation de Lorentz ?

Exercice 13.2 (Thor`me de van Cittert-Zernike) Considrons une source lumineuse, e e invariante par translation selon laxe y, caractris par une luminosit I(x) sur laxe x et passant au travers dun systme interfrentiel comme ci-dessous. La distance entre la source et les fentes est f et la distance lcran est D.

f D On supposera que cette source peut tre modlise comme un ensemble de sources ponctuelles, mettant des trains dondes indpendamment les unes des autres, la mme frquence n. Les sources tant incohrentes entre elles, on admet que lintensit observe en un point de la gure dinterfrences est la somme des intensits provenant de chaque source8 . Montrer :
THOR`ME 13.40 (van Cittert-Zernike) Le facteur de visibilit de la source I(x) est gal au E E module de la transforme de Fourier de lintensit spatiale normalise de la source, la frquence a l f , o a est la distance entre les fentes dinterfrences et f la distance de la source spatiale k au systme : a I(x) df. g avec (x) lf I(s) ds

Le lecteur trouvera dans [14] une gnralisation de ce rsultat, due P. H. van Cittert (1934) et Frederik Zernike (1938), physicien hollandais, prix Nobel 1953.

On a vu lexercice exercice 1.3 page 32 la ncessit quil y ait en ralit une largeur spectrale non nulle pour considrer les sources comme incohrentes.

324

Applications physiques de la transforme de Fourier SOLUTIONS

Solution de lexercice 13.1.

Maxwell scrivent k

En passant en transforme de Fourier, les quations de ik ik

 t 1 c 2 t

i r e0 0

m0 j

La troisime de ces quations montre que B est transverse. k (k) i r(k) e0 , on trouve que De plus, puisque k (k) k

(k)
k
2

k r(k) e0 k2

et donc, en revenant en transforme de Fourier inverse, 1 r( r ) r r 3 dr E ( r t) 4pe0 r r 3

ECoulomb ( r t)

Ainsi, le champ longitudinal se propage instantanment travers lespace, ce qui nest pas conforme la relativit restreinte. En consquence de quoi la sparation champ transverselongitudinale nest pas physique. Elle nest dailleurs pas prserve lors dune transformation de Lorentz, puisque le champ coulombien ne lest pas. Solution de lexercice 13.2. Lintensit en un point P dabscisse y sur lcran est donne par lintgrale des intensits produites par I(x), pour x . Un calcul lmentaire dinterfrences montre que, pour les petits angles, on a y 2pa x I(x) 1 cos dx J(x) K l f D y 2pa x KI0 1 (x) cos dx l f D avec I0 sont I(s) ds et o (x) I(x) I0 est lintensit normalise. Puisque I et des fonctions relles, on peut crire 2ipa x y J(y) KI0 1 e (x) exp dx l f D a KI0 1 e e2ipay lD lf

Dcomposons en module et phase J(y)

(a l f )

g eia . Alors

KI0 1 g cos

2pay lD

Or, si lon observe la gure dinterfrences prs du centre et si lon fait varier doucement y, lintensit J sur lcran varie entre KI0 1 g et KI0 1 g , ce qui montre que g est le facteur de visibilit de la gure dinterfrences ; ce que lon voulait dmontrer. Ce rsultat est utile notamment pour mesurer la distance angulaire entre deux toiles, ou bien le diamtre apparent dune toile, en utilisant deux tlescopes monts en interfromtres.