Metodos Variacionales en el Lmite de N Grande

Ricardo Andres Avila Vivero

29 de agosto de 2008

DEDICATORIA

A Dios quien se ha convertido en pieza

sustancial de mi existencia, gracias por
haberme mostrado Tu rostro.

Agradecimientos
En primer lugar quiero agradecer al Dr. Jorge Alfaro por su conduccion durante esta pr
actica, as como tambien por su tiempo y paciencia.
Quisiera agradecer tambien a todos los miembros de la Facultad de Fsica de la
Universidad Cat
olica, por el trabajo que realizan en el desarrollo de la ciencia
y por la formaci
on academica que he recibido.
Quiero agradecer a la Universidad por haber confiado en m y brindarme todo
tipo de herramientas y facilidades con las que fui capaz de desarrollar y finalizar
en buen termino mis estudios.
Finalmente, agradezco a mi familia porque sin ellos nada de esto hubiese sido
posible.

Indice
Agradecimientos

Resumen

1. Introducci
on

2. Algebra
de Grassmann
2.1. Definici
on y Propiedades . . . . . . . . . .
2.1.1. Anticonmutacion . . . . . . . . . .
2.1.2. Variables de Grassmann complejas
2.1.3. Funciones de Grassmann . . . . . .
2.1.4. Derivaci
on e Integracion . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

10
10
10
10
11
11

3. Formalismo BRST
3.1. Integrales de camino Integrales funcionales . . . .
3.2. La Transformaci
on BRST . . . . . . . . . . . . . . .
3.2.1. Variaci
on BRST . . . . . . . . . . . . . . . .
3.2.2. La carga BRST . . . . . . . . . . . . . . . . .
3.3. Invarianza de la nueva accion en la extension BRST

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

13
13
13
14
14
14

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

4. El Lmite de N grande
18
4.1. El metodo de la fase estacionaria y el modelo MSV1 . . . . . . . 18
4.2. Obtenci
on de MFE mediante las Identidades de Ward . . . . . . 20
4.3. El modelo MV2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5. El M
etodo Variacional
5.1. Definici
on y proposicion formal del problema
5.2. Primer modelo de producto interior . . . . . .
5.3. Segundo modelo de producto interior . . . . .
5.4. Primer modelo de producto interior y MFE .
5.4.1. MSV1 . . . . . . . . . . . . . . . . . .
5.4.2. MV2 . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

26
26
26
30
33
33
36

6. Conclusi
on

40

Bibliografa

42

A. Nulidad del valor de expectaci

on de una variaci
on BRST

43

B. Integrales Gaussianas

45

C. Consistencia del sistema de MFE en MV2

56

D. Representaci
on coherente de estados bos
onicos y fermi
onicos

57

E. Detalles del C
alculo de Se para MSV1 y MV2

61

Resumen
Se crea un metodo variacional como un metodo alternativo a los previamente
usados que permite reobtener las ecuaciones de dos modelos matematicos llamados MSV1 para modelo sencillo vectorial uno y MV2 para modelo vectorial dos,
que constituyen simplificaciones de cierto tipo mas general de modelos fsicos
encontrados en el contexto de la fsica nuclear (QCD)1 , de partculas (QFT)2
y gravitaci
on (QG2d)3 , especficamente en lo que se conoce como lmite de N
grande. Estas ecuaciones determinan las propiedades de los sistemas. Para esto
se inventa un producto punto en el espacio de estados abstracto de Dirac, lo que
~ >= |~x > |
~ > donde, ~x es un vecsignifica que se encuentra una base |~x,
~
tor real y un vector de Grassmann complejo, su correspondiente relacion de
~ | G > que deben satisfacer los ket | G >
completitud y las proyecciones < ~x,
de este espacio, de tal manera que < G|G > 0. Este producto punto permite la construcci
on de un bracketcorrespondiente al funcional que se quiere
extremizar. Siendo el funcional Se =< G|Q|G > donde, Q denota el operador
carga BRST, se extremiza de tal manera que Se = 0 contenga las ecuaciones
buscadas.4
Se determina la relaci
on de completitud que define la base sobre la cual es
posible construir el producto punto, esta corresponde a:
Z Y
N
P
~ >< ~x, |
~ =1
( dxl dl dl )e i (i i ) | ~x,
l=1

Se determina que para obtener las ecuaciones buscadas y por ende para que el
metodo variacional funcione, las proyecciones del ket |G> cuando este representa
un estado fsico son
para MSV1:
~ | G > = G(r, ) = G0 (r) + G1
< ~x,
~ y donde G es una funcion arbitraria de r mientras
donde r = |~x|, = ~x
0
que G1 debe ser una constante,
para MV2:
~ ~ |G > = G(r1 , r2 , r3 , 1 , 2 , 3 , 4 )
< ~x, ~y , ,
= G0 (r1 , r2 , r3 ) + G1 1 + G2 2 + G3 3 + G4 4
+G5 1 2 + G6 1 4 + G7 2 3 + G8 3 4
1 QCD=cromodin
amica

cu
antica.
cu
antica de campos.
3 QG2d=gravedad cu
antica en 2-dimensiones.
4 La sigla BRST denota las iniciales de quienes fueron los primeros en introducir este tipo
de transformaciones, Becchi, Rouet y Stora [9] .
2 QFT=teor
a

~ = ~x ~, = ~y ,
~ = ~y ~ y donde G es una
donde r1 = |~x|, 1 = ~x ,
2
3
4
0
funci
on arbitraria de r1 , r2 , r3 mientras que los G1 , G2 , G3 , G4 , G5 , G6 , G7 , G8
deben ser constantes en analoga con MSV1.

1.

Introducci
on

El lmite de N grande se refiere a un formalismo que aplicado a ciertos modelos de la fsica, permite mejorar la comprension de estos, facilitando calculos
que posibilitan probar el grado predictivo de las teoras a un nivel mas profundo.
Este es el caso de la cromodinamica cuantica, la cual es una teora de YangMills en cuatro dimensiones, pero que debido a su complejidad ha sido muy
difcil explorar para lo que se refiere a ofrecer una explicacion del confinamiento
de quarks. Es por esto que se ha simplificado el problema estudiando modelos
de Yang-Mills en dos dimensiones que ofrecen caractersticas positivas en esta
materia pero que a
un as son altamente complicadas al momento de calcular
correcciones en forma perturbativa. Es justamente en esto que el lmite de N
grande facilita el trabajo pues por medio de una redefinicion del lagrangiano
involucrado (b
asicamente una redefinicion de la(s) constante(s) de acoplamiento y variables presente(s) en este) se han podido obtener (resolver)(calcular) en
forma explcita expansiones perturbativas en potencias de (1/N ). De esta misma forma el lmite de N grande ha sido aplicado a la Teora cuantica de campos
y a modelos matriciales que pretenden ofrecer una descripcion de gravitacion
cu
antica en dos dimensiones.
Lo interesante de estas expansiones en potencias de (1/N ), tanto para la cromodin
amica cu
antica como para la gravedad cuantica en dos dimensiones, ambas
que utilizan un
algebra no abeliana5 (matrices en ambos casos), es que todos los
diagramas de Feynmann conocidos como planares6 son de orden (1/N ) mientras
que los otros terminos (los no planares) son de orden (1/N 2 ) o menor [7]. De
esta forma en ambas teoras el termino dominante para N grande involucra en
s una suma de infinitos diagramas planares, cuestion que permanece como un
problema abierto hasta el presente. Estas razones son mas que suficientes para
que el lmite de N grande sea ampliamente estudiado.
En este trabajo estudiamos un metodo variacional para el lmite de N grande
aplicado a dos modelos matematicos que constituyen simplificaciones de los
modelos presentes en las teoras anteriormente referidas pero que retienen las
caractersticas esenciales comunes a todos ellos. Esperamos que el metodo variacional permita reobtener las ecuaciones master field que denotaremos de aqu en
adelante como MFE, las cuales determinan gran parte de las propiedades de los
sistemas (para ser m
as especficos, permiten el calculo de cualquier correlacion
de una cantidad fsica).
El metodo variacional consiste en extremizar un funcional Se tal que Se = 0
implique MFE. Para esto se inventa un producto punto en el espacio de estados
abstracto de Dirac, lo que significa que se encuentra una base |~x, ~>= |~x> |~>
donde, ~x es un vector real y ~ un vector de Grassmann, que posibilite la cons5 Abeliana se refiere a que conmuta y por lo tanto un
algebra no abeliana corresponde a un

algebra no conmutativa.
6 Planares significa que el diagrama, i.e. todas sus l
neas est
an contenidas en un mismo
plano.

trucci
on del funcional por medio de un bracket.
Se propone < G|Q|G > para el funcional a extremizar, donde Q corresponde al
operador carga BRST y |G > es un ket del espacio. Investigando las variaciones
de Se se determina si el metodo variacional funciona e informacion adicional sobre las proyecciones < ~x, ~ | G > para que as sea.
En el proceso de la b
usqueda de un producto punto, se construyen dos propiamente tal, uno que parece incluir al otro optandose por trabajar con el mas
simple.
Los contenidos del presente informe se han estructurado en seis capitulos. En el
captulo 2 se repasan las propiedades basicas del algebra de Grassmann que son
ampliamente utilizadas en los calculos. El captulo 3 parte con una breve referencia a las integrales funcionales, fundamentales a la descripcion de los modelos
para luego presentar un caso particular de las transformaciones BRST y el relacionado operador carga BRST Q. Luego se presenta la metodologa general,
aplicado eso si a un caso particular, el de un campo escalar, para hacer una
extensi
on BRST de un modelo resaltando la invarianza resultante de la nueva
acci
on frente a las transformaciones BRST.
El captulo 4 presenta los dos modelos matematicos estudiados y dos metodos
previos para obtener MFE en el lmite de N grande, el u
ltimo de estos basado en las transformaciones BRST, para llegar a las ecuaciones buscadas. En el
captulo 5 se construyen dos tipos de productos puntos, se desarrolla el metodo variacional y se aplica a los dos modelos matematicos, reobteniendose las
ecuaciones buscadas. En el captulo 6 se presentan las conclusiones del trabajo.

2.

Algebra
de Grassmann

El
algebra de Grassmann ha sido utilizada para describir sistemas fermionicos
en los cuales a partir del principio de exclusion de Pauli y la introduccion de
la segunda cuantizaci
on de Dirac, aparecen en forma natural operadores con
propiedades anticonmutantes. Recordando que la cuantizacion de un sistema
consiste en promover las variables clasicas que lo describen a observables (i.e.
operadores), es l
ogico buscar variables asociadas a estos nuevos operadores anticonmutativos. El
algebra de Grassmann responde a esta necesidad de nuevas
variables y por consiguiente se basa en la anticonmutacion de sus elementos. A
los elementos pertenecientes al algebra de Grassmann se les denomina variables
de Grassmann.

2.1.
2.1.1.

