Dirac09 PDF

Chapitre 000
Equations de Klein-Gordon et de Dirac

(Notes de cours de 2007)
1. Rappels de Mecanique Quantique
Les phenomenes de la physique quantique exhibent deux aspects fondamentaux, en rupture

avec ceux de la physique classique :
le caractere discret de certaines quantites physiques (energie, moment cinetique, . . . )
lie a lexistence dune nouvelle grandeur fondamentale, ayant les dimensions dune
action
h = 1, 055 1034 kg.m2 /s
(Exemples : spectre denergie de quanta h, une frequence caracteristique du

systeme ; moment cinetique = h generateur infinitesimal des rotations spectre
= h entier ou demi-entier. . . )
le caractere probabiliste des observations, qui force a abandonner le determinisme de
la physique classique.
1.1. Postulats
Le formalisme de la Mecanique Quantique rend compte de ces phenomenes en se basant

sur les postulats suivants :
a) les etats (purs) dun systeme sont decrits par les rayons dun espace de Hilbert H,
cest-a-dire par les vecteurs de H a un facteur non nul pres (ou encore par les vecteurs
normes a une phase pres). Ces vecteurs sont notes , ou encore, selon la notation de
Dirac |i (ket) et leur conjugue, h| (bra), avec un produit scalaire h|i. Un
tel vecteur depend du temps : |(t)i. Ainsi, pour une particule sans degre de liberte
supplementaire (spin etc), dans lespace a trois dimensions, H = L2 (R3 ).
Par opposition a un etat pur, un melange est represente par une matrice densite. . .
b) Les quantites physiquement observables (ou simplement observables) sont des
operateurs auto-adjoints sur H, A = A .
En general, loperateur est non borne, (cf A = x dans H = L2 (R)), et defini seulement sur un
sous-ensemble D(A) dense dans H.
c) Dans une mesure de A, on nobserve que les valeurs Spec(A). On notera PI le
projecteur spectral sur lintervalle I = [1 , 2 ].
66 M2/CFP/Parcours de Physique Theorique.
d) La probabilite de mesurer I dans letat |i (cest-a-dire le pourcentage

doccurrence de la valeur parmi celles obtenues dans un grand nombre de mesures
repetees sur des systemes identiques, prepares dans le meme etat) est
h|PI |i
p(I) =
h|i
h|A|i
La valeur moyenne de A est donc hAi = h|i .
Apres mesure de la valeur a I pour A, il y a reduction du paquet donde 7 PI .
e) Parmi les observables, loperateur hamiltonien H joue un role privilegie : il regit
levolution dans le temps selon lequation de Schrodinger

ih |(t)i = H|(t)i .
t
1.2. Principe de correspondance
Ces postulats sont completes par le principe de correspondance qui suggere ce que
doit etre loperateur A du formalisme quantique, etant donne son analogue classique.
Ce principe fait aussi appel a lobservation que dans le passage mecanique classique
mecanique quantique, on passe du crochet de Poisson au commutateur
{f, g} [fop , gop ] = ih {f, g} .
En particulier on a le commutateur canonique entre les operateurs qop et pop de position

et dimpulsion, soit
[qop , pop ] = ih
(operateurs conjugues). Noter cependant que ce principe de correspondance nest pas sans
ambigute : il ne dit rien sur lordre des operateurs p et q a adopter pour passer dune
fonction f (p, q) a sa version quantique fop (pop , qo p). On omettra lindice op dans la suite
chaque fois que cela ne pretera pas a confusion.
Notons |qi letat propre de loperateur qop de valeur propre q
Z

qop |qi = q|qi , hq|q i = (q q ) dq|qihq| = Id .
A la description dun etat par un vecteur normalise (a une phase pres), on peut
preferer celle par sa fonction donde (q), obtenue par produit scalaire
(q) = hq|i .
30 Septembre 2007 J.-B. Z.

Chapitre 000. Equations de Klein-Gordon et de Dirac 67
Laction de pop sur se traduit en un operateur differentiel sur (q)
h
pop = i.e. hq|pop i = ih (q)
i q q
de telle sorte que [qop , pop ] = ih est bien verifiee. En particulier, pour les etats propres
notes |pi de pop
pop |pi = p|pi
on a les fonctions donde p (q) = hq|pi satisfaisant

hq|pop |pi = ih p (q) = pp (q)
q
dou
1 i
hq|pi = p (q) = exp p.q ,
2h h
(avec une normalisation conventionnelle).
Toutes les considerations precedentes setendent bien sur a des vecteurs positions et
impulsions a d dimensions euclidiennes ou minkowskiennes. Resumons donc le principe de
correspondance, en notant desormais les coordonnees de positions par x = (x1 , x2 , x3 ) ou
(x, y, z)

Energie E 7 ih
t

Impulsion pi 7 ih
xi
ou en notations minkovskiennes,
p 7 ih = (i 0 , i
) .
2. Equation de Klein-Gordon
Le principe de correspondance applique a lexpression de lenergie dune particule massive

p2
non relativiste, E = 2m +V (x) conduit a lequation de Schrodinger pour la fonction donde
notee maintenant (x, t)

ih (x, t) = + V (x) (x, t) , (2.1)
t 2m
(avec = 2 le laplacien).
J.-B. Z. 30 Septembre 2007

De la meme facon, il est suggere dappliquer le principe de correspondance a

lexpression de lenergie dune particule relativiste libre, E 2 = p2 c2 + m2 c4 , ce qui conduit
a lequation de Klein-Gordon
h2 2

2 2 2
h + m c (x, t) = 0 . (2.2)
c2 t2
1 2
On a deja rencontre au chapitre 0 le dAlembertien = c2 t2 : cest le laplacien

dans la geometrie minkovskienne =g . A partir de maintenant, nous adoptons
des unites telles que h = c = 1, si bien que nous ecrirons lequation de Klein-Gordon libre
sous la forme
+ m2 = 0 . (2.2)

Couplage minimal au champ electromagnetique

On peut ecrire aisement une equation de Klein-Gordon couplee au champ electromagnetique
si on admet le principe de couplage minimal, qui consiste a remplacer les derivees par
une derivee covariante (covariante vis a vis des transformations de jauge)
+ iqA (x) . (2.3)
On ecrira donc
( + iqA) ( + iqA) + m2 = 0

(2.4)
Exercice : cette equation decoule-t-elle dun lagrangien ? Si oui, lequel ? De quelle

transformation sur faut-il accompagner une transformation de jauge A A + (x) ?
Lequation (2.2), qui est bien invariante relativiste (et decoule dun principe daction
comme on a vu au chapitre precedent), constitue-t-elle une equation decente pour une
fonction donde ? Il y a plusieurs manifestations des difficultes rencontrees dans cette
interpretation :
1) Les niveaux denergie qui decoulent de (2.2), sont solutions de E 2 = p2 + m2 avec
p
les deux signes E = p2 + m2 . Lexistence de niveaux denergie negative non
bornee inferieurement, donc arbitrairement basse, est un probleme majeur, qui semble
indiquer une instabilite de la theorie.
2) Peut-on arbitrairement se restreindre aux racines positives, en ne gardant que H =
p
+ p2 + m2 ? Levolution dune particule libre decrite par cet hamiltonien semble
violer la causalite. Pour deux points separes x, y par un intervalle de genre espace,

