Dirac PDF

Indice general
Introducci
on 1
1. Teora Clasica de Campos 7

1.1. Principio de Mnima Accion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. La cuerda clasica unidimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Principio de Mnima Accion para L . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.1. Ecuaciones de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.2. Teorema de Noether para simetras internas . . . . . . . . . . . . . . . . . . . 15
1.3.3. Teorema de Noether para simetras externas . . . . . . . . . . . . . . . . . . . 16
1.4. Aplicacion a Mecanica Cuantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5. Aplicacion a la cuerda unidimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2. Campos vectoriales 29
2.1. Unidades Naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2. Notacion relativista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2.1. Ejemplos de cuadrivectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2.2. Ecuaciones covariantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3. Ecuaciones de Maxwell en notacion covariante . . . . . . . . . . . . . . . . . . . . . . 40
2.3.1. Lagrangiano Electromagnetico . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.3.2. Energa del campo electromagnetico . . . . . . . . . . . . . . . . . . . . . . . . 47
2.3.3. Fijacion del gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.4. Ecuaciones de Proca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3. Principio Gauge Local 53

3.1. Ecuacion de klein-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2. Campos escalares complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.3. Invarianza gauge local abeliana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.3.1. Aplicacion a barrera de potencial . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.4. Aplicacion a la mecanica cuantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.5. Invarianza gauge local no abeliana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.6. Invarianza gauge local para un grupo semisimple . . . . . . . . . . . . . . . . . . . . . 83
3.7. como un triplete de SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.8. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
i
ii INDICE GENERAL
4. Ruptura espont anea de simetra 97

4.1. Masa para el campo escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.2. Boson de Goldstone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.2.1. Coordenadas cartesianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.2.2. Coordenadas polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.3. Masa para el boson gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.4. Mecanismo de Higgs en un caso no Abeliano . . . . . . . . . . . . . . . . . . . . . . . 103
5. Fermiones 109
5.1. Ecuacion de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.1.1. Fermiones de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.1.2. Corriente conservada y Lagrangiano de Dirac . . . . . . . . . . . . . . . . . . 110
5.1.3. Tensor momento-energa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.1.4. Ecuaciones de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.1.5. Propiedades de las matrices de Dirac . . . . . . . . . . . . . . . . . . . . . . . 114
5.2. Electrodinamica Cuantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
5.3. Cromodinamica Cuantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
5.3.1. Ecuaciones de EulerLagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
5.4. Soluciones a la ecuacion de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
5.4.1. Lagrangiano de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
5.4.2. Ecuaciones de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.5. Espn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.6. Solucion de partcula libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
5.7. Lmite no relativista en presencia de un campo electromagnetico . . . . . . . . . . . . 130
5.8. Fermiones quirales de cuatro componentes . . . . . . . . . . . . . . . . . . . . . . . . 132
5.9. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6. Modelo Est andar 135

6.1. Interaccion Electrodebil para leptones . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
6.1.1. Dispersion electronneutrino . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
6.2. Modelo Estandar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
6.2.1. Primera generacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
6.2.2. Dinamica de sabor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
6.3. Fenomenologa Electrodebil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
6.3.1. Decaimientos debiles mediados por corrientes cargadas . . . . . . . . . . . . . 151
6.4. Calculo de procesos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
6.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 cuantitati-
vamente este nuevo exito de las ciencias moderna. Debido a esto, parece esencial tener una presenta-
cion del ME que pueda ser usada a nivel pregrado. En el presente trabajo pretendemos desarrollar un
nucleo 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 renor-
malizables), 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 experimental-
mente, 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
2 Introduccion
naturaleza.
Pero hasta hace poco tiempo no haba un sitio donde las personas con los conocimientos sufi-
cientes 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 electro-
magnetismo. 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 concep-
tos 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 3
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 fenome-
nologicas 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
4 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 densi-
dad 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 siste-
mas 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 5
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 inter-
acciones 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
6 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
S [qi , qi ] = L(qi (t), qi (t), t)dt (1.1)
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:

d L 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 (1.3)
V (x) d2 x
=m 2
x dt
dx
=m
dt

d 1 2
= mx
dt x 2
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
8 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
L
p= = mx,
(1.4)
x
y usando la transformada de Lagrange
L 1
H = px L = x L = mx 2 + V = T + V (1.5)
x 2
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
S= (T V )dt (T V )i t
t1 i
2
" 2 #
X 1 xi xi1
m mgxi t
i=1
2 ti ti1
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 t2
S [qi , qi ] = L(qi (t), qi (t), t) dq dt. (1.8)
t1
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 9
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
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
De acuerdo a la figura 1.3, si i = (z
i , t) es el desplazamiento de la iesima masa desde su
posicion de equilibrio, entonces el Lagrangiano del sistema de N particulas y resortes es:
N 1 2 N 1
1 X i 1 X 2
L= m k i+1 i , (1.9)
2 i=0 t 2 i=0
1 X 2 1 X
N 1 N 1
2
= m i k i+1 i . (1.10)
2 i=0 2 i=0
Si es la densidad de la cuerda, T la tension y v la velocidad, entonces

m
=
l
T = kl (1.11)
T
v2 = .

(1.11) En el lmite l 0 y N , tenemos
i = (z
i , t) (z,
t), (1.12)
que representa la funcion de campo del desplazamiento de una masa infinitesimal de su posicion de
equilibrio. Entonces
2
1 X m 2 1 X
N 1 N 1
i+1 i
L= l i (kl)l .
2 i=0 l 2 i=0 l
2
1 X 2
N 1 N 1
1X i+1 i
= i l T l. (1.13)
2 i=0 2 i=0 l
P R
En el lmite continuo ( ) l ( ) dz, entonces
Z " 2 2 # Z L
L
1
L= T dz = Ldz, (1.14)
0 2 t z 0
con " 2 2 #
1
L= T , (1.15)
2 t z
y Z
S= L dtdz. (1.16)
Definiendo
=
T , (1.17)

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

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

L 2
= 2 (1.20)
z (/z) z
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 L d 2 i
= mi = m 2
dt i dt t

2 i
= Tl
T t2

1 2
l T (1.22)
v 2 t2

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

i+1 i i i1
=2l .
l l
DE CAMPOS
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 i1 , t)]/l

i , t) (z
X
2 2 [(zi+1 , t) (z
i+1 i =2l
i i=0 l l
zi , t)/z
( zi+1 , t)/z (
2l2
l l
2

=2l2 2
z
2l2 2
. (1.25)
T z 2
Usando las ecs. (1.25) (1.11), tenemos
" N 1
#
L 1 X 2
= k i+1 i
i 2 i i=0
2 2
1 2l
k
2 T z 2
2
l T 2 (1.26)
z
L
= l T . (1.27)
z (/z)
De las ecuaciones (1.22) y (1.26), obtenemos la ecuacion de movimiento para el campo (z, t):
1 2 2
2 = 0, (1.28)
v 2 t2 z
que corresponde a la ecuacion de onda en una dimension. En tres dimensiones obtendramos:
1 2
2 2
2 = 0. (1.29)
v t
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. (1.31)
t (/t) x (/x) y (/y) z (/z)
Definiendo
x = (x0 , xi ) = (x0 , x1 , x2 , x3 ) = (t, x, y, z) = 0, 1, 2, 3, i = 1, 2, 3 , (1.32)

1.3. PRINCIPIO DE MINIMA ACCION
PARA L 13
podemos expresar las ecuaciones de Euler-Lagrange que satisface L(/x ), como

X L

(/x )
=0

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 ecua-
cion 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. on para L
Principio de Mnima Acci
1.3.1. Ecuaciones de Euler-Lagrange
Definamos

= , (1.34)
x
En tres dimensiones, la accion de la ec. (1.16), queda
Z
S[, ] = d4 xL(, ) (1.35)
R
donde d4 x = dt dx dy dz. Considere primero una variacion solo de los campos, tal que (x = x )
(x) = (x) (x) (1.36)
De otro lado, con x = x x, la expansion de Taylor para f (x + x) es
f
f (x + x) = f (x) + x + (1.37)
x
Para L, tenemos de la ec. (1.36)
L(, ) = L( + , + ())
L L
=L+ + () (1.38)
( )
Entonces, de imponer que S = 0, tenemos
Z Z
4
S = S S = d x L( , ) d4 x L(, )
Z R R
L L
= d4 x + ()
R ( )
Z Z
4 L L 4 L
= d x + d x
R ( ) R ( )
Z Z
4 L L L
S = d x + d = 0. (1.39)
R ( ) ( )
DE CAMPOS
Donde hemos aplicado el Teorema de Gauss

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

Z
4 L L
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 4
S = d xL = d xL+ d4 x
R ZR ZR
= d x L + d
4
R
=S , (1.44)
para una hipersuperficie suficientemente grande. De modo que dos densidades lagrangianas que di-
fieran 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
L= 2
, (1.45)
2 v t z
las ecuaciones de Euler-Lagrange (1.42)

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

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

1
=0
v 2 t t z z
1 2 2
2 =0 , (1.46)
v 2 t2 z
que corresponde a la ec. (1.28).
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 2
2 = 0 , (1.47)
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)
R
Usando el mismo procedimiento, se obtiene

Z Z
4 L L 4 L L
S = d x + dx

R ( ) ( )
Z R
L L
+ d4 x + = 0. (1.50)
R ( ) ( )
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 = + (1.53)
( ) ( )
Entonces J satisface la ecuacion de continuidad:
J = 0 (1.54)
J 0
+J =0 (1.55)
t
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, (1.56)
V t S
DE CAMPOS
Escogiendo una superficie suficientemente grande que abarque toda la fuente de densidad = J 0 , de
la corriente J, el segundo integrando es cero y
Z
d
d3 x = 0. (1.57)
dt V
Este resultado es conocido como Teorema de Noether. Este establece que para toda transforma-
cion 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) (1.60)
(x)
(x) + a (1.61)
x

= [(x) + (x)] + [(x) + (x)]a (1.62)
x
(x)
(x) + (x) + a , (1.63)
x
donde, por simplicidad, es de nuevo un campo real. Entonces,
(x)
(x) (x ) (x) = (x) + a . (1.64)
x
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)
ZR R Z
4
= d x L( + , + (), x + a) d4 x L
R R
Z Z
4 L L
d x L+ + () + ( L)a d4 x L
R ( ) R
Z
4 L L
= dx + () + ( L)a
R ( )
Z
4 L L
= dx + () + ( L)a
R ( ) ( )
Z
4 L
= d x + ( L)a
R ( )
Z
4 L
= d x ( ) + L a