Definici
on y Propiedades
Anticonmutaci
on

Sea {a } , a = 1, ...N, un set de variables de Grassmann, entonces estas

variables cumplen por definicion con la siguiente relacion de anticonmutacion
a b + b a = 0

(1)
2

lo que trae como consecuencia inmediata el que a = 0. Ademas es importante

se
nalar que un n
umero par de variables de Grassmann multiplicadas entre s se
comportan como un n
umero conmutativo cualquiera (igual que un n
umero real
o complejo) con la particularidad de que al elevarlo a una potencia se anula. A
su vez un n
umero impar de variables de Grassmann multiplicadas se comportan
como una nueva variable de Grassmann anticonmutante.
Para el caso particular de un espacio N dimensional se tiene
a1 a2 aN = a1a2aN 1 2 N
donde
N.
2.1.2.

a1a2aN

(2)

corresponde al tensor de Levi-Civita generalizado a dimension

Variables de Grassmann complejas

Una variable de Grassmann se dice real frente a la accion de tomar el

complejo conjugado, si
=
(3)
de esta manera se pueden definir variables de Grassmann complejas , usando
variables de Grassmann reales
= 1 + i2
= 1 i2

(4)

La regla para conjugar productos de variables de Grassmann complejas es

(1 2 ) = 2 1
(5)
sea real.
hecho que implica que la cantidad
10

2.1.3.

Funciones de Grassmann

En vista de (1), una funcion de la variable de Grassmann , posee la siguiente expresi

on general
f () = f0 + f1
(6)
de la misma forma
f (~x, ) = f0 (~x) + f1 (~x)

~x <n

(7)

por u
ltimo para vectores de Grassmann ~ = (1 , 2 , 3 , . . . , N ) La expresion
an
aloga correspondiente es
f (~x, ~ ) = f0 (~x) + fi (~x)i + fij (~x)i j + + f1...N (~x)1 2 N

(8)

donde los f son completamente antisimetricos bajo permutacion de ndices y se

ha utilizado la convenci
on de Einstein para la suma de ndices repetidos.
Esta u
ltima expresi
on cuenta con 2N terminos de los cuales 2N 1 corresponden
a n
umeros pares de variables de Grassmann multiplicadas y 2N 1 a n
umeros impares, dando pie as a que a estas funciones se les llame Funciones Supersimetricas debido a la igualdad en la cantidad de terminos conmutativos o bosonicos
y anticonmutativos o fermi
onicos.

2.1.4.

Derivaci
on e Integraci
on

En el
algebra de Grassmann como hemos visto solo aparecen expresiones
lineales de las variables de Grassmann. En consecuencia la derivacion queda
definida, por la izquierda y por la derecha como

= ab = a
b
b

(9)

y nos encontramos con una regla anti-Leibnitz para la diferenciacion de un

producto.
(b c )
= ab c ac b
a

(10)

esta anti-regla se debe a que el signo del producto a diferenciar, depende del
orden de las variables.
La generalizaci
on de (10) esta dada por

(a b c ) = (1)p (a c )
b

(11)

donde p denota la posici

on de b en el producto, siendo p = 0 la posicion de
la primera variable de la izquierda en el producto, en este caso la posicion de a .

11

Tambien es importante referirse al diferencial de una variable de Grassmann

d, antes de referirnos a la integracion de dichas variables.
El operador diferencial se define de la misma manera que para los n
umeros
conmutativos, especificamente
d = dj

(12)

lo que trae como consecuencia inmediata

d(a b ) = dj

(a b )
j

= dj [aj b jb a ] = da b db a

(13)

por otra parte el diferencial de un producto se fuerza a satisfacer la propiedad

de Leibnitz, es decir
d(a b ) = da b + a db

(14)

finalmente observamos que al restar (13) de (14) obtenemos

a db + db a = 0

(15)

resultado que nos indica que d es en s una variable de Grassmann.

De esta forma en el
algebra de Grassmann solo existen dos tipos de integrales
no triviales que listamos a continuacion
Z
Z
d
d
para su evaluaci
on se impone invarianza de las integrales frente a traslaciones,
as, frente a 0 = + con d = 0 tedremos
Z
Z
0
d = d
Z

d 0 0 =

Z
d( + ) =

Z
d

la u
ltima lnea implica que
Z
d = 0

(16)

este resultado es consistente ya que lo que se integra (d) es una variable de

Grassmann y lo que se obtiene tambien (el
umero conmutativo y
R cero es un n
anticonmutativo a la vez), por otro lado d es la integracion de un n
umero
par de variables de Grassmann por lo que debiesemos esperar un n
umero conmutativo (c-number), entonces como normalizacion se le asigna el valor 1, as
Z
d = 1
(17)

12

3.
3.1.

Formalismo BRST
Integrales de camino Integrales funcionales

La integral de camino corresponde a un concepto desarrollado por Richard

P. Feynmann, para expresar de un modo distinto, una amplitud de probabilidad cu
antica. Lo interesante del metodo es que en una cantidad propiamente
cu
antica, aparece una cantidad clasica, correspondiente a la accion del sistema
en cuesti
on. En su forma m
as simple se tiene
Z
< q, t | q 0 , t0 >= [Dq][Dp] e iS(q,p)
(18)
donde S es la acci
on del sistema, | q, t > una base en la representacion de coordenadas en el cuadro de Heisenberg y donde las medidas de integracion se
definen como
N
Y
dqn
[Dq] = lm
n

[Dp] = lm

n=1
N
Y

dpn

n=1

Dependiendo de la forma de S, a veces, es posible llevar a cabo la integracion

sobre los momentum (dpn ) para quedarnos solamente con la medida [Dq]. Lo
atractivo de la integral de camino, a veces mejor conocida como integral funcional, es que nos permite describir todas las propiedades de un sistema. Esto
porque si en (18) forzamos q = q 0 y llevamos el tiempo a una variable imaginaria3
por medio de la transformacion = it, se puede establecer una directa relacion
entre la integral funcional y la funcion de particion mecanico estadstica, que
describe todas las propiedades de un sistema en equilibrio termico. De esta forma
la integral funcional adquiere un sentido probabilstico con eS cumpliendo el
rol de una densidad de probabilidad, que permite calcular cualquier correlacion
de las cantidades fsicas.

3.2.

La Transformaci
on BRST

Las transformaciones BRST constituyen un grupo dentro del cual existen

varios tipos [6]. Para los efectos de este trabajo nosotros nos avocaremos solo al
caso en que la transformaci
on corresponda a una traslacion. Para este caso la
transformaci
on BRST consiste en escribir la variacion de la variable en cuestion,
e.g. campo de gauge, campo escalar etc. como un producto de dos n
umeros de
Grassmann. De esta forma si es un n
umero de Grassmann (cte.) se tiene para
el caso de un campo escalar y para el caso de un campo de gauge A
(x) = c(x) = (x)

(19)

A (x) =  (x) = (x)

(20)

13

en donde x es un punto del espacio-tiempo y (x), (x) son un campo y un

cuadrivector de Grassmann respectivamente. A estos campos se les denomina
fantasmas y a sus complejos conjugados anti-fantasmas.
3.2.1.

Variaci
on BRST

En base a esto se define la variacion BRST como aquella parte de la variacion

total que excluye al par
ametro , en concordancia se tiene
= (x)

(21)

(x) = (x)
A

(22)

Un hecho importante sobre la variacion BRST es su nilpotencia, lo que significa

que 2 = 0. Esto es un postulado.
Lo que implica que

2 = 0 =
(23)
la variaci
on BRST de los campos anti-fantasmas se define como

(x)
ib(x)

(24)

donde b es un campo conmutativo. De la misma manera en el caso vectorial

(x)
ib (x)

(25)

la nilpotencia de implica en ambos casos

=0
b
3.2.2.

=0
b

(26)

La carga BRST

En este contexto se define el operador carga BRST Q como aquel que aplicado a una funci
on produce una variacion de la funcion y rescata aquella parte
de la variaci
on que excluye al parametro grassmaniano .
De esta manera, la ecuaci
on que la define es
F = QF

(27)

as la carga BRST tiene una estricta relacion con la variacion BRST, hecho que
produce que esta u
ltima tambien sea nilpotente, es decir, Q2 = 0.

3.3.

Invarianza de la nueva acci

on en la extensi
on BRST

Punto clave del trabajo que aqu se presenta es el hecho que se puede construir una nueva acci
on a partir de la original, incluyendo los fantasmas, que
resulta ser invariante frente a las transformaciones BRST.
A continuaci
on se muestra el procedimiento general para encontrar la nueva
acci
on, aplicado al caso del campo escalar [3].

14

Considerese un sistema descrito por un campo escalar y la siguiente integral

funcional
Z
Z = [D]eS()
(28)
la medida de integraci
on [D] es invariante frente a (19), pero la accion que es
un funcional de no lo es. Para hacerla invariante se introduce un nuevo campo
escalar B(x) tal que B = y se modifica la accion
S() S( B)
naturalmente que al introducir una nueva variable, el campo B, este debe aparecer integrado en Z, as la nueva integral funcional es
Z
Z = [D][DB]eS(B)
Para obtener el gauge, es decir, la condicion en que B(x) = 0, se le agrega a
B)

la acci
on (para ser m
as exacto a la densidad lagrangiana) un termino (
que es en s una variaci
on BRST y que equivale a sumar un cero a la integral
(apendice A), justific
andose as el hecho de poder incorporarlo de esta manera
en el exponente.
Ahora de (21) y (24)
B)
= ibB +

(
, implica
nuevamente la introducci
on de nuevas variables, los campos b, ,
el que deben aparecer integrados en Z. De esta manera la integral funcional
adquiere el siguiente aspecto
Z
R

(S(B)+ dx (ibB+))

Z = [D][DB][Db][D][D]e
se reconoce a la parte
Z

R
[Db]ei dxbB

dentro de la integral anterior, como la generalizacion de la delta de Dirac al caso

continuo. Luego, al integrar sobre el campo b, se obtiene la delta de Dirac (B)
que al integrar, nuevamente, sobre B da B(x) = 0.
De esta forma la integral funcional se reduce a
Z
R

(S()+ dx )

Z = [D][D][D]e
(29)
la nueva acci
on es
= S() +
, )
S(,

dx

y su variaci
on
S =

S
dx +

15

+ )

