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 motivacion de este trabajo es extender lo estudiado en el curso Introduccion a la

teoria de Campos. En el curso mencionado se estudio la cuantizacion de diversas teoras

de campos en el contexto de la cuantizacion canonica. En este trabajo se introducen los

metodos de cuantizacion a traves del formalismo de la integral de camino.

Indice

1. Introduccion y Motivacion historica 3

1.1. Formalismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2. Sugerencia de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2. Construccion de Feynman 6

2.1. Nucleo de Feynman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62.2. Integral de Camino en la primera cuantizacion . . . . . . . . . . . . . . . . . . . 72.3. Realizacion explicita de la conjetura de Dirac . . . . . . . . . . . . . . . . . . . 112.4. Productos ordenados temporalmente y funciones de N puntos . . . . . . . . . . 132.5. Amplitud de persistencia del vacio . . . . . . . . . . . . . . . . . . . . . . . . . . 16

3. Generalizacion a Teorias de Campos 19

3.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193.2. Herramientas para calcular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

3.2.1. Campos Euclideos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213.2.2. Integrales Gaussianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223.2.3. Desarrollo en serie de W [J ] . . . . . . . . . . . . . . . . . . . . . . . . . 24

4. Cuantizacion de teoras bosonicas 27

4.1. Campo escalar libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274.2. Teora 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

5. Cuantizacion de teoras fermionicas 37

5.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375.2. Algebra de Grassmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375.3. Campo de Dirac Libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

6. Teorema de Noether 50

6.1. Teorema de Noether clasico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 506.2. Teorema de Noether cuantico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

1

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

2

1. Introduccion y Motivacion historica

1.1. Formalismos

Las primeras construcciones matematicas consistentes del proceso que llamamos cuanti-zacion son aquellas que se deducen de los esbozos desarrollados por Erwin Schrodinger [4] yWerner Heisenberg [5] alrededor del ano 1926. Estas formulaciones fueron posteriormente es-tructuradas en un conjunto de postulados en los que la idea principal es elevar las variablesclasicas de un sistema a operadores y establecer, en analoga a los corchetes de Poisson clasi-cos, un algebra de anticonmutacion de estos operadores. Las magnitudes fisicas son pues losautoestados de los operadores hermiticos que describen los observables fisicos.

La diferencia entre la formulacion de Heisenberg y la de Schrodinger esta en la distincionde cual es el objeto que evoluciona en el tiempo. En ambas formulaciones existe un estado quedescribe todo aquello que podemos conocer del sistema (Interpretacion de Copenhaguen) que enla representacion de Schrodinger evoluciona en el tiempo y en la representacion de Heisenbergno. Por otra parte, los operadores estan fijos en el tiempo en Schrodinger y varian en el tiempoen Heisenberg.

El mismo ano en el que Schrodinger formula la mecanica ondulatoria, demuestra [6] laequivalencia entre esta y la mecanica matricial de Heisenberg. Este hecho, una vez establecidoel formalismo de Dirac de la mecanica cuantica en el espacio de estados, resulta bastanteevidente 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 laintegral de camino es bastante diferentes a las formulaciones antes mencionadas. Sabemos agrandes 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 vieneesto? Como se dio cuenta Feynmann? Que relacion hay?

Sucede que R. Feynmann se detuvo a pensar algunas observaciones no muy precisas hechaspor P. Dirac en su libro de Mecanica Cuantica, segun relata Sakurai [2]. Veamos cual es elrazonamiento de Dirac mas en detalle. Supongamos que tenemos la funcion de onda en larepresentacion de Schrodinger:

(q, t) = q|(t)S (1)

3

Sin perdida de generalidad podemos escribir de la siguiente forma:

(q, t) = A(q, t)ei~(q,t) (2)

Donde A y son funciones reales. La idea es ahora introducir la funcion de onda en estanueva forma funcional dentro de la ecuacion de Schrodinger. Supongamos un hamiltoniano dela forma H = ~

2

2m2 + V (q, t), entonces la ecuacion queda:

i~

me

i~~.~A

~2

2me

i~2A

i~

2me

i~A2+

1

2me

i~A|~|

2+ V (q, t)e

i~A =

=

te

i~A + i~e

i~A

t(3)

Si eliminamos las exponenciales queda:

i~

m~.~A

~2

2m2A

i~

2mA2+

1

2mA|~|

2+ V (q, t)A =

tA+ i~

A

t(4)

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

1

2m|~(q, t)|

2+ V (q, t) +

(q, t)

t= 0 (5)

Vemos que esta ecuacion es la misma que satisface la accion clasica en la ecuacion deHamilton-Jacobi:

H(~q,S(q, t)

~q) +

S

t= 0 (6)

Esto nos dice que, en el limite clasico la fase de la funcion de onda es la accion clasica comofuncion de las coordenadas. Entonces esto nos sugiere que cuanticamente, estos objetos estanrelacionados. Por otra parte como sabemos que la trayectoria clasica es aquella que minimizala accion, pero que cuanticamente la trayectoria no tiene sentido alguno entonces la relacioncuantica entre la accion clasica y la fase de la funcion de onda debe darse teniendo en cuentano solo la trayectoria clasica sino que todas las trayectorias posibles.

De ah que Dirac realiza la siguiente sugerencia:

4

(q, t)

trayectorias

exp(i

~S) (7)

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

5

2. Construccion de Feynman

2.1. Nucleo de Feynman

Antes de hacer la contruccion repasemos un poco la descripcion de Schrodinger y Heisenbergen el espacio de estados. El estado en la representacion de Schrodinger depende del tiempo yen el tiempo considerado como inicial, es igual al estado en la representacion de Heisenberg:

|(t)S = U(t, t0)|(t0)S = U(t, t0)|H (8)

Donde U es el operador de evolucion en el tiempo que lleva al sistema del tiempo t0 al tiempot.

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 repre-sentacion de Heisenberg los autoestados evolucionan en el tiempo:

AS|aiS = ai|aiS entonces U1ASUU

1|aiS = aiU1|aiS

AH(t)|ai(t)H = ai|ai(t)S donde U1ASU = AH(t) y U

1|aiS = |ai(t)H (9)

De esta manera los valores medios de los observables y la probabiladad de observar el esta-do del sistema con un determinado valor de una magnitud fisica son equivalentes en ambasformulaciones:

AS = (t)|AS|(t)S = |AH(t)|H

Pai = (t)|S|aiai||(t)S = |H|ai(t)ai(t)||H (10)

Tomemos el operador posicion en la representacion de Heisenberg. Como decamos antes, losautoestados de los observables forman una base completa y ortonormal del espacio de Hilbert.Esto implica que:

q(t)|q(t) = (q q) y 1 =

dq|q(t)q(t)| (11)

Entonces observemos que, utilizando la segunda identidad de la formula (11) la funcion deonda satisface lo siguiente:

(q, t) = q, t|H =

dq(q, t)q, t|q, t (12)

6

Esta ecuacion nos dice que si conocemos la funcion de onda en un tiempo inicial, podemosestudiar su evolucion mientras conozcamos q, t|q, t que se denomina Nucleo de Feynman.Es decir que en vez de utilizar la ecuacion de Schrodinger o la de Heisenberg para estudiar laevolucion temporal del sistema, alcanza con conocer el nucleo. Este es el punto de partida parala construccion de Feynman.

Por otra parte, el nucleo de Feynman tiene una interpretacion clara en el contexto de laformulacion canonica: Es la amplitud de probabilidad de encontrar el sistema en la posicion q

a tiempo t si se encontraba en q a tiempo t.

2.2. Integral de Camino en la primera cuantizacion

A continuacion obtendremos una expresion del nucleo de Feynman a partir de una integralfuncional. La novedad de esto, es que veremos que en el calculo ya no va a ser necesario hablardel espacio de estados y de operadores. Independientemente del poder que se pueda alcanzar conesta nueva formulacion, en cuanto a la posibilidad para obtener predicciones fisicas de la teoray la capacidad de hacer analisis del contenido matematico de la misma, esta nueva formulacionabre 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 interpretacionesfisicas de las situaciones que se presentan son posibles con este formalismo. A pesar de que lasinterpretaciones no son consecuencias logicas objetivas de la teora, las mismas son la fuente deinspiracion para la creacion y reformulacion de nuevas teoras fsicas.

