QFT +qed+qcd

UNIVERSITE LIBRE DE BRUXELLES
Faculte des Sciences

Physique Theorique et Mathematique
THEORIE
QUANTIQUE DES CHAMPS
QED, QCD
par
Christiane Schomblond
Table des mati`

eres
1 Int
egrale fonctionnelle en m
ecanique quantique.
1.1 Images de Schrodinger et de Heisenberg. . . . . . . .
1.2 Exemples. . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 La particule libre. . . . . . . . . . . . . . . .
1.2.2 Integrales de Fresnel . . . . . . . . . . . . . .
1.2.3 Loscillateur lineaire harmonique. . . . . . . .
1.3 Integrale fonctionnelle. . . . . . . . . . . . . . . . . .
1.3.1 Exemple de la particule libre. . . . . . . . . .
1.3.2 Partie quadratique . . . . . . . . . . . . . . .
1.3.3 Developpement perturbatif. . . . . . . . . . .
1.4 Produits chronologiques doperateurs. . . . . . . . .
1.5 Fonctions de Green. . . . . . . . . . . . . . . . . . .
1.6 Fonctionnelle generatrice des fonctions de Green. . .
1.6.1 Exemple de loscillateur lineaire harmonique.
1.7 Developpement perturbatif des fonctions de Green. .
4
1.7.1 Exemple: v(q) = q4! . . . . . . . . . . . . . . .
1.8 Generalisation `
a N degres de liberte. . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
7
7
8
9
10
13
15
17
18
19
21
22
26
27
28
2 Lint
egrale fonctionnelle pour les champs libres bosoniques.
30
2.1 Champ scalaire reel libre. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.2 Champ scalaire complexe libre. . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3 Champ electromagnetique libre. . . . . . . . . . . . . . . . . . . . . . . . . . 32
3 Lint
egrale fonctionnelle pour les champs fermioniques.
3.1 Algèbre de Grassmann. . . . . . . . . . . . . . . . . . . .
3.2 Lintegrale de Berezin. . . . . . . . . . . . . . . . . . . . .
3.3 Les fant
omes de Faddeev-Popov. . . . . . . . . . . . . . .
3.4 Integrale fonctionnelle pour le champ spinoriel libre. . . .
3.5 Integrale fonctionnelle de QED. . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
39
42
43
44
4 Formules de R
eduction
45
4.1 Champs scalaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.1.1 Champ scalaire reel: particules neutres de spin zero. . . . . . . . . . 45
4.2
4.3
4.1.2 Champ scalaire complexe: particules chargees de spin zero. . . . . . 48

Champ spinoriel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Champ electromagnetique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5 Vertex propres, Action effective.

5.1 Fonctions de Green, Fonctions de Green connexes.
5.2 Vertex propres. . . . . . . . . . . . . . . . . . . . .
5.2.1 Calcul des n . . . . . . . . . . . . . . . . .
5.3 Equation du mouvement pour cl . . . . . . . . . .
5.3.1 Exemples. . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6 Les identit
es de Ward en
electrodynamique quantique.
7 Calcul de diagrammes de Feynman.
7.1 Exemples . . . . . . . . . . . . . . .
7.1.1 Theorie en 4 . . . . . . . . .
7.1.2 Electrodynamique spinorielle.
7.2 Calcul de diagrammes à une boucle.
7.3 Regularisation dimensionnelle. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
50
50
52
53
54
56
57
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
61
61
63
66
68
8 Renormalisation `
a une boucle.
74
8.1 Renormalisation de la theorie en 4 . . . . . . . . . . . . . . . . . . . . . . . 74
8.2 Renormalisation de lelectrodynamique quantique. . . . . . . . . . . . . . . 77
9 Groupe de renormalisation.
9.1 Theorie en 4 . . . . . . . . . . .
9.1.1 Resolution de lequation
Weinberg. . . . . . . . .
9.1.2 Resolution de lequation
Weinberg. . . . . . . . .
9.2 Electrodynamique quantique. .
. . . . .
(9.1.16)
. . . . .
(9.1.21)
. . . . .
. . . . .
. . .
dans
. . .
dans
. . .
. . .
. . . . . . . . . . . .
la prescription de t
. . . . . . . . . . . .
la prescription de t
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . .
Hooft. . . .
Hooft. . . .
. . . .
80
. 80
. 84
. 85
. 89
10 Moment magn
etique anomal de l
electron.
90
11 Th
eorie de jauge non ab
elienne: lagrangien.
11.1 Symetrie SU (3) globale puis locale . . . . . .
11.2 Derivees covariantes . . . . . . . . . . . . . .
11.3 Lagrangien dinteraction quark-gluon . . . . .
11.4 Lagrangien des gluons . . . . . . . . . . . . .
92
92
93
95
95
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
12 Int
egrale fonctionnelle pour QCD.
98
12.1 Integrale fonctionnelle pour les gluons et fantomes de Faddeev - Popov. . . 98
12.2 Integrale fonctionnelle de la chromodynamique quantique. . . . . . . . . . . 102
13 Renormalisation `
a une boucle de la
13.1 Propagateur des quarks. . . . . . .
13.2 Propagateur des gluons. . . . . . .
13.3 Vertex quarks-gluon. . . . . . . . .
13.4 Fonction ; Liberte asymptotique.
chromodynamique quantique.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
104
104
105
108
109
A Groupe SU (3), propri

et
es alg
ebriques
110
B Th
eor`
eme de Furry
112
C Renormalisation
C.1 Fonctionnelles generatrices . . . . . . . . . . . . . . . . . . . . . . .
C.1.1 Fonctionnelle generatrice des fonctions de Green . . . . . .
C.1.2 Calcul perturbatif des Gn . . . . . . . . . . . . . . . . . . .
C.1.3 Representation graphique des Gn : diagrammes de Feynman
C.1.4 Fonctionnelle generatrice des fonctions de Green connexes .
C.1.5 Action effective . . . . . . . . . . . . . . . . . . . . . . . . .
C.1.6 Calcul des n . . . . . . . . . . . . . . . . . . . . . . . . . .
C.2 Approximation semi-classique . . . . . . . . . . . . . . . . . . . . .
C.3 1 () pour un potentiel V () . . . . . . . . . . . . . . . . . . . .
C.4 Parties singulières des (n) . . . . . . . . . . . . . . . . . . . . . . .
C.4.1 En dimension d = 4 . . . . . . . . . . . . . . . . . . . . . .
C.4.2 En dimension d = 6 . . . . . . . . . . . . . . . . . . . . . .
4
en d = 4 . . . . . . . . . . . . . . .
C.5 Application `
a la theorie en 4!
3
C.6 Application `
a la theorie en 3! en d = 6 . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
114
114
114
115
115
115
116
117
118
122
124
124
124
124
125
Bibliographie
[1]
[2]
[3]
[4]
[5]
R.P. FEYNMAN, R. HIBBS Path Integrals and quantum mechanics, Mc Graw Hill
L. FADDEEV, A. SLAVNOV: Gauge Theories, Benjamin, 2d edition 1993
P. RAMOND Field Theory, a modern primer, Benjamin 1981
L. RYDER Quantum Field Theory, Cambridge University Press 1985
M. HENNEAUX, C. TEITELBOIM Quantization of Gauge Systems, Princeton University Press 1992
[6] J. COLLINS Renormalization, Cambridge University Press 1984
Chapitre 1
Int
egrale fonctionnelle en
m
ecanique quantique.
1.1
Images de Schr
odinger et de Heisenberg.
Considerons pour commencer, un système physique quantique à un seul degre de liberte

decrit par lhamiltonien
p2
q ,
H(
p) =
+ V (
q)
(1.1.1)
2m
qui na pas de dependance explicite en le temps et dans lequel le potentiel V (q) est suppose
est autoadjoint) et tel que le spectre de H
soit borne inferieurement ( cette
reel (H
condition suffit `
a assurer lexistence dun etat fondamental, denergie minimum).
En image de Schrodinger, les observables position q = q+ et dimpulsion p = p+ ne
dependent pas de t ,
t q = 0, t p = 0
(1.1.2)
et satisfont les relations de commutation canoniques
[
q ,
p] = i~.
(1.1.3)
Leurs spectres sont entièrement continus, ils setendent de à + sur laxe reel; leurs
vecteurs propres sont notes respectivement |q > ,|p >,
q |q >= q |q > ,
p |p >= p |p > .
(1.1.4)
< q |q >= (q q),
< p |p >= (p p)
(1.1.5)
ils satisfont les relations dorthogonalite
et de fermeture
dq |q >< q| = I,
5
dp |p >< p| = I.
(1.1.6)
Le passage dune base `

a lautre se fait par les coefficients
< q|p >=< p|q > =
ipq
1
e~ .
2~
(1.1.7)
Si | > designe un vecteur de lespace des etats H, on a les relations suivantes

< q|
q | > = q < q| >= q (q)
< q|
p| > = i~
< q| >= i~ (q)
q
q
< p|
p| > = p < p| >= p (p)

< p|
q | > = i~
< p| >= i~ (p).
p
p
o`
u les fonctions (q) et (p)
sont liees par
Z
Z +
dp < q|p >< p| >=
(q) =
(p)
=
Z +
dq < p|q >< q| >=
Z +
dp ipq
e ~ (p)
2~
dq ipq
e ~ (q)
2~
(1.1.8)
(1.1.9)
(1.1.10)
(1.1.11)
(1.1.12)
(1.1.13)
Si |,t > designe le vecteur detat du système, à linstant t, son evolution au cours du
temps est gouvernee par lequation de Schrodinger
i~t |,t >= H|,t

