Documente Academic
Documente Profesional
Documente Cultură
M7 CHAMPS ET FLUIDES
M7 INTERACTION LUMIERE-MATIERE
ELECTROMAGNETISME
J.-J. LABARTHE
`
TABLE DES MATIERES 1
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
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
Bibliographie
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
E
=
(1.1)
0
0 0 E = 0 J
B (1.2)
t
B
= 0 (1.3)
E
+ B = 0. (1.4)
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
J + = 0.
(1.6)
t
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 :
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
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)
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
= 0 c2 (1.21)
= 0 J
A (jauge de Lorenz). (1.22)
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.
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
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 :
La vitesse de la lumi`ere est la meme pour tous les observateurs inertiels (cest un invariant
(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
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)
(K K ) = (K K ) (K K ) . (1.35)
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
1.5 Lintervalle
Lintervalle du deplacement AB = x0 , x1 , x2 , x3 = (ct, r) est
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 .
1.7 Quadricourant
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)
d
j (r,t) = q(3) r (t)
. (1.50)
dt
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
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.
a b = a0 b0 a1 b1 a2 b2 a3 b3 . (1.53)
g g = . (1.56)
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.
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
e | e = (1.58)
a = ae = e e | a et f = f e = f | e e (1.61)
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)
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 :
1.9.6 Alg`
ebre tensorielle
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.
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
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)
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)
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`
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.
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)
a b = g a b = a b = a b = g a b . (1.81)
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
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.
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
= (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)
x = . (1.87)
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.4 Repr
esentation g
eom
etrique dune 1-forme
1.13 Int
egrales quadridimensionnelles
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)
(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)
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.
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
A = 0 j . (1.101)
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)
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
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
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)
F = 0 j , (1.115)
F = 0. (1.116)
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
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.
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)
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
F = 0 j , F + F + F = 0. (1.131)
f = qF u . (1.132)
F = A A . (1.133)
A = 0. (1.134)
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 .
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 ].
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
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
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
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.
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
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
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
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
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
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
x,t) = k (x )
k ( (k = 1, . . . , N ). (2.44)
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 )
Lint = j A = + J A
(2.51)
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)
1 1 2
Lchamp = F F = E c22
B (2.58)
40 20 c2
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)
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
(x) d
= (x) + (x y)
(D)
= (D) (x y). (2.66)
(y) d =0
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
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)
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
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
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
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)
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 .
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
cta
x1
O
V
3.2 Tenseur
energie-impulsion
3.2.1 Interpr
etation physique des composantes
T = 0. (3.15)
T + , (3.16)
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
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)
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
c
j = . (3.33)
J
3.2.2 ecomposition T = Tpart
D + Tchamp
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
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),
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
dxa
Tpart = Ta = pa (t)(3) (r xa (t)) (t). (3.47)
a a
dt
3. TENSEUR ENERGIE-IMPULSION 54
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 )
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 ).
= 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
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
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
Th
eorie quantique du rayonnement
= 2 x.
x (4.1)
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
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
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
4.1.3 Interpr
etation en termes de particules
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)
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 ,
4.2 Lagrangien
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
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
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
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.
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)|
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
f (x1 ,x2 ,x3 ,t) = f (x1 + ,x2 ,x3 ,t) = f (x1 ,x2 + ,x3 ,t) = f (x1 ,x2 ,x3 + ,t). (4.44)
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
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)
Le potentiel vecteur
r ,t) =
A( n (t)ei
kn
r
A (4.53)
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
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
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)
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)
4.7 Hamiltonien
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
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 .
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)
4.10 Op
erateurs du point de vue de Heisenberg (champ libre)
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
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.
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
Champ libre
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
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
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
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
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
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).
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
Dans la representation dinteraction, les vecteurs detat |I (t) et les observables AI (t) sont
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
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 :
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
H0 |i = Ei |i et H0 |f = Ef |f . (4.146)
U0 (t,t0 ) |i = eiEi (tt0 )/ |i , f | U01 (t,t0 ) = f | eiEf (tt0 )/ (4.149)
(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 )
2
Wif = (Ef Ei ) |f |Hint| i|2 . (4.154)
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
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
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
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.1 R
esolution d
equation
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)
La notation
x a ete utilisee pour souligner que loperateur agit sur x.
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
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
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
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)).
A = 0 j (5.22)
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
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
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.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
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
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
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
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
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
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
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.1 D
ecomposition spectrale des potentiels
et, inversement,
1
j (r) = dt j (r,t)eit . (5.57)
2
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 |
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
(r) i (r) = 0.
ik A (5.71)
c2
(r) :
Elle permet dexprimer (r) en fonction de A
(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 obtient
ikr
(r) = 0 e
A
d3 x eik
r J (r ). (5.75)
4 r
Cas a
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
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
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
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
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
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
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
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