Theorie Quantique Des Champs I

J.S.
Bell
Theorie
Quantique des Champs
Experimentale
Traduit de : Experimental quantum eld theory,
Proceedings of the 1977 CERN-JINR school of physics,
Nafplion, Greece, 22 May4 June 1977
CERN 77-18, 20 October 1977
La theorie quantique des champs ne manque pas de volumes. Quoique ni superciel ni
plat, ce cours de J.S. Bell me semble pourtant, par sa clarte et sa concision, combler un
vide pedagogique et meriter mieux que loubli. Depouille des complications geometriques
inherentes aux spineurs, il devrait satisfaire les bient ot matre(sse)s en physique, ex-
pert(e)s en theorie quantique mais frustre(e)s par les grafti feynmaniens dont les physi-
cien(ne)s des particules font un usage immodere. Bell netant plus là pour se defendre, je
me suis interdit toute modication autre que quelques corrections de coquilles, et toute
addition de notes qui auraient malencontreusement alourdi lexpose.
le 6 avril 1998
Alain Laverne
Lab. de physique nucleaire
couloir 24-14, 5
e
et.
Universite Paris7
2 pl. Jussieu, Paris V
e
SOMMAIRE
Resume . . . . . . . . . . . . . . . . . . . . . . . 1
La mecanique quantique . . . . . . . . . . . . . . . . . 1
Les equations du mouvement de Heisenberg . . . . . . . . . . . 3
Le formalisme canonique . . . . . . . . . . . . . . . . . 5
Le champ scalaire reel . . . . . . . . . . . . . . . . . . 8
Interpretation en termes de particules . . . . . . . . . . . . . 11
Interaction . . . . . . . . . . . . . . . . . . . . . . 14
Loperateur S . . . . . . . . . . . . . . . . . . . . . 15
Elements de matrice S . . . . . . . . . . . . . . . . . . 16
Les graphes de Feynman . . . . . . . . . . . . . . . . . 18
La renormalisation . . . . . . . . . . . . . . . . . . . 20
Probabilites de transition et sections efcaces . . . . . . . . . . 22
Le champ vectoriel . . . . . . . . . . . . . . . . . . . 24
Vide nu et vide reel . . . . . . . . . . . . . . . . . . . 28
Les fonctions de Green . . . . . . . . . . . . . . . . . . 29
Integrales fonctionnelles . . . . . . . . . . . . . . . . . 30
Theorie de champ euclidienne . . . . . . . . . . . . . . . 33
Lindependance de jauge . . . . . . . . . . . . . . . . . 34
Les instantons . . . . . . . . . . . . . . . . . . . . 36
Les solitons . . . . . . . . . . . . . . . . . . . . . 39
1
RESUME
Je tente ici dexposer ce qui me semble le minimumindispensable de theorie quantique des
champs qui devrait etre connu des experimentateurs cultives de physique des particules.
Ladjectif experimental dans le titre qualie non seulement lauditoire vise mais aussi
le niveau de rigueur mathematique ambitionne.
LA MECANIQUE QUANTIQUE
Commenc ons par quelques points essentiels de mecanique quantique elementaire. Con-
siderons un système dynamique typique nayant, pour simplier, quun seul degre de
liberte. En mecanique quantique, un etat de ce genre de système est caracterise par une
fonction-donde
(t, q) (1)
dependant du temps t et de la coordonnee q. Levolution au cours du temps est regie par
lequation de Schrodinger
i
= J, (2)
o` u loperateur hamiltonien J est generalement une combinaison de la coordonnee q et
de loperateur differentiel
p =

i
q
. (3)
Dans ce qui suit, J sera toujours un polynome en q et p.
La quantite
dq
(t, q) (t, q) (4)

est supposee donner la distribution de la probabilite que la coordonnee ait la valeur q au
temps t. La valeur moyenne de toute fonction X de q est donc :
_
dq
(t, q) X(q) (t, q), (5)

lintegrale etant etendue à toutes les valeurs de q.
On a coutume de faire allusion à cette expression sous le nom de valeur moyenne
de X, meme pour des X qui dependent de p aussi bien que de q, et qui sont donc des
operateurs differentiels.
Lorsque X est un operateur differentiel, il semble naturel de se le representer comme
agissant sur dans (5), cest-à-dire :
_
dq
(t, q)
_
X (t, q)
_
. (6)
Mais il est utile dadmettre aussi lassociation alternative
_
dq
_
(t, q) X
_
(t, q), (7)
dans laquelle on imagine que X agit vers la gauche, en arrière, sur
. Pour voir comment

cela peut se faire, considerons, dans X, un terme de la forme :
f(q) pg(q) = f

i
q
g.
Dorenavant, nous supposerons que decrot bien gentiment à linni. Alors, par integra-
tion par parties sur tout q,
_
dq
_
f

i
q
g
_
=
_
dq
_
q
f
_
g .
2
Cela ne fait donc aucune difference de considerer que p differencie tout ce qui est à sa
droite ou tout ce qui est à sa gauche dans la mesure o` u il est bien entendu que ce dernier
cas implique un changement de signe. Au prix de ce sous-entendu, laccouplement (7) est
equivalent à (6).
Moyennant ces actions en arrière implicites, lequation
(X )
= X
(8)
peut secrire, parfois plus commodement,
(X )
X
+
, (9)
o` u X
+
, appele le conjugue hermitique de X, est obtenu à partir de ce dernier en inversant
la suite de tous les facteurs q et p et en conjuguant tous les coefcients numeriques. Le
changement de signe qui sintroduit lorsquon ecrit p à droite, plutot quà gauche, est
equivalent à la conjugaison complexe de (/i)(/q). Linversion de lordre, lorsquon
ecrit les q et les p du cote droit, donne lordre des operations denies par X
. Nous
aurons souvent affaire à des operateurs X autoconjugues hermitiques (ou, simplement,
hermitiques), cest-à-dire doues de la propriete X = X
+
. Les operateurs hermitiques ont
des valeurs moyennes reelles car
__
dq
X
_
=
_
dq (X )
=
_
dq(X )
=
_
dq
X
+
.
Daprès (4), la norme de ,
_
dq
, (10)
doit rester constante au cours du temps, de fait egale à lunite, car elle fournit la probabilite
de toutes les valeurs de q. Calculons la derivee de la norme par rapport au temps, à laide
de lequation de Schrodinger (2) et de sa conjuguee complexe
i
= J
J
+
. (11)
Ainsi :
i
d
dt
_
dq
=
_
dq
_
J
+
J
_
. (12)
La constance de la norme est donc assuree en imposant à J detre hermitique : J
+
= J.
On peut resoudre formellement lequation de Schrodinger par un developpement de
Taylor autour de t = 0, avec pour resultat :
(t, q) =
_
1
i
Jt +
1
2!
_
i
Jt
_
2
+
_
(0, q)
= e
it
J
(0, q) , (13)
o` u lexponentielle de loperateur est denie (par exemple) par sa serie entière. De meme,
à laide de (11) et de J
+
= J, on a :
(t, q) =
(0, q) e
it
J
. (14)
La valeur moyenne
_
dq
(t, q) X (t, q) (15)

3
peut donc secrire aussi :
_
dq
(0, q) X(t) (0, q) , (16)

avec
X(t) = e
it
J
X e
it
J
. (17)
Le formalisme adopte dans (15), o` u les fonctions-donde dependent du temps tandis que
les operateurs sont independants du temps, est appele representation de Schrodinger.
La valeur moyenne (5), o` u nintervient quun seul etat , est un cas particulier
dune construction plus generale impliquant deux etats, disons
et
, eventuellement
differents :
_
dq
. (18)
Ces quantites sont appelees elements de matrices de X entre les etats et , et notees
X) . (19)
A la suite de Dirac, il est commode dattribuer une signication aux differentes parties
de cette notation composite entre crochets. Ainsi, le bra est mis pour
, le ket )
pour
, tandis que le bra-ket complet dans (19) implique lintegration sur q. Avec cette
notation, les equations de Schrodinger (2) et (11) secrivent
i
d
dt
, t) = J, t) ,
i
d
dt
, t = , tJ .
(20)
On ecrit à linterieur des crochets partiels ) et , les bras et kets, nimporte quels sym-
boles convenant pour identication de letat en question. Lorsque nous aurons affaire
à un etat de Schrodinger dependant du temps (dans (20) par exemple), nous ferons
generalement gurer le temps t parmi les symboles identicateurs.
Remarquez que (8) et une minime generalisation de (9) permettent decrire, en nota-
tion de Dirac :
_
X)
_
= X
+
(8
)
X)
= X
+
) . (9
)
LES EQUATIONS DU MOUVEMENT DE HEISENBERG
Soit X un polynome en q et p, ne dependant pas explicitement du temps (autrement dit
dont les coefcients sont constants). Loperateur de Heisenberg correspondant est
X(t) = e
it
J
X e
it
J
. (21)
En derivant par rapport au temps, on a :
X(t) =
i
_
X(t), J
_
, (22)
o` u le commutateur de deux operateurs est, par denition,
_
A, B
_
= ABBA. Le resultat (22)
est obtenu grace aux identites
d
dt
_
e
:
it
J
_
= :iJ e
:
it
J
= e
:
it
J
(:iJ) ,
4
dont on peut se convaincre en examinant la serie entière de lexponentielle.
Cest loperateur de Schrodinger J qui fait irruption en premier dans (22). Mais on
peut lui substituer loperateur de Heisenberg J(t), car
J(t) = e
it
J
J e
it
J
= J e
it
J
e
it
J
= J . (23)
Ici, comme souvent par la suite, nous utilisons lidentite
e
:
it
J
e
it
J
= 1, (24)
qui resulte du produit des deux series entières, tout comme si J etait un nombre plutot
quun operateur.
On a donc :
X(t) =
i
_
X(t), J(t)
_
, (25)
et en particulier,
q(t) =
i
_
q(t), J(t)
_
p(t) =
i
_
p(t), J(t)
_
,
(26)
dites equations du mouvement de Heisenberg.
Remarquez que J(t) est la meme fonction de q(t) et p(t) que la fonction J de q
et p. On sen assure en appliquant à chaque terme de J des identites du genre :
e
i
Jt
AB e
Jt
= e
i
Jt
Ae
Jt
e
i
Jt
B e
Jt
= A(t) B(t) , (27)
grace à (24).
Au moyen de lexpression de J(t), on peut reduire les membres de droite de (26) en
fonctions des seuls commutateurs :
_
q(t), q(t)
_
=
_
p(t), p(t)
_
= 0
_
q(t), p(t)
_
= ?
(28)
On effectue cette reduction en appliquant à chaque terme de J(t) des identites du genre
_
A, BC
_
=
_
A, B
_
C +B
_
A, C
_
, (29)
dont la validite saute aux yeux lorsquon ecrit leur developpement explicite. Enn, on
evalue facilement le commutateur inconnu :
[q(t), p(t)] = e
i
Jt
_
q, p
_
e
Jt
= e
i
Jt
(
i
) e
Jt
=
i
. (30)
Supposons, par exemple, que J(t) contienne un terme
_
q(t)
_
2
_
p(t)
_
2
= q(t) q(t) p(t) p(t) .
5
Nous avons alors
_
q(t), q(t) q(t) p(t) p(t)
_
=
_
q(t), q(t)
_
q(t) p(t) p(t) +q(t)
_
q(t), q(t)
_
p(t) p(t)
+q(t) q(t)
_
q(t), p(t)
_
p(t) +q(t) q(t) p(t)
_
q(t), p(t)
_
,
qui devient, grace à (28) et (30) :
_
q(t), q(t) q(t) p(t) p(t)
_
= q(t) q(t) p(t) +q(t) q(t) p(t)
=

p(t)
q(t) q(t) p(t) p(t) ,
o` u, en calculant les derivees, il faut veiller à ne pas alterer lordre des p et des q survivants.
Moyennant cette precaution, on a une equivalence tout à fait generale entre commutation
avec q (ou p) et derivation par rapport à p (ou q). Les equations du mouvement de
Heisenberg peuvent etre reecrites :
q(t) =
J(t)
p(t)
p(t) =
J(t)
q(t)
,
(31)
cest-à-dire precisement (à la precaution près concernant les facteurs non commutables)
sous la forme des equations classiques du mouvement de Hamilton.
Bien s ur, les quantites q et p dans (31) sont des operateurs (on dit des q-nombres),
et pas encore les nombres ordinaires (dits c-nombres) de la mecanique classique. Mais les
operateurs peuvent etre remplaces par des valeurs numeriques en prenant leurs valeurs
moyennes. On peut ainsi montrer, en sappuyant sur (31), que dans certaines conditions
(lorsque peut etre considere comme negligeable) les valeurs moyennes quantiques se
comportent comme des valeurs moyennes classiques, en sorte que la mecanique classique
est une approximation idoine.
LE FORMALISME CANONIQUE
Nous avons vu comment la mecanique quantique realise sa jonction avec la mecanique
classique par le truchement des equations du mouvement de Hamilton. Pour la plupart
dentre nous, la mecanique classique est plus facile à apprehender que la mecanique
quantique. Aussi la construction dune theorie quantique sopère-t-elle habituellement
à partir de la theorie classique correspondante. A ce niveau classique, le formalisme
lagrangien est, par certains cotes, plus commode que le formalisme hamiltonien.
Le lagrangien
1(q, q) (32)
est une fonction de la coordonnee et de la vitesse. Les equations du mouvement sont
denies par le principe variationnel
A = 0, (33)
avec
A =
_
dt 1(q, q) , (34)
et par rapport à des variations q(t) supposees sannuler pour t grand. Le resultat peut
secrire
A
q(t)
= 0 (35)
pour tout t, o` u la derivee fonctionnelle de A par rapport à q(t) est denie par la relation :
A =
_
dt
A
q(t)
q(t) . (36)
6
Celle-ci est une generalisation de lexpression
A =
_
n
F
x
n
x
n
,
denissant les derivees partielles dune fonction F dun nombre ni de variables x
n
, au
cas dune fonction A dune innite darguments q(t) en fait une fonction de fonction,
dite une fonctionnelle. Pour calculer la derivee fonctionnelle, notez que
A =
_
dt
_
1
q
q +
1
q
q
_
=
_
dt
_
1
q

d
dt
1
q
_
q,
après integration par parties. Donc :
A
q(t)
=
1
q

d
dt
1
q
, (37)
et ainsi (35) donne lequation du mouvement de Lagrange familière.
Le moment p, conjugue de q, est par denition :
p =
1
q
. (38)
En supposant cette equation soluble pour q en fonction de p, lhamiltonien est deni par
J = p q 1, (39)
et nous obtenons la forme hamiltonienne des equations du mouvement :
q =
J
p
, p =
J
q
. (40)
On passe alors à la theorie quantique en considerant les operateurs de Heisenberg q(t)
et p(t) tels que
_
q(t), p(t)
_
= i
q(t) = (i)
1
_
q(t), J(t)
_
p(t) = (i)
1
_
p(t), J(t)
_
,
avec J(t) = J
_
q(t), p(t)
_
.
La generalisation à plusieurs degres de liberte est immediate :
p
n
=
1
q
n
(41)
J =
p
n
q
n
1 (42)
_
_
q
n
=
J
p
n
p
n
=
J
q
n
(43)
_
q
n
(t) = (i)
1
_
q
n
(t), J(t)
_
p
n
(t) = (i)
1
_
p
n
(t), J(t)
_
(44)
7
_
_
q
n
(t), q
m
(t)
_
=
_
p
n
(t), p
m
(t)
_
= 0
_
q
n
(t), p
m
(t)
_
= i
nm
.
(45)
Pour en arriver enn à la theorie des champs, il nous faut encore generaliser à une
innite continue de degres de liberte. En effet, meme le plus simple des champs est
caracterise, à un instant t, par une innite continue de quantites (t, x) pour tout x.
Et nous avons affaire à des equations aux derivees partielles plutot quà des equations
differentielles ordinaires.
Pour vous convaincre de la possibilite de cette generalisation, souvenez-vous du
traitement pratique des equations differentielles qui consiste à les approximer par des
equations aux differences. On peut ainsi imaginer representer la fonction par ses
valeurs, q
n
(t) = (t, x
n
), en un ensemble discret de points x
n
que lon rendra en n de
compte inniment dense. Nous pouvons aussi travailler, pour commencer, non pas dans
tout lespace, mais dans un volume ni que lon nira par rendre très grand. En procedant
ainsi, nous pouvons trouver comment generaliser le formalisme canonique et le processus
de quantication. Au niveau formel, nonobstant de subtiles questions de convergence, la
generalisation aux systèmes continus consiste principalement à remplacer les sommes
sur des indices n par des integrales sur des arguments x, et les deltas de Kronecker
nm
par des deltas de Dirac
3
( x y).
Considerons alors un principe variationnel
A = 0, A =
_
dt 1(t),
o` u le lagrangien 1 est maintenant une fonctionnelle du champ (t, x) et de sa derivee
par rapport au temps