( )
ZR
= d4 x ( T ) a = 0. (1.68)
R
Y por consiguiente
T = 0, (1.69)
donde
L
T = ( ) L (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
H = T00 = L (1.71)

(x)
= (x) L. (1.72)
t
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)
L
(x) = . (1.73)
((x)/t)
DE CAMPOS
El teorema de Noether en este caso establece que la invarianza de la Accion bajo traslaciones tem-
porales 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. (1.75)
V V
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
P= d 3 x T0 . (1.77)
V
Generalizando a un campo complejo

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

1 i
L(, , , ) = + V (1.79)
2m 2 t t
1 i
= i i ( 0 0 ) + V .
2m 2
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 =

= 0
+ i
. (1.80)
( ) (0 ) (i )
Como
L i L i
=
=
(0 ) 2 (0 ) 2
L 1 L 1
= i = i (1.81)
(i ) 2m (i ) 2m
L i L i
= 0 + V = 0 + V .
2 2
A MECANICA
1.4. APLICACION
CUANTICA 19
Entonces, reemplazando la ec. (1.81) en la ec. (1.80), tenemos

L L i 1 i
0 = = 0 + i i 0 + V
( ) 2 2m 2
i 1 i
= 0 + i i + 0 V . (1.82)
2 2m 2
Que puede escribirse como
1 2
i = + V . (1.83)
t 2m
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 co-
rriente conservada se obtine de la ec. (1.53). Para los campos y , tenemos
= = (ei 1) i (1.85)
i. (1.86)
Usando ademas la ec. (1.81) en la definicion de J 0 dada por la ec. (1.53), tenemos

0 L L
J = +
(0 ) (0 )
i i
= (i) + (i )
2 2

= , (1.87)
y

i L L
J = +
(i ) (i )
1 1
= i (i) + (i ) i
2m 2m
i
= (i i ) . (1.88)
2m
Entonces, normalizando apropiadamente la corriente escogiendo = 1, tenemos
J 0 = (1.89)
i
J= ( ) . (1.90)
2m
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
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
Ti0 = (i ) + (i )
(0 ) (0 )
i i
Ti0 = (i ) + (i ) (1.93)
2 2
Entonces, definiendo
i
T0 = ( ) (1.94)
2
Ademas
i
T0 = (( ) )
2
i
= i + ( ) . (1.95)
2
Integrando en el volumen
Z Z Z
0 3 3i
T d x = i d x d3 x (1.96)
V V 2 V
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
hb
pi = pbd3 x (1.97)
V
De modo que hb
pi son las cargas conservadas asociadas al valor esperado el operador de momentum
b = i .
p (1.98)
De otro lado
L L
T00 = 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
1
H T00 = + V
2m
1 1 2
= ( ) + V . (1.100)
2m 2m
A LA CUERDA UNIDIMENSIONAL
1.5. APLICACION 21
Integrando sobre el volumen y usando la ec. (1.97)

Z Z Z
3 1 1 2
Hd x = ( ) + + V d3 x
V 2m V 2m
Z ZV
1 1 2
= ( ) + + V d3 x
2m V 2m
Z V
i 1 2
= hbpi + + V d3 x
2m V 2m
Z
1
= + V d3 x .
2
(1.101)
V 2m
Entonces
Z Z
3 1 2
H Hd x = + V d3 x
V V 2m
Z
= b = hHi.
d3 x H b (1.102)
V
Que es un resultado bien conocido de la mecanica cuantica.

Como
b = 1 p2 + Vb ,
H (1.103)
2m
podemos escribir la ec. (1.83) como
b .
i = H (1.104)
t
Podemos identificar entonces los operadores de energa y momentum.
b =i,
H = i .
p (1.105)
t
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)
V
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 (1.108)
t z
DE CAMPOS
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. (1.109)
t z
Entonces el Hamiltoniano para la cuerda unidimensional se puede obtener de la ec. (1.71)
L
H(/t, /z) = L
(/t) t
2 " 2 #
2
1 1 1
= 2
v t 2 v 2 t z
" #
2 2
1 1
= + , (1.110)
2 v 2 t z
y Z L
H= H dz . (1.111)
0
De acuerdo al Teorema de Noether,
H
= 0, (1.112)
t
que establece la conservacion de la energa. Ademas
Z L
Pz = T30 dz . (1.113)
0
La componente z del vector de flujo de energa (vector de Poynting) del campo esta dado por
T03 . De la ecuacion para T (1.70)
L
Pz = (/t)
(/z)

= . (1.114)
z t
De otro lado
L
T30 = (/z)
(/t)
1
= 2 . (1.115)
v t z
La cantidad conservada corresponde en este caso al momentum en la direccion z
Z
Pz = d3 x T30 . (1.116)
V
Para encontrar la forma explicita del Hamiltoniano y de Pz , proponemos como solucion general
a la ecuacion de onda (1.28)
X 1/2
v2
(z, t) = an ei(kn zn t) + an ei(kn zn t) , (1.117)
n=
2n L
1.5. APLICACION 23
Para que se satisfagan las condiciones periodicas (0, t) = (L, t), donde L es la longitud de la cuerda
X 1/2 2 1/2
v2 in t in t
v
an e + an e = an ei(kn Ln t) + an ei(kn Ln t) , (1.118)
n=
2n L 2n L
Igualando cada coeficiente an (o an )
ein t = ei(kn Ln t)
eikn L = 1 (1.119)
y
2n
kn = , n = 0, 1, 2, . . . . (1.120)
L
De la ecuacion de onda,
1 2 2
2 =0
v 2 t2 z ( )
X 2 1/2
1 2 v
2 t2
an ei(kn zn t) + an ei(kn zn t)
n=
v 2 n L

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

( 1/2 )
1 2 v2
v 2 t2 2n L
( 1/2 )
2 v2 i(kn zn t) i(kn zn t)

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

an e an e
v 2 t

ikn an ei(kn znt) an ei(kn zn t) = 0 , (1.123)
z
n2
2
v
+ kn2 an ei(kn zn t) + an ei(kn zn t) = 0

n2
2 + kn [an n (z, t) + an n (z, t)] = 0 ,
2
(1.124)
v
donde
1
n (z, t) = ei(kn zn t) . (1.125)
L
DE CAMPOS
Entonces, se debe satisfacer que
n2 = v 2 kn2
2 2
2 2 4 n
n = v . (1.126)
L2
kn y n satisfacen
kn = kn , n = n . (1.127)
La ecuacion (1.117) queda
X 2 1/2
v
(z, t) = [an n (z, t) + an n (z, t)] , (1.128)
n=
2 n
y las funciones n satisfacen las siguientes condiciones de normalizacion

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

Z L Z
1 1 L
H= 2 dz + dz
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 numero de onda representa el vector de flujo de energa.

En una teora cuantica de campos, el campo pasa a ser un operador . Esto puede hacerse de
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
1
(z, t) = . (1.133)
v 2 t
Entonces los correspondientes operadores para y deben satisfacer (~ = 1)
t),
[(z, (z , t)] = i(z z)
t), (z
[(z, , t)] = 0 (1.134)

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

En este caso , y a
X 2
1/2
v
t) =
(z, n ei(kn zn t) + a
a n ei(kn zn t)
n=
2n L

X
= n (1.135)
n=
y y
satisfacen las relaciones de conmutacion (1.134) si
[ n ] = 1
an , a
[
an , a
n ] = 0
an , a
[ n ] = 0. (1.136)
El Hamiltoniano es ahora un operador dado por

X
b=
H bn ,
wn N (1.137)
n=
Con el operador de n bn , dado por

umero N
bn = a
N n an . (1.138)
bn es Hermtico, cada N
Ya que N bn este tiene un conjunto completo de autoestados ortonormales [7]
Nbn |mi = m|mi

hm |mi = m m
X
1= |mihm|. (1.139)
m
Utilizando las relaciones de conmutacion de Nbn con an y a

n se puede demostrar que

n |mi = m + 1 |m + 1i
a

n |mi = m |m 1i.
a (1.140)
y por consiguiente
bn |mi = m|mi
N (1.141)
Esto significa que todos los estados se pueden generar desde un estado base |0i
m
n
a
|mi = |0i. (1.142)
m!
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
Para dos operadores de n

umero de frecuencias diferentes n1 y n2 tenemos
bn1 |mn1 i = mn1 |mn1 i
N bn2 |mn2 i = mn2 |mn1 i
N
bn1 |mn2 i = 0
N bn2 |mn1 i = 0.
N (1.143)
De este modo
X
b n1 i =
H|m bn |mn1 i = n1 mn1 |mn1 i.
n N (1.144)
n=
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
I
X
b n1 , mn2 , . . . , mn i =
H|m ni mni |mn1 , mn2 , . . . , mni i, (1.146)
I
i=1
de modo que la energa de un estado de Fock es

I
X
b n1 , mn2 , . . . , mn i =
E = hmn1 , mn2 , . . . , mnI |H|m ni mni . (1.147)
I
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 numero 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
hmn1 |Pz |mn1 i = kn1 mn1 (1.149)
La interpretacion del numero 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)
1.6. PROBLEMAS 27
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) = m2 2 . (1.152)
2 t z
entonces, la ec. (1.135) es solucion a la ecuacion resultante de aplicar las ecuaciones de Euler-
Lagrange:
2 2
2
2 + m2 =0
2t z
2
2
+ m =0, (1.153)
t2 z 2
si
2 = k 2 + m2 . (1.154)
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 , (1.155)
2 t
que dan lugar a la ecuacion de Klein-Gordon
2
2 2
+ m = 0. (1.156)
t2
1.6. 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
T0i = 0 + 0
(i ) (i )
1
= (i 0 + 0 i ) (1.157)
2m
De modo que Ti0 6= T0i .
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 fur 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
1
GN = 1, ~ = 1, c = 1, K= = 1, k = 1, (2.1)
40
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
(2.3)
Example 2.1.0.1
Calcule la energa cinetica de un mosquito de 2 mg, moviendos a 1.6 Km/h
29
30 CAPITULO 2. CAMPOS VECTORIALES
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
ke2 e2
V = =
l 40 (~c) GeV1
e2
= GeV . (2.6)
40 ~c
Como V tiene unidades de energa, de la ec. (2.6) resulta entonces la constante adimensional
conocida como la constante de estructura fina
e2
= , (2.7)
40 ~c
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
e2
e= 4, or = . (2.9)
4
2.1. UNIDADES NATURALES 31
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
GN = 6.674 28(67) 1011 m3 kg1 s2 = 6.70881(65) 1039 ~c(GeV/c2 )2 (2.12)
entonces1 r
~c
Mp = 1.2209 1019 GeV/c2 = 2.1765 108 kg (2.13)
GN
y
~c
GN = . (2.14)
Mp2
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 r r
~ ~ GN ~ GN
Lp = = =
c Mp c ~c c3
~
8.1907 1020 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
Mp2
Vgravity = GN = Mp c2 (2.16)
Lp
1
o de una masa bien medida, por ejemplo mp = 0.938 272 013(23) GeV/c2 = 1.672 621 637(83)27 kg.
2
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].
p
Mp p ~c/GN 2.1765 108 kg
Lp p~ GN /c
3 1.6163 1035 m
tP p ~ GN /c
5 5.3912 1044 s
32
Tp ~c5 /(G 2
N k ) 1.4168 1018K
Qp e/ 1.8756 10 C
Tabla 2.2: Unidades de Planck GN = ~ = c = 0 = k = 1
Finalmente, el tiempo de Planck es

