Notas Agujeros Negros Cuanticos 2014-II

AGUJEROS NEGROS CUANTICOS
Notas de Clase
Jos
e Robel Arenas Salazar
UNIVERSIDAD NACIONAL DE COLOMBIA

FACULTAD DE CIENCIAS
OBSERVATORIO ASTRONOMICO
NACIONAL
Bogot
a, 2014
Indice general
PREFACIO
III
GENERALIDADES INTRODUCTORIAS
1. INTRODUCCION
2. LA
2.1.
2.2.
2.3.
2.4.
2.5.
2.6.
2.7.
METRICA
GRAVEDAD COMO UNA MANIFESTACION

Postulado de imposibilidad . . . . . . . . . . . . . . . . . . . . . . .
Ecuaciones de las lneas geodesicas . . . . . . . . . . . . . . . . . . .
Aproximaci
on de campo debil . . . . . . . . . . . . . . . . . . . . . .
Ecuaciones de campo de Einstein en el vaco . . . . . . . . . . . . . .
Soluci
on de Schwarzschild . . . . . . . . . . . . . . . . . . . . . . . .
Escalar de Kretschmann . . . . . . . . . . . . . . . . . . . . . . . . .
Coordenadas de Kruskal . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
4
4
5
6
7
8
8
9
SOBRE LAS VARIEDADES RIEMANNIANAS

3. CUANTIZACION
3.1. Cuantizaci
on Can
onica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Cuantizaci
on Can
onica en Campos Externos . . . . . . . . . . . . . . . . . . . . . .
13
13
16
4. DINAMICA
DE CAMPOS TERMICOS
4.1. Campos cu
anticos como osciladores armonicos . . .
4.2. Sentido fsico de la din
amica de campos termicos .
4.3. Formalismo de la din
amica de campos termicos . .
4.4. Modelo de osciladores dobles para agujeros negros
4.4.1. Matriz densidad termica reducida . . . . . .
19
19
20
21
22
24
II
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
AGUJEROS NEGROS TERMICOS
5. TERMODINAMICA
DE AGUJEROS
5.1. Agujeros Negros Cl
asicos . . . . . . .
5.2. Agujeros Negros Cu
anticos . . . . . .
5.2.1. Efecto Hawking . . . . . . . . .
5.2.2. Efecto Unruh . . . . . . . . . .
NEGROS
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
28
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
31
33
34
INDICE GENERAL
6. ESTADOS DE VAC
IO
6.1. Estado de Boulware | 0 iB
6.2. Agujero Negro Eterno . .
6.3. Estado de Hartle-Hawking
6.4. Estado de Unruh | 0 iU . .
ii
. . .
. . .
| 0 iH
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
38
38
39
39
EUCLIDIANA DE GIBBONS-HAWKING
7. APROXIMACION
41
8. MODELO DE LA PARED DE t Hooft
47
III
ENTROPIA DE ENTANGLEMENT DE AGUJEROS NEGROS 53
9. ENTROP
IA DE ENTANGLEMENT
9.1. Definici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.2. Entropa proporcional al area . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
54
55
10.TERMODINAMICA
DE ENTANGLEMENT
10.1. Formulaci
on cl
asica . . . . . . . . . . . . . . . .
10.2. Formulaci
on cu
antica . . . . . . . . . . . . . . .
10.3. Entropa termica de Entanglement . . . . . . .
56
56
64
71
IV
DE AGUJEROS
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
NEGROS
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
EFECTO UNRUH
85
TERMICO
11.BANO
DE FULLING-DAVIES-UNRUH
11.1. Aproximaci
on Euclidiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.1.1. Entropa de Rindler SR a partir de la accion Euclidiana G-H a 0-loop:
11.2. Aproximaci
on de Entanglement . . . . . . . . . . . . . . . . . . . . . . . . . .
11.3. Consideraciones Formales . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11.3.1. Efectos termicos de horizontes de Killing . . . . . . . . . . . . . . . . .
11.3.2. Efecto Unruh en variedades curvas . . . . . . . . . . . . . . . . . . . .
11.3.3. Detectores de partculas . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
APENDICE
12.MODOS DE FRECUENCIA POSITIVA

12.1. Definici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12.2. Extensi
on a una funci
on analtica . . . . . . . . . . . . . . . . . .
12.3. Aplicaci
on al background geometrico de Agujero Negro extendido
12.4. Relaciones u
tiles . . . . . . . . . . . . . . . . . . . . . . . . . . .
Referencias
86
86
87
87
94
95
96
96
99
. . . . . . . . .
. . . . . . . . .
maximalmente
. . . . . . . . .
.
.
.
.
100
100
100
101
102
103
PREFACIO
Agujeros Negros Cu
anticos es un curso introductorio a los efectos cuanticos asociados a los agujeros
negros en el marco de la teora de campos cuanticos sobre variedades curvas, con el objetivo principal de aproximarse a una explicaci
on de la naturaleza fsica de la entropa Bekenstein-Hawking SBH
con base en la noci
on de entropa de entanglementy la fsica del vaco derivada en el formalismo
de la teora de campos.
La teora de campos cu
anticos sobre espacios-tiempo curvos puede entenderse como una aproximaci
on, a
un inaccesible, a una teora de la gravedad cuantica. Tambien puede entenderse, el caso
de este curso, como una descripci
on semiclasica de la Relatividad General.
La importancia de SBH est
a en su sentido termodinamico que establece un profundo, misterioso y
hasta ahora, desconocido puente entre la Teora General de la Relatividad y la Mecanica Cuantica.
Para alg
unos esta entropa est
a relacionada con un n
umero de estados microscopicos que podran
aportar una aproximaci
on a los fundamentos de la gravedad cuantica. Para otros, la comprensi
on
de su naturaleza indicara que la gravedad es intrnsecamente clasica y que no habra necesidad de
una teora cu
antica de la gravedad.
Hasta el da de hoy son muchas y variadas las derivaciones de la entropa Bekenstein-Hawking.
Entre estas, la calculada en el contexto de la teora de cuerdas, para agujeros negros extremales y
cercanamente extremales, es una de las de mas impacto. Sin embargo, no describe la localizaci
on
de los grados de libertad microsc
opicos con respecto al horizonte fsico de los agujeros negros.
Complementariamente la entropa de entanglementde agujeros negros describe estos grados de
libertad muy cercanos a los horizontes de eventos.
En los u
ltimos a
nos se ha investigado la entropa de los agujeros negros en dos direcciones principales, considerando que para tal efecto no es necesario conocer detalles de la gravedad cuantica.
Una de ellas se fundamenta en la asuncion que simetras clasicas sobre el background del agujero
negro pueden controlar la densidad de estados en gravedad cuantica y en esta forma derivar la
entropa de un agujero negro. La otra direccion sugiere que el origen de SBH esta relacionada con
las propiedades de la fsica del vaco en la presencia de un campo gravitacional fuerte, donde un
observador est
atico cerca al horizonte de eventos percibe el vaco como un estado mezclado porque
las fluctuaciones de vaco observables estan correlacionadas o entangladasen el horizonte. Justamente en este u
ltimo sentido se desarrollara el curso.
Este curso mnimo exige conocimientos en Mecanica Cuantica y Relatividad Especial. El desarrollo del curso requerira como fundamentacion previa: Teora Cuantica de Campos y Relatividad
iii
PREFACIO
iv
General con aplicaciones a los agujeros negros clasicos. Mas a fondo, el ideal sera que el lector
estuviese familiarizado con la Teora de Campos sobre Variedades Curvas y Teora de Campos a
Temperatura Finita. Sin embargo, para este curso introductorio se estructuro la tematica en terminos de osciladores arm
onicos cu
anticos para ensambles bosonicos y campos escalares, asociados a
agujeros negros de Schwarzschild fundamentalmente, de tal forma que en terminos efectivos este
es un curso autocontenido.
Con base en el teorema del no pelo de Israel y la Dinamica de Campos Termicos de Umezawa
y Takahashi se justifica de primeros principios la necesidad fundamental de considerar las soluciones de campo de Einstein en el vaco para comprender el caracter termico de los estados de
vaco cerca del horizonte de eventos. En ese escenario fsico se configura una unidad fundamental del espacio-tiempo, conformada por el horizonte de eventos y una singularidad interior, que
paradigm
aticamente no debe existir. De la comprension de la fsica de horizonte emergente all,
depende el significado fsico de la entropa Bekenstein-Hawking, la naturaleza del efecto Hawking
y la soluci
on de todas las paradojas e inconsistencias recientemente encontradas en la fsica gravitacional cuando se trata de salvar la unitariedad de la mecanica cuantica.
Los agujeros negros cu
anticos podran ser las manifestaciones de la materia en el programa de
investigaci
on de unificaci
on de campos que incipientemente desarrollo Einstein, consistentes con la
fsica del colapso gravitacional iniciada por Oppenheimer y Sneider, donde lo observable de una
estrella congelada o un agujero negro es la vecindad del horizonte de eventos, dependiente de los
observadores externos.
Parte I
GENERALIDADES
INTRODUCTORIAS
Captulo 1
INTRODUCCION
La sugestiva similitud formal entre la dinamica de los agujeros negros y la termodinamica, donde
la gravedad superficial k corresponde a la temperatura y el area del horizonte A a la entropa,
despues del descubrimiento de la radiacion Hawking, se transformo en una descripcion termica de
estos objetos. Adem
as, desde la formulacion de la segunda ley generalizada de la termodinamica,
se considera que la entropa Bekenstein-Hawking SBH es una genuina entropa termica.
Se han hecho diferentes investigaciones para establecer la fundamentacion de la entropa SBH . En
otras palabras, igual que la termodinamica usual tiene una descripcion microscopica bien establecida, se espera que la entropa asociada a los agujeros negros este relacionada con un n
umero
de estados microsc
opicos. Los primeros intentos de una explicacion microscopica de la entropa
Bekenstein-Hawking surgieron de dos criterios diferentes, uno de origen topologico-euclidiano propuesto por Gibbons y Hawking y el otro derivado de un ambiente termico con base en el modelo
de la pared de t Hooft.
A la fecha son muchas y variadas las derivaciones de la entropa Bekenstein-Hawking. Entre los m
as
fuertes candidatos a consolidar una explicacion microscopica de SBH estan las teoras de cuerdas,
con la dificultad de la fuerte dependencia de los detalles de la teora y lo poco que dicen acerca
de la segunda ley generalizada de la termodinamica. Por otra parte, Hawking ha encontrado que
la aproximaci
on de cuerdas y D-branes no describen backgrounds con horizontes y topologas no
triviales, donde las D-branes deben deformar el espacio-tiempo, cambiando la estructura causal.
Quiz
a la m
as promisoria y apropiada formulacion es la que identifica SBH con la Entropa de Entanglement, asociada con modos y correlaciones ocultos de observadores externos cuando est
an
presentes horizontes de eventos.
La investigaci
on del origen mec
anico-cuantico estadstico de SBH desde el punto de vista de la aproximaci
on de entanglement ha tenido cuatro formulaciones seminales: (1) La Dinamica de Campos
Termicos de Agujeros Negros, (2) SBH como Entropa de Entanglement seg
un el modelo de Bombelli et al.(modelo BKLS), (3) El origen Dinamico de la Entropa de Agujeros Negros y (4) Las
aproximaciones de Entanglement Euclidianas y Formales. De las cuales, (1) y (3) son apropiadas
para describir la entropa termica de entanglement de agujeros negros, (2) no conduce a una matriz densidad termica de entanglement y (4) que en algunos casos lucen como aproximaciones de
entanglement, pero realmente son aproximaciones ligeramente euclidianas no convencionales.

CAPITULO 1. INTRODUCCION
Aunque la aproximaci
on de Gibbons-Hawking ha probado ser u
til para calcular la entropa de
agujeros negros en situaciones novedosas, esta en s misma no aporta una explicacion del origen
din
amico de SBH . Adem
as, esperando que mas alla del nivel de arbol se manifiesten los aspectos
estadsticos de la entropa, se adopto la entropa de entanglement, con la publicacion del modelo
BKLS. Por otra parte, para investigar si esta nueva propuesta tena significado fsico, mas all
a de
la descripci
on alentadora de una entropa proporcional al area, S. Mukohyama et. al. investigaron
la estructura completa de la termodinamica de entanglement, puesto que esta entropa termica
adquiere significado fsico u
nicamente en relacion a la energa y temperatura del sistema. Sin embargo, ellos terminaron formulando dos clases de termodinamicas de agujeros negros, por no poder
definir de manera u
nica la energa de entanglement. Cualquier intento por formular una entropa
termica de entanglement con base en el modelo BKLS, conduce a inconsistencias y ambiguedades.
En parte por las dificultades de la teora de cuerdas consideradas arriba y por las inconsistencias
de la entropa de entanglement, se presentan estas notas acerca de los agujeros negros cuanticos,
con el fin de formar investigadores en este campo de la fsica teorica, con una propuesta clara que
pretende precisar conceptos y establecer rigurosamente la fsica que soporta toda esta estructura
te
orica, que usualmente aparece confusa y contradictoria. Basicamente el objetivo principal de este
texto consiste en formular una termodinamica de entanglement de agujeros negros de caracter
termico realmente, y que resuelva algunas de las dificultades mencionadas. La propuesta del texto
tiene la justificaci
on en un trabajo de investigacion que se ha venido realizando en el Observatorio
Astron
omico Nacional de la Universidad Nacional de Colombia en colaboracion con Werner Israel
de la Universidad de Victoria en Canada.
El texto est
a estructurado de la siguiente forma: para los lectores que no esten familiarizados con la
Teora General de la Relatividad ni con la Teora de Campos Cuanticos, se incluyeron los capttulos
dos, tres y cuatro en terminos de la metrica de Schwarzschild y osciladores armonicos.
Los captulos cinco y seis contienen los conocimientos basicos de la fsica de agujeros negros necesarios para el desarrollo de la tematica del texto. La aproximacion euclidiana y el modelo de la
pared de t Hooft introducidos en los captulos siete y ocho son fundamentales para comprender
los modelos m
as cercanos a la fsica y menos comprometidos con la especulacion matematica.
La parte III es el contenido principal de las notas acerca de los efectos cuanticos asociados a los
agujeros negros en la im
agen termica de la entropa de entanglement. El efecto Unruh se incluy
o en
el capttulo once porque es un test obligado para la fsica de agujeros negros y el primer paso de
generalizaci
on de una fsica emergente con implicaciones observacionales.
Por simplicidad, los c
alculos presentados en este trabajo se hicieron con base en un campo escalar
real. Salvo en algunas expresiones particulares, en general, se supuso que la constante gravitacional
G, la velocidad de la luz c, la constante de Planck h dividida por 2 y la constante de Boltzmann
KB satisfacen G = c = ~ = KB = 1. Con excepcion de la seccion 11.3, donde se uso la notaci
on
abstracta, las ecuaciones tensoriales estan escritas en terminos de sus componentes.
Captulo 2
LA GRAVEDAD COMO UNA

METRICA
MANIFESTACION
2.1.
Postulado de imposibilidad
La restricci
on de la teora especial de la relatividad a los sistemas de referencia inerciales y la concepci
on antirelativista de la acci
on a distancia de la teora de la gravitacion universal de Newton
llevaron a Einstein a formular una teora general de la relatividad. Esta generalizacion, en cuanto a
la naturaleza de los campos gravitacionales relativistas, preliminarmente se puede construir sobre
la base de un postulado de imposibilidad, fundamentado en la formulacion intuitiva no formal del
Principio de Equivalencia Debil: ning
un experimento mecanico con partculas libres al interior de
un peque
no laboratorio en cada libre hacia una masa, puede manifestar diferencia alguna con
respecto al mismo experimento en otro laboratorio equivalente, uniformemente acelerado, situado
en el espacio vaco alejado de toda masa.
Si al interior del primer laboratorio se colocan dos masas libres, separadas ligeramente, a la misma
altura con respecto al piso del laboratorio, despues de cierto tiempo se notara que las masas se han
estado acercando una a la otra, sin considerar la atraccion gravitacional mutua entre sus masas.
Observaci
on que no registra un observador en el segundo laboratorio. Asumiendo la validez del
postulado de imposibilidad, es necesario introducir en el segundo laboratorio un efecto que evite
las diferencias observables entre los dos experimentos.
Para evitar tal diferencia observacional se recurre a la denominada paradoja de Ehrenfest, que
intuitivamente muestra que el
area del crculo de un disco rotatorio corresponde a un casquete de
una esfera. Es decir, que el costo de abondonar los sistemas de referencia inerciales se manifiesta
como curvatura del espacio y desincronizacion de relojes.
Con la noci
on de espacio curvo se pueden describir las diferencias observadas en el segundo laboratorio considerado en el postulado de imposibilidad, como un efecto de geometras no euclidianas.
El laboratorio alejado de toda masa es un referencial inercial que se mueve libremente siguiendo
una trayectoria geodesica sobre un espacio curvo.
Para completar la equivalencia con el primer laboratorio en terminos de la fuente que genera los
efectos gravitacionales, se asume que la geometra no euclidiana del espacio es resultado de la
presencia de una masa fuente como la del primer laboratorio.
En la siguiente secci
on se introduciran las ecuaciones de las lneas geodesicas que siguen las partculas de prueba para luego mostrar que con el postulado de imposibildad se puede pensar la gravedad
4
METRICA
CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION
como una manifestaci

on metrica.
2.2.
Ecuaciones de las lneas geod

esicas
En esta secci
on se calcular
a la ecuacion de las trayectorias geodesicas en un espacio-tiempo curvo,
pensando en una descripci
on relativista sobre geometras no euclidianas, para llevar hasta las
u
ltimas consecuencias el postulado de imposibilidad introducido arriba.
Figura 2.1: Distancia entre dos puntos.

La distancia entre dos puntos 1 y 2 sobre una curva x ( ) en un espacio-tiempo curvo, se expresa
por:
Z

g
S=
1
dx dx
d d
12
d.
(2.1)
La distancia mnima entre los dos puntos se obtiene de:

S = 0,
(2.2)
con
Z
S=
F d,
(2.3)
1
1
F = (g x x)
2,
x
:=
dx
.
d
(2.4)
De (2.2) se calcula:
d F
F
= 0,
d x
x

d
1
1 g
g x
x x = 0,
d F
2F x
g x

Escribiendo:
1 g g
dF
.
x x +
x x = g x F 1
2 x
x
d
(2.5)
(2.6)
(2.7)
METRICA

g
g
1 g
x x =
+
x x
x
2 x
x
1 g 1 g
=
x x +
x x
2
x
2
x
1 g
g
=
+
x x
2 x
x
(2.8)
y finalmente de (2.7) y (2.8):

g x
+ [, ]x x = g x
F
F
(2.9)
donde
[, ] :=
considerando S , s = F ,
F
F
S
,
S
1
2
g
g
g
+
x
x
x

,
(2.10)
S = 0, (2.9) se puede escribir como:
g g x
+ g [, ]x x = 0
(2.11)
d2 x
dx dx
= 0,
+
2
ds
ds ds
(2.12)
donde
[, ]
:= g
(2.13)
[, ] = [, ]
2.3.
Aproximaci
on de campo d
ebil
Considere una metrica est

atica
g = +
(2.14)
donde es una constante peque

na y representa una perturbacion independiente del tiempo,
debida a la presencia de una masa. Lejos de la masa g . Entonces, el elememto de lnea se
puede escribir como:
ds2 = (dx0 )2 + (dx1 )2 + (dx2 )2 + (dx3 )2 + dx dx .
Escribiendo (2.15) hasta terminos de primer orden en y =
ordenes 2 , 2 , y m
as altos) se obtiene:

