Formalismo de Integral de camino en Teorias de Campos

Alumno: Matas Leoni Olivera

Profesor: Gustavo Lozano
Departamento de Fisica, Universidad de Buenos Aires

Resumen
La motivaci
on de este trabajo es extender lo estudiado en el curso Introducci
on a la
teoria de Campos. En el curso mencionado se estudio la cuantizacion de diversas teoras
de campos en el contexto de la cuantizacion can
onica. En este trabajo se introducen los
metodos de cuantizaci
on a traves del formalismo de la integral de camino.

Indice
1. Introducci
on y Motivaci
on historica
1.1. Formalismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Sugerencia de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Construcci
on de Feynman
2.1. Nucleo de Feynman . . . . . . . . . . . . . . . .
2.2. Integral de Camino en la primera cuantizacion .
2.3. Realizacion explicita de la conjetura de Dirac .
2.4. Productos ordenados temporalmente y funciones
2.5. Amplitud de persistencia del vacio . . . . . . . .
3. Generalizacion a Teorias de Campos
3.1. Introduccion . . . . . . . . . . . . . .
3.2. Herramientas para calcular . . . . . .
3.2.1. Campos Euclideos . . . . . .
3.2.2. Integrales Gaussianas . . . . .
3.2.3. Desarrollo en serie de W [J] .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

. . .
. . .
. . .
de N
. . .
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

. . . . .
. . . . .
. . . . .
puntos
. . . . .
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

3
3
3

.
.
.
.
.

6
6
7
11
13
16

.
.
.
.
.

19
19
21
21
22
24

4. Cuantizaci
on de teoras bosonicas
27
4.1. Campo escalar libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.2. Teora 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5. Cuantizaci
on de teoras fermionicas
37
5.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2. Algebra de Grassmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.3. Campo de Dirac Libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
6. Teorema de Noether
50
6.1. Teorema de Noether clasico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
6.2. Teorema de Noether cuantico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

Nota Bibliogr
afica: Independientemente de las referencias bibliograficas aisladas a lo largo
de este trabajo, el mismo, esta basado fundamentalmente en los textos de W. Greiner [1], J.J.
Sakurai [2] y F. Schaposnik [3].

1.
1.1.

Introducci
on y Motivaci
on historica
Formalismos

Las primeras construcciones matematicas consistentes del proceso que llamamos cuantizacion son aquellas que se deducen de los esbozos desarrollados por Erwin Schrodinger [4] y
Werner Heisenberg [5] alrededor del a
no 1926. Estas formulaciones fueron posteriormente estructuradas en un conjunto de postulados en los que la idea principal es elevar las variables
clasicas de un sistema a operadores y establecer, en analoga a los corchetes de Poisson clasicos, un algebra de anticonmutacion de estos operadores. Las magnitudes fisicas son pues los
autoestados de los operadores hermiticos que describen los observables fisicos.
La diferencia entre la formulacion de Heisenberg y la de Schrodinger esta en la distincion
de cual es el objeto que evoluciona en el tiempo. En ambas formulaciones existe un estado que
describe todo aquello que podemos conocer del sistema (Interpretacion de Copenhaguen) que en
la representacion de Schrodinger evoluciona en el tiempo y en la representacion de Heisenberg
no. Por otra parte, los operadores estan fijos en el tiempo en Schrodinger y varian en el tiempo
en Heisenberg.
El mismo a
no en el que Schrodinger formula la mecanica ondulatoria, demuestra [6] la
equivalencia entre esta y la mecanica matricial de Heisenberg. Este hecho, una vez establecido
el formalismo de Dirac de la mecanica cuantica en el espacio de estados, resulta bastante
evidente como repasaremos mas abajo.

1.2.

Sugerencia de Dirac

Todos tenemos una aunque mas no sea simple idea de que la formulacion a traves de la
integral de camino es bastante diferentes a las formulaciones antes mencionadas. Sabemos a
grandes razgos hay que calcular una suma sobre todas las trayectorias posibles del sistema,
pesada la suma con una fase exponencial que contiene la accion clasica. Pero, de donde viene
esto? Como se dio cuenta Feynmann? Que relacion hay?
Sucede que R. Feynmann se detuvo a pensar algunas observaciones no muy precisas hechas
por P. Dirac en su libro de Mecanica Cuantica, seg
un relata Sakurai [2]. Veamos cual es el
razonamiento de Dirac mas en detalle. Supongamos que tenemos la funcion de onda en la
representacion de Schrodinger:
(q, t) = hq|(t)iS

(1)

Sin perdida de generalidad podemos escribir de la siguiente forma:

i

(q, t) = A(q, t)e ~ (q,t)

(2)

Donde A y son funciones reales. La idea es ahora introducir la funcion de onda en esta
nueva forma funcional dentro de la ecuacion de Schrodinger. Supongamos un hamiltoniano de
2
2 + V (q, t), entonces la ecuacion queda:
la forma H = ~
2m

i
~2 i 2
i~ i
1 i ~ 2
i~ i ~ ~
e ~ .A
e~ A
e ~ A2 +
e ~ A|| + V (q, t)e ~ A =
m
2m
2m
2m

i A
i
e ~ A + i~e ~
t
t
Si eliminamos las exponenciales queda:

~2 2
i~
1
i~ ~ ~
~ 2 + V (q, t)A = A + i~ A
.A
A
A2 +
A||
m
2m
2m
2m
t
t

(3)

(4)

Si ahora tomamos el limite cuando ~ tiende a cero nos queda:

2
1 ~
(q, t)
|(q, t)| + V (q, t) +
=0
(5)
2m
t
Vemos que esta ecuacion es la misma que satisface la accion clasica en la ecuacion de
Hamilton-Jacobi:

H(~q,

S
S(q, t)
)+
=0
~q
t

(6)

Esto nos dice que, en el limite clasico la fase de la funcion de onda es la accion clasica como
funcion de las coordenadas. Entonces esto nos sugiere que cuanticamente, estos objetos estan
relacionados. Por otra parte como sabemos que la trayectoria clasica es aquella que minimiza
la accion, pero que cuanticamente la trayectoria no tiene sentido alguno entonces la relacion
cuantica entre la accion clasica y la fase de la funcion de onda debe darse teniendo en cuenta
no solo la trayectoria clasica sino que todas las trayectorias posibles.
De ah que Dirac realiza la siguiente sugerencia:
4

(q, t)

i
exp( S)
~
trayectorias
X

(7)

Esto es solo una sugerencia, pero R. Feynmann se dio cuenta como llevar esto a un formalismo para calcular en mecanica cuantica y como ese formalismo es equivalente al los formalismos
de Schrodinger y Heisenberg. Su trabajo original [7] era en teorias cuanticas no relativistas y de
primera cuantizacion, pero este formalismo fue luego extendido a teorias de campos relativistas.

2.
2.1.

Construcci
on de Feynman
Nucleo de Feynman

Antes de hacer la contruccion repasemos un poco la descripcion de Schrodinger y Heisenberg

en el espacio de estados. El estado en la representacion de Schrodinger depende del tiempo y
en el tiempo considerado como inicial, es igual al estado en la representacion de Heisenberg:
|(t)iS = U(t, t0 )|(t0)iS = U(t, t0 )|iH

(8)

Donde U es el operador de evolucion en el tiempo que lleva al sistema del tiempo t0 al tiempo
t.
Los autoestados de los observables fsicos forman una base completa del espacio de Hilbert.
En la representacion de Schrodinger los autoestados y autovalores estan fijos. En la representacion de Heisenberg los autoestados evolucionan en el tiempo:
AS |ai iS = ai |ai iS
AH (t)|ai (t)iH = ai |ai (t)iS

U 1 AS UU 1 |ai iS = ai U 1 |ai iS

entonces
donde

U 1 AS U = AH (t) y U 1 |ai iS = |ai (t)iH

(9)

De esta manera los valores medios de los observables y la probabiladad de observar el estado del sistema con un determinado valor de una magnitud fisica son equivalentes en ambas
formulaciones:
hAiS = h(t)|AS |(t)iS = h|AH (t)|iH
Pai = h(t)|S |ai ihai ||(t)iS = h|H |ai (t)ihai(t)||iH

(10)

Tomemos el operador posicion en la representacion de Heisenberg. Como decamos antes, los

autoestados de los observables forman una base completa y ortonormal del espacio de Hilbert.
Esto implica que:
Z
0
0
hq(t)|q (t)i = (q q ) y 1 = dq|q(t)ihq(t)|
(11)
Entonces observemos que, utilizando la segunda identidad de la formula (11) la funcion de
onda satisface lo siguiente:
Z
0 0
0 0
(q , t ) = hq , t |iH = dq(q, t)hq 0, t0 |q, ti
(12)
6

Esta ecuacion nos dice que si conocemos la funcion de onda en un tiempo inicial, podemos
estudiar su evolucion mientras conozcamos hq 0 , t0 |q, ti que se denomina Nucleo de Feynman.
Es decir que en vez de utilizar la ecuacion de Schrodinger o la de Heisenberg para estudiar la
evolucion temporal del sistema, alcanza con conocer el nucleo. Este es el punto de partida para
la construccion de Feynman.
Por otra parte, el nucleo de Feynman tiene una interpretacion clara en el contexto de la
formulacion canonica: Es la amplitud de probabilidad de encontrar el sistema en la posicion q 0
a tiempo t0 si se encontraba en q a tiempo t.

2.2.

Integral de Camino en la primera cuantizaci

on

A continuacion obtendremos una expresion del nucleo de Feynman a partir de una integral
funcional. La novedad de esto, es que veremos que en el calculo ya no va a ser necesario hablar
del espacio de estados y de operadores. Independientemente del poder que se pueda alcanzar con
esta nueva formulacion, en cuanto a la posibilidad para obtener predicciones fisicas de la teora
y la capacidad de hacer analisis del contenido matematico de la misma, esta nueva formulacion
abre las puertas a otra manera de pensar los contenidos interpretativos de la teora. Es decir,
que ademas de la riqueza matematica que posee la nueva formulacion, nuevas interpretaciones
fisicas de las situaciones que se presentan son posibles con este formalismo. A pesar de que las
interpretaciones no son consecuencias logicas objetivas de la teora, las mismas son la fuente de
inspiracion para la creacion y reformulacion de nuevas teoras fsicas.
Tomemos el intervalo t0 t y dividamoslo en N intervalos de tama
no . Entonces utilizando
la completitud de los autoestados del operador posicion en la representacion de Heisenberg
varias veces, podemos escribir:
Z
0 0
hq , t |q, ti = hqN , tN |q0 , t0 i = dq1 ..dqN 1 hqN , tN |qN 1 , tN 1 i...hq1 , t1 |q0 , t0 i =
=

Z NY
1
i=1

dqi

N
1
Y

hqn+1 , tn+1 |qn , tn i

(13)

n=0

La interpretacion de esta ecuacion es clara si observamos la figura 1, tipica para iluminar este
punto. Las integrales realizan la suma de las amplitudes de probabilidad sobre todas las posibles
trayectorias que unen los extremos que estan fijos. Es decir, que la amplitud de probabilidad de
ir de q, t a q 0 , t0 es el producto de las probabilidades intermedias sumadas sobre todos los posibles
7