r
Lp ~ GN 20 ~
tP = 8.1907 10 5.3912 1044 s , (2.17)
c c5 c2 GeV
y la temperatura de Planck es
s
Mp c2 ~c5
Tp = = 1.4168 1032 K . (2.18)
k GN k 2
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
VCoulomb = =Mp c2
40 Lp
1 Q2p
=Mp c2
40 ~/(c Mp )
Q2p
=1
40 ~c
e
Qp = 1.8756 1018 C. (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
m2p c GN 3 2 m2p
Vgravity = GN = GN m3p = mp c = 2 mp c2 1038 mp c2 (2.21)
Lproton ~ ~c Mp
En este caso la energa potencial gravitacional es mucho menor que la escala de energa correspon-
diente
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)
Vgravity GN m2X
=
VCoulomb (1/40 )e2
m2X
2
=(40 ~ c/e ) 2
Mp
2
1 mX
=
Mp
(
1036 mX = mproton
(2.22)
102 mX = Mp
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)
1 1 2 2 1
K= 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
24 1 2 (~c)3 ~2
(1.519 10 GeV )
c2
35 2
2.84 10 C ~c
2
35 2 1.602 1019
2.84 10 C ~c
e2
7.296 103
= ~c
e2
Definimos la cantidad adimensional , como
e2 1
7.296 103
40 ~c 137
2.2. 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 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)
Finalmente la metrica usada se define como

1 0 0 0
0 1 0 0
{g } =
0 0 1 0
(2.25)
0 0 0 1
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)
El inverso de la metrica es
{g } {g }1 = {g } (2.27)
tal que
g g = and a = g a (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 (2.30)
da lugar a

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

t+vx
t t cosh sinh 0 0 t
1v2
x x+vt
{x } = x = 1v2 = sinh cosh 0 0 x = { } {x } ,

(2.33)
y y y 0 0 1 0 y

z z z 0 0 0 1 z
donde
1
cosh = sinh = v, and = . (2.34)
1 v2
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
T g = sinh cosh 0 0
0 0 1 0 0 0 1 0 0 0 1 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 0 1 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) (2.38)

p =(p0 , p1 , p2 , p3 ) = (E, px , py , pz ) = (E, p) (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 (2.42)
De [29]
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 , ) (2.45)

= = , , , = (0 , ) (2.46)
x t x y z
Por consiguiente:

= (2.47)
x
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 = +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
= 0 0 2 = 2 2 2 2 = (2.50)
t x y z
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
p = (
p0 , p b p
) = (H, ) (2.51)
b yp
con H, dados en la ec. (1.105). Entonces

p = i = i( 0 , i ) = i( , ) (2.52)
t
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 + A0 A0 = A0 (2.56)
t
En notacion de cuadrivectores

0
A A = A , A +
t

0 i
= A , A + i
t

= A0 0 , Ai i

= A0 , Ai 0 , i

A A =A . (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
1
E =mc2 =p
1 2
r
v m2 c4
= = 1
c E2
mp = 938.272013(23)MeV/c2 , and E = 7 TeV
v = 0.999999991 c
La longitud de un objeto esta definida tal que t = 0, de modo que t = vx/c2 , entonces
p
x = (x vt) = (x v 2 x/c2 ) = 1 v 2 /c2 x. (2.58)
Similarmente para la dilatacion temporal x = 0 y
t = t . (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
2
GF m5
= I (x) , (2.60)
2 96 3
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
1
L = = 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 (2.64)
1 v2
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 39
2.2.2. Ecuaciones covariantes

Con el cuadrivector (2.52) podemos construir la siguiente ecuacion
p p = m2
i i = m2
= m2
2
2 2
+ m = 0. (2.66)
t2
Que corresponde a la ecuacion de Klein-Gordon (1.156). Una expresion escrita en terminos de pro-
ductos 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.67)
2 2
El Lagrangiano mas general posible para el campo es
1 1 1
L = m2 2 + 4 + a + b3 . (2.68)
2 2 4
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
[S] d x m = E 4 E 2 []2 [] = E 1
4 2 2
(2.69)
Diremos entonces que la dimension de es 1 (en unidades de energa). Similarmente

Z
[S] d x = E 4 [ ]2 E 2 [ ] = E 1
4
(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
(
(E 2 m2 ) = 0
2 P (2.71)
2
( + m ) = 0, (2.72)
donde
2
= 2
2 . (2.73)
t
Es el DAlembartiano [13]. Ec. (2.71) corresponde a la forma de operadores de la ecuacion de energa-

momentum relativista. La ec. (2.72) se conoce como la ecuacion de Klein-Gordon, con Lagrangiano
1 1
L = m2 2 , (2.74)
2 2
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:
B
B = 0, E+ =0 (2.76)
t
Ecuaciones inhomogeneas:
E
E = , B = J. (2.77)
t
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. (2.80)
t
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 senales, 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 estable-
ciendo 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 reescri-
birlas 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
E = B = A. (2.82)
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
E i = ( + 0)
xi x
0
A Ai
=( )
xi x0
= i A0 0 Ai
= A A , = i, =0 (2.83)
E i = F i0 (2.84)
donde hemos definido el Tensor de intensidad electromagnetica como:
F = A A . (2.85)
A A se le denomina campo vectorial. Similarmente
Aj
B k = ijk
xi
Aj
lmk B k = lmk ijk
xi
Aj
= (li mj lj mi )
xi
Am Al
=
xl xm
= A l Am
m l
= A A , = m, = l. (2.86)
lmk B k = F ml (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 =
A A A A

2 0 0 2 2 1 1 2
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
E 1
0 213 B 312 B 2
3
=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
=E
. (2.88)
2
B 3
0 B 1
E 3 B 2 B 1 0
La ec. (2.85) satisface la identidad,
F + F + F = 0 (2.89)
Definiendo el tensor dual como

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
E, B A F
Homogeneas Ec. (2.76) (2.82) (2.85) o (2.89) o (2.90)
Inhomogeneas (2.77) (2.93)
Tabla 2.3: Ecuaciones de Maxwell
mogenea (2.77) puede escribirse como
E i
= J0
xi
i0
i
F = J0
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
B j E k
ijk i
= Jk
x t
(ikj B j ) E k
= Jk
xi t
i F ki 0 F k0 = J k
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 (2.93)
(
( A0 0 Ai ) = J 0 para = 0
=
( Ai i A ) = J i 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.94)
2.3.1. Lagrangiano Electromagn

etico
La ec. (2.82) es invariante bajo las siguientes transformaciones

A A = A + = (2.95)
t
Ya que
A
E E = + = E (2.96)
t t t
B B = A + = B (2.97)
| {z }
=0
Esto implica que diferentes observadores en diferentes puntos del espacio, usando diferentes calibracio-
nes 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
Inverso
(x) = (x) tal que U 1 = ei(x)
Note que si
i
A A = A ( U)U 1 (2.100)
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.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
Por consiguiente, si (x) = (1/e)(x), entonces la ec. (2.98) es la version infinitesimal de la transfor-
macion 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 transfor-
macion 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 continui-
dad
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.
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 (2.108)
( A )
Usando la ec. (2.108), tenemos

L L
=0
( A ) A

1 A
(F F ) + J =0
4 ( A ) A
F + J

=0
F = 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
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 lagran-
gianos, 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 para = 0
F = g g F (2.110)
Fij = Fi = gik gjl F kl = F ij para = i
De la ec. (1.70), se tiene
L
T = ( A ) L
( A )
= F ( A ) L (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
=0 =i
1 z 0}| { 1 z i}| {
= F (0 A ) + F F0 + F Fi +J A
0
4 4
1 0 1
0 0
= F A0 F F0 + F F0 + F i Fi + J A . (2.112)
4 4
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.113)
2 4
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
0i 1 i0 i0 1 ji ji
= i (A0 F ) + F F + F F J A, suma tambien sobre i, j
2 4
1 i i 1
= E E + ijk B ijl B + i (A0 E i ) J A,
k l
suma tambien sobre i, j
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.115)
2 2
Entonces, en ausencia de corrientes
1 1
H = E2 + B2 + (A0 E) . (2.116)
2 2
Similarmente la densidad Lagrangiano puede escribirse como
1 1 2
L = F F = E B2 (2.117)
4 2
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.118)
2 V
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
Pointing:
L
Ti0 = i A
(0 A )
= F 0 i A
= 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
Z Z Z
i 3
P = d x Ti0 = 3 i
d x (E B) + d3 x (Ai E)
V
ZV V
P= d3 x (E B) . (2.120)
V
2.3.3. 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 electromagneti-
cas [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)
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 ]
4 | {z }

1
= [2 A A (2A A )]
4
1
= A A (2.124)
2
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.125)
2
2.4. 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 . (2.126)
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.127)
2.4. ECUACIONES DE PROCA 51
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
L = Lfree + Lint ,
donde,
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 au-
tomaticamente 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.
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 (2.132)
4 2
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 [?]
er/
V (r) = A , (3.1)
r
con
1/(7 1012 cm1 ) = 1.43 1013 cm = 1.43 1015 m . (3.2)
Consideremos el principio de incertidumbre