donc en principe sans communication causale, on trouve que lelement de matrice de

loperateur devolution
Z
iHt 2 2
hx, t|e |y, 0i = d3 p eit p +m eip.(xy)
ne sannule pas pour |x y|2 > t2 , cf cours de C. Bachas. et [PS, p 14].

3) Si la theorie decrite par (2.2) admet bien un courant conserve dans levolution tem-
porelle, a savoir
i
j = ( ( ) ) (2.5)
2m
satisfaisant = 0, on constate que la densite (x) = j0 nest pas definie positive.
Elle ne saurait representer la densite de probabilite de presence de la particule decrite
par , quon attend dans une theorie sensee.
Toutes ces incoherences vont etre levees par lintroduction de la theorie quantique des
champs, une theorie decrivant un systeme a nombre arbitraire de particules, dans laquelle
lobjet est promu du role de fonction donde a celui doperateur capable de creer et
annihiler ces particules. Cest le changement de point de vue traditionnellement appele
seconde quantification.
Nous examinerons maintenant une autre equation donde relativiste, originelle-
ment proposee par Dirac pour pallier aux insuffisances de lequation de Klein-Gordon.
Lequation de Dirac conduit elle aussi a des incoherences, egalement levees par la theorie
quantique. Neanmoins son etude se revele tres profitable, sur le plan physique elle offre
une excellente description de phenomenes de basse energie, atome dhydrogene, etc et sur
le plan technique representations spinorielles, etc qui seront utiles dans le contexte de la
theorie quantique des champs.
3. Equation de Dirac
3.1. Les matrices de Dirac
Selon lidee de Dirac, essayons de trouver une racine carree a loperateur p2 +m2 = +m2
en utilisant une representation matricielle

1
i = + m =: H
. (3.1)
t i
ou la fonction donde a maintenant plusieurs composantes, supposees independantes,

et et sont des matrices hermitiennes, de telle facon que loperateur H defini par le

membre de droite soit lui meme hermitien. On demande aussi que (3.1) soit compatible
avec (2.2), chaque composante de satisfaisant cette equation.
1
Si les matrices satisfont les relations danticommutation
{i , j } = 0 si i 6= j
{i , } = 0 (3.2)
2i = 2 = I
on calcule 2
1
2 + m2 = + m2
+ m =
.
i
et lon retrouve bien lequation de Klein-Gordon en calculant (it )2 . Mettons lequation
de Dirac (3.1) sous forme covariante en introduisant le nouvel ensemble de matrices
0 = 0 =
(3.3)
i = i = i
qui satisfont donc
{ , } = 2g I . (3.4)
Dans la suite, la matrice identite I du membre de droite de (3.4) (dune dimension pas
encore fixee !) sera souvent consideree comme implicite et omise. Noter que puisque les
matrices i et sont hermitiennes et anticommutent, la matrice 0 est hermitienne mais
les i , i = 1, 2, 3 sont antihermitiennes. Il sera utile dutiliser aussi les matrices avec
indices covariants
= g = (0 , 1 , 2 , 3 ) = ( 0 , 1 , 2 , 3 ) . (3.5)
ainsi que la notation

/a := a . (3.6)
On verifie immediatement comme consequence de (3.4) la relation dusage constant
/ 2 = a2 = a a .
a (3.7)
On peut maintenant recrire lequation de Dirac sous la forme
(i/ m) (i m) = 0 , (3.8)
et on se refere a loperateur differentiel (i/ m) comme loperateur de Dirac. On verifie

que
(i/ m)(i/ + m) = (i/ + m)(i/ m) = ( + m2 ) .
1
Lanticommutateur { , } est quelquefois note [ , ]+ par certains auteurs.

3.2. Une representation explicite des matrices
Notons dabord qua deux ou trois dimensions despace-temps, avec la metrique minkowski-
enne (+, ) ou (+, , ), on connat une solution de (3.4) en termes des matrices de
Pauli2
0 1 0 i 1 0
1 = 2 = 3 = , (3.9)
1 0 i 0 0 1
qui satisfont les relations bien connues
i j = ij + iijk k donc {i , j } = 2ij .
Cela permet de choisir a deux ou trois dimensions,
= 1 1 = 2 et eventuellement 2 = 3 .
A quatre dimensions, cela suggere de construire les matrices cherchees comme blocs
de matrices de Pauli. On peut prendre par exemple

0 I 0 i 0 i
= =
0 I i 0
, (3.10)
I 0 i 0 i
= =
0 I i 0
ce qui constitue la representation de Dirac, mais il existe dautres choix utiles, comme
on le verra par la suite.
Noter que les matrices (3.10) satisfont aussi la propriete de conjugaison suivante
= 0 0 . (3.11)
3.3. Lalgebre de Clifford des matrices . La -gymnastique.
Lalgebre engendree par lidentite I et des generateurs satisfaisant (3.4) est ce quon
appelle une algebre de Clifford. Cherchons en une base lineaire. On introduit la notation
5 5 = i 0 1 2 3 . (3.12)

On verifie que 5 = i3 2 1 0 = = i 0 1 2 3 = 5 est hermitienne et que
{ 5 , } = 0 et ( 5 )2 = I . (3.13)
2
N.B. Pour les matrices de Pauli, on ne distinguera pas les positions superieure ou inferieure
de lindice : i i .

Introduisons encore une autre notation tres utile dans la suite :
i
= := [ , ] (3.14)
2
avec cette fois les commutateurs des matrices . Le facteur i rend les matrices ij hermi-
tiennes, et les 0i antihermitiennes. Noter que 5 commute avec les .
Verifier que dans la representation (3.10)

5 0 I 0j 0 j ij k 0
= =i = ijk . (3.15)
I 0 j 0 0 k
Avec ces notations, nous pouvons enoncer le resultat

Proposition Lalgebre (de Clifford) des matrices est engendree lineairement par les
42 = 16 matrices suivantes I, , , 5 , 5 .
Cela permet de demontrer le theoreme important suivant
Theoreme Toutes les solutions de (3.4) sont equivalentes, et toutes les solutions de (3.4)-
(3.11) [en dimension 4 ?] sont unitairement equivalentes. Autrement dit, pour toute paire
de matrices , satisfaisant (3.4), il existe une matrice inversible S telle que
S inversible = S S 1 ;
si en outre et satisfont (3.11)
U unitaire = U U . (3.16)
La demonstration est laissee en exercice.

Dans le reste de ce paragraphe, toutes les identites enoncees ne sont consequences
que de (3.4) et eventuellement de (3.11), et sont donc independantes de la representation
choisie pour ces matrices.
Exercices Montrer que chacune des seize matrices de la liste precedente a un carre egal a I et
que la trace de chacune (sauf I) sannule. Verifier leur independance lineaire et en deduire la proposition
precedente. Pour chacune des matrices de cette liste, comparer 0 0 et .
Que peut-on dire de la matrice i ?
Verifier la commutation de 5 et de .
Montrer la decomposition de 5 = 2i .
[En dimension paire quelconque d = 2n, une base lineaire de lalgebre de Clifford est donnee par les
produits antisymetrises 1, , [ ] , , [1 d ] . Quelle est la dimension de cette algebre ? Quelle
est la dimension minimale a donner aux matrices ?]

