Vous êtes sur la page 1sur 134

Universit Paris-Sud Orsay e Master de Physique P-F&A-452A

ELECTRODYNAMIQUE CLASSIQUE ET QUANTIQUE

J.-J. LABARTHE Anne 2004-05 e

ELECTRODYNAMIQUE CLASSIQUE ET QUANTIQUE

Mise ` jour de ce cours sur le site a


http://qcd.th.u-psud.fr/page perso/Van-Wijland/

Premi`re version : 6 septembre 2001 e Cette version : 2 septembre 2004

Jean-Jacques LABARTHE
Laboratoire Aim-Cotton e www.lac.u-psud.fr Bt 505 CNRS II a 91405 ORSAY Cedex Tl. : 01 69 35 20 49 e Fax : 01 69 35 21 00

` TABLE DES MATIERES

Table des mati`res e


1 Formulation covariante 1.1 Rappel dlectromagntisme . . . . . . . . . . . . . . . . e e 1.1.1 Les lois de llectromagntisme . . . . . . . . . . e e 1.1.2 Syst`mes dunits . . . . . . . . . . . . . . . . . . e e 1.1.3 Potentiels . . . . . . . . . . . . . . . . . . . . . . 1.2 Principe de relativit . . . . . . . . . . . . . . . . . . . . e 1.2.1 Invariants, criture covariante . . . . . . . . . . . e 1.3 Transformations de Lorentz . . . . . . . . . . . . . . . . 1.4 Quadrivecteurs . . . . . . . . . . . . . . . . . . . . . . . 1.5 Lintervalle . . . . . . . . . . . . . . . . . . . . . . . . . 1.6 Quadrivitesse. Quadriimpulsion . . . . . . . . . . . . . . 1.7 Quadricourant . . . . . . . . . . . . . . . . . . . . . . . 1.8 Le produit scalaire . . . . . . . . . . . . . . . . . . . . . 1.9 Tenseurs . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.9.1 Vecteurs covariants ou 1-formes . . . . . . . . . . 1.9.2 Tenseurs covariants et N -formes . . . . . . . . . 1.9.3 Produit tensoriel . . . . . . . . . . . . . . . . . . 1.9.4 Tenseurs contravariants . . . . . . . . . . . . . . 1.9.5 Tenseurs mixtes . . . . . . . . . . . . . . . . . . 1.9.6 Alg`bre tensorielle . . . . . . . . . . . . . . . . . e 1.9.7 Calcul tensoriel : r`gles pratiques (14) . . . . . . e 1.9.8 Applications linaires . . . . . . . . . . . . . . . e 1.10 Proprits mtriques . . . . . . . . . . . . . . . . . . . . ee e 1.10.1 Le tenseur mtrique . . . . . . . . . . . . . . . . e 1.10.2 Correspondance entre quadrivecteurs et 1-formes 1.10.3 Calcul tensoriel : r`gles pratiques (5) . . . . . . . e 1.11 Tenseur de Levi-Civita . . . . . . . . . . . . . . . . . . . 1.12 Gradient . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.12.1 Le quadrigradient . . . . . . . . . . . . . . . . . 1.12.2 Le dAlembertien . . . . . . . . . . . . . . . . . . 1.12.3 Une interprtation gomtrique du gradient . . . e e e 1.12.4 Reprsentation gomtrique dune 1-forme . . . . e e e 1.13 Intgrales quadridimensionnelles . . . . . . . . . . . . . e 7 . 7 . 7 . 8 . 8 . 11 . 12 . 13 . 15 . 16 . 17 . 18 . 20 . 20 . 21 . 22 . 23 . 23 . 24 . 24 . 24 . 25 . 25 . 25 . 26 . 27 . 27 . 28 . 28 . 29 . 29 . 30 . 31

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

` TABLE DES MATIERES 1.13.1 Linvariance de llment de volume d4 x . ee 1.13.2 Fonction de Dirac quadridimensionnelle . 1.13.3 Intgration par parties . . . . . . . . . . . e Quadripotentiel . . . . . . . . . . . . . . . . . . . Tenseur du champ lectromagntique . . . . . . . e e Formulation covariante . . . . . . . . . . . . . . . 1.16.1 Formulation en termes du quadripotentiel Rsum . . . . . . . . . . . . . . . . . . . . . . . e e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 31 32 33 33 36 38 39 40 40 40 42 43 44 45 45 47 47 48 50 55 55 55 56 56 57 57 61 61 63 64 64 66 68 68 68 70 71 71 71 72

1.14 1.15 1.16 1.17

2 Lagrangien 2.1 Particule charge dans un champ extrieur . . . . . . . . . e e 2.1.1 Le principe de moindre action . . . . . . . . . . . . 2.1.2 Particule matrielle relativiste libre (en champ nul) e 2.1.3 Particule relativiste dans un champ extrieur . . . e 2.1.4 Hamiltonien . . . . . . . . . . . . . . . . . . . . . . 2.2 Corde classique ` une dimension . . . . . . . . . . . . . . a 2.2.1 Lagrangien . . . . . . . . . . . . . . . . . . . . . . 2.2.2 Hamiltonien . . . . . . . . . . . . . . . . . . . . . . 2.3 Equations dEuler-Lagrange champ continu . . . . . . . . 2.4 Lagrangien du champ lectromagntique . . . . . . . . . . e e 2.5 Fonctionnelle, drive fonctionnelle . . . . . . . . . . . . . e e 3 Tenseur nergie-impulsion e 3.1 Intgrales sur une hypersurface . . . . . . . . . . e 3.1.1 Flux dun quadrivecteur . . . . . . . . . . 3.1.2 Thor`me de Gauss . . . . . . . . . . . . e e 3.1.3 Quadrivecteur de quadridivergence nulle . 3.2 Tenseur nergie-impulsion . . . . . . . . . . . . . e 3.2.1 Interprtation physique des composantes . e 3.2.2 Dcomposition T = Tpart + Tchamp . . . e 3.2.3 Tenseur nergie-impulsion dune particule e 3.2.4 Tenseur nergie-impulsion des particules . e 3.2.5 Tenseur nergie-impulsion du champ . . . e 3.2.6 Composantes de Tchamp . . . . . . . . . . 3.2.7 Tenseur nergie-impulsion canonique . . . e

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

4 Thorie quantique du rayonnement e 4.1 Quantication dun oscillateur harmonique . . . . . . . . 4.1.1 Quantication canonique . . . . . . . . . . . . . . 4.1.2 Rappel sur loscillateur harmonique . . . . . . . . 4.1.3 Interprtation en termes de particules . . . . . . . e 4.1.4 Ensemble doscillateurs harmoniques indpendants e 4.1.5 Transformation unitaire . . . . . . . . . . . . . . . 4.2 Lagrangien . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . .

. . . . . . .

` TABLE DES MATIERES 4.3 Probl`mes dans la quantication . . . . . e 4.3.1 Mthode de quantication utilise e e 4.3.2 Autre mthode . . . . . . . . . . . e Elimination de , jauge de Coulomb . . . Conditions aux limites priodiques . . . . e Potentiel vecteur : composantes An . . . Hamiltonien . . . . . . . . . . . . . . . . . Quantication canonique . . . . . . . . . . Modes normaux . . . . . . . . . . . . . . . Oprateurs du point de vue de Heisenberg e Rcapitulatif des oprateurs . . . . . . . . e e Espace des tats . . . . . . . . . . . . . . e Quantit de mouvement du champ . . . . e Spin . . . . . . . . . . . . . . . . . . . . . Emission spontane . . . . . . . . . . . . . e 4.15.1 Reprsentation dinteraction . . . . e 4.15.2 Calcul du taux de transition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 73 73 74 74 75 77 79 80 80 82 83 84 87 88 90 90 93 96 96 96 97 99 100 100 100 102 104 106 106 106 107 108 109 110 111 114 114 115 115 115 116 116

4.4 4.5 4.6 4.7 4.8 4.9 4.10 4.11 4.12 4.13 4.14 4.15

5 Thorie classique du rayonnement e 5.1 Fonction de Green . . . . . . . . . . . . . . . 5.1.1 Rsolution dquation . . . . . . . . . e e 5.1.2 Fonction de Green . . . . . . . . . . . 5.2 Potentiels retards . . . . . . . . . . . . . . . e 5.2.1 Courant stationnaire . . . . . . . . . . 5.3 Charge ponctuelle en mouvement . . . . . . . 5.3.1 Potentiels de Linard-Wiechert . . . . e 5.3.2 Champs E et B . . . . . . . . . . . . . 5.3.3 Formule de Larmor . . . . . . . . . . . 5.4 Distribution de charges quelconque . . . . . . 5.4.1 Dcomposition spectrale des potentiels e 5.4.2 Dcomposition spectrale de E et B . . e 5.4.3 Zone de rayonnement . . . . . . . . . 5.4.4 Composante A (r) . . . . . . . . . . . 5.4.5 Energie rayonne . . . . . . . . . . . . e 5.4.6 Sources priodiques de priode T . . . e e 5.4.7 Approximation dipolaire lectrique . . e 6 Intgrales de chemin e 6.1 Introduction . . . . . . . . . . 6.2 Propagateur . . . . . . . . . . 6.2.1 Dnition . . . . . . . e 6.2.2 Equation direntielle e 6.3 Propagateur libre . . . . . . . 6.3.1 Calcul . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

6 6.3.2 Discussion physique . . . . Loi de composition . . . . . . . . . Intgrale de chemin . . . . . . . . . e Diagrammes de Feynman . . . . . 6.6.1 Mthode perturbationnelle e 6.6.2 Terme dordre 1 . . . . . . 6.6.3 Interprtation . . . . . . . . e 6.6.4 Equation intgrale . . . . . e . . . . . . . . . . . . . . . .

` TABLE DES MATIERES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 119 120 122 122 123 124 126 128 131 133

6.4 6.5 6.6

A Corrig des exercices e B Bibliographie C Index des noms propres

Formulation covariante
On se propose dcrire les quations de Maxwell 1 sous forme covariante. e e Pour cela on prsente le formalisme tensoriel apr`s quelques rappels sur la e e thorie de la relativit. e e

1.1
1.1.1

Rappel dlectromagntisme e e
Les lois de llectromagntisme e e

Les quations de Maxwell : e E = B 0


0

(1.1) (1.2) (1.3) (1.4)

E+

B t

E = 0 J t B = 0 = 0.

Densit de charge et densit de courant J pour un ensemble de N particules e e (la particule i de charge qi est situe en Ri (t) et se dplace ` la vitesse Vi (t) e e a a ` linstant t) :
N N

(r, t) =
i=1

qi (3) r Ri (t) ,

J(r, t) =
i=1

qi Vi (t)(3) r Ri (t) . (1.5)

Lquation de continuit (elle est vrie par (1.5)) : e e e e J +


1. James Clerk Maxwell (1831-1879)

= 0. t

(1.6)

1. FORMULATION COVARIANTE

La force de Lorentz 2 agissant sur la charge q de vitesse V : F =q E+V B . (1.7)

Ltat du syst`me champ + particules charges est dtermin, ` un instant e e e e e a t0 , par la donne des champs E(r, t0 ) et B(r, t0 ) en tout point r et par e les positions Ri (t0 ) et vitesses Vi (t0 ) des particules. Les densits de charge e (r, t0 ) et de courant J(r, t0 ) sont alors donnes par lquation (1.5). Les e e quations (1.2), (1.4) et les quations du mouvement pour les particules soue e mises aux forces (1.7) dterminent lvolution du syst`me au cours du temps. e e e e ee Les quations (1.1) et (1.3) peuvent tre considres comme des contraintes e auxquelles sont soumises les variables E(r, t), B(r, t) et Ri (t) du syst`me. e

1.1.2

Syst`mes dunits e e

Ce cours utilise le syst`me international (S.I.) 3 . Voici les valeurs de e quelques constantes : permittivit lectrique du vide 0 = 1/0 c2 8,854187817 1012 F m1 ; ee permabilit magntique du vide 0 = 4107 N A2 ; e e e vitesse de la lumi`re dans le vide c = 299 792 458 m s1 . e (1.8)

1.1.3

Potentiels

Les proprits suivantes, pour des champs A(r), B(r), F (r) et (r) dans ee tout lespace B = 0 F = 0 A : : B = A F = (1.9)

entra nent que les deux quations homog`nes de Maxwell (1.3) et (1.4) sont e e quivalentes ` lexistence dun potentiel vecteur A(r, t) et dun potentiel scae a
2. Hendrik Antoon Lorentz (1853-1928) 3. Le syst`me dunits de Gauss 4 (cgs) dnit lunit de charge de sorte que la force e e e e de Coulomb 5 soit qq /r 2 . Voici la forme des quations de la section 1.1 dans ce syst`me e e dunits. e E 1 E B c t B 1 B E+ c t = = = = 4 4 J c 0 0 expressions de et J inchanges e quation de continuit inchange e e e V B . F =q E+ c

4. Johann Karl (Carl) Friedrich Gauss (1777-1855) 5. Charles-Augustin de Coulomb (1736-1806)

1.1. RAPPEL DELECTROMAGNETISME laire (r, t) tels que B= A, E = A . t

(1.10)

Les champs E et B restent inchangs dans les remplacements e = , t A A = A + , (1.11)

o` est une fonction arbitraire de r et t (invariance de jauge). La libert u e sur le choix des potentiels permet de leur imposer une contrainte. Nous utiliserons soit la jauge de Lorenz 6 (nomme dapr`s le physicien danois e e Lorenz qui a introduit les potentiels retards en 1867) en imposant e A+ 1 =0 c2 t (condition de Lorenz), (1.12)

soit la jauge de Coulomb en imposant A=0 (condition de Coulomb). (1.13)

On trouve souvent crit jauge de Lorentz dapr`s le physicien hollane e dais Hendrik A. Lorentz ` la place de jauge de Lorenz . On montrera, a section 1.14, que la condition de Lorenz est invariante dans les transformations de Lorentz. Montrons quil est possible dimposer la condition de Coulomb (1.13). Pour cela, tant donns A et , il sut de trouver dans e e e les quations (1.11) tel que A = 0. Ainsi, doit vrier e = A = f (r, t) 1 4 (quation de Poisson 7 ) e (1.14) dont on sait quune solution est (r, t) = f (r , t) 3 d r. |r r | (1.15)

De mme, pour montrer quil est toujours possible dimposer la condition e e de Lorenz (1.12), il sut de trouver dans les quations (1.11) tel que = o` loprateur u e 1 c2 t = A = g(r, t) (1.16)

1 2 (1.17) c2 t2 est le dAlembertien 8 . On verra, section 5.1, que lquation (1.16) admet des e solutions.
6. Ludwig Valentin Lorenz (1829-1891) 7. Simon Denis Poisson (1781-1840) e 8. Jean le Rond dAlembert (1717-1783)

10

1. FORMULATION COVARIANTE

En reportant les quations (1.10) dans les deux autres quations de Maxe e tre le well (1.1) et (1.2), on obtient, avec 0 0 c2 = 1 et en faisant appara laplacien 9 A par ( A) = ( A) A, (1.18)

A t A+ 1 c2 t

(1.19) (jauge arbitraire). (1.20)

A = 0 J

Pour la jauge de Lorenz, ces quations se simplient en e = 0 c2 A = 0 J (jauge de Lorenz). (1.21) (1.22)

Pour la jauge de Coulomb, les quations (1.19) et (1.20) deviennent e =


0

, 1 c2 t (jauge de Coulomb).

(1.23) (1.24)

A = 0 J

Les quations (1.21) et (1.22) sont des quations aux drives partielles du e e e e 2A 2 , . On peut considrer e deuxi`me ordre qui contiennent les termes e t2 t2 que le champ lectromagntique est dcrit par les potentiels A et de e e e jauge de Lorenz dont lvolution au cours du temps est dtermine, par e e e a e a les quations du mouvement (1.21) et (1.22), ` partir de la donne, ` e un instant t0 , des potentiels A(r, t0 ), (r, t0 ) et de leurs drives temporelles e e A(r, t0 ) (r, t0 ) , en tout point r. t t 2 Dans le cas de la jauge de Coulomb, la drive e e nappara pas dans t t2 e e e e lquation (1.23). On peut alors considrer que ltat du champ est dtermin e A(r, t0 ) par la donne des conditions initiales A(r, t0 ) et e en tout point r. t e e e e Lquation (1.23) dtermine alors et lquation (1.24) dtermine lvolution e au cours du temps de A ` partir des conditions initiales. a
9. Pierre-Simon Marquis de Laplace (1749-1827)

1.2. PRINCIPE DE RELATIVITE

11

1.2

Principe de relativit e

Le principe de relativit pose lexistence dune classe particuli`re dobe e servateurs, dit inertiels et dclare que e si deux observateurs inertiels eectuent chacun une exprience e dans les mmes conditions, les expriences donneront les mmes (1.25) e e e rsultats. e Le premier observateur reprsente les vnements, idaliss comme ponce e e e e tuels, par des coordonnes despace-temps x1 , x2 , x3 , t (formant le rfrentiel e ee dinertie K) et le deuxi`me par x 1 , x 2 , x 3 , t (rfrentiel dinertie K ). Les e ee lois physiques sexpriment en coordonnes de faon identique dans K et K . e c Lespace-temps sera not E et les vnements A, B, M, . . . , lorsquon ne e e e dsire pas prciser le rfrentiel. e e ee En mcanique newtonienne 10 pour les rfrentiels dinertie 11 (on dit aussi e ee 13 ), le mouvement dun point matriel est dcrit par la loi (cf. galilens e e e gures. 1.1 et 1.2) m = F (1.26) ou, en composantes, m d2 xi d2 x i = F i dans K et m 2 = F i dans K . dt2 dt (1.27)

Le rfrentiel dinertie K est en mouvement uniforme de translation ` la ee a vitesse V par rapport au rfrentiel dinertie K (cf. gure 1.1). La corresponee dance entre les deux syst`mes de rfrence est une transformation galilenne e ee e de la forme x i = R i j x j V i t + ai , t = t + t 0 . (1.28) Les V i sont les composantes dans K de V et Ri j est une matrice orthogonale 3 3 (on note i, j, . . . , des indices prenant les valeurs 1, 2 et 3). Lquation (1.28) est crite avec la convention dEinstein 14 (sommation sur e e lindice rpt j qui appara en indice une fois en haut et une fois en bas). e ee t Pour le cas particulier de la transformation spciale de la gure 1.2, les e origines O et O sont confondues ` t = t = 0 (transformation galilenne a e homog`ne), R est lidentit (axes de K et K parall`les) et V = V E1 est e e e
10. Sir Isaac Newton (1643-1727) 11. Les rfrentiels dinertie se trouvent tre les rfrentiels o` les toiles lointaines ee e ee u e apparaissent xes, ce qui conduit ` postuler que les proprits dinertie rsultent de la a ee e rpartition des masses dans lunivers (principe de Mach 12 ). e 12. Ernst Mach (1838-1916) 13. Galileo Galilei, dit Galile (1564-1642) e 14. Albert Einstein (1879-1955)

12

1. FORMULATION COVARIANTE

Fig. 1.1 Transformation


galilenne entre K et K . e

suivant laxe x1 . La transformation (1.28) est 1 = x1 V t x 2 x = x2 3 = x3 x t = t. x2 x1 x2 E2 K m O E3 x3 x2


Fig. 1.1.

(1.29)

x2 K O x 1 , x1

Fig. 1.2 Transformation


galilenne spciale. e e

F x3 K

E2 O E3 x3

K E1

E1 x1 O

x3
Fig. 1.2.

1.2.1

Invariants, criture covariante e

Lacclration , la force F et la masse m qui ne dpendent pas du ee e rfrentiel (nous nous limitons aux syst`mes dinertie) sont des invariants ee e (de Galile). Par contre les composantes de et F dpendent du rfrentiel e e ee et se transforment selon (drive seconde de lquation (1.28)) : e e e d2 x i d2 xj = Ri j 2 , dt2 dt Les deux membres de lquation m e F i = Ri j F j . (1.30)

d2 xi = F i se transforment de la mme e dt2 faon dans le passage de K ` K . Cest la manifestation du principe de c a relativit (de Galile). On dit que lquation est crite sous forme covariante. e e e e Des dicults apparaissent pour appliquer le principe de relativit de e e Galile ` llectromagntisme. La loi de composition des vitesses U = U V , e a e e reliant les vitesses U (dans K) et U (dans K ) dune particule, ne sapplique pas aux ondes lectromagntiques dans le vide : dans tous les rfrentiels e e ee dinertie on mesure la mme vitesse c 2,998 108 m s1 . e Einstein dans son article [4], Sur llectrodynamique des corps en moue vement (1905), cite la dicult suivante. Il consid`re linteraction dun aie e mant et dun conducteur. Le courant dans le conducteur ne dpend que e du mouvement relatif de laimant et du conducteur. Mais la description du phnom`ne di`re dans les deux cas o` lun ou lautre des corps est immoe e e u bile. Pour un observateur qui voit laimant en mouvement et le conducteur au repos, il appara au voisinage de laimant un champ lectrique (loi de Fat e raday quation (1.4)) qui engendre un courant dans le conducteur (F = q E). e

1.3. TRANSFORMATIONS DE LORENTZ

13

Pour un deuxi`me observateur qui voit laimant au repos et le conducteur e en mouvement, il ny a aucun champ lectrique. Dans le conducteur, cepene dant, comme la charge q a une vitesse V elle subit la force (F = q V B) qui engendre les mmes courants que dans le premier cas. Llectromagntisme, e e e faisait remarquer Einstein, appliqu aux corps en mouvement, conduit ` des e a asymtries qui ne semblent pas inhrentes au phnom`ne. e e e e La rsolution de ces dicults a t obtenue par Einstein dans ce mme e e ee e article (cest le fameux article sur la relativit). e Il part des deux postulats : Le principe de relativit (1.25) sapplique. e La vitesse de la lumi`re est la mme pour tous les observateurs inertiels e e (cest un invariant (de Lorentz)). Les postulats dEinstein exigent labandon de la notion de temps absolu et conduisent ` la thorie de la relativit (restreinte). Dans ce cadre, le prina e e cipe (1.25) sappelle principe de relativit dEinstein. Tous les rfrentiels e ee K, K , . . . , utiliss par la suite seront dinertie. Ils se dplacent tous ` une e e a vitesse constante strictement infrieure ` c par rapport ` lun quelconque e a a dentre-eux.

1.3

Transformations de Lorentz

La correspondance entre les deux syst`mes dinertie K et K (gure 1.1) e est donne par une transformation de Lorentz inhomog`ne (ou transformae e tion de Poincar 15 ) e x = x + a . (1.31) On a pos x0 = ct, x 0 = ct . On note , , . . . , des indices prenant les e valeurs 0, 1, 2 et 3. Lensemble des transformations (1.31) forme le groupe de symtrie de Lorentz de la relativit restreinte. e e Lvnement O (de coordonnes x = (x0 , x1 , x2 , x3 ) = (0, 0, 0, 0) dans e e e K) a pour coordonnes a = (a0 , a1 , a2 , a3 ) dans K ). Lorsque a = 0, e les vnements O et O (de coordonnes x = (0, 0, 0, 0) dans K ) sont e e e confondus (transformation de Lorentz homog`ne). e Dans des quations comme (1.31) on peut changer les noms des indices e et crire par exemple x = x + a = x + a . e Nous nutiliserons que des transformations telles quil existe une suite de rfrentiels K(s) pour s [0, 1] qui permet de passer contin ment du ee u rfrentiel K = K(0) au rfrentiel K = K(1). Exemples de transformations ee ee ne vriant pas cette condition : linversion spatiale, linversion du sens du e temps.
15. Jules Henri Poincar (1854-1912) e

14

1. FORMULATION COVARIANTE

Dans la transformation de Lorentz spciale (cf. gure 1.3) les axes de K e et K sont parall`les et K se dplace parall`lement ` laxe x1 avec la vitesse e e e a V par rapport ` K. Les vnements O et O sont confondus. On pose a e e = V c et = 1 1 2 . (1.32)

Fig. 1.3 Transformation de


Lorentz spciale. e

x2 e2 O e3 x3 K e1

x2 K O x 1 , x1

x3

La transformation de Lorentz spciale scrit e e 0 x 1 x x2 3 x = = = = (x0 x1 ) (x1 x0 ) x2 x3 x0 x1 x2 x3

(1.33)

ou

0 0 x0 x 1 0 0 x2 = 0 0 1 0 0 0 0 1 x3

(1.34)

sous forme matricielle. Dans la limite V c, 1 et 1, on retrouve la transformation galilenne (1.29). e En gnral, la matrice = ( ) dpend de 6 param`tres (la vitesse V e e e e et 3 param`tres pour les orientations relatives des axes). Lorsque les axes e de K et K sont parall`les, la matrice ne dpend que de V et son inverse e e 1 = (V ). Par exemple linverse correspond ` la vitesse oppose : [(V )] a e e des quations (1.33) et (1.34) scrit e 0 x 1 x x2 3 x = = = = (x 0 + x 1 ) (x 1 + x 0 ) x2 x3

(1.35)

1.4. QUADRIVECTEURS et

15

x0 0 0 x1 0 0 x2 = 0 0 1 0 0 0 0 1 x3 1

x0 x 1 x 2 . x3

(1.36)

On peut obtenir la transformation gnrale (1.31) en composant une e e rotation-translation spatiale (qui laisse le temps inchang), une transfore mation spciale et une deuxi`me rotation-translation spatiale : utiliser deux e e rfrentiels K1 (immobile par rapport ` K) et K1 (immobile par rapport ` ee a a K ), daxes parall`les et tels que V soit parall`le ` laxe 1 de coordonnes. e e a e

1.4

Quadrivecteurs

Considrons le dplacement AB de lvnement A (de coordonnes x e e e e e dans K et x dans K ) ` lvnement B (de coordonnes y dans K et y a e e e dans K ). Ses composantes x = y x dans K et x = y x dans K sont lies dapr`s lquation (1.31) par e e e x = x . (1.37)

On peut noter que si K est un troisi`me rfrentiel dinertie, la matrice e ee (K K ), intervenant dans la transformation (1.37), et les matrices analogues (K K ) et (K K ) vrient e (K K ) = (K K ) (K K ) . (1.38)

En eet, les relations x = (K K ) x = (K K ) (K K ) x et x = (K K ) x donnent [(K K ) (K K ) (K K ) ]x = 0 qui doit tre vrai pour tout x . e Plusieurs grandeurs physiques se transforment entre rfrentiels dinertie ee du dplacement de la mme faon que les composantes x e c e AB. Cela am`ne e a e ` dnir un quadrivecteur (autres noms : 4-vecteur, vecteur contravariant ou simplement vecteur) comme tant un objet a invariant (indpendant du e e rfrentiel) et gal, lunit de mesure mise ` part, ` un dplacement. Le quaee e e a a e drivecteur a a donc 4 composantes (a0 , a1 , a2 , a3 ) dans le rfrentiel dinertie ee 0 , a1 , a2 , a3 ) ou a = (a0 , A) (dans K). Dans un autre K. Nous crirons a = (a e rfrentiel dinertie K , ses composantes (a 0 , a 1 , a 2 , a 3 ) sont ee a = a o` est la matrice intervenant dans la transformation (1.31). u (1.39)

16

1. FORMULATION COVARIANTE

Lensemble V des quadrivecteurs est muni dune structure despace vectoriel de dimension 4. On peut utiliser pour base de cet espace vectoriel les 4 quadrivecteurs (ttrade) dnis par leurs composantes dans K e e e0 e1 e2 e3 = = = = (1, 0, 0, 0) (0, 1, 0, 0) (0, 0, 1, 0) (0, 0, 0, 1).

(1.40)

Autrement crit : (e ) = , en notant (e ) les composantes dans K de e e et


= = =

1 si = 0 si =

(delta de Kronecker 16 ).

(1.41)

Le quadrivecteur a scrit alors e a = a e = a e , (1.42)

x0 e0 e0

x0 x1 e1 e1 x1

o` la ttrade e est dnie par rapport au rfrentiel K . Dterminons la u e e ee e e transformation des vecteurs de base. Portons lquation (1.39) dans lquae e tion (1.42) : a e = a e ; renommons les indices muets du deuxi`me membre : a e = a e soit a (e e ) = 0 ; comme les a sont arbitraires on obtient e = e et, en inversant, (cf. gure 1.4) e = 1
e .

(1.43)

O
Fig. 1.4 Un exemple de
lquation (1.43). e

Pour la transformation de la gure 1.3, avec = 3/5, = 5/4, lquae 1 tant donne par lquation (1.36), tion (1.43) donne, la matrice inverse e e e e0 = e0 (1 )0 0 + e1 (1 )1 0 = e0 + e1 = e1 =
5 4 e0 3 4 e0 3 + 4 e1 5 + 4 e1 . (1.44)

e1 = e0 (1 )0 1 + e1 (1 )1 1 = e0 +

1.5
est

Lintervalle

Lintervalle du dplacement AB = x0 , x1 , x2 , x3 = (ct, r) e (1.45)

(s)2 = (x0 )2 (x1 )2 (x2 )2 (x3 )2 = (ct)2 (r)2 .

Lintervalle ne dpend pas du rfrentiel : cest une proprit des transfore ee ee mations (1.37). On peut le vrier ` laide des quations (1.34) pour les e a e
16. Leopold Kronecker (1823-1891)

1.6. QUADRIVITESSE. QUADRIIMPULSION

17

transformations spciales. Dans le cas dune rotation-translation spatiale la e proprit rsulte des invariances spares de t et r. ee e e e On distingue trois cas (cf. gure 1.5) : (s)2 = 0 (intervalle nul) : les vnements A et B peuvent tre relis e e e e par un rayon lumineux. Les vnements B sont sur le cne de lumi`re e e o e (indpendant du rfrentiel) de lvnement A. Exemple : dplacement e ee e e e AB0 . (s)2 > 0 (intervalle de genre temps) : les vnements A et B peuvent e e 0 tre occups par un mme point matriel. Les vnements B sont e e e e e e B+ x futur a ` lintrieur (futur ou pass) du cne de lumi`re de lvnement A. e e o e e e Exemple : dplacement AB+ . e B0 D B (s)2 < 0 (intervalle de genre espace) : Les vnements B sont ` e e a x1 lextrieur du cne de lumi`re de lvnement A. Exemple : dplacee o e e e e 2 A ailleurs x e ment AB . C pass La gure 1.5 reprsente lespace-temps avec une dimension spatiale supe prime. Le cne de lumi`re de lvnement A est une hypersurface qui spare e o e e e e lespace-temps en trois rgions futur, pass et ailleurs. La ligne dunivers dun Fig. 1.5 Intervalles de e e genre temps, nul et espace. point matriel de masse = 0 coupe le cne de lumi`re de A en exactement e o e deux vnements C, dans le pass de A, et D, dans le futur de A (si la ligne e e e dunivers passe par A ces deux vnements se confondent en A). e e

1.6

Quadrivitesse. Quadriimpulsion

Considrons une particule de masse m = 0 en mouvement acclr. Soit e ee e K un rfrentiel dinertie, comobile ` un instant t avec la particule, cestee a a `-dire en mouvement par rapport ` K avec la vitesse V = dr/dt de la a particule. Pendant le temps dt les coordonnes x i de la particule sont xes e dans K ` des inniments petits dordre 2 en dt pr`s. Lintervalle entre les a e deux vnements A (particule ` linstant t) et B (particule ` linstant t + dt) e e a a est (ds)2 = (cdt )2 = (dx0 )2 (dx1 )2 (dx2 )2 (dx3 )2 = (cdt)2 dr 2 = 1

V2 c2

(cdt)2 . (1.46)

La variation de temps propre de A ` B est d = dt = ds/c = dt/. Posons a dA = AB. La quadrivitesse de la particule ` linstant t est le quadrivecteur a dA u= ee = ce0 : ses composantes sont (c, 0, 0, 0) dans un rfrentiel comobile d et dx dt dt dr = c, V = c , dans K. (1.47) d d d dt

18

1. FORMULATION COVARIANTE La quadriimpulsion de la particule est p = mu de composantes W ,P c . (1.48)

Lnergie W et la quantit de mouvement (ou impulsion) P dpendent du e e e rfrentiel mais pas la quadriimpulsion p. La quadriimpulsion dune partiee cule peut varier au cours du temps. Toutefois, si la particule est isole, il e y a conservation de la quadriimpulsion et la ligne dunivers est une droite. Pour un syst`me quelconque isol il y a conservation de lnergie et de la e e e quantit de mouvement : on peut dnir la quadriimpulsion du syst`me qui e e e est invariante et conserve. Mais comment? Pour deux particules a et b en e interaction, dont les quadriimpulsions pa (t) et pb (t) dpendent du temps, e est-ce la somme pa (t) + pb (t) qui change de forme dans un autre rfrentiel ee (elle devient pa (ta ) + pb (tb ), o` les temps des deux particules peuvent tre u e dirents ta = tb )? On rpondra ` la section 3.2. e e a Pour une particule de masse nulle (photon), on ne peut plus dnir la e quadrivitesse (ds = 0, il nexiste pas de rfrentiel comobile) ; on peut dnir ee e la quadriimpulsion dun photon de frquence dans K par p = (P, P ) o` e u h P = . c