(t, x). Dans une theorie invariante de Lorentz, il faut sattendre à
des manifestations symetriques des coordonnees de temps et despace. Nous supposons
donc que
1(t) =
_
d
3
xL(t, x),
o` u la densite lagrangienne L(t, x) est une fonction de et de ses derivees premières
en (t, x). On a alors :
A =
_
d
4
xL(x),
A =
_
d
4
x
A
(x)
(x), (46)
o` u x (t, x), d
4
x = dt dx
1
dx
2
dx
3
, et avec
A
(x)
=
L
_
/x
_ , (47)
en analogie avec (37). En exprimant la nullite de cette derivee fonctionnelle, on obtient les
equations de Lagrange du mouvement du champ.
En analogie avec (41), le champ (x) canoniquement conjugue de (x) est deni par
(x) =
L
. (48)
En analogie avec (42), on denit lhamiltonien
J(t) =
_
d
3
x (t, x)

(t, x) 1(t), (49)
8
et on peut reecrire les equations du mouvement sous forme hamiltonienne :
(t, x) =
J(t)
(t, x)
(t, x) =
J(t)
(t, x)
,
(50)
en analogie avec (43).
Passons maintenant à la theorie quantique en postulant des champs doperateurs de
Heisenberg correspondants. Les relations de commutation et les equations du mouvement
de Heisenberg sont les generalisations naturelles de (44) et (45) :
_
_
_
(t, x) = (i)
1
_
(t, x), J(t)
_
(t, x) = (i)
1
_
(t, x), J(t)
_
(51)
_
_
(t, x), (t, y)
_
=
_
(t, x), (t, y)
_
= 0
_
(t, x), (t, y)
_
= i
3
( x y).
(52)
Comme precedemment, les equations du mouvement de Heisenberg peuvent se reecrire,
en veillant à lordre des operateurs non commutables, sous la forme hamiltonienne (50).
La generalisation à un système de plusieurs champs est directe :
_
_
_
n
(t, x) = (i)
1
_
n
(t, x), J(t)
_
n
(t, x) = (i)
1
_
n
(t, x), J(t)
_
(53)
_
_
n
(t, x),
m
(t, y)
_
=
_
n
(t, x),
m
(t, y)
_
= 0
_
n
(t, x),
m
(t, y)
_
= i
3
( x y)
nm
(54)
_
n
(t, x) =
L(t, x)
n
(t, x)
J(t) =
_
d
3
x
_
n
(t, x)

n
(t, x) L
_
(55)
_
n
=
J
n
=
J
n
.
(56)
Il ne reste plus quà appliquer ce schema general à des exemples speciques.
LE CHAMP SCALAIRE REEL
Pour travailler sur des theories relativistes, nous utiliserons souvent, plutot que le
temps x
0
(= t), la quatrième coordonnee imaginaire x
4
(= ict). De plus, nous userons
dunites telles que = c = 1.
Nous supposerons que la densite lagrangienne est un scalaire de Lorentz, car cest
ce qui conduit à des equations du mouvement invariantes de Lorentz. Le champ le plus
simple est un scalaire de Lorentz, reel :
(x), x x
(x
1
, x
2
, x
3
, x
4
)
(x) =
_
(x)
_
.
La densite lagrangienne scalaire de Lorentz non triviale la plus simple que lon puisse
construire avec ce champ et ses derivees premières est de la forme
L =
1
2
(
)(
)
1
2
m
2
2
, (57)
9
o` u mest une constante. Labsence de constante multiplicative arbitraire devant le premier
terme nest rien de plus quune convention de normalisation de . Dans (57), nous utilisons
la notation condensee
,
ainsi que la convention habituelle de sommation sur les indices repetes :
(
)(
)
4
_
=1
(
)(
).
Toujours dans (57), le signe moins, global, est necessaire pour obtenir des energies
positives.
La derivee fonctionnelle de
A =
_
d
4
xL(x)
par rapport à (x) vaut
A
(x)
=
L
L
(
)
= m
2
+
,
do` u lequation du mouvement :
_
m
2
_
(x) = 0, (58)
dite equation de Klein-Gordon.
En separant les derivees par rapport au temps, et en notant

= /t = i/x
4
,
on a :
L =
1
2

1
2
_
_
2
1
2
m
2
2
. (59)
Le moment canoniquement conjugue est donc
=
L
=

.
Lhamiltonien vaut
J =
_
d
3
x
_

L
_
=
_
d
3
x
_
1
2
2
+
1
2
_
_
2
+
1
2
m
2
2
_
. (60)
Les equations du mouvement de Hamilton sont
_
=
J
=
J
2
m
2
,
(61)
qui redonnent bien (58).
Remarquez que (61) admet comme solution particulière londe plane
= e
:ikx
, = ik
0
e
:ikx
,
10
avec :
kx k
k
1
x
1
+k
2
x
2
+k
3
x
3
+k
4
x
4
k
1
x
1
+k
2
x
2
+k
3
x
3
k
0
x
0
k
0
= +
_
m
2
+
k
2
k (k
1
, k
2
, k
3
).
La solution generale, etant donne son comportement à linni qui autorise un developpe-
ment du type Fourier à tout instant, peut donc secrire :
_
_
(x) =
_
d
3
k
(2)
3
2k
0
_
a(
k)e
ikx
+a
k)e
ikx
_
(x) =
_
d
3
k
(2)
3
2k
0
_
a(
k)e
ikx
a
k)e
ikx
_
(ik
0
).
(62)
Cest la realite de qui fait quaux ondes planes complexes conjuguees sont associes des
coefcients complexes conjugues, a(
k)/2k
0
et a
k)/2k
0
.
Passant à la theorie quantique, nous prenons pour et des operateurs hermitiques,
=
+
, =
+
, la propriete dhermiticite (qui implique la realite des valeurs moyennes)
etant lanalogue quantique de la realite classique. Nous supposons les règles de commu-
tation canoniques aux temps egaux (equations (52)) :
_
_
(t, x), (t, y)
_
=
_
(t, x), (t, y)
_
= 0
_
(t, x), (t, y)
_
= i
3
( x y).
(63)
On peut alors verier, par calcul explicite, quavec lhamiltonien (60), les equations du
mouvement de Heisenberg,
= i
_
, J
_
,

= i
_
, J
_
,
sont equivalentes aux equations de Hamilton (61). La solution peut encore secrire sous
la forme (62), à ceci près que a(
k) est maintenant un operateur, et que son conjugue

