TQC PDF

a Teora Cuantca
Introduccion
de Campos
Patricio Cordero S.
Departamento de Fsica
Facultad de Ciencias Fsicas y Matematicas
Universidad de Chile
.
.
.
.
1988
version
Patricio Cordero S.
de 1988
version
Indice general
de campos libres
1. Cuantizacion
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1. Introduccion
1.2. Spin 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
del campo escalar real. . . . . . . . . .

1.2.1. Cuantizacion
del campo escalar complejo . . . . . . .

1.2.2. Cuantizacion
10
y otros invariantes. . . . .
1.2.3. Relaciones de conmutacion
12
1.2.4. Las simetras discretas P, C y T en el caso de campos escalares. . . . . . . . . . . . . . . . . . . . . . .
15
1.3. Spin
1
2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
de Dirac. Notacion
basica.
1.3.1. Ecuacion
. . . . . . . . . .
16
del campo de Dirac . . . . . . . . . . . .

1.3.2. Cuantizacion
20
1.3.3. Funciones invariantes asociadas al campo de Dirac. .
23
1.3.4. Las simetras discretas P C y T en el caso de cam

pos fermionicos.
. . . . . . . . . . . . . . . . . . . . .
24
1.3.5. PCT . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
1.4. Spin 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
del campo vectorial real masivo. . . . .

1.4.1. Cuantizacion
29
del campo electromagnetico
1.4.2. Cuantizacion
en el gauge
de radiacion . . . . . . . . . . . . . . . . . . . . . . . .
32
covariante del campo electromagnetico.
1.4.3. Cuantizacion
35
2. Interacciones
41
2.1. Acoplamiento electromagnetico

minimal . . . . . . . . . . . .
41
2.2. Algunos acoplamientos no-electromagneticos

sencillos . . .
45
Patricio Cordero S.
de 1988
version
alrededor del concepto de isospin . .

2.3. Definiciones y notacion
46
2.4. Lagrangianos invariantes bajo SU (2). . . . . . . . . . . . . . .

. . . . . . .
2.5. Acoplamiento universal (Yang-Mills) del meson
49
2.6. Campos de medida, de gauge o de Yang-Mills. . . . . . . . .
56
3. Teora de Perturbaciones
53
61
. . . . . . . . . . . . . . . . . . .
3.1. En el cuadro de interaccion
3.2. El operador de desplazamiento
temporal U (t,t ).
61
. . . . . . .
63
3.3. Teorema de Wick. . . . . . . . . . . . . . . . . . . . . . . . .
3.4. La matriz S en electrodinamica.

. . . . . . . . . . . . . . . . .
66
3.5. Scattering Compton. . . . . . . . . . . . . . . . . . . . . . . .
70
3.6. Reglas de Feynman y el scattering Moller. . . . . . . . . . . .

eficaz y razon
de decaimiento. . . . . . . . .
3.6.1. Seccion
eficaz diferencial en el scattering Compton. .
3.6.2. Seccion
eficaz diferencial en el caso del scattering
3.6.3. Seccion
Moller. . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
80
3.6.4. Sobre el problema de las autoenergas. . . . . . . . .
82
3.6.5. Transiciones vaco-vaco: < 0|S|0 > . . . . . . . . . . .

con un campo electromagnetico
3.6.6. Interaccion
externo .
3.6.7. Electrodinamica
escalar. . . . . . . . . . . . . . . . . .
85
4. Renormalizacion
67
75
77
86
87
89
4.1. Sobre el significado de la renormalizacion.

. . . . . . .
. . . . . .
4.2. La masa desnuda y la masa fsica del meson.
4.3. La masa desnuda y fsica del fermion.

. . . . . . . . . .
del vertice.
4.4. Renormalizacion
. . . . . . . . . . . . . . .
. . .
89
. . .
92
. . .
96
. . .
98
de las lneas externas, de los campos y de

la constante de acoplamiento. . . . . . . . . . . . . . . . . . . 100
4.6. Amplitudes renormalizada . . . . . . . . . . . . . . . . . . . . 102
4.7. La identidad de Ward en QED. . . . . . . . . . . . . . . . . . 106
del campo externo. . . . . . . . . . . . . . . 109
INDICE GENERAL
Captulo 1
de campos
Cuantizacion
libres
1.1.
Introduccion
La teora cuantica
nacio por la necesidad de cuantizar el campo electro
magnetico
para poder describir en forma adecuada los fenomenos
cuan La teora resultante es la electrodinamica
ticos de radiacion.
cuantica
y la
Se dice que el
partcula asociada al campo electromagnetico
es el foton.
es el cuanto de radiacion
electromagnetica.
foton
Hoy da todas las partculas elementales son descritas en principio como cuantos de un campo ad
hoc.
Los campos que se utilizan para describir partculas de spin entero se
de Heisenberg que
cuantizan aplicando las mismas reglas de conmutacion
para un sistema con un numero
finito de grados de libertad. No se trata

o segunda cuantizacion
como a veces
de un nuevo tipo de cuantizacion,
ya estudiada en mecanica
se la llama, sino que es la misma cuantizacion
que aplicada a campos . En esta misma seccion

se cuanticuantica
solo
zara un sistem muy simple de osciladores para mostrar como

este sistema
cuantico
con infinitos grados de libertad posee estados estables que se
interpretan como partculas libres.
El intento de hacer una mecanica

cuantica
relativista se frustra debido
al problema de la existencia de estados con energa negativa implicado por
la exigencia de que las ecuaciones de movimiento sean covariantes. A posteriori es posible comprender que esta dificultad se debe a que relatividad
implica que cada partcula tiene asociada una antipartcula. Este gran de5
Patricio Cordero S.
de 1988
version
scubrimiento de Dirac llevo a concebir a las partculas elementales como

estados compuestos por ellas mismas y los pares partcula antipartcula
se podra entender
respectivos e = e + eee + eeee
e...
en un sentido que solo
adelante. Dice Heinsenberg: Creo que el descubrimiento mas
mucho mas
con las propiedades o la naturaleza de las partculas
decisivo en conexion
elemenales fue el descubrimiento de la antimateria por Dirac. Aquel fue
un hecho que aparentemente tena que ver con el reemplazo del grupo de
Galileo por el grupo de Lorentz. Creo que este descubrimiento de partculas y antipartculas por Dirac ha cambiado completamente toda nuestra
de la fsica atomica.
vision
(...) Tan pronto como uno sabe que puede crear
pares de acuerdo con la teora de Dirac, entonces uno tiene que considerar a una partcula elemental como un sistema compuesto; porque vir un par o esta partcula mas
dos
tualmente podra ser esta partcula mas
pares etc., y as repentinamente toda la idea de una partcula elemental ha
cambiado. Hasta ese momento pienso que cada fsico haba pensado so
bre las partculas elementales en la lnea filosofica

de Democrito,
es decir,
del descubrimconsiderando que son siempre la misma cosa (...). Despues
iento de Dirac todo se vio diferente porque ahora uno se poda preguntar
tendra que ser siempre un proton,
por que un proton
no
por que un proton
mas
un par electron
positron
etc. Este nuevo
poda a veces ser un proton
concepto de las partculas elementales de ser un sistema compuesto me
ha parecido desde el comienzo como un gran reto.
Intimamente ligado a la idea de una teora cuantica
de campos esta tam el hecho que el numero

bien
de partculas elementales no se conserva.

As por ejemplo, se tiene procesos como
e+
e+
0
n
+ e
+ e
+
e + p + e
+
e+ + e + +
0 +
de Schrodinger
Tratando un sistema de N partculas con la ecuacion

en forma artificial es posible introducir
este numero
es conservado. Solo
mecanismos que permitan que el numero
de partculas no se conserve en
mecanica
cuantica
no relativista.
1.1. INTRODUCCION

Teora Cuantica
de Campos
1.2.
1.2.1.
Spin 0
del campo escalar real.
Cuantizacion
En mecanica
cuantica
ordinaria se cuantiza sistemas con un numero
finito, o al menos discreto, de grado de libertad. Aqu se vera el caso de

se vera que
un sistema con un continuo de grados de libertad y tambien
o sea, las relaciones de conmutacion
entre
el postulado de cuantizacion,
las coordenadas generalizadas y los respectivos momentos conjugados
canonicos,
se mantienen identicos,
al menos en este caso del campo escalar.
Sea (x) un campo escalar real libre cuya dinamica

se determina a
partir de la densidad lagrangeana
L =
1
: (, (x) (x) 2 2 (x)) :
2
(1.2.1)
de campo es la ecuacion
de Klein-Gordon,
La correspondiente ecuacion
( + 2 ) = 0
al que se impone condiciones de cuantizacion

[(~x,t), (~x;t)] = i (3) (~x ~x )
[(~x,t), (~x;t)] = [ (~x,t), (~x;t)] = 0
(1.2.2)
donde el momento conjugado canonico

de se define en la forma usual,
(x) =
L (x)
= .
(x)
Puesto que los operadores de campo obedecen ciertas relaciones de con no siempre es claro como
mutacion,
se generaliza expresiones de teora
clasica
a cuantica.
Parte de esta ambiguedad
es removida definiendo un
cierto orden normal.
Bajo transformaciones homogeneas

de Lorentz un campo escalar transforma de acuerdo a
(x) (x) = (1 x).
cualquier campo satisface la ley de transformacion,
bajo traslacion,
Ademas
eiP a (x)eiP a = (x + a)
(1.2.3)
Postgrado de Fsica
Patricio Cordero S.
de 1988
version
de donde
donde P es el generador de traslaciones del grupo de Poincare,
se deduce que para cualquier campo se cumple,

(x), P = i (x)
(1.2.4)
que tiene como caso particular la ecuacion

[(x), P0 ] = i(x).
ecuacion
La densidad Hamiltoniana se define en la forma usual,
H (x) = : (x)

(x) : L (x)
2 + (~)2 + 2 2 :
= 1:
(1.2.5)
y la densidad de momento es
~
P(x)
= : ~ :
de los factores no importa mientras este indiSe reitera que la ordenacion
cado que se trata de productos en orden normal, : AB :=: BA :
de la ecuacion
de Klein-Gordon puede
Puesto que es una solucion
del conjunto completo de soluciones
ser escrito como una superposicion
de onda plana definidos por
f~pn = p
1
1
ein( p t~p~r) = p
einpx ,
3
(2 ) 2 p
(2 )3 2 p
n = 1
(1.2.6)
En el espacio de funciones de ~x expandido por estas ondas planas se

define el producto escalar entre dos funciones, ( f , g) por
Se puede demostrar que

f g f g d 3 x
(1.2.7)
f~pn , f~pn = nnn 3 (~p ~p )
(1.2.8)
( f , g) i
de que sea real determina una relacion

entre los coefiLa condicion
cientes,
Z
n
o
(x) =
d 3 p a(~p) f~p+ (x) + a (~p) f~p
(1.2.9)
son operadores cuyas relaciones de conLos coeficientes de la expansion

estan
determinadas por las relaciones de cuantizacion
de los
mutacion
1.2. SPIN 0

Teora Cuantica
de Campos
abreviada (con a+ = a y
campos. Para deducirlas se usa una notacion
a =a )
Z
(x) = d 3 p an (~p) f~pn (x)
(1.2.10)
n1
y puede demostrarse que

(n)
(n)
a~p = n f~p ,
(1.2.11)
De lo anterior sigue que

i
h
an (~p), an (~p ) = nnn (3) (~p ~p )
(1.2.12)
o equivalentemente