Figura 1: Amplitud de probabilidad en un camino particular

caminos que unen los puntos q y q 0 . Esta descomposicion es razonable solo si la evaluacion es
mas sencilla en las amplitudes intermedias. Como veremos, este es el caso si los intervalos son
infinitesimales. Cada una de las amplitudes intermedias se denomina transferencia. Estudiemos
una en particular y despues volvemos a (13). Para esto llevemos los brackets a los vectores base
de la representacion de Schrodinger. Cada una de las amplitudes es de la forma:
i
i
2
hqn+1 , tn+1 |qn , tn i = hqn+1 | exp( H)|q
n i = hqn+1 |1 H|qn i + O( )
~
~

(14)

Ahora analizemos la parte del hamiltoniano e insertemos una relacion de completitud.

Z
dp
p, q)|qn i

hqn+1 |pn ihpn |H(

(15)
hqn+1 |H|qn i =
2~

Evaluar el elemento de matriz del hamiltoniano no es trivial. Si los terminos del hamiltoniano
fueran sumas de terminos con p y q independientes entonces nos quedara:
p, q)|qn i = H(pn , qn )hpn |qn i
hpn |H(

(16)

Pero podra suceder que el hamiltoniano tuviera terminos con combinaciones de p y q. Por
esto, tenemos que asumir algo respecto al hamiltoniano. La suposicion mas simetrica es pensar
que los terminos combinados aparecen como la suma de las permutaciones de los productos de
los operadores p y q (ordenamiento de Weyl). Se puede probar (ver [1], pag 347) que en ese
caso el elemento de matriz da lo siguiente:
p, q)|qn i = H(pn ,
hpn |H(

qn+1 + qn
)hpn |qn i
2

(17)

Para seguir las dos posibilidades definiremos qn de manera que puede ser igual a qn o a
seg
un querramos. Utilizando esta definicion y volviendo a (14) tenemos que:
Z
dpn
i
i
hqn+1 , tn+1 |qn , tn i =
exp( (qn+1 qn )pn )(1 H(pn , qn ))
(18)
2~
~
~

qn +qn+1
2

Insertemos esto en (13):

0

hq , t |q, ti = lm lm

N 0

Z NY
1

dqi

i=1

N
1 Z
Y
n=0

i
i
dpn
exp( (qn+1 qn )pn )(1 H(pn , qn ))
2~
~
~

(19)

Ahora vamos a usar la siguiente propiedad de la exponencial:


x N
lm 1 +
= ex
N
N

(20)

Cuya generalizacion, para una sucesion es:

lm

N
1 
Y
n=0

xn 
1+
= exp
N
9

N 1
1 X
lm
xn
N N
n=0

(21)

Entonces si identificamos xn = [i(t0 t)/~]H(pn , qn ) podemos aplicar la identidad en (19):

" N 1 
#
Z NY
Z NY
1
1
X
i
(q

q
)
dp
n
n+1
n
hq 0 , t0 |q, ti = lm lm
dqi
exp
H(pn , qn )
(22)
pn
N 0
2~
~ n=0

i=1
n=0
En el lmite cuando N los puntos qn y pn pueden pensarse como constituyendo una
red que tienden a las funciones continuas q(t) y p(t); de esta manera los valores qn y pn son los
valores de muestreo en el tiempo de las funciones continuas: q(tn ) = qn . Para tomar el lmite
tenemos las siguientes consideraciones:
N 1

X
(qn+1 qn )
q(t
n) , 
f (tn )

n=0

t0

f ( )d
t

Z NY
1

Z NY
Z
Z
1
dpn
dqn
Dq Dp
2~
n=0
n=0

(23)

Entonces la expresion para el nucleo de Feynman queda:

hq 0, t0 |q, ti =

Dq

Dp exp

i
~

t0

(pq H(p, q))d

t

(24)

La integral aqu construda se denomina integral funcional o integral de camino. La misma

se extiende sobre todas las funciones p( ) y las funciones q( ) que cumplen que q(t) = q y que
q(t0 ) = q 0 . Vale la pena remarcar que la funcion obtenida en el exponente, a pesar de ser similar
al Lagrangiano, no lo es, ya que la variable p fue introducida como una variable independiente.
En 1925 N. Wiener introdujo una integral funcional para describir un proceso de difusion, en
un problema conocido como caminata al azar. La diferencia en ese caso es que la exponencial
posea un argumento real negativo lo que aseguraba la convergencia. Nuestra integral funcional
no posee ese beneficio; sin embargo es posible usar un artificio de extender analticamente el
tiempo a los complejos de manera de poder calcular la integral (Rotacion de Wick).

10

2.3.

Realizacion explicita de la conjetura de Dirac

Vamos ahora a suponer una forma particular (bastante usual) del Hamiltomiano.
H=

p2
+ V (q)
2m

Entonces, a primer orden, la amplitud infinitesimal entre dos puntos es:

 

Z
(qn+1 qn ) pn 2
i
dpn
pn
exp

V (qn )
=
hqn+1 , tn+1 |qn , tn i =
2~
~

2m
 

Z
pn 2
i
dpn
pn qn
exp
V (qn )
=
2~
~
2m
Ahora completamos cuadrados para poder realizar la integral Gaussiana:
  2 2

Z
dpn
i m qn (pn mqn )2
hqn+1 , tn+1 |qn , tn i =
exp
V (qn )
2~
~
2m
Luego hacemos el cambio de variables: p0n = pn mqn y nos queda:

 Z

 
i mqn 2
dp0n
i p0n 2
V (qn )
exp
hqn+1 , tn+1 |qn , tn i = exp
~
2
2~
~ 2m
Ahora hacemos la integral Gaussiana usando la formula:
r
Z

zx2
dx e
=
, Re(z) > 0
z

(25)

(26)

(27)

(28)

(29)

Nuestra integral tiene Re(z) = 0 ya que el argumento es imaginario puro. Sin embargo
utilizamos la formula (29) pensando en una continuacion analtica. Por lo tanto:
 
 
m 1/2
i mqn 2
V (qn )
(30)
hqn+1 , tn+1 |qn , tn i = exp
~
2
2i~
11

Insertando esto en 13 y tomando el lmite:

 

1
 m N/2 Z NY
i mqn 2
0 0
hq , t |q, ti = lm
dqn exp
V (qn )
N 2i~
~
2
n=1
" Z 0 
#
Z
mq2
i t
d
V (q)
= Dq exp
~ t
2
!
Z
Z 0
i t
= Dq exp
d L(q, q)

~ t
Z
i
= Dq e ~ S[q,q]

(31)

El valor de la constante de normalizacion no esta bien definido en el liminte cuando

N , sin embargo lo que interesa de la integral funcional es la dependencia funcional y no
su valor explcito.
En la formula (31) vemos explcitamente realizada la conjetura de Dirac. No es la funcion de
onda sino el nucleo de Feynman el que se puede calcular haciendo una suma (integral funcional)
sobre todas las trayectorias pesada con una fase cuyo argumento es la accion clasica.
Por otra parte podemos tambien entender como recuperar el lmite clasico de la cuantizacion.
Cuando ~ es peque
no comparado con S[p, q] entonces el argumento de la exponencial oscila
fuertemente y todas las contribuciones se cancelan excepto las de aquellas trayectorias donde
la accion no vare, donde es estacionaria: S = 0. Justamente la trayectoria clasica es aquella
que hace estacionaria a la accion.
El desarrollo hasta ahora realizado fue hecho para un solo grado de libertad en el espacio de
configuracion. Sin embargo extenderlo a varios grados de libertad es una cuestion casi trivial.
Ademas vale la pena aclarar que la formula (31) es menos general que (24). Para llegar de una
a otra asumimos la dependencia cuadratica de los momentos del hamiltoniano, con coeficientes
constantes. Si la dependencia hubiera sido mas complicada, tambien hubiera sido posible llegar
de una formulacion a la otra. Por ejemplo, supongamos que el Lagrangiano es de la forma:
1 t
L(~q, ~q) = ~q M(q)~q V (~q)
(32)
2
En este caso el Hamiltoniano sera cuadratico en el momento con coeficientes que dependeran
de las coordenadas. Con un poco mas de cuidado, tambien en este caso se puede ir de (24) a
(31). Hay que remarcar que en el caso general no siempre hubiera sido posible.
12

2.4.

Productos ordenados temporalmente y funciones de N puntos

Nos interesa calcular el valor de espectacion del operador posicion q(ti ) de la representacion
de Heisenberg utilizando la integral funcional. Supongamos que t0 > ti > t, entonces:
Z
0 0
hq , t |
q (ti )|q, ti = dq1 ...dqN 1 hqN , tN |qN 1 , tN 1 i...hqi+1 , ti+1 |
q(ti )|qi , ti i...hq1 , t1 |q0 , t0 i =
=

Dq

i
~

Dp q(ti ) exp

t0

(pq H(p, q))d

(33)

Ahora tomemos el producto de dos operadores posicion en diferentes tiempos: q(ti )

q (tj ).
Primero supongamos que ti > tj y que ambos tiempos estan contenidos en el intervalo [t, t0 ],
entonces:
Z
0 0
hq , t |
q(ti )
q (tj )|q, ti = dq1 ...dqN 1 hqN , tN |qN 1 , tN 1 i...hqi+1 , ti+1 |
q (ti )|qi , ti i...
...hqj+1 , tj+1 |
q(tj )|qj , tj i...hq1 , t1 |q0 , t0 i =

Dq

Dp q(ti )q(tj ) exp

i
~

t0

(pq H(p, q))d

(34)

Si hubieramos dicho que tj > ti entonces la cuenta que hicimos recien no hubiera tenido
sentido ya que la particion del intervalo [t, t0 ] la hicimos de forma ordenada de derecha a izquierda. Pero, por otra parte, si invertamos el orden de los operadores, entonces la cuenta hubiera
dado lo mismo. Vemos entonces, que la nocion de orden temporal, ya viene automaticamente
incorporada a la integral funcional, entonces:
!
Z t0
Z
Z
i
(pq H(p, q))d
(35)
hq 0 , t0 |T [
q(ti )
q (tj )]|q, ti = Dq Dp q(ti )q(tj ) exp
~ t
Generalizando esta nocion, tenemos que el valor de expectacion del producto ordenado
temporalmente de n operadores q es:
!
Z t0
Z
Z
i
(pq H(p, q))d
(36)
hq 0 , t0 |T [
q(t1 )...
q (tn )]|q, ti = Dq Dp q(t1 )...q(tn ) exp
~ t
13

Ademas, si el Hamiltoniano es cuadratico en el momento, se puede llevar esta expresion a

la forma de Feynman:


Z
i
0 0
hq , t |T [
q(t1 )...
q (tn )]|q, ti = Dq q(t1 )...q(tn ) exp
S[q, q]

(37)
~
Donde la accion es la integral temporal del Lagrangiano en el intervalo [t, t0 ].
Ahora queremos estudiar el valor de expectacion de vacio de un producto ordenado de
operadores:
G(t1 , t2 ) = h0|T [
q(t1 )
q (t2 ))]|0i
(38)
Cuando estudiamos el formalismo canonico de teoras de campos en el curso, vimos que
estas funciones son utiles en el estudio de la matriz S y representan los propagadores de las
distintas teoras. Para hacer esto, tomamos una base de los autoestados del Hamiltoniano en
la representacion de Schrodinger:
X

