Sunteți pe pagina 1din 97

Universite Paris-Sud Orsay

Matrise et Magist`ere de Physique

M7 CHAMPS ET FLUIDES
M7 INTERACTION LUMIERE-MATIERE

ELECTROMAGNETISME

J.-J. LABARTHE
`
TABLE DES MATIERES 1

Table des mati`


eres

Bibliographie 5

1 Formulation covariante 6
1.1 Rappel delectromagnetisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.1 Les lois de lelectromagnetisme . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.2 Syst`emes dunites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.3 Potentiels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Principe de relativite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1 Invariants, ecriture covariante . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Transformations de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Quadrivecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 Lintervalle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Quadrivitesse. Quadriimpulsion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Quadricourant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.8 Le produit scalaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.9 Tenseurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9.1 Vecteurs covariants ou 1-formes . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9.2 Tenseurs covariants et N -formes . . . . . . . . . . . . . . . . . . . . . . . 18
1.9.3 Produit tensoriel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.9.4 Tenseurs contravariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.9.5 Tenseurs mixtes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.9.6 Alg`ebre tensorielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.9.7 Calcul tensoriel : r`egles pratiques (14) . . . . . . . . . . . . . . . . . . . . 20
1.9.8 Applications lineaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.10 Proprietes metriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.10.1 Le tenseur metrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.10.2 Exercice : Le groupe de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . 21
1.10.3 Correspondance entre quadrivecteurs et 1-formes . . . . . . . . . . . . . . 23
`
TABLE DES MATIERES 2

1.10.4 Calcul tensoriel : r`egles pratiques (5) . . . . . . . . . . . . . . . . . . . . . 23


1.11 Tenseur de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.12 Gradient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.12.1 Le quadrigradient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.12.2 Le dAlembertien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.12.3 Une interpretation geometrique du gradient . . . . . . . . . . . . . . . . . 25
1.12.4 Representation geometrique dune 1-forme . . . . . . . . . . . . . . . . . . 26
1.13 Integrales quadridimensionnelles . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.13.1 Linvariance de lelement de volume d4 x . . . . . . . . . . . . . . . . . . . 26
1.13.2 Fonction de Dirac quadridimensionnelle . . . . . . . . . . . . . . . . . . . 27
1.13.3 Integration par parties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.14 Quadripotentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.15 Tenseur du champ electromagnetique . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.16 Formulation covariante de lelectromagnetisme . . . . . . . . . . . . . . . . . . . 30
1.16.1 Formulation en termes du quadripotentiel . . . . . . . . . . . . . . . . . . 32
1.17 Resume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2 Lagrangien 34
2.1 Particule chargee dans un champ exterieur . . . . . . . . . . . . . . . . . . . . . . 34
2.1.1 Le principe de moindre action . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.1.2 Particule materielle relativiste libre (en champ nul) . . . . . . . . . . . . . 36
2.1.3 Particule relativiste dans un champ electromagnetique exterieur . . . . . 36
2.1.4 Hamiltonien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2 Corde classique `a une dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2.1 Lagrangien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.2.2 Hamiltonien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3 Equations dEuler-Lagrange pour un champ continu . . . . . . . . . . . . . . . . 40
2.4 Lagrangien du champ electromagnetique . . . . . . . . . . . . . . . . . . . . . . . 41
2.5 Fonctionnelle, derivee fonctionnelle . . . . . . . . . . . . . . . . . . . . . . . . . . 43

3 Tenseur
energie-impulsion 47
3.1 Integrales sur une hypersurface . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.1.1 Flux dun quadrivecteur . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.1.2 Theor`eme de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.1.3 Quadrivecteur de quadridivergence nulle . . . . . . . . . . . . . . . . . . . 48
3.2 Tenseur energie-impulsion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2.1 Interpretation physique des composantes . . . . . . . . . . . . . . . . . . . 49
`
TABLE DES MATIERES 3


3.2.2 Decomposition T = Tpart + Tchamp . . . . . . . . . . . . . . . . . . . . . 52
3.2.3 Tenseur energie-impulsion dune particule . . . . . . . . . . . . . . . . . . 52
3.2.4 Tenseur energie-impulsion des particules . . . . . . . . . . . . . . . . . . . 53
3.2.5 Tenseur energie-impulsion du champ . . . . . . . . . . . . . . . . . . . . . 54

3.2.6 Composantes de Tchamp . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2.7 Tenseur energie-impulsion canonique . . . . . . . . . . . . . . . . . . . . . 56

4 Th
eorie quantique du rayonnement 58
4.1 Quantication dun oscillateur harmonique . . . . . . . . . . . . . . . . . . . . . 58
4.1.1 Quantication canonique . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.1.2 Rappel sur loscillateur harmonique . . . . . . . . . . . . . . . . . . . . . 59
4.1.3 Interpretation en termes de particules . . . . . . . . . . . . . . . . . . . . 60
4.1.4 Ensemble doscillateurs harmoniques independants . . . . . . . . . . . . . 60
4.1.5 Transformation unitaire doperateurs creation-destruction . . . . . . . . . 61
4.2 Lagrangien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.3 Probl`emes dans la quantication du champelectromagnetique . . . . . . . . . . . 62
4.3.1 Methode de quantication utilisee . . . . . . . . . . . . . . . . . . . . . . 62
4.3.2 Autre methode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.4 Elimination de et utilisation de la jauge de Coulomb . . . . . . . . . . . . . . . 63
4.5 Conditions aux limites periodiques . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.6 Potentiel vecteur : composantes An . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.7 Hamiltonien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.8 Quantication canonique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.9 Modes normaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.10 Operateurs du point de vue de Heisenberg (champ libre) . . . . . . . . . . . . . . 69
4.11 Recapitulatif des operateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.12 Espace des etats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.13 Quantite de mouvement du champ . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.14 Spin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.15 Emission spontanee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.15.1 Representation dinteraction . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.15.2 Calcul du taux de transition . . . . . . . . . . . . . . . . . . . . . . . . . . 78

5 Th
eorie classique du rayonnement 81
5.1 Fonction de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.1.1 Resolution dequation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.1.2 Fonction de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
`
TABLE DES MATIERES 4

5.2 Potentiels retardes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83


5.2.1 Courant stationnaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.3 Charge ponctuelle en mouvement . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.3.1 Potentiels de Lienard-Wiechert . . . . . . . . . . . . . . . . . . . . . . . . 85
5.3.2 Champs E  et B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.3.3 Formule de Larmor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.4 Distribution de charges quelconque . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.4.1 Decomposition spectrale des potentiels . . . . . . . . . . . . . . . . . . . . 89
5.4.2  et B
Decomposition spectrale de E  . . . . . . . . . . . . . . . . . . . . . . 89
5.4.3 Zone de rayonnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.4.4 Composante A (r) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.4.5 Energie rayonnee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
5.4.6 Sources periodiques de periode T . . . . . . . . . . . . . . . . . . . . . . . 92
5.4.7 Approximation dipolaire electrique . . . . . . . . . . . . . . . . . . . . . . 93

Index des noms propres 96


BIBLIOGRAPHIE 5

Bibliographie

[1] J. D. Jackson,  Electrodynamique classique  , (Paris : Dunod, 2001), traduction francaise


de Classical electrodynamics, 3rd edition (New York : John Wiley & Sons, 1999) 5
[2] L. Landau et E. Lifchitz  Theorie du champ  , (Moscou : Mir, 1966) 5
[3] B. F. Schutz A rst course in general relativity, (UK : Cambridge University Press, 1985)
5
[4] A. Einstein Zur Elektrodynamik bewegter Korper, Ann. Phys. 17, 891921 (1905) 5, 10
[5] A. I. Miller, Albert Einsteins special theory of relativity, (New York : Springer 1998) 5
[6] C. Cohen-Tannoudji, J. Dupont-Roc et G. Grynberg  Photons et atomes. Introduction `a
lelectrodynamique quantique  , (Paris : InterEditions et Editions du CNRS 1987) 5

On conseille de completer ce cours par la lecture des chapitres 11 et 12 du livre de Jack-


son [1].
Revision des equations de Maxwell : [1, 2] ([2] et les anciennes editions de [1] utilisent le
syst`eme dunites de Gauss (cgs)).
Revision de la theorie de la relativite restreinte et des transformations de Lorentz : [1,
3, 2]. Les chapitres 14 du livre de Schutz [3] sont particuli`erement recommandes. On peut
aussi lire larticle dEinstein [4], qui est traduit en anglais et accompagne dexplications et de
considerations historiques dans [5].
Une reference pour le chapitre 4 est le livre de Cohen-Tannoudji et al [6].

Mise `a jour de ce cours sur le site


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

Premi`ere version : 6 septembre 2001


Cette version : 26 octobre 2002

Jean-Jacques LABARTHE
Laboratoire Aime Cotton
www.lac.u-psud.fr
Bat 505 CNRS II
91405 ORSAY Cedex
Tel. : 01 69 35 20 49
Fax : 01 69 35 21 00
e-mail : labarthe@lac.u-psud.fr
1. FORMULATION COVARIANTE 6

Formulation covariante

On se propose decrire les equations de Maxwell 1 sous forme covariante. Pour cela on
presente le formalisme tensoriel apr`es quelques rappels sur la theorie de la relativite.

1.1 Rappel d
electromagn
etisme

1.1.1 Les lois de l


electromagn
etisme

Les equations de Maxwell :

 E
 =
(1.1)
0

 0 0 E = 0 J
 B (1.2)
t
 B
 = 0 (1.3)

 E
 + B = 0. (1.4)
t

Densite de charge et densite de courant J pour un ensemble de N particules (la particule i


 i (t) et se deplace `a la vitesse V
de charge qi est situee en R i (t) `a linstant t) :

N
   N
  
(r,t) = qi (3) r R
 i (t) ,  r ,t) =
J( i (t)(3) r R
qi V  i (t) . (1.5)
i=1 i=1

Lequation de continuite (elle est veriee par (1.5)) :

 J + = 0.
(1.6)
t

La force de Lorentz 2 agissant sur la charge q de vitesse V


:
 
F = q E +V B  . (1.7)

1. James Clerk Maxwell (1831-1879)


2. Hendrik Antoon Lorentz (1853-1928)
1. FORMULATION COVARIANTE 7

Letat du syst`eme champ + particules chargees est determine, `a un instant t0 , par la donnee des
champs E( r,t0 ) et B(
 r ,t0 ) en tout point r et par les positions R  i (t0 ) et vitesses V
i (t0 ) des parti-
 r ,t0 ) sont alors donnees par lequation (1.5).
cules. Les densites de charge (r,t0 ) et de courant J(
Les equations (1.2), (1.4) et les equations du mouvement pour les particules soumises aux
forces (1.7) determinent levolution du syst`eme au cours du temps. Les equations (1.1) et (1.3)
peuvent etre considerees comme des contraintes auxquelles sont soumises les variables E(  r ,t),
 
B(r,t) et Ri (t) du syst`eme.

1.1.2 Syst`
emes dunit
es

Ce cours utilise le syst`eme international (S.I.) 3 . Voici les valeurs de quelques constantes :

permittivite electrique du vide 0 = 1/0 c2 8,854187817 1012 F m1 ;


permeabilite magnetique du vide 0 = 4107 N A2 ; (1.8)
vitesse de la lumi`ere dans le vide c = 299 792 458 m s1 .

1.1.3 Potentiels
 r ), B(
Les proprietes suivantes, pour des champs A(  r ), F
 (r) et (r) dans tout lespace

 B
 = 0 
A :  =
B  A
 F = 0  =
 (1.9)
: F

entranent que les deux equations homog`enes de Maxwell (1.3) et (1.4) sont equivalentes `a
 r ,t) et dun potentiel scalaire (r,t) tels que
lexistence dun potentiel vecteur A(

 =
B  A,
  A .
 =
E (1.10)
t
 et B
Les champs E  restent inchanges dans les remplacements


 = , A  = A
 A  + ,
 (1.11)
t
o`
u est une fonction arbitraire de r et t (invariance de jauge). La liberte sur le choix des
potentiels permet de leur imposer une contrainte. Nous utiliserons soit la jauge de Lorenz 6
(nommee dapr`es le physicien danois Lorenz qui a introduit les potentiels retardes en 1867) en
imposant
 A
 + 1 = 0 (condition de Lorenz), (1.12)
c2 t
3. Le syst`eme dunites de Gauss 4 (cgs) denit lunite de charge de sorte que la force de Coulomb 5 soit qq  /r 2 .
Voici la forme des equations de la section 1.1 dans ce syst`eme dunites.
 E
 = 4
 expressions de et J inchangees
 1 E
 B =
4 
J
c t c equation
 de continuit
e inchangee
 B
 
V
= 0  =q E
F + B .
 c
 + 1 B
 E = 0
c t

4. Johann Karl (Carl) Friedrich Gauss (1777-1855)


5. Charles-Augustin de Coulomb (1736-1806)
6. Ludwig Valentin Lorenz (1829-1891)
1. FORMULATION COVARIANTE 8

soit la jauge de Coulomb en imposant


 A
=0 (condition de Coulomb). (1.13)

On trouve souvent ecrit  jauge de Lorentz  dapr`es le physicien hollandais Hendrik A. Lorentz
`a la place de  jauge de Lorenz . On montrera, 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, etant donnes A   et  , il sut de trouver dans les
equations (1.11) tel que  A
 = 0. Ainsi, doit verier

  = f (r,t)
 A
= (equation de Poisson 7 ) (1.14)

dont on sait quune solution est



1 f (r  ,t) 3 
(r,t) = d r. (1.15)
4 |r r  |

De meme, pour montrer quil est toujours possible dimposer la condition de Lorenz (1.12), il
sut de trouver dans les equations (1.11) tel que

1    
= A = g(r,t) (1.16)
c2 t
o`
u loperateur
1 2
= (1.17)
c2 t2
est le dAlembertien 8. On verra, section 5.1, que lequation (1.16) admet des solutions.
En reportant les equations (1.10) dans les deux autres equations de Maxwell (1.1) et (1.2),
on obtient, avec 0 0 c2 = 1 et en faisant apparatre le laplacien 9 A
 par

 (
 A)
 = (
  A)
 A,
 (1.18)


= +  A (1.19)
0 t
 
     1
A = 0 J A + 2 (jauge arbitraire). (1.20)
c t

Pour la jauge de Lorenz, ces equations se simplient en

= 0 c2 (1.21)
 = 0 J
A (jauge de Lorenz). (1.22)

Pour la jauge de Coulomb, les equations (1.19) et (1.20) deviennent



= , (1.23)
0
 = 0 J 1
A  (jauge de Coulomb). (1.24)
c2 t
7. Simeon Denis Poisson (1781-1840)
8. Jean le Rond dAlembert (1717-1783)
9. Pierre-Simon Marquis de Laplace (1749-1827)
1. FORMULATION COVARIANTE 9

Les equations (1.21) et (1.22) sont des equations aux derivees partielles du deuxi`eme ordre qui
2A  2
contiennent les termes , . On peut considerer que le champ electromagnetique est decrit
t2 t2
par les potentiels A  et de jauge de Lorenz dont levolution au cours du temps est determinee,
par les  equations du mouvement  (1.21) et (1.22), `a partir de la donnee, `a un instant t0 , des

 r ,t0 ), (r,t0 ) et de leurs derivees temporelles A(r,t0 ) , (r,t0 ) en tout point r.
potentiels A(
t t
2

Dans le cas de la jauge de Coulomb, la derivee 2 napparat pas dans lequation (1.23).
t
On peut alors considerer que letat du champ est determine par la donnee des conditions initiales

 r ,t0 ) et A(r,t0 ) en tout point r. Lequation (1.23) determine alors et lequation (1.24)
A(
t
determine levolution au cours du temps de A  `a partir des conditions initiales.

1.2 Principe de relativit


e

Le principe de relativite pose lexistence dune classe particuli`ere dobservateurs, dit inertiels
et declare que
si deux observateurs inertiels eectuent chacun une experience dans
(1.25)
les memes conditions, les experiences donneront les memes resultats.

Le premier observateur represente les evenements, idealises comme ponctuels, par des co-
ordonnees despace-temps x1 , x2 , x3 , t (formant le referentiel dinertie K) et le deuxi`eme par
x1 , x2 , x3 , t (referentiel dinertie K  ). Les lois physiques sexpriment en coordonnees de facon
identique dans K et K  . Lespace-temps sera note E et les evenements A, B, M, . . . , lorsquon
ne desire pas preciser le referentiel.
x2 x1
Fig. 1.1 Transformation galileenne entre K et K  .
Le referentiel K  est en mouvement uniforme de translation `a 2 K m
E F

la vitesse V par rapport `a K.
La correspondance entre les deux syst`emes dinertie est  1 x1 
E x3
O O
de la forme 3 K
E
xi = Ri j xj V i t + ai , t = t + t0 . (1.26) x3 x2
 
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). Lequation (1.26) est ecrite avec la convention
dEinstein 10 (sommation sur lindice repete j qui apparat en indice une fois en haut et une fois
en bas). Pour la transformation de la gure 1.2, les origines O et O sont confondues `a t = t = 0
(transformation galileenne 11 homog`ene).
En mecanique newtonienne 12 pour les referentiels dinertie 13 (on dit aussi galileens), le
10. Albert Einstein (1879-1955)
11. Galileo Galilei, dit Galilee (1564-1642)
12. Sir Isaac Newton (1642-1727)
13. Les referentiels dinertie se trouvent etre les referentiels o`
u les etoiles lointaines apparaissent xes, ce qui
conduit `a postuler que les proprietes dinertie resultent de la repartition des masses dans lunivers (principe de
Mach 14 ).
14. Ernst Mach (1838-1916)
1. FORMULATION COVARIANTE 10

Fig. 1.2 Transformation galileenne speciale. x2 x2


La gure represente le cas particulier o`
u R est lidentite (axes

de K et K parall`eles) et o` u V = V E1 est suivant laxe x1 .
  2
La transformation (1.26) est
E K K
1 1
E O x1 , x1

x = x1 V t O
2
x = x2 3
E
3 (1.27)

x = x3

t = t. x3 x3

mouvement dun point materiel est decrit par la loi (cf. gures. 1.1 et 1.2)

d2 xi i d2 xi
m = F ou, en composantes, m = F dans K et m = F i dans K  . (1.28)
dt2 dt2

1.2.1 Invariants,
ecriture covariante

Lacceleration , la force F
 et la masse m qui ne dependent pas du referentiel (nous nous
limitons aux syst`emes dinertie) sont des invariants (de Galilee). Par contre les composantes de
 et F dependent du referentiel et se transforment selon (derivee seconde de lequation (1.26)) :

d2 xi 2 j
i d x
= R j , F i = Ri j F j . (1.29)
dt2 dt2
d2 xi
Les deux membres de lequation m 2
= F i se transforment de la meme facon dans le passage
dt
de K `a K  . Cest la manifestation du principe de relativite (de Galilee). On dit que lequation
est ecrite sous forme covariante.
Des dicultes apparaissent pour appliquer le principe de relativite de Galilee `a lelectro-
magnetisme. La loi de composition des vitesses U  = U V  , reliant les vitesses U
 (dans K)
  
et U (dans K ) dune particule, ne sapplique pas aux ondes electromagnetiques dans le vide :
dans tous les referentiels dinertie on mesure la meme vitesse c 2,998 108 m s1 .
Einstein dans son article [4], Sur lelectrodynamique des corps en mouvement (1905), cite
la diculte suivante. Il consid`ere linteraction dun aimant et dun conducteur. Le courant
dans le conducteur ne depend que du mouvement relatif de laimant et du conducteur. Mais la
description du phenom`ene di`ere dans les deux cas o` u lun ou lautre des corps est immobile.
Pour un observateur qui voit laimant en mouvement et le conducteur au repos, il apparat
au voisinage de laimant un champ electrique (loi de Faraday equation (1.4)) qui engendre un
courant dans le conducteur (F = q E). Pour un deuxi`eme observateur qui voit laimant au repos
et le conducteur en mouvement, il ny a aucun champ electrique. Dans le conducteur, cependant,
comme la charge q a une vitesse V  elle subit la force (F = q V
 B)
 qui engendre les memes
courants que dans le premier cas. Lelectromagnetisme, faisait remarquer Einstein, applique aux
corps en mouvement, conduit `a des asymetries qui ne semblent pas inherentes au phenom`ene.
La resolution de ces dicultes a ete obtenue par Einstein dans ce meme article (cest le
fameux article sur la relativite).
Il part des deux postulats :

Le principe de relativite (1.25) sapplique.


1. FORMULATION COVARIANTE 11

La vitesse de la lumi`ere est la meme pour tous les observateurs inertiels (cest un invariant
(de Lorentz)).

Les postulats dEinstein exigent labandon de la notion de temps absolu et conduisent `a


la theorie de la relativite (restreinte). Dans ce cadre, le principe (1.25) sappelle principe de
relativite dEinstein. Tous les referentiels K, K  , . . . , utilises par la suite seront dinertie. Ils se
deplacent tous `a une vitesse constante strictement inferieure `a c par rapport `a lun quelconque
dentre-eux.

1.3 Transformations de Lorentz

La correspondance entre les deux syst`emes dinertie K et K  (gure 1.1) est donnee par
une transformation de Lorentz inhomog`ene (ou transformation de Poincare 15)

x = x + a . (1.30)