hermitique a
+
prend la place de a
:
_
_
(x) =
_
d
3
k
(2)
3
2k
0
_
a(
k)e
ikx
+a
+
(
k)e
ikx
_
(x) =
_
d
3
k
(2)
3
2k
0
_
a(
k)e
ikx
a
+
(
k)e
ikx
_
(ik
0
).
(64)
A tout instant t donne, on peut, au moyen de la transformee de Fourier inverse,
resoudre les equations (64) par rapport à a et a
+
:
a(
k) =
_
d
3
x
_
2k
0
+i
_
e
ikx
a
+
(
k) =
_
d
3
x
_
2k
0
i
_
e
ikx
.
A laide de (63), nous trouvons alors les règles de commutation des a et a
+
:
_
_
_
_
a(
k), a(
)
_
=
_
a
+
(
k), a
+
(
)
_
= 0
_
a(
k), a
+
(
)
_
= 2k
0
(2)
3
3
(
).
(65)
11
On peut exprimer lhamiltonien en termes des a et a
+
. A un instant t donne, en
reportant (64) dans (60), on obtient :
J =
_
d
3
k
(2)
3
2k
0
k
0
2
_
a
+
(
k) a(
k) +a(
k) a
+
(
k)
_
=
_
d
3
k
(2)
3
2k
0
k
0
a
+
(
k) a(
k) +C
, (66)
o` u C
est une constante numerique,

C
=
_
d
3
k
k
0
2

3
(
k).
Mais nous aurions pu ajouter une constante à la densite lagrangienne initiale :
L L +C. (67)
Nous pouvions choisir C en sorte que la constante subsequemment soustraite de lhamil-
tonien compense exactement C
. Une telle addition de constante ne change physiquement

rien dautre que lorigine arbitraire de mesure des energies. Nous ne prendrons donc
comme hamiltonien que le premier terme de (66).
Notez quand meme que C
est en fait innie, non seulement parce quy intervient

une fonction delta dargument nul, mais aussi parce quelle resulte dune integrale sur

k
divergente. La constante compensatrice C dans (67) doit etre innie, en rapport avec C
.
Cest la première fois, mais non la dernière, que nous tolererons la presence de constantes
innies dans le lagrangien, an de les eviter ailleurs. A letudiante qui doute de la abilite
de ce genre de manipulation, je ne peux offrir plus que quelques paroles de reconfort :
la theorie peut etre etablie de manière plus rigoureuse, par exemple en travaillant sur un
reseau ni de points, au lieu dun espace-temps continu. Les quantites qui etaient innies
sont alors grandes mais nies, et se laissent manipuler en tout bien tout honneur. Ce nest
quaprès les avoir combinees sous forme inoffensive convenable que lon se hasarde à la
limite desiree dun espace-temps inni continu. Cest en adoptant des points de vue de
ce genre que les experts se sont convaincus, sur des modèles simples, que les temeraires
manipulations des physiciens ne sont pas specieuses.
INTERPRETATION EN TERMES DE PARTICULES
Etant donne lequation de Schrodinger,

= iJ, supposons possible den trouver des
solutions particulières dont la dependance temporelle soit tout simplement exponentielle :
(t) e
iEt
. On a alors
J = E. (68)
On dit dans ce cas que est un etat propre de lhamiltonien (ou de lenergie), avec la valeur
propre E.
Etant donne nimporte quel etat propre, les operateurs a et a
+
permettent immedia-
tement den construire dautres. Daprès (66) et (65), on a :
__
J, a
+
(
k)
_
= a
+
(
k) k
0
_
J, a(
k)
_
= a(
k) k
0
,
(69)
do` u :
Ja
+
(
k) = a
+
(
k) (J +k
0
) = (E +k
0
) a
+
(
k)
Ja(
k) = a(
k) (J k
0
) = (E k
0
) a(
k) .
(70)
Si est un etat propre de lenergie avec la valeur propre E, alors a
+
(
k) et a(
k) sont
des etats propres avec les valeurs propres E :k
0
respectivement.
12
Supposons quexiste une valeur minimale E
0
de lenergie, dont le vecteur propre
correspondant est
0
. On a alors
a(
k)
0
= 0 (71)
pour tout (
k), sinon ce genre detat serait etat propre pour une valeur propre plus basse.
Nous appellerons
0
le vide. Daprès (71) et (66), on a J
0
= 0, et
E
0
= 0. (72)
Si la constante C
, dans (66), navait pas ete compensee, lenergie E

0
du vide naurait pas
ete nulle mais innie, desagrement mineur. Daprès (70), les etats
a
+
(
k
1
) a
+
(
k
2
)
0
, (73)
resultant de lapplication dun nombre quelconque doperateurs a
+
sur le vide, sont etats
propres de lenergie avec les valeurs propres E = k
10
+ k
20
+ . En notation de Dirac,
nous representerons ces etats par
k
1
,
k
2
,
k
3
, . . .), (74)
et, de meme, le vide par :
0). (75)
Les symboles (74) et (75) seront mis indifferemment pour des etats de Schrodinger à t = 0
ou des etats de Heisenberg à t quelconque.
Les etats (74) ont une interpretation aussi simple quimportante. La conrmation de
sa legitimite reside, nalement, dans sa perennite. Cette interpretation peut etre dabord
suggeree par lexamen de lelement de matrice
0(x)
k). (76)
Daprès (64), (65), (71) et (8), celui-ci vaut tout simplement
e
ikx
= e
i
k xik
0
t
. (77)
On se souvient quen mecanique ondulatoire elementaire, cette expression est precisement
celle de londe de de Broglie associee à une particule dimpulsion

k, de masse m, et
denergie k
0
=
_
m
2
+
k
2
. La possibilite dattribuer à
k) la signication, justement, dun

tel etat dune particule nest donc pas pour surprendre, tout comme letat
k
1
,
k
2
, . . .) a la
signication dun etat de plusieurs particules de quadri-impulsions k
1
, k
2
, . . .
Il ne faut pas simaginer que cette interpretation en termes de particules, que nous
incorporons dorenavant à la theorie, se substituerait à linterpretation originale des
etats comme des distributions de probabilite de differentes congurations de champ ;
elle vient plutot la completer. Linterpretation pertinente est dictee par le dispositif
experimental. Il serait bien s ur plus satisfaisant dobtenir les deux interpretations à partir
daxiomes anterieurs, mais je ne ferai ici aucune tentative dans cette direction.
On a, daprès (73),
a
+
(
k)
k
1
,
k
2
, . . .) =
k,
k
1
,
k
2
, . . .).
A laide de (73) et (65), on peut calculer :
a(
k)
k
1
,
k
2
,
k
3
, . . .) = 2k
0
(2)
3
3
(
k
1
)
k
2
,
k
3
, . . .)
+2k
0
(2)
3
3
(
k
2
)
k
1
,
k
3
, . . .)
+
13
Laction de a
+
, ou de a, sur un etat donne a donc pour effet dajouter, ou doter, des
particules. Cest pourquoi on les appelle operateurs de creation et de destruction (ou
dannihilation).
Remarquez que, daprès (8), le conjugue de
k
1
,
k
2
, . . .) = a
+
(
k
1
) a
+
(
k
2
) 0),
est :
k
1
,
k
2
, . . . = 0 a(
k
2
) a(
k
1
). (78)
Notez egalement que, puisque les a
+
commutent les uns avec les autres, voir (65), prendre
les memes impulsions dans un ordre different, ou echanger letiquetage des particules,
ne donne pas un nouvel etat :
k
1
,
k
2
, . . .) =
k
2
,
k
1
, . . .)
k
1
,
k
2
, . . . =
k
2
,
k
1
, . . .
etc.
(79)
Les calculs mettant en jeu des operateurs de creation et de destruction sont effectues
au moyen dutilisations repetees de (71) et de sa conjuguee (voir (8)),
a(
k) 0) = 0 a
+
(
k) = 0, (80)
ainsi que des règles de commutation (65).
Calculons, par exemple, le produit interieur de deux etats à une particule,
).
Celui-ci est donne par :
0 a(
k) a
+
(
) 0) = 0 a
+
(
) a(
k) 0) +0
_
a(
k), a
+
(
)
_
0).
Le premier terme est nul en vertu de (80), si bien que, compte tenu de la valeur (65) du
commutateur, on a :
) = 2k
0
(2)
3
3
(
). (81)
Le procede est typique. On rearrange lordre des operateurs, à laide des relations
de commutation, jusquà ce que les operateurs de destruction agissent directement sur
le vide 0) et que les operateurs de creation soient immediatement suivis de 0, ce qui
donne zero, daprès (80).
De meme :
k
1
,
k
2
, . . . ,
k
n
1
,
2
, . . . ,
m
) =
nm
_
_
(2)
3
2k
10
3
(
k
1
1
) (2)
3
2k
20
3
(
k
2
2
)
+(2)
3
2k
10
3
(
k
1
2
) (2)
3
2k
20
3
(
k
2
1
)
+
(82)
avec, en tout, n! termes correspondant à toutes les fac ons possibles daccoupler chaque
variable primee avec une variable non primee.
Nous aurons à envisager des etats resultant de superpositions de diverses congura-
tions dimpulsions et divers nombres de particules, par exemple :
) =
_
n
1
n!
_
d
3
k
1
(2)
3
2k
10

d
3
k
n
(2)
3
2k
n0
f(
k
1
, . . . ,
k
n
)
k
1
, . . . ,
k
n
). (83)
14
Notez que nous aurions pu restreindre lintegration sur d
3
k
1
d
3
k
n
, car lintegration
sans restriction visite chaque etat distinct n! fois, à cause de (79). Mais il est preferable
de specier que f est une fonction totalement symetrique,
f(
k
1
,
k
2
, . . .) = f(
k
2
,
k
1
, . . .)
etc.,
(84)
et de compenser le comptage multiple en divisant par n!.
A laide de (82), on trouve la norme de ) :
) =
_
n
1
n!
_
d
3
k
1
(2)
3
2k
10

d
3
k
n
(2)
3
2k
n0
f(
k
1
, . . . ,
k
n
)
2
. (85)
Il faut que cette quantite soit egale à un pour que letat soit correctement normalise. En
accord avec cette probabilite totale unite, nous pouvons, et nous ne nous en priverons
pas, interpreter
d
3
k
1
(2)
3
2k
10

d
3
k
n
(2)
3
2k
n0
f(
k
1
, . . . ,
k
n
)
2
(86)
comme la probabilite partielle, lorsque le système est dans letat , de trouver nparticules
dont les impulsions appartiennent aux regions speciees.
Notez que pour letat (83), on a, daprès (82) :
f(
k
1
, . . . ,
k
n
) =
k
1
, . . . ,
k
n
). (87)
INTERACTION
Les particules de la section precedente nont pas dinteractions ; autrement dit elles sont
libres. Leurs quadri-impulsions k
1
, k
2
, . . . , ne changent pas. Letat de Schrodinger qui a
pour valeur initiale a
+
(
k
1
) a
+
(
k
2
) 0), à linstant t = 0, ne depend du temps que par
un facteur de phase e
i(k
10
+k
20
+)t
, avec k
10
=
_
m
2
+
k
2
1
, etc.
Pour avoir interaction, il faut compliquer le lagrangien. Ajoutons par exemple à la
densite lagrangienne (57), la densite lagrangienne dinteraction (ou perturbation) :
I(x) =
g
4!
_
(x)
_
4
. (88)
Il faut donc retrancher cette quantite de la densite hamiltonienne integrande de (60). On
obtient, au lieu de (58), lequation du mouvement modiee, maintenant non lineaire,
_
m
2
+
g
3!

2
_
= 0, (89)
et, au lieu de (61),
_
_
_
2
m
2
+
g
3!

3
.
(90)
Le champ ne peut plus secrire, pour tout t, sous la forme (64) avec des operateurs a
et a
+
constants. Mais, à un instant quelconque, disons t = 0, on peut utiliser ces equations
pour denir des operateurs a et a
+
, et un etat vide, tels que :
a(
k) 0) = 0. (91)
Les etats
a
+
(
k
1
) a
+
(
k
2
) 0) (92)
ne deviendront plus solutions de lequation de Schrodinger sur simple multiplication par
un facteur de phase. Etudions maintenant comment un etat, ainsi specie à un instant
initial, va en fait evoluer.
15
LOPERATEUR S
Nous avons à resoudre lequation de Schrodinger
d
dt
= iJ , (93)
avec
J = J
0
_
d
3
x I(0, x). (94)
Notez que nous nous plac ons ici dans la representation de Schrodinger, dont les
operateurs sont obtenus à partir des operateurs de Heisenberg en posant t = 0. A laide
de (62), on peut ecrire les operateurs de champ , ainsi que I, en termes doperateurs
de creation et dannihilation. Lhamiltonien non perturbe (g = 0) a dejà ete ecrit sous
cette forme en (66). On voit alors que levolution temporelle resultant de (93) peut etre
consideree comme un processus continu de destructions et creations de particules. La
contribution de lhamiltonien non perturbe (66) à ce processus est quasi triviale car la
destruction dune particule dimpulsion

