Tesis Teoria Campos

EN
LA TECNICA
DE RENORMALIZACION
TEORIA DE CAMPOS
Tesis de Maestra
Estudiante
FABIO BURITICA BERMEO
Director
PhD. JOHN MORALES APONTE
UNIVERSIDAD NACIONAL DE COLOMBIA

DEPARTAMENTO DE CIENCIAS FISICAS
BOGOTA
INDICE GENERAL
1. INTRODUCCION
2. TEOR
IA CUANTICA
DE CAMPOS
2.1. La Red Uno-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Campo Escalar Clasico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Cuantizacion Canonica del Campo Escalar . . . . . . . . . . . . . . . . . . . . . . . .
9
9
10
12
3. TEOR
IA GAUGE
3.1. La Funcional Accion . . . . . . . . . . . . . . .
3.1.1. Accion de Klein-Gordon . . . . . . . . .
3.1.2. Accion de Yang-Milles . . . . . . . . . .
3.1.3. Accion de Dirac . . . . . . . . . . . . .
3.2. El principio Gauge . . . . . . . . . . . . . . . .
3.3. El principio Gauge en teoras de Yang-Mills (no
.
.
.
.
.
.
17
17
18
18
18
18
18
INTEGRAL DE CAMINOS DE FEYNMAN

Transformaciones Canonicas en Mecanica Clasica . . . . . . . . . . . . . . . . . . . .
La Integral de Camino de Feynmann . . . . . . . . . . . . . . . . . . . . . . . . . . .
La Integral de Camino de Feynman en Teora de Campos . . . . . . . . . . . . . . .
21
21
24
27
4. LA
4.1.
4.2.
4.3.
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
abelianas) .
DE LA TEOR
5. CUANTIZACION
IA DE CAMPO Y
5.1. La Teora ABC, libre . . . . . . . . . . . . . . . . . .
5.2. Reglas de Feynman para la Teora ABC . . . . . . . .
5.3. Renormalizacion . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
LA TEOR
IA
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ABC
. . . . . . . .
. . . . . . . .
. . . . . . . .
31
31
39
42
6. Conclusiones
47
7. APENDICE
7.1. Regularizacion Dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
49
Bibliografa
66
INDICE GENERAL
INDICE DE FIGURAS
1.
2.
Propagador de una particula de masa m . . . . . . . . . . . . . . . . . . . . . . . . .

Funciones de orden superior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
30
3.
4.
5.
6.
7.
8.
9.
10.
11.
Propagador de la particula A . . . . . . . . . . . . . . . . . . . . . .
Funcion de Green de dos puntos . . . . . . . . . . . . . . . . . . . .
Funcion de Green de tres puntos . . . . . . . . . . . . . . . . . . . .
Lnea interna con el momento virtual . . . . . . . . . . . . . . . . . .
Correccion del propagador de Feynman del campo A hasta orden 2
Correccion a orden un loop del propagador de Feynman . . . . . . .
Correccion hasta orden un loop del vertice de interaccion . . . . . .
Correccion a un loop de la dispersion de campos A . . . . . . . . . .
Calculo de la correccion a un loop del propagador de Feynman . . .
34
36
36
39
40
40
40
40
41
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE DE FIGURAS
EN TEORIA DE CAMtitulo en espa

nol: LA TECNICA
DE RENORMALIZACION
POS
titulo en Ingles THE RENORMALIZATION TECHNICS IN FIELD THEORY
Resumen en Espa
nol:
En el siguiente trabajo, se ha hecho una revision en lo posible pedagogica acerca del campo escalar
masivo, estudiando sus aspectos clasicos y se ha abordado la cuantizacion de la teora desde varios
frentes, primeramente usando el formalismo canonico el cual presenta algunas caractersticas que
pueden aparecer menos obvias desde otros metodos de cuantizacion. Se ha utilizado tambien el importante metodo de cuantizacion de la Integral de Caminos de Feynman, la cual se ha introducido
desde primeros principios partiendo desde su origen clasico y se ha hecho un abordamiento a la vez
pedagogico e historico, mostrando las generalidades de la lnea de pensamientos que siguieron la
construccion de esta tecnica y su posterior aplicacion al caso de Teora de Campos, en especial para
tres campos escalares. Es as como se aplico la tecnica de la Integral de Caminos al caso de la Teora
ABC de tres campos escalares masivos, haciendo un analisis perturbativo sobre la funcion generatriz
hasta cuarto orden en la constante de acoplamiento, lo cual nos permitio calcular las funciones de
Green hasta cuarto orden en la constante de acoplamiento.
Astrac:
In the following work has made a almost teaching revision about the massive scalar field, studying
classical aspects and have addressed the quantification of the theory from several fronts, primarily
using the canonical formalism which presents some features that may appear less obvious from other
quantification methods. It has also used the important method quantification of the Comprehensive
Roads of Feynman, which has been enter first principles since its origin has been made classic and
using at once Educational and historical, showing the general line of thinking that followed the construction of this technique and its subsequent application in the case of Theory of Fields, especially
for three scalar fields. Thus the technique was applied as Integrated Roads to the case of Theory
ABC three massive scalar fields, with analysis on the disturbances generating function until the
fourth order in the coupling constant, which allowed us to calculate the functions until the fourth
GREE order in the constant coupling.
Descriptores o palabras claves: Renormalizacion, Integral de Camino
Keywords: Renormalization, Path Integral
CAPITULO 1
INTRODUCCION
El desarrollo de las teoras Gauge ha sido de considerable importancia en los avances de la
fsica moderna. Nos ha permitido unificar cuatro de las interacciones conocidas en la naturaleza.
En particular la teora de Glashow-Weinberg-Salam [1,8,13] es una teora Gauge la cual unifica la
interacci
on debil y las fuerzas electromagneticas.
A primera vista estas fuerzas no tienen nada que ver la una con la otra. La fuerza debil es de
corto rango y de una naturaleza completamente diferente de la electromagnetica. Ademas esta viola
paridad y extra
neza. Su u
nica familiaridad es que ambas aparecen de forma semejante al tratar los
leptones y los hadrones, es decir, la carga electrica del proton y el positron son iguales como son las
cargas debiles medidas tanto en el decaimiento beta como el decaimiento del muon. La interaccion
debil local entre cuatro fermiones propuesta por Fermi fue insuficiente ya que esta contena una
constante de acoplamiento Gf con dimensiones de masa negativa. Esta caracterstica en la teora
conduce a violacion de la unitariedad a altas energas [13] ya que la seccion eficaz de un proceso
a primer orden en Gf a un momentum p debe de ser proporcional a G2f p2 por consideraciones
dimensionales, y de all en adelante se incrementa con p. Se espera que la introduccion de un boson
vectorial intermediario, por analoga con la electrodinamica, solucione este problema y conduzca a
la base de la unificacion de las dos fuerzas.
Sin embargo, para las interacciones debiles el boson vectorial debe de ser masivo, ya que esta
fuerza es de corto rango, pero ha sido mostrado que teoras que contienen un boson vectorial masivo
continuan teniendo el problema de violacion de unitariedad y no son renormalizables. La teora Gauge
de Yang-Mills [14], construida por Weinberg[16] y Salam [17] fue el primer modelo de interaccion debil
que subsecuentemente se mostro ser renormalizable [10]. Debido a que este modelo contiene al Foton y
a los bosones debiles W , Z 0 como los bosones de Gauge correspondientes a la simetra local SU (2)
U (1), las fuerza electromagnetica y debil fueron unificadas en este sentido. Una de las principales
predicciones del modelo es la existencia de una corriente neutral debil con una intensidad que depende
del angulo de Weiberg el cual es el angulo de combinacion entre la corriente electromagnetica y la
debil. Medidas experimentales de estas corrientes, han llevado a un angulo dado por sen2 = 0,23.
Haciendo uso de este angulo, las masas de los bosones vectoriales pueden ser predichas por la relacion:
mW =
2GF sen2
mZ =
mW
cos
(1.1)
Experimentos realizados en el CERN, han visto eventos que estan en acuerdo con la anterior
prediccion. Colisiones Proton-Antiproton, en energas del centro de masa de 540 GeV han sido

CAPITULO 1. INTRODUCCION
estudiadas y eventos del tipo:

p + p W + X e + e
(1.2)
Han sido observados, donde X es un hadron y el electron tiene una alta componente de momentum
transversal, indicando que un objeto de alta masa ha sido producido en el proceso. Varios eventos
de este tipo han sido observados los cuales son consistentes con el boson W teniendo una masa
mW 80GeV.
En esta monografa se pretende hacer una revision a los conceptos basicos que permitieron construir Teoras de Campos tan bellas como la teora Electro-Debil, concentrandonos principalmente en
la Teora ABC de tres campos escalares masivos autointeractuantes, y esbozando los procedimientos
basicos para calcular desde la accion funcional de la teora todas las cantidades fsicas posiblemente
medibles. La monografa se organiza en la siguiente forma: En el Capitulo 2, daremos una vision general del concepto de campo y mostraremos la forma mas simple de cuantizar una teora de campos,
aplicando particularmente el formalismo de cuantizacion canonica a un campo escalar real. En el
Capitulo 3 daremos una rapida hojeada al concepto de Campos de Gauge, generalizado a traves de
lo que se conoce hoy en da como Teoras de Yang-Mills. En el capitulo 4 introduciremos el concepto
fundamental de la Integral de Camino de Feynman y su aplicacion particular en teora de campos al
caso de un campo escalar real autointeracturante. Finalmente, en el Capitulo 5, aplicaremos todos
las herramientas desarrolladas en los captulos precedentes al caso de la Teora ABC y haremos un
esbozo general de la tecnica de Renormalizacion aplicada a uno de los campos escalaras contenidos
en esta u
ltima.
CAPITULO 2
TEORIA CUANTICA
DE CAMPOS
Como su nombre lo indica, La teora cuantica de Campos (TCC), es la disciplina encargada de
estudiar el comportamiento de los campos fsicos en escalas dentro de las cuales el comportamiento
Cuantico se hace apreciable (~ comparable a las escalas bajo estudio). La TCC, surge en principio
como la necesidad de reconciliar las dos mas grandes innovaciones hechas en fsica en el ultimo
siglo, que son, relatividad especial y mecanica cuantica. Piense en que usted quiere estudiar la
dinamica de una bala viajando a una velocidad comparable a la velocidad de la luz, para esto,
solo necesitara el uso de relatividad especial; ahora piense que usted lo que quiere es observar la
dinamica de un electron moviendose a una velocidad del orden de la luz y chocando con un atomo,
para esto, solo sera necesario el uso de mecanica cuantica. Pero que hacer si usted necesita estudiar
el comportamiento dinamico de este u
ltimo en el caso en que el electron viaje a una velocidad no
despreciable respecto a la de la luz?. Es en esta interseccion de escalas de longitud y energas es
donde se hace necesario el uso de la TCC. Dejeme aclarar un poco mas las ideas. En mecanica
cuantica [1], el principio de incertidumbre nos dice que la Energa puede fluctuar en un intervalo
suficientemente amplio siempre que el intervalo de tiempo de esta variacion sea suficientemente
peque
no, es decir Et ~, pero por otro lado, relatividad especial [2] nos ense
na que una cantidad
suficiente de energa puede transformarse en materia y viceversa. Esto quiere decir entonces, que
en un proceso fsico tan sencillo como en la colision de una partcula simple contra otra, podran
aparecer fluctuaciones de energa en tiempos lo suficientemente cortos como para producir una nueva
partcula no involucrada en el inicio del proceso. Sin embargo, si usaramos la ecuacion de Schrodinger
para el sistema donde un electron es dispersado por un proton en una colision a la escala de energa
que sea, no podramos encontrar una manera de manipular esta ecuacion diferencial de tal manera
que al final del proceso apareciera otra partcula diferente a las involucradas en el inicio del proceso,
haciendo inadecuada la mecanica cuantica no-relativista para estudiar procesos de este u
ltimo tipo
(altas energas), enfrentandonos as con la necesidad de la TCC [6].
2.1.
La Red Uno-dimensional
Quiz
a la manera mas sencilla y directa de enfrentarse mentalmente a una Teora Cuantica que
permita dar cuenta del proceso de creacion y aniquilacion de partculas, es intentar imaginar a nivel
clasico alg
un proceso analogo donde uno pudiese hablar de creacion o aniquilacion de algo. Piense
en el ejemplo sencillo de un solido uno dimensional, consistente de una red de puntos materiales

CAPITULO 2. TEORIA CUANTICA
DE CAMPOS
10
atados unos a sus vecinos mas cercanos a traves de resortes de constante elastica k. Como es bien
conocido [4], el lagrangiano para un sistema tal esta dado por:
L=
X1
a
mqa2
ka,b qa qb +
a,b
ra,b,c qa qb qc + O(q 4 )
(2.1)
a,b,c
Siendo n el numero total de puntos materiales de la red y a, b o c indicando la posicion de

cada uno de los puntos. La forma como se ha escrito el potencial es, digamos, la mas general para
este sistema, pero para el beneficio de la simplicidad, loPconsideraremos por ahora hasta el orden
cuadr
atico, es decir en la aproximacion armonica.: V = a,b ka,b qa qb . En esta u
ltima aproximacion
las ecuaciones de movimiento del sistema se veran de la forma:
X
m
qa =
ka,b qb
(2.2)
b
Asumiendo entonces que cada una las masas que constituyen el sistema, oscila armonicamente
con una frecuencia ,esta u
ltima ecuacion se ve as:
X
m 2 qa =
ka,b qb
(2.3)
b
De esta manera la solucion del sistema de ecuaciones diferenciales acopladas que describen el
sistema, se reduce al calculo de los autovalores y autovectores de la matriz ka,b , los que llamaremos
respectivamente autofrecuencias y automodos de vibracion de la red. As pues, la solucion general
a nuestro sistema sera la superposicion de todos los automodos, los cuales, desde el punto de vista
cuantico, se pueden ver como una superposicion de funciones de onda armonicas, es decir, como
paquetes de onda los cuales se pueden interpretar de inmediato (desde el punto de vista cuantico)
como partculas. Como bien lo sabemos, este sistema tratado en la aproximacion armonica nos permite desacoplar los modos normales (ver [4]) de tal manera que dos paquetes de onda que chocan
se veran igual despues del choque, pero una situacion bastante diferente se observa cuando consideramos terminos de orden superior, como c
ubicos, en ese caso, los automodos ahora se acoplan
y un paquete de onda construido desde ellos podra decaer en otros dos, o aun mas, dos paquetes
de onda al chocarse podran recombinarse y formar otros dos paquetes de onda diferentes despues
del choque. El anterior procedimiento se puede extender al caso de dos y tres dimensiones con algo
mas de escritura, pero la esencia del sistema continua siendo la misma. Este sencillo ejemplo nos da
as una luz acerca de la direccion en la que debemos movernos con el objeto de construir una teora
cuantica capaz de describir el proceso de creacion o destruccion de partculas.
2.2.
Campo Escalar Cl
asico
Hasta ahora hemos encontrado una posible ruta de acceso a la forma en que puede ser formulada
una TCC, pero aun no hemos hablado acerca del concepto de campo. La manera mas simple de
imaginarse un campo lo constituye de nuevo nuestra Red armonica uno-dimensional (2-dimensional
o 3-dimensional con un poco mas de escritura). Ahora queremos imaginar la situacion donde l 0,
siendo l la separacion entre puntos vecinos de la red, o si quiere ser visto desde un punto de vista un
poco mas conservador, imagine que nos interesan los fenomenos fsicos que ocurren a escalas mucho
mas grandes que l. Bajo esta consideracion, el ndice a que indexa la posicion de los diferentes puntos
en la red, debe ser promovido a un ndice continuo x, de tal manera que en lugar de q(t) debemos
escribir q(t, x), lo que notaremos como (t, x) para comenzar a familiarizarnos con P
la notaci
Ron usual
de teora de campos, ademas de sustituir las sumas por integrales en la forma: a = 1l dx. Es
inmediato darse cuenta que el termino cinetico del lagrangiano (1), promueve a la forma:

2.2. CAMPO ESCALAR CLASICO
L=
11
X1
a
Z
mqa2
dx
2
2
(2.4)
Donde hemos llamado a m/l como ya que en el limite l 0 , sera la densidad de la red. Nos
queda ahora considerar el termino potencial, el cual de nuevo por simplicidad, consideraremos en
la aproximacion armonica. Escribiendo 2(qa qb ) = (qa qb )2 qa2 qb2 y asumiendo que el termino
ka,b s
olo liga cercanos vecinos y ademas que es la misma para cada par de vecinos, obtenemos:
2 qa qb 2
2
l ( l ) = l2 (
x ) , lo que nos permite escribir:
"
#
2
Z
2
1
2
L = dx
+ O(3 )
(2.5)
2
t
x
Donde hemos absorbido todas las constantes multiplicando el termino cuadratico por y las
derivadas espaciales por . Por u
ltimo y para llevar este lagrangiano a una forma mas familiar en
teora de campos, redefinimos el campo / y las constantes en cada termino, de manera que
podamos escribir finalmente:
"
#
2
Z
2
1
2
2 2
L = dx
c
m + O(3 )
(2.6)
2
t
x
El metodo empleado para llegar a este u
ltimo lagrangiano es aplicable en cualquier n
umero de
dimensiones, y podemos escribirlo inmediatamente en 3 dimensiones as:
"
#
Z
2
3 1
2
2
2 2
L= d x
c () m + O(3 )
(2.7)
2
t
La forma como hemos acomodado las constantes a nuestra conveniencia es con el objeto de
introducir directamente el formalismo de relatividad especial, donde el lagrangiano debe ser escrito en
forma covariante ante las transformaciones de Lorentz. Como bien lo sabemos, la derivada covariante
en el espacio de Minkowski se ve de la forma = (c1 t , ), donde corre de 0 a 3 indexando las
coordenadas de espacio-tiempo, y es el usual gradiente en coordenadas espaciales. es invariante
ante las transformaciones de Lorentz. Introduciendo pues el formalismo covariante de relatividad
especial, podemos finalmente escribir nuestro lagrangiano para el Campo Escalar Clasico de la forma:
Z
1
(2.8)
L = d3 x ( )2 m2 2
2
Hemos introducido el campo escalar clasico mediante una analoga entre una red de puntos
materiales atados a traves de resortes en el limite continuo, pero esto se ha hecho as por razones
de simplicidad. El punto de vista moderno, es exigir una teora de campos que sea invariante ante
las transformaciones de Lorentz, pero con el requisito que el lagrangiano no contenga derivadas
superiores a dos (porque aun no sabemos resolver de manera exacta sistemas de ecuaciones de
orden superior a dos a nivel cuantico). Evidentemente se pudo haber llegado al mismo lagrangiano
que hemos obtenido en esta seccion a traves de argumentos de simetra [5,6], y en ese caso nos
enteraramos que la constante c debera ser la velocidad de la luz y de esta manera se justificara la
consistencia en la escogencia de las constantes que hemos usado. Nos resta ahora aprender a calcular
las ecuaciones de movimiento en el caso de tener campos clasicos, el metodo es aplicar el poderoso
principio de mnima accion a una accion del tipo:
Z
Z
S = dtL = d4 xL(, )
(2.9)

DE CAMPOS
12
Este principio establece en este caso, que la evolucion del sistema desde el punto inicial xi al
punto final xf estara dada por el maximo de la variacion funcional de la accion entre estos dos
puntos. Matematicamente esto se ve de la forma:
L
d4 x ( L) +
( )

Z
L
L
L
= d4 x (
) (
) + (
)

( )
Z
S = 0 =
(2.10)
En pasar del primer al segundo renglon hemos aplicado la regla de Leibnitz de la derivada de un
producto, o integracion por partes. El u
ltimo termino del segundo renglon es una derivada total y
puede anularse en la frontera de la superficie de integracion, as que la condicion S, se traduce en:
L
L
=
(2.11)
( )
Aplicando este u
ltimo resultado a nuestro lagrangiano particular del campo escalar (ec,2,8),
obtenemos la ecuacion de movimiento del campo escalar:
( + m2 ) = ( + m2 ) = 0
(2.12)
Donde es el operador DAlembertiano en el espacio de Minkowski, el cual es evidentemente

invariante. Esta u
ltima ecuacion es conocida como la ecuacion de Klein-Gordon, aunque esta fue
primero descubierta por Schro Dinger antes de descubrir la ecuacion que lleva su nombre, de hecho,
la ecuacion de Schro Dinger puede ser obtenida desde la ecuacion de Klein-Gordon en el limite no
relativista, como era de esperarse. Con el objeto de pensar en la quantizacion del campo, debemos
hallar el Hamiltoniano del sistema. Desde la analoga del campo escalar con la red armonica, resulta
evidente que en teora de campos las coordenadas del sistema estan dadas por el campo mismo
(q(t)a (t, x)), por tanto, seria logico definir el momento conjugado del sistema y el Hamiltoniano
de la manera usual:
L
(x)
Z
H = d3 x((x)(x)
L)
(x) =
(2.13)
As, introduciendo el lagrangiano (ec,2,8), conseguimos lo siguiente:
(x) = (x)
Z
1
H = d3 x ((x)2 + ()2 + m2 2 )
2
2.3.
(2.14)
Cuantizaci
on Can
onica del Campo Escalar
Vamos a darnos ahora a la tarea de construir la teora cuantica para el campo escalar [6]. Para
comenzar con esta labor, debemos recordar que cuando se quiere cuantizar un sistema discreto
tal como la red uno- dimensional, las coordenadas y sus momentos conjugados deben ser tratados
como operadores en el formalismo cuantico, de tal manera que cumplan las siguientes reglas de
conmutacion [1]:
CANONICA
2.3. CUANTIZACION
DEL CAMPO ESCALAR
[qa (t), qb (t)] = [pa (t), pb (t)] = 0

[pa (t), qb (t)] = i~a,b
13
(2.15)
Donde pa representa el momento conjugado correspondiente a la variable qa y se hace explcita

referencia al tiempo para recordar que estos conmutadores deben calcularse en igual tiempo.
Como ya lo hemos mencionado, en el caso del sistema continuo, o mejor, en el caso del campo escalar,
las coordenadas del sistema son los campos en si mismos y por tanto, con el objeto de cuantizar la
teora debemos promover los campos (x, t) y (x, t) a operadores en nivel cuantico, y las relaciones
de conmutacion seran las analogas a las reglas de comutacion (2.15) pero en el caso continuo:
[(x),
(y)]
= [
(x),
(y)] = 0
(4)
[(x), (y)] = i~ (x y)
(2.16)
Donde la variable x, (y), se refiere tanto a las coordenadas espaciales como a la coordenada
temporal. Ya con estas relaciones de conmutacion en la mano, procedemos a calcular el espectro del
Hamiltoniano, pero antes de esto escribamos el campo en componentes de Fourier:
Z
d3 p ipx
(x) =
e
(p, t)
(2.17)
(2)3
Introduzcamos ahora esta u
ltima expresion en la ecuacion (ec,2,12) de Klein-Gordon:
2
2
2
+
p
+
m
(p, t) = 0
t2
(2.18)
Que al compararla con la ecuacion:

d2 x
+ 2 x = 0
(2.19)
dt2
Nos enteramos que las componentes de Fourier del Campo Escalar se comportan como osciladores
armonicos con frecuencia p2 = p2 + m2 . Pero la forma de cuantizar un oscilador armonico simple
es bien conocida. El Hamiltoniano esta dado por:
p2
1
+ 2 x2
(2.20)
2
2
Donde x
y p son respectivamente el operador posicion y momentum. Este Hamiltoniano se
diagonaliza si se hace la siguiente secuencia de transformaciones canonicas:
H=
r
x
=
x
~
1
a
= (
x + i
p)
2
,
,
1
p = p
~
1
+
a
= (
x i
p)
2
(2.21)
Donde ahora los operadores a

ya
+ obedecen la relacion de conmutacion: [
a, a
+ ] = 1. En termi+
nos de los nuevos operadores de creacion a
y destruccion a
, el Hamiltoniano adopta la forma
conveniente:
1
H = ~(a+ a + )
2
(2.22)

DE CAMPOS
14
Recordemos que el espectro del Hamiltoniano escrito de esta manera esta dado por los autoestados
+ n
|ni = (an!) |0i correspondiente al nivel de energa En = ~(n + 1/2), donde el autoestado |0i se
define como el estado de vaco y es tal que a |0i = 0.
A partir de la analoga encontrada, podemos usar el mismo truco para construir el espectro del
Hamiltoniano para el campo escalar, pero ahora debemos definir operadores de creacion y destruccion
para cada p indexando cada modo de Fourier en la expansion del campo (ec,2,17). Desde la ecuacion
(ec,2,21) se puede escribir directamente (donde hemos hecho ~ = 1 para simplificar la escritura):
r
1
x
= (
a+ + a
) , p = i
(
aa
+ )
(2.23)
2
2
Por lo tanto, la forma obvia para escribir el campo es terminos de operadores de creacion y destrucci
on siguiendo esta analoga la podemos encontrar desde la comparacion de la ecuacion (ec,2,17)
con la ecuacion (ec,2,23), teniendo en cuenta que cada modo de Fourier del campo se comporta como
un oscilador armonico (por tanto la analoga aqu es x

(p)
y p
(p)), es decir:
r
1
p
(p)
=p
(
a+
(
ap a
+
(2.24)
+
a
)
,
(p)
=
i
p
p
p )
2
2p
Z
(x)
=
d3 p
1
p
(
a+
p )eipx
p + a
3
(2)
2p
Z
,
(x) =
d3 p
(i)
(2)3
p
ipx
(
ap a
+
p )e
2
(2.25)
La generalizacion de las relaciones de conmutacion para los operadores a

p y a
+
p es
+
3 (3)
[
ap , a
q ] = (2) (p q) las cuales nos permiten verificar con un poco de algebra las relaciones de
conmutacion (ec,2,16).
Ya con todas estas herramientas estamos preparados para calcular el Hamiltoniano del sistema en
terminos de los operadores a
ya
+ , los cuales reducen el primero a su forma diagonal:
Z
d3 p
1
H=
p (
a+
p + [
ap , a
+
(2.26)
pa
p ])
(2)3
2
Este Hamiltoniano se ve como la suma de infinitos Hamiltonianos de osciladores armonicos de
partcula simple, como era de esperarse desde la construccion de la teora que hemos venido realizando. El u
ltimo termino del lado derecho es proporcional a (0), llevandonos a una integral infinita,
pero este termino no es maP
s que la suma
P de las energas de todos los estados de vaco de cada uno
de los osciladores simples
E0,p =
p /2, afortunadamente los experimentos miden diferencias
de energa y por tanto no son capaces de detectar este molesto infinito de la teora. Resulta entonces
conveniente escoger este infinito como el nivel de referencia de la energa y tomarlo como cero, y
de esta manera el espectro correspondiente a este Hamiltoniano se construye de la misma manera
que se hizo para el caso de partcula simple, escogiendo como el estado de vaco al estado |0i de tal
manera que ap |0i = 0 para cualquier p y el espectro se construye haciendo actuar los operadores de
creaci
on a+
o para cualquier p, siendo por ejemplo el estado general:
p sobre el estado de vaci
(ap2 )H1 (ap2 )H2 . . . |0i
(2.27)
El cual corresponde al estado con energa (n1)wp 1 + (n2)wp 2 + ... A pesar de que la construccion
del espectro se ha hecho en completa analoga con el oscilador armonico simple, la interpretacion de
estos estados es ligeramente diferente; el operador (ap ) crea un estado con momentum asociado p
p
y energa wp = p2 + m2 , el cual puede ser interpretado inmediatamente como una excitacion de
partculas y a partir del estado de vaco podemos construir todas las excitaciones para dar nacimiento
a otra. De esta manera hemos logrado construir una teora cuantica del campo escalar y aunque la
CANONICA
2.3. CUANTIZACION
DEL CAMPO ESCALAR
15
metodologa que se ha empleado esta fuertemente relacionado con el oscilador armonico, el principio
subyacente detras de todas las teoras de campos es el principio de simetra, aun mas alla de las
simetras de Lorentz.
El metodo estandar es buscar un lagrangiano que ademas de ser invariante ante el grupo de
lorentz, lo sea tambien, por ejemplo, bajo la accion del grupo SU (2) (Iso-spin) o SU (3) (cromodinamica), o aun mas construir lagrangianos de campos que sean invariantes ante el grupo de
Lorentz SO(3, 1) pero solamente a nivel local (Gravedad). Es pues, detras de las simetras que se
encuentran la forma de la naturaleza, y es solo la naturaleza misma la que nos indica que tipos de
simetras, son las permitidas.
El formalismo que hemos aplicado para cuantizar el campo escalar, que es el de escribir los campos
en funcion de operadores de creacion y aniquilacion pueden ser igualmente aplicado en la de cualquier
campo clasico, pero siempre resulta mas conveniente utilizar el formalismo de integral de camino
de Feynman a la hora de construir cantidades fsicas que pueden ser medidas en el laboratorio[6],
particularmente cuando se trata de la cuantizacion de Teoras de Campo de calibracion como las
mencionadas en el parrafo anterior.
16

DE CAMPOS
CAPITULO 3
TEORIA GAUGE
3.1.
La Funcional Acci
on
La forma mas elegante de describir una teora cuantica de campo es mediante el formalismo
Lagrangiano. Partimos de la llamada la funcional accion, definida as:
Z
d4 xL
(3.1)
Donde L es la densidad lagrangiana. En la funcional accion esta contenida toda la informacion

sobre el sistema fsico. En particular, las simetras de S estan en correspondencia con las cantidades
conservadas en el sistema.
Por otro lado, la funcional accion es una cantidad matematica y como tal infinita en sus posibilidades. Es decir existe un grupo de tales funciones que describen razonablemente las teoras fsicas.
Tales acciones deben satisfacer el siguiente grupo de condiciones fsicas.
Primero, deben ser simetricas ante el grupo de transformaciones de Poincare, lo cual refleja la
exigencia fsica de que las teoras obedezcan los axiomas de la relatividad especial. Tambien deben
ser simetras ante los grupo de transformaciones que envuelven nuevos grados de libertad tales como
la carga electrica, carga de color y otras cargas. Estos grupos son llamados grupos de simetra interna
o grupos gauge.
Las acciones que describen las partculas elementales son invariantes ante transformaciones internas que dependen puntualmente del espacio-tiempo. Otro tipo de simetra que presentan las acciones
fsicas es la invariancia ante el grupo discreto CPT.
Segundo, las funcionales accion deben ser reales reflejando as el hecho de la conservacion de la
probabilidad total en toda teora de campos cuantica.
Tercero, las funcionales accion deben generar ecuaciones diferenciales de movimiento a lo mas de
segundo orden, reflejando as el hecho de presentar soluciones fsicas siempre casuales.
La funcional accion juega un papel de suma importancia tanto desde el punto de vista clasico
como cuantico. Mediante su extremalizacion se obtienen las ecuaciones de movimiento clasicas y en la
teora cuantica tiene un papel relevante en la integral de camino de Feynman, base de la formulacion
funcional de la teora cuantica de campos.
Algunas acciones importantes en la teora cuantica de campos son:
17
CAPITULO 3. TEORIA GAUGE
18
3.1.1.
Acci
on de Klein-Gordon
Partculas de spin 0: Campos escalares (x)

Z
1
SKG = d4 x[ (x) (x) V [(x)]]
2
3.1.2.
(3.2)
Acci
on de Yang-Milles
Partculas de spin 1: Campos vectoriales AB
Z
1
B B
SY M =
F
d4 x[F
]
4
(3.3)
B
B
BCD C D
F
= AB
A A
A + iF
3.1.3.
Acci
on de Dirac
Partculas de spin 12 : Campos spinoriales (x)

Z
i ( m)i ]
SD = d4 x[
3.2.
(3.4)
El principio Gauge
La forma mas elegante de introducir las interacciones en una teora de partculas elementales, es
exigiendo que las acciones que describen la materia (spin 12 ) pasen de ser invariantes gauge globales
a ser invariantes gauge locales.
El principio gauge afirma que las partculas intermediarias de fuerza o interaccion entre la materia,
surgen como consecuencia directa de exigir que una invariancia gauge global en la accion que describe
la materia se convierta en una invariancia gauge local. El principio queda bien ilustrado en los
siguientes casos:
Las partculas vectoriales de spin 1 (mediadoras de la interaccion electromagnetica, debil y
fuerte) aparecen como consecuencia directa de hacer locales las simetras gauge (U (1), U (1)
SU (2), SU (3)) que presentan las acciones de spin 12 (leptones, quarks). Las partculas tensoriales
de spin 2 (interaccion gravitacional) aparecen como consecuencia directa de hacer local la simetra
espacio-temporal de Poincare en la accion de materia. Las partculas de spin 32 y 2 aparecen cuando teoras globalmente supersimetricas son generalizadas a teoras localmente supersimetricas en el
espacio-tiempo.
Vamos a centrar nuestra atencion u
nicamente en el principio gauge aplicado al caso de partculas
de spin 1. Se consideran la simetra gauge SU (N ) en las acciones de materia as como la simetra
U (1) en el caso de la QED.
3.3.
El principio Gauge en teoras de Yang-Mills (no abelianas)
Consideremos acciones de materia invariante globales ante el grupo de simetra SU (N ).

Siguiendo el principio gauge partimos de la accion de materia (fermionica)
Z
S0 = (x)(
m)(x)
(3.5)
3.3. EL PRINCIPIO GAUGE EN TEORIAS DE YANG-MILLS (NO ABELIANAS)
19
Donde los campos fermionicos son multipletes que pertenecen a la representacion fundamental
definitoria del grupo SU(N) y S0 es invariante gauge global ante el grupo SU(N). Las transformaciones bajo SU(N) tiene la forma generica:
U = eiw
TA
A = 1, 2, . . . N 2 1
(3.6)
Donde T A son los Generadores del grupo W A siendo estos los parametros del grupo que son
constantes.
Los generadores del grupo cumplen con las siguientes reglas de conmutacion: [T A , T B ] = f ABC T C
ABC
f
: constante de estructura del grupo
Si convertimos el grupo SU (N ) global en un grupo local, esto es wA = wA (x), la accion S0 deja
de ser un invariante ante el grupo:
(x) U (x)(x)
(3.7)
S0 6= 0
Observamos que el problema radica en la forma en que se transforma el operador derivada
(X) U (x)(x) 6= U (x) (x)
(3.8)
Debemos generalizar el operador derivada, para eso definimos un operador derivada covariante
D , que se transforme:
D (x) U (x)D (x)
(3.9)
D U (x)D Ux1
As la accion invariante gauge local SU (N ) queda:
Z
a (x)(D m)a (x)]
S = d4 x[
(3.10)
Ahora debemos suponer una forma para el operador derivada covariante siguiendo una generalizacion del principio de mnimo acoplamiento de la QED.
D = 1 + igA (x)
(3.11)
A
A = AA
T
O sea por cada generador del grupo SU (N ) debemos introducir un campo bosonico intermediario
(campos gauge) AA
ndice A = 1...N 1).
(donde el super-
Como una consecuencia directa del n
umero de campos bosonicos que se introducen en la derivada
covariante (N 2 1), estos campos forman automaticamente multipletes que se transforman como
miembros de la representacion adjunta del grupo SU (N ).
A partir de la definicion de la derivada covariante es sencillo demostrar la forma en que se
transforman los campos:
A8 (x) = iU (x)[ U (x)] + U (x)A (x)U (x)
1
C
B
D
BDC
AC
(x) = w (x) w (x)A (x)f
g
(3.12)
CAPITULO 3. TEORIA GAUGE
20
Lo u
nico que resta es introducir un termino cinetico invariante gauge local SU (N ), la accion de
Yang-Mills:
Z
1
B B
SY M =
d4 x(F
F
)
4
Donde:
B
B
BCD C D
F
= AB
A A ]
A + ifabc Ab Ac + f
(3.13)
B
Donde F
es un miembro de la representacion adjunta del grupo SU (N ).
La accion completa invariante gauge local SU (N ) que describe el sistema de fermiones y bosones
en interaccion y que sirve como punto de partida para la teora cuantica es:
Z
1 B B
4
a
S = d x (x)(D m)a (x) F F