p )] = a (~p), a (~p ) = 0
[a(~p), a(~
a(~p), a (~p ) = (3) (~p ~p )
(1.2.13)
que satisfacen los operadores de

que son las relaciones de conmutacion
y destruccion
de partculas libres. Esto viene a mostrar la exiscreacion
tencia de cuantos asociados a los campos, los que se comportan como
partculas. Corresponden a los fonones de una red cristalina tridimension
al de osciladores armonicos
con la diferencia que la velocidad del sonido es
no existe una red discreta
reemplazada por la velocidad de la luz y ademas
sino un continuoel campoque ha sido cuantizado. Notese

la estrecha
que existe entre la ecuacion
de Klein-Gordon y la ecuacion
de un
relacion
oscilador armonico.
Demuestre que
H=
d 3 xH (x) =
1
2

d 3 p ~p : a(~p)a (~p) + a (~p)a(~p) :
(1.2.14)
El producto normal se define como el reordenamiento de operadores

y destruccion
colocando a los operadores de creacion
a la
de creacion
izquierda de los operadores de destruccion.

se puede escribir H en la forma
Con esta definicion
H=
d 3 p~p a (~p)a(~p)
normal es la siguiente. Si se considera el

El sentido de la ordenacion
Hamiltoniano de un oscilador armonico

unidimensional, el operador a es
x + ip
a=
2
Postgrado de Fsica
Patricio Cordero S.
10
de 1988
version

y semejantemente se define a . Ellos satisfacen a, a = 1 viendose

que H
puede escribirse,
1
H = (a a + aa ) == a a +
2
2
Bien se sabe que la energa del estado base es 2 , esto es H |0i = 2 |0i.
Y en tres dimensiones es 3 /2 y generalizando a n grados de libertad, el
estado base tiene una energa n /2 que diverge para nuestro sistema con
un continuo de grados de libertad. Esto hace necesario redefinir el cero de
la energa, de modo que H |0i = 0 y es precisamente esto

lo que hace la
del producto normal. Es importante notar que la diferencia entre
definicion
un producto y el correspondiente producto normal es un numero
clasico,
de modo que el caracter

del operador considerado no se modifica.
1.2.2.
del campo escalar complejo

Cuantizacion
del campo escalar complejo es muy similar a la del

La cuantizacion
a
campo real. Existen dos formas equivalentes de hacer esta cuantizacion
partir de la densidad lagrangeana

(1.2.15)
L (x) =: , (x), (x) 2 (x)(x) :
La primera manera consiste en definir un momento conjugado para y

otro para que se denota y y se procede a postular relaciones
a tiempos iguales como para el caso escalar teniendo en
de conmutacion
que
cuenta ademas
relacionadas a y conmutan a tiemh las ivariables

pos iguales, e.g., , = , = , = 0.
La otra manera de cuantizar consiste primero en separar al campo en

dos campos reales,
1
= (1 i2 ) ,
2
1
= (1 + i2 )
2
(1.2.16)
lo que permite escribir la densidad lagrangiana en la forma de la suma de

dos densidades lagrangianas para los campos reales i , i = 1, 2,
L (x) =
1
,
: (i, i 22i ) :
2 i=1,2
Luego se procede a cuantizar tal como se hizo en la Sec. 1.2.1,

[i (~x,t), j (~x,t)] = i j (3) (~x ~x )
[i (~x,t), j (~x ,t)] = [i (~x,t), j (~x ,t)] = 0.
1.2. SPIN 0

Teora Cuantica
de Campos
11
de Klein-Cordon se los
Como estos campos satisfacen la ecuacion
puede expandir en ondas planas,
i (x) =
n=1
d 3 p ani (~p) f~pn (x)
para las dos

lo cual implica las siguientes ecuaciones de conmutacion
y destruccion,
parejas de operadores de creacion

h
i
ani (~p), anj (~p ) = nn,n i j (3) (~p ~p )
Pero los campos fsicos son y lo que nos obliga a definir operadores
y destruccion
para esos campos,
de creacion
1
a(~p) = (a1 (~p) ia2 (~p)),
2
1
b(~p) = (a1 (~p) + ia2 (~p))
2
con los cuales se puede

y los correspondientes operadores de creacion,
escribir,
Z
(x) =
d 3 p(a(~p) f~p (x) + b (~p) f~p (x)).
asociados
Como se ve este campo tiene dos cuantos, a los cuales estan
(a , a) y (b , b), los que, como se vera,
dos parejas creacion-destrucci

on:
corresponden a partculas que, teniendo la misma masa, tiene carga opuesta. Tal como se calculo (1.2.14) ahora puede demostrarse que
H=

d 3 p a+ (~p)a(~p) + b+ (~p)b(p)
de ambos tipos de
lo que muestra que efectivamente se tiene contribucion
cuantos a la energa total (que es positiva semidefinida) y ambos con el
mismo ~p y por lo tanto con la misma masa.
Por otro lado se tiene que la densidad lagrangeana (1.2.15) es invari de gauge
ante bajo la transformacion
ei ,
ei
lo que implica que la siguiente corriente satisface una ley de continuidad,

!
,
,
:
:=
i
:
j = i :
,
,
Postgrado de Fsica
Patricio Cordero S.
12
de 1988
version
lo que permite definir la carga conservada

Q=e
d x j (x) = e

d 3 p a (~p)a(~p) b (~p)b(~p) .
(1.2.17)
Ambos cuantos contribuyen con signo opuesto a la carga total, mostrandose
as que las dos partculas tienen caraga electrica

opuesta. En realidad no
es necesario que esta carga sea de origen electrico,

puede ser cualquier
tipo de carga discreta conservada como numero
barionico,
numero
leptonico
etc.
Problema: Demostrar (1.2.17).
y otros invariantes.
Relaciones de conmutacion
1.2.3.
La forma canonica
de cuantizar campos consiste en postular ciertas
a tiempos iguales entre los campos. Este posrelaciones de conmutacion
tulado pareciera violar la covariancia que le corresponde tener a una teora
son perfectarelativista, pero como se vera las relaciones de conmutacion
mente covariantes. En efecto,

(x), (x )
Z Z
n
o

=
d 3 p d 3 p a(~p), a (~p ) f~p+ (x) f~p (x ) + b (~p)b(~p) f~p (x) f~p+ (x)
n,n
d 3 p{ f~p+ (x) f~p (x ) f~p (x) f~p+ (x )}
i(x x ; 2 ).
Facilmente
se puede demostrar que otras expresiones para i son
i(x, 2 ) =
R d3 p
ipx eipx )
2 p (e
= i
=
R d3 p
p
sin px
(1.2.18)
R 4 ipx
d pe (p0 ) (p2 2 )
Problema Demostrar (1.2.18)

tiene una interesante propiedad conocida con el nombre
La funcion
de microcausalidad, y es que los campos conmutan a distande condicion
cias tipo espacio,

(x), + (x ) = 0 para (x x )2 < 0.
(1.2.19)
1.2. SPIN 0

Teora Cuantica
de Campos
13
Primero se comprueba para el caso particular t = t directamente a partir

intermedia en (1.2.18) para el conmutador, ya que el intede la expresion
impar del vector ~p. Luego se nota que
grando se convierte en una funcion
invariante como se aprecia de la ultima
el conmutador es una funcion
forma
en (1.2.18) por lo que (1.2.19) vale en general. La ultima
forma en forma
(1.2.18) es invariante porque el delta de Dirac asegura que el cuadrivector
p es tipo tiempo y esto implica que el signo de su componente temporal es
temporal como
un invariante bajo el grupo de Lorentz, excluda la inversion
es usual.
() y destruccion,
(+) ,
Si se separa a en sus partes de cracion
= (+) + ()
h
i h
se puede estudiar separadamente los conmutadores (+) , () y () , (+) .

Ellos resultan ser
h
i Z
(+) (x), () (x ) = d 3 k f~p+ (x) f~p (x ) (+) (x x ; 2 )
que tambien
puede escribirse en la forma,
Funcion
(+)
(x; ) =
2
d 3 k ikx
e
2k
El otro conmutador es
()

R
(x), (+) (x, ) = d 3 k f~p+ (x ) f~p (x)
= (+) (x x; 2 )
= () (X X ; 2 ).
De lo anterior es directo ver que
i(x x ) = + (x x ) + (x x )
y tambien,

0 (x), (x ) 0 = + (x x )
de KG es automatico
Puesto que satisface la ecuacion

que
( + 2 )+ (x x ; ( 2 ) = 0
( + 2 ) (x x ; ( 2 ) = 0
Otra propiedad interesante de es
0 (x)|t=0 = (3) (~x)

Postgrado de Fsica
Patricio Cordero S.
14
de 1988
version
invariante muy importante que se define es el propagador

Otra funcion
de Feynman para una partcula escalar,
iF (x x ; 2 ) = h0| T (x) (x ) |0i
donde el producto cronologico

T para campos bosonicos
se define

(x) (x ) si x0 > x0
T (x) (x ) =
(x )(x) si x0 > x0
= (x0 x0 )(x) (x) + (x0 x0 ) (x )(x)
De aqu resulta que
iF (x) = (x0 )+ (x) (x0 ) (x)

Problema Demostrar que
iF (x; ) = i
2
d4k
eikx
k2 2 + i
(1.2.20)
De aqu resulta que

( + 2 )F (x; 2 ) = (4) (x)
Finalmente se define las funciones
R (x) = (x0 )(x)
A (x) = (x0 )(x)
Problema: El producto temporal entre operadores bosonicos

a (xa ), a =
1, 2, N) se define por
T [1 (x1 ) N (xN )] =
P sN
(x0i1 x0i2 ) (x0i2 x0i3 ) (x0iN1 x0iN )i1 (xi,1 ) iN (xiN )
donde la suma al lado derecho es sobre las N! permutaciones de los

ndices ( i1 iN ), reordenamientos de (1, 2, N)
Demostrar que:
T [1 (x1 N (xN )] = T (1 , (x1 )2 (x2 ) N (xN )) +

xi
+g0 (x0i2 x0i3 ) (x0iN1 x0iN > { (x01 x0i1 )[1 , i2 ]i3 i4 +
+i2 (x01 x0i3 )i4 + }
Los no son necesariamente campos, podran representar derivadad de

ellos, corrientes, etc.
1.2. SPIN 0

Teora Cuantica
de Campos
1.2.4.
15
Las simetras discretas P, C y T en el caso de campos

escalares.
se define operadores de paridad, conjugacion

de carEn esta seccion
temporal que actuan
sobre los operadores de Fock
ga y de inversion
solo
y destruccion
y que ademas
dejan invariante al estado vaco).
(creacion
Los dos primeros se definen como operadores unitarios mientras que, como es usual, T se define antiunitario.
El operador P. Se exige que se cumpla,
P(~x,t)P 1 = P (~x,t),
PP + = 1
P |0i = |0i
explcitamente la primera de estas relaciones es

Mas
Z
d 3 p{Pa(~p)P 1 f~p+ (x)+Pb (k)P 1 f~p (x)} = P
d 3 p{a(~p) f~p+ (~x,t)+b (~p) f~p (x,t)}.
se cambia la variable de integracion

de ~p a ~p y ademas
En la expresion
se nota que
n
f~
x,t) = f~pn (x)
p (~
con lo cual se puede ahora comparar los coeficientes de los f n a ambos

lados ya que sus argumentos x y ~p son iguales. Se obtiene,
Pa(~p)P 1 = P a(~p)
Pb (~p)P 1 = P b (~p)
(1.2.21)
las correspondientes relaciones que resultan al tomar el hemtico conmas

es el efecto de P en un estado de
jugado en (1.2.21). Hay que ver cual
una partcula escalar:
P |~pi = Pa (~p) |0i = P a (~p) |0i = P |~pi
El operador C . Esta vez se exige que
C C 1 = C
CC = 1
C |0i = |0i
lo cual facilmente
conduce al resultado
C a(~p)C 1 = C b(~p)
C b (~p)C 1 = C a (~p)
(1.2.22)
Postgrado de Fsica
Patricio Cordero S.
16
de 1988
version
lo que muestra claramente que el operador cambia partculas en sus correspondientes antipartculas.
cambia t en t pero a la vez es necesario
El operador T . Esta operacion
tomar complejo conjugado de la cantidad sobre la cual esta actuando, lo
que hace que T no sea un operador lineal, pero sea factorizable en un op K = tomar complejo conjugado,
erador lineal y unitario U por la operacion
T = U K , UU = 1
Kz = z K
(z = numero
conjugado)
(1.2.23)
y tal que
T (~x,t)T 1 = T (~x, t).
en deTal como en los casos anteriores se impone la ultima
relacion
talle pero recordando que el factor K de T afecta a las funciones f n con
virtiendolas
en ( f n ) = f n con lo cual,
Z
d p{T a(~p)T
1
f~p (x) + }
= T
d 3 p{a(~p) f~p+ (~x, t) + }
De aqu se deduce entonces que

T a(~p)T 1 = T a(~p)
T b (~p)T 1 = T b (~p)
(1.2.24)
que producen el mismo efecto sobre los operadores de Fock que P como
puede verse al comparar con (1.2.22). La diferencia esta en que T es
antiunitario en el siguiente sentido,
hT |T i = (hU |)(|U i) = hU |U i = h | i = h | i
1.3.
1.3.1.
Spin
1
2
de Dirac. Notacion
basica.
Ecuacion
de Dirac es
La ecuacion
(i 6 m) (x) = 0
o bien
1.3. SPIN 12
(1.3.25)
(x)(i 6 + m) = 0

Teora Cuantica
de Campos
17
que en espacio de momento da las ecuaciones

(6 p m)u(~p) = 0
u(6
p)(6 p m) = 0
(6 p + m)v(~p) = 0
v(~
p)(6 p + m) = 0
Donde se esta usando la siguiente notacion
= = 0 0 +
= (i ) =
con
xi
x = (x0 ,~x) , x = (x0 , ~x), x = (xi )
= ( 0 ,~ ) ~ = ( i ),
5 = i 0 2 3
{ , } = 2g
explcita de las matriCuando sea necesario usar una representacion
ces de Dirac normalmente se usara una de las dos representaciones que
siguen,

0 1
1 0
0 +~
0
, 5 =
, ~ =
(1.3.26)
=
~
0
1 0
0 +1
o bien
0=
1 0
0 1
~ =
0
~
+~
0
=
5
0 1
1 0
(1.3.27)
Estas dos representaciones tienen varias propiedades en comun,
0 = 0 ,
~ = ~ ,
5 = 5
02 = 1
( i )2 = 1
52 = 1
0 0 = 0
Para referirnos colectivamente a las soluciones u(~p) y v(~p) se usara la
notacion

u si n = +1
n
u =
v si n = 1
Pero es necesaro aun otro ndice para caracterizar totalmente a las
cuatro soluciones linealmente independiente que existen. Se exige que
autofunciones del operador proyector de spin
las soluciones sean ademas
sobre esto se recomienda leer Bjorken y Drell, sec. 3.2).
(para ver mas
(s ) =
1 5 s
2
s p = 0 , s2 = 1
(1.3.28)
Postgrado de Fsica
Patricio Cordero S.
18
de 1988
version
que tiene la propiedad

2 = autovalores
0, 1
(1.3.29)
con el cual se define el ndice s ( s = cuadriverctor s2 = 1, s p = 0) de tal

modo que
(s)uns (~p) = ss uns (~p)
uns (~p)(s) = ss , us n(~p).
(1.3.30)
para estos espinores,

Se elige las siguientes normalizacion

P
uns (n~p) uns (n~p) =
nn , ss
m
uns (~p)uns (p) = nnn ,
(1.3.31)
de la segunda de estas expresiones)

(al final se incluye una demostracion
Con ellos se puede definir los proyectores de energa,
n (~p) = uns (~p)uns (~p) =
s
n 6 p+m
2m
(1.3.32)
los que satisfacen las relaciones siguientes,

+ (~p) + (~p) = 1
= n n n (~p).
n (~p)n (~p)
Se demostrara que
0 uns (~p) = n uns (~p).
(1.3.33)
general para
Es claro que ~p cambia en ~p si se nota que la ecuacion
espinores
(6 p nm)un (~p) = 0 ,
un (~p)(6 p nm) = 0
(1.3.34)
es satisfecha por 0 un (~p) con el mismo n pero con el signo de ~p cambiado.

Para ver que s no cambia se observa que
(s0 ,~s) 0 = 0 (s0 ,~s)
(1.3.35)
entonces
(s) 0 uns (~p) = 0 (s0 ,~s)uns (p) = 0 uns = (~p) = uns (~p)
(1.3.36)
La igualdad * es valida
porque si s p = 0, como es necesario por definicion
0
igualdad se ha utilizado
de , entonces (s ,~s) (p0 , ~p) = 0. En la ultima
el resultado previo de que ~p ~p, pero y s deben aun determinarse. Pot
1.3. SPIN 12

Teora Cuantica
de Campos
19
en el extremo izquierdo de (1.3.36) puede escribirse

otro lado la expresion
como
(s)uns (~p) = ss uns (~p)
que debe ser igual a (1.3.36), mostrandose

as que s no cambia. Finalmente se determina . Para ello se hara uso de las expresiones (1.3.30)
para p = 0
uns 0 uns = uns uns = nss
+
= uns uns = ss
Problema: Demostrar que
uns (~p) uns (~p) =
p
ss .
m
Problema
a) Demostrar que los proyectores de spin y de energa definidos en
(1.3.28) y (1.3.32) conmutan.
b) Desmostrar que los proyectos
Pa (~p) = n (~p)(s)
donde a = 1, 2, 3, 4 para (n, s) = (+1, +s); (+1, s), (s, s), (1, s)
satisfacen
Pa (~p)pb (~p) = ab Pa
c) Encontrar la forma matricial de (s) para el sistema en resposo del
usando la representacion
(1.3.27) de las matrices de Dirac
electron
del eje z.
suponiendo que el spin esta orientado en la direccion
de (1.3.31): de (1.3.34) se tiene que
Demostracion
0 = (n 6 p m)uns (~p) = (n~p 0 n~p ~ m)sn (~p)
(n p 0 ~p ~ )uns (n~p) = muns (n~p)
uns (n~p)(n p 0 ~p ) = muns (n~p)
Por otro lado
p) 0 uns (n~p)
2muns (n~p)uns (n~p) = 2mun
s (n ~
Postgrado de Fsica
Patricio Cordero S.
20
de 1988
version
=(a) uns (n~p)| 0 (n~p 0 ~ ~p) + (n p 0 p) 0 |uns (n~p)
= (n + n )~p uns (n~p)
(b)
as se puede hacer
Pero (n + n ) = 2nnn , lo que permite hacer n = n en uu
uso de (1.3.31), entonces
= 2nnn ~p nss
uns (n~p) uns (n~p) =
nn , ss
m
Lo que se ha demostrado en (b) es que
muns (n~p)uns (n~p) = nnn p uns (n~p)uns (n~p)

que prueba que para m 0 se debe tener uu
=0
1.3.2.
del campo de Dirac

Cuantizacion
La idea es partir del Lagrangiano

L = (i 6 m) :
(1.3.37)
tal como se hizo en 1.2.1 para el

y postular relaciones de cuantizacion
caso del campo escalar. Ocurre sin embargo que si se postula relaciones
como (1.2.2) la energa del sistema no es siempre posde conmutacion
itiva lo cual fsicamente es inadmisible. Se comienza justificando que es
a traves
de un estudio
necesario postular relaciones de anticonmutacion
del Hamiltoniano del sistema. De (1.3.37) se tiene que
(x) =
con lo cual
L
= i (x)

= : : L
= : + (i 0~ ~ + 0 m) :
De aqu que
H=
d 3 : (i 0~ ~ + 0 m) :
de Dirac (1.3.25) se obtiene

Si ahora se utiliza la ecuacion
H=
1.3. SPIN 12
d 3 x : + it :=
d 3 x : i 0 0 :
(1.3.38)

Teora Cuantica
de Campos
21
Para poder continuar con el calculo

es necesario que se haga una expan de en ondas planas,
sion
r
Z
o
n
m
ipx
ipx+as
(x) = d 3 p
(~
p)v
(~
p)e
b
(~
p)u
(~
p)e
s
s
s
(2 )3 p
s=1
(x) =
s=1
r
3
d p
m
(2 )3 p
(1.3.39)

as (~p)vs (~p)eipx + bs (~p)us (~p)eipx
compacta se escribe
lo que en notacion
(x) =
n,s
d 3 p cns (~p) f~pns (x)
(x) =
n,s
d 3 p cns (~p) f~pns (x) (1.3.40)
donde
c+1
s = bs
c1
s = as
(1.3.41)
y
f~pns (x) =
m
un (~p)einpx ,
(2 )3 1 s
ns
f ~p (p) =
m
un (p)einpx
(2 )3 ~p s
que satisfacen las relaciones de ortogonalidad,

Z
n s
d 3 x f ~p (x) 0 f~pns (x) = nn ss (3) (~p ~p ).
Con todo esto ahora se puede reemplazar (1.3.40) en (1.3.38) lo que da,
H =
d3x
d 3 p n p : cns (p)+ cns (~p) :

d 3 p p : bs (~p)bs (~p) as (~p)as (~p) :
nn
ss
n,s
Z Z
d 3 p d 3 p f~pns (x) 0 (n p ) f pn s (x) : cns (~p)cnp (p ) :
(1.3.42)
es analoga
Esta expresion
a (1.2.14) con la importante diferencia que ahora hay un signo menos en ella. Se quiere, tal como antes, definir el producto
normal de modo que los cuantos partcula y antipartcula contribuyan pos
itivamente a la energa. Esto induce a definir el producto normal fermonico
en la forma
: as as := as as .
(1.3.43)
Postgrado de Fsica
Patricio Cordero S.
22
de 1988
version
se desea que el producto normal no haga sino redefinir el cero

Ademas
de energa pero no cambie su caracter

como operador, en otras palabra,
sin producto normal debe
la diferencia entre (1.3.42) y la misma expresion
ser un numero
clasico,
lo que exige de acuerdo a (1.3.43) que se cuantice
con relaciones de anticonmutacion.

Se postula entonces que
{ (~x,t), (~x ,t)} = i (3) (~x ~x )
(1.3.44)
{ (~x,t), (~x ,t)} = { (~x,t), (~x ,t)} = 0
(1.3.45)
explcitamente
La primera de estas relaciones puede escribirse mas
{ (~x,t), (~x ,t)} = (3) (~x ~x )
(1.3.46)
{ (~x,t), (~x ,t)} = 0 (3) (~x ~x )
(1.3.47)
o bien,
de que el campo de Dirac tenga que ser cuantizado con
La conclusion
anticonmutadores es un notable resultado fsico, ya que implica que los
estados cuanticos
de n fermiones identicos
son antisimetricos
y por lo tanto
un tal sistema obedece la estadstica de Fermi-Dirac, resultado conocido
experimentalmente mucho antes de este desarrollo teorico.

demostrar que las unicas
A partir de (1.3.44) y (1.3.45) es facil
rela no nulas entre los operadores de creacion

y
ciones de anticonmutacion
contenidas en,
que aparecen en (1.3.39) estan
{as (~p), as (~p )} = {bs (~p), bs (~p )} = ss (3) (~p ~p )
(1.3.48)
Finalmente se explota el hecho que el Lagrangiano (1.3.37) es invariante bajo transformaciones de gauge de primera especie para deducir que
existe una corriente de Noether conservada.
j = 0
donde
j = ie : (
(1.3.49)
L
) : e : : .
,
Lo que permite calcular el operador de carga

Q = e R d 3 x j0
= e d 3 x : 0 :
R
1.3. SPIN 12

Teora Cuantica
de Campos
23
de un calculo
que despues
muy simple se reduce a
Q = e
s
d 3 p|bs (~p)bs (~p) as (~pas (~p)|
(1.3.50)
con lo que nuevamente se demuestra que partcula y antipartcula poseen

cargas iguales pero de signo opuesto.
Problema : Demostrar que j definido en (1.3.49) se conserva.
Problema : Demostrar (1.3.50)
Problema : Demostrar que [ j (x), j (x )] se anula cuando (x x ) es
tipo espacio y que
{ (x0 y0 ) j (x) j (y) + (y0 x0 ) j (y) j (x)} = 0.

Problema : comprobar que
ns
d 3 x f p (x)0 (x)
cns (~p) =
R
d 3 x (x)0 f pns (x)
cn
s (p) =
R
(1.3.51)
Problema : Calcular
1
[ (x), j (x)] : : .
2
Problema : Cuantizar el campo de Dirac correspondiente a partculas
de masa nula (neutrino).
Problema : Demostrar que L es esencialmente real y que la teora
de carga.
definida por L es invariante bajo conjugacion
1.3.3.
Funciones invariantes asociadas al campo de Dirac.
son facilmente
Las relaciones generales de anticonmutacion

deducibles
de los operadores de cracion
a partir de las relaciones de anticonmutacion

dadas en (1.3.48), ellas son,
y destruccion
(x )}
iS(x x ; m) { (x),
R 3 ns
= ns d p f~p (x) f ~p (x )
que con la ayuda de (1.3.41) y ?? se puede escribir como
=
R d 3~p
inp(xx )
2 p (n 6 p + m)ne
d3 p
n 2 p n(ip + m)einp(xx )
= n
Postgrado de Fsica
Patricio Cordero S.
24
de 1988
version
que al comparar con la primera de las relaciones (1.2.18) se ve que se

puede escribir como
= (i 6 + m)i(x x ; m).
(+) (x) y su parte de
Si se sepera (x) en su parte de destruccion
()
(x) se puede definir ademas

cracion
S+ (x x ; m) = { + (x), (x )}
S (x x ; m) = { (x), + (x )}
demostrar que
Es facil
S (x) = (i 6 + m)(x).
Finalmente se define el propagador de Feynman para fermiones libres,

iSF (x x ; m) = 0|T (x) (x )|0
donde el producto temporal para fermiones se define
T (x) (x ) = (x0 x0 ) (x) (x ) (x0 x0 ) (x ) (x)

Se puede obtener que
iSF (x) = (x0 )S+ (x) (x0 )S (x)
Problema : Demostrar que se cumple que
SF (x) = (i 6 + m)F (x; m)
se obtiene una expresion
integral para el propaDe esta ultima
relacion
gador fermionico
a partir de (1.2.20),
SF (x; m) =
=
1.3.4.
R 4
ipx
d P 2 6 p+m
2 +i e
R 4 p em
ipx
d P 6 pm+i .
Las simetras discretas P C y T en el caso de campos
fermionicos.
En forma analoga
a como se hizo en 1.2.4 se va a definir aqu op de carga y de inversion
temporal que
eradores de paridad, conjugacion
1.3. SPIN 12

Teora Cuantica
de Campos
25
actuan
sobre los operadores de Fock asociados a los fermiones y ademas

dejan invariante el vaco.
Se sefinira operadores tales que
= P P (~x,t)
P (~x,t)P 1
C (x)C 1
= C T (x)
1
T (~x, +t)T
= T (~x, t)
(1.3.52)
explcita
donde las matrices de 4 4 P, C y T son unitarias y su expresion
abajo. Los operadores P, C son unitarios mientras T
sera deducida mas
tiene las propiedades explicadas en (1.2.23) de ser antiunitario y antilineal.
El operador P. Primero se deducira la matriz P y luego se vera la ac de P sobre los operadores de Fock. Se multiplica la ec. (1.3.25) por
cion
P por la izquierda y por P 1 por la derecha y luego se aplica (1.3.52),
0 = (i 6 m)P (~x,t)P 1
= (i0 0 + i~ ~ m) P (~x,t)
se multiplica por P1 por la izquierda,
Se cambia ~x por ~x y ademas
= (iP1 0 P0 iP1~ P ~ m) (x)
de Dirac se ve que debe cumplirse que
que el comparar con la ecuacion
P1 0 P = 0
P1~ P = ~
lo que determina a P salvo una fase que queda a libre eleccion,

P = 0
Con este resultado se puede imponer (1.3.52) a la forma (1.3.50) del campo,
Z
Z
ns
d 3 pPcns (~p)P 1 f~pns (x) = p
d 3 p cns (~p) 0 f~pns (~x,t)
ns
ver que
Con ayuda de (1.3.33) es facil
ns
(~x,t)
0 f~pns (x) = n fp
lo que se aprovecha para reemplazar en el lado derecho de nuestra ecuacion

las variables mudas ~p y s son cambiadas a p y s lo que lleva
y ademas
a conclur que
Pcns (~p)P 1 = p ncn+s (p)
Postgrado de Fsica
Patricio Cordero S.
26
de 1988
version
explcitamente (ver (1.3.41)) esto es,

Mas
Pbs (~p)P 1 = p b+s (~p)
Pa+
p)P 1 = p a+
+s (p)
s (~
las relaciones que se obtienen de las dos anteriores tomando el hermtico
mas
conjugado.
ya tiene que haber sido discutiEl operador C . Esta transformacion
da en un curso de mecanica
cuantica
relativista. La idea es definir una
que transforme el campo dado en uno analogo
transformaicon
pero que
describa las partculas como antipart culas y vice versa. Lo usual es par de Dirac con acoplamiento electromagnetico
tir considerando la ecuacion

minimal,
(1.3.53)
(i 6 m e 6 ) = 0
lo que conduce a la ecuacion

0 = (i 6 m e 6 )
Trasponiendo
0 = (i 6 T m e 6 T ) T
multiplicando por C
= (iC 6 T C1 m eC 6 T C1 )C T
coincida con (1.3.53), lo que implica que
Ahora se exige que esta ecuacion
C T C1 =
lo que implica segun
(1.3.26) y (1.3.27) que C conmuta con 1 y 3 y anti0
conmuta con y 2 . Esto fija a la matriz C salvo una fase,
C = i 0 2
es el efecto de C sobre los espinores de
Se vera inmediatamente cual
espacio de momento. Se demostrara que
p) = ei (p,s) un
p)
CunT
s (~
s (~
(1.3.54)
Primero se demuestra que n

donde es una fase que no se determinara.
cambia de signo. Se nota que
6 pCunT
p) = C 6 pT unT
p) = C(uns (~p) 6 p)T ) = nmCunT
p)
s (~
s (~
s (~
1.3. SPIN 12

Teora Cuantica
de Campos
27
Comparando con (1.3.34) se ve que efectivamente el lado izquierdo de

(1.3.54) se comporta como un espinor un . Ahora se ve que s permanece
invariante.
(s )CunT
p) = CT (s )unT
p) = C(uns (~p)(s ))T = ss CunT
s (~
s (~
s (s)
con lo que (1.3.54) queda demostrado. Con este resultado ahora es muy
demostrar que (1.3.52) implica que
facil
C bs (~p)C 1 = as (~p)ei (p, s)
C as (~p)C 1 = bs (~p)ei (p,s)
El operador T . Recordando que este operador tiene un factor K que
toma el complejo conjugado de las cantidades con que U conmuta, en de Dirac la inversion
temporal resulta,
tonces al aplicar a la ecuacion
0 = (i 6 m)T (~x,t)T 1
= (i 0 0 i~ ~ m)T (~x, t)
cambiando t en t y multiplicando por T 1
0 = (iT 1 0 T 0 iT 1~ T ~ m) (x)
con la ecuacion
de Dirac resulta que debe cumplirse que
Por comparacion
T 1 0 T
= 0
T 1~ T
= ~
T 1 T = T 1 T T =
Esto nos permite fijar la matriz T en

T = i 1 3
En forma analoga
a como se ha procedido en los casos anteriores se
puede demostrar que
Tuns (~p) = ein (p,s) (uns (~p, s))
(1.3.55)
donde la fase tiene la propiedad
n (p, s) = + n (~p, s)
(1.3.56)
debido a que T 2 = 1. Con esto se demuestra ahora que

U bs (~p)u1 = ei+ (~p,s) bs (~p)
~
U as (~p)u1 = ei (~p,s) as (p)
(1.3.57)
Postgrado de Fsica
Patricio Cordero S.
28
1.3.5.
de 1988
version
PCT
Un resultado considerado fundamental en teora cuantica

de campos es
el llamado teorema PC T . Este teorema afirma que una teora cuantica

de campos definida por una densidad lagrangeana tal que
i) es local (todos los campos dependen del mismo x), esta en orden
normal, esto es, : L := L , L es hermtica y es covariante bajo transformaciones de Lorentz propias;
ii) la teora esta cuantizada en la forma usual que conecta spin y estadstica : campos con spin entero se cuantizan con conmutadores y
los de spin semientero con anticonmutadores.
combinada PC T :
Tal teora es dejada invariante por la transformacion
T PL (x)P 1 C 1 T 1 = L (x ) = L (~x, t).
(Ver Bjorken y Drell, sec. 15.14).
Problema : Demostrar las relaciones (1.3.55) (1.3.56) y (1.3.57).
Finalmente se recuerda del curso de mecanica

cuantica
relativista que
de Lorentz propia, los espinores (x) transforman
bajo una transformacion
segun
(x) (x ) = (x) = S() (x) = S() (1 x ).

La matriz S es tal que
S1 () S() =
y los satisfacen
= g =
Problema : Demostrar que bajo transformaicones de Lorentz que

incluyen se tiene que
5

5

donde
1.3. SPIN 12
es escalar
es seudoescalar
es vector
es seudovector
es tensor de segundo rango antisimetrico

i
= [ , ]
2

Teora Cuantica
de Campos
1.4.
1.4.1.
29
Spin 1
del campo vectorial real masivo.
Cuantizacion
El campo que deseamo cuantizar ahora esta descrito por la siguiente

densidad lagrangiana libre,
L =
donde
1
1
: F F : + M 2 : A A :
4
2
(1.4.58)
F = A A
(1.4.59)
de campo
De aqu se deduce la ecuacion
F + M 2 A = 0
(1.4.60)
y puesto que F es antisimetrico

se deduce que
( + M 2 )A = 0
(1.4.61)
A , = 0
(1.4.62)
implica solo si M 6= 0 que
La ec. (1.4.62) muestra que de las cuatro componentes del campo solo
tres son independientes. Se escoge a las componentes Ai como las vari
ables dinamicas
sobre las cuales se aplicara el postulado de cuantizacion.
usual
Usando la notacion
(~E)i = F oi
1
(~B)i = i jk F jk
2
(1.4.63)
entonces (1.4.59) y (1.4.60) se pueden escribir en la forma

~ ~E = M 2 A0
t ~E ~ ~B = M 2~A
~B = ~ ~A
~E
= ~A0 t ~A
(1.4.64)
(1.4.65)
consideradas como definiciones

Las primeras ecuaciones (1.4.64) seran
0
~
de A y B y las dos ultimas
como las ecuaciones dinamicas

para las variables ~A y ~E. Esto cobra especial sentido si notamos que los campos con
jugados canonicos
de los ~A son precisamente ~E ,
L
= Foi = E i
A i
(1.4.66)
Postgrado de Fsica
Patricio Cordero S.
30
de 1988
version
Ahora se puede calcular la densidad Hamiltoniana

H (x) = : ~A ~E : L (x)
= 12 : (~E 2 + M 2~A2 + (~ A)2 + M12 (~ ~E)2 ) :
(1.4.67)
Viendose
que es una suma de cuadrados y por lo tanto positiva semidefinida.
Para cuantizar el campo vectorial se postula
[Ai (~x,t), E j (~x,t)] = i i j (3) (~x ~x )
i
[A , A ]t=t
= [E , E ]t=t = 0
(1.4.68)
(1.4.69)
= [O(t), H] aplicado a
Problema: A partir de (1.4.64), (1.4.68) y iO(t)
~A y ~E demostrar (1.4.65) donde H esta dado por la integral sobre todo el
espacio de la densidad Hamiltoniana (1.4.67)
Para proseguir como en los casos anteriores se debe dar una expan
del campo A en ondas planas. Puesto que los A satisfacen la ecuacion
sion
de Klein-Gordon (1.4.61) se puede encontrar soluciones ondas planas pro onda plana genporcionales a exp (ipx) tales que p2 = M 2 . Una solucion
eral de (1.4.61) es
eipx
,
p2 = M 2
(1.4.70)
debe satisfacerse (1.4.62) lo que exige que
pero ademas
p = 0
(1.4.71)
que (1.4.71), lo que nos

El cuadrivector no debe satisfacer otra restriccion
permite encontrar tres linealmente independientes para formar un con
junto completo de soluciones, a los que se designa i (i = 1, 2, 3) y que
se escoge ortonormales,
i j = i j .
(1.4.72)
Obviamente se trata de cuadrivectores tipo espacio ya que son ortogonales
general de expresar i en terminos
a p que es tipo tiempo. La forma mas

de tres trivectores ortonormales ~ni es

~p ~ni
~p ~ni
i (~p) =
,
(~p2 = ~p2 = M 2 )
(1.4.73)
, ~ni +
~p
M
M(M + )
que satisface
i (~p)i (~p) =
1.4. SPIN 1
k k
g
M2
(1.4.74)

Teora Cuantica
de Campos
31
para la eleccion
de los
Desde ahora se adoptara la siguiente convencion
vectores ~ni :
~n1 y n2
perpendiculares a ~p, y ~n3 paralelo a ~p
con lo que (1.4.73) se expresa en la forma
i (~p) = (0,~ni ) para i = 1, 2;

3 (~p) = (|~p|/M,
(1.4.75)
k~p
)
M|k|
Con todo esto podemos definir un sistema completo de soluciones de onda

plana de las ecuaciones (1.4.61) y (1.4.62),
n
que satisfacen
f~pi (x) = i (~p) p
(2 )3 2 ~p
n
( f~pi
, f~pn j ) = i (~p) j (~p )
einkx = i (~p) f~pn (x)
(1.4.76)
d 3 x f~p (x) 0 f~pn (x)
= nmm i j (3) (~p ~p )
(1.4.77)
de A (x) en terminos
del conjunto completo de soluciones de
La expansion
ondas planas dado en (1.4.77) es
3
d3 p
i (~p)(ai (~p)eipx + ai (~p)eipx )
2 p (2 )3 i=1
Z

+
=
d 3 p ai (~p) f~pi (x) + ai (~p) f~pi (x)
A (x) =
(1.4.78)
i=1
las componentes espaciales se tiene ~A. Haciendo uso de

Tomando solo
(1.4.65) se tiene ~B
~A(x) =
d3 p
q
~
E(x) = i
2 p (2 )3
"
~i (~p)
i=1,2
ipx
a (~p)e
ipx
+ a (~p)e

p p 3
a (~p)eipx + a3 (~p)eipx
+
M |~p|
# (1.4.79)
"
r

M p

p
i
ipx
i
ipx
3
ipx
3
ipx
d p
(1.4.80)
~i (~p) a e a e + |~p| a e a e
2(2 )3 i=1,2
3
Invirtiendo se obtiene
(
)
r
Z
p
i
i
3 ipx
~i (~~p) ~A(x) p
~i (p) ~E(x)
a (~p) = d xe
(1.4.81)
2(2 )3
2 p (2 )3
Postgrado de Fsica
Patricio Cordero S.
32
de 1988
version
)
p ~p ~E(x
i
M p ~
A(x) p
a (~p) = d xe
p |~p|
2 p (2 )3 M |~p|
(1.4.82)
las correspondientes expresiones hermticas conjugadas.
mas
Facilmente
se deduce ahora que al igual que con los campos ante y
riores los unicos
conmutadores no nulos entre operadores de creacion

son
destruccion
[ai (~p), a j (~p )] = i j (3) (~p) (~p ).

(1.4.83)
3
ipx
p
2(2 )3
se deduce que
Como es de esperar tambien
H=
i=1
d 3 p ~pai (~p)ai (~p)
(1.4.84)
Ahora se esta en condiciones de calcular el conmutador general

i (x x ; M 2 ) = [A (x), A (x )]
=
i, j
d 3 pd 3 p [ain (~p), a jn (~p )]i (~p) j (~p ) f~pn (x) f~pn (x )
n,n
(1.4.85)
por el conmutador en la integral vale nnn i j (3) (~p ~p ) lo que permite

hacer uso de (1.4.74) y as deducir finalmente que
i (x x ; M 2 ) = (

+ g )i(x x ; M 2 )
M2
(1.4.86)
Problema: Demostrar que el propagador del campo vectorial masivo

es
i (x x ; M 2 =

0|TA (x)A (x )|0

= ( 2 + g )iF (x x ; M 2 )
M
1 0 0 (4)
+ 2 g g g (x x )
M
1.4.2.
(1.4.87)
Cuantizacion
en el gauge
de radiacion
El campo electromagnetico
A (x) tiene cuatro componentes y sin em transverbargo existen solo dos grados de libertad; dos modos de polarizacion
sal linealmente independientes; no existe la posibilidad de una polarizacion

1.4. SPIN 1

Teora Cuantica
de Campos
33
longitudinal como en el caso masivo. Este exceso de componentes trae difi

cultades al problema de cuantizar el campo electromagnetico.
Se vera dos
formas de cuantizar el campo electromagnetico

que son matematiamente
equivalente en lo que a teora como un todo respecta, pero que tienes
aspectos superficiales diferentes. El metodo

que se vera en esta seccion
fsico pero resulta mas
difcil de utilizar mientras que el meto
parece mas
es menos intuitivo pero, por ser

do que se presenta en la proxima
seccion
manifiestamente covariante, es muy comodo.

Se parte de la densidad lagrangeana
1
L = : F F :
4
(1.4.88)
dada en (1.4.59) y las ecuaciones de campo

donde F tiene la definicion
que aqu M = 0. A diferencia
son las mismas que (1.4.64) y (1.4.65) solo
del caso masivo se tiene ahora la invariancia de gauge
A (x) A (x) = A (x) + (x)
(1.4.89)
que permite elegir en particular el gauge de radiacion

~ ~A = 0
A0 = 0.
(1.4.90)
de gauge se tiene que tanto ~A como ~E son campos

Con esta eleccion
transversales. En efecto, todo campo vectorial ~V (x) puede ser escrito como
suma de una parte transversal y otra longitudinal,
V = Vt +V
donde
(1.4.91)
Vti = ( i j 2 )V j
i j
Vi = 2 V j
i
con
1
V (~x)
2
(1.4.92)
V (~x )
d3x
4 k~x ~x k
(1.4.93)
~ ~V = 0.
(1.4.94)
ya que cumple que

~ ~Vt = 0
Vemos que la parte longitudinal es proporcional a la divergencia de ~V y

~A
puesto que ~E tiene divergencia nula (ecuaciones de Maxwell) y tambien
del gauge) entonces se cumple que
(por eleccion
~E = ~Et
~A = ~At
(1.4.95)
Postgrado de Fsica
Patricio Cordero S.
34
de 1988
version
dos compoDe esta manera se logra describir los campos ~A y ~E con solo
nentes independientes ya que la componente longitudinal es siempre nula.
ahora demostrar que el campo conjugado canonico
Es facil
de ~At es
para la densidad hamiltoniana,
~E con lo cual se obtiene la expresion
H (x) = : ~Et ~At : L (x)
= 12 : (~E 2 + (~ ~A)2 ) :
(1.4.96)
de
Parece natural a primera vista postular, para cuantizar, la relacion
conmutacion
[Ati (~x,t), Etj (~x ,t)] = ii j (3) (~x ~x )
(imposible)
(1.4.97)
sin embargo esto no es posible, ya que si se aplica el operador i a ambos

lados se obtiene a la izquierda la divergencia de ~A que es nula, mientras a
la derecha se obtiene una derivada de la delta de Dirac que no es nula. Es
canonica
por esto que no es posible hacer una cuantizacion

usual. Lo que
se hace es exigir que a la derecha se tenga un delta transversal de Dirac
en el sentido de (1.4.92), es decir, se postula,
h
i
i j
Ati (~x,t), Etj (~x ,t) = (i i j 2 ) (3) (~x x )
(1.4.98)
con lo que queda asegurado que la divergencia del lado derecho tambien
es nula. Conjuntamente con (1.4.98) debe postularse como es usual, que
i
h
i
h
j
i
Ati , Atj
=
E
,
E
= 0.
(1.4.99)
t
t
t=t
t=t
De aqu en adelante todo lo que sigue es semejante a los casos anteriores.
Se expande ~At solo en terminos

de los modos transversales de polarizacion
~1 y ~2 definidos en (1.4.75), con las funciones definidas en (1.4.76) recordando que en este caso la masa es nula y por lo tanto p = |~p|,
~At (x) =
d3 p

i
ipx
i+
ipx
~
(~
p)
a
(~
p)e
+
a
(~
x)e
(1.4.100)
i
2|~p|(2 )3 i=1,2
s
Z

|p|
i
ipx
i+
ipx
~Et (x) = i d 3 p
~
(1.4.101)
(~
p)
a
(~
p)e
a
(~
p)e
2(2 )3 i=1,2
p
que al invertir da
i
a (~r ) =
1.4. SPIN 1
~i (~p )
d p
(2 )3/2
3
!
i
|p| ~
At (x) p
Et (x) eipx
2
2|p|
(1.4.102)

Teora Cuantica
de Campos
35
y su compleja conjugada se deduce que la unica

Con esta ultima
expresion
de conmutacion
no nula es
relacion

ai (~p), a j~p) = i j (3) (~p ~p ).
(1.4.103)
Ahora se obtiene el Hamiltoniano en la forma usual y el conmutador general,

Z
H=
d 3 p|~p|ai (~p)ai (~p)
(1.4.104)
i=1,2
y

h
i
i j
j
i
i
j
~At (x), ~At (x ) =
iD(x x )
2
(1.4.105)
Problema: demostrar que

D(x) (x; M 2 = 0) =
1
(x0 ) (x2 )
2
(1.4.106)
Problema: demostrar (1.4.105).
1.4.3.
covariante del campo electromagnetico.
Cuantizacion
Se acaba de ver la cuantizacion

postulan
estrictamene a los grados
do las relaciones canonicas
de con conmutacion
de libertad dinamicos.
El precio ha sido perder la covariancia manifiesta
que se desea en el formalismo. Por esto se ha ideado un procedimiento
que se vera en esta seccion
y que es naturalcovariante de cuantizacion
usado cuando se trata de hacer calculos
mente el mas
practicos.
La idea es tratar a las cuatro componentes A en igual pie, como vari
despues
de haber cuantizado, imponer en forma
ables dinamicas
y, solo
que caracteriza al gauge (covariante) de Lorentz.
adecuada la restriccion
Para lograr esto es necesario elegir una densidad lagrangiana diferente a
(1.4.88) puesto que aquella implica que el campo conjugado canonico

de
nulo,
A es F 0 y, por lo tanto, A0 tendra campo conjugado canonico
Para poder tratar a los A como varisiendo imposible su cuantizacion.
ables canonicas
independiente es necesario modificar las ecuaciones de
Maxwell; el lagrangiano modificado es el lagrangiano de Fermi,
1
L = : A , A , :
2
(1.4.107)
Postgrado de Fsica
Patricio Cordero S.
36
de 1988
version
que da como ecuaciones de campo

A = 0
(1.4.108)
que son equivalentes a las ecuaciones de Maxwell F, = 0 tan solo en

adelante. Los grados extra de
el gauge de Lorentz. Esto se discutira mas
eliminados mas
adelante restringiendose
libertad as introducidos seran

a
un sector del espacio de Fock que se obtenga.
El campo conjugado canonico

correspondiente a A es
=
por lo que se postula

junto con
= A ,0
A
(1.4.109)
A (~u,t), (~x ,t) = ig (3) (~x ~x )

[A , A ]t=t = [ , ]t=t = 0.
(1.4.110)
(1.4.111)
Se nota inmediatamente que la densidad Hamiltoniana

= A : L
= 12 : (~A ~A + A A ) :
(1.4.112)
no tiene aspecto de ser positiva definida. En efecto no lo es.

(1.4.108) esta dado
Un conjunto completo de soluciones de la ecuacion
por
(1.4.113)
e (~p) f~pn (x)
donde los e ( = 0, 1, 2, 3) forman un conjunto ortonormal y completo en el

3 + 1:1
espacio de dimension
e (~p)e (~p) = g
(ortonormalidad),
(1.4.114)
e (~p)g e (~p)
e (~p)e (~p) =
(completitud)
Si en un sistema de referencia arbitario
e0 (~p) ,
1 En
2 = 1
(1.4.115)
lo sucesivo no se indicara explcitamente las sumas sobre
1.4. SPIN 1

Teora Cuantica
de Campos
se escoge
e3 (~p) =
37
p (p )
p
(1.4.116)
y normalmente se trabajara en el sistema de referencia en que
e0 (~p) = = (1,~0)
(1.4.117)
lo cual implica
p
e3 (~p) = (0, |~p|
)
e (~p) = (0,~ (~p)) ,
e p = 0
= 1, 2 ,
si
(1.4.118)
= 1, 2.
e3 p = |~p|,
e0 p = |~p|
Con este conjunto completo de soluciones se hace la expansion,

3
A (x) =
d 3 p e (~p)(a (~p) f~p+ (x) + a (~p) f~p (x))
(1.4.119)
d 3 p|~p|e (~p)(a (~p) f~p+ (x) a (~p) f~p (x))
(1.4.120)
=0
y se deduce que
(x) = i
=0
que implica
n
a (~p) =
ine (~p)
d 3 x f~pn (x) 0 A (x).
(1.4.121)
De lo anterior facilmente
se deduce que
[a n (~p), a n (~p )] = ng (3) (~p ~p )nn

equivalente
h
i
a (~p), a ( p)
= g (3) (~p~p ) ,
(1.4.122)
i h
i
a , a = a , a = 0 (1.4.123)
El calculo
del conmutador general entre los campos es

A (x), A (x ) = g iD(x x )
(1.4.124)
y el propagador de Feyman es
iDF (x x ) =

0|TA (x)A (x )|0
= ig DF (x x )
Z
d 4 p eipx
= ig
(2 )4 p2 + i
(1.4.125)
Postgrado de Fsica
Patricio Cordero S.
38
de 1988
version
Problema: Demostrar (1.4.124) y (1.4.125). Notase

que las relaciones
entre los operadores de creacion
y destruccion
(1.4.123)
de conmutacion
implican que el espacio de Fock tiene metrica

indefinida. En efecto,
0

0|a (~p)a0 (~p )|0 = (3) (~p ~p )
(1.4.126)
y el Hamiltoniano que resulta es

H=

d 3 p|~p| a1 (~p)a1 (~p) + a2 (~p)a2 (~p) + a3 (~p)a3 (~p) a0 (~p)a0 (~p)
(1.4.127)
viendose
claramente que la energa no es positiva semidefinida. Los fotones temporales contribuyen con energas negativas y nada impide hasta
ahora tener un estado con solo estos fotones y por lo tanto con E < 0. Ahora se vera que esta paradoja se resuelve eliminando los grado de sobra
existiendo
que presenta el formalismo: cuatro direcciones de polarizacion,
fsicamente solo dos.
de Lorentz, es decir, restLo que ahora se hara es imponer la condicion
de Lorentz se satisfaga.
rigir el espacio de Fock a aquel donde la condicion
Notese
que imponer que los estados fsicos satisfagan
A | i = 0
es imposible
(1.4.128)
porque, por ejemplo.

()
()
0 = A |0i = A, |0i 0 = A (y)A, (x) |0i

h
i
(+)
6 0.
= A (y), A() (x) |0i = D(+) (y x) |0i =
(+)
(1.4.129)
Lo que se debe imponer es que los estados fsicos cumplan
A(+) (x) | i = 0
de Gupta-Bleuler)
(condicion
(1.4.130)
y ademas
En particular el estado vaco cumple trivialmente esta condicion

de Lorentz se cumple entre estados fsicos,
la condicion

A | i = 0.
(1.4.131)
(1.4.130) en mas
detalle se obtiene
Al imponer la condicion
A(+) (x) | i =
1.4. SPIN 1
d 3 pe (~p)a (~p) f~p+ (x)(ip ) | i = 0
(1.4.132)

Teora Cuantica
de Campos
39
Puesto que los f~pn forman un conjunto ortonormal, esto implica que los
coeficientes de estas funciones son cada uno separadamente nulos,
p e (~p)a (~p) | i = 0
~p
(1.4.133)
p e0 (~p) =
pero de (1.4.118) se desprende que p e1 (~p) = p e2 (~p) = 0 y ademas
p e3 (~p) 6= 0, por lo tanto (1.4.133) implica que

(a3 (~p) a0 (~p)) | i = 0
(1.4.134)
lo cual dice que los estados fsicos se caracterizan por tener igual numero
de fotones longitudinales que de fotones tipo tiempo,

a3 (~p)a3 (~p) | i = a0 (~p)a0 (~p) | i
(1.4.135)
Esto ultimo
permite escribir el Hamiltoniano (1.4.104) en la forma

H=
=1,2
d 3 p|~p|(a (~p)a (~p))
(1.4.136)
que coincide con (1.4.84).

Brevemente se menciona que
PA (~x,t)P 1 = A (~x,t)
C A (x)C
T A (~x,t)T
= A (x),
= A (~x, t),
( ),
( ).
(1.4.137)
(1.4.138)
(1.4.139)
Postgrado de Fsica
40
1.4. SPIN 1
Patricio Cordero S.
de 1988
version
Captulo 2
Interacciones
2.1.
Acoplamiento electromagnetico
minimal
Historicamente
la primer teora cuantica
de campos estudiada fue elec
de fotones y
trodinamica,
entendida principalmente como la interaccion
electrones. Es una teora extraordinariamente precisa y exitosa aun
cuando
matematicamente
no es del todo estetica.
Buena parte de las aplicaciones
electrodinamica
practicas
que se hagan en el curso seran
cuantica.
Por
ahora la veremos solo como un ejemplo de los tantos casos de interaccion

que se pueden definir.
Se ha inventado muchas interacciones entre campos cuanticos,

pero
tan bella como el llamado acoplamiento elecpocos tienen una motivacion
tromagnetico
minimal.
de un
Supongamos que tenemos una densidad lagrangiana L0 funcion
cierto campo y sus primeras derivadas , de modo que L0 es invariante
de gauge de primera especie
bajo la transformacion
ei ,
ei
(2.1.1)
y similares tranformaciones para las derivadas. El campo puede ser

cualquier tipo de campo no hermtico: escalar, espinor, etc. La invariancia
se expresa en la forma,
L0 ( , , ) = L0 (ei , ei , ).
(2.1.2)
de fase (2.1.1) es la misma en todos los puntos x.

La transformacion
El concepto de campos e interacciones locales, sin embargo, esta asoci hacia puntos vecinos y sin influencia alguna a
ado con una propagacion
41
42
Patricio Cordero S.
de 1988
version
de simetra (2.1.1) es contraria al concepto de

distancia. La transformacion
localidad y es plausible tratar de investigar la posible invariancia de una
teora modificada bajo transformaciones de gauge de segunda especie:
arbitraria de x. Notamos inmediataexp (i (x)), donde (x) es una funcion
mente que
, (ei (x) ), = ei (x) , + i, ei (x)
por lo que ya no se tendra una invariancia de L0 ( , , ). Si queremos forzar

a que exista una invariancia bajo estas transformaciones locales debemos
cambiar el segundo argumento de L0 , de modo que el nuevo objeto
indicada en (2.1.2),
s tenga la ley de transformacion
ei (x)
(2.1.3)
A le llamaremos por esto, derivada covariante o derivada de gauge. Lo

sencillo es suponer que la derivada covariante tiene la forma +
mas
donde el segundo termino

transforma bajo el grupo de Lorentz como un
cuadrivector. Es claro que (2.1.3) garantiza, a partir de (2.1.2), la invariancia de
(2.1.4)
L0 ( , )
bajo transformaciones de gauge de segunda especie. Escribamos
= + ieA (x)
(2.1.5)
y exijamos que (2.1.3) se cumpla, lo cual nos dara la ley de transformacion

de los A bajo el grupo local de gauge,
= ( + ieA ) = ei (x) ( + ieA )
Al reemplazar por exp (i (x)) se deduce trivialmente que
1
A (x) = A (x) (x)
e
(2.1.6)
de gauge permitida por la teora de Maxwell.

que es la tpica transformacion
La teora original del campo se ha convertido en una teora con un campo
adicional A (x). Para que la teora sea completa se agrega a L0 un termino

libre para el campo A (x) que sea invariante bajo el grupo local de gauge
(salvo una cuadridivergencia). El acoplamiento que as se obtiene entre el
campo y A se denomina acoplamiento electromagnetico

minimal.
Ejemplo 1:
1
L =: (i 6 m) : : A , A , e : 6 A :
2
2.1. ACOPLAMIENTO ELECTROMAGNETICO

MINIMAL
(2.1.7)

Teora Cuantica
de Campos
43
Este es el caso de electrodinamica

cuantica.
Si agregaramos
un termino
g:
F : ya no se tratara de acoplamiento minimal. Experimentalmente

no existe evidencia alguna que exista un acoplamiento extra de este ultimo
tipo.
Las ecuaciones de campo son
(i 6 m) = e :6 A :
A
= e : :
(2.1.8)
De aqu se deduce facilmente

que existe
= 0
(2.1.9)
j
= e:j :
Para poder cuantizar esta teora de campos interactuando es necesario im de Lorentz a la Gupta-Bleuler. Tenemos sin embargo el
poner la condicion
problema de que como los campos no son libres, no satisfacen la ecuacion
homogenea
de Klein-Gordon y por lo tanto no se pueden escribir como su de ondas planas con amplitud independientes del tiempo y no
perposicion
y otra de destruccion.
Esto parecera impedir
existe una parte de creacion
de (1.4.130) pero no ocurre as porque la aplicar el operador
la imposicion
(2.1.8) para A se obtiene, gracias a (2.1.9), que
sobre la ecuacion
A = 0
(2.1.10)
de ondas planas aun

lo que s permite escribir A, como superposicion
cuando esto no se pueda hacer con el campo mismo.

se logra entonces postulando (1.3.44), (1.3.45) (1.4.110),
La cuantizacion
que campos diferentes y sus derivadas con(1.4.111) y (1.4.130) y ademas
mutan a tiempos iguales:
0 = [ , A ]t=t = [ , A ] = etc
(2.1.11)
en (2.1.7) no tiene
Hacemos notar que puesto que el termino
de interaccion
derivadas las expresiones para los campos conjugados canonicos

resultan
ser las mismas ya obtenidas en el caso de campos libres.
darse cuenta que los campos pueden siempre
Es interesante tambien
expandirse formalmente en terminos

de ondas planas, solo que las ampli del tiempo. Si se usa estas expansiones para t = 0 en las
tudes dependeran
Postgrado de Fsica
44
Patricio Cordero S.
de 1988
version
canonicas
relaciones de conmutacion
(RCC) se obtendra las mismas rela que las obtenidas para los operadores de creacion
ciones de conmutacion
Sin embargo ya no cabra la interpretacion
de antes puesto
y destruccion.
a
que tales operadores no crean autoestados del Hamiltoniano. Ademas
partir de estos operadores y sus RC para t = 0 no es posible obviamente
deducir las RC generales de los campos ni tampoco se podra escribir H como una simple suma de las contribuciones de cada estado de una partcula.
que suele ser util
Mencionamos tambien
considerar un termino
adicional en (2.1.7) de la forma
e : (x) ext (x) (x) :
(2.1.12)
y no cuantizado. Esta aproximacion

donde Aext
es un campo externo clasico
puede ser usada en presencia de una fuente macroscopica

de campo elec
que es mucho mas
pesatromagnetico
o aun
en el caso de un solo proton,
do que los electrones.
Ejemplo 2: Si se aplica el concepto de acoplamiento minimal a la densidad
lagrangiana del campo escalar complejo (1.2.15) obtenemos,
1
L = L0 + ie : A ( , , ) : +e2 ; A A : A , A ,
y
(2.1.13)
la
Este acoplamiento es de tipo derivativo (contiene derivadas) y ademas
corriente conservada esta vez es
j = ie : (, , ) : +2e : A :
(2.1.14)
por lo que el acoplamiento no es de la forma j A sin embargo la ecuacion

de campo para A es
(2.1.15)
A = j
de
lo que permite imponer, tal como en el ejemplo anterior, la condicion
Lorentz en la forma (1.4.130). Esto es un fenomeno

general cuando existe
para A es de la forma (2.1.15) donde
acoplamiento minimal, la ecuacion
se lleva a cabo en la forma
j es la corriente conservada. La cuantizacion
usual postulando las RCC a tiempos iguales. Hay que tener presente que
los campos conjugados canonicos

correspondientes a y no tienen
que en el caso libre. Esto se debe al acoplamiento
la misma expresion
derivativo. Por ejemplo,
= + ieA0 + .
2.1. ACOPLAMIENTO ELECTROMAGNETICO

MINIMAL

Teora Cuantica
de Campos
45
del Hamiltoniano de interaccion

en
Problema: Encontrar la expresion
este ultimo
ejemplo y comprobar que

HI 6= LI
(2.1.16)
con respecto al lagrangiano

Los terminos
extra que tiene el H de interaccion
se llaman terminos
de interaccion
dependientes de la normal. Este nom
bre tiene que ver con el hecho que esos terminos
dependen usualmente
de una componente cero, la componente normal al espacio de las componentes espaciales.
Problema: Demostrar totalmente en general que si se tiene una
teora de campos cargados acoplados minimalmente con el campo elec
tromagnetico
entonces se cumple que
A = j .
De paso ver que j es proporcional a
2.2.
(2.1.17)
L
A .
Algunos acoplamientos no-electromagneticos

sencillos
a) Nucleones con piones neutros.