1.7

Quadricourant

(x1 , x2 , x3 ),

Considrons, dans K, ` linstant t, un petit volume , centr en r = e a e contenant des particules charges de charge totale q qui se e dplacent toutes avec la mme vitesse V . On dnit la densit de charge en e e e e M (M est lvnement : temps t, position r dans K) e e q (M) = (r, t) = (1.49)

et la densit de courant J(r, t) = V (la charge qui traverse llment de e ee surface x2 x3 pendant le temps t est J 1 x2 x3 t). La charge q de ces particules est un invariant, mais comme le volume quelles occupent et leur vitesse dpendent du rfrentiel, et J ne sont pas invariants. e ee Soit K un rfrentiel comobile avec les particules. Le volume = ee x1 x2 x3 , immobile dans K , est en mouvement avec la vitesse V dans K. Il y subit la contraction de Lorentz-FitzGerald 17 (cf. gure 1.6) = (1.50)

o` = x 1 x 2 x 3 est le volume au repos. Dans le rfrentiel comobile u ee K , la densit de charge en M est e q 0 (M) = . (1.51)
17. George Francis FitzGerald (1851-1901)

1.7. QUADRICOURANT Dapr`s les quations (1.49), (1.50) et (1.51), il vient e e (M) = 0 (M). x2 x 3 x 1 x 2 O x3 rfrentiel K ee x2 x3

19

(1.52)
Fig. 1.6 Contraction de
Lorentz-FitzGerald.

x1 x2 V

O x3 rfrentiel K ee

x1

x1

Dsignons par u la quadrivitesse dune des particules en M. Le quadrie courant est (M) = 0 u. (1.53) Le nom est justi par le fait que ses composantes dans K sont e (j ) = 0 c, 0 V soit (j ) = c, J (quadricourant). (1.54) x2 O x1
lignes dunivers des particules

x0 u

Le quadricourant et la quadrivitesse en M sont tangents aux lignes dunivers lorsque les particules charges se dplacent toutes avec la mme vitesse (cf. e e e Fig. 1.7 Quadricourant gure 1.7). 0 = ct et quadrivitesse. Pour une charge ponctuelle q en mouvement, de coordonnes e (3) r (t) et le quadricourant (t), la densit de charge est = q e j (r, t) = q(3) r (t) d . dt (1.55)

et

Le quadricourant est un champ de quadrivecteurs. On obtient les composantes dans K dun champ de quadrivecteurs a(M) ` partir des composantes a dans K par a (x 0 , x 1 , x 2 , x 3 ) = a (x0 , x1 , x2 , x3 ) (1.56)

et en exprimant x0 , x1 , x2 , x3 en fonction de x 0 , x 1 , x 2 , x 3 par linverse de lquation (1.31). e Lorsque toutes les charges ne se dplacent pas de concert, le quadricoue rant est dni par additivit, comme dans lquation (1.5). Le formalisme e e e quadridimensionnel apporte des simplications : et J qui dpendent du e rfrentiel sont unis dans un invariant ; de mme lnergie E et la quanee e e e tit de mouvement P sont unies dans la quadriimpulsion. e e

20

1. FORMULATION COVARIANTE

1.8

Le produit scalaire

Dapr`s linvariance de lintervalle (1.45) et la dnition dun quadrivece e teur, le carr e (a)2 = (a0 )2 (a1 )2 (a2 )2 (a3 )2 (1.57) dun quadrivecteur a est un invariant. Exemples : (u)2 = c2 ; (p)2 = (mc)2 donne W 2 c2 (P )2 = m2 c4 ; pour un photon (p)2 = 0 (E = cP ). Le produit scalaire de deux quadrivecteurs a et b est galement un invae riant 18 : a b = a0 b0 a1 b1 a2 b2 a3 b3 . (1.58) Exemple : les produits scalaires des vecteurs de la ttrade (1.40) sont e e = e g o` les 16 valeurs g forment la matrice G u 1 0 0 0 0 1 0 0 (g ) = G = 0 0 1 0 0 0 0 1

(tenseur mtrique). e

(1.59)

La base est orthonorme (vecteurs mutuellement orthogonaux et de carrs e e , dni par la mme matrice G 1). Le symbole g e e 1 0 0 0 0 1 0 0 (g ) = G = 0 0 1 0 , 0 0 0 1 g g = .

(1.60)

joue le rle de linverse de g : G1 = G ou o (1.61)

Lespace-temps E muni de la mtrique (1.59) est appel espace de Mine e kowski 19 .

1.9

Tenseurs

Dans cette section nous dnissons les tenseurs de lespace vectoriel V e de dimension 4. Ces dnitions sappliquent en fait ` tout espace vectoriel, e a mme non muni dun produit scalaire. Les dnitions sont indpendantes de e e e la base de V, ce qui assurera linvariance de Lorentz des tenseurs. Toutefois, en pratique, on utilise les composantes des tenseurs qui dpendent du e rfrentiel. ee
18. Cette invariance rsulte de celle du carr par la relation a b = [(a+ b)2 (a)2 (b)2 ]/2. e e 19. Hermann Minkowski (1864-1909)

1.9. TENSEURS

21

1.9.1

Vecteurs covariants ou 1-formes

Lespace dual dun espace vectoriel intervient souvent en physique. En mcanique quantique, les vecteurs sont les kets et les vecteurs de lespace e dual les bras. Une 1-forme f (dautres noms usuels sont forme linaire, coe vecteur, bra, et, en relativit, vecteur covariant) est une fonction complexe e f (a) linaire dun (quadri)vecteur a. Cette dnition est indpendante du e e e rfrentiel : une 1-forme est un invariant. Lensemble des 1-formes constiee tuent, avec les oprations daddition et de multiplication par un scalaire des e fonctions, lespace vectoriel V appel dual de V. Cette structure est mise e en vidence par la notation bra-ket f (a) = f | a qui est bilinaire en f et e e a: f + g | a = f |a + g|a (1.62) = f |a + f b f a + b pour f , g V , a, b V et , nombres complexes (di`re de la mcanique e e quantique o` le bra-ket est sesquilinaire). u e Les quatre 1-formes e dnies par e e | e = agissent sur a = a e par Elles forment une base de une 1-forme f V , posant f = f | e , V e | a = a . (1.63) (1.64)

(base duale de la ttrade e ). En eet, pour e

que nous appellerons composantes de f dans K, (1.65)

on a f | e = f e | e et f | a = f e | a a V. Cela montre que les quatre 1-formes indpendantes e forment une base puisque toute f sexe prime comme f = f e . On peut comparer les expressions a = a e = e e | a et f = f e = f | e e (1.66)

avec les expressions de la mcanique quantique e |a = an |n = |n n | a et f| = fn n| =


n n

f |n n| (1.67)

o` |n est une base dtats. u e e , f | a sexprime par la contraction de f et a : Si a = a f | a = f a = f0 a0 + f1 a1 + f2 a2 + f3 a3 . (1.68)

Ne pas confondre la contraction (tous les signes sont +) avec lexpression (1.58).

22

1. FORMULATION COVARIANTE

Rappelons les formules (1.39) et (1.43) de changement de base 20 pour les composantes des vecteurs et les ttrades de V : e a = a , e =
1 e .

(1.69) (1.70)

La formule de changement de base pour les composantes des 1-formes sobtient en portant lquation (1.70) dans la dnition des composantes (1.65), e e crite dans K , f = f e : e f = 1
f .

(1.71)

e e La transformation des ttrades de V peut sobtenir 21 en crivant lquae tion (1.69) sous la forme e | a = e | a : e = e . (1.72)

Les noms covariant et contravariant sont donns par comparaison aux fore mules de changement de base des e . Le vecteur covariant f se transforme comme e , et le vecteur contravariant a se transforme de faon c contraire). Les indices en haut (en bas) sont qualis de mme de contrae e variants (covariants). La notation bra-ket met en vidence que le dual de V (bidual de V) e redonne V. Autrement dit, une fonction complexe a(c) linaire du covece teur c V peut scrire comme un bra-ket a(c) = c | a et sidentie au e quadrivecteur a = a(e ) e .

1.9.2

Tenseurs covariants et N-formes

0 Un tenseur T de type N est une fonction complexe T(a1 , a2 , . . . , aN ) multilinaire de N quadrivecteurs. Cette dnition est indpendante du e e e rfrentiel : un tenseur est un invariant. Les tenseurs de type 0 sont les ee 0 scalaires (c, m, . . . ). Les tenseurs de type 0 sont les 1-formes. 1 En pratique, on utilise les composantes du tenseur dans un rfrentiel K. ee Ce sont les 4N nombres T1 2 ...N = T(e1 , e2 , . . . , eN ). Les composantes dans le rfrentiel K sont donnes par T1 2 ...N = T(e1 , e2 , . . . , eN ). En ee e y portant lquation (1.70), ek = 1 k k ek , et en utilisant la multie linarit de T on obtient la loi de transformation des composantes e e

T1 2 ...N = 1

T1 2 ...N .

(1.73)

20. Nous nous limitons aux changements de bases entre rfrentiels dinertie, mais dans ee cette section, tout reste valable pour des changements de bases quelconques ( tant alors e nimporte quelle matrice 4 4 inversible). e e 21. On peut aussi partir de f = f e = f e et procder comme dans la dmonstration de lquation (1.43). e

1.9. TENSEURS

23

Pour un tenseur T de type 0 et deux vecteurs u = u e et v = v e , 2 T(u, v) sexprime par la double contraction : T(u, v) = T(u e , v e ) = T(e , e )u v = T u v . (1.74)

Si T(u, v) = T(v, u) (resp. T(u, v) = T(v, u)) pour tout u, v V alors T = T (resp. T = T ) et le tenseur T est dit symtrique (resp. e 0 antisymtrique). Une N -forme est un tenseur de type N compl`tement e e antisymtrique (T = T = T = . . . ). e

1.9.3

Produit tensoriel

Le produit tensoriel despaces vectoriels intervient en mcanique quane tique. Ainsi, lespace S des tats de deux spins s1 et s2 est le produit tensoriel e S1 S1 des espaces S1 et S2 de chaque spin. Une base de S est donne par e les produits tensoriels | s1 m1 s2 m2 = | s1 m1 |s2 m2 des vecteurs de base de S1 et S2 . Le produit tensoriel de deux 1-formes p et q est le tenseur T = p q de type 0 dni par T(u, v) = p |u q |v (o` u, v V) soit, en composantes, e u 2 T = p q . Le produit tensoriel nest pas commutatif en gnral (p q = e e q p). Lespace des tenseurs de type 0 est le produit tensoriel V V . 2 Une base de cet espace est donne par les 16 produits tensoriels e e et les e composantes T dun tenseur T sont en fait les composantes dans cette base tensorielle : T = T e e puisque T e e (u, v) = T e |u e |v = T u v . Le produit tensoriel de N 1-formes donne de mme un tenseur de type e 0 N . 0 Lespace des tenseurs de type N est le produit tensoriel V V .
N facteurs

1.9.4

Tenseurs contravariants

Un tenseur T de type M est une fonction complexe T(f 1 , f 2 , . . . , f M ) 0 multilinaire de M covecteurs. Les composantes du tenseur dans K sont les e 4M nombres T 1 2 ...M = T(e1 , e2 , . . . , eM ). Les composantes dans le rfrentiel K sont donnes par ee e T
1 2 ...M

= T(e 1 , e 2 , . . . , e M ).

En y portant lquation (1.72), e k = k k ek , on obtient la loi de transe formation des composantes T


1 2 ...M

= 1 1 2 2 M M T 1 2 ...M .

(1.75)

24

1. FORMULATION COVARIANTE

Dapr`s la remarque de la n de la section 1.9.1, les tenseurs de type e e sont les quadrivecteurs. Dans ce cas, lquation (1.75) redonne lquae M tion (1.69). Les tenseurs de type 0 sont les lments du produit tensoriel ee V V.
1 0

M facteurs

1.9.5

Tenseurs mixtes

On gnralise les dnitions des sections 1.9.2 et 1.9.4. Un tenseur T e e e e de type M est une fonction complexe multilinaire de N vecteurs et M N (M + N )! covecteurs. Suivant lordre des vecteurs et covecteurs, il y a M !N ! sortes de tenseurs de type M . Ainsi il y a trois sortes de tenseurs de N type 1 : R f , a, b , S a, f , b , et T a, b, f (f V , a, b V). Les 64 2 composantes dans K de chacun de ces tenseurs sont R = R (e , e , e ), S = S e , e , e et T = T (e , e , e ). La loi de transformation des composantes gnralise les lois (1.73) et (1.75). Ainsi, pour le tenseur de e e composantes R de type 1 , cest 3 R = 1

R .

(1.76)

1.9.6

Alg`bre tensorielle e

La somme directe des espaces vectoriels C V V (V V) (V V ) (V V) , o` C est lensemble des nombres complexes, munie du produit tensoriel u forme lalg`bre tensorielle de V. Lexpression mathmatique (1 + a) a (o` e e u a V) na pas de sens physique : on utilisera seulement des expressions comportant des tenseurs de mme type. e

1.9.7

Calcul tensoriel : r`gles pratiques (14) e

En pratique, on utilise les composantes. Pour le changement de rfee rentiel, on crit la loi (1.39), (1.71), (1.73), (1.75) ou (1.76), et, dans le cas e dun champ de tenseur, on proc`de comme dans lquation (1.56). Voici des e e oprations sur les composantes, qui partant de tenseurs donnent dautres e tenseurs. R`gle 1. Addition, multiplication par un scalaire e Pour des tenseurs de mmes indices (T = A + B ). e R`gle 2. Multiplication e Cest le produit tensoriel (T = F A ). R`gle 3. Permutation des indices e

1.10. PROPRIETES METRIQUES

25

Exemple : T = R . En gnral, on obtient un tenseur dirent (T = e e e R pour une 2-forme). R`gle 4. Contraction e On a vu que la contraction f a donnait un scalaire (quation (1.68)). e v (quation (1.74)) forme galement un scaLa double contraction T u e e laire. Plus gnralement, on appelle contraction une sommation de la forme e e M des composantes dun tenseur de type N . La contraction prend 1 la mme forme dans tous les rfrentiels et donne un tenseur de type M1 . e ee N Vrions le pour T = R . Dapr`s lquation (1.76) e e e R = 1 soit T = 1 1 T qui montre que les T se transforment comme les composantes dun tenseur de type 0 . 2

R = 1

1.9.8

Applications linaires e

Lexpression compl`tement contracte e e s = T (f , u) = T f u (1.77)

correspond ` la dnition du tenseur T de type 1 comme fonction coma e 1 plexe linaire du covecteur f = f e V et du vecteur u = u e V. e Considrons maintenant lexpression e v = T u (1.78)

o` on laisse lindice libre. Elle dnit une application linaire v = T u u e e associant au vecteur u = u e V le vecteur v = v e V. Ainsi, on peut considrer un tenseur de type 1 comme une application linaire de e e 1 V V. La matrice de cette application linaire dans la base e est (T ). e La loi de transformation des composantes du tenseur (T ) de K ` K , a T

= 1

T ,

(1.79)

nest rien dautre que la loi de transformation de la base e ` la base e de a cette matrice : T = T 1 . (1.80)

1.10
1.10.1

Proprits mtriques e e e
Le tenseur mtrique e

Le produit scalaire g(a, b) = a b est une fonction relle invariante bie linaire des deux quadrivecteurs a et b. Cest donc un tenseur de type 0 et e 2

26

1. FORMULATION COVARIANTE

ses composantes g sont donnes par le tableau (1.59). Le tenseur mtrique e e est symtrique : g(a, b) = g(b, a) ou g = g . Le produit scalaire scrit e e comme une contraction : a b = g a b . (1.81) Les composantes du tenseur mtrique sont les mmes dans K et K . Cette e e proprit scrit en composantes, dapr`s lquation (1.73) ee e e e g = g . (1.82)

Exercice 1.1 (Le groupe de Lorentz). On consid`re les matrices relles e e 4 4 qui laissent invariant le produit scalaire (1.81). Ce sont les matrices relles qui vrient la relation (1.82). On peut comparer cette relation e e a ` la relation jl = Ri j Rk l ik qui caractrise les matrices orthogonales Ri j e (groupe O(3)). e 1) Rcrire lquation (1.82) sous forme matricielle. En dduire det = e e 1. 2) Montrer que les matrices relles qui vrient la relation (1.82) e e forment un groupe (groupe de Lorentz ou groupe O(3, 1)), la loi de groupe tant le produit des matrices. e 3) On dsigne par les 4 quadrivecteurs colonnes de la matrice e (de composantes = ). Montrer quils forment une ttrade orthoe norme. e 4) Montrer que linverse de O(3, 1) est donn par e 1

= g g .

(1.83)

5) Obtenir linverse (1.36) de la matrice de Lorentz (1.34) en utilisant cette quation. e 6) Montrer que |0 0 | 1 7) Les matrices de Lorentz se rpartissent en 4 classes (nappes) suivant e la valeur de det et le signe de 0 0 (cf. table A.1). a) Montrer que L L (sous-ensemble des matrices de Lorentz telles + + que det = 1) est un groupe (groupe SO(3, 1)). b) Montrer les matrices de Lorentz telles que 0 0 1 forment un groupe (groupe de Lorentz orthochrone L L ). + c) Montrer que L est un groupe (groupe de Lorentz restreint). + d) Lensemble L L forme-t-il un groupe? +

1.10.2

Correspondance entre quadrivecteurs et 1-formes

Le rle fondamental du produit scalaire est dintroduire une correso pondance entre quadrivecteurs et 1-formes (en mcanique quantique, au e ket | correspond le bra |). Soit v = v e V un quadrivecteur de

1.11. TENSEUR DE LEVI-CIVITA

27

composantes v . La fonction qui ` a V associe v a est linaire en a ; a e elle dnit la 1-forme v : v | a = v a. Calculons les composantes de v : e v = v | e = v e = v e e = v g . Les composantes v sont donc v0 = v 0 , v1 = v 1 , v2 = v 2 , v3 = v 3 . (1.84) La transformation inverse scrit e ou v = g v . (1.85) v = g v

Lorsque on eectue les transformations (1.84) ou (1.85) qui identient quadrivecteurs et 1-formes on dit quon abaisse ou monte les indices. On peut, c avec ces transformations crire le produit scalaire (1.81) de plusieurs faons : e a b = g a b = a b = a b = g a b . (1.86)

1.10.3

Calcul tensoriel : r`gles pratiques (5) e

R`gle 5. Monter et abaisser les indices e Les transformations (1.84) et (1.85) permettent didentier des tenseurs de types M avec mme M + N . Ainsi le tenseur F est identi aux e e N tenseurs F = g F , F = g F et F = g g F . On sait que ces expressions donnent bien des tenseurs (dapr`s les r`gles 2 et 4 de la e e section 1.9.7). On peut changer la hauteur des indices dune contraction, comme dans lquation (1.86) ou dans T = T . e Exercice 1.2. Quels sont les tenseurs identis au tenseur mtrique g ? e e

1.11

Tenseur de Levi-Civita

Considrons la fonction (a0 , a1 , a2 , a3 ) = des 4 quadrivecteurs a qui e donne loppos du volume algbrique du paralllpip`de construit sur les e e ee e 4 quadrivecteurs. Le volume , qui peut tre calcul par = det ((a ) ), est e e une fonction multilinaire, compl`tement antisymtrique et invariante dans e e e les transformations de Lorentz (1.31). La fonction (a0 , a1 , a2 , a3 ) dnit e donc une 4-forme appele tenseur de Levi-Civita 22 . Nous utiliserons aussi e e le tenseur associ de type 4 ; ses composantes ont les mmes valeurs e 0 dans tous les rfrentiels : ee si est une permutation paire de 0123 ; +1 1 si est une permutation impaire de 0123 ; = 0 sinon. (1.87)
22. Tullio Levi-Civita (1873-1941)

28

1. FORMULATION COVARIANTE

Noter que la parit dun cycle de longueur n est (1)n1 : e 0123 = 1230 = 1, 0123 = 0231 = 1.

Lorsquon consid`re des transformations de Lorentz tendues, comme line e version spatiale P , linversion du sens du temps T ou linversion spatiotemporelle P T , les composantes (1.87) sont multiplies par det : le tenseur e de Levi-Civita est un pseudo-tenseur. Loprateur de Hodge 23 , transforme une p-forme en une q-forme (p + e q = d = la dimension de lespace) par contraction avec le tenseur de LeviCivita. Par exemple, la 2-forme F donne la 2-forme duale de Hodge 1 F = F . 2 (1.88)