ds
dt
2
c2 (1 + 00 ).
Ahora se aplicar
a (2.16) a la ecuacion geodesica (2.12)
v
c
(2.15)
(es decir, no se consideraran los
(2.16)
METRICA
d2 x
dx dx
+
= 0,
ds2
ds ds
(2.17)
v v
1
dx dx
=
ds ds
c c (1 + 00 )
(2.18)
observe que
y que es constante en el espacio-tiempo. Entonces, para , 6= 0
dx dx
2 ,
ds ds
(2.19)
y para 6= 0 o 6= 0 (no ambas nulas),

dx dx
.
ds ds
De (2.19) y (2.20), la expresi
on (2.17) hasta primer orden en y se puede escribir
d2 x 2
c = 0.
dt2 00
(2.20)
(2.21)
1 00
Como 000 = 0 y
00 = 2 x ,
d2 x
c2
= 00 .
(2.22)
2
dt
2
(2.22) corresponde a la ecuaci
on de movimiento de Newton para un campo gravitacional clasico,
derivada de un potencial escalar, si se identifica el potencial escalar como
=
c2
00 .
2
(2.23)
Entonces, dado el potencial cl

asico = GM
cula de prueba sera a lo
r , el movimiento de una part
largo de una geodesica sobre el cuadri-espacio-timepo si el termino g00 de la metrica tiene la forma

2
(2.24)
g00 = 1 + 2 .
c
Con este c
alculo es claro que, al menos para campos debiles, la gravedad puede describirse en
terminos geometricos.
2.4.
Ecuaciones de campo de Einstein en el vaco
La aproximaci
on de campo debil implicara que la interaccion entre masas asociadas al primer
laboratorio considerado arriba, de acuerdo con la ley de la gravitacion universal de Newton, se
podra describir de una forma alternativa y equivalente para el segundo laboratorio, suponiendo
que la masa atrayente de este u
ltimo seg
un la configuracion del primero, curvara al espacio-tiempo.
As, la aproximaci
on de las masas de prueba dentro del segundo laboratorio se describira como
una aproximaci
on geodesica.
METRICA
Con estas consideraciones se puede formular, de la aproximacion presentada arriba, una teora
integralmente geometrica: la ecuacion de Laplace, de acuerdo con la manifestacion metrica de los
potenciales gravitacionales, se generaliza en terminos de un tensor de segundo orden en las derivadas de la metrica.
Considerando que la gravedad se manifiesta como la curvatura del espacio-tiempo, ese tensor de
segundo orden se debe derivar del tensor de Riemann:
R = R .
(2.25)
Entonces se pueden proponer las ecuaciones

R = 0 R 1/2Rg = 0,
(2.26)
las cuales se conocen como las ecuaciones de Einstein en el vaco.
2.5.
Soluci
on de Schwarzschild
El potencial gravitacional exterior a una distribucion de masa M con simetra esferica, a la distancia
r medida radialmente desde el centro de la distribucion de masa, es una solucion de la ecuaci
on
(2.26):
para c = G = 1, en coordenadas esfericas (t, r, , ),

2M
ds = 1
r
2
2.6.
2M
dt + 1
r
2
1
dr2 + r2 d2 .
(2.27)
Escalar de Kretschmann
La singularidad que presenta la solucion (2.27) en r = 2M es de tipo coordenado, es decir, no

corresponde a una divergencia en la variedad espacio-temporal. Para demostrar esta afirmacion se
introduce un objeto independiente de las coordenadas, denominado el escalar de Kretschmann. El
cual se calcula en terminos de las componentes del tensor de Riemann:
R R = k.
(2.28)
Los elementos R se calculan con base en la relacion siguiente:
R = g R
,
(2.29)
y los elementos R mediante

R = g g g
= g g g R
.
(2.30)
Para la soluci
on de Schwarzschild, con coordenadas (t, r, , ), las componentes no nulas del tensor
de Riemann son:
0
0
0
1
1
2
R101
, R202
, R303
, R212
, R313
, R323
.
(2.31)
METRICA
Entonces,
k = 4{R0101 R0101 + R0202 R0202 + R0303 R0303 + R1212 R1212 + R1313 R1313 + R2323 R2323 }

M2
M2
M2
M2
4M 2
4M 2
+
+
+
+
+
=4
(2.32)
r6
r6
r6
r6
r6
r6
48M 2
=
.
r6
Lo cual significa que la u
nica singularidad esencial se presenta en r = 0.
2.7.
Coordenadas de Kruskal
En esta secci
on se expresar
a la solucion de Schwarzschild en unas nuevas coordenadas (T,Z,,) tal
que no generen singularidades coordenadas en el horizonte de eventos y permitan aplicar claramente
efectos cu
anticos con base en la teora Dinamica de Campos Termicosde Umezawa y Takahashi,
suponiendo que la masa M colapsa y genera un agujero negro.
Estas nuevas cooordenadas surgen de explorar la vecindad donde las coordenadas de Schwarzschild
presentan una sungularidad no esencial. La forma mas sencilla para hacer tal exploracion se reduce
a escoger partculas sin masa incidiendo radialmente hacia el horizonte, en decir, (2.27) se simplifica
en la expresi
on siguiente

2M
1
r
2M
d t+ 1
r
2
1
d2 r = 0,
(2.33)
de la cual se encuentra la relaci

on funcional entre r y t:
r
1 | +cte.
(2.34)
2M
Puesto que se escogieron partculas sin masa, las coordenadas apropiadas para expresar la metrica
son las coordenadas nulas:
t = r + 2M ln |
u = t r
(2.35)
v = t + r ,
r
donde r = t = r + 2M ln | 2M
1 |. Con base en las consideraciones hechas arriba se puede
reescribir (2.27), para la vecindad muy proxima a r = 2M , lo cual se notara
ds2 |r2M exp
v
u
du exp
dv + r2 d2 ,
4M
4M
(2.36)
para r > 2M y r < 2M , donde

r |r2M 2M ln | 1
es decir,
2M
|
r
(2.37)
METRICA
r =
10
vu
2M
2u ln | 1
|,
2
r

2M
vu
1
exp
r
4M
si r > 2M ,

2M
vu
1
exp
r
4M
(2.38)
si r < 2M .
De (2.36), como efecto de la exploracion de la vecindad de la singularidad, se observa la presencia

de unas nuevas coordenadas, que se denominan coordenadas de Kruskal:
U := exp
u
4M
(2.39)
v
.
4M
Con base en (2.36) es evidente que en r = 2M no existe una singularidad esencial. Entonces,
regresando a (2.27), en terminos de las coordenadas nulas (2.35) se obtiene

2M
dudv + r2 d2 ,
(2.40)
ds2 = 1
r
V := exp
la cual, usando (2.39) se transforma en

2M
u
v
ds = 1
16M 2 exp
exp
dU dV +r2 d2
r
4M
4M
2
para r > 2M y r < 2M . (2.41)
Para r > 0 de (2.41) se calcula

r
32M 3
exp (
)dU dV + r2 d2 ,
r
2M
la cual, introduciendo las coordenadas de Kruskal (T, Z):
ds2 =
U =T Z
V = T + Z,
(2.42)
(2.43)
se reduce a
r 32M 3
)
(dT 2 + dZ 2 ) + r2 d2 ,
2M
r
donde claramente, se hizo la transformacion de coordenadas de
ds2 = (exp
(t, r, , ) (T, Z, , ),
que conduce a una metrica sin problemas en r = 2M .
De la propiedad
(2.44)
(2.45)
METRICA

r r
)
1 = U V
valida para r > 0,
2M
2M
es directo encontrar las transformaciones entre las coordenadas consideradas:

21
r r
t
T (r, t) = exp
1 sinh
4M 2M
4M

21
r r
t
Z(r, t) = exp
1 cosh
para r > 2M .
4M 2M
4M
(exp
11
(2.46)
(2.47)
Para 0 < r < 2M , de manera similar se obtiene

r 32M 3
)
(dT 2 + dZ 2 ) + r2 d2 ,
2M
r
con las correspondientes transformaciones

r
r 12
t
T (r, t) = exp
1
cosh
4M
2M
4M