Experimentalmente la paridad de los piones es P = 1 entonces el
mas
simple que se puede escribir y que no
termino
de interaccion
viole simetra de paridad es,
LI = ig : 5 :
(2.2.18)
donde es un campo escalar real, es decir, describe partculas de

spin cero y carga nula, mientras es un campo que describe partculas de spin 1/2. Este acoplamiento presenta muchas analogas con
el acoplamiento electromagnetico
que aparece en (2.1.7).
entre estas partculas podra ser

Otro termino
de interaccion
LI = f : 5 :
(2.2.19)
A este nivel existe una libertad muy grande para inventar terminos
de
En (2.2.18) pudo, por ejemplo, escribirse en vez de 5 ,
interaccion.
2n ,
5 [2n + 1,
eig5 1,
5
1 2
(2.2.20)
Los dos ultimos
casos dan origen a lagrangianos no polinomicos.

Postgrado de Fsica
Patricio Cordero S.
46
de 1988
version
b) Nucleones con mesones vectorialmente neutros.

Si la paridad de los mesones es negativa, entonces puede escribirse
LI = g : 6 A :
(2.2.21)
c) Otros acoplamientos.
: , AA :,
: (, , )A
(2.2.22)
etc.
2.3.
alrededor del concepto

Definiciones y notacion
de isospin
y/o nuevas simetras