On a pose x0 = ct, x0 = ct . On note , , . . . , des indices prenant les valeurs 0, 1, 2 et 3.
Levenement O (de coordonnees x = (x0 ,x1 ,x2 ,x3 ) = (0,0,0,0) dans K) a pour coordonnees
a = (a0 ,a1 ,a2 ,a3 ) dans K  ). Lorsque a = 0, les evenements O et O (de coordonnees x =
(0,0,0,0) dans K  ) sont confondus (transformation de Lorentz homog`ene). Dans des equations
comme (1.30) on peut changer les noms des indices et ecrire par exemple x = x + a =
x + a .
Nous nutiliserons que des transformations telles quil existe une suite de referentiels K(s)
pour s [0,1] qui permet de passer contin ument du referentiel K = K(0) au referentiel
K  = K(1). Exemples de transformations ne veriant pas cette condition : linversion spatiale,
linversion du sens du temps.

x2 x2
Fig. 1.3 Transformation de Lorentz speciale.
Les axes de K et K  sont parall`eles et K  se deplace pa-
e2 K K
rall`element `a laxe x1 avec la vitesse V par rapport `a K. Les
evenements O et O sont confondus.
O e1 O x1 , x1
On pose
e3
V 1
= et = . (1.31) x3 x3
c 1 2

La transformation de Lorentz speciale (cf. gure 1.3) secrit


0 0

x = (x0 x1 ) x 0 0 x0
1 x1
x = (x1 x0 ) = 0 0

x1

ou (1.32)

x 2 = x 2 x2 0 0 1 0 x2
3 3 3
x = x x 0 0 0 1 x3
  

sous forme matricielle. Dans la limite V c, 1 et 1, on retrouve la transformation
galileenne (1.27).
15. Jules Henri Poincare (1854-1912)
1. FORMULATION COVARIANTE 12

En general, la matrice = ( ) depend de 6 param`etres (la vitesse V  et 3 param`etres



pour les orientations relatives des axes). Lorsque les axes de K et K sont parall`eles, la matrice
ne depend que de V  )]1 = (V
 et son inverse correspond `a la vitesse opposee : [(V  ). Par
exemple linverse des equations (1.32) secrit
0 0 + x1 )
0 0

x = (x x 0 0 x
1 1 0 1 1
x = (x + x ) x = 0 0 x .
ou x 0 (1.33)


2
x = x 2 2 0 1 0 x2
3
x = x3 x3 0 0 0 1 x3
  
1
On peut obtenir la transformation generale (1.30) en composant une rotation-translation spa-
tiale (qui laisse le temps inchange), une transformation speciale et une deuxi`eme rotation-
translation spatiale : utiliser deux referentiels K1 (immobile par rapport `a K) et K1 (immobile
par rapport `a K  ), daxes parall`eles et tels que V
 soit parall`ele `a laxe 1 de coordonnees.

1.4 Quadrivecteurs

Considerons le deplacement AB de levenement A (de coordonnees x dans K et x dans
K  ) `a levenement B (de coordonnees y dans K et y  dans K  ). Ses composantes x = y x
dans K et x = y  x dans K  sont liees dapr`es lequation (1.30) par

x = x . (1.34)

On peut noter que si K  est un troisi`eme referentiel dinertie, la matrice (K K  ), intervenant


dans la transformation (1.34), et les matrices analogues (K K  ) et (K  K  ) verient

(K K  ) = (K  K  ) (K K  ) . (1.35)

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 etre vrai pour tout x .
Plusieurs grandeurs physiques se transforment entre referentiels dinertie de la meme facon

que les composantes x du deplacement AB. Cela am`ene `a denir un quadrivecteur (autres
noms : 4-vecteur, vecteur contravariant ou simplement vecteur) comme etant un objet a inva-
riant (independant du referentiel) et egal, lunite de mesure mise `a part, `a un deplacement.
Le quadrivecteur a a donc 4 composantes (a0 ,a1 ,a2 ,a3 ) dans le referentiel dinertie K. Nous
ecrirons a = (a0 ,a1 ,a2 ,a3 ) ou a = (a0 ,A)
 (dans K). Dans un autre referentiel dinertie K  , ses
0 1 2
composantes (a ,a ,a ,a ) sont 3

a = a (1.36)
o`
u est la matrice intervenant dans la transformation (1.30).
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 (tetrade) denis par
leurs composantes dans K
e0 = (1,0,0,0)
e1 = (0,1,0,0)
(1.37)
e2 = (0,0,1,0)
e3 = (0,0,0,1).
1. FORMULATION COVARIANTE 13

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



1 si =
= = = (delta de Kronecker 16 ). (1.38)
0 si
=

Le quadrivecteur a secrit alors


a = ae = ae , (1.39)
o`u la tetrade e est denie par rapport au referentiel K  . Determinons la transformation des
vecteurs de base. Portons lequation (1.36) dans lequation (1.39) : ae = a e ; renommons
les indices muets du deuxi`eme membre : ae = ae 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.40)

Fig. 1.4 Un exemple de lequation (1.40). x0 x0


Pour la transformation de la gure 1.3, avec = 3/5, = 5/4, lequation (1.40) e0
donne, la matrice inverse 1 etant donnee par lequation (1.33), x1
e0 e1
5
e0 = e0 (1 )0 0 + e1 (1 )1 0 = e0 + e1 = 4e0 + 34 e1
3
e1 = e0 (1 )0 1 + e1 (1 )1 1 = e0 + e1 = 4e0 + 54 e1 . e1 x1
(1.41) O

1.5 Lintervalle
 
Lintervalle du deplacement AB = x0 , x1 , x2 , x3 = (ct, r) est

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

Lintervalle ne depend pas du referentiel : cest une propriete des transformations (1.34). On
peut le verier `a laide des equations (1.32) pour les transformations speciales. Dans le cas
dune rotation-translation spatiale la propriete resulte des invariances separees de t et r.
On distingue trois cas (cf. gure 1.5) :
(s)2 = 0 (intervalle nul) : les evenements A et B peuvent etre relies par un rayon lu-
mineux. Les evenements B sont sur le c one de lumi`ere (independant du referentiel) de

levenement A. Exemple : deplacement AB0 .
(s)2 > 0 (intervalle de genre temps) : les evenements A et B peuvent etre occupes par
un meme point materiel. Les evenements B sont `a linterieur (futur ou passe) du cone de

lumi`ere de levenement A. Exemple : deplacement AB+ .
(s)2 < 0 (intervalle de genre espace) : Les evenements B sont `a lexterieur du cone de

lumi`ere de levenement A. Exemple : deplacement AB .

16. Leopold Kronecker (1823-1891)


1. FORMULATION COVARIANTE 14
0
B+ x
Fig. 1.5 Intervalles de genre temps, nul et espace. futur
La gure represente lespace-temps avec une dimension spatiale sup-
D B0
primee. Le cone de lumi`ere de levenement A est une hypersurface qui B
separe lespace-temps en trois regions futur, passe et ailleurs. La ligne x1
dunivers dun point materiel de masse
= 0 coupe le cone de lumi`ere de A x2 A ailleurs
en exactement deux evenements C, dans le passe de A, et D, dans le futur C passe
de A (si la ligne dunivers passe par A ces deux evenements se confondent
en A).

1.6 Quadrivitesse. Quadriimpulsion

Considerons une particule de masse m


= 0 en mouvement accelere. Soit K  un referentiel
dinertie, comobile `a un instant t avec la particule, cest-`a-dire en mouvement par rapport `a
K avec la vitesse V  =
dr/dt de la particule. Pendant le temps dt les coordonnees xi de la
particule sont xes dans K  `a des inniments petits dordre 2 en dt pr`es. Lintervalle entre les
deux evenements A (particule `a linstant t) et B (particule `a linstant t + dt) est
 
V2
(ds) = (cdt ) = (dx ) (dx ) (dx ) (dx ) = (cdt) dr = 1 2 (cdt)2 . (1.43)
2  2 0 2 1 2 2 2 3 2 2 2
c

La variation de temps propre de A `a B est d = dt = ds/c = dt/. Posons dA = AB. La

dA
quadrivitesse de la particule `a linstant t est le quadrivecteur u = = ce0 : ses composantes
d
sont (c,0,0,0) dans un referentiel comobile et
  

dx dt dt dr 
= c , 
= c, V dans K. (1.44)
d d d dt

La quadriimpulsion de la particule est


 
W 
p = m
u de composantes ,P . (1.45)
c

Lenergie W et la quantite de mouvement (ou impulsion) P dependent du referentiel mais pas la


quadriimpulsion p. La quadriimpulsion dune particule peut varier au cours du temps. Toutefois,
si la particule est isolee, il y a conservation de la quadriimpulsion et la ligne dunivers est une
droite. Pour un syst`eme quelconque isole il y a conservation de lenergie et de la quantite de
mouvement : on peut denir la quadriimpulsion du syst`eme qui est invariante et conservee. Mais
comment ? Pour deux particules a et b en interaction, dont les quadriimpulsions pa (t) et pb (t)
dependent du temps, est-ce la somme pa (t) + pb (t) qui change de forme dans un autre referentiel
(elle devient pa (ta ) + 
pb (tb ), o`
u les temps des deux particules peuvent etre dierents ta
= tb )?
On repondra `a la section 3.2.
Pour une particule de masse nulle (photon), on ne peut plus denir la quadrivitesse (ds = 0,
il nexiste pas de referentiel comobile) ; on peut denir la quadriimpulsion dun photon de
h
frequence dans K par p = (P,P ) o`
uP = .
c
1. FORMULATION COVARIANTE 15

1.7 Quadricourant

Considerons, dans K, `a linstant t, un petit volume , centre en r = (x1 , x2 , x3 ), contenant


des particules chargees de charge totale q qui se deplacent toutes avec la meme vitesse V  . On
denit la densite de charge en M (M est levenement : temps t, position r dans K) (M) =
q  r ,t) = V
 (la charge qui traverse lelement de surface
(r,t) = et la densite de courant J(

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 dependent du referentiel, et J ne sont
pas invariants.
Soit K  un referentiel comobile avec les particules. La densite de charge y est, en M,
q
0 (M) =  et, dapr`es lequation (1.47) de la gure 1.6 (contraction de Lorentz-FitzGerald 17 ),

(M) = 0 (M). (1.46)

Fig. 1.6 Contraction de Lorentz-FitzGerald.


Le volume = x1 x2 x3 , immobile dans
K  , est en mouvement avec la vitesse V
 dans K. x2 x2
Il y subit la contraction de Lorentz-FitzGerald x1 x1
x3 x2 x3 x2

= (1.47) 
V
O O
u  = x1 x2 x3 est le volume au repos.
o` x1 x1
x3 x3


Designons par u la quadrivitesse dune des particules en M (cf. gure 1.7). Le quadricourant
est
 (M) = 0 u. (1.48)
 
 =
Le nom est justie par le fait que ses composantes dans K sont 0 c, 0 V
 
(j ) = c, J (quadricourant). (1.49)

Pour une charge ponctuelle


 q en mouvement, de coordonnees 0 = ct et (t),
 la densite de charge
est = q (3) 
r (t) et le quadricourant

  d
j (r,t) = q(3) r (t)
 . (1.50)
dt

Le quadricourant est un champ de quadrivecteurs. On obtient les composantes dans K 


dun champ de quadrivecteurs a(M) `a partir des composantes dans K par

a (x0 , x1 , x2 , x3 ) = a (x0 , x1 , x2 , x3 ) (1.51)

et en exprimant x0 , x1 , x2 , x3 en fonction de x0 , x1 , x2 , x3 par linverse de lequation (1.30).
17. George Francis FitzGerald (1851-1901)
1. FORMULATION COVARIANTE 16

Fig. 1.7 Quadricourant et quadrivitesse. x0



Le quadricourant en M et la quadrivitesse dans lespace-temps sont tan-
u
gents aux lignes dunivers lorsque les particules chargees se deplacent
toutes avec la meme vitesse.
O x1
x2 lignes dunivers
des particules

Lorsque toutes les charges ne se deplacent pas de concert, le quadricourant est deni par
additivite, comme dans lequation (1.5). Le formalisme quadridimensionnel apporte des simpli-
cations : et J qui dependent du referentiel sont unies dans un invariant  ; de meme lenergie
E et la quantite de mouvement P sont uniees dans la quadriimpulsion.

1.8 Le produit scalaire

Dapr`es linvariance de lintervalle (1.42) et la denition dun quadrivecteur, le carre

(a)2 = (a0 )2 (a1 )2 (a2 )2 (a3 )2 (1.52)

dun quadrivecteur a est un invariant. Exemples : (u)2 = c2 ; (


p)2 = (mc)2 donne W 2 c2 (P )2 =
2 4
m c ; pour un photon ( 2
p) = 0 (E = cP ).
Le produit scalaire de deux quadrivecteurs a et b est egalement un invariant 18 :

a b = a0 b0 a1 b1 a2 b2 a3 b3 . (1.53)

Exemple : les produits scalaires des vecteurs de la tetrade (1.37) sont e e = g o`


u les 16
valeurs g forment la matrice G

1 0 0 0
0 1 0 0
(g ) = G =
0 0 1 0
(tenseur metrique). (1.54)
0 0 0 1

La base est orthonormee (vecteurs mutuellement orthogonaux et de carres 1). Le symbole g ,


deni par la meme matrice G

1 0 0 0
0 1 0 0
(g ) = G =
0 0 1 0 ,
(1.55)
0 0 0 1

joue le role de linverse de g : G1 = G ou

g g = . (1.56)

Lespace-temps E muni de la metrique (1.54) est appele espace de Minkowski 19 .


18. Cette invariance resulte de celle du carre par la relation a b = [(a + b)2 (a)2 (b)2 ]/2.
19. Hermann Minkowski (1864-1909)
1. FORMULATION COVARIANTE 17

1.9 Tenseurs

Dans cette section nous denissons les tenseurs de lespace vectoriel V de dimension 4. Ces
denitions sappliquent en fait `a tout espace vectoriel, meme non muni dun produit scalaire.
Les denitions sont independantes de la base de V, ce qui assurera linvariance de Lorentz
des tenseurs. Toutefois, en pratique, on utilise les composantes des tenseurs qui dependent du
referentiel.

1.9.1 Vecteurs covariants ou 1-formes

Lespace dual dun espace vectoriel intervient souvent en physique. En mecanique quan-
tique, les vecteurs sont les kets et les vecteurs de lespace dual les bras. Une 1-forme f (dautres
noms usuels sont forme lineaire, covecteur, bra, et, en relativite, vecteur covariant) est une
fonction complexe f (a) lineaire dun (quadri)vecteur a. Cette denition est independante du
referentiel : une 1-forme est un invariant. Lensemble des 1-formes constituent, avec les operations
daddition et de multiplication par un scalaire des fonctions, lespace vectoriel V appele dual de
V. Cette structure est mise en evidence par la notation bra-ket f (a) = f | a qui est bilineaire
en f et a :
 f + g |a  = f | a +  g | a

   (1.57)
f  a + b = f | a + f  b

pour f , g V , a, b V et , nombres complexes (di`ere de la mecanique quantique o`


u le
bra-ket est sesquilineaire).
Les quatre 1-formes e denies par

e | e = (1.58)

agissent sur a = ae par


e | a = a . (1.59)
Elles forment une base de V (base duale de la tetrade e ). En eet, pour une 1-forme f V ,
posant
f = f | e , que nous appellerons composantes de f dans K, (1.60)
on a f | e = f e | e et f | a = f e | a a V. Cela montre que les quatre 1-formes
independantes e forment une base puisque toute f sexprime comme f = f e .
On peut comparer les expressions

a = ae = e e | a et f = f e = f | e e (1.61)

avec les expressions de la mecanique quantique


   
|a = an |n = |n n | a et f | = fn n| = f |n n| (1.62)
n n n n

u |n est une base detats.


o`
Si a = ae , f |a sexprime par la contraction de f et a :

f | a = f a = f0 a0 + f1 a1 + f2 a2 + f3 a3 . (1.63)
1. FORMULATION COVARIANTE 18

Ne pas confondre la contraction (tous les signes sont +) avec lexpression (1.53).
Rappelons les formules (1.36) et (1.40) de changement de base 20 pour les composantes des
vecteurs et les tetrades de V :

a = a , (1.64)
 
e = 1 e . (1.65)

La formule de changement de base pour les composantes des 1-formes sobtient  en portant
lequation (1.65) dans la denition des composantes (1.60), ecrite dans K  , f = f  e :
 
f = 1 f . (1.66)

La transformation des tetrades de V peut sobtenir 21 en ecrivant lequation (1.64) sous la


forme e | a = e | a :
e = e . (1.67)
Les noms covariant et contravariant sont donnes par comparaison aux formules de changement
de base des e . Le  vecteur covariant  f se transforme comme e , et le  vecteur contra-
variant  a se transforme de facon contraire). Les indices en haut (en bas) sont qualies de
meme de contravariants (covariants).
La notation bra-ket met en evidence que le dual de V (bidual de V) redonne V. Autrement
dit, une fonction complexe a(c) lineaire du covecteur c V peut secrire comme un bra-ket
a(c) = c | a et sidentie au quadrivecteur a = a(e ) e .

1.9.2 Tenseurs covariants et N-formes


 
Un tenseur T de type N0 est une fonction complexe T(a1 ,a2 , . . . ,aN ) multilineaire de N
quadrivecteurs. Cette d
enition est independante du referentiel : un tenseur
  est un invariant.
Les tenseurs de type 00 sont les scalaires (c, m, . . . ). Les tenseurs de type 01 sont les 1-formes.
En pratique, on utilise les composantes du tenseur dans un referentiel K. Ce sont les 4N
nombres T1 2 ...N = T(e1 , e2 , . . . , eN ). Les composantes dans le referentielK  sont  donnees
par T 1 2 ...N = T(e 1 , e 2 , . . . , e N ). En y portant lequation (1.65), e k = 1 k k ek , et
en utilisant la multilinearite de T on obtient la loi de transformation des composantes
     
T 1 2 ...N = 1 1 1 1 2 2 1 N N T1 2 ...N . (1.68)

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

u,v ) = T(ue ,v e ) = T(e ,e )u v = T u v .


T( (1.69)

Si T( u) (resp. T(u,v ) = T(v ,


u,v ) = T(v , u)) pour tout u,v V alors T = T (resp.
T = T ) et le tenseur T est dit symetrique (resp. antisymetrique). Une N -forme est un
tenseur de type N0 compl`etement antisymetrique (T = T = T = . . . ).
20. Nous nous limitons aux changements de bases entre referentiels dinertie, mais dans cette section, tout reste
valable pour des changements de bases quelconques ( etant alors nimporte quelle matrice 4 4 inversible).
21. On peut aussi partir de f = f e = f e et proceder comme dans la demonstration de lequation (1.40).
1. FORMULATION COVARIANTE 19

1.9.3 Produit tensoriel

Le produit tensoriel despaces vectoriels intervient en mecanique quantique. Ainsi, lespace


S des etats de deux spins s1 et s2 est le produit tensoriel S1 S1 des espaces S1 et S2 de chaque
spin. Une base de S est donnee par 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 02 deni par
T(u,v ) = p |u q |v (o`
u u,v V) soit, en composantes, T = p q . Le produit
  tensoriel nest
pas commutatif en general (p q
= q p). Lespace des tenseurs de type 02 est le produit
tensoriel V V . Une base de cet espace est donnee par les 16 produits tensoriels e e et
les 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 meme un tenseur de type N0 . Lespace des
 
tenseurs de type N0 est le produit tensoriel V  V.
N facteurs

1.9.4 Tenseurs contravariants


 
Un tenseur T de type M 1 2 M
0 est une fonction complexe T(f , f , . . . , f ) multilin
eaire de M
M
covecteurs. Les composantes du tenseur dans K sont les 4 nombres
T 1 2 ...M = T(e1 , e2 , . . . , eM ).
Les composantes dans le referentiel K  sont donnees par
T 1 2 ...M = T(e1 , e2 , . . . , eM ).
En y portant lequation (1.67), ek = k k ek , on obtient la loi de transformation des compo-
santes
T 1 2 ...M = 1 1 2 2 M M T 1 2 ...M . (1.70)

Dapr`es la remarque de la n de la section 1.9.1, les tenseurs de type 10 sont les quadrivec-
 
teurs. Dans ce cas, lequation (1.70) redonne lequation (1.64). Les tenseurs de type M 0 sont
les elements du produit tensoriel V 
V.
M facteurs

1.9.5 Tenseurs mixtes


 
On generalise les denitions des sections 1.9.2 et 1.9.4. Un tenseur T de type M N est une
fonction complexe multilineaire de N vecteurs et M covecteurs. Suivant lordre des vecteurs et
(M + N )!  
covecteurs, il y a sortes de tenseurs de type M N . Ainsi il y a trois sortes de tenseurs
1  M !N
!    
de type 2 : R f ,a, b , S a, f , b , et T a, b, f (f V , a, b V). Les 64 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
 generalise les lois (1.68) et (1.70). Ainsi, pour le
tenseur de composantes R de type 13 , cest
     
R = 1 1 1 R . (1.71)
1. FORMULATION COVARIANTE 20

1.9.6 Alg`
ebre tensorielle

La somme directe des espaces vectoriels

C V V (V V) (V V ) (V V) ,

o`
u C est lensemble des nombres complexes, munie du produit tensoriel forme lalg`ebre tenso-
rielle de V. Lexpression mathematique (1 + a) a (o`
u a V) na pas de sens physique : on
utilisera seulement des expressions comportant des tenseurs de meme type.

1.9.7 Calcul tensoriel : r`


egles pratiques (14)

En pratique, on utilise les composantes. Pour le changement de r ef


erentiel, on ecrit la
loi (1.36), (1.66), (1.68), (1.70) ou (1.71), et, dans le cas dun champ de tenseur, on proc`ede
comme dans lequation (1.51). Voici des operations sur les composantes, qui partant de tenseurs
donnent dautres tenseurs.
R`
egle 1. Addition, multiplication par un scalaire
Pour des tenseurs de memes indices (T = A + B ).
R`
egle 2. Multiplication
Cest le produit tensoriel (T = F A ).
R`
egle 3. Permutation des indices
Exemple : T = R . En general, on obtient un tenseur dierent (T = R pour une
2-forme).
R`
egle 4. Contraction
On a vu que la contraction f a donnait un scalaire (equation (1.63)). La double contrac-
tion T u v (equation (1.69)) forme egalement un scalaire. Plus generalement, on appelle

contraction une sommation de la forme des composantes dun tenseur de type M . La
M 1
N
contraction prend la meme forme dans tous les referentiels et donne un tenseur de type N 1 .
Verions le pour T = R . Dapr`es lequation (1.71)
         
R = 1 1 1 R = 1 1 R
  


 = 1
  1 
soit T T qui montre que les T se transforment comme les composantes
0
dun tenseur de type 2 .

1.9.8 Applications lin


eaires

Lexpression compl`etement contractee

s = T (f , u) = T f u (1.72)

correspond `a la denition du tenseur T de type 11 comme fonction complexe lineaire du co-
vecteur f = f e V et du vecteur u = u e V. Considerons maintenant lexpression

v = T u (1.73)
1. FORMULATION COVARIANTE 21

o`
u on laisse lindice libre. Elle denit une application lineaire v = T u associant au vecteur

u = u e V le vecteur v = v e V. Ainsi, on peut considerer un tenseur de type 11
comme une application lin eaire de V V. La matrice de cette application lineaire dans la
base e est (T ). La loi de transformation des composantes du tenseur (T ) de K `a K  ,

 
T  = 1 T , (1.74)

nest rien dautre que la loi de transformation de la base e `a la base e de cette matrice :

T = T 1 . (1.75)

1.10 Propri
et
es m
etriques

1.10.1 Le tenseur m
etrique

Le produit scalaire g(a, b) = a b est une fonction


  reelle invariante bilineaire des deux
quadrivecteurs a et b. Cest donc un tenseur de type 02 et ses composantes g sont donnees
par le tableau (1.54). Le tenseur metrique est symetrique : g(a, b) = g(b,a) ou g = g . Le
produit scalaire secrit comme une contraction :

a b = g a b . (1.76)

Les composantes du tenseur metrique sont les memes dans K et K  . Cette propriete secrit en
composantes, dapr`es lequation (1.68)

g = g . (1.77)

1.10.2 Exercice : Le groupe de Lorentz

On consid`ere les matrices reelles 4 4 qui laissent invariant le produit scalaire (1.76). Ce
sont les matrices reelles qui verient la relation (1.77). On peut comparer cette relation `a la
relation jl = Ri j Rk l ik qui caracterise les matrices orthogonales Ri j (groupe O(3)).
1) Recrire lequation (1.77) sous forme matricielle. En deduire det = 1.
2) Montrer que les matrices reelles qui verient la relation (1.77) forment un groupe
(groupe de Lorentz ou groupe O(3,1)), la loi de groupe etant le produit des matrices.
 les 4 quadrivecteurs colonnes de la matrice (de composantes
 3)
On designe par

 = ). Montrer quils forment une tetrade orthonormee.

4) Montrer que linverse de O(3,1) est donne par
 
1 = g g . (1.78)

5) Obtenir linverse (1.33) de la matrice de Lorentz (1.32) en utilisant cette equation.


6) Montrer que |0 0 | 1
7) Les matrices de Lorentz se repartissent en 4 classes (nappes) suivant la valeur de det
et le signe de 0 0 (cf. table 1.1).
1. FORMULATION COVARIANTE 22

Tab. 1.1 Nappes du groupe de Lorentz. P designe linversion spatiale (P = G de


lequation (1.54)) et T linversion du sens du temps (T = G).
Nappe det 0 0 contient groupe

1 } restreint
orthochrone
L+ +1 I


L 1 1 P
complet
L 1 1 T


L+ +1 1 TP

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?
Reponses :
$
1) G = G $ designe la matrice transposee de ). En prenant le determinant de G =
(
$
G on obtient (det )2 = 1 do`u det = 1.
2) Soit H lensemble des matrices reelles 4 4 veriant la relation (1.77). Comme det
= 0
pour H les matrices de H sont inversibles. Pour montrer que H est un sous-groupe des
matrices reelles 4 4 inversibles, il sut de montrer que H est non vide (il contient lidentite
I) et que si M,N H alors = M N 1 H (ce qui resulte de G = G $ :N% &GM )N 1 =
1 (M
%
N 1 GN 1 = G).

3) Lequation (1.77) exprime que les 4 quadrivecteurs  forment une tetrade orthonormee :

 = g .
 
4) En multipliant (1.77) par 1 g on obtient
 1 
 
g g = 1 g g
     

soit  
1 = g g ,
 i  i
`a comparer `a R1 j = Rj i ou R1 j = Rl k jl ik pour une matrice orthogonale.
$
La relation (1.78) secrit en matrice 1 = GG, ce qui pouvait sobtenir directement `a
$
partir de G = G (question 1).
5) La somme dans le second membre de lequation (1.78) ne contient quun terme non nul,
celui avec = et = . On trouve ainsi (1 )0 0 = 0 0 = , (1 )0 1 = 1 0 = , . . . .
6) Pour = = 0, lequation (1.77) donne 1 = g00 = 0 0 g = (0 0 )2 (1 0 )2
(2 2 3 2 u (0 0 )2 1.
0 ) ( 0 ) . Do`

7) Soit = M N le produit de deux matrices de Lorentz. On a det = (det M )(det N ).


Lelement 0 0 = M 0 N 0 peut etre interprete comme le produit scalaire a b des deux vecteurs
a = g M 0 et b = N 0 de carres a a = b b = 1. En evaluant ce produit scalaire dans
1. FORMULATION COVARIANTE 23