r
r 12
t
Z(r, t) = exp
1
sinh
para r < 2M .
4M
2M
4M
ds2 = (exp
(2.48)
(2.49)
Todo este an
alisis muestra la existencia de una variedad con tiempo global T ,como muestra la
figura del espacio-tiempo de Shwarzschild extendido maximalmente, que se subdivide en cuatro
subvariedades:
Z >| T |
y su region isometrica (Z <| T |)
T >| Z |
y su region isometrica.
(2.50)
METRICA
Figura 2.2: Espacio-tiempo de Schwarzschild extendido maximalmente.
12
Captulo 3
SOBRE LAS
CUANTIZACION
VARIEDADES RIEMANNIANAS
Cuando se hace teora cu
antica de campos sobre una variedad no explcitamente minkowskiana
surge una ambig
uedad intrnseca en la construccion del espacio de Fock. En general se presenta
una no unicidad en el esquema de cuantizacion canonica.
En el espacio-tiempo de Minkowski el grupo de isometras es el grupo de Poincare, luego es posible
escoger un campo vectorial de Killing temporal tal que, algunos sistemas resultan invariantes bajo
traslaciones temporales, lo que lleva a la conservacion de la energa. En particular, en el esquema
de la cuantizaci
on can
onica de un campo escalar el vaco es invariante bajo la accion del grupo de
Poincare, es decir, para todos los observadores se define un estado de vaco com
un.
La anterior descripci
on es completamente diferente cuando la cuantizacion de los campos se lleva
a cabo en presencia de campos externos como el campo gravitacional. Diferentes fenomenologas
se presentan dependiendo si el campo externo es estacionario o no lo es. Si este es estacionario,
generalmente se esperan efectos de polarizacion del vaco; o emision de partculas del vaco cuantico
si no es estacionario.
Respecto a la presencia de campos gravitacionales, el grupo de isometras del espacio-tiempo ya no
es el grupo de Poincare. En general en los espacios-tiempo curvos no hay una u
nica escogencia del
tiempo coordenado lo que lleva a la existencia de diferentes estados de vaco, es decir, no habra un
u
nico estado de vaco para todos los observadores. Los efectos Hawking y Unruh son un directa
consecuencia de la no unicidad de la cuantizacion canonica en los espacios-tiempo Riemannianos.
3.1.
Cuantizaci
on Can
onica
La ambig
uedad introducida por la presencia de un campo externo en la construccion del espacio de
Fock para el esquema de la cuantizacion canonica de un campo, esta principalmente relacionada
con la ausencia de una u
nica separacion del operador de campo en las partes de frecuencia positiva
y negativa. Una consecuencia general de esta mezcla de modos es la creacion de partculas del vaco
cu
antico.
13

CAPITULO 3. CUANTIZACION
14
Previamente a la consideraci
on de campos externos, es importante definir el papel de los modos de
frecuencia positiva y negativa con respecto a un campo vectorial de Killing temporal en el esquema
de la cuantizaci
on can
onica de un campo, en particular un campo escalar libre (por simplicidad)
sobre el espacio-tiempo de Minkowski.
Considerese que en general un campo vectorial de Killing satisface la ecuacion
; ; = R
,
(3.1)
que para el caso particular del espacio-tiempo de Minkowski se reduce a la expresion

2
= 0.
x x
(3.2)
(x) = a + b x ,
(3.3)
Integrando las ecuaciones (3.2) se obtiene
con a y b constantes y b = b .
Los campos vectoriales de Killing definidos por (3.3) determinan las isometras del espacio-tiempo
de Minkowski, y el grupo local de difeomorfismos generado por estos campos vectoriales es un
grupo de Lie de dimensi
on n(n+1)
.
2
Este grupo de isometras denominado de Poincare, junto con las isometras discretas, conforma el
grupo total de isometras que, caracterizan las propiedades de simetra maximal del espacio-tiempo
de Minkowski.
De los 10 campos vectoriales de Killing linealmente independientes, determinados por la expresi
on
(0)
(3.3), se puede elegir un campo vectorial de Killing como de tiempo , de tal manera que es

(0)
posible introducir una coordenada temporal t, tal que t

, 0, 0, 0 y la metrica sea independiente de t.
El esquema de la cuantizaci
on canonica requiere un conjunto de soluciones de las ecuaciones de
campo
n
o
(+)
()
(+)
~ (t, ~x) ; ~ (t, ~x) = ~ (t, ~x) ,
(3.4)
k
el cual sea completo y ortonormal con respecto al producto escalar definido por
Z
(1 , 2 ) = i P 1 (X) t 2 (X) d3 X ,
(3.5)
donde
denota una hipersuperficie como de espacio para el instante t definido arriba.

(+)
k
N
otese que (3.5) se ha definido justo tal que (~
()
k
, ~ ) = 0.
(+)
k
(0)
.
Para interpretar correctamente energa, vaco de los campos e impulso, los modos de campo ~
deben ser de frecuencia positiva con respecto al campo vectorial de Killing temporal escogido

15
Justamente los supersignos () denotan soluciones con energa positiva y negativa respecto al t
escogido. En otras palabras: Considerese explcitamente los modos
(+)
k
()
~ (t ,
k
~ (t , ~x) eiKX ,
(3.6)
~x) eiKX ,
donde K , X R4 , K = (K 0 , ~k) ,
KX := K K ,
: Tensor metrico de Minkowski .
En el esquema de la cuantizaci
on canonica las componentes K 0 y ~k del c-vector de onda K se
interpretan como la energa y el impulso del campo, respectivamente.
(0)
La elecci
on de la coordenada temporal t con base en el campo vectorial de Killing temporal ,
significa que el sistema es invariante bajo traslaciones temporales, lo que implica conservacion de
la energa. Con la derivada de Lie a lo largo de la direccion del campo de Killing se definen los
signos de K 0 , consiguiendose que el campo siempre tenga energa positiva (lo cual se espera si se
quiere un campo realizable fsicamente), es decir, los modos (3.6) deben ser funciones propias del
,
operador t
(+)
(+)
(t, ~x) = iK 0 ~ (t, ~x)
k
t ~k
()
()
(t, ~x) = iK 0 ~ (t, ~x) ,
k
t ~k
(3.7)
2
2
con K 0 =
p 0, elegido de la ecuacion de Klein-Gordon, la cual implica que k + m = 0 conduce
a K 0 = ~k 2 + m2 .
En la ausencia de campos externos se tiene un procedimiento para construir un espacio de Fock

completamente bien definido: Un campo escalar (t, ~x) en el espacio-tiempo de Minkowski puede
ser expandido en terminos de los modos expresados por (3.4)

X
(+)
()
=
a~k ~ (t, ~x) + a~ ~ (t, ~x) ,
(3.8)
k
~
k
donde, una vez se cuantiza , un estado de m

ultiples partculas se puede construir del estado de
vaco |0i, definido como
a~k |0i 0 , ~k
(3.9)
por la aplicaci
on de los operadores a~ y a~k , de construccion y destruccion respectivamente. As, es
k
natural esperar el valor espresso

0 N~k 0 = 0 ~k ,
donde N~k es el operador n

umero de partculas para el modo ~k.
(3.10)

3.2.
16
Cuantizaci
on Can
onica en Campos Externos
En general, la descripci
on presentada en la seccion 3.1, cuando esta presente un campo externo,
conduce a la existencia de diferentes conjuntos completos ortonormales de soluciones igualmente
v
alidos, es decir, se presentar
an diferentes estados de vaco inequivalentes. En particular, en este numeral se considerar
a la presencia del campo gravitacional en una aproximacion semiclasica,
es decir, ignorando los efectos cu
anticos de la gravedad sobre los campos cuanticos de materia.
La aproximaci
on de tratar cu
anticamente los campos de materia sobre un background espaciotemporal curvo y cl
asico es una buena aproximacion en regiones donde el radio de curvatura sea
mucho mayor que la longitud de Planck.
En los espacio-tiempos curvos el grupo de Poincare ya no es el grupo de isometras de la variedad,
entonces en general, no hay una u
nica escogencia del tiempo coordenado. Diferentes escogencias
conducen a diferentes definiciones de modos de frecuencia positiva y diferentes estados de vaco.
Esta ambig
uedad en la construcci
on del espacio de Fock esta relacionada basicamente con la ausencia de una u
nica separaci
on del operador de campo en partes de frecuencia positiva y negativa.
Una consecuencia general de esta mezcla de modos es la creacion de partculas del vaco cuantico.
Existen diferentes formas de crear partculas del vaco, sin embargo todos los procedimientos tienen
en com
un la propiedad matem
atica de la mezcla de frecuencias positivas y negativas.
El metodo semicl
asico ilustra dos aspectos de la cuantizacion canonica de campos definidos sobre
variedades curvas, la aproximaci
on al esquema de cuantizacion mostrada en la seccion 3.1 y una
im
agen heurstica acerca de la creacion de partculas.
Siempre es posible construir un sistema coordenado localmente Gaussiano en una vecindad de
alg
un punto p sobre la variedad curva, valido hasta distancias del orden del radio de curvatura
asociado a p, el cual se puede expresar en terminos del tensor de Riemann como
Rabcd Rabcd 4 .
(3.11)
Con base en este sistema coordenado se puede definir un conjunto completo de soluciones de la
(+)
()
ecuaci
on de onda del campo para K 0 1 , con la division para los modos ~ y ~ , de acuerdo
k
k
con la ecuaci
on de valores propios usual
()
()
(X) = iK 0 ~ (X) ,
k
t ~k
(3.12)
donde, para frecuencias del orden K 0 1 tal division ya no sera valida porque (la longitud
de onda de los modos se extendera a regiones con conexion no nula).
Complementariamente a la descripcion local anterior, de esta puede modelarse heursticamente la
creaci
on de partculas. La incertidumbre en la densidad de la energa local causada por la ambig
uedad en definir modos de longitud de onda mayores que el radio de curvatura local puede
considerarse como correspondiente a la densidad de energa local de partculas creadas por el campo gravitacional. Aunque los efectos de creacion de partculas pueden ser despreciables localmente,
para el caso del campo gravitacional de un agujero negro, puede mostrarse que su adicion es significativa para tiempos del orden de 1017 s con una distribucion planckiana en el infinito.

17
En general, la construcci
on de la teora de campos cuanticos en espacios curvos requiere espaciostiempo globalmente hiperb
olicos para asegurar que la estructura causal este bien definida y que el
espacio de soluciones de las ecuaciones clasicas de campo tengan la misma estructura basica como
en el espacio-tiempo de Minkowski. La u
nica diferencia significativa con el caso del espacio-tiempo
de Minkowski es que en general no se tiene una escogencia preferencial del espacio de Hilbert de
una partcula H.
En este caso se pueden escoger dos conjuntos completos ortonormales de modos de soluci
on
(+)
()
(+)
()
{ui , ui }, {
uj , u
j }, de tal manera que se pueden expandir unos en terminos de los otros,
u
j =
X
(+)
()
(ji ui + ji ui ) ,
(3.13)
ui =
X
()
(+)
(ji
u
j ji u
j ) ,
(3.14)
donde
(+)
ij = (
ui
()
, uj ) ,
calculado con la generalizaci

on de (3.5) para cada escogencia temporal.
En el esquema de la cuantizaci
on canonica se definen los estados de vaco para cada escogencia
arriba
ai |0i = 0 ,
= 0,
a
j |0i
i
j
(3.15)
donde los ai y a
j son los respectivos operadores de destruccion.
El valor esperado del operador n
umero de partculas Ni = ai ai en el estado de vaco de la otra
representaci
on |
0i,
X
h 0 | Ni | 0 i =
|ji |2 ,
(3.16)
j
(+)
indica claramente que una mezcla de modos de frecuencia positiva ui y modos de frecuencia ne()
gativa ui en (3.13), debido a que cualquier ji 6= 0, conduce a estados de vaco inequivalentes. La
P
(+)
expresi
on (3.16) significa que el vaco de los modos u
j contiene j |ji |2 partculas en el modo ui .
(+)
()
En particular, una clara y estable separacion de los modos ~ y ~ dada por las ecuaciones (3.7)
k
k
y (3.12), evitando la ambig
uedad en la construccion del espacio de Fock (y su general consecuencia
de creaci
on de partculas), se puede generalizar a algunos espacios curvos que admiten particulares
grupos de simetra, como los espacio-tiempos estacionarios.
Un espacio-tiempo globalmente hiperbolico (M, gab ) que admita un grupo uniparametrico de isometras cuyas curvas integrales sean como de tiempo se denomina estacionario. A diferencia de los
espacios-tiempo globalmente hiperbolicos en general, en los espacios-tiempo estacionarios existe
una prescripci
on natural para definir H como el espacio de soluciones de frecuencia positiva con

18
respecto al tiempo de Killing que genera estas isometras.

En otras palabras, las ecuaciones de valores propios (3.7) y (3.12) se generalizan a la forma siguiente
()
()
L K (, x) = K 0 K (, x) ,
(3.17)
donde la derivada de Lie a lo largo de la direccion del campo de Killing determina los signos
de las frecuencias. As la globalidad del campo vectorial de Killing garantiza que el vaco definido
ser
a estable y no se presentar
a creacion de partculas.
Captulo 4
DINAMICA
DE CAMPOS
TERMICOS
El formalismo denominado Din
amica de Campos Termicos tiene por objetivo principal expresar el
estado de vaco de los campos en funcion de la temperatura |0()i, que satisfaga
X
h0()|A|0()i = Z 1 ()
hn|A|nieEn
(4.1)
n
para una variable din

amica A, donde la Hamiltoniana H asociada satisface
H |ni = En |ni,
(4.2)
hn|mi = nm .
(4.3)
En otras palabras, lo que formula la dinamica de campos termicos es una representacion en la cual
el valor esperado para el vaco coincida con el promedio estadstico de una magnitud A, que para
el ensamble gran can
onico a la temperatura T esta dado por
hAi = Z 1 ()T r[eH A] = h0()|A|0()i,
(4.4)
con
1
.
kB T
Donde H es la Hamiltoniana total del sistema, el potencial qumico y kB la constante de Boltzmann.
H = H N,
4.1.
Z() = T r[eH A] y
Campos cu
anticos como osciladores arm
onicos
Intuitivamente la cuantizaci
on de los campos se puede describir en terminos de un modelo unidimensional de N osciladores acoplados, con N tendiendo a infinito, cuya energa total escrita en
coordenadas normales permite su descripcion cuantica de la siguiente forma
E=
N
X
(ni + 1/2)i ,
i=1
19
(4.5)
CAPITULO 4. DINAMICA
DE CAMPOS TERMICOS
20
con modos de frecuencia i y ni enteros positivos o cero.

En esta descripci
on el estado de vaco |0i estandar se define con base en los operadores de destrucci
on ai como
ai |0i = 0,
(4.6)
considerando que la Hamiltoniana asociada se puede escribir usando el operador n
umero N = ai ai
que, se define en terminos de los operadoes de destruccion ai y creacion ai
H=
i ai ai ,
(4.7)
i=1
donde no se ha considerado la contribucion de los sumandos 1/2
i , recurriendo a la tecnica
i=1
denominada operaci
on orden normal, puesto que en espacios planos la energa no se mide en
terminos absolutos sino en terminos de diferencias entre niveles de energa.
4.2.
Sentido fsico de la din

amica de campos t
ermicos
Si dos subsistemas son identicas copias uno del otro y estan entanglados cuanticamente de tal
manera que conforman un estado puro para el sistema total, cada uno de ellos llega a ser macrosc
opicamente indistinguible de un cuerpo caliente a una temperatura definida T . Cada uno de
ellos llega a ser un ba
no de calor para el otro.
Considere un sistema compuesto de un par de subsistemas identicos, con Hamiltonianas H1 y H2
iguales en forma y con valores propios comunes En :
H1,2 | n i1,2 = En | n i1,2 .
(4.8)
Se construye un estado puro | T i del sistema total, caracterizado por un parametro real no negativo
T que entangla los subsistemas como
X 1
1
e 2 1/T En | n i1 | n i2 .
(4.9)
| T i = Z 2
n
Si O1 es cualquier operador que act

ua u
nicamente sobre estados del subsistema 1, su promedio
termico es igual a su valor esperado en el estado | T i:
X
Tr (1 O1 ) =
e1/T En 1 h n | O1 | n i 1 = h T | O1 | T i .
(4.10)
n
En esta forma se reduce la mec

anica estadstica a la teora de campos cuanticos.
La aplicaci
on de esta concepci
on a sistemas divididos por horizontes de eventos ha sido muy u
til
para describir la naturaleza termica de los resultados de Fulling, Gibbons, Hawking y Unruh.
DE CAMPOS TERMICOS
4.3.
21
Formalismo de la din
amica de campos t
ermicos
Para obtener la expresi

on (4.1) en el sentido de la seccion 4.2, se expande el estado de vaco termico
|0()i en terminos de una base {|ni} de un espacio de Hilbert en la forma
X
X
|0()i =
|nihn|0()i =
fn ()|ni,
(4.11)
n
donde se recurri
o a la completez del espacio de Hilbert. Sustituyendo (4.11) en el lado izquierdo
de la ecuaci
on (4.1), se obtiene
X
X
X
fn ()hn|A
fm ()|mi = Z 1 ()
hn|A|nieEn
n
fn ()fm ()hn|A|mi
=Z
=Z
X
()
hn|A|nieEn
n,m
fn ()fm ()hn|A|mi
n,m
()
nm hn|A|mieEn ,
n,m
fn ()fm () = Z 1 ()eEn nm .
(4.12)
Esta u
ltima relaci
on presenta una dificultad, puesto que es imposible para los coeficientes de
la expansi
on (4.11). Simples n
umeros complejos no satisfacen una relacion que requiere objetos
vectoriales. Sin embargo, la relaci
on (4.12) se puede considerar como una condicion de ortogonalidad
en un espacio de Hilbert en el cual el coeficiente fm () sea un vector. Es decir, el estado |0()i es un
vector en el espacio expandido por |ni y fm (). Para llevar a cabo tal representacion es conveniente
introducir un sistema din
amico ficticio identico al que se esta considerando. De acuerdo con esta
represntaci
on, se denotar
an las cantidades asociadas con el sistema ficticio con una tilde. As,
y el espacio de los vectores de estado
el sistema ficticio se caracterizar
a por la Hamiltoniana H
ser
a expandido por los vectores |
ni que satisfacen las siguientes relaciones
ni = En |
H|
ni,
h
n|mi
= nm ,
(4.13)
donde se establece que la energa es la misma del sistema fsico.

El vector de estado del sistema total se construye a partir del producto directo de los vectores de
estado de cada uno de los subsistemas, fsico y ficticio:
|n, mi
= |ni |mi.
(4.14)
De esta forma, los elementos de la matriz de los operadores A y A son dados respectivamente por
0
hm,
n|A|n , m
i = hn|A|n imm0 ,
0
0
0
,m
hm,
n|A|n
i = hm|A|
m
i 0 .
nn
(4.15)
(4.16)
Definiendo el coeficiente vectorial de la expansion (4.11) como

fn () = eEn /2 Z 1/2 ()|
ni,
(4.17)
DE CAMPOS TERMICOS
22
se verifica la relaci
on (4.12), pero sin la inconsistencia de ortogonalidad que se presentaba anteriormente. As,
fn ()fm () = eEn /2 Z 1/2 ()h
n|eEm /2 Z 1/2 ()|mi
= e/2(En +Em ) Z 1 ()h

n|mi
=Z
En
()e
(4.18)
nm .
Entonces, usando la definici

on (4.17) se construye el estado de vaco termico a partir de la ecuaci
on
(4.11) como sigue
X
X
|0()i = Z 1/2 ()
eEn /2 |ni |
ni = Z 1/2 ()
eEn /2 |n, n
i.
(4.19)
n
Finalmente se verifica la relaci

on (4.1) teniendo en cuenta la ecuacion (4.19):
X
X
h0()|A|0()i = Z 1/2 ()
eEn /2 h
n, n|AZ 1/2 ()
eEm /2 |m, mi
=Z
()
m
/2(En +Em )
hn|A|minm
(4.20)
n,m
= Z 1 ()
X
hn|A|nieEn .
n
4.4.
Modelo de osciladores dobles para agujeros negros
En esta secci
on se presenta un modelo sencillo, en terminos de osciladores armonicos, para introducir los esquemas de cuantizacion Killing-Boulware y Kruskal-Hartle-Hawking, los cuales se
desarrollar
an rigurosamente en captulos posteriores.
Para un grado de libertad bos
onico, apropiado para la mecanica estadstica de entanglement de
agujeros negros, en terminos de dos osciladores acoplados, se definen:
Esquema Killling-Boulware: Dos osciladores: q+ (t), q (t)
Esquema Kruskal-Hartle-Hawking: Dos osciladores: Q+ (t), Q (t)
Estos 4 osciladores satisfacen las siguientes ecuaciones:
+ 2 Q (t) = 0,
Q
q + 2 q (t) = 0,
= 1.
(4.21)
cuyas soluciones se relacionan por medio de la transformacion de Bogoliubov

Q (t) = cosh()q (t) sinh()q (t),
(4.22)
donde = () est
a definida en terminos de
tanh() = e||/k ,
(4.23)
y k es la gravedad superficial.
Los correspondientes modos de solucion son los siguientes:
1
Q (t) = (a eit + a eit ),
2
1
q (t) = (b eit + b eit ).
2
(4.24)
DE CAMPOS TERMICOS
23
A partir de (4.22) y (4.24) se obtienen

a = cosh()b senh()b ,
a = cosh()b senh()b .
(4.25)
Donde se verifica el invariante cuadratico

2
2
Q2+ Q2 = q+
q
.
(4.26)
Adem
as, se verifica la invariancia de la Lagrangiana L establecida por el formalismo de la dinamica
de campos termicos
1X 2
1 X 2
L=
(q 2 q2 ) =
(Q 2 Q2 ).
(4.27)
2
2
De lo anterior se verifica la invariancia del Hamiltoniano
X
1X 2
1 X
(b b + bb ),
p q L =
(p + 2 q2 ) =
H=
2
2

X
X
X
1
1
(P2 + 2 Q2 ) =
(
a a
+ a
a
),
H=
P Q L =
2
2

donde
p =
Considerando
d
dt
Lq
= q ,
q
P =
LQ
= Q .
Q
(4.28)
(4.29)
(4.30)
de las ecuaciones (4.22) y (4.30) se obtienen

d
d
d
Q (t) = cosh() q (t) sinh() q (t),
dt
dt
dt
Q = cosh()q + sinh()q ,
P (t) = cosh()p (t) + senh()p .
(4.31)
Se establecen las relaciones de conmutacion dadas por

[q (t), p0 (t)] = i0 ,
[Q (t), P0 (t)] = i0 .
[a , a0 ] = [b , b0 ] = 0 .
(4.32)
(4.33)
De (4.24) y (4.30) se obtienen

1
a eit = (Q + iP ),
2
1
b eit = (q + ip ).
2
(4.34)
Para el esquema Hartle-Hawking se define el estado base |0ia :

a+ |0ia = a |0ia = 0,
donde a+ y a son operadores de aniquilacion.
(4.35)
DE CAMPOS TERMICOS
24
De (4.34) y (4.35) se obtiene

( = ).
(Q + iP )|0ia = 0,
(4.36)
De igual manera para el esquema Killing-Boulware se define el estado base |0ib :

b+ |0ib = b |0ib = 0,
(4.37)
donde b+ y b tambien son operadores de aniquilacion.

De manera similar a (4.36) se obtiene
( = ).
(q + ip )|0ib = 0,
(4.38)
En terminos de la funci
on de onda 0b para el esquema Killing-Boulware es u
til introducir las
siguientes expresiones:
0
0b (q+ , q ) = hq |0ib ,
la cual satisface
q +
0b (q) = 0,
q
lo cual implica
r
0b (q ) =
02
1/2(q+0 2 +q
)
e
.
(4.39)
Donde para la representaci

on de Schrodinger
p = i
.
q
(4.40)
Igualmente para el otro esquema se establece

Q +
0a (Q) = 0,
Q
lo cual implica de nuevo
r
0a (Q ) =
1/2(Q0+2 +Q02 )
e
.
(4.41)
De las relaciones (4.28), (4.29), (4.35) y (4.37) se encuentra que ambos estados base tienen energa
cero, es decir
H|0ia = H|0ib = 0.
(4.42)
4.4.1.
Matriz densidad t
ermica reducida
Para el caso de un observador restringido a una de las regiones, la de la izquiera o la de la derecha

en la variedad de Kruskal (figura 2.2), se hace necesario el calculo de la matriz densidad reducida
a partir de una matriz densidad total, es decir
0
00
00
0a (Q , Q ) 0a (Q )0a (Q ) =
12
e
P

00
(Q2 +Q 2 )
(4.43)
DE CAMPOS TERMICOS
De (4.22) y
25
P 02
00
(Q + Q 2 ) se obtiene

X 0
X 0
00
00
0
0
00 00
(Q2 + Q 2 ) = C2
(q2 + q 2 ) 2S2 (q+ q + q+ q ),

(4.44)
donde
C = cosh,
S = senh.
(4.45)
Para la regi
on no accesible por el observador restringido se calcula la traza, en este caso la suma
sobre q

X 0
00
2
2
(Q + Q )

00
00
2
=C2 (q+2 + q+2 + 2q
) 2S2 q 2
q+
0
00
q =q =q
2
}, (4.46)
=C2 (q+2 + q+2 ) + 2C2 {(q tanh2 q+ )2 tanh2 2 q+
00
donde q+ 12 (q+ + q+ ).
Si se define
0
00
red (q+ , q+ ) =

0a (Q , Q )dq
0
00
,
0
(4.47)
00
q =q =q
se muestra que
red (q+ , q+ ) =
00
0
00
0
00
2
12 C2 {C2
(q+2 +q+2 ) 12 S2 (q+ +q+ )2 }
.
e
C2
(4.48)
Esta matriz densidad es termica como se mostrara abajo. Basicamente se demostrara que (3.48)
es reexpresable como
0
00
0
00
1 X
red (q+ , q+ ) = 2
tanh2n n (q+ )n (q+ ),
(4.49)
C n=0
donde n (q) son funciones de onda de la forma
14
2
1
1
1
n (q, t) = n (q)ei(n+ 2 )t =
Hn ( q)e 2 q ei(n+ 2 )t ,
2n n!
(4.50)
donde se puede observar que la expresion (4.49) satisface la estructura termica de la expresi
on
(4.19) de la din
amica de campos termicos. Entonces, en los siguientes parrafos, basicamente, se
mostrar
a tal afirmaci
on.
Considerando los cambios de variable:
0
0
x = q+ ,
y = q ,
tanh = tanh2 ,
(4.51)
se llega a
cosh2 =
senh2 =
2
2
C2
12 S2
,
C2
1 2
2 S2
C2
(4.52)
DE CAMPOS TERMICOS
26
Con base en (4.51) y (4.52), la expresion (4.48) se simplifica de la siguiente forma

r
2
2
2
1
red (x, y) =
e 2 (y x ) e(yC xS ) .
C2
Construyendo
Z
red (x, y)Hn (y)e 2 y dy,
red
(4.53)
(4.54)
y reemplazando (4.53) en (4.54) se obtiene

Z
r
1 x2 (yC xS )2
e
Hn (y)dy.
e 2
C2
(4.55)
Con base en la identidad

1
e(yC xS ) Hn (y)dy =
tanhn
Hn (x),
cosh
(4.56)
y la expresi
on (4.55) se obtiene
1 2
tanhn
q
Hn ()e 2 x .
C2 cosh
Por otra parte se observa que de (4.49) y (4.50), en general, se puede proponer
r
2
2
1
1 X tanhm
Hm (x)Hm (y)e 2 (x +y ) .
red (x, y) =
C2 m=0 2m m!
Al evaluar (4.58) en (4.54), y usar la propiedad de ortogonalidad dada por
Z
2
ey Hm (y)Hn (y)dy = 2n n!mn ,
(4.57)
(4.58)
(4.59)
se llega a
C2
tanhn Hn ()e 2 x .
(4.60)
As, claramente se ve que de (4.58) y (4.53) se obtiene la misma funcionalidad para todo n. De
C2
(4.52) y cosh = , se muestra que (4.57) es igual a (4.60). Lo anterior establece la igualdad
C2
de (4.48) con (4.49).
Al retomar la funci
on de onda (4.41) y escribir
Q2+
Q = C q S q ,
(4.61)
Q2
2S2 q+ q ,
(4.62)
1 X
tanhn n (q+ )n (q ).
C n=0
(4.63)
se puede establecer que

0a (Q) =
2
C2 (q+
2
q
)
DE CAMPOS TERMICOS
Entonces, tomando x =
q+ y y =
27
q , (4.41) y (4.61) conducen a

r
1
0a (x, y) =
e 2 {C2 (x2 + y 2 ) 2S2 xy}.
(4.64)
As, (4.63) usando (4.50), se reduce a

0a (x, y) =
1
C
2
2
1
X tanhn
Hn (x)Hn (y)e 2 (x +y ) .
n=0 2n n!
(4.65)
De la misma manera como se prob

o la equivalencia entre (4.53) y (4.58), se prueba la equivalencia
entre (4.64) y (4.65).
Para concluir la descripci
on en terminos de la dinamica de campos termicos, se considera lo siguiente:
Al usar (4.63) para 0a , y operar
0
00
00
0a (Q , Q ) = 0a (Q )0a (Q ),
se puede derivar la expresi
on (4.49) para red de manera mas simple.
La expresi
on (4.63) es la funci
on de onda equivalente de las identidades de la dinamica de campos
termicos (4.19)
X 1 En
(4.66)
|T i = Z 1/2
e 2 T |ni1 |ni2 ,
n
y
|0ia = eiG |0ib = Z 1/2
e 2 En |n(+) , n() ib ,
(4.67)
donde
G = G = i(b+ b b+ b ),
a = ei b ei .
(4.68)
Entonces el estado |0ia es un ba

no termico de los b-modos, es decir, que los observadores asociados
a esta cuantizaci
on ven este vaco como un ba
no termico.
Observe que la expresi
on (4.67) se puede probar directamente partiendo de a = C b S b .
Parte II
AGUJEROS NEGROS
TERMICOS
28
Captulo 5
TERMODINAMICA
DE
AGUJEROS NEGROS
Un cuerpo en coplapso se describe por una gran cantidad de parametros, pero una vez conformado un agujero negro, su descripcion no depende de los tipos de materia ni de la mayora de
los momentos de multipolo de la distribucion de masa, excepto de los momentos de monopolo y
de dipolo, los cuales son la masa y el momentum angular, respectivamente. Para un observador
externo de un agujero negro, este se presenta increblemente simple, todo lo que se puede saber
de el es su masa, momentum angular y carga electrica (puede incluirse la carga magnetica). Este
resultado est
a firmemente demostrado por el denominado teorema del no pelo, al cual se llego por
un trabajo combinado de W. Israel, B. Carter, S. W. Hawking y D. C. Robinson.
El teorema del no pelo sugiere considerar a los agujeros negros como sistemas termodinamicos,
puesto que estos seran objetos con muchos grados de libertad internos cuya configuracion externa
est
a completamente especificada por algunos pocos parametros. Efectvamente, J. M. Bardeen, B.
Carter y S. W. Hawking desarrollaron sistematicamente leyes de la mecanica de agujeros negros,
an
alogas a las leyes de la termodinamica, las cuales se relacionaron fsicamente con el descubrimiento de la radiaci
on Hawking.
5.1.
Agujeros Negros Cl
asicos
La gravedad tiene una magnitud que se comporta como la entropa, la cual depende de la conjetura
de la censura c
osmica o imposibilidad de observar una singularidad desde el exterior de un agujero
negro.
Suponiendo la validez de la censura cosmica debil (es decir, suponiendo los infinitos nulos pasado
I y futuro I + completos y el pasado de I + , I (I + ), globalmente hiperbolico) y la condicion de
energa debil
T v v 0 ,
(5.1)
(donde fsicamente se puede interpretar como el requerimiento de que la densidad de energa medida por cualquier observador temporal con cuadrivelocidad v sea positiva.), los generadores del
29

CAPITULO 5. TERMODINAMICA
DE AGUJEROS NEGROS
30
horizonte de eventos no pueden ser convergentes. Esto implica que el area de la seccion transversal
del horizonte de eventos nunca puede decrecer con el tiempo, y en general se incrementara. Adem
as
si varios agujeros negros se fusionan, el area del agujero negro resultante es mayor o igual que la
suma de las
areas de los agujeros negros originales. Este comportamiento es muy similar al de la
entropa, de acuerdo con la segunda ley de la termodinamica.
La similitud del teorema del
area, el cual afirma que el area A de un agujero negro nunca puede
decrecer en cualquier proceso
A 0 ,
(5.2)
con la segunda ley de la termodin

amica, la cual sostiene que la entropa S de un sistema cerrado
nunca decrece en cualquier proceso
S 0 ,
(5.3)
era una interesante analoga matematica antes que Bekenstein propusiera interpretar A como la
entropa fsica.
Por otra parte, J. B. Bardeen et.al., casi al tiempo que Bekenstein, desarrollaron a partir de la
relatividad general unas leyes de la fsica de los agujeros negros analogas a las cuatro leyes de la
termodin
amica.
Del radio r+ para el horizonte de eventos de un agujero negro de Kerr-Newman
r+ = GM + (M 2 Q2 a2 )1/2 ,
donde M es la masa, Q la carga electrica, G la constante de gravitacion universal y ~a =
momentum angular por unidad de masa, se calcula el area A del agujero negro
(5.4)
~
L
M
el
2
A = 4(a2 + r+
),
(5.5)
d = 2r+ dM + 2M dr+ 2Q dQ ,
(5.6)
que conduce a
donde es el
area A racionalizada: =
A
4 .
Finalmente, de (5.6) se encuentra

k dA ~ ~
+ dL + dQ ,
2 4
donde la gravedad superficial k esta definida
dM =
(5.7)

DE AGUJEROS NEGROS
(M 2 Q2 a2 )1/2
= constante ,
~ := ~a : frecuencia angular rotacional,
Qr+
:=
: potencial electrico del agujero negro,
G = c = 1.
k :=
31
(5.8)
Es interesante notar que la gravedad superficial k expresada por (5.8) es un parametro de equilibrio, esta es una constante sobre el horizonte de eventos para cualquier agujero negro en equilibrio.
Adem
as, k > 0 porque Q2 + a2 > M 2 no es una solucion fsica y Q2 + a2 = M 2 es un estado
lmite que no se puede alcanzar en un n
umero finito de procesos (el crecimiento de la carga Q y
~ tienen un lmite. Q y L
~ muy grandes, por efectos centrfugos, no permiel momentum angular L
tiran la formaci
on de un horizonte de eventos estable y la singularidad quedara desnuda, lo cual
no es permitido por la censura c
osmica.) Luego, k se comporta justamente como la temperatura,
cumpliendose leyes semejantes a la ley cero y tercera de la termodinamica.
Para completar la analoga termodinamica, resulta muy sugestiva la completa correspondencia
entre la expresi
on (5.7) y la primera ley de la termodinamica
dE = T dS P dV ,
(5.9)
donde, adem
as de las ya comentadas correspondencias entre (S, T ) y ( A, k), E se identifica to~ dL
~ + dQ con P dV , claramente representando el trabajo hecho sobre el
talmente con M , y
agujero negro por un agente externo que incrementa el momentum angular del agujero negro y la
~ y dQ, respectivamente.
carga por dL
Asociar temperatura a un objeto que no puede radiar viola la segunda ley de la termodinamica
generalizada, no obstante la relaci
on de Bekenstein entre entropa y la informacion perdida tras un
horizonte de eventos al formarse un agujero negro. Para resolver las inconsistencias sera necesario
introducir efectos cu
anticos.
La obtenci
on de las leyes de la mecanica de agujeros negros es completamente diferente de la
correspondiente para las leyes de la termodinamica usual, quiza las primeras surjan en una teora
cu
antica fundamental de la gravedad como el lmite clasico de las leyes de la termodinamica aplicada
a un sistema conformado por un agujero negro. Por ahora, la derivacion de las leyes de la mecanica
de agujeros negros parecen compartir, al menos, un importante aspecto con la termodinamica
usual, una cierta universalidad. La forma basica de las leyes correspondientes a los agujeros negros
parecen ser independientes de los detalles precisos de la lagrangiana de la teora fundamental de
la gravedad, de manera an
aloga a la universalidad de la forma de las leyes de la termodinamica
usual.
5.2.
Agujeros Negros Cu
anticos
Considere un campo escalar definido sobre el background geometrico para una estrella que colapsa
en agujero negro y que muestra la figura 5.1

DE AGUJEROS NEGROS
32
Singularidad
Agujero
Negro
Horizonte de Eventos
Estrella
Colapsante
Figura 5.1:
Diagrama de Penrose para una estrella que colapsa en agujero negro.
Si el background espacio-temporal fuera independiente del tiempo, una solucion de la ecuacion de

onda que estuviera expresada u
nicamente en terminos de modos de frecuencia positivos (+) sobre
el infinito nulo pasado I , tambien sera de frecuencia positiva sobre el infinito nulo futuro I + .
Entonces, de acuerdo con el numeral 3.1, no habra mezcla de modos (+) y () , luego no habra
creaci
on de partculas. En este caso la metrica es dependiente del tiempo durante el colapso, lo
cual significa que soluciones de frecuencia positiva en I sean parcialmente de frecuencia negativa
en I + . En otras palabras, asumiendo que la masa colapsante en el remoto pasado esta lo suficiente
difusa que el espacio-tiempo es aproximadamente plano, entonces el estado de vaco definido para
cuantizado se construye con base en el numeral 3.2. Los modos incidentes sobre la masa en colapso
se correr
an hacia el azul, pero al salir despues de haber pasado por la masa se habran corrido hacia
el rojo. Debido a que la masa est
a en constante colapso no existe compensaci
on en los corrimientos,
entonces los modos en el futuro remoto estaran netamente corridos al rojo. As, el estado de vaco
para I + no coincidir
a con el correspondiente a I y se tendra un resultado neto como lo indica
la expresi
on general (3.16), en este caso con distribucion planckiana. Sorprende que este resultado
no dependa de los detalles del colapso en el limite temporal futuro, depende u
nicamente de la
gravedad superficial k.
Esta emisi
on exactamente termica de partculas a una rata constante, mucho tiempo despues del
colapso, con temperatura
T =
k
,
2
(5.10)
se conoce como radiaci

on Hawking.
Este resultado dio un sentido fsico a la termodinamica formal y matematica de los agujeros negros
considerada en el numeral 5.1.
Comparando (5.7), (5.9) y (5.10), podemos expresar

DE AGUJEROS NEGROS
S := SBH =
1
A,
4
33
(5.11)
la cual se denominar
a entropa Bekenstein-Hawking.
Con el descubrimiento de Hawking fue posible generalizar la segunda ley de la termodinamica,
resolviendo algunas inconsistencias fsicas,
S 0 0 ,
(5.12)
S 0 := S + SBH ,
(5.13)
donde la entropa generalizada S 0 , se define
siendo S la entropa de la materia y radiacion externas del agujero negro.

As pareciere que los agujeros negros realmente tienen entropa gravitacional intrnseca. Esta entropa intrnseca significa que la gravedad introduce un nivel extra de impredecibilidad mas all
a de
la incertidumbre usualmente asociada con la teora cuantica.
5.2.1.
Efecto Hawking
Una deducci
on elegante de (5.10) y (5.11), sin las aproximaciones de la mezcla de frecuencias, fue
introducida por J. Hartle, G. Gibbons y S. Hawking:
Por simplicidad, considere la metrica de Schwarzschild eucldea, es decir, donde t = i . Debido a la
aparente singularidad en r = 2M se define una nueva coordenada radial x = 4M (1 2M r1 )1/2 ,
que transforma la metrica de Schwarzschild usual en la forma
2
ds = x
d
4M
2

+
r2
4M 2
dx2 + r2 d2 .
(5.14)
Comparando la metrica (5.14) en el plano x con la metrica en coordenadas polares

ds2 = r2 d2 + dr2 ,
se encuentra que es una coordenada temporal con periodo 8M .
Por otra parte, recurriendo a la formulacion euclidiana de la funcion de particion Z para un campo
a una temperatura T = 1 ,
Z
Z = D[] eiI[] ,
(5.15)
considerando que t = i, donde es la periodicidad temporal, podemos interpretar 8M como
1
k
=
.
(5.16)
8M
2
El significado fsico de este resultado es que debido a que la solucion eucldea de Schwarzschild
es peri
odica en la direcci
on del tiempo imaginario, entonces los campos sobre un background de
k
Schwarzschild se comportan como si estuvieran en un estado termico con temperatura T = 2
.
T = 1 =

DE AGUJEROS NEGROS
Aproximadamente (5.16) en grados Kelvin K se puede calcular como

M
7
T 10
K,
M
34
(5.17)
donde M es la masa del sol.

De acuerdo con (5.17), considerando que la energa emitida se compensa con una disminucion de
la masa del agujero negro, los agujeros negros primero emiten u
nicamente partculas no masivas
como fotones y electrones y luego las mas pesadas cuando T sea muy grande (o M muy peque
na),
hasta que finalmente el agujero debe evaporarse completamente. Que pasara con la informaci
on
perdida tras del horizonte una vez se evapore el agujero negro es uno de los grandes interrogantes
de este proceso termodin
amico.
5.2.2.
Efecto Unruh
Casi al mismo tiempo del descubrimiento de Hawking, el trabajo de Fulling, Davies y Unruh
mostr
o que efectos termicos tambien estan asociados con aceleracion uniforme en el espacio plano.
Existen dos caractersticas importantes de estos efectos termicos o efecto Unruh: el comportamiento de detectores acelerados de partculas y las propiedades de los campos restringidos a una
subregi
on del espacio-tiempo de Minkowski. El segundo aspecto parece mas fundamental, puesto
que no depende de la estructura del detector y de los detalles de su interaccion con el campo
cu
antico. Un modelo sencillo del efecto Unruh, en el segundo sentido es el siguiente:
Considerese la cuantizaci
on de un campo escalar en el espacio-tiempo de Minkowski y la cuantizaci
on alternativa en las regiones x < |t| y x > |t|.
La relaci
on entre los respectivos estados de vaco se expresa como
)
(
i
Xh
2
(2)
(1)
1/2
|0R i ,
|0M i = exp
ln(1 e g ) + e g bK bK
(5.18)
con los par

ametros de los modos de solucion asociados:
= |K| > 0 ;
(1)
< K < ,
(2)
donde bK y bK son los operadores de creacion correspondientes a las regiones x < |t| y x > |t|,
respectivamente, y g es la aceleraci
on propia constante de un observador desplazandose en la regi
on
x > |t|.
Cuando un observador restringido a la region x > |t|, mide un observable A, con operador asociado
en el estado cu
A,
antico |0M i, en terminos de |0R i de acuerdo a la ecuacion (5.18), se obtiene

D
E

0M A 0M = tr(A ) ,
(5.19)
con el operador definido
=
YX
P
K
eEn
| nK i h nK | ,
Em
me
(5.20)

DE AGUJEROS NEGROS
donde | nK i son estados de nK cuantos en la region x > |t|, En = n, =
35
2
g .
: operador n
Si A = N
umero de partculas por modo ,
1
,
1
En = n .
) =
tr(N
(5.21)
Este u
ltimo resultado es justamente el espectro planckiano para una radiacion a la temperatura
g
.
(5.22)
2
Entonces, de los an
alisis anteriores se puede decir que el efecto Unruh es la propiedad termica
del vaco minkowskiano debido a la restriccion de este a la region x > |t| del espacio-tiempo de
Minkowski.
T =
Captulo 6
ESTADOS DE VACIO
En el contexto del captulo tres se establecio que en un espacio-tiempo curvo, en general, no se
tiene una escogencia u
nica del tiempo coordenado. Diferentes escogencias conducen a diferentes
definiciones de modos de frecuencia positiva, y por lo tanto a diferentes estados base. El calculo de los valores esperados del operador energa-momentum para estos estados es generalmente
complicado y no expresable en forma cerrada. Sin embargo, en (1 + 1)-dimensiones se encuentran
resultados muy u
tiles:
Considere el espacio-tiempo, en general no estacionario,
ds2 = e2(u,v) du dv = e2(z,t) (dz 2 dt2 ) ,
(6.1)
donde se ha introducido el gauge conforme.

La curvatura est
a dada por
R = 22 = 8e2 u v ,
(6.2)
donde
2 4e2 u v ,
uuu = 2u ,
vvv = 2v ,
(6.3)
y los otros s son nulos.

(6.4)
Efectos cu
anticos inducen un tensor momentum-energa no nulo debido a la curvatura. Entonces,
para un campo escalar no masivo, su tensor momentum-energa cuantico Tab satisface
~
R,
24
correspondientes a las leyes de conservacion y a la anomala de traza, respectivamente.
b
Ta;b
= 0y
Taa =
36
(6.5)
CAPITULO 6. ESTADOS DE VACIO
37
La soluci
on general de (6.5) para un estado cuantico arbitrario es
Tab = ab [] + F out (u) u,a u,b + F in (v) v,a v,b ,
donde el primer termino est
a definido por

~
1
ab [] =
;ab + ,a ,b gab 2 + ()2
12
2
(6.6)
(6.7)
para cualquier funci

on (u, v) en (6.1), con las funciones F in y F out arbitrarias.
(6.6) describe el tensor simetrico conservado mas general con traza dada por (6.5).
Los diferentes estados determinan completamente las tres componentes independientes de h Tab i,
por (6.5) y las condiciones de frontera apropiadas para cada estado.
Si un horizonte est
a presente se requieren las coordenadas de Kruskal, entonces la metrica (6.1)
toma la forma
ds2 = e2(U,V ) dU dV ,
(6.8)
donde
=
1
ln[U 0 (u) V 0 (v)] ,
2
(6.9)
la cual es una funci

on regular en el horizonte si k0in , k0out son no nulos.
k0out y k0in est
an relacionadas con las gravedades superficiales generalizadas k in y k out por
[ln U 0 (u)]0 = k0out (u) k out (u, v = )
(6.10)
[ln V 0 (v)]0 = k0in (v) k in (u = +, v) .
(6.11)
De (6.9) y (6.7)
ab [] = ab [] + H out (u) u,a u,b + H in (v) v,a v,b ,
(6.12)
donde

1
~
out 2
(k0 ) R(u, v = )
H (u) =
48
2

~
1
in
in 2
H (v) =
(k0 ) R(u = +, v) .
48
2
out
(6.13)
(6.14)
Los valores esperados h Tab i en los diferentes estados base del tensor momentum-energa escalar,
deben tomar la forma general (6.6), con los flujos escogidos de acuerdo a las condiciones de frontera
apropiadas.
6.1.
38
Estado de Boulware | 0 i
En cualquier espacio-tiempo est

atico con parametro temporal de Killing t, un estado de Boulware
| 0 iB est
a vaco de modos de frecuencia positiva con respecto a t, es decir, observadores estaticos
no ven partculas en este estado.
Adem
as, en un espacio asint
oticamente plano, | 0 iB es indistinguible del vaco minkowskiano en el
infinito.
Para h Tab iB 0 en el infinito, se debe escoger F in = F out = 0. Entonces,
h Tab iB = ab [] .
(6.15)
El tensor momentum-energa de Boulware es singular en el horizonte, puesto que all.

El estado de Boulware sera inestable en un espacio-tiempo de agujero negro, este realmente es
el estado base de temperatura cero apropiado para el espacio interno y alrededor de una estrella
est
atica.
6.2.
Agujero Negro Eterno
El objeto fsico real a considerar es el agujero negro resultante de un colapso gravitacional. No

obstante, un agujero negro mucho tiempo despues de su formacion es casi estacionario, es decir,
su estado se puede describir como una geometra estatica y peque
nas excitaciones de campos propag
andose sobre este background.
Entonces, formalmente se puede establecer una correspondencia entre el agujero negro real y un
nuevo espacio-tiempo no fsico, que se obtendra del primero en la region de tiempos tardos por
su continuaci
on analtica. Tal continuacion analtica de la solucion de agujero negro estatico define
la soluci
on extendida maximalmente que se conoce como un agujero negro eterno.
r=0
F
L
I+
+
0
H
R
H
P
I
Figura 6.1:
Diagrama de Penrose para un agujero negro eterno
Si 0 en la figura 6.1 se escoge en tiempos tardos, se puede tambien seguir hacia atras en el tiempo
todas las excitaciones de campo presentes en la vecindad de 0 , tal que el problema de especificar
los estados de un agujero negro pueden ser reformulados como un problema analogo para su versi
on
39
eterna. Esta aproximaci

on es mucho mas simple para hacer las diferentes modelaciones.
6.3.
Estado de Hartle-Hawking | 0 i
En el espacio-tiempo de un agujero negro eterno estacionario, el estado de Hartle-Hawking | 0 iH

est
a vaco de modos de frecuencia positiva con respecto a los tiempos de Kruskal U , V , es decir,
observadores en cada libre no ven partculas en el horizonte para este estado.
A diferencia del estado de Boulware, en el estado de Hartle-Hawking el tensor momentum-energa
est
a acotado sobre los horizontes futuro y pasado H + , H .
Puesto que esto tambien es cierto para , esta condicion de frontera se satisface por
h Tab iH = ab [] .
(6.16)
En el horizonte, este sera el tensor momentum-energa medido por un observador en cada libre,
usando las coordenadas lorentzianas locales para definir su nocion de frecuencia positiva.
De (6.12), (6.15) y (6.16),
h Tab iH = h Tab iB + H out (u) u,a u,b + H in (v) v,a v,b .
(6.17)
De (6.17) se observa una interesante relacion entre los estados de Boulware y Hartle-Hawking. Los
terminos divergentes en el tensor momentum-energa de Boulware pueden verse como corrientes de
energa negativa como de luz corridas infinitamente hacia el azul, radialmente entrantes y salientes,
en los horizontes pasado y futuro, respectivamente. Estas corrientes pueden ser neutralizadas y las
divergencias corregidas, por flujos de energa positiva compensantes, incidentes desde y para el
infinito. As el estado resultante, el estado | 0 iH , representa un agujero negro en equilibrio termico
con su propia radiaci
on en un confinamiento, tal como sera obtenido confinando el agujero negro en
el interior de una cavidad perfectamente reflectora. La cavidad debe ser lo suficientemente peque
na
para que el equilibrio sea estable.
6.4.
Estado de Unruh | 0 i
Si el universo contiene un agujero negro eterno, u

nicamente la observacion puede revelar cual de
los estados | 0 iH o | 0 iB , real y fsicamente se manifiesta. Sobre la variedad de Schwarzschild maximalmente extendida es posible construir otro estado de vaco, el cual reproducira los efectos de
una masa en colapso, este es el estado de Unruh | 0 iU .
Formalmente, | 0 iU est
a vaco de modos de frecuencia positiva con respecto al tiempo avanzado
ordinario v y al tiempo retardado de Kruskal U , en el espacio-tiempo vaco del agujero negro,
extendido analticamente. Es decir, | 0 iU se define en terminos de modos entrantes del infinito de
frecuencia positiva con respecto a t

, mientras aquellos que emanan del horizonte pasado se toman
de frecuencia positiva con respecto a U .
40
Entonces, el estado de Unruh es vaco en el infinito pasado I , carece del termino F in (v) en (6.6),
lo cual hace que el tensor momentum-energa de Hartle-Hawking (6.17) sea regular en el horizonte
pasado:
h Tab iU = h Tab iB + H out (u) u,a u,b .
(6.18)
De (6.18) se observa que en el infinito futuro I , h Tab iB tiende a cero y u

nicamente sobrevive el
segundo termino, representando el flujo termico caracterstico de un agujero negro en evaporaci
on.
De (6.17) y (6.18) se encuentra
h Tab iU = h Tab iH H in (v) v,a v,b ,
(6.19)
lo cual significa que existe un flujo entrante de energa negativa acompa

nante, a traves del horizonte
futuro.
De acuerdo con lo considerado arriba podemos decir que el estado de Unruh es el que mejor se
aproxima al vaco relevante para el colapso gravitacional de un cuerpo.
En este contexto es interesante hacer un modelo para un background geometrico estatico y mostrar
que la diferencia entre los tensores momentum-energa de los estados Hartle-Hawking y Boulware
tiene exactamente una forma termica.
Captulo 7
EUCLIDIANA
APROXIMACION
DE GIBBONS-HAWKING
La Teora General de la Relatividad Clasica tiene dos limitaciones importantes, no considera la
posible naturaleza cu
antica del campo gravitacional y no aportara condiciones de frontera para
las ecuaciones de campo en puntos singulares. Por estas razones debera desarrollarse una teora
cu
antica de la gravedad.
No existe a
un una teora completa, consistente con la Teora General de la Relatividad y que satisfaga las dos exigencias mencionadas. Sin embargo se han encontrado algunos resultados parciales
en esa direcci
on, relacionados con la conexion entre agujeros negros y termodinamica.
En el marco de las aproximaciones a una teora cuantica de la gravedad, la afinidad con la termodin
amica de agujeros negros se ha descrito en terminos de integrales de camino:
Considere la amplitud para ir de un estado con una metrica g1 y campos de materia 1 sobre una
superficie S1 a un estado con una metrica g2 y campos de materia 2 sobre una superficie S2 ,
como una suma sobre todas las configuraciones de campo g y que toman los valores sobre las
superficies S1 y S2 :
Z
hg2 , 2 , S2 |g1 , 1 , S1 i = D[g, ]eiI[g,] ,
(7.1)
donde D[g, ] es una medida sobre el espacio de todas las configuraciones de campo g y , I[g, ]
es la acci
on de los campos.
En la Teora General de la Relatividad, usualmente se toma la accion:
Z
Z
1
I=
(R 2)(g)1/2 d4 x + Lm (g)1/2 d4 x,
16
(7.2)
donde R es el escalar de curvatura, es la constante cosmologica, g el determinante de la metrica

y Lm es la lagrangiana de los campos de materia.
La acci
on para la metrica g sobre una region Y con frontera Y tiene la forma
41
CAPITULO 7. APROXIMACION
1
I=
16
1/2 4
R(g)
d x+
B(h)1/2 d3 x,
42
(7.3)
donde B es un termino de superficie, que para el caso de metricas asintoticamente planas, se puede
escribir
1
[],
(7.4)
8
donde [] es la diferencia en la traza de la segunda forma fundamental de Y en la metrica g y la
metrica para el espacio plano .
B=
Para resolver el problema de convergencia generado por el caracter real de la accion I[g, ] y
construir el ensamble can
onico para el campo , se introduce la accion euclidiana:
IE = iI,
(7.5)
la cual permite expresar la amplitud

Z
h2 , t2 |1 , t1 i =
D[]eiI[] ,
(7.6)
usando la imagen de Schr

odinger, como
h2 |eiH(t2 t1 ) |1 i = h2 |eH |1 i =
D[]e
R
0
d3 xL
(7.7)
donde se ha definido t2 t1 = i, = it. As, se esta haciendo una integral de camino sobre
todos los campos sobre un espacio-tiempo que es periodico en la direccion del tiempo imaginario
con periodo .
Si se exige que 1 = 2 y se suma sobre una base completa ortonormal de configuraciones n , se
obtiene la funci
on de partici
on
Z
R
R 3
X
H
Z=
hn |e
|n i = D[]e 0 d d xL ,
(7.8)
n
correspondiente al resultado usual de la funcion de particion (de la radiacion de un cuerpo negro)

Z
X
Z=
eEn = D[]eiIE [] ,
(7.9)
n
del campo a la temperatura

T = 1 ,
(7.10)
donde En es la energa del estado n .

Es natural aplicar una complejificacion similar al campo gravitacional, es decir, la metrica:
Z
Z = d[g]d[]eIE [g,] .
(7.11)
43
Se espera que la contribuci

on dominante a la integral de camino proceda de las metricas y campos
cercanos a los extremos de la acci
on g0 , 0 , es decir, a la solucion de los campos clasicos. Entonces,
en principio, se puede expandir la accion en una serie de Taylor con respecto a los campos del
background (fondo) g0 , 0 ,
+ terminos de orden superior
IE [g, ] = IE [g0 , 0 ] + IE2 [
g , ]
(7.12)
y IE [g, ] es cuadratica en las perturbaciones g y .
donde gab = g0ab + gab , = 0 + ,

2
Para calcular la derivaci
on de la entropa Bekenstein-Hawking SBH de este formalismo, se requiere
calcular la acci
on de la metrica de fondo g0 a orden cero:
Z
Z
1
1
IE =
R gd4 x +
[]d.
(7.13)
16 Y
8 Y
De la expresi
on (7.11), se puede calcular la contribucion dominante a la funcion de particion
Z eIE [g0 ]
lnZ IE (extremal).
(7.14)
El caso m
as simple no trivial es la solucion de Schwarzschild:
R = 0, E = M .
Para calcular la integral no nula en (7.13) considerese
ds2 = f (r)dt2 +
dr2
+ r2 (d2 + sen2 d2 )
f (r)
(7.15)
con

2M
1
.
r

ln 3g
2 1 f0
1/2
K=
=f
+
,
n
r
2f
f (r) =
(7.16)
(7.17)
donde
Z
Z p
3
3g d x = 4r2 f 1/2 d
= f 1/2
n
r
3g es el determinante de la metrica para r constante.

Z
p
1
1 2
2
3g K d3 x =
4r2
f + (r) ,
8 r=cte
8 0
r
donde
= it,
(7.18)
(7.19)
(r) =
g00
44
(aceleracion propia)
1 0
f.
2 Z
Z
p
1
1
[K]d =
3g(K Kplano )d3 x,
8 Y
8 r
=
(7.20)
(7.21)
Con Kplano calculado de (7.19) cuando f (r) = 1,

2
.
r

Z
p

1
r2 2 p p
.
3g(K Kplano )d3 x =
f ( f 1) + (r)
8 r
0 r
r
Kplano =
Considerando que (r)
M
r2
(7.22)
f 1 M
r ,
1
8
Z
[K]d =
Y
2
1
,
M = M =
0
2
16
(7.23)
donde = 8M es el periodo de la solucion euclidiana de Schwarzschild, como se ilustrar

a a
continuaci
on.
En un colapso con simetra esferica el espacio-tiempo no depende de los angulos y , entonces,

1
2M
2M
ds2 = 1
dt2 + 1
dr2 .
r
r
(7.24)
Para eliminar la singularidad aparente en r = 2M , se define la nueva coordenada radial

:= 4M
1/2

2M
,
1
r
(7.25)
lo cual permite escribir a (7.24) como

ds2 =
2
dt2 +
(4M )2
r2
4M 2
2
d2 .
(7.26)
introduciendo la transformaci
on al tiempo imaginario, t = i , la metrica finalmente se reduce a
ds2 =
2
d 2 +
(4M )2
r2
4M 2
2
d2 .
(7.27)
Para
= cte :
S=
4M
d =
0
= 2.
4M
45
(7.28)
De acuerdo con (7.10)

T =
1
= 1 .
8M
(7.29)
Esto significa que los campos sobre un background de Schwarzschild se comportaran como si
estuvieran en un estado termico con temperatura expresada por (7.29).
.
Respecto a la entropa asociada, de (7.14), (7.13) y (7.23) se obtiene
2
.
16
Finalmente, recurriendo a expresiones usuales de la termodinamica, se calcula SBH :
ln Z
E=
ln Z
=
,
SBH = ln Z + E = 4M 2 =
(7.30)
(7.31)
1
A.
4
(7.32)
La entropa gravitacional intrnseca dada por (7.32) no tiene paralelo en otras teoras de campos
cu
anticos porque la gravedad admite diferentes topologas para la variedad espacio-temporal.
Es muy importante se
nalar que en este formalismo SBH surge como una contribucion de frontera
a la parte geometrica de la acci
on euclidiana, donde se excluye el termino de superficie asociado
al horizonte de eventos. Es decir, la aproximacion euclidiana de Gibbons y Hawking concibe la
entropa SBH de origen topol
ogico, dependiendo decisivamente de la presencia de un horizonte. Un
horizonte no extremal se representa por un punto regular en el sector euclidiano (Ver la figura 7.1),
as la presencia de un horizonte corresponde a la ausencia de una frontera interior en ese sector.
= 8 M
= 2
= 1
r=2M
r=constante
Figura 7.1:
Solucion Eucldea de Schwarzschild.
46
Captulo 8
MODELO DE LA PARED DE t
Hooft
Cuando se considera el n
umero de niveles de energa que una partcula puede ocupar en la vecindad de un agujero negro se encuentra una alarmante divergencia en el horizonte de eventos. Para
eleminar estas divergencias fsicamente inaceptables, G. t Hooft introdujo el ejercicio interesante
de ver que ocurrira si asumieramos que todas las funciones de onda desaparecieran en alguna distancia fija desde el horizonte de eventos. En consecuencia, t Hooft considero la termodinamica
estadstica de campos cu
anticos en el estado de Hartle-Hawking propagandose sobre el background
del espacio-tiempo de Schwarzschild. Para eliminar las divergencias cercanas al horizonte introdujo
una superficie esferica est
atica donde los campos satisfacen las condiciones de frontera de Dirichlet
o Neumann.
Es ilustrativo describir la naturaleza del modelo con la aproximacion corpuscupar a la termodin
amica estadstica de los campos:
Para mantener la energa de campo acotada, considerese la termodinamica de campos cuanticos
confinados en un volumen centrado en una estrella esferica de masa M y entre dos superficies
esfericas reflectoras, una interior con radio R0 = r0 + r y la otra exterior con radio R R0 ,
donde r0 es el radio del horizonte de eventos.
Sup
ongase que los campos cu
anticos estan definidos sobre el background geometrico de Schwarzschild entre las dos superficies esfericas a la temperatura local (on-shell) T (r) dada por la ley de
Tolman
k0
T (r) =
2

1/2
2M
1
,
r
(8.1)
donde k0 es la gravedad superficial.

Las longitudes de onda caractersticas de esta radiacion son peque
nas comparadas con las otras
magnitudes de longitud relevantes en la region de interes
47
CAPITULO 8. MODELO DE LA PARED DE T HOOFT
48

1/2
1
2
2M
cerca al horizonte
=
r0
=
1
T
k0
r
2
y a grandes distancias
'
R.
k0
(8.2)
Por esta raz

on se espera que la descripcion corpuscular sea una buena aproximacion a la termodin
amica estadstica de los campos.
La densidad de entropa s para partculas con masa en reposo m, energa E, velocidad v y momentum p, de acuerdo con observadores localmente estacionarios, esta dada por
s = ( + P ),
(8.3)
donde la densidad de energa y la presion P se expresan como

Z
E
4p2 dp,
E
e
Z0
N vp
P =
4p2 dp,
3 0 eE
(8.4)
=N
(8.5)
con = T 1 , = +1 para bosones y = 1 para fermiones y donde N da cuenta de las helicidades

y el n
umero de especies de las partculas.
La entropa total y la masa gravitacional de las excitaciones termicas se expresan por las integrales
Z
S=
s(r)4r
R0
Z R
M =
2M
1
r
1/2
dr,
(r)4r2 dr.
(8.6)
(8.7)
R0
Estas dos u
ltimas integrales tienen dos contribuciones dominantes, para r = R y r = R0 r0 . La
primera corresponde a un termino de volumen, proporcional a 34 r3 ; lo cual representa la entropa
k0
y energa de un gas cu
antico homogeneo en un espacio plano a la temperatura uniforme 2
.
La segunda es la contribuci
on del gas cuantico cerca a la pared interior r = R0 . De la expresion (8.1)
es evidente que, para describir esta u
ltima contribucion, es necesario introducir las aproximaciones
ultrarelativistas (E m,p ' E, v ' 1) en las integrales (8.4) y (8.5) porque la temperatura es
muy alta cerca de la pared interior para r peque
no. Entonces de esta aproximacion
4N 3
3N
T , = 2 T 4.
2
Sustituyendo (8.8) en (8.6) se obtiene la contribucion de la pared a la entropa total

s=
Spared =
4N
4R02
2
k0
2
3 Z
R0 +
R0
dr
1
,
2M 2
r
(8.8)
(8.9)
49
donde es una longitud arbitrariamente peque

na sujeta a la condicion r R0 .
La expresi
on (8.9) se puede escribir en terminos de la longitud propia del horizonte a la pared
interior:
Spared =
N 1
A,
902 4
(8.10)
donde A es el
area de la pared.
Similarmente, de (8.8) y (8.7) se encuentra que las excitaciones termicas cerca de la pared contribuyen con

k0
N
A
.
(8.11)
Mpared =
4802
2
Spared diverge en el lmite 0, pero con su apropiada escogencia es posible calcular la entropa
Bekenstein-Hawking.
De la expresi
on (8.10) se puede fijar tal que
Spared = SBH ,
(8.12)
introduciendo un corte (cutoff) por efectos de fluctuaciones cuanticas de la gravedad.

p
Si se escoge = lP lanck N/90, de (8.12) se obtiene el resultado problematico de t Hooft para
la energa debida a la contribuci
on de pared (excitaciones termicas cercanas a la pared)
3
M.
(8.13)
8
La anterior descripci
on local es derivable rigurosamente de la teora de campos cuanticos sobre
variedades curvas:
M =
Considere un campo escalar real (por simplicidad) descrito por la accion

Z
1
d4 x g [g + m2 2 ],
I=
2
donde g es el determinante de la metrica.
(8.14)
Sobre el background dado por

ds2 = f (r)dt2 +
dr2
+ r2 d2 ,
f (r)
(8.15)
(8.14) se reduce a la expresi

on
1
I=
2
dt d x r

1
(t )2 + f (r )2
f

1 ij
2
+ 2 i j + m ,
r
(8.16)
50
con xi (i = 1, 2) expresando coordenadas sobre la 2-esfera.

Se quiere estudiar el sistema finito del campo escalar confinado entre dos fronteras reflectoras, las
cuales est
an situadas en r = R0 y r = R, (R0 < R).
El campo escalar se cuantizar
a con respecto al tiempo de Killing t, es decir, se considerara como
estado base el estado de Boulware.
Lo que se quiere mostrar es que la mecanica estadstica resultante del campo escalar en el estado
de Boulware es equivalente al modelo de la pared.
Tratando el campo como un operador y expandiendolo en terminos de funciones que conforman
una base completa ortonormal,
(r, xi ) =
X
nlm
1
[anlm nl (r)Ylm (xi )einl t
2nl
+ anlm nl (r)Ylm (xi )einl t ],
(8.17)
donde Ylm (xi ) son los arm

onicos esfericos reales y {nl (r)} (n = 1, 2, ) es un conjunto de
funciones reales, el cual es completo con respecto al espacio de las funciones L2 sobre el intervalo
R0 r R para cada l,

1
l(l + 1)
2
2
2
(r
f
+
m
nl + nl nl = 0,
r
r nl
2
2
r
r
f
(8.18)
nl (R0 ) = nl (R) = 0,
Z
nl (r)n0 l (r)
R0
r2
dr = nn0 ,
f (r)
donde nl son los correspondientes valores propios.

Se pueden considerar las relaciones de conmutacion para los operadores anlm y anlm , equivalentes
a las correspondientes para y su variable canonicamente conjugada , de tal forma que el estado
de Boulware se define como
anlm |Bi = 0 ,
n, m, l.
(8.19)
La energa libre F est

a dada por
eF tr[e :H: ] =
Y
nlm
1
,
1 enl
donde :H: es el Hamiltoniano en orden normal y = T 1 (a grandes distancias).

Para calcular explcitamente la energa libre es valido usar la aproximacion WKB:
Los modos nl (r) se pueden reescribir como
(8.20)
51
nl (r) = nl (r)eikr ,
(8.21)
y adem
as suponer que nl (r) vara lentamente,

r nl

nl |k| ,
es decir,
2

r nl
2

nl |k| .
As la ecuaci
on de campo (8.18) para nl se puede reducir a la expresion

2
1 nl
l(l + 1)
2
m
k 2 (l, nl ),
f f
r2
puesto que de (8.22) se puede asumir que

r (r2 f )

r2 f |k|.
(8.22)
(8.23)
(8.24)
Bajo la aproximaci
on arriba, considerando k 2 (l, ) 0, se puede calcular la energa libre aproximadamente por
Z
1
dg()
F '
ln(1 e )
d,
(8.25)
0
d
donde g() es el n
umero de modos con frecuencia menor que .
Explcitamente (8.25) se expresa como
Z
F '
F (r)4r2 dr,
(8.26)
R0
donde la densidad de energa libre F (r) esta definida por

Z
1
4p2
dp,
F (r)
ln(1 e(r)E )
(r) 0
(2)3
(8.27)
con el inverso de la temperatura local (r) expresado por la ley de Tolman y la energa E por
p
p2 + m2 .
Finalmente la energa total U y la entropa S se calculan con las expresiones usuales de la mecanica
estadstica,
U = tre(F :H:) : H :] =
(F :H:)
S = tr[e
ln e
(F :H:)
(F )
=
]=
2 F
(r)4r2 dr,
(8.28)
R0
=
R0
dr
s(r)4r2 p
,
f (r)
(8.29)
donde la densidad (r) y la densidad de entropa s(r) estan definidas por

(r) =
((r)F (r))
=
(r)
Z
0
E
e(r)E
4p2 dp
,
1 (2)3
(8.30)

s(r) = 2 (r)
F (r)
= (r)((r) + P (r)),
(r)
52
(8.31)
con la presi
on P (r) definida como P (r) = F .
Observese que estas u
ltimas expresiones son exactamente como las expresiones (8.3)-(8.5).
Es importante notar que la descripcion local de la mecanica estadstica es equivalente a la correspondiente de campos cu
anticos sobre una variedad curva, la cual es definida globalmente y cuyo
estado base es el estado de Boulware.
La contribuci
on a la masa est
a dada por
hM i = U + MB ,
(8.32)
donde U est
a expresada por (8.28) e igual a M definida en (8.7). MB es la energa del punto
cero del estado de Boulware.
El modelo original de t Hooft presenta una seria inconsistencia, predice la existencia de una gran
densidad de energa termica cerca a la pared introducida, produciendo una substancial correcci
on
a la masa y por lo tanto, presumiblemente, un gran back-reaction gravitacional. Ademas, es ampliamente sostenida la opini
on que la contribucion a la entropa por estas excitaciones termicas es
la correcci
on a un loop de la contribucion a cero-loop del modelo de Gibbons-Hawking. La inconsistencia termica se resuelve notando que una interpretacion estricta del modelo de la pared indica
que este no representa a un agujero negro sino el exterior de un objeto como una estrella con una
superficie reflectora, comprimida hasta cerca de su radio gravitacional. Entonces, el estado de vaco
para los campos cu
anticos propag
andose a su alrededor no es el estado de Hartle-Hawking sino el
estado de Boulware, lo cual se introdujo en la derivacion anterior a partir de la expresion (8.14). S.
Mukohyama y W. Israel, con base en esta re-examinacion del modelo de t Hooft, propusieron una
soluci
on a las inconsistencias del modelo y encontraron, a diferencia de la opinion generalizada,
que el instant
on de Gibbons-Hawking y el modelo de la pared son descripciones alternativas de la
misma fsica.
Parte III
ENTROPIA DE
ENTANGLEMENT DE
AGUJEROS NEGROS
53
Captulo 9
ENTROPIA DE
ENTANGLEMENT
La entropa de entanglement es una entropa estadstica basada u
nicamente en la division espacial
del sistema y en la existencia de estados puros construdos con estados asociados a cada region y
correlacionados cu
anticamente, independientemente de la teora, en principio.
9.1.
Definici
on
Considerese un sistema que pueda ser dividido en dos subsistemas, y el espacio de Hilbert H
asociado al sistema pueda ser construido por el producto tensorial
2,
H = H1 H
denota un
donde H1 y H2 son los espacios de Hilbert correspondientes a los subsistemas y
producto tensorial con su apropiada completez.
Cualquier elemento u H que se pueda escribir:
u = v;
v H1 ,
H2 ,
se le denomina elemento primario; y si no se puede escribir de esa manera, se denomina elemento

entanglado.
De un elemento u H, con norma uno, se construye el operador b:
b v = (u, v)u ,
v H,
donde (u, v) es el producto interior asociado, el cual es antilineal con respecto a u.

De b se define otro operador bR :
bR y =
fj (ei fj , b ei y) ,
i,j
54
y H2 ,
CAPITULO 9. ENTROPIA DE ENTANGLEMENT
55
donde {ei } y {fj } son bases ortonormales de H1 y H2 , respectivamente.

La entropa de entanglement se define como:
Sent : H R+ ( n
umeros reales no negativos)
Sent [] = Ktr[R ln R ].
Lo anterior se puede interpretar de la siguiente manera: si un estado u H, no es un estado
entanglado, bR permanece puro y Sent [] = 0. Si u es un estado entanglado, bR es de caracter
mezclado y Sent 6= 0. Entonces, la entropa de entanglement Sent es una medida de la naturaleza
entanglada (o correlaci
on EPR) del estado original.
Una propiedad muy importante de la entropa de entanglement es que esta es simetrica bajo el
intercambio de H1 y H2 .
9.2.
Entropa proporcional al
area
Una propiedad sugestiva de la entropa de entanglement es que es proporcional al area de la

superficie que separa las dos regiones consideradas en la definicion introducida arriba:
CA
,
(9.1)
a2
donde C es una constante y a es un parametro relacionado con un corte (cutoff) de la teora, puesto
que en general la constante de proporcionalidad es infinita.
Sent =
En este sentido, Bombelli et. al. propusieron un metodo que se denominara Aproximacion B.K.L.S.,
para calcular una entropa estadstica la cual se puede interpretar como una contribucion a la
entropa total de un agujero negro. Posteriormente a las publicaciones de M. Srednicki y FrolovNovikov, esta aproximaci
on de entanglement aplicada a la termodinamica de agujeros negros ha
sido ampliamente desarrollada.
Respecto al programa de investigacion de la entropa de entanglement, cuatro formulaciones, realmente, han sido las ideas seminales: (1) Dinamica de campos termicos de agujeros negros, (2)
SBH como entropa de entanglement (BKLS), (3) Origen dinamico de la entropa de agujeros
negros y (4) Aproximaci
on de Entanglement Formal -Euclidiana . (1) & (3) son estrctamente apropiados para describir la entropa de entanglement de agujeros negros. En algunos casos
(4) parece ser una aproximaci
on de entanglement, pero realmente este grupo corresponde a las
aproximaciones euclidea o ligeramente euclideas no convencionales. Respecto a (2), en general, no
describe entropas termicas y no describe apropiadamente agujeros negros.
Una propiedad muy importante de la entropa de entanglement es que esta es simetrica bajo el
intercambio de H1 y H2 .
Captulo 10
TERMODINAMICA
DE
ENTANGLEMENT DE
AGUJEROS NEGROS
10.1.
Formulaci
on cl
asica
Considere un campo escalar definido sobre la geometra que muestra la figura 10.1, con una
metrica est
atica dada por la expresion
ds2 = gab dxa dxb + g00 dt2 .
(10.1)
V
F
+ =1
+ =0
R
Z
L
=1
=0
Figura 10.1:
Espacio-tiempo de Schwarzschild extendido maximalmente
El campo satisface la ecuaci
on de campo
(2 m2 ) = 0 ,
donde el operador dAlembertiano 2 se expresa por
56
(10.2)

DE ENTANGLEMENT DE AGUJEROS NEGROS
h
i
h
i
2 = (g)1/2 0 (g)1/2 g 00 0 + (g)1/2 a (g)1/2 g ab b ,
57
(10.3)
con g det g .
Un conjunto de modos de soluci
on de la ecuacion (10.2) para cada sector R y L es el siguiente
1
(t, xa ) = (r) Ylm (, ) p
eit ,
2||
x xa = (r, , ) ,
(10.4)
lm .
Reemplanado (10.4) en (10.2) se obtiene

2
l(l + 1)
1 d
d (r)
2
2
m (r) = 0 ,
r f (r)
+
r2 dr
dr
f (r)
r2
(10.5)
donde f (r) g00 .

Definiendo
dr
dr
,
f (r)
d
d
= f (r)
,
dr
dr
la expresi
on (10.5) se puede escribir como

d
l(l + 1)
d
2
r2
+
m
f
(r)
(r) = 0 .
r2
(r) + 2
dr
dr
r2
(10.6)
(10.7)
Existen dos soluciones especiales +

on (10.7), definidas por las condi (r) y (r) para la ecuaci
ciones de frontera
ir
,
(r) e
para r r0
o
(10.8)
(horizonte de eventos)
r ,
las cuales corresponden a modos entrantes y salientes sobre el horizonte en el sector R.

Reemplazando (10.8) en (10.4), se obtiene para +
1
+
a
eit
+
(t, x ) = (r) Ylm (, ) p
2||
1
= Ylm (, ) p
eiu ,
2||
(10.9)
(10.10)
donde se defini
o
u t r
y v t + r .
(10.11)

58
En general, (10.10) se puede escribir como

a
OUT
+
(t, x ) = (r) Ylm (, ) p
1
2||
a
eiu = OUT
(u, x ) ,
(10.12)
la cual tiende a (10.10) cuando r r0 .

Similarmente para
,
1
a
IN
a
eiv = IN
(v, x ) .
(t, x ) = (r) Ylm (, ) p
2||
(10.13)
Finalmente, +
erminos de los tiempos de Kruskal U y V :
y se pueden escribir en t
()
a
(U, xa ) = (U ) OUT
(u, x ),
()
(V, xa )
(10.14)
a
= (V ) IN
(v, x ) ,
donde es la funci
on de paso unitaria, y = 1.
()
La figura 10.2 ilustra claramente el desplazamiento de los modos sobre el espacio-tiempo de

Schwarzschild extendido maximalmente.
V
(+)(V)
()(U)
Z
(+)
(U)
os es
od nt
m tra
en
sa mod
lie o
nt s
es
()
(V)
Figura 10.2:
Modos de Campo desplaz
andose sobre el espacio-tiempo de Schwarzschild extendido
maximalmente
Consistentemente con la descripci
on de modos hecha arriba, considere t-modos para el sector R
()
y Killing-Boulware (KB)-modos para cada sector R y L, expresados como (x, t) y (x),
respectivamente:
(x, t) = (x) p
()
1
2||
eit ,
(x) = (x, t) (x) ,
(10.15)
(10.16)

59
donde
(x)
1
{(U ) + (V )} ,
2
(10.17)
con los productos escalares K-G

( , 0 ) = () 0

()
(0 )
, 0 = () 0 0 ,
(10.18)
(10.19)
donde,
() sign()
0 = ( 0 ) kk0 ll0 mm0 ,
k 1
correspondiente a (10.8) .
Los (K-B)-modos comparten las misma metrica estatica (10.1) pero con diferente signo para el
tiempo coordenado. M
as precisamente, (K-B)-modos son modos de frecuencia positiva con respecto
al tiempo epsilon de Killing t en cada uno de los sectores L, R.
x toma el mismo valor en puntos especulares en L y R. Estos dos puntos se distinguen por diferentes
partes imaginarias de t+ :
(
i
t + 2
,
xR
0
(10.20)
t+ =
i
x L.
t 20 ,
x (x ) = (x, t+ ) ,
0 : Gravedad superficial.
De (10.2), para los modos (x), se calcula
1/2
(g)

1/2 1 2
2 m2 = L + (g)
g00 t ,
donde
h
i
1/2 ab
L a (g)
g b m2 g .
L (x) = 2 (x) ,
(10.21)
(10.22)
con
(x)

g g 00 .
(10.23)
Entonces, de (10.22) se puede escribir

2 m2 g (x) = a
g g ab b (x) .
(10.24)

60
Si (x) es una funci

on arbitraria, no necesariamente un modo, se puede expresar

g g ab ,a ,b +m2 = L + a ( )
(10.25)
= L + a ( )
= 2 + a ( ) .
(10.26)
Para un conjunto completo de modos dados por (10.16), se tiene la relacion de completez
X
1
(x) (x0 ) = 3 (x x0 ) ,
(x)
2
(10.27)
y la relaci
on de ortogonalidad
Z
d3 x (x) 0 (x) (x) = 0 .
(10.28)
Adicionalmente a los (K-B)-modos considerese los modos Kruskal-Hartle-Hawking (KH2 )-modos

()
expresados como (x), los cuales son de frecuencia positiva con respecto a los tiempos de Kruskal
U , V sobre la variedad completa (ver el apendice, parte V ):
()
()
(x) es de frecuencia positiva con respecto al tiempo de Kruskal si > 0, y (x) es de

frecuencia negativa con respecto al tiempo de Kruskal si < 0.
Estos modos satisfacen la relaci
on de ortogonalidad

()
(0 )
, 0 = () 0 0 .
()
(10.29)
()
Los modos (x) y (x) est

an relacionados por la transformacion de Bogolubov
()
()
()
(x) = (x) cosh +
(x) sinh ,
(10.30)
donde
tanh = e||/0 ,
(10.31)
y 0 es la gravedad superficial, la cual se obtiene de (12.13), (10.15) y (10.16).

Tambien de all se calcula
s
()
(x)
sinh cosh
(x) eit() .
2||
(10.32)
El sentido fsico de la transformaci

on (10.30) esta fundamentado en la invariancia de la accion S[]
y la hamiltoniana H bajo esta transformacion, de acuerdo a la accion
!
Z
Z
Z
X
4
()
dt
L () ,
(10.33)
S[] = L[] d x = L[] dt+ =

oo + i /2k0
t+ = oo i /2k0
oo + i /2k 0
61
t+ = oo + i /2k 0
R:
L
Re t +
L:
oo i /2k 0
oo i /2k 0
t + = oo i /2k 0
t+ = oo + i /2k 0
Figura 10.3:
Regiones de integracion para la accion
donde las regiones de integraci

on para la primera y segunda integral corresponden a la segunda y
primera figura del diagrama 10.3, respectivamente.
La contribuci
on del sector L a la accion S aparece con signo negativo porque t and t+ corren
retrogradamente en el sector L como se muestra en la figura adjunta.
La lagrangiana especfica L est
a dada por
L=
L() () ;
L() () =
L() () d3 x ,
(10.34)

g 00 2
g ,t g ab ,a ,b +m2 2 (x) .
2
La correspondiente hamiltoniana H es la siguiente
L() () =
H=
H () (, ) ,
H () =
H() d3 x ,
(10.35)
(10.36)
con
(x) =
L
= (x) (x) ,t ,
,t
(10.37)
H() = ,t L() = H(+) () H() () ,

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

1 1 2 1
()
ab
2 2
+
H (, ) =
g g ,a ,b +m
(x) .
2
2
(10.38)
(10.39)
(10.40)
Los c
alculos Off-shell de (10.34) se pueden desarrollar de la forma siguiente:
reemplazando (10.35) en (10.34), se obtiene
L() () =
1
2
1
2
g g 00 2 ,t
d3 x (x)

g g ab ,a ,b +m2 2 d3 x (x) .
(10.41)

62
Luego, considerando las expresiones (10.23), (10.27) y la identidad

Z
(x) = d3 x0 3 (x x0 )(x0 ),
la primera integral en (10.41) se puede calcular por
ZZ
g g 00 2 ,t
d3 x =
d3 x d3 x0 (x) (x0 )
(x) 2 d3 x =
!
1 X 0
(x ) (x) (x) (x0 ) .
2
(10.42)
La segunda integral en (10.41) se calcula usando (10.26) y (10.27)

Z
d3 x
ZZ

g g ab ,a ,b +m2 2 =
3 0
!
1 X 2
0
(x) (x ) (x) (x0 ) .
2
d x d x (x) (x )
(10.43)
Finalmente, sustituyendo (10.42) y (10.43) en (10.41) se obtiene
L() () =
ZZ

d x d x0 (x) (x0 ) I(x, x0 ) (x) (x0 )
V (x, x0 ) (x) (x0 )} .
(10.44)
Para (10.36), similarmente, se calcula H () (),
H () () =
1
2
ZZ
d3 x d3 x0 (x) (x0 ) {I(x, x0 ) (x) (x0 )

+V (x, x0 ) (x) (x0 )} ,
(10.45)
donde,
I(x, x0 ) (x) (x0 ) I(x, x0 ) ,
I(x, x0 )
1X
(x) (x0 ) ,
2
(10.46)
V (x, x0 )
X
1
(x) (x0 )
2 (x) (x0 ) .
2
(10.47)
Un c
alculo interesante es la evaluacion on-shell de (10.36):
De (10.25) se puede escribir

g g ab ,a ,b +m2 2 = L + a ( ) .
(10.48)

63
Para este c
alculo on-shell, se puede expandir en los modos (10.16):
(x) =
() ()
(x) =
,
L =
()
()
(10.49)
() ()
(10.50)
(x) b .
,
()
()
L (x) b =
,
2 2 b ,
,
donde se uso (10.22), (10.15) y (10.16).

Del producto entre (10.49) y (10.50), se obtiene

() (0 ) () (0 )
2 0 b b0
L =
,,0 ,0
+ conjugada hermtica) ,
(10.51)
con
()
(0 )
0 =
1
(x) 0 (x) (x) 0 (x),
2||
de acuerdo a (10.15) y (10.16).