~
x p
2
~
t E . (3.3)
2
La segunda relacion de incertidumbre aplicada a la teora de Yukawa [21], brinda un nuevo entendi-
miento 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
E
p = ~ k ~ = (3.4)
c c
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
54 CAPITULO 3. PRINCIPIO GAUGE LOCAL
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
Natural Units . (3.5)
2m
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 + (3.6)
2 2
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
(x) = d3 k eikx (k). (3.12)
(2)3/2
La transformada inversa es Z
1
(k) = d3 x eikx (x). (3.13)
(2)3/2
Ademas tenemos la propiedad Z
1
(x) = 3
d3 k eikx . (3.14)
(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
Entonces
g 1
(k) = . (3.15)
(2) k + m2
3/2 2
Reemplazando en la ec. (3.12) y definiendo r |x|

Z
1 3 ikx g 1
(x) = d ke
(2)3/2 (2)3/2 k2 + m2
Z
g 3 eikx
= d k
(2)3 k2 + m2
Z Z
g k2
= 2 d|k| 2 ei|k|r cos sen d
(2)3 0 k + m 2
0
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
g k2
(x) = 2
d|k| 2 2
ei|k|ru du. (3.16)
(2) 0 k + m 1
Ya que
Z 1
ei|k|r ei|k|r
ei|k|ru du =
1 i|k|r
Z
g ei|k|r ei|k|r
(x) = d|k| |k|
i(2)2 r 0 k2 + m2
Z Z
g ei|k|r ei|k|r
= d|k| |k| 2 d|k| |k| 2
i(2)2 r 0 k + m2 0 k + m2

g Z ei|k|r
Z
ei|k|r

= d|k| |k| d|k| |k|
i(2)2 r 0 k2 + m2 k2 + m2
|0 {z }
|k||k|
Z i|k|r
g e
= d|k| |k|
i(2)2 r k2 + m2
Z
g |k|ei|k|r
= d|k| (3.17)
i(2)2 r (|k| + im)(|k| im)
Definiendo
zeizr
f (z) =
z + im
y usando la integral de Cauchy para el contorno correspondiente al semiplano positivo que incluye
el polo en z = im
Z
f (z) im emr
dz = 2if (im) = 2i = i emr (3.18)
C z im 2im
tenemos que
g emr
(x) = (3.19)
4 r
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|
(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 ) (3.20)
4 |x x |
Z
1 3 em|xx |

Lint = (x)(x) = d x (x)(x ) (3.21)
4 |x x |
Lint
Hint = Lint
(/t) t
= Lint
Z m|xx |
1 3 e
= d x (x)(x ) (3.22)
4 |x x |
Z
1 em|xx |
Hint = d3 x d3 x (x)(x ) (3.23)
4 |x x |
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
1 emr
V (r) = (3.24)
4 r
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
1
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
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
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 reque-
rimiento 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
t < . (3.30)
c
La incertidumbre en la enrga sera
~ ~c
E = . (3.31)
2t 2r
Reemplazando E = 12 mc2 para que la medida E E sea significativa a dos , tenemos que
~
r . (3.32)
mc
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
1 1.973 1016 m
r GeV1 1 = 1.43 1015 m. (3.33)
0.138 GeV
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 con-
servacion 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 :
1
propagador: (3.36)
k2 m2
3.2. CAMPOS ESCALARES COMPLEJOS 59
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)
2
Entonces
1
cross section
k2

sin4 , (3.39)
2
que explica la famosa variacion angular de la dispersion de Rutherford, en la cual las partculas
ucleos positivamente cargados del metal. Ver figura 3.2
son dispersadas por los n
En general tendremos
1
propagador: , (3.40)
k m2
2
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
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 ] (3.41)
2 2 2 2
Si definimos
1 + i2
= then (3.42)
2
1 i2
= , and (3.43)
2

2 =(1 + i2 )

2 =(1 i2 ). Therefore

2( + ) =21

2( ) =2i2 . Then

+
1 = (3.44)
2

2 = . (3.45)
2i
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 (3.46)
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.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 corres-
ponde 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 con-
servada 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 (3.51)
= i . (3.52)
Reemplazando en ec. (3.49)

J i( ), (3.53)
y

= J 0 i( ). (3.54)
t t
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)
1 ikx
= a e + b eikx
2L3
1 i(wtkx)
= ae + b ei(wtkx) (3.56)
2L3
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)) (3.57)
Sea
1 i(tkx)
= ae b ei(tkx) , (3.58)
2L3
entonces,

=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)
donde,
1
= ei(wtkx)
2L3
1
+ = ei(wtkx) (3.61)
2L3
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. (3.62)
L
1
J0 = < 0. (3.63)
L3
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
T = ( ) + ( )
L
( ) ( )
= + L

(3.65)
T00 = 2 0 0 + m2
= 0 0 i i + m2
= 0 0 + + m2 (3.66)
T0i = i 0 + 0 i (3.67)
Para + (o )
1
T00 = (i)(i) + (ik) (ik) + m2
2L3
1 2
= + k2 + m2
2L3
1 2
= + 2
2L3

= 3 (3.68)
L
y Z

E = d3 x T00 = > 0 (3.69)
V
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
+ , +
= ei(wt+kx)
2L3
1
+ , +
= ei(wtkx)
2L3
1
,
= ei(+wtkx)
2L3
1
,
= ei(+wt+kx) (3.70)
2L3
Para relacionar con el momentum de la partcula
L L
Ti0 = (i ) + (i )
(0 ) (0 )
= 0 i + i 0 , (3.71)

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

= (i)(ik ) + (ik )(i)
2L3
ki
= 3 (3.72)
L
Definimos Z
i
P = d3 x Ti0 = k i (3.73)
V
De modo que
P=k (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
3.3. INVARIANZA GAUGE LOCAL ABELIANA 65
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
U(x) = ei(x) (3.75)
En el Lagrangiano en ec. (3.46)

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
D D = D b U = U D
b (3.80)

b
Cuando sea necesario indicaremos el caracter de operador de D con D.
Por consiguiente

D U = UD (3.81)
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 . (3.84)
g
From this general formula we have
U i
A A = UA U 1 ( U)U 1
g
i
= A ( U)U 1
g
i
= A (i ) UU 1
g
1
= A + . (3.85)
g
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 ] (3.88)
g
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
Fb
= 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 . (3.92)
4
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 (3.94)
4
donde
Lint = ieA ( ) + e2 A A . (3.95)

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)

Usando la primera ecuacion en (3.49), tenemos que (D = + ie A )
j = i [ D (D ) ] . (3.99)
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 (3.100)
dan lugar a

( + m2 + U(x)) = 0, (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
H qA0 = (p qA)2
2m
que a su vez puede obtenerse del Hamiltoniano para una partcula libre con el reemplazo
H H qA0 p p qA (3.105)
En terminos de los operadores H yp , tenemos

i i qA0 i i qA
t t

+ iqA0 i i iqAi = i + iqAi . (3.106)
t t
De modo que
= ( 0 0, i ) D = ( 0 + iqA0 , i + iqAi ) = + iqA . (3.107)
3.3.1. Aplicaci
on a barrera de potencial
Considere una barrera de potencial,
(
0 A la izquierda de la barrera (Region I)
A0 = (3.108)
V A la derecha de la barrera (Region II)
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

= 2ieV e2 V 2 (3.109)
t
y

( + m2 + 2ieV e2 V 2 ) = 0 . (3.110)
t
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 h i
dE exp i E 2 m2 z Et (3.112)
E0 E
sea u = E E0 1, entonces E = u + E0 , dE = du, E = E0 E da lugar a u = E, y

p q q
E m = (u + E0 ) m = u + 2uE0 + E0 m 2uE0 + p20
2 2 2 2 2 2 2
s
2uE0 uE0 uE0
= 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
p0
v0 = (3.114)
E0
u
E 2 m2 p0 + (3.115)
v0
sustituyendo en ec. (3.112)
Z E
i(pzEt) u
e du exp i p0 + z (u + E0 )t (3.116)
E v0
Figura 3.3: Barrera de potencial

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

z v0 t
= (3.120)
v0
Entonces Z E
sin(E)
f () = dE eiE = 2 (3.121)
E

i(p0 zE0 t) z v0 t i(p0 z+E0 t) z + v0 t
I = A e f +Be f , (3.122)
v0 v0
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
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) . (3.123)
Esta es solucion a la ec. (3.110)
2
2 2 2 2
+ m + 2ieV e V II = 0
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.124)
de modo que
p
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 identi-
ficar 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
L L
T30 = 3 + 3 , (3.127)
(0 ) (0 )
donde el Lagrangiano obtenido a partir de la ec. (3.94) es
1
L = m2 F F ieV ( 0 0 ) + e2 V 2 . (3.128)
4
Entonces
T30 =( 0 ieV )3 + 3 ( 0 + ieV ) . (3.129)
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
(3.130)
+2(eV E)P C = 0 .
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
i(P0 z+E0 t) z u0 t
II = C e f , (3.132)
u0
con
P0 P0
u0 = =p 2 (3.133)
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]

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

2p0 i(P0 z+E0 t) z u0 t
II = e f , (3.134)
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) (3.135)
2
Si fijamos el gauge tal que = , entonces = , y

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
= 2 ( + igA ) igA 2 m (F F )
1 1 2 2
4
En adelante, podemos quitar la prima del campo A
1
L = 21 21 m2 + g 2 A A 2 F F (3.136)
4
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

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

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

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

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

0
+ iqA , ( iqA)
t

0 i
= + iqA , i + iqA )
t

0 i i
= + iqA , + iqA
t
= + iqA (3.139)
tenemos
1 2
iD 0 = D (3.140)
2m
que para A = 0 se reduce a la ecuacion de Schrodinger para una partcula libre. Bajo la transfor-
macion gauge en el campo A de la ec. (3.85),
0 1
A0 A = A0 0
q
1
A A = A + (3.141)
q
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
nados por una transformacion de la funcion de onda, , donde
de Maxwell esten acompa
satisface la ecuacion
0 1 2
iD = D
2m
1
i = (i qA ) + qA 0 .
2
(3.142)
t 2m
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
0 1 2
iD = D
2m
1 i(x) 2
iei(x) D 0 = e D
2m
1 2
iD 0 = D (3.148)
2m
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 transfor-