un referentiel K  o`
u a = (a0 ,0,0,0) (ce changement de referentiel conserve le signe de la com-
posante temporelle : signe a0 = signe a0 ) on obtient 0 0 = a0 b0 et signe 0 0 = signe a0 b0 =
signe a0 b0 = (signe M 0 0 )(signe N 0 0 ).
 1
On en deduit que L+ = L+ , L+ L+ = L+ , L = P L+ , L = T L+ et L+ = T P L+ .
Chacun des sous-ensembles G du groupe de Lorentz envisages en ad verient GG 1 G : ce
sont bien des sous-groupes.
Nota : Dans le changement de referentiel (1.30) nous nous sommes limites aux transfor-
mations telles quil existe une suite de referentiels K(s) pour s [0,1] qui permet de passer
ument du referentiel K = K(0) au referentiel K  = K(1). Les matrices correspondantes
contin
appartiennent au groupe de Lorentz restreint L+ . On peut montrer (cest assez complique),
inversement, que pour chaque matrice L+ il existe un tel changement de referentiel (il y
en a une innite si on tient compte du terme non-homog`ene a dans (1.30)). Les nappes de la
table 1.1 sont les composantes connexes du groupe de Lorentz.

1.10.3 Correspondance entre quadrivecteurs et 1-formes

Le role fondamental du produit scalaire est dintroduire une correspondance entre qua-
drivecteurs et 1-formes (en mecanique quantique, au ket | correspond le bra |). Soit
v = v e V un quadrivecteur de composantes v . La fonction qui `a a V associe v a
est lineaire en a ; elle denit la 1-forme v : v | a = v a. Calculons les composantes de v :
v = v | e = v e = v e e = v g . Les composantes v sont donc

v = g v ou v0 = v 0 , v1 = v 1 , v2 = v 2 , v3 = v 3 . (1.79)

La transformation inverse secrit


v = g v . (1.80)

Lorsque on eectue les transformations (1.79) ou (1.80) qui identient quadrivecteurs et 1-


formes on dit quon abaisse ou monte les indices. On peut, avec ces transformations ecrire le
produit scalaire (1.76) de plusieurs facons :

a b = g a b = a b = a b = g a b . (1.81)

1.10.4 Calcul tensoriel : r`


egles pratiques (5)

R`
egle 5. Monter et abaisser les indices
 
Les transformations (1.79) et (1.80) permettent didentier des tenseurs de types M N avec
meme M + N . Ainsi le tenseur F est identie aux tenseurs F = g F , F = g F et
F = g g F . On sait que ces expressions donnent bien des tenseurs (dapr`es les r`egles 2 et
4 de la section 1.9.7). On peut changer la hauteur des indices dune contraction, comme dans
lequation (1.81) ou dans T = T .
Quels sont les tenseurs identies au tenseur metrique g ?
Reponse : g = g = et g .
1. FORMULATION COVARIANTE 24

1.11 Tenseur de Levi-Civita

Considerons la fonction (a0 ,a1 ,a2 ,a3 ) = des 4 quadrivecteurs a qui donne loppose du
volume algebrique du parallelepip`ede construit sur les 4 quadrivecteurs. Le volume , qui peut
etre calcule par = det ((a ) ), est une fonction multilineaire, compl`etement antisymetrique et
invariante dans les transformations de Lorentz (1.30). La fonction (a0 ,a1 ,a2 ,a3 ) denit donc
une 4-forme
4 appelee tenseur de Levi-Civita 22 . Nous utiliserons aussi le tenseur associe de
type 0 ; ses composantes ont les memes valeurs dans tous les referentiels :

+1 si est une permutation paire de 0123 ;
= = 1 si est une permutation impaire de 0123 ; (1.82)

0 sinon.

Lorsquon consid`ere des transformations de Lorentz etendues, comme linversion spatiale P ,


linversion du sens du temps T ou linversion spatio-temporelle P T , les composantes (1.82) sont
multipliees par det : le tenseur de Levi-Civita est un pseudo-tenseur.
Loperateur  de Hodge 23 , transforme une p-forme en une q-forme (p+q = d = la dimension
de lespace) par contraction avec le tenseur de Levi-Civita. Par exemple, la 2-forme F donne
la 2-forme duale de Hodge
1
F = F . (1.83)
2
On introduit un facteur de normalisation, 1/p! pour les p-formes, de sorte quon retrouve la
p-forme initiale, au signe pr`es, en appliquant une deuxi`eme fois loperateur . On peut verier
que F = F . Le produit vectoriel C  = A
 B dans lespace euclidien 24 de dimension d = 3
1
apparat comme le dual de Hodge de la 2-forme T ij = Ai B j Aj B i : C k = eijk (Ai B j B i Aj ) =
2
eijk Ai B j o` u eijk est le tenseur compl`etement antisymetrique tel que e123 = 1 (la metrique de
lespace euclidien tri-dimensionnel est ij : monter ou abaisser les indices ne modiant pas les
valeurs des composantes des tenseurs, la convention dEinstein est appliquee pour des indices
repetes `a la meme hauteur).

1.12 Gradient

1.12.1 Le quadrigradient

Considerons les quatre operateurs agissant sur les fonctions et champs de tenseurs
x
sur lespace-temps E. Dans un changement de referentiel, ces operateurs se transforment par
x
= . En derivant lequation (1.30), ecrite pour la transformation inverse, on a
x
x x
x

= (1 ) . La loi de transformation est donc 
= (1 ) qui est la loi de
x x x
transformation (1.66) des indices covariants.
22. Tullio Levi-Civita (1873-1941)
23. William Vallance Douglas Hodge (1903-1975)
24. Euclide dAlexandrie (vers 300 av. J.-C.)
1. FORMULATION COVARIANTE 25

Cela conduit `a denir loperateur (gradient ou quadrigradient)


   

= = , , , = , . (1.84)
x x0 x1 x2 x3 ct
Encadrons la loi de transformation dans un changement de referentiel :

 = (1 ) . (1.85)
   
Loperateur applique `a un tenseur de type M N donne un tenseur de type NM+1 . Ainsi, ap-

plique au quadricourant j , on obtient j , qui est un tenseur de type 11 . La quadridivergence
 
de j , cest-`a-dire la contraction j = + J de ce tenseur, permet decrire lequation de
t
continuite (1.6) sous la forme covariante :
j = 0. (1.86)

Laction de sur la coordonnee x de K (ici x ne designe pas un quadrivecteur ; pour une


valeur de donnee, x ou x (M) est le champ scalaire qui associe `a M E la coordonnee x
du point M) donne la 1-forme e (on rappelle que sa composante dans K est ) :

x = . (1.87)

En faisant monter lindice de , on obtient la forme contravariante


   

= g = , 1, 2, 3 = , (1.88)
x0 x x x ct

de loperateur gradient, qui, dans un changement de referentiel, se transforme 


M  M +1 par =
et qui appliquee `a un tenseur de type N donne un tenseur de type N .

1.12.2 Le dAlembertien

Le dAlembertien
1 2 2
 2 = 1
= = (1.89)
c2 t2 c2 t2
se comporte
M  comme un scalaire dans un changement
M  de referentiel. Applique `a un tenseur de
type N , il donne un tenseur de meme type N .

1.12.3 Une interpr


etation g
eom
etrique du gradient

Soit S(M) un champ scalaire de lespace-temps E (mettons la temperature en M E) et



supposons quun observateur en M eectue le deplacement dM = ud = (dx0 , dx1 , dx2 , dx3 ),
o`
u u est la quadrivitesse et d la variation de temps propre de lobservateur. La variation de la
temperature vue par lobservateur pendant ce deplacement est
  
S 0 S 1 S 3 S 3 
dS = dx + dx + dx + dx = ( S) dx = S  dM (1.90)
x0 x1 x2 x3
u S designe la 1-forme de composantes S dans K. Loperateur gradient, applique `a S,
o`
sinterpr`ete geometriquement sans avoir `a utiliser un referentiel : il produit la 1-forme S qui,

appliquee au deplacement dM, donne la variation de S le long de dM.
1. FORMULATION COVARIANTE 26

1.12.4 Repr
esentation g
eom
etrique dune 1-forme

Soit une 1-forme f constante. Denissons la fonction S(M) = f x . On a 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 representer geometriquement la 1-forme f par la famille dhyperplans S =Cte, pour
des valeurs enti`eres de Cte (lunite de mesure mise `a part). La valeur f | u est alors le nombre
dhyperplans de cette famille traverses par le vecteur u, ce nombre etant compte positivement
ou negativement suivant le sens de variation de S (cf. gure 1.8).

Fig. 1.8 Representation geometrique dune 1-forme. x0 u


On a represente les hyperplans S = x0 + 2x1 =Cte associes `a la 1-forme f de
composantes
f0 = 1, f1 = 2, f2 = f3 = 0 f
x1
(coordonnees x2 et x3 omises). Pour le vecteur u = (2,1,0,0), qui traverse les
O
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 = S=0 1 2 3 4
f | u = 4.

1.13 Int
egrales quadridimensionnelles

1.13.1 Linvariance de l ement de volume d4 x


el

Dans les integrales sur lespace-temps E, lelement de volume quadridimensionnel d4 x se


transforme de K `a K  par

(x0 , x1 , x2 , x3 ) 4


d4 x = d x = | det | d4 x = d4 x. (1.91)
(x0 , x1 , x2 , x3 )

Lelement de volume quadridimensionnel est donc un invariant :

d4 M = d4 x = d4 x. (1.92)

Un champ scalaire S(M) sur lespace-temps E secrit dans K et K  sous les formes

S(M) = S(x0 ,x1 ,x2 ,x3 ) = S  (x0 ,x1 ,x2 ,x3 ). (1.93)

Exemple : Le temps t dans le referentiel K de levenement M peut etre considere comme le


champ scalaire S(x0 ,x1 ,x2 ,x3 ) = x0 /c et S  (x0 ,x1 ,x2 ,x3 ) = (x0 + x1 )/c pour la transfor-
mation de Lorentz speciale (1.32).
Lintegrale dans tout lespace-temps E du champ scalaire (1.93) peut se calculer dans K ou
K :   
S(M) d4 M = S  (x0 ,x1 ,x2 ,x3 ) d4 x = S(x0 ,x1 ,x2 ,x3 )d4 x. (1.94)
E
1. FORMULATION COVARIANTE 27

1.13.2 Fonction de Dirac quadridimensionnelle

La fonction de Dirac 25 quadridimensionnelle

(4) (u ) = (u0 )(u1 )(u2 )(u3 ) (1.95)

est le produit de quatre fonctions de Dirac. Soit Y un point de lespace-temps E, de coordonnees


y dans K, et designons par M E, de coordonnees x dans K, le point sur lequel on int`egre.
Posons u = x y dans (1.95) et calculons lintegrale

(4) (x y )S(x0 ,x1 ,x2 ,x3 ) d4 x =
E 

(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)

On trouve de meme, dans K  , en posant u = x y  dans (1.95) et en utilisant (1.93),



(4) (x y  )S  (x0 ,x1 ,x2 ,x3 ) d4 x = S  (y 0 ,y 1 ,y 2 ,y 3 ) = S(Y).
E

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

u on na pas ecrit (4) (u ) puisque la fonction, donnee par (1.95), est la meme dans K et K  .
o`

1.13.3 Int
egration par parties

Soient f (x0 ,x1 ,x2 ,x3 ) et g(x0 ,x1 ,x2 ,x3 ) deux fonctions sur lespace-temps E qui sannulent
dans toutes les directions `a linni de E. On a les proprietes suivantes, utiles par la suite.

Lintegrale dans tout lespace-temps de f est



f d4 x = 0. (1.97)

En eet, on a, par exemple pour = 1,


   
f ' (
1 f d4 x = dx0 dx2 dx3 dx1 1 = dx0 dx2 dx3 f |x1 = f |x1 = = 0.
x

Integration par parties


 
4
f ( g) d x = ( f ) g d4 x. (1.98)

En eet, dapr`es lequation (1.97),


  
f g d4 x = [ (f g) ( f )g] d4 x = ( f )g d4 x. (1.99)

25. Paul Adrien Maurice Dirac (1902-1984)


1. FORMULATION COVARIANTE 28

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

Les equations (1.21) et (1.22) se regroupent 27 en utilisant le quadricourant (1.49) :

A = 0 j . (1.101)

La condition de Lorenz (1.12) secrit

A = 0  = 0).
(quadridivergence de A (1.102)

Ces equations, compte tenu de linvariance du dAlembertien, sont covariantes si on postule que
le quadripotentiel est un quadrivecteur, ce que nous avions anticipe dans la notation A  = (A ).
Remarquer que le potentiel scalaire nest pas un scalaire dans les transformations de Lorentz
(il est un scalaire dans les rotations-translations spatiales). La condition de Lorenz reste veriee
dans tous les referentiels. En appliquant loperateur `a gauche de lequation (1.101) on obtient,
avec (1.102), lequation de continuite (1.86) j = 0.
Linvariance de jauge (1.11) secrit

A A . (1.103)

On peut considerer comme un scalaire ; le quadripotentiel A  est alors considere comme un


quadrivecteur quelque soit la jauge consideree. Cependant, si le quadripotentiel A  satisfait `a
la condition de Coulomb (1.13) dans le r i
eferentiel K, i A = 0 (sommation sur i = 1, 2, 3),
alors dans le referentiel K  , i Ai = 1 i i A peut etre dierent de zero : la condition
de Coulomb nest pas necessairement veriee dans K  .

1.15 Tenseur du champ


electromagn
etique

Recrivons les equations (1.10) donnant les champs E  = (E x , E y , E z ) et B


 = (B x , B y , B z )
(les indices qui correspondent aux axes de coordonnees 1,2,3 sont nommes x,y,z pour rappeler
quils ne sont pas contravariants : nous ne denirons pas un quadrivecteur E ) en fonction des
composantes covariantes du quadripotentiel A0 = /c, A1 = A1 , A2 = A2 , A3 = A3 et en
exprimant les derivees `a laide des operateurs . On obtient

Bx = 3 A2 2 A3 , By = 1 A3 3 A1 , Bz = 2 A1 1 A2 ,
x
E = c(0 A1 1 A0 ), y
E = c(0 A2 2 A0 ), z
E = c(0 A3 3 A0 ).
(1.104)
Les champs apparaissent dans le tenseur du champ electromagnetique

F = A A (1.105)

 = (A ) = (, A)
26. A  en syst`eme de Gauss (cgs)
4
27. A = j en syst`eme de Gauss (cgs)
c
1. FORMULATION COVARIANTE 29

de composantes

0 E x /c E y /c E z /c
E x /c 0 B z By
F =
E /c B
. (1.106)
y z 0 B x
E z /c B y B x 0
En montant les indices, on obtient

0 E x /c E y /c E z /c
E x /c 0 B z By
F =
E /c
. (1.107)
y B z 0 B x
E z /c B y Bx 0

Le tenseur F est antisymetrique (F = F ) : cest une 2-forme. On peut verier linvariance


de jauge en remplacant A par A dans F = A A . On retrouve alors F :
(A ) (A ) = A A .
Loperateur  de Hodge (1.83) donne un nouveau tenseur antisymetrique

0 Bx By Bz
1 B x 0 E z /c E y /c
F = F =
B y E z /c
(1.108)
2 0 E x /c
B z E y /c E x /c 0

appele le dual de F . Remarquons que F sobtient en faisant les remplacements



 cB,
E  B E (dualite electrique-magnetique) (1.109)
c
dans F . Ce remplacement laisse les equations de Maxwell (1.11.4) invariantes lorsque J et
sont nuls. Noter que
 
2 E2 4E B

F F = 2 B 2 et F F = (1.110)
c c
sont des invariants.

Transformation des champs

La loi de transformation des composantes (1.68),



   
F = 1 1 F , (1.111)

permet dobtenir les champs E   et B


  dans le referentiel K  en fonction des champs dans le
referentiel K. Dans le cas de la transformation de Lorentz speciale vue `a la section 1.3, o`
u la
matrice 1 est donnee par lequation (1.33), on obtient (details des calculs plus bas) :

E x = E x B x = B x
 
y z
E y = (E y cB z ) B y = B + E (1.112)
 c 

E z = (E z + cB y ) B z = B z E y .
c
1. FORMULATION COVARIANTE 30

Ces formules de transformations correspondent `a des champs au meme point de lespace-temps.


Lequation E x = E x signie, en detaillant,
 
E x (x0 ,x1 ,x2 ,x3 ) = E x (x0 ,x1 ,x2 ,x3 ) = E x (x0 + x1 ), (x1 + x0 ), x2 , x2 , (1.113)

u x0 , x1 , x2 , x3 ont ete exprimes en fonction de x0 , x1 , x2 , x3 par lequation (1.33).
o`
Obtention des equations (1.112)

 = 1
  1   1 0  1 1  1 1  1 0
On calcule F01 0 1 F = 0 1 F01 + 0 1 F10 =
2 2 2 2 2
F01 + F10 = (1 ) F01 = F01 do`
u

E x = E x et B x = B x
 = F
en utilisant F01 01 pour le tenseur dual.

 = 1
  1   1 0  1 2  1 1  1 2
Puis F02 0 2 F = 0 2 F02 + 0 2 F12 = F02 +
F12 donne  
y y z y y z
E = (E cB ) et B = B + E .
c
   1 
 = 1
 1 0  1 3  1 1  1 3
De meme F03 0 3 F = 0 3 F03 + 0 3 F13 = F03 +
F13 donne  
z z y z z y
E = (E + cB ) et B = B E .
c

Remarquons
0
 que les calculs ci-dessus (transformation des composantes dun tenseur F de type
2 ) peuvent aussi etre eectues sous forme matricielle en notant F la matrice des composantes
et en recrivant la loi de transformation des composantes (1.111) sous la forme

F %
=1 F 1 .
(1.114)

1.16 Formulation covariante de l


electromagn
etisme

Les equations de Maxwell secrivent avec le tenseur du champ electromagnetique et son


dual sous la forme

F = 0 j , (1.115)

F = 0. (1.116)

En eet pour = 0, F 0 = 0 j 0 , soit


 E/c
 = 0 c, equivaut `a lequation de Maxwell (1.1)
et F 0 = 0 `a lequation de Maxwell (1.3)  B
 = 0.
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 lequation de Maxwell (1.2). Par des calculs similaires, on peut verier
que lequation de Maxwell (1.2) (resp. (1.4)) equivaut `a F i = 0 j i (resp. F i = 0).
Lequation (1.116) secrit aussi en fonction de F

F = 0 (1.117)
1. FORMULATION COVARIANTE 31

ou encore
F + F + F = 0, (1.118)
equation valable pour , et quelconques : lorsque , et sont tous dierents, cela resulte
de (1.117) ; lorsque par exemple = , cela resulte de lantisymetrie de F .
Determinons maintenant lecriture covariante de la force de Lorentz (1.7). En relativite,
lequation non-relativiste (1.28) du mouvement dune particule devient

d
p dp
= f ou, en composantes, = f (1.119)
d d
 
W 
qui exprime la derivee par rapport au temps propre de la quadriimpulsion p = mu = ,P
c
de la particule en fonction dun quadrivecteur f (la quadriforce). Cette expression doit redonner
la loi du mouvement
dP  
= F = q E  +V
 B
 (1.120)
dt
et la derivee temporelle de lenergie de la particule
dW
= F V
 = qE
 V
. (1.121)
dt
Dans un r
ef
erentiel comobile (cf. section 1.6) avec la particule,

 = 0, dP dP dW
V P = 0, u = (c,0,0,0), p = (mc,0,0,0), = 
= qE et = 0. (1.122)
dt d dt
On en deduit que dans ce referentiel
 
d
p 1 dW dP  
= ,  .
= 0, q E (1.123)
d c d d
 
Le quadrivecteur qui a pour composantes 0, q E  dans le referentiel comobile peut secrire de
 
 = qF u . La forme covariante de lequation du mouvement ne peut
facon covariante : 0, q E
donc etre que
dp
= qF u . (1.124)
d
On verie en eet, dans un referentiel quelconque, en utilisant lequation (1.44) u = (c, V)
dp i
et d = dt/, que = qF i u equivaut `a lequation (1.120). Lequation (1.124) pour = 0,
d
dp0
= qF 0 u , donne la derivee temporelle de lenergie de la particule (1.121).
d
En considerant le tenseur du champ electromagnetique comme une application lineaire F
de V V de matrice F (cf. section 1.9.8), lequation (1.124)

d
p
= f = qF u (1.125)
d

donne une interpretation physique du tenseur du champ electromagnetique : cest lapplication


lineaire qui appliquee `a qu donne la quadriforce f agissant sur une particule de charge q et
1. FORMULATION COVARIANTE 32

quadrivitesse u. On peut obtenir la valeur experimentale de cette application lineaire F en


mesurant la quadriforce f ressentie par une particule sonde de charge q animee de diverses
quadrivitesses u. Il est clair que F est independant du referentiel dinertie tout comme q, u et
f.
Lequation (1.125) donne egalement une interpretation de lantisymetrie du tenseur F . En
derivant lequation p p = m2 c2 on obtient que la quadriforce est orthogonale `a la quadrivitesse :

d
p
= p f = mu f = 0.
p (1.126)
d
On doit avoir F u u = 0 pour toute quadrivitesse u, ce qui nest possible que si F est
antisymetrique.

1.16.1 Formulation en termes du quadripotentiel

Nous avons vu, section 1.1.3, que les equations de Maxwell (1.3) et (1.4), qui secrivent de
facon covariante sous la forme (1.116) ou (1.118), sont equivalentes `a lexistence des potentiels.
On en deduit, en utilisant (1.105), quune 2-forme F verie lequation F = 0 si et
seulement si il existe un quadripotentiel A tel que F = A A :

F = 0 A : F = A A . (1.127)

Retrouvons quelques resultats de la section 1.1.3 en utilisant le formalisme covariant.


Le quadripotentiel A nest pas deni de facon unique par lequation (1.105). Si A et A
sont deux quadripotentiels veriant (1.105), alors W = A A verie W = W . Il en
resulte que W dx est une dierentielle totale et donc de la forme W = . On retrouve ainsi
linvariance de jauge (1.11)
A A = A . (1.128)

En portant F = A A dans F = 0 j on obtient A A = 0 j ,


soit
A A = 0 j (1.129)

qui est lexpression covariante des equations (1.19) et (1.20) en jauge arbitraire. En jauge de
Lorenz elle redonne (1.101) A = 0 j .
1. FORMULATION COVARIANTE 33

1.17 R
esum
e

Le tenseur du champ electromagnetique est la 2-forme



0 E x /c E y /c E z /c
E x /c 0 B z By
F =
E /c B
. (1.130)
y z 0 B x
E z /c B y B x 0

Les equations de Maxwell secrivent

F = 0 j , F + F + F = 0. (1.131)

La quadriforce f agissant sur une particule de charge q et de quadrivitesse u est

f = qF u . (1.132)

Le tenseur du champ electromagnetique derive dun quadripotentiel

F = A A . (1.133)

On peut imposer la condition de Lorenz

A = 0. (1.134)

Le quadripotentiel verie alors


A = 0 j . (1.135)
2. LAGRANGIEN 34

Lagrangien

On montre que le syst`eme champ electromagnetique + particules est decrit par un lagran-
gien 1 de la forme L = Lpart + Lchamp + Lint . On determine 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 Particule charg


ee dans un champ ext
erieur

2.1.1 Le principe de moindre action

Notons les coordonnees de la particule dans le referentiel K par x = (x1 ,x2 ,x3 ) et la vitesse
dx
de la particule par = (x 1 ,x 2 ,x 3 ) ou V
 = (V 1 ,V 2 ,V 3 ). Le syst`eme est caracterise par un
dt
lagrangien L(xi ,x i ,t) qui est une fonction explicite des xi , x i , et eventuellement du temps t.
Laction  t2
S= L(xi ,x i ,t) dt (2.1)
t1

est une fonctionnelle S[x(t)] denie pour toute trajectoire x(t) (pas seulement pour le mouve-
ment reel de la particule) pendant lintervalle de temps [t1 ,t2 ].

Fig. 2.1 Variation de la trajectoire.


On consid`ere une variation innitesimale x(t) de x(t) veriant xi xi (t)
xi (t)
x(t1 ) = x(t2 ) = 0. (2.2)
xi (t)
Les points initial a = x(t1 ) et nal b = x(t2 ) sont inchanges dans la nouvelle
trajectoire
x  (t) = x(t) + x(t). (2.3)
O t1 t t2

Le principe de moindre action dit que S est stationnaire 2 pour toute variation innitesimale
1. Joseph Louis Lagrange (1736-1813)
2. S nest pas toujours un minimum.
2. LAGRANGIEN 35

x(t) veriant (2.2). En derivant (2.3) on obtient la variation de la vitesse

d i
x i = x i x i = x ou d = d (2.4)
dt
(loperateur de variation commute avec loperateur de dierentiation). La variation de laction
secrit (somme implicite sur i)
 t2  
 L i L i
S = S[x (t)] S[x(t)] = x + i x dt. (2.5)
t1 xi x

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


 t2  t2  
S i L d L
S = i
x dt = xi dt (2.6)
t1 x t1 xi dt x i

en introduisant la derivee fonctionnelle (ou derivee dEuler 3 -Lagrange)

S L d L
i
= i
. (2.7)
x x dt x i
S
Pour que S = 0 quelles que soient les variations xi , il faut que = 0, soit
xi

L d L
i
= 0. (equations dEuler-Lagrange). (2.8)
x dt x i

Ces equations dEuler-Lagrange sont les equations du mouvement. En fonction du moment


canonique conjugue de xi ,
L
i = , (2.9)
x i
elles secrivent
di L
= . (2.10)
dt xi
Nota : le moment canonique conjugue de xi est covariant. On devrait ecrire de facon covariante
L
i = . Nous posons ici i = i et  = (1 , 2 , 3 ) sans craindre de confusion (nous
x i
nutiliserons pas ).
Dans le cas du mouvement non relativiste dune charge q dans un champ electrique E 
de potentiel ( x), le lagrangien a la forme
1  2
LN R = m V q(x), (2.11)
2
les equations dEuler-Lagrange donnent les equations de Newton

xi = q
m = qE i (2.12)
xi
 = P = mV
et le moment canonique conjugue de x est la quantite de mouvement  de la
particule.
3. Leonhard Euler (1707-1783)
2. LAGRANGIEN 36

2.1.2 Particule mat


erielle relativiste libre (en champ nul)

An que les equations qui resultent de S = 0 aient la meme forme dans tout referentiel
dinertie, S doit etre un invariant scalaire. Laction le long dune trajectoire, correspondant `a
une ligne dunivers M(t) de la particule parametree par le temps dans K, est la somme des
actions innitesimales Ldt qui doivent etre chacune un invariant scalaire. Linvariant scalaire

innitesimal Ldt est associe au deplacement innitesimal dM le long de la ligne dunivers. Mais

les seuls scalaires inniment petits dordre un quon puisse former avec le deplacement dM


dune particule libre sont ds ( est une constante, ds2 = dM dM lintervalle). Nous avons
donc (cf. equation (1.43)) )
V2
Ldt = ds = c 1 2 dt. (2.13)
c
)
V2 V2
Dans la limite non relativiste V c, 1 2 = 1 2 + . On choisit = mc pour
c 2c
1
retrouver le lagrangien non relativiste dune particule libre L0N R = mV 2 + Cte. Laction dune
2
particule materielle libre est donc
  )
t2 t2
2 V2
S = mc ds = mc 1 dt (2.14)
t1 t1 c2

et le lagrangien
)
2 V2
L = mc 1 . (2.15)
c2
Le moment canonique conjugue de x est la quantite de mouvement de la particule

L mV
P = =) (2.16)

V V2
1 2
c

dP
et les equations dEuler-Lagrange donnent = 0. La particule a un mouvement rectiligne
dt
uniforme. Dans un referentiel o`
u la particule est immobile, lintegrale
 t2  t2 )