Des identites dusage tres courant dans les calculs sont les suivantes
/a/b = a.b i a b

= 4 = 2
(3.17)
= 4g = 2
= 0 = 2
etc, etc. Cest evidemment un bon exercice de les verifier.

Finalement, des traces des matrices de lalgebre interviennent aussi souvent a la fin
des calculs. Il est bon de savoir que
trI = 4 tr = 0 tr5 = 0 , (3.18)
de se rappeler que la trace dun nombre impair de matrices , ( = 0, 1, 2, 3), sannule

(pourquoi ?), par exemple
tr5 = 0 (3.19)
et de savoir calculer les autres, telles
tr = 4g tr = 0
tr5 = 0 tr = 4(g g g g g g ) (3.20)
tr5 = 4i .
3.4. Covariance relativiste. Representation spinorielle. Parite
Pour demontrer linvariance relativiste de lequation de Dirac, il nous faut trouver la trans-
formation de (x) sous leffet dune transformation de Lorentz de son argument x. Soit
x = x une transformation de Lorentz faisant passer des coordonnees dans un premier
referentiel a celles dans un second3 . On cherche une transformation telle que
lequation de Dirac prenne la meme forme dans les deux referentiels,

(i m)(x) = 0 (3.21a)
x

(i m) (x ) = 0 . (3.21b)
x
Supposons la transformation lineaire et ecrivons-la sous la forme
(x ) = S()(x) . (3.22)
3
Il sagit la du point de vue passif. Un autre point de vue, dit actif, totalement equivalent
au passif dans ses implications, consiste a considerer que x est la coordonnee decrivant dans le
meme referentiel un autre systeme, obtenu a partir de loriginal par la transformation .

La matrice cherchee S() est de dimension 4, elle est donc une combinaison lineaire des 16
matrices de la base de lalgebre de Clifford du paragraphe precedent. Cette matrice doit
aussi etre inversible (transformation inverse x x). Lequation (3.21b) se recrit donc
x

(i m)S()(x) = 0
x x
et ceci doit etre une consequence de (3.21a), cest-a-dire
S 1 () S() = . (3.23)
Cherchons S() pour une transformation infinitesimale. On ecrit
= + (1 ) = + O( 2 )
avec antisymetrique (cf. chapitre 0, 4.2). Montrons que
i
S() = I +
4 (3.24)
i
S 1 () = I + +
4
ou les points de suspension representent des termes dordre superieur en et les matrices
sont celles qui ont ete introduites plus haut en (3.14),
i
= [ , ] (3.14)
2
satisfont bien (3.23). Cela est bien le cas puisque
i
[ , ] = ,
4
comme lidentite
[ , ] = 2i( )
le montre, ce qui acheve la demonstration. Pour une transformation finie, S() est donc
de la forme

S() = e(i/4) . (3.25)
On rappelle de la discussion du 3.3 que les ij sont hermitiennes, les 0i antihermitiennes,

donc les S() sont unitaires pour les rotations usuelles de R3 , mais hermitiennes pour un
boost.

Remarque. On vient de montrer que les matrices fournissent une solution a (3.23).
Est-ce la seule ? Pourquoi est-elle naturelle ? Ces questions seront reexaminees plus bas,
au chap. ?.
Moment angulaire
Pour terminer cette discussion, nous revenons a loperateur de spin covariant W , construit
a partir de P et de loperateur de moment angulaire J , generateur infinitesimal des
transformations de Lorentz (cf chap. 0, 4.2)
1
W = J P . (3.26)
2
Comme on le verra plus bas au chapitre ? dans letude des representations du groupe de
Poincare, si M 2 designe la valeur propre de loperateur P 2 , les valeurs propres possibles
de W 2 sont
W 2 = M 2 S(S + 1) (3.27)
ou S est le spin, entier ou demi-entier, de la representation. Pour lequation de Dirac (ou

de Klein-Gordon) libre, P = i donc P 2 = 2 = m2 . Selon la discussion du chapitre
1, on identifie J en calculant
i
(x) = (I J )(x)
2
i
= (I )(x x )
4
i
= (I + x )(x)
4
dou
1
J = + i(x x ) . (3.28)
2
On calcule alors
i
W = (3.29)
4
et un dernier calcul, faisant appel a lune des identites sur les produits de tenseurs du
chapitre 1 ( 2.2), conduit a
21 1
W = + 1 m2 (3.30)
2 2
dou il decoule que le spin de la particule decrite par lequation de Dirac est 21 .

Transformations discretes P et T
Rappelons que le groupe de Lorentz a quatre nappes disconnexes, cf chap. 0, 2.1. Nous
avons examine la covariance de lequation de Dirac sous leffet des transformations du
groupe de Lorentz infinitesimales. Par integration, les transformations finies sont celles
qui sont dans la meme composante connexe que lidentite. Il nous faut encore examiner le
cas des transformations discretes. Considerons dabord la parite despace
x = (x0 , x) 7 x = P x = (x0 , x) , (3.31)
avec
1 0 0 0

0 1 0 0
(P ) = . (3.32)
0 0 1 0
0 0 0 1
Selon le meme argument quen (3.23), lequation de Dirac garde la meme forme dans les
coordonnees x et x si lon peut trouver une matrice SP , (x ) = SP (x), telle que SP
commute avec 0 et anticommute avec les i , i = 1, 2, 3. Il est clair que tout multiple
de la matrice 0 fait laffaire et si on veut une transformation unitaire, il reste une phase
arbitraire
(x ) = P 0 (x) . (3.33)
Loperation T de renversement du temps t t devrait en principe pouvoir se

decrire de maniere analogue. Il y existe en fait une difference importante, liee au car-
actere necessairement anti-lineaire de la transformation, dans un contexte de mecanique
quantique.
Rappelons dabord ce quon entend par operateur antilineaire. Un tel operateur satisfait
U(|i + |i) = U|i + U|i
et son adjoint est defini par

h|U |i = hU|i = h|Ui .
Sil est en outre unitaire, on a
h|i = h|i = h|U U|i = hU|Ui ,
donc hU|Ui = h|i.
En mecanique quantique, la transformation T supposee unitaire (cf Theoreme de Wigner au chapitre

3) laisse loperateur position x inchange, mais change le signe des vitesses, donc de limpulsion p
x = T xT = x
(3.34)
p = T pT = p .

Les relations de commutation canoniques ne sont compatibles avec cette transformation que si T est
antilineaire
[xj , pk ] = [xj , pk ] = ihjk
= T [xj , pk ]T = T ihjk T
Autre argument : T commute avec les translations dans le temps dont le generateur est lhamiltonien :
T iHT = iH (puisque t t). Si T etait lineaire, on conclurait que T HT = H, ce qui est genant
si on veut que Spec(H) 0 !
Revenant a lequation de Dirac, on cherche donc une transformation antilineaire
(x) (x ) ou x = (t, x). La transformation est de la forme
(x ) = T ST (x) , (3.35)
ou ST est une matrice 4 4 telle que lequation pour obtenue par conjugaison de (3.1)
ait la forme (3.1)

1 1 1
i = + ST ST m (x )
(ST ST ). (3.36)
t i
Cela est bien le cas si