(3.14)
4
Hacemos enfasis en que la introduccion de terminos explcitos de masa para los bosones gauge
2
B
) en la accion anterior da
na irremediablemente la invariancia gauge local SU (N ), ya que
( M2 AB
A
dichos terminos no son invariantes gauge local. En resumen el principio gauge presenta los siguientes
pasos:
Se comienza con una accion que describe la materia S0 invariante gauge global ante un grupo
de simetras (internas o externas).
Se hacen locales las simetras gauge globales y se generaliza la accion inicial S0 por medio de
la introduccion del operador derivada covariante D obteniendose la accion S y conservando
as la invarianza gauge.
Se define el operador derivada covariante D en terminos de la derivada corriente. Mas un
n
umero de campos gauge, igual, al n
umero de generadores del grupo de simetra que se
este tratando (para SU (N ), N 2 1 campos).
A la nueva accion invariante gauge local S, se adiciona un termino cinetico para los campos
gauge, de por s invariante gauge.
La accion as obtenida contendra terminos que describen la materia, los bosones gauge y la
interaccion.
CAPITULO 4
LA INTEGRAL DE CAMINOS DE
FEYNMAN
Como ya hemos mencionado con anterioridad, la teora cuantica campos surgio a partir de la
necesidad de reconciliar la mecanica cuantica con los principios de la relatividad especial. Fue en
esta misma direccion que en el marco de teora cuantica de campos se dise
no el formalismo de la
integral de caminos, en la b
usqueda de la aplicacion de la accion funcional en el contexto de la
mecanica cuantica. En principio la integral de caminos fue motivada desde el deseo de obtener una
formulacion de la mecanica cuantica donde el tiempo y el espacio fuesen tratados a un mismo nivel,
tal como se hace en relatividad especial. Recordemos que en el formalismo Hamiltoniano usual de la
mecanica cuantica, el Hamiltoniano es entonces usado para encontrar el estado del sistema despues
de un tiempo t. Fsicamente lo que uno quiere calcular es la amplitud de transicion del sistema
desde un estado E0 en t0 a un estado E1 en el tiempo t1 . De esta manera vemos que el tiempo
juega un papel especial en este formalismo y la invariancia manifiesta de la teora ante el grupo
de Lorentz se pierde, a pesar de que posiblemente la respuesta final (la Amplitud de Transicion)
sea relativisticamente invariante. Dirac estuvo motivado por encontrar un formalismo alternativo
donde el tiempo no tuviese ese caracter especial, para hacer esto Dirac [12] regreso a los principios
fundamentales de la Mecanica Clasica, donde existen dos posibles formalismos para trabajar la
dinamica del sistema bajo consideracion: el formalismo Hamiltoniano el cual privilegia el tiempo
y lo escoge desde el principio y el formalismo Lagrangiano que no lo hace. Especficamente el se
pregunto sobre el posible papel de la Accion Funcional en Mecanica Cuantica, pero la respuesta ya
era conocida: La Accion Funcional es el generador de una transformacion canonica la cual lleva el
sistema desde un tiempo a otro. Comencemos entonces este peque
no captulo introductorio con una
ligera revision de transformaciones canonicas.
4.1.
Transformaciones Can
onicas en Mec
anica Cl
asica
Desde el formalismo Hamiltoniano sabemos que la dinamica de una partcula esta regida por las
ecuaciones de Hamilton:
dq
H
=
dt
p
21
dp
H
=
dt
q
(4.1)
CAPITULO 4. LA INTEGRAL DE CAMINOS DE FEYNMAN
22
Siendo H el Hamiltoniano del sistema. Estas ecuaciones pueden ser escritas en terminos del los
corchetes de Poisson:
A B
A B
(4.2)
q p
p q
Donde A y B son funciones arbitrarias de p y q. As, las ecuaciones de Hamilton adoptan la
forma:
{A, B}q,p =
dq
dp
= {q, H} ,
= {p, H}
(4.3)
dt
dt
De estas u
ltimas ecuaciones observamos que para una funcion arbitraria F de q, p y t, su derivada
temporal esta dada por:
F
dF
= {F, H} +
(4.4)
dt
t
Donde el u
ltimo termino da cuenta de la dependencia explcita de t. Por otro lado las ecuaciones
de Hamilton pueden ser derivadas desde el principio variacional de Lagrange:
Z t2
dq
(4.5)
dt p H(p, q) = 0
dt
t1
Sabiendo que las variaciones independientes q y p se anulan en los puntos finales. Se dice que
una transformacion p P, q Q es canonica si ella deja invariante a las ecuaciones de Hamilton:
dQ
H
dP
H
=
,
=
(4.6)
dt
P
dt
Q
y que por tanto, estas u
ltimas ecuaciones se pueden derivar igualmente desde el principio variacional de Lagrange:
Z t2
dQ
dt P
H(P, Q) = 0
(4.7)
dt
t1
De modo tal que las integrales (4.5) y (4.7) pueden diferir maximo por una derivada total, es
decir:
dq
dQ
dG
H(p, q) = P
H(P, Q) +
(4.8)
dt
dt
dt
A la funcion G se le llama funcion generadora de la transformacion canonica. Esta puede depender
de cualquier combinacion del par de las variables del sistema (q, Q), (q, P ), (p, Q) o (p, P ), pero
asumiendo que depende solo de las variables independientes (q, Q), entonces su derivada temporal
vendra dada por:
p
dG
G G q
G Q
=
+
+
dt
t
q t
Q t
Reemplazando esto en la ecuacion anterior, obtenemos:
G dq
G dQ
p
P+
q dt
Q dt
(4.9)
(4.10)
De tal manera que las variables restantes ahora quedan determinadas por la relacion:
p=
G
q
P =
G
Q
(4.11)
4.1. TRANSFORMACIONES CANONICAS

EN MECANICA
CLASICA
23
y el nuevo Hamiltoniano estara dado por:

H=H+
G
t
(4.12)
Imaginemos ahora una transformacion canonica especial que lleve las viejas variables (q, p) a
las nuevas variables (Q, P ) las cuales sean independientes del tiempo. En este caso, conociendo las
ecuaciones de transformacion q = q(Q, P, t) , p = p(Q, P, t), sera equivalente a haber resuelto el
problema dinamico, debido a que (Q, P ) son constantes en el tiempo y bastara conocer su valor en el
tiempo inicial. Queremos entonces conocer que clase de funcion genera esta transformacion. Debido
a que estamos demandando la condicion:
dP
dQ
=
=0
dt
dt
(4.13)
El nuevo Hamiltoniano H sera independiente de Q y de P desde las ecuaciones de Hamilton. Este

u
ltimo podra ser entonces solo una constante, la cual tomaremos por simplicidad igual a cero. Desde
la ecuacion (4.12), tomando a (q, Q) como las variables independientes en la funcion generadora,
obtenemos:
S
S
H q, p =
,t =
q
t
(4.14)
Donde hemos llamado S(q, Q = constante, t) a la funcion generadora de la transformacion que

buscamos. La u
ltima no es mas que la ecuacion de Hamilton- Jacobi. Desde la ecuacion (4.11)
sabemos entonces que:
P =
S
(q, Q, t)
= constante
Q
Q=constante
(4.15)
De donde puede ser despejado q como funcion de Q, P y t, para resolver as el problema dinamico.
La derivada temporal de S estara dada por:
S
S dq
dS
=
+
=L
dt
t
q dt
(4.16)
El termino mas a la izquierda no es mas que el Lagrangiano del sistema e integrando esta u
ltima
ecuacion llegamos finalmente a:
Z
t1
S=
dt0 L
(4.17)
t0
Lo que nos muestra que S es la accion considerada como una funcion de (q, Q = q(t0 )) y hemos
demostrado que esta es la funcion generadora de una transformacion canonica la cual transforma el
sistema de variables de un tiempo a otro.
Queremos ahora ver como podemos interpretar este u
ltimo resultado clasico en Mecanica Cuantica.
Sabemos que en Mecanica Cuantica, los operadores (
q , p) satisfacen las siguientes relaciones de
conmutacion:
[
q , q] = [
p, p] = 0 ,
[
q , p] = i~
(4.18)
Siendo ~ es la constante de Planck. El estado del sistema puede tomarse para un tiempo dado
como un autoestado de posicion |qi, el cual satisface:
24
q|qi = q|qi
hq|q 0 i = (q q 0 )
Z
dqhq|q 0 i = 1
(4.19)
(4.20)
(4.21)
Donde q es la coordenada correspondiente al autoestado |qi. En Mecanica Cuantica una trans es definida de manera tal que no
formacion canonica de los operadores (
p, q) a los operadores (P , Q)
cambia las relaciones de conmutacion fundamentales. Entonces el sistema sera descrito en terminos
de los estados |Qi los cuales tienen las mismas propiedades que los |qi. Desde las propiedades (4.21)
de estos u
ltimos, podemos calcular los elementos de matriz de la matriz de mezcla hq|Qi:
hq|
q |Qi = qhq|Qi
hq|Q|Qi
= Qhq|Qi
(4.22)
Pero de la mecanica cuantica sabemos ademas que:

p |Qi = i~
|qi
q
(4.23)
Lo que nos conduce a:

hq|
p|Qi = i~
hq|Qi
q
hq|P |Qi = i~
hq|Qi
Q
(4.24)
De este u
ltimo par de ecuaciones se sigue que si tomamos:
hq|Qi = e
i
~ G(q,Q)
(4.25)
Obtenemos:
hq|
p|Qi =
G
hq|Qi
q
hq|P |Qi =
G
hq|Qi
Q
(4.26)
De manera tal que las relaciones entre operadores para una transformacion canonica en Mecanica
Cuantica, son:
p =
G
q
G
P =
Q
(4.27)
Este es el analogo Mecanico Cuantico a las expresiones clasicas (4.11) dise

nado inicialmente por
Dirac [12,7].
4.2.
La Integral de Camino de Feynmann
Como hemos visto en la seccion anterior, la accion corresponde a la funcion generadora de la

transformacion canonica que transforma las coordenadas en un tiempo t0 a un tiempo t1 . Por tanto,
desde la analoga Mecanico Cuantica encontrada con q = q 0 en t y Q = q en T tenemos:
i
hqt0 |qT i e ~
Rt
T
dtL
(4.28)
Donde el smbolo da cuenta de alguna perdida de coneccion entre los dos lados de la ecuacion
debido a la validez finita de todas las consideraciones hechas por Dirac para arrivar a la analoga
4.2. LA INTEGRAL DE CAMINO DE FEYNMANN
25
mecanico cuantica. En efecto, veremos que la igualdad no se cumple cuando el intervalo T t es

finito. Para mostrar esto, partimos este intervalo en N intervalos infinitesimales ta = t + a tal que
N = T t y un parametro infinitesimal constante. Denotando qta = qa y usando las relacion de
completitud (4.21) para cada ta podemos escribir la parte izquierda de la u
ltima ecuacion as:
Z
hqt0 |qT i = dq1 dq2 ...dqN 1 hqt0 |q1 ihq1 |q2 i...hqN 1 |qT i
(4.29)
Pero por otro lado la parte derecha de (4.28) sera:
i
e ~
RT
t
dtL
=
=
t1
dtL+
R t2
R
+...+ T
t1
tN 1
e ~ t
hqt0 |q1 ihq1 |q2 i...hqN 1 |qT i
(4.30)
La cual difiere de la expresion correcta por la ausencia de la integracion entre estados intermedios.
Sin embargo, si se asume que (4.28) es una igualdad solo para intervalos infinitesimales (salvo una
constante multiplicativa), tales como los que estan dentro de la integracion sobre estados intermedios
en (4.29), es decir, si:
i
hqt0 |qt+t i = Ae ~ tL(qt ,qt+t )
(4.31)
Evitaremos el conflicto de esta definicion con la expresion mecanico cuantica (4.29). Esto es
exactamente lo que Feynman hizo [18,19] y nos lleva precisamente a la Integral de Caminos de
Feynman, la cual ahora podra ser escrita en la forma:
hqt0 |qT i
= lm A
N
Dqe
Z NY
1
i=1
!
dqi
e~
Rt
T
L(q,q)
(4.32)
i
~ S(t,T,[q])
Donde la u
ltima expresion es solo una forma de ocultar nuestra falta de conocimiento acerca de
la medida de integracion. En palabras, esta formula significa que si queremos calcular la amplitud
de probabilidad de que una partcula inicialmente en el estado qT este posteriormente en el estado
qt en el tiempo t, debemos sumar sobre todos los posibles caminos que la partcula puede tomar
para ir desde qT a qt pesando la suma por la exponencial de i/~ veces la accion evaluada en tal
camino en particular. Esta formulacion presenta claramente la diferencia entre mecanica clasica y
cuantica, en la primera la partcula toma solo un camino para ir desde qT a qt , pero en la segunda
todos los posibles caminos contribuyen. La distincion se hace a
un mas evidente en el lmite clasico
~ 0; en este lmite el integrando oscilara muy rapidamente y por tanto tendera a anularse, salvo
en el caso en que S sea aproximadamente constante, y este u
ltimo corresponde al caso cuando S es
estacionaria, lo que sucede solo en el caso en que la trayectoria q(t) sea la clasica. Por tanto, en el
limite ~ 0, la integral de caminos escoge la trayectoria clasica como la mas probable.
Una buena ilustracion y un ejemplo sencillo del uso de la Integral de Caminos es el oscilador
armonico forzado, ademas de que este ejemplo nos permitira evolucionar de una manera mas suave
al caso del campo escalar en Teora de Campos. Queremos calcular la amplitud de transicion desde
un estado inicial Q en T a un estado final Q0 en t:
Z
Rt
1 2
1 2 2
hQ0t |QT i = Dqe T dt( 2 q 2 q +F (t)q(t))
(4.33)
26
Como veremos mas adelante, una de las caractersticas de la Integral de Caminos, es que los
integrandos en ella son siempre puramente oscilatorios y por tanto divergentes en su mayora, as que
es usual adoptar una forma de restaurar la convergencia de la integral a traves de un factor de
amortiguamiento dentro de la exponencial de la forma:
Z
1 t
dtiq 2 (t) , 0
(4.34)
2 T
De manera tal que al final del calculo se toma el limite 0. El integrando queda por tanto escrito
ahora como:
e( i
Rt
T
dt[ 12 q2 12 ( 2 i)q 2 +F q ])
(4.35)
Asumamos ahora que queremos calcular la amplitud de transicion entre un estado Q en el infinito
pasado a un estado Q0 en el infinito futuro en la presencia de una fuerza externa. Para hacer este
calculo, es conveniente introducir la transformada de Fourier, definida a traves de:
Z
G(t)
G(E)
dE
eiEt G(E)
y su inversa:
2
dt
eiEt G(t)
2
(4.36a)
(4.36b)
. Expresando q y F en terminos
Siendo G alguna funcion arbitraria de t y su transformada de G
de su transformada de Fourier:
Z
0
dE dE 0
2
2
2
ei(E+E )t [EE 0 2 + i]
q (E)
q (E 0 )
(4.37)
[q ( i)q ] =
2 2
Z
1 dE dE 0 i(E+E 0 )t
e
F (t)q(t) =
[
q (E)F (E 0 ) + q(E 0 )F (E)]
(4.38)
2 2 2
De manera tal que el exponente en la integral de caminos queda escrito en la siguiente forma:
i
e2
i
=e 2
dEdE 0 (E+E 0 )[(EE 0 2 +i)

q (E)
q (E 0 )+
q (E)F (E 0 )+
q (E 0 )F (E)]
dE [(E 2 2 +i)
q (E)
q (E)+
q (E)F (E)+
q (E)F (E)]
Donde se ha usado la representacion integral de la funcion delta de Dirac:

Z
dt i(EE 0 )t
(E E 0 ) =
e
2
(4.39)
(4.40)
Haciendo ahora el cambio de variable:

F (E)
2 + i
Podemos escribir la amplitud de transicion en la forma conveniente:
Z
R
(E)F
(E)
F
0
2
2
0
i
i dE E 2 2 +i
hQ0 |Q iF = e 2
Dqe 2 dE q (E)(E +i)q (E)
q0 (E) = q(E) +
E2
(4.41)
(4.42)
Donde nos hemos aprovechado del hecho de que la medida es invariante ante el cambio de
coordenadas que hemos hecho Dq 0 = Dq. El u
ltimo termino del lado derecho corresponde a la
4.3. LA INTEGRAL DE CAMINO DE FEYNMAN EN TEORIA DE CAMPOS
27
amplitud de transicion en el caso en el que F = 0, como lo vemos claramente de la (ec. 4.37).

Asumamos ahora que lo que nosotros queremos calcular es la amplitud de transicion entre el estado
de vaco en el infinito pasado | i y el mismo estado en el infinito futuro | i, entonces la ultima
formula nos conduce a:
2i
h | iF = h | iF =0 e
dE
(E)F
(E)
F
E 2 2 +i
(4.43)
Pero el termino h | iF =0 , corresponde a la amplitud de transicion del estado de vaco en

el infinito pasado al vaco en el infinito futuro sin ninguna fuente externa aplicada, por tanto debe
de ser igual a 1, porque en ausencia de alguna fuente externa el sistema debera permanecer en el
vaco. Por tanto, el u
ltimo termino del lado derecho de la u
ltima ecuacion corresponde a la amplitud
de transicion para que el sistema vaya del vaco en el infinito pasado al vaco en el infinito futuro en
la presencia de una fuente externa. Esta u
ltima la denotamos por W [F ] y definimos Z[F ] como:
2i
W [F ] e
dE
(E)F
(E)
F
E 2 2 +i
eiZ[F ]
(4.44)
Si nos cambiamos de nuevo a la forma temporal, obtenemos:

i
W [F ] e 2
dtF (t)D(tt0 )F (t0 )dt0
(4.45)
R
e
Donde D(t t0 ) = dE
alculo de la amplitud
2 E 2 2 +i , de manera que el problema del c
considerada se reduce al calculo de este u
ltimo. Usando el teorema de integracion de Cauchy, no es
difcil darse cuenta que:
i(tt0 )E
D(t) =
1
[(t)eit + (t)eit ]
2i
(4.46)
Siendo la funcion paso (x) = 1 para x > 0 y (x) = 0 para x < 0. Ademas, por diferenciar
D(t) obtenemos que ella satisface:
2
d
2
+ D(t) = (t)
(4.47)
dt2
Lo que nos muestra que D(t) es la funcion de Green para el operador diferencial correspondiente
d2
2
a las ecuaciones de movimiento del oscilador armonico dt
2 + . Este ejemplo nos muestra como
extraer las funciones de Green desde la transicion vaco-vaco del sistema en presencia de alguna
fuente externa, es decir:
0
2
D(t t ) = (i)
W [F ]
(4.48)
F (t) F (t0 )
F =0
Con todas las herramientas desarrolladas en esta peque
na seccion, estamos listos para generalizar
el formalismo de la integral de caminos al caso de Teora de Campos.
4.3.
La Integral de Camino de Feynman en Teora de Campos
En esta seccion generalizaremos el formalismo de la Integral de caminos de Feynman a Teora de

Campos [19], usando la Teora de Campos mas simple: un campo escalar masivo autointeractuante,
el cual es descrito por la accion:
Z
1
1 2 2
4
S = d x m V ()
(4.49)
2
2
28
De tal manera que la amplitud vaco-vaco en presencia de alguna fuente externa J estara dada
por:
Z
R 4 1
2 2
1
h|iJ W [J] = N De{i d x[ 2 2 m V ()+J]}
(4.50)
El integrando en esta integral es oscilatorio y por tanto divergente, pero la tecnica para recobrar
la convergencia en este caso es hacer una continuacion analtica del espacio de Minkowsky al espacio
Euclidiano, la cual se logra por rotar el tiempo x0 = i
x0 , de manera que la medida de integracion
cambia como d4 x = id4 x
y = , donde las variables barradas denotan coordenadas
eucldeas. Haciendo esta continuacion observamos que la integral es ahora convergente y adopta la
forma:
Z
R 4 1
2 2
1

WE [J] = N De{ d x[ 2 + 2 m +V ()J]}
(4.51)
Si fuese posible calcular exactamente el valor de la anterior integral, el problema en consideracion
estara resuelto, y casi cualquier informacion fsicamente importante podra calcularse a traves de
esta cantidad; el problema fundamental radica en que este tipo de integrales no se resuelven de una
manera trivial y a
un mas actualmente todava se dan profundas discusiones acerca de la consistencia
matematica de la definicion de la Integral de Caminos [18,19]. Sin embargo, la anterior integral puede
ser calculada perturbativamente a todos los ordenes (en el caso en que la teora sea renormalizable)
y a
un aunque el analisis es no exacto, desde el se puede extraer toda la informacion que necesitamos
fsicamente.
Como vimos en la seccion anterior, la amplitud vaco-vaco W [J] (o funcional generatriz como es
usualmente llamada en teora de campos) es utilizada para extraer las funciones de Green, las cuales
a su vez corresponden a los coeficientes en la expansion funcional (expansion en serie de Taylor a
nivel funcional) de W [J] (Idea debida a Shwinger [20]), es decir:
W [J] =
X
(i)N
d4 x1 d4 x2 ...d4 xN J(x1 )J(x2 )....J(xN )G(N ) (x1 , x2 , ...xN )
N!
(4.52)
N =0
Donde los coeficientes G(N ) son justamente las funciones de Green de N puntos, dadas por:
G(N ) (x1 , x2 , ...xN ) =
...
W [J]
(i)N J(x1 ) J(x2 ) J(xN )
(4.53)
J=0
Como vemos, este es uno de los abordes perturbativos a la teora, y hemos logrado escribir la
funcional generatriz perturbativamente en terminos de cantidades que contiene valiosa informacion
fsica, como lo veremos, principalmente las funciones de Green escritas en el p-espacio (p son las
coordenadas en el espacio de Fourier de las respectivas transformaciones de Fourier) corresponden
a las amplitudes de transicion. Las funciones de Green pueden ser calculadas igualmente desde la
version euclidianizada de la funcional generatriz, y su relacion con las anteriores estara dada por
la continuacion analtica ya mencionada. Como fue mencionado en la seccion anterior, otra forma
de recobrar la convergencia de la funcional W es a traves de la introduccion de un termino de
amortiguamiento, el cual introduciremos ahora, en analoga con lo hecho para el caso del oscilador
armonico en una dimension, tomando V () = 0:
Z
R 4 1
2
2
1
W0 [J] N De{i d x[ 2 2 (m i) +J]}
(4.54)
En este caso debemos usar la transformada de Fourier en 4 dimensiones definida por:
4.3. LA INTEGRAL DE CAMINO DE FEYNMAN EN TEORIA DE CAMPOS
G(x) =
G(p)
=
d4 p ipx
e G(p)
(2)2
y su inversa:
d4 x ipx
e
G(x)
(2)2
29
(4.55a)
(4.55b)
El exponente es ahora facilmente escrito en terminos de las transformadas de Fouries de J y :

Z
i
2
d4 p[0 (p)[p2 m2 + i]0 (p) J(p)[p

m2 + i]1 J(p)]
(4.56)
2
+ [p2 m2 + i]J(p),
Donde hemos hecho el cambio 0 (p) = (p)

lo que nos conduce a:
W0 [J] = N e
2i
2
|J|
d4 p p2 m2 +i
Z
D0 ei
d4 p( 21 0 0 12 (m2 i))02
(4.57)
Y analogo a lo que encontramos en el caso del oscilador armonico, observamos que el primer
termino del lado derecho corresponde a W0 [0], por tanto:
2i
W0 [J] = W0 [0]e
2
|J|
d4 p p2 m2 +i
(4.58)
Usando ahora la transformada inversa de Fourier, obtenemos finalmente para la funcional generatriz:
W0 [J] = W0 [0]e{ 2
i
d4 xd4 yJ(x)F (xy)J(y)}
(4.59)
Donde se ha definido:
Z
F (x y) =
d4 p eip(xy)
(2)4 p2 m2 + i
(4.60)
Por diferenciacion directa, podemos observar que la funcion anterior satisface la siguiente ecuacion
diferencial:
( + m2 )F (x y) = (4) (x y)
(4.61)
Mostrando de esta manera que F (x y) es la funcion de Green correspondiente a la ecuacion

de movimiento del campo escalar masivo, o ecuacion de Klein-Gordon. Ahora estamos preparados
para interpretar las funciones de Green construidas desde W0 usando (4.53), por ejemplo a dos y
cuatro puntos obtenemos:
(2)
G0 (x1 , x2 ) =
(4)
G0 (x1 , x2 , x3 , x4 )
=
+
iF (x1 x2 )
(4.62a)
[F (x1 x2 )F (x3 x4 ) + F (x1 x3 )F (x2 x4 ) (4.62b)

F (x1 x4 )F (x2 x3 )]
(4.62c)
Observamos entonces que las funciones de Green a un n

umero impar de puntos se anulan, esto
por la dependencia J de W , ademas solo dependen de la diferencia entre las coordenadas, esto debido
a la invariancia rotacional de la teora (mas precisamente, invarianza de Lorentz).
Observamos tambien que las funciones de Green de orden superior son escritas todas en terminos
(2)
de G0 . De nuevo, analogo al oscilador armonico, definimos:
W [J] = eiZ[J]
(4.63)
30
F (x y) puede ser interpretado fsicamente como el propagador de una partcula de masa m

que se crea en el punto x y se propaga al punto y, y por tanto G0 (x y) puede ser interpretado como
la amplitud de probabilidad de que ese proceso ocurra. Feynman invento una manera diagramatica
de representar las funciones de Green en esta forma:
G0 (x, y)
x1
(4.64)
x2
Y para funciones de orden superior se suman cada vez mas funciones de dos puntos al diagrama.
Las reglas para dibujar e interpretar estos diagramas sera vista con mas detalle en la seccion de
renormalizacion en este mismo volumen.
G0 (x1 , x2 , x3 , x4 )
x1
x3
x1
x3
x1
x3
x2
x4
x2
x4
x2
x4
(4.65)
CAPITULO 5
DE LA TEORIA DE
CUANTIZACION
CAMPO Y LA TEORIA ABC
5.1.
La Teora ABC, libre
Esta es una teora que describe la interaccion entre tres partculas escalares reales con masa
diferentes, las cuales rotularemos con los nombres A, B y C respectivamente. El lagrangiano que
describe estos tres campos sin interacci
on entre ellos es:
L(A, B, C) =
1
1
1
1
1
1
A A + B B + C C m2A A m2B B m2C C
2
2
2
2
2
2
1
1
1
(5.1)
( A A + m2A A2 ) + ( B B + m2B B 2 ) + ( C C + m2C C 2 )
2
2
2
Ahora consideremos el metodo desarrollado por Feynman, para cuantizar la teora. Esto es conocido como la formulacion de la integral de camino explicado en el capitulo anterior.
Esta expresion escrita para el caso de la teora A, B, C es
=
Z
DADBDCeiS[ABC]
hf inal|salidai =
(5.2)
Ahora adicionando un termino de fuente, de la forma JA (x)A(x) por cada campo en el L,

obtenemos la funcional generatriz de todas las funciones de Green, W [JA , JB , JC ], dada por:
Z
W0 [JA , JB , JC ] =
DADBDCei
d3 x[L+JA (x)A(x)+JB (x)B(x)+JC (x)C(x)]
(5.3)
Ahora las funciones de Green de la teora pueden ser generadas, para ello se calculara la funcional
generatriz Z[JA , JB , JC ], como una serie perturbativa en , primero partimos del caso sin interaccion:
Z
Z0 [JA , JB , JC ] =
DADBDCei
d3 x[ 12 ( A Am2A A)+( B Bm2B B)+( C Cm2C C)]
31
(5.4)
DE LA TEORIA DE CAMPO Y LA TEORIA ABC

CAPITULO 5. CUANTIZACION
32
Ya que, para el campo A tenemos:

(A A) = A A + A A
(5.5)
Ahora podemos escribir para el campo A

Z
1
1
d3 x [ (A A A A m2A A2 ] =
2
2
Z
d3 x (A A)
1
2
Z
d3 xA( + m2A )A
(5.6)
La primera integral del lado derecho es cero al convertirla en una integral de superficie. De igual
forma se puede para los campos B y C, esto nos lleva a:
Z
Z0 [JA , JB , JC ] =
ei
DADBDC
R
(5.7)
dx [ 21 A( +m2A )A+ 21 B( +m2B )B+ 12 C( +m2C )CJA AJB BJC C]
Como podemos ver, la ecuacion (5.7) es de la forma:

1
n
(2) 2
dy1 dy2 . . . dyn e 2 Y
AY +T Y
= e 2 Tr lnA e 2
A1
(5.8)
Donde es un vector columna y A1 existe porque A es definido positivo. Aplicando la ecuacion

(5.8) a la integral de camino (5.7) tenemos:
1
Z0 [JA , JB , JC ] = e 2 Tr ln(
e
+m2A ) 12 Tr ln( +m2B ) 21 Tr ln( +m2C )
2 1
1
JA
2 JA ( +mA )
2 1
1
JB
2 JB ( +mB )
2 1
1
JC
2 JC ( +mC )
(5.9)
Dado que: ( + m2A ), ( + m2B ) y ( + m2C ) son operadores; estos deben ser tratados
utilizando la transformada de Fourier para calcular la traza, as que, consideremos el caso:
PA (x8 , x) = ( + m2A )(x8 x)
(5.10)
Donde la funcion delta de Dirac es:

Z
8
(x x) =
d4 p ip(x8 x)
e
(2)4
(5.11)
As:
Z
d4 p ip(x8 x)
PA (x x) = ( +
e
(2)4
Z
Z
d4 p ip(x8 x)
d4 p ip(x8 x)
2
e
m
e
=
+
A
(2)4
(2)4
Z
Z
d4 p
d4 p ip(x8 x)
ip(x8 x)
2
=
(ip
)(ip
)e
+
m
e
A
(2)4
(2)4
Z
d4 p ip(x8 x)
e
[p2 + m2A ]
PA (x8 x) =
(2)4
8
m2A )
(5.12)
5.1. LA TEORIA ABC, LIBRE
33
Por tanto el inverso PA1 (x8 x) =Mf (x8 x) es

Mf (x8 x) =
1
(2)4
Z
8
d4 peip(x x)
p2
1
m2A
(5.13)
Como se puede verificar

" Z
PA (x8 , x) Mf (x8 , x) = ( + m2A )
d4 p eip(x x)
(2)4 p2 m2A
d4 p ip ip + m2A ip(x8 x)
e
(2)4
p2 m2A
Z
=
Z
=
d4 p ip(x8 x)
e
(2)4
PA (x8 x) Mf (x8 x) = (x8 x)
(5.14)
De esta manera la funcional generatriz Z[JA , JB , JC ] es:

i
Z0 [JA , JB , JC ] N (e 2 d xd x JA (x )MfA (x x)JA (x)

iR 4 4 8
8
8
e 2 d xd x JC (x )MfC (x x)JC (x)
e2
d4 xd4 x8 JB (x8 )MfB (x8 x)JB (x)
(5.15)
La constate de proporcionalidad en la ecuacion (5.17) se escoge de tal manera que Z0 [JA , JB , JC ] =

1 cuando JA = JB = JC = 0.
Entonces ahora podemos obtener la funcion de dos puntos, por ejemplo para el campo A, la cual
se obtiene derivando funcionalmente respecto a las fuentes, resultando:
Z
2 Z0 [JA , JB , JC ]
|J =J =J =0 =
i d4 x8 JA (x8 ) MfA (x1 x8 )
JA (x1 )JA (x2 ) A B c
JA (x2 )
i
R 4 4 8
R 4 4
R 4 4
i
i
i
e 2 d xd x JA MFA JA e 2 d xd x8JB MFB JB e 2 d xd x8JC MFC JC
Z
= i MfA (x1 x2 )e(JA ) e(JB ) e(JC ) + id4 x8 JA (x8 ) MfA (x1 x8 )
Z
id4 x8 JA (x1 ) MfA (x2 x8 )eJA eJB eJC
(5.16)
Tomando JA = JB = JC = 0
2 Z0 [JA , JB , JC ]
= i MfA (x1 x2 )
JA (x1 )JA (x2 ) JA =JB =Jc =0

De las ecuaciones (2.15) y (2.19) tenemos:
(5.17)
34

i2 h0|T (A(x1 )A(x2 ))|0i
(5.18)
As que i MfA (x1 x2 ) es el propagador de la partcula escalar A y se representa por el diagrama:

p
x1
mA,B,C
x2
De igual forma se procede para obtener los propagadores de los campos B y C.

Ahora se introduce el termino de interaccion LI = ABC, y la funcional generatriz es:
R 3
R 3
R
DADBDCeiS0 +i d xLI +i d x(JA (x)A(x)+JB (x)B+JC (x)C(x))

R
R
Z JA,B,C =
(5.19)
3
DADBDCeiS0 +i d xLI
en la ecuacion (5.19) se puede ver que la constante de proporcionalidad es tal que Z JA,B,C |JA =JB =JC =0 =
1.
Ahora escribimos la funcional Z de la forma:
Z
R 3
R 3
(5.20)
Z JA,B,C N DADBDCeiS0 +i d xLI +i d x(JA (x)A(x)+JB (x)B+JC (x)C(x))
Dado que LI = ABC y la constante de acoplamiento << 1, tenemos
Z
Z
Z
1
Z JA,B,C DADBDC 1 + i d3 x(ABC) + i d3 y(ABC)
2!
Z
R 3
i d3 x(ABC) + eiS0 +i d x(JA (x)A(x)+JB (x)B+JC (x)C(x))
Z
R 3
Z JA,B,C DADBDCeiS0 +i d x(JA (x)A(x)+JB (x)B+JC (x)C(x))

Z
Z
R 3
+i DADBDC d3 x(ABC))eiS0 +i d x(JA (x)A(x)+JB (x)B+JC (x)C(x))
+O(2 )
(5.21)
por otro lado, se tiene:

iAeiS0 +i
d3 x(JA (x)A(x)+JB (x)B+JC (x)C(x))
iS0 +i R d3 x(J (x)A(x)+J (x)B+J (x)C(x))

A
B
C
e
JA
(5.22)
Y expresiones similares para los campos B y C. Esto nos conduce a las siguientes relaciones,
entre los campos y las derivadas funcionales A = i J , B = i J y C = i J , con lo que
A
B
C
podemos expresar el Lagrangiano de interaccion de la siguiente forma:
i
i
= i
,
(5.23)
LI = ABC = i
JA
JB
JC
JA JB JC
35
Es decir, hemos expresado el Lagrangiano de interaccion como una funcion de derivadas funcionales. Reemplazando (5.23) en (5.21), resulta

d3 x i
JA JB JC
R
iS0 +i d3 x(JA (x)A(x)+JB (x)B+JC (x)C(x))
e
+ O(2 ).
Z JA,B,C = Z0 JA,B,C + i
DADBDC
(5.24)
Donde la integral de camino del primer termino del lado derecho de la ecuacion (5.21) fue
realizada, ya que esta integral es cuadratica en los campos ecuacion (5.15), siendo
Z0 JA,B,C
Ne
e
i R d4 xd4 x0 J (x) (xx0 )J (x0 )

2
A
A
A
i R d4 xd4 x0 J (x) (xx0 )J (x0 )

2
C
C
C
i R d4 xd4 x0 J (x) (xx0 )J (x0 )

2
B
B
B
(5.25)
Con A (x x0 ), B (x x0 ) y C (x x0 ) los propagadores de Feyman de los campos A, B y

C respectivamente. En la ecuacion (5.24), podemos observar que es posible sacar de la integral de
camino el termino de interaccion y de esta forma realizar nuevamente la integral de camino sobre
las campos A, B y C, con lo cual llegamos a
Z JA,B,C
=
+
Z0 JA,B,C +
d3 x
3
JA (x)JB (x)JC (x)
Z0 JA,B,C
O(2 ).
(5.26)
Teniendo
Z0 JA,B,C =
JA (x)
dx0 iA (x x0 )JA (x0 )Z0 JA,B,C
(5.27)
La funcional generatriz de todas las funciones de green hasta orden , es:
Z JA,B,C
=
Z JA,B,C
=
3
Z0 JA,B,C + d x
2 JA (x)JB (x)
Z
0
0
0
dx iC (x x )JC (x )Z0 JA,B,C + O(2 )
Z
Z
Z
3
0
0
0
1 + d x dx iC (x x )JC (x ) dx0 iB (x x0 )JB (x0 )
dx0 iA (x x0 )JA (x0 ) Z0 JA,B,C + O(2 )
(5.28)
A partir de (5.28), facilmente podemos obtener las funciones de green a orden , ya que estas se
definen como:
i G
(n)
(n) Z JA,B,C
(x1 , ..., xn ) =
.
JA (x1 )JA (x2 )...JA (xn ) JA,B,C =0
(5.29)
36

La funcion de Green de dos puntos, sera:

2
(2)
i G
(2) Z0 JA,B,C
(x1 , x2 ) =
+ O(J).
JA ,B,C (x1 )JA ,B,C (x2 ) JA,B,C =0

p
mA,B,C
x1
G (2) (x1 , x2 ) =
x2
(5.30)
i
p2 m2
A,B,C
La de tres puntos es
x1
x2
R
(x1 , x2 , x3 ) = d3 xG (2) (x3 , x)G (2) (x2 , x)G (2) (x1 , x)
G (3)
C
B
A
x3
Para observar las correcciones cuanticas que se originan debido a la interaccion, es necesario que
vayamos a terminos de mayor orden en . De esta forma la funcional generatriz Z de todas las
funciones de green hasta orden 4 sera:
Z
Z
Z
i2
i3
1 + i d3 xLI +
d3 xd3 y(LI )2 +
d3 xd3 yd3 z(LI )3
2!
3!
i4
+
d3 xd3 yd3 zd3 t(LI )4 + O(5 ) Z0 JA,B,C
4!
Z JA,B,C
=
(5.31)
Debido a la forma de la interaccion, y ademas al hecho de que la funcional Z0 es posible separarla

en una parte para cada campo, la derivacion de esta funcional no es muy difcil, ver apendice
Z JA,B,C = 1 + O() + O(2 ) + O(3 ) + O(4 ) Z0 JA,B,C ,
(5.32)
Donde el termino a orden es:

Z
O() =
Z
0
0
0
0
0
0
d x i dx A (x x )JA (x )i dx B (x x )JB (x )
Z
0
0
0
i dx C (x x )JC (x ) ,
3
(5.33)
El de orden 2 , es
Z
Z
Z
2
3
3
0
0
0
0
0
0
d xd y iA (x y) + i dx A (x x )JA (x )i dx A (y x )JA (x )
O( ) =
2!
Z
Z
0
0
0
0
0
0
iB (x y) + i dx B (x x )JB (x )i dx B (y x )JB (x )
Z
Z
0
0
0
0
0
0
iC (x y) + i dx C (x x )JC (x )i dx C (y x )JC (x )
(5.34)
2
37
El siguiente orden 3 resulta ser:
Z
Z
i3
O(3 ) =
d3 xd3 yd3 z iA (x y)i dx0 A (z x0 )JA (x0 ) + iA (x z)
3!
Z
Z
i dx0 A (y x0 )JA (x0 ) + iA (y z)i dx0 A (x x0 )JA (x0 )
Z
Z
Z
0
0
0
0
0
0
0
0
0
+i dx A (x x )JA (x )i dx A (y x )JA (x )i dx A (z x )JA (x )
Z
Z
0
0
0
iB (x y)i dx B (z x )JB (x ) + iB (x z)i dx0 B (y x0 )JB (x0 )
Z
Z
+iB (y z)i dx0 B (x x0 )JB (x0 ) + i dx0 B (x x0 )JB (x0 )
Z
Z
Z
i dx0 B (y x0 )JB (x0 )i dx0 B (z x0 )JB (x0 ) iC (x y)i dx0 C (z x0 )JC (x0 )
Z
Z
0
0
0
+iC (x z)i dx C (y x )JC (x ) + iC (y z)i dx0 C (x x0 )JC (x0 )
Z
Z
Z
0
0
0
0
0
0
0
0
0
+i dx C (x x )JC (x )i dx C (y x )JC (x )i dx C (z x )JC (x )
(5.35)
Y por u
ltimo para nuestro interes, tenemos el termino de orden
38

4 , el cual es
Z
Z
4
O(4 ) =
d3 xd3 yd3 zd3 t iA (x y)iA (z t) + iA (x y)i dx0 A (z x0 )JA (x0 )
4!
Z
Z
i dx0 A (t x0 )JA (x0 ) + iA (x z)iA (y t) + iA (x z)i dx0 A (y x0 )JA (x0 )
Z
Z
0
0
0
i dx A (t x )JA (x ) + iA (x t)iA (y z) + iA (y z)i dx0 A (x x0 )JA (x0 )
Z
Z
Z
i dx0 A (t x0 )JA (x0 ) + iA (x t)i dx0 A (y x0 )JA (x0 )i dx0 A (z x0 )JA (x0 )
Z
Z
0
0
0
+iA (y t)i dx A (x x )JA (x )i dx0 A (z x0 )JA (x0 ) + iA (z t)
Z
Z
Z
i dx0 A (x x0 )JA (x0 )i dx0 A (y x0 )JA (x0 ) + i dx0 A (x x0 )JA (x0 )
Z
Z
Z
i dx0 A (y x0 )JA (x0 )i dx0 A (z x0 )JA (x0 )i dx0 A (t x0 )JA (x0 )
Z
iB (x y)iB (z t) + iB (x y)i dx0 B (z x0 )JB (x0 )
Z
Z
0
0
0
i dx B (t x )JB (x ) + iB (x z)iB (y t) + iB (x z)i dx0 B (y x0 )JB (x0 )
Z
Z
i dx0 B (t x0 )JB (x0 ) + iB (x t)iB (y z) + iB (y z)i dx0 B (x x0 )JB (x0 )
Z
Z
Z
0
0
0
0
0
0
i dx B (t x )JB (x ) + iB (x t)i dx B (y x )JB (x )i dx0 B (z x0 )JB (x0 )
Z
Z
+iB (y t)i dx0 B (x x0 )JB (x0 )i dx0 B (z x0 )JB (x0 ) + iB (z t)
Z
Z
Z
i dx0 B (x x0 )JB (x0 )i dx0 B (y x0 )JB (x0 ) + i dx0 B (x x0 )JB (x0 )
Z
Z
Z
0
0
0
0
0
0
0
0
0
i dx B (y x )JB (x )i dx B (z x )JB (x )i dx B (t x )JB (x )
Z
iC (x y)iC (z t) + iC (x y)i dx0 C (z x0 )JC (x0 )
Z
Z
i dx0 C (t x0 )JC (x0 ) + iC (x z)iC (y t) + iC (x z)i dx0 C (y x0 )JC (x0 )
Z
Z
i dx0 C (t x0 )JC (x0 ) + iC (x t)iC (y z) + iC (y z)i dx0 C (x x0 )JC (x0 )
Z
Z
Z
i dx0 C (t x0 )JC (x0 ) + iC (x t)i dx0 C (y x0 )JC (x0 )i dx0 C (z x0 )JC (x0 )
Z
Z
+iC (y t)i dx0 C (x x0 )JC (x0 )i dx0 C (z x0 )JC (x0 ) + iC (z t)
Z
Z
Z
0
0
0
0
0
0
i dx C (x x )JC (x )i dx C (y x )JC (x ) + i dx0 C (x x0 )JC (x0 )
Z
Z
Z
i dx0 C (y x0 )JC (x0 )i dx0 C (z x0 )JC (x0 )i dx0 C (t x0 )JC (x0 ) Z0 JA,B,C .
(5.36)
5.2. REGLAS DE FEYNMAN PARA LA TEORIA ABC
5.2.
39
Reglas de Feynman para la Teora ABC
Podramos seguir calculando orden por orden cada una de las contribuciones a la funcion Z[JA,B,C ]
de particion desde las funciones de Green usando los mismos metodos del calculo que cada vez se
haran mas tediosos, pero Feynman dise
no un metodo grafico para representar estas integrales complicadas al orden que uno lo quiera, las cuales se resumen en las siguientes reglas de Feynman:
Por cada factor
esta.
1
p2j m2j
asocie una linea interna con el momento virtual fluyendo a traves de
p
x1
mA,B,C
x2
Por cada factor i asocie un vertice donde converjan lneas de momentum, teniendoPen cuenta
que el momento fluye a traves de estas lneas de talPmanera que este se conserva ( pn = 0),
es decir, por cada vertice incluya un factor (2)2 ( pj ) que de cuenta de la conservacion del
momentum en cada vertice.
Dibuje todos los posibles diagramas a cada orden que sean topologicamente inequivalentes. El
numero de formas distintas (pero topologicamente equivalentes) en las que un diagrama puede
ser dibujado es el peso topologico del diagrama.
Despues de haber tenido en cuenta conservacion del momento en cada vertice, integre sobre
todos los momentos internos correspondientes adicionando por cada momento interno un factor
R d 4 qj
(2)4 .
Aplicando estas reglas podremos calcular las funciones de Green a diferentes ordenes simplemente
construyendo todos los diagramas posibles a cada orden. Reemplazando en (5.32) las expresiones
(5.33), (5.34), (5.35) y (5.36), se tiene la funcional generatriz de las funciones de Green a orden 4 .
En particular las funciones de Green de dos, tres y cuatro puntos.
Funcion de Green de dos puntos, corregida a orden un loop, se obtiene a partir de la siguiente
funcional generatriz a orden 2
Z[JA,B,C ] =
Z
Z
Z
3
0
0
0
0
0
0
0
0
0
1 + d x i dx A (x x )JA (x )i dx B (x x )JB (x )i dx C (x x )JC (x )
Z
Z
Z
2
3
3
0
0
0
0
0
0
d xd y iA (x y) + i dx A (x x )JA (x )i dx A (y x )JA (x )
+
2!
Z
Z
0
0
0
0
0
0
iB (x y) + i dx B (x x )JB (x )i dx B (y x )JB (x )
Z
Z
0
0
0
0
0
0
iC (x y) + i dx C (x x )JC (x )i dx C (y x )JC (x )
(5.37)
Derivando funcionalmente dos veces respecto a JA , se obtiene:
40

(2)
Z
2
d3 xd3 y [iA (x x1 )iA (y x2 )+
(x1 x2 ) = iA (x1 x2 ) +
2!
iA (x x2 )iA (y x1 )] iB (x y)iC (x y) +
Z
2
d3 xd3 yiA (x y)iB (x y)iC (x y)iA (x1 x2 ) (5.38)
2!
la cual graficamente se representa as:

x1
B
x1
x2
G(2) (x1 x2 ) =
+ 2
x1
A x2
A
y
2!
A
y
x2
Los u
nicos diagramas conectados que corrigen el propagador son
=
El primer grafico es originario del termino Z0 y el segundo es debido al termino proporcional

a 2 , es decir, este u
ltimo es la correccion cuantica al propagador del campo A, el computo
explcito del segundo diagrama lo realizamos mas adelante. Resultados similares son obtenidos
para los campos B y C.
Funcion de Green de tres puntos y su correccion a orden un loop. Primer grafico se debe al
termino proporcional a , mientras que el segundo se obtiene del termino proporcional a 3
B
C B
C B
C
A
C
Funcion de Green de cuatro puntos, o tambien conocida con dispersion de dos partculas en
dos partculas. Tiene la caracterstica que este tipo de proceso no aparece a nivel arbol y la
u
nica forma de generarlo es a traves de correcciones a un loop, como se observa aqu, este tipo
de diagrama de Feyman se obtiene del termino proporcional a 4
A
5.2. REGLAS DE FEYNMAN PARA LA TEORIA ABC
41
A continuacion se realizara de forma completa el analisis del diagrama con un loop en el propagador del campo A, pues este procedimiento es igual para los campos B y C.
q2
I
B
p1
I
A
x1
p2
I
A
x2
= 2
d3 xiA (x1 y)ic (y x)iB (y x)iA (x x2 )
C
J
q1
Utilizando la forma explcita del propagador:

f (x x0 ) =
Z
2
G (x1 x2 ) =
Z
0
d4 peip(xx )
p2
1
m2A
(5.39)
Z
Z
1
1
1
1
4
ip3 (x1 x)
4
ip4 (yx2 )
d xd y
d p3 e
d p4 e
(2)4
p23 m2A
(2)4
p24 m2A
Z
Z
1
1
1
1
4
ip1 (xy)
4
ip2 (xy)
d p1 e
d p2 e
(5.40)
(2)4
p21 m2B
(2)4
p22 m2c
= 2
1
(2)4
d3 xd3 y
Z
dp3
Z
dp4
Z
dp2
dp1 eix(p3 +p1 +p2 ) eiy(p4 p1 p2 ) eip3 x1 eip4 x2
1
(p23 m2A )(p24 m2A )(p22 m2c )
(5.41)
Realizando las integrales sobre p2 y p1 obtenemos:

Z
=
d4 p3 eip(x1 x2 )
(2)4 p2 m2A
d4 k
1
1
2
2
4
2
2
2
(2) (k mB )[(p k) mC ] p m2A
(5.42)
Por tanto, el resultado final es:

Z
=
Z
=
d4 p eip(x1 x2 )
+ 2
(2)4 p2 m2A
d4 p eip(x1 x2 )
(2)4 p2 m2A
d4 k
1
1
2
2
4
2
2
2
(2) (k mB )[(p k) mC ] p m2A
(5.43)
Z
d4 p ip(x1 x2 )
1
d4 k
1
1
1
(5.44)
e
+ 2
(2)4
p2 m2A
p m2A
(2)4 (k 2 m2B )[(p k)2 m2C ] p2 m2A
Z
(i)2
Z
=
q12
i
i
d4 q1 d4 q2
(2)4 4 (p1 q1 q2 )(2)4 4 (q1 + q2 p2 )
2
2
2
(2)4 (2)4
mB q2 mC
1
d4 q1
1
2
2
2
q1 mB ((p1 q1 )2 mC ) (2)4
(5.45)

42
El cual es obviamente equivalente al diagrama de un Loop por construccion. Podemos evidenciar

inmediatamente en este simple diagrama que la integral del lado derecho diverge logaritmicamente
para valores grandes en la variable q1 , lo cual es conocido como una divergencia ultra-violeta, y si
nos dieramos al trabajo de calcular varios otros diagramas correspondientes a funciones de Green de
mas loops y a ordenes mayores que 2 nos encontramos con que el calculo perturbativo se encuentra
plagado de este tipo de divergencias a todos los ordenes. El procedimiento empleado para aliviar
este molesto problema de la teora es conocido como Renormalizacion y es el sujeto de la siguiente
seccion.
5.3.
Renormalizaci
on
Como un primer paso para intentar aliviar las divergencias que aparecen en los diagramas de
Feyman, debemos preocuparnos
nar alguna tecnica que nos permita calcular las integrales
R por dise
que aparecen en ellos del tipo d4 qf (q) donde la funcion f (q) se comporte como q 2 o q 4 para
valores grandes de q. Una de las tecnicas utilizadas para hacer este calculo, se conoce con el nombre
de Regularizacion Dimensional[9,21], y consiste esencialmente en realizar las dichas integrales sobre
un espacio de dimension par mayor a 4 (d = 2 > 4) donde la divergencia ultravioleta desaparezca,
y al final del calculo tomar el limite 2 4 y observar que sucede. Este tipo de integrales es
muy importante para conocer las corrientes cuanticas de la teora, pero en esta seccion nosotros
simplemente nos restringiremos a comentar acerca del resultado y no el procedimiento para llegar
a este, el procedimiento general es descrito en detalle en el Anexo para varios tipos de integrales
divergentes.
En el espritu de regularizacion dimensional, debemos promover las integrales de d4 q a d2 q y
redefinir la accion en terminos del parametro adimensional 0 ()3 , donde el parametro
tiene unidades de masa y es arbitrario. Como ilustracion de la tecnica de regularizacion, queremos
aplicarla inicialmente al caso encontrado en la ultima parte de la seccion anterior, es decir, queremos
calcular la integral:
Z
1
d4 q1
1
(5.46)
2
2
2
2
2
q1 mB ((p1 q1 ) mC ) (2)4
Pero en el Anexo, hemos usado el metodo de regularizacion dimensional para calcular una integral
de este tipo, y desde la ecuacion (7.23) (linea 3) sabemos que:
Z
I=
1
d4 k
1
= i(2 w)
(2)4 (k 2 m21 )[(k p)2 m22 ]
(4)w
dx1 (D)w2
(5.47)
Donde como ya ha sido explicado, hemos promovido la dimension del espacio-tiempo de 4 a 2

y donde la funcion D esta dada por:
D = p2 x2 (p2 m2 )2 x + m21 (1 x) N 2
(5.48)
y la hemos renombrado como N . Definamos ademas por simplicidad 2 = 4 de tal manera

que tomar el limite 2 4 es equivalente a tomar 0. Ademas, debemos igualmente promover
0 1+/2 . Reemplazando todas estas definiciones en (5.47), obtenemos:
I=
2 2+
(/2)
(4)(2/2)
N dx
(5.49)
En el limite 0, podemos tomar la expansion en serie para la funcion , la cual esta dada por:
()
1
+ O()
(5.50)

5.3. RENORMALIZACION
43
Donde = 0, 577216... es la constante de Euler-Marscheroni. De manera tal que:

I=
2 2
(4)2
2
+ O()
N
(4)1/2
dx
(5.51)
Ahora, haciendo la expansion

1
s = e ln s 1 ln s + 2 (ln s)2 ....
2
Para el termino dentro de la integral, obtenemos finalmente:
I=
(4)
ln
0
N2
42
dx +
O()
(4)2
(5.52)
(5.53)
Donde los terminos O() son finitos cuando 0. Lo que podemos observar inmediatamente
desde la ultima expresion, es que con regularizacion dimensional hemos podido aislar la divergencia
de la integral de la parte finita de la misma, y hemos cambiado el problema de la divergencia (por
lo menos a orden 2 ) por un polo simple cuando la dimension del espacio sobre el que integramos
se hace d = 4. Pero para lograr esto hemos tenido que pagar un precio, y es que las contribuciones
finitas al diagrama bajo estudio dependen explcitamente del parametro el cual es arbitrario.
En lo seguido vamos a mostrar el esquema que podemos usar para eliminar los polos que surgen desde
la regularizacion, y de nuevo lo haremos para el caso mas directo que hemos estado considerando
hasta ahora que es el diagrama A A a un loop. La tecnica es relativamente simple en estructura
y consiste en modificar los diagramas de Feyman de tal manera que en esta forma modificada ellos
contin
uen finitos en el limite 0[10]
Hasta ahora hemos encontrado que despues de la regularizacion dimensional el diagrama bajo estudio
tiene la forma:
Siendo F1 = +
por:
R1
0
(4)
2
+ F1
N2
2
(5.54)
N
on finita cuando 0. El contratermino es representado
ln( 4
2 ) una funci
De esta forma el propagador corregido es:

2 2
Z 1
1
1

2
(N 2 )
1
3
G (x1 , x2 ) = 2
+ 2
dxln
+ O( ) 2
p 2
p 2 (4)2
4
p
2
o
2
(5.55)
"
#
2 2
1
1
2
1
1
2 2
1
G (x1 , x2 ) = 2
+ 2
( ) 2
+ 2
R1
2)
2
2
2
2
2
2
(N
2
p
p (4)
p
p (4) ( dxln
p 2
4 )
o
(5.56)
2

44
La manera que este infinito podra ser eliminado si se induce un diagrama adicional al lagrangiano
de la forma.
2 2
1
2
1
= 2
(
)
(5.57)
p 2 (4)2
p2 2
De forma tal que con este nuevo diagrama la funcion de dos puntos es:
1
1
= 2
+ 2
2
p
p 2
=
p2
2 2
(4)2
1
o
N2
dxln(
)
4
p2
1
2
Y
1
1
1
+ 2
i
2
2
p
p2 2
(5.58)
(5.59)
si este procedimiento lo hacemos muchas veces, es decir:
Y
Y
Y
1
1
1
1
1
1
1
+
i
+
+
i
i
p2 2
p2 2
p2 2
p2 2
p2 2
p2 2
p2 2
"
#
2
i
1
i
= 2
1+ 2
+
+ ...
p 2
p 2
p2 2
1
= 2
p 2
1
1
(5.61)
i
p2 2
(5.62)
1
Q
2 i
(5.63)
1
p2 m2f
(5.64)
Y
1
1
1
+
i
2
2
2
2
2
p
p
p 2
(5.65)
p2
=
"
(5.60)
Observe que lo que hemos hecho para deshacernos de la divergencia ultravioleta es sumar al
diagrama de Feynman bajo estudio un termino de masa que nos ha cancelado exactamente la divergencia del diagrama, este termino se consigue si al lagrangiano del sistema le adicionamos un
termino (contratermino) que nos reproduzca los diagramas de Feynman a orden 2 renormalizados,
pero nos daremos cuenta que a ordenes superiores en perturbaciones en seguiran apareciendo mas
divergencias que deberemos ir removiendo de la misma manera como lo hemos hecho hasta ahora,
sumando cada vez mas contraterminos al lagrangiano original que nos reproduzcan diagramas de
Feynman finitos. Lo sorprendente del metodo estudiado en esta seccion, es que ha arbitrariamente
altos ordenes en , solamente contraterminos que tengan la forma de los terminos en el lagrangiano
original son necesarios para renormalizar la teora, es decir, que el lagrangiano renormalizado tendra la misma forma que el lagrangiano original despues de sumar todos los contraterminos [22]. Esto
significa que el lagrangiano finito, estara dado por:
L = Loriginal + Lct
(5.66)
Donde Loriginal es nuestro lagrangiano original y Lct es la parte que da cuenta de los contraterminos:

5.3. RENORMALIZACION
45
1
1
1
Lct (A, B, C) = A1 ( A A+B1 m2A A2 )+A2 ( B B+A2 m2B B 2 )+A3 ( C C+A3 m2C C 2 )CABC
2
2
2
(5.67)
Donde Ai , Bi i = 1, 2, 3 y C contienen todos los posibles contraterminos que se debieron sumar
al lagrangiano en orden de hacer la teora finita. Estas funciones pueden ser absorbidas redefiniendo
los campos y los parametros del lagrangiano original, de tal manera que el lagrangiano total adopte
la forma mas familiar:
1
1
1
( A0 A0 +m2A0 A20 )+ ( B0 B0 +m2B0 B02 )+ ( C0 C0 +m2C0 C02 )0 CA0 B0 C0
2
2
2
(5.68)
Donde los nuevos campos, son llamados campos desnudos, masa desnuda y constante de
acoplamiento desnuda, y se relacionaran a los originales a traves de la forma:
Lrenor (A, B, C) =
A0 = F(Ai , Bi , C)A , B0 = G(Ai , Bi , C)B

m2A0
= I(Ai , Bi , C)mA
0 = M(Ai , Bi , C)
, m2B0
, A0 C0 = H(Ai , Bi , C)C
= J (Ai , Bi , C)mB
, m2C0 = K(Ai , Bi , C)mC
(5.69)
Donde las funciones F, G, H, I, J , K, M son construidas de tal modo que todos los contraterminos
sean absorbidos por los parametros desnudos. Asumamos que nos olvidasemos por un momento del
proceso de sumar contraterminos que hemos hecho para llegar a esta ultima definicion y calcularamos
los diagramas de Feynman con este ultimo lagrangiano, el cual tiene la misma forma que nuestro
lagrangiano original; esto nos conducira a una teora con divergencias como ya lo hemos visto, as que
los parametros desnudos nos conducen a una teora con divergencias, pero escribiendo estos u
ltimos
en terminos de los parametros vestidos A, B, C, MA,B,C y obtendramos una teora finita. Los
infinitos han sido pues absorbidos por renormalizacion dentro de los parametros desnudos. Esto nos
muestra que introduciendo de una manera inteligente los infinitos dentro de los parametros desnudos
nosotros hemos hecho la teora finita, los infinitos han sido absorbidos por renormalizacion.
46

CAPITULO 6
Conclusiones
Se ha hecho una revision en lo posible pedagogica acerca del campo escalar masivo, estudiando
sus aspectos clasicos y se ha abordado la cuantizacion de la teora desde varios frentes, primeramente usando el formalismo canonico el cual presenta algunas caractersticas que pueden aparecer
menos obvias desde otros metodos de cuantizacion. Se ha utilizado tambien el importante metodo
de cuantizacion de la Integral de Caminos de Feynman, la cual se ha introducido desde primeros
principios partiendo desde su origen clasico y se ha hecho un abordamiento a la vez pedagogico e
historico, mostrando las generalidades de la lnea de pensamientos que siguieron la construccion de
esta tecnica y su posterior aplicacion al caso de Teora de Campos.
La importancia de las simetras de la naturaleza en la Teora de Campos se ha observado y
enfatizado en la construccion de las Teoras de Yang y Mills o Teoras de Gauge, mencionando las
caractersticas generales que satisface alguna teora de este tipo y su relevancia en nuestro actual
conocimiento de la naturaleza, precisando ademas, que todas las teoras fsicas que actualmente
conocemos son teoras de Gauge invariantes ante alg
un grupo de simetra particular.
Se aplico la tecnica de la Integral de Caminos al caso de la Teora ABC de tres campos escalares
masivos, haciendo un analisis perturbativo sobre la funcion generatriz hasta cuarto orden en la constante de acoplamiento, lo cual nos permitio calcular las funciones de Green hasta cuarto orden en
la constante de acoplamiento .
Por u
ltimo, se ha hecho una revision de la tecnica de renormalizacion con contra terminos, donde
hemos usado el procedimiento de regularizacion dimensional, donde hemos observado la importante
aparicion de los parametros vestidos y desnudos que nos han permitido hacer una interpretacion
fsica de las divergencias que aparecen en la teora del campo escalar.
47
48
CAPITULO 6. CONCLUSIONES
CAPITULO 7
APENDICE
7.1.
Regularizaci
on Dimensional
La reparametrizacion de Feyman, en el caso en que se tienen dos propagadores, esta dada as

1
( + )
=
a b
()()
dx
0
x1 (1 x)1
+
[ax + b(1 x)]
(7.1)
Por ejemplo, vemos el caso concreto de dos propagadores

1
(h2
m21 )2 [(h
p)2 m22 ]
=
Z
(2 + 1)
(2)(1)
1
dx
[(h2
p2
(x)11 (1 x)21
+ 2hp m22 )x + (h2 m21 )(1 x)]3
+
(3)
=
(2)(1)
Z 1
1x
dx 2
2 x + 2h.px m2 x + h2 h2 x m2 + m2 x]3
[h
x
+
p
o
2
1
1
(3)
=
(2)(1)
Z 1
1x
dx 2
2 x + 2h.px m2 x + h2 h2 x m2 + m2 x]3
[h
x
+
p
o
2
1
1
(3)
=
(2)(1)
Z 1
1x
dx 2
2 2m2 ) (1 x)m2 ]
[h
+
2h.px
+
x(p
o
2
1
o
Definiendo:
49
(7.2)

CAPITULO 7. APENDICE
50
a2 =
n1
X
(p2ni m2ni )(xi xi+1 )
(7.3)
i=0
b2 =
n1
X
pni (xi xi+1 )
(7.4)
i=0
En donde pn = 0
n1
X
(xi xi+1 ) x0 nn = 1
(7.5)
i=0
Generalizando para el caso en que tenemos n propagadores con diferentes potencias, la reparametrizacion
de Feynman es
n
Y
!1
i
a
i
i=1
1
n
1 2
a
a
1
2 . . . an
(1 + 2 + . . . n )
(1 )(2 ) . . . (n )
Qn1
Z 1
Z x1
Z xn2
(xi xi+1 )ni 1
P
dx1
dx2 . . .
dxn1 i=0
0
0
0
(k 2 + 2k b + a2 ) i i
=
(7.6)
con
a2 =
n1
X
(p2ni m2ni )(xi xi+1 )
i=0
b=
n1
X
pni (xi xi+1 )
(7.7)
i=0
Pn
Donde pn = 0, x0 = 1 y xn = 0. Con N = i=1 i 2 la integral (3) diverge, para evitar este
problema haremos la integral en una dimension diferente a 4, es decir 4 2w = 2(2 + ). Para
realizar esta integral tambien es necesario hacer la rotacion de Wick k0 ik2w , por tanto
k 2 = (k0 , ~k) (k0 , ~k) = k02 ~k 2
(7.8)
P2w
2
Como es en 2w dimensiones entonces k 2 = k02 ~k . . . ~k2w1
= i=1 ki2 = k12 k22 . . .
Q2w
2
2
2
k2w1
k2w
= k12 k22 . . . k2w1
+ k02 . por lo tanto: d2w k id2w k = i i=1 dki . Ahora como
estamos en el espacio 2w dimensional y aqu la integral es convergente podemos hacer la siguiente
transformada.
DIMENSIONAL
7.1. REGULARIZACION
51
k k b k 2 + 2k b + a2 = h2 2k b + b2 + 2(k b) b
+ a2 k 2 2k b + b2 + 2k b 2b2 + a2
= k 2 + a2 b2
(7.9)
= h2 D
con D = b2 a2 . Ahora la integral
Z
4
d k Qn
i=1
i
a
i
Pn
Z 1
Z xn1
Z x1
( i i )
dx1
dx2 . . .
dxn1
= Qn
0
0
i=1 (i ) 0
Qn1
Z Q2w
(
i i=1 dki i=1 (xi xi+1 n1 1)
P
P
2w
(2)2w
( i=1 ki2 D) i i
Pn
Z 1
Z x1
Z xn2
( i i )
Q
= n
dx1
dx2 . . .
dxn1
0
0
i=1 (i ) 0
"
#
Q2w
Z Y
2w
(
(x
xi
+
1)
1)
i
dki
i
ni
i=0
P
P
P2w
2w
(2)
() i i
( i=1 ki2 + D) i i
i=1
Pn
Z 1
Z x1
Z xn2
(7.10)
( i i )
= Qn
dx1
dx2 . . .
dxn1
0
0
i=1 (i ) 0
"
#
Q2w
Z Y
2w
(
(x
xi
+
1)
1)
dki
i
i
ni
i=0
P
P
P2w
2w
(2)
() i i
( i=1 ki2 + D) i i
i=1
Pn
Z 1
Z x1
Z xn2
2w
Y
i )
(
= Qn i
dx1
dx2 . . .
dxn1
(xi xi + 1)( ni 1)
(
)
i
0
0
0
i=1
i=0
#
"
P
Q2w
Z
dki
i() i i
P
P2w i=1
2w
2
(2)
( i=1 ki + D) i i
P2w
2
=D
Ahora utilizamos la notacion i2 = j=i+1 kj2 + D para i = 1, 2, . . . , 2w 1 y 2w
Entonces de esta forma tenemos
Pn
Z
Z
Z xn1 n1
Y
( i=1 i ) 1
1
4
Q
Q
d k n
dx1 . . .
(xi xi + 1)(ni 1)
n
i =
0
i=1 ai
i=1 (i ) 0
i=0
#
"
Z
Z
i()Pi i
dk1
dk2w dk2w1 . . . dk2
P
P2w 2
2
i
(2)2w
(k1 +
j=1 kj + D)
Pn
Z 1
Z xn1 n1
Y
i )
(
dx1 . . .
= Qn i=1
(xi xi + 1)(ni 1)
0
i=1 (i ) 0
i=0
"
#
Z
Z
i()Pi i
dk1
P
P2w 2
2
2
i
(2)2w
(k1 +
j=1 kj + 1 )
(7.11)
Pero
Z
dk1
P
(k12 + 12 ) i
(7.12)

52
con k1 = 1 tan 1 y dk1 = sec2 1 d1

Z
=2
0
dk1
P
=2
2
(k1 + 12 ) i
Z
Z
=2
Z
12
12
1
12
12
d k Qn
i=1
dk2w . . . dk3
2
(k2
Z
i
(tg2 1 + 1)
1
d1
sec2 1
P
d1
sec2 i 1
(sec 1 )22
(cos 1 )2
(cos 1 )2
(7.13)
d1
i 2
d1
i 2
P
2( i 21 )( 21 ) 2 1 P i
dk1
i
P
P
(1 ) 2
=
2( i i )
(k1 + 12 ) i i
P
( i 12 )( 21 ) 2 1 P i
i
P
(1 ) 2
=
( i i )
= 21
=2
=2
Z
1 sec2 1
=2
Z
1 sec2 1 d1
P
(12 tg2 1 + 12 ) i
i
a
i
dk2
+ 22 )
P
i
i 12
(7.14)
Pn
Z
Z xn2
( i=1 i )
Q
= n
dx1 . . .
dxn1
0
i=1 (1 ) 0
P
n1
i Z
Y
(ni 1) i()
(xi xi+1 )
[
(2)2w
i=0
P
Z
dk2 ( i 12 )( 12 )
P
]
P
i 21
2
(
i i )(1 )
Pn
Z
Z xn2
i )
(
= Qn i=1
dx1 . . .
dxn1
0
i=1 (1 ) 0
P
P
n1
i (
Y
i 12 )( 12 ) X
(ni 1) i()
(
i )
(xi xi+1 )
[
(2)2w
i=0
]
(7.15)
Donde:
12 =
2w
X
kj2 + D = k22 +
j=2
Procediendo de igual forma al calculo anterior
2w
X
j=3
kj2 + D = k22 + 22
(7.16)
DIMENSIONAL
7.1. REGULARIZACION
53
P
Pn
P
Z
Z xn2
n1
Y
i i
( i=1 i )
( i w) w
(ni 1) i()
P
P
= Qn
dx1 . . .
dxn1
(xi xi+1 )
2 )w i
(2)2w ( i )(2w
0
i=1 (1 ) 0
i=0
(7.17)
2
Como 2w
=
P2w
j=2w+1
kj2 + D = D Entonces
P
Pn
P
Z xn2
Z
n1
Y
(
i )
i() i i ( i w) w
P
P
dxn1
(xi xi+1 )(ni 1)
= Qn i=1
dx1 . . .
2 )w i
(2)2w ( i )(2w
0
i=1 (1 ) 0
i=0
(7.18)
Z
4
d k Qn
i=1
i
a
i
Pn
Z
Z xn2
( i=1 i )
Q
= n
dx1 . . .
dxn1
0
i=1 (1 ) 0
n1
Y
(ni 1)
(xi xi+1 )
2 w
(b a )
P
i
(7.19)
i=0
Tomando w = 2 + pues d 4 2w
Tenemos () lm
12 E
0
Por tanto:
X = 1 + ln X + 2
De esta forma tenemos; recuerde N =
Z
Pn
i=1
ln2 X
+ O(3 )
2!
i , veamos para N = 1 =
(7.20)
Pn
i=1
i 1 = 1
i
d4 k 1
=
()(1 + 0(2 ))[1 ln + 0(2 )]
16 4 k 2 m21
16 2
Z 1
dx(m21 )(1 + ln m21 + 0(2 ))
0
=
=
=
=
=
Z
Para N = 2
im21
1
( )(1 + . . . )(1 + ln m21 + . . . )(1)
2
16
im21
1
( + 1 )(1 + ln m21 ln 4 + 0(2 ))
16 2
1
i
m2 ( ln 4 + 1 )
16 2 1
i
1
m2 ( + ln 4 ln m21 + 1)
16 2 1
2
^
i
2
m
(ln
ln m21 + 1)
1
16 2
V2
1
i
d4 k
2
m
(1
+
ln
=
)
(2)4 k 2 m21
16 2 1
m21
(7.21)
(7.22)

54
d4 k
1
i()2 (2 w) w
=
2
2
4
2
2
(2) (k m1 )[(k p) m2 ]
(1)(1)(2)2w
Z 1
Z x1
dx1
dx2 (x0 x1)11 (x1 x2 )11 (b2 a2 )w2
0
i(2 w) w
=
(2)2w
Z
0
1
= i(2 w)
(4)w
dx1 (b2 a2 )w2
dx1 (D)w2
1
1
= i( )
[(4) ]
16 2
=
=
=
=
=
=
dx1 D2+2
Z 1
i
1
dx1 (1 + ln D)
(
)[1
ln
4]
16 2
0
Z 1
i
1
(
+
ln
4
)
dx1 (1 + ln D)
16 2
0
Z 1
i
1
dx1 ( ln D + ln 4 )
16 2 0
Z 1
i
dx1 (ln 2 ln D)
16 2 0
Z 1
2
i
dx
ln
1
16 2 0
D
Z 1
i
2
)
dx
ln(
1
16 2 0
p2 x21 (p2 m22 )x1 + m21 (1 x1 )
d4 k
1
i
=
2
2
4
2
2
(2) (k m1 )[(k p) m2 ]
16 2
dx1 ln(
0
(7.23)
2
) (7.24)
p2 x1 (x1 1) + m22 x1 + m21 (1 x1 )
Se obtienen los valores de las integrales de forma sencilla. Las que tienen momentos en el numerador se obtienen mediante la diferenciacion respecto a b.
Z
4
d k Qn
i=1
i
a
i
Pn
Z
Z xn1 n1
Y
( i=1 i ) 1
= Qn
dx1 . . .
(xi xi + 1)(ni 1)
0
i=1 (i ) 0
i=0
Z
d4 k
1
P
(2)4 [k 2 + 2k b + a2 ] i
(7.25)
Pero tenemos que: 4 2w

Z
Entonces
P
P
i( i i w) w wP i
1
d2w k
P
P
D
() i
=
2w
2w
2
2
(2) [k + 2k b + a ] i
( i i )(2)
(7.26)
DIMENSIONAL
7.1. REGULARIZACION
d2w k
1
P
=
(2)2w [k 2 + 2k b + a2 ] i
55
d2w k
(2)2w
i (k 2 + 2k b + a2 ) i 1 2k
P
[k 2 + 2k b + a2 ]2 i
P
Z
2 i i k
d2w k
P
P
=
(2)2w (k 2 + 2k b + a2 )2 i i +1
P
Z
2 i i k
d2w k
P
=
(2)2w (k 2 + 2k b + a2 ) i i +1
(7.27)
y
i(N w) w 2
i(i(N w) w )
(
(b a2 )wN ()N ) =
()N (w N )
2w
b (N )(2)
(N )(2)2w
(b2 a2 )wN 1 2b
w (N w)
= i()
(w N )
(N )(2)2w
(7.28)
DwN 1 2b
Z
w
d2w k
2N k
N (N w)
=
i()
(w N )
(2)2w (k 2 + 2k b + a2 )N +1
(N )(2)2w
DwN 1
2b
D
Z
2N
d2w k
k
w (N w)
= i()N
(w N )
2w
2
2
N
+1
(2) (k + 2k b + a )
(N )(2)2w
DwN 1
2b
D
w
k
i
d2w k
N (N w)
=
()
(w N )
(2)2w (k 2 + 2k b + a2 )N +1
2N
(N )(2)2w
DwN 1
2b
D
w (N w) w N wN 1
= i()N +1
(
)(b )D
(2)2w (N )
N
(7.29)
(7.30)
(7.31)
La formula de recurrencia
(n + 1) = n(n) (n) =
(n + 1)
n
(7.32)

56
(N w + 1)
N w
w (N w + 1) w N
(
)(b )DwN 1
= i()N +1
(2)2w (N w)(N )
N
w (N + 1 w)
= i()N +1
(b )DwN 1
(2)2w
N (N )
(n 1) =
d2w k
w (N + 1 w)
k
= i()N +1
(b )DwN 1
2w
2
2
N
+1
(2) (k + 2k b + a )
(2)2w
N (N )
w (N w)
k
d2w k
= i()N
(b )DwN
2w
2
2
N
(2) (k + 2k b + a )
(2)2w (N )
(7.33)
(7.34)
(7.35)
De esta forma tenemos:

Z
Pn
Z
Z x1
( i=1 i ) 1
d4 k
k
Q
Q
=
dx
dx2 . . .
1
n
i
(2)4 ni=1 a
0
i
i=1 (i ) 0
Z xn1
Z
n1
Y
dxn2
(xi xi+1 )(ni 1)
0
i=0
d4 k
k
P
(2)4 [k 2 + 2k b + a2 ] i
Pn
Z
Z x1
Z xn1
i ) 1
(
= Qn i=1
dx1
dx2 . . .
dxn2
0
0
i=1 (i ) 0
P
n1
Y
P
P
w ( i i w)
(ni 1)
i
P
(b )Dw i i
(xi xi+1 )
i()
2w
(2)
( i i )
i=0
(7.36)
Donde:
w
1
1
1
= 2w 2w w = w w =
(2)2w
2
4
(4)w
k
d4 k
i() i i
Qn
i = Qn
4
(2)
i=1 ai
i=1 (i )
n1
Y
i=0
Ejemplo: N = 2 =
Pn
i=1
dx1
0
(xi xi+1 )(ni 1)
x1
dx2 . . .
0
xn2
dxn1
0
X
P
1
(
i w)(b )Dw i i
w
(4)
i
i n = 2 ; 1 = 2 = 1
(7.37)
(7.38)
DIMENSIONAL
7.1. REGULARIZACION
57
d4 k
k
i()2
=
(2)4 (h2 m21 )[(k p)2 m22 ]
(1)1
dx1
0
1
Y
(xi xi+1 )(x2i 1)
i=0
1
(2 w)(b )Dw2
(4)w
Z 1
=i
dx1 (x0 x1 )21 (x1 x2 )11
0
1
(2 w)(b )Dw2
(4)w
Z 1
(2 w)
=i
dx1
(b )Dw2
(4)w
0
Z 1
(2 w)
=i
dx1
(b )D
2 (4)
(4)
0
Z 1
i
=
dx1 b [()(1 + 0(2 ))(1 2 )]
16 2 0
[1 ln 4][1 + ln D]
Z 1
i
dx1 b
=
16 2 0
1
[( )(1 )(1 )][1 ln 4
pi + ln D]
Z 1
i
1
=
dx1 b [ ][1 ln 4 + ln D]
162 0
Z 1
1
i
dx1 b [ + ln 4 ln D ]
=
16 2 0
(7.39)
Como: ln 2 = 1 + ln 4
Z
d4 k
k
i
=
2
4
2
(2) (h m1 )[(k p)2 m22 ]
16 2
dx1 b ln
2
D
(7.40)
Para terminar veamos la integral con dos momentos en el numerador:
k
d2w k
=
(2)2w (k 2 + 2k b + a2 )N
d2w k k N (k 2 + 2k b + a2 )N 1 2k
(2)2w
(k 2 + 2k b + a2 )2N
Z
2w
k k
d k
= 2N
(2)2w (k 2 + 2k b + a2 )2N N +1
Z
k k
d2w k
= 2N
(2)2w (k 2 + 2k b + a2 )N +1
(7.41)

58
w
(N w)
w (N w)
wN
N
[i()N
(b
)D
]
=
i()
b
(2)w (N )
(2)w (N )
b wN
2
[
D
b
(b a2 )wN ]
b
b
w (N w)
= i()N
(2)2w (N )
[g DwN b (w N )dwN 1 2b ]
(7.42)
w (N w) wN
D
= i()N
(2)2w (N )
[g (w N )D1 2b b ]
w
1
= i()N
DwN
2w
(2)
(N )
[g (N w) (w N )(N w)D1 2b b ]
(N w) =
Z
2N
(N w + 1)
N w
d2w k
k k
w
1
N
=
i()
DwN
(2)2w (k 2 + 2k b + a2 )N +1
(2)2w
(N )
(7.43)
(7.44)
[g (N w) (w N )(N w)D1 2b b ]
d2w k
k k
w
DwN
N
=
i()
(2)2w (k 2 + 2k b + a2 )N +1
(2)2w 2N (N )
[g (N w) (w N )(N w)D1 2b b ]
w DwN
(2)2w
g (N w) (w N ) (N w)
[
2b b ]
2N (N )
2N (N )
D1
w DwN
= i()N +1
(2)2w
g (N w) (w N )(N w)
[
b b ]
2(N + 1)
(N + 1)D
= i()N +1
(7.45)
DIMENSIONAL
7.1. REGULARIZACION
59
k k
w
d2w k
= i()N
DwN +1
2w
2
2
N
(2) (k + 2k b + a )
(2)2w
(N 1 w) (w N + 1) (N 1 w)
[g
b b ]
2(N )
(N )
D
w
= i()N
DwN
(2)2w
D (N 1 w) (w N + 1)
(N 1 w)b b ]
[g
2
(N )
(N )
w
= i()N
DwN
(2)2w
D (N 1 w) (w N + 1) (N w)
b b ]
[g
2
(N )
(N )
(N 1 w)
Z
d2w k
k k
=
2w
2
(2) (k + 2k b + a2 )N +1
w DwN
Dg
= i()N
[(N w)b b (n w 1)
]
2w
(2)
(N )
2
(7.46)
(7.47)
Por tanto:
Z
Pn
Z
Z x1
( i=1 i ) 1
d4 k
k k
Q
Q
= n
dx1
dx2 . . .
i
(2)4 ni=1 a
0
i
i=1 (i ) 0
Z xn1
Z
n1
Y
(ni 1)
dxn2
(xi xi+1 )
0
i=0
Pn
i )
(
i)
i=1
(
= Qn
n1
Y
i=0
[(
i=1
dx1
0
(ni 1)
xn2
dx2 . . .
(xi xi+1 )
x1
i()
(7.48)
dxn1
0
k k
d4 k
P
(2)4 [k 2 + 2k b + a2 ] i
w Dw i
P
(2)2w ( i i )
X
Dg
i w)b b (
i w 1)
]
2
P
Z x1
Z 1
d4 k
k k
i() i i
Q
dx1
dx2 . . .
= Qn
i
(2)4 ni=1 a
0
i
i=1 (i ) 0
Z xn2
n1
Y
dxn1
(xi xi+1 )(ni 1)
0
[(
i=0
i w)b b (
Ejemplo, cuando N = 2, n = 2 y N =
Pn
i=1
i =
P2
i=1
P
1
w i i
D
(4)w
i w 1)
Dg
]
2
= 2, donde 1 = 2 = 1
(7.49)

60
Z 1
d2w k
k k
i()2
=
dx1 (x0 x1 )2 1 (x1 x2 )1 1
(2)2w (k 2 m21 )[(k p)2 m22 ]
(1)(1) 0
1
Dg
Dw2 [(2 w)b b (2 w 1)
]
w
(4)
2
Z 1
1
Dg
2+2

=i
dx1
D
[(2
w)b
b
(1
w)
]
(4)2+
2
0
(7.50)
(2 w) = (1 w)[()(1 + 0(2 ))]

1
= (1 2 )[( )](1 )
1
= (1 + )(1 )[( )]
1
= (1)( )
(7.51)
1
(2 w) = () = (2 w)
(7.52)
(1 w) = ()(1 + 0(2 ))
(7.53)
1
(1 w) = ( )(1 )
1
= ( + 1 + )
(7.54)
Z 1
1
k k
d2w k
=
i
dx1
(1 ln 4)(1 + ln D)
2
(2)2w (k 2 m21 )[(k p)2 m22 ]
16
0
1
1
Dg
[( )b b + ( + 1)
]
2
Z 1
i
=
dx1 (1 ln 4 + ln D + 0(2 ))
16 2 0
1
Dg
1
]
[( )b b + ( + 1)
2
Z 1
1
i
dx1 [( + ln 4 ln D + 0())
=
2
16 0
1
Dg
b b + ( + 1 + ln 4 ln D + 0())
]
(7.55)
2
2 Dg
dx1 (ln
)b b + (1 + ln
)
D
D
2
(7.56)
k k
d2w k
i
=
(2)2w (k 2 m21 )[(k p)2 m22 ]
16 2
1
0
DIMENSIONAL
7.1. REGULARIZACION
61
Por u
ltimo
Pveamos para N=3
N = 3 = i i = 1 + 2 3 ; 1 + 2 3 = 1
Z
d2w k
k k
=
2
2w
2
2
(2) (k m1 )[(k p) m22 ][(k q)2 m32 ]
Z 1
Z x1
i()3
dx1
dx2 (x0 x1 )3 1 (x1 x2 )2 1 (x2 x3 )1 1
(1)(1)(1) 0
0
1
Dg
w3

(3 w)b b (3 w 1)
D
(4)w
2
(7.58)
1
1
Dg
1

dx2
D
(3 w)b b (2 w)
(4)2 (4)2
2
(7.59)
= i
x1
dx1
0
(2 w) =
i
=
16 2
i
16 2
x1
dx1
0
(3 w)
(3 w) = (2 w)(2 w)
2w
= (2 2 )()
1
= ( )
= 1 +
= (3 w)
(7.60)
b b
1
g
dx2 (1 ln 4)(1 + ln D)
(1 + ) ( )
D
x1
dx1
dx2 (1 ln 4 + ln D)
0
i
=
16 2
Z
(7.57)
dx1
0
x1
dx2
0
b b
1
g
(1 + ) ( )
D
1
g
b b
( + ln 4 ln D)
D
(7.61)
(7.62)
Z 1
Z x1
i
d4 k
k k
=
dx
dx2
1
(2)2 (k 2 m21 )[(k p)2 m22 ][(k q)2 m32 ]
16 2 0
0

b b
2 g
ln
D
D 2
(7.63)
(7.64)
Ahora, con tres momentos
k k
d2w k
=
(2)2w (k 2 + 2k b + a2 )N
d2w k k k N (k 2 + 2k b + a2 )N 1 2k
(2)2w
(k 2 + 2k b + a2 )2N
Z
2w
k k kx
d k
= 2N
(2)2w (k 2 + 2k b + a2 )N +1
(7.65)

62
La otra forma
w DwN
Dg
N
i()
(N
w)b
b
(N
1)
b
(2)2w (N )
2
(7.66)
(b2 a2 )wN +1 Dg
2 2 wN
= i()
(N w)(b a )
b b (N w 1)
(2)2w (N ) b
2
N
b
b 2
b (b a2 )wN +
b (b2 a2 )wN + b
b
Dg
(w N + 1)(b2 a2 )wN 2b ]
b b (w N )(b2 a2 )wn1 2b } (N w 1)
2
= i()N
= i()N
(2)2w (N )
(7.67)
[(N w){
h
w
(N w){g b DwN + g b DwN
(2)2w (N )
+ 2b b b /(w N )DwN 1 }b g (N w 1)(w N + 1)DwN
Z
d2w k
k k K
w
2N
= i()N
2w
2
2
N
+1
2w
(2) (k + 2k b + a )
(2) (N )
h
wN
wN
(N w){g b D
+ g b D
+ 2b b b (w N )DwN 1 }
i
b g (N w 1)(w N + 1)DwN
(7.68)
i
(7.69)
(7.70)
d2w k
k k K
w
N +1
=
i()
DwN
(2)2w (k 2 + 2k b + a2 )N +1
(2)2w 2N (N )
h
n
o
i
(N w) g b + g b + 2b b b (w N )D1 b g (N w 1)(w N + 1)
o
w (N w) n
[
g b + g b
2w
(2)
2N (N )
(N W )
(N w 1)
+
b b b (w N )D1
(w N + 1)b g ]
N (N )
2N (N )
(7.71)
= i()N +1
(N ) =
(7.72)
(N +1)
N
w
d2w k
k k K
N +1
=
i()
DwN
(2)2w (k 2 + 2k b + a2 )N +1
(2)2w
h (N w) n
o
g b + g b
2N (N )
(N w)(w N )
b b b
+
(N + 1)D
i
(N w 1)
(w N + 1)b g
2(N )
(7.73)
DIMENSIONAL
7.1. REGULARIZACION
63
d2w k
k k K
w
N
=
i()
DwN +1
(2)2w (k 2 + 2k b + a2 )N
(2)2w
h (N 1 w) n
o
g b + g b
2(N )
(N w)(w N )
+
b b b
(N + 1)D
i
(N w 1)
(w N + 1)b g
2(N )
w
= i()N
DwN +1
(2)2w
h (N w 1) n
o
g b + g b
2(N )
(N w 1)(w N + 1)
+
b b b
(N )D
i
(N w 2)
(w N + 2)b g
2(N )
(N w)
N w1
(7.75)
(N w 1
N w2
(7.76)
(N w 1) =
(N w 2) =
(7.74)
h
n
o (N w)[(N w 1)]
w
wN +1 (N w 1)
D
g
b
+
g
b
+
(2)2w
2(N )
(N w 1)D(N )
i
(N w 1)
b b b
[(N w 2)]b g
(N w 2)2(N )
= i()w
d2w k
k k K
w DwN
= i()N
2w
2
2
N
(2) (k + 2k b + a )
(2)2w (N )
h
i
D
(g b + g b + g b ) (N w 1) b b b (N w)
2
(7.77)
(7.78)
En general la expresion es:

Z
Pn
Z
Z x1
( i=1 i ) 1
d4 k k k k
Q
Q
dx
dx2 . . .
=
1
n
n
i
(2)4 i=1 a
0
i
i=1 (i ) 0
Z
Z xn2
n1
Y
(ni 1)
dxn1
(xi xi+1 )
0
i=0
d2w k
k k k
P
(2)2w [k 2 + 2k b + a2 ] i i
(7.79)

64
P
Z 1
Z x1
d4 k k k k
( i )
Q
Q
=
dx
dx2 . . .
1
n
(2)4 ni=1 aii
0
i=1 (i ) 0
P
P
Z xn2
n1
i w w i
Y
D
(ni 1) i()
P
dxn1
(xi xi+1 )
(2)2w ( i )
0
i=0
P
h
i
X
D( i w 1)
(g b + g b g b )
b bb(
i w)
2
(7.80)
Z 1
Z x1
d4 k k k k
1
Q
Q
=
dx
dx2 . . .
1
n
(2)4 ni=1 aii
0
i=1 (i ) 0
P
P
Z xn2
n1
i w w i
Y
D
(ni 1) i()
dxn1
(xi xi+1 )
(2)2w
0
i=0
P
h
i
X
D( i w 1)
(g b + g b g b )
b bb(
i w)
2
(7.81)
Ejemplo:
N = 2 , n = 2 xn1 = x21 = x1 1 = 1 ,2 = 1
Z
Z 1
i()2
d4 k
k k k
=
dx1 (x0 x1 )2 1 (x1 x2 )1 1
(2)4 (k 2 m21 )[(k p)2 m22 ]
(1)(1) 0
h
D(1 w)
1
w2
D
(g b + g b g b )
w
(4)
2
i
b bb(2 w)
(7.82)
w = 2 + ;(1 w) = ( 1 + 1 );() = (2 w) = 1
Z
=i
dx
0
h
1
D 1
2+2
D
(g b + g b g b ) ( + 1 )
(4)2+
2
i
1
b b b ( )
k k k
d4 k
=
2
4
2
(2) (k m1 )[(k p)2 m22 ]
Z 1
h D
n
n 2 oi
2 o
i
dx1
(g b + g b g b ) 1 +
b b b ln ( )
2
16 0
2
D
D
N = 3 ; n = 3 , 1 = 2 = 3 = 1 xn1 = x31 = x2 .
(7.83)
(7.84)
DIMENSIONAL
7.1. REGULARIZACION
65
d4 k
k k k
=
2
(2)4 (k 2 m1 )[(k p)2 m22 ]
Z
Z
x1
i()3 w 1
=
dx
dx2 (x0 x1 )3 1 (x1 x2 )2 1
1
(2)2w 0
0
h
i
D(3 w 1)
(x1 x2 )3 1 Dw3 (g b + g b g b )
b b b (3 w)
2
Z 1
Z x1
i
dx1
dx2 D1
=
16 2 (4) 0
0
i
h
D(2 w)
b b b (3 w)
(g b + g b g b )
2
Z
Z
i
=
(1 ln 4) dx1 dx2 (1 + ln D)
16 2
h
i
1 1
(2 w) 1
(g b + g b g b ) ( ) b b b
( )
2
D
Z
Z
i
=
dx1 dx2 (1 ln 4 + ln D)
16 2
i
h
1 1
b b b
1
(g b + g b g b ) ( )
()( )
2
D
Z
Z
h1
i
=
dx1 dx2 (g b + g b g b )
16 2
2
n 1
o 1 1
1i
+ ln 4 ln D ( )b b b
2
D
(7.85)
d4 k
k k k
=
(2)4 (k 2 m21 )[(k p)2 m22 ]
Z 1
Z x1
i
= w (2)2w
dx1
dx2 (x0 x1 )3 1 (x1 x2 )2 1
0
0
h
i
D(3 w 1)
(x1 x2 )3 1 Dw3 (g b + g b g b )
b b b (3 w)
2
Z 1
Z x1
i
1
=
dx1
dx2 D
16 2 (4) 0
0
h
i
D(2 w)
(g b + g b g b )
b b b (3 w)
2
Z
Z
i
=
(1 ln 4) dx1 dx2 (1 + ln D)
16 2
h
i
1 1
(2 w) 1
(g b + g b g b ) ( ) b b b
( )
2
D
Z
Z
i
dx1 dx2 (1 ln 4 + ln D)
=
16 2
h
i
1 1
b b b
1
(g b + g b g b ) ( )
()( )
2
D
Z
Z
h1
i
=
dx1 dx2 (g b + g b g b )
16 2
2
n 1
o 1 1
1i
+ ln 4 ln D ( )b b b
2
D
(7.86)
66
BIBLIOGRAFIA
[1] C. Quigg, Gauge Theories of Strong, Weak, and Electromagnetc Interactions, 1983
[2] C. Cohen-Tannoudji, B.Diu, F. Laloe. Quantum Mechanics(John Wiley and Sons 1977)
[3] L.D. Landau, E.M. Lifshitz. Teora Clasica de Campos(Editorial Reverte)
[4] L.D. Landau, E.M. Lifshitz. Mecanica(Editorial Reverte 1965)
[5] Pierre Ramon. Field Theory (Addison Wesley 1990)
[6] M. E. Peskin, D.V. Schroeder An Introduction to Quantum Field Theory (Perseus Books
1995)
[7] J. Schwinger Selected Papers on Quantum Electrodynamics (Dover 1958)
[8] E.S. Abers and Lee, Gauge TheoriesPhys. Rep 9C, 1- 141
[9] t Hooft. Veltman, Nucl. Phys. 44B, 189 (1972)
[10] J.C. Collin, Phys. Rev. D10, 1213-1218 (1974)
[11] M.E. Roberto, Teora Cuantica de Campos, Universidad Nacional de Colombia, (2002)
[12] P.A.M Dirac, Phys. Zeit. der Sowjetunion, Band 3, Heft 1 (1933)
[13] I.J.R. Aitchison and A.J.G. Hey, Gauge Theories in Particles Physics : A Practical Introduction,
1990
[14] C.N. Yang and R. Mills, Phys. Rev. 96, 191 (1954)
[15] H. Georgi and L. Glashow, Phys. Rev. Lett, 28, 1494 (1972)
[16] S. Weinberg, Phys. Rev. Lett. 19 (1967) 1264
[17] A. Salam, Elementary Particle Theory, ed. N. Svartholm (Almquist and Forlag, Stockholm,
1968)
[18] R.P. Feynman, Rev. Mod. Phys. 20 (1948)267
67
68
BIBLIOGRAFIA
[19] R.P. Feynman, A.R. Hibbs, Quantum Mechanics and Path Integrals (McGraw-Hill, New York,
1965)
[20] J. Schwinger, Proc. Nat. Acad. Sci. 37 (1951) 452
[21] C.G. Bollini and J.J. Giambiagi, Nuovo Cimento 12B, 20-26 (1972)
[22] W. Zimmerman, Lectures on Elementary Particles and Quantum Field Theory. Eds. S.Deser,
M.Grisaru, H.Pendlenton (MIT Press, 1970)

Tesis Teoria Campos

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Tesis Teoria Campos

Transféré par

Droits d'auteur :

Formats disponibles

EN

UNIVERSIDAD NACIONAL DE COLOMBIA

INTEGRAL DE CAMINOS DE FEYNMAN

Propagador de una particula de masa m . . . . . . . . . . . . . . . . . . . . . . . . .

EN TEORIA DE CAMtitulo en espa

estudiadas y eventos del tipo:

Siendo n el numero total de puntos materiales de la red y a, b o c indicando la posicion de

Donde es el operador DAlembertiano en el espacio de Minkowski, el cual es evidentemente

As, introduciendo el lagrangiano (ec,2,8), conseguimos lo siguiente:

[qa (t), qb (t)] = [pa (t), pb (t)] = 0

Donde pa representa el momento conjugado correspondiente a la variable qa y se hace explcita

Que al compararla con la ecuacion:

Donde ahora los operadores a

un oscilador armonico (por tanto la analoga aqu es x

La generalizacion de las relaciones de conmutacion para los operadores a

CAPITULO 2. TEORIA CUANTICA

Donde L es la densidad lagrangiana. En la funcional accion esta contenida toda la informacion

CAPITULO 3. TEORIA GAUGE

Partculas de spin 0: Campos escalares (x)

Partculas de spin 1: Campos vectoriales AB

Partculas de spin 12 : Campos spinoriales (x)

El principio Gauge en teoras de Yang-Mills (no abelianas)

Consideremos acciones de materia invariante globales ante el grupo de simetra SU (N ).

3.3. EL PRINCIPIO GAUGE EN TEORIAS DE YANG-MILLS (NO ABELIANAS)

CAPITULO 3. TEORIA GAUGE

S = d x (x)(D m)a (x) F F

CAPITULO 4. LA INTEGRAL DE CAMINOS DE FEYNMAN

4.1. TRANSFORMACIONES CANONICAS

y el nuevo Hamiltoniano estara dado por:

El nuevo Hamiltoniano H sera independiente de Q y de P desde las ecuaciones de Hamilton. Este

Donde hemos llamado S(q, Q = constante, t) a la funcion generadora de la transformacion que

CAPITULO 4. LA INTEGRAL DE CAMINOS DE FEYNMAN

Pero de la mecanica cuantica sabemos ademas que:

Lo que nos conduce a:

Este es el analogo Mecanico Cuantico a las expresiones clasicas (4.11) dise

La Integral de Camino de Feynmann

Como hemos visto en la seccion anterior, la accion corresponde a la funcion generadora de la

4.2. LA INTEGRAL DE CAMINO DE FEYNMANN

mecanico cuantica. En efecto, veremos que la igualdad no se cumple cuando el intervalo T t es

hqt0 |qt+t i = Ae ~ tL(qt ,qt+t )

CAPITULO 4. LA INTEGRAL DE CAMINOS DE FEYNMAN

dEdE 0 (E+E 0 )[(EE 0 2 +i)

Donde se ha usado la representacion integral de la funcion delta de Dirac:

Haciendo ahora el cambio de variable:

4.3. LA INTEGRAL DE CAMINO DE FEYNMAN EN TEORIA DE CAMPOS

amplitud de transicion en el caso en el que F = 0, como lo vemos claramente de la (ec. 4.37).

Pero el termino h | iF =0 , corresponde a la amplitud de transicion del estado de vaco en

Si nos cambiamos de nuevo a la forma temporal, obtenemos:

dtF (t)D(tt0 )F (t0 )dt0

La Integral de Camino de Feynman en Teora de Campos

En esta seccion generalizaremos el formalismo de la Integral de caminos de Feynman a Teora de

CAPITULO 4. LA INTEGRAL DE CAMINOS DE FEYNMAN

G(N ) (x1 , x2 , ...xN ) =

4.3. LA INTEGRAL DE CAMINO DE FEYNMAN EN TEORIA DE CAMPOS

El exponente es ahora facilmente escrito en terminos de las transformadas de Fouries de J y :

d4 p[0 (p)[p2 m2 + i]0 (p) J(p)[p

Donde hemos hecho el cambio 0 (p) = (p)

d4 xd4 yJ(x)F (xy)J(y)}

Mostrando de esta manera que F (x y) es la funcion de Green correspondiente a la ecuacion

[F (x1 x2 )F (x3 x4 ) + F (x1 x3 )F (x2 x4 ) (4.62b)

Observamos entonces que las funciones de Green a un n

CAPITULO 4. LA INTEGRAL DE CAMINOS DE FEYNMAN

F (x y) puede ser interpretado fsicamente como el propagador de una partcula de masa m

La Teora ABC, libre