On introduit un facteur de normalisation, 1/p! pour les p-formes, de sorte quon retrouve la p-forme initiale, au signe pr`s, en appliquant une deuxi`me e e fois loprateur . On peut vrier que F = F . Le produit vectoriel e e C = A B dans lespace euclidien 24 de dimension d = 3 appara comme t ij = Ai B j Aj B i : C k = 1 eijk (Ai B j le dual de Hodge de la 2-forme T 2 B i Aj ) = eijk Ai B j o` eijk est le tenseur compl`tement antisymtrique tel u e e que e123 = 1 (la mtrique de lespace euclidien tri-dimensionnel est ij : e monter ou abaisser les indices ne modiant pas les valeurs des composantes des tenseurs, la convention dEinstein est applique pour des indices rpts e e ee a ` la mme hauteur). e

1.12
1.12.1

Gradient
Le quadrigradient

agissant sur les fonctions et Nous considrons les quatre oprateurs e e x champs de tenseurs sur lespace-temps E. Dans un changement de rfrentiel, ee x ces oprateurs se transforment par e = . x x x En drivant lquation (1.31), crite pour la transformation inverse, on e e e x a = (1 ) . La loi de transformation est donc = (1 ) x x x qui est la loi de transformation (1.71) des indices covariants. Cela conduit ` dnir loprateur (gradient ou quadrigradient) a e e = = x , , , 0 x1 x2 x3 x = , ct . (1.89)

23. William Vallance Douglas Hodge (1903-1975) 24. Euclide dAlexandrie (vers 300 av. J.-C.)

1.12. GRADIENT Encadrons la loi de transformation dans un changement de rfrentiel : ee = (1 ) .

29

(1.90)

Loprateur appliqu ` un tenseur de type M donne un tenseur de e e a N M type N +1 . Ainsi, appliqu au quadricourant j , on obtient j , qui est un e tenseur de type 1 . La quadridivergence de j , cest-`-dire la contraction a 1 j = + J de ce tenseur, permet dcrire lquation de continuit (1.6) e e e t sous la forme covariante : j = 0. (1.91) Laction de sur la coordonne x de K (ici x ne dsigne pas un quadrie e vecteur ; pour une valeur de donne, x ou x (M) est le champ scalaire e qui associe ` M E la coordonne x du point M) donne la 1-forme e (on a e rappelle que sa composante dans K est ) : x = . En faisant monter lindice de , on obtient la forme contravariante = g = , 1, 2, 3 x0 x x x = , ct (1.93) (1.92)

de loprateur gradient, qui, dans un changement de rfrentiel, se transe ee forme par = et qui applique ` un tenseur de type M donne un e a N +1 tenseur de type MN .

1.12.2

Le dAlembertien

Le dAlembertien = = 1 2 c2 t2
2

1 2 c2 t2

(1.94)

se comporte comme un scalaire dans un changement de rfrentiel. Appliqu ee e a ` un tenseur de type M , il donne un tenseur de mme type M . e N N

1.12.3

Une interprtation gomtrique du gradient e e e

Soit S(M) un champ scalaire de lespace-temps E (mettons la temprature en M E) et supposons quun observateur en M eectue le e dplacement dM = ud = (dx0 , dx1 , dx2 , dx3 ), o` u est la quadrivitesse e u

30

1. FORMULATION COVARIANTE

et d la variation de temps propre de lobservateur. La variation de la temprature vue par lobservateur pendant ce dplacement est e e dS = S 0 S S S dx + 1 dx1 + 2 dx3 + 3 dx3 x0 x x x = ( S) dx =

S dM

(1.95)

o` S dsigne la 1-forme de composantes S dans K. Loprateur grau e e dient, appliqu ` S, sinterpr`te gomtriquement sans avoir ` utiliser un e a e e e a rfrentiel : il produit la 1-forme S qui, applique au dplacement dM, ee e e donne la variation de S le long de dM.

1.12.4

Reprsentation gomtrique dune 1-forme e e e

Soit une 1-forme f constante. Dnissons la fonction S(M) = f x . On a e S = f et donc f = S. Pour tout quadrivecteur u V choisissons deux points A, B E tels que AB = u. On a f | u = f u = S(B) S(A). La valeur de f | u est donc la variation de S le long de u. On peut reprsenter e gomtriquement la 1-forme f par la famille dhyperplans S =Cte, pour des e e valeurs enti`res de Cte (lunit de mesure mise ` part). La valeur f | u e e a est alors le nombre dhyperplans de cette famille traverss par le vecteur u, e ce nombre tant compt positivement ou ngativement suivant le sens de e e e variation de S.
Fig. 1.8 Reprsentation e
gomtrique dune 1-forme. e e

x0 f

x1

S=0 1 2 3 4 Sur la gure 1.8, on a reprsent les hyperplans S = x0 + 2x1 =Cte e e associs ` la 1-forme f de composantes e a f0 = 1, f1 = 2, f2 = f3 = 0

(coordonnes x2 et x3 omises). Pour le vecteur u = (2, 1, 0, 0), qui traverse les e 4 hyperplans S = 1, 2, 3 et 4, f | u = 4. Le quadrivecteur f de composantes f = S = (1, 2, 0, 0) est normal aux hyperplans S =Cte. On a aussi f u = f | u = 4.

1.13. INTEGRALES QUADRIDIMENSIONNELLES

31

1.13
1.13.1

Intgrales quadridimensionnelles e
Linvariance de llment de volume d4 x ee

Dans les intgrales sur lespace-temps E, llment de volume quadridie ee mensionnel d4 x se transforme de K ` K par a d4 x = (x 0 , x 1 , x 2 , x 3 ) 4 d x = | det | d4 x = d4 x. (x0 , x1 , x2 , x3 ) (1.96)

Llment de volume quadridimensionnel est donc un invariant : ee d4 M = d4 x = d4 x. (1.97)

Un champ scalaire S(M) sur lespace-temps E scrit dans K et K sous les e formes S(M) = S(x0 , x1 , x2 , x3 ) = S (x 0 , x 1 , x 2 , x 3 ). (1.98) Exemple : Le temps t dans le rfrentiel K de lvnement M peut tre ee e e e considr comme le champ scalaire ee S(x0 , x1 , x2 , x3 ) = x0 (x 0 + x 1 ) = S (x 0 , x 1 , x 2 , x 3 ) = c c (1.99)

pour K et K lis par la transformation de Lorentz spciale (1.34). e e Lintgrale dans tout lespace-temps E du champ scalaire (1.98) peut se e calculer dans K ou K :
E

S(M) d4 M =

S (x 0 , x 1 , x 2 , x 3 ) d4 x =

S(x0 , x1 , x2 , x3 )d4 x. (1.100)

1.13.2

Fonction de Dirac quadridimensionnelle

La fonction de Dirac 25 quadridimensionnelle (4) (u ) = (u0 )(u1 )(u2 )(u3 ) (1.101)

est le produit de quatre fonctions de Dirac. Soit Y un point de lespace-temps E, de coordonnes y dans K, et dsignons par M E, de coordonnes x e e e dans K, le point sur lequel on int`gre. Posons u = x y dans (1.101) et e calculons lintgrale e (4) (x y )S(x0 , x1 , x2 , x3 ) d4 x = (x0 y 0 )(x1 y 1 )(x2 y 2 )(x3 y 3 )S(x0 , x1 , x2 , x3 ) d4 x = S(y 0 , y 1 , y 2 , y 3 ) = S(Y) (1.102)
25. Paul Adrien Maurice Dirac (1902-1984)

32

1. FORMULATION COVARIANTE

On trouve de mme, dans K , en posant u = x y dans (1.101) et en e utilisant (1.98), (4) (x y )S (x 0 , x 1 , x 2 , x 3 ) d4 x = S (y 0 , y 1 , y 2 , y 3 ) = S(Y).

La fonction de Dirac quadridimensionnelle est donc un invariant (champ scalaire) quon peut noter (4) (u) : (4) (u) = (4) (u ) = (4) (u ), (1.103)

o` on na pas crit (4) (u ) puisque la fonction, donne par (1.101), est la u e e mme dans K et K . e

1.13.3

Intgration par parties e

Soient f (x0 , x1 , x2 , x3 ) et g(x0 , x1 , x2 , x3 ) deux fonctions sur lespacetemps E qui sannulent dans toutes les directions ` linni de E. On a les a proprits suivantes, utiles par la suite. ee Lintgrale dans tout lespace-temps de f est e f d4 x = 0. En eet, on a, par exemple pour = 1, 1 f d4 x = dx0 dx2 dx3 = Intgration par parties e f ( g) d4 x = En eet, dapr`s lquation (1.104), e e f g d4 x = [ (f g) ( f )g] d4 x = ( f )g d4 x. (1.107) ( f ) g d4 x. (1.106)
0 2

(1.104)

dx1

f x1

dx dx dx3 f |x1 = f |x1 = = 0. (1.105)

1.14. QUADRIPOTENTIEL

33

1.14

Quadripotentiel

Regroupons, dans K, les potentiels A et de jauge de Lorenz, en posant A0 = /c, ` laide du seul symbole 26 a A = (A ) = ,A c (quadripotentiel). (1.108)

Les quations (1.21) et (1.22) se regroupent 27 en utilisant le quadricoue rant (1.54) : A = 0 j . (1.109) e La condition de Lorenz (1.12) scrit A = 0 (quadridivergence de A = 0). (1.110)

Ces quations, compte tenu de linvariance du dAlembertien, sont covae riantes si on postule que le quadripotentiel est un quadrivecteur, ce que nous avions anticip dans la notation A = (A ). Remarquer que le potentiel e scalaire nest pas un scalaire dans les transformations de Lorentz (il est un scalaire dans les rotations-translations spatiales). La condition de Lorenz reste vrie dans tous les rfrentiels. En appliquant loprateur ` gauche e e ee e a de lquation (1.109) on obtient, avec (1.110), lquation de continuit (1.91) e e e j = 0. e Linvariance de jauge (1.11) scrit A A . (1.111)

On peut considrer comme un scalaire ; le quadripotentiel A est alors e considr comme un quadrivecteur quelque soit la jauge considre. Cepenee ee dant, si le quadripotentiel A satisfait ` la condition de Coulomb (1.13) dans a le rfrentiel K, i Ai = 0 (sommation sur i = 1, 2, 3), alors dans le rfrentiel ee ee K , i A i = 1 i i A peut tre dirent de zro : la condition de e e e Coulomb nest pas ncessairement vrie dans K . e e e

1.15

Tenseur du champ lectromagntique e e

Rcrivons les quations (1.10) donnant les champs E = (E x , E y , E z ) et e e x , B y , B z ) (les indices qui correspondent aux axes de coordonnes B = (B e 1, 2, 3 sont nomms x, y, z pour rappeler quils ne sont pas contravariants : e nous ne dnirons pas un quadrivecteur E ) en fonction des composantes e
26. A = (A ) = (, A) en syst`me de Gauss (cgs) e 4 27. A = e j en syst`me de Gauss (cgs) c

34

1. FORMULATION COVARIANTE

covariantes du quadripotentiel A0 = /c, A1 = A1 , A2 = A2 , A3 = A3 et en exprimant les drives ` laide des oprateurs . On obtient e e a e E x = c(0 A1 1 A0 ), E y = c(0 A2 2 A0 ), E z = c(0 A3 3 A0 ), Bx = By = Bz = 3 A2 2 A3 , 1 A3 3 A1 , 2 A1 1 A2 . (1.112)

Les champs apparaissent dans le tenseur du champ lectromagntique e e F = A A de composantes 0 E x /c E y /c E z /c E x /c 0 B z By . = E y /c B z 0 B x E z /c B y Bx 0 (1.113)

(1.114)

appel le dual de F . Remarquons que F sobtient en faisant les remplae cements E cB, B E c (dualit lectrique-magntique) ee e (1.117)

Le tenseur F est antisymtrique (F = F ) : cest une 2-forme. On e peut vrier linvariance de jauge en remplaant A par A dans e c F = A A . On retrouve alors F : (A ) (A ) = A A . e Loprateur de Hodge (1.88) donne un nouveau tenseur antisymtrique e 0 Bx By Bz B x 1 0 E z /c E y /c F = F = (1.116) y E z /c B 0 E x /c 2 B z E y /c E x /c 0

En montant les indices, on obtient 0 E x /c E y /c E z /c x /c E 0 B z By F = y E /c Bz 0 B x z /c y x E B B 0

(1.115)

dans F . Ce remplacement laisse les quations de Maxwell (1.11.4) invae riantes lorsque J et sont nuls. Noter que F F = 2 B 2 sont des invariants. E2 c2 et F F = 4E B c (1.118)

1.15. TENSEUR DU CHAMP ELECTROMAGNETIQUE Transformation des champs La loi de transformation des composantes (1.73), F = 1

35

F ,

(1.119)

permet dobtenir les champs E et B dans le rfrentiel K en fonction ee des champs dans le rfrentiel K. Dans le cas de la transformation de ee u Lorentz spciale vue ` la section 1.3, o` la matrice 1 est donne par e a e lquation (1.36), on obtient (dtails des calculs plus bas) : e e E x = Ex E y = (E y cB z ) Ez = (E z + cB y ) B x = Bx B y = By + Bz z E c = Bz Ey . c (1.120)

Ces formules de transformations correspondent ` des champs au mme point a e de lespace-temps. Lquation E x = E x signie, en dtaillant, e e E x (x 0 , x 1 , x 2 , x 3 ) = E x (x0 , x1 , x2 , x3 ) = E x (x 0 + x 1 ), (x 1 + x 0 ), x 2 , x 3 , (1.121) o` les x ont t exprims en fonction des x par lquation (1.35). u ee e e Obtention des quations (1.120) e 0 1 On calcule F01 = 1 0 1 1 F = 1 0 1 1 F01 1 0 + 1 0 1 1 F10 = 2 F01 + 2 2 F10 = (1 2 ) 2 F01 = F01 do` u E x = Ex et B x = Bx en utilisant F01 = F01 pour le tenseur dual. 0 Puis F02 = 1 0 1 2 F = 1 0 1 2 1 + 1 0 1 2 F12 = F02 + F12 donne E y = (E y cB z )

2 F02

et B y = B y +
0 0

z E . c
3 3 F03

De mme F03 = 1 0 1 3 F = 1 e 1 1 1 3 F = F + F + 03 13 donne 0 3 13 E z = (E z + cB y )

et B z = B z

y E . c

Remarquons que les calculs ci-dessus (transformation des composantes dun tenseur F de type 0 ) peuvent aussi tre eectus sous forme matricielle e e 2 en notant F la matrice des composantes et en rcrivant la loi de transfore mation des composantes (1.119) sous la forme F = 1 F 1 . (1.122)

36

1. FORMULATION COVARIANTE

1.16

Formulation covariante de llectromagntisme e e

Les quations de Maxwell scrivent avec le tenseur du champ lectroe e e magntique et son dual sous la forme e F = 0 j , F = 0. (1.123) (1.124)

En eet pour = 0, F 0 = 0 j 0 , soit E/c = 0 c, quivaut ` lquation e a e 0 = 0 ` lquation de Maxwell (1.3) B = 0. a e de Maxwell (1.1) et F Pour = 1, F 1 = 0 j 1 , soit 1 E x + y B z z B y = 0 J x , c2 t

est la composante x de lquation de Maxwell (1.2). Par des calculs similaires, e e a on peut vrier que lquation de Maxwell (1.2) (resp. (1.4)) quivaut ` e e F i = 0 j i (resp. F i = 0). Lquation (1.124) scrit aussi en fonction de F e e F = 0. On peut ainsi remplacer (1.124) par F + F + F = 0 (1.126) (1.125)

qui est valable pour , et quelconques : lorsque , et sont tous e dirents, cela rsulte de (1.125) ; lorsque par exemple = , cela rsulte e e de lantisymtrie de F . e Il est instructif de vrier la cohrence de lquation (1.123), cest-`-dire e e e a que le quadricourant a une quadridivergence nulle : 0 j = F = 0. La deuxi`me expression est bien nulle : e F = F = F = 0 ; (1.128) (1.127)

la premi`re galit rsulte de la symtrie de et de lantisymtrie de F e e e e e e dans lchange de et ; la deuxi`me sobtient en renommant les indices e e muets. Dterminons maintenant lcriture covariante de la force de Lorentz (1.7). e e En relativit, lquation non-relativiste (1.26) du mouvement dune particule e e devient dp dp (1.129) =f ou, en composantes, = f d d

1.16. FORMULATION COVARIANTE

37

qui exprime la drive par rapport au temps propre de la quadriimpulsion e e W p = mu = , P de la particule en fonction dun quadrivecteur f (la c quadriforce). Cette expression doit redonner la loi du mouvement dP =F =q E+V B dt et la drive temporelle de lnergie de la particule e e e dW = F V = qE V . dt Dans un rfrentiel comobile (cf. section 1.6) avec la particule, ee V = 0, P = 0, u = (c, 0, 0, 0), p = (mc, 0, 0, 0), dW = 0. dt (1.132) (1.131) (1.130)

dP dP = = qE dt d On en dduit que dans ce rfrentiel e ee dp = d 1 dW dP , c d d

et

(1.133)

= 0, q E .

(1.134)

Le quadrivecteur qui a pour composantes 0, q E dans le rfrentiel comoee bile peut scrire de faon covariante : 0, q E = qF u . La forme covae c riante de lquation du mouvement ne peut donc tre que e e dp = qF u . d (1.135)

On vrie en eet, dans un rfrentiel quelconque, en utilisant u = e ee dpi (c, V ) (cf. quation (1.47)) et d = dt/, que e e = qF i u quivaut d 0 dp e a e ` lquation (1.130). Lquation (1.135) pour = 0, = qF 0 u , donne d la drive temporelle de lnergie de la particule (1.131). e e e Considrons le tenseur du champ lectromagntique comme une applie e e cation linaire F de V V de matrice F (cf. section 1.9.8). On rcrit e e lquation (1.135) sous la forme e dp = f = qF u d (1.136)

qui donne une interprtation physique du tenseur du champ lectromagne e e tique : cest lapplication linaire qui applique ` qu donne la quadriforce f e e a

38

1. FORMULATION COVARIANTE

agissant sur une particule de charge q et quadrivitesse u. On peut obtenir la valeur exprimentale de cette application linaire F en mesurant la quae e driforce f ressentie par une particule sonde de charge q anime de diverses e quadrivitesses u. Il est clair que F est indpendant du rfrentiel dinertie e ee tout comme q, u et f . Lquation (1.136) donne galement une interprtation de lantisymtrie e e e e du tenseur F . En drivant lquation p p = m2 c2 on obtient que la quae e driforce est orthogonale ` la quadrivitesse : a p dp = p f = mu f = 0. d (1.137)

On doit avoir F u u = 0 pour toute quadrivitesse u, ce qui nest possible que si F est antisymtrique. e

1.16.1

Formulation en termes du quadripotentiel

Nous avons vu, section 1.1.3, que les quations de Maxwell (1.3) et (1.4), e qui scrivent de faon covariante sous la forme (1.124) ou (1.126), sont e c quivalentes ` lexistence des potentiels. On en dduit, en utilisant (1.113), e a e quune 2-forme F vrie lquation F = 0 si et seulement si il existe e e un quadripotentiel A tel que F = A A : F = 0 A : F = A A . (1.138)

Retrouvons quelques rsultats de la section 1.1.3 en utilisant le formae lisme covariant. Le quadripotentiel A nest pas dni de faon unique par e c lquation (1.113). Si A et A sont deux quadripotentiels vriant (1.113), e e e alors W = A A vrie W = W . Il en rsulte que W dx est e une direntielle totale et donc de la forme W = . On retrouve ainsi e linvariance de jauge (1.11) A A = A . (1.139)

En portant F = A A dans F = 0 j on obtient A A = 0 j , soit A A = 0 j (1.140)

qui est lexpression covariante des quations (1.19) et (1.20) en jauge arbie traire. En jauge de Lorenz elle redonne (1.109) A = 0 j .

1.17. RESUME

39

1.17

Rsum e e
0 E x /c E y /c E z /c E x /c 0 B z By . = y /c z E B 0 B x E z /c B y Bx 0 F + F + F = 0.

Le tenseur du champ lectromagntique est la 2-forme e e

(1.141)

Les quations de Maxwell scrivent e e F = 0 j , (1.142)

La quadriforce f agissant sur une particule de charge q et de quadrivitesse u est f = qF u . (1.143) Le tenseur du champ lectromagntique drive dun quadripotentiel e e e F = A A . On peut imposer la condition de Lorenz A = 0. Le quadripotentiel vrie alors e A = 0 j . (1.146) (1.145) (1.144)

40

2. LAGRANGIEN

Lagrangien
On montre que le syst`me champ lectromagntique + particules est e e e dcrit par un lagrangien 1 de la forme L = Lpart +Lchamp +Lint . On dtermine e e dabord le lagrangien Lpart dune particule libre, puis la forme du terme dinteraction Lint entre une particule et le champ et, pour terminer, le lagrangien du champ libre Lchamp .

2.1
2.1.1

Particule charge dans un champ extrieur e e


Le principe de moindre action

(x1 , x2 , x3 )

Notons les coordonnes de la particule dans le rfrentiel K par x = e ee dx et la vitesse de la particule par = (x1 , x2 , x3 ) ou V = dt 1 , V 2 , V 3 ). Le syst`me est caractris par un lagrangien L(xi ,xi , t) qui (V e e e est une fonction explicite des xi , xi , et ventuellement du temps t. Laction e
t2

xi

x i (t) xi (t) xi (t) S=

L(xi ,xi , t) dt

(2.1)

t1

O t1
jectoire.

t2

est une fonctionnelle S[x(t)] dnie pour toute trajectoire x(t) (pas seulee ment pour le mouvement rel de la particule) pendant lintervalle de temps e [t1 , t2 ]. On consid`re une variation innitsimale x(t) de x(t) vriant e e e x(t1 ) = x(t2 ) = 0. (2.2)

Fig. 2.1 Variation de la tra-

Les points initial a = x(t1 ) et nal b = x(t2 ) sont inchangs dans la nouvelle e trajectoire (cf. gure 2.1) x (t) = x(t) + x(t).
1. Joseph Louis Lagrange (1736-1813)

(2.3)

2.1. PARTICULE CHARGEE DANS UN CHAMP EXTERIEUR

41

Le principe de moindre action dit que S est stationnaire 2 pour toute e variation innitsimale x(t) vriant (2.2). En drivant (2.3) on obtient la e e variation de la vitesse xi = x i xi = d i x dt ou d = d (2.4)

(loprateur de variation commute avec loprateur de direntiation). La e e e variation de laction scrit (somme implicite sur i ; loprateur commute e e avec lintgration sur t) e
t2

S = S[x (t)] S[x(t)] =

t1

L i L i x + i x xi x

dt.

(2.5)

e On obtient (utiliser (2.4) et intgrer par parties compte tenu de (2.2))


t2

S =
t1

L d L i x dt xi

xi dt =

t2 t1

S i x dt xi

(2.6)

en introduisant la drive fonctionnelle (ou drive dEuler 3 -Lagrange) e e e e S L d L = . i i x x dt xi (2.7)

S Pour que S = 0 quelles que soient les variations xi , il faut que = 0, xi soit L d L (quations dEuler-Lagrange). e (2.8) = 0. xi dt xi Ces quations dEuler-Lagrange sont les quations du mouvement. Nous e e dnirons le moment canonique conjugu = (1 , 2 , 3 ) de xi par e e i = L , (i = 1, 2, 3) xi not e = L V . (2.9)

L Nota : En criture covariante on a i = i avec i = i . e x Les quations dEuler-Lagrange scrivent en fonction du moment canoe e nique conjugu e di L . (2.10) = dt xi Dans le cas du mouvement non relativiste dune charge q dans un champ lectrique E de potentiel (x), le lagrangien a la forme e 1 LN R = mV 2
2. S nest pas toujours un minimum. 3. Leonhard Euler (1707-1783)
2

q(x) + Cte,

(2.11)

42

2. LAGRANGIEN

les quations dEuler-Lagrange donnent les quations de Newton e e mi = q x = qE i xi (2.12)

et le moment canonique conjugu de x est la quantit de mouvement = e e P = mV de la particule.

2.1.2

Particule matrielle relativiste libre (en champ nul) e

An que les quations qui rsultent de S = 0 aient la mme forme dans e e e tout rfrentiel dinertie, S doit tre un invariant scalaire. Laction le long ee e dune trajectoire, correspondant ` une ligne dunivers M(t) de la particule a paramtre par le temps dans K, est la somme des actions innitsimales e e e Ldt qui doivent tre chacune un invariant scalaire. Linvariant scalaire ine nitsimal Ldt est associ au dplacement innitsimal dM le long de la ligne e e e e dunivers. Mais les seuls scalaires inniment petits dordre un quon puisse former avec le dplacement dM dune particule libre sont ds ( est une e constante, ds2 = dM dM lintervalle). Nous avons donc (cf. quation (1.46)) e Ldt = ds = c Dans la limite non relativiste V c, 1 1 V2 dt. c2 (2.13)

V2 V2 = 1 2 + . On choisit 2 c 2c = mc pour retrouver le lagrangien non relativiste dune particule libre 1 L0N R = mV 2 + Cte. Laction dune particule matrielle libre est donc e 2
t2

S = mc et le lagrangien

t1

ds = mc2

t2 t1

V2 dt c2

(2.14)

L = mc2

V2 . c2

(2.15)

Le moment canonique conjugu de x est la quantit de mouvement de la e e particule L mV (2.16) P = = V V2 1 2 c dP et les quations dEuler-Lagrange donnent e = 0. La particule a un moudt vement rectiligne uniforme. Dans un rfrentiel o` la particule est immobile, ee u lintgrale e t2 t2 V2 ds = 1 2 cdt, (2.17) c t1 t1

2.1. PARTICULE CHARGEE DANS UN CHAMP EXTERIEUR

43

pour les trajectoires virtuelles telles que x(t1 ) = x(t2 ), est maximum lorsque la vitesse V est nulle ` tout moment, cest ` dire pour la trajectoire relle a a e (particule xe). Laction, qui est mc fois cette intgrale, est donc minimum e pour la trajectoire relle. e

2.1.3

Particule relativiste dans un champ lectromagntique e e extrieur e

Dterminons laction innitsimale Ldt pendant le dplacement ine e e nitsimal dM = ud (u quadrivitesse, d temps propre). Comme cest un e invariant, utilisons pour cela un rfrentiel comobile avec la particule (cf. ee section 1.6). La particule est alors non relativiste et la force magntique e est ngligeable (particule presque au repos). Laction innitsimale Ldt doit e e alors prendre la forme non relativiste LN R dt o` LN R est le lagrangien (2.11). u Le terme dinteraction est qdt = q A dM = qA dx , rcrit de faon e c covariante en utilisant le quadripotentiel A = , A et le dplacement e c dM = (dx ) = (cdt, 0, 0, 0) dans le rfrentiel comobile. ee Nous obtenons laction pour une charge dans un champ lectromagne e tique extrieur en ajoutant cette interaction ` laction (2.14) dune particule e a libre :
t2

S=
t1

(mcds qA dx )

(2.18)

Dans un rfrentiel quelconque, qA dx = qdt + q A dx = (q + ee q A V )dt, et le lagrangien scrit comme la somme du lagrangien L0 de la e particule libre et du lagrangien dinteraction Lint L0 = mc2 V2 , c2

L = L0 + Lint ,

Lint = q + q A V . (2.19)

Le moment canonique conjugu de x, e = L V = mV V2 1 2 c + q A = P + q A, (2.20)

est dirent de la quantit de mouvement de la particule P . Lquation e e e dEuler-Lagrange est, sous forme vectorielle, d L P + qA = = q + q (A V ). dt x (2.21)

44 d dA A A(x(t), t) se calcule par = + (V dt dt t A dP +q + q(V dt t Avec la relation 4 V ( dP =q dt A) =

2. LAGRANGIEN

La drive e e

)A : (2.22)

)A = q + q (A V ). (A V ) (V A t +V ( )A, on a : A)

(2.23)

Cette expression redonne bien la loi du mouvement (1.130) en utilisant les expressions (1.10) des champs en fonction des potentiels : dP =q E+V B . dt Dans la transformation de jauge (1.11), le lagrangien devient L L = L + q + qV t =L+q d . dt (2.25) S = xi (2.24)

Comme L et L di`rent dune drive totale par rapport au temps, e e e S et les quations dEuler-Lagrange restent inchanges. e e xi

2.1.4

Hamiltonien
3

Lhamiltonien 5

H=
i=1

i xi L = V2 q + q A V c2 mc2

+q V2 1 2 c (2.26) doit tre crit en fonction de et x au lieu de V et x. Pour cela on peut e e H , , remarquer que la quadriimpulsion de la particule est, posant = c V2 1 2 c p= mc V 1 2 c
2

mV

+ q A V mc2

,P =

H q , qA c

= q A.
x

(2.27)

4. La vitesse V est une constante vis-`-vis de loprateur a e 5. Sir William Rowan Hamilton (1805-1865)

` 2.2. CORDE CLASSIQUE A UNE DIMENSION

45

La relation c2 p p = (H q)2 c2 ( q A)2 = m2 c4 donne lhamiltonien H= c2 ( q A)2 + m2 c4 + q. (2.28)

Les quations du mouvement se retrouvent par les quations de Hamilton e e H = xi , i H = i , (i = 1, 2, 3). xi (2.29)

2.2
2.2.1

Corde classique ` une dimension a


Lagrangien

Nous considrons un syst`me de masses ponctuelles relies par des rese e e sorts (cf. gure 2.2), puis nous faisons tendre le nombre de masses vers linni, la distance entre masses vers zro de sorte quon tende vers un syst`me e e continu de densit et lasticit uniformes. Nous aurons ainsi un exemple de e e e lagrangien dcrivant un champ. e a i1 i1 qi1 i qi i
e i + 1 lquilibre cha ` ne a Fig. 2.2 Cha doscillane
teurs coupls. e

i+1 qi+1
cha en ne mouvement

e Le dplacement de la i`me masse est qi (t). La constante de rappel de e chaque ressort est K. Les nergies cintique et potentielle sont e e

T =

1 2

mq i , 2
i

U=

1 2

K(qi+1 qi )2 .

(2.30)

On consid`re la limite continue dans laquelle la distance a entre les masses e a e ` lquilibre tend vers 0 : a 0, m (masse par unit de longueur), e a Ka Y (module de Young). (2.31)

Les variables qi (t) deviennent un champ continu q(x, t) (x abscisse de la masse i au repos). On remplace qi par q(x, t) , t a par
i

dx

et

qi+1 qi q(x, t) par . a x (2.32)

46 Les nergies cintique et potentielle deviennent e e 1 T = 2 Le lagrangien est dx q t


2

2. LAGRANGIEN

1 U= Y 2

dx

q x

(2.33)

q 2 x (2.34) est la densit lagrangienne. Pour une corde innie, lintgrale est sur toute la e e q droite relle et on suppose que le champ q(x, t) et sa drive e e e sannulent x a ` linni. Pour une corde nie de longueur , lintgrale est sur [0, ] et on e peut supposer des conditions aux limites priodiques (la corde forme une e boucle) q q q(0, t) = q( , t) et (0, t) = ( , t). (2.35) x x L=T U = dx L o` u L q q , t x = 1 2 q t 1 Y 2 Laction est dans ce dernier cas S = q(x, t) du champ telle que q(x, t1 ) = q(x, t2 ) = 0
t2 t1

dt

dx L. On eectue une variation (2.36)

et

q(0, t) = q( , t).

La variation de laction S est (bornes dintgrations omises) e

S =

L L q q + dxdt q q t x t x q q q q = Y t t x x

dxdt. (2.37)

On a utilis la commutation de loprateur de variation et des drives e e e e partielles (comparer ` (2.4)). On int`gre par parties chaque terme ; les termes a e tout intgrs disparaissent avec les conditions aux limites (2.35) et (2.36) e e S = 2q 2q + Y 2 q dxdt. 2 t x (2.38)

Le principe de moindre action S = 0 quel que soit q conduit ` lquation a e des ondes dans la corde 1 2q 2q 2 =0 v 2 t2 x o` u v= Y . (2.39)

2.3. EQUATIONS DEULER-LAGRANGE CHAMP CONTINU

47

2.2.2

Hamiltonien

Pour la cha discr`te, le moment conjugu de qi est pi = mqi et lhane e e miltonien est p2 i H = T +U = + U. (2.40) 2m
i

pi Dans la limite continue, = qi tend vers a (x, t) = q (x, t) t (impulsion par unit de longueur) e (2.41)

et lhamiltonien vers H= dx H o` u H , q x = 1 2 1 + Y 2 2 q x
2

(2.42)

est la densit hamiltonienne. Le passage direct de la densit lagrangienne e e q q a ` la densit hamiltonienne se fait par e , L t x (x, t) = L q (moment conjugu de q) et e (2.43)

H = q L

q (qui doit tre exprim en fonction de et (2.44) e e ). x

2.3

Equations dEuler-Lagrange pour un champ continu

Nous considrons un champ invariant de Lorentz sur lespace-temps E e dcrit, dans un rfrentiel K, par N composantes e ee k (x, t) = k (x ) (k = 1, . . . , N ). (2.45)

Lexemple prcdent correspondait ` N = 1 et le champ tait dni sur e e a e e un espace-temps ` 2D (1 (x, t) = q(x, t)). On a maintenant une densit laa e grangienne L (k , k , x ) qui est une fonction explicite de k , des drives e e k k = et des coordonnes x du point M. Cela gnralise lexemple e e e x q q prcdent o` la densit L e e u e ne dpendait pas du champ q(x, t). Le e , t x lagrangien est (intgrale dans tout lespace tridimensionnel) e L= et laction S=
t1 t2

L (k , k , x ) d3 x 1 c L (k , k , x ) d4 x.

(2.46)

L dt =

(2.47)

48

2. LAGRANGIEN

Nous intgrerons dans tout lespace-temps E (cela correspond ` prendre e a t1 , t2 ). Nous imposons que la densit lagrangienne L soit un e scalaire de Lorentz de sorte que laction S soit bien un invariant scalaire (cf. section 1.13). La variation de laction S pour une variation k du champ scrit e 1 L L S = (2.48) k + k d4 x. c k ( k ) Rappel : il y a sommation sur les indices rpts k et . Nous supposons que e ee le champ k , sa variation k et leurs drives sannulent dans toutes les e e directions ` linni de E. On crit k = k et on int`gre par parties a e e L et g = k . On obtient en utilisant lquation (1.106), avec f = e ( k ) S = S k d4 x k o` u S 1 = k c L L k ( k ) (2.49)

est la drive fonctionnelle. Pour que S = 0 quelles que soient les variations e e S k , il faut que = 0, soit k L L = 0. k ( k ) (2.50)

Ces N quations (pour k = 1, . . . , N ) sont les quations du mouvement e e (quations dEuler-Lagrange pour un champ). e Le moment conjugu de k est le champ e k (x ) = 1 L L = k) c (0 k ) ( (2.51)

et la densit hamiltonienne (densit dnergie) e e e


N N

H(x ) =

k=1

k k L =

k=1

c(0 k ) k L.

(2.52)

2.4

Lagrangien du champ lectromagntique e e

Considrons le champ lectromagntique pour un mouvement donn des e e e e particules (on se donne le quadricourant j (x )). Nous voulons le dcrire e avec une densit lagrangienne invariante L = Lchamp + Lint telle que les e e quations dEuler-Lagrange (2.50) redonnent les quations de Maxwell. Le e terme Lchamp dcrit le champ libre (sans particules) et Lint est un terme e dinteraction champ-particules que nous allons choisir pour retrouver le lagrangien dinteraction (2.19) dans le cas dune particule. Pour une particule

2.4. LAGRANGIEN DU CHAMP ELECTROMAGNETIQUE

49

de charge q situe en R(t) et de vitesse V (t) ` linstant t, le lagrangien e a dinteraction (2.19) scrit e Lint = q R(t), t + q A R(t), t V (t) = d3 x q(3) x R(t) (x, t) + q V (t)(3) x R(t) A(x, t) = d3 x (x, t)(x, t) J(x, t) A(x, t) = d3 xj A (2.53)