V2
ds = 1 2 cdt, (2.17)
t1 t1 c

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

2.1.3 Particule relativiste dans un champ


electromagn
etique ext
erieur

Determinons laction innitesimale Ldt pendant le deplacement innitesimal dM = ud
(u quadrivitesse, d temps propre). Comme cest un invariant, utilisons pour cela un referentiel
comobile avec la particule (cf. section 1.6). La particule est alors non relativiste et la force
magnetique est negligeable (particule presque au repos). Laction innitesimale Ldt doit alors
prendre la forme non relativiste LN R dt o`
u LN R est le lagrangien (2.11). Le terme dinteraction
2. LAGRANGIEN 37

est qdt 
 = q A dM = qA dx , recrit de facon covariante en utilisant le quadripotentiel
 = , A
A  et le deplacement
dM = (dx ) = (cdt,0,0,0) dans le referentiel comobile.
c
Nous obtenons laction pour une charge dans un champ electromagnetique exterieur en
ajoutant cette interaction `a laction (2.14) dune particule libre :
 t2
S= (mcds qA dx ) (2.18)
t1

Dans un referentiel quelconque, qA dx = qdt + q A


 dx = (q+ q A
 V
 )dt, et le lagrangien
secrit comme la somme du lagrangien L0 de la particule libre et du lagrangien dinteraction
Lint
)
2 V2 V .
L = L0 + Lint, L0 = mc 1 2 , Lint = q + q A (2.19)
c
 = (1 ,2 ,3 ), est
Le moment canonique conjugue de x,

 = L = ) mV
 = P + q A
+ qA  (2.20)

V V 2
1 2
c
qui est dierent de la quantite de mouvement de la particule P . Lequation dEuler-Lagrange
est, sous forme vectorielle,
d  
 = L = q  + q (
 A V  ).
P + qA (2.21)
dt x
d  
dA 
A
La derivee A(
x(t),t) se calcule par =  )
+ (V  A:
dt dt t
dP 
A  )
 A = q
 + q (
 AV
 ).
+q + q(V (2.22)
dt t
Avec la relation 4 V
 (
 A)
 = (
 AV ) (V
 )
 A,
 on a :
*  +
dP  
A  (
 A)

=q +V (2.23)
dt t

Cette expression redonne bien la loi du mouvement (1.120) en utilisant les expressions (1.10)
des champs en fonction des potentiels :

dP  
=q E +V
 B
 . (2.24)
dt

Dans la transformation de jauge (1.11), le lagrangien devient


 = L + q d .
L L = L + q + qV (2.25)
t dt
S S 
Comme L et L di`erent dune derivee totale par rapport au temps, i = i et les equations
x x
dEuler-Lagrange restent inchangees.
 =
 est une constante vis-`a-vis de loperateur
4. La vitesse V

x
2. LAGRANGIEN 38

2.1.4 Hamiltonien

Lhamiltonien 5 H = i x i L =

 ) 
mV  V 2 2
) + qA V
 mc 1 2  = ) mc
 V
q + q A + q (2.26)
2
V2 c V2
1 2 1 2
c c

doit etre ecrit en fonction de  et x au lieu de V


 et x. Pour cela on peut remarquer que la
quadriimpulsion de la particule est

 
mc H q 

p = ) 
,P = 
, qA . (2.27)
V2 c
1 2
c

La relation c2 p p = (H q)2 c2 (  2 = m2 c4 donne lhamiltonien


 q A)
,
H= c2 (  2 + m2 c4 + q.
 q A) (2.28)

Les equations du mouvement se retrouvent par les equations de Hamilton


H H
= x i , i.
= (2.29)
i xi

2.2 Corde classique `


a une dimension

2.2.1 Lagrangien

Nous considerons un syst`eme de masses ponctuelles reliees par des ressorts, puis nous faisons
tendre le nombre de masses vers linni, la distance entre masses vers zero de sorte quon tende
vers un syst`eme continu de densite et elasticite uniformes. Nous aurons ainsi un exemple de
lagrangien decrivant un champ.

a chane `a
Fig. 2.2 Chane doscillateurs couples. i1 i + 1 lequilibre
i
Le deplacement de la i`eme masse est qi (t). La
constante de rappel de chaque ressort est K.
Energies cinetique et potentielle : i1 i i+1
1 1
T = mqi2 , U= K(qi+1 qi )2 . qi1 qi qi+1 chane en
2 i 2 i mouvement

On consid`ere la limite continue dans laquelle la distance a entre les masses `a lequilibre
tend vers 0 :
m
a 0, (masse par unite de longueur), Ka Y (module de Young). (2.30)
a
5. Sir William Rowan Hamilton (1805-1865)
2. LAGRANGIEN 39

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

Les energies cinetique et potentielle deviennent


  2   2
1 q 1 q
T = dx , U= Y dx . (2.32)
2 t 2 x
Le lagrangien est
    2  2
q q 1 q 1 q
L=T U = dx L o`
u L , = Y (2.33)
t x 2 t 2 x
est la densite lagrangienne. Pour une corde innie, lintegrale est sur toute la droite reelle et
q
on suppose que le champ q(x,t) et sa derivee sannulent `a linni. Pour une corde nie de
x
longueur , lintegrale est sur [0,] et on peut supposer des conditions aux limites periodiques
(la corde forme une boucle)
q q
q(0,t) = q(,t) et (0,t) = (,t). (2.34)
x x
-t -

Laction est dans ce dernier cas S = t12 dt 0 dx L. On eectue une variation q(x,t) du champ
telle que
q(x,t1 ) = q(x,t2 ) = 0 et q(0,t) = q(,t). (2.35)
La variation de laction S est (bornes dintegrations omises)

  4 5
L q L q q q q q
S =   +   dxdt = Y dxdt. (2.36)
q t q x t t x x

t x
On a utilise la commutation de loperateur de variation et des derivees partielles (comparer
`a (2.4)). On int`egre par parties chaque terme ; les termes tout integres disparaissent avec les
conditions aux limites (2.34) et (2.35)
 4 5
2q 2q
S = 2 + Y 2 q dxdt. (2.37)
t x
Le principe de moindre action S = 0 quel que soit q conduit `a lequation des ondes dans la
corde 6
1 2q 2q Y
2 2
2 =0 o`
u v= . (2.38)
v t x

2.2.2 Hamiltonien

Pour la chane discr`ete, le moment conjugue de qi est pi = mqi et lhamiltonien est


 p2
i
H =T +U = + U. (2.39)
2m
i
2. LAGRANGIEN 40

pi
Dans la limite continue, = qi tend vers
a
q
(x,t) = (x,t) (impulsion par unite de longueur) (2.40)
t
et lhamiltonien vers
    2
q 1 2 1 q
H= dx H u H ,
o` = + Y (2.41)
x 2 2 x
 
q q
est la densite hamiltonienne. Le passage direct de la densite lagrangienne L , `a la
t x
densite hamiltonienne se fait par
L
(x,t) = (moment conjugue de q)
et (2.42)
q
q
H = q
L (qui doit etre exprime en fonction de et ). (2.43)
x

2.3 Equations dEuler-Lagrange pour un champ continu

Nous considerons un champ invariant de Lorentz sur lespace-temps E decrit, dans un


referentiel K, par N composantes

x,t) = k (x )
k ( (k = 1, . . . , N ). (2.44)

Lexemple precedent correspondait `a N = 1 et le champ etait deni sur un espace-temps `a


2D (1 (x,t) = q(x,t)). On a maintenant une densite lagrangienne L (k , k , x ) qui est une
k
fonction explicite de k , des derivees k = et des coordonnees x du point M. Cela
x 
q q
u la densite L
generalise lexemple precedent o` , ne dependait pas du champ q(x,t). Le
t x
lagrangien est (integrale dans tout lespace tridimensionnel)

L= L (k , k , x ) d3 x (2.45)

et laction  
t2
1
S= L dt = L (k , k , x ) d4 x. (2.46)
t1 c
Nous integrerons dans tout lespace-temps E (cela correspond `a prendre t1 , t2 ).
Nous imposons que la densite lagrangienne L soit un 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 secrit
 4 5
1 L L
S = k + k d4 x. (2.47)
c k ( k )

Rappel : il y a sommation sur les indices repetes k et . Nous supposons que le champ k , sa
variation k et leurs derivees sannulent dans toutes les directions `a linni de E. On ecrit
2. LAGRANGIEN 41

L
k = k et on int`egre par parties en utilisant lequation (1.98), avec f = et
( k )
g = k . On obtient
  
S S 1 L L
S = k d4 x o`
u = (2.48)
k k c k ( k )
est la derivee fonctionnelle. Pour que S = 0 quelles que soient les variations k , il faut que
S
= 0, soit
k

L L
=0 (equations dEuler-Lagrange pour un champ). (2.49)
k ( k )

2.4 Lagrangien du champ


electromagn
etique

Considerons le champ electromagnetique pour un mouvement donne des particules (on se


donne le quadricourant j (x )). Nous voulons le decrire avec une densite lagrangienne invariante
L = Lchamp + Lint telle que les equations dEuler-Lagrange (2.49) redonnent les equations de
Maxwell. Le terme Lchamp decrit le champ libre (sans particules) et Lint est un terme dinterac-
tion champ-particules que nous allons choisir pour retrouver le lagrangien dinteraction (2.19)
dans le cas dune particule. Pour une particule de charge q situee en R(t)   (t) `a
et de vitesse V
linstant t, le lagrangien dinteraction (2.19) secrit
   
Lint = q R(t),t  + qA R(t),t
  (t) =
V
 7     8
d3 x q(3) x R(t)
  (t)(3) x R(t)
(x,t) + q V  A(
 x,t) =
 7 8 
d3 x (  x,t) = d3 xj A
 x,t) A(
x,t)(x,t) J( (2.50)

en introduisant le quadricourant (cf. equation (1.5)) de la particule. Cela conduit `a poser

Lint = j A = + J A
 (2.51)

pour la densit e lagrangienne dinteraction. Comme Lint secrit en fonction du quadripoten-


tiel, nous allons decrire le champ electromagnetique par le quadripotentiel A plutot que par le
tenseur F . Nous determinons le tenseur F par la relation F = A A . Lequation
F = 0 est alors automatiquement veriee (cf. propriete (1.127) de la section 1.16). Les
equations dEuler-Lagrange, qui secrivent ici (k A )
L L
= 0, (2.52)
A ( A )
doivent nous donner lequation F = 0 j . Comme
Lint Lint
= j et =0 (2.53)
A ( A )
nous pouvons chercher Lchamp qui verie
Lchamp Lchamp 1
=0 et = F . (2.54)
A ( A ) 0
2. LAGRANGIEN 42

Nous exprimerons la densite Lchamp , qui nest pas une fonction explicite des A , comme fonction
explicite des F = A A , la rendant par l`a invariante de jauge. Linvariance de Lorentz
de Lchamp restreint les choix possibles. Nous posons, utilisant une expression quadratique des
 vitesses  A ,
Lchamp = kF F (2.55)
o`
u k est une constante `a determiner. Calculons
F [ A A ]
= = , (2.56)
( A ) ( A )

puis
' (
F F F F F
= F + F = 2 F = 2 [ ] F =
( A ) ( A ) ( A ) ( A )
2 [F F ] = 4F . (2.57)

Lequation (2.55) satisfait `a (2.54) pour k = 1/40 .


La densit
e lagrangienne du champ libre secrit donc

1 1  2 
Lchamp = F F = E c22
B (2.58)
40 20 c2

Le lagrangien total dun syst`eme de N particules i = 1, . . . N et du champ electromagnetique


est
L = Lpart + Lchamp + Lint
N
)
 V2
2
Lpart = mi c 1 i2
c
i=1 (2.59)
3
Lchamp = Lchamp d x

Lint = Lint d3 x.

Les equations dEuler-Lagrange pour le champ donnent les equations de Maxwell et celles pour
les particules donnent les equations du mouvement de ces particules. Nous savons que ces
equations dEuler-Lagrange sont invariantes de jauge. Verions le directement sur le lagrangien.
Dans une transformation de jauge A A = A , la densite lagrangienne Lchamp est
invariante (comme F ) et la densite lagrangienne dinteraction Lint = j A devient

Lint = j A + j . (2.60)

Comme  
j d4 x = ( j ) d4 x = 0, (2.61)
 
1 1
pour un courant de quadridivergence nulle, laction reste inchangee : Lint d4 x = Lint d4 x.
c c
2. LAGRANGIEN 43

2.5 Fonctionnelle, d
eriv
ee fonctionnelle

Une fonctionnelle S[] est une loi qui donne un nombre pour chaque fonction (x) denie
sur un espace M(D) de dimension D. Ce peut etre laction (2.46), pour D = 4, (x) designant
lune des composantes k (x) ; ce peut aussi etre laction (2.1), pour D = 1, (x) designant une
des fonctions xi (t). Dans ces exemples, nous avons introduit, equations (2.6) et (2.48), la derivee
fonctionnelle `a partir de la petite variation (x) de la fonction (x) en ecrivant

S
S = S[ + (x)] S[] = (y) dD y + (2.62)
(y)

S
o`
u on ne garde que les termes du premier ordre en (x). La derivee fonctionnelle depend
(y)
de la fonction (x) et du point y M(D) : cest une fonctionnelle de (x) et une fonction de y.
Quelques exemples :
- S
(a) S = 2 (x) dD x = 2(y)
(y)
- S
(b) S = u(x)4 (x) dD x = 4u(y)3 (y)
(y)
-  2 3 S (2.63)
(c) S = 12
 d x = y (y) (D = 3)
(y)
(x)
(d) S = (x) = (D) (x y) (fonction de Dirac)
(y)

Autres definitions equivalentes :


1) Lequation (2.62) secrit, pour la variation (x) = f (x) ( inniment petit),

S[(x) + f (x)] S[(x)] S
lim = f (x) dD x. (2.64)
0  (x)

En prenant pour f (x) la fonction de Dirac f (x) = (D) (x y), on obtient une denition formelle
S
de la derivee fonctionnelle :
(y)

S S[(x) + (D) (x y)] S[(x)] d 
= lim = S[(x) +  (x y)]
(D)
. (2.65)
(y) 0  d =0

Par exemple, pour S[(x)] = (x), cela donne

(x) d  
= (x) +  (x y) 
(D)
= (D) (x y). (2.66)
(y) d =0

2) Divisons lespace M(D) en petits cubes de volume = D , le cube i etant centre au


point xi . La fonction (x) est denie approximativement - en donnant la valeur i quelle prend
4 D
`a chaque point xi . Une fonctionnelle comme S[(x)] = u(x) (x) d x est approximativement
la fonction ordinaire des variables i

S (. . . ,i , i+1 , . . . ) = ui 4i (2.67)
i
2. LAGRANGIEN 44

avec ui = u(xi ). La derivee fonctionnelle apparat alors comme la limite 0 des derivees
partielles par rapport aux variables discr`ete i :
S 1 S
= lim . (2.68)
(x) 0 i
xcube i

1 S
Preuve : Posons i = (xi ) et Fi = . La variation de la fonction S (. . . ,i ,i+1 , . . . ),
i 
 S 
S = i = Fi i , devient, dans limite 0, lintegrale F (x)(x) dD x avec
i
i i
F (x) = lim Fi . On obtient (2.68) en comparant `a (2.62).
0
xcube i
Il resulte de la denition (2.68) que la derivation fonctionnelle a des proprietes semblables
aux derivations partielles.
R`
egles de calculs pratiques
1) Rappelons lequation (2.66) qui traduit lindependance des variables (x) et (y) pour
i
x
= y et est qui analogue `a = ij :
j

(x)
= (D) (x y). (2.69)
(y)

- D
2) commute avec lintegration d x (utiliser des noms dierents pour la variable
(y)
dintegration x et le point y localisant la variable de derivation (y)).

3) commute avec les derivees .
(y)

4) est une derivation (au sens mathematique). On a
(y)
(A + B) A B (AB) A B f (A) df A
= + , = B +A , = , etc. (2.70)
(y) (y) (y) (y) (y) (y) (y) dA (y)

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

Linteret de ce formalisme est de permettre decrire le principe de moindre action sans mention-
ner les equations dEuler-Lagrange.
Exemples
1) On pouvait obtenir (2.63) (a) avec ces r`egles par

2 (x) (x)
= 2(x) = 2(x)(D) (x y) (2.72)
(y) (y)
  
2 D 2 (x) D
(x) d x = d x= 2(x)(D) (x y) dD x = 2(y). (2.73)
(y) (y)
2. LAGRANGIEN 45

2) Soit le champ (x) sur lespace-temps E regi par laction


 4  mc 2 5
k
S[] = ( ) ( ) (x) d4 x
2
(2.74)
2 
o`
u la constante k est l`a pour lhomogeneite. Calculons la derivee fonctionnelle
  4   5
1 4 1 (x) (x)
( (x)) ( (x)) d x = ( (x)) + ( (x)) d4 x
(y)
 2  2
  (y) (y)

(x) 4
= ( (x)) d x = (D) (x y) ( (x)) d4 x
 (y)
= (D) (x y) (x) d4 x = y (y).

S
Avec (2.73), le principe de moindre action = 0 donne lequation de Klein 6 -Gordon 7 dune
(y)
particule libre :   mc 2 
+ = 0. (2.75)


3) Reprenons laction S[A ] du champ electromagnetique pour un quadricourant donne (on


reprend (2.46) avec (2.51) et (2.58)) :
  
1 1
S[A ] = j A F F d4 x.

(2.76)
c 40
S
Le calcul de utilise
A (y)

A (x) F (x) A (x) A (x)


= (4) (xy), = = (4) (xy) (4) (xy),
A (y) A (y) A (y) A (y)
  7 8
1 1
F F d4 x = F (4) (x y) (4) (x y) d4 x
A (y) 40 20
 
1 (4) 4 1 1
= F (x y) d x = ( F ) (4) (x y) d4 x = F (y)
0 0 0
 
A (x) 4 S
et j A d4 x = j d x = j (y). Le principe de moindre action =0
A (y) A (y) A (y)
redonne bien (1.115) F = 0 j .
4) Les variations S, (x), . . . se manipulent comme des dierentielles et ont des proprietes
correspondant aux r`egles precedentes de calculs pratiques de la derivation fonctionnelle. Appli-
quons ces manipulations de dierentiation fonctionnelle pour ecrire le principe de moindre action
dune charge dans un champ electromagnetique exterieur. Laction (2.18) est une fonctionnelle
des x (t) :
 t2

S[x ] = (mcds qA dx ) . (2.77)
t1

Pour simplier, on note x au lieu de x (t). La dierentiation fonctionnelle de ds2 = dx dx


u
donne dsds = dx dx . Do`u ds = dx . On a A = ( A )x , dx = dx , S =
c
6. Oskar Klein (1894-1977)
7. Walter Gordon (1893-1939)
2. LAGRANGIEN 46
 t2  t2  t2

[mcds qA dx ] = [mu dx q( A )x dx qA dx ] = [mdu
t1 t1 t1
q( A )dx + q(dA )]x . Avec dA = ( A )dx , on obtient :
 t2

S[x ] = [mdu q( A A )dx ] x .
t1

Le principe de moindre action S[x ] = 0 donne mdu = qF dx , ce qui apr`es division par d
est la forme covariante (1.124) de lequation du mouvement :

du
m = qF u . (2.78)
d

3. TENSEUR ENERGIE-IMPULSION 47

Tenseur
energie-impulsion

3.1 Int
egrales sur une hypersurface

3.1.1 Flux dun quadrivecteur

Fig. 3.1 Element de surface. 



Lelement de surface dans lespace `a 3 dimensions est un parallelogramme
dr



dS
deni par 2 vecteurs innitesimaux de la surface dr et dr  . Le vecteur dS

est deni par (le signe est xe par lorientation de la surface) dr



dS = dr dr  ou dS i = eijk drj drk . (3.1)

Le ux dun vecteur A `a travers une surface orientable S dans lespace `a 3 dimensions est
la somme des ux elementaires `a travers les elements de surface dS :

= A

dS. (3.2)
S

Fig. 3.2 Element dhypersurface.


Lelement dhypersurface dans lespace-temps `a 4 dimensions est un pa-


rallelepip`ede deni par 3 quadrivecteurs innitesimaux de la surface dr,





dr et dr . Le quadrivecteur dS, orthogonal `a la surface est deni par (le
 dr
dr


signe est xe par lorientation de lhypersurface)

dS =
dr dr dr . (3.3) 

dr

La denition (3.2) se generalise `a lespace-temps E. Le ux dun quadrivecteur a `a travers


une hypersurface orientable S dans lespace `a 4 dimensions E est la somme des ux elementaires


a dS `a travers les elements dhypersurface dS :
 


= a dS = a dS . (3.4)
S S

3. TENSEUR ENERGIE-IMPULSION 48

Dapr`es la denition, est un invariant scalaire. Pour lhyperplan x0 = ct0 on peut prendre






dr = e1 dx1 , dr = e2 dx2 , dr = e3 dx3 , et dS = e0 dx1 dx2 dx3 = e0 d3 x. (3.5)

Cela donne pour le ux du quadrivecteur lintegrale spatiale de la composante temporelle du


quadrivecteur `a linstant t0 : 
= a0 (r,t0 )d3 x. (3.6)