Cuando se descubre nuevas leyes de conservacion
en el mundo de las partculas elementales se incorporan nuevas restric
que podamos inventar.
ciones sobre los posibles terminos
de interaccion
En 1932 Heisenberg introdujo el concepto de isospin en fsica nuclear, el
que luego fue generalizado a partculas elementales. La idea surgio de ob y el neutron:
mismo spin, casi
servar la notable similitud entre el proton
igual masa, y fuerza nuclear que no distingue entre estas dos partcu
la eleclas. Las pequenas
difernecias eran atribuibles a otra interaccion,
y al neutron
como
tromagnetica.
Heisenberg sugirio considerar al proton
Estos dos estados deban
dos estados de un mismo objeto: el nucleon.
de spin-up y spin-down y,
pensarse como los dos estados del electron
tal como las interacciones entre electrones que no dependen del spin, las
nucleares no distinguen entre estos dos estados: las fuerzas nucleares no
As como el modistinguen entre los dos estados de isospin del nucleon.
mento angular tiene asociada el algebra

de momento angular,
[Li , L j ] = ii jk Lk SO(3)
se le asocia al concepto de isospin el algebra
tambien
de isospin,
[Ii , I j ] = ii jk Ik SU (2).
(2.3.23)
El isospn pasa a ser un grado de libertad interno en el mismo sentido

tiene dos estados de insospn: p y n que correque el spin lo es. El nucleon
sponden a isospn total 1/2, con I3 = +1/2 y 1/2 respectivamente. Se dice
ALREDEDOR DEL CONCEPTO DE
2.3. DEFINICIONES Y NOTACION
Facultad
ISOSPIN
de Ciencias Fsicas y Matematicas

Teora Cuantica
de Campos
I3 =
S=0
3/2 1 1/2 0
0
K
S=1
0
( , )
A1
A01
S = 1/2
n
0
S = 3/2
0
47
+1/2 +1 3/2
+
K0
+
A+
1
p
++
Figura 2.1: Estados de spin e isospin

que p y n forman un doblete de isospn. En general podra haber partculas
de isospn total I que forman un multiplete de multiplicidad (2I + 1), cuyos
todos carga electrica
El
miembros tendran
diferente como se vera despues.
concepto de isospn, sin embargo, solo tiene sentido mientras corresponda
a una simetra y esto solo ocurre en las llamadas interacciones fuertes.
Multipletes de isospn se muestran en la figura 2.1.
de la RI de SU(2) en la cual
La multiplicidad (2I + 1) define la dimension
clasificados los estados correspondientes de isospn. Las matrices
estan
que representan a los opeardores Ii para I = 1/2 y 1 son
1
Ii (1/2) = i
2
(1)
Ii
= Ei
(matrices de Pauli)
(2.3.24)
(Ei ) jk = ii jk
(2.3.25)
donde
Notese
que los valores propios de I3 en los dos casos anteriores son 1/2,
- 1/2 y 1, 0, -1 respectivamente. En general el campo de una partcula
de isospn I tendra un ndice de isospn para indicar los campos de cada
miembro del multiplete. Convencionalmente estas componentes de isospn
en una columna y estos campos columna transformaran
se escribiran
bajo SU(2) segun
U (~a) = ei~aI ,
~a = (a1 , a2 , a3 ),
(2.3.26)
donde los ai son los parametros

de la transformacion.
Postgrado de Fsica
Patricio Cordero S.
48
de 1988
version
se escribe como un doblete de isospn,

A) El campo de un nucleon

N1 (x)
p (x)
(isoespinor)
(2.3.27)
N(x) =
=
N2 (x)
n (x)
cada componente es a sus vez un espinor de Dirac de cuatro componentes de spin.
necesario introducir ~N,
Para formar escalares sera tambien
N(x) = N 0 = (N 1 , N 2 ).
(2.3.28)
El espinor N(x) transforma infinitesimalmente como sigue,

i
N N (1 + ~a ~ )N
2
y entonces
i
N(x) = + ~a ~ N(x)
2
y correspondientemente
i
N(x) = N(x)~ ~a.
2
(2.3.29)
(2.3.30)
De aqu resulta trivialmente que
(N i N) = + i jk ak N j N.
(2.3.31)
B) Los tres piones, por tener spin cero son descritos por campos escalares. Los piones cargados son descritos por un solo campo escalar complejo y el pion neutro por un campo escalar hermtico. Es
conveniente convertir el campo complejo en dos campos reales en la
forma definida en (1.2.16) y llamar al campo real correspondiente a
0 por 3 con lo cual podemos definir el isovector (real)
1
~ = 2
3
(isovector)
(2.3.32)
que transforma segun
~ = ei~a~E ~
ALREDEDOR DEL CONCEPTO DE
2.3. DEFINICIONES Y NOTACION
Facultad
ISOSPIN
(2.3.33)
de Ciencias Fsicas y Matematicas

Teora Cuantica
de Campos
49
que implica, debido a (2.3.25), que
i = i jk ak j ,
(2.3.34)
Es a menudo util
trabajar con el campo matricial
F = ~ ~
(2.3.35)
inducida por (2.3.34) es

cuya ley de transformacion,
F = e 2 ~a~ F e 2~a~ .
i
(2.3.36)
concLos parametros
de las transformaciones (2.3.33) y (2.3.36) no estan
etados trivialmente, pero para transformaciones infinitesimales coinciden.
Problema: Demostrar que (2.3.36) implica (2.3.34).
infinitesimal (2.3.34) es la que corresponde a todo
La transformacion
el caso de, por ejemplo,
isovector, como es el caso en (2.3.31) y tambien
el campo
!
1 (x)
+
+
2
~(x) = 2 (x) =
(2.3.37)
+
i
3 (x)
0 2
teniendose
entonces que bajo SU (2)
i = i jk ak j
(2.3.38)
Aqu las componentes no son reales puesto que se trata de espinores,

pero bajo SU (2) transforman como componentes de un vector, es decir,
transformaciones reales.
2.4.
Lagrangianos invariantes bajo SU(2).
solo
veremos un ejemplo, con el cual esperamos que
En esta seccion
la idea general quedara ilustrada. El ejemplo consistira en construir un lagrangiano para los campos de piones y nucleones que sea invariante bajo
SU (2). Primero veamos como

se escribe las partes libres en forma manifiestamente invariante bajo SU (2).
El lagrangiano para los tres piones libres consiste de un lagrangiano
para un campo escalar complejo, el que da la parte libre para los dos piones cargados y luego un lagrangiano de un campo real 3 que describe al
Postgrado de Fsica
Patricio Cordero S.
50
de 1988
version
pion neutro,
L
= (, 2 ) + 21 (3, 3 2 32 )
= 12 (1 1, + 2 2, 2 (12 + 22 ) + 3, 3 2 32
1 ~ ~
= 2 (, 2~ 2 ).
(2.4.39)
Primero se hizo uso de (1.2.16) y luego de (2.3.32).

simple,
Para los nucleones es aun
mas
LN
= p (i 6 m) p + n (i 6 m)n
= N(i 6 m)N
(2.4.40)
donde N(x) es el isoespinor definido en (2.3.27).

Por cada uno de estos dos lagrangianos libres se tiene una corriente
conservada de Noether como consecuencia de la invariancia bajo SU (2).
Estas corrientes transforman como cuadrivectores bajo el grupo de Lorentz
de 1
y como isovectores bajo SU (2). En general ellas se definen a traves
Jk =
A
L A
A, ak
(2.4.41)
donde los ak son los tres parametros

que definen las transformaciones de
SU (2). Con L se calcula,
L i
= (i )( i jk j ) = (~ x~ )k .
i, ak
(2.4.42)
1
LN Na
1
= (iN a )( k N)a = N k N
Na, ak
2
2
(2.4.43)
Jk =
Del mismo modo
N Jk =
a
que tambien
sean
Ahora corresponde construir terminos
de interaccion
que
SU (2) - invariantes. El ejemplo mas sencillo de termino de interaccion
aqu puede darse es,
LN = igN 5~ N ~ = ig N 5 FN
(2.4.44)
infinitesi Problema: Verificar que LN = 0 para una transformacion

escribir explcitamente este lagrangiano de interacmal de SU (2). Ademas
en terminos
cion
de los campos (complejo), 3 = 0 , p y n .
1 Si
L depende de A en lugar de A, entonces debe calcularse
2.4. LAGRANGIANOS INVARIANTES BAJO SU (2).
L
A
en (2.4.41)

Teora Cuantica
de Campos
51
El lagrangiano completo para esta teora de interacciones nucleares es

entonces
L = L + LN + L N
(2.4.45)
y la corriente de isospn es
J~ = J~ +N J~
(2.4.46)
no hay conya que al no haber terminos

con derivadas en la interaccion,
de esta parte a la corriente total. La cantidad conservada en el
tribucion
tiempo es el isospn total,
Z
~I = d 3 xJ~0
(2.4.47)
es
Otro posible candidato para lagrangiano de interaccion
L N = igN 5 F N
(2.4.48)
pero en este caso la corriente tendra un termino

extra.
que dejan invariante a (2.4.45)

Existen dos grupos uniparametricos
mas
y que tiene gran importancia fsica. El primero corresponde a la simetra
de la carga electrica
asociada con la conservacion

y consiste en cambiar
de fase todos los campos de partculas cargadas simultaneamente:
= ei ,
= ei ,
p p = ei p (2.4.49)
Los campos corespondientes a partculas neutras son dejados invariantes
bajo este grupo. El segundo grupo uniparametrico

corresponde a una ley
que hasta hoy parece estrictamente valida:
de conservacion
la conser del numero
vacion
barionico.
El numero
barionico
es un numero
cuantico
que acarrean todos los fermiones conocidos que participan en las llamadas
interacciones fuertes y es +1 o -1. Para los bosones B = 0. La simetra asociada consiste en cambiar de fase a aquellos campos que acarrean numero
barionico,
en este caso, los protones y neutrones,
p p = ei p
n n = ei n .
(2.4.50)
Hasta aqu entonces el grupo de simetra de L es SU (2)I xU (1)Qx U (1)B .

existen dos corriAsociado con estas dos ultimas
simetras tambien
entes, la corriente electrica

y la corriente barionica.
Veamos cuales son
sus formas explcitas usando nuevamente (2.4.41) donde ahora se toma
Postgrado de Fsica
Patricio Cordero S.
52
de 1988
version
del campo con respecto a los parametros
como ultimo
factor la variacion
del grupo que se este considerando. Puesto que tenemos un acoplamien solamente de las partes libres y
to no derivativo las corrientes provendran
entonces podemos deducirlas separadamente para y N.
Para U (1)Q se tiene
#
"
+
j =
, ,

= ( , )(i ) + ( )(i )
de donde
= i( , )
o
o
n
in
(1 i2 ) (1 + i2 ) h.c. = 1 2 2 1
=
2
~ x~ )3 .
j = (
(2.4.51)
es
La corriente electrica
asociada al proton
jN
LN p
1
1 + 3
N
= i p (i p ) = p p = N
p,
2
2
1 1 + 3
)N
(2.4.52)
N (
2
2
=
=
que para U (1)B

Facilmente
se demuestra tambien
(B)
= 0
N J (B) = N N
(2.4.53)
J (Q) = J~3 + J (B)

2
(2.4.54)
De donde se deduce que
o, integrando la componente temporal sobre todo el espacio

1
Q = I3 + B
2
(2.4.55)
(2.4.48) en vez de
Problema: Demostrar que si se toma la interaccion
(2.4.54) continua siendo valida
(2.4.44) la ecuacion
y por lo tanto (2.4.55)
lo es.
tambien
(2.4.55), valida
La relacion
para el sistema nucleones piones, no es
universalmente valida.
A las partculas que por primera se observo que
2.4. LAGRANGIANOS INVARIANTES BAJO SU (2).

Teora Cuantica
de Campos
53
violaban esta ley se las llamo extranas

y se invento un nuevo numero
cuantico,
S o extraneza,
de modo que deba cumplirse que
1
Q = I3 + (B + S) = I3 +Y /2.
2
(2.4.56)
Con el tiempo se descubrio que este nuevo numero
cuantico
era siempre conservado en las interacciones fuertes, lo que llevo a su completa
al lenguage de la fsica de partculas. Mas
tarde se deciincorporacion
de varios intendio cambiarlo por el concepto de hipercarga (Y). Despues
1961 a concebir un nuego grupo de simetra
tos fallidos se llego el ano
y los
para dar cuenta de este nuevo numero
cuantico
y las leyes que de el
numeros
cuanticos
ya conocidos surgan. Este fue el grupo SU(3) de GellMann y Ne eman. No veremos lagrangianos invariantes bajo este grupo de
ocho parametros.
2.5.

Acoplamiento universal (Yang-Mills) del meson
En el estudio experimental de interacciones entre piones y nucleones

(isospn 1) juega un papel muy importante
se ha observado que el meson
se ha podido comprobar que la constante de acoplamiento de
y ademas
con piones y nucleones es practicamente

la misma. Esto lleva a hablar
del acoplamiento universal del meson en analoga con el acoplamien

to universal electromagnetico,
esto es, la constante de acoplamiento del
con cualquier partcula cargada es la misma: e. La universalidad del
foton
acoplamiento electromagnetico
esta ntimamente ligado a la conservacion
de la corriente electrica.
Yang y Mills se propusieron entonces buscar un
de una corriente conacoplamiento de a piones y nucleones a traves
servada, y esta corriente deba ser la corriente de isospn. Antes de con de con piones y nucleones deba encontrarse un
siderar la interaccion
que es neuacoplamiento de con s mismo, ya que a diferencia del foton
acarrea isospn. Sera esto lo que veremos primero.
tro, el meson
Los tres mesones tienen spin uno, por lo que son descritos por cam de se hara con
pos vectoriales: de acuerdo a lo visto en 2.3 la descripcion
un campo cuadrivectorial e isovectorial.
1

(A + +
A )
A1
~A =
A ) = A2
(2.5.57)
12 (A +
A
A 0
3
Postgrado de Fsica
Patricio Cordero S.
54
de 1988
version
El lagrangiano libre para este triplete de mesones es

1
M2 ~ ~
L0 = ~F ~F +
A A .
4
2
(2.5.58)
de campo libre que resulta de aqu es

La ecuacion
~F , = M 2~A
(2.5.59)
y la corriente de isospn calculada segun

(2.4.41) es
J~0 = ~F ~A .
(2.5.60)
el producto cruz es en el espacio de isospn. El subndice cero indica que
esta
es la corriente de isospn proveniente del lagrangiano libre del meson
. En analoga con electromagnetismo donde se tiene que F = e j y j
del tipo
es conservada, nosotros buscaremos una ecuacion
~F , = M 2~A gJ~
(2.5.61)
donde J~ sea una corriente conservada de isospn. Lograremos esto en

varias etapas. Primero hagamos notar que el lado izquierdo de (2.5.59) es
D ( L0 / ~A, ) mientras el lado derecho es L0 / ~A .
deberamos hacer a L0 para que en el laVeamos que modificacion
do derecho aparezca el termino

adicional gJ~0 , donde esta corriente es
aquella dada por (2.5.60). Es claro que a (2.5.58) debe agregarsele

un
termino
g
(2.5.62)
L1 = ~F ~A ~A .
2
Este termino,
sin embargo, es derivativo, por lo cual la corriente conservada
(2.4.41) ya no coincide con (2.5.60), sino que tiene un termino

extra
J~1 =
1
L1 Ai
= g~A (~A ~A ).
Ai, ~a
(2.5.63)
este termino
Debe entonces agregarse tambien

al lado derecho de (2.5.61)
lo cual exige un nuevo cambio en el lagrangiano. El nuevo termino

que debe
agregarse es
g2
(2.5.64)
L2 = (~A ~A ) (~A ~A )
4

2.5. ACOPLAMIENTO UNIVERSAL (YANG-MILLS) DEL MESON

Teora Cuantica
de Campos
55
de la corriente conservada ya que no tiene

el que modifica la expresion
terminos
derivativos. Veamos que se ha obtenido como resultado de este
los terminos
dan
proceso. El lagrangiano libre mas
de autointeraccion
L
= L0 + L1 + L2
1
1
g
g2
= ~F ~
F + M 2~A ~A ~F ~A ~A (~A ~A ) (~A ~A )
4
2
2
4
(2.5.65)
y la corriente conservada de isospn es

~
J
= J~0 + J~1 = ~F ~A + g(~A ~A ) ~A
(2.5.66)
= ~f ~A
(2.5.67)
que se escribe
~
J
donde
~f = ~
F g(~A ~A ).
(2.5.68)
la corriente es formalmente
Notamos que con esta ultima
definicion
igual a (2.5.60) solo que en vez de F se tiene f . Es interesante que
es formalmente el mismo que (2.5.58). En
el lagrangiano (2.5.65) tambien
ver que
efecto, es facil
1
M2 ~ ~
A A
L = ~f ~f +
4
2
(2.5.69)
de campo proveniente de L y deProblema: Encontrar la ecuacion
mostrar que la corriente isotopica

conservada (2.4.41) coincide con (2.5.67).
de campo es de la forma (2.5.61) solo que aparece f
La ecuacion
es antisimetrico
en lugar de F . Puesto que f tambien

y puesto que
conservada, entonces al aplicar a la
la corriente es por construccion
de campo se dedece que
ecuacion
~A, = 0
(2.5.70)
tal como en el caso libre (visto en (1.4.62)).

Ahora debemos completar el programa de Yang y Mills escribiendo los
de con los piones y nucleones. La idea es que la

terminos
de interaccion
ecuacion debe seguir siendo de la forma
~f, = M 2~A g J~
(2.5.71)
Postgrado de Fsica
Patricio Cordero S.
56
de 1988
version
solo que ahora J~ debe ser la corriente isotopica

conservada debido tan como a los piones y nucleones. Lo obvio es introducir en
to al meson
g J~0 ~A y gN J~ A donde
el lagrangiano, junto a L y LN terminos
dadas por (2.4.42) y (2.4.43). La corriente N J~ no
estas corrientes estan
nos acarrea ningun

problema, pero la corriente J~0 , como se aprecia en
(2.4.42), tiene derivadas del campo ~ del pion, de modo que al agregar
de la corriente isotopica
este termino
al lagrangiano la expresion
debida al
pion cambia deduciendose

que el termino
extra es,
~
J
1
= g(~ ~A ) ~
(2.5.72)
que exige en el lagrangiano el correspondiente termino

g J~1 ~A con lo
que se tiene finalmente el lagrangiano
g
~ ~ ~A
L = L + LM + L ~N~A ~ N + g
h
i2
2 ~
~
~
g ( A ) ~A + ig N 5~ ~ N
(2.5.73)
definidos en (2.4.39),
donde los tres primeros terminos
en (26.16) estan
(2.4.40) y (2.5.69). De modo se ha podido ilustrar como

a partir de primeros
principios y el conocimiento experimental de que gNN = g se determi es el lagrangiano del sistema total. Esta
na en forma bastante rgida cual
de un lagrangiano ha conducido a formular una
extraordinaria deduccion
general, la que bosquejamos en la seccion
que sigue.
filosofa mas
~
El acoplamiento de con , N y es de la forma J ~A con
J = J +N J + J
viendose
as que es un acoplamiento universal.
2.6.
Campos de medida, de gauge o de Yang-Mills.
La forma como el campo electromagnetico

fue introducido en 2.1 puede
ser generalizada al caso en que hay invariancia del Lagrangiano con re
specto a un grupo de Lie de varios parametros.
Supongamos que se tiene una teora dada por
L0 = L0 (A, )
(2.6.74)
que es invariante bajo un grupo de transformaciones globales V0

= V0
2.6. CAMPOS DE MEDIDA, DE GAUGE O DE YANG-MILLS.
(2.6.75)

Teora Cuantica
de Campos
57
esto es,
L0 (A A, ) = L0 (V0 )A , (V0 , A)
(2.6.76)
donde los A (A = 1, 2, 3, .....N) son cualquier tipo de campos, escalares;

espinoriales, etc. Los V0 son matrices de N N que representan al grupo
de transformaciones de gauge de primera especie, en el sentido que V0
mezcla las diferencias componentes de los campos pero sin afectar a las
coordenadas.
(2.6.75) infinitesimalmente puede escribirse
La ley de transformacion
en la forma
(2.6.77)
= (1 + i ak Gk )
o bien
= i ak Gk
(2.6.78)
donde los Gk (k = 1, 2, ...., g) son los generadores del grupo de gauge G y
particular.
los ak son los parametros
del grupo que fijan la transformacion
Como es sabido los generadores expanden un algebra

real cuyo producto
es el conmutador,
[Gi , G j ] = iCikj Gk
(suma sobre k).
(2.6.79)
detalles y propiedades,
Las constantes de estructura Cikj son reales (para mas
ver el captulo sobre algebra

de Lie del curso de grupos).
El teorema de Noether garantiza que, a causa de esta simetra de di g, existen g corrientes conservadas,
mension
Jk = 0
(2.6.80)
L A
L
(Gk )A
= i
k
A=1 A a
A=1 A
N
Jk =
(2.6.81)
de (2.6.81) se debe tomar derivada con respecto a

(antes de la obtencion
A, en lugar de A es equivalente).
Exploremos ahora la posibilidad de modificar la teora original de modo
que resulte una nueva teora localmente invariante bajo G,
(x) (x) = V (x)(x)
(2.6.82)
donde para un x fijo los V (x) satisfacen las leyes del grupo G. La dificultad
en lograr invariancia del Lagrangiano surge naturalmente de su segundo
argumento, el que no transfroma en la forma correcta, sino que,
, (x) , (x) = V (x), (x) +V, (x)
(2.6.83)
Postgrado de Fsica
Patricio Cordero S.
58
de 1988
version
El termino
que molesta es el ultimo
termino
en (2.6.83). Tal como en el
caso electromagnetico
buscamos la posibilidad de definir una derivada covariante de la forma 2

= + igA
(2.6.84)
de modo que
= V
(2.6.85)
De este modo se tiene asegurado que L0 (A , ( )A ) sea invariante bajo

el grupo local G. Al reemplazar la forma explcita (2.6.84) de la derivada
covariante en (2.6.85) se deduce que es necesario que el campo de gauge
A transforme de acuerdo con,
i
A (x) = V (x)A(x)V (x)1 + V, V 1 .
g
(2.6.86)
Evidentemente A no representa un solo campo y como se ve de (2.6.86)

transforma como una matriz de N N. La derivada covariante obliga a in
troducir tantos campos de gauge como subgrupos de un parametro
tiene
G, es decir, g campos de gauge. Por esto es conveniente escribir A en la
forma
(2.6.87)
A = Gk Ak .
infinitesimal de los Ak .
Problema: escribir la ley de transformacion
Para completar la teora debe agregarse un termino

que represente
la parte libre (energa cinetica)

de los campos de gauge. Utiyama (Phys.
Rev. 101, 1597 (1956)) ha demostrado que las variables adecuadas para
escribir el Lagrangiano libre son los F definidos por
F
o bien, Fk
= A , A , ig [A , A ] = A A
,
,
= Ak Ak + gCikj Ai Aj
(2.6.88)
Problema : Demostrar que los F transforman de acuerdo a

F
= V F V 1
(2.6.89)
Con ellos es posible construir, por ejemplo,

1
LG = Fk Fk
4
(2.6.90)
propiamente la derivada covariante tiene en general la forma + ig1 A + ig2 B +
con tantos terminos

gi como factores en los que se pueda descomponer el grupo: G =
G1 G2 x xGr .
2 Mas

Teora Cuantica
de Campos
59
o cualquier otro lagrangiano para los campos de gauge que sea invariante
bajo el grupo. El lagrangiano total sera entonces
L = L0 (A , ( A )) + LG (F ).
(2.6.91)
covariante en electrodinamica
Como ya se ha visto en la cuantizacion

no es
estrictamente necesario que LG sea invariante bajo el grupo, pero la teora
que se obtenga debe ser, en lo que a observables se refiere, invariante de
gauge.
Ya se habra observado que no han aparecido terminos

de masa para
los campos de gauge, que seran de la forma M 2~A ~A . Estos terminos

son incompatibles con la invariancia local de gauge de la teora (invariancia de gauge de segunda especie) por lo que normalmente no se agregan.
En una teora globalmente invariante como fue en el caso de la seccion
anterior no hubo problema en que tales terminos aparecieran. Esto no significa que los mesones vectoriales que describen los A de (2.6.91) sean
de masa fsica nula; existen al menos dos mecanismos que les permitiran
adquirir una masa finita. Ellos son, masa adquirida como autoenerga pu adelante) o bien, a traves
de un fenomeno
ra (que se trata mucho mas

que no estudiaremos y que se le conoce con el nombre de rompimiento
espontaneo
de la simetra.
al lagrangiano
Problema: Aplique el metodo
explicado en esta seccion
L = L + LN + L N definido en 2.4 y demuestre que se obtiene (2.5.73)
con la sola diferencia que no aparece un termino

de masa para el meson
arriba. Solo
considere las
, tal como se explica en un parrafo
de mas
transformaciones de SU (2)I .
Ya tenemos entonces que el acoplamiento electromagnetico

es del tipo
como tambien
lo es el acoplamiento
Yang-Mills descrito en esta seccion,
quedaran las interacciones
en interacciones fuertes. Solo
del meson
debiles
y las gravitacionales. Las interacciones debiles
pueden ser descritas de este mismo modo como modelos como el de Weinberg-Salam
(1967) pero que aqu no veremos. Veamos en cambio un ejemplo muy
sencillo.
Ejemplo: Los campos vectoriales hasta aqu entran como campos de
de la derivada covariante, pero ellos mismos
gauge (o Yang-Mills) a traves
de nuevos campos de gauge que copodran dar origen a la incorporacion
mo veremos, no son vectoriales - si el lagrangiano que se tenga con ciertos
A y B de gauge ya introducidos deja invariante los productos A B . Tales
Postgrado de Fsica
60
Patricio Cordero S.
de 1988
version
transformaciones - por el momento globales - podran ser

A
B
de modo que en efecto,
= W A
= (W 1 ) B
A B = A B .
(2.6.92)
(2.6.93)
Tal invariancia se cumple con cualquier matriz W real de 4 4, o sea que
este grupo de invariancia es el grupo GL(4,R) de 16 parametros.

Como
generadores de este grupo pueden ecogerse las matrices G cuyos elementos de matriz son
(2.6.94)
(G ) = i
y los campos de gauge que se introducen al imponer simetra local son los
= G
(2.6.95)
analoga
en notacion
a (2.6.87), lo que representan 4 16 = 64 grados de
libertad. Si el grupo fuese de 10 parametros,

como es el caso del grupo
entonces los tendran que representar solo
4 10 = 40
de Poincare,
se logra si se exige que
componentes independientes, lo que tambien
Problema: Demostrar que Fk definido en (2.6.88) y que aqu po

dra denotarse por R coincide formalmente con el tensor de Riemann
Christofel. Previo debe deducirse las constantes de estructura de algebra
de los G dados explcitamente en (2.6.88).
Las transformaciones (2.6.93) al hacerse locales pueden ser identificadas con
x
x
1
WV =
(W
)
=
(2.6.96)
x
x
que es el grupo de trnsformaciones generales de coordenadas utilizado en
relatividad general.
Captulo 3
Teora de Perturbaciones
3.1.
En el cuadro de interaccion
Hasta ahora hemos trabajado en el cuadro de Heisenberg, en el que

se cumple (1.2.4) y las ecuaciones de campo pueden ser reemplazadas
mas
las ecuaciones de evolucion
de
por las relaciones de conmutacion
Heisenberg,
i (x) = [ (x), H] ,
(3.1.1)
como fue ilustrado en el primer problema en (1.4.1).
En forma integrada ellas son un caso particular de (1.2.3),
(~x, 0) = eiHt (~x,t)eiHt
(3.1.2)
Los vectores de estado |ai en este cuadro son independientes del tiempo.
Definimos operadores de campo en el cuadro de Schrodinger

por
s (~x) = eiHt (x)eiHt
(3.1.3)
y los correspondientes vectores de estado son,

|a;t >s = eiHt |a > .
(3.1.4)
De este modo los campos son independientes del tiempo, mientras los
de Schrodinger
estados evolucionan en el tiempo de acuerdo a la ecuacion

it |a;tis = H |a;tis .
(3.1.5)
Evidentemente el Hamiltoniano en ambos cuadros es el mismo puesto que

H no depende del tiempo y H s = H(t = 0).
61
Patricio Cordero S.
62
de 1988
version
conveniente resulta trabajar en el cuadro de interaccion,

donde
Mas
tanto los campos como los vectores de estado dependen del tiempo,
int (~x,t) = U (t) (~x,t)U 1 (t) = eiH0 (0)t s (~x)eiH0 (0)t
(3.1.6)
|a;ti = U (t) |ai = eiH0 (0)t |a;tis

donde
U (t) = eiH0 (0)teiHt = (U (t))1 .
(3.1.7)
En lo anterior H0 denota el Hamiltoniano libre, esto es, el Hamiltoniano total
menos el Hamiltoniano de interaccion,

H0 (t) = H HIH (t).
(3.1.8)
Puesto que H no conmuta en general con sus partes H0 y HI entonces
estos
tienen - debido a (3.1.1), una dependencia no tivial en el tiempo. Pero
estos operadores satisfacen (3.1.2) entonces
H0 (t = 0) = H0s = eiHt H0 (t)eiHt .
(3.1.9)
en el cuadro de interaccion
Denotaremos por HI (t) al termino

de interaccion
s
HI (t) = U (t)(H H0 (t))U 1 (t) = eiH0 t (H H0s)eiH0 t .
(3.1.10)
de evolucion
de los vectores de estado en este
Veamos ahora la ecuacion
cuadro.
it |a;ti =
=
=
=
it (eiH0 t eiHt ) |ai

s
s
s
eiH0 t(H0s H)(eiH0 teiH0 t )eiHt |ai
HI (t)U (t) |ai
HI (t) |a;ti
s
(3.1.11)
De donde se ve que la dependencia temporal de los estados esta deter en el cuadro de interaccion.
Por
minado por el Hamiltoniano de interaccion
otro lado la dependencia temporal de los operadores esta determinado por
de
el Hamiltoniano libre H0s = H0int . En efecto, aplicando it a la expresion
int dada en (3.1.6) se obtiene directamente que

i int (x) = int (x), H0s .
(3.1.12)
entre cualesquiera dos cuadros es a traves
Ahora, puesto que la conexion

unitaria, entonces las RCC son las mismas para tode una transformacion
el hecho que los campos en el cuadro de interdos los campos. Esto, mas
satisfacen una ecuacion
de Heisenberg (3.1.12) con el Hamiltoniano
accion
3.1. EN EL CUADRO DE INTERACCION

Teora Cuantica
de Campos
63
libre en este cuadro, implica que los campos en el cuadro de interaccion

son campos libres.
debe entenderse
Todo lo dicho hasta aqu para los campos tambien
validos
para los campos conjugados canonicos,
.
la correspondiente relacion
Problema: Demostrar que (3.1.12) mas

RCC, mas
la expresion
(1.2.5) para el Hamiltoniano libre impara , mas
de Klein Gordon.
plican que satisface la ecuacion
3.2.
El operador de desplazamiento temporal U(t,t ).
es materia de un
Practicamente
todo lo que se vera en esta seccion
curso inicial de mecanica

cuantica.
El operador U (t,t ) se define de modo que

|a;ti = U (t,t ) a;t .
(3.2.13)
U (t,t ) = U (t)U 1 (t ).
(3.2.14)
Recordando que |a;ti = U (t) |ai es elemental deducir que
Propiedades de este operador son

a) U (t,t) = 1
b) U (t,t )U (t ,t )
c) U (t,t )U (t ,t) = 1
d) U 1 (t,t ) = U (t,t )
se deduce una ecuacion
diferencial para este operador a partir
Ademas
de (3.1.11),
(3.2.15)
it U (t)|a >= HI (t)U (t)|a >
que vale para todo estado |ai, por lo que puede considerarse como una
igualdad entre operadores. Una vez escrita esa igualdad entre operadores,
esta
puede ser multiplicada por U 1 (t ) obteniendose
it U (t,t ) = HI (t)U (t,t )
(3.2.16)
Postgrado de Fsica
Patricio Cordero S.
64
de 1988
version
diferencia para el operador de desplazamiento se le agreA esta ecuacion