ST ST1 =
ST ST1 = .
Dans la representation usuelle des matrices , ou 2 = 2 tandis que les autres et

sont reelles, il faut trouver ST qui anticommute avec 1 et 3 et commute avec 2 et .
On prend
ST = i1 3 = i1 3 (3.37)
le facteur i etant choisi de facon a avoir ST2 = I.
3.5. Combinaisons bilineaires de et
Par conjugaison hermitique de (3.8), on a
i + m = 0
ce quon note aussi

(i + m) = 0 .
On introduit la notation
:= 0 (3.38)
qui sera dusage constant dans la suite. En utilisant (3.11) on a donc

(i / +m) = 0 . (3.39)

Par transformation de Lorentz, se transforme selon

(x ) = (x) 0 S() 0 = (x)S 1 () (3.40)
y compris pour la parite, pour laquelle (x ) = P (x) 0 .

Nous allons maintenant etudier les differentes combinaisons bilineaires (x) A (x),
ou A parcourt la base de lalgebre de Clifford consideree plus haut. En utilisant (3.22),
(3.40) et (3.23), on note que est un scalaire de Lorentz, un vecteur, un
tenseur antisymetrique dordre 2, et 5 et 5 respectivement un pseudo-scalaire
et un pseudo-vecteur, ce qui veut dire que sous leffet de la parite, ils recoivent un signe
oppose a celui dun scalaire ou dun vecteur.
Physiquement, le vecteur j = joue un role important. Dabord, en vertu des
equations de Dirac satisfaites par et , il est conserve

j = ( / + / ) = 0 . (3.41)
En outre, sa composante temporelle est definie positive, et il parat donc qualifie pour
le role de courant de probabilite, dans linterpretation de comme une fonction donde.
(Rappelons notre echec a ce stade avec lequation de Klein-Gordon, cf fin du 2.) En
fait, par la suite, en theorie quantique des champs, sera interprete comme le courant
electromagnetique.
Les considerations precedentes nous permettent aussi de repondre a la question :
lequation de Dirac decoule-t-elle dun principe daction ? La reponse est oui, laction de
Dirac libre secrit Z
S= d4 x (x)(i/ m)(x) . (3.42)
Dans le calcul des variations, on doit considerer les parties reelle et imaginaire de comme
independantes, ou ce qui revient au meme, et comme independants, et on retrouve
immediatement (3.8) et (3.39). Laction est bien invariante relativiste.
Il est enfin important de noter que j est le courant de Noether pour la transformation
des champs
(x) ei (x) (x) ei (x) . (3.43)
Sa conservation reflete linvariance de laction (3.42) pour de telles transformations

independantes de x (globales).

On peut aussi etudier leffet dune transformation chirale
(x) ei5 (x) (x) (x)ei5 , (3.44)
dune grande importance en physique hadronique. Montrer que le courant de Noether

correspondant est j5 (x) = (x) 5 (x) et que sa divergence est
j 5 (x) = 2im 5 . (3.45)
Exercice. Identites de Fierz [. . . ]
3.6. Representations de Weyl et de Majorana.
Selon une observation deja faite, il est quelquefois utile de considerer dautres representations
des matrices que celle donnee plus haut. Deux autres representations sont souvent con-
siderees :
() la representation de Weyl, ou representation chirale, consiste a choisir 0 anti-
bloc-diagonale, au contraire de (3.10)4 .

0 0 I i 0 i
= 1 I = = i2 i = . (3.46)
I 0 i 0
On calcule alors

I 0 0i i 0 ij k 0
5 = =i = ijk . (3.47)
0 I 0 i 0 k
On constate que les matrices sont diagonales par blocs. Puisque les transformations
S() de (3.25) en sont des exponentielles, on en conclut que dans cette representation, si
on ecrit
R
= (3.48)
L
les composantes L et R , spineurs a deux composantes, se transforment independamment
sous leffet des rotations despace et des boosts5 . (Dans le langage de la theorie des
4
Attention que dautres auteurs peuvent avoir des conventions legerement differentes, par
exemple [PS].
5
Cette conclusion est bien sur independante de la representation choisie. Si on definit les com-
binaisons R = 21 (I 5 ), vecteurs propres de la chiralite 5 : 5 R = R , la commutation
L L L
de 5 avec deja notee plus haut, donc avec S(), implique que la chiralite est preservee par
les transformations de Lorentz.

groupes quon etudiera plus tard, la representation du sous-groupe de Lorentz propre L+

est manifestement reductible.) Il est legitime de se demander pourquoi on ne sest donc
pas contente de spineurs a deux composantes. La raison tient a la transformation de parite,
effectuee par la matrice 0 . Cest la parite qui melange L et R (et rend la representation
du groupe entier de Lorentz irreductible).
Noter que dans cette representation, lequation de Dirac secrit
~

m i(0 ~ .) R
(i/ m) = ~ =0, (3.49)
i(0 + ~ .) m L
et donc que le terme de masse couple les deux spineurs de Weyl.

1 1
Dit autrement, le terme de masse se recrit en termes de R = 2
(I 5 ) et de R = 2
(I 5 )
L L
comme = L R + R L . Il couple les deux chiralites.
En labsence de terme de masse, si m = 0, les deux equations se decouplent en
~ R =0
i(0 ~ .)
L
(cf plus bas au 6, la discussion des particules de masse nulle).

() La representation de Majorana permet de bien prendre en compte les proprietes de realite des
spineurs. Si on choisit
0 2 i3 0
0 = 1 =
2 0 0 i3
(3.50)
2 0 2 3 i 1 0
= = ,
2 0 0 i1
cest-a-dire toutes les matrices purement imaginaires, loperateur differentiel (i/
m) est purement reel
et on peut en chercher des solutions reelles.
Exercice. Pour chacune de ces deux representations, trouver quelle est la matrice unitaire U qui
lentrelace avec la representation de Dirac, au sens de (3.16).
3.7. Matrices de Dirac en metrique euclidienne

Dans le cas euclidien a d dimensions, on cherche des matrices , = 1, , d, hermitiennes et satisfaisant
{ , } = 2 I . (3.51)
Ces matrices engendrent une algebre de Clifford de dimension (comme espace vectoriel) 2d . Supposons d
pair. La dimension de ces matrices est donc au moins 2d/2 . On en donnera une construction explicite plus
bas. Etant de telles matrices, la matrice
d+1 = id/2 1 2 d
satisfait
2
d+1 =I {d+1 , } = 0 (3.52)
(le verifier : d est pair !). On peut donc considerer que (3.51) sapplique a , = 1, , d + 1.
Si d est impair, on peut prendre les (d 1) matrices 1 , , d1 de la dimension d 1 et leur adjoindre
d1
la matrice d = i 2 1 2 d1 .

Construction explicite par produit tensoriel du cas d = 2.

A d = 2, on prend 1 = 1 , 2 = 2 , 3 = 3 (comparer avec le cas minkowskien au 3.2). Ces matrices
sont hermitiennes et de trace nulle. Puis on construit par recurrence, pour toute dimension d paire
(d)

(d+2) (d) 0
= 1 = (d)
pour = 1, , d + 1
0

(d+2) 0 iId (3.53)
d+2 = 2 Id =
iId 0