dx (

(30)

la que en consideraci
on de (19) y (23) se escribe como
Z
S

S = dx [ + ]

Z
S

= dx [ + ]

(31)

entonces la forma que adopta la trasformacion BRST para el anti-fantasma en

orden de hacer invariante la nueva accion S en virtud de (31) es
S
=

(32)

luego, bajo las transformaciones

=
= 0
S
=

(33)

R
= S() + dx
es invariante.7 La forma de proceder para
la acci
on S(, , )
otro tipo de variables como campos de gauge, etc, es completamente analogo
obteniendose un resultado similar. En general consiste en que por cada variable
contenida en el modelo original, se debe agregar a la accion un par de variables
fantasma - antifantasma; esto no es sino hacer una extension del modelo original
a uno m
as grande (posee mayor n
umero de variables) que es invariante frente a
las transformaciones BRST y se habla entonces de haber efectuado una extension
BRST del modelo. En el caso visto en detalle, solo hay una variable, el campo
escalar en la acci
on original, en consecuencia en la accion extendida aparece un
s
olo par de variables fantasmas asociadas.
Esta invarianza de la medida de integracion asi como de la nueva accion tiene
asociada a s un conjunto de identidades de la forma
()(y)]

< [F
>= 0

(34)

conocidas como identidades de Ward, validas para cualquier funcional F () arbitrario (apendice A)
Al desarrollar explcitamente (34) se tiene
()](y)

(y)]

