Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
* Email:
** Email:
jillana@ugr.es.
jsantiago@ugr.es.
Indice
1
1.1.1
1.1.2
unidades y convenciones . . . . . . . . . . . . . . . . . . .
Notacion,
1.2
Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4
1.5
11
1.5.1
Campos escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
1.5.2
12
1.5.3
Campos vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
Grupo de Poincare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
1.6.1
14
1.6.2
15
1.1
1.6
19
2.1
Ecuaciones de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.2
Teorema de Noether . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
2.3
Campos escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
2.3.1
de Klein-Gordon . . . . . . . . . . . . . . . . . . . . . . . .
Ecuacion
26
2.3.2
de la carga . . . . . . . . . . . . .
Campos complejos. Conservacion
28
Campos espinoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
2.4.1
de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ecuacion
29
2.4.2
de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ecuacion
31
2.4.3
Masa de Majorana . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
Campo electromagnetico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
2.4
2.5
Indice
ii
37
2.5.2
Simetra gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
2.5.3
40
43
3.1
Campos escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
3.1.1
Espacio de Fock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
3.1.2
47
3.3
Cuantizacion
de campos libres
3.2
2.5.1
1
2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
3.2.1
Campo de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
3.2.2
51
3.2.3
C, P, T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
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
Campos de espn
63
4.1
La matriz S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
4.2
de LSZ . . . . . . . . . . . . . . . . . . . . . . . . .
La formula
de reduccion
64
4.3
Teora de perturbaciones
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
4.4
70
4.5
Teorema de Wick . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
4.6
76
Observables
95
5.1
95
5.2
Anchura de desintegracion
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
96
5.3
eficaz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Seccion
98
5.4
103
6.1
6.2
6.3
Comentarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
6.3.1
Indice
iii
6.3.2
6.3.3
6.3.4
6.3.5
Introduccion
a las correcciones radiativas
117
7.1
7.2
7.2.2
QED . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
7.3
dimensional
Regularizacion
7.4
de la QED . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
Renormalizacion
7.5
Teorema optico.
Resonancias . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Bibliografa
. . . . . . . . . . . . . . . . . . . . . . . . . . . 124
141
iv
Indice
Tema 1
Introduccion
La teora cuantica de campos (TQC) surge al combinar la relatividad especial y la meca relativista de la ecuacion
de Schrodinger.
hidrogeno,
as que se quedo con su lmite no relativista.
Sin embargo, las ecuaciones de ondas (sean o no relativistas) no pueden explicar
1.1.2
Notacion,
unidades y convenciones
(1.1)
g = g =
= g g = .
(1.2)
A B =
A B = g A B = A0 B0 A1 B1 A2 B2 A3 B3 ,
(1.3)
=0
,
x
,
x
2 = = 20 2 ,
(1.4)
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 ,
p0 = i0 = i , pk = ik = i
= i k = ik ik .
t
xk
x
(1.6)
(1.7)
E = ,
B t E = j ,
(1.9)
1.2
Q1 Q2
= q1 q2 .
4r
r
(1.10)
Grupos de Lie
sion
que
si DR es una representacion unitaria (el inverso de cada elemento es su adjunto) entonces
unitaria es completamente
los generadores son hermticos. Ademas toda representacion
reducible. Recordemos que en fsica los observables son operadores hermticos.
Los generadores satisfacen el a lgebra de Lie: [ T a , T b ] = i f abc T c , donde f abc son las
Para
constantes de estructura del grupo, que son independientes de la representacion.
del grupo basta con encontrar las representaciones del a lgebra. Si el
hallar la representacion
grupo es abeliano, [ T a , T b ] = 0 y exp{i a T a } exp{ib T b } = exp{i(c + c ) T c }. Las
irreps de un grupo abeliano son unidimensionales.
Los operadores de Casimir son aquellos que conmutan con todos los generadores. Son
multiplos
de la identidad y la constante de proporcionalidad sirve para etiquetar las
irreps. Por ejemplo, SU(2) (grupo de las rotaciones en tres dimensiones) tiene tres generadores, los operadores momento angular J k con k = 1, 2, 3, que satisfacen el a lgebra
de Lie [ J k , J ` ] = iek`m J m y un operador de Casimir, J 2 = ( J 1 )2 + ( J 2 )2 + ( J 3 )2 = 1, con
es 2j + 1). El tensor
= j( j + 1) y j = 0, 21 , 1, . . . etiquetando las irreps (cuya dimension
e es el tensor totalmente antisimetrico de Levi-Civita,
par de (123),
+1 si (ijk) es una permutacion
ijk
e =
(1.11)
impar de (123),
1 si (ijk) es una permutacion
0 en otro caso.
Hablamos de grupo compacto si su variedad parametrica es compacta. Por ejemplo, el
grupo de las rotaciones es compacto pero el de las traslaciones no lo es. Si el grupo es
a Un
subgrupo propio es uno no trivial, es decir, ni el formado solo por el elemento neutro, ni todo G.
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,
finita no son unitarias y sus representaciones unitarias
representaciones de dimension
infinita (espacio de Hilbert de una partcula).
son de dimension
1.3
Grupo de Lorentz
, {0, 1, 2, 3},
x = (t, x, y, z)
(1.12)
(1.13)
( x )
(1.14)
g = g = ( T ) g
(1.15)
g = g.
(1.16)
(00 )2
( 0 )
i =1
(00 )2
00 1
00 1
(1.17)
y a partir de (1.16),
(det )2 = 1
det = 1.
(1.18)
b Pero
si no es simple pueden ser unitarias o no. Ejemplo de grupo compacto no simple con representacio finita unitarias son las traslaciones espaciales en una dimension;
y con representaciones
nes de dimension
dada. Notese
infinitesimal arbitraria = + , la
nas propias), tomando una transformacion
(1.15) implica:
ecuacion
g = g = g ( + )( + )
= g + + + O( 2 )
= .
(1.19)
Lx =
0
0
0
0
0
1 0
0
0 c
, Ry =
0 0
s
c
0 s
0 0
0
0 1
0 0
, Ly =
0
1 0
0 0
0 1
0 0
1
0 s
0
, Rz =
0
1 0
0 c
0
0
0
0 0
, Lz =
0
0
0 1
0
c
s
0
0
1
0
0
0
s
c
0
0
0
1
0
0
0
,
0
0
,
0
(1.20)
(1.21)
1 1+
ln
2 1
(1.22)
hiperbolicas,
pues
= cosh ,
= sinh .
(1.23)
Hallemos el a lgebra de los generadores para encontrar las irreps del grupo de Lorentz. Para ello tomemos transformaciones de Lorentz infinitesimales:
0 0 0 0
1 0 0
0
0 0 0 0
0 1 0
0
1
(1.24)
J1 =
R x ( ) =
0 0 0 i
0 0 1 = 1 i J
0 0 i 0
0 0
1
1
0
0 0
0 0 0 0
0
1
0
= 1 i J 2 J 2 = 0 0 0 i
Ry ( ) =
(1.25)
0
0 0 0 0
0
1 0
0 0
1
0
Rz ( ) =
0
0
0
0
1
1
0
0
1
1
L x ( ) =
0 0
0 0
1 0
0 1
Ly ( ) =
0
0 0
1 0
0 1
Lz ( ) =
0 0
0
0 i 0 0
0
0 0 0
0
0 0 i
= 1 i J 3 J 3 =
0
0 i 0
1
0 0 0
0 0
0 i 0
0 0
= 1 iK1 K1 = i 0 0
0 0 0
1 0
0 1
0 0 0
0 0 i
0
0 0
= 1 iK2 K2 = 0 0 0
i 0 0
1 0
0
0 0 0
0
0 0
= 1 iK3
1 0
0 1
0 0 0
0 0 0
K3 =
0 0 0
i 0 0
0
0
0
0
0
0
(1.26)
(1.27)
0
0
0
0
i
0
0
0
(1.28)
(1.29)
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
[ J k , J ` ] = iek`m J m ,
[K k , K ` ] = iek`m J m ,
[ J k , K ` ] = iek`m K m
Vemos que las rotaciones cierran a lgebra, pues SU(2) es un subgrupo del grupo de Lorentz. Sin embargo, los boosts no son un subgrupo. Conviene reescribir estos 6 generadores como
Am =
1 m
( J + iK m ),
2
Bm =
1 m
( J iK m ).
2
(1.31)
[ Ak , A` ] = iek`m Am ,
[ Bk , B` ] = iek`m Bm ,
[ Ak , B` ] = 0.
(1.32)
finita, pero
1). Notese
que hemos encontrado irreps del grupo de Lorentz de dimension
no son unitarias, porque no es compacto:
= exp{i( m J m + m K m )} exp{i( J + K )},
(1.33)
(1.34)
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
(1.35)
= exp J
2
(el factor
1
2
J = J = J 13
3
2
J = J 12 = J 21
K k = J 0k = J k0 .
(1.36)
(1.37)
(1.38)
(1.39)
( J ) = i( g g ).
(1.40)
[ J , J ] = i( g J g J g J + g J ).
1.4
(1.41)
4:
= [exp{i( J + K )}] = exp J
(1.42)
2
V 7 V .
(1.43)
Notese
que y son representaciones equivalentes, pues estan relacionadas me de semejanza S = g ,
diante una transformacion
= g g .
(1.44)
T 7
0 0
.
0 0 T
(1.45)
(1.46)
T = g T = T (traza),
1
A = ( T T ) (parte antisimetrica),
2
1
1
S = ( T + T ) g T (parte simetrica de traza nula).
2
4
T =
(1.47)
(1.48)
(1.49)
(1.50)
dimension
de generadores, que se construye a partir de las constantes
de estructura,
a bc
( Tadj
) = i f abc .
(1.51)
(1.52)
(1.53)
(1.54)
(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
6:
S00
0i
S
9:
S 0 1 2
(1.61)
ii
00
ij con
S
S
=
En general, un tensor
T ...
Como curiosidad, un tensor antisimetrico de rango 4, A , solo tiene una componente independiente, A = ae , y es por tanto un invariante pues
e 7
0 0 0 0
0 0 0 0 e
= (det )e = e .
(1.62)
10
Todas las representaciones de SU(2) pueden obtenerse a partir del producto tensorial de
espinores. Por ejemplo,
1 1
= 0 1.
2 2
(1.64)
Del mismo modo, las representaciones ( j1 , j2 ) del grupo de Lorentz pueden construirse a partir del producto tensorial de las representaciones espinoriales ( 12 , 0) y (0, 12 ),
(2j1 + 1)(2j2 + 1) = 2. Sus vectores se llaman espinores de Weyl
que tienen dimension
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:
A=
1
( J + iK ),
2
B=
1
( J iK )
2
J = A + B,
K = i( A B )
(1.65)
R :
B=0 J= ,
2
n
o
L = exp (i )
2
A = 0, B =
J= ,
2
n 2
o
R = exp (i + )
2
A=
,
2
K = i
2
(1.66)
K=i
2
(1.67)
Notese
que ( 12 , 0) y (0, 12 ) son representaciones conjugadas:
2 L 2 = R .
(1.68)
(1.69)
R 7 exp (i + )
R ,
2
(1.70)
(1.71)
(1.72)
L L
11
1.5
R i2 L ,
(1, ),
(1, ).
(infinitesimalmente: x 0 = x + x )
(1.73)
(1.74)
Nuestro objetivo es construir teoras de campos invariantes Lorentz. Para hallar las representaciones 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
x = ( J ) x ,
2
1.5.1
( J ) = i( g g ).
(1.76)
Campos escalares
(1.77)
( J ) x ( x ) L ( x )
2
2
L = ( J ) x = i( x x ).
( x ) =
(1.78)
(1.79)
Recordando que p = i , vemos que los generadores son L = x p x p . En particular, el generador de las rotaciones es el momento angular orbital, como era de esperar:
Li =
1 ijk jk
e L = eijk x j pk .
2
(1.80)
12
1.5.2
R ( x ) 7 R0 ( x 0 ) = R R ( x ).
(1.81)
L ( x ) = ( L 1)L ( x ) + ( J ) x L ( x )
2
i
i
i
= S L L ( x ) L L ( x ) JL L ( x ),
2
2
2
(1.82)
L 1 S L = i( J + K ),
2
J=
,
2
K = i .
2
(1.83)
R ( x ) = JR R ( x ),
2
JR = L + SR ,
(1.84)
donde
i
R 1 SR = i( J + K ),
2
J=
,
2
K=i .
2
(1.85)
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.
(t, x) 7 (t, x)
J 7 J,
K 7 K
AB
(1.86)
13
(1.88)
(1.89)
Lc
i2 L
2 0
(1.90)
1.5.3
Campos vectoriales
(1.93)
V ( x ) = ( )V ( x ) L V ( x ) JV V ( x ).
2
2
(1.94)
(SV ) = ( J )
2
2
SV = J .
(1.95)
14
1.6
Grupo de Poincare
(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 ),
[ J , J ] = i( g J
g J
(1.99)
g J
+ g J ).
(1.100)
La ultima
lnea corresponde al a lgebra del subgrupo de Lorentz (1.41). Las traslaciones
entre los
son tambien un subgrupo. Conviene explicitar las relaciones de conmutacion
generadores de las traslaciones y los de rotaciones y boosts:
[ P0 , J k ] = 0,
k
[ P , J ] = ie
(1.101)
k`m m
P ,
[ P0 , K k ] = iPk ,
k
0 k`
[ P , K ] = iP .
(1.102)
(1.103)
(1.104)
K = i[ H, K k ] + K k = 0.
dt
t
(1.105)
As que tambien hay cantidades conservadas asociadas a los boosts, como veremos al
estudiar el teorema de Noether en el siguiente tema.
1.6.1
(1.106)
15
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
sobre campos de los generadores del
de conmutacion
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)
1.6.2
Ya hemos visto todo lo que necesitamos para construir lagrangianos de campos invariantes 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)
(1.113)
16
i
= e ( g P g P )
2
i
i
= e P + e P = 0.
2
2
(1.114)
)
m
m ijk0 jk
e J = eijk J jk = mJ i
2
2
W W = m2 j( j + 1).
(1.115)
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
No existe el sistema de referencia en reposo. Podemos elegir uno en el que p = (, 0, 0, ),
del eje z. Entonces,
que describe una partcula sin masa que se mueve en la direccion
W 0 = W 3 = J 3
W 1 = ( J 1 + K2 )
W 2 = ( J 2 K1 )
W W = 2 [( J 1 + K2 )2 + ( J 2 K1 )2 ].
(1.116)
(1.117)
de direccion
del movimiento, con j3 = j. Las
Notese
que h = j3 en nuestra eleccion
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
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 movimiento, pero solamente es una cantidad
del momento angular en la direccion
invariante bajo transformaciones de Poincare para partculas sin masa. En el caso no
masivo, a la helicidad se le llama quiralidad.
18
Tema 2
Ecuaciones de Euler-Lagrange
S = dt L(q, q ).
(2.1)
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
qi +
q i =
qi
q i
L
L d
qi +
qi ,
qi
q i dt
(2.3)
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
donde se ha usado que
q i
=
q i =
dqi
dt
d
=
dt
qi
=
d
qi
dt
(2.4)
dt
q i dt
dt q i
tin
tin
q i
tin
Por tanto,
S =
tfi
dt
tin
d L
L
qi = 0,
qi
dt q i
L
d L
=0
qi
dt q i
qi
(Ecuaciones de Euler-Lagrange)
(2.6)
(2.7)
pi q i L,
pi =
L
.
q i
obtenemos
Diferenciando esta expresion
L
L
dH = q i dpi + pi dq i
dqi +
dq i
qi
q i
i
= {q i dpi p i dqi }
(2.8)
(2.9)
(2.10)
de momento
donde se han usado las ecuaciones de Euler-Lagrange (2.7) y la definicion
de p y q. La expresion
H
,
pi
p i =
H
qi
(ecuaciones de Hamilton)
(2.11)
(2.12)
qi pi
pi qi
i
es facil comprobar que
[qr , ps ] P = rs
(2.13)
dt u
En efecto:
a
dv
= [uv]ba
dt
dt v
a
du
.
dt
p r = [ pr , H ] P
(2.14)
21
(2.15)
(2.16)
L=
d3 x L(, ).
(2.17)
es entonces
En adelante, llamaremos lagrangiano a la densidad lagrangiana L. La accion
(2.18)
S = dt L = d4 x L(, ).
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
( ) = d x
d4 x
(2.20)
( )
( )
( )
y se ha usado el teorema de Stokes,
L
L
4
d x
=
dA n
( )
( )
V
(2.21)
de contorno
(n es el vector normal a la superficie) y la mencionada condicion
| = 0.
(2.22)
As que tenemos:
L
L
=0
( )
(2.23)
Notese
que si se anade
al lagrangiano un termino de la forma (derivada total)
L L + K ()
(2.24)
d4 x K =
dA n K ,
(2.25)
V
22
y la ecuacion
(2.2) queda inalterada.
se anade
una constante a la accion
En el formalismo hamiltoniano definimos el momento conjugado del campo ,
( x ) =
L( x )
( 0 )
(2.26)
H( x ) = ( x )0 ( x ) L( x )
siendo,
H=
2.2
(2.27)
d3 x H( x ).
(2.28)
Teorema de Noether
(2.29)
x 7 x 0 = x + x x + e a A a ( x ),
(2.30)
es
donde a puede ser un ndice, dos, . . . o ninguno. Decimos que esta transformacion
no vara:
una simetra si deja invariantes las ecuaciones del movimiento, i.e. si la accion
S ( ) 7 S ( 0 ) = S ( ).
(2.31)
0
4 0
0 0
4
0 = S( ) S() = d x L ( x ) d x L( x ) = d4 x L0 ( x 0 ) L( x ) + x L( x ) ,
(2.32)
donde se ha usado
0
x
d4 x 0 = d4 x,
x
0
1 + x
0
0
x
x
= x1
x
x0
...
x0
x1
x1
1+
x1
...
. . .
= 1 + x + O(x )2 .
...
...
(2.33)
L0 ( x 0 ) = L0 ( x ) + x L( x ) + O(x )2
(2.34)
23
(2.32) queda
y L( x ) = L0 ( x ) L( x ), la ecuacion
0 = d4 x L( x ) + [x L( x )] .
(2.35)
(2.36)
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)
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)
i ( x ) = i0 ( x ) i ( x ) = e a [ A a i ( x ) Fi,a ]
(2.39)
tenemos
de modo que
4
i + x L( x )
(2.40)
0 = d x
( i )
i
y sustituyendo x de (2.30) y de (2.39) tenemos
a
0=e
d4 x ja (cl ),
(2.41)
donde
ja ( )
(2.42)
local, e a = e a ( x ),
Supongamos por un momento que hacemos una transformacion
invariante solo bajo transformaciones globales. Entonces no quedara
sobre esta accion
invariante sino que
0
S( ) = S() + d4 x [e a ( x )Ka () ( e a ) ja ()] + O(e) + O(e2 ),
(2.43)
donde el coeficiente Ka () es cero, porque en el caso particular de e a constantes la invariancia global implica d4 x Ka () = 0, para cualquier . Veamos por que hemos llamado
4
a
4
a
d x e ja () = 0 d x ( e ) ja () = d4 x e a ( x ) ja ()
(2.44)
24
de donde
S(0 ) S() =
d4 x e a ( x ) j a ( ) .
(2.45)
0 = d4 x e a ( x ) ja (cl ).
(2.46)
Como esto ocurre para cualquier e a ( x ), tenemos que
ja (cl ) = 0,
(2.47)
es decir, ja (cl ) son corrientes conservadas. As que (2.41) no solo implica que la integral
se anula, sino tambien el integrando.
Si definimos las cargas
Qa
d3 x ja0 (t, x)
(2.48)
3
0
(2.49)
t Q a = d x 0 ja (t, x) = d3 x i jai (t, x) = 0,
ya que los campos decrecen suficientemente rapido en el infinito (de nuevo el teorema
de Stokes).
espaciotemporales. La conservacion
barionico,
etc., son consecuencias de las primeras. Veamos ahora todos los ejemplos de las segundas: invariancias bajo traslaciones espaciotemporales, rotaciones y boosts.
Traslaciones espaciotemporales
Vienen dadas por las siguientes transformaciones de coordenadas y campos (cualquier
componente, si tienen alguna):
x 7 x 0 = x + e
i ( x ) 7
i0 ( x 0 )
= i ( x )
e a = e ,
A a ( x ) =
Fi,a (, ) = 0.
(2.50)
(2.51)
Por tanto, hay cuatro corrientes conservadas que conforman el tensor energa-momento,
=
i
i L,
( i )
=0
(2.52)
y cuatro cargas que permanecen constantes, la energa y las tres componentes del momento,
"
#
L
3
0
3
0
P = d x = d x
i L .
(2.53)
(0 i )
i
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
Consideremos por simplicidad un campo escalar. Las transformaciones de Lorentz son
de la forma
1
x 7 x 0 = x + ( ) x
2
e a = = ,
1
( ) x
2
Fa () = 0.
Aa (x) =
( x ) 7 0 ( x 0 ) = ( x )
(2.55)
(2.56)
Por tanto,
L 1
1
( x x ) ( x x )L
( ) 2
2
1
L 1
( x x ) ( x x )L
=
( ) 2
2
1
x x , j = 0.
=
2
j =
(2.57)
T = 0
M = d3 x T 0 = d3 x ( x 0 x 0 ),
(2.58)
t M = 0.
(2.59)
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:
0 = ( x x ) = x x + = .
(2.60)
e = + f = = 0
y como
3
0
d x f
= d3 x i f i0 = 0
P =
(2.61)
d x e0 =
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
k
0k
k
K = M = P t d3 x x k 00 = M0k (t) (imagen de Heisenberg)
(2.63)
y, como vimos en (1.105), t M0k dM0k /dt = i[ H, K k ] + K k /t = i2 Pk + Pk = 0.
Sin embargo, a diferencia de energa, momento y momento angular, estas cantidades conservadas no sirven para etiquetar estados, ya que los operadores que
representan a los generadores de los boosts no siempre son hermticos y ademas no
conmutan con el hamiltoniano.
2.3
2.3.1
Campos escalares
Ecuacion
de Klein-Gordon
1
S=
d4 x ( m2 2 ) = d4 x L( x ).
(2.64)
2
de Euler-Lagrange para es entonces la ecuacion de Klein-Gordon,
La ecuacion
L
L
=0
( )
(2 + m2 )( x ) = 0,
2 .
(2.65)
d3 p
ipx
ipx
p
( x ) =
ape
+ ape
(2.66)
2 2
0
(2 )3 2E p
p = E p +
m +p
L
= 0
( 0 )
H = 0 L =
1
(0 )2 + ()2 + m2 2 > 0. (2.67)
2
(2.68)
i
Mij = d3 x ( xi 0j x j 0i ) =
d3 x [Lij 0 0 Lij ],
(2.69)
2
27
3
j
i
3
j
i
d x [x 0 ] = 0
d x x 0 = d3 x xi j 0 ,
(2.70)
d3 x j [0 xi ] = 0
d3 x j 0 xi = d3 x 0 xi j .
(2.71)
Si definimos el producto escalar de dos campos reales como
i
d3 x 102 , f g f g f g,
h1 |2 i
2
(2.72)
tenemos que
Mij = h| Lij |i ,
(2.73)
i
d3 x 0 [1 0 2 0 1 2 ]
0 h1 |2 i =
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
(2.74)
=
d3 x {1 2 + 1 2 } = 0,
2
donde se ha usado
(2 + m2 )1,2 = 0
d3 x (1,2 2,1 ) = 0
(2.75)
P =
d3 x 0 = h| i |i .
(2.76)
1
0
0
P = h| i |i = h| i0 |i =
d3 x [20 (0 )2 ]
2
1
=
d3 x [2 m2 2 (0 )2 ]
2
1
3
2
2 2
2
=
d x [() + m + (0 ) ] = d3 x 00 , (2.77)
2
1
i
i
d3 x [i 0 0 i ]
P = h| i |i =
2
3
i
3
i0
=
d x 0 = d x = d3 x 0i .
(2.78)
28
Y tambien,
M0i = h| L0i |i =
d3 x ( x0 0i xi 00 ).
(2.79)
En efecto,
1
M = h| L |i =
d3 x [ ( x 0 i x i 0 ) 0 0 ( x 0 i x i 0 ) ]
2
xi
0
i
2
2
3
= d x x 0 + [0 (0 ) ]
2
xi
= d3 x x0 0 i [(0 )2 2 + m2 2 ] .
2
0i
0i
(2.80)
Notese
que, como habamos anticipado, L y i son operadores hermticos, por lo
unitaria de dimension
infinita del grupo de Poincare.
que tenemos una representacion
1
4
2 2
S= d x
m V () .
(2.81)
2
Terminos proporcionales a 3 , 4 , . . . en el potencial dan lugar a contribuciones no
lineales en las ecuaciones de movimiento, que corresponden a auto-interacciones del
campo:b
(2 + m2 ) =
2.3.2
V
.
(2.82)
(2.83)
S = d4 x ( m2 )
1
1
=
d4 x ( 1 1 m2 12 ) +
d4 x ( 2 2 m2 22 )
2
2
= d4 x L( x ).
(2.84)
d3 p
p
( x ) =
a p eipx + bp eipx
(2.85)
3
(2 ) 2E p
p0 = E p +
m2 + p2
b Anadir
29
( x ) 7 0 ( x ) = ei ( x )
(2.86)
lo que significa que existe una corriente conservada asociada (tomar i = (, )):
x 7 x 0 = x
0 ( x )
Aa (x) = 0
( x ) 7
= ( x ) i( x )
F,a = i
e a = ,
( x ) 7 ( x ) = ( x ) + i ( x )
F ,a = i
L
L
,a = i( ) = i .
j =
F,a
F
( )
( )
(2.87)
(2.88)
(2.89)
La carga conservada es
Q=
d xj =i
d3 x 0 = h |i ,
t Q = 0,
(2.90)
consistente con que el generador de las simetras ei es el operador identidad y definiendo el producto escalar de dos campos complejos A y B como
(2.91)
h A |B i i d3 x A0B .
2.4
2.4.1
Campos espinoriales
Ecuacion
de Weyl
L L
(2.92)
con (1, ), (1, ), son cuadrivectores Lorentz. Para demostrar esto recordemos que
n
o
R .
(2.93)
R 7 exp (i + )
2
x,
Consideremos, por ejemplo, un boost infinitesimal de rapidity en la direccion
R R 7 R R + R
R R
R i R
1
1
R + R R
2
2
7 R R + R 1 R
7 R i R + i1 R R ,
v
1
v1
1
7
v2
0 0
v3
0 0
(2.94)
0
0
v
0 v1
.
0 v2
1
v3
(2.95)
30
3
3
R iR R
2
2
7 R R
7 R 1 R R 2 R
7 R 2 R + R 1 R
7 R 3 R ,
(2.96)
igual que
pues i j j i = 2ieijk k . Vemos que R R se transforma bajo esa rotacion
un cuadrivector v ,
0
0
v
1 0 0 0
v
v1
0 1 0 v1
7
(2.97)
v2
0 1 0 v2 .
v3
0 0
v3
Y analogamente para L L .
mas sencilla para estos campos,c
Concentremonos en L . Podemos construir la accion
4
(2.98)
S = i d x L L = d4 x L( x ).
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 ] : i L = 0
L = 0
(0 i i )L = 0.
(2.99)
20 L = 2 L
2L = 0
(2.100)
(2.101)
( p J ) u L =
1
p u L hu L
2
(2.102)
vemos que
L = (0 i i )u L eipx = i( E + p)u L eipx = 0
p u L = u L ,
(2.103)
en distintos espacios.
Acabamos de probar que L L 7 L L = L L , pues y actuan
Por otro lado, 7 . Entonces, el siguiente termino es un escalar Lorentz pues usando (1.15):
c
L L 7 L L = L g L = L L .
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 ,
( L )
(2.104)
de Euler-Lagrange
donde se ha usado que para los campos que satisfacen la ecuacion
00
0
es
(2.99) el lagrangiano L = 0. El hamiltoniano es H = = iL L . Ademas la accion
invariante bajo transformaciones globales de simetra del grupo U(1),
L 7 ei L ,
(2.105)
L
iL = L L ,
( L )
j = 0
(2.106)
t Q = 0.
(2.107)
Q=
d3 x L L ,
d3 x j0 =
(0 + i i )R = 0,
(2.108)
20 R = 2 R
2R = 0.
(2.109)
= iR R , j = R R , Q = d3 x R R .
(2.110)
2.4.2
Ecuacion
de Dirac
de Lorentz,
Notese
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
=0
=0
=0
=0
i L = mR
i R = mL ,
(2.114)
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)
0
0
(2.117)
(representacion quiral),
(2.118)
{ + } = 2g .
(2.119)
(i/
m) = 0,
A
/ A .
(2.120)
(espinor adjunto).
(2.121)
quiral, = (R , L ) y
En la representacion
L D = (i/
m).
Tambien se define la matriz 5 i0 1 2 3 que es
1 0
5 =
(representacion quiral)
0 1
(2.122)
(2.123)
33
1
(1 5 ),
2
PR =
1
(1 + 5 )
2
(2.124)
(2.125)
0 = U U ,
( x ) = 0 ( x ) 00 ,
(2.126)
(2.127)
tiene la misma forma que el lagrangiano original. Ademas el a lgebra de Clifford perma que se usa con frecuencia
nece invariante, {0 0 + 0 0 } = 2g . Una representacion
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
El campo y las matrices de Dirac quedan
1 R + L
=
,
2 R L
0
i
1 0
i
0
,
, =
=
i 0
0 1
(2.129)
0 1 2 3
5 = i =
0 1
.
1 0
(2.130)
La representacion
en el lmite no relativista, mientras que la
quiral es mas conveniente en el lmite ultrarrelativista.
general de la ecuacion
de Dirac es una superposicion
de ondas planas,
La solucion
( x ) u( p)eipx (modos de energa positiva E > 0),
( x ) v( p)eipx (modos de energa negativa E < 0),
(2.131)
E=+
m2 + p2 .
(2.132)
(/
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)
Tomemos primero el caso m 6= 0. Entonces, en el sistema de referencia en reposo,
p = (m, 0, 0, 0)
34
(/
p m ) u (0) = 0
(/
p + m ) v (0) = 0
( 0 1) u (0) = 0
( + 1) v (0) = 0
u L (0) = u R (0),
(2.135)
v L (0) = v R (0).
(2.136)
(s)
(s)
u L (0) = u R (0) = m (s) , s {1, 2}, (r) (s) = rs ,
1
0
(1)
(2)
=
, =
.
0
1
(2.137)
p = p/| p|,
Las soluciones para p arbitrario se hallan haciendo un boost en la direccion
!
12 p u(s) (0)
e
L
.
(2.138)
u(s) ( p ) =
1
(s)
e+ 2 p u R (0)
Desarrollando las exponenciales,
e p =
k =0
k =0
= cosh p sinh =
1
( E p ),
m
(2.139)
donde se ha sustituido
cosh = =
E
,
m
sinh = =
| p|
m
(2.140)
e insertando
( p) = p = E p ,
( p) = p = E + p ,
(2.141)
obtenemos
1
u(s) ( p ) =
m
! p
p
(s)
(s)
( p) u L (0)
(
p
)
p
= p
.
(s)
( p) (s)
( p) u R (0)
p
1 p
1 + p
E + | p|
+ E | p|
(s)
2
2
,
u(s) ( p ) =
p
p
1 + p
1 p
E + | p|
+ E | p|
(s)
2
2
(2.142)
(2.143)
donde se ha usado,
1 p
1 p
p sinh = e 2
+ e 2
2
2
2
2
r
p
p
E | p|
= cosh sinh = =
.
m
e 2 p = cosh
e 2
2 ( 1 + 3 ) (1)
(2.144)
(2.145)
35
r
(2)
( p)
E
2
( 1 3 ) (2)
( 1 + 3 ) (2)
(2)
2E
0
(2.146)
vemos que u(1) solo tiene componente right-handed y u(2) solo tiene componente lefthanded, 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)
1
( p) v L (0)
(
p
)
(s)
p
p
v ( p) =
=
, (r) (s) = rs ,
(2.147)
( p) (s)
m ( p) v(Rs) (0)
o bien
p
p
1 p
1 + p
(
s
)
E + | p|
+ E | p|
2
2
(s)
.
v ( p) =
p
p
1 + p
1 p
(
s
)
E + | p|
+ E | p|
2
2
al final de 3.2.1)
Resulta conveniente elegir (vease discusion
1
0
(2)
(s)
2 (s)
(1)
.
, =
= i
=
0
1
Entonces, en el lmite ultrarrelativista (E m), p ( E, 0, 0, E),
r
(1)
E ( 1 3 ) (1)
(1)
v ( p)
= 2E
3
(
1
)
0
2 (1 + )
r
E ( 1 3 ) (2)
0
(2)
v ( p)
= 2E (2)
2 (1 + 3 ) (2)
(2.148)
(2.149)
(2.150)
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)
v( p)( /
p + m) = 0,
(2.152)
v(r) ( p)v(s) ( p) = 2E p rs ,
u (r ) ( p ) v ( s ) ( p ) = v (r ) ( p ) u ( s ) ( p ) = 0
(2.153)
(2.154)
(2.155)
u(s) ( p ) u(s) ( p ) = /
p + m,
s=1,2
d
Usese
la identidad = 0 0 .
s=1,2
v(s) ( p ) v(s) ( p ) = /
p m.
(2.156)
36
Es importante notar que las 16 matrices,
i
[ , ]
(2.157)
2
son linealmente independientes y forman una base para las matrices 4 4. As que se
, 5 , , 5 , .
(2.158)
Puede comprobarse tambien que las transformaciones de Lorentz del campo de Dirac
de las matrices gamma, de la forma
pueden escribirse, en cualquier representacion
i
1
7 exp , i.e. J = .
(2.159)
4
2
(Basta comprobar que J = 21 satisface el a lgebra de Lorentz (1.41).)
Una simetra global interesante que posee el lagrangiano de Dirac sin masa es la
simetra quiral,
L 7 ei L L ,
R 7 eiR R
( L y R independientes),
(2.160)
7 ei5
( y independientes).
(2.161)
(2.162)
(2.163)
Como
7 ei
7 e
i5
7 ei
(2.164)
i5 0
7 e
0 i5
= e
pues 5 = 5 ,
= e
i5
{ , 5 } = 0,
(2.165)
(2.166)
7 ei5
L = i/
7 iei /ei = i/
= L
L = i/
7 iei5 ei5 = i/
= L.
(2.167)
(2.168)
jV =
(corriente vectorial),
j A = 5
(corriente axial).
(2.169)
de Dirac para
Si m 6= 0 solo la corriente vectorial se conserva. Basta usar la ecuacion
comprobarlo:
(i/
m) = 0
i = m
i = m, pues 0 0 =
jV = ( ) = + = im im = 0
(2.170)
2.4.3
37
Masa de Majorana
L
,
R
R = i2 L ,
| |2 = 1.
(2.172)
Es evidente que M puede tener masa a pesar de estar generado por un solo espinor de
Weyl. Basta con escribir
(i/
m)M = 0
i L = mR = im2 L
(2.173)
(2 + m2 ) L = 0
(2.174)
(L , i TL 2 )
0 1
1 0
L
i2 L
= iL 2 L i TL 2 L = i TL 2 L + h.c.
(2.175)
que es nulo a no ser que las componentes de M sean tratadas como cantidades anticonmutantes (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
2.5
2.5.1
Campo electromagnetico
Forma covariante de las ecuaciones de Maxwell
1
Bi = eijk F jk = ( A)i ,
2
(2.178)
38
(2.179)
que tambien puede escribirse L = 12 ( A A A A ), obtenemos las ecuaciones 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
2.5.2
B = 0,
E = t B
(2.181)
Simetra gauge
(2.182)
redundante
La existencia de esta simetra local implica que A ( x ) hace una descripcion
de gauge para
del campo electromagnetico, pues podemos usar la libertad de eleccion
restringir A ( x ).
Podemos tomar A0 ( x ) = 0 eligiendo
A ( x ) 7
A0 ( x )
= A ( x )
(2.183)
que
pues as A00 ( x ) = A0 ( x ) A0 ( x ) = 0. Podemos tambien hacer otra transformacion,
no cambia la componente A0 ,
A0 ( x )
A00 ( x )
A0 ( x ) ( x),
( x)
A0i (t, y)
d3 y
.
4 | x y|
yi
(2.184)
(2.185)
0i
1
A0i ( x )
2
3 A ( t, y ) 2
( x) = d y
=
= A0 ,
(2.186)
x
4 | x y|
yi
xi
donde se ha usado que
2x
1
4 | x y|
= 3 ( x y ),
(2.187)
39
as que
A00 ( x ) = A0 ( x ) ( x)
A00 = A0 2 = 0.
(2.188)
A = 0
(2.189)
(2.190)
(2.191)
( A A ) = 2A = 0.
(2.192)
k2 = 0.
(2.193)
(2.194)
e
r,
4r2
B = A = 0.
(2.196)
(2.197)
No debe confundirse a L.V. Lorenz (fsico y matematico danes), autor del gauge de Lorenz, con
H.A. Lorentz (fsico holandes, premio Nobel en 1902), que propuso las transformaciones de Lorentz. Tam
poco con E.N. Lorenz (matematico y meteorologo
norteamericano), fundador de la teora del caos, que
acun o el efecto mariposa y propuso el atractor de Lorenz.
40
que conduce al mismo campo electromagnetico,
E = t A0 0 =
e
r,
4r2
B = A0 = 0.
(2.198)
de gauge
Ambas elecciones estan conectadas mediante la transformacion
A0 ( x ) = A ( x ) ( x ),
(x) =
et
.
4r
(2.199)
1
L
A g L = F A + g F2 ,
( A )
4
F2 F F ,
(2.200)
1
E = d3 x T 00 =
d3 x ( E2 + B2 ) (energa)
2
2.5.3
(2.201)
(2.202)
(2.203)
E = ,
B = 0,
B = t E + j,
E = t B.
j (, j),
(2.204)
(2.205)
Notese
que las dos ultimas
son las mismas que en ausencia de fuentes, debido a que
e
F = e
A = 0 en cualquier caso. Estas ecuaciones se obtienen al minimizar
la accion
1
4
S = d x F F j A = d4 x L( x ),
(2.206)
4
que es invariante gauge solo si j es una corriente conservada, j = 0, pues
j A 7 j A j
d x j A 7 d4 x j A j = 0.
(2.207)
(2.208)
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)
7 eiq (x) .
(2.210)
(2.211)
de gauge
s es invariante bajo la transformacion
1
A 7 A + ( x ).
e
(2.212)
(2.213)
pues entonces
D = ( + ieqA ) 7( + ieqA + iq )eiq
(2.214)
y el lagrangiano resultante,
1
L = (i D
/ m) F F
4
1
= (i/
m) F F eqA
4
(2.215)
de la forma j A
es invariante gauge. De esta forma, hemos introducido una interaccion
(2.216)
3
0
3
0
(2.217)
Q = d x j ( x ) = eq d x = eq d3 x
es la carga electrica. Otras interacciones invariantes gauge son posibles, pero involucran
con dimension
canonica
terminos de interaccion
mayor que cuatro, que por tanto deben
ir multiplicados por constantes que tienen dimensiones de masa elevada a una potencia
dipolar magnetica
negativa. Por ejemplo, la interaccion
L = a F ,
[ a ] = M 1 .
(2.218)
42
Tales acoplamientos surgiran de forma natural al cuantizar la teora y constituyen correcciones al acoplamiento mnimo de siguiente orden en teora de perturbaciones.
Nota: En general, si { T a } son los generadores del grupo de simetras gauge, {Wa ( x )} los
bosones de gauge asociados a cada generador y { a ( x )} los parametros de la transfor es facil comprobar que si los campos se transforman
macion,
U = exp{iT a a ( x )}
e T a Wa ,
e U + i ( U )U , W
7 U W
g
7 U,
e
W
(2.219)
(2.220)
(2.221)
D 7 UD
(2.222)
L = (i D
/ m)
(2.223)
se tiene que
y el lagrangiano resultante
(2.224)
(2.225)
donde
1
Lkin = ( Wa Wa )( W a, W a, )
4
1 abc
Lcubic = g f ( Wa Wa )W b, W c,
2
1
Lquartic = g2 f abe f cde Wa Wb W c, W d,
4
(2.226)
(2.227)
y
e + ig[W
e , W
e ] 7 U W
e U
e D W
e = W
e W
e D W
W
a
W
= Wa Wa g f abc Wb Wc .
(2.228)
(2.229)
Tema 3
Cuantizacion
de campos libres
3.1
3.1.1
Campos escalares
Espacio de Fock
la imagen de Schrodinger
promovemos qi y pi a operadores e imponemos las reglas de
(en unidades h = 1):
conmutacion
[qi , p j ] = iij ,
[qi , q j ] = [ pi , p j ] = 0.
(3.1)
j
t q H
j
iHq H
j
iq H H
= i[ q H , H ],
(3.2)
j
si t q = 0)
en tiempos iguales,
imponemos las reglas de conmutacion
j
(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
q
d3 p
ipx
ipx
0
p
( x ) =
(a p e
+ a p e ), p = E p + m2 + p2 ,
(2 )3 2E p
donde ahora , a p y ap son operadores. Recordando que
r !
Eq iqy
d3 q
iqy
(t, y) = t (t, y) =
i
a
e
a
e
q
q
(2 )3
2
(3.4)
(3.5)
(3.6)
43
44
es facil comprobar que (3.4) implica
[ a p , aq ] = [ ap , aq ] = 0
[ a p , aq ] = (2 )3 3 ( p q),
(3.7)
En efecto,
r
Eq
d3 q
d3 p
p
[(t, x), (t, y)] =i
(2 )3 3 ( p q)
3
3
(2 )
2
(2 ) 2E p
ei(Ep Eq )t ei( pxqy) + ei(Ep Eq )t ei( pxqy)
d3 p ip(xy)
i
ip( xy)
e
+
e
= i3 ( x y)
=
2
(2 )3
(3.8)
d3 p ip x
e ,
(2 )3
( x) =
3 ( x) = 3 ( x).
(3.9)
p2
1
+ m 2 x2 ,
2m 2
(3.10)
cuyas soluciones se hallan introduciendo los operadores (reinsertamos las h para refrescar mejor la memoria):
r
x=
h
( a + a ),
2m
r
p = i
h m
( a a ),
2
(3.11)
[ x, p] = ih
[ a, a ] = 1,
[ a, a] = [ a , a ] = 0.
(3.12)
(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)
a a |ni = n |ni ,
1
| n i ( a ) n |0i
n!
(3.15)
45
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
que es el volumen (infinito) del sistema, pues
por un factor de normalizacion
3 3
lm (2 ) ( p q) = lm d3 x ei( pq) x = V ( ).
(3.16)
pq
pq
Podemos construir entonces el espacio de Fock de estados usando los operadores crea (ap ) y destruccion
(a p ) de modos de momento p, a partir de (3.7) y a p |0i = 0.
cion
As obtenemos los estados multipartcula:
q
q
(3.17)
| p1 , p2 , . . . i = 2E p1 2E p2 ap1 ap2 |0i .
ha sido elegida convenientemente de modo que es invariante Lorentz.
La normalizacion
En efecto, tomemos por simplicidad el estado de una partcula de momento p,
q
q
q
| pi = 2E p ap |0i hq | pi = 2Eq 2E p h0| aq ap |0i = 2E p (2 )3 3 ( p q) (3.18)
invariante pues si hacemos e.g. un boost en la direccion
z,
que es una normalizacion
E0 = ( E + pz ),
p0x = p x ,
p0y = py ,
p0z = ( E + pz )
(3.19)
vemos que
3 ( p 0 q 0 ) =
3 ( p q )
E3 ( p q)
E
=
= 0 3 ( p q )
E
( pz + E)
E
+1
pz
E p0 3 ( p 0 q 0 ) = E p 3 ( p q ) .
(3.20)
f ( x ) = p0z ( pz ) = ( E + pz ) ,
(3.21)
y en el segundo,
dE
pz
=
,
dpz
E
pues E =
m2 + p2 .
(3.22)
Veamos ahora cual es la energa de los estados multipartcula. Para ello expresaremos
y destruccion
(hacemos el
primero el hamiltoniano en terminos de operadores creacion
calculo en t = 0 por simplicidad, pues el hamiltoniano es una constante del movimiento):
d3 p
p
H = d x H( x ) =
d x
(2 )3 2E p
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
3
1
1
d x
2 + ()2 + m2 2 =
2
2
3
d3 q
p
(2 )3 2Eq
46
1
=
2
d3 p
E p ( ap a p + a p ap ) =
(2 )3
d3 p
Ep
(2 )3
ap a p
1
+ V .
2
(3.23)
El segundo termino es la suma de la energa del punto cero de todos los osciladores,
Evac
1
=V
2
d3 p
Ep
(2 )3
vac
Evac
1
=
=
V
2
d3 p
Ep .
(2 )3
(3.24)
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
d x :
2 + ()2 + m2 2 : =
2
d3 p
E p ap a p
(2 )3
(3.25)
(3.26)
H | p1 p2 . . . i =
q
q
d3 p
E
a
a
2E
2E p2 ap1 ap2 |0i
p
p
p
p
1
(2 )3
= ( E p1 + E p2 + ) | p 1 p 2 . . . i ,
(3.27)
i
3
0
i
3
P = d x : : = d x
d3 p
p
(2 )3 2E p
d3 q
p
(2 )3 2Eq
o
E p qi a p aq ei( p+q)x E p qi ap aq ei( p+q)x + E p qi a p aq ei( pq)x + E p qi ap aq ei( pq)x :
d3 p i
1
p : ( a p a p ap a p + a p ap + ap a p ) :
=
2
(2 )3
d3 p i
=
p ap ap,
(3.28)
(2 )3
de una
donde los dos primeros sumandos son nulos porque resultan de la integracion
impar en un intervalo simetrico. Por tanto,
funcion
P | p1 p2 . . . i =
q
d3 p i q
2E
2E p2 ap1 ap2 |0i
p
a
a
p
p
p
1
(2 )3
= ( p1i + p2i + ) | p1 p2 . . . i .
(3.29)
Notese
que los estados multipartcula | p1 p2 . . . i son simetricos bajo el intercambio de
conmutan entre s. Por otro
dos partculas cualesquiera, porque los operadores creacion
b Esto no puede hacerse si se incluye gravedad, pues entonces la energa del vaco es relevante. La energa
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
de reglas de anticonmutacion
para la cuantizacion
de campos de espn 12 ,
la imposicion
para evitar que el hamiltoniano no este acotado inferiormente, conduce tambien de forma
automatica a estados multipartcula antisimetricos bajo intercambio, como corresponde
espn-estadstica no
a los fermiones. Es decir, en Teora Cuantica de Campos la conexion
es un postulado sino un teorema.
3.1.2
( x ) =
d3 p
ipx
ipx
p
a
e
+
b
e
,
p
p
(2 )3 2E p
(x) =
d3 p
ipx
ipx
p
a
e
+
b
e
.
p
(2 )3 2E p p
(3.30)
Entonces,
[ a p , aq ] = [b p , bq ] = (2 )3 3 ( p q)
[ a p , aq ] = [b p , bq ] = [ a p , bq ] = 0.
(3.31)
De forma analoga al caso del campo real, construimos el espacio de Fock a partir de
a p |0i = b p |0i = 0,
(3.32)
H=
d3 p
E p ( ap a p + bp b p ),
(2 )3
P =
d3 p i
p ( a p a p + bp b p ).
(2 )3
(3.33)
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 q
d3 p
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
p
p
= d3 x
(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
e
b
b
e
:
p q
p q
(2 )3
(2 )3
Q=i
d3 x : 0 : = i
d3 x
48
d3 p
( a a p bp b p ).
(2 )3 p
(3.34)
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
de Klein-Gordon de energa
en situacion
de energa positiva de un campo complejo se connegativa. El coeficiente de la solucion
de una partcula (carga unidad)
vierte al cuantizar el campo en el operador destruccion
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.
3.2
3.2.1
Campos de espn
1
2
Campo de Dirac
d3 p
(s)
ipx
(s)
ipx
p
(
p
)
e
+
b
v
(
p
)
e
a
u
,
( x ) =
p,s
p,s
(2 )3 2E p s=1,2
d3 q
(r )
iqx
(r )
iqx
p
(x) =
a
u
(
q
)
e
+
b
v
(
q
)
e
,
q,r
q,r
(2 )3 2Eq r=1,2
(3.35)
(3.36)
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
sobre los mismos, veamos que forma tiene el operador
relacion
hamiltoniano resultante (de nuevo hacemos el calculo en t = 0 por simplicidad):
d3 p
d3 q
3
00
3
3
p
p
H = d x = d x i0 = d x
(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
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)
n
1
d3 p
=
ap,r a p,s u(r) ( p)u(s) ( p) b p,r bp,s v(r) ( p)v(s) ( p)
2
(2 )3
r,s
o
(3.37)
v(r) ( p)v(s) ( p) = 2E p rs ,
(3.38)
1
2
49
hamiltoniano no acotado inferiormente, pues los estados creados por bp , que llamaremos
antipartculas, contribuyen con energa negativa arbitrariamente grande. Para obtener un
espectro de energas que tenga sentido, debemos imponer las reglas de anticonmutacion
} = (2 )3 3 ( p q )
{ a p,r , aq,s } = {b p,r , bq,s
rs
} = 0.
{ a p,r , aq,s } = {b p,r , bq,s } = { a p,r , bq,s
(3.39)
H = d x : i0 : =
d3 p i
i
3
0i
3
i
P = d x : : = d x : i : =
p
( ap,s a p,s + bp,s b p,s ).
(2 )3
s
(3.40)
(3.41)
(3.42)
El momento angular (carga de Noether conservada asociada a la invariancia bajo rotaciones) tiene una parte orbital (identica a la del campo escalar) y otra de espn (adicional).
Aplicando las expresiones generales para las corrientes de Noether, se puede demostrar
quiral es
que la parte de espn en la representacion
i
0
3
1
i
S = d x : 2 : donde =
.
(3.43)
0 i
del eje z queda
Expresado en el espacio de Fock, el espn en la direccion
1
d3 p
d3 q
p
p
Sz =
d3 x
2
(2 )3 2E p
(2 )3 2Eq
n
: ei(q p)x aq,r a p,s u(r) (q)3 u(s) ( p) + ei(q p)x bq,r bp,s v(r) (q)3 v(s) ( p)
r,s
o
+ ei(q+ p)x aq,r bp,s u(r) (q)3 v(s) ( p) + ei(q+ p)x bq,r a p,s v(r) (q)3 u(s) ( p) : . (3.44)
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)
y que hemos introducido
1
(1)
=
,
0
(2)
0
=
,
1
(1)
0
=
,
1
(2)
1
=
.
0
(3.46)
La ultima
lnea en (3.44) se anula aplicando (3.38) y obtenemos
1
Sz a0,1
|0i = + a0,1
|0i ,
2
Sz a0,2
|0i = a0,2
|0i ,
2
(3.47)
50
1
Sz b0,1
|0i = + b0,1
|0i ,
2
Sz b0,2
|0i = b0,2
|0i ,
2
(3.48)
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.
del eje z (en
Como [Kz , Jz ] = 0, el estado resultante de hacer un boost en la direccion
la que hemos definido el espn) sigue siendo un autoestado del espn. A la proyeccion
del movimiento se le llama helicidad y se puede comprobar
del espn en la direccion
usando las expresiones explcitas de los espinores (2.143) y (2.148) que
p u(1) ( p) = +u(1) ( p) ,
p v(1) ( p) = v(1) ( p)
p u(2) ( p) = u(2) ( p) ,
p v(2) ( p) = +v(2) ( p) .
(3.49)
(3.50)
1
p S ap,2 |0i = ap,2 |0i ,
2
1
(3.51)
(3.52)
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),
Q=
d3 p
(2 )3
d x : :=
(3.53)
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 correspondiente a lo largo de una direccion
dada.
ciamos s con el espn del fermion
cualquiera n (, ). Entonces los autoestados de espn en esa
Consideremos una direccion
direccion son
(s) = ( (), ())
1
2
(1)
1
2
(2)
() D (, )
() D (, )
=
cos 2
ei sin 2
,
ei sin 2
,
cos 2
pues (n ) () = + (),
(3.54)
pues (n ) () = ().
(3.55)
(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
(n ) = (n )(i2 ) = i2 n = (i2 ) = ,
(3.56)
1
2
51
(3.57)
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)
(s)
p (s)
p
( p) =
.
p (s)
(3.59)
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 conjugado 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.2
(1)
0
,
uR
(2)
uL
,
0
(1)
vL
,
0
(2)
0
.
vR
(3.60)
3.2.3
C, P, T
Conjugacion
de carga
quiral) es
El conjugado de carga del campo de Dirac clasico (representacion
c ( x ) =
i2 R ( x )
i2 L ( x )
= i2 ( x ) (= i2 0 ( x )).
(3.61)
la operacion
conjugacion
de carga sobre los estados de una partcula.
Veamos como
actua
Para ello necesitamos introducir un operador unitario C, con C2 = 1, que transforme los
de la siguiente manera,
operadores creacion
Ca p,s C = C b p,s ,
Cb p,s C = C a p,s ,
(3.62)
52
[v
(s)
p
i2 p (s)
p(i2 (s) )
p
=
( p)] =
p(i2 (s) )
i2 p (s)
0 i2
p (s)
p
=
= i2 u(s) ( p), (3.63)
i2
0
p (s)
(3.64)
operatorial de (3.61):
(pues (2 )2 = 1.) De esta forma se satisface la version
d3 p
(s)
ipx
(s)
ipx
p
b
u
(
p
)
e
+
a
v
(
p
)
e
p,s
p,s
(2 )3 2E p s
d3 p
(s)
ipx
(s)
ipx
p
= iC 2
b
[
v
(
p
)]
e
+
a
[
u
(
p
)]
e
p,s
p,s
(2 )3 2E p s
C( x )C = C
= iC 2 ( x ).
(3.65)
(3.66)
se tiene quec
CM ( x )C = M ( x )
d3 p
(s)
ipx
(s)
ipx
p
C
b
u
(
p
)
e
+
a
v
(
p
)
e
p,s
p,s
(2 )3 2E p s
d3 p
(s)
ipx
(s)
ipx
p
a
u
(
p
)
e
+
b
v
(
p
)
e
=
p,s
p,s
(2 )3 2E p s
a p,s = C b p,s ,
(3.67)
(3.68)
Cap C = C bp ,
Cbp C = C ap .
(3.69)
1
2
53
Paridad
quiral) es
El transformado bajo paridad del campo de Dirac clasico (representacion
( x ) =
L ( x )
R ( x )
R ( x )
L ( x )
L ( x )
R ( x )
= 0 ( x ),
(3.70)
Pb p,s P = b b p,s ,
(3.71)
P(t, x) P =
d3 p
p
(2 )3 2E p
(s)
ipx
a a p,s u(s) ( p)eipx + b b
p,s v ( p )e
d3 p
(s)
ip x
(s)
ip x
p
=
a
u
(
p
)
e
+
b
v
(
p
)
e
a p,s
b p,s
(2 )3 2E p s
d3 p
0
(s)
ip x
(s)
ip x
p
=
a
u
(
p
)
e
v
(
p
)
e
b
a
p,s
p,s
b
(2 )3 2E p s
= a 0 (t, x),
si a = b ,
(3.72)
(3.73)
a = a obliga a tomar
Si el campo es de Majorana entonces a = b y la condicion
2
a = i (a = 1), como habamos anticipado. Para cualquier otro caso podemos tomar
paridades reales, siendo la paridad intrnseca de un fermion a = 1 opuesta a la de su
antifermion b = a . Si bien el valor de a (o b ) es irrelevante para cualquier observable
que involucre solo fermiones (o antifermiones), la diferencia de signo tiene consecuencias
y
si ambos estan presentes (vid. el sistema del positronio, estado ligado de electron
positron).
Para un campo escalar, ignorando espinores e ndices de espn, es facil concluir que
P(t, x) P = a (t, x),
si a = b ,
(3.74)
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
iHt
iHt
un operador antiunitario pues Te
= e T. Entonces para dos estados cualesquiera,
h Ta | Tbi = h a |bi = hb | ai ,
T (z | ai) = z T | ai .
(3.76)
Tb p,s T = b p,s ,
(3.77)
(3.78)
donde
a p,s ( a p,2 , a p,1 ) ,
Entonces,
T(t, x) T =
d3
p
(2 )3 2E p
(s)
ipx
(s)
ipx
T
a
u
(
p
)
e
+
b
v
(
p
)
e
T
p,s
p,s
s
d3
(s)
ipx
(s)
ipx
p
=
a
[
u
(
p
)]
e
+
b
[
v
(
p
)]
e
p,s
p,s
(2 )3 2E p s
d3 p
1 3
(s)
ipx
(s)
ipx
p
=
a
u
(
p
)
e
+
b
v
(
p
)
e
p,
p,
s
(2 )3 2E p s
d3 p
(s)
ipx 0
(s)
ipx 0
p
a
u
(
p
)
e
= 1 3
+
b
v
(
p
)
e
p,s
p,s
(2 )3 2E p s
= 1 3 (t, x) ,
(3.79)
(i2 (s) )
i2pp (s)
p
=
u(s) ( p) = p
(i2 (s) )
p
i2 p (s)
2
0
= i
[u(s) ( p)] = 1 3 [u(s) ( p)]
0 2
(3.80)
(3.81)
3.3
3.3.1
(3.82)
Campo electromagnetico
Cuantizacion
en el gauge de radiacion
A = 0,
(3.83)
55
de Klein-Gordon sin
las tres componentes no nulas de A ( x ) satisfacen una ecuacion
masa,
2Ai = 0.
Sus soluciones son de la forma
d3 k
A( x ) =
(2 )3 2k
(3.84)
(3.85)
=1,2
con
k = ( k , k ),
k e(k, ) = 0
k = | k |
k2 = 0,
A = 0
(3.86)
y e(k, 1), e(k, 2) dos vectores de polarizacion ortogonales entre s. Hallemos los momentos
conjugados,
L
1
= 0, pues L = F F
( 0 A0 )
4
L
= F0i ( x ) = 0 Ai ( x ) = Ei ( x )
i ( x ) =
( 0 A i )
0 ( x ) =
(3.87)
(campo electrico).
(3.88)
Vemos que A0 ( x ) = 0 (en este gauge) y 0 ( x ) = 0 (en general), as que no son variables
dinamicas. Para cuantizar el campo electromagnetico promovemos, como hasta ahora,
A( x ) a operador e imponemos
(3.89)
donde ak, (ak, ) son operadores sobre el espacio de Fock que crean (destruyen) fotones.
anteriores implican
Notese
que las relaciones de conmutacion
d3 q
d3 k
p
q (2 )3 3 (k q)0
[ Ai (t, x), E j (t, y)] = i
(2 )3 2k
(2 )3 2q
n
ei(k q )t ei(kxqy) ei (k, )e j (q, 0 )
,0
+ ei ( k q ) t e i ( k x q y )
=
i
2
0 ei (k, )e j (q, 0 )
d3 k
(2 )3
n
o
d3 k ik(xy) 1
i
j
i
j
= i
e
(
k,
)
e
(
k,
)
+
e
(
k,
)
e
(
k,
)
e
(2 )3
2
3
d k ik(xy) ij ki k j
= 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 de los tensores de dos ndices bajo rotaciones que
ciones y por tanto es una combinacion
ij
i
pueden construirse con y k , es decir,
n
o
ki k j
1
(3.91)
Aij + B 2 = ei (k, )e j (k, ) + ei (k, )e j (k, ) .
k
2
56
Multiplicando por ki , a partir de (3.86) tenemos que
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
A=
1
(1 + 1) = 1 .
2
d3 k ik(xy)
ij
i
e
= iij ( x y) = igij ( x y) .
(2 )3
(3.93)
(3.94)
Pero este termino se encarga de mantener la condicion de transversalidad del campo elec (k e = 0), que proviene de A = 0 y tambien
tromagnetico en el gauge de radiacion
E = 0. As,
d3 k ik(xy) j
j
j
[ A(t, x), E (t, y)] = x [ A(t, x), E (t, y)] = i
e
(k k j ) = 0 , (3.95)
(2 )3
d3 k ik(xy) i
i
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
clasica, por razones que ya
por ak, |0i = 0. Aplicando el orden normal a la expresion
conocemos, obtenemos entonces
1
d3 k
3
2
2
d x : E +B : =
H=
k ak, ak, ,
2
(2 )3
=1,2
3
d k
k ak, ak, .
P = d3 x : E B : =
(3.97)
(2 )3
=1,2
Por tanto 2k ak, |0i es el estado de una partcula sin masa, energa k y momento
que ahora analizaremos. Aplicando el teorema de
k con dos estados de polarizacion
Noether puede encontrarse (demuestrese) que la cantidad conservada bajo rotaciones es
ij
3
k i j
j i
M = d x 0 A ( x x ) Ak + d3 x ( Ai 0 A j A j 0 Ai ).
(3.98)
El primer termino es el momento angular orbital y el segundo es la parte de espn.
Concentremonos en el espn:
Sij = d3 x : Ai 0 A j A j 0 Ai :
d3 q
i
00 j
0
i
0 j
00
e
(
q,
)
e
(
q,
e
(
q,
)
e
(
q,
)
aq,0 aq,00 .
(3.99)
=i
(2 )3
0 ,00
Por tanto, usando (3.89),
aq,00 ak, |0i = [ aq,00 , ak, ] |0i = (2 )3 3 (q k),00 |0i
(3.100)
57
obtenemos
Sij ak, |0i = i ei (k, )e j (k, 0 ) ei (k, 0 )e j (k, ) ak,0 |0i .
(3.101)
(3.102)
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))
2
(3.103)
pues
S3 ak,+ |0i = + ak,+ |0i ,
S3 ak, |0i = ak, |0i ,
Por tanto, los estados
1.
1
ak,+ = ( ak,1 + iak,2 ) ,
2
1
ak, = ( ak,1 iak,2 ) .
2
(3.104)
(3.105)
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
se satisface el a lgebra.
Poincare en terminos de operadores creacion
3.3.2
Cuantizacion
covariante
covariante,
Nos gustara poder imponer una cuantizacion
(3.106)
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 ,
4
2
(3.107)
0 ( x ) = A ( x )
i ( x ) = F0i = Ei ( x )
(como antes)
(3.108)
y reescribiendo
1
1
L0 = ( A A A A ) g A A
2
2
(3.109)
58
las ecuaciones de Euler-Lagrange son
L0
L0
=0
A
( A )
1
1
F g A
2
2
=0
2A A + A = 0
2A = 0 ,
(3.110)
(3.111)
A (x) =
d3 k
(2 )3 2k
(3.112)
=0
[ ak, , aq,0 ] = 0 (2 )3 3 (k q) ,
(3.113)
donde
0 = 1 ,
1 = 2 = 3 = 1 .
(3.114)
(3.115)
|k, i =
2k ak, |0i
hq, |k, i = 2k h0| aq, ak, |0i = 2k h0| [ aq, , ak, ] |0i = 2k (2 )3 3 (k q) .
(3.116)
Esto no es aceptable, pues la normas se interpretan como probabilidades. De todas formas, el lagrangiano L0 no es el del electromagnetismo y, si lo fuera, los estados |k, 0i y
|k, 3i no son fsicos.
Nos podemos plantear recuperar el electromagnetismo imponiendo que sobre los estados fsicos,
fis0 A |fisi = 0 .
(3.117)
59
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,
d3 k
(2 )3 2k
( A ) = i
d3 k
( A ) = i
(2 )3 2k
=0
3
(3.119)
=0
( A )+ |fisi = 0 .
(3.120)
Ademas, como ( A )+ es un operador lineal, si |fis1 i y |fis2 i son estados fsicos tambien
arbitraria |fis1 i + |fis2 i. Entonces, si tenemos un estado fsico
lo son una combinacion
de una partcula
|i = c ak, |0i
(3.121)
(3.120) implica
la condicion
d3 q
p
(2 )3 2q
0 = ( A ) | i = i
i
2k
c k e (k, ) |0i = 0
k
( c0 + c3 ) |0i = 0
2
c0 + c3 = 0
(3.122)
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
(3.123)
| i = | T i + c | i ,
| T i =
=1,2
c ak, |0i .
(3.124)
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
no tiene
y elegir cualquier |i de la clase |T i ya sea transverso o no, pues esta eleccion
consecuencias fsicas. En efecto, demostremos lo primero,
h |i = h0| ( ak,0 ak,3 )( ak,0 ak,3 ) |0i = h0| ( ak,0 ak,0 + ak,3 ak,3 ) |0i
= h0| ([ ak,0 , ak,0 ] + [ ak,3 , ak,3 ]) |0i = 0
d3 k
H=
ak,0 ak,0 + ak, ak,
(2 )3 k
=1,2,3
!
3
d k
P=
k ak,0 ak,0 + ak, ak, .
(2 )3
=1,2,3
(3.127)
(3.128)
(3.129)
(3.130)
(3.131)
y, por tanto
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
= fis0 ( ak,0 ak,3 + ak,3 ak,3 ) |fisi
= fis0 ( a a ) ak,3 ) |fisi = 0 ,
(3.132)
k,0
k,3
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
CA ( x )C = A ( x )
Cak, C = C ak, ,
(3.133)
Pak, P = P ak,
(3.134)
Tak, T = ak,
(3.135)
61
de mismo modo que el vector T [(t, x) (t, x)] T = (t, x) (t, x).
bajo C, P y T de los camCon esto completamos las propiedades de transformacion
d
pos escalares (3.69, 3.74, 3.82), espinoriales (3.65, 3.72, 3.79) y vectorialese (3.133, 3.134,
3.135), que son los ladrillos que se usan para construir los lagrangianos que describen
la fsica de partculas elementales. Sus interacciones involucran productos invariantes
Lorentz de los campos y sus derivadas. Sabemos que las interacciones debiles violan C,
P, CP y T, aunque las interacciones fuertes y electromagneticas preservan las tres simetras discretas. Un resultado interesante es el teorema CPT que establece que cualquier
teora cuantica de campos (lagrangiano hermtico invariante Lorentz) es invariante bajo
combinada de CPT,
la accion
CPT L( x ) CPT = L( x ) .
(3.136)
En particular, es util
(2.158) a partir de las de los campos espinoriales.
e Para un campo vectorial complejo la conjugacion
de carga no es (3.133) sino CA ( x )C = A ( x ).
62
Tema 4
La matriz S
b a(t f ) = hb| eiH (t f ti ) | ai .
(4.2)
eiH (t f ti ) en el lmite (t f ti ) , donde H es
Se llama matriz S al operador evolucion
el hamiltoniano de la teora de campos. La amplitud de scattering viene dada por
hb| S | ai =
lm
(t f ti )
hb| eiH (t f ti ) | ai .
Notese
que si h a | ai = 1 y |ni es una base completa de estados,
1=
(4.3)
|nihn| = 1, tenemos
n
63
(4.4)
64
i( T T ) = T T .
(4.5)
i( Tba Tab
) = Tbn
Tan
n
2 ImTaa =
|Tan |2
(4.6)
hb| S | ai =
4.2
lm
(t f ti )
hb| eiH (t f ti ) | ai =
lm
(t f ti )
b; t f a; ti .
(4.7)
La formula
de reduccion
de LSZ
Vamos a ver que la matriz S entre estados iniciales y finales de la misma especie etiquetados 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)
de
donde se sobreentiende que ti y t f +, puede expresarse en funcion
valores esperados en el vaco de productos de campos ordenados temporalmente (que enseguida definiremos). Para ello, notemos en primer lugar que si tenemos un campo escalar
real libre,
d3 p
p
( a p eipx + ap eipx )
(2 )3 2E p
free ( x ) =
entonces
p
2Ek ak = i
ikx
d xe
free ( x ) ,
2Ek ak
= i
(4.9)
d3 x eikx 0 free ( x ) .
(4.10)
En efecto,
ikx
d xe
free ( x ) = i
=i
=
d x
2Ek ak .
d x
d3 p
ikx
ipx
ikx
ipx
p
a p e 0 e
+ a p e 0 e
(2 )3 2E p
ia p ( E p + Ek )ei(k p)x + iap ( E p Ek )ei(k+ p)x
d3 p
p
(2 )3 2E p
(4.11)
65
Esperamos que
( x ) Z1/2 in ( x ) ,
t
( x ) Z1/2 out ( x ) ,
t+
(4.12)
p
(in)
2Ek ak
= iZ 1/2 lm
d3 x eikx 0 ( x ) ,
(4.13)
t
p
(out)
2Ek ak
= iZ 1/2 lm
d3 x eikx 0 ( x ) .
(4.14)
t+
As que
(in)
p
p1 p2 pn ; t f k1 k2 km ; ti = 2Ek1 p1 p2 pn ; t f ak1 |k2 km ; ti i
1/2
= iZ
lm
d3 x eik1 x p1 p2 pn ; t f 0 ( x ) |k2 km ; ti i .
t
(4.15)
(out)
= 2Ek1 p1 p2 pn ; t f ak1 ak1
| k2 k m ; t i i
p
(4.16)
(out)
sobre p1 p2 pn ; t f destruyendo una partcula en el estado final de
pues ak1
actua
momento k1 y como supondremos que en el proceso de scattering no hay partculas que
ki coincide con un p j ) esta operacion
da
se comporten como meros espectadores (ningun
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),
p
(out)
(in)
1/2
4
ikx
= iZ
d x 0 e
0
2Ek ak ak
= iZ 1/2 d4 x 0 eikx 0 0 eikx
h
i
1/2
ikx
ikx
= iZ
d4 x eikx 20 +
(
0
20 eikx
0 e ) 0
0e
h
i
1/2
= iZ
d4 x eikx 20 (2 m2 )eikx
1/2
= iZ
d4 x eikx 20 2 + m2
1/2
= iZ
d4 x eikx (2 + m2 )( x ) ,
(4.17)
donde en la primera igualdad se ha usado que
3
3
d x f (t, x) = d4 x t f (t, x) , (4.18)
lm lm
d x f (t, x) =
dt
t
t+
t
(4.19)
66
ya que k2 = m2 ; y en la penultima
se ha usado que
d3 x (eikx ) = 0
d3 x (eikx ) = d3 x eikx 2
de donde
0=
(4.20)
d x (e
ikx
h
i
d3 x (eikx ) + eikx
h
i
= d3 x (2 eikx ) + 2(eikx ) + eikx 2
h
i
= d3 x (2 eikx ) eikx 2
3
2 ikx
d x e
= d3 x eikx 2 .
(4.21)
) =
p1 p2 p n ; t f k1 k2 k m ; t i
1/2
= iZ
d4 x eik1 x (2 + m2 ) p1 p2 pn ; t f ( x ) |k2 km ; ti i .
(4.22)
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
(in)
(out)
= 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)
T { a p ( x )} = ( x ) a p
(out)
T{a p
(out)
( x )} = a p
( x ) .
(4.25)
(4.26)
(out)
2E p ( a p
(in)
ap )
= iZ
1/2
p1 p2 p n ; t f ( x ) | k2 k m ; t i i
p1 p2 p n ; t f k1 k2 k m ; t i
= iZ
1/2
m+n
67
m
xi e
ik i xi
i =1
!
yj e
ip j y j
j =1
(4.28)
(4.29)
e
y la escribimos en terminos de su transformada de Fourier G,
G ( x1 , . . . , x N ) =
i =1
d4 qi iqi xi
e
(2 )4
!
e(q1 , . . . , q N ) ,
G
(4.30)
p1 p2 p n ; t f k1 k2 k m ; t i
!
m+n
m
d4 k i i(k i +ki )xi 2
1/2
4
2
= iZ
(k i m )
d xi (2 )4 e
i =1
!
n
d4 p j i( p j p j )y j 2
4
2
e(k 1 , . . . , k m , p 1 , . . . , p n )
( p j m ) G
d y j (2 )4 e
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
!
! 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
4
ik i xi
4
+ip j y j
=
h0| T {( x1 ) ( xm )(y1 ) (yn )} |0i
d xi e
d yj e
m
i =1
j =1
(4.32)
Esta
es la formula de reduccion de LSZ (Lehmann-Symanzik-Zimmermann). Recuerdese
p2 m2 = 0 (se dice que esta on-shell o
que para una partcula fsica se cumple la relacion
4.3
Teora de perturbaciones
68
y destruccion
de partculas a nivel cuantico. Sin embargo, podemos
operadores creacion
definir el campo en la imagen de interaccion,
I (t, x) eiH0 (tt0 ) (t0 , x)eiH0 (tt0 ) ,
(4.33)
que es un campo que coincide con el campo (t, x) de la imagen de Heisenberg sola es un campo libre,
mente en un tiempo de referencia t = t0 y que por definicion
d3 p
p
( a p eipx + ap eipx ) ,
(4.34)
I (t, x) =
(2 )3 2E p
con el tiempo viene, por tanto, determinada por el hamiltoniano libre H0 .
cuya evolucion
(4.35)
(4.36)
(4.37)
(4.38)
= H I (t)U (t, t0 )
(4.39)
(4.40)
de la ecuacion
diferencial (4.39) con la condicion
de contorno U (t, t) = 1 es
La solucion
+ (i)3
t0
t
= 1 + (i)
t0
dt1
t1
t0
dt2
t0
t0
t2
t0
21
t
t0
dt1
t
t0
t
t
1 t
dt1
+ (i)3
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 )
.
t0
Notese
que en general [ H0 , H ] = [ H0 , Hint ] 6= 0.
(4.41)
69
(4.42)
0
0
= H I (t)U (t, t0 ) .
(4.43)
= 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
0
0
= h0| U (t, t0 ) T I ( x1 ) I ( xn ) exp i
U (t, t0 ) |0i
dt H I (t )
(4.45)
(4.46)
(4.47)
(4.48)
h0| T I ( x1 ) I ( xn ) exp i d x H I ( x )
h0| T {( x1 ) ( xn )} |0i =
4
h0| T exp i d x H I ( x ) |0i
|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
Hint =
4!
(4.50)
4.4
(4.51)
(4.52)
(x) =
d3 p
p
a p eipx ,
(2 )3 2E p
(x) =
d3 p
p
a eipx .
(2 )3 2E p p
(4.53)
T {( x )(y)} = ( x )(y)
= : ( x )(y) : + [+ ( x ), (y)] ,
(4.54)
T {( x )(y)} = (y)( x )
(4.55)
T {( x )(y)} = : ( x )(y) : + DF ( x y)
(4.56)
Por tanto,
ya que entonces [+ ( x ), (y)] = [+ (y), ( x )], como puede comprobarse explcitamente en (4.62, 4.63).
Ep + i
71
e
2E p
Ep i
e
2E p
( x y) = [+ ( x ), (y)] =
(4.57)
d3 p
eip(xy) .
(2 )3 2E p
(4.58)
(4.59)
DF ( x y) =
i
d4 p
eip(xy) ,
2
4
(2 ) p m2 + ie
con e 0+ .
(4.60)
En efecto,
d4 p
i
eip(xy) =
2
4
(2 ) p m2 + ie
d3 p ip(xy)
e
(2 )3
dp0 ieip (x y )
2 ( p0 )2 E2p + ie
(4.61)
( x y) =
(y x ) =
d3 p
eip(xy) =
(2 )3 2E p
d3 p
e+ip(xy) =
(2 )3 2E p
d3 p ip(xy) eiEp (x y
e
(2 )3
2E p
0
d3 p ip(xy) e+iEp (x y
e
(2 )3
2E p
0)
(4.62)
0)
(4.63)
(en la segunda lnea se ha cambiado p por p). Para evaluar la integral sobre p0 en
(4.61) hay que elegir el contorno apropiado sobre el plano de p0 complejo (figura 4.1). El
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 ).
72
f (z) dz = 2i Res( f , z = z0 )
si ( x0 y0 ) > 0
dp0 ieip (x y )
ieip (x y )
eiEp (x y )
0
=
2i
l
m
(
p
E
)
.
=
p
2 ( p0 )2 E2p + ie
(2 )( p0 + E p )( p0 E p )
2E p
p0 E p
(4.64)
f (z) dz = 2i Res( f , z = z0 )
si ( x0 y0 ) < 0
ieip (x y )
e+iEp (x y )
dp0 ieip (x y )
0
=
2i
l
m
(
p
+
E
)
=
.
p
2 ( p0 )2 E2p + ie
(2 )( p0 + E p )( p0 E p )
2E p
p0 E p
(4.65)
Por tanto,
i
d4 p
eip(xy)
2
4
(2 ) p m2 + ie
h
i
d3 p
ip( xy)
0
0 iE p ( x0 y0 )
0
0 iE p ( x0 y0 )
e
y
)
e
+
(
y
x
)
e
(
x
=
(2 )3 2E p
DF ( x y) =
= ( x 0 y0 ) ( x y ) + ( y0 x 0 ) ( y x ) ,
(4.66)
d4 p ip(xy) e
i
e F ( p) =
DF ( x y)
e
DF ( p) D
.
(4.67)
2
4
p m2 + ie
(2 )
i
d4 p
2
(2 x + m ) D F ( x y ) =
( p2 + m2 ) eip(xy) = i4 ( x y) (4.68)
2
4
(2 ) p m2 + ie
de Green del
Notese
ademas que el propagador de Feynman no es la unica
funcion
se obtienen otras.
operador de Klein-Gordon, pues cambiando la prescripcion
Causalidad
El propagador de Feynman DF ( x y) expresa la amplitud de probabilidad de que una
partcula que se crea en y se propague libremente hasta x donde es aniquilada. En efecto,
supongamos x0 y0 > 0. Entonces,
DF ( x y) = ( x y) = h0| [+ ( x ), (y)] |0i = h0| + ( x ) (y) |0i .
(4.69)
73
2
1
d3 p eipr
1
eipr cos
2
p
=
d
d
cos
dp
p
(2 )3 2E p
(2 )3 0
2 p2 + m2
1
0
p2
eipr eipr
1
i
peipr
p
p
dp
=
=
dp
.
(2 )2 0
ipr
(2 )2 2r
2 p2 + m2
p2 + m2
(4.70)
( x y) =
Por ultimo,
haciendo el cambio de variable = mt,
m
( x y) =
4 2 r
temrt
m
m
dt 2
=
K1 (mr )
2
mr 1 4 2 r
t 1
4 r
mr
e
,
2mr
(4.72)
de Bessel modificada K1 .
donde se ha usado el lmite de la funcion
Este resultado parece indicarnos que se viola causalidad. Sin embargo no es as. En
mecanica cuantica lo importante es si conmutan dos observables medidos en x e y separados
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.
h
i
d3 p
d3 q
ipx
ipx
iqy
iqy
p
p
[( x ), (y)] =
a
e
+
a
e
,
a
e
+
a
e
p
q
p
q
(2 )3 2E p
(2 )3 2Eq
74
n
o
d3 q
d3 p
i( px qy)
i( px qy)
p
p
e
[
a
,
a
]
+
e
[
a
=
,
a
]
p
q
q
p
(2 )3 2E p
(2 )3 2Eq
o
d3 p n ip(xy)
ip( x y)
=
e
e
= ( x y) (y x ) ,
(4.73)
(2 )3
[( x ), (y)] = 0 ,
si ( x y)2 < 0 ,
(4.74)
como queramos demostrar.d En este punto es conveniente hacer dos comentarios importantes.
Para entender mejor el significado de las dos contribuciones al propagador de Feynman (4.57) que se cancelan en (4.73) cuando ( x y)2 < 0, hallemos el conmutador analogo para campos escalares complejos,
h
i
d3 p
d3 q
ipx
ipx
iqy
iqy
p
p
[( x ), (y)] =
a
e
+
b
e
,
b
e
+
a
e
p
q
p
q
(2 )3 2E p
(2 )3 2Eq
o
n
d3 p
d3 q
i( px qy)
i( px qy)
p
p
[
a
,
a
]
+
e
[
b
,
b
]
=
e
p
q
q
p
(2 )3 2E p
(2 )3 2Eq
(4.75)
Finalmente, notese
que en lo anterior ha sido fundamental que los campos escalares
y no de anticonmutacion,
pues de lo contrario el
satisfacen relaciones de conmutacion
principio de causalidad no se habra preservado. Puede verse que los campos fermionicos
Se pone de manifiesto entonces la estrecha
han de anticonmutar por la misma razon.
entre el teorema espn-estadstica y la causalidad a nivel cuantico.
conexion
4.5
Teorema de Wick
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
d
Si ( x y)2 > 0 (intervalo temporal) podemos elegir un sistema de referencia en el que ( x y) = (t, 0) y
entonces
i p2 + m2 t
p
4
1
d3 p eiEp t
2 ep
( x y) =
=
dp
p
=
dE E2 m2 eiEt eimt (t )
3
3
2
2
2
(2 ) 2E p
(2 ) 0
4 m
2 p +m
as que ( x y) (y x ) 6= 0 en este caso.
75
producto ordenado temporal de n campos i ( xi ). El teorema de Wick, que demos establece que
traremos a continuacion,
todas las combinaciones de orden normal
T {1 n } = : 1 n : +
(4.76)
y contracciones de dos campos
donde contracciones de dos campos ( xi ) y ( x j ) significa
( xi ) ( x j ) = D F ( xi x j ) ,
o abreviadamente
i j = Dij ,
(4.77)
(4.78)
donde
: 1 2 3 4 : = 1 3 : 2 4 : = D13 : 2 4 : ,
: 1 2 3 4 : = D12 D34 ,
etc.
(4.79)
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.80)
= (1 + 1 ) : 2 n +
: .
campos que no involucren a 1
(4.81)
(4.82)
[1+ , : 2 3 : ] = [1+ , 2+ 3+ + 2 3 + 2 3+ + 3 2+ ]
(4.83)
76
+ +
= 2+
[
1 , 3 ]
=0
=0
+ +
+
+
+
+ +
+
[
[
1 , 2 ] 3 + 2 [ 1 , 3 ] + [ 1 , 2 ] 3 + 2
1 , 3 ]
+ +
+ [1+ , 2 ]3+ + 3
[
1 , 2 ]
=0
=0
+ [1+ , 3 ]2+
= 2 1 3 + 1 3 2+ + 1 2 3 + 1 2 3+ =: (1 2 3 + 1 2 3 ) :
(4.84)
0
0
donde se ha usado [ A, BC ] = B[ A, C ] + [ A, B]C y i j = [i+ ,
j ], pues xi x j . Por
tanto,
contracciones simples
(1+ + 1 ) : {2 n } : = : 1 2 n : + :
: .
(4.85)
que involucren a 1
todas las contracciones de dos
:
campos que no involucren a 1
obtendremos los terminos con contracciones dobles, triples, etc., que faltan para demostrar (4.76) a partir de (4.81) y (4.85).
Si ahora repetimos el procedimiento para (1+ + 1 ) :
4.6
(4.87)
(4.88)
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
77
de
en la teora de campos escalares autointeractuantes 4 . La formula
LSZ en funcion
es:
campos en la imagen de interaccion
i Z
p2i m2
i Z
k2 m2 h p1 p2 | iT |k1 k2 i
i =1
j =1 j
4
4
4
d x (x)
|0i
h0| T ( x1 )( x2 )( x3 )( x4 ) exp i
4!
4
i( p1 x1 + p2 x2 k 1 x3 k 2 x4 )
= d xi e
i =1
d4 x 4 ( x )
h0| T exp i
|0i
4!
(4.89)
2
N0 =
2 2
1 3
2 4
i =1
4
2 2
1 3
2 4
i=1
y
x
=
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)
y
x
+ 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)
y
x
+ 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
2
m k 1 m2
i
i
+ (2 )4 4 ( p1 k1 )(2 )4 4 ( p2 k2 ) 2
2
2
p1 m p2 m2
i
i
+ (2 )4 4 ( p1 k2 )(2 )4 4 ( p2 k1 ) 2
p1 m2 k21 m2
(2 )4 4 ( p1 + p2 )(2 )4 4 (k1 + k2 )
p21
(4.90)
y = x3 x4
x1 + x2
, Y=
2
x1 x1
dx1 dx2 = x X
x2 x2
x X
X=
x3 + x4
2
1
2
dx dX = 1
2
x
y
, x3 = Y +
2
2
x
y
x2 = X , x4 = Y
2
2
1
dx dX = dx dX , etc. ,
1
x1 = X +
78
implica p2 k2 . En (4.90) hay terminos con solamente dos polos, que no son suficientes
para cancelar los cuatro polos del miembro de la izquierda de (4.89), as que
(4.91)
Este resultado (amplitud nula) es general para diagramas disconexos (aquellos en los que
punto externo no esta conectado a los demas).
algun
Primer orden. Desarrollando la exponencial del numerador vemos que a O() obtenemos
productos de campos evaluados en el mismo punto espaciotemporal, lo que, aplicando
La unica
h0| T {( x1 )( x2 )( x3 )( x4 )4 ( x )} |0ic = 4! : 1 2 3 4 x x x x :
x1
x3
x
(4.92)
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
p1
d4 xi ei( p x + p x k x k x )
1 1
i =
1
k2
= i
p2
i
4!
2 2
1 3
2 4
4!
d4 x DF ( x1 x ) DF ( x2 x ) DF ( x3 x ) DF ( x4 x )
i =1
4 4
1 1
2 2
1 3
2 4
e F ( p1 ) D
e F ( p2 ) D
e F (k1 ) D
e F (k2 )
= i(2 ) ( p1 + p2 k1 k2 ) D
(4.93)
Vi
,
,
,
, ...
(4.94)
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 conV ni
tribuye al denominador con i , donde el ni ! proviene de la simetra de intercambio
ni n i !
un tipo Vi , y que e ste sea el
de ni copias de Vi . Para comprobar esto, consideremos solo
primero de los diagramas vaco-vaco listados en (4.94). Entonces
= i
4!
1
=
2!
d4 x x x x x 3 =
i
4!
2
3
1
V = V Vi
4!
8
d4 x x x x x
d4 y y y y y 32 =
(4.95)
1 2
V
2! i
(4.96)
1 3
V
3! i
(4.97)
(4.98)
que viene dada por la exponencial de la suma de todos los posibles diagramas vacovaco.
Notese
que en el numerador tendremos, por cada diagrama conexo, la contribucion
de un numero
arbitrario de diagramas vaco-vaco. Por ejemplo,
(4.99)
(conexos) exp Vi
(4.100)
80
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.89) y (4.93),
Hint =
4
:
4!
y1
x
y1
x2
x1
y2
x1
y1
+( x y)
+
x2
y2
x2
y2
del primero (se incluye la suma del mismo interCalculemos en detalle la contribucion
cambiando x e y) que representaremos mediante el correspondiente diagrama de Feynman en el espacio de momentos:
k1
p1
k1 + k2
k2
p2
= d4 x1 d4 x2 d4 y1 d4 y2 ei( p1 x1 + p2 x2 k1 y1 k2 y2 )
1 i 2
2
(3!) 2 d4 xd4 y DF ( x1 x ) DF ( x2 x ) DF ( x y) DF (y y1 ) DF (y y2 )
|
{z
}
2!
3!
= (i)2
DF ( x1 ) DF ( x2 ) DF (y1 ) DF (y2 ) DF ( x y)
2e
e F ( p2 ) D
e F (k1 ) D
e F (k2 ) d4 xd
4 y ei( p1 + p2 )x +i( p1 + p2 k1 k2 )y DF ( x )
= (i) DF ( p1 ) D
e F (k1 + k2 ) D
e F ( p1 ) D
e F ( p2 ) D
e F (k1 ) D
e F (k2 )
= (i)2 (2 )4 4 ( p1 + p2 k1 k2 ) D
(4.102)
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.93), hemos obtenido
81
que ademas hay que introducir el propagador de cada lnea interna. Notese
finalmente que
el factor 3! en el denominador de la constante de acoplamiento se ha cancelado al sumar
todas las contracciones de Wick equivalentes. Por tanto, sumando los tres diagramas en
el espacio de momentos
k1
p1 k 1
k1 + k2
k2
p1
k 1 p1
p2 k 2
k1
k 1 p2
+
p2
p1
k2
p2
(4.103)
obtenemos
Hint =
3
:
3!
h p1 p2 | iT |k1 k2 i = (i)2 (2 )4 4 ( p1 + p2 k1 k2 )
e F (k1 + k2 ) + D
e F ( k 1 p1 ) + D
e F (k1 p2 )] + O(4 ) .
[D
(4.104)
implican la
Notese
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
de O(2 ) a la amplitud 2 2 necesitamos calcular los
4 . Para hallar la contribucion
siguientes diagramas conexos:
y1
x1
x
x1
y1
y
y2
x2
x1
y1
+( x y)
+
x2
y2
x2
y2
En todos aparece un loop formado por dos lneas internas que comparten punto inicial y
del primero de estos diagramas (incluyendo
final.e Miremos con detalle la contribucion
la suma del mismo intercambiando x e y) que representaremos mediante el siguiente
diagrama de Feynman en el espacio de momentos:
k1
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.108).
82
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 )
|
{z
}
2!
4!
2
1
= (i)2
2
1
e F ( p1 ) D
e F ( p2 ) D
e F (k1 ) D
e F (k2 ) d4 xd
4 y ei( p1 + p2 )x +i( p1 + p2 k1 k2 )y D2F ( x )
= (i)2 D
2
1
e F ( p1 ) D
e F ( p2 ) D
e F (k1 ) D
e F (k2 )
= (i)2 (2 )4 4 ( p1 + p2 k1 k2 ) D
2
d4 q e
e F (k1 + k2 q)
DF (q) D
(4.105)
(2 )4
donde hemos sustituido
4
i(k1 +k2 ) x 2
4
i(k1 +k2 ) x
d x e
DF ( x ) = d x e
DF ( x )
d4 q iq x e
DF (q)
e
(2 )4
d4 q e
e F (q) .
DF (k1 + k2 q) D
(2 )4
(4.106)
del
Vemos que, ademas del habitual factor (2 )4 4 ( p1 + p2 k1 k2 ) de la conservacion
cuadrimomento, el factor (i) por cada vertice y el propagador de cada lnea interna,
aparece una integral sobre el cuadrimomento del loop dividida por (2 )4 . Obtenemos
asimismo un factor de simetra 12 procedente del contaje de factores 1/4! y contracciones de
Wick equivalentes (estos factores de simetra son frecuentemente una fuente de errores
en el calculo). Tambien aparecen los propagadores de cada pata externa en el espacio
p1
k1
+ p1 k 1 + q
k2
k1 + k2 q
p2
k2
p1
k1
p1
+ p2 k 1 + q
q
p2
k2
p2
obtenemos
4
:
4!
h p1 p2 | iT |k1 k2 i = (2 )4 4 ( p1 + p2 k1 k2 )
1
d4 q e
2
e F (k1 + k2 q)
i + (i)
[ DF (q) D
2
(2 )4
e F (q) D
e F ( k 1 p1 q )
+D
Hint =
(4.107)
e F (q) D
e F (k1 p2 q)] + O(3 ) .
+D
83
Si evaluamos las integrales del loop veremos que son divergentes en el ultravioleta, pues
intienden a infinito cuando q se hace grande. Para dotar de sentido a esta correccion
que habamos obtenido a orden mas bajo en TP tendremos que
finita a la prediccion
renormalizar la teora. Abordaremos este problema en el Tema 7.
de la funcion
de onda)
Hasta ahora hemos ignorado los factores Z (renormalizacion
p1
q
k1
e F (k2 ) D
e F ( p1 ) D
e F ( p2 )
= (2 )4 4 (k1 + k2 p1 p2 )(i) D
1
d4 q
i
e
e F (k1 )
DF (k1 ) (i)
D
2
2
4
2
q
m
(
2
)
p2
k2
(4.108)
a la pata externa
la formula
LSZ, y por tanto nos da infinito. Notese
que la correccion
factoriza y se puede leer directamente del siguiente diagrama
1
iB = (i)
2
e F ( p)(iB) D
e F ( p) ,
=D
i
d4 q
.
(2 )4 q2 m2
(4.109)
e F ( p) + D
e F ( p)(iB) D
e F ( p) + D
e F ( p)(iB) D
e F ( p)(iB) D
e F ( p) + . . .
=D
h
i
e F ( p) 1 + (iB D
e F ( p)) + (iB D
e F ( p))2 + . . .
=D
!
1
i
1
i
e F ( p)
=D
= 2
= 2
.
B
2
2B
e
p
m
p
m
1 p2 m2
1 + iB DF ( p)
(4.110)
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
las demas. Para ello, sumamos todos los diagramas con dos patas externas que sean
84
= iM2 ( p2 ) .
1PI
(4.111)
Ahora podemos resumar todas las correcciones al propagador por el mismo procedimiento de antes. Llamemos m0 al parametro de masa que hemos introducido en el lagrangiano. Entonces el propagador completo (a todo orden en TP) es
1PI
1PI
1PI
i
i
i
+ 2
[iM2 ( p2 )] 2
+...
2
2
m0 p m0
p m20
"
#
2 2 2
i
M 2 ( p2 )
M (p )
= 2
1+ 2
+
+...
p m20
p m20
p2 m20
p2
i
p2 m20
1
i
= 2
.
2
2
2
p
M 2 ( p2 )
M (p )
0
1 2
p m20
(4.112)
(4.113)
m20
dM2
( p2 m2 ) + . . .
M (p ) = p
M (m )
dp2 p2 =m2
!
dM2
2
2
= (p m ) 1
(cerca de p2 = m2 ) .
dp2 p2 =m2
2
m20
(4.114)
Por tanto,
p2
iZ
+ regular cerca de p2 = m2
m2
(4.115)
donde
m2 = m20 + M2 (m2 ) ,
Z=
! 1
dM2
1
.
dp2 p2 =m2
(4.116)
85
amputar
(4.117)
j =1
Amputada
h p1 . . . pn | iT |k1 . . . km i =
m+n
Z
p1
..
.
..
.
Amp.
..
.
km
(4.118)
..
.
pn
Con esto ya podemos dar las reglas de Feynman para campos escalares reales en el
de los campos es de la forma
espacio de momentos. Consideremos que la interaccion
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.
del cuadrimomento en cada vertice.
2. Imponer conservacion
3. Asociar un factor (i) a cada vertice.
e F ( p) =
4. Asociar a cada lnea interna de momento p un factor D
p2
i
.
m2 + ie
86
h p1 pn | iT |k1 km i = (2 )4 4
pi k j
i
iM ,
(4.119)
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.102). La formula
LSZ exige que pongamos las partculas entrantes y salientes sobre su capa de masas,
k21 = k22 = p21 = p22 = m2
(4.120)
(4.121)
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.122)
Es facil comprobar que el p2interm de las lneas internas de los otros dos diagramas en
(4.103) 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
por parejas y
Los campos fermionicos
apareceran en los hamiltonianos de interaccion
(4.123)
87
Del mismo modo, debemos definir de forma consistente el orden temporal de dos cam
pos fermionicos,
( x1 )( x2 ) , x10 > x20
T {( x1 )( x2 )} =
(4.124)
( x2 )( x1 ) , x10 < x20
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.125)
(4.126)
d3 p
d3 p
+
(s)
ipx
p
p
(x) =
a
u
(
p
)
e
,
(
x
)
=
p,s
b v(s) ( p)eipx ,
(2 )3 2E p s
(2 )3 2E p s p,s
d3 p
d3 p
+
(s)
ipx
p
p
(
p
)
e
,
(x) =
v
(
x
)
=
b
p,s
a u(s) ( p)eipx ,
(2 )3 2E p s
(2 )3 2E p s p,s
(4.127)
tenemos queg
T {( x )(y)} = ( x0 y0 )( x )(y) (y0 x0 )(y)( x )
h
i
+
= ( x 0 y0 ) + ( x ) ( y ) + + ( x ) ( y ) + ( x ) ( y ) + ( x ) ( y )
h
i
+
+
( y0 x 0 ) ( y ) + ( x ) + ( y ) ( x ) + ( y ) + ( x ) + ( y ) ( x )
h
+
= ( x 0 y0 )
: + ( x ) (y) : +{+ ( x ), (y)}+ : + ( x ) (y) :
i
+
+ : ( x ) (y) : + : ( x ) (y) :
h
+
+
+
( y0 x 0 )
: (y)+ ( x ) : +{ (y), ( x )}+ : (y) ( x ) :
i
+ : (y)+ ( x ) : + : (y) ( x ) :
h
i
= : ( x )(y) : +( x )(y)
(4.128)
(4.129)
88
( x )(y) = ( x )(y) = 0 .
(4.130)
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.131)
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
(4.132)
d3 p 1
(s) (s)
0
0
SF ( x y) = ( x y )
u p u p eip(xy)
3
(2 ) 2E p s
d3 p 1
(s) (s)
( y0 x 0 )
v p v p eip(xy)
(2 )3 2E p
s
3p
d
1
= ( x 0 y0 )
(/
p + m)eip(xy)
(2 )3 2E p
d3 p 1
(/
p m)eip(xy)
( y0 x 0 )
(2 )3 2E p
d3 p 1 ip(xy)
x + m)
= ( x0 y0 )(i/
e
(2 )3 2E p
d3 p 1 ip(xy)
x m)
(y0 x0 )(i/
e
(2 )3 2E p
=
=
(i/
x + m) DF ( x y)
d4 p
i
(i/
x + m)
eip(xy) .
2
4
(2 ) p m2 + ie
(4.133)
Por tanto,
SF ( x y) =
d4 p
i( /
p + m) ip(xy)
e
=
(2 )4 p2 m2 + ie
y, en el espacio de momentos,
SeF ( p) =
i
d4 p
eip(xy)
p m + ie
(2 )4 /
d4 x SF ( x y)eip(xy) =
i
/
p m + ie
(4.134)
(4.135)
(i/
x m)SF ( x y) = (2x + m2 ) DF ( x y) = i4 ( x y) .
(4.136)
89
Es muy importante notar que SeF ( p) 6= SeF ( p), as que hay que tener cuidado con el signo
del momento.
free ( x ) =
d3 p
p
(2 )3 2E p
(4.137)
lo que conduce a
p
p
p
p
2Ek ak,r =
2Ek bk,r
=
2Ek ak,r =
2Ek bk,r =
(4.138)
(4.139)
(4.140)
(4.141)
En efecto,
i
h
d3 p
(r )
0 (s)
i( k p ) x
(r )
0 (s)
i( k + p ) x
p
= d3 x
(
k
)
u
(
p
)
e
+
b
(
k
)
v
(
p
)
e
u
u
a
p,s
p,s
(2 )3 2E p s
i p
h
1
(r )
0 (s)
(r )
0 (s)
=
u
(
k
)
u
(
k
)
+
b
u
(
k
)
v
(
k
)
= 2Ek ak,r
(4.142)
a
k,s
k,s
2Ek s
donde se ha usado que
u(r) (k)0 u(s) (k) = 2Ek rs ,
(4.143)
y lo mismo para los demas. Igual que para campos escalares, esperamos que
( x ) Z1/2 in ( x ) ,
t
( x ) Z1/2 out ( x ) ,
t+
p
(in)
1/2
2Ek ak,r = lm Z
d3 x ( x )0 eikx u(r) (k)
t
p
(out)
1/2
2Ek ak,r
= lm Z
d3 x ( x )0 eikx u(r) (k)
t+
(4.144)
(4.145)
(4.146)
1/2
= Z
d4 x 0 ( x )0 eikx u(r) (k)
90
= iZ
1/2
(4.147)
p
(in)
(out)
1/2
2Ek bk,r bk,r
x m)( x ) ,
= iZ
d4 x v(r) (k)eikx (i/
p
(in)
(out)
2Ek ak,r ak,r
x m)( x ) ,
= iZ 1/2 d4 x u(r) (k)eikx (i/
p
(in)
(out)
2Ek bk,r bk,r
= iZ 1/2 d4 x ( x )(i /x +m)eikx v(r) (k) .
(4.148)
(4.149)
(4.150)
p
(out)
p1 pn ; t f k1 k2 km ; ti = 2Ek1 p1 pn ; t f ak1 ,r ak1 ,r
| k2 k m ; t i i
p1 p n ; t f ( x1 ) | k2 k m ; t i i
p
(out)
(in)
= 2Ek2 p1 pn ; t f T {( x1 )(bk2 ,s bk2 ,s )} |k3 km ; ti i
nf
m
n
m
(s0 )
( si )
4
ik i xi
4
+ip j y j
=
d xi e
d yj e
v (k i ) u j ( p j )
mf
i =1
j =1
h0| T
i =m
f +1
mf
nf
( xi ) ( xi ) ( y j )
i =1
j =1
i = m f +1
j =1
j = n f +1
(y j )
mf
|0i u (ri ) ( k i )
i =1
(r 0j )
( pj )
j = n f +1
L = LDirac + LKG g
Hint = g .
(4.153)
91
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 )
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 )
v(s) (k2 )(k/2 m) h0| T {( x1 )( x2 )( x3 )( x4 )} |0i (k/1 + m)u(r) (k1 )
(4.154)
de Green, de forma
donde se ha empleado la transformada de Fourier de la funcion
analoga a como hicimos para llegar a (4.32). Estos campos no son libres. Para escribir los
reemplazamos h0| T {( x1 )( x2 )( x3 )( x4 )} |0i por
campos en la imagen de interaccion
4
0
T
(
x
)
(
x
)
(
x
)
(
x
)
exp
i
d
x
H
(
x
)
(4.155)
h |
|0i
2
3
I
1
4
Aplicamos el teorema de Wick y nos fijamos en las dos contribuciones conexas, que
aparecen a orden g2 ,
(A)
x4
x2
+
x3
( x y)
x1
: 1 2 3 4 x x x y y y :
: 1 2 3 4 x x x y y y :
= 1 y 2 x 4 x x y y 3
= 1 x 2 y 4 y y x x 3
(B)
x4
x2
+
x3
(4.156)
( x y)
x1
: 1 2 3 4 x x x y y y :
: 1 2 3 4 x x x y y y :
= 1 x 2 y 4 x x y y 3
= 1 y 2 x 4 y y x x 3
(4.157)
92
h p1 p2 | iT |k1 k2 i A
2
2
1/2
1/2
2
2
2
2
= 2 iZ
iZ
( 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!
(s)
v (k2 )(k/2 + m)SF ( x4 x )SF ( x y)SF (y x3 )(k/1 m)u(r) (k1 )
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
(s)
2 2
= (ig) i
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
2
4 y ei( p2 k2 )x ei( p1 + p2 k1 k2 )y v(s) (k2 )SF ( x )u(r) (k1 )
= (ig)
d4 xd
i
u (r ) ( k1 )
/
p2 k/2 m
(4.158)
h p1 p2 | iT |k1 k2 i B
d4 xi d4 xd4 y ei( p x + p x k x k x )
1 1
2 2
1 3
2 4
i =1
(s)
2 2
= (ig) i
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
2
4 y ei( p1 k2 )x ei( p1 + p2 k1 k2 )y v(s) (k2 )SF ( x )u(r) (k1 )
= (ig)
d4 xd
i
u (r ) ( k1 )
/
p1 k/2 m
(4.159)
p1
93
k1
k 1 p1
k2
p2
p1
k 1 p2
k2
p2
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
se toma la direccion
de la carga negativa), pero el momento tiene sentido
un electron
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 ).
saliente:
fermion
=
entrante:
antifermion
u(s) ( p )
saliente:
antifermion
= v(s) ( p )
= ig
4. Propagadores:
= u(s) ( p )
= v(s) ( p )
94
=
p
i
p2 m2 + ie
i( /
p + m)
m2 + ie
p2
5. Hay que tener cuidado con los signos relativos entre diagramas que involucren
p1
k1
p1
k2
p2
+
k2
iM = (ig)
p2
i
i
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
1
ip x
p ( x) = h x | pi = C e
con
d3 x | p ( x)|2 = 1 C =
(5.1)
V
V
y los posibles momentos pi estan cuantizados, pi = (2/L)ni con ni = 0, 1, 2, . . . .
Entonces, en el espacio de momentos,
(NR)
3
= d x h p | x ih x |qi = d3 x p ( x)q ( x ) = pq .
(5.2)
h p |qi
anterior no es invaEn TQC, que es una teora cuantica relativista, la normalizacion
h p |qi = 2E p (2 )3 3 ( p q) ,
(5.3)
h p |qi = 2E p Vpq
(5.4)
3 3
lm (2 ) ( p q) = lm
pq
pq
(5.5)
(5.6)
y por tanto,
n
95
(5.7)
Tema 5: Observables
96
(5.8)
Mfi =
5.2
`=1
j =1
(5.9)
Anchura de desintegracion
4 4
lm (2 ) ( p q) = lm dx4 ei( pq)x = VT ( )
pq
pq
(5.10)
(5.11)
y dN f es el numero
de estados de n partculas con momentos entre pi y pi + dpi . Halle
d3 p
| pih p|
(2 )3 2E p
1=
(5.12)
|qi =
d3 p
| pih p |qi =
(2 )3 2E p
d3 p
2E p (2 )3 3 ( p q) = |qi
(2 )3 2E p
(5.13)
d3 p
Vd3 p
=
.
(2 )3 2E p
(2 )3
(5.14)
dN f =
Vd3 p j
(2 )3
j =1
(5.15)
97
n Vd3 p
d
j
= (2 )4 4 ( Pf Pi )V |T f i |2
3
T
(2 )
j =1
(5.16)
1
|M f i |2 dn
2Ek
(5.17)
4 4
dn = (2 )
j =1
p j Pi
j =1
d3 p j
.
(2 )3 2Ej
(5.18)
p1 , m1
P, M
p2 , m2
La integral sobre el espacio fasico de n = 2 partculas finales en el sistema centro de
d3 p 1
d3 p 2
4
d2 = (2 )
4 ( p1 + p2 P )
(2 )3 2E1 (2 )3 2E2
d3 p1
= ( E1 + E2 ECM )
(2 )2 2E1 2E2
| p|2 d
E1 E2
=
2
(2 ) 4E1 E2 | p|( E1 + E2 )
| p|d
=
,
(5.19)
16 2 ECM
donde se ha usado
d3 p1 = | p1 |2 d| p1 |d
(| p1 | | p|)
( E1 + E2 ECM ) = ( f (| p1 |) = 0
| f (| p1 | = | p|)|
q
q
2
2
E1 = m1 + | p1 | , E2 = m22 + | p1 |2
f 0 (| p1 |) =
f E1
f E2
|p | |p |
+
= 1 + 1 = | p1 |
E1 | p1 | E2 | p1 |
E1
E2
(5.20)
(5.21)
(5.22)
E1 + E2
E1 E2
.
(5.23)
Tema 5: Observables
98
(5.24)
La anchura total se obtiene sumando las anchuras parciales a todos los canales de desinte Su inversa es la vida media de la partcula,
gracion.
= 1
5.3
(5.25)
Seccion
eficaz
v
vt
NB
Blanco
NH
Haz
Figura 5.1: Blanco con NB partculas bombardeado por un haz de NH partculas de velocidad v.
eficaz es el a rea efectiva de una partcula (blanco) vista por un proyectil
La seccion
(en el haz incidente). Supongamos que en el blanco hay NB partculas y que la superficie
es A. Entonces, la probabilidad de colision
es
de colision
P=
NB
.
A
(5.26)
NB
A
(# sucesos)
A.
NH NB
(5.27)
En la practica, el haz esta formado por una nube de partculas de densidad que se
mueven con velocidad v, as que
NH = vtA
(# sucesos)
(# sucesos)
A=
vtANB
v tNB
por unidad de tiempo
probabilidad de transicion
=
flujo incidente
Vd3 p j
(2 )3
j =1
n
d =
(2 )4 4 ( Pf Pi )V |T f i |2
v
(5.28)
99
=
(5.29)
= B 1
V
V EH
EB
VEH EB
VEH EB
donde (v1 v2 ) es la velocidad relativa entre una partcula del haz y otra del blanco, de
masas M1 y M2 respectivamente, que supondremos colineales (k1 ||k2 ),a de modo que, en
para el flujo que es invariante bajo boosts en la direccion
k 2 = ( EB , k2 )
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
d =
n Vd3 p
(2 )4 4 ( Pf Pi )|T f i |2
j
2
.
2E
2E
V
H
B
2
2
3
2
1/2
(2 )
4 {( k1 k2 ) M1 M2 }
j =1
(5.31)
4 {( k1 k2
)2
1
|M f i |2 dn
M12 M22 }1/2
(5.32)
eficaz
Notese
que si hay nr partculas identicas de la especie r en el estado final la seccion
total, tras integrar sobre el espacio fasico, debe dividirse por el factor de simetra
S=
nr ! .
(5.33)
del estado final no se miY si el estado incial no esta polarizado y/o la polarizacion
de debe promediarse sobre las polarizaciones iniciales y/o sumarse sobre las finales,
respectivamente.
Consideremos ahora el caso particular del scattering 2 2 en el sistema CM:
k1 , M1
p1 , m1
k2 , M2
p2 , m2
k2 = ( E2 , k) ,
ECM = E1 + E2 ,
a As nos vale tanto para colisiones de blanco fijo, como el de la figura (5.1), como para colisionadores de
partculas en los que se hacen chocar dos haces.
Tema 5: Observables
100
As que
| p|
d
1
=
|M f i |2 .
2
2
d
64 ECM |k|
(5.35)
S f i = f i + i(2 )4 4 ( Pf Pi )T f i
[S f i ] = [energa]0 ,
(2Ej V )1/2 T f i
[M f i ] = [energa]4ni n f
d3 p j
(2 )3 2Ej
[dn ] = [energa]4+2n
[] = [energa]2 = [longitud]2
[] = [energa] = [tiempo]1
ni + n f
Mfi =
j =1
dn = (2 )4 4 ( Pf Pi )
j =1
|M f i |2 dn
4 {( k1 k2 )2 M12 M22 }1/2
1
d(ni = 1 n) =
|M f i |2 dn
2M
d(ni = 2 n) =
[T f i ] = [energa]4
(5.36)
(5.37)
5.4
c 3 108 m/s ,
1 fm = 1015 m ,
V ( x)
(5.38)
m
f ( ) =
d3 x eiq x V ( x) , q = k0 k , k = |k| = |k0 | .
(5.39)
2
101
anterior se convierte en
Si el potencial es central, V = V (r ), la expresion
2m
f ( ) =
dr rV (r ) sin qr , q = |q| = 2k sin .
q 0
2
(5.40)
Consideremos k m (propio del lmite NR) y sea el blanco que genera el potencial
tpica
una partcula muy pesada de masa M A m. Esta
es, por ejemplo, la situacion
es dispersado por un nucleo,
cuando un electron
de modo que podemos despreciar el
k0
k0
1
|k0 |
1
|M f i |2 d
|M f i |2 d .
2
64 2 ECM |k|
64 2 M2A
(5.41)
(5.42)
de modo que en el lmite NR, ignorando los factores de V que sabemos deben cancelarse
en la formula
correcta,
delast
m2
|T |2 d
4 2 f i
(5.43)
m
T ,
2 f i
(5.44)
d3 q iq x
3
iq x
T f i (q) = d x e
V ( x) V ( x) =
e T f i (q) .
(5.45)
(2 )3
102
Tema 5: Observables
Tema 6
(6.1)
(6.2)
de modo que
L
L
=0
A
( A )
1
F + A = 0
103
104
1
2A 1
A = 0
1
g 2 1
A = 0
(6.3)
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
de ( g 2 ) A = 0.
ver con la simetra gauge: A0 = A + tambien es solucion
de Feynman que ya hemos discutido, es el
El inverso de (6.4), incluyendo la prescripcion
propagador del foton
i
k k
e
(6.5)
DF (k) = 2
g + (1 ) 2
k + ie
k
En efecto,
e (k )
D
F
1
k g + 1
k k = i .
(6.6)
del signo global es la apropiada pues, mientras que para campos escalares
La eleccion
son [ a p , aq ] = (2 )3 3 ( p q), para el campo de Maxwell con
las reglas de conmutacion
vimos en
= 1 son [ a p, , aq,0 ] = 0 (2 )3 3 ( p q) = g0 (2 )3 3 ( p q), segun
(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 acoplamiento mnimo del campo electromagnetico con cargas y corrientes j = (, j) = eQ f ,
f aniquilado por el campo
donde Q f es la carga electrica en unidades de e del fermion
. De esta forma se obtiene el lagrangiano de la electrodinamica clasica (2.215). Para
electromagnetica a nivel cuantico (QED) hemos de fijar el gauge,
describir la interaccion
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)
105
Patas externas:
entrante:
fermion
p
saliente:
fermion
p
= u(s) ( p )
entrante:
antifermion
= u(s) ( p )
saliente:
antifermion
= v(s) ( p )
= v(s) ( p )
p
entrante:
foton
saliente:
foton
= e (k, )
= e (k, )
Vertice:
= ieQ f
Propagadores:
k
p
6.2
i
k k
(
1
)
g
k2 + ie
k2
i( /
p + m)
m2 + ie
p2
Un proceso sencillo: e+ e +
e+
+
k1
p1
k2
e
p2
106
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).
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 ) ,
(6.11)
(6.12)
M=
e 2 ( s2 )
u ( p 2 ) v ( s 1 ) ( p 1 ) v ( r 1 ) ( k 1 ) u ( r 2 ) ( k 2 ) .
q2
(6.13)
(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)
|M|2 =
e 4 ( s2 )
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
u (1) ( p ) u (1) ( p ) =
1 + 5 n
/
(/
p + m) ,
2
(6.17)
107
1 5 n
/
(/
p + m) ,
2
1 + 5 n
/
v (1) ( p ) v (1) ( p ) =
(/
p m) ,
2
1 5 n
/
v (2) ( p ) v (2) ( p ) =
(/
p m) ,
2
u (2) ( p ) u (2) ( p ) =
(6.18)
(6.19)
(6.20)
u( p, n)u( p, n) =
v( p, n)v( p, n) =
1 + 5 n
/
(/
p m)
2
(6.21)
n , que cumple
proyectan sobre polarizaciones bien definidas a lo largo de una direccion
2
to, p = ( E, 0, 0, | p|), los operadores anteriores proyectan sobre los dos estados de helicidad de partcula y antipartcula, respectivamente, si tomamos n = (| p|/m, 0, 0, E/m).
En particular, en el lmite ultrarrelativista (E m) los proyectores sobre quiralidades
right y left de partcula y antipartcula son:
1 + 5 n
/
(/
p + m)
2
1 5 n
/
(/
p + m)
u (2) ( p ) u (2) ( p ) =
2
1 + 5 n
/
(/
p m)
v (1) ( p ) v (1) ( p ) =
2
1 5 n
/
v (2) ( p ) v (2) ( p ) =
(/
p m)
2
u (1) ( p ) u (1) ( p ) =
1 + 5
(/
p + m) ,
2
1 5
u L ( p)u L ( p) =
(/
p + m) ,
2
1 5
v L ( p)v L ( p) =
(/
p m) ,
2
1 + 5
v R ( p)v R ( p) =
(/
p m) .
2
u R ( p)u R ( p) =
(6.22)
(6.23)
(6.24)
(6.25)
(6.27)
que conducen a
(6.28)
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 =
|M|2
4
ri
ri
si
e4
4q4
si
Tr[ ( /
p1 M ) ( /
p2 + M)]Tr[ (k/2 + m) (k/1 m)] ,
(6.29)
108
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,
Tr[# impar 0 s] = 0
(6.30)
Tr[ ] = 4g
(6.31)
Tr[ ] = 4( g g g g + g g )
(6.32)
de donde
Tr[ ( /
p1 M ) ( /
p2 + M)] = Tr[ /
p1 /
p2 ] M2 Tr[ ]
= 4( p1 p2 ( p1 p2 ) g + p1 p2 ) 4M2 g
(6.33)
(6.34)
ri
si
16e4
[( p1 k1 )( p2 k2 ) ( p1 p2 )(k1 k2 ) + ( p1 k2 )( p2 k1 ) m2 ( p1 p2 )
4q4
8e4
[( p1 k1 )( p2 k2 ) + ( p1 k2 )( p2 k1 ) + m2 ( p1 p2 ) + M2 (k1 k2 ) + 2M2 m2 ] .
q4
(6.35)
k1 = E(1, 0, 0, i ) ,
k2 = E(1, 0, 0, i ) ,
p1
p2
i =
1 m2 /E2 ,
f =
(6.36)
1 M2 /E2 .
(6.37)
Entonces,
2
q2 = (k1 + k2 )2 = ( p1 + p2 )2 = ECM
= 4E2 ,
2
( p1 k1 ) = ( p2 k2 ) = E (1 i f cos ) ,
2
( p1 k2 ) = ( p2 k1 ) = E (1 + i f cos ) ,
2
( p1 p2 ) = E (1 +
( k 1 k 2 ) = E2 (1 +
2f )
2i )
si
(6.40)
(6.41)
= E2 (2 m2 /E2 )
(6.42)
= E (2 M /E ) ,
f |M|2 =
[2E4 (1 + 2i 2f cos2 ) + 2E2 (m2 + M2 )]
2E4
ri
(6.39)
(6.35) queda
y la expresion
e4
(6.38)
6.3. Comentarios
109
"
=e
m2 + M 2
1+4
+
2
ECM
4m2
1 2
ECM
4M2
1 2
ECM
#
2
cos
(6.43)
d
= 2
d
4ECM
"
2 4M2
ECM
m2 + M 2
1
+
4
+
2
2
ECM 4m2
ECM
4m2
1 2
ECM
4M2
1 2
ECM
#
2
cos
(6.44)
d
= 2
d
d
d cos
d
.
d
(6.45)
6.3
6.3.1
(6.46)
42
.
2
3ECM
(6.47)
Comentarios
Sobre el propagador y los estados de polarizacion
e (k, )e (k, 0 ) = 0 ,
0 = 1 ,
1 = 2 = 3 = 1 ,
e (k, )e (k, ) = g .
(6.48)
(6.49)
=0
(6.50)
(6.51)
(transversa) e (k, 1) y e (k, 2) los tomamos ortoLos otros dos vectores de polarizacion
gonales entre s y perpendiculares al plano n k, de modo que
e (k, )e (k, 0 ) = 0 ,
, 0 = 1, 2 .
(6.52)
110
k define el
Por ejemplo, en el sistema de referencia en el que el vector de propagacion
e (k, 3) = (0, 0, 0, 1) ,
(6.53)
e (k, 2) = (0, 0, 1, 0)
(lineales)
(6.54)
o bien
e (k, L) = (0, cos , i sin , 0) ,
(elpticas)
(6.55)
(3.116). Por otro lado, el campo electromagnetico clasico en ausencia de fuentes (radiacion)
tiene dos estados de polarizacion,
mientras que su version
cuantica parece tener
solo
cuatro. Ambos problemas estan relacionados y se resuelven, como ya hemos visto, impo de Gupta-Bleuler):
niendo que A evaluado entre estados fsicos se anula (cuantizacion
transversos contribuyen a los observables fsisolamente los dos estados de polarizacion
cos, as que no tenemos que preocuparnos por los escalares ni los longitudinales. Sin
embargo todos contribuyen al propagador, que no es un observable. Veamos esto.
Tomemos, para empezar, el gauge de t Hooft-Feynman ( = 1), en el que el propagador es
e (k ) = ig
D
F
k2 + ie
(6.56)
3
i
e (k, )e (k, ) .
k2 + ie =0
(6.57)
e (k) =
e (k, )e (k, ) +
n n . (6.58)
D
F
k2 + ie
(kn)2 k2
=1,2
in n
(kn)2 k2
e (k ) =
D
R
i
[k k (kn)(k n + k n )] .
k2 [(kn)2 k2 ]
(6.59)
DC ( x
0
d4 k e
DC (k )eik(x x ) =
x )=
4
(2 )
1 g0 g0
=
( x 0 x 00 ) .
4 | x x0 |
d3 k g0 g0 ik(x x0 )
e
(2 )3 k2
6.3. Comentarios
111
d4 x d4 x 0 j1 ( x ) DF ( x x 0 ) j2 ( x 0 )
(6.61)
mediante el campo
donde j1 ( x ) y j2 ( x 0 ) son dos densidades de corriente que interactuan
j0 ( x ) j20 ( x 0 )
4
d x d4 x 0 1
( x 0 x 00 ) ,
(6.62)
4 | x x0 |
que no es otra cosa que la interacccion instantanea de Coulomb (en el mismo instante de
tiempo!) entre las dos densidades de carga j10 ( x ) y j20 ( x 0 ). En cuanto a la parte restante
DR , notese
que (6.61) en el espacio de momentos es
d4 k
e (k ) j2 (k )
j1 D
(6.63)
F
(2 )4
y que las corrientes son conservadas, es decir, j ( x ) = 0 o bien k j (k) = 0. Por consie son irrelevantes y D
e (k ) no contriguiente los terminos proporcionales a k o k en D
F
R
por la que el gauge de t Hooft-Feynman
buye a la interaccion. Por cierto, e sta es la razon
es valido: si no hubieramos tomado = 1 habra terminos extra en el propagador proporcionales a k k , que son irrelevantes porque se acoplan a una corriente conservada.
electromagnetica tiene una triple naturaleVemos que el campo de la interaccion
una parte es completamente arbitraria (debido a la invariancia gauge); otra, llamado
aproximacion
el potencial de Coulomb viene da
del electron.
Esta
do por la posicion
ultima
es un operador en mecanica cuantica (lo que
6.3.2
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
de los espinores corresponde a una permutacion
112
Scattering de Bhabha: e+ e e+ e
3
u1 u4 v3 v2
u1 v2 v3 u4
Scattering de Mller: e e e e
4
u1 u4 u3 u2
u1 u2 u3 u4
=
2
1
2
+ u1 u2
u1 u2
6.3.3
Recordemos tambien que si hay dos partculas identicas en el estado final (por ejemplo,
eficaz total es
, e+ e+ , e e ) la seccion
1
=
2
6.3.4
d
.
d
(6.64)
(transversos). Supongamos el siste Caso del foton. Tiene dos estados de polarizacion
ma de referencia en el que k = (, 0, 0, ) (nuestras conclusiones seran indepen gracias a la covariancia Lorentz). Entonces, pueden ser
dientes de esta eleccion
lineales:
elpticas:
e (k, 1) = (0, 1, 0, 0) ,
e (k, 2) = (0, 0, 1, 0)
6.3. Comentarios
113
1 0 0 0
0 0 0 0
e (k, )e (k, ) = g + Q , Q =
0 0 0 0 .
0 0 0 1
(6.65)
(6.66)
|M(k, )|2 =
=1,2
1
(6.67)
(6.68)
M (k) = d4 x eikx h f | j ( x ) |i i
donde los estados inicial y final incluyen todas las partculas externas excepto el
en cuestion.
Como la simetra gauge se debe preservar tambien a nivel cuantifoton
de la corriente y la expresion
anterior deducimosc que
co, de la conservacion
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
(6.71)
e (k, )e (k, ) g .
(6.72)
(uno longitu Caso de un boson vectorial masivo. Tiene tres estados de polarizacion
dinal y dos transversos). En este caso podemos elegir el sistema de referencia en
0=
e (k, 2) = (0, 0, 1, 0) ,
e (k, 3) = (0, 0, 0, 1) .
h
i
d4 x eikx h f | j ( x ) |i i = ik d4 x eikx h f | j ( x ) |i i + d4 x eikx h f | j ( x ) |i i.
(6.73)
114
Si sumamos sobre polarizaciones,
1
0
=
0
0
e (k, )e (k, ) = g + Q ,
0
0
0
0
0
0
0
0
0
0
,
0
0
(6.74)
valida para
en el sistema de referencia en reposo. Podemos obtener la expresion
0
2
0
2
2
0
k = (k , k) con M = (k ) k haciendo un boost con = k /M, = k/M,
1 2 3
1
i j
0 =
(6.75)
2 ij + ( 1)
2
3
que conduce a
e (k, )e (k, ) = g + 0 0 = g +
6.3.5
k k
.
M2
(6.76)
crossing
4
1+2 3+4
1+3 2+4
Los elementos de matriz de procesos tales como 1 + 2 3 + 4 y 1 + 3 2 + 4 estan relacionados mediante la llamada simetra de crossing: la matriz S es la misma reemplazando
los momentos convenientemente. En este caso,
crossing
k1 , k2 p1 , p2 k1 , p1 k2 , p2
(6.77)
Antes de poner algunos ejemplos de procesos cuyas amplitudes estan relacionadas por
la simetra de crossing, conviene introducir las variables de Mandelstam que resultan muy
comodas
para describir la cinematica de los procesos de dos cuerpos dos cuerpos y
de esta simetra. Para el proceso del ejemplo anterior,
facilitan mucho la aplicacion
s = ( k 1 + k 2 )2 = ( p1 + p2 )2
t = ( k 1 p1 )2 = ( p2 k 2 )2
u = ( k 1 p2 )2 = ( p1 k 2 )2
crossing
(s, t, u) (t, s, u)
k2 p1
(6.78)
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
( p1 k1 ) = ( p2 k2 ) = (m2 + M2 t)/2 ,
2
(6.80)
( p1 k2 ) = ( p2 k1 ) = (m + M u)/2 ,
(6.81)
( p1 p2 ) = (s 2M2 )/2 ,
(6.82)
(k1 k2 ) = (s 2m )/2
(6.83)
que conduce a
4
f |M(e+ e + )|2 = 8e
s2
ri si
"
#
t 2 u 2
+
.
2
2
(6.84)
Se dice que este proceso tiene lugar en canal s. La simetra de crossing nos permite encontrar la amplitud del proceso cruzado e+ e+ intercambiando s con t en la
anterior,
expresion
|M(e+ e+ )|2 =
f
ri
si
8e4 s 2 u 2
+
,
t2
2
2
(6.85)
crossing
st
e+ e
e
e+
e+
crossing
su
Bhabha
e+ e
Mller
e e
e+ e
e e
crossing
st
Compton
e e
Aniquilacion
e+ e
116
Tema 7
Introduccion
a las correcciones
radiativas
7.1
(7.1)
[ a p , aq ] = (2 )3 h 3 ( p q) .
(7.2)
Repitiendo los pasos necesarios para calcular el propagador de Feynman (vease 4.4)
obtenemos entonces que cada propagador incluye una potencia de h :
DF ( x y) =
d4 p
ih
eip(xy) ,
2
4
(2 ) p m2 + ie
con e 0+ .
(7.3)
es el vertice de interaccion.
donde H es un ha
miltoniano y t el tiempo, tiene las dimensiones de h y por tanto en el operador evolucion
aparece con un factor 1/h para que el argumento de la exponencial sea adimensional.
a Historicamente
electromagnetica.
en primer lugar para sistemas atomicos
en procesos donde se emite o se absorbe radiacion
117
118
(7.4)
(
x
)
(
x
)}
0
=
h |
| i
n
1
4
h0| T exp i d x H I ( x )/h |0i
(7.5)
Al desarrollar en serie las exponenciales obtendremos que por cada vertice de nuestra
del
loops como el numero
L de cuadrimomentos no fijados por la regla de conservacion
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 = 11+1 = 1
L = 22+1 = 1
L = 74+1 = 4
L = 64+1 = 3
(7.7)
Notese
que normalmente L coincide con el numero
de lazos en el diagrama de Feynman.
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).
L = I V + 1 = V E/2 + 1 ,
(7.8)
viene de que
siendo E el numero
de patas externas e I el de lneas internas. Esta relacion
4V es el numero
total de lneas que confluyen en vertices, pero las que corresponden
se cumple en
a lneas internas cuentan dos veces. Es facil comprobar que esta relacion
todos los ejemplos de (7.7), excepto para el primero de la columna de la derecha, en el
es
que los vertices tienen tres patas, pues corresponden a una teora 3 y la relacion
entonces
3V = E + 2I
7.2
L = I V + 1 = V/2 E/2 + 1 .
(7.9)
Divergencias ultravioletas
sobre momenEl hecho de que los calculos a uno o mas loops involucren una integracion
de calculos explcitos.
algunos de estos fenomenos,
poniendo e nfasis en la realizacion
q
p
1
iB = (i)
2
i
d4 q
.
(2 )4 q2 m2
(7.10)
Esta integral puede abordase mas facilmente en el espacio Eucldeo, haciendo el cambio
de Wick), manteniendo q = q E y por tanto sustituyendo
de variables q0 = iq0E (rotacion
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
q3E
d4 q E
1
d4
1
2 2
3
B=
=
dq
q
=
dq
.
E
E
E
2
2
2 (2 )4 0
(2 )4 q2E + m2
(2 )4 0
q2E + m2
q2E + m2
(7.11)
La integral resultante es divergente. Para poder dar sentido al resultado regularizaremos
usaremos como regulador un cut-off
la integral para aislar la divergencia. En esta ocasion
120
en momentos, es decir, integraremos hasta un valor finito que al final haremos tender
a infinito. Haciendo esto tenemos
q3E
m2
2
2
dq E 2
=
B=
+ m ln 2
.
(7.12)
16 2 0
32 2
m + 2
q E + m2
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).
QED
D = 4L 2I
D = 4L 2I I f
(7.13)
(7.14)
del numero
de patas externas y vertices. La expresion
Estudiemos cada caso por separado.
7.2.1
(7.15)
nV = E + 2I .
(7.16)
(7.17)
Notese
que en este caso E es siempre par.
E = 0: Los diagramas vaco-vaco que aparecen en (4.94). Son cuarticamente divergentes ( 4 ) y contribuyen a la energa del vaco, pero no son relevantes para hallar
121
...
(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)
con un numero
finito de medidas, estando el resto de predicciones de la teora bien definidas. Este proceso de reabsorber infinitos se denomina renormalizacion y lo discutiremos
brevemente mas adelante, en el caso de la QED.
numero
de vertices, llegaremos a D < 0. Pero, ademas, en este caso ocurre que diagramas
numero
suficientemente alto de vertices. Esto quiere decir que hay un numero
infini
to de divergencias primitivas, que requeriran un numero
infinito de medidas para ser
reabsorbidas.
122
habra un numero
indeterminado de funciones de Green que seran divergentes cuando
7.2.2
QED
(7.21)
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 .
2
(7.23)
Antes de discutir todas las posibilidades conviene demostrar el Teorema de Furry que
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
=0,
3
4
h0 | A 1 ( x 1 ) A n ( x n ) ei
d4 x HQED
|0i
n impar
(7.24)
123
= (1)n h0| A1 ( x1 ) An ( xn ) ei
d4 x H
d4 x HQED
QED
C |0i
|0i ,
(7.25)
(7.26)
(7.27)
Ef = 2
E = 0: Autoenerga del fermion. A priori linealmente divergente, aunque en
este caso la simetra quiral reduce la divergencia a logartmica.
(7.28)
(7.29)
la autoLas divergencias primitivas en QED son por tanto la autoenerga del foton,
y la correccion
al vertice. Sus contribuciones a un loop se muestran
energa del fermion
en (7.26), (7.28) y (7.29), respectivamente.
124
7.3
Regularizacion
dimensional
Hemos anunciado previamente que en teora cuantica de campos se pueden hacer pre
de infinitos en los calculos
dicciones precisas y sin ambiguedades
a pesar de la aparicion
a uno o mas loops. El procedimiento, denominado renormalizacion, consiste en absorber
es que viola
en el momento del loop, pero este regulador no resulta optimo.
La razon
explcitamente algunas de las simetras de la teora que son importantes a la hora de im En particular, en (7.12) se viola la invariancia
plementar el proceso de renormalizacion.
estudiaremos, mediante el ejemplo concreto de la autoenerga
Lorentz. En esta seccion
un tipo de regularizacion
que s mantiene todas las simetras relevantes, indel electron,
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 espaciotemporales 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.
de
fermionico
en el espacio de momentos es la transformada de Fourier de la funcion
dos puntos,
(7.30)
= d4 x h0| T {( x )(0)} |0i eipx
que podemos resolver perturbativamente en terminos de funciones de dos puntos 1PI,
como hicimos para campos escalares en (4.112 4.116):
1PI
1PI
1PI
i
i
i
+
[i( /
p)]
+...
/
p m0
/
p m0
/
p m0
"
#
i
( /
p)
( /
p) 2
=
1+
+
+...
/
p m0
/
p m0
/
p m0
i
/
p m0
1
i
=
,
( /
p)
/
p m0 ( /
p)
1
/
p m0
(7.31)
= i( /
p)
(7.32)
= SeF ( p) =
i
i( /
p + m0 )
= 2
/
p m0
p m20
(propagador libre).
(7.33)
125
Veamos que, como ocurre con la autoenerga M2 ( p) del campo escalar, la autonerga del
de la funcion
de onda
electron ( /
p) contribuye a la masa fsica (m) y a la renormalizacion
(Z ):
del electron
/
p m0 ( /
p)| p/=m = 0
(7.34)
iZ
+ regular cerca de /
p=m
/
pm
(7.36)
de donde
m = m0 + ( m ) ,
Z =
! 1
d
1
.
d/
p p/=m
(7.37)
1PI
(1 loop)
+
+
(2 loops)
(7.38)
dimensional:
Vamos a calcularla ahora a 1 loop para ilustrar el metodo de regularizacion
pq
p
i(1) ( p)
d4 q
i(q/ + m0 ) ig
(ie) 2
(ie) .
4
(2 )
q m20 ( p q)2
q
(7.39)
Como hemos dicho esta integral es divergente y para regularizarla la hallaremos en
d = 4 e dimensiones:
(q/ + m0 )
dd q
i(1) = e2 4d
,
(7.40)
(2 )d (q2 m20 )( p q)2
donde hemos introducido un parametro con dimensiones de masa, para que mantenga 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
{ , } = 2g 144 ,
g g = = d ,
(7.41)
(7.42)
q/ = q/ + 2/
q = (d 2)q/ = (2 e)q/.
(7.43)
dx
0
1
[ xA1 + (1 x ) A2 ]2
(7.45)
dx
0
[ q2
x ( p2
1
.
2pq) (1 x )m20 ]2
(7.46)
` q xp
(7.47)
(1)
= e
2 4 d
dx
0
dd ` (2 e)(`/+ x/
p ) + (4 e ) m0
,
2
d
(` )2
(2 )
(7.48)
donde
x (1 x ) p2 + (1 x )m20 .
(7.49)
127
`0 = i`0E ,
` = `E
(7.50)
Im 0
+i
2
90
Re 0
+ i
con = `2 +
2
1
d `E 2
=
(` E + )n
dd
` d 1
d ( n d/2)
d` E 2 E
= 2
n
(n)
(` E + )
n d2
1
(7.51)
d
d
2
x
d
2
dx e
= d x exp xi = dd
( ) =
dd
1
2
dt t 2 1 et =
dx x d1 e x
dd
1
(d/2)
2
(7.52)
128
Gamma de Euler:
donde hemos introducido la funcion
dt t1 et .
() =
(7.53)
Por tanto,
dd =
2 2
.
(d/2)
(7.54)
d
` d 1
1
t 2 1
d` E 2 E
=
dt
2 0
(t + )n
(` E + )n
0
nd/2 1
d
d
1 1
=
dz zn 2 1 (1 z) 2 1
2
0
nd/2
1 1
(n d/2)(d/2)
=
2
(n)
(7.55)
( n ) = ( n 1) !
si n N .
(7.57)
0;
x = n ;
1
+ O( x ) ,
x
(1)n
1
( x ) =
+ 1 + . . . + + O( x + n) ,
n!( x + n)
n
( x ) =
(7.58)
(7.59)
2
+ O(e) ,
e
(d/2) = (2) = 1 .
(7.60)
(7.61)
el dominio de integracion
Gamma, debemos tambien desarrollar las potencias cuyo exponente es proporcional a e
e
(4 )e/2 = e 2 ln 4 = 1 +
e
ln 4 + O(e) ,
2
(7.63)
129
e/2
= 1
ln 2 + O(e) .
2
(7.64)
ie2 1
(1)
i =
dx x/
p 2 e ln 2 + 2 + m0 4 e ln 2 2
+ O(e) ,
16 2 0
(7.65)
donde hemos definido
e
2
+ ln 4 .
e
(7.66)
Este resultado presenta varias propiedades interesantes. En primer lugar, hemos parametrizado 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
en la parte divergented podemos hacer facilun observable. Centrando nuestra atencion
mente la integral sobre el parametro de Feynman obteniendo
(1) =
7.4
e2
( /
p + 4m0 ) + finito .
8 2 e
(7.67)
Renormalizacion
de la QED
Hemos visto que las divergencias primitivas de la QED son la autoenerga del electron,
y la correccion
al vertice. Acabamos de calcular la primera a un loop en
la del foton
dimensional:
regularizacion
= i(1) ( /
p) .
(7.68)
= i (k ) ,
(1)
(7.69)
(1)
= ie ( p, p0 ) .
p
(7.70)
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,
(k2 ) = A(k2 ) g + B(k2 )k k
(7.71)
d Hemos ignorado una divergencia infrarroja, que se puede tratar introduciendo una masa ficticia para el
(evita que se anule) que al final del calculo se hace tender a cero.
foton
130
e invariancia gaugee ,
k (k2 ) = k (k2 ) = 0 .
(7.72)
1PI
1PI
1PI
ig ig
ig
+
[i(k2 g k k )(k2 )] 2 + . . .
2
2
k
k
k
ig ig
ig 2 2
2
+
(k ) +
(k ) + . . .
=
k2
k2
k2
ig ig
=
+
[ ( k 2 ) + 2 ( k 2 ) + . . . ]
2
2
k
k
k k i
i k k
[1 + ( k 2 ) + 2 ( k 2 ) + . . . ] 2 2
= g + 2
2
k
k
k k
2
ig
ik k (k )
= 2
+ 4
2
k [1 (k )]
k 1 ( k2 )
(7.73)
k k
k2
(7.74)
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
+...
k2
ZA =
1
.
1 (0)
(7.75)
(7.76)
Z1/2
A Ar
m0 Zm m ,
e0 Ze e .
(7.77)
,
(7.78)
(7.79)
(7.80)
131
3. El lagrangiano se descompone en el lagrangiano original expresado en funcion de campos y parametros renormalizados (Lr ), mas un lagrangiano de contraterminos (L):
L Z2 r i/
r Z0 mr r + Z1 er r Ar Z3
( Ar Ar )2
4
Lr + L ,
(7.81)
(7.82)
r mr r + er r Ar ( Ar Ar )2 ,
(7.83)
Lr = r i/
4
1
r Z0 mr r + Z1 er r Ar Z3 ( Ar Ar )2 , (7.84)
L = Z2 r i/
4
que introducen diagramas y reglas de Feynman adicionales:f
= i( /
pZ2 mZ0 )
(7.85)
= i(k2 g k k )Z3
(7.86)
= ie Z1
(7.87)
que hemos
4. Los contraterminos se relacionan con las constantes de renormalizacion
introducido mediante:
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 ( p, p0 ) se obtienen anadiendo
b(/
b ( k2 ) y
b (1) ( /
= i
p) = i(1) ( /
p ) + i( /
pZ2 mZ0 )
(7.92)
b (1) ( k 2 ) ,
= i(k2 g k k )
b (1) (k2 ) = (1) (k2 ) Z3 (7.93)
6. Los contraterminos se calculan orden a orden en TP y se fijan mediante condiciones de renormalizacion de modo que las divergencias se cancelan. Existen distintos
modos de lograr este objetivo, llamados esquemas de renormalizacion. El mismo con distintos difiere a lo sumo en una
tratermino en dos esquemas de renormalizacion
cantidad finita.
f
132
iZ
+ regular cerca de /
p=m,
/
pm
(7.94)
! 1
d b
1
( /
p)
.
d/
p
p/=m
(7.95)
donde
Z =
Para que la masa que aparece en el propagador sea la masa fsica debe imponerse
b (m) = 0
mZ0 = (m)
(7.96)
d
( /
p)
Z2 =
d/
p
p/=m
(7.97)
es
El propagador renormalizado del foton
ig Z A
+...
k2
(7.98)
donde
ZA =
1
.
b (0)
1
(7.99)
Z3 = (0)
(7.100)
es
El vertice renormalizado del electron
b ( p, p0 )
= ie ( p, p0 ) = ie + ie
(7.101)
(1)
= ie + ie + ie Z1 .
(7.102)
133
Se puede demostrar que la estructura Lorentz mas general de este vertice para
electrones on-shell es
0
2
2 q
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
(7.104)
Por tanto
b ( p, p) = 0
Z1 = F1 (0)
(7.105)
canonica
5).
este caso F , que tiene dimension
que acabamos de fijar no son independientes, sino
Las constantes de renormalizacion
que estan relacionadas por la simetra gauge mediante la identidad de Ward-Takahashi:
( p, p) =
d
.
dp
(7.106)
ie ( p, p0 ) = ie ,
(7.107)
i
S
.
q ( p, p + q) = q/ = ( /
F
F
resulta ser valida a todo orden en TP, as que tambien se cumple
Esta relacion
h
i
1
e1 ( p) , iSe1 ( p) = /
q ( p, p + q) = iSe
(
p
+
q
)
i
S
p m ( p) .
F
F
F
(7.108)
(7.109)
(7.110)
Tomando el lmite q 0 obtenemos finalmente (7.106). La identidad de WT se define para el lagrangiano original. Para conseguir que el lagrangiano renormalizado preserve la
simetra gauge, hemos de imponer que las contribuciones de los contraterminos tambien
verifiquen la igualdad (7.106). A partir de (7.92) y (7.102),
CT
= Z1 ,
CT = ( /
pZ2 mZ0 )
(7.111)
134
as que,
CT
=
dCT
dp
Z1 = Z2
Z1 = Z2 ,
(7.112)
constantes de renormalizacion
que habamos anunciado.
que es la relacion
La identidad de WT (7.110) implica (7.72). En efecto, diagramaticamente:
k q
=
(7.113)
q+k
o
n
d4 q
eF (q + k )ie (q, q + k )SeF (q)
S
Tr
ie
(2 )4
o
n
d4 q
e
e
k (k2 ) = e2
S
(
q
+
k
)
k
(
q,
q
+
k
)
S
(
q
)
Tr
F
F
(2 )4
n h
io
d4 q
e
e
= e2
Tr
S
(
q
)
S
(
q
+
k
)
=0
F
F
(2 )4
2
i (k ) =
(7.114)
(7.115)
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 podemos poner en ambos vertices pues en tal caso estaramos contando dos veces diagramas
como el siguiente:
(7.117)
e = Z3 e0 , Z3 =
e0 = Ze e = Z1 Z21 Z31/2 e = Z31/2 e
. (7.118)
1 (0)
(7.119)
135
e0
e ( Q2 )
e0
q
correcciones
cuanticas
e0
=
e ( Q2 )
e0
2 1
e2
m2 x (1 x ) q2
( q2 ) =
,
=
dx x (1 x ) e ln
.
(7.120)
0
2
4
Si nos vamos a distancias muy cortas,
5
Q2
2
e +
+
ln 2 ,
( Q ) =
3
3
3
Q2 = q2 m2 .
(7.121)
( Q20 )
=
1 [( Q2 ) ( Q20 )]
( Q20 )
Q2
1
ln 2
3 Q0
(7.122)
dimensional cobra un
de modo que el parametro que se introduce en regularizacion
significado: = Q0 es la escala a la que sustraemos las divergencias que es la escala a la
que medimos experimentalmente la constante de acoplamiento. Llamamos running a esta
dependencia de la constante de acoplamiento con la escala.
A distancias grandes (Q2 m2 ) la dependencia no es logartmica en realidad, pero
no importa, pues entonces podemos escribir (7.120)
2 1
x (1 x ) Q2
m2
( Q2 ) = e +
dx x (1 x ) ln 1 +
+
ln
3
0
m2
2
m2 2
Q2
e +
ln 2 +
dx x2 (1 x )2 2
3
3
0
m
m2
Q2
e +
ln 2 +
,
3
3
15 m2
Q2 m2 ,
(7.123)
( Q20 )
( Q20 ) (0) .
Q2 Q20
1
15 m2
(7.124)
136
(0)
b ( Q2 )
1
(7.125)
2
2
donde, para m2t >
Q mb ,
#
"
2
2
2
Q
Q
Q
5
b ( Q2 ) =
(1)2 ln 2 + ln 2 + ln 2 3
3
me
m
m
3
2
2
Q2
Q2
5
+3
ln 2 + ln 2 2
3 3
mu
mc
3
#
2 "
2
2
1
Q
Q
Q2
5
ln 2 + ln 2 + ln 2 3
.
+3
3
3
ms
3
md
mb
(7.126)
Por tanto,
h
i
b ( M2Z ) 137(1 0.0672) 128 .
1 ( M2Z ) = 1 (0) 1
(7.127)
ie
2
2 q
ie ( p, p + q) =
1 + F1 (q ) F1 (0) + iF2 (q )
.
2m
1 12 [(q2 ) (0)]
(7.128)
7.5
137
Teorema optico.
Resonancias
(7.130)
1=
nf
j =1
d3 q j
{q f } {q f }
2
(2 ) 2Ej
(7.131)
d3 q j
T | k1 k2 i
T
{
q
}
{
q
}
p
p
h p1 p2 | T T | k1 k2 i =
|
h
2
1
f
f
2 2E
(
2
)
j
j =1
f
nf
d3 q j
=
(2 )4 4 ( p1 + p2 q j )M (b f )
2 2E
(
2
)
j
j =1
j
f
(7.132)
(2 )4 4 (k1 + k2 q j )M( a f )
= (2 )4 4 (k1 + k2 p1 p2 )
f
dn f M (b f )M( a f ) .
(7.133)
El teorema optico
(7.130) conduce entonces a:
2ImM( a b) = dn f M (b f )M( a f ) .
(7.134)
(7.136)
138
de una
Este
es un resultado interesante, pero volvamos al caso de la desintegracion
p2
m20
i
M 2 ( p2 )
(7.137)
= iM2 ( p2 ) .
1PI
amp
(7.138)
1PI
M( p p) = ZM2 ( p2 ) .
(7.139)
M( p f ) = 0
ImM( p p) = 0
M 2 ( p2 ) R .
(7.140)
p2
iZ
m2
(7.141)
Z=
! 1
dM2
1
.
dp2 p2 =m2
(7.142)
M( p f ) 6= 0
ImM( p p) 6= 0
M 2 ( p2 ) C .
(7.143)
Z=
! 1
d ReM2
1
.
dp2 p2 =m2
(7.144)
139
ya que
i
Re M2 ( p2 ) i ImM2 ( p2 )
i
=
d ReM2
2
2
2
2
p m0 Re M (m )
dp2 2
p2 m20
( p2 m2 ) i ImM2 ( p2 )
=
( p2
=
= m2
!
d ReM2
1
i Im M2 ( p2 )
dp2 p2 =m2
m2 )
iZ
( p2 m2 ) iZIm M2 ( p2 )
(7.145)
|s
m2
1
iZIm M2 (s)|2
(7.146)
|s
m2
1
1
=
2
2
+ im|
( s m )2 + m2 2
(7.147)
Z
Im M2 (m2 ) .
m
Im M( p p)
1
=
=
dn f |M( p f )|2
m
2m
f
(7.129) que queramos justificar.
que es exactamente la expresion
(7.148)
(7.149)
140
Bibliografa
[1] M. Maggiore,
A Modern Introduction to Quantum Field Theory,
Oxford University Press, 2005.
[2] A Lahiri, P. B. Pal,
A first book of Quantum Field Theory,
Narosa Publishing House, 2nd edition, 2005.
[3] M. E. Peskin and D. V. Schroeder,
An Introduction to Quantum Field Theory,
Addison-Wesley, 1995.
[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.
[6] C. Itzykson and J. B. Zuber,
Quantum Field Theory,
McGraw-Hill, 1980.
141
142
Bibliografa