3.1.2 Th
eor`
eme de Gauss


dS



Fig. 3.3 Hypervolume et hypersurface .
Le bord du volume quadridimensionnel est lhypersurface . On oriente


de sorte que dS soit `a lexterieur de . 

Le theor`eme de Gauss `a 3 dimensions


  
3
 
Ad x =  =
 dS
A Ai dSi (3.7)

se generalise aux integrales de lespace temps :


 
4
a d x = a dS . (3.8)

3.1.3 Quadrivecteur de quadridivergence nulle

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

Fig. 3.4 Conservation de Q. x0 localisation


de a
Le volume quadridimensionnel est [cta ,ctb ] V . ctb

cta
x1
O   
V

Exprimons le ux sortant du volume de la gure 3.4. On obtient, en etendant les integrales


`a tout lespace  
Q= a0 (r,ta )d3 x = a0 (r,tb )d3 x. (3.9)

Pour le quadricourant , qui


- verie lequation de continuite j = 0, le resultat (3.9) est la
3
conservation de la charge (r,t)d x.

3. TENSEUR ENERGIE-IMPULSION 49

Fig. 3.5 Invariance de Q. x0 x0 hyperplan


x0 = ctb
Le volume quadridimensionnel est lintersection de [, + ] V et
x1
des demi-espaces x0 cta et x0 ctb o`
u x0 est la coordonnee temporelle
du referentiel K  .

cta
x1
O   
V

Exprimons maintenant le ux sortant du volume de la gure 3.5. On utilise les deux


referentiels dinertie K et K  correspondant `a la gure 1.3. Pour calculer le ux sortant de
lhypersurface x0 = ctb on utilise linvariance du ux (3.4). On lecrit dans K  , a0 etant etant
donne par lequation (1.51). On obtient, en etendant les integrales `a tout lespace,
 
Q = a (r,ta )d x = a0 (r  ,tb )d3 x .
0 3
(3.10)
- -
Pour le quadricourant , cest linvariance de la charge (r,t)d3 x =  (r  ,t )d3 x .
Regroupant (3.9) et (3.10), on a obtenu :

si a (x ) est un champ de quadrivecteur veriant a = 0, alors



Q = a0 d3 x (3.11)

est un scalaire invariant conserve.

On generalise `a un champ de tenseur T tel que T = 0. Posons



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

1
L = M 0 d3 x (3.13)
c
est un tenseur ind
ependant du temps.

3.2 Tenseur
energie-impulsion

3.2.1 Interpr
etation physique des composantes

Considerons un syst`eme isole forme de N particules ponctuelles a = 1, . . . N ; la particule


a, de masse ma et de charge qa , se trouve en xa (t). Le champ electromagnetique cree par ces
particules est inclus dans le syst`eme. Nous voulons exprimer dans le formalisme relativiste les
lois de conservation de lenergie W , de la quantite de mouvement P et du moment cinetique

3. TENSEUR ENERGIE-IMPULSION 50
 
 du syst`eme. La quadriimpulsion p = p = W 
L , P du syst`eme est conservee. Nous voulons
c
donc lecrire sous la forme (3.12) 
1
p = T 0 d3 x (3.14)
c
u T est un champ de tenseur (tenseur energie-impulsion) tel que
o`

T = 0. (3.15)

Les proprietes dinvariance et de conservation de p seront alors automatiquement veriees.


Remarquons que les seules equations (3.14) et (3.15) laissent encore beaucoup de latitude
dans le choix de T . Ainsi, partant dun T veriant (3.14) et (3.15) le tenseur

T + , (3.16)

u est un tenseur antisymetrique sur les deux premiers indices ( = ), verie


o`
egalement (3.14) et (3.15).
Examinons les proprietes physiques souhaitables de T , pour reduire les choix possibles.
Postulons que W = T 00 d3 x et P de composantes P i = T 0i d3 x/c sont lenergie et la
quantite de mouvement du volume elementaire d3 x. Autrement dit on a linterpretation

T 00 = us densite denergie du syst`eme


(3.17)
0i
T = cgsi densite gs de quantite de mouvement du syst`eme.

Le moment cinetique du syst`eme par rapport `a O est alors


 
L = r P = r gs d3 x
  (3.18)

et la position du centre denergie du syst`eme est


 
1 1

X= r W = r T 00 d3 x. (3.19)
W W

Posons
 
1  0 0
 3 1
L = x T x T d x= M 0 d3 x o`
u M = (x T x T ) .
c c
(3.20)

Ici, x designe les composantes du quadrivecteur OM qui joint lorigine au point dintegration.
M est alors un tenseur. Le tenseur antisymetrique L contient le moment cinetique (L1 =
L23 , L2 = L31 et L3 = L12 ). Les composantes supplementaires sont
 
1 W  i 
L0i = t T 0i d3 x xi T 00 d3 x = V t Xi (3.21)
c c

c2 P i 
en posant V i = (V est la vitesse du syst`eme dans son ensemble ; elle est reliee `a la quantite
W
W
de mouvement totale P et `a lenergie totale W par la meme relation P = 2 V que pour une
c

3. TENSEUR ENERGIE-IMPULSION 51

particule). Le tenseur L est conserve. Comparant `a (3.13), on souhaite donc que M = 0,


soit
( x ) T + x ( T ) ( x ) T x ( T ) = 0 (3.22)
           
0 0
ou
T = T (le tenseur energie-impulsion est symetrique). (3.23)

La densite denergie us = T 00 verie lequation de continuite (autre ecriture de T 0 = 0)

us s = j S j
 S
= s o`
u Ssi = cT i0 . (3.24)
t
T 0i
La densite gsi = de quantite de mouvement verie lequation de continuite (autre ecriture
c
de T i = 0)
gsi
= j T ji . (3.25)
t
Lenergie W et la quantite de mouvement P dun volume tridimensionnel ,
 
3 i
W = us d x et P = gsi d3 x, (3.26)

verient les equations, dapr`es le theor`eme de Gauss (3.7),


  
dW us 3   3 
s dS
= d x = Ss d x = S (3.27)
dt t

et   
dPi gsi 3
= d x= j T ji d3 x = T ji dSj . (3.28)
dt t
On peut completer linterpretation (3.17) des composantes de T :

Ssi
T i0 = s du syst`eme
courant denergie S
c (3.29)
ij
T courant de quantite de mouvement du syst`eme

et ecrire sous forme matricielle :



us cgs

T =
S
.
(3.30)
s /c T ij

La symetrie du tenseur implique la relation


s = c2gs
S (3.31)
s et la densite gs de quantite de mouvement du syst`eme.
entre le courant denergie S

3. TENSEUR ENERGIE-IMPULSION 52

On remarquera lanalogie formelle entre le quadricourant j et le tenseur energie-impulsion


T . Les proprietes (3.17), (3.29) et (3.30) sont analogues aux proprietes bien connues :

j 0 = c densite de charge (3.32)


i i
j =J courant J


c



j = . (3.33)

J



3.2.2 ecomposition T = Tpart
D + Tchamp

Une autre propriete physique souhaitable est ladditivite de lenergie et de la quantite de


mouvement. Ainsi nous postulons que la quadriimpulsion p du syst`eme est la somme
N

p = ppart + pchamp avec ppart = pa , (3.34)
a=1

u pa = maua (resp. ua ) est la quadriimpulsion (resp. quadrivitesse) de la particule a et 


o` pchamp
la quadriimpulsion du champ. Le tenseur energie-impulsion T du syst`eme se decompose de
meme en
N

T = Tpart + Tchamp avec Tpart = Ta , (3.35)
a=1

o`
u le tenseur energie-impulsion Ta est associe `a la particule a et le tenseur energie-impulsion

Tchamp au champ.

3.2.3 Tenseur
energie-impulsion dune particule

Nous allons determiner, dans un referentiel K, le tenseur energie-impulsion Ta de la par-


ticule a par la condition
 
0 3 cpa si la particule est dans le volume
Ta d x = (3.36)
0 si la particule nest pas dans .

Cette condition donne


Ta0 = cpa (3) (r xa (t)). (3.37)
u on a utilise un referentiel K  comobile avec la particule.
Procedons comme dans la section 1.7, o`
La masse volumique
a (M) = a (r,t) = ma (3) (r xa (t)) (3.38)
dans le referentiel K est liee `a la masse volumique a0 dans le referentiel K  par

a (M) = a0 (M). (3.39)



3. TENSEUR ENERGIE-IMPULSION 53

analogue `a lequation (1.46). Dans le referentiel comobile, le tenseur energie-impulsion Ta


secrit
a0 c2 0 0 0

0 0 0 0

Ta = (3.40)
0 0 0 0

0 0 0 0
puisque la quantite de mouvement, les courants denergie et de quantite de mouvement sont
nuls. Une ecriture covariante de ce tenseur est

Ta = a0 ua ua . (3.41)

dxa
Dans K, utilisant (3.38), (3.39) et ua = , cette expression donne
dt
ma (3) dxa
Ta = (r xa (t))ua ua = ma ua (3) (r xa (t)) , (3.42)
dt
soit
dxa
Ta = pa (t)(3) (r xa (t)) (t), (3.43)
dt
dont les composantes Ta0 sont bien (3.37). Le tenseur energie-impulsion Ta est bien symetrique,
dapr`es la forme (3.41).
Lorsque la particule interagit avec le champ, sa quadriimpulsion varie et nest pas conservee.
On sattend donc `a ce que Ta
= 0. Calculons sa valeur. Additionnons la derivee de (3.37),

dpa (3) dxi


0 Ta0 = (r xa (t)) pa a i (3) (r xa (t)), (3.44)
dt dt x
et celles de (3.43), pour = i,

dxia (3)
i Tai = pa (r xa (t)). (3.45)
dt xi
dpa dx
Cela donne, en utilisant lequation du mouvement (1.124) = qa F ua = qa F a ,
d d
dpa (3) dx dx
Ta = (r xa (t)) = F a qa (3) (r xa (t)) = F a a = F ja (3.46)
dt dt dt

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

3.2.4 Tenseur
energie-impulsion des particules

Le tenseur energie-impulsion des particules est la somme


  dxa
Tpart = Ta = pa (t)(3) (r xa (t)) (t). (3.47)
a a
dt

3. TENSEUR ENERGIE-IMPULSION 54

Dapr`es (3.46), il verie lequation



Tpart = F j = h . (3.48)
Explicitement, le quadrivecteur h est
 
 J
E
0
h =F j = (h ,h) =  + J B
, E  . (3.49)
c
ppart des particules nest pas conservee en general :
La quadriimpulsion 
  
dppart 0 3 3 i
= 0 Tpart d x = Tpart d x [car i Tpart d3 x = 0 ]
dt
 
= F j d3 x = h d3 x. (3.50)

Remarquer que lintegrale spatiale du quadrivecteur h ne donne pas un quadrivecteur au


contraire de lintegrale (3.12). Le vecteur h sinterpr`ete comme la densite volumique des forces
agissant sur les particules, tandis que ch0 est le travail accompli par les forces agissant sur les
particules par unite de volume et de temps.
9
La trace du tenseur Tpart donne la densite de masse au repos 0 c2 = a a0 c2 du syst`eme

  
Tr Tpart = g Tpart = Ta = a0 ua ua = a0 c2 = 0 c2 . (3.51)
a a a

3.2.5 Tenseur
energie-impulsion du champ

Nous allons determiner un tenseur symetrique Tchamp sexprimant seulement en fonction
du tenseur du champ electromagnetique F et veriant lequation

Tchamp = F j . (3.52)