H|ni
= En |ni tal que 1 =
|nihn|
(39)
n=0

Entonces tenemos que:

i

|q, ti = e ~ Ht

|nihn|qi =

n=0

e ~ En t n (q)|ni

(40)

n=0

Aplicamos esto ultimo en el lado izquierdo de (35) y nos queda que:

X i
0
hq 0, t0 |T [
q(t1 )
q(t2 ))]|q, ti =
e ~ (En tEn0 t ) n0 (q 0 ) n (q)hn0 |T [q(t1 )q(t2 )]|ni

(41)

n,n0 =0

Ahora queremos tomar el lmite cuando t0 y cuando t para quedarnos solo con
un termino de la suma en (41). En principio esto parecera erroneo porque todos los exponentes
oscilan. Pero vamos a usar el artificio matematico que ya nombramos antes, que consiste en rotar
al tiempo en el plano complejo. Definimos: = ei t y 0 = ei t0 . En la figura 2 se esquematiza la
rotacion. Cuando tomemos el lmite en vez de hacer 0 ei y ei , haremos 0
14

Figura 2: Rotacion en el plano complejo del tiempo

y . Esto es valido asumiendo que el valor de expectacion es una funcion analtica de t
y t0 . Es decir que lo que estamos haciendo es una continuacion analtica. Tomaremos como valor
= /2. En este caso y en el lmite mencionado todas las exponenciales son decrecientes, por
lo tanto solo dejamos aquella que predomina en el lmite, es decir, la del estado fundamental
(asumiendo que no esta degenerado). Entonces nos queda:
lm

hq 0 , i 0 |T [
q (t1 )
q (t2 ))]|q, i i = e

E0
( 0 )
~

0 (q 0 ) 0 (q)h0|T [q(t1 )q(t2 )]|0i

(42)

Ademas observemos que el termino que acompaa al valor de expecacion de vaco es igual al
nucleo de Feynman en el mismo lmite recien explicado. Entonces tenemos que:
h0|T [q(t1)q(t2 )]|0i =

lm 0 hq 0 , i 0 |T [
q (t1 )
q (t2 ))]|q, i i
0
0
lm 0 hq , i |q, i i

(43)

Ahora hacemos la continuacion analtica de este lmite pero girando hacia atras:
h0|T [q(t1)q(t2 )]|0i =

q(t1 )
q(t2 ))]|q, ti
lmt0 t hq 0, t0 |T [
0
0
lmt0 t hq , t |q, ti
15

(44)

Expresando esto en terminos de las integrales de camino, tenemos que:

 R

R
R

Dq Dp q(t1 )q(t2 ) exp ~i (pq H(p, q))d

 R

h0|T [q(t1)q(t2 )]|0i =
R
R

Dq Dp exp ~i (pq H(p, q))d

(45)

Y ademas puedo generalizar a un producto de mas operadores:

 R

R
R

Dq Dp q(t1 )...q(tn ) exp ~i (pq H(p, q))d

 R

h0|T [q(t1)...q(tn )]|0i =
R
R

Dq Dp exp ~i (pq H(p, q))d

(46)

Por otra parte si el Hamiltoniano satisface lo discutido en la seccion anterior podemos llevar
esta expresion a la forma:
 R

R

Dq q(t1 )...q(tn ) exp ~i L(q, q)d

 R

h0|T [q(t1)...q(tn )]|0i =
(47)
R

Dq exp ~i L(q, q)d

Al denominador de esta expresion, muchas veces se lo llama, en analoga con la Mecanica

estadstica, funcion de particion.

2.5.

Amplitud de persistencia del vacio

Vamos a estudiar ahora que sucede si perturbamos a un sistema con una fuente externa
J(t) acoplada en la forma J(t)q que vara en el tiempo. Supongamos que la fuente se prende
en t1 y se apaga en t2 de manera que t < t1 < t2 < t0 . Calculemos el nucleo de Feynman en
presencia de esta fuente.
!
Z
Z
Z t0
i
hq 0 , t0 |q, tiJ = Dq Dp exp
(pq H(p, q) + J( )q)d
(48)
~ t

16

Como hicimos al final de la secion anterior, vamos a buscar magnitudes fsicas relevantes
estudiando el lmite cuando t0 y t . Teniendo en cuenta que en los intervalos [t, t1 ]
y [t2 , t0 ] la fuente esta apagada, entonces podemos escribir que:
Z
0 0
hq , t |q, tiJ = dq1 dq2 hq 0 , t0 |q2 , t2 ihq2 , t2 |q1 , t1 iJ hq1 , t1 |q, ti
(49)
Por otra parte, los bra-kets que estan afuera de la perturbacion J(t) satisfacen que:
X
i 0
i
0
hq 0 , t0 |q2 , t2 i = hq 0 |e ~ H(t t2 ) |q2 i =
n (q 0 )n (q2 )e ~ En (t t2 )
n=0

1 t)
~i H(t

hq1 , t1 |q, ti = hq1 |e

Y ademas

|qi =

n (q1 )n (q)e ~ En (t1 t)

(50)

n=0

Introduciendo esto en (49) nos queda que:

Z
X

0 0
0
0 ~i (En0 t0 En t)
dq1 dq2 n (q1 , t1 )n0 (q2 , t2 )hq2 , t2 |q1 , t1 iJ
hq , t |q, tiJ =
n (q)n (q )e

(51)

n,n0

Ahora usamos el mismo truco de rotar el tiempo y tomar el lmite y quedarnos con la
exponencial predominante:
Z

0
0
0 ~1 E0 ( 0 )
hq , i |q, i iJ 0 (q)0 (q )e
dq1 dq2 0 (q1 , t1 )0 (q2 , t2 )hq2 , t2 |q1 , t1 iJ =

~1 E0 ( 0 )

= 0 (q)0 (q )e

dq1 dq2 h0|q2, t2 ihq2 , t2 |q1 , t1 iJ hq1 , t1 |0i

(52)

Excepto por el termino frente a la integral, el resto se podra interpretar como la amplitud
de probabilidad de que el estado de vaco no se modifique a lo largo de la perturbacion J(t).
Utilizando esta interpretacion definimos la Amplitud de persistencia del vacio:
Z
W [J] = h0|0iJ = dq1 dq2 h0|q2 , t2 ihq2 , t2 |q1 , t1 iJ hq1 , t1 |0i
(53)
Pero con lo que ya desarrollamos podemos evaluar W [J] como:
W [J] =

hq 0 , i 0 |q, i iJ
hq 0 , i 0 |q, i iJ
=
l
m
=

0 hq 0 , i 0 |q, i i
0 (q, i )0 (q 0 , i 0 )

lm

17

hq 0 , t0 |q, tiJ
= 0 lm
=
t t hq 0 , t0 |q, ti

Dq


 Z
i
(pq H(p, q) + J( )q)d
Dp exp
~

(54)

Donde queda determinado por la condicion W [0] = 1. Como siempre si el sistema tiene
un Lagrangiano cuadratico en las velocidades, entonces se puede llevar a la forma de Feynman:

 Z
Z
Z
i
0
(L(q, q)
+ J( )q)d
(55)
Dq
exp
W [J] =
~
La construccion de esta seccion fue hecha para un grado de libertad unicamente. Sin embargo, la generalizacion para un numero arbitrario de
P grados de libertad es inmediata. En ese
caso, la perturbacion entrara al Lagrangiano como
qa Ja (t):
" Z
! #
Z Y

Y
X
X
i
W [J1 , ..., Jd ] =
Dqa
Dpa exp
pa qa H +
Ja ( )qa d =
~
a
a
a
a
= 0

Z Y
a

! #
" Z
X
i
L+
Ja ( )qa d
Dqa exp
~
a

(56)

Donde la u
ltima ecuacion solo vale para el caso del Lagrangiano con dependencia cuadratica
en las velocidades.
Observemos que sucede si tomamos derivadas de la W [J] respecto de J
 Z

 n Z
Z
n W [J]
i
i
Dq Dp q(t1 )...q(tn ) exp
(pq H(p, q) + J( )q)d
=
J(t1 )...J(tn )
~
~
(57)
Por lo tanto vemos que si evaluamos en J = 0 obtenemos el valor de expectacion de vaco
del producto ordenado temporalmente de operadores:

 n

n W [J]
~

(58)
h0|T [
q(t1 )...
q (tn )]|0i =
i
J(t1 )...J(tn ) J=0

18

3.

Generalizacion a Teorias de Campos

3.1.

Introduccion

Hasta ahora estuvimos desarrollando el formalismo de la integral de camino en el contexto

de la primera cuantizacion, es decir, en teoras con un numero de grados de libertad finitos y
que en particular no eran relativistas. Por otra parte muchos de los desarrollos los hicimos para
sistemas con un solo grado de libertad y dijimos que generalizarlos a muchos era una cuestion
formalmente trivial.
Sabemos ademas que las teoras de campos cuanticas las podemos pensar como teoras de
la mecanica cuantica ordinaria pero con un n
umero infinto (continuo) de grados de libertad.
Podemos pensar al espacio como una red de M cubos de tamao V y que el campo en cada
uno de los cubos toma un valor: (xl , t) = l (t). De manera que podemos pensar a este sistema
como uno ordinario de la mecanica cuantica con M grados de libertad, donde haremos tender
a M a infinito y V a 0.
Por ahora estudiaremos una teora de campos, donde el campo en cuestion es un escalar
(relativista). Despues generalizaremos a teoras mas complicadas.
Volviendo a la analoga antes mencionada, la generalizacion de la integral de camino a una
teora de campos, es inmediata. Veamos como queda. En el formalismo canonico el campo pasa
a ser un operador:
t)
(x, t) (x,
(59)
Este operador tiene una conjunto de autoestados:
t)|, ti = (x)|, ti
(x,

(60)

Estos autoestados son los vectores base que varan en el tiempo de manera que:
i

|, ti = e ~ Ht |i

(61)

Entonces la generalizacion del nucleo de Feynman sera:

i

h0 , t0 |, ti = h0|e ~ H(tt ) |i =
 Z t Z

Z
Z
i
3
= D[] D[] exp
dt d x (0 H)
~ t
19

(62)

Ademas, si la densidad Lagrangiana (L = L(, )) es una funcion cuadratica de 0

entonces la integral funcional se puede llevar a la forma de Feynman:
 Z t Z

Z
i
0 0
3
h , t |, ti = N D[] exp
dt d xL(, )
(63)
~ t
Esta condicion (de velocidades cuadraticas) es mas que com
un en el contexto de teoras de
campos. En particular, la teora del campo escalar con autointeracciones es:
1 2 2
~2
~2 ~ 2 1 2 2
~2

2
L = m V () = (0 ) || m V ()
2
2
2
2
2

(64)

que satisface el requisito para llegar a la integral funcional de Feynman.

Analogamente, la amplitud de vacio del producto ordenado temporalmente de operadores
de campo es de la forma:


R 4
R
i
d
xL(,

)
D[]
(x
)...(x
)
exp

1
n
~
1 ), ..., (x
n )]|0i =
R
R