< [F
+ F ()[
>= 0
7 Notamos que el integrar sobre los campos b y B, tiene como efecto la p
erdida de la
nilpotencia del operador carga BRST asociado,
esto porque la nilpotencia de Q est
a asociada
a las transformaciones BRST originales que consideran a b y B,
esto es (21), (23), (24), (26)
=
= , la integraci
y B
on suprime estas variables.

16

Z
<

dx

F
S

(x)(y)
F ()
>= 0
(x)
(y)

Z
R
F
S

[D][D][D](
dx
(x)(y)
F ()
)e(S()+
(x)
(y)
Z
R

(S()+ dx)

[D][D][D]e

dx)

=0
(35)

reconocemos dentro de (35) el hecho de que

Z
R

dx

[D][D]e
Z

[D][D](x)
(y)e

dx

(x y)

(final apendice B)
de esta forma integrando sobre los fantasmas podemos escribir (35) como
Z

Z
F
S
[D]( dx
(x y) F ()
)eS()
(x)
(y)
Z
=0
[D]eS()

Z
[D](

S
F
F ()
)eS()
(y)
(y)
Z
=0
[D]eS()

es decir,
<

F
S
F
>= 0

(36) es conocida como la ecuacion de Schwinger-Dyson.

Esta ecuaci
on contiene la dinamica cuantica de la teora.

17

(36)

4.

El Lmite de N grande

Como ya fue mencionado en la introduccion, el lmite de N grande se estudia por medio de hacer un apropiado reescalamiento de la(s) constante(s) de
acoplamiento y redefinici
on de las variables presentes en el lagrangiano, lo que
tiene como resultado final la aparicion de un factor N que multiplica todo el redefinido lagrangiano [7]. Por lo tanto nos encontramos con integrales funcionales
que tienen el siguiente aspecto general
Z
D(var)eN f
(37)
donde N f es la acci
on del modelo y f una funcion (o funcional) arbitrario de
las variables var.
Como lo que interesa es en definitiva calcular los valores de expectacion y/o
correlaciones de las diversas cantidades fsicas, que a su vez corresponden a
invariantes del modelo, el hecho de que aparezca el factor N en la exponencial
permite en principio evaluar las integrales por medio del metodo de la fase estacionaria. Esto se justifica porque en definitiva, el metodo de la fase estacionaria
es una expansi
on asint
otica [8] de la integral, procedimiento que adquiere sentido cuando se toma N .
Para ilustrar este metodo as como el que se introducira en la proxima seccion,
se utilizar
a un modelo sencillo vectorial que denotaremos por la sigla MSV1.

4.1.

El m
etodo de la fase estacionaria y el modelo MSV1

El modelo MSV1 queda definido por la siguiente integral:

Z
Z = dN x eN f (~x)

(38)

donde ~x es un vector N-dimensional y f es una funcion tal que f (O~x) =

f (~x), donde O denota rotaciones de los ejes cartesianos en torno al origen.
La propiedad de f se entiende en el contexto que representa una cantidad fsica
(la acci
on) y por lo tanto debe ser funcion de los invariantes del modelo. En este
caso el u
nico invariante del modelo es: r = |~x|.
El metodo de la fase estacionaria consiste en hacer una expansion de Taylor de
la funci
on f en torno a un mnimo local de tal manera que al tender el exponente
del integrando a un valor muy grande, uno puede descartar los terminos de orden cuadr
atico y mayores asumiendo que la mayor contribucion a la integral
est
a dada por el primer termino de la expansion que es simplemente f evaluada
en el punto crtico.
Sin embargo como las variables de interes son los invariantes y no las coordenadas cartesianas xi propiamente tal, es preciso, hacer un cambio de variable
en la integral de manera de dejar todo expresado en terminos de r.

18

Al hacer esto, Z queda

Z

dr rN 1 eN f (r)

dr N [f (r)ln(r)]
e
r

(39)

donde N corresponde al
angulo solido en N dimensiones.
Esto conlleva a que la funcion a expandir propiamente tal sea f (r) ln(r) la
cual posee puntos crticos que satisfacen
1
=0
r

f 0 (r)

(40)

la ecuaci
on (40) corresponde a MFE y es de vital importancia, como lo demuestra el siguiente teorema.
Teorema 1 Las correlaciones de funciones de los invariantes del modelo original, son iguales a la funci
on en cuesti
on evaluada en los valores crticos de los
invariantes, determinados por MFE m
as terminos decrecientes en potencias de
N.
Demostraci
on.
Sea r0 el valor de r determinado por (40) y sea F una funcion de los invariantes
en MSV1, entonces F = F (r)
luego su valor de expectaci
on es
Z
<F >

Z
<F >

dN x F eN f (~x)
dN x eN f (~x)

dr/r F (r) eN [f (r)ln(r)]

Z
dr/r eN [f (r)ln(r)]

al aplicar el metodo de la fase estacionaria y expandir F en torno a r0

R
< F >=

1
dr/r [F (r0 )+F 0 (r0 )(rr0 )+ 12 F (2) (r0 )(rr0 )2 + 3!
F (3) (r0 )(rr0 )3 +] eN f (r0 )

R
0

dr/r eN f (r0 )

19

en la u
ltima integral se ponen los lmites de integraci
on explcitamente, puesto

que ahora se hace un cambio de variable = N (r r0 ) con el cual

R
< F >=

r0

d/(+r0

1
N ) [F (r0 )+F 0 (r0 ) + 12 F (2) (r0 ) N + 3!
F (3) (r0 )
N

R
r0

d/(+r0

3
N 3/2

+ ] eN f (r0 )

N ) eN f (r0 )

de esta u
ltima lnea es f
acil apreciar que
< F >= F (r0 ) + O(N )
con

(41)

1
2

y el teorema queda probado.8

Para el modelo MSV1 todo resulta perfecto; No obstante el metodo de la fase
estacionaria involucra el hacer un cambio de variable de tal manera de dejar
todo expresado en termino de los invariantes del modelo, cuestion que puede
resultar altamente no trivial para modelos mas complicados. Es por esta razon
que se utiliza un metodo distinto y mas seguro para obtener MFE, metodo que
a su vez se basa profundamente en la extension BRST del modelo original como
fue visto en la secci
on 3.3.

4.2.

Obtenci
on de MFE mediante las Identidades de Ward

Una vez hecha la extensi

on BRST, el n
umero de invariantes aumenta porque
ahora existen m
as variables. Para el caso del MSV1 se construye la nueva accion
extendida que en concordancia con la seccion 3.3 resulta ser
i , i , i ) = N f (~x) + i i
S(x

i = 1, . . . , N

(42)

donde la notaci
on de Einstein para la suma en la repeticion de ndices ha sido
usada con las variables de Grassmann. Como ya se sabe (42) es invariante frente
a (33) que en este caso adquieren el siguiente aspecto

xi

S
f
= N

xi
xi

(43)

Tambien de la secci
on 3.3 sabemos que esta invarianza trae asociada a s un
conjunto de identidades de Ward como en (34). El metodo consiste en aplicar las
8 La

prueba ha sido dada para MSV1; para otros modelos es an

aloga.

20

identidades de Ward a los invariantes no triviales del nuevo modelo extendido.

Para MSV1 extendido, los invariantes son:
= |~x|
= i i

= xi i
= xi i
de los cuales los tres primeros son triviales, es decir, se anulan inmediatamente
al aplicarles la identidad de Ward como podemos verificar
< r >

= < 0 >= 0

< >

= < (i i ) >
= < N

f
i >= 0
xi

el u
ltimo paso se justifica porque la correlacion de una sola variable de Grassmann es cero (final apendice B).
< >

= < (xi i ) >

= < i i >= 0

la u
ltima lnea se justifica por la propiedad anticonmutativa (1) de las variables
de Grassmann.
De esta manera el u
nico invariante no trivial, es
< >

= < (xi i ) >

f
= < i i xi N
>
xi
= N < 1 r

f
>
r

entonces en vista de la definicion de la variacion BRST y (34)

> =
<
=

N <1r
0
21

f
>
r
(44)

Ahora seg
un el Teorema 1. [4]
<1r

f
f
>= 1 r
+ O(N )
r
r

y considerando el lmite N
<1r

f
f
>= 1 r
r
r

lo que en virtud de (44) significa

1r

f
=0
r

que no es m
as que MFE para el modelo.
De esta forma entonces, se obtiene MFE por medio de una identidad de Ward
(44) asociada a la invarianza de la nueva accion (42) en la extension BRST del
modelo para el lmite de N grande.
A continuaci
on aplicaremos este metodo a un segundo modelo mas complicado
que llamaremos MV2.

4.3.

El modelo MV2

El modelo MV2 es una extension de MSV1 que considera dos vectores, en

vez de uno, viviendo en un espacio N-dimensional. Esta descrito por la siguiente
integral
Z
Z=

dN x dN y eN f (~x,~y)

(45)

donde f es tal que f (O~x, O~y ) = f (~x, ~y )

en este modelo existen tres invariantes naturales que corresponden a:
r1 = |~x|
r2 = |~y |
r3 = ~x ~y
Se
nalemos que esta simple extension del MSV1 de uno a dos vectores ya constituye un dificultad alta para el metodo de la fase estacionaria, la dificultad radica
esencialmente en encontrar el Jacobiano asociado al cambio de variable que se
debe introducir, puesto que ahora debemos expresar la integral Z en termino de
los tres invariantes.
Aqu en consecuencia se puede apreciar mas claramente las ventajas del metodo
alternativo.
Llevamos la acci
on S = N f (~x, ~y ) a su par extendido BRST, recordamos que
por cada variable xi , yi debemos introducir pares de variables fantasmas. A las
22

asociadas a xi las denotaremos por i , i mientras que a las asociadas a yi , i , i ,

de esta forma y en concordancia con la seccion 3.3, la nueva accion esta dada
por
i , yi , i , i , i , i ) = N f (~x, ~y ) + i i + i i
S(x
la que a su vez es invariante frente a
xi

= i

yi

f
S
= N

xi
xi
i

f
S
= N

yi
yi

(46)

Los nuevos invariantes no triviales son

1 = xi i

(47)

2 = xi i
3 = yi i

(48)

4 = yi i

(50)

(49)

Al aplicar las correspondientes identidades de Ward

< (1 ) > =

< (xi i ) >

f
>
< i i N xi
xi

N < 1 r1

f
f
r3
>
r1
r3

implica
1 ) > = N < 1 r1 f r3 f >
< (
r1
r3
=

y por el Teorema 1 para el lmite N

1 r1

f
f
r3
=0
r1
r3
23

(51)

que corresponde a la primera MFE para el modelo.

De manera similar
< (2 ) > =

< (xi i ) >

< 0 N xi

N < [

2) > =
< (

N < [

f
>
yi

r3 f
f
+ r12
]>
r2 r2
r3

implica

r3 f
f
+ r12
]>
r2 r2
r3

por Teorema 1 y lmite de N grande

r3 f
f
+ r12
=0
r2 r2
r3

< (3 ) > =

< (yi i ) >

< 0 N yi

N < [

3) > =
< (

N < [

f
>
xi

r3 f
f
+ r22
]>
r1 r1
r3

luego

0
24

f
r3 f
+ r22
]>
r1 r1
r3

(52)

por Teorema 1 y N
r3 f
f
+ r22
=0
r1 r1
r3

< (4 ) > =

(53)

< (yi i ) >

< i i N yi

N < 1 r2

f
>
yi

f
f
r3
>
r2
r3

implica
4 ) > = N < 1 r2 f r3 f >
< (
r2
r3
=

por Teorema 1 y N
1 r2

f
f
r3
=0
r2
r3

(54)

de esta manera (51), (52), (53) y (54) corresponden a MFE que determinan los
valores crticos de r1 , r2 , r3 y se verifica que el sistema que conforman dichas
ecuaciones es consistente (apendice C).
Nuestra intenci
on ahora es explorar un metodo alternativo, que nos permita
obtener MFE con la esperanza de que nos aporte alguna informacion adicional
acerca del modelo, en concreto, que nos diga algo mas de como deben ser las
funciones que representan las cantidades fsicas del modelo.

25

5.

El M
etodo Variacional

Nuestra intenci
on ser
a hacer una formulacion variacional del problema para
encontrar MFE.

5.1.

Definici
on y proposici
on formal del problema

Sea | G > un ket que represente un estado fsico del sistema, entonces,
este tendr
a asociado una funcion de invariantes que denotaremos por G(r, )
y G(r1 , r2 , r3 , 1 , 2 , 3 , 4 ) para las extensiones BRST de MSV1 y MV2 respectivamente.
Buscaremos la creaci
on de un funcional Se definido por
Se =< G|Q|G >

(55)

Se = Q|G >= 0

(56)

tal que al extremizarlo nos de

y que Se = 0
contenga dentro de s las MFE del modelo.
Para esto es necesario encontrar una base en el espacio de estados que permita definir un producto interior.
Para simplificar el problema de encontrar una base trabajaremos primero en
una dimensi
on para luego generalizar el resultado a N dimensiones.

5.2.

Primer modelo de producto interior

Usando la definici
on usual de la base para una coordenada de posicion continua
Z
|x >:
dx | x >< x | = 1
(57)
y utilizando la base para un estado fermionico en la representacion coherente
(apendice D)
Z

e
| >:
dd
| >< | = 1
(58)
nuestro primer intento fue proponer una base | x, > definida como el producto
tensorial entre la base | x > y | >
| x, >= | x > | >

26

en consecuencia, esta base cuenta con la siguiente relacion de completitud

Z

e
| x, >:
dxdd
| x, >< x, | = 1
(59)
nuestra intenci
on es que esta base permita la definicion de un producto interior
en una dimensi
on, como requisito, necesitamos que < G|G > 0.
La primera propuesta que hicimos para la proyeccion del ket |G > sobre la
base (59) para MSV1 fue
< x, |G >= G(x, ) = G0 + G1

(60)

donde G0 y G1 son funciones de x.

pero al calcular < G|G > se obtiene
Z
< G|G > =
Z
=

0 + G1 ]
e
dxdd
[G0 + G1 ][G

dx(|G0 |2 |G1 |2 )

(61)

por lo que se requieren modificaciones.

Las modificaciones deben ser hechas a la proyeccion del ket |G > pues sabemos que (59) es falto de error.
De esta manera notamos que al cambiar por en (60)
< x, |G >= G(x, ) = G0 + G1

(62)

se obtiene el resultado deseado

Z
< G|G > =

dx(|G0 |2 + |G1 |2 ) 0

(63)

e
el paso siguiente consisti
o en calcular el funcional S.

Para esto primero debemos hablar de la forma que toma el operador carga
BRST para el modelo MSV1 y MV2. De aqu en adelante utilizaremos la notaci
on de Einstein para la suma de ndices repetidos a menos que se indique lo
contrario

27

En la extensi
on de MSV1 (N dimensiones) consideramos una funcion arbitraria
lo m
as general posible F = F (xi , i , i ) luego seg
un (27) y (43)

F
F
F
+ i
+ i
xi
i
i

xi




S
i

F
xi
xi i

En consecuencia se tiene que el operador carga BRST para MSV1 corresponde

a
Q = i

xi
xi i

(64)

Para MV2 procedemos de una forma similar, la funcion a considerar es F =

F (xi , yi , i , i , i bari ) con la cual en vista de (46)

= xi

F
F
F
F
F
F
+ yi
+ i
+ i + i
+ i
xi
yi
i
i
i
i



S
S

= i
+ i

F
xi
yi
xi i
yi i

de la u
ltima lnea se identifica la carga BRST para MV2 como
Q = i

S
S

+ i

xi
yi
xi i
yi i

(65)

con esto dicho procedemos a calcular el funcional Se , en todo el analisis subsiguiente se trabajar
a con el modelo MSV1 en una dimension hasta encontrar la
base adecuada, luego se generalizaran los resultados a MV2 y a N-dimensiones.
Se =

< G|Q|G >

Z

e [G0 + G1 ][
dxdd
28

][G0 + G1 ]
x
x

Z
=

dx G0 [G01 (x) G1

S
]
x

(66)

entonces las variaciones de Se con respecto a G0 y G1 resultan

Se
G0

G01 (x)

Se
G1

G0 (x) +

S
G1 (x) = 0
x

(67)

S
G0 (x) = 0
x

(68)

las variaciones (67) y (68) son igualadas a cero puesto que se busca la condicion
(56).

Para saber si (67) y (68) son correctas debemos esperar que impliquen
Q|G >= 0

(69)

entonces las comparamos con las ecuaciones que se obtienen de (69)

QG =

][G0 + G1 ]
x
x

S
( G00 (x) + G01 (x) ) G1
=0
x

(70)

}
son linealmente independientes entre s,
puesto que {1, , ,
(70)
G00 (x) = 0
G01 (x) = 0
S
G1
=0
x

(71)

Desafortunadamente no se ve claramente el que (67) y (68) (71), esto solo

ocurrira en el caso que G0 fuese real y solo para los puntos crticos que extremizan la acci
on original S. Para tratar de adquirir un mayor adentramiento en
el problema y mejorar esta situacion se propuso una proyeccion de |G > que
},
asi
utilizara toda la base {1, , ,
< x, |G >= G0 + G1 + G2 + G3
29

(72)

pero al calcular < G|G > obtenemos

Z
< G|G > =
Z
=

e [G0 + G1 + G2 + G3 ][G
0 + G1 + G2 + G3 ]

dxdd
dx (G0 G3 + |G0 |2 + |G1 |2 |G2 |2 + G3 G0 )

(73)

en (73) hay serios problemas, no solo la expresion no es positiva definida sino que
adem
as aparecen terminos de mezcla! como G0 G3 . Por esta razon y el hecho de
que no existe una clara implicancia por parte de (67) y (68) a (71) se busco una
nueva base para definir el producto punto.

5.3.

Segundo modelo de producto interior

Buscamos una nueva base que permita considerar proyecciones del tipo (72)
}
permita
con la esperanza de que el hecho de usar toda la base {1, , ,
obtener (56). Para esto lo que se nos ocurrio fue definir un nuevo estado | >
tomando la definici
on del ket | > en la representacion coherente (apendice D).
Aqu haremos una breve referencia.
En la representaci
on coherente de estados fermionicos | > se define como
| >= |0 > +|1 >

(74)

donde es una variable de Grassmann y |0 >, |1 > son los dos estados asociados
al hamiltoniano del sistema en cuestion, para el estado del vaco y del siguiente
nivel de energa respectivamente.
En vista de esta definici
on se me ocurrio definir el estado | > como
>
| >= |0 > +|1

(75)

lo siguiente fue buscar que relacion de completitud satisface. Despues de algunos

intentos se lleg
o a que la correspondiente relacion es
Z

=1

dde
| >< |
(76)
con esto podemos construir el estado |x, , > definido por
|x, , >= |x > | > | >
en consecuencia le corresponde la siguiente relacion de completitud
Z

0 0
0 0

dxddd
d e
e |x, , 0 >< x, , 0 | = 1

(77)

(78)

las primas se han usado para distinguir entre las diferentes variables mudas de
integraci
on puesto que de lo contrario el integrando se anulara.

30

Recogiendo la experiencia ganada en el modelo previo de producto interior, y

despues de algunos intentos se identifico
< x, , 0 |G >= G0 + G1 + G2 0 + G3 0

(79)

donde G0 , G1 , G2 y G3 son funciones dependientes de x.

como la proyecci
on requerida para hacer < G|G > 0.
Usaremos la notaci
on [d] para la medida de integracion de (78)
Z
< G|G > =
Z
=

[d] e e [G0 + G1 + G2 0 + G3 0 ][G0 + G1 + G2 0 + G3 0 ]

dx ( |G0 |2 + |G1 |2 + |G2 |2 + |G3 |2 ) 0

(80)

De esta manera el segundo modelo de producto interior queda definido por (78)
y (79). Es importante discutir ciertas caractersticas de este modelo antes de
proseguir con los c
alculos. De partida notamos que seg
un (78) y (79) este modelo parece contener al primero, (78) es (59) multiplicado por (76), mientras que
en (79) recobramos (62) al hacer G2 = G3 = 0. Lo siguiente es referirnos al campo 0 , en estricto rigor corresponde a una variable independiente de aunque
nosotros quisieramos interpretarla como esta y decir que el hecho de que lleve la
prima es simplemente para poder llevar a cabo la integracion en (78), pero sera
de alg
un modo una restriccion del caso mas general en el cual 0 es considerada como una variable completamente independiente. Esta u
ltima apreciacion es
necesaria para establecer la nueva forma que adquiere el operador carga BRST.
Debemos considerar el caso mas general, en consecuencia las funciones a con 0 ). La razon por
siderar deben tener la siguiente forma F = F (x, x0 , , 0 , ,
0
la cual se considera tambien x es porque en definitiva la interpretacion que le
damos a 0 es el de ser el mismo campo pero no necesariamente evaluado en
el mismo punto, es decir, esta asociado al punto x mientras que 0 al punto
x0 , cuesti
on que se vuelve mas clara al escribir las transformaciones BRST:
=
x
=0

0 = 0
x
0=0

S
=
x

S
0 = 0
x

la carga BRST ser

a
F

= x

F
F
F
F
F
F
+ x0 0 +
+ + 0 0 + 0 0
x
x




S
S
0
=
+

F
x
x0
x x0 0
31

(81)


Q=

S
+ 0 0
0 0

x
x
x x

(82)

en vista de (82) procedemos a calcular QG = 0 y Se (para MSV1)

QG = [

S
S

][G0 + G1 + G2 0 + G3 0 ]
+ 0 0
x
x
x x0

como nada depende de x0 ni de 0 el operador carga se reduce,

][G0 + G1 + G2 0 + G3 0 ]