La condition T = Tpart + Tchamp = 0 sera alors remplie. Portons lequation de Maxwell
1
j = F dans h = F j et essayons de former une quadridivergence.
0
1 1
h = F ( F ) = [ (F F ) F ( F )] . (3.53)
0 0
Il faut transformer le dernier terme :
1 + 1 F F
F ( F ) = 2 F F 2 [antisymetrie de F ]
1 + F )
= 2 F ( F [echange de et au second terme ]
1
(3.54)
= 2 F ( F ) [equation de Maxwell (1.118)]
1 1 1
= 2 F ( F ) = 4 (F F ) = 4 (g F F ) .
Portant dans (3.53), on a
4 5
1 1
h = F F + g F F . (3.55)
0 4
Le tenseur 4 5
1 1
Tchamp = F F + g F F (3.56)
0 4
verie (3.52), est symetrique et depend seulement du champ electromagnetique. Cest le tenseur

energie-impulsion du champ.

3. TENSEUR ENERGIE-IMPULSION 55


3.2.6 Composantes de Tchamp

Ecrivons les composantes du tenseur Tchamp de facon analogue `a (3.30) :

u cg


Tchamp =  ij . (3.57)
S/c T(M )

Explicitant F dans (3.56) on obtient


0  2 
u = E + c2 B 2 (3.58)
2
g = 0 E  B  (3.59)
 = 1E
S  B  (3.60)
0
4 5
ij i j 2 i j 1  2 2 2

T(M ) =  0 E E + c B B ij E + c B (3.61)
2

Les interpretation physique des composantes du tenseur Tchamp sont analogues `a (3.17) et (3.29) :

00
Tchamp = u densite denergie electromagnetique
0i
Tchamp = cgi densite g de quantite de mouvement du champ
(3.62)
i0 Si
Tchamp = vecteur de Poynting 1 S

c
ij ij ij
Tchamp = T(M ) tenseur des contraintes de Maxwell T(M ).

La symetrie du tenseur implique la relation

 = c2g.
S (3.63)

La trace du tenseur Tchamp est nulle (masse des photons nulle) :
4 5
1 1
Tr Tchamp = g Tchamp = F F + F F = 0. (3.64)
0 4
En recrivant lequation (3.52)

Tchamp = h (3.65)
avec les notations (3.57), on obtient le theor`eme de Poynting. La composante = 0 donne
u  
+ S = J E
 (3.66)
t
(forme locale de la conservation de lenergie). La composante = i donne

gi ji    i
j T(M ) = (E + J B) (3.67)
t x
1. John Henry Poynting (1852-1914)

3. TENSEUR ENERGIE-IMPULSION 56

(forme locale de la conservation de limpulsion).


Les equations (3.27) et (3.28), donnant les derivees de lenergie totale W (champ et par-
ticules) et de la quantite de mouvement totale P dun volume tridimensionnel , secrivent,

dans le cas o`
u les particules ne traversent pas la surface (Tpart , equation (3.47), est alors nul
sur ),

dW 
 dS
= S (3.68)
dt

dPi ji
= T(M ) dSj (3.69)
dt
ce qui nous am`ene `a introduire la force innitesimale

ji
df : df i = T(M ) dSj (3.70)
appliquee sur lelement de surface dS.



Fig. 3.6 Tenseur des contraintes ji dun fluide. dS



Le vecteur dS est oriente vers lexterieur du volume . La force df agissant

sur lelement de surface dS est donne par df

df i = ji dSj = (pij + ji )dSj . (3.71)





Pour ji = 0 (pas de viscosite), la force df est la force de pression pdS.


En presence de viscosite, df nest pas perpendiculaire `a la surface.

 est perpendiculaire `a la
Exercice : Calculer df lorsque est la surface dun conducteur, E
 = 0.
surface et B
0 E 2

Reponse : On retrouve la pression electrostatique df = dS.
2

dL
Calculons la derivee du moment cinetique total (champ et particules) du volume .
dt
Pour la composante 1, on a
     
dL1 023 3 k23 3 k23
= 0 M d x = k M d x= M dSk = x2 T(M
k3 3 k2
) x T(M ) dSk
dt
 
 2 3 

= x df x3 df 2 = (r df )1 . (3.72)

Vectoriellement,
  
dP
dL

= df et = r df (3.73)
dt dt
expriment que les forces agissant sur le volume sont equivalentes au syst`eme des forces surfa-


ciques df . La relation donnant la force (3.70) justie le nom (tenseur des contraintes de Maxwell)
ij
donne `a T(M ).

3.2.7 Tenseur
energie-impulsion canonique

La formulation lagrangienne de la mecanique permet de faire le lien entre les lois de conser-
vation (energie, impulsion, moment cinetique) et les symetries du syst`eme (respectivement uni-
formite du temps, homogeneite et isotropie de lespace). Ainsi, on peut etablir la conservation

3. TENSEUR ENERGIE-IMPULSION 57

de lenergie du syst`eme decrit par un lagrangien L(x, x) ne dependant pas explicitement du


temps de la facon suivante. On porte dans L(x, x) une solution x(t) des equations dEuler-
dL L L L d L
Lagrange (2.8) et on forme = x + x
. On remplace par pour obtenir
dt x x x dt x
4 5 4 5
dL d L L d L
= x + x
= x . (3.74)
dt dt x x dt x
dH
On en deduit la conservation de lenergie = 0 o`
u H est lhamiltonien
dt
L
H= x L = px L. (3.75)
x
Procedons de facon analogue pour un syst`eme decrit par la densite lagrangienne L (k , k )
ne dependant pas explicitement des coordonnees de lespace-temps E. Soit donc une solution k
des equations dEuler-Lagrange (2.49). On a
L L
L = k + k . (3.76)
k ( k )
L L
On utilise (2.49) pour remplacer par :
k ( k )
4 5
L L
L = k + [ k ] (3.77)
( k ) ( k )
ou 4 5
L
g L = k . (3.78)
( k )
Pour le champ electromagnetique libre, cette equation conduit `a lintroduction du tenseur
energie-impulsion canonique du champ
Lchamp
Tcan = A g Lchamp . (3.79)
( A )

La densite lagrangienne Lchamp etant un invariant scalaire, Tcan est bien un tenseur et ce tenseur
00
verie Tcan = 0 dapr`es (3.78). La composante Tcan est la densite hamiltonienne (comparer
`a (3.75))
Lchamp 0
Hchamp = A Lchamp (3.80)
(0 A )
et donc associee `a la densite denergie.
Lchamp 1
En utilisant = F (cf. equation (2.54)) on a explicitement
( A ) 0
4 5
1 1
Tcan = F ( A ) + g F F . (3.81)
0 4
Ce tenseur est inacceptable pour representer des grandeurs physiques. Il nest pas symetrique et
depend du choix de jauge. Toutefois, `a laide dune transformation (3.16), `a savoir en rajoutant
1 1
(A F ) = F ( A ) (3.82)
0 0
(Lchamp se rapporte au champ libre pour lequel F = 0), on retrouve le tenseur energie-

impulsion Tchamp donne par lequation (3.56).

4. THEORIE QUANTIQUE DU RAYONNEMENT 58

Th
eorie quantique du rayonnement

Lelectrodynamique quantique permet de decrire les interactions electromagnetiques des


particules chargees. Lobjectif de ce chapitre est de presenter une partie de cette theorie, la
description quantique dun syst`eme champ + particules `a basses energies, o` u on peut negliger
la possibilite de creation de paires particules-antiparticules. On abandonnera la covariance rela-
tiviste explicite en utilisant la jauge de Coulomb. Cette description est bien adaptee `a letude
des processus dinteraction entre mati`ere (atomes et molecules) et rayonnement.

4.1 Quantification dun oscillateur harmonique

4.1.1 Quantification canonique

On rappelle la methode de quantication dun oscillateur harmonique dequation

= 2 x.
x (4.1)

Loscillateur est decrit par le lagrangien (on pose la masse m = 1)


1 2 
L= x 2 x2 . (4.2)
2
L
Le moment conjugue de x est p = = x et lhamiltonien est
x
1 2 
H = px L = p + 2 x2 . (4.3)
2
Les equations de Hamilton sont
H H
x = et p = . (4.4)
p x
La quantication canonique consiste `a remplacer les variables conjuguees x et p par des opera-
teurs hermitiques 1 qui agissent sur un espace de Hilbert 2 (espace des etats) et verient la
relation de commutation
[x,p] = i. (4.5)
1. Charles Hermite (1822-1901)
2. David Hilbert (1862-1943)

4. THEORIE QUANTIQUE DU RAYONNEMENT 59

f f
On deduit de cette relation que [p,f (x)] = i et [x,f (p)] = i , cest-`a-dire quon peut
x p
faire les identications

p = i et x = i . (4.6)
x p
Lhamiltonien H devient un operateur qui determine levolution du syst`eme. On peut adopter
deux points de vue.
Dans le point de vue de Schrodinger 3, les operateurs x et p sont xes et les vecteurs detat
|S (t) evoluent suivant
d
i |S (t) = H |S (t) . (4.7)
dt
Il existe un operateur unitaire devolution U (t,t0 ) qui translate les vecteurs detat de linstant
t0 `a linstant t
|S (t) = U (t,t0 ) |(t0 ) . (4.8)
Loperateur devolution U (t,t0 ) verie
d
i U (t,t0 ) = HU (t,t0 ) et U (t0 ,t0 ) = 1. (4.9)
dt

Dans le point de vue de Heisenberg 4 , les vecteurs detat |H sont xes

|H = U 1 (t,t0 ) |S (t) (4.10)

et les operateurs AH (t) = U 1 (t,t0 )AS U (t,t0 ) evoluent au cours du temps selon
d
i AH (t) = [AH (t),H] (4.11)
dt
pour un operateur AS independant du temps dans le point de vue de Schrodinger. Lobservable
physique associee aux operateurs AS et AH sobtient par

S (t)| AS |S (t) = H | AH (t) |H (4.12)


     
repres. Schrodinger repres. Heisenberg

Le point de vue de Heisenberg permet de justier la methode de quantication : lequation (4.11)


secrit pour x et p, en utilisant lequation (4.6),
dx 1 H dp 1 H
= [x,H] = , et = [p,H] = (4.13)
dt i p dt i x
qui ont la meme forme que les equations de Hamilton (4.4).

4.1.2 Rappel sur loscillateur harmonique

Loscillateur harmonique quantique est decrit plus commodement en introduisant les ope-
rateurs creation a et destruction a,
x + ip x ip
a= , a = , (4.14)
2 2
3. Erwin Rudolf Josef Alexander Schrodinger (1887-1961)
4. Werner Karl Heisenberg (1901-1976)

4. THEORIE QUANTIQUE DU RAYONNEMENT 60

conjugues hermitiques lun de lautre. Ces operateurs verient la relation de commutation


7 8
a,a = 1, (4.15)
) )
 
   
x= a+a , p=i a a (4.16)
2 2
et lhamiltonien secrit  
1
H =  a a + . (4.17)
2
 
Les vecteurs propres de H sont |n , de valeurs propres  n + 12 , o`
u n = 0, 1, 2, . . . . On a les
relations

a |n = n + 1 |n + 1

a |n = n |n 1
a |0 = 0
 n
a
|n = |0 . (4.18)
n!
En representation de Heisenberg, les operateurs creation-destruction ont la forme
aH (t) = a ei(tt0 ) , aH (t) = aei(tt0 ) . (4.19)

4.1.3 Interpr
etation en termes de particules

Deux niveaux denergie consecutifs di`erent dun quantum denergie . On interpr`ete


letat |n comme decrivant un syst`eme de n particules (phonon, photon, etc.) ayant toutes
les memes caracteristiques (energie , quantite de mouvement k, polarisation  pour des
photons). Loperateur N = a a est le nombre de particules. Loperateur a cree une particule et
loperateur a detruit une particule. Le vecteur detat |0 represente le vide ; il lui est associe une
energie /2. Ces particules sont des bosons 5 : elles sont toutes dans le meme etat quantique
et leur nombre n est arbitraire.

4.1.4 Ensemble doscillateurs harmoniques ind


ependants

Considerons maintenant un ensemble de p oscillateurs harmoniques independants. Lespace


des etats E = E1 E2 Ep est le produit tensoriel des espaces Ei des divers oscillateurs.
Lhamiltonien secrit  
p
1
H= i ai ai + (4.20)
2
i=1
et les operateurs de loscillateur k commutent avec ceux de loscillateur l
= k :
7 8 7 8

ak ,al = kl , et [ak ,al ] = ak ,al = 0. (4.21)

Les vecteurs propres de H (on pose |0 = |0 |0 |0 ),


 m1  m2  mp
a1 a2 ap
|m1 ,m2 , . . . ,mp = |m1 |m2 |mp = |0 , (4.22)
m1 ! m2 ! mp !
9
denergie pi=1 i (mi + 1/2), forment une base de lespace E.
5. Satyendranath Bose (1894-1974)

4. THEORIE QUANTIQUE DU RAYONNEMENT 61

4.1.5 Transformation unitaire dop


erateurs cr
eation-destruction

Envisageons le cas o` u toutes les frequences i (i = 1, . . . p avec p > 1) sont les9memes


(oscillateur isotrope ` a p dimensions). Les niveaux denergie ne dependent que de m = pi=1 mi
et sont degeneres pour m > 0. Considerons la transformation doperateurs creation-destruction

ai = Uij aj , a
i = Uij aj (sommations sur j) (4.23)
u Uij est une matrice unitaire p p.
o`
Montrons quelques proprietes de cette transformation.
Elle preserve la forme (4.21) des relations de commutation :
7 8 7 8
ai ,a
j = Uik U
jl ak ,a
l = Uik Ujk = ij , (4.24)

' (
ai ,aj = Uik Ujl [ak ,al ] = 0. (4.25)

Elle preserve la forme de loperateur N = aj aj (sommation sur j) :

a 
j aj = Ujk Ujl ak al = kl ak al = ak ak . (4.26)

9p   9p    1 
1
Les vecteurs propres de H =  i=1 ai ai + 2 =  i=1 ai ai + 2 ,

 m1  m2  mp


 
    a1 a2 a
p
m1 ,m2 , . . . ,mp =

|0 , (4.27)
m1 ! m2 ! mp !
9p 
denergie  i=1 (mi + 1/2) forment une autre base de lespace E.

4.2 Lagrangien

Considerons un syst`eme forme de N particules chargees a = 1, . . . N , de coordonnees xa (t).


On note
a (r,t) = qa (3) (r xa (t)) (4.28)
la densite de charge de la particule a. Le quadricourant est

  N  

j (r,t) = c,J = a (r,t) c,x a (t) . (4.29)
a=1

On considerera des particules non relativistes dont on neglige le spin. Le lagrangien du syst`eme
champ electromagnetique + particules est

ma  2
N
L = xa + L d3 x
2 (4.30)
a=1  
L = + 1
+ J A E 2 c2 B
2
20 c2

4. THEORIE QUANTIQUE DU RAYONNEMENT 62

4.3 Probl`emes dans la quantification du champ



electromagnetique

Posons
1 L 1
X = = F [en utilisant (2.54)]. (4.31)
c ( A ) c0
Le moment conjugue (notation trompeuse : ce nest pas un quadrivecteur) de A est la
composante X 0 de ce tenseur :

L 1 L 1 0 1 1 L
i = = i
= F i = 2 Ei, 0 = = 0. (4.32)

A i c (0 A ) c0 c 0 c (0 A0 )
1
Les champs i verient i i = i E i = qui ne depend que de la position xa des
c2 0
particules.
La methode de quantication remplace deux variables conjuguees par des operateurs ayant
un commutateur non nul. Deux dicultes apparaissent pour quantier ce syst`eme :
On ne peut pas former un commutateur non nul avec le couple A0 , 0 = 0.
Lexistence dune relation fonctionnelle entre les variables canoniques xa et i (r,t) (les
derivees i j par rapport `a xi sont des combinaisons 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`etes xi , pi . Si les variables sont liees
par x1 = p2 p3 ( constante), on ne peut pas imposer [x1 ,p1 ] = i car [x1 ,p1 ] =
[p2 ,p1 ] [p3 ,p1 ]
= 0 est incompatible avec [pi ,pj ] = 0.
Ces dicultes peuvent etre attribuees `a la redondance des potentiels.

4.3.1 M
ethode de quantification utilis
ee

La premi`ere diculte sera reglee en eliminant la variable redondante A0 = /c. Cette


elimination est rendue plus simple en xant la jauge de Coulomb  A = 0. La covariance des
equations nest alors plus manifeste.
De facon generale, lorsquune vitesse x 0 (comme ici A 0 (r,t) en tout point r) nintervient
pas dans un lagrangien L(x0 ,x1 , . . . ,xN ,x 1 , . . . ,x N ), lequation dEuler-Lagrange relative `a x0

L
(x0 ,x1 , . . . ,xN ,x 1 , . . . ,x N ) = 0 (4.33)
x0

permet de considerer x0 comme une fonction implicite x0 = f (x1 , . . . ,xN ,x 1 , . . . ,x N ) des autres
variables et vitesses. Le syst`eme peut alors etre decrit par les 2N variables et vitesses x1 ,. . . , xN ,
x 1 ,. . . , x N et le lagrangien L = L(f (x1 , . . . ,xN ,x 1 , . . . ,x N ),x1 , . . . ,xN ,x 1 , . . . ,x N ). Si le principe
de moindre action est satisfait quand le syst`eme est decrit par L avec la variable x0 , il reste a
fortiori satisfait quand le syst`eme est decrit par L .
On simpose la jauge de Coulomb : les variables Ai sont liees par  A  = 0. La seconde dif-
i
culte sera reglee en remplacant les variables liees A par des variables independantes (variables
normales).

4. THEORIE QUANTIQUE DU RAYONNEMENT 63

4.3.2 Autre m
ethode

On peut quantier le syst`eme des particules et du champ electromagnetique en gardant la


covariance des equations. On rajoute au lagrangien une densite de la forme
1
Ljauge = ( A )2 (4.34)
0

qui contient la derivee A0 . Le nouveau syst`eme peut alors etre quantie de facon canonique.
Lorsquon impose ensuite la condition de Lorenz A = 0, Ljauge = 0 et on retrouve le syst`eme
initial.

4.4 Elimination de et utilisation de la jauge de Coulomb

Ecrivons

E 
 = E + E o`
u E = ,
  = A .
E (4.35)
t
Cest la decomposition de E  en un champ longitudinal E (qui verie  E = 0) et en un
champ transverse (ou solenodal) E  (qui verie  E
 = 0 puisquon suppose  A
 = 0). En
jauge de Coulomb, verie lequation de Poisson (1.23) ; cest donc le potentiel coulombien de
la repartition instantanee de charge
  1
1 (r  ,t) qa
(r,t) = d3 x 
= . (4.36)
40 |r r | a
4 0 |
r 
x a (t)|

Transformons la contribution de  2 au lagrangien (4.30)


E
   
1 2 3 1 2 3 1 3 1 2

E d x= 
E d x +  
E E d x + E d3 x. (4.37)
20 c2 20 c2 0 c2 20 c2
La deuxi`eme integrale du membre de droite est nulle :
 
(i )(0 A ) d x = 0 i Ai d3 x = 0.
i 3
(4.38)

La troisi`eme secrit :
   
0 i 3 0 i 3 0 i 3 1
E i d x = i E d x = i E d x = d3 x. (4.39)
2 2 2 2
-
En y ajoutant la contribution d3 x du terme dinteraction du lagrangien, nous ecrivons
  1  
1 3 a (r,t)b (r  ,t)
d x = d3 xd3 x = a
WCoul UCoul (4.40)
2 80 |r r  | a
a,b

o`
u 
a 1 a (r,t)a (r  ,t)
WCoul = d3 xd3 x (4.41)
80 |r r  |
est lenergie coulombienne propre de la particule a (qui est innie pour une repartition de charge
ponctuelle) et
 1  a (r,t)b (r  ,t)  1 qa qb
UCoul (
x1 , . . . ,
xN ) = d3 xd3 x = (4.42)
40 |r r  | 40 |xa xb |
a<b a<b

4. THEORIE QUANTIQUE DU RAYONNEMENT 64

est lenergie coulombienne dinteraction entre les particules. Le lagrangien secrit maintenant,
en negligeant lenergie propre des particules,
N
   4 2  2 5
ma 2
 d3 x + 1 2 
L= x a UCoul + J A 
A c A d3 x. (4.43)
2 20 c2
a=1

4.5 Conditions aux limites p


eriodiques

Nous allons supposer que le syst`eme se trouve dans une bote cubique B de cote  (|xi | )
2
et que les champs et leurs derivees verient des conditions aux limites periodiques

f (x1 ,x2 ,x3 ,t) = f (x1 + ,x2 ,x3 ,t) = f (x1 ,x2 + ,x3 ,t) = f (x1 ,x2 ,x3 + ,t). (4.44)

On peut developper les champs en series de Fourier 6


 
f (r,t) = fn (t)eikn r , g(r,t) = gn (t)eikn r (4.45)
nD nD

u D est lensemble des valeurs n = (nx ,ny ,nz ) avec nx , ny , nz = 0, 1, 2, . . . et kn =


o`
2
(nx ,ny ,nz ). Voici quelques relations utiles (les integrales sont prises sur la bote B).

Orthogonalite : 

ei(kn km ) r d3 x = 3 . mn (4.46)

Transformation inverse de (4.45) :



1
fn = 3 f (r,t)eikn r d3 x. (4.47)


Fonction (3) (r r  ) (r,r  dans B) : en portant f (r,t) = (3) (r r  ) dans lequation (4.47)
1 
on trouve fn = 3 eikn r et (4.45) donne alors

 1 
(3) (r r  ) = 3
eikn ( r r ) . (4.48)
n


Identite de Parseval 7 :
  

|f (r,t)|2 d3 x =
fm fn ei(kn km ) r d3 x = 3 |fn |2 . (4.49)
mn n

Identite de Plancherel 8 :
 
f (r,t)g(r,t)d3 x = 3 fn gn . (4.50)
n

6. Jean-Baptiste Joseph Fourier (1768-1830)


7. Marc-Antoine Parseval des Chenes (1755-1836)
8. Michel Plancherel (1885-1967)

4. THEORIE QUANTIQUE DU RAYONNEMENT 65

Fonction reelle :
f (r,t) reel equivaut `a fn = fn n D. (4.51)
On retrouve lespace entier en prenant la limite  . Les sommes sur n deviennent des
integrales sur k.
 3   2 3   3
 3 2
fn (t) f(k,t), d k, nn (3) (k k  ).
2 n
 
(4.52)

4.6 Potentiel vecteur : composantes An

Le potentiel vecteur 
 r ,t) =
A(  n (t)ei kn r
A (4.53)
nD

verie la condition de Coulomb



 A
=  n ei kn r = 0.
ikn A (4.54)
nD

La composante A  n = A
 n est donc perpendiculaire `a kn . On a aussi la relation (4.51) A  n .

Pour eviter des singularites, nous supposerons de plus que An = 0 pour n = (0,0,0) (cette
restriction disparat dans la limite  lorsque les kn peuvent devenir inniment petits). Soit
D  une moitie de D = D {(0,0,0)}, cest-`a-dire un sous-ensemble de D tel que pour tout
n D alors exactement une seule des valeurs n ou n se trouve dans D . Pour tout n D ,
introduisons (cf. gure 4.1) une base transverse formee de deux vecteurs complexes n ( = 1,
2 ; les composantes sur Ox1 x2 x3 du vecteur n sont notees in ) :

kn

kn = , n n = et n kn = 0 pour , = 1, 2. (4.55)
kn

 kni knj
i j
n n
ij
=  2 . (4.56)
kn

Fig. 4.1 Base transverse. kn


La direction transverse de n1 est arbitraire et independante des autres
n (n D , n
= n).


n2
n1

 n = 9 Ann et A
Ecrivant A  n = 9 Ann
 n = A pour n D  , il vient

 

i
 r ,t) =
A( Ann eikn r + An n e kn r (4.57)
n

4. THEORIE QUANTIQUE DU RAYONNEMENT 66
9
u la somme porte sur = 1, 2 et n D (ce qui est indique par  ). Les variables com-
o`
plexes An (t) (n D , = 1, 2) sont independantes les unes des autres. Denissons (provi-
soirement) les vecteurs transverses de kn (n D ) par n = n
et posons A
n = An .
Lequation (4.57) devient

 r ,t) =
A( An n eikn r (4.58)
n
et le champ electrique transverse secrit
 
 
 = i
 = A
E A n n eikn r + A nn e kn r = A nn eikn r (4.59)
n n

Portons ces expression dans les integrales


  2  2
     2   2
 d3 x = 3    
A  A n n  = 3 A n  = 23 A n  (4.60)
n

 n n

et
   2
2   
  
c 2
 A  d x= c3 3 2
 A i
n n

k 
3 2
n  =  c kn2 |An |2 = 23 n2 |An |2
 
n n n
(4.61)
u n = kn c. Le lagrangien (4.43) secrit maintenant en fonction des variables discr`etes inde-
o`
pendantes xa , x a , An , A n (a = 1,. . . , N , n D , = 1 ou 2)
N
 
ma 2
L = x a UCoul (x1 , . . . ,
xN ) + qax a A(
 xa ,t) + Lchamp (4.62)
2 a
a=1
 

i
 xa ,t) =
A( An n eikn xa + An n e kn xa (4.63)
n
 
3   2 2 2
Lchamp = An  n |An | . (4.64)
0 c2 n

Remplacons les variables complexes An par les variables reelles Xn1 et Xn2
)
0 c2
An = (Xn1 + iXn2 ) . (4.65)
23
On a (somme sur s = 1, 2)
 1  
2
Lchamp = X ns n2 Xns
2
. (4.66)
ns
2

Ecrit avec les variables Xns , le champ libre apparat comme un ensemble doscillateurs harmo-
niques independants qui evoluent suivant
ns + n2 Xns = 0.
X (4.67)

Le potentiel vecteur A  et le champ electrique transverse E  = A  secrivent, dapr`es les


equations (4.57), (4.59) et (4.65),
 
 r ,t) =
A( Xns fns (r),  (r,t) =
E X ns fns (r) (4.68)
ns ns

4. THEORIE QUANTIQUE DU RAYONNEMENT 67

u les fonctions fns (r) forment une base reelle des champs de vecteurs transverses. Elles sont
o`
normalisees par 
fns (r) fn  s (r)d3 x = 0 c2 nn  ss (4.69)

et donnees explicitement par


)
0 c2  

fn1 (r) = 3
n eikn r + n eikn r ,
) 2 (4.70)
0 c2  

fn2 (r) = i n eikn r n eikn r ,
23
n = n = n ), se simplie en
qui, si n est reel (
) )
20 c2 20 c2
fn1 (r) = n cos kn r, fn1 (r) = n sin kn r. (4.71)
3 3

4.7 Hamiltonien

Le moment canonique conjugue de Xns est


L
ns = = X ns (4.72)
X ns
et celui de xia est
L
pia = = ma x ia + qa Ai (xa ,t) (on pose pa = (p1a , p2a , p3a )). (4.73)
x ia
Lhamiltonien est
 
H = pa x a +
 ns X ns L
a ns
 ma  1  
= x 2a + UCoul (x1 , . . . ,
xN ) + 2
X ns + n2 Xns
2
(4.74)
a
2 ns
2

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


 1  2  1  
H=  xa ,t) + UCoul (x1 , . . . ,
pa qa A( xN ) + 2ns + n2 Xns
2
. (4.75)
a
2m a ns
2

4.8 Quantification canonique

Nous adoptons le point de vue de Schrodinger. Les variables conjuguees (reelles) sont trans-
formees en operateurs hermitiques independants du temps qui commutent entre-eux sauf
' i i(
xa ,pa = [Xns ,ns ] = i (non somme sur les indices repetes). (4.76)

Il est plus commode dutiliser les operateurs creation et destruction associes `a chaque oscillateur
harmonique :
n Xns + ins n Xns ins
ans = et ans = (4.77)
2n 2n

4. THEORIE QUANTIQUE DU RAYONNEMENT 68

conjugues hermitiques lun de lautre. Ces operateurs verient les relations de commutation
7 8 7 8
ans ,an  s = nn  ss , [ans ,an  s ] = ans ,an  s = 0. (4.78)

Inversement
) )
   n  
Xns = ans + ans , ns = i ans ans (4.79)
2n 2
et lhamiltonien du champ libre secrit
  
1
Hchamp = n ans ans + . (4.80)
ns
2

Le potentiel vecteur (4.68) devient loperateur (independant du temps)


)
   
 r) =
A( ans fns + ans fns . (4.81)
ns
2n

La variable X ns est remplacee par loperateur ns et le champ electrique transverse devient


loperateur )
 n  
 (r) =
E ians fns ians fns . (4.82)
ns
2

4.9 Modes normaux

Pour faciliter linterpretation physique nous allons eectuer un changement de la base (4.70)
en revenant `a des fonctions exponentielles, comme dans (4.58). Ainsi, posant pour n D
)
1   0 c2
fn (r) = fn1 ifn2 = 3
n eikn r ,
2 )  (4.83)
1   0 c2 i kn
r
fn (r) = fn1 + ifn2
   = n e ,
2 3
le changement de base secrit matriciellement
  1    1 1   
fn fn = 
fn1 fn2 = fn1 fn2 U (4.84)
2 i i
o`
u U est la matrice unitaire  
1 1 i
U= . (4.85)
2 1 i
Posons pour n D
an1 + ian2 an1 ian2
an = et an = . (4.86)
2 2
Cest la transformation (4.23) doperateurs creation-destruction etudiee section 4.1.5 correspon-
dant `a la matrice unitaire U (4.85). Les operateurs destruction (4.86) an (n D ) et leurs
conjugues hermitique an verient donc les relations de commutation
7 8 7 8
an ,an  = nn  , [an ,an  ] = an ,an  = 0. (4.87)

4. THEORIE QUANTIQUE DU RAYONNEMENT 69
9
Dapr`es (4.26), s ans ans = an an + an an et lhamiltonien du champ libre (4.80) secrit
  
1
Hchamp = n an an + . (4.88)
n
2
On a   a    
an1

n
fn fn   U U
= fn1 fn2  (4.89)
an an2
=1
soit 9
a fns = an fn + an fn ,
9s ns
   (4.90)
s ans fns = an fn + an fn .

Les expressions (4.81) et (4.82) deviennent


)
   

A= an fn + an fn

, (4.91)
n
2n
)
 n  
 =
E ian fn ian fn

, (4.92)
n
2
soit 6
 r) =
 0 c2  7 i
kn
r i kn
r
8
A( an n e + ann e (4.93)
n
23 n

et )
 (r) = i
 0 c2 n 7 i
kn
r i
kn
r
8
E an 
n e a 

n n e . (4.94)
n
23

Il est possible de changer la base transverse correspondant `a un n donne par une nouvelle
transformation unitaire V de la base et des operateurs (sommation sur les indices repetes)

n = V n , an = V an . (4.95)

On a alors an = an n


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

4.10 Op
erateurs du point de vue de Heisenberg (champ libre)

En representation de Heisenberg, pour le champ libre, les operateurs creation-destruction


ont la forme (equation (4.19) o` u on prend t0 = 0) an (t) = an ein t et an (t) = an ein t .
Loperateur du champ A  H (r, t) dans la representation de Heisenberg secrit
7 8
A H (r, t) = N  (r,t) + a
an  + r ,t)
n n n ( (4.96)
n

4. THEORIE QUANTIQUE DU RAYONNEMENT 70

u N = 0 c et
o` )
' + ( c
 (r,t) =
 (r,t) = n eikn rin t . (4.97)
n n
23 n
 forment une base dondes planes du champ classique et sont normalisees par
Les fonctions n
   
 = mn ,
 ,  = 0
 ,
(4.98)
n m n m

pour le produit scalaire


    
  2
f 
f
3 1
f1 , f2 = i d x f1 f2 . (4.99)
B ct ct

 H (r, t) sobtient (champ libre) par


Loperateur E

  7 8
 H (r, t) = AH = i N
E  (r,t) a
n an  + r ,t) .
n n n ( (4.100)
t n

Noter que lintroduction du facteur N dans (4.96) correspond `a la forme de  lenergie
cinetique  du champ dans lagrangien (4.43)
  2    2
1  c 1 A
T = A d3 x = d3 x. (4.101)
20 c2 2 N ct

4.11 R
ecapitulatif des op
erateurs

Nous avons deni les operateurs xa (a = 1, . . . , N , de composantes xia ), pa (de composantes
9 9
an = ann (n D ) et son conjugue hermitique an = an n
pia ), qui v
erient les
relations de commutation
7 8 7 8
an ,an  = nn  , [an ,an  ] = an ,an  = 0,
7 8 7 8 7 8
xia ,pjb = iab ij , xia ,xjb = pia ,pjb = 0, (4.102)
' i ( 7 8 ' ( 7 8

xa ,an = xia ,an = pia ,an = pia ,an = 0.

Lhamiltonien du syst`eme champ + particules peut se decomposer en trois parties

H = Hpart + Hint + Hchamp


 1
Hpart = pa2 + UCoul (x1 , . . . ,
xN )
a
2m a
 4 qa q 2 5
 xa ) pa + a 2
 (xa )
Hint = A( A
a
ma 2ma
  
1
Hchamp = n an an + . (4.103)
n
2

 xa ) = A(
pa A(
On a utilise   xa ) pa en jauge de Coulomb. La partie Hpart ne depend que des
operateurs des particules xa et pa . La partie Hchamp ne depend que des operateurs du champ an

4. THEORIE QUANTIQUE DU RAYONNEMENT 71

et an . La partie Hint depend `a la fois des operateurs des particules et du champ. Les operateurs
du champ sont
6
 0 c2  7 8 
i
kn
r i
kn
r
=
A 3

a n e + 
a n e , = n eikn r (4.104)
n
2 n n

(, donne par lequation (4.36), et ses composantes de Fourier n ne dependent pas des an ),
)
 0 c2 n 7 8 
i
kn
r i
kn
r
E = i
3

a n e 
a n e ,  = i
E nkn eikn r , (4.105)
n
2 n

et 6
 =
 A
=i
 0 c2  7 i
kn
r  i
kn
r
8
B k n 
a n e k n 
a n e . (4.106)
n
23 n

4.12 Espace des


etats

Champ libre

Lhamiltonien du champ libre


  
1
Hchamp = n an an + (4.107)
n
2

est la somme dhamiltoniens doscillateurs harmoniques independants. Lespace Echamp des etats
du champ libre est le produit tensoriel des espaces des divers oscillateurs. Une base des etats
est constituee des etats de Fock 9
 mn  mn
an1 1 an2 2
1 1 2 2

|mn1 1 ,mn2 2 , . . . = |0 . (4.108)


mn1 1 ! mn2 2 !

A letat fondamental |0 , deni par an |0 = 0 pour tout n et , est associee une energie
 n
absolue E0 = 0| Hchamp |0 = innie. Letat (4.108) est vecteur propre de loperateur
n
2
Nn = an an avec la valeur propre mn et de lhamiltonien du champ libre Hchamp avec

lenergie E0 + n mn .
n
On interpr`ete ces proprietes en introduisant les photons du mode n. Chacun est dote
de lenergie n , de la polarisation n et, comme on le verra section 4.13, de la quantite de
mouvement kn . Loperateur Nn est lobservable nombre de photons du mode n. Letat (4.108)
decrit un etat de mn1 1 photons dumode n1 1 , de mn2 2 photons du mode n2 2 , . . . . Son energie
par rapport au vide est la somme n mn des energies de tous ces photons. Loperateur an
n
cree un photon denergie n , de quantite de mouvement kn et de polarisation n ; loperateur
an detruit un tel photon.
9. Vladimir Alexandrovich Fock (1898-1974)

4. THEORIE QUANTIQUE DU RAYONNEMENT 72

Champ + particules

Lespace des etats des particules, sur lequel agissent les operateurs xa et pa (a = 1, N ),
peut etre identie, pour des particules sans spin, `a lespace Epart des fonctions complexes
(x1 , . . . ,
xN ) de module au carre sommable. Lespace des etats du syst`eme champ + parti-
cules est le produit tensoriel Epart Echamp . Si |a (a = 1, 2, . . . ) designe une base de Epart ,
formee de vecteurs propres de Hpart , une base des etats du syst`eme est constituee des etats

|a,mn1 1 ,mn2 2 , . . . = |a |mn1 1 ,mn2 2 , . . . (4.109)

qui sont les vecteurs propres de Hpart + Hchamp .


Remarque : dans le traitement relativiste, le nombre de particules (electrons-positrons, etc.)
est variable. On peut utiliser une base des etats particulaires qui specie les nombres doccu-
pation des particules dans chaque etat normal possible. Pour des particules de spin demi-entier
( 12 , 32 , . . . ), qui sont des fermions 10 , les nombres doccupation sont 0 ou 1 (les champs corres-
pondants sont quanties `a laide danticommutateurs). Pour des particules de spin entier, qui
sont des bosons, les nombres doccupation mn peuvent prendre toutes les valeurs enti`eres (les
champs correspondants sont quanties `a laide de commutateurs).

Fonction donde dun


etat `
a un seul photon

Un etat |(t) `a un seul photon se developpe sur les etats `a un photon de la base (4.108) :

|(t) = 1 (kn , , t)an |0 . (4.110)
n

Il est ainsi decrit par une fonction donde 1 (k,). La fonction donde 1 (k,) = (k kn )
correspond `a letat an |0 , cest `a dire `a un photon de quantite de mouvement kn et de
polarisation n . Cela sugg`ere dintroduire une fonction donde vectorielle denie dans lespace
reciproque (fonction de limpulsion p) en posant (  p, t) = 9 1 (kn , , t)n pour p = kn .

Voici quelques proprietes de cette fonction donde.
Elle verie la contrainte
 p, t) = 0.
p ( (4.111)
 2
 
La probabilite de mesurer la quantite de mouvement p est (
p, t) .
Le caract`ere vectoriel correspond au spin s = 1 du photon (une particule de spin s = 1/2
est decrite par un spineur `a 2 composantes et plus generalement une particule de spin s
par 2s + 1 composantes). Ce point sera detaille dans la section 4.14
La fonction donde est denie dans lespace reciproque. Une particule massive de spin
s = 1 peut etre decrite par une fonction donde vectorielle dans lespace des positions ou
des impulsions. Ainsi une telle particule localisee en r0 est decrite par la fonction donde
 r ) = A
(  (3) (r r0 ) ou (  p) = A  ei p r0 / , o`  est un vecteur constant. La fonction
u A
donde ( p) = A e  i p
r 0 / ne satisfait pas `a la contrainte (4.111) et ne peut etre utilisee
pour former un etat `a un photon localise en r0 . Il serait souhaitable, par exemple pour
decrire une experience dinterferences `a un photon, de pouvoir denir letat `a un photon
localise en r0 et la fonction donde dans lespace des positions. Mais cest impossible dapr`es
10. Enrico Fermi (1901-1954)

4. THEORIE QUANTIQUE DU RAYONNEMENT 73

Newton et Wigner 11 qui ont montre quil nexiste pas detats localises dune particule de
masse nulle.
 p, t) convient pour decrire un photon libre, ce nest plus le cas en
Si la fonction donde (
presence dinteractions avec la mati`ere car alors le nombre de photons nest plus constant
(phenom`enes demission et absorption de photons).

Evolution du syst`
eme

Dans le point de vue de Schrodinger, levolution du syst`eme est donnee par lequation
d
i |(t) = H |(t) = (Hpart + Hchamp + Hint) |(t) . (4.112)
dt
En partant des etats (4.109), vecteurs propres de Hpart + Hchamp , et en traitant Hint comme une
perturbation on peut en obtenir des solutions approchees par la methode des perturbations.

4.13 Quantit
e de mouvement du champ

La quantite de mouvement classique du champ est



1

P = d3 x E
 B.
 (4.113)
0 c2
La transformation dun produit 1 2 de deux grandeurs classiques en operateur pose un pro-
bl`eme lorsque les operateurs quantiques correspondants 1 et 2 ne commutent pas. Une facon
de proceder, pour des champs quantiques donnes en fonctions doperateurs creation-destruction,
est de former le produit normal : 1 2 : qui consiste `a recrire chaque produit doperateurs
creation-destruction en deplacant les operateurs destruction `a droite des operateurs creation
(sans tenir compte des commutateurs non nuls). Ainsi : aa : = a a, : a1 a2 : = a1 a2 . Loperateur
ainsi obtenu a une valeur moyenne nulle pour letat du vide. Avant dappliquer cette methode
`a P , ecrivons dabord sa composante P i en fonction de E et A.

 
1 1  
Pi = 2
e

ijk klm
e
  d3
x E j l m
A = 2
d3 x E j i Aj E j j Ai . (4.114)
0 c 0 c
il jm im jl

Pour = 0 (champ libre) j E j = 0 et le deuxi`eme terme est nul :


 
1 3 j j i 1  
2
d xE A = 2
d3 x j E j Ai = 0. (4.115)
0 c 0 c
Nous denissons loperateur P i par

1 i
P = d3 x : E j i Aj : (4.116)
0 c2
o`
u nous substituons les operateurs
)
 0 c2 n