Finalmente, de (10.48) y (10.40) se calcula sobre el sector R
Z
d3 x g g ab ,a ,b +m2 2 =
X1
1 2 d3 x =
X1

(+) (+)
(+) (+)
|| b b + b b
,
(10.52)

(+) (+)
(+) (+)
|| b b + b b
.
(10.53)
Similarmente para el sector L. Entonces, de (10.36)

H[, ] =

X 1
() ()
() ()
|| b b + b b
.
2
(10.54)
,
El hamiltoniano H es invariante bajo la transformacion de Bogolubov (10.30). As,

X
()
() ()
b b ,
(10.55)
H[, ] =
()
a a =

X 1
() ()
() ()
|| a a + a a
,
2
,
(10.56)

64
donde se consider
o
()
()
()
a = b cosh b
sinh ,
(10.57)
()
y a corresponde a la expansi
on
(x) =
()
()
a (x) .
(10.58)
,
10.2.
Formulaci
on cu
antica
Considere los esquemas de cuantizacion de Boulware and Hartle-Hawking, es decir, para los modos
(10.16) y (10.32), respectivamente:
(x) =
()
()
a (x) =
,
()
()
b (x) ;
(10.59)
,
()
()
a = b cosh b
()
sinh = eiG b eiG ,
(10.60)
de acuerdo a (10.57) y donde,