en introduisant le quadricourant (cf. quation (1.5)) de la particule. Cela e conduit ` poser a Lint = j A = + J A (2.54) pour la densit lagrangienne dinteraction. Comme Lint scrit en fonce e tion du quadripotentiel, nous allons dcrire le champ lectromagntique par e e e le quadripotentiel A plutt que par le tenseur F . Nous dterminons le o e tenseur F par la relation F = A A . Lquation F = 0 est e alors automatiquement vrie (cf. proprit (1.138) de la section 1.16). Les e e ee quations dEuler-Lagrange, qui scrivent ici (k A ) e e L L = 0, A ( A ) (2.55)

doivent nous donner lquation F = 0 j . Comme e Lint = j A Lchamp =0 A et Lint =0 ( A ) Lchamp 1 = F . ( A ) 0 (2.56)

nous pouvons chercher Lchamp qui vrie e et

(2.57)

Nous exprimerons la densit Lchamp , qui nest pas une fonction explicite e des A , comme fonction explicite des F = A A , la rendant par l` invariante de jauge. Linvariance de Lorentz de Lchamp restreint les choix a possibles. Nous posons, utilisant une expression quadratique des vitesses A , Lchamp = kF F (2.58) o` k est une constante ` dterminer. Calculons u a e F [ A A ] = = , ( A ) ( A ) puis F F F F F = F + F = 2 F ( A ) ( A ) ( A ) ( A ) = 2 [ ] F = 2 [F F ] = 4F . (2.60) (2.59)

50

2. LAGRANGIEN

Lquation (2.58) satisfait ` (2.57) pour k = 1/40 . e a La densit lagrangienne du champ libre scrit donc e e Lchamp = 1 1 E 2 c2 B 2 F F = 40 20 c2 (2.61)

Le lagrangien total dun syst`me de N particules i = 1, . . . N et du champ e lectromagntique est e e L = Lpart + Lchamp + Lint
N

Lpart =
i=1

mi c2

Vi2 c2

(2.62)

Lchamp = Lint =

Lchamp d3 x Lint d3 x.

Les quations dEuler-Lagrange pour le champ donnent les quations de e e Maxwell et celles pour les particules donnent les quations du mouvement e de ces particules. Nous savons que ces quations dEuler-Lagrange sont ine variantes de jauge. Vrions le directement sur le lagrangien. Dans une e transformation de jauge A A = A , la densit lagrangienne e Lchamp est invariante (comme F ) et la densit lagrangienne dinteraction e Lint = j A devient Lint = j A + j . (2.63) (2.64) Comme j d4 x = ( j ) d4 x = 0, pour un courant de quadridivergence nulle ( j = 0), laction reste inchange : e 1 1 Lint d4 x = Lint d4 x. (2.65) c c

2.5

Fonctionnelle, drive fonctionnelle e e

Une fonctionnelle S[] est une loi qui donne un nombre pour chaque fonction (x) dnie sur un espace M(D) de dimension D. Ce peut tre e e laction (2.47), pour D = 4, (x) dsignant lune des composantes k (x) ; ce e e peut aussi tre laction (2.1), pour D = 1, (x) dsignant une des fonctions e xi (t). Dans ces exemples, nous avons introduit, quations (2.6) et (2.49), la e drive fonctionnelle ` partir de la petite variation (x) de la fonction (x) e e a en crivant e S S = S[ + (x)] S[] = (2.66) (y) dD y + (y)

2.5. FONCTIONNELLE, DERIVEE FONCTIONNELLE

51

o` on ne garde que les termes du premier ordre en (x). La drive foncu e e S (D) : cest une tionnelle dpend de la fonction (x) et du point y M e (y) fonctionnelle de (x) et une fonction de y. Quelques exemples : (a) S = (b) S = (c) S= 2 (x) dD x u(x)4 (x) dD x
1 2

d3 x

(d) S = (x)

S (y) S (y) S (y) (x) (y)

= 2(y) = 4u(y)3 (y) = y (y) (D = 3)

= (D) (x y) (fonction de Dirac)

(2.67) Autres dnitions quivalentes : e e 1) Lquation (2.66) scrit, pour la variation (x) = f (x) ( inniment e e petit), lim
0

S[(x) + f (x)] S[(x)]

S f (x) dD x. (x)

(2.68)

En prenant pour f (x) la fonction de Dirac f (x) = (D) (x y), on obtient S une dnition formelle de la drive fonctionnelle e e e : (y) S[(x) + (D) (x y)] S[(x)] S = lim 0 (y) d = S[(x) + (D) (x y)] d Par exemple, pour S[(x)] = (x), cela donne (x) d = (y) d (x) + (D) (x y) = (D) (x y). (2.70)

. (2.69)
=0

=0

2) Divisons lespace M(D) en petits cubes de volume = D , le cube i tant e centr au point xi . La fonction (x) est dnie approximativement en done e nant la valeur i quelle prend ` chaque point xi . Une fonctionnelle comme a S[(x)] = u(x)4 (x) dD x est approximativement la fonction ordinaire des variables i ui 4 (2.71) S (. . . ,i , i+1 , . . . ) = i
i

avec ui = u(xi ). La drive fonctionnelle appara alors comme la limite e e t 0 des drives partielles par rapport aux variables discr`te i : e e e S = (x)
0 xcube i

lim

1 S . i

(2.72)

52

2. LAGRANGIEN 1 S . La variation de la fonc i Fi i , devient, dans


i 0 xcube i

Preuve : Posons i = (xi ) et Fi = tion S (. . . , i , i+1 , . . . ), S =


i

S i = i

limite 0, lintgrale e

F (x)(x) dD x avec F (x) =

lim

Fi . On ob-

a tient (2.72) en comparant ` (2.66). Il rsulte de la dnition (2.72) que la drivation fonctionnelle a des e e e proprits semblables aux drivations partielles. ee e R`gles de calculs pratiques e 1) Rappelons lquation (2.70) qui traduit lindpendance des variables e e i (x) et (y) pour x = y et est qui analogue ` a = ij : j (x) = (D) (x y). (y) 2) (2.73)

e commute avec lintgration e dD x (utiliser des noms dirents (y) pour la variable dintgration x et le point y localisant la variable de drie e vation (y)). 3) commute avec les drives . e e (y) est une drivation (au sens mathmatique). On a e e 4) (y) (A + B) A B = + , (y) (y) (y) (AB) A B = B+A , (y) (y) (y) df A f (A) = , (y) dA (y)

etc. (2.74)

5) Dans une transformation du champ, comme par exemple la transforma tion de Fourier (p) = eip x (x) dD x, on peut considrer S comme une e fonctionnelle de (x) ou de (p). On a alors S[] = (p) S[] (x) D d x (x) (p) a ` comparer ` a S = i S j . j i

(2.75) Lintrt de ce formalisme est de permettre dcrire le principe de moindre ee e action sans mentionner les quations dEuler-Lagrange. e Exemples 1) On pouvait obtenir (2.67) (a) avec ces r`gles par e 2 (x) (x) = 2(x) = 2(x)(D) (x y) (y) (y) (2.76)

2.5. FONCTIONNELLE, DERIVEE FONCTIONNELLE

53

(y)

2 (x) dD x =

2 (x) D d x= (y)

2(x)(D) (x y) dD x = 2(y). (2.77)

2) Soit le champ (x) sur lespace-temps E rgi par laction e S[] = k 2 ( ) ( ) mc


2

2 (x) d4 x

(2.78)

o` la constante k est l` pour lhomognit. Calculons la drive fonctionu a e e e e e nelle 1 (y) 2 = = 1 2 ( (x)) ( (x)) d4 x (x) (y) (x) (y) ( (x)) + ( (x)) (x) (y) d4 x

( (x)) d4 x = =

(D) (x y) ( (x)) d4 x
y (y).

(D) (x y) (x) d4 x =

Avec (2.77), le principe de moindre action Klein 6 -Gordon 7 dune particule libre : + mc
2

S = 0 donne lquation de e (y)

= 0.

(2.79)

3) Reprenons laction S[A ] du champ lectromagntique pour un quadrie e courant donn (on reprend (2.47) avec (2.54) et (2.61)) : e S[A ] = Le calcul de 1 c j A 1 F F 40 d4 x. (2.80)

S utilise A (y) A (x) = (4) (x y), A (y)

F (x) A (x) A (x) = = (4) (x y) (4) (x y), A (y) A (y) A (y)


6. Oskar Klein (1894-1977) 7. Walter Gordon (1893-1939)

54 1 A (y) 40 F F d4 x = 1 20 1 0 1 = 0 = et j A d4 x = j

2. LAGRANGIEN

F (4) (x y) (4) (x y) d4 x

F (4) (x y) d4 x ( F ) (4) (x y) d4 x = 1 F (y) 0

A (y) S action = 0 redonne bien (1.123) F = 0 j . A (y) 4) Les variations S, (x), . . . se manipulent comme des direntielles et ont e des proprits correspondant aux r`gles prcdentes de calculs pratiques de ee e e e la drivation fonctionnelle. Appliquons ces manipulations de direntiation e e fonctionnelle pour crire le principe de moindre action dune charge dans e un champ lectromagntique extrieur. Laction (2.18) est une fonctionnelle e e e des x (t) : S[x ] =
t2 t1

A (x) 4 d x = j (y). Le principe de moindre A (y)

(mcds qA dx ) .

(2.81)

Pour simplier, on note x au lieu de x (t). La direntiation fonctione 2 = dx dx donne dsds = dx dx . Do` ds = u dx . nelle de ds u c On a A = ( A )x , dx = dx , S =
t2 t1 t2 t1 t2 t1

[mcds qA dx ] =

q(dA )]x . Avec dA = ( A )dx , on obtient : S[x ] =


t2 t1

[mu dx q( A )x dx qA dx ] =