k est alors immediatement suivie de la re-creation
dune particule de meme impulsion. Il est commode de mettre de cote ce processus trivial
en travaillant avec un nouveau vecteur detat :
(t) = e
iJ
0
t
(t). (95)
Si I etait nulle, serait constant car, dans ce cas,
(t) = e
iJ
0
t
(0).
En general, on a, daprès (95) et (93),
i
(t) = e
iJ
0
t
_
J
0
(t) +i
(t)
_
= e
iJ
0
t
_
d
3
x I(0, x) (t),
soit :
(t) =
_
d
3
x iI(x) (t), (96)
o` u
I(x) = e
iJ
0
t
I(0, x) e
iJ
0
t
(97)
nest pas loperateur de Heisenberg original, car sa dependance temporelle correspond
à lhamiltonien non perturbe. En recourant à (95) et (97), nous adoptons en fait une
representation intermediaire entre celles de Heisenberg et de Schrodinger. Dans cette
representation dinteraction, nouvelle, la dependance temporelle due à lhamiltonien non
perturbe est placee dans les operateurs, tandis que levolution du vecteur detat nest
due quà la perturbation.
Lequation differentielle (96) peut se reecrire sous forme dequation integrale
(t) = () +
t
_
d
4
x
iI(x
) (t
), (98)
avec d
4
x
= dx
0
dx
1
dx
2
dx
3
, et o` u seules les bornes de lintegration sur t
sont indiquees,
les autres integrales etant sans bornes.
On peut resoudre lequation (98) en considerant I petit. A lordre zero, on neglige
totalement I, et est constant : (t) = (). Reportant cette approximation dans le
deuxième membre de (98), on obtient une estimation amelioree :
(t) = () +
t
_
d
4
x
iI(x
) ().
16
Introduisant celle-ci dans le deuxième membre de (98), les choses sameliorent encore :
(t) = () +
t
_
d
4
x
iI(x
) () +
t
_
d
4
x
d
4
x
iI(x
) iI(x
) ().
Et ainsi de suite, on obtient à chaque etape un resultat dont la precision augmente dune
puissance supplementaire de la constante de couplage g.
On trouve, de cette fac on,
() = S (), (99)
o` u loperateur S est deni, en theorie des perturbations, par une serie de puissances de la
constante de couplage g :
S = 1 +
_
d
4
xiI(x)+
_ _
t
1
>t
2
d
4
x
1
d
4
x
2
iI(x
1
) iI(x
2
) + (100)
dont le terme general est de la forme
_ _

_
t
1
>t
2
> t
n
d
4
x
1
d
4
x
2
d
4
x
n
iI(x
1
) iI(x
2
) iI(x
n
), (101)
et peut secrire, plus commodement,
1
n!
_ _

_
d
4
x
1
d
4
x
2
d
4
x
n
T
_
iI(x
1
), iI(x
2
), . . . , iI(x
n
)
_
. (102)
Par convention, le symbole dordination temporelle T signie que les operateurs agissent
non pas dans lordre o` u ils sont ecrits, mais dans lordre de leurs arguments temporels
respectifs. Au cours de lintegration sur toutes les valeurs des temps, chaque contribution
intervient n! fois, comptage multiple que lon compense par lintervention explicite du
facteur (n!)
1
.
ELEMENTS DE MATRICE S
Necessairement, loperateur S, comme I, est une combinaison doperateurs de creation et
de destruction. Lorsque letat () est de la forme
k
1
,
k
2
, . . .) = a
+
(
k
1
) a
+
(
k
2
) 0),
alors (+) = S
k
1
,
k
2
, . . .) est une superposition du type (83). Lamplitude f dun etat
particulier
1
,
2
, . . .) dans ladite superposition, vaut :
f(
1
,
2
, . . .) =
1
,
2
, . . . S
k
1
,
k
2
, . . .)
= 0 a(
1
) a(
2
) S a
+
(
k
1
) a
+
(
k
2
) 0). (103)
Les règles systematiques permettant de calculer ces elements de matrice S ont ete etablies
par Feynman, Dyson, et Wick.
La contribution dun terme particulier (102) dans lexpression (103) de lelement de
matrice S, est une integrale dont lintegrande est de la forme
0ABC 0), (104)
o` u chaque operateur A, B, etc., est soit un operateur de creation ou de destruction, soit
une combinaison lineaire (comme loperateur de champ ) doperateurs de creation et de
destruction.
17
Ecrivons A sous forme de combinaison :
A = A
+
+A
, (105)
o` u A
+
est une combinaison lineaire doperateurs de creation, et A
une combinaison
doperateurs de destruction. Puisque
0 A
+
= 0, (106)
on peut laisser tomber A
+
dans (104). Et puisque
A
0) = 0, (107)
on peut ecrire :
0 A
BC 0) = 0
_
A
, BC
_
0)
= 0
_
A
, B
_
C 0) +0B
_
A
, C
_
0) +etc. (108)
Mais
_
A
, B
_
, somme de commutateurs doperateurs de creation et de destruction, est un
nombre. On peut donc ecrire, au moyen de (107) puis (108),
_
A
, B
_
= 0
_
A
, B
_
0) = 0A
B0)
= 0AB0). (109)
Donc :
0ABCD 0) = 0AB0)0CD 0) +0AC0)0BD 0) +etc.
Dans lexpression 0CD 0), on peut appliquer à C le traitement que lon vient
diniger à A, et ainsi de suite, jusquà exprimer le resultat entièrement en termes de
valeurs moyennes dans le vide de produits de paires. Il advient donc que 0ABCD 0)
est egal à la somme des produits de valeurs moyennes des paires :
0AB0)0CD0) +0AC0)0BD0) + , (110)
o` u la sommation setendà toutes les manières possibles daccoupler les operateurs, lordre
au sein de chaque paire restant celui du produit original.
Remarquez que si les facteurs dans le produit original sont en nombre impair, alors
le resultat est nul car notre procede de reduction ci-dessus conduit nalement à prendre
la valeur moyenne dun seul operateur, laquelle est nulle en vertu de (106) et (107).
Le resultat (110) constitue une partie du theorème de Wick.
Pour traiter du cas du champ scalaire , nous aurons besoin des valeurs moyennes
de paires particulières :
0 a(
k) (x) 0) = e
ikx
(111)
0 (x) a
+
(
k) 0) = e
ikx
(112)
0 (x) (y) 0) =
_
d
3
k
(2)
3
2k
0
e
ik(xy)
, (113)
en vertu de (64) et (81). En fait, nous aurons plutot besoin du produit chronologiquement
ordonne
T
_
(x), (y)
_
= (x
0
y
0
) (x) (y) +(y
0
x
0
) (y) (x).
18
Utilisant (113), on a
0 T
_
(x), (y)
_
0) =
_
d
3
k
(2)
3
e
i
k( x y)
_
(x
0
y
0
)
e
i(x
0
y
0
)
2
+(y
0
x
0
)
e
i(y
0
x
0
)
2
_
, (114)
avec
=
_
m
2
+
k
2
. (115)
Jusquà present, nous avions note cette quantite k
0
, mais nous allons maintenant avoir
besoin de ce symbole pour un usage tout different dans la representation integrale :
(t) e
it
=
_
dk
0
2
i e
ik
0
t
k
0
(i)
, (116)
o` u est petit, positif, et prend la valeur zero après calcul de lintegrale. Le deuxième
membre de (114) devient, en utilisant (116),
_
d
3
k
(2)
3
dk
0
2
_
i e
ik(xy)
k
0
(i)
+
i e
ik(yx)
k
0
(i)
_
1
2
, (117)
soit nalement, en changeant le signe des variables dintegration dans le deuxième terme :
0 T
_
(x), (y)
_
0) =
_
d
4
k
(2)
4
e
ik(xy)
1
i
_
(mi)
2
+k
2
_ , (118)
o` u d
4
k = dk
0
dk
1
dk
2
dk
3
. La quantite (118) est appelee le propagateur du champ de
meson scalaire.
LES GRAPHES DE FEYNMAN
Calculons par exemple lamplitude de probabilite quun etat initial de deux particules,
dimpulsions

k
1
et

k
2
, nisse en deux particules, dimpulsions differentes

k
1
et

k
2
:
1
,
2
S 1
k
1
,
k
2
). (119)
En vertu de (100) et (103), le terme dordre le plus bas en g secrit
ig
4!
_
d
4
x0 a(
1
) a(
2
) (x) (x) (x) (x) a
+
(
k
1
) a
+
(
k
2
) 0). (120)
Daprès le theorème de Wick, la valeur moyenne dans le vide est une somme de produits
de valeurs moyennes de paires dans le vide. Si les impulsions primees sont differentes
des non primees, il est inutile de considerer les accouplements doperateurs de creation
et dannihilation, car
0 a(
k) a(
) 0) = 0 a
+
(
k) a
+
(
) 0) = 0
0 a(
k) a
+
(
) 0) = (2)
3
2
_
m
2
+
k
2
3
(
).
(121)
Chaque a ou a
+
doit donc etre accouple avec lun des quatre . Il y a, pour cela, 4! fac ons
contribuant chacune, daprès (111) et (112), pour le meme produit de facteurs. Ainsi
donc, (120) est egal à
ig
_
d
4
xe
i(k
1
+k
2
k
1
k
2
)x
= ig (2)
4
4
(k
1
+k
2
k
1
k
2
). (122)
19
Remarquez que les transitions ne se produisent que vers des etats de memes energie et
impulsion totales que letat initial.
Nous verrons plus loin comment les elements de matrice de S 1 sont relies aux
sections efcaces differentielles.
Passant au second ordre en g, nous obtenons, daprès (100), une contribution à (119) :
1
2!
ig
4!
ig
4!
_
d
4
xd
4
y 0 a(
1
) a(
2
) T
_
4
(x),
4
(y)
_
a
+
(
k
1
) a
+
(
k
2
) 0). (123)
On peut encore calculer la valeur moyenne dans le vide à laide du theorème de Wick. Mais
il y a maintenant plusieurs combinaisons daccouplements qui contribuent.
Ces diverses combinaisons se representent commodement avec les graphes de Feyn-
man. Par exemple, le graphe
(124)
indique laccouplement des operateurs de creation initiaux avec deux operateurs de
champ de la meme interaction (ou vertex), et laccouplement des operateurs danni-
hilation nals avec deux de lautre vertex, laissant deux en chaque vertex à coupler
avec les deux de lautre vertex. Il y a (4 3) fac ons daccoupler les deux a
+
avec deux
des quatre en un vertex. Il y a aussi (43) fac ons daccoupler les deux a avec deux des
quatre de lautre vertex. Et pour chacune de ces (4 3)
2
possibilites, il y a encore deux
fac ons daccoupler les restants. Enn, les roles des deux vertex sont interchangeables.
Il y a donc en tout (4!)
2
contributions à (123), identiques, du type (124) :
1
2
(ig)
2
_
d
4
xd
4
y e
i(k
1
+k
2
)x
_
d
4
p
(2)
4
e
ip(xy)
i(m
2
+p
2
)
_
d
4
q
(2)
4
e
iq(xy)
i(m
2
+q
2
)
e
i(k
1
+k
2
)y
. (125)
Lintegration sur x et y dans (125) donne un facteur
(2)
4
4
(k
1
+k
2
p q) (2)
4
4
(p +q k
1
k
2
). (126)
De cette fac on, on peut, en toute generalite, associer des quadri-impulsions (p
1
, p
2
, . . .)
aux lignes internes des graphes de Feynman, comme (k
1
, k
2
, . . .) sont associees aux lignes
externes. En toute generalite, les integrations despace-temps impliquent la conservation
de limpulsion-energie à chaque vertex, comme dans (126).
On peut reecrire le produit (126) sous la forme
(2)
4
4
(k
1
+k
2
k
1
k
2
) (2)
4
(p +q k
1
k
2
),
moyennant quoi la contribution (125) devient
1
2
(ig)
2
(2)
4
4
(k
1
+k
2
k
1
k
2
)
_
d
4
p
(2)
4
1
i(m
2
+p
2
)
1
i
_
m
2
+(p k
1
k
2
)
2
_ . (127)
Remarquez quil y a plusieurs autres graphes de Feynman du meme ordre que (124).
Par exemple :
(128)
20
qui represente une conguration o` u les operateurs de creation initiaux sont accouples
à des en des vertex differents. La contribution correspondante se deduit de (127),
moyennant la substitution
k
2
k
1
k
1
k
2
.
(129)
Le diagramme restant de ce type,
(130)
donne une contribution deduite de (127) par la substitution :
k
2
k
2
k
2
k
2
.
(131)
Il existe une manière plus relachee de parler des graphes de Feynman, commode si
elle nest pas prise trop au pied de la lettre. On peut dire que (124) represente un processus
au cours duquel les particules initiales sont annihilees en un point donne, avec creation,
en ce meme point, de deux particules intermediaires (ou virtuelles), annihilees à leur tour
en un autre point o` u les particules nales sont creees. On peut raconter des histoires
semblables sur (128) et (130). Dans la contribution au premier ordre, (120) alias (122), les
particules initiales sont annihilees, et les particules nales creees, au meme point :
(132)
autrement dit, tous les en jeu ont le meme argument.
Notez que dans nos graphes de Feynman, comme dans nos elements de matrice,
nous mettons les particules initiales à droite, et les particules nales à gauche. De
nombreux auteurs adoptent cette disposition dans les elements de matrice, et linverse
dans les graphes. Dautres, embarasses par ce renversement de convention, aussi total
quarbitraire, transigent : ils mettent letat initial au bas de leurs graphes, et letat nal en
haut.
LA RENORMALISATION
Daprès (122) et (127) :
k
1
, k
2
S 1k
1
, k
2
) = (2)
4
4
(k
1
+k
2
k
1
k
2
) i M(k
1
, k
2
, k
1
, k
2
), (133)
avec
M= g
_
1 +
g
2
_
d
4
p
(2)
4
1
(m
2
+p
2
)
1
i
_
m
2
+(k
1
+k
2
p)
2
_ +
_
. (134)
Au vu de ce genre dexpression, il est clair que la relation entre lamplitude de
diffusion Met la constante de couplage g, telle quelle est denie jusquà present, nest
guère evidente. Mais on peut redenir g en sorte que cette relation soit plus visible. Au
lieu dune interaction de la forme
g
4!

4
,
21
prenons plutot :
g
4!
_
1 +Ag +Bg
2
+
_
4
=
g
0
4!

4
, (135)
o` u A et B sont des constantes qui restent à choisir. Ceci nest quune redenition du
paramètre g, precedemment note g et maintenant appele g
0
. Nous pouvons parfaitement,
si nous le souhaitons, choisir les constantes A, B, . . ., en sorte que la valeur de M, pour
des impulsions choisies, soit entièrement donnee par le premier terme. Procedons ainsi
à partir de k
1
= k
2
= k
1
= k
2
= 0. En fait, ce ne sont pas des valeurs physiques cor-
respondant à des particules massives ; neanmoins, ce sont des valeurs o` u lamplitude de
diffusion physique peut etre prolongee analytiquement. Posons donc :
M(0, 0, 0, 0) = g. (136)
Remplac ons g par g
0
dans (134), et developpons en puissances du nouveau g
selon (135) :
M= g
_
1 +Ag +
g
2
_
d
4
p
(2)
4
1
(m
2
+p
2
)
1
i
_
m
2
+(p k
1
k
2
)
2
_ +
_
. (137)
Alors, (136) entrane
A =
1
2
_
d
4
p
(2)
4
1
i(m
2
+p
2
)
2
(138)
et
M= g
_
1 +
g
2
_
d
4
p
(2)
4
1
i(m
2
+p
2
)
_
1
m
2
+(p k
1
k
2
)
2

1
m
2
+p
2
_
+
_
. (139)
Non seulement on a maintenant un paramètre g plus proche de lobservable M, mais
on benecie dune prime : lintegrale dans (139) est convergente alors que lintegrale
dans (134) etait en fait divergente. Cette divergence a ete repoussee dans la quantite A,
dans (138), cest-à-dire dans la denition de g
0
. De nouveau, nous sommes amenes à
tolerer la presence dans le lagrangien de quantites innies (ou qui croissent sans limite
lorsquon repousse une borne) an dobtenir des grandeurs physiques nies.
Letude des autres graphes nous conduirait à administrer le meme traitement au terme
de masse dans le lagrangien, à savoir remplacer m
2
2
par
(m
2
+A
g +B
g
2
+ )
2
= m
2
0
2
. (140)
Nous trouverions que m peut endosser le role de masse physique, et annuler certaines di-
vergences dans les expressions des grandeurs physiques, si lon permet aux constantes A
,
B
, etc. de prendre des valeurs innies.

Les quantites m
0
et g
0
, autrement dit les coefcients resultants devant
2
et
4
dans le lagrangien, sont appelees respectivement masse et constante de couplage nues,
ou non renormalisees. Les paramètres nis m et g sont appeles masse et constante de
couplage renormalisees, ou physiques. Exprimee en termes de m et g, plutot que m
0
et g
0
, la theorie
4
fournit des integrales nies pour tous les elements de matrice S à
tous les ordres du developpement perturbatif. On dit, dans ce cas, que la theorie est
renormalisable.
Il est commode, à certaines ns, dintroduire un operateur de champ renormalise
r
:
= Z
1/2
r
Z
1/2
= 1 +A
g +B
g
2
+
(141)
Cela facilite les redenitions nies de quantites auxiliaires de la theorie, les divergences
etant transferees aux coefcients A
, B
, . . . On appelle ce procede la renormalisation de

la fonction-donde, et Z la constante de renormalisation de la fonction-donde.
Les termes supplementaires introduits dans le lagrangien, mettant en jeu les divers
coefcients A, A
, A
, . . . , B, B
, B
, . . ., etc., ne sont chacun que des multiples des termes

originellement presents. On les nomme contre-termes de renormalisation. On ne sy
refère en realite, dans les calculs de perturbation, que pour la suppression des parties
divergentes des integrales de Feynman.
22
PROBABILITES DE TRANSITION ET SECTIONS EFFICACES
Les elements de matrice S pour la diffusion de particules stables ont, en toute generalite,
la forme dejà vue dans (133) :
k
1
, k
2
, . . . S 1k
1
, k
2
, . . .) = (2)
4
4
_
k
k
_
i M
_
k
1
, k
2
, . . . , k
1
, k
2
, . . .
_
, (142)
o` u lon trouve une fonction delta assurant la conservation de limpulsion-energie, et une
amplitude invariante de Lorentz, M. Etudions maintenant linterpretation de Men termes
de probabilites de transition et de sections efcaces. Supposons encore, pour simplier,
quil ny a que deux particules dans letat initial, ainsi que dans letat nal.
Pour invoquer linterpretation probabiliste, nous devons recourir à des etats normali-
sables. Au lieu de specier des impulsions k
1
et k
2
bien denies, nous construisons donc
letat initial avec des paquets dondes normalises :
_
d
3
p
1
(2)
3
2p
10
_
d
3
p
2
(2)
3
2p
20
f( p
1
) g( p
2
) p
1
, p
2
), (143)
o` u les fonctions f et g sont normalisees,
_
d
3
p
1
(2)
3
2p
10
f( p
1
)
2
=
_
d
3
p
2
(2)
3
2p
20
g( p
2
)
2
= 1, (144)
et ont une forme de pic aux alentours de
k
1
et
k
2
respectivement ; autrement dit, les valeurs
dimpulsions qui contribuent effectivement sont donc p
1

k
1
et p
2

k
2
. La probabilite
que les impulsions nales soient dans lelement d
3
1
d
3
2
vaut donc :
d
3
1
(2)
3
2k
10
d
3
2
(2)
3
2k
20
____
d
3
p
1
(2)
3
2p
10
d
3
p
2
(2)
3
2p
20
d
3
q
1
(2)
3
2q
10
d
3
q
2
(2)
3
2q
20
f
( q
1
) g
( q
2
) f( p
1
) g( p
2
) M
_
k
1
, k
2
, q
1
, q
2
_
M
_
k
1
, k
2
, p
1
, p
2
_
(2)
4
4
_
k
1
+k
2
q
1
q
2
_
(2)
4
_
k
1
+k
2
p
1
p
2
_
. (145)
Grace à la première fonction , la seconde peut etre remplacee par
4
_
q
1
+q
2
p
1
p
2
_
.
Usant du fait que f et g sont des pics aux environs de

k
1
et

k
2
, lensemble de lexpression
peut secrire
dP X, (146)
avec :
dP =
d
3
1
(2)
3
2k
10
d
3
2
(2)
3
2k
20
(2)
4
4
_
k
1
+k
2
k
1
k
2
_
M
_
k
1
, k
2
, k
1
, k
2
_
2
, (147)
X =
____
d
3
p
1
(2)
3
2p
10
d
3
p
2
(2)
3
2p
20
d
3
q
1
(2)
3
2q
10
d
3
q
2
(2)
3
2q
20
f
( q
1
) g
( q
2
) f( p
1
) g( p
2
) (2)
4
4
_
q
1
+q
2
p
1
p
2
_
. (148)
Mais X a une interpretation simple en termes dondes de de Broglie spatio-temporelles
des paquets dondes donnes :
`
f(x) =
_
d
3
p
1
(2)
3
2p
10
f( p
1
) e
ip
1
x
` g(x) =
_
d
3
p
2
(2)
3
2p
20
g( p
2
) e
ip
2
x
.
(149)
23
Utilisant celles-ci, ainsi que leurs conjuguees
`
f
(x) =
_
d
3
q
1
(2)
3
2q
10
f
( q
1
) e
iq
1
x
` g
(x) =
_
d
3
q
2
(2)
3
2q
20
g
( q
2
) e
iq
2
x
,
(150)
pour calculer lintegrale de recouvrement
_
d
4
x
`
f
` g
2
, (151)
on trouve que cette dernière vaut precisement X. Donc X mesure le recouvrement des
paquets dondes dans lespace-temps, recouvrement necessaire pour quune interaction à
courte portee donne lieu à diffusion.
Nous navons encore rien dit à propos des normes de
`
f et ` g. Daprès un theorème
standard danalyse de Fourier, on a
_
d
3
x
`
f( x, t)
2
=
_
d
3
p
1
(2)
3
f( p
1
)
2p
10
1
2k
10
, (152)
en utilisant la normalisation (144), et la valeur approchee (2k
10
)
1
pour le facteur (2p
10
)
1
dans lintegrande. Pour des paquets dondes planes etendus, ou très pointus dans lespace
des impulsions, on peut donc interpreter la quantite 2k
10
`
f( x, t)
2
comme une densite de
probabilite de position x, à linstant t. De meme pour la quantite 2k
20
` g( x, t)
2
relative
à la deuxième particule.
On peut alors reexprimer le resultat (146) sous la forme suivante : la probabilite de
transition, par unite de volume et par unite de temps, au pave specie de lespace des
impulsions nales, vaut
dP

