Full Notes

Indice general
Introducci
on
1. Teora Cl
asica de Campos
1.1. Principio de Mnima Accion . . . . . . . . . . . . .
1.2. La cuerda clasica unidimensional . . . . . . . . . .
1.3. Principio de Mnima Accion para L . . . . . . . . .
1.3.1. Ecuaciones de Euler-Lagrange . . . . . . . .
1.3.2. Teorema de Noether para simetras internas
1.3.3. Teorema de Noether para simetras externas
1.4. Aplicacion a Mecanica Cuantica . . . . . . . . . . .
1.5. Aplicacion a la cuerda unidimensional . . . . . . . .
1.6. Problemas . . . . . . . . . . . . . . . . . . . . . . .
2. Campos vectoriales
2.1. Unidades Naturales . . . . . . . . . . . . . . .
2.2. Notacion relativista . . . . . . . . . . . . . . .
2.2.1. Ejemplos de cuadrivectores . . . . . . .
2.2.2. Ecuaciones covariantes . . . . . . . . .
2.3. Ecuaciones de Maxwell en notacion covariante
2.3.1. Lagrangiano Electromagnetico . . . . .
2.3.2. Energa del campo electromagnetico . .
2.3.3. Fijacion del gauge . . . . . . . . . . . .
2.4. Ecuaciones de Proca . . . . . . . . . . . . . .
2.5. Problemas . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
3. Principio Gauge Local

3.1. Ecuacion de klein-Gordon . . . . . . . . . . . .
3.2. Campos escalares complejos . . . . . . . . . . .
3.3. Invarianza gauge local abeliana . . . . . . . . .
3.3.1. Aplicacion a barrera de potencial . . . .
3.4. Aplicacion a la mecanica cuantica . . . . . . . .
3.5. Invarianza gauge local no abeliana . . . . . . . .
3.6. Invarianza gauge local para un grupo semisimple
3.7. como un triplete de SU(2) . . . . . . . . . . .
3.8. Problemas . . . . . . . . . . . . . . . . . . . . .
i
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
13
13
15
16
18
21
27
.
.
.
.
.
.
.
.
.
.
29
29
33
35
39
40
43
47
49
50
52
.
.
.
.
.
.
.
.
.
53
53
59
65
69
73
76
83
88
93
INDICE GENERAL
ii
4. Ruptura espont
anea de simetra
4.1. Masa para el campo escalar . . . . . . . . .
4.2. Boson de Goldstone . . . . . . . . . . . . . .
4.2.1. Coordenadas cartesianas . . . . . . .
4.2.2. Coordenadas polares . . . . . . . . .
4.3. Masa para el boson gauge . . . . . . . . . .
4.4. Mecanismo de Higgs en un caso no Abeliano
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
97
99
99
101
101
103
5. Fermiones
5.1. Ecuacion de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.1. Fermiones de Weyl . . . . . . . . . . . . . . . . . . . . .
5.1.2. Corriente conservada y Lagrangiano de Dirac . . . . . .
5.1.3. Tensor momento-energa . . . . . . . . . . . . . . . . . .
5.1.4. Ecuaciones de Euler-Lagrange . . . . . . . . . . . . . . .
5.1.5. Propiedades de las matrices de Dirac . . . . . . . . . . .
5.2. Electrodinamica Cuantica . . . . . . . . . . . . . . . . . . . . .
5.3. Cromodinamica Cuantica . . . . . . . . . . . . . . . . . . . . . .
5.3.1. Ecuaciones de EulerLagrange . . . . . . . . . . . . . . .
5.4. Soluciones a la ecuacion de Dirac . . . . . . . . . . . . . . . . .
5.4.1. Lagrangiano de Weyl . . . . . . . . . . . . . . . . . . . .
5.4.2. Ecuaciones de Weyl . . . . . . . . . . . . . . . . . . . . .
5.5. Espn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6. Solucion de partcula libre . . . . . . . . . . . . . . . . . . . . .
5.7. Lmite no relativista en presencia de un campo electromagnetico
5.8. Fermiones quirales de cuatro componentes . . . . . . . . . . . .
5.9. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
109
109
109
110
111
112
114
116
117
121
122
122
123
123
126
130
132
134
6. Modelo Est
andar
6.1. Interaccion Electrodebil para leptones . . . . . . . . . . . . . .
6.1.1. Dispersion electronneutrino . . . . . . . . . . . . . . .
6.2. Modelo Estandar . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.1. Primera generacion . . . . . . . . . . . . . . . . . . . .
6.2.2. Dinamica de sabor . . . . . . . . . . . . . . . . . . . .
6.3. Fenomenologa Electrodebil . . . . . . . . . . . . . . . . . . .
6.3.1. Decaimientos debiles mediados por corrientes cargadas
6.4. Calculo de procesos . . . . . . . . . . . . . . . . . . . . . . . .
6.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
135
135
142
143
143
145
148
151
153
153
A. Soluciones a los problemas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
155
Introducci
on
Nuestro entendimiento de como funciona el mundo fsico ha llegado a una culminacion exitosa
en a
nos recientes con el desarrollo y comprobacion experimental del Modelo Estandar (ME) de las
interacciones fundamentales. A medida que el ME ha llegado a ser mejor entendido y comprobado
experimentalmente, mucha mas gente con algunos conocimientos en fsica desea entender cuantitativamente este nuevo exito de las ciencias moderna. Debido a esto, parece esencial tener una presentacion del ME que pueda ser usada a nivel pregrado. En el presente trabajo pretendemos desarrollar un
n
ucleo basico de temas que permitan construir el sector bosonico del Modelo Estandar y mostrar que
dentro de este marco se pueden ilustrar los aspectos mas importantes del ME. Este material de apoyo
esta dirigido a personas que con conocimientos de mecanica y electromagnetismo a nivel de pregrado
quieran obtener un conocimiento basico de los principios subyacentes y las principales predicciones
del Modelo Estandar de las partculas elementales que permita apreciar una de las fronteras mas
importantes de la ciencia moderna.
El Modelo Estandar da una descripcion amplia de las partculas basicas y las fuerzas de la
naturaleza y de como pueden ser descritos todos los fenomenos fsicos que vemos. Este contiene los
principios subyacentes de todo el comportamiento de protones, n
ucleos, atomos, moleculas, materia
condensada, estrellas, y mas. El Modelo Estandar ha explicado mucho de lo que no fue entendido
antes; ha hecho cientos de predicciones exitosas, incluyendo muchas que han sido dramaticas; y a
excepcion de los resultados sobre oscilaciones de neutrinos, no hay ning
un fenomeno en su dominio
que no haya sido explicado.
La madurez de la formulacion del Modelo Estandar hace que cada vez sea mas necesario que
cualquier persona formada en fsica deba tener un conocimiento basico de sus principios subyacentes
y sus principales predicciones. Sin embargo, una apreciacion completa del exito y el significado del
Modelo Estandar requiere de un conocimiento profundo de la Teora Cuantica de Campos que va
mas alla de lo que es ense
nado usualmente en los cursos de pregrado en fsica. La Teora Cuantica de
Campos combina de forma coherente la mecanica cuantica y la relatividad especial. No fue sino hasta
que la Teora Cuantica de Campos quedo completamente formulada a principio de los a
nos setenta
(con la prueba de que las Teoras Gauge no abelianas con ruptura espontanea de simetra eran renormalizables), que el Modelo Estandar consiguio emerger como la teora que explica el comportamiento
conocido de las partculas elementales y sus interacciones.
A medida que el Modelo Estandar ha llegado a ser mejor entendido y comprobado experimentalmente, mucha mas gente con algunos conocimientos en fsica pero que no esta interesada en trabajar
en fsica de partculas, desea entender cuantitativamente este nuevo exito de las ciencias moderna.
Debido a esto, parece esencial tener una presentacion del Modelo Estandar que pueda ser usada a
nivel pregrado. Ademas, parece a
un mas importante tener libros que cualquier estudiante o fsico
que tenga los conocimientos necesarios pueda leer para aprender sobre los desarrollos en fsica de
partculas. Aquellos desarrollos deberan ser parte de la educacion de cualquiera interesado en lo que
la humanidad ha aprendido acerca de los constituyentes basicos de la materia y las fuerzas de la
1
Introduccion
naturaleza.
Pero hasta hace poco tiempo no haba un sitio donde las personas con los conocimientos suficientes pudieran ir a aprender esos desarrollos. Para llenar este vaco aparecieron libros como el de
Kane [1] (1993) y Cottingham [2] (1998) donde los prerrequsitos mnimos son un curso introductorio
en mecanica cuantica (Fsica Moderna) y los cursos normales de pregrado en mecanica y electromagnetismo. Con estas herramientas es posible obtener un buen entendimiento a nivel cuantitativo
de la fsica de partculas moderna. En estos libros se ha hecho un esfuerzo por extraer los conceptos y tecnicas basicas usadas en el Modelo Estandar de modo que un mayor n
umero de fsicos no
especializados en el area puedan tener una vision del logro intelectual representado por el Modelo, y
compartir el excitamiento por su exito. En estos libros el Modelo Estandar es ense
nado escribiendo
la forma basica de la teora y extrayendo sus consecuencias.
Todos los tratamientos anteriores eran a nivel de posgrado para fsicos que queran especializarse
en el area, o descripciones populares demasiado superficiales para realmente entender los desarrollos,
o descripciones historicas carentes de la logica profunda del Modelo Estandar.
Con nuestra experiencia dictando los cursos de introduccion a la fsica de partculas en la carrera
de Fsica basados en estos textos, ha quedado claro que con una presentacion del Modelo Estandar
de una forma deductiva en lugar de la aproximacion historica usual de los libros mas avanzados,
los estudiantes pueden llegar a entender la estructura basica de la fsica de partculas moderna.
Ademas resulta ser una peque
na extension adicionar el marco apropiado para entender porque algunas
direcciones de la investigacion de frontera se enfatizan mas, y en que direcciones se espera que
aparezcan nuevos progresos.
Con el presente trabajo queremos ir mas alla del objetivo de los anteriores libros y mostrar
que con una reorganizacion e inclusion de topicos adicionales no enfatizado en esos libros, con solo
los conocimientos de los cursos normales de pregrado en mecanica y electromagnetismo, se puede
llegar mas rapidamente a un entendimiento cuantitativo de los aspectos mas importantes del Modelo
Estandar.
En el presente trabajo pretendemos desarrollar un n
ucleo basico de temas que permitan construir
el sector bosonico del Modelo Estandar y mostrar que dentro de este marco se pueden ilustrar los
aspectos mas importantes del Modelo Estandar.
La Teora Cuantica de Campos (TCC) es el marco teorico utilizado en la descripcion cuantica
de campos relativistas. En este teora se estudian sistemas en los cuales las partculas pueden ser
creadas y destruidas. Esta teora resulta de combinar la mecanica cuantica con la relatividad especial
en un marco consistente. Las teoras cuanticas de campos se describen mas convenientemente en
el formalismo Lagrangiano. De hecho, los Lagrangianos que describen las partculas elementales y
sus interacciones puede ser construidos a partir de principios de simetra. Aspectos basicos de la
construccion de la TCC son:
Lagrangianos para campos de una sola partcula
Tratamiento relativstico de un campo
Segunda cuantizacion de campos de una sola partcula, bien sea mediante la cuantizacion
canonica o a traves de integrales de camino
Tratamiento de una sola partcula de forma covariante que permita describir la creacion y
aniquilacion de partculas.
Invarianza gauge local
Introduccion
Ejemplos concretos de teoras cuanticas de campos son:

Electrodinamica Cuantica. Resulta de imponer el principio gauge local basado en una simetra
abeliana a la ecuacion de Dirac para el electron. Como resultado se obtienen las ecuaciones
de Maxwell con un termino de corriente asociada a la interaccion electromagnetica entre el
electron y el foton.
Cromodinamica Cuantica. Resulta de imponer el principio gauge local basado en una simetra
no abeliana a la ecuacion de Dirac para los quarks. Entre los resultados se explica la libertad
asintotica observada en las interacciones fuertes y la autointeraccion de los bosones gauge.
Teora Electrodebil. Resulta de imponer el principio gauge local simultaneamente para una
simetra abeliana y para una simetra no abeliana a la ecuacion de Dirac para los fermiones
conocidos. La simetra no abeliana en este caso prohibe terminos de masa para los fermiones,
mientras que la invarianza gauge local, como en los casos anteriores, prohibe los terminos de
masa para los bosones gauge. De este modo, cuando las simetras de la teora electrodebil
son exactas, todas las partculas aparecen sin masa. Para ser consistente con el espectro de
fermiones y bosones conocidos, se introducen 4 campos escalares sin masa organizado en lo
que se conoce como un doblete de Higgs. Uno de ellos desarrolla un valor esperado de vaco
y rompe espontaneamente la simetra, generando masa para todos los fermiones. Mediante el
mismo mecanismo los otros 3 campos escalares ayudan a explicar las masas para tres de los
bosones gauge del modelo. El foton, junto con los neutrinos permanecen sin masa.
El Modelo Estandar es la TCC que combina de forma consistente la Cromodinamica Cuantica y
la Teora Electrodebil. Despues del rompimiento espontaneo de la simetra la parte Electrodebil se
reduce a la Electrodinamica Cuantica. El estudio de los fundamentos y las consecuencias fenomenologicas del Modelo Estandar requiere del desarrollo completo de la TCC basado en conceptos y
tecnicas avanzadas de mecanica cuantica y relatividad especial a un nivel normalmente de posgrado.
En las TCC los campos electromagneticos se convierten en operadores que dependen del espacio y
el tiempo. Los valores esperados de estos operadores en el ambiente descrito por los estados cuanticos
dan lugar a los campos clasicos. Los otros campos bosonicos, y los campos de Dirac para los fermiones
del Modelo Estandar tambien se convierten en operadores.
Sin embargo se puede escribir la forma basica del Modelo Estandar y extraer muchas de sus
consecuencias tratando los campos bosonicos y de Dirac como simples funciones.
En este caso los campos se pueden pensar como funciones de ondas de una partcula. En este
contexto el Lagrangiano bosonico del Modelo Estandar puede construirse usando solo conocimientos
a nivel de pregrado de mecanica y electromagnetismo y algunas referencias a aspectos basicos de la
mecanica cuantica.
Con estas herramientas se pueden escribir las ecuaciones de Maxwell en forma covariante y mostrar
como estas se pueden obtener, usando el principio de mnima accion, a partir del Lagrangiano para
el vector de campo electromagnetico. Se puede introducir a este nivel la importante idea de las
transformaciones gauge y relacionarla con la conservacion de la carga electrica. Se puede generalizar
el Lagrangiano para describir campos vectoriales masivos, lo que da lugar a la ecuacion de Proca. A
este punto, se puede obtener el Lagrangiano para una partcula escalar real, a partir de la componente
escalar del campo vectorial y mostrar que dicho Lagrangiano de lugar a la ecuacion de Klein-Gordon.
Tomando la componente escalar como un campo independiente se puede usar el principio gauge
local para estudiar sus interacciones con los campos gauge. Usando conceptos de mecanica cuantica
Introduccion
se puede generalizar el potencial del Lagrangiano para el campo escalar de modo que se pueda
interpretar su masa como las oscilaciones del campo alrededor de estado de energa fundamental, el
vacio. Se puede estudiar a partir de all, la ruptura espontanea de simetra. Con estos ingredientes
se puede construir finalmente el Lagrangiano bosonico del Modelo Estandar.
Despues de esto, se puede introducir el campo de Dirac como la solucion al la ecuacion equivalente
a la ecuacion Scrodinger pero compatible con la relatividad especial. Luego de definir el espn y la
helicidad se impone la invarianza gauge local del Modelo Estandar al Lagrangiano de Dirac y se
obtiene de esta forma el Lagrangiano completo del Modelo Estandar.
En el primer captulo se ha abordado la formulacion Lagrangiana de la Teora de Campos Clasica.
En la seccion 1.1 (ver Anexo 2), se formula el Principio de Mnima Accion para sistemas de partculas
y se establece que la cantidad a minimizar corresponde al Lagrangiano del sistema. Este Lagrangiano
depende de coordenadas generalizadas de desplazamiento y su derivada temporal.
En la seccion 1.2 se construye el sistema continuo mas simple correspondiente a las oscilaciones
de una cuerda unidimensional. Esta se construye suponiendo un sistema discreto de partculas unidas
por resortes que oscilan alrededor de su punto de equilibrio. Usando las tecnicas de la seccion 1.1 se
construye el Lagrangiano interpretando como desplazamiento el campo que describe las oscilaciones
de cada partcula. Tomando el lmite de infinitas partculas y separacion cero, se reescribe la Accion
en terminos de la densidad Lagrangiana y se establece que para sistemas continuos es dicha densidad Lagrangiana la que hay que minimizar para establecer el principio de mnima accion. Tenemos
entonces de un lado la Lagrangiana como punto de partida para describir las coordenadas de sistemas discretos, y la densidad Lagrangiana para describir los campos de desplazamiento de sistemas
continuos.
En la seccion 1.3 se usan metodos variacionales para calcular la variacion de la accion debida a
transformaciones de los campos (transformaciones internas) y de las coordenadas (transformaciones
externas). Con este resultado se derivan las ecuaciones de Euler-Lagrange en terminos de la densidad
Lagrangiana y se demuestra el Teorema de Noether. Para simetras internas se encuentra la expresion
para la corriente conservada J en terminos de la densidad Lagrangiana. Para simetras externas se
encuentra la expresion para el tensor T , que en sistemas relativistas se interpreta como el tensor
de momento-energa T .
De este modo dada una densidad Lagrangiana, las cantidades a calcular corresponden a la ecuacion
de movimiento resultante de la ecuaciones de Euler Lagrange, la corriente conservada J si la densidad
de Lagrangiana posee alguna simetra continua, y el tensor T .
Para la densidad Lagrangiana que da lugar a la ecuacion de Scrodinger en la secci
R on 1.4, la
simetra interna de invarianza de fase da lugar a la conservacion de la probabilidad, V T00 d3 x da
lugar a la energa del sistema, y la integral de T0i da lugar al correspondiente n
umero de onda de la
solucion de onda plana para la ecuacion de Scrodinger.
La densidad Lagrangiana para la cuerda unidimensional no posee simetras internas continuas.
Con respecto a las simetras externas, en la seccion 1.5 se muestra que para interpretar correctamente
el tensor T en este caso, es preciso cuantizar el campo que describe las oscilaciones de la cuerda.
Al cuantizarlo se encuentra que este describe una partcula que transporta energa, y en el lmite
en el cual la velocidad de la onda es la velocidad de la luz, la partcula correspondiente tambien
transporta momentum. De hecho, para que una onda sea solucion a las ecuaciones que describen las
oscilaciones de una cuerda unidimensional relativista se requiere que su frecuencia y n
umero de onda
satisfagan la ecuacion de energa-momento relativista con masa cero. La adicion de un termino de
masa al Lagrangiano correspondiente, da lugar a la ecuacion de Klein-Gordon para un campo real.
En el segundo captulo se estudia la version covariante de la ecuaciones de Maxwell. Despues
Introduccion
de introducir las unidades naturales en la seccion 2.1 y la notacion relativista en la seccion 2.2,
la forma covariante de las ecuaciones de Maxwell se desarrolla en la seccion 2.3. All se explota la
invarianza gauge para encontrar el Lagrangiano electromagnetico, el cual se reduce a las ecuaciones
de Klein-Gordon con masa igual a cero cuando se escoge el Gauge de Lorentz. En la seccion 2.4, se
modifican las ecuaciones de Maxwell para permitir un termino de masa. Como dicho termino rompe
la invarianza gauge de la teora, el gauge de Lorentz pasa a ser una condicion ineludible que da lugar
a la ecuacion de Klein-Gordon para un campo vectorial.
En el tercer captulo se introduce la ecuacion de KleinGordon como un caso particular de la
ecuacion de Proca. Se muestra que dicha ecuacion exhibe una simetra discreta de paridad para
el caso de un campo real. En las secciones subsiguientes se aumenta el Lagrangiano adicionando
mas grados de libertad de la misma masa y se muestra como va aumentando la simetra de una
simetra discreta a simetras continuas abelianas y no abelianas. A la luz de teorema de Noether
estas simetras dan lugar a cargas conservadas globalmente. En la seccion 3.3 se establece el principio
gauge local para imponer que la carga se conserve localmente. Esto da lugar a la aparicion del campo
gauge asociado a las interacciones electromagneticas y a la dinamica asociada a la interaccion del
campo escalar complejo en presencia del campo electromagnetico. En la seccion 3.5 se generaliza el
principio gauge local al caso no Abeliano, y en la seccion 3.6 se combinan el caso Abeliano con el
no Abeliano. Las nuevas caractersticas de las ecuaciones del campo gauge no Abeliano se ilustran
usando la representacion adjunta del Grupo no Abeliano en la seccion 3.7.
En el cuarto captulo se repite el mismo procedimiento del anterior captulo pero reemplazando
el potencial escalar de 12 m2 2 a 21 2 2 14 4 con 2 < 0 y > 0. De modo que no puede
interpretarse como un parametro de masa. Este potencial contiene un conjunto degenerado de vacos
que no respetan la invarianza del Lagrangiano. El analisis del espectro partculas alrededor de uno de
estos mnimos da lugar a bosones de Higgs masivos, seccion 4.1, bosones de Goldstone, seccion 4.2, y
campos gauge masivos, seccion 4.3 a traves del mecanismo de ruptura espontanea de la simetra. La
seccion 4.4 es un aplicacion de todos los conceptos y tecnicas desarrollados al caso del sector bosonico
del Modelo Estandar de las partculas elementales.
En el quinto captulo, basandonos en principios de simetra, se encuentra el Hamiltoniano de la
Ecuacion de Schrodinger dependiente solo de primera derivadas y que es compatible con la ecuacion
de KleinGordon. Este corresponde la ecuacion de Dirac que describe los fermiones del Modelo
Estandar. El Hamiltoniano resulta ser en este caso una combinacion lineal de matrices que satisfacen
el algebra de Dirac. El Lagrangiano de Dirac, resulta tener una invarianza abeliana global. En la
seccion 5.2 se usa el principio gauge local para hacer que la carga asociada a la transformacion abeliana
sea local. Como antes esto da lugar a la aparicion del campo gauge asociado a las interacciones
electromagneticas y a la dinamica asociada a la interaccion del campo fermionico en presencia del
campo electromagnetico. En la seccion 5.6 se definen la helicidad izquierda y derecha de los fermiones.
En el captulo seis, se construye el Lagrangiano leptonico gauge local para el Grupo SU(2)L
U(1)Y que describe correctamente las interacciones debiles y electromagneticas. Como 3 de los 4
bosones gauge son masivos debe introducirse un potencial escalar que rompa espontaneamente la
simetra. En la seccion 5.3 se introduce el grupo gauge local no Abeliano responsable de las interacciones fuertes entre quarks y que completa la estructura de grupo del Modelo Estandar de las
partculas elementales.
La pagina web del curso esta en:
http://gfif.udea.edu.co/tikiwiki/showpage?htcc
Introduccion
Captulo 1
Teora Cl
asica de Campos
1.1.
Principio de Mnima Acci

on
El Principio de Mnima accion establece, una vez fijado el espacio de coordenadas generalizadas
sobre el espacio de configuracion, que de todas las trayectorias posibles que transcurren entre t1 y t2 ,
el sistema escogera aquella que minimice la accion S [8]. La magnitud de la accion viene dada para
cada trayectoria por la integral:
Z t2
L(qi (t), qi (t), t)dt
(1.1)
S [qi , qi ] =
t1
Donde: qi (t) son las coordenadas parametricas de una trayectoria posible. L(qi , qi , t), es la funcion
lagrangiana del sistema.
Puede probarse mediante principios variacionales, que de todas las trayectorias posibles, la que
hace estacionaria la anterior expresion es la que satisface la siguiente condicion i:

L
d L
=0
(1.2)
dt qi
qi
conocidas como las ecuaciones de Euler-Lagrange. La demostracion se hara mas adelante para el caso
en el que las coordenadas generalizadas corresponden a funciones de campo.
De momento mostraremos como la segunda ley de Newton [10], puede escribirse en la forma de
la ec. (1.2).
F = ma
d2 x
V (x)
=m 2
x
dt
dx
=m
dt

d 1 2
mx
=
dt x 2
(1.3)
Podemos introducir el Lagrangiano a cada lado de la igualdad adicionando terminos con la respectiva
derivada parcial cero:

1 2
d 1
2
mx V (x) =
mx V (x) .
x 2
dt x 2
7

CAPITULO 1. TEORIA CLASICA
DE CAMPOS
Reemplazando L = 21 mx 2 V (x) = T V , obtenemos

d L L
= 0.
dt x
x
Una forma mas rigurosa de escribir la ec. (1.3) puede encontrarse en [8].
El Hamiltoniano del sistema se obtiene definiendo la variable canonica conjugada de x
p=
L
= mx,
(1.4)
y usando la transformada de Lagrange

H = px L =
L
1
x L = mx 2 + V = T + V
x
2
(1.5)
Para visualizar el principio de mnimo de accion se recomienda seguir las actividades del programa
interactivo en Java disponible online en [9]. All se considera el problema de un objeto de 0.2Kg
lanzado hacia arriba y retornado al punto de partida 3 segundos despues. Si dividimos la trayectoria
en tres intervalos como se muestra en la Fig. 1.1, teniendo en cuenta que la velocidad es la pendiente
del segmento, para t = 0.75 s x1 = 11.13 m, t1 = 0.75 s, x2 = 0 m, t2 = 1.5 s, tenemos que para la
trayectoria mostrada
Z t2
X
(T V )dt
(T V )i t
S=
t1
i
"
2
X
i=1
1
m
2
xi xi1
ti ti1
2
mgxi t
16.67 J s
(1.6)
Iterando el proceso se puede encontrar numericamente (o a mano) la trayectoria que minimiza la

accion mostrada en la Fig. 1.2 Para una dimension podemos definir la densidad Lagrangiana como
Z
L(q, q,
t) =
L(q, q,
t)
or
L(q, q,
t) = L(q, q,
t)dq.
(1.7)
q
La ec. (1.1) puede escribirse entonces como
Z
S [qi , qi ] =
t2
t1
L(qi (t), qi (t), t) dq dt.
(1.8)
Para sistemas continuos es conveniente usar la densidad Lagrangiana. Abordaremos a continuacion

el sistema continuo correspondiente a la cuerda clasica unidimensional para construir la densidad
Lagrangiana correspondiente. A partir de ella demostraremos las ecuaciones de Euler Lagrange para
dicho sistema.
1.2.
La cuerda cl
asica unidimensional
Considere una cuerda de longitud L formando un crculo de radio R. Es conveniente considerar un

conjunto de N partculas de masa m a lo largo de la circunferencia, unidas por resortes de longitud l

1.2. LA CUERDA CLASICA
UNIDIMENSIONAL
Figura 1.1: Ejemplo de calculo de la Accion para una trayectoria arbitraria
Figura 1.2: Trayectoria que minimiza la Accion
Figura 1.3: Modelo Cuerda

DE CAMPOS
10
y constante elastica k. Los modos vibracionales de la cuerda a lo largo de la circunferencia se obtienen