Tomemos el intervalo t t y dividamoslo en N intervalos de tamano . Entonces utilizandola completitud de los autoestados del operador posicion en la representacion de Heisenbergvarias veces, podemos escribir:

q, t|q, t = qN , tN |q0, t0 =

dq1..dqN1qN , tN |qN1, tN1...q1, t1|q0, t0 =

=

N1i=1

dqi

N1n=0

qn+1, tn+1|qn, tn (13)

La interpretacion de esta ecuacion es clara si observamos la figura 1, tipica para iluminar estepunto. Las integrales realizan la suma de las amplitudes de probabilidad sobre todas las posiblestrayectorias que unen los extremos que estan fijos. Es decir, que la amplitud de probabilidad deir de q, t a q, t 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. Esta descomposicion es razonable solo si la evaluacion esmas sencilla en las amplitudes intermedias. Como veremos, este es el caso si los intervalos soninfinitesimales. Cada una de las amplitudes intermedias se denomina transferencia. Estudiemosuna en particular y despues volvemos a (13). Para esto llevemos los brackets a los vectores basede la representacion de Schrodinger. Cada una de las amplitudes es de la forma:

qn+1, tn+1|qn, tn = qn+1| exp(i

~H)|qn = qn+1|1

i

~H|qn+O(

2) (14)

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

qn+1|H|qn =

dp

2pi~qn+1|pnpn|H(p, q)|qn (15)

8

Evaluar el elemento de matriz del hamiltoniano no es trivial. Si los terminos del hamiltonianofueran sumas de terminos con p y q independientes entonces nos quedara:

pn|H(p, q)|qn = H(pn, qn)pn|qn (16)

Pero podra suceder que el hamiltoniano tuviera terminos con combinaciones de p y q. Poresto, tenemos que asumir algo respecto al hamiltoniano. La suposicion mas simetrica es pensarque los terminos combinados aparecen como la suma de las permutaciones de los productos delos operadores p y q (ordenamiento de Weyl). Se puede probar (ver [1], pag 347) que en esecaso el elemento de matriz da lo siguiente:

pn|H(p, q)|qn = H(pn,qn+1 + qn

2)pn|qn (17)

Para seguir las dos posibilidades definiremos qn de manera que puede ser igual a qn o aqn+qn+1

2segun querramos. Utilizando esta definicion y volviendo a (14) tenemos que:

qn+1, tn+1|qn, tn =

dpn2pi~

exp(i

~(qn+1 qn)pn)(1

i

~H(pn, qn)) (18)

Insertemos esto en (13):

q, t|q, t = lmN

lm0

N1i=1

dqi

N1n=0

dpn2pi~

exp(i

~(qn+1 qn)pn)(1

i

~H(pn, qn)) (19)

Ahora vamos a usar la siguiente propiedad de la exponencial:

lmN

(1 +

x

N

)N= ex (20)

Cuya generalizacion, para una sucesion es:

lmN

N1n=0

(1 +

xnN

)= exp

(lmN

1

N

N1n=0

xn

)(21)

9

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

q, t|q, t = lmN

lm0

N1i=1

dqi

N1n=0

dpn2pi~

exp

[i

~

N1n=0

(pn(qn+1 qn)

H(pn, qn)

)](22)

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

(qn+1 qn)

q(tn) ,

N1n=0

f(tn)

tt

f()d

N1n=0

dqn

N1n=0

dpn2pi~

Dq

Dp (23)

Entonces la expresion para el nucleo de Feynman queda:

q, t|q, t =

Dq

Dp exp

(i

~

tt

(pq H(p, q))d

)(24)

La integral aqu construda se denomina integral funcional o integral de camino. La mismase extiende sobre todas las funciones p() y las funciones q() que cumplen que q(t) = q y queq(t) = q. Vale la pena remarcar que la funcion obtenida en el exponente, a pesar de ser similaral 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, enun problema conocido como caminata al azar. La diferencia en ese caso es que la exponencialposea un argumento real negativo lo que aseguraba la convergencia. Nuestra integral funcionalno posee ese beneficio; sin embargo es posible usar un artificio de extender analticamente eltiempo 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

2m+ V (q) (25)

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

qn+1, tn+1|qn, tn =

dpn2pi~

exp

[i

~

(pn(qn+1 qn)

pn

2

2m V (qn)

)]=

=

dpn2pi~

exp

[i

~

(pnqn

pn2

2m V (qn)

)](26)

Ahora completamos cuadrados para poder realizar la integral Gaussiana:

qn+1, tn+1|qn, tn =

dpn2pi~

exp

[i

~

(m2qn

2 (pn mqn)2

2m V (qn)

)](27)

Luego hacemos el cambio de variables: pn = pn mqn y nos queda:

qn+1, tn+1|qn, tn = exp

[i

~

(mqn

2

2 V (qn)

)]dpn2pi~

exp

(i

~

pn2

2m

)(28)

Ahora hacemos la integral Gaussiana usando la formula:

dx ezx2

=

pi

z, Re(z) > 0 (29)

Nuestra integral tiene Re(z) = 0 ya que el argumento es imaginario puro. Sin embargoutilizamos la formula (29) pensando en una continuacion analtica. Por lo tanto:

qn+1, tn+1|qn, tn = exp

[i

~

(mqn

2

2 V (qn)

)]( m2pii~

)1/2(30)

11

Insertando esto en 13 y tomando el lmite:

q, t|q, t = lmN

( m2pii~

)N/2 N1n=1

dqn exp

[i

~

(mqn

2

2 V (qn)

)]

=

Dq exp

[i

~

tt

d

(mq2

2 V (q)

)]

=

Dq exp

(i

~

tt

dL(q, q)

)

=

Dq e

i~S[q,q] (31)

El valor de la constante de normalizacion no esta bien definido en el liminte cuandoN , sin embargo lo que interesa de la integral funcional es la dependencia funcional y nosu valor explcito.

En la formula (31) vemos explcitamente realizada la conjetura de Dirac. No es la funcion deonda 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 pequeno comparado con S[p, q] entonces el argumento de la exponencial oscilafuertemente y todas las contribuciones se cancelan excepto las de aquellas trayectorias dondela accion no vare, donde es estacionaria: S = 0. Justamente la trayectoria clasica es aquellaque hace estacionaria a la accion.

El desarrollo hasta ahora realizado fue hecho para un solo grado de libertad en el espacio deconfiguracion. 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 unaa otra asumimos la dependencia cuadratica de los momentos del hamiltoniano, con coeficientesconstantes. Si la dependencia hubiera sido mas complicada, tambien hubiera sido posible llegarde una formulacion a la otra. Por ejemplo, supongamos que el Lagrangiano es de la forma:

L(~q, ~q) =1

2~q

tM(q)~q V (~q) (32)

En este caso el Hamiltoniano sera cuadratico en el momento con coeficientes que dependerande 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 representacionde Heisenberg utilizando la integral funcional. Supongamos que t > ti > t, entonces:

q, t|q(ti)|q, t =

dq1...dqN1qN , tN |qN1, tN1...qi+1, ti+1|q(ti)|qi, ti...q1, t1|q0, t0 =

=

Dq

Dp q(ti) exp