1
2k
10
2
2k
20
, (153)
o` u
1
et
2
sont les densites de probabilite respectives des deux particules au point de
lespace en question, à linstant donne.
Ce resultat concerne dabord un système de deux particules, et non un système de
deux faisceaux, ou un faisceau incident sur une cible materielle. Mais dans la mesure o` u
faisceaux et materiaux sont assez dilues pour que les effets à N-corps soient negligeables,
on obtient le resultat desire par simple multiplication. En ce sens, dP donne par (147)
est le taux de transition, par unite de volume et par unite de temps, pour des faisceaux
concourants de 2k
10
et 2k
20
particules par unite de volume respectivement. La meme
quantite, exprimee en fonction dune section efcace differentielle, secrit :
dP = d

v
1
v
2
(2k
10
) (2k
20
), (154)
pour des faisceaux dont les vitesses sont respectivement v
1
et v
2
. On peut ainsi exprimer
la section efcace differentielle en fonction de lelement de matrice. Nous nous sommes
contentes de considerer le cas de deux particules dans letat initial et deux particules dans
letat nal. Mais cest un resultat tout à fait general. Avec N faisceaux concourants, chacun
de 2k
n0
particules par unite de volume, n = 1, . . . , N, la probabilite de transition, par unite
de volume et par unite de temps, aux impulsions speciees, k
1
, . . . , k
M
, vaut :
dP =
M
m=1
d
3
m
(2)
3
2k
m0
(2)
4
4
_
M
1
k
N
1
k
n
_
M
_
k
1
, . . . , k
M
, k
1
, . . . k
M
_
2
. (155)
24
Cette formule convient meme sil ny a quune particule dans letat initial cest-à-
dire dans le cas de la desintegration dune particule instable , dans la mesure o` u le calcul
est limite à lordre le plus bas de linteraction desintegratrice. Dans ce cas, bien s ur, les
particules nales sont differentes de, et plus legères que, la particule initiale. A partir du
taux de transition dP, par unite de volume et par unite de temps, dun faisceau de 2k
0
particules par unite de volume, on obtient le taux total de desintegration par particule :
=
1
2k
0
_
_
dP, (156)
avec integration sur les impulsions nales, et sommation sur les voies nales.
Dans le cas de la desintegration dune particule instable, la formule (146) presente
une particularite car :
X =
_
d
4
x
`
f(x)
_
dt
_
2k
10
_
1
= .
Cela signie que le paquet dondes de lunique particule na pas besoin de recouvrir quoi
que ce soit pour que la desintegration se produise. A lordre le plus bas de la theorie
des perturbations, les effets retroactifs de diminution de lamplitude de letat initial ne
sont pas pris en compte, en sorte que le processus semble continuer indeniment. Pour
inclure ces effets, il faut modier (dans le cas dune particule instable) non seulement
lamplitude Mdans (155), mais le facteur de conservation de limpulsion-energie. Pour
petit, et dans le repère du centre de masse, la fonction delta conservatrice de lenergie est
remplacee par le facteur de Breit-Wigner-Weisskopf :
2 (E E
)
e
t
(E
E)
2
+( /2)
2
, (157)
o` u t est le temps ecoule depuis la creation de la particule instable.
LE CHAMP VECTORIEL
Envisageons maintenant un champ de quadrivecteurs de Lorentz :
A
= (A
1
, A
2
, A
3
, A
4
= iA
0
), (158)
o` u, au stade classique, A
1
, A
2
, A
3
, et A
0
, sont reels. La densite lagrangienne invariante de
Lorentz non triviale, la plus simple, est
L =
1
2
(
)(
)
1
2
m
2
A
, (159)
avec sommations sur et . A première vue, ce nest quune somme de quatre contri-
butions du type (57), une pour chaque composante. Mais comme A
4
est imaginaire, la
quatrième contribution intervient avec un signe oppose aux autres, et lenergie associee
est negative. Il faut donc sattendre à des ennuis lorsque, au cours de lelaboration de la
theorie quantique, on postule lexistence dun etat denergie fondamental (vide). Continu-
ons neanmoins, avec lespoir de parvenir à surmonter ces problèmes.
Le conjugue canonique de A
est
=

A
, (160)
et nous disposons du commutateur aux temps egaux correspondant :
_
A
(t, x),
(t, y)
_
= i