de borde su propiedad,
ga como condicion
U (t,t) = 1
(3.2.17)
integral para U equivalente a (??),

con lo que podemos escribir la ecuacion
U (t,t ) = 1 i
Z t
t
dt1 HI (t1 )U (t1 ,t ).
(3.2.18)
se integra obteniendose
Por iteraccion
(i)n
U (t,t ) = 1 +
n=1 n!
Z t
t
dt1
Z t
t
dtn (HI (t1 ) HI (tn ))
(3.2.19)
donde el operador T es el producto ordenado temporalmente en la forma

como un .exponencial,
usual. Se acostumbra a describir esta expresion

Zt
2
HI (t)dt
(3.2.20)
U (t2 ,t1 ) = T exp i
t1
con los que nosotros

y, recordando que los Hamiltonianos de interaccion
estaremos tratando provienen de una densidad Hamiltoniana de interac entonces
cion,
Z Z

3
U (t2 ,t1 ) = T exp i dt d xHI (x) .
(3.2.21)
temporal T HI (t1 ) HI (tn ) es invariante
Hacemos notar que la ordenacion
ya que

HI (x), HI (x ) = 0
para
(x x )2 < 0.
(3.2.22)
dinamica
Estaremos particularmente interesados en la evolucion

de nuestros estados desde el remoto pasado hasta el remoto futuro bajo la su que la interaccion
efectiva solo toma lugar durante un lapso finiposicion
to. Esto es lo que se denomina un proceso de choque y desparramo. Tal
formalmente se escribe,
evolucion
|a; +i = U (+, ) |a; i = S |a; i .
(3.2.23)
Este operador S as definido es el llamado operador de scattering. Para cal en un proceso de scattering
cular amplitudes de probabilidad de transicion
adiabatica.
introduciremos la llamada condicion

Se supone que los estados
en el remoto pasado y en remoto futuro pueden identificarse con estados
3.2. EL OPERADOR DE DESPLAZAMIENTO TEMPORAL U (T, T ).

Teora Cuantica
de Campos
65
libres, es decir, con autoestados del Hamiltoniano libre H0s . De modo que
la amplitud de probabilidad que un estado inicial (t = ), |a), autovector
de un proceso de colision(de
en el
de H0s devenga despues
interaccion)
s
estado |b), autovector de H0 para t = + es
Sba = (b| S |a)
(3.2.24)
(3.2.25)
donde S esta dado por,

S = Texp(i
d 4 xHI (x))
Es necesario hacer aqu algunos comentarios. Al usar directamente los

autoestados de un Hamiltoniano libre para calcular los elementos de matriz de S traera ciertos problemas, ya que tales estados corresponden a
no estan
localizadas. Ademas
los esondas planas, las que por definicion
tados de ondas planas son no-normalizables. Lo correcto sera usar pa
quetes de ondas, pero eso complica los calculos
sin aportar nada fsicamente interesante. Una vez manejados los infinitos que acarrean las on facil
trabajar con ellas. Otro punto sobre el que
das planas, es mucho mas
que nos impone la condicion
adiabatica.
debe comentarse es la restriccion
Al haber reemplazado los estados asintoticos

|a; i por autovectores del
Hamiltoniano libre hemos automaticamente

suprimido la posibilidad de describir procesos con estados ligados porque si bien el Hamiltoniano total puede tener autoestados que corresponden a estados ligados esto no
puede ocurrir con el Hamiltoniano libre.
Todo lo que se ha hecho en las dos ultimas
secciones depende de
del Hamiltoniano total en una parte libre y otra de interacla separacion
Esto se hizo en (3.1.8) sin comentarios. Esta separacion,
sin emcion.
bargo, es un asunto muy delicado en teora cuantica

de campos. Como se
adelante, la teora implica que todas las partculas tienen autoenvera mas
ergas provenientes de autointeracciones y esto tiene por efecto modificar
la masa de las partculas llegandose

as al problema de resolver si la parte
libre es realmente libre, si, por ejemplo, el termino

de masa corresponde
En esta primera parte del curso se
a la parte libre o a la de interaccion.
mas
ingenua (3.1.8), lo que nos permitira ganar sufihara la separacion
mas
profunda
ciente experiencia como para luego entrar en la discusion
(3.1.8). Tal discusion
profunda se llama teora de renorde la separacion
malizacion.
Postgrado de Fsica
Patricio Cordero S.
66
3.3.
de 1988
version
Teorema de Wick.
Como se ha visto, el operador de scattering S, dado por (3.2.25), se

expande en una suma de productos temporales del tipo
T HI (x1 )HI (x2 ) HI (xn ).
(3.3.26)
a escribir productos temporales de campos

El teorema de Wick nos ensena
como suma de ciertos productos normales de los mismos campos. Con
esto se podra expandir al operador S en suma de productos normales, lo
que facilita enormemente el calculo

de sus elementos de matriz. Veamos
primero el caso del producto temporal de dos campos arbitrarios,
T (1 (x1 )2 (x2 )) = T (1+ + 1 )(2+ + 2)
= 1+ 2+ + T 1+ 2 + T 1 2+ + 1 2
(3.3.27)
pero 1

T 1+ 2 = 12 1+ 2 21 2 1+ = 12 1+ , 2 2 1+
(3.3.28)
y similarmente

T 1 2+ = 1 2+ 21 1 , 2+ .
(3.3.29)
De donde se obtiene que

T (1 2 ) = : 1 2 : +12 1+ , 2 21 , 2+
= : 1 2 : + < 0|T (1 2 )|0 >
(3.3.30)
independiente de si los campos son bosonicos

o fermionicos.
En adelante
usaremos la notacion
(x1 ) (x2 ) < 0|T (x1 ) (x2 )|0 >:
(contraccion)
(3.3.31)
y en general, se debe entender que

: 1 2 n p q z := 2 p n q : 1 z :
(3.3.32)
donde el se determina segun

cuantas trasposiciones de campos fer
mionicos
fueron necesarias para ubicar a los campos 2 p etc. fuera del
producto normal.
12 debe entenderse (x1 x2 ). Ademas los signos superiores valen si se trata de campos
bosonicos y los inferiores si los campos son fermionicos.
1 Por
3.3. TEOREMA DE WICK.

Teora Cuantica
de Campos
67
Teorema de Wick: El producto temporal de n campos es igual al pro la suma de los productos normales
ducto normal de estos campos, mas
entre cualesquiera dos de los camdonde se ha hecho una contraccion
la suma de los productos normales con dos contracciones entre
pos, mas
cualesquiera dos parejas de campos etc.:
T 1 2 3 n = :
+
+
+
1 /n :+
1 2 3 n : + : 1 2 3 n : + + : 1 n1 n : +
: 1 2 3 4 n : +
..
.
(3.3.33)
+ suma
= producto normal + suma productos normales con una contraccion
productos normales con dos contracciones + hasta agotar las posibles
contracciones.
En el caso de tres campos, por ejemplo,
T 1 2 3 =: 1 2 3 : + : 1 2 3 : + : 1 2 3 : + : 1 2 3 :
(3.3.34)
Notemos que las unicas
contracciones no nulas son aquellas que se hacen

entre un campo y su conjugado de carga, esto es, entre y para un
campo de Dirac, entre A y A cuando se trata de un campo vectorial real
es un valor de espectacion
en el
etc. Esto es as porque la contraccion
vaco (VEV) y para que sea no nulo un campo debe destruir lo que el otro
campo ha creado.
3.4.
La matriz S en electrodinamica.
y algunas de las que siguen se analiza la matriz de

En esta seccion
general (29.12). La exscattering de electrodinamica

segun
la expresion
del Hamiltoniano de interaccion
en este caso es
presion
HI (x) = e : (x)A(x) (x) : .
(3.4.35)
y
Debe tenerse calro que estamos trabajando en el cuadro de interaccion
por lo tanto estos campos son libres.
Expandiendo S hasta el termino

de orden e2 se obtiene,
S = 1 ie
d 4 xT ( (x)A(x) (x))
e2
2!
d4x
d 4 yT (( (x)((A(x) (x))( (y)(A(y) (y))) +
(3.4.36)
Postgrado de Fsica
Patricio Cordero S.
68
de 1988
version
Terminos
a los que denotaremos S(0) = 1, S(1) , S(2) y que analizaremos
haciendo uso del teorema de Wick.
Veamos primero que el termino

de primer orden es simplemente
s(1) = ie
d 4 x : (x)A(x) (x) :
(3.4.37)
ya que este
y no hay termino
con contraccion
es nulo. En efecto,
: (x) (x) :=< 0|T : (x) (x) : |0 >= SF (0) = 0
(3.4.38)
ya que de (17.8a) con x = 0 se ve que la parte del integrando proporcional
a 6 p es identicamente
nula por razones de simetra y la parte proporcional a
m si bien es divergente, es proporcional y entonces Tr = 0 da (31.4).
Este resultado tiene implicaciones sobre todo lo que sigue, ya que mues
tra que las contracciones en terminos
superiores de (31.2) entre (x) y
obvio
(x) con el mismo argumento x son identicamente
nulas. Es ademas
entre dos campos de distinto tipo tambien
es identica
que una contraccion
mente nula, como se explico al final de # 30.
Con lo anterior podemos estar seguros que los terminos

que contribuyen
(2)
a la Wick son,
a S en una expansion
S(2) =
e2
2!
d4x

d 4 y : ( 6 A )x ( 6 A )y : + : ( 6 A )x ( 6 A )y : + : ( 6 A )x ( 6 A)y +
+:
+:
+:
( 6 A )x ( 6 A )y : + : ( 6 A )x ( 6 A )y :
( 6 A)x ( 6 A )y :
( 6 A )x ( 6 A )y + : ( 6 A )x ( 6 A )y :
(3.4.39)
Las unicas
contracciones que aparecen son

< 0|T (x) (y)|0 >= iSF (x y)
< 0|TA (x)A (y)|0 >= iDF (x y).
(3.4.40)
(3.4.41)
Cada uno de los terminos

en (31.5) son productos normales lo que nos
permite hacer ciertas afirmaciones generales sobre cuales

de ellos con
tribuyen en el calculo
de elementos de matriz dados del operador S. En el
calculo
de (b|S|a) sea Na el numero
de fermiones (electrones + positrones)

en el estado |a) y Nb en numero
de fermiones en el estado |b) y N = Na + Nb ;

a este elemento de mariz aquellos productos norentonces contribuiran
de S que tenga a lo mas
N campos de Dirac no
males de la expansion
3.4. LA MATRIZ S EN ELECTRODINAMICA.

Teora Cuantica
de Campos
69
de N entonces cada producto normal

contrados. En efecto, si hay mas
a la izquierda (y que aniquilan hacia ese lado) y N2
tendra N1 de creacion
a la derecha (idem) lo que da cero, puesto que
productos de destruccion
necesariamente N1 > Na o N2 > Nb : Igual razonamiento puede hacerse para
En
fotones o en otras teoras para cualquier otro tipo de campos tambien.
general se tiene que:
En el calculo
de elementos de matriz del operador S solo contribuyen
tantos campos no conaquellos productos normales que tienen a lo mas
trados como cuantos de ese mismo tipo haya en total entre los estados
inicial y final.
adicional. Puesto que
Para el caso de los fotones existe una restriccion
se trata de partculas de paridad negativa, la diferencia de numero
de fo
tones entre los estados |a) y |b) debe ser par y en electrodinamica
entonces
solo pueden contribuir los terminos

de orden para de S : S(0) , S(2) , S(4) ,
diagramatica
Ahora definiremos una notacion

para representar productos normales como aquellos que aparecen en (31.5). Primero asociamos
una flecha de izquierda a derecha (sentido del tiempo) y a
a un electron
una flecha en el sentido contrario. Aquella parte del campo de
un positron
le asociamos una lnea que nace
Dirac que tiene operadores de creacion
en un punto x (argumento del campo) y se prolonga hacia la derecha (sen o un
tido del tiempo) con una flecha que indica si se trata de un electron
Al reves,
el punto x se ubica en el extremo derecho si se trata de
positron.
una parte de destruccion:
() (x) : x e+ (crea)
(+) (x) : x e (destr.)
(x)
(3.4.42)
() (x) : x e (crea)
(+) (x) : x e+ (destr.)
(x)
(3.4.43)
()
A (x) : x (crea)
(+)
A (x) : x (destr.)
(3.4.44)
: x y
< 0|T (x) (y)|0 >
< 0|TA (x)A (y)|0 > : 0 >: x y
(3.4.45)
y consistentemente
Entonces los terminos

de (31.5) son
Postgrado de Fsica
Patricio Cordero S.
70
de 1988
version
Si unimos ahora el criterio enunciado en (31.7) con los diagramas (31.10)
vemos que solo contribuyen a los elementos de matriz de S aquellos terminos correspondientes a diagramas cuyas lneas externas(campos no contrados) puedan tener asociadas partculas de los estados inicial o final.
As, por ejemplo, al scattering e e e e contribuyen el termino

segun
do en (31.10), pero no contribuyen los terminos

1 , 3 , 4 y 7 . Los terminos
5 y 6 scontribuyen, pero lo hacen para modificar la autoenerga del elec y no para tomar parte en la interaccion
entre los dos electrones. Los
tron
discutidos mas
adelante.
diagramas sin lneas externas, como el 8 , seran
Tampoco tomaremos en cuenta por el momento los diagramas de auten
erga ya que ellos corresponden a un captulo sobre renormalizacion.
3.5.
Scattering Compton.
calcularemos la amplitud de probabilidad de transicion
En esta seccion
con
para el scattering elastico

e . En el estado inicial se tiene un electron
con momento ~k y polarizacion
. El estamomento ~p y spn s y un foton
do final esta similarmente caracterizado con variables prima queremos
calcular
(~k , ;~p , s |S|~k, ;~p, s) = (|1 + S(2) + |)
(3.5.46)
2
= (3) (~k ~k )ss (3) (~p ~p ) + (|S(2) |) +
(3.5.47)
Ta
Definimos el operador hermtico amplitud de probabilidad de transicion
de
traves
S = 1 iT
(3.5.48)
con lo que podemos escribir
i(|T (2) |) =
e2
2
d4x
d 4 y(| : ( 6 A )x ( 6 A )y : + : ( 6 A )x ( 6 A )y : |)
(3.5.49)
intercambiando el nombre de las variables mudas x, y en el segundo termi trasponiendo el orden de los dos parentesis
no y ademas
se obtiene que
primero y segundo termino

son iguales, por lo que podemos escribir
= e2
3.5. SCATTERING COMPTON.
d4x
d 4 y(| : () 6 A )x ( 6 A (+) )y : |)
(3.5.50)

Teora Cuantica
de Campos
71
se ha senalado
contribuyen aquellas partes

Ademas
explcitamente que solo
(creacion
y dede los campos de Dirac no contrados relativas al electron
ya que las partes correspondientes al positron
no contribuyen
struccion)
por razones analogas