(d+2) Id 0
dou d+3 = 3 Id = .
0 Id
(Id est la matrice identite de dimensions 2d/2 2d/2 .) Ces matrices sont hermitiennes en toute dimension
paire. Verifier quelles satisfont bien les relations danticommutation. Il est aussi interessant de savoir
(d)
lesquelles sont des matrices symetriques. Par construction, si est symetrique, resp. antisymetrique,
(d+2) (d+2) (d+2)
alors lest aussi pour = 1, , d + 1 tandis que d+2 est antisymetrique et d+3 est symetrique.
Donc en toute dimension paire,
1 , 3 , , d+3 sont symetriques
2 , 4 , , d+2 sont antisymetriques.
Identites de trace dans le cas euclidien
Si d est pair, tr = 0, = 1, , d + 1 et toute trace dun nombre pair de matrices se calcule explicitement
X
tr1 2 2n = p p1 p2 p2n1 p2n trId avec i = 1, , d + 1
p
ou la somme porte sur tous les appariements dindices, et P designe la signature de la permutation
correspondante. Le nombre de ces appariements est le nombre de Catalan Cn = (2n)!/(n!(n + 1)!). Pour
un nombre impair de matrices , si une matrice donnee apparat un nombre de fois pair (ou 0 fois),
la trace sannule. Si toutes apparaissent une fois et une seule, et donc en particulier d+1 , on place cette
derniere en derniere position et on a
tr1 2 d d+1 = id/2 1 2 d trI

(noter que dans leuclidien, 12d = 1.)
Exercice : verifier toutes les assertions de ce paragraphe !
4. Contenu physique de lequation de Dirac
4.1. Ondes planes et projecteurs
Comme eik.x est fonction propre de loperateur differentiel (i/ m), il est naturel de
chercher des solutions de (3.8) sous la forme dondes planes. La notation traditionnelle
consiste a ecrire
(+) (x) = eik.x u(k) solution denergie positive
(4.1)
() (x) = eik.x v(k) solution denergie negative
etant entendu que k 0 > 0, et que k 2 = m2 . Le quadrivecteur k est en effet lenergie-

impulsion de la particule. Les spineurs u et v satisfont
(/k m)u(k) = 0 (/k + m)v(k) = 0 . (4.2)

Pour construire explicitement u(k) et v(k), on se place dans le referentiel ou la particule

(de masse m > 0) est au repos : k = (m, 0). Les equations ci-dessus se reduisent a
( 0 1)u(m, 0) = 0 ( 0 + 1)v(m, 0) = 0
et une base de solutions, dans la representation de Dirac (3.10), est donnee par
1 0 0 0

0 1 0 0
u(1) (m, 0) = u(2) (m, 0) = v (1) (m, 0) = v (2) (m, 0) = . (4.3)

0 0 1 0
0 0 0 1
Les solutions a k quelconque sobtiennent alors en effectuant un boost sur les solutions
au repos, ou plus simplement en ecrivant
/k + m /k + m
u() (k) = p u() (m, 0) v () (k) = p v () (m, 0) , (4.4)
0
2m(m + k ) 2m(m + k0 )
qui sont bien solutions de (4.2) puisque (/k m)(/k + m) = k 2 m2 = 0. Leur normalisation
est choisie de facon que (avec , = 1, 2)
u() (k)u() (k) = u() (k)v () (k) = 0

(4.5)
v () (k)v () (k) = v() (k)u() (k) = 0 ,
comme on va le montrer ci-dessous. En effet, les equations (4.5) sont equivalentes a dire
que les matrices
X X
+ (k) := u() (k) u() (k) (k) := v () (k) v () (k) (4.6)
=1,2 =1,2
sont les projecteurs sur les etats denergie positive, resp. negative. Un petit calcul auxiliaire
consiste a verifier que (/k + m)2 = 2m(/k + m), (/k + m)(I + 0 )(/k + m) = 2(m + k 0 )(/k + m)
ou encore (I + 0 )(/k + m)(I + 0 ) = 2(m + k 0 )(I + 0 ). Compte tenu de la normalisation
dans (4.4), cela conduit a
1 I 0 /k + m
(k) = 0
(/
k m) (/k m) = . (4.7)
2m(m + k ) 2 2m
et a
2 (k) = (k) (k) (k) = 0 tr = 2 + (k) + (k) = I (4.8)

comme on sy attend pour des projecteurs orthogonaux sur des espaces de dimension 2.
Cette dimensionnalite 2 reflete lexistence des degres de liberte de spin. On desire
maintenant construire les projecteurs sur les etats propres de spin, analogues covariants de
1 1 () ()
2 (1 3 ) pour un spinnon-relativiste. Les solutions au repos
2 u (m, 0) et v (m, 0)
3 0
de (4.3) sont clairement vecteurs propres de 3 := 12 = pour les valeurs
0 3
propres 1 pour = 1 et 1 pour = 2. (En general, on definit i = 12 ijk jk et dans la
i 0

base usuelle de matrices , i = .) Les projecteurs sur les etats propres de spin
0 i
des solutions au repos sont donc 12 (I 3 ). Si z est le vecteur unitaire dans la direction 3
(axe des z), on definit

1 1 I + 3 0
P (z) = (I + 5 /z) =
2 2 0 I 3
puisque 5 /z = 5 3 = i 0 1 2 = 0 12 = 0 3 . P projette donc sur la solution u(1)

1
denergie positive de spin 2 et sur celle v (2) denergie negative de spin 21 . Attention au
signe ! Ce choix peut paratre un peu pervers, mais en fait se prete bien a lapplication
dune transformation de Lorentz. Un boost de Lorentz amene en effet les solutions au
repos sur les solutions (4.4), amene z sur le (quadri)vecteur n(z) := z et transforme P (z)
en le projecteur cherche
1
P (n(z) ) = (I + 5 /n(z) ) , (4.9)
2
le projecteur sur u(1) (k) et v (2) (k). (On rappelle que les matrices S() de Lorentz com-
mutent avec 5 et transforment /z en n
/ (z) .) On peut generaliser cette expression a tout
n orthogonal a k, donc de genre espace, et normalise a n2 = 1 et considerer donc
P (n) = 21 (I + 5 /n). Si est le boost qui amene (m, 0) sur k (ne pas confondre ce avec
les projecteurs (k) !), loperateur P (n) projette sur letat de spin qui dans le referentiel
au repos est polarise dans la direction 1 n. Par abus de langage, on dira que P (n) est le
projecteur sur letat polarise le long de n. Les relations
[ (k), P (n)] = 0
(+ (k) + (k))(P (n) + P (n)) = I (4.10)
tr (k)P (n) = 1 ,
qui sont aisement verifiees, montrent que les deux types de projecteurs et P sont
compatibles (ils commutent), que leurs produits P (n) sont des projecteurs sur des

espaces complementaires de dimension 1, toutes choses compatibles avec leur interpretation