1 X
() ()
i
() b b
2
,

X
X (+) ()
(+) ()
=i
b b b b
G ;
G = G
(10.61)
(>0)
(>0)
h
i h
i
() (0 )
() (0 )
a , a0
= b , b0
= () 0 0 ;
(10.62)
con los estados de vaco definidos por

()
a | 0 iH = 0 ,
()
b | 0 iB = 0 ,
( > 0) .
(10.63)
De acuerdo a (10.60), estos estados de vaco estan formalmente relacionados por

| 0 iH = eiG | 0 iB .
(10.64)
Esta u
ltima relaci
on debe tratarse con alguna precaucion, porque estrictamente | 0 iH y | 0 iB son
unitariamente inequivalentes.
Una forma m
as explcita de expresar (10.64) se puede obtener factorizando el operador exp {iG}
en terminos de los operadores de creacion y aniquilacion, lo cual se hace recurriendo a la identidad
generalizada de Baker-Campbell-Hausdorff (BCH):
Si dos operadores A,B y su conmutador C satisfacen las relaciones de conmutacion

[A, B] = C ,
[C, A] = 2 n2 A ,
[B, C] = 2 n2 B ,
65
(10.65)
para alg
un n
umero n, real o complejo, entonces para cualquier parametro ,
1
e(A+B) = e n (tanh )A e 2n (sinh 2n)B e n2 (ln cosh n)C .
(10.66)
Ahora se puede definir