a aquellas que permitieron deducir (31.7). El proxi
mo paso en nuestro calculo
consiste en expandir los campos en ondas
planas en la forma usual ya vista en el Captulo II. Se obtiene,
i(|T (2) |) = e2 d 4 x
d4y
d 3 p1
d 3 p2
d 3 k1
d 3 k2 (| : b+
p2 )a2 n2 (~k2 )a1 m1 (~k1 )bs1 (~p1 : |)x
s2 (~
(3.5.51)
s1 s2
n1 n2
1 2
(3.5.52)
f~n2 (x) f~n1 (y)e2 (~k2 )e1 (~k1 ) f~p2 + s2 (x) iSF (x y) f~p+s1 : (y)
k2
k1
(3.5.53)
y otro de
Es claro que los operadores a n deben ser uno de creacion
destruccion, de modo que solo hay contribucion con n1 = n n2 . Las dos
posibilidades n1 = 1 dan origen a dos terminos

una vez que se calcula
de los operadores de creacion
y destruccion
sobre los estados
la accon
inicial y final. Luego se puede hacer trivialmente las cuatro integrales de
todas
momento debido a las deltas de Dirac que han aparecido y tambien
las sumas pueden hacerse, obteniendose,
= e2 d 4 x
(x) iSF (x y) f~p+s (y)+ (3.5.54)

d 4 y f~ (x) f~+ (y)e (~k e (~k) f~+s
+s
+ f~+ (x) f~ (y)e (~
(x)
k)e (~k )bar f~+s
iS
(x
y)
f
(y)
F
~p
(3.5.55)
Ahora se hace uso explcito de la forma integral (17.8) para el propa
gador fermionico
para poder calcular las integrales sobre x, y obteniendose
= e2
d 4 q e (~k )e (~k) 6 (4) (k + p q) 6 (4) (q k p)us (~p )
+ 6 (4) (p k q) 6 (4) (k + q p)us (~p )
(2 )6
i
us (~p)+
6 q m + i

i
m
p
us (~p)
6 q m + i
(2 )6 4~k ~k ~p p
m
6 p(4) (p + k p k )M(k , p s ; k , ps)
4~k ~k p p
(3.5.56)
Postgrado de Fsica
Patricio Cordero S.
72
de 1988
version
donde la llamada amplitud invariante de Feynman es

i
i
M( ; ) = e2 u 6 e
6 e + 6 e
6
e
u
6 p+ 6 k m + i
6 p 6 k m + i
(3.5.57)
Arriba se ha usado la notacion
u = us (~p ), 6 e = e
etc.
(3.5.58)
Es posible simplificar algo lo anterior pasando los factores 6 e o 6 e que estan

al lado derecho hacia el lado izquierdo,
6 p+ 6 k m
6 p+ 6 k + m
i
6 e u(~p) = i 6 e
u(~p) =
6 e u(~p) = i
2
2
6 p+ 6 k m + i
(p + k) m
(p + k)2 m2
(3.5.59)
= i 6 e
6k
u(~p)
(p + k)2 m2
(3.5.60)
donde se ha utilizado que (6 p+ 6 k) 6 e = 6 e (6 p+ 6 k). En general habra
un termino
extra al lado derecho 2e (p + k ) pero e k = 0 para = 1, 2 y
e p = 0 en el sistema en referencia que p = (m, 0)

similar puede demostrarse para el segundo termino
Una permutacion
y
entonces la amplitud invariante de Feynman puede escribirse,
M( ; ) =
e2 u 6 e

i 6 k
i 6 k
u.
+
6
e
6
e
6e
(p + k)2 m2 + i
(p k )2 m2 + i
(3.5.61)
son
Los denominadores de los propagadores ademas
(p + k)2 m2 = 2pk
(3.5.62)
(p k )2 m2 = 2pk
(3.5.63)
y
puesto que p2 y k2 = 0.
Problema 32.1: Calcular a segundo orden (k |iT |k ) sin calcular la
ultima
integral de momento que se obtiene. Discutir su convergencia.
Probleam 32.2: Hacer con todo detalle los calculos

de esta seccion.
3.5. SCATTERING COMPTON.

Teora Cuantica
de Campos
3.6.
73
Reglas de Feynman y el scattering Moller.
La forma usual de calcular los elementos de matriz de iT de orden n
consiste en dibujar todos los diagramas de Feynman posibles de n vertices

que tengan como lneas externas al lado izquierdo las que correspondan a
las partculas presentes en el estado inicial y que tengan como lneas externas al lado derecho las que corresponden al estado final y luego asociar
a cada uno de estos diagramas expresiones como los terminos

en (32.5)
abajo. Cada una de las
usando las reglas de Feynman que se detallan mas
lneas de los diagramas debe tener asociado un cuadrimomento, ademas

y los vertices
las lneas externas tienen un ndice de spin o de polarizacion

tienen cada uno un ndice relativista.
detallamos los factores que entran en la expresion
corA continuacion
respondiente a un diagramade Feynman por cada una de sus lneas y
vertices.
completa correspondiente a un diagrama se
Para escribir la expresion
sigue el orden de las lneas fermionicas

en el sentido inverso a las flechas
de un extremo al otro lado de cada una de las lneas.
p = (p2 + m2 )1/2
(3.6.64)
k = |~k|
(3.6.65)
Los son aquellos ya mencionados de los vertices.

Problema 33.1: Obtener las reglas de Feynman con el lagrangiano
(23.1).
de interaccion
calculemos la amplitud de scattering Moller (e +
Como una ilustracion
e e + e ). No es difcil imaginarse que los diagramas que intervienen
a segundo orden son
p1 s1 q1 s1
p1 s1 q2 s2
(3.6.66)
p2 s2 q2 s2
p2 s2 q1 s1
(3.6.67)
El signo relativo menos se debe a que ellos difieren en el orden relativo de

para el elemento de matriz de iT
los dos electrones finales. La expresion
es
Z
i
(q1 s1 q2 s2 |iT |p1 s1 p2 s2 ) = e2 d 4 k 2
u 2 u2 u 1 u1 6 4 (q2 p2 k) 6 4 (k p1 + q1 )
k + i
(3.6.68)
Postgrado de Fsica
Patricio Cordero S.
74
de 1988
version
Calculo de
i 6 (4) (pi p f )M
Calculo de
i( |T |)
Lneas Externas
p
~us (p)
vs (p)
us (p)
~vs (p)
(m/2pi)3 p
e (~k)
VERTICES:
ie 6 (4)
R 4
d q
(2 )3 2~k
1/2
(cons. de mom.)
Lneas Internas (Propagadores)

i
6q m+i
ig d 4 k
R
(k2 + i )1
Lneas Fermionicas Cerradas
R
Tr
i
i
6q1 m 1 6q2m c
Cuadro 3.1: aqui falta
3.6. REGLAS DE FEYNMAN Y EL SCATTERING MOLLER.
d 4 q1 dqn

Teora Cuantica
de Campos

u 2 u1 u 1 u2 6 p4 (q2 p1 k) 6 4 (k p2 + q1 )
75
m2
(2 )6 (1 2 1 2 )1/2
(3.6.69)
que integrando sobre k se reduce a
m2
6 (4) (p1 + p2 q1 q2 )M(q1 s1 , q2 s2 ; p1 , p2 s2 ) (3.6.70)
(2 )6 (1 2 1 2 )1/2
donde

u 1 u1 u 2 u2 u 2 u1 u 1 u2
M = ie
(p1 q1 )2 + i (p1 q2 )2 + i
2
(3.6.71)
Problema 33.2: Dibujar todos los diagramas conexos correspondientes al scattering Moller en el cuarto orden, separando aquellos que
tienen contribuciones de autoenerga.
electrodinami
Problema 33.3: Modificar el Hamiltonano de interaccion
la interaccion
electrodinamica
co para incluir tambien

de los protones. Dibu proton.
jar los diagramas de cuarto orden del scattering electron

Problema 33.4: En base a las reglas de Feynman calcular el elemen electron-positr
con la
to de matriz de iT correspodiente a la aniquilacion
on
de dos fotones. El calculo
produccion
es solo hasta el segundo orden.
33.5: Deducir la amplitud de Moller sin usar las reglas de Feynman.
3.6.1.
eficaz y razon
de decaimiento.
Seccion
A partir de un elemento de matriz general del operador T se puede

definir la amplitud invariante de Feynman por medio de
Tba = (b|T |a) = (itiF )(itiB ) Mba 6 (4) (Pa Pb )
(3.6.72)
donde
tiB = ((2 )3 2i )1/2
tiF = (m/(2 )3 i )1/2
(3.6.73)
y los productos abarcan a todas las partculas externas: bosones y fermiones

(el caso de fermiones de masa nula, neutrinos, debe tratarse aparte).
por unidad de volumen y de tiempo debe
La probabilidad de transicion
2
calcularse como |Tba | /V T donde V y T son el volumen y tiempo totales
Postgrado de Fsica
Patricio Cordero S.
76
de 1988
version
(infinitos). Al calcular el cuadrado de Tba se tiene el cuadrado de una delta

de Dirac, lo que en genral no tiene sentido, pero aquinterpretamos como
sigue,
6 (4) (p) 6 (4) (p) =6 (4) (0)
(3.6.74)
y ademas
6
(4)
(0) = limP0
iPx
d xe
d 4 x = V T ()
(3.6.75)
por unidad de
De aquresulta entonces que la probabilidad de transicion
volumen y tiempo es
(itiF )2 (itiB )2 6 (4) (Pa Pb )|Mba |2
(3.6.76)
que ahora tiene perfecto sentido.

expresion
eficaz para el
A partir de aques posible definir en particular la seccion
la razon
de
caso en que el estado inicial conste de dos partculas y tambien
decaimiento de una partcula inestable (estado inicial con una sola partcu
la). No veremos el detalle de como
se llega a justificar estas expresiones.
eficaz diferencial del proceso p1 + p2 p3 + p4 + + pN es
La seccion
d = (2 )6 v1 d 3 p3 d 3 p4 d 3 pN (tiF )2 (tiB )2 |Mba |2 6 (4) (Pa pb )
(3.6.77)
donde v es la velocidad relativa.entre las partculas incidentes

v = ((p1 p2 )2 m21 m22 )1/2 /1 2
con ~p1 /~p2
(3.6.78)
Si escribimos ~p1 = ~p2 entonces v puede escribirse en la forma

v = p1 |2 a1 |/1 2
(3.6.79)
En particular si a = 0 entonces
v = p1 /i (sist. de lab.)
(3.6.80)
v = 1 (sist. lab. con m1 = 0)
(3.6.81)
y si se trata del sistema centro de momento (c.m.) entonces a = 1 y

v = (1 + 2 )p1 /1 2 . (c.m.)
(3.6.82)
diferencial d /d se debe integrar sobre todos

Para calcular una seccion
los momentos finales excepto uno de ellos delque solo se integra su modu
lo, es decir, de la descomposicion
d 3 p = p2 d p d
(3.6.83)

Teora Cuantica
de Campos
77
el
se integra solo d p mientras d se pasa dividiendo al otro lado. Ademas
2
factor |Mba | debe entenderse como la suma de los modulos

cuadrados de
de spin y polarizaciones finales y coamplitudes con diferentes orientacion
mo el promedio sobre el valor inicial de estas miismas variables discretas.
Estas sumas y promedios se hacen solo sobre aquellas variables que no
observando en el experimento; las otras quedan fijas. Por ejemplo
se estan
ahora ilustraremos el uso de (34.3) para los scattering Compton y Moller
del foton
pero
y en el primero dejaremos fijos los ndices de polarizacion
en ambos procesos promediaremos sobre los espines de los electrones
iniciales y sumaremos sobre los espines de los electrones finales.
En el caso de un decaimiento espontaneo,

el estado inicial consta solo
de la partcula inestable, la cual decae en N 1 partculas que aparecen
de la seccion
eficaz
en el estado final. En forma anaaloga
a la definicion
se define el recproco de la vida media:
=
= (2 )
d p2
d 3 pN (tiF )2 (tiB )2 |Mba |2 6 (4) (pi p f ) (3.6.84)
de un modo de decaimiento se definen vidas medias parSi existe mas

ciales.
Problema 34.1: Demostrar que la vida media del lepton e +
que se deduce a partir del Hamiltoniano de interaccion

G
I = { (1 5 ) e (1 5 ) e + hermtico conj.}
2
resulta ser
1 =
G2 m5
192 3
(3.6.85)
(3.6.86)
Este problema resultara bastante largo porque primero debe cuantizarse un campo de Dirac de masa nula (el caso de los neutrinos) y luego
misma
debe calcularse la amplitud de decaimiento a partir de la definicion
de la matriz S dada en (29.12). El valor experimental de la constante G es
G = (1, 03 0, 003)105 m2
p
(3.6.87)
donde m p es la masa del proton.
3.6.2.
eficaz diferencial en el scattering Compton.

Seccion
inicial
El calculo
lo haremos en el sistema de laboratorio del electron
directa de esta formula
por lo que v = 1 en (34.3). La aplicacion

nos da
Postgrado de Fsica
Patricio Cordero S.
78
d = (2 ) d
6
k dk
de 1988
version
d 3 p ((2 )6 4 )1 ((2 )6 m p )1 m2
1
|Mba |2 ) 6 (k+ pk p )
2
(3.6.88)
donde se ha usado la notacion
= k , = k , p = m(sist. lab.),
(3.6.89)

como ~k = y puesto que la integral sobre ~p se puede hacer
Ademas
en forma trivial, entonces podemos escribir
m
d
=
d (4 )2
d ( p )1 (E E )(
1
|Mba |)2
2
(3.6.90)
donde E y E son las energas totales inicial y final. Para hacer esta integral cambiaremos de integral sobre a integral sobre E lo cual requiere
que determinemos d /dE . Esto lo hacemos a partir de
E = + p = + (m2 + 2 + 2 2 cos )1/2
(3.6.91)
donde es el angulo
entre ~k y ~k .
Al derivar con respecto a E a ambos lados se obtiene inmediatamente
que
(3.6.92)
d /dE = p /( p + cos .
si consideramos que (p + k k )2 =
Es posible eliminar de esta expresion
m2 implica que
= m /(m + cos ).
(3.6.93)
De aqu resulta que
d /DE = p /n .
(3.6.94)
Reemplazando este resultado en (35.1) se obtiene directamente que

7 2 1
d
=
( ) ( |Mba |2 )
d (4 )2
2
(3.6.95)
Ahora el problema consiste en determinar el valor explcito del ultimo
factor en (35.2) a partir de la amplitud dada en (32.10). Lo que queremos
es calcular el modulo
cuadrado de la amplitud, promediando sobre la ori del spin inicial y sumando sobre la del final, esto es,
entacion
k=
2
1
M(p s , k ; k )
2 s,s
(3.6.96)

Teora Cuantica
de Campos
79
Veamos que muy en general esto se reduce al calculo

de una traza,
2K =
=
=
=
ss us Bus us 0 B 0 us
s
s us B+ (p)Bu

s us us (B + (p)B)
+
+
Tr(B (p)B (p ))
(3.6.97)
B = 0 B 0
donde se ha usado la notacion
Haciendo uso ahora de (32.10) y (32.11) para el caso en que pk = m
podemos escribir que
K=
donde
e4 1
Tr([] + (p)0 [] 0 + (p ))
4m2 2
(3.6.98)
[] = 6 e 6 e 6 k/ + 6 e 6 e k /
= 6 e 6 e 6 a + 2ee k/
(3.6.99)
donde a se define como
/ k /
a = kmu
(3.6.100)
que, por supuesto, no es un cuadrivector; vemos que se cumple que

a0 = 0.
(3.6.101)
a2 = ~a ~a = 2(~k ~k )/
(3.6.102)
demostrar que
Es facil
pero como, a partir de ~k ~k = ~p se deduce que

~k ~k = m + m
(3.6.103)
a2 = 2m( )/
(3.6.104)
por lo cual
de la misma forma como se obtuvo (36.6) se obtiene que
Ademas,
0 [] 0 =6 a 6 e 6 e + 2ee 6 k/
(3.6.105)
Reemplazando (35.6) y (35.10) en (35.5) se obtiene

K =
=
1 2
2
2 (e /2m) Tr{(6 e 6 e + 2ee

1 2
2
2 (e /2m) Tr(A + B +C)
6 k/ ) + (p)(6 a 6 e 6 e + 2ee 6 k/ ) + (p )}
(3.6.106)
Postgrado de Fsica
Patricio Cordero S.
80
TrA = Tr(6 e 6 e 6 a(6 p + m) 6 a 6 e 6 e (6 p + m)/4m2
de 1988
version
(3.6.107)
pero en el sistema de laboratorio 6 p anticonmuta con 6 e, 6 e y 6 a, luego

= Tr(( 6 p + m) 6 e 6 e 6 a 6 a 6 e 6 e(6 p+ 6 k 6 k + m))
= 2m( )Tr((6 p m)(6 p + k k + m))/4m2
= ( )Tr(6 p(6 k 6 k ))/2m
(3.6.108)
Similar se demuestra que

TrB = (ee )2 Tr(6 k(6 p + m) 6 k(6 p + m))/m2 2
= 8(ee )2 (1 kk /m ),
TrC = 8(kk )(ee )2 /m .
(3.6.109)
Con estos resultados se calcula que

K = (e2 /2m)2 (( )2 / + 4(ee )2 ).
(3.6.110)
para la seccion
efiEste resultado es ahora reeemplazado en la expresion
caz diferencial obtenida en (35.2), lo que nos da finalmente,
h
i
1
d
2 2
~ 2 2
2
2
~
)
(e
/2m)
{(
(
k)e
=
(
)
/
+
4
e
(
k
)
} (3.6.111)
d (4 )2
formula
que se conoce con el nombre de formula
de Klein-Nishina.
Diversos comentarios sobre el significado y lmites particulares de esta
formula
pueden ser encontrados, por ejemplo, en el libro de Muirhead, Sec.
11.1.
Problema 35.1: Deducir en detalle (35.11) a partir de (35.5).
eficaz diferen Problema 35.2: Deducir en forma analoga

la seccion
cial para
de un par electron
en dos fotones y
a) el caso de la aniquilacion
de un par electron
positron
por el choque de
b) el caso de la creacion
dos fotones.
3.6.3.
eficaz diferencial en el caso del scattering Moller.

Seccion
Hacemos uso de la formula

general (34.3) integrando sobre los momentos finales excepto que la parte angular de uno de ellos no es integrada y

Teora Cuantica
de Campos
81
sumamos sobre las posibles direcciones del spin final de ambos

ademas
electrones y promediamos sobre los spines iniciales.
d = (2 )6 v1 d
q21 dq1
d 3 q2
m4
E 2 E 2 (2 )12
K(2 )4 (4) (p1 + p2 q1 q2 )

(3.6.112)
y v en el sistema c.m., donde haremos el calculo,

vale
v = 2E p/E 2 = 2p/E;
(3.6.113)
p representa el valor comun

de los cuatro momentos externos (modulo
del
trivector), E es la energa inicial de cada uno de los electrones
E 2 = m2 + p2
(3.6.114)
E es la energa de cada uno de los electrones finales y

K=
1
s1 s2 |M|2 .
4
s1 s2
(3.6.115)
M es la amplitud de scattering Moller determinada en la Sec. 33, ec.

(33.3).
Haciendo uso de la misma tecnica

que permitio determinar (35.4) a
partir de (35.3) se obtiene que

Tr[ + (p1 ) + (q1 )]Tr[ + (p2 ) + (q2 )]
4
+ (3.6.116)
K = (e /4)
(p1 q1 )4
Tr[ + (p2 ) + (q1 )]Tr[ + (q2 ) + (p1 )]
+
(p1 q2 )4

2Tr[ + (p1 ) + (q1 ) + (p2 ) + (q2 )]
(p1 q1 )2 (p1 q2 )2
= (e4 /4[A/()4 + B/()4 + 2C/()2 ()2 ]
(3.6.117)
(3.6.118)
(3.6.119)
donde A, B y C son las respectivas cantidades en (36.5)

damos las expresiones covariantes de estas tres cantiA continuacion
la forma que ellas toman en el c.m. en funcion
de p y el
dades y tambien
Postgrado de Fsica
Patricio Cordero S.
82
de 1988
version
angulo
de scattering ,
A =
=
B =
=
C =
=
(2/m4 )(2m2 (m2 p1 q1 ) + (p1 p2 )2 + (p1 q2 )2 )

(4/m4 )(2p4 + 2p4 cos 42 + m4 + 2p2 m2 + 2m2 p2 cos )
(2/m4 )(2m2 (m2 p1 q2 ) + (p1 p2 )2 + (p1 q1 )2 )
(4/m4 )(2p4 + 2p4 sin 42 + m4 + 2m2 p2 2m2 p2 cos )
(2/m4 )(m2 (m2 p1 q1 p1 p2 p2 q2 ) + (p1 p2 )2 )
(2/m4 )(4p4 m4 ).
Arriba se ha hecho uso de las expresiones

de momento
p1 q1 = p2 q2 = E 2
p1 p2 = q1 q2 = E 2 +
p1 q2 = q1 p2 = E 2 +
ademas
(3.6.120)
de las relaciones en el centro

p2 cos
p2
p2 cos
(p1 q1 )2 = 4p2 sin 22

(p1 q2 )2 = 4p2 cos 22
(3.6.121)
(3.6.122)
con todo esto se obtiene

K=
4(E 2 + p2 )2 8E 4 4E 2 m2 m4
e4
+ p4 )
(
4p4 m4
sin4
sin2
(3.6.123)
y puesto que (36.1) implica que

d /d = [m4 /(4 E)2 ]K
(3.6.124)
eficaz diferencial para el scattering Moller es

entonces la seccion
(
1
d
e2
4(E 2 + p2 )2 8E 4 4E 2 m2 m4
+ p4 )
)cm = ( )2 2 4 (
d
4 4E p
sin4
sin2
(3.6.125)
Problema 36.1: Demostrar (36.5) - (36.9) y obtener as (36.14).

eficaz diferencial para el caso
Problema 36.2: Encontrar la seccion
+
del scattering Bhabha (e + e e + e ).
eficaz diferencial para el scatter Problema 36.3: Calcular la seccion
proton.
ing electron
3.6.4.
Sobre el problema de las autoenergas.
El hecho que los elementos de matriz del operador de scattering S entre

estados de una partcula sean diferentes de la unidad, e.g.,
S|p, s) 6= |p, s),
(3.6.126)

Teora Cuantica
de Campos
83
pareciera indicar que estos estados no son estables ya que s no es sino el

de un estado desde el remoto pasaoperador que nos da la evolucion
do hasta el remoto futuro (ver (29.10)). Es algo fundamental, para una
teora de este tipo, sin embargo, exigir que en lugar de (37.1) se tenga
una igualdad. Esto tiene que ser aspara cualquier partcula que no sufre
decaimiento, ya que al considerar el estado de una sola partcula estamos
La desigualdad en (37.1) se debe a la eximpidiendo cualquier interaccion.
de la presente
istencia de las contribuciones de autoenerga. La solucion
del proceso de renormalizacion
que veremos
paradoja sera dad a traves
adelante. Lo que veremos en el captulo sobre renormalizacion
es que
mas
es necesario redefinir la masa de las partculas absorbiendo en ellas los
terminos
de autoenerga.
el que tiene masa
Esto, sin embargo no es posible en el caso del foton
del proceso de renormalizacion,
por lo tanto debemos
nula antes y despues
discutir este caso con especial cuidado. A cualquier orden la autoenerga
es (Prob. 32.1)
del foton
(k |iM|k ) = e2 e (~k)e (~k) (k)
(3.6.127)
donde es a segundo orden esencialmente la transformada de Fourier

