Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fullnotes PDF
Fullnotes PDF
Introducci
on
1. Teora Cl
asica de Campos
1.1. Principio de Mnima Accion . . . . . . . . . . . . .
1.2. La cuerda clasica unidimensional . . . . . . . . . .
1.3. Principio de Mnima Accion para L . . . . . . . . .
1.3.1. Ecuaciones de Euler-Lagrange . . . . . . . .
1.3.2. Teorema de Noether para simetras internas
1.3.3. Teorema de Noether para simetras externas
1.4. Aplicacion a Mecanica Cuantica . . . . . . . . . . .
1.5. Aplicacion a la cuerda unidimensional . . . . . . . .
1.6. Problemas . . . . . . . . . . . . . . . . . . . . . . .
2. Campos vectoriales
2.1. Unidades Naturales . . . . . . . . . . . . . . .
2.2. Notacion relativista . . . . . . . . . . . . . . .
2.2.1. Ejemplos de cuadrivectores . . . . . . .
2.2.2. Ecuaciones covariantes . . . . . . . . .
2.3. Ecuaciones de Maxwell en notacion covariante
2.3.1. Lagrangiano Electromagnetico . . . . .
2.3.2. Energa del campo electromagnetico . .
2.3.3. Fijacion del gauge . . . . . . . . . . . .
2.4. Ecuaciones de Proca . . . . . . . . . . . . . .
2.5. Problemas . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
13
13
15
16
18
21
27
.
.
.
.
.
.
.
.
.
.
29
29
33
35
39
40
43
47
49
50
52
.
.
.
.
.
.
.
.
.
53
53
59
65
69
73
76
83
88
93
INDICE GENERAL
ii
4. Ruptura espont
anea de simetra
4.1. Masa para el campo escalar . . . . . . . . .
4.2. Boson de Goldstone . . . . . . . . . . . . . .
4.2.1. Coordenadas cartesianas . . . . . . .
4.2.2. Coordenadas polares . . . . . . . . .
4.3. Masa para el boson gauge . . . . . . . . . .
4.4. Mecanismo de Higgs en un caso no Abeliano
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
97
99
99
101
101
103
5. Fermiones
5.1. Ecuacion de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.1. Fermiones de Weyl . . . . . . . . . . . . . . . . . . . . .
5.1.2. Corriente conservada y Lagrangiano de Dirac . . . . . .
5.1.3. Tensor momento-energa . . . . . . . . . . . . . . . . . .
5.1.4. Ecuaciones de Euler-Lagrange . . . . . . . . . . . . . . .
5.1.5. Propiedades de las matrices de Dirac . . . . . . . . . . .
5.2. Electrodinamica Cuantica . . . . . . . . . . . . . . . . . . . . .
5.3. Cromodinamica Cuantica . . . . . . . . . . . . . . . . . . . . . .
5.3.1. Ecuaciones de EulerLagrange . . . . . . . . . . . . . . .
5.4. Soluciones a la ecuacion de Dirac . . . . . . . . . . . . . . . . .
5.4.1. Lagrangiano de Weyl . . . . . . . . . . . . . . . . . . . .
5.4.2. Ecuaciones de Weyl . . . . . . . . . . . . . . . . . . . . .
5.5. Espn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6. Solucion de partcula libre . . . . . . . . . . . . . . . . . . . . .
5.7. Lmite no relativista en presencia de un campo electromagnetico
5.8. Fermiones quirales de cuatro componentes . . . . . . . . . . . .
5.9. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
109
109
109
110
111
112
114
116
117
121
122
122
123
123
126
130
132
134
6. Modelo Est
andar
6.1. Interaccion Electrodebil para leptones . . . . . . . . . . . . . .
6.1.1. Dispersion electronneutrino . . . . . . . . . . . . . . .
6.2. Modelo Estandar . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.1. Primera generacion . . . . . . . . . . . . . . . . . . . .
6.2.2. Dinamica de sabor . . . . . . . . . . . . . . . . . . . .
6.3. Fenomenologa Electrodebil . . . . . . . . . . . . . . . . . . .
6.3.1. Decaimientos debiles mediados por corrientes cargadas
6.4. Calculo de procesos . . . . . . . . . . . . . . . . . . . . . . . .
6.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
135
135
142
143
143
145
148
151
153
153
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
155
Introducci
on
Nuestro entendimiento de como funciona el mundo fsico ha llegado a una culminacion exitosa
en a
nos recientes con el desarrollo y comprobacion experimental del Modelo Estandar (ME) de las
interacciones fundamentales. A medida que el ME ha llegado a ser mejor entendido y comprobado
experimentalmente, mucha mas gente con algunos conocimientos en fsica desea entender cuantitativamente este nuevo exito de las ciencias moderna. Debido a esto, parece esencial tener una presentacion del ME que pueda ser usada a nivel pregrado. En el presente trabajo pretendemos desarrollar un
n
ucleo basico de temas que permitan construir el sector bosonico del Modelo Estandar y mostrar que
dentro de este marco se pueden ilustrar los aspectos mas importantes del ME. Este material de apoyo
esta dirigido a personas que con conocimientos de mecanica y electromagnetismo a nivel de pregrado
quieran obtener un conocimiento basico de los principios subyacentes y las principales predicciones
del Modelo Estandar de las partculas elementales que permita apreciar una de las fronteras mas
importantes de la ciencia moderna.
El Modelo Estandar da una descripcion amplia de las partculas basicas y las fuerzas de la
naturaleza y de como pueden ser descritos todos los fenomenos fsicos que vemos. Este contiene los
principios subyacentes de todo el comportamiento de protones, n
ucleos, atomos, moleculas, materia
condensada, estrellas, y mas. El Modelo Estandar ha explicado mucho de lo que no fue entendido
antes; ha hecho cientos de predicciones exitosas, incluyendo muchas que han sido dramaticas; y a
excepcion de los resultados sobre oscilaciones de neutrinos, no hay ning
un fenomeno en su dominio
que no haya sido explicado.
La madurez de la formulacion del Modelo Estandar hace que cada vez sea mas necesario que
cualquier persona formada en fsica deba tener un conocimiento basico de sus principios subyacentes
y sus principales predicciones. Sin embargo, una apreciacion completa del exito y el significado del
Modelo Estandar requiere de un conocimiento profundo de la Teora Cuantica de Campos que va
mas alla de lo que es ense
nado usualmente en los cursos de pregrado en fsica. La Teora Cuantica de
Campos combina de forma coherente la mecanica cuantica y la relatividad especial. No fue sino hasta
que la Teora Cuantica de Campos quedo completamente formulada a principio de los a
nos setenta
(con la prueba de que las Teoras Gauge no abelianas con ruptura espontanea de simetra eran renormalizables), que el Modelo Estandar consiguio emerger como la teora que explica el comportamiento
conocido de las partculas elementales y sus interacciones.
A medida que el Modelo Estandar ha llegado a ser mejor entendido y comprobado experimentalmente, mucha mas gente con algunos conocimientos en fsica pero que no esta interesada en trabajar
en fsica de partculas, desea entender cuantitativamente este nuevo exito de las ciencias moderna.
Debido a esto, parece esencial tener una presentacion del Modelo Estandar que pueda ser usada a
nivel pregrado. Ademas, parece a
un mas importante tener libros que cualquier estudiante o fsico
que tenga los conocimientos necesarios pueda leer para aprender sobre los desarrollos en fsica de
partculas. Aquellos desarrollos deberan ser parte de la educacion de cualquiera interesado en lo que
la humanidad ha aprendido acerca de los constituyentes basicos de la materia y las fuerzas de la
1
Introduccion
naturaleza.
Pero hasta hace poco tiempo no haba un sitio donde las personas con los conocimientos suficientes pudieran ir a aprender esos desarrollos. Para llenar este vaco aparecieron libros como el de
Kane [1] (1993) y Cottingham [2] (1998) donde los prerrequsitos mnimos son un curso introductorio
en mecanica cuantica (Fsica Moderna) y los cursos normales de pregrado en mecanica y electromagnetismo. Con estas herramientas es posible obtener un buen entendimiento a nivel cuantitativo
de la fsica de partculas moderna. En estos libros se ha hecho un esfuerzo por extraer los conceptos y tecnicas basicas usadas en el Modelo Estandar de modo que un mayor n
umero de fsicos no
especializados en el area puedan tener una vision del logro intelectual representado por el Modelo, y
compartir el excitamiento por su exito. En estos libros el Modelo Estandar es ense
nado escribiendo
la forma basica de la teora y extrayendo sus consecuencias.
Todos los tratamientos anteriores eran a nivel de posgrado para fsicos que queran especializarse
en el area, o descripciones populares demasiado superficiales para realmente entender los desarrollos,
o descripciones historicas carentes de la logica profunda del Modelo Estandar.
Con nuestra experiencia dictando los cursos de introduccion a la fsica de partculas en la carrera
de Fsica basados en estos textos, ha quedado claro que con una presentacion del Modelo Estandar
de una forma deductiva en lugar de la aproximacion historica usual de los libros mas avanzados,
los estudiantes pueden llegar a entender la estructura basica de la fsica de partculas moderna.
Ademas resulta ser una peque
na extension adicionar el marco apropiado para entender porque algunas
direcciones de la investigacion de frontera se enfatizan mas, y en que direcciones se espera que
aparezcan nuevos progresos.
Con el presente trabajo queremos ir mas alla del objetivo de los anteriores libros y mostrar
que con una reorganizacion e inclusion de topicos adicionales no enfatizado en esos libros, con solo
los conocimientos de los cursos normales de pregrado en mecanica y electromagnetismo, se puede
llegar mas rapidamente a un entendimiento cuantitativo de los aspectos mas importantes del Modelo
Estandar.
En el presente trabajo pretendemos desarrollar un n
ucleo basico de temas que permitan construir
el sector bosonico del Modelo Estandar y mostrar que dentro de este marco se pueden ilustrar los
aspectos mas importantes del Modelo Estandar.
La Teora Cuantica de Campos (TCC) es el marco teorico utilizado en la descripcion cuantica
de campos relativistas. En este teora se estudian sistemas en los cuales las partculas pueden ser
creadas y destruidas. Esta teora resulta de combinar la mecanica cuantica con la relatividad especial
en un marco consistente. Las teoras cuanticas de campos se describen mas convenientemente en
el formalismo Lagrangiano. De hecho, los Lagrangianos que describen las partculas elementales y
sus interacciones puede ser construidos a partir de principios de simetra. Aspectos basicos de la
construccion de la TCC son:
Lagrangianos para campos de una sola partcula
Tratamiento relativstico de un campo
Segunda cuantizacion de campos de una sola partcula, bien sea mediante la cuantizacion
canonica o a traves de integrales de camino
Tratamiento de una sola partcula de forma covariante que permita describir la creacion y
aniquilacion de partculas.
Invarianza gauge local
Introduccion
Introduccion
se puede generalizar el potencial del Lagrangiano para el campo escalar de modo que se pueda
interpretar su masa como las oscilaciones del campo alrededor de estado de energa fundamental, el
vacio. Se puede estudiar a partir de all, la ruptura espontanea de simetra. Con estos ingredientes
se puede construir finalmente el Lagrangiano bosonico del Modelo Estandar.
Despues de esto, se puede introducir el campo de Dirac como la solucion al la ecuacion equivalente
a la ecuacion Scrodinger pero compatible con la relatividad especial. Luego de definir el espn y la
helicidad se impone la invarianza gauge local del Modelo Estandar al Lagrangiano de Dirac y se
obtiene de esta forma el Lagrangiano completo del Modelo Estandar.
En el primer captulo se ha abordado la formulacion Lagrangiana de la Teora de Campos Clasica.
En la seccion 1.1 (ver Anexo 2), se formula el Principio de Mnima Accion para sistemas de partculas
y se establece que la cantidad a minimizar corresponde al Lagrangiano del sistema. Este Lagrangiano
depende de coordenadas generalizadas de desplazamiento y su derivada temporal.
En la seccion 1.2 se construye el sistema continuo mas simple correspondiente a las oscilaciones
de una cuerda unidimensional. Esta se construye suponiendo un sistema discreto de partculas unidas
por resortes que oscilan alrededor de su punto de equilibrio. Usando las tecnicas de la seccion 1.1 se
construye el Lagrangiano interpretando como desplazamiento el campo que describe las oscilaciones
de cada partcula. Tomando el lmite de infinitas partculas y separacion cero, se reescribe la Accion
en terminos de la densidad Lagrangiana y se establece que para sistemas continuos es dicha densidad Lagrangiana la que hay que minimizar para establecer el principio de mnima accion. Tenemos
entonces de un lado la Lagrangiana como punto de partida para describir las coordenadas de sistemas discretos, y la densidad Lagrangiana para describir los campos de desplazamiento de sistemas
continuos.
En la seccion 1.3 se usan metodos variacionales para calcular la variacion de la accion debida a
transformaciones de los campos (transformaciones internas) y de las coordenadas (transformaciones
externas). Con este resultado se derivan las ecuaciones de Euler-Lagrange en terminos de la densidad
Lagrangiana y se demuestra el Teorema de Noether. Para simetras internas se encuentra la expresion
para la corriente conservada J en terminos de la densidad Lagrangiana. Para simetras externas se
encuentra la expresion para el tensor T , que en sistemas relativistas se interpreta como el tensor
de momento-energa T .
De este modo dada una densidad Lagrangiana, las cantidades a calcular corresponden a la ecuacion
de movimiento resultante de la ecuaciones de Euler Lagrange, la corriente conservada J si la densidad
de Lagrangiana posee alguna simetra continua, y el tensor T .
Para la densidad Lagrangiana que da lugar a la ecuacion de Scrodinger en la secci
R on 1.4, la
simetra interna de invarianza de fase da lugar a la conservacion de la probabilidad, V T00 d3 x da
lugar a la energa del sistema, y la integral de T0i da lugar al correspondiente n
umero de onda de la
solucion de onda plana para la ecuacion de Scrodinger.
La densidad Lagrangiana para la cuerda unidimensional no posee simetras internas continuas.
Con respecto a las simetras externas, en la seccion 1.5 se muestra que para interpretar correctamente
el tensor T en este caso, es preciso cuantizar el campo que describe las oscilaciones de la cuerda.
Al cuantizarlo se encuentra que este describe una partcula que transporta energa, y en el lmite
en el cual la velocidad de la onda es la velocidad de la luz, la partcula correspondiente tambien
transporta momentum. De hecho, para que una onda sea solucion a las ecuaciones que describen las
oscilaciones de una cuerda unidimensional relativista se requiere que su frecuencia y n
umero de onda
satisfagan la ecuacion de energa-momento relativista con masa cero. La adicion de un termino de
masa al Lagrangiano correspondiente, da lugar a la ecuacion de Klein-Gordon para un campo real.
En el segundo captulo se estudia la version covariante de la ecuaciones de Maxwell. Despues
Introduccion
de introducir las unidades naturales en la seccion 2.1 y la notacion relativista en la seccion 2.2,
la forma covariante de las ecuaciones de Maxwell se desarrolla en la seccion 2.3. All se explota la
invarianza gauge para encontrar el Lagrangiano electromagnetico, el cual se reduce a las ecuaciones
de Klein-Gordon con masa igual a cero cuando se escoge el Gauge de Lorentz. En la seccion 2.4, se
modifican las ecuaciones de Maxwell para permitir un termino de masa. Como dicho termino rompe
la invarianza gauge de la teora, el gauge de Lorentz pasa a ser una condicion ineludible que da lugar
a la ecuacion de Klein-Gordon para un campo vectorial.
En el tercer captulo se introduce la ecuacion de KleinGordon como un caso particular de la
ecuacion de Proca. Se muestra que dicha ecuacion exhibe una simetra discreta de paridad para
el caso de un campo real. En las secciones subsiguientes se aumenta el Lagrangiano adicionando
mas grados de libertad de la misma masa y se muestra como va aumentando la simetra de una
simetra discreta a simetras continuas abelianas y no abelianas. A la luz de teorema de Noether
estas simetras dan lugar a cargas conservadas globalmente. En la seccion 3.3 se establece el principio
gauge local para imponer que la carga se conserve localmente. Esto da lugar a la aparicion del campo
gauge asociado a las interacciones electromagneticas y a la dinamica asociada a la interaccion del
campo escalar complejo en presencia del campo electromagnetico. En la seccion 3.5 se generaliza el
principio gauge local al caso no Abeliano, y en la seccion 3.6 se combinan el caso Abeliano con el
no Abeliano. Las nuevas caractersticas de las ecuaciones del campo gauge no Abeliano se ilustran
usando la representacion adjunta del Grupo no Abeliano en la seccion 3.7.
En el cuarto captulo se repite el mismo procedimiento del anterior captulo pero reemplazando
el potencial escalar de 12 m2 2 a 21 2 2 14 4 con 2 < 0 y > 0. De modo que no puede
interpretarse como un parametro de masa. Este potencial contiene un conjunto degenerado de vacos
que no respetan la invarianza del Lagrangiano. El analisis del espectro partculas alrededor de uno de
estos mnimos da lugar a bosones de Higgs masivos, seccion 4.1, bosones de Goldstone, seccion 4.2, y
campos gauge masivos, seccion 4.3 a traves del mecanismo de ruptura espontanea de la simetra. La
seccion 4.4 es un aplicacion de todos los conceptos y tecnicas desarrollados al caso del sector bosonico
del Modelo Estandar de las partculas elementales.
En el quinto captulo, basandonos en principios de simetra, se encuentra el Hamiltoniano de la
Ecuacion de Schrodinger dependiente solo de primera derivadas y que es compatible con la ecuacion
de KleinGordon. Este corresponde la ecuacion de Dirac que describe los fermiones del Modelo
Estandar. El Hamiltoniano resulta ser en este caso una combinacion lineal de matrices que satisfacen
el algebra de Dirac. El Lagrangiano de Dirac, resulta tener una invarianza abeliana global. En la
seccion 5.2 se usa el principio gauge local para hacer que la carga asociada a la transformacion abeliana
sea local. Como antes esto da lugar a la aparicion del campo gauge asociado a las interacciones
electromagneticas y a la dinamica asociada a la interaccion del campo fermionico en presencia del
campo electromagnetico. En la seccion 5.6 se definen la helicidad izquierda y derecha de los fermiones.
En el captulo seis, se construye el Lagrangiano leptonico gauge local para el Grupo SU(2)L
U(1)Y que describe correctamente las interacciones debiles y electromagneticas. Como 3 de los 4
bosones gauge son masivos debe introducirse un potencial escalar que rompa espontaneamente la
simetra. En la seccion 5.3 se introduce el grupo gauge local no Abeliano responsable de las interacciones fuertes entre quarks y que completa la estructura de grupo del Modelo Estandar de las
partculas elementales.
La pagina web del curso esta en:
http://gfif.udea.edu.co/tikiwiki/showpage?htcc
Introduccion
Captulo 1
Teora Cl
asica de Campos
1.1.
El Principio de Mnima accion establece, una vez fijado el espacio de coordenadas generalizadas
sobre el espacio de configuracion, que de todas las trayectorias posibles que transcurren entre t1 y t2 ,
el sistema escogera aquella que minimice la accion S [8]. La magnitud de la accion viene dada para
cada trayectoria por la integral:
Z t2
L(qi (t), qi (t), t)dt
(1.1)
S [qi , qi ] =
t1
Donde: qi (t) son las coordenadas parametricas de una trayectoria posible. L(qi , qi , t), es la funcion
lagrangiana del sistema.
Puede probarse mediante principios variacionales, que de todas las trayectorias posibles, la que
hace estacionaria la anterior expresion es la que satisface la siguiente condicion i:
L
d L
=0
(1.2)
dt qi
qi
conocidas como las ecuaciones de Euler-Lagrange. La demostracion se hara mas adelante para el caso
en el que las coordenadas generalizadas corresponden a funciones de campo.
De momento mostraremos como la segunda ley de Newton [10], puede escribirse en la forma de
la ec. (1.2).
F = ma
d2 x
V (x)
=m 2
x
dt
dx
=m
dt
d 1 2
mx
=
dt x 2
(1.3)
Podemos introducir el Lagrangiano a cada lado de la igualdad adicionando terminos con la respectiva
derivada parcial cero:
1 2
d 1
2
mx V (x) =
mx V (x) .
x 2
dt x 2
7
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
= 0.
dt x
x
Una forma mas rigurosa de escribir la ec. (1.3) puede encontrarse en [8].
El Hamiltoniano del sistema se obtiene definiendo la variable canonica conjugada de x
p=
L
= mx,
(1.4)
L
1
x L = mx 2 + V = T + V
x
2
(1.5)
Para visualizar el principio de mnimo de accion se recomienda seguir las actividades del programa
interactivo en Java disponible online en [9]. All se considera el problema de un objeto de 0.2Kg
lanzado hacia arriba y retornado al punto de partida 3 segundos despues. Si dividimos la trayectoria
en tres intervalos como se muestra en la Fig. 1.1, teniendo en cuenta que la velocidad es la pendiente
del segmento, para t = 0.75 s x1 = 11.13 m, t1 = 0.75 s, x2 = 0 m, t2 = 1.5 s, tenemos que para la
trayectoria mostrada
Z t2
X
(T V )dt
(T V )i t
S=
t1
i
"
2
X
i=1
1
m
2
xi xi1
ti ti1
2
mgxi t
16.67 J s
(1.6)
L(q, q,
t) =
L(q, q,
t)
or
L(q, q,
t) = L(q, q,
t)dq.
(1.7)
q
La ec. (1.1) puede escribirse entonces como
Z
S [qi , qi ] =
t2
t1
(1.8)
1.2.
La cuerda cl
asica unidimensional
1.2. LA CUERDA CLASICA
UNIDIMENSIONAL
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
10
1 X
L= m
2 i=0
i
t
2
N 1
2
1 X
i+1 i ,
k
2 i=0
2
1 X 2 1 X
= m
i k
i+1 i .
2 i=0
2 i=0
N 1
N 1
(1.9)
(1.10)
(1.11)
i , t) (z,
t),
i = (z
(1.12)
que representa la funcion de campo del desplazamiento de una masa infinitesimal de su posicion de
equilibrio. Entonces
2
N 1
N 1
i+1 i
1 X m 2 1 X
(kl)l
.
l i
L=
2 i=0 l
2 i=0
l
2
N 1
N 1
i+1 i
1X
1 X 2
i l
T
l.
=
2 i=0
2 i=0
l
En el lmite continuo
R
P
( ) l ( ) dz, entonces
L=
con
" 2
2 #
Z L
1
dz =
T
Ldz,
2
t
z
0
(1.14)
" 2
2 #
,
T
L=
2
t
z
(1.15)
y
S=
Definiendo
(1.13)
L dtdz.
T ,
(1.16)
(1.17)
1.2. LA CUERDA CLASICA
UNIDIMENSIONAL
11
tenemos
"
1
2 T
"
1 1
=
2 v2
L(/t, /z) =
2 #
t
T z
2 2 #
t
z
2
(1.18)
Note que:
1 2
L
= 2 2
t (/t)
v t
2
L
= 2
z (/z)
z
(1.19)
(1.20)
dt i
i
En el lmite l 0 y N , y usando las ecs. (1.19) y (1.20),
!
d
2 i
d L
=
mi = m 2
dt i
dt
t
2 i
= Tl
T t2
1 2
l T
v 2 t2
L
.
=l T
t (/t)
(1.22)
(1.23)
N
1
X
i=0
i+1 i
2
= 1 0
= 1 0
2
2
2 1
2 1
2
2
(i1)+1 i1
i i1
2
2
i+1 i
i+1 i
Entonces
N 1
2
X
i+1 i = 2 i i1 2 i+1 i (1)
i i=0
i+1 i i i1
.
=2l
l
l
2
2
(1.24)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
12
i+1 i =2l
l
l
i i=0
zi , t)/z
(
zi+1 , t)/z (
2l2
l
l
2
=2l2 2
z
2l2 2
.
T z 2
(1.25)
(1.26)
(1.27)
De las ecuaciones (1.22) y (1.26), obtenemos la ecuacion de movimiento para el campo (z, t):
1 2 2
2 = 0,
v 2 t2
z
(1.28)
(1.29)
De otro lado, de las ecuaciones (1.23) y (1.27), obtenemos las ecuaciones de Euler-Lagrange para la
densidad Lagrangiana
L
L
+
= 0.
(1.30)
t (/t)
z (/z)
En tres dimensiones:
L
L
L
L
+
+
+
= 0.
t (/t)
x (/x)
y (/y)
z (/z)
(1.31)
Definiendo
x = (x0 , xi ) = (x0 , x1 , x2 , x3 ) = (t, x, y, z)
= 0, 1, 2, 3,
i = 1, 2, 3 ,
(1.32)
PARA L
1.3. PRINCIPIO DE MINIMA ACCION
13
L
= 0,
x (/x )
donde, en la u
ltima ecuacion se ha usado la convencion de suma sobre ndices repetidos.
Si la densidad Lagrangiana depende tambien directamente de , L(/x , ), entonces la ecuacion de Euler-Lagrange para las coordenadas generalizadas /x y , es
L
L
= 0.
(1.33)
x (/x )
Esta
u
ltima ecuacion de deducira usando metodos variacionales en la siguiente seccion
1.3.
1.3.1.
Definamos
,
x
En tres dimensiones, la accion de la ec. (1.16), queda
Z
S[, ] =
d4 xL(, )
=
(1.34)
(1.35)
donde d4 x = dt dx dy dz. Considere primero una variacion solo de los campos, tal que (x = x )
(x) = (x) (x)
( )
S = S S =
d x L( , )
d4 x L(, )
R
R
Z
L
L
=
d4 x
+
()
( )
R
Z
Z
L
L
L
4
4
+
d x
=
d x
( )
( )
R
R
Z
Z
L
L
L
4
+
S =
d x
d = 0.
( )
( )
R
(1.36)
(1.37)
(1.38)
(1.39)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
14
(1.40)
( )
R
Como es cualquier posible variacion entre las fronteras de la hipersuperficie, el integrando debe
anularse y resultan las ecuaciones de Euler-Lagrange:
L
L
= 0.
(1.42)
( )
La densidad Lagrangiana
L = L + ((x))
(1.43)
donde (x) es cualquier funcion de los campos de la densidad Lagrangiana original, da lugar a la
Accion
Z
Z
Z
4
S =
d xL = d xL+
d4 x
R
ZR
ZR
4
= d x L + d
R
=S ,
(1.44)
para una hipersuperficie suficientemente grande. De modo que dos densidades lagrangianas que difieran solo en derivadas totales dan lugar a la misma Accion.
Usando el principio de mnima accion en terminos del campo , tenemos que para la densidad
Lagrangiana (1.18)
"
2 #
2
1 1
,
(1.45)
L=
2
2 v
t
z
las ecuaciones de Euler-Lagrange (1.42)
L
L
L
+ 3
=0
0
(0 )
(3 )
L
+
=0
t (/t)
z (/z)
1
=0
v 2 t t
z z
1 2 2
2 =0 ,
v 2 t2
z
que corresponde a la ec. (1.28).
(1.46)
PARA L
1.3. PRINCIPIO DE MINIMA ACCION
15
Generalizando a tres dimensiones vemos que la ecuacion para una onda propagandose a una
velocidad v, eq. (1.29),
1 2
2 = 0 ,
(1.47)
2
2
v t
proviene de una densidad Lagrangiana (hasta derivadas totales)
"
#
2
1
1
L=
2
v 2 t
1 1
0 0 i i .
(1.48)
=
2 v2
1.3.2.
S[, , , ] =
d4 x L(, , , )
(1.49)
S = d x
( )
( )
R
R
Z
L
L
+
d4 x
= 0.
+
( )
( )
R
(1.50)
Usando de nuevo el Teorema de Gauss resultan las ecuaciones de Euler Lagrange para y
L
L
L
L
= 0.
= 0,
(1.51)
( )
( )
De otro lado, si asumimos que y satisfacen las ecuaciones de EulerLagrange, en lugar de asumir
que y se anulan sobre la hipersuperficie, los dos primeros terminos de la ec. (1.50) se anulan
y tendremos que para que S = 0:
Z
d4 x ( J ) = 0,
(1.52)
R
donde,
L
L
J =
+
( )
( )
Entonces J satisface la ecuacion de continuidad:
(1.53)
J = 0
(1.54)
J 0
+J =0
t
(1.55)
Z
J 0 3
d x+
J d3 x = 0,
t
ZV
ZV
J 0 3
d x + J dS = 0,
S
V t
(1.56)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
16
Escogiendo una superficie suficientemente grande que abarque toda la fuente de densidad = J 0 , de
la corriente J, el segundo integrando es cero y
d
dt
d3 x = 0.
(1.57)
1.3.3.
Para el caso de una simetra externas, por ejemplo la correspondiente a una traslacion espacio
temporal
x x =x + a
x =a
(1.59)
tenemos
(x ) = (x + a)
(x)
(x) +
a
x
(1.60)
(1.61)
[(x) + (x)]a
x
(x)
a ,
(x) + (x) +
x
= [(x) + (x)] +
(1.62)
(1.63)
(x)
a .
x
(1.64)
(1.65)
(1.66)
(1.67)
PARA L
1.3. PRINCIPIO DE MINIMA ACCION
17
S =
d x L( , , x )
d4 x L((x), (x), x)
R
ZR
Z
4
=
d x L( + , + (), x + a)
d4 x L
R
R
Z
Z
L
L
4
d x L+
d4 x L
+
() + ( L)a
( )
R
R
Z
L
L
4
+
() + ( L)a
=
dx
( )
R
Z
L
L
4
+
() + ( L)a
=
dx
( )
( )
R
Z
L
4
+ ( L)a
=
d x
( )
R
Z
L
4
=
d x
( ) + L a
( )
ZR
=
d4 x ( T ) a = 0.
(1.68)
R
Y por consiguiente
T = 0,
donde
T =
L
( ) L
( )
(1.69)
(1.70)
H = T00 =
(1.71)
(1.72)
L
.
((x)/t)
(1.73)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
18
El teorema de Noether en este caso establece que la invarianza de la Accion bajo traslaciones temporales da lugar a la ecuacion de continuidad (1.69) para = 0
T0 = 0
(1.74)
(1.75)
De igual forma la invarianza bajo traslaciones espaciales de lugar a ecuaciones de continuidad para
cada componente = i (i = 1, 2, 3)
Ti = 0,
(1.76)
cuyas densidad de cargas conservadas, Ti0 , que en forma vectorial escribiremos como T0 , dan lugar
a la conservacion del momentum
Z
d 3 x T0 .
(1.77)
P=
V
1.4.
L
L
( ) + ( )
L
( )
( )
(1.78)
Aplicaci
on a Mec
anica Cu
antica
L(, , , ) =
+ V
2m
2
t
t
1
i
=
i i ( 0 0 ) + V .
2m
2
(1.79)
Aplicando las ecuaciones de Euler-Lagrange (1.51) para la funcion de onda obtenemos la ecuacion
de Scrodinger con ~ = 1:
L
L
L
L
L
0 =
+ i
= 0
.
(1.80)
( )
(0 )
(i )
Como
i
L
=
(0 )
2
1
L
=
i
(i )
2m
L
i
= 0 + V
L
i
=
(0 )
2
L
1
=
i
(i )
2m
L
i
=
0 + V .
2
(1.81)
A MECANICA
1.4. APLICACION
CUANTICA
Entonces, reemplazando la ec. (1.81) en la ec. (1.80), tenemos
L
i
i
1
L
= 0
+ i
i 0 + V
0 =
( )
2
2m
2
i
1
i
= 0 +
i i + 0 V .
2
2m
2
Que puede escribirse como
i =
t
1 2
+ V .
2m
19
(1.82)
(1.83)
J =
+
(0 )
(0 )
i
i
= (i) + (i )
2
2
= ,
(1.85)
(1.86)
(1.87)
y
L
L
J =
+
(i )
(i )
1
1
i (i) + (i )
i
=
2m
2m
i
(i i ) .
=
2m
i
(1.88)
(1.89)
(1.90)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
20
En cuanto a las simetras externas, tenemos de la ec. (1.70) que da lugar a las ecuaciones de
continuidad (1.74)(1.76)
T0 = 0,
Ti = 0
(1.92)
Las cargas conservadas corresponden entonces a T00 y Ti0 . Usando las ecs. (1.81) en la ec. (1.78)
L
L
(i ) + (i )
(0 )
(0 )
i
i
Ti0 = (i ) + (i )
2
2
Ti0 =
Entonces, definiendo
T0 =
i
( )
2
(1.93)
(1.94)
Ademas
i
(( ) )
2
i
= i + ( ) .
2
T0 =
(1.95)
Integrando en el volumen
Z
T d x = i
i
d x
2
d3 x
(1.96)
(1.97)
De modo que hb
pi son las cargas conservadas asociadas al valor esperado el operador de momentum
b = i .
p
De otro lado
(1.98)
L
L
0 + 0
L
(0 )
(0 )
i
i
1
i
= 0 + 0
i i + ( 0 0 ) V
2
2
2m
2
1
i i V
(1.99)
=
2m
Como las corrientes solo estan determinadas hasta un factor de proporcionalidad, definimos
T00 =
1
+ V
2m
1
1 2
=
( )
+ V .
2m
2m
H T00 =
(1.100)
A LA CUERDA UNIDIMENSIONAL
1.5. APLICACION
Integrando sobre el volumen y usando la ec. (1.97)
Z
Z
Z
1 2
1
3
( ) +
+ V d3 x
Hd x =
2m
2m
V
V
Z
ZV
1
1 2
=
( ) +
+ V d3 x
2m
2m
V
V
Z
i
1 2
=
hb
pi +
+ V d3 x
2m
2m
V
Z
1
2
+ V d3 x .
=
2m
V
Entonces
H
=
Hd x =
(1.101)
1 2
+ V d3 x
2m
b = hHi.
b
d3 x H
b .
i = H
t
Podemos identificar entonces los operadores de energa y momentum.
b =i,
H
t
21
= i .
p
(1.102)
(1.103)
(1.104)
(1.105)
Retornando a la ec. (1.97), tenemos que para la solucion de partcula libre de la ecuacion de
Schrodinger
= A eikx ,
(1.106)
la condicion de normalizacion en ec. (1.91) implica que |A|2 = 1/L3 , y
Z
T0 d3 x = k.
(1.107)
Notese que de la ec. (??) se puede obtener la densidad Hamiltoniana, y usando la ec. (1.71) se
puede encontrar la densidad Lagrangiana
1.5.
Aplicaci
on a la cuerda unidimensional
(1.108)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
22
(1.109)
L
L
(/t) t
"
2
2 #
2
1
1 1
= 2
v
t
2 v 2 t
z
"
#
2
2
1 1
=
,
+
2 v 2 t
z
H(/t, /z) =
y
H=
H dz .
(1.110)
H
= 0,
t
que establece la conservacion de la energa. Ademas
Z L
Pz =
T30 dz .
(1.111)
(1.112)
(1.113)
T03 .
La componente z del vector de flujo de energa (vector de Poynting) del campo esta dado por
De la ecuacion para T (1.70)
L
(/t)
(/z)
=
.
z t
Pz =
(1.114)
De otro lado
L
(/z)
(/t)
1
.
= 2
v t z
T30 =
(1.115)
(1.116)
Para encontrar la forma explicita del Hamiltoniano y de Pz , proponemos como solucion general
a la ecuacion de onda (1.28)
1/2
X
v2
an ei(kn zn t) + an ei(kn zn t) ,
(1.117)
(z, t) =
2n L
n=
A LA CUERDA UNIDIMENSIONAL
1.5. APLICACION
23
Para que se satisfagan las condiciones periodicas (0, t) = (L, t), donde L es la longitud de la cuerda
1/2
2 1/2
X
v
v2
in t
in t
an e
+ an e
=
an ei(kn Ln t) + an ei(kn Ln t) ,
2n L
2n L
n=
(1.118)
2n
,
L
n = 0, 1, 2, . . . .
(1.119)
(1.120)
De la ecuacion de onda,
1 2 2
2 =0
v 2 t2
z (
)
2 1/2
X
1 2
v
an ei(kn zn t) + an ei(kn zn t)
2 t2
v
2
L
n
n=
)
(
1/2
X
v2
2
= 0.
an ei(kn znt) + an ei(kn zn t)
2
z
2
L
n
n=
Igualando para cada coeficiente an y an
)
(
1/2
1 2
v2
an ei(kn zn t) + an ei(kn zn t)
v 2 t2
2n L
)
(
1/2
v2
2
i(kn zn t)
i(kn zn t)
an e
+ an e
= 0,
2
z
2n L
in
i(kn zn t)
i(kn zn t)
a
e
a
e
n
n
v 2 t
an ei(kn znt) an ei(kn zn t) = 0 ,
ikn
z
n2
an ei(kn zn t) + an ei(kn zn t)
2
v
+ kn2 an ei(kn zn t) + an ei(kn zn t) = 0
n2
2
2 + kn [an n (z, t) + an n (z, t)] = 0 ,
v
donde
1
n (z, t) = ei(kn zn t) .
L
(1.121)
(1.122)
(1.123)
(1.124)
(1.125)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
24
Entonces, se debe satisfacer que
n2 = v 2 kn2
2 2
2
2 4 n
n = v
.
L2
(1.126)
kn y n satisfacen
kn = kn ,
n = n .
(1.127)
(1.128)
(1.129)
Ademas
(1.130)
X
=
n an an
(1.131)
n=
X
Pz =
T30 dz =
kn an an
(1.132)
0
n=
De nuevo el n
umero de onda representa el vector de flujo de energa.
Esto puede hacerse de
En una teora cuantica de campos, el campo pasa a ser un operador .
dos maneras. Por el metodo de cuantizacion canonica, usando la variable canonica conjuga (z, t)
definida en la ec. (1.73), que para el caso de la cuerda unidimensional corresponde a
(z, t) =
1
.
v 2 t
(1.133)
[
(z, t),
(z , t)] = 0
(1.134)
A LA CUERDA UNIDIMENSIONAL
1.5. APLICACION
25
(1.135)
n=
y y
satisfacen las relaciones de conmutacion (1.134) si
[
an , a
n ] = 1
[
an , a
n ] = 0
[
an , a
n ] = 0.
(1.136)
bn , dado por
Con el operador de n
umero N
n=
bn ,
wn N
bn = a
N
n an .
(1.137)
(1.138)
bn es Hermtico, cada N
bn este tiene un conjunto completo de autoestados ortonormales [7]
Ya que N
bn |mi = m|mi
N
hm |mi = m m
X
1=
|mihm|.
(1.139)
bn con an y a
Utilizando las relaciones de conmutacion de N
n se puede demostrar que
a
n |mi = m + 1 |m + 1i
a
n |mi = m |m 1i.
(1.140)
y por consiguiente
bn |mi = m|mi
N
Esto significa que todos los estados se pueden generar desde un estado base |0i
m
a
n
|mi =
|0i.
m!
(1.141)
(1.142)
CAPITULO 1. TEORIA CLASICA
DE CAMPOS
26
De este modo
n=
(1.143)
(1.144)
I
X
i=1
(1.146)
I
X
ni mni .
(1.147)
i=1
Los fonones estan asociados a frecuencias, o modos normales de la cuerda, de modo que estan
relacionados al movimiento de la cuerda como un todo, mientras que las partculas de la cuerda
estan localizadas en el espacio de posiciones. En general pueden existir partculas asociadas a campos
abstractos que no tienen conexion con ning
un sistema mecanico.
Finalmente, si el n
umero de cuantos de una determinada frecuencia n1 se puede conocer sin
ninguna incertidumbre entonces el campo n1 (z, t) = hn1 |n1 (z, t)|n1 i es completamente incierto.
Entre mayor sea la incertidumbre en el n
umero de fonones de una determinada frecuencia con mayor
precision se podra determinar el campo clasico asociado a esa frecuencia [7].
Retornando a la ec. (1.144) podemos ver que n1 puede interpretarse como una partcula que
transporta una energa (~ = 1)
n1 i = n1 mn1
hmn1 |H|m
(1.148)
Para una interpretacion completa de partcula se debe mostrar que el campo cuantizado tambien
transporta momentum. De hecho
(1.149)
hmn1 |Pz |mn1 i = kn1 mn1
La interpretacion del n
umero de onda de un campo cuantico como momentum es mas simple en
el contexto de la relatividad especial. La ec. (1.126), puede interpretarse como la ecuacion energa
momentum de la relatividad especial (c = 1)
E 2 = p2 + m2 ,
(1.150)
(1.151)
27
1.6. PROBLEMAS
Entonces, la interpretacion del campo como partcula, es mas directa en un contexto donde se
combine la relatividad especial con la cuantizacion del campo mismo. Obviando estos detalles, en
adelante llamaremos partcula al campo clasico.
Si modificamos el Lagrangiano en ec. (1.18), para incluir un termino adicional (v = c = 1)
"
#
2
2
1
L(/t, /z) =
(1.152)
m2 2 .
2
t
z
entonces, la ec. (1.135) es solucion a la ecuacion resultante de aplicar las ecuaciones de EulerLagrange:
2 2
2 + m2 =0
2
t
z
2
2
+ m =0,
t2 z 2
si
2 = k 2 + m2 .
De este modo m puede interpretarse como la masa de la partcula.
Generalizando a 3 dimensiones tenemos el Lagrangiano de Klein-Gordon
2
1
L=
21 21 m2 2 ,
2 t
2
2
+ m = 0.
t2
1.6.
(1.153)
(1.154)
(1.155)
(1.156)
Problemas
T0i =
(1.157)
28
Captulo 2
Campos vectoriales
2.1.
Unidades Naturales
Las unidades naturales son unidades fsicas de medida definidas en terminos de constantes fsicas
universales [19]. El primer conjunto consiste de unidades naturales, las unidades de Planck [20], fue
formulado por el propio Planck despues de establecer la u
ltima constante universal, que lleva su
nombre. En palabras de Planck
...ihre Bedeutung f
ur alle Zeiten und f
ur alle, auch auerirdische und auermenschliche
Kulturen notwendig behalten und welche daher als ))nat
urliche Maeinheiten bezeichnet
werden konnen...
...These necessarily retain their meaning for all times and for all civilizations, even
extraterrestrial and non-human ones, and can therefore be designated as natural units...
De este modo, estas unidades son naturales debido a que el origen de su definicion proviene solo de
propiedades de la naturaleza y no de alguna construccion humana. A diferencia de otros conjuntos
de unidades naturales las unidades de Planck donde
GN = 1,
~ = 1,
c = 1,
K=
1
= 1,
40
k = 1,
(2.1)
estan basadas solo en las propiedades del espacio libre, y no en las propiedades (tales como carga,
masa, tama
no o radio) de alg
un objeto o partcula elemental.
Las constantes fsicas que suelen normalizarse se escogen del conjunto dado por la ec. (2.1) y
e,
me ,
mp .
(2.2)
(2.3)
30
V = 1.6 x 10-19 Joules
= 1.4 kph
(exact) ,
(2.4)
(2.5)
ke2
e2
=
l
40 (~c) GeV1
e2
GeV .
=
40 ~c
(2.6)
Como V tiene unidades de energa, de la ec. (2.6) resulta entonces la constante adimensional
conocida como la constante de estructura fina
=
e2
,
40 ~c
(2.7)
que no puede tomar un valor numerico diferente sin importar el sistema de unidades que se use.
De modo que no se puede tener un sistema de unidades que normalice todas las contanstes fsicas
presentes en . Solo 3 de las cuatro constantes e, ~, 0 y c pueden ser normalizadas, y la otra queda
dependiendo del valor de .
El proposito de las unidades naturales es simplificar las expresiones algebraicas que aparecen en
las leyes fsicas.
El sistema de unidades naturales que usaremos es el de las Unidades de Planck Modificadas
(MPU)
GN = 1,
~=1
c = 1,
0 = 1,
k = 1,
(2.8)
de modo que
e=
4,
or
e2
.
4
(2.9)
31
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
~
(2.11)
~c
= 1.2209 1019 GeV/c2 = 2.1765 108 kg
GN
GN =
~c
.
Mp2
(2.12)
(2.13)
(2.14)
~
c
~
~
Lp =
=
c Mp
c
GN
=
~c
~ GN
c3
~
1.6163 1035 m
(2.15)
c GeV
Este analisis dimensional muestra que la longitud de Planck corresponde a una escala a la cual los
efectos gravitacionales llegan a ser importantes, es decir, que la intensidad del potencial gravitacional
es del orden de la masa de la partcula que lo genera2
8.1907 1020
Vgravity
1
Mp2
= Mp c2
= GN
Lp
(2.16)
o de una masa bien medida, por ejemplo mp = 0.938 272 013(23) GeV/c2 = 1.672 621 637(83)27 kg.
This is shown using dimensional analysis, much in the same way as the Bohr radius, beyond which the full quantum
mechanical description of the Hydrogen atom cannot be neglected. Note that the Bohr radius was derived before a
modern quantum mechanical treatment of Hydrogen became available. A similar statement can be made about the
Planck length [22].
2
32
Mp
Lp
tP
Tp
Qp
p
2.1765 108 kg
p ~c/GN
3
1.6163 1035 m
p~ GN /c
5
5.3912 1044 s
p ~ GN /c
32
2
~c5 /(G
N k ) 1.4168 1018K
e/
1.8756 10 C
8.1907
10
5.3912 1044 s ,
tP
c
c5
c2 GeV
(2.17)
y la temperatura de Planck es
Mp c2
Tp
=
k
~c5
= 1.4168 1032 K .
GN k 2
(2.18)
Teniendo en cuenta la condicion en (2.16), podemos tambien definir la carga de Planck tal que la
intensidad de Potencial de Coulomb para dos masas de Planck separadas por la longitud de Planck
sea igual a la energa de Planck
1 Q2p
=Mp c2
40 Lp
Q2p
1
=Mp c2
40 ~/(c Mp )
Q2p
=1
40 ~c
e
Qp = 1.8756 1018 C.
VCoulomb =
(2.19)
Entonces la constante de estructura fina puede pensarse como el cuadrado del cociente de la carga
elemental a la carga de Planck
2
e
.
(2.20)
=
Qp
Estos resultados estan resumidos en la Tabla 2.2
Example 2.1.0.3
Calcule el potencial gravitacional para un par de protones separados una distancia Lproton = ~/(c mproton )
2.1 1016 m
Vgravity = GN
m2p
Lproton
= GN m3p
m2p
GN 3 2
c
=
mp c = 2 mp c2 1038 mp c2
~
~c
Mp
(2.21)
En este caso la energa potencial gravitacional es mucho menor que la escala de energa correspondiente
RELATIVISTA
2.2. NOTACION
33
Example 2.1.0.4
Compare la intensidad gravitacional con la Coulomb para un proton, y para una partcula de Planck.
Usando la ec. (2.14)
GN m2X
Vgravity
=
VCoulomb (1/40 )e2
m2X
=(40 ~ c/e ) 2
Mp
2
1 mX
=
Mp
(
1036 mX = mproton
102
mX = Mp
2
(2.22)
Example 2.1.0.5
De la constante de Fuerza electrostatica K = 1/(40 ), podemos obtener el valor de la constante de
estructura fina electromagnetica = e2 /(40 ~c)
K=
1
1
1
2
2
C
Nm
=
C2 Kg m3 s2
40 4 8.854 1012
4 8.854 1012
1
C2 5.6096 1026 GeV (5.068 1015 GeV1 )3
4 8.854 1012
(~c)3 ~2
1 2
24
(1.519 10 GeV )
c2
35 2
2.84 10 C ~c
2
1.602 1019
35 2
~c
2.84 10 C
e2
7.296 103
~c
=
e2
2.2.
e2
1
7.296 103
40 ~c
137
Notaci
on relativista
a2 = g a a a a = a0 ai ai = a0 a a
(2.23)
(2.24)
34
Finalmente la metrica usada se define como
1 0
0
0
0 1 0
0
{g } =
0 0 1 0
0 0
0 1
(2.25)
(2.26)
{g } {g }1 = {g }
(2.27)
El inverso de la metrica es
tal que
g g =
a = g a
and
(2.28)
a a = a .
(2.29)
a b = a b
da lugar a
g = g
En notacion matricial
or
(2.30)
{g } = { }T {g } .
g = T g .
(2.31)
(2.32)
t
t
t
cosh sinh 0 0
1v2
x+vt
x
x = 1v2 = sinh cosh 0 0 x = { } {x } ,
{x } =
y y 0
y
0
1 0 y
z
z
z
0
0
0 1
z
(2.33)
donde
cosh =
sinh = v,
and
1
.
1 v2
(2.34)
RELATIVISTA
2.2. NOTACION
35
cosh sinh 0 0
1 0
0
0
cosh sinh 0 0
sinh cosh 0 0 0 1 0
0
sinh cosh 0 0
T g =
0
0
1 0
0
1 0 0 0 1 0 0
0
0
0 1
0 0
0 1
0
0
0 1
cosh sinh 0 0
cosh sinh 0
0
sinh cosh 0
0 sinh cosh 0 0
=
0
0
1 0
0
1 0 0
0
0
0 1
0
0
0 1
2
2
cosh sinh
cosh sinh cosh sinh 0
0
cosh sinh cosh sinh
sinh2 cosh2
0
0
0
0
1 0
0
0
0 1
=g
(2.35)
(2.36)
(2.37)
Con esta notacion, el producto escalar de cuadrivectores puede expresarse como el producto escalar
de los dos vectores de cuatro componente a y a .
2.2.1.
Ejemplos de cuadrivectores
x =(x0 , x1 , x2 , x3 ) = (t, x, y, z) = (t, x)
p =(p0 , p1 , p2 , p3 ) = (E, px , py , pz ) = (E, p)
(2.38)
(2.39)
(2.40)
(2.41)
(2.42)
36
The intuitive understanding of this equation is that the energy of a particle is partially
due to its motion and partially due to the intrinsic energy of its mass. The application
to particle detectors is that if you know the mass of a particular particle, or if its going
so fast that its energy and momentum are both huge so that the mass can be roughly
ignored, then knowing the energy tells you the momentum and vice versa
Para p = 0, es decir cuando la partcula esta en reposo se reduce a la famosa ecuacion.
Del electromagnetismo tenemos
J = (J 0 , J) = (, J)
(2.43)
A = (A0 , A) = (, A)
(2.44)
=
=
,
,
,
,
,
,
x
x0 x1 x2 x3
x0 x1 x2 x3
=
, , ,
t x y z
=(0 , ) = ( 0 , )
= (0 , )
, , ,
= =
x
t x y z
(2.45)
(2.46)
Por consiguiente:
=
(2.47)
Producto escalar:
a b = g a b = a0 b0 a1 b1 a2 b2 a3 b3 = a0 b0 ai bi = a0 b0 a b
(2.48)
Entonces
a0
+a
(2.49)
t
La ecuacion de continuidad J = 0 es un invariante de Lorentz. El operador cuadratico es, usando
la ec. (2.23)
2
2
2
2
(2.50)
= 0 0 2 = 2 2 2 2 =
t
x
y
z
a =
b yp
dados en la ec. (1.105). Entonces
con H,
p = i = i( 0 , i ) = i(
, )
t
(2.51)
(2.52)
RELATIVISTA
2.2. NOTACION
37
(2.53)
=(0 , i ) + iq(A0 , Ai )
=(0 , i ) + iq(A0 , Ai )
=(0 + iqA0 , i + iAi )
=(D0 , Di )
=(D0 , Di ) ,
(2.54)
(2.55)
A0 A0 = A0
, A +
A A = A
t
i
0
= A
, A + i
t
= A0 0 , Ai i
= A0 , Ai 0 , i
A A =A .
(2.56)
(2.57)
Example 2.2.1.1
Calcule la fraccion de la velocidad a la que puede ser acelerado un proton en el LHC Recuperando
los factores de c
E =mc2
v
= =
c
=p
1
m2 c4
E2
1
1 2
38
La longitud de un objeto esta definida tal que t = 0, de modo que t = vx/c2 , entonces
x = (x vt) = (x v 2 x/c2 ) =
Similarmente para la dilatacion temporal x = 0 y
1 v 2 /c2 x.
t = t .
(2.58)
(2.59)
GF
2
m5
I (x) ,
96 3
(2.60)
(2.61)
1
=3.32371850737231 1018 GeV1
(2.62)
1
= c 658.65 m .
(2.63)
El tiempo de vida media se refiere al tiempo de decaimiento para una partcula en reposo. Si v =
0.86 c, entonces
= =
4.31 106 s
1 v2
(2.64)
(2.65)
A medida que el muon se acerca mas a la velocidad de la luz, L coincide mas con la distancia recorrida
por el muon antes de decaer. De hecho se estima que despues de ser producidos en la atmosfera de
rayos cosmicos, a la superficie de la Tierra llegan unos 10000 muones por metro cuadrado cada
minuto [28].
RELATIVISTA
2.2. NOTACION
2.2.2.
39
Ecuaciones covariantes
2
2
+ m = 0.
t2
(2.66)
Que corresponde a la ecuacion de Klein-Gordon (1.156). Una expresion escrita en terminos de productos escalares de Lorentz se dice que esta en forma covariante. El Lagrangiano covariante que da
lugar a esta ecuacion es (ver ec. (1.153) (1.155)).
1
1
L = m2 2
2
2
El Lagrangiano mas general posible para el campo es
1
1
1
L = m2 2 + 4 + a + b3 .
2
2
4
(2.67)
(2.68)
Un termino de la forma puede reabsorverse en la ec. (2.68) como una derivada total. Un
posible termino J , con J constante, tambien puede reescribirse como una derivada total. Un
termino constante no afecta las ecuaciones de movimiento. Imponer la simetra anula los dos
u
ltimos terminos. Potencias de mayores de cuatro dara lugar a una Teora Cuantica de Campos
no renormalizable.
La dimension del campo puede obtenerse usando que la accion es adimensional
Z
4
2 2
(2.69)
[S]
d x m = E 4 E 2 []2 [] = E 1
Diremos entonces que la dimension de es 1 (en unidades de energa). Similarmente
[S]
Z
d x = E 4 [ ]2 E 2 [ ] = E 1
(2.70)
Como era de esperarse debido a que la derivada tiene unidades de longitud inversa.
Si hacemos = a = b = 0 en la ec. (2.68), y usando las ecuaciones de Euler-Lagrange (1.42), se
obtiene
(
p p m2 ) = 0
2 m2 ) = 0
2 P
(E
2
( + m ) = 0,
donde
=
2
2 .
2
t
(2.71)
(2.72)
(2.73)
40
Es el DAlembartiano [13]. Ec. (2.71) corresponde a la forma de operadores de la ecuacion de energamomentum relativista. La ec. (2.72) se conoce como la ecuacion de Klein-Gordon, con Lagrangiano
1
1
L = m2 2 ,
2
2
(2.74)
Una expresion escrita en terminos de productos escalares de Lorentz se dice que esta en forma
covariante. Por lo tanto la ecuacion de KleinGordon y su correspondiente Lagrangiano estan en
forma covariante. Tambien tienen la simetra . A se le denomina campo escalar.
Definiendo
F = A A
G = A + A
El Lagrangiano invariante de Lorentz para el cuadrivector A en ec. (2.44) es, hasta derivadas totales
1
1
1
L = F F G G J A + m2 A A + K A A A + A A A A
4
4
2
+ a1 A A A + a2 F A A + a3 G A A
(2.75)
2.3.
Ecuaciones homogeneas:
E+
B
=0
t
(2.76)
E
= J.
t
(2.77)
B = 0,
Ecuaciones inhomogeneas:
E = ,
(2.78)
(2.79)
+ J = 0.
t
(2.80)
COVARIANTE
2.3. ECUACIONES DE MAXWELL EN NOTACION
41
De este modo la Ley de Amp`ere da lugar a la conservacion de carga electrica pero solo a nivel global:
una perdida de carga electrica en un punto del universo puede ser compensada por la aparicion
instantanea de carga electrica en otro lugar del universo. La conservacion global podra necesitar la
propagacion instantanea de se
nales, y esto esta en conflicto con la relatividad especial.
Tomando la divergencia de la Ley de Amp`ere modificada por Maxwell
E
B
= J,
(2.81)
t
obtenemos la ecuacion de continuidad (2.80). Dicha ecuacion establece que la razon de decrecimiento
de la carga en un volumen arbitrario V es debido precisa y u
nicamente al flujo de la corriente fuera
de su superficie; de modo que la carga no puede ser creada ni destruida dentro de V . Ya que V
puede ser arbitrariamente peque
no esto significa que la carga electrica debe conservarse localmente.
El termino extra introducido por Maxwell esta motivado por un requerimiento de conservacion local.
A la luz del teorema de Noether la conservacion local de la carga electrica debe provenir de
una transformacion continua y local que deje invariante a la ecuaciones de Maxwell. Las invarianza
gauge de la ecuaciones de Maxwell juegan este papel. Las cargas conservadas localmente pueden
determinarse a partir de la dinamica del sistema [21], ademas del uso de cargas conocidas que
participen en alguna reaccion. Por ejemplo se puede estudiar la forma como responde una partcula
de carga desconocida a campos electromagneticos para determinar su carga.
El principio gauge local, que pretendemos formular, va mas alla del teorema de Noether estableciendo una relacion entre las simetras, las leyes de conservacion y la dinamica. Este se constituye en
el paradigma para estudiar las interacciones relevantes en fsica de partculas.
Para mostrar la invarianza gauge que exhiben las ecuaciones de Maxwell, es conveniente reescribirlas en forma covariante. Para ello es conveniente usar el potencial escalar electrico y el potencia
vectorial magnetico A.
Las siguientes ecuaciones son equivalentes a las ecuaciones homogeneas de Maxwell
A
B = A.
(2.82)
E =
t
Ya que
E = A
t
B
,
=
t
y
B = ( A)
=0
Usando el cuadrivector en ec. (2.44) y expandiendo la ec. (2.82), tenemos
A0 Ai
+ 0)
xi
x
0
Ai
A
)
=(
xi
x0
= i A0 0 Ai
= A A ,
E i = (
E i = F i0
= i,
=0
(2.83)
(2.84)
42
(2.85)
Aj
xi
Aj
xi
= (li mj lj mi )
Aj
xi
Am
Al
xl
xm
m l
= A l Am
= A A ,
= m,
lmk B k = F ml
= l.
(2.86)
(2.87)
Por consiguiente la ec. (2.85) es tambien equivalente a las dos ecuaciones homogeneas de Maxwell.
En forma matricial,
0
0 A1 1 A0 0 A2 2 A0 0 A3 3 A0
1 A0 0 A1
0
1 A2 2 A1 1 A3 3 A1
F =
2
0
0
2
2
1
1
2
A A A A
0
2 A3 3 A2
3 A0 0 A3 3 A1 1 A3 3 A2 2 A3
0
0
E 1
E 2
E 3
1
3
E
0
213 B 312 B 2
=
E 2 123 B 3
0
321 B 1
E 3 132 B 2 231 B 1
0
1
2
3
0 E E E
E 1
0
B 3 B 2
.
(2.88)
=
2
3
E
B
0
B 1
E 3 B 2 B 1
0
La ec. (2.85) satisface la identidad,
F + F + F = 0
Definiendo el tensor dual como
(2.89)
1
F = F ,
2
(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
2.3. ECUACIONES DE MAXWELL EN NOTACION
Homogeneas
Inhomogeneas
E, B
Ec. (2.76)
(2.77)
43
A
F
(2.82) (2.85) o (2.89) o (2.90)
(2.93)
(2.91)
Usando las ecs. (2.83), (2.86), la segunda ecuacion de Maxwell inhomogenea (2.77) puede escribirse
como
E k
B j
= Jk
i
x
t
(ikj B j ) E k
= Jk
xi
t
i F ki 0 F k0 = J k
ijk
i F ik + 0 F 0k = J k
F k = J k
(2.92)
(2.93)
para = 0
para = i
2.3.1.
(2.94)
Lagrangiano Electromagn
etico
(2.95)
44
Ya que
E E = +
= E
t
t
t
B B = A + = B
| {z }
=0
(2.96)
(2.97)
Esto implica que diferentes observadores en diferentes puntos del espacio, usando diferentes calibraciones para sus medidas, obtienen los mismos campos. Las ecs. (2.95), corresponden a transformaciones
gauge locales
En notacion de cuadrivectores
A A =
, A +
t
i
=
, A + i
t
= 0 , Ai i
= , Ai 0 , i
A A =A
(2.98)
Sea U un elemento del Grupo de Transformaciones U(1):
U = ei(x) U(1)
(2.99)
tal que
UI = 1
(x) = (x)
tal que
U 1 = ei(x)
Inverso
Note que si
i
A A = A ( U)U 1
e
(2.100)
(2.101)
Entonces
1
A = (i (8x))[1 + i(x) + O(2 )][1 i(x) + O(2 )] + A [1 + i(x) + O(2 )][1 i(x) + O(2 )]
e
1
=A + (x) + O(2 )
(2.102)
e
COVARIANTE
2.3. ECUACIONES DE MAXWELL EN NOTACION
45
Por consiguiente, si (x) = (1/e)(x), entonces la ec. (2.98) es la version infinitesimal de la transformacion U(1) en ec. (2.100). Del Teorema de Noether debe existir una carga conservada corresponde
a la carga electrica, asociada la corriente J , de la cual a
un no hemos especificado su origen.
Bajo esta transformacion
F F
=( A A )
= A A +
= A A +
=F
(2.103)
De este modo las ecuaciones homogeneas de Maxwell (2.85) son invariantes gauge. Como la transformacion gauge solo afecta al campo A , las ecuaciones inhomogeneas de Maxwell (2.93) tambien son
invariantes gauge. De esta forma las ecuaciones de Maxwell corresponde a una Teora Gauge!. Esto
fue una curiosidad hasta los 1950.
Para ilustrar la relacion entre la conservacion local de la carga electrica y la transformacion gauge,
que no es una conexion simple, considere las ecuaciones de Maxwell
F = J ,
(2.104)
que automaticamente incluyen la conservacion local de carga, expresada por la ecuacion de continuidad
J = 0.
(2.105)
Ademas las ecuaciones de Maxwell permanecen invariantes bajo la transformacion gauge
A A = A ,
(2.106)
46
Con miras a calcular las ecuaciones de Euler-Lagrange para el Lagrangiano en ec. (2.107), tenemos
F F =( A A )( A A )
= A A A A A A + A A
=g g ( A A A A A A + A A ).
Entonces
F F =g g ( A + A A A
( A )
A A + A + A ).
=g g A + g g A g g A g g A
g g A g g A + g g A + g g A
= A + A A A A A + A + A
=4( A A )
F F = 4F
( A )
(2.108)
( A )
A
A
1
(F F ) + J
4
( A )
A
F + J
F
=0
=0
=0
= J.
(2.109)
Como era de esperarse una Accion invariante de Lorentz e invariante gauge local, expresada en
terminos del Lagrangiano (2.107), da lugar a la Teora Electromagnetica.
De este modo las ecuaciones de Maxwell se pueden derivar del requerimiento de que la teora,
ademas de ser invariante de Lorentz, pueda expresarse en terminos de potenciales de una forma que
sea invariante gauge en esos potenciales. Si un cuadrivector potencial A es postulado, y se impone
que la teora involucre este solamente, de una forma que sea insensible a a cambios de la forma (2.98),
se es conducido naturalmente a la idea de que los campos fsicos entran u
nicamente va la cantidad
F , que es invariante bajo la ec. (2.98). De aqu se puede conjeturar la ecuacion de campo en base
a la covarianza de Lorentz.
Esto no corresponde ciertamente a una prueba de las ecuaciones de Maxwell. A pesar de eso, la
idea que la dinamica (en este caso la completa interconexion entre los efectos electricos y magneticos)
pueda estar ntimamente relacionada a un requerimiento de invarianza local se ha convertido en algo
muy fructfero.
En terminos de transformaciones globales, se puede mostrar [21] que el cambio por una constante
del potencial escalar ( = at, A0 A0 = A0 a, A A = A en ec.(2.95)), mas la conservacion
de energa, da lugar a la conservacion local de la carga. La conservacion local en este contexto
requiere que el cambio por una funcion del potencial escalar en en (2.95) sea compensado por el
correspondiente cambio en el vector potencial magnetico A. En general, cuando una cierta invarianza
COVARIANTE
2.3. ECUACIONES DE MAXWELL EN NOTACION
47
global es generalizada a una local, se requiere la existencia de un nuevo campo que compensa,
interactuando de una manera especfica. La teoras que dan lugar al Modelo Estandar y que describen
las interacciones fuertes, debiles y electromagneticas, son ejemplos de teoras dinamicas derivadas
desde un requerimiento de invarianza local.
Una de las principales razones de porque la fsica de partculas se formula en terminos de lagrangianos, es que L debe ser escalar en cada espacio relevante, e invariante bajo las transformaciones
(hasta derivadas totales), ya que la accion es invariante. Haciendo el Lagrangiano covariante de
Lorentz por ejemplo, garantiza que todas las predicciones son invariantes de Lorentz.
2.3.2.
para = 0
para = i
(2.110)
T =
(2.111)
(2.112)
=j
1
1
1
1 z }| { 1 z }| {
F 0 F0 + F 0 F0 + F i Fi = F i0 Fi0 + F i0 Fi0 + F 0i F0i + F jiFji
4
4
4
4
4
1
1
1
= F i0 Fi0 + F i0 Fi0 + F i0 Fi0 + F jiFji
4
4
4
1 i0
1 ji
= F Fi0 + F Fji .
2
4
(2.113)
48
Ademas
F 0 A0 + J A = (A0 F 0 ) + A0 F 0 + J A
= (A0 F 0 ) A0 F 0 + J A
= (A0 F 0 ) A0 J 0 + J A
= i (A0 F 0i ) J A .
(2.114)
Entonces
1
1
T00 = i (A0 F 0i ) F i0 Fi0 + F jiFji J A
2
4
1 i0 i0 1 ji ji
0i
= i (A0 F ) + F F + F F J A,
2
4
1 i i 1
k
l
= E E + ijk B ijl B + i (A0 E i ) J A,
2
4
1 2 1
= E + kl B k B l + (A0 E) J A
2
2
1 2 1 2
= E + B + (A0 E) J A
2
2
(2.115)
(2.116)
(2.117)
En vista a la ec. (2.112), ya que la densidad Lagrangiana esta definida hasta una derivada total,
como (A0 E) = (A0 F 0 ), la densidad Hamiltoniana tambien estara definida hasta una derivada
total. De hecho, el Hamiltoniano es
Z
Z
1
3
2
2
H=
d x (E + B ) +
d3 x (A0 E)
2 V
V
Z
1
d3 x (E2 + B2 ),
=
2 V
(2.118)
y corresponde a la expresion conocida para la energa del campo electromagnetico. Hemos usado el
hecho que en ausencia de corrientes todo lo que entra a un volumen debe salir y por consiguiente las
integrales sobre el volumen de la divergencia de cualquier vector es cero.
Similarmente el momentum total del campo, en ausencia de corrientes, corresponde al vector de
COVARIANTE
2.3. ECUACIONES DE MAXWELL EN NOTACION
49
Pointing:
L
i A
(0 A )
= F 0 i A
Ti0 =
= F 0j (i Aj j Ai ) F 0j j Ai
= F 0j Fij F 0j j Ai
= F 0j F ij j (F 0j Ai ) + (j F 0j )Ai
=E j jik B k + j (E j Ai ) + (J 0 )Ai
= (E B)i (Ai E) Ai
(2.119)
P =
x Ti0
P=
ZV
2.3.3.
d x (E B) +
d3 x (E B) .
d3 x (Ai E)
(2.120)
Fijaci
on del gauge
Para obtener una solucion definitiva a las ecuaciones del campo electromagnetico, se debe remover
la arbitrariedad asociada con la libertad gauge de la ec. (2.98). De este modo los campos quedan
especificados unvocamente en todas partes. De hecho, de las cuatro componentes del campo A , solo
dos son independientes y corresponden a los estados de polarizacion de las ondas electromagneticas [11] (Captulo 2). A este proceso se le denomina fijar el gauge, y consiste en imponer restricciones
sobre los campos que fijan la funcion y remueven la libertad gauge.
Nosotros usaremos el Gauge de Lorentz, definido por la condicion
A = 0
(2.121)
(2.122)
50
Apliquemos ahora el gauge de Lorentz, ec. (2.121) a las ecuaciones inhomogeneas de Maxwell
(2.122)
A = A = J .
(2.123)
De este modo, cada componente del campo A satisface la ecuacion de onda (2.66), o la ecuacion de
Klein-Gordon (2.72) para masa cero. En ausencia de corrientes el campo A puede ser expandido en
ondas planas con dos grados independientes de polarizacion [11], de forma similar a como se hizo en
la seccion 1.5 para el campo . Una vez cuantizada la teora, A corresponde al foton, y solo queda
con dos grados de libertad independientes que corresponden a los modos transversales de la onda
electromagnetica [11] (captulo 2).
La ec. (2.107), with J = 0, en el Gauge de Lorentz puede escribirse como
1
L = F F
4
1
= ( A A )( A A )
4
1
= ( A A A A A A + A A )
4
1
= [ A A (A A ) + A ( A ) (A A ) + A ( A ) + A A ]
| {z }
4
1
= [2 A A (2A A )]
4
1
= A A
2
(2.124)
Incluyendo el termino con corrientes, y usando el hecho de que un signo global no afecta las ecuaciones
de movimiento, tenemos
1
L = A A + J A
2
2.4.
(2.125)
Ecuaciones de Proca
F F
m A A J A = 0
4
( A )
A 2
F + m2 A = J .
(2.126)
(2.127)
51
(2.128)
De este modo, en ausencia de corrientes, la ecuaciones de Proca dan lugar a la condicion de Lorentz.
De otro lado, si asumimos que la corriente se conserva, la condicion de Lorentz tambien aparece. Por
consiguiente, si la masa de campo vectorial es diferente de cero, la condicion de Lorentz, ec. (2.121),
emerge como una restriccion adicional que debe ser siempre tomada en cuenta. De este modo la
libertad gauge de las ecuaciones de Maxwell se pierde completamente en la ecuaciones de Proca, que
sin perdida de generalidad se pueden reescribir, usando A = 0 y las ecs. (2.122), (2.127), como:
( + m2 )A = J
(2.129)
En ausencia de corrientes, cada una de las componentes del campo vectorial satisface la ecuacion de
Klein-Gordon (2.72). Por consiguiente m corresponde a la masa del campo vectorial A .
Aplicando la condicion de Lorentz a la ec. (2.126), obtenemos el Lagrangiano de la Ecuacion de
Proca (2.129)
1
1
L = A A m2 A A + J A ,
(2.130)
2
2
donde hemos reabsorbido un signo global que no afecta las ecuaciones de movimiento. El primer
termino que incluye solo derivadas de los campos es llamado termino cinetico y dependen solo del
espn de las partculas. El termino cuadratico en los campos corresponde al termino de masa, y el
u
ltimo corresponde a la interaccion del campo con una corriente. Cuando un Lagrangiano contiene
solo terminos cineticos y de masa diremos que el campo que da lugar al Lagrangiano es libre de
interacciones, o simplemente que es un campo libre. Las otras partes del Lagrangiano seran llamadas
Lagrangiano de Interaccion. De este modo podemos reescribir el Lagrangiano (2.130) como
donde,
L = Lfree + Lint ,
1
1
Lfree = A A m2 A A
2
2
Lint = J A .
(2.131)
Debido a que la teora masiva ya no es invariante gauge, la condicion de Lorentz aparece automaticamente como la u
nica restriccion apropiada sobre el campo vectorial.
Una vez se toma en cuenta la condicion de Lorentz el campo masivo libre puede expandirse en
ondas planas con tres grados de libertad independientes de polarizacion. Dos de estos corresponden
a los dos estados transversos que aparecen en las ondas electromagneticas (A1 , A2 ), y el tercero (A3 )
corresponde a un estado longitudinal en la direccion del momento de la partcula [11].
Aunque hemos hecho el analisis de la ecuacion de Proca permitiendo un termino de masa para
el foton, las implicaciones experimentales de una teora de este tipo dan lugar a restricciones muy
fuertes sobre la masa del foton[14]. El lmite actual sobre la masa del foton es m < 6 1017 eV
(1.1 1052 Kg) [15]. Debido al principio gauge local, desde el punto teorico se espera que la masa
del foton sea exactamente cero. En general, los campos vectoriales puede ser generados a partir de
otras cargas no electromagneticas y pueden ser masivos. El reto durante varias decadas fue entender
como las masa de los campos vectoriales de la interaccion debil podra hacerse compatible con el
principio gauge local.
52
2.5.
Problemas
(2.132)
(2.133)
Captulo 3
Principio Gauge Local
3.1.
Ecuaci
on de klein-Gordon
er/
,
r
(3.1)
con
1/(7 1012 cm1 ) = 1.43 1013 cm = 1.43 1015 m .
(3.2)
(3.3)
La segunda relacion de incertidumbre aplicada a la teora de Yukawa [21], brinda un nuevo entendimiento de la relacion entre el rango y la masa en ec. (3.1). t es el tiempo que el sistema cuantico
interact
ua con el aparato de medida y E = ~/(2t) es el error mnimo que se obtiene en la medida
de la energa, tal que E = E0 E. Es decir, para medir la energa con una precision E, uno
necesita un tiempo mayor que ~/(2E).
Si E < mc2 eso quiere decir que podemos medir la cantidad mc2 con alguna certeza. Es decir
que una partcula de masa m se puede llegar a observar. Si E > mc2 entonces una partcula de masa
m puede existir durante un tiempo t. A tal partcula se le llama virtual porque no es observable.
El momentum de una partcula de n
umero de onda k es p = ~k, de modo que la incertidumbre
en el momentum para una partcula relativista es
p = ~ k ~
E
=
c
c
(3.4)
Si la masa de la partcula es cero entonces E puede tender a cero, que corresponde al caso de
un partcula no masiva con un momentum tendiendo a cero. La cantidad por la cual la conservacion
de energa es violada, E, tambien puede llegar a ser muy peque
na. De modo que un foton virtual
53
54
de frecuencia muy baja puede existir durante un tiempo casi infinito. Durante ese tiempo un foton
viajando a la velocidad de la luz podra viajar una distancia casi infinita y puede dar cuenta de una
interaccion de rango infinito.
Sin embargo, para una partcula de masa m. La violacion de energa para producir esta debe ser
de al menos mc2 , o E > mc2 . Por el principio de incertidumbre la maxima distancia que puede
recorrer es = ct
~c
2E
c~
2mc2
~
2mc
1
2m
Natural Units .
(3.5)
(3.6)
(3.7)
(3.8)
En analoga con el electromagnetismo donde las densidades de carga y corrientes son la fuente del
campo A , podemos pensar en como la fuente del campo . En el caso del electromagnetismo el
DE KLEIN-GORDON
3.1. ECUACION
55
analisis de las ecuaciones de Maxwell en forma covariante, ec. (2.93), para las componentes A0 y J 0 ,
en el gauge de Coulomb:
A = 0,
(3.9)
da lugar a la Ley de Coulomb, que corresponde a una interaccion de rango infinito [11]. Veremos a
continuacion que un analisis similar para un campo escalar masivo (o para la componente cero de un
campo vectorial masivo) da lugar a una interaccion de corto rango.
Consideremos el caso mas simple de una fuente puntual para el campo :
(x) = g(x)
(3.10)
donde g es una constante. Entonces es independiente del tiempo y genera un campo (un potencial)
independiente del tiempo. Entonces, como:
= 0,
t
tenemos
(2 + m2 )(x) = g(x)
(3.11)
Para resolver la ecuacion diferencial es mas conveniente transformar (x) al espacio de momentos.
Su transformada de Fourier es
Z
1
d3 k eikx (k).
(3.12)
(x) =
(2)3/2
La transformada inversa es
(k)
=
(2)3/2
d3 x eikx (x).
Z
1
d3 k eikx .
(x) =
3
(2)
Reemplazando ec. (3.12) en (3.11), tenemos
Z
1
.
(k2 + m2 )(k)
=
(2)3/2
(3.13)
(3.14)
Entonces
g
1
.
3/2
2
(2) k + m2
Reemplazando en la ec. (3.12) y definiendo r |x|
Z
1
g
1
3
ikx
(x) =
d ke
(2)3/2
(2)3/2 k2 + m2
Z
eikx
g
3
d
k
=
(2)3
k2 + m2
Z
Z
g
k2
=
2
d|k| 2
ei|k|r cos sen d
2
(2)3
k
+
m
0
0
(k)
=
(3.15)
56
ei|k|ru du =
1
(3.16)
ei|k|r ei|k|r
i|k|r
Z
ei|k|r ei|k|r
g
d|k|
|k|
(x) =
i(2)2 r 0
k2 + m2
Z
Z
ei|k|r
g
ei|k|r
d|k| |k| 2
=
d|k| |k| 2
i(2)2 r
k + m2
k + m2
0
0
Z
Z
g
ei|k|r
ei|k|r
=
d|k|
|k|
d|k|
|k|
2 + m2
i(2)2 r 0
k2 + m2
k
{z
}
|0
Z
i|k|r
g
e
d|k|
|k|
i(2)2 r
k2 + m2
Z
|k|ei|k|r
g
d|k|
=
i(2)2 r
(|k| + im)(|k| im)
|k||k|
(3.17)
Definiendo
f (z) =
zeizr
z + im
y usando la integral de Cauchy para el contorno correspondiente al semiplano positivo que incluye
el polo en z = im
Z
im emr
f (z)
dz = 2if (im) = 2i
= i emr
(3.18)
2im
C z im
tenemos que
(x) =
g emr
4 r
(3.19)
DE KLEIN-GORDON
3.1. ECUACION
57
ec. (3.19),
g em|x|
4 |x|
Z
m|xx |
1
3
e
d x g (x )
=
4
|x x |
Z
m|xx |
1
3
e
=
d x (x )
4
|x x |
(x) =
Lint
1
= (x)(x) =
4
(3.20)
em|xx |
d x (x)(x )
|x x |
3
Lint
Lint
(/t) t
= Lint
Z
m|xx |
1
3
e
d x (x)(x )
=
4
|x x |
(3.21)
Hint =
Hint
1
=
4
(3.22)
d3 x d3 x (x)(x )
em|xx |
|x x |
(3.23)
El Hamiltoniano de interaccion en ec. (3.23) representa la interaccion entre dos nucleones mediante
el intercambio de un meson. En forma analoga a como dos electrones intercambian un foton mediante
la interaccion electromagnetica. En el caso de m = 0, Hint , corresponde a la de energa potencial de
Coulomb. El potencial por unidad de carga al cuadrado, puede escribirse como
V (r) =
1 emr
4 r
(3.24)
(3.25)
que es compatible con la ec. (3.5). Usando el valor medido de en la ec. (3.2)
1
1.973 1016 m
1.43 1015 m
GeV1
138 MeV
(3.26)
58
con solucion,
exp(ik x it)
(3.28)
(3.29)
(3.30)
~
~c
=
.
2t
2r
(3.31)
t <
La incertidumbre en la enrga sera
E
Reemplazando E = 12 mc2 para que la medida E E sea significativa a dos , tenemos que
r
~
.
mc
(3.32)
1
1.973 1016 m
GeV1
= 1.43 1015 m.
1
0.138
GeV
(3.33)
(3.35)
entonces una interaccion np podra tomar lugar a traves del mecanismo mostrado en la figura 3.1(a).
Es decir a traves del intercambio de un quantum . El otro diagrama compatible con la conservacion
de la carga tambien aparece en la figura
En el espacio de momentos, la cantidad relevante que representa el intercambio de piones, es la
que aparece en la ec. (3.17) y se conoce como el propagador :
propagador:
k2
1
m2
(3.36)
59
(3.37)
Para partculas incidiendo sobre un metal y siendo dispersadas por un angulo entre q y q , tal
que se satisface la condicion de dispersion elastica q2 = q 2 (dispersion de Rutherford)
k2 = (q q )2 = 2q2 (1 cos ) = 4q2 sin2
(3.38)
Entonces
cross section
1
k2
sin4 ,
2
(3.39)
que explica la famosa variacion angular de la dispersion de Rutherford, en la cual las partculas
son dispersadas por los n
ucleos positivamente cargados del metal. Ver figura 3.2
En general tendremos
1
,
(3.40)
propagador:
2
k m2
donde k = (k0 , k)
3.2.
En la seccion anterior se trabajo con un campo escalar real que solo podra describir un pion
neutro. Para describir piones cargados debemos construir un campo escalar complejo. En mecanica
cuantica la funcion de onda compleja puede describir parcialmente a un electron cargado. Sin embargo
60
la funcion de onda del electron tambien debe ser generalizada para poder dar cuenta del espn. Esto
corresponde al funcion de onda de la ecuacion de Dirac en la seccion 5.1.
De hecho, algunas consecuencias fsicas interesantes surgen si consideramos un sistema de dos
campos escalares reales, 1 y 2 , que tengan la misma masa m. Entonces
1
1
1
1
L = [ 1 1 m2 21 ] + [ 2 2 m2 22 ]
2
2
2
2
(3.41)
Si definimos
1 + i2
2
1 i2
=
,
2
2 =(1 + i2 )
2 =(1 i2 ).
=
then
(3.42)
and
(3.43)
Therefore
2( + ) =21
Then
2( ) =2i2 .
+
1 =
2
2 = .
2i
(3.44)
(3.45)
61
=0
( )
+ m2 = 0
( + m2 ) = 0,
(3.46)
(3.47)
(3.48)
De este modo tanto , como , satisfacen la ecuacion de Klein-Gordon. Cada campo ademas corresponde a una partcula de masa m como en el caso de 1 y 2
Estamos ahora interesado en las simetras internas del Lagrangiano. Entonces la corriente conservada puede definida en la seccion 1.3, eq. (1.53)
L
L
+
( )
( )
J = + .
J =
(3.49)
Ademas de la invarianza de Lorentz, el Lagrangiano en ec, (3.46) tambien es invariante bajo el grupo
de transformaciones U(1) definido en las seccion 2.3.1, pero con una fase constante
U = ei 1 + i.
Entonces
U
= ei (1 + i)
= + i.
(3.50)
Entonces,
= i
= i .
(3.51)
(3.52)
62
Reemplazando en ec. (3.49)
J i( ),
= J 0 i(
).
t
t
(3.53)
(3.54)
Definimos J como
J = i( ),
(3.55)
Como puede ser negativo no puede interpretarse como una probalidad, como se hizo con la funcion
de onda de la ecuacion de Scrodinger. Esto presento un obstaculo en la interpretacion inicial de la
ecuacion de Klein-Gordon. Sin embargo una vez se cuantiza el campo escalar la probabilidad de los
estados cuanticos queda bien definida [11].
Para interpretar a que corresponde la densidad de la ecuacion de Klein-Gordon para un campo
escalar complejo considere la siguiente solucion a la ec. (3.47)
=
ikx
a e + b eikx
2L3
i(wtkx)
1
=
ae
+ b ei(wtkx)
2L3
(3.56)
Donde el factor global es una generalizacion de la ec. (1.117) para el caso en 3 dimensiones.
Usando la expresion para T se obtiene para el campo complejo
H = (a a + b b)
P = k((a a + b b))
Sea
entonces,
i(tkx)
1
=
ae
b ei(tkx) ,
2L3
(3.57)
(3.58)
=i
t
= ik ,
reemplazando en la ecuacion (3.47)
+ m2 = 0
t t
iw
+ ik + m2 = 0
t
(w 2 + k2 + m2 ) = 0
(w 2 k2 m2 ) = 0.
(3.59)
Como era de esperarse, para que la ec. (3.56) sea solucion a la ecuacion de Klein-Gordon, w y k
deben satisfacer la ecuacion de energa-momentum de la relatividad especial.
La ec. (3.58) tambien puede escribirse como
= a + b +
(3.60)
63
1
2L3
1
2L3
ei(wtkx)
ei(wtkx)
(3.61)
+
)
t
t
i
[(iw) (iw)]
=
2L3
1
= 3 > 0.
L
J0 =
1
< 0.
L3
(3.62)
(3.63)
Note que el signo de la corriente solo depende del signo de . El signo de k establece en que direccion
se mueve la partcula.
Entonces, la carga conservada es
Z
Q =
d3 x J0 = 1
(3.64)
V
Ademas de la expresion para la energa del campo en eq. (1.78), y usando la ec. (3.49).
L
L
( ) + ( )
L
( )
( )
= + L
T =
(3.65)
T00 = 2 0 0 + m2
= 0 0 i i + m2
= 0 0 + + m2
T0i = i 0 + 0 i
(3.66)
(3.67)
Para + (o )
1
2L3
1
=
2L3
1
=
2L3
= 3
L
T00 =
(i)(i) + (ik) (ik) + m2
2
+ k2 + m2
2
+ 2
(3.68)
64
y
E =
d3 x T00 = > 0
(3.69)
Por consiguiente podemos interpretar + como un campo representando a una partcula de carga
positiva (campo de frecuencia negativa) y a como un campo representando a una partcula de
carga negativa (campo de frecuencia positiva). La cantidad conservada debido a la invarianza de fase
corresponde a la carga electrica.
Un campo escalar real tendra carga cero de acuerdo a la ec (3.54).
Generalizando (3.61) tenemos
+ ,
+
=
+ ,
+
=
1
2L3
1
2L3
1
2L3
1
2L3
ei(wt+kx)
ei(wtkx)
ei(+wtkx)
ei(+wt+kx)
(3.70)
Ti0 =
(3.71)
i i
i i
3
3
Tenemos para
= 1/( 2L ) exp [i(t k x )], ( ) = = 1/( 2L ) exp [i(t k x )]
0
Ti0 = 0
i + i
1
i
i
=
(i)(ik
)
+
(ik
)(i)
2L3
ki
= 3
L
Definimos
i
P =
De modo que
d3 x Ti0 = k i
P=k
(3.72)
(3.73)
(3.74)
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.
U(x) = ei(x)
(3.75)
L = ( ) m2 ,
(3.76)
= 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)
(3.79)
b
Cuando sea necesario indicaremos el caracter de operador de D con D.
Por consiguiente
D U = UD
(3.81)
66
D (D ) = UD U 1
(3.82)
(3.83)
Para que las ecs. (3.78) se satisfagan, tenemo de la ecuacion (3.80) que
U + ( U) igA U =U igA
( U) igA U = igUA
igA U = ( U) igUA
1
A U = ( U) + UA
ig
i
A = ( U)U 1 + UA U 1 .
g
(3.84)
i
U
A A = UA U 1 ( U)U 1
g
i
= A ( U)U 1
g
i
= A (i ) UU 1
g
1
= A + .
g
(3.85)
As, el campo A que se requiere para satisfacer las propiedades de la derivada covariante transforma
justamente como el campo vectorial electromagnetico. La ec. (3.83) da lugar a la sustitucion mnima
del operador de momentum
p p + gA
(3.86)
Veremos que la carga conservada U(1) se puede identificar con la carga electrica. Entonces fijamos
g = e
(3.87)
(3.88)
67
ya que
i
Fb = [ igA , igA ]
g
i
= [( igA ) ( igA ) ( igA ) ( igA ) ]
g
i
= g 2A A ig[ (A ) + A ] + g 2 A A + ig[ (A ) + A ]
g
i
= {( ) g 2 (A A A A ) ig[( A ) ( A )]
g
ig[A + A A + A ]}
=[( A ) ( A ) ig(A A A A )]
(3.89)
Como A y A conmutan
F = A A
(3.90)
Con esta expresion para Fb podemos demostrar su invarianza gauge a partir de la transformacion
de la derivada covariante
i
b
F
=
D ,D
g
i
UD U 1 , UD U 1
=
g
= U Fb U 1
= Fb .
(3.91)
El Lagrangiano mas general es, que incluye todos los terminos invariantes gauge y renormalizables
para los campos y A es
1
L = (D ) D m2 F F .
4
(3.92)
(3.93)
(3.94)
Lint = ieA ( ) + e2 A A .
(3.95)
donde
68
El campo vectorial A aparece como consecuencia de la invarianza gauge del Lagrangiano en ec. (3.79).
En tal caso lo llamaremos un boson gauge.
De las ecuaciones de Euler-Lagrange tenemos
L
L
=0
( A )
A
F e [i( ) + 2eA ] = 0 .
(3.96)
Las ecuaciones de movimiento para el campo vectorial son entonces
F = ej
(3.97)
donde
j = i [ ( )] 2e A = J 2e A .
(3.98)
j = i [ D (D ) ] .
(3.99)
=0
( )
( + m2 + U(x))
= 0,
(3.100)
(3.101)
donde
U (x) = ie(A + A ) e2 A A
(3.102)
El operado en el segundo termino opera en A y . A la luz de los resultados la escogencia de la
derivada covariante en la ec. (3.83), puede justificarse adicionalmente a partir de la Fuerza de Lorentz
para una partcula de carga q moviendose con una velocidad v bajo la influencia tanto del campo
magnetico como del campo electrico
F = qE + qv B.
(3.103)
Esta expresion puede ser deriva, a traves de las ecuaciones de Hamilton, del Hamiltoniano clasico
1
H=
(p qA)2 + qA0
(3.104)
2m
1
(p qA)2
H qA0 =
2m
que a su vez puede obtenerse del Hamiltoniano para una partcula libre con el reemplazo
H H qA0
p p qA
yp
, tenemos
En terminos de los operadores H
i i qA0
i i qA
t
t
+ iqA0
i i iqAi = i + iqAi .
t
t
De modo que
= ( 0 0, i ) D = ( 0 + iqA0 , i + iqAi ) = + iqA .
(3.105)
(3.106)
(3.107)
69
3.3.1.
Aplicaci
on a barrera de potencial
(3.108)
tal como se muestra en la figura 3.3. Las componentes del campo vectorial son A = 0 y A0 = V , con
A0 independiente del tiempo pues el potencial es constante. Entonces, de la ec. (3.102) tenemos que
para le Region II
U (x) = ie(A0 0 + 0 A0 ) e2 A20
= ie(A0 0 + A0 0 ) e2 A20
e2 V 2
= 2ieV
t
y
( + m2 + 2ieV
e2 V 2 ) = 0 .
t
(3.109)
(3.110)
(3.111)
De acuerdo al calculo de la corriente en ec. (3.62) esta solucion representa partculas con carga
positiva. Ademas de la ec.(3.70) la solucion con coeficiente A representa un + moviendose a la
derecha, mientras que la de coeficiente B representa un + moviendose a la izquierda.
Otra forma de mostrar con que direccion las soluciones evolucionan con el tiempo es haciendo
paquetes de onda [11]. El paquete de onda es
h
i
ei(pzEt) = exp i
E 2 m2 z Et
Z E0 +E
i
h
E 2 m2 z Et
(3.112)
dE exp i
E0 E
2
2
2
2
2
2
2
E m = (u + E0 ) m = u + 2uE0 + E0 m 2uE0 + p20
s
uE0
uE0
2uE0
= p0 1 + 2 p0 (1 + 2 ) = p0 +
(3.113)
p0
p0
p0
donde p20 |p0 |2 = E02 m2 . Para una partcula no relativista E0 /p0 = m/(mv0 ) = 1/v0 . En general
v0 =
p0
E0
E 2 m2 p0 +
(3.114)
u
v0
(3.115)
u
z (u + E0 )t
du exp i p0 +
v0
E
Z
(3.116)
70
ip0 zE0 t
ip0 zE0 t
(3.117)
z
du exp iu
t
v0
E
E
(3.118)
z v0 t
du exp iu
v0
E
ip0 zE0 t
(3.119)
I = A e
z v0 t
v0
dE eiE = 2
z v0 t
v0
(3.120)
sin(E)
i(p0 z+E0 t)
+Be
(3.121)
z + v0 t
v0
(3.122)
71
2
2 2
II = 0
+ m + 2ieV
e V
t2 z 2
t
E 2 + P 2 + m2 + 2eV E e2 V 2 II = 0
(eV E)2 + P 2 + m2 II = 0
(3.123)
(3.124)
de modo que
P =
(eV E)2 m2
(3.125)
L
L
3 + 3
,
(0 )
(0 )
(3.127)
(3.128)
(3.129)
Entonces
+2(eV E)P C = 0 .
(3.130)
72
Para una la barrera alta eV E > m > 0, de acuerdo a las convenciones, si T30 < 0 la partcula se
mueve hacia la derecha, y se mueve a la izquierda si T30 > 0. De modo que la solucion con coeficiente
C cooresponde a un moviendose a la derecha y la solucion con coefciente D corresponde a un
moviendose a la izquierda. Note que cuando V = 0, la solucion Cei(P zEt) , j 0 > 0 y T30 > 0
corresponde a + moviendose a la izquierda. Para completar la descripcion, consideramos un +
moviendose a la derecha hacia la barrera como en la figura 3.3. Esto significa que cualquier meson
debe ser producido por la interaccion con la barrera y viajara hacia la derecha dentro de la region
II. De aqu que para la condicion de frontera D = 0, la solucion es
I =A ei(pzEt) + B ei(pz+Et)
II =C ei(P zEt) .
(3.131)
De otro lado podemos construir el paquete de onda correspondiente en cada caso. Por ejemplo
la condicion de frontera D = 0 da lugar a una partcula moviendose a la derecha. En efecto, el
paquete de onda es
z u0 t
i(P0 z+E0 t)
II = C e
f
,
(3.132)
u0
con
P0
P0
u0 =
(3.133)
=p 2
eV E0
P0 + m2
Note que en el caso V = 0, esta da lugar a un + moviendose a la izquierda como era de esperarse.
De manera que emerge un marco consistente de un partcula de masa m y carga e moviendose
haca la derecha. De aqu que para la condicion de frontera D = 0, la solucion normalizando A = 1
es [11]
z v0 t
P0 + p0 i(p0 z+E0 t)
z + v0 t
i(p0 zE0 t)
I = e
f
e
f
,
v0
P 0 p0
v0
z u0 t
2p0 i(P0 z+E0 t)
,
(3.134)
e
f
II =
P 0 p0
u0
Este resultado se interpreta diciendo que el pion incidente no solo se dispersa en la barrera (B 6= 1),
sino que tambien estimula la barrera para producir un par + , el viaja dentro de la barrera
la cual ve como un hueco, mientras que el + producido por la barrera viaja hacia la izquierda. Si
J 0 y j 0 son interpretados como la densidad de carga, la interpretacion es consistente y tiene sentido
fsico. La energa y la carga se conservan [11].
Example 3.3.1.1
Escriba la ec. (3.92) encoordenadas polares.
Sea = ei(x) (x)/ 2, con y reales. Bajo una tranformacion gauge
1
A A = A +
g
(x)
= ei(x) ei(x)
2
Si fijamos el gauge tal que = , entonces = , y
(3.135)
A LA MECANICA
3.4. APLICACION
CUANTICA
73
1
L L = (D ) (D ) m2 (F F )
4
1
L L = ( + igA ) igA m2 (F F )
4
1
1
1 2 2
= 2 ( + igA ) igA 2 m (F F )
4
1
L = 21 21 m2 + g 2 A A 2 F F
4
(3.136)
Aunque este gauge es de poca utilidad en este contexto, sera de mucha utilidad en la discusion
del rompimiento espontaneo de simetra.
3.4.
Aplicaci
on a la mec
anica cu
antica
2
(i qA) + qA0 .
(3.137)
i =
t
2m
Que puede reescribirse como
1
0
i
+ iqA = i2
( iqA)2
t
2m
1
+ iqA0 =
( iqA)2
i
t
2m
(3.138)
Definiendo el cuadrivector
D = (D 0 , D)
+ iqA , ( iqA)
t
0
i
+ iqA , i + iqA )
=
t
0
i
i
=
+ iqA , + iqA
t
= + iqA
tenemos
iD 0 =
1 2
D
2m
(3.139)
(3.140)
74
que para A = 0 se reduce a la ecuacion de Schrodinger para una partcula libre. Bajo la transformacion gauge en el campo A de la ec. (3.85),
1
0
A0 A = A0 0
q
1
A A = A +
q
(3.141)
los campos E y B permanecen los mismos. Para que la mecanica cuantica sea consistente con
las ecuaciones de Maxwell es necesario que las transformaciones gauge (3.85) de los potenciales
de Maxwell esten acompa
nados por una transformacion de la funcion de onda, , donde
satisface la ecuacion
1 2
0
iD =
D
2m
1
2
i =
(i qA ) + qA 0 .
t
2m
(3.142)
Como la forma de la ecuacion (3.142) es exactamente la misma que la forma de (3.140) entonces ambas
describen la misma fsica. Si podemos encontrar la forma de podemos afirmar que la ec. (3.140)
es covariante gauge, lo que significa que mantiene la misma forma bajo una transformacion gauge.
Como conocemos como transforma A podemos encontrar cual debe ser el que hace que la ecuacion
(3.142) sea consistente con (3.140). Vamos a establecer la respuesta y verificarla. El requerido es
= ei(x)
(3.143)
Entonces
D = [( iqA) i] ei(x)
= ei(x) (D)
(3.144)
y
2
D = D (D )
= [( iqA) i] ei(x) (D)
(3.145)
De la misma manera
0
D = ei(x) (D 0 )
(3.146)
De modo que
D D = ei(x) (D )
(3.147)
A LA MECANICA
3.4. APLICACION
CUANTICA
75
y la derivada covariante del campo transforma como el campo. Tenemos entonces que
1 2
D
2m
1 i(x) 2
e
D
iei(x) D 0 =
2m
1 2
D
iD 0 =
2m
0
iD =
(3.148)
En resumen, para
D = + iqA
(3.149)
y reemplazando q tenemos
A A = A (x)
= eiq(x)
D D = eiq(x) (D ) .
(3.150)
L=
L
=0
A
1
[iq( i ) iq ( i ) + 2q 2 Ai ] =0
2m
iq
[( i ) ( i ) 2iq Ai ] =0
(F j )
2m
(F j )
(3.151)
76
y otra para A0
L
=0
A0
(F 0 ) + q A0 =0
(F 0 ) +
(3.152)
Entonces
F = j
con
j =
q
=0
iq
[( i ) i 2iq Ai ] = i
2m
Que incluye el termino corriente para una partcula cargada y es diferente de la corriente de probabilidad en ec.(1.87). En otras palabras es la carga electrica la que se converva localmente. Note que
para el Lagrangiano de Klein-Gordon de un campo escalar complejo a nivel clasico no esta definida
la probabilidad.
De otro lado las ecuaciones de EulerLagrange para el campo son
L
L
L
L
L
+ i
= 0
0 =
( )
(0 )
(i )
i 0
1
1
i
i
i
2 i i
0
iq( )A + q A A + qA
i (i + iqAi )
= 0 +
2
2m
2m
2
i
i
1
1
= 0 + 0 qA0 +
iq( i )Ai q 2 Ai Ai
i (i + iqAi ) +
2
2
2m
2m
1
1
2
0
=i0 + i qA +
iqAi ( i + iqAi )
i (i + iqAi ) +
2m
2m
1
(i + iqAi ) (i + iqAi )
=i(0 + iqA0 ) +
2m
1
=iD0 +
Di Di
2m
1
D D
iD0 =
2m
1 2
D
iD0 =
2m
Que corresponde a la ec.(3.148), es decir, la ecuacion de Scrodinger con la derivada normal reemplazada por la derivada covariante.
3.5.
Las interacciones debiles son mediadas por bosones gauges cargados W . Que simetra puede
dar lugar a la aparicion de dichos bosones gauge?
77
,
=
0
(3.153)
L = m2 .
donde
= 0
de modo que
(3.154)
(3.155)
L = + m2 + + 0 0 m2 0 0
(3.156)
que corresponde a los Lagrangianos de las partculas escalares compleja + y 0 de la misma masa.
De modo que este Lagrangiano se puede obtener con una generalizacion similar a la que dio lugar al
Lagrangiano para un campo escalar complejo a partir de dos campos escalares reales. Note que en
este contexto un campo escalar complejo puede ser neutro porque tiene cargas adicionales. En este
caso una carga de isospn debil como veremos mas adelante.
El Lagragiano en ec. (3.156) es invariante bajo transformaciones globales
(
(1 + iq)+ = [1 + i(+1)]+ ,
[(1 + iq)+ ] = [1 + i(1)]
(3.157)
= eiq
V=e
(+1)+
+1 0
= + i
(1 + iQ) = + i
(0)0
0 0
+ i +
e
1 + i 0
=
=
0
0
0
1
(3.158)
(3.159)
donde Q es el generador de carga electrica. Es claro que el Lagrangiano en ec. (3.154) es invariante
bajo la transformacion (3.158). Ademas de la u
ltima ecuacion vemos que el campo + transforma
como un campo complejo cargado, mientras que 0 es invariante bajo la transformacion de carga, es
decir, neutro. Si imponemos que la carga electrica se conserve localmente
L = (D ) D m2 14 F F
(3.160)
Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la secci
on 3.7
78
Note que V es unitaria
ei 0
,
V =
1 0
V V = 1 .
(3.162)
= U
U
= U ,
con
UU = U U = 1
(3.163)
det U = 1
(3.164)
(3.165)
T = T
(3.166)
y satisfacer el algebra
[T i , T j ] = ifijk T k
(3.167)
donde a fijk , i, j, k = 1, . . . , N 2 1, se les llama constantes de estructura del Grupo y son antisimetricas en todos los ndices.
Una representacion del grupo SU(2) se puede obtener con las matrices de Pauli 2 2 [16], que
satisfacen el algebra
i j
k
= i ijk
,
(3.168)
2 2
2
donde i
0 1
1 =
1 0
0 i
2 =
i 0
1 0
3 =
0 1
(3.169)
dividas por dos, corresponden a los generadores del Grupo. Las constantes de estructura del Grupo
corresponden a ijk . Como los generadores no conmutan, SU(2) es un Grupo de Lie no Abeliano.
Definiendo los generadores de SU(2) como
Ti =
i
,
2
(3.170)
1 + iT i i = 1 + i
i
i .
2
(3.171)
Como antes, i es el parametro de la transformacion. Siempre que sea posible intentaremos expresar
los resultados independiente de la representacion para usarlos de nuevo en la seccion 3.7.
79
(3.172)
det (i ) = 1
{i , j } = 2ij I i2 = I
Tr i j = 2 ij
i j = iijk k + ij
(3.173)
Ademas
i j + j i = 2ij I
Tr(i j + j i ) = 2ij Tr I
Tr(i j ) + Tr(j i ) = 4ij
Tr(i j ) + Tr(i j ) = 4ij
2 Tr(i j ) = 4ij
Tr(i j ) = 2ij
El campo corresponde a un doblete de SU(2). Este grupo SU(2), con algunas modificaciones que
no afectan la actual descripcion, sera usado para generar las interacciones debiles, de forma analoga
a como el grupo U(1) se uso para generar las interacciones electromagneticas. Es decir a partir del
principio gauge local. De momento, cada componente del doblete tiene una carga de isospn debil
que se conserva globalmente y que corresponde a
1 +
3
(3.174)
T3 = = 2 1 0 .
2
2
Es decir + tiene isospn debil 1/2 y 0 1/2.
En esta seccion analizaremos la posibilidad de convertir la invarianza gauge global no abeliana a
una invarianza gauge local. En la proxima seccion se convertiran todas las invarianzas gauge globales
del Lagrangiano a locales.
Como en el caso Abeliano, ahora requeriremos que la Accion tambien sea invariante bajo transformaciones locales SU(2), de modo que i = i (x). Ya que tenemos tres parametros gauge i (x) esto
requiere la introduccion de 3 campos gauge Wi , y la derivada covariante es ahora una matriz 2 2:
D igT i Wi igW ,
donde = I y W es una matriz 2 2 de componentes
i
(W )ab =
Wi .
2 ab
(3.175)
(3.176)
80
tenemos que W es
1 0 i
1 1 0
0 1
1
2
W +
W +
W3
1 0
2 i 0
2 0 1
1
2
i
W
2
W3
1
2
=
1
2
W + i W
2
W3
2
2
3
+
1
W
2W
.
2W W3
2
1
W =
2
(3.177)
Siempre que no haya lugar a confusion, es costumbre no poner el ndice a los campos vectoriales
componentes de W , de modo que
+
3
1
W
2W
W =
.
(3.178)
2W W 3
2
Ademas
W = W .
(3.179)
(3.180)
Muchas de las ecuaciones en seccion 3.3 aplican igualmente aqu. Tenemos que
= U
= U
D (D ) = U(D )
D (D ) = (D ) U .
(3.181)
(1 + iT i i ) = iT i i
(3.182)
Ademas
Entonces
L L = (D ) (D ) m2
= (D ) U UD m2 U U
= L,
(3.183)
(3.184)
81
(3.185)
Entonces
i
T i W i (1 + ij T j )T k Wk (1 il T l ) [i( m )T m (1 in T n )]
g
i
=(T k + ij T j T k )(1 il T l )Wk [i( m )T m (1 in T n )]
g
1
[T k il T k T l + ij T j T k ]Wk + T m m
g
1
=[T k ij (T k T j T j T k )]Wk + T m m
g
1
=T i Wi i(iikj T i )Wk j + T i i
g
1
ikj
=T Wi + i + Wk j
g
(3.186)
de donde
1
Wi W i Wi + i + ijk Wj k
g
(3.187)
que se reduce al caso Abeliano (3.85) cuando las constates de estructura son cero. Como era de
esperarse cada campo gauge tiene asociado un parametro de transformacion gauge i (x).
Podemos introducir el tensor de intensidad del campo gauge a partir la ec. (3.91)
i
W [D , D ]
g
(3.188)
W = W W ig(W W W W )
= W W ig[W , W ] .
(3.189)
De la ec. (3.89)
=T iWi
(3.190)
Wi = Wi Wi + g ijk Wj Wk ,
(3.191)
donde
82
que se reduce a la forma usual cuando las constantes de estructura del Grupo son cero. Usando la
ec. (3.91)
W (W ) = UW U ,
(3.192)
De modo que la traza de W W
Tr(W W ) Tr(W W
) = Tr(UW U UW U ) = Tr(U UW U UW ) = Tr(W W ) ,
(3.193)
es invariante. Ademas Usando la ec. (3.173), podemos obtener el Lagragiano libre invariante gauge
del los campos Wi
LW 12 Tr (W W )
j
= 81 Tr i j Wi W
j
= 14 ji Wi W
i
= 14 Wi W
i
LW = 41 Wi W
,
(3.194)
que ademas de los terminos cineticos usuales, da lugar a terminos de auto-interaccion entre los
(3.195)
+
3
+
W
2W
2 W =
3
0
2W
W
W3
+ 2
+ W3 + 20
+
2
+ W + 2 0 W+ 0 0 W3
W+
W3
2 W = + W3 + 2 0 + W + 2 0 W+ 0 0 W3 .
(3.197)
(3.198)
Usando estas ecuaciones, los terminos de interacciones entre dos campos escalares y un boson gauge
se puede escribir como
L3 = ig W W
L3 = gJnc
W3 + gJcc
W+ + h.c ,
(3.199)
2
Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la secci
on 3.7
83
donde Jnc
, Jcc
son las corrientes neutras y las corrientes cargadas respectivamente, dadas por
2 Jnc
=i + + i 0 0 0 0
2 Jcc
=i 2 0 0 .
(3.200)
Como
entonces
+
3
3
1
2W
2W +
W
W
W W =
2W W 3
2W W 3
4
= 14 W3 W3 + 2W+ W I,
L4 g 2 W W
= 14 g 2 W3 W3 + 2W+ W
+ + 0 0
(3.201)
= 14 g 2 W3 W3 + + W3 W3 0 0 + 2W+ W + + 2W+ W 0 0
(3.202)
corresponde a terminos de interaccion cuarticas entre los campos escalares y los campos gauge.
Usando las ecs. (3.199), (3.202) y (3.194), el Lagrangiano en la ec. (3.196) se puede escribir como
L = L + L 0 + L 3 + L 4 + L W .
(3.203)
Donde
L = + m2 +
L0 = 0 0 m2 0 0 ,
La Accion definida por el Lagrangiano en ec. (3.203) es
acuerdo a la ec. (3.159) es
+
+ i
+
iQ
=
=e
0
0
0
1
(3.204)
+ i +
e
=
0
0
(3.205)
donde, usando el mismo lenguaje que en el caso no Abeliano, Q es el generador del Grupo U(1)Q ,
que se interpreta como la el operador de carga electrica. Esto resulto ser una simetra accidental
del Lagrangiano propuesto y solo se mantiene a nivel global. Si queremos que la carga electrica se
converve localmente debemos llevar la invarianza gauge abelina gloabal a una local de modo que
tengamos el Grupo gauge local SU(2) U(1) correspondiente a un grupo semisimple
3.6.
El superndice en el doblete escalar puede ser interpretado como carga electrica (en unidades de
e) si bajo el operador diagonal de carga
+
+
+
+
(+1)
q
q
0
+
+
(3.206)
=
=
=
Q
(0)0
q0 0
0
0 q0
0
84
de modo que
+1 0
Q =
0 0
(3.207)
En esta seccion impondremos que las transformaciones bajo el grupo semisimple SU(2)U(1)Y
U(1)Q , dejen invariante la Accion definida por el Lagrangiano en ec. (3.195).
Para el caso Abeliano usaremos la misma estructura de la derivada covariante en ec. (3.175) donde
el coeficiente del campo gauge contiene el acoplamientos gauge y el generador de las transformaciones
correspondientes. El doblete escalar complejo debe transformar bajo U(1)Y como
+
U (1)Y
iY
+ iY ,
(3.208)
=e
0
de modo que la hipercarga Y debe ser la misma para las dos componentes del doblete.
El efecto de la transformacion completa SU(2) U(1)Y es
SU (2)U (1)Y
= ei(j T
j +Y
I)
(3.209)
Para que la Accion definida por el Lagrangiano en ec. (3.154) sea invariante gauge local bajo
SU(2) U(1)Y , debemos cambiar la derivada normal por la derivada covariante:
D igT i Wi ig Y B ,
= igT 1W1 igT 2 W2 igT 1 W1 ig Y B ,
!
1
3
1 gW +
gW
+
g
Y
B
2
= i 2 1
.
1
gW
gW
+ g Y B
2
2
(3.210)
(3.211)
12 Tr (W W ) 14 B B
Las nuevas corrientes se puede obtener de:
L i
1
gW3 + g Y B
2
1 gW
i
+
1 gW +
2
12 gW3 + g Y B
1
gW3 + g Y B
2
1 gW
1
gW3 + g Y B
2
1 gW
1 gW +
2
12 gW3 + g Y B
1 gW +
2
21 gW3 + g Y B
(3.212)
1
gW3 + g Y B
2
1 gW
2
1 gW +
2
21 gW3 + g Y B
(3.213)
85
+
0
1
(
gW
+
g
Y
B
)
+
gW
+
g
Y
B
)
g
g
W
+
W
(
L i
2
2
2
2
i ( 21 gW3 + g Y B ) + 12 g 0 W 12 g W+ + 0 ( 12 gW3 + g Y B )
1 g0 W ] +
+ [ 12 g W+ + 0 ( 21 gW3 + g Y B )] 0 }
1
i{[ ( 12 gW3 + g Y B ) +
(3.216)
i
hg
+ +
(cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2
i
0
0 h g
0
0
(cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2
+ + [( 21 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]
0 0 0 0 [( 21 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]
(3.217)
(3.218)
sin W + Y g cos W = e
sin W + Y g cos W = 0
(3.219)
Con solucion
2Y g cos W = e
g sin W = e
(3.220)
Fijando
Y =
1
2
(3.221)
tenemos
g sin W = g cos W = e
(3.222)
86
(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)
Usando Y = 1/2
1
=ie
+ Y A
2
+
+ cos W
Y sin W
Z
+ie
2 sin W
cos W
0 0
0 cos W
Y sin W
0
ie
Z
+
2 sin W
cos W
Lnc =ie + + A
+
e
+i
+ cos2 W sin2 W Z
2 cos W sin W
0 0
e
i
0 0 Z
2 cos W sin W
=ie + + A
+
e
+i
+ 1 2 sin2 W Z
2 cos W sin W
0 0
e
0 0 Z
i
2 cos W sin W
e
=eJEM
A +
J Z
2 cos W sin W N C
(3.225)
(3.226)
donde JEM
esta dado por la ec. (3.55)
JEM
= i( + + ) .
JNC
= i + + (1 2 sin2 W ) i 0 0 0 0 .
(3.227)
(3.228)
Otra forma de obtener el mismo resultado es escribiendo el Lagrangiano de forma mas compacta
partiendo de la ec. (3.212), cuya parte diagonal es
3
3
L i g W3 + g Y IB i g W3 + g Y IB
2
2
3
(3.229)
i g W3 + g Y IB + h.c
2
87
Para que Lagrangiano incluya la conservacion local de carga electrica debe contener el Lagrangiano
de la ec.(3.161) (el termino en e2 se analiza en el problema 3. 7). Entonces
gT 3 sin W + g Y cos W = eQ
(3.230)
Esto se consigue si
g sin W = g cos W = e
T3 + Y = Q
de modo que
Y =
Entonces
gT
W3
+ g Y B =eQA + e T
1
2
(3.232)
3 cos W
sin W
e
=eQA +
sin W cos W
e
=eQA +
sin W cos W
e
=eQA +
sin W cos W
Entonces
L ie Q A + i
e
2 sin W cos W
L eJEM
A +
(3.231)
sin W
Y
cos W
T 3 cos2 W Y sin2 W Z
3
T T 3 + Y sin2 W Z
T 3 Q sin2 W Z
3 2Q sin2 W Z + h.c
e
2 sin W cos W
JNC
Z
(3.233)
(3.234)
(3.235)
= (gT 3W3 + g Y B )
2
e
3
2
T Q sin W Z
= eQA +
sin W cos W
Entonces
jEM
= i( + + ) + 2e + A
(3.236)
(3.237)
88
3.7.
= 2 = +
0
3
(3.238)
siendo i campos complejos, el Lagrangiano en la ec. (3.154) queda invariante bajo las transformacion
gauge local
= X = exp(ii i )
(3.239)
(3.240)
(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)
Tr i =
(i )jj =
iijj = 0
(3.244)
(3.245)
Por lo que i es una representacion del grupo SU(2) en terminos de matrices 3 3. Usando la
ec. (3.242)
X
X
(ij kk ik jk ) = 3ij ij = 2ij
(3.246)
(i j )kk =
Tr(i j ) =
k
89
(3.247)
(3.248)
(3.249)
(3.250)
W i i + ijk Wj k
g
1
W + W
g
(3.251)
Entonces
D = ( igi Wi )
(D )jk k
(D )jk k
(D )jk k
(D )jk k
Entonces
Ademas
D = + gW
(3.252)
(D ) = ( + igi Wi )
[(D ) ]j = (jk k + gijk k Wi )
[(D ) ]j = (jk k + gjkik Wi )
(3.253)
90
La definicion de W queda
(D ) = + g W
(3.254)
W = i Wi
(3.255)
con Wi dado por la ec. (3.191)
W = W W + gW W
(3.256)
(3.257)
(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)
i
g 2i kij ljm Wk Wl m m2 41 Wi W
= g i ikj Wk j i ikj Wk j
i
+ g 2 i kij lmj Wk Wl m m2 41 Wi W
(3.259)
91
donde
i
Wi W
=( Wi Wi + g ijk Wj Wk )( Wi Wi + g ilm Wl Wm )
=( Wi Wi )( Wi Wi )
+ 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
L
L
=0
( Wi )
Wi
1
i
=
W W
( Wi )
4
( Wi ) i
= ( Wi Wi )
1
i
i
ijk ( W W ) Wj Wk
2g
4
( Wi )
= ( Wi Wi )
o
1 n
2g [ijk ( )] Wj Wk
4
1
= ( Wi Wi ) 2g ijk Wj Wk ijk Wj Wk
4
1
L
(
W
W
)
2g
W
W
W
W
ijk
ikj
i
i
k
k
j
j
( Wi )
4
1
= ( Wi Wi ) 2g ijk Wj Wk + ijk Wk Wj
4
= ( Wi Wi ) gijk Wj Wk
Finalmente
(3.260)
(3.261)
= [( W W ) + gW W ]i
L
= Wi = (W )i
( Wi )
i
W W
= 4Wi
( Wi ) i
l W
W + nli ( Wn )W
= nim ( Wn )
Wi
Wi
= nim ( Wn )Wm + nli ( Wn )Wl
(3.262)
(3.263)
(3.264)
92
Tenemos
L
=g [ n nij j ( n ) nij j ] g 2( n inj lmj Wl m + n knj imj Wk m )
Wi
2g
+ [nji ( Wn Wn )Wj + nik ( Wn Wn )Wk ]
4
g2
+ (nik nlm Wk Wl Wm + nji nlm Wj Wl Wm + njk nim Wj Wk Wm + njk nli Wj Wk Wl )
4
L
= g [nji n j nji ( n ) j ] g 2 [n inj (lmj Wl m ) + m imj (knj Wk n )]
Wi
2g
+ [nji ( Wn Wn )Wj nik ( Wn Wn )Wk ]
4
g2
+ (nik nlm Wk Wl Wm + nki nml Wk Wm Wl + nlm nik Wl Wm Wk + nml nki Wm Wl Wk )
4
L
= g [nji n j nji ( n ) j ] g 2 [ n inj (lmj Wl m ) + m imj (knj Wk n )]
Wi
2g
+ [nji ( Wn Wn )Wj + nji( Wn Wn )Wj ] + g 2 nik nlm Wk Wl Wm
4
= g [njin j nji ( n ) j ] g 2 [n inj (lmj Wl m ) + m imj (knj Wk n )]
+ g[nji( Wn Wn )Wj ] + g 2 nik nlm Wk Wl Wm
L
= g( + )i g 2 [inj n (W )j + imj m (W )j ]
Wi
+ g[( W W ) W ]i + g 2nik (W W)n Wk
= g( + )i + g 2 [ijn (W )j n + ijm (W )j m ]
+ g[( W W ) W ]i g 2 nki (W W )n Wk
L
= g( + )i + g 2 [(W ) + (W ) ]i
Wi
+ g[( W W ) W ]i g 2 [(W W ) W ]i
= g{ + g[(W ) + (W ) ]}i
g{[( W W ) + gW W ] W }i
Finalmente
L
= g{ + g[(W ) + (W ) ]}i g(W W )i
i
W
(3.265)
93
3.8. PROBLEMAS
W + gW W = g{ + g[(W ) + (W ) ]}
W gW W = g[ ( + gW ) ( + g W ) ]
W + gW W = g[ ( + gW ) ( + g gW ) ]
(3.266)
Ya que
D W = W + gW W ,
(3.267)
D W = g[ D (D ) ] g j
(3.268)
D W = 2g(D )
(3.269)
(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)
(3.272)
~ 6= 0, donde B
~ es el isovector de induccion magnetica. Esto da lugar a la existencia
se sigue que B
de monopolos magneticos de isospn.
Al igual que en el caso Abeliano, sin embargo, el campo W sigue siendo sin masa.
Aunque la teora que hemos desarrollado es puramente matematica, comparte muchas cosas en
com
un con las simetras gauge no abelianas usadas en la construccion del Modelo Estandar de las
partculas elementales.
3.8.
Problemas
3.1 Compruebe si es posible construir un doblete escalar donde ambas campos sean cargados respetando la invarianza SU(2) U(1)Y . La solucion es Y = 3/2
94
(3.273)
D =(UD U )n U
= UD U UD U . . . UD U UD U U
|
{z
}
nfactors
=U(D )
(3.274)
(3.275)
L =
(3.276)
(3.277)
(3.278)
(3.279)
95
3.8. PROBLEMAS
Entonces, usando la ec.(3.233)
L (gT 3W3 + g Y B )2
e
T 3 Q sin2 W Z ]2
= [eQA +
sin W cos W
2 2
e Q A A
=e2 QA A
=e2 + A A
(3.280)
3.8 Muestre que el Lagrangiano en ec. (3.259) puede escribirse escalares en el espacio SU(2)
3.9 Demuestre que
L = 21 Tr (W W ) 14 B B
i
14 B B
= 41 Wi W
1
14 F F 41 Z Z (FW
) (FW ) ,
2
donde
F = A A
Z = Z Z
(FW ) = W+ W+ .
96
Captulo 4
Ruptura espont
anea de simetra
4.1.
(4.1)
V () = 21 2 .
(4.2)
con
Este Lagrangiano es simetrico bajo la transformacion discreta .
Si 2 > 0 el campo tiene excitaciones alrededor del mnimo del potencial que cuestan energa y dicho termino se interpreta como la masa de la partcula. Ver figura 4.1. En Teora Cuantica de Campos
al estado de mnima energa se le llama el vaco y las excitaciones alrededor del vacio corresponden
a las partculas.
Si 2 < 0, no existe un mnimo del potencial alrededor del cual el campo pueda oscilar. Ademas
el alejamiento del campo del punto de simetra del potencial no cuesta energa. Por consiguiente en
ese caso, el termino de interaccion
V () = 12 2
2 < 0,
(4.3)
CAPITULO 4. RUPTURA ESPONTANEA
DE SIMETRIA
98
2 < 0, > 0
(4.4)
que mantiene la simetra bajo la transformacion discreta . > 0 garantiza la aparicion de los
dos mnimos que se muestran el la figura 4.2. Si la energa es suficientemente alta como se muestra
en la figura 4.2, las excitaciones son simetricas con respecto al maximo del potencial y el termino en
2 no puede interpretarse como masa para la partcula escalar.
Sin embargo, si la energa es suficientemente baja como se muestra en la figura 4.3, las excitaciones
alrededor del mnimo dan lugar a la aparicion de un termino de masa para el campo escalar. Ademas,
dichas excitaciones no respetan la simetras . En tal caso decimos que la simetra ha sido
espontaneamente rota: aunque el Lagrangiano mantiene la simetra original, el vaco la rompe.
Para analizar cuantitativamente el espectro de partculas es necesario expandir el campo alrededor
del mnimo y determinar las excitaciones. Establezcamos en primer lugar los mnimos del potencial.
La V / = 0 da lugar a
2 + 3 = 0
(2 + 2 ) = 0,
con extremos max = 0, y
min hi v =
De hecho
(4.5)
(4.6)
2
.
(4.7)
2V
= 2 + 32 .
2
(4.8)
(x) = H(x) + v
(4.9)
p
= 0 corresponde a un maximo, mientras que la segunda derivada para = 2 / es 22 > 0
y corresponden a los mnimos. Expandiendo el campo alrededor del mnimo
DE GOLDSTONE
4.2. BOSON
99
V () = 21 2 2 + 14 4
= 21 2 (H + v)2 + 41 (H + v)4
= 12 2 (H + v)2 + 41 (H + v)4
2
= 12 2 H 2 + 2vH + v 2 + 14 H 2 + 2vH + v 2
h
2 i
= 21 2 H 2 + 2vH + v 2 + 14 H 4 + 2H 2 2vH + v 2 + 2vH + v 2
= 21 2 H 2 + 2vH + v 2 + 14 H 4 + 4vH 3 + 2H 2 v 2 + 4v 2 H 2 + 4v 3 H + v 4
= 21 2 H 2 + 2vH + v 2 + 14 H 4 + 4vH 3 + 6H 2 v 2 + 4v 3 H + v 4
= 21 2 H 2 32 H 2 2 + 2 vH 2 vH + 21 2 v 2 14 2 v 2 + 41 H 4 + 4vH 3
V (H) = 12 22 H 2 + vH 3 + 14 H 4 + 41 2 v 2 ,
LH = 12 H H
1
2
22 H 2 vH 3 41 H 4 + constant.
(4.10)
(4.11)
= 12 v 2 H 2 + 2vH + v 2 + 41 H 4 + 4vH 3 + 6H 2 v 2 + 4v 3 H + v 4
=v 2 H 2 + vH 3 + 14 H 4 + constant.
4.2.
(4.12)
Bos
on de Goldstone
Consideremos ahora un campo escalar complejo sin termino de masa, pero con potencial:
L = V ()
V () = 2 + ( )2
2 < 0, > 0
(4.13)
(4.14)
La simetra del Lagrangiano corresponde a U(1) global. Este potencial corresponde al sombrero
mexicano. Para una energa suficientemente baja de manera que el campo deba oscilar alrededor del
mnimo aparecen dos tipos de excitaciones. Una sobre las paredes que cuestan energa y corresponden
a un campo escalar cargado como en el caso anterior, y otra a lo largo de la circunferencia de mnimo,
que corresponde a una partcula escalar sin masa.
Analticamente tenemos dos formar de abordar el analisis
4.2.1.
Coordenadas cartesianas
1 + i2
1
= (H(x) + v + iG)
2
2
(4.15)
Entonces
2
V (1 , 2 ) = 12 2 21 + 22 + 41 21 + 22
(4.16)
CAPITULO 4. RUPTURA ESPONTANEA
DE SIMETRIA
100
La condici`on de mnimo es
V
=0
1
= 21 2 (21) + 14 2 21 + 22 21
=1 2 + 21 + 22
V
=0
2
=2 2 + 21 + 22
(4.17)
(4.18)
(4.19)
(4.21)
(4.22)
Como antes, el campo H tiene masa 2|2 |. El termino en G2 ha desaparecido implicando que el campo
G tiene masa cero. En este caso decimos que la invarianza U(1) de la accion ha sido espontaneamente
rota
U = eiY ,
(4.23)
donde Y es el generador de la transformacion y el parametro. Despues de la ruptura espontanea de
la simetra diremos que el generador Y ha sido roto. El campo que adquiere masa recibe el nombre
de boson de Higgs [17], mientras que el campo sin masa es llamado boson de Goldstone.
El Teorema de Goldstone establece que por cada generador roto de una simetra continua debe
aparecer un boson de Goldstone.
GAUGE
4.3. MASA PARA EL BOSON
4.2.2.
101
Coordenadas polares
Si hacemos
(x)
= ei(x)
2
(4.24)
L = 12 ( i ) ( + i ) 21 2 2 21 4
L = 21 + 21 2 12 2 2 21 4
(4.25)
Haciendo + v, tenemos
L = 21 12 2 ( + v)2 21 ( + v)4
+ 21 v 2 + 21 2 + 2v
L = 12 12 22 2 v3 41 4
+ 21 v 2 + 21 2 + 2v
(4.26)
4.3.
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
(4.27)
i(x) i(x)
=e
e
=
(4.28)
2
2
2
L L = (D ) (D ) 2 ( ) ( ) 14 (F F )
(4.30)
(4.31)
(4.32)
CAPITULO 4. RUPTURA ESPONTANEA
DE SIMETRIA
102
Teniendo en cuenta la ec. (2.126) para el Lagrangiano de Proca, vemos que como consecuencia de la
ruptura espontanea de simetra el campo gauge ha adquirido una masa
mA = gv.
(4.33)
El mecanismo completo mediante el cual, a partir de un Lagrangiano invariante gauge local, los
bosones gauge adquieren masa se llama mecanismo de Higgs [17]. La partcula escalar que adquiere
masa se llama Higgs, mientras que el boson de Goldstone es absorbido por campo gauge como modo
longitudinal.
El n
umero de grados de libertad independientes en el Lagrangiano original en la ec. (4.27) es
cuatro. Correspondientes a los dos grados de libertad del boson gauge no masivo y los dos del campo
escalar complejo. En el Lagrangiano final en la ec. (4.31) no aparece el boson de Goldstone. Sin
embargo esto no es un problema porque dicho Lagrangiano tambien tiene cuatro grados de libertad
correspondientes a los tres grados de libertad del boson gauge masivo y al grado de libertad del boson
de Higgs.
Sin usar la transformacion gauge en ec. (4.27), tenemos que para
1
= (H(x) + v + iG(x))
2
(4.34)
L = 21 [ H i G + igA (H + v) + gA G] [ H + i G igA (H + v) + gA G]
21 2 (H + v)2 21 2 G2 14 (H + v)4 41 G4 21 G2 (H + v)2 41 F F
= 21 { H + gA G + i [ G + gA (H + v)]} { H + gA G i [ G + igA (H + v)]}
21 2 (H + v)2 21 2 G2 14 (H + v)4 41 G4 21 G2 (H 2 + 2vH + v 2 ) 41 F F
= 21 ( H + gA G)2 + 21 [ G + gA (H + v)]2
21 2 (H + v)2 41 (H + v)4 41 G4 12 G2 (H 2 + 2vH) 14 F F
= 12 H H 21 2 (H + v)2 41 (H + v)4 14 F F
41 G4 g GA H + 21 g 2A A H 2 + g 2 vA A H + g HA G
+ 21 g 2A A G2 12 G2 (H 2 + 2vH)
+ 21 G G + 21 g 2 v 2 A A gv GA
=LH 41 F F + Lint + L2 ,
(4.35)
donde
Lint = 41 G4 g GA H + 21 g 2 A A H 2 + g 2 vA A H + g HA G
+ 21 g 2 A A G2 12 G2 (H 2 + 2vH)
L2 = 21 G G + 12 g 2v 2 A A gv GA
(4.36)
Podemos interpretar L2 como los terminos de mezcla entre A y, para compensar el ndice de Lorentz,
G. Podemos escribirlo en forma matricial como
G
1 gv
1
(4.37)
L2 = 2 G A
A
gv g 2v 2
Sea
V =
cos sin
sin cos
(4.38)
103
G
G
T
,
=V
A
A
L2 = 12
= 12
= 12
(4.39)
G
1 gv
T
G A
V
V
A
gv g 2 v 2
0
G
0
G A
A
0 1 + g2v2
1 + g 2 v 2 A A .
(4.40)
De nuevo, el boson de Goldstone, en este caso G , es absorbido como modo longitudinal del A .
4.4.
Consideremos ahora una Accion invariante gauge local bajo S(2) U(1)Y . Esta corresponde al
sector bosonico del Modelo Estandar de las partculas elementales. Generalizando el Lagrangiano en
la ec. (3.211)
2
(4.41)
L = (D ) D 2 21 Tr (W W ) 14 B B ,
SU (2)U (1)Y
= ei(j T
j +Y
I)
(4.42)
D = I igW ig Y B = I igTi Wi ig Y B .
(4.43)
De la ec.(3.178)
W = Ti Wi =
1
W3
2
1
W
1 W +
2
12 W3
(4.44)
!
i2 gW+
.
i 21 gW3 + g Y B
(4.45)
De modo que
D =
1
gW3 + g Y
2
i2 gW
Sin perdida de generalidad los cuatro grados de libertad de , pueden escribirse en la forma
0
ij T j
(4.46)
=e
1 (H(x) + v)
2
+
0
1 1 + i3
2i
1 (H(x) + v)
2i
1 i3
2
2
+
+
1
i H + vi
=
1
2 2 (H + v i3 H i)
G+
= 1
.
(h + v iG0 )
2
CAPITULO 4. RUPTURA ESPONTANEA
DE SIMETRIA
104
Para SU(2) U(1)Y tenemos cuatro generadores y cuatro bosones gauge. De acuerdo a la parametrizacion en ec. (4.46) esperamos que aparezcan tres bosones de Goldstone, de manera que quedara un
generador no roto correspondiente a una simetra remanente del vaco U(1)Q
hi
(4.47)
Se espera entonces que el espectro consista de un boson de Higgs, tres bosones gauge masivos, y un
boson gauge sin masa.
Para = 0, podemos hacer una transformacion gauge usando la ec. (4.42) sobre el campo , tal
que
0
,
(4.48)
= 1
(H(x) + v)
2
que define el gauge unitario. En adelante sin embargo omitiremos las primas sobre los campos trans
formados y W
.
1
0
0
D
D
V (H) 21 Tr (W W ) 41 B B ,
(4.49)
L=
H(x)
+
v
H(x)
+
v
2
donde V (H) dado en la ec. (4.10), incluye el termino de masa para el boson de Higgs
m2H = 2 2 = 2v 2
1
L=
2
i2 gW + (H + v)
H i 12 gW3 + g Y B (H + v)
i2 gW+ (H + v)
H i 12 gW3 + g Y B (H + v)
V (H) 21 Tr (W W ) 14 B B
1 i
gW
(H
+
v)
H
+
i
gW
+
g
Y
B
(H
+
v)
=
3
2
2 2
i2 gW+ (H + v)
H i 21 gW3 + g Y B (H + v)
V (H) 21 Tr (W W ) 14 B B
1
= g 2 W W+ (H + v)2
4
1
+ H + i 12 gW3 + g Y B (H + v) H i 21 gW3 + g Y B (H + v)
2
V (H) 21 Tr (W W ) 14 B B
1
= H H V (H) 12 Tr (W W ) 41 B B
2
2
1
1
12 gW3 + g Y B (H + v)2
+ g 2 W W+ (H + v)2 +
4
2
Entonces
1
i
14 B B
L = H H V (H) 41 Wi W
2
gv 2
1
1
+
W W+ + g 2W W+ H 2 + vg 2 W W+ H + LW B
4
4
2
(4.50)
(4.51)
(4.52)
105
2 2
1
H 2 + 2vH + v 2
g
W
W
gg
Y
W
B
gg
Y
W
B
+
g
Y
B
B
3
3
4
2
2
2
Haciendo Y = 1/2 como en la ec. (3.232),
3
g 2 gg
1
W
W3 B
H 2 + 2vH + v 2
LW B =
2
B
gg
g
8
LW B =
Sea
V =
cos W sin W
sin W cos W
entonces
=p
g g
,
g g
g 2 + g 2
= g cos W , como en la ec. (3.222). Si (ver ec. (3.216)),
3
W
Z
=V
A
B
(4.53)
(4.54)
(4.55)
(4.56)
2
T
1
g
gg
Z
Z A
H 2 + 2vH + v 2
(4.57)
V
V
LW B =
2
A
gg
g
8
3
2
1
g
gg
g + gg 2
g 2 g g 3
g g
T
V = 2
V
2
2
g g
gg g 2
g + g 2 +g 2g g 2g gg + gg
3
1
g g
g + gg 2 g 2 g g 3
= 2
g g
0
0
g + g 2
4
1
g + g 2g 2 + g 2g 2 + g 4 g 3g + gg 3 g 3 g gg 3
= 2
0
0
g + g 2
2
g + g 2 0
(4.58)
=
0
0
LW B =
=
=
=
1 g2 + g2
Z Z H 2 + 2vH + v 2
2
4
2
1 g
1 + tan2 W Z Z H 2 + 2vH + v 2
2 2
2
g
1
Z Z H 2 + 2vH + v 2
2 2 cos W
2
2
2
gv
g
1
g
1
2
Z Z +
Z Z H +
vZ Z H
2 2 cos W
2 2 cos W
2 cos W
2
Z Z H +
v Z Z H
+
2 2 cos W
2 cos W
1
1
1
+ m2W W W+ + m2W W W+ + m2Z Z Z ,
2
2
2
(4.59)
(4.60)
CAPITULO 4. RUPTURA ESPONTANEA
DE SIMETRIA
106
donde
mW =
gv
2
y
mZ =
mZ =
gv
,
2 cos W
mW
.
cos W
(4.61)
(4.62)
i
Los terminos en W
, y B pueden escribirse en terminos de W Z y A ,
i
14 B B
LW B = 14 Wi W
) (FW ) L3 L4
= 41 F F 14 Z Z 21 (FW
(4.63)
donde
(FW ) = W+ W+
(4.64)
h
i
L3 = ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
i
h
ie (FW
) W+ A (FW ) W A + W W+ F ,
(4.65)
h
i
e2
2
2
+
2
+
+
+
+
L4 =
e
cot
W
W
W
W
W
W
W
W
Z
Z
W
Z
W
Z
W
2 sin2 W
e2 cot2 W 2W+ W A Z W+ A W Z W+ Z W A
e2 W+ W A A W+ A W A .
(4.66)
+
mH H 1 +
+ 2 + mW W W + mZ Z Z
1+2 + 2
2
v
4v
2
v
v
i
h
ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
h
i
ie (FW
) W+ A (FW ) W A + W W+ F
h
i
e2
2
2
+
2
+
+
e
cot
W
W
W
W
W
W
W
W
Z
Z
W
Z
W
Z
W
2 sin2 W
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.67)
El Lagrangiano en ec. (4.41) tiene en total doce grados de libertad. Cuatro del doblete escalar
complejo y ocho grados de libertad para los cuatro bosones gauge no masivos. El Lagrangiano final
en la ec. (4.67) tiene doce grados de libertad, uno del boson de Higgs, 9 para los bosones gauge
masivos W+ , W , y Z y dos del boson gauge no masivo A . De nuevo, en el gauge unitario no
aparecen los bosones de Goldstone explcitamente en el Lagrangiano. Estos han sido absorbidos
como modos longitudinales de los tres bosones gauge masivos. Del teorema de Goldstone vemos que
107
como efecto de la ruptura espontanea de simetra hay tres generadores rotos que dan lugar a los
tres bosones de Goldstone. Queda un generador no roto asociado a un boson gauge no masivo A ,
que es una combinacion linea de los campos gauge neutros. A corresponde al foton y esta asociado
una simetra gauge local abeliana remanente del vaco. Entonces, la ruptura espontanea de simetra
ocurre de S(2) U(1)Y U(1)Q .
Los resultados deesta seccion se obtienen del Lagrangiano en ec. (3.196) haciendo + = 0, y
108
Captulo 5
Fermiones
5.1.
5.1.1.
Ecuaci
on de Dirac
Fermiones de Weyl
Sea un campo que satisface una ecuacion covariante de segundo orden. La parte cinetica del
Lagrangiano sin terminos de masa y sin terminos de interaccion debe tener la forma
i
i
(5.1)
L = a a m b
2
2
La Accion debe ser real, de modo que el Lagrangiano tambien. En efecto
i
i
L =
a a m b
2
2
i
i
= a + a m b
2
2
=L
si b = b .
Como al aplicar las ecuaciones de Euler-Lagrange a este Lagrangiano debemos obtener la ecuacion
de Scrhodinger
i
b
= H
t
(5.2)
(5.3)
(5.4)
CAPITULO 5. FERMIONES
110
5.1.2.
De la ec. (5.4)
L
L
J =
+
(0 )
(0 )
= i a0
0
(5.5)
(5.6)
= i.
(5.7)
J 0 = a0
(5.8)
de modo que
Por consiguiente
Para que J 0 pueda interpretarse como una densidad de probabilidad, debemos redefinir el Lagrangiano en ec. (5.1) como
i
i
L =
mb,
(5.9)
2
2
tal que
= c,
(5.10)
con
c 0 = I
(5.11)
(5.12)
ya que
i
i
L =
c c m b c
2
2
i
i 2
2
c c c c m c2 b c
=
2
2
i
i
c
=
c c c c mcb
2
2
i
i
mb
=
2
2
L = i
(5.13)
DE DIRAC
5.1. ECUACION
111
(5.14)
Que podemos interpretar como una densidad de probabilidad. se define como la adjunta de .
En general
"
#
L
L
+
J
( )
(i)
i
(i)
i
=
(5.15)
y
J = c
5.1.3.
(5.16)
Tensor momento-energa
L
L
L
0 + 0
(0 )
0
0 0 L
= i
T00 =
i i + m,
= i
p + m),
= (
= c( p + m),
= H,
donde
= c( p + m)
H
=
hHi
Ademas
d3 x.
H
(5.17)
(5.18)
(5.19)
L
L
i + i
(0 )
0
0 i
= i
Ti0 =
de modo que
= (ii )
h
pi =
d3 x
p
(5.20)
(5.21)
CAPITULO 5. FERMIONES
112
5.1.4.
Ecuaciones de Euler-Lagrange
= H
t
(5.22)
con el Hamiltoniano dado en la ec. (5.19), que corresponde a un Lagrangiano de solo derivadas de
primer orden y covariante, en lugar del Hamiltoniano para el caso no relativista.
De hecho, aplicando las ecuaciones de Euler-Lagrange para el campo al Lagrangiano en ec. (5.13)
,tenemos
"
#
L
L
=0
L
=0
i m = 0.
(5.23)
Expandiendo
i 0 0 + i i i m = 0
i 0 0 (i) m = 0,
+ m),
i 0 0 = ( p
de donde
= 0 ( p + m).
t
Comparando con ecs. (5.22) y (5.18), tenemos que
i 0
(5.24)
c = 0
2
0 = 1.
(5.25)
= 0 ( p + m),
H
(5.26)
0 0 = .
(5.27)
De la ec. (5.18)
y de la ec. (5.12)
A este punto, solo nos queda por determinar los parametros .
La ec. (5.22) puede escribirse como
= 0.
i H
t
(5.28)
El campo tambien debe satisfacer la ecuacion de Klein-Gordon. Podemos derivar dicha ecuacion
aplicando el operador
i H
t
DE DIRAC
5.1. ECUACION
113
i H
i H =0
t
t
i
H
=0
i H
t
t
!
2
H
iH
+ H
2 = 0
+
i
H
+
i
t2
t
t
t
2
2
= 0.
+H
t2
(5.29)
(5.30)
Sea
= 0
i = i
i = i
(5.31)
2 = ( p)( p) + m p + m p + m2
H
= ( p)( p) + m( + ) p + m2
Sea A una matriz y en un escalar. Entonces tenemos la identidad
X 2 2 X
(A )2 =
Ai i +
Ai , Aj i j
i
(5.32)
(5.33)
i<j
Entonces
2 =2 p2 +
H
i i
X
i<j
{i , j } pi pj + m(i + i)pi + m2
(5.34)
i 6= j
2 = 2 + m2
H
2
2
+m =0
t2
+ m2 = 0
(5.35)
(5.36)
(5.37)
CAPITULO 5. FERMIONES
114
En terminos de las matrices las condiciones en ec. (5.35) son
2
0 = 1
2
De modo que
i = 1 0 i 0 i = i = 1 i = 1
i 0 + 0 i = i, 0 = 0
i , j = 0 i 0 j + 0 j 0 j = 0
0 0 i j
0 0 j j
= 0
i j + j j = 0
i j
, = 0
(5.38)
i 6= j
i 6= j
i 6= j
i 6= j
(5.39)
{ , } + = 2g .
(5.40)
= ( 0 , i )
(5.41)
0 0 = .
(5.42)
donde
(5.44)
= 0 .
(5.45)
donde
5.1.5.
De la ec. (5.42)
= 0 0
0 = 0
2
i = 0 i = i
=0
.
=i
(5.46)
Definiendo
5 = i0 1 2 3 ,
(5.47)
52 = 1,
(5.48)
entonces,
DE DIRAC
5.1. ECUACION
115
Teniendo en cuenta que 2 1 y conmuta con las demas matrices, tenemos por ejemplo
5 3
5 2
5 1
5 0
=i0 1 2 32 = 32 i0 1 2 = 3 i0 1 2 3 = 3 5
= i0 1 22 3 = 22 i0 1 3 = 2 i0 1 2 3 = 2 5
=i0 12 2 3 = 12 i0 2 3 = 1 i0 1 2 3 = 1 5
=i0 1 2 3 0 = 02 i1 2 3 = 0 5 .
(5.49)
De modo que
{ , 5 } = 0.
(5.50)
(5.51)
y por consiguiente
Tr = 0.
(5.52)
U U ,
(5.53)
Si
para alguna matriz unitaria U, entonces corresponde a otra representacion de algebra de Dirac en
ec. (5.40), ya que
{
, } = U U , U U
= U { , } U
= 2g UU
= 2g .
(5.54)
Claramente, la condicion en ec. (5.42) se mantiene para la nueva representacion. Como 0 es hermtica,
siempre es posible escoger una representacion tal que 0 U0 U sea diagonal. Como 02 = 1, sus
entradas en la diagonal deben ser 1, y como Tr 0 = 0, debe existir igual n
umero de +1 que de 1.
Por lo tanto la dimension de 0 (y de ) debe ser par: 2, 4, . . ..
Si U = 0 , entonces 0 = 0 y i = i .
Para una matriz de n dimensiones existen n2 matrices hermticas (o antihermticas) independientes. Si se sustrae la identidad quedan n2 1 matrices hermticas (o antihermticas) independientes
de traza nula. En el caso n = 2 corresponden a las 3 matrices de Pauli. En el caso de la ecuacion de
Dirac se requieren 4 matrices independientes, por lo tanto deben ser matrices 4 4. En efecto para
n = 4 existen 15 matrices independientes de traza nula dentro de las cuales podemos acomodar sin
problemas las 4 . En la Tabla 5.1 se muestran las matrices de traza nula con sus propiedades de
transformacion bajo el Grupo de Lorentz. En la u
ltima se muestra el correspondiente escalar en el
espacio de Dirac .
CAPITULO 5. FERMIONES
116
Matriz
1
5
5
= 2i [ , ]
Transformacion
Escalar (S)
Pseudoescalar (P)
Vector (V)
Vector axial (A)
Tensor antisimetrico (T)
N
umero
1
1
4
4
6
16
Escalar en Dirac
5.2.
Electrodin
amica Cu
antica
Para hacer el Lagrangiano en ec. (5.43) invariante gauge local bajo U(1)Q , procedemos de la
forma usual. El campo transforma como
= eiQ(x)
iQ(x) .
= e
(5.55)
La derivada covariante se define de manera que transforma de la misma forma que el campo, introduciendo el campo gauge A
D = ieQA
(5.56)
El Lagrangiano correspondiente a la interaccion de un fermion y el campo electromagnetico es
L = (i D m) 41 F F ,
(5.57)
(5.58)
tenemos
Aplicando las ecuaciones de Euler-Lagrange para ,
(i m) + eQ A = 0
(i i2 eQ A m) = 0
[i ( ieQA ) m] = 0
(i D m) = 0.
(5.59)
Que corresponde a la ecuacion de Dirac en presencia del campo electromagnetico. Mientras que para
el campo A , tenemos
F F
1
A = 0
eQ
4
( A )
A
F = eQ
(5.60)
Definimos entonces la corriente electromagnetica generada por el fermion como
.
j = eQ
(5.61)
5.3. CROMODINAMICA
CUANTICA
117
(5.62)
5.3.
Cromodin
amica Cu
antica
Los protones, neutrones, piones, kaones y demas hadrones, son partculas compuestas de constituyentes elementales llamados quarks. Por ejemplo los protones, neutrones y piones estan constituidos
de quarks up y down. Los hadrones estan dividos en bariones, B, constituidos de tres quarks, y los
mesones, M, de dos. Para satisfacer el principio de exclusion de Pauli, y justificar el confinamiento de
los hadrones, se requiere que cada quark contenga Nc cargas diferentes, llamadas cargas de color, de
manera que la carga de color de un hadron sea cero. Muchos resultados experimentales respaldan la
existencia de tres cargas de color para cada quark, Nc = 3. De este modo cada quark q = u, d, c, s, t, b
viene en tres colores
q = q1 , q2 , q3 = qr , qb , qg ,
(5.63)
donde los u
ltimos subndices hacen referencia a los colores red, blue, green. De este modo los Bariones
y mesones estan descritos por combinaciones singletes de color del tipo qr qb qg y qr qr ,
1
B = |q q q i
6
1
M = |
q q i
3
(5.64)
Estos estados son singletes de color, ver problema 5. 2 Una de las determinaciones de Nc proviene
del observable
R
(e+ e hadrones)
(e+ e + )
(5.65)
Para f = u, d, s, c, b, t, (en orden de masa) tenemos que para una energa donde se pueden producir
hadrones compuestos de hasta quarks fmax
R
Pfmax PNc
R Nc
f =u
=1 (e e f f )
(e+ e + )
Pfmax
f =u (e e f f)
(e+ e + )
(5.66)
CAPITULO 5. FERMIONES
118
=Nc
Q2f
f =u
2 2
1 2
2
Nc [( 3 ) + 2( 3 ) ] = 3 Nc
= Nc [2( 23 )2 + 2( 1
)2 ] = 10
Nc
3
9
2 2
1 2
11
Nc [2( 3 ) + 3( 3 ) ] = 9 Nc
fmax = s
2 Nc = 3,
= 10
Nc = 3,
fmax = c
3
11
Nc = 3,
fmax = b
3
f = u, d, s, fmax = s
fmax = c
fmax = b
(5.67)
= b = qb .
(5.68)
g
qg
5.3. CROMODINAMICA
CUANTICA
119
El Lagrangiano de Dirac con invarianza gauge global SU(3), para un quark, se puede escribir como
donde
m,
Lglobal = i
(5.69)
a
= exp ia
.
2
(5.70)
(5.71)
donde
a
= exp ia (x)
2
a
D (D ) = exp ia (x)
D ,
2
(5.72)
con
a a
G igs G
2
con la definicion de esta matriz 3 3 similar a la de la ec. (3.178)
a
(G ) =
Ga
2
D = igs
(5.73)
(5.74)
i
( U) U .
gs
(5.75)
a
i
[D , D ] G
,
gs
2 a
(5.76)
donde
con
abc
abc
e
G
Gb Gc G
Gb Gc ,
a = Ga Ga + g s f
a + gs f
e = G G
G
a
a
a
(5.77)
(5.78)
(5.79)
CAPITULO 5. FERMIONES
120
Definiendo el producto vectorial de SU(3) como
(A B)a = fabc Ab B c ,
(5.80)
si G es un vector en el espacio SU(3) con las 8 componentes Ga , podemos escribir la ec. (5.77)
como en la seccion 3.7
G = G G + gs G G ,
(5.81)
1 G
L =i igs G m
Ga
2
4 a
m
+ gs
a Ga 1 G Ga
=i
2
4 a
m
+ gs
a Ga 1 G
e G
ea
=i
2
4 a
1 e
ea + g 2 f abc fade G G Gd Ge
gs Ga fade Gd Ge + gs f abc Gb Gc G
(5.82)
s
b c
4
L = Lglobal + Lgauge + LSI ,
(5.83)
donde
Lglobal =i
a Ga 1 G
e G
ea
Lgauge =gs
2
4 a
1
(5.84)
= ( Ga Ga ) Ga Ga + Ja Ga ,
4
es la nueva corriente conservada de interaccion fuerte que surge como consecuencia de la invarianza
gauge local SU(3).
1 e
d e
d e
abc e a
2 abc
LSI = gs G
f
G
G
+
g
f
G
G
G
+
g
f
f
G
G
G
G
ade
s
ade
a
s
b c
b c
4
2
gs
ea G G + gs f abc fade G G Gd Ge
= f abc G
b c
b c
2
4
g2
gs
(5.85)
= f abc ( Ga Ga ) Gb Gc s f abc fade Gb Gc Gd Ge ,
2
4
son los terminos de autointeracccion gauge.
La coorriente de color
L
L
L +
j
+
Ga
( )
( Ga )
a
1
a
a
b c
i i (x) Ga
+ fabc G
2
gs
a 1 G a G fdba Gb a
a (x)
d
2
gs a
a G Gb a 1 (G a ) + 1 a G
a (x)
(5.86)
a
a
a
2
gs
gs
5.3. CROMODINAMICA
CUANTICA
121
ja (x)
+ G G a Ga
2
gs
+ G G a
ja = gs
2
(5.87)
(5.88)
Ja = gs q q
.
(5.89)
2
Note que tanto para la Electrodinamica Cuantica como para la Cromodinamica Cuantica la corrien
te
es vectorial. Para las interacciones debiles la estructura es mas complicada y requiere un
conocimiento mas profundo de la ecuacion de Dirac y sus soluciones.
5.3.1.
Ecuaciones de EulerLagrange
Sigiendo los mismos procedimientos anteriores debemos llegar a los siguientes resultados. Para el
campo
mientras que para los campos G
(i D m) = 0 ,
(5.90)
D G =J ,
(5.91)
donde el vector en espacio SU(3) J tiene las 8 componentes Ja dadas en la ec. (5.88). Como G es
una matrix 88, la derivada covariante debe estar en la representacion adjunta como en la ec. (3.249).
La ecuacion (3.267) aplicada a SU(3) es por consiguiente
D G = G + gs G G
donde
b
D G
a = Ga + gs fabc G Gc
Ga = gs fabc G Gc +
ja
b
a
= gs fabc G Gc +
2
= gs G G a +
ja = 0
(5.92)
(5.93)
(5.94)
(5.95)
CAPITULO 5. FERMIONES
122
5.4.
5.4.1.
Soluciones a la ecuaci
on de Dirac
Lagrangiano de Weyl
(5.96)
Una escogencia particular de las cuatro matrices , conocida como la representacion de Weyl, o
representacion quiral, puede escribirse en terminos de la matrices de Pauli. Escritas en bloques 2 2,
tenemos
0 i
0 0
0
=
i =
.
(5.97)
0 0
i 0
Con 0 = 1. Con la matriz de tranformacion
1
U=
2
1 1
1 1
0
0
i =
.
=
i 0
0 0
En adelante trabajaremos en la representacion de Weyl que en forma compacta es
0
(5.98)
(5.99)
(5.100)
donde
= ( 0 , 1 , 2 , 3 )
= ( 0 , 1 , 2 , 3 )
(5.101)
Hemos escrito las matrices de Dirac en bloques 2 2, y es natural escribir similarmente las cuatro
componentes del campo de Dirac como un par de campos de dos componentes
L
L
0
(5.102)
=
=
+
R
0
R
Donde L,R son espinores de Weyl de dos componentes. En la representacion de Weyl el Lagrangiano
se puede escribir como
m
L =i
=i 0 m 0
0
0 1
0 1
m
=i
1 0
0
1 0
0 1
L
L
m L R
=i L R
R
1 0
R
0
=iL
L + iR R m(L R + R L )
(5.103)
5.5. ESPIN
5.4.2.
123
Ecuaciones de Weyl
(5.104)
Expandiendo
i 0 0 L i i i L mR = 0
i 0 0 R + i i i R mL = 0
(5.105)
i0 L i L mR = 0
i0 R + i R mL = 0
(5.106)
(5.107)
(5.108)
Tenemos
i(0 + iqA0 )L i i (i + iqAi )L mR = 0
(5.109)
de donde
(i0 qA0 )L i (ii qAi )L mR = 0
5.5.
(5.110)
Espn
(5.111)
Si dos operadores no conmutan no es posible conocer sus autovalores simultaneamente. Sin embargo
i, L
2] = 0
[L
z i y L
2 como los dos observables de momento angular.
y por convencion podemos escoger hL
(5.112)
CAPITULO 5. FERMIONES
124
Las matrices de Pauli forman una representacion del algebra de momento angular
[Si , Sj ] = iijk Sk
(5.113)
(5.114)
(5.115)
(5.116)
que son autoestados de espn up y espn down respectivamente. Una funcion de onda de espn ha de
poder expandir en terminos de estos autoestados
|i = c1 | i + c2 | i
(5.117)
donde |c1 |2 y |c2 |2 corresponden a las probabilidades de encontrar el estado con espn up o espn
down respectivamente. Ademas
|c1 |2 + |c2 |2 = 1
(5.118)
y es un espinor. La ecuacion de Scrodinger para un espinor es, por ejemplo
i
donde
R
b R
= H
t
R =
1
2
(5.119)
(5.120)
con i las funciones de onda convencionales. Dicha ecuacion debe ser invariante bajo rotaciones en
el espacio de espn
i
(5.121)
R R = exp(i i )R .
2
Esta es justo las ecuaciones que aparecen cuando se hace m = 0 en la ec.(5.106). Para R
con
b = i = p
H
(5.122)
L = iR R
= iR 0 R + iR i i R
= iR 0 R iR pR
(5.123)
5.5. ESPIN
125
Como el Lagrangiano debe ser escalar entonces R R debe ser un vector en el espacio de espn. En
efecto, escogiendo los coeficientes como
c1 = ei/2 cos(/2)
c2 = ei/2 sin(/2)
(5.124)
entonces
|c1 |2 + |c2 |2 = c1 c1 + c2 c2 = cos2 (/2) + sin2 (/2) = 1 .
Para
ipx
R = e
0
1
ipx c1
=e
+ c2
c1
(c1 | i + c2 | i) = e
c2
1
0
i/2
e
cos(/2)
= eipx |+i
= eipx
i/2
e
sin(/2)
(5.125)
ipx
donde
|+i =
Tenemos
R 1 R
c1
= c2
ei/2 cos(/2)
.
ei/2 sin(/2)
(5.126)
(5.127)
0 1
c1
c2
1 0
c1
c1
c2
c2
=c2 c1 + c1 c2
(5.128)
Similarmente
R 2 R = sin sin
R 3 R = cos
(5.129)
Por consiguiente i son las componentes de un vector unitario con angulo polar y angulo
azimutal . Posibles escalares se pueden construir con otros vectores disponibles, por ejemplo p,
como en la ec. (5.123).
pi
|p|
1
= cos sin + 2 sin sin + 3 cos
cos
sin (cos i sin )
=
sin (cos i sin )
cos
i
cos e sin
= i
e sin cos
= i
p
(5.130)
CAPITULO 5. FERMIONES
126
i/2
cos ei sin
e
cos(/2)
|+i = i
p
e sin cos
ei/2 sin(/2)
cos(/2)
cos ei sin
i/2
=e
ei sin(/2)
ei sin cos
cos cos(/2) + sin sin(/2)
i/2
=e
ei [sin cos(/2) cos sin(/2)]
cos( /2)
i/2
=e
ei sin( /2)
cos(/2)
i/2
=e
ei sin(/2)
= + |+i
(5.131)
(El gorro en este caso, significa vector unitario). Decimos entonces que
R = +eipx |+i = +R
p
(5.132)
entonces
i/2
e
sin(/2)
,
|i =
ei/2 cos(/2)
(5.134)
(5.135)
L = eipx |i = L
p
(5.136)
y
es un estado de helicidad negativa o izquierda. Ademas
h|i = h+|+i = 1
h+|i = h|+i = 0
(5.137)
donde h| = |i , etc.
5.6.
Soluci
on de partcula libre
(5.138)
(5.139)
DE PARTICULA LIBRE
5.6. SOLUCION
127
R = uR eiEt = uR eimt
(5.140)
(5.141)
de modo que para que (5.140) sea solucion, se debe satisfacer que
uL = uR = u
(5.142)
u1
= |+i .
u=
u2
(5.143)
con
El espinor completo es
=
L
R
imt
=e
|+i
|+i
(5.144)
Con norma
= 0 0 = = |+i |+i + |+i|+i = 1
(5.145)
(5.146)
R = uR eipx = uR ei(pxEt)
(5.147)
(5.148)
De modo que para que las ecs. (5.147) sean solucion se debe satisfacer que
p
L = L
E
p
R = R
E
(5.149)
. Entonces
pero de la ec. (5.138), tenemos que para m = 0, E = |p|, y p/E = p/|p| = p
L = L
p
R = R
p
(5.150)
CAPITULO 5. FERMIONES
128
Comparando con las ecuaciones (5.132) y (5.136) vemos que para las soluciones de energa positiva
R,L corresponden en efecto a estado de helicidad derecha e izquierda respectivamente. Explicitamente
L = eipx p
|i = eipx |i = L
p
(5.151)
El espinor de cuatro componentes para la solucion de energa positiva es
L
ipx |i
=e
=
|+i
R
=
uu = 0
0 1
|i
= |i |+i
1 0
|+i
0 1
|i
= h| h+|
1 0
|+i
|i
= h+| h|
|+i
=h+|i + h|+i = 0
(5.152)
(5.153)
(5.154)
R = uR ei(px+Et)
(5.155)
Para explorar las caractersticas de esta solucion podemos reemplazar en la ec. (5.148) E E,
p p, de modo que
L = +L
p
R = R
p
(5.156)
De modo que la antipartcula de una partcula de helicidad izquierda tiene helicidad derecha. Dentro
de los errores experimentales actuales se puede afirmar que en la naturaleza solo se ha observado el
neutrino izquierdo y su correspondiente antineutrino derecho.
Para m 6= 0, tenemos de la ecs. (5.106) y (5.147) (ver ec. (5.148))
EL + pL = mR
ER pR = mL
Entonces
(5.157)
E+p
L = R
m
E p
R = L .
m
(5.158)
DE PARTICULA LIBRE
5.6. SOLUCION
129
En este caso sin embargo, la helicidad no esta bien definida y solo podemos afirmar que L corresponde a la solucion que tiene mayor probabilidad de ser izquierda que derecha. Para calcular dicha
probabilidad es necesario especificar los espinores uL,R (ver [2], Captulo 6). El resultado es que la
probabilidad de que R sea derecho se obtiene de
(
+|R i
v c (relativistic)
1
v
p|R i = + 1 +
|R i
1
2
c
+ 2 |R i v 0 (non-relativistic)
v
1
|R i
(5.159)
p|L i = 1
2
c
mientras que la probabilidad de que sea izquierdo se obtiene de
1
v
p|R i = + 1
|R i
2
c
v
1
|R i
(5.160)
p|L i = 1 +
2
c
Si en un decaimiento solo se emiten electrones izquierdos, el grado de polarizacion del electron
emitido es, usando la ec. (5.160)
1
v 1
v
v
hR | p|R i + hL | p|L i = +
1
1+
=
(5.161)
2
c
2
c
c
El grafico de polarizacion versus v/c, [2] (9.1), debe corresponder a una lnea recta de pendiente
45o . Si solo se emiten electrones derechos sera
1
v 1
v v
+ 1+
1
=
(5.162)
2
c
2
c
c
Mientras que si se emiten por igual electrones derechos e izquierdos la polarizacion total sera cero.
Las soluciones en ec. (6.6) puden ser intercambiadas por L R . Esto se puede ver como una
transformacion de paridad definida por
r r
tt
L R .
(5.163)
= i y L = r p, entonces
De aqu el nombre de la transformacion. Como p
p p
L L,
(5.164)
Entonces es de esperarse que el momentum angular intrnseco, transforme como el momentum angular, y
SS
(5.165)
L R ,
(5.166)
(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)
CAPITULO 5. FERMIONES
130
5.7.
(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)
= 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)
(5.173)
de donde
(i0 qA0 ) i (ii qAi ) = 0
(5.174)
(5.175)
Para los potenciales de coulomb atomicos qV = qA0 10eV , y como m 0.5 MeV para el electron,
entonces
(i0 qA0 + 2m) (i0 + 2m)
(5.176)
de la ec. (5.172) tenemos
(i0 + 2m) = [(E m) + 2m]
(5.177)
5.7. LIMITE NO RELATIVISTA EN PRESENCIA DE UN CAMPO ELECTROMAGNETICO131
En el lmite no relativista de |p| 0 ( estamos en la solucion de energa positiva), de la ec. (5.138)
E +m y E m 0, entonces
(i0 + 2m) 2m
Reemplazando en ec. (5.174)
=
1 i
(ii qAi )
2m
entonces
i
con
b
= H
t
(5.178)
(5.179)
(5.180)
Usando las propiedades de las matrices de Pauli en ecs.(3.173) y la ec.(5.33), que para Ai = i es
X
( )2 =
i2
(5.181)
i
tenemos
b = 1 [( )2 + q 2 ( A)2 ] iq{ i , j }Aj i iq i j (i Aj ) + qA0
H
2m (
)
1 X
=
[i2 + q 2 A2i ] 2iqij Aj i iq(iijk k + ij )(i Aj ) + qA0
2m
( i
)
1 X
=
[i2 + q 2 A2i ] 2iqAi i iq(i Ai ) q k (ijk i Aj ) + qA0
2m
i
Como
(i + qA)2 = (ii qAi )(ii qAi )
= (i i + q 2 Ai Ai ) iq(i Ai ) iqAi i iqAi i
X
=
(i2 + q 2 A2i ) 2iqAi i iq(i Ai )
(5.182)
Entonces
b = 1 (i + qA)2 q k ( A)k + qA0
H
2m
q
1
2
B
=
(i + qA) + qA0
2m
2m
(5.183)
CAPITULO 5. FERMIONES
132
En ausencia del campo electromagnetico recupermos la Ecuacion de Scrhonger para una partcula
libre como era de esperarse. Sin el u
ltimo termino (q/2m) B, sera el Hamiltoniano de Scrodinger
para una partcula cargada en presencia de un campo electromagnetico. El termino adicional es
interpretado como la energa en un campo magnetico, de un momento magnetico intrnseco asociado
con un partcula de Dirac. Definimos entonces el momento magnetico intrnseco como (q = e)
e
2m
e
= 2
2m 2
e~
= 2
2m 2
e~
= ge
2m 2
e =
(5.184)
donde hemos recuperado el factor ~ y definido el factorg [26], ge = 2. Se define el momento magnetico
anomalo del electron como
ge 2
(5.185)
ae =
2
de modo que ae = 0. Sin embargo experimentalmente ae 103
ae = 0.001 159 652 1859(38)
(5.186)
5.8.
Los fermiones izquierdos y derechos pueden ser escritos en terminos de espinores de Dirac como
0
L
L
=eL + eR
(5.187)
+
=
=
R
0
R
En la representacion de Weyl
1 0
5 =
.
0 1
(5.188)
Podemos definir
1 5
1
PL
=
0
2
1 + 5
0
=
PR
0
2
0
0
0
.
1
(5.189)
133
(5.190)
2
PL,R
= PL,R PL,R = PL,R
PL + PR = 1
PL,R
= PL,R .
PL PR = 0
(5.191)
1 5
1 5
=
= PR,L
2
2
(5.192)
Para escribir el Lagrangiano en termino de los nuevos L,R debemos tener en cuenta que
L,R = (PL,R ) 0 = PL,R 0 = 0 PR,L = PR,L
(5.193)
L =i m
=i(PL + PR ) m(PL + PR )
(5.194)
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)
CAPITULO 5. FERMIONES
134
Si para alguna partcula, como es el caso del neutrino, no existe la componente derecha, entonces la
correspondiente interaccion vectorial viola paridad y no puede tener interacciones electromagneticas
ni fuertes, es decir, no se acopla con el fton o los gluones. Ademas dicha partcula no puede tener
masa de Dirac. En el caso del neutrino esto se entiende pues al no tenr carga electrica solo reuiere
dos grados de libertad independientes.
De otro lado, si una determinada interaccion, como es el caso de la interaccion debil, solo participa
la componente izquierda de la ec. (5.197), esta corresponde a una interaccion del tipo
L L = PR PL = PL
1 5
2
= 21 ( 5 ) ,
(5.198)
5.9.
Problemas
(5.199)
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)
L L ,
eL
135
(6.4)
CAPITULO 6. MODELO ESTANDAR
136
este transforma bajo SU(2)L como
L L = exp(iT i i )L (1 + iT i i )L
i
i
i
1
+
2 12 2
L
2
2
L
+i
1
i
eL
eL
1 2
2
1 i2
2
2
+
i
2
1+ 2i
L
2
= i
1
eL
2
1 i2
+
2
i
i
1 + 2 L + 2 2 eL
.
=
1 2i eL + 2i 2 L
(6.5)
(6.6)
(6.7)
Para que el Lagrangiano en la ec. (6.6) sea invariante gauge global bajo SU(2)L U(1)Y , se debe
satisfacer la relacion de GellmanNishijima (3.224)
1
+ YL L
0L
2
= (T3 + Y )L =
QL =
1eL
12 + YL eL
QeR = 1eR = Y eR = YR eR ,
(6.8)
de modo que
YL =
1
2
YR = 1 .
(6.9)
Concluimos que para que la simetra gauge local bajo SU(2)L U(1)Y sea exacta se requiere que la
hipercarga Y de ambas componentes del doblete sea la misma y que ambas tengan masa cero. Para
tener un modelo consistente debe existir un mecanismo para generar la masa del electron.
Para que las cargas de isospn debil se conserven localmente debemos cambiar la derivada normal
en el Lagrangiano (6.6) por la derivada covariante de SU(2)L U(1)Y
D igT iWi ig Y B
=
!
1 gW +
igT3W3 ig Y B
2
.
1 gW
+
igT
W
ig
Y
B
(6.10)
y el Lagrangiano
i
14 B B ,
L = iL D L + i eR D eR 14 Wi W
(6.11)
ELECTRODEBIL
6.1. INTERACCION
PARA LEPTONES
137
es el Lagrangiano invariante gauge local mas general posibles para los campos eL,R , L , Wi , y B .
De acuerdo a la ec. (3.191)
Wi = Wi Wi + g ijk Wj Wk .
(6.12)
Para escribir el Lagrangiano en una forma compacta, debemos introducir una convencion: siempre
que los terminos de D act
uen en un estado fermionico de forma matricial diferente, el resultado es
cero por definicion. As el resultado de hacer actuar T i Wi sobre el singlete bajo SU(2)L , eR , es cero.
Note que
D eR = ( ig YR B )eR .
(6.13)
En la seccion 3.6 vimos que para tratar consistentemente el electromagnetismo conjuntamente con
el grupo gauge local SU(2), era necesario suponer inicialmente la existencia de un boson gauge B
asociado a un grupo U(1)Y en lugar del A electromagnetico asociado a U(1)Q . El A se puede
obtener posteriormente a partir de una combinacion lineal apropiada de B y W3 , el boson gauge
diagonal de SU(2).
Mecanismo de Higgs
Como los bosones gauge Wi deben ser masivos para dar cuenta de que la interaccion debil es
de corto alcance, el Lagrangiano en ec. (6.11) debe ser complementado con un potencial escalar
apropiado que pueda dar lugar a una ruptura espontanea de la simetra. De acuerdo a la discusion
del Captulo 4 la escogencia mnima es introducir un doblete escalar complejo
+
.
(6.14)
=
0
Entonces
i
14 B B + (D ) D 2 ( )2 ,
L = iL D L + i eR D eR 14 Wi W
(6.15)
Lagrangiano de Yukawa
Para los campos del Lagrangiano en eq. (6.15), debemos asegurarnos de que todos los terminos
invariantes gauge locales y renormalizables sean considerados. De hecho un termino de interaccion
entre fermiones y el campo escalar, correspondiente a una interaccion de Yukawa, resulta ser invariante gauge local. Incluyendo dicho termino en el Lagrangiano invariante SU(2)L U(1)Y para los
campos e, L , Wi , B y tenemos
L =iL D L + i eR D eR
he LeR he eR L
i
14 Wi W
41 B B
+ (D ) D 2 + ( )2 .
(6.16)
CAPITULO 6. MODELO ESTANDAR
138
(6.17)
Y la accion determinada por el Lagrangiano en ec. (6.16) permanece invariante bajo SU(2)L U(1)Y .
Parte de los terminos del Lagrangiano ya han sido analizados en el Captulo 4.
Gauge Unitario
Para obtener el espectro despues de la ruptura espontanea de simetra es conveniente usar el
Gauge Unitario para reescribir el campo de Higgs como en la ec. (4.48)
0
.
(6.18)
= 1
[H(x) + v]
2
Usando los resultados de la seccion 4.4 tenemos
2
LHW B = (D ) D 2
1
= H H V (H)
2
1
1
+ g 2 W W+ H 2 + vg 2 W W+ H
4
2
2
2
g
g
1
2
Z Z H +
v Z Z H
+
2 2 cos W
2 cos W
1
1
1
+ m2W W W+ + m2W W W+ + m2Z Z Z ,
2
2
2
(6.19)
donde:
V (H) = 12 m2H H 2 + vH 3 + 14 H 4
1
m2
1 m2H 4
= m2H H 2 + H H 3 +
H
2
2
4 2v
2v
H
H2
1
+ 2 .
= m2H H 2 1 +
2
v
4v
(6.20)
con
m2H = 22 = 2v 2 .
tal que
W3
B
cos W sin W
sin W cos W
g sin W = g cos W = e.
(6.21)
Z
,
A
(6.22)
(6.23)
ELECTRODEBIL
6.1. INTERACCION
PARA LEPTONES
mW =
gv
2
mZ =
mW
.
cos W
139
(6.24)
Entonces
1
LHW B = H H V (H)
2
g 2v 2
(2vH + H 2 )W W+
+ m2W W W+ +
2
4v
2
1
gv
1 2
(2vH + H 2 )Z Z
+ mZ Z Z + 2
2
2v
2 cos W
1
H H2
H H2
1 2
+
2
= H H V (H) + mW 1 + 2 + 2 W W + mZ 1 + 2 + 2 Z Z .
2
v
v
2
v
v
(6.25)
Ademas
LlW B =iL D L + i eR D eR
(6.26)
Donde, usando el mismo procedimiento se obtiene el resultado analogo para la ec. (3.226)
LlW B = iL [ ig(T 1 W1 + T 2 W2 ) i(gT 3 W3 + g Y B )]L + ieR ( ig Y B )eR
(6.27)
Ya que
T
LlW B
W1
+T
W2
2
1
0
W1 iW2
0 W+
=
=
0
2 W1 iW2
2 W 0
0 W+
g
L
=iL L + ieL eL + ieR eR + L eL
eL
W
0
2
g
+ L
3 W3 + g Y B L + g eR YR B eR
2
(6.28)
(6.29)
g
LlW B =iL L + ie e + eL W L + L W+ eL +
2
h
i
g
L
3 (cW Z + sW A ) + g Y (sW Z + cW A ) L+
2
g eR YR (sW Z + cW A )eR
g
=iL L + ie e + eL W L + L W+ eL +
2
h gc
gs
i
W
W
L
3 g sW Y Z +
3 + g cW Y A L
2
2
g sW eR YR Z eR + g cW eR YR A eR
usando ec. (6.23)
(6.30)
CAPITULO 6. MODELO ESTANDAR
140
De modo que
g
LlW B =iL L + ie e + eL W L + L W+ eL +
2
2
sW
gcW
3
3 g Y LZ + eL
+ Y LA
L
2
cW
2
s2
g W eR YR eR Z + eeR YR eR A
cW
g
=iL L + ie e + eL W L + L W+ eL +
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
=iL L + ie e + eL W L + L W+ eL +
2
+ eeL Qe eL A + eeR Qe eR A
i
h
e
3
e
L (1 s2W ) s2W Y LZ
eR s2W YR eR Z
+
sW cW
2
sW cW
g
=iL L + ie e + eL W L + L W+ eL
2
+ eePR Qe PL eA + eePL Qe PR eA
i
h
e
e
3
+
s2W Q LZ
L
eR s2W YR eR Z
sW cW
2
sW cW
g
=iL L + ie e + eL W L + L W+ eL
2
+ ee Qe eA
e
e
L 3 2Qs2W LZ
eR 2s2W Qe eR Z
+
2sW cW
2sW cW
LlW B = i
e e + ie e + Lcc + Lnc
(6.31)
(6.32)
donde
Lnc =eJEM
A +
e
2 cos W sin W
JNC
Z
(6.33)
donde ahora
JEM
= e Qe =
e e
(6.34)
JNC
=
=L,eR
3 2Q sin2 W .
(6.35)
ELECTRODEBIL
6.1. INTERACCION
PARA LEPTONES
En terminos de los ferminones usuales
e
JNC
=L 3 2Qs2W L
eR 2s2W Qe eR
2sW cW
1
L
0
= L eL
+ eR 2s2W eR
2
eL
0 1 + 2sW
= PL + e 1 + 2s2W PL e + e 2s2W PR e
(1 5 )
1 5
(1 + 5 )
+ e 1 + 2s2W
e + e 2s2W
e
=
2
2
2
2
1
1 5
1
2
=
+ e + 2sW + 5 e
2
2
2
2
JN C =
f =e,e
f (vf af 5 )f ,
141
(6.36)
(6.37)
(6.38)
Lf H =he LeR + eR L
he
= (eL eR + eR eR ) (H + v)
2
he
=me ee + eeH
2
H
=me ee + me ee
v
H
=me ee 1 +
.
v
(6.39)
donde
he v
(6.40)
me = .
2
De modo que el mismo mecanismo que da cuenta de la masa de los bosones gauge, da cuenta de
la masa de los fermiones y entrega una interaccion con la que se puede comprobar experimentalmente
el modelo. Encontrar estas interacciones del Higgs con los fermiones y con los bosones gauge es el
principal objetivo del LHC.
Como se vio en la seccion 4.4 los terminos cineticos de los bosones gauge se pueden escribir en
terminos de W Z y A ,
i
LW B = 14 Wi W
14 B B
) (FW ) L3 L4
= 41 F F 14 Z Z 21 (FW
(6.41)
CAPITULO 6. MODELO ESTANDAR
142
donde
(FW ) = W+ W+
(6.42)
h
i
L3 = ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
i
h
ie (FW
) W+ A (FW ) W A + W W+ F ,
(6.43)
h
i
e2
+
2
+
+
L4 =
e2 cot2 W W+ W Z Z W+ Z W Z
W W
W W W W
2
2 sin W
e2 cot2 W 2W+ W A Z W+ A W Z W+ Z W A
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)
LEW =
X
f
if ( mf ) f 14 F F 14 Z Z 21 (FW
) (FW ) + 12 H H
H
1 2
H2
H H2
1 2 2
2
+
+ 2 + mW W W + mZ Z Z
1+2 + 2
mH H 1 +
2
v
4v
2
v
v
X
X
e
f Qf f A +
+e
f (vf af 5 )f Z
2
cos
sin
W
W
f
f
"
#
X
X mf
g
(1 5 )f W + + h.c +
ff H
f
+
v
2 2 f =e
f
i
h
ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
h
i
+
+
ie (FW ) W A (FW ) W A + W W F
h
i
e2
+
2
+
+
e2 cot2 W W+ W Z Z W+ Z W Z
W
W
W
W
W
W
2
2 sin 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 .
(6.45)
donde me = 0.
6.1.1.
Dispersi
on electronneutrino
2 GF
1/2
= 246.2 GeV .
(6.46)
6.2. MODELO ESTANDAR
143
6.2.
Modelo Est
andar
6.2.1.
Primera generaci
on
eR
L= L ,
eL
u
uaR , dR
Q = L ,
dL
(6.47)
donde es el ndice de color. Productos del tipo uL uL seran denotados simplemente como uL uL .
Ademas
L =PL e ,
uL,R =PL,R u,
eL,R =PL,R e
dL,R =PL,R d .
(6.48)
Como antes, el termino Q es invariante bajo SU(2)L . Hemos mostrado en problema 3.6. que si Q
Q tambien es un invariante de SU(2). Explcitamente
es un invariante SU(2), el termino
e Q =(i2 ) Q
0
=
Q
uL
0
+
=
dL
=0 uL + dL
=12 Q1 2 + 21 Q2 1
=ab Qa b .
(6.49)
a b
=cd det UQc d
=cd Qc d
e Q .
=
0 0
( 21 + Ye )0
=(T3 + YQ )
=
( )
( 12 + Ye )( )
Entonces
YQ =
2 1
= 1/6,
3 2
1
Ye = ,
2
2
Y uR = ,
3
1
YdR = .
3
(6.50)
(6.51)
(6.52)
CAPITULO 6. MODELO ESTANDAR
144
Bajo hipercarga
Q ei(1/3) Q
e Q ei(2/3)
e Q
(6.53)
Entonces podemos construir los invariantes bajo SU(3)c SU(2)L U(1)Y como
e Q + h.c
LYukawa =hd QdR + hu uR
e Q + hd dR Q + hu Qu
e R
=hd QdR + hu uR
e R + h.c
=hd QdR + hu Qu
(6.54)
Recuerde que QdR = Q dR . El Lagrangiano invariante gauge local bajo SU(3)c SU(2)L U(1)Y
es entonces
L =i
e R + h.c)
(he LeR + hd QdR + hu Qu
i
41 B B
14 Wi W
+ (D ) D 2 + ( )2 .
(6.55)
Donde
D igs
a
i
Ga ig Wi ig Y B .
2
2
(6.56)
En el gauge unitario
0
1 (H(x) + v)
2
e=
1 (H(x)
2
+ v)
(6.57)
6.2. MODELO ESTANDAR
f=
2vf
2af
145
u
1 sin2 W
1
8
3
d
1 + sin2 W
1
4
3
e
1
1
e
1 + 4 sin2 W
1
H
H2
H H2
1 2
1 2 2
2
+
+ 2 + mW W W + mZ Z Z
1+2 + 2
+
mH H 1 +
2
v
4v
2
v
v
X
X
X
e
a
f Qf f A +
f (vf af 5 )f Z
q Ga + e
+ gs
q
2
2
cos
sin
W
W
q
f
f
#
"
X mf
X
g
(1 5 )f W + + h.c +
+
ff H
f
v
2 2 f
f
i
h
ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
h
i
+
+
ie (FW ) W A (FW ) W A + W W F
h
i
e2
+
2
+
+
2
2
+
+
W
W
W
W
W
W
e
cot
W
W
Z
Z
W
Z
W
Z
2 sin2 W
e2 cot2 W 2W+ W A Z W+ A W Z W+ Z W A
e2 W+ W A A W+ A W A
1 e
d e
d e
abc e a
2 abc
(6.58)
gs Ga fade G G + gs f Gb Gc G + gs f fade Gb Gc G G .
4
1
H H
2
donde
e = G G
G
a
(6.59)
6.2.2.
Din
amica de sabor
El Modelo Estandar esta compuesto de las siguientes tres familias de fermiones i = 1, 2, 3. A cada
familia se le asigna una carga de sabor diferente
i
e
L
L
L
Li = i :
L1 =
L2 =
L3 = L
eiR : eR , R , R
eL
eL
L
L
i
uL
uL
cL
t
Qi = i :
Q1 =
Q2 =
Q3 = L
uiR : uR , cR , tR
dL
dL
sL
bL
diR : dR , sR , bR .
(6.60)
Con
YLi =
1
2
YQi =
1
6
YeiR = 1
YuiR =
2
3
YdiR =
1
.
3
(6.61)
CAPITULO 6. MODELO ESTANDAR
146
i
i
i
i
Qi D Qi + Li D Li + eR D eR + dR D dR + uR D uR
L =i
i
U e
(hE
ij Li eR j + hij Qi dR j + hij Qi uR j + h.c)
i
14 Wi W
14 B B
+ (D ) D 2 + ( )2 .
(6.62)
Para aclarar la notacion, obviando de momento la definicion definitiva de hij y las primas sobre los
campos, consideremos el Lagrangiano de Yukawa para el sector down
L hD
ij dRi Qj + h.c
e a Qb + h.c
hD dRi ab
ij
j
a b
D
e
hij ab dR i Qj + h.c
a b
e
hD
ij ab (dR )i 0 Qj
+ h.c ,
(6.63)
donde i, a, , son ndices en los espacios de familia, SU(2)L , SU(3)c y de Dirac, respectivamente.
Por ejemplo el primer termino de la sumatoria
1
e 1 2
L hD
11 (dR )1 0 Q11 + . . .
r
0 r
hD
11 dR dL + . . .
(6.64)
corresponde a la interaccion de Yukawa del quark down rojo (r) con un campo escalar complejo
neutro en carga electrica pero de isospn debil 1/2. En forma compacta la primera expresion en la
ec. (6.63) puede escribirse como
L dR hD Q + QL hD dR
(6.65)
Retornado a la ec. (6.62), tenemos que para definir apropiadamente la masa de los quarks, rotamos
de los autoestados de interaccion a los autoestados de masa con la matrices unitarias
D
)jk dR,L k
dR,L j = (VR,L
D
dR,L j = dR,L k (VR,L
)kj
(6.66)
(6.67)
Tal que
D
D
(VR,L
)ij (VR,L
)jk = ik
6.2. MODELO ESTANDAR
147
=dL i MijD dR j
(6.68)
(6.69)
V =VLU VLD
X
j
Vij Vjk = ik
X
j
Vji Vjk = ik
X
j
|Vji|2 =
X
j
|Vij |2 = 1
(6.70)
L i = (VLE )ij Lj
(6.71)
Con esta definicion, las corrientes debiles cargadas para los leptones siguen siendo universales. Similarmente
(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.
CAPITULO 6. MODELO ESTANDAR
148
Teniendo en cuenta estos resultados podemos escribir finalmente el Lagrangiano completo del
Modelo Estandar en la Gauge Unitario, para
f =e , , , e, , , u, c, t, d, s, b;
LSM =
X
f
q =u, c, t, d, s, b;
l =e, ,
(6.73)
e G
ea
if ( mf ) f 14 F F 41 Z Z 21 (FW
) (FW ) 14 G
a
H
1 2
H2
H H2
1 2 2
2
+
+ 2 + mW W W + mZ Z Z
1+2 + 2
+
mH H 1 +
2
v
4v
2
v
v
X
X
X
e
a
f Qf f A +
f (vf af 5 )f Z
+ gs
q
q Ga + e
2
2
cos
sin
W
W
q
f
f
"
#
X
X
X mf
g
+
ff H
+
l (1 5 )lW +
Vij ui (1 5 )dj W + h.c +
v
2 2 l=e
ij
f
i
h
ie cot W (FW
) W+ Z (FW ) W Z + W W+ Z
i
h
+
+
ie (FW ) W A (FW ) W A + W W F
h
i
e2
+
2
+
+
e2 cot2 W W+ W Z Z W+ Z W Z
W
W
W
W
W
W
2
2 sin 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
1 e
ea + g 2 f abc fade G G Gd Ge .
gs Ga fade Gd Ge + gs f abc Gb Gc G
(6.74)
s
b c
4
1
H H
2
donde ml = 0.
6.3.
Fenomenologa Electrod
ebil
(6.75)
donde i = gi2 /(4). Esto tiene la ventaja de usar las tres cantidades experimentales mejor medidas.
Las relaciones
sin2 W =1
m2W
,
m2Z
m2W sin2 W =
2GF
(6.76)
6.3. FENOMENOLOGIA ELECTRODEBIL
149
determinan entonces
sin2 W =0.212
mW =80.94 GeV
(6.77)
sin2 W =0.233
mW =79.84 GeV
(6.78)
Los valores medidos son sin2 W = 0.23149(13), mW = 80.398(25) GeV, y pueden ser reproducidos por
el modelo estandar una vez se tienen en cuenta correcciones perturbativas inducidas por partculas
virtuales.
El acelerador e+ e LEP, que funciono hasta desde 1998 hasta el 2000 [27], opero a energas
suficientes para producir millones de Z. Combinado con otros resultados experimentales, se pudo
verificar todo el Lagrangiano del Modelo Estandar hasta un nivel del 1 por mil. Con excepcion de
las interacciones asociadas con el Higgs.
La universalidad de los decaimientos del Z esta soportada por los resultados experimentales
siguientes donde solo se muestran los decaimientos leptonicos del Z diferentes de cero [5]
(Z e+ e ) = 83.92(12) MeV (Z + ) = 83.99(18) MeV (Z + ) = 84.08(22) MeV
Br(Z e+ e ) = 3.363(4) %,
Br(Z + ) = 3.366(7) %,
Br(Z + ) = 3.370(8) %
(6.79)
Mientras que para el W , en %,
Br(W e e ) = 10.65(17),
Br(W ) = 10.59(15),
Br(W ) = 11.44(22)
(6.80)
La diferencia de respecto a los otros representa un efecto a 2.8. La universalidad de los acoplamientos leptonicos de W puede comprobarse tambien indirectamente a traves de los decaimientos
debiles mediados por corrientes cargadas. Los datos actuales verifican la universalidad de los acoplamientos de corrientes cargadas leptonicas al nivel del 0.2 % [5]. Sin necesidad de entrar en detalles
de los calculos de las amplitudes de decaimiento, podemos usar el hecho de que ellas son proporcionales a los acoplamientos al cuadrado correspondiente, de modo que un cociente entre amplitudes
de decaimiento es igual, en primera aproximacion, a los cocientes de los acoplamientos al cuadrado.
Tendremos en cuenta ademas que el Branching es la amplitud de decaimiento a un canal especifico
divido por la suma de las amplitudes de decaimiento a todos los canales posibles.
Para los decaimientos del Z el Modelo Estandar predice, ademas de la ausencia de eventos del
tipo Z e+ , que para un cierto l = e, , , o q = d, s, b
Br(Z l+ l )
(|vl |2 + |al |2 )
Br(Z qq)
Nc (|vq |2 + |aq |2 )
h
i
2
21 + 2 sin2 W + 14
i
= h
2
Nc 12 + 32 sin2 W + 41
0.338 Nc = 2
0.776
= 0.225 Nc = 3
Nc
0.169 Nc = 4
(6.81)
CAPITULO 6. MODELO ESTANDAR
150
(6.82)
(Z e+ e )
total
(|ve |2 + |ae |2 )
P3
P2
2
2
2
2
2
2
2
2
i=1 (|vdi | + |adi | )]
i=1 (|vui | + |aui | ) +
l [(|vl | + |al | ) + (|vl | + |al | )] + Nc [
(|ve |2 + |ae |2 )
3[(|ve |2 + |ae |2 ) + (|ve |2 + |ae |2 )] + 3[2(|vu |2 + |au |2 ) + 3(|vd |2 + |ad |2 )]
(|ve |2 + |ae |2 )
21|ae |2 + 3[|ve |2 + |ve |2 ] + 3[2|vu |2 + 3|vd |2 ]
(1 + 4s2 W )2 + 1
21 + 3[(1 + 4s2 W )2 + 1] + 3[2(1 83 s2 W )2 + 3(1 + 43 s2 W )2 ]
2 8s2 W + 16s4 W
42 80s2 W + 320
s4 W
3
=P
=
=
=
=
3.43 %
(6.83)
(W e e )
total
(6.84)
donde, teniendo en cuenta que los canales a top estan cerrados, y usando la condicion de unitariedad
de la matriz CKM en ec. (6.70), tenemos
total =
X
l
(W l l ) + Nc
=(W
=(W
e e ){3 + Nc
X
i
X
i
[(W u1 di) + (W u2 di )]
[|V1i |2 + |V1i |2 ]}
e e )(3 + 2Nc )
(6.85)
entonces
Br(W e e ) =
1
= 11.1 %
3 + 2Nc
(6.86)
Una mejor prediccion de dichos resultados en el contexto del Modelo Estandar requiere tener en
cuenta las correcciones radiativas.
6.3. FENOMENOLOGIA ELECTRODEBIL
151
P
inv
(Z l l )
= l
l
(Z e+ e )
N (Z e e )
=
(Z e+ e )
N (|ve |2 + |ae |2 )
|ve |2 + |ae |2
2N
=
(1 + 4 sin2 W )2 + 1
(
5.865 N = 3
,
7.819 N = 4
(6.87)
mientras que el valor medido experimentalmente para esta cantidad 5.942(16) [5], es una evidencia
muy fuerte de que solo exiten tres neutrinos livianos.
6.3.1.
Decaimientos d
ebiles mediados por corrientes cargadas
(6.88)
Esto da lugar a los posibles diagramas para decaimientos de leptones a bosones virtuales, y bosones
a leptontes mostrados en la figura 6.1. Las flechas representan el flujo de n
umero leptonico. La
flecha de tiempo es de izquierda a derecha. Al lado izquierdo del vertice entran partculas y salen
antipartculas. Mientras que al lado derecho entran antip artculas y salen partculas Del primer y
cuarto diagrama obtenemos el diagrama de Feynman para el decaimiento e e , mostrado
en la figura 6.2 El propagador para el boson W de momentum q resulta ser
q
q
1
e =
g 2
.
(6.89)
D
q 2 m2W
mW
Para los propositos actuales la obtencion de este resultado no es necesaria, el punto importante es
que cuando las masas de las partculas iniciales y finales son mucho mas peque
nas que mW , esto se
CAPITULO 6. MODELO ESTANDAR
152
(6.90)
Este resultado se entiende facilmente cuando se compara con el propagador de una partculas escalar
masiva 1/(q 2 M 2 ) 1/M 2 . Las componentes espaciales de W con = 1, 2, 3, a bajas energas
tienen el mismo propagador que el de una partcula escalar, mientras W0 , tiene el signo opuesto.
El Lagrangiano efectivo para el decaimiento del muon, e e es entonces
g
g2
[
(1 5 )] 2 [
e (1 5 )e ]
8
mW
g2
= 2 [
(1 5 )] [
e (1 5 )e ]
8mW
GF
(1 5 )] [
e (1 5 )e ] ,
= [
2
L=
(6.91)
donde
GF
g2
= 2
2 8mW
g24
= 2 2
8g v
1
= 2,
2v
(6.92)
y
v=
2GF
1/2
(6.93)
(6.94)
con GF dado en la ec. (6.75) y G = 1.10105 GeV2 . La corriente hadronica tiene la forma V1.26A.
El factor 1.26 puede entenderse como debido a las correcciones a nivel hadronico de una corriente
6.4. CALCULO
DE PROCESOS
153
(6.95)
De modo que G = GF V11 = GF cos C , donde C es el angulo de Cabbibo. Una vez se tienen en
cuenta correcciones electrodebiles se obtiene el valor |V11 | = 0.97418(27)[23]. Las magnitudes de los
elementos de la matriz CKM son[23]
0.97419 0.2257
0.0359
V 0.2256 0.97334 0.0415 1
(6.96)
0.00874 0.0407 0.999133
6.4.
C
alculo de procesos
Se remite al lector al lector a la siguiente parte del curso Standard Model and beyond, de la
pagina web
http://gfif.udea.edu.co:2500
En particular a las secciones iniciales de los Captulos 1 y 2 donde se analizan el decaimiento
W e e y el decaimiento del muon.
6.5.
Problemas
154
Ap
endice A
Soluciones a los problemas
Captulo 2
2.1. De
a = a
(A.1)
a = g a = g g a = a
(A.2)
tenemos que
tenemos
a b = a b
(A.3)
a b = a b = a b = a b
(A.4)
(A.5)
de donde
2.3.
r
1
1 GeV
1
2.5 1018 m
16
1
m
80 GeV 1/(1.97 10 m )
(A.6)
Captulo 3
3.6 Tenemos
= i2 =
0 1
1 0
(A.7)
= m2 (0 0 + + )
= m2
(A.8)
APENDICE
A. SOLUCIONES A LOS PROBLEMAS
156
Ademas
a b = m2 (12
1 2 + 21
2 1 ) = m2 (0 0 + + )
m2 ab
= m2
(A.9)
i
+ g 2 i (kl im km il )Wk Wl m m2 41 Wi W
= g [ W ( ) W ]
i
+ g 2 i Wk Wk i g 2i Wk Wi k m2 14 Wi W
= g [ W ( ) W ]
+ g 2 W W g 2 WW m2 14 W W
(A.10)
donde
W W =( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (jl km jm kl )Wj Wk Wl Wm
=( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (Wj Wk Wj Wk Wj Wk Wk Wj )
=( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (W W W W W W W W )
=( W W ) ( W W ) + 2g( W W ) W W
+ g 2 (W W W W W W W W )
(A.11)
3.9
3
Z
cos W sin W
W
.
=
A
sin W cos W
B
14 B B = 14 ( B B )( B B )
= 14 [ (sZ + cA ) (sZ + cA) ][ (sZ + cA) (sZ + cA) ]
= 41 [s Z + c A + s Z c A ][s Z + c A + s Z c A ]
= 41 [s( Z Z ) + c( A A )][s( Z Z ) + c( A A )]
= 41 [s( Z Z ) + c( A A )][s( Z Z ) + c( A A )]
= 41 [s2 ( Z Z )( Z Z ) + c2 ( A A )( A A )
2sc( Z Z )( A A )]
(A.12)
Similarmente, reemplzando s2 c2 y s s
3
= 14 [c2 ( Z Z )( Z Z ) + s2 ( A A )( A A )
14 W3 W
+ 2sc( Z Z )( A A )]
(A.13)
157
3
14 B B 41 W3 W
= 14 F F 14 Z Z
(A.14)
2
1
W + iW2
=
2
2
= W1 = 2W1
2
2
= W2 = 2iW2
2
W+ =
W
W+ + W
W W+
(A.15)
W + W+
=
2
W W+
W2 =
2i
W1
(A.16)
1
2
14 W1 W
14 W2 W
14 [( W1 W1 )( W1 W1 )
+ ( W2 W2 )( W2 W2 )]
= 41 {( W1 W1 W1 W1 W1 W1 + W1 W1 )
+ (1 2)}
= 41 {( W1 W1 W1 W1 W1 W1 + W1 W1 )
+ (1 2)}
= 21 {( W1 W1 W1 W1 ) + ( W2 W2 W2 W2 )}
= 14 {[( W + W+ )( W + W+ )
( W + W+ )( W + W+ )]
+ i2 [( W W+ )( W W+ )
( W W+ )( W W+ )]}
= 41 {[( W + W+ )( W + W+ )
( W + W+ )( W + W+ )]
[( W W+ )( W W+ )
( W W+ )( W W+ )]}
(A.17)
APENDICE
A. SOLUCIONES A LOS PROBLEMAS
158
= 12 [ W ( W+ W+ ) + W+ W W+ W ]
= 12 [ W ( W+ W+ ) + W+ W W+ W ]
= 12 [ W ( W+ W+ ) W ( W+ W+ )]
= 12 [( W W )( W+ W+ )
1
= (FW
) (FW ) .
2
(A.18)
Captulo 6
6. 1. Haciendo un analisis similar al de la seccion 3.6, tenemos de la ec. (6.10) que
Lf W B =iL D L + i eR D eR
= iL
igT3 W3 ig YL B
i2 gW+
ieL
igT3W3 ig YL B
i2 gW
+ ieR ( ig YR B )eR
= iL ieL
donde
( igT3 W3 ig YL B )L i2 geLW+
i2 gLW + ( igT3 W3 ig YL B )eL
!
L
eL
+ ieR ( ig YR B )eR
1
=iL ( igT3 W3 ig YL B )L + gL eL W+
2
1
+ geL L W + ieL ( igT3e W3 ig YL B )eL + ieR ( ig YR B )eR
2
1
=ieL eL + ieR eR + iL L + g L eL W+ + eL L W
2
(A.20)
159
Como T3f cos2 W Yf sin2 W = T3 (T3f + Yf ) sin2 W , entonces usando Qf = T3f + Yf , y
e = g sin W tenemos
X
e
f
2
Lf AZ =
(T3 Qf sin W )Z + eQf A f f
(A.21)
sin
cos
W
W
f =e , ,e
L
Como Q = 0, claramente los neutrinos no se acoplan a los fotones como se esperaba y ademas
se obtiene la corriente electromagnetica apropiada, ya que
X
(A.22)
eQf A f f = eQe e e A .
f =eL ,L ,eR
160
APENDICE
A. SOLUCIONES A LOS PROBLEMAS
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
162
BIBLIOGRAFIA