i
 =
E  ne
E kn
r
, avec n = i
E (an an ) (4.117)
n
23

11. T. D. Newton and E. P. Wigner 12 , Rev. Mod. Phys. 21, 400 (1949)
12. Eugene Paul Wigner (1902-1995)

4. THEORIE QUANTIQUE DU RAYONNEMENT 74

et 6
 0 c2 
=
A  m ei km r ,
A avec  m =
A (am + am ). (4.118)
m
23 m
Il vient

1  i(
kn j 3 
i
P = d3
x e km )
r
: En
j
(ikm
i
)Am : = : Enj (ikni )Ajn : (4.119)
0 c2 mn 0 c2 n

i3     kn
 kn
P = k n : E n  n : =
A : (a n 
a n ) (
a n + 
a n ) : =
0 c2 n n
2 n
2
     
an an + an an an an an an = kn an an = kn an an (4.120)
  
n n
forme
normale

(on utilise kn = kn dans la derni`ere ligne).

9 L etat (4.108) est vecteur propre de la quantite de mouvement P avec la valeur propre

n kn mn , ce qui sinterpr` ete simplement en attribuant `a chaque photon du mode n la

quantite de mouvement kn .
Remarque : Pour
= 0 la contribution de E =  `a (4.116) est nulle :
 
    
d3 x j i Aj = d3 x j i Aj = 0 (4.121)

en vertu de j Aj =
 A = 0. Lexpression (4.115) nest plus nulle et vaut
  N
1 3
 j j i 3 i
d x E A = d x A = qa Ai (xa ,t). (4.122)
0 c2
a=1

Rajoutant la quantite de mouvement ma x ia des particules, on obtient (cf. equation (4.73)) que
loperateur quantite de mouvement du syst`eme champ + particules est
N
   
Psyst = pa + kn an an . (4.123)
a=1 n

4.14 Spin

Particule de spin 1

On explique dabord pourquoi une fonction donde vectorielle decrit une particule de spin
1. Examinons laction dune rotation dangle autour de Oz dune fonction donde vectorielle
localisee `a lorigine (  (3) (r) o`
 r ) = A  = Aiei a les composantes Ai sur
u le vecteur constant A
13
la base cartesienne ei . Dans la rotation de matrice R = (Rij ), la fonction donde devient
  (r) = A
  (3) (r) avec

cos sin 0 0 i 0
Ai = Rij Aj , R = sin cos 0 = eiSz o`
u Sz = i 0 0 . (4.124)
0 0 1 0 0 0
13. Rene du Perron Descartes (1596-1650)

4. THEORIE QUANTIQUE DU RAYONNEMENT 75

Les rotations autour des autres axes de coordonnee permettent de denir de meme loperateur Si
 = (Sx ,Sy ,Sz ) verient les relations de commutation
de matrice (Si )jk = ieijk . Les operateurs S
' (
des composantes dun moment cinetique S  ( Si , Sj = ieijk Sk ) et le calcul du carre donne

2 0 0
 2 = 0 2 0 = s(s + 1),
S avec s = 1. (4.125)
0 0 2

La fonction donde correspond bien `a une particule de spin s = 1. La base standard |m , m = 1,


0, 1 des vecteurs propres de Sz (Sz |m = m |m ) est
1
|1 = (ex iey ), |0 = ez . (4.126)
2
La particule envisagee etait localisee `a lorigine (elle est massive). Pour une particule non lo-
calisee, laction de la rotation dangle autour de laxe i est donnee par loperateur eiJi o`
u
J = L  + S est le moment cinetique total, somme du moment cinetique orbital L  et du spin.

Cas du photon

Examinons un photon de quantite de mouvement kn , parall`ele `a Oz, decrit par la fonction
 p, t) = A(
donde vectorielle (  p kn ). Une rotation dangle autour de Oz laisse (p kn )
inchange et transforme A  selon (4.124). On attribue ainsi un spin 1 au photon, comme pour
la particule massive. Toutefois, A  doit etre perpendiculaire `a Oz pour le photon envisage et se
developpe seulement sur les etats m = 1 de la base standard (4.126). Ces etats correspondent
`a la base detats de polarisation circulaire
1
n = (ex iey ) (4.127)
2
qui est une transformation unitaire du type (4.95) de la base transverse (ex , ey ).
Les etats de spin dun photon (autrement dit de polarisation), pour kn donne, forment
un espace de dimension 2 au lieu de 3 pour une particule de spin 1 et de masse non nulle. Une
autre dierence avec les particules massives consiste en ce que S et L
 ne sont pas separement
des observables physiques, seule leur somme (le moment cinetique total) est une observable. En
eet, il nest pas possible de denir les trois composantes Si comme observables physiques par
suite de la non existence de photons au repos. Nous avons pu toutefois denir la composante
du spin le long de limpulsion du photon (Sz ci-dessus) qui est une observable physique appelee
helicite.
Ces particularites se retrouvent pour une particule de masse nulle et de spin s : lhelicite
prend seulement les valeurs propres s (pour une particule massive, les valeurs propres de
lhelicite sont les 2s + 1 valeurs s, s + 1, . . . , s 1, s).

4.15 Emission spontan


ee

On applique la theorie quantique du rayonnement pour expliquer lemission spontanee dun


atome. Prenons un atome hydrogenode forme dun noyau ponctuel de charge Ze, suppose au

4. THEORIE QUANTIQUE DU RAYONNEMENT 76

repos `a lorigine, et dun electron de masse m en re et negligeons les spins de ces particules.
Lhamiltonien du syst`eme champ + particules est

H = H0 + Hint
H0 = Hpart + Hchamp
e2
p Ze2
Hpart =
2m 40 re

Hchamp = n an an (energies par rapport au vide)
n
e  e2  2
Hint = A(re ) pe + A (re ). (4.128)
m 2m
Nous voulons calculer le taux de transition (probabilite de transition par unite de temps) pour
que latome dans un etat initial excite a passe dans letat b en emettant un photon.

4.15.1 Repr
esentation dinteraction

On veut calculer le taux de transition entre deux etats propres de H0 sous leet de la
perturbation Hint. On demontre dans cette section lexpression de ce taux au premier ordre des
perturbations (r`egle dor de Fermi). Il est commode dutiliser la representation dinteraction.
Dans la representation de Heisenberg (cf. section 4.1.1), les vecteurs detat |H sont xes et
les observables AH (t) evoluent au cours du temps. On a

|H = U 1 (t,t0 ) |S (t) (4.129)


1
AH (t) = U (t,t0 )AS U (t,t0 ) (4.130)

en fonction des vecteurs detat |S (t) et observables AS en representation de Schrodinger.


Loperateur devolution U (t,t0 ) verie
d
i U (t,t0 ) = (H0 + Hint) U (t,t0 ) et U (t0 ,t0 ) = 1. (4.131)
dt

Dans la representation dinteraction, les vecteurs detat |I (t) et les observables AI (t) sont

|I (t) = U01 (t,t0 ) |S (t) (4.132)


AI (t) = U01 (t,t0 )AS U0 (t,t0 ) (4.133)

u loperateur devolution U0 (t,t0 ) correspond `a lhamiltonien H0 :


o`
d
i U0 (t,t0 ) = H0 U0 (t,t0 ) et U0 (t0 ,t0 ) = 1. (4.134)
dt
Lobservable physique associee `a loperateur A sobtient par

S (t)| AS |S (t) = I (t)| AI (t) |I (t) . (4.135)


     
repres. Schrodinger repres. interaction

Si linteraction Hint est negligeable, la representation dinteraction concide avec le point de vue
de Heisenberg et |I (t) est independant du temps. Soit loperateur unitaire UI (t,t0 ) deni par

|I (t) = UI (t,t0 ) |H . (4.136)



4. THEORIE QUANTIQUE DU RAYONNEMENT 77

Dapr`es les equations (4.129) (4.132) et (4.136)

|S (t) = U (t,t0 ) |H = U0 (t,t0 )UI (t,t0 ) |H . (4.137)

Do`
u
U (t,t0 ) = U0 (t,t0 )UI (t,t0 ). (4.138)
Loperateur UI (t,t0 ) ne verifie pas une loi multiplicative comme U0 ou U :

U (t,t0 ) = U (t,t1 )U (t1 ,t0 ),


mais UI (t,t0 )
= UI (t,t1 )UI (t1 ,t0 ). (4.139)
U0 (t,t0 ) = U0 (t,t1 )U0 (t1 ,t0 ),

En derivant lequation (4.138) et dapr`es les equations (4.131) et (4.134)


dU dU0 dUI dUI
i = (H0 + Hint) U0 UI = i UI + U0 i = H0 U0 UI + U0 i . (4.140)
dt dt dt dt
Posons
HI,int(t) = U01 (t,t0 )HintU0 (t,t0 ). (4.141)
Loperateur UI (t,t0 ) verie
d
i UI (t,t0 ) = HI,int(t)UI (t,t0 ) et UI (t0 ,t0 ) = 1. (4.142)
dt
Cela equivaut `a lequation integrale
 t
i
UI (t,t0 ) = 1 HI,int(t )UI (t ,t0 )dt . (4.143)
 t0

Si linteraction HI,int(t) est susamment petite, on peut resoudre cette equation par iteration :
(0)
UI (t,t0 ) = 1 `a lordre 0 ;
 t
(1) i
UI (t,t0 ) =1 HI,int(t )dt (4.144)
 t0

jusqu`a lordre 1. En poursuivant les iterations on obtient la solution sous forme de serie per-
turbative :
     t1
i t i 2 t
UI (t,t0 ) = 1 dt1 HI,int(t1 ) + dt1 dt2 HI,int(t1 )HI,int(t2 ) + . (4.145)
 t0  t0 t0

Considerons des etats propres |i et |f de H0 independants du temps

H0 |i = Ei |i et H0 |f = Ef |f . (4.146)

Determinons lamplitude de transition i f de letat i `a linstant t0 = T /2 vers letat f `a


linstant T /2. Cest, en designant par |I (t) letat `a linstant t vers lequel evolue |i = |I (t0 ) ,

Sf i (T ) = f |I (T /2) = f |UI (T /2, T /2)| i . (4.147)


En se limitant au premier ordre des perturbations, lamplitude de transition est donnee par
:   ;
     T /2 
(1)  (1)  i  
Sf i (T ) = f UI (T /2, T /2) i = f HI,int(t )dt  i (4.148)
  T /2 

4. THEORIE QUANTIQUE DU RAYONNEMENT 78

pour des etats orthogonaux ( f | i = 0). Utilisant

U0 (t,t0 ) |i = eiEi (tt0 )/ |i , f | U01 (t,t0 ) = f | eiEf (tt0 )/ (4.149)

et Hint independant du temps, on a, posant E = Ef Ei ,



(1) i T /2 Ef Ei
(t +T /2) sin T 2
E
Sf i (T ) = f |Hint| i ei  dt = 2i f |Hint| i eiT E/2 (4.150)
 T /2 E

Le probabilite par unite de temps Wif (T ) pour observer la transition i f est


 2
 (1)  Tx 2
Sf i (T ) 4 sin
Wif (T ) = = | f |Hint| i |2 fT (Ef Ei ) o`
u fT (x) = 2

T T x

(4.151)
On sinteresse `a la limite Wif = lim Wif (T ). Montrons que
T

2
lim fT (x) = (x). (4.152)
T 
Quand T , fT (x) tend vers 0 sauf si x = 0. Le resultat (4.152) decoule alors de
   T /2  T /2
1 x 
dxfT (x) = dx 2 dt dt ei  (tt ) =
 T T /2 T /2
 T /2  T /2 
1  x  2
2
dt dt dxei  (tt ) = . (4.153)
 T T /2 T /2 
  
2(tt )

Le taux de transition Wif est donc (cest la r`egle dor de Fermi)

2
Wif = (Ef Ei ) | f |Hint| i |2 . (4.154)


4.15.2 Calcul du taux de transition

Le taux de transition de letat |i = |a,0 (atome dans letat a (re ), pas de photons)
vers letat |f = |b,1n (atome dans letat b (re ), un photon dans le mode n de frequence
n , vecteur donde kn et polarisation n ) est donne par lequation (4.154) avec Ei = Ea ,
Ef = Eb + n et
      
e    ie 
 
f |Hint| i = b,1n A(re ) pe  a,0 = d3 re 1n A( re ) 0 b (re )
 e a (re ),
m m
    (4.155)
 2   2
puisque 1n A (re ) 0 = 0 (A (re ) secrit en fonction de produits de deux operateurs creation-
destruction qui ne changent pas la parite du nombre de photons).
6 6
        2     0 c2  i kn re
   
 re ) 0 = 0 c  
ikn re
1n A(re ) 0 = 0 an A( 0 a n an  0 
n e =  e
23 n 23 n n
(4.156)

4. THEORIE QUANTIQUE DU RAYONNEMENT 79

Fig. 4.2 Diagrammes de Feynman 14 .


b kn n
Le calcul de la serie perturbative (4.145) se prete `a une representation
graphique. Lamplitude de transition calculee ici est representee par le
diagramme de Feynman ci-contre. On lit le diagramme de bas en haut
(axe du temps). a

Pour un atome hydrogenode a (re ) est localisee :

a0 40 2
re  , o`
u a0 = = 0,529 177 249 1010 m (4.157)
Z me2
est le rayon de Bohr 15 . Pour lenergie de transition on a lestimation

Z 2 e2
n  = 27,211 396 Z 2 eV (4.158)
40 a0
Ze2 Z
de sorte que |kn re |  = (Z fois la constante de structure ne) dans
40 c 137,035 989
lintegrale (4.155). Pour Z pas trop grand, on peut faire

eikn re 1 (4.159)

qui est lapproximation dipolaire electrique (cf. section 5.4.7). Cela donne
6 
e 0 c2 
f |Hint| i =  pba o`
u pba = i d3 re b (re )
 e a (re ). (4.160)
m 23 n n

Le taux dierentiel de transition Wif est donc

e2 0 c2
Wif = 2(Eb + n Ea ) | pba |2 (4.161)
m2 23 n n
et le taux de transition total a b sobtient en sommant sur les etats de photons
 e2 0 c
Wab = 2 3 k

(Eb + ckn Ea ) |n pba |2 . (4.162)
n
m n

  2 3 
On transforme la somme sur n en integrale (cf. equation (4.52) d3 k =

 n

k2 dkdk )

   
e2 0 c 2 e2 0
Wab = 2 2 kdkdk (Eb + ck
Ea ) |k pba | = 2 dk
|k pba |2
8 m
8 cm2
(4.163)
14. Richard Phillips Feynman (1918-1988)
15. Niels Henrik David Bohr (1885-1962)

4. THEORIE QUANTIQUE DU RAYONNEMENT 80

e2
u = (Ea Eb )/. Ecrivons Wab =
o` pi dij pj
ba , avec sommation sur les indices
40 c 2m2 c2 ba
repetes i, j, o`
u on a pose
    
ij j ki kj
d = dk i
k k = dk ij
2 (4.164)

k

dapr`es lequation (4.56). Le tenseur dij est invariant dans les rotations Ri j (on pose ki = Ri l kl ) :
     
i j lm i Ri l k l Rj m k m
j lm ijki kj
R lR md = dk R l R m = dk 2 =
k2 k
  
ki kj
dk ij 2 = dij . (4.165)
k

En matrice RdR = d ou Rd = dR pour toute rotation R ce qui implique que d est un multiple
de
 la matrice
 unite dij = Kij . On obtient K en faisant i = j dans (4.164) : dii = 3K =

kki i 8 ij
dk ii 2 = dk (3 1) = 8. On a donc dij = et le taux de transition total
k 3
a b par emission spontanee est

e2 4
Wab = pba |2 .
| (4.166)
40 c 3m2 c2

On peut donner une autre expression de ce taux en fonction de



rba = d3 re b (re )re a (re ). (4.167)

i
pe
De la relation [Hpart ,re ] = on tire
m
im im(Ea Eb )
pba =
 b |[Hpart ,re ]| a = rba = imrba . (4.168)
 
On en deduit une autre forme du taux de transition total a b par emission spontanee

e2 4 3
Wab = |rba |2 . (4.169)
40 c 3c2

5. THEORIE CLASSIQUE DU RAYONNEMENT 81

Th
eorie classique du rayonnement

5.1 Fonction de Green

5.1.1 R
esolution d
equation

Nous voulons resoudre lequation donde avec second membre

(x) = (r,t) = (x) (5.1)

o`u on pose x = (x0 ,x1 ,x2 ,x3 ) = (ct,r). La solution est la somme de la solution generale de
lequation homog`ene associee et dune solution particuli`ere. Nous cherchons ici une solution
particuli`ere. Supposons que nous ayons trouve une fonction de Green 1 , cest-`a-dire une solution
G(x) de lequation
G(x) = (4) (x). (5.2)
La convolution de G et , 
(x) = d4 x G(x x  )(x  ), (5.3)

est une solution de lequation (5.1) :


 
4   

x (
x ) =
x d x G(x 
x )(x ) = d4 x x G(
x x  )(x  )

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

La notation
x a ete utilisee pour souligner que loperateur agit sur x.

5.1.2 Fonction de Green

Nous cherchons une solution de



1
x) = (4) (
G( x) = d4 k ei x notation :  = (k ) = (k0 ,k),  x = k x (5.5)
(2)4
Posons 
1
G(x) = d4 k ei x G(
). (5.6)
(2)4
1. George Green (1793-1841)

5. THEORIE CLASSIQUE DU RAYONNEMENT 82

On a
     
1 4 ik x 1 4 ik x
G(
x) = d k e G(
) = d k (ik )(ik )e G()
(2)4 (2)4

1
= d4 k eik x (k k )G(
). (5.7)
(2)4
Do`
u
) = 1 =
G(
1
(5.8)
  k k02
 2

et  

eik x eik rik0 x
0
1 4 1
x) =
G( d k = d4 k . (5.9)
(2)4 k k (2)4 k 2 k2
0
Lexpression est ambigue car le denominateur sannule. Posons
 
1 ik0 x0 3 eik r
G(x) = dk0 e f (r,k0 ) o`
u f (r,k0 ) = d k . (5.10)
(2)4 k 2 k2
0

Calculons dabord f (r,k0 )


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

Fig. 5.1 Calcul de f (r,k0 ) pour k0 complexe. plan complexe k


Le contour (R) est forme de lintervalle [R,R] ferme par un demi-cercle Im k
dans le demi-plan Im k 0. Comme r > 0,
  k0
keikr dk keikr dk Re k
= lim (5.12)
2
k k0
2 R (R) k 2 k0 2 R
k0 O R

keikr keikr
vaut 2i fois le residu de 2 = au pole situe dans le demi-plan Im k > 0. Si
k 2 k0 (k k0 )(k + k0 )
Im k0 > 0, le pole dans le demi-plan superieur est en k = k0 et le residu vaut eik0 r /2. Si Im k0 < 0, le
pole dans le demi-plan superieur est en k = k0 et le residu vaut eik0 r /2. On a donc

2 2 ik0 r
e si Im k0 > 0
f (r,k0 ) = r (5.13)
2
2 eik0 r si Im k0 < 0.
r

La fonction f (r,k0 ) est bien denie pour k0 complexe, avec Im k0


= 0 (cf. gure 5.1).
Posons, pour k0 reel,
2 2 ik0 r
f (r,k0 ) = lim f (r,k0 + i) = e . (5.14)
0+ r
On en deduit deux fonctions de Green
 
1 ik0 x0 2 2 ik0 (x0 r) 2 2
G (x) = dk 0 e f (
r ,k0 ) = dk0 e = 2(x0 r),
(2)4 (2)4 r (2)4 r
(5.15)

5. THEORIE CLASSIQUE DU RAYONNEMENT 83

soit
1
G (x) = (r ct). (5.16)
4r
G+ (x) est la fonction de Green retard ee : la source est en x = 0 et G+ (x) est localisee sur
le cone de lumi`ere futur de la source (r = ct).
G (x) est la fonction de Green avanc
ee : G (x) est localisee sur le cone de lumi`ere passe
de la source (r = ct).
Dapr`es lequation (5.2), qui a la meme forme dans tous les referentiels, on sattend `a ce
que les fonctions de Green soient des invariants scalaires dans les transformations de Lorentz
orthochrones :
G (x) = G (x  ). (5.17)
On peut en eet ecrire lexpression presque explicitement covariante
1
G (x) = (x0 )(x x) (5.18)
2
u la fonction de Heaviside 2
o`

1 si u > 0
(u) = 0 si u < 0 (5.19)

arbitraire si u = 0

ne sert qu`a selectionner le cone de lumi`ere futur ou passe de lorigine. On montre lequivalence
des formes (5.18) et (5.16) en utilisant la relation
 (r ri )
(f (r)) = (5.20)
|f  (ri )|
i

u la somme porte sur les racines ri de lequation f (r) = 0.


o`
4 5
1 1 (r ct) (r + ct) 1
(x0 )(r 2 c2 t2 ) = (x0 ) + = (r ct). (5.21)
2 2 |2ct| |2ct| 4r

Remarquer que, comme pour la fonction (4) (x) (cf. equation (1.96)) ou encore comme pour
une fonction f ( x x), les fonctions de Green (5.16)) gardent la meme expression dans tous les
referentiels (en general, la forme dune fonction scalaire change avec le referentiel comme dans
lexemple apr`es lequation (1.93)).

5.2 Potentiels retard


es

Nous voulons determiner le quadripotentiel A en jauge de Lorenz correspondant au qua-


dricourant j . On cherche une solution de

A = 0 j (5.22)

veriant la condition de Lorenz


A = 0. (5.23)
2. Oliver Heaviside (1850-1925)

5. THEORIE CLASSIQUE DU RAYONNEMENT 84

Portons la fonction de Green retardee (5.16) dans (5.3) :




x) = 0 d4 x G+ (x x  )j (x  ).
Aret ( (5.24)

Cette solution verie automatiquement la condition de Lorenz :


 
x x  ) 
4  G+ ( x x  ) 
4  G+ (
Aret (
x) = 0 d x j (x ) = 0 d x j (x )
x x

j (x  )
= 0 d4 x G+ (x x  ) =0 (5.25)
x
en vertu de la conservation du courant. On a

1  

x) = 0 d4 x
Aret ( 
(r r   c(t t )) j (r  ,t ) (5.26)
4 |r r |
 
0 1  
= 3 
d x 
d(ct )(ct ct + r r  ) j (r  ,t ) (5.27)
4 |r r |

soit   
0 1 |r r  |
Aret (r,t) = 3 
d x 
j r ,t . (5.28)
4 |r r  | c
Cest le quadripotentiel retarde : le quadripotentiel au point r et `a linstant t secrit en fonction
du quadricourant au point r  `a linstant retarde t R/c (R = |r r  |), le retard etant le temps
que met la lumi`ere pour aller de r  `a r. La solution generale de (5.22) est

A (x) = Ain (x) + Aret (x) (5.29)

u Ain (
o` x) est une solution de lequation donde homog`ene et Aret (x) est donne par lequa-
tion (5.28). Si les sources sont localisees dans lespace-temps (j (r,t) = 0 pour t < t0 ), le
quadripotentiel retarde sannule pour t < t0 et

A (r,t) = Ain (r,t) pour t < t0 . (5.30)

Dans une experience on soumet un syst`eme (une antenne) initialement au repos `a un champ
electromagnetique excitateur. Le quadripotentiel est alors donne par (5.29). La partie Ain decrit
le champ electromagnetique excitateur dapr`es (5.30) et le quadripotentiel retarde decrit le
rayonnement emis par lantenne. Dans la suite, nous utiliserons uniquement le quadripotentiel
retarde.

5.2.1 Courant stationnaire

Pour un quadricourant independant du temps, lequation (5.28) donne



1 (r  )
(r) = d3 x (solution de lequation de Poisson), (5.31)
40 |r r  |
  r )