macion.
El correspondiente Lagrangiano es (ver ec. (1.79))
1 i 0 1
L= (D) D D (D 0 ) F F
2m 2 4
1 i i 1
= ( iqAi ) ( i + iqAi ) ( 0 + iqA0 ) [( 0 iqA0 ) ] F F
2m 2 4
1 i i 1
= ( iqAi )( i + iqAi ) ( 0 + iqA0 ) ( 0 iqA0 ) F F
2m 2 4
1 i i
= [ + iq( i )Ai iq ( i )Ai + q 2 Ai Ai ]
2m
i 1
( 0 ) ( 0 ) + 2iq A0 F F
2 4
La corriente se obtiene de la ecuaciones de Euler-Lagrange para A
L
(F ) =0
A
que da lugar a dos conjuntos de ecuaciones, una para Ai
L
(F j ) + =0
Aj
L
(F j ) =0
Aj
1
(F j ) [iq( i ) iq ( i ) + 2q 2 Ai ] =0
2m
iq
(F j ) [( i ) ( i ) 2iq Ai ] =0 (3.151)
2m
y otra para A0
L
(F 0 ) + =0
A0
(F 0 ) + q A0 =0
(3.152)
Entonces
F = j
con
(
q =0
j = iq
2m
[( i ) i 2iq Ai ] = i
Que incluye el termino corriente para una partcula cargada y es diferente de la corriente de proba-
bilidad 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
0 =

= 0
+ i

( ) (0 ) (i )

i 1 1 i i 2 i i
i 0 0
= 0 + i (i + iqAi ) iq( )A + q A A + qA
2 2m 2m 2
i i 1 1
= 0 + 0 qA0 + i (i + iqAi ) + iq( i )Ai q 2 Ai Ai
2 2 2m 2m
2 0 1 1
=i0 + i qA + i (i + iqAi ) + iqAi ( i + iqAi )
2m 2m
1
=i(0 + iqA0 ) + (i + iqAi ) (i + iqAi )
2m
1
=iD0 + Di Di
2m
1
iD0 = D D
2m
1 2
iD0 = D
2m
Que corresponde a la ec.(3.148), es decir, la ecuacion de Scrodinger con la derivada normal reempla-
zada 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?
3.5. INVARIANZA GAUGE LOCAL NO ABELIANA 77
El Lagrangiano invariante de Lorentz para un doblete escalar complejo

+

= , (3.153)
0
con + y 0 campos escalares complejos es

L = m2 . (3.154)
donde

= 0 , (3.155)
de modo que

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)]
= eiq (3.157)
(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 (3.158)
donde V es la matriz 2 2

iQ +1 0 (+1)+
V=e (1 + iQ) = + i = + i
0 0 (0)0
+ i +
1 + i 0 e
= 0 = (3.159)
0 1 0
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
Note que V es unitaria

ei 0
V = , V V = 1 . (3.162)
1 0
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 (3.163)
U
= U ,
con
UU = U U = 1 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 antisimetri-
cas 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 0 i 1 0
1 = 2 = 3 = (3.169)
1 0 i 0 0 1
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
i
Ti = , (3.170)
2
un elemento del Grupo puede escribirse como
i i
U = eiT i
1 + iT i i = 1 + i i . (3.171)
2
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.
Las matrices de Pauli y por consiguiente Ti satisfacen
i = i
Tr (i ) = 0 (3.172)
Ademas
det (i ) = 1
{i , j } = 2ij I i2 = I

Tr i j = 2 ij
i j = iijk k + ij (3.173)
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
T3 = = 2 1 0 . (3.174)
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 trans-
formaciones 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 , (3.175)
donde = I y W es una matriz 2 2 de componentes

i

(W )ab = Wi . (3.176)
2 ab
tenemos que W es

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

= 1 2
2 W + i W
2 W3
2
3
+

1 W 2W

. (3.177)
2 2W W3
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)
2 2W W 3
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)
Ademas
(1 + iT i i ) = iT i i (3.182)
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)
Las matrices W transforman como (ver ec. (3.84)
U i
W (W ) = UW U ( U)U (3.185)
g
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

i 1 ikj
=T Wi + i + Wk j (3.186)
g
de donde
1
Wi W i Wi + i + ijk Wj k (3.187)
g
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 ] (3.188)
g
De la ec. (3.89)
W = W W ig(W W W W )
= W W ig[W , W ] . (3.189)
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)
donde
Wi = Wi Wi + g ijk Wj Wk , (3.191)
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 )

= 81 Tr i j Wi W
j
= 14 ji Wi W
j
= 14 Wi W
i
LW = 41 Wi W
i
, (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 )

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

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

2 W =
2W
W 3

0

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

= + W3 + 20 + W + 2 0 W+ 0 0 W3 (3.197)