(+) ()
b
(+) (+)
b
+ b
A b
(+) ()
B b b
> 0.
entonces,
C = b
() ()
b
y las relaciones de conmutaci

on (10.65) se satisfacen con n = 1, lo cual significa que (10.66) es
aplicable.
De acuerdo a la relaci
on (10.61), se obtiene directamente
eiG | 0 iB = e(A +B ) | 0 iB
(+) ()
1
=
e(tanh )b b | 0 iB
cosh

E
1 X
(+) ()
(tanhn ) n , n
,
=
cosh n=0
B
(10.67)

E
(+) ()
es el estado de Boulware con un n
umero igual n de B-modos correlacionados
donde n , n
B
en el estado (es decir, especificado por los n

umeros cuanticos = , k, l, m con > 0) en los
sectores L y R.
La expresi
on (10.67) se puede escribir como
1
eiG | 0 iB = Z 2

E
1
(+) ()
e 2 n n , n
,
(10.68)
n =0
donde se introdujo en terminos de la temperatura de Hawking TH , tal que

1 = TH =
ko
,
2
(10.69)
se reescribi
o (10.31) como
tanh = e
||
k0
= e 2 ,
> 0,
(10.70)
y finalmente se calcul
o
cosh2 =
X
1
=
en Z .
1 e
n=0
(10.71)

66
De acuerdo a (10.61), la expresi

on (10.64) se pudo reducir a
| 0 iH =
eiG | 0 iB ,
(10.72)
>0
1
| 0 iH = Z 2

E
1

,
e 2 En n(+) , n()
(10.73)
donde,
n {n , para todo con > 0} ;
X
X
Y
En =
n , Z =
eEn =
Z .
n
>0
(10.74)
>0
Un resultado importante es el siguiente:

ambos estados de vaco , | 0 iH y | 0 iB , tienen energa cero,
H | 0 iH = H | 0 iB = 0 ,
(10.75)
con H dado por (10.54) y (10.56).

El estado de vaco | 0 iB ha sido escrito como un estado global, pero este realmente no existe como
estado global definido sobre L + R, porque los (KB)-modos no son de frecuencia positiva para
()
alg
un par
ametro temporal definido globalmente all. El estado | 0 iB esta vaco de (KB)-modos
de frecuencia positiva con respecto al tiempo de Killing t (dirigido al futuro) en cada uno de los
sectores L, R.
Considere el estado de vaco de Boulware | 0 iBR definido sobre el espacio de Kruskal completo:
De la expresi
on (10.73), es claro que
1
| 0 iH = Z 2
e 2 En | n iBL | n iBR ,
(10.76)
donde, | n iBL y | n iBR son excitaciones de los estados de Boulware | 0 iBL y | 0 iBR , respectivamente.
De (10.76) se puede pensar acerca de
1
| 0 iBR (sobre L + R) = Z 2
X
n
e 2 En | n iBL | 0 iBR ,
(10.77)

67
y el valor esperado
D
BR
2
E

X
1
1
(+) (+)
0 b b 0 BR = Z 2
e 2 E n
n
E
D
(+) (+)
b
b
h
0
|
n

BR
BL
n BL | 0 i BR
2
X 1
1
e 2 E n
= Z 2
n
h n | n i BL
E
D
(+) (+)
0 b b 0 BR = 0 .
BR
BL
(10.78)
Este u
ltimo resultado significa que el estado de Boulware | 0 iBR se puede definir sobre el espacio
completo de Kruskal como | 0 iH despoblado de todos los modos de Boulware | n iBR en el sector R.
Este estado de Boulware parroquial | 0 iBR esta definido sobre el sector R u
nicamente, vaco de los
(+)
modos de Killing de frecuencia positiva , donde t esta bien definido y es regular sobre R.
(+)
| 0 iBR = 0 ,
> 0.
(10.79)
()
| 0 iBl = 0 ,
> 0.
(10.80)
b
Similarmente para el sector L, donde
Para interpretar el significado fsico de los esquemas de cuantizacion introducidos arriba, considere
los siguientes c
alculos:
expresado por (10.54), con respecto al estado de Boulware | 0 i
I. El valor esperado de H,
BR
global con respecto al estado global de
definido por (10.77), es decir, el valor esperado de H
Boulware:
D E

0 H
0 BR =
2
X
1
Z 21
e 2 En
BR
BR
Z 1
h0|
X
BL
hn|
eEn
h0|
l,m 0
Z

(+) (+)
() ()
d b b b b
| n i BL | 0 iBR =
d
0
{n }
BR
XZ
D
BL

E
(+) (+)
() ()
n b b b b
n BL | 0 iBR ,
(10.81)

68
donde, de (10.54) se obtuvo

H=

(+) (+)
() ()
|| b b b b
;
XZ
l,m
d .
(10.82)
R
P
Q P
P
Adem
as, se introdujo la notacion: {n } () = n (), ln Z = f () 0 d N () f (),
con N () d correspondiente a los modos admisibles en el rango (, + d).
D
BR
Z
E
X

eEn
0 H
0 BR = Z 1
{n }
E
E
D
D
(+) (+)
() ()
h n | n i BL BR 0 b b 0 BR BR h 0 | 0 i BR BL n b b n BL
Z
E
D
X
() ()
= Z 1
eEn
d BL n b b n BL
BL
{n }
= Z 1
eEn
d n
0
{n }
= Z 1
eEn En = h E i .
(10.83)
{n }
La energa negativa obtenida en (10.83) corresponde a la energa negativa de modos de subhorizonte, propagandose en L desde P , y saliendo de L incidiendo en F .
local , de (10.40) y (10.54),
II. El valor esperado de H
Z
Hl =
H(+) d3 x =

1X
(+) (+)
(+) +
|| b b + b b ;
2
(10.84)
y respecto al estado global | 0 iH , descrito por (10.76):

E

0 H
l 0 H =
X
Z 1
eEn BR h n |
D
{n }
BL
hn|
XZ
l,m
(+) (+)
b
d (b
E

0
Hl 0 H =
H
Z
D
X
d BL h n | n i BL BR n
Z 1
eEn
1
+ ) | n i BL | n i BR
2
(10.85)
{n }

E
(+) (+)
b b n BR + Z.P.E. ,
donde Z.P.E. es la energa de punto cero.

D E

0 H
H
l 0 H = +h E i ,
(10.86)
(10.87)

69
no considerada Z.P.E.
El resultado (10.87) significa que un observador estatico en la region R, percibe el estado de

vaco | 0 iH como termicamente excitado respecto al estado de vaco | 0 iBR .
global (10.54) con respecto a | 0 i global (10.76):
III. El valor esperado de H
H
E

0 H
0 H=
Z
X
Z 1
eEn
d BR h n |
D
{n }
= Z 1
X
{n }
eEn
D
BL
E

(+) (+)
() ()
n b b b b n BL | n iBR
d (n + n )
0
= h E i + h E i = 0 .
(10.88)
La energa negativa en el sector L cancela la energa positiva en el sector R, de acuerdo a

(10.88).
IV. Similarmente, los c
alculos para el sector izquierdo conducen a los resultados
BL
H
h 0 | H | 0 i BL = h E i
(10.89)
h 0 | Hl | 0 i H = h E i .
(10.90)
Volviendo a los c
alculos (off-shell), donde las ecuaciones de movimiento (10.2) ( equivalentemente
H
H
, ,t =
,
(10.91)
las cuales no se presume que se tengan desde el comienzo, en lugar de ello,) se derivan de variaciones
de la acci
on. Entonces, se cuantiza el sistema con base en el esquema de la cuantizacion canonica,
considerando el campo como un operador y postulando las relaciones de conmutacion
,t =
[(x), (x0 )]t0 =t = i 3 (x x0 ) (x, x0 ) ,

0
[(x), (x )]t0 =t = [(x), (x )]t0 =t = 0 ,