en lmite de N y l 0
i , t) es el desplazamiento de la iesima masa desde su
De acuerdo a la figura 1.3, si i = (z
posicion de equilibrio, entonces el Lagrangiano del sistema de N particulas y resortes es:
N 1
1 X
L= m
2 i=0
i
t
2
N 1
2
1 X
i+1 i ,
k
2 i=0
2
1 X 2 1 X
= m
i k
i+1 i .
2 i=0
2 i=0
N 1
N 1
(1.9)
(1.10)
Si es la densidad de la cuerda, T la tension y v la velocidad, entonces

m
l
T = kl
T
v2 = .
(1.11)
i , t) (z,
t),
i = (z
(1.12)
(1.11) En el lmite l 0 y N , tenemos
que representa la funcion de campo del desplazamiento de una masa infinitesimal de su posicion de
equilibrio. Entonces

2
N 1
N 1
i+1 i
1 X m 2 1 X
(kl)l
.
l i
L=
2 i=0 l
2 i=0
l

2
N 1
N 1
i+1 i
1X
1 X 2
i l
T
l.
=
2 i=0
2 i=0
l
En el lmite continuo
R
P
( ) l ( ) dz, entonces
L=
con
" 2
2 #
Z L
1

dz =
T
Ldz,
2
t
z
0
(1.14)
" 2
2 #

,
T
L=
2
t
z
(1.15)
y
S=
Definiendo
(1.13)
L dtdz.
T ,
(1.16)
(1.17)

1.2. LA CUERDA CLASICA
UNIDIMENSIONAL
11
tenemos
"
1
2 T
"
1 1
=
2 v2
L(/t, /z) =
2 #
t
T z
2 2 #
t
z
2
(1.18)
Note que:

1 2
L
= 2 2
t (/t)
v t

2
L
= 2
z (/z)
z
(1.19)
(1.20)
Si en la ec. (1.10), tomamos como coordenadas generalizadas las N i y i , entonces, podemos

obtener las ecuaciones de movimiento a partir de las ecuaciones de Euler-Lagrange (1.2):
!
d L
L
= 0,
i = 0 hasta N 1.
(1.21)
dt i
i
En el lmite l 0 y N , y usando las ecs. (1.19) y (1.20),
!
d
2 i
d L
=
mi = m 2
dt i
dt
t

2 i
= Tl
T t2

1 2
l T
v 2 t2

L
.
=l T
t (/t)
(1.22)
(1.23)
Para el segundo termino de la ec. (1.21) notese que
N
1
X
i=0
i+1 i
2
= 1 0
= 1 0
2
2
2 1
2 1
2
2
(i1)+1 i1
i i1
2
2
i+1 i
i+1 i
Entonces
N 1
2

X
i+1 i = 2 i i1 2 i+1 i (1)

i i=0

i+1 i i i1
.
=2l
l
l
2
2
(1.24)

DE CAMPOS
12
Si zi es el punto medio del intervalo entre zi1 y zi , entonces en el lmite de l 0,

N 1
i , t)]/l [(z
i , t) (z
i1 , t)]/l
2
X
[(zi+1 , t) (z
2

i+1 i =2l
l
l
i i=0

zi , t)/z
(
zi+1 , t)/z (
2l2
l
l
2

=2l2 2
z
2l2 2
.
T z 2
(1.25)
Usando las ecs. (1.25) (1.11), tenemos

#
"
N 1
2
1
X
L
= k
i+1 i
2
i
i i=0
2 2

1
2l
k
2
T z 2
2
l T 2
z

L
= l T
.
z (/z)
(1.26)
(1.27)
De las ecuaciones (1.22) y (1.26), obtenemos la ecuacion de movimiento para el campo (z, t):
1 2 2
2 = 0,
v 2 t2
z
(1.28)
que corresponde a la ecuacion de onda en una dimension. En tres dimensiones obtendramos:

1 2
2 = 0.
2
2
v t
(1.29)
De otro lado, de las ecuaciones (1.23) y (1.27), obtenemos las ecuaciones de Euler-Lagrange para la
densidad Lagrangiana

L
L
+
= 0.
(1.30)
t (/t)
z (/z)
En tres dimensiones:

L
L
L
L
+
+
+
= 0.
t (/t)
x (/x)
y (/y)
z (/z)
(1.31)
Definiendo
x = (x0 , xi ) = (x0 , x1 , x2 , x3 ) = (t, x, y, z)
= 0, 1, 2, 3,
i = 1, 2, 3 ,
(1.32)
PARA L
1.3. PRINCIPIO DE MINIMA ACCION
13
podemos expresar las ecuaciones de Euler-Lagrange que satisface L(/x ), como

X
L
=0
(/x )
x

L
= 0,
x (/x )
donde, en la u
ltima ecuacion se ha usado la convencion de suma sobre ndices repetidos.
Si la densidad Lagrangiana depende tambien directamente de , L(/x , ), entonces la ecuacion de Euler-Lagrange para las coordenadas generalizadas /x y , es

L
L
= 0.
(1.33)
x (/x )
Esta
u
ltima ecuacion de deducira usando metodos variacionales en la siguiente seccion
1.3.
1.3.1.
Principio de Mnima Acci

on para L
Ecuaciones de Euler-Lagrange
Definamos
,
x
En tres dimensiones, la accion de la ec. (1.16), queda
Z
S[, ] =
d4 xL(, )
=
(1.34)
(1.35)
donde d4 x = dt dx dy dz. Considere primero una variacion solo de los campos, tal que (x = x )
(x) = (x) (x)
De otro lado, con x = x x, la expansion de Taylor para f (x + x) es

f
f (x + x) = f (x) +
x +
x
Para L, tenemos de la ec. (1.36)
L(, ) = L( + , + ())
L
L
=L+
+
()
( )
Entonces, de imponer que S = 0, tenemos

Z
Z
S = S S =
d x L( , )
d4 x L(, )
R
R
Z
L
L
=
d4 x
+
()
( )
R

Z
Z
L
L
L
4
4
+
d x

=
d x
( )
( )
R
R

Z
Z
L
L
L
4
+
S =
d x

d = 0.
( )
( )
R
(1.36)
(1.37)
(1.38)
(1.39)

DE CAMPOS
14
Donde hemos aplicado el Teorema de Gauss

Z
Z
3
Ad x =
A dS
V
(1.40)
generalizado a cuatro dimensiones. Como la variacion de es cero sobre la hipersuperficie resulta

Z
L
L
4
d x
= 0.
(1.41)

( )
R
Como es cualquier posible variacion entre las fronteras de la hipersuperficie, el integrando debe
anularse y resultan las ecuaciones de Euler-Lagrange:

L
L
= 0.
(1.42)
( )
La densidad Lagrangiana
L = L + ((x))
(1.43)
donde (x) es cualquier funcion de los campos de la densidad Lagrangiana original, da lugar a la
Accion
Z
Z
Z
4
S =
d xL = d xL+
d4 x
R
ZR
ZR
4
= d x L + d
R
=S ,
(1.44)
para una hipersuperficie suficientemente grande. De modo que dos densidades lagrangianas que difieran solo en derivadas totales dan lugar a la misma Accion.
Usando el principio de mnima accion en terminos del campo , tenemos que para la densidad
Lagrangiana (1.18)
"
2 #
2
1 1
,
(1.45)
L=
2
2 v
t
z
las ecuaciones de Euler-Lagrange (1.42)

L
L
L
+ 3
=0
0
(0 )
(3 )

L
+
=0
t (/t)
z (/z)

1
=0
v 2 t t
z z
1 2 2
2 =0 ,
v 2 t2
z
que corresponde a la ec. (1.28).
(1.46)
PARA L
15
Generalizando a tres dimensiones vemos que la ecuacion para una onda propagandose a una
velocidad v, eq. (1.29),
1 2
2 = 0 ,
(1.47)
2
2
v t
proviene de una densidad Lagrangiana (hasta derivadas totales)
"
#
2
1
1
L=

2
v 2 t

1 1
0 0 i i .
(1.48)
=
2 v2
1.3.2.
Teorema de Noether para simetras internas
Para un campo complejo la ec. (1.35) se generaliza a

Z
S[, , , ] =
d4 x L(, , , )
(1.49)
Usando el mismo procedimiento, se obtiene

Z
Z
L
L
L
L
4
4
+
dx

S = d x
( )
( )
R

R
Z
L
L
+
d4 x
= 0.
+
( )
( )
R
(1.50)
Usando de nuevo el Teorema de Gauss resultan las ecuaciones de Euler Lagrange para y

L
L
L
L
= 0.
= 0,
(1.51)
( )
( )
De otro lado, si asumimos que y satisfacen las ecuaciones de EulerLagrange, en lugar de asumir
que y se anulan sobre la hipersuperficie, los dos primeros terminos de la ec. (1.50) se anulan
y tendremos que para que S = 0:
Z
d4 x ( J ) = 0,
(1.52)
R
donde,

L
L
J =
+
( )
( )
Entonces J satisface la ecuacion de continuidad:
(1.53)
J = 0
(1.54)
J 0
+J =0
t
(1.55)
Integrando con respecto al volumen

Z
Z
J 0 3
d x+
J d3 x = 0,
t
ZV
ZV
J 0 3
d x + J dS = 0,
S
V t
(1.56)

DE CAMPOS
16
Escogiendo una superficie suficientemente grande que abarque toda la fuente de densidad = J 0 , de
la corriente J, el segundo integrando es cero y
d
dt
d3 x = 0.
(1.57)
Este resultado es conocido como Teorema de Noether. Este

establece que para toda transformacion continua del tipo (1.36), debe existir una cantidad conservada, dQ/dt = 0, que en este caso
corresponde a
Z
Q=
d3 x.
(1.58)
V
1.3.3.
Teorema de Noether para simetras externas
Para el caso de una simetra externas, por ejemplo la correspondiente a una traslacion espacio
temporal
x x =x + a
x =a
(1.59)
tenemos
(x ) = (x + a)
(x)
(x) +
a
x
(1.60)
(1.61)
[(x) + (x)]a
x
(x)
a ,
(x) + (x) +
x
= [(x) + (x)] +
(1.62)
(1.63)
donde, por simplicidad, es de nuevo un campo real. Entonces,

(x) (x ) (x) = (x) +
(x)
a .
x
(1.64)
Para una traslacion, (x) = 0, ver figura 1.4. De modo que

= ( )a ,
(1.65)
y la transformacion del campo como consecuencia de la traslacion es

(x) (x) = (x) (x) = (x) + ( (x))a .
(1.66)
Si a es constante (un analisis mas general es hecho en [3])

d4 x = d4 x
(1.67)
PARA L
17
Figura 1.4: Traslacion de funcion y coordenadas en una dimension: (x) = (x )

En este caso, asumiendo que el campo satisface las ecuaciones de Euler-Lagrange y usando la ec. (1.65)
y (1.42) tenemos
Z
Z
4
S =
d x L( , , x )
d4 x L((x), (x), x)
R
ZR
Z
4
=
d x L( + , + (), x + a)
d4 x L
R
R

Z
Z
L
L
4
d x L+
d4 x L
+
() + ( L)a
( )
R
R

Z
L
L
4
+
() + ( L)a
=
dx
( )
R

Z
L
L
4
+
() + ( L)a
=
dx
( )
( )
R

Z
L
4
+ ( L)a
=
d x
( )
R

Z
L
4
=
d x
( ) + L a
( )
ZR
=
d4 x ( T ) a = 0.
(1.68)
R
Y por consiguiente
T = 0,
donde
T =
L
( ) L
( )
(1.69)
(1.70)
El tensor T proviene de asumir la homogeneidad del espacio y el tiempo y es llamado el tensor de

momentumenerga. La densidad Hamiltonina se obtiene de T00
L
L

(x)
L.
= (x)
t
H = T00 =
(1.71)
(1.72)
Comparando con la expresion correspondiente en la formulacion Lagrangiana de la Mecanica Clasica,

tenemos que si (x) es la variable canonica, la variable canonica conjugada es (x)
(x) =
L
.
((x)/t)
(1.73)

DE CAMPOS
18
El teorema de Noether en este caso establece que la invarianza de la Accion bajo traslaciones temporales da lugar a la ecuacion de continuidad (1.69) para = 0
T0 = 0
(1.74)
cuya carga conservada corresponde a la energa

Z
Z
3
0
H=
d x T0 =
d3 x H.
V
(1.75)
De igual forma la invarianza bajo traslaciones espaciales de lugar a ecuaciones de continuidad para
cada componente = i (i = 1, 2, 3)
Ti = 0,
(1.76)
cuyas densidad de cargas conservadas, Ti0 , que en forma vectorial escribiremos como T0 , dan lugar
a la conservacion del momentum
Z
d 3 x T0 .
(1.77)
P=
V
Generalizando a un campo complejo

T =
1.4.
L
L
( ) + ( )
L
( )
( )
(1.78)
Aplicaci
on a Mec
anica Cu
antica
Haciendo ~ = 1, el Lagrangiano que da lugar a la ecuacion de Schrodinger es

1
i

L(, , , ) =

+ V
2m
2
t
t
1
i
=
i i ( 0 0 ) + V .
2m
2
(1.79)
Aplicando las ecuaciones de Euler-Lagrange (1.51) para la funcion de onda obtenemos la ecuacion
de Scrodinger con ~ = 1:

L
L
L
L
L
0 =
+ i
= 0
.
(1.80)
( )
(0 )
(i )

Como
i
L
=
(0 )
2
1
L
=
i
(i )
2m
L
i
= 0 + V
L
i
=
(0 )
2
L
1
=
i
(i )
2m
L
i
=
0 + V .

2
(1.81)
A MECANICA
1.4. APLICACION
CUANTICA
Entonces, reemplazando la ec. (1.81) en la ec. (1.80), tenemos

L
i
i
1
L
= 0
+ i
i 0 + V
0 =
( )

2
2m
2
i
1
i
= 0 +
i i + 0 V .
2
2m
2
Que puede escribirse como
i =
t

1 2
+ V .
2m
19
(1.82)
(1.83)
El Lagrangiano en ec (1.79), y por consiguiente la Accion, es invariante bajo una transformacion

de fase
= ei .
(1.84)
Por consiguiente, de acuerdo al Teorema de Noether, debe existir una cantidad conservada. La corriente conservada se obtine de la ec. (1.53). Para los campos y , tenemos
= = (ei 1) i
i.
Usando ademas la ec. (1.81) en la definicion de J 0 dada por la ec. (1.53), tenemos

L
L
0
J =
+
(0 )
(0 )
i
i
= (i) + (i )
2
2
= ,
(1.85)
(1.86)
(1.87)
y

L
L
J =
+
(i )
(i )
1
1
i (i) + (i )
i
=
2m
2m
i
(i i ) .
=
2m
i
(1.88)
Entonces, normalizando apropiadamente la corriente escogiendo = 1, tenemos

J 0 =
i
J=
( ) .
2m
(1.89)
(1.90)
De acuerdo a la ec. (1.89), la cantidad conservada corresponde a la probabilidad de la funcion de

onda y normalizando apropiadamente la ec. (1.58)
Z
Q =
d3 x = 1.
(1.91)
V

DE CAMPOS
20
En cuanto a las simetras externas, tenemos de la ec. (1.70) que da lugar a las ecuaciones de
continuidad (1.74)(1.76)
T0 = 0,
Ti = 0
(1.92)
Las cargas conservadas corresponden entonces a T00 y Ti0 . Usando las ecs. (1.81) en la ec. (1.78)
L
L
(i ) + (i )
(0 )
(0 )
i
i
Ti0 = (i ) + (i )
2
2
Ti0 =
Entonces, definiendo
T0 =
i
( )
2
(1.93)
(1.94)
Ademas
i
(( ) )
2
i
= i + ( ) .
2
T0 =
(1.95)
Integrando en el volumen
Z
T d x = i
i
d x
2
d3 x
(1.96)
De acuerdo a la ec. (1.91), la u

ltima integral es una constante y
Z
Z
0 3
T d x = i
d3 x
V
ZV
bd3 x
hb
pi =
p
(1.97)
De modo que hb
pi son las cargas conservadas asociadas al valor esperado el operador de momentum
b = i .
p
De otro lado
(1.98)
L
L
0 + 0
L
(0 )
(0 )
i
i
1
i
= 0 + 0
i i + ( 0 0 ) V
2
2
2m
2
1
i i V
(1.99)
=
2m
Como las corrientes solo estan determinadas hasta un factor de proporcionalidad, definimos
T00 =
1
+ V
2m
1
1 2
=
( )
+ V .
2m
2m
H T00 =
(1.100)
A LA CUERDA UNIDIMENSIONAL
1.5. APLICACION
Integrando sobre el volumen y usando la ec. (1.97)

Z
Z
Z
1 2
1
3
( ) +

+ V d3 x
Hd x =
2m
2m
V
V

Z
ZV
1
1 2
=
( ) +

+ V d3 x
2m
2m
V
V

Z
i
1 2
=
hb
pi +

+ V d3 x
2m
2m
V

Z
1
2
+ V d3 x .
=

2m
V
Entonces
H
=
Hd x =
(1.101)

1 2

+ V d3 x
2m
b = hHi.
b
d3 x H
Que es un resultado bien conocido de la mecanica cuantica.

Como
b = 1 p2 + Vb ,
H
2m
podemos escribir la ec. (1.83) como
b .
i = H
t
Podemos identificar entonces los operadores de energa y momentum.
b =i,
H
t
21
= i .
p
(1.102)
(1.103)
(1.104)
(1.105)
Retornando a la ec. (1.97), tenemos que para la solucion de partcula libre de la ecuacion de
Schrodinger
= A eikx ,
(1.106)
la condicion de normalizacion en ec. (1.91) implica que |A|2 = 1/L3 , y
Z
T0 d3 x = k.
(1.107)
Notese que de la ec. (??) se puede obtener la densidad Hamiltoniana, y usando la ec. (1.71) se
puede encontrar la densidad Lagrangiana
1.5.
Aplicaci
on a la cuerda unidimensional
Para el Lagrangiano en la ec. (1.18), la ecuacion de continuidad para la energa es

T0 = 0
0 T00 + 3 T03 = 0
H Pz
+
=0
t
z
(1.108)

DE CAMPOS
22
donde H = T00 es la densidad de energa y Pz = T30 es el flujo de energa en la direccion z a lo largo

de la cuerda. Mientras que la ecuacion de continuidad para la conservacion del momentum es
T30 T33
+
= 0.
t
z
(1.109)
Entonces el Hamiltoniano para la cuerda unidimensional se puede obtener de la ec. (1.71)
L
L
(/t) t
"
2
2 #
2
1
1 1
= 2
v
t
2 v 2 t
z
"
#

2
2
1 1
=
,
+
2 v 2 t
z
H(/t, /z) =
y
H=
H dz .
De acuerdo al Teorema de Noether,
(1.110)
H
= 0,
t
que establece la conservacion de la energa. Ademas
Z L
Pz =
T30 dz .
(1.111)
(1.112)
(1.113)
T03 .
La componente z del vector de flujo de energa (vector de Poynting) del campo esta dado por
De la ecuacion para T (1.70)
L
(/t)
(/z)

=
.
z t
Pz =
(1.114)
De otro lado
L
(/z)
(/t)
1
.
= 2
v t z
T30 =
La cantidad conservada corresponde en este caso al momentum en la direccion z

Z
Pz =
d3 x T30 .
(1.115)
(1.116)
Para encontrar la forma explicita del Hamiltoniano y de Pz , proponemos como solucion general
a la ecuacion de onda (1.28)
1/2

X

v2
an ei(kn zn t) + an ei(kn zn t) ,
(1.117)
(z, t) =
2n L
n=
1.5. APLICACION
23
Para que se satisfagan las condiciones periodicas (0, t) = (L, t), donde L es la longitud de la cuerda
1/2
2 1/2

X

v
v2
in t
in t
an e
+ an e
=
an ei(kn Ln t) + an ei(kn Ln t) ,
2n L
2n L
n=
(1.118)
Igualando cada coeficiente an (o an )

ein t = ei(kn Ln t)
eikn L = 1
y
kn =
2n
,
L
n = 0, 1, 2, . . . .
(1.119)
(1.120)
De la ecuacion de onda,
1 2 2
2 =0
v 2 t2
z (
)
2 1/2
X

1 2
v
an ei(kn zn t) + an ei(kn zn t)
2 t2
v
2
L
n
n=
)
(
1/2

X

v2
2
= 0.
an ei(kn znt) + an ei(kn zn t)
2
z
2
L
n
n=
Igualando para cada coeficiente an y an
)
(
1/2

1 2
v2
v 2 t2
2n L
)
(
1/2

v2
2
i(kn zn t)
i(kn zn t)
an e
+ an e
= 0,
2
z
2n L

in
i(kn zn t)
i(kn zn t)
a
e
a
e
n
n
v 2 t

an ei(kn znt) an ei(kn zn t) = 0 ,
ikn
z

n2
2
v

+ kn2 an ei(kn zn t) + an ei(kn zn t) = 0

n2
2
2 + kn [an n (z, t) + an n (z, t)] = 0 ,
v
donde
1
n (z, t) = ei(kn zn t) .
L
(1.121)
(1.122)
(1.123)
(1.124)
(1.125)

DE CAMPOS
24
Entonces, se debe satisfacer que
n2 = v 2 kn2
2 2
2
2 4 n
n = v
.
L2
(1.126)
kn y n satisfacen
kn = kn ,
n = n .
(1.127)
La ecuacion (1.117) queda

2 1/2
X
v
(z, t) =
[an n (z, t) + an n (z, t)] ,
2
n
n=
y las funciones n satisfacen las siguientes condiciones de normalizacion

Z L
dz n (z, t)m (z, t) = nm .
(1.128)
(1.129)
Ademas
dz n (z, t)m (z, t) = n,m e2in t .
(1.130)
En tal caso de la ec. (1.111), tenemos (ver problema 2)

Z
Z L
1 L
1
dz
+
dz
H= 2
2v 0
t t
2 0
z z
X
=
n an an
(1.131)
n=
En unidades naturales donde ~ = 1, E = ~ = , y la frecuencia tiene unidades de energa.

Ademas
Z L
X
Pz =
T30 dz =
kn an an
(1.132)
0
n=
De nuevo el n
umero de onda representa el vector de flujo de energa.
Esto puede hacerse de
En una teora cuantica de campos, el campo pasa a ser un operador .
dos maneras. Por el metodo de cuantizacion canonica, usando la variable canonica conjuga (z, t)
definida en la ec. (1.73), que para el caso de la cuerda unidimensional corresponde a
(z, t) =
1
.
v 2 t
(1.133)
Entonces los correspondientes operadores para y deben satisfacer (~ = 1)

t),
[(z,
(z , t)] = i(z z)
t), (z
, t)] = 0
[(z,
[
(z, t),
(z , t)] = 0
(1.134)
1.5. APLICACION
25
puede expandirse en terminos de los operadores a

En este caso ,
y a
1/2

2
X

v
t) =
(z,
a
n ei(kn zn t) + a
n ei(kn zn t)
2n L
n=
=
(1.135)
n=
y y
satisfacen las relaciones de conmutacion (1.134) si
[
an , a
n ] = 1
[
an , a
n ] = 0
[
an , a
n ] = 0.
(1.136)
El Hamiltoniano es ahora un operador dado por

b=
H
bn , dado por
Con el operador de n
umero N
n=
bn ,
wn N
bn = a
N
n an .
(1.137)
(1.138)
bn es Hermtico, cada N
bn este tiene un conjunto completo de autoestados ortonormales [7]
Ya que N
bn |mi = m|mi
N
hm |mi = m m
X
1=
|mihm|.
(1.139)
bn con an y a
Utilizando las relaciones de conmutacion de N
n se puede demostrar que
a
n |mi = m + 1 |m + 1i
a
n |mi = m |m 1i.
(1.140)
y por consiguiente
bn |mi = m|mi
N
Esto significa que todos los estados se pueden generar desde un estado base |0i
m
a
n
|mi =
|0i.
m!
(1.141)
(1.142)
A los estados |mi se les llama estados de fonones. m corresponde al n

umero de fonones de energa
n . an crea un fonon de energa n , y an destruye un fonon de frecuencia n . Al estado |0i se le llama
el vaco.

DE CAMPOS
26
Para dos operadores de n

umero de frecuencias diferentes n1 y n2 tenemos
De este modo
bn1 |mn1 i = mn1 |mn1 i

N
bn1 |mn2 i = 0
N
b n1 i =
H|m
n=
bn2 |mn2 i = mn2 |mn1 i

N
bn2 |mn1 i = 0.
N
bn |mn1 i = n1 mn1 |mn1 i.
n N
(1.143)
(1.144)
El autoestado del Hamiltoniano para I conjuntos de fonones de diferentes frecuencias puede

escribirse como
|mn1 , mn2 , . . . , mnI i.
(1.145)
A tales estados, con un n
umero definido de fonones de varias frecuencias, se les llama estados de
Fock.
Los autovalores del Hamiltoniano para un estado de Fock son
b n1 , mn2 , . . . , mn i =
H|m
I
I
X
i=1
ni mni |mn1 , mn2 , . . . , mni i,
(1.146)
de modo que la energa de un estado de Fock es

b n1 , mn2 , . . . , mn i =
E = hmn1 , mn2 , . . . , mnI |H|m
I
I
X
ni mni .
(1.147)
i=1
Los fonones estan asociados a frecuencias, o modos normales de la cuerda, de modo que estan
relacionados al movimiento de la cuerda como un todo, mientras que las partculas de la cuerda
estan localizadas en el espacio de posiciones. En general pueden existir partculas asociadas a campos
abstractos que no tienen conexion con ning
un sistema mecanico.
Finalmente, si el n
umero de cuantos de una determinada frecuencia n1 se puede conocer sin
ninguna incertidumbre entonces el campo n1 (z, t) = hn1 |n1 (z, t)|n1 i es completamente incierto.
Entre mayor sea la incertidumbre en el n
umero de fonones de una determinada frecuencia con mayor
precision se podra determinar el campo clasico asociado a esa frecuencia [7].
Retornando a la ec. (1.144) podemos ver que n1 puede interpretarse como una partcula que
transporta una energa (~ = 1)
n1 i = n1 mn1
hmn1 |H|m
(1.148)
Para una interpretacion completa de partcula se debe mostrar que el campo cuantizado tambien
transporta momentum. De hecho
(1.149)
hmn1 |Pz |mn1 i = kn1 mn1
La interpretacion del n
umero de onda de un campo cuantico como momentum es mas simple en
el contexto de la relatividad especial. La ec. (1.126), puede interpretarse como la ecuacion energa
momentum de la relatividad especial (c = 1)
E 2 = p2 + m2 ,
(1.150)
si m = 0 y v = c, es decir, para ondas propagandose relativsticamente

n2 1 = kn2 1
(1.151)
27
1.6. PROBLEMAS
El momentum de la partcula coincide con el correspondiente n

umero de onda
Entonces, la interpretacion del campo como partcula, es mas directa en un contexto donde se
combine la relatividad especial con la cuantizacion del campo mismo. Obviando estos detalles, en
adelante llamaremos partcula al campo clasico.
Si modificamos el Lagrangiano en ec. (1.18), para incluir un termino adicional (v = c = 1)
"
#
2
2
1
L(/t, /z) =
(1.152)
m2 2 .
2
t
z
entonces, la ec. (1.135) es solucion a la ecuacion resultante de aplicar las ecuaciones de EulerLagrange:
2 2
2 + m2 =0
2
t
z

2
2
+ m =0,
t2 z 2
si
2 = k 2 + m2 .
De este modo m puede interpretarse como la masa de la partcula.
Generalizando a 3 dimensiones tenemos el Lagrangiano de Klein-Gordon
2
1
L=
21 21 m2 2 ,
2 t
que dan lugar a la ecuacion de Klein-Gordon

2

2
2
+ m = 0.
t2
1.6.
(1.153)
(1.154)
(1.155)
(1.156)
Problemas
1.1 Obtenga el Hamiltoniano a partir de Lagrangiano en(1.14) y encuentre la expresion para la

densidad Lagrangiana en terminos de .
1.2 Demuestre las ecuaciones (1.131)(1.132).
1.3 Que cambios se requieren al Lagrangiano de la ecuacion de Dirac para que la Accion sea
invariante bajo transformaciones Gauge Locales?. Ver seccion 3.4.
1.4 A partir del Lagrangiano de la Mecanica Cuantica invariante bajo transformaciones de fase local
encuentre la ecuacion de Schrodinger en presencia del campo electromagnetico. Ver seccion 3.4.
1.5 Calcule T0i para el Lagrangiano de Schrodinger
L
L
0 + 0
(i )
(i )
1
(i 0 + 0 i )
=
2m
T0i =
De modo que Ti0 6= T0i .
(1.157)
28

DE CAMPOS
Captulo 2
Campos vectoriales
2.1.
Unidades Naturales
Las unidades naturales son unidades fsicas de medida definidas en terminos de constantes fsicas
universales [19]. El primer conjunto consiste de unidades naturales, las unidades de Planck [20], fue
formulado por el propio Planck despues de establecer la u
ltima constante universal, que lleva su
nombre. En palabras de Planck
...ihre Bedeutung f
ur alle Zeiten und f
ur alle, auch auerirdische und auermenschliche
Kulturen notwendig behalten und welche daher als ))nat
urliche Maeinheiten bezeichnet
werden konnen...
...These necessarily retain their meaning for all times and for all civilizations, even
extraterrestrial and non-human ones, and can therefore be designated as natural units...
De este modo, estas unidades son naturales debido a que el origen de su definicion proviene solo de
propiedades de la naturaleza y no de alguna construccion humana. A diferencia de otros conjuntos
de unidades naturales las unidades de Planck donde
GN = 1,
~ = 1,
c = 1,
K=
1
= 1,
40
k = 1,
(2.1)
estan basadas solo en las propiedades del espacio libre, y no en las propiedades (tales como carga,
masa, tama
no o radio) de alg
un objeto o partcula elemental.
Las constantes fsicas que suelen normalizarse se escogen del conjunto dado por la ec. (2.1) y
e,
me ,
mp .
(2.2)
Teniendo en cuenta que 1 eV = 1.602 176 487(40) 1019 J.

109 GeV =1.602 176 487(40) 1019 J
1 GeV =1.602 176 487(40) 1010 J
Example 2.1.0.1
Calcule la energa cinetica de un mosquito de 2 mg, moviendos a 1.6 Km/h
29
(2.3)
CAPITULO 2. CAMPOS VECTORIALES
30
V = 1.6 x 10-19 Joules
1 TeV = 1.6 x 10-19 x 1012 Joules = 1.6 x 10-7 Joules

1/2 m v2 = 1.6 x 10-7 Joules,
m = 2 x 10-6 kg therefore v = 0.4 m/s
= 1.4 kph
Teniendo en cuenta que [23]

c = 299 792 450 m s1
(exact) ,
(2.4)
podemos obtener la relacion entre longitud y energa a partir de

~c =1.054 571 68(53) 1034 J s 299 792 450 m s1
3.161 526 28 1026 J m
1 GeV
3.161 526 28 1026 J
m
1.602 176 487 1010 J
=1.973 269 631(49) 1016 GeV m.
(2.5)
Entonces ~c = 0.1973 269 631(49) GeV fm.

Example 2.1.0.2
Calcule la energa potencial de Coulomb para una par de protones (o electrones) separados una
distancia l = ~ c/GeV = 0.1973 269 631 fm
V =
ke2
e2
=
l
40 (~c) GeV1
e2
GeV .
=
40 ~c
(2.6)
Como V tiene unidades de energa, de la ec. (2.6) resulta entonces la constante adimensional
conocida como la constante de estructura fina
=
e2
,
40 ~c
(2.7)
que no puede tomar un valor numerico diferente sin importar el sistema de unidades que se use.
De modo que no se puede tener un sistema de unidades que normalice todas las contanstes fsicas
presentes en . Solo 3 de las cuatro constantes e, ~, 0 y c pueden ser normalizadas, y la otra queda
dependiendo del valor de .
El proposito de las unidades naturales es simplificar las expresiones algebraicas que aparecen en
las leyes fsicas.
El sistema de unidades naturales que usaremos es el de las Unidades de Planck Modificadas
(MPU)
GN = 1,
~=1
c = 1,
0 = 1,
k = 1,
(2.8)
de modo que
e=
4,
or
e2
.
4
(2.9)
31
2.1. UNIDADES NATURALES

6.582 118 99(16) 1025 s
~ GeV1
1.973 269 631(49) 1016 m
~c GeV1
1 kg
5.609 589 12(42) 1026 GeV/c2
1K
8.617 343(15) 1014 /k GeV
299 792 450 m s1
c
m kg
2.842 278 859 1016 ~ c1
Tabla 2.1: MKS MPU
podemos obtener la relacion entre el tiempo y la energa de
h
= 1.054 571 68(53) 1034 J s = 6.582 118 99(16) 1025 GeV s,
(2.10)
2
Similarmente para la relacion entre temperatura y energa, tenemos de la constante de Boltzman
~
k = 1.380 6504(24) 1023 J K1 = 8.617 343(15) 1014 GeV K1 .
(2.11)
La relacion ente masa y energa se puede obtener a partir de

entonces1
GN = 6.674 28(67) 1011 m3 kg1 s2 = 6.70881(65) 1039 ~c(GeV/c2 )2

Mp
~c
= 1.2209 1019 GeV/c2 = 2.1765 108 kg
GN
GN =
~c
.
Mp2
(2.12)
(2.13)
(2.14)
La energa de Planck es entonces Mp c2 , e igual a la masa en unidad naturales. Los factores de

conversion del sistema MKS a MPU estan dados en la Tabla 2.1 despues de hacer ~ = c = k = 1
De los factores de conversion de la tabla vemos que masalongitud tiene las mismas unidades
que ~/c, de modo que podemos definir la longitud de Planck tal que
Lp Mp
~
c
~
~
Lp =
=
c Mp
c
GN
=
~c
~ GN
c3
~
1.6163 1035 m
(2.15)
c GeV
Este analisis dimensional muestra que la longitud de Planck corresponde a una escala a la cual los
efectos gravitacionales llegan a ser importantes, es decir, que la intensidad del potencial gravitacional
es del orden de la masa de la partcula que lo genera2
8.1907 1020
Vgravity
1
Mp2
= Mp c2
= GN
Lp
(2.16)
o de una masa bien medida, por ejemplo mp = 0.938 272 013(23) GeV/c2 = 1.672 621 637(83)27 kg.
This is shown using dimensional analysis, much in the same way as the Bohr radius, beyond which the full quantum
mechanical description of the Hydrogen atom cannot be neglected. Note that the Bohr radius was derived before a
modern quantum mechanical treatment of Hydrogen became available. A similar statement can be made about the
Planck length [22].
2
32
Mp
Lp
tP
Tp
Qp
p
2.1765 108 kg
p ~c/GN
3
1.6163 1035 m
p~ GN /c
5
5.3912 1044 s
p ~ GN /c
32
2
~c5 /(G
N k ) 1.4168 1018K
e/
1.8756 10 C
Tabla 2.2: Unidades de Planck GN = ~ = c = 0 = k = 1

Finalmente, el tiempo de Planck es
r
~
~ GN
Lp
20
=
8.1907
10
5.3912 1044 s ,
tP
c
c5
c2 GeV
(2.17)
y la temperatura de Planck es
Mp c2
Tp
=
k
~c5
= 1.4168 1032 K .
GN k 2
(2.18)
Teniendo en cuenta la condicion en (2.16), podemos tambien definir la carga de Planck tal que la
intensidad de Potencial de Coulomb para dos masas de Planck separadas por la longitud de Planck
sea igual a la energa de Planck
1 Q2p
=Mp c2
40 Lp
Q2p
1
=Mp c2
40 ~/(c Mp )
Q2p
=1
40 ~c
e
Qp = 1.8756 1018 C.
VCoulomb =
(2.19)
Entonces la constante de estructura fina puede pensarse como el cuadrado del cociente de la carga
elemental a la carga de Planck
2
e
.
(2.20)
=
Qp
Estos resultados estan resumidos en la Tabla 2.2
Example 2.1.0.3
Calcule el potencial gravitacional para un par de protones separados una distancia Lproton = ~/(c mproton )
2.1 1016 m
Vgravity = GN
m2p
Lproton
= GN m3p
m2p
GN 3 2
c
=
mp c = 2 mp c2 1038 mp c2
~
~c
Mp
(2.21)
En este caso la energa potencial gravitacional es mucho menor que la escala de energa correspondiente
RELATIVISTA
2.2. NOTACION
33
Example 2.1.0.4
Compare la intensidad gravitacional con la Coulomb para un proton, y para una partcula de Planck.
Usando la ec. (2.14)
GN m2X
Vgravity
=
VCoulomb (1/40 )e2
m2X
=(40 ~ c/e ) 2
Mp