h0|T [(x
(65)
D[] exp ~i d4 xL(, )

Donde los lmites de la integral en el tiempo van de a y para lograr la convergencia

se puede hacer la rotacion de wick.
De la misma forma, la insercion de una fuente externa acoplada al campo nos llevara a la
amplitud de persistencia del vacio. Esta vez, la fuente depende del tiempo y el espacio:

 Z
Z
i
4
0
d x (L + J(x))
(66)
D[] exp
W [J] = N
~
Y, por ultimo, a partir de W [J] podemos construir los valores de expectacion de vaco del
producto ordenado temporalmente de operadores de campo:

 n

n Z[J]
~


(67)
h0|T [(x1 ), ..., (xn )]|0i =
i
J(x1 )...J(xn ) J=0

20

3.2.

Herramientas para calcular

Para poder empezar a hacer explicitemente alguna cuenta necesitamos tres herramientas
importantes:
Campos Euclideos: Es la realizacion explicita de la rotacion de Wick previamente
explicada.
Integrales Gaussianas: Una forma generalizada de ellas es escencial para hacer las
cuentas en teoras de campos.
Desarrollo en serie de W [J]: Como suceda en el formalismo canonico, las teoras con
interaccion solo pueden ser estudiadas en forma perturbativa. Por lo tanto necesitamos
entender como hacer cuentas en una teora no trivial.
3.2.1.

Campos Euclideos

La idea ya fue previamente esbozada. Para evitar que las expresiones esten matematicamente
mal definidas se realiza una rotacion en el plano complejo del tiempo. Esto permite que las
exponenciales no oscilen solamente, sino que tambien decaigan para hacer que las integrales
sean convergentes. La eleccion mas elegante es rotar el tiempo en un cuarto de giro en sentido
horario. Esta eleccion es la rotacion de Wick. La justificacion matematica para poder hacer
esto se basa en la analiticidad de todas las expresiones que estamos analizando en la variable
del tiempo. En los casos de teoras libres, se puede probar explicitamente que esta analiticidad
es cierta, pero en casos mucho mas generales resulta ser cierta tambien.
Al hacer esta rotacion del tiempo, la signatura de la metrica de Minkowski cambia. El
espacio-tiempo pasa a tener una estructura euclideana. Definamos las nuevas coordenadas cartesianas xE = (xE1 , xE2 , xE3 , xE4 )de la siguente manera:
xE4 = ix0 y ~xE = ~x

(68)

Por ahora no habra nada de original en este paso, ya que ese cambio de variables no
necesitara justificacion si el nuevo tiempo adquiriera un valor siempre imaginario puro. Lo que
introduce una nocion perturbante (pero correcta por la anliticidad) es que de ahora en mas
tomaremos el nuevo tiempo xE4 como un n
umero real. Ahora si, con esta nocion tenemos un
espacio-tiempo euclideando en el que definimos el producto escalar:
xE xE = xE1 xE1 + xE2 xE2 + xE3 xE3 + xE4 xE4 ,
21

y en particular

xE xE = (xE1 )2 + (xE2 )2 + (xE3 )2 + (xE4 )2 = x x = x2

(69)

Notemos ademas que la distincion de vector covariante y contravariante ya no tiene sentido.

Como vamos a utilizar transformadas de Fourier, necesitamos definir el cudrimomento euclideo
pE = (pE1 , pE2 , pE3, pE4 ):
pE4 = ip0 y p~E = p~
(70)
Veamos como queda entonces la transformada de Fourier de una funcion que es cuadratica
en el momento:
Z
Z 4
d4 p ip.x
d pE i(p4 x4 ~pE .~xE )
2
g(x) =
e
f (p ) = i
e
f (pE 2 ) =
4
(2)
(2)4
Z 4
Z 4 0
d pE ipE .xE
d p E i(p4 x4 +~p0E .~xE )
0 2
f
(p
)
=
i
e
e
f (pE 2 )
(71)
=i
E
(2)4
(2)4
Donde usamos que d4 p = id4 pE . En la transformada inversa hubieramos tenido que: d4 x =
id4 xE . Esto ultimo lo necesitamos para escribir la forma de la integral funcional de la teora
para el campo escalar con autointeraccion. El lagrangiano cambia de la siguiente forma:
 2

~
~2 ~ 2 1 2 2
1 2 2
~2
2
2
2
~
((4 ) + || ) + m + V () (72)
L = (0 ) || m V () =
2
2
2
2
2
Con todo esto, tenemos que amplitud de persistencia de vaco queda:

 2

Z
Z
1
~
1 2 2
0
4
WE [J] = NE D[] exp
dx
E E + m + V () J(x)
~
2
2
3.2.2.

(73)

Integrales Gaussianas

Para realizar algunos calculos en teoras de campos necesitaremos ciertas generalizaciones

de la famosa integral gaussiana, cuya version mas simple es:
r
Z+

zx2
dx e
=
(74)
z

La generalizacion es la siguiente proposicion, cuya demostracion omitimos (ver [1] pag. 353).
22

Proposici
on 1. Sean x e y dos vectores D-dimensionales y A una matriz real simetrica definida
positiva de DxD dimensiones. Entonces se cumple que:
R




1. dD x exp 12 xT Ax = (2)D/2 exp 21 T r ln A






R
2. dD x exp 12 xT Ax + y T x = (2)D/2 exp 21 Tr ln A exp 21 y tA1 y
Notemos que exp(Tr(ln B)) = det B. Ahora haremos una generalizacion mas abstracta de
estas integrales. Los vectores y matrices involucrados en la proposicion 1 son de dimension finita
y discreta. Que pasara si la dimension fuera continua y no acotada (i.e infinita)? Para esto,
definamos un producto escalar del espacio de funciones de R4 de la manera usual:
Z
(f, g) = d4 xE f (xE )g(xE )
(75)
La segunda ecuacion de la Proposicion 1 nos daba el resultado para:


Z
1
D
d x exp (x, Ax)c + (y, x)c
2

(76)

donde (, )c es el producto escalar usual de RD . Entonces, lo que hacemos ahora es generalizar

esta u
ltima integral con la analoga del producto escalar. Es decir:




Z
Z
1
1
D
(77)
d x exp (x, Ax)c + (y, x)c D[] exp (, A) + (, )
2
2
donde A es algun operador integral. En el resultado de esta integral que estamos analizando
no aparece ninguna referencia a la dimension excepto en el factor 2 que a nosotros no nos va
a importar en nuestras integrales funcionales. Por lo tanto tenemos que:


Z
1
1
1
1
D[] exp (, A) + (, ) = (det A) 2 e 2 (,A )
(78)
2

23

3.2.3.

Desarrollo en serie de W [J]

Para el siguiente desarrollo utilizaremos la teora del escalar con autointeracciones solo por
una cuestion de simplicidad.
Trabajemos con el siguiente Lagrangiano:
L = L0 + Lint =

~2
1
m2 2 gV ()
2
2

El funcional generatriz esta dado por:


 Z


Z
Z
i
i
4
4
d x gV () exp
d x (L0 + J)
W [J] = N D[] exp
~
~

(79)

(80)

Donde hemos escrito el termino de interaccion por separado. La idea es tratar de sacar
ese termino fuera de la integral. Si pudieramos hacer eso, entonces nos habra quedado escrito
la amplitud de persistencia del vacio de la teora libre. Lo que podemos hacer es usar un
truco analogo al que usabamos para obtener el valor de expectacion de vacio del producto
de operadores a partir del funcional W [J]. Observemos que:


 Z
 Z

i
i
i
4 0
4 0
d x (L + J) = (x) exp
d x (L + J)
(81)
exp
J(x)
~
~
~
Entonces, mientras estemos operando a izquierda del segundo multiplicando de (80), podemos hacer la asociacion:
~
(82)
(x)
i J(x)
Insertando esto en la dependencia en que tiene el termino de interaccion V () podemos
sacar entonces fuera de la integral funcional ese termino y nos queda:



Z
~
i
4
d x gV
W0 [J]
(83)
W [J] = N exp
~
i J(x)
El factor de normalizacion queda determinado por la condicion W [0] = 1:




Z

i
~
1
4
N = exp
d x gV
W0 [J]
~
i J(x)
J=0
24

(84)

Ahora si, podramos hacer una expansion en serie de la exponencial en potencias de g. El

problema es que el factor N tambien depende de g. Esto trae una complicacion pero que se
puede solucionar. Escribamos la serie en potencias de g de la siguiente manera:
W [J] = W0 [J](1 + gw1[J] + g 2w2 [J] + ...)

(85)

Ademas proponemos un desarrollo analogo para el termino de la exponencial:




Z
i
~
4
exp
d x gV
W0 [J] = W0 [J](1 + gu1[J] + g 2 u2 [J] + ...)
~
i J(x)
De la expansion de taylor de la exponencial nos queda:



Z
~
i
1
4
dxV
W0 [J]
u1 [J] = W0 [J]

~
i J(x)


 


Z
Z
i
~
i
~
1 1
4
4
u2 [J] = W0 [J]

dxV

dyV
W0 [J]
2!
~
i J(x)
~
i J(x)
u3 [J] = ...

(86)

(87)

Por lo tanto la funcion generatriz sera:

1 + gu1[J] + g 2u2 [J] + ...

= W0 [J] k=0
W [J] = W0 [J]

P
1 + gu1 [0] + g 2u2 [0] + ...

g k uk [J]
(88)
gku

k [0]

k=0

Para obtener los funcionales wK [J] necesito poder dividir las dos series:

g k wk [J] =

k=0

k=0

k=0

25

g k uk [J]
(89)
gku

k [0]

Si paso la suma que esta dividiendo y realizo la multiplicacion de las series, obtengo:
uk [J] =

k
X

wki[J]ui [0]

(90)

i=0

Utilizando como datos que u0 [0] = 1, u0 [J] = 1 y w0 [J] = 1 puedo realizar una recurrencia
con la ecuacion (90) para obtener todos los funcionales wk [J] en funcion de los uk [0] y los uk [J].
Los primeros ordenes son:
w1 [J] = u1 [J] u1 [0]
w2 [J] = u2 [J] u2 [0] u1 [0](u1 [J] u1 [0])
w3 [J] = u3 [J] u3 [0] [u2 [J] u2 [0] u1 [0](u1 [J] u1 [0])] u1 [0] (u1 [J] u1 [0])u2 [0] (91)

26

4.

Cuantizaci
on de teoras bosonicas

4.1.

Campo escalar libre

Ahora vamos a trabajar explicitamente con el funcional W0E [J] para el campo escalar sin
interacciones:

 2

Z
Z
1
~
1 2 2
E
4
W0 [J] = NE D[] exp
dx
E E + m J
(92)
~
2
2
La integral de camino debe calcularse y despues hacer la rotacion inversa de Wick para volver
a Minkowski. Para calcular esta integral usamos las formulas Gaussianas que desarrollamos en
la seccion anterior.
La formula que habamos obtenido deca que:


Z
1
(93)
D[] exp (, A) + (, )
2
entonces identificamos a A y de la siguiente manera:
A(x0E , xE ) =

1 2
0
(~ E E
+ m2 ) 4 (x0E xE )
~

J(xE )
(94)
~
Usamos el producto interno usual del espacio de funciones y el producto matricial(integral) de
manera que:
Z
(, A) = d4 x0E d4 xE (x0E )A(x0E , xE )(xE )
(95)
(xE ) =

Con todo esto, y usando las formulas gaussianas, tenemos que:



Z
1
E
21
4 0
4
0
1 0
W0 [J] = NE (det A) exp
d xE d xE J(xE )A (xE , xE )J(xE ) =
2~2


Z
1
4 0
4
0
1 0
d xE d xE J(xE )A (xE , xE )J(xE )
= exp
2~2

donde en el u
ltimo paso use que W0E [0] = 1 para fijar NE .
27

(96)

Ahora necesitamos A1 . Observemos que por la definicion de multiplicacion matricial (integral) tenemos que A1 cumple que:
Z
d4 xE A1 (x0E , xE )A(xE , x00E ) = 4 (x0E x00E )
(97)
En el espacio de los momentos el operador A es multiplicativo, entonces su inversa esta dada
por:
~
A1 (pE ) = 2
(98)
pE + m2
Lo que en el espacio de las cordenadas se obtiene transformando Fourier:
Z
~
d4 pE i pE .(x0E xE )
1 0
e~
A (xE , xE ) =
2
4
(2~)
pE + m2

(99)

Definimos el propagador de Feynman euclideano:

0
E
F (xE

1
xE ) = A1 (x0E , xE ) =
~

d4 pE e ~ pE .(xE xE )
(2~)4 p2E + m2

(100)

Si ahora lo llevamos a la cordenada temporal de Minkowski nos queda:

0
E
F (xE

xE ) = i

d4 p e ~ p.(x x)
= iF (x0 x)
(2~)4 p2 m2

(101)

Donde recuperamos la expresion del propagador de Feynman que habamos obtenido con
el formalismo canonico. La integracion en el tiempo debe hacerse esquivando los polos que hay
en la recta real de la manera razonable que surge cuando se hace la rotacion de Wick inversa.
Esta manera coincide con la prescripcion de Feynman.
El resultado final de nuestra cuenta es que el funcional W0 [J] es:


Z
i
4 0 4
0
0
W0 [J] = exp
d x d x J(x )F (x x)J(x)
(102)
2~
28

Ahora que tenemos una expresion para el funcional W podemos tomar derivadas para
obtener las funciones de Green. Tomemos la primer derivada:
Z



i
~ W0 [J]
4
=
d x J(x)F (x x1 ) exp (J, F J)
(103)
i J(x1 )
2~
(1)

Cuando evaluamos esta expresion en J = 0, la misma se anula. Es decir que G0 (x1 ) = 0.

Ahora tomo la segunda derivada:
 2


Z
Z
~
2 W0 [J]
i
~
4
4
d x J(x)F (x x1 ) d x J(x)F (x x2 )
= F (x1 x2 )
i
J(x1 )J(x2 )
i
~


i
exp (J, F J)
(104)
2~
Tomando J = 0 nos queda la funcion de Green de dos puntos. La misma es igual al propagador de Feynman a menos de una constante:

 2
2 W0 [J] 
~
(2)
= i~F (x1 x2 )
(105)
G0 (x1 , x2 ) =
i
J(x1 )J(x2 ) J=0
Ahora tomamos la tercera derivada:
 3

Z
~
3 W0 [J]
~
F (x1 x2 ) d4 x J(x)F (x x3 )+
=
i
J(x1 )J(x2 )J(x3 )
i
Z
Z
4
+F (x1 x3 ) d x J(x)F (x x2 ) + F (x2 x3 ) d4 x J(x)F (x x1 )



Z
Z
Z
i
i
4
4
4

d x J(x)F (xx1 ) d x J(x)F (xx2 ) d x J(x)F (xx3 ) exp (J, F J)

~
2~
(106)
(3)

Cuando tomamos J = 0 esta expresion se anula. Entonces tenemos que G0 (x1 , x2 , x3 ) = 0.

Por u
ltimo, tomamos la cuarta derivada. Esta vez, ya se puede ver cuales son los terminos que
van a anularse cuando evaluemos en J = 0 entonces esos terminos no los desarrollamos:
 2 
 4
4 W0 [J]
~
~
F (x1 x2 )F (x3 x4 )+
=
i
J(x1 )J(x2 )J(x3 )J(x4 )
i
29




i
+ F (x1 x3 )F (x2 x4 ) + F (x2 x3 )F (x1 x4 ) + ... exp (J, F J)
2~

(107)

Si evaluamos esta expresion en J = 0 obtenemos la funcion de Green de 4 puntos.


(4)
2
G0 (x1 , x2 , x3 , x4 ) = (i~) F (x1 x2 )F (x3 x4 ) + F (x1 x3 )F (x2 x4 )+
+ F (x2 x3 )F (x1 x4 )

(108)

Estas dos funciones de green que obtuvimos tienen una representacion grafica en lo que se
conoce como diagramas de Feynman. A cada termino i~F (x1 x2 ) se le asigna una linea que
une los puntos x1 con x2 . Entonces tendramos:
G0 (2) (x1 , x2 ) =

G0 (4) (x1 , x2 , x3 , x4 ) =

x3
x1

x4
x2

x1

x3
x1

x2

x4
x2

(109)

x3
x1

x4
x2

(110)

El hecho de que en la funcion de cuatro puntos aparezcan tres graficos tiene que ver con
la indistinguibilidad de las particulas. Se puede probar asi mismo que todas las funciones de
Green con un numero impar de puntos se anulan. Por otra parte todas las funciones de green
con un numero par de puntos van a ser sumas de productos de propagadores de Feynmann.
Podemos observar ademas que las funciones de Green a partir de la segunda seran siempre
redundantes ya que tendran graficos desconectados como lo vimos en la funcion de cuatro
puntos. Para evitar este tipo de contribuciones se define el funcional generatriz para funciones
de Green irreducibles Z[J]:
i
W [J] = e ~ Z[J]
(111)
Las funciones de Green conectadas se obtienen haciendo:

 n1

n Z[J]
~
(n)

Gc (x1 , ..., xn ) =
i
J(x1 )...J(xn ) J=0
30

(112)

Volviendo en particular a la teora que estabamos estudiando, le tomamos el logaritmo a

W0 [J] para obtener:
Z
1
Z0 [J] =
d4 x0 d4 x J(x0 )F (x0 x)J(x)
(113)
2
De manera que tomando las derivadas tenemos que:

Z[J] 
(1)
=0 ,
G0c (x1 ) =
J(x1 ) J=0


~
2 Z[J]
(2)

G0c (x1 , x2 ) =
= i~F (x1 x2 ) y ademas
i J(x1 )J(x1 ) J=0
(n)

G0c (x1 , ..., xn ) = 0

n > 2

(114)

El hecho de que todas las funciones de Green conectadas sean nulas para n > 2 tiene sentido
ya que no es posible construir un grafico conectado con mas de dos patas externas.

4.2.

Teora 4

Ya desarrollamos una teora libre utilizando el formalismo de integral de camino. Ahora

vamos a tomas una teora con interacciones. En particular tomaremos la teora del campo
escalar con autointeracciones cuyo Lagrangiano es:
L = L0 + Lint =

~2
1
m2 2 gV ()
2
2

(115)

En particular tomaremos la autointeraccion:

gV () =

g 4

4!

(116)

En la seccion anterior desarrollamos una teora perturbativa para calcular el funcional W [J]
a partir del funcional de la teora libre. Para eso necesitamos calcular u1 [J]:



Z
~
i
1
4
dxV
W0 [J] =
u1 [J] = W0 [J]

~
i J(x)
31

= W0 [J]

i
4!~

dx

~
i J(x)

4

W0 [J]

(117)

Donde la funcion generatriz la conocemos explicitamente de la sub-seccion anterior.



i
W0 [J] = exp (J, F J)
(118)
2~
Tomando las sucesivas derivadas tenemos que:




Z
i
i
~
4
exp (J, F J) = d y F (x y)J(y) exp (J, F J)
i J(x)
2~
2~

(119)

La segunda derivada es:


"

~
F (0) +
i

~
i J(x)

Z

2



i
exp (J, F J) =
2~
#

2

d y F (x y)J(y)

i
exp (J, F J)
2~

(120)

La tercera derivada es:

3



i
exp (J, F J) =
2~
"

Z
3 #

Z
~
i
4
4
3 F (0) d y F (x y)J(y)
d y F (x y)J(y)
exp (J, F J)
(121)
i
2~


~
i J(x)

Y la cuarta derivada entonces queda:

4



i
~
exp (J, F J) =
i J(x)
2~
"  
Z
2 Z
4 #
2
~
~
(F (0))2 6 F (0)
d4 y F (x y)J(y) +
d4 y F (x y)J(y)

3
i
i
32



i
exp (J, F J)
2~

(122)

Estas formulas se pueden representar mediante diagramas de Feynman. Vamos a identificar

al igual que
R antes i~F (x y) con una linea que une los puntos x e y. Los terminos de
no vaco.
Fuentes ~i d4 x J(x) los identificamos con una linea que termina en un circulo peque
4
Los Loops i~F (0)
identificamos con un circulo cerrado. Cada interaccion que viene
R los
i
4
acompa
nada por ~ d x la representamos con un vertice de cuatro patas. Usando este lenguaje
tenemos que:

1 
u1 [J] =
(123)
+6
+
3
4!
y ademas:
3
(124)
u1 [0] =
4!
De la teora de perturbaciones que desarrollamos en la seccion pasada sabemos que a primer
orden:
W [J] = (1 + g(u1[J] u1 [0]) + ...)W0 [J]
(125)
Por lo tanto tenemos que a primer orden:

g
W [J] = 1 + ( 6
4!

 1
) + .. e 2

(126)

Que explicitamente es:



Z
Z
ig
4
W [J] = 1
d x 6i~F (0) d4 y1 d4 y2 F (x y1 )F (x y2 )J(y1 )J(y2 )+
4!~

Z
4
4
4
4
+ d y1 d y2 d y3 d y4 F (xy1 )F (xy2 )F (xy3 )F (xy4 )J(y1 )J(y2 )J(y3 )J(y4 )+...


i
exp (J, F J)
2~

33

(127)

Ahora podemos tomar las derivadas de la funcion W[J] para obtener las funciones de Green.
Observemos que tomar derivada respecto a J(x) es lo mismo que cambiar la terminacion correspondiente a la fuente y poner una terminacion de una coordenada:
~
i J(xi )

= xi

(128)

Para realizar la cuenta solo hay que usar la regla del producto y la regla de la cadena al
derivar. La primera derivada nos queda:

hg

4!

(6 2 x1

~ W [J]
=
i J(x1 )

g
) + 1 + (6
4!

+ 4 x1



g
12 x1
+
4!

= x1
+6

x1

x1


) x1

e2

+
+ 4 x1

1
e2

(129)

Todos los terminos poseen una pata con una fuente externa, por lo tanto al hacer J = 0 la
derivada primera se anula:
~ W [J] 
=0
(130)
G(x1 ) =

i J(x1 ) J=0
Ahora hacemos la derivada segunda:
 2
~
2 W [J]
=
i
J(x1 )J(x2 )

x1
x2 + x1
x2

gh
12 x1
4!

x2+ 12 x2

x1

+6

34

x1

+
x2+ 12 x1

x2

+4 x2
+6

x1

x2

+ 4 x1
x1

x2

x1

2
x2+ 12 x
x1

x1



x2

e2

(131)

Cuando ponemos J = 0 solo dos terminos sobreviven, entonces la funcion de Green de dos
puntos sera:
g
x2 + x1
x2 + O(g 2 )
G(x1 , x2 ) = x1
(132)
2
O bien en forma algebraica:
g~2
F (0)
G(x1 , x2 ) = i~F (x1 x2 )
2

d4 xF (x1 x)F (x x2 ) + O(g 2 )

(133)

La expresion F (0) es divergente. Este problema proviene del grafico que contiene el loop
y se soluciona con el metodo de renormalizacion. En particular las correcciones a esta funcion
de Green tienen que ver con la renormalizacion de la masa.
Para seguir encontrando funciones de Green de mas puntos hay que seguir derivando la
W [J] y evaluar sucesivamente en J = 0. La funcion de tres puntos sera evidentemente nula.
La funcion de cuatro puntos se obtiene siguiendo el proceso de derivacion ya desarrollado. El
resultado es:


x4
x4
x4
x3
x3
x3
+
G(x1 , x2 , x3 , x4 ) =
x2 + x1
x2 + x1
x2
x1
g
+
2
x
+ x24

x3
x4

x1
x2
x1
x3

x
+ x12

x4
x3

x
+ x21
x4
x3

x
+ x23

x4
x2 +

x
+ x31
x1
x4

+g

(134)

Vemos entonces que la funcion de Green de cuatro puntos esta caracterizada por los propagadores de la teora libre, mas correcciones de la masa, mas un u
nico termino de interaccion
real que es el vertice con forma de cruz.
35

Por u
ltimo, calculemos la Funcion generatriz conectada que definimos en la seccion anterior:


h
i
i
1
g
Z[J] = ln W [J] = ln exp
+ ln 1 + (6
+
) + O(g 2 ) (135)
~
2
4!
Desarrollando el segundo logaritmo a primer orden nos queda que:
1
i
Z[J] =
~
2

g
(6
4!

) + O(g 2)

(136)

Al derivar dos veces obtenemos la funcion de Green conectada de dos puntos:

x1
G(2)
c (x1 , x2 ) =

x2 +

g
x1
2

x2 + O(g 2)

(137)

Esta,
coincide con la funcion de Green com
un, como tambien suceda en la teora libre.
La tarea de derivar cuatro veces para encontrar la funcion de Green de cuatro puntos
conectada es ahora mucho mas sencilla ya que al no tener mas la exponencial solo va a sobrevivir
el vertice cruz al derivar cuatro veces. Por lo tanto:
G(4)
c (x1 , x2 , x3 , x4 ) = g

(138)

El resto de las derivadas de la funcion generatriz conectada son todas nulas a primer orden.
Entonces:
G(n)
(139)
c (x1 , ..xn ) = 0 n > 4
Hecho que topologicamente es razonable ya que no es posible construir un grafico con un
solo vertice de cuatro patas con mas de cuatro patas externas.

36

5.
5.1.

Cuantizaci
on de teoras fermionicas
Introducci
on

En la seccion anterior estudiamos la cuantizacion de una teora del campo escalar. Vimos
como la formulacion a traves de la integral de camino lleva a los mismos resultados que la
cuantizacion canonica. Ademas vimos que este formalismo lleva naturalmente a la estadistica
correcta de un campo bosonico. El problema que nos compete ahora es desarrollar el formalismo
de la integral funcional para un campo fermionico. En el formalismo canonico los campos
fermionicos satisfacan las relaciones de anticonmutacion:
n
o
t), (y, t) = 3 (x y)I y
(x,
n

o n
o
t), (y,
t) = (x, t), (y, t) = 0
(x,

(140)

Sin embargo es imposible volver de los operadores a c-numeros y seguir teniendo campos con
la simetra de Fermi-Dirac ante el intercambio de partculas. Por otra parte, independientemente
de que en la naturaleza observamos que los fermiones siguen esa estadstica, en el curso tambien
vimos que al intentar cuantizar una teora de campos fermionicos sin la antisimetra ante el
intercambio de particulas obtenamos una teora con un vaco inestable. Con lo cual ni siquiera
como modelo de juguete servira una teora asi.
Por estas razones, para formular una teora consistente de fermiones en el formalismo de
la integral de camino, necesitamos abandonar el espacio de c-numeros y utilizar numeros que
anticonmutan.

5.2.

Algebra de Grassmann

Se puede definir un conjunto de numeros que anticonmutan. A estos se los denomina vari
ables de Gassmann. Al conjunto de todos los numeros que anticonmutan se lo denomina Algebra
de Grassman o algebra exterior (esto tiene tambien conexion con la nocion de formas diferenciales). Cada uno de los elementos de esta algebra se los puede expresar como una combinacion
lineal de productos de los generadores i (el analogo en formas es el diferecial dxi ). El indice
i va desde 1 hasta n, donde n es la dimension del algebra. Definimos un producto entre las
variables de Grassmann de manera que los generadores anticonmuten:
{i , j } = 0

i, j = 1, ...n
37

(141)

Como consecuencia de esta propiedad el cuadrado de cualquier generador es nulo:

i2 = 0

(142)

Por lo tanto cada elemento del algebra de Grassmann se puede desarrollar de la siguiente
forma:
X (1)
X (2)
X (3)
gijk i j k + ... + g (n) 1 ...n
(143)
G() = g (0) +
gi i +
gij i j +
i=0

i<j

i<j<k

Esta es una suma finita de terminos ya que no puedo multiplicar mas de n generadores sin
que se repitan terminos. Por otra parte las sumas las escribimos ordenadas de manera de no
n!
repetir productos de generadores. El numero de productos de p generadores es p!(np)!
por lo
tanto el numero total de productos de cualquier n
umero de generadores es:
n
X
p=0

n!
= 2n
p!(n p)!

(144)

Para poder desarrollar el formalismo de integral de camino vamos a necesitar desarrollar algunas herramientas del analisis matematico como las operaciones de derivar e integrar. Trataremos de definir la derivacion e integracion haciendo la mayor posible analoga con las definiciones
de los c-numeros (salvando las distancias). Empecemos con n = 2. Los generadores son 1 y 2 .
Definimos:
d
d
1=0 y
j = ij
(145)
di
di
d
1 2 = i1 2 1 i2
(146)
di
Observemos que en la segunda ecuacion aplicamos la regla de Liebnitz de la derivacion. Sin
embargo en el segundo termino hay un signo menos ya que definimos que cuando la derivada
pasa por delante de un generador se cambia el signo. Por eso, volviendo a un algebra de n
generadores, la derivada de un producto de m de ellos es:
d
j ...jm = aj1 j2 ...jm + ..+
da 1
38

+ (1)p1 ajp j1 ...jp1 jp+1 ...jm + ... + (1)m1 ajm j1 ...jm1

(147)

Como consecuencia de esto podemos obtener las relaciones de anticonmutacion de los operadores de derivacion.


d
, b = ab
(148)
da


d d
=0
(149)
,
da db
En particular:

d2
= 0 a
da 2

(150)

Lo cual es bastante razonable ya que cualquier funcion es a lo sumo lineal en cada uno de
los generadores.
Ahora procedemos a definir unvocamente la operacion de integrar. Vamos a definir la
integral como un mapa entre funciones de variables de Grassman y c-numeros. Le pedimos a la
integral tres propiedades. La primera es que sea una operacion lineal:
Z
Z
Z
d (af () + bg()) = a d f () + b d g()
(151)
La segunda propiedad que le pedimos es que la integral tenga invarianza traslacional, es
decir:
Z
Z
d f ( + ) = d f ()
(152)
Observemos que estas dos propiedades son propiedades que poseen las integrales ordinarias
definidas en toda la recta real. Por ultimo postulamos un valor por convencion de normalizacion:
Z
d = 1
(153)
Con estas tres propiedades alcanza para poder definir unvocamente la integral. Observemos
una consecuencia de la propiedad (152). Tomemos como f () = a + b. Entonces:
Z
Z
Z
Z
Z
Z
Z
d f ( + ) = a d 1 + b d + b d 1 = d f () + b d 1 = d f () (154)
39

d 1 = 0

(155)

Observando (153) y (155) podemos ver que la integracion es igual a la derivacion.

La generalizacion a algebras de Grassmann de dimension n es inmediata. En ese caso postulamos:
Z
Z
di 1 = 0
y
di i = 1
(156)
De aqu podemos sacar las reglas de anticonmutacion para los diferenciales.
{di , dj } = 0

{di , j } = ij

(157)

Que son las mismas reglas que para la derivacion ya que como decamos antes la derivacion
produce los mismos resultados que la integracion.
Otro punto a tener en cuenta es lo que sucede cuando hacemos un cambio de variables de
Grassmann en la integracion. Empecemos con un ejemplo en una dimension:
0 = + a

(158)

Para una integral en la variable primada encontramos que:

Z
d0 g(0 ) = g (1)
Por otra parte, utilizando de nuevo el desarrollo (143) tenemos que:
Z
Z
Z
0
(0)
(1) 0
d g( ) = d(g + g ) = d(g (0) + g (1) + g (1) a) = g (1) a

(159)

(160)

De aqu deducimos que:

Z

d g( ) =

40

d0
d

1

g(0 ())

(161)

Observemos que el Jacobiano de la transformacion entra inverso respecto de la regla de

transformaciones de las integrales ordinarias. La generalizacion de esto a dimension arbitraria
del algebra tiene una forma analoga:

 0 1
Z
Z
d
0
0
0
0
0
dn ...d1 g( ) = dn ...d1 det
g(0 ())
(162)
d
Para desarrollar el formalismo de la integral de camino, vamos a necesitar poder resolver
integrales Gaussianas. Queremos resolver la siguiente integral Gaussiana:
Z
1 T
In = d1 ...dn e 2 A
(163)
El exponente posee la forma bilineal:
T A =

i Aij j

(164)

i,j

Donde asumimos el caracter antisimetrico de la matriz A. Para resolver esto podramos

hacer el desarrollo de Taylor de la exponencial. En ese caso podemos ver que el unico termino
que sobrevivira es aquel en el que hay n generadores para integrar (que, en particular deberian
ser todos diferentes), sino la integral se anula. En particular esto es solo posible cuando n es
par. Cuando n es impar In = 0. Entonces, los terminos que sobreviven a esta restriccion vienen
dados por:

 n2
Z
1
1 T
In = n
d1 ...dn A
(165)
( 2 )!
2
Sucede que de todos los productos de la forma bilineal que sobreviven a la integracion hacen
1
que quede la suma de productos antisimetricos de los elementos de A 2 . Entonces el resultado
es:
Z
1
1 T
d1 ...dn e 2 A = (det A) 2
(166)
Ahora que vemos el resultado confirmamos aquello de que esta integral es nula para n impar
ya que el determinante de una matriz antisimetrica de dimension impar es nula.
41

La generalizacion de esta integral es la siguiente:

Z
1
1 T
1 T 1
T
d1 ...dn e 2 A+ = (det A) 2 e 2 A

(167)

Donde es un vector de n componentes que son variables de Grassmann.

Teniendo en cuenta la formulacion de los campos de Dirac, necesitamos introducir la nocion
de variables de Grassmann complejas. Tomamos dos conjuntos de generadores de Grassmann:
1 , ..., n y 1 , ..., n . Tomados los dos juntos estos forman un algebra de Grassmann de dimension
2n ya que establecemos las siguientes relaciones de anticonmutacion:
{i , j } = {i , j } = {i , j } = 0

(168)

La forma de relacionar estos dos conjuntos es a traves de la operacion de conjugacion: .

Postulamos las siguientes propiedades de la misma:
(i ) = i
(i ) = i
(i1 i2 ...im ) = im ...i2 i1
(ai ) = a i

(169)

Donde tomamos a C. Independientemente de la relacion a traves de la conjugacion, desde

el punto de vista de las operaciones de derivar e integrar, las i y j son independientes.
La integral Gauiana que nos interesa ahora es:
Z

d1 ...dn d1 ...dn e A = det A

(170)
El hecho de que el determinante no tiene mas una raiz cuadrada se debe a que esta vez
estamos integrando en 2n variables. La generalizacion de esta integral es:
Z

1
d1 ...dn d1 ...dn e A+ + = det Ae A
(171)
42

Hasta ahora desarrollamos los conceptos de las variables de Grassman para algebras de
Grassman de dimension finita. Para formular las integrales de camino de las teoras de campos
fermionicas necesitamos extender este desarrollo a dimension infinita. Para esto, hacemos el
paso al continuo:
i (x)
(172)
Tomaremos las propiedades ya desarrolladas pero generalizadas a un continuo. Las relaciones
de anticonmutacion seran igual que antes:
{(x), (y)} = 0

x, y

(173)

En la diferenciacion tipicamente remplazamos la delta de Kronecker por una delta de Dirac:

(x)
= 4 (x y)
(x)
Y los nuevos anticonmutadores de las operaciones de derivada funcional son:



, (y) = 4 (x y)
(x)



=0
,
(x) (x)

(174)

(175)

Cualquier elemento del algebra de Grassman se puede expandir de la siguiente forma:

Z
Z
(0)
(1)
g((x)) = g + dx1 g (x1 )(x1 )+...+ dx1 ...dxn g (n) (x1 , ..., xn )(x1 )...(xn )+... (176)
Donde los coeficientes g (i) son antisimetricos ante el intercambio de sus argumentos.
En cuanto a la integracion de los campos postulamos al igual que lo hicimos en el caso
discreto que:
Z
d(x) 1 = 0
43

d(x) (x) = 1

(177)

Una vez que definimos la integracion, ya podemos construir la integral de camino de las
variables de Grassmann. En el capitulo siguiente tomaremos como variable de Grassmann de
un algebra de Grassman de dimension infinita al campo de Dirac (x) mismo. En ese caso
vamos a necesitar extender la integral Gauiana al caso continuo. La extension de las formulas
que desarrollamos antes, pero para el caso continuo es:
 Z

Z
Z
4 0 4
0
0
4

D D exp d x d x (x )A(x , x)(x) + d x((x)(x) + (x)(x)) =

= det A exp

5.3.

Z

4 0 4

d x d x (x )A (x , x)(x)

(178)

Campo de Dirac Libre

Utilizaremos los resultados de la sub-seccion anterior para aplicarlos en la teoria del campo
de Dirac. La accion libre de este campo es:
Z

S0 [, ] = d4 x (x)(i
m)(x)
(179)
Las relaciones de anticonmutacion que se postulan en el contexto del formalismo canonico
son:
t), (y,
t)} = { (x, t), (y, t)} = 0
{(x,
t), (y, t)} = I 3 (x y)
{(x,
(180)
Las funciones de Green de interes en esta teora son:


(2n)

G (y1 , ..., yn ; x1 , ...xn ) = h0|T (yn )...(y1 )(x1 )...(xn ) |0i

Estas funciones son antisimetricas ante el intercambio de corrdenadas:
G(2n) (y1 , y2 ..., yn ; x1 , x2 , ...xn ) =
44

(181)

= G(2n) (y2 , y1 ..., yn ; x1 , x2 , ...xn ) = G(2n) (y1 , y2..., yn ; x2 , x1 , ...xn )

(182)

Es decir que si queremos aplicar el formalismo de integral funcional para esta teora, vamos a necesitar que las funciones de Green tengan esa propiedad. La forma de lograr esto es
proponiendo que los campos son campos de Grassman.
Al igual que en el caso bosonico, a partir de un funcional generatriz podremos obtener las
funciones de Green. En el caso bosonico uno performaba derivadas al funcional respecto de una
fuente externa acoplada al campo de interes. En este caso tendremos que agregar dos terminos.
.

Una fuente acoplada a : y otra fuente acoplada a :

Por lo tanto el funcional generatriz para la teora del campo de Dirac libre es:
 Z

Z
i
4

W0 [, ] = N D[]D exp
d x (x)(i
m)(x)+
~


+ (x)(x) + (x)(x)
(183)
Las fuentes y son campos de Grassman que anticonmutan y respecto a las transformaciones de Lorentz, son espinores de Dirac. Tanto las fuentes como los campos de Dirac, por ser
campos de Grassmann cumplen que:
t), (y,
t)} = {(x, t), (y,
t)} = {(x, t), (y, t)} =
{(x, t), (y, t)} = {(x,
t), (y, t)} = {(x, t), (y, t)} = {(x,
t), (y, t)} =
= {(x,
= {(x, t), (y, t)} = {(x, t), (y, t)} = {
(x, t), (y, t)} = 0
Las reglas para la diferenciacion funcional respecto de las fuentes es:

 


, (y) =
, (y) = 4 (x y)
(x)
(x)

 

 
 

=
=0
, =
, =
,
,

45

(184)

(185)

Para obtener las funciones de Green tenemos que tomar derivadas del funcional respecto de
ambas fuentes y evaluar = 0 y = 0.

 2n

~
2n W [, ]
(2n)

G (y1 , y2 , ..., yn ; x1 , x2 , ...xn ) =
(186)
i
(xn )...(x1 ) (y1 )... (yn ) ==0
Por las propiedades que enunciamos de las derivadas funcionales, las funciones de Green
obtenidas de esta manera seran antisimetricas respecto al intercambio de sus argumentos. Este
requisito es necesario por la simetra ante el intercambio de partculas que caracteriza a los
fermiones.

Para calcular el funcional generatriz de la teora del campo de Dirac libre utilizaremos la
formula de la integral Gauiana (178). Para hacer esto, utilizando la misma notacion, identificamos:
i
i
(x) = (x) , (x) = (x)
~
~
i
y
A(x0 , x) = (i~ m) 4 (x0 x)
(187)
~
Los signos relativos que aparecen dentro del primer parentesis en la expresion de A(x0 , x)
parecen extra
nos pero son consecuencia de un cambio de variables. Veamos:
Z
0 )[(i~ m) 4 (x0 x)](x) =
d4 x0 d4 x (x
=

0 )[(i~ m)(x)] 4 (x0 x) =

d4 x0 d4 x (x
Z
0 )[(i~ m)(x)]
= d4 x (x

Con estas identificaciones tenemos que el funcional es:



Z
1
4 0 4
0
1 0
W0 [, ] = exp 2 d x d x (x )A (x , x)(x)
~

46

(188)

(189)

Para encontrar una forma cerrada de la inversa del funcional buscamos su transformada de
Fourier. Para hacer esto, utilizamos la representacion de Fourier de la delta de Dirac y operamos
con lo que esta a izquierda de la delta:
Z
i
d4 p i p(x0 x)
0

A(x , x) = (i~ m)
e ~
=
~
(2~)4
Z
d4 p i p(x0 x)
i
e ~
=
( p m)
(190)
~
(2~)4
Por lo tanto, lo que esta dentro de la integral es la transformada de Fourier:
i
A(p) = ( p m)
~

(191)

Entonces, como en el espacio de Fourier A es multiplicativo, facilmente obtenemos su inversa:

A1 (p) = i~

1
m

Volviendo al espacio de las coordenadas:

Z
1
d4 p i p(x0x)
1 0
e ~
A (x , x) = i~
4

(2~)
( p m)

(192)

(193)

Para darle un sentido unvoco a la integral, le agregamos una masa imaginaria y negativa
infinitesimal a la expresion. De esta forma, la inversa de A coincide con el propagador de
Feynman de las particulas de spin 1/2 a menos de una constante:
A1 (x0 , x) = i~SF (x0 x)
Con esto escribimos el funcional:


Z
i
4
4 0
0
0
d xd x (x )SF (x x)(x)
W0 [, ] = exp
~
47

(194)

(195)

Ahora que tenemos el funcional W [J] podemos construir las funciones de Green como especificamos mas arriba. La derivada primera es:
Z
i
W0 [, ]
i
(196)
d4 x0 SF (y x0 )(x0 )e ~ ( ,SF )
=
(y)
~
La derivada segunda entonces es:
i
W0 [, ]
i
= SF (y x)e ~ (,SF )
(x) (y)
~

 2 Z
i
i
4 0 4 0
0
0
0
0
d x d y SF (y x )(x )
(y )SF (y x) e ~ (,SF )
~

(197)

Evaluando esta expresion en = 0 y = 0 obtenemos la funcion de Green de 2 puntos:


 2 2
W0 [, ] 
~
(2)
= i~SF (y x)
(198)
G0 (y; x) =
i
(x) (y) ==0

Para obtener la funcion de cuatro puntos debemos derivar primero dos veces respecto a y
luego dos veces respecto a :


4 W0 [, ]
(4)

G0 (y1 , y2; x1 , x2 ) =
(199)
(x2 )(x1 ) (y1 ) (y2) ==0
Al realizar las derivadas y evaluar en cero obtenemos:
(4)

G0 (y1 , y2 ; x1 , x2 ) = (i~)2 [SF (y1 x1 )SF (y2 x2 ) SF (y2 x1 )SF (y1 x2 )]

(200)

Observemos el signo menos entre los dos graficos. Este, tiene que ver con que las particulas
de Dirac siguen la estadstica de Fermi.
Si representaramos graficamente asociando:
i~SF (y x) = y

48

(201)

Entonces podramos escribir las funciones de Green como:

G0 (2) (y, x) =

G0 (4) (y1 , y2 , x1 , x2 ) =

y1
y2

x1
x2

(202)
y1
y2

x1
x2

(203)

Las Funciones de Green de mayor orden seguiran dando graficos similares con combinaciones
lineales de productos de propagadores con los signos adecuados para respetar la simetra.
De la misma forma en la que antes desarrollamos el funcional generatriz de una teora con
interacciones a partir del funcional generatriz sin interacciones, en las teoras con fermiones se
puede hacer exactamente lo mismo.

49

6.

Teorema de Noether

Dejando un poco de lado las aplicaciones directas a teoras particulares que estudiamos en
este trabajo utilizando el formalismo de la integral de camino, vamos a explorar ciertos resultados de caracter general de las teorias de campos que se pueden manejar muy elegantemente
con este formalismo.
En particular estudiaremos la generalizacion cuantica del Teorema de Noether; es decir,
veremos como son afectadas las simetras clasicas cuando se somete una teora a la cuantizacion.

6.1.

Teorema de Noether cl
asico

El teorema de Noether es un resultado bastante general que se aplica a un gran conjunto de teoras fsicas que poseen un principio de accion del cual se derivan las ecuaciones de
movimiento de la teora. El mismo fue formulado en el a
no 1918 por Emmy Noether [8], una
matematica que trabajaba en temas que no estaban relacionados con el teorema. En esos aos, la
relatividad general ya haba sido formulada en su forma final. A algunos cientficos de la epoca,
como Hilbert, Klein y Einstein, les preocupara el hecho de que en la relatividad general no se
conservaba la energa localmente. Fue entonces que Hilbert solicito ayuda de Emmy Noether
para clarificar estas cuestiones [9]. En ese contexto Noether publica el trabajo con el Teorema
que resuelve el Problema de la energa en la relatividad General pero que ademas establece una
conexion profunda entre las simetras y las leyes de conservacion de la fsica.
Repasemos una version de este teorema en la notacion actual. Por simplicidad en el formuleo
consideraremos una teora de campo escalar:
L = L(, )

(204)

Dada una transformacion de los campos S:

(x) 0 (x) = (x) + S (x)

(205)

Diremos que S es una simetra de la teora si las ecuaciones de movimiento son invariantes
ante la transformacion S. Pedir esto es lo mismo que pedir que la variacion de Lagrangiano
ante esta transformacion sea una derivada total. En una teora covariante (por ejemplo las de
las secciones 4 y 5) esto es pedir:
S L = (, )
50

(206)

Esto debera ser cierto independientemente de las ecuaciones de movimiento. Si este es el

caso entonces el cambio producido por la transformacion en la accion es:
S 0 = S + S S

S S =

d x =

(207)
dS

(208)

Como las ecuaciones de movimiento se obtienen variando los campos y las derivadas bajo
la condicion:
|M = 0
(209)
Entonces las ecuaciones de movimiento de S 0 y S seran las mismas ya que la diferencia entre
ambas acciones es una expresion integral en el borde de alguna funcion de los campos.
Con estos conceptos podemos enunciar el Teorema: Para cada simetra del Lagrangiano
existe una corriente j que satisface:
j = 0
(210)
Para demostrar esto partimos de (206):
= S L =

L
L
S (x) +
S (x)

( )

(211)

Ahora usaremos las ecuaciones de movimiento:

L
L

=0

( )

(212)

Entonces nos queda:

=

L
L
S (x) +
S (x)
( )
( )

51

(213)

L
S (x)
( )

j =

L
S (x)
( )

(214)

Entonces definimos la corriente:

(215)

Que satisface seg

un (214) que
j = 0

6.2.

(216)

Teorema de Noether cu
antico

Vimos en la seccion anterior que para cada simetra continua exista una corriente conservada. La pregunta ahora es: Se conservara (al nivel de los valores medios) esa corriente en la
misma teora pero cuantizada? Es decir:
?

h j i = 0

(217)

No vamos a contestar esta pregunta en general, pero vamos a analizar un tipo de simetras
particulares. Consideremos la teora del campo escalar compleja:
1
L = V ( )
2

(218)

Tenemos que el Lagrangiano es invariante  L = 0 ante la transformacion U(1) global:

0 = ei

(219)

Con global nos referimos a que  es constante. Usando el desarrollo de la subseccion anterior
podemos obtener la corriente conservada:
1
1
j =
2
2
52

(220)

Que, utilizando las transformaciones infintesimales a las que sometimos a :

= i

= i ,

(221)

nos permite escribir la corriente conservada como:

i
j = ( )
2

(222)

Donde extrajimos el factor  al redifinir la corriente.

Por supuesto, esta corriente se conserva a nivel clasico. Como hacer para ver si vale (217)?
Utilizaremos el metodo conocido como metodo de Noether. Consideremos la funcion de particion
de la teora:
 Z

Z

4
Z = D[] D[] exp d x L
(223)
La idea es, en vez de tomar la transformacion global, promoverla a una transformacion local
de las coordenadas de la integracion funcional:
0 = + i(x)

(224)

0 = i(x)

(225)

Entonces calculemos la variacion de el Lagrangiano ante esta transformacion:

L =

L
L
( ) +
( ) =
( )
( )

1
1
= (i  + i ) + (i  i ) = (x) j
2
2

(226)

Donde j es la corriente que clasicamente se conservaba. Hay otra cosa que puede cambiar
en la funcion de particion, que es la medida de integracion. Llamamos J[] al jacobiano de la
transformacion. Entonces:
J[]D[0 ] D[0 ] = D[] D[]
(227)
53

Y ahora reescribimos la funcion de particion en terminos de las nuevas variables:


 Z
Z
Z
0
0
4
4

Z = J[]D[ ] D[ ] exp d x L d x (x) j

Y haciendo una integral por partes:

 Z
Z
Z
0
0
4
4

Z = J[]D[ ] D[ ] exp d x L + d x (x) j

(228)

(229)

Por otra parte, Z no puede depender del parametro  del cambio de coordenadas funcional
que realizamos. Por eso su derivada respecto de  es nula. Entonces aprovechamos eso y tomamos
la derivada funcional del logaritmo de Z y ponemos (x) = 0:


1 Z 
log J[] 

0=
= h j (x)i +
(230)
Z (x) =0
(x) =0
Por lo tanto:


log J[] 
h j (x)i =
(x) =0

(231)

Arribamos entonces a la condicion que hace que una corriente conservada clasicamente se
siga conservando al cuantizar la teora: Si tengo una simetra global, la conservacion sobrevive
la cuantizacion si el Jacobiano de la transformacion local asociada es trivial.
Esto quiere decir que si una simetra clasica se pierde al cuantizar la teora la culpa es de
la medida de la integral de camino.
Para ser mas claros en este punto y en las complicaciones que surgen en este punto vamos a
tomar otra teora y a tratar de calcular explicitamente J[]. Tomemos un fermion de spin 1/2
sin masa. Combinandolo con una fuente externa acoplada al fermion como un campo-vector,
podemos construir la funcion Generatriz:
 Z

Z
4

Z[A] = D[]D[] exp d x (i + q A )

(232)
54

Las funciones de Green que podemos obtener derivando respecto a A son los valores de
espectacion de vacio de las corrientes. Por ejemplo:

1 Z 

hj (x)i =
(233)
Z A (x) A=0
El Lagrangiano es invariante ante las transformaciones globales U(1):
0 = ei

i
0 = e

(234)

Entonces clasicamente se conserva la corriente asociada a esta simetra:

j = i

j = 0

(235)

Por lo tanto podemos desarrollar la misma idea que formulamos mas arriba. El metodo de
Noether nos dice que consideremos la simetra global:
0 = ei(x)

i(x)
0 = e

(236)

Si calculamos como cambia el Lagrangiano ante esta transformacion obtenemos:

= j
L = i

(237)

Observamos que A no vara ya que es una fuente externa y no participa de la transformacion

de Gauge. Introduciendo este cambio de variables funcionales en el funcional generatriz tenemos
que:

 Z
Z


4

(238)
Z[A] = J[] D[]D[] exp d x (i + q A ) + j
Integrando por partes el ultimo termino de la exponencial:

 Z
Z


4

Z[A] = J[] D[]D[] exp d x (i + q A ) j

55

(239)

De la misma forma que antes, como sabemos que Z[A] no puede depender del parametro
de la transformacion, lo derivamos y ponemos A = 0. De aqu obtenemos al igual que con el
campo escalar:

log J[] 

h j (x)i =
(240)
(x) =0

Por otra parte, antes de hacer el cambio de variables, si escribimos la corriente en terminos
de los campos tenemos que:

 Z
Z
0
0
4
0

(241)
Z[A] = J[] D[ ]D[ ] exp d x (i + q A + ) =
= J[]

Donde definimos:


 Z
4
0

(x)
0
D[ ]D[ ] exp d x (i + q A ) =
0

(242)

= J[] det(i + q A(x)

)

(243)

1
A(x)
= A + (x)

(244)

Pero por otra parte sabemos que Z[A] = det(i + q A ). O sea que tenemos que:
Z[A] = det(i + q A ) = J[] det(i + q A(x)
)

(245)

Es decir que en principio podramos calcular el Jacobiano como el cociente de los dos
determinantes. Observemos por otra parte que:
ei(x) (i + q A )ei(x) = (i + q A(x)
)

(246)

Por lo tanto, con la propiedad cclica del determinante, tendramos que:

det(i + q A ) = det(i + q A(x)
)

56

(247)

Lo que implicara que:

J[] = 1

(248)

Sin embargo hay que tener cuidado, ya que los operadores a los que les estamos tomando
determinante no son matrices finitas. Son operadores no acotados y por lo tanto hay que usar alguna prescripcion para regularizarlos. Solo si uno encontrara una prescripcion de regularizacion
en la que la propiedad cclica se pudiera aplicar, entonces (248) sera cierto y la conservacion
asociada a la simetra de Gauge sobrevivira a la cuantizacion.

Referencias
[1] W. Greiner, J. Reinhardt, Field Quantization, Springer, (1996).
[2] J.J. Sakurai, Modern quantum mechanichs, Addison-Wesley, (1994).
[3] F. Schaposnik, Path Integrals, no publicado (2004).
[4] E. Schrodinger, Ann. Phys., 79, p. 489-527, (1926).
[5] W. Heisenberg, Zeitschrift fr Physik, 33 , 879-893, (1925).
[6] E. Schrodinger, Ann. Phys., 79, p. 734-756, (1926).
[7] R.P. Feynman, The principle of least action in quantum mechanics, Ph.D. Thesis, (1942).
[8] E. Noether, Nachr. d. Konig. Gesellsch. d. Wiss. zu Gottingen, Math-phys. Klasse, p.
235-257 (1918).
[9] N. Byers, Israel Mathematical Conference Proceedings, Vol. 12, (1999).

57