comme projecteurs sur les etats denergie-impulsion et de spin fixes.
Remarque. Une remarque importante. Tout, dans la discussion de ce paragraphe, a
ete restreint au cas ou m 6= 0 : usage repete du referentiel de repos, normalisations avec
denominateur m. . . . La situation de masse nulle va necessiter un traitement separe, cf
plus bas 6.
Remarques et exercices
De quel operateur de spin generalisant 3 les solutions (4.4) sont-elles vecteurs propres ? Montrer que
u() , v () sont vecteurs propres de W.n(z) , ou W est loperateur de spin de Pauli-Lubanski, cf (3.26).
5 (z)
k
/+m 1+ n
/
Montrer que (4.6) peut etre raffine en u(1) (k) u(1) (k) = 2m 2
. Ecrire les relations analogues
pour les autres spineurs (4.4).
Helicite Il existe un choix privilegie de n tel que n soit proportionnel a k dans le referentiel considere
(ou dans tout autre referentiel sen deduisant par un boost dans la direction de k). Soit

|k| k0 k
nk := , (4.11)
m m |k|
On a bien n2k = 1, nk .k = 0, donc 1 nk = (0, k/|k|) dans le referentiel de repos. Alors, le projecteur
P (nk ) agissant sur les solutions denergie positive, resp. negative, donne
1 .k

P (nk ) (k) = 1 (k)
2 |k|
et donc projette sur les etats propres de spin le long de la direction de k, ce quon appelle les etats
dhelicite : il projette sur les etats denergie et dhelicite positives, et sur les etats denergie et dhelicite
negatives.
Un etat propre dhelicite positive le reste-t-il par transformation de Lorentz ? La reponse est non,
expliquer pourquoi.
Demontrer lidentite de Gordon
1 ()
u() (p) u() (q) = u (p) (p + q) + i (p q) u() (q) . (4.12)
2m
(On pourra noter que, sandwiche entre u(p) et u(q), peut etre remplace par (/ p + q/)/2m.) Quelle
serait la formule analogue pour des solutions denergie negative ? pour lelement de matrice de 5 ?
4.2. Couplage minimal au champ electromagnetique
Supposons maintenant que la particule sujette a lequation de Dirac porte une charge
electrique q. (Pour un electron cette charge serait negative q = e = |e|.) Selon un
principe maintenant bien eprouve, nous construisons lequation de Dirac en presence dun
champ electromagnetique par le couplage minimal i i qA , soit
(i/ q/
A m) = 0 . (4.13)

Notant D = + iqA (derivee covariante), donc D

/ = / + iq/ D)2 . On ne
A, calculons (/
/ 2 = a2 valable pour un quadrivecteur, en raison de la
peut utiliser brutalement lidentite a
non-commutation des derivees covariantes. On ecrit
/ 2 = D D
D
= 21 D D { , } + 21 [D , D ]
iq (4.14)
= D D + ( A A )[ , ]
4
2
= D + 2 qF .
1
En formant
(i/ q/ A m) = (D2 21 qF m2 ) = 0
A + m)(i/ q/
on trouve une equation qui differe de celle obtenue a partir de lequation de Klein-Gordon
par le couplage minimal. Le terme supplementaire q2 F. decrit un couplage du champ a
un moment dipolaire electrique et a un moment magnetique portes par la particule. En
effet, dans la representation de Dirac ou 0j = ij et ij = ijk diag (k ), on trouve
1
qF = q(i.E
.E + .B
.B) .
2
Linterpretation va en etre plus claire dans la limite non-relativiste.
4.3. Limite non relativiste
Examinons la limite non relativiste de lequation de Dirac couplee a un champ, (4.13).

Autrement dit, on suppose les energies en jeu, cinetique ou electromagnetique, petites par
rapport a lenergie au repos m (fois c2 implicite). La representation de Dirac des matrices
se prete bien a cet exercice, car les deux composantes superieures, resp.
inferieures de

dans cette base sont dordre different dans cette limite. Ecrivant = , := (pqA),

et se rappelant la forme (3.10) des matrices et , on trouve

i . + qA0 + m
= .
t (4.15)

i . + qA0 m .
= .
t
Dans la limite relativiste, le terme de masse m est le terme dominant dans la premiere
equation, et il est coherent de supposer que est sous-dominant par rapport a . Si on
pose
= eimt = eimt X

avec et X lentement variables, (4.15) devient

i .X + qA0
= .
t (4.16)
X 0
i . + qA X 2mX .
= .
t
Sous lhypothese que |qA0 | 2m et que X est lentement variable, on peut approximer la
solution de la deuxieme equation par
.
X
2m
et en reportant dans la premiere, on trouve
h (.. 2
.) 0
i
i = + qA , (4.17)
t 2m
qui nest autre que lequation de Pauli, equation non-relativiste satisfaite par la fonction
1
donde dune particule de spin 2 dans un champ electromagnetique. On calcule sans peine,
en utilisant les relations de commutation des matrices de Pauli

2 1 i j 1 i j 2 1 q
.)
. = {i , j } + [i , j ][ , ] = iijk k
(. (i Aj j Ai )
2 4 2 i
= 2 q.B
.B ,
ce qui permet de recrire lhamiltonien (le membre de droite de (4.17)) comme
(p qA)2 q
HPauli = .B + qA0 .
2m 2m
Le premier et le dernier termes sont ceux attendus du couplage minimal applique a
lequation de Schrodinger. Le deuxieme terme decrit un couplage entre le spin et le champ
magnetique, de la forme (en retablissant les h et c)
qh
Hmagnet = .B
.B = .B
2m
ou le moment magnetique est
q h
=2 . (4.18)
2m 2
En general, pour un objet charge de moment cinetique J et de moment magnetique , on
definit le rapport gyromagnetique g par
q
=g J. (4.19)
2m
Ici J = 21 h
. Pour la particule decrite par lequation de Dirac (et son approximation
non-relativiste de Pauli), le rapport gyromagnetique est donc 2.
La theorie quantique des champs va apporter des corrections a cette valeur. Ces corrections sont
infimes mais calculables et mesurables avec une precision inoue pour une particule comme lelectron ou
le muon qui ne sont soumis quaux interactions electrofaibles : laccord entre experience et theorie sur la
valeur de ge 2 (ou de g 2) est un des grands triomphes de la TQC. Les corrections sont par contre
grandes et non calculables systematiquement pour le proton ou le neutron, soumis aussi aux interactions
fortes : gp 5.585.

4.4. Spectre relativiste de latome dhydrogene
cf TD, [BDm] et [IZ]
5. Particules et trous. La mer de Dirac.
5.1. La mer de Dirac. Particules et trous, antiparticules.
La presence detats denergie negative non bornee inferieurement est tres preoccupante
puisquelle semble indiquer une instabilite de la theorie. La solution proposee par Dirac
est elegante et instructive on en retrouve des avatars dans des contextes tres divers,
depuis la physique des solides (theorie de Fermi) jusqua des problemes de mathematiques
(representations de lalgebre de Virasoro, par exemple). Elle consiste a supposer que dans
le vide, tous les etats denergie negative sont occupes cest la mer de Dirac. Cela, joint
au principe dexclusion de Pauli, interdit une dangereuse transition dun etat physique
denergie positive vers un de ces etats. Inversement un etat de cette mer peut etre excite
vers un etat denergie positive, laissant derriere lui un trou, de charge opposee, qui va
etre interprete comme une anti-particule, un positron si la particule de Dirac est lelectron.
Il faut pour cela fournir une energie E superieure a lintervalle denergie (gap) entre letat
initial et letat final, soit E 2mc2 . Lexcedent E 2mc2 est emporte comme energie
cinetique par lelectron et le trou-positron. Cest le phenomene de creation de paire.
La theorie de Dirac predit donc des phenomenes nouveaux (nouveaux pour lepoque
ou elle a ete proposee, et pour le cadre de la mecanique quantique habituelle) : creation et
annihilation de paires electronpositron. Cette theorie contient donc ce qui fait lessence
dune theorie quantique de champs : lexistence dun nombre de particules arbitraire.
5.2. Conjugaison de charge
Si solution de lequation de Dirac (4.13) decrit la particule de charge q, mettons lelectron,

on voudrait trouver quel c decrit son antiparticule, de charge q. On veut avoir simul-
tanement
(i/ q/
A m) = 0 (5.1a)
A m) c = 0 .
(i/ + q/ (5.1b)
En conjugant et transposant la premiere equation, on a

T T
(i qA ) m) = 0 .