>.
(1.1.14)
Avec la condition de Cauchy |,t >|t=t0 = |,t0 >, elle est equivalente à
|,t >= e ~ (tt0 )H |,t0 >
(1.1.15)
De( 1.1.14) et (1.1.15), on deduit, par projection sur la base {|q >},
~2 2
+ V (q)](q,t)
2m q 2
(1.1.16)
dq K(q,t; q ,t0 ) (q ,t0 )
(1.1.17)
i~t (q,t) = [
et
(q,t) =
avec
K(q,t; q ,t0 ) =< q|e ~ (tt0 )H |q > .
(1.1.18)
Le noyau K(q,t; q ,t0 ) est la solution de lequation de Schrodinger

i~t K(q,t; q ,t0 ) = [
~2 2
+ V (q)]K(q,t; q ,t0 )
2m q 2
(1.1.19)
qui satisfait la condition de Cauchy

K(q,t; q ,t0 )|t=t0 = (q q ).
6
(1.1.20)
Il sert aussi `
a construire le propagateur retarde de lequation de Schrodinger
i
GR (q,t; q ,t0 ) = (t t0 )K(q,t; q ,t0 )
~
(1.1.21)
qui satisfait lequation

(i~t [
~2 2
+ V (q)])GR (q,t; q ,t0 ) = (t t0 )(q q )
2m q 2
(1.1.22)
et qui fournit la solution retardee de lequation de Schr

odinger avec source
(i~t [
par
(q,t) =
~2 2
+ V (q)])(q,t) = j(q,t)
2m q 2
dq
dt GR (q,t; q ,t ) j(q ,t ).
(1.1.23)
(1.1.24)
La fonction dondes (q,t) est lamplitude de probabilite de presence de la particule au

point q `
a linstant t ( plus precisement, si est normee, |(q,t)|2 dq est la probabilite pour
quune mesure de position sur le système dans letat |,t >, à linstant t, donne comme
resultat un nombre entre q et q + dq); le noyau K(q,t; q0 ,t0 ) est lamplitude de probabilite
de transition de letat |q0 ,t0 > vers letat |q,t >, en effet, si à linstant t0 , la particule est
en q0 ,
(q ,t0 ) =< q |,t0 >=< q |q0 >= (q q0 )
(1.1.25)
et lequation (1.1.17) donne
(q,t) = K(q,t; q0 ,t0 ).
(1.1.26)
K(q,t; q0 ,t0 ) est donc lamplitude de probabilite de trouver la particule en q à linstant t,

sachant quelle etait en q0 a` linstant t0 . Cest à ce noyau K que nous nous interesserons
plus particulièrement dans la suite, mais avant cela, nous allons recrire ce paragraphe en
image de Heisenberg. Dans cette image, le vecteur detat | >H nevolue pas au cours du
temps,
t | >H = 0
(1.1.27)
et concide donc avec letat initial de limage de Schrodinger
| >H = |,t0 > .
(1.1.28)
Par (1.1.15), avec (1.1.28), on a donc
|,t >= e ~ (tt0 )H | >H

ou, en inversant,
| >H = e ~ (tt0 )H |,t > .
(1.1.29)
(1.1.30)
Par contre, en image de Heisenberg, les observables de position et dimpulsion dependent

du temps par
i
q(t) = e ~ (tt0 )H q e ~ (tt0 )H , q(t0 ) = q

p(t) = e ~ (tt0 )H p e ~ (tt0 )H , p(t0 ) = p
(1.1.31)
Leurs relations de commutation à temps egaux sont

[
q (t),
q (t)] = 0 = [
p(t),
p(t)],
[
q (t),
p(t)] = i~.
(1.1.32)
et elles evoluent au cours du temps conformement a`
i~t q(t) = [
q (t),H(t)]
(1.1.33)
i~t p(t) = [
p(t),H(t)]
(1.1.34)
0 ) = H.
A tout instant, les bases {|q,t >},{|p,t >} definies par les
avec H(t)
= H(t
vecteurs propres des q(t) et p(t) sont differentes: en effet, de (1.1.4), on tire
i
e ~ (tt0 )H q|q >= qe ~ (tt0 )H |q >
(1.1.35)
et, en inserant dans le premier membre

i
i
I = e ~ (tt0 )H e ~ (tt0 )H
(1.1.36)
q(t)|q,t >= q|q,t >
(1.1.37)
il vient, avec (1.1.31),

avec
|q,t >= e ~ (tt0 )H |q > .
De meme,
(1.1.38)
p(t)|p,t >= p|p,t > , |p,t >= e ~ (tt0 )H |p > .
(1.1.39)
On a aussi, pour chaque t, les relations dorthogonalite

< q ,t|q,t >= (q q),
< p ,t|p,t >= (p p)
(1.1.40)
et de fermeture
Z
dq |q,t >< q,t| = I,
dp |p,t >< p,t| = I.
(1.1.41)
La fonction dondes (q,t) peut se voir indifferemment comme
< q|,t >=< q|e ~ (tt0 )H | >H =< q,t| >H .
(1.1.42)
En image de Schrodinger, la fonction dondes est la projection du vecteur detat à linstant

t, |,t >, sur la base fixe {|q >} (= point de vue actif); en image de Heisenberg, cest la
projection du vecteur detat fixe | >H sur la base à linstant t, {|q,t >} (= point de vue
passif). Le noyau K(q,t; q ,t0 ) a pour expression, en image de Heisenberg
K(q,t; q ,t0 ) =< q,t|q ,t0 > .
Loperateur devolution est relie à lamplitude K par
Z
= dqdq |q > K(q,t; q ,t0 ) < q |.
(t,t0 ) = exp( i (t t0 )H)
U
~
8
(1.1.43)
(1.1.44)
1.2
1.2.1
Exemples.
La particule libre.
2
= p
H
2m
(1.2.45)
K0 (q,t; q0 ,t0 ) = < q|e ~ (tt0 )H |q0 >

Z +
dp i T p2 +i p(qq0 )
~
=
e ~ 2m
2~
Z +
im(qq0 )2
dp i T [p m(qq0 ) ]2
2~T
T
e 2m~
= e
2~
Z +
im(qq0 )2
du i T u2
e 2m~
= e 2~T
2~
(1.2.46)
(1.2.47)
(1.2.48)
(1.2.49)
avec T = t t0 . Contrairement aux apparences, lintegrale (1.2.49) existe; nous donnons

ci-après le calcul de lintegrale de Fresnel. On a cependant lhabitude de la calculer en
inserant sous le signe integrale un facteur de convergence qui sobtient en remplacant T
par T (1 i), reel > 0, et en postposant à la fin du calcul la limite 0. Ceci revient
à considerer T complexe (avec ImT < 0) dans le calcul de lintegrale, mais reel dans la
reponse. Avec cette convention, (1.2.49) se ramène simplement à lintegrale de Poisson
r
Z +
u2
(1.2.50)
=
du e
valable pour Re > 0. Il vient donc

K0 (q,t; q0 ,t0 ) = e
im(qq0 )2
2~T
m
.
2i~T
(1.2.51)
Le propagateur retarde
i
G0R (q,t; 0,0) = (t) K0 (q,t; 0,0)
~
admet comme representation de Fourier
Z + Z +
1
0
0 (k,)
dk
deikqit G
GR (q,t; 0,0) =
R
(2)2
0 (k,) =
G
R
1
~(
~k 2
2m
+ i)
(1.2.52)
(1.2.53)
(1.2.54)
1.2.2
Int
egrales de Fresnel
Dans ce paragraphe, nous allons etablir les resultats suivants

Z +
2
dxeix = i.
(1.2.55)
Considerons
Z
dxe+ix = 2
dxe+ix = 2 limR
dxe+ix .
(1.2.56)
La fonction eiz etant holomorphe partout à distance finie, son integrale le long de tout
contour ferme homotope `
a un point est nulle, et en particulier pour le contour C defini
ci-dessous
Im z
R exp(i /4)
C
Re z
O
Fig. 1.1 Contour C pour lintegrale de Fresnel

I
On en tire
R
+iz 2
dze
Re
dz eiz = 0.
i
4
+iz 2
dze
(1.2.57)
diRei ei(Re
i )2
(1.2.58)
a) avec z = ue 4 , la première integrale du membre de droite devient egale à

Z
dueu e 4
(1.2.59)
donc
2 lim
R 0
dueu e 4 = e 4
i.
(1.2.60)
b) le module de la seconde integrale tend vers zero à la limite R , en effet

Z
diRei ei(Re
i )2
10
2 (cos2+isin2)
diRei eiR
(1.2.61)
et
|
d |
=
d| |
(1.2.62)
2 sin2
dReR
(1.2.63)
=
car, pour 0 2 , sin
lim |
2
.
Z
R 2
2 2
deR
2 0
2
(1 eR )
4R
(1.2.64)
(1.2.65)
Il vient donc
2
(1 eR ) = 0.
R 4R
d | lim
(1.2.66)
On trouve donc bien le resultat annonce ci-dessus. Lautre integrale est la complexe
conjuguee de celle-ci.
1.2.3
Loscillateur lin
eaire harmonique.
2 2
2
= p + m q .
(1.2.67)
H
2m
2
Dans le calcul, nous choisirons les unites ~ = 1,m = 1, = 1, nous retablirons ces facteurs
dans la reponse finale grace à leurs dimensions. Avec T = t t0 , il vient
Kolh (q,t; q0 ,t0 ) = < q|eiT H |q0 >

X
=
< q|n > eiT En < n|q0 >
(1.2.68)
(1.2.69)
1
En = (n + )
2
q2
in
Hn (q)e 2
< q|n >= un (q) = p
2n n!
(1.2.70)
(1.2.71)
Hn est le polynome dHermite de degre n;

>= En |n > ,
H|n
< n|n >= nn ,
X
n
|n >< n| = I.
(1.2.72)
(1.1.43) devient donc

iT
e 2 X einT 1 (q2 +q02 )
e 2
Hn (q)Hn (q0 ).
Kolh (q,t; q0 ,t0 ) =
n 2n n!
11
(1.2.73)
Or, on dispose dune formule de sommation des polynomes dHermite qui, pour |z| < 1,
donne
2
X z 1
2 (yzx)
n
2 12 (y (1z 2 ) )
( )
Hn (x)Hn (y) = (1 z ) e
.
(1.2.74)
2 n!
n
Cette formule est applicable à (1.2.69), avec x = q,y = q0 et z = eiT à la condition
que, comme dans le cas de la particule libre, on accorde à T une petite partie imaginaire
negative. Ainsi
i
1
{(q 2 + q02 )cosT 2qq0 }]
exp[
Kolh (q,t; q0 ,t0 ) =
2sinT
2isinT
et, après retablissement des facteurs dimensionnels
r
im
m
Kolh (q,t; q0 ,t0 ) =
exp[
{(q 2 + q02 )cosT 2qq0 }
2i~sinT
2~sinT
(1.2.75)
(1.2.76)
A la limite 0, (1.2.76) se reduit bien à (1.2.51).
1.3
Int
egrale fonctionnelle.
Partons de la definition (1.1.43) du noyau K, choisissons un point t1 intermediaire

entre t0 et t et inserons lidentite sous la forme
Z +
dq1 |q1 ,t1 >< q1 ,t1 |
(1.3.77)
I =
il vient
K(q,t; q0 ,t0 ) =< q,t|q0 ,t0 >=
dq1 < q,t|q1 ,t1 >< q1 ,t1 |q0 ,t0 > .
(1.3.78)
Recommencons la meme operation en un point t2 intermediaire entre t1 et t,

Z +
Z +
dq2 < q,t|q2 ,t2 >< q2 ,t2 |q1 ,t1 >< q1 ,t1 |q0 ,t0 >
dq1
< q,t|q0 ,t0 >=
et ainsi de suite, pour n puis n points intermediaires

t0 < t1 < t2 < < tn < t,
< q,t|q0 ,t0 > =
(1.3.79)
lim
dq1 dqn < q,t|qn ,tn > < q2 ,t2 |q1 ,t1 >< q1 ,t1 |q0 ,t0 >
Z
dq1 dqn < q,t|qn ,tn > < q2 ,t2 |q1 ,t1 >< q1 ,t1 |q0 ,t0 >
(1.3.80)
12
On suppose evidemment que ce que lon fait a un sens, cest-`

a-dire que la limite n
existe et que la reponse est unique quel que soit le decoupage de lintervalle (t0 ,t). Pour
la facilite, nous choisissons le decoupage de lintervalle (t0 ,t) en parties egales de longueur
t = (t t0 )n + 1. La limite n implique t 0 mais limn (n + 1)t = t t0 . Le
calcul du noyau K se ramène donc au calcul du noyau relatif à des temps voisins de t:
< qj+1 ,tj+1 |qj ,tj > = < qj+1 |ei
=
=
=
=
tH
~
|qj >
tH
< qj+1 |[I i
]|qj >
~
Z +
tH
]|qj >
dpj < qj+1 |pj >< pj |[I i
~
Z +
dpj ipj (qj+1 qj )~
t
e
[1 i (H(qj ,pj )]
~
2~
Z +
p
(q
q
)
dpj i j j+1 j i t H(qj ,pj )
~
e
e ~
2~
(1.3.81)
(1.3.82)
(1.3.83)
(1.3.84)
(1.3.85)
j >= H(qj ,pj ) < pj |qj > et H(qj ,pj ) est la fonction hamiltonienne classique
o`
u < pj |H|q
exprimee comme fonction des variables qj ,pj . Le calcul precedent reste valable
associee `
a H,
pour un hamiltonien plus general, mais dans ce cas, H(qj ,pj ) serait calcule comme le
cest-à-dire, en placant, dans H,
les operateurs p `
symbole gauche de loperateur H,
a
gauche des q ; ce problème ne se pose pas ici, vu les restrictions faites sur la forme de
lhamiltonien. En portant (1.3.85) dans (1.3.80), il vient
Z +
dpn
dp0
.
dq1 dqn
< q,t|q0 ,t0 >= lim
n
2~
2~
ei
Pn
j=0
pj (qj+1 qj )
~
ei
t
~
Pn
j=0
H(qj ,pj )
(1.3.86)
o`
u
qn+1 = q.
(1.3.87)
En introduisant une fonction q( ) telle que qj = q(tj ) = q( )| =tj alors

qj+1 qj = q(tj + t) q(tj ) = t qj
(1.3.88)
et (1.3.86) secrit encore

< q,t|q0 ,t0 >= lim
dq1 dqn
dpn i Pj
dp0
e
2~
2~
t
(pj qj H(qj ,pj ))
~
ou sous une forme plus symbolique

Z
dq( ) dp( ) ~i Rtt d (p( )q(
)H(q( ),p( ))
< q,t|q0 ,t0 >= [
.
]e 0
2~
(1.3.89)
(1.3.90)
Sous cette forme très generale, le noyau integral K apparat comme une integrale sur les
trajectoires de lespace des phases, seules les trajectoires de lespace des configurations ont
13
des limites imposees. Malgre la non-symetrie des integrations sur les qj et sur les pj , le
) dp( )
symbole dq(2~
peut etre vu comme la generalisation de la mesure de Liouville. Le
lecteur interesse calculera lui-meme lexpression fonctionnelle du noyau < p,t|p0 ,t0 >.
Puisque par hypothèse, H(q,p) est une fonction quadratique de p, il est possible deffectuer, dans (1.3.89), les integrations sur les variables p0 , ,pn ; comme precedemment,
on accordera `
a t une petite partie imaginaire negative. Il vient
r
Z +
2
p2
j
2m~ i t mqj
(p
q
)
i t
j
j
2m =
e ~ 2
(1.3.91)
dpj e ~
it
de sorte que (1.3.89) prend la forme

2
mqj
t Pn
n+1
m
] 2 ei ~ j=0 [ 2 V (qj )] (1.3.92)
dq1 dqn [
n
2i~t
r
r
Z
Rt
i
m
m
d L(q( ),q(
))
]
e ~ t0
(1.3.93)
=
[ dq( )
2i~t
2i~t
Z
i
(1.3.94)
=
Dq( ) e ~ S[q( );t0 ,t]
< q,t|q0 ,t0 > =
lim
Cest une integrale sur les trajectoires de lespace des configurations qui partent de q0 en
t0 et arrivent en q `
a linstant t.
q
q
0
t
0
Fig. 1.2 Exemples de chemins
14
1.3.1
Exemple de la particule libre.
Nous allons appliquer (1.3.94) au calcul du noyau K de la particule libre et montrer

que lon reproduit bien le resultat (1.2.51). Dans ce cas, (1.3.94) devient
Z +
Pn
n+1
2
m
(1.3.95)
dq1 dqn [
lim
] 2 ei j=0 (qj+1 qj )
n
2i~t
avec
=
et
m
2~t
(1.3.96)
n
X
(qj+1 qj )2 = (q qn )2 + (qn qn1 )2 + + (q1 q0 )2 .
(1.3.97)
j=0
Ce calcul se fait le plus simplement par induction sur n: on suppose donnee, pour n
lintegrale suivante
Z
i(qq0 )2
dq1 dqn ei[(qqn
)2 +(q
n qn1
)2 ++(q
1 q0
)2 ]
i n e n+1
= [ ]2
n+1
on demontre ensuite quelle est vraie pour (n + 1).

En effet
Z
2
2
2
dq1 dqn+1 ei[(qqn+1 ) +(qn+1 qn ) ++(q1 q0 ) ] =
=
i n
1
[ ]2
=
n+1
(1.3.98)
(1.3.99)
i(qn+1 q0 )2
n+1
e
i
dqn+1 [ ]n 2
n+1
dxei n+1 [x
2 (2+n)2x(q
1
i n
=
[ ]2
n+1
ei(qqn+1 ) =
2
2
0 +(n+1)q)+q0 +(n+1)q ]
(1.3.100)
=
i(n + 1) i n+2
(qq0 )2
e
.
(n + 2)
(1.3.101)
(1.3.102)
Il vient donc
K0 (q,t; q0 ,t0 ) = lim[
n
m
n+1
1
2i~t n i 2~t(n+1)
m
(qq0 )2
] 2
]2e
[
2i~t
m
n+1
(1.3.103)
qui nest autre que (1.2.51), car (n + 1)t = T . CQFD

Lamplitude de probabilite de transition < q,t|q0 ,t0 > donnee par (1.3.94) est donc une
somme infinie damplitudes, chacune delles, exprimant que la transition se fait en suivant
un chemin q( ) est egale au produit dune constante par
i
e ~ S[q( );t0 ,t]
(1.3.104)
o`
u S[q( ); t0 ,t] est la valeur que prend laction sur ce chemin. L amplitude relative `
a un
chemin etant le produit dune constante par un facteur de module 1, il en resulte que
15
la probabilite pour que la particule partant de q0 à linstant t0 , suive le chemin q( ) et

se trouve en q `
a linstant t est independante du chemin suivi. Cette formulation met en
evidence la difference entre la mecanique quantique et la mecanique classique qui, elle,
privilegie le chemin classique, cest-à-dire, celui qui rend laction stationnaire. Dans K,
on doit prendre en compte la contribution de tous les chemins possibles; or, la fonction `
a
S
integrer est une fonction oscillante du rapport ~ . A la limite classique (~ 0), la fonction
exp( ~i S[q( ); t0 ,t]) oscille avec une frequence très grande, en passant dun chemin q( )
à un chemin voisin q( ) + q( ) de sorte que les contributions positives et negatives se
cancellent mutuellement sauf, evidemment, au voisinage du chemin classique o`
u laction
est stationnaire et o`
u les contributions de chemins voisins sadditionnent. Dans ce sens,
la trajectoire classique retrouve son role privilegie lorsque ~ 0. Les contributions `
a
K des autres chemins constituent les fluctuations quantiques. Mettons ceci en evidence
par un changement de variables dans (1.3.94) (voir aussi approximation semi-classique).
Rappelons que
Z t
mq(
)2
V (q( ))].
(1.3.105)
S[q( ); t0 ,t] =
d [
2
t0
Soit q( ) le chemin classique, cest-à-dire, la solution de lequation dEuler-Lagrange qui
satisfait les conditions limites imposees
d
V
S
|q=q = [ mq
]|q=q = 0,
q
d
q
q| =t0 = q0 ,
q| =t = q
(1.3.106)
et introduisons dans 1.3.94) le changement de variables dintegration suivant

q( ) = q( ) + x( )
(1.3.107)
o`
u x( ) est donc lecart de q( ) par rapport à la trajectoire classique; par definition,
x sannule en t0 et t. En chaque point du decoupage de lintervalle de temps (t0 ,t), ce
changement de variables nest autre quune simple translation. Le Jacobien de cette transformation vaut 1 et
Dq( ) Dx( )
(1.3.108)
de plus,
S[q; t0 ,t] = S[
q + x; t0 ,t]
Z t
X xn
mx 2 x2
V (
V (n) (
q)
q )]
= S[
q ; t0 ,t] +
d [
2
2
n!
t0
(1.3.109)
(1.3.110)
n3
En vertu des equations dEuler-Lagrange et des conditions limites, il ny a plus de terme

lineaire en x. Avec
0 ,t)
S[
q ; t0 ,t] = S(t
(1.3.111)
qui nest autre que la valeur que prend laction sur la trajectoire classique, (1.3.94) se
recrit donc comme
Z
R
P
n
2
2
i
iS
[ t d [ m2x x2 V (
q ) n3 xn! V (n) (
q )]
~
(1.3.112)
< q,t|q0 ,t0 >= e
Dx( )e ~ t0
16
Lintegrale fonctionnelle restante porte sur les trajectoitre x( ) nulles en t0 et t. On peut

aisement calculer cette integrale pour la partie quadratique en x, comme nous le montrerons plus loin, quant aux termes dordre superieurs à 2, ils seront traites de facon perturbative (en remplacant lexponentielle par son developpement en serie!)
1.3.2
Partie quadratique
Montrons, `
a present, comment calculer lintegrale fonctionnelle portant sur la partie
quadratique
Z
R
2
2
i
[ t d [ m2x x2 V (
q )]
Dx( )e ~ t0
=
(1.3.113)
=
Dx( )e ~
Rt
t0
2
mx( )
[ d 2 +W ( )]x( )]
2
d
(1.3.114)
1
o`
u nous avons pose W ( ) = m
V (
q ). En passant de la première ligne à la seconde, nous
avons fait une integration par parties; le terme aux limites sannule car x( ) est nul en t0
et t. Considerons lequation differentielle (de Sturm-Liouville)
d2
+ W ( )]( ) = ( ).
d 2
(1.3.115)
d
Loperateur differentiel [ d
2 +W ( )] est formellement autoadjoint pour le produit scalaire
Z t
< | >=
d ( ).( )
(1.3.116)
t0
si les fonctions , normalisees de son domaine sannulent en t0 et t. Soient n une valeur

propre et n la fonction propre correspondante, < n |m >= nm et
X
x( ) =
an n ( ), an =< n |x > .
(1.3.117)
n
Il vient alors
Z t
Z t
X
X
d2
d x( )[
an n n ] =
n a2n .
d x( )[ 2 + W ( )]x( ) =
d
t0
t0
n
n
(1.3.118)
Ceci suggère, dans lintegrale fonctionnelle, le changement de variables dintegration

Y
x( ) an , Dx( )
dan J
(1.3.119)
n
o`
u J designe le jacobien
x
|.
(1.3.120)
an
Le changement de variables etant lineaire, ce jacobien est constant et sort de lintegrale.
Il vient ainsi
Z
R
2
)
i
[ t d mx(
[ d 2 +W ( )]x( )]
2
d
Dx( )e ~ t0
=
(1.3.121)
J =|
17
r
Z Y
Y 2i~
im P
2
a
n
(dan )e 2~ n n = J.
= J.
mn
n
n
r
2i~ n Y 1
1
= C. q
)
= J.(
2
m
n
n
det[ d + W ( )]
(1.3.122)
(1.3.123)
d 2
le determinant de loperateur differentiel etant defini comme le produit de ses valeurs

propres. Il ne reste plus quà calculer le determinant. pour cela, nous faisons appel au
theorème suivant (voir par exemple: S. Coleman The use of instantons) valable pour
W ( ) bornee sur lintervalle (t,t0 )):
Designons par la solution de lequation
[
d2
+ W ( )] =
d 2
(1.3.124)
qui satisfait le problème de Cauchy suivant

0) = 1
(t
(t0 ) = 0,
(1.3.125)
on a alors le
Th
eor`
eme 1. si W 1 ( ) et W 2 ( ) sont deux fonctions bornees de et si 1 et 2 sont
les solutions des equations ci-dessus, avec memes conditions de Cauchy,
2
d
1
det [ d
2 + W ( ) ]
det [
d2
d 2
+ W 2 ( ) ]
1 (t)
.
2 (t)
(1.3.126)
La demonstration de ce theorème consiste à montrer que les deux membres sont des
fonctions meromorphes de ayant memes zeros et memes poles et meme limite,1, lorsque
dans toute direction du plan complexe, sauf le long de laxe reel. Il en resulte,
pour = 0, que
d2
det [ d
2 + W ( )]
= const.
(1.3.127)
0 (t)
independante de W . On a donc
det [
d2
+ W ( )] = C.0 (t).
d 2
(1.3.128)
Exemple de loscillateur lin

eaire harmonique.
Lapplication de (1.3.112) à loscillateur lineaire harmonique fournit tout de suite, pour
2 2
V (q) = m2 q ,
iS
Kolh (q,t; q0 ,t0 ) = e ~ Kolh (0,t; 0,t0 ),

o`
u
S =
m
[(q 2 + q02 )cosT 2qq0 ].
2sinT
18
(1.3.129)
(1.3.130)
Le calcul du determinant donne

0 (t) =
1
sin(t t0 )
(1.3.131)
et
1
d2
2 ] = C. sin(t t0 ).
(1.3.132)
2
d
La constante C doit etre ajustee en facteur de K de facon à reproduire le noyau K0 de la

particule libre, `
a la limite 0. Il vient ainsi
r
m
.
(1.3.133)
Kolh (0,t; 0,t0 ) =
2i~sinT
det[
1.3.3
D
eveloppement perturbatif.
Pour des potentiels V (q) qui sont plus que quadratiques en q( ), on conserve lexponentielle de la partie quadratique et on developpe en serie lexponentielle contenant les
puissances plus elevees. Ainsi, lamplitude (1.3.112) devient
iS
< q,t|q0 ,t0 >= e ~
Dx( )e ~
Rt
t0
d [ m2x x2 V (
q )]
[1
i
~
d
t0
X xn
n3
n!
V (n) (
q) + ]
Le dernier changement de variables

Y
Y
n+1
1
x( ) = y( ) ~,
[dy(ti )]~ 2
[dx(ti )]~ 2 =
(1.3.134)
(1.3.135)
ti
ti
transforme, dans lexponentielle,

i
(partie quadratique en x) i(partie quadratique en y)
~
et dans la serie
Z t X n
Z
i t X xn (n)
y n 1 (n)
+ ]
[1
V
+ ] [1 i
d
~2 V
d
~ t0
n!
n!
t0
(1.3.136)
(1.3.137)
n3
n3
de sorte que, mis `

a part le facteur global ~ 2 qui seul subsiste après le dernier changement
de variables, la serie perturbative apparat comme une serie de puissances positives de ~: en
effet, pour des raisons de parite, seules les puissances paires de y contribuent à lintegrale,
or, n 3 et n pair, donc n = 2n font que
n
~ 2 1 = ~n 1
et n 2.
19
(1.3.138)
A lapproximation semi-classique o`
u on ne garde du developpement ci-dessus que la
contribution dominante pour ~ 0, il vient
1 iS
C
< q,t|q0 ,t0 > e ~ q
2
~
det [ d
dt2
1
q )]
m V (
(1.3.139)
Remarque: sil y a plus quune trajectoire classique, il convient de sommer les amplitudes. Meme lapproximation semi-classique peut dans ce cas mettre en evidence des
effets non-classiques. Voir par exemple leffet Bohm-Aharonov.
1.4
Produits chronologiques dop

erateurs.
Considerons lelement de matrice

< q,t|
q (t1 )|q0 ,t0 >
pour t0 t1 t, et inserons loperateur unite sous la forme
Z +
dq1 |q1 ,t1 >< q1 ,t1 |.
I =
(1.4.140)
(1.4.141)
Il vient
< q,t|
q (t1 )|q0 ,t0 >=
dq1 < q,t|q1 ,t1 > q1 < q1 ,t1 |q0 ,t0 > .
(1.4.142)
En posant q1 = q(t1 ) et en utilisant (1.3.94) pour chacune des amplitudes sous lintegrale,
lexpression ci-dessus devient
Z
Z
Z +
i
i
S[q(1 );t1 ,t]
~
q(t1 )
Dq(2 ) e ~ S[q(2 );t0 ,t1 ]
(1.4.143)
dq(t1 ) Dq(1 ) e
avec t1 1 t et t0 2 t1 . En recollant les deux ensembles de trajectoires en q1 `

a
linstant t1 , on obtient
Z
i
< q,t|
q (t1 )|q0 ,t0 >= Dq( ) q(t1 ) e ~ S[q( );t0 ,t] ,
(1.4.144)
à la condition que t1 figure dans tout decoupage de lintervalle de temps (t0 ,t). On obtient
de la meme facon, pour t0 t1 t2 t,
Z
i
< q,t|
q (t2 )
q (t1 )|q0 ,t0 >= Dq( ) q(t2 ) q(t1 ) e ~ S[q( );t0 ,t]
(1.4.145)
=
Dq( ) q(t1 ) q(t2 ) ei~S[q( );t0 ,t] ,
20
(1.4.146)
car sous le signe integrale, q(t1 ) et q(t2 ) sont des variables reelles qui commutent. Par
contre, lexpression (1.4.146) est egale à lelement de matrice
< q,t|
q (t1 )
q (t2 )|q0 ,t0 >
mais pour t0 t2 t1 t, cette fois. Ceci se resume donc en
Z
i
< q,t|T q(t1 )
q (t2 )|q0 ,t0 >= Dq( ) q(t1 ) q(t2 ) e ~ S[q( );t0 ,t] .
o`
u T designe le produit chronologique des operateurs. En general,
Z
i
< q,t|T q(t1 ) q(tn )|q0 ,t0 >= Dq( ) q(t1 ) q(tn ) e ~ S[q( );t0 ,t] .
1.5
(1.4.147)
(1.4.148)
(1.4.149)
Fonctions de Green.
A partir de (1.4.149), nous allons chercher à etablir lintegrale fonctionnelle qui donne
les fonctions de Green du système
Gn (t1 , ,tn ) =< 0|T q(t1 ) q(tn )|0 >
(1.5.150)
denergie minimum E0
o`
u |0 > designe letat fondamental du système, etat propre de H
|0 >= E0 |0 > .
H
(1.5.151)
Pour ce faire, partons de lamplitude < q,t|q0 ,t0 > et inserons loperateur unite construit
H|n
>= En |n > , En > En1 ,
sur les vecteurs propres de H,
X
I =
|n >< n|.
(1.5.152)
n
Il vient
< q,t|q0 ,t0 > =
< q,t|n >< n|q0 ,t0 >
(1.5.153)
X
n
< q|e ~ (tt0 )H |n >< n|q0 >
(1.5.154)
e ~ (tt0 )En < q|n >< n|q0 >
(1.5.155)
X

i
i
< q|n >< n|q0 > e ~ (tt0 )(En E0 )
= e ~ (tt0 )E0 < q|0 >< 0|q0 > +
n1
(1.5.156)
Dans le crochet du dernier terme, on voit que si lon remplace

T = t t0 T = T (1 i),
21
(1.5.157)
reel et > 0, `
a la limite, T , seul subsistera le premier terme
< q|0 >< 0|q0 >
(1.5.158)
les autres etant exponentiellement decroissants par exp( T~ (En E0 ). Avec la convention
(1.5.157), il vient donc, asymptotiquement, pour T ,
< q,t|q0 ,t0 > < q|0 >< 0|q0 > eiE0 T ~.
(1.5.159)
Considerons, par ailleurs, le premier membre de (1.4.149), et choisissons deux temps ta et

tb finis, o`
u inserer loperateur unite. Par definition, nous choisissons
t0 < ta < ti1 < < tin < tb < t
(1.5.160)
alors (1.4.149) devient

Z +
Z +
dqb < q,t|qb ,tb >< qb ,tb |T q(t1 ) q(tn )|qa ,ta >< qa ,ta |q0 ,t0 > . (1.5.161)
dqa
Rendons `
a present les variables ta t0 ,t tb complexes par (1.5.157) puis, passons aux
limites t0 , t +. En utilisant (1.5.159), il reste, pour les comportements
asymptotiques
< q,t|T q(t1 ) q(tn )|q0 ,t0 > < q,t|q0 ,t0 > . < 0|T q(t1 ) q(tn )|0 > .
(1.5.162)
On en tire donc que la fonction de Green Gn sobtient en prenant le quotient du comportement asymptotique de (1.5.162) par le comportement asymptotique de (1.5.159):
Gn (t1 , ,tn ) =
=
o`
u
lim
lim
t0 ;t+
t0 ;t+
< q,t|T q(t1 ) q(tn )|q0 ,t0 > < q,t|q0 ,t0 > =
(1.5.163)
(1.5.164)
Dq( ) q(t1 ) q(tn ) e ~ S[q( );t0 ,t]

S[q] =
Dq( ) e ~ S[q( );t0 ,t]
t(1i)
d L(q,q).
(1.5.165)
t0 (1i)
Le quotient (1.5.164) est en principe independant des valeurs limites q,q0 des trajectoires
à la condition que les memes limites soient utilisees au numerateur et au denominateur.
En fait, les bonnes conditions limites (voir à ce sujet dans Faddeev et Slavnov, la
representation holomorphe de lintegrale de chemins) sont les conditions dites de radiation pour lesquelles les fonctions q( ) devenues complexes, nont, pour + quune
partie `
a frequence positive et nont, pour quune partie à frequence negative,
parce qualors elles satisfont automatiquement
lim
t+(1i)
q(t) = 0,
lim
t0 (1i)
22
q(t0 ) = 0.
(1.5.166)
1.6
Fonctionnelle g
en
eratrice des fonctions de Green.
Toutes les fonctions de Green peuvent sobtenir comme derivees fonctionnelles par
rapport `
a la source J(t), de la fonctionnelle generatrice Z[J] definie par
Z
R t(1i)
i t (1i) d [L(q,q)+J(
)q( )]
Z[J] =
lim
Dq( )e 0
=
(1.6.167)
t0 ;t+
= Z[0].[1 +
n Z
X
i
n!
n=1
dt1 dtn J(t1 ) J(tn ) Gn (t1 , ,tn )].
(1.6.168)
J(t) est une source arbitraire nulle en dehors dun segment borne de laxe reel, suffisamment grand pour contenir tous les arguments des Gn . Dans Z[J]), les trajectoires sur
lesquelles on intègre sannulent en +(1 i) et en (1 i). De (1.6.168),
on tire
n Z[J]
1
|J=0 .
(1.6.169)
Gn (t1 , ,tn ) = n
i Z[0] J(t1 ) J(tn )
Th
eor`
eme 2. La fonctionnelle Z[J] nest autre que lamplitude de transition du vide au
vide sous leffet de la source.
J (t) = H
J(t) q, o`
= 0 et J(t) est une source classique. Noter
En effet, Soit H
u t H
=H
0 . Loperateur devolution U
J (t,t0 ) est donne par
que H
X
i 1 t
( )n
dt1 dtn J(t1 ) J(tn )T (
qI (t1 ) qI (tn ))].
~ n! t0
n=0
(1.6.170)
qI (t) est lobservable position en image de Dirac definie par
J (t,t0 ) = U
J=0 (t,t0 )[I +
U
+ (t,t0 )
0 (t,t0 ).
qI (t) = U
qU
0
(1.6.171)
De meme, lobservable impulsion en image de Dirac est definie par

+ (t,t0 )
0 (t,t0 ).
pI (t) = U
pU
0
(1.6.172)
Leur evolution au cours du temps est gouvernee par les equations sans source
i~t qI (t) = [
qI (t),H]
i~t pI (t) = [
pI (t),H]
(1.6.173)
(1.6.174)
tandis que letat en image de Dirac

+ (t,t0 ) |,t >
|,t >I = U
0
(1.6.175)
evolue au cours du temps du fait de la source

+ (t,t0 )[J(t) q ] |,t >= J(t)
i~t |,t >I = U
qI (t) |,t >I .
0
23
(1.6.176)
au temps t0 (donc aussi à tout instant en vertu

Si |0 > designe letat fondamental de H
des hypothèses) de valeur propre E0 , au temps t, sous leffet de la source, il a evolue vers
letat
J (t,t0 ) |0 > .
U
(1.6.177)
a` linstant t0 vers
Lamplitude de probabilite de transition de letat fondamental de H
letat fondamental de H `
a linstant t est donnee par
J (t,t0 ) |0 >=< 0,t|0,t0 >J
< 0|U
(1.6.178)
Z
X
i n1 t
dt1 dtn J(t1 ) J(tn )T (

qI (t1 ) qI (tn ))]|0 > (1.6.179)
=< 0|U0 (t,t0 )[I+ ( )
~ n! t0
n=0
= e ~ (tt0 )E0 [1 +
X
i 1 t
( )n
dt1 dtn J(t1 ) J(tn ) Gn (t1 , ,tn )].
~ n! t0
(1.6.180)
n=0
On en deduit donc que
Z[J] =< 0, + |0, >J .
(1.6.181)
CQFD
1.6.1
Exemple de loscillateur lin

eaire harmonique.
Z0 [J] =
lim
t0 ;t+
Dq( )e 2
R t(1i)
t0 (1i)
d [q2 2 q 2 +2Jq]
(1.6.182)
Designons par q(t) la solution de lequation dEuler-Lagrange en presence de la source

q + 2 q = J
(1.6.183)
qui sannule en +(1 i) et en (1 i), et effectuons dans (1.6.182) le changement

de variables dintegration suivant
q( ) = q( ) + x( ).
(1.6.184)
Par definition, x( ) sannule en +(1 i) et en (1 i). Il vient alors, en utilisant

lequation dEuler-Lagange et les conditions limites sur x,
Z +(1i)
Z +(1i)
2
2 2
d [q2 2 q2 + 2J q + x 2 2 x2 ] (1.6.185)
d [q q + 2Jq] =
(1i)
(1i)
de sorte que
Z0 [J] = eiSJ
i2
Dx( )e
= Z0 [0].eiSJ
R +(1i)
(1i)
d [x 2 2 x2 ]
(1.6.186)
(1.6.187)
SJ est la valeur que prend laction, avec source, le long de la trajectoire q. Le calcul de la
fonctionnelle Z0 [J] est ainsi reduit au calcul de lintegrale ordinaire SJ . Il ne nous reste
24
plus quà resoudre lequation (1.6.183) pour trouver q. La solution generale de (1.6.183) est
la somme dune solution particulière de (1.6.183) et de la solution generale de lequation
homogène. Or, la theorie quantique de loscillateur lineaire harmonique nous fournit, par
iF (t1 t2 ) =< 0|T q(t1 )
q (t2 )|0 >
(1.6.188)
avec
1
(
a(t) + a
+ (t))
2
1
(i)(
a(t) a
+ (t))
2
q(t) =
p(t) =
(1.6.189)
(1.6.190)
et
n|n 1,t >
+
a
(t)|n,t > =
n + 1|n + 1,t >
a
(t)|n,t > =
< n,t|n ,t > = nn
(1.6.191)
(1.6.192)
(1.6.193)
1
En = (n + )
2
(1.6.194)
|0 >= |0,t >
(1.6.195)
et
iF (t1 t2 ) =
=
1
[(t1 t2 )ei(t1 t2 ) + (t2 t1 )ei(t1 t2 )
2
Z +
i
ei (t1 t2 )
d 2
2
2 + i
(1.6.196)
(1.6.197)
le propagateur de Feynman, F (t1 t2 ), solution de lequation

(
d2
+ 2 )F ( ) = ( )
d 2
(1.6.198)
qui, pour > 0, na quune partie à frequence positive, et pour < 0, na quune partie `
a
frequence negative. La solution particulière de (1.6.183) quelle permet de construire, par
convolution avec la source J,
Z +
d F ( ) J( )
(1.6.199)
satisfait donc les conditions limites imposees. La solution generale de lequation homogène
Aei + Bei
(1.6.200)
dans laquelle les constantes A et B doivent encore etre ajustees pour satisfaire les conditions limites est donc identiquement nulle. En resume,
Z +
d F ( ) J( )
(1.6.201)
q( ) =
25
et
SJ
Z
1
d [q2 2 q2 + 2J q]
2
Z
1
d [
q(q + 2 q) + 2J q]
=
2
Z
1
=
d [J( )
q ( )]
2
Z
1
d d J( )F ( )J( )
=
2
=
(1.6.202)
(1.6.203)
(1.6.204)
(1.6.205)
Do`
u il vient, avec (1.6.187), la fonctionnelle generatice des fonctions de Green de loscillateur lineaire harmonique
Z0 [J] = Z0 [0].e
i
2
d d J( )F ( )J( )
(1.6.206)
Les fonctions de Green de loscillateur lineaire harmonique se calculent par (1.6.169):

toutes les fonctions de Green dindices impairs sont nulles
G2n+1 = 0
(1.6.207)
G2 (t1 ,t2 ) = iF (t1 t2 )
(1.6.208)
les autres sont

G4 (t1 ,t2 ,t3 ,t4 ) = G2 (t1 ,t2 )G2 (t3 ,t4 ) + G2 (t1 ,t3 )G2 (t2 ,t4 ) + G2 (t1 ,t4 )G2 (t2 ,t3 )
(1.6.209)
G6 (t1 , ,t6 ) = G2 (t1 ,t2 )G4 (t3 ,t4 ,t5 ,t6 ) + G2 (t1 ,t3 )G4 (t2 ,t4 ,t5 ,t6 )+
(1.6.210)
+G2 (t1 ,t4 )G4 (t2 ,t3 ,t5 ,t6 ) + G2 (t1 ,t5 )G4 (t2 ,t3 ,t4 ,t6 ) + G2 (t1 ,t6 )G4 (t2 ,t3 ,t4 ,t5 )
(1.6.211)
et ainsi de suite. Les G2n sont des sommes de produits de G2 correspondant à toutes les
facons possibles de repartir 2n arguments en paires, sans tenir compte de lordre de ces
paires. Le nombre de termes dans G2n est
(2n)!
1 2n 2n2
C2 .C2
...C24 .C22 =
.
n!
n! 2n
(1.6.212)
Notons encore que, en introduisant dans (1.6.187) le noyau-distribution

N ( ) = N ( ) = [
tel que
d2
+ 2 ] ( )
d 2
d N ( ) F ( ) = ( )
(1.6.213)
(1.6.214)
ce que, formellement, on peut voir comme linverse du propagateur

[N ( )]1 = F ( ),
26
(1.6.215)
il vient
Z
Z
d [q2 2 q 2 +2Jq] = d d [q( )N ( )q( )+J( )( )q( )+q( )( )J( )]
(1.6.216)
et lintegrale fonctionnelle (1.6.187) est la generalisation (n ) de lintegrale suivante
Z
i
(1.6.217)
z0 (j) =
dx1 dxn e 2 [xk Nkl xl +xk kl jl +jk kl xl ]
Z
i
T
T
T
=
dx1 dxn e 2 [x N x+x j+j x]
(1.6.218)
o`
u la matrice N est supposee symetrique et inversible. Lintegrale (1.6.216) se calcule en
effectuant le changement de variables
xk = xk [N 1 ]kl jl
(1.6.219)
de jacobien 1, pour lequel lexposant devient

xT N x + xT j + j T x = xT N x j T N 1 j
(1.6.220)
de sorte que
i
z0 (j) = e 2 j
N 1 j
dx1 dxn e 2 x
N x
=e
i
2
j T N 1 j
.z0 (0).
(1.6.221)
La meme operation effectuee sur (1.6.182), avec (1.6.215), fournit directement (1.6.206).
La relation (1.6.215) est bien definie, en ce sens que linverse de N est unique sur les
fonctions qui satisfont les conditions limites de radiation!
Remarque: lintegrale z0 (j) se calcule en changeant de variables dintegration
y = O x , y T = xT OT ,
O OT = OT O = I
(1.6.222)
o`
u O est la matrice orthogonale (de determinant 1) qui diagonalise N :
O N OT = diag(1 , n )
les i sont les valeurs propres de la matrice N ,
Z
i
n
1
2
2
z0 (0) = dy1 dyn e 2 [1 y1 ++n yn ] = (2i) 2
.
detN
0n a donc aussi
Z0 [0] = constante [det(
27
1
d2
2 )] 2 .
d 2
(1.6.223)
(1.6.224)
(1.6.225)
1.7
D
eveloppement perturbatif des fonctions de Green.
Considerons un lagrangien de la forme

1
L(q,q)
= (q2 2 q 2 ) v(q)) = L0 + L1
(1.7.226)
2
o`
u L0 est le lagrangien de loscillateur lineaire harmonique, L1 = v(q) est un polynome
(monome) en q, est une constante de couplage. La fonctionnelle generatrice des fonctions
de Green Z[J] peut etre remplacee par
Z
R
R
Z[J] =
Dq( )ei d [L0 +J( )q( )] ei d L1 [q( )]
(1.7.227)
Z
R
R
i d L1 [i J( ) ]
Dq( ) ei d [L0 +J( )q( )]
(1.7.228)
= e
i
= e
d L1 [i J( ) ]
Z0 [J]
(1.7.229)
Pour obtenir ce resultat, nous avons utilise le fait que, sous le signe integrale
q(t) ei
d J( )q( )
= i
ei d J( )q( )
J(t)
(1.7.230)
donc aussi
] ei d J( )q( ) .
J(t)
La formule (1.7.229), dans laquelle on remplace loperateur
F [q(t)] ei
d J( )q( )
= F [i
(1.7.231)
d L1 [i J( ) ]
(1.7.232)
par son developpement en serie, qui avec (1.7.226) est aussi un developpement en serie
de puissances de , donne, en principe, un moyen de calculer la fonctionnelle Z[J]. En
pratique, on limite le developpement en puissances de en ne gardant quun nombre
fini de termes. Il est cependant plus facile dobtenir, pour chaque fonction de Green, un
developpement en puissances de à partir de
R
Dq( ) q(t1 ) q(tn ) eiS[q( )]
R
Gn (t1 , ,tn ) =
(1.7.233)
Dq( ) eiS[q( )]
en remplacant, au numerateur et au denominateur, eiS par
iS
iS0 +iS1
=e
iS0
=e
[1 +
En divisant numerateur et denominateur par

Z
Dq( ) eiS0
n
X
i
n!
n=1
S1n ]
(1.7.234)
(1.7.235)
on obtient Gn sous la forme du quotient de deux series de puissances de dont les coefficients sont les fonctions de Green de loscillateur lineaire harmonique. Le quotient des
deux series est encore une serie de puissances de qui, limitee à un ordre fini N , fournit
le developpement perturbatif de Gn à cet ordre.
28
1.7.1
Exemple: v(q) =
q4
.
4!
Limite au premier ordre en ,

a) la fonction de Green à deux points ou propagateur est donne par
R
d G6 (t1 ,t2 ,,,, )
G2 (t1 ,t2 ) i
4!
R
G2 (t1 ,t2 ) =
(1.7.236)
i
1 4! d G4 (,,, )
Z
i
= G2 (t1 ,t2 )
d [G6 (t1 ,t2 ,,,, ) G2 (t1 ,t2 )G4 (,,, )] + O(2 )
4!
Z
i
d [12G2 (t1 , ) G2 (, ) G2 (,t2 )] + O(2 )
(1.7.237)
= G2 (t1 ,t2 )
4!
que lon represente par la notation graphique suivante, due à Feynman,
=
t
t
1
+
2
1
2
Fig. 1.3 Propagateur au premier ordre en

b) la fonction de Green à quatre points est donnee par
R
G4 (t1 ,t2 ,t3 ,t4 ) i
4! R d G8 (t1 ,t2 ,t3 ,t4 ,,,, )

G4 (t1 ,t2 ,t3 ,t4 ) =
(1.7.238)
1 i4! d G4 (,,, )
Z
i
d [G8 G4 (t1 ,...t4 ) G4 (,,, )] (1.7.239)
= G4 (t1 ,...t4 )
4!
c) Jusquà lordre deux en , le propagateur est donne par les diagrammes
La serie
R
R
d q( )4 + ...]
Dq( ) eiS0 [1 i
4!
R
Dq( ) eiS0
(1.7.240)
qui constitue le denominateur commun de toutes les fonctions de Green Gn a pour representation
graphique
Sa presence `
a pour effet de supprimer dans la serie de diagrammes representant le
a un ordre donne en , tous les diagrammes qui sont des produits
numerateur de Gn , `
de diagrammes dordres inferieurs en par des diagrammes sans pattes externes. Par
exemple, dans G2 , au premier ordre, le denominateur a elimine le produit
Dans G4 , au premier ordre, le denominateur a fait disparatre lesdiagrammes de la
figure 1.8
Ces diagrammes sans pattes externes sont appeles diagrammes du vide. La remarque
que nous venons de faire dans ces cas particuliers est tout à fait generale.
La structure des diagrammes de Feynman est totalement definie par le lagrangien: les
règles de Feynman sont resumees dans la figure 1.9
29
t
4
=
t
+ 1
2
+1
2
+ 1
2
+1
2
+ 1
2
+
t
+1
2
Fig. 1.4 Fonction de Green a

` 4 points
=
+ 1
4
+ 1
4
+ 1
2
1
6
Fig. 1.5 Propagateur jusqu`

a lordre 2
1.8
G
en
eralisation `
a N degr
es de libert
e.
Tout ce qui a ete etabli dans les paragraphes qui precèdent reste valable pour des
systèmes `
a N degres de liberte moyennant les remplacements suivants
|q > |q1 , ,qN > ,
|p > |p1 , ,pN >
< q|p >< q1 , ,qN |p1 , ,pN

Dq( )
N
Y
i=1
Dqi ( )
J (J1 , ,JN )
30
i
N
Y
e ~ pj qj
)
(
>=
2~
j=1
(1.8.241)
(1.8.242)
(1.8.243)
(1.8.244)
1 +
3
4!
128
1
16
1
48
Dnominateur limit l'ordre 2
Fig. 1.6 Representation graphique du denominateur
1
8
Fig. 1.7 Termes de G2 elimines par le denominateur
3
4!
Fig. 1.8 Termes de G4 elimines par le denominateur
a) la partie quadratique fournit le propagateur libre
b) l'interaction fournit le vertex
c) le nombre de pattes du vertex est donn par la puissance de q