de
(2)
)x (
)y|0)
(3.6.128)
(x, y) = (0|T (
que esta muy relacionado a
(0|T ( j (x) j (y))|0).
(3.6.129)
Demostraremos que es necesariamente de la forma

(k) = (g k2 k k )C(k2 ),
(3.6.130)
con lo que se prueba que (37.2) es identicamente

nulo ya que k2 = 0 y
e (k)k = 0.
ademas
Con este proposito

definimos
1 (k) = (k) (0)
(3.6.131)
que obviamente tiende a cero cuando k 0. A segundo orden se tiene que

i
i
d 4 pTr( 6 pm+i
(0) =
6 pmi )
R 4
i
i
(k) =
d pTr( 6 pm+i
6 p6km+i )
(3.6.132)
Postgrado de Fsica
Patricio Cordero S.
84
de 1988
version
Al ultimo
propagador le aplicamos la identidad

(A + B)1 = A1 A1BA1 + A1 BA1BA1
(3.6.133)
(6 p m + i 6 k)1 = (6 p m + i )1 + ()1 6 k()1 +
(3.6.134)
lo que permite escribir (37.7b) en forma de una serie cuyo primer termino es (37.7a),mientras los que siguen tienen un factor p extra en el denom linealmente divergentes, mientras (37. 7a) es
inador siendo asa lo mas
cuadraticamente
divergente. Esto nos permite asegurar que la divergencia
(
cuadratica
de (k) esta toda en (0) y no en 1)(k). Puesto que
(1) (k) es un tensor, tendra necesariamente la forma
(1)
(k) = k2C(k2 )g + D(k2 )k k
(3.6.135)
Con C y D regulares para k2 = 0 para asegurar que (37.8) se anule para

k = 0. Por otro lado (0) es una constante, de modo que solo puede
tener la forma
(0) = Ag
(3.6.136)
debido a (37.3) y (37.4), que la conservacion
de la corriSe tiene ademas,
ente electrica
(invariancia de gauge), j = 0, implica que
k (k) = 0
(3.6.137)
(k) = Ag + k2C(k2 )g + D(k2 )k k
(3.6.138)
con lo que podemos escribir
proveniente de (37.10),
con la condicion,
k (A + k2C(k2 ) + k2 D(k2 )) = 0
(3.6.139)
que para k2 = 0 con k 6= 0 implica que A = 0 ( lo cual no es cierto a segundo

orden!!). y por lo tanto (37.12) implica, cuando k2 6= 0 que
C(k2 ) = D(k2 )
(3.6.140)
lo que termina de demostrar que (37.5) es cierto.

aun,
El hecho que la constante A no se anule a segundo orden y mas
corresponde a una integral divergente, reabre el problema de la estabilidad

El problema ha sido discutido con mas
cuidado por
del estado de un foton.
K. Johnson (1961), Nuclear Physics 25, 431.

Teora Cuantica
de Campos
3.6.5.
85
Transiciones vaco-vaco: < 0|S|0 >
De acuerdo a (31.7) los unicos
diagramas que contribuyen en este caso son aquellos que no poseen lneas extrenas como es el caso del ultimo
diagrama en (31.10). Estos diagramas no dependen de variable dinamica

alguna, ya que todas son integradas, por lo que ellos son simples constantes. Por esto
< 0|S|0 >= c
(3.6.141)
una vez que se han sumado todos los ordenes

en teora de pertur Hacemos notar que cada una de las contribuciones es una integral
bacion.
fsica de que el estado
divergente. Por otro lado, tenemos la condicion
de S sobre el
puede a lo
vaco debe ser estable, y por lo tanto la accion
cambiarle la fase
mas
S|0 >= ei |0 >
(3.6.142)
ya que S es un operador unitario. Esto nos permite identificar a c con este

factor de fase.
Cada vez que queramos calcular la amplitud de un cierto proceso de
por cada diagrama abierto (con lneas
scattering notaremos que apareceran
externas) una infinidad de posibilidades en que este mismo diagrama esta siendo multiplicado por alguno de los diagramas cerrados. Por ejemplo, el
A )( A )( 6 A ) da origen al diagrama (uno solo pero distermino(

conexo) que indica la figura. El mismo diagrama abierto puede aparecer
multiplicado por cualquiera de los diagramas que contribuyen en (38.1), de
tal modo que es posible sacar como factor comun
a este diagrama abierto,
el que es multiplicado por toda la serie cuya suma es exp (i ). Lo que se
ha demostrado entonces es que las partes disconexas cerradas de un dia
grama contribuyen en un cambio de fase global y ella no afecta los calculos
y de secciones eficaces.
de probabilidades de transicion
Si escribimos el operador S como S = cS entonces S es el operador en
de diagramas
cuyo calculo
de elementos de matriz se omite la inclusion
cerrados. El factor c no juega ningun
papel fsico y de ahora en adelante
sera ignorado,
S =
S
< |S|0 >
(3.6.143)
Postgrado de Fsica
Patricio Cordero S.
86
3.6.6.
de 1988
version
con un campo electromagnetico
Interaccion
externo
Consideremos el caso en que a un lagrangiano libre de Dirac se le
agrega el termino
de interaccion,
HI ext(x) = e : (x) 6 Aext (x) (x) :
(3.6.144)
(p , s |S|p, s)
(3.6.145)
que describe el acoplamiento de los electrones con un campo electro
magnetico
aplicado externamente y que por no ser una variable dinami
ca, no es un campo cuantico.
Evidentemente la presencia de un campo
externo destruye la invariancia de Poincare por lo que ya no se tendra con de momento lineal, energa y momento angular.
servacion
A diferencia del caso puramente cuantico,

el elemento de matriz
proveniente de S(1) ,
esta vez tiene una contribucion
(p , s |iT (1) p, s) = ie d 4 x(p , s | : (x) : |p, s)Aext
(x)
R 4 +s
+s
ext
= ie d x f p (x) f p (x)A (x)

R

1 { d 4 xei(pp ) xAext
= (2iem
(x)}us (p ) us
)3
R
iem
(2 )3
1
A ext (p p )us (p ) us (p)
p p
(3.6.146)
Notemos que en esta amplitud no aparece un delta de Dirac, lo cual,

se debe a la inexistencia de conservacion
del cuadricomo ya se explico,
momento. Si el campo es estatico,

por ejemplo, entonces debe haber con de la energa. Es facil
ver que esto es as ya que al no haber deservacion
pendencia en t en el campo externo la integral sobre t para obtener (39.2)
da efectivamente un delta de energa. Similar analisis

lleva a conclur que
si el campo es homogeneo (solo depende de t) entonces hay conservacion

de momento lineal.
un caso inverso, el de un camEl libro de Bjorken y Drell trae tambien
po electromagnetico
cuantico
que interactua
con una corriente externa no
cuantica,
(Sec. 17.10 de ese libro).
eficaz de scattering correspondi Problema 39.1: Calcular la seccion
ente a la amplitud (39.2) y compararla con la que se obtuvo en el problema
tiende a .
36.3 en el lmite en que la masa del proton
altos, pero entonces no solo inEs posible considerar ordenes

mas
el campo electrofluye el campo electromagnetico

externo sino tambien
(llamado campo de radiacion)

y que es el
magnetico
que rodea al electron

Teora Cuantica
de Campos
87
campo cuantico
A (x) de la electrodinamica
cuantica
ya tratado. Se tiene,
a la amplitud recien
calculada es reprepor ejemplo, que una correccion
sentada por el diagrama.
Problema 39.2: Calcular la amplitud asociada a (39.3) y discutir la
convergencia de la integral que se obtiene. ?Es invariante de gauge el
resultado obtenido? Recuerdese

que nosotros estamos en el gauge de
Lorentz, pero eso no impide que exista aun
la posibilidad de hacer un cierto
tipo de cambio de gauge.
3.6.7.
Electrodinamica
escalar.
discutiremos aspectos basicos
En esta seccion
de la teora correspon de un campo de Dirac con un campo seudoescalar
diente a la interaccion
real definida por el termino

de interaccion.
HI (x)ig : (x)5 (x) (x) :,
(3.6.147)
Esta teora permite definir una teora de perturbaciones descrita por
graficos
identicos
a los de electrodinamica,
con la diferencia que las lneas
fotonicas
son reemplazadas por las lneas mesonicas
(3.6.148)
y en los calculos
de amplitud el papel jugado por los es tomado por
5 . Es tan similar una teor a con la otra que, a pesar que (40.1) no tiene
fsico se la utiliza en reemplazo de ED para ilustrar algunos
ningun
interes
aspects de esta ultima.
Naturalmente la ausencia de ndices relativistas
hace esta nueva teora en el calculo

detallado y se le suele denominar por
el
estas razones , . ectrodinamica

escalar. Aqu no hay diferencia imporante
seudoescalar es nulo o no. La Teora
en la operatoria si la masa del meson
seudoescalar es nula o no. La teora con masa nula
con masa del meson
es simplemente el lmite de aquella con masa distinta de cero. La carencia
de invariancia de gauge en esta teora tiene importancia y es esto

lo que
no permite llevar la analoga a todos los aspectos de electrodinamica.

A las reglas de Feynman de ED dadas en #33 habra que agregar:
.
Lnea externa .. factor 1 : factor ((2 )3 2k )1/2
Lnea interna . . . i(k2 2 + i )1
Vertice
g5 6 (4) ()
(3.6.149)
Postgrado de Fsica
Patricio Cordero S.
88
de 1988
version
Problema 40.1: Demostrar sin hacer uso de las reglas de Feynman

que la amplitud invariante a segundo orden correspondiente al scattering
- electron.
meson
M = g2 us (p )5

i
i
+
5 us (p)
6 k+ 6 p m + i 6 p 6 k m + i
(3.6.150)
Dibuje los correspondientes diagramas de Feynman y verifique que (40.3)

se obtiene a partir de esos diagramas al hacer uso de (40.2).
Captulo 4
Renormalizacion
4.1.
Sobre el significado de la renormalizacion.
es la tecnica
Suele decirse que renormalizacion

para deshacerse de
los infinitos que aparecen normalmente en una teora de campos. Esto, lit
eralmente tomado, es falso, o al menos es incompleto. Toda teora cuanti independica de campos debe someterse al proceso de renormalizacion
entemente de si en ella hay divergencias o no. Nosotros haremos pocas
referencias a los infinitos en lo que sigue para que resalte claramente la
fsica que obliga a renormalizar. Puesto que en nuestro
profunda razon
tratamiento general manipularemos expresiones sin discutir si son finitas
o no podra pensarse que en la practica

podran sugir ambiguedades
en
el significado de estas operaciones. Efectivamente esto es as, pero es
posible evitar tales ambiguedades
introduciendo un apropiado cut-off en

las integrales en espacio de momento, lo que puede hacerse en forma
invariante de Lorentz e invariante de gauge por medio, por ejemplo, del
metodo
de los reguladores (lo que no veremos). Queremos dejar claro
entonces que es posible definir en forma relativamente rigurosa todas las
operaciones matematicas
que hagamos.
Puede ocurrir, sin embargo, que aun

una vez aplicado el metodo
de
la teora final (renormalizada) tenga infinitos asociados
renormalizacion
con cantidades que representan observables. En tal caso se dice que la
teora es no renormalizable.
a
La necesidad de renormalizar surge del hecho que i) la separacion
priori que se hace de la densidad lagrangiana o del hamiltoniano en una
no es la correcta debido a que al existir
parte libre y otra de interaccion
89
90
Patricio Cordero S.
de 1988
version
autointeracciones las masas fsicas resultan ser diferentes de las masas

desnudas que aparecen en el Lagrangiano. La supuesta parte libre, en
tonces, no es tal ya que no tiene el coeficiente correcto en el termino
de
tiene por efecto que los autoestados de H0 no sean
masa. Esto ademas
estados fsicos (no tienen la masa correcta) y por lo tanto los elementos de matriz S tampoco son las amplitudes que fsicamente deba interesarnos. Es necesario usar los autoestados de un correcto Hamiltoniano
libre, para calcular las amplitudes fsicas. ii) La constante de acoplamiento
resulta no corresponder a la obque aparece en el Lagrangiano tambien
servada debido a la existencia de correcciones de vertice

que existen en
la normalizacion
de los campos debe ser modificada
la teora y iii) ademas
para que los elementos de matriz del operador de scattering den en forma
fsico.
directa las amplitudes de interes
Llegar a escribir la teora en terminos

de las cantidades observables y
del hamiltoniano en una parte libre y
llegar a hacer la correcta separacion
es lo que debe entenderse como proceso de renormalotra de interaccion
izacion.
Puesto que vamos a renormalizar denotaremos por , y A a los
campos antes de renormalizar y m0 , 0 , g0 , e0 las masas y constantes de
acoplamiento antes de renormalizar (desnudas).
principalmente
Los lagrangianos que usaremos seran
1
L1 =: (i 6 m0 ) : + : (, , 02 2 ) : ig0 : s :
2
1
L2 =: (:6 m0 ) : : A , A , : e0 : 6 A :
2
(4.1.1)
(4.1.2)
Se vera al final que estos lagrangianos no-renormalizados son matematicamente iguales a los correspondientes lagrangianos renormalizados solo
que en la forma renormalizada las cantidades fsicas (o renormalizadas)
en parte libre y de interaccion
es diferente,
son explcitas y la separacion
dando origen a una teora de perturbaciones diferente.
va a tener su fundamento fsico en exigencias natLa renormalizacion
urales, como podra ser, por ejemplo,
(1partic.A|S|1partic.A) = 1
(4.1.3)
facil
Es mas
y comodo,
sin embargo, tomar otras como las exigencias
basicas
y demostrar (4.1.3) como una consecuencia de ellas. Nishijima,
en su libro, utiliza (4.1.3) como punto de partida (Nishijima, Particles and
Fields).
4.1. SOBRE EL SIGNIFICADO DE LA RENORMALIZACION.

Teora Cuantica
de Campos
91
basica
Nuestra suposicion
sera que toda teora se construye porque el
bajo (a menudo segundo orden) da buenos resulorden significativo mas
tados, especialmente a bajas energas. Los ordenes

superiores deben dar
solo correcciones secundarias a estos resultados de bajo orden. Aqu debe
entenderse como teora fenomenologica

aquella que solo toma en cuenta
bajos de scattering y no considera correclos ordenes

pertubativos mas
ciones de autoenerga ni correcciones de vertice.