2 W = + W3 + 2 0 + W + 2 0 W+ 0 0 W3 . (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
3.6. INVARIANZA GAUGE LOCAL PARA UN GRUPO SEMISIMPLE 83

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
3
+
3

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

= 14 W3 W3 + 2W+ W I, (3.201)
entonces
L4 g 2 W W

= 14 g 2 W3 W3 + 2W+ W + + 0 0

= 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 , (3.204)
La Accion definida por el Lagrangiano en ec. (3.203) es invariante bajo el grupo U(1)Q , que de
acuerdo a la ec. (3.159) es
+ + + i + i +
iQ e 0 e
0 =e 0 = 0 = (3.205)
0 1 0 0
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
+ + +
+

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

+1 0
Q = (3.207)
0 0
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
=e + iY , (3.208)
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 j +Y
= ei(j T 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
= i 2 1 1
2
3 . (3.210)
2
gW 2
gW + g Y B
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 (3.212)
Las nuevas corrientes se puede obtener de:
!
1 1 gW +
gW3 + g Y B
L i 2
1 gW
2
2 12 gW3 + g Y B
!
1 1 gW +
gW3 + g Y B
i 2
1 gW
2
2 12 gW3 + g Y B
!
!
1
gW3 + g Y B 1 gW +

1
gW3 + g Y B 1 gW +
+ 2 2 2

2
1 gW
2 21 gW3 + g Y B 1 gW
2
21 gW3 + g Y B
(3.213)
Para las corrientes involucrando tres campos tenemos

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

i ( 21 gW3 + g Y B ) + 12 g 0 W 12 g W+ + 0 ( 12 gW3 + g Y B )

i{[ ( 12 gW3 + g Y B ) + 1 g0 W ] +
2 + [ 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)
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
W cos W sin W Z
= (3.216)
B sin W cos W A
hg i
Lnc =i + + (cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2
0
0 0
0 h g
i
+i (cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2
=i + + [( 21 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]

+i 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
2
g sin W + Y g cos W = e
1
2g sin W + Y g cos W = 0 (3.219)
Con solucion
g sin W = e 2Y g cos W = e (3.220)
Fijando
1
Y = (3.221)
2
tenemos
g sin W = g cos W = e (3.222)
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)

+
1

+
Lnc =ie + Y A
2

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

0 0 0
0 cos W Y sin W
ie + Z (3.225)
2 sin W cos W
Usando Y = 1/2

Lnc =ie + + A
e +
+i + cos2 W sin2 W Z
2 cos W sin W
e 0 0
i 0 0 Z
2 cos W sin W

=ie + + A
e +
+i + 1 2 sin2 W Z
2 cos W sin W
e 0 0
i 0 0 Z
2 cos W sin W
e
=eJEM A + J Z (3.226)
2 cos W sin W N C

donde JEM esta dado por la ec. (3.55)

JEM = i( + + ) . (3.227)
y

JNC = i + + (1 2 sin2 W ) i 0 0 0 0 . (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

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

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 (3.231)
de modo que
1
Y = (3.232)
2
Entonces

3 cos W sin W
gT 3
W3
+ g Y B =eQA + e T Y Z
sin W cos W
e
=eQA + T 3 cos2 W Y sin2 W Z
sin W cos W
e 3
=eQA + T T 3 + Y sin2 W Z
sin W cos W
e
=eQA + T 3 Q sin2 W Z (3.233)
sin W cos W
Entonces
e
L ie Q A + i 3 2Q sin2 W Z + h.c (3.234)
2 sin W cos W
Expandiendo obtenemos la ec. (3.226)
e
L eJEM A + JNC Z (3.235)
2 sin W cos W
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 )

e 3 2
2
= eQA + T Q sin W Z
sin W cos W
(3.236)
Entonces

jEM = i( + + ) + 2e + A (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.
3.7. como un triplete de SU (2)

Si transforma como un triplete de SU(2)3
++
1
= 2 = +
(3.238)
3 0
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 (3.244)
X X
Tr i = (i )jj = iijj = 0 (3.245)
j j
Por lo que i es una representacion del grupo SU(2) en terminos de matrices 3 3. Usando la
ec. (3.242)
X X
Tr(i j ) = (i j )kk = (ij kk ik jk ) = 3ij ij = 2ij (3.246)
k k
3
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
W =i Wi
(W )jk = iijk Wi (3.249)
y solo contiene entradas no diagonales.
(W )12 = i312 W3 = iW3 (3.250)
La ec. (3.187) se mantiene igual

1
W i i + ijk Wj k
g
1
W + W (3.251)
g
Entonces
D = ( igi Wi )
(D )jk k = (jk ig(i )jk Wi )k
(D )jk k = (jk gijk Wi )k
(D )jk k = (jk + gjik Wi )k
(D )jk k = jk k + g(W )j
Entonces
D = + gW (3.252)
Ademas
(D ) = ( + igi Wi )
[(D ) ]j = (jk k + gijk k Wi )
[(D ) ]j = (jk k + gjkik Wi ) (3.253)
(D ) = + g W (3.254)
La definicion de W queda
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
Tr(W W ) = Wi W
i
(3.257)
8 4
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
+ g 2 i (k )ij (l )jm Wk Wl m m2 i i 41 Wi W i

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

= g i ikj Wk j i ikj Wk j
+ g 2 i kij lmj Wk Wl m m2 41 Wi W
i
(3.259)
3.7. COMO UN TRIPLETE DE SU(2) 91
donde
Wi W
i
=( 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 (3.260)
Las ecuaciones de movimiento son

L L
=0 (3.261)
( Wi ) Wi

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

1 i i

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

L 1
= ( W i W i ) 2g ijk Wj W k ikj Wk Wj
( Wi ) 4
1
= ( Wi Wi ) 2g ijk Wj Wk + ijk Wk Wj
4
= ( Wi Wi ) gijk Wj Wk
= [( W W ) + gW W ]i
Finalmente

L
= Wi = (W )i (3.262)
( Wi )
De manera que al igual que en el caso Abeliano

W W
i
= 4Wi (3.263)
( Wi ) i
De otro lado, usando la tecnica, por ejemplo

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

Wi m l W
i
= nim ( Wn ) W + nli ( Wn )W
Wi Wi
= nim ( Wn )Wm + nli ( Wn )Wl (3.264)
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
i
= g{ + g[(W ) + (W ) ]}i g(W W )i
W
(3.265)
Combinando las ecuaciones (3.265) y (3.262) en la ec. (3.261), tenemos

3.8. PROBLEMAS 93
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)
de las ecs. (3.252) y (3.254)
D W = g[ D (D ) ] g j (3.268)
Note que si es real
D W = 2g(D ) (3.269)
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
se sigue que B ~ es el isovector de induccion magnetica. Esto da lugar a la existencia
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 res-
petando la invarianza SU(2) U(1)Y . La solucion es Y = 3/2
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
n
=U(D ) (3.274)
3.6 Muestre que

a)

i2 = 0
(3.275)

b) el Lagrangiano (3.156) puede escribirse tambien como

L = m2

(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
L = ab a b (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 ] (3.279)
4
En SU (2) las representaciones 2 y 2 son equivlantes
3.8. PROBLEMAS 95
Entonces, usando la ec.(3.233)
L (gT 3W3 + g Y B )2
e
= [eQA + T 3 Q sin2 W Z ]2
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
= 41 Wi W
i
14 B B
1
14 F F 41 Z Z (FW ) (FW ) ,
2
donde
F = A A
Z = Z Z
(FW ) = W+ W+ .
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)
con
V () = 21 2 . (4.2)
Este Lagrangiano es simetrico bajo la transformacion discreta .
Si 2 > 0 el campo tiene excitaciones alrededor del mnimo del potencial que cuestan energa y di-
cho 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, (4.3)
Figura 4.1: V () = 12 2 2 con 2 > 0
97
98 CAPITULO 4. RUPTURA ESPONTANEA
DE SIMETRIA
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 (4.5)
(2 + 2 ) = 0, (4.6)
con extremos max = 0, y r

2
min hi v = . (4.7)

De hecho
2V
= 2 + 32 . (4.8)
2
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
(x) = H(x) + v (4.9)

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 , (4.10)
y
LH = 12 H H 1
2
22 H 2 vH 3 41 H 4 + constant. (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.12)
4.2. Bos
on de Goldstone
Consideremos ahora un campo escalar complejo sin termino de masa, pero con potencial:
L = V () (4.13)
V () = 2 + ( )2 2 < 0, > 0 (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:
1 + i2 1
= 0 = = (H(x) + v + iG) (4.15)
2 2
Entonces
2
V (1 , 2 ) = 12 2 21 + 22 + 41 21 + 22 (4.16)
DE SIMETRIA
La condiciòn de mnimo es
V
=0
1

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

=1 2 + 21 + 22 (4.17)
V
=0
2

=2 2 + 21 + 22 (4.18)
Los infinitos mnimos degenerados corresponden a la circunferencia
2
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
(4.21)

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.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 101
4.2.2. Coordenadas polares

Si hacemos
(x)
= ei(x) (4.24)
2
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):

i(x) i(x) H(x) + v H(x) + v
=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
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 numero 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)) (4.34)
2
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

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

G T G
=V , (4.39)
A A

1 gv T G
L2 = 12
G A
V V
gv g 2 v 2 A

0 0 G
= 12 G A
0 1 + g2v2 A

= 12 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
L = (D ) D 2 21 Tr (W W ) 14 B B , (4.41)
con 2 < 0 y > 0. Ademas
SU (2)U (1)Y j +Y
= ei(j T I)
, (4.42)
y
D = I igW ig Y B = I igTi Wi ig Y B . (4.43)
De la ec.(3.178)
!
1 1 W +
W3
W = Ti Wi = 2
1
2
. (4.44)
W
2 12 W3
De modo que
!
1
i gW3 + g Y B i2 gW+
D = 2 . (4.45)
i2 gW i 21 gW3 + g Y B
Sin perdida de generalidad los cuatro grados de libertad de , pueden escribirse en la forma

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

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

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

G+
= 1 .
2
(h + v iG0 )
DE SIMETRIA
Para SU(2) U(1)Y tenemos cuatro generadores y cuatro bosones gauge. De acuerdo a la parametri-
zacion 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
= 1 , (4.48)
2
(H(x) + v)
que define el gauge unitario. En adelante sin embargo omitiremos las primas sobre los campos trans-
formados y W
.

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

m2H = 2 2 = 2v 2 (4.50)

1 i2 gW + (H + v) i2 gW+ (H + v)
L=
2 H i 12 gW3 + g Y B (H + v) H i 12 gW3 + g Y B (H + v)
V (H) 21 Tr (W W ) 14 B B
1 i 1

= gW (H + v) H + i 2
gW 3 + g Y B (H + v)
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
1 1 2
+ g 2 W W+ (H + v)2 + 12 gW3 + g Y B (H + v)2 (4.51)
4 2
Entonces
1
L = H H V (H) 41 Wi W
i
14 B B
2
gv 2 1 1
+ W W+ + g 2W W+ H 2 + vg 2 W W+ H + LW B (4.52)
4 4 2
1 1 2 3 1 2 2
2
LW B = 4
g W3 W 2
gg Y W3 B 1
2
gg Y W 3 B + g Y B B H 2 + 2vH + v 2 (4.53)
2
Haciendo Y = 1/2 como en la ec. (3.232),
3
1 g 2 gg W
LW B = W3 B
2 H 2 + 2vH + v 2 (4.54)
8 gg g B
Sea
cos W sin W 1 g g
V = =p , (4.55)
sin W cos W g 2 + g 2 g g
con tan W = g /g, tal que g sin W = g cos W , como en la ec. (3.222). Si (ver ec. (3.216)),
3
W Z
=V (4.56)
B A
entonces
2
1 T g gg Z
LW B = Z A
V 2 V H 2 + 2vH + v 2 (4.57)
8 gg g A
2 3
T g gg 1 g + gg 2 g 2 g g 3 g g
V V = 2
gg g 2 2
g + g 2 +g 2g g 2g gg + gg
2
g g
3
1 g + gg 2 g 2 g g 3 g g
= 2
g + g 2 0 0 g g
4
1 g + g 2g 2 + g 2g 2 + g 4 g 3g + gg 3 g 3 g gg 3
= 2
g + g 2 0 0
2
g + g 2 0
= (4.58)
0 0

1 g2 + g2
LW B = Z Z H 2 + 2vH + v 2
2 4

1 g 2
= 1 + tan2 W Z Z H 2 + 2vH + v 2
2 2
2
1 g
= Z Z H 2 + 2vH + v 2
2 2 cos W
2 2 2
1 gv 1 g 2 g
= Z Z + Z Z H + vZ Z H (4.59)
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
1 g 2 g
+ 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 , (4.60)
2 2 2
DE SIMETRIA
donde
gv gv
mW = mZ = , (4.61)
2 2 cos W
y
mW
mZ = . (4.62)
cos W
i
Los terminos en W , y B pueden escribirse en terminos de W Z y A ,
LW B = 14 Wi W
i
14 B B

= 41 F F 14 Z Z 21 (FW ) (FW ) L3 L4 (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
h i

ie (FW ) W+ A (FW ) W A + W W+ F , (4.65)
e2 h i
+ 2 + + 2 2 + +
L4 = W W W W W W e cot W W W Z Z W Z W Z
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

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

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

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

ie (FW ) W+ A (FW ) W A + W W+ F
e2 h i
+ 2 + + 2 2 + +
W W W W W W e cot W W W Z Z W Z W Z
2 sin2 W


e2 W+ W A A W+ A W A . (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
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).
DE SIMETRIA
Captulo 5
Fermiones
5.1. Ecuaci
on de Dirac
5.1.1. 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
L = a a m b (5.1)
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
b
i = H (5.2)
t
b una funcion por determinar del operador p
con H , entonces
a = a (5.3)
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.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 momento-
energa.
109
110 CAPITULO 5. FERMIONES
5.1.2. Corriente conservada y Lagrangiano de Dirac

De la ec. (5.4)

0 L L
J = +
(0 ) (0 )
= i a0 (5.5)
El Lagrangiano es invariante bajo transformaciones de fase globales, U(1)
= ei i, (5.6)
de modo que
= i. (5.7)
Por consiguiente
J 0 = a0 (5.8)
Para que J 0 pueda interpretarse como una densidad de probabilidad, debemos redefinir el Lagran-
giano 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 2 i
= c c c c m c2 b c
2
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.16)
5.1.3. Tensor momento-energa
L L
T00 = 0 + 0 L
(0 ) 0
0 0 L
= i
i i + m,
= i
p + m),
= (
= c( p + m),

= H, (5.17)
donde
= c( p + m)
H (5.18)
y, como en mecanica clasica usual Z
=
hHi d3 x.
H (5.19)
Ademas
L L
Ti0 = i + i
(0 ) 0
0 i
= i
= (ii ) (5.20)
de modo que Z
h
pi = p
d3 x (5.21)
5.1.4. Ecuaciones de Euler-Lagrange

Queremos que el Lagrangiano de lugar a la ecuacion de Scrondinger de validez general

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

= 0.
i H (5.28)
t
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 i H =0
t t
!
2 H
+ i + iH iH
+ H 2 = 0
t2 t t t
2
= 0.
2
+H (5.29)
t2
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 (5.32)
Sea A una matriz y en un escalar. Entonces tenemos la identidad
X 2 2 X
(A )2 = Ai i + Ai , Aj i j (5.33)
i i<j
Entonces
X
2 =2 p2 +
H {i , j } pi pj + m(i + i)pi + m2 (5.34)
i i
i<j
(suma sobre ndices repetidos). Si

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

+ m2 = 0 (5.37)
En terminos de las matrices las condiciones en ec. (5.35) son

2
0 = 1
2 2 2
i = 1 0 i 0 i = i = 1 i = 1

i 0 + 0 i = i, 0 = 0 (5.38)
De modo que

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

0 0 = . (5.42)
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)
donde
= 0 . (5.45)
5.1.5. Propiedades de las matrices de Dirac

De la ec. (5.42) (

0 = 0 =0
= 0 0 2 . (5.46)
i = 0 i = i =i
Definiendo
5 = i0 1 2 3 , (5.47)
entonces,
52 = 1, (5.48)
DE DIRAC
5.1. ECUACION 115
Teniendo en cuenta que 2 1 y conmuta con las demas matrices, tenemos por ejemplo
5 3 =i0 1 2 32 = 32 i0 1 2 = 3 i0 1 2 3 = 3 5
5 2 = i0 1 22 3 = 22 i0 1 3 = 2 i0 1 2 3 = 2 5
5 1 =i0 12 2 3 = 12 i0 2 3 = 1 i0 1 2 3 = 1 5
5 0 =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)
Si
U U , (5.53)
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) independien-
tes. 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 .
Matriz Transformacion Numero Escalar en Dirac

1 Escalar (S) 1

5 Pseudoescalar (P) 1 5

Vector (V) 4

5 Vector axial (A) 4 5

= 2i [ , ] Tensor antisimetrico (T) 6

16
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)
= e
iQ(x) . (5.55)
La derivada covariante se define de manera que transforma de la misma forma que el campo, intro-
duciendo 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
= (i m) + eQ A 1 F F .
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

1 F F 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
J +
( )
.
(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 constitu-
yentes 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 1
B = |q q q i M = |
q q i (5.64)
6 3
Estos estados son singletes de color, ver problema 5. 2 Una de las determinaciones de Nc proviene
del observable
(e+ e hadrones)
R (5.65)
(e+ e + )
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
Pfmax PNc +
f =u =1 (e e f f )
R
(e+ e + )
Pfmax +
f =u (e e f f)
R Nc (5.66)
(e+ e + )
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
X
=Nc Q2f
f =u

2 2 1 2 2

Nc [( 3 ) + 2( 3 ) ] = 3 Nc f = u, d, s, fmax = s
= Nc [2( 23 )2 + 2( 1
3
)2 ] = 109
Nc fmax = c

2 2 1 2 11
Nc [2( 3 ) + 3( 3 ) ] = 9 Nc fmax = b

2 Nc = 3, fmax = s
= 103
Nc = 3, fmax = c (5.67)

11
3
Nc = 3, fmax = b

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
m,
Lglobal = i (5.69)
donde
a
= exp ia . (5.70)
2
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))
Llocal = i 1 Tr (G G ) ,
D m (5.71)
2
donde