donde
(
(x, x0 )
X

(x) (x0 ) =
1 si x, x0 pertenecen al mismo sector L, R

0 si x, x0 pertenecen a sectores opuestos
(10.92)

70
Si las relaciones de conmutaci

on (10.92) se postulan validas para un instante t, entonces ellas se
preservan para todos los tiempos por evolucion de las ecuaciones (10.91).
(x) =
() (x) ,
() (x) = () (x) =
()
()
b (x) ,
(10.93)
por consiguiente,
0
( ) (x0 ) =
(0 )
(0 )
0 (x0 ) .
X
L
()
()
(x) =
= (x) (x) ,t = (x) (x)
(i) (x) b ,
,t
(10.94)
,
donde
(x)
(x) = + (x) (x) .
(10.95)
[(x), (x0 )] = i(x) (x)
h
i
()
(0 )
() (0 )
(x) 0 (x0 ) b , b0
.
(10.96)
,,0 ,0
(0 )
()
= i(x) (x)
|| (x) 0 (x0 ) [ 0 () 0 ] ,
(10.97)
,,0 ,0
y donde se reemplaz
o (10.62).
[(x), (x0 )] = i(x) (x)
()
()
|| (x) (x0 )
,
(x) it0
(x0 ) it
e
e (x0 )
|| p
(x) p
2||
2||
,
X
0
1
||
(x) (x0 ) (x) (x0 ) ei(tt )
= i(x) (x)
2||
,
!
!
X
X
0
1
0
0
= i(x)
(x) (x )
(x)
(x) (x ) ei(tt )
2

= i(x) (x)
= i(x, x ) (x x ) e
i(tt0 )
(10.98)
donde se usaron (10.2) y (10.27).
Este u
ltimo resultado, para t = t0 , muestra que las relaciones de conmutacion (10.62) son compatibles con las relaciones (10.92), puesto que adicionalmente al reemplazo de una de ellas (10.62) en
(10.96),
X () ()
X ()
(x) =
b (x) =
a (x) ,
,
,
es invariante bajo las transformaciones de Bogolubov (10.30), (10.57), por consiguiente as es ,t

y (x) por (10.94).

10.3.
71
Entropa t
ermica de Entanglement
Para calcular la entropa S asociada a la matriz densidad reducida (+) , dada por
S = tr ((+) ln (+) ),
with,
(+)
(10.99)
= trB () H ,
(10.100)
H = | 0 i H H h 0 | ,
(10.101)
donde se ha sumado sobre los grados de libertad correspondientes al sector L, es necesario previamente describir su naturaleza termica, es decir, la distribucion de densidad de energa y presi
on
para los estados de Boulware y Hartle-Hawking, como tambien localizar precisamente la entropa.
Sin este ambiente termico el procedimiento general del calculo de la entropa de entanglement sera
puramente formal.
De (10.76) se calcul
o (10.101) y (10.100):

E
D
X

eEn n(+) B B n(+) ,
(+) = Z 1
(10.102)
donde Z se expresa por (10.74), con

Z =
en =
n=0
1
.
1 e
(10.103)
As, (+) es una matriz termica reducida de entanglement.

De acuerdo con el apendice A, considerese el valor esperado para la componente T00 con respecto
a los estados de Boulware y Hartle-Hawking para un campo escalar definido sobre (10.1).
En general, para el campo escalar , el valor esperado del tensor momentum-energa T (x, x0 ) se
expresa por
h T (x, x0 ) i = D 0 W (x, x0 ) ,
(10.104)

1
T = , , g 0 , +m2 2 ,
2
(10.105)
donde
para el acople minimal;

D 0 = ( 0 )

1
g 0 + m2 ,
2
(10.106)
y W (x, x0 ) es la funci
on de Wightman
W (x, x0 ) = h 0 | (x) (x0 ) | 0 i .
(10.107)

72
En lo que respecta al estado de Boulware | 0 iB , la funcion de Wightman esta dada por

WB (x, x0 ) =
h 0 | (x) (x0 ) | 0 i B
X () ()
(0 ) (0 )
= B h0|
b (x) b0 0 (x0 ) | 0 i B ,
B
(10.108)
,,0 ,0
donde se uso la expansi

on (10.59).
(10.109)
As, recurriendo al resultado
E
D
() (0 )
0 b b0 0 B = ( ) 0 0 ,
X
()
()
WB (x, x0 ) =
( ) (x) (x0 ) .
(10.110)
(10.111)
,
()
puesto que (x) es proporcional a (x) (dada por (10.17)), WB (x, x0 ) = 0 si x, x0 estan en
sectores opuestos L, R.
Similarmente se obtiene para | 0 iH ,
WH (x, x0 ) =
0
H h 0 | (x) (x ) | 0 i H
X
()
()
=
( ) (x) (x0 ) .
(10.112)
,
Usando las transformaciones de Bogolubov (10.30), WH (x, x0 ) se puede expandir como

h
i
X
()
()
()
()
WH (x, x0 ) =
( ) cosh2 (x) (x0 ) + senh2 (x) (x0 ) ,
(10.113)
,
()
()
para x, x0 en el mismo sector, puesto que (x)

pertenecen al mismo sector.
(x0 ) (x) (x0 ) = 0, cuando x, x0
De (10.111) and (10.113)

WH (x, x0 ) WB (x, x0 ) = (WH WB )(x, x0 )
h
i
X
()
()
()
()
=
( ) cosh2 1 (x) (x0 ) + senh2 (x) (x0 )
,
h
i
()
()
()
()
( ) senh2 (x) (x0 ) + (x) (x0 ) ,
,
para x, x0 en el mismo sector.
(10.114)

73
(WH WB )(x, x0 ) =
h
i
Xn
(+)
(+)
()
()
() senh2 (x) (x0 ) + (x) (x0 )
h
io
()
()
(+)
(+)
+ () senh2 (x) (x0 ) + (x) (x0 ) .
(10.115)
(WH WB )(x, x ) =
h
i
X
(+)
(+)
()
()
senh2 (x) (x0 ) + (x) (x0 ) ,
(10.116)
donde se uso la identidad

() + () = 1 .
0
(WH WB )(x, x ) =
h
i
X
1
(+)
(+) 0
()
() 0
(x)
(x
)
+
(x)
(x
)
,
e|| 1
(10.117)
donde se introdujo
senh2 =
tanh2
,
1 tanh2
para tanh definida por (10.31).
()
()
Debido a las propiedades de (x) y (x) es necesario restringir los calculos al sector R o al
sector L. Entonces, si se supone x, x0 pertenecientes al mismo sector, por ilustracion R, finalmente
(10.114) se reduce a
(WH WB )(x, x0 ) =
X
1
(+)
(+)
(x) (x0 ) ,
||
e
(10.118)
porque en el sector R, = 0 y + = 1,
then
()
()
(x0 ) (x) (x0 ) = 0 ,
(+)
(+)
(x0 ) + (x) + (x0 ) = 1 .
(x)
(x)
Para calcular T00 (x, x0 ), primero se eval

ua
0 00 (WH WB )(x, x0 )|x0 =x 0 00 WH-B (x, x0 )|x0 =x ,

X
1
(+)
(+) 0
0
0 00 WH-B (x, x0 )|x0 =x =
(x)
(x
)
0
0
0
x =x
e|| 1
1
2 ||
||
e
| (x)| ,
(10.119)
(10.120)

74
donde se consider
o (10.15).
La expresi
on (10.120) se puede reducir a
0 WH-B (x, x )|x0 =x

00
1
=
4
d
0
2
(2l + 1) | l (r)| ,
e 1
(10.121)
usando
(x) = l (r) Yl m (, ) ,
l
X
|Yl m (, )| =
m=l
(2l + 1)
,
4
Z
entonces
(10.122)
l = || l,
(10.123)
d () = 2
d ().
(10.124)
Es importante notar que en estos calculos no es necesario introducir la regularizacion usual requerida.

Z

d (x) (x0 )
x0 =x
diverge cuando . Sin embargo, debido a la diferencia entre los estados de Boulware and
Hartle-Hawking introducidos, las transformaciones de Bogolubov (10.30) aportan un factor de convergencia (e|| 1)1 .
Para completar el c
alculo de (10.121) es necesario conocer explcitamente la funcion l , entonces
escribiendo la metrica (10.1) como
ds2 = f (r) dt2 +
dr2
+ r2 d2 ,
f (r)
(10.125)
y redefiniendo en los modos de solucion (10.122) tal que

(r) = p
(r) ,
(10.126)

d2
2
+
k
(r;
,
l)
l (r) = 0 ,
dr2
(10.127)
r2 f
la ecuaci
on (10.2) conduce a la ecuacion diferencial

donde
1
k
f
2
2
l(l + 1)
(r2 f )00
2
f
r2
2r2

,
(10.128)

75
y el horizonte de eventos est

a caracterizado por r = r0 , f (r0 ) = 0.
para resolver la ecuaci
on (10.127) se recurre a la aproximacion WKB, entonces
s

1 i Rrr k(r0 ) dr0
l (r)
,
e 0
2 k(r)
(10.129)
donde el nuevo ndice = sign k(r) corresponde a ondas salientes y entrantes: = 1. Lo que
significa que se debe incluir en el colectivo de ndices l m .
Antes de continuar el c
alculo de (10.119) es importante considerar la normalizacion del modo WKB
(10.129). luego se requiere que los modos espaciales (x) satisfagan
Z
d3 x (x) 0 (x) (x) = 0 +

0,
(10.130)
donde
= , lm ;
= lm ,
(x) =
g (g 00 ) = f 1 r2 sen .
(10.131)
En estos terminos ahora se tiene

(x) = l (r) Ylm (, ) ,
1
l (r) ,
l (r) = p
r2 f
ZZ
(10.132)
d d sen Yl0 m0 (, ) Ylm (, ) = ll0 mm0 .
(10.133)
Entonces (10.130) se reduce a

Z
dr f 2 0 l0 0 (r) l (r) = {( 0 ) + ( + 0 )} 0 .
(10.134)
Para verificar si el ansatz (10.129) satisface (10.134), se reemplaza la expresion (10.129) , asumiendo
0 = = 1 and 0 peque
no,
Z
dr f
0 l0 0 (r) l (r)
Z
R k(r0 ;,l) 0
1
i r
( )
=
dr f 2 k 1 e r0
2
Z
0
1
=
dy eiy( ) = ( 0 ) ,
2
donde se defini
o
Z
y=
r0 +
k(r0 ; , l) 0
dr ,
dy =
k(r; , l)
dr ,
= 2 .
f k
(10.135)

76
Regresando al c
alculo de (10.119), se reemplazan las expresiones (10.129) y (10.132) en (10.121)
para obtener
0 00 WH-B =
1
4 2 r2
2 d
e 1
lmax
(2l + 1)dl
,
f |k|
(10.136)
donde se aproxima, para l grandes,

Z
X
() () dl ,
also
() = 2 ().
Adem
as, lmax (, r) se define de acuerdo a
k 2 (r; , lmax ) = 0 ,
(10.137)
es decir ,
(r2 f )00
2
m2
p2 .
f
2r2
p p
(2l + 1) dl
= 2f 1 f r lmax (lmax + 1) .
f |k|
r2 lmax (lmax + 1) =
lmax
Z
0
(10.138)
(10.139)
Finalmente, sustituyendo (10.139) en (10.136) y multiplicando por (g 00 ), se obtiene
00 WH-B
0 00 WH-B
1
=
2 2
Z
=
0
p 2 d f
.
e 1 f 2
0
E
4p2 dp
,
E
e T 1 (2)3
donde ha sido definida la energa propia local por modo E como E =
(10.140)
(10.141)
.
f
T (r) g00 = TH = 1 ,
d
= E dE .
p dp =
f
Entonces, =
E
T (r) ,
(10.142)
Respecto al termino extra en T00 que surge de 0 + m2 en (10.106), se puede mostrar que es
nulo bajo la misma aproximaci
on:
Para mostrar este resultado se recurre a la evaluacion WKB de

0 + m2 WH-B (x, x0 )|x0 =x .
(10.143)
As, en ese sentido considere

g , , = f |,r |2 +
1 AB
1
,A ,B |,t |2 ,
2
r
f
(10.144)

77
donde AB es la esfera unidad.
Sustituyendo (10.15), (10.122) en (10.144)
2||
l
1 X X
g , , (x) =
2 =
m=l
f |0l (r)|2
2 0 2
| |
f l
X
l
m=l
l
X
1
2
lm |2 ,
|Y
|Ylm | + 2 |l (r)|
r
2
(10.145)
m=l
donde
)2
(F
2||
2
1
+
sen2
2
.
l
1 X X
g , , (x) =
2 =
m=l
(
)
2
2

2l + 1
d
l(l
+
1)
|l (r)|2 f ln l (r)
+
,
4
dr
f
r2
(10.146)
donde se uso
l
X
|Ylm (, )|2 =
m=l
l
X
2l + 1
,
4
lm (, )|2 =
|Y
m=l
(2l + 1)
l(l + 1) .
4 pi

2
d

1
2
l(l + 1)
(r2 f )00
1
2

2 m2
f ln l (r)
+
f
[ln(r
f
k)]
=
,
dr
f
r2
4
2r2
(10.147)
(10.148)
con,
Z
ln l (r) = i
k dr
1
ln(r2 f k) + cte ,
2
(10.149)
lo cual fue obtenido de (10.128) y (10.129).
Entonces (10.145) se reduce a

l
1 X X
(2l + 1)
l (r)
(g , , +m2 ) =
|l (r)|2
,
2 =
4
2||
m=l
(10.150)

78
donde
l (r) =
1
(r2 f )00
.
f [ln(r2 f k)]02
4
2r2
(10.151)
De (10.118), (10.150) y (10.118)

( 0 + m2 )WH-B (x, x0 ) =
Z
||1 X
1
d ||
(2l + 1)|l (r)|2 l (r) .
8
e
1 l
(10.152)
Comparando esta u
ltima expresi
on con (10.121), se observa que cerca del horizonte, las altas
frecuencias dominan, es decir, la contribucion de (10.152) es mucho menor que la correspondiente
de (10.121).
N
otese tambien que l (r) esta acotada para todo r, puesto que en (10.151), f k es finita y no
nula cuando r r0 , f 0 por (10.128). Para r r0 se tiene l (r) 0, porque f 1, |f k| ,
entonces
1
2
2
(r2 )00
= 0.
r
2r2
on
Por consiguiente, evaluando = h T00 iH-B y P = 13 h Taa iH-B con base en (10.104), la contribuci
a la traza de (10.152) se puede despreciar. Entonces esto implica P = 13 .
Finalmente,
4 p2 dp
.
(10.153)
e 1 (2)3
0
Esta es la expresi
on termica esperada para la densidad de energa de un campo escalar caliente.
Bajo la aproximaci
on WKB, la cual es buena cerca del horizonte, se puede expresar la entropa
global como la integral de volumen de densidad local. Entonces, se puede argumentar que esta
representa una aproximada localizacion de la entropa, fuertemente concentrada cerca del horizonte. Este resultado significa que hay una densidad de entropa finita bien definida cerca del horizonte.
lm h T00 (x, x0 ) iH-B
xx0
= WH-B =
00
E
T
El sistema termico arriba descrito y asociado a la entropa de entanglement, realmente nos permite
pensar que la entropa surge fsicamente localizada cerca del horizonte. Entonces, esta se puede
calcular de (10.74) y (10.103) en terminos de la funcion de particion Z:
S =
ln Z + ln Z ,
(10.154)
la cual corresponde a la expresi

on
S = U + ln Z ,
(10.155)
con
U = Z 1
X
n
En eEn =
ln Z .
(10.156)

79
Puesto que, para cualquier funci

on f () que va a cero cuando , se puede escribir,
X
f ()
d N () f () ,
(10.157)
entonces,
ln Z =
ln Z =
Z
f () =
d N () f () ,
(10.158)
(10.159)
donde

f () = ln
1
1 e
y N () d es el n
umero de modos (x ) que caen en el rango (, +d) para todos los admisibles
k, l, m.
En otras palabras, para calcular S asociada a (+) dada por (10.100), todo lo que se necesita es
encontrar N () finito, es decir., contar modos:

X
1
ln Z =
(2l + 1) ln
.
(10.160)
1 eln
l,n,=
Entonces el c
alculo de S finita se reduce a restringir los conjuntos discretos {l = 0, 1, 2, } y
{n = 1, 2, }.
Debido a que la descripci
on termica sintetizada por (10.153) coincide con la correspondiente del
modelo de la pared (ver el numeral 3.3), la restriccion de los conjuntos {l} y {n} puede hacerse
con este u
ltimo modelo.
El conjunto discreto { = 1; l = 0, 1, 2, ; m = l, , +l} esta restringido por la condici
on
que debe satisfacer el n
umero de onda radial k dado por (10.128):
k 2 (r; , l) 0 ,
(10.161)
en otras palabras, k debe ser real, de otro modo (r) decaera exponencialmente y efectivamente
sera nula. Por consiguiente, para un dado, N () es finito o puede hacerse finito por condiciones
de frontera apropiadas.
Considerese un confinamiento finito del sistema, con la condicion de frontera de Dirichlet (r) = 0
en la frontera interior r = r0 + .
La soluci
on de (10.127) bajo la aproximacion WKB es
l (r) = p
1
k(r; ln , l)
rln
sen
r0 +
k(r0 ; ln , l) dr0 ,
(10.162)

80
donde, para un admisible modo, k(r) y (r) deben anularse simultaneamente en el n-esimo nodo
r = rn :
Z rln
k(r0 ; ln , l) dr0 = n ,
(10.163)
r0 +
2
k (rln , ln , l)
2
= 0,
(10.164)
0
k (r ; ln , l) 0 , r < rln ,
(10.165)
lo cual significa que k(r) es grande cerca de r0 + y decrece con el incremento de r. Entonces
si l(l+1)
> 2 , k 2 (r) eventualmente debe llegar a anularse, mientras (r) alcanza a hacer n osr02
cilaciones hasta r = rn . Por lo tanto, k(r) y (r) deben anularse simultaneamente en el nodo
correspondiente a r = rn .
2
ln
Puesto que f (r)
en (10.128) es muy grande cerca de la pared interior, el n
umero de altos modos l
permitido es muy numeroso. Los altos modos l estan confinados en una capa delgada muy cerca
de la pared, con una contribuci
on
l(l + 1)
.
r02
(10.166)
Esta dominante contribuci

on (interior de modos) a ln Z y S es proporcional a r02 . Por otra parte,
los modos exteriores (los cuales satisfacen la condicion de frontera en la pared exterior r = R)
dan una contribuci
on proporcional a R3 . Esto explica basicamente por que los calculos detallados
abajo conducen al resultado
S = Spared + Svolumen ,
(10.167)
Spared area del horizonte .
(10.168)
donde,
De (10.160) se puede escribir

ln Z =

(2l + 1) ln
l,n
1
1 eln

,
(10.169)
donde se consider
o la condici
on de frontera de Dirichlet en la pared interior, o alternativamente la
condici
on de frontera de Neumann.
Para escribir (10.169) como una expresion integral, y en lugar de l, n como variables independientes
de integraci
on, se cambia a l, como variables independientes con n = n(, l), y se usan (10.163)
y (10.164) para expresar
n(, l) =
n(, l)
1
=
r(,l)
r0 +
Z r(,l)
r0 +
k(r0 ; , l) dr0 ;
k 2 (r(, l); , l) = 0 .
k(r0 ; , l) 0 1 r(, l)
dr +
k(r(, l); , l) .
(10.170)
(10.171)

Ahora, de (10.169) y (10.171)
ZZZ
1
ln Z =
k(r0 ; , l)
dl d dr (2l + 1)
ln
1
1 e
81

,
(10.172)
(k2 (r 0 ;,l)0)
donde los lmites de integraci

on son las superficies k 2 (r0 ; , l) = 0, r0 = r0 + , r0 = R, con l 0 y
0 restringidos u
nicamente por la condicion k 2 (r0 ; , l) 0.
Integrando (10.172) por partes se obtiene
ZZZ
1
ln Z =
dr0 (2l + 1) dl d k(r0 ; , l)
.
e 1
Por otra parte,
Z
Z Lmax (,r0 )
1
1
dL (Lmax L) 2
(2l + 1) dl k(r ; , l) = 0
r f 0
1 2 3
= 0
L2 ,
r f 3 max
(10.173)
(10.174)
donde,
L l(l + 1) Lmax (, r0 ) ,
para Lmax dado por el valor que hace k 2 = 0; es decir, de (10.128)

r02
(r02 f )00
0
2
2
0
Lmax (, r ) =
m +
f (r ) .
f (r0 )
2r02
Sustituyendo (10.174) en (10.173)
Z
(10.175)
1 2 3
L2 .
(10.176)
1 r 0 f 3 max
e
0
r0 +
De (10.176) se pueden obtener las expresiones termodinamicas usuales en terminos de la energa
libre de Helmholtz F y la enera promedio U :
1
ln Z =
F =
1
ln Z =
Z
0
dr0
N () d
,
e 1
(10.177)
donde

23
r2 dr
(r02 , f )00
2
2
m +
f (r) .
2
2r02
r0 + f (r)

Z
1
e
U =
ln Z =
d N ()

e 1
(e 1)2
0

Z
d
N ()
( N ())
=
e 1
Z 0
d
=
N 0 () ,
e 1
0
2
N () =
3
(10.178)
(10.179)

82
con N 0 () definido por

2
N 0 () =
r2 dr
r0 +
f2

2
(r02 f )00
2
.
m +
f
2r02
(10.180)
Entonces, la entropa S resulta ser
Z
S = (U F ) =
0
N 0 () + N ()
d .
e 1
(10.181)
Para convertir las expresiones arriba a una forma estadstica -termodinamica, se cambian las variables de integraci
on r y por r y p, donde
2
(r2 f )00
m2
.
f (r)
2r2
p2 =
(10.182)
Entonces,
p dp dr =
d
dr .
f
(10.183)
En estos terminos, (10.179) y (10.180) se convierten en

Z
4 r2 dr
U=
r0 +
Z
0
E(p, r) 4 p2 dp
,
e 1 (2 ~)3
(10.184)
donde ha sido explcitamente restaurado ~ = 1 e introducido:

E = f , la energa de modo con frecuencia , medida localmente; con (p, r) dada por (10.182),
y p el momentum local efectivo.
Entonces,
1
T (r) = .
f
E
,
T (r)
(10.185)
As,
Z
4 r2 (r) dr ,
U=
(10.186)
r0 +
con,
4 p2 dp
,
h3
e 1
0
(r2 f )00
E 2 = p2 + m2 +
p2 + m2 .
2r2
Z
(r) =
E
T
(10.187)
(10.188)

83
Finalmente, de (10.181)
Z
1
( N ())
d
e
1
0
Z
e
N ()
d .
= 2
(e 1)2
0
S=
(10.189)
Ahora, recurriendo a (10.178), (10.182) y (10.183)

ZZ 2
2 2
r dr 2 3
e
(p f ) 2
p dp f
2
3
f
(e 1)2
Z
Z
1
dr
p2 e 4 p2 dp
= 2 4 r2 f
.
3
(e 1)2 (2~)3
f
S=
(10.190)
Entonces,
Z
S=
dr
4 r2 S(r) ,
f
r0 +
(10.191)
donde
1
S(r) =
3T 2
Z
0
4 p2 dp
.
h3
1)2
p2 e T
(e
E
T
(10.192)
Desde esta parte, el an

alisis puede hacerse como en la seccion 3.3.
En particular, note que cerca del horizonte T es grande:

De (10.187)
(r)
4
T4
(2 ~)3
Z
0
x3 dx
2
T 4 (r) ,
ex 1
30~3
(10.193)
donde fue introducido
Z
0
P
E
= x,
T
T
Z
X
X
x3 dx
1
4
3 nx
=
x
e
dx
=
3! 4 =
.
x
e 1 n=1 0
n
15
n=1
De (10.192)
1
4
S(r)
T5
3T 2 (2~)3
Z
0
x4 ex
4 2 3
dx
=
T (r) .
(ex 1)2
3 30~3
(10.194)

84
Entonces,
S
4
+p
;
3 T
T
T dS = d ,
(10.195)
lo cual es correcto para radiaci

on y materia a altas temperaturas.
Para la entropa se tiene una expresion global como en (10.99). Sin embargo, resulta que bajo la
aproximaci
on WKB, que es apropiada cerca del horizonte, esta entropa global se puede escribir
como la integral de volumen de densidad local, como en (10.191) y (10.192). Por esto es razonable
argumentar que representa una aproximada localizacion de entropa, fuertemente concentrada cerca
del horizonte. La expresi
on (10.153) es consistente con las expresiones (10.187) y (10.192). Este
resultado significa que que hay una bien definida y finita densidad de entropa cerca del horizonte.
Parte IV
EFECTO UNRUH
85
Captulo 11
TERMICO
BANO
DE
FULLING-DAVIES-UNRUH
Se conoce como efecto Unruh a las propiedades termicas que manifiesta el vaco minkowskiano si
se le restringe a una de las cu
nas L o R del espacio-tiempo de Minkowski. Tales cu
nas corresponden conformemente a las respectivas regiones L y R del espacio-tiempo de Schwarzchild extendido
maximalmente ( Ver la figura 10.1. )
Es importante se
nalar que a diferencia del Efecto Hawking, el ba
no termico de Fulling-DaviesUnruh no es una fuente gravitacional, es decir, no se presenta creacion de partculas. Lo que
fsicamente ocurre es un desplazamiento negativo del nivel cero del estado de vaco de Rindler con
respecto al estado de vaco de Minkowski.
11.1.
Aproximaci
on Euclidiana
En las coordenadas de Rindler (x > |t|), la metrica plana toma la forma

ds2 = 2 2 d 2 + d 2 + dy 2 + dz 2 ,
(11.1)
donde es una constante y

< < ;
0 < < .
De acuerdo con la aproximaci

on euclidiana de Gibbons-Hawking, descrita en el captulo siete,
puede escribirse (11.1) como una metrica definida positiva
ds2 = 2 2 d 2 + d 2 + dy 2 + dz 2 ,
(11.2)
al introducirse = i .
Para = constante,
Z
S = 2 =
d .
0
86
(11.3)
TERMICO
CAPITULO 11. BANO

87
La metrica en el plano llega a ser como el orgen de las coordenadas polares si se identifica
la coordenada con el periodo
2
=.
(11.4)
Esto significa que los campos sobre el background de Rindler se comportan como si estuvieran en
un estado termico con temperatura
T = 1 =
11.1.1.
.
2
(11.5)
Entropa de Rindler SR a partir de la acci

on Euclidiana G-H a
0-loop:
3g = ; =
Z
Z
Z p
p
1
1
1
K d =
K 3g d3 x =
3g d3 x
8
8
8
Z
Z
Z
Z
1
1 2
1
K d =
dy dz
d =
dA
8
8
8
Z
Z
Z
1
1
1 2
[K] d =
(K Kplano ) d3 x =
dA
8
8
8
Z
1
1
[K] d = A ,
8
4
(11.6)
(11.7)
con A infinito.
IE =
1
16
Z
R
Z
1
[K] d
8
(extremo)
g d4 x +
ln Z IE
SR = ln Z + E
1
ln Z = A ; E =
ln Z = 0
4
1
SR = A .
4
(11.8)
(11.9)
El resultado (11.9) es v
alido para 0 (sobre el horizonte).
11.2.
Aproximaci
on de Entanglement
La relaci
on causal entre las regiones del background geometrico ilustrado por la figura 10.1, al
igual que la estructura de horizontes, coinciden identicamente con las correspondientes del background del sistema Minkowski-Rindler, debido a las propiedades conformes entre las dos metricas.
Entonces, el formalismo desarrollado en el captulo nueve resulta lo suficientemente general para
TERMICO
CAPITULO 11. BANO

88
= 2
= 1
=constante
Figura 11.1:
Solucion euclideana de Rindler
considerar el efecto Unruh en espacios planos.

De (10.76) y (10.77) se puede expresar
1
| 0 iM = Z 2
e 2 En | n iL | n iR ,
(11.10)
n
1
| 0 iBR (sobre L + R) = Z 2
e 2 En | n iL | 0 iR ,
(11.11)
para calcular los valores esperados correspondientes a los modelos I-IV del numeral 10.2., y las
ecuaciones asociadas ((10.81)-(10.90)):
TERMICO
CAPITULO 11. BANO

|0
89
Figura 11.2:
Polarizacion del vaco
|0
|0
TERMICO
CAPITULO 11. BANO

90

0 HLR 0 M = h E i
+ E
|0
|0
Figura 11.3:
TERMICO
CAPITULO 11. BANO

91
h 0 | HG | 0 i R = h E i
|0
|0
Figura 11.4:
TERMICO
CAPITULO 11. BANO

92

0 HLL 0 M = h E i
|0
|0
E
Figura 11.5:
TERMICO
CAPITULO 11. BANO

93
h 0 | HG | 0 i L = h E i
|0
|0
0
Figura 11.6:
TERMICO
CAPITULO 11. BANO

|0
94
h 0 | HG | 0 i M = 0
|0
|0
Figura 11.7:
La figura 11.3 se interpreta como la manifestacion termica del estado de vaco global de Minkowski
para un observador local restringido a la region R como un efecto del corrimiento de su estado de
vaco local con respecto al global de Minkowski y por la presencia del horizonte de eventos que
determina el caracter termico de la energa observada localmente. La figura 11.4 es la percepci
on
recproca de la anterior. las figuras 11.5 y 11.6 siguientes se interpretan igual pero para la regi
on
especular. La figura 11.7 del conjunto debe analizarse cuidadosamente, porque ning
un observador
vera simult
aneamente los dos corrimientos mostrados para cada region especular. Un observador
global del espacio-tiempo de Minkowski percibe con respecto al vaco global que, efectivamente el
valor esperado de la energa es cero, u
nicamente estara presente el nivel dibujado frente a | 0 iM .
Por otra parte, los observadores locales no tienen acceso a la region especular correspondiente.
11.3.
Consideraciones Formales
Una superficie nula h para la cual un campo a sea normal, se denomina un horizonte de Killing.
Puesto que a a = 0 sobre h, el vector b (a a ) debe ser normal a h. Entonces este vector
es proporcional a a . Por consiguiente, existe una funcion k sobre h, denominada la gravedad
superficial de h, la cual satisface
b (a a ) = 2 k b
(11.12)
en todo punto sobre h.

Tomando la derivada de Lie de la expresion (11.12) con respecto a a , se observa que k debe ser
constante a lo largo de cada curva integral de a sobre h. Lo cual permite expresar k como
lm g ( a a )1/2 ,
(11.13)
TERMICO
CAPITULO 11. BANO

95
donde g denota la magnitud de la aceleracion propia asociada a la curvas integrales de a en la

region externa de h y ( a a )1/2 es el factor del corrimiento al rojo gravitacional.
El espacio-tiempo de Minkowski admite unas interesantes isometras generadas por el campo de
Killing
ba = g [X (/T )a + T (/X)a ] ,
(11.14)
donde g es una constante arbitraria y T ,X son coordenadas inerciales globales.

La estructura causal determinada por los planos nulos que dividen el espacio-tiempo de Minkowski
en cuatro regiones, de acuerdo con el campo de Killing ba , es fundamental en la derivacion del
efecto Unruh. Justamente, ba es normal a estos planos, es decir, este par de superficies nulas son
un horizonte de Killing bifurcado. Una notable propiedad de estos horizontes es que k no vara de
generador a generador, de tal manera que k es globalmente constante sobre h.
Por otra parte, se puede mostrar que, bajo apropiadas suposiciones relativas a los campos de materia y bajo la asunci
on de analiticidad, el horizonte de eventos de un agujero negro estacionario
debe ser un horizonte de Killing.
Los efectos Hawking y Unruh son una consecuencia directa de la no unicidad de la cuantizaci
on
can
onica en los espacios-tiempo Riemannianos. Formalmente, el efecto Unruh tiene una cercana
relaci
on con el efecto Hawking. Esta relacion matematica cercana surge del hecho que el evento de
horizonte de un agujero negro estacionario es un horizonte de Killing.
11.3.1.
Efectos t
ermicos de horizontes de Killing
En un espacio-tiempo curvo, en general, no existe una escogencia u

nica de las coordenadas temporales, estas diferentes escogencias conducen a diferentes estados de vaco. En particular, cuando
se considera la cuantizaci
on can
onica de un campo escalar libre, recurriendo a todas las clases de
sistemas coordenados estacionarios en el espacio plano, se encuentra que existen u
nicamente dos
posibilidades para el estado de vaco: el vaco minkowskiano para todos los sistemas coordenados
sin un horizonte de eventos y el vaco de Fulling para los sistemas coordenados con horizonte de
eventos. Es bien conocido que estos dos estados de vaco no son equivalentes, as la presencia de
un evento de horizonte, al parecer, juega un papel clave en la definicion de un estado de vaco.
complementariamente, sabemos que observadores cuya observacion de modos de partculas est
a limitada por un horizonte, perciben un vaco termico. Este es un resultado muy importante que
permiti
o unificar y generalizar los resultados termicos de Fulling, Hawking y Unruh, no significando ello que los efectos sean fsicamente equivalentes.
En el contexto formal es posible definir una temperatura generalizada T , recurriendo a la noci
on
de gravedad superficial k de un arbitrario horizonte de Killing h y a la propiedad de los horizontes
de Killing bifurcados para los cuales k es globalmente constante sobre h
T =
k
,
2 ( a a )1/2
(11.15)
TERMICO
CAPITULO 11. BANO

96
donde k y a son los correspondientes gravedad superficial y campo de Killing, respectivamente.

Por otra parte, la entropa asociada no se determinara por el n
umero de estados nternos, sino
por el n
umero de estados asociados con la presencia del horizonte y que pueden influir el mundo
externo. En este sentido se puede sugerir que existiran leyes generales de la termodinamica de
horizontes, estrictamente an
alogas a las respectivas leyes de los agujeros negros]. Entonces, las leyes
de la termodin
amica de agujeros negros seran un resultado particular de los efectos termicos de
horizontes causales. Las estructuras de horizontes equivalentes conduciran a las mismas expresiones
termicas pero no necesariamente a los mismos efectos sobre el vaco de los campos.
11.3.2.
Efecto Unruh en variedades curvas
Si nos limitamos a una descripci

