Академический Документы
Профессиональный Документы
Культура Документы
para un uido
perfecto de la forma [7]
T
= (
00
+P
0
)
dx
ds
dx
ds
g
P
0
, (2)
donde
00
es densidad del uido, P
0
es la presi on que ejerce
el uido,
dx
ds
y
dx
ds
son la cuadrivelocidades, g
es el tensor
m etrico asociado a (1). Tal que T
1
2
Rg
+g
=8T
, (3)
las cuales se pueden reescribir como
R
1
2
Rg
+g
=8T
, (4)
donde R
= R
= g
.
De lo anterior se obtiene (El c alculo explcito del sistema
de ecuaciones dado en por (5), (6) y (7) se realizo a partir del
paquete inform atico GRTensorM Version 1.2 for Mathematica
3.x) el cual se puede apreciar en el ap endice A [10]
e
r
+
1
r
2
_
1
r
2
+ = 8P
0
, (5)
e
4
+
2
4
+
2r
_
+ = 8P
0
, (6)
e
r
+
1
r
2
_
+
1
r
2
= 8
00
, (7)
dP
0
dr
=
_
00
+P
00
2
_
. (8)
Con
=
d(r)
dr
y
=
d(r)
dr
. En tales condiciones considera-
mos un uido perfecto en el cual el valor de la presi on es la
misma. De (8) tenemos que entonces
dP
0
dr
= 0, (9)
por lo que (9) se reduce a [7]
_
00
+P
00
2
_
= 0. (10)
Para (10),tenemos tres posibilidades [7]
1. Que los terminos
= 0 y
00
+P
0
= 0
2. Que el termino
r
+
e
r
= 0
r
+
r
= 0
=. (11)
3
En el caso que la densidad del uido
00
sea independiente de
la presi on P
0
, podremos integrar (6)
e
r
+
1
r
2
_
+
1
r
2
= 8
00
que es igual a
re
d
dr
e
= (8
00
+)r
2
1,
sea = 8
00
+ y multiplicando por
1
re
d
dr
r
2
1+e
re
= 0. (12)
Cuya soluci on es
(r) =Ln
_
r
r
3
3
c
r
_
. (13)
Tomando exponencial a ambos lados tenemos
e
(r)
= 1
r
2
3
(8
00
+)
c
r
. (14)
En este punto es conveniente elegir c = 0 y r = l por conve-
niencia [7]
1
l
2
=
8
00
+
3
. (15)
De acuerdo a (13) se halla que la m etrica descrita en (1) se
puede escribir como
ds
2
=
_
1
r
2
l
2
_
dt
2
1
1
r
2
l
2
dr
2
r
2
d
2
r
2
sin
2
d
2
.
(16)
Que corresponde a una de las formas en que se puede escribir
la m etrica del espacio-tiempo de de Sitter, dado que para el
artculo que se est a desarrollando para la clase corresponde a
una geometra (2+1), (16) se reduce a
ds
2
=
_
1
r
2
l
2
_
dt
2
1
1
r
2
l
2
dr
2
r
2
d
2
. (17)
Cuyo tensor m etrico asociado g
es
g
=
_
_
g(r) 0 0
0
1
g(r)
0
0 0 r
2
_
_
, (18)
donde tenemos que g(r) = 1
r
2
l
2
, el determinante del tensor
m etrico lo denotaremos como g =r
2
y la raz
g = r (19)
El calculo de escalar de Ricci para la m etrica (17) corres-
ponde fue [10]
R =
6
l
2
(20)
El espacio-tiempo de de Sitter posee una curvatura constante
positiva, homog enea e isotr opica. Juega un rol importante para
entender los primeros estadios del universo, m as precisamente
las propiedades de la inaci on, pues se cree que el universo
en epocas tempranas de la inaci on la geometra del universo
era muy cercana al espacio-tiempo de de Sitter. En donde se
presume que los valores de la energa del vaco o la constan-
te cosmol ogica eran muy grandes dentro una fase tarda del
espacio-tiempo de de Sitter. Pero un tiempo despu es la energa
del vaco empieza a decrecer y el universo hace una transi-
ci on a una geometra tipo FRW. Tal transici on fue acompa nada
por una gran generaci on de entropa, que se le suele llamar
Reheating [11]. Se puede obtener el espacio-tiempo de de Sit-
ter como una soluci on de las ecuaciones de Friedmann con una
constante cosmol ogica positiva > 0, que corresponde a una
densidad de energa del vacio positiva y una presi on negativa
[12]. N otese que el horizonte est a ubicado en [13]
r
H
= l.
III. LA ACCI
ON [8]
La acci on I
m
para un sistema material que interact ua con un
campo gravitacional es de la forma
I
m
=
_
gL
m
(, , g
)d
4
x, (21)
donde est a asociado a cualquier forma de materia, sus de-
rivadas y el tensor m etrico g
g y del cuadrivolumen d
4
x.
El siguiente paso es adicionar la acci on para el campo gravi-
tacional I
g
(Tal que la acci on total es I
T
= I
m
+I
g
). Esta acci on
debe ser funci on del tensor m etrico g
, de sus primeras y
segundas derivadas
I
g
=
_
gL
g
(g
)d
4
x, (22)
la llave se encuentra en un invariante escalar que solo dependa
del tensor m etrico, de las primeras derivadas de este y que sea
lineal en sus segundas derivadas. El tensor de Riemann R
g
_
g
+m
2
. (26)
donde (t,x) es un campo escalar denido sobre todos los
puntos del espacio-tiempo [14, 15].
De (26) se llega a la ecuaci on de Klein-Gordon (Ver el
Ap endice B)
1
_
gg
+m
2
= 0, (27)
_
1
_
gg
] +m
2
_
= 0. (28)
Denimos el operador DAlembertiano como
=
1
_
gg
. (29)
Por lo que la ecuacion de Klein-Gordon se puede escribir
como
_
m
2
= 0
.
V. SOLUCI
ON DE LA ECUACI
ON DE KLEIN-GORDON
Para un campo escalar sin masa m = 0, la ecuaci on (28) se
reduce a
1
_
gg
= 0. (30)
Dado que estamos en un espacio-tiempo (2+1), los indices
griegos y corren 02. En tales condiciones (30) toma la
forma
1
0
_
gg
00
+
1
1
_
gg
11
+
1
2
_
gg
22
= 0, (31)
de acuerdo al tensor m etrico dado en (18) tenemos que g(r) =
1
r
2
l
2
, el determinante del tensor m etrico lo denotaremos como
g = r
2
y la raz del determinante
g = r. Por lo anterior
tenemos que (31) se reduce a
1
g(r)
t
2
+
1
r
r
_
rg(r)
r
_
+
1
r
2
2
= 0. (32)
De la Relatividad Especial se dene el operador como
[16]
=
_
=
_
2
x
0
2
2
_
= 0, (33)
donde
=
_
_
1 0 0
0 1 0
0 0 1
_
_
. (34)
Tenemos que (33) corresponde a una ecuaci on de onda. En el
caso que g
l=0
l
m=l
_
A
l
r
l
+B
l
r
(l+1)
_
. .
R
Em
(r)
P
m
l
(cos)e
im
. .
Y
m
l
(,)
e
iEt
..
T(t)
,
(35)
donde se tiene que R
Em
(r) es la funci on radial de la ecuaci on
de onda, Y
m
l
(, ) son los arm onicos esf ericos que se pueden
descomponer de la forma
Y
m
l
(, ) = P
m
l
(cos)e
im
, (36)
donde P
m
l
(cos) corresponde a los polinomios de Legendre
para el angulo polar y e
im
para el angulo azimutal [17].
Dado que el espacio-tiempo considerado es (2+1), podemos
hacer el termino en (35) P
m
l
(cos) = 1, entonces la soluci on
de (32) es de la forma [1]
(t, r, ) = e
iEt
e
im
R
Em
(r). (37)
que se resuelve a trav es de separaci on de variables y donde m
es el n umero azimutal cu antico del campo escalar [1, 15]. En
el Ap endice C, se calculan las derivadas de (33) respecto t, r y
. Por lo anterior la ecuaci on radial de onda es
1
rg(r)
r
[rg(r)
r
R
Em
(r)] +
1
g
2
(r)
_
E
2
m
2
g(r)
r
2
_
R
Em
(r) = 0,
(38)
donde el n umero radial de onda es de la forma
k
2
(r, m, E) =
1
g
2
(r)
_
E
2
m
2
g(r)
r
2
_
. (39)
5
VI. LA APROXIMACI
ON W.K.B.
La ecuaci on de (38) conduce a ecuaci on diferencial[15]
(cuya deducci on se puede ver en el Ap endice D)
d
2
Q
Em
(r)
dr
2
+k
2
(r, m, E)Q
Em
(r) = 0, (40)
donde hemos de suponer que k
2
(r, m, E) varia suavemente y
podremos emplear la aproximaci on W.K.B. [18]
Q
Em
(r) = e
i(r)
(41)
y sus derivadas
dQ
Em
(r)
dr
= ie
i(r)
(r), (42)
d
2
Q
Em
(r)
dr
2
=e
i(r)
2
(r) +ie
i(r)
(r). (43)
Reemplazando en (40) se halla que
i
(r)
2
(r) +k
2
(r, m, E) = 0. (44)
Mathews plantea que
2
(r) = k
2
(r, m, E)
d(r)
dr
=
_
k
2
(r, m, E).
La cual podemos integrar
(r) =
_
k(r, m, E)dr. (45)
Bajo la condici on que
(r)
1
2
2kk
k
2
. (46)
Calculando la segunda derivada de (r)
(r) =k
. (47)
Sustituyendo este valor en (44), se tiene
2
(r) = k
2
ik
, (48)
tomando la soluci on positiva y completando cuadrado al
lado derecho de (48)
2
(r) = k
2
+ik
+
i
2
k
2
4k
2
i
2
k
2
4k
2
(49)
2
(r) =
_
k +
ik
2k
_
2
i
2
k
2
4k
2
. (50)
Con una aproximaci on a primer orden el ultimo t ermino de
(50) se puede despreciar
2
(r) =
_
k +
ik
2k
_
2
. (51)
Reescribiendo (51)
d(r)
dr
=
_
k +
ik
2k
_
. (52)
Aplicando separaci on de variables e integrando
_
d =
_
_
k +
ik
2k
_
dr (53)
=
_
kdr +
i
2
Ln|k| . (54)
Por lo anterior es posible reexpresar (41) como
Q
Em
(r) = e
_
kdr+
i
2
Ln|k|
(55)
Q
Em
(r) = e
i
_
kdr
e
i
2
2
Ln|k|
, (56)
reduciendo t erminos [1, 2, 15]
Q
Em
(r) =
1
k
_
C
+
e
i
_
kdr
+C
e
i
_
kdr
_
(57)
donde C
+
y C
L
k(r, m, E)dr = n
r
(m, E). (58)
Bajo las condiciones de contorno del modelo de tHooft se
tiene
= 0 r = L
r = r
H
,
En este punto es importante seguir a tHooft [2], pues la
cantidad que Kim hall o en (58) es el n umero cl asico de mo-
dos (eingenmodes) del campo escalar en la vecindad de un
agujero negro. De tal suerte que ahora debemos determinar las
propiedades termodin amicas del sistema tales como la entropa
[1, 2].
6
Fue el trabajo de Hawking de 1975, el que demostr o que
la temperatura de un agujero negro es diferente de cero. La
creaci on de partculas surgen del proceso de contracci on gra-
vitacional de la estrella y es inherente a la presencia de un
horizonte de eventos. As un agujero negro emite radiaci on
t ermica que posee un espectro planckiano [4] y cuya tempera-
tura est a dada por [4, 21]
T
H
=
h
2
,
donde h es constante de Planck reducida y es la gravedad
supercial.
Para estudiar la termodin amica de campos cu anticos calien-
tes, se rodea un objeto gravitacional (estrella o agujero negro)
con una supercie perfectamente reejante de radio L
0
. Se
considera que la m etrica fuera del objeto gravitacional tiene la
forma
ds
2
=g(r)dt
2
+
dr
2
g(r)
+r
2
d
2
. (59)
Figura 1. Objeto gravitacional rodeado por dos supercies reejantes
para el espacio-tiempo de Schwarzschild.
En la Figura 1. se aprecia un objeto gravitacional que puede
ser una estrella o un agujero negro para el espacio-tiempo
de Schwarzschild, rodeado por dos supercies reejantes, la
primera a una distancia delante del radio gravitacional R
0
y
la otra a una distancia L muy grande. Estamos interesados en
ver el comportamiento termodin amico del campo escalar cerca
del radio, pues es all donde la curvatura espacio-temporal es
muy alta.
En este espacio (entre R y L ) se introducen una colecci on
de campos cu anticos que alcanzan cierta temperatura T
a
grandes distancias para un observador asint oticamente lejano y
en equilibrio t ermico.
La temperatura local para un observador cercano al horizonte
T(r) est a dada por la ley Tolman [7, 22]
T(r) =
T
_
g(r)
. (60)
En el caso que T
= T
H
, donde T
H
es la temperatura de la
radiaci on Hawking y esta denida como [1]
H
=
1
2l
, (61)
donde
H
=
1
T
H
. As las cosas para un observador cercano al
horizonte, se tendr a que las longitudes de onda de la radiaci on
son muy peque nas en comparaci on con otras cantidades tales
como el tama no del contenedor o la curvatura espacio-tiempo.
De acuerdo a (39), el n umero de onda radial n
r
es estricta-
mente positivo, cuando y L est an en el rango del ultravioleta,
se esta buscando una aproximaci on de altas energas pues >0
y 0 L R
0
. Luego dentro de este rango, la energa E es
positiva y el n umero de onda k dado por (39), es real [1]. Por
lo tendremos una buena aproximaci on a la estadstica cl asica
[22].
VII. CARACTERIZACI
ON TERMODIN
AMICA DE
CAMPO BOSONICO EN EL ESPACIO-TIEMPO DE DE
SITTER (2+1)
En este apartado caracterizaremos termodin amicamente el
campo escalar . De tal forma que seguiremos el tratamiento
ofrecido por Kapusta [23] y Feynman [24].
A. Funci on de partici on para un gas no interactuante
Primero empecemos por considerar un conjunto de partcu-
las en una caja de arista L. Tal que podemos despreciar sus
interacciones entre s, ademas que las funciones de onda de
las partculas desaparecen en la supercie de la caja. Tal que
tenemos un n umero entero de de longitudes de onda en la
arista de la caja
x
=
2L
J
x
y
=
2L
J
y
z
=
2L
J
z
,
donde J
i
son n umeros positivos, en tales condiciones el mo-
mentum de una partcula es
P
x
=
J
x
L
.
Por lo que la energa total del sistema es H =
i
H
i
. Luego la
funci on de partici on de todos los modos es el producto de las
funciones de partici on de cada modo
Z = Tre
[H
N]
=
j
Tre
[H
j
N
j
]
(62)
Z =
j
Z
j
=
j
1
1e
()
, (63)
donde tenemos que es el inverso de la temperatura T, la
frecuencia y el potencial qumico, que para el caso es nulo.
7
B. Osciladores arm onicos no interactuantes [24]
Sea un sistema de osciladores arm onicos lineales en equi-
librio t ermico. La funci on de partici on Z, la energa libre del
Helmholtz F y la energa promedio del sistema, se pueden
determinar a partir de esta hip otesis:
Los osciladores no interactuan entre ellos y solo lo hacen
con el ba no t ermico: cada oscilador es independiente y pode-
mos determinar F
i
, que corresponde a la energa libre de cada
uno de ellos de acuerdo
F =
M
i
F
i
, (64)
donde M corresponde al n umero total de osciladores. Por otro
lado tenemos que la funci on de partici on es
Z
i
=
i
e
E
i
=
i
e
i
(n+
1
2
)
, (65)
donde E
i
=
i
(n+
1
2
) y son las posibles energas que pueden
tomar los osciladores. As, tenemos que (65) converge a
Z
i
=
e
i
/2
1e
i
. (66)
Como estamos trabajando en unidades naturales es posible
escribir = E y multiplicar (66) por
1
1e
E
Z
i
=
_
e
E
i
/2
1e
E
i
_
_
1
1e
E
i
_
=
e
E
i
/2
(1e
E
i
)
2
. (67)
De otro lado la energa por oscilador es de la forma
F
i
=
1
Ln|Z
i
| , (68)
de acuerdo a (67)
F
i
=
E
i
2
+
1
Ln
1e
E
i
. (69)
Por (64), la energa total de los osciladores arm onicos es
F =
i
F
i
=
i
_
E
i
2
+
1
Ln
1e
E
i
_
. (70)
Feynman sostiene que se puede en (70) despreciar el t ermino
E
i
2
, pues conduce a energa innita cuando hay innitos modos
de oscilaci on dentro de una cavidad [24]. Por lo anterior F se
puede aproximar a
F
i
1
Ln
1e
E
i
. (71)
Dado que tenemos una enorme cantidad de modos, la suma
contenida en (71) se puede aproximar a una integral [1, 2, 22,
24]. Por lo que (71) se convierte en
F
1
_
Ln
1e
E
dg(E), (72)
donde se ha introducido el factor g(E), el cual est a relacionado
con el n umero de modos que tiene el campo escalar . El cual
analizaremos en seguida.
Dentro de una cavidad tipo cuerpo negro, el n umero de
modos es
dN = dn
x
dn
y
dn
z
,
donde dn
i
es n umero de modos en cada una de las tres direccio-
nes cartesianas posibles. Este mismo n umero dN es equivalente
a uno escrito en coordenadas esfericas
dN = dn
r
dn
.
Que para n
r
est a determinado por (58) y corresponde al n umero
de modos en la direcci on radial. Para componente angular, se
tiene que el sistema esta en una geometra (2+1), en donde
el angulo polar es constante de acuerdo a la soluci on (37),
entonces el n umero total de modos es
dN = dn
r
dn
.
El n umero de modos para la direcci on angular azimutal es
proporcional al n umero cuantico azimutal m
dn
= dm.
De lo anterior tenemos que el n umero total de modos del campo
escalar cerca del horizonte es de la forma
N =
_
n
r
dm =
_
k(r, m, E)dr
_
dm = g(E), (73)
hemos multiplicado (73) por para que las funciones de onda
tengan nodos en los extremos [2].
La integraci on por partes de (72) es
F =
1
_
Ln
1e
E
dg(E) =g(E)Ln
1e
E
_
g(E)
e
E
1
dE.
(74)
Consideremos el primer termino del lado derecho de (74),
el cual podemos expandir una serie de taylor
Ln
1e
E
= (Ln|| +Ln|E|) +
E
2
+
2
E
2
24
+. . . ,
que en una aproximaci on a primer orden
Ln
1e
E
Ln|E| +
E
2
. (75)
De lo anterior tenemos que (74) se transforma a
F =
g(E)
_
Ln|E| +
E
2
_
_
g(E)
e
E
1
dE. (76)
En el caso que el termino
g(E)
_
Ln|E| +
E
2
_
_
g(E)
e
E
1
dE,
(76) se puede aproximar a
F
_
g(E)
e
E
1
dE. (77)
8
Por (73), (77) se transforma a
F =
_
1
e
E
1
dE
_
n
r
dm, (78)
donde n
r
esta dado por (58)
F =
_
1
e
E
1
dE
_
dm
_
k(r, E, m)dr (79)
y el n umero de onda k es determinado por (39)
F =
_
0
1
e
E
1
dE
_
r
H
L
dr
g(r)
_
_
E
2
m
2
g(r)
r
2
dm.
(80)
En el Ap endice E se resuelve la integral de la parte angular
que esta contenida en (80)
_
_
E
2
m
2
g(r)
r
2
dm =
rE
2
2
_
g(r)
_
2
_
. (81)
De acuerdo a (81), (80) se transforma a
F =
_
0
1
e
E
1
dE
_
r
H
L
dr
g(r)
rE
2
2
_
g(r)
_
2
_
. (82)
Reacomodando terminos en (82)
F =
_
2
_
_
0
E
2
e
E
1
dE
_
r
H
L
r
g(r)
3/2
dr. (83)
donde el t ermino g(r) = 1
r
2
l
2
Realizando las correspondientes integraciones en (83)
F =
2
_
[3]
3
_
_
l
3
_
l
2
(r
H
)
2
l
3
l
2
L
2
_
. (84)
Donde [x] corresponde a la funci on Zeta de Riemann, la cual
est a denida como [25]
[3] =
1
(x)
_
0
u
x1
e
u
1
du
cuando x > 1. Num ericamente [3] = 1,20206.
C. La entropa del campo escalar
Una vez determinada la energa libre de Helmholtz podemos
calcular la entropa del campo escalar a temperatura Hawking
dada por (61)
S =
2
F
=
3[3]
2
2
_
l
3
_
l
2
(r
H
)
2
l
3
l
2
L
2
_
.
(85)
.
La entropa S evaluada a la temperatura Hawking = 2l
S|
=2l
=
3[3]
2(2l)
2
_
l
3
_
l
2
(r
H
)
2
l
3
l
2
L
2
_
, (86)
reduciendo t erminos semejantes
S|
=2l
=
3[3]l
3
2(4
2
l
2
)
_
1
_
l
2
(r
H
)
2
l
2
L
2
_
, (87)
multiplicando por 4/4
S|
=2l
=
_
4
4
__
3[3]
8
2
_
_
l
_
l
2
(r
H
)
2
l
2
L
2
_
.
(88)
En este punto Kim realiza el siguiente cambio de variable
[1]
S|
=2l
= 4
3[3]
32
2
. .
a
_
l
_
l
2
(r
H
)
2
l
2
L
2
_
, (89)
por que (89) se expresa como
S = 4a
_
l
_
l
2
(r
H
)
2
l
2
L
2
_
. (90)
De lo anterior se permite armar que la entropa se comporta
como
S
1
.
Que corresponde a una divergencia ultravioleta de la entropa
cuando 0.
Por otro lado, la distancia espacial se dene como [26]
dl
2
=
dx
dx
,
donde
=
_
1
g(r)
0
0 r
2
_
. (91)
En el caso de la coordenada radial r, la distancia queda deter-
minada como
dl
2
= d
2
=
11
(dx
1
)
2
,
d =
1
_
g(r)
dr =
1
_
1
r
2
l
2
dr,
_
d =
_
r
H
r
H
1
_
1
r
2
l
2
dr,
9
integrando
= l
_
ArcSin
_
r
l
__
r
H
r
H
,
evaluando entre los lmites establecidos
= l
_
ArcSin
_
r
H
l
_
ArcSin
_
r
H
l
__
. (92)
En este punto Kim hace la aproximaci on r
H
= l por lo tanto
(92) se reduce a
= l
_
2
ArcSin
_
l
l
__
. (93)
Despejando de (93)
= l
_
1Sin
_
2
l
__
= l
_
1Cos
_
l
__
. (94)
Reemplazando (94) en (90) y donde se ha aprovechado el
hecho que L = 0 y r
H
= l, se encuentra que la entropa es de la
forma
S = 4a
_
_
l
_
l
2
l
2
Cos
2
_
l
_
_
_
S = 4a
_
1
Sin
_
l
_ 1
_
. (95)
Si denimos
Sin
_
l
_
=
a
a+l
,
reemplazando en (95), tendremos que la entropa se transforma
a
S = 4a
_
1
a
a+l
1
_
. (96)
Simplicando t erminos
S = 4l. (97)
Por lo que la entropa se puede escribir como
S = 2(2l) = 2(2r
+
). (98)
Finalmente se determina que la entropa del campo escalar
cerca del horizonte es proporcional al permetro del mismo.
S (2r
+
). (99)
VIII. CONCLUSIONES
Una de los aspectos m as interesantes de esta revisi on es
comprender el m etodo de Brick Wall para agujeros negros.
G. tHooft en su artculo propone un m etodo interesante
de estudiar campos cu anticos cerca del horizonte en donde
los efectos gravitaciones son intensos [2]. Tal m etodo ha sido
empleado ampliamente en varios escenarios gravitacionales
como el de Schwarzschild, teora de cuerdas, medida de la
perdida de informaci on en cosmologa cu antica.
Este artculo ha sido citado 701 veces en artcu-
los de car acter cientco (de acuerdo a la web:
http://adsabs.harvard.edu/abs/1985NuPhB.256..727T,
consultado May 2014).
La idea que la materia ordinaria tambi en pueda exhibir una
entropa proporcional al area cuando en la descripci on ter-
modin amica se incorpora la gravedad es consistente con el
principio hologr aco. Tesis que fue por primera vez expresada
por tHooft y Susskind en 1993.
La idea del Pricipio Hologr aco
que la m axima entropa posible depende del area de la
supercie que delimita el volumen y no de este...Si un sistema
tridimensional completo puede ser descrito plenamente por
una teora fsica denida solo en su contorno bidimencional se
espera que el contenido de informaci on del sistema no exceda
del contenido de la descripci on limitada al contorno.
IX. PERSPECTIVAS
Dentro del marco de esta revisi on, surgen las siguientes
inquietudes, que han de ser claricadas tanto como conceptual
como procedimiental:
Cuales son estados de vaco cerca del horizonte, pues
tales estados de vaco son el origen de las partculas que
percibe un observador cerca del horizonte?
Como se extiende que m etodo a un espacio-tiempo
(3+1)?
Existen otros m etodos diferentes al de brick wall para
hacer termodin amica cerca del horizonte?
Probar el car acter t ermico de un agujero negro.
ACKNOWLEDGMENTS
Deseo agradecer este trabajo de revisi on al Profesor Robel
Arenas, a la Profesora Karen Fonseca, a mis compa neros de
clase de Mec anica Cu antica Avanzada por sus valiosos comen-
tarios y observaciones en el desarrollo de esta revisi on.
Ap endice A: Como instalar y ejecutar GRTensor en
Mathematica 4.0
El paquete GRTensor , corresponde a un software encamina-
do a la denici on y calculo de tensores en cualquier rango en
10
cualquier tipo de dimensi on. El archivo descargado desde la
p agina de los autores posee una gran variedad de ejemplos y
documentaci on para su manejo y asimilaci on. GRTensor exis-
ten versiones se pueden correr sobre plataforma Linux, IOS o
Windows.
El presente ejemplo fue desarrollado en la clase de Galaxias
y Cosmologa del Profesor Alexis Larra naga en Observato-
rio Astron omico Nacional (OAN) de la Universidad Nacional
(UN) en el primer semestre de 2008. Como ejemplo para el
manejo del paquete que se describir a a continuaci on.
Una vez se ha descargado el paquete de la p agina del progra-
mador, podemos descomprimirla y esta se instala por defecto
en el disco duro C, el siguiente paso es copiar el paquete en
la carpeta de ExtraPackages de Mathematica, siguiendo la
ruta
C:/ProgramFiles/Wolfram Research/Mathematica
/4.0/AddOns/ExtraPackages/grii/metrics/.
Hecho lo anterior, abrimos la carpeta grii en su nueva loca-
ci on (Mathematica 4.0), ubicamos el archivo options, este paso
es importante debido a que el indicara al programa en donde
encontrar el tensor m etrico g
con
que hemos de trabajar, se pueden seleccionar desde los que
vienen incluidos en el paquete o podemos editar uno seg un
nuestras necesidades y copiado en la carpeta grii/metrics/.
Consideremos un elemento de linea de la forma
ds
2
=b(r)dt
2
+a(r)dr
2
+r
2
d
2
+r
2
sen
2
d
2
. (A1)
En la Figura 2, nos muestra el archivo de la m etrica statica.nb
hemos creado con el ds
2
en consideraci on.
Figura 3. Estructura b asica del tensor m etrico que hemos llamado
statica.nb
Una vez hemos incluido nuestro archivo (statica.nb) en la
carpeta metrics. Digitamos en Mathematica qload[statica].
La Figura 3 nos muestra la m etrica una vez ha sido cargada
en Mathematica, vemos tambi en que el programa nos muestra
el tipo de coordenadas que en que est a escrito el tensor m etrico
g
sera grcalc[g[dn,dn,cdn]].
11
Figura 4. Cuadro de dialogo de GRTensor cuando se ha cargado una
m etrica
Con el comando grcalc[Chr[dn,dn,up]] hallamos los sim-
bolos de Chrsitoffel de segundo orden
la instrucci on
grcalc[R[dn,dn]] lo realiza. En la Figura 4 y 5 permite ver lo
anterior
Si necesitamos extraer la componente de un tensor dado, la
instrucci on grcomponent[tensor,coordenada,coordenada]
nos lo permite hacer. La Figura 6 nos muestra como extraer un
componente para el tensor de Ricci (R
tt
)
Calculemos el tensor de Einstein, G
+g
= 0.
Con la instrucci on
grcomponet[G[dn, dn], t, t]+
grcomponet [g[dn, dn], {t, t, ]
hacemos que el programa extraiga las componente temporal
del tensor de Einstein. Nuestro siguiente paso es resolver la
ecuaci on diferencial de la componente temporal (t, t) del tensor
de Einstein con constante cosmol ogica, G
tt
+g
tt
= 0. La
instrucci on que permite realizar lo anterior es
DSolve[grcomponet[G[dn, dn], t, t]+
Figura 5. Entrada y salida para el comando grcalc[tensor], para el
ejemplo g
, R
, R
.
Figura 6. Entrada y salida para el comando grdisplay[R[dn,dn]], se
muestra solo una de las componentes del tensor de Ricci R
.
que esta constante es igual a 2M tendremos que la soluci on
a(r) es
a(r) =
r
r
r
3
3
2M
(A2)
El siguiente paso es resolver la ecuaci on diferencial de la com-
ponente radial del tensor de Einstein, G
rr
+
rr
= 0; de manera
similar a como lo hicimos con la componente G
tt
En la Figura 9, se muestra la soluci on de la ecuaci on dife-
rencial de la componente G
rr
. La cual se puede escribir de la
forma
b(r) =
6M3r +r
3
r
C[1] (A3)
Donde la constante C[1] de (3) es distinta a la obtenida en (2).
Si escalamos esta constante de forma que C[1] = 1, tendremos
que (3) se reduce a
b(r) =
6M3r +r
3
r
(A4)
De tal manera que (2) y (4) corresponde a las funciones inc ogni-
ta de la m etrica que nos propusimos resolver. Por lo tanto
estamos listos para escribir forma nal del tensor m etrico g
y de la m etrica de
Schwarzschild.
Ap endice B: La ecuaci on de Klein-Gordon
En esta secci on deduce la ecuaci on de Klein-Gordon. Con-
sid erese la densidad lagrangiana[14]
L =
1
2
g
_
g
+m
2
_
. (B1)
13
Figura 11. Forma nal del tensor m etrico g
_
_
L
_
x
_
_
_
= 0, (B2)
as, las cosas tenemos
L
gm
2
y tambi en
L
(
)
=
1
2
gg
.
Por lo que ahora podemos calcular
_
L
_
_
=
x
1
2
gg
_
.
Tenemos que
1
2
_
gg
gm
2
= 0. (B3)
Figura 12. Forma nal del tensor m etrico g
_
gg
+m
2
= 0. (B4)
La naturaleza de la ecuaci on de Klein-Gordon es describir un
campo escalar libre sin espn, tal como podra ser el campo
Higgs. La funci on de onda acaso se podra interpretar como
la densidad de un campo bosonico, que servira para caracteri-
zar el estado fsico del vaci o o del espacio-tiempo. La soluci on
de la ecuaci on (30) corresponder a a un desarrollo de tipo ondas
planas[20]. En este punto hemos de entender que la funci on
NO corresponde a una densidad de probabilidad tal como
ocurren en la ecuaci on de Schrodinger dado que tal densidad
de probabilidad puede tomar valores negativos. Ademas que
la soluci on contendra valores negativos de energa. Y por lo
tanto como ya dijimos antes debe ser interpretada como una
ecuaci on de campo que ha de ser cuantizado.
Ap endice C: Soluci on de la ecuaci on de Klein-Gordon para el
espacio-tiempo de de Sitter (2+1) por el m etodo de separaci on
de variables [17]
En este Ap endice hemos de considerar una soluci on para la
ecuaci on (32). Tal soluci on debe tener en cuenta su simetra
esf erica cuya soluci on es de hecho parecida a las que se pueden
hallar en los textos cl asico de electrodin amica por ejemplo
14
Figura 13. Forma nal del elemento de lnea ds
2
sin constante cos-
mol ogica.
cuando se resuelve la ecuaci on de Laplace (
2
= 0) o la
ecuaci on de onda (
2
=
2
t
2
) [17].
(t, r, ) = e
iEt
e
im
R
Em
(r), (C1)
al aplicar el m etodo de separaci on de variables debemos tener
en cuenta las derivadas parciales de la funci on (t, r, ) [17].
Calculemos primero con respecto a la coordenada temporal
t
= e
iEt
e
im
R
Em
(r)(iE)
t
2
=e
iEt
e
im
R
Em
(r)(E
2
).
Para la coordenada angular tendremos que la derivada parcial
es
t
2
=e
iEt
e
im
R
Em
(r)(m
2
).
Y para la coordenada radial es
r
= e
iEt
e
im
dR
Em
(r)
dr
.
As la cosas, podemos reemplazar las derivadas del campo
escalar en (32) y hallamos la ecuaci on radial de onda [1]
1
rg(r)
r
[rg(r)
r
R
Em
(r)] +
1
g
2
(r)
_
E
2
m
2
g(r)
r
2
_
R
Em
(r) = 0.
(C2)
Ap endice D: Aproximaci on de la ecuaci on (38) a la ecuaci on (40)
Si denimos la funci on R
Em
(r) en la siguiente forma[15]
R
Em
(r) =
Q
Em
(r)
_
r
2
g(r)
, (D1)
donde g(r) = 1
r
2
l
2
. De lo anterior la ecuaci on (38)
1
rg(r)
r
[rg(r)
r
R
Em
(r)] +
1
g
2
(r)
_
E
2
m
2
g(r)
r
2
_
R
Em
(r) = 0,
(D2)
se transforma a
24
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
l
4
_
1
r
2
l
2
_
4
+
3
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
r
4
_
1
r
2
l
2
_
4
15
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
l
2
r
2
_
1
r
2
l
2
_
4
12r
2
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
l
6
_
1
r
2
l
2
_
4
12
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
l
4
_
1
r
2
l
2
_
3
2
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
r
4
_
1
r
2
l
2
_
3
+
12
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
l
2
r
2
_
1
r
2
l
2
_
3
+
k
2
_
r
2
_
1
r
2
l
2
_
Q
Em
(r)
r
2
_
1
r
2
l
2
_
2
_
r
2
_
1
r
2
l
2
_
(Q
Em
)
(r)
r
3
_
1
r
2
l
2
_
3
+
6
_
r
2
_
1
r
2
l
2
_
(Q
Em
)
(r)
l
2
r
_
1
r
2
l
2
_
3
4r
_
r
2
_
1
r
2
l
2
_
(Q
Em
)
(r)
l
4
_
1
r
2
l
2
_
3
+
_
r
2
_
1
r
2
l
2
_
(Q
Em
)
(r)
r
3
_
1
r
2
l
2
_
2
3
_
r
2
_
1
r
2
l
2
_
(Q
Em
)
(r)
l
2
r
_
1
r
2
l
2
_
2
_
r
2
_
1
r
2
l
2
_
(Q
Em
)
(r)
l
2
_
1
r
2
l
2
_
2
+
_
r
2
_
1
r
2
l
2
_
(Q
Em
)
(r)
r
2
_
1
r
2
l
2
_
2
= 0. (D3)
15
Expandiendo t erminos y simplicando (D3)
_
2k
2
l
2
r
4
+k
2
r
6
+l
4
_
1+k
2
r
2
__
Q
Em
(r)
(l
2
r +r
3
)
2
_
r
2
r
4
l
2
+
r
_
l
2
r
2
_
2
_
(Q
Em
)
(r) +r (Q
Em
(r))
(r)
_
(l
2
r +r
3
)
2
_
r
2
r
4
l
2
= 0. (D4)
Expandiendo desarrollando los productos indicados
l
4
Q
Em
(r) +k
2
l
4
r
2
Q
Em
(r) 2k
2
l
2
r
4
Q
Em
(r)+
k
2
r
6
Q
Em
(r)l
4
r (Q
Em
)
(r)+2l
2
r
3
(Q
Em
)
(r)r
5
(Q
Em
)
(r)+
l
4
r
2
(Q
Em
)
(r)2l
2
r
4
(Q
Em
)
(r)+r
6
(Q
Em
)
(r)
r
5
+
2l
2
(Q
Em
)
(r)
r
3
(Q
Em
)
(r)
r
+(Q
Em
)
(r)+
l
4
(Q
Em
)
(r)
r
4
2l
2
(Q
Em
)
(r)
r
2
= 0. (D6)
Con una aproximaci on a orden cero en
1
r
, por lo que pode-
mos despreciar los dem as t erminos de orden superior
(Q
Em
)
(r) +k
2
Q
Em
(r) = 0 (D7)
Ap endice E: Calculo de la integral respecto a la parte angular
(80)
En este Ap endice se calcula la integral respecto a la parte
angular contenida en la ecuaci on (80), cual fue realizada en
Mathematica 7.0 for students
_
_
E
2
m
2
g(r)
r
2
dm =
rE
2
2
_
g(r)
ArcTan
_
_
mg(r)
r
_
E
2
m
2
g(r)
r
2
_
_
+
1
2
m
_
E
2
m
2
g(r)
r
2
. (E1)
Si suponemos una expansion en una serie Taylor de la funci on
ArcTan(x) para cuando x 1, de la cual se puede ver una
completa descripcion en Mathematical HandBook of formulas
and tables de M. Spiegel [25]
ArcTan(x) =
2
1
x
+
1
3x
3
1
5x
5
+. . . ,
por lo que la funcion ArcTan(x) se puede aproximar a orden
cero
ArcTan(x)
2
. (E2)
Procemos de la misma manera con el siguiente termino conte-
nido en el lado derecho de (E1)
1
2
m
_
E
2
m
2
g(r)
r
2
=
Em
2
Eg(r)
4r
2
E
2
m
3
+. . . . (E3)
De acuerdo a lo anterior con una aproximaci on a orden cero
tenemos la integral (E1) se expresa
_
_
E
2
m
2
g(r)
r
2
dm =
rE
2
2
_
g(r)
_
2
_
(E4)
Ap endice F: Caractersticas del espacio de de Sitter
En este ap endice mostraremos algunas de las propiedades
geom etricas de espacio-tiempo de de Sitter bajo la signatura
[+++].
Consideremos una m etrica de de Sitter en coordenadas est ati-
cas en (3+1) (t, r, , ) dado por la ecuaci on (16) y se llaman
coordenadas est aticas pues la m etrica no depende de manera
explcita del tiempo
ds
2
=(1
r
2
l
2
)dt
2
+
1
(1
r
2
l
2
)
dr
2
+r
2
d
2
r
2
sin
2
d.
(F1)
En el caso que r = l se tiene el horizonte cosmol ogico y la
m etrica diverge. Lo cual es un concepto importante en cos-
mologa, ya que cuando r = l corresponde a un horizonte de
killing pues la norma del vector de killing t desaparece en este
valor [27]. Esto es una consecuencia que el espacio-tiempo de
de Sitter se est a expandiendo mucho m as r apido que los even-
tos que ocurren. Por lo que para un observador en r = 0 hay
eventos que no podr a verlos pues est an m as all a del horizonte
[27].
Adicional a lo antes mencionado tenemos que la constante
cosmol ogica descrita en la secci on II se puede generalizar
para D dimensiones de la forma
=
(d 2)(d 1)
2l
2
, (F2)
en el caso de d = 4, es decir una geometra (3+1)
4
=
3
l
2
, (F3)
y para (2+1)
3
=
1
l
2
, (F4)
16
que es el caso que estamos estudiando. Se estima que la cons-
tante cosmol ogica tiene un valor experimental de
10
52
m
2
,
de sistema internacional de unidades. En unidades naturales
10
122
(Fuente Wikipedia).
Se pueden obtener un conjunto de transformaciones para las
coordenadas est aticas que permitan llevar la m etrica (16) a una
forma equivalente que permita estudiar sus propiedades
ds
2
=dx
2
0
+
n
i=1
dx
2
i
ds
2
M
=dx
2
0
+dx
2
1
+dx
2
2
+dx
2
3
+dx
2
4
, (F5)
que corresponde una m etrica minkowskiana en 5 dimensiones.
De hecho Ripken en su tesis lo hace as [28], el cual lo
reproducimos aqu por efectos de completes. Sean las transfor-
maciones de la forma
x
0
=
_
l
2
r
2
sinh
_
t
l
_
x
1
=
_
l
2
r
2
cosh
_
t
l
_
x
1
= rcos(), (F6)
x
3
= rsin()cos()
x
4
= rsin()sin().
S calculamos las derivadas totales del sistema de transforma-
ciones dado en F6 se obtiene
dx
0
=
l
2
r
2
cosh
_
t
l
l
dt +
rsinh
_
t
l
l
2
r
2
dr
dx
1
=
rcosh
_
t
l
l
2
r
2
dr
l
2
r
2
sinh
_
t
l
l
dt
dx
2
= cos[]dr rsin[]d (F7)
dx
3
= rcos[]cos[]d +cos[]Sin[]dr rsin[]sin[]d
dx
4
= rcos[]sin[]d +rcos[]sin[]d +sin[]sin[]dr,
que al ser reemplazadas en F5 se obtiene
ds
2
=
l
2
l
2
r
2
dr
2
l
2
l
2
r
2
dt
2
+
2r
2
l
2
r
2
dt
r
4
l
2
(l
2
r
2
)
dt
2
+
l
2
r
2
l
2
r
2
d
2
r
4
l
2
r
2
+d
2
l
2
r
2
2(l
2
r
2
)
d
2
r
4
2(l
2
r
2
)
d
2
l
2
r
2
cos[2]
2(l
2
r
2
)
d
2
+
r
4
cos[2]
2(l
2
r
2
)
d
2
. (F8)
Despues de simplicar terminos se obtiene la m etrica de de
Sitter en coordenadas est aticas (16)
ds
2
=(1
r
2
l
2
)dt
2
+
1
(1
r
2
l
2
)
dr
2
+r
2
d
2
r
2
sin
2
d.
De lo anterior tenemos que el conjunto de transformaciones
dado en F6, que permite llevar la m etrica F5 a la forma 16.
El espacio de De Sitter puede incrustarse en el espacio de
Minkowski de cinco dimensiones como la hipersupercie dada
por
x
2
0
+x
2
1
+x
2
2
+x
2
3
+x
2
4
+x
2
5
= l
2
, (F9)
la cual es equivalente a
x
2
0
l
2
+
x
2
1
l
2
+
x
2
2
l
2
+
x
2
3
l
2
+
x
2
4
l
2
= 1, (F10)
y corresponde a la supercie de un hiperboloide de una hoja en
5 dimensiones. Adem as si tenemos en cuenta que la distancia l
est a determinada por F2, luego F10 se reescribe en t erminos
de la constante cosmol ogica
x
2
0
+x
2
1
+x
2
2
+x
2
3
+x
2
4
+x
2
5
=
(d 2)(d 1)
2
. (F11)
Consideremos las coordenadas x
3
= x
4
= 0 lo que hace que
el problema se reduzca a una geometra (2+1), que es la que
estamos estudiando. Luego la constante cosmol ogica toma el
valor dado por F4 y F11 se puede reescribir como
x
2
0
+x
2
1
+x
2
2
=, (F12)
que es igual a
t
2
+x
2
+y
2
=. (F13)
Con la parametrizaci on x = rcos() y y = rsin() se obtiene
t
2
= r
2
. (F14)
La Figura 14 se observan las trazas (cortes) verticales un
hiperboloide de una hoja generado a partir de la ecuaci on F14
para una constante cosmol ogica normalizada, el tiempo corre
verticalmente y el eje horizontal a las coordenadas x
i
. Las
trazas horizontales corresponden a circunferencias de radio l.
17
10 5 5 10
r
10
5
5
10
t
Figura 14. Trazas (cortes) verticales un hiperboloide de una hoja, el
tiempo corre verticalmente y el eje horizontal a las coordenadas x
i
10
5
0
5
10
x
10
5
0
5
10
y
10
5
0
5
10
t
Figura 15.
BIBLIOGRAF
IA
[1] W. T. Kim, arXiv:[hep-th] 9810169v1 (1998).
[2] G. tHooft. Nucl. Phys. B256.(1985):727
[3] D. V. Fursaev. Phys. Part. Nucl. 36 (2005):81.
[4] S. W. Hawking. Comm. Math. Phys. 43 (1975):199.
[5] J. D. Benkenstein. Phys. Rev. D 7 (1973):2333.
[6] Bardeen, J. M.; Carter, B.; Hawking, S. W. Com. in Math. Phys.
31 (2): 161170 (1973).
[7] R. C. Tolman. Relativity Thermodynamics and Cosmology. Do-
ver Publications Inc., New York (1987).
[8] T. Padmanabhan. Gravitation foundations and frontiers. Cam-
brigde University Press., New York (2010).
[9] R. M. Wald. General Relativity. The Chicago University Press.
USA (1984).
[10] P. Musgrave, D. Pollney and K. Lake. GRTensorM Version 1.2
for Mathematica 3.x En cual se halla disponible en el website
htt p : //grtensor.phy.queensu.ca/ (1998).
[11] L. Susskind and J. Lindesay. An Introduction to Black Holes,
Information, and String Theory Revolution. World Scientic
Publising Co. Pte. Ltd., London, (2005).
[12] V. Mukhanov. Physical Foundations of Cosmology. Cambrigde
University Press., United Kingdom (2005).
[13] S. W. Hawking and G. F. R. Ellis. The large scale structure
of space-time. Cambridge University Press., United Kingdom
(1973).
[14] G. E. Montoya V. Tesis de grado Cuantizaci on de un campo
escalar sobre la cu na de Rindler. Departamento de Fsica. Uni-
versidad Nacional de Colombia. Director: J. R. Arenas S (2000).
[15] J. R. Arenas S. Tesis de Doctorado Termodin amica de entan-
glement del efecto Unruh. Departamento de Fsica. Universidad
Nacional de Colombia. Director: Juan Manuel Tejeiro Sarmiento
(2005).
[16] J. M. Tejeiro S. Sobre la teora especial de la relatividad. Depar-
tamento de Fsica. Universidad Nacional de Colombia (1997).
[17] J. D. Jackson Electrodin amica cl asica. Alhambra (1980).
[18] J. Mathews and R. L. Walker Mathematical Methods of Physics.
Addison Wesley Publishing Company., Pasadena (1969).
[19] R. Inverno. Introducing Einsteins Relativity. Oxford University
Press., New York (1998)
[20] N. D. Birrell and P. C. W. Davies. Quantum elds in curved
space. Cambrigde University Press., New York (1982)
[21] H. Rodriguez C. Tesis de maestra Termodin amica de horizontes.
Observatorio Astron omico Nacional. Universidad Nacional de
Colombia. Director: J. R. Arenas S. (2009).
[22] S. Mukohyama and W. Israel. Phys. Rev D58 (1998):104005.
[23] J. I. Kapusta Finite-Temperatura Field Theory. Cambrigde Uni-
versity Press., New York (1989).
[24] R. P. Feynman. Statistical Mechanics: A set of lectures. The
Benjamin/Cummings Publishing Company, Inc, Massachusetts,
(1961).
[25] M. R. Spiegel. Mathematical HandBook of formulas and ta-
bles.Mc Graw-Hill. New York. (1968).
[26] L. Landau and E. Lifshitz. Curso de Fsica Te orica. Teora Cl asi-
ca de Campos, volumen 3. Editorial Reverte S.A., Barcelona,
1973.
[27] J Grifths and J. Podolsky Exact Space-Times in Einsteins Ge-
neral Relativity. CAMBRIDGE MONOGRAPHS ON MATHE-
MATICAL PHYSICS. Cambridge (2009).
[28] C. Ripken Coordinate systems in De Sitter spacetime. Radboud
University Nijmegen (2013).
[29] M. Spradlin, A. Strominger and A. Volovich. Les Houches Lectu-
res on de Sitter Space. e-Print: arXiv:[hep-th]0110007 v2 (2001).
[30] K. S. Thorne, C. W. Misner and Wheeler. Gravitation. W.H.
18
Freedman and Company. San Francisco. (1973).
[31] D. McHamon. Relativity Demystied. Mc Graw-Hill. New York.
(2006).
[32] S. M. Carroll, e-Print: arXiv:[gr-qc] 9712019v1 .