a
= exp ia (x)
2

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

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

i
G (G ) = UG U ( U) U . (5.75)
gs
Similarmente, definiendo la matriz 3 3, como se hizo en la ec. (3.188)
i a
G = [D , D ] G , (5.76)
gs 2 a
donde
G
a = Ga Ga + g s f
abc e
Gb Gc G a + gs f
abc
Gb Gc , (5.77)
con
e = G G
G (5.78)
a a a
y f abc son las constantes de estructura fina de SU(3)

a b
c
, = if abc . (5.79)
2 2 2
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
=i + gs a Ga 1 G Ga
2 4 a
m
=i + gs a Ga 1 G e G
ea

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 s b c (5.82)
4
L = Lglobal + Lgauge + LSI , (5.83)
donde
Lglobal =i m
Lgauge =gs a Ga 1 G e G
ea

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

LSI = gs G a f ade G G
+ g s f G G
b c G + g s f fade G G G G
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
gs g2
= f abc ( Ga Ga ) Gb Gc s f abc fade Gb Gc Gd Ge , (5.85)
2 4
son los terminos de autointeracccion gauge.
La coorriente de color
L L + L
j + Ga
( ) ( Ga )

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

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

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

a

ja = gs b
+ G G a (5.88)
2
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
(i D m) = 0 , (5.90)
mientras que para los campos G
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
D G b
a = Ga + gs fabc G Gc (5.92)

b a
Ga = gs fabc G Gc + (5.93)
2
donde

a
ja b
= gs fabc G Gc +
2

a
b
= gs G G a +

2
(5.94)
Como G = G se sigue que
ja = 0 (5.95)
y tenemos las ocho corrientes conservadas.
5.4. Soluciones a la ecuaci

on de Dirac
5.4.1. 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 0 0 0 i
= i = . (5.97)
0 0 i 0
Con 0 = 1. Con la matriz de tranformacion

1 1 1
U= (5.98)
2 1 1
podemos obtener la representacion de Dirac, tal que U diagonaliza 0 ,

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

0
= (5.100)
0

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 1 0 0 1
=i m
1 0 0 1 0

0 L
0 1 L
=i L R m L R
0 R 1 0 R
=iL
L + iR R m(L R + R L ) (5.103)
5.5. ESPIN 123
5.4.2. Ecuaciones de Weyl

Las ecuaciones de Euler-Lagrango para el Lagrangiano en ec.(5.103), dan como resultado
L mR = 0
i
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)
que pueden escribirse como
i0 L i L mR = 0
i0 R + i R mL = 0 (5.106)
Para el Lagrangiano invariante gauge local U(1) en ec.(5.57), tendramos
D L mR = 0
i
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.110)
5.5. Espn
El momento angular esta descrito por el algebra
i, L
[L j ] = iijk L
k (5.111)
Si dos operadores no conmutan no es posible conocer sus autovalores simultaneamente. Sin embargo
i, L
[L 2] = 0 (5.112)
z i y L
y por convencion podemos escoger hL 2 como los dos observables de momento angular.
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 = (5.114)
2
Los autovalores del operador de espn son entonces

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

1 0
| i = | i = (5.116)
0 1
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
R b R
i = H (5.119)
t
donde
1
R = (5.120)
2
con i las funciones de onda convencionales. Dicha ecuacion debe ser invariante bajo rotaciones en
el espacio de espn
i
R R = exp(i i )R . (5.121)
2
Esta es justo las ecuaciones que aparecen cuando se hace m = 0 en la ec.(5.106). Para R
b = i = p
H (5.122)
con
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 . (5.125)
Para

ipx ipx 1 0 ipx c1
R = e (c1 | i + c2 | i) = e c1 + c2 =e
0 1 c2
i/2
e cos(/2)
= eipx i/2 = eipx |+i (5.126)
e sin(/2)
donde
ei/2 cos(/2)
|+i = . (5.127)
ei/2 sin(/2)
Tenemos

0 1 c1
R 1 R = c1 c2
1 0 c2

c1
= c2 c1
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
= i
p
|p|
= cos sin + 2 sin sin + 3 cos
1

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

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

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

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

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

i/2 cos(/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 i/2
e sin(/2)
|i = , (5.134)
ei/2 cos(/2)
entonces
p
= (cos sin , sin sin , cos ) (5.135)
y
L = eipx |i = L
p (5.136)
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 (5.139)
La aparicion de soluciones de Energa negativa. . .

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)
con

u1
u= = |+i . (5.143)
u2
El espinor completo es

L imt |+i
= =e (5.144)
R |+i
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 (5.149)
E
. 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)
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. Explicita-
mente
p L = eipx p
|i = eipx |i = L (5.151)
El espinor de cuatro componentes para la solucion de energa positiva es

L ipx |i
= =e (5.152)
R |+i
=
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.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 (5.157)
Entonces

E+p
L = R
m

E p
R = L . (5.158)
m
DE PARTICULA LIBRE
5.6. SOLUCION 129
En este caso sin embargo, la helicidad no esta bien definida y solo podemos afirmar que L corres-
ponde 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
(
1 v +|R i v c (relativistic)
p|R i = + 1 + |R i 1
2 c + 2 |R i v 0 (non-relativistic)
1 v
p|L i = 1 |R i (5.159)
2 c
mientras que la probabilidad de que sea izquierdo se obtiene de
1 v
p|R i = + 1 |R i
2 c
1 v
p|L i = 1 + |R i (5.160)
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 an-
gular, 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)
5.7. Lmite no relativista en presencia de un campo electro-

magn 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 (5.178)
Reemplazando en ec. (5.174)

1 i
= (ii qAi ) (5.179)
2m
entonces
b
i = H (5.180)
t
con
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)
i
Entonces

b = 1 (i + qA)2 q k ( A)k + qA0
H
2m q
1 2
= (i + qA) + qA0 B (5.183)
2m 2m
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
e =
2m e
= 2
2m 2
e~
= 2
2m 2

e~
= ge
2m 2
(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
ae = (5.185)
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

L L 0
= = + =eL + eR (5.187)
R 0 R
En la representacion de Weyl
1 0
5 = . (5.188)
0 1
Podemos definir

1 5 1 0
PL =
2 0 0

1 + 5 0 0
PR = . (5.189)
2 0 1
5.8. FERMIONES QUIRALES DE CUATRO COMPONENTES 133
De modo que

1 0 L L
PL = = = eL
0 0 R 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 + PR = 1 PL,R = PL,R PL,R = PL,R

PL PR = 0 PL,R = PL,R . (5.191)

1 5 1 5
PL,R = = = PR,L (5.192)
2 2
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)
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 , (6.4)
eL
135
136 CAPITULO 6. MODELO ESTANDAR

este transforma bajo SU(2)L como

L L = exp(iT i i )L (1 + iT i i )L
i
i i
L 1 + 2 12 2