[mdu q( A )dx +

[mdu q( A A )dx ] x .

Le principe de moindre action S[x ] = 0 donne mdu = qF dx , ce qui apr`s division par d est la forme covariante (1.135) de lquation du e e mouvement : du m (2.82) = qF u . d

55

Tenseur nergie-impulsion e
3.1
3.1.1

Intgrales sur une hypersurface e


Flux dun quadrivecteur

dS

dr dr

Llment de surface dans lespace ` 3 dimensions est un paralllogramme ee a e dni par 2 vecteurs innitsimaux de la surface dr et dr (cf. gure 3.1). e e Fig. 3.1 Le vecteur dS est dni par (le signe est x par lorientation de la surface) face. e e dS = dr dr ou dS i = eijk dr j dr k . (3.1) Le ux dun vecteur A ` travers une surface orientable S dans lespace ` a a 3 dimensions est la somme des ux lmentaires ` travers les lments de ee a ee surface dS : = A dS. (3.2)
S

e Elment de sur-

La dnition (3.2) se gnralise ` lespace-temps E. Llment dhypere e e a ee surface dans lespace-temps ` 4 dimensions est un paralllpip`de dni par a ee e e Fig. 3.2 3 quadrivecteurs innitsimaux de la surface dr, dr et dr (cf. gure 3.2). e surface. Le quadrivecteur dS, orthogonal ` la surface est dni par (le signe est x a e e par lorientation de lhypersurface) dS = dr dr dr . (3.3)

dr
e Elment dhyper-

Le ux dun quadrivecteur a ` travers une hypersurface orientable S dans a lespace a 4 dimensions E est la somme des ux lmentaires a dS ` travers ` ee a les lments dhypersurface dS : ee =
S

a dS =

a dS .
S

(3.4)

Dapr`s la dnition, est un invariant scalaire. Pour lhyperplan x0 = e e ct0 on peut prendre dr = e1 dx1 , dr = e2 dx2 , dr = e3 dx3 (3.5)

dr

dr

56 et

3. TENSEUR ENERGIE-IMPULSION

dS = e0 dx1 dx2 dx3 = e0 d3 x.

(3.6)

Cela donne pour le ux du quadrivecteur lintgrale spatiale de la compoe sante temporelle du quadrivecteur ` linstant t0 : a = a0 (r, t0 )d3 x. (3.7)

3.1.2
dS

Thor`me de Gauss e e

Le thor`me de Gauss ` 3 dimensions e e a

A d3 x =

A dS =

Ai dSi

(3.8)

Fig. 3.3 Hypervolume et hypersurface .

Fig. 3.4 Conservation de


Q.

Fig. 3.5 Invariance de Q.

se gnralise aux intgrales de lespace temps : e e e a d4 x =


a dS .

(3.9)

Le bord du volume quadridimensionnel est lhypersurface . On oriente de sorte que dS soit ` lextrieur de . a e

3.1.3

Quadrivecteur de quadridivergence nulle

Soit a(r, t) un champ de quadrivecteur, localis dans le volume spatial e V (a(r, t) = 0 pour r V ), de quadridivergence nulle ( a = 0). Le ux / sortant (3.9) est nul.
localisation de a

x0

x0

hyperplan

ctb0 x

x 0 = ctb x1

cta O
V

x1 cta O
V

x1

Fig. 3.4.

Fig. 3.5.

Exprimons le ux sortant du volume quadridimensionnel = [cta , ctb ] e e a V de la gure 3.4. On obtient, en tendant les intgrales ` tout lespace Q= a0 (r, ta )d3 x = a0 (r, tb )d3 x. (3.10)

Pour le quadricourant , qui vrie lquation de continuit j = 0, le e e e rsultat (3.10) est la conservation de la charge (r, t)d3 x. e

3.2. TENSEUR ENERGIE-IMPULSION

57

Exprimons maintenant le ux sortant du volume de la gure 3.5. Le volume quadridimensionnel est lintersection de [, + ] V et des demi-espaces x0 cta et x 0 ctb o` x 0 est la coordonne temporelle du u e rfrentiel K . On utilise les deux rfrentiels dinertie K et K correspondant ee ee a ` la gure 1.3. Pour calculer le ux sortant de lhypersurface x 0 = ctb on utilise linvariance du ux (3.4). On lcrit dans K , a 0 tant tant donn e e e e e e a par lquation (1.56). On obtient, en tendant les intgrales ` tout lespace, e Q= a0 (r, ta )d3 x = a 0 (r , tb )d3 x . (3.11)

Pour le quadricourant , cest linvariance de la charge (r, t)d3 x = (r , t )d3 x .

Regroupant (3.10) et (3.11), on a obtenu : si a (x ) est un champ de quadrivecteur vriant a = 0, alors e Q= a0 d3 x (3.12)

est un scalaire invariant conserv. e On gnralise ` un champ de tenseur T tel que T = 0. Posons e e a p = 1 c T 0 d3 x. (3.13)

En appliquant (3.12) au champ de quadrivecteur a = T f , o` f est une u f est un invariant scalaire conserv, et 1-forme arbitraire, on obtient que p e donc que p est un quadrivecteur indpendant du temps. e De mme, pour un champ de tenseur M tel que M = 0, e L = 1 c M 0 d3 x (3.14)

est un tenseur indpendant du temps. e

3.2
3.2.1

Tenseur nergie-impulsion e
Interprtation physique des composantes e

Considrons un syst`me isol form de N particules ponctuelles a = 1, e e e e . . . N ; la particule a, de masse ma et de charge qa , se trouve en xa (t). Le champ lectromagntique cr par ces particules est inclus dans le syst`me. e e ee e Nous voulons exprimer dans le formalisme relativiste les lois de conservation

58

3. TENSEUR ENERGIE-IMPULSION

de lnergie W , de la quantit de mouvement P et du moment cintique L du e e e W syst`me. La quadriimpulsion p = p = e , P du syst`me est conserve. e e c Nous voulons donc lcrire sous la forme (3.13) e p = 1 c T 0 d3 x (3.15)

o` T est un champ de tenseur (tenseur nergie-impulsion) tel que u e T = 0. (3.16)

Les proprits dinvariance et de conservation de p seront alors automatiee quement vries. e e Remarquons que les seules quations (3.15) et (3.16) laissent encore beaue coup de latitude dans le choix de T . Ainsi, partant dun T vriant (3.15) e et (3.16) le tenseur T + , (3.17) o` est un tenseur antisymtrique sur les deux premiers indices ( = u e ), vrie galement (3.15) et (3.16). e e Examinons les proprits physiques souhaitables de T , pour rduire ee e les choix possibles. Postulons que W = T 00 d3 x et P de composantes P i = T 0i d3 x/c sont lnergie et la quantit de mouvement du volume e e lmentaire d3 x. Autrement dit on a linterprtation ee e

i T 0i = cgs

T 00 = us

densit dnergie du syst`me e e e densit gs de quantit de mouvement du syst`me. e e e (3.18)

Le moment cintique du syst`me par rapport ` O est alors e e a L= r P = r gs d3 x (3.19)

et la position du centre dnergie du syst`me est e e X= Posons L = o` u M = (x T x T ) . (3.22) 1 c x T 0 x T 0 d3 x = 1 c M 0 d3 x (3.21) 1 W r W = 1 W r T 00 d3 x. (3.20)

3.2. TENSEUR ENERGIE-IMPULSION

59

Ici, x dsigne les composantes du quadrivecteur OM qui joint lorigine au e point dintgration. M est alors un tenseur. Le tenseur antisymtrique e e L contient le moment cintique (L1 = L23 , L2 = L31 et L3 = L12 ). Les e composantes supplmentaires sont e L0i = t en posant V i = T 0i d3 x 1 c xi T 00 d3 x = W V it X i c (3.23)

c2 P i (V est la vitesse du syst`me dans son ensemble ; elle e W est relie ` la quantit de mouvement totale P et ` lnergie totale W par e a e a e W la mme relation P = 2 V que pour une particule). Le tenseur L est e c conserv. Comparant ` (3.14), on souhaite donc que M = 0, soit e a ( x ) T + x ( T ) ( x ) T x ( T ) = 0
0 0

(3.24)

ou T = T (le tenseur nergie-impulsion est symtrique). e e (3.25)

La densit dnergie us = T 00 vrie lquation de continuit (autre e e e e e criture de T 0 = 0) e us = t La densit gs = e i


j Ss = j Ss

o` u

i Ss = cT i0 .

(3.26)

T 0i de quantit de mouvement vrie lquation de contie e e c i = 0) nuit (autre criture de T e e


i gs = j T ji . t

(3.27)

Lnergie W , la quantit de mouvement P et moment cintique L dun e e e volume tridimensionnel sont respectivement W =

us d3 x,

P =

gs d3 x

et

L =

r gs d3 x. (3.28)

Calculons leurs drives par rapport ` t. On a, en utilisant le thor`me de e e a e e Gauss (3.8), dW = dt et


i dP = dt

us 3 d x= t
i gs 3 d x= t

Ss d3 x = j T ji d3 x =

Ss dS

(3.29)

T ji dSj .

(3.30)

60

3. TENSEUR ENERGIE-IMPULSION

Introduisons le tenseur ji = T ji et la force innitsimale df e df i = T ji dSj = ji dSj . Pour la drive de la composante L1 de L , on a e e dL1 = dt =

(3.31)

0 M 023 d3 x = x
3 k2

k M k23 d3 x =

M k23 dSk
2

2 k3

dSk =

x df x df

(r df )1 . (3.32)

dS df

Vectoriellement, dP = dt df

et

dL = dt

r df

(3.33)

Fig. 3.6 Tenseur des


contraintes ji dun uide.

expriment que les forces agissant sur le volume sont quivalentes au e syst`me des forces surfaciques df . e La gure 3.6 donne lanalogie avec le tenseur des contraintes ji dun uide. Le vecteur dS est orient vers lextrieur du volume . La force df e e agissant sur llment de surface dS est donn par ee e df i = ji dSj = (pij + ji )dSj . (3.34)

Pour ji = 0 (pas de viscosit), la force df est la force de pression pdS. e En prsence de viscosit, df nest pas perpendiculaire ` la surface. e e a On peut complter linterprtation (3.18) des composantes de T : e e
i Ss c

T i0 = T ij

e courant dnergie Ss du syst`me e courant de quantit de mouvement du syst`me e e (3.35)

et crire sous forme matricielle : e T = Ss /c Ss = c2 gs us cgs T ij .

(3.36)

La symtrie du tenseur implique la relation e (3.37)

3.2. TENSEUR ENERGIE-IMPULSION

61

entre le courant dnergie Ss et la densit gs de quantit de mouvement du e e e syst`me. e On remarquera lanalogie formelle entre le quadricourant j et le tenseur nergie-impulsion T . Les proprits (3.18), (3.35) et (3.36) sont analogues e ee aux proprits bien connues : ee

j 0 = c j =J
i i

densit de charge e courant J

(3.38)

j = J

(3.39)

3.2.2

Dcomposition T = Tpart + Tchamp e

Une autre proprit physique souhaitable est ladditivit de lnergie et ee e e de la quantit de mouvement. Ainsi nous postulons que la quadriimpulsion e p du syst`me est la somme e
N

p = ppart + pchamp

avec

ppart =
a=1

pa ,

(3.40)

o` pa = ma ua (resp. ua ) est la quadriimpulsion (resp. quadrivitesse) de u la particule a et pchamp la quadriimpulsion du champ. Le tenseur nergiee du syst`me se dcompose de mme en impulsion T e e e
N T = Tpart + Tchamp

avec

Tpart = a=1

Ta ,

(3.41)

o` le tenseur nergie-impulsion Ta est associ ` la particule a et le tenseur u e ea nergie-impulsion Tchamp au champ. e

3.2.3

Tenseur nergie-impulsion dune particule e

Nous allons dterminer, dans un rfrentiel K, le tenseur nergie-impule ee e sion Ta de la particule a par la condition
0 Ta d3 x =

cp a 0

si la particule est dans le volume si la particule nest pas dans .

(3.42)

62 Cette condition donne

3. TENSEUR ENERGIE-IMPULSION

0 Ta = cp (3) (r xa (t)). a

(3.43)

Procdons comme dans la section 1.7, o` on a utilis un rfrentiel K coe u e ee mobile avec la particule. La masse volumique a (M) = a (r, t) = ma (3) (r xa (t)) (3.44)

dans le rfrentiel K est lie ` la masse volumique a0 dans le rfrentiel K ee e a ee par a (M) = a0 (M). (3.45) analogue ` lquation (1.52). Dans le rfrentiel comobile, le tenseur nergiea e ee e impulsion Ta scrit e a0 c2 0 0 0 0 0 0 0 (3.46) Ta = 0 0 0 0 0 0 0 0

puisque la quantit de mouvement, les courants dnergie et de quantit de e e e mouvement sont nuls. Une criture covariante de ce tenseur est e
Ta = a0 u u . a a

(3.47)

Dans K, utilisant (3.44), (3.45) et u = a


Ta =

dx a , cette expression donne dt (3.48)

ma (3) dx a (r xa (t))u u = ma u (3) (r xa (t)) , a a a dt


Ta = p (t)(3) (r xa (t)) a

soit

dx a (t), dt

(3.49)

0 dont les composantes Ta sont bien (3.43). Le tenseur nergie-impulsion Ta e est bien symtrique, dapr`s la forme (3.47). e e Lorsque la particule interagit avec le champ, sa quadriimpulsion varie et nest pas conserve. On sattend donc ` ce que Ta = 0. Calculons sa e a valeur. Additionnons la drive de (3.43), e e 0 0 Ta =

dp (3) dxi a (r xa (t)) p a i (3) (r xa (t)), a dt dt x

(3.50)

et celles de (3.49), pour = i,


i i Ta = p a

dxi (3) a (r xa (t)). dt xi

(3.51)

3.2. TENSEUR ENERGIE-IMPULSION Cela donne, en utilisant lquation du mouvement (1.135) e dx dp a = qa F u = qa F a , a d d

63

Ta =

dp (3) dx dx a (r xa (t)) = F a qa (3) (r xa (t)) = F a a dt dt dt = F ja (3.52)

o` a (r, t) = qa (3) (r xa (t)) est la densit de charge de la particule a et a u e le quadricourant associ. e

3.2.4

Tenseur nergie-impulsion des particules e


dx a (t). dt

Le tenseur nergie-impulsion des particules est la somme e


Tpart = a Ta = a

p (t)(3) (r xa (t)) a

(3.53)

e e Dapr`s (3.52), il vrie lquation e


Tpart = F j = h .

(3.54)

Explicitement, le quadrivecteur h est h = F j = (h0 , h) = E J , E + J B c . (3.55)

La quadriimpulsion ppart des particules nest pas conserve en gnral : e e e dp part dt = =


0 0 Tpart d3 x = Tpart d3 x

[car

i i Tpart d3 x = 0 ]

F j d3 x =

h d3 x.

(3.56)

Remarquer que lintgrale spatiale du quadrivecteur h ne donne pas un e e quadrivecteur au contraire de lintgrale (3.13). Le vecteur h sinterpr`te e comme la densit volumique des forces agissant sur les particules, tandis e que ch0 est le travail accompli par les forces agissant sur les particules par unit de volume et de temps. e La trace du tenseur Tpart sexprime en fonction de la densit de masse e au repos 0 = a a0 du syst`me : e
Tr Tpart = g Tpart = a Ta = a

a0 u ua = a
a

a0 c2 = 0 c2 . (3.57)

64

3. TENSEUR ENERGIE-IMPULSION

3.2.5

Tenseur nergie-impulsion du champ e

Nous allons dterminer un tenseur symtrique Tchamp sexprimant seulee e ment en fonction du tenseur du champ lectromagntique F et vriant e e e lquation e Tchamp = F j . (3.58) La condition T = Tpart + Tchamp = 0 sera alors remplie. Portons 1 lquation de Maxwell j = e F dans h = F j et essayons de former 0 une quadridivergence.

h =

1 1 F ( F ) = [ (F F ) F ( F )] . 0 0

(3.59)

Il faut transformer le dernier terme : F ( F ) = 1 1 F F + F F 2 2 [antisymtrie de F ] e

1 = F ( F + F ) [change de et au second terme ] e 2 1 [quation de Maxwell (1.126)] e = F ( F ) 2 1 1 1 = F ( F ) = (F F ) = (g F F ) . (3.60) 2 4 4 Portant dans (3.59), on a h = Le tenseur
Tchamp =

1 1 F F + g F F . 0 4 1 1 F F + g F F 0 4

(3.61)

(3.62)

vrie (3.58), est symtrique et dpend seulement du champ lectromagne e e e e tique. Cest le tenseur nergie-impulsion du champ. e

3.2.6

Composantes de Tchamp

Ecrivons les composantes du tenseur Tchamp de faon analogue ` (3.36) : c a

Tchamp = S/c

cg
ij T(M )

(3.63)

3.2. TENSEUR ENERGIE-IMPULSION Explicitant F dans (3.62) on obtient u = g = S =


ij T(M ) = 0

65

E 2 + c2 B 2

(3.64) (3.65) (3.66) (3.67)

0E B 1 EB 0 0

1 E i E j + c2 B i B j ij E 2 + c2 B 2 2

Les interprtation physique des composantes du tenseur Tchamp sont anae logues ` (3.18) et (3.35) : a

00 Tchamp = u 0i Tchamp = cg i i0 Tchamp =

densit dnergie lectromagntique e e e e densit g de quantit de mouvement du champ e e vecteur de Poynting 1 S


ij tenseur des contraintes de Maxwell T(M ) .

Si c

ij ij Tchamp = T(M )

(3.68) La symtrie du tenseur implique la relation e S = c2 g.


La trace du tenseur Tchamp est nulle (masse des photons nulle) : Tr Tchamp = g Tchamp =

(3.69)

1 1 F F + F F = 0. 0 4

(3.70)

En rcrivant lquation (3.58) e e


Tchamp = h

(3.71)

avec les notations (3.63), on obtient le thor`me de Poynting. La composante e e = 0 donne u + S = J E (3.72) t (forme locale de la conservation de lnergie). La composante = i donne e g i ji j T(M ) = (E + J B)i t x (forme locale de la conservation de limpulsion).
1. John Henry Poynting (1852-1914)

(3.73)

66

3. TENSEUR ENERGIE-IMPULSION

Les quations (3.29) et (3.30), donnant les drives de lnergie totale W e e e e (champ et particules) et de la quantit de mouvement totale P dun volume e tridimensionnel , scrivent, dans le cas o` les particules ne traversent pas e u la surface (Tpart , quation (3.53), est alors nul sur ), e dW dt i dP dt = =

S dS

(3.74) (3.75)

ji T(M ) dSj .

La force innitsimale (3.31) applique sur llment de surface dS sexprime e e ee par ji df i = T(M ) dSj (3.76) ce qui justie le nom (tenseur des contraintes de Maxwell) donn ` T(M ) . e a ij Exercice 3.1. Calculer df lorsque est la surface dun conducteur, E est perpendiculaire ` la surface et B = 0. a

3.2.7

Tenseur nergie-impulsion canonique e

La formulation lagrangienne de la mcanique permet de faire le lien e entre les lois de conservation (nergie, impulsion, moment cintique) et les e e symtries du syst`me (respectivement uniformit du temps, homognit et e e e e e e isotropie de lespace). Ainsi, on peut tablir la conservation de lnergie du e e syst`me dcrit par un lagrangien L(x, x) ne dpendant pas explicitement e e e du temps de la faon suivante. On porte dans L(x, x) une solution x(t) c dL L L des quations dEuler-Lagrange (2.8) et on forme e = x+ x. On dt x x L d L remplace par pour obtenir x dt x L d L d L dL x+ = x= x . dt dt x x dt x On en dduit la conservation de lnergie e e H= (3.77)

dH = 0 o` H est lhamiltonien u dt (3.78)

L x L = px L. x

Procdons de faon analogue pour un syst`me dcrit par la densit lae c e e e grangienne L (k , k ) ne dpendant pas explicitement des coordonnes de e e lespace-temps E. Soit donc une solution k des quations dEuler-Lagrange (2.50). On a e L = L L k + k . k ( k ) (3.79)

3.2. TENSEUR ENERGIE-IMPULSION L L par : k ( k )

67

On utilise (2.50) pour remplacer

L = ou

L L k + [ k ] ( k ) ( k ) L k . ( k )

(3.80)

g L =

(3.81)

Pour le champ lectromagntique libre, cette quation conduit ` lintroe e e a duction du tenseur nergie-impulsion canonique du champ e
Tcan =

Lchamp A g Lchamp . ( A )

(3.82)

La densit lagrangienne Lchamp tant un invariant scalaire, Tcan est bien un e e 00 tenseur et ce tenseur vrie Tcan = 0 dapr`s (3.81). La composante Tcan e e est la densit hamiltonienne (comparer ` (2.52)) e a

Hchamp =

Lchamp 0 A Lchamp (0 A )

(3.83)

et donc associe ` la densit dnergie. e a e e Lchamp 1 e = F (cf. quation (2.57)) on a explicitement En utilisant ( A ) 0
Tcan =

1 1 F ( A ) + g F F . 0 4

(3.84)

Ce tenseur est inacceptable pour reprsenter des grandeurs physiques. Il e nest pas symtrique et dpend du choix de jauge. Toutefois, ` laide dune e e a a transformation (3.17), ` savoir en rajoutant 1 1 (A F ) = F ( A ) 0 0 (3.85)

(Lchamp se rapporte au champ libre pour lequel F = 0), on retrouve le tenseur nergie-impulsion Tchamp donn par lquation (3.62). e e e

68

4. THEORIE QUANTIQUE DU RAYONNEMENT

Thorie quantique du e rayonnement


Llectrodynamique quantique permet de dcrire les interactions lece e e tromagntiques des particules charges. Lobjectif de ce chapitre est de e e prsenter une partie de cette thorie, la description quantique dun syst`me e e e champ + particules ` basses nergies, o` on peut ngliger la possibilit de a e u e e cration de paires particules-antiparticules. On abandonnera la covariance e relativiste explicite en utilisant la jauge de Coulomb. Cette description est bien adapte ` ltude des processus dinteraction entre mati`re (atomes e a e e et molcules) et rayonnement. e

4.1
4.1.1

Quantication dun oscillateur harmonique


Quantication canonique

On rappelle la mthode de quantication dun oscillateur harmonique e dquation e x = 2 x. (4.1) Loscillateur est dcrit par le lagrangien (on pose la masse m = 1) e L= 1 2 x 2 x2 . 2 L = x et lhamiltonien est x 1 2 p + 2 x2 . 2 (4.3) (4.2)

Le moment conjugu de x est p = e

H = px L = Les quations de Hamilton sont e x= H p et

p=

H . x

(4.4)

4.1. QUANTIFICATION DUN OSCILLATEUR HARMONIQUE

69

La quantication canonique consiste ` remplacer les variables conjugues x a e et p par des oprateurs hermitiques 1 qui agissent sur un espace de Hilbert 2 e (espace des tats) et vrient la relation de commutation e e [x, p] = i . On dduit de cette relation que [p, f (x)] = i e cest-`-dire quon peut faire les identications a p = i x et x=i (4.5) f f et [x, f (p)] = i , x p . p (4.6)

Lhamiltonien H devient un oprateur qui dtermine lvolution du syst`me. e e e e On peut adopter deux points de vue. Dans le point de vue de Schrdinger 3 , les oprateurs x et p sont xes et o e les vecteurs dtat |S (t) voluent suivant e e i d |S (t) = H |S (t) . dt (4.7)

Il existe un oprateur unitaire dvolution U (t, t0 ) qui translate les vecteurs e e dtat de linstant t0 ` linstant t e a |S (t) = U (t, t0 ) |S (t0 ) . Loprateur dvolution U (t, t0 ) vrie e e e i d U (t, t0 ) = HU (t, t0 ) dt et U (t0 , t0 ) = 1. (4.9) (4.8)

Il satisfait ` la loi de composition multiplicative a U (t, t0 ) = U (t, t1 )U (t1 , t0 ). Supposant H indpendant du temps, on pourra crire e e U (t, t0 ) = eiH(tt0 )/ . (4.11) (4.10)

Dans le point de vue de Heisenberg 4 , les vecteurs dtat |H sont xes e |H = U 1 (t, t0 ) |S (t) = |S (t0 ) (4.12) et les oprateurs AH (t) = U 1 (t, t0 )AS U (t, t0 ) voluent au cours du temps e e selon d i (4.13) AH (t) = [AH (t), H] dt
1. Charles Hermite (1822-1901) 2. David Hilbert (1862-1943) 3. Erwin Rudolf Josef Alexander Schrdinger (1887-1961) o 4. Werner Karl Heisenberg (1901-1976)

70

4. THEORIE QUANTIQUE DU RAYONNEMENT

pour un oprateur AS indpendant du temps dans le point de vue de Schre e o dinger (H tant indpendant du temps HH = H). Lobservable physique e e associe aux oprateurs AS et AH sobtient par e e S (t)| AS |S (t) reprs. Schrdinger e o = H | AH (t) |H reprs. Heisenberg e (4.14)

Le point de vue de Heisenberg conduit ` une analogie formelle entre Ma e canique Classique et Mcanique Quantique : lquation (4.13) donne pour e e xH (t) et pH (t), en utilisant lquation (4.6), e dxH [xH , H] = = dt i H p et
H

dpH [pH , H] = = dt i

H x

(4.15)
H

qui ont la mme forme que les quations de Hamilton (4.4). e e

4.1.2

Rappel sur loscillateur harmonique

Loscillateur harmonique quantique est dcrit plus commodment en ine e et destruction a, troduisant les oprateurs cration a e e x + ip a= , 2 x ip a = , 2 (4.16)

conjugus hermitiques lun de lautre. Ces oprateurs vrient la relation de e e e commutation a, a = 1, (4.17) a + a , a a 2 .
1 2

2 et lhamiltonien scrit e

x=

p=i 1 2

(4.18)

H = a a +

(4.19) , o` n = 0, u

Les vecteurs propres de H sont |n , de valeurs propres n + 1, 2, . . . . On a les relations a |n = n + 1 |n + 1 a |n = n |n 1 a |0 = 0 |n = a |0 . n!


n

(4.20)

En reprsentation de Heisenberg, les oprateurs cration-destruction ont la e e e forme a (t) = a ei(tt0 ) , aH (t) = aei(tt0 ) . (4.21) H

4.1. QUANTIFICATION DUN OSCILLATEUR HARMONIQUE

71

4.1.3

Interprtation en termes de particules e

Deux niveaux dnergie conscutifs di`rent dun quantum dnergie e e e e . On interpr`te ltat |n comme dcrivant un syst`me de n particules e e e e (phonon, photon, etc.) ayant toutes les mmes caractristiques (nergie , e e e quantit de mouvement k, polarisation pour des photons). Loprateur e e N = a a est le nombre de particules. Loprateur a cre une particule et e e loprateur a dtruit une particule. Le vecteur dtat |0 reprsente le vide ; e e e e il lui est associ une nergie /2. Ces particules sont des bosons 5 : elles e e sont toutes dans le mme tat quantique et leur nombre n est arbitraire. e e

4.1.4

Ensemble doscillateurs harmoniques indpendants e

Considrons maintenant un ensemble de p oscillateurs harmoniques ine dpendants. Lespace des tats E = E1 E2 Ep est le produit tensoriel e e des espaces Ei des divers oscillateurs. Lhamiltonien scrit e
p

H=
i=1

i a ai + i

1 2

(4.22)

et les oprateurs de loscillateur k commutent avec ceux de loscillateur l = e k: ak , a = kl , (4.23) et [ak , al ] = a , a = 0. l k l Les vecteurs propres de H (on pose |0 = |0 |0 |0 ), |m1 , m2 , . . . , mp = |m1 |m2 |mp a 1 = m1 !
m1

a a p 2 |0 , (4.24) m2 ! mp !

m2

mp

dnergie e

p i=1

i (mi + 1/2), forment une base de lespace E.

4.1.5

Transformation unitaire doprateurs cration-destructionTransformation unie e taire doprateurs cration-destruction e e

Envisageons le cas o` toutes les frquences i (i = 1, . . . p avec p > 1) u e sont les mmes (oscillateur isotrope ` p dimensions). Les niveaux dnergie e a e ne dpendent que de m = p mi et sont dgnrs pour m > 0. Conside e e ee e i=1 rons la transformation doprateurs cration-destruction e e ai = Uij aj ,
ai = Uij a j

(sommations sur j)

(4.25)

o` Uij est une matrice unitaire p p. u


5. Satyendranath Bose (1894-1974)

72

4. THEORIE QUANTIQUE DU RAYONNEMENT Montrons quelques proprits de cette transformation. ee Elle prserve la forme (4.23) des relations de commutation : e
ai , aj = Uik Ujl ak , a = Uik Ujk = ij , l

(4.26)

ai , aj = Uik Ujl [ak , al ] = 0.

(4.27)

Elle prserve la forme de loprateur N = a aj (sommation sur j) : e e j


aj aj = Ujk Ujl a al = kl a al = a ak . k k k

(4.28)

Les vecteurs propres de


p

H=
i=1

a ai + i

1 2
m1

=
i=1 m2

ai ai +
mp

1 2

m1 , m 2 , . . . , m p dnergie e
p i=1 (mi

a1 = m1 !

a2 ap |0 , m2 ! mp !

(4.29)

+ 1/2) forment une autre base de lespace E.

4.2

Lagrangien

Considrons un syst`me form de N particules charges a = 1, . . . N , de e e e e coordonnes xa (t). On note e a (r, t) = qa (3) (r xa (t)) la densit de charge de la particule a. Le quadricourant est e
N

(4.30)

j (r, t) = c, J =
a=1

a (r, t) c, xa (t) .

(4.31)

On considrera des particules non relativistes dont on nglige le spin. Le e e lagrangien du syst`me champ lectromagntique + particules est e e e
N

L =
a=1

ma xa 2

L d3 x

L =

1 E 2 c2 B 2 + J A + 20 c2

(4.32)

` 4.3. PROBLEMES DANS LA QUANTIFICATION

73

4.3

Probl`mes dans la quantication du champ e lectromagntique e e


X = 1 L 1 F = c ( A ) c0

Posons [en utilisant (2.57)]. (4.33)

Le champ moment conjugu A du champ A est la composante X 0 de e ce tenseur : L 1 L 1 1 0 1 L F i = 2 E i , A0 = = = 0. = i c (0 Ai ) c0 c 0 c (0 A0 ) A (4.34) 1 i Les champs Ai vrient i Ai = 2 i E = qui ne dpend que e e c 0 i de la position xa des particules. La mthode de quantication remplace deux variables conjugues par e e des oprateurs ayant un commutateur non nul. Deux dicults apparaissent e e pour quantier ce syst`me : e On ne peut pas former un commutateur non nul avec le couple A0 , A0 = 0. Lexistence dune relation fonctionnelle entre les variables canoniques xa et Ai (r, t) (les drives i Aj par rapport ` xi sont des combinaie e a sons de variables inniment proches) est incompatible avec les formes usuelles des commutateurs. On peut le comprendre avec un exemple dans le cas des variables canoniques discr`tes xi , pi . Si les variables e sont lies par x1 = p2 p3 ( constante), on ne peut pas imposer e [x1 , p1 ] = i car [x1 , p1 ] = [p2 , p1 ] [p3 , p1 ] = 0 est incompatible avec [pi , pj ] = 0. Ces dicults peuvent tre attribues ` la redondance des potentiels. e e e a Ai =

4.3.1

Mthode de quantication utilise e e

La premi`re dicult sera rgle en liminant la variable redondante e e e e e A0 = /c. Cette limination est rendue plus simple en utilisant la jauge de e Coulomb A = 0. La covariance des quations nest alors plus manifeste. e De faon gnrale, lorsquune vitesse x0 (comme ici A0 (r, t) en tout c e e point r) nintervient pas dans un lagrangien L(x0 , x1 , . . . , xN , x1 , . . . , xN ), lquation dEuler-Lagrange relative ` x0 e a L (x0 , x1 , . . . , xN , x1 , . . . , xN ) = 0 x0 permet de considrer x0 comme une fonction implicite e x0 = f (x1 , . . . , xN , x1 , . . . , xN ) (4.35)

74

4. THEORIE QUANTIQUE DU RAYONNEMENT

des autres variables et vitesses. Le syst`me peut alors tre dcrit par les 2N e e e variables et vitesses x1 , . . . , xN , x1 , . . . , xN et le lagrangien L = L(f (x1 , . . . , xN , x1 , . . . , xN ), x1 , . . . , xN , x1 , . . . , xN ). Si le principe de moindre action est satisfait quand le syst`me est dcrit par e e L avec la variable x0 , il reste a fortiori satisfait quand le syst`me est dcrit e e par L . On simpose la jauge de Coulomb : les variables Ai sont lies par A = 0. e La seconde dicult sera rgle en remplaant les variables lies Ai par des e e e c e variables indpendantes (variables normales). e

4.3.2

Autre mthode e

On peut quantier le syst`me des particules et du champ lectromagne e e tique en gardant la covariance des quations. On rajoute au lagrangien une e densit de la forme e 1 Ljauge = ( A )2 (4.36) 0 qui contient la drive A0 . Le nouveau syst`me peut alors tre quanti de e e e e e faon canonique. Lorsquon impose ensuite la condition de Lorenz A = 0, c Ljauge = 0 et on retrouve le syst`me initial. e

4.4

Elimination de et utilisation de la jauge de Coulomb


A . t

Ecrivons E = E + E o` u E = , E = (4.37)

Cest la dcomposition de E en un champ longitudinal E (qui vrie e e E = 0) et en un champ transverse (ou solnodal) E (qui vrie E = 0 e e puisquon suppose A = 0). En jauge de Coulomb, vrie lquation de e e e Poisson (1.23) ; cest donc le potentiel coulombien de la rpartition instantane de charge e (r, t) = 1 4 0 d3 x (r , t) = |r r | qa 1 . 4 0 |r xa (t)| (4.38)

Transformons la contribution de E 2 au lagrangien (4.32) 1 20 c2 = E 2 d3 x 1 20 c2


2 E d3 x +

1 0 c2

E E d3 x +

1 20 c2

2 3

d x. (4.39)

4.5. CONDITIONS AUX LIMITES PERIODIQUES La deuxi`me intgrale du membre de droite est nulle : e e (i )(0 Ai ) d3 x = La troisi`me scrit : e e
0

75

0 i Ai d3 x = 0.

(4.40)

E i i d3 x =

i E i d3 x =

i E i d3 x =

1 2

d3 x.

En y ajoutant la contribution gien, nous crivons e 1 2 d3 x = 1 8 0

(4.41) d3 x du terme dinteraction du lagrana (r, t)b (r , t) = |r r | a (r, t)a (r , t) |r r |

d3 xd3 x

a, b

a WCoul UCoul

(4.42) (4.43)

o` u
a WCoul =

1 8 0

d3 xd3 x

est lnergie coulombienne propre de la particule a (qui est innie pour une e rpartition de charge ponctuelle) et e UCoul (x1 , . . . , xN ) =
a<b

1 4 0

d3 xd3 x

a (r, t)b (r , t) |r r | =
a<b

qa qb 1 4 0 |xa xb |

(4.44)

est lnergie coulombienne dinteraction entre les particules. Le lagrangien e scrit maintenant, en ngligeant lnergie propre des particules, e e e
N

L=
a=1

ma 2 xa UCoul + 2

N a=1

qa xa A(xa , t)
JA d3 x

1 20 c2

c2

d3 x. (4.45)

4.5

Conditions aux limites priodiques e

Nous allons supposer que le syst`me se trouve dans une bo cubique e te B de ct (|xi | ) et que les champs et leurs drives vrient des oe e e e 2 conditions aux limites priodiques e f (x1 , x2 , x3 , t) = f (x1 + , x2 , x3 , t) = f (x1 , x2 + , x3 , t) = f (x1 , x2 , x3 + , t). (4.46)

76

4. THEORIE QUANTIQUE DU RAYONNEMENT

On peut dvelopper les champs en sries de Fourier 6 e e f (r, t) =


nD

fn (t)eikn r ,

g(r, t) =
nD

gn (t)eikn r

(4.47)

quelques relations utiles (les intgrales sont prises sur la bo B). e te Orthogonalit : e ei(kn km )r d3 x =
3

o` D est lensemble des vecteurs n = n = (nx , ny , nz ) (la `che sur n sera u e 2n . Voici omise dans la suite) avec nx , ny , nz = 0, 1, 2, . . . et kn =

mn =

mx nx my ny mz nz .

(4.48)

Transformation inverse de (4.47) : fn = 1


3

f (r, t)eikn r d3 x.

(4.49)

Fonction (3) (r r ) (r, r dans B) : en portant f (r, t) = (3) (r r ) 1 dans lquation (4.49) on trouve fn = 3 eikn r et (4.47) donne alors e (3) (r r ) = Identit de Parseval 7 : e |f (r, t)|2 d3 x =
fm fn ei(kn km )r d3 x = mn n 3

1
3 n

eikn (rr ) .

(4.50)

|fn |2 .

(4.51)

Identit de Plancherel 8 : e f (r, t)g(r, t)d3 x =


n 3 fn gn .

(4.52)

Fonction relle : e f (r, t) rel quivaut ` e e a


fn = fn

n D.

(4.53)

On retrouve lespace entier en prenant la limite sur n deviennent des intgrales sur k. e
3

. Les sommes d3 k,
3

fn (t) f (k, t),

2
n

nn
6. Jean-Baptiste Joseph Fourier (1768-1830) 7. Marc-Antoine Parseval des Chnes (1755-1836) e 8. Michel Plancherel (1885-1967)

(3) (k k ). (4.54)

4.6. POTENTIEL VECTEUR : COMPOSANTES AN

77

4.6

Potentiel vecteur : composantes An


An (t)eikn r
nD

Le potentiel vecteur A(r, t) = vrie la condition de Coulomb e A =


nD

(4.55)

ikn An eikn r = 0.

(4.56) kn

La composante An est donc perpendiculaire ` kn . On a aussi la relation (4.53) a A = An . Pour viter des singularits, nous supposerons de plus que An = 0 e e n pour n = (0, 0, 0) (cette restriction dispara dans la limite lorsque t les kn peuvent devenir inniment petits). Soit D une moiti de D = D e n1 {(0, 0, 0)}, cest-`-dire un sous-ensemble de D tel que pour tout n D a alors exactement une seule des valeurs n ou n se trouve dans D . Pour e tout n D , introduisons (cf. gure 4.1) une base transverse forme de deux vecteurs complexes n ( = 1, 2 ; la direction transverse de n1 est Fig. 4.1 arbitraire et indpendante des autres n (n D , n = n) ; les composantes e sur Ox1 x2 x3 du vecteur n sont notes i ) : e n kn kn = , kn
n n =

n2

Base transverse.

et

n kn = 0
i j kn kn

pour

, = 1, 2. (4.57) (4.58)

i j = ij n n

kn

2.

Ecrivant An = An n et An = A = A n pour n D , il n n vient A(r, t) = An n eikn r + A n eikn r (4.59) n n

o` la somme porte sur = 1, 2 et n D (ce qui est indiqu par u e ). Les variables complexes An (t) (n D , = 1, 2) sont indpendantes les e unes des autres. Dnissons (provisoirement) les vecteurs transverses de kn e (n D ) par n = n et posons An = A . Lquation (4.59) devient e n A(r, t) =
n

An n eikn r

(4.60)

et le champ lectrique transverse scrit e e E = A = n An n eikn r + A n eikn r = An n eikn r


n

(4.61)

78

4. THEORIE QUANTIQUE DU RAYONNEMENT

Portons ces expression dans les intgrales e A et c2 A


2 2 2 2

d x=

3 n

An n

3 n

An

=2

3 n

An

(4.62)

d3 x =

3 2

3 2

An ikn n
2 kn |An |2 = 2 3 n 2 n |An |2 (4.63)

o` n = kn c. Le lagrangien (4.45) scrit maintenant en fonction des vau e a , An , An (a = 1, . . . , N , n D , riables discr`tes indpendantes xa , x e e = 1 ou 2)
N

L =
a=1

ma 2 xa UCoul (x1 , . . . ,xN ) + 2

qa xa A(xa ,t) + Lchamp (4.64)

A(xa , t) =
n 3

An n eikn xa + A n eikn xa n 2

Lchamp =

c2

An
n

2 n |An |2 .

Remplaons les variables complexes An par les variables relles Xn1 et c e Xn2 0 c2 (Xn1 + iXn2 ) . (4.65) An = 2 3 On a (somme sur s = 1, 2) Lchamp =
ns

1 2 2 2 Xns n Xns . 2

(4.66)

Ecrit avec les variables Xns , le champ libre appara comme un ensemble t doscillateurs harmoniques indpendants qui voluent suivant e e
2 Xns + n Xns = 0.

(4.67)

Le potentiel vecteur A et le champ lectrique transverse E = A scrivent, e e dapr`s les quations (4.59), (4.61) et (4.65), e e A(r, t) =
ns

Xns fns (r),

E (r, t) =

Xns fns (r)


ns

(4.68)

4.7. HAMILTONIEN

79

o` les fonctions fns (r) forment une base relle des champs de vecteurs u e transverses. Elles sont normalises par e fns (r) fn s (r)d3 x = 0 c2 nn ss et donnes explicitement par e fn1 (r) = fn2 (r) = i 0 c2 n eikn r + n eikn r , 2 3 0 c2 n eikn r n eikn r . 2 3 (4.69)

(4.70)

Si n est rel (n = = n ) elles se simplie en e n 20 c2


3

fn1 (r) =

n cos kn r,

fn1 (r) =

20 c2
3

n sin kn r.

(4.71)

4.7

Hamiltonien
L = Xns Xns

Le moment canonique conjugu de Xns est e ns = et celui de xi est a pi = a L = ma xi + qa Ai (xa , t) a xi a (on pose pa = (p1 , p2 , p3 )). a a a (4.73) (4.72)

Lhamiltonien est H =
a

p a xa +

ns

ns Xns L 1 2 2 2 Xns + n Xns(4.74) 2

=
a

ma 2 xa + UCoul (x1 , . . . , xN ) + 2

ns

soit, dans les variables Xns , xa , ns et pa H=


a

1 pa qa A(xa , t) 2ma

+ UCoul (x1 , . . . , xN ) +
ns

1 2 2 2 + n Xns . (4.75) 2 ns

80

4. THEORIE QUANTIQUE DU RAYONNEMENT

4.8

Quantication canonique

Nous adoptons le point de vue de Schrdinger. Les variables conjugues o e (relles) sont transformes en oprateurs hermitiques indpendants du temps e e e e qui commutent entre-eux sauf (non somm sur les indices rpts). e e ee (4.76) Il est plus commode dutiliser les oprateurs cration et destruction associs e e e a ` chaque oscillateur harmonique : ans = n Xns + ins 2 n et a = ns n Xns ins 2 n (4.77) xi , pi = [Xns , ns ] = i a a

conjugus hermitiques lun de lautre. Ces oprateurs vrient les relations e e e de commutation ans , a s n Inversement Xns = a + ans , ns ns = i n ans ans 2 (4.79) 1 2 = nn ss , [ans , an s ] = a , a s ns n = 0. (4.78)

2n

et lhamiltonien du champ libre scrit e Hchamp =


ns

n a ans + ns

(4.80)

Le potentiel vecteur (4.68) devient loprateur (indpendant du temps) e e A(r) =


ns

2n

ans fns + a fns . ns

(4.81)

La variable Xns est remplace par loprateur ns et le champ lectrique e e e transverse devient loprateur e E (r) =
ns

n ians fns ia fns . ns 2

(4.82)

4.9

Modes normaux

Pour faciliter linterprtation physique nous allons eectuer un changee a ment de la base (4.70) en revenant ` des fonctions exponentielles, comme

4.9. MODES NORMAUX dans (4.60). Ainsi, posant pour n D fn (r) = 1 fn1 ifn2 2 1 fn1 + ifn2 2 = = 0 c2
3

81

n eikn r , (4.83) n eikn r ,

fn (r) =

0 c2
3

le changement de base scrit matriciellement e fn fn 1 = 2 fn1 fn2 1 1 i i = fn1 fn2 U (4.84)

o` U est la matrice unitaire u 1 U= 2 Posons pour n D an = an1 + ian2 2 et an = an1 ian2 . 2 (4.86) 1 i 1 i . (4.85)

e e e e Cest la transformation (4.25) doprateurs cration-destruction tudie section 4.1.5 correspondant ` la matrice unitaire U (4.85). Les oprateurs desa e truction (4.86) an (n D ) et leurs conjugus hermitique a vrient e n e donc les relations de commutation an , a n = nn , [an , an ] = a , a n n = 0. (4.87)

Dapr`s (4.28), e s ans ans = an an + an an et lhamiltonien du e champ libre (4.80) scrit

Hchamp =
n

n a an + n

1 2

(4.88)

On a fn fn soit
s ans fns s ans fns

an an

fn1 fn2

U U
=1

an1 an2

(4.89)

= an fn + an fn , = a fn + a fn . n n

(4.90)

Les expressions (4.81) et (4.82) deviennent A=


n an fn + a fn , n

2n

(4.91)

82

4. THEORIE QUANTIQUE DU RAYONNEMENT

E =
n

n ian fn ia fn , n 2

(4.92)

soit A(r) =
n

0 c2 an n eikn r + a n eikn r n 2 3 n

(4.93)

et E (r) = i
n

0 c2 n an n eikn r a n eikn r . n 2 3

(4.94)

Il est possible de changer la base transverse correspondant ` un n donn a e par une nouvelle transformation unitaire V de la base et des oprateurs e (sommation sur les indices rpts) e ee
n = V n ,

an = V an .

(4.95) (4.96)

On a alors an = an n = an n . La forme des quations (4.93) et (4.94), des relations de commutation (4.87) e e et de lhamiltonien du champ libre (4.88) reste inchange. On peut donc lever la condition n = n qui permettait de simplier les calculs. Les expressions (4.93) et (4.94) sont des dveloppements en modes normaux. Par e transformation unitaire de la base, en se limitant ` combiner entre-elles des a fonctions de base correspondant au mme n (pour garder la forme (4.88) e de lhamiltonien), on obtiendra dautres dveloppements en modes normaux. e Exemple : les dveloppements (4.81) et (4.82). e

4.10

Oprateurs du point de vue de Heisenberg e (champ libre)

En reprsentation de Heisenberg, pour le champ libre, les oprateurs e e cration-destruction ont la forme (quation (4.21) o` on prend t0 = 0) e e u a (t) = a ein t et an (t) = an ein t . Loprateur du champ AH (r, t) e n n dans la reprsentation de Heisenberg scrit e e AH (r, t) = N an (r, t) + a + (r, t) (4.97) n n n
n

o` N = 0 c et u (r, t) = + (r, t) n n

c n eikn rin t . 2 3 n

(4.98)

4.11. RECAPITULATIF DES OPERATEURS

83

Les fonctions forment une base dondes planes du champ classique et n sont normalises par e , = n m pour le produit scalaire f1 , f2 = i
B d3 x f1

mn ,

, m = 0 n

(4.99)

f2 ct

f1 ct

f2 .

(4.100)

Loprateur EH (r, t) sobtient (champ libre) par e EH (r, t) = AH =i N t n an (r, t) a + (r, t) . (4.101) n n n

Noter que lintroduction du facteur N dans (4.97) correspond ` la forme a de lnergie cintique du champ dans lagrangien (4.45) e e 1 T = 20 c2 A
2

c 1 d x= 2 N
3

A ct

d3 x.

(4.102)

4.11
xi ), a

Rcapitulatif des oprateurs e e

Nous avons dni les oprateurs xa (a = 1, . . . , N , de composantes e e i ), a = pa (de composantes pa e n an n (n D ) et son conjugu qui vrient les relations de commutation hermitique an = an n e an , a n xi , p j a b xi , an a = nn , = i ab ij , = xi , a a n = [an , an ] = xi , x j a b pi , an a = = a , a n n pi , pj a b i , a pa n = 0, = 0,

= 0. (4.103) Lhamiltonien du syst`me champ + particules peut se dcomposer en trois e e parties H = Hpart + Hint + Hchamp 1 2 Hpart = p + UCoul (x1 , . . . , xN ) 2ma a a Hint =
a

q2 qa A(xa ) pa + a A 2 (xa ) ma 2ma 1 2 . (4.104)

Hchamp =
n

n a an + n

84

4. THEORIE QUANTIQUE DU RAYONNEMENT

On a utilis pa A(xa ) = A(xa ) pa en jauge de Coulomb. La partie Hpart e ne dpend que des oprateurs des particules xa et pa . La partie Hchamp ne e e dpend que des oprateurs du champ an et a . La partie Hint dpend ` la e e e a n fois des oprateurs des particules et du champ. Les oprateurs du champ e e sont A=
n

0 c2 an eikn r + a eikn r , n 2 3 n

=
n

n eikn r

(4.105)

(, donn par lquation (4.38), et ses composantes de Fourier n ne dpene e e dent pas des an ), E = i
n

0 c2 n an eikn r a eikn r , n 2 3

E = i

n kn eikn r ,
n

(4.106) et B= A=i 0 c2 kn an eikn r kn a eikn r . n 2 3 n (4.107)

4.12

Espace des tats e

Champ libre
Lhamiltonien du champ libre Hchamp =
n

n a an + n

1 2

(4.108)

est la somme dhamiltoniens doscillateurs harmoniques indpendants. Lese pace Echamp des tats du champ libre est le produit tensoriel des espaces des e divers oscillateurs. Une base des tats est constitue des tats de Fock 9 e e e |mn1 1 , mn2 2 , . . . = a 1 1 n
mn1 1

a 2 2 n

mn2 2

mn1 1 !

mn2 2 !

|0 .

(4.109)

vecteur propre de loprateur Nn = a an avec la valeur propre mn et e n de lhamiltonien du champ libre Hchamp avec lnergie E0 + n mn . e
n

A ltat fondamental |0 , dni par an |0 = 0 pour tout n et , est associe e e e n une nergie absolue E0 = 0| Hchamp |0 = e innie. Ltat (4.109) est e 2 n

9. Vladimir Alexandrovich Fock (1898-1974)

4.12. ESPACE DES ETATS

85

On interpr`te ces proprits en introduisant les photons du mode n. e ee Chacun est dot de lnergie n , de la polarisation n et, comme on le e e verra section 4.13, de la quantit de mouvement kn . Loprateur Nn est e e lobservable nombre de photons du mode n. Ltat (4.109) dcrit un tat e e e de mn1 1 photons du mode n1 1 , de mn2 2 photons du mode n2 2 , . . . . Son nergie par rapport au vide est la somme e n mn des nergies de tous e ces photons. Loprateur a cre un photon dnergie n , de quantit de e e e e n mouvement kn et de polarisation n ; loprateur an dtruit un tel photon. e e
n

Champ + particules
Lespace des tats des particules, sur lequel agissent les oprateurs xa et e e pa (a = 1, N ), peut tre identi, pour des particules sans spin, ` lespace e e a Epart des fonctions complexes (x1 , . . . , xN ) de module au carr sommable. e Lespace des tats du syst`me champ + particules est le produit tensoriel e e Epart Echamp . Si |a (a = 1, 2, . . . ) dsigne une base de Epart , forme de e e vecteurs propres de Hpart , une base des tats du syst`me est constitue des e e e tats e |a, mn1 1 , mn2 2 , . . . = |a |mn1 1 , mn2 2 , . . . (4.110) qui sont les vecteurs propres de Hpart + Hchamp . Remarque : dans le traitement relativiste, le nombre de particules (lece trons, positrons, etc.) est variable. On peut utiliser une base des tats pare ticulaires qui spcie les nombres doccupation des particules dans chaque e 3 tat normal possible. Pour des particules de spin demi-entier ( 1 , 2 , . . . ), e 2 10 , les nombres doccupation sont 0 ou 1 (les champs qui sont des fermions correspondants sont quantis ` laide danticommutateurs). Pour des pare a ticules de spin entier, qui sont des bosons, les nombres doccupation mn peuvent prendre toutes les valeurs enti`res (les champs correspondants sont e quantis ` laide de commutateurs). e a

Fonction donde dun tat ` un seul photon e a


Un tat |(t) ` un seul photon se dveloppe sur les tats ` un photon e a e e a de la base (4.109) : |(t) = 1 (kn , , t)a |0 . n (4.111)

quantit de mouvement kn et de polarisation n . Cela sugg`re dintroduire e e une fonction donde vectorielle dnie dans lespace rciproque (fonction de e e
10. Enrico Fermi (1901-1954)

Il est ainsi dcrit par une fonction donde 1 (k, ). La fonction donde e 1 (k, ) = (kkn ) correspond ` ltat a |0 , cest ` dire ` un photon de a a a e n

86

4. THEORIE QUANTIQUE DU RAYONNEMENT

limpulsion p) en posant (p, t) = 1 (kn , , t)n pour p = kn . Voici quelques proprits de cette fonction donde. ee Elle vrie la contrainte e p (p, t) = 0. (4.112)
2

La probabilit de mesurer la quantit de mouvement p est (p, t) . e e Le caract`re vectoriel correspond au spin s = 1 du photon (une pare ticule de spin s = 1/2 est dcrite par un spineur ` 2 composantes et e a plus gnralement une particule de spin s par 2s + 1 composantes). Ce e e point sera dtaill dans la section 4.14 e e La fonction donde est dnie dans lespace rciproque. Une particule e e massive de spin s = 1 peut tre dcrite par une fonction donde vectoe e rielle dans lespace des positions ou des impulsions. Ainsi une telle particule localise en r0 est dcrite par la fonction donde (r) = A(3) (r e e r0 ) ou (p) = A eipr0 / , o` A est un vecteur constant. La fonction u donde (p) = A eipr0 / ne satisfait pas ` la contrainte (4.112) et a ne peut tre utilise pour former un tat ` un photon localis en r0 . e e e a e Il serait souhaitable, par exemple pour dcrire une exprience dine e terfrences ` un photon, de pouvoir dnir ltat ` un photon localis e a e e a e en r0 et la fonction donde dans lespace des positions. Mais cest impossible dapr`s Newton et Wigner 11 qui ont montr quil nexiste pas e e dtats localiss dune particule de masse nulle. e e Si la fonction donde (p, t) convient pour dcrire un photon libre, ce e nest plus le cas en prsence dinteractions avec la mati`re car alors e e le nombre de photons nest plus constant (phnom`nes dmission et e e e absorption de photons).

Evolution du syst`me e
Dans le point de vue de Schrdinger, lvolution du syst`me est donne o e e e par lquation e i d |(t) = H |(t) = (Hpart + Hchamp + Hint ) |(t) . dt (4.113)

En partant des tats (4.110), vecteurs propres de Hpart + Hchamp , et en e traitant Hint comme une perturbation on peut en obtenir des solutions approches par la mthode des perturbations. e e
11. T. D. Newton and E. P. Wigner 12 , Rev. Mod. Phys. 21, 400 (1949) 12. Eugene Paul Wigner (1902-1995)

4.13. QUANTITE DE MOUVEMENT DU CHAMP

87

4.13

Quantit de mouvement du champ e


1 0 c2

La quantit de mouvement classique du champ est e P = d3 x E B. (4.114)

La transformation dun produit 1 2 de deux grandeurs classiques en ope rateur pose un probl`me lorsque les oprateurs quantiques correspondants e e 1 et 2 ne commutent pas. Une faon de procder, pour des champs quanc e tiques donns en fonctions doprateurs cration-destruction, est de former e e e le produit normal : 1 2 : qui consiste ` rcrire chaque produit doprateurs a e e cration-destruction en dplaant les oprateurs destruction ` droite des e e c e a oprateurs cration (sans tenir compte des commutateurs non nuls). Ainsi e e : aa : = a a, : a a : = a a . Loprateur ainsi obtenu a une valeur moyenne e 1 2 1 2 nulle pour ltat du vide. Avant dappliquer cette mthode ` P , crivons e e a e i en fonction de E et A. dabord sa composante P Pi = 1 0 c2 eijk eklm
il jm im jl

d3 x E j l Am =

1 0 c2

d3 x E j i Aj E j j Ai . (4.115)

Pour = 0 (champ libre) 1 0 c2

j Ej

= 0 et le deuxi`me terme est nul : e 1 0 c2 d3 x j E j Ai = 0. (4.116)

d3 x E j j Ai =

Nous dnissons loprateur P i par e e Pi = 1 0 c2 d3 x : E j i Aj : (4.117)

o` nous substituons les oprateurs u e E=


n

En eikn r ,

avec

En = i

0 c2 n (an a ) n 2 3

(4.118)

et A=
m

Am eikm r ,

avec

Am =

0 c2 (am + a ). m 2 3 m

(4.119)

Il vient Pi = 1 0 c2
j i d3 x ei(kn km )r : En (ikm )Aj : m mn 3 j i : En (ikn )Aj : n n

0 c2

(4.120)

88 i 3 0 c2

4. THEORIE QUANTIQUE DU RAYONNEMENT kn : (an a ) (an + a ) : n n 2 kn a an n

P = =
n

kn : En An : =

kn an an + a an a an a a = n n n n 2
forme normale

=
n

kn a an (4.121) n

(on utilise kn = kn dans la derni`re ligne). e Ltat (4.109) est vecteur propre de la quantit de mouvement P avec la e e valeur propre n kn mn , ce qui sinterpr`te simplement en attribuant ` e a chaque photon du mode n la quantit de mouvement kn . e Remarque : Pour = 0 la contribution de E = ` (4.117) est nulle : a d3 x j en vertu de j Aj = 1 0 c2 i Aj = d3 x j i Aj = 0 (4.122)

A = 0. Lexpression (4.116) nest plus nulle et vaut


N

d3 x j E j Ai =

d3 x Ai =
a=1

qa Ai (xa , t).

(4.123)

Rajoutant la quantit de mouvement ma xi des particules, on obtient (cf. e a e e e quation (4.73)) que loprateur quantit de mouvement du syst`me champ e + particules est
N

Psyst =
a=1

pa +
n

kn a an . n

(4.124)

4.14

Spin

Particule de spin 1
On explique dabord pourquoi une fonction donde vectorielle dcrit une e particule de spin 1. Examinons laction dune rotation dangle autour de Oz dune fonction donde vectorielle localise ` lorigine (r) = A(3) (r) o` e a u le vecteur constant A = Ai ei a les composantes Ai sur la base cartsienne 13 e ei . Dans la rotation de matrice R = (Rij ), la fonction donde devient (r) = A (3) (r) avec Ai = Rij Aj , cos sin 0 0 i 0 R = sin cos 0 = eiSz o` u Sz = i 0 0 . (4.125) 0 0 1 0 0 0
13. Ren du Perron Descartes (1596-1650) e

4.14. SPIN

89

La fonction donde correspond bien ` une particule de spin s = 1. La base a standard |m , m = 1, 0, 1 des vecteurs propres de Sz (Sz |m = m |m ) est |1 = 1 (ex iey ), 2 |0 = ez . (4.127)

Les rotations autour des autres axes de coordonne permettent de dnir e e de mme loprateur Si de matrice (Si )jk = ieijk . Les oprateurs S = e e e (Sx , Sy , Sz ) vrient les relations de commutation des composantes dun e moment cintique S ( Si , Sj = ieijk Sk ) et le calcul du carr donne e e 2 0 0 avec s = 1. (4.126) S 2 = 0 2 0 = s(s + 1), 0 0 2

La particule envisage tait localise ` lorigine (elle est massive). Pour une e e e a particule non localise, laction de la rotation dangle autour de laxe i e est donne par loprateur eiJi o` J = L + S est le moment cintique e e u e total, somme du moment cintique orbital L et du spin. e

Cas du photon
Examinons un photon de quantit de mouvement kn , parall`le ` Oz, e e a dcrit par la fonction donde vectorielle (p, t) = A(p kn ). Une rotae tion dangle autour de Oz laisse (p kn ) inchang et transforme A see lon (4.125). On attribue ainsi un spin 1 au photon, comme pour la particule massive. Toutefois, A doit tre perpendiculaire ` Oz pour le photon envisag e a e et se dveloppe seulement sur les tats m = 1 de la base standard (4.127). e e Ces tats correspondent ` la base dtats de polarisation circulaire e a e 1 n = (ex iey ) (4.128) 2 qui est une transformation unitaire du type (4.95) de la base transverse (ex , ey ). Les tats de spin dun photon (autrement dit de polarisation), pour kn e donn, forment un espace de dimension 2 au lieu de 3 pour une particule de e spin 1 et de masse non nulle. Une autre dirence avec les particules massives e consiste en ce que S et L ne sont pas sparment des observables physiques, e e seule leur somme (le moment cintique total) est une observable. En eet, e il nest pas possible de dnir les trois composantes Si comme observables e physiques par suite de la non existence de photons au repos. Nous avons pu toutefois dnir la composante du spin le long de limpulsion du photon (Sz e ci-dessus) qui est une observable physique appele hlicit. e e e Ces particularits se retrouvent pour une particule de masse nulle et de e spin s : lhlicit prend seulement les valeurs propres s (pour une particule e e massive, les valeurs propres de lhlicit sont les 2s + 1 valeurs s, s + 1, e e . . . , s 1, s).

90

4. THEORIE QUANTIQUE DU RAYONNEMENT

4.15

Emission spontane e

On applique la thorie quantique du rayonnement pour expliquer le e mission spontane dun atome. Prenons un atome hydrogno form dun e e de e noyau ponctuel de charge Ze, suppos au repos ` lorigine, et dun lectron e a e de masse m en re et ngligeons les spins de ces particules. Lhamiltonien du e syst`me champ + particules est e H = H0 + Hint H0 = Hpart + Hchamp 2 pe Ze2 Hpart = 2m 4 0 re Hchamp =
n

n a an n

(nergies par rapport au vide) e (4.129)

Hint =

e e2 2 A(re ) pe + A (re ). m 2m

Nous voulons calculer le taux de transition (probabilit de transition par e unit de temps) pour que latome dans un tat initial excit a passe dans e e e ltat b en mettant un photon. e e

4.15.1

Reprsentation dinteraction e

On veut calculer le taux de transition entre deux tats propres de H0 sous e leet de la perturbation Hint . On dmontre dans cette section lexpression e de ce taux au premier ordre des perturbations (r`gle dor de Fermi). Il est e commode dutiliser la reprsentation dinteraction. Dans la reprsentation e e de Heisenberg (cf. section 4.1.1), les vecteurs dtat |H sont xes et les e observables AH (t) voluent au cours du temps. On a e |H = U 1 (t, t0 ) |S (t)
1

(4.130) (4.131)

AH (t) = U

(t, t0 )AS U (t, t0 )

en fonction des vecteurs dtat |S (t) et observables AS en reprsentation e e de Schrdinger. Loprateur dvolution U (t, t0 ) vrie o e e e i d U (t, t0 ) = (H0 + Hint ) U (t, t0 ) dt et U (t0 , t0 ) = 1. (4.132)

Dans la reprsentation dinteraction, les vecteurs dtat |I (t) et les e e observables AI (t) sont |I (t)
1 = U0 (t, t0 ) |S (t)

(4.133) (4.134)

AI (t) =

1 U0 (t, t0 )AS U0 (t, t0 )

4.15. EMISSION SPONTANEE o` loprateur dvolution U0 (t, t0 ) correspond ` lhamiltonien H0 : u e e a i d U0 (t, t0 ) = H0 U0 (t, t0 ) dt et U0 (t0 , t0 ) = 1.

91

(4.135)

Lobservable physique associe ` loprateur A sobtient par e a e S (t)| AS |S (t) reprs. Schrdinger e o = I (t)| AI (t) |I (t) . reprs. interaction e (4.136)

Si linteraction Hint est ngligeable, la reprsentation dinteraction co e e ncide avec le point de vue de Heisenberg et |I (t) est indpendant du temps. Soit e loprateur unitaire UI (t, t0 ) dni par e e |I (t) = UI (t, t0 ) |H . Dapr`s les quations (4.130) (4.133) et (4.137) e e |S (t) = U (t, t0 ) |H = U0 (t, t0 )UI (t, t0 ) |H . Do` u U (t, t0 ) = U0 (t, t0 )UI (t, t0 ). (4.139) Loprateur UI (t, t0 ) ne vrie pas une loi de composition multiplicative e e comme U0 ou U : U (t, t0 ) = U (t, t1 )U (t1 , t0 ), U0 (t, t0 ) = U0 (t, t1 )U0 (t1 , t0 ), mais UI (t, t0 ) = UI (t, t1 )UI (t1 , t0 ). (4.138) (4.137)

(4.140) e e En drivant lquation (4.139) et dapr`s les quations (4.132) et (4.135) e e dU dU0 dUI dUI = (H0 + Hint ) U0 UI = i UI + U 0 i = H0 U0 UI + U0 i . dt dt dt dt (4.141) Posons 1 HI, int (t) = U0 (t, t0 )Hint U0 (t, t0 ). (4.142) i Loprateur UI (t, t0 ) vrie e e i d UI (t, t0 ) = HI, int (t)UI (t, t0 ) dt i
t

et

UI (t0 , t0 ) = 1.

(4.143)

Cela quivaut ` lquation intgrale e a e e UI (t, t0 ) = 1 HI, int (t )UI (t , t0 )dt .


t0

(4.144)

Si linteraction HI, int (t) est susamment petite, on peut rsoudre cette e (0) quation par itration : UI (t, t0 ) = 1 ` lordre 0 ; e e a UI (t, t0 ) = 1
(1)

HI, int (t )dt


t0

(4.145)

92

4. THEORIE QUANTIQUE DU RAYONNEMENT

jusqu` lordre 1. En poursuivant les itrations on obtient la solution sous a e forme de srie perturbative : e UI (t, t0 ) = 1 i
t

dt1 HI, int (t1 )


t0

t1

dt1
t0 t0

dt2 HI, int (t1 )HI, int (t2 ) + . (4.146)

Considrons des tats propres |i et |f de H0 indpendants du temps e e e H0 |i = Ei |i et H0 |f = Ef |f . (4.147)

Dterminons lamplitude de transition i f de ltat i ` linstant t0 = T /2 e e a vers ltat f ` linstant T /2. Cest, en dsignant par |I (t) ltat ` linstant e a e e a t vers lequel volue |i = |I (t0 ) , e Sf i (T ) = f |I (T /2) = f |UI (T /2, T /2)| i . (4.148)

En se limitant au premier ordre des perturbations, lamplitude de transition est donne par e Sf i (T ) = f UI (T /2, T /2) i =
(1) (1)

T /2

f
T /2

HI, int (t )dt i (4.149)

pour des tats orthogonaux ( f | i = 0). Utilisant e U0 (t, t0 ) |i = eiEi (tt0 )/ |i , et Hint
(1) 1 f | U0 (t, t0 ) = f | eiEf (tt0 )/ (4.150) indpendant du temps, on a, posant E = Ef Ei , e

Sf i (T ) =

T /2

f |Hint | i

ei

Ef Ei

(t +T /2)

dt
E sin T 2 E

T /2

= 2i f |Hint | i eiT E/2

(4.151)

Le probabilit par unit de temps Wif (T ) pour observer la transition e e i f est Wif (T ) = o` u fT (x) = Sf i (T ) T
(1) 2

= | f |Hint | i |2 fT (Ef Ei ) sin Tx 2 2 x

(4.152)

4 T

(4.153)

4.15. EMISSION SPONTANEE On sintresse ` la limite Wif = lim Wif (T ). Montrons que e a
T

93

lim fT (x) =

(x).

(4.154)

e e Quand T , fT (x) tend vers 0 sauf si x = 0. Le rsultat (4.154) dcoule alors de


dxfT (x) =

dx 1 2T

1 2T dt

T /2

T /2

dt
T /2 T /2 T /2

dt ei

(tt )

= = 2 (4.155) .

T /2 T /2

dt
T /2

dxei

(tt )

2 (tt )

Le taux de transition Wif est donc (cest la r`gle dor de Fermi) e Wif = 2 (Ef Ei ) | f |Hint | i |2 . (4.156)

4.15.2

Calcul du taux de transition

Le taux de transition de ltat |i = |a, 0 (atome dans ltat a (re ), pas e e de photons) vers ltat |f = |b, 1n (atome dans ltat b (re ), un photon e e dans le mode n de frquence n , vecteur donde kn et polarisation n ) est e donn par lquation (4.156) avec Ei = Ea , Ef = Eb + n et e e f |Hint | i = e b,1n A(re ) pe a, 0 m ie = d3 re 1n A(re ) 0 b (re ) m

e a (re ),

(4.157)

puisque 1n A2 (re ) 0 = 0 (A2 (re ) scrit en fonction de produits de deux e oprateurs cration-destruction qui ne changent pas la parit du nombre de e e e photons). b 1n A(re ) 0 = 0 an A(re ) 0 = 0 c2 0 an a 0 n eikn re = n 2 3 n 0 c2 ikn re e (4.158) 2 3 n n a kn n

e a e Le calcul de la srie perturbative (4.146) se prte ` une reprsentation grae phique. Lamplitude de transition calcule ici est reprsente par le diae e e gramme de Feynman 14 ci-contre. On lit le diagramme de bas en haut (axe Fig. 4.2 Feynman. du temps).
14. Richard Phillips Feynman (1918-1988)

Diagramme de

94

4. THEORIE QUANTIQUE DU RAYONNEMENT Pour un atome hydrogno a (re ) est localise : e de e re a0 , Z o` u a0 = 4 0 2 = 0,529 177 249 1010 m me2 (4.159)

e est le rayon de Bohr 15 . Pour lnergie de transition on a lestimation n de sorte que |kn re | Z 2 e2 = 27,211 396 Z 2 eV 4 0 a0 (4.160)

Ze2 Z = (Z fois la constante de structure 4 0 c 137,035 989 ne) dans lintgrale (4.157). Pour Z pas trop grand, on peut faire e eikn re 1 0 c2 pba 2 3 n n (4.161)

qui est lapproximation dipolaire lectrique (cf. section 5.4.7). Cela donne e f |Hint | i = e m o` u pba = i
d3 re b (re ) e a (re ).

(4.162) Le taux direntiel de transition Wif est donc e Wif = 2(Eb + n Ea ) e2 0 c2 | pba |2 m2 2 3 n n (4.163)

et le taux de transition total a b sobtient en sommant sur les tats de e photons Wab =
n

e2 0 c (Eb + ckn Ea ) |n pba |2 . m2 3 kn

(4.164)

On transforme la somme sur n en intgrale e 2 3 d3 k = (cf. quation (4.54) e


n

k 2 dkdk )

Wab =

e2 0 c 8 2 m2

kdkdk

(Eb + ck Ea ) |k pba |2

e2 0 8 2 cm2

dk

|k pba |2 (4.165)

o` = (Ea Eb )/ . Ecrivons Wab = u dij = dk

e2 pi dij pj , avec somba 4 0 c 2m2 c2 ba mation sur les indices rpts i, j, o` on a pos e ee u e i j = k k dk ij ki kj k2 (4.166)

15. Niels Henrik David Bohr (1885-1962)

4.15. EMISSION SPONTANEE

95

dapr`s lquation (4.58). Le tenseur dij est invariant dans les rotations Ri j e e (on pose k i = Ri l k l ) : Ri l Rj m dlm = = dk Ri l Rj m lm dk ij k ik j k2 = Ri l k l Rj m k m k2 dk ij k ik j k2 = dij . (4.167)

En matrice RdR = d ou Rd = dR pour toute rotation R ce qui implique que d est un multiple de la matrice unit dij = Kij . On obtient K en faisant e ki ki = dk (3 1) = 8. i = j dans (4.166) : dii = 3K = dk ii 2 k 8 ij On a donc dij = e et le taux de transition total a b par mission 3 spontane est e 4 e2 |pba |2 . Wab = (4.168) 4 0 c 3m2 c2 On peut donner une autre expression de ce taux en fonction de rba = De la relation [Hpart , re ] = pba = im
d3 re b (re )re a (re ).

(4.169)

i pe on tire m im(Ea Eb ) rba = imrba . (4.170)

b |[Hpart , re ]| a =

On en dduit une autre forme du taux de transition total a b par mission e e spontane e e2 4 3 |rba |2 . Wab = (4.171) 4 0 c 3c2

96

5. THEORIE CLASSIQUE DU RAYONNEMENT

Thorie classique du e rayonnement


5.1
5.1.1

Fonction de Green
Rsolution dquation e e

Nous voulons rsoudre lquation donde avec second membre e e (x) = (r, t) = (x) (5.1)

o` on pose x = (x0 , x1 , x2 , x3 ) = (ct, r). La solution est la somme de la u solution gnrale de lquation homog`ne associe et dune solution partie e e e e culi`re. Nous cherchons ici une solution particuli`re. Supposons que nous e e a ayons trouv une fonction de Green 1 , cest-`-dire une solution G(x) de e lquation e G(x) = (4) (x). (5.2) La convolution de G et , (x) = d4 x G(x x )(x ), (5.3)

est une solution de lquation (5.1) : e


x (x)

= =

d4 x G(x x )(x ) =

d4 x

x G(x

x )(x ) (5.4)

d4 x (4) (x x )(x ) = (x).


x

La notation

a t utilise pour souligner que loprateur agit sur x. ee e e

1. George Green (1793-1841)

5.1. FONCTION DE GREEN

97

5.1.2

Fonction de Green
1 (2)4

Nous cherchons une solution de G(x) = (4) (x) = d4 k eix (5.5)

avec les notations : = (k ) = (k 0 , k), x = k x . Posons G(x) = On a G(x) = 1 (2)4 = d4 k eik x 1 (2)4

1 (2)4

d4 k eix G().

(5.6)

G()

d4 k (ik )(ik )eik x = 1 (2)4

G()

d4 k eik x (k k )G(). (5.7)

Do` u

et 1 G(x) = (2)4

1 1 G() = = 2 k 2 k0 eik x 1 d k = k k (2)4


4

(5.8) eikrik0 x
0

2 k 2 k0 Lexpression est ambigu car le dnominateur sannule. Posons e e

d k

(5.9)

G(x) =

1 (2)4

dk0 eik0 x f (r, k0 )

o` u

f (r, k0 ) =

d3 k

. 2 k 2 k0 (5.10)

eikr

Calculons dabord f (r, k0 ) f (r, k0 ) = 2 eikr cos 2 k2 k0 0 0 1 2 ikr k dk 2 eikr = 2 e ir 0 k k0 k dk ikr k dk ikr 2 = e 2 2e ir k2 k0 k 2 k0 0 k 2 dk sin d

2 ir

k dk ikr . 2e k2 k0 (5.11)

plan complexe k Im k k0 R k0 O R Re k

Calculons f (r, k0 ) pour k0 complexe. Le contour (R) est form de line tervalle [R, R] ferm par un demi-cercle dans le demi-plan Im k 0 (cf. e Fig. 5.1 gure 5.1). Comme r > 0,

Contour (R).

keikr dk lim 2 = R k2 k0

(R)

keikr dk 2 k2 k0

(5.12)

98

5. THEORIE CLASSIQUE DU RAYONNEMENT

keikr keikr au ple situ dans le o e = 2 k2 (k k0 )(k + k0 ) k 0 demi-plan Im k > 0. Si Im k0 > 0, le ple dans le demi-plan suprieur est o e en k = k0 et le rsidu vaut eik0 r /2. Si Im k0 < 0, le ple dans le demi-plan e o suprieur est en k = k0 et le rsidu vaut eik0 r /2. On a donc e e 2 2 eik0 r si Im k > 0 0 r f (r, k0 ) = (5.13) 2 2 ik0 r si Im k0 < 0. e r vaut 2i fois le rsidu de e La fonction f (r, k0 ) est bien dnie pour k0 complexe, avec Im k0 = 0 (cf. e e gure 5.1). Posons, pour k0 rel, f (r, k0 ) = lim f (r, k0 + i ) =
0+

2 2 ik0 r . e r

(5.14)

On en dduit deux fonctions de Green e G (x) = 1 (2)4


dk0 eik0 x f (r, k0 ) =

2 2 0 dk0 eik0 (x r) (2)4 r 2 2 2(x0 r), (5.15) = (2)4 r

soit G (x) = 1 (r 4r ct). (5.16)

G+ (x) est la fonction de Green retarde : la source est en x = 0 et e G+ (x) est localise sur le cne de lumi`re futur de la source (r = ct). e o e G (x) est la fonction de Green avance : G (x) est localise sur le cne e e o de lumi`re pass de la source (r = ct). e e e ee Dapr`s lquation (5.2), qui a la mme forme dans tous les rfrentiels, e e on sattend ` ce que les fonctions de Green soient des invariants scalaires a dans les transformations de Lorentz orthochrones : G (x) = G (x ). On peut en eet crire lexpression presque explicitement covariante e G (x) = o` la fonction de Heaviside 2 u 1 (x0 )(x x) 2 (5.18) (5.17)

2. Oliver Heaviside (1850-1925)

1 0 (u) = arbitraire

si u > 0 si u < 0 si u = 0

(5.19)

5.2. POTENTIELS RETARDES

99

ne sert qu` slectionner le cne de lumi`re futur ou pass de lorigine. On a e o e e montre lquivalence des formes (5.18) et (5.16) en utilisant la relation e (f (r)) =
i

(r ri ) |f (ri )|

(5.20)

o` la somme porte sur les racines ri de lquation f (r) = 0. u e 1 (r ct) (r + ct) 1 1 = (x0 )(r 2 c2 t2 ) = (x0 ) + (r 2 2 |2ct| |2ct| 4r ct).

(5.21) Remarquer que, comme pour la fonction (4) (x) (cf. quation (1.103)) ou e encore comme pour une fonction f (x x), les fonctions de Green (5.16)) gardent la mme expression dans tous les rfrentiels (en gnral, la forme e ee e e dune fonction scalaire change avec le rfrentiel comme dans lexemple apr`s ee e lquation (1.98)). e

5.2

Potentiels retards e

Nous voulons dterminer le quadripotentiel A en jauge de Lorenz core respondant au quadricourant j . On cherche une solution de A = 0 j vriant la condition de Lorenz e A = 0. Portons la fonction de Green retarde (5.16) dans (5.3) : e A (x) = 0 ret d4 x G+ (x x )j (x ) = 0 d4 x G+ (x )j (x x ). (5.23) (5.22)

(5.24)

Cette solution vrie automatiquement la condition de Lorenz : e A (x) = 0 ret d4 x G+ (x ) j (x x ) = 0 (5.25)

en vertu de la conservation du courant. On a A (x) = 0 ret = soit A (r, t) = ret 0 4 d3 x 1 |r r | j r , t |r r | c . (5.28) 0 4 d4 x 1 ( r r c(t t )) j (r , t ) (5.26) 4 |r r | 1 t) d3 x d(ct )(ct ct + r r ) j (r , (5.27) |r r |

100

5. THEORIE CLASSIQUE DU RAYONNEMENT

Cest le quadripotentiel retard : le quadripotentiel au point r et ` linstant e a t scrit en fonction du quadricourant au point r ` linstant retard t R/c e a e (R = |r r |), le retard tant le temps que met la lumi`re pour aller de r e e a ` r. La solution gnrale de (5.22) est e e A (x) = A (x) + A (x) in ret (5.29)

o` A (x) est une solution de lquation donde homog`ne et A (x) est u in e e ret donn par lquation (5.28). Si les sources sont localises dans lespace-temps e e e (j (r, t) = 0 pour t < t0 ), le quadripotentiel retard sannule pour t < t0 et e A (r, t) = A (r, t) in pour t < t0 . (5.30)

Dans une exprience on soumet un syst`me (une antenne) initialement au e e repos ` un champ lectromagntique excitateur. Le quadripotentiel est alors a e e donn par (5.29). La partie A dcrit le champ lectromagntique excitae e e in e e e e teur dapr`s (5.30) et le quadripotentiel retard dcrit le rayonnement mis e par lantenne. Dans la suite, nous utiliserons uniquement le quadripotentiel retard. e

5.2.1

Courant stationnaire

Pour un quadricourant indpendant du temps, lquation (5.28) donne e e (r) = A(r) = 1 4 0 0 4 d3 x d3 x (r ) |r r | (solution de lquation de Poisson), e (5.31) qui vrie e A = 0. (5.32)

J(r ) |r r |

Largument f (t ) = t t + |r (t )|/c de la fonction delta sannule pour une seule valeur de t , note t et appele temps retard, qui correspond ` e e e a lintersection R de la ligne dunivers de la particule et du cne de lumi`re o e pass de lvnement M (temps t, position r). e e e

5.3
5.3.1

Charge ponctuelle en mouvement


Potentiels de Linard-Wiechert e

Nous voulons dterminer les champs crs par une charge ponctuelle q e ee en mouvement de coordonnes 0 = ct et (t). e

5.3. CHARGE PONCTUELLE EN MOUVEMENT

101

Le quadricourant est donn par (1.55) et le quadripotentiel par (5.26) e A (r,t) = 0 d4 x = q0 4 1 ( r r 4 |r r | d (t ) c(t t )) q(3) r (t ) dt r (t ) d (t ) 1 . (5.33) dt t t + dt c r (t ) x0 x1 M R x1
Fig. 5.2a Dans lespace-temps.

x2 x2

Fig. 5.2 Temps retard. e

x3

Fig. 5.2b Dans lespace ordinaire.

La gure 5.2a reprsente lespace-temps avec une dimension spatiale supe prime. La ligne dunivers de la charge ponctuelle (de masse = 0) coupe le e cne de lumi`re pass de M (point dobservation r, t) en exactement un o e e point (lvnement retard R). e e e La gure 5.2b reprsente M et R dans lespace tridimensionnel spatial. e Le temps retard est dtermin par lquation e e e e = 0. (5.34) c Pour eectuer lintgration sur t , on utilise lquation (5.20)) et on consid`re e e e r et t xes : (t t ) (f (t )) = df (t ) (t ) dt df (t ) dt = 1 d(t ) r (t ) cdt r (t ) (5.35) t t+ r (t )

df (t ) (t ) = 1 n . dt On a pos e n = =

R o` R = r (t ) joint la position retarde R au point M u e R v d(t ) (v est la vitesse au temps retard). e (5.36) = c cdt

102

5. THEORIE CLASSIQUE DU RAYONNEMENT

On obtient les potentiels de Linard 3 -Wiechert 4 : e A (r, t) = 1 4 0 q R R v c q 0 d (t ) , 4 dt (1 n )R , A(r, t) = 0 4 qv R R v c . (5.37)

(r, t) =

(5.38)

On peut crire une forme explicitement covariante de (5.37) en fonction de e (quadrivitesse au point retard R) et de y = x x = (c(t t ), R ) u e (quadrivecteur RM). Dans un rfrentiel comobile avec la particule au ee temps retard, y u = c2 (t t ) = cR et (5.37) se rduit ` A0 = 0 cq/4R , e e a Ai = 0. On a alors lcriture e A (x ) = qui est explicitement covariante. c0 q u , 4 y u (5.39)

5.3.2

Champs E et B

Les champs E et B peuvent sobtenir par B= A, E = A . t (5.40)

Le calcul est assez fastidieux parce que les quations (5.38) font intervenir e le temps retard qui doit tre considr comme une fonction implicite t = e e ee t (r, t) t (r, t) donne par lquation (5.34). On a besoin de t t = e e et de t i t . Direntiant R ct + ct = 0 on a e R dR R (dr v dt ) cdt + cdt = cdt + cdt = 0, R R c 1 R v Rc dt = cdt R dr . R

On utilise le calcul tensoriel tri-dimensionnel (mtrique ij , Rj = R j = e xj j (t )). t t = 1 R 1 R , i t = Ri cR R 1 R . (5.41)

3. Alfred-Marie Linard (1869-1958) e 4. Emil Wiechert (1861-1928)

5.3. CHARGE PONCTUELLE EN MOUVEMENT

103

Pour simplier, nous allons calculer E et B dans un rfrentiel comobile avec ee la particule au temps retard. On a = 0 mais en gnral lacclration e e e ee retarde a = c = 0. On a besoin de e t t = 1, i j = t R = 0, i t = j Ri , cR Ri , cR t Rj = 0, i Rj = ij , i (j Rj ) = t j = j ,

t (j Rj ) = j Rj , Ri , R Ri R

i R = ci t =

j Rj Ri , cR t (R R ) = R , R c , R c

i (R R ) = i = q 4 0 R

1+

(R R ) = 2 i t Ai =

qRi 4 0 R 3

1+

0 qc q i t i = , 4R 4 0 cR 0 qRj k 0 qc j k = eijk . 4R 4R 2

Bi = eijk j Ak = eijk

Do` les champs E et B dans un rfrentiel comobile 5 ( = 0 ) : u ee E = = q 4 q 4 R 1 ( n) n + R 3 cR n 1 , + n n R 2 cR 1 0 q n = n E. 4R c

(5.42)

B=

(5.43)

Le champ est la somme du champ coulombien en R 2 dune particule immobile q n E= , B=0 (5.44) 4 0 R 2 et, si lacclration retarde a nest pas nulle, du champ de rayonnement en ee e R 1 0 q 1 E= B = n E. n na , (5.45) 4R c
5. On a dans un rfrentiel quelconque, avec 2 = 1 2 , ee E= q 4 0 (1 n)3 n 1 + n [n ] 2R 2 cR , B= 1 n E. c

104

5. THEORIE CLASSIQUE DU RAYONNEMENT

5.3.3
Fig. 5.3 Champ de rayonnement.

Formule de Larmor
x1 E

a R R d B x2

n M

x3

On consid`re un rfrentiel dinertie K = Mx0 x1 x2 x3 (cf. gure 5.3) e ee dni par : M est le point dobservation ; le rfrentiel K est comobile avec e ee la particule ` linstant retard ; n est suivant Mx3 ; lacclration retarde a e ee e 1 x3 et fait langle avec n. Pour les champs de a est dans le plan Mx rayonnement, on a E Mx1 , B Mx2 et B= E . c (5.46)

Le tenseur nergie-impulsion du e dans le rfrentiel comobile K : ee u 0 Tchamp = 0 u o` u u=


0E 2

champ Tchamp (3.63) scrit au point M e

0 0 0 0

0 0 0 0

u 0 +O 0 u

1 R3

(5.47)

0 q 2 2 2 a sin . (5.48) 4R On a utilis les champs de rayonnement (5.45) en ngligeant, dans la limite e e e R , le champ coulombien (5.44) ainsi que les autres champs du syst`me qui crent le mouvement de la particule. Soit WB lnergie et PB la quantit e e e de mouvement de la boule de rayon R centre sur la position retarde R de e e la particule correspondant ` lvnement M. Remarquant que la position a e e retarde R reste la mme pour tous les points, pris au mme instant dans e e e K, de la sph`re de rayon R centre en R, on a, dapr`s (3.74) et (3.75) e e e =
0

dWB dt dPB dt o` u

= =

dP d d q 2 a 2 sin2 n=0 16 2 0 c4

(5.49) (5.50)

d R 2 un =

dP q 2 a 2 sin2 = (S n)R 2 = cuR 2 = . d 4 0 c3 4

(5.51)

5.3. CHARGE PONCTUELLE EN MOUVEMENT

105

Linterprtation de (5.49) est que la particule rayonne une puissance par e unit dangle solide e q 2 a 2 sin2 dP = . (5.52) d 4 0 c3 4 Les champs au point M correspondent localement ` une onde se propageant a suivant n et polarise dans le plan contenant M et lacclration retarde e ee e a . Une particule en mouvement uniforme ne rayonne pas (a = 0). En e intgrant (5.49) sur les angles solides, on obtient la puissance rayonne e P = d dP d = 2 q2 a 2 3 4 0 c3 (formule de Larmor 6 ). (5.53)

Dsignons par m la masse, p la quadriimpulsion et le temps propre de la e dp particule au moment retard. Dans le rfrentiel comobile e ee = (0, ma ). d On peut donc crire la formule de Larmor sous la forme e P = 2 dp dp q2 3 4 0 m2 c3 d d (gnralisation relativiste). e e (5.54)

Nous allons tendre la validit de cette formule (qui na t dmontre que e e ee e e dans le rfrentiel comobile K). Dans un rfrentiel quelconque K1 , nous ee ee dnissons la puissance rayonne par la limite quand R e e P = lim
R

dWB dt

(5.55)

o` dWB est la variation dnergie dans K1 de la boule B (la mme que plus u e e haut : B est une boule dans K) pendant lintervalle de temps retard dt e (mesur dans K1 ). Avec cette dnition, lnergie rayonne totale mesure e e e e e dans K1 est donne par e

Wtot =

P dt

(5.56)

qui est commode parce que P scrit en fonction du temps retard t . Dans e e le rfrentiel comobile K, dt = d et P = P . Toujours dans le rfrentiel ee ee comobile K, les quations (5.49) et (5.50) montrent que le quadrivecteur e dp P dWB dPB B scrit , 0 , soit e = , d cd d c dp P d B = 2 . d c d (5.57)

e Lexpression (5.57) doit tre covariante : cela implique que P est un scalaire. Dans le rfrentiel K1 , en utilisant la composante temporelle de (5.57), on a ee
6. Sir Joseph Larmor (1857-1942)

106

5. THEORIE CLASSIQUE DU RAYONNEMENT

dp0 d dWB d 0 d = c B =P = P . La dnition (5.55) donne P = P et e dt d dt d cdt e ee la formule (5.54) est la puissance rayonne dans un rfrentiel quelconque. Dans un rfrentiel o` la particule est non relativiste on peut utiliser la ee u formule de Larmor (5.53), lacclration retarde a ayant la mme valeur ee e e que dans le rfrentiel comobile. ee

5.4
5.4.1

Distribution de charges quelconque


Dcomposition spectrale des potentiels e

On fait une analyse de Fourier temporelle. On crit pour le quadricourant e j = (c, J ) j (r, t) = et, inversement,
j (r) = d j (r)eit

(5.58)

1 2

dt j (r, t)eit .

(5.59)

Comme j (r,t) est rel, on a j (r) = j (r). Les autres champs sont e dcomposs de faon analogue. Portons (5.58) dans le quadripotentiel ree e c tard (5.28) e

A (r, t) =

0 4

d3 x

1 |r r |

d j (r )ei(t|rr

|/c)

d A (r)eit (5.60)

o` u A (r) = En posant = ck on a : (r) = A (r) = 1 4 0 0 4 0 4 d3 x

ei|rr |/c j (r ). |r r | eik|rr | (r ), |r r |

(5.61)

d3 x d3 x

(5.62) (5.63)

eik|rr | J (r ). |r r |

5.4.2
On a

Dcomposition spectrale de E et B e
A = t

E(r, t) = B(r, t) =

d E (r)eit ,

(5.64) (5.65)

A=

d B (r)eit ,

5.4. DISTRIBUTION DE CHARGES QUELCONQUE avec (on utilise fV = ( f) V + f( 1 4 0 V )) eik|rr | , |r r |

107

E (r) = (r) + i A (r) = i A (r) B (r) = d3 x (r ) d3 x


r

(5.66)

A (r) =

0 4

eik|rr | J (r ). (5.67) |r r |

5.4.3

Zone de rayonnement
M n M r a O R n r
Fig. 5.4 Zone de rayonnement (ou zone radiative).

Les sources sont localises dans une rgion de dimensions a autour de e e O (cf. gure 5.4). On observe les champs au point M ` la distance r de a O (r = OM ). On sintresse au rayonnement de frquence = c/. On se e e place dans des conditions telles que R et R a (zone de rayonnement). (5.68)

Les expressions (5.66) et (5.67) contiennent, avec R = r r (cf. gure 5.4),


r

eikR eikR eikR 2 = ik R R R


rR

(5.69)

On sintresse au rayonnement de la source, lorsque le terme en R2 est e petit devant le terme en R1 . On suppose donc que kR 1 ou, de faon c quivalente, R e . On suppose de plus que les dimensions de la source sont petites devant la distance r, mais on ne fait pas pour le moment dhypoth`se e sur les grandeurs respectives de et a. On a alors (on pose n = R/R et n = r/r)
r

eikR R

ik

eikR eikR n r R = ik R R eikR eikR = ik ikn R R

[daprs R e [daprs R e

] a] (5.70)

108

5. THEORIE CLASSIQUE DU RAYONNEMENT

en posant k = kn. On peut donc faire lapproximation r ik dans la zone de rayonnement. En pratique, on transcrit les quations entre champs e spatiaux-temporels E(r, t), etc. en quations entre composantes spectrales e E (r), etc. par les r`gles e ik et i. t (5.71)

Ainsi, les quations (5.66) et (5.67) dans la zone de rayonnement e E (r) = ik (r) + i A (r) et B (r) = ik A (r) (5.72)

transcrivent les quations (1.10). e La condition de Lorenz (1.12) se transcrit en ik A (r) i (r) = 0. c2 (5.73)

Elle permet dexprimer (r) en fonction de A (r) : (r) = cn A (r). (5.74)

On en dduit, dapr`s (5.72), que E (r) = i A (r) n A (r) n soit e e B (r) = ik A (r) et E (r) = cB (r) n. (5.75)

Cette derni`re relation transcrit dailleurs lquation de Maxwell (1.2) dans e e le vide. Les vecteurs E (r), B (r), n forment donc un tri`dre direct et e E = cB comme dans une onde plane. La direction de E est la direction orthogonale ` n dans le plan (n, A (r)). a

5.4.4

Composante A (r)

On peut encore simplier lquation (5.63) en faisant lapproximation e (on utilise R a) eik(rr eik|rr | |r r | r On obtient A (r) = 0 eikr 4 r d3 x eikr J (r ). (5.77)
n)

eikr ikr . e r

(5.76)

5.4. DISTRIBUTION DE CHARGES QUELCONQUE Cas a , la condition R

109

On peut prciser, lorsque a e Le dveloppement limit e e rr

a de la faon suivante. c r3 r2

= rr n+

r 2 (r n)2 +O 2r

(5.78)

montre que lon a nglig dans (5.76) un terme de phase de lordre de e e r 2 (r n)2 ka2 k , pour O au centre de la source. On consid`re ge e 2r 8R nralement que ce terme est ngligeable devant le terme de phase kr n, qui e e varie de lordre de ka 2, sil reste infrieur ` 2/16. La condition R e a a 2 a2 2 est ainsi prcise en e e , soit 8R 16 R Rf o` u Rf = 2a2 (5.79)

est la distance de Fraunhofer 7 .

5.4.5

Energie rayonne e

Considrons le cas dune oscillation limite dans le temps qui donne lieu e e a ` un spectre continu de frquences. Le vecteur de Poynting est e S(r, t) = 1 cn E B = (B B) 0 0 cn d = 0

d B (r) B (r) ei(+ )t . (5.80)

Lnergie totale rayonne dans langle solide d est e e

dW =

dt S(r, t) (n r 2 d)

cr 2 d 0

d B (r) B (r) 2cr 2 d 0

dt ei(+ )t

2(+ )

2cr 2 d 0

d B (r) B (r) =

d B (r) B (r)

en utilisant que B(r, t) est rel (B (r) = B (r)). Posons e

4c 2 2W r B (r) = 0
7. Josef von Fraunhofer (1787-1826)

(5.81)

110

5. THEORIE CLASSIQUE DU RAYONNEMENT

(nergie par angle solide et lment spectral > 0). On a (noter quon e ee int`gre sur les frquences positives seulement) e e dW = d

d
0

2W

et

W =

dW d

(5.82)

pour lnergie totale rayonne. e e En rsum, on obtiendra lnergie totale rayonne (5.82), sa distribution e e e e angulaire (5.82) et ses lments spectraux (5.81), qui bien s r ne dpendent ee u e pas de r, ` partir de la densit de courant J(r, t) par les tapes suivantes : a e e calcul des composantes J (r) par (5.59), A (r) par (5.77) et de B (r) par (5.75).

5.4.6

Sources priodiques de priode T e e

Pour un syst`me de sources priodiques, les dcompositions spectrales e e e sont des sries de Fourier. On crit par exemple (0 T = 2) e e

J(r, t) =
n= T

Jn (r)ein0 t , 1 T dt J (r, t)ein0 t .

(5.83) (5.84)

Jn (r) =

e Les relations linaires (5.75) et (5.77) tablies pour les composantes spece trales restent valables pour les composantes spectrales n en posant = n0 . Le vecteur de Poynting est S(r, t) = cn cn Bn (r) Bm (r)ei(n+m)0 t . (B B) = 0 0 n= m=

(5.85)

On sintresse souvent ` des moyennes temporelles. La moyenne temporelle e a du vecteur de Poynting est Smoy (r) = 1 T
T

dt S(r, t)
0 T 0

cn 1 Bn (r) Bm (r) 0 n= m= T

dt ei(n+m)0 t

cn Bn (r) Bm (r)n, m 0 n= m= cn 2cn = Bn (r) Bn (r) = 0 n= 0


Bn (r)
n=1

5.4. DISTRIBUTION DE CHARGES QUELCONQUE

111

car la composante Bn (r) pour n = 0 est nulle dapr`s (5.75) (k = 0 pour e n = 0). La puissance moyenne rayonne par angle solide est e dPmoy 2c = r 2 Smoy (r) n = d 0
n=1

r 2 Bn (r) .

(5.86)

5.4.7

Approximation dipolaire lectrique e

Nous considrons une distribution de charges qui est de petite dimension e compare ` la longueur donde (on sintresse aux composantes spectrales e a e des champs pour une pulsation donne). En plus des conditions (5.68) e (zone de rayonnement) nous faisons donc lhypoth`se e a . (5.87)

On peut interprter cette condition lorsque les charges ont un mouvement e priodique de priode T . Leur vitesse est alors de lordre de e e v a a = c T et donc v c, (5.88)

cest ` dire que le mouvement des charges est non relativiste. a 1 . Dans On peut aussi crire la condition a e sous la forme ka lexpression (5.77), on peut donc eectuer un dveloppement en srie de e e eiknr (|kn r | < ka 1). On obtient A (r) = 0 eikr 4 r
p=0

(ik)p p!

d3 x (n r )p J (r ).

(5.89)

0 (ka)p 3 Ja en notant par J lordre de 4r p! grandeur du courant. Il est clair que pour ka 1 les termes successifs du dveloppement (5.89) dcroissent rapidement. e e Lapproximation dipolaire lectrique consiste ` ne garde que le premier e a terme du dveloppement (5.89) : e Le p-i`me terme est de lordre de e eikr 1, A (r) = 0 eikr 4 r d3 x J (r ). (5.90)

Oscillation limite dans le temps e Pour une oscillation limite dans le temps portons dans cette expression e le courant J dun syst`me de N particules (la particule a de charge qa est e

112

5. THEORIE CLASSIQUE DU RAYONNEMENT

situe en a (t) et se dplace ` la vitesse Va (t) ` linstant t) : e e a a


N

J(r, t) =
a=1

qa Va (t)(3) r a (t)

J (r) = A (r) = =

1 2

dt J(r, t)eit
N N

1 0 4 r 2 1 0 4 r 2 eikr

eikr

dt e

it

d x
a=1

qa Va (t)(3) r a (t) (5.91)

dt eit
a=1

qa Va (t).

Il appara la drive du moment dipolaire lectrique t e e e


N

d=
a=1

qa a (t),

d=

qa Va (t).
a=1

(5.92)

On a A (r) = soit

0 eikr 1 4 r 2

dt eit d

(5.93)

A (r) =

0 eikr d 4 r

. : .

(5.94)

Le champ B scrit en fonction de d e

= i d

B (r) = ikn A (r) =

0 eikr n d 4c r

(5.95)

Lnergie par angle solide et lment spectral, quation (5.81), est e ee e 2W 0 n d = 4c ou, en introduisant langle entre n et d ,
2

(5.96)

1 2W sin2 = 4 0 c3 Syst`me oscillant e

(5.97)

Pour un syst`me oscillant ` la seule pulsation 0 , on pose (en suivant la e a notation de (5.83)) d = d1 ei0 t + d ei0 t = 2Re d1 ei0 t . 1 (5.98)

5.4. DISTRIBUTION DE CHARGES QUELCONQUE Un calcul analogue aux quations (5.91) ` (5.94) conduit maintenant ` e a a A1 (r) = 0 eikr d 4 r .

113

(5.99)

et la puissance moyenne rayonne par angle solide est donne par lquae e e tion (5.86), la somme se limitant au terme n = 1, dPmoy 2c 2 r B1 (r) = d 0 soit dPmoy 1 = 2 3 sin2 d d 8 0 c avec d
1 2 1 2

0 n d 8 2 c

2 1

(5.100)

(5.101)

= i0 d

2 = 0 d1 . La distribution du rayonnement en fonction

de la direction est donne par le facteur sin2 . e

114

6. INTEGRALES DE CHEMIN

Intgrales de chemin e
6.1 Introduction

Dans les formulations initiales de la Mcanique Quantique, dues ` Schre a o dinger et Heisenberg, la fonction donde (note (r, t) pour une particule) est e lobjet de base tudi. Au lieu de la fonction donde, on peut prendre pour e e objet de base le propagateur not K(a, b) ou K(ra , ta , rb , tb ) (a = (ra , ta ), e b = (rb , tb )). Le propagateur K(a, b) reprsente lamplitude de probabilit de e e trouver la particule en ra ` linstant ta si elle se trouvait localise en rb ` a e a linstant tb (ta tb ). Feynman a dcouvert que le propagateur sexprime comme une intgrale e e sur tous les chemins q(t) allant du point b au point a de lespace temps :
a

K(a, b) =
b

Dq eiS[q]/

(6.1)

o` S[q] est laction classique de la particule le long du chemin q. La siu a gnication de la notation de lintgrale de chemin b Dq sera explique e e plus loin. Lexpression (6.1) permet de donner une troisi`me formulation e de la Mcanique Quantique, quivalente aux formulations de Schrdinger et e e o Heisenberg. Par suite de ses tr`s nombreux avantages cette formulation en e intgrales de chemin est considre comme tant lapproche moderne de e ee e e a la Mcanique Quantique. Toutefois lintgrale (6.1) est tr`s dicile ` cale e culer et lapproche de Schrdinger garde toute sa valeur pour des syst`mes o e simples (par exemple latome dhydrog`ne). e Dans ce chapitre, nous allons dduire lquation (6.1) du formalisme e e habituel. Pour simplier on se limitera ` une particule non relativiste et ` a a une dimension (r est remplac par x). e

6.2. PROPAGATEUR

115

6.2
6.2.1

Propagateur
Dnition e
p2 + V (, t) x 2m

On consid`re un hamiltonien e H(t) = (6.2)

dcrivant une particule quantique non relativiste de masse m ` une dimene a sion. Le potentiel V (x, t) peut dpendre du temps t. Les notations x, p e servent ` distinguer les oprateurs des simples nombres x, p. Loprateur a e e dvolution U (ta , tb ) permet dobtenir la fonction donde dans le point de e vue de Schrdinger (x, ta ) ` linstant ta en fonction de la fonction donde o a (x, tb ) ` linstant tb : a
+

(xa , ta ) =

xa U (ta , tb ) xb (xb , tb ) dxb

(6.3)

(cf. quation (4.8)). On dnit le propagateur par e e K(a, b) = K(xa , ta , xb , tb ) = xa U (ta , tb ) xb 0 si ta tb sinon. (6.4)

Mathmatiquement, le propagateur est un noyau intgral : e e


+

(xa , ta ) =

K(a, b)(xb , tb ) dxb

(ta tb ).

(6.5)

Si la particule est localise en xb ` linstant tb , sa fonction donde est e a (x, tb ) = (x xb ) et lquation (6.5) donne (xa , ta ) = K(xa , ta , xb , tb ). e Dapr`s linterprtation de la fonction donde, le propagateur K(a, b) repre e e sente donc lamplitude de probabilit de trouver la particule en xa ` linstant e a ta si elle se trouvait localise en xb ` linstant tb (ta tb ). Plus bri`vement e a e on dira que K(a, b) est lamplitude de probabilit de la particule pour aller e de b ` a (ta tb ). a Lquation (6.5) sexprime en termes physiques : lamplitude de probabie lit pour que la particule arrive en a est la somme sur toutes les valeurs de e xb de lamplitude de probabilit que la particule se trouve en b ((xb , tb )) e multiplie par lamplitude de probabilit quelle a daller de b ` a (K(a, b)). e e a

6.2.2

Equation direntielle e

e Nous utiliserons les quations (4.9) que nous rcrivons e i H t x U (t, t ) x =0 (6.6)

116

6. INTEGRALES DE CHEMIN

(loprateur H agit sur la coordonne x) et e e U (t, t) = 1 soit x U (t, t) x = (x x ). (6.7)

On en dduit, avec la dnition (6.4), que si t tend vers t par valeurs e e suprieures on a : e lim K(x, t, x , t ) = (x x ). (6.8)
tt +

Pour obtenir une quation direntielle rcrivons (6.4) sous la forme e e e K(x, t, x , t ) = x U (t, t ) x (t t ) (6.9)

o` (u) est la fonction de Heaviside (5.19). En appliquant (i /t H) ` u a cette quation il vient : e i (t t ) H K(x, t, x , t ) = x U (t, t ) x i t t =i soit i H K(x, t, x , t ) = i (x x )(t t ). t (6.11) x U (t, t) x (t t ) (6.10)

Cest une quation direntielle inhomog`ne en x et t avec une source locae e e lise en (x , t ). Par analogie avec la section 5.1, le propagateur K(x, t, x , t ) e est aussi appel fonction de Green (avance). e e

6.3
6.3.1

Propagateur libre
Calcul

On consid`re une particule libre de masse m ` une dimension dhamile a tonien p2 H0 = . (6.12) 2m Lhamiltonien est indpendant du temps. On a (cf. quation (4.11)) e e
p U (t, t ) = U (t t , 0) = ei
2 (tt

)/2 m

(6.13)

Le syst`me est aussi invariant dans les translations en x. Il en rsulte que le e e propagateur ne dpend que de x x et t t : e K0 (x, t, x , t ) = K0 (x x , t t , 0, 0). Introduisons les vecteurs propres p de p : x p = eipx/ , pp =pp . (6.15) (6.14)

6.3. PROPAGATEUR LIBRE Leur normalisation est donne par e


+ +

117

pp

= p

dx x x
1

ei(p p)x/ dx = 2 (p p ) (6.16)

et la relation de fermeture par


+

dp p p = 1. 2

(6.17)

Calculons
p x U (t, 0) x = 0 = x ei

dp x =0 p p 2 + + dp it (p2 2p mx ) dp ipx/ itp2 /2 m t e = e e 2m = 2 2 + dp imx2 mx 2 it = exp p exp 2 t 2 m t 2


2 t/2

(6.18)

o` la derni`re expression sobtient en compltant le carr dans lexponenu e e e


+

tielle. Il appara une intgrale gaussienne de la forme t e

du eau qui

vaut /a pour a > 0. Lintgrale est aussi dnie par continuation analye e tique pour a = ei avec > 0, || /2. Nous crirons (convention pour e a) + i/2 2 . (6.19) = e du eau = a On peut terminer le calcul (6.18) : x U (t, 0) x = 0 = 1 2 2 m exp it imx2 2 t . (6.20)

Do` lexpression du propagateur libre u K0 (x, t, x , t ) = m exp i2 (t t ) im(x x )2 2 (t t ) (t t ). (6.21)

6.3.2

Discussion physique

Le propagateur K0 (x, t, 0, 0) = m exp i2 t imx2 2 t (t) (6.22)

118

6. INTEGRALES DE CHEMIN

a t

reprsente lamplitude de probabilit que la particule arrive en a = (x, t) (` e e a linstant t 0) si elle tait initialement localise ` lorigine b = (0, 0) (x = 0 e e a a ` linstant t = 0). La probabilit P (x)dx de trouver la particule entre x et e x + dx ` linstant t est donne par : a e P (x)dx = K0 (x, t, 0, 0) dx =
2

mdx . 2 t

(6.23)

x+dx

Fig. 6.1 Trajectoire classique dune particule initialement en b = (0, 0).

Cest une probabilit relative puisque P (x)dx diverge. De faon clase c e sique (cf. gure 6.1), la particule qui arrive en a = (x, t) a une quantit de mouvement mx p= . (6.24) t e La probabilit (6.23) scrit e P (x)dx = dp 2 (6.25)

et correspond donc au fait que toutes les quantits de mouvement de la e particule sont quiprobables. Cest en accord avec le principe dincertitude e pour une particule libre initialement localise en b = (0, 0). e
R R

Fig. 6.2 Le propagateur


en fonction de x pour t x. e On a reprsent sa partie relle e e e R(x, t) ; sa partie imaginaire est une courbe analogue telle que le module du propagateur est constant. x t

Fig. 6.3 La partie relle e


du propagateur en fonction de t pour x x. e

Fig. 6.2.

Fig. 6.3.

La partie relle e R(x, t) = m cos 2 t mx2 2 t 4 (t) (6.26)

du propagateur (6.22) est reprsente sur la gure 6.2 en fonction de x pour e e e t > 0 donn et sur la gure 6.3 en fonction de t pour x donn. e Pour t x et x variable assez grand, le propagateur correspond ` une e a onde quasi-sinuso dale de longueur donde . On dtermine ( e x) en crivant e m(x + )2 mx2 = 2. (6.27) 2 t 2 t Do` mx/ t 2 et u = 2 h = p p avec p= mx . t (6.28)

6.4. LOI DE COMPOSITION

119

Cest la formule de de Broglie 1 reliant la longueur donde et la quantit de e mouvement dune particule. Pour x x et t variable assez grand, le propagateur correspond ` une e a vibration quasi-sinuso dale si on nglige les variations du facteur en 1/ t. e On dtermine la priode T correspondante (T e e t) en crivant e mx2 mx2 = 2 2 (t T ) 2 t soit (6.29)

mx2 T 4 t2 . On a donc, en introduisant lnergie E e = 2 et T 2 t(t T ) mx2 de la particule, T = h E avec E= p2 mx2 = . 2t2 2m (6.30)

On retrouve la relation E = entre lnergie et la pulsation = 2/T . e

6.4

Loi de composition
t ta c tc tb b xb xa x a

La loi de composition (4.10) de loprateur dvolution U (t, t ) implique e e la loi pour le propagateur
+

K(a, b) =

K(a, c)K(c, b) dxc

(ta tc tb ).

(6.31)

Le produit K(a, c)K(c, b) reprsente lamplitude de probabilit de la partie e xc cule pour aller de b ` c = (xc , tc ), puis de c ` a (r`gle du produit des amplia a e tude de probabilit pour des vnements en succession). Lquation (6.31) e e e e snonce : lamplitude de probabilit de la particule pour aller de b ` a est Fig. 6.4 e e a tion. lintgrale sur toutes les valeurs de xc de lamplitude de probabilit pour e e aller de b ` c, puis de c ` a. a a Il est possible de ritrer la loi de composition (6.31) : e e K(a, b) =
x1 x2

Loi de composi-

K(a, 2)K(2, 1)K(1, b) dx1 dx2

(ta t2 t1 tb ).

(6.32) Le terme K(a, 2)K(2, 1)K(1, b) se lit de droite ` gauche ; cest lamplitude a de probabilit de la particule pour aller de b ` 1, puis de 1 ` 2, puis de 2 ` e a a a a. On peut poursuivre le processus de sorte que lintervalle de temps est divis en N intervalles innitsimaux (ta tb = N ) (cf. gure 6.5). Posons e e t0 = tb , t 1 = t0 + , t 2 = t0 + 2 , ..., . . . , tN = t0 + N = ta . (6.33) tn = t0 + n ,

1. Prince Louis-Victor Pierre Raymond de Broglie (1892-1987)

120

6. INTEGRALES DE CHEMIN

Le propagateur K(a, b) se dcompose en introduisant les N 1 vnements e e e intermdiaires 1, 2, . . . , N 1 : e K(a, b) =


x1 x2

xn

xN1

K(a, N 1)K(N 1, N 2) K(n + 1, n)

K(2, 1)K(1, b) dx1 dx2 dxn dxN 1 (6.34) avec ta tN 1 tn+1 tn t2 t1 tb . Le produit
N 1

(6.35)

N = K(a, N 1) K(n + 1, n) K(1, b) =


Fig. 6.5 Ritration de la e e
loi de composition pour des intervalles gaux. e 3 2 1 tb b xb x1 xa x t ta a 7 6 5 4

K(n + 1, n)
n=0

(6.36)

est lamplitude de probabilit de la particule pour aller de b ` 1, puis de 1 ` 2, e a a . . . puis de n ` n+1, . . . puis de N 1 a a. Le propagateur K(a, b) sobtient en a ` intgrant N sur les N 1 coordonnes intermdiaires. Dans la limite N e e e , le produit N devient lamplitude pour que la particule suive un chemin donn allant de a ` b et les intgrales sur les coordonnes intermdiaires e a e e e deviennent lintgrale de chemin. Nous utiliserons lquation (6.34) pour e e driver lexpression de Feynman (6.1). e

6.5

Intgrale de chemin e

Nous considrons lexpression (6.34) de K(a, b). Nous allons dabord e e valuer le propagateur pour lvolution pendant le temps innitsimal entre e e les points n et n + 1 : K(n + 1, n) = xn+1 U (tn + , tn ) xn . (6.37)

e e Pour lhamiltonien (6.2) dpendant du temps lquation (4.11) nest pas d valable. Toutefois en intgrant i e U (t, tn ) = H(t)U (t, tn ) et U (tn , tn ) = 1 dt

6.5. INTEGRALE DE CHEMIN a ` des termes en


2

121

pr`s, on a e iH(tn )
2

U (tn + , tn ) = 1 Il sera commode dcrire, toujours ` e a U (tn + , tn ) = 1

= eiH(tn )

(6.38)

pr`s, e 1
p = ei

i2 p iV (, tn ) x = 2m

i2 p 2m
2

iV (, tn ) x
/

/2m

x eiV (, tn )

. (6.39)

Cette derni`re forme prsente lavantage de sparer les oprateurs p et e e e e x tout en prservant lunitarit de loprateur dvolution. En la portant e e e e dans (6.37), on a
p K(n + 1, n) = xn+1 ei
2

/2m

xn eiV (xn , tn )

(6.40)

K0 (xn+1 , tn+1 , xn , tn )

Le premier facteur est le propagateur libre donn par (6.21) e K(n + 1, n) = m i2 exp i m(xn+1 xn )2 V (xn , tn ) 2 . (6.41)

Lamplitude de probabilit (6.36) prend la forme e


N 1

N =
n=0

K(n + 1, n) m i2
N/2

exp

N 1 n=0

m(xn+1 xn )2 V (xn , tn ) 2 2

. (6.42)

0, N , les points a et b tant xes ; les divers e xn+1 xn points xn forment ` la limite un chemin xn = q(tn ) de b ` a ; a a Prenons la limite q(tn ) est la vitesse de la particule sur ce chemin ; la somme sur n tend vers
N 1 ta n=0

une intgrale e

dt ; lexposant dans (6.42) tend vers


tb ta

dt
tb

mq 2 iS[q] V (q(t), t) = 2

(6.43)

o` S[q] est laction le long du chemin q(t). u Pour des expressions du type de (6.34), Feynman dnit lintgrale de e e chemin dune fonctionnelle F [q] par la limite
a b

Dq F [q] = lim

N x1 x2

xN1

dx1 dx2 dxN 1

m i2

N/2

F [q]. (6.44)

122

6. INTEGRALES DE CHEMIN

Lexpression (6.34) correspond ` la fonctionnelle F [q] = eiS[q]/ et donne a dans la limite 0


a

K(a, b) =
b

Dq eiS[q]/

(6.45)

qui est lexpression prsente dans lintroduction. e e Une particule quantique suit tous les chemins possibles pour aller du ` point b au point a de lespace-temps. A chaque chemin q(t) est associ une e iS[q]/ o` amplitude de probabilit e e u
ta

S[q] =
tb

dt

mq 2 V (q(t), t) = 2

ta tb

L(q, q, t) dt

(6.46)

est laction classique le long du chemin q. Examinons le passage ` la limite classique (cas dune particule de masse a macroscopique). Formellement cette limite sobtient par 0. Sauf pour le chemin x = q0 (t) qui correspond au principe de moindre action, une petite variation du chemin entra une variation de laction S[q] tr`s grande par ne e rapport ` et le nombre complexe eiS[q]/ dcrit un tr`s grand nombre de fois a e e le cercle unit de centre 0. Il sen suit que lintgrale sur tous les chemins e e se rduit en fait ` la contribution de la trajectoire classique x = q0 (t). e a Lamplitude de probabilit pour que la particule suive un autre chemin x = e q1 (t) nest pas nulle mais est annule par des interfrences avec les chemins e e inniment voisins de x = q1 (t). Feynman a dvelopp une approche de la Mcanique Quantique prenant e e e lintgrale de chemin comme postulat de base. Lquation de Schrdinger e e o en est alors une consquence. Cette formulation de la Mcanique Quantique e e est dans un certain sens plus simple que la Mcanique Classique. Dans e la formulation lagrangienne de la Mcanique Classique, on postule que la e trajectoire suivie par la particule vrie le principe de moindre action. Mais e on ne rpond pas ` la question de pourquoi elle suit la trajectoire de moindre e a action plutt quune autre. Dans la formulation en intgrale de chemin de la o e Mcanique Quantique la question ne se pose pas : la particule suit toutes les e trajectoires possibles. La thorie quantique justie le principe de moindre e action par passage ` la limite classique. a

6.6
6.6.1

Diagrammes de Feynman
Mthode perturbationnelle e

Supposons que le potentiel V (, t) dans lhamiltonien (6.2) est compax p2 . Comme application rativement faible par rapport ` lnergie cintique a e e 2m de lintgrale de chemin, nous nous proposons dobtenir le dveloppement e e

6.6. DIAGRAMMES DE FEYNMAN en puissances de V du propagateur


a

123

K(a, b) =
b

Dx(t) exp

ta tb

m x2 V (x(t), t) dt . 2

(6.47)

On dveloppe en puissances de V : e exp i


ta

V (x(t), t) dt
tb

=1 + 1 2

i i

ta

V (x(t), t) dt
tb 2 ta 2

V (x(t), t) dt
tb

+ (6.48)

et on porte dans (6.47) pour obtenir : K(a, b) = K (0) (a, b) + K (1) (a, b) + K (2) (a, b) + o` u K (0) (a, b) =
b a

(6.49)

Dx(t) exp i
ta tb

ta tb

m x2 dt , 2
ta

(6.50)

K (1) (a, b) =

i
b

Dx(t) exp
a b

m x2 dt 2
ta

V (x(s), s) ds, (6.51)


tb

K (2) (a, b) =

1 2 2

Dx(t) exp
ta

tb ta

m x2 dt 2 ds V (x(s), s)V (x(s ), s ), (6.52)

ds
tb tb

. . . (le terme K (n) est dordre n en V ). Le terme dordre 0 est le propagateur libre K (0) (a, b) = K0 (a, b).

6.6.2

Terme K (1) (a, b)

On change lordre dintgration sur le temps s et le chemin x(t) : e e K (1) (a, b) = o` u


a ta

F (s) ds
tb

(6.53)

F (s) =
b

Dx(t) exp

ta tb

m x2 dt 2

V (x(s), s).

(6.54)

Lintgrale de chemin F (s) porte sur lamplitude de la particule libre le long e i ta mx2 du chemin x(t) (le facteur exp dt ) multiplie par le facteur e 2 tb

124 i

6. INTEGRALES DE CHEMIN

V (x(s), s) qui ne dpend du chemin x(t) que par la position xc = x(s) e

au temps tc = s. Dcomposons le chemin x(t) en un chemin y(t) de b ` e a c = (xc , tc ) et un chemin z(t) de c ` a (cf. gure 6.6). Lintgrale sur les e a chemins x(t) est quivalente ` lintgrale sur les chemins y(t) et z(t) suivie e a e dune intgrale sur la position xc : e
+ a

F (s) =
t ta tc tb b xb xc xa x a z(t) y(t) c

dxc
c

Dz(t) exp

ta tc

mz 2 dt 2

i V (xc , tc ) i
tc tb

K0 (a, c) c

Dy(t) exp

my 2 dt . (6.55) 2

K0 (c, b)

Nous avons donc pour le terme K (1) (a, b) : K (1) (a, b) =


ta +

Fig. 6.6 Dcomposition du e


chemin x(t). On obtient tous les chemins de b ` a en coma posant un chemin y(t) de b ` c a et un chemin z(t) de c ` a pour a xc arbitraire (tc est x). e

dtc
tb

i dxc K0 (a, c) V (xc , tc ) K0 (c, b).

(6.56)

Simplions lcriture en dsignant par e e point c = (xc , tc ) : K (1) (a, b) =

dc lintgrale sur lespace-temps du e

i dc K0 (a, c) V (c) K0 (c, b).

(6.57)

On peut faire porter lintgrale sur tous les temps tc , les limites dintgration e e ta tc tb tant automatiquement prises en compte par la prsence des e e propagateurs (ainsi K0 (a, c) = 0 si ta < tc ).

6.6.3

Interprtation e

Pour interprter le dveloppement obtenu, appelons diusion par le poe e tentiel linteraction de la particule avec le potentiel et amplitude de diusion par le potentiel par unit de temps et de volume (longueur ` 1D) le terme e a i V (c).

Le propagateur K(a, b) est la somme des amplitudes des diverses faons c dont la particule peut aller de b ` a. Les diverses faons sont : a c La particule nest pas diuse (terme K0 (a, b)) (cf. gure 6.7). e La particule est diuse une fois (terme K (1) (a, b)). Dcrivons un des e e chemins possibles. La particule se dplace de b ` c comme une particule e a libre ; elle est diuse par le potentiel au point c ; elle se dplace de c ` e e a e a comme une particule libre (cf. gure 6.8). Lamplitude de probabilit par unit de temps et de longueur pour ce chemin est le produit e i K0 (a, c) V (c) K0 (c, b) (6.58)

6.6. DIAGRAMMES DE FEYNMAN

125

(r`gle du produit des amplitudes de probabilit pour des vnements e e e e successifs). Lquation (6.57) signie que K (1) (a, b) sobtient en some mant ces amplitudes pour tous les points c de lespace-temps. La particule est diuse deux fois (terme K (2) (a, b)). e ...
a a d c V V c V a

Fig. 6.7 La particule nest


pas diuse. e

Fig. 6.8 La particule est


diuse une fois. e

Fig. 6.9 La particule est


diuse deux fois. e

Fig. 6.7.

Fig. 6.8.

Fig. 6.9.

Linterprtation donne ci-dessus pour K (1) (a, b) permet dcrire le terme e e e en considrant les chemins o` la particule est diuse deux fois e u e (cf. gure 6.9). La particule se dplace de b ` c comme une particule libre e a (amplitude de probabilit : K0 (c, b)) ; elle est diuse par le potentiel au point e e c (iV (c)/ ) ; elle se dplace de c ` d comme une particule libre (K0 (d, c)) ; e a elle est diuse par le potentiel au point d (iV (d)/ ) ; elle se dplace de d e e a ` a comme une particule libre (K0 (a, d)). Lexpression du terme dordre 2 est la somme sur tous les points c et d de lespace-temps : K (2) (a, b) i i dc dd K0 (a, d) V (d) K0 (d, c) V (c) K0 (c, b).

K (2) (a, b) =

(6.59) Vrions que cette expression est identique ` (6.52). Transformons lintgrale e a e dans (6.52) :
ta ta

ds
tb ta tb ta

ds V (x(s), s)V (x(s ), s )


ta ta

s ta

=
tb

ds
s

ds V (x(s),s)V (x(s ),s )+


tb

ds
s

dsV (x(s),s)V (x(s ),s ). (6.60)


tb t

1 2

a b Cette relation a t obtenue en sparant le domaine dintgration de la ee e e 1re intgrale (le carr tb s ta , tb s ta ) en deux triangles : le triangle e e 1 (tb s s ta ) et le triangle 2 (tb s s ta ) (cf. gure 6.10). Les Fig. 6.10 Domaines dintgration. e e deux intgrales du second membre de (6.60) sont gales ce qui permet de e

126

6. INTEGRALES DE CHEMIN
1 2

rcrire (6.52) en faisant dispara le facteur e tre K (2) (a, b) = 1


2 ta ta a

dtc
tb tc

dtd
b

Dx(t) i
ta tb

exp

m x2 dt 2

V (c)V (d) (6.61)

e e qui se transforme en (6.59) par la mthode utilise pour le terme dordre 1.

6.6.4

Equation intgrale e

Nous avons obtenu le dveloppement e K(a, b) = K0 (a, b) + i


2

dc K0 (a, c)V (c)K0 (c, b)

dc dd K0 (a, c)V (c)K0 (c, d)V (d)K0 (d, b) + (6.62)

Remarquer que le facteur 1/n! du terme dordre n du dveloppement (6.49) e y dispara de la mme faon que pour le terme dordre 2. En regroupant les t e c termes on a K(a, b) = K0 (a, b) i dc K0 (a, c)V (c) i dd K0 (c, d)V (d)K0 (d, b) + . (6.63)
K(c, b)

K0 (c, b)

Le propagateur vrie donc lquation intgrale e e e K(a, b) = K0 (a, b)


Fig. 6.11 La particule se
propage de b ` a comme une a particule libre. a c a

dc K0 (a, c)V (c)K(c, b).

(6.64)

Fig. 6.12 La particule est


diuse une ou plusieurs fois, la e derni`re diusion se produisant e au point c. V b

V b

Fig. 6.11.

Fig. 6.12.

6.6. DIAGRAMMES DE FEYNMAN

127

Lquation (6.64) sinterpr`te en dcomposant le propagateur K(a, b) e e e comme la somme des deux amplitudes de probabilit pour les deux processus e suivants. 1. La particule nest pas diuse (terme K0 (a, b)) (cf. gure 6.11). e 2. La particule est diuse une ou plusieurs fois (cf. gure 6.12). Ce proe cessus est dcompos en trois vnements successifs : la particule se e e e e dplace de b ` c en subissant un nombre quelconque (pouvant tre e a e nul) de diusions (amplitude de probabilit K(c, b)) ; la particule est e diuse par le potentiel au point c (densit damplitude de probabie e lit iV (c)/ ) ; la particule se dplace de c ` a comme une particule e e a libre (amplitude de probabilit K0 (a, c)). Le dernier terme de (6.64) e sinterpr`te comme lamplitude de probabilit de ce processus pour e e lensemble des positions de c. La srie (6.62) est ` la base de la thorie des perturbations dpendant du e a e e temps en Mcanique Quantique et en Thorie des Champs. Les diagrammes e e de Feynman (cf. gures 6.76.9) dcrivent les termes de la srie et permettent e e dcrire directement, par les r`gles de Feynman, les grandeurs physiques e e correspondantes. Exercice 6.1 (Autre mthode pour obtenir lquation intgrale). e e e a e Obtenir lquation intgrale (6.64) ` partir de lquation (4.144). e e

128

ANNEXE A. CORRIGE DES EXERCICES

Annexe A

Corrig des exercices e


1.1 (Le groupe de Lorentz) 1) G = G ( dsigne la matrice transpose e e de ). En prenant le dterminant de G = G on obtient (det )2 = 1 do` e u det = 1. 2) Soit H lensemble des matrices relles 4 4 vriant la relation (1.82). e e Comme det = 0 pour H les matrices de H sont inversibles. Pour montrer que H est un sous-groupe des matrices relles 4 4 inversibles, il e sut de montrer que H est non vide (il contient lidentit I) et que si M, N e H alors = M N 1 H (ce qui rsulte de G = G : N 1 (M GM )N 1 = e N 1 GN 1 = G). 3) Lquation (1.82) exprime que les 4 quadrivecteurs forment une e ttrade orthonorme : = g . e e 4) En multipliant (1.82) par 1 g on obtient 1

g g = 1

soit 1
i

= g g ,
i

a ` comparer ` R1 j = Rj i ou R1 j = Rl k jl ik pour une matrice a orthogonale. La relation (1.83) scrit en matrice 1 = GG, ce qui pouvait sobtenir e directement ` partir de G = G (question 1). a 5) La somme dans le second membre de lquation (1.83) ne contient e quun terme non nul, celui avec = et = . On trouve ainsi (1 )0 0 = 0 0 = , (1 )0 1 = 1 0 = , . . . . 6) Pour = = 0, lquation (1.82) donne 1 = g00 = 0 0 g = e (0 0 )2 (1 0 )2 (2 0 )2 (3 0 )2 . Do` (0 0 )2 1. u 7) Soit = M N le produit de deux matrices de Lorentz. On a det = (det M )(det N ). Llment 0 0 = M 0 N 0 peut tre interprt comme le ee e ee

129 produit scalaire a b des deux vecteurs a = g M 0 et b = N 0 de carrs e a a = b b = 1. En valuant ce produit scalaire dans un rfrentiel K e ee o` a = (a 0 , 0, 0, 0) (ce changement de rfrentiel conserve le signe de la u ee composante temporelle : signe a0 = signe a 0 ) on obtient 0 0 = a 0 b 0 et signe 0 0 = signe a 0 b 0 = signe a0 b0 = (signe M 0 0 )(signe N 0 0 ). On en dduit que L e +
1