3
( x y). (161)
25
Essayons à nouveau une decomposition en operateurs de creation et de destruction :
A
=
_
s
_
d
3
k
(2)
3
2k
0
_
a(
k, s) u
k, s) e
ikx
+a
+
(
k, s) u
k, s) e
ikx
_
(162)
=
_
s
_
d
3
k
(2)
3
2k
0
_
k
0
i
__
a(
k, s) u
k, s) e
ikx
a
+
(
k, s) u
k, s) e
ikx
_
. (163)
Les u(
k, s) (s = 1, 2, 3, 4) sont des ensembles de quatre quadrivecteurs constants, choisis

pour convenance. Prenons, pour

k = 0,
u(1) = (1, 0, 0, 0)
u(2) = (0, 1, 0, 0)
u(3) = (0, 0, 1, 0)
u(4) = (0, 0, 0, i)
(164)
à partir desquels nous obtenons des vecteurs associes à

k }= 0, par le truchement
de la transformation de Lorentz qui fait passer de limpulsion au repos (0, 0, 0, im) à
limpulsion voulue (k
1
, k
2
, k
3
, k
4
). Remarquez que lon a ainsi u(
k, s) = u(
k, s). Notez
egalement que
_
s
g(s) u
k, s) u
k, s) =
, (165)
avec g(1) = g(2) = g(3) = g(4) = +1, identite que lon peut verier explicitement à
laide de (164), et qui est preservee lors des transformations de Lorentz. Alors, (160) est
une consequence de (162) et (163), si
_
_
s
a(
k, s) u
k, s) ,
_
s
a
+
(
k, s
) u
k, s
)
_
=
,
ou, avec (165), si :
_
a(
k, s), a
+
(
, s
)
_
= g(s) (2)
3
2k
0
3
(
)
ss
. (166)
Les ennuis redoutes se manifestent maintenant, pour s = 4 :
_
a(
k, 4), a
+
(
, 4)
_
=
3
(
) (2)
3
2k
0
.
Si nous supposons lexistence dun etat fondamental vide, avec la propriete a(
k, 4)0) = 0,
on a alors :
0a(
k, 4) a
+
(
, 4)0) = (2)
3
2k
0
3
(
). (167)
Cela entrane que le paquet dondes
_
d
3
p
(2)
3
2p
0
f( p) a
+
( p, 4)0)
a une norme negative :
_
d
3
p
(2)
3
2p
0
f( p)
2
. (168)
Nous nous sommes donc, dune certaine fac on, ecartes du sentier de la mecanique
quantique ordinaire. Peut-etre ne devrions nous plus parler de conjugaison hermitique à
propos de loperation a a
+
, et de la règle correspondante pour le produit :
(AB)
+
= B
+
A
+
. (170)
26
Et pourtant, les valeurs moyennes dun operateur autoconjugue dans cette nouvelle
acception, sont reelles. Un hamiltonien autoconjugue dans ce sens conserve la norme
denie par generalisation de (167) aux etats à plusieurs particules. Il ny a donc dautre
difculte que lapparition detats de norme negative qui compliquent linterpretation
probabiliste. Mais il se trouve que pour certaines formes dinteraction, les elements
de matrice S vers, ou depuis, des etats contenant des quanta du quatrième type, non
physiques, sont tout simplement nuls. Les normes negatives ne se manifestent donc
pas dans les probabilites de transition qui constituent linterpretation des elements de
matrice S ; pour ce qui est de la matrice S tout au moins, il ny a donc aucun problème.
Comment cela se produit-il ? Il faut ecrire les ingredients de base des règles de
Feynman pertinentes, les valeurs des paires dans le vide calculees à laide de (162) :
0T
_
A
(x), A
(y)
_
0) =
1
i
(mi)
2
+k
2
(171)
0A
(x) a
+
(
k, s)0) = g(s) u
k, s) (172)
0a(
k, s) A
(x)0) = g(s) u
k, s). (173)
Notez en particulier quil y a une fonction-donde de spin u pour chaque particule initiale
ou nale, en sorte que lelement de matrice de diffusion
M
_
k
1
s
1
,
k
2
s
2
, . . .
_
est de la forme
u
(k
1
, s
1
) u
(k
2
, s
2
) M
...
_
k
1
, k
2
, . . .
_
. (174)
Une condition sufsante pour que les elements de matrice dans lesquels interviennent
des quanta non physiques soient nuls est donc que :
k
1
M
...
= 0
k
2
M
...
= 0
etc.
(175)
Ces equations sont des cas particuliers didentites dites de Ward-Takahashi. Elles sont
valides lorsque linteraction satisfait ce que lon appelle linvariance de jauge. Lelectro-
dynamique quantique (qui implique, en temps voulu, la limite m0) peut etre formulee
de cette manière. Vous entendrez parler par ailleurs de linvariance de jauge generalisee
dont jouissent les modernes theories de champs uniees.
Il existe une autre fac on de neutraliser les quanta du quatrième type, non physiques.
On peut les alourdir, en sorte que la conservation de lenergie empeche leur production
par les particules ordinaires aux energies ordinaires. Il faut pour cela modier le lagran-
gien (159). On connat, en fait, dautres invariants bilineaires que lon pouvait ajouter à
celui-ci : (
)(
) et (
)(
). En realite, ces quantites apportent des contribu-

tions egales à lintegrale daction, comme le montre une integration par parties, et il suft
donc de nen considerer quune. Ajoutons à (159) le terme :
1
2
(
)
2
. (176)
Les equations du mouvement de Lagrange deviennent :
_
m
2
_
A
= 0. (177)
Pour des solutions en ondes planes, requises pour ecrire (162), on doit donc avoir :
_
k
2
+m
2
_
u
+k
= 0. (178)
27
Puisque k
= 0 dans les cas s = 1, 2 ou 3 (consequence immediate de (164) lorsque

k =
0, et plus generalement à cause de linvariance de Lorentz de k
), on a :
k
2
+m
2
= 0
k
0
=
_
m
2
+
k
2
,
comme auparavant. Mais dans le cas s = 4, puisque u
, on a :
(1 +)k
2
+m
2
= 0
k
0
=
m
2
1 +
+
k
2
. (179)
La masse des quanta non physiques vaut donc m/
1 +, et peut etre rendue arbitraire-

ment grande à la limite 1.
Après integration par parties, le lagrangien (159), additionne de (176), est equivalent
à :
1
4

1
4

+
1
4

+
1
4

1
2
(+1)(
)
2
m
2
A
2
=
1
4
(
)
2
1
2
m
2
A
2
1
2
(+1)(
)
2
. (180)
Lorsque = 1, cest la forme standard de la densite lagrangienne dun meson vectoriel
massif.
Daprès (162) et (179), le propagateur est maintenant
0T
_
A
(x) A
(y)
_
0) =
_
d
4
k
(2)
4
e
ik(xy)
1
i
_
/k
2
(mi)
2
+k
2
+
k
/k
2
(mi)
2
+(1 +)k
2
_
. (181)
Lorsque = 1, sa transformee de Fourier prend la forme standard du meson vectoriel
massif :
+k
/m
2
(mi)
2
+k
2
. (182)
Bien que (182) soit debarasse des ennuis de normes negatives, il y a un autre problème.
Le propagateur ne decrot pas lorsque k est grand. Les integrales associees aux boucles
dans les graphes de Feynman divergent donc gravement, et il sensuit generalement
des divergences qui subsistent après renormalisation. Ce genre de theorie est dit non
renormalisable. Toutefois, dans les theories sufsamment invariantes de jauge, les
termes daspect menac ant (k
/m
2
) peuvent, en vertu des identites de Ward-Takahashi
generalisees, etre mis sous des formes moins dangereuses. On a effectivement construit,
ces dernières annees, des theories renormalisables avec des mesons vectoriels.
Nous venons de voir, pour = 0 et = 1, des theories de mesons vectoriels
apparemment differentes. Dans ces deux cas, nous avons identie des difcultes, et signale
la possibilite de les resoudre avec des interactions invariantes de jauge. Plus tard, nous
verrons aussi quavec sufsamment dinvariance de jauge, on na pas là, en fait, deux
theories differentes mais des formulations differentes de la meme theorie. On peut alors
faire appel à lune des versions lorsquon veut mettre en evidence la renormalisabilite, et
à lautre quand on veut montrer labsence de problème lie aux normes negatives.
28
VIDE NU ET VIDE REEL
Letat denomme jusquà present vide, et note 0), sera appele dorenavant vide nu.
Cest un etat propre de la seule partie libre de lhamiltonien :
J
0
0) = 0. (183)
Nous allons bientot avoir besoin du concept de vide reel, à savoir letat fondamental 0)
du système en interaction :
J 0) = 0. (184)
Nous supposons ici que vide nu et vide reel ont tous deux une energie nulle. Si necessaire,
on introduit un contre-terme trivial, un c-nombre, dans J pour supprimer tout decalage
denergie.
Les deux etats, 0) et 0), sont commodement relies lun à lautre au moyen de
lhypothèse adiabatique. Selon cette hypothèse, si la constante de couplage varie lente-
ment en fonction du temps, letat fondamental associe à la valeur initiale de g evolue de
concert vers letat fondamental associe à la valeur nale. Il est commode de travailler dans
la representation dinteraction :
d(t)
dt
= i J
I
(t) (t), (185)
avec
J
I
(t) =
_
d
3
xI(x), (186)
et la constante de couplage dans I assujettie au branchement adiabatique
g g e
t
, (187)
avec petit. La solution iterative de (185) peut secrire formellement :
(t
2
) = Te
i
_
t
2
t
1
dt J
I
(t)
(t
1
). (189)
Lhypothèse adiabatique implique alors, en particulier,
0) = Te
i
_
0
dt J
I
(t)
0), (190)
dans la limite 0. On peut verier explicitement en theorie des perturbations que, dans
cette limite, (184) resulte bien de (183) et (190).
De la meme manière, la solution iterative de la conjuguee de (185) conduit à
+
(t
1
) =
+
(t
2
) Te
i
_
t
2
t
1
dt J
I
(t)
, (191)
do` u, par hypothèse adiabatique,
0 = 0 Te
i
_
0
dt J
I
(t)
. (192)
Ce resultat peut lui aussi etre conrme explicitement par developpement perturbatif.
Semblable à cette distinction entre vides nu et reel, existe une distinction en-
tre etats de particule nus et reels. Jusquà present, nos elements de matrice S re-
liaient des etats de particules nus, construits par applications doperateurs de creation
et dannihilation nus au vide nu. Mais, par extension de lhypothèse adiabatique, ces
memes elements de matrice, dans la mesure o` u les limites t : dans les integrales
29
sont soigneusement denies par branchement adiabatique, conviennent pour les etats
de particules reels correspondants. On suppose quavec ce branchement se produisant
surtout avant et après le recouvrement des paquets dondes, les etats reels sont dabord
engendres par les etats nus et nissent par degenerer en etats nus.
Il ny a quun endroit o` u ces limites t : savèrent delicates en pratique. Cest
lorsquon a affaire à des graphes de Feynman avec insertions dans les lignes externes.
Considerons un graphe du genre
(193)
dans lequel les globules representent des sous-structures arbitrairement compliquees. On
peut considerer que ce graphe est engendre par un graphe de base
(194)
avec insertion dune sous-structure dans une ligne externe. A la ligne interne gurant
dans (193) est associe un facteur
_
i(m
2
+k
2
)
_
1
, (195)
o` u, par conservation, k est la quadri-impulsion de la ligne externe. Mais, comme les lignes
externes se rapportent à des particules reelles, on a m
2
+ k
2
= 0, et (195) est inni. Une
renormalisation correcte de la masse engendre en realite un zero dans le facteur associe
au globule insere, et il reste à interpreter (0/0). Cest à ce stade quil faut reexaminer le
passage desinvolte aux limites t : dans les integrales. Un branchement adiabatique
soigneux conduit à la prescription qui suit. Leffet de toutes les insertions possibles dans
une ligne externe se reduit à une multiplication de la contribution du graphe irreductible
de base par un facteur Z
1/2
, o` u Z est une constante caracteristique de la particule à
laquelle se rapporte la ligne en question. Cette constante Z est en fait la constante de
renormalisation de la fonction-donde mentionnee plus haut.
LES FONCTIONS DE GREEN
Etroitement reliees au elements de matrice S, et souvent plus commodes pour les
developpements theoriques, nous avons ce quon nomme les fonctions de Green. Ce
sont les valeurs moyennes, dans le vide, des produits ordonnes des operateurs de champ
de Heisenberg. Pour un champ vectoriel, par exemple,
G
...
(x, y, . . .) = 0T
_
A
(x) A
(y)
_
0). (196)
Ici, nous soulignons les champs, et le vide, pour les distinguer des champs libres (ou en
representation dinteraction), et du vide nu, dont nous allons bientot avoir besoin.
La relation entre operateurs en representations de Heisenberg et dinteraction est
dictee par la condition que leurs elements de matrice, dans les etats (0) et (t)
respectivement, soient egaux. Daprès la relation entre etats (189), on a :
A
(x) =
_
Te
i
_
t
0
dt
J
I
(t
)
_
+
A
(x)
_
Te
i
_
t
0
dt
J
I
(t
)
_
. (197)
30
Mais on peut demontrer la relation dunitarite
_
Te
i
_
t
2
t
1
dt J
I
(t)
_
+
=
_
Te
i
_
t
2
t
1
dt J
I
(t)
_
1
, (198)
do` u :
A
(x) =
_
Te
i
_
t
0
dt
J
I
(t
)
_
1
A
(x)
_
Te
i
_
t
0
dt
J
I
(t
)
_
. (199)
Utilisant alors les formules (190) et (192), donnant le vide reel en fonction du vide nu, et
des relations du genre
Te
i
_
t
3
t
1
dt J
I
(t)
=
_
Te
i
_
t
3
t
2
dt J
I
(t)
__
Te
i
_
t
2
t
1
dt J
I
(t)
_
, (200)
on trouve :
G
...
(x, y, . . .) = 0 T
_
e
i
_
dt J
I
(t)
A
(x) A
(y)
_
0). (201)
Grace à (201), on peut mettre au point un developpement en graphes de Feynman pour
les fonctions de Green. Les graphes sont precisement ceux des elements de matrice S, si ce
nest que les lignes externes se rapportent maintenant à des accouplements doperateurs
de champ A
(x), A
(y), . . . , au lieu doperateurs de creation et dannihilation a