x
x

= [G00 (x) + G01 (x) + G02 (x) 0 + G03 (x) 0 ]

S
( G1 G3 0 ) = 0
x
(83)

argument
andonos en la independencia lineal de 1, 0 . . . etc.
(82)
G00 (x) = 0 G01 (x) = 0 G02 (x) = 0 G03 (x) = 0
S
G3 = 0
x

S
G1 = 0
x

(84)

inmediatamente indentificamos en (84) la contencion de (71), reafirmando el que

este nuevo producto interno pareciera ser una extension del primero.
El funcional Se resulta
Se = < G|Q|G >
=

R
Z

0 +G3
0 ][ S
[d][G0 +G1 +G2
x
x

dx [G0 G01 (x) + G2 G03 (x) G0

32

0
0

][G0 +G1 +G2 +G3 ]

S
S
G1 G2
G3 ]
x
x

(85)

finalmente variando Se con respecto a G0 , G1 , G2 , G3 e igualando las variaciones

a cero en concordancia con (56)
S
G0

= G01 (x)

S
G1

S
G1 = 0
x

(86)

= G0 (x) +

S
G0 = 0
x

(87)

S
G2

= G03 (x)

S
G3 = 0
x

(88)

S
G3

= G2 (x) +

S
G2 = 0
x

(89)

vemos que (85) y (86) corresponden a (67) y (68) respectivamente, nuevamente

una indicaci
on de que este segundo modelo es una extension del anterior.
En vista de lo anterior y por el hecho que el primer modelo es mas sencillo
decidimos optar por trabajar con este. Ademas debemos sumar el hecho de la
sutileza que existe en torno a la interpretacion de 0 . A pesar de decidirnos
por el primer modelo, hemos querido presentar el segundo modelo de producto
interior porque form
o parte del trabajo realizado en la practica y porque no deja
de ser interesante.

5.4.
5.4.1.

Primer modelo de producto interior y MFE

MSV1

El primer modelo de producto interior queda definido por las ecs. (59) y
(62), las cuales volvemos a escribir abajo
Z

e | x, >< x, | = 1
dxdd

(59)

< x, |G >= G(x, ) = G0 + G1

(62)

| x, >:

La generalizaci
on de (59) a N dimensiones corresponde a
~ >:
| ~x,

Z Y
N

~ >< ~x, |
~ =1
( dxl dl dl )ei i | ~x,

(90)

l=1

La versi
on de (62) generalizada a N-dimensiones cuando |G > representa un
estado fsico, debe corresponder, como fue se
nalado a comienzos del captulo 5,
a una funci
on de los invariantes r, en la extension de MSV1, es decir,
~ >= G(r, ) = G0 (r) + G1 (r)
< ~x, |G
33

(91)

Es interesante subrayar el hecho de que (62) permite esta situacion, puesto que
contempla el uso de los i con los cuales se genera el invariante , no as, el
e
caso de (60). Intentaremos entonces obtener MFE del modelo extremizando S,
la cual procedemos a calcular.
La medida de integraci
on la denotaremos por [d].
Z
Se =

[d]ei i [G0 (r) + G1 (r)][i

][G0 (r) + G1 (r)]

xi
xi i

al multiplicar todos los terminos y llevar a cabo las integrales gaussianas sobre
las variables de Grassmann finalmente resulta (apendice E)

Se =

Z Y
N
G1 (r)
S
( dxl )[G0 (r)
xi + G0 (r)N G1 G0 (r)
G1 xi ] (92)
xi
xi
l=1

calculando la variaci
on con respecto a G0 e igualandola a cero en pos de (56)
Se
G0

G1
f
xi + N G1 N
G1 xi = 0
xi
xi

dividimos por N y tomamos el lmite N

G1 xi
f
+ G1
G1 xi
xi N
xi

f
]
r

