Beruflich Dokumente
Kultur Dokumente
10
Espacios con Curvatura y Torsin
o
La integral de trayectoria de una part
cula libre en coordenadas esfricas nos ha
e
ense ado una importante leccin: en el espacio Euclideano, hemos obtenido correctan
o
mente la particin temporal de la amplitud en coordenadas curvil
o
neas construyendo
la accin en las coordenadas Cartesianas xi y transformandolas a las coordenadas
o
esfricas q = (r, , ). Ha sido crucial hacer la transformacin en trminos de las
e
o
e
diferencias nitas de las coordenadas, xi q . Esto produce trminos de ore
den superior, hasta orden (q)4 /, que tienen que incluirse en las diferencias q .
Todos ellos contribuyen a orden . Es obvio que en tanto el espacio sea Euclideano,
el mismo procedimiento puede usarse para encontrar la integral de trayectoria en
un sistema de coordenadas curvil
neas arbitrario q , si ignoramos las complicaciones
que surgen cerca de las singularidades de las coordenadas, las cuales estn presentes
a
en barreras centr
fugas, barreras angulares o potenciales de Coulomb. Para estos
casos, en los Cap
tulos 1214, se desarrollar un tratamiento especial.
a
Vamos ahora a desarrollar una extensin bastante natural, y nada trivial, de
o
este procedimiento y denir una integral de trayectoria en un espacio de mtrica af
e
n
arbitraria con curvatura y torsin. Se debe de enfatizar que en tales espacios la teor
o
a
cuntica no est un
a
a vocamente denida por el formalismo desarrollado hasta ahora.
La razn es que la teor original de Schrdinger, utilizada en el Cap
o
a
o
tulo 2 para
justicar la introducin de las integrales de trayectoria, no est denida de forma
o
a
unica en tales espacios. En la f
786
10.1
10.2 Movimiento Clsico de una Masa Puntual en un Espacio General de Mtrica Af 787
a
e
n
tan peque os que no pueden ser detectados por los experimentos actuales. Esto se
n
debe al valor tan peque o del esp intr
n
n
nseco de la materia gravitacional ordinaria.
En estados excepcionales de materia, tales como estrellas de neutrones polarizados u hoyos negros, la torsin puede ser relevante. Actualmente se acepta que el
o
espacio-tiempo deber contener una torsin no nula, al menos localmente en los
a
o
puntos donde se localizan las part
culas elementales con esp [55]. Esto se sigue
n
de consideraciones de simetr muy generales. Por otra parte, las ecuaciones que
a
describen en su totalidad el movimiento para el campo con torsin, son a n materia
o
u
de especulacin. As es una pregunta abierta la cuestin de s es posible que un
o
,
o
campo con torsin pueda propagarse en el espacio vac lejos de materia con esp
o
o
n.
A n cuando los efectos de torsin son peque os mantendrenos la discusin tan
u
o
n
o
general como sea posible y estudiaremos el movimiento de una part
cula en un espacio con mtrica af lo mismo con curvatura que con torsin. Para preparar
e
n
o
las bases primero recapitulemos unos cuantos hechos bsicos relacionados con las
a
o
rbitas clsicas de las part
a
culas en un campo gravitacional. Por simplicidad, consideraremos slo el espacio tri-dimensional, el cual tiene una geometr no trivial.2
o
a
Existe entonces una eleccin natural por la variable temporal t, la cual es conveniente
o
para parametrizar las rbitas de las part
o
culas.
Partiendo de la accin de la part
o
cula libre introduciremos una integral de trayectoria para la amplitud de evolucin temporal en cualquier espacio de metr af
o
ca n,
la cual determina la mecnica cuntica via las uctuaciones cunticas de orbitas de
a
a
a
las part
culas.
10.2
10.2.1
Ecuaciones de Movimiento
(10.1)
2
ta
Esta accin puede ser transformada a coordenadas curvil
o
neas q , = 1, 2, 3, mediante las funciones
xi = xi (q),
2
(10.2)
788
conduciendo a
M
g (q)q q ,
2
(10.3)
(10.4)
A=
tb
ta
dt
donde
tb
ta
dt g (q)q q .
(10.5)
Tanto la accin (10.3) como la longitud (10.5) son invariantes bajo reparametrizao
ciones arbitrarias del espacio q q .
El principio de equivalencia de Einstein equivale a postular que la accin transo
formada (10.3) decribe directamente el movimiento de la part
cula en la presencia
de un campo gravitacional causado por otras masas. Las fuerzas causadas por el
campo son el resultado de las propiedades geomtricas del tensor mtrico.
e
e
Las ecuaciones de movimiento se obtienen extremando la accin en la Ec. (10.3),
o
con el resultado
1
t (g q ) g q q = g q + q q = 0.
(10.6)
( g + g g )
2
(10.7)
Aqu
es la coneccin de Riemann o s
o
mbolo de Christoel de primera clase [recordemos la
Ec. (1.70)]. Con ayuda del s
mbolo de Christoel de segunda clase [recordemos la
Ec. (1.71)]
g ,
(10.8)
q + q q = 0.
(10.9)
podemos escribir
Las soluciones a estas ecuaciones son las rbitas clsicas. Estas rbitas coinciden con
o
a
o
el extremum de la longitud de la l
nea l de la Ec. (10.5). As en un espacio curvo,
,
las orbitas clsicas son las l
a
neas ms cortas, esto es, las geodsicas [recordemos la
a
e
Ec. (1.72)].
Las mismas ecuaciones tambin se pueden obtener directamente, transformando
e
la ecuacin de movimiento de
o
H. Kleinert, PATH INTEGRALS
10.2 Movimiento Clsico de una Masa Puntual en un Espacio General de Mtrica Af 789
a
e
n
xi = 0
(10.10)
a coordenadas curvil
neas q , lo cual nos da
xi =
xi
2 xi
q + q q = 0.
q
q q
(10.11)
En este punto es util emplear las cantidades denidas en la Ec. (1.359), las bases
xi
,
q
ei (q)
q
,
xi
(10.12)
ei ej = i j .
(10.13)
(10.14)
dt
o como
q + ei ei q q = 0.
(10.15)
(10.16)
Debido a la Ec. (10.13), tambin se puede escribir como [comparar con la Ec. (1.368)]
e
= ei ei .
(10.17)
(10.18)
(10.19)
790
(10.20)
e
la Ec. (10.7) y resolviendo todas las derivadas usando la Ec. (10.20). As para
,
10.2.2
(10.21)
Simplemente tenemos que suponer que los coecientes ei (q), son funciones que no
cumplen la propiedad (10.20) la cual se sigue de la condicin de integrabilidad de
o
Schwarz (10.19):
ei (q) ei (q) = 0,
(10.22)
implicando que, contrario a la Ec. (10.19), las segundas derivadas que anteceden a
xi (q) no conmutan:
( )xi (q) = 0.
(10.23)
(10.24)
La notacin utilizada para las cantidades geomtricas en espacios con curvatura y torsin es
o
e
o
la misma que en J.A. Schouten, Ricci Calculus, Springer, Berlin, 1954.
H. Kleinert, PATH INTEGRALS
10.2 Movimiento Clsico de una Masa Puntual en un Espacio General de Mtrica Af 791
a
e
n
(10.25)
= + K ,
(10.27)
(10.28)
= .
(10.29)
En presencia de torsin, las l
o
neas ms cortas y las l
a
neas rectas ya no son iguales.
Ya que los dos tipos de l
neas tienen geomtricamente un papel igualmente favoree
cido, la pregunta que surge es cual de ellas describe correctamente la rbita clsica de
o
a
las part
culas. Intuitivamente, esperamos que las l
neas rectas sean las trayectorias
correctas ya que las part
culas masivas poseen inercia, la cual tiende a miniminizar
las desviaciones de una l
nea recta en el espacio-tiempo. Es dif concebir como
cil
una part
cula deber saber que trayectoria tomar en cada instante de tiempo para
a
miniminizar la longitud de la trayectoria a un cierto punto. Esto ser contrario
a
al principio de localidad, el cual domina todas las leyes de la f
sica. Slo en un
o
espacio-tiempo sin torsin es posible esto, ya que ah las l
o
ab =
1
1
ab
a, b = 0, 1, 2, 3.
(10.30)
792
, , . . . = 0, 1, 2, 3.
(10.31)
e
a
o
o
las componentes del tensor son vistos como los elementos de matriz ( ) .
Entonces, la matriz del conmutador de la Ec. (10.31) es igual a
[ , ] ( ) = .
(10.32)
(10.33)
(10.34)
a
A tal matriz de transformacin general ea (q) se le referir como base tetrada mulo
tivaluada.
Una transformacin para la cual las xa (q) tienen derivadas que conmutan, mieno
tras que las primeras derivadas parciales xa (q) = ei (q) no lo hacen, lleva una
regin del espacio plano a un espacio curvo.
o
La teor de gravitacin original de Einstein supone la ausencia de torsin. Las
a
o
o
propiedades espaciales estn completamente determinadas por el tensor de curvatura
a
de Riemann formado de la coneccin de Riemann (s
o
mbolo de Christoel )
R = [ , ] .
(10.35)
R = R + D K D K [K , K ] .
(10.36)
e
mbolos
D v v v ,
D v v + v .
(10.37)
10.2 Movimiento Clsico de una Masa Puntual en un Espacio General de Mtrica Af 793
a
e
n
(10.38)
(10.39)
Note que de denicin de , dada en las Ec. (10.16) y (10.17), las derivadas
o
covariantes de ei y ei se anulan:
D ei ei ei = 0,
D ei ei + ei = 0.
(10.40)
(10.41)
R = g R .
(10.42)
y la curvatura escalar
(10.43)
o
ilustran la forma en la cual estas transformaciones son capaces de generar curvatura
y torsin a partir de un espacio Euclideano. Al lector no familiarizado con este
o
tema se le aconseja consultar un texto sobre la f
sica de defectos [2], donde tales
transformaciones son normales y de gran importancia prctica; toda deformacin
a
o
plstica de un material se puede describir en trminos de tales transformaciones.
a
e
794
dq 1
dq 2 + (q)dq
para i = 1,
para i = 2,
(10.44)
(10.45)
(10.46)
e2 S = ( ).
2
(10.47)
dq =
d = 2
(10.48)
para todo circuito cerrado alrededor del origen, implicando que existe una singularidad tipo funcin en el origen
o
(10.49)
Por una superposicin lineal de tales transformaciones podemos generar una torsin
o
o
arbitraria en el espacio q. La transformacin no introduce curvatura.
o
En f
sica de defectos, la transformacin (10.46) est asociada con una dislocacin
o
a
o
causada por una capa faltante o sobrante de tomos (ver la Fig. 10.1). Cuando se
a
encierra una dislocacin a lo largo de una trayectoria cerrada C, su contraimagen
o
H. Kleinert, PATH INTEGRALS
10.2 Movimiento Clsico de una Masa Puntual en un Espacio General de Mtrica Af 795
a
e
n
Figure 10.2 Disclinacin en un cristal asociada con la falta de una seccin semi-innita
o
o
de tomos con ngulo . La transformacin no holonmica del cristal ideal al cristal con
a
a
o
o
la disclinacin introduce una curvatura tipo funcin en el espacio imagen.
o
o
dxi =
dq ei .
(10.50)
d2 s ei =
d2 s ei S ,
(10.51)
(10.52)
dq =
dxi ei .
(10.53)
d2 sij i ej =
S
d2 sij ei ej
d2 sij ei ej S ,
(10.54)
(10.55)
796
2
q q
q q
(10.56)
tivas:
(1 2 2 1 )(q) = 2 (2) (q).
(10.57)
A orden menor en , esto determina el tensor de curvatura, el cual en dos dimensiones posee slo una componente independiente, por ejemplo R1212 . Usando el
o
hecho de que g tiene derivadas que conmutan, R1212 se puede escribir como
R1212 = (1 2 2 1 )(q).
(10.58)
En f
sica de defectos, la transformacin (10.55) est asociada con una disclinacin,
o
a
o
la cual corresponde a la falta de una seccin completa, de ngulo , del arreglo
o
a
a
tomico ideal (ver la Fig. 10.2).
Es importante enfatizar que nuestra base tetrada multivaluada ea (q) no est
a
relacionada a las tetradas estndar de los campos de vierbein h (q) utilizadas en
a
10.2.3
estudio de part
culas puntuales en un espacio con curvatura y torsin, son las ecuao
ciones de movimiento imagen en el espacio cartesiano. Por lo tanto, las ecuaciones
(10.18) de las autoparalelas, describen correctamente las trayectorias para part
culas
puntuales sin esp en un espacio con curvatura y torsin.
n
o
Este postulado est basado en nuestro conocimiento del comportamiento de mua
chos sistemas f
sicos. Ejemplos importantes son los sistemas Coulombianos que sern
a
discutidos en detalle en el Cap
tulo 13, y el trompo rotatorio en un sistema de referencia jo al cuerpo [3]. As el postulado tiene buenas posibilidades de ser correcto,
10.2 Movimiento Clsico de una Masa Puntual en un Espacio General de Mtrica Af 797
a
e
n
10.2.4
(10.59)
t
ta
dt ei (q(t ))xi (t ).
(10.60)
Para dos trayectorias vecinas en el espacio x, las cuales dieren una de otra por una
variacin xi (t), la ecuacin (10.60) determina la variacin no holonmica S q (t):
o
o
o
o
S q (t) =
t
ta
(10.61)
d S
q (t),
dt
(10.62)
d i
x (t).
dt
(10.63)
798
q ei (q)xi .
(10.64)
q(ta ) = q(tb ) = 0,
(10.65)
al igual que las variaciones normales xi (t), stas forman trayectorias cerradas con
e
las orbitas jas.
Usando las Ecs. (10.62), (10.63), y el hecho de que, por denicin, S xi (t)
o
i
x (t), de la Ec. (10.61) deducimos la relacin
o
d
d S
q (t) = S ei (q(t))xi (t) + ei (q(t)) xi (t)
dt
dt
d
= S ei (q(t))xi (t) + ei (q(t)) [ei (t)q (t)].
dt
(10.66)
Despus de sustituir
e
S ei (q) = S q ei ,
d i
e (q) = q ei ,
dt
(10.67)
obtenemos
d S
d
q (t) = S q q + q q + q .
dt
dt
(10.68)
(10.69)
Luego, podemos reescribir la Ec. (10.68) como una ecuacin diferencial de primer
o
orden para S b :
d S
b = S b q + 2S q q .
dt
(10.70)
(10.71)
(10.72)
dt
(10.73)
H. Kleinert, PATH INTEGRALS
10.2 Movimiento Clsico de una Masa Puntual en un Espacio General de Mtrica Af 799
a
e
n
t
ta
dt U(t, t ) (t ) q(t ),
(10.74)
t
t
dt G(t ) .
(10.75)
tb
ta
1
dt g q S q + g S q q q .
(10.76)
800
Luego de una integracin por partes del trmino q, usando las Ecs. (10.65), (10.62),
o
e
tb
ta
dt g q + q q q + g q
d S
b + S b q q
dt
.
(10.77)
S A = M
ta
dtg ( + q q )q .
q
(10.78)
tb
ta
tb
ta
dtg q + + 2S q q q
dtg q + q q q .
(10.79)
La segunda l
nea se obtiene de la primera luego de usar la identidad = {} +
2S {} . Los corchetes indican la simetrizacin de los
o
ndices contenidos. Si usamos
S A = 0, y para q(t) sustituimos la Ec. (10.64), i.e., la imagen de una variacin
o
i
i
arbitraria de la funcin , x (t) (tt0 ), obtenemos las ecuaciones autoparalelas
o
de movimiento (10.18), que es lo que queremos mostrar.
El tratamiento variacional anterior de la accin es algo complicado y requiere de
o
un procedimiento ms simple [4]. El trmino extra que surge del segundo parntesis
a
e
e
en la variacin (10.77), puede ser asociado a una propiedad sencilla de las variaciones
o
auxiliares cerradas no holonmicas de la Ec. (10.64). Para encontrarla construimos
o
la derivada temporal dt d/dt, de la denicin (10.64), y obtenemos
o
dt q (t) = ei (q(t)) q (t)xi (t) + ei (q(t))dt xi (t).
(10.80)
o
dt q (t) = ei (q(t)) dtxi (t) .
(10.81)
(10.82)
801
(10.83)
(10.84)
A=
(10.85)
t1
o
t2
A =
dt
t1
L
L L d
q + q +2 S q q .
q
q dt
(10.86)
Luego de una integracin por partes del segundo trmino, usando la cancelacin de
o
e
o
q (t) en los puntos extremos, obtenemos la ecuacin de Euler-Lagrange
o
d L
L
L
= 2S q .
q
dt q
(10.87)
1
g 2S q q = 0,
2
(10.88)
10.3
802
1
2i /M
h
n=1
N +1
K0 (xn ),
dxn
(10.89)
n=1
1
2i /M
h
exp
i M (xn )2
, (10.90)
h 2
10.3.1
o
o
ca,
de la expresin funcional (10.60). La trayectoria preferida es la rbita clsica, i.e.,
o
o
a
la autoparalela en el espacio q. La autoparalela se caracteriza por ser la imagen de
una l
nea recta en el espacio x. En este espacio la velocidad xi (t) es constante, y la
o
rbita tiene la dependencia lineal temporal
xi (t) = xi (t0 )t,
(10.91)
donde el tiempo t0 puede estar en cualquier punto del eje t. Escogamos para t0
el tiempo nal en cada intervalo (tn , tn1 ). Para este tiempo, xi xi (tn ) est
n
a
relacionado con qn q (tn ) mediante
xi = ei (qn )qn .
n
(10.92)
e
A lo largo de la rbita clsica es fcil expresar qn en trminos de qn = qn qn1 .
o
a
a
q q q = q
2 3
q + q + ... ,
2!
3!
803
(10.93)
hacer tambin alrededor de cualquier otro punto, tal como tn1 y tn = (tn + tn1)/2,
e
dando lugar al desarrollo de pre-punto o punto medio de q.
Ahora, el trmino q de la Ec. (10.93) est dado por la ecuacin de movimiento
e
a
o
(10.18) de la autoparalela
q = q q .
(10.94)
q = ( 2 { } )q q q .
(10.95)
Sustituyendo estas expresiones en la Ec. (10.93) e inviertiendo el desarrollo, obtenemos la serie de potencias, en trminos de q, para q al tiempo nal tn . Usando
e
= ei
(10.96)
1
1
+ { } q q q +. . . ,
q q q +
2!
3!
o
ei xi
(10.97)
de las coordenadas autoparalelas o coordenadas normales para parametrizar la vecindad del punto q. Si el espacio no tiene torsin, estas coodenadas tambin se conocen
o
e
como coordenadas normales de Riemann o coordenadas geodsicas.
e
Las coordenadas normales (10.97), se representarn en la Ec. (10.150) en
a
1
1
+ { } q q q +. . . . (10.98)
q q +
2!
3!
804
1
i j F (x)xi xj + . . . ,
2!
(10.99)
1
D D f (q) + . . . .
2!
(10.101)
. (10.103)
(10.104)
As obtenemos
xi = ei q
1
1
+ q q q +. . . .(10.105)
q q +
2!
3!
H. Kleinert, PATH INTEGRALS
805
Esto diere de la verdadera serie (10.150), slo por la falta de simetrizacin de los
o
o
o
n.
Sustituyendo la Ec. (10.96) en la amplitud de tiempo corto (10.90), obtenemos
i
K0 (x) = x| H |x x =
h
1
2i /M
h
iA (q,qq)/
h
>
,
De
(10.106)
M
g q q
2
M
g q q q q q
(10.107)
2
1
1
+ g + {} + q q q q + . . . .
3
4
g
3
g q q q q q
(10.108)
2
1
1
+ + + S S q q q q + . . . .
4
3
Ntese que contrario a las frmulas para la accin de tiempo corto, deducidas
o
o
o
en el Cap
tulo 8, el lado derecho contiene slo cantidades intr
o
nsecas del espacio q.
Para los sistemas tratados en ese cap
tulo (los cuales estn en un espacio Euclideaa
no parametrizado con coordenadas curvil
neas), el presente resultado intr
nseco se
reduce al anterior.
Tmese, por ejemplo, un espacio Euclideano bi-dimensional parametrizado por
o
las coordenas radiales usadas en la Seccin 8.1. El desarrollo post-punto (10.96) en
o
a
r r()2 r()2
+
+ ... ,
r ()3
+ ... .
=
r
6
r =
(10.109)
(10.110)
M 2
(r + r 2 2 ),
(10.111)
M
1
r 2 + r 2 ()2 rr()2 r 2 ()4 + . . . .
2
12
(10.112)
806
(10.113)
M
1
2
rn + rn rn1 (n )2 rn rn1 (n )4 + . . . .
2
12
(10.114)
M
g (q(t)) q (t)q (t)
(10.115)
es idependiente del tiempo (esto es cierto para autoparalelas, as como tambin para
e
geodsicas). La accin de tiempo corto
e
o
A (q, q ) =
M
2
t
t
(10.116)
M
M
M
g (q)q q =
g (q )q q =
g ()q q ,
q
2
2
2
(10.117)
donde q , q , q son las coordenadas para el tiempo nal tn , el tiempo inicial tn1 y
(10.118)
2
2
M
1
g ()q q + g + {} q q q q + . . . ,
q
2
12
H. Kleinert, PATH INTEGRALS
807
a
ceso a las amplitudes de evolucin temporal, como veremos ms adelante. La accin
o
a
o
de pre-punto es completamente equivalente a sta y es util si queremos describir
e
M
g () q (t)q (t),
q
22
(10.119)
A = L (q, q/)
mpp
(10.120)
(10.121)
808
10.3.2
N +1
dD xi =
n1
(10.122)
n=2
n=2
det g (q)
g(q),
(10.123)
g(qn1 ) .
(10.124)
N +1
dD xi =
n1
n=2
dD qn1
n=2
sivamente las integrales en dD qn1 , empezando por la integral nal sobre dqN , la
variable de integracin qn1 aparece para cada n en el argumento del det ei (qn1 )
o
2
donde hemos omitido, como antes, los sub
ndices de qn y qn . As el Jacobiano de
N +1
dD xi =
n1
n=2
dD qn1 J0n .
(10.127)
n=2
809
(10.128)
i
,
A
h J0
(10.129)
u
o
donde el determinante det (ei ) = g(q) se eval a en el post-punto. Esta ecuacin
dene una accin efectiva asociada con el Jacobiano, para la cual obtenemos el
o
desarrollo
i
1
AJ0 = ei ei , q + ei ei ei ei , ej ej , q q + . . . . (10.130)
,
h
2
Los coecientes del desarrollo se pueden expresar en trminos de la coneccin af
e
o
n
(10.16), utilizando las relaciones:
ei, ei , = ei ei , ej ej , =
ei ei , = g [ (ei ei , ) ei ei , ej ej , ]
= g ( + ).
(10.131)
(10.132)
(10.133)
g(q q),
(10.134)
i
=
A
h J0
g(q q)
g(q)
(10.135)
i
A = 1
h J0
1
g(q)
g(q), q +
1
2 g(q)
g(q), q q +. . . . (10.136)
Usando la frmula
o
1
1
g = g g = ,
g
2
(10.137)
810
esto se convierte en
exp
1
i
AJ0 = 1 q + ( + )q q + . . . ,
(10.138)
AJ0 = q + q q + . . . .
(10.139)
N +1
dD xi =
n1
n=2
n=2
i
A
h J0n
(10.140)
1
2i /M
h
n=1
N +1
K0 (xn ).
dxn
(10.141)
n=1
811
N
n=1
dD xn
dD xn .
(10.142)
n=2
Sin embargo, sus imagenes bajo una transformacin no holonmica son diferentes,
o
o
por lo que la forma inicial de la particin temporal de la integral es importante. La
o
forma inicial (10.141) tiene la ventaja obvia de que las variables de integracin son
o
i
precisamente las cantidades xn los cuales aparecen en la amplitud de tiempo corto
K0 (xn ).
En una transformacin no holonmica, el lado derecho de la Ec. (10.142) conduce
o
o
a la norma de integracin en un espacio de mtrica af general
o
e
n
N +1
N +1
n=2
dD xn
dD qn Jn ,
(10.143)
n=2
(x)
1
=det (ei ) det {} q + { } +{ { |}} q q +. . . .
(q)
2
(10.144)
2
(10.145)
Esta expresin diere de la anterior accin Jacobiana (10.133) por los s
o
o
mbolos de
simetrizacin. Eliminando estos s
o
mbolos, las dos expresiones coinciden. Esto se
812
2M
h
Cada momentum est asociado con una diferencia de coordenadas xn xn xn1 .
a
As debemos esperar que las integrales espaciales conjugadas a pn vayan sobre las
,
diferencias de coordenadas xn = xn xn1 en lugar de ser sobre las coordenadas
xn , de donde obtenemos una diferencia importante en la subsecuente transformacin
o
de coordenadas no holonmicas.
o
Esto nos conduce a postular la siguiente particin temporal de la integral de
o
trayectoria en un espacio q:
h
q|ei(tt )H/ |q =
2i /M
h
N +1
D
n=2
g(qn )
dD qn
2i /M
h
N+1
(A +A )/
J h
n=1
i
D e
(10.146)
donde las integrales sobre qn se pueden hacer bajando sucesivamente de n = N a
n = 1.
Enfatizamos que esta expresin no ha sido derivada a partir la integral de trayeco
toria de un espacio plano. Es el resultado espec
co de un nuevo principio cuntico
a
de equivalencia el cual regula cmo las integrales de trayectoria se comportan en
o
espacios sin curvatura bajo transformaciones de coordenadas no holonmicas.
o
Es util reexpresar nuestro resultado en una forma diferente que clarique mejor
dD xn =
dD qn
g(qn ) .
(10.147)
n=1
n=1
N +1
dD qn
dD qn g(qn ) =
iA /
J h
g(qn )e
(10.148)
n=1
n=2
h
q|ei(tt )H/ |q =
1
2i /M
h
n=1
dD qn
g(qn )
2i /M
h
i
De
N+1
(A +A )/
J h
n=1
(10.149)
813
(10.150)
(10.151)
de Christoel .
Siendo cuadrtico en q, el efecto de la accin adicional se puede evaluar
a
o
fcilmente en forma perturbativa usando los mtodos explicados en el Cap
a
e
tulo 8,
= i g (q)/M.
h
h2
R(q),
6M
(10.152)
h
q|ei(tt )H/ |q =
1
2i /M
h
n=1
dD qn
g(qn )
2i /M
h
i R(qn )/6M i
h
e
De
N+1
n=1
A [qn ]/
h
(10.153)
Esta expresin para la particin temporal ser, de ahora en adelante, la denicin de
o
o
a
o
una integral de trayectoria en un espacio curvo, escrita en notacin continua como
o
h
q|ei(tt )H/ |q
D D q g(q) e
tb
ta
dt A[q]/
h
(10.154)
Las integrales sobre qn en la Ec. (10.153) se hallan sucesivamente para los valores qn+1 = qn+1 qn dejando qn+1 jo. Los pesos g(qn ) = g(qn+1 qn+1 )
requieren un desarrollo post-punto que conduzca al Jacobiano J0 de la Ec. (10.126)
y la accin Jacobiana A 0 de la Ec. (10.133).
o
J
Es importante observar que la denicin anterior de la particin temporal es
o
o
automticamente invariante bajo una transformacin de coordenadas. Esto es una
a
o
consecuencia inmediata de la denicin de la integral de trayectoria en un espacio
o
plano en trminos de una transformacin no holonmica.
e
o
o
814
Sin mencionar que la integral de trayectoria (10.153) tiene tambin una exe
presin en el espacio fase. Esta expresin se obtiene omitiendo todos los trminos
o
o
e
2
dpn
2 g(qn )
h
h
e(i/ )
N+1
n=1
1
[pn q 2M g (qn )pn pn ] .
(10.155)
Cuando se usa esta expresin desaparecen todos los problemas que se encontraron
o
en la literatura con las transformadas cannicas de las integrales de trayectoria.
o
Una propiedad importante de la denicin de la integral de trayectoria en eso
pacios con curvatura y torsin como una imagen no holonmica de una integral
o
o
de trayectoria Euclideana es que, esta imagen es automticamente invariante bajo
a
transformaciones ordinarias de coordenadas holonmicas.
o
10.4
(D 1)D .
R=
r2
(10.156)
(10.157)
(10.158)
1 2
2 2
D 2
815
D -dimensional es
g (x) = +
x x
.
r 2 r 2
(10.160)
Puesto que R ser constante sobre la supercie esfrica, podemos evaluar la cura
e
vatura para valores peque os de x ( = 1, . . . , D ), donde g (x) + x x /r 2
n
y los s
mbolos de Christoel (10.7) son x /r 2 . Sustitutendo estos
valores en la Ec. (10.35) obtenemos el tensor de curvatura para valores peque os de
n
x :
1
R 2 ( ) .
r
(10.161)
Esto se puede extender covariantemente a la supercie completa de la esfera reemplazando por la mtrica g (x):
e
1
(10.162)
R (x) = R (x) =
g (x).
r2
(10.163)
h2
(D 2)(D 1).
6Mr 2
(10.164)
h2
l(l + D 2).
2Mr 2
(10.165)
calar es una constante trivial, por lo que no ser detectable en experimentos atmicos
a
o
que midan solamente diferencias de energ En general, el mismo resultado ser
a.
a
deducido en las Ecs. (11.25) y en la Seccin 11.3.
o
Una propiedad importante de este espectro es que la energ del estado base
a
se anula en todas las D-dimensiones. Esta propiedad no puede deducirse de la
816
g(q)
(D) (q q ).
(10.166)
La relacin de completes es
o
dD q g(q)|q q| = 1.
10.5
(10.167)
tb
ta
dt
e
A (q(t))q V (q(t)) .
(10.168)
A =
M
e
e
(xi )2 + Ai (x)xi Ai,j (x)xi xj V (x) + . . . .
2
c
2c
(10.169)
t
t
dtL(t)
(10.170)
e
M 2
(10.171)
H. Kleinert, PATH INTEGRALS
817
dt
c
c
(10.172)
Por esta razn no podemos escribir simplemente una expresin tal como la
o
o
Ec. (10.117), si no que tenemos que desarrollar la Lagrangiana alrededor del postpunto, lo que nos conduce a la serie
A =
1 d
dtL(t) = L(t) 2 L(t) + . . . .
2 dt
t
t
(10.173)
(10.174)
xi = xi + 2 xi + . . .
2
e 2
= xi
(10.175)
2Mc
i
(10.176)
,
M
(10.177)
M
e
he
(xi )2 + Ai (x)xi i
Ai,i (x) V (x) + . . . .
2
c
2Mc
(10.178)
Por otra parte, la accin (10.169) tambin se podr haber escrito como
o
e
a
A =
M
e
(xi )2 + Ai ( )xi V (x) + . . . ,
x
2
c
(10.179)
x = x x,
2
(10.180)
818
en forma expl
cita
1
(10.181)
(10.182)
e
A V (q) + . . . .
A = A q i
em
c
2Mc
(10.183)
AN =
em
n=1
A ,
em
(10.184)
10.6
En las secciones 2.15 y 3.21 hemos dado una deninicin perturbativa de las inteo
grales de trayectoria que no requiere del complicado concepto de la particin tempoo
ral, si no que trata directamente con el tiempo continuo. Ahora extenderemos esta
denicin a espacios con curvatura de una manera tal que conduzca al mismo resulo
tado, de la denicin de particin temporal, dado en la Seccin 10.3. En particular,
o
o
o
queremos asegurarnos que esta denicin conserva la propiedad fundamental de la
o
independencia en las coordenadas alcanzada en la denicin de particin temporal
o
o
mediante el principio de la transformacin no holonmica, como se observ al nal
o
o
o
de la Subseccin 10.3.2. En un clculo perturbativo, esta propiedad ser muy imo
a
a
portante y no trivial. Adems, queremos asegurar que la energ del estado base de
a
a
una part
cula sobre una esfera es cero para cualquier n mero de dimensiones, como
u
sucede con el clculo de tiempo segmentado de donde obtuvimos la Ec. (10.165).
a
Esto implica tambin que en la denicin perturbativa de las integrales de trayece
o
toria, el problema del operador de orden ser resuelto por completo.
a
H. Kleinert, PATH INTEGRALS
10.6.1
D D q g eA[q] ,
(10.185)
A[q] =
1
g (q( ))q ( )q ( ) + V (q( )) .
(10.186)
cula M son
igual a la unidad. Para un espacio con curvatura constante, sta es una generalie
zacin de la accin para una part
o
o
cula sobre una esfera (8.147), tambin llamada
e
modelo no lineal (ver la pg. 748). La denicin perturbativa de las Secciones
a
o
2.15 y 3.21 equivale a las siguientes reglas. Desarrollemos la mtrica g (q) y el
e
e
potencial V (q) alrededor de alg n punto qa en potencias de q q qa . Despus
u
de esto, separaremos la accin A[q] en su parte armnica uctuante
o
o
A(0) [qa ; q]
1
2
d g (qa ) q ( ) q ( ) + 2q ( )q ( ) ,
(10.187)
y en su parte de interaccin
o
Aint [qa ; q] A[q] A(0) [qa ; q].
(10.188)
(10.189)
Formalmente, la suma sobre todos los tiempos continuos en el exponente corresponde a una integral d dividida por el espaciamiento de los puntos. Lo que sobre
un eje temporal segmentado corresponder al parmetro de segmentacin , aqu
a
a
o
DD q g
dD q( ) g( ) =
dD q( ) g(qa ) exp
1
2
log
820
DD q g
1
(0)
2
dD q( ) g(qa ) exp
d log
g(q( ))
,
g(qa )
(10.190)
y ms a n como
a u
g [q]
DD q
g(qa ) eA
(10.191)
g(q( ))
.
g(qa )
d log
(10.192)
(10.193)
(10.194)
Z =
(0) [q]
int
g(qa ) eA
eAtot [q] .
(10.195)
Aint
tot
Z =
DD q
g(qa ) 1 Aint +
tot
= Z 1 Aint +
tot
1 int 2
(0)
Atot . . . eA [q]
2
1
Aint 2 . . . ,
tot
2!
(10.196)
donde
(0) [q]
Z eF =
D D q g(qa ) eA
(10.197)
Dq
(0) [q]
g(qa ) ( . . . ) eA
(10.198)
H. Kleinert, PATH INTEGRALS
Aint 2
tot
= Aint ,
tot
= Aint 2
tot
1
Aint 2
tot
2!
... ,
(10.199)
Dq eA [q] = exp
D
Tr log( 2 + 2 ) eF .
2
(10.200)
10.6.2
Temperatura Cero
1D
D
Tr log( 2 + 2 )
2
2
D
dk
log(k 2 + 2 ) = .
2
2
(10.201)
q ( )q ( ) =
(10.202)
G(2) (, )
q ( )q ( ) =
(10.203)
G(2) (, )
q ( )q ( ) =
(10.204)
G(2) (, )
q ( )q ( ) =
(10.205)
822
(10.206)
M = h = 1):
( ) =
1 | |
dk eik( )
=
e
.
2 + 2
2 k
2
(10.207)
Como una consecuencia, la segunda funcin de correlacin (10.203) tiene una diso
o
continuidad
dk eik( ) k
1
= i
= ( ) ( )e| | ,
2 + 2
2
2 k
(10.208)
G(2) (, )
( ) 1 + 2
d ( ).
(10.209)
G(2) (, ) = G(2) (, ) = ( ).
(10.210)
k
dk
= (0) = 0. (10.211)
2 + 2
2 k
dk eik( ) k 2
=
= ( ) (10.212)
2 + 2
2 k
dk ik( )
2
1 2
= ( ) 2 G(2) (, ).
e
2
2
k +
2
G(2) (, )
o
o
la cual es siempre una solucin de la ecuacin de movimiento inhomognea asociada
o
o
e
H. Kleinert, PATH INTEGRALS
0.4
( )
0.4
0.2
-2
-1
( )
0.4
0.2
0.2
1
-2
-1
( )
-2
-1
-0.2
-0.2
-0.4
-0.2
-0.4
-0.4
a
funcin en el origen.
o
con la accin armnica (10.187), misma que con la hiptesis g (qa ) = para cada
o
o
o
componente ser:
a
( ) + 2 q( ) = ( ).
q
(10.213)
( ) = 2 ( ) ( ).
(10.214)
824
10.7
1
2
d x2 ( ) + 2 x2 ( ) .
(10.215)
Dx eA [x] = exp
3
2 5
1
x( ) = f (q( )) f (q( )) = q q + a q ,
3
5
(10.217)
825
Z=
(10.218)
d log
f (q( ))
q( )
(10.219)
f (q( ))
.
q( )
(10.220)
1
2
d [q 2 ( ) + 2 q 2 ( )],
(10.221)
d q 2 ( )q 2 ( ) +
+ 2
2 4
q ( )
3
2a 6
1
1
q ( )
+ a q 4 ( )q 2 ( ) + 2
+
2
18
5
(10.222)
(10.223)
d q 2 ( ) + 2 a
1 4
q ( ) ,
2
(10.224)
(10.225)
826
n Fn = F + Aint
tot
1
Aint 2
tot
2!
+ ... .
(10.226)
10.7.1
Desarrollo Diagramtico
a
El desarrollo grco de la energ del estado base ser presentado slo hasta tres
a
a
a
o
lazos. A orden n , existen diferentes tipos de diagramas de Feynman con L =
n + 1, n, y un n mero n 1 de lazos que se obtienen de los trminos de la interaccin
u
e
o
(10.222) y (10.224), respectivamente. Los diagramas estn compuestos de los tres
a
tipos de l
neas de las Ecs. (10.202)(10.205) y nuevos vrtices de interaccin para
e
o
cada potencia de . Los diagramas que vienen de la accin Jacobiana (10.224) son
o
fcilmente reconocidos por la potencias de (0) que los acompa an.
a
n
Primero calcularemos la contribucin a la energ libre del primer cumulante
o
a
int
Atot en la serie (10.226). Los diagramas asociados contienen slo l
o neas cuyos
c
puntos nales tienen tiempos iguales. Tales diagramas sern llamados locales.
a
A orden ms bajo en , el cumulante contiene los trminos
a
e
F1 =
d q 2 ( )q 2 ( ) +
2 4
q ( ) + (0)q 2 ( )
3
.
c
+ (0)
(10.227)
1
1 4
1
2a 6
q ( ) (0) a
q ( )
+ a q 4 ( )q 2 ( ) + 2
+
2
18
5
2
.
c
F2
= 2 3
1
+a
2
+15 2
1
a
+
18 5
3 a
1
(0)
2
. (10.228)
827
1
2
2!
2 4
q ( ) + (0)q 2 ( )
3
2
q 2 ( )q 2 ( ) q 4 ( ) + (0)q 2 ( )
3
q 2 ( )q 2 ( )
(10.229)
2
2 2 (0)
=
2!
4(0)
+ 2 2
(10.230)
Los diagramas restantes tienen la forma ya sea de tres burbujas en cadena, o de una
sand cada uno con todas las combinaciones posibles de los tres tipos de l
a,
neas
(10.202)(10.205). La suma de los diagramas de tres burbujas es
(3)
F2 =
4
2!
+2
+2
+8 2
+ 8 2
+ 8 4
,
(10.231)
F2
2
4
2!
2 4
+4
+ 4 2
(10.232)
Ec. (10.211), los diagramas con una contraccin local de lineas mixtas (10.203) se
o
anulan trivialmente, y se han omitido.
Ahora mostraremos que si calculamos todas las integrales de Feynman en d =
1 dimensiones temporales y tomamos al nal el l
mite 0, obtendremos
resultados unicos y nitos. Estas integrales tienen la propiedad deseada de que la
10.7.2
1
2
dd x( ) x( ) + 2 x2 ( ) ,
(10.233)
828
o
mente por a q( )a q( ).
Las funciones de correlacin (10.206), (10.208) y (10.212) se reemplazan por
o
funciones de dos-puntos
(2)
G (, ) =
q( )q( )
= ( )
dd k eik( )
,
(2)d k 2 + 2
(10.234)
y sus derivadas
G(2) (, ) = q( )q( )
(2)
G (, ) = q( ) q( )
= ( ) =
= ( ) =
dd k
ik
eik( ) , (10.235)
d k2 + 2
(2)
dd k k k ik( )
e
. (10.236)
(2)d k 2 + 2
p2
1
,
+ 2
=i
p2
p
,
+ 2
p p
.
+ 2
p2
(10.237)
o
sional del momentum, no requiriendo as de una regularizacin para hacerlos nitos,
o
como ser de esperar para un sistema mecnico-cuntico. Sin embargo, tendremos
a
a
a
problemas con algunas integrales m ltiples del momentum, las cuales dan resultados
u
diferentes dependiendo del orden de evaluacin.
o
Como un ejemplo t
pico, tmese la integral de Feynman
o
= dd 1 (1 2 ) (1 2 ) (1 2 ) (1 2 ).
(10.238)
k 2 (p1 p2 )
dk dp1 dp2
. (10.239)
2 2 2 (k 2 + 2 )(p2 + 2 )(p2 + 2 )[(k + p1 + p2 )2 + 2 ]
1
2
829
10.8
d2
1
=
(1 d/2) =
,
2 + 2
d/2
d=1 2
k
(4)
(10.241)
existe slo para = 0 ya que de otra manera diverge para valores peque os de
o
n
k. Tal divergencia es llamada divergencia al infrarojo (divergencia-IR), y tiene el
papel de una frecuencia de umbral en el infrarojo (IR).
Diferenciando con respecto a 2 , fcilmente podemos generalizar la Ec. (10.241)
a
a la forma
=
.
(k 2 + 2 )
(4)d/2
(d/2) ()
(10.242)
Ntese que por consistencia de regularizacin dimensional, todas las integrales sobre
o
o
una potencia pura del momentum se deben de anular:
I0 =
d d k (k 2 ) = 0.
(10.243)
q2
q2
=
2
1
ddk
=
,
2 + 2 d=1 2
k
2
ddk
1
,
=
2 + 2
d=1 4 2
k
(10.244)
(10.245)
830
q2
q2
ddk
k 2 + 2
dd k
2 + 2
k
qq =
1
,
d=1 8 3
(10.246)
1
d d p p2
= ,
p2 + 2 d=1 4
ddk
k 2 + 2
q q =
(10.247)
1
d d p p2
= .
2 + 2 d=1
p
8
(10.248)
ddp
1
=
,
2 + 2 )2 d=1 4 3
(p
1
d d p p2
ddk
=
,
dd 1 (1 1 )2 (1 2 )
dd k k2
= 2,
dd 1 (1 1 )2 (1 2 )
2 + 2
2 + 2 )2 d=1
k
(p
8
d
d
d p
1
d k
=
.
dd 1 (1 1 )2 (1 2 )
2 + 2
2 + 2 )2 d=1 8 4
k
(p
dd 1 2 (1 2 )
(10.249)
(10.250)
(10.251)
(10.252)
dd 1 (1 1 )2 (1 2 )(2 2 )
ddq
2 + 2
q
3
d d p(p2 )2
=
,
2 + 2 )2 d=1
(p
16
(10.253)
dd 1 (1 1 )2 (1 2 ) (2 2 )
d d q (q 2 )2
q 2 + 2
1
dd k
=
,
(k 2 + 2)2 d=1 16
(10.254)
dd 1 (1 1 )2 (1 2 ) (2 2 )
ddk
k2 + 2
dd 1 (1 1 )2 (1 2 )(2 2 )
d dk k2
k 2 + 2
dd 1 (1 1 )2 (1 2 )(2 2 )
ddk
k 2 + 2
d d p p2
(p2 + 2 )2
ddp
2 + 2 )2
(p
d d p p2
(p2 + 2)2
1
ddq q2
=
,
q 2 + 2 d=1 16
1
ddq
=
,
2 + 2 d=1
q
16 3
ddq
1
=
,
q 2 + 2 d=1 16 3
(10.255)
(10.256)
(10.257)
831
dd 1 (1 1 )2 (1 2 )(2 2 )
ddp
2 + 2 )2
(p
dd k
2 + 2
k
ddq
1
=
.
2 + 2 d=1 16 5
q
(10.258)
Ahora, regresemos a los diagramas tipo sand en la Ec. (10.232), los cuales son
a
ms tediosos de calcular. Estos diagramas requieren de una integral bsica [26]:
a
a
J(p2 ) =
=
ddk
=
2 + 2 )[(k + p)2 + 2 ]
(k
p2 + 4 2
4
(2 d/2)
(4)d/2
d/22
1
0
dx
ddk
[k 2 + p2 x(1 x) + 2 ]2
p2
d 1 3
,
F 2 , ; ; 2
2 2 2 p + 4 2
(10.259)
(p2
1
.
+ 4 2 )
(10.260)
d d k k1 kn
,
(k 2 + 2)[(k + p)2 + 2 ]
(10.261)
y adems
a
J1 ...n ,1...m (p) =
d d k k1 kn (k + p)1 (k + p)m
.
(k 2 + 2 )[(k + p)2 + 2 ]
(10.262)
(10.263)
Usando la regla de Veltman (10.243), todas las integrales (10.262) se pueden reducir
a combinaciones de p, I, J(p2). Ejemplos relevantes para muestra discusin son
o
J (p) =
d d k k
1
= p J(p2 ),
2 + 2 )[(k + p)2 + 2 ]
(k
2
(10.264)
y
J (p) =
p p
I
d d k k k
= + (d 2) 2
2 + 2 )[(k + p)2 + 2 ]
(k
p
2(d 1)
p p
J(p2 )
+ (p2 + 4 2) + 2 d p2 + 4 2
,
(10.265)
p
4(d 1)
832
cuya traza es
J (p) =
d d k k2
= I 2 J(p2 ).
(k 2 + 2 )[(k + p)2 + 2]
(10.266)
Similarmente desarrollamos
d d k k 2 k
1
= p [I + 2 J(p2 )].
(k 2 + 2 )[(k + p)2 + 2 ]
2
J (p) =
(10.267)
= J, (p),
= J, (p),
= J (p),
= J, (p),
= J, (p),
= J (p),
= J, (p),
= J, (p).
(10.268)
Todas las integrales de dos y tres lazos necesarias para el clculo se pueden escribir
a
en la forma genrica
e
K(a, b) =
d d p (p2 )a J b (p2 ), a 0, b 1, a b,
(10.269)
I
1 J(p2 )
J(p2 )
+ p2
2p2
.
2 2
2
p2
(10.270)
K(0, 1) =
d d p J(p2 ) = I 2 ,
d d p J 2 (p2 ) = A, . . . ,
(10.272)
donde A es la integral
A
d d p 1 d d p2 d d k
.
2
2
(p1 + 2)(p2 + 2)(k 2 + 2)[(p1 +p2 +k)2 + 2]
(10.273)
833
Esta integral ser necesaria slo en d = 1 dimensiones, donde se puede calcular dia
o
rectamente a partir de su versin del espacio de conguracin. Para esto observamos
o
o
que el primer diagrama tipo sand de la Ec. (10.232) corresponde a una integral
a
sobre el producto de dos diagramas J(p2 ) en la Ec. (10.268):
dd 1 (1 2 )(1 2 )(1 2 )(1 2 ) = d d k J 2 (k) = A.(10.274)
d 4 (, 0) =
dx
1 |x|
e
2
1
.
32 5
(10.275)
(10.276)
4
d d p p2 J 2 (p2 ) = K(1, 2) = (I 3 2 A),
3
(6 5d)I 3 + 2d 2 A
.
d d p (p2 )2 J 2 (p2 ) = K(2, 2) = 8 2
3(4 3d)
(10.277)
(10.278)
(10.279)
Estamos ahora preparados para calcular las contribuciones restantes a tres lazos
a partir de los diagramas tipo sand de la Ec. (10.232). La segunda contribucin
a
o
es un integral sobre el producto de los subdiagramas J en (10.268) y obtenemos
=
dd 1 2 (1 2 )2 (1 2 )
(pk)2
(p2 + 2 )(k 2 + 2 )(q 2 + 2 )[(p + k + q)2 + 2]
1
d d q J (q)J (q) = d d k (k 2 )2 J 2 (k)
=
qqp
16
1
1
dI 2 + (d 2)k 2 4 2 I J(k)+ (k 2 +4 2)2 J 2 (k)
+ ddk
4(d1)
4
2
2
3
2
(6 5d)I + 2d A
=
(6 5d)I 3 + 2d 2A
(10.280)
2
3(4 3d)
6(4 3d)
2
3
2
(8 7d)I 3 + (d + 4) 2A = (I 3 + 5 2A) =
.
=
d=1
3(4 3d)
3
32
=
dd p dd k dd q
834
p2 p2 k
=
=
(kp1 )(kp2 )
2 + 2 )(p2 + 2 )(p2 + 2 ) [(k+p +p )2 + 2 ]
(k
1
2
1
2
1
8
(10.281)
2
1
2
(8 5d) I 3 2(4 d) 2A = (I 3 2 2 A) =
.
d=1
6(4 3d)
2
32
dd 1 (1 2 ) (1 2 ) (1 2 ) (1 2 ). (10.282)
=
+ 2
dd 1 (1 2 ) (1 2 ) (1 2 ) (1 2 ). (10.283)
k 2 (p1 p2 )
(k 2 + 2)(p2 + 2)(p2 + 2 )[(k+p1 +p2)2 + 2]
1
2
2
=
d d p [p J (p)J + J (p)J (p)] =
d d p p2 J 2 (p2 )
4
1
2
.
(10.284)
= (I 3 2 A) =
d=1 32
3
Por lo tanto obtenemos
1
=
.
(10.285)
32
El quinto diagrama en la expresin (10.232) es una integral del producto de dos
o
subdiagramas J (p) en (10.268) y da
=
d d k d d p1 d d p2
dd 1 (1 2 )2 (1 2 )(1 2 )
835
= d d k d d p1 d d p2
d d k d d p1 d d p2
kkp2
d d k d d p1
p2 p2
=
=
p1 p2
2 + 2 )(p2 + 2 )(p2 + 2 ) [(k+p +p )2 + 2 ]
(k
1
2
1
2
p1 p2
2 + 2 ] (p2 + 2 )(p2 + 2 ) [(k+p )2 + 2 ]
[(kp2 )
1
1
2
p1
2
2 ) [(p +k)2 + 2 ]
(p1 +
1
2
d d k J (k) =
1
4
d d p2
p2
2
2 ) [(p +k)2 + 2 ]
(p2 +
2
d d k k 2 J 2 (k 2 )
1
14 3
(I 2 A) =
.
d=1 32 3
43
(10.286)
dd k
= 0.
(2)d
(10.287)
Por las Ecs. (10.245) y (10.247), la contribucin a primer orden, Ec. (10.227), a la
o
energ libre es cero.
a
A partir de las Ecs. (10.246) y (10.248), la primera contribucin a segundo orden,
o
(1)
F2 , ser:
a
(1)
F2
1
3
+a
2
1
1
a
+ 15 2
+
8
18 5
2
=
.
12
(10.288)
F2
2
2!
4
+ 8 2
1
3
1
+2
+2
16
16
16
1
1
1
2
+ 8
+ 8 4
3
3
16
16
16 5
= 0. (10.289)
F2
3
1
1
1
2
1
2
+
+4
+ 4 2
+ 4
2!
32
32
32
32 3
3
32 5
2
,
12
(10.290)
mismo que concela el trmino (10.288), y con esto toda la energ libre. Esto prueba
e
a
la invariancia de la denicin perturbativa de la integral de trayectoria bajo una
o
transformacin de coordenadas.
o
836
10.8.1
o
integrales sobre productos de distribuciones en el espacio . Para muchas aplicaciones es util hacer
directamente los clculos en el espacio . Esto nos conducir a una extensin de la teor de
a
a
o
a
distribuciones, lo que en efecto nos permitir hacer las integrales en este espacio.
a
En la regularizacin dimensional, una simplicacin importante viene de la regla de Veltman
o
o
(10.287), de acuerdo a la cual la funcin delta se anula en el origen. En los clculos ms generales
o
a
a
por venir, encontraremos funciones generalizadas, las cuales son derivadas multiples de la funcin
o
ordinaria:
(d)
1 ...n ( )
1 ...n (d) ( ) =
(10.291)
(d)
1 ...n (0) =
(10.292)
d2
d
ddk
=
1
k2 + 2
2
(4)d/2
=I =
d=1
1
.
2
(10.293)
d dk
ik
eik
k2 + 2
(10.294)
(10.295)
ndices obtenemos
( ) =
d dk
k2
k2
eikx = (d) ( ) + 2 ( ) .
+ 2
(10.296)
Esta ecuacin es una consecuencia directa de la denicin de la funcin de correlacin, las cual es
o
o
o
o
una solucin de la ecuacin de campo inhomognea
o
o
e
2
( + 2 )q( ) = (d) ( ).
(10.297)
d=1
.
2
(10.298)
Esto asegura la cancelacin de la contribucin de primer orden, Ec. (10.227), a la energ libre
o
o
a
F1 = g (0) + 2 (0) (0) = 0.
(10.299)
H. Kleinert, PATH INTEGRALS
837
F2
=
=
1
+ a (0) 5
2
2
2
2 2 3 (0) =
.
d=1
3
12
2 3g 2
a
1
+
18 5
2 (0) 2 (0)
(10.300)
Las otras contribuciones a la energ libre, en el desarrollo (10.226), requieren de reglas para
a
calcular el producto de dos y cuatro distribuciones, las cuales vamos ahora a desarrollar.
10.8.2
d4
d
=
=
2
(0),
2 + 2 )2
d/2
(k
(4)
2
2 2
dd 2 ( ) =
dd p ddk
(10.301)
y
dd 2 ( ) =
dd ( ) (d) ( ) + 2 ( ) = (0) 2
d
(0).
2
dd 2 ( )
(10.302)
Para obtener el segundo resultado hemos hecho una integracin por partes y usado
o
la relacin (10.296).
o
En constraste con las integrales (10.301) y (10.302), la integral
dd 2 ( ) =
(kp)2 (d) (k + p)
(k 2 + 2 )(p2 + 2)
(k 2 )2
= dd 2 ( )
ddk 2
(k + 2)2
ddp ddk
(10.303)
ddk
(k 2 )2
= 2 2
(k 2 + 2 )2
= 2 2 (0)+ 4
ddk
ddk
+ 4
2 + 2)
2 + 2 )2
(k
(k
dd 2 ( ).
(10.304)
Junto con la integral (10.301) obtenemos la relacin entre integrales para el producto
o
de dos distribuciones
dd 2 ( ) =
dd 2 ( ) = 2 2 (0) + 4
= (1 + d/2) 2(0) .
dd 2 ( )
(10.305)
838
Una manera alternativa de derivar la igualdad (10.303) es usar una integracin por
o
partes y la identidad
( ) = ( ),
(10.306)
dd 2 ( ) + 2 2 2 ( ) + 4 2 ( ) = 0 ,
(10.307)
F2
10.8.3
= g 2 2 (0)
dd 2 ( ) + 2 2 2 ( ) + 4 2 ( ) = 0 .
(10.308)
Consideremos ahora las integrales ms delicadas que surgen de los diagramas tipo
a
sand en la relacin (10.232), las cuales contienen productos de cuatro distribua
o
ciones, una estructura tensorial no trivial y divergencias traslapadas. Empezamos
del segundo al cuarto diagrama:
=
4
= 4
=
dd 2 ( )2 ( ),
(10.309)
dd ( ) ( ) ( ) ( ),
dd ( ) ( ) ( ) ( ).
(10.310)
(10.311)
dd 2 ( ) 2 ( ) 2 ( ) .
(10.312)
dd 2 ( )2 ( ) + Yd .
(10.313)
Para obtener una descomposicin anloga para los otros dos diagramas, (10.310)
o
a
y (10.311), derivamos algunas relaciones utiles usando la ecuacin de campo inho
o
mognea (10.296), integracin por partes, y la reglas de Veltman (10.287) o (10.292).
e
o
De la ecuacin de campo inhomognea, tenemos la relacin
o
e
o
dd ( )3 ( ) = 3 (0) 2
dd 4 ( ).
(10.314)
839
dd 2 ( )2 ( ),
(10.315)
de donde obtenemos
1
1
dd 2 ( )2 ( ) = 3 (0) 2
3
3
dd 4 ( ).
(10.316)
dd 4 ( ) + 2 23 (0) = 0,
(10.317)
y
dd ( )2 ( )( ) = 2
dd 2 ( )2 ( ).
(10.318)
1
1 2 3
(0) 4
3
3
dd 4 ( ).
(10.319)
Una integracin por partes, junto con las Ecs. (10.317) y (10.319), conduce a
o
dd ( ) ( )2 ( ) =
=
dd 2 ( )2 ( ) 2
4 2 3
1
(0) 4
3
3
dd ( )2 ( )( )
dd 4 ( ).
(10.320)
Una integracin por partes adicional, y usando las Ecs. (10.306), (10.318) y (10.320)
o
da origen a la descomposicin de los segundo y tercer diagramas de Feynman,
o
(10.310) y (10.311):
4
dd ( ) ( ) ( ) ( ) = 4 2
dd 2 ( )2 ( ) 2 Yd,
(10.321)
y
dd 2 ( )2 ( ) = 3 2
dd 2 ( )2 ( ) + Yd .
(10.322)
dd 2 ( )2 ( ) + 2
dd 2 ( )2 ( ).
(10.323)
Usando ahora las relaciones (10.316) y (10.317), el lado derecho se convierte en una
suma de integrales completamente regulares, la cual involucra slo productos de los
o
propagadores ( ).
840
a
Ec. (10.232)
2 4
2
= 4
3
dd 4 ( ),
(10.324)
4 2
= 4 2
dd 2 ( )2 ( ),
(10.325)
F2
= 2 2 g 2
dd 2 ( )
2 4 2
( ) + 2 ( ) + 5 2 2 ( )
2
2
.
= 2 2 3 (0) =
d=1 12
3
(10.326)
La cual cancela la contribucin nita (10.300), de tal manera que tambin el trmino
o
e
e
de segundo orden de la energ libre en (10.222) se anula, conrmando as la invariana
puro.
10.9
Distributiones como el L
mite de las Funciones
de Bessel
Por supuesto que, en la regularizacin dimensional se pueden hallar las anteriores integrales en
o
el espacio de conguraciones sobre un producto de distribuciones sin ninguna referencia a las
integrales del espacio del momentum. Para esto expresamos todas las distribuciones expl
citamente
en trminos de las funciones modicadas de Bessel K (y).
e
10.9.1
(10.327)
H. Kleinert, PATH INTEGRALS
841
d2
.
(2)d/2
(10.328)
En una dimensin, la funcin de correlacin (10.327) se reduce a la expresin (10.202). Para distano
o
o
o
cias cortas, las propiedades de las funciones de correlacin estn gobernadas por el comportamiento,
o
a
para valores peque os del argumento y, de la funcin de Bessel en el origen4
n
o
K (y)
y0
1
()(y/2) ,
2
Re
>
<
0.
(10.329)
(10.330)
donde y = m /|x|. Por la Ec. (10.329), para > 0, esta expresin es regular en el origen, de
o
tal forma que la antisimetr (x) = ( ) hace que (0) = 0, como se observ luego de la
a
o
Ec. (10.294).
Expl
citamente, el comportamiento de la funcin de correlacin y su derivada para valores
o
o
peque os de es
n
( ) const.,
( ) | | | |.
(10.331)
cd
y d/2 Kd/2 (y) y 2d ,
(d 2)
(10.332)
es singular para distancias cortas. La singularidad viene del segundo trmino de la Ec. (10.332):
e
y 2d = (2 d)
2d
|y|d
y y
y2
(10.333)
la cual es una distribucin que es ambigua en el origen, y est denida hasta la suma de una funcin
o
a
o
(d) ( ). Esta funcin est regularizada del mismo modo que la divergencia en la representacin de
o
a
o
Fourier (10.292). Contrayendo los
ndices y en la Ec. (10.333), obtenemos
2 y 2d = (2 d) 2d Sd (d) ( ),
(10.334)
1
(d/2) 2d/2 (d) ( )
2
= 2 ( ) (d) ( ).
4
(10.335)
842
Ya que por la Ec. (10.292) tenemos que (d) ( ) se anula en el origen, de donde encontramos una
vez ms la Ec. (10.298).
a
Una relacin adicional, entre distribuciones, se encuentra a partir de la derivada
o
( ) = (d) ( ) + 2 ( ) + Sd ( )|y|d1 ( y) (d) ( ) = ( ).
(10.336)
10.9.2
Consideremos ahora las integrales sobre el producto de tales distribuciones. Si uno de los integrandos f (|x|) depende solamente de |x|, podemos hacer las integrales sobre las direcciones de los
vectores
dd f ( ) = Sd
dr rd1 f (r),
r |x|.
(10.337)
2
dy y K (y) =
1
1
= (1 + )(1 ),
2 sin
2
(10.338)
2
dy y K1d/2 (y)
2d
1
(0),
= d c2 Sd (1d/2) (1d/2) (d/2) =
d
2
2 2
(10.339)
dd 2 ( )
=
=
2d c2 Sd
d
2
dy yKd/2 (y)
1
d
2d c2 Sd (1 + d/2) (1 d/2) = (0),
d
2
2
(10.340)
de acuerdo con las Ecs. (10.301) y (10.302). Sustituyendo (0) = 1/2, obtenido en la Ec. (10.293),
estas integrales nos dan una vez ms el valor de los diagramas de Feynman (10.249), (10.252),
a
(10.253), (10.256) y (10.258).
Ntese que debido a la relacin6
o
o
Kd/2 (y) = y d/21
d
y 1d/2 K1d/2 (y) ,
dy
(10.341)
en la Ec. (10.340), la integral sobre y tambin se puede hacer por partes, dando
e
dd 2 ( )
= 2d c2 Sd y d/2 Kd/2
d
= (0) 2
y 1d/2 K1d/2
dd 2 ( ).
dd 2 ( )
(10.342)
En el lado derecho, el l
mite superior es cero por la rpida caida exponencial de la funcin de
a
o
Bessel en innito. Esto se obtuvo antes en la Ec. (10.302) por medio de integracin por partes y
o
la ecuacin inhomognea de campo (10.296).
o
e
5
6
843
= 4
dd 2 ( ) = 4
dd 2 ( ) 4d c2 (d/2) (1d/2) Sd
d
(10.343)
La primera igualdad se sigue de la integracin por partes. En la ultima igualdad hemos usado la
o
relacin (10.339). Hemos omitido la integral que contiene las funciones modicadas de Bessel
o
(d 1)
d
2
2
dz z 1 Kd/2 (z) ,
(10.344)
puesto que en una dimensin esta integral se anula, como se muestra a continuacin:
o
o
= 4
dd 2 ( ) + 2 2
dd 2 ( ) +
dd 2 ( ) = 0.
(10.345)
(10.346)
donde suponemos que una de las dos funciones es una funcin de prueba suave f ( ), de las
o
halladas en la teor de distribuciones ordinarias, donde
a
dd (d) ( )f ( ) = f (0).
10.9.3
(10.347)
dd 4 ( )
=
=
d=1
c4 d Sd
d
c4 1 S1
1
0
2
4
dy y 3d K1d/2 (y)
24
3 d
2 2
(d) =
1
,
32 5
(10.348)
(10.349)
844
= 2d c4 Sd
d
=
1 2d 4
cd Sd
3
2
2
dyy 3d Kd/2 (y)K1d/2 (y)
d
y d/2 Kd/2
dy
1
dd 4 ( ) =
.
d=1 32
dy y 1d/2 K1d/2
1
3 (0) 2
3
(10.350)
(10.351)
3
dyy 2d K1d/2 (y)Kd/2 (y).
(10.352)
dd ( ) ( ) ( ) ( ) = 2
donde Yd es la integral
Yd
2(d 1) 4d c4 Sd
d
(10.353)
En una dimensin, donde = 1/2, esto se convierte simplemente en K1/2 (y) = /2yey . Para
o
= d/2 y = 1d/2, que puede ser escrito como = (1)/2, esta expresin es aproximadamente
o
igual a
K(1)/2 (y) =
1/2 (y/2)(1)/2 1
y
e
2
(10.354)
donde la integral en t es regular en y = 0.7 Despus de substituir la Ec. (10.354) en la Ec. (10.352),
e
obtenemos el valor nito
Yd
2
(1 + /2) 3 (1 /2) 25 (2)
4
2
1
=
.
4
8
2 4d c4 Sd
d
1
2 2
(10.355)
= (d 1) 4d c4 Sd
d
7
d 2
K (y),
dy d/2
(10.356)
I.S. Gradshteyn y I.M. Ryzhik, op. cit., ver las Frmulas 3.511.1 y 3.521.2.
o
H. Kleinert, PATH INTEGRALS
845
d 2
K (y) = 2
dy d/2
3
dy y 2d K1d/2 (y) Kd/2 (y)
(10.357)
Ec. (10.321).
Conociendo Yd , determinamos tambin, despus de una integracin por partes, la integral
e
e
o
dd 2 ( )2 ( ) = 3 2
dd 2 ( )2 ( ) + Yd ,
(10.358)
la cual es lo mismo que la Ec. (10.322). Resta por calcular una integral simple sobre cuatro
distribuciones:
dd 2 ( )2 ( ) = 2 2 3 (0) + 4
dd 4 ( )
d=1
7
.
32
(10.359)
Combinando esto con las Ecs. (10.355) y (10.358) encontramos el diagrama de Feynman (10.281).
La combinacin de las Ecs. (10.351) y (10.358) con las Ecs. (10.355) y (10.350) dar nalmente los
o
a
diagramas (10.325) y (10.324), respectivamente.
As vemos que no hay problema en calcular integrales sobre el producto de distribuciones en el
,
espacio de conguraciones, obtenemos los mismos resultados que en la regularizacin dimensional
o
en el espacio del momentum.
10.10
d 2 ( )2 ( ) ,
(10.360)
d ( )2 ( )( ),
(10.361)
evaluadas anteriormente en las ecuaciones d dimensionales (10.284) y (10.282). Consideremos primero la integral (10.360), la cual contiene un cuadrado de la funcin
o
, separamos esto escribiendo
I1 =
div
R
d 2 ( )2 ( ) = I1 + I1 ,
(10.362)
d 2 ( ) ,
R
I1 =
d 2 ( ) 2 ( ) 2 ( ) . (10.363)
846
El resto de los diagramas tipo sand (10.232) conducen a las integrales bien denidas
a
1
3 (0),
4 2
1 3
d 2 ( )2 ( ) =
(0),
4
1 2 3
(0),
d 4 ( ) =
4
d 4 ( ) =
(10.364)
(10.365)
(10.366)
4
2!
d 2 ( )2 ( ) + 4( )2 ( )( ) + 4 ( )+ 4 22 ( )2 ( )+ 4 4 ( )
3
17 2 3
R
= 22 (0)
d 2 ( ) 2 I1 + 4I2
(0) .
(10.367)
6
R
d 2 ( ) 2 (0) 2 I1 + 4I2
7 2 3
(0) ,(10.368)
2
R
donde las integrales I1 e I2 estn indenidas. Para garantizar la independencia
a
en las coordenadas, la suma se tiene que anular. Por lo tanto igualamos a cero
ambas contribuciones de la Ec. (10.368), tanto la parte singular como la nita. De
la primera contribucin obtenemos la regla para el producto de dos funciones :
o
2
( ) = (0) ( ) . Por supuesto, esta igualdad debe entenderse en el sentido de
las distribuciones: la igualdad se cumple luego de multiplicarla por una funcin de
o
prueba arbitraria e integrando sobre .
d 2 ( )f ( ) (0)f (0).
(10.369)
(10.370)
En este momento observamos dos dicultades. Primero, para introducir las inteR
grales indenidas I1 e I2 , la ecuacin (10.370) es insuciente, por lo que el slo
o
o
requerimiento de la invariancia de la reparametrizacin no es suciente para denir
o
H. Kleinert, PATH INTEGRALS
847
d 2 ( ) 2 ( ) 2 ( )
7
7
. (10.371)
d 4 ( ) = 2 3 (0) =
4
32
= 2 2 3 (0) + 4
1
=
8
d 2 ( ) ( ) ( ) + 2
d 2 ( ) 2 ( )
1
1
1
d 2 ( ) ( ) + 2 3 (0) =
I2 +
4
8
4
, (10.372)
d 2 ( )( ) .
(10.373)
1
3
d ( )
1
d 3
( ) =
d
3
1
1
. (10.374)
d 4 ( ) = 2 3 (0) =
12
96
Debido al exponencial en todas las funciones involucradas, la cual se anula en innito, no hay trminos de frontera. De las Ecs. (10.372) y (10.374) concluimos que
e
I2 = 1/3. Sin embargo, esto no puede ser correcto ya que las expresiones (10.374)
y (10.371) no obedecen a la Ec. (10.370), la cual es necesaria para la independencia
en las coordenadas de la integral de trayectoria. Esta fue la razn por la que anteo
riormente algunos autores [32, 35] agregaron el trmino de correccin no covariante
e
o
V = g 2 (q 2 /6), el cual es proporcional a h, a la accin clsica (10.186). Violando
o
a
h
as el postulado bsico de Feynman de que los factores de fase eiA/ en una inte
a
gral de trayectoria deber contener solamente la accin clsica a lo largo de las
an
o
a
trayectorias.
Veremos ms adelante que el valor correcto de la integral singular I en la
a
Ec. (10.373) es
I 2 =
d 2 ( )( ) = 0.
(10.375)
848
Desde el punto de vista de las secciones previas, donde todas las integrales fueron
denidas en d = 1 dimensiones y al nal continuadas al l
mite 0, la inconsistencia de la integral I2 = 1/3 es obvia: La aplicacin arbitraria de la integracin
o
o
por partes y la ecuacin de movimiento para integrales uni-dimensionales est proo
a
hibida, y este es el caso hallado en la Ec. (10.374). Los problemas aparecen cuando
que varios puntos corresponden a diferentes contracciones de las derivadas parciales
, , . . ., las cuales surgen en el l
mite d 1. Las diferentes contracciones pueden
conducir a diferentes integrales.
R
En el clculo uni-dimensional puro de las integrales I1 e I2 , podemos considerar
a
todas las ambig edades usando integracin por partes y la ecuacin de movimiento
u
o
o
(10.214), siempre y cuando sigamos las siguientes reglas de integracin:
o
Regla 1. Utilizamos integracin por partes, la cual nos permite aplicar subseo
cuentemente la ecuacin de movimiento (10.214).
o
Regla 2. Si la ecuacin de movimiento (10.214) conduce a integrales del tipo
o
(10.373), stas deben calcularse usando la regla de Dirac para las funciones y la
e
propiedad (0) = 0. Ejemplos de esto lo tenemos en la Ec. (10.375) y, trivialmente
lo hallamos en la anulacin de las integrales de las potencias impares de ( ):
o
d 2n+1 ( ) ( ) = 0,
n = entero,
(10.376)
d 2
( )
d ( ) ( )
d
1
1
=
d 4 ( )
d ( ) 2 ( ) ( ) ,
2
2
I2 =
(10.377)
d 4 ( ) +
d 2 ( ) ( ) ( ) 2
2
2
2
1
1 2 3
1
=
I (0) =
.
16
4
32
I2 =
d 2 ( ) 2 ( )
(10.378)
R
Si calculamos la parte nita I1 de la integral (10.362) con las nuevas reglas, obtenemos un resultado diferente del hallado en la Ec. (10.371). Integrando por partes
849
=
=
d 2 ( ) 2 ( ) 2 ( )
d ( ) ( ) 2 ( ) 2( ) 2 ( ) ( ) 2 ( ) 2 ( )
d ( ) 2 ( ) ( ) 2 ( ) 2 ( ) 2I2 2
d 2 ( ) 2 ( ) . (10.379)
Los dos ultimos trminos ya son conocidos, mientras que la integral singular restante,
e
el trmino entre parntesis, debe de evaluarse una vez ms usando el mismo procee
e
a
dimiento. Integramos por partes de tal manera que podamos aplicar la ecuacin de
o
movimiento (10.214), de lo cual obtenemos
d ( ) 2 ( ) ( ) 2 ( ) 2 ( ) =
d ( ) 2 ( ) + 22 ( ) ( ) ( )
d 2 ( ) 2 ( ) = 2 3 (0)
1
I.
4
(10.380)
1
3
5
I=
, (10.381)
d 2 ( ) 2 ( ) 2 ( ) = 2I2 2 3 (0)
4
4
32
donde se sigue que el lado derecho es tal que I = 0, lo cual es una consecuencia de
la Regla 3.
Vemos ahora que las integrales (10.378) y (10.381), calculadas con las nuevas
reglas, obedecen la Ec. (10.370) lo que garantiza la independencia en las coordenadas
de la integral de trayectoria.
La utilidad de las reglas 13 se sigue inmediatamente de la continuacin dimeno
sional [23, 24], misma que fue formulada previamente. Esta continuacin dimeno
sional evita por completo la complicacin de los clculos en 1 dimensiones, con el
o
a
subsecuente l
mite 0. Slo algunos pasos intermedios de la derivacin requieren
o
o
mantener el rastro del origen d-dimensional de las reglas. Para esto, continuamos
la coordenada imaginaria temporal a un vector d-dimensional del espacio-tiempo
= ( 0 , 1 , . . . , d1 ), y notamos que la ecuacin de movimiento (10.214) se
o
convierte en una ecuacin de campo escalar del tipo Klein-Gordon
o
2
+ 2 ( ) = (d) ( ) .
(10.382)
(10.383)
850
dd
dd 2 ( ) 2 ( ) ,
=
d
I2 =
dd
(10.384)
dd ( ) ( ) ( ) ( ) .
(10.385)
1
2
dd 2 ( ) 2 ( ) + ( ) ( ) .
(10.386)
d
Tratando a I1 de manera anloga encontramos
a
d
d
I1 = 2I2 +
dd 2 ( ) 2 ( ) + 2
dd ( ) 2 ( ) ( ) . (10.387)
1
2
d1
dd 2 ( ) 2 ( )+ 22 ( )( ) (d) ( )
1
1
+
32 2
dd 2 ( )2 ( )( ) (d) ( ) .
d 2 ( )( )
= 8
dd 2 ( ) ( ) (d) ( ) = 0,
(10.388)
Ec. (10.331).
H. Kleinert, PATH INTEGRALS
851
e
a
de la Ec. (10.372) obtenemos que I2 = 1/32, esto junto con la Ec. (10.371) no
cumple con la condicin de independencia de las coordenadas (10.370), creando la
o
necesidad de otra correccin cuntica no covariante V = g 2(q 2 /2) en la acccin, lo
o
a
o
cual no es aceptable ya que contradice la regla original de Feynman de las integrales
de trayectoria. Por lo tanto, no consideramos atractiva la opcin de olvidarnos de
o
la integracin por partes, ya que es una herramienta importante para el clculo de
o
a
diagramas de lazos de orden superior.
10.11
Con un poco de esfuerzo, las reglas de clculo anteriores se pueden extender para hallar la integral
a
de trayectoria de la amplitud de evolucin temporal sobre intervalos temporales nitos. A n de
o
tener una coneccin cercana con la mecnica estad
o
a
stica, usaremos un intervalo temporal imaginario
donde a = 0 y b = . Para poder extraer la amplitud de evolucin temporal mecnico cuntica
o
a
a
con el simple reemplazo de it, las trayectorias se jaran en los extremos a y b . La extensin
o
a intervalos temporales nitos no es trivial, ya que las integrales de Feynman en el espacio de la
frecuencia se convierten en sumas sobre los valores discretos de las frecuencias cuya generalizacin
o
a d dimensiones, generalmente, no pueden evaluarse con frmulas estndar. Sin embargo, las
o
a
ambig edades de las anteriores integrales aparecern en las sumas en la misma forma que antes.
u
a
La razn es que estas ambig edades surgen de ordenar a q y q en los desarrollos perturbativos.
o
u
Estos problemas son una propiedad de los intervalos temporales peque os, y por tanto lo son
n
para el l
mite de altas frecuencias, donde las sumas pueden aproximarse por integrales. De hecho,
hemos visto en la seccin anterior, que todas las ambig edades se pueden resolver por medio de
o
u
un tratamiento cuidadoso de las singularidades de las funciones de correlacin en el l
o
mite de
particiones temporales peque as. Para las integrales sobre un eje temporal es completamente
n
irrelevante si el intervalo temporal total es nito o innto, y las ambig edades se pueden resolver
u
de la misma manera que antes [38].
Tcnicamente esto se puede ver tambin calculando, con la ayuda de la frmula de Eulere
e
o
Maclaurin (2.595), las sumas sobre las frecuencias en las integrales de Feynman para tiempo nito,
o equivalentemente con los mtodos de las funciones descritos en la Subseccin 2.15.6. La
e
o
aproximacin a menor orden involucra las integrales sobre frecuencias puras cuyas ambig edades
o
u
se resolvieron en las secciones anteriores. En funcin de la temperatura T = 1/, todos los trminos
o
e
restantes de la correccin son unicos y nitos [ver la Ec. (2.599) o la Ec. (2.559)].
o
o
basadas en la ecuacin de movimiento y la integracin por partes. Esto nos permitir llevar todas
o
o
a
852
las integrales singulares de Feynman a una forma regular en la cual las integraciones se pueden
calcular directamente en una dimensin. Las reglas de integracin estarn en completo acuerdo
o
o
a
con clculos mucho ms complicados en d dimensiones, donde al nal hallamos el l
a
a
mite d 1.
10.11.1
Elementos Diagramticos
a
D
D
Tr log( 2 + 2 ) =
2
2
2
log(n + 2 )
n
D
log [2 sinh ( /2)] .
h
(10.389)
e
de correlacin:
o
G(2) (0, ) = G(2) (, ) = 0,
G(2) (, 0) = G(2) (, ) = 0.
(10.390)
(10.391)
donde
(, ) = ( , ) =
1
( > ) < = [( )( ) + + ]
,
(10.392)
es una abreviatura de la versin Euclideana para la funcin G0 (t, t ) de la Ec. (3.39). Siendo la
o
o
funcin de Green de la ecuacin de movimiento libre (10.213) para = 0, esta funcin cumple con
o
o
o
las ecuaciones diferenciales inhomogneas
e
(, ) = ) = ( ),
(,
(10.393)
en analog con la Ec. (10.214) para = 0. Adems, ahora existe una ecuacin independiente en
a
a
o
la cual las dos derivadas act an sobre argumentos temporales diferentes:
u
(, ) = ( ) 1/.
(10.394)
Para un intervalo temporal nito, las funciones de correlacin (10.203) y (10.204) dieren por
o
algo ms que un signo [recordemos la Ec. (10.210)]. Por lo tanto debemos distinguir las derivadas
a
dependiendo de s los argumentos de la izquierda o la derecha se han derivado. En lo que sigue,
denotaremos las derivadas con respecto a o por medio de un punto a la izquierda o a la derecha,
respectivamente, escribiendo
(, )
d
(, ),
d
(, )
d
(, ).
d
(10.395)
853
1
1
( ) + = ( , ) .
2
2
(, ) =
(10.396)
,
.
G(2) (, ) q ( )q ( ) = (, ) =
(10.397)
(10.398)
(10.399)
donde (, ) est dada por la Ec. (10.394). Ntese la similitud, pero tambin la diferencia de
a
o
e
esto, con respecto a la ecuacin de movimiento (10.393).
o
10.11.2
(10.400)
DD x eA
[x]
(10.401)
1
2
d x2 ( ).
(10.402)
D/2
= [2]
(10.403)
donde la traza del logaritmo se evalu con las condiciones de frontera de Dirichlet. Por supuesto,
o
y en unidades naturales, el resultado es la versin D-dimensional de tiempo imaginario del factor
o
de uctuacin (2.130). La transformacin de coordenadas xi ( ) = xi (q ( )), que transforma xa a
o
o
1
2
xi (q) xi (q)
.
q q
(10.404)
dD x( ) = J
dD q( ) J
DD q
g(qa ) ,
(10.405)
854
J=
1
xi (qa )
= exp (0)
q0
2
d log
0
g(q( ))
.
g(qa )
(10.406)
DD q eAtot [x] ,
(10.407)
Atot [q] =
1
g(q( ))
1
.
g (q( ))q ( )q ( ) (0) log
2
2
g(qa )
d
0
(10.408)
1
2
d g (qa ) q ( ) q ( )
(10.409)
1
d [g (q) g (qa )] q q
2
Aint [qa , q] =
tot
1
d (0)
2
1 g(qa + q)
g(qa + q)
1
1 + ... .
g(qa )
2
g(qa )
(10.410)
Por simplicidad, suponemos que las coordenadas son ortogonales para qa , i.e., g (qa ) = .
La integral de trayectoria (10.407) est ahora formalmente denida por medio de un desarrollo
a
perturbativo similar a la Ec. (10.199):
(qa |qa 0) =
(0)
D D q eA
[q]Aint [q]
tot
(2)D/2 1 Aint +
tot
(0)
DD q eA
1
1 Aint + Aint 2 . . .
tot
2 tot
[q]
1
Aint 2 . . . ,
tot
2
1
+
Aint 2 c . . .
tot
c
2
ef (q) ,
(10.411)
. . . = (2)D/2
DD q( )(. . .)eA
[q]
(10.412)
y sus cumulantes Aint 2 c = Aint 2 Aint , . . . [recordemos las Ecs. (3.482), (3.483)], contienen
tot
tot
tot
unicamente diagramas conectados. Para enfatizar la analog con el desarrollo de cumulantes de
a
la energ libre en la Ec. (10.199), hemos denido el exponente en la Ec. (10.411) como f (q).
a
La cantidad f (q), que depende de q, est fuertemente relacionada con el potencial efectivo clsico
a
a
alternativo discutido en la Subseccin 3.25.4, sin considerar un factor de normalizacin tenemos:
o
o
ef (q) =
1
2 2 /M kB T
h
eff cl (q)
e V
(10.413)
Si nuestro procedimiento respeta la independencia de coordenadas, todos los trminos del desarrollo
e
de f (q) se deben de anular y obtenemos, en forma trivial, el resultado exacto (10.401).
H. Kleinert, PATH INTEGRALS
10.11.3
855
(, z; , z ) =
donde |k|.
(10.414)
Aqu las coordenadas espaciales -dimensionales extras z se supone que permanecen sobre ejes
,
innitos con invariancia de translacin en todas las direcciones. Slo la coordenada original est
o
o
a
en un intervalo nito 0 , con condiciones de frontera de Dirichlet. La componente de
Fourier en el integrando (, ) es la funcin de correlacin uni-dimensional usual del oscilador
o
o
armnico, cuya frecuencia depende de k, = |k|. La funcin de correlacin es la funcin de Green,
o
o
o
o
misma que cumple con la ecuacin de movimiento para un intervalo nito de
o
(, ) + 2 (, ) = ( ),
(10.415)
(10.416)
La forma expl
cita de la funcin de Green, para tiempo real, est dada en la Ec. (3.36). De manera
o
a
obvia, su continuacin a tiempos imaginarios es
o
(, ) =
(10.417)
donde > y < denotan el mayor y el menor de los tiempos imaginarios y , respectivamente.
En d dimensiones temporales, la ecuacin de movimiento (10.393) se convierte en una ecuacin
o
o
escalar de campo del tipo Klein-Gordon. Usando la Ec. (10.415) obtenemos
(, z;
, z ) =
=
=
(, z; , z ) = (, z; , z ) + zz (, z; , z )
d k ik(zz )
(, ) 2 (, ) =
e
(2)
( ) () (z z ) (d) (z z ).
(10.418)
856
d k
(, ) + 2 (, ) .
(2)
(10.419)
Con ayuda de la Ec. (10.417), el integrando en la Ec. (10.419) se puede escribir como
(, ) + 2 (, ) = (0)
cosh (2 )
.
sinh
(10.420)
= (d) (z, z) I .
(10.421)
d k cosh (2 )
1 S
cosh z(1 2 /)
=
dzz
(2)
sinh
(2) 0
sinh z
1 S ( + 1)
[ ( + 1, 1 /) + ( + 1, /)] ,
(2) 2+1
=
=
(10.422)
o
reduce a la ecuacin uni-dimensional (10.393). La forma expl
o
cita d-dimensional no se necesitar
a
nunca. Ya que, en el lado derecho de la Ec. (10.394), siempre podemos tratar a (z, z) como
funciones uni-dimensionales (, ), las cuales a su vez se pueden reemplazar en todo momento
por (0) 1/.
10.11.4
Antes de calcular la integral de trayectoria (10.411) para un espacio curvo con condiciones de
frontera de Dirichlet, veriquemos primero su independencia en las coordenadas siguiendo el procedimiento de la Seccin 10.7. As consideremos el desarrollo perturbativo de la amplitud para
o
,
tiempos cortos de una part
cula libre en un sistema de coordenadas general. La accin libre est
o
a
dada por la Ec. (10.221), y las interacciones (10.222) y (10.224), todas con = 0. Utilizando el
parmetro a = 1, las acciones sern
a
a
A(0) [q] =
1
2
d q 2 ( ),
(10.423)
(10.424)
y
Aint =
tot
d
0
3
1
q 2 ( ) + 2 q 4 ( ) q 2 ( ) (0) q 2 ( ) + 2 q 4 ( )
2
2
(10.425)
857
respecto a la Subsection 10.7.1: los diagramas que tengan como prefactor no aparecen, y existen
nuevos diagramas que involucran a las funciones de correlacin para tiempos iguales q ( )q ( )
o
y q ( )q ( ) que previamente se anularon debido a la Ec. (10.211). Por la Ec. (10.396), estas
f1 = Aint
tot
d
0
q 2 ( )q 2 ( ) + (0)q 2 ( ) + O( 2 ).
(10.426)
Existen slo tres diagramas, dos que se originan en el trmino cintico y otro de la accin Jacobiana:
o
e
e
o
2
f1 =
+ (0)
(10.427)
Ntese la diferencia con respecto a los diagramas (10.227) para el intervalo temporal innito, con
o
el trmino 2 en la accin.
e
o
Los trminos 2 omitidos en la Ec. (10.426) dan la contribucin a segundo orden
e
o
(1)
f2
= 2
d
0
3 4
1
q ( )q 2 ( ) (0) q 4 ( )
2
2
(10.428)
f2
9
2
= 2
+ 18
3
(0)
2
(10.429)
1 2
2!
d
0
d q 2 ( )q 2 ( ) + (0)q 2 ( )
q 2 ( )q 2 ( ) + (0)q 2 ( )
f2
2
2 2 (0)
2!
4 (0)
+4
(10.430)
Los diagramas restantes son del tipo de tres burbujas, o del tipo sand cado uno con todas las
a,
posibles combinaciones de los cuatro tipos de l
neas (10.391) y (10.397)(10.399). Los diagramas
de tres burbujas dan [comparemos con la Ec. (10.231)]
(3)
f2 =
2
4
2!
+2
+4
+4
+2
(10.431)
Para = 0, los diagramas tipo sand contribuyen lo mismo que los diagramas en (10.232):
a
2
(4)
+4
+
f2 = 4
.
(10.432)
2!
De la indenpendencia en las coordenadas, la suma de los diagramas de primer orden (10.427)
tiene que anularse. Anal
ticamente, esto es equivalente a la ecuacin
o
f1 =
d (, )(, ) + 2 2 (, ) (0)(, ) = 0.
(10.433)
858
Esto elimina el factor innito (0) en la Ec. (10.433), que se obtiene de la norma. El resto se calcula
directamente:
1
d (, ) + 2 2 (, ) = 0.
(10.434)
Este resultado se obtiene sin complicacin, ya que por las Ecs. (10.392) y (10.396)
o
(, ) =
2
,
2 (, ) =
1 (, )
,
4
(10.435)
d (, ) =
0
d 2 (, ) =
.
12
(10.436)
(i)
f2
3 2
(10.437)
Reemplazando en la Ec. (10.437) una vez ms (, ) por (0) 1/, considerando la ecuacin
a
o
de movimiento (10.394), y tomando en cuenta el lado derecho de la Ec. (10.435), tenemos
(1)
f2
= 2 3(0)
0
d 2 (, ) = 2
3
(0).
10
(10.438)
(2)
f2
(10.439)
.
e
(2)
f2
2
d d 2 2 (0)2 (, )
2 0 0
4(0) (, ) 2 (, ) + 4 (, )(, ) (, ) 2 (, )/
(10.440)
.
f2
2
2
= 2
4
3
3
3
+ 4(0)
+4
90
45
180 90
3
4
2
(0) +
(0) .
90
15
2 2 (0)
(10.441)
Regresemos ahora a los diagramas de tres burbujas (10.432). Slo tres de estos diagramas
o
contienen la funcin de correlacin (x, x ) (, ) para la cual la Ec. (10.394) no es
o
o
aplicable: el segundo, cuarto y sexto diagrama. En la Ec. (10.432), los otros diagramas de tres
burbujas, que contienen la generalizacin (x, x) del propagador de tiempo-igual (, ), se
o
puede calcular usando la Ec. (10.394).
H. Kleinert, PATH INTEGRALS
859
Consideremos primero una suma parcial consistente de los tres primeros diagramas de tres
burbujas en la suma (10.432). Esto tiene la forma anal
tica
(3)
f2
1,2,3
2
d d 4 (, ) 2 (, ) ( , )
(10.442)
2 0 0
+ 2 (, )2 (, )( , ) + 16 (, )(, ) (, ) ( , ) .
4
2
d d (, ) 2 (, )
2 0 0
2
16
+ 2 2 (, )
(, )(, ) (, ) ,
(3)
f2 + f2
1,2,3
(10.443)
f2
(3)
+ f2
2
2
1,2,3
4 2
2 4
16 3
2
+
45 90
180
2 7 2
.
2 45
(10.444)
Por el mismo clculo directo, la integral de Feynman en el quinto diagrama de tres burbujas en la
a
Ec. (10.432) es
: I5
=
0
d d (, ) (, ) (, ) ( , ) =
2
.
720
(10.445)
trmino en la Ec. (10.443) es igual, con signo opuesto, a la suma parcial del cuarto y quinto
e
diagrama de tres burbujas en la Ec. (10.432). Para ver esto, consideremos la integral de Feynman
asociada con el sexto diagrama de tres burbujas en la Ec. (10.432):
: I4
=
0
d d (, )(, )(, ) ( , ),
(10.446)
=
0
dd dd (, )(, ) (, ) ( , ).
(10.447)
A adiendo esto a la quinta integral de Feynman (10.445) y llevando a cabo una integracin por
n
o
partes, encontramos en una dimensin
o
(3)
f2
4,5
2
16 (I4 + I5 )
2
2
2
d d
4 2
,
=
45
2
16
(, ) (, )(, )
(10.448)
f2
(3)
+ f2
6,7
2 2 2
.
2 15
(10.449)
860
El primado en la suma denota la exclusin de los diagramas indicados por los sub
o
ndices. La
funcin de correlacin (, ) en los dos diagramas restantes de la Ec. (10.432), cuya extensin
o
o
o
d-dimensional es (x, x ), no puede reemplazarse via la Ec. (10.394), y la expresin slo puede
o o
simplicarse aplicando integracin por partes al sptimo diagrama en la Ec. (10.432), dando
o
e
: I7
=
0
d d (, ) (, )(, ) ( , )
dd dd (, ) (, ) (, ) ( , )
1
2
1
2
1
2
dd dd (, ) ( , ) [ (, )]
d d (, ) ( , )
d
2 (, )
d
d d (, ) 2 (, ) =
0
2
.
90
(10.450)
El sexto diagrama en la suma (10.432) diverge linealmente. Como antes, sumamos y restamos la
divergencia
: I6
=
0
d d (, ) 2 (, )( , )
d d (, ) 2 (, ) 2 ( ) ( , )
=
0
+
0
d d 2 (, ) 2 ( ).
(10.451)
dd dd (, )
=
0
(, )
2 (, ) ( , )
dd dd { [(, )] (, ) (, )( , )
+ (, ) (, ) (, ) [( , )]
d d 2 { (, ) (, )(, )( , )+
(, ) (, ) ( , )
(, )} .
(10.452)
En la ultima l
e
(,
o
(10.393) y la ecuacin trivial (10.376). As obtenemos
o
R
div
I6 = I6 + I6
(10.453)
donde
R
I6
div
I6
= 2
2
2
90 120
=
0
1
2
7 2
90
d d 2 (, ) 2 ( ).
(10.454)
(10.455)
861
div
I6
(0)
d 2 (, ) = (0)
3
.
30
(10.456)
Usando las Ecs. (10.450) y (10.453) obtenemos la suma del sexto y sptimo diagrama de tres
e
burbujas en la Ec. (10.432):
(3)
f2
6,7
2
2
3
2
(2I6 + 16I7 ) =
+
2(0)
.
2
2
30
10
(10.457)
Agregando esto a la Ec. (10.449), obtenemos la suma de todos los diagramas de tres burbujas
(2)
(3)
f2 + f2
2
3
2
2(0)
.
+
2
30
30
(10.458)
Las contribuciones de los diagramas tipo sand (10.432) corresponden a las integrales de
a
Feynman
(4)
f2
= 2 2
d d 2 (, ) 2 (, )
+ 4 (, ) (, ) (, )(, ) + 2 (, ) 2 (, ) .
(10.459)
: I10 =
d
0
d 2 (, ) 2 (, ) =
2
.
90
(10.460)
dd dd (, ) (, ) (, ) (, ).
(10.461)
d d (, ) 2 (, ) (, ).
(10.462)
1
2
dd dd (, )2 (, ) (, ).
(10.463)
Usando la ecuacin de campo (10.418), regresando a una dimensin, y utilizando las expresiones
o
o
(, ), (, ) y (, ) de las Ecs. (10.392), (10.396) y (10.393), hallamos las integrales unicas
y obtenemos
I9 = 2
1
48
d 2 ( ) ( ) +
1
240
(10.464)
2
.
720
(10.465)
862
: I8 =
0
d d 2 (, ) 2 (, ) =
0
d d 2 (, ) 2 ( )
+
0
d d 2 (, ) 2 (, ) 2 ( ) .
(10.466)
dd dd 2 (, )
(, )
2 (, ) ,
(10.467)
la que despus de una integracin por partes y regresando a una dimensin se reduce a una
e
o
o
combinacin de integrales de las Ecs. (10.465) y (10.464):
o
R
I8 = 2I9 + 2I9 =
2
.
72
(10.468)
div
La parte divergente de I8 coincide con I6 en la Ec. (10.455):
div
I8 =
div
d d 2 (, ) 2 ( ) = I6 = (0)
3
.
30
(10.469)
Sustituyendo esto junto con las Ecs. (10.460) y (10.465) en la Ec. (10.459), obtenemos la suma de
los diagramas tipo sand
a
(4)
f2
2
2
4(0)
2
2
30
30
(10.470)
en un slo punto del eje temporal, siendo as que su longitud total es irrelevante.
o
d (, ).
(10.471)
d d 2 (, ) 2 ( ) = (0)
d 2 (, ),
(10.472)
d n (, ),
(10.473)
la cual se reduce a
d1 dn n (1 , 1 ) 2 (1 n ) = (0)
d n (, ),
(10.474)
lo que se satisface debido a la regla de integracin (10.369). Ver el Appendix 10C para una
o
derivacin general de la relacin (10.473).
o
o
H. Kleinert, PATH INTEGRALS
10.11.5
863
o
utilizando coordenadas normales o geodsicas, encontraremos los mismos diagramas de Feynman
e
calculados para vericar la independencia en las coordenadas.
Las integrales de trayectoria en espacios curvos se deducen haciendo la transformacin no
o
contener curvatura y torsin, y el resultado de la integral de trayectoria ya no ser tan trivial como
o
a
en la Ec. (10.403), sino que depender de R (qa ) y S (qa ). Sin embargo, por simplicidad
a
ignoraremos la torsin.
o
Entonces la accin estar dada por la Ec. (10.404), y la mtrica ser g (q) = ei (q)ei (q). Se
o
a
e
a
demostr en la Subseccin 10.3.2 que bajo transformaciones no holmicas de las coordenadas, la
o
o
o
norma de la particin temporal de una integral de trayectoria se transforma de la forma, para el
o
g exp
d R/8 .
(10.475)
Para un espacio D-dimensional con una mtrica general g (q) podemos hacer uso de la,
e
anteriormente demostrada, invariancia en las coordenadas, para llevar la mtrica a las coordenadas
e
ms convenientes, normales o geodsicas (10.98), alrededor de alg n punto qa . La ventaja de estas
a
e
u
coordenadas es que las derivadas, y as la coneccin af se anulan en este punto. Sus derivadas
o
n,
se pueden expresar directamente en trminos del tensor de curvatura:
e
1
(10.476)
R + 2 R R + . . . ,
3
45
1
1
1
g() = 1 R + 2
R R + R R + . . . .
3
18
5
g () = +
(10.477)
(10.478)
Estos desarrollos tienen las mismas potencias para que las que tuvieron los desarrollos unidimensionales previos (10.223) para q. La interaccin (10.410), en trminos de las coordenadas
o
e
normales, a orden 2 ser:
a
Aint []
tot
d
0
1
1
R + 2 R R
6
45
1
1
+ (0)R + 2
(0)R R .
6
180
(10.479)
864
Nuevamente, esto tiene las mismas potencias en que la interaccin uni-dimensional (10.425),
o
conduciendo a los mismo diagramas de Feynman, y diriendo slo por las factores asociados con
o
los vrtices. En una dimensin, con los vrtice triviales de la interaccin (10.425), la suma de todos
e
o
e
o
y R , el resultado es distinto de cero pero depende de las contracciones del tensor de curvatura
o
a la expresin uni-dimensional (10.425), usando las reglas de contraccin (8.63) y (8.64), en la
o
o
siguiente forma:
+ +
+ +
( + + ) + + +
+ + + + +
(10.480)
,
+
(10.481)
(10.482)
(10.483)
Sustituyendo estas expresiones en el valor esperado de (10.479) y haciendo las contracciones del
tensor, obtenemos
Aint []
tot
=
0
1
d R
6
+ (0)
1
2
R + R R + R R
45
1
+ 2
(0) R + R R + R R .
180
+ 2
(10.484)
Individualmente, los cuatro tensores en los corchetes de la Ec. (10.483) contribuyen a las con
tracciones del tensor, usamos aqu la antisimetr de R con respecto a los
a
ndices y la
= R :
R R ( + + ) = 0,
R R + + = R R + R = 0,
R R
+ +
= R R + R + R
= R2 + R R + R R
R R + + = R (R + R ) = 0.
(10.485)
R + R + R = 0.
(10.486)
1
( g g g + g ) [ , ] ,
2
(10.487)
865
R + R + R = [( ) g ( ) g ( ) g ] = 0.
2
La integrabilidad tiene tambin la consecuencia de que
e
R = R ,
R = R .
(10.488)
R R = R R ,
2
(10.489)
1
R
6
+ (0)
(10.490)
d (, )(, ) 2 (, ) (0)(, ) .
(10.491)
1
d (, ) 2 (, ) .
(10.492)
1
R
6
d
0
3
R.
(, ) =
2
24
(10.493)
f2
= 2
1
45
R R + R R
2
(10.494)
La suma de los diagramas
1
(0)
4
(10.495)
866
En trminos de las integrales de Feynman, los parntesis cuadrados son igual a [comparemos con
e
e
la Ec. (10.437)]
1
d 2 (, )(, ) (, ) 2 (, ) + (0)2 (, ) .
4
(10.496)
5
5 1
5 2
(, ) + (0)2 (, ) =
[1 (0)] .
4
4
4 30
(10.497)
As encontramos
(1)
f2
= 2
2
3 2
2
R + R [1 (0)] .
1080
2
(10.498)
cumulante
1
Aint 2
tot
2
=
c
2 1
2 36
2 (0)R R ( ) ( ) ( ) ( )
+ 2 (0)R R ( ) ( ) ( ) ( ) ( ) ( )
(10.499)
+ R R ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
.
c
Los primeros dos trminos contienen los diagramas conectados [comparemos con la Ec. (10.430)]
e
(2)
f2
2 R R
2 2 (0)
2
36
4 (0)
(10.500)
(2)
f2
(10.501)
.
El tercer trmino en la Ec. (10.499) conduce a los diagramas de tres burbujas [comparemos con la
e
Ec. (10.439)]
(3)
f2 =
2 R R
4
2
36
+2
+4
+4
+2
.
(10.502)
La expresin anal
o
tica para los diagramas 1,2,3, es [comparemos con la Ec. (10.442)]
(3)
f2
1,2,3
2 R R
d d 4 (, ) 2 (, ) ( , )
(10.503)
2
36
0
0
+ 2 (, )2 (, )( , ) 8 (, )(, ) (, ) ( , ) .
f2
4,5
2 R R
2 R R
4
(I4 +I5 ) =
d d (, ) (, )(, )
2
36
2
36
0
0
2 R R 1 2
.
(10.504)
=
2
36
45
H. Kleinert, PATH INTEGRALS
867
f2
6,7
3
2 R R
2 R R
2
2(0)
.
(2I6 8I7 ) =
2
36
2
36
30
6
(10.505)
(3)
f2 + f2
= 2
2 2
3 2
R 2 (0)
R .
432
1080
(10.506)
2
Esto compensa exactamente el trmino (0) proporcional a R en la Ec. (10.498), dejando solae
mente un trmino nito de segundo orden
e
(2)
f1
(3)
(2)
= 2
+ f2 + f2
3 2
2 2
2
R R + 2 (0)
R
.
720
1080
(10.507)
Finalmente, calculamos los diagramas tipo sand de segundo orden (10.432), los cuales cona
tienen las inicialmente ambiguas integrales de Feynman. Donde hacemos la siguiente observacin.
o
Su suma es [comparemos con la Ec. (10.432)]
2 1
R R + R R
2
2 36
correspondiente a la expresin anal
o
tica
(4)
f2 =
(3)
f2
2 3 1 2
R
2
2 2 36
(10.508)
d d 2 (, ) 2 (, )
2 (, ) (, ) (, )(, ) + 2 (, ) 2 (, )
2 2
R
(I8 2I9 + I10 ) ,
24
(10.509)
donde las integrales I8 , I9 y I10 fueron evaluadas anteriormente en las Ecs. (10.469), (10.468),
(10.465) y (10.460). Substituyendo los resultados en la Ec. (10.509) y usando las reglas (10.369) y
(10.375), obtenemos
(3)
f2
2 2
R
24
d d 2 (, ) 2 ( ) = 2
3 2
R
(0).
720
(10.510)
As el unico papel de los diagramas tipo sand es cancelar el trmino (0) restante, proporcional
a
e
2
a R , en la Ec. (10.507). Esto da una contribucin no nita.
o
La suma total restante de todas los contribuciones de segundo orden en la Ec. (10.507) cambia
la diagonal de la amplitud de evolucin temporal (10.494) a la forma
o
(qa |qa 0) =
1
2
exp
2 2
2
R
R + . . . .
R(qa ) +
12
720
(10.511)
En el Cap
tulo 11 veremos que esta expresin concuerda con la que se deriv en la mecnica
o
o
a
cuntica de Schrdinger a partir del operador Hamiltoniano H = /2, que contiene solamente el
a
o
operador de Laplace-Beltrami = g 1/2 g 1/2 g (q) de la Ec. (1.379), sin trminos R extras:
e
(qa | qa 0) e/2 = (qa | e/2 | qa )
1
=
D
2
1+
R+
12
2
1 2
1
R
R R R
R +
144
360
(10.512)
+. . . .
Este desarrollo, debido a DeWitt y Seeley, ser derivado en la Seccin 11.6 donde la relacin
a
o
o
relevante ser la Ec. (11.110).
a
868
Resumiendo los resultados, hemos encontrado que para un espacio uni-dimensional q, as como
o
de la extensin d-dimensional, junto con las reglas (10.369) y (10.375). Los resultados garantizan
o
la independencia en las coordenadas de las integrales de trayectoria. Estos resultados tambin
e
concuerdan con el desarrollo de DeWitt-Seeley de la amplitud de tiempo corto a deducirse en la
Ec. (11.110). El acuerdo est garantizado por las integrales inicialmente ambiguas I8 y I9 que
a
cumplen con las ecuaciones
R
I8 + 4I9 + I10 =
2
,
120
(10.513)
R
I8 2I9 + I10 = 0,
(10.514)
como podemos ver de las Ecs. (10.470) y (10.509). Ya que la integral I10 = 2 /90 es unica,
R
debemos tener que I9 = 2 /720 e I8 = 2 /72, y esto es ciertamente lo que se encontr a partir
o
de nuestras reglas de integracin.
o
El principal papel de la extensin d-dimensional del eje- es, en este contexto, prohibir la
o
aplicacin de la ecuacin de movimiento (10.394) a las funciones de correlacin (, ). Esto
o
o
o
R
jar inmediantamente la parte nita de la integral I8 al valor incorrecto I8 = 2 /18, dejando
a
que la integral I9 je la integral sobre las distribuciones (10.375). Sin embargo, de esta manera slo
o
podr
amos cumplir con una de las ecuaciones (10.513) o (10.514), y la otra ser siempre incorrecta.
a
As cualquier regularizacin diferente de la vista aqu destruir inmediatamente la independencia
,
o
a
en las coordenadas.
10.11.6
Se debe de hacer notar que si fuesemos a usar coordenadas arbitrarias en vez de coordenadas
normales de Riemann, encontrar
amos integrales ambiguas incluso al nivel de dos lazos:
d d (, ) (, )(, ),
I14 =
0
I15 =
0
(10.515)
d d (, ) 2 (, ).
(10.516)
Mostraremos que la independencia en las coordenadas requiere que estas integrales tengan los
valores
I14 = /24,
R
I15 = /8,
(10.517)
donde el super
ndice R denota la parte nita de una integral. Primero estudiaremos las ambig edades que aparecen en una dimensin. Sin extensin dimensional, los valores (10.517) ser
u
o
o
an
incompatibles con la integracin por partes y la ecuacin de movimiento (10.393). En la inteo
o
gral (10.515), usamos la simetr (, ) = ), aplicamos integracin por partes dos veces
a
(,
o
teniendo cuidado con los trminos de frontera no nulos, y obtenemos por una parte
e
I14 =
1
2
1
=
6
d d (, )
0
1
d
2 (, ) =
d
2
1
d
d d 3 (, ) =
d
6
d d 2 (. ) (, )
d (, 0) 3 (, ) =
.
12
(10.518)
Por otra parte, aplicamos la Ec. (10.394) y llevamos a cabo dos integrales regulares, reduciendo
I14 a la una forma que contiene una integral indenida sobre un producto de distribuciones:
I14
=
0
d d (, ) (, )( )
d d (, ) (, )
869
=
=
1
d d 2 ( )( ) +
4
0
0
1
1
.
d 2 ( )( ) +
4
6
d 2 (, ) +
12
(10.519)
Una tercera forma combinada para evaluar I14 emplea una integracin por partes como en la
o
primero l
nea de la Ec. (10.518), y luego la ecuacin de movimiento (10.393) para reducir I14 a
o
otra forma
=
1
2
I14
1
8
d d 2 (, )( ) =
d d 2 ( )( ) +
1
8
d 2 ( )( ) +
1
2
d 2 (, )
0
1
.
24
(10.520)
1
,
3
(falso),
(10.521)
los ultimos dos resultados (10.520) y (10.519) coinciden con el primer resultado en la Ec. (10.518).
La denicin (10.521) debe de ser obviamente consistente con la integracin por partes si utilizamos
o
o
( ) = ( )/2:
d [( )]2 ( ) =
1
2
d [( )]2 ( ) =
1
6
1
d
[( )]3 = .
d
3
(10.522)
A pesar de esta consistencia con respecto a la integracin por partes y la ecuacin de movimiento,
o
o
la Ec. (10.521) es incompatible con el requisito de la independencia en las coordenadas. Esto
puede verse de la discrepancia entre el valor resultante I14 = /12 y el valor necesario dado en
la Ec. (10.517). En anteriores trabajos sobre el presente tema de otros autores [31] [36], esta
discrepancia fue compensada agregando el trmino no covariante a la accin clsica mencionado
e
o
a
anteriormente (ver la pg. 824), en violacin a las reglas de construccin de Feynman para las
a
o
o
integrales de trayectoria.
Un problema similar aparece con la otra integral de Feynman (10.516). Aplicando primero la
Ec. (10.394) obtenemos
I15 =
0
d d (, ) 2 ( )
d (, ) +
0
1
2
d d (, ).
(10.523)
Para una integral que contine el cuadrado de la funcin debemos de postular la regla de integracin
o
o
(10.369) para obtener un trmino divergente
e
div
I15 = (0)
d (, ) = (0)
0
2
,
6
(10.524)
que es proporcional a (0), y que compensa un trmino similar en la norma. Las integrales restantes
e
R
en la expresin (10.523) son nitas, y para la parte regular tenemos I15 = /4. Sin embargo,
o
veremos que este resultado es inconsistente con la invariancia en las coordenadas. En otro clculo
a
de la integral I15 , primero sumamos y restamos el trmino divergente UV, escribiendolo en la forma
e
I15 =
0
d d (, ) 2 (, ) 2 ( ) + (0)
2
.
6
(10.525)
870
=
0
d d [ (, ) (, )(, ) (, ) (, ) d(, )]
=
0
d d (, ) 2 (, ) 2 (, )
d d 2 (, ) ) (, ) (, ) (, )
(,
= I14 +
d d 2 (, ) ) = I14 /6.
(,
(10.526)
o
Para una tercera evaluacin de I15 sustituimos la ecuacin de movimiento (10.393), y encono
o
tramos que la ultima integral en la cuarta l
d d 2 (, )( ) =
1
4
d 2 ( )( ) +
1
.
12
(10.527)
Estas tres formas de hacer el clculo conducen, usando la regla (10.521), al mismo resultado
a
R
I15 = /4. Sin embargo, este resultado est de nuevo en desacuerdo con el valor hallado para el
a
caso independiente de las coordenadas dado en la Ec. (10.517). Ntese que ambas integrales, I14
o
R
e I15 , son mayores por un factor de 2 con respecto al valor dado en la Ec. (10.517) para el caso
de la independencia en la coordenadas.
Ahora, lo que deseamos saber es: cmo podemos preservar la independencia en las coordeo
nadas mientras se mantiene la ecuacin de movimiento y la integracin por partes? La respuesta se
o
o
encuentra en lo que se sugiere en la ultima l
(10.528)
y vemos que las diferentes derivadas en (x, x ) nos previenen de aplicar la ecuacin de campo
o
(10.418), en constraste al clculo uni-dimensional. Sin embargo, podemos aplicar integracin por
a
o
partes como en la primera l
nea de la Ec. (10.518), y llegar a
d
I14
1
2
dd x dd x 2 (x, x ) (x, x ).
(10.529)
Contrario a la expresin uni-dimensional (10.518), una integracin por partes adicional es imo
o
posible. En lugar de eso podemos usar la ecuacin de campo (10.418), ir a una dimensin, y
o
o
aplicar la regla de integracin (10.375), como en la Ec. (10.520), para obtener el resultado correcto
o
I14 = /24, garantizando as la independencia en las coordenadas.
La integral de Feynman (10.516) para I15 se trata en forma similar. Su extensin d-dimensional
o
es
d
I15 =
dd x dd x (x, x ) [ (x, x )] .
(10.530)
Las diferentes derivadas sobre (x, x ) hacen imposible aplicar una versin dimensionalmente
o
extendida de la ecuacin (10.394) como en la Ec. (10.523). Sin embargo, podemos extraer la
o
H. Kleinert, PATH INTEGRALS
871
divergencia UV al igual que en la Ec. (10.525), y llevar a cabo la integracin por partes en la parte
o
nita lo que la lleva a una versin dimensionalmente extendida de la Ec. (10.526):
o
R
I15 = I14 +
dd x dd x 2 (x, x ) (x, x ).
(10.531)
En el lado derecho usamos la ecuacin de campo (10.418), como en la Ec. (10.527), regresamos a
o
R
d = 1, y usamos la regla (10.375) para obtener el resultado I15 = I14 /12 = /8, garantizando
una vez ms la independencia en las coordenadas.
a
As manteniendo la huella en unas cuantas propiedades esenciales de la teor en d dimensiones
,
a
obtenemos un precedimiento consistente y simple para calcular integrales singulares de Feynman.
Todos los resultados obtenido de esta manera aseguran la independencia en las coordenadas. Esto
concuerda con que lo obtendr
amos usando la regla de integracin uni-dimensional (10.375) para
o
el producto de dos distribuciones y una distribucin .
o
Nuestro procedimiento nos da reglas unicas, dicindonos donde nos est permitido aplicar
e
a
integracin por partes y la ecuacin de movimiento en las expresiones uni-dimensionales. En
o
o
ultima instancia, todas las integrales se llevan a una forma regular, la cual se puede llevar a una
dimensin temporal para una evaluacin directa. Este procedimiento es obviamente mucho ms
o
o
a
simple que los anteriores clculos en d dimensiones, donde al nal hallabamos el l
a
mite d 1.
La independencia en las coordenadas requieren de las ecuaciones (10.517). As a pesar de que
,
el clculo en coordenadas normales es ms simple y puede aplicarse fcilmente a ordenes superiores,
a
a
a
el desarrollo perturbativo en coordenadas arbitrarias ayuda a tratar integrales ms ambiguas.
a
Veamos ahora como aparecen las integrales I14 y I15 en el desarrollo perturbativo de la amplitud
de evolucin temporal en coordenadas arbitrarias a orden , y veamos adems que los valores
o
a
(10.517) son necesarios para garantizar un resultado covariante. Usamos coordenadas arbitrarias
y desarrollamos la mtrica alrededor del origen. Ignorando el s
e
mbolo de incremento en q ,
tenemos:
1
(10.532)
g (q) = + ( g )q + ( g )q q ,
2
donde el parmetro da cuenta del orden perturbativo de la serie, el cual al nal ser igualado a
a
a
la unidad. A orden el determinante tiene el desarrollo:
log g(q) =
1
g ( g )q + g [( g ) g ( g )( g )]q q .
2
(10.533)
1
1
( g )q + ( g )q q q q
(10.534)
2
4
0
1
1
(0)g ( g )q (0) g ( g ) g ( g )( g ) q q .
2
4
Usando las relaciones que se siguen directamente de la denicin de los s
o
mbolos de Christoel
(1.70) y (1.71),
Aint [q] =
tot
g
g
=
=
g ( g ) =
=
g g g = + = 2{} ,
+ = {} ,
g ( g ) = 2 ,
2g = 2 (g ) 2 g
2 ( + g + ) ,
(10.535)
obtenemos
Aint [q] =
tot
q q q q
2
0
(0) q + q q
.
2
d
q +
(10.536)
872
La derivada del s
mbolo de Christoel, en el ultimo trmino, tambin se puede escribir en forma
e
e
diferente s usamos la identidad g = g g g en la siguiente forma:
g = g = g g g ( g )
( + ) .
=
=
(10.537)
f1
d
0
1
1
q q q q (0) q q
2
2
(10.538)
f1 =
{}
2
d g g ( , )( , )+2g g 2 ( , )(0)g g ( , )
g ( + g ) (0)
d (, ).
(10.539)
2
0
Reemplazando (, ) por (0)1/ de acuerdo a la Ec. (10.394), y usando las integrales (10.436),
los trminos (0) en la primera integral se cancelan y obtenemos
e
(1)
f1 =
g g
g
( )
( + g )(0) .
4
6
3
(10.540)
2!
d
0
d [ q ( )q ( )q ( ) + (0) q ( )]
[ q ( )q ( )q ( ) + (0) q ( )]
(10.541)
f1
(3)
f1
= g
2
+ 2 (0)
2(0)
= (g + g )
(0)
,
,
,
= (g g + g + 2g )
2
(5)
f1 = (g g + 3g )
,
2
(6)
.
(10.542)
f1 = g ( + g )
2
Las integrales de Feynman asociadas con los diagramas en la primera y segunda l
nea son
(4)
f1
I11 =
d d
e
I12 =
d d { (, ) (, )( , ) (0) (, ) (, )} ,
(10.544)
1
2
d
0
d (, ) =
12
(10.545)
873
d
0
d (, ) (, ) =
.
12
(10.546)
I13 =
dd x dd x (x, x) (x , x ) (x, x ).
(10.547)
d d (, ) ( , ) =
d
0
d (, ) (, ) =
,
12
(10.548)
(6)
a
determinados inicialmente por las integrales ambiguas (10.515) y (10.516) y son igual a I14 = /24
e I15 = /8 + (0) 2 /6, respectivamente. Ms a n, la parte (0) en la ultima integral, cuando se
a u
(6)
sustituye en la ultima l
R
As slo se conserva la parte nita I15 = /24 y obtenemos
, o
(5)
(6)R
R
R
f1 +f1
= g g I14 +I15 + g 3I14 +I15
2
=
g g .
(10.550)
24
Sumando este resultado a la Ec. (10.549), hallamos que la suma de todos los diagramas en la
Ec. (10.542) es
6
(i)
i=2
f1 =
g g
jl, n ).
24
(10.551)
i=1
f1 =
R.
g g R =
24
24
(10.552)
El resultado es covariante y concuerda con la Ec. (10.492), deducido para coordenadas normales.
Ntese que para obtener este resultado covariante, las integrales ambiguas iniciales (10.515) y
o
(10.516) sobre las distribuciones que aparecen en la Ec. (10.550) deben de cumplir con
R
I14 + I15
R
3I14 + I15
,
12
0,
(10.553)
874
10.12
En el Cap
tulo 5 hemos visto que la funcin de particin de un sistema cuntico eso
o
a
tad
stico en espacios planos siempre se puede escribir como una integral sobre un factor de Boltzmann clsico exp[V e cl (x0 )], donde B(x0 ) = V e cl (x0 ) es el llamado
a
potencial efectivo clsico que contiene los efectos de todas las uctuaciones cunticas.
a
a
La variable de integracin es la trayectoria temporal promedio x0 1 0 d x( ).
o
En esta seccin generalizamos este concepto a espacio curvos, y mostramos como
o
calcular perturbativamente la serie de V e cl (q0 ) en el l
mite de alta temperatura.
El requisito de independencia bajo la transformacin de coordenas q ( ) q ( )
o
introduce complicaciones en la denicin y tratamiento de la trayectoria promedio
o
10.12.1
875
D D q g(q)eA[q] ,
(10.554)
donde el s
mbolo indica la periodicidad de las trayectorias. Por analog con la
a
Ec. (2.444), separamos las trayectorias en una parte independiente del tiempo y otra
parte dependiente del tiempo:
q = q0 + ( ),
(10.555)
con el objetivo de expresar la funcin de particin, como en la Ec. (3.808), por medio
o
o
de una integral ordinaria sobre una funcin de partin efectiva clsica
o
o
a
Z=
dD q0
V e cl (q0 )
,
D g(q0 ) e
2
(10.556)
donde V e cl (q0 ) es la versin para espacios curvos del potencial efectivo clsico.
o
a
En un tratamiento covariante, parametrizamos las peque as uctuaciones ( ) en
n
q ( ) = q0 + (q0 , ),
(10.557)
(10.558)
(q0 ) = = 2 , . . . .
(10.559)
... (q0 ) de la Ec. (10.558) son cero, de tal modo que ( ) = ( ), y la descomposicin (10.557) es lineal. Sin embargo, en coordenadas arbitrarias ( ) no se
o
transforma como un vector bajo transfomacin de coordenadas, y debemos usar la
o
separacin no lineal (10.557).
o
Transformamos ahora la integral de trayectoria (10.554) a las nuevas coordenadas
( ) usando las Ecs. (10.557)(10.559). El desarrollo perturbativo de la integral
876
1
2
d ( )( ) ( ),
2
(10.560)
y una interaccin que contiene slo los trminos principales de la Ec. (10.479):
o
o
e
Aint [q0 ; ] =
tot
1
1
R + (0)R .
6
6
(10.561)
(0) [q
D D ( ) g(q0 ) eA
int
0 ,]Atot [q0 ,]
(10.562)
0 = 1
d ( ).
(10.563)
libre bsica ( ) ( ) se puede encontrar fcilmente a partir de la representacin
a
a
o
espectral mostrada en la Ec. (3.251). El resultado es
( ) ( )
q0
(10.564)
) = ( ) ( ) | | + ,
(,
2
2
12
, [0, h].
(10.565)
877
misma forma como se hizo previamente con la funcin de correlacin tipo Diricho
o
que (,
) = (, ) ( ) ,
(,
, [0, h],
(10.566)
y, con excepcin de un signo, las tres posibles derivadas temporales dobles son iguales
o
a:
(, ) = (, ) = (, ) = ( ) 1/.
(10.567)
El lado derecho contiene un trmino extra debido al modo cero propio faltante en
e
la representacin espectral de la funcin :
o
o
1
m=0
eim ( ) = ( )
1
.
(10.568)
10.12.2
Arbitrariedad de q0
q0 q0 = q0 + ,
|| 1.
(10.569)
= Q (q0 , ).
(10.570)
. La trayectoria q ( ) = q (q0 , ( )) debe de permancer invariante bajo las transformaciones simultneas (10.569) y (10.570), lo que implica que
a
q q q = D q (q0 , ) = 0 ,
(10.571)
878
.
Q (q0 , )
q0
(10.572)
calmente plana [46], la cual se puede calcular como sigue. Expresamos el vector
q (q0 , ) en trminos de las coordenadas geodsicas usando las Ecs. (10.557),
e
e
(10.558) y (10.559), y sustituimos el resultado en la Ec. (10.571). De los coecientes
de obtenemos las ecuaciones
(q0 , )
(q0 , )
Q (q0 , )
= 0,
q0
(10.573)
q0
2
(10.574)
y
1
(q0 , )
= () (q0 ) ( ) (q0 ) . . .
2
1
1
=
+ 2 . . . . (10.575)
3
2
Para encontrar Q (q0 , ) invertimos el desarrollo (10.575) para obtener,
(q0 , )
= +
(q0 , )
1
1
+ + +. . .(10.576)
3
2
,
=(q0 ,)
la ultima igualdad indica que el resultado (10.576) tambin puede obtenerse del
e
desarrollo original (10.98), en la presente notacin tenemos [comparar con la
o
Ec. (10.558)]:
1
1
(q0 , ) = + (q0 ) + (q0 ) + . . . ,
2
6
(10.577)
(q0 ) = ,
(q0 ) = + 3 = + ,
.
. .
.
(10.578)
879
(10.579)
= Q (q0 , ),
Q (q0 , 0) = ,
(10.580)
(q0 , ) (q0 , )
Q (q0 , ) = Q (q0 , )
q0
(10.581)
=(q0 ,)
10.12.3
Estamos ahora preparados para eliminar el modo cero utilizando la condicin del
o
= 0. Como se mencion antes, la uctuacin nula ( ) = 0
promedio nulo
o
o
es obviamente una singularidad clsica de la integral de trayectoria (10.562).
a
Adicionalmente, debido a la simetr (10.570) existe otro extremum equivalente
a
dD q0 (D) (q0 q0 ) =
dD q0 (D) (),
(10.582)
dD 0
D
2
D D .
(10.583)
880
d Q (q0 , ( )).
(10.584)
As podemos reemplazar
,
dD 0
D
2
1
dD
D det
d Q (q0 , ( )) .
(10.585)
D
2
dD q0
1
D D det
DD =
dD q0
D D
d Q (q0 , ( )) .
(10.586)
FP [q
d Q (q0 , ) = eA
0 ,]
(10.587)
donde AFP [q0 , ] es una accin auxiliar que representa el determinante de Faddeevo
Popov
AFP [q0 , ] tr log
d Q (q0 , ) ,
(10.588)
1
3
d R (q0 ) ( ) ( ) + . . .
d R (q0 ) + . . . .
(10.589)
(10.590)
H. Kleinert, PATH INTEGRALS
881
dD q0
V e cl (q0 )
,
D g(q0 ) e
2
(10.591)
e cl (q
0)
(10.592)
D D
(0) [q
g(q0 )eA
int
0 ,]Atot,FP [q0 ,]
(10.593)
Puesto que el modo cero se ha eliminado en las uctuaciones del lado derecho, el
desarrollo perturbativo es directo. Desarrollamos la integral de trayectoria (10.593)
en potencias de la interaccin (10.590) alrededor del factor libre de Boltzmann
o
B0 (q0 ) =
D D
g(q0 )e
1
g (q )
2 0
(10.594)
en la siguiente forma:
B(q0 ) = B0 (q0 ) 1 Aint [q0 , ]
tot,FP
q0
1
Aint [q0 , ]2
tot,FP
2
q0
... ,
(10.595)
donde las funciones de correlacin dependientes de q0 estn denidas por las inteo
a
grales de trayectoria Gaussianas
...
q0
= B 1 (q0 )
(0) [q
D D [. . .]q0 eA
0 ,]
(10.596)
g(q0 ) =
D D xi ,
(10.597)
y encontramos
B0 (q0 ) =
D D xi e
1 2
(10.598)
882
xi um ( ) = xi +
m
0
m
xi um ( ), xi = xi , m > 0,
m
m
m
(10.599)
m=0
1
2
d xi ( )
m=0
2
m xi xi =
m m
2
m xi xi .
m m
(10.600)
m>0
(10.601)
q0
1
Aint [q0 , ]2
tot,FP
2
q0
... .
(10.602)
Los valores esperados en el lado derecho sern calculados con ayuda de las contraca
ciones de Wick que involcran la funcin de correlacin bsica de a ( ), asociada con
o
o a
la accin no perturbada en la Ec. (10.598):
o
xi ( )xj ( )
q0
= ij (, ) ,
(10.603)
la cual es, por supuesto, consistente con la Ec. (10.564), mediante la Ec. (10.97).
10.12.4
Ahora, usando la funcin de correlacin (10.564), llevamos a cabo todas las cono
o
tracciones posibles de Wick de las uctuaciones ( ) para los valores esperados
(10.602). Restringimos nuestra atencin slo a los trminos de orden inferior, ya
o o
e
que todos los problemas de los tratamientos anteriores se obtienen para ese rango.
Haciendo uso de las Ecs. (10.565) y (10.567), encontramos la siguiente forma de la
interaccin (10.561):
o
Aint [q0 , ]
tot
q0
1
R (q0 )
6
q0
+ (0)R (q0 )
1
=
R(q0 ),
72
q0
(10.604)
q0
1
R (q0 )
3
q0
1
R(q0 ).
36
(10.605)
883
q0
+ ... = 1
1
R(q0 ) + . . .
24
(10.606)
D g(q0 ) B(q0 )
2
ZP =
(10.607)
10.12.5
como en la Ec. (10.557). Para hacer que q0 sea igual a la trayectoria promedio q ( ), requerimos
1
2
d ( )( ) ( ) ,
2
(10.608)
1
2
0
1
.
(0) +
2
d
(10.609)
Debemos deducir la norma de la integracin funcional sobre las uctuaciones sin el modo
o
cero 0 = , de la norma propia de la Ec. (10.586) con uctuaciones sin modo cero:
(10.610)
884
Esto se transforma a las coordenadas ( ) mediante las Ecs. (10.577) y (10.578), dando
D D FP [q0 , ] ,
(10.611)
donde FP [q0 , ] se obtiene del determinante de Faddeev-Popov FP [q0 , ], dado en la Ec. (10.587),
expresando las coordenadas ( ) en trminos de ( ) y multiplicando el resultado por un Jae
cobiano que tiene en cuenta del cambio de funcin de 0 , a una funcin de 0 , mediante la
o
o
transformacin de la Ec. (10.577):
o
(q0 , )
=(q0 ,)
(q0 , )
=(q0 ,)
(10.612)
det
(q0 , )
(10.613)
1
1
+ 2 + + . . . .
2
2
(10.614)
= exp trlog
=(q0 ,)
d
0
=
=(q0 ,)
1
3
El factor (10.612) presente en la Ec. (10.611) da origen a una contribucin en la interaccin (10.608),
o
o
el cual puede ser reescrito como
FP
FP [q0 , ] = eA [q0 ,] .
(10.615)
Combinando las Ecs. (10.587) y (10.613), encontramos una nueva accin tipo Faddeev-Popov de
o
AFP [q0 , ] =
d
0
(q0 , )
=(q0 ,)
d T (q0 ) + . . . ,
(10.616)
T (q0 ) = 2 + .
(10.617)
donde
q0
= g (q0 )(, )
(10.618)
y el factor libre de Boltzmann es el mismo que en la Ec. (10.601). El desarrollo perturbativo del
factor de interaccin de Boltzmann se calcula de un desarrollo como el de la Ec. (10.602):
o
B(q0 ) = 1 Aint [q0 , ]
tot,FP
q0
1
2
Aint [q0 , ]
tot,FP
2 q0
... ,
(10.619)
(10.620)
H. Kleinert, PATH INTEGRALS
885
Como en el caso anterior de Dirichlet, las divergencias que contienen potencias de (0) no se
cancelan orden a orden, sino que lo hacen al nal.
Los clculos son como en el caso de Dirichlet, excepto que las funciones de correlacin estn
a
o
a
ahora dadas por la relacin (10.565), la cual depende slo de la diferencia de sus argumentos.
o
o
(1)
El primer valor esperado que contribuye a la Ec. (10.619) est otra vez dado por el factor f1
a
de la Ec. (10.539), excepto que las integrales tienen que evaluarse con la funcin de correlacin
o
o
(, ) =
, (, ) = (, ) = 0 .
(10.621)
12
Usando adems la propiedad com n (, ) = ( ) 1/ de la Ec. (10.567), directamente
a
u
de la Ec. (10.539), encontramos:
q0
(1)
f1 = Aint [q0 , ]
tot
g
+ g +
24
2
(0) g g + .
24
(10.622)
AFP [q0 , ]
q0
2 + .
g
24
(10.623)
El trmino divergente en la Ec. (10.622), el factor de (0), se cancela por una expresin similar
e
o
en la contribucin a segundo orden de la Ec. (10.602), la cual calculamos ahora evaluando el
o
I14 =
0
I15 =
0
d d (, ) (, )(, ) =
d d (, ) 2 (, ) =
2
+ (0) ,
24
12
.
24
(10.624)
(10.625)
Aint [q0 , ]
tot,FP
2 q0
c
=
+
g + 2
g
24
2
(0) g g + .
24
(10.626)
La suma de las Ecs. (10.623) y (10.626) es nita y tiene el mismo resultado covariante R/24
que la Ec. (10.552), de tal manera que obtenemos de nuevo el mismo desarrollo perturbativo
covariante del factor efectivo clsico de Boltzmann como en la Ec. (10.606). Ntese la importancia
a
o
de la contribucin (10.623), del determinante de Faddeev-Popov, para producir la curvatura escalar.
o
Desestimando esto, como se ha hecho por los autores de la Ref. [34], obtendremos en el factor
efectivo clsico de Boltzmann (10.619) un trmino adicional no covariante g T (q0 )/24. Esto se
a
e
puede reescribir como la divergencia covariante de una cantidad no vectorial
g T = V , V (q0 ) = g (q0 ) (q0 ).
(10.627)
Como tal, esta divergencia no contribuye, en la Ec. (10.607), a la integral sobre q0 , sin embargo
es un resultado no covariante incorrecto para el factor Boltzmann (10.606).
886
movimiento para q0 es a ( ) = 0.
10.12.6
Part
cula sobre una Esfera Unitaria
q q
,
1 q2
g(q) =
1
.
1 q2
(10.628)
q = q + 1 q 2 , = const, = 1, . . . , D
(10.629)
887
dD (D) ( ) = FP [q]
q
dD (D)
1 q 2 = 1 . (10.630)
FP
[q] =
FP [q]
= eA
q2
(10.631)
1 q2 .
(10.632)
B =
,
D D q
(10.633)
D D q eA[q]A
B=
(10.634)
donde AJ [q] es una contribucin a la accin (10.408) que viene del producto
o
o
J [q]
g(q( )) eA
(10.635)
AJ [q] =
1
d (0) log g(q) =
2
1
d (0) log(1 q 2 ) .
2
(10.636)
g(q) = 1 + q 2 + . . . ,
(10.637)
1
d q 2 ( ).
(10.638)
888
(10.639)
q ( )q ( ) = (, ).
(10.640)
1
(q q)2 (0)q 2 .
(10.641)
D
2
d q 2 .
(10.642)
Esto tiene un efecto importante sobre el desarrollo perturbativo a dos lazos del factor
de Boltzmann
B(q0 ) = 1 Aint [q]
tot
q0
AFP [q]
q0
+ . . . = B(0) B.
(10.643)
Haciendo las contracciones de Wick con la funcin de correlacin (10.640) y con las
o
o
propiedades (10.565)(10.567), de las Ecs. (10.641), (10.642) encontramos
Aint [q]
tot
q0
1
2
1
=
2
=
D
D
(, ) + D(D + 1) 2 (, ) = ,
24
(10.644)
y
AFP [q]
q0
D
2
D2
d D (, ) =
.
24
(10.645)
D(D 1)
+ ... .
24
(10.646)
Esto est en perfecto acuerdo con las Ecs. (10.494) y (10.606), ya que la curvatura
a
10.13
10.13
a
aplicable a una gran variedad de sistemas f
sicos interesantes, por ejemplo, n cleos
u
compuestos, donde el Hamiltoniano colectivo, com nmente obtenido de una desu
cripcin microscpica mediante la teor de Hartree-Fock dependiente del tiempo
o
o
a
[45], contiene parmetros de masa dependientes de las coordenadas.
a
10.13.1
1
m(q)q 2 + V (q).
(10.647)
(10.648)
d L(q, q).
(10.649)
890
h
e[Q]/ =
d q [Q]/Q}
(10.650)
dq( )
m(Q) e(1/2)(0)
d log[m(Q+q)/m(Q)]
(10.651)
(10.652)
1
d d
6
1
DA
D2A
x( ) +
x( ) x( )
d d
Q( )
2
Q( )Q( )
D3A
d
x( ) x( ) x( ) + . . . . (10.653)
Q( )Q( )Q( )
El desarrollo es del tipo dado en la Ec. (10.101), i.e., las expresiones x son uctuaciones covariantes relacionadas a las variaciones ordinarias q, de la misma manera
que las coordenadas normales x estn relacionadas a las diferencias q en el
a
desarrollo (10.98). El s
mbolo D/Q denota la derivada funcional covariante en una
dimensin. A primer orden, tenemos la derivada funcional ordinaria
o
DA[Q]
A[Q]
1
=
= V (Q) m (Q) Q2 ( ) m(Q) Q( ).
Q( )
Q( )
2
(10.654)
(10.655)
10.13
lacin libre G(, ) de las uctuaciones x( ). Las derivadas superiores denen las
o
interacciones. En la Ec. (10.652), los trminos de la serie n [Q] se encuentran a partir
e
de todos los diagramas irreducibles de vac (3.781) de una part
o
cula, formados con
el propagador G(, ) y los vrtices de la interaccin. A un lazo, la correccin a la
e
o
o
accin efectiva est dada por una integral de trayectoria armnica simple
o
a
o
(2) [Q,x]
Dx m(Q) eA
e1 [Q] =
(10.657)
1
2
d d x( )
D 2 A[Q]
x( ) .
)
Q( )Q(
(10.658)
la tr
ada (10.12) e(Q) = m(Q) asociada con la mtrica m(Q). Las uctuaciones
e
x
i
corresponden a las diferencias x en la Ec. (10.97). La derivada covariante de e(Q)
se anula DQ e(Q) = Q e(Q) (Q) e(Q) 0 [recordemos la Ec. (10.40)]. Entonces
la Ec. (10.658) se convierte en
A(2) [Q, x] =
1
2
d d ( )
x
D 2 A[Q]
( ) ,
x
) Q( )
Q(
(10.659)
donde
D 2 A[Q]
d2
D 2 A[Q]
= e1 (Q)
e1 (Q) = 2 + 2 (Q( )) ( ), (10.660)
Q( )Q( )
d
Q( ) Q( )
y
2(Q) = e1 (Q) D 2 V (Q) e1 (Q) = e1 (Q) DV (Q) e1 (Q)
1
=
[V (Q) (Q) V (Q)] .
m(Q)
(10.661)
892
d
m(Q) dQ
2 (Q) = V (Q) =
m(Q)
V (Q)
m(Q)
(10.662)
d( ) .
x
(10.663)
(10.664)
10.13.2
d V1 (Q) +
Z1 (Q) Q2 +
2
(10.665)
d ( ) +
[ 2 ( )]2
+ ... .
32 5( )
(10.666)
(D 2 )2 (Q)
Z1 (Q) =
,
32 5(Q)
(10.667)
e [Q] =
1 e
m (Q) Q2 + V e (Q) ,
2
(10.668)
H. Kleinert, PATH INTEGRALS
893
donde la mtrica pura me (Q) y el potencial V e (Q) estn relacionados con las
e
a
expresiones clsicas iniciales mediante las expresiones:
a
(D 2)2 (Q)
m (Q) = m(Q) + h
,
(10.669)
32 5(Q)
(Q)
.
(10.670)
V e (Q) = V (Q) + h
2
Para sistemas en los cuales slo la masa es independiente de Q, el resultado ha sido
o
tambin obtenido en la Ref. [48].
e
El rango de validez del desarrollo est determinado por el tiempo de escala
a
caracter
stico 1/. Para este tiempo, la part
cula tiene que moverse slo un poco.
o
e
Appendix 10A
Transformaciones de Norma No
Holonmicas en Electromagnetismo
o
Para entrar en materia, recordemos primero el tratamiento estndar en magnetismo. Puesto que
a
no existen monopolos magnticos, un campo magntico B(x) satisface la identidad B(x) = 0,
e
e
implicando que slo dos de las tres componentes de B(x) son independientes. Para dar cuenta de
o
esto, usualmente expresamos un campo magntico B(x) en trminos de un vector potencial A(x),
e
e
haciendo B(x) = A(x). La ley de Amp`re, que relaciona el campo magntico con la densidad
e
e
de corriente elctrica j(x) mediante B = 4j(x), es una ecuacin diferencial de segundo orden
e
o
para el vector potencial A(x) en trminos de la corriente elctrica
e
e
[ A(x)] = j(x).
(10A.1)
El potencial vectorial A(x) es un campo de norma. Dado A(x), cualquier campo de norma
transformado localmente
A(x) A (x) = A(x) + (x)
(10A.2)
dar el mismo campo magntico B(x). Esto reduce el n mero de grados de libertad f
a
e
u
sicos en el
campo de norma A(x) a dos, al igual que para el caso de B(x). Para hacer que esto se cumpla, la
funcin de transformacin debe ser univaluada, i.e., debe tener derivadas que conmuten
o
o
(i j j i )(x) = 0.
(10A.3)
(10A.4)
d3 x
j(x )
.
|x x |
(10A.5)
j(x ) R
,
R x x.
(10A.6)
R3
Esta representacin estndar del campo magntico no es la unica posible. Existe otra en
o
a
e
trminos de un potencial escalar (x), la cual, sin embargo, debe de ser multivaluada para tener
e
en cuenta los dos grados f
sicos de libertad del campo magntico.
e
B(x) =
d3 x
894
10A.1
Consideremos una alambre cerrado, innitesimalmente delgado, portando una corriente elctrica
e
I a lo largo de la l
nea L. Esto corresponde a una densidad de corriente
B(x) = (x; L)
(10A.7)
dx (3) (x x ).
(10A.8)
Para una l
nea cerrada L, esta funcin tiene divergencia cero:
o
(x; L) = 0.
(10A.9)
(10A.10)
A(x) = I
L
1
,
|x x |
(10A.11)
y el campo magntico
e
B(x) = I
dx R
,
R3
R x x.
(10A.12)
895
Derivemos ahora el mismo resultado a partir de un campo escalar. Sea (x; S) el ngulo slido
a
o
bajo el cual el circuito de corriente L es visto desde el punto x (ver la Fig. 10.5). Si S denota
una supercie suave arbitraria envuelta por el circuito L y dS un elemento de supercie, entonces
(x; S) se puede calcular de la integral de supercie
(x; S) =
S
dS R
.
R3
(10A.13)
(10A.14)
dSk
R k
=
R3
dSk
R k
,
R3
(10A.15)
dSk i
Rk
Rk
dSi k 3
3
R
R
+
S
dSi k
Rk
.
3
R
(10A.16)
dxl f (x),
(10A.17)
dx R
+ 4
R3
dS (3) (x x ) .
(10A.18)
Multiplicando el primer trmino por I, obtenemos de nuevo el campo magntico (10A.12) debido
e
e
a la corriente I. Del segundo trmino obtenemos el campo magntico singular de una capa dipoe
e
lar magntica innitesimalmente delgada ubicada sobre la supercie S, arbitrariamente elegida y
e
encerrada por L.
El segundo trmino es una consecuencia del hecho de que el ngulo slido (x; S) se deni
e
a
o
o
por medio de la integral de supercie (10A.13). Si x cruza la supercie S, el ngulo slido tiene
a
o
una discontinuidad de 4.
Es util reexpresar la Ec. (10A.15) en una forma ligeramente diferente. Por analog con la
a
Ec. (10A.8) denimos una funcin sobre una supercie como
o
(x; S) =
S
dS (3) (x x ),
(10A.19)
y observamos que el teorema de Stokes (10A.17), se puede escribir como una identidad para funciones :
(x; S) = (x; L),
(10A.20)
donde L es la frontera de la supercie S. Esta ecuacin muestra una vez ms la divergencia cero
o
a
de la Ec. (10A.9).
Usando la funcin dada en la Ec. (10A.19) sobre la supercie S, la Ec. (10A.15) se puede
o
reescribir como
(x; S) =
d3 x k (x ; S)
Rk
,
R3
(10A.21)
896
d3 x [ (x; S)]
R
+ 4 (x ; S) .
R3
(10A.22)
(10A.23)
donde
(x; V )
d3 x (3) (x x ),
(10A.24)
(10A.25)
(V ) =
z (x; S),
(10A.26)
y la transformacin (10A.23) producir una (x; S) en la norma axial, a ser denotada por ax (x; S).
o
a
La ecuacin (10A.25) sugiere denir un ngulo slido (x) el cual es independiente de S y
o
a
o
depende slo de la frontera L de S:
o
(x; L) (x; S) + 4 (x; S).
(10A.27)
(10A.28)
La ley de Amp`re (10A.1) implica que el ngulo slido multivaluado (x; L) satisface la ecuacin
e
a
o
o
(i j j i )(x; L) = 4ijk k (x; L).
(10A.29)
Para una discusin de esta libertad de norma, la cual es independiente de la teor electroo
a
magntica, ver la Ref. [56].
e
H. Kleinert, PATH INTEGRALS
897
x2
.
x1
(10A.30)
Usualmente la funcin arctan(x2 /x1 ) puede ser unica si cortamos el plano x desde el origen a
o
lo largo de alguna l
nea C hasta innito, preferentemente a lo largo de una l
nea recta para el
intervalo x = (, 0), y suponiendo que (x) tiene una discontinuidad de a cuando cruza el
corte. El corte corresponde a la supercie dipolar magntica S en la integral (10A.13). Contrario
e
a esto, supondremos que (x) es la continuacin anal
o
tica multivaluada de esta funcin. Entonces
o
la derivada parcial i es
i (x) = ij
(x1 )2
xj
.
+ (x2 )2
(10A.31)
Con la denicin uni-valuada de i (x), existir una funcin , ij j (C; x) a travs del corte
o
a
o
e
C, correspondiente al segundo trmino en la Ec. (10A.18). Cuando se integra el rotacional de la
e
Ec. (10A.31) a travs de la supercie s de un peque o c
e
n rculo c alrededor del origen, por el teorema
de Stokes obtenemos
d2 x(i j j i )(x) =
dxi i (x),
(10A.32)
el cual es igual a 2 en la denicin multivaluada de (x). Como en la Ec. (10A.41), este resultado
o
implica la violacin de la condicin de integrabilidad:
o
o
(1 2 2 1 )(x) = 2 (2) (x),
(10A.33)
In (2) (x xn ),
(10A.34)
(10A.35)
1
(x x )
2
(10A.36)
la cual satisface
(1 2 2 1 )G(x x ) = (2) (x x ).
(10A.37)
898
d2 x G(x, x )j(x).
(10A.38)
(10A.39)
1
2
In arctan
n
x2 x2
n
,
x1 x1
n
(10A.40)
10A.2
Despus de este primer ejercicio de funciones multivaluadas, estudiaremos otro ejemplo del mage
netismo el cual nos conducir directamente a las buscadas aplicaciones geomtricas. Observamos
a
e
anteriormente que la transformacin de norma local (10A.2) produce el mismo campo magntico
o
e
B(x) = A(x) siempre que la funcin (x) satisfaga el criterio de integrabilidad de Schwarz
o
(10A.29)
(i j j i )(x) = 0.
(10A.41)
Toda funcin (x) que viole esta condicin cambiar el campo magntico en la cantidad
o
o
a
e
Bk (x) = kij (i j j i )(x),
(10A.42)
o
A(x) = (x)
(10A.43)
899
Habiendo aprendido como tratar las funciones multivaluadas, podemos cambiar nuestra actitud
hacia las transformaciones de norma y decidir generar todos los campos magnticos, aproximadae
mente, en un espacio libre de campos, por medio de tales transformaciones de norma impropias
(x). Escogiendo por ejemplo
(x) = (x; L),
(10A.44)
(10A.45)
Este es un campo magntico con ujo total dentro de un tubo innitesimal. Por medio de
e
una superposicin de tales tubos de ujo innitesimalmente delgados, anlogos a la Ec. (10A.38),
o
a
podemos generar una aproximacin discreta para cualquier campo magntico deseado en un espacio
o
e
libre de campos.
10A.3
Monopolos Magnticos
e
Los campos multivaluados tambin se han usado para describir mopolos magnticos [10, 13, 14].
e
e
Una densidad de carga monopolar m (x) es la fuente necesaria para denir un campo magntico
e
B(x), de acuerdo con la ecuacin
o
B(x) = 4m (x).
(10A.46)
Si B(x) se expresa en trminos de un potencial vectorial A(x) como B(x) = A(x), la ecuacin
e
o
(10A.46) implica la no conmutatividad de las derivadas del potencial vectorial A(x):
1
ijk (i j j i )Ak (x) = 4m (x).
2
(10A.47)
As A(x) debe ser multivaluada. Dirac en su famosa teor de monopolos [16], convirti el campo en
a
o
uni-valuado jando a la l
nea universo de la part
cula una discontinuidad de la supercie universo,
cuya interseccin con un plano coordenado en un tiempo jo forma la cuerda de Dirac, a lo largo
o
de la cual el campo magntico del monopolo es tra desde innito. Esta supercie universo se
e
do
puede hacer f
sicamente irrelevante, cuantizandola apropiadamente con respecto a la carga. Su
forma en el espacio es tan irrelevante, como la discontinuidad de la supercie S en la Fig. 10.5.
La invariancia bajo deformaciones de la forma constituyen una vez ms una estructura de segunda
a
norma, del tipo mencionado antes y discutido en las Refs. [2, 6, 7, 10, 12].
Una vez que nos permitimos trabajar con campos multivaluados, podemos fcilmente ir ms
a
a
alla y expresar tambin el potencial A(x) como el gradiente de un campo escalar, como en en la
e
Ec. (10A.43). La condicin se convierte en
o
ijk i j k (x) = 4m (x).
(10A.48)
(10A.49)
o
donde (x; L ) es la versin de extremo abierto de la Ec. (10A.8)
0
(x; L0 ) =
L ,x0
0
d3 x (3) (x x ).
(10A.50)
900
(10A.51)
Esto se sigue de la Ec. (10A.10) moviendo el punto nal a innito. Por analog con la relacin
a
o
del rotacional de la Ec. (10A.20), observamos una invariancia adicional de norma. Si deformamos
la l
nea L, en el punto inicial jo x, la funcin (10A.50) cambia como sigue:
o
(x; L ) (x; L ) = (x; L ) + (x; S),
0
0
0
(10A.52)
d3 x
(x ; L )
0
=g
R
d3 x (x ; L )
0
R
.
R3
(10A.53)
d3 x
[ (x ; L )]
0
,
R
(10A.54)
d3 x
[ (x ; L )]
0
+g
R
d3 x
2 (x ; L )
0
.
R
(10A.55)
Despus de una integracin por partes, y usando la Ec. (10A.51), el primer trmino es independiente
e
o
e
de L0 y resulta ser
g
d3 x (3) (x x0 )
x x0
1
=g
.
R
|x x0 |3
(10A.56)
(10A.57)
e
magntico del monopolo
e
B(x) = A(x; L ) + 4g (x; L ).
0
0
(10A.58)
Este campo es idependiente de la cuerda L . Depende solamente del punto fuente x0 y satisface
0
la relacin B(x) = 4g (3) (x x0 ).
o
Calculemos el potencial vectorial para algunas elecciones sencillas de x0 y L , por ejemplo
0
x0 = 0 y L a lo largo del eje positivo z, de tal manera que (x; L ) se convierte en z (z)(x)(y),
0
0
dz
zx
x2 + y 2 + (z z)2
x
(y, x, 0)
z
=g
.
= g
r(r z)
r(r z)
0
3/2
(10A.59)
901
dz
zx
x2 + y 2 + (z z)2
x
(y, x, 0)
z
= g
.
=g
r(r + z)
r(r + z)
3/2
(10A.60)
g
g
(1 cos ) or A(g) (x; L ) =
(1 + cos ),
0
r sin
r sin
(10A.61)
respectivamente.
El perl de la l
nea L se puede llevar a una forma estndar, la cual corresponde a jar una
a
0
norma del campo (x; L ). Por ejemplo, siempre podemos escoger que L vaya de x0 hacia la
0
0
direccin z.
o
Tambin exite aqu una formulacin equivalente en trminos de un campo A multivaluado con
e
o
e
innitas supercies de Riemann alrededor de la l
nea L. Para una discusin detallada de la f
o
sica
de campos multivaluados ver las Refs. [2, 6, 7, 10, 12].
Una observacin interesante es la siguiente: si la funcin de norma (x) se considera como
o
o
un desplazamiento no holonmico en alguna dimensin cticia de un cristal, entonces el campo
o
o
magntico de un circuito de corriente que de lugar a derivadas no conmutativas (i j j i )(x) =
e
0 es el anlogo de una dislocacin [comparar con la Ec. (10.23)], y por ende implica torsin
a
o
o
en el cristal. Por otra parte, un monopolo magntico surge de las derivadas no conmutativas
e
(i j j i )k (x) = 0 en la Ec. (10A.48). Esto corresponde a una disclinacin [ver la Ec. (10.57)]
o
e implica curvatura. Los defectos en la descripcin multivaluada del magnetismo son por lo tanto
o
similares a los de un cristal donde se pueden observar ms fcilmente las dislocaciones en coma a
paracin con las disclinaciones. Estos defectos son opuestos a los de la relatividad general los cuales
o
estn gobernados solamente por la curvatura, sin evidencia hasta ahora de torsin [11].
a
o
10A.4
Acoplamiento Magntico M
e
nimo de Part
culas en
Transformaciones Multivaluadas de Norma
M 2
x .
2
(10A.62)
L L = L + (x) x,
ya que estas cambian la accin A =
o
tb
ta
(10A.63)
A A = A + (xb ) (xa ).
(10A.64)
El carcter invariante estar ausente si suponemos que (x) es una funcin de norma multivaluada.
a
a
o
En este caso, un potencial vectorial no trivial A(x) = (x) (donde uilizamos unidades naturales
con e = 1) se crea en un espacio libre de campo, y la Lagrangiana producto de una transformacin
o
de norma no holonmica correspondiente a la Ec. (10A.63),
o
L =
M 2
x + A(x) x,
2
(10A.65)
902
(10A.66)
puesto que estas transformaciones de norma slo agregan a la Lagrangiana (10A.65) el mismo
o
trmino de derivada total por el cual la accin cambia en un trmino de supercie irrelevante,
e
o
e
como en la Ec. (10A.64).
En mecnica cuntica, el mismo procedimiento conduce al acoplamiento m
a
a
nimo del campo de
Schrdinger (x). La accin es A = dtd3 x L, donde la densidad Lagrangiana es (en unidades
o
o
naturales con h = 1)
L = (x) it +
1
2 (x).
2M
(10A.67)
La f
sica descrita por una funcin de onda de Schrdinger (x) es invariante bajo cambios arbio
o
trarios locales de fase
(x, t) (x) = ei(x) (x, t),
(10A.68)
llamados transformaciones locales U(1). Esto implica que la densidad Lagrangiana (10A.67) puede
igualmente ser reemplazada por una densidad de norma transformada
L = (x, t) it +
1
D2 (x, t),
2M
(10A.69)
P = iD = i A(x),
(10A.70)
(10A.71)
As D(x, t) se transforma igual que la propia (x, t), y por esta razn, D es llamada la derivada
o
covariante de norma. La generacin de los campos magnticos por una transformacin de norma
o
e
o
multivaluada es el ejemplo ms sencillo del poder del principio de la transformacin no holonmica.
a
o
o
Despus de esta discusin es muy sugerente introducir la misma matemtica en la geometr
e
o
a
a
diferencial, donde el papel de las transformaciones de norma lo efect a la reparametrizacin de las
u
o
coordenadas espaciales. Esto es precisamente lo que se hace en la Subseccin (10.2.2).
o
10A.5
En las subsecciones previas hemos dado ejemplos del uso de campos multivaluados en la descripcin
o
de fenmenos magnticos. Las transformaciones de norma no holonmicas, por medio de las cuales
o
e
o
H. Kleinert, PATH INTEGRALS
903
creamos conguraciones de campos tipo lamental no nulos, mostraron ser el origen natural del
acoplamiento m
nimo en la accin clsica as como tambin en la ecuacin de Schrdinger. Es
o
a
e
o
o
interesante observar que existe una teor alternativa para el magnetismo en trminos de estos
a
e
campos multivaluados (la cual es fcilmente generalizable al electromagnetismo), donde tenemos
a
que manejar apropiadamente la libertad de escoger las supercies de la discontinuidad S, cuya
frontera representa f
sicamente el circuito de corriente en la Ec. (10A.12).
Para entender esto nos concentramos en el problema de construir un formalismo de accin para
o
calcular la energ magntica de un circuito de corriente en la representacin gradiente del campo
a
e
o
magntico. En esta teor de campo Euclideana, la accin es la energ de campo:
e
a
o
a
E=
1
8
d3 x B2 (x).
(10A.72)
Sustituyendo la representacin gradiente (10A.28) del campo magntico, podemos escribir esta
o
e
energ como
a
E=
I2
8
d3 x [(x)]2 .
(10A.73)
Esta expresin se cumple para el ngulo slido multivaluado (x), el cual es independiente de S.
o
a
o
Ahora, para efectuar los clculos teor
a
cos de campo, debemos utilizar la representacin univaluada
o
(10A.25), de tal forma que
E=
I2
8
(10A.74)
d3 x
I
1 2
B (x)
B(x) [(x; S) + 4 (x; S)] .
8
4
(10A.75)
I
B(x) (x; S).
4
Extremizando esta expresin con respecto a (x), nos permite hallar la ecuacin
o
o
B(x) = 0,
(10A.76)
(10A.77)
d3 x
1
[ A(x)]2 I [ A(x)] (x; S) .
8
(10A.78)
d3 x
1
[ A(x)]2 I A(x) [ (x; S)] ,
8
(10A.79)
904
(10A.80)
donde hemos usado el teorema de Stokes (10A.20). De acuerdo a la Ec. (10A.9), esta corriente se
conserva para circuitos cerrados L.
Extremizando la accin (10A.78), obtenemos la ley de Amp`re (10A.1). As las cantidades
o
e
,
auxiliares B(x), A(x) y j(x) coinciden con las magnitudes magnticas usuales, y tienen el mismo
e
nombre. Si sustituimos la solucin (10A.5) de la ley de Amp`re en la energ obtenemos la energ
o
e
a,
a
de Biot-Savart para una distribucin arbitraria de corriente
o
E=
1
2
d3 x d3 x j(x)
1
j(x ).
|x x |
(10A.81)
Ntese que la accin (10A.78) es invariante bajo dos transformaciones de norma mutuamente
o
o
duales, la norma magntica de la Ec. (10A.2), donde el potencial vectorial admite el gradiente
e
de un campo escalar arbitrario, y la transformacin de norma (10A.23), por la cual la supercie
o
irrelevante S se mueve a otra conguracin S .
o
As hemos probado la equivalencia completa entre la representacin gradiente del campo
,
o
magntico y la representacin usual de campos de norma. En la representacin gradiente, existe
e
o
o
un nuevo tipo de invariancia de norma la cual expresa la irrelevancia f
sica de la discontinuidad de
la supercie que aparece cuando usamos ngulos slidos uni-valuados.
a
o
La accin (10A.79) describe el magntismo en trminos de una teora de norma doble [8], en la
o
e
e
cual tanto la norma de A(x) y la forma de S se pueden cambiar arbitrariamente. Construyendo una
funcin de particin gran cannica de muchas supercies uctuantes es posible describir una gran
o
o
o
cantidad de transiciones de fase mediadas por la proliferacin de defectos lamentales. Ejemplos
o
de esto son las l
neas de vrtices en la transicin normalsuperuido del helio y las l
o
o
neas de
dislocacin y disclinacin en la transicin de la mezcla de cristales [2, 6, 7, 10, 12].
o
o
o
Veamos ahora el clculo anlogo para un gas de monopolos en xn , a partir de la energ
a
a
a
magntica formada con el campo (10A.58):
e
1
E=
8
(x; L )
n
d x A + 4g
(10A.82)
Como en la Ec. (10A.75) introducimos un campo magntico auxiliar y reescribimos la Ec. (10A.82)
e
como
E=
d3 x
1 2
1
B (x)
B(x) A + g
8
4
(x; L )
n
(10A.83)
o
B = , y obtenemos
E=
d3 x
1
[(x)]2 + g(x)
8
(x; L ) .
n
(10A.84)
4g
2
(x xn ) = g
1
,
|x xn |
(10A.85)
g2
2
n,n
1
.
|xn xn |
(10A.86)
Appendix 10B
905
Las tetradas estndares o campos vierbein fueron introducidas hace bastante tiempo en teor
a
as
gravitacionales de part
culas rotatorias, tanto en espacios-tiempo puramente Riemannianos [16],
como tambin en espacios-tiempo de Riemann-Cartan [17, 18, 19, 20, 2]. Su matemtica est
e
a
a
descrita en detalle en la literatura [21]. Su propsito fue denir en cada punto un marco local de
o
Lorentz por medio de otro conjunto de coordenadas diferenciales
dx = h (q)dq ,
= 0, 1, 2, 3,
(10B.1)
el cual se puede contraer con las matrices de Dirac , para obtener magnitudes de Lorentz
localmente invariantes. Los marcos de referencia locales de Lorentz se obtienen requiriendo que la
mtrica inducida en estas coordenadas sea de Minkowski:
e
g = h (q)h (q)g (q) = ,
(10B.2)
donde es la mtrica del espacio plano de Minkowski (10.30). Igual que ei (q) en la Ec. (10.12),
e
estos vierbeins poseen rec
procos
h (q) g (q)h (q),
(10B.3)
h h = .
(10B.4)
Estas tetradas tambin se puede multiplicar unas con otras, como en la Ec. (10.14), para dar la
e
mtrica
e
g (q) = h (q)h (q) .
(10B.5)
z
e
o
ces
cuadradas es una transformacin lineal
o
ea (q) = ea (q)h (q),
(10B.6)
(10B.7)
ya que esta matriz conecta entre si las dos mtricas de Minkowski (10.30) y (10B.2):
e
ab a (q)b (q) = .
(10B.8)
Las diferentes transformaciones locales de Lorentz nos permiten escoger diferentes marcos locales
de Lorentz, los cuales distinguen campos con esp denido por representaciones irreducibles de
n
estas transformaciones. Las consecuencias f
sicas de la teor deben de ser independientes de esta
a
eleccin local, y esta es la razn de porque la presencia de campos de esp requieren la existencia
o
o
n
de una libertad de norma adicional bajo transformaciones locales de Lorentz, adicionalmente a
la invariancia de Einstein bajo transformaciones generales de coordenadas. Ya que lo anterior se
puede ver como translaciones locales, la teor de part
a
culas con esp es un invariante local de
n
Poincar.
e
u
Los campos vierbein h (q) y los campos vistos anteriormente tienen en com n el hecho de que
ambos violan la condicin de integrabilidad dada en la Ec. (10.22), describiendo as coordenadas
o
no holonmicas dx para las cuales existe slo una relacin diferencial (10B.1) con las coordenadas
o
o
o
906
f
sicas q . Sin embargo, estos campos dieren de nuestras tetradas multivaluadas ea (q) al ser
campos uni-valuados que satisfacen la condicin de integrabilidad
o
( )h (q) = 0,
(10B.9)
(q) =
1
h (q)h (q) h (q) h (q) .
2
(10B.10)
(10B.11)
= h h h (K K ),
(10B.12)
la cual es necesaria para formar una derivada covariante de los vectores locales
v (q) = v (q)h (q),
(10B.13)
(10B.14)
Para detalles, ver las Refs. [2, 6]. A pesar de la similitud entre las ecuaciones (10.24) y (10B.10), el
h
Appendix 10C
Existe una forma sencilla de probar la cancelacin de todas las divergencias UV (0). Consideremos
o
una part
cula libre cuya masa depende del tiempo y que tiene la accin
o
Atot [q] =
d
0
1
1
Z( )q 2 ( ) (0) log Z( ) ,
2
2
(10C.1)
907
e
es la forma ms simple, y no trivial, de la accin Jacobiana visto en la Ec. (10.408). Puesto que es
a
o
independiente de q, es conveniente extraerlo de la integral de trayectoria como un factor
J =e
(1/2)(0)
d log Z( )
(10C.2)
Separamos la accin como la suma de una parte libre y una parte de interaccin
o
o
A(0) =
d
0
1 2
q ( ),
Aint =
d
0
1
[Z( ) 1] q 2 ( ),
(10C.3)
y calculamos la amplitud de transicin (10.411) como una suma de todos los diagramas conectados
o
en el desarrollo de cumulantes
(0)
(0)
1
(0 |0 0) = J
Dq( )eA [q]Aint [q] = J
Dq( )eA [q] 1 Aint + A2 . . .
2 int
1
= (2)1/2 J 1 Aint +
A2 . . .
int
2
=
(2)1/2 J e
Aint
1
c+ 2
A2
int
...
(10C.4)
Ahora, mostraremos que la serie innita, en potencias de (0), que aparece en la serie de Taylor del
exponencial (10C.2), es compensada por la suma de todos los trminos en el desarrollo perturbativo
e
(10C.4). Estando interesados solamente en estos trminos singulares, podemos extender el intervalo
e
a todo el eje temporal. Entonces de la Ec. (10.394) obtenemos el propagador (, ) = ( ),
y encontramos el trmino a primer orden de la serie
e
Aint
1
1
[Z( ) 1] (, ) = (0)
2
2
d [1 Z( )].
(10C.5)
o
A2
int
1
1
d1 d2 (Z 1)1 (Z 1)2 2 (1 , 2 ) (2 , 1 )
2
2
1
1
dd x1 dd x2 (Z 1)1 (Z 1)2 2 (x1 , x2 ) (x2 , x1 )
2
2
1
1
dd x1 dd x2 (Z 1)1 (Z 1)2 2 (x2 , x1 ) (x1 , x2 ) ,
2
2
(10C.6)
la ultima l
nea se obtiene por medio de integraciones por partes. Por conveniencia, hemos abreviado
[Z(i ) 1] por (Z 1)i . Usando la ecuacin de campo (10.418) y regresando a una dimensin, con
o
o
la abreviacin adicional (Z 1)i zi , obtenemos:
o
A2
int
1
2
d1 d2 z1 z2 2 (1 , 2 ).
(10C.7)
908
1 1 1
d1 d2 d3 z1 z2 z3 8 (1 , 2 ) (2 , 3 ) (3 , 1 )
2 2 2
1 1 1
dd x1 dd x2 dd x3 z1 z2 z3 8 (x1 , x2 ) (x2 , x3 ) (x3 , x1 )
2 2 2
1 1 1
dd x1 dd x2 dd x3 z1 z2 z3 8 (x3 , x1 ) (x1 , x2 ) (x2 , x3 ).
2 2 2
(10C.8)
Aplicando otra vez la ecuacin de campo (10.418) y regresando a una dimensin, esto se reduce a
o
o
A3
int
d1 d2 d3 z1 z2 z3 (1 , 2 ) (2 , 3 ) (3 , 1 ).
(10C.9)
Continuando a orden n y substituyendo las Ecs. (10C.5), (10C.7), (10C.9), etc., en la Ec. (10C.4),
obtenemos en el exponente de esta ecuacin la suma
o
Aint
c+
1
A2
int
2
1
A3
int
3!
+ ... =
c
1
2
(1)n
1
cn
,
n
(10C.10)
donde
cn =
(10C.11)
y adems
a
C(, ) = [Z( ) 1] (, ).
(10C.12)
d [Z( ) 1]n .
(10C.13)
c +
1
A3
int
3!
+ ...
c
1
(0)
2
Aint
1
(0)
2
(1)n
d
1
[Z( ) 1]n
n
d log Z( ),
(10C.14)
909
[2] H. Kleinert, Gauge Fields in Condensed Matter, Vol. II, Stresses and Defects, World Scientic, Singapore, 1989 (ibid.http/b2).
[3] P. Fiziev y H. Kleinert, Berlin preprint 1995 (hep-th/9503075).
[4] H. Kleinert y A. Pelster, Gen. Rel. Grav. 31, 1439 (1999) (gr-qc/9605028).
[5] H. Kleinert, Phys. Lett. B 236, 315 (1990) (ibid.http/202).
[6] H. Kleinert, Nonholonomic Mapping Principle for Classical y Quantum Mechanics in Spaces
with Curvature y Torsion, Gen. Rel. Grav. 32, 769 (2000) (ibid.http/258); Act. Phys. Pol.
B 29, 1033 (1998) (gr-qc/9801003).
[7] H. Kleinert, Theory of Fluctuating Nonholonomic Fields and Applications: Statistical Mechanics of Vortices and Defects and New Physical Laws in Spaces with Curvature and Torsion, in: Proceedings of NATO Advanced Study Institute on Formation and Interaction of
Topological Defects, Plenum Press, New York, 1995, S. 201232.
[8] H. Kleinert, Double Gauge Theory of Stresses and Defects, Phys. Lett. A 97, 51 (1983)
(ibid.http/107).
[9] La teor de funciones multivaluadas, desarrollada en detalle en el texto [12], fue hasta 1991
a
tan poco familiar que sorprendentemente la prestigiada Physical Review Letters acept un
o
comentario sobre la Ec. (10A.33) por
910
911
912