+
et a.
On obtient nalement les elements de matrice S à laide des transformees de Fourier des
fonctions de Green :
`
G
...
(k
1
, k
2
, . . .) =
_
d
4
xd
4
y e
ik
1
x
e
ik
2
y
G
...
(x, y, . . .). (202)
La règle exacte consiste à extraire de
`
G
...
un facteur
_
i Z
1/2
_
m
2
+k
2
_
_
1
(203)
pour chaque ligne externe, puis à remplacer k par la quadri-impulsion (ou son opposee)
de la particule correspondante sil sagit dune particule initiale (ou nale), et enn à
contracter les indices tensoriels , , . . ., avec les fonctions-donde appropriees u
, u
, . . .
INTEGRALES FONCTIONNELLES
Considerons le quotient dintegrales simples, ordinaires,
_
dxe
1
2
x
2
x
n
_
dxe
1
2
x
2
,
o` u peut etre complexe à partie reelle positive. Cette expression est nulle pour n impair,
tandis que pour n pair, elle vaut
1/2
_
2
d
d
_
n/2
1/2
=
n/2
1 3 (n1). (204)
Mais 1 3 . . . (n 1) nest autre que le nombre de fac ons de disposer n objets par
couples. Le reste sensuit. Soit A, B, . . . , des puissances de x, et denissons une valeur
moyenne
ABC =
_
dxe
1
2
x
2
ABC
_
dxe
1
2
x
2
.
31
On a alors
ABC = AB CD
+ AC BD
+ AD BC
+
(205)
o` u chaque monome est un produit de valeurs moyennes de paires, et o` u la somme est
etendue à tous les accouplements possibles. Plus generalement, soit A, B, C, . . . , des
combinaisons lineaires des variables x
1
, x
2
, . . . , et
ABC =
_
dxe
1
2
n
x
2
n
ABC
_
dxe
1
2
n
x
2
n
. (206)
On a encore la propriete (205) ; il suft de remarquer que x
n
x
m
= 0, pour n }= m, puis
que les variables se separent.
Le resultat (205) evoque le theorème de Wick et suggère de representer les valeurs
moyennes des produits doperateurs de champ par ce genre dintegrales. Toutefois, le
champ (x) a un nombre inni de degres de liberte, un en chaque point de lespace-temps.
Il faut donc recourir à des sommes continues, multiples, les integrales fonctionnelles. Pour
des champs libres, on trouve que
0 T
_
(x) (y)
_
0) =
_
de
iA
0
(x) (y)
_
de
iA
0
, (207)
o` u A
0
est laction. Grace à (205), il suft de chercher conrmation de cette expression
pour une paire de champs.
Verions que, pour des champs libres,
0 T
_
(x) (y)
_
0) =
_
de
iA
0
()
(x) (y)
_
de
iA
0
()
, (208)
o` u est une fonction de (x), A
0
est laction correspondante,
A
0
=
1
2
_
d
3
xdx
0
_
(mi)
2
2
+(
)
2
_
,
et lintegration est etendue à tous les possibles, cest-à-dire à toutes les valeurs de
en tous points x. Pour preciser un peu plus cette notion, plac ons-nous dans un très
grand hypercube de lespace-temps, de cote L, et imposons au champ des conditions
periodiques. Ledit champ peut alors etre represente par une serie de Fourier
(x) = L
4
_
k
`
(k) e
ikx
, (209)
avec
`
(k) =
_
`
(k)
_
. (210)
Choisissons la signication
k
d
_
Te
`
(k)
_
d
_
0m
`
(k)
_
, (211)
32
o` u le prime indique quil ne faut pas prendre à la fois les valeurs k et k. Remarquez que
A
0
() =
1
2
L
4
_
k
`
(k)
_
(mi)
2
+k
2
_
`
(k)
=
1
2
L
4
_
k
`
(k)
_
(mi)
2
+k
2
_
`
(k), (212)
et que
(x) (y) = L
8
_
p
_
q
e
ipx+iqy
`
(p)
`
(q). (213)
Evidemment,
`
(p)
`
(q) = 0 si p }= q, et
`
(p)
`
(p) =
_
dTe
`
(p) d0m
`
(p) e
i
2
L
4
_
(mi)
2
+p
2
_
`
(p)
`
(p)
2
_
dTe
`
(p) d0m
`
(p) e
i
2
L
4
_
(mi)
2
+p
2
_
`
(p)
2
= L
4
i
1
_
(mi)
2
+p
2
_
1
.
On a donc :
(x) (y) = L
4
_
p
e
ip(xy)
i
1
_
(mi)
2
+p
2
_
1
_
d
4
p
(2)
4
e
ip(xy)
i
_
(mi)
2
+p
2
_ , (214)
comme nous le desirions.
Nous navons considere jusquà present que les fonctions de Green des champs libres.
Mais celles-ci permettent le traitement des champs en interaction, par le truchement de
la formule
0 T
_
(x) (y)
_
0) = 0 T
_
e
i
_
dt J
I
(t)
(x) (y)
_
0),
pour laquelle (207) donne :
_
de
iA
0
e
_
d
4
xiI
(x) (y)
_
de
iA
0
.
En combinant ceci avec
1 = 00) =
_
de
iA
0
e
_
d
4
xiI
_
de
iA
0
, (215)
(dans la mesure o` u lon maintient lenergie du vide à zero par un contre-terme, trivialement
un c-nombre), on a :
0 T
_
(x) (y)
_
0) =
_
de
iA()
(x) (y)
_
de
iA()
. (216)
33
THEORIE DE CHAMP EUCLIDIENNE
Dans les fonctions de Green G(x, y, . . .) considerees jusquà present, les temps x
4
/i, y
4
/i,
etc., etaient reels. Mais il savère fructueux de considerer les prolongements analytiques
de ces fonctions à des temps imaginaires, cest-à-dire aux valeurs reelles de x
4
, y
4
, etc.
On peut meme denir des operateurs de Heisenberg à des temps imaginaires par
( x, x
4
) = e
Jx
4
( x, 0) e
Jx
4
, (217)
et les champs libres (ou en representation dinteraction) correspondants par
( x, x
4
) = e
J
0
x
4
( x, 0) e
J
0
x
4
, (218)
de sorte que
( x, x
4
) = U
1
(x
4
, 0) ( x, x
4
) U(x
4
, 0), (219)
avec
U(
2
,
1
) = e
J
0
2
e
J(
2
1
)
e
J
0
1
= Te
1
d J
I
()
, (220)
o` u
J
I
() = e
J
0
(J J
0
) e
J
0
, (221)
et o` u le T prescrit maintenant lordination par rapport à .
En supposant que les c-nombres additifs, dans J
0
et J, soient ajustes pour que les
energies des vides reel et nu soient nulles, les formules suivantes sont plausibles :
0) = U(0, )0)
= lim
e
J
0)
=
_
n
lim
e
E
n
n)n0).
(222)
De meme :
0 = 0 U(, 0). (223)
En utilisant ces formules, ainsi que
U(
3
,
2
) U(
2
,
1
) = U(
3
,
1
), (224)
on obtient
0 T
_
(x) (y)
_
0) = 0 T
_
e
d J
I
()
(x) (y)
_
0). (225)
Cette expression peut etre le point de depart dun developpement à la Feynman-Dyson-
Wick, comme precedemment. Et de ce genre de developpement, on peut inferer une
representation integrale fonctionnelle. Celle-ci est disponible à partir de (216) en y
prenant x, x
4
, y
4
, etc. reels. Notre notation presente une particularite qui requiert main-
tenant un peu de soin. Lorsque nous utilisions la quatrième composante imaginaire de
Minkowski, notre notation d
4
x designait la quantite reelle dx
0
dx
1
dx
2
dx
3
. Dans le
cadre euclidien, il est plus commode dutiliser d
4
x = dx
1
dx
2
dx
3
dx
4
. Ainsi, en pro-
longeant (216), nous avons
i d
4
x d
4
x. (226)
34
Donc :
0 T
_
(x) (y)
_
0) =
_
de
iA()
(x) (y)
_
de
iA()
, (227)
avec integration sur toutes les fonctions reelles de quatre variables reelles x
1
, x
2
, x
3
,
x
4
, laction A etant construite formellement, comme auparavant, à partir de et
.
Pour la theorie
4
:
_
_
iA() =
_
d
4
xL(x)
L =
1
2
(
)
2
m
2
2

2
g
4!
4
.
(228)
Remarquez que
4
est maintenant reelle, et que (
4
)
2
a le meme signe que
_
_
2
.
A linvariance de Lorentz de la theorie originale, sest substituee une symetrie O(4) des
rotations reelles dans un espace euclidien (au lieu de minkowskien) à quatre dimensions.
Parmi les simplications dont on benecie dans une theorie de champ euclidienne, il
y a le fait que la transformee de Fourier du propagateur,
_
m
2
+k
2
_
1
=
_
m
2
+k
2
1
+k
2
2
+k
2
3
+k
2
4
_
1
, (229)
avec k
4
reel, na plus de singularite. Le stratagème du i nest plus necessaire pour denir
les integrales de Feynman. On nen a plus besoin, non plus, pour faire decrotre, aux grands
champs, le poids exponentiel dans les integrales fonctionnelles. Ces proprietes, ainsi que
la symetrie O(4), facilitent le maniement de la theorie.
LINDEPENDANCE DE JAUGE
En guise dillustration de la technique de lintegrale fonctionnelle, esquissons la demon-
stration que toute une famille de lagrangiens differents conduisent à la meme theorie
physique des mesons vectoriels.
Considerons la densite lagrangienne
L =
1
4
(
)
2
1
2
(+1)(
)
2
1
2
m
2
W
2
+ , (230)
o` u les termes non transcrits font intervenir dautres champs. Nous supposons que ces ter-
mes non explicites sont invariants de jauge, cest-à-dire inalteres par les transformations
W
(231)
et les transformations associees des autres champs. Notez que le premier terme de (230)
respecte cette invariance de jauge, tandis que les deux termes suivants la violent. Nous
avons dejà remarque que ce lagrangien entrane generalement des manifestations de
particules fantomes auxquelles il faut attribuer des probabilites negatives. On peut
rendre ces particules inniment massives en permettant à dapprocher la valeur 1.
Mais on doit alors utiliser pour W un propagateur dont la transformee de Fourier
+p
/m
2
m
2
+p
2
semble non renormalisable. Si la physique est effectivement indifferente aux changements
de , on peut aussi bien croire que la theorie est renormalisable et que la matrice S est
unitaire, sans plus faire attention aux fantomes.
Tout W peut secrire sous la forme
W
= U
, (232)
35
avec
= 0. (233)
En termes de ces variables, on a
L =
1
4
(
)
2
1
2
m
2
U
1
2
(+1)(
)
2
1
2
m
2
(
)
2
m
2
U
, (234)
o` u, en vertu de la supposee invariance de jauge, les termes non ecrits . . . sont les memes
quauparavant. De plus, le dernier terme effectivement ecrit ne contribue pas à laction
car, par integration par parties, il est equivalent à un terme contenant
qui est nulle.

Nous avons donc :
_
dW e
iA
W
dW e
iA
=
_
d e
B()
_
dU
) e
C(U)
_
U
(x) +
(x)
_

_
d e
B()
_
dU
) e
C(U)
, (235)
avec
_
_
B() =
_
d
4
x
_
1
2
m
2
(
)
2
+
1
2
(+1)(
)
2
_
C(U) =
_
d
4
x
_
1
4
(
)
2
+
1
2
m
2
U
2
+
_
.
(236)
Or, dans ces formules, seul B depend de . Seules les contributions des
aux fonctions
de Green, et non les contributions des U
, sont sensibles à . Mais ces termes
ne
contribuent pas du tout aux elements de matrice S physiques. En effet, pour obtenir ces
derniers, il faut transformer de Fourier les fonctions de Green, et contracter les indices
tensoriels avec les fonctions-donde de polarisation u
des etats physiques. Chaque
introduit donc un facteur du type

_
d
4
xe
ikx
u
,
ou, après integration par parties
ik
_
d
4
xe
ikx
,
nul, car k
= 0 pour des etats physiques.

On invoque des mecanismes semblables, mais plus compliques, dans les theories
de jauge non abeliennes à la mode. La decomposition de W en parties dependante et
independante de jauge est alors non lineaire. Le passage à ces variables dans lintegrale
fonctionnelle fait intervenir un jacobien non trivial qui complique lanalyse. La demons-
tration de lindependance par rapport à naboutit que dans le cas m= 0, et au prix de
laddition au lagrangien de termes supplementaires dependants de . On peut representer
ces termes additionnels par des integrales fonctionnelles sur des champs auxiliaires, de
sorte que la theorie semble contenir des particules supplementaires, les fantomes de
Faddeev-Popov. Là encore, ce ne sont pas des particules physiques, mais des rouages
du mecanisme permettant dutiliser une valeur de plutot quune autre, selon que lon
souhaite montrer lunitarite ou la renormalisabilite de la theorie.
36
LES INSTANTONS
Considerons le lagrangien dun système mecanique simple, à un degre de liberte (t),
L =
1
2

2
g
2
V(g), (237)
o` u et g sont des paramètres, et supposons que V est positif, nul en = 0 ainsi que ses
derivees,
V() =
dV()
d
= 0, = 0, (238)
et periodique :
V(g+2n) = V(g). (239)
Pour nous, g sera un angle, et la conguration obtenue lorsque crot de 2, identique
à loriginale. Lequation de Schrodinger correspondante est
E() =
_
1
2
d
2
d
2
+

2
g
2
V(g)
_
(), (240)
et ses solutions qui nous interessent sont soumises aux conditions limites periodiques,
en = :/g par exemple. Si nous developpions V :
1
g
2
V(g) =
1
2!
V
2
+
g
3!
V
3
+ (241)
en considerant g petit, les termes independants de g dans le lagrangien ou lhamiltonien
seraient ceux dun oscillateur harmonique simple. On pourrait alors traiter en perturbation
les termes dependants de g dans (241), en ignorant totalement la condition de periodicite
aux conns = :/g. O` u est lerreur ? On en a peut-etre une idee, pour g petit, avec le
facteur de penetration de la barrière
e
g
_
2/g
0
d
_
2V(g)
= e
1
g
2
_
2
0
d
_
2
2
V()
, (242)
calcule, suite à (240), dans lapproximation WKB. Lorsque g tend vers zero, ce facteur
diffère de lunite par une quantite qui sannule plus rapidement que toute puissance nie
de g.
Etudions maintenant ce système simple, du point de vue de la moyenne fonctionnelle
euclidienne. Le changement de variable g dans (237) est commode. La fonction de
poids dans la moyenne fonctionnelle est donc
e
_
dx
4
L
= e
1
g
2
_
dx
4
_
1
2
_
d
dx
4
_
2
+
2
V()
_
. (243)
Lorsque g est très petit, on sattendrait que la moyenne soit largement dominee
par les fonctions qui minimisent lexposant, pour lesquelles une condition sufsante est
lequation classique du mouvement avec temps imaginaire :
d
2
dx
2
4
=
2
d
d
V(). (244)
Le minimum absolu est donne par = 0. On pourrait donc traiter systematiquement ,
dans (243), comme petit dordre g. On peut de cette fac on construire une serie de
perturbation equivalente à celle mentionnee ci-dessus.
37
Examinons quand meme dautres contributions, à savoir les contributions des fonc-
tions qui minimisent encore lexposant, mais sujettes aux conditions limites
= 0, x
4
=
= 2, x
4
= +.
(245)
Ces fonctions doivent encore etre solutions de (244). Multipliant les deux membres
par d/dx
4
, on a :
d
dx
4
_
d
dx
4
_
2
=
d
dx
4
2
2
V(),
donc
d
dx
4
= :
_
2
2
V() +C
2
, (246)
o` u C est une constante, soit
(x
4
a) = :
_
2V() +C
, (247)
o` u a est une constante.
Pour satisfaire les conditions limites (245), il faut prendre C = 0 et le signe positif.
Alors, x
4
a crot très rapidement depuis lorsque crot à partir de 0, et crot encore
très rapidement jusquà + lorsque crot jusquà 2, après une pause vers x
4
= a
pendant une duree de lordre de
1
:
A cette fonction correspond, daprès (246) et (247), la fonction de poids exponentielle :
e
/g
2
, (248)
avec
=
_
dx
4
_
1
2
_
d
dx
4
_
2
+
2
V()
_
=
2
_
0
d
_
2
2
V() . (249)
Mais ceci nest autre que le facteur de penetration de la barrière (242). On peut donc
simaginer que les contributions de ces champs sont la fac on dont la penetrabilite de la
barrière se manifeste dans ce point de vue. Ces solutions dequations classiques pour un
38
temps imaginaire, qui ne diffèrent notablement du vide classique (minimumde lenergie)
que pendant une duree limitee, sont appelees instantons ou pseudoparticules.
Linstanton est caracterise par un instant a, en temps imaginaire. La moyenne sur
toutes les congurations comprend ensuite une integration sur a. Considerons à ce propos
la conguration à plusieurs instantons
(x) =
_
n
F
_
(x a
n
)
_
, (250)
o` u F
_
(x a)
_
est la solution de (247). Le facteur de poids de cette conguration sera :
e
1
g
2
_
_
n
+termes dinteraction
_
, (251)
o` u les termes dinteraction sannulent pour des positions a
n
largement separees. Par
rapport à la conguration à un instanton, ces congurations à plusieurs instantons sont
penalisees par une ponderation exponentielle plus faible. Mais il y a par contre plus de
paramètres a
n
sur lesquels integrer, de sorte que, très grosso modo, ces congurations
occupent un plus grand domaine de lespace des fonctions. Laugmentation dentropie
(par analogie avec la mecanique statistique classique) peut compenser laugmentation
denergie.
Et ainsi, nous trouvons que la mecanique statistique dun gaz dinstantons repre-
sente une partie de toute la dynamique laissee pour compte par la theorie des perturba-
tions. Remarquez que dans cette analogie mecanique statistique, g
2
dans (243) joue le
role de temperature.
Daucuns espèrent que des gaz dinstantons analogues dans les theories de champs
serieuses pourraient servir à conner les quarks. Peut-etre quà une certaine tempera-
ture le système transite à une phase plus exotique, de sorte quau delà dune constante
de couplage critique, lanalogie pertinente serait un supraconducteur, un superuide, un
plasma, ou autre.
On peut interpreter autrement le lagrangien (237). Toujours avec le potentiel V
periodique, on peut decreter que nest pas un angle, et que laugmentation de sur
une periode du potentiel est un changement de conguration. Le problème est alors celui
du mouvement dune particule dans un potentiel periodique
et la fonction-donde elle-meme na nul besoin detre periodique. Dans ce cas, lexistence
de linstanton, ou de la penetrabilite nie de la barrière, indique quun traitement coherent
ne doit pas conner au voisinage de lun quelconque des minimums du potentiel. Ces so-
lutions napparatraient pas dans une theorie de perturbation. Certains des instantons des
theories de jauge ont ete interpretes de cette fac on, comme lindication dune periodicite
du vide. On a meme suggere de prendre comme vide lanalogue dun etat obtenu dans le
simple modèle du potentiel, en exigeant de la fonction-donde de Schrodinger dans chaque
synclinal du potentiel un dephasage e
i
par rapport au precedent. Ces vides nauraient
aucun sens si etait effectivement un angle, car deux synclinaux adjacents ne seraient
alors quun seul et meme puits.
Il importe de remarquer que ces objets de lespace euclidien nont peut-etre pas
danalogues faciles à visualiser dans lespace de Minkowski. Dans lexemple simple expose,
le gaz dinstantons netait quun concept auxiliaire pour discuter du mouvement dune
particule dans un puits de potentiel. Bien que letude de lespace euclidien ne soit peut-
etre daucune aide directe pour elaborer une representation physique, on espère ainsi
decouvrir des proprietes très generales comme lexistence dune constante de couplage
critique, ou la satisfaction de critères de connement des quarks.
39
LES SOLITONS
Linstanton a un temps de vie bref (et imaginaire) dans lespace-temps euclidien. Un
soliton par contre est une concentration denergie, de longue duree de vie, evoluant
dans lespace-temps ordinaire. Sous ce nom, on designe une solution des equations du
champ ordinaires, dont lenergie reste concentree tandis que la solution evolue au cours
du temps ordinaire, si bien que cet objet se comporte comme une particule etendue. La
difference de ces particules avec les particules plus familières de la theorie quantique
des champs, les quanta du champ, cest quelles existent dejà dans le cadre classique.
La question du soliton ne se posait pas dans le modèle simple de la section precedente
car il ny avait aucune dimension spatiale (seulement le temps) suivant laquelle concentrer
quoi que ce soit. Ajoutons une dimension spatiale, et etudions la densite lagrangienne,
en 1+1 dimensions,
L =
1
g
2
_
1
2
1
2
_
x
_
2
2
V()
_
, (252)
avec le meme V que precedemment. Lequation du mouvement classique est :
t
2
+

2
x
2

2
dV()
d
= 0. (253)
Cherchant dabord des solutions statiques, /t = 0, nous avons à resoudre
x
2
=
2
dV()
d
, (254)
pour fonction de x. Cest encore lequation (244), mais avec une interpretation differente
car elle decrit maintenant une variation à travers lespace plutot quau cours dun temps
imaginaire. La solution
(x, t) = F
_
(x a)
_
(255)
est maintenant un soliton immobile. Elle ne diffère sensiblement du vide ( = 0 ou 2)
que dans un domaine restreint, à lentour de x = a, et son energie totale, ou masse,
M =
1
g
2
dx
_
1
2
_
x
_
2
+
2
V
_
=

g
2
, (256)
avec le de lequation (249), est nie. Puisque la theorie est invariante de Lorentz,
ce soliton immobile peut etre considere, par transformation de Lorentz, comme en
mouvement :
(x, t) = F
_
x a vt
1 v
2
_
, (257)
avec lenergie
E =

g
2
1
1 v
2
. (258)
Remarquons, à ce propos, quil nexiste pas de concept correspondant de mou-
vement pour un instanton. Dans lespace euclidien, les transformations speciales de
Lorentz de lespace de Minkowski sont remplacees par de simples rotations.
On a trouve des solitons très interessants dans des theories de champs serieuses.
Leur existence est à la base de lune des idees à la mode pour unier linteraction forte
avec lelectromagnetique et la faible. Le fait que les masses des solitons et les interactions
soient typiquement proportionnelles à g
2
fait songer à des phenomènes dinteractions
fortes hadroniques qui emergeraient dune theorie dinteraction fondamentalement faible.

Theorie Quantique Des Champs I

Transféré par

Informations du document

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

Theorie Quantique Des Champs I

Transféré par

Droits d'auteur :

Formats disponibles

J.S.

(t, q) (t, q) (4)

(t, q) X(q) (t, q), (5)

. Pour voir comment

(t, q) X (t, q) (15)

(0, q) X(t) (0, q) , (16)

k) est maintenant un operateur, et que son conjugue

est une constante numerique,

. Une telle addition de constante ne change physiquement

est en fait innie, non seulement parce quy intervient

, dans (66), navait pas ete compensee, lenergie E

k) la signication, justement, dun

, etc. de prendre des valeurs innies.

, . . . On appelle ce procede la renormalisation de

, . . ., etc., ne sont chacun que des multiples des termes

k, s) (s = 1, 2, 3, 4) sont des ensembles de quatre quadrivecteurs constants, choisis

). En realite, ces quantites apportent des contribu-

= 0 dans les cas s = 1, 2 ou 3 (consequence immediate de (164) lorsque

1 +, et peut etre rendue arbitraire-

(y), . . . , au lieu doperateurs de creation et dannihilation a

qui est nulle.

, sont sensibles `a . Mais ces termes

des etats physiques. Chaque

introduit donc un facteur du type

= 0 pour des etats physiques.

Vous aimerez peut-être aussi