+i
2
2
L
eL i
2 1 2 1
1 i2 eL
2 2
+
1+ 2i i
2
2 L
= i 1
2 1 i2 eL
2 i
i
+
1 + 2 L + 2 2 eL
= . (6.5)
1 2i eL + 2i 2 L
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
0L 2
+ YL L
QL = = (T3 + Y )L =
1eL 12 + YL eL
QeR = 1eR = Y eR = YR eR , (6.8)
de modo que
1
YL = YR = 1 . (6.9)
2
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
!
igT3W3 ig Y B 1 gW +
2
= . (6.10)
1 gW
+ igT W 3
ig
Y B
2 3
y el Lagrangiano
L = iL D L + i eR D eR 14 Wi W
i
14 B B , (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
L = iL D L + i eR D eR 14 Wi W
i
14 B B + (D ) D 2 ( )2 , (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 inva-
riante 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
14 Wi W
i
41 B B
+ (D ) D 2 + ( )2 . (6.16)

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
= 1 . (6.18)
2
[H(x) + v]
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
1 g 2 g
+ 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 , (6.19)
2 2 2
donde:
V (H) = 12 m2H H 2 + vH 3 + 14 H 4
1 m2 1 m2H 4
= m2H H 2 + H H 3 + 2
H
2 2v 4 2v

1 H H2
= m2H H 2 1 + + 2 . (6.20)
2 v 4v
con
m2H = 22 = 2v 2 . (6.21)

W3 cos W sin W Z
= , (6.22)
B sin W cos W A
tal que
g sin W = g cos W = e. (6.23)
ELECTRODEBIL
gv mW
mW = mZ = . (6.24)
2 cos W
Entonces
1
LHW B = H H V (H)
2
g 2v 2
+ m2W W W+ + 2
(2vH + H 2 )W W+
4v
2
1 2 1 gv
+ mZ Z Z + 2 (2vH + H 2 )Z Z
2 2v 2 cos W

1 H H2 1 2 H H2
= H H V (H) + mW 1 + 2 + 2 W W + mZ 1 + 2 + 2 Z Z .
2 +
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

1 1 0 W1 iW2 2 0 W+
T W1 +T 2
W2 = = (6.28)
2 W1 iW2 0 2 W 0

g 0 W+ L
LlW B =iL L + ieL eL + ieR eR + L eL
2 W 0 eL
g
+ L 3 W3 + g Y B L + g eR YR B eR (6.29)
2
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 (6.30)
usando ec. (6.23)


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

gcW sW 3
L 3 g Y LZ + eL + Y LA
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
e h 3 i 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
e h i e
3
+ L s2W Q LZ 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 (6.31)
2sW cW 2sW cW
De modo que
e e + ie e + Lcc + Lnc
LlW B = i (6.32)
donde
e
Lnc =eJEM A + JNC Z (6.33)
2 cos W sin W
donde ahora

JEM = e Qe =
e e (6.34)
y

X
JNC = 3 2Q sin2 W . (6.35)
=L,eR
ELECTRODEBIL
En terminos de los ferminones usuales

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

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

= 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 5 1 2 1
= + e + 2sW + 5 e (6.36)
2 2 2 2
X
JN C = f (vf af 5 )f , (6.37)
f =e,e
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+ (6.38)
2 2
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 + . (6.39)
v
donde
he v
me = . (6.40)
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 ,
LW B = 14 Wi W
i
14 B B

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

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
h i

ie (FW ) W+ A (FW ) W A + W W+ F , (6.43)
e2 h i
+ 2 + +
L4 = 2 W W W W W W e2 cot2 W W+ W Z Z W+ Z W Z
2 sin W


e2 W+ W A A W+ A W A . (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)
X
LEW = if ( mf ) f 14 F F 14 Z Z 21 (FW

) (FW ) + 12 H H
f

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

2 2 f =e f
v
h i

h i
+ +
ie (FW ) W A (FW ) W A + W W F
e2 h i
+ 2 + +
2 W W W W W W e2 cot2 W W+ W Z Z W+ Z W Z
2 sin W


e2 W+ W A A W+ A W A . (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
1/2
v= 2 GF = 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

L= L , eR
eL

u
Q = L , uaR , dR (6.47)
dL
donde es el ndice de color. Productos del tipo uL uL seran denotados simplemente como uL uL .
Ademas
L =PL e , eL,R =PL,R e

uL,R =PL,R u, 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

0 +
uL
=
dL
=0 uL + dL
=12 Q1 2 + 21 Q2 1
=ab Qa b . (6.49)
Bajo una transformacion SU(2)L
e Q = ab Q =ab Uac Ubd Qc d

e Q
a b
=cd det UQc d
=cd Qc d
e Q .
= (6.50)
Las hipercargas se obtienen de

2 1
u
3 L
uL ( 2 + YQ )uL
=(T3 + YQ ) =
13 dL dL ( 12 + YQ )dL
0
0 0 ( 21 + Ye )0
=(T3 + YQ ) = (6.51)
( ) ( 12 + Ye )( )
Entonces
2 1 1 2 1
YQ = = 1/6, Ye = , Y uR = , YdR = . (6.52)
3 2 2 3 3

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
=hd QdR + hu uR e R
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
X
L =i D
=L,eR ,Q,uR ,dR
e R + h.c)
(he LeR + hd QdR + hu Qu
14 Wi W
i
41 B B
+ (D ) D 2 + ( )2 . (6.55)
Donde
a i
D igs Ga ig Wi ig Y B . (6.56)
2 2
En el gauge unitario

0 1 (H(x) + v)
= e=
2 , (6.57)
1 (H(x) + v) 0
2

f= u d e e
2vf 1 sin2 W
8
3
1 + sin2 W
4
3
1 1 + 4 sin2 W
2af 1 1 1 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
L1 gen = if ( mf ) f 1 F F 1 Z Z 1 (F ) (FW ) 1 G
4 4 2 W
e G
4
ea
a
f

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

2 2 f f
v
h i

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


e2 W+ W A A W+ A W A
1 e d e abc e a 2 abc d e

gs Ga fade G G + gs f Gb Gc G + gs f fade Gb Gc G G . (6.58)
4
donde
e = G G
G (6.59)
a
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
1 1 2 1
YLi = YQi = YeiR = 1 YuiR = YdiR = . (6.61)
2 6 3 3

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
L =i Qi D Qi + Li D Li + eR D eR + dR D dR + uR D uR
i
D U e
(hE
ij Li eR j + hij Qi dR j + hij Qi uR j + h.c)
14 Wi W
i
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
hD e
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
hD 0 r
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

dR,L j = (VR,L
D
)jk dR,L k D
dR,L j = dR,L k (VR,L )kj (6.66)
Tal que
D D
(VR,L )ij (VR,L )jk = ik (VLD )ki MijD (VRD )jl = mD
k kl (6.67)

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

X X X X
V V =VLD VLU VLU VLD = 1 Vij Vjk = ik Vji Vjk = ik |Vji|2 = |Vij |2 = 1
j j j j
(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. Simi-
larmente

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.

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; q =u, c, t, d, s, b; l =e, , (6.73)
X
LSM = if ( mf ) f 14 F F 41 Z Z 21 (FW
e G
) (FW ) 14 G a
ea

f

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

h i
+ +
e2 h i
+ 2 + +
2 W W W W W W e2 cot2 W W+ W Z Z W+ Z W Z
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 s b c (6.74)
4
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
m2W
sin2 W =1 , m2W sin2 W = (6.76)
m2Z 2GF
6.3. FENOMENOLOGIA ELECTRODEBIL
149
determinan entonces
sin2 W =0.212
mW =80.94 GeV (6.77)
Si se usa (MZ ) 1/128 entonces
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 aco-
plamientos 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 acopla-
mientos 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 proporcio-
nales 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 2 i
21 + 2 sin2 W + 14
= h 2 i
Nc 12 + 32 sin2 W + 41

0.338 Nc = 2
0.776
= 0.225 Nc = 3 (6.81)
Nc

0.169 Nc = 4

Para ser comparado con el resultado experimental de por ejemplo
Br(Z e+ e ) 3.363(4)
= 0.222 (6.82)
Br(Z bb) 15.12(5)
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
(Z e+ e )
Br(Z e+ e ) =
total
(|ve |2 + |ae |2 )
=P P2 P3
2 2 2 2 2 2 2 2
l [(|vl | + |al | ) + (|vl | + |al | )] + Nc [ i=1 (|vui | + |aui | ) + i=1 (|vdi | + |adi | )]
(|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 3
s4 W
3.43 % (6.83)
Para W tenemos por ejemplo
(W e e )
Br(W e e ) = (6.84)
total
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
X X
total = (W l l ) + Nc [(W u1 di) + (W u2 di )]
l i
X

=(W e e ){3 + Nc [|V1i |2 + |V1i |2 ]}
i

=(W e e )(3 + 2Nc )
(6.85)
entonces
1
Br(W e e ) = = 11.1 % (6.86)
3 + 2Nc
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
, (6.87)
7.819 N = 4
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
" #
g X
Lcc l (1 5 )lW+ + l (1 5 )l W (6.88)
2 2 l
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

e = 1 q q
D g 2 . (6.89)
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

Figura 6.2: diagrama de Feynman para el decaimiento e e
reduce a
e = g .
D (6.90)
m2W
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
g2 g
L= (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 ] , (6.91)
2
donde
GF g2
= 2
2 8mW
g24
= 2 2
8g v
1
= 2, (6.92)
2v
y
1/2
v= 2GF . (6.93)
De otro lado, para el decaimiento , n pe e , de acuerdo a la figura 6.3, tenemos
G
p (1 1.265)n] [
L = [ e (1 5 )e ] . (6.94)
2
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] [
L = V11 [ e (1 5 )e ] . (6.95)
2
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)

Ap
endice A
Soluciones a los problemas
Captulo 2
2.1. De

a = a (A.1)
tenemos que

a = g a = g g a = a (A.2)
De la definicion de transformacion de Lorentz

a b = a b (A.3)
tenemos

a b = a b = a b = a b (A.4)
de donde
= (A.5)
2.3.
1 1 1 GeV
r 16 1
2.5 1018 m (A.6)
m 80 GeV 1/(1.97 10 m )
Captulo 3
3.6 Tenemos
= i2 = 0 1 0
= (A.7)
1 0 0
Haremos la parte correspondiente al termino de masa. Para el termino cinetico es igual.

2 2 0 +
0
m = m

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

de modo que y
155
156
APENDICE A. SOLUCIONES A LOS PROBLEMAS
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 ]
+ g 2 i (kl im km il )Wk Wl m m2 41 Wi W
i
= g [ W ( ) W ]
+ g 2 i Wk Wk i g 2i Wk Wi k m2 14 Wi W
i
= 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
W cos W sin W Z
= .
B sin W cos W A
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
14 W3 W
3
= 14 [c2 ( Z Z )( Z Z ) + s2 ( A A )( A A )
+ 2sc( Z Z )( A A )] (A.13)
157
14 B B 41 W3 W
3
= 14 F F 14 Z Z (A.14)
De otro lado, teniendo en cuenta que
W1 iW2
W+ =
2
W + iW2
1
W =
2
2
W+ + W = W1 = 2W1
2
2
W W+ = W2 = 2iW2 (A.15)
2
W + W+
W1 =
2
W W+

W2 =
2i
(A.16)
14 W1 W
1
14 W2 W
2
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)
158
Teniendo en cuenta que los terminos cruzados son los u

nicos que no se cancelaran, tenemos
14 W1 W
1
41 W2 W
2
12 [ W W+ + W+ W W W+ W+ 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 ) . (A.18)
2
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
!
igT3 W3 ig YL B i2 gW+ L
= iL ieL
i2 gW igT3W3 ig YL B eL
+ ieR ( ig YR B )eR
!
( igT3 W3 ig YL B )L i2 geLW+
= iL ieL
+ ieR ( ig YR B )eR
i2 gLW + ( igT3 W3 ig YL B )eL
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
3
1
=ie e + iL L + g L eL W+ + h.c + Lf AZ (A.19)
2
donde
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

Lf AZ = 2
(T3 Qf sin W )Z + eQf A f f (A.21)
f =e , ,e
sin W cos W
L L R
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
eQf A f f = eQe e e A . (A.22)
f =eL ,L ,eR
160
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

Dirac PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Dirac PDF

Cargado por

Copyright:

Formatos disponibles

Indice general

1. Teora Clasica de Campos 7

3. Principio Gauge Local 53

4. Ruptura espont anea de simetra 97

6. Modelo Est andar 135

A. Soluciones a los problemas 155

Tratamiento relativstico de un campo

Invarianza gauge local

Ejemplos concretos de teoras cuanticas de campos son:

El Modelo Estandar es la TCC que combina de forma consistente la Cromodinamica Cuantica y

1.1. Principio de Mnima Acci

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

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

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

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

En el lmite l 0 y N , y usando las ecs. (1.19) y (1.20),

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 i1 , t)]/l 

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

x = (x0 , xi ) = (x0 , x1 , x2 , x3 ) = (t, x, y, z) = 0, 1, 2, 3, i = 1, 2, 3 , (1.32)

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

Donde hemos aplicado el Teorema de Gauss

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

las ecuaciones de Euler-Lagrange (1.42)

1.3.2. Teorema de Noether para simetras internas

Usando el mismo procedimiento, se obtiene

1.3.3. Teorema de Noether para simetras externas

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

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])

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

cuya carga conservada corresponde a la energa

Generalizando a un campo complejo

Entonces, reemplazando la ec. (1.81) en la ec. (1.80), tenemos

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

Integrando sobre el volumen y usando la ec. (1.97)

Que es un resultado bien conocido de la mecanica cuantica.

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

Igualando cada coeficiente an (o an )

Igualando para cada coeficiente an y an

Entonces, se debe satisfacer que

y las funciones n satisfacen las siguientes condiciones de normalizacion

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.

De nuevo el numero de onda representa el vector de flujo de energa.

puede expandirse en terminos de los operadores a

El Hamiltoniano es ahora un operador dado por

Con el operador de n bn , dado por

Nbn |mi = m|mi

Utilizando las relaciones de conmutacion de Nbn con an y a

Para dos operadores de n

El autoestado del Hamiltoniano para I conjuntos de fonones de diferentes frecuencias puede

de modo que la energa de un estado de Fock es

si m = 0 y v = c, es decir, para ondas propagandose relativsticamente

El momentum de la partcula coincide con el correspondiente n umero de onda

2.1. Unidades Naturales

N 1 i , t)]/l [(z i1 , t)]/l