G1 [1 r

(93)

mientras que al hacer lo mismo con la variacion con respecto a G1

Se
G1

( G0 xi )
f
+ N G0 N
G0 xi = 0
xi
xi
G0 xi
f
G0 xi
=0
xi N
xi

G0 r

f
=0
r

(94)

34

tenemos dos ecuaciones (93) y (94),

(93)

G1 = 0 1 r
G0 = 0 r

(94)

f
=0
r

f
=0
r

suponiendo que no conocemos MFE del modelo, pues esto es lo que esperamos
que el metodo variacional determine, observamos que las implicancias de (93) y
(94) resultan en que
G0 6= 0 G1 = 0

G1 6= 0 G0 = 0

ambos casos hacen que (92) se anule! Este problema de aparente inconsistencia
se debe a la ec.(94) pues sabemos que rf /r 6= 0 y la forma que adopta (94)
se debe al termino de integracion por partes (G0 xi )/xi . Para solventar esta
situaci
on notamos que si en (92) eliminamos el termino G0 xi G1 /xi pidiendo
que G1 sea constante, entonces ya no aparece en (94) el termino conflictivo.9
En este caso el funcional Se se reduce a

Se =

Z Y
N
f
( dxl )[G0 (r)N G1 N G0 (r)
G1 xi ]
xi

(95)

l=1

las variaciones con respecto a G0 , G1 son inmediatas

Se
G0
Se
G1

= N G1 [1 r
Z
=

f
]=0
r

dN x N G0 [1 r

f
]=0
r

(96)

(97)

de la forma de (92) y (95) sabemos que si no queremos que estas expresiones

pierdan sentido (i.e. el funcional se anule), necesariamente G0 , G1 6= 0. Con esto
en la mano, nos fijamos que (96) implica MFE y (97) es una condicion que se
satisface en virtud de (96). De esta manera hemos cumplido nuestro objetivo
para MSV1.
Finalmente quisieramos se
nalar el hecho que en este caso particular no se requiri
o tomar el lmite de N grande para encontrar MFE, lo que podra ser otro
aditivo que trae consigo el metodo variacional y por supuesto el hecho de pedir
G1 = cte no deja de ser una restriccion necesaria para que el metodo funcione
pero tambien se convierte en informacion adicional sobre la forma de las funciones G.
9 El

hecho de pedir G1 constante concentra en G0 toda la dependencia de los xi .

35

5.4.2.

MV2

La correspondiente generalizacion de (90) a MV2 corresponde a

~ ~ >:
| ~x, ~y , ,

Z Y
N

~ ~ >< ~x, ~y , ,
~ ~ | = 1
( dxl dyl dl dl d
l dl )ei i ei i |~x, ~y , ,
l=1

(98)
la proyecci
on del ket |G > es
~ ~ |G > = G(r1 , r2 , r3 , 1 , 2 , 3 , 4 )
< ~x, ~y , ,
= G0 + G1 1 + G2 2 + G3 3 + G4 4
+G5 1 2 + G6 1 4 + G7 2 3 + G8 3 4

(99)

donde Gi = Gi (r1 , r2 , r3 ) con i = 0, 1, . . . , 8. De esta manera procedemos a

e utilizaremos [d] para la medida de integracion donde
calcular el funcional S,
convenga

Se =

Z Y
N

( dxl dyl dl dl d
l dl )ei i ei i [G0 + G1 1 + G2 2 + G3 3 + G4 4
l=1

+G5 1 2 + G6 1 4 + G7 2 3 + G8 3 4 ][i

+ i

]
xi
yi
xi i
yi i

[G0 + G1 1 + G2 2 + G3 3 + G4 4 + G5 1 2 + G6 1 4 + G7 2 3 + G8 3 4 ]

notamos el hecho de que

1 2

= xi i xj j = xi xj i j
= xi xj j i = xj j xi i
= 2 1

36

al desarrollar la u
ltima expresion, es decir, despues de multiplicar todos los
terminos y llevar a cabo la integracion sobre las variables de Grassmann resulta
(apendice E)

Z Y
N
G1
G3
G2
G4
( dxl dyl )G0 [
xi + N G1 +
yi +
xi +
yi
xi
xi
yi
yi
l=1

+N G4 N

f
f
( G1 xi + G3 yi ) N
( G2 xi + G4 yi )]
xi
yi
+(G1 xp + G3 yp )[

G8 yp N +
N

G7
G8
xi yp +
yp yi
yi
yi

G6
G5
xp xi +
xp yi G6 xp N
yi
yi

f
( G5 xp xi G6 xp yi + G7 xi yp G8 yp yi )]
yi
+( G2 xp + G4 yp )[
+

G5
xi xp + N G5 xp
xi

G7
G8
G6
xi yp + N G6 yp +
xp yi +
yi yp
xi
xi
xi

f
( G5 xi xp + G6 xi yp G7 xp yi + G8 yi yp )]
xi

(100)

(100) es una expresi

on bastante mas complicada que (92), motivado por el analisis previo en MSV1 donde se determino que G1 = cte, aqu probamos la opcion
G1 , G2 , . . . , G8 = cte.10
Entonces (100) se reduce a

Se =

Z Y
N
f
f
( dxl dyl )G0 [N G1 + N G4 N
( G1 xi + G3 yi ) N
( G2 xi + G4 yi )]
xi
yi
l=1

+(G1 xp + G3 yp )[G8 yp N G6 xp N N
+( G2 xp + G4 yp )[N G5 xp + N G6 yp N

10 Nuevamente

f
( G5 xp xi G6 xp yi + G7 xi yp G8 yp yi )]
yi

f
( G5 xi xp + G6 xi yp G7 xp yi + G8 yi yp )]
xi
(101)

concentramos la dependencia de las variables originales xi , yi , en el primer

coeficiente G0 .

37

reexpresando las derivadas parciales como

f
xi f
f
=
+ yi
xi
r1 r1
r3

f
yi f
f
=
+ xi
yi
r2 r2
r3

y reagrupando terminos, (101) se expresa como

Se =

Z Y
N
f
f
f
f
( dxl dyl ) G0 N [G1 (1 r1
r3
) + G4 (1 r2
r3
)
r1
r3
r2
r3
l=1

G2 (

r3 f
r3 f
f
f
+ r12
) G3 (
+ r22
)]
r2 r2
r3
r1 r1
r3

+G1 N [ G8 r3 (1 r2

f
f
f
f
r3
) G6 r12 (1 r2
r3
)
r2
r3
r2
r3

+G5 r12 (

r3 f
r3 f
f
f
+ r12
) G7 r3 (
+ r12
)]
r2 r2
r3
r2 r2
r3

+G3 N [ G8 r22 (1 r2

f
f
f
f
r3
) G6 r3 (1 r2
r3
)
r2
r3
r2
r3

+G5 r3 (

f
r3 f
f
r3 f
+ r12
) G7 r22 (
+ r12
)]
r2 r2
r3
r2 r2
r3

+G2 N [ G5 r12 (1 r1

f
f
f
f
r3
) + G6 r3 (1 r1
r3
)
r1
r3
r1
r3

+G7 r12 (

r3 f
r3 f
f
f
+ r22
) G8 r3 (
+ r22
)]
r1 r1
r3
r1 r1
r3

+G4 N [ G5 r3 (1 r1

f
f
f
f
r3
) + G6 r22 (1 r1
r3
)
r1
r3
r1
r3

+G7 r3 (

r3 f
f
r3 f
f
+ r22
) G8 r22 (
+ r22
)]
r1 r1
r3
r1 r1
r3
(102)
38

Destacamos en (102) la aparicion del conjunto MFE para MV2.

La variaci
on de Se con respecto a G0 e igualada a cero en vista de (56) resulta
Se
G0

N G1 (1 r1

N G2 (

f
f
f
f
r3
) + N G4 (1 r2
r3
)
r1
r3
r2
r3

r3 f
f
r3 f
f
+ r12
) N G3 (
+ r22
)=0
r2 r2
r3
r1 r1
r3
(103)

como los Gi , Gi son arbitrarios y a su vez pedimos el que sean distintos de cero
por un argumento an
alogo al soslayado para MSV1, el que el funcional Se no
se anule, entonces si sumamos la condicion de pedir una extremizaci
on del
funcional Se para todas las proyecciones posibles del ket |G > de tipo
(99) con G0 dependiente de xi , yi mientras que G1 , G2 , . . . , G8 = cte entonces en este caso (103) implica las ecuaciones (51), (52), (53) y (54), es decir,
el conjunto completo de MFE para MV2.
Establecido este hecho podemos apreciar que las demas variaciones de Se producen condiciones que son satisfechas por (103).
Por ejemplo, la variaci
on con respecto a G5 e igualada a cero en vista de (56)
resulta
Se
G5

Z
=

dN xdN y G2 N r12 (1 r1

+G4 N r3 (1 r1

r3 f
f
f
f
r3
) + G1 N r12 (
+ r12
)
r1
r3
r2 r2
r3

r3 f
f
f
f
r3
) + G3 N r3 (
+ r12
)=0
r1
r3
r2 r2
r3

condici
on que es satisfecha por (103), sucediendo lo mismo para las otras variaciones.
De esta manera hemos logrado reobtener el conjunto MFE para MV2 a traves
de un metodo variacional imponiendo restricciones a la forma que adoptan las
proyecciones de los estados fsicos. Notamos tambien el hecho de que no fue
necesario para este caso y a este nivel, es decir, a nivel de la obtencion de MFE
tomar el lmite N grande.

39

6.

Conclusi
on

En este trabajo hemos encontrado un nuevo metodo para encontrar el MFE

de una teoria, el metodo variacional. Por falta de tiempo solo pudimos aplicarlo
a dos modelos sencillos pero que no dejan de ofrecernos un buen adentramiento sobre la metodologa general que se requiere para obtener estas ecuaciones
as como tambien la importancia de estas mismas y la estrategia de como ha de
atacarse va este metodo, otros modelos mas complicados e.g. modelos matriciales, campos de gauge etc.
En lo concreto que se refiere a los modelos estudiados aqu hemos visto que
el metodo variacional requiere para funcionar, que todos los coeficientes Gi en
las expansiones de las funciones representantes de estados fsicos, que acompa
nan a los invariantes que involucran anti-fantasmas, los i , sean parametros
no dependientes de xi , yi . Esto constituye un dato que aunque no demuestra
que las funciones aludidas deban ser de esta forma, s lo hacen a uno pensar en
esta posibilidad con cierto grado de interes (e.g. buscar una demostracion hacia
el futuro) y por lo tanto se puede argumentar que el metodo variacional provee
informaci
on adicional sobre el modelo.
Tambien notamos que para estos modelos en particular, la deduccion de MFE
va el metodo variacional no requiere tomar el lmite N grande lo que significa
que el metodo variacional para estos casos resulta ser mas general que el metodo
de la fase estacionaria y el metodo de las identidades de Ward, ambos que si
requieren el tomar N .
Se
nalamos tambien que por medio de este trabajo hemos logrado construir dos
tipos de productos puntos para funciones supersimetricas que pueden ser de
utilidad para futuras investigaciones.
Finalmente quisiera agregar la satisfaccion personal que he obtenido por medio
de este trabajo, para el cu
al aprend una serie de materias nuevas (unas en mayor
profundidad que otras). En particular resalto el hecho de haberme encontrado
por primera vez con el concepto de la integral de camino, la cual estudie en profundidad [2] (a pesar de hacer una breve referencia a ella en este informe, seccion
3) y haber incluso revisado la teora de 4 como forma de introducirse en la deducci
on de los diagramas y reglas de Feynmann [2] que si bien no han aparecido
en este trabajo principalmente por un problema de tiempo (se requerira de un
a
no m
as por lo menos!) si son sustanciales a lo que se investiga con N grande y
por lo tanto bueno de estudiar en aras de una mejor comprension general de la
naturaleza de este estudio.
Es verdad que los modelos y resultados son simples pero nos dan una base para
mirar versiones m
as complicadas del problema siguiendo la pauta establecida en
este informe, por ejemplo pudiesemos pensar a futuro en reemplazar el vector
de MSV1 por una matriz de N N y estar atentos a una condicion similar a
que G1 = cte y si se requiere o no tomar finalmente N , lo mismo para
40

campos escalares, campos de gauge, etc; preguntas como estas quedan abiertas
para el futuro.

41

Bibliografa
1. Mark Swanson, Path Integrals and Quantum Processes, Academic Press
(1992).

2. Bunji Sakita, Quantum Theory of Many Variables Systems and Fields,

World Scientific (1985).

3. J. Alfaro, Large-N limit of the two Hermitian-matrix model by the hidden

BRST method, Physical Review D, 47, (1993) 4714.

4. J. Alfaro, Hidden Supersymmetry and Large N, Physics Letters B, 200,

(1988) 80. En este trabajo se presenta una generalizacion del Teorema 1.

5. J. Alfaro, P. Damgaard, Schwinger-Dyson Equations as Supersymmetric

Ward Identities, Physics Letters B, 222, (1989) 425.

6. Claudio Teitelboim, Marc Henneaux, Quantization of Gauge Systems, Princeton U. Press (1992).

7. Aneesh V. Manohar, Large N QCD Course, Les Houches summer school,

editors: F. David and R. Gupta, Elsevier Science B. V. (2001).
8. E. T. Copson, Asymptotic Expansions, Cambridge University Press (1965).
9. C. Becchi, A. Rouet y R. Stora, Ann. of Phys. 98, (1976) 287.

42

A.

Nulidad del valor de expectaci

on de una variaci
on
BRST

Considerese una integral funcional cuya medida de integracion y accion pre tomaremos el caso del campo
sentan invarianza frente a variaciones BRST ,

escalar con una acci

on invariante S, probaremos entonces que
>= 0
< F
donde F es una funci
on arbitraria de las variables contenidas en el modelo, en

este caso particular, de , , .

Consideremos entonces la integral funcional
Z

Z = [D][D][D]F
eS
y las variaciones

0 = +

0 = +

0 = +

entonces
D[0 ] D[] D[ 0 ] D[] D[0 ] D[]
como la acci
on es invariante
+ ,
+ )
= S(,
= S
+ ,
, )
S0 = S(
y por otro lado
+ ,
+ )
= F (, , )
+ F

F 0 = F ( + ,
por comodidad tomaremos la normalizacion
Z

[D][D][D]e
=1
sigue
Z

0
[D0 ][D0 ][D 0 ]F 0 eS

eS(,,
[D][D][D]
F

> =
< F

como se peda.

43

)eS
[D][D][D](F
+ F

Finalmente notamos que si a la accion le sumamos una variacion BRST cualquiera

es lo mismo que sumar un cero a la integral, usaremos [d] para la medida
H
de integraci
on donde convenga
Z

[D][D][D]
eS+H

Z
=
Z
=

[D][D][D]
eS eH

2 + 1 (H)
3 + ]
+ 1 (H)
[d] eS [ 1 + H
2
3!

notamos
2
(H)

H
= (H
H)

3
(H)

H
H
= H
(H
H)

H
H)

H
= (H

..
.

..
.

haciendo uso de la nilpotencia de .

sigue entonces
Z

1
1

H) + (H
H H) + ]
[d] eS [ H
+ (H
2
3!

1
1

H)
+ ]
[d] eS [
+ (H H
H + (H H)
2
3!

e
[d] eS H

=
=
=

e >
= < H
=

como se demostr
o previamente.

44

B.

Integrales Gaussianas

Revisaremos los tipos de integrales Gaussianas mas importantes con sus

desarrollos llegando al final a aquellas que han sido utilizadas en los calculos
presentes en este trabajo. La notacion de Einstein es empleada para la suma de
ndices repetidos en las exponenciales. x denota una variable real, z una variable
compleja y , variables de Grassmann complejas. Se entiende que el rango de
integraci
on es todo el espacio.
Comenzamos citando el conocido resultado
r
Z
2

1) dxeax =
a

2)

Z Y
N
N/2
( dxl )exi Aij xj =
det A
l=1

desarrollo:
buscamos cambio de base unitario ortogonal que diagonalice a la matriz A
yi = Uik xk
donde U es la matriz unitaria buscada, luego
1
xk = Uki
yi

xk = yi Uik
la segunda lnea es la versi
on transpuesta de la anterior
Z Y
N
( dxl )exi Aij xj



Z Y
N
 (x1 xn )  yk Uki Aij U 1 yp

e
jp
( dyl )
(y1 yn ) 



Z Y
N
 (x1 xn )  y y
e k kp p
( dyl )
(y1 yn ) 

l=1

l=1

l=1

como es diagonal
kp yp = (k) yk
donde (k) es el valor propio de asociado al k-esimo vector propio, ademas

45

xi
yj


 (x1 xn ) 


(y1 yn ) 

1
= Uij

= det(U 1 ) = 1

Z Y
N
(k)
= ( dyl )e yk yk
l=1

N Z
Y

(l) 2
yl

dyl e