= L , L L = L , L = P L , L = T L et + + + + + +

L = T P L . Chacun des sous-ensembles G du groupe de Lorentz envisags e + + 1 G : ce sont bien des sous-groupes. en ad vrient GG e Nota : Dans le changement de rfrentiel (1.31) nous nous sommes limits ee e aux transformations telles quil existe une suite de rfrentiels K(s) pour ee s [0, 1] qui permet de passer contin ment du rfrentiel K = K(0) au u ee rfrentiel K = K(1). Les matrices correspondantes appartiennent au ee groupe de Lorentz restreint L . On peut montrer (cest assez compliqu), e + inversement, que pour chaque matrice L il existe un tel changement de + rfrentiel (il y en a une innit si on tient compte du terme non-homog`ne ee e e a dans (1.31)). Les nappes de la table A.1 sont les composantes connexes du groupe de Lorentz.
Nappe L + L L L + det +1 1 1 +1 0 0 1 1 1 1 contient I P T TP } restreint orthochrone groupe Tab. A.1 Nappes du groupe de Lorentz. P dsigne line version spatiale (P = G de le quation (1.59)) et T linversion du sens du temps (T = G).

complet

e 1.2 g = g = et g . On peut ainsi noter le tenseur mtrique par le symbole : = g . 3.1 On retrouve la pression lectrostatique df = e
0E

dS.

6.1 (Autre mthode pour obtenir lquation intgrale) e e e a Multiplier lquation (4.144) ` gauche par U0 (t, t0 ) : e U0 (t, t0 )UI (t, t0 ) = U0 (t, t0 )
U (t, t0 )

t t0

1 U0 (t, t )U0 (t , t0 ) U0 (t , t0 )Hint U0 (t , t0 ) UI (t , t0 )dt U0 (t, t0 ) HI, int (t ) t

= U0 (t, t0 )

U0 (t, t )Hint U (t , t0 )dt . (A.1)


t0

On retrouve (6.64) en changeant t ta , t0 tb , t tc ,


+

Hint

dxc xc Hint (c) xc

130

ANNEXE A. CORRIGE DES EXERCICES

et en prenant llment de matrice entre xa et xb : ee xa U (ta , tb ) xb = xa U0 (ta , tb ) xb i


ta +

dtc
tb

dxc xa U0 (ta , tc ) xc Hint (c) xc U (tc , tb ) xb . (A.2)

131

Annexe B

Bibliographie
On conseille de complter ce cours par la lecture des chapitres 11 et 12 e du livre de Jackson [1]. e Rvision des quations de Maxwell : [1, 2] ([2] et les anciennes ditions e e de [1] utilisent le syst`me dunits de Gauss (cgs)). e e Rvision de la thorie de la relativit restreinte et des transformations e e e de Lorentz : [1, 3, 2]. Les chapitres 14 du livre de Schutz [3] sont particuli`rement recommands. On peut aussi lire larticle dEinstein [4], qui est e e traduit en anglais et accompagn dexplications et de considrations histoe e riques dans [5]. Une rfrence pour le chapitre 4 est le livre de Cohen-Tannoudji et al [6]. ee La formulation de la Mcanique Quantique par lintgrale de chemin est e e expose dans le livre classique de Feynman et Hibbs [7]. e

132

REFERENCES

Rfrences ee
[1] J. D. Jackson, Electrodynamique classique , (Paris : Dunod, 2001), traduction franaise de Classical electrodynamics, 3rd edition (New c York : John Wiley & Sons, 1999) 131 [2] L. Landau et E. Lifchitz Thorie du champ , (Moscou : Mir, 1966) e 131 [3] B. F. Schutz A rst course in general relativity, (UK : Cambridge University Press, 1985) 131 [4] A. Einstein Zur Elektrodynamik bewegter Krper, Ann. Phys. 17, o 891921 (1905) 12, 131 [5] A. I. Miller, Albert Einsteins special theory of relativity, (New York : Springer 1998) 131 [6] C. Cohen-Tannoudji, J. Dupont-Roc et G. Grynberg Photons et atomes. Introduction ` llectrodynamique quantique , (Paris : Intera e Editions et Editions du CNRS 1987) 131 [7] R. P. Feynman & A. R. Hibbs, Quantum Mechanics and Path Integrals, (New York : McGraw-Hill 1965) 131

133

Annexe C

Index des noms propres


dAlembert . . . . . . . . . . . . . . . . . . . . 9 Bohr . . . . . . . . . . . . . . . . . . . . . . . . . 94 Bose . . . . . . . . . . . . . . . . . . . . . . . . . 71 Broglie . . . . . . . . . . . . . . . . . . . . . . 119 Cohen-Tannoudji . . . . . . . . . . . 132 Coulomb . . . . . . . . . . . . . . . . . . . . . . 8 dAlembert . . . . . . . . . . . . . . . . . . . . 9 Descartes . . . . . . . . . . . . . . . . . . . . 88 Dirac . . . . . . . . . . . . . . . . . . . . . . . . 31 Dupont-Roc . . . . . . . . . . . . . . . . 132 Einstein . . . . . . . . . . . . . . . . . . . . . . 11 Euclide . . . . . . . . . . . . . . . . . . . . . . 28 Euler . . . . . . . . . . . . . . . . . . . . . . . . 41 Fermi . . . . . . . . . . . . . . . . . . . . . . . . 85 Feynman . . . . . . . . . . . . . . . . . . . . . 93 FitzGerald . . . . . . . . . . . . . . . . . . . 18 Fock . . . . . . . . . . . . . . . . . . . . . . . . . 84 Fourier . . . . . . . . . . . . . . . . . . . . . . . 76 Fraunhofer . . . . . . . . . . . . . . . . . . 109 Galile . . . . . . . . . . . . . . . . . . . . . . . 11 e Gauss . . . . . . . . . . . . . . . . . . . . . . . . . 8 Gordon . . . . . . . . . . . . . . . . . . . . . . 53 Green . . . . . . . . . . . . . . . . . . . . . . . . 96 Grynberg . . . . . . . . . . . . . . . . . . . 132 Hamilton . . . . . . . . . . . . . . . . . . . . 44 Heaviside . . . . . . . . . . . . . . . . . . . . 98 Heisenberg . . . . . . . . . . . . . . . . . . . 69 Hermite . . . . . . . . . . . . . . . . . . . . . . 69 Hibbs . . . . . . . . . . . . . . . . . . . . . . . 132 Hilbert . . . . . . . . . . . . . . . . . . . . . . . 69 Hodge . . . . . . . . . . . . . . . . . . . . . . . 28 Jackson . . . . . . . . . . . . . . . . . . . . . 132 Klein . . . . . . . . . . . . . . . . . . . . . . . . 53 Kronecker . . . . . . . . . . . . . . . . . . . . 16 Lagrange . . . . . . . . . . . . . . . . . . . . . 40 Landau . . . . . . . . . . . . . . . . . . . . . 132 Laplace . . . . . . . . . . . . . . . . . . . . . . 10 Larmor . . . . . . . . . . . . . . . . . . . . . 105 Levi-Civita . . . . . . . . . . . . . . . . . . . 27 Linard . . . . . . . . . . . . . . . . . . . . . 102 e Lifchitz . . . . . . . . . . . . . . . . . . . . . 132 Lorentz . . . . . . . . . . . . . . . . . . . . . . . 8 Lorenz . . . . . . . . . . . . . . . . . . . . . . . . 9 Mach . . . . . . . . . . . . . . . . . . . . . . . . 11 Maxwell . . . . . . . . . . . . . . . . . . . . . . . 7 Miller . . . . . . . . . . . . . . . . . . . . . . . 132 Minkowski . . . . . . . . . . . . . . . . . . . 20 Newton . . . . . . . . . . . . . . . . . . . . . . 11 Newton, T. D. . . . . . . . . . . . . . . . 86 Parseval . . . . . . . . . . . . . . . . . . . . . 76 Plancherel . . . . . . . . . . . . . . . . . . . 76 Poincar . . . . . . . . . . . . . . . . . . . . . 13 e Poisson . . . . . . . . . . . . . . . . . . . . . . . 9 Poynting . . . . . . . . . . . . . . . . . . . . . 65 Schrdinger . . . . . . . . . . . . . . . . . . 69 o Schutz . . . . . . . . . . . . . . . . . . . . . . 132 Wiechert . . . . . . . . . . . . . . . . . . . . 102 Wigner . . . . . . . . . . . . . . . . . . . . . . 86

Vous aimerez peut-être aussi