Si on peut trouver une matrice C telle que
CT C 1 = (5.2)
T
alors C satisfait (5.1b). Or il existe une telle matrice C dans toute representation des
matrices . Ainsi dans la representation de Dirac, ou 1 et 3 sont antisymetriques, et 0
et 2 symetriques, il suffit de prendre un multiple de 0 2 . On choisit

2 0 0 i2
C = i =
i2 0 (5.3)
1 T
C = C = C = C
et on prend
T
c = c C (5.4)
avec une phase arbitraire c quon prendra egale a 1 dans la suite. Loperation de conjugai-
son de charge qui est antilineaire dans le present contexte, reprendra un caractere lineaire
dans le cadre de la TQC.
Exercice : montrer que c se transforme par Lorentz comme et donc que c est un
invariant de Lorentz. Un tel terme est appele terme de masse de Majorana, quelle symetrie
brise-t-il ? [Voir plus bas et en TD de TQC la discussion des champs de Majorana.]
Action de la conjugaison de charge sur le spin.
Soit une solution de Dirac, etat propre des projecteurs du 4.1
/p + m 1 + 5 /n
= p0 > 0 ,
2m 2
donc denergie de signe et de polarisation le long du vecteur n. On calcule alors sa

conjuguee de charge

1 + 5 /n

c T /p + m
0
= C = C
2m 2
(5.5)
5
/p + m 1 + /n c
=
2m 2
La conjugaison de charge fait donc passer comme prevu dune solution denergie positive
a une denergie negative. Le spin est renverse, ce qui est en accord avec notre discussion
du 5.1.

6. Particules de masse nulle
6.1. Chiralite et helicite
Considerons lequation de Dirac de masse nulle.
i/ = 0 ou encore /p = 0 . (6.1)
On remarque est que loperateur de Dirac / anticommute avec loperateur de chiralite

5 . Ou dit autrement, puisque
/ (1 5 ) = (1 5 )/ ,
loperateur de Dirac / fait passer de spineurs de chiralite positive (vecteurs propres de

1
2
(1 + 5 )) a ceux de chiralite negative.
Plus tard dans le cours de TQC (discussion des anomalies chirales), on rencontrera le determinant
de loperateur de Dirac en presence dun champ de jauge detD(A). / La remarque precedente, qui setend
a D(A),
/ montre que loperateur D(A)
/ fait passer dun espace a un autre, et que son determinant ne peut
avoir un sens intrinseque, une source potentielle de difficultes . . .
On note aussi que 5 0 = i 1 2 3 , et donc 5 0 i = i , donc (6.1) multiplie par
5 0 implique
5 p0 = .p (6.2)
Pour une solution denergie positive, (x) = eik.x (k), avec k 2 = 0, k 0 = |k|, k = k 0 k et
(6.2) se recrit
.k (k) = 5 (k) , (6.3)
ce qui signifie que lhelicite egale la chiralite. Pour une solution denergie negative, cest
loppose.
Remarque. On a deja souligne que la chiralite est conservee par les transformations
du groupe de Lorentz. Ce nest en general pas le cas de lhelicite, sauf dans le cas de masse
nulle. Si m 6= 0, un spineur dhelicite positive acquiert sous leffet dune transformations
du groupe de Lorentz une composante dhelicite opposee. Si m = 0, ce nest pas le cas,
comme on vient de le voir.
Exercices
En indexant les solutions denergie positive et negative par leur chiralite, on ecrit
eik.x u (k)
n
(x) = avec k2 = 0, k0 = |k| > 0 . (6.4)
eik.x v (k)
5 u (k) = u (k) 5 v (k) = v (k) .

Trouver lexpression explicite des spineurs a quatre composantes u (k) et v (k) comme fonctions des
coordonnees et de k.
Montrer que le conjuge de charge dun spineur de chiralite positive est de chiralite negative.

6.2. Spineurs de Weyl
Comme on la note plus haut au 3.6, pour des particules de masse nulle, les deux com-
posantes de chiralite obeissent a des equations decouplees. Si on nadmet quune seule
chiralite et quon renonce a linvariance par parite, on peut se contenter dune realisation
des matrices de Dirac de dimension 2. On parle de spineurs de Weyl pour ces spineurs a
deux composantes, de chiralite donnee
chiralite = 1, (p0 p.
)R (p) = 0
(6.5)
chiralite = 1, (p0 + p.
)L (p) = 0
6.3. Petite incursion dans le monde des neutrinos

Pendant longtemps, on a cru que les neutrinos des trois especes (familles ou generations) connues,
e , et , etaient de masse nulle, et nexistaient dans la nature que dans leur chiralite (et helicite)
negative, (neutrinos gauches). Leurs antiparticules, les antineutrinos e , et , nexistant, eux, que
dans lhelicite et la chiralite positives.
Les resultats observationnels accumules au cours des dix ou quinze dernieres annees (oscillations dans
les neutrinos solaires et autres) ne semblent plus laisser place au doute : les neutrinos ont une masse petite
mais non nulle, les deux chiralites existent meme si leur physique est tres differente.
Plusieurs scenarii sont actuellement envisages. Ou bien les neutrinos sont des spineurs de Dirac,
dotes dune petite masse de Dirac couplant leurs composantes gauche et droite. La composante droite du
ou la gauche du ne participent pas aux interactions faibles usuelles et ne sont couples que par leur
terme de masse (et leur couplage au boson de Higgs). On parle de neutrinos steriles. Ce scenario est
compatible avec la conservation du nombre leptonique, la quantite conservee associee par le theoreme de
Noether a linvariance par ei , ei pour les differents champs de leptons.
Ou bien ils sont identiques a leur antiparticule, cest-a-dire quils sont ce quon appelle des particules
de Majorana, ce qui autorise lexistence dun terme de masse de Majorana (cd 5.2). Ce quon appelle
usuellement le et le sont alors les deux etats dhelicite de cette particule de Majorana. Le terme de
masse de Majorana viole la conservation du nombre leptonique. Un test de ce scenario consisterait en
lobservation de la desintegration double
(Z, A) (Z + 2, A) + e + e
interdite si le neutrino est une particule de Dirac, puisque violant la conservation du nombre leptonique.
En fait, la situation est plus compliquee que ce qui vient detre esquisse. Lexistence des trois familles
de neutrinos autorise des termes de masse de type Dirac ou Majorana, bilineaires dans ces differents champs
et leurs conjugues. On parle alors dune matrice de masse. . .
Ce sujet est dune grande actualite, pour ses implications cosmologiques etc.
Les spineurs de Majorana jouent aussi un role central dans la construction de theories super-
symetriques. . .
Pour plus de details sur les spineurs et champs de Majorana, voir les TD ou [PS].