l=1

N
Y
l=1

N/2
=
detA

3)

Z Y
N
1 T 1
N/2
( dxl )e(xi Aij xj +bj xj ) = e( 4 b A b)
det A
l=1

desarrollo:
Aplicamos el metodo de la fase estacionaria, por lo que hacemos una expansi
on de Taylor de la funci
on en el exponente en torno a un mnimo, para esto
calculamos las primeras y segundas derivadas (no hay mas puesto que es una
forma cuadr
atica m
as un termino lineal)

(xi Aij xj + bj xj )
xk

= ik Aij xj + xi Aij jk + bj jk
= Akj xj + xi Aik + bk
= Akp xp + Apk xp + bk

se asume que la matriz A es simetrica (hermtica en el caso mas general), entre

otras razones, para asegurar que sea diagonalizable, entonces
= Akp xp + Akp xp + bk
= 2Akp xp + bp = 0
2Akp xp = bp
1
bk
xp = A1
2 pk
46

se iguala a cero porque es un punto mnimo.

Las segundas derivadas son
2
(xi Aij xj + bj xj )
xk xm

(2Akp xp + bp )
xm

2Akm

de esta forma la expansi

on de Taylor en torno al mnimo queda
xi Aij xj + bj xj

1
1 1
1 1
1
1
1
bp A1
pi Aij Ajk bk bp Apk bk + (xi + Aik bk )Aij (xj + Ajk bk )
4
2
2
2

1
1
1 1
1 1
1
bp A1
pi Iik bk bp Apk bk + (xi + Aik bk )Aij (xj + Ajk bk )
4
2
2
2

1
1 1
1 1
1
1
bp A1
pk bk bp Apk bk + (xi + Aik bk )Aij (xj + Ajk bk )
4
2
2
2

1
1
1
= bT A1 b + (xi + A1
bk )Aij (xj + A1
bk )
4
2 ik
2 jk
definimos
1
bk
x
ei = xi + A1
2 ik
el cambio de variable asociado es trivial ya que
integral queda
1 T

= e( 4 b

A1 b)

xi
e
xj

= ij en consecuencia la

Z Y
N
xi Aij e
xj )
( de
xl )e(e
l=1

lo que resulta finalmente

Z Y
N
1 T 1
N/2
( dxl )e(xi Aij xj +bj xj ) = e( 4 b A b)
det A
l=1

47

4)

Z Y
N
(2)N
( d
zl dzl )ezi Aij zj =
detA
l=1

desarrollo:
De manera similar que en 3) se busca sistema de coordenadas que diagonalicen
A, as sea este dado por
wi

Uik zk

w
i

zk Uki

zk

Uki
wi

zk

w
i Uik

en consecuencia
Z Y
N
zl dzl )ezi Aij zj
( d
l=1



Z Y
N
 (z1 , z1 , zN , zN )  wp Upi Aij U wk

e
jk
l dwl )
( dw
(w1 , w
1 , , wN , w
N ) 
l=1



Z Y
N
 (z1 , z1 , zN , zN )  w w
 e p pk k
=
( dw
l dwl )
(w1 , w
1 , , wN , w
N ) 
l=1

nos fijamos que

zi
wj

= Uij

zi
w
j

zi
w
j

= Uij

zi
wj

se verifica que


 (z1 , z1 , zN , zN ) 

 = det(U )det(U ) = det(U U ) = 1
 (w1 , w
1 , , wN , w
N ) 
48

de esta manera
=

Z Y
N
( dw
l dwl )ewp pk wk
l=1

Z Y
N
p
=
( dw
l dwl )ewp wp
l=1

N Z
Y

dw
l dwl e wl wl

l=1

para evaluar las integrales, cambiamos a la descripcion polar de los n

umeros
complejos, as en terminos generales
w

ei

ei

de esta forma
Z

dwdw
eww
=



 (w, w)
 2
e
dd
(, ) 


 
 (w, w)
  ei

 (, )  =  ei


iei 
= 2
iei 

entonces
N Z
Y

dw
l dwl e wl wl

l=1

N Z
Y

l 2

dl dl 2l e l

l=1

N
Y

49

l 2

dl 2l e l

N
Y

e l
2
l


N
Y
2
l=1

l=1

l=1

Z
2

(2)N
detA

l 2

0

5)

Z Y
N
(2)N ( bA1 b)

( d
zl dzl )e(zi Aij zj +bj zj +zj bj ) =
e
detA
l=1

desarrollo:
aplicamos el metodo de la fase estacionaria,

(
zi Aij zj + bj zj + zj bj ) = 0
zk
zi Aik + bk = 0
zi Aik = bk
zi = bk A1
ki

(
zi Aij zj + bj zj + zj bj ) = 0
zk
Akj zj + bk = 0
Akj zj = bk
zj = A1
jk bk

la u
nica derivada de segundo orden de interes es (las otras son cero)
2
(
zi Aij zj + bj zj + zj bj )
zp zk

(Akj zj + bk ) = Akp
zp

en consecuencia la expansi
on de Taylor adopta la siguiente forma
zi Aij zj + bj zj + zj bj

1
1
1
= bk A1
ki Aij Ajp bp bj Ajk bk bk Akj bj
1
+(
zi + bk A1
ki )Aij (zj + Ajk bk )

1
1
= bk A1
kp bp bj Ajk bk bk Akj bj

50

1
+(
zi + bk A1
ki )Aij (zj + Ajk bk )
1
= bk A1
zi + bk A1
kj bj + (
ki )Aij (zj + Ajk bk )

definimos
zej = zj + A1
jk bk
e
zi = zi + bk A1
ki

de esta forma la integral queda

Z Y
N
zj )
zl de
zl )e(ezi Aij e
( de

bk A1
b
kj j

l=1

e ( bA

b)

(2)N
detA

Las siguientes integrales que contienen variables de Grassmann cobran especial

relevancia pues fueron usadas en reiteradas ocaciones en los calculos.

Z Y
N

6) ( dl dl )ei Aij j = detA

l=1

hacemos cambio de base

i

Uik k

k Uki

Uki
i

i Uik

51

Z Y
N

( dl dl )ei Aij j



Z Y
N
 (1 , 1 , N , N )  p Upi Aij U k
e
jk
( dl dl )
(1 , 1 , , N , N ) 
l=1

Z Y
N

( dl dl )det(U U ) ep pk k

l=1

l=1

Z Y
N
(p)
( dl dl ) ep p
l=1

N Z
Y

(l)

dl dl el

l=1

N Z
Y

dl dl ( 1 (l) l l )

l=1

N
Y

(l)

dl dl l l

l=1

N
Y

(l)

l=1

= detA

Z Y
N

1
7) ( dl dl d
l dl )e(i Aij j +bj j +j bj ) = detA e(bA b)
l=1

aplicamos metodo de la fase estacionaria

(i Aij j + bj j + j bj ) = 0
k
i Aik + bk = 0
i Aik = bk
i = bk A1
ki

(i Aij j + bj j + j bj ) = 0
k
52

Akj j + bk = 0
Akj j = bk
j = A1
jk bk

la u
nica derivada de segundo orden de interes es (las otras son cero)
2
(i Aij j + bj j + j bj )
zp k

(Akj j + bk ) = Akp
p

en consecuencia la expansi
on de Taylor adopta la siguiente forma
i Aij j + bj j + j bj

1
1
1
= bk A1
ki Aij Ajp bp bj Ajk bk bk Akj bj
1
+(i + bk A1
ki )Aij (j + Ajk bk )

1
1
= bk A1
kp bp bj Ajk bk bk Akj bj
1
+(i + bk A1
ki )Aij (j + Ajk bk )
1
1

bk A1
kj bj + (i + bk Aki )Aij (j + Ajk bk )

definimos
ej = j + A1
jk bk
e = + b A1

i
k ki
i

de esta forma la integral queda

1

= e bk Akj bj

Z Y
N
Aij
ej )

