Académique Documents
Professionnel Documents
Culture Documents
i
ii Indice
5 Observables 95
5.1 Normalizacion de estados relativistas y no relativistas . . . . . . . . . . . . 95
5.2 Anchura de desintegracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.3 Seccion eficaz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5.4 Lmite no relativista: potenciales de interaccion . . . . . . . . . . . . . . . . 100
Bibliografa 141
iv Indice
Tema 1
1.1 Introduccion
1
2 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
donde 1 fm = 1015 m (un Fermi, del orden del radio del proton) y 1 barn = 1024 cm2 .
Nuestra convencion de signos para la metrica de Minkowski es
1 0 0 0
0 1 0 0
g = g =
0 0 1 0 ,
g = g g = . (1.2)
0 0 0 1
= , = , (1.4)
x x
2 = = 20 2 , 2 = 2x + 2y + 2z . (1.5)
Los ndices griegos (, , . . . ) toman valores 0,1,2,3. Reservaremos ndices latinos (i, j, . . . )
para las componentes espaciales. El cuadrimomento es entonces
p = i = ( p0 , p) = ( E, p) , p p = E2 p2 = m2 , (1.6)
p0 = i0 = i , pk = ik = i = i k = ik ik . (1.7)
t xk x
e2
= = 1/137.035 999 11(46) . (1.8)
4hc
As la unidad de carga electrica si h = c = 1 es e = 4 (adimensional), las ecuaciones
de Maxwell se escriben
E = , B t E = j , (1.9)
Q1 Q2
V (r ) = = q1 q2 . (1.10)
4r r
compacto el parametro que etiqueta cada irrep toma valores discretos (e.g. el espn j del
grupo de las rotaciones) y si no es compacto toma valores continuos (e.g. el momento p
de las traslaciones espaciales). Las representaciones de dimension finita de un grupo compacto
son unitarias. Las representaciones de dimension finita de un grupo no compacto simple no son
unitarias.b
El grupo de Lorentz, que repasaremos a continuacion, es simple y no compacto. Sus
representaciones de dimension finita no son unitarias y sus representaciones unitarias
son de dimension infinita (espacio de Hilbert de una partcula).
y y
0
x cos sin x
0 =
y sin cos y
x
t t 0
t t
0 =
x x
= cosh , = sinh
x x
g = g = g ( + )( + )
= g + + + O( 2 ) = . (1.19)
1 0 0 0 1 0 0 0 1 0 0 0
0 1 0 0 0 c 0 s
0 c s 0
Rx = , Ry = , Rz = , (1.20)
0 0 c s 0 0 1 0 0 s c 0
0 0 s c 0 s 0 c 0 0 0 1
6 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
0 0 0 0 0 0
0 0
, L y = 0 1 0 0 , L z = 0 1 0 0 ,
Lx = 0 (1.21)
0 1 0 0 0 0 0 1 0
0 0 0 1 0 0 0 1 0 0
p
con c = cos , s = sin y = 1/ 1 2 . Conviene sustituir el parametro de velocidad
por la rapidity (, )
1 1+
= ln (1.22)
2 1
que es un parametro aditivo, como lo es tambien . Es decir, si hacemos dos boosts
con rapidities A y B a lo largo de una misma direccion n entonces Ln ( A ) Ln (B ) =
Ln ( A + B ). Esto es facil de comprobar a partir de las propiedades de las funciones
hiperbolicas, pues
Hallemos el algebra de los generadores para encontrar las irreps del grupo de Lo-
rentz. Para ello tomemos transformaciones de Lorentz infinitesimales:
1 0 0 0 0 0 0 0
0 1 0 0 = 1 i J 1 J 1 = 0 0 0 0
R x ( ) =
0 0 1 0 0 0 i (1.24)
0 0 1 0 0 i 0
1 0 0 0 0 0 0 0
0 1 0 = 1 i J 2 J 2 = 0 0 0 i
Ry ( ) = 0 (1.25)
0 1 0 0 0 0 0
0 0 1 0 i 0 0
1 0 0 0 0 0 0 0
0 1 0
= 1 i J 3 J 3 = 0 0 i 0
Rz ( ) = 0 (1.26)
1 0 0 i 0 0
0 0 0 1 0 0 0 0
1 0 0 0 i 0 0
1 0 0 = 1 iK1 i 0 0 0
K1 =
L x ( ) =
0 (1.27)
0 1 0 0 0 0 0
0 0 0 1 0 0 0 0
1 0 0 0 0 i 0
0 1 0 0 0 0 0 0
= 1 iK2 K2 =
Ly ( ) = (1.28)
0 1 0 i 0 0 0
0 0 0 1 0 0 0 0
1 0 0 0 0 0 i
0 1 0 0 0 0 0 0
= 1 iK3 K3 =
Lz ( ) = 0 (1.29)
0 1 0 0 0 0 0
0 0 1 i 0 0 0
Notese que, como la variedad parametrica de los boosts no es compacta, sus generadores
no son hermticos ((K m ) = K m ). El algebra de Lie es
Vemos que las rotaciones cierran algebra, pues SU(2) es un subgrupo del grupo de Lo-
rentz. Sin embargo, los boosts no son un subgrupo. Conviene reescribir estos 6 generado-
res como
1 m 1 m
Am = ( J + iK m ), Bm = ( J iK m ). (1.31)
2 2
Otra forma de escribir los generadores del grupo de Lorentz es la siguiente. Tomamos
como parametros los 6 elementos independientes de una matriz antisimetrica =
. Los generadores son entonces las 6 componentes independientes del operador
antisimetrico J = J ,
i
= exp J (1.35)
2
1
(el factor 2 compensa el hecho de que sumamos , en vez de < ) con
1 23 32
1 k`m `m J = J = J
Jk = e J J 2 = J 31 = J 13 (1.36)
2 3
J = J 12 = J 21
K k = J 0k = J k0 . (1.37)
( J ) = i( g g ). (1.40)
[ J , J ] = i( g J g J g J + g J ). (1.41)
8 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
V 7 V , V 7 V .
(1.43)
= g g .
(1.44)
4 4 = 1 6 9, (1.46)
1
T = g T + A + S , (1.47)
4
T = g T = T (traza), (1.48)
1
A = ( T T ) (parte antisimetrica), (1.49)
2
1 1
S = ( T + T ) g T (parte simetrica de traza nula). (1.50)
2 4
Por el mismo razonamiento de antes, T , T , T y T son representaciones (reducibles)
equivalentes del grupo de Lorentz. Un ejemplo de tensor de rango dos es el tensor g
que ademas es invariante, por definicion de transformacion de Lorentz (1.15).
En efecto, T = g T 7 g T = g T = T, donde se ha usado (1.15).
c
1.4. Representaciones tensoriales y espinoriales 9
Es interesante ver como se transforman las irreps del grupo de Lorentz bajo el sub-
grupo de las rotaciones. En general, son representaciones reducibles que se pueden escribir
como suma directa de varias irreps del grupo de la rotaciones, etiquetadas cada una de
ellas por un valor del espn j (recordemos que su dimension es 2j + 1). As,
i.e. V 0 es un escalar bajo rotaciones (espn 0) y V un 3vector (espn 1). Por otro lado,
donde se ha usado que el producto directo de irreps del grupo de las rotaciones es
j1 j2 = | j1 j2 | | j1 j2 + 1| | j1 + j2 |. (1.58)
De modo que,
0 0 0 0
e 7 0 0 0 0 e = (det )e = e .
(1.62)
Todas las representaciones de SU(2) pueden obtenerse a partir del producto tensorial de
espinores. Por ejemplo,
1 1
= 0 1. (1.64)
2 2
Del mismo modo, las representaciones ( j1 , j2 ) del grupo de Lorentz pueden cons-
truirse a partir del producto tensorial de las representaciones espinoriales ( 12 , 0) y (0, 12 ),
que tienen dimension (2j1 + 1)(2j2 + 1) = 2. Sus vectores se llaman espinores de Weyl
L ( 12 , 0), R (0, 12 ) y tienen dos componentes. Por razones que veremos pronto se
denominan left-handed y right-handed. Hallemos su forma explcita:
1 1
A= ( J + iK ), B= ( J iK ) J = A + B, K = i( A B ) (1.65)
2 2
y recordando (1.33) tenemos entonces que
L : A= B=0 J= ,
, K = i
2
n 2 2
o
L = exp (i ) (1.66)
2
R : A = 0, B = J= , K=i
n 2 o
2 2
R = exp (i + ) (1.67)
2
2 L 2 = R . (1.68)
1.5. Representaciones sobre campos 11
Rc i2 R ( 12 , 0). (1.70)
R R y L L
L i2 R , R i2 L , (1, ), (1, ).
x 7 x 0 = x (infinitesimalmente: x 0 = x + x )
(1.73)
( x ) 7 0 ( x 0 ). (1.74)
Nuestro objetivo es construir teoras de campos invariantes Lorentz. Para hallar las re-
presentaciones del grupo de Lorentz en este espacio de funciones tenemos que comparar
( x ) con su transformacion infinitesimal 0 ( x ) = 0 ( x 0 x ):
( x ) 0 ( x ) ( x ) = 0 ( x 0 x ) ( x )
= 0 ( x 0 ) x ( x ) ( x )
i i
= 0 ( x 0 ) ( x ) + ( J ) x ( x ) J ( x ), (1.75)
2 2
12 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
donde J son los generadores de la representacion infinito-dimensional del grupo de Lo-
rentz sobre el campo . En el penultimo paso hemos aproximado 0 ( x ) por ( x ),
pues difieren a siguiente orden en x, y en el ultimo hemos escrito
i
x = ( J ) x , ( J ) = i( g g ). (1.76)
2
0 ( x 0 ) = ( x ). (1.77)
i i
( x ) = ( J ) x ( x ) L ( x ) (1.78)
2 2
L = ( J ) x = i( x x ). (1.79)
1 ijk jk
Li = e L = eijk x j pk . (1.80)
2
Notese que las representaciones de dimension infinita del grupo de Lorentz s pueden
ser unitarias y esta es unitaria porque los L son hermticos.
L ( x ) 7 L0 ( x 0 ) = L L ( x ), R ( x ) 7 R0 ( x 0 ) = R R ( x ). (1.81)
i
L ( x ) = ( L 1)L ( x ) + ( J ) x L ( x )
2
i i i
= S L L ( x ) L L ( x ) JL L ( x ), (1.82)
2 2 2
donde hemos aplicado (1.78) al segundo sumando y hemos sustituido
i
L 1 S L = i( J + K ),
J= , K = i . (1.83)
2 2 2
Por tanto, los generadores en la representacion de campos de Weyl son JL = L + S L .
En particular, los generadores de las rotaciones (momento angular total) son J i = Li + Si ,
que tiene dos contribuciones: la orbital, Li = eijk x j pk , y la debida al espn, Si = 12 i . Los
generadores de los boosts son J 0k = L0k 2i k , que no son hermticos, y por tanto la
representacion infinito-dimensional del grupo de Lorentz en campos de Weyl L no es
unitaria.
1.5. Representaciones sobre campos 13
L 0
0 0
( x ) 7 ( x ) = D ( x ), D = (1.88)
0 R
0 1
0 R ( x )
( x ) 7 ( x ) = = ( x ). (1.89)
L ( x ) 1 0
i2 R
c
2
R 0
c
= = = i (1.90)
Lc i2 L 2 0
14 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
Tiene dos grados de libertad, como un espinor de Weyl, pero es autoconjugado de carga,
L
c
M = = M . (1.92)
i2 L
V ( x ) 7 V 0 ( x 0 ) = V ( x ).
(1.93)
i i
V ( x ) = ( )V ( x ) L V ( x ) JV V ( x ).
(1.94)
2 2
Si escribimos, como antes, JV = L + SV , vemos que
i i
(SV ) = ( J )
SV = J . (1.95)
2 2
x 7 x 0 = x + a . (1.96)
x 0 (1 ie P ) x x = e = ie P x
P = i . (1.97)
As que los generadores de las traslaciones son las 4 componentes del operador cuadrimo-
mento P . La traslacion (1.96) se escribe, por tanto, exp{ia P }.
El algebra de Poincare, escrita en forma covariante, es
[ P , P ] = 0, (1.98)
[ P , J ] = i( g P g P ),
(1.99)
1.6. Grupo de Poincare 15
[ J , J ] = i( g J g J g J + g J ). (1.100)
La ultima lnea corresponde al algebra del subgrupo de Lorentz (1.41). Las traslaciones
son tambien un subgrupo. Conviene explicitar las relaciones de conmutacion entre los
generadores de las traslaciones y los de rotaciones y boosts:
[ P0 , J k ] = 0, (1.101)
[ Pk , J ` ] = iek`m Pm , (1.102)
[ P0 , K k ] = iPk , (1.103)
k ` 0 k`
[ P , K ] = iP . (1.104)
As que, como el hamiltoniano es H = P0 (generador de las traslaciones temporales),
tenemos que [ H, Pk ] = [ H, J k ] = 0 pero [ H, K k ] 6= 0. Esto no significa que solo mo-
mento lineal y momento angular total son cantidades conservadas, porque K i depende
explcitamente del tiempo de tal forma que
d k
K = i[ H, K k ] + K k = 0. (1.105)
dt t
As que tambien hay cantidades conservadas asociadas a los boosts, como veremos al
estudiar el teorema de Noether en el siguiente tema.
Ya hemos visto que los campos forman representaciones de dimension infinita del grupo
de Lorentz, con generadores
J = L + S , (1.106)
donde L = i( x x ) y S depende de si el campo es escalar, espinorial, etc.
Hallemos ahora la representacion de las traslaciones. Para ello, imponemos que para
cualquier componente, ya sea tensorial o espinorial del campo, se cumple
0 ( x 0 ) = ( x ), x 0 = x + a . (1.107)
Entonces, haciendo una translacion infinitesimal a = e ,
( x ) = 0 ( x 0 e) ( x ) = 0 ( x 0 ) e ( x ) ( x ) = e ( x ). (1.108)
Por tanto, comparando esta expresion con
0 ( x 0 e) = exp{i(e ) P }0 ( x 0 ) ( x ) = ie P ( x ) (1.109)
tenemos que
P = i . (1.110)
Para ver que lo que hemos obtenido es consistente, podemos comprobar la regla
de conmutacion (1.99) usando la representacion sobre campos de los generadores del
grupo de Lorentz (1.106) y de las traslaciones (1.110) y teniendo en cuenta que S es
independiente de las coordenadas espaciotemporales y por tanto conmuta con ,
[ P , J ] = [ P , L ] = [i , i( x x )]
= ( g g ) = i( g P g P ), (1.111)
donde hemos aplicado la regla [ A, BC ] = [ A, B]C + A[ B, C ] y sustituido [ , x ] = g .
16 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
Ya hemos visto todo lo que necesitamos para construir lagrangianos de campos invarian-
tes bajo Poincare. Cuando cuanticemos los campos veremos que estos crean y destruyen
partculas (y antipartculas). Es conveniente entonces identificar el espacio de Hilbert de
estados de una partcula, invariante bajo Poincare, es decir, irreps del grupo de Poincare
etiquetadas por sus operadores de Casimir y cuyos vectores vienen especificados por
numeros cuanticos que son autovalores de un conjunto de generadores que conmuten
entre s (y de otros operadores que conmuten con ellos), | p, j3 , . . . i.
El grupo de Poincare tiene dos operadores de Casimir:
m2 = P P y W W , (1.112)
1
W = e J P . (1.113)
2
1
[W , P ] = e [ J P , P ]
2
1
= e ( J [ P , P ] + [ J , P ] P )
2
i
= e ( g P g P )
2
i i
= e P + e P = 0. (1.114)
2 2
Caso m 6= 0
W0 = 0
)
m ijk0 jk m W W = m2 j( j + 1). (1.115)
Wi = e J = eijk J jk = mJ i
2 2
Es decir, las irreps estan etiquetadas por m, j y los vectores por | j3 = j . . . ji, donde j
es el espn. Vemos que las partculas masivas de espn j tienen 2j + 1 grados de libertad.
Esto es as porque, una vez que hemos hecho un boost para llevar la partcula masiva
al sistema de referencia en el que su cuadrimomento es p = (m, 0, 0, 0), tenemos total
libertad para rotar en tres dimensiones el sistema. Decimos que el grupo SU(2) es su grupo
de Lorentz pequeno (conjunto de transformaciones de Lorentz que dejan invariante una
eleccion dada de p ).
1.6. Grupo de Poincare 17
Caso m = 0
W 0 = W 3 = J 3
W 1 = ( J 1 + K2 ) W W = 2 [( J 1 + K2 )2 + ( J 2 K1 )2 ]. (1.116)
W 2 = ( J 2 K1 )
En este caso el grupo pequeno son las rotaciones en el plano perpendicular a la direccion del
movimiento (el plano ( x, y) en nuestra eleccion), que es SO(2), cuyas irreps son unidimen-
sionales (grupo abeliano) y se etiquetan por un numero h {0, 21 , 1, . . . } llamado
helicidad (proyeccion del momento angular en la direccion del movimiento):d
h = p J. (1.117)
El principio de mnima accion establece que la trayectoria del sistema entre un estado
inicial qin = q(tin ) y otro final qfi = q(tfi ) fijos (figura 2.1) es un extremo (generalmente
un mnimo) de la accion:
tfi tfi
S = dt L(q, q) = dt L(q, q) = 0. (2.2)
tin tin
Podemos desarrollar
L L L L d
L = qi
qi +
qi
qi = qi
qi +
qi dt
qi , (2.3)
i i
tfi
tin
Figura 2.1: Posibles caminos qi (t) que puede seguir un sistema en el espacio de las coordenadas
entre un instante inicial tin y otro final tfi .
19
20 Tema 2: Teora Clasica de Campos
Por tanto,
tfi
L d L
S =
tin
dt qi
dt qi
qi = 0, qi (2.6)
i
L d L
=0 (Ecuaciones de Euler-Lagrange) (2.7)
qi dt qi
L
H ( p, q) = pi qi L, pi =
qi
. (2.8)
i
H H
qi = , pi = (ecuaciones de Hamilton) (2.11)
pi qi
[qr , ps ] P = rs (2.13)
qr = [qr , H ] P , pr = [ pr , H ] P (2.14)
b b
dv du
a En efecto: dt u = [uv]ba dt v .
a dt a dt
2.1. Ecuaciones de Euler-Lagrange 21
donde la condicion de contorno ahora no es que qi (tin ) y qi (tfi ) fijos sino que los campos
permanecen constantes en el infinito, pues
L L L
4 4
( ) = d x d4 x
d x (2.20)
( )
( ) ( )
| = 0. (2.22)
As que tenemos:
L L
=0 (Ecuacion de Euler-Lagrange para el campo ). (2.23)
( )
L L + K () (2.24)
L( x )
( x ) = (2.26)
( 0 )
H( x ) = ( x )0 ( x ) L( x ) (2.27)
siendo,
H= d3 x H( x ). (2.28)
i ( x ) 7 i0 ( x 0 ) i ( x ) + e a Fi,a (, ) (2.29)
x 7 x 0 = x + x x + e a A a ( x ),
(2.30)
donde a puede ser un ndice, dos, . . . o ninguno. Decimos que esta transformacion es
una simetra si deja invariantes las ecuaciones del movimiento, i.e. si la accion no vara:
S ( ) 7 S ( 0 ) = S ( ). (2.31)
(2.32)
donde se ha usado
0 x0
1 + x
0
. . .
0
x
0
x x x1
d4 x 0 = d4 x, = 1 + x + O(x )2 .
= x1 x1
x
x 1+ ...
x0 x1
... ... ...
(2.33)
L0 ( x 0 ) = L0 ( x ) + x L( x ) + O(x )2 (2.34)
2.2. Teorema de Noether 23
y a partir de
i0 ( x 0 ) = i ( x ) + e a Fi,a = i ( x 0 e a A a ) + e a Fi,a
(2.37)
tenemos
i0 ( x ) = i ( x e a A a ) + e a Fi,a = i ( x ) e a A a i ( x ) + e a Fi,a
(2.38)
de modo que
i ( x ) = i0 ( x ) i ( x ) = e a [ A a i ( x ) Fi,a ]
(2.39)
donde
L
( i ) [ Aa (x) i (x) Fi,a (, )] Aa (x)L(x)
ja ( ) (2.42)
i
de donde
S(0 ) S() = d4 x e a ( x ) j a ( ) .
(2.45)
vemos que la conservacion de la corriente ja ( x ) implica que la carga Q a se conserva, i.e.
es independiente del tiempo, pues
t Q a = d x 0 ja (t, x) = d3 x i jai (t, x) = 0,
3 0
(2.49)
ya que los campos decrecen suficientemente rapido en el infinito (de nuevo el teorema
de Stokes).
Las simetras pueden ser internas, si no cambian las coordenadas, i.e. A a ( x ) = 0, o
espaciotemporales. La conservacion de la carga electrica, el isoespn, el numero barionico,
etc., son consecuencias de las primeras. Veamos ahora todos los ejemplos de las segun-
das: invariancias bajo traslaciones espaciotemporales, rotaciones y boosts.
Traslaciones espaciotemporales
x 7 x 0 = x + e e a = e ,
A a ( x ) = (2.50)
i ( x ) 7 i0 ( x 0 ) = i ( x ) Fi,a (, ) = 0. (2.51)
Por tanto, hay cuatro corrientes conservadas que conforman el tensor energa-momento,
L
=
i L, =0 (2.52)
i
( i )
y cuatro cargas que permanecen constantes, la energa y las tres componentes del mo-
mento,
" #
L
P = d x = d x
3 0 3 0
i L . (2.53)
i
(0 i )
2.2. Teorema de Noether 25
t P = 0 , = 0, 1, 2, 3 . (2.54)
Rotaciones y boosts
Por tanto,
L 1 1
j = ( x x ) ( x x )L
( ) 2 2
L 1 1
= ( x x ) ( x x )L
( ) 2 2
1
= x x , j = 0. (2.57)
2
Es decir, el siguiente tensor contiene seis corrientes conservadas:
T ( x x ), T = 0 (2.58)
de las cuales Mij (momento angular) se deben a la invariancia bajo rotaciones y M0i a la
invariancia bajo boosts. Conviene ahora hacer dos comentarios:
1. Notese que la ecuacion (2.58) implica que el tensor energa-momento debe ser
simetrico, pues = 0 y
0 = ( x x ) = x x + = . (2.60)
e = + f , e = + f = = 0 (2.61)
y como
3
d x f 0
= d3 x i f i0 = 0 P =
d x e0 =
3
d3 x 0 , (2.62)
las cargas conservadas son las mismas, siempre que los campos, de los que depende
f , se anulen suficientemente rapido en el infinito.
26 Tema 2: Teora Clasica de Campos
Consideremos para empezar un campo escalar real, ( x ) = ( x ). Una accion que descri-
ba una dinamica no trivial del campo debe contener derivadas, . Los ndices Lorentz
deben estar contrados, pues la accion es un escalar. La accion mas sencilla es
1
S= d4 x ( m2 2 ) = d4 x L( x ). (2.64)
2
La ecuacion de Euler-Lagrange para es entonces la ecuacion de Klein-Gordon,
L L
=0 (2 + m2 )( x ) = 0, 2 . (2.65)
( )
La normalizacion de los campos se ha elegido por conveniencia. Vemos que entre las
soluciones hay modos de energa positiva (eipx ) y modos de energa negativa (e+ipx ), cuya
interpretacion surgira solo al cuantizar el campo. El signo de la accion se ha elegido de
modo que obtengamos un hamiltoniano definido positivo:
L 1
= H = 0 L = (0 )2 + ()2 + m2 2 > 0. (2.67)
= 0
( 0 ) 2
El tensor energa-momento es directamente simetrico,
= g L (2.68)
que es lo que uno esperara, pues Lij es la representacion del operador J ij sobre el espacio
vectorial de los campos. Veamos que h1 |2 i es independiente del tiempo si 1 y 2
son soluciones de la ecuacion de Klein-Gordon, lo que esta de acuerdo con que Mij es una
cantidad conservada. En efecto,
i
0 h1 |2 i = d3 x 0 [1 0 2 0 1 2 ]
2
i
d3 x 0 1 0 2 + 1 20 2 20 1 2 0 1 0 2
=
2
i
d3 x 1 2 2 2 1 2 m2 1 2 + m2 1 2
=
2
i
= d3 x {1 2 + 1 2 } = 0, (2.74)
2
donde se ha usado
Y tambien,
M0i = h| L0i |i = d3 x ( x0 0i xi 00 ). (2.79)
En efecto,
1
0i 0i
M = h| L |i = d3 x [ ( x 0 i x i 0 ) 0 0 ( x 0 i x i 0 ) ]
2
xi
3 0 i 2 2
= d x x 0 + [0 (0 ) ]
2
xi
= d3 x x0 0 i [(0 )2 2 + m2 2 ] . (2.80)
2
Esta claro que la ecuacion de Klein-Gordon para es la misma que (2.65), pues tanto la
parte real como la imaginaria la satisfacen. La solucion mas general es
d3 p
( x ) = a p eipx + bp eipx (2.85)
3
p
(2 ) 2E p
p0 = E p + m2 + p2
a la misma dinamica.
2.4. Campos espinoriales 29
( x ) 7 0 ( x ) = ei ( x ), ( x ) 7 0 ( x ) = ei ( x ) (2.86)
lo que significa que existe una corriente conservada asociada (tomar i = (, )):
x 7 x 0 = x
Aa (x) = 0 (2.87)
( x ) 70 ( x )= ( x ) i( x ) F,a = i
0 e a = , (2.88)
( x ) 7 ( x ) = ( x ) + i ( x ) F ,a = i
L L
j = F,a F ,a = i( ) = i . (2.89)
( ) ( )
La carga conservada es
Q= 3
d xj =i 0
d3 x 0 = h | i , t Q = 0, (2.90)
R R , L L (2.92)
con (1, ), (1, ), son cuadrivectores Lorentz. Para demostrar esto recorde-
mos que
n o
R 7 exp (i + ) R . (2.93)
2
Consideremos, por ejemplo, un boost infinitesimal de rapidity en la direccion x,
1 1
R R 7 R R + R R + R R
2 2
R R 7 R R + R 1 R
(2.94)
R i R 7 R i R + i1 R R ,
pues i j + j i = 2ij . Vemos que R R se transforma bajo ese boost igual que un
cuadrivector v ,
0 0
v 1 0 0 v
v1 1 0 0 v1
7 . (2.95)
v2 0 0 1 0 v2
v3 0 0 0 1 v3
30 Tema 2: Teora Clasica de Campos
3 3
R R 7 R R + iR R iR R
2 2
R R 7 R R
R 1 R 7 R 1 R R 2 R
(2.96)
R 2 R 7 R 2 R + R 1 R
R 3 R 7 R 3 R ,
pues i j j i = 2ieijk k . Vemos que R R se transforma bajo esa rotacion igual que
un cuadrivector v ,
0 0
v 1 0 0 0 v
v1 0 1 0 v1
7
0 1 0 v2 . (2.97)
v2
v3 0 0 0 1 v3
Y analogamente para L L .
Concentremonos en L . Podemos construir la accion mas sencilla para estos campos,c
S = i d x L L = d4 x L( x ).
4
(2.98)
El factor i se introduce para que el lagrangiano sea hermtico. Hallemos sus ecuaciones
de Euler-Lagrange, considerando L y L como campos independientes:
[L ] : i L = 0
L = 0 (0 i i )L = 0. (2.99)
[L ] : i L = 0
Esta ecuacion de Weyl para L es equivalente a una ecuacion de Klein-Gordon sin masa
para sus dos componentes,
0 L = i i L 20 L = 2 L 2L = 0 (2.100)
y ademas aporta informacion sobre la helicidad de los distintos modos del campo.
Si tomamos un modo de energa positiva (negativa) de L ,
Por otro lado, 7 . Entonces, el siguiente termino es un escalar Lorentz pues usando (1.15):
L L 7 L L = L g L = L L .
2.4. Campos espinoriales 31
lo que significa que los modos de L son todos de helicidad negativa h = 12 . Por otro
lado, el tensor energa-momento es
L
= L g L = iL L , (2.104)
( L )
donde se ha usado que para los campos que satisfacen la ecuacion de Euler-Lagrange
(2.99) el lagrangiano L = 0. El hamiltoniano es H = 00 = iL 0 L . Ademas la accion es
invariante bajo transformaciones globales de simetra del grupo U(1),
L 7 ei L , (2.105)
L
j = iL = L L , j = 0 (2.106)
( L )
R = 0 (0 + i i )R = 0, (2.108)
que es equivalente a una ecuacion de Klein-Gordon sin masa para sus dos componentes,
0 R = i i R 20 R = 2 R 2R = 0. (2.109)
L 7 L L , R 7 R R , y L R = R L = 1. (2.111)
(L R + R L ) 7 (L R + R L ) (escalar)
i(L R R L ) 7 i(L R R L ) (pseudoescalar) (2.112)
L D = iL L + iR R m(L R + R L ) (2.113)
32 Tema 2: Teora Clasica de Campos
[L ] : i L mR =0
[L ] : i L mR =0 i L = mR
(2.114)
[R ] : i R mL =0 i R = mL ,
[R ] : i R mL =0
i L = mR (i )i L = mi R
1
( + ) L = m2 L
2
(2 + m2 )L = 0, (2.115)
(2 + m2 )R = 0. (2.116)
i
0 0 1 i 0 0
= , = =
(representacion quiral),
1 0 i 0 0
(2.118)
{ + } = 2g . (2.119)
m) = 0,
(i/ / A .
A (2.120)
En la representacion quiral, = (R , L ) y
L D = (i/
m). (2.122)
1 1
PL = (1 5 ), PR = (1 + 5 ) (2.124)
2 2
proyectan sobre los espinores de Weyl L y R , respectivamente,
L 0
PL = , PR = . (2.125)
0 R
tiene la misma forma que el lagrangiano original. Ademas el algebra de Clifford perma-
nece invariante, {0 0 + 0 0 } = 2g . Una representacion que se usa con frecuencia
es la representacion estandar o representacion de Dirac, que se obtiene a partir de la quiral
mediante
1 1 1
U= . (2.128)
2 1 1
p m)u( p) = 0,
(/ (/
p + m)v( p) = 0. (2.133)
p = (m, 0, 0, 0)
34 Tema 2: Teora Clasica de Campos
p m ) u (0) = 0
(/ ( 0 1) u (0) = 0 u L (0) = u R (0), (2.135)
0
(/
p + m ) v (0) = 0 ( + 1) v (0) = 0 v L (0) = v R (0). (2.136)
Las soluciones para p arbitrario se hallan haciendo un boost en la direccion p = p/| p|,
!
e 12 p u(s) (0)
u(s) ( p ) = 1
L
(s) . (2.138)
e+ 2 p u R (0)
( p) = p = E p , ( p) = p = E + p , (2.141)
obtenemos
! p
p (s) (s)
1 ( p) u L (0) ( p )
u(s) ( p ) = (s) = p . (2.142)
( p) (s)
p
m ( p) u R (0)
donde se ha usado,
1 p 1 p
e 2 p = cosh p sinh = e 2 + e 2 (2.144)
2 2 2 2
r
E | p|
e 2
p p
= cosh sinh = = . (2.145)
m
Si hacemos el lmite ultrarrelativista (E m), p ( E, 0, 0, E),
r
E ( 1 3 ) (1)
(1) 0
u ( p) = 2E (1)
2 ( 1 + 3 ) (1)
2.4. Campos espinoriales 35
r
( 1 3 ) (2) (2)
(2) E
u ( p) = 2E (2.146)
2 ( 1 + 3 ) (2) 0
vemos que u(1) solo tiene componente right-handed y u(2) solo tiene componente left-
handed, es decir son campos de Dirac con helicidad bien definida (quiralidad), como
corresponde a campos de masa nula.
Si repetimos el procedimiento para el espinor de energa negativa v( p) obtenemos
! p
p (s) (s)
(s) 1 ( p) v L (0) ( p )
v ( p) = = , (r) (s) = rs , (2.147)
m ( p) v(Rs) (0) ( p) (s)
p p
o bien
1 p 1 + p
p
( )
p s
E + | p| + E | p|
(s)
2 2
v ( p) =
. (2.148)
1 + p 1 p
( )
p p s
E + | p| + E | p|
2 2
Resulta conveniente elegir (vease discusion al final de 3.2.1)
(s) 2 (s) (1) 0 (2) 1
= i = , = . (2.149)
1 0
lo que significa que v(1) solo tiene componente left-handed y v(2) solo tiene componente
right-handed, es decir son campos de Dirac con helicidad bien definida y masa nula.
Introduciendo ahora los correspondientes espinores adjuntos,d
u = u 0 , v = v 0 , (2.151)
p m) = 0,
u( p)( / v( p)( /
p + m) = 0, (2.152)
u(s) ( p ) u(s) ( p ) = /
p + m, v(s) ( p ) v(s) ( p ) = /
p m. (2.156)
s=1,2 s=1,2
d Usese la identidad = 0 0 .
36 Tema 2: Teora Clasica de Campos
Es evidente que M puede tener masa a pesar de estar generado por un solo espinor de
Weyl. Basta con escribir
m)M = 0
(i/ i L = mR = im2 L (2.173)
(2 + m2 ) L = 0 (2.174)
que es nulo a no ser que las componentes de M sean tratadas como cantidades anticon-
mutantes (variables de Grassmann) pues
iTL 2 L = 1L 2L 2L 1L . (2.176)
Pero lo mas interesante es que, si bien el lagrangiano de Dirac es invariante bajo el grupo
U(1) de transformaciones globales
L 7 ei L , R 7 ei R , (2.177)
esta simetra no pueden tenerla los campos de Majorana pues las componentes left y right
estan conjugadas segun (2.172). Esto significa que un campo de Majorana no puede tener
cargas U(1), como la carga electrica, el numero barionico o el numero leptonico. Es el
neutrino un fermion de Majorana?
1
Ei = F0i = t Ai i A0 , Bi = eijk F jk = ( A)i , (2.178)
2
1 1
L = F F = ( E2 B2 ) (2.179)
4 2
que tambien puede escribirse L = 12 ( A A A A ), obtenemos las ecuacio-
nes de movimiento (ecuaciones de Maxwell en el vaco)
F = 0 E = 0, B = t E (2.180)
Las otras dos ecuaciones de Maxwell se obtienen a partir del tensor dual Fe = 12 e F ,
cuya cuadridivergencia es nula, pues Fe = e A = 0, as que
Fe = 0 B = 0, E = t B (2.181)
La existencia de esta simetra local implica que A ( x ) hace una descripcion redundante
del campo electromagnetico, pues podemos usar la libertad de eleccion de gauge para
restringir A ( x ).
Podemos tomar A0 ( x ) = 0 eligiendo
t
A ( x ) 7 A0 ( x ) = A ( x ) dt0 A0 (t0 , x), (2.183)
Ei = F0i = 0 A0i + A 00 = 0 A 0 i
i
(2.185)
as que
A0 = 0, A = 0 (2.189)
A 7 A0 = A , A (2.190)
A = 0. (2.191)
F = 0 ( A A ) = 2A = 0. (2.192)
Es decir, cada componente de A satisface una ecuacion de Klein-Gordon sin masa. Sus
soluciones son de la forma (A es un campo real de masa cero)
ke = 0. (2.194)
1
T = F A + g F2 + ( F A )
4
1 2
= F F + g F , cuando F = 0 .
(2.201)
4
Las cargas conservadas bajo transformaciones espaciotemporales son por tanto
1
E = d3 x T 00 = d3 x ( E2 + B2 ) (energa) (2.202)
2
Pi = d3 x T 0i = d3 x ( E B)i (vector de Poynting). (2.203)
F = j E = , B = t E + j, j (, j), (2.204)
Fe = 0 B = 0, E = t B. (2.205)
Notese que las dos ultimas son las mismas que en ausencia de fuentes, debido a que
Fe = e A = 0 en cualquier caso. Estas ecuaciones se obtienen al minimizar
la accion
1
S = d x F F j A = d4 x L( x ),
4
(2.206)
4
j A 7 j A j (2.207)
y, como d4 x (j ) = 0 d4 x j = d4 x j = 0, tenemos que
d x j A 7 d4 x j A j = 0.
4
(2.208)
2.5. Campo electromagnetico 41
La invariancia gauge es el principio que gua como deben ser las interacciones. Veamos
como funciona el metodo aplicandolo al lagrangiano de Dirac en presencia de un campo
electromagnetico. El lagrangiano de Dirac
m)
L D = (i/ (2.209)
D = + ieqA (2.213)
pues entonces
y el lagrangiano resultante,
1
L = (i D
/ m) F F
4
1
= (i/ m) F F eqA (2.215)
4
es invariante gauge. De esta forma, hemos introducido una interaccion de la forma j A
(acoplamiento mnimo) entre la corriente fermionica,
j = eq (2.216)
y el campo electromagnetico, que nos permite restaurar la simetra local. Notese que j
es una corriente conservada debida a la invariancia global de L D bajo transformaciones
de fase U(1). Por tanto,
Q = d x j ( x ) = eq d x = eq d3 x
3 0 3 0
(2.217)
es la carga electrica. Otras interacciones invariantes gauge son posibles, pero involucran
terminos de interaccion con dimension canonica mayor que cuatro, que por tanto deben
ir multiplicados por constantes que tienen dimensiones de masa elevada a una potencia
negativa. Por ejemplo, la interaccion dipolar magnetica
L = a F , [ a ] = M 1 . (2.218)
42 Tema 2: Teora Clasica de Campos
7 U, U = exp{iT a a ( x )} (2.219)
W
e e U + i ( U )U , W
7 U W e T a Wa , (2.220)
g
D = + igW
e (2.221)
se tiene que
D 7 UD (2.222)
y el lagrangiano resultante
L = (i D
/ m) (2.223)
1 n e e o 1 a a,
LG = Tr W W = W W (2.224)
2 4
= Lkin + Lcubic + Lquartic (2.225)
donde
1
Lkin = ( Wa Wa )( W a, W a, )
4
1 abc
Lcubic = g f ( Wa Wa )W b, W c, (2.226)
2
1
Lquartic = g2 f abe f cde Wa Wb W c, W d, (2.227)
4
y
e W
W e W
e + ig[W
e , W e U
e ] 7 U W (2.228)
a
W = Wa Wa g f abc Wb Wc . (2.229)
En teora de campos hemos reemplazado qiH (t) por (t, x) y piH (t) por (t, x), as que
para cuantizar los campos los promovemos a operadores e imponemosa
[(t, x), (t, y)] = i3 ( x y), [(t, x), (t, y)] = [(t, x), (t, y)] = 0 (3.4)
integrales de camino que resulta particularmente util para cuantizar teoras de campos gauge.
43
44 Tema 3: Cuantizacion de campos libres
[ a p , aq ] = (2 )3 3 ( p q), [ a p , aq ] = [ ap , aq ] = 0 (3.7)
En efecto,
r
d3 p d3 q Eq
[(t, x), (t, y)] =i 3
(2 )3 3 ( p q)
(2 )
3
p
(2 ) 2E p 2
ei(Ep Eq )t ei( pxqy) + ei(Ep Eq )t ei( pxqy)
i d3 p ip(xy) ip( xy)
= e + e = i3 ( x y) (3.8)
2 (2 )3
Las reglas de conmutacion (3.7) nos recuerdan a los operadores creacion y destruccion
de modos de energa h de un oscilador armonico con hamiltoniano
p2 1
H= + m 2 x2 , (3.10)
2m 2
cuyas soluciones se hallan introduciendo los operadores (reinsertamos las h para refres-
car mejor la memoria):
r r
h hm
x= ( a + a ), p = i ( a a ), (3.11)
2m 2
que satisfacen las reglas de conmutacion,
[ x, p] = ih [ a, a ] = 1, [ a, a] = [ a , a ] = 0. (3.12)
H = h ( a a + 21 ). (3.13)
Definiendo el estado de mnima energa (el vaco) |0i como aquel que es aniquilado por
el operador a y aplicando (3.12)
[ H, a ] = ha , [ H, a] = ha, (3.14)
1
a |0i = 0 a a |ni = n |ni , | n i ( a ) n |0i (3.15)
n!
Volviendo a nuestra teora de campos, vemos que (3.7) son las relaciones de conmu-
tacion de un conjunto infinito de osciladores armonicos, uno por cada valor de p, excepto
por un factor de normalizacion que es el volumen (infinito) del sistema, pues
lm (2 ) ( p q) = lm d3 x ei( pq) x = V ( ).
3 3
(3.16)
pq pq
Podemos construir entonces el espacio de Fock de estados usando los operadores crea-
cion (ap ) y destruccion (a p ) de modos de momento p, a partir de (3.7) y a p |0i = 0.
As obtenemos los estados multipartcula:
q q
| p1 , p2 , . . . i = 2E p1 2E p2 ap1 ap2 |0i . (3.17)
vemos que
3 ( p q ) E3 ( p q) E
3 ( p 0 q 0 ) = = = 0 3 ( p q )
E ( pz + E) E
+1
pz
E p0 3 ( p 0 q 0 ) = E p 3 ( p q ) . (3.20)
( x x0 )
( f ( x ) f ( x0 )) = , f ( x ) = p0z ( pz ) = ( E + pz ) , (3.21)
d f ( x = x0 )
dx
y en el segundo,
dE pz
q
= , pues E = m2 + p2 . (3.22)
dpz E
Veamos ahora cual es la energa de los estados multipartcula. Para ello expresaremos
primero el hamiltoniano en terminos de operadores creacion y destruccion (hacemos el
calculo en t = 0 por simplicidad, pues el hamiltoniano es una constante del movimiento):
1 1 d3 p d3 q
3 3
2 + ()2 + m2 2 = 3
H = d x H( x ) = d x d x p p
2 2 (2 )3 2E p (2 )3 2Eq
n
E p Eq a p aq ei( p+q)x + ap aq ei( p+q)x a p aq ei( pq)x ap aq ei( pq)x
p q a p aq ei( p+q)x + ap aq ei( p+q)x a p aq ei( pq)x ap aq ei( pq)x
o
+ m2 a p aq ei( p+q)x + ap aq ei( p+q)x + a p aq ei( pq)x + ap aq ei( pq)x
46 Tema 3: Cuantizacion de campos libres
d3 p d3 p
1 1
= E p ( ap a p + a p ap ) = Ep ap a p + V . (3.23)
2 (2 )3 (2 )3 2
El segundo termino es la suma de la energa del punto cero de todos los osciladores,
1 d3 p Evac 1 d3 p
Evac =V Ep vac = = Ep . (3.24)
2 (2 )3 V 2 (2 )3
No nos preocupa que la energa total del sistema, que tiene un volumen infinito, sea
divergente. Pero vemos que, ademas, la densidad de energa del vaco vac es infinita. Esto
tampoco es un problema, pues estamos interesados en diferencias de energa,b as que
podemos substraer la energa del punto cero y declarar que el hamiltoniano es
1 d3 p
3
2 + ()2 + m2 2 : = E p ap a p
H d x : (3.25)
2 (2 )3
donde : O : es el orden normal de O , que consiste en escribir todos los operadores de
creacion a la izquierda de los de destruccion. As,
: a p ap : ap a p . (3.26)
= ( E p1 + E p2 + ) | p 1 p 2 . . . i , (3.27)
del punto cero esta relacionada con la constante cosmologica. Vease la discusion de Maggiore [1], p. 141.
3.1. Campos escalares 47
lado, recordemos que del teorema de Noether se deduce que los campos escalares tienen
espn cero, as que los cuantos que crea y destruye un campo escalar son partculas de
espn cero. Tenemos por tanto justificada la conexion espn-estadstica que establece que las
partculas de espn entero (0, 1, 2, . . . ) son bosones, es decir, obedecen la estadstica de
Bose-Einstein, que implica que sus estados son simetricos bajo intercambio. Veremos que
la imposicion de reglas de anticonmutacion para la cuantizacion de campos de espn 12 ,
para evitar que el hamiltoniano no este acotado inferiormente, conduce tambien de forma
automatica a estados multipartcula antisimetricos bajo intercambio, como corresponde
a los fermiones. Es decir, en Teora Cuantica de Campos la conexion espn-estadstica no
es un postulado sino un teorema.
Entonces,
De forma analoga al caso del campo real, construimos el espacio de Fock a partir de
Vemos que los cuantos de un campo escalar complejo son dos especies de igual masa
creadas por ap y bp , respectivamente.
La carga U(1) conservada es
d3 p d3 q
Q=i d3 x : 0 : = i d3 x p p
(2 )3 2E p (2 )3 2Eq
n o
: ap eipx + b p eipx 0 aq eiqx + bq eiqx 0 ap eipx + b p eipx aq eiqx + bq eiqx :
d3 p d3 q
= d3 x p p
(2 )3 2E p (2 )3 2Eq
n o
: ap eipx + b p eipx Eq aq eiqx bq eiqx + E p ap eipx b p eipx aq eiqx + bq eiqx :
d3 p d3 q i( q p ) x i( q p ) x
= d3 x : a a
p q e b b
p q e :
(2 )3 (2 )3
48 Tema 3: Cuantizacion de campos libres
d3 p
= ( a a p bp b p ). (3.34)
(2 )3 p
Por tanto, el estado ap |0i tiene carga Q = +1 y bp |0i tiene carga Q = 1. Ya estamos
en situacion de interpretar las soluciones de la ecuacion de Klein-Gordon de energa
negativa. El coeficiente de la solucion de energa positiva de un campo complejo se con-
vierte al cuantizar el campo en el operador destruccion de una partcula (carga unidad)
mientras que el coeficiente de la solucion de energa negativa se convierte en el operador
creacion de su antipartcula (carga opuesta). Para el campo ocurre lo contrario, pues se
intercambian los roles de partcula y antipartcula. Si el campo es real, a p = b p , entonces
crea y destruye partculas que coinciden con su propia antipartcula.
1
3.2 Campos de espn 2
convertimos los coeficientes a p,s , b p,s y sus complejos conjugados en operadores y sus
operadores adjuntos, como hicimos con el campo escalar. Antes de imponer ninguna
relacion de (anti)conmutacion sobre los mismos, veamos que forma tiene el operador
hamiltoniano resultante (de nuevo hacemos el calculo en t = 0 por simplicidad):
3 00 3 3 d3 q d3 p
H = d x = d x i0 = d x p p
(2 )3 2Eq (2 )3 2E p
n
aq,r a p,s ei(q p)x u(r) (q) E p u(s) ( p) bq,r bp,s ei(q p)x v(r) (q) E p v(s) ( p)
r,s
o
aq,r bp,s ei(q+ p)x u(r) (q) E p v(s) ( p) + bq,r a p,s ei(q+ p)x v(r) (q) E p u(s) ( p)
1 d3 p n
(2 )3
= ap,r a p,s u(r) ( p)u(s) ( p) b p,r bp,s v(r) ( p)v(s) ( p)
2 r,s
o
a p,r bp,s u(r) ( p)v(s) ( p) + b p,r a p,s v(r) ( p)u(s) ( p)
d3 p
(2 )3
= E p ( ap,s a p,s b p,s bp,s ), (3.37)
s
Si ahora impusieramos las mismas reglas de conmutacion que al campo escalar complejo
y aplicaramos el orden normal (substraccion de la energa del vaco), obtendramos un
1
3.2. Campos de espn 2 49
hamiltoniano no acotado inferiormente, pues los estados creados por bp , que llamaremos
antipartculas, contribuyen con energa negativa arbitrariamente grande. Para obtener un
espectro de energas que tenga sentido, debemos imponer las reglas de anticonmutacion
Entonces el espn Jz del estado creado por ap,s |0i o bp,s |0i en su sistema de referencia en
reposo (p = 0) se obtiene aplicando Sz a estos estados. Recordemos que
(s) (s) (s) (s)
u L (0) = u R (0) = m ( s ) , v L (0) = v R (0) = m ( s ) (3.45)
1 1
Sz a0,1 |0i = + a0,1 |0i , Sz a0,2 |0i = a0,2 |0i , (3.47)
2 2
50 Tema 3: Cuantizacion de campos libres
1 1
Sz b0,1 |0i = + b0,1 |0i , Sz b0,2 |0i = b0,2 |0i , (3.48)
2 2
donde se ha tenido en cuenta que : b p,s bp,s : = bp,s b p,s . Notese que gracias a que dado
un s hemos introducido (s) = i2 (s) para los espinores de las antipartculas, que es
autovector de 3 con autovalor opuesto al de (s) , los estados de partcula y antipartcula
con el mismo s tienen el mismo espn.
Como [Kz , Jz ] = 0, el estado resultante de hacer un boost en la direccion del eje z (en
la que hemos definido el espn) sigue siendo un autoestado del espn. A la proyeccion
del espn en la direccion del movimiento se le llama helicidad y se puede comprobar
usando las expresiones explcitas de los espinores (2.143) y (2.148) que
1 1
p S ap,1 |0i = + ap,1 |0i , p S ap,2 |0i = ap,2 |0i , (3.51)
2 2
1 1
p S b p,1 |0i = + b p,1 |0i , p S b p,2 |0i = b p,2 |0i , (3.52)
2 2
es decir, los estados de partcula y antipartcula con el mismo s tienen la misma helicidad. Re-
cordemos por ultimo que las helicidades son invariantes Lorentz solamente para estados
sin masa (quiralidades).
En cuanto a la carga U(1),
d3 p
Q= 3
d x : :=
(2 )3 (ap,s a p,s bp,s b p,s ). (3.53)
s
Por tanto, el campo cuantico destruye partculas y crea antipartculas de igual masa,
espn 12 y carga opuesta.
Veamos ahora que significan las etiquetas s = 1, 2 de los autoestados de espn. Aso-
ciamos s con el espn del fermion correspondiente a lo largo de una direccion dada.
Consideremos una direccion cualquiera n(, ). Entonces los autoestados de espn en esa
direccion son
(En particular, (s) = ( (1) , (2) ) son los autoestados de espn a lo largo del eje z.) Pues
bien, el estado que tiene espn opuesto a cualquier es = i2 , pues si (n ) =
entonces
para recordarnos que son autoestados con espn opuesto al dado. Notese, por cierto, que
una doble inversion del espn de lo lleva a
i2 = i2 (i2 ) = 2 2 = (3.58)
As que, dado el campo ( x ) de (3.35), el operador ap,s crea partculas cuyo espinor
u(s) ( p) contiene a (s) y el operador bp,s crea antipartculas cuyo espinor v(s) ( p) contiene
a (s) . Esto simplificara mucho las cosas. Por ejemplo, veremos en 3.2.3 que el conju-
gado de carga del campo ( x ) intercambia partculas por antipartculas preservando el
mismo estado s, es decir, con el mismo espn o la misma helicidad.
3.2.3 C, P, T
Conjugacion de carga
i2 R ( x )
T
c ( x ) = = i2 ( x ) (= i2 0 ( x )). (3.61)
i2 L ( x )
Veamos como actua la operacion conjugacion de carga sobre los estados de una partcula.
Para ello necesitamos introducir un operador unitario C, con C2 = 1, que transforme los
operadores creacion de la siguiente manera,
d3 p
= iC 2 p p,s
(2 )3 2E p s
b [ v (s)
( p )] ipx
e + a
p,s [ u (s)
( p )] ipx
e
= iC 2 ( x ). (3.65)
cM ( x ) = M ( x ) (3.66)
se tiene quec
CM ( x )C = M ( x )
d3 p
C p
(2 )3 2E p s
p,sb u (s)
( p ) e ipx
+ a
p,s v (s)
( p ) eipx
d3 p
= p
(2 )3 2E p s
p,s
a u (s)
( p ) e ipx
+ b
p,s v (s)
( p ) e ipx
introduce a la izquierda de la igualdad (3.67), de modo que podemos decir que C = , y es por tanto
necesariamente real, pues C = 1.
1
3.2. Campos de espn 2 53
Paridad
d3 p
= 0
p
(2 )3 2E p s
a a p,s u (s)
( p ) e ip x
(s)
b b p,s v ( p ) e ip x
es decir, la paridad intrnseca de una partcula de espn cero y la de su antipartcula son iguales.
Inversion temporal
t 7 t, p 7 p, J 7 J. (3.75)
54 Tema 3: Cuantizacion de campos libres
donde
Entonces,
d3 p
T(t, x) T = p
(2 )3 2E p
T a p,s u (s)
( p ) e ipx
+ b
p,s v (s)
( p ) e ipx
T
s
d3 p
= p
(2 )3 2E p s
p,s
a [ u (s)
( p )] ipx
e + b
p,s [ v (s)
( p )] ipx
e
d3 p
1 3
= p
(2 )3 2E p s
a p, s u (s)
( p ) e ipx
+ b
p, s v (s)
( p ) e ipx
d3 p
= 1 3 p
(2 )3 2E p s
a p,s u (s)
( p ) e ipx 0
+ b
p,s v (s)
( p ) e ipx 0
= 1 3 (t, x) , (3.79)
A0 ( x ) = 0, A = 0, (3.83)
3.3. Campo electromagnetico 55
donde ak, (ak, ) son operadores sobre el espacio de Fock que crean (destruyen) fotones.
Notese que las relaciones de conmutacion anteriores implican
i j d3 k d3 q
[ A (t, x), E (t, y)] = i q (2 )3 3 (k q)0
(2 )3 2k (2 )3 2q
p
n
ei(k q )t ei(kxqy) ei (k, )e j (q, 0 )
,0
o
+ ei ( k q ) t e i ( k x q y ) 0 ei (k, )e j (q, 0 )
,
i d3 k n
= eik(xy) ei (k, )e j (k, )
2 (2 )3
o
+ eik(xy) ei (k, )e j (k, )
d3 k ik(xy) 1 n o
2
i j i j
= i e e ( k, ) e ( k, ) + e ( k, ) e ( k, )
(2 )3
d k ik(xy) ij ki k j
3
= i e 2 igij tr ( x y). (3.90)
(2 )3 k
En el ultimo paso se ha usado que el termino entre llaves debe ser covariante bajo rota-
ciones y por tanto es una combinacion de los tensores de dos ndices bajo rotaciones que
pueden construirse con ij y ki , es decir,
ki k j 1 n o
Aij + B 2 = ei (k, )e j (k, ) + ei (k, )e j (k, ) . (3.91)
k 2
56 Tema 3: Cuantizacion de campos libres
Ak j + Bk j = 0 A = B , (3.92)
y tomando, por ejemplo, k = (0, 0, k ), e(k, 1) = (1, 0, 0) y e(k, 2) = (0, 1, 0) basta mirar
el termino i = j = 1 para fijar
1
A= (1 + 1) = 1 . (3.93)
2
Si no fuera por el termino ki k j /k2 en (3.90) habramos obtenido
ij d3 k ik(xy)
i e = iij ( x y) = igij ( x y) . (3.94)
(2 )3
Pero este termino se encarga de mantener la condicion de transversalidad del campo elec-
tromagnetico en el gauge de radiacion (k e = 0), que proviene de A = 0 y tambien
E = 0. As,
j j d3 k ik(xy) j
[ A(t, x), E (t, y)] = x [ A(t, x), E (t, y)] = i e (k k j ) = 0 , (3.95)
(2 )3
i i d3 k ik(xy) i
[ A (t, x), E(t, y)] = y [ A (t, x), E(t, y)] = i e (k ki ) = 0 . (3.96)
(2 )3
Por eso hemos introducido en (3.90) la delta transversa tr ( x y).
Ya podemos construir el espacio de Fock actuando con ak, sobre el vaco definido
por ak, |0i = 0. Aplicando el orden normal a la expresion clasica, por razones que ya
conocemos, obtenemos entonces
1 d3 k
(2 )3
3 2 2
H= d x : E +B : = k ak, ak, ,
2 =1,2
3
d k
(2 )3
P = d3 x : E B : = k ak, ak, . (3.97)
=1,2
Por tanto 2k ak, |0i es el estado de una partcula sin masa, energa k y momento
k con dos estados de polarizacion que ahora analizaremos. Aplicando el teorema de
Noether puede encontrarse (demuestrese) que la cantidad conservada bajo rotaciones es
M = d x 0 A ( x x ) Ak + d3 x ( Ai 0 A j A j 0 Ai ).
ij 3 k i j j i
(3.98)
obtenemos
Sij ak, |0i = i ei (k, )e j (k, 0 ) ei (k, 0 )e j (k, ) ak,0 |0i . (3.101)
0
Vemos que las polarizaciones lineales no son autoestados de helicidad. Sin embargo, s lo
son las polarizaciones circulares,
1
e(k, ) = (e(k, 1) ie(k, 2)) (3.103)
2
pues
1
S3 ak,+ |0i = + ak,+ |0i , ak,+ = ( ak,1 + iak,2 ) , (3.104)
2
1
S3 ak, |0i = ak, |0i , ak, = ( ak,1 iak,2 ) . (3.105)
2
Por tanto, los estados 2k ak, |0i describen partculas sin masa, espn 1 y helicidad
1.
Conviene destacar finalmente que, a pesar de que la covariancia Lorentz esta rota
por la eleccion de este gauge, se puede comprobar que si se escriben los generadores de
Poincare en terminos de operadores creacion y destruccion se satisface el algebra.
sin embargo eso no es posible pues, como hemos visto en (3.87) y (3.88), 0 ( x ) = 0. En
cambio, si el lagrangiano fuera
1 1
L0 = F F ( A )2 , (3.107)
4 2
que no es el langragiano de Maxwell, tendramos
L0 0 ( x ) = A ( x )
(x) =
(3.108)
( 0 A ) i ( x ) = F0i = Ei ( x ) (como antes)
y reescribiendo
1 1
L0 = ( A A A A ) g A A (3.109)
2 2
58 Tema 3: Cuantizacion de campos libres
L0 L0
1 1
=0 F g A =0
A ( A ) 2 2
2A A + A = 0
2A = 0 , (3.110)
F = ( A A ) = 2A A
( g A ) = A , (3.111)
donde
0 = 1 , 1 = 2 = 3 = 1 . (3.114)
hq, |k, i = 2k h0| aq, ak, |0i = 2k h0| [ aq, , ak, ] |0i = 2k (2 )3 3 (k q) .
(3.116)
fis0 A |fisi = 0 .
(3.117)
se conoce como cuantizacion de Gupta-Bleuler. Veamos que en efecto esto es suficiente para
eliminar del espacio de Fock todos los estados no fsicos. Para ello, notemos que
A = ( A )+ + ( A ) (3.118)
donde hemos separado los estados de frecuencia positiva de los de frecuencia negativa,
3
d3 k
+
( A ) = i
(2 )3 2k
k e (k, )ak, eikx
=0
3
d3 k
( A ) = i
(2 )3 2k
k e (k, )ak, eikx . (3.119)
=0
( A )+ |fisi = 0 . (3.120)
Ademas, como ( A )+ es un operador lineal, si |fis1 i y |fis2 i son estados fsicos tambien
lo son una combinacion arbitraria |fis1 i + |fis2 i. Entonces, si tenemos un estado fsico
de una partcula
h |i = 0 , h T | i = 0 h | i = h T | T i (3.125)
| i | T i si | i = | T i + c | i (3.126)
60 Tema 3: Cuantizacion de campos libres
y elegir cualquier |i de la clase |T i ya sea transverso o no, pues esta eleccion no tiene
consecuencias fsicas. En efecto, demostremos lo primero,
h |i = h0| ( ak,0 ak,3 )( ak,0 ak,3 ) |0i = h0| ( ak,0 ak,0 + ak,3 ak,3 ) |0i
= h0| ([ ak,0 , ak,0 ] + [ ak,3 , ak,3 ]) |0i = 0 (3.127)
( ak,0 ak,3 ) |i = c( ak,0 ak,3 ) |i = c( ak,0 ak,3 )( ak,0 ak,3 ) |0i = 0 (3.131)
y, por tanto
0
fis ( ak,0 ak,0 + ak,3 ak,3 ) |fisi = fis0 ( ak,0 ak,0 + ak,0 ( ak,0 ak,3 ) + ak,3 ak,3 ) |fisi
3.3.3 C, P, T
de mismo modo que el vector T [(t, x) (t, x)] T = (t, x) (t, x).
Con esto completamos las propiedades de transformacion bajo C, P y T de los cam-
pos escalares (3.69, 3.74, 3.82), espinoriales (3.65, 3.72, 3.79)d y vectorialese (3.133, 3.134,
3.135), que son los ladrillos que se usan para construir los lagrangianos que describen
la fsica de partculas elementales. Sus interacciones involucran productos invariantes
Lorentz de los campos y sus derivadas. Sabemos que las interacciones debiles violan C,
P, CP y T, aunque las interacciones fuertes y electromagneticas preservan las tres si-
metras discretas. Un resultado interesante es el teorema CPT que establece que cualquier
teora cuantica de campos (lagrangiano hermtico invariante Lorentz) es invariante bajo
la accion combinada de CPT,
d En particular, es util deducir de ellas las propiedades de transformacion de los bilineales fermionicos
(2.158) a partir de las de los campos espinoriales.
e Para un campo vectorial complejo la conjugacion de carga no es (3.133) sino CA ( x )C = A ( x ).
62 Tema 3: Cuantizacion de campos libres
Tema 4
4.1 La matriz S
63
64 Tema 4: Interacciones de campos y diagramas de Feynman
S 1 + iT
i( T T ) = T T . (4.5)
S S = 1
sera
hb| eiH (t f ti ) | ai =
hb| S | ai = lm lm b; t f a; ti . (4.7)
(t f ti ) (t f ti )
Vamos a ver que la matriz S entre estados iniciales y finales de la misma especie etique-
tados por sus momentos (supongamos por simplicidad que no tienen ndices de espn),
h p1 p2 p n | S | k1 k2 k m i = p1 p2 p n ; t f k1 k2 k m ; t i , (4.8)
entonces
d3 x eikx 0 free ( x ) .
p 3 ikx
p
2Ek ak = i d xe 0 free ( x ) , 2Ek ak = i (4.10)
En efecto,
d3 p
3 ikx 3 ikx ipx ikx ipx
i d xe 0 free ( x ) = i d x p a p e 0 e + a p e 0 e
(2 )3 2E p
d3 p
=i d x 3
p ia p ( E p + Ek )ei(k p)x + iap ( E p Ek )ei(k+ p)x
(2 )3 2E p
p
= 2Ek ak . (4.11)
4.2. La formula de reduccion de LSZ 65
Esperamos que
As que
p
(in)
p1 p2 pn ; t f k1 k2 km ; ti = 2Ek1 p1 p2 pn ; t f ak1 |k2 km ; ti i
1/2
d3 x eik1 x p1 p2 pn ; t f 0 ( x ) |k2 km ; ti i .
= iZ lm (4.15)
t
(out)
pues ak1 actua sobre p1 p2 pn ; t f destruyendo una partcula en el estado final de
momento k1 y como supondremos que en el proceso de scattering no hay partculas que
se comporten como meros espectadores (ningun ki coincide con un p j ) esta operacion da
cero. Es decir, en realidad estamos calculando la parte iT de la matriz S. Y, por otro lado,
a partir de (4.13) y (4.14),
(in) (out) 1/2 ikx
p 4
2Ek ak ak = iZ d x 0 e 0
= iZ 1/2 d4 x 0 eikx 0 0 eikx
h i
1/2
d4 x eikx 20 + ikx ikx
20 eikx
0 e ) 0
= iZ ( 0 0e
h i
1/2
= iZ d4 x eikx 20 (2 m2 )eikx
1/2
d4 x eikx 20 2 + m2
= iZ
1/2
= iZ d4 x eikx (2 + m2 )( x ) , (4.17)
de donde
h i
ikx
0= 3
d x (e 2
) = d3 x (eikx ) + eikx
h i
= d3 x (2 eikx ) + 2(eikx ) + eikx 2
h i
= d3 x (2 eikx ) eikx 2
2 ikx
3
d x e = d3 x eikx 2 . (4.21)
Se trata ahora de iterar el procedimiento hasta eliminar todas las partculas de los
estados inicial y final, dejando solamente combinaciones de campos actuando sobre el
vaco. Para ello, escribamos ahora
q
(out)
p1 p2 pn ; t f ( x ) |k2 kn ; ti i = 2E p1 p2 pn ; t f a p1 ( x ) |k2 km ; ti i
q
(out) (in)
= 2E p1 p2 pn ; t f T {( a p1 a p1 )( x )} |k2 km ; ti i (4.23)
(in)
donde hemos usado que a p1 |k2 km ; ti i = 0 y hemos tenido que introducir el producto
ordenado temporal,
( y ) ( x ) , y0 > x 0
T {(y)( x )} = (4.24)
( x ) ( y ) , y0 < x 0
que implica
(in) (in) (out) (out)
T { a p ( x )} = ( x ) a p , T{a p ( x )} = a p ( x ) . (4.25)
m+n
! !
m n
= iZ 1/2
d 4
xi e ik i xi
d 4
yj e ip j y j
i =1 j =1
N
!
d4 qi iqi xi
G ( x1 , . . . , x N ) = (2 )4
e e(q1 , . . . , q N ) ,
G (4.30)
i =1
i =1
!
n d4 p j i( p j p j )y j 2
d y j (2 )4 e
4 2
( p j m ) G e(k1 , . . . , k m , p1 , . . . , pn )
j =1
! !
m+n m n
= iZ 1/2 (k2i m2 ) ( p2j m2 ) Ge(k1 , . . . , km , p1 , . . . , pn ) (4.31)
i =1 j =1
e(k1 , . . . , k m , p1 , . . . , pn ),
y despejando G
m
! n !
i Z i Z
k2 m2 p2 m2 h p1 p2 pn | iT |k1 k2 km i
i =1 i j =1 j
m
!
n
!
= d xi e
4 ik i xi
d yj e
4 +ip j y j
h0| T {( x1 ) ( xm )(y1 ) (yn )} |0i
i =1 j =1
(4.32)
Los campos de la formula LSZ son soluciones de H = H0 + Hint y por tanto no vienen
dados por combinaciones de ondas planas, cuyos coeficientes hemos interpretado como
68 Tema 4: Interacciones de campos y diagramas de Feynman
que es un campo que coincide con el campo (t, x) de la imagen de Heisenberg sola-
mente en un tiempo de referencia t = t0 y que por definicion es un campo libre,
d3 p
I (t, x) = p ( a p eipx + ap eipx ) , (4.34)
(2 )3 2E p
cuya evolucion con el tiempo viene, por tanto, determinada por el hamiltoniano libre H0 .
Recordemos que un campo en la imagen de Heisenberg evoluciona con el tiempo segun
(t, x) = eiH (tt0 ) eiH0 (tt0 ) I (t, x)eiH0 (tt0 ) eiH (tt0 ) = U (t, t0 ) I (t, x)U (t, t0 ) , (4.37)
i U (t, t0 ) = eiH0 (tt0 ) ( H H0 )eiH (tt0 )
t
= eiH0 (tt0 ) Hint eiH0 (tt0 ) eiH0 (tt0 ) eiH (tt0 )
= H I (t)U (t, t0 ) (4.39)
0 0
i U (t, t0 ) = eiH0 (tt0 ) ( H H0 )eiH (tt ) eiH0 (t t0 )
t
0 0
= eiH0 (tt0 ) Hint eiH0 (tt0 ) eiH0 (tt0 ) eiH (tt ) eiH0 (t t0 )
= H I (t)U (t, t0 ) . (4.43)
U (t1 , t2 )U (t2 , t3 ) = eiH0 (t1 t0 ) eiH (t1 t2 ) eiH0 (t2 t0 ) eiH0 (t2 t0 ) eiH (t2 t3 ) eiH0 (t3 t0 )
= U ( t1 , t3 )
U ( t 1 , t 3 )U ( t 2 , t 3 ) = U ( t 1 , t 2 ) . (4.44)
Veamos como calcular h0| ( x1 ) ( xn ) |0i, donde ya hemos tomado las xi ordenadas
temporalmente (t1 t2 . . . tn ),
h0| ( x1 ) ( x n ) |0i
= h 0 | U ( t 1 , t 0 ) I ( x 1 )U ( t 1 , t 0 )U ( t 2 , t 0 ) I ( x 2 )U ( t 2 , t 0 ) U ( t n , t 0 ) I ( x n )U ( t n , t 0 ) | 0 i
= h 0 | U ( t 1 , t 0 ) I ( x 1 )U ( t 1 , t 2 ) I ( x 2 )U ( t 2 , t 3 ) U ( t n 1 , t n ) I ( x n )U ( t n , t 0 ) | 0 i
= h0| U (t, t0 )U (t, t1 ) I ( x1 )U (t1 , t2 ) U (tn1 , tn ) I ( xn )U (tn , t)U (t, t0 ) |0i
= h0| U (t, t0 ) T { I ( x1 ) I ( xn )U (t, t1 )U (t1 , t2 ) U (tn , t)} U (t, t0 ) |0i
t
0 0
= h0| U (t, t0 ) T I ( x1 ) I ( xn ) exp i dt H I (t ) U (t, t0 ) |0i (4.45)
t
4
h0| T I ( x1 ) I ( xn ) exp i d x H I ( x ) |0i
h0| T {( x1 ) ( xn )} |0i =
4
h0| T exp i d x H I ( x ) |0i
(4.49)
4
Hint = (4.50)
4!
H I = eiH0 (tt0 ) 4 eiH0 (tt0 )
4!
iH0 (tt0 ) iH0 (tt0 ) iH0 (tt0 ) iH0 (tt0 )
= e e e e
4!
eiH0 (tt0 ) eiH0 (tt0 ) eiH0 (tt0 ) eiH0 (tt0 ) = 4I . (4.51)
4!
si x0 y0 > 0 :
T {( x )(y)} = ( x )(y)
= + ( x )+ (y) + + ( x ) (y) + ( x )+ (y) + ( x ) (y)
= : ( x )(y) : + [+ ( x ), (y)] , (4.54)
donde se ha sustituido
Analogamente,
si x0 y0 < 0 :
T {( x )(y)} = (y)( x )
= + (y)+ ( x ) + + (y) ( x ) + (y)+ ( x ) + (y) ( x )
= : ( x )(y) : + [+ (y), ( x )] . (4.56)
b Si x0 = y0 entonces los campos ya estan ordenados temporalmente, as que tambien se cumple
ya que entonces [+ ( x ), (y)] = [+ (y), ( x )], como puede comprobarse explcitamente en (4.63, 4.64).
4.4. Propagador de Feynman. Causalidad 71
e
Ep + i
2E p
e
Ep i
2E p
Por tanto,
donde
D F ( x y ) = ( x 0 y0 ) ( x y ) + ( y0 x 0 ) ( y x ) (4.58)
y como [ a p , aq ] = (2 )3 3 ( p q),
d3 p
( x y) = [+ ( x ), (y)] = eip(xy) . (4.59)
(2 )3 2E p
d4 p i
DF ( x y) = eip(xy) , con e 0+ . (4.61)
(2 ) p m2 + ie
4 2
En efecto,
0 0 0
d4 p i d3 p ip(xy) dp0 ieip (x y )
eip(xy) = e (4.62)
(2 ) p m2 + ie
4 2 (2 )3 2 ( p0 )2 E2p + ie
(en la segunda lnea se ha cambiado p por p). Para evaluar la integral sobre p0 en
(4.62) hay que elegir el contorno apropiado sobre el plano de p0 complejo (figura 4.1). El
72 Tema 4: Interacciones de campos y diagramas de Feynman
factor ie aleja ligeramente los polos del eje real. El polo p0 = E p se desplaza hacia abajo,
p0 = E p ie/(2E p ) y el polo p0 = E p se desplaza hacia arriba, p0 = E p + ie/(2E p ).
As si x0 y0 > 0 conviene cerrar el contorno en el plano inferior, rodeando el polo
p0 = E p i0+ en sentido horario de modo que
f (z) dz = 2i Res( f , z = z0 ) si ( x0 y0 ) > 0
0 0 0 0 0 0 0 0
dp0 ieip (x y ) 0 ieip (x y ) eiEp (x y )
= 2i lm ( p E p ) = .
2 ( p0 )2 E2p + ie p0 E p (2 )( p0 + E p )( p0 E p ) 2E p
(4.65)
Por tanto,
d4 p i
DF ( x y) = eip(xy)
(2 ) p m2 + ie
4 2
d3 p ip( xy)
h
0 0 iE p ( x0 y0 ) 0 0 iE p ( x0 y0 )
i
= e ( x y ) e + ( y x ) e
(2 )3 2E p
= ( x 0 y0 ) ( x y ) + ( y0 x 0 ) ( y x ) , (4.67)
d4 p ip(xy) e i
DF ( x y) e DF ( p) e F ( p) =
D . (4.68)
(2 )4 p2 m2 + ie
c Ahora ya entendemos por que hemos introducido el factor 2 en la normalizacion covariante relativista
de los estados.
4.4. Propagador de Feynman. Causalidad 73
Causalidad
espacialmente, i.e. con ( x y)2 < 0. En tal caso ambas medidas no estan correlacionadas
y por tanto no pueden afectar una a la otra. En la practica, el principio de causalidad se
preserva siempre que se anule el conmutador de dos campos evaluados en dos puntos separados
por un intervalo espacial. Veamos que en efecto, en ese caso, el conmutador se anula.
d3 p d3 q h
ipx ipx
iqy iqy
i
[( x ), (y)] = p p a p e + a p e , a q e + a q e
(2 )3 2E p (2 )3 2Eq
d3 p d3 q n
i( px qy) i( px qy)
o
= p p e [ a ,
p qa ] + e [ a ,
p qa ]
(2 )3 2E p (2 )3 2Eq
d3 p n ip(xy) ip( x y)
o
= e e = ( x y) (y x ) , (4.74)
(2 )3
donde se ha usado [ a p , aq ] = (2 )3 3 ( p q). Ahora, si ( x y)2 < 0 podemos elegir
un sistema de referencia en el que ( x y) = (0, r ) y entonces (y x ) = (0, r ), y
como hemos visto que para puntos separados un intervalo espacial ( x y) solamente
depende del modulo de r (4.73) tenemos que ( x y) = (y x ) y
[( x ), (y)] = 0 , si ( x y)2 < 0 , (4.75)
como queramos demostrar.d En este punto es conveniente hacer dos comentarios im-
portantes.
Para entender mejor el significado de las dos contribuciones al propagador de Feyn-
man (4.58) que se cancelan en (4.74) cuando ( x y)2 < 0, hallemos el conmutador analo-
go para campos escalares complejos,
d3 p d3 q h
ipx ipx
iqy iqy
i
[( x ), (y)] = p p a p e + b p e , b q e + a q e
(2 )3 2E p (2 )3 2Eq
d3 p d3 q n
i( px qy) i( px qy)
o
= p p e [ a p , a q ] + e [ b p , b q ]
(2 )3 2E p (2 )3 2Eq
= h0| ( x ) ( y ) |0i h0| ( y ) ( x ) |0i = ( x y ) ( y x ) (4.76)
donde vemos que ( x y) es la amplitud de probabilidad de que una partcula creada
en y se propague hasta x mientras que (y x ) es la amplitud de probabilidad de que
una antipartcula creada en x se propague hasta y. Si no existieran las antipartculas se
violara el principio de causalidad! pues ambas contribuciones son necesarias y gracias
a que tienen valores identicos el conmutador (4.74) (o el (4.76) si el campo escalar es
complejo) puede anularse fuera del cono de luz impidiendo correlaciones entre observa-
ciones no conectadas causalmente.
Finalmente, notese que en lo anterior ha sido fundamental que los campos escalares
satisfacen relaciones de conmutacion y no de anticonmutacion, pues de lo contrario el
principio de causalidad no se habra preservado. Puede verse que los campos fermionicos
han de anticonmutar por la misma razon. Se pone de manifiesto entonces la estrecha
conexion entre el teorema espn-estadstica y la causalidad a nivel cuantico.
d
Si ( x y)2 > 0 (intervalo temporal) podemos elegir un sistema de referencia en el que ( x y) = (t, 0) y
entonces
d3 p eiEp t 4 e i p2 + m2 t 1 p
( x y) = 3
= 3
dp p 2 p
= 2
dE E2 m2 eiEt eimt (t )
(2 ) 2E p (2 ) 0 2 p2 + m2 4 m
as que ( x y) (y x ) 6= 0 en este caso.
4.5. Teorema de Wick 75
Hemos visto que el producto ordenado temporal de dos campos en la imagen de in-
teraccion es T {( x1 )( x2 )} = : ( x1 )( x2 ) : + DF ( x1 x2 ). Queremos ahora hallar el
producto ordenado temporal de n campos i ( xi ). El teorema de Wick, que demos-
traremos a continuacion, establece que
todas las combinaciones de orden normal
T {1 n } = : 1 n : + (4.77)
y contracciones de dos campos
T {1 2 3 4 } = : 1 2 3 4 : + : 1 2 3 4 + 1 2 3 4 + 1 2 3 4 + 1 2 3 4
+ 1 2 3 4 + 1 2 3 4 + 1 2 3 4 + 1 2 3 4 + 1 2 3 4 : , (4.79)
donde
Por consiguiente, al valor esperado en el vaco del producto ordenado temporal de cam-
pos solo contribuyen los terminos en los que todos los campos estan contrados, por
ejemplo,
h0| T {1 2 3 4 } |0i = 1 2 3 4 + 1 2 3 4 + 1 2 3 4
= D12 D34 + D13 D24 + D14 D23 (4.81)
T {1 2 n } = 1 2 n = 1 T {2 n }
+ todas las contracciones de dos
= (1 + 1 ) : 2 n + : . (4.82)
campos que no involucren a 1
1 : {2 n } : = : {1 2 n } : (4.83)
1+ : {2 n } : = : {2 n } : 1+ + [1+ , : {2 n } : ]
76 Tema 4: Interacciones de campos y diagramas de Feynman
contracciones simples
=: {1+ 2 n } :+: 1 2 3 + . . . + : (4.84)
que involucren a 1
Comprobemos esto ultimo con un ejemplo:
[1+ , : 2 3 : ] = [1+ , 2+ 3+ + 2 3 + 2 3+ + 3 2+ ]
=0 =0 + + + + =0
= 2+ + +
[
1 , 3 ]
+ + +
[ +
1 , 2 ] 3 + 2 [ 1 , 3 ] + [ 1 , 2 ] 3 + 2
[
1 , 3 ]
=0
+ [1+ , 2 ]3+ + 3 + +
[
1 , 2 ]
+ [1+ , 3 ]2+
= 2 1 3 + 1 3 2+ + 1 2 3 + 1 2 3+ =: (1 2 3 + 1 2 3 ) : (4.85)
= (4.88)
= (4.89)
4.6. Diagramas de Feynman. Reglas de Feynman 77
i=1
x y
= d4 x d4 Xd4 y d4 Y ei( p1 + p2 )X +i( p1 p2 ) 2 i(k1 +k2 )Y i(k1 k2 ) 2 DF ( x ) DF (y)
x y
+ d4 x d4 X d4 y d4 Y ei( p1 k1 )X +i( p1 +k1 ) 2 +i( p2 k2 )Y +i( p2 +k2 ) 2 DF ( x ) DF (y)
x y
+ d4 x d4 Xd4 y d4 Y ei( p1 k2 )X +i( p1 +k2 ) 2 i(k1 p2 )Y i(k1 + p2 ) 2 DF ( x ) DF (y)
i i
= (2 )4 4 ( p1 + p2 )(2 )4 4 (k1 + k2 )
p21 2
m k 1 m2
2
i i
+ (2 )4 4 ( p1 k1 )(2 )4 4 ( p2 k2 ) 2 2
p1 m p2 m2
2
i i
+ (2 )4 4 ( p1 k2 )(2 )4 4 ( p2 k1 ) 2 2
(4.91)
p1 m k 1 m2
2
x = x1 x2 , y = x3 x4 x y
x1 = X + , x3 = Y +
2 2
x1 + x2 x3 + x4
x y
X= , Y= x2 = X , x4 = Y
2 2 2 2
x1 x1 1
2 1
dx1 dx2 = x X dx dX = 1 dx dX = dx dX , etc. ,
x2 x2 1
2
x X
78 Tema 4: Interacciones de campos y diagramas de Feynman
h0| T {( x1 )( x2 )( x3 )( x4 )4 ( x )} |0ic = 4! : 1 2 3 4 x x x x :
x1 x3
x
= (4.93)
x2 x4
Hay 4! posibles combinaciones de tales contracciones, todas ellas identicas: ( x1 ) con uno
de los 4 ( x ), ( x2 ) con uno de los 3 ( x ) restantes, ( x3 ) con uno los 2 ( x ) restantes
y ( x4 ) con el ( x ) restante. El factor 4! resultante cancela el 4! que hemos introducido
en el denominador de la constante de acoplamiento (ahora vemos su conveniencia) de
modo que, a primer orden, la unica contribucion relevante al numerador de la amplitud
2 2 viene dada por el siguiente diagrama de Feynman en el espacio de momentos:
k1 p1
4
= d4 xi ei( p x + p x k x k x )
1 1 2 2 1 3 2 4
i =
1
i
4! d4 x DF ( x1 x ) DF ( x2 x ) DF ( x3 x ) DF ( x4 x )
k2 p2 4!
4
= i d4 yi d4 x ei( p + p k k )x ei( p y + p y k y k y ) DF (y1 ) DF (y2 ) DF (y3 ) DF (y4 )
1 2 1 2 1 1 2 2 1 3 2 4
i =1
4 4
= i(2 ) ( p1 + p2 k1 k2 ) D
e F ( p1 ) D
e F ( p2 ) D
e F (k1 ) D
e F (k2 ) (4.94)
donde se ha hecho el cambio de variables yi = xi x.
Hallemos ahora el denominador h0| T exp i d4 x 4 ( x ) |0i, que orden a or-
4!
den esta compuesto por diagramas desconectados y sin puntos externos formados por
combinaciones de diagramas vaco-vaco:
Vi , , , , ... (4.95)
4.6. Diagramas de Feynman. Reglas de Feynman 79
Supongamos uno de estos diagramas con ni piezas de cada tipo Vi . Si llamamos tambien
Vi al valor de la pieza de tipo i, es facil convencerse de que ese tipo de diagramas con-
V ni
tribuye al denominador con i , donde el ni ! proviene de la simetra de intercambio
ni n i !
de ni copias de Vi . Para comprobar esto, consideremos solo un tipo Vi , y que este sea el
primero de los diagramas vaco-vaco listados en (4.95). Entonces
3 1
= i d4 x x x x x 3 = V = V Vi (4.96)
4! 4! 8
2
1 1 2
= i d4 x x x x x d4 y y y y y 32 = V (4.97)
2! 4! 2! i
1 3
= V (4.98)
3! i
que viene dada por la exponencial de la suma de todos los posibles diagramas vaco-
vaco.
Notese que en el numerador tendremos, por cada diagrama conexo, la contribucion
de un numero arbitrario de diagramas vaco-vaco. Por ejemplo,
(4.100)
As que la contribucion general al numerador puede escribirse como
( )
(conexos) exp Vi . (4.101)
i
Usando estos resultados e ignorando por el momento los factores Z (pronto veremos
que Z = 1 + O(2 )), podemos calcular la amplitud de scattering 2 2 a primer orden,
que se deduce de (4.90) y (4.94),
4
Hint = : h p1 p2 | iT |k1 k2 i = i(2 )4 4 ( p1 + p2 k1 k2 ) + O(2 ) . (4.102)
4!
Ya podramos escribir algunas reglas que nos permiten obtener diagramaticamente la
amplitud de scattering, pero aun no podemos deducirlas todas ya que todava no nos
hemos encontrado con diagramas con lneas internas ni loops.
Para ilustrar el caso de diagramas con lneas internas, vamos a suponer que nuestro
3
proceso 2 2 se debe a una interaccion distinta, Hint = 3! ( x ). Si buscamos los dia-
gramas conexos a orden mas bajo que den una contribucion no nula encontramos que la
primera contribucion es a O(2 ) y viene dada por los siguientes diagramas:
x1 y1 x1 y1 x1 y1
x x
x y + + +( x y)
x2 y2 x2 y y2 x2 y y2
Calculemos en detalle la contribucion del primero (se incluye la suma del mismo inter-
cambiando x e y) que representaremos mediante el correspondiente diagrama de Feyn-
man en el espacio de momentos:
k1 p1
k1 + k2
k2 p2
= d4 x1 d4 x2 d4 y1 d4 y2 ei( p1 x1 + p2 x2 k1 y1 k2 y2 )
1 i 2
(3!) 2 d4 xd4 y DF ( x1 x ) DF ( x2 x ) DF ( x y) DF (y y1 ) DF (y y2 )
2
2! 3! | {z }
DF ( x1 ) DF ( x2 ) DF (y1 ) DF (y2 ) DF ( x y)
2e
= (i) DF ( p1 ) D
e F ( p2 ) D e F (k2 ) d4 xd4 y ei( p1 + p2 )x+i( p1 + p2 k1 k2 )y DF ( x )
e F (k1 ) D
= (i)2 (2 )4 4 ( p1 + p2 k1 k2 ) D
e F (k1 + k2 ) D
e F ( p1 ) D
e F ( p2 ) D
e F (k1 ) D
e F (k2 ) (4.103)
donde el factor (3!)2 proviene de todas las contracciones de Wick equivalentes a la dada
y el factor 2 del intercambio de x con y. Tambien se ha hecho el cambio de variables
xi = xi x, yi = yi y y posteriormente x = x y. Como en (4.94), hemos obtenido
4.6. Diagramas de Feynman. Reglas de Feynman 81
k1 p1 k 1 p1 k1 p1
k1 + k2 k 1 p1 k 1 p2
+ +
k2 p2 k 2 p2 k2 p2 (4.104)
obtenemos
3
Hint = : h p1 p2 | iT |k1 k2 i = (i)2 (2 )4 4 ( p1 + p2 k1 k2 )
3!
[D e F (k1 p2 )] + O(4 ) .
e F ( k 1 p1 ) + D
e F (k1 + k2 ) + D
(4.105)
Notese que las integrales sobre las coordenadas de los puntos de interaccion implican la
conservacion del cuadrimomento en cada vertice.
Veamos ahora que ocurre cuando hay loops en los diagramas. Volvamos a la teora
4 . Para hallar la contribucion de O(2 ) a la amplitud 2 2 necesitamos calcular los
siguientes diagramas conexos:
x1 y1 x1 x y1 x1 x y1
x y + + +( x y)
x2 y2 x2 y y2 x2 y y2
En todos aparece un loop formado por dos lneas internas que comparten punto inicial y
final.e Miremos con detalle la contribucion del primero de estos diagramas (incluyendo
la suma del mismo intercambiando x e y) que representaremos mediante el siguiente
diagrama de Feynman en el espacio de momentos:
k1 q p1
k2 k1 + k2 q p2
e Un loop tambien puede provenir de una lnea interna que empieza y acaba en el mismo punto. Vease
= d4 x1 d4 x2 d4 y1 d4 y2 ei( p1 x1 + p2 x2 k1 y1 k2 y2 )
1 i 2 4 2
2 2 d4 xd4 y DF ( x1 x ) DF ( x2 x ) D2F ( x y) DF (y y1 ) DF (y y2 )
2! 4! 2 | {z }
k1 q p1 k1 p1 k1 p1
+ p1 k 1 + q q + p2 k 1 + q q
k2 k1 + k2 q p2 k2 p2 k2 p2
obtenemos
4
Hint = :
4!
h p1 p2 | iT |k1 k2 i = (2 )4 4 ( p1 + p2 k1 k2 )
d4 q e
1 2
i + (i) e F (k1 + k2 q)
[ DF (q) D
2 (2 )4
+D e F ( k 1 p1 q )
e F (q) D (4.108)
+D e F (k1 p2 q)] + O(3 ) .
e F (q) D
4.6. Diagramas de Feynman. Reglas de Feynman 83
Si evaluamos las integrales del loop veremos que son divergentes en el ultravioleta, pues
tienden a infinito cuando q se hace grande. Para dotar de sentido a esta correccion in-
finita a la prediccion que habamos obtenido a orden mas bajo en TP tendremos que
renormalizar la teora. Abordaremos este problema en el Tema 7.
Hasta ahora hemos ignorado los factores Z (renormalizacion de la funcion de onda)
que aparecen en la formula LSZ. Tambien hemos ignorado diagramas en los que el
propagador de alguna de las patas externas sufre una correccion como, por ejemplo:f
k1 q p1
que, aparte de la correccion debida al loop (que resulta ser divergente en el ultravioleta),
tiene un polo doble en D e F (k1 ) que no se cancela con el correspondiente polo simple de
la formula LSZ, y por tanto nos da infinito. Notese que la correccion a la pata externa
factoriza y se puede leer directamente del siguiente diagrama
q 1 d4 q i
=D
e F ( p)(iB) D
e F ( p) , iB = (i) . (4.110)
2 (2 )4 q2 m2
p p
p + + +
=D
e F ( p) + De F ( p)(iB) D e F ( p) + D e F ( p)(iB) De F ( p)(iB) D
e F ( p) + . . .
h i
=D
e F ( p) 1 + (iB D e F ( p)) + (iB D e F ( p))2 + . . .
!
1 i 1 i
=D
e F ( p) = 2 2 B
= 2 2B
. (4.111)
1 + iB DF ( p)
e p m 1 p2 m2 p m
Vemos que el efecto neto de este tipo de correcciones consiste en desplazar la masa de
m2 a m2 + B. Podemos anadir tambien otras correcciones, como por ejemplo la correc-
las demas. Para ello, sumamos todos los diagramas con dos patas externas que sean
one-particle irreducible (aquellos diagramas que no se separan en dos si cortamos solo
una lnea interna) y llamamos iM2 ( p2 ) a la contribucion de todos los diagramas 1PI
f En adelante omitiremos el ie de la prescripcion de Feynman, que asumiremos implcitamente.
84 Tema 4: Interacciones de campos y diagramas de Feynman
Ahora podemos resumar todas las correcciones al propagador por el mismo procedi-
miento de antes. Llamemos m0 al parametro de masa que hemos introducido en el la-
grangiano. Entonces el propagador completo (a todo orden en TP) es
i i i
= 2
+ 2 2
[iM2 ( p2 )] 2 +...
p2
m0 p m0 p m20
" 2 2 2 #
i M 2 ( p2 ) M (p )
= 2 1+ 2 + +...
p m20 p m20 p2 m20
i 1 i
= = 2 . (4.113)
p2 m20 2 2
M (p ) p m 2
0 M 2 ( p2 )
1 2
p m20
p2 m20 M2 ( p2 ) p2 =m2 = 0 .
(4.114)
dM2
2
p m20 2 2
M (p ) = p 2
m20
M (m ) 2 2
( p2 m2 ) + . . .
dp2 p2 =m2
!
dM2
2 2
= (p m ) 1 (cerca de p2 = m2 ) . (4.115)
dp2 p2 =m2
Por tanto,
iZ
= + regular cerca de p2 = m2 (4.116)
p2 m2
donde
! 1
dM2
m2 = m20 + M2 (m2 ) , Z= 1 . (4.117)
dp2 p2 =m2
amputar
Amputada
k1 p1
.. ..
. .
m+n
h p1 . . . pn | iT |k1 . . . km i = Z Amp. (4.119)
.. ..
. .
km pn
Con esto ya podemos dar las reglas de Feynman para campos escalares reales en el
espacio de momentos. Consideremos que la interaccion de los campos es de la forma
N
Hint = N! . Entonces para calcular la amplitud del proceso de scattering de m n
partculas:
1. Dibujar todos los diagramas conexos amputados con m patas entrantes y n salientes
unidos en vertices de N patas.
e F ( p) = i
4. Asociar a cada lnea interna de momento p un factor D .
p2 m2 + ie
86 Tema 4: Interacciones de campos y diagramas de Feynman
m+n
donde iM incluye los factores Z , que son irrelevantes en calculos a orden
mas bajo en teora de perturbaciones, pero son importantes para hallar correcciones
de orden superior.
Consideremos un diagrama con lneas internas, como por ejemplo (4.103). La formula
LSZ exige que pongamos las partculas entrantes y salientes sobre su capa de masas,
y ademas impone conservacion del cuadrimomento en los vertices, lo que significa que
la partcula intermedia que se propaga entre dos vertices estara off-shell,
Si elegimos, por ejemplo, el sistema de referencia centro de masas de las dos partculas
entrantes,
k1 = ( E, 0, 0, k ) , k2 = ( E, 0, 0, k ) k1 k2 = E2 + k2 = m2 + 2k2
p2interm = 4(m2 + k2 ) 6= m2 . (4.123)
Es facil comprobar que el p2interm de las lneas internas de los otros dos diagramas en
(4.104) es incluso negativo. As que en TQC los estados intermedios que se propagan
entre vertices de interaccion son partculas virtuales, i.e. estan fuera de su capa de masas.
: a p,r aq,s ak,t : = (1)2 ak,t a p,r aq,s = (1)3 ak,t aq,s a p,r . (4.124)
4.6. Diagramas de Feynman. Reglas de Feynman 87
Del mismo modo, debemos definir de forma consistente el orden temporal de dos cam-
pos fermionicos,
y analogamente para T {( x1 )( x2 )} y T {( x1 )( x2 )}. As, por ejemplo, si x30 > x10 >
x40 > x20 entonces
T {( x1 )( x2 )( x3 )( x4 )} = ( x3 )( x1 )( x4 )( x2 ) . (4.126)
Veamos a hora como definir la contraccion de Wick de dos campos fermionicos, para
obtener una expresion analoga a la de campos escalares,
(4.128)
tenemos queg
+
( x )(y) = ( x0 y0 ){+ ( x ), (y)} (y0 x0 ){ ( x ), (y)} (4.130)
g Si x0 = y0 entonces los campos ya estan ordenados temporalmente, as que tambien se cumple
T {( x )(y)} = ( x )(y) =: ( x )(y) : +{+ ( x ), (y)} = : ( x )(y) : +( x )(y)
+
ya que entonces {+ ( x ), (y)} = { ( x ), (y)}, como puede comprobarse explcitamente en (4.135).
88 Tema 4: Interacciones de campos y diagramas de Feynman
Puede mostrarse que el teorema de Wick tiene la misma forma para campos fermionicos.
Hay que tener cuidado porque el orden normal de contracciones de Wick fermionicas
puede llevar aparejado un cambio de signo. Por ejemplo,
: 1 2 : = 2 1
: 1 2 3 4 : = 1 3 2 4 . (4.132)
Como el valor esperado en el vaco del orden normal de operadores es cero, tenemos
que, analogamente al caso de campos escalares, el propagador de Feynman para fermiones
es
Por tanto,
d4 p i( /
p + m) ip(xy) d4 p i
SF ( x y) = e = eip(xy) (4.135)
(2 )4 p2 m2 + ie (2 )4 /
p m + ie
y, en el espacio de momentos,
i
SeF ( p) = d4 x SF ( x y)eip(xy) = (4.136)
p m + ie
/
donde hemos usado que /p/p = p2 . Vemos que el propagador de fermiones es una funcion
de Green del operador de Dirac pues
x m)SF ( x y) = (2x + m2 ) DF ( x y) = i4 ( x y) .
(i/ (4.137)
4.6. Diagramas de Feynman. Reglas de Feynman 89
Es muy importante notar que SeF ( p) 6= SeF ( p), as que hay que tener cuidado con el signo
del momento.
Para hallar la matriz S entre estados fermionicos necesitamos despejar los operadores
creacion y destruccion del campo libre free ,
d3 p h i
free ( x ) = p
(2 )3 2E p
a p,s u(s) ( p)eipx + bp,s v(s) ( p)eipx (4.138)
s
lo que conduce a
d3 x u(r) (k)eikx 0 free ( x )
p
2Ek ak,r = (4.139)
d3 x v(r) (k)eikx 0 free ( x )
p
2Ek bk,r = (4.140)
d3 x free ( x )0 eikx u(r) (k)
p
2Ek ak,r = (4.141)
d3 x free ( x )0 eikx v(r) (k) .
p
2Ek bk,r = (4.142)
En efecto,
d3 x u(r) (k)eikx 0 free ( x )
d3 p h i
= d3 x p
(2 )3 2E p s
a p,s u (r )
( k ) 0 (s)
u ( p ) e i( k p ) x
+ b
p,s u (r )
( k ) 0 (s)
v ( p ) e i( k + p ) x
1 h i p
=
2Ek s
k,sa u (r )
( k ) 0 (s)
u ( k ) + b
k,s u (r )
( k ) 0 (s)
v ( k ) = 2Ek ak,r (4.143)
u(r) (k)0 u(s) (k) = 2Ek rs , u(r) (k)0 v(s) (k) = 0 (4.144)
y lo mismo para los demas. Igual que para campos escalares, esperamos que
y su diferencia nos da una expresion covariante que necesitaremos como paso inicial
para obtener la formula LSZ, usando (4.18),
(in) (out) 1/2
d3 x ( x )0 eikx u(r) (k)
p
2Ek ak,r ak,r =Z lm lm
t t+
1/2
= Z d4 x 0 ( x )0 eikx u(r) (k)
1/2
= iZ d4 x ( x )(i /x +m)eikx u(r) (k) . (4.148)
(4.152)
y puede verse que, podemos sustituir a continuacion, por ejemplo, un antifermion entrante
de momento k2 y espn s por
p1 p n ; t f ( x1 ) | k2 k m ; t i i
p
(in) (out)
= 2Ek2 p1 pn ; t f T {( x1 )(bk2 ,s bk2 ,s )} |k3 km ; ti i
= iZ 1/2 d4 x2 ek2 x2 v(s) (k2 )(i/
x2 m) p1 pn ; t f T {( x1 )( x2 )} |k3 km ; ti i .
(4.153)
mf
!
m
nf ! n
i Z i Z i Z i Z
k/i m k/i + m /p j m /p j + m h p1 p2 pn | iT |k1 k2 km i
i =1 i = m f +1 j =1 j = n f +1
m
!
n
!
m nf
(s0 )
= d xi e
4 ik i xi
d yj e
4 +ip j y j
v (k i ) u j ( p j )
( si )
i =1 j =1 i = m f +1 j =1
m mf nf n mf n
(r 0j )
h0| T
i =m ( xi ) ( xi ) ( y j ) (y j ) |0i u (ri ) ( k i ) v ( pj )
f +1 i =1 j =1 j = n f +1 i =1 j = n f +1
Veamos un caso particular sencillo, que es aplicacion directa del resultado que hemos
encontrado en (4.152) y (4.153). Estudiemos el scattering 2 2,
Supongamos, para aliviar la notacion, que todos los campos tienen la misma masa m. La
amplitud de scattering viene dada por
h p1 p2 | iT |k1 k2 i
2 2
1/2 1/2
= iZ iZ d4 x1 d4 x2 d4 x3 d4 x4 ei( p1 x1 + p2 x2 k1 x3 k2 x4 ) (2x1 + m2 )(2x2 + m2 )
v(s) (k2 )(i/
x4 m) h0| T {( x1 )( x2 )( x3 )( x4 )} |0i (i /x3 +m)u(r) (k1 )
2 2
= iZ1/2 iZ1/2 ( p21 m2 )( p22 m2 ) d4 x1 d4 x2 d4 x3 d4 x4 ei( p1 x1 + p2 x2 k1 x3 k2 x4 )
Aplicamos el teorema de Wick y nos fijamos en las dos contribuciones conexas, que
aparecen a orden g2 ,
(A) x4 x2
x
+ ( x y)
x3 y x1
: 1 2 3 4 x x x y y y : : 1 2 3 4 x x x y y y :
(4.157)
= 1 y 2 x 4 x x y y 3 = 1 x 2 y 4 y y x x 3
(B) x4 x2
x
+ ( x y)
x3 y x1
: 1 2 3 4 x x x y y y : : 1 2 3 4 x x x y y y :
(4.158)
= 1 x 2 y 4 x x y y 3 = 1 y 2 x 4 y y x x 3
Consideremos el primero de los dos diagramas posibles, cuya contribucion basta mul-
tiplicar por 2 para incluir el diagrama equivalente resultante de intercambiar x por y.
92 Tema 4: Interacciones de campos y diagramas de Feynman
h p1 p2 | iT |k1 k2 i A
2 2 4
= 2 iZ 1/2 1/2
iZ 2 2 2 2
( p1 m )( p2 m ) d4 xi d4 xd4 y ei( p x + p x k x k x )
1 1 2 2 1 3 2 4
i =1
1
(ig)2 (1) DF ( x1 y) DF ( x2 x )
2!
v (k2 )(k/2 + m)SF ( x4 x )SF ( x y)SF (y x3 )(k/1 m)u(r) (k1 )
(s)
4
= (ig)2 ( p21 m2 )( p22 m2 ) d4 xi d4 xd4 y ei( p1 x1 + p2 x2 +k1 x3 k2 x4 ) ei( p2 k2 )x+i( p1 k1 )y
i =1
DF ( x1 ) DF ( x2 )v (k2 )(k/2 + m)SF ( x4 )SF ( x y)SF ( x3 )(k/1 m)u(r) (k1 )
(s)
= (ig) i 2 2
d4 xd4 y ei( p2 k2 )x+i( p1 k1 )y
i i
v(s) (k2 )(k/2 + m) SF ( x y) (k/1 m)u(r) (k1 )
k/2 m k/1 m
= (ig) 2
d4 xd4 y ei( p2 k2 )x ei( p1 + p2 k1 k2 )y v(s) (k2 )SF ( x )u(r) (k1 )
i
= (ig)2 (2 )4 4 ( p1 + p2 k1 k2 )v(s) (k2 ) u (r ) ( k1 ) (4.159)
p2 k/2 m
/
h p1 p2 | iT |k1 k2 i B
4
= (ig)2 ( p21 m2 )( p22 m2 ) d4 xi d4 xd4 y ei( p x + p x k x k x )
1 1 2 2 1 3 2 4
i =1
DF ( x1 x ) DF ( x2 y)v(s) (k2 )(k/2 + m)SF ( x4 x )SF ( x y)SF (y x3 )(k/1 m)u(r) (k1 )
4
= (ig) ( p1 m )( p2 m ) d4 xi d4 xd4 y ei( p1 x1 + p2 x2 +k1 x3 k2 x4 ) ei( p1 k2 )x+i( p2 k1 )y
2 2 2 2 2
i =1
DF ( x1 ) DF ( x2 )v (k2 )(k/2 + m)SF ( x4 )SF ( x y)SF ( x3 )(k/1 m)u(r) (k1 )
(s)
= (ig) i 2 2
d4 xd4 y ei( p1 k2 )x+i( p2 k1 )y
i i
v(s) (k2 )(k/2 + m) SF ( x y) (k/1 m)u(r) (k1 )
k/2 m k/1 m
= (ig) 2
d4 xd4 y ei( p1 k2 )x ei( p1 + p2 k1 k2 )y v(s) (k2 )SF ( x )u(r) (k1 )
i
= (ig)2 (2 )4 4 ( p1 + p2 k1 k2 )v(s) (k2 ) u (r ) ( k1 ) (4.160)
p1 k/2 m
/
k1 p1 k1 p1
k 1 p1 + k 1 p2
k2 p2 k2 p2
La direccion del momento en una lnea fermionica es relevante. Se toma entrante pa-
ra estados iniciales y saliente para estados finales. El momento coincide con la direccion
del flujo de numero fermionico para las lneas internas y para los estados de partcula (para
un electron se toma la direccion de la carga negativa), pero el momento tiene sentido
contrario al flujo para las antipartculas. Las lneas fermionicas se representan mediante
lneas continuas y el flujo fermionico mediante una flecha insertada en la lnea. Desde
ahora reservaremos las lneas discontinuas para los bosones escalares. Para escribir las
reglas de Feynman hay que recorrer cada lnea fermionica en sentido contrario al flu-
jo fermionico, asignando espinores, vertices y propagadores segun vayan apareciendo.
Veamos cuales son las reglas de la teora de Yukawa, que pueden deducirse del calculo
anterior:
1. Para hallar la amplitud de scattering, no hay que escribir los propagadores externos
ni para escalares ni para fermiones, pues se cancelan en la formula LSZ. Basta
dibujar todos los diagramas conexos amputados. Podemos ignorar los factores Z
a orden mas bajo en TP, pero habra que incluirlos en correcciones de orden superior.
Los consideraremos incluidos dentro de la amplitud invariante iM que se define,
como ya hemos visto, extrayendo de la matriz S el factor (2 )4 4 (i pi j k j ).
2. Asociar espinores a las patas fermionicas externas del siguiente modo (supondre-
mos que el tiempo fluye de izquierda a derecha):
= v(s) ( p ) = v(s) ( p )
p p
= ig
4. Propagadores:
94 Tema 4: Interacciones de campos y diagramas de Feynman
p
i
=
p2 m2 + ie
p
i( /
p + m)
=
p2 m2 + ie
5. Hay que tener cuidado con los signos relativos entre diagramas que involucren
varias lneas fermionicas debido a las contracciones de Wick. Por ejemplo, los si-
guientes diagramas contribuyen con signos opuestos a la amplitud porque entre
ellos hay una permutacion impar de los campos fermionicos:
k1 p1 k1 p1
k2 p2 k2 p2
2 i i
iM = (ig) u ( p2 ) u ( k 2 ) u ( p1 ) u ( k 1 ) u ( p2 ) u ( k 1 ) u ( p1 ) u ( k 2 )
( k 1 p1 )2 m2 ( k 1 p2 )2 m2
= = Tr = Tr(SeF SeF SeF SeF )
Tema 5
Observables
h p |qi = 2E p (2 )3 3 ( p q) , (5.3)
y por tanto,
n
| p1 p2 pn i = (2E pi V )1/2 | p1 p2 pn i(NR) . (5.7)
i =1
95
96 Tema 5: Observables
S f i = f i + (2 )4 4 ( Pf Pi ) iT f i (5.8)
d3 p Vd3 p
dN = 2E p V = . (5.14)
(2 )3 2E p (2 )3
1
d = |M f i |2 dn (5.17)
2Ek
!
n n d3 p j
dn = (2 ) 4 4
p j Pi (2 )3 2Ej
. (5.18)
j =1 j =1
P, M
p2 , m2
d3 p1 = | p1 |2 d| p1 |d (5.20)
(| p1 | | p|)
( E1 + E2 ECM ) = ( f (| p1 |) = 0 (5.21)
| f (| p1 | = | p|)|
q q
E1 = m1 + | p1 | , E2 = m22 + | p1 |2
2 2 (5.22)
|p | |p | E1 + E2
f E1 f E2
f 0 (| p1 |) = + = 1 + 1 = | p1 | . (5.23)
E1 | p1 | E2 | p1 | E1 E2 E1 E2
98 Tema 5: Observables
Como estamos estudiando la desintegracion de una partcula, ECM = M. Notese que las
masas M, m1 y m2 determinan completamente la energa y los momentos finales:
M2 m22 + m21 M2 m21 + m22
E1 = , E2 = ,
2M 2M
2 1/2
[ M (m1 + m2 )2 ][ M2 (m1 m2 )2 ]
| p | | p1 | = | p2 | = . (5.24)
2M
La anchura total se obtiene sumando las anchuras parciales a todos los canales de desinte-
gracion. Su inversa es la vida media de la partcula,
= 1 (5.25)
v
vt
A NB
Blanco
NH
Haz
Figura 5.1: Blanco con NB partculas bombardeado por un haz de NH partculas de velocidad v.
La seccion eficaz es el area efectiva de una partcula (blanco) vista por un proyectil
(en el haz incidente). Supongamos que en el blanco hay NB partculas y que la superficie
de colision es A. Entonces, la probabilidad de colision es
NB
P= . (5.26)
A
Si en el haz hay NH partculas, entonces el numero de sucesos es NH P,
NB (# sucesos)
(# sucesos) = NH = A. (5.27)
A NH NB
En la practica, el haz esta formado por una nube de partculas de densidad que se
mueven con velocidad v, as que
(# sucesos) (# sucesos)
NH = vtA = A=
vtANB v tNB
probabilidad de transicion por unidad de tiempo
=
flujo incidente
n Vd3 p j
(2 )4 4 ( Pf Pi )V |T f i |2
j =1
(2 )3
d = , (5.28)
v
5.3. Seccion eficaz 99
k 1 = ( E H , k1 ) , k 2 = ( EB , k2 )
(k1 k2 ) M12 M22 = ( EH EB + |k1 ||k2 |)2 M12 M22 = | EB k1 EH k2 |2 ,
2
(5.30)
donde hemos supuesto que los dos haces son colineales al tomar k1 k2 = |k1 ||k2 |. Por
tanto, a partir de (5.28) y (5.29), la seccion eficaz de |i i = |k1 k2 i a | f i = | p1 p2 pn i
queda
(2 )4 4 ( Pf Pi )|T f i |2 n Vd3 p
2 j
d = 2 2
2E H 2E B V 3
. (5.31)
2
4 {( k1 k2 ) M1 M2 } 1/2
j =1
(2 )
1
d = |M f i |2 dn (5.32)
4 {( k1 k2 )2 M12 M22 }1/2
Notese que si hay nr partculas identicas de la especie r en el estado final la seccion eficaz
total, tras integrar sobre el espacio fasico, debe dividirse por el factor de simetra
S= nr ! . (5.33)
r
Y si el estado incial no esta polarizado y/o la polarizacion del estado final no se mi-
de debe promediarse sobre las polarizaciones iniciales y/o sumarse sobre las finales,
respectivamente.
Consideremos ahora el caso particular del scattering 2 2 en el sistema CM:
k1 , M1 p1 , m1
k2 , M2 p2 , m2
As que
d 1 | p|
= 2
|M f i |2 . (5.35)
d 64 ECM |k|
2
k0
V ( x)
k
Para hallar el potencial recordemos que la seccion eficaz elastica de dispersion de una
partcula de masa m por un potencial V ( x) es
d
= | f ( )|2 (5.38)
d
donde es el angulo de scattering y f ( ) es la amplitud de scattering no relativista, que
puede calcularse perturbativamente. A primer orden (aproximacion de Born),
m
f ( ) = d3 x eiq x V ( x) , q = k0 k , k = |k| = |k0 | . (5.39)
2
5.4. Lmite no relativista: potenciales de interaccion 101
Consideremos k m (propio del lmite NR) y sea el blanco que genera el potencial
una partcula muy pesada de masa M A m. Esta es, por ejemplo, la situacion tpica
cuando un electron es dispersado por un nucleo, de modo que podemos despreciar el
retroceso del nucleo. Diagramaticamente:
k k0 k k0
1 |k0 | 1
delast = 2
|M f i |2 d |M f i |2 d . (5.41)
64 2 ECM |k| 64 2 M2A
M f i = (2Ek V )1/2 (2Ek0 V )1/2 (2E A V )1/2 (2E A V )1/2 T f i 4mM A V 2 T f i , (5.42)
de modo que en el lmite NR, ignorando los factores de V que sabemos deben cancelarse
en la formula correcta,
m2
delast |T |2 d (5.43)
4 2 f i
lo que, comparando con (5.38), nos dice que
m
f ( ) = T , (5.44)
2 f i
donde el signo global es el apropiado segun demostrara un calculo concreto, y a partir
de (5.39),
3 iq x d3 q iq x
T f i (q) = d x e V ( x) V ( x) = e T f i (q) . (5.45)
(2 )3
1 1
L = F F ( A )2 , (6.1)
4 2
1 1
L = ( A A A A ) g A A (6.2)
2 2
de modo que
L L 1
=0 F + A = 0
A ( A )
a En presencia de interacciones la independencia en se logra siempre que A se acople a la materia
respetando la invariancia gauge, es decir si lo hace a una corriente conservada.
103
104 Tema 6: Procesos elementales en QED
1
2A 1 A = 0
1
g 2 1
A = 0
(6.3)
Ya sabemos que el propagador es una funcion de Green del operador que actua sobre el
campo en la ecuacion anterior. En el espacio de momentos, el propagador del foton es,
por tanto, el inverso de
2 1
k g + 1 k k . (6.4)
Notese que este operador es invertible gracias a que hemos introducido el termino de
gauge fixing, pues k2 g + k k es singular (tiene autovalor nulo k ), lo que tiene que
ver con la simetra gauge: A0 = A + tambien es solucion de ( g 2 ) A = 0.
El inverso de (6.4), incluyendo la prescripcion de Feynman que ya hemos discutido, es el
propagador del foton
i k k
DF (k) = 2
e g + (1 ) 2
(6.5)
k + ie k
En efecto,
e (k ) 2 1
D F k g + 1 k k = i . (6.6)
La eleccion del signo global es la apropiada pues, mientras que para campos escalares
las reglas de conmutacion son [ a p , aq ] = (2 )3 3 ( p q), para el campo de Maxwell con
= 1 son [ a p, , aq,0 ] = 0 (2 )3 3 ( p q) = g0 (2 )3 3 ( p q), segun vimos en
(3.113).
Recordemos que las ecuaciones de Maxwell en presencia de fuentes vienen descritas a
nivel clasico a partir del lagrangiano invariante gauge U(1) que se obtiene introduciendo
en el lagrangiano de Dirac una derivada covariante (2.213) lo que conduce al acoplamien-
to mnimo del campo electromagnetico con cargas y corrientes j = (, j) = eQ f ,
donde Q f es la carga electrica en unidades de e del fermion f aniquilado por el campo
. De esta forma se obtiene el lagrangiano de la electrodinamica clasica (2.215). Para
describir la interaccion electromagnetica a nivel cuantico (QED) hemos de fijar el gauge,
como en (6.1), e interpretar las interacciones entre campos cuanticos como intercambio
de partculas (fotones, electrones y antielectrones o positrones). El lagrangiano de partida
es
1 1
LQED = (i D / m) F F ( A )2 , D = + ieQ f A (6.7)
4 2
que contiene una interaccion de la forma
Lint = eQ f A . (6.8)
Para hallar perturbativamente la matriz de scattering de un proceso en QED basta con
aplicar las reglas de Feynman correspondientes. Respecto a los casos que hemos tratado
en el tema anterior, las novedades son: el propagador del foton, que se lee directamente
de (6.5), el vertice de interaccion, que se deduce trivialmente de (6.8), y un factor de
polarizacion cuando el foton se encuentra en una pata externa, que no existe en el caso
de un campo escalar. Resumimos a continuacion las reglas de Feynman de la QED:
6.2. Un proceso sencillo: e+ e + 105
Patas externas:
= v(s) ( p ) = v(s) ( p )
p p
= e (k, ) = e (k, )
k k
Vertice:
= ieQ f
Propagadores:
i k k
= g
( 1 )
k k2 + ie k2
p
i( /
p + m)
=
p2 m2 + ie
e+ +
k1 p1
k2 q p2
e
y una masa M unas 200 veces mayor que la masa m del electron. Vamos a hallar paso a
paso y en detalle la seccion eficaz de este proceso.
En primer lugar, asignamos momentos a todas las partculas del diagrama y usamos
la conservacion del cuadrimomento en cada vertice, lo que fija el cuadrimomento del
foton virtual que se propaga entre los dos vertices de interaccion,
q = k 1 + k 2 = p1 + p2 . (6.9)
Las patas externas son fermiones, cuyos espines etiquetamos mediante ndices r1 , r2 , s1 , s2
que toman dos valores posibles (1,2).
Aplicando las reglas de Feynman, recorriendo cada lnea fermionica en sentido con-
trario al flujo fermionico, el elemento de matriz invariante viene dado por
i q q (r1 )
iM = u ( p2 )(ie )v ( p1 ) 2 g (1 ) 2 v (k1 )(ie )u(r2 ) (k2 ) . (6.10)
( s2 ) ( s1 )
q q
Notese que como los fermiones externos estan sobre su capa de masas satisfacen las
respectivas ecuaciones de Dirac,
k/1 v(r1 ) (k1 ) = mv(r1 ) (k1 ) , k/2 u(r2 ) (k2 ) = mu(r2 ) (k2 ) , (6.11)
q v(r1 ) (k1 ) u(r2 ) (k2 ) = v(r1 ) (k1 )(k/1 + k/2 )u(r2 ) (k2 ) = 0 . (6.12)
e 2 ( s2 )
M= u ( p 2 ) v ( s 1 ) ( p 1 ) v ( r 1 ) ( k 1 ) u ( r 2 ) ( k 2 ) . (6.13)
q2
(u v) = v 0 u = v 0 0 0 u = v u , (6.14)
donde se ha usado
u = u 0 , = , 0 0 = . (6.15)
e 4 ( s2 )
|M|2 = u ( p 2 ) v ( s 1 ) ( p 1 ) v ( s 1 ) ( p 1 ) u ( s 2 ) ( p 2 ) v ( r 1 ) ( k 1 ) u ( r 2 ) ( k 2 ) u ( r 2 ) ( k 2 ) v ( r 1 ) ( k 1 ) .
q4
(6.16)
Podemos ahora hacer uso de las propiedades de espinores y matrices de Dirac, que
conducen a multitud de identidades (Diracologa). En particular, puede verse que los dos
estados de espn a lo largo del eje z satisfacen
1 + 5 n
/
u (1) ( p ) u (1) ( p ) = (/
p + m) , (6.17)
2
6.2. Un proceso sencillo: e+ e + 107
1 5 n
/
u (2) ( p ) u (2) ( p ) = (/
p + m) , (6.18)
2
1 + 5 n
/
v (1) ( p ) v (1) ( p ) = p m) ,
(/ (6.19)
2
1 5 n
/
v (2) ( p ) v (2) ( p ) = p m) ,
(/ (6.20)
2
donde n = (0, 0, 0, 1) en el sistema de referencia en el que p = (m, 0, 0, 0). En general,
1 + 5 n
/ 1 + 5 n
/
u( p, n)u( p, n) = (/
p + m) , v( p, n)v( p, n) = p m)
(/ (6.21)
2 2
proyectan sobre polarizaciones bien definidas a lo largo de una direccion n , que cumple
n2 = 1 y p n = 0. Si elegimos, por simplicidad, el eje z como direccion del movimien-
to, p = ( E, 0, 0, | p|), los operadores anteriores proyectan sobre los dos estados de helici-
dad de partcula y antipartcula, respectivamente, si tomamos n = (| p|/m, 0, 0, E/m).
En particular, en el lmite ultrarrelativista (E m) los proyectores sobre quiralidades
right y left de partcula y antipartcula son:
1 + 5 n
/ 1 + 5
u (1) ( p ) u (1) ( p ) = (/
p + m) u R ( p)u R ( p) = (/p + m) , (6.22)
2 2
1 5 n
/ 1 5
u (2) ( p ) u (2) ( p ) = (/
p + m) u L ( p)u L ( p) = (/
p + m) , (6.23)
2 2
1 + 5 n
/ 1 5
v (1) ( p ) v (1) ( p ) = p m)
(/ v L ( p)v L ( p) = (/p m) , (6.24)
2 2
1 5 n
/ 1 + 5
v (2) ( p ) v (2) ( p ) = p m)
(/ v R ( p)v R ( p) = p m) .
(/ (6.25)
2 2
Otra propiedad que se demuestra facilmente de lo anterior es
1 + 5 n 1 + 5 n
/ /
u( p, n)u( p, n) = Tr p + m) , v( p, n)v( p, n) = Tr
(/ p m) ,
(/
2 2
(6.26)
donde es una matriz 4 4 arbitraria. Por otro lado, si los fermiones no estan po-
larizados el calculo se simplifica notablemente pues podemos aplicar directamente las
relaciones de completitud,
que conducen a
Volvamos a nuestro calculo (6.16) y supongamos por simplicidad que tanto los fermiones
iniciales como los finales no estan polarizados. Tenemos entonces que promediar sobre
espines iniciales y sumar sobre espines finales:
1
f |M|2 =
4
|M|2
ri si ri si
e4
= p1 M ) ( /
Tr[ ( / p2 + M)]Tr[ (k/2 + m) (k/1 m)] , (6.29)
4q4
108 Tema 6: Procesos elementales en QED
que aparece como el producto de las trazas de las dos cadenas fermionicas.
Para hallar las trazas volvemos a recurrir a la Diracologa. Necesitamos en particular,
de donde
p1 M ) ( /
Tr[ ( / p2 + M)] = Tr[ / p2 ] M2 Tr[ ]
p1 /
= 4( p1 p2 ( p1 p2 ) g + p1 p2 ) 4M2 g
(6.33)
Tr[ (k/2 + m) (k/1 m)] = Tr[ k/1 k/2 ] m2 Tr[ ]
= 4(k1 k2 (k1 k2 ) g + k1 k2 ) 4m2 g (6.34)
y por tanto,
16e4
f |M|2 =
4q4
[( p1 k1 )( p2 k2 ) ( p1 p2 )(k1 k2 ) + ( p1 k2 )( p2 k1 ) m2 ( p1 p2 )
ri si
+ ( p1 k2 )( p2 k1 ) ( p1 p2 )(k1 k2 ) + ( p1 k1 )( p2 k2 ) m2 ( p1 p2 )
Entonces,
q2 = (k1 + k2 )2 = ( p1 + p2 )2 = ECM
2
= 4E2 , (6.38)
2
( p1 k1 ) = ( p2 k2 ) = E (1 i f cos ) , (6.39)
2
( p1 k2 ) = ( p2 k1 ) = E (1 + i f cos ) , (6.40)
2
( p1 p2 ) = E (1 + 2f ) 2
= E (2 M /E ) , 2 2
(6.41)
( k 1 k 2 ) = E2 (1 + 2i ) = E2 (2 m2 /E2 ) (6.42)
e4
f |M|2 =
2E4
[2E4 (1 + 2i 2f cos2 ) + 2E2 (m2 + M2 )]
ri si
6.3. Comentarios 109
" ! ! #
4 m2 + M 2 4m2 4M2 2
=e 1+4 2
+ 1 2 1 2 cos . (6.43)
ECM ECM ECM
donde se ha sustituido la constante de estructura fina = e2 /(4 ). Notese que ECM >
2M, la energa umbral del proceso. La seccion eficaz total es
d d
= d = 2 d cos . (6.45)
d d
d 2
2 (1 + cos2 ) (6.46)
d 4ECM
42
2
. (6.47)
3ECM
6.3 Comentarios
e (k, 0) = n (6.50)
k (kn)n
e (k, 3) = p . (6.51)
(kn)2 k2
Los otros dos vectores de polarizacion (transversa) e (k, 1) y e (k, 2) los tomamos orto-
gonales entre s y perpendiculares al plano n k, de modo que
o bien
e (k, L) = (0, cos , i sin , 0) , e (k, R) = (0, cos , i sin , 0) (elpticas) (6.55)
e (k ) = ig
D F (6.56)
k2 + ie
que usando las relaciones de completitud (6.49) puede escribirse como
3
i
e (k ) =
D F
k2 + ie =0
e (k, )e (k, ) . (6.57)
k2 + ie
e (k) =
D F e (k, )e (k, ) +
n n . (6.58)
=1,2
(kn)2 k2
e (k ) = in n e (k ) = i
D C y D R [k k (kn)(k n + k n )] . (6.59)
(kn)2 k2 k2 [(kn)2 k2 ]
En QED se trabaja con campos espinoriales y ya hemos visto que hay que tener cuidado
porque las contracciones de Wick de estos campos pueden dar lugar a signos relativos
entre los distintos diagramas que contribuyen a la amplitud de un proceso. Recordemos
que hay que mirar si la reordenacion de los espinores corresponde a una permutacion
par o impar. Veamos unos cuantos ejemplos.
b Pasa igual con todas las fuerzas fundamentales.
112 Tema 6: Procesos elementales en QED
Scattering de Bhabha: e+ e e+ e
3 2 3 2
4 1 4 1
u1 v2 v3 u4 u1 u4 v3 v2
Scattering de Mller: e e e e
4 3 4 3
2 1 2 1
u1 u2 u3 u4 u1 u4 u3 u2
2 1 2 1 2 1
u1 u2 + u1 u2
Recordemos tambien que si hay dos partculas identicas en el estado final (por ejemplo,
, e+ e+ , e e ) la seccion eficaz total es
1 d
= d . (6.64)
2 d
Caso del foton. Tiene dos estados de polarizacion (transversos). Supongamos el siste-
ma de referencia en el que k = (, 0, 0, ) (nuestras conclusiones seran indepen-
dientes de esta eleccion gracias a la covariancia Lorentz). Entonces, pueden ser
1 0 0 0
0 0 0 0
e (k, )e (k, ) = g + Q , Q =
0 0 0 0 .
(6.65)
0 0 0 1
Ahora bien, sabemos que el campo del foton se acopla a una corriente conservada
mediante una interaccion d4 x j ( x ) A ( x ), con j ( x ) = 0, as que
M (k) = d4 x eikx h f | j ( x ) |i i
(6.68)
donde los estados inicial y final incluyen todas las partculas externas excepto el
foton en cuestion. Como la simetra gauge se debe preservar tambien a nivel cuanti-
co, de la conservacion de la corriente y la expresion anterior deducimosc que
k M (k) = i d4 x eikx h f | j ( x ) |i i = 0 .
(6.69)
y por tanto,
k M ( k ) = M0 ( k ) M3 ( k ) = 0 M0 ( k ) = M3 ( k ) . (6.70)
Caso de un boson vectorial masivo. Tiene tres estados de polarizacion (uno longitu-
dinal y dos transversos). En este caso podemos elegir el sistema de referencia en
reposo, k = ( M, 0, 0, 0) y los estados de polarizacion
1 3 3 4
crossing
2 4 1 2
1+2 3+4 1+3 2+4
Es facil comprobar que s + t + u = i m2i , la suma del cuadrado de las masas de las
cuatro partculas externas. As, en terminos de variables de Mandelstam, la cinematica
del proceso que hemos calculado antes en detalle, e+ e + , queda
q2 = s , (6.79)
6.3. Comentarios 115
que conduce a
" #
f |M(e+ e + )|2 = 8e
4 t 2 u 2
s2 2
+
2
. (6.84)
ri si
Se dice que este proceso tiene lugar en canal s. La simetra de crossing nos permite en-
contrar la amplitud del proceso cruzado e+ e+ intercambiando s con t en la
expresion anterior,
8e4 s 2 u 2
|M(e+ e+ )|2 =
f
t2 2
+
2
, (6.85)
ri si
crossing
st
e e e
e+ e + e+ e+
crossing
su
Bhabha Mller
e+ e e+ e e e e e
crossing
st
Compton Aniquilacion
e e e+ e
116 Tema 6: Procesos elementales en QED
Tema 7
Repitiendo los pasos necesarios para calcular el propagador de Feynman (vease 4.4)
obtenemos entonces que cada propagador incluye una potencia de h:
d4 p ih
DF ( x y) = eip(xy) , con e 0+ . (7.3)
(2 ) p m2 + ie
4 2
en primer lugar para sistemas atomicos en procesos donde se emite o se absorbe radiacion electromagnetica.
117
118 Tema 7: Introduccion a las correcciones radiativas
Al desarrollar en serie las exponenciales obtendremos que por cada vertice de nuestra
teora de perturbaciones tenemos que anadir una potencia de 1/h.
Con estas dos reglas, cada propagador introduce una potencia de h y cada vertice una
de h1 , podemos discutir la relacion entre el numero de loops y el de potencias de h en
un diagrama de Feynman conexo amputado arbitrario.b Podemos definir el numero de
loops como el numero L de cuadrimomentos no fijados por la regla de conservacion del
momento sobre los que tenemos que integrar para calcular el resultado de la amplitud
correspondiente. As, en un diagrama con I lneas internas y V vertices tenemos
L = I (V 1) = I V + 1 . (7.6)
En efecto, tenemos I cuadrimomentos circulando por las lneas internas, sobre los que
imponemos V 1 restricciones (una por cada vertice, excepto la global que corresponde
a conservacion del cuadrimomento total). Veamos algunos ejemplos:
L = 01+1 = 0 L = 12+1 = 0
L = 74+1 = 4 L = 64+1 = 3
de espines arbitrarios.
7.2. Divergencias ultravioletas 119
por h por argumentos dimensionales, de manera que debemos descontar ese factor y
concluir que realmente la contribucion de cero loops (orden h0 ) corresponde al lmite
clasico (h 0).
Otro comentario importante es que en teoras con un unico acoplamiento, el desa-
rrollo perturbativo en ese acoplamiento y el desarrollo en loops coinciden, si fijamos el
numero de patas externas. La razon es que en ese caso existe una relacion entre L y V.
Por ejemplo, en la teora 4 cada vertice tiene cuatro patas, as que
4V = E + 2I L = I V + 1 = V E/2 + 1 , (7.8)
siendo E el numero de patas externas e I el de lneas internas. Esta relacion viene de que
4V es el numero total de lneas que confluyen en vertices, pero las que corresponden
a lneas internas cuentan dos veces. Es facil comprobar que esta relacion se cumple en
todos los ejemplos de (7.7), excepto para el primero de la columna de la derecha, en el
que los vertices tienen tres patas, pues corresponden a una teora 3 y la relacion es
entonces
El hecho de que los calculos a uno o mas loops involucren una integracion sobre momen-
tos, cuyos modulos van de cero hasta infinito, conduce a una intrigante propiedad de la
teora cuantica de campos: la posible aparicion de divergencias en los calculos pertur-
bativos. El origen y naturaleza de estas divergencias es diverso y su estudio da lugar a
algunos de los aspectos mas interesantes de la teora cuantica de campos, como el grupo
de renormalizacion. En este curso nos vamos a limitar a hacer una breve introduccion a
algunos de estos fenomenos, poniendo enfasis en la realizacion de calculos explcitos.
Veamos en un ejemplo concreto como aparecen algunas de estas divergencias. Tome-
mos de nuevo la teora 4 y calculemos el diagrama amputado que aparece en (4.110)
q 1 d4 q i
iB = (i) . (7.10)
2 (2 )4 q2 m2
p p
Esta integral puede abordase mas facilmente en el espacio Eucldeo, haciendo el cambio
de variables q0 = iq0E (rotacion de Wick), manteniendo q = q E y por tanto sustituyendo
q2 = q2E . De esta forma la integral factoriza en el producto de una integral angular en
cuatro dimensiones por una integral sobre la coordenada radial q E entre cero e infinito
(estudiaremos en detalle este procedimiento en un numero arbitario de dimensiones en
la seccion 7.3):
d4 q E 1 d4 3 1 2 2 q3E
B= = dq E q E = dq E .
2 (2 )4 q2E + m2 2 (2 )4 0 q2E + m2 2 (2 )4 0 q2E + m2
(7.11)
en momentos, es decir, integraremos hasta un valor finito que al final haremos tender
a infinito. Haciendo esto tenemos
q3E m2
B= dq E 2 = + m ln 2
2 2
. (7.12)
16 2 0 q E + m2 32 2 m + 2
Vemos por tanto que este diagrama presenta una divergencia ultravioleta, es decir, en el
lmite de momento infinito. En ocasiones un diagrama puede tambien tener divergencias
infrarrojas (en el lmite de momento cero).
En el resto de este tema veremos como clasificar, regularizar e interpretar las di-
vergencias ultravioletas que aparecen en calculos a nivel de uno o mas loops en teora
cuantica de campos.
El comportamiento ultravioleta de un diagrama se puede caracterizar por su grado
superficial de divergencia, D, que se define como la diferencia entre el numero de potencias
del momento de integracion en el numerador menos las del denominador. En teoras
en las que los vertices no dependen del momento, el grado superficial de divergencia
depende del numero de loops (potencias positivas del momento) y del numero y tipo de
propagadores (potencias negativas del momento, simples para fermiones, dobles para
bosones). As por ejemplo tenemos
n (n 3) D = 4L 2I (7.13)
QED D = 4L 2I I f (7.14)
7.2.1 n
D = 4L 2I = (n 4)V E + 4 , (7.15)
L = IV+1 , nV = E + 2I . (7.16)
Vemos que cuanto mayor es el numero de patas externas, a igual numero de vertices,
menor es D. Tenemos pues un numero finito de posibles diagramas divergentes (D 0),
llamados divergencias primitivas. Veamos cuales son en el caso de 4 (n = 4), es decir
D = 4E 0 . (7.17)
... (7.18)
... (7.19)
Podra pensarse que diagramas con D < 0, es decir E 6 son finitos, pero esto solamente
es cierto si no contienen subdiagramas divergentes (con E = 2 o E = 4). Por ejemplo, los
siguientes diagramas con D = 2 (E = 6) son divergentes:
(7.20)
7.2.2 QED
L = I V + 1 = I + I f V + 1 , V = E + 2I , 2V = E f + 2I f . (7.22)
Vemos pues que en QED los diagramas con divergencias primitivas son potencialmente
aquellos para los que D 0, es decir
3
E + E f 4 . (7.23)
2
Antes de discutir todas las posibilidades conviene demostrar el Teorema de Furry que
establece que funciones de Green sin lneas externas fermionicas (E f = 0) y con un
numero impar de lneas externas fotonicas (E = impar) son cero a todo orden en teora
de perturbaciones debido a la conservacion de la conjugacion de carga de la QED:
1
n 2
d4 x HQED
h0 | A 1 ( x 1 ) A n ( x n ) ei |0i
7.2. Divergencias ultravioletas 123
d4 x HQED
= h0| (CA1 ( x1 )C ) (CAn ( xn )C )C ei C |0i
d4 x H
= (1)n h0| A1 ( x1 ) An ( xn ) ei QED
|0i , (7.25)
Ef = 0
(7.26)
(7.27)
Ef = 2
(7.28)
(7.29)
Las divergencias primitivas en QED son por tanto la autoenerga del foton, la auto-
energa del fermion y la correccion al vertice. Sus contribuciones a un loop se muestran
en (7.26), (7.28) y (7.29), respectivamente.
124 Tema 7: Introduccion a las correcciones radiativas
Hemos anunciado previamente que en teora cuantica de campos se pueden hacer pre-
dicciones precisas y sin ambiguedades a pesar de la aparicion de infinitos en los calculos
a uno o mas loops. El procedimiento, denominado renormalizacion, consiste en absorber
los infinitos en un numero finito de medidas experimentales de manera que todos los
demas observables seran finitos. Pero antes tenemos que regularizar los infinitos para
poder manipularlos. En la seccion anterior usamos un regulador muy sencillo, un cut-off
en el momento del loop, pero este regulador no resulta optimo. La razon es que viola
explcitamente algunas de las simetras de la teora que son importantes a la hora de im-
plementar el proceso de renormalizacion. En particular, en (7.12) se viola la invariancia
Lorentz. En esta seccion estudiaremos, mediante el ejemplo concreto de la autoenerga
del electron, un tipo de regularizacion que s mantiene todas las simetras relevantes, in-
cluyendo las invariancias Lorentz y gauge. El metodo que emplearemos se conoce como
regularizacion dimensional y consiste en asumir que en lugar de 4 dimensiones espacio-
temporales trabajamos en d 4 e.c Eligiendo el valor de e adecuado cualquier diagra-
ma se puede hacer finito. Al final del calculo, y despues del proceso de renormalizacion,
tomaremos el lmite e 0 para eliminar el regulador.
Veamos como calcular la autoenerga del electron. Ya sabemos que el propagador
fermionico en el espacio de momentos es la transformada de Fourier de la funcion de
dos puntos,
= d4 x h0| T {( x )(0)} |0i eipx (7.30)
i i i
= + [i( /
p)] +...
p m0
/ p m0
/ p m0
/
" #
( /
p) p) 2
( /
i
= 1+ + +...
p m0
/ p m0
/ p m0
/
i 1 i
= = , (7.31)
p m0
/ ( /
p) p m0 ( /
/ p)
1
p m0
/
donde los diagramas 1PI amputados son
1PI = i( /
p) (7.32)
y
i i( /
p + m0 )
= SeF ( p) = = 2 (propagador libre). (7.33)
p m0
/ p m20
c No confundir este e con el e 0+ de la prescripcion de Feynman para los propagadores, que en
Veamos que, como ocurre con la autoenerga M2 ( p) del campo escalar, la autonerga del
electron ( /
p) contribuye a la masa fsica (m) y a la renormalizacion de la funcion de onda
del electron (Z ):
p m0 ( /
/ p)| p/=m = 0 (7.34)
p = m,
y por tanto, cerca de /
!
d d
p m0 ( /
/ p m0 ( m )
p) = / p m) = ( /
(/ p m) 1 . (7.35)
p p/=m
d/ p p/=m
d/
As que
iZ
= + regular cerca de /
p=m (7.36)
pm
/
de donde
! 1
d
m = m0 + ( m ) , Z = 1 . (7.37)
p p/=m
d/
1PI = (1 loop)
+ + (2 loops)
+ (7.38)
donde hemos introducido un parametro con dimensiones de masa, para que man-
tenga las dimensiones correctas independientemente del valor de d. Este parametro no
es fsico, lo hemos introducido por consistencia en el proceso de regularizacion y no
126 Tema 7: Introduccion a las correcciones radiativas
= d 14 4 = ( 4 e ) 14 4 , (7.42)
q/ = q/ + 2/
q = (d 2)q/ = (2 e)q/.
(7.43)
` q xp (7.47)
donde
x (1 x ) p2 + (1 x )m20 . (7.49)
7.3. Regularizacion dimensional 127
4. Para integrar (7.48) realizamos lo que se conoce como rotacion de Wick, que consiste
en hacer un nuevo cambio de variable:
Im 0
+i 90
2
Re 0
+ i con = `2 +
2
Por tanto,
d
2 2
dd = . (7.54)
(d/2)
b) En cuanto a la parte radial:
1
d
` d 1 t 2 1
d` E 2 E = dt
0 (` E + )n 2 0 (t + )n
nd/2 1
1 1 d d
= dz zn 2 1 (1 z) 2 1
2 0
nd/2
1 1 (n d/2)(d/2)
= (7.55)
2 (n)
donde se ha hecho el cambio z = /(t + ) y hemos introducido la funcion
Beta de Euler:
1
()( )
B(, ) = dz z1 (1 z) 1 = . (7.56)
0 ( + )
6. Conviene conocer algunas propiedades de la Gamma de Euler:
( x + 1) = x( x ) ( n ) = ( n 1) ! si n N . (7.57)
donde hemos utilizado que la integral sobre / es cero por ser el integrando impar y
el dominio de integracion simetrico. Ahora, ademas de desarrollar en serie la funcion
Gamma, debemos tambien desarrollar las potencias cuyo exponente es proporcional a e
e e
(4 )e/2 = e 2 ln 4 = 1 + ln 4 + O(e) , (7.63)
2
7.4. Renormalizacion de la QED 129
e/2
e
= 1 ln 2 + O(e) . (7.64)
2 2
Este resultado presenta varias propiedades interesantes. En primer lugar, hemos pa-
rametrizado las divergencias ultravioletas en forma de polos en e. En segundo lugar,
( p) depende a un loop explcitamente del parametro . Esto es debido a que no es
un observable. Centrando nuestra atencion en la parte divergented podemos hacer facil-
mente la integral sobre el parametro de Feynman obteniendo
e2
(1) = ( /
p + 4m0 ) + finito . (7.67)
8 2 e
Hemos visto que las divergencias primitivas de la QED son la autoenerga del electron,
la del foton y la correccion al vertice. Acabamos de calcular la primera a un loop en
regularizacion dimensional:
= i(1) ( /
p) . (7.68)
(1) (1)
= i (k ) , (k ) (k2 g k k )(1) (k2 ) , (7.69)
(1)
= ie ( p, p0 ) . (7.70)
p p0
En (7.69) se ha introducido (k2 ), llamada polarizacion del vaco por razones que veremos
enseguida, asumiendo una estructura tensorial para la autoenerga del foton (k2 ) que
esta justificada por covariancia Lorentz,
foton (evita que se anule) que al final del calculo se hace tender a cero.
130 Tema 7: Introduccion a las correcciones radiativas
e invariancia gaugee ,
ig ig ig
= 2
+ 2
[i(k2 g k k )(k2 )] 2 + . . .
k k k
ig ig ig 2 2
= + (k ) +
2
(k ) + . . .
k2 k2 k2
ig ig
= 2
+ 2
[ ( k 2 ) + 2 ( k 2 ) + . . . ]
k k
k k i i k k
= g + 2 2
[1 + ( k 2 ) + 2 ( k 2 ) + . . . ] 2 2
k k k k
ig ik k (k ) 2
= 2 + 4 (7.73)
k [1 (k )]
2 k 1 ( k2 )
donde hemos definido
k k
=
= (7.74)
k2
y podemos ignorar el termino a la derecha de (7.73) pues el campo del foton se acopla a
una corriente conservada (invariancia gauge) y por tanto los terminos propocionales a su
momento no contribuyen a los elementos de matriz. As que las correcciones cuanticas
renormalizan la funcion de onda pero no generan una masa para el foton:
ig Z A 1
= +... ZA = . (7.75)
k2 1 (0)
Z1/2 r , (7.77)
Z1/2
A A Ar , (7.78)
m0 Zm m , (7.79)
e0 Ze e . (7.80)
e Esta propiedad del tensor
se obtiene a partir de la identidad de Ward-Takahashi (7.113-7.116), que es
una consecuencia de la invariancia gauge.
7.4. Renormalizacion de la QED 131
pZ2 mZ0 )
= i( / (7.85)
= ie Z1 (7.87)
Z2 = 1 + Z2 = Z , (7.88)
Z0 = 1 + Z0 = Zm Z , (7.89)
Z1 = 1 + Z1 = Ze Z Z1/2
A , (7.90)
Z3 = 1 + Z3 = Z A . (7.91)
+ b (1) ( /
= i p) = i(1) ( / pZ2 mZ0 )
p ) + i( /
(7.92)
+ b (1) ( k 2 ) ,
= i(k2 g k k )
i iZ
= + regular cerca de /
p=m, (7.94)
pm
/ b(/
p) pm
/
donde
! 1
d b
( /
Z = 1 p) . (7.95)
p
d/ p/=m
Para que la masa que aparece en el propagador sea la masa fsica debe imponerse
b (m) = 0 mZ0 = (m) (7.96)
Para que coincida con el propagador de un foton sin masa el residuo debe ser
Z A = 1, lo que implica:
b (0) = 0 Z3 = (0) (7.100)
= ie ( p, p0 ) = ie + ie
b ( p, p0 ) (7.101)
(1)
+ + = ie + ie + ie Z1 .
(7.102)
7.4. Renormalizacion de la QED 133
Se puede demostrar que la estructura Lorentz mas general de este vertice para
electrones on-shell es
2 q
0 2
ie ( p, p ) p2 = p02 =m2 = ie F1 (q ) + iF2 (q )
, (7.103)
2m
donde los factores de forma F1 y F2 estan relacionados con la carga y el momento
dipolar magnetico anomalo, respectivamente. La unidad de carga electrica e se
define a partir del acoplamiento de un electron on-shell con un foton cuando el
momento transferido q = p0 p 0 (lmite de Thomson):
ie ( p, p) = ie . (7.104)
Por tanto
b ( p, p) = 0 Z1 = F1 (0) (7.105)
donde hemos definido por conveniencia F1 (q2 ) 1 + F1 (q2 ). Notese que a 1 loop a
F2 no contribuye ningun contratermino que pueda usarse para absorber una diver-
gencia, y de hecho es finito. Esto ocurre en teoras renormalizables con los factores
de forma que acompanan a operadores de dimension canonica mayor que 4 (en
este caso F , que tiene dimension 5).
Esta relacion resulta ser valida a todo orden en TP, as que tambien se cumple
h i
q ( p, p + q) = iSe
F
1
( p + q ) i e1 ( p) , iSe1 ( p) = /
S F F p m ( p) . (7.109)
q ( p, p + q) = q/ + q ( p, p + q) = q/ ( p + q) + ( p) . (7.110)
CT
= Z1 , CT = ( /
pZ2 mZ0 ) (7.111)
134 Tema 7: Introduccion a las correcciones radiativas
as que,
dCT
CT
= Z1 = Z2 Z1 = Z2 , (7.112)
dp
que es la relacion constantes de renormalizacion que habamos anunciado.
La identidad de WT (7.110) implica (7.72). En efecto, diagramaticamente:
k q
= (7.113)
q+k
2 d4 q n o
i (k ) = Tr ie
eF (q + k )ie (q, q + k )SeF (q)
S (7.114)
(2 )4
d4 q n o
k (k2 ) = e2 Tr S
F
e ( q + k ) k
( q, q + k ) S
e F ( q )
(2 )4
d4 q n h io
= e2 Tr S
e F ( q ) Se F ( q + k ) =0 (7.115)
(2 )4
donde se ha usado (7.109) y se ha desplazado la variable de integracion de q a q + k. Para
demostrar que tambien k (k2 ) = 0 basta escribir:
= (7.116)
Notese que hemos representado el diagrama dos maneras (7.113) y (7.116) pero no pode-
mos poner en ambos vertices pues en tal caso estaramos contando dos veces diagramas
como el siguiente:
(7.117)
e0 e0 e ( Q2 )
q h
correcciones
i
+ = =
cuanticas
e0 e0 e ( Q2 )
Figura 7.1: La modificacion del acoplamiento se debe exclusivamente a las correcciones cuanti-
cas al propagador del foton, lo que da lugar a un acoplamiento efectivo que depende del
momento transferido en el proceso y es independiente del fermion. Notese que estos no son
todos lo diagramas que intervienen en el proceso de scattering, sino los relevantes para corregir
la carga.
( Q20 )
( Q2 ) = ( Q20 ) (0) . (7.124)
Q2 Q20
1
15 m2
136 Tema 7: Introduccion a las correcciones radiativas
Por tanto,
h i
1 ( M2Z ) = 1 (0) 1
b ( M2Z ) 137(1 0.0672) 128 . (7.127)
Sin embargo no esta claro que esta expresion tenga sentido, pues una partcula inestable
no puede ser un estado asintotico. Veamos como la formula LSZ y el teorema optico nos
conducen al mismo resultado y nos permiten entender su rango de validez.
En (4.5) y (4.6) obtuvimos el teorema optico como consecuencia de la unitariedad de
la matriz S = 1 + iT,
2 ImT = T T . (7.130)
(2 )4 4 (k1 + k2 q j )M( a f )
j
= (2 )4 4 (k1 + k2 p1 p2 ) dn f M (b f )M( a f ) .
f
(7.133)
Si ahora tomamos ki = pi obtenemos una forma del teorema optico que relaciona la
seccion eficaz total de un proceso con la amplitud de scattering forward (hacia delante):
2ImM(k1 k2 k1 k2 ) = dn f |M(k1 k2 f )|2 (7.135)
f
p i
= (7.137)
p2 m20 M 2 ( p2 )
p
amp = 1PI = iM2 ( p2 ) . (7.138)
2
iM( p p) = Z 1PI
M( p p) = ZM2 ( p2 ) . (7.139)
M( p f ) = 0 ImM( p p) = 0 M 2 ( p2 ) R . (7.140)
iZ
= (7.141)
p2 m2
M( p f ) 6= 0 ImM( p p) 6= 0 M 2 ( p2 ) C . (7.143)
ya que
i
=
p2 m20
Re M2 ( p2 ) i ImM2 ( p2 )
i
=
d ReM2
2 2 2 2
p m0 Re M (m ) ( p2 m2 ) i ImM2 ( p2 )
dp2 2 p = m2
i
= !
d ReM2
( p2 m2 ) 1 i Im M2 ( p2 )
dp2 p2 =m2
iZ
= (7.145)
( p2 m2 ) iZIm M2 ( p2 )
1
(7.146)
|s m2 iZIm M2 (s)|2
1 1
BW = (7.147)
|s m2 + im| 2 ( s m )2 + m2 2
2
Z
= Im M2 (m2 ) . (7.148)
m
Usando (7.139) y el teorema optico (7.134) con a = b = p tenemos
Im M( p p) 1
2m
= = dn f |M( p f )|2 (7.149)
m f
[1] M. Maggiore,
A Modern Introduction to Quantum Field Theory,
Oxford University Press, 2005.
[4] L. H. Ryder,
Quantum Field Theory,
Cambridge University Press, 2nd edition, 1996.
[5] M. Kaku,
Quantum Field Theory. A Modern Introduction,
Oxford University Press, 1993.
141
142 Bibliografa