Probleme
On demontre dans le cours de TQC que lelement de matrice du courant electromagnetique
1
entre deux etats dune particule de spin 2 peut secrire
hp , |j (x)|p, i = eiq.x u() (p )O (p , p)u() (p)
ou q = p p et O (p , p) est une matrice de lalgebre de Clifford.

1. Dresser la liste des O (p , p) compatibles avec linvariance sous le groupe de Lorentz
propre orthochrone et montrer que six dentre eux sont lineairement independants, compte
tenu de lequation de Dirac satisfaite par u() (p) et u() (p ).
2. Montrer que la contrainte de conservation du courant j (x) = 0, donc de transver-
site q O (p , p) = 0, restreint cette liste a quatre termes.
3. En conclure que lexpression donnee au chapitre 3 dun livre de TQC bien connu est
incomplete et quon doit par exemple ecrire
q q
O (p , p) = F1 (q 2 ) + i F2 (q 2 ) + 5 F3 (q 2 ) + 5 (q 2 /qq )F4 (q 2 ) .
2m 2m
4. Montrer que lhermiticite de loperateur courant j se traduit par la condition
O (p, p ) = 0 O (p , p) 0 et discuter quelles conditions de realite cela fournit sur les
fonctions Fi (q 2 ).
5. Montrer que si j se transforme comme sous leffet des transformations discretes,
linvariance par parite implique que F3 (q 2 ) = F4 (q 2 ) = 0, celle par renversement du temps
F3 (q 2 ) = 0.
6. j 0 (x) etant la densite de charge electrique, montrer quon a
p0
Z
3 0
d xhp , |j (x)|p, i = q (2)3 3 (p p )
2m
(avec une normalisation conventionnelle) et en deduire que F1 (0) = q.

7. Pour linterpretation physique des autres termes Fi (q 2 ), il est utile de considerer
la limite de particules presquau repos, |p|, |p | m. En etudiant dans cette limite
R 4
d xA (x)hp , |j (x)|p, i, montrer que F1 (0)+F2 (0) et F3 (0) donnent les coefficients des
termes .B et .E dans le lagrangien dinteraction et decrivent les moments magnetique
et dipolaire electrique de la particule consideree.
8. Le dernier coefficient, qui decrirait dans cette meme limite le couplage du champ
electromagnetique a un moment multipolaire dordre plus eleve de la distribution de charges
est le seul a survivre pour des particules de Majorana, identiques a leur antiparticule.

Bibliographie sommaire
Pour la discussion generale de lequation de Dirac, les identites sur les matrices etc,
on a suivi [IZ], qui contient aussi une discussion detaillee de la limite non relativiste, du
spectre de latome dhydrogene, etc.
[BDm] est une autre reference tres utile.
Pour la version euclidienne de lequation de Dirac et des matrices , voir [Z-J].
La demonstration de la proposition et du theoreme du 3.3 peut se trouver dans A.
Messiah, [M], t. 2, p 773.
Sur la physique des neutrinos, voir Cecilia Jarlskog, cours a lEcole de Gif 92.

Dirac09 PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Dirac09 PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Chapitre 000

Equations de Klein-Gordon et de Dirac

1. Rappels de Mecanique Quantique

Les phenomenes de la physique quantique exhibent deux aspects fondamentaux, en rupture

(Exemples : spectre denergie de quanta h, une frequence caracteristique du

Le formalisme de la Mecanique Quantique rend compte de ces phenomenes en se basant

d) La probabilite de mesurer I dans letat |i (cest-a-dire le pourcentage

{f, g} [fop , gop ] = ih {f, g} .

En particulier on a le commutateur canonique entre les operateurs qop et pop de position

30 Septembre 2007 J.-B. Z.

Laction de pop sur se traduit en un operateur differentiel sur (q)

on a les fonctions donde p (q) = hq|pi satisfaisant

Le principe de correspondance applique a lexpression de lenergie dune particule massive

J.-B. Z. 30 Septembre 2007

De la meme facon, il est suggere dappliquer le principe de correspondance a

Couplage minimal au champ electromagnetique

+ iqA (x) . (2.3)

Exercice : cette equation decoule-t-elle dun lagrangien ? Si oui, lequel ? De quelle

30 Septembre 2007 J.-B. Z.

donc en principe sans communication causale, on trouve que lelement de matrice de

ne sannule pas pour |x y|2 > t2 , cf cours de C. Bachas. et [PS, p 14].

3.1. Les matrices de Dirac

ou la fonction donde a maintenant plusieurs composantes, supposees independantes,

J.-B. Z. 30 Septembre 2007

ainsi que la notation

On peut maintenant recrire lequation de Dirac sous la forme

et on se refere a loperateur differentiel (i/ m) comme loperateur de Dirac. On verifie

30 Septembre 2007 J.-B. Z.

3.2. Une representation explicite des matrices

i j = ij + iijk k donc {i , j } = 2ij .

Cela permet de choisir a deux ou trois dimensions,

3.3. Lalgebre de Clifford des matrices . La -gymnastique.

J.-B. Z. 30 Septembre 2007

Introduisons encore une autre notation tres utile dans la suite :

Avec ces notations, nous pouvons enoncer le resultat

si en outre et satisfont (3.11)

La demonstration est laissee en exercice.

30 Septembre 2007 J.-B. Z.

etc, etc. Cest evidemment un bon exercice de les verifier.

trI = 4 tr = 0 tr5 = 0 , (3.18)

de se rappeler que la trace dun nombre impair de matrices , ( = 0, 1, 2, 3), sannule

et de savoir calculer les autres, telles

3.4. Covariance relativiste. Representation spinorielle. Parite

J.-B. Z. 30 Septembre 2007

et ceci doit etre une consequence de (3.21a), cest-a-dire

Cherchons S() pour une transformation infinitesimale. On ecrit

avec antisymetrique (cf. chapitre 0, 4.2). Montrons que

satisfont bien (3.23). Cela est bien le cas puisque

On rappelle de la discussion du 3.3 que les ij sont hermitiennes, les 0i antihermitiennes,

30 Septembre 2007 J.-B. Z.

ou S est le spin, entier ou demi-entier, de la representation. Pour lequation de Dirac (ou

J.-B. Z. 30 Septembre 2007

x = (x0 , x) 7 x = P x = (x0 , x) , (3.31)

Loperation T de renversement du temps t t devrait en principe pouvoir se

U(|i + |i) = U|i + U|i

et son adjoint est defini par

h|i = h|i = h|U U|i = hU|Ui ,

donc hU|Ui = h|i.

En mecanique quantique, la transformation T supposee unitaire (cf Theoreme de Wigner au chapitre

30 Septembre 2007 J.-B. Z.

Cela est bien le cas si

Dans la representation usuelle des matrices , ou 2 = 2 tandis que les autres et

le facteur i etant choisi de facon a avoir ST2 = I.