(i

~

tt

(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, t

],entonces:

q, t|q(ti)q(tj)|q, t =

dq1...dqN1qN , tN |qN1, tN1...qi+1, ti+1|q(ti)|qi, ti...

...qj+1, tj+1|q(tj)|qj, tj...q1, t1|q0, t0 =

Dq

Dp q(ti)q(tj) exp

(i

~

tt

(pq H(p, q))d

)

(34)

Si hubieramos dicho que tj > ti entonces la cuenta que hicimos recien no hubiera tenidosentido ya que la particion del intervalo [t, t] la hicimos de forma ordenada de derecha a izquier-da. Pero, por otra parte, si invertamos el orden de los operadores, entonces la cuenta hubieradado lo mismo. Vemos entonces, que la nocion de orden temporal, ya viene automaticamenteincorporada a la integral funcional, entonces:

q, t|T [q(ti)q(tj)]|q, t =

Dq

Dp q(ti)q(tj) exp

(i

~

tt

(pq H(p, q))d

)(35)

Generalizando esta nocion, tenemos que el valor de expectacion del producto ordenadotemporalmente de n operadores q es:

q, t|T [q(t1)...q(tn)]|q, t =

Dq

Dp q(t1)...q(tn) exp

(i

~

tt

(pq H(p, q))d

)(36)

13

Ademas, si el Hamiltoniano es cuadratico en el momento, se puede llevar esta expresion ala forma de Feynman:

q, t|T [q(t1)...q(tn)]|q, t =

Dq q(t1)...q(tn) exp

(i

~S[q, q]

)(37)

Donde la accion es la integral temporal del Lagrangiano en el intervalo [t, t].Ahora queremos estudiar el valor de expectacion de vacio de un producto ordenado de

operadores:G(t1, t2) = 0|T [q(t1)q(t2))]|0 (38)

Cuando estudiamos el formalismo canonico de teoras de campos en el curso, vimos queestas funciones son utiles en el estudio de la matriz S y representan los propagadores de lasdistintas teoras. Para hacer esto, tomamos una base de los autoestados del Hamiltoniano enla representacion de Schrodinger:

H|n = En|n tal que 1 =n=0

|nn| (39)

Entonces tenemos que:

|q, t = ei~Htn=0

|nn|q =n=0

ei~Entn(q)|n (40)

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

q, t|T [q(t1)q(t2))]|q, t =n,n=0

ei~(EntEn t

)n(q)n(q)n

|T [q(t1)q(t2)]|n (41)

Ahora queremos tomar el lmite cuando t y cuando t para quedarnos solo conun termino de la suma en (41). En principio esto parecera erroneo porque todos los exponentesoscilan. Pero vamos a usar el artificio matematico que ya nombramos antes, que consiste en rotaral tiempo en el plano complejo. Definimos: = eit y = eit. En la figura 2 se esquematiza larotacion. Cuando tomemos el lmite en vez de hacer ei y ei, haremos

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 ty t. Es decir que lo que estamos haciendo es una continuacion analtica. Tomaremos como valor = pi/2. En este caso y en el lmite mencionado todas las exponenciales son decrecientes, porlo tanto solo dejamos aquella que predomina en el lmite, es decir, la del estado fundamental(asumiendo que no esta degenerado). Entonces nos queda:

lm

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

E0~

( )0(q)0(q)0|T [q(t1)q(t2)]|0 (42)

Ademas observemos que el termino que acompaa al valor de expecacion de vaco es igual alnucleo de Feynman en el mismo lmite recien explicado. Entonces tenemos que:

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

lm q,i |q,i(43)

Ahora hacemos la continuacion analtica de este lmite pero girando hacia atras:

0|T [q(t1)q(t2)]|0 =lmt tq, t|T [q(t1)q(t2))]|q, t

lmt tq, t|q, t(44)

15

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

0|T [q(t1)q(t2)]|0 =

DqDp q(t1)q(t2) exp

(i~

(pq H(p, q))d)

DqDp exp

(i~

(pq H(p, q))d) (45)

Y ademas puedo generalizar a un producto de mas operadores:

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

DqDp q(t1)...q(tn) exp

(i~

(pq H(p, q))d)

DqDp exp

(i~

(pq H(p, q))d) (46)

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

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

Dq q(t1)...q(tn) exp

(i~

L(q, q)d)

Dq exp

(i~

L(q, q)d) (47)

Al denominador de esta expresion, muchas veces se lo llama, en analoga con la Mecanicaestadstica, funcion de particion.

2.5. Amplitud de persistencia del vacio

Vamos a estudiar ahora que sucede si perturbamos a un sistema con una fuente externaJ(t) acoplada en la forma J(t)q que vara en el tiempo. Supongamos que la fuente se prendeen t1 y se apaga en t2 de manera que t < t1 < t2 < t

. Calculemos el nucleo de Feynman enpresencia de esta fuente.

q, t|q, tJ =

Dq

Dp exp

(i

~

tt

(pq H(p, q) + J()q)d

)(48)

16

Como hicimos al final de la secion anterior, vamos a buscar magnitudes fsicas relevantesestudiando el lmite cuando t y t . Teniendo en cuenta que en los intervalos [t, t1]y [t2, t

] la fuente esta apagada, entonces podemos escribir que:

q, t|q, tJ =

dq1dq2q

, t|q2, t2q2, t2|q1, t1Jq1, t1|q, t (49)

Por otra parte, los bra-kets que estan afuera de la perturbacion J(t) satisfacen que:

q, t|q2, t2 = q|e

i~H(tt2)|q2 =

n=0

n(q)n

(q2)e i

~En(tt2)

Y ademas q1, t1|q, t = q1|e i

~H(t1t)|q =

n=0

n(q1)n(q)e

i~En(t1t) (50)

Introduciendo esto en (49) nos queda que:

q, t|q, tJ =n,n

n(q)n(q

)ei~(En t

Ent)

dq1dq2n(q1, t1)n

(q2, t2)q2, t2|q1, t1J (51)

Ahora usamos el mismo truco de rotar el tiempo y tomar el lmite y quedarnos con laexponencial predominante:

q,i |q,iJ 0(q)0(q

)e1

~E0( )

dq1dq20(q1, t1)0

(q2, t2)q2, t2|q1, t1J =

= 0(q)0(q

)e1

~E0( )

dq1dq20|q2, t2q2, t2|q1, t1Jq1, t1|0 (52)

Excepto por el termino frente a la integral, el resto se podra interpretar como la amplitudde 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:

W [J ] = 0|0J =

dq1dq20|q2, t2q2, t2|q1, t1Jq1, t1|0 (53)

Pero con lo que ya desarrollamos podemos evaluar W [J ] como:

W [J ] = lm

q,i |q,iJ0

(q,i)0(q,i )= lm

q,i |q,iJq,i |q,i

=

17

= lmt t

q, t|q, tJq, t|q, t

=

Dq

Dp exp

(i

~

(pq H(p, q) + J()q)d

)(54)

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

W [J ] = Dq

exp

(i

~

(L(q, q) + J()q)d

)(55)

La construccion de esta seccion fue hecha para un grado de libertad unicamente. Sin em-bargo, la generalizacion para un numero arbitrario de grados de libertad es inmediata. En esecaso, la perturbacion entrara al Lagrangiano como

qaJa(t):

W [J1, ..., Jd] =

a

Dqaa

Dpa exp

[i

~

(a

paqa H +a

Ja()qa

)d

]=

=

a

Dqa exp

[i

~

(L+

a

Ja()qa

)d

](56)

Donde la ultima ecuacion solo vale para el caso del Lagrangiano con dependencia cuadraticaen las velocidades.

Observemos que sucede si tomamos derivadas de la W [J ] respecto de J

nW [J ]

J(t1)...J(tn)=

(i

~

)n Dq

Dp q(t1)...q(tn) exp

(i

~

(pq H(p, q) + J()q)d

)(57)

Por lo tanto vemos que si evaluamos en J = 0 obtenemos el valor de expectacion de vacodel producto ordenado temporalmente de operadores:

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

(~

i

)nnW [J ]

J(t1)...J(tn)

J=0

(58)

18

3. Generalizacion a Teorias de Campos

3.1. Introduccion

Hasta ahora estuvimos desarrollando el formalismo de la integral de camino en el contextode la primera cuantizacion, es decir, en teoras con un numero de grados de libertad finitos yque en particular no eran relativistas. Por otra parte muchos de los desarrollos los hicimos parasistemas con un solo grado de libertad y dijimos que generalizarlos a muchos era una cuestionformalmente trivial.

Sabemos ademas que las teoras de campos cuanticas las podemos pensar como teoras dela mecanica cuantica ordinaria pero con un numero infinto (continuo) de grados de libertad.Podemos pensar al espacio como una red de M cubos de tamao V y que el campo en cadauno de los cubos toma un valor: (xl, t) = l(t). De manera que podemos pensar a este sistemacomo uno ordinario de la mecanica cuantica con M grados de libertad, donde haremos tendera 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 unateora de campos, es inmediata. Veamos como queda. En el formalismo canonico el campo pasaa ser un operador:

(x, t) (x, t) (59)

Este operador tiene una conjunto de autoestados:

(x, t)|, t = (x)|, t (60)

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

|, t = ei~Ht| (61)

Entonces la generalizacion del nucleo de Feynman sera:

, t|, t = |ei~H(tt)| =

=

D[]

D[pi] exp

[i

~

tt

dt

d3x (pi0H)

](62)

19

Ademas, si la densidad Lagrangiana (L = L(, )) es una funcion cuadratica de 0entonces la integral funcional se puede llevar a la forma de Feynman:

, t|, t = N

D[] exp

[i

~

tt

dt

d3xL(, )

](63)

Esta condicion (de velocidades cuadraticas) es mas que comun en el contexto de teoras decampos. En particular, la teora del campo escalar con autointeracciones es:

L =~2

2

1

2m22 V () =

~2

2(0)

2 ~2

2|~|2

1

2m22 V () (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:

0|T [(x1), ..., (xn)]|0 =

D[] (x1)...(xn) exp

(i~

d4xL(, )

)D[] exp

(i~

d4xL(, )

) (65)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:

W [J ] = N D[] exp

[i

~

d4x (L+ J(x))

](66)

Y, por ultimo, a partir de W [J ] podemos construir los valores de expectacion de vaco delproducto ordenado temporalmente de operadores de campo:

0|T [(x1), ..., (xn)]|0 =

(~

i

)nnZ[J ]

J(x1)...J(xn)

J=0

(67)

20

3.2. Herramientas para calcular

Para poder empezar a hacer explicitemente alguna cuenta necesitamos tres herramientasimportantes:

Campos Euclideos: Es la realizacion explicita de la rotacion de Wick previamenteexplicada.

Integrales Gaussianas: Una forma generalizada de ellas es escencial para hacer lascuentas en teoras de campos.

Desarrollo en serie de W [J ]: Como suceda en el formalismo canonico, las teoras coninteraccion solo pueden ser estudiadas en forma perturbativa. Por lo tanto necesitamosentender 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 matematicamentemal definidas se realiza una rotacion en el plano complejo del tiempo. Esto permite que lasexponenciales no oscilen solamente, sino que tambien decaigan para hacer que las integralessean convergentes. La eleccion mas elegante es rotar el tiempo en un cuarto de giro en sentidohorario. Esta eleccion es la rotacion de Wick. La justificacion matematica para poder haceresto se basa en la analiticidad de todas las expresiones que estamos analizando en la variabledel tiempo. En los casos de teoras libres, se puede probar explicitamente que esta analiticidades 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. Elespacio-tiempo pasa a tener una estructura euclideana. Definamos las nuevas coordenadas carte-sianas 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 nonecesitara justificacion si el nuevo tiempo adquiriera un valor siempre imaginario puro. Lo queintroduce una nocion perturbante (pero correcta por la anliticidad) es que de ahora en mastomaremos el nuevo tiempo xE4 como un numero real. Ahora si, con esta nocion tenemos unespacio-tiempo euclideando en el que definimos el producto escalar:

xExE = xE1xE1 + xE2xE2 + xE3xE3 + xE4xE4 ,

21

y en particular xExE = (xE1)2 + (xE2)

2 + (xE3)2 + (xE4)

2 = xx = 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 euclideopE = (pE1, pE2, pE3, pE4):

pE4 = ip0 y ~pE = ~p (70)

Veamos como queda entonces la transformada de Fourier de una funcion que es cuadraticaen el momento:

g(x) =

d4p

(2pi)4eip.xf(p2) = i

d4pE(2pi)4

ei(p4x4~pE .~xE)f(pE2) =

= i

d4pE(2pi)4

ei(p4x4+~pE.~xE)f(pE

2) = i

d4pE(2pi)4

eipE .xEf(pE2) (71)

Donde usamos que d4p = id4pE. En la transformada inversa hubieramos tenido que: d4x =

id4xE . Esto ultimo lo necesitamos para escribir la forma de la integral funcional de la teorapara el campo escalar con autointeraccion. El lagrangiano cambia de la siguiente forma:

L =~2

2(0)

2 ~2

2|~|2

1

2m22 V () =

[~2

2((4)

2 + |~|2) +1

2m22 + V ()

](72)

Con todo esto, tenemos que amplitud de persistencia de vaco queda:

WE[J ] = NE

D[] exp

[1

~

d4x

(~2

2EE+

1

2m22 + V () J(x)

)](73)

3.2.2. Integrales Gaussianas

Para realizar algunos calculos en teoras de campos necesitaremos ciertas generalizacionesde la famosa integral gaussiana, cuya version mas simple es:

+

dx ezx2

=

pi

z(74)

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

22

Proposicion 1. Sean x e y dos vectores D-dimensionales y A una matriz real simetrica definidapositiva de DxD dimensiones. Entonces se cumple que:

1.dDx exp

(1

2xTAx

)= (2pi)D/2 exp

(1

2Tr lnA

)2.dDx exp

(1

2xTAx+ yTx

)= (2pi)D/2 exp

(1

2Tr lnA

)exp

(12ytA1y

)

Notemos que exp(Tr(lnB)) = detB. Ahora haremos una generalizacion mas abstracta deestas integrales. Los vectores y matrices involucrados en la proposicion 1 son de dimension finitay 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:

(f, g) =

d4xE f(xE)g(xE) (75)

La segunda ecuacion de la Proposicion 1 nos daba el resultado para:dDx exp

(1

2(x,Ax)c + (y, x)c

)(76)

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

esta ultima integral con la analoga del producto escalar. Es decir:dDx exp

(1

2(x,Ax)c + (y, x)c

)

D[] exp

(1

2(,A) + (, )

)(77)

donde A es algun operador integral. En el resultado de esta integral que estamos analizandono aparece ninguna referencia a la dimension excepto en el factor 2pi que a nosotros no nos vaa importar en nuestras integrales funcionales. Por lo tanto tenemos que:

D[] exp

(1

2(,A) + (, )

)= (detA)

1

2 e1

2(,A1) (78)

23

3.2.3. Desarrollo en serie de W [J ]

Para el siguiente desarrollo utilizaremos la teora del escalar con autointeracciones solo poruna cuestion de simplicidad.

Trabajemos con el siguiente Lagrangiano:

L = L0 + Lint =~2

2

1

2m22 gV () (79)

El funcional generatriz esta dado por:

W [J ] = N

D[] exp

(i

~

d4x gV ()

)exp

(i

~

d4x (L0 + J)

)(80)

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

J(x)exp

[i

~

d4x(L+ J)

]=i

~(x) exp

[i

~

d4x(L+ J)

](81)

Entonces, mientras estemos operando a izquierda del segundo multiplicando de (80), pode-mos hacer la asociacion:

(x) ~

i

J(x)(82)

Insertando esto en la dependencia en que tiene el termino de interaccion V () podemossacar entonces fuera de la integral funcional ese termino y nos queda:

W [J ] = N exp

(i

~

d4x gV

(~

i

J(x)

))W0[J ] (83)

El factor de normalizacion queda determinado por la condicion W [0] = 1:

N1 = exp

(i

~

d4x gV

(~

i

J(x)

))W0[J ]

J=0

(84)

24

Ahora si, podramos hacer una expansion en serie de la exponencial en potencias de g. Elproblema es que el factor N tambien depende de g. Esto trae una complicacion pero que sepuede solucionar. Escribamos la serie en potencias de g de la siguiente manera:

W [J ] = W0[J ](1 + gw1[J ] + g2w2[J ] + ...) (85)

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

exp

(i

~

d4x gV

(~

i

J(x)

))W0[J ] =W0[J ](1 + gu1[J ] + g

2u2[J ] + ...) (86)

De la expansion de taylor de la exponencial nos queda:

u1[J ] =W0[J ]1

(i

~

d4x V

(~

i

J(x)

))W0[J ]

u2[J ] =W0[J ]1 1

2!

(i

~

d4x V

(~

i

J(x)

))(i

~

d4y V

(~

i

J(x)

))W0[J ]

u3[J ] = ... (87)

Por lo tanto la funcion generatriz sera:

W [J ] =W0[J ]1 + gu1[J ] + g

2u2[J ] + ...

1 + gu1[0] + g2u2[0] + ...=W0[J ]

k=0

gkuk[J ]

k=0

gkuk[0](88)

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

k=0

gkwk[J ] =

k=0

gkuk[J ]

k=0

gkuk[0](89)

25

Si paso la suma que esta dividiendo y realizo la multiplicacion de las series, obtengo:

uk[J ] =

ki=0

wki[J ]ui[0] (90)

Utilizando como datos que u0[0] = 1, u0[J ] = 1 y w0[J ] = 1 puedo realizar una recurrenciacon 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. Cuantizacion de teoras bosonicas

4.1. Campo escalar libre

Ahora vamos a trabajar explicitamente con el funcional WE0 [J ] para el campo escalar sininteracciones:

WE0 [J ] = NE

D[] exp

[1

~

d4x

(~2

2EE+

1

2m22 J

)](92)

La integral de camino debe calcularse y despues hacer la rotacion inversa de Wick para volvera Minkowski. Para calcular esta integral usamos las formulas Gaussianas que desarrollamos enla seccion anterior.

La formula que habamos obtenido deca que:D[] exp

(1

2(,A) + (, )

)(93)

entonces identificamos a A y de la siguiente manera:

A(xE , xE) =1

~(~2E

E +m

2)4(xE xE)

(xE) =J(xE)

~(94)

Usamos el producto interno usual del espacio de funciones y el producto matricial(integral) demanera que:

(,A) =

d4xE d

4xE (xE)A(x

E , xE)(xE) (95)

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

WE0 [J ] = NE(detA) 1

2 exp

[1

2~2

d4xE d

4xE J(xE)A

1(xE , xE)J(xE)

]=

= exp

[1

2~2

d4xE d

4xE J(xE)A

1(xE , xE)J(xE)

](96)

donde en el ultimo paso use que WE0 [0] = 1 para fijar NE.

27

Ahora necesitamos A1. Observemos que por la definicion de multiplicacion matricial (in-tegral) tenemos que A1 cumple que:

d4xE A1(xE , xE)A(xE , x

E) =

4(xE xE) (97)

En el espacio de los momentos el operador A es multiplicativo, entonces su inversa esta dadapor:

A1(pE) =~

p2E +m2

(98)

Lo que en el espacio de las cordenadas se obtiene transformando Fourier:

A1(xE , xE) =

d4pE(2pi~)4

ei~pE .(x

ExE)

~

p2E +m2

(99)

Definimos el propagador de Feynman euclideano:

EF (xE xE) =

1

~A1(xE , xE) =

d4pE(2pi~)4

ei~pE .(x

ExE)

p2E +m2

(100)

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

EF (xE xE) = i

d4p

(2pi~)4e

i~p.(xx)

p2 m2= iF (x

x) (101)

Donde recuperamos la expresion del propagador de Feynman que habamos obtenido conel formalismo canonico. La integracion en el tiempo debe hacerse esquivando los polos que hayen 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:

W0[J ] = exp

[i

2~

d4x d4x J(x)F (x

x)J(x)

](102)

28

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

~

i

W0[J ]

J(x1)=

[d4x J(x)F (x x1)

]exp

(i

2~(J,FJ)

)(103)

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

Ahora tomo la segunda derivada:(~

i

)22W0[J ]

J(x1)J(x2)=

~

i

[F (x1 x2)

i

~

d4x J(x)F (x x1)

d4x J(x)F (x x2)

]

exp

(i

2~(J,FJ)

)(104)

Tomando J = 0 nos queda la funcion de Green de dos puntos. La misma es igual al propa-gador de Feynman a menos de una constante:

G(2)0 (x1, x2) =

(~

i

)22W0[J ]

J(x1)J(x2)

J=0

= i~F (x1 x2) (105)

Ahora tomamos la tercera derivada:(~

i

)33W0[J ]

J(x1)J(x2)J(x3)=

~

i

[F (x1 x2)

d4x J(x)F (x x3)+

+F (x1 x3)

d4x J(x)F (x x2) + F (x2 x3)

d4x J(x)F (x x1)

i

~

d4x J(x)F (xx1)

d4x J(x)F (xx2)

d4x J(x)F (xx3)

]exp

(i

2~(J,FJ)

)(106)

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

Por ultimo, tomamos la cuarta derivada. Esta vez, ya se puede ver cuales son los terminos quevan a anularse cuando evaluemos en J = 0 entonces esos terminos no los desarrollamos:(

~

i

)44W0[J ]

J(x1)J(x2)J(x3)J(x4)=

(~

i

)2 [F (x1 x2)F (x3 x4)+

29

+F (x1 x3)F (x2 x4) + F (x2 x3)F (x1 x4) + ...

]exp

(i

2~(J,FJ)

)(107)

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

G(4)0 (x1, x2, x3, x4) = (i~)

2

[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 seconoce como diagramas de Feynman. A cada termino i~F (x1 x2) se le asigna una linea queune los puntos x1 con x2. Entonces tendramos:

G0(2)(x1, x2) = x1 x2 (109)

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

x3x2x4 + x1

x3x2x4 + x1

x3x2x4 (110)

El hecho de que en la funcion de cuatro puntos aparezcan tres graficos tiene que ver conla indistinguibilidad de las particulas. Se puede probar asi mismo que todas las funciones deGreen con un numero impar de puntos se anulan. Por otra parte todas las funciones de greencon 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 siempreredundantes ya que tendran graficos desconectados como lo vimos en la funcion de cuatropuntos. Para evitar este tipo de contribuciones se define el funcional generatriz para funcionesde Green irreducibles Z[J]:

W [J ] = ei~Z[J ] (111)

Las funciones de Green conectadas se obtienen haciendo:

G(n)c (x1, ..., xn) =

(~

i

)n1nZ[J ]

J(x1)...J(xn)

J=0

(112)

30

Volviendo en particular a la teora que estabamos estudiando, le tomamos el logaritmo aW0[J ] para obtener:

Z0[J ] = 1

2

d4x d4x J(x)F (x

x)J(x) (113)

De manera que tomando las derivadas tenemos que:

G(1)0c (x1) =

Z[J ]

J(x1)

J=0

= 0 ,

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

~

i

2Z[J ]

J(x1)J(x1)

J=0

= i~F (x1 x2) y ademas

G(n)0c (x1, ..., xn) = 0 n > 2 (114)

El hecho de que todas las funciones de Green conectadas sean nulas para n > 2 tiene sentidoya 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. Ahoravamos a tomas una teora con interacciones. En particular tomaremos la teora del campoescalar con autointeracciones cuyo Lagrangiano es:

L = L0 + Lint =~2

2

1

2m22 gV () (115)

En particular tomaremos la autointeraccion:

gV () =g

4!4 (116)

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

u1[J ] =W0[J ]1

(i

~

d4x V

(~

i

J(x)

))W0[J ] =

31

= W0[J ]1 i

4!~

d4x

(~

i

J(x)

)4W0[J ] (117)

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

W0[J ] = exp

(i

2~(J,FJ)

)(118)

Tomando las sucesivas derivadas tenemos que:

~

i

J(x)exp

(i

2~(J,FJ)

)=

d4y F (x y)J(y) exp

(i

2~(J,FJ)

)(119)

La segunda derivada es: (~

i

J(x)

)2exp

(i

2~(J,FJ)

)=

[

~

iF (0) +

(d4y F (x y)J(y)

)2]exp

(i

2~(J,FJ)

)(120)

La tercera derivada es: (~

i

J(x)

)3exp

(i

2~(J,FJ)

)=

[3~

iF (0)

d4y F (x y)J(y)

(d4y F (x y)J(y)

)3]exp

(i

2~(J,FJ)

)(121)

Y la cuarta derivada entonces queda:(~

i

J(x)

)4exp

(i

2~(J,FJ)

)=

[3

(~

i

)2(F (0))

2 6~

iF (0)

(d4y F (x y)J(y)

)2+

(d4y F (x y)J(y)

)4]

32

exp

(i

2~(J,FJ)

)(122)

Estas formulas se pueden representar mediante diagramas de Feynman. Vamos a identificaral igual que antes i~F (x y) con una linea que une los puntos x e y. Los terminos deFuentes i

~

d4x J(x) los identificamos con una linea que termina en un circulo pequeno vaco.

Los Loops i~F (0) los identificamos con un circulo cerrado. Cada interaccion 4 que viene

acompanada por i~

d4x la representamos con un vertice de cuatro patas. Usando este lenguaje

tenemos que:

u1[J ] =1

4!

(3 + 6 +

)(123)

y ademas:

u1[0] =3

4!(124)

De la teora de perturbaciones que desarrollamos en la seccion pasada sabemos que a primerorden:

W [J ] = (1 + g(u1[J ] u1[0]) + ...)W0[J ] (125)

Por lo tanto tenemos que a primer orden:

W [J ] =(1 +

g

4!( 6 + ) + ..

)e

1

2 (126)

Que explicitamente es:

W [J ] =

[1

ig

4!~

d4x

(6i~F (0)

d4y1d

4y2F (x y1)F (x y2)J(y1)J(y2)+

+

d4y1d

4y2d4y3d

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

)]

exp

(i

2~(J,FJ)

)(127)

33

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 co-rrespondiente 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 alderivar. La primera derivada nos queda:

~

i

W [J ]

J(x1)=

=[ g4!(6 2 x1 + 4 x1 ) +

(1 +

g

4!(6 + )

)x1

]e

1

2 =

=

[x1 +

g

4!

(12 x1 + 4 x1 +

+ 6 x1 + x1

)]e

1

2 (129)

Todos los terminos poseen una pata con una fuente externa, por lo tanto al hacer J = 0 laderivada primera se anula:

G(x1) =~

i

W [J ]

J(x1)

J=0

= 0 (130)

Ahora hacemos la derivada segunda:(~

i

)22W [J ]

J(x1)J(x2)=

[x1 x2 + x1 x2 +

+g

4!

[12x1 x2+ 12x2 x1 +6 x1 x2+ 12x1 x2 +

34

+4 x2x1 +4 x1

x2 + x1 x2+12 x1x2 +

+ 6 x1 x2 + x1 x2

]]e

1

2 (131)

Cuando ponemos J = 0 solo dos terminos sobreviven, entonces la funcion de Green de dospuntos sera:

G(x1, x2) = x1 x2+g

2x1 x2+O(g2) (132)

O bien en forma algebraica:

G(x1, x2) = i~F (x1 x2)g~2

2F (0)

d4xF (x1 x)F (x x2) +O(g

2) (133)

La expresion F (0) es divergente. Este problema proviene del grafico que contiene el loopy se soluciona con el metodo de renormalizacion. En particular las correcciones a esta funcionde Green tienen que ver con la renormalizacion de la masa.

Para seguir encontrando funciones de Green de mas puntos hay que seguir derivando laW [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. Elresultado es:

G(x1, x2, x3, x4) =

(x1x3

x2x4 + x1

x3x2x4 + x1

x3x2x4

)+

+g

2

(x2x1

x4x3 + x1

x2x3x4 + x1

x3x2x4 +

+ x4x2

x3x1 + x2

x1x3x4 + x3

x2x4x1

)+ g (134)

Vemos entonces que la funcion de Green de cuatro puntos esta caracterizada por los propa-gadores de la teora libre, mas correcciones de la masa, mas un unico termino de interaccionreal que es el vertice con forma de cruz.

35

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

i

~Z[J ] = lnW [J ] = ln exp

(1

2

)+ ln

[1 +

g

4!(6 + )

]+O(g2) (135)

Desarrollando el segundo logaritmo a primer orden nos queda que:

i

~Z[J ] =

1

2+g

4!(6 + ) +O(g2) (136)

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

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

2x1 x2+O(g2) (137)

Esta, coincide con la funcion de Green comun, 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 sobrevivirel 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)c (x1, ..xn) = 0 n > 4 (139)

Hecho que topologicamente es razonable ya que no es posible construir un grafico con unsolo vertice de cuatro patas con mas de cuatro patas externas.

36

5. Cuantizacion de teoras fermionicas

5.1. Introduccion

En la seccion anterior estudiamos la cuantizacion de una teora del campo escalar. Vimoscomo la formulacion a traves de la integral de camino lleva a los mismos resultados que lacuantizacion canonica. Ademas vimos que este formalismo lleva naturalmente a la estadisticacorrecta de un campo bosonico. El problema que nos compete ahora es desarrollar el formalismode la integral funcional para un campo fermionico. En el formalismo canonico los camposfermionicos satisfacan las relaciones de anticonmutacion:{

(x, t), (y, t)}= 3(x y)I y

{(x, t), (y, t)

}={(x, t), (y, t)

}= 0 (140)

Sin embargo es imposible volver de los operadores a c-numeros y seguir teniendo campos conla simetra de Fermi-Dirac ante el intercambio de partculas. Por otra parte, independientementede que en la naturaleza observamos que los fermiones siguen esa estadstica, en el curso tambienvimos que al intentar cuantizar una teora de campos fermionicos sin la antisimetra ante elintercambio de particulas obtenamos una teora con un vaco inestable. Con lo cual ni siquieracomo modelo de juguete servira una teora asi.

Por estas razones, para formular una teora consistente de fermiones en el formalismo dela integral de camino, necesitamos abandonar el espacio de c-numeros y utilizar numeros queanticonmutan.

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 Algebrade Grassman o algebra exterior (esto tiene tambien conexion con la nocion de formas diferen-ciales). Cada uno de los elementos de esta algebra se los puede expresar como una combinacionlineal de productos de los generadores i (el analogo en formas es el diferecial dx

i). El indicei va desde 1 hasta n, donde n es la dimension del algebra. Definimos un producto entre lasvariables de Grassmann de manera que los generadores anticonmuten:

{i, j} = 0 i, j = 1, ...n (141)

37

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

2i = 0 (142)

Por lo tanto cada elemento del algebra de Grassmann se puede desarrollar de la siguienteforma:

G() = g(0) +i=0

g(1)i i +

i

+ (1)p1ajpj1 ...jp1jp+1...jm + ... + (1)m1ajmj1 ...jm1 (147)

Como consecuencia de esto podemos obtener las relaciones de anticonmutacion de los ope-radores de derivacion. {

d

da, b

}= ab (148){

d

da,d

db

}= 0 (149)

En particular:d2

da2 = 0 a (150)

Lo cual es bastante razonable ya que cualquier funcion es a lo sumo lineal en cada uno delos generadores.

Ahora procedemos a definir unvocamente la operacion de integrar. Vamos a definir laintegral como un mapa entre funciones de variables de Grassman y c-numeros. Le pedimos a laintegral tres propiedades. La primera es que sea una operacion lineal:

d (af() + bg()) = a

d f() + b

d g() (151)

La segunda propiedad que le pedimos es que la integral tenga invarianza traslacional, esdecir:

d f( + ) =

d f() (152)

Observemos que estas dos propiedades son propiedades que poseen las integrales ordinariasdefinidas en toda la recta real. Por ultimo postulamos un valor por convencion de normalizacion:

d = 1 (153)

Con estas tres propiedades alcanza para poder definir unvocamente la integral. Observemosuna consecuencia de la propiedad (152). Tomemos como f() = a+ b. Entonces:

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 pos-

tulamos: di 1 = 0 y

di i = 1 (156)

De aqu podemos sacar las reglas de anticonmutacion para los diferenciales.

{di, dj} = 0 y {di, j} = ij (157)

Que son las mismas reglas que para la derivacion ya que como decamos antes la derivacionproduce los mismos resultados que la integracion.

Otro punto a tener en cuenta es lo que sucede cuando hacemos un cambio de variables deGrassmann en la integracion. Empecemos con un ejemplo en una dimension:

= + a (158)

Para una integral en la variable primada encontramos que:d g() = g(1) (159)

Por otra parte, utilizando de nuevo el desarrollo (143) tenemos que:d g() =

d(g(0) + g(1)) =

d(g(0) + g(1) + g(1)a) = g(1)a (160)

De aqu deducimos que:

d g() =

d

(d

d

)1g(()) (161)

40

Observemos que el Jacobiano de la transformacion entra inverso respecto de la regla detransformaciones de las integrales ordinarias. La generalizacion de esto a dimension arbitrariadel algebra tiene una forma analoga:

dn...d1 g(

) =

dn...d

1

[det

(d

d

)]1g(()) (162)

Para desarrollar el formalismo de la integral de camino, vamos a necesitar poder resolverintegrales Gaussianas. Queremos resolver la siguiente integral Gaussiana:

In =

d1...dn e

12TA (163)

El exponente posee la forma bilineal:

TA =i,j

iAijj (164)

Donde asumimos el caracter antisimetrico de la matriz A. Para resolver esto podramoshacer el desarrollo de Taylor de la exponencial. En ese caso podemos ver que el unico terminoque sobrevivira es aquel en el que hay n generadores para integrar (que, en particular deberianser todos diferentes), sino la integral se anula. En particular esto es solo posible cuando n espar. Cuando n es impar In = 0. Entonces, los terminos que sobreviven a esta restriccion vienendados por:

In =1

(n2)!

d1...dn

(1

2TA

)n2

(165)

Sucede que de todos los productos de la forma bilineal que sobreviven a la integracion hacenque quede la suma de productos antisimetricos de los elementos de A

1

2 . Entonces el resultadoes:

d1...dn e 1

2TA = (detA)

1

2 (166)

Ahora que vemos el resultado confirmamos aquello de que esta integral es nula para n imparya que el determinante de una matriz antisimetrica de dimension impar es nula.

41

La generalizacion de esta integral es la siguiente:d1...dn e

12TA+T = (detA)

1

2 e1

2TA1 (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 nocionde 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

(i1i2 ...im) = im ...

i2i1

(ai) = ai (169)

Donde tomamos a C. Independientemente de la relacion a traves de la conjugacion, desdeel punto de vista de las operaciones de derivar e integrar, las i y

j son independientes.

La integral Gauiana que nos interesa ahora es:d1...d

nd1...dn e

A = detA (170)

El hecho de que el determinante no tiene mas una raiz cuadrada se debe a que esta vezestamos integrando en 2n variables. La generalizacion de esta integral es:

d1...dnd1...dn e

A++ = detAeA1 (171)

42

Hasta ahora desarrollamos los conceptos de las variables de Grassman para algebras deGrassman de dimension finita. Para formular las integrales de camino de las teoras de camposfermionicas necesitamos extender este desarrollo a dimension infinita. Para esto, hacemos elpaso al continuo:

i (x) (172)

Tomaremos las propiedades ya desarrolladas pero generalizadas a un continuo. Las relacionesde 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)

(x)= 4(x y) (174)

Y los nuevos anticonmutadores de las operaciones de derivada funcional son:{

(x),(y)

}= 4(x y)

{

(x),

(x)

}= 0 (175)

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

g((x)) = g(0)+

dx1 g

(1)(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: d(x) 1 = 0

43

d(x) (x) = 1 (177)

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

DD exp

[

d4xd4x (x)A(x, x)(x) +

d4x((x)(x) + (x)(x))

]=

= detA exp

[d4xd4x (x)A1(x, x)(x)

](178)

5.3. Campo de Dirac Libre

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

S0[, ] =

d4x (x)(i m)(x) (179)

Las relaciones de anticonmutacion que se postulan en el contexto del formalismo canonicoson:

{(x, t), (y, t)} = {(x, t), (y, t)} = 0

{(x, t), (y, t)} = I3(x y) (180)

Las funciones de Green de interes en esta teora son:

G(2n)(y1, ..., yn; x1, ...xn) = 0|T((yn)...(y1)

(x1)...(xn)

)|0 (181)

Estas funciones son antisimetricas ante el intercambio de corrdenadas:

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

44

= 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, va-mos a necesitar que las funciones de Green tengan esa propiedad. La forma de lograr esto esproponiendo que los campos son campos de Grassman.

Al igual que en el caso bosonico, a partir de un funcional generatriz podremos obtener lasfunciones de Green. En el caso bosonico uno performaba derivadas al funcional respecto de unafuente 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:

W0[, ] = N

D[]D exp

[i

~

d4x

((x)(i m)(x)+

+ (x)(x) + (x)(x)

)](183)

Las fuentes y son campos de Grassman que anticonmutan y respecto a las transforma-ciones de Lorentz, son espinores de Dirac. Tanto las fuentes como los campos de Dirac, por sercampos de Grassmann cumplen que:

{(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, t), (y, t)} =

= {(x, t), (y, t)} = {(x, t), (y, t)} = {(x, t), (y, t)} = 0 (184)

Las reglas para la diferenciacion funcional respecto de las fuentes es:{

(x), (y)

}=

{

(x), (y)

}= 4(x y)

{

,

}=

{

,

}=

{

,

}=

{

,

}= 0 (185)

45

Para obtener las funciones de Green tenemos que tomar derivadas del funcional respecto deambas fuentes y evaluar = 0 y = 0.

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

(~

i

)2n2nW [, ]

(xn)...(x1)(y1)...(yn)

==0

(186)

Por las propiedades que enunciamos de las derivadas funcionales, las funciones de Greenobtenidas de esta manera seran antisimetricas respecto al intercambio de sus argumentos. Esterequisito es necesario por la simetra ante el intercambio de partculas que caracteriza a losfermiones.

Para calcular el funcional generatriz de la teora del campo de Dirac libre utilizaremos laformula de la integral Gauiana (178). Para hacer esto, utilizando la misma notacion, identifi-camos:

(x) =i

~(x) , (x) =

i

~(x)

y A(x, x) = i

~(i~ m)

4(x x) (187)

Los signos relativos que aparecen dentro del primer parentesis en la expresion de A(x, x)parecen extranos pero son consecuencia de un cambio de variables. Veamos:

d4xd4x (x)[(i~ m)4(x x)](x) =

=

d4xd4x (x)[(i~ m)(x)]

4(x x) =

=

d4x (x)[(i~ m)(x)] (188)

Con estas identificaciones tenemos que el funcional es:

W0[, ] = exp

[

1

~2

d4xd4x (x)A1(x, x)(x)

](189)

46

Para encontrar una forma cerrada de la inversa del funcional buscamos su transformada deFourier. Para hacer esto, utilizamos la representacion de Fourier de la delta de Dirac y operamoscon lo que esta a izquierda de la delta:

A(x, x) = i

~(i~ m)

d4p

(2pi~)4e

i~p(xx) =

= i

~

d4p

(2pi~)4e

i~p(xx)(p m) (190)

Por lo tanto, lo que esta dentro de la integral es la transformada de Fourier:

A(p) = i

~(p m) (191)

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

A1(p) = i~1

p m(192)

Volviendo al espacio de las coordenadas:

A1(x, x) = i~

d4p

(2pi~)4e

i~p(xx) 1

(p m)(193)

Para darle un sentido unvoco a la integral, le agregamos una masa imaginaria y negativainfinitesimal a la expresion. De esta forma, la inversa de A coincide con el propagador deFeynman de las particulas de spin 1/2 a menos de una constante:

A1(x, x) = i~SF (x x) (194)

Con esto escribimos el funcional:

W0[, ] = exp

[i

~

d4xd4x (x)SF (x

x)(x)

](195)

47

Ahora que tenemos el funcional W [J ] podemos construir las funciones de Green como es-pecificamos mas arriba. La derivada primera es:

W0[, ]

(y)=

i

~

d4x SF (y x

)(x)ei~(,SF ) (196)

La derivada segunda entonces es:

W0[, ]

(x)(y)=

i

~SF (y x)e

i~(,SF )

(i

~

)2(d4xd4y SF (y x

)(x)(y)SF (y x)

)e

i~(,SF ) (197)

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

G(2)0 (y; x) =

(~

i

)22W0[, ]

(x)(y)

==0

= i~SF (y x) (198)

Para obtener la funcion de cuatro puntos debemos derivar primero dos veces respecto a yluego dos veces respecto a :

G(4)0 (y1, y2; x1, x2) =

4W0[, ]

(x2)(x1)(y1)(y2)

==0

(199)

Al realizar las derivadas y evaluar en cero obtenemos:

G(4)0 (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 particulasde Dirac siguen la estadstica de Fermi.

Si representaramos graficamente asociando:

i~SF (y x) = y x (201)

48

Entonces podramos escribir las funciones de Green como:

G0(2)(y, x) = y x (202)

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

y1x2x1 y2

y1x2x1 (203)

Las Funciones de Green de mayor orden seguiran dando graficos similares con combinacioneslineales 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 coninteracciones a partir del funcional generatriz sin interacciones, en las teoras con fermiones sepuede hacer exactamente lo mismo.

49

6. Teorema de Noether

Dejando un poco de lado las aplicaciones directas a teoras particulares que estudiamos eneste trabajo utilizando el formalismo de la integral de camino, vamos a explorar ciertos resul-tados de caracter general de las teorias de campos que se pueden manejar muy elegantementecon 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 clasico

El teorema de Noether es un resultado bastante general que se aplica a un gran conjun-to de teoras fsicas que poseen un principio de accion del cual se derivan las ecuaciones demovimiento de la teora. El mismo fue formulado en el ano 1918 por Emmy Noether [8], unamatematica que trabajaba en temas que no estaban relacionados con el teorema. En esos aos, larelatividad 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 seconservaba la energa localmente. Fue entonces que Hilbert solicito ayuda de Emmy Noetherpara clarificar estas cuestiones [9]. En ese contexto Noether publica el trabajo con el Teoremaque resuelve el Problema de la energa en la relatividad General pero que ademas establece unaconexion 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 formuleoconsideraremos una teora de campo escalar:

L = L(, ) (204)

Dada una transformacion de los campos S:

(x) (x) = (x) + S(x) (205)

Diremos que S es una simetra de la teora si las ecuaciones de movimiento son invariantesante la transformacion S. Pedir esto es lo mismo que pedir que la variacion de Lagrangianoante esta transformacion sea una derivada total. En una teora covariante (por ejemplo las delas secciones 4 y 5) esto es pedir:

SL = (, ) (206)

50

Esto debera ser cierto independientemente de las ecuaciones de movimiento. Si este es elcaso entonces el cambio producido por la transformacion en la accion es:

S = S + SS (207)

SS =

M

d4x =

M

dS (208)

Como las ecuaciones de movimiento se obtienen variando los campos y las derivadas bajola condicion:

|M = 0 (209)

Entonces las ecuaciones de movimiento de S y S seran las mismas ya que la diferencia entreambas 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 Lagrangianoexiste una corriente j que satisface:

j = 0 (210)

Para demostrar esto partimos de (206):

= SL =

L

S(x) +

L

()S(x) (211)

Ahora usaremos las ecuaciones de movimiento:

L

L

()= 0 (212)

Entonces nos queda:

=

L

()S(x) +

L

()S(x) (213)

51

=

(L

()S(x)

)(214)

Entonces definimos la corriente:

j = L

()S(x) (215)

Que satisface segun (214) quej

= 0 (216)

6.2. Teorema de Noether cuantico

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

j

?= 0 (217)

No vamos a contestar esta pregunta en general, pero vamos a analizar un tipo de simetrasparticulares. Consideremos la teora del campo escalar compleja:

L =1

2

V () (218)

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

= ei (219)

Con global nos referimos a que es constante. Usando el desarrollo de la subseccion anteriorpodemos obtener la corriente conservada:

j = 1

2

1

2

(220)

52

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

= i y = i, (221)

nos permite escribir la corriente conservada como:

j =i

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 particionde la teora:

Z =

D[]D[] exp

(

d4x L

)(223)

La idea es, en vez de tomar la transformacion global, promoverla a una transformacion localde las coordenadas de la integracion funcional:

= + i(x) (224)

= i(x) (225)

Entonces calculemos la variacion de el Lagrangiano ante esta transformacion:

L =L

()() +

L

()(

) =

=1

2(i+ i) +

1

2(i

i) = (x) j

(226)

Donde j es la corriente que clasicamente se conservaba. Hay otra cosa que puede cambiaren la funcion de particion, que es la medida de integracion. Llamamos J [] al jacobiano de latransformacion. Entonces:

J []D[]D[] = D[]D[] (227)

53

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

Z =

J []D[]D[] exp

(

d4x L

d4x (x) j

)(228)

Y haciendo una integral por partes:

Z =

J []D[]D[] exp

(

d4x L+

d4x (x) j

)(229)

Por otra parte, Z no puede depender del parametro del cambio de coordenadas funcionalque realizamos. Por eso su derivada respecto de es nula. Entonces aprovechamos eso y tomamosla derivada funcional del logaritmo de Z y ponemos (x) = 0:

0 =1

Z

Z

(x)

=0

= j(x) +

log J []

(x)

=0

(230)

Por lo tanto:

j(x) =

log J []

(x)

=0

(231)

Arribamos entonces a la condicion que hace que una corriente conservada clasicamente sesiga conservando al cuantizar la teora: Si tengo una simetra global, la conservacion sobrevivela 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 dela medida de la integral de camino.

Para ser mas claros en este punto y en las complicaciones que surgen en este punto vamos atomar otra teora y a tratar de calcular explicitamente J []. Tomemos un fermion de spin 1/2sin masa. Combinandolo con una fuente externa acoplada al fermion como un campo-vector,podemos construir la funcion Generatriz:

Z[A] =

D[]D[] exp

[

d4x (i + q

A)

](232)

54

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

j(x) =1

Z

Z

A(x)

A=0

(233)

El Lagrangiano es invariante ante las transformaciones globales U(1):

= ei y = ei (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 deNoether nos dice que consideremos la simetra global:

= ei(x) y = ei(x) (236)

Si calculamos como cambia el Lagrangiano ante esta transformacion obtenemos:

L = i = j

(237)

Observamos que A no vara ya que es una fuente externa y no participa de la transformacionde Gauge. Introduciendo este cambio de variables funcionales en el funcional generatriz tenemosque:

Z[A] = J []

D[]D[] exp

[

d4x

((i + q

A) + j

)](238)

Integrando por partes el ultimo termino de la exponencial:

Z[A] = J []

D[]D[] exp

[

d4x

((i + q

A) j)]

(239)

55

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 elcampo escalar:

j(x) =

log J []

(x)

=0

(240)

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

Z[A] = J []

D[]D[] exp

[

d4x (i + q

A + )

]= (241)

= J []

D[]D[] exp

[

d4x (i + q

A(x) )

]= (242)

= J [] det(i + qA(x) ) (243)

Donde definimos:

A(x) = A +1

q(x) (244)

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

Z[A] = det(i + qA) = J [] det(i

+ qA(x) ) (245)

Es decir que en principio podramos calcular el Jacobiano como el cociente de los dosdeterminantes. Observemos por otra parte que:

ei(x)(i + qA)e

i(x) = (i + qA(x) ) (246)

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

det(i + qA) = det(i

+ qA(x) ) (247)

56

Lo que implicara que:J [] = 1 (248)

Sin embargo hay que tener cuidado, ya que los operadores a los que les estamos tomandodeterminante no son matrices finitas. Son operadores no acotados y por lo tanto hay que usar al-guna prescripcion para regularizarlos. Solo si uno encontrara una prescripcion de regularizacionen la que la propiedad cclica se pudiera aplicar, entonces (248) sera cierto y la conservacionasociada 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

Introduccin y Motivacin historicaFormalismosSugerencia de Dirac

Construccin de FeynmanNucleo de FeynmanIntegral de Camino en la primera cuantizacinRealizacion explicita de la conjetura de DiracProductos ordenados temporalmente y funciones de N puntosAmplitud de persistencia del vacio

Generalizacion a Teorias de CamposIntroduccionHerramientas para calcularCampos EuclideosIntegrales GaussianasDesarrollo en serie de W[J]

Cuantizacin de teoras bosonicasCampo escalar libreTeora 4

Cuantizacin de teoras fermionicasIntroduccinAlgebra de GrassmannCampo de Dirac Libre

Teorema de NoetherTeorema de Noether clsicoTeorema de Noether cuntico