dans le lagrangien d'interaction
Fig. 1.9 Règles de Feynman
31
Chapitre 2
Lint
egrale fonctionnelle pour les
champs libres bosoniques.
2.1
Champ scalaire r
eel libre.
En generalisant les notions precedentes aux cas N , on se convainc aisement que

lamplitude de probabilite K([],t; [0 ],t0 ) de trouver le système dans la configuration `
a
linstant t, sachant quil etait dans la configuration 0 à linstant t0 peut encore secrire
K([],t; [0 ],t0 ) = < [],t||[0 ],t0 >
Z Y
D(~x, ) eiS[;t0 ,t]
=
(2.1.1)
(2.1.2)
x
~
o`
u lintegrale porte sur toutes les configurations possibles du champ (~x, ), pour t0 < <
t, entre 0 (~x) = (~x,t0 ) et = (~x,t). S[; t0 ,t] est laction du champ scalaire reel libre
Z t
Z
1
(2.1.3)
S[; t0 ,t] =
d
d3 x ( m2 2 ).
2
t0
Plus interessantes en T.Q.C. sont les fonctions de Green
1 ) (x
n )|0 >
Gn (x1 , ,xn ) =< 0|T (x
(2.1.4)
o`
u |0 > designe le vide, annihile par tous les operateurs de destruction
a(~k,t) |0 >= 0.
Ces fonctions de Green admettent une representation fonctionnelle
RQ
x, )(x1 ) (xn )eiS[]
~
x D(~
RQ
Gn (x1 , ,xn ) =
x, )eiS[]
~
x D(~
1
n Z[J]
= n
.
|J=0
i Z0 [0] J(x1 ) J(xn )
32
(2.1.5)
(2.1.6)
(2.1.7)
o`
u Z[J] est la fonctionnelle generatrice
Z Y
R 4
i
2 2
D(~x, ) e 2 d x[ m +2J(x)(x)]
Z[J] =
(2.1.8)
~
x
Comme dans le cas de loscillateur lineaire harmonique, laction etant quadratique en ,

la fonctionnelle Z se calcule exactement. Elle vaut
i
Z[J] = Z[0].e 2
d4 xd4 yJ(x)F (xy)J(y)
(2.1.9)
F est le propagateur du champ scalaire de masse m. Les fonctions de Green se calculent

par derivation fonctionnelle de Z par rapport à la source J. Comme pour loscillateur
harmonique, les fonctions de Green à 2n + 1 points sont nulles, les autres sont des sommes
de produits de G2
G2 (x,y) = iF (x y)
(2.1.10)
G4 (x1 , ,x4 ) = G2 (x1 ,x2 )G2 (x3 ,x4 ) + G2 (x1 ,x3 )G2 (x2 ,x4 ) + G2 (x1 ,x4 )G2 (x2 ,x3 )
(2.1.11)
et ainsi de suite.
2.2
Champ scalaire complexe libre.
Le passage du champ scalaire reel libre au champ scalaire complexe libre ne pose pas
de difficulte, puisque le champ scalaire complexe equivaut à deux champs scalaires reels
de meme masse
(x) =
(x) =
1
(1 (x) i2 (x))
2
1
(1 (x) + i2 (x))
2
L = m2
1
=
[ 1 1 m2 21 + 2 2 m2 22 ]
2
(2.2.12)
(2.2.13)
(2.2.14)
(2.2.15)
Les fonctions de Green sont

Gn (x1 ,x2 , ,y1 ,y2 , ) = < 0|T (x
1 ) (y1 ) |0 >
1
n Z[J,J ]
= n
.
|J=J =0
i Z[0,0] J (x1 ) J(y1 )
et la fonctionnelle generatrice est ici
Z Y
R 4
D(~x, )D (~x, )ei d x[L+J (x)(x)+J(x) (x)]

Z[J,J ] =
(2.2.16)
(2.2.17)
(2.2.18)
~
x
= Z[0,0].ei
d4 xd4 yJ (x)F (xy)J(y)
33
(2.2.19)
Dans (2.2.18), lintegrale sur les variables complexes , , pour ~x, fixes, nest autre que
lintegrale dans le plan reel 1 ,2 en coordonnees isotropes:
d d =
1
[d1 id2 ] [d1 + id2 ] = id1 d2 .
2
(2.2.20)
Les seules fonctions de Green non nulles ont un nombre pair de points et contiennent le
meme nombre doperateurs et :
G2 (x,y) = iF (x y)
G4 (x1 ,x2 ,y1 ,y2 ) = G2 (x1 ,y1 )G2 (x2 ,y2 ) + G2 (x1 ,y2 )G2 (x2 ,y1 )
(2.2.21)
(2.2.22)
et ainsi de suite. Dans la representation graphique de Feynman, le propagateur G2 (x,y)

est represente par une ligne orientee
y
2.3
Champ
electromagn
etique libre.
La definition de lintegrale fonctionnelle pour le champ electromagnetique pose quelque

problème `
a cause de linvariance de jauge de laction
Z
1
S[A ] = S[A] =
d4 x F F .
(2.3.23)
4
Pour
Si on ecrit brutalement
Z[0] =
A = A + ,
(2.3.24)
S[A ] = S[A].
(2.3.25)
Z YY
~
x
DA (~x, ) eiS[A]
(2.3.26)
en integrant sur toutes les configurations des potentiels A , la fonction exp(iS[A] prenant
la meme valeur pour tous les A qui se deduisent lun de lautre par une transformation
de jauge, Z[0] est infini; il en est de meme de Z[J ]. Pour remedier à cet inconvenient,
nous suivrons la methode de Faddeev et Popov.
Representons symboliquement, sur le dessin ci-dessous, lensemble de toutes les configurations possibles des A (~x, ); et representons par une ligne horizontale passant par A
la classe dequivalence de A, cest-à-dire, toutes les configurations qui se deduisent de A
par une transformation (2.3.24).
Choisissons une fonction g(A) telle que lequation g(A) = 0 determine un et un seul
A dans chaque classe dequivalence, puis formons la fonctionnelle suivante
Z
1
g [A] = D(x) [g(A + )].
(2.3.27)
34
A'
g(A)=0
Fig. 2.1 Classes dequivalence de potentiels

(!Pour etre correct, il faudrait definir lintegrale ci-dessus comme lintegrale sur le groupe
compact U1 , cela ne nous parat pas indispensable dans un calcul aussi formel !) La fonctionnelle (2.3.27) est invariante sous les transformations de jauge (2.3.24); en effet, pour
fixe,
Z
1
g [A + ] =
D(x) [g(A + + )]
(2.3.28)
Z
=
D(x) [g(A + ( + ))]
(2.3.29)
Z
=
D (x) + )]
(2.3.30)
= 1
g [A]
(2.3.31)
Nous avons pose

= + .
(2.3.32)
(2.3.33)
On en tire aussi
1 = g [A].
D(x) [g(A + )].
On peut donc ecrire Z[0] comme

Z YY
DA (~x, ) eiS[A] 1
Z[0] =
~
x
Z YY
~
x
(2.3.34)
D(x)
DA (~x, ) eiS[A] g [A].

Z YY
~
x
D(x) [g(A + )]
(2.3.35)
DA (~x, ) eiS[A] g [A] [g(A + )]
(2.3.36)
o`
u lon a hardiment permute lordre des integrations. Effectuons ensuite le changement de
variables dintegration
A = A + , DA = DA
(2.3.37)
S[A ] = S[A],
g [A ] = g [A]
35
(2.3.38)
il vient donc
Z[0] =
Lintegrale
D(x)
Z YY
~
x
Z YY
~
x
DA (~x, ) eiS[A ] g [A ] [g(A )].
DA (~x, ) eiS[A ] g [A ] [g(A )]
est independante de , de sorte que Z[0] se trouve factorise en

Z YY
DA (~x, ) eiS[A] g [A] [g(A)]
Z[0] = V.
~
x
(2.3.39)
(2.3.40)
(2.3.41)
o`
u
V=
D(x)
(2.3.42)
est une constante et peut rejoindre un facteur de normalisation dans Z et etre ensuite
oubliee dans le calcul des fonctions de Green. Il reste à calculer g [A]: pour A fixe,
g(A + ) = g() donc, en changeant dans (2.3.27) de variables dintegration g, il
vient
Z
1
g [A] =
Dg det| | (g)
(2.3.43)
g
= det| |g=0
(2.3.44)
g
Donc
g [A] = det|
g(A + )
|g=0
suppose non nul dès le depart. Il vient donc encore

Z YY
g(A + )
DA (~x, ) eiS[A] det|
Z[0] = V.
|g=0 [g(A)].
(2.3.45)
(2.3.46)
~
x
Si g(A) est une fonction lineaire de A, g(A + ) est lineaire en , donc

det|
g(A + )
|g=0
(2.3.47)
est une constante (independante de A) qui peut rejoindre V dans le facteur de normalisation de Z. Dans ce cas,
Z YY
DA (~x, ) eiS[A] [g(A)].
(2.3.48)
Z[0] = N .
~
x
Exemple:
g(A)x = A (x) c(x)
36
(2.3.49)
g(A + )x = A (x) + (x) c(x)
(2.3.50)
g(A + )x (y) = 4 (x y).
(2.3.51)
et
Avec le choix (2.3.49) de la fonction de fixation de la jauge, la fonctionnelle (2.3.48)
ne depend pas de c(x): en effet, c(x) disparat totalement de (2.3.48) par le changement
de variables dintegration
A = A + , = c.
(2.3.52)
Il sen suit que lon ne fait que multiplier (2.3.48) par un facteur constant si on lintègre
par
Z
R 4 2
(2.3.53)
Dc(x) ei 2 d xc (x) .Z[0].
Mais alors, on obtient
Z[0] = N
= N
= N
Dc(x) ei 2
d4 xc2 (x)
DA (~x, ) eiS[A] ei 2
DA (x) ei
DA (~x, ) eiS[A] [ A (x) c(x)] (2.3.54)

d4 x( A (x))2
d4 x[ 41 F F
( A (x))2 ]
2
(2.3.55)
(2.3.56)
Lintegrale fonctionnelle (2.3.56) porte sur toutes les configurations possibles de A , mais
laction invariante de jauge a ete modifiee par laddition dun terme qui nest pas invariant
de jauge. Notons que sous la forme (2.3.56) cest toujours lintegrale de lexponentielle
dune fonction quadratique des A . On peut encore lecrire sous la forme
Z
R 4 4
i
(2.3.57)
Z[0] = N
DA (x) e 2 d xd yA (x)M (x,y)A (y)
avec le noyau-distribution
M (x,y) = M (y,x) = [g (1 ) ]4 (x y).
(2.3.58)
Pour toute valeur non nulle de , le determinant de loperateur [g (1 ) ] est

non nul, et [M (x,y)]1 existe.
Si J (x) designe une source vectorielle arbitraire, la fonctionnelle generatrice des fonctions de Green du champ electromagnetique libre peut donc encore etre definie par
Z
R 4 4
i
Z[J ] = N
DA (x)e 2 d xd y[A (x)M (x,y)A (y)+2J (x) (xy)A (y)] (2.3.59)
i
= Z[0].e 2
F (xy)J (y)
d4 xd4 yJ (x)D
(2.3.60)
F (x y) est le propagateur de Feynman du champ

o`
u D
electromagnetique, inverse du
noyau M (x y); il est donne par
Z
1
(1 ) k k
g
F
D (x y) =
].
(2.3.61)
d4 k eik.(xy) [ 2
(2)4
k + i
(k2 + i)2
37
Il depend de , mais on peut montrer que les amplitudes de probabilite de transition

quil permet de construire nen dependent pas. Les choix ( = 1) et ( = )) simplifient
grandement ce propagateur; ces choix sont connus, dans la litterature, respectivement
comme de jauge de Feynman et jauge de Landau.
Les fonctions de Green du champ electromagnetique libre se deduisent de (2.3.60) par
derivations fonctionnelles par rapport à la source J (x); comme dans le cas du champ
scalaire reel libre, les seules fonctions de Green non nulles sont des sommes de produits de
F
G(2)
(x,y) =< 0|T A (x)A (y)|0 >= iD (x y).
38
(2.3.62)
Chapitre 3
Lint
egrale fonctionnelle pour les
champs fermioniques.
La generalisation de lintegrale fonctionnelle aux systèmes de bosons sest faite sans
peine, en passant de 1 `
a N degres de liberte, puis en passant formellement à la limite
N . Mis `
a part le nombre croissant de degres de liberte, les hypothèses fondamentales
sur lesquelles repose la construction de lintegrale fonctionnelle etaient les memes. Tout
change pour des systèmes de fermions. Si on peut toujours decrire un tel système avec
q k ,
un operateur hamiltonien autoadjoint H(
pk ), les operateurs q et p sont, à present, des
operateurs qui, `
a temps egaux, verifient des relations danticommutation canoniques
[
q k (t),
q l (t)]+ = 0 = [
pk (t),
pl (t)]+ , [
q k (t),
pl (t)]+ = i(~)lk .
(3.0.1)
Il est cependant possible delaborer un formalisme dintegration fonctionnelle pour de tels

systèmes, `
a la condition de voir les variables classiques correspondantes comme les elements
dune algèbre de Grassmann.
3.1
Alg`
ebre de Grassmann.
D
efinition 1. L algèbre de Grassmann Gn sur C a
` n generateurs est lalgèbre des polyn
omes
a
` coefficients complexes, en les variables ( 1 , 2 , , n ) soumises aux relations
k l = l k
(3.1.2)
pour tout couple dindices k,.

Chaque variable est donc de carre nul. Gn est un espace vectoriel de dimension 2n
sur C. Une base de Gn est fournie par les monomes 1, k , k l (k < l), 1 2 n . Un
element de Gn secrit comme
() = a0 + ak k + akl k l + + ai1 in i1 in
(3.1.3)
o`
u les coefficients aij sont supposes complètement antisymetriques en leurs indices. Gn
est isomorphe `
a lalgèbre exterieure des formes differentielles.
39
Lalgèbre de Grassmann infini-dimensionnelle sobtient comme la limite n de Gn .

Elle possède une infinite de generateurs.
On peut definir une derivee à gauche g k et une derivee à droite d k , qui sont
des operations lineaires sur Gn .
D
efinition 2. Sur les mon
omes de base, la derivee a
` gauche est definie par :
g 1
k l = ()Pg 1 k l
k
(3.1.4)
o`
u Pg designe le nombre de transpositions a
` effectuer pour amener lelement k a
` gauche
k
k
dans le mon
ome. La notation signifie que doit etre omis.
D
efinition 3. De la meme facon, on definit la derivee a
` droite par
d 1
k l = ()Pd 1 k l
k
(3.1.5)
o`
u Pd designe le nombre de transpositions a
` effectuer pour amener lelement k a
` droite
dans le mon
ome.
Si le monome ne contient pas k , la derivee à gauche ou à droite est nulle. La derivee
de est definie par linearite.
Exemples:
d 1 2 3
g 1 2 3
2 3
=

(3.1.6)
1
1
g 1 2 3
= 1 3
(3.1.7)
2
D
efinition 4. Parite grassmannienne: Si ne contient que des mon
omes pairs en les k ,
est de parite grassmannienne (+) = (1)() ,() = 0 (mod 2); si ne contient que des
mon
omes impairs en les k , est de parite grassmannienne () = (1)() ,() = 1(mod
2) .
Si 1 et 2 ont des parites determinees,
1 .2 = ()1 2 2 .1 .
(3.1.8)
Tout element de Gn est la somme dun element pair et dun element impair:
= E + O .
(3.1.9)
(E = even = pair; O = odd = impair).

Th
eor`
eme 3. Règle de Leibniz: Pour 1 de parite grassmannienne fixee (1)1 , on a la
règle de Leibniz suivante
g
g
g
1
(
.
)
=
(
).
+
(1)
(
2 )
1 2
1
2
1
k
k
k
(3.1.10)
d
d
d
(2 .1 ) = ((1)1 k 2 ).1 + 2 ( k 1 )
k
(3.1.11)
40
En particulier, pour = k , impair,

g
g
k
k
(
.)
=
(
)
k
k
(3.1.12)
(ici, il ny a pas de sommation sur k). On en tire evidemment, puisque ceci est valable
pour tout ,
g
[ k , k ]+ = 1
(3.1.13)
o`
u encore
[
g
, l ]+ = kl
k
(3.1.14)
On verifie immediatement que ceci est vrai aussi pour la derivee droite. On verifiera aussi
aisement que
g g
(3.1.15)
[ k , l ]+ = 0

de meme pour les derivees droites. Lalgèbre de Grassmann est donc lespace vectoriel
dune representation des relations danticommutation canoniques.
D
efinition 5. Les differentielles a
` gauche et a
` droite sont definies respectivement par
g
]
k
(3.1.16)
d
].d k
k
(3.1.17)
dg = d k .[
dd = [
D
efinition 6. Conjugaison complexe: il est utile de generaliser le concept de conjugaison
complexe (involution) pour avoir lanalogue classique de la conjugaison hermitienne des
operateurs. Ses proprietes sont
() =

( )
(a) = a
(3.1.18)
(3.1.19)
(3.1.20)
Une variable est dite reelle si = et imaginaire si = .

Notons que si 1 et 2 sont impaires et reelles leur produit est imaginaire.
3.2
Lint
egrale de B
er
ezin.
Lintegrale de Berezin est definie par les règles suivantes:

1) pour les integrales simples, (sans sommation sur k)
Z
Z
k
d = 0,
d k k = 1.
41
(3.2.21)
2) les integrales multiples sont definies comme produits dintegrales simples, par exemple
Z
d 2 d 1 = 0,
(3.2.22)
Z
d 2 d 1 1 = 0,
(3.2.23)
Z
d 2 d 1 2 = 0,
(3.2.24)
Z
d 2 d 1 1 2 = 1
(3.2.25)
3) ceci definit lintegrale sur les elements de la base de lalgèbre, elle setend a` tous les
elements de Gn par linearite. Ainsi, par exemple pour (3.1.3),
Z
d n d n1 d 1 () = a12n .
(3.2.26)
Cette integrale est invariante par translations, par exemple
Z
Z
1
1
2
d ( + ) =
d( 1 + 2 ) ( 1 + 2 ) = 1.
Mais, pour une homothetie 1 = a 1 , pour avoir legalite
Z
Z
1 1
d =
d 1 1 = 1,
(3.2.27)
(3.2.28)
on voit quil faut definir
1
d.
a
De facon generale, pour les changements de variables lineaires
d(a) =
(3.2.29)
k = M kl l ,
(3.2.30)
d k = [M 1 ]kl d l
(3.2.31)
o`
u M est inversible, on a
et
Z
d n d n1 d 1 () =
d n d n1 d 1 (( )) (detM )1 .
Un exemple interessant est celui de lintegrale gaussienne

Z
T
I(M ) = d n d n1 d 1 e M
(3.2.32)
(3.2.33)
o`
u M est une matrice antisymetrique. Comme pour les variables reelles, lexponentielle
dune somme de variables paires est le produit des exponentielles, et chacune delles est
42
definie par son developpement en serie, limite à un polynome, du fait que les carres sont
nuls. Il existe une transformation orthogonale O, de determinant 1, telle que
0
m1
0
0
m1 0
0
0
M = OM O = 0
0
0
m2
(3.2.34)
0
0 m2 0
.
.
.
.
Avec
= O, T = T OT
n
d d
n1
d = d d
n1
(3.2.35)
d
(3.2.36)
et lexposant devient
T M = T OT OM OT O
T
(3.2.37)
= M
(3.2.38)
1 2
3 4
1 2
3 4
= 2(m1 + m2 + + m
n
2
n1 n
= 2(m1 + m2 + + m n1
2
) pour n pair
n2 n1
(3.2.39)
) pour n impair (3.2.40)
Pour n impair, I(M ) est nulle car n nest pas dans lexposant; pour n pair, on trouve
n
n
(3.2.41)
I(M ) = 2 2 m1 m n2 = 2 2 detM .
Cette reponse est valable pour tout n, puisque dans le cas o`
u n est impair, detM = 0.
On a aussi
Z
T
T
T
1
d n d n1 d 1 e M e2 = I(M ).e M .
(3.2.42)
En effet, le changement de variables dintegration par translation

= M 1 ,
T = T + T M 1
(3.2.43)
transforme lexposant en
T M + T T = T M + T M 1 .
(3.2.44)
Pour n pair, n = 2N , avec les generateurs 1 , 2 , , n et n+1 = ( 1 ) , n+2 =

( 2 ) , , N = ( n ) et M hermitienne, on obtient
Z Y
+
J(M ) =
[d k d k ]e M
(3.2.45)
k
= detM
(3.2.46)
En effet, il existe une transformation unitaire U , de determinant 1, qui diagonalise M

U M U + = M = diag(m1 , ,mn )
43
(3.2.47)
avec mi reels. Alors

+ M = + U + U M U + U = + M =
mk k k
(3.2.48)
pour
+ = + U + .
= U ,
(3.2.49)
Donc,
J(M ) =
mk = detM.
(3.2.50)
Tandis que
Z Y
+
+
+
+
1
[d k d k ]e M + + = J(M ).e M .
(3.2.51)
On obtient ce resultat en introduisant dans le membre de gauche le changement de variables

= + M 1 ,
3.3
+ = + + + M 1 .
(3.2.52)
Les fant
omes de Fadd
eev-Popov.
Dans la definition de lintegrale fonctionnelle pour le champ electromagnetique libre,

nous avons vu que pour un choix arbitaire de fonction de fixation de la jauge, g(A), la
g
|g=0 . Or, nous venons
fonctionnelle Z[J] contient, sous le signe integrale le determinant |
de voir quil est possible de representer le determinant dune matrice par une integrale
portant sur des variables grassmanniennes. A un facteur constant près, qui sera sans
importance dans la suite,
Z Y
R 4 4
g(x)
[d(x)d (x)]ei d xd y (x)M (x,y)(y) (3.3.53)
|g=0 = detM (x,y) = const.
det
(y)
x
Exemple: pour g(A)x = A (x) c(x), M (x,y) = 4 (x y) et
Z
Z
4
4
d xd y (x)M (x y)(y) = d4 x .
(3.3.54)
Les variables (x), (x) sont des champs grassmanniens anticommutants, scalaires sous
les transformations du groupe de Poincare. Par le fait quils ne respectent pas la correspondance spin-statistique (ce sont des fermions de spin zero!) ils sont appeles fant
omes
(ghosts). Ce sont les fant
omes de Faddeev-Popov. Dans le cadre de lelectrodynamique,
les choix g(A) lineaires en A ne necessitent pas lintroduction de ces fantomes: on peut les
introduire si lon veut, mais comme la matrice M (x,y) ne depend pas de A, les fant
omes ne
sont pas couples au potentiel electromagnetique. Il nen va plus de meme dans les theories
de jauge non-abeliennes `
a la Yang-Mills, sauf dans la jauge axiale.
44
3.4
Int
egrale fonctionnelle pour le champ spinoriel libre.
Par analogie avec lintegrale fonctionnelle des champs bosoniques, nous ecrivons la
fonctionnelle generatrice des fonctions de Green du champ spinoriel libre comme
Z
R
m)+
i d4 x[(i
+]
Z[,
] = D(x)D (x)e
(3.4.55)
o`
u (x) et (x)
sont traites comme des champs grassmanniens complexes, de meme que
les sources (x) et (x). A laide du noyau-distribution
M (x,y) = (i m)4 (x y),
lexposant se recrit comme
Z
m) + + ]
=
i d4 x[(i
=i
d4 xd4 y[(x)M
(x,y)(y) + (x)4 (x y)(y) + (x)
(x y)(y)].
(3.4.56)
(3.4.57)
(3.4.58)
Lapplication de la formule (3.2.51) fournit

Z[,
] = Z[0,0].ei
d4 xd4 y (x)M 1 (x,y)(y)
(3.4.59)
o`
u
M 1 (x,y) = SF (x y).
(3.4.60)
Cest le propagateur de Feynman du champ spinoriel libre. Les fonctions de Green sobtiennent par derivation fonctionnelle de Z par rapport aux sources. Ainsi,
(y)|0
G2 (x,y) = < 0|T (x)
>
g
1
d
= 2
.
Z[,
]|= =0 .
i Z[0,0] (x) (y)
= iSF (x y)
Z
i
4 ik.(xy) k + m
d
ke
=
(2)4
k2 m2 + i
(3.4.61)
(3.4.62)
(3.4.63)
(3.4.64)
Comme pour tout champ libre, les autres fonctions de Green non nulles sont des sommes
algebriques de produits de G2 : par exemple
G4 (x1 ,x2 ,y1 ,y2 ) = G2 (x1 ,y1 )G2 (x2 ,y2 ) + G2 (x1 ,y2 )G2 (x2 ,y1 ).
(3.4.65)
Le signe devant chacun des termes du membre de droite est egal à ()p o`
u p est la parite
de la permutation quil faut effectuer pour amener les arguments de G4 dans lordre voulu
par la repartition en paires.
45
3.5
Int
egrale fonctionnelle de QED.
Les fonctions de Green du système couple electrons-photons sobtiennent comme derivees

fonctionnelles par rapport aux sources ,
,J de la fonctionnelle generatrice
Z
R
i d4 x[L+J A +
+]
Z[,
,J ] = DD DA
(3.5.66)
e
o`
u
m) 1 F F ( A )2 e
A .
L = (i
(3.5.67)
4
2
Leurs developpements perturbatifs sont donnes par les diagrammes de Feynman construits
à laide des elements suivants
1) le propagateur libre de l'lectron
x
2) le propagateur libre du photon
,y
,x
3) le vertex lectromagntique
,x
Fig. 3.1 Règles de Feynman de QED
46
Chapitre 4
Formules de R
eduction
Dans ce chapitre, nous allons etablir les formules qui permettent de relier les amplitudes
de probabilites de transition aux fonctions de Green des champs en interaction.
4.1
4.1.1
Champs scalaires.
Champ scalaire r
eel: particules neutres de spin z
ero.
Pour etablir cette formule, rappelons que lespace des solutions (complexes) de lequation
de Klein-Gordon peut etre equipe dune forme sesquilineaire:
Z
d3 x [ (~x,x0 ) 0 (~x,x0 ) (0 (~x,x0 )) (~x,x0 )]
(4.1.1)
(,)(t) = i
x0 =t
qui est telle que