La teora global (todo orden) debe coincidir en un lmite de bajas energas (aun
por definir) con esa
teora fenomenologica.
Los campos, masas y constantes de acoplamiento
renormalizadas deben coincidir con aquellas de la teora fenomenlogica.
de ED escalar se tiene en
Por ejemplo, en el scattering fermion-fermi
on
la teora fenomenologica que
u(q
1 )5 u(p1 )
ig2
u(q
2 5 u(p2 )
(p1 q1 )2 2
(4.1.4)
Esta amplitud concuerda satisfactoriamente con los experimentos si

escalar y g es la constante de acoplamiento
es la masa fsica del meson
fsica. Se exigira que la teora global de una amplitud correspondiente a
este proceso de scattering que tenga un polo en (p1 q1 )2 = 2 con el
la constante
mismo residuo que (4.1.4). Suele decirse que por definicion
que la
de acoplamiento es la intensidad del polo de la amplitud y tambien
del polo.
masa fsica es la posicion
Otro posible ejemplo es el scattering fermion-mes

on
k
p
k
p
u(p
)5
ig2
5 u(p)
6 p+ 6 k m
(4.1.5)
y en este caso se debe exigir que la amplitud dada por la teora global debe
tener un polo en
6 p+ 6 k m
y el residuo debe ser aquel de la amplitud (4.1.5).
de que la teora global
Este tipo de exigencias no son sino la imposicion
origiefectivamente de aquellos resultados que motivaron su postulacion
nal.
Postgrado de Fsica
Patricio Cordero S.
92
4.2.
de 1988
version
La masa desnuda y la masa fsica del meson.
anterior adelantamos que la masa que aparece en el

En la seccion
lagrangiano no corresponde a la masa fsica (observable). Definamos
2 = 02 2
m = m0 m
(4.2.6)
El primer lagrangiano se escribe ahora en la forma.

1 ,
2 2
L1 =: (i 6 m) + (, ) :
2

1 2 2
: ig0 5 + + m :
2
(4.2.7)
El primer parentesis
representa al lagrangiano libre, ya que tiene las masas
sutilezas) y el segundo parentesis
fsicas (en realidad aqu hay mas

cuadra
Notamos que a diferencia de la teora de
do es el termino
de interaccion.
perturbaciones fenomenologicas
aqu existe, aparte del vertice
usual
g
0 5
los vertices
y tambien
1 2 2

2
i m
(4.2.8)
se se representan por
respectivamente.
Los tipos de graficos

que ahora puede hacerse es mayor que antes.
- fermion
son,
Los graficos
de la amplitud del scattering fermion
4.2. LA MASA DESNUDA Y LA MASA FISICA DEL MESON.

Teora Cuantica
de Campos
+ ...
+
+
93
+ ...
+ ...
del polo (4.1.4) son

Los diagramas que contribuyen a definir la posicion
de la forma
+ ...
Son aquellos graficos

que entre los dos vertices
tienen solo un propagador
mesonico
y correcciones de orden superior a este.
La suma infinita de ellos
da ek propagador vestido, iF y, por razones fsicas ya explicadas, debe

correspondiente a la masa fsica del
tener un polo en k2 = 2 , la posicion
escalar. Se vera que esto determina el corrimiento de masa 2 .
meson
Para efectuar formalmente la suma de todos los diagramas que contribuyen al propagador vestido se clasifica los diagramas de autoenerga
en aquellos que son de la forma
del meson
11111
00000
00000
11111
11111
00000
00000
11111
a los que llamamos reductibles, ya que pueden ser separados en dos
partes con solo cortar un propagador mesonico

interno. Los que no pueden
ser as separados en dos los llamados irreductibles y los representamos
por
111111
000000
000000
111111
000000
111111
000000
111111
11
00
Postgrado de Fsica
Patricio Cordero S.
94
de 1988
version
por
y algebraicamente se denotaran
ig20 (k)
(4.2.9)
(suma de casi todos los diagramas irreductibles) y los primeros que contribuyen a esta suma son
+
+
+ ...
El unico
diagrama irreductible de autoenerga no incluido arriba es

i
2 = x
2
(4.2.10)
Es obvio, por las definiciones dadas, que todo grafico

reductible puede
ser representado como una cadena de diagramas irreductibles unidos por
propagadores mesonicos.
De aqu que la suma que define al propagador
mesonico
vestido puede ser representada graficamente
por
111111
000000
000000
111111
000000
111111
000000
111111
111111
000000
000000
111111
000000
111111
000000
111111
0+ x
1
111111
000000
000000
111111
000000
111111
000000
111111
00 + x
11
0+ x
1
+ ...
que se escribe
iF

1 2
1 2
2
2
= iF + iF ig0 + iF + iF ig0 + iF [ %] iF +
2
2

1
= iF + iF ig20 + 2 i F
(4.2.11)
2
de donde
i F
=
=
iF

1 iF ig20 + 21 2
i
2
2
2
k + g0 (k2 ) + 12 2
4.2. LA MASA DESNUDA Y LA MASA FISICA DEL MESON.
(4.2.12)

Teora Cuantica
de Campos
95
de el polo debe estar en 2 entonces

Puesto que por definicion
1 2
= g20 ( 2 ).
2
(4.2.13)
de la masa observable determina el corrimiento de

Se ve que la definicion
masa (desnuda) debido a efectos de autointeraccion.
xxxxxxxxx LO QUE SIGUE NO HA SIDO REVIDADO xxxxxxxxx
formal de la funcion
invariante (k2 ) en torno
Si se hace una expansion
2
2
al valor k = , entonces el residuo de este propagador vestido pero sin
renormalizar, no es simplemente i sino que es
lm (k2 2 ) F (k2 ) =
k2 2
i
Z
1 + g20 ( 2 )
donde
(k2 ) = ( 2 ) + (k2 2 ) ( 2 ) + (k2 2 )2 0c (k2 ).

Definimos como propagador renormalizado
iF (k2 = Z1 i F (k2 )
ya que este
s tiene un residuo i tal como el propagador desnudo iF =
ser escrito en la forma
El propagador (4.2.12) puede tambien
iF (k2 ) =
i
(k2 2 )[1 + g20 ( 2 ) + (k2 2 )0 (k2 )]
y es el factor que en la amplitud global (cerca del polo) representa la
lnea mesonica
entre los dos vertices
principales de la amplitud bajo con Puesto que el residuo del propagador vestido sin renormalizar
dideracion.
no es i esto modifica el residuo del polo de la amplitud pero que veremos este no es el unico
factor que modifica ese residuo, de modo que

enre la constante de
aun
no estamos en condicione de definir la relacion
acoplamiento 6 go y la constante de acoplamiento observable..
Demostremos ahora que globalmente se cumple que
(~k |~S|~k) = (3) (~k ~k).
Postgrado de Fsica
96
Patricio Cordero S.
de 1988
version
de teora de perturbacion
correspondiente a la amHagamos la expansion
plitud (42.14),
(~k |S|~k) = (3) (~k ~k) + +
= (3) (~k ~k) + (X + + )
donde cada uno de los parentesis

debe ser evaluado para k2 = 2 ya
que estamos tratando el caso de una partcula libre. Es claro que

i
(X + k2 = 2 = 2 + ig0 ( 2 ) = 0
2
del
por lo que (42.14) se cumple trivialmente. Notemos que la introduccion
mesonica
vertice
de autointeraccion
dado en (42.3b) ha jugado un papel
y la introduccion
de ese vertice
fundamental en esta demostracion

es un
reflejo del hecho que la masa de una partcula depende en parte de las interacciones que ella tiene y por lo tanto hace diferente a la masa desnuda
de la masa fsica. De este modo queda resuelto el problema de la estabili |k).
dad del estado de un meson,
4.3.
La masa desnuda y fsica del fermion.
anterior, ahora queremos

Procediendo en forma analoga
a la seccion
discutir las correcciones radiativas del propagador fermionico

en amplitudes tales como (41.5) considerada a todo orden,
iS (6 p)
Este propagador vestido pero no renormalizado debe tener un polo
de la masa fsica m del fermion.
Para hacer la
para 6 p = m por definicion
suma infinita (43.1) nuevamente clasificamos los diagramas de autointer en aquellos que son irreductibles respecto al corte de una lnea
accion
fermionica
y aquellos que son reductibles y que por lo tanto pueden ser
representados como una cadena de diagramas irreductibles unidos por
un propagador fermionico.
Ejemplos de diagramas irreductibles de autoenerga son
i m = X ;
4.3. LA MASA DESNUDA Y FISICA DEL FERMION.

Teora Cuantica
de Campos
97
La suma de todos los diagramas irreductibles (como los anteriores) que

permite la teora los denotamos por
0
ig20 (6 p) =
excepto por el diagrama que no es del tipo (43.3),
i m = X .
(42.7) para el caso del meson
escalar
Tal como se dedujo la expresion
aqu se puede deducir que
que podemos escribir en la forma

2
iSF (6 p) = iSF (6 p) i m + ig0 (6 p) iSF (6 p).
o bien
iSF (6 p) =
i
.
6 p m + m + g20 (6 p)
de masa fsica del fermion

el polo del propagador esta en
Por definicion
6 p = m y por lo tanto
m = g20 (m)
matricial invariante (6 p) en torno a 6 p = m

Si ahora se expande la funcion
(6 p) = (m) + (6 p m) (m) + (p m)2 (6 p)

entonces (43.7) puede ser escrito como sigue
iSF (6 p) =
i
.

1
2
(6 p m) 1 + g0 (m) + g20 (6 p m) 2 (6 (p)
Tal como en el caso escalar aqu se tiene que el residuo del propagador
vestido no es igual que el residuo del propagador desnudo sino que es
Z2 =
1
1 + g20 1 (m)
y por lo tanto definimos el propagador vestido renormalizado

iSF (6 p) = Z21 iSF (6 p).
Postgrado de Fsica
Patricio Cordero S.
98
de 1988
version
Problema (43.11): Calcular (6 p) a segundo orden. Hacer la de (43.9) y discutir la convergencia de las tres palabras de esta
scomposicion
Demosrtar en partcular que
descomposicion.
3m
(m) = 16 2 log m2 .
ahora demostrar que se cumple la condicion
de estabilidad del
Es facil
estado de un fermion,
(p s|S|ps) = s s (3) (~p p)
En efecto, la suma de todos los diagramas a que da origne el lado izquierdo
de teora de perturbacion
es
a traves
s s (3) (~p ~p )+ (X + + (X (X + +
pero
(x+ = us (p)(i m + ig20 (6 p))us (p)

libre entonces p2 = m2 y ademas
por tener
Como se trata de un fermion
de 6 p entre esponore u(p) entonces podemos poner 6 p = m lo
una funcion
que determina que estos terminos

extras sean todos nulos debido a (43.8)
y por lo tanto (43.14) se cumple.
4.4.
del vertice.
Renormalizacion
cuando consideramos todas las correcciones radiativas a amplitudes

como (41.4) o (41.5) no solamente debemos tomar en cuenta las correc las correcciones de
ciones a los propagadores intermedios sino ademas
veremos que tambien

las lneas externas
vertice.
En la proxima
seccion
deben ser renormalizadas. Puesto que no deseamos contar dos veces las
mismas correcciones si queremos una teora renormalizada consistente
solamente las correcentonces debemos tomar en cuenta en esta seccion
ciones propias de vertice.

Los diagramas propios de vertices
son, el vertice
desnudo mismo y todos aquellos diagramas que tengan exactamente tres
estar conectados al resto del dipuntos externos, puntos que no podran
de un subdiagrama de autointeraccion.
Ejemplos de diaagrama a traves
gramas propios de vertice:
Ejemplos de diagramas impropios de vertice:

DEL VERTICE.
4.4. RENORMALIZACION

Teora Cuantica
de Campos
99
La suma de todos los diagramas propios de vertice

se denota por
g0 5 (q, p) =
= g0 5 + g30 5 (q, p)
Esto es,
5 (q, p) = 5 + g20 5 (q, p)
de vertice
Aclaramos que aqu se esta definiendo la funcion

general,
o sea fuera de la capa de masa (off-shell) de modo que el cuadrado de
ninguno de los tres momentos externos es necesariamente igual a la masa
de la partcula libre correspondiente.
de vertice
La funcion
aqu definida es un seudoescalar de Lorentz por
lo que necesariamete es de la forma
5 = 5 [1 + f (6 q, 6 p, q2 , p2 , (p q)2 ]
invariante matricial de 4 4. Al calcular una amdonde f es una funcion
por
plitud como (41.4) a todo orden, las correcciones de vertice
tendran
efecto reemplazar los factoes g0 u5 u por
u(q)g
0 5 (q, p)u(p).
podemos hacer
En este ultimo
caso se tiene que q2 = p2 = m2 y ademas

actuar 6 p a la derecha de 6 q a la izquierda, dando m por lo que nos queda
2 0
2
(44,7) = u(q)g
0 5 [1 + g0 h {(p q) }]u(p)
escalar que solo depende de (pq)2 . En particular

donde h es una funcion
del polo de la amplitud, para (p q)2 . En particular en la
en la posicion
de (44.7)
del polo de la amplitud, para (p q)2 = 2 la contribucion
posicion
= (44.8) al residuo de este polo es
5 u(p) = Z11 g0 u(q)
5 u(p)
g0 (1 + g20 h ( 2 ))u(q)
que da el orden mas
bajo
Al lado derecho hemos escrito la contribucion
y una constante de proporcionalidad Z1 que juega el papel de constante de
del vertice.
renormalizacion
De (44.9) se puede ver directamente que
Z1 =
1
1 + g20 h0 ( 2 )
Postgrado de Fsica
Patricio Cordero S.
100
de 1988
version
de vertice
y se define la funcion
renormalizada como
5 (q, p) = Z15 (q, p).
Una manera de resumir lo que se ha dicho de (44.7) a (44.10) es que
1
u(q)
5 u(p)
5 (q, p)u(p) = Z1 u(q)
para (p q)2 = 2 y p2 = q2 = m2
de 5 similar a (44.5) definiPara obtener ahora una descomposicion

mos primero
5c (q, p) = 5 (q, p) 5 h ( 2 )
definimos
y ademas
g2 5c (q, p) = Z1 g20 5c (q, p)
Aqu , por primera vez hacemos entrar el valor de constante de acoplamien aunque en forma totalmente formal. Por (44.5) ,
to fsica en una definicion
(44.11) y (44.14) es obvio que
5 (q, p) = 5 + g2 5c (q, p).
Problema 44.1: Escribir la integral correspondiente a 5 (q, p) = ,
de ella determinar la integral correspondiente a h (p q)2 y en particular
una expresion
integral para 5c (definida en
(44.10). Encontrar tambien
(44.14) discutir su convergencia.
4.5.
de las lneas externas, de los

Renormalizacion
campos y de la constante de acoplamiento.
Al estudiar las correcciones radiativas a todo orden de una amplitud de
scattering debe considerarse los propagadores vestidos, los vertices

vesti las correcciones radiativas que afectan a las lneas externas,
dos y ademas
correcciones que no han sido tomadas en cuenta en las secciones ante
riores. Toda lnea externa esta unida a un diagrama en un vertice
y este
vertice
debe ahora considerarse vestido, entonces, por ejemplo, una lnea
fermionica
externa unida a un vertice
vestido se representa en la forma
(hacia el resto del diagrama).
Claramente se ve que contribuyen de la forma
DE LAS LINEAS EXTERNAS, DE LOS CAMPOS
Facultad
Y DE de
LA CONSTANTE
CienciasDE
FACOPLAMIENTO.
sicas y Matematicas

Teora Cuantica
de Campos
101
no son considerados en (45.1) ya que los diagramas de vertice

son pro
pios. ( Si los vertices

no fuesen propios entonces cada vez que tubieramos
vestidos, entonces
un propagador vestido, uniendo dos vertices
tambien
de una vez las mismas correcciones). Veamos
estaramos contabilizando mas
de la suma de todos los diagramas de la forma (45.2)
cual es la expresion
en termino
de cantidades ya definidas. No es difcil ver que esta suma es
= ( )[1 + iSF (6 p)ig20 (6 p) + i miSF (6 p)]u(p)
ig20 (6 pm)[1 (m)+(6 pm) 2 (6 p]
= ( )(1 + i (6 pm)[1+g
2 1 (m)+g2 (6 pm) 2 (6 p)] u(p)
= ( )(1 + 00 )u(p)
Vemos que al tener un espinor u(p) a la derecha debe reemplazarse 6 p

por m en todas partes, lo que indetermina el factor corrector para la lnea
externa espinorial. No hay proceso de lmite sencillo que nos permita hacer
sentido de (45.4). Algo similar ocurre en el caso de las lneas externas
mesonicas.
El resultado correcto y que no demostraremos es que
1/2
1/2
(= ( ){Z2 u(p)} = Z2
que
y tambien
1/2
1/2
(= ( ){Z } = Z (
Al considerar juntos (43.12) y (45.6) notamos que por cada propagador fer
mionico
vestido (en un diagrama de Feynman) debemos escribir un factor
1/2
iSF = Z2iSF y por cada lnea externa debe escribirse un factor Z2 u(p) o bien Z 1/22 u(p) lo que hace natural redefinir las reglas de Feynman con cam
pos renormalizados de modo que lo anterior sea un resultado automatico.
Definimos
1/2
(x) = Z2 (x)
( c. De Heisenberg)
Entonces
iSF
= < 0|T |0 >

= Z21 < 0|T |0 >
= Z21 iSF
que es(43,12)
las lneas externas son

y ademas
+1/2
< 0| |ps > = < 0|Z2 |ps >

1/2
= Z2 (m/(2 )3 p )1/2 eipx us (p).
Postgrado de Fsica
Patricio Cordero S.
102
de 1988
version
el ??? mesonico
En forma analoga
se define tambien
renormalizado
1/2 0
(x) = Z
(x).
es el residuo del polo de la amAhora estamos en condiciones de decir cual

plitud (41.4) a todo orden para poder identificar la constante de acoplamien
to fsica. El propagador contribuye al residuo con un factor iz+1 , cada vertice
1
con un factor g0 (44.12) = Z1 g0 u5 u y cada lnea externa con un factor
Z +1/2 . Todo esto nos da la ecuacion

ig2 = iZ+1 Z12 Z22 g20
entre la constante de acoplamiento desnuda y la

obteniendose
la relacion
constante de acoplamiento fsica,
1/2
g = Z11 Z2 Z g0 .
el mismo resultado se obtiene si en vez de la amplitud (41.4) nos basamos
en la amplitud (41.5) ya que cerca del polo esa amplitud a todo orden es
aproximadamente
1/2
11 g0 5 )
(Z )(Z 1/2 u)(Z
iZ2
1/2
1/2
(Z11 g0 5 )(Z2 u)(Z )
6 pm
y al hacer el reemplazo (45.12) ella tiene efectivamente el polo que predice

(41.5).
que de (44.11) y (45.12) se desprende que
Agregamos ademas
1/2
g0 5 = Z21 Z
g5
Problema 45.1: Deducir (45.6) a segundo orden en teora de perturbaciones.
4.6.
Amplitudes renormalizada
.
En una teora renormalizada considerada a todo orden una amplitud
de tres lneas externas) se calcula como la suma de
invariante (con mas
todos los diagramas que no tengan correcciones de vertice

ni de autoint y donde cada lnea externa es un propagador vestido (i
eraccion
F o bien
4.6. AMPLITUDES RENORMALIZADA

Teora Cuantica
de Campos
103
es un vertice
vestido g0 5 y las lneas externas son
iSF ) , cada vertice
1/2
1/2
1/2
representadas por Z si la lnea es mesonica

y por Z2 u o bien Z2 u si
la lnea externa es fermionica.

No es difcil convencerse que estas reglas
son equivalentes a sumar todos los posibles diagramas de Feynman que
contribuyen a esa amplitud.
Veamos como
estas reglas pueden ser cambiadas por otras mucho
simples y fsicamente mas
atractivas, las que se enuncian en terminos
mas
de cantidades renormalizadas solamente y sin ningun
factor Z presente en
forma explcita. Primero notemos que si un diagrama cualquiera de Feynman de orden V tiene
V vertice
M lneas mesonicas
externas
F lneas fermionicas
externas
m lneas mesonicas
internas
f lneas fermionicas
internas
entonces se cumple que
f = F/2
1
m = ( M).
2
El diagrama de Feynman tiene, muy simbolicamente,

la siguiente expre
sion,
(Z2 u)
F/2 (g0 5 ) (iSF )F/2 (Z2 u)F/2 (iF )(M)/2 (Za )M
1/2
1/2
1/2
de vertices
que, escrito en terminos

de los propagadores y funcion
renor sin factor Z,
malizados se convierte en una expresion
= (u)
F/2 (g5 ) (iSF ) f /2 (u)F/2 (iF )(M)/2 (1)M .
Es decir, exactamente la misma amplitud se calcula escribiendo
g5 por cada vertice
iS F por cada propagador fermionico
iF
por cada propagador mesonico
u,
ou
por cada lnea ferminica externa
+1
por cada lnea mesonica
externa
Postgrado de Fsica
Patricio Cordero S.
104
de 1988
version
Estas reglas permiten ver claro que la teora global (todo orden) y la
bajo orden significativo se comportan en

teora fenomenologica,
al mas
forma semejante en la vecindad de los polos de las amplitudes que causan
los estados intermedios, virtuales de una sola partcula.
Es muy importante darse cuenta que en estos graficos

no se consider
an factores de correcciones de vertice
ni de autoenerga, puesto que ellas
siendo tomadas en cuenta al usar funciones de vertice
ya estan
y propagadores vestidos.
, que la(s) funEn una teora renormalizable se tiene por definicion
libres de dicion(es) de vertice y los propagadores renormalizados estan

vergencias y las amplitudes, calculadas con las reglas (46.3) resultan finitas. Puesto que en los observables no aparecen los factores Z (constantes
no es necesario exigir que ellas sena finitas y en la
de renormalizacion)
practica
ellas resultan normalmente cantidades divergentes. Lo notable es
que todas las divergencias de una teora renormalizable son absorbidas
por las constantes de renormalizacion.
En el calculo
de la suma de todos los diagramas que contribuyen al
propagador vestido no es posible aplicar las reglas (46.3) lo que impide
Z puedan cancelarse exactamente en
que los factores de renormalizacion
que sigue.
estos graficos.
Esto lo veremos en la seccion
Problema 46.1: Demostrar que la sumar las correcciones radiativas
hasta el cuarto orden, se obtiene una amplitud finita:
del scattering fermion
para los Zs.
sectionAutoenergas renormalizadas y expresion
En la formula
de cada uno de los propagadores (mesonico
y fermionico)
aparecen los terminos

de autoenerga
ig20 (k2 ) =
ig20 (6 p) =
Nosotros definiremos las correspondientes funciones de autoenerga
renormalizadas basandonos
en lo siguiente. Un propagador desnudo que
termina en un globo, como es el caso en (47.1), puede ser reemplazado
por el correspondiente propagador vestido (no renormalizado aun)
unido
al globo amputado en ese punto (un globo siempre representa una suma
de diagramas y se entiende por globo amputado en un punto a aquel para
el cual ninguno de los diagramas que contribuye tiene un subdiagrama de
autoenerga uniendo a es punto con el resto del diagrama). Esto se denota
por
De aqu entonces que
4.6. AMPLITUDES RENORMALIZADA

Teora Cuantica
de Campos
ig20 (k2 ) =
=
=
=
105
Tr d 4 pg0 5 iSF (6 p)g0 5 (p, p k)iSF (6 k 6 p)

R
1/2
1/2
Tr d 4 pZ1 Z21 Z g5iZ2 SF Z21 Z g5 izZ2 SF
R
Z1 Z1 Tr d 4 pg5 iSF giS

5 F
Z1 Z1 ig2 (k2 )
R
Del mismo modo que en (47.3) se define funciones renormalizadas aso de que aparece en
caidas a cada una de las funciones de la expansion
(42.11), con los mismos factores Z que (47.3),
g20 1 = Z1 Z1 g2 1
g20 c = Z1 Z1 g2 c
similar a (47.3) conduce a definir

una deduccion
ig20 (6 p) = Z1 Z21 ig2 (6 p)

definimos
y aqutambien
1
g20 (6 p) = Z1 Z 1 g2 (6 p)
g20 (6 p) = Z 1Z21 g2 (6 p)
Si ahora reemplazamos (47.3) en la formula

para Z (42.10), entonces
obtenemos una formula

implcita, que al ser despejada da
Z = 1 Z1 g2 1 ( 2 ).
Similarmente al reemplazar (47.6) en (43.11) se obtiene
1
Z2 = 1 g2 Z1 (m).
se deduce que
Ademas
Z
2 = Z1 g2 ( 2 )
2
Z2 m = Z1 g2 (m)
Problema 47.1: Demostrar que

iF (k2 =
i
(k2 2 )[1 + (k2 2 )Z1 g2 c (k2 )]
Postgrado de Fsica
Patricio Cordero S.
106
de 1988
version
y que
iSF (6 p) =
i
(6 p m)[1 + (6 p m)Z1 g2 (2) (6 p)]
de los factores de renormalizacion

de los propaLa no desaparicion
gadores renormalizados es un reflejo del hecho que los diagramas de au
toenerga (47.1) tienen un vertice
ya que esto significara contar dos veces
las mismas contribuciones. Esto obedece a un principio general que dice
que si se considera un diagrama particular que, contribuyendo a un diagrama global, entonces no debe haber ambiguedad sobre a que parte del
diagrama global contribuye este subdiagrama de autoenerga o propio de
vertice.
que hemos estado viendo se aplica
Todo el proceso de renormalizacion
mutatis mutandis a electrodinamica

cuantica.
En particuarl los siguientes
cambios son necesarios:
2
Z
i5
5
g0
g
A
0
Z3
i
e0
e
etc.
ya se vio el corrimiento de masa del foton

es identicamente
Ademas
nula
(Sec. 37) debido a la invariancia de gauge. Ahora veremos un resultado
que es propio de electrodinamica

cuantica
(QED), la identidad de Ward.
4.7.
La identidad de Ward en QED.
justificaremos la llamada identidad de Ward, la que

En esta seccion
establece que
o equivalentemente
4.7. LA IDENTIDAD DE WARD EN QED.
1
1
= (p, p)
SF (6 p)

Teora Cuantica
de Campos
107
(6 p) = i (p, p).
Con este fin copiamos directamente de (43.7) y (47.12) que

h
i1
SF (6 p)
=6 p m + m + e20 (6 p)
Si reemplazamos (48.2) en esta ultima
formula
se obtiene
h i1
S (p)
= + ie20 (p, p) = mu (p, p)
p F
de vertice,
que es la funcion
tal como se indica en (48.1) ya que al usar
(47.12) en (44.4) se obtiene ie0 (q, p) = ie0 + e3 0 (q, p), por lo cual
da (48.4).
mas
baja a es
Para poder clacular la derivada de la contribucion
demostrar,
necesario conocer la derivada del propagador desnudo. Es facil
a partir de la identidad
SF (p k)SF (p k)1 = 1
que
iSF (p k) = iSF (p k)(i )iSF (p k).

p
Esta igualdad puede interpretarse diciendo que el efecto de la derivada

sobre el propagador es quebrar al propagador en dos de ellos con un
mas
Entonces al derivar la contribucion

vertice
(factor i ) separandolos.
baja a se obtiene,
ie20
=
(6 p)
p
2
e
p 0
d 4 k(i )iSF (p k)(i )iDF (k2 )
o sea
ie20
=
(6 p)
d 4 k(i )iSF (p k)(i )iSF (p k)(i )iDF (k2 )
mas
baja a (p, p). Esta conque comparamos con la contribucion
es
tribucion
e30 (q, p)
=
d 4 k(ie0 )iSF (q k)(ie0 )iSF (p k)(ie0 )iDF (k2 )

Postgrado de Fsica
Patricio Cordero S.
108
de 1988
version
de donde
e20 (p, p)
=
e20 d 4 k(i )iSF (p k)(i )iSF (p k)(i )iDF (k2 )
Al comparar (48.6) con (48.7) vemos que efectivamente la identidad de

bajo orden. Pictoricamente
Ward (48.2) se cumple al mas

esto se representa por
p
que se dio de la igualdad
lo cual sigue directamente de la interpretacion
(48.5). Esto ahora lo podemos aplicar al orden siguiente y se puede llegar
a demostrar que
p
i[
Cada uno de los cuatro parentesis

redondos en el lado derecho corre
sponde a la derivada de uno de los cuatro terminos
en el lado izquierdo.
similar existe para todos los
Ahora aceptemos que una demostracion
ordenes
del desarrollo perturbativo y asdamos por demostrada la identidad de Ward.
Un resultado particular que se obtiene de esta identidad es la igualdad
del electron
y la del vertice,
entre la constante de renormalizacion

lo que
fsica. Para demostrar esto tomemos la
tiene una interesante implicacion
identidad de Ward en su forma (48.1) en la vecindad de 6 p = m y por lo tanto
p2 = m2 . Encerramos la identidad de Ward entre espinores u(p)
y u(p). En
el lado izquierdo tenemos que el propagador vestido es aproximadamente
SF1 (p) =
Z2
6 pm
y por lo tanto
u(p)
[S (p)]1 u(p) = Z21 u(p)

u(p)
p F
Por otro lado, el lado derecho da, debido al analogo

en electrodinamica
de
(44.12), que
1
u(p).
u(p)
(p, p)u(p) = Z1 u(p)

4.7. LA IDENTIDAD DE WARD EN QED.

Teora Cuantica
de Campos
109
Puesto que esto debe ser igual a (48.10), debido a la identidad de Ward,
entonces concluimos que
Z1 = Z2 .
Esta igualdad surge de la identidad de Ward y por lo tanto de la invariancia
de gauge que posee ED, por lo que es una propiedad conectada con el
es nula.
hecho que la masa del foton
entre la cosntante de acoplamiento (45.12) y la relacion
De la relacion
que aquse ha demostrado sigue que
1/2
e = Z3 e0 ,
de la carresultado de gran importancia. El dice que la renormalizacion
del foton
ga electrica
solo depende de la constante de renormalizacion
que es el intermediario de todas las interacciones electromagneticas

- y no
del fermion
particular que se
depende de la constante de renormalizacion
proton,
etc.) como pudo esperarse de (45.12)
este considerando (electron,
ni tampoco depende del vertice

particular. Esto implica que la igualdad de
las cargas desnudas debido al acoplamiento minimal ahora se extiende a
la igualdad de las cargas fsicas que segun

la teora cuantica
global son
entre
observadas. Esto no ocurre por ejemplo, en una teora de interaccion
piones y nucleones que es invariante bajo SU (2). Las constantes desnudas
de acoplamiento entre los dos nucleones y los piones son las mismas, pero
una vez vestida la teora ellas son diferentes, ya que no habiendo una iden que se aplica.
tidad de Ward en esta teora es (45.12) la relacion
4.8.
del campo externo.

Renormalizacion
en presencia de un campo externo.

Consideremos la renormalizacion
Para esto estudiaremos la amplitud (p s |S|ps) en presencia de un campo
pero a primer orden en el
externo a todo orden en el campo de radiacion
campo externo. A primer orden esta amplitud ya fue calculada en 3.6.6.
Los primeros terminos

que contribuyen son
(p s |ST |ps) =
(4.8.14)
Postgrado de Fsica
Patricio Cordero S.
110
+
+
X
de 1988
version
...
X
X
Vemos que hay i) correcciones propias de vertice,

ii) correcciones de las
lneas externas y iii) correcciones de autoenerga entre el campo externo y
1/2
el vertice
del problema. La amplitud vestida entonces tendra un factor Z2
ahora debemos
por cada lnea externa; en lugar del facotr ie por el vertice
poner ie0 (q, p) ; y las correcciones de autoenerga mencionadas mas

arriba tienen como efecto vestir al campo externo, lo que hace necesaria
Estas correcciones son,
su renormalizacion.
+
+ ... =
1 +
1+
DF
DF
Con lo anteriormente dicho podemos escribir la amplitud correspondiente

a (4.8.14)
(p s |iT |ps) = Z2
DF (p q) ext
m
A
(p q)
u(q)ie
(q,
p)u(p)
0
DF (p q)
(2 )3 ( p q )1/2
Al reemplazar por cantidades renormalizadas nos queda

=
iem
DF (p q) 1/2 ext
(Z A
u(q)
(q, p)u(p)
(p q)
1/2
DF (p q) 3
p q )
(2 )3 (
(4.8.15)
Lo cual hace natural definir el campo externo renormalizado como

1/2
Z3 A ext = Aext
La amplitud renormalizada que hemos escrito en (4.8.15) esta libre de divergencias, puesto que QED pertenece a las teoras renormalizables. Es
es la diferencia entre la amplitud al mas
bajo
interesante entonces ver cual
orden (en 3.6.6) y la amplitud aqu obtenida, considerando, por ejemplo,
DEL CAMPO EXTERNO.

Teora Cuantica
de Campos
111
hasta el orden indicado explicitamente en los diagramas

correcciones solo
(4.8.14). Habra algunas diferencias entre ambos acoplamientos. En par corregida muestra que el momento magnetico
ticular la interaccion
no es
de Dirac (g = 2) sino que
exactamente igual al predicho por la ecuacion
levemente diferente a este valor. Esto es lo que se denomina momento
El momento magnetico
segun
magnetico
anomalo
del electron.
del electron
de Dirac es
la ecuacion
e
=
2m
que se obtiene al tomar en cuenta los diagramas que aparey la correccion
cen en (4.8.14) es
e3
=
(8 2 )2m
a los niveles del ato

Otro calculo
que es posible hacer es la correccion
de Dirac. Segun
mo de hidrogeno
que da la ecuacion
esta ultima
ecuacion
los niveles energeticos

del atomo
de hidrogeno
dependen solo del numero
cuantico
principal n y del momento angular total j, por lo tanto los niveles 2s1/2 y 2p1/2 coinciden. Si se hace las correcciones renormalizando al
diferencia energetica
proximo
orden significativo resulta una pequena
entre
ambos niveles. Esta diferencia haba sido medida por Lamb (1947) antes
teorica
que se diera una explicacion

(Lamb shift) pero ese mismo ano
Bethe logro manipular las divergencias de la teora dando as origen a la
la que comenzo a desarrollarse a partir de
teora de la renormalizacion
ese momento. El calculo

de Bethe coincide extraordinariamente bien con
el resultado experimental.
Postgrado de Fsica

TQC PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

TQC PDF

Cargado por

Copyright:

Formatos disponibles

a Teora Cuantca

Facultad de Ciencias Fsicas y Matematicas

Facultad de Ciencias Fsicas y Matematicas

del campo escalar real. . . . . . . . . .

del campo escalar complejo . . . . . . .

1.2.4. Las simetras discretas P, C y T en el caso de campos escalares. . . . . . . . . . . . . . . . . . . . . . .

del campo de Dirac . . . . . . . . . . . .

1.3.3. Funciones invariantes asociadas al campo de Dirac. .

1.3.4. Las simetras discretas P C y T en el caso de cam

del campo vectorial real masivo. . . . .

del campo electromagnetico

covariante del campo electromagnetico.

2.1. Acoplamiento electromagnetico

2.2. Algunos acoplamientos no-electromagneticos

alrededor del concepto de isospin . .

2.4. Lagrangianos invariantes bajo SU (2). . . . . . . . . . . . . . .

2.6. Campos de medida, de gauge o de Yang-Mills. . . . . . . . .

3.3. Teorema de Wick. . . . . . . . . . . . . . . . . . . . . . . . .

3.4. La matriz S en electrodinamica.

3.5. Scattering Compton. . . . . . . . . . . . . . . . . . . . . . . .

3.6. Reglas de Feynman y el scattering Moller. . . . . . . . . . . .

3.6.4. Sobre el problema de las autoenergas. . . . . . . . .

3.6.5. Transiciones vaco-vaco: < 0|S|0 > . . . . . . . . . . .

4.1. Sobre el significado de la renormalizacion.

4.3. La masa desnuda y fsica del fermion.

de las lneas externas, de los campos y de

Facultad de Ciencias Fsicas y Matematicas

finito de grados de libertad. No se trata

se la llama, sino que es la misma cuantizacion

que aplicada a campos . En esta misma seccion

zara un sistem muy simple de osciladores para mostrar como

El intento de hacer una mecanica

scubrimiento de Dirac llevo a concebir a las partculas elementales como

bre las partculas elementales en la lnea filosofica

de campos esta tam el hecho que el numero

de partculas elementales no se conserva.

Tratando un sistema de N partculas con la ecuacion

Facultad de Ciencias Fsicas y Matematicas

finito, o al menos discreto, de grado de libertad. Aqu se vera el caso de

Sea (x) un campo escalar real libre cuya dinamica

al que se impone condiciones de cuantizacion

donde el momento conjugado canonico

Bajo transformaciones homogeneas

que tiene como caso particular la ecuacion

En el espacio de funciones de ~x expandido por estas ondas planas se

Se puede demostrar que

f~pn , f~pn = nnn 3 (~p ~p )

de que sea real determina una relacion

d 3 p a(~p) f~p+ (x) + a (~p) f~p

son operadores cuyas relaciones de conLos coeficientes de la expansion

Facultad de Ciencias Fsicas y Matematicas

y puede demostrarse que

De lo anterior sigue que

an (~p), an (~p ) = nnn (3) (~p ~p )

que satisfacen los operadores de

sino un continuoel campoque ha sido cuantizado. Notese

El producto normal se define como el reordenamiento de operadores

izquierda de los operadores de destruccion.

normal es la siguiente. Si se considera el

Hamiltoniano de un oscilador armonico

y semejantemente se define a . Ellos satisfacen a, a = 1 viendose

la energa, de modo que H |0i = 0 y es precisamente esto

un producto y el correspondiente producto normal es un numero