0 J(

A(r) = d3 x qui verie  A
 = 0. (5.32)
4 |r r  |

5. THEORIE CLASSIQUE DU RAYONNEMENT 85

5.3 Charge ponctuelle en mouvement

5.3.1 Potentiels de Li
enard-Wiechert

Nous voulons determiner les champs crees par une charge ponctuelle q en mouvement de
coordonnees 0 = ct et (t).

Le quadricourant est donne par (1.50) et le quadripotentiel par (5.26)
   
1  
A (r,t) = 0 d4 x

(   ) d (t )
r r   c(t t )) q(3) r  (t
4 |r r  | dt
 
    )
q0  d (t ) 1 r (t
= dt   t t +
 . (5.33)
4 dt r (t   ) c

Fig. 5.2 Temps retarde.


La gure (a) represente lespace-temps avec une
dimension spatiale supprimee. La ligne duni- x0 x1
vers de la charge ponctuelle (de masse
= 0) v 
coupe le cone de lumi`ere passe de M (point M R

R
dobservation r, t) en exactement un point M
(levenement retarde R). R
O O
La gure (b) represente M et R dans lespace x2 x3
tridimensionnel spatial. x1 (b)
(a) x2

Largument f (t ) = t t + |r (t


  )|/c de la fonction delta sannule pour une seule valeur
det , 
notee t et appelee temps retarde, qui correspond (cf. gure 5.2) `a lintersection R de la
ligne dunivers de la particule et du cone de lumi`ere passe de levenement M (temps t, position
r). Le temps retarde est determine par lequation
 
   )
r (t
t t + = 0. (5.34)
c
Pour eectuer lintegration sur t , on utilise lequation (5.20)) et on consid`ere r et t xes :
(t t )
(f (t )) = 
 df (t )  

 
 dt (t )

df (t )   )
d(t   )
r (t
= 1  

dt cdt  
r (t )
df (t ) 
(t ) = 1 n   . (5.35)
dt
On a pose

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

5. THEORIE CLASSIQUE DU RAYONNEMENT 86

On obtient les potentiels de Lienard 3 -Wiechert 4 :

0 d  q
A (r,t) = 
(t ) , (5.37)
4 dt (1 n   )R

1 q  r ,t) = 0 qv 
(r,t) = , A( . (5.38)
40   v 
R 4 R  v 
 
R R
c c
On peut ecrire une forme explicitement covariante de (5.37) en fonction de u (quadrivitesse au
  ) (quadrivecteur
point retarde R) et de y = x x = (c(t t ),R

RM). Dans un referentiel
comobile avec la particule au temps retarde, y u = c2 (t t ) = cR et (5.37) se reduit `a
A0 = 0 cq/4R , Ai = 0. On a alors lecriture

c0 q u
A (x ) = , (5.39)
4 y u

qui est explicitement covariante.

5.3.2  et B
Champs E 

 et B
Les champs E  peuvent sobtenir par


 =
B  A,
  A .
 =
E (5.40)
t
Le calcul est assez fastidieux parce que les equations (5.38) font intervenir le temps retarde qui
doit etre considere comme une fonction implicite t = t (r,t) donnee par lequation (5.34). On a
t (r,t)
besoin de t t = et de i t . Dierentiant R ct + ct = 0 on a
t
 
  dR
R    (dr v  dt )
R   v 
R   dr
R
  
cdt + cdt = cdt + cdt = 0, c 1 dt = cdt .
R R R c R

On utilise le calcul tensoriel tri-dimensionnel (metrique ij , Rj = Rj = xj j (t )).

1 Ri
t t = , i t =  . (5.41)
R   
    
R
1 cR 1
R R

 et B
Pour simplier, nous allons calculer E  dans un referentiel comobile avec la particule au
 = 0 mais en general lacceleration retardee a  = c 
= 0. On a besoin
temps retarde. On a 

de

  R j Ri
t t = 1, i t = i , t Rj = 0, i Rj = ij , t j = j , i j = ,
cR cR
3. Alfred Lienard (1869-1958)
4. Emil Wiechert (1861-1928)

5. THEORIE CLASSIQUE DU RAYONNEMENT 87

j Rj Ri R
t (j Rj ) = j Rj , i (j Rj ) = , t R = 0,
i R = ci t = i ,
cR R
     

t (R R    ) =   R
 , i (R R     ) = Ri 1 + R .
R c
  
q    R q i
i = i (R 
R    ) = qRi 1 + , t Ai =
0 qc
t i

= ,
40 R2 40 R3 c 4R 40 cR

0 qc 
0 qRj k
Bi = eijk j Ak = eijk j k = eijk .
4R 4R2
Do`  et B
u les champs E  dans un r erentiel comobile 5 (   = 0 ) :
ef
  4
 1 7   8  5
 = q
E
R
+ ( 
n ) 
n  
=
q n
+
1

n 
n   ,
(5.42)
40 R3 cR 40 R2 cR

 = 0 q n   = 1 n E.
B  (5.43)
4R c
Le champ est la somme du champ coulombien en R2 dune particule immobile

 = q n  =0
E , B (5.44)
40 R2
et, si lacceleration retardee a  nest pas nulle, du champ de rayonnement en R1
 
E = 0 q n n a  ,  = 1 n E.
B  (5.45)
4R  c

5.3.3 Formule de Larmor

x1
Fig. 5.3 Champ de rayonnement.
On denit le tri`edre local Mx1 x2 x3 au point M par : n suivant 
E
Mx3 ; lacceleration retardee a  est dans le plan Mx1 x3 et fait x3
a  n
langle avec n. Pour les champs de rayonnement, on a
R M
E
  Mx ,
E 1   Mx
B 2
et B= . (5.46) 
B
c R d
x2


Le tenseur energie-impulsion du champ Tchamp (3.57) secrit au point M dans un referentiel
1 2 3
comobile K de tri`edre spatial Mx x x (cf. gure 5.3) :

u 0 0 u  
0 0 0 0 1  q 2
2 0
Tchamp = + O o`
u u =  E =  a2 sin2 . (5.47)
0 0 0 0 R3
0 0
4R
u 0 0 u
5. On a dans un referentiel quelconque, avec 2 = 1  2 ,
 
q 
n 1  

E= + n [  
n ]

 ,  = 1 n E.
B 
  n)3 2 R2
40 (1 cR c

5. THEORIE CLASSIQUE DU RAYONNEMENT 88

On a utilise les champs de rayonnement (5.45) en negligeant, dans la limite R , le champ


coulombien (5.44) ainsi que les autres champs du syst`eme qui creent le mouvement de la parti-
cule. Soit WB lenergie et PB la quantite de mouvement de la boule de rayon R centree sur la
position retardee R de la particule correspondant `a levenement M. Remarquant que la position
retardee R reste la meme pour tous les points, pris au meme instant dans K, de la sph`ere de
rayon R centree en R, on a, dapr`es (3.68) et (3.69)
   2 2 2
dWB dP dP  n)R2 = cuR2 = q a sin , (5.48)
= d o`
u = (S
dt d d 40 c3 4
 
dPB q 2 a2 sin2
= d R2 un = d n = 0. (5.49)
dt 16 2 0 c4
Linterpretation de (5.48) est que la particule rayonne une puissance par unite dangle solide

dP q 2 a2 sin2
= . (5.50)
d 40 c3 4
Les champs au point M correspondent localement `a une onde se propageant suivant n et
polarisee dans le plan contenant M et lacceleration retardee a  . Une particule en mouvement
uniforme ne rayonne pas (a  = 0). En integrant (5.48) sur les angles solides, on obtient la
puissance rayonnee
  
dP 2 q 2 a2
P = d = (formule de Larmor 6 ). (5.51)
d 3 40 c3

Designons par m la masse, p la quadriimpulsion et  le temps propre de la particule au


dp
moment retarde. Dans le referentiel comobile = (0,ma  ). On peut donc ecrire la formule
d 
de Larmor sous la forme
2 q2 dp dp
P = (generalisation relativiste). (5.52)
3 40 m2 c3 d  d 
Nous allons etendre la validite de cette formule (qui na ete demontree que dans le referentiel
comobile K). Dans un referentiel quelconque K1 , nous denissons la puissance rayonnee par la
limite quand R
dWB
P  = lim

 (5.53)
R dt
o`u dWB est la variation denergie dans K1 de la boule B (la meme que plus haut : B est une
boule dans K) pendant lintervalle de temps retarde dt (mesure dans K1 ). Avec cette denition,
lenergie rayonnee totale mesuree dans K1 est donnee par

Wtot = P  dt (5.54)

qui est commode parce que Psecrit en fonction du temps retarde t . Dans le referentiel comobile
K, dt = d  et P = P  . Toujours dansle referentiel comobile K, les equations (5.48) et (5.49)
  
dpB dWB dPB P 
montrent que le quadrivecteur = , secrit ,0 , soit
d  cd  d  c

dpB P d 
= . (5.55)
d  c2 d 
6. Sir Joseph Larmor (1857-1942)

5. THEORIE CLASSIQUE DU RAYONNEMENT 89

Lexpression (5.55) doit etre covariante : cela implique que P est un scalaire. Dans le referentiel
dWB dp0 d  d 0 d 
K1 , en utilisant la composante temporelle de (5.55), on a  = c B  = P  = P.

dt d dt d cdt
La denition (5.53) donne P = P et la formule (5.52) est la puissance rayonnee dans un
referentiel quelconque. Dans un referentiel o`
u la particule est non relativiste on peut utiliser la
formule de Larmor (5.51), lacceleration retardee a  ayant la meme valeur que dans le referentiel
comobile.

5.4 Distribution de charges quelconque

5.4.1 D
ecomposition spectrale des potentiels

On fait une analyse de Fourier temporelle. On ecrit pour le quadricourant j = (c,J)




j (r,t) = d j (r)eit (5.56)

et, inversement, 
1
j (r) = dt j (r,t)eit . (5.57)
2

Comme j (r,t) est reel, on a j (r) = j



(r). Les autres champs sont decomposes de facon
analogue. Portons (5.56) dans le quadripotentiel retarde (5.28)
  
0 3  1  i(t| r r  |/c)
A (r,t) = d x d j (r )e = d A (r)eit (5.58)
4 |r r  |

o`
u  
0 ei| r r |/c 
A (r) = d x 3 
j (r ). (5.59)
4 |r r  |
En posant = ck on a :
 
1 eik| r r |
(r) = d3 x (r  ), (5.60)
40 |r r  |
 ik| r |
r
0 3  e
 (r) =
A d x J (r  ). (5.61)
4 |r r  |

5.4.2 D  et B
ecomposition spectrale de E 

On a
 
  A  (r)eit ,
E(r,t) = = d E (5.62)
t

 r ,t) =
B(  A=  (r)eit ,
d B (5.63)


5. THEORIE CLASSIQUE DU RAYONNEMENT 90

 fV
avec (on utilise  = (f
 ) V + f (
 V
 ))
 * +
1 e ik|
r r |
E  (r) + i A
 (r) =  (r) = i A
 (r) d3 x (r  )
r , (5.64)
40 |r r  |
 * +
e ik|
r r |
0 3 
B  A
 (r) =  (r) = d x r J (r  ). (5.65)
4 |r r  |

5.4.3 Zone de rayonnement

Fig. 5.4 Zone de rayonnement (ou zone radiative). M


Les sources sont localisees dans une region de dimensions a autour de 
R
n 
O. On observe les champs au point M `a la distance r de O (r = OM ).
On sinteresse au rayonnement de frequence = c/. On se place dans M r
n
des conditions telles que r 
O
R et Ra (zone de rayonnement). (5.66) a

 = r r  (cf. gure 5.4),


Les expressions (5.64) et (5.65) contiennent, avec R
4 ikR 5 4 5
 e eikR eikR 
r = ik 2 r R (5.67)
R  R  R 

On sinteresse au rayonnement de la source, lorsque le terme en R2 est petit devant le terme


en R1 . On suppose donc que kR  1 ou, de facon equivalente, R  . 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`ese sur les grandeurs respectives de et a. On a alors (on pose n  = R/R
 et
n = r/r)
4 ikR 5
r e eikR eikR 
ik r R = ik n [dapres R  ]
R R 4 R 5
(5.68)
eikR eikR
ikn = ik [dapres R  a]
R R

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

 r ik
et i. (5.69)
t

Ainsi, les equations (5.64) et (5.65) dans la zone de rayonnement


 (r) = ik (r) + i A
E  (r) et  (r) = ik A
B  (r) (5.70)

transcrivent les equations (1.10).



5. THEORIE CLASSIQUE DU RAYONNEMENT 91

La condition de Lorenz (1.12) se transcrit en

 (r) i (r) = 0.
ik A (5.71)
c2
 (r) :
Elle permet dexprimer (r) en fonction de A

(r) = cn A (r). (5.72)


7   8
 (r) = i A
On en deduit, dapr`es (5.70), que E  (r) n A
 (r) n soit

 (r) = ik A
B  (r) et  (r) = cB
E  (r) n. (5.73)

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

5.4.4  (r)
Composante A

On peut encore simplier lequation (5.61) en faisant lapproximation (on utilise R  a)


 
eik| r r | eik(r r n) eikr i k r 
= e . (5.74)
|r r  | r r

On obtient
ikr 
 (r) = 0 e
A

d3 x eik r J (r  ). (5.75)
4 r

Cas a 

On peut preciser, lorsque a  , la condition R  a de la facon suivante. Le developpement


limite  3 
  2  2
r r   = r r  n + r (r n) + O r (5.76)
2r r2
r 2 (r  n)2 ka2
montre que lon a neglige dans (5.74) un terme de phase de lordre de k ,
2r 8R
pour O au centre de la source. On consid`ere generalement que ce terme est negligeable devant le
terme de phase kr  n, qui varie de lordre de ka  2, sil reste inferieur `a 2/16. La condition
2 a2 2
R  a est ainsi precisee en  , soit
8R 16
2a2
R  Rf o`
u Rf = (5.77)

est la distance de Fraunhofer 7 .
7. Josef von Fraunhofer (1787-1826)

5. THEORIE CLASSIQUE DU RAYONNEMENT 92

5.4.5 Energie rayonn


ee

Considerons le cas dune oscillation limitee dans le temps qui donne lieu `a un spectre
continu de frequences. Le vecteur de Poynting est
 
1   cn   cn   (r) ei(+ )t .

S(r,t) = EB = (B B) = d d  B
 (r) B (5.78)
0 0 0

Lenergie totale rayonnee dans langle solide d est


   
2 cr 2 d   
dW = 
dt S(r,t) (n r d) = d 
d B (r) B (r) dt ei(+ )t
0
  
2(+  )
 
2cr 2 d  (r) B
 (r) = 2cr 2 d  (r)
 (r) B
= d B d B (5.79)
0 0

 r ,t) est reel (B (r) = B (r)). Posons


en utilisant que B(

2W 4c 2   2

= r B (r) (5.80)
0

(energie par angle solide et element spectral > 0). On a (noter quon int`egre sur les frequences
positives seulement)
   
dW 2W dW
= d et W = d (5.81)
d 0 d

pour lenergie totale rayonnee. En resume, on obtiendra lenergie totale rayonnee (5.81), sa
distribution angulaire (5.81) et ses elements spectraux (5.80), qui bien s ur ne dependent pas

de r, `a partir de la densite de courant J(r,t) par les etapes suivantes : calcul des composantes
 (r) par (5.75) et de B
J (r) par (5.57), A  (r) par (5.73).

5.4.6 Sources p
eriodiques de p
eriode T

Pour un syst`eme de sources periodiques, les decompositions spectrales sont des series de
Fourier. On ecrit par exemple (0 T = 2)


 r ,t) =
J( Jn (r)ein0 t , (5.82)
n=
 T
1  r ,t)ein0 t .
Jn (r) = dt J( (5.83)
T 0

Les relations lineaires (5.73) et (5.75) etablies pour les composantes spectrales restent valables
pour les composantes spectrales n en posant = n0 . Le vecteur de Poynting est



 r ,t) = cn (B
S(  = cn
 B)  m (r)ei(n+m)0 t .
 n (r) B
B (5.84)
0 0 n= m=

5. THEORIE CLASSIQUE DU RAYONNEMENT 93

On sinteresse souvent `a des moyennes temporelles. La moyenne temporelle du vecteur de Poyn-


ting est
 
1 T
cn    1 T
moy (r) =
S 
dt S(r,t) = 
Bn (r) Bm (r) dt ei(n+m)0 t
T 0 0 n= m= T 0

cn     m (r)n,m = cn

 n (r)
 n (r) B
= Bn (r) B B
0 n= m= 0 n=

2cn    2


=  n 
B (
r ) (5.85)
0
n=1

 n (r) pour n = 0 est nulle dapr`es (5.73) (k = 0 pour n = 0). La puissance
car la composante B
moyenne rayonnee par angle solide est

2c  2   2

dPmoy 2 
= r Smoy (r) n = r Bn (r) . (5.86)
d 0
n=1

5.4.7 Approximation dipolaire


electrique

Nous considerons une distribution de charges qui est de petite dimension comparee `a la
longueur donde (on sinteresse aux composantes spectrales des champs pour une pulsation
donnee). En plus des conditions (5.66) (zone de rayonnement) nous faisons donc lhypoth`ese

a . (5.87)

On peut interpreter cette condition lorsque les charges ont un mouvement periodique de periode
T . Leur vitesse est alors de lordre de
a a
v = c et donc v c, (5.88)
T
cest `a dire que le mouvement des charges est non relativiste.
On peut aussi ecrire la condition a sous la forme ka 1 . Dans lexpression (5.75),

on peut donc eectuer un developpement en serie de eik n r (|kn r  | < ka 1). On obtient

0 eikr  (ik)n

A (r) = d3 x (n r  )n J (r  ). (5.89)
4 r n!
n=0

0 (ka)n 3
Le n-i`eme terme est de lordre de Ja en notant par J lordre de grandeur du cou-
4r n!
rant. Il est clair que pour ka 1 les termes successifs du developpement (5.89) decroissent
rapidement.
Lapproximation dipolaire electrique consiste `a ne garde que le premier terme du develop-
pement (5.89) :

i r
k 0 eikr
e 1, 
A (r) = d3 x J (r  ). (5.90)
4 r

5. THEORIE CLASSIQUE DU RAYONNEMENT 94

Oscillation limit
ee dans le temps

Pour une oscillation limitee dans le temps portons dans cette expression le courant J dun
syst`eme de N particules (la particule a de charge qa est situee en a (t) et se deplace `a la vitesse
a (t) `a linstant t) :
V
N
  
 r ,t) =
J( a (t)(3) r a (t)
qa V
a=1

1
J (r) = dt J(r,t)eit
2
  N
  
0 eikr 1
 (r) =
A dt eit d3 x a (t)(3) r  a (t)
qa V
4 r 2 a=1
 N

0 eikr
1
= dt eit a (t).
qa V (5.91)
4 r 2 a=1

Il apparat la derivee du moment dipolaire electrique


N
 N
 
d = qa a (t), d = qa Va (t). (5.92)
a=1 a=1

On a 
ikr 1
 (r) = 0 e
A

dt eit d (5.93)
4 r 2
soit
ikr 7 8
 (r) = 0 e
A

d . (5.94)
4 r
7 8 7 8
 secrit en fonction de d = i d
Le champ B :

ikr 7 8
B  (r) = 0 e n d .
 (r) = ikn A (5.95)
4c r

Lenergie par angle solide et element spectral, equation (5.80), est

2W 0  7 8 2

= 
n d  (5.96)
4c
7 8

ou, en introduisant langle entre n et d ,

2W 7 8 2
1 2   
= sin  d  (5.97)
40 c3

Syst`
eme oscillant

Pour un syst`eme oscillant `a la seule pulsation 0 , on pose (en suivant la notation de (5.82))
7 8
d = d1 ei0 t + d1 ei0 t = 2Re d1 ei0 t . (5.98)

5. THEORIE CLASSIQUE DU RAYONNEMENT 95

Un calcul analogue aux equations (5.91) `a (5.94) conduit maintenant `a

ikr 7 8
 1 (r) = 0 e
A

d . (5.99)
4 r 1

et la puissance moyenne rayonnee par angle solide est donnee par lequation (5.86), la somme
se limitant au terme n = 1,

dPmoy 2c 2   2
 0  7 8 2

= r B1 (r) = 2 n d  , (5.100)
d 0 8 c 1

soit
7 8 2
dPmoy 1  
= 2 3 sin2  d  (5.101)
d 8 0 c 1
7 8 7 8

avec d = i0 d = 02 d1 . La distribution du rayonnement en fonction de la direction est
1 1
donnee par le facteur sin2 .
96

Index des noms propres

dAlembert. . . . . . . . . . . . . . . . . . . . . . . . . . . . .8 Hodge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Bohr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 Jackson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Bose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 Klein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Cohen-Tannoudji. . . . . . . . . . . . . . . . . . . . . . .5 Kronecker. . . . . . . . . . . . . . . . . . . . . . . . . . . . .13
Coulomb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
dAlembert. . . . . . . . . . . . . . . . . . . . . . . . . . . . .8 Landau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Descartes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Larmor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Dupont-Roc. . . . . . . . . . . . . . . . . . . . . . . . . . . .5 Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Einstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9 Lienard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
Euclide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 Lifchitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Fermi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 Lorenz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Feynman. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .79 Mach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
FitzGerald . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Maxwell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Fock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Miller . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Fraunhofer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Galilee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Newton, T. D. . . . . . . . . . . . . . . . . . . . . . . . . 73
Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 Plancherel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Poincare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Grynberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 Poynting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Heaviside . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Schrodinger . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Heisenberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 Schutz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Hermite. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .58 Wiechert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 Wigner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

S-ar putea să vă placă și