t (,)(t) = 0
(4.1.2)
en vertu de lequation de K.G., si les solutions decroissent rapidement à linfini (ce qui
permet une integration par parties, sans terme aux limites). Si on note
f~k (x) = p
1
(2)3 2
eik.x
(4.1.3)
la fonction donde dune particule dimpulsion ~k et denergie k positive et

f~k (x) = p
1
(2)3 2
eik.x ,
(4.1.4)
il vient, en negligeant les contributions aux limites,

(f~k ,f~l) = 3 (~k ~l)
(f ,f ) = 3 (~k ~l)
~k ~l
(f~k ,f~l)
= 0
47
(4.1.5)
(4.1.6)
(4.1.7)
On en tire, pour les champs libres asymptotiques

Z
~
in,out (x) =
d3 k [ain,out (~k) f~k (x) + a+
in,out (k) f~k (x)]
(4.1.8)
ain,out (~k) = (f~k ,in,out )
~
a+
in,out (k) = (f~k ,in,out )
(4.1.9)
(4.1.10)
Considerons lelement de matrice S

S =< ,out|,in >
(4.1.11)
et isolons dans letat initial une particule dimpulsion p~ de sorte que

|,in >= a+
p) | ,in > .
in (~
(4.1.12)
On peut recrire cet element de matrice S comme

< ,out| a+
p) | ,in >=< ,out|[(a+
p) a+
p)) + a+
p)]| ,in > .
out (~
out (~
in (~
in (~
(4.1.13)
Dans le troisième terme du membre de droite, on peut regarder laction à gauche de

p) sur letat < ,out|: cet operateur detruit une particule dimpulsion p~
loperateur a+
out (~
de lensemble . Si cet ensemble ne contient pas de particule dimpulsion p~, ce que nous
supposerons ici, sa contribution est nulle. Il ne reste donc que les deux premiers termes du
membre de droite de (4.1.13) dans lesquels nous pouvons remplacer les operateurs a+
in,out
en termes des champs asymptotiques correspondants pour obtenir
(4.1.13) = (fp~ , < ,out|[in (x) out (x)]| ,in >
=
( lim lim ) (fp~ , < ,out| (x) | ,in

x0 +
x0
Z +
d
dx0 0 (fp~ , < ,out| (x) | ,in >)
dx
(4.1.14)
>)
(4.1.15)
(4.1.16)
La fonction fp~ (x) etant solution de lequation de K.G., elle satisfait

x20 fp~ (x) = ( m2 ) fp~ (x)
ce qui permet de completer (4.1.16) en
Z
i
d4 x fp~ (x) Kx < ,out| (x) | ,in >
(4.1.17)
(4.1.18)
o`
u nous avons utilise la notation
Kx = x + m2 .
(4.1.19)
Ainsi donc, lelimination dune particule dimpulsion p~ de letat initial conduit a` legalite
suivante :
Z
< ,out|,in >= i
d4 x fp~ (x) Kx < ,out| (x) | ,in > .
(4.1.20)
48
Continuons le processus delimination des particules des etats initial et final, en isolant
une particule dimpulsion q~ dans letat final:
< ,out| =< ,out| aout (~q).
(4.1.21)
Alors,
< ,out| (x) | ,in > = < ,out| aout (~q) (x) | ,in >
(4.1.22)
= < ,out| [(aout (~q) (x) (x) ain (~q)) + (x) ain (~q)] |(4.1.23)
,in >
Dans le troisième terme du membre de droite de (4.1.23), loperateur ain (~q) agissant `
a
droite, detruit dans | ,in > une particule dimpulsion ~q. Comme precedemment, nous
supposerons que lensemble ne contient pas de particule dimpulsion ~q; la contribution
de ce terme est donc reduite à zero. Il ne reste donc dans le membre de droite de (4.1.23)
que les deux premiers termes dans lesquels les operateurs ain,out peuvent etre ecrits en
termes des champs asymptotiques correspondants. Il vient donc
(4.1.23) = (fq~ (y), < ,out|[out (y)(x) (x)in (y)]| ,in >)
= ( lim lim ) (fq~ (y),T ((y)(x)) | ,in >)

y 0 +
y 0
Z
= i
d4 y fq~(y) Ky < ,out| T ((y)(x)) | ,in >
(4.1.24)
(4.1.25)
(4.1.26)
Cette technique de reduction sapplique de proche en proche jusquà ce que letat initial
et letat final soient complètement vides de leurs particules. Le resultat final est, lorsque
tous les ~
pj sont differents de tous les ~qi :
m+n
<~
q1 , ,~
qn ,out||~
p1 , ,~
pm ,in >= i
n Z
m Y
Y
i=1 j=1
d xi
d4 yj
[fp~i (xi ) Kxi ] [fq~j (yj ) Kyj ] < 0| T ((y1 ) (yn )(x1 ) (xm ) |0 > .
(4.1.27)
(4.1.28)
Cette formule (4.1.28), appelee formule de reduction, relie donc lamplitude de probabilite
de transition de letat initial |~
p1 , ,~
pm ,in > vers letat final |~q1 , ,~qn ,out > à la fonction de Green `
a (m+n) points du champ scalaire en interaction dont le developpement
perturbatif est fourni par lintegrale fonctionnelle. Lamplitude de probabilite de transition admet donc un developpement perturbatif copie sur celui des fonctions de Green.
Les diagrammes de Feynman qui sont associes aux deux developpements sont les memes;
seule change la convention des pattes externes. Pour les fonctions de Green, les pattes
externes portent des propagateurs libres iF (x x ). Ceux-ci sont amputes et remplaces
par des fonctions dondes libres (fq~ pour une particule dimpulsion ~q sortante, fp~ pour une
particule dimpulsion ~
p entrante) conformement à
Z
i
d4 x fp~ (x) Kx [iF (x x )] = fp~ (x ).
(4.1.29)
49
4.1.2
Champ scalaire complexe: particules charg

ees de spin z
ero.
On elimine une particule dimpulsion p~ de letat initial par

Z
i
d4 x fp~ (x) Kx < ,out| (x) | ,in > .
On elimine une antiparticule dimpulsion p~ de letat initial par
Z
i
d4 x fp~ (x) Kx < ,out| (x) | ,in > .
On elimine une particule dimpulsion p~ de letat final par
Z
i
d4 x fp~ (x) Kx < ,out| (x) |,in > .
Et on elimine une antiparticule dimpulsion p~ de letat final, par
Z
i
d4 x fp~ (x) Kx < ,out| (x) |,in > .
4.2
(4.1.30)
(4.1.31)
(4.1.32)
(4.1.33)
Champ spinoriel.
La forme sesquilineaire definie sur lespace des solutions de lequation de Dirac qui
permet detablir une formule de reduction pour les fermions est la suivante
Z
d3 x (~
x,x0 ) 0 (~x,x0 ).
(4.2.34)
(,)(t) =
x0 =t
On verifie aisement que (4.2.34) ne depend pas de t, si les champs satisfont lequation de
Dirac et sils decroissent rapidement à linfini.
On elimine une particule dimpulsion p~ et dhelicite s de letat initial par
Z
| ,in > (i + m) Up~,s (x).
i
d4 x < ,out| (x)
(4.2.35)
On elimine une antiparticule (~
p,s) de letat initial par
Z
i
d4 x Vp~,s (i m) < ,out| (x) | ,in > .
On elimine une particule (~
p,s) de letat final par
Z
p~,s (x) (i m) < ,out| (x) |,in > .
i
d4 x U
En enfin, on elimine une antiparticule (~
p,s) de letat final par
Z
|,in > (i + m) Vp~,s (x).
i
d4 x < ,out| (x)
50
(4.2.36)
(4.2.37)
(4.2.38)
Nous avons utilise les notations suivantes:

r
m
eip.x us (~
p)
Up~,s (x) =
(2)3 2p
r
m
Vp~,s (x) =
eip.x vs (~
p)
(2)3 2p
(4.2.39)
(4.2.40)
De plus, signifie que loperateur de derivation agit sur le facteur qui est à sa gauche.
4.3
Champ
electromagn
etique.
On elimine un photon dimpulsion ~k, de polarisation de letat initial par

i
d4 x eik.x p
(~k)
(2)3 2k
x < ,out| A (x) | ,in > .
(4.3.41)
Et on elimine un photon (~k,) de letat final par

i
d4 x eik.x p
(~k)
(2)3 2k
x < ,out| A (x) |,in > .
51
(4.3.42)
Chapitre 5
Vertex propres, Action effective.

5.1
Fonctions de Green, Fonctions de Green connexes.
Nous avons introduit precedemment, la fonctionnelle Z[J] generatrice des fonctions de

Green
Z
R 4
Z[J] =
D ei d x (L+J)
(5.1.1)
X in Z
= Z[0].[1 +
d4 x1 d4 xn J(x1 ) J(xn ) Gn (x1 , ,xn )]. (5.1.2)
n!
n
De la propriete
Gn (x1 , ,xn ) = < 0|T (x1 ) (xn )|0 >

1
Z[J]
n
= n
.
|J=0
i J(x1 ) J(xn ) Z[0]
(5.1.3)
(x) = eiP.a (x a) eiP.a
(5.1.5)
(5.1.4)
(P est loperateur energie-impulsion) et de linvariance du vide sous les translations despacetemps

eiP.a |0 >= |0 > ,
(5.1.6)
il resulte que la fonction Gn ne depend pas des n points x1 , ,xn mais seulement de
(n 1), lorigine des coordonnees etant arbitraire: ainsi, par exemple
Gn (x1 , ,xn ) = Gn (0,x2 x1 , ,xn x1 ).
(5.1.7)
Il sen suit pour sa transformee de Fourier

Z
(5.1.8)
Gn (p1 , ,pn ) =
d4 x1 d4 xn eip1 .x1 +...+ipn.xn Gn (x1 , ,xn )
Z
=
d4 x1 d4 xn eip1 .x1 +...ipn.xn Gn (0,x2 x1 , ,xn x1 )
(5.1.9)
Z
Z
=
d4 x1 eix1 (p1 +...+pn) .
d4 y2 d4 yn eip2 .y2 ...eipn .yn Gn (0,y2 , ,yn )
= (2)4 4 (p1 + ... + pn ) g(p2 , ,pn )
52
(5.1.10)
Celle-ci nest donc definie que pour p1 + p2 + ... + pn = 0.

Pour le champ scalaire reel libre, la fonctionnelle generatrice des fonctions de Green
libres se calcule exactement, elle vaut
i
Z0 [J] = Z0 [0].e 2
d4 x d4 y J(x) F (xy) J(y)
(5.1.11)
et toutes les fonctions de Green libres [non nulles pour n pair] sont des sommes de produits
de propagateurs
Z
eik.(xy)
i
4
.
(5.1.12)
d
k
G02 (x y) = iF (x y) =
(2)4
k2 m2 + i
0 (p, p) =
G
2
p2
La relation (5.1.11) secrit aussi
i
.
m2 + i
(5.1.13)
Z0 [J]
= eiW0 [J] ,
(5.1.14)
Z0 [0]
avec
Z
i
iW0 [J] =
d4 x d4 y J(x)F (x y)J(y).
(5.1.15)
2
Son developpement en puissances de la source J ne contient quun seul terme.
Pour le champ en interaction, on introduit de facon analogue la fonctionnelle
iW [J] = log(
Z[J]
) ou
Z[0]
Z[J]
= eiW [J]
Z[0]
dont le developpement en puissances de la source

X in Z
iW [J] =
d4 x1 d4 xn J(x1 ) J(xn ) Gcn (x1 , ,xn )
n!
n
contient les fonctions de Green connexes Gcn telles que
X
Gn = Gcn +
Gci Gcj
(5.1.16)
(5.1.17)
(5.1.18)
i+...+j=n
la somme portant sur toutes les partitions possibles des n points. Le lecteur etablira luimeme, sans difficulte, le lien entre les coefficients de la serie
X 1
an xn
(5.1.19)
n!
n
et
Par (5.1.17), il vient donc
X 1
X 1
log(
an xn ) =
bn x n .
n!
n!
n
n
Gcn (x1 , ,xn ) =
n iW [J]
1
|J=0 .
in J(x1 ) J(xn )
(5.1.20)
(5.1.21)
La fonctionnelle W [J] est la fonctionnelle generatrice des fonctions de Green connexes. Le

soin est laisse au lecteur de verifier que les diagrammes de Feynman representant les Gcn
sont connexes, cest-à-dire, dun seul tenant.
53
5.2
Vertex propres.
Definissons dabord le champ classique par

W [J]
J(x)
log(Z[J])
= i
J(x)
1 Z[J]
= i
Z[J] J(x)
= J < 0| (x) |0 >J
cl (x) =
(5.2.22)
(5.2.23)
(5.2.24)
(5.2.25)
qui nest autre que la valeur moyenne du champ quantifie dans le vide modifie par la
source. Nous supposerons, dans ce qui suit, que le modèle de theorie des champs auquel
nous nous interessons est tel que
cl (x) = 0 J = 0.
(5.2.26)
Il peut se produire, dans certains cas, des effets dhysterèse (ou de brisure de symetrie)
pour lesquels la relation (5.2.26) nest plus vraie; dans ce cas, les developpements qui
suivent restent valables `
a la condition de remplacer cl (x) par cl (x) = cl (x) cl (x)|J=0
qui satisfait (5.2.26). On definit ensuite une nouvelle fonctionnelle [cl ], appelee action
effective, par la transformation de Legendre suivante
Z
[cl ] = W [J]
d4 x J(x) cl (x)
(5.2.27)
qui est telle que
[cl ]
= J(x).
cl (x)
Son developpement en puissances de cl se presente comme suit
X 1 Z
[cl ] =
d4 x1 d4 xn cl (x1 ) cl (xn ) n (x1 , ,xn )
n!
n
(5.2.28)
(5.2.29)
o`
u les coefficients n sont les vertex propres
n (x1 , ,xn ) =
n [cl ]
| =0 .
cl (x1 ) cl (xn ) cl
(5.2.30)
Avant de calculer les coefficients n en termes de fonctions de Green, voyons, sur lexemple
du champ libre `
a quoi correspondent les differents objets introduits ci-dessus. Dabord, de
(5.1.15), on tire
Z
0cl (x) =
d4 y F (x y) J(y)
(5.2.31)
qui satisfait lequation classique
(x + m2 ) 0cl (x) = J(x).

54
(5.2.32)
Laction effective
1
=
2
0
d4 xJ(x) 0cl (x)
dans laquelle on elimine J par (5.2.31) devient

Z
1
d4 x ( 0cl 0cl m2 (0cl )2 ) = S[cl ].
0 [cl ] =
2
(5.2.33)
(5.2.34)
Dans ce cas particulier, laction effective concide avec laction S du champ libre.
5.2.1
Calcul des n .
Partons de la definition du champ classique (cl (x) = W/J(x)) et prenons la derivee

fonctionnelle des deux membres par rapport à cl (y), il vient
cl (x)
cl (y)
= 4 (x y)
(5.2.35)
W [J]
cl (y) J(x)
Z
2 W
J(z)
=
d4 z
.
J(z)J(x) cl (y)
Z
2 W
2
= d4 z
.
J(z)J(x) cl (y)cl (z)
=
(5.2.36)
(5.2.37)
(5.2.38)
W

Les deux noyaux J(z)J(x)
et () cl (y)
sont donc inverses lun de lautre, puisque
cl (z)
4
leur convolution est (xy). Si, dans cette expression (5.2.38, on pose J = 0 et dons aussi
cl = 0, en vertu de (5.2.26), il reste, en utilisant les relations de definition des fonctions
de Green connexes et des vertex propres,
Z
4
(x y) = i d4 z 2 (y,z) Gc2 (z,x).
(5.2.39)
Do`
u aussi,
2 (y,z) = i(Gc2 (z,y))1 .
(5.2.40)
On en tire, pour les transformees de Fourier,

2 (p, p) = i [G
c2 (p, p)]1 .
(5.2.41)
En prenant la derivee fonctionnelle des deux membres de (5.2.38) par rapport à cl , en

J = cl = 0, il vient
Z
c
G3 (x,y,z) = i
dx dy dz G2 (x,x ) G2 (y,y ) G2 (z,z ) 3 (x ,y ,z )
(5.2.42)
et ainsi de suite. On etablit ainsi, de proche en proche, que in est la fonction de Green
connexe `
a n points, amputee de ses pattes externes et irreductible à une particule (1PI),
55
cest `
a dire formee uniquement de diagrammes qui ne peuvent etre coupes en deux parties
disjointes en ne coupant quune seule ligne interne.
Il est utile de donner de ceci une representation graphique: si on represente par une
boule blanche `
a n pattes la fonction Gcn et par une boule hachuree la fonction in , il vient,
par exemple
G
2
-i
=
i
3
i
4
c
G
3
c
G
4
Fig. 5.1 Vertex propres
5.3
Equation du mouvement pour cl .
Reprenons la fonctionnelle generatrice des fonctions de Green

Z
R 4
Z[J] =
D ei d x (L0 V ()+J)
Z
R 4
R 4
=
D ei d y V ((y)) ei d x (L0 +J)
(5.3.43)
(5.3.44)
Sous le signe integrale, on a legalite

R 4
ei d y J(y)(y) ,
J(x)
(x) ei
d4 y J(y)(y)
= i
F ((x)) ei
d4 y J(y)(y)
= F (i
donc, aussi,
56
R 4
) ei d y J(y)(y) .
J(x)
(5.3.45)
(5.3.46)
A laide de (5.3.46), (5.3.44) se recrit

i
d4 y V (i J(y) )
d4 y V (i J(y)
Z[J] = e
= e
D ei
d4 x (L0 +J)
).Z0 [J]
(5.3.47)
(5.3.48)
Toute la dependance en les sources J se trouve dans la fonctionnelle Z0 [J]. Il vient donc,
pour la derivee fonctionnelle des deux membres par rapport à J(x)
Z
R
Z
i d4 y V (i J(y) )
= e
(i)
d4 z F (x z)J(z) Z0 [J]
(5.3.49)
J(x)
Z
R
R
i d4 y V (i J(y) )
i d4 u V (i J(u)
= e
(i) d4 zF (x z)J(z) e
) Z[J].
(5.3.50)
En vertu de (5.2.31), il vient
(x + m2 )
Z[J]
= i Ox Z[J],
J(x)
(5.3.51)
o`
u
Ox = Ox ()|=1
et
Ox () = e
d4 y V (i J(y) )
(5.3.52)
i
J(x) e
d4 z V (i J(z) )
(5.3.53)
En utilisant le commutateur
[J(x), i
on obtient sans peine
] = i 4 (x y),
J(y)
d
Ox () = V (i
)
d
J(x)
(5.3.54)
(5.3.55)
o`
u V designe la derivee de V par rapport à son argument. On deduit de cette equation
du premier ordre en et de la condition de Cauchy Ox ()|=0 = J(x),
Ox () = J(x) V (i
)
J(x)
(5.3.56)
donc aussi Ox qui definit ainsi le membre de droite de lequation (5.3.51). En divisant
(5.3.51) par iZ[J], on obtient enfin lequation du mouvement recherchee
(x + m2 ) cl (x) = J(x)
57
1
V (i
) Z[J].
Z[J]
J(x)
(5.3.57)
5.3.1
Exemples.
a) V () =
b)V () =
2
2
4!
(x + m2 )cl (x) = J(x) 2 cl (x).

(x + m2 )cl (x) = J(x)
+
(cl (x))3
3!
3 iW [J]
2 iW [J]
+i
].
[3cl (x)
2
3!
J(x)
J(x)3
(5.3.58)
(5.3.59)
(5.3.60)
Sur ces exemples, on voit que lon retrouve dans le membre de droite, les termes qui
forment lequation classique du mouvement auxquels sajoutent de nouveaux termes qui
constituent les corrections quantiques. En retablissant les facteurs ~, on peut voir que ces
termes correctifs apparaissent comme une serie de puissances entières positives ( 1) de
~.
58
Chapitre 6
Les identit
es de Ward en
La fonctionnelle generatrice des fonctions de Green de lelectrodynamique spinorielle
est donnee par
Z
R
i d4 x[L0, +L0,e +Lint +J A +

+]
Z[J ,,
] = DD DA
(6.0.1)
e
o`
u
L0, = F F ( A )2 .
(6.0.2)
4
2
Le terme de fixation de jauge y a ete inclus; rappelons que sans un tel terme, le propagateur
du photon ne serait pas defini. Ce choix de jauge nous permet domettre les fant
omes
puisquils ne sont pas couples aux autres champs.
et
m)
L0,e = (i
(6.0.3)
A .
Lint = e
(6.0.4)
(x) = (x) [1 ie(x)]

[1 + ie(x)]
(x) = (x)
(6.0.5)
Dans ces expressions, les variables dintegration , et les sources ,

sont des variables
grassmanniennes. Lintegrale fonctionnelle Z reste, du moins formellement, inchangee sous
un changement de variables dintegration. Considerons, en particulier, le changement de
variables infinitesimal induit par une transformation de jauge
A (x)
= A (x) + (x)
59
(6.0.6)
(6.0.7)
dont le super jacobien vaut 1. Il vient donc

Z
(6.0.2) =
D D DA e[ ]
(6.0.8)
Z
R
[ ] i d4 x{ A +J ie(
)}
=
DD DA
e
(6.0.9)
e
Z
Z
[ ]
(6.0.10)
=
DD DA
[1 + i d4 x{ A + J ie(
)}]
e
Il en resulte que
Z
Z
4
[ ]
0 = d x DD DA
{ A + J ie(
)}
e
et puisque ceci est vrai quelle que soit la fonction (x) infinitesimale, il vient
Z
[ ]
0 = DD DA
[ A J ie
+ ie].
e
(6.0.11)
(6.0.12)
Sous le signe integrale, on peut encore faire les remplacements suivants

A (x) e[ ] = i
J (x)
e[ ]
g [ ]
e
d [ ]
e
= i
(x)
(6.0.13)
(x) e[ ] = i
(6.0.14)
[ ]
(x)e
(6.0.15)
On obtient finalement, pour la fonctionnelle Z lequation

0 =
Z
g Z
d Z
i
J
.Z
ie
+
ie
.
J (x)
(x)
(x)
(6.0.16)
En remplacant Z par exp(iW ), il vient aussi en divisant tous les termes par Z,
0 =
g W
d W
W
ie
+
ie
.
J (x)
(x)
(x)
(6.0.17)
Cette dernière equation se transforme encore en une equation pour laction effective grace
aux relations suivantes
W
= A,cl ,
J
et
= J ,
A,cl
Elle secrit
0 = Acl +
g W
= cl ,
d
=
,
cl
d W
= cl
(6.0.18)
g
= .
cl
(6.0.19)
d
g
+ ie
cl iecl .
A,cl
cl
cl
60
(6.0.20)
Lequation (6.0.20) fournit une infinite didentites entre les vertex propres qui sont les
coefficients du developpement de en puissances des champs classiques. Relevons quelques
unes de ces identites, connues dans la litterature sous le nom didentites de Ward-Takahashi.
a) Prenons dabord de (6.0.20) la derivee fonctionnelle par rapport à Acl (y), et regardons le resultat en A,cl = cl = cl = 0, il vient
(2)
0 =
(y x)
4
(x y) +
.
x
x
(6.0.21)
La transformee de Fourier de (6.0.21) fournit
et, avec
(2) (k) = k2 k .
k
(6.0.22)
2
2 k k
(2)
,
(k) = a(k ) g + b(k )

k2
(6.0.23)
k (a + b) = k k2 ,
Or,
b = k2 a.
(2)
(2) (k) = i
(k) G
(6.0.24)
(6.0.25)
il en resulte donc pour la transformee de Fourier du propagateur photonique complet

(2)
G
=
k k
i k k
i
(g 2 ) 2 2 .
a(k2 )
k
k k
(6.0.26)
On voit donc, par (6.0.26), que la partie longitudinale du propagateur photonique complet
est la meme que la partie longitudinale du propagateur photonique libre (le photon longitudinal nest pas couple `
a la matière!). Tous les details de linteraction sont donc contenus
dans la partie transverse et de fait, dans la seule fonction a(k2 ).
b) Prenons, de (6.0.20), les derivees fonctionnelles à gauche par rapport à cl (z), `
a
droite par rapport `
a cl (y) et annulons tous les champs classiques après avoir derive, il
reste
(3)
(z,x,
y ) = ie4 (x z) (2) (x y) ie4 (x y) (2) (z x
).
x
(6.0.27)
Rappelons que la fonction de vertex (3) (z,x,

y ) apparat dans laction effective par
Z
d4 xd4 yd4 z cl (z) (3) (z,x,
y ) cl (y) Acl, (x).
(6.0.28)
Sa transformee de Fourier (o`
u p,q sont des impulsions entrantes, p est une impulsion
sortante) definie par
Z
(3) (p ,q,p)
d4 xd4 yd4 zeip z eiqx eipy (3) (z,x,
y ) = (2)4 4 (q + p p )
(6.0.29)
61
est donc, via (6.0.27), reliee a` la transformee de Fourier du propagateur electronique complet
1
(2) (p) = i [G
(2) (p)]1 = [S(p)]
(6.0.30)
par la relation, avec (q = p p),
(3) (p ,q,p) = e [S(p)
1 S(p
+ q)1 ].
q
(6.0.31)
A lordre le plus bas du calcul de perturbation, cette identite est evidemment satisfaite
puisque
(3) = e
S0 (p)1 = p m
(6.0.32)
(6.0.33)
On en tire aussi, `
a la limite q 0,

S0 (p) = S0 (p) S0 (p).
p
(6.0.34)
Nous verrons plus loin que lidentite (6.0.31) etablit la relation (Z1 = Z2 ) entre les facteurs
de renormalisation de la charge electrique (Z1 ) et de la fonction donde de lelectron (Z2 ).
c) Enfin, en derivant (6.0.20) par rapport aux champs classiques Acl (y),Acl (z),Acl (u)
et en annulant tous les champs classiques après avoir derive, on obtient
(4)
0 = p (p,q,r,s)
(6.0.35)
qui exprime la propriete de transversalite de la partie 1PI de lamplitude .
62
Chapitre 7
Calcul de diagrammes de
Feynman.
7.1
7.1.1
Exemples
Th
eorie en 4 .
4
Avec Lint = 4!
, dont les règles de Feynman sont
p
i
=
2
p - m + i
4 4
-i(2) (p
entrantes
- p
sortantes
4
d k
boucle (k)
( 2 )4
Fig. 7.1 Règles de Feynman de 4

Le developpement perturbatif du propagateur du champ scalaire, limite au deuxième
ordre en est donne par On en deduit le developpement correspondant de la fonction
=
+ 1
4
+ 1
4
+ 1
2
1
6
Fig. 7.2 Propagateur jusqu`

a lordre 2
63
(2) (p) = i(p2 m2 (p))

i
(7.1.1)
o`
u, explicitement ,
-i
1
2
+ 1
4
1
6
Fig. 7.3 Self-energie

(2) (p) = i(p2 m2 )
i
Z
d4 k
i
1
(i)
+
4
2
2
(2) k m2 + i
Z
Z
i
d4 k
d4 q
1
i
2
2
(i)
(
)
(7.1.2)
+
4
2
2
4
2
4
(2) k m + i
(2) q m2 + i
Z 4 4
d kd q
i
i
i
1
(i)2
[ 2
][ 2
][
]
+
8
2
2
6
(2) k m + i q m + i (p k q)2 m2 + i
La fonction i(p) represente la somme de tous les diagrammes connexes, amputes,
1PI. Sa connaissance ramène le calcul du propagateur complet à la somme dune serie
geometrique par
i
i
i
+ 2
(i(p)) 2
+
2
2
m
p m
p m2
i
2
2
p m (p)
2 (p) =
G
p2
(7.1.3)
(7.1.4)
(4) (p1 ,p2 ,p3 ,p4 )

On obtient de meme, pour la transformee de Fourier de la fonction de vertex i
pour toutes impulsions entrantes et (p1 + p2 + p3 + p4 = 0), qui est la fonction de Green
à quatre points, connexe, amputee, 1PI, ou encore
1
2
Fig. 7.4 4
64
1
2
1
2
(4) (p1 ,p2 ,p3 ,p4 ) = (i)

i
(7.1.5)
Z
4
i
i
1
d k
(i)2
.
+
2
(2)4 k2 m2 + i (p1 + p2 k)2 m2 + i
Z
1
i
i
d4 k
2
+
(i)
.
4
2
2
2
(2) k m + i (p1 + p3 k)2 m2 + i
Z
1
i
d4 k
i
+
(i)2
.
4
2
2
2
(2) k m + i (p1 + p4 k)2 m2 + i
7.1.2
Electrodynamique spinorielle.
Le developpement perturbatif du propagateur electronique limite au second ordre se

presente comme suit
< 0|T (x)(y)|0

>= i SF (x y) =
(7.1.6)
Fig. 7.5 Propagateur electronique

2
= iSF (x y) + (ie)
F
d4 x1 d4 x2 iSF (x x1 ) iSF (x1 x2 ) iD
(x1 x2 )iSF (x2 y).
(7.1.7)
Pour sa transformee de Fourier on a de meme

Z
iSF (p) = d4 (x y) eip(xy) iSF (x y) =

= iSF (p) + (ie)2
(7.1.8)
d4 q
F (q)iSF (p).
iSF (p) iSF (p q) iD
(2)4
(7.1.9)
Tandis que pour i(p) definie comme la somme des diagrammes connexes, amputes
des propagateurs sur les pattes externes et 1PI, qui, à lordre 2, est donnee par le seul
diagramme il vient,
q
- i (p) =
p-q
Fig. 7.6 Self-energie de lelectron
i(p) = (ie)2
q q
d4 q i(p/ /q + m) i(g q2 )
.
(2)4
[(p q)2 m2 + i][q 2 + i]
(7.1.10)
La definition de i, ramène le calcul du propagateur à la somme dune serie geometrique

SF (p) = [p/ m (p)]1
65
(7.1.11)
ou encore, avec
(p) = A(p2 )p/ + B(p2 )mI,
(7.1.12)
SF (p) = [p/(1 A(p2 )) m(1 + B(p2 ))]1 .
(7.1.13)
De meme, le developpement perturbatif limite au second ordre du propagateur photonique fournit

F
< 0|T A (x)A (y)|0 >= iD
(x y)
(7.1.14)
Fig. 7.7 Propagateur photonique

F
= iD
(xy)(ie)2
F
F
d4 x1 d4 x2 iD
(xx1 )T r[ iSF (x1 x2 ) iSF (x2 x1 )]iD
(x2 y)
(7.1.15)
et, pour la transformee de Fourier

Z
d4 q F
F
F
2
F (p). (7.1.16)
iD (p)T r[ iSF (q) iSF (p + q)]iD

iD (p) = iD (p) (ie)
(2)4
Enfin, pour i (p) qui est la somme des diagrammes connexes, amputes, 1PI, il vient
q
-i
(p) = -
p+q
Fig. 7.8 Polarisation du photon
(p) = (ie)
(q/ + m) (p/ + /q + m)
d4 q
T
r[
].
(2)4
[q 2 m2 + i][(p q)2 m2 + i]
(7.1.17)
Sa contribution au propagateur photonique est donnee par

F

F (p))1 (p)]1
D
(p) = [(D
.
(7.1.18)
F (p) et dans (p) les parties transverses et longitudinales par

En separant dans D
1 p p
g
F

D
(p) = 2
p
(p2 )2
p p
1 p p
1
= 2 (g 2 )
p
p
(p2 )2
p
p
F )1 (p) = p2 (g ) p2 p p
(D
p2
p2
p p
p p
(p) = T (p2 )(g 2 ) + L(p2 ) 2
p
p
66
(7.1.19)
(7.1.20)
(7.1.21)
(7.1.22)
il vient encore
F (p) = [(p2 + T (p2 ))(g p p ) (p2 + L(p2 )) p p ]1
D
p2
p2
p p
p p
1
1
(g 2 ) 2
= 2
(p + T )
p
(p + L) p2
(7.1.23)
(7.1.24)
La partie longitudinale du propagateur complet ne sera egale à la partie longitudinale du

propagateur libre (ce qui est impose par les identites de Ward) que si L(p2 ) = 0.
Par la meme technique, on obtient pour la transformee de Fourier de la fonction de
vertex electromagnetique
(3)
i
(7.1.25)
(p ,q,p) = ie +
Z
i
i
i
1 k k
d4 k
2 (g
)
(7.1.26)
+(ie)3
4
(2)
k/ + p/ m k/ + p/ m k
k2
Dans la jauge de Feynman ( = 1), cette expression se reduit à
Z
(k/ + p/ + m) (k/ + p/ + m)
d4 k
3
.
ie + (ie) i
(2)4 [(k + p )2 m2 + i][(k + p)2 m2 + i][k2 + i]
Elle correspond aux diagrammes de Feynman suivants:
+
k+p
k+p'
p'
p'
k
p
p'
Fig. 7.9 Vertex electromagnetique
67
(7.1.27)
7.2
Calcul de diagrammes `
a une boucle.
Sur les exemples donnes precedemment, on constate que les diagrammes de Feynmam
comportant une boucle sont definis par des integrales du type suivant
Z
F (k)
(7.2.28)
I = d4 k
a1 a2 an
o`
u les ai sont des polynomes du second degre en les composantes k et F (k) est un
polynome en k , en les impulsions externes et en les matrices . Pour calculer de telles
integrales, la première manipulation dont la règle a ete etablie par Feynman, consiste `
a
introduire des variables auxiliaires de facon à transformer le denominateur, produit des ai
en un seul facteur. La règle est la suivante
1
=
a1 a2 an
1
x1
(7.2.29)
xn2
1
[a1 xn1 + a2 (xn2 xn1 ) + an (1 x1 )]n
0
0
0
(7.2.30)
La demonstration de cette formule se fait par induction sur n; elle est donnee, par exemple,
dans lappendice A5 de Jauch et Rohrlich.
Le denominateur de (7.2.30) est de la forme generale
= (n 1)!
dx1
dx2
dxn1
D n = [(k p) a2 + i]n
(7.2.31)
o`
u p et a ne dependent plus des k , mais dependent des impulsions externes et des
variables auxiliaires.
Supposons que le degre de F (k) et n sont tels que lintegrale I est convergente; alors,
on peut changer de variables dintegration par translations
k = k p ;
d4 k = d4 k.
(7.2.32)
ce qui transforme I en
I = (n 1)!
1
0
dx1
xn2
dxn1
F (k + p)
[k2 A2 + i]n
(7.2.33)
o`
u A2 est un invariant relativiste. Lintegration sur d4 k se fait sur un domaine symetrique
par rapport `
a lorigine: le denominateur etant devenu une fonction paire de k , les puissances impaires de k presentes dans F (k + p) ne contribuent pas à lintegrale, tandis
que pour les puissances paires de k , on a, en analysant la variance des integrales sous les
transformations de Lorentz,
Z
Z
1
4
2
(7.2.34)
d k k k f (k ) = g d4 k k2 f (k2 ),
4
Z
Z
1
2
4
d k k k k k f (k ) = [g g + g g + g g ] d4 k (k2 )2 f (k2 ).
(7.2.35)
24
68
(7.2.36)
De ce fait, lintegrale (7.2.33) se ramène à une somme dintegrales du type

Z
(k2 )m2
Imn = d4 k 2
.
[k A2 + i]n
(7.2.37)
Si A2 p
est positif, la fonction [k2 p
A2 + i]1 a, dans le plan complexe k0 , des poles en
k0 = ~k2 + A2 i et en k0 = ~k2 + A2 + i. On peut donc, en vertu du theorème
de Cauchy, remplacer lintegrale sur la variable k0 le long de laxe reel de à + par
lintegrale le long de laxe imaginaire (les contributions des quarts de cercles à linfini sont
nulles, puisque lintegrale est convergente). En resume:
Z +i
Z +
dk0 [ ].
(7.2.38)
dk0 [ ] =
i
Il est ensuite indique deffectuer le changement de variable suivant

k0 = ikE,0 , dk0 = idkE,0 .
(7.2.39)
Lorsque k0 va de i `
a +i le long de laxe imaginaire, kE,0 va de à + le long
de laxe reel. En completant ce changement de variables par
de sorte que
~k = ~kE , d3 k = d3 kE ,
(7.2.40)
2
k2 = (k0 )2 (~k)2 = (kE,0 )2 (~kE )2 = kE
,
(7.2.41)
il vient
mn2
Imn = i()
d4 kE
2 )m2
(kE
.
2
[kE + A2 ]n
(7.2.42)
Lintroduction de coordonnees spheriques dans lespace euclidien à 4 dimensions, pour

lesquelles lelement de volume devient
d4 kE = 3 dsin2 2 d2 sin1 d1 d,
avec 0 2,0 i , permet lintegration sur les angles par
Z
d = 2 2 .
(7.2.43)
(7.2.44)
Il reste donc
(2 )m1
[2 + A2 ]n
0
Z
mn2 2
2 mn
= ()
i (A )
du um1 (1 + u)n
mn2
Imn = ()
d2
(7.2.45)
(7.2.46)
= ()mn2 i 2 (A2 )mn B(m,n m)

69
(7.2.47)
o`
u B est la fonction dEuler
(x) (y)
.
(7.2.48)
(x + y)
Cest une fonction analytique de x et de y qui possède des poles simples lorsque x ou y
sont des entiers non positifs. Avec n et m entiers non negatifs, lintegrale (7.2.46) existe
et est finie lorsque n > m > 0. Si nous reprenons les diagrammes cites en exemples
dans le paragraphe precedent, nous constatons que dans tous ces cas, la condition de
convergence des integrales nest pas satisfaite. Les fonctions à integrer ne decroissent pas
assez rapidement pour : de telles divergences sont de ce fait appelees divergences
ultra-violettes (on se rappellera la relation entre le vecteur nombre dondes et la longueur
donde). Si lon veut pouvoir donner un sens à la theorie quantique des champs, avant
toute chose, il faut se debarasser de ces infinis et introduire un procede de regularisation
des integrales divergentes.
B(x,y) =
7.3
R
egularisation dimensionnelle.
Plusieurs methodes de regularisation ont ete proposees, celle que nous privilegions ici
est la regularisation dimensionnelle: elle a lavantage sur les autres de preserver la covariance relativiste et de preserver les identites de Ward de lelectrodynamique quantique.
Elle pose cependant problème dans la theorie unifiee des interactions electromagnetiques
et faibles (`
a cause du 5 !). Dans la plupart des methodes de regularisation, la technique
proposee consiste `
a introduire dans les integrales à calculer un paramètre de sorte que les
nouvelles fonctions soient des fonctions analytiques de ce paramètre, dans un domaine. On
calcule alors ces integrales dans le domaine danalyticite du paramètre, puis, on cherche
un prolongement du resultat au voisinage de la valeur quil faut donner à ce paramètre
pour retrouver les fonctions definies initialement par des integrales divergentes. Par cette
technique, on separe les termes divergents des termes finis. Une telle separation reste
cependant arbitraire puisque ( + (f ini) = ). Cet arbitraire sera leve par lintroduction
d une prescription de renormalisation.
Dans la regularisation dimensionnelle, le paramètre de regularisation est la dimension de lespace temps, notee 2. On constate que, si lon remplace dans les integrales
precedemment donnees en exemple, lelement de volume d4 k/(2)4 par d2 k/(2)2 , pour
Re 2 suffisamment petit, les integrales convergent. Cest donc dans le demi-plan complexe Re 2 1 [ou 2] selon le cas, que lon peut calculer les integrales. Une fois exprime
en termes de fonctions dEuler, ce resultat sera evidemment prolongeable en dehors du
domaine de convergence des integrales.
Nous allons appliquer cette technique aux diagrammes à une boucle de la theorie
en 4 et de lelectrodynamique spinorielle. Auparavant, pour rendre coherente la theorie
des champs dans un espace-temps à 2 dimensions dans laquelle les champs portent les
dimensions suivantes
1
[] = L1 , [A ] = L1 , [] = L 2
(7.3.49)
et pour conserver des constantes de couplage sans dimensions [comme cest le cas pour
2 = 4], on introduit un paramètre dechelle, , qui a les dimensions dune masse (M =
70
L1 ), par les remplacements

(2 )2 , e e()2 .
(7.3.50)
En electrodynamique quantique, le changement de dimensions de lespace-temps (dans

lequel on suppose quil ny a quune seule dimension de temps) induit des modifications
des matrices . Elles satisfont toujours les relations
+ = 2g I
(7.3.51)
mais sont, dans une representation irreductible, des matrices à 2 lignes et colonnes. De
ce fait, on trouve, par exemple:
T r( ) = 2 g

T r( ) = 2 (g
(7.3.52)
+g
(7.3.53)
mais aussi
= 2I
(7.3.54)
= 2(1 )
= 4g
(7.3.55)

I 2(2 )
(7.3.56)

= 2 + 2(2 )
(7.3.57)
Dans le calcul des integrales, après rotation de Wick dans le plan k0 , on rencontre
1
d2 kE = 21 dd21 = 22 d2 d21
2
(7.3.58)
o`
u
d21 = (sin21 )22 d21 (sin22 )23 d22 sin2 d2 d1
(7.3.59)
0 1 2,0 j ,j = 2, ,2 1. Il vient donc

Z
22
Y
d21 = 2
N =1
Or,
Z
dN (sinN )N .
(7.3.60)
1
B(x,y),
2
(7.3.61)
dt(sint)2x1 (cost)2y1 =
pour Rex > 0 et Rey > 0. Pour y =

Z
1
2
et x = (N + 1)/2, ceci devient
dt (sint)N =
et donc
Z
dt (sint)
0
=2
1 1 (N + 1)
B( ,
)
2 2
2
dt (sint)
71
( (N 2+1) )
= . (N +2)
( 2 )
(7.3.62)
(7.3.63)
On obtient ainsi, pour lintegrale sur la partie angulaire lexpression

Z
1
.
d21 = 2
()
(7.3.64)
A laide de ce resultat, nous pouvons etablir les formules suivantes qui remplacent, `
a 2
dimensions, les formules du paragraphe precedent:
Z
d2 k
1
1
1
( )
= i(1)
(7.3.65)
(2)2 [k2 A2 + i]
(4) (A2 ) ()
et
Z
k k
1
( 1)
1
i
d2 k
= g (1)1
.
2
2
2
2
1
(2) [k A + i]
2
(4) (A )
()
(7.3.66)
Nous avons `
a present en main tous les outils necessaires pour calculer les diagrammes
de Feynman `
a une boucle de la theorie en 4 et de lelectrodynamique quantique, dans
lespace-temps `
a 2 dimensions. Prenons dabord, le propagateur du champ scalaire,
(2) (p) i
(2) (p; 2) = i(p2 m2 ) i(p; 2)
i
Z
i
d2 k
i
2 2
i(p; 2) =
( )
2
2
2
(2) k m2 + i
m2 42 2
= i
[
]
(1 )
2(4)2 m2
(7.3.67)
(7.3.68)
(7.3.69)
Au voisinage de = 2 ou de = 2 = 0, il vient
[
42
42
]
=
exp
log[
]
=
1
+
log[
] + O(2 ).
m2
m2
(7.3.70)
De plus, en utilisant la propriete z(z) = (z + 1), z(z + 1)(z) = (z + 2), on a

(1 ) = ( 1)
(1 + )
=
( 1)
1
=
(1 + + 2 + )((1) + (1) + )
1
=
[1 + (1 + (1)) + O(2 )]
(7.3.71)
(7.3.72)
(7.3.73)
(7.3.74)
En mettant ensemble tous ces resultats partiels, il vient enfin, au voisinage de = 0,

i(p; 2) = i
42
m2 1
[
+
log[
] + 1 + (1) + O()].
2(4)2
m2
(7.3.75)
Ceci nest autre que le developpement en serie de Laurent, autour de = 0 de la fonction

i(p; 2). La singularite attendue pour = 0, puisque lintegrale à 4-dimensions est
72
divergente, apparat ici comme pole simple en = 0 de la fonction i(p; 4 2).

Comme deuxième exemple issu de la theorie en 4 , considerons la boucle qui definit la
(4) , soit
fonction i
Z
1
1
d2 k
2
2 2 42
F (p ; 2) = ( )
.
(7.3.76)
.
(2)2 k2 m2 + i (p k)2 m2 + i
Z 1
Z
1
d2 k
dx
(7.3.77)
= 2 (2 )42
2
2
2
(2)
[(k px) + p x(1 x) m2 + i]2
0
Z 1
2
m2 p2 x(1 x) 2
2 2 i
dx[
(2
)
]
(7.3.78)
= ( )
(4)2
42
0
Son developpement de Laurent autour de = 2 = 0 est le suivant
Z 1
2 1
p2
42
2
2 i
dx
log[1
[
+
(1)
+
log[
]
x(1 x)] + O()].

F (p ; 4 2) = ( )
(4)2
m2
m2
0
(7.3.79)
Il vient ainsi
(4) (p1 ,p2 ,p3 ,p4 ; 2) = (i)(2 )2
i
1
[F ((p1 + p2 )2 ; 2) + F ((p1 + p3 )2 ; 2) + F ((p1 + p4 )2 ; 2)]
+
2
(7.3.80)
(7.3.81)
En electrodynamique quantique, on obtient, pour la self-energie de lelectron

Z
(p/ k/ + m)
d2 k
i(p; 2) = (ie2 )2
(7.3.82)
2
(2) [(p k)2 m2 + i][k2 + i]
= i[p/ A(p2 ; 2) + m B(p2 ; 2)]
o`
u, avec =
(7.3.83)
e2
4 ,
Z 1
m2 x p2 x(1 x) 2
A(p ; 2) =
dx (1 x)[
(1 )(2 )
]
(7.3.84)
2
42
0
Z 1
1
42
( (1) 1)
= [ +
dx (1 x) log[ 2
+
] + (7.3.85)
O()]
2 2
2
m x p2 x(1 x)
0
2
et
2
B(p ; 2) =
=
Z 1
m2 x p2 x(1 x) 2
dx [
(2 )
]
(7.3.86)
2
42
0
Z 1
42
2
dx log[ 2
[ + 2 (1) 1 + 2
] + O()](7.3.87)
2
m x p2 x(1 x)
0
73
Pour la polarisation du photon, il vient

Z
d2 k
(k/ + m) (p/ + k/ + m)
2 2
i (p; 2) = (ie
)
T
r[
(7.3.88)
(2)2
[k2 m2 + i][(p + k)2 m2 + i]
Z 1
22
2i
2
dx x(1 x) [ 2
(p p p g )(2 )
]2
(7.3.89)
=
m p2 x(1 x)
0
Z 1
22
(1)
2i
2 1
dxx(1 x) log[ 2
(p p p g )[ +
+
] (7.3.90)
+ O()]
=
6
6
m p2 x(1 x)
0
On remarquera que dans la regularisation dimensionnelle le tenseur est automatiquement transverse. Sa partie longitudinale L(p2 ; 2) = 0 comme impose par les identites de
Ward. La partie transverse definie precedemment vaut
Z 1
2p2 1
22
(1)
2
T (p ; 2) =
dxx(1 x) log[ 2
[ +
+
]].
(7.3.91)
6
6
m p2 x(1 x)
0
Enfin, lexpression du vertex electromagnetique est donnee par
(3) (p ,q,p; 2) = ie2
i
+i(ie
2 3
(k/ + p/ + m) (k/ + p/ + m)
d2 k
(2)2 [(k + p )2 m2 + i][(k + p)2 m2 + i][k2 + i]
(7.3.92)
(7.3.93)
Après introduction de 2 variables auxiliaires, le dernier terme de lequation ci-dessus se

recrit comme
Z
Z x
Z 1
d2 k
2 3
i(ie
)
dy.
(7.3.94)
dx
(k/ + p/ + m) (k/ + p/ + m) 2
(2)2
0
0
.
1
[(2kq + p2 p2 )y + (2kp + p2 m2 )x + k2 + i]3
(7.3.95)
dont le denominateur se met encore sous la forme
[(k + px + qy)2 (px + qy)2 + (p2 p2 )y + (p2 m2 )x + i]3 .
(7.3.96)
Simpose alors le changement de variables dintegration suivant (translation):

k = k + px + qy, k = k px qy.
(7.3.97)
De ce fait, le numerateur devient

(k/ p/x /q y + p/ + m) (k/ p/x /q y + p/ + m) .
(7.3.98)
Dans les nouvelles variables k , le denominateur est devenu une fonction paire; seuls les
termes pairs en k du numerateur contribueront donc à lintegrale, puisque lintegration
se fait sur un domaine symetrique par rapport à lorigine. Le numerateur peut donc etre
decompose en la somme de deux termes, dont
k/ k/
74
(7.3.99)
et le reste des termes pairs qui est independant de k , cest à dire

(p/x /q y + p/ + m) (p/x /q y + p/ + m) .
(7.3.100)
Cette decomposition du numerateur induit la decomposition correspondante de la fonction

de vertex electromagnetique:
(3) (p ,q,p; 2) = ie2 + i
I + i
II .
i
(7.3.101)
Par simple comptage de puissances de k , on constate que lintegrale definissant la fonction
II
i
ete qui a permis, avant tout procede
(p ,q,p; 2) est finie pour 2 = 4; cest cette propri
de renormalisation dobtenir lanomalie du moment magnetique de lelectron. Nous y reviendrons plus loin. Nous ne nous occupons, pour le moment, que du calcul de la fonction
I (p ,q,p; 2) au voisinage de 2 = 4 qui est donnee par
i
k/ k/
d2 k
(2)2 [k2 (px + qy)2 + (p2 p2 )y + (p2 m2 )x + i]3
0
0
(7.3.102)
Z 1 Z x
(2 )
1
= ie3 (2 )3 2(1)2
dy
dx
2 + (p2 p2 )y + (m2 p2 )x]2
(4)
[(px
+
qy)
0
0
(7.3.103)
Z 1 Z x
2
4
1
dy log[
dx
]+O()].
= ie2 [ 1 +
2 + (p2 p2 )y + (m2 p2 )x
2 2
2 0
(px
+
qy)
0
(7.3.104)
Elle est proportionnelle `
a la matrice .
et
(3)
On verifie aisement que les parties singulières [en 1 ] de
e de
satisfont lidentit
Ward.
et
(3)
Les fonctions
esentent encore des
ont des parties finies pour 0 qui pr
divergences infra-rouges lorsque les electrons sont sur leur couche de masse, cest-à-dire
pour des valeurs des impulsions externes telles que p2 = m2 = p2 . Ces divergences sont
dues `
a la presence, dans leur definition, du propagateur du photon à masse nulle. En fait,
ces singularites traduisent lexistence de forces de longue portee qui mettent en defaut la
definition des etats asymptotiques in et out.
Notons encore que la fonction
Z 1 Z x
II = 2e3 (2 )3
i
dy (p/x + /q y p/ m) (p/x + /q y p/ m) (7.3.105)
dx
2e3 63
dx
dy
1
1 (3 )
2
2
(4)
(3) [(px + qy) + (p p2 )y + (m2 p2 )x]3
est regulière au voisinage de = 2.
75
(7.3.106)
Chapitre 8
Renormalisation `
a une boucle.
8.1
Renormalisation de la th
eorie en 4 .
La methode de renormalisation [methode des contre-termes] que nous presentons ici

bien que la plus usitee en physique des hautes energies nest pas celle dont linterpretation
physique est la plus claire. Lidee matresse de la renormalisation est cependant toujours la
meme: elle consiste `
a prouver que, à tout ordre du developpement perturbatif, il est possible
de renormaliser la masse, la constante de couplage et le facteur de normalisation du champ,
de manière `
a obtenir une theorie finie. Comme nous lavons dejà annonce precedemment,
elle sera finie mais arbitraire, car dependant dune prescription de renormalisation; deux
prescriptions differentes de renormalisation fournissent des parties finies differentes. Il nous
restera alors `
a invoquer le groupe de renormalisation pour demontrer quun changement
de prescription se traduit en un changement de parametrisation des elements de matrice
S, cest-à-dire des amplitudes physiques.
Dans cette methode, nous regardons les paramètres du lagrangien initial
1
1
1
L = m2 2 (2 )2 4
2
2
4!
(8.1.1)
comme paramètres physiques. Comme nous lavons montre plus haut, ce lagrangien fournit
des fonctions de Green singulières pour = 0. Cependant, en ajoutant à ce lagrangien,
ordre par ordre en , des contre-termes, traites comme des termes dinteraction, il est
possible deliminer les divergences.
2)) inEn premier lieu, calculons, au premier ordre en , la modification 1 (i(p;
duite par le terme
1
1 L = m2 2 A
(8.1.2)
2
o`
u A est une constante. Il vient tout de suite, en traitant ce terme comme une interaction
et donc en ajoutant une nouvelle règle de Feynman
+ 1 )
= i
i(
42
m2 1
+
log[
[
] + 1 + (1)] + im2 A +
2(4)2
m2
76
(8.1.3)
2
-im A
1
2
Fig. 8.1 Contre-termes de masse

On voit donc que ceci devient fini pour = 0 à la condition que
A=
1
+ A1
2(4)2
(8.1.4)
o`
u A1 est une partie finie arbitraire. La prescription de renormalisation consiste `
a fixer
A1 . Dans la prescription de t Hooft et Weinberg on choisit A1 = 0: les contre-termes y
sont alors minimaux. On voit donc que le nouveau lagrangien
L1 = L + 1 L
(8.1.5)
fournit, avec (8.1.4) une theorie finie au premier ordre du calcul perturbatif. Notons que
(8.1.5) peut se recrire comme
1
1
1
L1 = m2 (1 + A)2 (2 )2 4
2
2
4!
(8.1.6)
qui a la meme forme que le lagrangien initial mais dans lequel le paramètre de masse est
devenu
m2 m21 = m2 (1 + A)
(8.1.7)
qui, en vertu de (8.1.4) est infini pour = 0.
Passons au second ordre en ; le terme 1 L = 12 m2 2 A modifie la fonction de Green
4 . Considerons la modification 2
4
G4 mais pas le vertex 4 ni sa transformee de Fourier
induite par
1
2 L = 2 (2 ) B4
(8.1.8)
4!
avec la nouvelle règle de Feynman
2 2
= -i B
Fig. 8.2 Contre-terme de couplage

4 = i2 (2 ) B.
i2
(8.1.9)
3 1
+ B1 ,
2 (4)2
(8.1.10)
Avec (7.3.81), on voit que si

B=
77
4 + 2
4 ) est fini pour 0. Cette operation a necessite une renorle nouveau vertex i(
malisation de la constante de couplage: le lagrangien
L2 = L1 + 2 L
(8.1.11)
qui fournit ce resultat a la meme forme que le lagrangien L1 mais

(2 ) 2 = (2 ) (1 + B)
(8.1.12)
qui est aussi infinie pour 0.

Au second ordre, les termes 1 L + 2 L modifient le propagateur G2 mais ne le rendent
pas encore fini: cette operation necessite une renormalisation supplementaire de la masse
et une renormalisation du champ . Au total, la theorie est rendue finie à lordre deux en
ajoutant au lagrangien initial
1
1
1
L = m2 2 (2 )2 4
2
2
4!
(8.1.13)
les contre-termes
1
1
1
(8.1.14)
LCT = C Am2 2 B 2 4
2
2
4!
o`
u A = A + 2 A , B = B et C = 2 C. Le lagrangien total appele aussi lagrangien nu
(bare lagrangian) est
LB = L + LCT
1
1
1
= (1 + C) (1 + A) m2 2 (1 + B) 2 4
2
2
4!
(8.1.15)
(8.1.16)
On voit que leffet des contre-termes est equivalent à la multiplication de ,m, par des
facteurs de renormalisation Z; si lon definit les quantites nues par
p
B =
Z , Z = 1 + C
(8.1.17)
mB = Zm m, Zm = (1 + A)/(1 + C)
2
(8.1.18)
B = ( ) Z , Z = (1 + B)/(1 + C)
(8.1.19)
le lagrangien nu devient
1
1
1
LB = B B m2B 2B B 4B .
2
2
4!
(8.1.20)
Dans la theorie complète, les quantites A,B,C sont donnees par des series de puissances
de dont les coefficients sont des polynomes en 1 .
Dans le langage des contre-termes, une theorie est dite renormalisable si les contretermes necessaires pour eliminer les divergences, à tous les ordres du calcul de perturbation, ont la meme forme que ceux qui figurent dans le lagrangien initial. Si cest le cas,
les quantites nues sont reliees aux paramètres physiques par des facteurs multiplicatifs
(infinis) et le lagrangien nu a la meme forme que le lagrangien initial. Le lagrangien nu
est, rappelons-le, celui qui donne une theorie finie à tous les ordres du developpement
perturbatif. Les paramètres nus ne sont pas mesurables, peu importe donc quils soient
infinis!
78
8.2
Renormalisation de l
Par la meme technique de contre-termes, nous allons montrer quil est possible deliminer
les parties singulières pour 0 de la self-energie de lelectron, de la polarisation du
photon et du vertex electromagnetique obtenus à partir du lagrangien
A .
m) 1 F F 1 ( A )2 e
L = (i
4
2
(8.2.21)
Voyons dabord ce quapporte le contre-terme suivant
1 L = mA.
(8.2.22)
On voit, quau second ordre du calcul de perturbation, ce terme modifie la self-energie de

lelectron par
i( + 1 ) = i(p; 4 2) imA.
(8.2.23)
Avec
A=
1
+ A1
(8.2.24)
le pole est donc elimine de la fonction B(p2 ; 4 2) + 1 B(p2 ; 4 2). Voyons ensuite que

2 L = iB
(8.2.25)
B p.
(8.2.26)
ajoute `
a (8.2.23) le terme
La fonction A(p2 ; 4 2) + 2 A(p2 ; 4 2) sera donc finie à la condition de choisir
B=
1
.
4
(8.2.27)
Ceci correspond `
a une renormalisation du champ : le champ nu est defini comme
p
p
B = Z2 = (1 + B)
(8.2.28)
tandis que la masse nue de lelectron est
mB = m
(1 + A)
.
(1 + B)
(8.2.29)
De cette facon, le lagrangien nu de lelectron secrit

LeB = B (i B mB B ).
(8.2.30)
Les contre-termes eliminant les singularites de la polarisation du photon sont de la forme

1
1
1
L,CT = C[ F F ( A )2 ] E ( A )2 .
4
2
2
79
(8.2.31)
Comme nous avons choisi, au depart de travailler dans la jauge de Feynman ( = 1),
bien que dans la regularisation dimensionnelle, soit transverse, comme requis par
linvariance de jauge, la transformee de Fourier du propagateur photonique est
F

D
(p; 4 2) =
p p 1
1
1
g 2 [ 2 2
].
(p2 + T (p2 ; 4 2))
p p
(p + T )
(8.2.32)
Les paramètres C et E sont necessaires pour eliminer les infinis respectivement dans le
p p
coefficient de g et dans le coefficient de p2 . Les singularites disparaissent avec
C=
1
+ C1 ,
3
(8.2.33)
le calcul de E est laisse comme exercice! Il en resulte une renormalisation du champ

photonique:
p
(8.2.34)
AB = Z3 A = 1 + CA
et une renormalisation du paramètre de fixation de la jauge
B = 1
(1 + (C + E))
.
(1 + C)
(8.2.35)
On remarquera que grace a` linvariance de jauge, la masse du photon ne necessite pas

de renormalisation. Le contraire eut ete desastreux! En negligeant les termes de jauge, la
transformee de Fourier du propagateur renormalise est donnee par
g
p2
F

D
(p; 4 2) =
[1
+ O((p2 )2 )]
p2
15 m2
(8.2.36)
qui a pour effet une modification du potentiel Coulombien en ce sens que le potentiel entre
deux charges e devient
1
1
3 (~r)].
(8.2.37)
[ +
r 15m2
Le nouveau terme modifie les niveaux denergie de latome dhydrogène et fournit une
contribution significative au Lamb shift qui lève la degenerescence des niveaux 2S 1 et
2
2P 1 . Laccord entre theorie et experience confirme la validite de lelectrodynamique.
2
Il reste `
a eliminer la singularite du vertex electromagnetique. Ceci peut se faire en
ajoutant au lagrangien le contre-terme suivant
A .
Lint,CT = De
(8.2.38)
(3)
par laddition de
qui contribue `
a i
iDe
(8.2.39)
et elimine donc la singularite pour la valeur

D=
1
+ D1 .
4
80
(8.2.40)
Le lagrangien dinteraction nu secrit donc

A
Lint,B = e (1 + D)
A
= Z1 e
= eB B B AB
(8.2.41)
(8.2.42)
(8.2.43)
o`
u la charge nue est definie par
eB = e
(1 + D)
Z1
= e .
Z2 Z3
(1 + B) 1 + C
(8.2.44)
Rappelons que les identites de Ward imposent (et la regularisation dimensionnelle respecte
ces identites) legalite
Z1 = Z2 ;
(8.2.45)
on a donc
+ ).
(8.2.46)
6
Le lagrangien nu qui donne des propagateurs et une fonction de vertex finis (ici jusquà
lordre deux) est donc
1
eB = e (Z3 ) 2 = e (1 +
1 B B
FB
( AB )2 eB B B AB .
LB = L + LCT = B (i B mB B ) F
4
2
(8.2.47)
Toutes les quantites infinies ont donc ete absorbees dans la definition des quantites nues. A
lordre deux, lelectrodynamique quantique est renormalisable; elle lest à tous les ordres!
81
Chapitre 9
Groupe de renormalisation.
9.1
Th
eorie en 4 .
Nous avons vu, dans les sections precedentes, que le lagrangien LB = L + LCT fournit
des vertex propres finis `
a la limite 0; ce sont les vertex propres renormalises
R =
n + CT
n =
R (p1 , ,pn ; m,,,).
n
n
(9.1.1)
Ils sont relies aux vertex propres de la theorie nue, exprimes comme fonctions des paramètres
nus, par la relation
B (p1 , ,pn ; mB ,B ,) = (Z ) n
R (p1 , ,pn ; m,,,)
2
n
n
(9.1.2)
Cette relation decoule du fait que

GB
n (x1 , ,xn ) = < 0|T B (x1 ) B (xn )|0 >
n
2
(9.1.3)
= Z < 0|T (x1 ) (xn )|0 >
(9.1.4)
= Z Gn (x1 , ,xn )
(9.1.5)
n
2
Pour les fonctions de Green amputees, il en resulte

n
2
(Z )n (GB
n )amp = (Z ) (Gn )amp
(9.1.6)
donc aussi, pour leurs transformees de Fourier et pour les transformees de Fourier des
vertex propres. Dans la relation (9.1.2), on peut voir les paramètres nus mB ,B comme
fonctions de m, et ou, inversement, on peut choisir mB et B comme paramètres
fondamentaux et exprimer les paramètres physiques comme fonction de mB ,B ,:
= m(mB ,B ,), = (mB ,B ,)
(9.1.7)
Avec (9.1.7), le membre de gauche de (9.1.2) ne depend pas de : il est donc invariant sous
les transformations et qui constituent le groupe de renormalisation. Le membre de
82
droite de (9.1.2), par contre, depend de explicitement et implicitement via m et . On

a donc
d B
= 0
d n
(9.1.8)
n
d
R
(Z ) 2
n (p1 , ,pn ; m,,,)
d
n
d R
n 1 n d
R
2
= Z 2 Z .
.
n + (Z )
2
d
d n
(9.1.9)
(9.1.10)
Ou, en multipliant le tout par (Z ) 2 ,
ou encore
n d
d R
R
0 = logZ .
,
n +
2 d
d n
(9.1.11)
R
R
n
R +
R + m n + n .
0 = logZ .
n
n
2
(9.1.12)
Cest une equation aux derivees partielles du premier ordre à laquelle satisfont tous les
vertex propres renormalises. Avec les definitions suivantes
p
m
,) = log Z
m
(, ,) =
m
m
mm (, ,) =
(,
(9.1.13)
(9.1.14)
(9.1.15)
lequation (9.1.12) devient

[
+
n + mm
] = 0.
m n
(9.1.16)
Cest lequation du groupe de renormalisation.

On peut ecrire une seconde equation pour les vertex propres renormalises en prenant
R
pour point de depart le fait que
ede une dimension qui est
n poss`
M 4n+(n2) .
(9.1.17)
Ceci setablit sans peine, a` partir de laction effective dont les vertex propres sont les
coefficients du developpement en puissances de cl , puis en passant à leurs transformees
de Fourier. Il sen suit que si lon multiplie tous les paramètres qui ont les dimensions
R
dune masse (m,,pi ) par un facteur s, la fonction
ee par s4n+(n2) :
n sera multipli
Donc aussi
4n+(n2) R
R
n (pi ,,m,,).
n (spi ,,sm,s,) = s
(9.1.18)
R (pi ,,m,,) = s[4n+(n2)]

R (spi ,,sm,s,).
n
n
(9.1.19)
83
Puisque le membre de gauche de (9.1.19) ne depend pas de s, sa derivee par rapport `

as
est nulle, donc aussi
0 = [s
R (spi ,,sm,s,).
+m
+
(4 n + (n 2))]
n
s
m
(9.1.20)
n
entre (9.1.16) et (9.1.20), il reste, en = 0, lequation
En eliminant
0 = [s
R (spi ,,m,, = 0).

+
+ (m 1)m
+ (4 n n)]
n
s
(9.1.21)
Cette equation permet devaluer le comportement des vertex propres pour des grandes
impulsions externes. Pour une prescription generale de renormalisation, les fonctions qui
forment les coefficients de ces equations aux derivees partielles dependent des deux variables et m
. Dans la prescription de t Hooft et Weinberg dite aussi prescription de
soustraction minimale, dans laquelle toutes les parties finies des contre-termes sont nulles,
les fonctions definies en (9.1.15) ne dependent que de la seule variable . Par exemple,
dans cette prescription, on a
B = 2 [ +
X
ak ()
k=1
(9.1.22)
et donc, avec B et mB comme paramètres fondamentaux,
d
B = 0
d
(9.1.23)
= 22 [ +
X
ak ()
k=1
] + 2+1
X a
k
[1 +
]
(9.1.24)
Ou, en divisant tout par 2 ,

0 = 2[ +
X
ak ()
k=1
] + [1 +
X a
].
(9.1.25)
En egalant `
a zero la partie analytique en , et en tenant compte de ce que les ak sont des
developpements en puissances de , il vient
do`
u, `
a la limite 0,
= 2 2a1 + 2a1
(9.1.26)
= () = 2a1 + 2a1 .
(9.1.27)
ne depend que de et est determinee par le residu du pole dordre 1 en = 0.

Nous avons trouve precedemment en renormalisant la theorie en 4 , et en utilisant la
prescription de t Hooft-Weinberg,
B = 2 [1 +
84
3
],
2(4)2
(9.1.28)
on en deduit donc, au second ordre,

() =
32
.
(4)2
(9.1.29)
Puisque =
, lequation ci-dessus peut etre resolue pour = (); on trouve, avec la
condition 0 = (0 ) :
0
.
(9.1.30)
=
30
[1 (4)2 log 0 ]
Ainsi, partant dun petit 0 à une echelle 0 , la constante de couplage effective () crot
avec ; ceci implique aussi que la serie perturbative devient caduque. devient infinie
(4)2
30
pour 1 = (4)
2 log , ou = 0 exp 3 .
0
0
On ne sait pas calculer () pour grand, mais on peut presenter des situations
possibles, partant de = 0, pour = 0 qui est le point de non interaction.
1) () est positif et crot avec .
2) il existe une valeur F appelee point fixe, stable, ultra-violet tel que, au voisinage
de F ,
= ( F ) (F ) +
(9.1.31)
=
est > 0 donc augmente avec jusquà F ; pour

et (F ) est negatif. Pour < F ,
> F , est < 0 donc diminue jusquà F quand augmente.
Cas n 2
Cas n 3
Cas n 4
Fig. 9.1 Comportements possibles pour

3) F = 0, pour , 0. Ce cas realise la condition dite de liberte asymptotique. Cest la situation que lon rencontre dans les theories de jauge non-abeliennes.
85

4) F est un point fixe stable infra-rouge si, au voisinage de F , on a
= (
F ) (F ) + avec (F ) positif. Dans ce cas, si < F , 0 quand augmente,

tandis que pour > F , quand augmente. Cette situation est celle de la theorie
en 4 pour > 0.
9.1.1
R
esolution de l
equation (9.1.16) dans la prescription de t HooftWeinberg.
[
+
n + mm
] = 0.
m n
(9.1.32)
1) equation homogène associee et courbes caracteristiques.
R
+
+ mm
]
= 0
m n
R = [d + d + dm ]
R = 0.
d
n
m n
[
d
dm
d
=
=
= dt.
()
mm ()
On en tire,
a)
d
= dt, t =
ou
= log
(t) = et ,
(0) = .
b)
ou
(9.1.33)
(9.1.34)
(9.1.35)
(9.1.36)
(9.1.37)
d
= dt, t =
()
d
( )
(9.1.38)
= (,t),
(t)
(0)
= .
(9.1.39)
dm
= dt m ((t))
m
(9.1.40)
= m(m,t),
(9.1.41)
c)
dm
= dt,
mm ()
do`
u
Rt
m(t)
= me
dt m (t )
m(0)
= m.
Par definition, le long de la caracteristique par (,m,),

m(t),
R (pi ,,m,) =
R (pi ,(t),
(t)).
n
n
(9.1.42)
R
2) Lequation complète determine la variation de
eristique par
n le long de la caract
R = n ()
R dt
d
n
n
86
(9.1.43)
ou
ou
do`
u il vient enfin
R
d
n
= dt
n R
n
(9.1.44)
R
d
n
= n((t))dt
R
(9.1.45)
R (t) =
R (0).en
n
n
Rt
0
dt m (t )
(9.1.46)
ou, en inversant la relation

m(t),
R (pi ,,m,) =
R (pi ,(t),
(t)) en
n
n
Rt
0
dt m (t )
(9.1.47)
Ceci est la solution de lequation du groupe de renormalisation. Elle exprime que le change
ment de en et peut toujours etre compense par les changements (t),
m m(t),
et par un changement de normalisation du champ; notons en effet que

s
p
Z (t)
Z t
Z (t)
))
Z
log
Z (
(t))
d
((
dt m (t ) =
d
(9.1.48)
=
= log
Z ()
on a donc aussi legalite

n
m(t),
R (pi ,,m,)Z () n
R (pi ,(t),
2 =
(t))Z (
(t))) 2 .
n
n
(9.1.49)
Ceci, utilise dans la formule de reduction etablit linvariance des elements de matrice S
sous les changements de prescriptions de renormalisation.
9.1.2
R
esolution de l
equation (9.1.21) dans la prescription de t HooftWeinberg.
Rappelons cette equation

0 = [s
R (spi ,,m,, = 0).

+
+ (m 1)m
+ (4 n n)]
n
s
(9.1.50)
1) Associons `
a cette equation, lequation homogène en les derivees partielles
0 = [s
R
+
+ (m 1)m
] (spi ,,m,),
s
m n
(9.1.51)
et recherchons les courbes caracteristiques telles que, le long de ces caracteristiques on ait
R
d
n = 0.
R =
d
n
Do`
u on tire
(9.1.52)
R
R
R
n
n
n
ds +
d +
dm
s
(9.1.53)
ds
d
dm
=
=
.
s
m(m 1)
(9.1.54)
87
En recherchant les equations des caracteristiques comme fonctions du paramètre t, on

obtient successivement
Z s
ds
ds
s
= dt
() = t = log , s(t) = set , s(0) = s.
(9.1.55)
s
s
s
s
Z
d
d
= (,t),
= dt
= t,
(0)
= .
(9.1.56)
( )
Z m
Z t
dm
dm
m
dm
dt
[
1]
=
= dt =
(9.1.57)
= log
m
m(m 1)
m
m[m ((t) 1]
m m
0
Z t
dt [m 1] = m(m,t),
m(0)
= m.
(9.1.58)
m(t)
= mexp
0
Ainsi, le long de la caracteristique qui passe par le point (s,,m), par definition,
m(t),)
0 ),m(t
R
R s(t)pi ,(t),
R
=
s(t0 )pi ,(t
0 ),).
n (spi ,,m,) = n (
n (
(9.1.59)
Choisissons pour t0 la valeur du paramètre t pour laquelle s(t0 ) = 1 cest-à-dire, t0 = logs.

Pour cette valeur,
s(t0 ) = 1
0 ) = (,logs)
(t
= (,s)
(9.1.60)
m(t
0 ) = m(m,logs)
= m(m,s)
(9.1.62)
(9.1.61)
(,s)
est la constante de couplage effective, m(m,s)
est la masse effective. Il vient donc
R (pi ,(,s),
R (spi ,,m,) =
m(m,s),).
n
n
(9.1.63)
R
2) Lequation (9.1.21) complète va permettre dexprimer la variation de
n le long de
la caracteristique.
[s
R
+
+ (m 1)m
] (spi ,,m,) = [n 4 + n]
n
s
m n
R
n
= d
donc aussi,
dont la solution est,
R
d
n
= dt
R
[n 4 + n]
n
R
R
n (t) = n (0).exp[(n 4)t + n
(9.1.64)
(9.1.65)
(9.1.66)
dt (t )]
(9.1.67)
ou, en inversant et en considerant ce qui se produit en t = t0 = logs,
R (spi ,,m,) =
R (pi ,(,s),
m(m,s),)
s4n en
n
n
88
Rs
1
ds
(s )
s
(9.1.68)
Ceci est la solution recherchee en termes de la constante de couplage et de la masse

effectives. Ainsi, lorsquon change lechelle des impulsions externes par le facteur s, les
vertex propres de la theorie changent avec s par lintermediaire des constante de couplage
et masse effectives, par le facteur s4n qui exprime leur dimension normale et par le facteur
R
exponentiel qui introduit une dimension anomale. Pour s , les
n (spi ,,m,) ont leur
comportement gouverne par (,s) et m(m,s).
Supposons que la theorie admette un point

fixe stable ultra-violet, cest-à-dire que
lim (,s)
= F
alors
= m (F ),
lim m ()
= (F ).
lim ()
(9.1.69)
(9.1.70)
Il vient ensuite
m(m,logs)
m s[m (F )1]
et
et
ds
(s ) (F ).logs
s
en
Rs
1
ds
s
(s )
sn (F )
(9.1.71)
(9.1.72)
(9.1.73)
qui est vraiment la signature dune dimension anomale. Dans ce cas, pour s ,
4nn(F ) R
R
n (pi ,F ,m sm (F )1 ,).
n (spi ,,m,) s
(9.1.74)
Ceci est interessant lorsque [m (F ) 1] est negatif, puisqualors la masse effective devient
d
nulle. On peut voir aussi, en changeant de variable par ds
s = ( ) , que
s
1
ds
[m (s ) 1] =
s
(s)
d
[m ( ) 1].
( )
(9.1.75)
A moins que [m 1] et naient des zeros simultanes, on voit que la contribution dominante `
a la dernière integrale vient des zeros de , cest-à-dire, des points fixes. Linteret
primordial de cette etude se trouve lorsque le point fixe stable ultra-violet est nul (liberte
m (F )1 ,) peut
asymptotique): on voit dans ce cas, que la fonction R
etre
n (pi ,F ,m s
calculee perturbativement au voisinage de F = 0, en negligeant les masses si m (0) < 1.
Dans la theorie en 4 limitee au second ordre, on a obtenu, utilisant la prescription de
tHooft-Weinberg,
m () =
() =
() =
2
7
+ (
)
2
(4)
12 (4)2
1
2
(
)
12 (4)2
32
(4)2
89
(9.1.76)
(9.1.77)
(9.1.78)
On en deduit
0 ) = (,s)
(t
=
3
logs
(4)2
(9.1.79)
et
7[(,s)]
1
m (,s)
(
) 3 e 36(4)2 .
s
Ces resultats ne sont valables que pour s petit!
m(m,s)
90
(9.1.80)
9.2
Electrodynamique quantique.
Dans la prescription de tHooft-Weinberg, à lordre deux,
].
6
(9.2.81)
e3
e
= (e) =
12 2
(9.2.82)
eB = e [1 +
On en deduit, `
a la limite 0,
dont la solution est

e2 () =
e2 (0 )
1
e2 (0 )
6 2 log 0
(9.2.83)
Comme dans la theorie en 4 , la charge effective e2 () augmente avec jusquà la singularite de Landau pour
6 2
.
(9.2.84)
= 0 exp 2
e (0 )
Avant datteindre cette singularite, le calcul perturbatif limite à lordre deux nest plus
valable!
La croissance de e lorsque augmente, cest-à-dire, lorsque la distance diminue est
analogue `
a ce qui se produit en electrostatique dans un milieu dielectrique. Ici, la presence
dune charge electrique polarise le milieu de sorte que la charge mesuree à une certaine
distance apparat plus petite que celle mesuree tout près. A une distance bien inferieure
aux distances inter-moleculaires ou inter-atomiques, cest la charge nue que lon atteint. La
meme situation se presente en electrodynamique quantique: le graphe de polarisation du
photon peut sinterpreter comme si le vide etait rempli de paires virtuelles e+ e qui font
ecran `
a la charge nue. La situation est toute differente en chromodynamique quantique
qui est une theorie asymptotiquement libre.
91
Chapitre 10
Moment magn
etique anomal de
l
electron.
Après avoir elimine la partie singulière de la fonction de vertex electromagnetique par
II
renormalisation, fixons `
a present notre attention sur la contribution finie
(p ,q,p) au
vertex electromagnetique, avec 2 = 4
Z 1 Z x
(p/x + /q y p/ m) (p/x + /q y p/ m)
II
= e
dy
.
(10.0.1)
dx
4 0
[(px + qy)2 + (p2 p2 )y + (m2 p2 )x]
0
Nous allons montrer que si nous interpretons la partie de laction effective à laquelle elle
contribue comme une correction à laction de Dirac, dans un champ electromagnetique
exterieur, elle fournit, `
a lordre , lanomalie du moment magnetique de lelectron qui
sajoute au moment magnetique de Dirac pour donner le moment magnetique
(1 +
)
2
(10.0.2)
magnetons de Bohr. Nous nous contenterons ici de calculer (10.0.1) sandwiche entre u
(p )
à gauche et u(p) `
a droite, ce qui permet dutiliser les equations de Dirac
(p/ m)u(p) = 0,(p2 m2 )u(p) = 0,
u(p )(p/ m) = 0,
u(p )(p2 m2 ) = 0
(10.0.3)
et pour le potentiel considere comme exterieur,

A (x) = 0, q 2 A (q) = 0.
(10.0.4)
Ainsi, avec p2 = p2 = m2 et q 2 = 0 et puisque q = p p,

q 2 = p2 + p2 2p.p = 2m2 2p.p = 0
(10.0.5)
q.p = (p p).p = p .p m2 = 0,
(10.0.6)
et
le denominateur de (10.0.1) se reduit à
Denominateur = m2 x2 .
92
(10.0.7)
Le calcul du numerateur est un peu plus long: il fait appel aux proprietes des matrices ;
tous calculs faits, le numerateur vaut
Numerateur = F + i q ()2mx(1 x).
(10.0.8)
Nous ne nous occuperons pas du coefficient de qui ne contribue pas au moment

magnetique et qui, de plus, presente une divergence infra-rouge. Le terme en q de
(10.0.1) vaut
2
i q
e
4 m
dx
dy
0
1x
1
= e
i q .
x
2 2m
Sa contribution `
a laction effective
Z
d4 xd4 yd4 z cl (z) (3) (z,x,
y ) cl (y) Acl, (x)
=
d xd yd z cl (z)
4
est donnee par
1
(2)8
(10.0.9)
(10.0.10)
ip z+ipy+iqx
(3)
d4 p d4 p d4 q 4 (qp +p)
cl (y) Acl, (x)
(p ,q,p)e
(10.0.11)
1
e
2 4m
d4 x cl (x) Fcl (x)cl (x).
(10.0.12)
En le considerant comme une correction à laction de Dirac dans un champ electromagnetique

exterieur, il modifie le lagrangien de Dirac par laddition du terme suivant
e
1
(x) F (x)
2 4m
et modifie les equations de Dirac par un terme de Pauli avec =

i [ + ieA ] m = e
(10.0.13)
0
1
F =
F .
2 4m
2 2
Ce qui etablit le resultat annonce.
93
(10.0.14)
Chapitre 11
Th
eorie de jauge non ab
elienne:
lagrangien.
11.1
Sym
etrie SU (3) globale puis locale
Considerons dabord, pour simplifier lexpose quil ny a dans la nature quun seul type
de quarks, de trois couleurs differentes; il leur est associe un triplet de champs spinoriels
de meme masse, libelles par un indice A = 1,2,3. La densite lagrangienne des quarks libres
X
A (i A m A )
(11.1.1)
L0 =
A
est invariante sous les transformations globales du groupe SU (3), que lon identifie ici `
a
sa representation fondamentale 3, pour lesquelles
A (x) = UBA B (x);
A
(x) = B (x) (U + )B
A.
(11.1.2)
Le groupe SU (3) est un groupe de Lie connexe et compact, à huit dimensions reelles; les
elements de ce groupe sont les images par lapplication exp de lalgèbre de Lie su(3): la
matrice U secrit comme
U = expY ; Y su(3),
(11.1.3)
cest-à-dire, Y est une matrice antihermitienne de trace nulle (en posant Y = iY , Y est
une matrice hermitienne de trace nulle). Dans la base {Ta }, a = 1,...,8 de su(3), Ta+ = Ta ,
les constantes de structure, reelles, sont definies par
[Ta , Tb ] = Tc C cab
(11.1.4)
et tout element Y secrit comme

Y =
X
a
y a Ta , y a R.
(11.1.5)
La theorie de jauge correspondant au modèle ci-dessus se construit en modifiant la

densite lagrangienne L0 de telle facon quelle devienne invariante sous les transformations
94
locales du type (11.1.2), cest-à-dire, sous les transformations (11.1.2) avec U = U (x) ou
U (x) = expY (x) = expy a (x) Ta , U + (x) = exp(y a (x) Ta )
(11.1.6)
Sous les transformations (11.1.6),

A (x) = (ey
a (x)T
B
y a (x)T B
)A
)A
B (x), A (x) = B (x) (e
(11.1.7)
Leurs derivees respectives sont liees par

B
A B
A (x) = U (x)A
B (x) + ( U (x))B (x)
+
B
A
(x) = B (x) U + (x)B
A + B (x) U (x)A
(11.1.8)
(11.1.9)
Ces relations traduisent le fait que, dans loperation de derivation, on a soustrait des objets
qui nont pas la meme loi de transformation sous laction du groupe de jauge. La question
se pose dès lors, de remplacer les derivees ordinaires , par des derivees covariantes
D ,D telles que, sous les transformations (11.1.7), on ait
et
11.2
C
[D (x)]B = U (x)B
C [D (x)]
(11.1.10)
C U + ()]C
[D ()]B = [D ()]
B
(11.1.11)
D
eriv
ees covariantes
Ceci se fait en introduisant une connexion A (x), qui permet de definir le transport
dun spineur en x en un spineur en x + x, variables de la representation 3du groupe de
jauge, par
C
tB (x + x) = B (x) + x A (x)B
(11.2.12)
C (x).
La condition imposee est donc que
tB (x + x) = UCB (x + x) tC (x + x)
(11.2.13)
ou
C
B
C
C D
B (x)+x A (x)B
C (x) = [U (x)+x U (x)]C [ (x)+x A (x)D (x)] (11.2.14)
On en deduit, quel que soit , la loi de transformation de la connexion

C
B
B
C
A (x)B
C UD (x) = U (x)C + UC (x) A (x)D
(11.2.15)
ou encore que
B
C
+ E
B
+ C
A (x)B
D = UC (x) A (x)E (U )D (x) + [ U (x)]C (U )D (x).
(11.2.16)
Puisque U est unitaire, la loi de transformation (11.2.16) est equivalente à

B
C
+ E
B
+
C
A (x)B
D = UC (x) A (x)E (U )D (x) UC (x)[ U (x)]D .
95
(11.2.17)
ou encore, sous forme matricielle,

A (x) = U (x) A (x) U + (x) U (x) U + (x).
(11.2.18)
La difference, B (x+ x) tB (x+ x), pour x infinitesimal, definit la derivee covariante

des variables de la representation 3 par
B (x + x) tB (x + x) = x [D (x)]B .
(11.2.19)
C
[D (x)]B = B (x) A (x)B
C (x).
(11.2.20)
D (B (x) B (x)) = (B (x) B (x)),
(11.2.21)
Puisque (B (x) B (x)) est invariant sous le groupe de jauge,
on en deduit la derivee covariante des variables de la representation 3

C
[D (x)]
B = B (x) + C (x) A (x)B .
(11.2.22)
La connexion A appartient au meme espace que U U + = (U U + )+ ; cest dire que

A est un vecteur en x (1-forme) à valeurs dans lalgèbre de Lie su(3). A laide de la base
{Ta }, on ecrit
a
B
A (x) = Aa (x) Ta , A (x)B
(11.2.23)
C = A (x) (Ta )C ,
ce qui associe donc `
a la connexion les 8 champs vectoriels (potentiels) Aa (x). En chromodynamique quantique, les particules de spin 1 associees à ces champs sont appelees
gluons. En portant (11.2.23) dans la relation (11.2.17), il vient
a
+
+
Aa
(x)Ta = A (x) U (x) Ta U (x) U (x) U (x)
Aa (x) AdU (x)(Ta )
U (x) U (x)
(11.2.24)
(11.2.25)
o`
u, par definition de la representation adjointe du groupe,
AdU (Ta ) = U Ta U + = Tb [AdU ]ba .
(11.2.26)
Pour U infiniment proche du neutre,

U = I + y b Tb ,
AdU (Ta ) = (I + y b Tb )Ta (I y c Tc )
(11.2.27)
(11.2.28)
Ta + y [Tb ,Ta ]
(11.2.29)
(11.2.30)
Ta + y adTb (Ta )
y b adTb )Ta
(11.2.31)
= (I + adY )(Ta ).
(11.2.32)
= (I +
Pour U = eY , on peut demontrer que
AdU = ey
b ad
Tb
96
= eadY
(11.2.33)
Rappelons encore que la representation adjointe de lalgèbre de Lie, ad, est definie par
adY (Ta ) = [Y,Ta ] = y b [Tb ,Ta ] = y b Tc C cba
=
Tc [adY ]ca
=y
Tc [adTb ]ca .
(11.2.34)
(11.2.35)
Ses generateurs infinitesimaux sont construits à partir des constantes de structure par
[adTb ]ca = C cba .
(11.2.36)
Reprenons la loi de transformation (11.2.25) pour U (x) donne par (11.2.27), il vient alors
a
a
b
a
c
Aa
(x)Ta = (A (x) + y (x)) Ta + y (x) A (x) Tc C ba
(11.2.37)
ou, puisque les {Ta } forment une base de lalgèbre de Lie,

a
a
b
c
a
Aa
(x) = A (x) + y (x) + y (x) A (x) C bc
(11.2.38)
= Aa (x) + y a (x) y b (x) Ac (x) C acb
(11.2.39)
Aa (x)
+ (D y)
(11.2.40)
La presence dans (11.2.40) des constantes de structure traduit le caractère non-abelien du

groupe SU (3).
11.3
Lagrangien dinteraction quark-gluon
En remplacant dans L0 , la derivee ordinaire par la derivee covariante (11.2.17), on

obtient
L0 + Lint = B [i (D )B m B ]
(11.3.41)
o`
u Lint est la densite lagrangienne de linteraction quarks-gluons,
C
Lint = i B [A (x)]B
C
= i B Aa (x)[Ta ]B C
= B
11.4
C
C
Aa (x)[Ta ]B
C
(11.3.42)
(11.3.43)
(11.3.44)
Lagrangien des gluons
Pour que les champs de gluons puissent etre traites comme des variables dynamiques, il
nous faut encore ajouter `
a (11.3.41) la densite lagrangienne de ces champs, invariante sous
laction du groupe de jauge. Rappelons quen electrodynamique quantique, cette densite
u
lagrangienne nest autre que 41 F F , o`
F = A A = [ A , A ]
(11.4.45)
est le champ electromagnetique, invariant de jauge. Les champs associes aux potentiels de
jauge ( ou, dans le langage des formes, la 2-forme de courbure associee à la 1-forme de
97
connexion) se construisent de la meme facon, à partir du commutateur des derivees covariantes des variables de la representation 3(cfr la construction du tenseur de Riemann):
F (x) = [D ,D ]
(11.4.46)
= A (x) A (x) [A (x),A (x)]
(11.4.47)
ou, avec
a
F (x) = F
(x) Ta ,
(11.4.48)
a
F
(x) = Aa (x) Aa (x) C abc Ab (x) Ac (x).
(11.4.49)
On verifie aisement que, sous laction du groupe de jauge, F (x) se transforme comme
F
(x) = A A + [A ,A ]
(11.4.50)
= U (x) F (x) U + (x),
(11.4.51)
T r[F (x) F (x)]
(11.4.52)
do`
u il resulte aussi que
est un invariant. En choisissant la normalisation de la base {Ta } conformement à
T r(Ta Tb ) = gab = 2ab ,
(11.4.53)
a
a
F
(x) Fa (x) = 2F
(x) F a (x).
(11.4.54)
(11.4.52) devient
gab est la metrique de Killing de lalgèbre de Lie; gab = 21 ab .
Quelle que soit la dimension d de lespace-temps, la connexion A (x) a la dimension
L1 , F a la dimension L2 et (11.4.54) a la dimension L4 . Ceci est la dimension
habituelle dun champ bosonique pour d = 4, alors que, pour d = 2, la dimension dun
potentiel bosonique est L1 = L1 L2 , celle dun champ bosonique est L et celle de
la densite lagrangienne est L2 . On choisira donc, comme densite lagrangienne de gluons,
valable `
a toute dimension d,
Lg =
1
1 a
a
F (x) Fa (x) g2 = ()2F
(x) F a (x) g2
8
8
(11.4.55)
o`
u g est une constante de dimension L2+ . On est alors amene tout naturellement `
a
absorber cette constante dans une redefinition des potentiels et des champs
A g1 A , F g1 F
(11.4.56)
de sorte que la densite lagrangienne des gluons devient

Lg =
1 a
1
T r[F (x) F (x)] = F
(x) F a (x)
8
4
(11.4.57)
avec, au lieu de (11.4.47),

a
F
= Aa Aa g C abc Ab (x) Ac (x),
98
(11.4.58)
et que la densite lagrangienne dinteraction quarks-gluons (11.3.44) secrit

C
Lint = g B Aa (x) [Ta ]B
C .
(11.4.59)
Dans ces nouvelles notations, g joue le role de la constante de couplage quarks-gluons. Elle
est sans dimension pour d = 4; on sera amene plus tard, dans le procede de regularisation
dimensionnelle `
a la remplacer par g2 .
Par rapport `
a lelectrodynamique quantique, un grand changement apparat au niveau
de Lg , qui contient, en plus de la partie quadratique en les potentiels Aa , identifiable au
lagrangien libre des gluons:
1
1
[ Aa Aa ][ Aa Aa ] = [ Aa Aa ][ Aa Aa ]
8
4
(11.4.60)
une partie cubique

g
g
[( Aa Aa ) C abc Ab Ac ] = [( Aa Aa ) C abc Ab Ac ]
4
2
(11.4.61)
et une partie quartique

g2
g2 a
[C bc Cadf Ab Ac Ad Af ] = [C abc C adf Ab Ac Ad Af ]
8
4
(11.4.62)
qui definissent le lagrangien dinteraction entre gluons.

Remarque: comme en electrodynamique, un terme de masse (m2 Aa Aa ) briserait linvariance de jauge du lagrangien; il nest donc pas autorise.
En resume, pour un seul type de quarks (ou pour des quarks dune seule saveur s),
la densite lagrangienne decrivant le système quarks-gluons en interaction secrit
o`
u
L = L0,qs + L0,g + LInt
(11.4.63)
L0,qs = B,s (i sB msB ),
(11.4.64)
1
L0,g = [ Aa Aa ][ Aa Aa ],
4
et
g
b c
a
a
a
C
LInt = g B,s Aa (x) [Ta ]B
C s + [( A A ) C bc A A ]
2
(11.4.65)
(11.4.66)
g2 a a b c d f
[C bc C df A A A A ].
(11.4.67)
4
Si lon prend en compte toutes les saveurs des quarks, le lagrangien qui decrit leurs interactions avec les gluons est le meme que le precedent, dans lequel on somme sur lindice repete
s = 1,...,ns (ns est le nombre de saveurs; on a de bonnes raisons de penser que ns 6.) En
première approximation, nous negligerons les differences de masses entre quarks de saveurs
differentes (dans la prescription de t Hooft-Weinberg, la renormalisation est independante
des masses).
99
Chapitre 12
Int
egrale fonctionnelle pour QCD.
12.1
Int
egrale fonctionnelle pour les gluons et fant
omes de
Fadd
eev - Popov.
Nous appliquerons ici la methode de Faddeev et Popov que nous avons precedemment
utilisee pour le photon. Notre choix de fonctions de fixation de la jauge est encore
ga [A](x) = Aa(x) ca (x) = 0;
(12.1.1)
mais bien que ga soit lineaire en Aa , donc ga [A ](x) lineaire en les y, avec A donne par
(11.2.40), le determinant de la matrice
y b (z)
ga [A ](x)|ga =0 =
a 4
[ (x z) + 4 (x z)Ac (x)C abc ]
x b x
(12.1.2)
depend encore des A et ne peut pas etre neglige dans lintegrale fonctionnelle. Lintroduction des fant
omes de Faddeev - Popov permet dexprimer ce determinant sous la forme
dune integrale fonctionnelle grassmannienne par
Z
R 4
b
c
a
a
(12.1.3)
det
D a D
a ei d x[ a (x)(b +A (x)C bc ) (x)]
Z
R 4
c
a b
a
(12.1.4)
D a D
a ei d x[ a (x)(b A (x)(adc )b ) (x)]
Z
R 4
D a D
a ei d x[ a (x)(D (x)) ]
(12.1.5)
Dans la dernière expression nous avons fait apparatre la derivee covariante des fant
omes
a (x), variables de la representation adjointe du groupe SU (3). En tenant compte du
changement de notation (11.4.56), elle secrit
[D (x)]a = a (x) gAc (x)[adc ]ab b (x).
(12.1.6)
Par la meme technique que celle utilisee pour le photon, on obtient la fonctionnelle
generatrice des fonctions de Green du système gluons-fantomes sous la forme
Z[Ja , a ,a ] =
100
(12.1.7)
DAa D b D
b ei
a F a ( Aa )2 +
a (D )a +Ja Aa +a a +
a a ]
d4 x[ 41 F
(12.1.8)
Les sources a ,a sont grassmanniennes. Cette fonctionnelle fournit, aux ordres les plus
bas du calcul de perturbation, les règles de Feynman suivantes
1) le propagateur de Feynman des gluons libres par
ab
F
F
< 0|T Aa (x)Ab (y)|0 > |0 = i D
(x y) = i ab D
(x y) = 2igab D
(x y) (12.1.9)
F a la m
o`
u D
eme expression que le propagateur du photon libre; sa transformee de Fourier
est donnee par
(1 ) k k
g
ab

]
(12.1.10)
iD
(k) = 2igab [ 2
k + i
(k2 + i)2
(nous lutiliserons dans la jauge de Feynman o`

u = 1) et est representee graphiquement
par
k
b
Fig. 12.1 Propagateur de gluon

2) le propagateur des fantomes libres par
< 0|T a (x)
b (y)|0 > |0 = iGab (x y) = iba F (x y; m = 0)
(12.1.11)
o`
u F (x y; m = 0) a la meme expression que le propagateur dun champ scalaire de
masse nulle; sa transformee de Fourier est donnee par
a (k) =
iG
b
iba
k2 + i
(12.1.12)
et est representee graphiquement par

k
b
Fig. 12.2 Propagateur de fant

ome
3) la fonction de Green à 3 points gluon-fantomes
< 0|T a (x)
b (y)Ac (z)|0 > |1 =
=
(12.1.13)
d4 x d4 y d4 z iGaa (x x )i ab c (x ,y ,z )|1 iGbb (y y)iDc c (z z) =

= ig
d4 u [
iGaa (x u)][adc ]ab iGbb (u y)iDc c (u z)
u
101
(12.1.14)
(12.1.15)
qui fournit, `
a lordre 1, la fonction de vertex gluon-fant
omes
iab c (x ,y ,z )|1 = ig [adc ]ab
4
(x z )4 (y z )
x
(12.1.16)
dont la transformee de Fourier vaut
a (p ,p,q)|1 =
i(2)4 4 (q p + p)
bc
=
d4 x d4 y d4 z eip .x ip.y iq.z i ab c (x ,y ,z )|1
g p [adc ]ab (2)4 4 (q p + p)
(12.1.17)

p'
a'
p
b'
q c'
Fig. 12.3 Vertex gluon-fant

ome
4) la fonction de Green à trois gluons et la fonction de vertex correspondante
< 0|T Aa (x)Ab (y)Ac (z)|0 > |1 =
=
(12.1.18)

aa
bb
cc

d4 x d4 y d4 z iD
(x x )iD (y y )iD (z z )i (x ,y ,z )|1 + (12.1.19)
abc
dont la transformee de Fourier

(p,q,r)|1 =
(2) (p + q + r) i
abc
4 4
d4 xd4 yd4 zei(p.x+q.y+r.z) i

abc (x,y,z)|1 (12.1.20)
est donnee par

(p,q,r)|1 =
i
abc
g
Cabc [(p q) g + (q r) g + (r p) g ]
2
(12.1.21)
avec p + q + r = 0. Nous avons utilise ci-dessus la propriete dantisymetrie complète des

constantes de structure (voir appendice). La representation graphique de ce vertex est la
suivante
5) la fonction de Green à 4 gluons et le vertex correspondant
< 0|T Aa (x)Ab (y)Ac (z)Ad (u)|0 > |2 =
102
(12.1.22)
pa
q b
r c
Fig. 12.4 Vertex a

` 3 gluons
=
dd
cc

bb
aa
d4 x d4 y d4 z d4 u iD
(xx )iD (yy )iD (zz )iD (uu )i (x ,y ,z ,u )|2
abcd
(12.1.23)
dont la transformee de Fourier

(p,q,r,s)|2 =
(2)4 4 (p + q + r + s)i
abcd
=
est donnee par
d4 xd4 yd4 zd4 uei(p.x+q.y+r.z+s.u)i

abcd (x,y,z,u)|2
(12.1.24)
(12.1.25)
g2 f
[C Cf cd (g g g g )
2 ab
(12.1.26)
f
f
+Cac
Cf db (g g g g ) + Cad
Cf bc (g g g g )],
(12.1.27)
(p,q,r,s)|2 = i
i
abcd
pour (p + q + r + s = 0) et est representee graphiquement par

p a
q b
r c
s d
Fig. 12.5 Vertex a

` 4 gluons
103
12.2
Int
egrale fonctionnelle de la chromodynamique quantique.
La fonctionnelle generatrice des fonctions de Green du système quarks-gluons-(fant

omes)
est definie par
Z
a a B
Z[J , ,a , ,Bs ] = DAa D a D
a Ds D s
(12.2.28)
ei
a F a ( Aa )2 +
a (D )a +Ja Aa +a a +
a a ]
d4 x[ 41 F
(12.2.29)
ei
B
B
B C
d4 x[Bs (i sB msB )g Bs Aa
(Ta )C +Bs s +Bs s ]
(12.2.30)
Elle fournit, en plus des règles de Feynman dejà obtenues precedemment:

1) le propagateur libre des quarks
F
B
B
< 0|T sB (x)Cs (y)|0 > |0 = iSCss
(x y) = i C ss S (x y).
(12.2.31)
o`
u iS F (x y) est le propagateur de Feynman dun champ spinoriel libre de masse m. Sa
transformee de Fourier est donnee par
B
i C
ss
1
k/ + m
B
= i C
ss 2
k/ m
k m2 + i
(12.2.32)

k
B
s
C s'
Fig. 12.6 Propagateur de quark

2) la fonction de Green quarks-gluon et la fonction de vertex correspondante
< 0|T sB (x)Cs (y)Aa (z)|0 > |1 =
=
(12.2.33)
ba
B
d4 x d4 y d4 z iSB
ss (x x )iC ss b (x ,y ,z )|1 iSCs s (y y)iD (z z) (12.2.34)
dont la transformee de Fourier, avec p sortante, p et q entrantes et q = p p est donnee

par
B
B (p ,p,q)|1 = g [Tb ]B
(12.2.35)
i
C ss = i g [Tb ]C ss
Css b
104
p' B s
p C s'
q b
Fig. 12.7 Vertex quark-gluon
105
Chapitre 13
Renormalisation `
a une boucle de
la chromodynamique quantique.
13.1
Propagateur des quarks.
Jusquà lordre 2 du developpement perturbatif, le propagateur des quarks, dans lespacetemps `

a 2 dimensions, est donne par la somme des diagrammes suivants
Fig. 13.1 Propagateur de quark a

` lordre 2
On en deduit que la self-energie iB
Css (p),
q
B
C s s'
(p) =
B
s
p+q
p
C s'
Fig. 13.2 Self-energie du quark

(dans la jauge de Feynman, = 1) ne diffère de la self-energie de lelectron calculee en
electrodynamique quantique que par un facteur matriciel lie au groupe SU (3) et `
a la
representation fondamentale
X
iB
(p)
=
[Ta Ta ]B
(13.1.1)
C
C ss (i)(p)|eg .
a
Ce facteur peut etre calcule explicitement en choisissant Ta = a , matrices de Gell-Mann.

106
Il vient
X
16 B
[Ta Ta ]B
.
C =
3 C
a
(13.1.2)
P
En fait (voir appendice), a [Ta T a ] est loperateur de Casimir de su(3), ici dans la representation
fondamentale; il commute avec tous les Tb et, en vertu du lemme de Schur, il est multiple
de loperateur identite:
X
8 B
.
(13.1.3)
[Ta T a ]B
C =
3 C
a
On deduit donc immediatement des expressions correspondantes en QED, pour = 2
0
16 B
C ss [
p + m + ...]
(13.1.4)
B
Css (p) =
3
4
g
.
Ici, = 4
Ces singularites peuvent etre eliminees en ajoutant au lagrangien initial des contretermes qui correspondent `
a une renormalisation des champs et à une renormalisation de
la masse des quarks par
r
p
4 C
(13.1.5)
[sC ]B = Zq sC = 1
3 s
(1 16
3 )
mB = m
4
)
(1 3
13.2
(13.1.6)
Propagateur des gluons.
Jusquà lordre deux du developpement perturbatif, le propagateur des gluons est donne
par la somme des diagrammes suivants Ils contribuent à la polarisation du gluons i
ab (p)
1
2
Fig. 13.3 Propagateur de gluon a

` lordre 2
par
Le premier terme se deduit de la polarisation du photon calculee en QEDpar
X
(1) =
ss T r[Ta Tb ] (i) (p)|eg = ns (2ab ) (i) (p)|eg
(13.2.7)
s
Au voisinage de = 2, il reste
(1) = 8ns ab i
1
(p p p2 g ) + ...
4 3
107
(13.2.8)
p+k
(p) =
-i
ab
1
2
Fig. 13.4 Polarisation du gluon

Le deuxième diagramme est nul à (2) dimensions: en effet, il est proportionnel à lintegrale
Z
1
d2 k 2
(13.2.9)
k + i
dejà rencontree dans la theorie en 4 , o`
u elle contribuait à la renormalisation de la masse;
mais ici m = 0.
Le troisième diagramme vaut
Z
d2 k
(p + k) k
2 2 2
c
(3) = g ( )
[adc ad ]ab
(13.2.10)
(2)2 [(p + k)2 + i][k2 + i]
Par la technique habituelle, on en deduit aisement les termes singuliers pour 2
(3) = i
1 1
1
[adc adc ]ab [ p p + p2 g ] + ...

4
6
12
(13.2.11)
Le coefficient matriciel [adc adc ] nest autre que loperateur de Casimir, dans la representation
adjointe, il est toujours multiple de lidentite:
[adc adc ] = 6I;
[adc adc ]ab = 6gab = 12ab .
(13.2.12)
Donc
4 1 1 2
[ p p + p g ] + ..
4 2
4
Enfin, le quatrième terme est donne par
Z
1
d2 k
E
(4) = g2 (2 )2 [adc adc ]ab
2
2
2
(2) [(p + k) + i][k2 + i]
(3) = iab
(13.2.13)
(13.2.14)
o`
u
E
= [(2p k) g + (p + 2k) g + (p k) g ]
.
[(p
k)
+ (p + 2k) g
(k +
2p) ].
(13.2.15)
(13.2.16)
Par la technique standard, on en extrait les termes singuliers pour 2:

(4) = iab
4 11 19 2
[ p p p g ] + ...
4 2
4
(13.2.17)
On constate que la somme des contributions des boucles de fantomes et de gluons est
transverse
20
[p p p2 g ] + ...
(13.2.18)
(3) + (4) = iab
4
108
Le total des termes singuliers de la polarisation des gluons est donc finalement donne par
(1) + (3) + (4) = iab

8ns
[p p p2 g ][
20].
4
3
(13.2.19)
Ces singularites peuvent etre eliminees par des contre-termes qui impliquent une renormalisation du champ de gluons par
[Aa ]B =
ZA Aa , ZA = 1 + [5
2ns
] .
3
(13.2.20)
Nous laissons au lecteur interesse le calcul de la renormalisation de la constante du terme

de fixation de la jauge.
109
13.3
Vertex quarks-gluon.
Ba (p ,p,q)|3 , au vertex quarks-gluons sont donnees par

Les corrections dordre 3, i
Css
la somme des diagrammes suivants
q a
q a
'
+
p-k
p'-k
p' B s
'
p'-k
p-k
d
c
k
p C s'
p' B s
p C s'
Fig. 13.5 Vertex quarks- gluon

Le premier a pour expression
Z
cd
d2 k
i
i
B
a D
E 2ig g
[1] = g3 ()63
[T
]
[T
]
[T
]
ss
d
D
E
C
(2)2
p/ k/ m
p/ k/ m
k2 + i
(13.3.21)
Il est egal au vertex electron-photon multiplie par le facteur
1
i3 (2gcd )Tc T a Td ss = 2i( )T a ss
3
(13.3.22)
et se comporte donc, au voisinage de = 2 comme

(
2i
2
) T a (ig2 )
ss = g2 T a
ss .
3
4
3 4
(13.3.23)
Le deuxième diagramme est donne par

Z
g de 1
i
2ig gf c
d2 k
B
D 2ig
a
3 63
[T
]
[T
]
C
ss
[2] = g
c D

d C
(2)2
k/ m
(p k)2 + i 2 ef
(p k)2 + i
(13.3.24)
avec
G = (p 2k + p ) g + (k p q) g + (q p + k) g .
(13.3.25)
Par la meme technique que celle qui fournit la partie singulière du vertex electromagnetique,
on obtient
18
[2] = g2 [T a ]B
+ ...
(13.3.26)
C ss
4
110
La somme des contributions des deux diagrammes est egale à

g2 [T a ]B
C ss
13.4
52
2
[18 ] = g2 [T a ]B
.
C ss
4
3
4 3
(13.3.27)
Fonction ; Libert
e asymptotique.
En rassemblant tous ces resultats, on obtient la constante de couplage nue comme

gB
= g Zg Zq1 ZA 2
52
16
4
= g [1
][1 +
][1
[10 ns ]
4 3
4 3
4
3
52
16
4
= g [1
(
+ 10 ns )]
4 3
3
3
4
(22 ns )]
= g [1
4
3
2
g
2
= g [1 2 (11 ns )]
8
3
On en deduit
g
g3
2
= (g) = 2 (11 + ns ).
4
3
(13.4.28)
(13.4.29)
(13.4.30)
(13.4.31)
(13.4.32)
(13.4.33)
On constate donc que si le nombre de saveurs de quarks ns 16, (on a de bonnes raisons
de penser que ns = 6), est negative et g decroit lorsque augmente. Ceci est lexpression
de la liberte asymptotique.
111
Annexe A
Groupe SU (3), propri

et
es
alg
ebriques
Nous rassemblons ici quelques elements de la theorie des groupes qui permettent de
calculer les coefficients algebriques qui apparaissent dans les diagrammes à une boucle de
la chromodynamique quantique.
1) La metrique de Killing est invariante sous laction adjointe du groupe
gab = T r[Ta Tb ] = T r[U Ta U + U Tb U + ].
(A.0.1)
Il en resulte, pour U = I + y c Tc ,
gab = 0 = y c [C dca gdb + gad C dcb ]
(A.0.2)
Cbca + Cacb = O.
(A.0.3)
ou
Comme les coefficients de structure etaient dejà antisymetriques en les deux derniers indices, ceci exprime quils sont complètement antisymetriques.
2) Il resulte de ce qui precède que
[Ta T a ,Tb ] = T a T c (Ccab + Cabc ) = 0.
(A.0.4)
En vertu du lemme de Schur, ceci signifie que Ta T a est proportionnel à la matrice unite:
Ta T a = kI.
(A.0.5)
T r[Ta T a ] = aa = 8 = 3k.
(A.0.6)
Mais on sait, par ailleurs que
Donc k = 38 .
3) Le meme calcul fournit, dans la representation adjointe,
[ada ada ,adb ] = 0
112
(A.0.7)
et donc aussi ada ada = I. On sait aussi, voir cours de M.Henneaux, que pour SU (N ),
T r[ada adb ] = gab .
On en deduit que = .
En passant par le choix explicite Ta = ia ,
1 0 0
0 i 0
0 1 0
1 = 1 0 0 ; 2 = i 0 0 ; 3 = 0 1 0
0 0 0
0 0 0
0 0 0
0 0 1
0 0
4 = 0 0 0 ; 5 = 0 0
1 0 0
i 0
0 0 0
7 = 0 0 i ; 8 =
0 i 0
i
0 0 0
0 ; 6 = 0 0 1
0
0 1 0
1 0 0
1
0 1 0
3 0 0 2
(A.0.8)
(A.0.9)
(A.0.10)
(A.0.11)
on calcule sans peine, `

a laide des constantes de structure non nulles que
do`
u on tire, = 6.
4)
5)
T r[(ad1 )2 ] = 12 = g11 = 211
(A.0.12)
1
Cabc T b T c = Cabc [T b ,T c ] = 3Ta
2
(A.0.13)
1
Ta Tb T a = [Ta ,Tb ]T a + Ta T a Tb = Tb .
3
(A.0.14)
113
Annexe B
Th
eor`
eme de Furry
Sous sa forme algebrique, ce theorème exprime legalite suivante
T r[1 SF (x1 ,x2 ) 2 SF (x2 ,x3 )...s SF (xs ,x1 )] =
(B.0.1)
= (1)s T r[SF (x1 ,xs )s ...SF (x3 ,x2 )2 SF (x2 ,x1 )1 ]
(B.0.2)
Cette egalite se demontre en utilisant la matrice C telle que

C C 1 = T
(B.0.3)
C SF (x,y) C 1 = SFT (y,x).
(B.0.4)
T r[1 SF (x1 ,x2 ) 2 SF (x2 ,x3 )...s SF (xs ,x1 )] =
(B.0.5)
En effet,
= T r[C 1 C1 C 1 CSF (x1 ,x2 )C 1 C...C 1 Cs C 1 CSF (xs ,x1 )]
(B.0.6)
= (1)s T r[T1 SFT (x2 ,x1 ) T2 SFT (x3 ,x2 )...Ts SFT (x1 ,xs )]
(B.0.7)
= (1)s T r[SF (x1 ,xs )s ...SF (x3 ,x2 )2 SF (x2 ,x1 )1 ]T
(B.0.8)
= (1)s T r[SF (x1 ,xs )s ...SF (x3 ,x2 )2 SF (x2 ,x1 )1 ]
(B.0.9)
On en tire, pour les diagrammes, legalite
114
2
1
2
1
3
= (-1)
s
s-1
s
s
Fig. B.1 Theorème de Furry
115
s-1
Annexe C
Renormalisation
C.1
C.1.1
Fonctionnelles g
en
eratrices
Fonctionnelle g
en
eratrice des fonctions de Green
Z[J] =
[d] e ~ (S()
= Z[0] {1 +
n=1
d4 xJ(x)(x)
1
n!~n
(C.1.1)
d4 x1 ...d4 xn Gn (x1 ,...,xn ) J(x1 )...J(xn )}

1
[d] (x1 )...(xn ) e ~ (S()

R
1
[d] e ~ (S()
n Z[J]
1
|J=0 .
= ~n
Z[0] J(x1 )...J(xn )
Gn (x1 ,...,xn ) =
(C.1.2)
(C.1.3)
(C.1.4)
Pour fixer les idees, nous choisirons

Z
1
S() = d4 x [ (x) ( + m2 ) (x) + 4 (x)]

2
4!
(C.1.5)
Cas particulier du champ libre ( = 0)

S0 () =
1
d4 x [ (x) ( + m2 ) (x)]
2
1
Z0 [J] = Z0 [0] e 2~
d4 x d4 y J(x) (xy) J(y)
( + m2 ) (x y) = 4 (x y)
1
(x) =
(2)4
d4 p
eip.x
= (x)
p 2 + m2
116
(C.1.6)
(C.1.7)
(C.1.8)
(C.1.9)
Les fonctions de Green du champ libre sont donnees par

G02n+1 (x1 ,...,x2n+1 ) = 0
G02 (x1 ,x2 )
G04 (x1 ,x2 ,x3 ,x4 )
etc
(C.1.10)
= ~ (x1 x2 )
(C.1.11)
+ ~(x1 x3 )~(x2 x4 ) + ~(x1 x4 )~(x2 x3 )
(C.1.12)
= ~(x1 x2 )~(x3 x4 )+
Elles sont donnees par des sommes de produits de G02 , correspondant à toutes les facons
de grouper 2n points en paires, sans tenir compte de leur ordre: il y en a
1 2n (2n2)
(2n)!
C C
...C24 C22 =
n! 2 2
n! 2n
C.1.2
(C.1.13)
Calcul perturbatif des Gn
1) on decompose laction S en
S() = S0 () + S1 ()
(C.1.14)
2) dans la definition (C.1.3), on remplace, au numerateur et au denominateur, lexponentielle exp( ~ S1 ) par son developpement en serie de puissances de ; en divisant
le numerateur et le denominateur par Z0 [0], les coefficients des differentes puissances m
sexpriment en termes des fonctions de Green de la theorie libre.
Ensuite, 3) on remplace le quotient des deux series par la serie-quotient appelee serie
perturbative.
Par exemple: jusquà lordre ,
R 4
G02 (x1 ,x2 ) + ()
d y G06 (x1 ,x2 ,y,y,y,y) + ...
4!~
(C.1.15)
G2 (x1 ,x2 ) =
R
4 y G0 (y,y,y,y) + ...
d
1 + ()
4
4!~
Z
()
= G02 (x1 ,x2 ) +
d4 y G02 (x1 y) G02 (y,y) G02 (y,x2 ) + ...
(C.1.16)
2~
G4 (x1 ,...,x4 ) = G04 (x1 ,...,x4 )+
Z
()
+
d4 y G02 (x1 ,y) G02 (x2 ,y) G02 (x3 ,y) G02 (x4 ,y) + ...
~
(C.1.17)
C.1.3
Repr
esentation graphique des Gn : diagrammes de Feynman
C.1.4
Fonctionnelle g
en
eratrice des fonctions de Green connexes
La fonction de Green connexe Wn = Gcn est definie par

X
Gn (x1 ,...,xn ) = Wn (x1 ,...,xn ) +
Wi Wj ...
i+j+...=n
117
(C.1.18)
La fonctionnelle generatrice de ces fonctions de Green connexes est

W [J ]
Z[J]
Z[J]
1
W [J] = ln
,
=e ~
~
Z[0]
Z[0]
Z
X 1
1
W [J] =
d4 x1 ...d4 xn Wn (x1 ,...,xn ) J(x1 )...J(xn )
n
~
n!~
n
Wn (x1 ,...,xn ) = ~n1
n W [J]
|J=0 .
J(x1 )...J(xn )
(C.1.19)
(C.1.20)
(C.1.21)
De C.1.7, on tire que

Z
1
1
W0 [J] =
d4 x d4 y J(x) (x y) J(y).
(C.1.22)
~
2~
Le champ libre ne possède quune seule fonction de Green connexe, à savoir, le propagateur
W20 (x1 ,x2 ) = G02 (x1 ,x2 ).
C.1.5
(C.1.23)
Action effective
Laction effective [] est aussi appelee fonctionnelle generatrice des vertex propres ou
fonctionnelle generatrice des fonctions de Green connexes, amputees et 1PI. Elle se deduit
de W [J] par transformation de Legendre: soit
(x) =
alors
[] =
On en tire
W [J]
,
J(x)
d4 x J(x) (x) W [J].

[]
= J(x).
(x)
X 1 Z
d4 x1 ...d4 xn n (x1 ,...,xn ) (x1 )...(xn )
[] =
n!
n
n (x1 ,...,xn ) =
n []
|=0
(x1 )...(xn )
(C.1.24)
(C.1.25)
(C.1.26)
(C.1.27)
(C.1.28)
Pour le champ libre, on a

Z
(x) = d4 y (x y) J(y),
( + m2 )(x) = J(x)
Z
Z
1
0 [] = d4 xJ(x)(x)
d4 xd4 y J(x) (x y) J(y)
2
Z
1
=
d4 xJ(x)(x) = S0 ().
2
et le seul vertex propre est
(C.1.30)
02 (x,y) = ( + m2 )4 (x y) = K(x y) = 1 (x y).
(C.1.32)
118
(C.1.29)
(C.1.31)
C.1.6
Calcul des n
Si W1 (x) = 0, ce qui est le cas dans la theorie 4 , alors

J(x) = 0 (x) = 0.
(C.1.33)
En derivant C.1.26 par rapport à J(y), on obtient

[]
J(y) (x)
Z
(z) 2 []
= d4 z
J(y) (z)(x)
Z
2 W [J]
2 []
= d4 z
J(z)J(y) (z)(x)
4 (x y) =
(C.1.34)
(C.1.35)
(C.1.36)
puis, en J = 0, = 0,
Z
1
d4 z W2 (y,z) 2 (z,x).
(x y) =
~
On en deduit que le vertex propre 2 nest autre que linverse du propagateur
4
2 (x,y) = ~ [W2 (x,y)]1 = ~ [G2 (x,y)]1 .
(C.1.37)
(C.1.38)
Entre les transformees de Fourier, on a legalite

2 (p) = ~ [G
2 (p)]1 .
(C.1.39)
En introduisant loperateur de masse par

2 (x,y) = K(x,y) + ~(x,y)
2 (p) = p2 + m2 + ~(p),
ou
(C.1.40)
(C.1.41)
il vient, pour la transformee de Fourier du propagateur

2 (p) =
G
p2
+ ~(p)
1
(C.1.42)
m2
+
~
= 2
p + m2 1 +
~(p)
p2 +m2
~
~
~
+ 2
((p))
+
2
2
2
+m
p +m
p + m2
~
~
~
+ 2
((p))
((p))
+ ...
2
2
2
2
p +m
p +m
p + m2
=
p2
En derivant C.1.36 par rapport à (u), il vient

Z
2 W
3
0 = d4 z
(u)(z)(x) J(z)J(y)
Z
3 W
2
2
+ d4 zd4 t
;
(z)(x) J(t)J(z)J(y) (t)(u)
119
(C.1.43)
(C.1.44)
(C.1.45)
(C.1.46)
(C.1.47)
en = 0,J = 0, on en tire
Z
1
d4 x d4 y d4 z 2 (x,x ) 2 (y,y ) 2 (z,z ) W3 (x ,y ,z )
3 (x,y,z) = 2
~
(C.1.48)
ou
1
W3 (x,y,z) =
~
d4 x d4 y d4 z W2 (x,x ) W2 (y,y ) W2 (z,z ) 3 (x ,y ,z ).
(C.1.49)
De proche en proche, on demontre que n ,n > 2 est egale, au signe près, à la fonction de
Green connexe Wn , amputee et 1PI.
C.2
Approximation semi-classique
Soit c (x) la solution de lequation

S()
= J(x)
(x)
(C.2.50)
ou
3
= J.
(C.2.51)
3!
Perturbativement, cette equation se resoud en developpant en serie de puissances de
( + m2 ) +
= 0 + 1 + 2 2 + ...
(C.2.52)
( + m2 )0 = J(x)
1
( + m2 )1 + 30 = 0
3!
1
( + m2 )2 + 20 1 = 0
2
etc
(C.2.53)
et en resolvant le système
(C.2.54)
(C.2.55)
obtenu en egalant les coefficients des memes puissances de dans les deux membres. Il
vient
Z
0 (x) = d4 y (x y) J(y)
(C.2.56)
Z
Z
Z
1
1
1 (x) = d4 y (x y) 30 (y) = d4 y (x y) [ d4 z (y z) J(z)]3
3!
3!
(C.2.57)
etc
do`
u
c (x) =
d y (x y) J(y)
d y (x y) [ d4 z (y z) J(z)]3 + ... (C.2.58)

3!
4
120
c =
J
- 1/3!
J
+ 1/12
que lon peut representer par une somme de diagrammes en arbres.

Pour J = 0,c = 0. Dans Z[J], injectons le changement de variables dintegration
suivant
(C.2.59)
= c + ~ .
Il vient
R
~1 (S(c ) Jc )
Z[J] = e
Jc )
Jc )
= e ~ (S(c )
= e ~ (S(c )
Z
Z
2 S
|c (x)(y)+O( ~)]
d4 xd4 y[ 21 (x)(y)
S
|c (x)(y)]
d4 xd4 y[ 21 (x)(y)
[d]e
[d]e
[det
(C.2.60)
[1 + O(~)]
1
2 S
|c ] 2 [1 + O(~)]
(x)(y)
(C.2.61)
(C.2.62)
En utilisant
det M = etr ln M .
(C.2.63)
on peut recrire Z sous la forme

1
Z[J] = e ~ (S(c )
S
1
Jc ) 2 tr (ln [ (x)(y) |c ])
[1 + O(~)]
(C.2.64)
do`
u aussi
R
2 S
2 S
1
Z[J]
1 tr (ln [ (x)(y)
|c ]ln [ (x)(y)
|0 ])
[1 + O(~)]
= e ~ (S(c ) Jc ) e 2
Z[0]
(C.2.65)
En posant
W [J] = W0 [J] + ~ W1 [J] + O(~2 )
2
[] = 0 [] + ~ 1 [] + O(~ ),
(C.2.66)
(C.2.67)
on obtient
W0 [J] = S(c ) +
Jc
(C.2.68)
2 S
2 S
1
|=c ] ln [
|=0 ])
W1 [J] = tr (ln [
2
(x)(y)
(x)(y)
121
(C.2.69)
A lordre zero en ~:
(x) =
W0 [J]
J(x)
(C.2.70)
= c (x) +
= c (x)
d4 y
c (y) S(c )
[
+ J(y)]
J(x)
c (y)
(C.2.71)
(C.2.72)
par definition de c . On en tire donc pour la transformee de Legendre à lordre zero

Z
0 [] = J W0
(C.2.73)
Z
Z
= J + S() J
(C.2.74)
= S()
(C.2.75)
A lordre ~:
W0 [J]
W1 [J]
+~
J(x)
J(x)
= c (x) + ~ (x)
(x) =
(C.2.76)
(C.2.77)
et
[] =
J W0 ~ W1
(C.2.78)
Z
J + S( ~) J ( ~) ~ W1 [J]
Z
S
= S() ~ (x) [
J(x)]|= ~ W1 |c = + O(~2 )
(x)
Z
S
= S() ~ (x) [
J(x)]|=c ~ W1 |c = + O(~2 )
(x)
= S() ~ W1 |c = + O (~2 ).
(C.2.79)
(C.2.80)
(C.2.81)
(C.2.82)
Do`
u on tire
1
tr (ln[K(x,y) + 4 (x y)2 (y)] ln K(x,y) )
2
2
1
= tr ln[(x y) + (x y)2 (y)]

2
2
1 () =
(C.2.83)
(C.2.84)
puis encore, en utilisant le developpement

ln(1 + x) = x
x2 x3 x4
+
+ ...
2
3
4
122
(C.2.85)
on obtient le developpement perturbatif suivant

Z
1
1 () = [
d4 x(x x)2 (x)
(C.2.86)
2 2
Z
1
( )2 d4 xd4 y(x y)2 (y)(y x)2 (x)
(C.2.87)
2 2
Z
1
+ ( )3 d4 xd4 yd4 z(x y)2 (y)(y z)2 (z)(z x)2 (x) + ....] (C.2.88)
3 2
Z
1 X (1)n+1 n
( )
d4 x1 ...d4 xn (x1 x2 )2 (x2 )...(xn x1 )2 (x1 )
=
2
n
2
n=1
(C.2.89)
Loperation de trace engendre des boucles. Nous montrerons ci-après que le developpement
de W [J] (ou de []) en puissances de ~ correspond au developpement en nombre de
boucles.
V ''
V ''
V ''
V ''
2
Graphe d'ordre n ( V '' = /2 (x) )
La puissance de ~ associee à un diagramme de W [J] qui comporte

1. I lignes internes (~),
2. E lignes externes (~) terminees par
3. E sources (J/~)
4. V vertex chacun deux apportant 1/~ et
5. compte tenu du facteur ~ dans la definition meme de W [J]
Z[J]/Z[0] = exp(W [J]/~)
(C.2.90)
est donnee par

~I+E(V +E)+1
(C.2.91)
Th
eor`
eme 4. Cette puissance de ~ est egale au nombre de boucles (L) du diagramme,
c`
ad
I V +1=L
(C.2.92)
Soit un diagramme connexe et le diagramme connexe obtenu en coupant une ligne

interne de .
D
efinition 7. Le nombre de boucles de est egal au nombre de boucles de plus un:
L = L + 1.
123
(C.2.93)
Pour demontrer le theorème, on peut oublier les lignes externes et les sources et
considerer un diagramme connexe sans ligne externe. Si, lorsquon supprime une ligne
interne dans , on a encore un diagramme connexe , I = I 1 et L = L 1. En
otant ainsi toutes les lignes internes donc les boucles, on obtient un diagramme connexe
à L = 0 boucle, c`
ad un diagramme en arbre. Lorsquon supprime un vertex exterieur et
la ligne qui le joint au reste du diagramme, I I 1 et V V 1. En continuant de
la sorte, le dernier diagramme que lon obtient () est forme dune ligne interne reliant
deux vertex et verifie bien legalite I V + 1 = 0.
C.3
'
''
1() pour un potentiel V ()
La reference de cette section est Zinn-Justin, 4ème edition. Laction est euclidienne
et la dimension despace-temps est d. A la page 171, on a la definition suivante pour la
contribution dordre ~ `
a laction effective
1 () =
1
tr [ln S (2) (x1 ,x2 ; ) ln S (2) (x1 ,x2 ; 0) ]
2
o`
u
S (2) (x1 ,x2 ; ) =
2 S[]
.
(x1 )(x2 )
(C.3.94)
(C.3.95)
Lexpression perturbative de (C.3.94) est donnee par
1 X (1)n+1
2
n
n=1
dx1 ...dxn V [(x1 )](x1 ,x2 )V [(x2 )]...V [(xn )](xn ,x1 ) (C.3.96)
ou, en remplacant les par leurs transformees de Fourier,

1 () =
1 X (1)n+1
dx1 ...dxn V [(x1 )]...V [(xn )]
2 n=1
n
Z
dpn eip1 (x1 x2 ) eipn (xn x1 )
dp1
...
.
... 2
(2)d (2)d p21 + m2
p n + m2
(C.3.97)
Le produit des exponentielles peut se recrire comme

eip1 (x1 x2 ) ...eipn (xn x1 ) = eix1 (p1 pn ) eix2 (p2 p1 ) ...eixn (pn pn1 )
124
(C.3.98)
ce qui amène le changement de variables dintegration suivant

p1 = q 1
(C.3.99)
p2 = q 1 + q 2
(C.3.100)
p3 = q 1 + q 2 + q 3
(C.3.101)
.. = ..
(C.3.102)
pn = q1 + q2 + ... + qn
(C.3.103)
et inversement
p2 p1 = q 2
(C.3.104)
.. = ..
(C.3.106)
p3 p2 = q 3
pn pn1 = qn
p1 pn = (q2 + q3 + ... + qn ).
(C.3.105)
(C.3.107)
(C.3.108)
On verifie que le Jacobien vaut J = 1. Avec cela et q = q1 , (C.3.97) devient

Z
1 X (1)n+1
dx1 ...dxn V [(x1 )]...V [(xn )]
1 () =
2 n=1
n
Z
dq2
dqn ix1 (q2 +...+qn) ix2 q2 ixn qn
...
.e
e
...e
(2)d (2)d
Z
dq
1
(C.3.109)
d
2
2
2
2
(2) (q + m )([q + q2 ] + m )...([q + q2 + ... + qn ]2 + m2 )
Z
1 X (1)n+1
dx1 ...dxn V [(x1 )]...V [(xn )]
=
2
n
n=1
Z
dqn ix1 (q2 +...+qn) ix2 q2 ixn qn (n)
dq2
(q2 ,...qn ) (C.3.110)
...
.e
e
...e
d
(2)
(2)d
o`
u nous avons pose
Z
dq
1
(n) (q2 ,...qn ) =
(C.3.111)
(2)d (q 2 + m2 )([q + q2 ]2 + m2 )...([q + q2 + ... + qn ]2 + m2 )
pour n 6= 1 et
1
dq
.
(C.3.112)
d
2
(2) (q + m2 )
Remark 1. Le produit des exponentielles ci-dessus prend une forme plus symetrique si
on tient compte de legalite
Z
dq1
ix1 (q2 +...+qn)
e
=
(q1 + q2 + ... + qn )(2)d eix1 q1 .
(C.3.113)
(2)d
(1)
On peut alors aussi utiliser les nouveaux coefficients
(n) (q1 ,q2 ,...qn ) = (2)d (q1 + q2 + ... + qn ) (n) (q2 ,...qn )
(C.3.114)
qui sont les transformees de Fourier des vertex propres (`

a des facteurs constants près).
125
C.4
Parties singuli`
eres des (n)
Les singularites des (n) et leur nombre dependent de la dimension d de lespace temps.
Par simple comptage des puissances de q, on voit que (n) (C.3.111) converge pour 2n < d.
C.4.1
En dimension d = 4
Seules les integrales (1) et (2) sont divergentes. Pour les calculer, on choisit une
methode de regularisation ou on fait des soustractions. Ainsi, par exemple
(1)
(1)
(1)
(1) = div + f ini = A + f ini

(2)
div
(2) (q2 ) =
(2)
f ini (q2 )
=B+
(C.4.115)
(2)
f ini (q2 ).
(C.4.116)
A et B sont des constantes infinies.
C.4.2
En dimension d = 6
Les integrales (1) , (2) et (3) sont singulières et

(1)
(1)
(2)
(2)
(3)
(3)
(1)
(1) = div + f ini = A + f ini
(C.4.117)
(2)
(2) (q2 ) = div + f ini (q2 ) = B + C q22 + f ini (q2 )

(3)
(3) (q2 ,q3 ) = div + f ini = D + f ini (q2 ,q3 ).
(C.4.118)
(C.4.119)
A,B,C,D sont des constantes infinies.
C.5
Application `
a la th
eorie en
Dans ce cas, on a
V [(x)] =
1 ()div
4!
en d = 4
2
(x).
2
dx1 2 (x). A +
2
Z
Z
2
dq2 iq2 (x1 x2 )

2
2
()
e
B
dx1 dx2 (x1 ) (x2 )
8
(2)4
Z
=
dx1 2 (x). A +
2
Z
2
dx1 dx2 2 (x1 )2 (x2 ) (x1 x2 ) B
()
16
Z
=
dx1 2 (x). A +
2
Z
2
dx1 4 (x1 ) B
()
8
=
126
(C.5.120)
(C.5.121)
(C.5.122)
(C.5.123)
(C.5.124)
(C.5.125)
La constante A peut etre absorbee par une renormalisation de la masse; B, par une
renormalisation de la constante de couplage.
C.6
Application `
a la th
eorie en
3
3!
en d = 6
Dans ce cas, on a
V [(x)] = (x).
(C.6.126)
1 ()div = dx1 (x). A +

Z
Z
dq2 iq2 (x1 x2 )
2
e
(B + Cq22 ) +
()
dx1 dx2 (x1 )(x2 )
4
(2)6
Z
Z
3
dq2 dq3 iq2 (x1 x2 ) iq3 (x1 x3 )
+
e
e
D
dx1 dx2 dx3 (x1 )(x2 )(x3 )
6
(2)6 (2)6
ou encore
=
dx1 (x). A +
Z
2
dx1 dx2 (x1 )(x2 ) [ B(x1 x2 ) C2x1 (x1 x2 ) ]
()
4
Z
Z
3
+
dx1 dx2 dx3 (x1 )(x2 )(x3 ) (x1 x2 )(x1 x3 ) D
6
Z
=
dx1 (x). A +
Z
2
dx1 2 (x1 ) B C(x1 )2x1 (x1 ) +
()
4
Z
Z
3
dx1 dx2 dx3 (x1 )(x2 )(x3 ) (x1 x2 )(x1 x3 ) D
+
6
(C.6.127)
(C.6.128)
(C.6.129)
(C.6.130)
(C.6.131)
Finalement
1 ()div
=
()
+
dx1 (x). A +
Z
2
dx1 B2 (x1 ) C(x1 )2x1 (x1 ) +
4
Z
3
dx1 3 (x1 ) D
6
(C.6.132)
(C.6.133)
La constante B peut etre absorbee par une renormalisation de la masse, D, par une
renormalisation de la constante de couplage et C par une renormalisation de la fonction
donde. La presence de A est due au graphe dit tetard de la theorie en 3 .
127

QFT +qed+qcd

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

QFT +qed+qcd

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSITE LIBRE DE BRUXELLES

Faculte des Sciences

Table des mati`

4.1.2 Champ scalaire complexe: particules chargees de spin zero. . . . . . 48

5 Vertex propres, Action effective.

A Groupe SU (3), propri

Considerons pour commencer, un syst`eme physique quantique `a un seul degre de liberte

< q |q >= (q q),

ils satisfont les relations dorthogonalite

Le passage dune base `

Si | > designe un vecteur de lespace des etats H, on a les relations suivantes

dq < p|q >< q| >=

i~t |,t >= H|,t

|,t >= e ~ (tt0 )H |,t0 >

dq K(q,t; q ,t0 ) (q ,t0 )

K(q,t; q ,t0 ) =< q|e ~ (tt0 )H |q > .

Le noyau K(q,t; q ,t0 ) est la solution de lequation de Schrodinger

qui satisfait la condition de Cauchy

qui satisfait lequation

et qui fournit la solution retardee de lequation de Schr

La fonction dondes (q,t) est lamplitude de probabilite de presence de la particule au

K(q,t; q0 ,t0 ) est donc lamplitude de probabilite de trouver la particule en q `a linstant t,

Par (1.1.15), avec (1.1.28), on a donc

|,t >= e ~ (tt0 )H | >H

| >H = e ~ (tt0 )H |,t > .

Par contre, en image de Heisenberg, les observables de position et dimpulsion dependent

q(t) = e ~ (tt0 )H q e ~ (tt0 )H , q(t0 ) = q

Leurs relations de commutation `a temps egaux sont

et elles evoluent au cours du temps conformement a`

e ~ (tt0 )H q|q >= qe ~ (tt0 )H |q >

et, en inserant dans le premier membre

q(t)|q,t >= q|q,t >

il vient, avec (1.1.31),

|q,t >= e ~ (tt0 )H |q > .

p(t)|p,t >= p|p,t > , |p,t >= e ~ (tt0 )H |p > .

On a aussi, pour chaque t, les relations dorthogonalite

< p ,t|p,t >= (p p)

dq |q,t >< q,t| = I,

dp |p,t >< p,t| = I.

La fonction dondes (q,t) peut se voir indifferemment comme

< q|,t >=< q|e ~ (tt0 )H | >H =< q,t| >H .

En image de Schrodinger, la fonction dondes est la projection du vecteur detat `a linstant

K0 (q,t; q0 ,t0 ) = < q|e ~ (tt0 )H |q0 >

avec T = t t0 . Contrairement aux apparences, lintegrale (1.2.49) existe; nous donnons

valable pour Re > 0. Il vient donc

Dans ce paragraphe, nous allons etablir les resultats suivants

Fig. 1.1 Contour C pour lintegrale de Fresnel

a) avec z = ue 4 , la premi`ere integrale du membre de droite devient egale `a

b) le module de la seconde integrale tend vers zero `a la limite R , en effet

Kolh (q,t; q0 ,t0 ) = < q|eiT H |q0 >

Hn est le polynome dHermite de degre n;

< n|n >= nn ,

(1.1.43) devient donc

A la limite 0, (1.2.76) se reduit bien `a (1.2.51).

Partons de la definition (1.1.43) du noyau K, choisissons un point t1 intermediaire

dq1 < q,t|q1 ,t1 >< q1 ,t1 |q0 ,t0 > .

Recommencons la meme operation en un point t2 intermediaire entre t1 et t,

et ainsi de suite, pour n puis n points intermediaires

On suppose evidemment que ce que lon fait a un sens, cest-`

En introduisant une fonction q( ) telle que qj = q(tj ) = q( )| =tj alors

et (1.3.86) secrit encore

ou sous une forme plus symbolique

de sorte que (1.3.89) prend la forme