2
1 mX
=
Mp
(
1036 mX = mproton
102
mX = Mp
2
(2.22)
Example 2.1.0.5
De la constante de Fuerza electrostatica K = 1/(40 ), podemos obtener el valor de la constante de
estructura fina electromagnetica = e2 /(40 ~c)
K=
1
1
1
2
2
C
Nm
=
C2 Kg m3 s2
40 4 8.854 1012
4 8.854 1012
1
C2 5.6096 1026 GeV (5.068 1015 GeV1 )3
4 8.854 1012
(~c)3 ~2
1 2
24
(1.519 10 GeV )
c2
35 2
2.84 10 C ~c
2

1.602 1019
35 2
~c
2.84 10 C
e2
7.296 103
~c
=
e2
Definimos la cantidad adimensional , como
2.2.
e2
1
7.296 103
40 ~c
137
Notaci
on relativista
Las transformaciones de Lorentz se definen como la transformaciones que dejan invariante al

producto escalar en el espacio de Minkowski definido como
2
a2 = g a a a a = a0 ai ai = a0 a a
(2.23)
donde , = 0, 1, 2, 3, i = 1, 2, 3 y se asume suma sobre ndices repetidos. Ademas

a g a
(2.24)
34
Finalmente la metrica usada se define como
1 0
0
0
0 1 0
0
{g } =
0 0 1 0
0 0
0 1
(2.25)
donde {g } denota la forma matricial del tensor g .

El producto de dos cuadrivectores se define en forma similar como
a b = g a b = a0 b0 a b
(2.26)
{g } {g }1 = {g }
(2.27)
El inverso de la metrica es
tal que
g g =
a = g a
and
(2.28)
Bajo una transformacion de Lorentz.
a a = a .
(2.29)
La invarianza del producto escalar en ec. (2.26)
a b = a b
da lugar a
g = g
En notacion matricial
or
(2.30)

{g } = { }T {g } .
g = T g .
(2.31)
(2.32)
Como un ejemplo de Transformacion de Lorentz considere un desplazamiento a lo largo del eje x

t+vx

t
t
t
cosh sinh 0 0
1v2
x+vt
x
x = 1v2 = sinh cosh 0 0 x = { } {x } ,
{x } =
y y 0
y
0
1 0 y
z
z
z
0
0
0 1
z
(2.33)
donde
cosh =
sinh = v,
and
1
.
1 v2
(2.34)
RELATIVISTA
2.2. NOTACION
35
El definido en la ec. (2.33) satisface la condicion en ec. (2.31),
cosh sinh 0 0
1 0
0
0
cosh sinh 0 0
sinh cosh 0 0 0 1 0
0
sinh cosh 0 0
T g =
0
0
1 0
0
1 0 0 0 1 0 0
0
0
0 1
0 0
0 1
0
0
0 1
cosh sinh 0 0
cosh sinh 0
0
sinh cosh 0
0 sinh cosh 0 0
=
0
0
1 0
0
1 0 0
0
0
0 1
0
0
0 1
2
2
cosh sinh
cosh sinh cosh sinh 0
0
cosh sinh cosh sinh
sinh2 cosh2
0
0
0
0
1 0
0
0
0 1
=g
(2.35)
Denotaremos los cuadrivectores con ndices arriba como

a = (a0 , a1 , a2 , a3 ) = (a0 , a)
(2.36)
Entonces el correspondiente cuadrivector con ndices abajo, usando la ec. (2.24), es

a = (a0 , a1 , a2 , a3 ) = (a0 , a1 , a2 , a3 ) = (a0 , a).
(2.37)
Con esta notacion, el producto escalar de cuadrivectores puede expresarse como el producto escalar
de los dos vectores de cuatro componente a y a .
2.2.1.
Ejemplos de cuadrivectores
x =(x0 , x1 , x2 , x3 ) = (t, x, y, z) = (t, x)
p =(p0 , p1 , p2 , p3 ) = (E, px , py , pz ) = (E, p)
(2.38)
(2.39)
De la relatividad especial tenemos que

E =m
p =mv .
(2.40)
Por lo tanto, ya que v 2 = v2 = |v|2

E 2 p2 = 2 m2 (1 v 2 ) = m2 .
(2.41)
El invariante de Lorentz asociado a p corresponde a la ecuacion de momento energa una vez se

identifica la masa de una partcula con su cuadrimomentum
p2 = p p = m2 = E 2 p2
De [29]
(2.42)
36
The intuitive understanding of this equation is that the energy of a particle is partially
due to its motion and partially due to the intrinsic energy of its mass. The application
to particle detectors is that if you know the mass of a particular particle, or if its going
so fast that its energy and momentum are both huge so that the mass can be roughly
ignored, then knowing the energy tells you the momentum and vice versa
Para p = 0, es decir cuando la partcula esta en reposo se reduce a la famosa ecuacion.
Del electromagnetismo tenemos
J = (J 0 , J) = (, J)
(2.43)
A = (A0 , A) = (, A)
(2.44)
Del calculo vectorial

=

=
,
,
,
,
,
,
x
x0 x1 x2 x3
x0 x1 x2 x3

=
, , ,
t x y z
=(0 , ) = ( 0 , )

= (0 , )
, , ,
= =
x
t x y z
(2.45)
(2.46)
Por consiguiente:
=
(2.47)
Producto escalar:
a b = g a b = a0 b0 a1 b1 a2 b2 a3 b3 = a0 b0 ai bi = a0 b0 a b
(2.48)
Entonces
a0
+a
(2.49)
t
La ecuacion de continuidad J = 0 es un invariante de Lorentz. El operador cuadratico es, usando
la ec. (2.23)
2
2
2
2
(2.50)
= 0 0 2 = 2 2 2 2 =
t
x
y
z
a =
Por consiguiente la ecuacion de onda en ec. (1.153) es invariante de Lorentz

Los operadores de energa y momentum de la mecanica cuantica tambien forma un cuadrivector
b p
) = (H,
)
p = (
p0 , p
b yp
dados en la ec. (1.105). Entonces
con H,
p = i = i( 0 , i ) = i(
, )
t
(2.51)
(2.52)
RELATIVISTA
2.2. NOTACION
37
Del problema 1. 3 se han definido las derivadas covariantes

D0 =0 + iqA0
D = iqA
(2.53)
Podemos definir el cuadrivector

D =(D0 , D)
=(0 , ) + iq(A0 , A)
=(0 , i ) + iq(A0 , Ai )
=(0 , i ) + iq(A0 , Ai )
=(0 + iqA0 , i + iAi )
=(D0 , Di )
=(D0 , Di ) ,
(2.54)
donde hemos definido

Di = i + iqAi .
(2.55)
Ademas A tiene la transformacion gauge

A A = A +
En notacion de cuadrivectores
A0 A0 = A0
, A +
A A = A
t

i
0
= A
, A + i
t

= A0 0 , Ai i

= A0 , Ai 0 , i
A A =A .
(2.56)
(2.57)
Example 2.2.1.1
Calcule la fraccion de la velocidad a la que puede ser acelerado un proton en el LHC Recuperando
los factores de c
E =mc2
v
= =
c
=p
1
m2 c4
E2
mp = 938.272013(23)MeV/c2 , and E = 7 TeV

v = 0.999999991 c
1
1 2
38
La longitud de un objeto esta definida tal que t = 0, de modo que t = vx/c2 , entonces
x = (x vt) = (x v 2 x/c2 ) =
Similarmente para la dilatacion temporal x = 0 y
1 v 2 /c2 x.
t = t .
(2.58)
(2.59)
Por lo tanto observamos al proton contrado en un factor de 1 108

Example 2.2.1.2
La amplitud de decaimiento del muon es
=
GF
2
m5
I (x) ,
96 3
(2.60)
con x = me /m , e I(x) = 1 8x2 24x4 ln(x) + 8x6 x8 . Entonces

= 3.00867837568648 1019 GeV
(2.61)
El tiempo de vida media del muon se define como

=
1
=3.32371850737231 1018 GeV1
=3.32371850737231 1018 6.582 118 99 1025 s

=2.197 03(4) 106 s .
(2.62)
La longitud de decaimiento se define como

L =
1
= c 658.65 m .
(2.63)
El tiempo de vida media se refiere al tiempo de decaimiento para una partcula en reposo. Si v =
0.86 c, entonces
= =
4.31 106 s
1 v2
(2.64)
el doble de cuando esta en reposo.

L = c = 1290.74 m .
(2.65)
A medida que el muon se acerca mas a la velocidad de la luz, L coincide mas con la distancia recorrida
por el muon antes de decaer. De hecho se estima que despues de ser producidos en la atmosfera de
rayos cosmicos, a la superficie de la Tierra llegan unos 10000 muones por metro cuadrado cada
minuto [28].
RELATIVISTA
2.2. NOTACION
2.2.2.
39
Ecuaciones covariantes
Con el cuadrivector (2.52) podemos construir la siguiente ecuacion

p p = m2
i i = m2
= m2

2
2
2
+ m = 0.
t2
(2.66)
Que corresponde a la ecuacion de Klein-Gordon (1.156). Una expresion escrita en terminos de productos escalares de Lorentz se dice que esta en forma covariante. El Lagrangiano covariante que da
lugar a esta ecuacion es (ver ec. (1.153) (1.155)).
1
1
L = m2 2
2
2
El Lagrangiano mas general posible para el campo es
1
1
1
L = m2 2 + 4 + a + b3 .
2
2
4
(2.67)
(2.68)
Un termino de la forma puede reabsorverse en la ec. (2.68) como una derivada total. Un
posible termino J , con J constante, tambien puede reescribirse como una derivada total. Un
termino constante no afecta las ecuaciones de movimiento. Imponer la simetra anula los dos
u
ltimos terminos. Potencias de mayores de cuatro dara lugar a una Teora Cuantica de Campos
no renormalizable.
La dimension del campo puede obtenerse usando que la accion es adimensional

Z
4
2 2
(2.69)
[S]
d x m = E 4 E 2 []2 [] = E 1
Diremos entonces que la dimension de es 1 (en unidades de energa). Similarmente
[S]
Z
d x = E 4 [ ]2 E 2 [ ] = E 1
(2.70)
Como era de esperarse debido a que la derivada tiene unidades de longitud inversa.
Si hacemos = a = b = 0 en la ec. (2.68), y usando las ecuaciones de Euler-Lagrange (1.42), se
obtiene
(
p p m2 ) = 0
2 m2 ) = 0
2 P
(E
2
( + m ) = 0,
donde
=
2
2 .
2
t
(2.71)
(2.72)
(2.73)
40
Es el DAlembartiano [13]. Ec. (2.71) corresponde a la forma de operadores de la ecuacion de energamomentum relativista. La ec. (2.72) se conoce como la ecuacion de Klein-Gordon, con Lagrangiano
1
1
L = m2 2 ,
2
2
(2.74)
Una expresion escrita en terminos de productos escalares de Lorentz se dice que esta en forma
covariante. Por lo tanto la ecuacion de KleinGordon y su correspondiente Lagrangiano estan en
forma covariante. Tambien tienen la simetra . A se le denomina campo escalar.
Definiendo
F = A A
G = A + A
El Lagrangiano invariante de Lorentz para el cuadrivector A en ec. (2.44) es, hasta derivadas totales
1
1
1
L = F F G G J A + m2 A A + K A A A + A A A A
4
4
2
+ a1 A A A + a2 F A A + a3 G A A
(2.75)
La derivada covariante definida
2.3.
Ecuaciones de Maxwell en notaci

on covariante
Ecuaciones homogeneas:
E+
B
=0
t
(2.76)
E
= J.
t
(2.77)
B = 0,
Ecuaciones inhomogeneas:
E = ,
La primera ecuacion establece la ausencia de cargas magneticas, la segunda corresponde a la Ley

de Faraday y la tercera a la Ley de Gauss. La cuarta sin el termino de desplazamiento electrico
introducido por Maxwell corresponde a la Ley de Ampère
B = J.
(2.78)
Tomando la divergencia en esta expresion tenemos

J = 0,
(2.79)
que corresponde a la ecuacion de continuidad (1.54) para constante
+ J = 0.
t
(2.80)
COVARIANTE
2.3. ECUACIONES DE MAXWELL EN NOTACION
41
De este modo la Ley de Ampère da lugar a la conservacion de carga electrica pero solo a nivel global:
una perdida de carga electrica en un punto del universo puede ser compensada por la aparicion
instantanea de carga electrica en otro lugar del universo. La conservacion global podra necesitar la
propagacion instantanea de se
nales, y esto esta en conflicto con la relatividad especial.
Tomando la divergencia de la Ley de Ampère modificada por Maxwell
E
B
= J,
(2.81)
t
obtenemos la ecuacion de continuidad (2.80). Dicha ecuacion establece que la razon de decrecimiento
de la carga en un volumen arbitrario V es debido precisa y u
nicamente al flujo de la corriente fuera
de su superficie; de modo que la carga no puede ser creada ni destruida dentro de V . Ya que V
puede ser arbitrariamente peque
no esto significa que la carga electrica debe conservarse localmente.
El termino extra introducido por Maxwell esta motivado por un requerimiento de conservacion local.
A la luz del teorema de Noether la conservacion local de la carga electrica debe provenir de
una transformacion continua y local que deje invariante a la ecuaciones de Maxwell. Las invarianza
gauge de la ecuaciones de Maxwell juegan este papel. Las cargas conservadas localmente pueden
determinarse a partir de la dinamica del sistema [21], ademas del uso de cargas conocidas que
participen en alguna reaccion. Por ejemplo se puede estudiar la forma como responde una partcula
de carga desconocida a campos electromagneticos para determinar su carga.
El principio gauge local, que pretendemos formular, va mas alla del teorema de Noether estableciendo una relacion entre las simetras, las leyes de conservacion y la dinamica. Este se constituye en
el paradigma para estudiar las interacciones relevantes en fsica de partculas.
Para mostrar la invarianza gauge que exhiben las ecuaciones de Maxwell, es conveniente reescribirlas en forma covariante. Para ello es conveniente usar el potencial escalar electrico y el potencia
vectorial magnetico A.
Las siguientes ecuaciones son equivalentes a las ecuaciones homogeneas de Maxwell
A
B = A.
(2.82)
E =
t
Ya que
E = A
t
B
,
=
t
y
B = ( A)
=0
Usando el cuadrivector en ec. (2.44) y expandiendo la ec. (2.82), tenemos
A0 Ai
+ 0)
xi
x
0
Ai
A
)
=(
xi
x0
= i A0 0 Ai
= A A ,
E i = (
E i = F i0
= i,
=0
(2.83)
(2.84)
42
donde hemos definido el Tensor de intensidad electromagnetica como:

F = A A .
(2.85)
A A se le denomina campo vectorial. Similarmente

B k = ijk
Aj
xi
lmk B k = lmk ijk
Aj
xi
= (li mj lj mi )
Aj
xi
Am
Al
xl
xm
m l
= A l Am
= A A ,
= m,
lmk B k = F ml
= l.
(2.86)
(2.87)
Por consiguiente la ec. (2.85) es tambien equivalente a las dos ecuaciones homogeneas de Maxwell.
En forma matricial,
0
0 A1 1 A0 0 A2 2 A0 0 A3 3 A0
1 A0 0 A1
0
1 A2 2 A1 1 A3 3 A1
F =
2
0
0
2
2
1
1
2
A A A A
0
2 A3 3 A2
3 A0 0 A3 3 A1 1 A3 3 A2 2 A3
0
0
E 1
E 2
E 3
1
3
E
0
213 B 312 B 2
=
E 2 123 B 3
0
321 B 1
E 3 132 B 2 231 B 1
0
1
2
3
0 E E E
E 1
0
B 3 B 2
.
(2.88)
=
2
3
E
B
0
B 1
E 3 B 2 B 1
0
La ec. (2.85) satisface la identidad,
F + F + F = 0
Definiendo el tensor dual como
(2.89)
1
F = F ,
2
la ec. (2.89) puede escribirse como

F = 0.
(2.90)
Para reescribir las ecuaciones de Maxwell inhomogenas en forma covariante usaremos ademas
el cuadrivector J de la ec. (2.43). Usando la ec. (2.83), la primera ecuacion de Maxwell inho-
COVARIANTE
Homogeneas
Inhomogeneas
E, B
Ec. (2.76)
(2.77)
43
A
F
(2.82) (2.85) o (2.89) o (2.90)
(2.93)
Tabla 2.3: Ecuaciones de Maxwell

mogenea (2.77) puede escribirse como
E i
= J0
xi
i0
F = J0
i
x
i F i0 = J 0
F 0 = J 0 .
(2.91)
Usando las ecs. (2.83), (2.86), la segunda ecuacion de Maxwell inhomogenea (2.77) puede escribirse
como
E k
B j
= Jk
i
x
t
(ikj B j ) E k
= Jk
xi
t
i F ki 0 F k0 = J k
ijk
i F ik + 0 F 0k = J k
F k = J k
(2.92)
Las ecuaciones (2.91), (2.92) pueden escribirse en forma compacta como

F = J
(
( A0 0 Ai ) = J 0
=
( Ai i A ) = J i
(2.93)
para = 0
para = i
Los resultados sobre la notacion covariante de la ecuaciones de Maxwell estan resumidos en la

Tabla 2.3 De la parte izquierda de la ecuacion (2.93), podemos ver que
F = 0
Por consiguiente, la cuadricorriente J es conservada:
J = 0
2.3.1.
(2.94)
Lagrangiano Electromagn
etico
La ec. (2.82) es invariante bajo las siguientes transformaciones

A A = A +
(2.95)
44
Ya que
E E = +

= E
t
t
t
B B = A + = B
| {z }
=0
(2.96)
(2.97)
Esto implica que diferentes observadores en diferentes puntos del espacio, usando diferentes calibraciones para sus medidas, obtienen los mismos campos. Las ecs. (2.95), corresponden a transformaciones
gauge locales
En notacion de cuadrivectores

A A =
, A +
t

i
=
, A + i
t

= 0 , Ai i

= , Ai 0 , i
A A =A
(2.98)
Sea U un elemento del Grupo de Transformaciones U(1):
U = ei(x) U(1)
(2.99)
El Grupo esta definido por el conjunto infinito de elementos Ui = ei(xi ) . Entonces

Producto de Grupo
U1 U2 = ei[(x1 )+(x2 )] ei(x3 ) U(1)
Identidad:
(x) = 0
tal que
UI = 1
(x) = (x)
tal que
U 1 = ei(x)
Inverso
Note que si
i
A A = A ( U)U 1
e
(Si =cte, A = A , invarianza de fase). Si es suficientemente peque

no
U = ei(x) 1 + i(x) + O(2 )
U 1 = ei(x) 1 i(x) + O(2 )
(2.100)
(2.101)
Entonces
1
A = (i (8x))[1 + i(x) + O(2 )][1 i(x) + O(2 )] + A [1 + i(x) + O(2 )][1 i(x) + O(2 )]
e
1
=A + (x) + O(2 )
(2.102)
e
COVARIANTE
45
Por consiguiente, si (x) = (1/e)(x), entonces la ec. (2.98) es la version infinitesimal de la transformacion U(1) en ec. (2.100). Del Teorema de Noether debe existir una carga conservada corresponde
a la carga electrica, asociada la corriente J , de la cual a
un no hemos especificado su origen.
Bajo esta transformacion
F F
=( A A )
= A A +
= A A +
=F
(2.103)
De este modo las ecuaciones homogeneas de Maxwell (2.85) son invariantes gauge. Como la transformacion gauge solo afecta al campo A , las ecuaciones inhomogeneas de Maxwell (2.93) tambien son
invariantes gauge. De esta forma las ecuaciones de Maxwell corresponde a una Teora Gauge!. Esto
fue una curiosidad hasta los 1950.
Para ilustrar la relacion entre la conservacion local de la carga electrica y la transformacion gauge,
que no es una conexion simple, considere las ecuaciones de Maxwell
F = J ,
(2.104)
que automaticamente incluyen la conservacion local de carga, expresada por la ecuacion de continuidad
J = 0.
(2.105)
Ademas las ecuaciones de Maxwell permanecen invariantes bajo la transformacion gauge
A A = A ,
(2.106)
ya que dicha transformacion deja invariante a F . De aqu la sugerencia de la invarianza gauge

esta relacionada de alguna manera a la conservacion de la carga. De hecho la accion mas general
posible para el campo A compatible tanto con la invarianza de Lorentz y la invarianza gauge local
corresponde a la accion que da lugar a las ecuaciones de Maxwell.
Si queremos que la Accion refleja las simetras de las ecuaciones de Maxwell debemos mantener
solo los terminos del Lagrangiano para A en (2.75) que sean invariantes hasta una derivada total.
Bajo una transformacion gauge, cada uno de los terminos
1
1
G G + m2 A A + K A A A + A A A A + a1 A A A + a2 F A A + a3 G A A
4
2
dan lugar a un L =
6 (algo) y la Accion no es invariante bajo la transformacion gauge. Para los
otros terminos, usando la ec. (2.94), tenemos
L = L L = (J )
Por lo tanto, el Lagrangiano
1
L = F F J A
(2.107)
4
es el mas general que da lugar a una Accion invariante de Lorentz e invariante gauge local.
46
Con miras a calcular las ecuaciones de Euler-Lagrange para el Lagrangiano en ec. (2.107), tenemos
F F =( A A )( A A )
= A A A A A A + A A
=g g ( A A A A A A + A A ).
Entonces
F F =g g ( A + A A A
( A )
A A + A + A ).
=g g A + g g A g g A g g A
g g A g g A + g g A + g g A
= A + A A A A A + A + A
=4( A A )
F F = 4F
( A )
(2.108)
Usando la ec. (2.108), tenemos

L
L
( A )
A

A
1
(F F ) + J

4
( A )
A
F + J
F

=0
=0
=0
= J.
(2.109)
Como era de esperarse una Accion invariante de Lorentz e invariante gauge local, expresada en
terminos del Lagrangiano (2.107), da lugar a la Teora Electromagnetica.
De este modo las ecuaciones de Maxwell se pueden derivar del requerimiento de que la teora,
ademas de ser invariante de Lorentz, pueda expresarse en terminos de potenciales de una forma que
sea invariante gauge en esos potenciales. Si un cuadrivector potencial A es postulado, y se impone
que la teora involucre este solamente, de una forma que sea insensible a a cambios de la forma (2.98),
se es conducido naturalmente a la idea de que los campos fsicos entran u
nicamente va la cantidad
F , que es invariante bajo la ec. (2.98). De aqu se puede conjeturar la ecuacion de campo en base
a la covarianza de Lorentz.
Esto no corresponde ciertamente a una prueba de las ecuaciones de Maxwell. A pesar de eso, la
idea que la dinamica (en este caso la completa interconexion entre los efectos electricos y magneticos)
pueda estar ntimamente relacionada a un requerimiento de invarianza local se ha convertido en algo
muy fructfero.
En terminos de transformaciones globales, se puede mostrar [21] que el cambio por una constante
del potencial escalar ( = at, A0 A0 = A0 a, A A = A en ec.(2.95)), mas la conservacion
de energa, da lugar a la conservacion local de la carga. La conservacion local en este contexto
requiere que el cambio por una funcion del potencial escalar en en (2.95) sea compensado por el
correspondiente cambio en el vector potencial magnetico A. En general, cuando una cierta invarianza
COVARIANTE
47
global es generalizada a una local, se requiere la existencia de un nuevo campo que compensa,
interactuando de una manera especfica. La teoras que dan lugar al Modelo Estandar y que describen
las interacciones fuertes, debiles y electromagneticas, son ejemplos de teoras dinamicas derivadas
desde un requerimiento de invarianza local.
Una de las principales razones de porque la fsica de partculas se formula en terminos de lagrangianos, es que L debe ser escalar en cada espacio relevante, e invariante bajo las transformaciones
(hasta derivadas totales), ya que la accion es invariante. Haciendo el Lagrangiano covariante de
Lorentz por ejemplo, garantiza que todas las predicciones son invariantes de Lorentz.
2.3.2.
Energa del campo electromagn

etico
Necesitamos la expresion para F ,

(
F0i = F0 = g00 gij F 0j = F 0i
F = g g F
Fij = Fi = gik gjl F kl = F ij
para = 0
para = i
(2.110)
De la ec. (1.70), se tiene

L
( A ) L
( A )
= F ( A ) L
T =
(2.111)
La energa del campo, corresponde a la componente T00 :

T00 = F 0 (0 A ) L
1
= F 0 (0 A ) + F F + J A
4
Usando las ecuaciones (2.84), (2.87), (2.110)
1
T00 = F 0 (0 A ) + F F + J A
4
=i
=0
1 z 0}| { 1 z i}| {
0
= F (0 A ) + F F0 + F Fi +J A
4
4
1 0
1
0
0
= F A0 F F0 + F F0 + F i Fi + J A .
4
4
(2.112)
Tenemos dos partes

=0
=j
1
1
1
1 z }| { 1 z }| {
F 0 F0 + F 0 F0 + F i Fi = F i0 Fi0 + F i0 Fi0 + F 0i F0i + F jiFji
4
4
4
4
4
1
1
1
= F i0 Fi0 + F i0 Fi0 + F i0 Fi0 + F jiFji
4
4
4
1 i0
1 ji
= F Fi0 + F Fji .
2
4
(2.113)
48
Ademas
F 0 A0 + J A = (A0 F 0 ) + A0 F 0 + J A
= (A0 F 0 ) A0 F 0 + J A
= (A0 F 0 ) A0 J 0 + J A
= i (A0 F 0i ) J A .
(2.114)
Entonces
1
1
T00 = i (A0 F 0i ) F i0 Fi0 + F jiFji J A
2
4
1 i0 i0 1 ji ji
0i
= i (A0 F ) + F F + F F J A,
2
4
1 i i 1
k
l
= E E + ijk B ijl B + i (A0 E i ) J A,
2
4
1 2 1
= E + kl B k B l + (A0 E) J A
2
2
1 2 1 2
= E + B + (A0 E) J A
2
2
suma tambien sobre i, j

suma tambien sobre i, j
(2.115)
Entonces, en ausencia de corrientes

1
1
H = E2 + B2 + (A0 E) .
2
2
(2.116)
Similarmente la densidad Lagrangiano puede escribirse como

1
1 2
L = F F =
E B2
4
2
(2.117)
En vista a la ec. (2.112), ya que la densidad Lagrangiana esta definida hasta una derivada total,
como (A0 E) = (A0 F 0 ), la densidad Hamiltoniana tambien estara definida hasta una derivada
total. De hecho, el Hamiltoniano es
Z
Z
1
3
2
2
H=
d x (E + B ) +
d3 x (A0 E)
2 V
V
Z
1
d3 x (E2 + B2 ),
=
2 V
(2.118)
y corresponde a la expresion conocida para la energa del campo electromagnetico. Hemos usado el
hecho que en ausencia de corrientes todo lo que entra a un volumen debe salir y por consiguiente las
integrales sobre el volumen de la divergencia de cualquier vector es cero.
Similarmente el momentum total del campo, en ausencia de corrientes, corresponde al vector de
COVARIANTE
49
Pointing:
L
i A
(0 A )
= F 0 i A
Ti0 =
= F 0j (i Aj j Ai ) F 0j j Ai
= F 0j Fij F 0j j Ai
= F 0j F ij j (F 0j Ai ) + (j F 0j )Ai
=E j jik B k + j (E j Ai ) + (J 0 )Ai
= (E B)i (Ai E) Ai
(2.119)
En ausencia de cargas y corrientes
P =
x Ti0
P=
ZV
2.3.3.
d x (E B) +
d3 x (E B) .
d3 x (Ai E)
(2.120)
Fijaci
on del gauge
Para obtener una solucion definitiva a las ecuaciones del campo electromagnetico, se debe remover
la arbitrariedad asociada con la libertad gauge de la ec. (2.98). De este modo los campos quedan
especificados unvocamente en todas partes. De hecho, de las cuatro componentes del campo A , solo
dos son independientes y corresponden a los estados de polarizacion de las ondas electromagneticas [11] (Captulo 2). A este proceso se le denomina fijar el gauge, y consiste en imponer restricciones
sobre los campos que fijan la funcion y remueven la libertad gauge.
Nosotros usaremos el Gauge de Lorentz, definido por la condicion
A = 0
(2.121)
Si inicialmente A 6= 0, se realiza una transformacion gauge tal que A = 0. De acuerdo a la

ec. (2.98), esto da lugar a la ecuacion de onda inhomogenea
= A
que puede solucionarse mediante las tecnicas usuales.
Es importante resaltar que la fsica queda inafectada por la escogencia del gauge. El resultado
final para cualquier observable fsico debe ser independiente del gauge usado para calcularlo.
Las ecuaciones de Maxwell (2.93) pueden escribirse como
F = J
( A A ) = J
A A = J
A ( A ) = J .
(2.122)
50
Apliquemos ahora el gauge de Lorentz, ec. (2.121) a las ecuaciones inhomogeneas de Maxwell
(2.122)
A = A = J .
(2.123)
De este modo, cada componente del campo A satisface la ecuacion de onda (2.66), o la ecuacion de
Klein-Gordon (2.72) para masa cero. En ausencia de corrientes el campo A puede ser expandido en
ondas planas con dos grados independientes de polarizacion [11], de forma similar a como se hizo en
la seccion 1.5 para el campo . Una vez cuantizada la teora, A corresponde al foton, y solo queda
con dos grados de libertad independientes que corresponden a los modos transversales de la onda
electromagnetica [11] (captulo 2).
La ec. (2.107), with J = 0, en el Gauge de Lorentz puede escribirse como
1
L = F F
4
1
= ( A A )( A A )
4
1
= ( A A A A A A + A A )
4
1
= [ A A (A A ) + A ( A ) (A A ) + A ( A ) + A A ]
| {z }
4
1
= [2 A A (2A A )]
4
1
= A A
2
(2.124)
Incluyendo el termino con corrientes, y usando el hecho de que un signo global no afecta las ecuaciones
de movimiento, tenemos
1
L = A A + J A
2
2.4.
(2.125)
Ecuaciones de Proca
Consideraremos ahora el efecto de adicionar un termino de masa a la teora de Maxwell. Los

campos vectoriales masivos juegan un papel importante en fsica. Campos como W , Z que median
las interacciones debiles son ejemplos de campos de este tipo. Las implicaciones de una masa finita
para el foton pueden inferirse de un conjunto de postulados que hacen de las ecuaciones de Proca la
u
nica generalizacion posible de las ecuaciones de Maxwell [14].
Teniendo en cuenta solo el termino de masa en la ec. (2.107)
1
1
L = F F + m2 A A J A .
4
2
Usando las ecuaciones de Euler-Lagrange, tenemos

1
1 2

F F
m A A J A = 0
4
( A )
A 2
F + m2 A = J .
(2.126)
(2.127)
51
2.4. ECUACIONES DE PROCA

Tomando la cuadridivergencia a ambos lados de la ecuacion y usando la ec. (2.122), tenemos
A A + m2 A = J
A A + m2 A = J
m2 A = J
(2.128)
De este modo, en ausencia de corrientes, la ecuaciones de Proca dan lugar a la condicion de Lorentz.
De otro lado, si asumimos que la corriente se conserva, la condicion de Lorentz tambien aparece. Por
consiguiente, si la masa de campo vectorial es diferente de cero, la condicion de Lorentz, ec. (2.121),
emerge como una restriccion adicional que debe ser siempre tomada en cuenta. De este modo la
libertad gauge de las ecuaciones de Maxwell se pierde completamente en la ecuaciones de Proca, que
sin perdida de generalidad se pueden reescribir, usando A = 0 y las ecs. (2.122), (2.127), como:
( + m2 )A = J
(2.129)
En ausencia de corrientes, cada una de las componentes del campo vectorial satisface la ecuacion de
Klein-Gordon (2.72). Por consiguiente m corresponde a la masa del campo vectorial A .
Aplicando la condicion de Lorentz a la ec. (2.126), obtenemos el Lagrangiano de la Ecuacion de
Proca (2.129)
1
1
L = A A m2 A A + J A ,
(2.130)
2
2
donde hemos reabsorbido un signo global que no afecta las ecuaciones de movimiento. El primer
termino que incluye solo derivadas de los campos es llamado termino cinetico y dependen solo del
espn de las partculas. El termino cuadratico en los campos corresponde al termino de masa, y el
u
ltimo corresponde a la interaccion del campo con una corriente. Cuando un Lagrangiano contiene
solo terminos cineticos y de masa diremos que el campo que da lugar al Lagrangiano es libre de
interacciones, o simplemente que es un campo libre. Las otras partes del Lagrangiano seran llamadas
Lagrangiano de Interaccion. De este modo podemos reescribir el Lagrangiano (2.130) como
donde,
L = Lfree + Lint ,
1
1
Lfree = A A m2 A A
2
2
Lint = J A .
(2.131)
Debido a que la teora masiva ya no es invariante gauge, la condicion de Lorentz aparece automaticamente como la u
nica restriccion apropiada sobre el campo vectorial.
Una vez se toma en cuenta la condicion de Lorentz el campo masivo libre puede expandirse en
ondas planas con tres grados de libertad independientes de polarizacion. Dos de estos corresponden
a los dos estados transversos que aparecen en las ondas electromagneticas (A1 , A2 ), y el tercero (A3 )
corresponde a un estado longitudinal en la direccion del momento de la partcula [11].
Aunque hemos hecho el analisis de la ecuacion de Proca permitiendo un termino de masa para
el foton, las implicaciones experimentales de una teora de este tipo dan lugar a restricciones muy
fuertes sobre la masa del foton[14]. El lmite actual sobre la masa del foton es m < 6 1017 eV
(1.1 1052 Kg) [15]. Debido al principio gauge local, desde el punto teorico se espera que la masa
del foton sea exactamente cero. En general, los campos vectoriales puede ser generados a partir de
otras cargas no electromagneticas y pueden ser masivos. El reto durante varias decadas fue entender
como las masa de los campos vectoriales de la interaccion debil podra hacerse compatible con el
principio gauge local.
52
2.5.
Problemas
2.1 Muestre que

= =
Compruebe esta identidad para la transformacion de Lorentz de la ec. (2.33)
2.2 Muestre que el Lagrangiano electromagnetico en ausencia de corrientes

1
1 2
L = F F =
E B2
4
2
(2.132)
2.3 Calcule el rango de la interaccion debil mediada por la partcula W de masa

mW 80 GeV
(2.133)
Captulo 3
Principio Gauge Local
3.1.
Ecuaci
on de klein-Gordon
La interaccion entre un proton y un neutron fue determinada experimentalmente por Tomonaga

en 1934 [?]
V (r) = A
er/
,
r
(3.1)
con
1/(7 1012 cm1 ) = 1.43 1013 cm = 1.43 1015 m .
(3.2)
Consideremos el principio de incertidumbre

~
2
~
t E .
2
x p
(3.3)
La segunda relacion de incertidumbre aplicada a la teora de Yukawa [21], brinda un nuevo entendimiento de la relacion entre el rango y la masa en ec. (3.1). t es el tiempo que el sistema cuantico
interact
ua con el aparato de medida y E = ~/(2t) es el error mnimo que se obtiene en la medida
de la energa, tal que E = E0 E. Es decir, para medir la energa con una precision E, uno
necesita un tiempo mayor que ~/(2E).
Si E < mc2 eso quiere decir que podemos medir la cantidad mc2 con alguna certeza. Es decir
que una partcula de masa m se puede llegar a observar. Si E > mc2 entonces una partcula de masa
m puede existir durante un tiempo t. A tal partcula se le llama virtual porque no es observable.
El momentum de una partcula de n
umero de onda k es p = ~k, de modo que la incertidumbre
en el momentum para una partcula relativista es
p = ~ k ~
E
=
c
c
(3.4)
Si la masa de la partcula es cero entonces E puede tender a cero, que corresponde al caso de
un partcula no masiva con un momentum tendiendo a cero. La cantidad por la cual la conservacion
de energa es violada, E, tambien puede llegar a ser muy peque
na. De modo que un foton virtual
53
CAPITULO 3. PRINCIPIO GAUGE LOCAL
54
de frecuencia muy baja puede existir durante un tiempo casi infinito. Durante ese tiempo un foton
viajando a la velocidad de la luz podra viajar una distancia casi infinita y puede dar cuenta de una
interaccion de rango infinito.
Sin embargo, para una partcula de masa m. La violacion de energa para producir esta debe ser
de al menos mc2 , o E > mc2 . Por el principio de incertidumbre la maxima distancia que puede
recorrer es = ct
~c
2E
c~
2mc2
~
2mc
1
2m
Natural Units .
(3.5)
De la componente escalar de la ecuacion de Proca, (2.130), obtenemos la ecuacion de Klein

Gordon para un campo escalar real = A0 ,
1
1
L = m2 2 +
2
2
(3.6)
Donde es la densidad de carga que actua como fuente del campo .

Posteriormente discutiremos en detalles porque m corresponde a la masa de la partcula. La idea
basica es que tiene excitaciones alrededor del mnimo del potencias V = (1/2)m2 2 que corresponde
a la energa de un oscilador armonico. Esta energa es equivalente a masa. Note que m2 < 0 no puede
interpretarse como masa. En este caso describira excitaciones alrededor de la parte plana del
potencial. Como estas excitaciones no cuestan energa, corresponde a una partcula sin masa.
El campo puede pensarse como proveniente de una fuente de la misma manera como el campo
electromagnetico surge de partculas cargadas. Como en el caso del electromagnetismo, en esta seccion
podemos considerar los campos sin preocuparnos de las fuentes. En tal caso tendremos una teora en
la cual el campo escalar juega el papel de partcula mediadora de la interaccion.
Si el campo escalar se generaliza para que pueda tener otros n
umeros cuanticos, como carga
electrica, entonces estos pueden ser las fuentes de las respectivas cargas y corrientes en la ecuaciones
para campos vectoriales. Esto se estudiara en la seccion 3.2. En tal caso podramos tener por ejemplo
atomos formados de partculas escalares que se excitan emitiendo fotones.
En las secciones 2.2.2 y 2.4, hemos visto que el Lagrangiano en ec. (3.6) da lugar a las ecuaciones
de Klein-Gordon en presencia de una densidad de carga
( + m2 ) =
(3.7)
De acuerdo a la ec. (2.131), tenemos

1
1
Lfree = m2 2
2
2
Lint =
(3.8)
En analoga con el electromagnetismo donde las densidades de carga y corrientes son la fuente del
campo A , podemos pensar en como la fuente del campo . En el caso del electromagnetismo el
DE KLEIN-GORDON
3.1. ECUACION
55
analisis de las ecuaciones de Maxwell en forma covariante, ec. (2.93), para las componentes A0 y J 0 ,
en el gauge de Coulomb:
A = 0,
(3.9)
da lugar a la Ley de Coulomb, que corresponde a una interaccion de rango infinito [11]. Veremos a
continuacion que un analisis similar para un campo escalar masivo (o para la componente cero de un
campo vectorial masivo) da lugar a una interaccion de corto rango.
Consideremos el caso mas simple de una fuente puntual para el campo :
(x) = g(x)
(3.10)
donde g es una constante. Entonces es independiente del tiempo y genera un campo (un potencial)
independiente del tiempo. Entonces, como:
= 0,
t
tenemos
(2 + m2 )(x) = g(x)
(3.11)
Para resolver la ecuacion diferencial es mas conveniente transformar (x) al espacio de momentos.
Su transformada de Fourier es
Z
1
d3 k eikx (k).
(3.12)
(x) =
(2)3/2
La transformada inversa es
(k)
=
(2)3/2
Ademas tenemos la propiedad
d3 x eikx (x).
Z
1
d3 k eikx .
(x) =
3
(2)
Reemplazando ec. (3.12) en (3.11), tenemos
Z
1
d3 k(k2 + m2 )eikx (k)

= g(x)
(2)3/2
Z
g
=
d3 k eikx
(2)3
g
.
(k2 + m2 )(k)
=
(2)3/2
(3.13)
(3.14)
Entonces
g
1
.
3/2
2
(2) k + m2
Reemplazando en la ec. (3.12) y definiendo r |x|

Z
1
g
1
3
ikx
(x) =
d ke
(2)3/2
(2)3/2 k2 + m2
Z
eikx
g
3
d
k
=
(2)3
k2 + m2
Z
Z
g
k2
=
2
d|k| 2
ei|k|r cos sen d
2
(2)3
k
+
m
0
0
(k)
=
(3.15)
56
Haciendo el cambio de variables u = cos , du = sin d,

Z
Z 1
g
k2
(x) =
d|k| 2
ei|k|ru du,
(2)2 0
k + m2 1
Z
Z 1
k2
g
d|k| 2
ei|k|ru du.
(x) =
2
2
(2) 0
k + m 1
Ya que
ei|k|ru du =
1
(3.16)
ei|k|r ei|k|r
i|k|r
Z
ei|k|r ei|k|r
g
d|k|
|k|
(x) =
i(2)2 r 0
k2 + m2
Z

Z
ei|k|r
g
ei|k|r
d|k| |k| 2
=
d|k| |k| 2
i(2)2 r
k + m2
k + m2
0
0
Z
Z
g
ei|k|r
ei|k|r
=
d|k|
|k|
d|k|
|k|
2 + m2
i(2)2 r 0
k2 + m2
k
{z
}
|0
Z
i|k|r
g
e
d|k|
|k|
i(2)2 r
k2 + m2
Z
|k|ei|k|r
g
d|k|
=
i(2)2 r
(|k| + im)(|k| im)
|k||k|
(3.17)
Definiendo
f (z) =
zeizr
z + im
y usando la integral de Cauchy para el contorno correspondiente al semiplano positivo que incluye
el polo en z = im
Z
im emr
f (z)
dz = 2if (im) = 2i
= i emr
(3.18)
2im
C z im
tenemos que
(x) =
g emr
4 r
(3.19)
A la luz de la interaccion fuerte, un proton y un neutron son indistinguibles y son llamados

nucleones. En primera aproximacion la interaccion fuerte puede ser tratada como una interaccion de
Yukawa en el rango de los fermis entre los nucleones, mediada por mesones, como el pion. Ver sec.
2.2 de [21].
Para ver esto considere un nucleon como fuente de un meson intermediario. De acuerdo a la
DE KLEIN-GORDON
3.1. ECUACION
57
ec. (3.19),
g em|x|
4 |x|
Z
m|xx |
1
3
e
d x g (x )
=
4
|x x |
Z
m|xx |
1
3
e
=
d x (x )
4
|x x |
(x) =
Lint
1
= (x)(x) =
4
(3.20)
em|xx |
d x (x)(x )
|x x |
3
Lint
Lint
(/t) t
= Lint
Z
m|xx |
1
3
e
d x (x)(x )
=
4
|x x |
(3.21)
Hint =
Hint
1
=
4
(3.22)
d3 x d3 x (x)(x )
em|xx |
|x x |
(3.23)
El Hamiltoniano de interaccion en ec. (3.23) representa la interaccion entre dos nucleones mediante
el intercambio de un meson. En forma analoga a como dos electrones intercambian un foton mediante
la interaccion electromagnetica. En el caso de m = 0, Hint , corresponde a la de energa potencial de
Coulomb. El potencial por unidad de carga al cuadrado, puede escribirse como
V (r) =
1 emr
4 r
(3.24)
El potencial en (3.24) recibe el nombre de potencial de Yukawa y corresponde a una interaccion de

rango r 1/m.
Comparando con la ec. (3.1) tenemos
m
(3.25)
que es compatible con la ec. (3.5). Usando el valor medido de en la ec. (3.2)
1
1.973 1016 m
1.43 1015 m
GeV1
138 MeV
(3.26)
La masa del pion 0 , es m0 = 134.8766(6) MeV.

En el caso general tenemos que (x) satisface la ecuacion de Klein-Gordon en el espacio libre,
ec. (3.7)
2
( 2 2 + m2 ) = 0
(3.27)
t
58
con solucion,
exp(ik x it)
(3.28)
que, consistente con la discusion en la seccion 2.2, ec.(2.71), da lugar a la condicion

m2 = 2 k2 .
(3.29)
De este modo m, puede interpretarse como la masa de la partcula .

Para complementar la discusion, condere el caso de un aparato de medida con el mnimo requerimiento para descubrir el 0 . El tiempo que el 0 tarda en crurzar del proton al nucleon debe ser al
menos de r/c. El aparato de medida debe operar a una escala de tiempos
r
.
c
(3.30)
~
~c
=
.
2t
2r
(3.31)
t <
La incertidumbre en la enrga sera
E
Reemplazando E = 12 mc2 para que la medida E E sea significativa a dos , tenemos que
r
~
.
mc
(3.32)
De este modo r es la medidad de la separacion entre n y p, tal que en el tiempo disponible, el 0

pueda robar la energa necesaria para llegar a existir y cruzar de uno a otro. Usando m = 138 MeV,
tenemos
r
1
1.973 1016 m
GeV1
= 1.43 1015 m.
1
0.138
GeV
(3.33)
El valor obtenido de es compatible con r. es el rango efectivo de la fuerza asociada. A continuacion

Yukawa considero la posibilidad de que el quantum pudiera ser emitido en la transicion n p, a
traves del proceso
n p +
(3.34)
donde la conservacion de la carga determina la carga de . Sin embargo el proceso viola la conservacion de la energa ya que mn = 939.565 56(81) MeV, mp = 938.272 013(23) MeV, de modo que
mn < mp + m , si m 100 MeV, as esto no puede ocurrir como un proceso real de emission. Sin
embargo, Yukawa noto que si (3.34) se combina con el proceso inverso
p + n
(3.35)
entonces una interaccion np podra tomar lugar a traves del mecanismo mostrado en la figura 3.1(a).
Es decir a traves del intercambio de un quantum . El otro diagrama compatible con la conservacion
de la carga tambien aparece en la figura
En el espacio de momentos, la cantidad relevante que representa el intercambio de piones, es la
que aparece en la ec. (3.17) y se conoce como el propagador :
propagador:
k2
1
m2
(3.36)
59
3.2. CAMPOS ESCALARES COMPLEJOS
Figura 3.1: Intercambio de Yukawa de un solo

En el caso electromagnetico tendremos simplemente
1/k2 .
(3.37)
Para partculas incidiendo sobre un metal y siendo dispersadas por un angulo entre q y q , tal
que se satisface la condicion de dispersion elastica q2 = q 2 (dispersion de Rutherford)
k2 = (q q )2 = 2q2 (1 cos ) = 4q2 sin2
(3.38)
Entonces
cross section
1
k2
sin4 ,
2
(3.39)
que explica la famosa variacion angular de la dispersion de Rutherford, en la cual las partculas
son dispersadas por los n
ucleos positivamente cargados del metal. Ver figura 3.2
En general tendremos
1
,
(3.40)
propagador:
2
k m2
donde k = (k0 , k)
3.2.
Campos escalares complejos
En la seccion anterior se trabajo con un campo escalar real que solo podra describir un pion
neutro. Para describir piones cargados debemos construir un campo escalar complejo. En mecanica
cuantica la funcion de onda compleja puede describir parcialmente a un electron cargado. Sin embargo
60
Figura 3.2: Dispersion de partculas a traves de una lamina de oro
la funcion de onda del electron tambien debe ser generalizada para poder dar cuenta del espn. Esto
corresponde al funcion de onda de la ecuacion de Dirac en la seccion 5.1.
De hecho, algunas consecuencias fsicas interesantes surgen si consideramos un sistema de dos
campos escalares reales, 1 y 2 , que tengan la misma masa m. Entonces
1
1
1
1
L = [ 1 1 m2 21 ] + [ 2 2 m2 22 ]
2
2
2
2
(3.41)
Si definimos
1 + i2
2
1 i2
=
,
2
2 =(1 + i2 )

2 =(1 i2 ).
=
then
(3.42)
and
(3.43)
Therefore
2( + ) =21
Then
2( ) =2i2 .
+
1 =
2

2 = .
2i
(3.44)
(3.45)
61
Reemplazando la ecuaciones (3.44) y (3.45) en la ec. (3.41), tenemos

1
1
L = [ ( + ) ( + ) m2 ( + )2 ]
4
2
1
1
+ i2 [ ( ) ( ) m2 ( )2 ]
4
2
1
= [ + + 2 m2 (2 + 2 ) + 2 ]
4
1
[ + 2 m2 (2 + 2 ) 2 ]
4
1
= [4 4m2 ]
4
L = m2
De la ec. (1.51) de la seccion 1.3,
De las ecuaciones de Euler-Lagrange para , usando el Lagrangiano en ec. (3.46)

L
L
=0
( )
+ m2 = 0
( + m2 ) = 0,
(3.46)
(3.47)
y de la ecuaciones de Euler-Lagrange para ,

( + m2 ) = 0.
(3.48)
De este modo tanto , como , satisfacen la ecuacion de Klein-Gordon. Cada campo ademas corresponde a una partcula de masa m como en el caso de 1 y 2
Estamos ahora interesado en las simetras internas del Lagrangiano. Entonces la corriente conservada puede definida en la seccion 1.3, eq. (1.53)
L
L
+
( )
( )
J = + .
J =
(3.49)
Ademas de la invarianza de Lorentz, el Lagrangiano en ec, (3.46) tambien es invariante bajo el grupo
de transformaciones U(1) definido en las seccion 2.3.1, pero con una fase constante
U = ei 1 + i.
Entonces
U
= ei (1 + i)
= + i.
(3.50)
Entonces,
= i
= i .
(3.51)
(3.52)
62
Reemplazando en ec. (3.49)
J i( ),
= J 0 i(
).
t
t
(3.53)
(3.54)
Definimos J como
J = i( ),
(3.55)
Como puede ser negativo no puede interpretarse como una probalidad, como se hizo con la funcion
de onda de la ecuacion de Scrodinger. Esto presento un obstaculo en la interpretacion inicial de la
ecuacion de Klein-Gordon. Sin embargo una vez se cuantiza el campo escalar la probabilidad de los
estados cuanticos queda bien definida [11].
Para interpretar a que corresponde la densidad de la ecuacion de Klein-Gordon para un campo
escalar complejo considere la siguiente solucion a la ec. (3.47)
=
ikx

a e + b eikx
2L3
i(wtkx)

1
=
ae
+ b ei(wtkx)
2L3
(3.56)
Donde el factor global es una generalizacion de la ec. (1.117) para el caso en 3 dimensiones.
Usando la expresion para T se obtiene para el campo complejo
H = (a a + b b)
P = k((a a + b b))
Sea
entonces,
i(tkx)

1
=
ae
b ei(tkx) ,
2L3
(3.57)
(3.58)
=i
t
= ik ,
reemplazando en la ecuacion (3.47)

+ m2 = 0
t t

iw
+ ik + m2 = 0
t
(w 2 + k2 + m2 ) = 0
(w 2 k2 m2 ) = 0.
(3.59)
Como era de esperarse, para que la ec. (3.56) sea solucion a la ecuacion de Klein-Gordon, w y k
deben satisfacer la ecuacion de energa-momentum de la relatividad especial.
La ec. (3.58) tambien puede escribirse como
= a + b +
(3.60)
63

donde,
=
+ =
1
2L3
1
2L3
ei(wtkx)
ei(wtkx)
(3.61)
son las soluciones de energa negativa y positiva respectivamente, a la ecuacion de Klein-Gordon, si

es una cantidad definido positiva. Entonces, si > 0
J+0 = i(+
+
)
t
t
i
[(iw) (iw)]
=
2L3
1
= 3 > 0.
L
J0 =
1
< 0.
L3
(3.62)
(3.63)
Note que el signo de la corriente solo depende del signo de . El signo de k establece en que direccion
se mueve la partcula.
Entonces, la carga conservada es
Z
Q =
d3 x J0 = 1
(3.64)
V
Ademas de la expresion para la energa del campo en eq. (1.78), y usando la ec. (3.49).
L
L
( ) + ( )
L
( )
( )

= + L
T =
(3.65)
T00 = 2 0 0 + m2
= 0 0 i i + m2
= 0 0 + + m2
T0i = i 0 + 0 i
(3.66)
(3.67)
Para + (o )
1
2L3
1
=
2L3
1
=
2L3
= 3
L
T00 =

(i)(i) + (ik) (ik) + m2
2

+ k2 + m2
2

+ 2
(3.68)
64
y
E =
d3 x T00 = > 0
(3.69)
Por consiguiente podemos interpretar + como un campo representando a una partcula de carga
positiva (campo de frecuencia negativa) y a como un campo representando a una partcula de
carga negativa (campo de frecuencia positiva). La cantidad conservada debido a la invarianza de fase
corresponde a la carga electrica.
Un campo escalar real tendra carga cero de acuerdo a la ec (3.54).
Generalizando (3.61) tenemos
+ ,
+
=
+ ,
+
=
1
2L3
1
2L3
1
2L3
1
2L3
ei(wt+kx)
ei(wtkx)
ei(+wtkx)
ei(+wt+kx)
(3.70)
Para relacionar con el momentum de la partcula

L
L
(i ) + (i )
(0 )
(0 )
= 0 i + i 0 ,
Ti0 =
(3.71)
i i

i i
3
3
Tenemos para
= 1/( 2L ) exp [i(t k x )], ( ) = = 1/( 2L ) exp [i(t k x )]
0
Ti0 = 0
i + i

1
i
i
=
(i)(ik
)
+
(ik
)(i)
2L3
ki
= 3
L
Definimos
i
P =
De modo que
d3 x Ti0 = k i
P=k
(3.72)
(3.73)
(3.74)
Para las soluciones

, tenemos P = k.
En el caso de una dimension z, el sentido de las flechas entonces representa la si la partcula se
mueve a la derecha, con T30 < 0, o a la izquierda, T30 > 0.
Si los campos escalares representan piones el campo escalar real puede representar a un 0 ,
mientras que el campo escalar complejo junto con su conjugado representaran al + y al . Tenemos
dos casos interesantes
65
3.3. INVARIANZA GAUGE LOCAL ABELIANA
1 Para distancias suficientemente grandes entre piones cargados, las interacciones nucleares seran
despreciables y solo interactuan electromagneticamente a traves del intercambio de fotones.
En este caso los piones cargados seran la fuente de la corriente electromagnetica dada en la
ec. (3.55). El analisis de este caso dara lugar a una Teora Gauge Local Abelina, representada
por el grupo U(1).
2 A nivel de las interacciones nucleares, los tres piones seran indistinguibles y formarian un
triplete de isospin fuerte que media la interaccion, mientras que el neutron y el proton formaran
un doblete y seran la fuente de los piones. Esto complementa el modelo de Yukawa presentado
en la seccion 3.1 que requera la existencia de tres piones para mediar la interaccion, el y
0 . El analisis de este caso dara lugar a una Teora Gauge Local No Abelina, representada por
el grupo SU(2) y que conserva la carga de isospn fuerte localmente.
3.3.
Invarianza gauge local abeliana
Considere la representacion del Grupo U(1), que de acuerdo a la seccion 2.3.1 es
En el Lagrangiano en ec. (3.46)
U(x) = ei(x)
(3.75)
L = ( ) m2 ,
(3.76)
el termino de masa es invariante bajo la transformacion

U
= U
U
= U 1 ,
(3.77)
pero el termino cinetico no lo es. Sin embargo, si cambiamos , por una derivada covariante D , tal
que la derivada covariante del campo transforme como el campo:
U
D (D ) = U (D )
U
(D ) (D ) = (D ) U 1 ,
(3.78)
entonces el Lagrangiano obtenido por reemplazo D :

L = (D ) D m2 ,
(3.79)
es invariante bajo el grupo de Transformaciones U(1): L L = L. Diremos en ese caso que el

Lagrangiano, y por consiguiente la Accion, es invariante gauge local bajo U(1).
Desarrollando la ec. (3.78), tenemos que

b
b
b U = U D
b
D D = D
(3.80)
b
Cuando sea necesario indicaremos el caracter de operador de D con D.
Por consiguiente
D U = UD
(3.81)
66
D (D ) = UD U 1
(3.82)
Las ecs. (3.78) no se satisfacen para D = . Sin embargo, definiendo

D = igA
(3.83)
Para que las ecs. (3.78) se satisfagan, tenemo de la ecuacion (3.80) que
D (D ) = ( igA )U =U( igA D)
U + ( U) igA U =U igA
( U) igA U = igUA
igA U = ( U) igUA
1
A U = ( U) + UA
ig
i
A = ( U)U 1 + UA U 1 .
g
(3.84)
From this general formula we have
i
U
A A = UA U 1 ( U)U 1
g
i
= A ( U)U 1
g
i
= A (i ) UU 1
g
1
= A + .
g
(3.85)
As, el campo A que se requiere para satisfacer las propiedades de la derivada covariante transforma
justamente como el campo vectorial electromagnetico. La ec. (3.83) da lugar a la sustitucion mnima
del operador de momentum
p p + gA
(3.86)
Veremos que la carga conservada U(1) se puede identificar con la carga electrica. Entonces fijamos
g = e
(3.87)
Podemos encontrar que

i
Fb = [D , D ]
g
(3.88)
67
ya que
i
Fb = [ igA , igA ]
g
i
= [( igA ) ( igA ) ( igA ) ( igA ) ]
g

i
= g 2A A ig[ (A ) + A ] + g 2 A A + ig[ (A ) + A ]
g
i
= {( ) g 2 (A A A A ) ig[( A ) ( A )]
g
ig[A + A A + A ]}
=[( A ) ( A ) ig(A A A A )]
(3.89)
Como A y A conmutan
F = A A
(3.90)
Con esta expresion para Fb podemos demostrar su invarianza gauge a partir de la transformacion
de la derivada covariante

i
b
F
=
D ,D
g

i
UD U 1 , UD U 1
=
g
= U Fb U 1
= Fb .
(3.91)
El Lagrangiano mas general es, que incluye todos los terminos invariantes gauge y renormalizables
para los campos y A es
1
L = (D ) D m2 F F .
4
(3.92)
Desarrollando el primer termino

(D ) D = [( + ieA ) ] ( + ieA )
= ( ieA ) ( + ieA )
= + ieA ( ) ieA + e2 A A
(3.93)
Por consiguiente el Lagrangiano en ec. (3.92) puede escribirse como

1
L = Lescalar F F + Lint
4
(3.94)
Lint = ieA ( ) + e2 A A .
(3.95)
donde
68
El campo vectorial A aparece como consecuencia de la invarianza gauge del Lagrangiano en ec. (3.79).
En tal caso lo llamaremos un boson gauge.
De las ecuaciones de Euler-Lagrange tenemos

L
L
=0
( A )
A
F e [i( ) + 2eA ] = 0 .
(3.96)
Las ecuaciones de movimiento para el campo vectorial son entonces
F = ej
(3.97)
donde
j = i [ ( )] 2e A = J 2e A .
(3.98)
j = i [ D (D ) ] .
(3.99)
Usando la primera ecuacion en (3.49), tenemos que (D = + ie A )
De otro lado, las ecuaciones de movimiento para el campo escalar complejo

L
L
=0
( )
( + ieA ) (m2 ieA + e2 A A ) = 0

+ m2 + ie (A ) + ieA e2 A A = 0
dan lugar a
( + m2 + U(x))
= 0,
(3.100)
(3.101)
donde
U (x) = ie(A + A ) e2 A A
(3.102)
El operado en el segundo termino opera en A y . A la luz de los resultados la escogencia de la
derivada covariante en la ec. (3.83), puede justificarse adicionalmente a partir de la Fuerza de Lorentz
para una partcula de carga q moviendose con una velocidad v bajo la influencia tanto del campo
magnetico como del campo electrico
F = qE + qv B.
(3.103)
Esta expresion puede ser deriva, a traves de las ecuaciones de Hamilton, del Hamiltoniano clasico
1
H=
(p qA)2 + qA0
(3.104)
2m
1
(p qA)2
H qA0 =
2m
que a su vez puede obtenerse del Hamiltoniano para una partcula libre con el reemplazo
H H qA0
p p qA
yp
, tenemos
En terminos de los operadores H
i i qA0
i i qA
t
t
+ iqA0
i i iqAi = i + iqAi .
t
t
De modo que
= ( 0 0, i ) D = ( 0 + iqA0 , i + iqAi ) = + iqA .
(3.105)
(3.106)
(3.107)
69
3.3.1.
Aplicaci
on a barrera de potencial
Considere una barrera de potencial,

(
0 A la izquierda de la barrera (Region I)
A0 =
V A la derecha de la barrera (Region II)
(3.108)
tal como se muestra en la figura 3.3. Las componentes del campo vectorial son A = 0 y A0 = V , con
A0 independiente del tiempo pues el potencial es constante. Entonces, de la ec. (3.102) tenemos que
para le Region II
U (x) = ie(A0 0 + 0 A0 ) e2 A20
= ie(A0 0 + A0 0 ) e2 A20
e2 V 2
= 2ieV
t
y
( + m2 + 2ieV
e2 V 2 ) = 0 .
t
(3.109)
(3.110)
Se sugiere que en la Region I

I = A ei(pzEt) + B ei(pz+Et)
(3.111)
De acuerdo al calculo de la corriente en ec. (3.62) esta solucion representa partculas con carga
positiva. Ademas de la ec.(3.70) la solucion con coeficiente A representa un + moviendose a la
derecha, mientras que la de coeficiente B representa un + moviendose a la izquierda.
Otra forma de mostrar con que direccion las soluciones evolucionan con el tiempo es haciendo
paquetes de onda [11]. El paquete de onda es
h
i
ei(pzEt) = exp i
E 2 m2 z Et
Z E0 +E
i
h
E 2 m2 z Et
(3.112)
dE exp i
E0 E
sea u = E E0 1, entonces E = u + E0 , dE = du, E = E0 E da lugar a u = E, y

q
q
p
2
2
2
2
2
2
2
E m = (u + E0 ) m = u + 2uE0 + E0 m 2uE0 + p20
s
uE0
uE0
2uE0
= p0 1 + 2 p0 (1 + 2 ) = p0 +
(3.113)
p0
p0
p0
donde p20 |p0 |2 = E02 m2 . Para una partcula no relativista E0 /p0 = m/(mv0 ) = 1/v0 . En general
v0 =
p0
E0
E 2 m2 p0 +
(3.114)
u
v0
(3.115)
sustituyendo en ec. (3.112)

i(pzEt)

u
z (u + E0 )t
du exp i p0 +
v0
E
Z
(3.116)
70
Figura 3.3: Barrera de potencial

u
z ut
du exp i
v0
E
ip0 zE0 t
ip0 zE0 t
(3.117)

z
du exp iu
t
v0
E
E
(3.118)

z v0 t
du exp iu
v0
E
ip0 zE0 t
(3.119)
Que corresponde a un pulso de energa E0 y momentum p0 moviendose hacia la derecha Sea

=
Entonces
f () =
i(p0 zE0 t)
I = A e
z v0 t
v0
dE eiE = 2
z v0 t
v0
(3.120)
sin(E)
i(p0 z+E0 t)
+Be
(3.121)

z + v0 t
v0
(3.122)
y v0 = p0 /E0 . Entonces, la parte con coeficiente A corresponde a un + incidente moviendose hacia

la derecha, y la parte con coeficiente B a un + reflejado moviendose hacia la izquierda (ver figura
3.3 ).
Para la Region II, consideramos exponenciales de la misma fase que en la region I pero con el
momentum modificado debido ala presencia del potencial. En la region I las soluciones correspondan
71
a partculas con J 0 = J+0 > 0. En la region II deberemos calcular los correspondientes j 0 de la

ec. (3.98) e interpretar el signo resultante
II = C ei(P zEt) + D ei(P zEt) .
Esta es solucion a la ec. (3.110)
2

2
2 2
II = 0
+ m + 2ieV
e V
t2 z 2
t

E 2 + P 2 + m2 + 2eV E e2 V 2 II = 0

(eV E)2 + P 2 + m2 II = 0
(3.123)
(3.124)
de modo que
P =
(eV E)2 m2
(3.125)
Note que P p cuando V = 0. Si eV E < m tenemos la solucion amortiguada convencional. Sin

embargo, en el caso de una barrera alta eV E > m tendremos soluciones oscilatorias. En adelante
nos concentraremos en esta posibilidad, que corresponde a una barrera suficientemente alta.
El calculo de la corriente en la Region II, esta dado por j en la ec. (3.98). Para C = 0 o D = 0,
Z L
Z L
0

0
Q=
j dz =
i 0 2e A0 dz
0
0
Z L
=
{i[iE (iE)] 2eV } ||2 dz
(0
RL
2|C|2 0 (eV E) dz = 2|C|2 L(eV E) < 0, D = 0
RL
=
(3.126)
2|D|2 0 (eV E) dz = 2|D|2 L(eV E) < 0, C = 0
y corresponde a una partcula cargada negativamente que interpretaremos como un . Para identificar cual es el transmitido, es decir moviendose hacia la derecha usaremos de nuevo los dos metodos
descritos anteriormente. De la expresion para el momentum tenemos
T30 =
L
L
3 + 3
,
(0 )
(0 )
(3.127)
donde el Lagrangiano obtenido a partir de la ec. (3.94) es

1
L = m2 F F ieV ( 0 0 ) + e2 V 2 .
4
(3.128)
T30 =( 0 ieV )3 + 3 ( 0 + ieV ) .
(3.129)
Entonces
De la ec. (3.123), para ei(P zEt) , tenemos

T30 [iE ieV ](iP ) + (iP )[iE + ieV ]
2 (1)(E eV )P
(
2(eV E)P D = 0
+2(eV E)P C = 0 .
(3.130)
72
Para una la barrera alta eV E > m > 0, de acuerdo a las convenciones, si T30 < 0 la partcula se
mueve hacia la derecha, y se mueve a la izquierda si T30 > 0. De modo que la solucion con coeficiente
C cooresponde a un moviendose a la derecha y la solucion con coefciente D corresponde a un
moviendose a la izquierda. Note que cuando V = 0, la solucion Cei(P zEt) , j 0 > 0 y T30 > 0
corresponde a + moviendose a la izquierda. Para completar la descripcion, consideramos un +
moviendose a la derecha hacia la barrera como en la figura 3.3. Esto significa que cualquier meson
debe ser producido por la interaccion con la barrera y viajara hacia la derecha dentro de la region
II. De aqu que para la condicion de frontera D = 0, la solucion es
I =A ei(pzEt) + B ei(pz+Et)
II =C ei(P zEt) .
(3.131)
De otro lado podemos construir el paquete de onda correspondiente en cada caso. Por ejemplo
la condicion de frontera D = 0 da lugar a una partcula moviendose a la derecha. En efecto, el
paquete de onda es

z u0 t
i(P0 z+E0 t)
II = C e
f
,
(3.132)
u0
con
P0
P0
u0 =
(3.133)
=p 2
eV E0
P0 + m2
Note que en el caso V = 0, esta da lugar a un + moviendose a la izquierda como era de esperarse.
De manera que emerge un marco consistente de un partcula de masa m y carga e moviendose
haca la derecha. De aqu que para la condicion de frontera D = 0, la solucion normalizando A = 1
es [11]

z v0 t
P0 + p0 i(p0 z+E0 t)
z + v0 t
i(p0 zE0 t)
I = e
f
e
f
,
v0
P 0 p0
v0

z u0 t
2p0 i(P0 z+E0 t)
,
(3.134)
e
f
II =
P 0 p0
u0
Este resultado se interpreta diciendo que el pion incidente no solo se dispersa en la barrera (B 6= 1),
sino que tambien estimula la barrera para producir un par + , el viaja dentro de la barrera
la cual ve como un hueco, mientras que el + producido por la barrera viaja hacia la izquierda. Si
J 0 y j 0 son interpretados como la densidad de carga, la interpretacion es consistente y tiene sentido
fsico. La energa y la carga se conservan [11].
Example 3.3.1.1
Escriba la ec. (3.92) encoordenadas polares.
Sea = ei(x) (x)/ 2, con y reales. Bajo una tranformacion gauge
1
A A = A +
g
(x)
= ei(x) ei(x)
2
Si fijamos el gauge tal que = , entonces = , y
(3.135)
A LA MECANICA
3.4. APLICACION
CUANTICA
73

1
L L = (D ) (D ) m2 (F F )
4

1
L L = ( + igA ) igA m2 (F F )
4

1
1
1 2 2
= 2 ( + igA ) igA 2 m (F F )
4
En adelante, podemos quitar la prima del campo A
1
L = 21 21 m2 + g 2 A A 2 F F
4
(3.136)
Aunque este gauge es de poca utilidad en este contexto, sera de mucha utilidad en la discusion
del rompimiento espontaneo de simetra.
3.4.
Aplicaci
on a la mec
anica cu
antica
De la ecuacion (3.104) podemos obtener la ecuacion de Schodinger en presencia de un campo

electromagnetico

1
2
b
H =
(
p qA) + qA0
2m

1
2
(i qA) + qA0 .
(3.137)
i =
t
2m
Que puede reescribirse como

1
0
i
+ iqA = i2
( iqA)2
t
2m

1
+ iqA0 =
( iqA)2
i
t
2m
(3.138)
Definiendo el cuadrivector
D = (D 0 , D)

+ iqA , ( iqA)
t

0
i
+ iqA , i + iqA )
=
t

0
i
i
=
+ iqA , + iqA
t
= + iqA
tenemos
iD 0 =
1 2
D
2m
(3.139)
(3.140)
74
que para A = 0 se reduce a la ecuacion de Schrodinger para una partcula libre. Bajo la transformacion gauge en el campo A de la ec. (3.85),
1
0
A0 A = A0 0
q
1
A A = A +
q
(3.141)
los campos E y B permanecen los mismos. Para que la mecanica cuantica sea consistente con
las ecuaciones de Maxwell es necesario que las transformaciones gauge (3.85) de los potenciales
de Maxwell esten acompa
nados por una transformacion de la funcion de onda, , donde
satisface la ecuacion
1 2
0
iD =
D
2m

1
2
i =
(i qA ) + qA 0 .
t
2m
(3.142)
Como la forma de la ecuacion (3.142) es exactamente la misma que la forma de (3.140) entonces ambas
describen la misma fsica. Si podemos encontrar la forma de podemos afirmar que la ec. (3.140)
es covariante gauge, lo que significa que mantiene la misma forma bajo una transformacion gauge.
Como conocemos como transforma A podemos encontrar cual debe ser el que hace que la ecuacion
(3.142) sea consistente con (3.140). Vamos a establecer la respuesta y verificarla. El requerido es
= ei(x)
(3.143)
Entonces
D = [( iqA) i] ei(x)
= i()ei(x) + ei(x) iqAei(x) i()ei(x)

= ei(x) ( iqA)
= ei(x) (D)
(3.144)
y
2
D = D (D )
= [( iqA) i] ei(x) (D)
= i()ei(x) (D) + ei(x) (D) iqAei(x) (D) iei(x) (D)

= ei(x) ( iqA)(D)
= ei(x) (D 2 )
(3.145)
De la misma manera
0
D = ei(x) (D 0 )
(3.146)
De modo que
D D = ei(x) (D )
(3.147)
A LA MECANICA
3.4. APLICACION
CUANTICA
75
y la derivada covariante del campo transforma como el campo. Tenemos entonces que
1 2
D
2m
1 i(x) 2
e
D
iei(x) D 0 =
2m
1 2
D
iD 0 =
2m
0
iD =
(3.148)
En resumen, para
D = + iqA
(3.149)
y reemplazando q tenemos
A A = A (x)
= eiq(x)
D D = eiq(x) (D ) .
(3.150)
En este convencion q corresponde al generador de la transformacion y al parametro de la transformacion.

El correspondiente Lagrangiano es (ver ec. (1.79))
1
1
i 0
D (D 0 ) F F
(D) D
2m
2
4
1
i
1 i
( 0 + iqA0 ) [( 0 iqA0 ) ] F F
( iqAi ) ( i + iqAi )
=
2m
2
4

1
i
1 i
( 0 + iqA0 ) ( 0 iqA0 ) F F
( iqAi )( i + iqAi )
=
2m
2
4
1 i i
=
[ + iq( i )Ai iq ( i )Ai + q 2 Ai Ai ]
2m
1
i
( 0 ) ( 0 ) + 2iq A0 F F
2
4
L=
La corriente se obtiene de la ecuaciones de Euler-Lagrange para A

(F )
L
=0
A
que da lugar a dos conjuntos de ecuaciones, una para Ai

L
=0
Aj
L
(F j )
=0
Aj
(F j ) +
1
[iq( i ) iq ( i ) + 2q 2 Ai ] =0
2m
iq
[( i ) ( i ) 2iq Ai ] =0
(F j )
2m
(F j )
(3.151)
76
y otra para A0
L
=0
A0
(F 0 ) + q A0 =0
(F 0 ) +
(3.152)
Entonces
F = j
con
j =
q
=0
iq
[( i ) i 2iq Ai ] = i
2m
Que incluye el termino corriente para una partcula cargada y es diferente de la corriente de probabilidad en ec.(1.87). En otras palabras es la carga electrica la que se converva localmente. Note que
para el Lagrangiano de Klein-Gordon de un campo escalar complejo a nivel clasico no esta definida
la probabilidad.
De otro lado las ecuaciones de EulerLagrange para el campo son

L
L
L
L
L
+ i
= 0
0 =
( )
(0 )
(i )

i 0
1
1
i
i
i
2 i i
0
iq( )A + q A A + qA
i (i + iqAi )
= 0 +
2
2m
2m
2

i
i
1
1
= 0 + 0 qA0 +
iq( i )Ai q 2 Ai Ai
i (i + iqAi ) +
2
2
2m
2m

1
1
2
0
=i0 + i qA +
iqAi ( i + iqAi )
i (i + iqAi ) +
2m
2m
1
(i + iqAi ) (i + iqAi )
=i(0 + iqA0 ) +
2m
1
=iD0 +
Di Di
2m
1
D D
iD0 =
2m
1 2
D
iD0 =
2m
Que corresponde a la ec.(3.148), es decir, la ecuacion de Scrodinger con la derivada normal reemplazada por la derivada covariante.
3.5.
Invarianza gauge local no abeliana
Las interacciones debiles son mediadas por bosones gauges cargados W . Que simetra puede
dar lugar a la aparicion de dichos bosones gauge?
77
3.5. INVARIANZA GAUGE LOCAL NO ABELIANA

El Lagrangiano invariante de Lorentz para un doblete escalar complejo
+
,
=
0
(3.153)
con + y 0 campos escalares complejos es

L = m2 .
donde
= 0
de modo que
(3.154)
(3.155)
L = + m2 + + 0 0 m2 0 0
(3.156)
que corresponde a los Lagrangianos de las partculas escalares compleja + y 0 de la misma masa.
De modo que este Lagrangiano se puede obtener con una generalizacion similar a la que dio lugar al
Lagrangiano para un campo escalar complejo a partir de dos campos escalares reales. Note que en
este contexto un campo escalar complejo puede ser neutro porque tiene cargas adicionales. En este
caso una carga de isospn debil como veremos mas adelante.
El Lagragiano en ec. (3.156) es invariante bajo transformaciones globales
(
(1 + iq)+ = [1 + i(+1)]+ ,
[(1 + iq)+ ] = [1 + i(1)]
(3.157)
= eiq
(1 + iq)0 = [1 + i(0)]0 = 0 , [(1 + iq)0 ] = 0

Estas ecuaciones se pueden escribir de forma mas compacta en terminos del Lagrangiano en ec. (3.154)
= V = eiQ
donde V es la matriz 2 2
iQ
V=e

(+1)+
+1 0
= + i
(1 + iQ) = + i
(0)0
0 0
+ i +

e
1 + i 0
=
=
0
0
0
1
(3.158)
(3.159)
donde Q es el generador de carga electrica. Es claro que el Lagrangiano en ec. (3.154) es invariante
bajo la transformacion (3.158). Ademas de la u
ltima ecuacion vemos que el campo + transforma
como un campo complejo cargado, mientras que 0 es invariante bajo la transformacion de carga, es
decir, neutro. Si imponemos que la carga electrica se conserve localmente
L = (D ) D m2 14 F F
(3.160)
Expandiendo tenemos, teniendo en cuenta la ec. (3.179)1 ,

L = + ie QA ( ieA Q) m2 41 F F

= + ie QA A Q + e2 QA QA m2 41 F F

= + ie A Q A Q + e2 Q2 A A m2 41 F F

= + ie Q Q A + e2 Q2 A A m2 41 F F

= + i (eQA ) + h.c + e2 Q2 A A m2 41 F F
(3.161)
1
Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la secci
on 3.7
78
Note que V es unitaria

ei 0
,
V =
1 0

V V = 1 .
(3.162)
con det V = ei . De este modo el Lagrangiano es invariante bajo el grupo U(1)Q .

Ademas, el Lagrangiano en ec. (3.154) tambien es invariante bajo transformaciones globales del
grupo de matrices unitarias 2 2 de determinante 1 SU(2):
U
= U

U
= U ,
con
UU = U U = 1
(3.163)
det U = 1
(3.164)
En general, un elemento del Grupo SU(N) puede escribirse como

U = exp(iT j j )
(3.165)
donde j son los parametros de la transformacion y T j corresponden a los N 2 1 generadores del

Grupo. Estos generadores deben ser hermticos, de traza nula, es decir
Tr T i = 0
T = T
(3.166)
y satisfacer el algebra
[T i , T j ] = ifijk T k
(3.167)
donde a fijk , i, j, k = 1, . . . , N 2 1, se les llama constantes de estructura del Grupo y son antisimetricas en todos los ndices.
Una representacion del grupo SU(2) se puede obtener con las matrices de Pauli 2 2 [16], que
satisfacen el algebra
i j
k

= i ijk
,
(3.168)
2 2
2
donde i

0 1
1 =
1 0

0 i
2 =
i 0

1 0
3 =
0 1
(3.169)
dividas por dos, corresponden a los generadores del Grupo. Las constantes de estructura del Grupo
corresponden a ijk . Como los generadores no conmutan, SU(2) es un Grupo de Lie no Abeliano.
Definiendo los generadores de SU(2) como
Ti =
i
,
2
(3.170)
un elemento del Grupo puede escribirse como

U = eiT
1 + iT i i = 1 + i
i
i .
2
(3.171)
Como antes, i es el parametro de la transformacion. Siempre que sea posible intentaremos expresar
los resultados independiente de la representacion para usarlos de nuevo en la seccion 3.7.
79
Las matrices de Pauli y por consiguiente Ti satisfacen

i = i
Tr (i ) = 0
(3.172)
det (i ) = 1
{i , j } = 2ij I i2 = I

Tr i j = 2 ij
i j = iijk k + ij
(3.173)
Ademas
Para demostrar la pen

ultima propiedad por ejemplo, tenemos del anticonmutador que
i j + j i = 2ij I
Tr(i j + j i ) = 2ij Tr I
Tr(i j ) + Tr(j i ) = 4ij
Tr(i j ) + Tr(i j ) = 4ij
2 Tr(i j ) = 4ij
Tr(i j ) = 2ij
El campo corresponde a un doblete de SU(2). Este grupo SU(2), con algunas modificaciones que
no afectan la actual descripcion, sera usado para generar las interacciones debiles, de forma analoga
a como el grupo U(1) se uso para generar las interacciones electromagneticas. Es decir a partir del
principio gauge local. De momento, cada componente del doblete tiene una carga de isospn debil
que se conserva globalmente y que corresponde a
1 +
3
(3.174)
T3 = = 2 1 0 .
2
2
Es decir + tiene isospn debil 1/2 y 0 1/2.
En esta seccion analizaremos la posibilidad de convertir la invarianza gauge global no abeliana a
una invarianza gauge local. En la proxima seccion se convertiran todas las invarianzas gauge globales
del Lagrangiano a locales.
Como en el caso Abeliano, ahora requeriremos que la Accion tambien sea invariante bajo transformaciones locales SU(2), de modo que i = i (x). Ya que tenemos tres parametros gauge i (x) esto
requiere la introduccion de 3 campos gauge Wi , y la derivada covariante es ahora una matriz 2 2:
D igT i Wi igW ,
donde = I y W es una matriz 2 2 de componentes
i
(W )ab =
Wi .
2 ab
(3.175)
(3.176)
80
tenemos que W es

1 0 i
1 1 0
0 1
1
2
W +
W +
W3
1 0
2 i 0
2 0 1
1
2
i
W
2
W3
1
2
=
1
2
W + i W
2
W3
2
2

3
+
1
W
2W
.
2W W3
2
1
W =
2
(3.177)
Siempre que no haya lugar a confusion, es costumbre no poner el ndice a los campos vectoriales
componentes de W , de modo que

+
3
1
W
2W
W =
.
(3.178)
2W W 3
2
Ademas
W = W .
(3.179)
El Lagrangiano invariante gauge local bajo SU(2) es

L = (D ) D m2 .
(3.180)
Muchas de las ecuaciones en seccion 3.3 aplican igualmente aqu. Tenemos que
= U
= U
D (D ) = U(D )
D (D ) = (D ) U .
(3.181)
(1 + iT i i ) = iT i i
(3.182)
Ademas
Entonces
L L = (D ) (D ) m2
= (D ) U UD m2 U U
= L,
(3.183)
y el Lagrangiano, y por consiguiente la accion, es invariante bajo transformaciones gauge locales

SU(2)
De la definicion de derivada covariante obtenemos el resultado de la ec. (3.82)
D (D ) = UD U .
(3.184)
81
Las matrices W transforman como (ver ec. (3.84)

i
U
W (W ) = UW U ( U)U
g
(3.185)
Entonces
i
T i W i (1 + ij T j )T k Wk (1 il T l ) [i( m )T m (1 in T n )]
g
i
=(T k + ij T j T k )(1 il T l )Wk [i( m )T m (1 in T n )]
g
1
[T k il T k T l + ij T j T k ]Wk + T m m
g
1
=[T k ij (T k T j T j T k )]Wk + T m m
g
1
=T i Wi i(iikj T i )Wk j + T i i
g

1
ikj
=T Wi + i + Wk j
g
(3.186)
de donde
1
Wi W i Wi + i + ijk Wj k
g
(3.187)
que se reduce al caso Abeliano (3.85) cuando las constates de estructura son cero. Como era de
esperarse cada campo gauge tiene asociado un parametro de transformacion gauge i (x).
Podemos introducir el tensor de intensidad del campo gauge a partir la ec. (3.91)
i
W [D , D ]
g
(3.188)
W = W W ig(W W W W )
= W W ig[W , W ] .
(3.189)
De la ec. (3.89)
Usando la ec. (3.176), y la ec. (3.168)

W =T i( Wi Wi ) ig T i , T j Wi Wj

=T i( Wi Wi ) ig iijk T k Wi Wj
=T i( Wi Wi ) + gijk T i Wj Wk
=T iWi
(3.190)
Wi = Wi Wi + g ijk Wj Wk ,
(3.191)
donde
82
que se reduce a la forma usual cuando las constantes de estructura del Grupo son cero. Usando la
ec. (3.91)
W (W ) = UW U ,
(3.192)
De modo que la traza de W W
Tr(W W ) Tr(W W
) = Tr(UW U UW U ) = Tr(U UW U UW ) = Tr(W W ) ,
(3.193)
es invariante. Ademas Usando la ec. (3.173), podemos obtener el Lagragiano libre invariante gauge
del los campos Wi
LW 12 Tr (W W )

j
= 81 Tr i j Wi W
j
= 14 ji Wi W
i
= 14 Wi W
i
LW = 41 Wi W
,
(3.194)
que ademas de los terminos cineticos usuales, da lugar a terminos de auto-interaccion entre los
bosones gauge. Esta

es una caracterstica del caracter no Abeliano de la simetra SU(2).
Por consiguiente, la Accion mas general para los campos y Wi invariante gauge local SU(2)
esta dada por el Lagrangiano
L = (D ) D m2 12 Tr (W W )
(3.195)
Expandiendo tenemos, teniendo en cuenta la ec. (3.179)2 ,

L = + ig W ( igW ) m2 21 Tr (W W )

i
= + ig W W + g 2 W W m2 14 Wi W

i
. (3.196)
L = + ig W W + g 2 W W m2 14 Wi W
Usando la ec. (3.178) tenemos

+
3
+

W
2W

2 W =
3
0
2W
W
W3
+ 2

+ W3 + 20

+
2

+ W + 2 0 W+ 0 0 W3
W+
W3

2 W = + W3 + 2 0 + W + 2 0 W+ 0 0 W3 .
(3.197)
(3.198)
Usando estas ecuaciones, los terminos de interacciones entre dos campos escalares y un boson gauge
se puede escribir como

L3 = ig W W
L3 = gJnc
W3 + gJcc
W+ + h.c ,
(3.199)
2
Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la secci
on 3.7
83
3.6. INVARIANZA GAUGE LOCAL PARA UN GRUPO SEMISIMPLE
donde Jnc
, Jcc
son las corrientes neutras y las corrientes cargadas respectivamente, dadas por

2 Jnc
=i + + i 0 0 0 0

2 Jcc
=i 2 0 0 .
(3.200)
Como
entonces

+
3
3
1
2W
2W +
W
W
W W =
2W W 3
2W W 3
4

= 14 W3 W3 + 2W+ W I,
L4 g 2 W W
= 14 g 2 W3 W3 + 2W+ W
+ + 0 0
(3.201)
= 14 g 2 W3 W3 + + W3 W3 0 0 + 2W+ W + + 2W+ W 0 0
(3.202)
corresponde a terminos de interaccion cuarticas entre los campos escalares y los campos gauge.
Usando las ecs. (3.199), (3.202) y (3.194), el Lagrangiano en la ec. (3.196) se puede escribir como
L = L + L 0 + L 3 + L 4 + L W .
(3.203)
Donde
L = + m2 +
L0 = 0 0 m2 0 0 ,
La Accion definida por el Lagrangiano en ec. (3.203) es
acuerdo a la ec. (3.159) es
+
+ i
+
iQ
=
=e
0
0
0
1
(3.204)
invariante bajo el grupo U(1)Q , que de

0
0
+ i +
e
=
0
0
(3.205)
donde, usando el mismo lenguaje que en el caso no Abeliano, Q es el generador del Grupo U(1)Q ,
que se interpreta como la el operador de carga electrica. Esto resulto ser una simetra accidental
del Lagrangiano propuesto y solo se mantiene a nivel global. Si queremos que la carga electrica se
converve localmente debemos llevar la invarianza gauge abelina gloabal a una local de modo que
tengamos el Grupo gauge local SU(2) U(1) correspondiente a un grupo semisimple
3.6.
Invarianza gauge local para un grupo semisimple
El superndice en el doblete escalar puede ser interpretado como carga electrica (en unidades de
e) si bajo el operador diagonal de carga

+
+
+
+
(+1)
q
q
0
+
+
(3.206)
=
=
=
Q
(0)0
q0 0
0
0 q0
0
84
de modo que

+1 0
Q =
0 0
(3.207)
En esta seccion impondremos que las transformaciones bajo el grupo semisimple SU(2)U(1)Y
U(1)Q , dejen invariante la Accion definida por el Lagrangiano en ec. (3.195).
Para el caso Abeliano usaremos la misma estructura de la derivada covariante en ec. (3.175) donde
el coeficiente del campo gauge contiene el acoplamientos gauge y el generador de las transformaciones
correspondientes. El doblete escalar complejo debe transformar bajo U(1)Y como
+
U (1)Y
iY
+ iY ,
(3.208)
=e
0
de modo que la hipercarga Y debe ser la misma para las dos componentes del doblete.
El efecto de la transformacion completa SU(2) U(1)Y es
SU (2)U (1)Y
= ei(j T
j +Y
I)
(3.209)
Para que la Accion definida por el Lagrangiano en ec. (3.154) sea invariante gauge local bajo
SU(2) U(1)Y , debemos cambiar la derivada normal por la derivada covariante:
D igT i Wi ig Y B ,
= igT 1W1 igT 2 W2 igT 1 W1 ig Y B ,
!
1
3
1 gW +
gW
+
g
Y
B
2
= i 2 1
.
1
gW
gW
+ g Y B
2
2
(3.210)
y, adicionar todos los terminos invariantes gauge asociados a los campos , W , y B :

L = (D ) D m2 12 Tr (W W ) 14 B B
(3.211)
Fijaremos el valor de la hipercarga Y , tal que el Lagrangiano anterior contenga el Lagrangiano

invariante gauge local bajo U(1)Q dado en la ec. (3.161) Expandiendo
L =[ + i (gT iWi + g Y B )][ i(gT iWi + g Y B )] m2
21 Tr (W W ) 14 B B
= + i (gT i Wi + g Y B ) i (gT iWi + g Y B )

+ (gT iWi + g Y B )(gT iWi + g Y B ) m2
12 Tr (W W ) 14 B B
Las nuevas corrientes se puede obtener de:
L i
1
gW3 + g Y B
2
1 gW
i
+
1 gW +
2
12 gW3 + g Y B
1
gW3 + g Y B
2
1 gW
1
gW3 + g Y B
2
1 gW
1 gW +
2
12 gW3 + g Y B
1 gW +
2
21 gW3 + g Y B
(3.212)
1
gW3 + g Y B
2
1 gW
2
1 gW +
2
21 gW3 + g Y B
(3.213)
85

Para las corrientes involucrando tres campos tenemos

1
1
1
3
+
0
1
(
gW
+
g
Y
B
)
+
gW
+
g
Y
B
)
g
g
W
+
W
(
L i
2
2
2
2

i ( 21 gW3 + g Y B ) + 12 g 0 W 12 g W+ + 0 ( 12 gW3 + g Y B )
1 g0 W ] +
+ [ 12 g W+ + 0 ( 21 gW3 + g Y B )] 0 }
1
i{[ ( 12 gW3 + g Y B ) + 12 g 0 W ]+ + [ 12 g W+ + 0 ( gW3 + g Y B )]0

2
(3.214)
i{[ ( 12 gW3 + g Y B ) +
Las interacciones neutras de tres campos corresponden a

g 3

g

Lnc = i + +
W + g Y B + i 0 0 0 0 W3 + g Y B
2
2
(3.215)
Como el foton no se acopla con partculas neutras definimos

3
Z
cos W sin W
W
=
A
sin W cos W
B

Lnc =i

+i

=i

+i
(3.216)
i

hg
+ +
(cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2
i
0
0 h g
0
0
(cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2

+ + [( 21 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]

0 0 0 0 [( 21 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]
(3.217)
Comparando con el Lagragiano para la interaccion electromagnetica en la ec. (3.95) (g = e)

LEM ie( + + )A
(3.218)
Tenemos las dos ecuaciones

1
g
2
1
2g
sin W + Y g cos W = e
sin W + Y g cos W = 0
(3.219)
Con solucion
2Y g cos W = e
g sin W = e
(3.220)
Fijando
Y =
1
2
(3.221)
tenemos
g sin W = g cos W = e
(3.222)
86
sustituyendo en (3.219) y teniendo en cuenta la ec. (3.207)

1
+ Y = +1
2
1
+ Y = 0
2
T3 + Y = Q
(3.223)
Podemos escribir el operador de carga en terminos del isospn y la hipercarga, relacion que se conoce
como la formula de Gell-man-Nishijima
= T3 + Y
Q
(3.224)
Reemplazando la ec. (3.222) en ec. (3.217)

Lnc
Usando Y = 1/2

1
=ie
+ Y A
2

+
+ cos W
Y sin W

Z
+ie
2 sin W
cos W

0 0
0 cos W
Y sin W
0
ie
Z
+
2 sin W
cos W

Lnc =ie + + A
+

e
+i
+ cos2 W sin2 W Z
2 cos W sin W
0 0

e

i
0 0 Z
2 cos W sin W

=ie + + A
+

e
+i
+ 1 2 sin2 W Z
2 cos W sin W
0 0

e

0 0 Z
i
2 cos W sin W
e
=eJEM
A +
J Z
2 cos W sin W N C
(3.225)
(3.226)
donde JEM
esta dado por la ec. (3.55)
JEM
= i( + + ) .

JNC
= i + + (1 2 sin2 W ) i 0 0 0 0 .
(3.227)
(3.228)
Otra forma de obtener el mismo resultado es escribiendo el Lagrangiano de forma mas compacta
partiendo de la ec. (3.212), cuya parte diagonal es
3

3

L i g W3 + g Y IB i g W3 + g Y IB
2
2

3

(3.229)
i g W3 + g Y IB + h.c
2
87

gT 3 W3 + g Y B =gT 3 (cos W Z + sin W A ) + g Y ( sin W Z + cos W A )

= gT 3 sin W + g Y cos W A + gT 3 cos W g Y sin W Z
Para que Lagrangiano incluya la conservacion local de carga electrica debe contener el Lagrangiano
de la ec.(3.161) (el termino en e2 se analiza en el problema 3. 7). Entonces
gT 3 sin W + g Y cos W = eQ
(3.230)
Esto se consigue si
g sin W = g cos W = e
T3 + Y = Q
de modo que
Y =
Entonces
gT
W3
+ g Y B =eQA + e T
1
2
(3.232)
3 cos W
sin W
e
=eQA +
sin W cos W
e
=eQA +
sin W cos W
e
=eQA +
sin W cos W
Entonces
L ie Q A + i
e
2 sin W cos W
Expandiendo obtenemos la ec. (3.226)
L eJEM
A +
(3.231)
sin W
Y
cos W

T 3 cos2 W Y sin2 W Z
3

T T 3 + Y sin2 W Z

T 3 Q sin2 W Z

3 2Q sin2 W Z + h.c
e
2 sin W cos W
JNC
Z
(3.233)
(3.234)
(3.235)
Teniendo en cuenta las interacciones de cuatro campos, ver ec.(3.278), tenemos

L (gT 3W3 + g Y B )(gT 3 W3 + g Y B )
= (gT 3W3 + g Y B )

2
e
3
2
T Q sin W Z
= eQA +
sin W cos W
Entonces
jEM
= i( + + ) + 2e + A
(3.236)
(3.237)
que corresponde a la ec. (3.98).

A este nivel todos los campos gauge son no masivos. Note que las corrientes cargadas son las
mismas que en la seccion 3.5.
88
3.7.
como un triplete de SU (2)
Si transforma como un triplete de SU(2)3

++
1
= 2 = +
0
3
(3.238)
siendo i campos complejos, el Lagrangiano en la ec. (3.154) queda invariante bajo las transformacion
gauge local
= X = exp(ii i )
(3.239)
donde i son la matrices 3 3 generadores de SU(2) en la representacion adjunta

(i )jk = iijk
(3.240)
Debemos comprobar que

[i , j ] = iijk k
[i , j ]lm = iijk (k )lm
(3.241)
Ya que
(i j )lm = (i )lk (j )km = ilk jkm = ilk jmk = ij lm im lj
(j i )lm = (j )lk (i )km = jlk ikm = jlk imk = ji lm + jm li
(3.242)
Entonces
[i , j ]lm =(i j j i )lm
=il jm im jl
=ijk lmk
=iijk (iklm )
=iijk (k )lm
(3.243)
Algunas propiedades de son

[(i )jk ] = [(i )kj ] = (iikj ) = iikj = iijk = (i )jk
i = i
Tr i =
(i )jj =
iijj = 0
(3.244)
(3.245)
Por lo que i es una representacion del grupo SU(2) en terminos de matrices 3 3. Usando la
ec. (3.242)
X
X
(ij kk ik jk ) = 3ij ij = 2ij
(3.246)
(i j )kk =
Tr(i j ) =
k
tambien puede escribirse como una matriz 2 2.
3.7. COMO UN TRIPLETE DE SU(2)
89
Expandiendo la ec. (3.239), obtenemos el resultado de la ec. (3.182)

ii i
i (ik k )i = i(k )ij j k = i(ikij )j k = ijk j k = ( )i

(3.247)
Esto corresponde a una rotacion en el espacio de tres dimensiones de isospn. || corresponde al

angulo de rotacion, y /|| es el eje de rotacion [24]. El caracter no Abeliano del grupo proviene del
hecho de que el producto vectorial en el espacio de isospn es no conmutativo.
Bajo la transformacion (3.239) o su version infinitesimal anterior el Lagrangiano
L = (D ) D m2 .
(3.248)
es invariante gauge local, donde

D = igW = igi Wi
y
W =i Wi
(W )jk = iijk Wi
(3.249)
(W )12 = i312 W3 = iW3
(3.250)
y solo contiene entradas no diagonales.
La ec. (3.187) se mantiene igual

1
W i i + ijk Wj k
g
1
W + W
g
(3.251)
Entonces
D = ( igi Wi )
(D )jk k
(D )jk k
(D )jk k
(D )jk k
= (jk ig(i )jk Wi )k

= (jk gijk Wi )k
= (jk + gjik Wi )k
= jk k + g(W )j
Entonces
Ademas
D = + gW
(3.252)
(D ) = ( + igi Wi )
[(D ) ]j = (jk k + gijk k Wi )
[(D ) ]j = (jk k + gjkik Wi )
(3.253)
90
La definicion de W queda
(D ) = + g W
(3.254)
W = i Wi
(3.255)
con Wi dado por la ec. (3.191)
W = W W + gW W
(3.256)
Sin embargo, debido a la ec. (3.246)

1
1
i
Tr(W W ) = Wi W
8
4
(3.257)
De acuerdo a la ec. (3.192), W transforma como

W (W ) = XW X
(1 + ij j )W (1 ik k )
W + ij j W ij W j
de modo que
i Wi (W ) = i Wi + ij j i Wi ij i Wi j
= (i + ij j i ij i j )Wi
= (i ij [i , j ])Wi
= (i ij (iijk k ))Wi
= i Wi + j ijk k Wi
= i Wi + i j kjiWk
= i Wi i j jki Wk
entonces
(W ) = W
(3.258)
y W transforma como el campo .

El Lagrangiano invariante gauge local es entonces, a partir de la ec. (3.196) que sigue siendo
valida si tenemos en cuante la nueva traza en ec. (3.257)

L = + ig W W + g 2 W W m2 81 Tr (W W )

= i i + ig i (k )ij Wk j i (k )ij Wk j
i
+ g 2 i (k )ij (l )jm Wk Wl m m2 i i 41 Wi W

= + g i kij Wk j i kij Wk j
i
g 2i kij ljm Wk Wl m m2 41 Wi W

= g i ikj Wk j i ikj Wk j
i
+ g 2 i kij lmj Wk Wl m m2 41 Wi W
(3.259)
3.7. COMO UN TRIPLETE DE SU(2)
91
donde
i
Wi W
=( Wi Wi + g ijk Wj Wk )( Wi Wi + g ilm Wl Wm )
=( Wi Wi )( Wi Wi )
+ g[ilm ( Wi Wi )Wl Wm + ijk ( Wi Wi )Wj Wk ]
+ g 2 ijk ilm Wj Wk Wl Wm
=( Wi Wi )( Wi Wi ) + 2gijk ( Wi Wi )Wj Wk
+ g 2 ijk ilm Wj Wk Wl Wm
Las ecuaciones de movimiento son

L
L
=0
( Wi )
Wi

1
i
=
W W
( Wi )
4
( Wi ) i
= ( Wi Wi )

1
i
i
ijk ( W W ) Wj Wk
2g
4
( Wi )
= ( Wi Wi )
o
1 n
2g [ijk ( )] Wj Wk
4

1
= ( Wi Wi ) 2g ijk Wj Wk ijk Wj Wk
4

1
L
(
W
W
)
2g
W
W
W
W
ijk
ikj
i
i
k
k
j
j
( Wi )
4

1
= ( Wi Wi ) 2g ijk Wj Wk + ijk Wk Wj
4

= ( Wi Wi ) gijk Wj Wk
Finalmente
(3.260)
(3.261)
= [( W W ) + gW W ]i

L
= Wi = (W )i
( Wi )
De manera que al igual que en el caso Abeliano
i
W W
= 4Wi
( Wi ) i
De otro lado, usando la tecnica, por ejemplo

ilm ( Wi )Wl Wm =
ilm ( Wi )Wl Wm
i
i
W
W

i
Wi
m
l W
W + nli ( Wn )W
= nim ( Wn )
Wi
Wi
= nim ( Wn )Wm + nli ( Wn )Wl
(3.262)
(3.263)
(3.264)
92
Tenemos
L
=g [ n nij j ( n ) nij j ] g 2( n inj lmj Wl m + n knj imj Wk m )
Wi
2g
+ [nji ( Wn Wn )Wj + nik ( Wn Wn )Wk ]
4
g2
+ (nik nlm Wk Wl Wm + nji nlm Wj Wl Wm + njk nim Wj Wk Wm + njk nli Wj Wk Wl )
4
L
= g [nji n j nji ( n ) j ] g 2 [n inj (lmj Wl m ) + m imj (knj Wk n )]
Wi
2g
+ [nji ( Wn Wn )Wj nik ( Wn Wn )Wk ]
4
g2
+ (nik nlm Wk Wl Wm + nki nml Wk Wm Wl + nlm nik Wl Wm Wk + nml nki Wm Wl Wk )
4
L
= g [nji n j nji ( n ) j ] g 2 [ n inj (lmj Wl m ) + m imj (knj Wk n )]
Wi
2g
+ [nji ( Wn Wn )Wj + nji( Wn Wn )Wj ] + g 2 nik nlm Wk Wl Wm
4
= g [njin j nji ( n ) j ] g 2 [n inj (lmj Wl m ) + m imj (knj Wk n )]
+ g[nji( Wn Wn )Wj ] + g 2 nik nlm Wk Wl Wm
L
= g( + )i g 2 [inj n (W )j + imj m (W )j ]
Wi
+ g[( W W ) W ]i + g 2nik (W W)n Wk
= g( + )i + g 2 [ijn (W )j n + ijm (W )j m ]
+ g[( W W ) W ]i g 2 nki (W W )n Wk
L
= g( + )i + g 2 [(W ) + (W ) ]i
Wi
+ g[( W W ) W ]i g 2 [(W W ) W ]i
= g{ + g[(W ) + (W ) ]}i
g{[( W W ) + gW W ] W }i
Finalmente
L
= g{ + g[(W ) + (W ) ]}i g(W W )i
i
W
(3.265)
Combinando las ecuaciones (3.265) y (3.262) en la ec. (3.261), tenemos
93
3.8. PROBLEMAS
W + gW W = g{ + g[(W ) + (W ) ]}
W gW W = g[ ( + gW ) ( + g W ) ]
W + gW W = g[ ( + gW ) ( + g gW ) ]
(3.266)
Ya que
D W = W + gW W ,
(3.267)
D W = g[ D (D ) ] g j
(3.268)
D W = 2g(D )
(3.269)
de las ecs. (3.252) y (3.254)
Note que si es real
Este caso corresponde al de una simetra SO(3) [24].

Mientras que las ecuaciones de Maxwell son lineales en A , las ecuaciones (3.268) es no lineal en
W . En usencia de materia ( 0) las ecuaciones de Maxwell se reducen a
F = 0,
(3.270)
indicando que no hay termino de fuente para el campo electromagnetico. En el caso no Abeliano
D W = 0 W = gW W
(3.271)
indicando que el campo W act

ua como la fuente de si mismo. Esto se debe a que el campo W
lleva carga de isospn, a diferencia del campo A que no lleva carga electrica.
De otro lado las ecuaciones homogeneas de Maxwell dan lugar a que B = 0 y a la ausencia
de monopolos magneticos. En este caso se puede demostrar que
D W + D W + D W = 0,
(3.272)
~ 6= 0, donde B
~ es el isovector de induccion magnetica. Esto da lugar a la existencia
se sigue que B
de monopolos magneticos de isospn.
Al igual que en el caso Abeliano, sin embargo, el campo W sigue siendo sin masa.
Aunque la teora que hemos desarrollado es puramente matematica, comparte muchas cosas en
com
un con las simetras gauge no abelianas usadas en la construccion del Modelo Estandar de las
partculas elementales.
3.8.
Problemas
3.1 Compruebe si es posible construir un doblete escalar donde ambas campos sean cargados respetando la invarianza SU(2) U(1)Y . La solucion es Y = 3/2
94
3.2 Demuestre que la ecuacion de movimiento en ec. (3.100)

+ m2 + ie (A ) + ieA e2 A A = 0
puede escribirse como
(D D m2 ) = 0
(3.273)
es decir, partiendo de la ecuacion de movimento para el campo libre con el reemplazo D .

3.3 Encuentre las soluciones en la regiones I y II para el caso de una barrera baja eV E < m.
3.4 A partir del Lagrangiano en ec. (3.142)
3.5 Demuestre que D n = U(D n )
n
D =(UD U )n U
= UD U UD U . . . UD U UD U U
|
{z
}
nfactors
=U(D )
(3.274)
3.6 Muestre que

a)
i2 =
(3.275)
b) el Lagrangiano (3.156) puede escribirse tambien como

m2

L =
(3.276)
pertenecen a la misma representacion de SU(2)4

De modo que y
c) el Lagrangiano (3.156) puede escribirse tambien como
a b m2 ab
a b
L = ab
(3.277)
3.7 Muestre que los terminos de interaccion de 4 campos en la ec.(3.212) incluyen

L e2 + A A
(3.278)
L (gT i Wi + g Y B )(gT iWi + g Y B )
= [(gT 1 W1 + gT 2 W2 ) + gT 3 W3 + g Y B ][(gT 1W1 + gT 2 W2 ) + gT 3W3 + g Y B ]
= [(gT 1 W1 + gT 2 W2 )2 + (gT 3W3 + g Y B )2

+ (gT 1W1 + gT 2 W2 )(gT 3W3 + g Y B ) + (gT 3 W3 + g Y B )(gT 1W1 + gT 2 W2 )]
= [(gT 1 W1 + gT 2 W2 )2 + (gT 3W3 + g Y B )2
+ g 2{T 1 , T 3 }W1 W3 + g 2{T 2 , T 3 }W2 W3 + 2gg T 1 Y W1 B + 2gg T 2 Y W2 B ]
= [(gT 1 W1 + gT 2 W2 )2 + (gT 3W3 + g Y B )2 + 2gg (T 1 W1 + T 2 W2 )Y B ]
En SU (2) las representaciones 2 y 2 son equivlantes
(3.279)
95
3.8. PROBLEMAS
Entonces, usando la ec.(3.233)
L (gT 3W3 + g Y B )2

e
T 3 Q sin2 W Z ]2
= [eQA +
sin W cos W
2 2
e Q A A
=e2 QA A
=e2 + A A
(3.280)
3.8 Muestre que el Lagrangiano en ec. (3.259) puede escribirse escalares en el espacio SU(2)
3.9 Demuestre que
L = 21 Tr (W W ) 14 B B
i
14 B B
= 41 Wi W
1
14 F F 41 Z Z (FW
) (FW ) ,
2
donde
F = A A
Z = Z Z
(FW ) = W+ W+ .
96
Captulo 4
Ruptura espont
anea de simetra
4.1.
Masa para el campo escalar
Escribamos el Lagrangiano para una partcula escalar real de masa m como

L = 12 V ()
(4.1)
V () = 21 2 .
(4.2)
con
Este Lagrangiano es simetrico bajo la transformacion discreta .
Si 2 > 0 el campo tiene excitaciones alrededor del mnimo del potencial que cuestan energa y dicho termino se interpreta como la masa de la partcula. Ver figura 4.1. En Teora Cuantica de Campos
al estado de mnima energa se le llama el vaco y las excitaciones alrededor del vacio corresponden
a las partculas.
Si 2 < 0, no existe un mnimo del potencial alrededor del cual el campo pueda oscilar. Ademas
el alejamiento del campo del punto de simetra del potencial no cuesta energa. Por consiguiente en
ese caso, el termino de interaccion
V () = 12 2
2 < 0,
Figura 4.1: V () = 12 2 2 con 2 > 0

97
(4.3)

CAPITULO 4. RUPTURA ESPONTANEA
DE SIMETRIA
98
Figura 4.2: V () = 12 2 2 + 14 4 con 2 < 0, y > 0. Simetra exacta

Figura 4.3: V () = 21 2 2 + 14 4 con 2 < 0, y > 0. Simetra espontaneamente rota.
no puede interpretarse como un termino de masa en el Lagrangiano dado por la ec. (4.1).
Consideremos ahora el potencial
V () = 21 2 2 + 14 4
2 < 0, > 0
(4.4)
que mantiene la simetra bajo la transformacion discreta . > 0 garantiza la aparicion de los
dos mnimos que se muestran el la figura 4.2. Si la energa es suficientemente alta como se muestra
en la figura 4.2, las excitaciones son simetricas con respecto al maximo del potencial y el termino en
2 no puede interpretarse como masa para la partcula escalar.
Sin embargo, si la energa es suficientemente baja como se muestra en la figura 4.3, las excitaciones
alrededor del mnimo dan lugar a la aparicion de un termino de masa para el campo escalar. Ademas,
dichas excitaciones no respetan la simetras . En tal caso decimos que la simetra ha sido
espontaneamente rota: aunque el Lagrangiano mantiene la simetra original, el vaco la rompe.
Para analizar cuantitativamente el espectro de partculas es necesario expandir el campo alrededor
del mnimo y determinar las excitaciones. Establezcamos en primer lugar los mnimos del potencial.
La V / = 0 da lugar a
2 + 3 = 0
(2 + 2 ) = 0,
con extremos max = 0, y
min hi v =
De hecho
(4.5)
(4.6)
2
.
(4.7)
2V
= 2 + 32 .
2
(4.8)
(x) = H(x) + v
(4.9)
p
= 0 corresponde a un maximo, mientras que la segunda derivada para = 2 / es 22 > 0
y corresponden a los mnimos. Expandiendo el campo alrededor del mnimo
DE GOLDSTONE
4.2. BOSON
99
V () = 21 2 2 + 14 4
= 21 2 (H + v)2 + 41 (H + v)4
= 12 2 (H + v)2 + 41 (H + v)4

2
= 12 2 H 2 + 2vH + v 2 + 14 H 2 + 2vH + v 2
h

2 i
= 21 2 H 2 + 2vH + v 2 + 14 H 4 + 2H 2 2vH + v 2 + 2vH + v 2

= 21 2 H 2 + 2vH + v 2 + 14 H 4 + 4vH 3 + 2H 2 v 2 + 4v 2 H 2 + 4v 3 H + v 4

= 21 2 H 2 + 2vH + v 2 + 14 H 4 + 4vH 3 + 6H 2 v 2 + 4v 3 H + v 4

= 21 2 H 2 32 H 2 2 + 2 vH 2 vH + 21 2 v 2 14 2 v 2 + 41 H 4 + 4vH 3

V (H) = 12 22 H 2 + vH 3 + 14 H 4 + 41 2 v 2 ,
LH = 12 H H
1
2

22 H 2 vH 3 41 H 4 + constant.
(4.10)
(4.11)
Entonces H adquiere una masa 22 y no es invariante bajo H H.

Otro metodo es usar las ecuaciones de mnimo 2 = v 2 , para eliminar un parametro del
potencial:
V () = 12 v 2 2 + 41 4

= 12 v 2 H 2 + 2vH + v 2 + 41 H 4 + 4vH 3 + 6H 2 v 2 + 4v 3 H + v 4
=v 2 H 2 + vH 3 + 14 H 4 + constant.
4.2.
(4.12)
Bos
on de Goldstone
Consideremos ahora un campo escalar complejo sin termino de masa, pero con potencial:
L = V ()
V () = 2 + ( )2
2 < 0, > 0
(4.13)
(4.14)
La simetra del Lagrangiano corresponde a U(1) global. Este potencial corresponde al sombrero
mexicano. Para una energa suficientemente baja de manera que el campo deba oscilar alrededor del
mnimo aparecen dos tipos de excitaciones. Una sobre las paredes que cuestan energa y corresponden
a un campo escalar cargado como en el caso anterior, y otra a lo largo de la circunferencia de mnimo,
que corresponde a una partcula escalar sin masa.
Analticamente tenemos dos formar de abordar el analisis
4.2.1.
Coordenadas cartesianas
Expandimos el campo alrededor del mnimo:

= 0 =
1 + i2
1
= (H(x) + v + iG)
2
2
(4.15)
Entonces

2
V (1 , 2 ) = 12 2 21 + 22 + 41 21 + 22
(4.16)

DE SIMETRIA
100
La condiciòn de mnimo es
V
=0
1

= 21 2 (21) + 14 2 21 + 22 21

=1 2 + 21 + 22
V
=0
2

=2 2 + 21 + 22
(4.17)
(4.18)
Los infinitos mnimos degenerados corresponden a la circunferencia

21 + 22 = v 2 =
(4.19)
El campo debe ser neutro pues, reemplazando (4.15) en la ec. (4.16)

L = 21 H H + 12 G G 21 2 (H + v)2 + G2 41 (H + v)4 + 2(H + v)2 G2 + G4

L = 12 H H 12 2 (H + v)2 41 (H + v)4 + 21 G G 12 2 G2 41 2(H + v)2 G2 + G4 .
(4.20)
Usando la ec. (4.10), tenemos

L = 12 H H 12 22 H 2 vH 3 41 H 4
+ 12 G G 21 2 G2 14 G4

21 H 2 G2 + 2vHG2 + v 2 G2 + constant

L = 12 H H 21 22 H 2 vH 3 14 H 4
+ 21 G G 14 G4
vHG2 21 H 2 G2 + constant
(4.21)
(4.22)
Como antes, el campo H tiene masa 2|2 |. El termino en G2 ha desaparecido implicando que el campo
G tiene masa cero. En este caso decimos que la invarianza U(1) de la accion ha sido espontaneamente
rota
U = eiY ,
(4.23)
donde Y es el generador de la transformacion y el parametro. Despues de la ruptura espontanea de
la simetra diremos que el generador Y ha sido roto. El campo que adquiere masa recibe el nombre
de boson de Higgs [17], mientras que el campo sin masa es llamado boson de Goldstone.
El Teorema de Goldstone establece que por cada generador roto de una simetra continua debe
aparecer un boson de Goldstone.
GAUGE
4.3. MASA PARA EL BOSON
4.2.2.
101
Coordenadas polares
Si hacemos
(x)
= ei(x)
2
(4.24)
L = 12 ( i ) ( + i ) 21 2 2 21 4
L = 21 + 21 2 12 2 2 21 4
(4.25)
Haciendo + v, tenemos
L = 21 12 2 ( + v)2 21 ( + v)4
+ 21 v 2 + 21 2 + 2v

L = 12 12 22 2 v3 41 4
+ 21 v 2 + 21 2 + 2v
(4.26)
De nuevo no hay termino de masa para .
4.3.
Masa para el bos

on gauge
En el caso de la Accion invariante gauge local bajo el Grupo U(1), tenemos el Lagrangiano (3.92):
L = (D ) D 2 ( )2 41 F F
2 < 0 and > 0
(4.27)
Para obtener directamente el espectro despues de la ruptura espontanea de simetra es conveniente

usar la transformacion gauge de la ec. (3.135). Haciendo (x) = (x):

H(x) + v
H(x) + v
i(x) i(x)
=e
e
=
(4.28)
2
2

2
L L = (D ) (D ) 2 ( ) ( ) 14 (F F )

= 21 H + igA (H + v) [ H igA (H + v)] 12 2 (H + v)2 41 (H + v)4 41 F F

(4.29)
En adelante omitiremos las primas, aunque debe estar claro que se esta trabajando en el gauge
especfico de la ec. (4.28). Entonces
L = 12 H H 12 2 (H + v)2 41 (H + v)4 + 21 g 2 A A (H + v)2 14 F F .
(4.30)

L = LH + LA + 21 g 2 A A H 2 + g 2vA A H,
(4.31)
donde LH esta dado por la ec. (4.11) y

LA = 41 F F + 12 g 2 v 2 A A .
(4.32)

DE SIMETRIA
102
Teniendo en cuenta la ec. (2.126) para el Lagrangiano de Proca, vemos que como consecuencia de la
ruptura espontanea de simetra el campo gauge ha adquirido una masa
mA = gv.
(4.33)
El mecanismo completo mediante el cual, a partir de un Lagrangiano invariante gauge local, los
bosones gauge adquieren masa se llama mecanismo de Higgs [17]. La partcula escalar que adquiere
masa se llama Higgs, mientras que el boson de Goldstone es absorbido por campo gauge como modo
longitudinal.
El n
umero de grados de libertad independientes en el Lagrangiano original en la ec. (4.27) es
cuatro. Correspondientes a los dos grados de libertad del boson gauge no masivo y los dos del campo
escalar complejo. En el Lagrangiano final en la ec. (4.31) no aparece el boson de Goldstone. Sin
embargo esto no es un problema porque dicho Lagrangiano tambien tiene cuatro grados de libertad
correspondientes a los tres grados de libertad del boson gauge masivo y al grado de libertad del boson
de Higgs.
Sin usar la transformacion gauge en ec. (4.27), tenemos que para
1
= (H(x) + v + iG(x))
2
(4.34)
L = 21 [ H i G + igA (H + v) + gA G] [ H + i G igA (H + v) + gA G]
21 2 (H + v)2 21 2 G2 14 (H + v)4 41 G4 21 G2 (H + v)2 41 F F
= 21 { H + gA G + i [ G + gA (H + v)]} { H + gA G i [ G + igA (H + v)]}
21 2 (H + v)2 21 2 G2 14 (H + v)4 41 G4 21 G2 (H 2 + 2vH + v 2 ) 41 F F
= 21 ( H + gA G)2 + 21 [ G + gA (H + v)]2
21 2 (H + v)2 41 (H + v)4 41 G4 12 G2 (H 2 + 2vH) 14 F F
= 12 H H 21 2 (H + v)2 41 (H + v)4 14 F F
41 G4 g GA H + 21 g 2A A H 2 + g 2 vA A H + g HA G
+ 21 g 2A A G2 12 G2 (H 2 + 2vH)
+ 21 G G + 21 g 2 v 2 A A gv GA
=LH 41 F F + Lint + L2 ,
(4.35)
donde
Lint = 41 G4 g GA H + 21 g 2 A A H 2 + g 2 vA A H + g HA G
+ 21 g 2 A A G2 12 G2 (H 2 + 2vH)
L2 = 21 G G + 12 g 2v 2 A A gv GA
(4.36)
Podemos interpretar L2 como los terminos de mezcla entre A y, para compensar el ndice de Lorentz,
G. Podemos escribirlo en forma matricial como

G
1 gv
1
(4.37)
L2 = 2 G A
A
gv g 2v 2
Sea
V =
cos sin
sin cos
(4.38)
103
4.4. MECANISMO DE HIGGS EN UN CASO NO ABELIANO

con tan = 1/(gv). Si

G
G
T
,
=V
A
A
L2 = 12
= 12
= 12
(4.39)

G
1 gv
T
G A
V
V
A
gv g 2 v 2

0
G
0
G A
A
0 1 + g2v2
1 + g 2 v 2 A A .
(4.40)
De nuevo, el boson de Goldstone, en este caso G , es absorbido como modo longitudinal del A .
4.4.
Mecanismo de Higgs en un caso no Abeliano
Consideremos ahora una Accion invariante gauge local bajo S(2) U(1)Y . Esta corresponde al
sector bosonico del Modelo Estandar de las partculas elementales. Generalizando el Lagrangiano en
la ec. (3.211)
2
(4.41)
L = (D ) D 2 21 Tr (W W ) 14 B B ,
con 2 < 0 y > 0. Ademas
SU (2)U (1)Y
= ei(j T
j +Y
I)
(4.42)
D = I igW ig Y B = I igTi Wi ig Y B .
(4.43)
De la ec.(3.178)
W = Ti Wi =
1
W3
2
1
W
1 W +
2
12 W3
(4.44)
!
i2 gW+
.
i 21 gW3 + g Y B
(4.45)
De modo que
D =
1
gW3 + g Y
2
i2 gW
Sin perdida de generalidad los cuatro grados de libertad de , pueden escribirse en la forma

0
ij T j
(4.46)
=e
1 (H(x) + v)
2
+

0
1 1 + i3
2i

1 (H(x) + v)
2i
1 i3
2
2

+
+
1
i H + vi
=
1
2 2 (H + v i3 H i)

G+
= 1
.
(h + v iG0 )
2

DE SIMETRIA
104
Para SU(2) U(1)Y tenemos cuatro generadores y cuatro bosones gauge. De acuerdo a la parametrizacion en ec. (4.46) esperamos que aparezcan tres bosones de Goldstone, de manera que quedara un
generador no roto correspondiente a una simetra remanente del vaco U(1)Q
hi
SU(2) U(1)Y U(1)Q .
(4.47)
Se espera entonces que el espectro consista de un boson de Higgs, tres bosones gauge masivos, y un
boson gauge sin masa.
Para = 0, podemos hacer una transformacion gauge usando la ec. (4.42) sobre el campo , tal
que

0
,
(4.48)
= 1
(H(x) + v)
2
que define el gauge unitario. En adelante sin embargo omitiremos las primas sobre los campos trans
formados y W
.

1
0
0
D
D
V (H) 21 Tr (W W ) 41 B B ,
(4.49)
L=
H(x)
+
v
H(x)
+
v
2
donde V (H) dado en la ec. (4.10), incluye el termino de masa para el boson de Higgs

m2H = 2 2 = 2v 2
1
L=
2

i2 gW + (H + v)

H i 12 gW3 + g Y B (H + v)

i2 gW+ (H + v)

H i 12 gW3 + g Y B (H + v)
V (H) 21 Tr (W W ) 14 B B

1 i
gW
(H
+
v)
H
+
i
gW
+
g
Y
B
(H
+
v)
=
3
2
2 2

i2 gW+ (H + v)

H i 21 gW3 + g Y B (H + v)
V (H) 21 Tr (W W ) 14 B B
1
= g 2 W W+ (H + v)2
4

1
+ H + i 12 gW3 + g Y B (H + v) H i 21 gW3 + g Y B (H + v)
2
V (H) 21 Tr (W W ) 14 B B
1
= H H V (H) 12 Tr (W W ) 41 B B
2
2
1
1
12 gW3 + g Y B (H + v)2
+ g 2 W W+ (H + v)2 +
4
2
Entonces
1
i
14 B B
L = H H V (H) 41 Wi W
2
gv 2
1
1
+
W W+ + g 2W W+ H 2 + vg 2 W W+ H + LW B
4
4
2
(4.50)

(4.51)
(4.52)
105

2

1 1 2 3 1
2 2
1
H 2 + 2vH + v 2
g
W
W
gg
Y
W
B
gg
Y
W
B
+
g
Y
B
B
3
3
4
2
2
2
Haciendo Y = 1/2 como en la ec. (3.232),
3

g 2 gg
1
W
W3 B
H 2 + 2vH + v 2
LW B =
2
B
gg
g
8
LW B =
Sea
V =
cos W sin W
sin W cos W
con tan W = g /g, tal que g sin W
entonces
=p

g g
,
g g
g 2 + g 2
= g cos W , como en la ec. (3.222). Si (ver ec. (3.216)),
3

W
Z
=V
A
B
(4.53)
(4.54)
(4.55)
(4.56)

2

T
1
g
gg
Z
Z A
H 2 + 2vH + v 2
(4.57)
V
V
LW B =
2
A
gg
g
8

3

2
1
g
gg
g + gg 2
g 2 g g 3
g g
T
V = 2
V
2
2
g g
gg g 2
g + g 2 +g 2g g 2g gg + gg

3

1
g g
g + gg 2 g 2 g g 3
= 2
g g
0
0
g + g 2
4

1
g + g 2g 2 + g 2g 2 + g 4 g 3g + gg 3 g 3 g gg 3
= 2
0
0
g + g 2

2
g + g 2 0
(4.58)
=
0
0
LW B =
=
=
=

1 g2 + g2
Z Z H 2 + 2vH + v 2
2
4

2

1 g
1 + tan2 W Z Z H 2 + 2vH + v 2
2 2

2

g
1
Z Z H 2 + 2vH + v 2
2 2 cos W

2

2
2

gv
g
1
g
1
2
Z Z +
Z Z H +
vZ Z H
2 2 cos W
2 2 cos W
2 cos W
Retornando a la ec. (4.52), tenemos

1
L = H H V (H) 21 Tr (W W ) 14 B B
2
1
1
+ g 2 W W+ H 2 + vg 2 W W+ H
4
2

2
2

g
g
1
2
Z Z H +
v Z Z H
+
2 2 cos W
2 cos W
1
1
1
+ m2W W W+ + m2W W W+ + m2Z Z Z ,
2
2
2
(4.59)
(4.60)

DE SIMETRIA
106
donde
mW =
gv
2
y
mZ =
mZ =
gv
,
2 cos W
mW
.
cos W
(4.61)
(4.62)
i
Los terminos en W
, y B pueden escribirse en terminos de W Z y A ,
i
14 B B
LW B = 14 Wi W

) (FW ) L3 L4
= 41 F F 14 Z Z 21 (FW
(4.63)
donde
(FW ) = W+ W+
(4.64)
y L3 y L4 estan dados en [18]
h
i

L3 = ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
i
h

ie (FW
) W+ A (FW ) W A + W W+ F ,
(4.65)
h
i

e2
2
2
+
2
+
+
+
+

L4 =
e
cot
W
W
W
W
W
W
W
W
Z
Z
W
Z
W
Z
W
2 sin2 W

e2 cot2 W 2W+ W A Z W+ A W Z W+ Z W A

e2 W+ W A A W+ A W A .
(4.66)
El Lagragiano invariante gauge local bajo SU(2)U(1)Y desarrolado, corresponde al Lagrangiano

bosonico del modelo electrodebil del Modelo Estandar

1
1
1
1
Lboson
EW = 4 F F 4 Z Z 2 (FW ) (FW ) + 2 H H

H
1 2 2
H2
H H2
1 2
2
+
mH H 1 +
+ 2 + mW W W + mZ Z Z
1+2 + 2
2
v
4v
2
v
v
i
h

ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
h
i

ie (FW
) W+ A (FW ) W A + W W+ F
h
i

e2
2
2
+
2
+
+
e
cot
W
W
W
W
W
W
W
W
Z
Z
W
Z
W
Z
W
2 sin2 W


(4.67)
El Lagrangiano en ec. (4.41) tiene en total doce grados de libertad. Cuatro del doblete escalar
complejo y ocho grados de libertad para los cuatro bosones gauge no masivos. El Lagrangiano final
en la ec. (4.67) tiene doce grados de libertad, uno del boson de Higgs, 9 para los bosones gauge
masivos W+ , W , y Z y dos del boson gauge no masivo A . De nuevo, en el gauge unitario no
aparecen los bosones de Goldstone explcitamente en el Lagrangiano. Estos han sido absorbidos
como modos longitudinales de los tres bosones gauge masivos. Del teorema de Goldstone vemos que
107
como efecto de la ruptura espontanea de simetra hay tres generadores rotos que dan lugar a los
tres bosones de Goldstone. Queda un generador no roto asociado a un boson gauge no masivo A ,
que es una combinacion linea de los campos gauge neutros. A corresponde al foton y esta asociado
una simetra gauge local abeliana remanente del vaco. Entonces, la ruptura espontanea de simetra
ocurre de S(2) U(1)Y U(1)Q .
Los resultados deesta seccion se obtienen del Lagrangiano en ec. (3.196) haciendo + = 0, y
0 = 0 = (H + v)/ 2. En tal caso L3 = 0 en ec. (3.202).
108

DE SIMETRIA
Captulo 5
Fermiones
5.1.
5.1.1.
Ecuaci
on de Dirac
Fermiones de Weyl
Sea un campo que satisface una ecuacion covariante de segundo orden. La parte cinetica del
Lagrangiano sin terminos de masa y sin terminos de interaccion debe tener la forma
i
i
(5.1)
L = a a m b
2
2
La Accion debe ser real, de modo que el Lagrangiano tambien. En efecto

i
i

L =
a a m b
2
2

i
i
= a + a m b
2
2
=L
si b = b .
Como al aplicar las ecuaciones de Euler-Lagrange a este Lagrangiano debemos obtener la ecuacion
de Scrhodinger
i
b
= H
t
b una funcion por determinar del operador p

, entonces
con H
a = a
El Lagrangiano en ec. (5.1) puede reescribirse como

i
i
i
L = a a + a m b
2
2
2

i
= i a a m b
2

L = i a m b
(5.2)
(5.3)
(5.4)
Ahora utilizaremos el metodo desarrollado en captulos anteriores para analizar el Lagrangiano.

Calcularemos las ecuaciones de Euler-Lagrange, la corriente conservada y el tensor de momentoenerga.
109
CAPITULO 5. FERMIONES
110
5.1.2.
Corriente conservada y Lagrangiano de Dirac
De la ec. (5.4)

L
L
J =
+
(0 )
(0 )
= i a0
0
(5.5)
El Lagrangiano es invariante bajo transformaciones de fase globales, U(1)

= ei i,
(5.6)
= i.
(5.7)
J 0 = a0
(5.8)
de modo que
Por consiguiente
Para que J 0 pueda interpretarse como una densidad de probabilidad, debemos redefinir el Lagrangiano en ec. (5.1) como
i
i
L =

mb,
(5.9)
2
2
tal que
= c,
(5.10)
con
c 0 = I
(5.11)
Para que este nuevo Lagrangiano sea real se requiere que,

c2 = I
c c =
cb c = b
(5.12)
ya que

i
i

L =
c c m b c
2
2

i
i 2
2
c c c c m c2 b c
=
2
2

i
i
c
=
c c c c mcb
2
2

i
i
mb
=
2
2
Sin perdida de generalidad podemos hacer b = I, y

m,
L = i
(5.13)
DE DIRAC
5.1. ECUACION
111
La nueva corriente conservada contiene

"
#

L
L

J0
+
(0 )
0
0
=
= c 0
=
(5.14)
Que podemos interpretar como una densidad de probabilidad. se define como la adjunta de .
En general
"
#

L
L

+
J
( )

(i)
i
(i)
i

=
(5.15)
y
J = c
5.1.3.
(5.16)
Tensor momento-energa
L
L
L
0 + 0
(0 )
0
0 0 L
= i
T00 =
i i + m,
= i
p + m),
= (
= c( p + m),
= H,
donde
= c( p + m)
H
y, como en mecanica clasica usual
=
hHi
Ademas
d3 x.
H
(5.17)
(5.18)
(5.19)
L
L

i + i
(0 )
0
0 i
= i
Ti0 =
de modo que
= (ii )
h
pi =
d3 x
p
(5.20)
(5.21)
112
5.1.4.
Ecuaciones de Euler-Lagrange
Queremos que el Lagrangiano de lugar a la ecuacion de Scrondinger de validez general

i
= H
t
(5.22)
con el Hamiltoniano dado en la ec. (5.19), que corresponde a un Lagrangiano de solo derivadas de
primer orden y covariante, en lugar del Hamiltoniano para el caso no relativista.
De hecho, aplicando las ecuaciones de Euler-Lagrange para el campo al Lagrangiano en ec. (5.13)
,tenemos
"
#
L
L

=0

L
=0

i m = 0.
(5.23)
Expandiendo
i 0 0 + i i i m = 0
i 0 0 (i) m = 0,
+ m),
i 0 0 = ( p
de donde
= 0 ( p + m).
t
Comparando con ecs. (5.22) y (5.18), tenemos que
i 0
(5.24)
c = 0
2
0 = 1.
(5.25)
= 0 ( p + m),
H
(5.26)
0 0 = .
(5.27)
De la ec. (5.18)
y de la ec. (5.12)
A este punto, solo nos queda por determinar los parametros .
La ec. (5.22) puede escribirse como

= 0.
i H
t
(5.28)
El campo tambien debe satisfacer la ecuacion de Klein-Gordon. Podemos derivar dicha ecuacion
aplicando el operador

i H
t
DE DIRAC
5.1. ECUACION
113
De modo que, teniendo en cuenta que H/t

= 0,

i H
i H =0
t
t

i
H
=0
i H
t
t
!
2
H
iH
+ H
2 = 0
+
i
H
+
i
t2
t
t
t

2
2
= 0.
+H
t2
(5.29)
De la ec. (5.26), y usando la condicion en ec. (5.25), tenemos

2 = (0 p + 0 m)(0 p + 0 m)
H
= (0 p)(0 p) + m0 p0 + m02 p + m2
(5.30)
Sea
= 0
i = i
i = i
(5.31)
2 = ( p)( p) + m p + m p + m2
H
= ( p)( p) + m( + ) p + m2
Sea A una matriz y en un escalar. Entonces tenemos la identidad
X 2 2 X

(A )2 =
Ai i +
Ai , Aj i j
i
(5.32)
(5.33)
i<j
Entonces
2 =2 p2 +
H
i i
X
i<j
{i , j } pi pj + m(i + i)pi + m2
(5.34)
(suma sobre ndices repetidos). Si

i2 = 1
{i , j } = 0
i + i = 0
i 6= j
2 = 2 + m2
H
y reemplazando en la ec. (5.29) llegamos a la ecuacion de Klein-Gordon para

2
2
2
+m =0
t2

+ m2 = 0
(5.35)
(5.36)
(5.37)
114
En terminos de las matrices las condiciones en ec. (5.35) son
2
0 = 1
2
De modo que
i = 1 0 i 0 i = i = 1 i = 1

i 0 + 0 i = i, 0 = 0

i , j = 0 i 0 j + 0 j 0 j = 0
0 0 i j
0 0 j j
= 0
i j + j j = 0
i j
, = 0
(5.38)
i 6= j
i 6= j
i 6= j
i 6= j
(5.39)
Las ecuaciones (5.38)(5.39) pueden escribirse como
{ , } + = 2g .
(5.40)
= ( 0 , i )
(5.41)
0 0 = .
(5.42)
donde
Ademas, de la ec. (5.27),

Cualquier conjunto de matrices que satisfagan el algebra en ec. (5.40) y la condicion en ec. (5.42), se
conocen como matrices de Dirac. A se le llama espinor de Dirac.
En terminos de la matrices , el Lagrangiano de Dirac y la ecuacion de Dirac, son respectivamente
de las ecs. (5.13) y (5.23)
L = (i m) ,
(5.43)
i m = 0,
(5.44)
= 0 .
(5.45)
donde
5.1.5.
Propiedades de las matrices de Dirac
De la ec. (5.42)
= 0 0
0 = 0
2
i = 0 i = i
=0
.
=i
(5.46)
Definiendo
5 = i0 1 2 3 ,
(5.47)
52 = 1,
(5.48)
entonces,
DE DIRAC
5.1. ECUACION
115
Teniendo en cuenta que 2 1 y conmuta con las demas matrices, tenemos por ejemplo
5 3
5 2
5 1
5 0
=i0 1 2 32 = 32 i0 1 2 = 3 i0 1 2 3 = 3 5
= i0 1 22 3 = 22 i0 1 3 = 2 i0 1 2 3 = 2 5
=i0 12 2 3 = 12 i0 2 3 = 1 i0 1 2 3 = 1 5
=i0 1 2 3 0 = 02 i1 2 3 = 0 5 .
(5.49)
De modo que
{ , 5 } = 0.
(5.50)
Expandiendo el anticonmutador tenemos

5 = 5
5 5 =
Tr (5 5 ) = Tr
Tr (5 5 ) = Tr
Tr = Tr ,
(5.51)
y por consiguiente
Tr = 0.
(5.52)
U U ,
(5.53)
Si
para alguna matriz unitaria U, entonces corresponde a otra representacion de algebra de Dirac en
ec. (5.40), ya que

{
, } = U U , U U
= U { , } U
= 2g UU
= 2g .
(5.54)
Claramente, la condicion en ec. (5.42) se mantiene para la nueva representacion. Como 0 es hermtica,
siempre es posible escoger una representacion tal que 0 U0 U sea diagonal. Como 02 = 1, sus
entradas en la diagonal deben ser 1, y como Tr 0 = 0, debe existir igual n
umero de +1 que de 1.
Por lo tanto la dimension de 0 (y de ) debe ser par: 2, 4, . . ..
Si U = 0 , entonces 0 = 0 y i = i .
Para una matriz de n dimensiones existen n2 matrices hermticas (o antihermticas) independientes. Si se sustrae la identidad quedan n2 1 matrices hermticas (o antihermticas) independientes
de traza nula. En el caso n = 2 corresponden a las 3 matrices de Pauli. En el caso de la ecuacion de
Dirac se requieren 4 matrices independientes, por lo tanto deben ser matrices 4 4. En efecto para
n = 4 existen 15 matrices independientes de traza nula dentro de las cuales podemos acomodar sin
problemas las 4 . En la Tabla 5.1 se muestran las matrices de traza nula con sus propiedades de
transformacion bajo el Grupo de Lorentz. En la u
ltima se muestra el correspondiente escalar en el
espacio de Dirac .
116
Matriz
1
5
5
= 2i [ , ]
Transformacion
Escalar (S)
Pseudoescalar (P)
Vector (V)
Vector axial (A)
Tensor antisimetrico (T)
N
umero
1
1
4
4
6
16
Escalar en Dirac
Tabla 5.1: Matrices i .
5.2.
Electrodin
amica Cu
antica
Para hacer el Lagrangiano en ec. (5.43) invariante gauge local bajo U(1)Q , procedemos de la
forma usual. El campo transforma como
= eiQ(x)
iQ(x) .
= e
(5.55)
La derivada covariante se define de manera que transforma de la misma forma que el campo, introduciendo el campo gauge A
D = ieQA
(5.56)
El Lagrangiano correspondiente a la interaccion de un fermion y el campo electromagnetico es
L = (i D m) 41 F F ,
(5.57)
y es invariante bajo transformaciones locales U(1)Q . Desarrollando la expresion anterior, tenemos

L = [i ( ieQA ) m] 14 F F
A 1 F F .
= (i m) + eQ
4
(5.58)
tenemos
Aplicando las ecuaciones de Euler-Lagrange para ,
(i m) + eQ A = 0
(i i2 eQ A m) = 0
[i ( ieQA ) m] = 0
(i D m) = 0.
(5.59)
Que corresponde a la ecuacion de Dirac en presencia del campo electromagnetico. Mientras que para
el campo A , tenemos

F F
1
A = 0
eQ

4
( A )
A

F = eQ
(5.60)
Definimos entonces la corriente electromagnetica generada por el fermion como
.
j = eQ
(5.61)
5.3. CROMODINAMICA
CUANTICA
117
De nuevo, la aparicion de la interaccion electromagnetica es una consecuencia de la invarianza gauge

local.
El calculo de la corriente para una invarianza de fase global es
L
L

+
( )

.

(5.62)
y para la ecuacion de Dirac, a diferencia de la ecuacion de Schrodinger, la corriente de probabilidad

tiene la misma forma que la corriente electromagnetica.
5.3.
Cromodin
amica Cu
antica
Los protones, neutrones, piones, kaones y demas hadrones, son partculas compuestas de constituyentes elementales llamados quarks. Por ejemplo los protones, neutrones y piones estan constituidos
de quarks up y down. Los hadrones estan dividos en bariones, B, constituidos de tres quarks, y los
mesones, M, de dos. Para satisfacer el principio de exclusion de Pauli, y justificar el confinamiento de
los hadrones, se requiere que cada quark contenga Nc cargas diferentes, llamadas cargas de color, de
manera que la carga de color de un hadron sea cero. Muchos resultados experimentales respaldan la
existencia de tres cargas de color para cada quark, Nc = 3. De este modo cada quark q = u, d, c, s, t, b
viene en tres colores
q = q1 , q2 , q3 = qr , qb , qg ,
(5.63)
donde los u
ltimos subndices hacen referencia a los colores red, blue, green. De este modo los Bariones
y mesones estan descritos por combinaciones singletes de color del tipo qr qb qg y qr qr ,
1
B = |q q q i
6
1
M = |
q q i
3
(5.64)
Estos estados son singletes de color, ver problema 5. 2 Una de las determinaciones de Nc proviene
del observable
R
(e+ e hadrones)
(e+ e + )
(5.65)
Para f = u, d, s, c, b, t, (en orden de masa) tenemos que para una energa donde se pueden producir
hadrones compuestos de hasta quarks fmax
R
Pfmax PNc
R Nc
f =u
=1 (e e f f )
(e+ e + )
Pfmax
f =u (e e f f)
(e+ e + )
(5.66)
118
Figura 5.1: Datos para R

De este modo R esta dado por la suma de las cargas electricas al cuadrado
P 2
f Qf
R Nc
Q2
fmax
=Nc
Q2f
f =u
2 2
1 2
2
Nc [( 3 ) + 2( 3 ) ] = 3 Nc
= Nc [2( 23 )2 + 2( 1
)2 ] = 10
Nc
3
9
2 2
1 2
11
Nc [2( 3 ) + 3( 3 ) ] = 9 Nc
fmax = s
2 Nc = 3,
= 10
Nc = 3,
fmax = c
3
11
Nc = 3,
fmax = b
3
f = u, d, s, fmax = s
fmax = c
fmax = b
(5.67)
En la figura, tomada de [5], se muestra el grafico de R con respecto a s (la energ

a de centro de
masa de la colision). Se observan dos escalones,
uno que va hasta una energa s 4 GeV que
corresponden a f = u, d, s, y otro hasta s 40 GeV que corresponde a f = u, d, s, c, b. El valor de

R es compatible con el esperado de la ec. (5.67). Como referencia tambien se se
nalan los valores para
Nc = 4 (en rojo).
Si queremos que el color sea una carga conservada como la carga electrica, o la de isospn debil, esta
debe ser la consecuencia de una simetra gauge local. Para tener tres cargas diferentes la posibilidad
mas simple es imponer la simetra SU(3)c , tal que tengamos un vector compuesto de 3 espinores de
Dirac en el espacio de color:

r
qr
= b = qb .
(5.68)
g
qg
5.3. CROMODINAMICA
CUANTICA
119
El Lagrangiano de Dirac con invarianza gauge global SU(3), para un quark, se puede escribir como
donde
m,
Lglobal = i
(5.69)

a
= exp ia
.
2
(5.70)
a = 1, . . . , 8, a /2 son los ocho generadores de SU(3) y a son los parametros de la transformacion

global.
En un analisis similar al de la seccion 3.5 tenemos que la Accion invariante gauge local bajo
SU(3)c , se obtiene de reemplazar la derivada normal por la derivada covariante (ver ec. (3.195))
D m
1 Tr (G G ) ,
Llocal = i
2
(5.71)
donde

a
= exp ia (x)
2

a
D (D ) = exp ia (x)
D ,
2
(5.72)
con
a a
G igs G
2
con la definicion de esta matriz 3 3 similar a la de la ec. (3.178)

a
(G ) =
Ga
2
D = igs
(5.73)
(5.74)
En terminos, la transformacion de los campos gauge esta dada por

G (G ) = UG U
i
( U) U .
gs
(5.75)
Similarmente, definiendo la matriz 3 3, como se hizo en la ec. (3.188)

G =
a
i
[D , D ] G
,
gs
2 a
(5.76)
donde
con

abc
abc
e
G
Gb Gc G
Gb Gc ,
a = Ga Ga + g s f
a + gs f
e = G G
G
a
a
a
y f abc son las constantes de estructura fina de SU(3)

a b
c

= if abc .
,
2 2
2
(5.77)
(5.78)
(5.79)
120
Definiendo el producto vectorial de SU(3) como
(A B)a = fabc Ab B c ,
(5.80)
si G es un vector en el espacio SU(3) con las 8 componentes Ga , podemos escribir la ec. (5.77)
como en la seccion 3.7
G = G G + gs G G ,
(5.81)
donde G es el vector en el espacio SU(3) con las 8 componentes G

a . Expandiendo el Lagrangiano
en ec. (5.71), tenemos

a a
1 G
L =i igs G m
Ga
2
4 a
m
+ gs
a Ga 1 G Ga
=i
2
4 a
m
+ gs
a Ga 1 G
e G
ea
=i
2
4 a

1 e
ea + g 2 f abc fade G G Gd Ge
gs Ga fade Gd Ge + gs f abc Gb Gc G
(5.82)
s
b c
4
L = Lglobal + Lgauge + LSI ,
(5.83)
donde
Lglobal =i
a Ga 1 G
e G
ea
Lgauge =gs
2
4 a

1
(5.84)
= ( Ga Ga ) Ga Ga + Ja Ga ,
4
es la nueva corriente conservada de interaccion fuerte que surge como consecuencia de la invarianza
gauge local SU(3).

1 e
d e
d e
abc e a
2 abc
LSI = gs G
f
G
G
+
g
f
G
G
G
+
g
f
f
G
G
G
G
ade
s
ade
a

s
b c
b c
4
2
gs
ea G G + gs f abc fade G G Gd Ge
= f abc G
b c
b c
2
4
g2
gs
(5.85)
= f abc ( Ga Ga ) Gb Gc s f abc fade Gb Gc Gd Ge ,
2
4
son los terminos de autointeracccion gauge.
La coorriente de color
L
L
L +
j
+
Ga
( )
( Ga )

a
1
a
a
b c
i i (x) Ga
+ fabc G
2
gs
a 1 G a G fdba Gb a
a (x)
d
2
gs a

a G Gb a 1 (G a ) + 1 a G
a (x)
(5.86)
a
a
a
2
gs
gs
5.3. CROMODINAMICA
CUANTICA
121
Quitando el termino con derivada total

1
a
a
a
ja (x)
+ G G a Ga
2
gs
Eliminndo de nuevo el termino con derivada total, definimos

+ G G a
ja = gs
2
(5.87)
(5.88)
Todas las interacciones estan determinadas en terminos de una u

nica constante de acoplamiento
gs . Las autointeracciones gauge pueden explicar aspectos de la interaccion fuerte como la libertada
asintotica, que consiste en que las interacciones fuertes se vuelven mas debiles a distancias cortas.
En terminos de ndices de color la corriente, y las otras partes del Lagrangiano, pueden escribirse
como

a

Ja = gs q q
.
(5.89)
2
Note que tanto para la Electrodinamica Cuantica como para la Cromodinamica Cuantica la corrien
te
es vectorial. Para las interacciones debiles la estructura es mas complicada y requiere un
conocimiento mas profundo de la ecuacion de Dirac y sus soluciones.
5.3.1.
Ecuaciones de EulerLagrange
Sigiendo los mismos procedimientos anteriores debemos llegar a los siguientes resultados. Para el
campo
mientras que para los campos G
(i D m) = 0 ,
(5.90)
D G =J ,
(5.91)
donde el vector en espacio SU(3) J tiene las 8 componentes Ja dadas en la ec. (5.88). Como G es
una matrix 88, la derivada covariante debe estar en la representacion adjunta como en la ec. (3.249).
La ecuacion (3.267) aplicada a SU(3) es por consiguiente
D G = G + gs G G
donde
b
D G
a = Ga + gs fabc G Gc

Ga = gs fabc G Gc +
ja

b
a
= gs fabc G Gc +
2

= gs G G a +
Como G = G se sigue que

y tenemos las ocho corrientes conservadas.
ja = 0
(5.92)
(5.93)
(5.94)
(5.95)
122
5.4.
5.4.1.
Soluciones a la ecuaci
on de Dirac
Lagrangiano de Weyl
En la ec. (5.17), obtuvimos el Hamiltoniano en ec. (5.26)

= 0 ( p + m) = p + m .
H
(5.96)
Una escogencia particular de las cuatro matrices , conocida como la representacion de Weyl, o
representacion quiral, puede escribirse en terminos de la matrices de Pauli. Escritas en bloques 2 2,
tenemos

0 i
0 0
0
=
i =
.
(5.97)
0 0
i 0
Con 0 = 1. Con la matriz de tranformacion
1
U=
2
1 1
1 1
podemos obtener la representacion de Dirac, tal que U diagonaliza 0 ,

0
0 i
0
0
i =
.
=
i 0
0 0
En adelante trabajaremos en la representacion de Weyl que en forma compacta es

0
(5.98)
(5.99)
(5.100)
donde
= ( 0 , 1 , 2 , 3 )
= ( 0 , 1 , 2 , 3 )
(5.101)
Hemos escrito las matrices de Dirac en bloques 2 2, y es natural escribir similarmente las cuatro
componentes del campo de Dirac como un par de campos de dos componentes

L
L
0
(5.102)
=
=
+
R
0
R
Donde L,R son espinores de Weyl de dos componentes. En la representacion de Weyl el Lagrangiano
se puede escribir como
m
L =i
=i 0 m 0

0
0 1
0 1
m
=i
1 0
0
1 0

0 1

L
L
m L R
=i L R
R
1 0
R
0
=iL
L + iR R m(L R + R L )
(5.103)
5.5. ESPIN
5.4.2.
123
Ecuaciones de Weyl
Las ecuaciones de Euler-Lagrango para el Lagrangiano en ec.(5.103), dan como resultado

i
L mR = 0
i R mL = 0
(5.104)
Expandiendo
i 0 0 L i i i L mR = 0
i 0 0 R + i i i R mL = 0
(5.105)
i0 L i L mR = 0
i0 R + i R mL = 0
(5.106)
que pueden escribirse como
Para el Lagrangiano invariante gauge local U(1) en ec.(5.57), tendramos

i
D L mR = 0
i D R mL = 0
(5.107)
Expandiendo, para D dado en la ec.(5.56), con q = e

D = + iqA
(5.108)
Tenemos
i(0 + iqA0 )L i i (i + iqAi )L mR = 0
i(0 + iqA0 )R + i i (i + iqAi )R mL = 0
(5.109)
de donde
(i0 qA0 )L i (ii qAi )L mR = 0
(i0 qA0 )R + i (ii qAi )R mL = 0
5.5.
(5.110)
Espn
El momento angular esta descrito por el algebra

i, L
j ] = iijk L
k
[L
(5.111)
Si dos operadores no conmutan no es posible conocer sus autovalores simultaneamente. Sin embargo
i, L
2] = 0
[L
z i y L
2 como los dos observables de momento angular.
y por convencion podemos escoger hL
(5.112)
124
Las matrices de Pauli forman una representacion del algebra de momento angular
[Si , Sj ] = iijk Sk
(5.113)
donde el operador de espn se define como

i
Si =
2
(5.114)
Los autovalores del operador de espn son entonces

a
a
Sz
=
b
b
que corresponde a autovalores = 1/2 con autovectores

1
0
| i =
| i =
0
1
(5.115)
(5.116)
que son autoestados de espn up y espn down respectivamente. Una funcion de onda de espn ha de
poder expandir en terminos de estos autoestados
|i = c1 | i + c2 | i
(5.117)
donde |c1 |2 y |c2 |2 corresponden a las probabilidades de encontrar el estado con espn up o espn
down respectivamente. Ademas
|c1 |2 + |c2 |2 = 1
(5.118)
y es un espinor. La ecuacion de Scrodinger para un espinor es, por ejemplo
i
donde
R
b R
= H
t
R =
1
2
(5.119)
(5.120)
con i las funciones de onda convencionales. Dicha ecuacion debe ser invariante bajo rotaciones en
el espacio de espn
i
(5.121)
R R = exp(i i )R .
2
Esta es justo las ecuaciones que aparecen cuando se hace m = 0 en la ec.(5.106). Para R
con
b = i = p
H
(5.122)
L = iR R
= iR 0 R + iR i i R
= iR 0 R iR pR
(5.123)
5.5. ESPIN
125
Como el Lagrangiano debe ser escalar entonces R R debe ser un vector en el espacio de espn. En
efecto, escogiendo los coeficientes como
c1 = ei/2 cos(/2)
c2 = ei/2 sin(/2)
(5.124)
entonces
|c1 |2 + |c2 |2 = c1 c1 + c2 c2 = cos2 (/2) + sin2 (/2) = 1 .
Para
ipx
R = e

0
1
ipx c1
=e
+ c2
c1
(c1 | i + c2 | i) = e
c2
1
0

i/2
e
cos(/2)
= eipx |+i
= eipx
i/2
e
sin(/2)
(5.125)
ipx
donde
|+i =
Tenemos
R 1 R
c1
= c2

ei/2 cos(/2)
.
ei/2 sin(/2)
(5.126)
(5.127)

0 1
c1
c2
1 0

c1
c1
c2
c2
=c2 c1 + c1 c2
= sin(/2) cos(/2)ei + cos(/2) sin(/2)ei

=(ei + ei ) cos(/2) sin(/2)
1
=(2 cos ) sin
2
= cos sin
(5.128)
Similarmente
R 2 R = sin sin
R 3 R = cos
(5.129)
Por consiguiente i son las componentes de un vector unitario con angulo polar y angulo
azimutal . Posibles escalares se pueden construir con otros vectores disponibles, por ejemplo p,
como en la ec. (5.123).
pi
|p|
1
= cos sin + 2 sin sin + 3 cos

cos
sin (cos i sin )
=
sin (cos i sin )
cos

i
cos e sin
= i
e sin cos
= i
p
(5.130)
126

i/2

cos ei sin
e
cos(/2)
|+i = i
p
e sin cos
ei/2 sin(/2)

cos(/2)
cos ei sin
i/2
=e
ei sin(/2)
ei sin cos

cos cos(/2) + sin sin(/2)
i/2
=e
ei [sin cos(/2) cos sin(/2)]

cos( /2)
i/2
=e
ei sin( /2)

cos(/2)
i/2
=e
ei sin(/2)
= + |+i
(5.131)
(El gorro en este caso, significa vector unitario). Decimos entonces que
R = +eipx |+i = +R
p
(5.132)
es un estado de helicidad positiva o derecha. Como p denota la proyeccion de espn sobre la

direccion de moviento, para la helicidad derecha, dicha proyeccion es positiva.
Si definimos ademas
L = eipx |i
(5.133)
donde
entonces

i/2
e
sin(/2)
,
|i =
ei/2 cos(/2)
(5.134)
= (cos sin , sin sin , cos )

p
(5.135)
L = eipx |i = L
p
(5.136)
y
es un estado de helicidad negativa o izquierda. Ademas
h|i = h+|+i = 1
h+|i = h|+i = 0
(5.137)
donde h| = |i , etc.
5.6.
Soluci
on de partcula libre
Consideraremos incialmente dos casos m2 p2 y m2 p2 .

De la ecuacion relativista
E 2 = p2 + m2 ,
(5.138)
tenemos que para elcaso no relativista m2 p2 , podemos tomar p = 0, de modo que

E 2 = m2 E = m
La aparicion de soluciones de Energa negativa. . .
(5.139)
DE PARTICULA LIBRE
5.6. SOLUCION
127
A p = 0 proponemos las soluciones de energa positiva E = +m

L = uL eiEt = L = uLeimt
R = uR eiEt = uR eimt
(5.140)
En este caso las ecs. (5.106) se reducen a

i0 L mR = 0
i0 R mL = 0
(5.141)
de modo que para que (5.140) sea solucion, se debe satisfacer que
uL = uR = u
(5.142)

u1
= |+i .
u=
u2
(5.143)
con
El espinor completo es
=
L
R
imt
=e

|+i
|+i
(5.144)
Con norma
= 0 0 = = |+i |+i + |+i|+i = 1
(5.145)
Para el caso relativista m2 p2 , podemos hacer m = 0 y las ecuaciones (5.106) se desacoplan

i0 L i L = 0
i0 R + i R = 0
(5.146)
Proponemos como soluciones de energa positiva

L = uLeipx = L = uL ei(pxEt)
R = uR eipx = uR ei(pxEt)
(5.147)
reemplazando en las ecs. (5.146) tenemos

EL + pL = 0
ER pR = 0
(5.148)
De modo que para que las ecs. (5.147) sean solucion se debe satisfacer que
p
L = L
E
p
R = R
E
(5.149)
. Entonces
pero de la ec. (5.138), tenemos que para m = 0, E = |p|, y p/E = p/|p| = p
L = L
p
R = R
p
(5.150)
128
Comparando con las ecuaciones (5.132) y (5.136) vemos que para las soluciones de energa positiva
R,L corresponden en efecto a estado de helicidad derecha e izquierda respectivamente. Explicitamente
L = eipx p
|i = eipx |i = L
p
(5.151)
El espinor de cuatro componentes para la solucion de energa positiva es

L
ipx |i
=e
=
|+i
R
=
uu = 0

0 1
|i
= |i |+i
1 0
|+i

0 1
|i
= h| h+|
1 0
|+i

|i
= h+| h|
|+i
=h+|i + h|+i = 0
(5.152)
(5.153)
Es convencion escoger la normalizacion del espinor de Dirac tal que

uu = 2m
(5.154)
que de hecho es cero cuando m = 0.

Para las soluciones de energa negativa tenemos
L = uL ei(px+Et)
R = uR ei(px+Et)
(5.155)
Para explorar las caractersticas de esta solucion podemos reemplazar en la ec. (5.148) E E,
p p, de modo que
L = +L
p
R = R
p
(5.156)
De modo que la antipartcula de una partcula de helicidad izquierda tiene helicidad derecha. Dentro
de los errores experimentales actuales se puede afirmar que en la naturaleza solo se ha observado el
neutrino izquierdo y su correspondiente antineutrino derecho.
Para m 6= 0, tenemos de la ecs. (5.106) y (5.147) (ver ec. (5.148))
EL + pL = mR
ER pR = mL
Entonces
(5.157)

E+p
L = R
m

E p
R = L .
m
(5.158)
DE PARTICULA LIBRE
5.6. SOLUCION
129
En este caso sin embargo, la helicidad no esta bien definida y solo podemos afirmar que L corresponde a la solucion que tiene mayor probabilidad de ser izquierda que derecha. Para calcular dicha
probabilidad es necesario especificar los espinores uL,R (ver [2], Captulo 6). El resultado es que la
probabilidad de que R sea derecho se obtiene de
(
+|R i
v c (relativistic)
1
v
p|R i = + 1 +
|R i
1
2
c
+ 2 |R i v 0 (non-relativistic)

v
1
|R i
(5.159)
p|L i = 1
2
c
mientras que la probabilidad de que sea izquierdo se obtiene de
1
v
p|R i = + 1
|R i
2
c
v
1
|R i
(5.160)
p|L i = 1 +
2
c
Si en un decaimiento solo se emiten electrones izquierdos, el grado de polarizacion del electron
emitido es, usando la ec. (5.160)
1
v 1
v
v
hR | p|R i + hL | p|L i = +
1
1+
=
(5.161)
2
c
2
c
c
El grafico de polarizacion versus v/c, [2] (9.1), debe corresponder a una lnea recta de pendiente
45o . Si solo se emiten electrones derechos sera
1
v 1
v v
+ 1+
1
=
(5.162)
2
c
2
c
c
Mientras que si se emiten por igual electrones derechos e izquierdos la polarizacion total sera cero.
Las soluciones en ec. (6.6) puden ser intercambiadas por L R . Esto se puede ver como una
transformacion de paridad definida por
r r
tt
L R .
(5.163)
= i y L = r p, entonces
De aqu el nombre de la transformacion. Como p
p p
L L,
(5.164)
Entonces es de esperarse que el momentum angular intrnseco, transforme como el momentum angular, y
SS
(5.165)
Bajo la transformacion de paridad

p p
L R ,
(5.166)
Las ecuaciones (6.6) quedan invariantes. Ademas bajo dicha transformacion

= 0 0 + 0 0 =

(5.167)
de modo que el Lagrangiano correspondiente, dado en la ec. (5.103) tambien es invariante bajo la
transformacion de paridad

L R
(5.168)
130
5.7.
Lmite no relativista en presencia de un campo electromagn

etico
En el lmitie no relativista, la ecuacion de Dirac en presencia de un campo electromagnetico

(electrodinamica cuantica en la seccion 5.2) debe contener la ecuacion de Scrodinger en presencia de
un campo electromagnetico. Combinando las ecuaciones (5.110) tenemos
(i0 qA0 )(L + R ) i (ii qAi )(L R ) m(L + R ) = 0
(i0 qA0 )(L R ) i (ii qAi )(L + R ) + m(L R ) = 0
(5.169)
Esta forma es u
til porque de la solucion de partculas libre esperamos que L R sea peque
na.
Como antes prongamos como solucion
L =uL eipx
R =uR eipx
(5.170)
Para solucionar este sistema de ecuaciones acopladas definimos

= eimt (L + R ) (L + R ) = eimt
= eimt (L R ) (L R ) = eimt
(5.171)
donde
=eimt (L + R ) = eimt ei(Etpx) (uL + uR ) = ei(mE)t eipx (uL + uR )
=eimt (L R ) = eimt ei(Etpx) (uL uR ) = ei(mE)t eipx (uL uR )
(5.172)
Reemplazando (5.171) en eq. (5.169)

eimt [m + (i0 qA0 ) i (ii qAi ) m] = 0
eimt [m + (i0 qA0 ) i (ii qAi ) + m] = 0
(5.173)
de donde
(i0 qA0 ) i (ii qAi ) = 0
(i0 qA0 + 2m) i (ii qAi ) = 0
(5.174)
Para una solucion ei(Etpx) , dentro de un sistema atomico, tenemos

(i0 qA0 + 2m) = (E qV + 2m)
(5.175)
Para los potenciales de coulomb atomicos qV = qA0 10eV , y como m 0.5 MeV para el electron,
entonces
(i0 qA0 + 2m) (i0 + 2m)
(5.176)
de la ec. (5.172) tenemos
(i0 + 2m) = [(E m) + 2m]
(5.177)

5.7. LIMITE NO RELATIVISTA EN PRESENCIA DE UN CAMPO ELECTROMAGNETICO131
En el lmite no relativista de |p| 0 ( estamos en la solucion de energa positiva), de la ec. (5.138)
E +m y E m 0, entonces
(i0 + 2m) 2m
Reemplazando en ec. (5.174)
=
1 i
(ii qAi )
2m
entonces
i
con
b
= H
t
(5.178)
(5.179)
(5.180)
b = qA0 + i (ii qAi ) 1 j (ij qAj )

H
2m
1 i
(ii qAi ) j (ij qAj ) + qA0
=
2m
1 i j
=
(i j iq(i Aj ) iqAj i iqAi j + q 2 Ai Aj ) + qA0
2m

1
( i j i j + q 2 i j Ai Aj ) iq i j (i Aj ) iq i j Aj i iq i j Ai j + qA0
=
2m
Usando las propiedades de las matrices de Pauli en ecs.(3.173) y la ec.(5.33), que para Ai = i es
X
( )2 =
i2
(5.181)
i
tenemos

b = 1 [( )2 + q 2 ( A)2 ] iq{ i , j }Aj i iq i j (i Aj ) + qA0
H
2m (
)
1 X
=
[i2 + q 2 A2i ] 2iqij Aj i iq(iijk k + ij )(i Aj ) + qA0
2m
( i
)
1 X
=
[i2 + q 2 A2i ] 2iqAi i iq(i Ai ) q k (ijk i Aj ) + qA0
2m
i
Como
(i + qA)2 = (ii qAi )(ii qAi )
= (i i + q 2 Ai Ai ) iq(i Ai ) iqAi i iqAi i
X
=
(i2 + q 2 A2i ) 2iqAi i iq(i Ai )
(5.182)
Entonces

b = 1 (i + qA)2 q k ( A)k + qA0
H

2m
q
1
2
B
=
(i + qA) + qA0
2m
2m
(5.183)
132
En ausencia del campo electromagnetico recupermos la Ecuacion de Scrhonger para una partcula
libre como era de esperarse. Sin el u
ltimo termino (q/2m) B, sera el Hamiltoniano de Scrodinger
para una partcula cargada en presencia de un campo electromagnetico. El termino adicional es
interpretado como la energa en un campo magnetico, de un momento magnetico intrnseco asociado
con un partcula de Dirac. Definimos entonces el momento magnetico intrnseco como (q = e)
e
2m
e
= 2
2m 2
e~
= 2
2m 2

e~
= ge
2m 2
e =
(5.184)
donde hemos recuperado el factor ~ y definido el factorg [26], ge = 2. Se define el momento magnetico
anomalo del electron como
ge 2
(5.185)
ae =
2
de modo que ae = 0. Sin embargo experimentalmente ae 103
ae = 0.001 159 652 1859(38)
(5.186)
Despues de la segunda cuantizacion, se pueden realizar correcciones perturbativas al valor calculado

anteriormente de ge . Dicho calculo ha sido realizado a cuarto orden en teora de perturbaciones
coincidiendo con el valor experimental hasta la decima cifra significativa. Este tipo de comprobaciones
entre teora y experimento ha llevado a considerar la Electrodinamica Cuantica (QCD) como la mejor
teora que se halla construido para describir la naturaleza.
5.8.
Fermiones quirales de cuatro componentes
Los fermiones izquierdos y derechos pueden ser escritos en terminos de espinores de Dirac como

0
L
L
=eL + eR
(5.187)
+
=
=
R
0
R
En la representacion de Weyl

1 0
5 =
.
0 1
(5.188)
Podemos definir

1 5
1
PL
=
0
2

1 + 5
0
=
PR
0
2

0
0

0
.
1
(5.189)
133
5.8. FERMIONES QUIRALES DE CUATRO COMPONENTES

De modo que

L
L
1 0
= eL
=
PL =
0
R
0 0
PR =eR .
(5.190)
En adelante omitiremos las tildes sobre los espinores de Dirac eL,R .

Las matrices PL,R tienen las propiedades
2
PL,R
= PL,R PL,R = PL,R
PL + PR = 1
PL,R
= PL,R .
PL PR = 0
(5.191)

PL,R =
1 5
1 5
=
= PR,L
2
2
(5.192)
Para escribir el Lagrangiano en termino de los nuevos L,R debemos tener en cuenta que
L,R = (PL,R ) 0 = PL,R 0 = 0 PR,L = PR,L
(5.193)
L =i m
=i(PL + PR ) m(PL + PR )
=iPL + iPR mPL mPR
=iPL PL + iPR PR mPL PL mPR PR
=iPL PR + iPR PL mPL PL mPR PR

=iR R + iL L m(R L + L R ) .
(5.194)
En terminos de espinores de izquierdos y derechos de cuatro componentes la transformacion de

paridad
tt
x x
L R ,
R L .
(5.195)
da lugar a
L L =iR R + iL L m(R L + L R ) ,
(5.196)
donde = U U , con U = 0 . Como las dos representaciones dan lugar a la misma fsica, podemos
decir que el LAgrangiano en terminos de espinores L, R de cuatro componentes es invariante bajo la
transformacion de paridad.
La existencia de ambos espinores L,R garantizan que el Lagrangiano de Dirac es invariante bajo
la transformacion de paridad.
La corriente de la electrodinamica cuantica en ec. (5.61) (o la de la cromodinamica cuantica,
ec. (5.89)) conservan paridad ya que, siguiendo los mismos pasos que en la ec. (6.15)
= L L + R R .
(5.197)
134
Si para alguna partcula, como es el caso del neutrino, no existe la componente derecha, entonces la
correspondiente interaccion vectorial viola paridad y no puede tener interacciones electromagneticas
ni fuertes, es decir, no se acopla con el fton o los gluones. Ademas dicha partcula no puede tener
masa de Dirac. En el caso del neutrino esto se entiende pues al no tenr carga electrica solo reuiere
dos grados de libertad independientes.
De otro lado, si una determinada interaccion, como es el caso de la interaccion debil, solo participa
la componente izquierda de la ec. (5.197), esta corresponde a una interaccion del tipo
L L = PR PL = PL

1 5
2
= 21 ( 5 ) ,
(5.198)
que de acuerdo a la asignacion en la Tabla corresponde a una corriente VA.
5.9.
Problemas
1 Calcule la dimension del campo

2 Demuestre que para una transformacion SU(3)c global, los estados B y M en la ec.(5.64) son
invariantes. Es decir, son singletes de color (ver [2] 16.2)
3 Lagrangiano de Weyl.
a) Demuestre que L
L = L L
b) Definiendo = L y = R , demuestre que hasta derivadas totales

L = i + i
m( + )
(5.199)
De modo que el Lagrangiano para un fermion de Weyl, W , no masivo puede escribirse

como
L = iW
W
(5.200)
Captulo 6
Modelo Est
andar
6.1.
Interacci
on Electrod
ebil para leptones
El Lagrangiano de Dirac para la primera generacion de leptones representados por los campos e
y , es
L = ieL i eL + ieR i eR + iL L + iR R
me (eL eR + eR eL ) m (L R + R L )
(6.1)
donde
e e = eL + eR ,
e = L + R .
(6.2)
Este Lagrangiano debe dar cuenta de las caractersticas de las interacciones debiles.
Corrientes VA
En dichas interacciones solo participan las partes izquierdas de los campos. Esto nos permite
prescindir del R , pues no tiene cargas debiles, fuertes o electricas
L = ieL eL + ieR eR + iL i L me (eL eR + eR eL )
(6.3)
Simetra global SU (2)L U (1)Y

En el contexto de las interacciones debiles un eL es completamente equivalente a un campo L .
Es decir, el Lagrangiano debe ser invariante bajo una transformacion SU(2)L de esos campos. La
diferencia entre ellos son sus respectivas cargas electricas y sus masas. Asumiendo que ambos campos
tienen la misma hipercarga, podramos esperar que la corriente electromagnetica apropiada puede
obtenerse a partir del Grupo semisimple SU(2)L U(1)Y . Ademas las respectivas masas se podran
obtener a partir del mecanismo de Higgs. De hecho, definiendo el doblete

L L ,
eL
135
(6.4)

CAPITULO 6. MODELO ESTANDAR
136
este transforma bajo SU(2)L como
L L = exp(iT i i )L (1 + iT i i )L
i

i
i
1
+
2 12 2
L
2
2
L

+i
1
i
eL
eL
1 2
2
1 i2
2
2
+

i
2
1+ 2i
L
2
= i
1
eL
2
1 i2
+

2
i
i
1 + 2 L + 2 2 eL
.
=
1 2i eL + 2i 2 L
(6.5)
Claramente el termino de masa me en la ec. (6.3) no es invariante bajo esta transformacion. El

Lagrangiano en la ec. (6.3), sin termino de masa, puede reescribirse de manera que exhiba de forma
mas explicita la invariante bajo SU(2)L como
L = iL L + i eR eR ,
(6.6)
donde, bajo SU(2)L eR transforma como

eR eR = eR .
(6.7)
Para que el Lagrangiano en la ec. (6.6) sea invariante gauge global bajo SU(2)L U(1)Y , se debe
satisfacer la relacion de GellmanNishijima (3.224)

1

+ YL L
0L
2
= (T3 + Y )L =
QL =
1eL
12 + YL eL
QeR = 1eR = Y eR = YR eR ,
(6.8)
de modo que
YL =
1
2
YR = 1 .
(6.9)
Concluimos que para que la simetra gauge local bajo SU(2)L U(1)Y sea exacta se requiere que la
hipercarga Y de ambas componentes del doblete sea la misma y que ambas tengan masa cero. Para
tener un modelo consistente debe existir un mecanismo para generar la masa del electron.
Simetra local SU (2)L U (1)Y
Para que las cargas de isospn debil se conserven localmente debemos cambiar la derivada normal
en el Lagrangiano (6.6) por la derivada covariante de SU(2)L U(1)Y
D igT iWi ig Y B
=
!
1 gW +
igT3W3 ig Y B
2
.
1 gW
+
igT
W
ig
Y
B
(6.10)
y el Lagrangiano
i
14 B B ,
L = iL D L + i eR D eR 14 Wi W
(6.11)
ELECTRODEBIL
6.1. INTERACCION
PARA LEPTONES
137
es el Lagrangiano invariante gauge local mas general posibles para los campos eL,R , L , Wi , y B .
De acuerdo a la ec. (3.191)
Wi = Wi Wi + g ijk Wj Wk .
(6.12)
Para escribir el Lagrangiano en una forma compacta, debemos introducir una convencion: siempre
que los terminos de D act
uen en un estado fermionico de forma matricial diferente, el resultado es
cero por definicion. As el resultado de hacer actuar T i Wi sobre el singlete bajo SU(2)L , eR , es cero.
Note que
D eR = ( ig YR B )eR .
(6.13)
En la seccion 3.6 vimos que para tratar consistentemente el electromagnetismo conjuntamente con
el grupo gauge local SU(2), era necesario suponer inicialmente la existencia de un boson gauge B
asociado a un grupo U(1)Y en lugar del A electromagnetico asociado a U(1)Q . El A se puede
obtener posteriormente a partir de una combinacion lineal apropiada de B y W3 , el boson gauge
diagonal de SU(2).
Mecanismo de Higgs
Como los bosones gauge Wi deben ser masivos para dar cuenta de que la interaccion debil es
de corto alcance, el Lagrangiano en ec. (6.11) debe ser complementado con un potencial escalar
apropiado que pueda dar lugar a una ruptura espontanea de la simetra. De acuerdo a la discusion
del Captulo 4 la escogencia mnima es introducir un doblete escalar complejo
+
.
(6.14)
=
0
Entonces
i
14 B B + (D ) D 2 ( )2 ,
L = iL D L + i eR D eR 14 Wi W
(6.15)
donde 2 < 0, y > 0.

Los terminos bosonicos en la ec. (6.15), ya fueran analizados en la seccion 4.4, eq.(4.41).
Lagrangiano de Yukawa
Para los campos del Lagrangiano en eq. (6.15), debemos asegurarnos de que todos los terminos
invariantes gauge locales y renormalizables sean considerados. De hecho un termino de interaccion
entre fermiones y el campo escalar, correspondiente a una interaccion de Yukawa, resulta ser invariante gauge local. Incluyendo dicho termino en el Lagrangiano invariante SU(2)L U(1)Y para los
campos e, L , Wi , B y tenemos
L =iL D L + i eR D eR
he LeR he eR L
i
14 Wi W
41 B B
+ (D ) D 2 + ( )2 .
(6.16)

138
Bajo una transformacion gauge local los campos transforman como:

D L (D L) = exp iT i i iYL D L
D eR (D eR ) = exp (iYR ) D eR

= exp iT i i iY ,
(6.17)
Y la accion determinada por el Lagrangiano en ec. (6.16) permanece invariante bajo SU(2)L U(1)Y .
Parte de los terminos del Lagrangiano ya han sido analizados en el Captulo 4.
Gauge Unitario
Para obtener el espectro despues de la ruptura espontanea de simetra es conveniente usar el
Gauge Unitario para reescribir el campo de Higgs como en la ec. (4.48)

0
.
(6.18)
= 1
[H(x) + v]
2
Usando los resultados de la seccion 4.4 tenemos
2
LHW B = (D ) D 2
1
= H H V (H)
2
1
1
+ g 2 W W+ H 2 + vg 2 W W+ H
4
2

2
2

g
g
1
2
Z Z H +
v Z Z H
+
2 2 cos W
2 cos W
1
1
1
+ m2W W W+ + m2W W W+ + m2Z Z Z ,
2
2
2
(6.19)
donde:
V (H) = 12 m2H H 2 + vH 3 + 14 H 4
1
m2
1 m2H 4
= m2H H 2 + H H 3 +
H
2
2
4 2v
2v

H
H2
1
+ 2 .
= m2H H 2 1 +
2
v
4v
(6.20)
con
m2H = 22 = 2v 2 .
tal que
W3
B
cos W sin W
sin W cos W

g sin W = g cos W = e.
(6.21)

Z
,
A
(6.22)
(6.23)
ELECTRODEBIL
6.1. INTERACCION
PARA LEPTONES
mW =
gv
2
mZ =
mW
.
cos W
139
(6.24)
Entonces
1
LHW B = H H V (H)
2
g 2v 2
(2vH + H 2 )W W+
+ m2W W W+ +
2
4v
2

1
gv
1 2
(2vH + H 2 )Z Z
+ mZ Z Z + 2
2
2v
2 cos W

1
H H2
H H2
1 2
+
2
= H H V (H) + mW 1 + 2 + 2 W W + mZ 1 + 2 + 2 Z Z .
2
v
v
2
v
v
(6.25)
Ademas
LlW B =iL D L + i eR D eR
(6.26)
Donde, usando el mismo procedimiento se obtiene el resultado analogo para la ec. (3.226)
LlW B = iL [ ig(T 1 W1 + T 2 W2 ) i(gT 3 W3 + g Y B )]L + ieR ( ig Y B )eR
(6.27)
Ya que
T
LlW B
W1
+T
W2

2
1
0
W1 iW2
0 W+
=
=
0
2 W1 iW2
2 W 0

0 W+
g
L
=iL L + ieL eL + ieR eR + L eL
eL
W
0
2
g

+ L
3 W3 + g Y B L + g eR YR B eR
2
(6.28)
(6.29)
usando ec. (6.22)

g
LlW B =iL L + ie e + eL W L + L W+ eL +
2
h
i
g
L
3 (cW Z + sW A ) + g Y (sW Z + cW A ) L+
2
g eR YR (sW Z + cW A )eR

g
=iL L + ie e + eL W L + L W+ eL +
2
h gc

gs
i
W
W
L
3 g sW Y Z +
3 + g cW Y A L
2
2
g sW eR YR Z eR + g cW eR YR A eR
usando ec. (6.23)
(6.30)

140
De modo que

g
LlW B =iL L + ie e + eL W L + L W+ eL +
2

2
sW
gcW
3
3 g Y LZ + eL
+ Y LA
L
2
cW
2
s2
g W eR YR eR Z + eeR YR eR A
cW

g
2

g
3
L c2W s2W Y LZ + eL QLA
cW
2
2
s
g W eR YR eR Z + eeR Qe eR A
cW

g
2
+ eeL Qe eL A + eeR Qe eR A
i
h
e
3
e
L (1 s2W ) s2W Y LZ
eR s2W YR eR Z
+
sW cW
2
sW cW

g
=iL L + ie e + eL W L + L W+ eL
2
+ eePR Qe PL eA + eePL Qe PR eA
i
h
e
e
3
+
s2W Q LZ
L
eR s2W YR eR Z
sW cW
2
sW cW

g
=iL L + ie e + eL W L + L W+ eL
2
+ ee Qe eA

e
e
L 3 2Qs2W LZ
eR 2s2W Qe eR Z
+
2sW cW
2sW cW
LlW B = i
e e + ie e + Lcc + Lnc
(6.31)
(6.32)
donde
Lnc =eJEM
A +
e
2 cos W sin W
JNC
Z
(6.33)
donde ahora
JEM
= e Qe =
e e
(6.34)
JNC
=
=L,eR

3 2Q sin2 W .
(6.35)
ELECTRODEBIL
6.1. INTERACCION
PARA LEPTONES
En terminos de los ferminones usuales

e
JNC
=L 3 2Qs2W L
eR 2s2W Qe eR
2sW cW

1
L
0
= L eL
+ eR 2s2W eR
2
eL
0 1 + 2sW

= PL + e 1 + 2s2W PL e + e 2s2W PR e

(1 5 )
1 5
(1 + 5 )
+ e 1 + 2s2W
e + e 2s2W
e
=
2
2
2
2

1
1 5
1
2
=
+ e + 2sW + 5 e
2
2
2
2
JN C =
f =e,e
f (vf af 5 )f ,
donde 2ve = 1 + 4 sin2 W , 2ae = 1, ve = ae = 1.

Igual que en el caso de SU(3)C

g
Lcc == eL L W + L eL W+
2

g
= e (1 5 )e W + e (1 5 )eW+
2 2
141
(6.36)
(6.37)
(6.38)
Para el termino de Yukawa

Lf H =he LeR + eR L
he
= (eL eR + eR eR ) (H + v)
2
he
=me ee + eeH
2
H
=me ee + me ee
v

H
=me ee 1 +
.
v
(6.39)
donde
he v
(6.40)
me = .
2
De modo que el mismo mecanismo que da cuenta de la masa de los bosones gauge, da cuenta de
la masa de los fermiones y entrega una interaccion con la que se puede comprobar experimentalmente
el modelo. Encontrar estas interacciones del Higgs con los fermiones y con los bosones gauge es el
principal objetivo del LHC.
Como se vio en la seccion 4.4 los terminos cineticos de los bosones gauge se pueden escribir en
terminos de W Z y A ,
i
LW B = 14 Wi W
14 B B

) (FW ) L3 L4
= 41 F F 14 Z Z 21 (FW
(6.41)

142
donde
(FW ) = W+ W+
(6.42)
y L3 y L4 estan dados en [18]
h
i

L3 = ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
i
h

ie (FW
) W+ A (FW ) W A + W W+ F ,
(6.43)
h
i

e2
+
2
+
+
L4 =
e2 cot2 W W+ W Z Z W+ Z W Z
W W
W W W W
2
2 sin W


(6.44)
En resumen el Lagrangiano invariante gauge local bajo SU(2)L U(1)Y dado en la ec. (6.16),
escrito en el gauge unitario es (f = e, e , y tal que para f = e , f = e)
LEW =
X
f

if ( mf ) f 14 F F 14 Z Z 21 (FW
) (FW ) + 12 H H

H
1 2
H2
H H2
1 2 2
2
+
+ 2 + mW W W + mZ Z Z
1+2 + 2
mH H 1 +
2
v
4v
2
v
v
X
X
e
f Qf f A +
+e
f (vf af 5 )f Z
2
cos
sin
W
W
f
f
"
#
X
X mf
g
(1 5 )f W + + h.c +
ff H
f
+
v
2 2 f =e
f
i
h

ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
h
i

+
+
ie (FW ) W A (FW ) W A + W W F
h
i

e2
+
2
+
+
W
W
W
W
W
W
2
2 sin W


(6.45)
donde me = 0.
6.1.1.
Dispersi
on electronneutrino
Comparando con el Lagrangiano efectivo de la dispersion e + e e + e se obtiene

v=
2 GF
1/2
= 246.2 GeV .
(6.46)

6.2. MODELO ESTANDAR
143
6.2.
Modelo Est
andar
6.2.1.
Primera generaci
on
Introduciendo los quarks u y d, tenemos como contenido de partculas

eR
L= L ,
eL

u
uaR , dR
Q = L ,
dL
(6.47)
donde es el ndice de color. Productos del tipo uL uL seran denotados simplemente como uL uL .
Ademas
L =PL e ,
uL,R =PL,R u,
eL,R =PL,R e
dL,R =PL,R d .
(6.48)
Como antes, el termino Q es invariante bajo SU(2)L . Hemos mostrado en problema 3.6. que si Q
Q tambien es un invariante de SU(2). Explcitamente
es un invariante SU(2), el termino
e Q =(i2 ) Q
0
=
Q

uL
0
+
=
dL
=0 uL + dL
=12 Q1 2 + 21 Q2 1
=ab Qa b .
(6.49)
Bajo una transformacion SU(2)L

e Q
e Q = ab Q =ab Uac Ubd Qc d
a b
=cd det UQc d
=cd Qc d
e Q .
=
Las hipercargas se obtienen de

1

2
( 2 + YQ )uL
u
uL
3 L
=
=(T3 + YQ )
13 dL
dL
( 12 + YQ )dL

0

0 0
( 21 + Ye )0
=(T3 + YQ )
=
( )
( 12 + Ye )( )
Entonces
YQ =
2 1
= 1/6,
3 2
1
Ye = ,
2
2
Y uR = ,
3
1
YdR = .
3
(6.50)
(6.51)
(6.52)

144
Bajo hipercarga
Q ei(1/3) Q
e Q ei(2/3)
e Q
(6.53)
Entonces podemos construir los invariantes bajo SU(3)c SU(2)L U(1)Y como
e Q + h.c
LYukawa =hd QdR + hu uR
e Q + hd dR Q + hu Qu
e R
=hd QdR + hu uR
e R + h.c
=hd QdR + hu Qu
(6.54)
Recuerde que QdR = Q dR . El Lagrangiano invariante gauge local bajo SU(3)c SU(2)L U(1)Y
es entonces
L =i
=L,eR ,Q,uR ,dR
e R + h.c)
(he LeR + hd QdR + hu Qu
i
41 B B
14 Wi W
+ (D ) D 2 + ( )2 .
(6.55)
Donde
D igs
a
i
Ga ig Wi ig Y B .
2
2
(6.56)
En el gauge unitario
0
1 (H(x) + v)
2
e=
1 (H(x)
2
+ v)
(6.57)

f=
2vf
2af
145
u
1 sin2 W
1
8
3
d
1 + sin2 W
1
4
3
e
1
1
e
1 + 4 sin2 W
1
Tabla 6.1: Acoplamientos de corrientes neutras

y utilizando los resultados para la Cromodinamica Cuantica de la seccion 5.3, el Lagrangiano para
f = e , e, u, d, q = u, d y f = e (d) para f = e (u) es
X
e G
ea
L1 gen =
if ( mf ) f 1 F F 1 Z Z 1 (F ) (FW ) 1 G
4

H
H2
H H2
1 2
1 2 2
2
+
+ 2 + mW W W + mZ Z Z
1+2 + 2
+
mH H 1 +
2
v
4v
2
v
v

X
X
X
e
a
f Qf f A +
f (vf af 5 )f Z
q Ga + e
+ gs
q
2
2
cos
sin
W
W
q
f
f
#
"
X mf
X
g
(1 5 )f W + + h.c +
+
ff H
f
v
2 2 f
f
i
h

ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
h
i

+
+
h
i

e2
+
2
+
+
2
2
+
+

W
W
W
W
W
W
e
cot
W
W
Z
Z
W
Z
W
Z
2 sin2 W


e2 W+ W A A W+ A W A

1 e
d e
d e
abc e a
2 abc
(6.58)
gs Ga fade G G + gs f Gb Gc G + gs f fade Gb Gc G G .
4
1
H H
2
donde
e = G G
G
a
(6.59)
En la tabla 6.1 se muestran los acoplamientos de las corrientes neutras.
6.2.2.
Din
amica de sabor
El Modelo Estandar esta compuesto de las siguientes tres familias de fermiones i = 1, 2, 3. A cada
familia se le asigna una carga de sabor diferente
i
e

L
L
L
Li = i :
L1 =
L2 =
L3 = L
eiR : eR , R , R
eL
eL
L
L
i

uL
uL
cL
t
Qi = i :
Q1 =
Q2 =
Q3 = L
uiR : uR , cR , tR
dL
dL
sL
bL
diR : dR , sR , bR .
(6.60)
Con
YLi =
1
2
YQi =
1
6
YeiR = 1
YuiR =
2
3
YdiR =
1
.
3
(6.61)

146
De los procesos entre familias, es decir de cambio de sabor, sabemos que

No se han observado procesos de corrientes neutras que cambian sabor.
Los bosones gauge cargados W decaen siempre a leptones de la misma generacion y con la
misma intensidad.
Proponemos entonces el Lagrangiano

X
i

i
i
i
i
i
Qi D Qi + Li D Li + eR D eR + dR D dR + uR D uR
L =i
i
U e
(hE
ij Li eR j + hij Qi dR j + hij Qi uR j + h.c)
i
14 Wi W
14 B B
+ (D ) D 2 + ( )2 .
(6.62)
Para aclarar la notacion, obviando de momento la definicion definitiva de hij y las primas sobre los
campos, consideremos el Lagrangiano de Yukawa para el sector down
L hD
ij dRi Qj + h.c
e a Qb + h.c
hD dRi ab
ij
j
a b
D
e
hij ab dR i Qj + h.c
a b
e
hD
ij ab (dR )i 0 Qj
+ h.c ,
(6.63)
donde i, a, , son ndices en los espacios de familia, SU(2)L , SU(3)c y de Dirac, respectivamente.
Por ejemplo el primer termino de la sumatoria
1
e 1 2
L hD
11 (dR )1 0 Q11 + . . .
r
0 r
hD
11 dR dL + . . .
(6.64)
corresponde a la interaccion de Yukawa del quark down rojo (r) con un campo escalar complejo
neutro en carga electrica pero de isospn debil 1/2. En forma compacta la primera expresion en la
ec. (6.63) puede escribirse como
L dR hD Q + QL hD dR
(6.65)
Retornado a la ec. (6.62), tenemos que para definir apropiadamente la masa de los quarks, rotamos
de los autoestados de interaccion a los autoestados de masa con la matrices unitarias
D
)jk dR,L k
dR,L j = (VR,L
D
dR,L j = dR,L k (VR,L
)kj
(6.66)
(6.67)
Tal que
D
D
(VR,L
)ij (VR,L
)jk = ik
(VLD )ki MijD (VRD )jl = mD

k kl

147
Con definiciones similares para los campos ui y ei .

D
hij v
LYukawa dL i dR j
2
=dL i MijD dR j
=dLk (VLD )kiMijD (VRD )jl dRl

=dLk mD
k kl dRl
=mD
k dLk dRk
(6.68)
Para las diferentes combinaciones de terminos de corrientes
uL i dL i =uLk (VLU )ki (VLD )il dLl

=Vkl uLk dLl
L i eL i =L i (VLE )ij eLj
=L i (VLE )ij eLj
=Lj eLj
(6.69)
Donde hemos definido la matriz de CabibboKobayashiMaskawa (CKM) como
V =VLU VLD
V V =VLD VLU VLU VLD = 1
X
j
Vij Vjk = ik
X
j
Vji Vjk = ik
X
j
|Vji|2 =
X
j
|Vij |2 = 1
(6.70)
y los autoestados debiles de los neutrinos como
L i = (VLE )ij Lj
(6.71)
Con esta definicion, las corrientes debiles cargadas para los leptones siguen siendo universales. Similarmente
uL i uL i =uLk (VLU )ki(VLU )il uLl

=kl uLk uLl
=uLk uLk
(6.72)
De modo que todas las corrientes neutras permanecen universales despues de la redefinicion de los
campos fermionicos. A este resultado, basado en la unitariedad de las transformaciones biunitarias se
le llama Mecanismo GIM. En muchas extensiones del Modelo Estandar las matrices que transforman
los fermiones a sus autoestados de masa no son unitarias y dan lugar a corrientes debiles neutras que
cambian sabor (FCNC de sus siglas en ingles). Este tipo de procesos sin embargo, a
un no han sido
observados.

148
Teniendo en cuenta estos resultados podemos escribir finalmente el Lagrangiano completo del
Modelo Estandar en la Gauge Unitario, para
f =e , , , e, , , u, c, t, d, s, b;
LSM =
X
f
q =u, c, t, d, s, b;
l =e, ,
(6.73)

e G
ea
if ( mf ) f 14 F F 41 Z Z 21 (FW
) (FW ) 14 G
a

H
1 2
H2
H H2
1 2 2
2
+
+ 2 + mW W W + mZ Z Z
1+2 + 2
+
mH H 1 +
2
v
4v
2
v
v

X
X
X
e
a
f Qf f A +
f (vf af 5 )f Z
+ gs
q
q Ga + e
2
2
cos
sin
W
W
q
f
f
"
#
X
X
X mf
g
+
ff H
+
l (1 5 )lW +
Vij ui (1 5 )dj W + h.c +
v
2 2 l=e
ij
f
i
h

ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
i
h

+
+
h
i

e2
+
2
+
+
W
W
W
W
W
W
2
2 sin W


e2 W+ W A A W+ A W A

1 e
ea + g 2 f abc fade G G Gd Ge .
gs Ga fade Gd Ge + gs f abc Gb Gc G
(6.74)
s
b c
4
1
H H
2
donde ml = 0.
6.3.
Fenomenologa Electrod
ebil
El Lagrangiano del Modelo contiene los parametros gs , g, sin W , v, mH . Alternativamente uno

puede escoger como parametros, en lugar de g, sin W , v [5]
GF = 1.166 371(6) 105 GeV2
1 = 137.035 999 679(94)
mZ = 91.1876(20) GeV
s (mZ ) = 0.1176(20) .
(6.75)
donde i = gi2 /(4). Esto tiene la ventaja de usar las tres cantidades experimentales mejor medidas.
Las relaciones
sin2 W =1
m2W
,
m2Z
m2W sin2 W =
2GF
(6.76)

6.3. FENOMENOLOGIA ELECTRODEBIL
149
determinan entonces
Si se usa (MZ ) 1/128 entonces
sin2 W =0.212
mW =80.94 GeV
(6.77)
sin2 W =0.233
mW =79.84 GeV
(6.78)
Los valores medidos son sin2 W = 0.23149(13), mW = 80.398(25) GeV, y pueden ser reproducidos por
el modelo estandar una vez se tienen en cuenta correcciones perturbativas inducidas por partculas
virtuales.
El acelerador e+ e LEP, que funciono hasta desde 1998 hasta el 2000 [27], opero a energas
suficientes para producir millones de Z. Combinado con otros resultados experimentales, se pudo
verificar todo el Lagrangiano del Modelo Estandar hasta un nivel del 1 por mil. Con excepcion de
las interacciones asociadas con el Higgs.
La universalidad de los decaimientos del Z esta soportada por los resultados experimentales
siguientes donde solo se muestran los decaimientos leptonicos del Z diferentes de cero [5]
(Z e+ e ) = 83.92(12) MeV (Z + ) = 83.99(18) MeV (Z + ) = 84.08(22) MeV
Br(Z e+ e ) = 3.363(4) %,
Br(Z + ) = 3.366(7) %,
Br(Z + ) = 3.370(8) %
(6.79)
Mientras que para el W , en %,
Br(W e e ) = 10.65(17),
Br(W ) = 10.59(15),
Br(W ) = 11.44(22)
(6.80)
La diferencia de respecto a los otros representa un efecto a 2.8. La universalidad de los acoplamientos leptonicos de W puede comprobarse tambien indirectamente a traves de los decaimientos
debiles mediados por corrientes cargadas. Los datos actuales verifican la universalidad de los acoplamientos de corrientes cargadas leptonicas al nivel del 0.2 % [5]. Sin necesidad de entrar en detalles
de los calculos de las amplitudes de decaimiento, podemos usar el hecho de que ellas son proporcionales a los acoplamientos al cuadrado correspondiente, de modo que un cociente entre amplitudes
de decaimiento es igual, en primera aproximacion, a los cocientes de los acoplamientos al cuadrado.
Tendremos en cuenta ademas que el Branching es la amplitud de decaimiento a un canal especifico
divido por la suma de las amplitudes de decaimiento a todos los canales posibles.
Para los decaimientos del Z el Modelo Estandar predice, ademas de la ausencia de eventos del
tipo Z e+ , que para un cierto l = e, , , o q = d, s, b
Br(Z l+ l )
(|vl |2 + |al |2 )
Br(Z qq)
Nc (|vq |2 + |aq |2 )
h
i
2
21 + 2 sin2 W + 14
i
= h
2
Nc 12 + 32 sin2 W + 41
0.338 Nc = 2
0.776
= 0.225 Nc = 3
Nc
0.169 Nc = 4
(6.81)

150
Para ser comparado con el resultado experimental de por ejemplo

Br(Z e+ e )
3.363(4)
=
0.222
15.12(5)
Br(Z bb)
(6.82)
que de nuevo da lugar al Nc = 3, que seguiremos tomando en adelante.

Los Branchings de decaimiento en la ec. (6.80) y ec. (6.79) pueden ser calculados sin entrar en
detalles del calculo de las amplitudes. Teniendo en cuenta que el canal Z tt esta cerrado
Br(Z e+ e ) =
(Z e+ e )
total
(|ve |2 + |ae |2 )
P3
P2
2
2
2
2
2
2
2
2
i=1 (|vdi | + |adi | )]
i=1 (|vui | + |aui | ) +
l [(|vl | + |al | ) + (|vl | + |al | )] + Nc [
(|ve |2 + |ae |2 )
3[(|ve |2 + |ae |2 ) + (|ve |2 + |ae |2 )] + 3[2(|vu |2 + |au |2 ) + 3(|vd |2 + |ad |2 )]
(|ve |2 + |ae |2 )
21|ae |2 + 3[|ve |2 + |ve |2 ] + 3[2|vu |2 + 3|vd |2 ]
(1 + 4s2 W )2 + 1
21 + 3[(1 + 4s2 W )2 + 1] + 3[2(1 83 s2 W )2 + 3(1 + 43 s2 W )2 ]
2 8s2 W + 16s4 W
42 80s2 W + 320
s4 W
3
=P
=
=
=
=
3.43 %
(6.83)
Para W tenemos por ejemplo

Br(W e e ) =
(W e e )
total
(6.84)
donde, teniendo en cuenta que los canales a top estan cerrados, y usando la condicion de unitariedad
de la matriz CKM en ec. (6.70), tenemos
total =
X
l
(W l l ) + Nc
=(W
=(W
e e ){3 + Nc
X
i
X
i
[(W u1 di) + (W u2 di )]
[|V1i |2 + |V1i |2 ]}
e e )(3 + 2Nc )
(6.85)
entonces
Br(W e e ) =
1
= 11.1 %
3 + 2Nc
(6.86)
Una mejor prediccion de dichos resultados en el contexto del Modelo Estandar requiere tener en
cuenta las correcciones radiativas.

6.3. FENOMENOLOGIA ELECTRODEBIL
151
Figura 6.1: Diagramas de Feynman para las corrientes cargadas
P
inv
(Z l l )
= l
l
(Z e+ e )
N (Z e e )
=
(Z e+ e )
N (|ve |2 + |ae |2 )
|ve |2 + |ae |2
2N
=
(1 + 4 sin2 W )2 + 1
(
5.865 N = 3
,
7.819 N = 4
(6.87)
mientras que el valor medido experimentalmente para esta cantidad 5.942(16) [5], es una evidencia
muy fuerte de que solo exiten tres neutrinos livianos.
6.3.1.
Decaimientos d
ebiles mediados por corrientes cargadas
De la corrientes cargadas para leptones tenemos

"
#
X
g
Lcc
l (1 5 )lW+ + l (1 5 )l W
2 2 l
(6.88)
Esto da lugar a los posibles diagramas para decaimientos de leptones a bosones virtuales, y bosones
a leptontes mostrados en la figura 6.1. Las flechas representan el flujo de n
umero leptonico. La
flecha de tiempo es de izquierda a derecha. Al lado izquierdo del vertice entran partculas y salen
antipartculas. Mientras que al lado derecho entran antip artculas y salen partculas Del primer y
cuarto diagrama obtenemos el diagrama de Feynman para el decaimiento e e , mostrado
en la figura 6.2 El propagador para el boson W de momentum q resulta ser

q
q
1
e =
g 2
.
(6.89)
D
q 2 m2W
mW
Para los propositos actuales la obtencion de este resultado no es necesaria, el punto importante es
que cuando las masas de las partculas iniciales y finales son mucho mas peque
nas que mW , esto se

152
Figura 6.2: diagrama de Feynman para el decaimiento e e

reduce a
e = g .
D
m2W
(6.90)
Este resultado se entiende facilmente cuando se compara con el propagador de una partculas escalar
masiva 1/(q 2 M 2 ) 1/M 2 . Las componentes espaciales de W con = 1, 2, 3, a bajas energas
tienen el mismo propagador que el de una partcula escalar, mientras W0 , tiene el signo opuesto.
El Lagrangiano efectivo para el decaimiento del muon, e e es entonces
g
g2
[
(1 5 )] 2 [
e (1 5 )e ]
8
mW
g2
= 2 [
(1 5 )] [
e (1 5 )e ]
8mW
GF
(1 5 )] [
e (1 5 )e ] ,
= [
2
L=
(6.91)
donde
GF
g2
= 2
2 8mW
g24
= 2 2
8g v
1
= 2,
2v
(6.92)
y
v=
2GF
1/2
(6.93)
De otro lado, para el decaimiento , n pe e , de acuerdo a la figura 6.3, tenemos

G
L = [
p (1 1.265)n] [
e (1 5 )e ] .
2
(6.94)
con GF dado en la ec. (6.75) y G = 1.10105 GeV2 . La corriente hadronica tiene la forma V1.26A.
El factor 1.26 puede entenderse como debido a las correcciones a nivel hadronico de una corriente

6.4. CALCULO
DE PROCESOS
153
Figura 6.3: Decaimiento del neutron.

que es de la forma VA a nivel del quarks, como en la ec. (6.74). A nivel de quarks el decaimiento
del neutron (udd) al proton (uud) corresponde al decaimiento de uno de los quarks down del neutron
d ue e
GF
u (1 5 )d] [
e (1 5 )e ] .
L = V11 [
2
(6.95)
De modo que G = GF V11 = GF cos C , donde C es el angulo de Cabbibo. Una vez se tienen en
cuenta correcciones electrodebiles se obtiene el valor |V11 | = 0.97418(27)[23]. Las magnitudes de los
elementos de la matriz CKM son[23]
0.97419 0.2257
0.0359
V 0.2256 0.97334 0.0415 1
(6.96)
0.00874 0.0407 0.999133
6.4.
C
alculo de procesos
Se remite al lector al lector a la siguiente parte del curso Standard Model and beyond, de la
pagina web
http://gfif.udea.edu.co:2500
En particular a las secciones iniciales de los Captulos 1 y 2 donde se analizan el decaimiento
W e e y el decaimiento del muon.
6.5.
Problemas
1 Demuestre explcitamente la ec. (6.33)
154
Ap
endice A
Soluciones a los problemas
Captulo 2
2.1. De
a = a
(A.1)
a = g a = g g a = a
(A.2)
tenemos que
De la definicion de transformacion de Lorentz
tenemos
a b = a b
(A.3)
a b = a b = a b = a b
(A.4)
(A.5)
de donde
2.3.
r
1
1 GeV
1
2.5 1018 m
16
1
m
80 GeV 1/(1.97 10 m )
(A.6)
Captulo 3
3.6 Tenemos
= i2 =
0 1
1 0

(A.7)
Haremos la parte correspondiente al termino de masa. Para el termino cinetico es igual.

0
2
2
0
+
m = m
= m2 (0 0 + + )
= m2
son representaciones equivalentes de SU(2).

de modo que y
155
(A.8)

APENDICE
A. SOLUCIONES A LOS PROBLEMAS
156
Ademas
a b = m2 (12
1 2 + 21
2 1 ) = m2 (0 0 + + )
m2 ab
= m2
(A.9)
3.8 De las ecs. (3.259) y (3.260)

L = g [ W ( ) W ]
i
+ g 2 i (kl im km il )Wk Wl m m2 41 Wi W
= g [ W ( ) W ]
i
+ g 2 i Wk Wk i g 2i Wk Wi k m2 14 Wi W
= g [ W ( ) W ]
+ g 2 W W g 2 WW m2 14 W W
(A.10)
donde
W W =( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (jl km jm kl )Wj Wk Wl Wm
=( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (Wj Wk Wj Wk Wj Wk Wk Wj )
=( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (W W W W W W W W )
=( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (W W W W W W W W )
(A.11)
3.9

3
Z
cos W sin W
W
.
=
A
sin W cos W
B
14 B B = 14 ( B B )( B B )
= 14 [ (sZ + cA ) (sZ + cA) ][ (sZ + cA) (sZ + cA) ]
= 41 [s Z + c A + s Z c A ][s Z + c A + s Z c A ]
= 41 [s( Z Z ) + c( A A )][s( Z Z ) + c( A A )]
= 41 [s( Z Z ) + c( A A )][s( Z Z ) + c( A A )]
= 41 [s2 ( Z Z )( Z Z ) + c2 ( A A )( A A )
2sc( Z Z )( A A )]
(A.12)
Similarmente, reemplzando s2 c2 y s s
3
= 14 [c2 ( Z Z )( Z Z ) + s2 ( A A )( A A )
14 W3 W
+ 2sc( Z Z )( A A )]
(A.13)
157
3
14 B B 41 W3 W
= 14 F F 14 Z Z
(A.14)
De otro lado, teniendo en cuenta que

W1 iW2
2
1
W + iW2
=
2
2
= W1 = 2W1
2
2
= W2 = 2iW2
2
W+ =
W
W+ + W
W W+
(A.15)
W + W+
=
2
W W+
W2 =
2i
W1
(A.16)
1
2
14 W1 W
14 W2 W
14 [( W1 W1 )( W1 W1 )
+ ( W2 W2 )( W2 W2 )]
= 41 {( W1 W1 W1 W1 W1 W1 + W1 W1 )
+ (1 2)}
= 41 {( W1 W1 W1 W1 W1 W1 + W1 W1 )
+ (1 2)}
= 21 {( W1 W1 W1 W1 ) + ( W2 W2 W2 W2 )}
= 14 {[( W + W+ )( W + W+ )
( W + W+ )( W + W+ )]
+ i2 [( W W+ )( W W+ )
( W W+ )( W W+ )]}
= 41 {[( W + W+ )( W + W+ )
( W + W+ )( W + W+ )]
[( W W+ )( W W+ )
( W W+ )( W W+ )]}
(A.17)

APENDICE
158
Teniendo en cuenta que los terminos cruzados son los u

nicos que no se cancelaran, tenemos
1
2
41 W2 W
12 [ W W+ + W+ W W W+ W+ W ]
14 W1 W
= 12 [ W ( W+ W+ ) + W+ W W+ W ]
= 12 [ W ( W+ W+ ) + W+ W W+ W ]
= 12 [ W ( W+ W+ ) W ( W+ W+ )]
= 12 [( W W )( W+ W+ )
1
= (FW
) (FW ) .
2
(A.18)
Captulo 6
6. 1. Haciendo un analisis similar al de la seccion 3.6, tenemos de la ec. (6.10) que
Lf W B =iL D L + i eR D eR
= iL
igT3 W3 ig YL B
i2 gW+
ieL
igT3W3 ig YL B
i2 gW
+ ieR ( ig YR B )eR
= iL ieL
donde
( igT3 W3 ig YL B )L i2 geLW+
i2 gLW + ( igT3 W3 ig YL B )eL
!
L
eL
+ ieR ( ig YR B )eR
1
=iL ( igT3 W3 ig YL B )L + gL eL W+
2
1
+ geL L W + ieL ( igT3e W3 ig YL B )eL + ieR ( ig YR B )eR
2

1
=ieL eL + ieR eR + iL L + g L eL W+ + eL L W
2
+ iL (igT3 W ig YL B )L + ieL (igT3e W3 ig YLB )eL + ieR (ig YR B )eR

1
(A.19)
=ie e + iL L + g L eL W+ + h.c + Lf AZ
2
Lf AZ =L L (gT3 W3 + g YL B ) + eL eL (gT3e W3 + g YL B ) + g eR eR (YR B )

=g L L (T3 W3 + tan W YL B ) + eL eL (T3e W3 + tan W YL B ) + YR tan W eR eR B
=g {L L [T3 (cos W Z + sin W A ) + tan W YL ( sin W Z + cos W A )]
+ eL eL [T3e (cos W Z + sin W A ) + tan W YL ( sin W Z + cos W A )]
+YR tan W eR eR ( sin W Z + cos W A )}
g
[(T3 cos2 W YL sin2 W )L L
=
cos W
+ (T3e cos2 W YL sin2 W )eL eL + (0 cos W YR sin2 W eR eR ]Z
+ g sin W [(T3 + YL )L L + (T3e + YL )eL eL + (0 + YR )eR eR ]A .
(A.20)
159
Como T3f cos2 W Yf sin2 W = T3 (T3f + Yf ) sin2 W , entonces usando Qf = T3f + Yf , y
e = g sin W tenemos

X
e
f
2
Lf AZ =
(T3 Qf sin W )Z + eQf A f f
(A.21)
sin
cos
W
W
f =e , ,e
L
Como Q = 0, claramente los neutrinos no se acoplan a los fotones como se esperaba y ademas
se obtiene la corriente electromagnetica apropiada, ya que
X
(A.22)
eQf A f f = eQe e e A .
f =eL ,L ,eR
160
APENDICE
Bibliografa
[1] Modern Elementary Particle Physics, Gordon Kane, Perseus Publishing, 1993.
[2] An Introduction to Standard Model of Particle Physics. W.N Cottingham and D.A. Greenwood,
Cambridge University Press, 1988
[3] Quantum Field Theory, L.H Reyder, Cambridge University Press
[4] Quantum Field Theory, F. Mandl, G. Shaw, John Wiley & Sons, INC. 1993
[5] A. Pich, The Standard Model of Electroweak Interactions, hep-ph/0502010
[6] The Standard Model: Alchemy and Astrology, hep-ph/0609274
[7] Relativistic Quantum Mechanics and Field Theory, Franz Gross, John Wiley & Sons, INC.
1993
[8] http://es.wikipedia.org/wiki/Principio_de_m%C3%ADnima_acci%C3%B3n,
http://en.wikipedia.org/wiki/Action_%28physics%29
[9] http://www.eftaylor.com/software/ActionApplets/LeastAction.html
[10] http://es.wikipedia.org/wiki/Leyes_de_Newton#Segunda_Ley_de_Newton_o_Ley_de_la_Fuerza,
http://en.wikipedia.org/wiki/Newton%27s laws of motion
[11] Relativistic Quantum Mechanics and Field Theory, Franz Gross, Wiley Interscience, 1993,
Chapter 1.
[12] http://es.wikipedia.org/wiki/Teorema_de_la_divergencia
[13] http://en.wikipedia.org/wiki/D%27Alembertian
[14] A. S. Goldhaber and M. M.Nieto,

Terrestrial and extra-terrestrial limits on the photon mass,
Rev. Mod. Phys. 43 (1971) 277.
[15] W. M. Yao et al. [Particle Data Group], Review of particle physics, J. Phys. G 33, 1 (2006).
[16] http://en.wikipedia.org/wiki/Pauli_matrices
[17] P. W. Higgs, BROKEN SYMMETRIES AND THE MASSES OF GAUGE BOSONS, Phys.
Rev. Lett. 13 (1964) 508. P. W. Higgs, Spontaneous Symmetry Breakdown Without Massless
Bosons, Phys. Rev. 145 (1966) 1156.
161
162
BIBLIOGRAFIA
[18] A. Pich, The standard model of electroweak interactions, arXiv:hep-ph/0502010, Published

in *Sant Feliu de Guixols 2004, European School of High-Energy Physics* 1-48.
[19] http://en.wikipedia.org/wiki/Natural_units
[20] http://en.wikipedia.org/wiki/Plank_units
[21] I. J. R. Aitchison and A. J. G. Hey, Gauge theories in particle physics: A practical introduction.
Vol. 1: From relativistic quantum mechanics to QED, Bristol, UK: IOP (2003) 406 p
[22] http://groups.google.com/group/sci.physics.research/msg/e6cc1b288df8bbb2
[23] W. M. Yao et al. [Particle Data Group], Review of particle physics, J. Phys. G 33 (2006) 1.
[24] L. H. Ryder, Quantum Field Theory, Cambridge, Uk: Univ. Pr. ( 1985) 443p
[25] http://en.wikipedia.org/wiki/Gell-MannNishijima_formula
[26] http://en.wikipedia.org/wiki/Spin_(physics)
[27] http://en.wikipedia.org/wiki/LEP
[28] http://en.wikipedia.org/wiki/Muon
[29] http://blogs.uslhc.us/?p=481

Full Notes

Cargado por

Información del documento

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

Full Notes

Cargado por

Copyright:

Formatos disponibles

Indice general

3. Principio Gauge Local

A. Soluciones a los problemas

Ejemplos concretos de teoras cuanticas de campos son:

Principio de Mnima Acci

Reemplazando L = 21 mx 2 V (x) = T V , obtenemos

y usando la transformada de Lagrange

Iterando el proceso se puede encontrar numericamente (o a mano) la trayectoria que minimiza la

L(qi (t), qi (t), t) dq dt.

Para sistemas continuos es conveniente usar la densidad Lagrangiana. Abordaremos a continuacion

Considere una cuerda de longitud L formando un crculo de radio R. Es conveniente considerar un

Figura 1.1: Ejemplo de calculo de la Accion para una trayectoria arbitraria

Figura 1.2: Trayectoria que minimiza la Accion

Figura 1.3: Modelo Cuerda

y constante elastica k. Los modos vibracionales de la cuerda a lo largo de la circunferencia se obtienen

Si es la densidad de la cuerda, T la tension y v la velocidad, entonces

(1.11) En el lmite l 0 y N , tenemos

Si en la ec. (1.10), tomamos como coordenadas generalizadas las N i y i , entonces, podemos

Para el segundo termino de la ec. (1.21) notese que

Si zi es el punto medio del intervalo entre zi1 y zi , entonces en el lmite de l 0,

Usando las ecs. (1.25) (1.11), tenemos

que corresponde a la ecuacion de onda en una dimension. En tres dimensiones obtendramos:

podemos expresar las ecuaciones de Euler-Lagrange que satisface L(/x ), como

Principio de Mnima Acci

De otro lado, con x = x x, la expansion de Taylor para f (x + x) es

Entonces, de imponer que S = 0, tenemos

Donde hemos aplicado el Teorema de Gauss

generalizado a cuatro dimensiones. Como la variacion de es cero sobre la hipersuperficie resulta

Teorema de Noether para simetras internas

Para un campo complejo la ec. (1.35) se generaliza a

Usando el mismo procedimiento, se obtiene

Integrando con respecto al volumen

Este resultado es conocido como Teorema de Noether. Este

Teorema de Noether para simetras externas

donde, por simplicidad, es de nuevo un campo real. Entonces,

Para una traslacion, (x) = 0, ver figura 1.4. De modo que

y la transformacion del campo como consecuencia de la traslacion es

Si a es constante (un analisis mas general es hecho en [3])

Figura 1.4: Traslacion de funcion y coordenadas en una dimension: (x) = (x )

El tensor T proviene de asumir la homogeneidad del espacio y el tiempo y es llamado el tensor de

Comparando con la expresion correspondiente en la formulacion Lagrangiana de la Mecanica Clasica,

cuya carga conservada corresponde a la energa

Generalizando a un campo complejo

Haciendo ~ = 1, el Lagrangiano que da lugar a la ecuacion de Schrodinger es

El Lagrangiano en ec (1.79), y por consiguiente la Accion, es invariante bajo una transformacion

Entonces, normalizando apropiadamente la corriente escogiendo = 1, tenemos

De acuerdo a la ec. (1.89), la cantidad conservada corresponde a la probabilidad de la funcion de

De acuerdo a la ec. (1.91), la u

Que es un resultado bien conocido de la mecanica cuantica.

Para el Lagrangiano en la ec. (1.18), la ecuacion de continuidad para la energa es

donde H = T00 es la densidad de energa y Pz = T30 es el flujo de energa en la direccion z a lo largo

Entonces el Hamiltoniano para la cuerda unidimensional se puede obtener de la ec. (1.71)

De acuerdo al Teorema de Noether,

La cantidad conservada corresponde en este caso al momentum en la direccion z

Igualando cada coeficiente an (o an )

La ecuacion (1.117) queda

y las funciones n satisfacen las siguientes condiciones de normalizacion

dz n (z, t)m (z, t) = n,m e2in t .

En tal caso de la ec. (1.111), tenemos (ver problema 2)

En unidades naturales donde ~ = 1, E = ~ = , y la frecuencia tiene unidades de energa.

Entonces los correspondientes operadores para y deben satisfacer (~ = 1)

puede expandirse en terminos de los operadores a

El Hamiltoniano es ahora un operador dado por

A los estados |mi se les llama estados de fonones. m corresponde al n