on estrictamente formal, el horizonte de Killing bifurcado generado
por el campo de Killing est
atico a del espacio-tiempo de Schwarzschild extendido maximalmente,
implicara que las propiedades termicas del estado de Hartle-Hawking seran una derivacion de algo
como un efecto Unruh en el espacio-tiempo curvo. Sin embargo, los modelos de agujeros negros
eternos que modelan agujeros negros producidos por colapso gravitacional, en particular el modelo
de la din
amica de campos termicos, conducen a una fuente termica gravitacional.
En tiempos infinitamente futuros un agujero negro de Schwarzschild formado por colapso gravitacional rada precisamente como un cuerpo negro. En el espacio-tiempo de Schwarzschild extendido maximalmente se puede considerar el estado de Unruh, correspondiente al comportamiento
tardamente de un campo cu
antico en el espacio-tiempo en el cual un cuerpo esferico sufre un colapso gravitacional. Pero, para apoyar la existencia de un efecto Unruh en espacios-tiempo curvos
se argumenta que el tensor momentum-energa para el estado de Unruh es singular en el horizonte
pasado, entre otros argumentos.
El punto de vista sostenido en este texto apoya la propuesta acerca de la existencia de efectos
termicos de los horizontes, lo cual podra significar que diferentes efectos sobre el vaco de los
campos limitados por la presencia de horizontes presentaran naturaleza termica. Entonces, a diferencia del efecto Unruh en espacios planos, las propiedades termicas del estado de Hartle-Hawking
observadas por observadores est
aticos y externos seran efectos de creacion de partculas debido a
que la curvatura induce un tensor momentum-energa no nulo.
En el contexto de la aproximaci
on de entanglement o de efectos termicos, de acuerdo con lo desarrollado anteriormente, es claro que las propiedades termicas del estado Hartle-Hawking no tienen
relaci
on con un efecto tipo Unruh. En este contexto el comportamiento del tensor momentumenerga de Unruh en el horizonte pasado no es un problema, todo lo contrario, este conduce a que
el tensor momentum-energa de Hartle-Hawking sea regular all.
11.3.3.
Detectores de partculas
El efecto Unruh ha sido investigado con base en modelos de detectores acelerados de partculas,
lo cual a conducido a especulaciones y conflictos conceptuales acerca de la definicion de partcula.
Realmente, el criterio de la teora de campos expuesto anteriormente es, en principio, respecto al
criterio de las teoras de detectores, una investigacion diferente del efecto Unruh.
Para ilustrar brevemente la tecnica de los detectores acelerados de partculas, modelese el detector
simple de Unruh-Dewitt:
TERMICO
CAPITULO 11. BANO

97
La interacci
on campo-detector se describe con base en el lagrangiano de interaccion
L = c m( ) [x( )] ,
(11.16)
donde c es una peque

na constante de acople, m( ) el operador momento de monopolo y x ( ) la
lnea de mundo del detector.
Los estados base est
an dados por
ak | 0M i = 0 k ,
(EU26)
para el campo , y
| E0 , 0M i
(11.17)
para el detector.
(11.18)
Para c suficientemente peque
na, la amplitud de transicion a un estado | E, i, puede expresarse
como

A = ic
Z

, E

m( ) [x( )] d E0 , 0M ,
iH0
m( ) = eiH0 m(0) e
(11.19)
(11.20)
H0 | E i = E | E i .
(11.21)
Entonces,
Z
A = ic h E | m(0) | E0 i
ei(EE0 ) h | (x) | 0M i d .
(11.22)
La probabilidad de transici
on est
a dada por
2
(11.23)
ei(1 2 )E G+ (x(1 ); x(2 )) d1 d2 ,
(11.24)
P = c2 |h E | m(0) | E0 i| F (E) ,
donde,
Z
F (E) =
G+ (x(1 ); x(2 )) = h 0M | [x(2 )] [x(1 )] | 0M i .

Para el caso de un detector acelerado con aceleracion propia constante :
(11.25)
TERMICO
CAPITULO 11. BANO

F (E) =
E
1
2 e2 E 1
98
(11.26)
En este caso la presencia de partculas se manifiesta por F (E) 6= 0. En particular, la manifestaci

on termica de la u
ltima expresi
on es el resultado de la presencia del horizonte de eventos.
Es importante se
nalar que en la modelacion con detectores es claro el origen de la excitacion de
estos, debido a la interacci
on introducida seg
un (11.16), con una energa proveniente de la fuente
aceleradora del detector. Luego, el efecto Unruh se manifiesta en el caracter termico del ba
no de
partculas, no en el origen de estas. Aqu lo que se hace manifiesto es un efecto diferente sobre
el vaco de los campos, con un resultado com
un al efecto Unruh de entanglement y al efecto de
creaci
on de partculas asociado al efecto Hawking, la naturaleza termica de esos efectos, lo cual es
debido a la presencia de los horizontes de eventos en cada caso.
Parte V
APENDICE
99
Captulo 12
MODOS DE FRECUENCIA
POSITIVA
12.1.
Definici
on
Sea ln+ x, definido para un n

umero real x, como
ln+ x ln |x| +
i
(x) ,
2
< x < ,
(12.1)
donde
(x) sign (x) .
Entonces, se denominar
a
ei ln+ x
(12.2)
una funci
on de frecuencia positiva con respecto a x (para ambos signos , real), es decir,
Z
ei ln+ x =
A () eix d .
(12.3)
0
12.2.
Extensi
on a una funci
on analtica
Extiendase (12.1) a una funci

on analtica ln+ z por la definicion:
(
real sobre el eje imaginario inferior
ln+ z :
corte de rama en el semiplano superior ,
es decir,
ln+ z = ln |z| + i(argZ +
),
2
100
3
3
< argz <
.
2
2
CAPITULO 12. MODOS DE FRECUENCIA POSITIVA
101
Entonces ln+ z es regular en el semiplano inferior.

ei ln+ z son regulares y acotadas en el semiplano inferior.
As,
1
A () =
2
ei ln+ z eiz dz = 0
si < 0 .
(12.4)
Finalmente se define:
ln x = ln |x| +
i
(x) ,
2
< x < ;
= 1 .
(12.5)
Entonces,
(
e
12.3.
i ln x
son
de frecuencia positiva respecto a x para = +1

de frecuencia negativa respecto a x para = 1 .
Aplicaci
on al background geom
etrico de Agujero Negro extendido maximalmente
Sean las funciones sectoriales

1
{( U ) + ( V )} ,
2
donde es la funci
on de paso unitaria y U , V los tiempos de Kruskal.
(x)
(12.6)
Considerese la definici
on:

V i
2k0 t+ ln+ V ln+ U = ln + ((V ) (U ))
U
2

V
= ln + i(+ ) .
U
Entonces
(
e
it
con respecto a U , V .
son funciones de frecuencia
positiva para = +1
negativa para = 1 ,
(12.7)
CAPITULO 12. MODOS DE FRECUENCIA POSITIVA
12.4.
102
Relaciones u
tiles
?
?
?
?
?
?
1
+ = 1 , = {(V ) (U )} .
2

1 i
1 i
t = t +
+ t
.
2 k0
2 k0

1 i 0
1 i 0
t 0 = t +
+ t
.
2 k0
2 k0
1

1
eit = eit e 2 k0 + e 2 k0 .
1 0

1 0
eit0 = eit e 2 k0 + e 2 k0 .
Sea 0 = (), entonces
1 ||
1
eit() = eit e 2 k0 + e 2
||
k0
(12.8)
(12.9)

.
(12.10)
(12.11)
Definiendo
= ()
por
tanh = e
||
k0
(12.10) se puede escribir como
it()
=e
it
"
cosh
senh
1/2

+
senh
cosh
1/2
#
.
[(senh )(cosh )]1/2 eit() = eit [cosh + senh ] .
(12.12)
(12.13)
Referencias
[1]
B. Carter. En General Relativity, an Einstein Centenary Survey. ed. by S. W. Hawking and

W. Israel. Cambridge University Press, 1979
[2]
J. M. Bardeen, B. Carter, S. Hawking, Comm. Math. Phys. 31, 161 (1973)
[3]
S. W. Hawking, R. Penrose. The Nature of Space and Time, Princeton University Press,
(1996)
[4]
S. W. Hawking, Phys. Rev. Lett. 26, 1344, (1971)
[5]
J. D. Bekenstein, Phys. Rev. D7, 2333 (1973)
[6]
R. M. Wald, Black Holes and Relativistic Stars, Part II, 8, 155, edited by Robert M. Wald.
The University of Chicago Press, (1998)
[7]
J. D. Bekenstein, Phys. Rev. D9, 3292 (1974)
[8]
S. W. Hawking, Phys. Rev. D13, 191 (1976)
[9]
S. W. Hawking, Phys. Rev. D14, 2460 (1976)
[10]
W. G. Unruh, Phys. Rev. D14, 870 (1976)
[11]
W. Israel, Phys. Lett. A57, 107 (1976)
[12]
S. A. Fulling, Phys. Rev. D7, 2850 (1973)
[13]
S. Liberati, Ph.D. Thesis, International School for Advanced Studies, Trieste, Italy, (2000),
gr-qc/0009050
[14]
N. D. Birrel, P. C. Davies. Quantum Fields in Curved Space. Cambridge University Press,

(1984)
[15]
S. W. Hawking, G. F. R. Ellis. The Large Scale Structure of Space-Time. Cambridge University Press, (1973)
[16]
R. M. Wald. General Relativity. The University of Chicago Press, (1984)
[17]
S. W. Hawking, Commun. Math. Phys. 43, 199 (1975)
[18]
R. M. Wald. Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics.
The University of Chicago Press, (1994)
103
REFERENCIAS
104
[19]
J. R. Arenas, Termodin
amica en Variedades de Rindler, Magister Scientiae Tesis. Universidad Nacional de Colombia, (No publicada), (1997)
[20]
L. Bombelli, R. K. Koul, J. Lee, and R. D. Sorkin, Phys. Rev. D34, 373 (1986)
[21]
H. Terashima, Phys. Rev. D61, 104016 (2000)
[22]
M. Srednicki, Phys. Rev. Lett. 71, 666 (1993)
[23]
J.R. Arenas, J.M. Tejeiro. Revista Colombiana de Fsica, 34-2, 565 (2002)
[24]
D. Kabat, M. J. Strassler, Phys. Lett. B 329, 46 (1994)
[25]
H. Umezawa, Advanced Field Theory, AIP Press, New York (1993)
[26]
W. Israel, Black Hole thermodynamics, in Current Trends in Relativistic Astrophysics, Ed.

L. Fern
andez, L. M. Gonz
alez, Springer Lecture Notes in Physics LNP 617, 15 (2003)
[27]
S. Mukohyama, M. Seriu, H. Kodama, Phys. Rev. D55, 7666 (1997).
[28]
S. Mukohyama, M. Seriu, H. Kodama, Phys. Rev. D58, 064001 (1998)
[29]
J.R. Arenas, J.M. Tejeiro. 9th Marcel Grossmann Meeting on General Relativity, Proceedings. World Scientific, Part B, 1509, 2000
[30]
Walter A. Pulido G, Jose R. Arenas. Revista Colombiana de Fsica, 40-1,(2008)
[31]
D. V. Fursaev. Phys. Part. Nucl. 36, 81 (2005)
[32]
W. Israel, Spanish Relativity School, proceedings, 2001
[33]
A. O. Barvinsky, V. P. Frolov, A. I. Zelnkov, Phys. Rev. D51, 1741 (1995)
[34]
P. C. W. Davies, Rep. Prog. Phys., 41, 1313 (1978)
[35]
D. W. Sciama, P. Candelas, D. Deutsch, Adv. Phys. 30 327 (1981)
[36]
J. B. Hartle, S. W. Hawking, Phys. Rev. D13, 2188 (1976)
[37]
G. t Hooft, Nucl.Phys. B256, 727 (1985)
[38]
S. Mukohyama, W. Israel, Phys.Rev. D58, 104005 (1998)
[39]
R.C. Tolman, Relativity, Thermodynamics and Cosmology, Dover Publications, INC, New
York, 1987
[40]
G.W. Gibbons and S.W. Hawking, Phys.Rev.D15, 2752 (1977)
[41]
Euclidean Quantum Gravity, ed. G.W. Gibbons and S.W. Hawking, World Scientific, Singapore, 1993
[42]
S.W. Hawking, C15, 746, General Relativity: An Einstein Centenary Survey, ed. S.W. Hawking and W. Israel, Cambridge University Press, 1979
[43]
C. Rovelli, 9th Marcel Grossmann Meeting on General Relativity, 2000, gr-qc/0006061
REFERENCIAS
105
[44]
J.I. Kapusta, Finite-Temperature Field Theory, Cambridge University Press, 1989
[45]
Y. Takahashi, H. Umezawa, Collective Phenomena2, 55 (1975)
[46]
J.R. Arenas, J.M. Tejeiro. 10th Marcel Grossmann Meeting on General Relativity, July 2003.
[47]
H.C. Rosu. gr-qc/9406012 V5, 16 Jan 2000.
[48]
J. Audretsch, R. M
uller, Phys. Rev. A50, 1755 (1994)
[49]
W.G. Unruh, R.M. Wald. Phys. Rev. D29, 1047 (1984)
[50]
R. Padmanabhan, class. Quantum Grav. 2, 117 (1985)
[51]
Letaw, Pfautsch,Phys. Rev. D24, 1491 (1981)
[52]
T. Jacobson, R. Parentani, gr-qc / 0302099
[53]
T. Jacobson, gr-qc / 9908031
[54]
W. Rindler, Am. J. Phys. 34, 1144 (1966)
[55]
J.R. Arenas, J.M. Tejeiro. Revista Colombiana de Fsica, 35-2, 407 (2003)
[56]
R.D. Sorkin, Black Holes and Relativistic Stars, Part II, 9, 177, edited by Robert M. Wald.
The Univesity of Chicago Press, (1998)
[57]
S. Mukohyama, Ph.D. Thesis, Kyoto University, (1998), gr-qc/9812079.
[58]
V. P. Frolov, D. V. Fursaev, Class. Quantum Grav. 15, 2041 (1998)
[59]
G. T. Horowitz, Black Holes and Relativistic Stars, Part II, 12, 241, edited by Robert M.
Wald. The Univesity of Chicago Press, (1998)
[60]
S. W. Hawking, Black Holes and Relativistic Stars, Part II, 11, 221, edited by Robert M.
Wald. The Univesity of Chicago Press, (1998)
[61]
V. P. Frolov, I. D. Novikov, Phys. Rev. D48, 4545 (1993)
[62]
C. Callan, F. Wilczek, Phys. Lett. B333, 55 (1994)
[63]
R. Emparan, Phys. Rev. D51, 5716 (1995)
[64]
L. Susskind, J. Uglum, Phys. Rev. D50, 2700 (1994)
[65]
D. Kabat, Nucl. Phys. B453, 281 (1995)
[66]
R. P. Feynman. Statistical Mechanics, a set of lectures. W. A. Benjamin. INC, 1972
[67]
J.R. Arenas, J.M. Tejeiro. Revista Colombiana de Fsica, 29, 323 (1997)
[68]
J.R. Arenas, J.M. Tejeiro. 8th Marcel Grossmann Meeting on General Relativity, Proceedings. World Scientific, Part B, 971, 1997
[69]
F. Belgiorno et al., arXiv: 1009.4634 [gr-qc]
REFERENCIAS
106
[70]
J.R. Arenas, J.M. Tejeiro, Nuovo Cimento 125B N.10, 1223 (2010)
[71]
L. Susskind, J. Lindesay. An Introduction to Black Holes, Information and the String Theory
Revolution. The Holographic Universe. World Scientific Publishing Co. Pte. Ltd., (2005)
[72]
W. A. Pulido, J. R. Arenas. Am. J. Phys, (2014)Para ser sometido a publicacion.

Notas Agujeros Negros Cuanticos 2014-II

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Notas Agujeros Negros Cuanticos 2014-II

Enviado por

Direitos autorais:

Formatos disponíveis

AGUJEROS NEGROS CUANTICOS

UNIVERSIDAD NACIONAL DE COLOMBIA

GRAVEDAD COMO UNA MANIFESTACION

SOBRE LAS VARIEDADES RIEMANNIANAS

AGUJEROS NEGROS TERMICOS

8. MODELO DE LA PARED DE t Hooft

ENTROPIA DE ENTANGLEMENT DE AGUJEROS NEGROS 53

12.MODOS DE FRECUENCIA POSITIVA

LA GRAVEDAD COMO UNA

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

como una manifestaci

Ecuaciones de las lneas geod

Figura 2.1: Distancia entre dos puntos.

La distancia mnima entre los dos puntos se obtiene de:

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

y finalmente de (2.7) y (2.8):

S = 0, (2.9) se puede escribir como:

Considere una metrica est

donde  es una constante peque

(es decir, no se consideraran los

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

y que es constante en el espacio-tiempo. Entonces, para , 6= 0

y para 6= 0 o 6= 0 (no ambas nulas),

Entonces, dado el potencial cl

Ecuaciones de campo de Einstein en el vaco

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

Entonces se pueden proponer las ecuaciones

las cuales se conocen como las ecuaciones de Einstein en el vaco.

La singularidad que presenta la solucion (2.27) en r = 2M es de tipo coordenado, es decir, no

Los elementos R se calculan con base en la relacion siguiente:

y los elementos R mediante

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

de la cual se encuentra la relaci

ds2 |r2M exp

para r > 2M y r < 2M , donde

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

De (2.36), como efecto de la exploracion de la vecindad de la singularidad, se observa la presencia

la cual, usando (2.39) se transforma en

para r > 2M y r < 2M . (2.41)

Para r > 0 de (2.41) se calcula

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

Para 0 < r < 2M , de manera similar se obtiene

y su region isometrica (Z <| T |)

CAPITULO 2. LA GRAVEDAD COMO UNA MANIFESTACION

Figura 2.2: Espacio-tiempo de Schwarzschild extendido maximalmente.

SOBRE LAS VARIEDADES RIEMANNIANAS

que para el caso particular del espacio-tiempo de Minkowski se reduce a la expresion

Integrando las ecuaciones (3.2) se obtiene

posible introducir una coordenada temporal t, tal que t

denota una hipersuperficie como de espacio para el instante t definido arriba.

SOBRE LAS VARIEDADES RIEMANNIANAS

En la ausencia de campos externos se tiene un procedimiento para construir un espacio de Fock

donde, una vez se cuantiza , un estado de m

donde N~k es el operador n

SOBRE LAS VARIEDADES RIEMANNIANAS

SOBRE LAS VARIEDADES RIEMANNIANAS

calculado con la generalizaci

SOBRE LAS VARIEDADES RIEMANNIANAS

respecto al tiempo de Killing que genera estas isometras.

para una variable din

con modos de frecuencia i y ni enteros positivos o cero.

donde no se ha considerado la contribucion de los sumandos 1/2

Sentido fsico de la din

Si O1 es cualquier operador que act

donde es una constante peque

[Q (t), P0 (t)] = i0 .

[a , a0 ] = [b , b0 ] = 0 .

(Q + iP )|0ia = 0,

(q + ip )|0ib = 0,