Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Enero de 2013
[Ultima 28 de abril de 2016, 11:14]
revision:
* Email: jillana@ugr.es.
** Email: jsantiago@ugr.es.
Indice
i
ii
Indice
3 Cuantizacion
de campos libres 43
3.1 Campos escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1.1 Espacio de Fock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1.2 Campos complejos. Antipartculas . . . . . . . . . . . . . . . . . . . . 47
1
3.2 Campos de espn 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.2.1 Campo de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.2.2 Campo de Weyl sin masa . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.2.3 C, P, T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.3 Campo electromagnetico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.3.1 en el gauge de radiacion
Cuantizacion . . . . . . . . . . . . . . . . . 54
3.3.2 covariante . . . . . . . . . . . . . . . . . . . . . . . . . .
Cuantizacion 57
3.3.3 C, P, T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5 Observables 95
5.1 de estados relativistas y no relativistas . . . . . . . . . . . .
Normalizacion 95
5.2
Anchura de desintegracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.3 eficaz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Seccion 98
5.4
Lmite no relativista: potenciales de interaccion . . . . . . . . . . . . . . . . 100
7 Introduccion
a las correcciones radiativas 117
7.1 Correcciones cuanticas: Loops . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
7.2 Divergencias ultravioletas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
7.2.1 n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
7.2.2 QED . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
7.3 dimensional
Regularizacion . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
7.4 de la QED . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
Renormalizacion
7.5
Teorema optico. Resonancias . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Bibliografa 141
iv
Indice
Tema 1
1.1 Introduccion
1.1.2 Notacion,
unidades y convenciones
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 .
de signos para la metrica de Minkowski es
Nuestra convencion
1
1
g = g = , g = g g = . (1.2)
1
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
es simple y no compacto. Sus
El grupo de Lorentz, que repasaremos a continuacion,
representaciones de dimension finita no son unitarias y sus representaciones unitarias
infinita (espacio de Hilbert de una partcula).
son de dimension
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
0 0 0 0 0 0
0 0 0 1 0 0 0 1 0 0
Lx =
0
, Ly = , Lz = , (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
Hallemos el a lgebra 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 0 0 0 0
0 0 1 = 1 i J
1
R x ( ) = J1 = 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 0 0 i 0
= 1 i J 3 J 3 =
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 K1 = i 0 0 0
L x ( ) =
0 0
(1.27)
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 = 1 iK2 K2 = 0 0 0 0
Ly ( ) = 0
(1.28)
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 0 (1.29)
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 a lgebra de Lie es
Vemos que las rotaciones cierran a lgebra, 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
Am y Bm son hermticos y verfican el a lgebra de Lie:
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 J = J = J
k k`m `m
J = e J J = J = J 13
2 31 (1.36)
2 3
J = J 12 = J 21
K k = J 0k = J k0 . (1.37)
[ J , J ] = i( g J g J g J + g J ). (1.41)
V 7 V , V 7 V .
(1.43)
= g g .
(1.44)
8 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
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
de transformacion
que ademas es invariante, por definicion de Lorentz (1.15).
Una irrep importante de cualquier grupo de Lie es la representacion adjunta, cuya
es igual al numero
dimension de generadores, que se construye a partir de las constantes
de estructura,
a bc
( Tadj ) = i f abc . (1.51)
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,
V = (V 0 , V ) 4 bajo el grupo de Lorentz, (1.54)
V 0 1 etiquetadas por j = 0, 1 bajo el grupo de las rotaciones,
(1.55)
i.e. V 0 es un escalar bajo rotaciones (espn 0) y V un 3vector (espn 1). Por otro lado,
T 4 4 = 1 6 9 bajo Lorentz (1.56)
= (0 1) (0 1) = 0 (1 1) (0 1 2) bajo rotaciones, (1.57)
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,
1: T0 (es tambien un escalar bajo rotaciones) (1.59)
0i
A (dos 3vectores independientes bajo rotaciones
6: A 11 1 ijk jk
2 e A que se mezclan bajo Lorentz)
(1.60)
Por ejemplo, el tensor electromagnetico F contiene a los 3-vectores campo electrico
Ei = F0i y campo magnetico Bi = 21 eijk F jk . Otro ejemplo son los propios generadores
(1.36,1.37).
S00
0i
9: S 0 1 2 S (1.61)
S ij con
S ii
= S 00
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
1
L ( 2 , 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
Notese que ( 12 , 0) y (0, 12 ) son representaciones conjugadas:
2 L 2 = R . (1.68)
Para comprobarlo, usese que 2 i 2 = i . Podemos entonces definir el espinor conju-
gado de L , que se transforma como un R , del siguiente modo:
Rc i2 R ( 12 , 0). (1.70)
R R y L L
1.5. Representaciones sobre campos 11
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
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)
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.
12 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
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
infinito-dimensional del grupo de Lorentz en campos de Weyl L no es
representacion
unitaria.
Del mismo modo, puede verse que para el R ( x ),
i
R ( x ) = JR R ( x ), JR = L + SR , (1.84)
2
donde
i
R 1 SR = i( J + K ),
J= , K=i . (1.85)
2 2 2
Sus generadores de las rotaciones, J i = Li + Si , son los mismos que para el L ( x ). Los
generadores de los boosts son J 0k = L0k + 2i k , que no son hermticos, y por tanto la
infinito-dimensional del grupo de Lorentz en campos de Weyl R no es
representacion
unitaria tampoco.
Notese de las coordenadas espaciales (figura 1.1), que llama-
que bajo una inversion
de paridad (la hemos excluido en nuestra definicion
mos transformacion de grupo de
Lorentz),
L 0
( x ) 7 0 ( x 0 ) = D ( x ), D = (1.88)
0 R
y bajo paridad, x = (t, x) 7 x = (t, x),
0 1
0 R ( x )
( x ) 7 ( x ) = = ( x ). (1.89)
L ( x ) 1 0
El conjugado de carga de un espinor de Dirac es otro espinor de Dirac,
i2 R
c
2
R 0
c
= = = i (1.90)
Lc i2 L 2 0
y, por supuesto, (c )c = . Notese
que las coordenadas x no cambian bajo conjugacion
de carga.
Los campos de Dirac y no los de Weyl son los objetos basicos en las teoras de campos
invariantes bajo paridad, como la QED y la QCD.
Finalmente, un espinor de Majorana es un espinor de Dirac en el que L y R no son
independientes sino que
2 L
R = i L M = , | |2 = 1. (1.91)
i2 L
Tiene dos grados de libertad, como un espinor de Weyl, pero es autoconjugado de carga,
L
c
M = = M . (1.92)
i2 L
x 7 x 0 = x + a . (1.96)
infinitesimal a = e ,
Si tomamos una traslacion
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-
(1.96) se escribe, por tanto, exp{ia P }.
mento P . La traslacion
El a lgebra de Poincare, escrita en forma covariante, es
[ P , P ] = 0, (1.98)
[ P , J ] = i( g P g P ), (1.99)
[ J , J ] = i( g J
g J
g J
+ g J ).
(1.100)
La ultima lnea corresponde al a lgebra 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)
k ` k`m m
[ P , J ] = ie P , (1.102)
[ P0 , K k ] = iPk , (1.103)
k ` 0 k`
[ P , K ] = iP . (1.104)
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.
J = L + S , (1.106)
1.6. Grupo de Poincare 15
0 ( x 0 ) = ( x ), x 0 = x + a . (1.107)
infinitesimal a = e ,
Entonces, haciendo una translacion
( x ) = 0 ( x 0 e) ( x ) = 0 ( x 0 ) e ( x ) ( x ) = e ( x ). (1.108)
con
Por tanto, comparando esta expresion
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
(1.99) usando la representacion
de conmutacion 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)
Ya hemos visto todo lo que necesitamos para construir lagrangianos de campos invarian-
tes bajo Poincare. Cuando cuanticemos los campos veremos que e stos 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)
i
= e ( g P g P )
2
i i
= e P + e P = 0. (1.114)
2 2
Ademas m2 = P P y W W son invariantes Lorentz. Por tanto, son operadores de
Casimir (conmutan con P y J ) y podemos usar sus autovalores para etiquetar las
irreps y calcularlos en el sistema de referencia que queramos. Tenemos que distinguir
dos casos:
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
dada de p ).
eleccion
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)
Notese que h = j3 en nuestra eleccion de direccion del movimiento, con j3 = j. Las
irreps h y h son distintas (no se mezclan bajo transformaciones de Poincare), aunque
en las teoras simetricas bajo paridad las partculas sin masa correspondientes reciben el
mismo nombre y se dice que estan en dos estados distintos de helicidad. As se habla
(m = 0, j = 1) dextrogiro/lev
de foton
ogiro si h = 1. Tambien decimos que el foton
es una partcula sin masa de espn 1, aunque en realidad no existe el estado con j3 = 0.
d Los elementos de SO(2) en la irrep h vienen dados por R( ) = exp{ih }.
1.6. Grupo de Poincare 17
Del mismo modo, veremos que los campos de Weyl sin masa L y R (m = 0, j = 12 )
tienen respectivamente helicidad h = 12 y representan a partculas distintas si la teora
no es simetrica bajo paridad (e.g. en el modelo estandar si los neutrinos no tienen masa
el neutrino es L y el R podra no existir).
Un ultimo comentario: siempre podemos hablar de helicidad como la proyeccion
del momento angular en la direccion del movimiento, pero solamente es una cantidad
invariante bajo transformaciones de Poincare para partculas sin masa. En el caso no
masivo, a la helicidad se le llama quiralidad.
18 Tema 1: Simetras de Lorentz y Poincare en Teora Cuantica de Campos
Tema 2
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 +
q i
q i = qi
qi +
q i 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 q i
qi = 0, qi (2.6)
i
L d L
=0 (Ecuaciones de Euler-Lagrange) (2.7)
qi dt q i
L
H ( p, q) = pi q i L, pi =
q i
. (2.8)
i
obtenemos
Diferenciando esta expresion
L L
dH = q i dpi + pi dq i dqi + dq i (2.9)
i
qi q i
= {q i dpi p i dqi } (2.10)
i
de momento
donde se han usado las ecuaciones de Euler-Lagrange (2.7) y la definicion
en (2.8). Esto demuestra que el hamiltoniano H es una funcion
de p y q. La expresion
anterior conduce a:
H H
q i = , p i = (ecuaciones de Hamilton) (2.11)
pi qi
[qr , ps ] P = rs (2.13)
q r = [qr , H ] P , p r = [ 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
se escribe:
El principio de mnima accion
L L L L
4 4
S = d x + ( ) = d x = 0, (2.19)
( ) ( )
de contorno ahora no es que qi (tin ) y qi (tfi ) fijos sino que los campos
donde la condicion
permanecen constantes en el infinito, pues
L L L
4 4
( ) = d x d4 x
d x (2.20)
( )
( ) ( )
de contorno
(n es el vector normal a la superficie) y la mencionada condicion
| = 0. (2.22)
As que tenemos:
L L
=0 (Ecuacion de Euler-Lagrange para el campo ). (2.23)
( )
Notese
que si se anade al lagrangiano un termino de la forma (derivada total)
L L + K () (2.24)
se anade y la ecuacion
una constante a la accion (2.2) queda inalterada.
En el formalismo hamiltoniano definimos el momento conjugado del campo ,
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 L( x ) = L0 ( x ) L( x ), la ecuacion
(2.32) queda
0 = d4 x L( x ) + [x L( x )] .
(2.35)
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
del
Es decir, la invariancia bajo traslaciones espaciotemporales implica la conservacion
cuadrimomento,
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)
Como el definido en (2.52) no es necesariamente simetrico, hay que anadirle
una derivada total de la forma f , con f = f , para que
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
2.3.1 Ecuacion
de Klein-Gordon
= 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
Notese que, como habamos anticipado, L y i son operadores hermticos, por lo
que tenemos una representacion unitaria de dimension infinita del grupo de Poincare.
As que M y P son cantidades reales.
b Anadir
un termino lineal c3 al potencial es equivalente a reparametrizar c3 /m2 , que conduce
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)
2.4.1 Ecuacion
de Weyl
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 ,
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 .
mas sencilla para estos campos,c
Concentremonos en L . Podemos construir la accion
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
0 L = i i L 20 L = 2 L 2L = 0 (2.100)
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
00 0
(2.99) el lagrangiano L = 0. El hamiltoniano es H = = iL 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)
0 R = i i R 20 R = 2 R 2R = 0. (2.109)
2.4.2 Ecuacion
de Dirac
Notese de Lorentz,
que, bajo una transformacion
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)
quiral, = (R , L ) y
En la representacion
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 a lgebra 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)
quiral:
Hallemos ahora la forma explcita de estas soluciones en la representacion
u L ( p) v L ( p)
u( p) = , v( p) = . (2.134)
u R ( p) v R ( p)
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)
p = p/| p|,
Las soluciones para p arbitrario se hallan haciendo un boost en la direccion
!
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
al final de 3.2.1)
Resulta conveniente elegir (vease discusion
(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
(2.172). Esto significa que un campo de Majorana no puede tener
estan conjugadas segun
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)
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)
e (k ) satisface
(2.191) implica que el vector de polarizacion
La condicion
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
F = e
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
de la forma j A
es invariante gauge. De esta forma, hemos introducido una interaccion
(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 D W
W e D W e 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)
Cuantizacion
de campos libres
en tiempos iguales,
imponemos las reglas de conmutacion
j j j
[qiH (t), p H (t)] = iij , [qiH (t), q H (t)] = [ piH (t), p H (t)] = 0. (3.3)
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)
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 h m
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 ] = h a , [ H, a] = h a, (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-
de un conjunto infinito de osciladores armonicos, uno por cada valor de p, excepto
tacion
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-
(ap ) y destruccion
cion (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
a la izquierda de los de destruccion.
creacion As,
: a p ap : ap a p . (3.26)
= ( E p1 + E p2 + ) | p 1 p 2 . . . i , (3.27)
Notese que los estados multipartcula | p1 p2 . . . i son simetricos bajo el intercambio de
dos partculas cualesquiera, porque los operadores creacion conmutan entre s. Por otro
b Esto no puede hacerse si se incluye gravedad, pues entonces la energa del vaco es relevante. La energa
del punto cero esta relacionada con la constante cosmologica. de Maggiore [1], p. 141.
Vease la discusion
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
de interpretar las soluciones de la ecuacion
en situacion de Klein-Gordon de energa
de energa positiva de un campo complejo se con-
negativa. El coeficiente de la solucion
vierte al cuantizar el campo en el operador destruccion de una partcula (carga unidad)
de energa negativa se convierte en el operador
mientras que el coeficiente de la solucion
de su antipartcula (carga opuesta). Para el campo ocurre lo contrario, pues se
creacion
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
de (anti)conmutacion
relacion 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
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)
La ultima lnea en (3.44) se anula aplicando (3.38) y obtenemos
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
del espn de lo lleva a
una doble inversion
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
quiral) es
El conjugado de carga del campo de Dirac clasico (representacion
i2 R ( x )
T
c ( x ) = = i2 ( x ) (= i2 0 ( x )). (3.61)
i2 L ( x )
Veamos como la operacion
actua 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
Paridad
quiral) es
El transformado bajo paridad del campo de Dirac clasico (representacion
L ( x ) R ( x ) 0 L ( x )
( x ) = 7 = = 0 ( x ), donde x = (t, x). (3.70)
R ( x ) L ( x ) R ( x )
Buscamos que sobre los estados de una partcula la paridad actue
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
temporal T cambie
Necesitamos que la inversion
t 7 t, p 7 p, J 7 J. (3.75)
54 Tema 3: Cuantizacion de campos libres
donde
Entonces,
d3
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
(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)
3.3.1 Cuantizacion
en el gauge de radiacion
Recordemos que en el gauge de radiacion,
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
d3 k d3 q
[ Ai (t, x), E j (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
ij i
pueden construirse con y k , 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
de este gauge, se puede comprobar que si se escriben los generadores de
por la eleccion
y destruccion
Poincare en terminos de operadores creacion se satisface el a lgebra.
3.3.2 Cuantizacion
covariante
covariante,
Nos gustara poder imponer una cuantizacion
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
Como ( A ) = [( A )+ ] , la condicion
(3.117) se satisface siempre que
( A )+ |fisi = 0 . (3.120)
Ademas, como ( A )+ es un operador lineal, si |fis1 i y |fis2 i son estados fsicos tambien
arbitraria |fis1 i + |fis2 i. Entonces, si tenemos un estado fsico
lo son una combinacion
de una partcula
(3.120) implica
la condicion
d3 q
+
0 = ( A ) | i = i p
(2 )3 2q
0 c q e (q, 0 )aq,0 ak, |0i
,
i
2k
c k e (k, ) |0i = 0
r
k
i ( c0 + c3 ) |0i = 0 c0 + c3 = 0 (3.122)
2
si k = (k , 0, 0, k ) y e (k, ) = . Es decir un estado fsico es una combinacion
arbitraria |T i de los estados transversos creados por ak,1 y ak,2 , como esperabamos.
de la forma
Pero tambien es fsica una combinacion
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
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 A ( x ) bajo C, P y T. Como
Finalmente, hallemos las propiedades de transformacion
C C = , para que C sea una simetra del lagrangiano de QED necesitamos
que LQED q A permanezca invariante, es decir
es C = 1. En cuanto a P, como A( x ) es un
de carga del foton
donde la conjugacion
vector tenemos que
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) y vectorialese (3.133, 3.134,
d
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,
4.1 La matriz S
En el tema anterior hemos cuantizado campos libres. Ahora supondremos interaccion
entre los campos,
H = H0 + Hint , Hint = d3 x Hint ( x ) = d3 x Lint ( x ) (4.1)
Notese que si h a | ai = 1 y |ni es una base completa de estados, |nihn| = 1, tenemos
n
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 )
4.2 La formula
de reduccion
de LSZ
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 sobre p1 p2 pn ; t f destruyendo una partcula en el estado final de
actua
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)
ya que k2 = m2 ; y en la penultima
se ha usado que
d3 x (eikx ) = 0 d3 x (eikx ) = d3 x eikx 2 (4.20)
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(k 1 , . . . , k m , p 1 , . . . , p n )
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
(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)
de la ecuacion
La solucion diferencial (4.39) con la condicion de contorno U (t, t) = 1 es
(compruebese sustituyendola en la ecuacion):
t t t1
2
U (t, t0 ) = 1 + (i) dt1 H I (t1 ) + (i) dt1 dt2 H I (t1 ) H I (t2 )
t0 t0 t0
t t1 t2
+ (i)3 dt1 dt2 dt3 H I (t1 ) H I (t2 ) H I (t3 ) + . . .
t0 t0 t0
t t t
21
= 1 + (i) dt1 H I (t1 ) + (i) dt1 dt2 T { H I (t1 ) H I (t2 )}
t0 2 t0 t0
t t
1 t
+ (i)3 dt1 dt2 dt3 T { H I (t1 ) H I (t2 ) H I (t3 )} + . . .
3! t0 t0 t0
t
0 0
= T exp i dt H I (t ) . (4.41)
t0
a
Notese que en general [ H0 , H ] = [ H0 , Hint ] 6= 0.
4.3. Teora de perturbaciones 69
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)
y utilizando el
Desarrollando en serie las exponenciales que aparecen en esta expresion
veremos en 4.5, podremos calcular orden a orden en teora de
teorema de Wick, segun
70 Tema 4: Interacciones de campos y diagramas de Feynman
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 l m ( 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
Notese tambien que DF ( x y) es una funcion
de Green del operador de Klein-Gordon
(2x + m2 ) pues
d4 p i
(2 x + m ) D F ( x y ) =
2
( p2 + m2 ) eip(xy) = i4 ( x y) (4.69)
(2 ) p m2 + ie
4 2
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
entre el teorema espn-estadstica y la causalidad a nivel cuantico.
conexion
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-
es T {( x1 )( x2 )} = : ( x1 )( x2 ) : + DF ( x1 x2 ). Queremos ahora hallar el
teraccion
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-
contribuyen los terminos en los que todos los campos estan contrados, por
pos solo
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)
y el valor esperado en el vaco del producto ordenado temporal de un numero impar de
campos es cero.
Ya sabemos que se
Para demostrar el teorema de Wick se procede por induccion.
cumple para n = 2. Supongamos que es cierto para n 1 campos. Entonces, si ponemos
los campos ya ordenados temporalmente (x10 ... xn0 ),
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)
La formula de reduccion de LSZ nos permite escribir la matriz S en terminos de valores
esperados en el vaco de productos de campos en la imagen de interaccion ordenados
temporalmente,
4
h |
0 T ( x 1 ) ( x 2 ) ( x n ) exp i d x H I ( x ) |0i , (4.87)
= (4.88)
= (4.89)
4.6. Diagramas de Feynman. Reglas de Feynman 77
y as sucesivamente. Estos son los llamados diagramas de Feynman en el espacio de posiciones.
A partir del primer orden en TP obtendremos interacciones locales que involucran
productos de campos en el mismo punto espaciotemporal x, que tambien tienen una
grafica sencilla en forma de diagramas de Feynman, como veremos a
representacion
El calculo perturbativo es muy complejo pero puede sistematizarse con
continuacion.
ayuda de reglas de Feynman. La mejor manera de entender todo esto es con un ejemplo
sencillo.
Consideremos el scattering 2 2 (dos partculas en el estado inicial y dos en el final)
en la teora de campos escalares autointeractuantes 4 . La formula LSZ en funcion de
campos en la imagen de interaccion es:
2
2
i Z i Z
p2 m2 k2 m2 h p1 p2 | iT |k1 k2 i
i =1 i j =1 j
4 h0| T ( x1 )( x2 )( x3 )( x4 ) exp i 4 4
d x (x) |0i
4!
= d4 xi ei( p1 x1 + p2 x2 k1 x3 k2 x4 )
i =1 h0| T exp i d4 x 4 ( x ) |0i
4!
(4.90)
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 e ste 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)
general al numerador puede escribirse como
As que la contribucion
( )
(conexos) exp Vi . (4.101)
i
Por tanto, las contribuciones vaco-vaco a numerador y denominador de la formula LSZ
se cancelan y podemos concluir que para hallar la amplitud de scattering m n basta
con calcular, orden a orden, la suma de diagramas conexos con m + n puntos externos.
80 Tema 4: Interacciones de campos y diagramas de Feynman
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
es a O(2 ) y viene dada por los siguientes diagramas:
primera contribucion
x1 y1 x1 y1 x1 y1
x x
x y + + +( x y)
x2 y2 x2 y y2 x2 y y2
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 xd
e F (k1 ) D 4 y ei( p1 + p2 )x +i( p1 + p2 k1 k2 )y DF ( x )
= (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 implican la
que las integrales sobre las coordenadas de los puntos de interaccion
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 tambi
en puede provenir de una lnea interna que empieza y acaba en el mismo punto. Vease
e.g. el diagrama de (4.109).
82 Tema 4: Interacciones de campos y diagramas de Feynman
= 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
como, por ejemplo:f
propagador de alguna de las patas externas sufre una correccion
k1 q p1
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-
de O(2 )
cion (que, a diferencia de la anterior, depende de p2 ) y todas
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
2 2
una lnea interna) y llamamos iM ( p ) a la contribucion
de todos los diagramas 1PI
f de Feynman, que asumiremos implcitamente.
En adelante omitiremos el ie de la prescripcion
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
Y en general, usando (4.116) podemos reescribir la formula LSZ (4.32) como
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
son partculas virtuales, i.e. estan fuera de su capa de masas.
entre vertices de interaccion
Los campos fermionicos apareceran en los hamiltonianos de interaccion por parejas y
formando parte de bilineales covariantes (2.158). Los campos fermionicos satisfacen re-
(3.39) que nos han obligado a definir el orden normal para
laciones de anticonmutacion
operadores de fermiones de forma consistente (3.40). As, por ejemplo,
: 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 de Wick de dos campos fermionicos,
definir la contraccion para
analoga a la de campos escalares,
obtener una expresion
(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
y destruccion
creacion 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
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
4 y ei( p2 k2 )x ei( p1 + p2 k1 k2 )y v(s) (k2 )SF ( x )u(r) (k1 )
d4 xd
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
4 y ei( p1 k2 )x ei( p1 + p2 k1 k2 )y v(s) (k2 )SF ( x )u(r) (k1 )
d4 xd
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
del momento en una lnea fermionica
La direccion 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):
entrante:
fermion saliente:
fermion
p p
= u(s) ( p ) = u(s) ( p )
entrante:
antifermion saliente:
antifermion
= 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
5.1 Normalizacion
de estados relativistas y no relativistas
anterior no es inva-
En TQC, que es una teora cuantica relativista, la normalizacion
riante Lorentz. Por eso habamos introducido la normalizacion
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)
donde se ha sustituido simbolicamente (2 )4 4 (0) = VT a partir de
lm (2 ) ( p q) = lm dx4 ei( pq)x = VT ( )
4 4
(5.11)
pq pq
y dN f es el numero de estados de n partculas con momentos entre pi y pi + dpi . Halle-
mos primero el numero de estados entre p y p + dp, que corresponden al caso de solo
de completitud
una partcula final. Para ello usaremos la relacion
d3 p
1= | pih p| (5.12)
(2 )3 2E p
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
= 1 (5.25)
5.3 Seccion
eficaz
v
vt
A NB
Blanco
NH
Haz
Figura 5.1: Blanco con NB partculas bombardeado por un haz de NH partculas de velocidad v.
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
eficaz de |i i = |k1 k2 i a | f i = | p1 p2 pn i
tanto, a partir de (5.28) y (5.29), la seccion
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
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
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 tpica
es, por ejemplo, la situacion
es dispersado por un nucleo,
cuando un electron 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
Notese que el potencial de interaccion es un concepto no relativista, que describe una
interaccion instantanea. Sin embargo, la descripcion
mas precisa de la TQC se basa en el
intercambio y propagacion de partculas, como hemos visto a lo largo de este tema.
102 Tema 5: Observables
Tema 6
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.
de Feynman que ya hemos discutido, es el
El inverso de (6.4), incluyendo la prescripcion
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)
del signo global es la apropiada pues, mientras que para campos escalares
La eleccion
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
de la forma
que contiene una interaccion
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
que se lee directamente
en el tema anterior, las novedades son: el propagador del foton,
que se deduce trivialmente de (6.8), y un factor de
de (6.5), el vertice de interaccion,
cuando el foton
polarizacion 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:
entrante:
fermion saliente:
fermion
p p
= u(s) ( p ) = u(s) ( p )
entrante:
antifermion saliente:
antifermion
= v(s) ( p ) = v(s) ( p )
p p
entrante:
foton saliente:
foton
= 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
eficaz de este proceso.
paso y en detalle la seccion
En primer lugar, asignamos momentos a todas las partculas del diagrama y usamos
del cuadrimomento en cada vertice, lo que fija el cuadrimomento del
la conservacion
virtual que se propaga entre los dos vertices de interaccion,
foton
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)
Se trata ademas de un numero complejo que podemos multiplicar en cualquier orden.
Lo mismo ocurre con la otra lnea fermionica. Conviene escribir,
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
2
n = 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-
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)
(6.35) queda
y la expresion
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
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
k define el
Por ejemplo, en el sistema de referencia en el que el vector de propagacion
eje z y n = (1, 0, 0, 0) de lo anterior deducimos 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
Los dos ultimos terminos los podemos reescribir como suma de
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
En cualquier caso, si sumamos sobre los dos estados de polarizacion,
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 4
d 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
en cuestion.
foton Como la simetra gauge se debe preservar tambien a nivel cuanti-
de la corriente y la expresion
co, de la conservacion 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)
1 2 3
1
0 =
2 ij + ( 1)
i j
(6.75)
2
3
que conduce a
k k
e (k, )e (k, ) = g + 0 0 = g + M2
. (6.76)
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
anterior,
expresion
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
Introduccion
a las correcciones
radiativas
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
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 h 1 , 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
del cuadrimomento total). Veamos algunos ejemplos:
a conservacion
L = 01+1 = 0 L = 12+1 = 0
L = 74+1 = 4 L = 64+1 = 3
Notese que normalmente L coincide con el numero
de lazos en el diagrama de Feynman.
Pero no siempre, como se ve en el ultimo ejemplo, en el que hay 4 lazos pero L = 3.
Aplicando ahora que cada propagador conlleva una potencia de h y cada vertice una
de h 1 vemos que un diagrama conexo amputado con L loops es de orden h I V = h L1 .
Por tanto, el desarrollo en loops corresponde a un desarrollo en potencias de h .
Puede sorprender sin embargo que el primer termino del desarrollo perturbativo
sea proporcional h 1 , pero esto se debe a que hemos normalizado la accion
dividiendo
b Aunque hayamos mostrado el ejemplo explcito del caso escalar, la misma regla aplica al caso de campos
de espines arbitrarios.
7.2. Divergencias ultravioletas 119
por h por argumentos dimensionales, de manera que debemos descontar ese factor y
de cero loops (orden h 0 ) corresponde al lmite
concluir que realmente la contribucion
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 es que en ese caso existe una relacion
de patas externas. La razon entre L y V.
4
Por ejemplo, en la teora 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 e nfasis 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
2 2
q = q E . 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
7.3):
la seccion
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)
D = 4E 0 . (7.17)
Notese que en este caso E es siempre par.
... (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
7.3 Regularizacion
dimensional
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. es que viola
La razon
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
un tipo de regularizacion
del electron, 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 Ya sabemos que el propagador
calcular la autoenerga del electron.
fermionico de
en el espacio de momentos es la transformada de Fourier de la funcion
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
adelante se sobreentiende y no escribiremos.
7.3. Regularizacion dimensional 125
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
(Z ):
del electron
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
y no
es fsico, lo hemos introducido por consistencia en el proceso de regularizacion
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
Gamma de Euler:
donde hemos introducido la funcion
() = dt t1 et . (7.53)
0
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
simetrico. Ahora, ademas de desarrollar en serie la funcion
el dominio de integracion
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
7.4 Renormalizacion
de la QED
Hemos visto que las divergencias primitivas de la QED son la autoenerga del electron,
al vertice. Acabamos de calcular la primera a un loop en
y la correccion
la del foton
dimensional:
regularizacion
= 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,
(evita que se anule) que al final del calculo se hace tender a cero.
foton
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
se acopla a
y podemos ignorar el termino a la derecha de (7.73) pues el campo del foton
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
de onda pero no generan una masa para el foton:
renormalizan la funcion
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 )
es
El propagador renormalizado del electron
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)
es
El propagador renormalizado del foton
ig Z A
+... (7.98)
k2
donde
1
ZA = . (7.99)
1
b (0)
b (0) = 0 Z3 = (0) (7.100)
es
El vertice renormalizado del electron
= 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)
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
constantes de renormalizacion
que es la relacion 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
de q a q + k. Para
donde se ha usado (7.109) y se ha desplazado la variable de integracion
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 )
( 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)
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)
El teorema optico (7.130) conduce entonces a:
2ImM( a b) = dn f M (b f )M( a f ) . (7.134)
f
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)
Por tanto, aplicando la formula LSZ (4.119) tenemos que
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