e de )e(e
i
( d
l
l
l=1

= e ( bA

b)

detA
53

esta u
ltima integral nos permite evaluar las siguientes expresiones (presentes en
e
los c
alculos de las S)
Z Y
N

( dl dl )k ei Aij j

bk

l=1

Z Y
N

( dl dl d
l dl )e(i Aij j +bj j +j bj ) |b=0
l=1

1
detA e(bA b)

bk

1
1
(bi Aij bj ) detA e(bA b)
bk

(bA
= A1
kj bj detA e

b)

|b=0 = 0

al evaluar en b = 0.
luego
Z Y
N

( dl dl )k ei Aij j = 0
l=1

de la misma forma
Z Y
N

( dl dl )k p ei Aij j

l=1

2
bpbk

Z Y
N

( dl dl d
l dl )e(i Aij j +bj j +j bj ) |b=0
l=1

1
1
A bj detA e(bA b)
bp kj

1
(bA
= A1
kj bj detA Apj bj e

b)

|b=0 = 0

Z Y
N

( dl dl )k p ei Aij j = 0
l=1

por otro lado

Z Y
N

( dl dl )k p ei Aij j

l=1

2
bpbk

Z Y
N

( dl dl d
l dl )e(i Aij j +bj j +j bj ) |b=0
l=1

1
( A1 bj detA e(bA b) )
bp kj
54

(bA
= jp A1
kj detA e

b)

(
bA1 b)

+ A1
|b=0
kj bj detA bk Akp e

= A1
kp detA

Z Y
N

( dl dl )k p ei Aij j = A1
kp detA
l=1

en definitiva s
olo aquellas correlaciones que tengan igual n
umero de que de
son distintas de cero11 . Para este trabajo, todas las integrales gaussianas
1
encontradas contaron con A = I A1
kp = Ikp = kp , detA = detI = 1
en otras palabras
Z Y
Z Y
N
N

( dl dl )k p ei Iij j = ( dl dl )k p ei i = kp
l=1

l=1

cuya versi
on al continuo toma la siguiente forma
Z

Z
R
R
0
0 )(xx)(x)

dx0dx(x
dx(x)(x)

[D][D](x)
(y)e
= [D][D](x)
(y)e
= (xy)

de manera similar
Z Y
Z Y
N
N

( dl dl )ei Iij j = ( dl dl )ei i = detI = 1

l=1

l=1

cuya versi
on al continuo es
Z

Z
R 0
R
0
0

[D][D]
e dx dx(x )(xx)(x) = [D][D]
e dx(x)(x) = 1

11 Este hecho fue de mucha utilidad en el c

e, especialmente en el caso de MV2,
alculo de los S
donde el n
umero de t
erminos en el integrando es considerable.

55

C.

Consistencia del sistema de MFE en MV2

Demostraremos que el conjunto de ecuaciones de MFE para MV2 es consistente.

El conjunto est
a dado por
1 r1
1 r2

f
f
r3
=0
r1
r3

(I)

f
f
r3
=0
r2
r3

(II)

r3 f
f
+ r12
=0
r2 r2
r3

(III)

f
r3 f
+ r22
=0
r1 r1
r3

(IV)

restamos (II) a (I) obteniendo

r2

f
f
f
r1 f
r1
=0
=
r2
r1
r2
r2 r1

()

reemplazamos (*) en (III)

r3 f
f
+ r12
r2 r2
r3

r3 r1 f
f
+ r12
=0
r2 r2 r1
r3

f
r3 f
+ r1
r22 r1
r3

0 /

r3 f
f
+ r22
r1 r1
r3

r22
r1

y esta u
ltima ecuaci
on corresponde a (IV), luego
{(I), (II), (III)} (IV) y el sistema es consistente.

56

D.

Representaci
on coherente de estados bos
onicos
y fermi
onicos

La representaci
on coherente se enmarca dentro del contexto de un sistema
descrito por un cierto hamiltoniano H. En su descripcion cuantica, el observable
H tendr
a una base ortonormal de autoestados {| n >}, en la aproximacion
arm
onica, se definen operadores de creacion y aniquilacion {a , a} como

a|n >=
a |n >=

n |n1 >

n + 1 |n+1 >

y cumplen con la siguiente relacion de conmutacion

[a , a] = 1
la representaci
on coherente se basa en buscar una representacion semi-clasica
del sistema por medio de una adecuada combinacion lineal de los {|n>}, para
los estados bos
onicos esta resulta ser

|z >=

X
zn
|n >
n!
n=0

donde z es un n
umero complejo y por ende es un ndide continuo
notando el hecho de que
n

(a )
|n >= |0 >
n!
implica
|z >=

(za )
|0 >= eza |0 >
n!
n=0

donde hemos usado |0 >= |0 > para el estado de mnima energa12 .

12 tambi
en

conocido como estado del vaco.

57

siguen las siguientes propiedades

< z| =

X
zn
< n |
n!
n=0
0

< z 0 |z > = ez z
a|z > = z|z >
< z|a

= < z|
z

a |z > =

d
z dz zz
e |z >< z| =
2

Z 2

n,m

XZ
0

n,m

XZ

X Z
(

|z >
z



dd  (z, z)  2 X n+m ei(nm)

e
|n >< m |
2  (, ) 
n! m!
n,m

2
d
2 e (
2

d 2 e 2n )

(n + 1)

n+m
d ei(nm) )
|n >< m |
n! m!

2
d
n+m
2 e (2 n,m )
|n >< m |
2
n! m!

1
|n >< n |
n!

1
|n >< n |
n!

|n >< n | = 1

d
z dz zz
e |z >< z| =
2

para la relaci
on de completitud.

58

Para la representaci
on coherente de estados fermionicos | >, todo es analogo con la diferencia de que en vez de usar la variable compleja z usamos la
variable de Grassmann , de esta forma

| > =

X
n
|n >
n!
n=0

| > =

|0 > + |1 >

| > =

|0 > + |1 >

debido a que 2 , 3 , . . . etc = 0

para fermiones se definen los operadores anticonmutantes de creacion y aniquilacion

{ , }
|0 > =

|1 > =

|0 >

|0 > =

|1 >

|1 > =

que cumplen con la siguiente relacion de anticonmutacion

=1
{ , }
2 = ( )2 = 0
siguen las siguientes propiedades

| > =

e |0 >

< | =

< 0| e

< 0 | > =

> =
|
59

| >

< |

| > =

e
dd
| >< | =

(1 )|

dd
>< |

(1 )(|0

dd
> +|1 >)(< 0|+ < 1|)

(1 )(|0

>< 1|)
dd
>< 0| + |0 >< 1| + |1 >< 0| + |1

( |1
>< 1| |0

dd
>< 0|)

=
=

| >

< |

|0 >< 0| + |1 >< 1| = 1

e | >< | = 1
dd

para la relaci
on de completitud.

60

E.

Detalles del C
alculo de Se para MSV1 y MV2

Para MSV1

Se = < G|Q|G >

Z Y
N

~ >< ~x, |Q|G

~
= < G| ( dxdl dl )ei i | ~x,
>
l=1

Z Y
N

~ >< ~x, |Q|G

~
=
( dxdl dl )ei i < G| ~x,
>
l=1

a la medida de integraci
on la denotaremos por [d]
Z

=
[d]ei i [G0 (r) + G1 (r)][i

][G0 (r) + G1 (r)]

xi
xi i
Z
( G0 (r) + G1 (r) )
S ( G0 (r) + G1 (r) )

]
=
[d]ei i [G0 (r) + G1 (r)][i
xi
xi
i
para evitar confusi
on usamos distintos ndices para las diferentes sumas
Z

=
[d]ep p [G0 (r) + G1 (r)]
[i

Z
=

[d]ep p [G0 (r) + G1 (r)]

[i

Z
=

G0 (r)
G1 (r)
S
+ i
+ ij i G1 j ij
G1 xj ]
xi
xi
xi

[d]ep p [G0 (r) + G1 (r)xj j ]

[i

G0 (r)
S ( G1 (r)xj j )
G1 (r)
(xj j )
]
+ i
+ i G1

xi
xi
xi
xi
i

G0 (r)
G1 (r)
S
+ i
xk k + i G1 i
G1 xi ]
xi
xi
xi

[d]ep p [G0 (r)i

G0 (r)
G1 (r)
+ G0 (r)i
xk k + G0 (r)i G1 i
xi
xi

61

G0 (r)

S
G0 (r)
G1 (r)
G1 xi + G1 (r)xj j i
+ G1 (r)xj j i
xk k
xi
xi
xi

+G1 (r)xj j i G1 i G1 (r)xj j

S
G1 xi ]
xi

al llevar a cabo la integrales gaussianas sobre las variables de Grassmann resulta

(apendice B, integrales 6 y 7)
=

Z Y
N
G1 (r)
S
( dxl )[G0 (r)ik
xk + G0 (r)ii G1 G0 (r)
G1 xi ]
xi
xi
l=1

Se =

Z Y
N
G1 (r)
S
( dxl )[G0 (r)
xi + G0 (r)N G1 G0 (r)
G1 xi ]
xi
xi
l=1

62

Para MV2

Se =

Z Y
N

( dxl dyl dl dl d
l dl )ei i ei i [G0 + G1 1 + G2 2 + G3 3 + G4 4
l=1

+G5 1 2 + G6 1 4 + G7 2 3 + G8 3 4 ][i

S
S

+ i

]
xi
yi
xi i
yi i

[G0 + G1 1 + G2 2 + G3 3 + G4 4 + G5 1 2 + G6 1 4 + G7 2 3 + G8 3 4 ]

notamos el hecho de que

1 2

= xi i xj j = xi xj i j
= xi xj j i = xj j xi i
= 2 1

Z
=

[d]ei i ei i [G0 + G1 1 + G2 2 + G3 3 + G4 4
+G5 2 1 + G6 4 1 + G7 3 2 + G8 4 3 ]
[i

G0
G1
G2
G5
+ i
1 + i i G1 + i
2 + i
1 2
xi
xi
xi
xi

G3
G6
G7
+i i G5 2 + i
1 4 + i i G6 4 + i
2 3 + i
3
xi
xi
xi
+i
+i

G4
G8
G0
G1
G2
4 + i
3 4 + i
+ i
1 + i
2
xi
xi
yi
yi
yi

G7
G8
G4
G3
3 + i
2 3 + i
34 G8 3 i i + i
4
yi
yi
yi
yi
+
i i G4 + i

G6
G5
1 2 + i
1 4 G6 1 i i
yi
yi

f
( G1 xi + G3 yi + G5 xi 2 + G6 xi 4 G7 2 yi + G8 yi 4 )
xi

f
( G2 xi + G4 yi G5 1 xi G6 1 yi + G7 xi 3 G8 3 yi )]
yi

despues de un cuidadoso an
alisis termino a termino, los u
nicos terminos que no
resultan trivialmente cero al integrar sobre las variables de Grassmann son
63

G0 [i

G1
G3
G2
G4
xj j + i i G1 + i
yj j + i
xj j + i
yj j
xi
xi
yi
yi
+i i G4 N

f
f
( G1 xi + G3 yi ) N
( G2 xi + G4 yi )]
xi
yi

+(G1 xp p + G3 yp p )[i

G7
G8
xj j yk k + i
yj j yk k
yi
yi

G5
G6
G8 yi i j j + i
xj j xk k + i
xj j yk k G6 xj j i i
yi
yi
N

f
( G5 xj j xi G6 xj j yi + G7 xi yj j G8 yj j yi )]
yi
( G2 xp p + G4 yp p )[i

+i

G5
xj j xk k + i i G5 xj j
xi

G8
G6
G7
xj j yk k + i i G6 yj j + i
xj j yk k + i
yj j yk k
xi
xi
xi
N

f
( G5 xi xj j + G6 xi yj j G7 xj j yi + G8 yi yj j )]
xi

al llevar a cabo la integraci

on de las variables de Grassmann sobre estos terminos, resulta (apendice B, integrales 6 y 7)
Z Y
N
G1
G3
G2
G4
= ( dxl dyl )G0 [ij
xj + N G1 + ij
yj + ij
xj + ij
yj
xi
xi
yi
yi
l=1

+N G4 N

f
f
( G1 xi + G3 yi ) N
( G2 xi + G4 yi )]
xi
yi

+(G1 xp + G3 yp )[ij pk
G8 yi pi N + ik pj
N

G7
G8
xj yk + ik pj
yj yk
yi
yi

G5
G6
xj xk + ik pj
xj yk G6 xj pj N
yi
yi

f
( G5 xj pj xi G6 xj pj yi + G7 xi yj pj G8 yj pj yi )]
yi
+( G2 xp + G4 yp )[ij pk

+ij pk

G5
xj xk + N G5 xj pj
xi

G6
G7
G8
xj yk + N G6 yj pj + ik pj
xj yk + ij pk
yj yk
xi
xi
xi

64

f
( G5 xi xj pj + G6 xi yj pj G7 xj pj yi + G8 yi yj pj )]
xi

es decir,
=

Z Y
N
G1
G3
G2
G4
xi + N G1 +
yi +
xi +
yi
( dxl dyl )G0 [
xi
xi
yi
yi
l=1

+N G4 N

f
f
( G1 xi + G3 yi ) N
( G2 xi + G4 yi )]
xi
yi
+(G1 xp + G3 yp )[

G8 yp N +
N

G7
G8
xi yp +
yp yi
yi
yi

G5
G6
xp xi +
xp yi G6 xp N
yi
yi

f
( G5 xp xi G6 xp yi + G7 xi yp G8 yp yi )]
yi
+( G2 xp + G4 yp )[
+

G5
xi xp + N G5 xp
xi

G6
G7
G8
xi yp + N G6 yp +
xp yi +
yi yp
xi
xi
xi

f
( G5 xi xp + G6 xi yp G7 xp yi + G8 yi yp )]
xi

65