Introduccin a la Relatividad General

Juan Antonio Hijano Lpez Oliver Hijano Cubelos

Eliot Hijano Cubelos
4-Agosto-2011
Contents
1 NOTACIN 3
2 Introduccin 4
3 Tensores , derivada covariante y simbolos de Christoel 5
4 Propiedades de la mtrica 8
5 Ecuaciones de estructura de Cartan 8
6 Transporte paralelo , tensor de Riemann y ecuacion de las geo-
dsicas 9
7 Tensor de Ricci y escalar de Ricci 11
8 Tensor de Einstein 11
9 Demostracion de las ecuaciones de campo de Einstein 11
10 Vectores de Killing 12
11 Primer ejemplo 13
12 La esfera S
2
17
13 Segundo ejemplo 19
13.1 Primer ejemplo de mtrica . . . . . . . . . . . . . . . . . . . . . . 19
13.2 Segundo ejemplo de mtrica . . . . . . . . . . . . . . . . . . . . . 19
13.3 Tercer ejemplo de mtrica . . . . . . . . . . . . . . . . . . . . . . 20
1
14 Conceptos en geometra diferencial 20
14.1 Sistema de coordenadas normal Gaussiano . . . . . . . . . . . . . 20
14.2 Ecuaciones de Gauss-Weingarten . . . . . . . . . . . . . . . . . . 21
14.3 Ejemplo de clculo de curvatura extrnseca y direcciones principales 22
14.4 Ecuaciones de Gauss-Codazzi . . . . . . . . . . . . . . . . . . . . 23
14.5 Tensores de Ricci y Einstein . . . . . . . . . . . . . . . . . . . . . 24
15 Soluciones de las ecuaciones de campo de Einstein 25
16 Problemas 26
16.1 Clculo de smbolos de Christoel y geodsicas de tiempo . . . . 26
16.2 Clculo de geodsicas nulas y regulares . . . . . . . . . . . . . . 26
16.3 Derivacion covariante . . . . . . . . . . . . . . . . . . . . . . 27
16.4 Teora algebraica de tensores . . . . . . . . . . . . . . . . . . . . 29
16.5 Demostraciones relacionadas con los smbolos de Christoel . . . 30
16.6 Transporte paralelo . . . . . . . . . . . . . . . . . . . . . . . . . 31
16.7 Primer ejemplo de transporte paralelo . . . . . . . . . . . . . . . 33
16.8 Segundo ejemplo de transporte paralelo . . . . . . . . . . . . . . 34
16.9 La identidad de Bianchi . . . . . . . . . . . . . . . . . . . . . . . 34
16.10 Conservacin de la energa y el momento local . . . . . . . . . . 35
17 Pullback-Pushforward 36
18 Sistema de unidades de Planck 39
19 Mtrica de Schwarschild 39
19.1 Smbolos de Christoel . . . . . . . . . . . . . . . . . . . . . . . . 40
19.2 Tensor de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . 40
19.3 Tensor de Ricci . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
19.4 Escalar de Ricci . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
19.5 Obtencin de la mtrica . . . . . . . . . . . . . . . . . . . . . . . 42
19.6 Velocidad radial en el interior y tiempo de vida en la frontera . . 43
19.7 Ecuaciones de Einstein con constante cosmolgica . . . . . . . . . 46
19.8 Experimento sobre un agujero de negro de Schwarzschild . . . . . 50
20 Una mtrica de Schwarzschild algo mas general 56
20.1 Clculo de c(r) y , (r) . . . . . . . . . . . . . . . . . . . . . . . 56
21 Mtrica en T
2
57
21.1 Derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
21.2 Smbolos de Christoel . . . . . . . . . . . . . . . . . . . . . . . . 58
21.3 Tensor de Riemann , Tensor de Ricci , Escalar de Ricci y Tensor
de Einstein. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
22 Mtrica en K (botella de Klein) 59
22.1 Derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2
23 Mtrica de Friedman-Lamaitre-Robertson-Walker (FLRW) . 63
23.1 Mtrica, ecuaciones de Friedman y ecuaciones de estado . . . . . 63
24 Mtrica de Tolman-Bondi-de Sitter en 2+1 dimensiones 65
24.1 Clculo de las 1-formas curvatura . . . . . . . . . . . . . . . . . . 65
24.2 Clculo de las 2-forma curvatura y el tensor de curvatura . . . . 65
24.3 Clculo del tensor de Ricci y el escalar de Ricci . . . . . . . . . . 66
24.4 Tensor de Einstein y ecuaciones de campo . . . . . . . . . . . . . 66
25 La Metrica de Kasner 67
26 El desao a Newton 68
26.1 Observando la cara (no)oculta de una estrella . . . . . . . . . . . 68
27 Bibliograa y referencias 73
1 NOTACIN
Se pretende que este documento sea compatible con muy distintos libros de
texto y publicaciones , cada uno con su propia notacin . Luego no usamos una
nica notacin , pero el signicado de cada simbolo queda claro por el contexto
. Esta es una lista de simbolos frecuentes en este documento .
M es una variedad
r, j , c, j son sistemas de coordenadas de una variedad
bidimensional
r
o
es un sistema de coordenadas genrico
d es la derivada total
0 es la derivada parcial
, implica derivacion parcial . Por ejemplo
q
,
es la derivada de g respecto a r

; \ implica derivacion covariante . Por ejem-

plo T
oo
,X
= \
X
T es la derivada covariante de T
oo
respecto a r
X
\
o
son componentes de un vector

dc
o
son componentes de una 1-forma
c
o
= 0
o
=
J
Jr
c
es un vector basico
n

es una 1-forma basica

q
oo
, 1
o
o
, T
oo
i
son componentes de tensores
I
o
o~
son los smbolos de Christoel
q
oo
es la mtrica de la variedad y g es su
determinante
3
do
2
es el elemento de linea
I
o
b
son las 1-formas curvatura
\
o
b
son las 2-formas curvatura
1
o
bcJ
es el tensor de curvatura de Riemann
A es el producto exterior
A
o
o
es la matriz de transformacion de coor-
denadas
c representa un incremento innitesimal
1
ob
es el tensor de Ricci
1 es el escalar de Ricci
G
ob
es el tensor de Einstein
T
ob
es el tensor momento-energa
o es la accin
1
I
es la tension de curvatura extrinseca
j
i
es la mtrica de Minkowski
2 Introduccin
La teoria de la relatividad es uno de los mayores logros de la ciencia. La rel-
atividad especial , que no incluye la gravedad, fue desarrollada por Einstein
en 1905, y sus resultados son asombrosos como por ejemplo que la velocidad
de la luz en el vacio es la misma para todos los observadores, lo que oblig a
abandonar la idea de un tiempo absoluto. Unos 10 aos mas tarde Einstein
desarrolla la relatividad general que ya incluye la gravedad como la distorsion
del tejido espacio-temporal por la presencia de materia, algo que se resume en
la famosa frase la materia dice al espacio como curvarse y el espacio dice a la
materia como moverse .
Ademas de su belleza matemtica y sus sorprendentes resultados, tiene fama
de dura , algo completamente justicado por el nivel matematico que requiere
y los largos y tediosos calculos que son necesarios hasta llegar a resolver las
ecuaciones de campo, este es el motivo por el que se hace inprescindible ,a
partir de un cierto punto, el uso de algun paquete matemtico como por ejemplo
Mathematica .
La gravedad es extremadamente pequea comparada con el resto de fuerzas
de la naturaleza, pero hay hechos que explican porqu es importante y donde
es importante. En primer lugar , la gravedad es una fuerza universal que afecta
a todos los estados de materia y energia. En segundo lugar la gravedad es una
fuerza de largo alcance en contraste con la fuerza debil y la fuerza fuerte que
se caracterizan por actuar a distancias cortas como el tamao del nucleo. La
tercera y la mas importante, la gravedad no se puede apantallar ya que no existe
una carga gravitacional negativa , la masa siempre es positiva.
Estas tres caracteristicas explican porque la gravedad es la fuerza dominante
a gran escala y es la responsable de la estructura del Universo, la escala de la
4
astrosica y la cosmologia.La fuerza electromagnetica es mucho mas fuerte que
la gravitatoria y es la responsable de que el Universo sea neutro.
La relatividad general es importante para objetos com masa ' y tamao
1 tal que =
c1
1c
2
~ 1 , para estrellas de neutrones ~ 0.1 y para agujeros
negros ~ 0. luego estos son objetos relativistas. En nuestro Universo ~ 1
si tomamos 1 como el radio de Hubble y ' la masa estimada en su interior.
Para valores pequeos de q tambien puede ser importante , por ejemplo
para nuestro Sol ~ 10
6
y para la Tierra ~ 10
9
, pero los efectos son
importantes para el correcto funcionamiento del Global Positioning System
(GPS).
El la sica actual tambien es importante a escalas mas pequeas, las de la
gravedad cuantica, que se caracteriza por la longitud de Planck |
1l
=
_
c~
c
3
~
10
33
cm , que es muy inferior a la escala en la que es importante la interacion
fuerte ~ 10
l3
cm .Esta es la escala en la que actualmente se cree que es posible
encontrar una teoria nal que unique las cuatro fuerzas fundamentales, es la
escala de la teoria de cuerdas, y caracterizara la union de las dos grandes teorias
de la Fisica, la relatividad general y la mecanica cuantica
3 Tensores , derivada covariante y simbolos de
Christoel
Tenemos un sistema de coordenadas r, j , y -, j es otro sistema de
coordenadas relacionado con el primero segun
- = -(r, j)
j = j(r, j)
,en una variedad
bidimensinal M.
Las matrices de transformacin son :
A
o
0
o
=
Jr
c
0
Jr
{
=
_
J:
Jr
J:
J
Jq
Jr
Jq
J
_
A
o
o
0 =
Jr
c
Jr
{
0 =
_
Jr
J:
Jr
Jq
J
J:
J
Jq
_
donde prima se reere a las coordenadas -, j , y cumplen la relacin
A
o
0
o
A
o
o
0 = 1 (ver el primer ejemplo).
Tambien , llamamos a A
o
o
0 =
Jr
c
Jr
{
0 = J el jacobiano , con determinante
no nulo para ser una transformacion valida de coordenadas.
Las leyes de transformacion de un sistema a otro para vectores , 1-formas ,
vectores basicos y 1-formas basicas son :
\
o
0
= A
o
0
o
\
o
para vectores .

d1
o
0 = A
o
o
0

d1
o
para 1-formas .
n
o
0
= A
o
0
o
n
o
para 1-formas basicas . c
o
0 = A
o
o
0 c
o para vectores basicos .
Para transformaciones de1-formas basicas y vectores basicos , ver el primer
ejemplo .
Con las 1-formas basicas obtenemos la mtrica ; ver el primer ejemplo .
5
Escribimos un tensor p veces contravariante y q veces covariante , un tensor
_
j

_
como : T
I1I2...I
12...q
.
\ = \
o
c
o
es un vector, un tensor
_
1
0
_
con componentes \ = \
o
(r

)
donde r

es un sistema de coordenadas.
Podemos derivar V respecto a r
o
:
J\
Jr
{
=
J\
c
Jr
{
c
o
\
o Jtc
Jr
{
pero
Jtc
Jr
{
es
una combinacion lineal de c

:
Asi
Jtc
Jr
{
= I

oo
c

dond j es la componente , c es el vector basico que

derivamos y , es la coordenada respecto a la cual derivamos ,
y ahora podemos cambiar indices y escribir \
o
I

oo
c

= \

I
o
o
c
o
asi :
J\
Jr
{
=
J\
c
Jr
{
c
o
\

I
o
o
c
o
= (
J\
c
Jr
{
\

I
o
o
)c
o
= (\
o
,o
\

I
o
o
)c
o
Y denimos la derivada covariante de un vector , un tensor
_
1
0
_
como \
o
,o
= \
o
,o
\

I
o
o
Ahora denimos la divergencia de un vector como \
o
,o
=
l
_

(
_
q\
o
)
,o
, ver el primer ejemplo.
Y la Laplaciana es \

= \

) = q
r
0
r
) , ver el primer ejemplo
Clculos similares dan para la derivada covariante(ver el tercer problema de
la seccin problemas):
para una 1-forma , un tensor
_
0
1
_
: 1
o,o
= 1
o,o
1

oo
para un tensor
_
1
1
_
: 1
o
o,~
= 1
o
o,~
1

o
I
o
~
1
o

o~
para un tensor
_
2
0
_
: T
oo
,~
= T
oo
,~
T
o
I
o
~
T
o
I
o
~
para un tensor
_
0
2
_
: q
oo,~
= q
oo,~
q
o
I

o~
q
o
I

o~
Para un tensor
_
j

_
la derivada covariante es un tensor
_
j
1
_
,
Si r

y r

son dos sistemas de coordenadas , la ley de cambio de

un sistema a otro es(ver el cuarto problema de la seccion de problemas) :
para un vector
T
I
= T
: Jr
1
Jr
r
,y para una 1-forma T
I
= T
:
Jr
r
Jr
1
,y en general
T
I1I2...I
12...q
= T
:1:2...:
s1s2...sq
Jr
1
1
Jr
r
1
Jr
1
2
Jr
r
2
...
Jr
1
Jr
r
Jr
s
1
Jr

1
Jr
s
2
Jr

2
...
Jr
sq
Jr
q
.
Llamamos a I

oo
los simbolos de Christoel y no es un tensor . Tiene la
simmetra I

oo
= I

oo
y se calculan con la mtrica(ver la seccion propiedades
de la mtrica) segn :
I

oo
=
l
2
q
i
(q
io,o
q
io,o
q
oo,i
)
6
Tambien denimos I

oo
= q
i
I
ooi
y I
ooi
= I
ooi
=
l
2
(q
oi,o
q
io,o
q
oo,i
)
Sobre smbolos de Christoel ver problema 5 de la seccin de problemas.
Vamos a calcular los smbolos de Christoel ,para una mtrica diagonal(ya
que es de uso frecuente), usando la formula :
I
c
u
=
1
2
q
c
(0
u
q

q
i
0

q
i
)
Sabiendo que q
u
= 0 si ,= j podemos escribir :
I
X
u
=
1
2
q
X
(0
u
q

q
i
0

q
i
) =
=
1
2
_
q
X
0
u
q

q
X
0

q
i
q
X
0

q
i
_
=
=
1
2
_
q
X
0
u
q

q
X
0

q
i
_
=
1
2
_
c

q
X
0
u
q

c
u

q
X
0

q
i
_
=
=
1
2
_
q
X
0
u
q

q
uX
0

q
ii
_
= 0
Tambien :
I
X

=
1
2
q
X
(0

) =
=
1
2
_
q
X
0

q
X
0

q
X
0

_
=
=
1
2
_
c

q
X
0

q
X
0

q
X
0

_
=
=
1
2
_
q
X
0

q
X
0

q
X
0

_
=
=
1
2
q
X
0

=
1
2
q
XX
0
X
q

=
1
2
(q
XX
)
l
0
X
q

Y tambien :
I
X
X
=
1
2
q
X
(0
X
q

q
X
0

q
X
) =
=
1
2
_
q
X
0
X
q

q
X
0

q
X
q
X
0

q
X
_
=
=
1
2
_
q
X
0
X
q

q
XX
0

q
XX
_
=
1
2
(q
XX
)
l
(0

q
XX
) = 0

ln
_
[q
XX
[
Y nalmente :
I
X
XX
=
1
2
q
X
(0
X
q
X
0

q
XX
0
X
q
X
) =
=
1
2
q
XX
0
X
q
XX
= 0
X
ln
_
[q
XX
[
7
4 Propiedades de la mtrica
Un espacio n-dimensional que localmente es isomorfo a 1
n
, el espacio Euclideo
n-dimensional , con coordenadas (r
o
) , en el que se ha denido una forma
fundamental o mtrica q
I
dr
I
dr

tal que q = (q
I
) es un espacio de Rie-
mann.
La mtrica g es de clase C
2
, al menos.
Tiene la simetra q
oo
= q
oo
,luego es una matriz simtrica .
El determinante g es no nulo .
Permite medir distancias d:
2
= q
I
dr
I
dr

, y la nocin de distancia gen-

erada por g es invariante bajo cambios de coordenadas .
En general es indenida .
La norma de un vector se calcula segn [\ [ =
_
cq
I
dr
I
dr

donde c es
la funcion indicatriz que vale +1 si q
I
dr
I
dr

~ 0 y -1 si q
I
dr
I
dr

- 0 , asi
[\ [ _ 0 para todo V , y en caso de igualdad decimos que V es un vector nulo
.
Si r
I
= r
I
(t) es una curva , con t el parmetro que dene cada punto de ella
, la longitud de la curva en a _ t _ / es
1 =
_
b
o
_
cq
I
Jr
1
J|
Jr

J|
dt =
_
b
o
[\ [ dt
.
El ngulo entre vectores es
cos 0 =
I\
]I]]\ ]
=
1I
1
\

_
t1qI

\
q
_
t2rsI
r
\
s
, y clara-
mente el ngulo puede ser real complejo .
La mtrica sube y baja ndices , por ejemplo hay una relacin uno a uno
entre vectores y 1-formas :
\
I
= q
I
\

= q
I
\
|
.
El elemento de volumen es
_
qd
1
r donde D es el nmero de dimensiones
del espacio-tiempo .
La derivada del determinante es q
,
= qq
oo
q
oo,
.
Y su derivada covariante siempre es nula q
oo,
= 0 .
Para un MCRF(momentarily comoving reference frame) q
oo
= j
oo
= diaq(1, 1, 1, 1)
, luego el espacio es plano.
Y la transformacin de Lorentz A
o
0
o
se cambia por 1
o
0
o
en un espacio-
tiempo curvo.
En el segundo ejemplo se hacen clculos relaccionados con la mtrica.
5 Ecuaciones de estructura de Cartan
Si r
o
, es un sistema de coordenadas , entonces c
o
= 0
o
=
J
Jr
o
es una
base coordenada , pero normalmente no son unitarios ni ortogonales y no tienen
las mismas dimensiones .
Las 1-formas basicas son n
o
= dr
o
, y dn
o
= 0 es decir son exactas .
La primera ecuacin de estructura de Cartan es :
8
dn
bo
= I
bo
b
b
An
b
b
=
l
2
C
bo
b
bbc
n
bc
An
b
b
I
bo
b
b
=
l
2
C
bo
b
bbc
n
bc
donde I
bo
b
b
son las 1-formas de curvatura con las simetrias :
I
b
0
b
I
= I
b
I
b
0
I
b
I
b

= I
b

b
I
I
b
I
b
I
= 0
.Tambien I
bo
b
b
= I
bo
b
bbc
n
bc
donde I
bo
b
bbc
son los coecientes de rotacin de
Ricci .
Podemos calcular los smbolos de Christoel segn I
o
bc
= (A
l
)
o
b
J
I
b
J
b t
b
}
A
b t
b
A
b
}
c
.
La segunda ecuacin de estructura de Cartan es :
\
bo
b
b
= dI
bo
b
b
I
bo
bc
AI
bc
b
b
=
l
2
1
bo
b
bbc
b
J
n
bc
An
b
J
donde \
bo
b
b
son las 2-formas de curvatura y el tensor de curvatura de Rie-
mann(ver la seccion sobre el tensor de Riemann) es 1
o
bcJ
= (A
l
)
o
b t
1
b t
b
}b
b
|
A
b
}
b
A
b
c
A
b
|
J
.
6 Transporte paralelo , tensor de Riemann y
ecuacion de las geodsicas
Un vector V se transporta paralelamente desde A hasta B , luego a C , luego a
D y vuelta a A .
El cambio en \
o
es c\
o
= cr

cr
i
1
o
oi
\
o
(problema 6 de la seccion
de problemas)donde
9
1
o
oi
= I
o
oi,
I
o
o,i
I
o
c,
I
c
oi
I
o
ci
I
c
o
El tensor de Riemann es
_
1
8
_
con 1
d
componentes y si todos son
nulos el espacio es plano. Tiene las simetras :
1
I
|l
= 1
I
l|
1
I
|l
= 1

I|l
1
I
|l
= 1
|
lI
Si hacemos transporte paralelo de un vector \
o
a lo largo de la curva
r
o
(`) , entonces en un sistema inercial local
J\
c
JX
= 0 y :
J\
c
JX
=
J\
c
Jr
{
Jr
{
JX
= (
J\
c
Jr
{
\

I
o
o
)l
o
= 0
Y como debe ser cierto en cualquier base la denicin de transporte
paralelo es (problemas 7 y 8 de la seccion de problemas) :
(
J\
c
Jr
{
\

I
o
o
)l
o
= 0 =l
o
\
o
,o
= 0
Y la curva que transporta paralelamente su tangente es una geodsica :
l
o
l
o
,o
= 0
l
o
l
o
,o
= l
o
l
o
,o
I
o
o
l

l
o
= 0
Jr
{
JX
JI
c
Jr
{
I
o
o
Jr
,
JX
Jr
{
JX
= 0
J
JX
(
Jr
c
JX
) I
o
o
Jr
,
JX
Jr
{
JX
= 0
La ultima ecuacin es para geodsicas r
o
(`) . Las condiciones iniciales
son ` = `
0
o r
o
0
= r
o
(`
o
) para la posicin inicial , y l
o
0
= (
Jr
c
JX
)
Xc
para
la direccion inicial .
Un ejemplo simple de geodsicas son las geodsicas nulas d:
2
= 0 de la
relatividad especial , donde la mtrica es q
oo
= diaq(1, 1, 1, 1) .
Como q
oo
= co::t =I
o
o
= 0
J
JX
(
Jr
c
JX
) I
o
o
Jr
,
JX
Jr
{
JX
= 0 =
J
2
r
c
Js
2
= 0 =r
o
= r
o
0
t
o
:
y como d:
2
= 0 :
q
oo
Jr
c
Js
Jr
{
Js
= 0 =q
oo
t
o
t
o
= 0
q
oo
r
c
r
c
0
s
r
{
r
{
0
s
= 0
q
oo
(r
o
r
o
0
)(r
o
r
o
0
) = 0
Asi las geodsicas nulas son (r
0
r
0
0
)
2
(r
l
r
l
0
)
2
(r
2
r
2
0
)
2
(r
3
r
3
0
)
2
= 0
y si tomamos como punto de partida el origen de coordenadas r
o
0
= 0
y tomando solo dos dimensiones :
(r
l
)
2
(r
2
)
2
= (r
0
)
2
y obtenemos el cono de luz.
10
7 Tensor de Ricci y escalar de Ricci
El tensor de Ricci es 1
ob
= 1
c
ocb
El escalar de Ricci es 1 = q
ob
1
ob
Para deniciones ver el apartado 10 de la seccin de problemas .
8 Tensor de Einstein
El tensor de Einstein es G
ob
= 1
ob

l
2
q
ob
1
Para deniciones ver el apartado 10 de la seccin de problemas .
9 Demostracion de las ecuaciones de campo de
Einstein
Vamos a demostrar las ecuaciones de campo de Einstein usando un metodo
variacional .
La accin de Einstein-Hilbert es :
o =
l
2|
2
_
d
d
r
_
q(1 2A) o
1
donde c = 1 , /
2
= 8G

y o
1
es la contribucin de la materia .
Comenzamos con el tensor de Riemann
1

ci
= 0

ic
0
i
I

c
I

X
I
X
ic
I

iX
I
X
c
la variaciin es
c1

ci
= 0

cI

ic
0
i
cI

c
cI

X
I
X
ic
I

X
cI
X
ic
cI

iX
I
X
c
I

iX
cI
X
c
.
La derivada covariante para cI

i
es:
\
X
(cI

i
) = 0
X
(cI

i
) I

cX
cI
c
i
I
c
iX
cI

c
I
c
X
cI

ic
.
Cambiando ` j , j o y o c queda :
\

(cI

ic
) = 0

(cI

ic
) I

o
cI
o
ic
I
o
i
cI

oc
I
o
c
cI

io
Y cambiando ` i , i j , j o j o c queda :
\
i
(cI

c
) = 0
i
(cI

c
) I

oi
cI
o
c
I
o
i
cI

oc
I
o
ci
cI

o
11
Asi , restando , obtenemos la identidad de Palatini
c1

ci
= \

(cI

ic
) \
i
(cI

c
) .
La variacin del tensor de Ricci se obtiene contrayendo ndices (hemos cam-
biado o j y j j ) :
c1
i
= c1

i
= \

(cI

i
) \
i
(cI

) .
Y el escalar de Ricci es 1 = q
i
1
i
entonces usando la ecuacin de com-
patibilidad de la mtrica \
c
q
i
= 0 :
c1 = 1
i
cq
i
q
i
c1
i
= 1
i
cq
i
\
c
(q
i
cI
c
i
q
c
cI

) donde el
ultimo termino es una divergencia .
Ahora necesitamos la variacin del determinante de la mtrica c(
_
q) =
l
2
_
qq
oo
cq
oo
.
Y la variacin de la accin es :
co =
l
2|
2
_
d
d
r
_
q(1
i

l
2
q
i
1 Aq
i
)cq
i

l
2
_
d
J
r
_
qT
i
cq
i
tcr mino: dc co:tor:o
donde hemos denido el tensor de momento-energa como : T
i
=
2
_

oS
f
o
,:
.
Como la variacin cq
i
es arbitraria , obtenemos las ecuaciones de
campo de Einstein :
1
i

l
2
q
i
1 Aq
i
= 8G

T
i
Denimos el tensor de Einstein G
i
= 1
i

l
2
q
i
1 , y las ecuaciones
de campo quedan : G
i
Aq
i
= 8G

T
i
.
Estas ecuaciones junto con las ecuaciones de las geodsicas son el
nucleo de la formulacin matemtica de la Relatividad General .
Usando la identidad de Bianchi \

G
i
= 0 (problema 9 de la seccin
de problemas) encontramos una consecuencia importante de las ecuaciones de
campo , que el tensor de momento-energa
es una corriente conservada \

T
i
= 0 (problema 10 de la seccion de
problemas).
10 Vectores de Killing
Una mtrica tiene componentes q
i
relativa a un sistema de coordenadas
r
o
y suponemos que todas son independientes de la coordenada r
|
,
luego
J,:
Jr
!
= 0 .
12
La longitud de una curva es 1 =
X2
_
X1
q
i
(r(`))
Jr
,
JX
Jr
:
JX

1
2
d` .Ahora trasladamos
la curva r
o
= r
o
(`) en la direccion c = ^r
|
,
entonces tenemos una curva congruente
r
o
= r
o
(`), c ,= /
r
|
= r
|
(`) c
,
la nueva longitud es 1(c) =
X2
_
X1
q
i
(r(`)) c
J,:
Jr
!

Jr
,
JX
Jr
:
JX

1
2
d` ,pero
J,:
Jr
!
= 0
luego la longitud es la misma y
JJ
Jt
= 0 .
El vector

c =
J
J:
=
J
Jr
!
produce una traslacin que conserva distancias ,
y lo llamamos vector de Killing .
Si c

= c

|
son las componentes de un vector de Killing , entonces c

= q
o
c
o
y la derivada covariante es
c
,i
= q
o
c
o
,i
= q
o
(c
o
,i
I
o
ic
c
c
) = q
o
I
o
i|
= I
i|
=
l
2
(q
|,i
q
i,|
q
i|,
) =
l
2
(q
|,i
q
i|,
)
Luego c
,i
es antisimtrico y por lo tanto la ecuacin de Killing es :
c
,i
c
i,
= 0 = c
(,i)
y c
(,i)
=
l
2
(c
,i
c
i,
) .
Dado un vector de Killing X , algunas propiedades son :
* relacin con el tensor de Riemann \
c
\
b
A
o
= 1
o
bcJ
A
J
* relacin con el tensor de Ricci \
b
\
o
A
b
= 1
oc
A
c
* relacin con el escalar de Ricci A
o
\
o
1 = 0
* denimos una corriente como J
o
= T
ob
A
b
donde T es el tensor de
momento-energa.La derivada covariante es :
\
o
J
o
= \
o
(T
ob
A
b
) = (\
o
T
ob
)A
b
T
ob
(\
o
A
b
) pero \
o
T
ob
= 0 y T
ob
es simtrico,
as \
o
J
o
=
l
2
(T
ob
(\
o
A
b
) T
bo
(\
b
A
o
)) =
l
2
T
ob
(\
o
A
b
\
b
A
o
) = 0 y J
es una cantidad conservada.
Ver el apartado de la esfera S
2
para un ejemplo de aplicacin.
11 Primer ejemplo
Dadas las coordenadas :
r = n cos c j = n sinc . =
1
2
_
n
2

2
_
Calculamos el Jacobiano :
13
0r
o
0r
ot
= A
o
o
0 =
_
_
cos c ncos c n sinc
sinc nsinc n cos c
n 0
_
_
Cuyo determinante es :
J = n

ncos c n sinc
nsinc n cos c

cos c n sinc
sinc n cos c

=
= n
_
n
2

2
_
Asi la transformacin de coordenadas no es invertible si n = 0 o = 0. La
matriz inversa es :
0r
ot
0r
o
=
1

Jr
c
Jr
{0

(d,(J))
T
=
1
n (n
2

2
)
_
_
n
2
cos c n
2
cos c
_
n
2

2
_
sinc
n
2
sinc n
2
sinc
_
n
2

2
_
cos c
n
2

2
n 0
_
_
T
=
=
_
_
u cos
u
2
u
2
ucos
u
2
u
2

sIn
uu
u sIn
u
2
u
2
usIn
u
2
u
2
cos
uu
u
u
2
u
2

u
u
2
u
2
0
_
_
T
=
_
_
_
u cos
u
2
u
2
u sIn
u
2
u
2
u
u
2
u
2
ucos
u
2
u
2
usIn
u
2
u
2

u
u
2
u
2

sIn
uu
cos
uu
0
_
_
_
Las 1-formas basicas son :
dr
u
=
cos c
n
2

2
dr
r

sinc
n
2

2
dr

n
n
2

2
dr
:
dr
u
=
ncos c
n
2

2
dr
r

nsinc
n
2

2
dr

n
2

2
dr
:
dr

=
sinc
n
dr
r

cos c
n
dr

Y los vectores bsicos :

0
u
= cos c0
r
ncos c0

n sinc0
:
0
u
= sinc0
r
nsinc0

n cos c0
:
0

= n0
r
0

Usando la matriz jacobiana obtenemos :

0r
o
0r
ot
=
_
_
cos c ncos c n sinc
sinc nsinc n cos c
n 0
_
_
_
_
dr
dj
d.
_
_
=
_
_
cos c ncos c n sinc
sinc nsinc n cos c
n 0
_
_
_
_
dn
d
dc
_
_
=
=
_
_
cos cdn ncos cd n sincdc
sincdn nsincd n cos cdc
ndn d
_
_
14
Luego la mtrica es :
d:
2
= d:
t2
= dr
2
dj
2
d.
2
=
= ( cos cdn ncos cd n sincdc)
2
( sincdn nsincd n cos cdc)
2
(ndn d)
2
=
=
2
cos
2
cdn
2
n
2
cos
2
cd
2
n
2

2
sin
2
cdc
2
2nsin
2
cddn 2n
2
sinccos cdcdn
2n
2
cos csincdcd
2
sin
2
cdn
2
n
2
sin
2
cd
2
n
2

2
cos
2
cdc
2
2ncos
2
cddn
2n
2
cos csincdcdn 2n
2
cos csincdcd n
2
dn
2

2
d
2
2ndnd =
=
_
n
2

2
_
dn
2

_
n
2

2
_
d
2
n
2

2
dc
2
q

0
i
0 =
_
_
_
n
2

2
_
0 0
0
_
n
2

2
_
0
0 0 n
2

2
_
_
q

0
i
0
=
_
_
l
(u
2
u
2
)
0 0
0
l
(u
2
u
2
)
0
0 0
l
u
2
u
2
_
_
Los smbolos de Christoel son :
I
X
u
= 0
I
X

=
1
2
(q
XX
)
l
0
X
q

I
X
X
= 0

ln
_
[q
XX
[
I
X
XX
= 0
X
ln
_
[q
XX
[
Resumiendo, los valores no nulos son :
15
q

0
i
0 =
_
_
_
n
2

2
_
0 0
0
_
n
2

2
_
0
0 0 n
2

2
_
_
I
u
uu
=
1
2
(q
uu
)
l
0
u
q
uu
=
n
n
2

2
I
u

=
1
2
(q
uu
)
l
0
u
q

=
n
2
n
2

2
I
u
uu
=
1
2
(q
uu
)
l
0
u
q
uu
=

n
2

2
I
u

=
1
2
(q
uu
)
l
0
u
q

=
n
2

n
2

2
I

u
= 0
u
lnn =
1

u
= 0
u
lnn =
1
n
I
u
uu
= 0
u
ln
_
(n
2

2
) =

n
2

2
I
u
uu
= 0
u
ln
_
(n
2

2
) =
n
n
2

2
I
u
uu
= 0
u
ln
_
(n
2

2
) =
n
n
2

2
I
u
uu
= 0
u
ln
_
(n
2

2
) =

n
2

2
Divergencia :
\

= 0

X
\
X
=
= 0
u
\
u
0
u
\
u
0

I
u
uX
\
X
I
u
uX
\
X
I

X
\
X
=
= 0
u
\
u
0
u
\
u
0

I
u
uu
\
u
I
u
uu
\
u
I
u
u
\

I
u
uu
\
u
I
u
uu
\
u
I
u
u
\

u
\
u
I

u
\
u
I

= 0
u
\
u
0
u
\
u
0

n
n
2

2
\
u

n
2

2
\
u

n
n
2

2
\
u

n
2

2
\
u

1
n
\
u

\
u
= 0
u
\
u
0
u
\
u
0

2n
n
2

2
\
u

1
n
\
u

2
n
2

2
\
u

\
u
=
= 0
u
\
u
0
u
\
u
0

_
8n
2

2
n(n
2

2
)
_
\
u

_
8
2
n
2
(n
2

2
)
_
\
u
Laplaciana, \

= \

): :
16
\

= \

) = q
r
0
r
)
_
_
l
(u
2
u
2
)
0 0
0
l
(u
2
u
2
)
0
0 0
l
u
2
u
2
_
_
\

) = 0
u
(q
ur
0
r
)) 0
u
(q
ur
0
r
)) 0

_
q
r
0
r
)
_

8n
2

2
n(n
2

2
)
q
ur
0
r
)
8
2
n
2
(n
2

2
)
q
ur
0
r
) =
= 0
u
_
1
n
2

2
0
u
)
_
0
u
_
1
n
2

2
0
u
)
_
0

_
1
n
2

2
0

)
_

8n
2

2
n(n
2

2
)
2
0
u
)
8
2
n
2
(n
2

2
)
2
0
u
) =
=
2n
(n
2

2
)
2
0
u
)
1
n
2

2
0
2
u
)
2
(n
2

2
)
2
0
u
)
1
n
2

2
0
2
u
)
1
n
2

2
0
2

8n
2

2
n(n
2

2
)
2
0
u
)
8
2
n
2
(n
2

2
)
2
0
u
)
=
1
n
2

2
0
2
u
)
1
n
2

2
0
2
u
)
1
n
2

2
0
2

)
1
n(n
2

2
)
0
u
)
1
(n
2

2
)
0
u
)
12 La esfera S
2
La metrica es :
d:
2
= d0
2
sin
2
0dc
2
q
i
=
_
1 0
0 sin
2
0
_
Y los simbolos de Christoel son :
I
0

= sin0 cos 0
I

00
= 0
I

0
=
1
lan0
I
0
0
= 0
I
0
00
= 0
I

= 0
Las ecuaciones para las geodsicas son :
0 =

c
1
lan0

c
0 =

0 sin0 cos 0

c
17

c = 0 y 0 = a /` satisfacen las ecuaciones para las geodsicas. Si

0 = 0
entonces :
0 =

c
0 = sin0 cos 0

c
Que slo se cumple para 0 =
t
2
, si c = a/`. Podemos preguntarnos porque
0 = 0 o 0 = no es una geodsica.
Si dibujamos la esfera vemos que estas geodsicas son solo puntos y no
trayectorias.
Ahora vamos a calcular los vectores de Killing .
Comenzamos con la ecuacin de Killing
c
o,o
c
o,o
= 0 = c
(o,o)
= c
o,o
c
o,o
2I

oo
c

= 0
para c = , = c c
,
= c
0
sin0 cos 0 (1)
para c = , = 0 c
0,0
= 0 =c
0
= )(c) (2)
para c = 0, , = c c
0,
c
,0
= 2c

col 0 (3)
primero , sustituimos (2) en (1) e integramos :
c
,
= )(c) sin0 cos 0 c

=
_
)(c) sin0 cos 0dc = 1(c) sin0 cos 0 q(0)
con 1(c) =
_
)(c)dc
ahora usamos (3) :
J}()
J
1(c)(cos
2
0 sin
2
0)
J(0)
J0
= 2 col 0(1(c) sin0 cos 0 q(0))
y de
J}()
J
1(c) =
J(0)
J0
2 col 0q(0)
obtenemos dos ecuaciones :
J}()
J

_
)(c)dc = / (4) , y
J(0)
J0
2 col 0q(0) = /
(5).
ahora resolvemos (4) :
J
2
}()
J
2
)(c) = 0 )(c) = cos c 1sinc 1(c) = sinc 1cos c y
J}()
J
1(c) = 0 / = 0
de (5) :
J(0)
J0
= 2 col 0q(0) q(0) = c sin
2
0
asi c
0
= cos c 1sinc y q
00
c
0
= -
0
= c
0
c

= (sinc 1cos c) sin0 cos 0 c sin

2
0 y q

= c

=
l
sIn
2
0
c

y concluimos que :
c = -
0 J
J0
c
J
J
= (cos c 1sinc)
J
J0
(c col 0(sinc 1cos c))
J
J
18
es el vector de Killing mas general .
Sabemos de la teora del momento angular que :
1
r
= cos c
J
J0
col 0 sinc
J
J
1

= sinc
J
J0
col 0 cos c
J
J
1
:
=
J
J
y as queda
c = 1
r
11

C1
:
13 Segundo ejemplo
13.1 Primer ejemplo de mtrica
Consideramos la mtrica de la Relatividad Especial cd:
2
= (dr
l
)
2
(dr
2
)
2
(dr
3
)
2
(dr
d
)
2
con r
d
= ct , es decir q
oo
= diaq(1, 1, 1, 1)
y las curvas
C
l
u (t, 0, 0, t
2
)
C
2
u (j, 0, 0, 2 j
2
)
.
Se trata de calcular el ngulo entre las curvas el los puntos de interseccin .
Es facil calcular los puntos de interseccion , que son 1 = (1, 0, 0, 1) y
Q = (1, 0, 0, 1) .
El vector tangente a la curva C
l
es l = (1, 0, 0, 2t) .
Y el vector tangente a la curva C
2
es \ = (1, 0, 0, 2j) .
En el punto P los vectores tangentes son l
1
= (1, 0, 0, 2) y \
1
= (1, 0, 0, 2)
.
Luego el ngulo que forman las dos curvas en el punto de interseccin P es
cos 0
1
=
I\
]I]]\ ]
=
1I
1
\

_
t1qI

\
q
_
t2rsI
r
\
s
=
5
3
~ 1
luego 0
1
= i log(
5
3

_
(
5
3
)
2
1) = i log 8
.
Clculos similares para el punto Q dan
l
Q
= (1, 0, 0, 2)
\
Q
= (1, 0, 0, 2)
cos 0
Q
=
5
3
con lo que 0
Q
= 0
1
.
El siguiente clculo es la longitud de la curva C u (r
l
= 8 cos t, r
2
= 8 sint, r
3
= 4t, r
d
= t)
para el intervalo 0 _ t _ 1 .
El vector tangente a la curva es \ = (8 sint, 8 cos t, 4, ) cuyo mdulo es
[\ [ = 0 , luego la longitud de la curva es nula , algo que puede ocurrir si la
mtrica no es denida positiva.
El conjunto de valores de t en los cuales la curva es nula se llama conjunto
nulo .
13.2 Segundo ejemplo de mtrica
Tomamos la mtrica Riemanniana q = (
(r
l
)
2
1
1 0
) y la curva
C u (r
l
= t, r
2
=
]|]
3
6
)
, y vamos a calcular el subarco nulo .
El vector tangente es \ = (1, c
|
2
2
) con c = 1 si t ~ 0 y c = 1 si
t - 0 .
19
Asi la norma de V es [\ [ = (1, c
|
2
2
)(
(r
l
)
2
1
1 0
)(
1
c
|
2
2
) = t
2
(1 c) luego
para t ~ 0 [\ [ = 0 y tenemos el subespacio nulo .
Una curva se llama regular si no tiene puntos nulos .
13.3 Tercer ejemplo de mtrica
En este ultimo ejemplo tomamos la mtrica q = (
(r
l
)
2
1 1 0
1 (r
2
)
2
0
0 0
6d
9
) y
la curva
C u (r
l
= 2t 1, r
2
= 2t
2
, r
3
= t
3
) y vamos a calcular la longitud de la
curva en el intervalo 0 _ t _ t .
El vector tangente es \ = (2, 4t, 8t
2
) , y su modulo es
[\ [ = (2, 4t, 8t
2
)(
(r
l
)
2
1 1 0
1 (r
2
)
2
0
0 0
6d
9
)(
2
4t
8t
2
) = 16t
2
(2t
2
1)
2
.
Asi la longitud de la curva es :(t) =
_
|
0
_
16t
2
(2t
2
1)
2
dt = 2t
2
(t
2
1) .
14 Conceptos en geometra diferencial
Este apartado tiene como objetivo el denir el sistema de coordenadas nor-
mal Gaussiano y aplicarlo para calcular las ecuaciones de Gauss-Codazzi y la
ecuacin de Gauss-Weingarten.
Despues calcularemos el tensor y el escalar de Ricci y el tensor de Einstein.
Con ello tendremos una nueva forma (la tercera) de calcular los tensores
necesarios en Relatividad General.
14.1 Sistema de coordenadas normal Gaussiano
En una variedad espacio-tiempo arbitraria , no necesariamente homogenea e
istropa , tomamos una supercie inicial de tipo espacio
1
en la que elegimos
un sistema arbitrario
de coordenadas
(r
l
, r
2
, r
3
) y cogemos las geodsicas ortogonales a ella .Elegida una geo-
dsica , esta corta a
1
en un punto P el cual tendra como coordenadas
(r
0
, r
l
, r
2
, r
3
)
en la variedad espacio-tiempo M en la cual esta sumergida
1
, siendo
r
0
= t = t
1
t y t es el tiempo propio a lo largo de la geodesica , con t = 0
en P .
El sistema de coordenadas asi denido se llama sistema de coordenadas
normal Gaussiano.
20
Ahora demostraremos que en este sistema la mtrica toma la forma do
2
= dt
2
q
I
dr
I
dr

.
Los valores de (r
l
, r
2
, r
3
) son constantes a lo largo de la geodsica , luego
do
2
= q
00
dt
2
a lo largo de ella , y como para esta geodsica do
2
= dt
2
resulta que q
00
= 1 en cualquier punto de M.
En M la base coordenada de vectores es c
o
= (c
0
, c
l
, c
2
, c
3
) y c
0
=
J
Jr
es tangente a la geodsica , luego ortogonal a
1
y por lo tanto
en t = 0 c
0
c
I
= q
0I
= 0 para i=1,2,3.
Por otra parte
J
Jr
(c
0
c
I
) = \
t0
(c
0
c
I
) = \
t0
c
0
c
I
c
0
\
t0
c
I
, y para
la geodsica \
t0
c
0
= 0 ya que la geodsica hace transporte paralelo de su
tangente.
Como c
0
y c
I
con i=1,2,3 forman base coordenada , tenemos que [c
I
, c
0
[ = \
t1
c
0
\
t0
c
I
= 0
, es decir todos los coecientes de conmutacin son nulos.
Asi
J
Jr
(c
0
c
I
) = \
t0
(c
0
c
I
) = c
0
\
t0
c
I
= c
0
\
t1
c
0
, pero c
0
\
t1
c
0
=
l
2
\
t1
(c
0
c
0
) =
l
2
\
t1
(1) = 0
lo que signica que
c
0
c
I
= 0 = q
0I
en todos los puntos de la variedad y por lo tanto en estas
coordenadas la mtrica es :
do
2
= dt
2
q
I
dr
I
dr

14.2 Ecuaciones de Gauss-Weingarten

Igual que antes M es la variedad espacio-tiempo , y ahora la hipersupercie
tiene vector normal unitario n con : : = c y c = 1 segn sea
de tiempo o de espacio.
21
Tenemos como base para M (:, c
I
) con (c
I
) la base coordenada de la
hipersupercie y por tanto : c
I
= 0 .
Nuestro objetivo es encontrar \
I
c

[
1
es decir
Jt
Jr
1
para la variedad M.
Esta derivada sera combinacin lineal de los vectores de la base \
I
c

[
1
= a
I
: ,
|
I
c
|
, luego tenemos que calcular los coecientes a
I
y los ,
|
I
.
Primero multiplicamos escalarmente ambos lados de la igualdad por n :
: \
I
c

[
1
= ca
I
.Por otra parte sabemos que el tensor de curvatura extrin-
seca de es 1
I
= c

\
I
:
(ver ejemplo de calculo de curvatura extrinseca).
Tenemos para la derivada del producto escalar : \
I
(: c

) = \
I
: c

: \
I
c

con lo que resulta ca

I
= : \
I
c

[
1
= \
I
(: c

)[
1
\
I
: c

[
1
= 0 1
I
.
Asi tenemos a
I
= c1
I
.
Ahora multiplicamos escalarmente por c
|
y queda
c
|
\
I
c

[
1
= ,
|
I
c
|
c
|
= ,
|
I
q
||
= ,
|I
= I
|I
[
1
= I
|I
[
`
el ltimo paso debido a que los smbolos de Christoel se calculan con q
I
[
.
Asi la ecuacion de partida queda
\
I
c

[
1
= c1
I
: I
|
I
[
`
c
|
que es la ecuacin de Gauss-Weingarten.
14.3 Ejemplo de clculo de curvatura extrnseca y direc-
ciones principales
Denimos el tensor de curvatura extrnseca como 1
I
= c

\
I
: = :
,I
donde :
n es un vector unitario y saliente a la hipersupercie
(c
I
, c

, ...) es una base de vectores de la hipersupercie

i es la coordenada respecto a la cual derivamos n
j es el ndice del vector basico con el que hacemos el producto escalar
el tensor es simtrico 1
I
= 1
I
Como aplicacin prctica tomamos la supercie cuadrtica . =
l
2
(ar
2
2/rj cj
2
)
y vamos a calcular la curvatura extrnseca
y las direcciones principales en el origen de coordenadas O.
Primero necesitamos el vector normal n como cociente del gradiente de f
entre su mdulo ,
siendo = ) = .
l
2
(ar
2
2/rj cj
2
) .
Calculamos el gradiente \) = (
l
2
(2ar 2/j)c
r

l
2
(2/r 2cj)c

c
:
)
cuyo mdulo es [\)[ =
_
(ar /j)
2
(/r cj)
2
1
luego n es
: =
l
_
(orb)
2
(brc)
2
l
((ar /j)c
r
(/r cj)c

c
:
)
En 0=(0,0,0) : = c
:
luego c
r
, c

es base de en O.
22
El tensor de curvatura extrnseca es 1
I
= c

\
I
:
Comenzamos calculando
1
rr
= c
r
\
r
: = c
r

l
]\}]
2
(a[\)[ (ar /j)[\)[
,r
, /[\)[ (/r cj)[\)[
,r
, 0)
luego necesitamos calcular [\)[
,r
y [\)[
,
que son [\)[
,r
=
l
2]\}]
[2(ar /j)a 2(/r cj)/[ y [\)[
,
=
l
2]\}]
[2(ar /j)/ 2(/r cj)c[
y en el origen de coordenadas [\)[
,r
= 0 [\)[
,
= 0 [\)[ = 1
luego 1
rr
[
O
= c
r
(a, /, 0) = a
Los siguientes calculos son
1
r
[
O
= c

\
r
:[
O
= c

(a, /, 0) = / = 1
r
[
O
1

[
O
= c

:[
O
= c

l
]\}]
2
(/[\)[ (ar /j)[\)[
,
, c[\)[ (/r cj)[\)[
,
, 0)[
O
1

[
O
= c

(/, c, 0) = c
Asi el tensor de curvatura extrnseca es 1
I
[
O
=
_
a /
/ c
_
.
Las curvaturas principales k se calculan con el determinante secular [1
I
/q
I
[ = 0
.
La mtrica del espacio es d:
2
= dr
2
dj
2
d.
2
y tenemos que calcularla
para nuestra supercie
. =
l
2
(ar
2
2/rj cj
2
)
Calculamos dz y la sustituimos en la mtrica :
d. = (ar /j)dr (/r cj)dj
d:
2
[
`
= dr
2
dj
2
(ar /j)
2
dr
2
(/r cj)
2
dj
2
2(ar /j)(/r cj)drdj
y en O d:
2
[
`
= dr
2
dj
2
luego q
I
=
_
1 0
0 1
_
por lo que el determinante secular es [
a / /
/ c /
[ = 0 y /

=
co
2

co
2
_
1
db
2
(co)
2
y las direcciones principales estan dadas por los vectores propios :
_
a /

/
/ c /

__
\
r

_
=
_
0
0
_
cuya solucin es
\

=
l
o

(c
r
c

)
con
c

= (1
_
1
2
)
,

=
_
1 c
2

=
oc
2b
14.4 Ecuaciones de Gauss-Codazzi
En este apartado buscamos el tensor de Riemann , para lo cual usaremos la
frmula 1
oo~o
= c
o
1(c
~
, c
o
)c
o
donde 1(c
~
, c
o
) = [\
~
, \
o
[ \
|t,t
o
|
.
Como c
~
, c
o
forman parte de la base coordenada , resulta que [c
~
, c
o
[ = 0
luego \
|t,t
o
|
= 0 .
Ahora aplicamos el operador \

[
1
en la ecuacion de Gauss-Weingarten :
\

[
1
\
|
c
I
[
1
= \

[
1
(c1
I|
: I
n
I|
[
`
c
n
) =
c1
I|,
: c1
I|
\

: I
n
I|,
[
`
c
n
I
n
I|
[
`
(\

[
1
c
n
=
c1
n
: I
n
n
[
`
c
n
)
23
Por otra parte el tensor de curvatura extrnseca es 1
I
= c

\
I
: asi
1
l
= c
l
\

: =\

: = 1
n

c
n
con lo que obtenemos
\

[
1
\
|
c
I
[
1
= c1
I|,
: c1
I|
\

: I
n
I|,
[
`
c
n
I
n
I|
[
`
(c1
n
: I
n
n
[
`
c
n
)
e intercambiamos j y k en esta ultima expresin :
\
|
[
1
\

c
I
[
1
= c1
I,|
: c1
I
\
|
: I
n
I,|
[
`
c
n
I
n
I
[
`
(c1
|n
: I
n
n|
[
`
c
n
)
y restndolas queda :
1(c

, c
|
)c
I
= c(1
I|,
1
I,|
): c(1
I|
\

: 1
I
\
|
:)
(I
n
I|,
I
n
I,|
)[
`
c
n
c:(I
n
I|
1
n
I
n
I
1
|n
) c
n
(I
n
I|
I
n
n
I
n
I
I
n
n|
)
1(c

, c
|
)c
I
= c(1
I|,
1
I,|
): c
n
(c(1
I
1
n
|
1
I|
1
n

) I
n
I|,
I
n
I,|
I
n
I|
I
n
n
I
n
I
I
n
n|
) =
= c(1
I|,
1
I,|
): c
n(
c(1
I
1
n
|
1
I|
1
n

) 1
n
I|
con
1
n
I|
= I
n
I|,
I
n
I,|
I
n
I|
I
n
n
I
n
I
I
n
n|
multiplicando escalarmente la expresin obtenida por c
n
queda :
1
n
I|
[
1
= 1
n
I|
[
`
c(1
I
1
n
|
1
I|
1
n

)
y de la misma forma multiplicando escalarmente por : queda :
1
n
I|
[
1
= c(1
I|,
1
I,|
)
estas dos ltimas expresiones son las ecuaciones de Gauss-Codazzi .
Ahora nos queda encontrar las componentes del tensor de Riemann con dos
n , 1(c
|
, :): .
Como 1(c
~
, c
o
) = [\
~
, \
o
[ \
|t,t
o
|
= [\
~
, \
o
[ porque c
~
, c
o
son vec-
tores de la base coordenada , resulta que 1(c
|
, :): = \
|
[
1
\
n
[
1
: \
n
[
1
\
|
[
1
:
pero \
n
[
1
: = 0 porque n es tangente a una geodsica (coordenadas Gaus-
sianas normales) , luego c
I
1(c
|
, :): = c
I
\
n
[
1
(1
n
|
c
n
) = 1
|I,n
1
n
|
c
n
\
n
c
I
[c, :[ = 0 implica \
n
[
1
c
I
= \
I
[
1
: = 1

I
c

y nalmente 1
In|n
= c1
n
In|
= 1
|I,n
1

I
1
|
.
14.5 Tensores de Ricci y Einstein
Obtenemos el tensor de Ricci por contraccin :
1
I

[
1
= q
I|
(1
n
|n
1
n
|n
)
1
= 1
I

[
`
c(q
I|
1
|,n
21
I
n
1
n

1
I

1) donde
1 = 1
I
I
por otra parte q
I|
,n
= q
In
q
|s
q
ns,n
y en coordenadas Gaussianas normales q
ns,n
= 21
ns
As q
I|
,n
= 2q
In
q
|s
1
ns
= 21
I|
y
24
1
I

[
1
= 1
I

[
`
c(q
I|
1
|,n
q
I|
,n
1
|
1
I

1) = 1
I

[
`
c(1
I
,n
1
I

1)
El resto de componentes del tensor de Ricci son :
1
n

[
1
= c1
o
no
[
1
= 1
n
I
[
1
= c(1
,
1
I
,I
)
1
n
n
[
1
= c1
I
nIn
[
1
= cq
I
(1
I,n
1
In
1
n

) = c(1
,n
1
In
1
nI
)
Obtenemos el escalar de Ricci por contraccin :
1[
1
= 1
n
n
[
1
1
I
I
[
1
= 1[
`
c(21
,n
1
In
1
In
1
2
)
Para el tensor de Einstein , tenemos :
G
n
n
= 1
n
n
[
1

l
2
1[
1
=
l
2
1[
`

l
2
c(1
2
1
In
1
In
)
G
n

[
1
= 1
n

[
1
= c(1
,
1
I
,I
))
G
I

[
1
= 1
I

[
1

l
2
c
I

1[
1
= G
I

[
`
c(1
I
,n
1
I

1
l
2
c
I

(21
,n
1
In
1
In
1
2
))
15 Soluciones de las ecuaciones de campo de
Einstein
Cualquier mtrica de Lorentz es solucin de la ecuacin de campo de Einstein.
Una solucin exacta es una mtrica que corresponde con un tensor de momento-
energa sicamente aceptable,
y por lo tanto llamamos a estas soluciones exactas mtricas .
Algunas de ellas son :
*mtrica de Schwarzschild : describe la geometra alrededor de una masa
esfrica . incluye agujeros negros .
*mtrica de Kerr : describe la geometra alrededor de una masa esfrica
en rotacin. incluye agujeros negros.
*mtrica de Reissner-Nordstrom : describe la geometra alrededor de
una masa esfrica cargada . incluye agujeros negros .
*mtrica de Kerr-Newman : describe la geometra alrededor de una masa
esfrica cargada en rotacin. incluye agujeros negros .
*mtrica de Friedman-Robertson-Walker (FRW) : es un modelo en
cosmologa para un Universo en expansin .
*mtrica de ondas pp : modelo usado para describir ondas de gravedad .
*mtrica de Wormholes : usado en modelos tericos para viajes de tipo
tiempo .
*mtrica de Alcubierre : usado en modelos tericos para viajes de tipo
espacio .
25
16 Problemas
16.1 Clculo de smbolos de Christoel y geodsicas de
tiempo
Calcular los smbolos de Christoel y las geodsicas de tiempo para la mtrica
do
2
=
l
|
2
(dr
2
dt
2
) .
Solucin : La mtrica es q
I
= diaq(
l
|
2
,
l
|
2
) y como es diagonal los nicos
smbolos de Christoel no nulos son
I
I
I
=
J
Jr

(
l
2
log [q
II
[)
I
I

(i ,= ,) =
l
11
(
l
2
q
,I
)
.
As :
I
|
||
=
J
J|
(
l
2
log [q
||
[) =
l
|
I
r
r|
=
J
J|
(
l
2
log [q
rr
[) =
l
|
I
|
rr
=
l
tt
(
l
2
q
rr,|
) =
l
|
I
|
|r
=
J
Jr
(
l
2
log [q
||
[) = 0 I
r
rr
=
J
Jr
(
l
2
log [q
rr
[) = 0 I
r
||
=
l
oo
(
l
2
q
||,r
) = 0
Una geodsica es una curva de longitud minima , luego 0
_
(do
2
)
1
2
= 0 y
do
2
=
l
|
2
(dr
2
dt
2
) =
l
|
2
((
Jr
J|
)
2
1)dt
2
as 0
_
l
|
( ` r
2
1)
1
2
dt = 0 .
Sabemos que 0
_
1dt = 0 donde L es la Lagrangiana , implica las ecua-
ciones de Euler-Lagrange
J
J|
(
JJ
J ` r
) =
JJ
Jr
y en nuestro caso :
J
J|
(
` r
|
_
` r
2
l
) = 0 rt( ` r
2
1) ` r( ` r
2
1 r ` rt) = 0
La ultima ecuacin parece muy complicada de resolver , pero si hacemos en la
primera el cambio ` r = lanh0 entonces
` r
_
` r
2
l
= sinh0 y
sInL 0
|
= co::t =
.
Ahora tenemos que resolver la ecuacion diferencial :
` r
|
_
` r
2
l
= 1` r
2
= t
2
( ` r
2
1) ` r
2
(1 t
2
) = t
2
` r =
|
_
|
2
1

_
dr =
_
t(t
2
1)
1
2
dt
y la solucin es (r /)
2
= t
2
1 ,que son los conos de luz.
16.2 Clculo de geodsicas nulas y regulares
Para el espacio de dos dimensiones
do
2
= (dr
l
)
2

l
r
2
2
(dr
2
)
2
calcular las geo-
desicas nulas y regulares.
Solucion : La mtrica es
q
I
= diaq(1,
l
r
2
2
)
y los nicos simbolos de
Christoel no nulos son
I
2
22
=
J
Jr
2
[
l
2
log
l
r
2
2
[ =
l
r
2
2
26
Para calcular las geodsicas tenemos
J
JX
(
Jr
c
JX
) I
o
o
Jr
,
JX
Jr
{
JX
= 0
J
2
r
2
Js
2

l
r
2
(
Jr
2
Js
)
2
= 0
J
2
r
1
Js
2
= 0
y tenemos dos ecuaciones diferenciales , una por cada variable.
En la primera hacemos el cambio
Jr
2
Js
= j entonces
J
2
r
2
Js
2
=
J
Js
=
J
Jr
2
Jr
2
Js
= j
J
Jr
2
y despues de sustitucin e integracin tenemos r
2
= r
2
0
oxp(1:) ,con B una
constante de integracin .
De la segunda es fcil ver que r
l
= : r
l
0
donde A es una constante de
integracin.
Las condiciones iniciales son (r
l
, r
2
)
s=0
= (r
l
0
, r
2
0
) .
Ahora buscamos r
2
como funcin de r
l
:
r
l
= : r
l
0
: =
l
.
(r
l
r
l
0
) r
2
= r
2
0
oxp(
1
.
(r
l
r
l
0
))
s es la longitud de arco , luego 1 = (
Jr
1
JS
)
2

l
r
2
2
(
Jr
2
JS
)
2
=
2
1
2
y para
una geodsica regular
2
,= 1
2
y las geodsicas son r
2
= r
2
0
oxp(
1
.
(r
l
r
l
0
))
para una geodsica nula
2
= 1
2
y las geodsicas son
r
2
= r
2
0
oxp(r
l
r
l
0
)
r
2
= r
2
0
oxp((r
l
r
l
0
))
.
16.3 Derivacion covariante
Demostrar las derivadas covariantes para 1-formas , es decir tensores
_
0
1
_
,
Tensores
_
1
1
_
, Tensores
_
2
0
_
y Tensores
_
0
2
_
.
Solucin : Si P es una 1-forma y V es un vector 1, \ = 1
o
\
o
= 1 es
un escalar , y como un escalar no depende de los vectores bsicos , su derivada
es la derivada covariante .
As \
o
1 = 1
,o
=
J1c
Jr
{
\
o
1
o
J\
c
Jr
{
y como \
o
,o
= \
o
,o
\

I
o
o
y como
J\
c
Jr
{
= \
o
,o
, sustituyendo queda :
\
o
1 = 1
,o
=
J1c
Jr
{
\
o
1
o
(\
o
,o
\

I
o
o
) e intercambiando en el ltimo
trmino c j queda \
o
1 = 1
,o
=
J1c
Jr
{
\
o
1
o
\
o
,o
1

\
o
I

oo
= (
J1c
Jr
{
1

oo
)\
o
1
o
\
o
,o
y como la derivada covariante del producto sigue la misma ley que la derivada
normal \
o
(1
o
\
o
) = 1
o,o
\
o
1
o
\
o
,o
, comparando las dos ultimas expre-
siones obtenemos para la derivada covariante de una 1-forma :
1
o,o
=
J1c
Jr
{
1

oo
Las componentes de un tensor
_
1
1
_
son )
o
o
= )(n
o
, c
o
) donde n
o
es
una 1-forma bsica , y c
o
es un vector bsico .
As )(1, \ ) = )(1
o
n
o
, \
o
c
o
) = 1
o
\
o
)(n
o
, c
o
) = 1
o
\
o
)
o
o
= 1 , es de-
cir un escalar, luego la derivada covariante y la derivada normal coinciden :
27
\
~
1 = 1
,~
=
J1c
Jr

\
o
)
o
o
1
o
J\
{
Jr

)
o
o
1
o
\
o
J}
c
{
Jr

y en esta ltima expresin sustituimos 1

o,~
de 1
o,~
=
J1c
Jr

o~
y
\
o
,~
de \
o
,~
= \
o
,~
\

I
o
~
, con lo que obtenemos :
\
~
1 = 1
,~
= (1
o,~
1

o~
)\
o
)
o
o
1
o
(\
o
,~
\

I
o
~
))
o
o
1
o
\
o
)
o
o,~
=
= 1
o,~
\
o
)
o
o
1
o
\
o
,~
)
o
o
1
o
I
o
~
\
o
)

o
1
o
\
o
I

o~
)
o

1
o
\
o
)
o
o,~
=
= 1
o,~
\
o
)
o
o
1
o
\
o
,~
)
o
o
1
o
\
o
(I
o
~
)

o
I

o~
)
o

)
o
o,~
)
Y comparando con la ley de derivacin del producto :
\
~
)
o
o
= )
o
o,~
= I
o
~
)

o
I

o~
)
o

)
o
o,~
Las componentes de un tensor
_
0
2
_
son )
oo
= )(c
o
, c
o
) con c
o
y c
o
vectores bsicos .Asi si =
o
c
o
y 1 = 1
o
c
o
son dos vectores , tenemos :
)(, 1) = )(
o
c
o
, 1
o
c
o
) =
o
1
o
)(c
o
, c
o
) =
o
1
o
)
oo
= 1 , es decir ,
igual que antes , un escalar.Y la derivada covariante y la derivada normal coin-
ciden :
\
~
1 = 1
,~
=
J.
c
Jr

1
o
)
oo

o J1
{
Jr

)
oo

o
1
o
J}
c{
Jr

en la cual sustituimos
o
,~
y 1
o
,~
de las ya conocidas expresiones :

o
,~
=
o
,~

I
o
~
1
o
,~
= 1
o
,~
1

I
o
~
con lo que obtenemos :
\
~
1 = 1
,~
= (
o
,~

I
o
~
)1
o
)
oo

o
(1
o
,~
1

I
o
~
))
oo

o
1
o
J}
c{
Jr

=
=
o
,~
1
o
)
oo

o
1
o
,~
)
oo

o
1
o
I

o~
)
o

o
1
o
I

o~
)
o

o
1
o
)
oo,~
=
=
o
,~
1
o
)
oo

o
1
o
,~
)
oo

o
1
o
()
oo,~
I

o~
)
o
I

o~
)
o
)
y comparando con la derivada del producto , obtenemos para la derivada
covariante de un tensor
_
0
2
_
:
\
~
T
oo
= T
oo,~
= T
oo,~
I

o~
T
o
I

o~
T
o
Las componentes de un tensor
_
2
0
_
son )
oo
= )(n
o
, n
o
) donde n
o
y n
o
son 1-formas bsicas .
Dadas las 1-formas 1 = 1
o
n
o
y Q = Q
o
n
o
tenemos que )(1, Q) = )(1
o
n
o
, Q
o
n
o
) = 1
o
Q
o
)
oo
= 1
es un escalar , y como antes , la derivada covariante coincide con la derivada
normal .
La derivada es :
28
\
~
1 = 1
,~
=
J1c
Jr

Q
o
)
oo
1
o
JQ
{
Jr

)
oo
1
o
Q
o
J}
c{
Jr

en la que sustituimos 1
o,~
y Q
o,~
de las expresiones :
1
o,~
= 1
o,~
1

o~
Q
o,~
= Q
o,~
Q

o~
con lo que obtenemos :
\
~
1 = (1
o,~
1

o~
)Q
o
)
oo
1
o
(Q
o,~
Q

o~
))
oo
1
o
Q
o
)
oo
,~
=
= 1
o,~
Q
o
)
oo
1
o
Q
o,~
)
oo
1
o
I
o
~
Q
o
)
o
1
o
I
o
~
Q
o
)
o
1
o
Q
o
)
oo
,~
=
= 1
o,~
Q
o
)
oo
1
o
Q
o,~
)
oo
1
o
Q
o
(I
o
~
)
o
I
o
~
)
o
)
oo
,~
)
y comparando con la derivada normal , obtenemos :
\
~

oo
=
oo
,~
I
o
~

o
I
o
~

o
16.4 Teora algebraica de tensores
En un espacio tridimensional para conocer la posicin de un punto necesitamos
conocer el valor de tres funciones numricas a las que llamamos coordenadas del
punto (r
l
, r
2
, r
3
) .
El estado de un sistema es un punto del espacio de estados del sistema ,
por ejemplo para un punto material en movimiento , en mecnica clsica , se
necesitan seis nmeros : tres para las coordenadas y tres para las componentes
de la velocidad.
Si cojemos otro sistema de coordenadas , (.
l
, .
2
, .
3
) resulta que el primero
sera funcin del segundo segn r
I
= r
I
(.
l
, .
2
, .
3
) i = 1, 2, 8 .
Vamos a ver como se transforman las coordenadas del vector velocidad de
una curva .

= .

(t) , = 1, 2, 8 tras un cambio de coordenadas r

I
(t) = r
I
(.
l
(t), .
2
(t), .
3
(t))
.
En coordenadas (.
l
, .
2
, .
3
) las componentes del vector velocidad son (
J:
1
J|
,
J:
2
J|
,
J:
3
J|
) = (j
l
, j
2
, j
3
)
y para esta misma curva , en coordenadas (r
l
, r
2
, r
3
) tenemos para el mismo
vector que las componentes son : (
Jr
1
J|
,
Jr
2
J|
,
Jr
3
J|
) = (-
l
, -
2
, -
3
) las cuales se
determinan segn
Jr
1
J|
=

3
=l
Jr
1
J:

J:

J|
para i = 1, 2, 8 .
As la frmula de transformacin de las componentes de un vector al efectuar
un cambio de coordenadas es -
I
=

3
=l
j
Jr
1
J:

.
El ejemplo mas simple de tensor es el escalar , el cual no se transforma
bajo un cambio de coordenadas , por ejemplo la temperatura de un punto es
independiente de las coordenadas usadas para describir el punto.
El siguiente ejemplo mas simple de tensor es el vector.
Otro concepto familiar es el de gradiente de una funcin ) = )(r
l
, r
2
, r
3
)
en coordenadas cartesianas : giao) = (
J}
Jr
1
,
J}
Jr
2
,
J}
Jr
3
) = (-
l
, -
2
, -
3
) .
Vamos a ver que forma toma el gradiente en otras coordenadas (.
l
, .
2
, .
3
) :
giao) = (
J}
J:
1
,
J}
J:
2
,
J}
J:
3
) = (j
l
, j
2
, j
3
) con
J}
J:
1
=

3
=l
J}
Jr

Jr

J:
1
luego j
I
=

3
=l
Jr

J:
1
-

.
Luego las formulas de transformacin son :
29
para el vector velocidad : -
I
=

3
=l
j
Jr
1
J:

para el gradiente : j
I
=

3
=l
Jr

J:
1
-

.
Claramente las dos ultimas formulas son diferentes.
Si denimos la matriz de Jacobi como = (a
I

) con a
I

=
Jr
1
J:

y la matriz
traspuesta
T
= (/

|
) con /

|
= a
|

y volvemos a escribir las frmulas de

transformacin :
para el vector velocidad : - = j
para el gradiente : j =
T
- .
Como A representa una transformacin de coordenadas , ha de tener inversa
y claramente las dos ltimas frmulas indican que
T
= 1 y por lo tanto A
es ortonormal .
Es en este momento donde damos la siguiente denicin :
Denicin : Se denomina Tensor de tipo
_
j

_
de rango p+q a un objeto
denido en un sistema de coordenadas arbitrario , mediante un conjunto de
numeros T
I1I2...I
12...q
cuya representacion numrica depende del sistema de co-
ordenadas segun la ley : T
I1I2...I
12...q
= T
:1:2...:
s1s2...sq
Jr
1
1
Jr
r
1
Jr
1
2
Jr
r
2
...
Jr
1
Jr
r
Jr
s
1
Jr

1
Jr
s
2
Jr

2
...
Jr
sq
Jr
q
.
Ver el apartado Tensores .
16.5 Demostraciones relacionadas con los smbolos de
Christoel .
Primero demostraremos la simetra I

oo
= I

oo
.
Partimos de que 1 es un escalar y por lo tanto su derivada , que es
la misma que su derivada covariante \
o
1 = 1
,o
= 1
,o
, es una 1-forma .
Su segunda derivada covariante \
o
\
o
1 tiene componentes 1
,o,o
y es un
tensor
_
0
2
_
, cuyas componentes en cartesianas son 1
,o,o
=
J
Jr
c
J
Jr
{
1 y
esta expresin es claramente simtrica en c y , , y si un tensor es simtrico
en una base , lo es en todas , luego 1
,o,o
= 1
,o,o
.
Sabemos que para una 1-forma 1
o,o
= 1
o,o
1

oo
, luego 1
,o,o
1
,
I

oo
= 1
,o,o
1
,
I

oo
y 1
,
I

oo
= 1
,
I

oo
con lo que concluimos que :
I

oo
= I

oo
.
En segundo lugar vamos a demostrar la frmula para calcular los smbolos
de Christoel conocida la mtrica .
Partimos de q
oo,
= q
oo,
I
i
o
q
io
I
i
o
q
oi
(1)
e intercambiando j , tenemos q
o,o
= q
o,o
I
i
oo
q
i
I
i
o
q
oi
(2)
30
y si en (1) cambiamos c por , , , por j y j por c : q
o,o
= q
o,o
I
i
oo
q
i
I
i
o
q
oi
(3)
Haciendo (1)+(2)-(3) :
q
oo,
q
o,o
q
o,o
= (I
i
o
I
i
o
)q
oi
donde se ha hecho uso de las sime-
trias
I
i
oo
= I
i
oo
q
oo
= q
oo
asi q
oo,
q
o,o
q
o,o
= 2q
oi
I
i
o
y multiplicamos ambos lados por q
o~
y sumamos respecto a c , y sabiendo que q
o~
q
oi
= c
~
i
:
I
~
o
=
l
2
q
o~
(q
oo,
q
o,o
q
o,o
)
Esta ltima frmula es la manera habitual de calcular los nsimbolos de
Christoel , conociendo la mtrica .
16.6 Transporte paralelo
Comenzamos con el vector V en el punto A y hacemos transporte paralelo hasta
B : \
t1
\ = 0 luego
J\
c
Jr
1
= I
o
l
\

.
As las componentes de V en el punto B son \
o
(1) = \
o
()
1
_
.
J\
c
Jr
1
dr
l
= \
o
()
_
r
2
=b
I
o
l
\

dr
l
.
Ahora hacemos transporte paralelo de B a C , y las componentes de V en C
seran :
\
o
(C) = \
o
(1)
1
_
.
J\
c
Jr
2
dr
2
= \
o
(1)
_
r
1
=ooo
I
o
2
\

dr
2
31
De la misma forma , de C a D :
\
o
(1) = \
o
(C)
_
r
2
=bob
I
o
l
\

dr
l
donde el signo + es debido a que nos movemos en la direccin - de r
l
.
Y por ltimo de D a A :
\
o
()i:a|) = \
o
(1)
_
r
1
=o
I
o
2
\

dr
2
donde el
signo + es debido a que nos movemos en la direccin - de r
2
.
As el cambio total en las componentes del vector son :
c\
o
= \
o
()i:a|) \
o
(i:icia|) =
_
r
1
=o
I
o
2
\

dr
2

_
r
2
=bob
I
o
l
\

dr
l

_
r
1
=ooo
I
o
2
\

dr
2

_
r
2
=b
I
o
l
\

dr
l
Y
c\
o
-
ooo
_
o
c/
J
Jr
2
(I
o
l
\

)dr
l

bob
_
b
ca
J
Jr
1
(I
o
2
\

)dr
2
- cac/[
J
Jr
1
(I
o
2
\

)
J
Jr
2
(I
o
l
\

)[
donde haciendo uso de que
J\
c
Jr
1
= I
o
l
\

J\
c
Jr
2
= I
o
2
\

queda que :
c\
o
= cac/[I
o
l,2
I
o
2,l
I
o
i2
I
i
l
I
o
il
I
i
2
[\

tras un reetiquetado de
ndices mudos.
Denimos el tensor de Riemann como :
1
o
oi
= I
o
oi,
I
o
o,i
I
o
c
I
c
oi
I
o
ci
I
c
o
.
Es antisimtrico en los dos ltimos ndices 1
o
oi
= 1
o
oi
ya que invir-
tiendo la ruta , c\
o
tendra el signo opuesto .
Si el tensor tiene todas las componentes nulas , el espacio es plano .
Es un tensor
_
1
8
_
.
El cambio en la componente \
o
del vector V cuando ste se transporta
paralelamente por el lazo formado por cac

y c/c
i
es :
c\
o
= 1
o
oi
(n
o
, \, cac

, c/c
i
)
Haciendo uso de la relacin entre los smbolos de Christoel y la mtrica ,
obtenemos para el tensor de Riemann :
1
o
oi
=
l
2
q
oc
(q
ci,o
q
c,oi
q
o,ci
q
oi,c
)
que no es una ecuacin tensorial , ya que contiene derivadas normales , no
covariantes .
El tensor de curvatura de Riemann es til cuando se toman derivadas co-
variantes en un campo vectorial :
\
o
\
o
\

= \
o
(\

,o
) = (\

,o
)
,o
I

co
\
c
,o
I
c
oo
\

,c
32
En un sistema inercial local , en un punto P , I = 0 pero sus derivadas
parciales no , luego en este sistema \
o
\
o
\

= \

,oo
I

io,o
\
i
e intercam-
biando c y , : \
o
\
o
\

= \

,oo
I

io,o
\
i
y restando ambas expresiones : \
o
\
o
\

\
o
\
o
\

= I

io,o
\
i
I

io,o
\
i
con lo que obtenemos para el conmutador de la derivada covariante : [\
o
, \
o
[\

= (I

io,o
I

io,o
)\
i
y por lo tanto :
[\
o
, \
o
[\

= 1

ioo
\
i
16.7 Primer ejemplo de transporte paralelo
Dada la mtrica del plano en coordenadas polares q
I
=
_
1 0
0 r
2
_
se trata
de transportar paralelamente el vector \ = (\
:
, \
0
) a lo largo de la curva
r(`) = (r(`), 0(`)) = (r
0
, 0
0
`(0
l
0
0
)) con ` [0, 1[ , que es un sector
circular de radio r
0
desde 0 = 0
0
hasta 0 = 0
l
.
Las condiciones iniciales para el vector son \ (` = 0) = (\
:
0
, \
0
0
) y r(` = 0) = (r
0
, 0
0
)
.
Solucin : Para ello utilizamos la ecuacin
J\
,
JX
I

c
Jr
o
JX
\

= 0 .
Los simbolos de Christoel para sta mtrica son :
I
:
00
= r
I
0
:0
= I
0
0:
=
l
:
As , para j = r tenemos
J\
r
JX
I
:
c
Jr
o
JX
\

= 0 , lo que implica
J\
r
JX
r
J0
JX
\
0
= 0
(1)
y para j = 0 tenemos
J\
0
JX
I
0
c
Jr
o
JX
\

= 0 , lo que implica
J\
0
JX

l
:
(
J:
JX
\
0

J0
JX
\
:
) = 0
(2)
Como r = r
0
tenemos que
J:
JX
= 0
Y como 0 = 0
0
`(0
l
0
0
) tenemos que
J0
JX
= 0
l
0
0
.
Haciendo sustituciones en (1) y en (2) queda :
J\
r
JX
r
0
(0
l
0
0
)\
0
= 0
J\
0
JX

l
:0
(0
l
0
0
)\
:
= 0
La solucin de este sistema de ecuaciones diferenciales es :
\
:
= sin(`(0
l
0
0
)) 1cos(`(0
l
0
0
))
\
0
=
l
:0
(cos(`(0
l
0
0
)) 1sin(`(0
l
0
0
)))
con
= r
0
\
0
0
1 = \
:
0
33
16.8 Segundo ejemplo de transporte paralelo
Este problema es similar al anterior . Ahora cogemos la mtrica de la esfera
unitaria d:
2
= d0
2
sin
2
0dc
2
es decir q
I
=
_
1 0
0 sin
2
0
_
en la que los
smbolos de Christoel no nulos son :
I
0

=
l
2
sin(20)
I

0
= I

0
= col 0
Se trata de hecer tansporte paralelo a lo largo de la trayectoria en o
2
,
0 = 0
0
y c(`) = c
0
`(c
l
c
0
) con ` [0, 1[ .
Solucin :
Las ecuaciones diferenciales son :
para j = 0 :
J\
0
JX

l
2
sin(20)
J
JX
\

= 0 (1)
y para j = c :
J\

JX
col 0(
J
JX
\
0

J0
JX
\

) = 0 (2)
Haciendo uso de las ecuaciones de la trayectoria , las ecuacines diferenciales
(1) y (2) quedan :
J\
0
JX

l
2
sin(20)(c
l
c
0
)\

= 0
J\

JX
col 0(c
l
c
0
)\
0
= 0
Y llamando c = cos 0
0
(c
l
c
0
) la solucin es :
\
0
= sin(c`) 1cos(c`)
\

=
l
sIn 00
(cos(c`) 1sin(c`))
Y como en ` = 0 ,
\
0
= \
0
0
\

= \

0
las constantes de integracin son :
= \

0
sin0
0
1 = \
0
0
16.9 La identidad de Bianchi
Partimos de la frmula para el tensor de Riemann:
1
o
oi
= I
o
oi,
I
o
o,i
I
o
c
I
c
oi
I
o
ci
I
c
o
Y haciendo uso de la relacin entre los smbolos de Christoel con la mtrica
, y haciendo la derivada parcial respecto a r
X
:
1
ooi,X
=
l
2
(q
oi,oX
q
o,oiX
q
o,oiX
q
oi,oX
)
lo que es cierto en un sistema inercial local . Ademas q
oo
= q
oo
y las
derivadas parciales conmutan , luego :
34
1
ooi,X
1
ooX,i
1
ooiX,
= 0
y como I

oo
= 0 en ese sistema , podemos cambiar la derivada por la
derivada covariante :
1
ooi,X
1
ooX,i
1
ooiX,
= 0
Esta ultima ecuacin es una ecuacion tensorial , por lo tanto valida en
cualquier sistema de referencia , y se la conoce como la identidad de Bianchi
.
16.10 Conservacin de la energa y el momento local .
La nica contraccin posible del tensor de Riemann es en el primer y tercer
ndice , obteniendo el tensor de Ricci :
1
oo
= 1

oo
A su vez denimos el escalar de Ricci como :
1 = q
i
1
i
Ahora aplicamos la contraccin de Ricci a las identidades de Bianchi :
q
o
[1
ooi,X
1
ooX,i
1
ooiX,
[ = 0
1
oi,X
1
oX,i
1

oiX,
= 0
De nuevo contraemos en , y i :
q
oi
[1
oi,X
1
oX,i
1

oiX,
[ = 0
1
,X
1

X,
1

X,
= 0
donde en la ltima expresin hemos hecho uso de que 1
,X
= 1
,X
ya que R
es un escalar .
As obtenemos la ecuacin de Bianchi doblemente contraida :
(21

X
c

X
1)
,
= 0
Denimos el tensor de Einstein como :
G
oo
= 1
oo

l
2
q
oo
1 = G
oo
Por lo tanto G
oo
,o
= 0 y usando las ecuaciones de campo de Einstein
G
oo
= 8T
oo
resulta que :
T
oo
,o
= 0
que son las ecuaciones de conservacin de la energa y el momento
local .
35
17 Pullback-Pushforward
Suponemos que x
I
son las coordenadas de un espacio M ,m-dimensional con
mtrica g
I
y que en el tenemos un espacio sumergido N ,n-dimensional (n- :)
y que y
o
a=1..n son coordenadas en N, entonces la inmersin de N en M queda
denida por las funciones x
I
(y
o
) .La mtrica inducida en N por esta inmersin
es
d:
2
= q
I
Jr
1
J
o
Jr
1
J
|
dj
o
dj
b
Una 1-forma v
I
en M puede transformarse a una 1-forma v
o
en N por la
ecuacion v
o
=
Jr
1
J
o
v
I
,a v
o
se la conoce como el "pullback" de v
I
,se trata de
demostrar que v
o
se transforma como una 1-forma en N:
El pullback es:

o
=
0r
I
0j
o

I
Una 1-forma en ' se transforma como :
I
0 =
Jr
1
Jr
1
0
I
. As:

o
0 =
0r
I
0j
o
0

I
=
0r
I
0
0j
o
0
0r
I
0r
I
0

I
=
0r
I
0
0r
I
0j
o
0j
o
0
0r
I
0j
o
0r
I
0r
I
0

I
=
0j
o
0j
o
0

o
Luego se transforma como una 1-forma en N.
Tambin un vector v
o
en N puede transformarse a un vector v
I
en M por
la ley
I
=
Jr
1
J
o

o
, v
I
se conoce como el "pushforward" de v
o
, se trata de
demostrar que v
I
se transforma como un vector en M :
Un vector en se transforma como
o
0
=
J
o
0
J
o

o
. As :

I
0
=
0r
I
0
0j
o
0

o
0
=
0r
I
0
0j
o
0
0j
o
0
0j
o

o
=
0j
o
0j
o
0
0r
I
0
0r
I
0r
I
0j
o
0j
o
0
0j
o

o
=
0r
I
0
0r
I

I
Luego
I
es un vector en '.
Ahora consideramos el espacio plano tridimensional con metrica c
I
en co-
ordenadas cartesianas x
I
.La esfera unidad se dene por la ecuacin c
I
r
I
r

= 1
.Bajo la inmersin usual
(x
l
; x
2
; x
3
) = (sin0 cosc ; sin0 sinc ; cos 0) se trata de comprobar que
obtenemos la metrica de la esfera :
La nueva mtrica es :

ob
= q
I
0r
I
0j
o
0r

0j
b
=

I
0r
I
0j
o
0r
I
0j
b

00
= cos
2
0 cos
2
c cos
2
0 sin
2
c sin
2
0 = 1

= sin
2
0 sin
2
c sin
2
0 cos
2
c 0 = sin
2
0

0
= cos 0 cos csin0 sinc cos 0 sincsin0 cos c 0 = 0

ob
=
_
1 0
0 sin
2
0
_
36
Que es la mtrica de la 2esfera.
Ahora consideramos el espacio tridimensional de Minkowski con mtrica j
i
, j, i = 0, 1, 2 .Podemos denir el espacio dS
2
como los puntos que satisfacen
la ecuacion j
i
r

r
i
= 1 ,este espacio es el espacio bidimensional de deSitter y
se trata de demostrar que
_
r
0
, r
l
, r
2
_
= (sinht, cosht cos c, cosht sinc) es una
buena parametrizacin de los puntos de dS
2
y calcular la mtrica y su signatura
:
j
i
r

r
i
= sinh
2
t cosh
2
t cos
2
c cosh
2
t sin
2
c = sinh
2
t cosh
2
t = 1
La mtrica en do
2
es:

ob
= q
I
0r
I
0j
o
0r

0j
b
= j
i
0r

0j
o
0r
i
0j
b

||
= cosh
2
t sinh
2
t cos
2
c sinh
2
t sin
2
c = 1

= cosh
2
t sin
2
c cosh
2
t cos
2
c = cosh
2
t

|
= 0 sinht cos ccosht sinc sinht sinccosht cos c = 0

ob
=
_
1 0
0 cosh
2
t
_
La signatura es(1, 1).
El inters de esta parte reside en que parece que el Universo actual es un
espacio de deSitter 4-dimensional y que as seguir unos cientos de billones de
aos mas.
Lo ltimo es calcular los smbolos de Christoel, los tensores de Riemann y
Ricci y el escalar de Ricci :
Como la mtrica es diagonal y no depende de c ,los smbolos de Christoel
se calculan usando los resultados de 3.2:
I
|

= sinht cosht
I

|
= I

|
= lanht
Como el nmero de dimensiones es : = 2, solo hay :
2
_
:
2
1
_
,12 = 1
elementos independientes. Podemos calcular 1
|
|
y luego calcular el resto de
elementos por relaciones de simetra:
1
|
|
= 0
|
I
|

I
|
|
I
|
|X
I
X

I
|
X
I
X
|
= 0
|
(sinht cosht) sinht cosht lanht =
= sinh
2
t cosh
2
t sinh
2
t = cosh
2
t
37
1
||
= cosh
2
t =1

||
= 1
1
||
= cosh
2
t =1
|
|
= cosh
2
t
1
||
= cosh
2
t =1

||
= 1
1
||
= cosh
2
t =1
|
|
= cosh
2
t
1
||
= 0 =1
|
|
= 0
1
||
= 0 =1

||
= 0
1
|||
= 0 =1
|
||
= 0
1
|||
= 0 =1
|
||
= 0
1
|||
= 0 =1
|
||
= 0
1
|||
= 0 =1

|||
= 0
1
|
= 0 =1
|

= 0
1
|
= 0 =1

|
= 0
1
|
= 0 =1

|
= 0
1
|
= 0 =1

|
= 0
1

= 0 =1

= 0
1
||||
= 0 =1
|
|||
= 0
1 = 2
El tensor de Riemann se puede escribir como: 1
ic
=
2
2(2l)
_

cu

c
_
,
luego es un espacio simetrico.
Ahora se trata de demostrar que la metrica de S
2
y la del espacio de deSitter
dS
2
estan relacionadas por la transformacion compleja 0=it +
t
2
,que se conoce
con el nombre de rotacion de Wick y cambia la signatura de la metrica.Cabe
destacar que es una transformacion matematica y no sica ya que S
2
y dS
2
son
espacios muy diferentes :

ob
=
_
1 0
0 cosh
2
t
_
d:
2
JS2
= dt
2
cosh
2
tdc
2
d:
2
S
2 = d0
2
sin
2
0dc
2
= (idt)
2

_
c
I(I|

2
)
c
I(I|

2
)
2i
_
2
dc
2
=
= dt
2

_
c
|
i ic
|
2i
_
2
dc
2
= dt
2
cosh
2
tdc
2
= d:
2
JS2
38
18 Sistema de unidades de Planck
El sistema de unidades habitual en mecnica clasica es el MKS , iniciales cor-
respondientes a Metro , Kilogramo y Segundo . En este sistema las constantes
fundamentales son :
la constante de gravitacion universal G = 6, 674 10
ll n
3
1s
2
la velocidad de la luz en el vaco c = 2, 008 10
S n
s
la constante de Planck
~ =
|
2t
= 1, 0 10
3d 1n
2
s
El sistema de unidades de Plank es aquel en el que G = c = ~ = 1 .De esta
forma llamamos |

a la longitud de Plank , t

el tiempo de Plank , y :

la masa de Planck .
As :
G = 1
l
3

n|
2

c = 1
l
|
~ = 1
nl
2

|
con lo que los valores de Planck son :
|

=
_
c~
c
3
= 1, 616 10
33
c:
t

=
l
c
= , 801 10
dd
:
:

=
_
~c
c
= 2, 176 10
5
qr
A esta escala cabe destacar las siguientes caracteristicas :
* Esta es la escala donde la gravedad cuntica relativista es importante.
* El tiempo de Planck es el tiempo que la luz tarda en atravesar la longitud
de Planck.
* La masa de Planck es gigante comparada con la masa de un protn , lo
cual es un problema hoy todava sin resolver , conocido como el problema de
la jerarqua.
* Si calculamos cual debera ser la masa de un protn para cancelar la
atraccin gravitatoria con la repulsin elctrica , encontramos :
G
1
2
:
2
= 1
t
2
:
2

c1
2
~c
=
1t
2
~c
-
l
l37

1
2
n
2

-
l
l37
que coincide con la constante de estructura na.
19 Mtrica de Schwarschild
En este apartado suponemos un espacio-tiempo esttico con simetra esfrica,
es decir con mtrica d:
2
= c
2o(:)
dt
2
c
2o(:)
dr
2
r
2
d\
2
siendo d\
2
= d0
2

sin
2
0d,
2
la mtrica de la esfera S
2
.De esta forma la coordenada radial r mide
el tamao de la esfera S
2
. Se trata de calcular los smbolos de Christoel, el
tensor de curvatura de Riemann, el tensor de Ricci y el escalar de Ricci para
este espacio-tiempo.
39
19.1 Smbolos de Christoel
La mtrica es
q
i
=
_
_
_
_
c
2o(:)
0 0 0
0 c
2o(:)
0 0
0 0 r
2
0
0 0 0 r
2
sin
2
0
_
_
_
_
Y como la mtrica es diagonal, los nicos smbolos no nulos de Christoel
son
I
X
u
= 0
I
X

=
1
2
(q
XX
)
l
0
X
q

I
X
X
= 0

ln
_
[q
XX
[
I
X
XX
= 0
X
ln
_
[q
XX
[
As haciendo clculos
I
:
||
=
1
2
_
c
2o(:)
_
l
0
:
c
2o(:)
= c
t
c
2(oo)
I
:
00
=
1
2
_
c
2o(:)
_
l
0
:
r
2
= rc
2o
I
:
,,
=
1
2
_
c
2o(:)
_
l
0
:
r
2
sin
2
0 = c
2o
r sin
2
0
I
0
,,
=
1
2
_
r
2
_
l
0
0
r
2
sin
2
0 = sin0 cos 0
I
|
:|
= 0
:
lnc
o(:)
= c
t
I
0
:0
= 0
:
lnr =
1
r
I
,
:,
= 0
:
lnr sin0 =
1
r
I
,
0,
= 0
0
lnr sin0 =
cos 0
sin0
I
:
::
= 0
:
ln
_
[q
::
[ = 0
:
lnc
o
= ,
t
19.2 Tensor de Riemann
Estamos en 4 dimensiones, luego el tensor de Riemann tiene :
2
(:
2
1),12 = 20
componentes independientes , el resto de componentes , 4
d
= 26 componentes,
estan ligadas por las simetras propias del tensor.
40
La forma de calcular el tensor de Riemann es 1

ci
= 0

uc
0
u
I

c

I

X
I
X
uc
I

uX
I
X
c
, con lo que obtenemos
1

ci
= 0

uc
0
u
I

c
I

X
I
X
uc
I

uX
I
X
c
1
|
:|:
= 0
|
I
|
::
0
:
I
|
|:
I
|
|X
I
X
::
I
|
:X
I
X
|:
= c
tt
c
t
,
t
(c
t
)
2
1
|
0|0
= 0
|
I
|
00
0
0
I
|
|0
I
|
|X
I
X
00
I
|
0X
I
X
|0
= rc
t
c
2o
1
|
,|,
= 0
|
I
|
,,
0
,
I
|
|,
I
|
|X
I
X
,,
I
|
,X
I
X
|,
= c
2o
c
t
r sin
2
0
1
:
0:0
= 0
:
I
:
00
0
0
I
:
:0
I
:
:X
I
X
00
I
:
0X
I
X
:0
= c
2o
2r,
t
c
2o
,
t
rc
2o
c
2o
=
= r,
t
c
2o
1
:
,:,
= 0
:
I
:
,,
0
,
I
:
:,
I
:
:X
I
X
,,
I
:
,X
I
X
:,
= c
2o
,
t
r sin
2
0
1
0
,0,
= 0
0
I
0
,,
0
,
I
0
0,
I
0
0X
I
X
,,
I
0
,X
I
X
0,
= cos
2
0 sin
2
0 c
2o
sin
2
0 cos
2
0 =
=
_
1 c
2o
_
sin
2
0
1
|
:|0
= 0
|
I
|
0:
0
0
I
|
|:
I
|
|X
I
X
0:
I
|
0X
I
X
|:
= 0
1
|
:|,
= 0
|
I
|
,:
0
,
I
|
|:
I
|
|X
I
X
,:
I
|
,X
I
X
|:
= 0
1
|
0|,
= 0
|
I
|
,0
0
,
I
|
|0
I
|
|X
I
X
,0
I
|
,X
I
X
|0
= 0
1
:
0:|
= 0
:
I
:
|0
0
|
I
:
:0
I
:
:X
I
X
|0
I
:
|X
I
X
:0
= 0
1
:
0:,
= 0
:
I
:
,0
0
,
I
:
:0
I
:
:X
I
X
,0
I
:
,X
I
X
:0
= 0
1
:
,:|
= 0
:
I
:
|,
0
|
I
:
:,
I
:
:X
I
X
|,
I
:
|X
I
X
:,
= 0
1
0
:0|
= 0
0
I
0
|:
0
|
I
0
0:
I
0
0X
I
X
|:
I
0
|X
I
X
0:
= 0
1
0
:0,
= 0
0
I
0
,:
0
,
I
0
0:
I
0
0X
I
X
,:
I
0
,X
I
X
0:
= 0
1
0
|0,
= 0
0
I
0
,|
0
,
I
0
0|
I
0
0X
I
X
,|
I
0
,X
I
X
0|
= 0
1
,
:,|
= 0
,
I
,
|:
0
|
I
,
,:
I
,
,X
I
X
|:
I
,
|X
I
X
,:
= 0
1
,
:,0
= 0
,
I
,
0:
0
0
I
,
,:
I
,
,X
I
X
0:
I
,
0X
I
X
,:
= 0
1
,
|,0
= 0
,
I
,
0|
0
0
I
,
,|
I
,
,X
I
X
0|
I
,
0X
I
X
,|
= 0
1
0
:,|
= 0
,
I
0
|:
0
|
I
0
,:
I
0
,X
I
X
|:
I
0
|X
I
X
,:
= 0
41
19.3 Tensor de Ricci
Para calcular el tensor de Ricci hacemos la contraccin del tensor de Riemann
R
oo
= 1
i
oio
con lo que obtenemos
1
||
= 1

||
= 1
:
|:|
1
0
|0|
1
,
|,|
= q
::
1
:|:|
q
00
1
0|0|
q
,,
1
,|,|
=
= q
::
1
|:|:
q
00
1
|0|0
q
,,
1
|,|,
= q
||
q
::
1
|
:|:
q
||
q
00
1
|
0|0
q
||
q
,,
1
|
,|,
=
= c
2(oo)
_
c
tt
c
t
,
t
(c
t
)
2

2
r
c
t
_
1
::
= 1

::
= 1
|
:|:
1
0
:0:
1
,
:,:
= 1
|
:|:
q
00
1
0:0:
q
,,
1
,:,:
=
= 1
|
:|:
q
00
1
:0:0
q
,,
1
:,:,
= 1
|
:|:
q
::
q
00
1
:
0:0
q
::
q
,,
1
:
,:,
=
= c
tt
c
t
,
t
(c
t
)
2

2
r
,
t
1
00
= 1

00
= 1
|
0|0
1
:
0:0
1
,
0,0
= 1
|
0|0
1
:
0:0
q
,,
1
,0,0
=
= 1
|
0|0
1
:
0:0
q
,,
1
0,0,
= 1
|
0|0
1
:
0:0
q
,,
q
00
1
0
,0,
=
= 1 c
2o
_
r,
t
rc
t
1

1
,,
= 1

,,
= 1
|
,|,
1
:
,:,
1
0
,0,
=
=
_
1 c
2o
_
,
t
r c
t
r 1
_
sin
2
0
El resto son nulos debido a que la mtrica es diagonal.
19.4 Escalar de Ricci
El ltimo de los clculos es el escalar de Ricci ,que es la contraccin del tensor
de Ricci
1 = q
||
1
||
q
::
1
::
q
00
1
00
q
,,
1
,,
=
=
1
c
2o
c
2(oo)
_
c
tt
c
t
,
t
(c
t
)
2

2
r
c
t
_

1
c
2o:
_
c
tt
c
t
,
t
(c
t
)
2

2
r
,
t
_

1
r
2
_
1 c
2o
_
r,
t
rc
t
1

1
r
2
sin
2
0
__
1 c
2o
_
,
t
r c
t
r 1
_
sin
2
0

=
2
c
2o
_
c
tt
c
t
,
t
(c
t
)
2

1
r
c
t

1
r
,
t
_

2
r
2
_
1 c
2o
_
,
t
r c
t
r 1
_
=
=
2
c
2o
_
c
tt
c
t
,
t
(c
t
)
2

2
r
_
,
t
c
t
_

1
r
2
_
c
2o
1
_
_
19.5 Obtencin de la mtrica
Para ello igualamos a cero el tensor de Ricci, y como 1
||
y 1
::
se anulan de
forma independiente, tenemos :
42
0 = c
2(oo)
1
||
1
::
=
2
:
_
,
t
c
t
_
lo que implica que c = , c con c una constante que podemos hacer nula
tras un reescalado de tiempo tt oxp(c).
Ahora hacemos 1
00
= 0 con lo que oxp(2c)(2rc+1)=1 que equivale a
(roxp(2c))
t
= 1 y resolviendo tenemos oxp(2c) = 1
1s
:
con 1
s
una constante
indeterminada.
Con todo esto la mtrica queda d:
2
= (1
1s
:
)dt
2
(1
1s
:
)
l
dr
2
r
2
d\
2
R
s
recibe el nombre de radio de Schwarzschild y sabemos que en el lmite de
campo debil la componente g
||
de la mtrica es g
||
= (1
2c1
:
) luego
identicando terminos queda que 1
s
= 2G' y para valores de r talque
r2G' la metrica se reduce al caso de campo dbil.
Luego concluimos para la mtrica que
d:
2
= (1
2c1
:
)dt
2
(1
2c1
:
)
l
dr
2
r
2
d\
2
19.6 Velocidad radial en el interior y tiempo de vida en
la frontera
Ahora consideramos una partcula que ha caido dentro del horizonte de sucesos
r<2GM ,demostraremos que la coordenada radial tiene una velocidad mnima.
Estudiamos un objeto que no necesariamente se mueve a lo largo de geodsi-
cas .El elemento de linea es :
d:
2
=
_
1
2G'
r
_
dt
2

_
1
2G'
r
_
l
dr
2
r
2
d\
2
El tiempo propio para una partcula en una trayectoria genrica es:
dt
2
_ d:
2
dt
2
_
_
1
2G'
r
_
dt
2

_
1
2G'
r
_
l
dr
2
r
2
d\
2
dt
2
_
_
2G'
r
1
_
dt
2

_
2G'
r
1
_
l
dr
2
r
2
d\
2
Donde la igualdad se reere a una geodsica. Y el mnimo se da para r
2
d\
2
=
0:
43
1 _
_
2G'
r
1
_
dt
2
dt
2

_
2G'
r
1
_
l
dr
2
dt
2
1 _
_
2G'
r
1
_
1
2
_
1
2c1
:
_
2

_
2G'
r
1
_
l
dr
2
dt
2
1 _
1
2
_
2c1
:
1
_
1
_
2c1
:
1
_
dr
2
dt
2
dr
2
dt
2
_
_
2G'
r
1
_
_
1
2
_
2c1
:
1
_ 1
_
dr
2
dt
2
_
_
1
2

_
2G'
r
1
__

dr
dt

_
_
1
2

_
2G'
r
1
_

dr
dt

_
_
2G'
r
1
Luego:

J:
Jr

_
_
2c1
:
1
Ahora calculamos el tiempo de vida:
[dt[ _
[dr[
_
2c1
:
1
_
r
0
dt _
_
0
2c1
[dr[
_
2c1
:
1
_
2G'
r
1 = .
2G'
.
2
1
= r
[dr[ =
2G'
(.
2
1)
2
2.d.
_
r
0
dt _
_
o
0
1
.
2G'
(.
2
1)
2
2.d. =
_
o
0
4G'
(.
2
1)
2
d.
t _
_
o
0
4G'
(.
2
1)
2
d.
Hacemos un cambio de variables:
44
. = lant
d. =
1
cos
2
t
dt
t _
_
2
0
4G'
_
lan
2
t 1
_
2
1
cos
2
t
dt =
=
_
2
0
4G'
_
l
cos
2
|
_
2
1
cos
2
t
dt =
=
_
2
0
4G' cos
2
tdt =
_
2
0
4G'
1 cos 2t
2
dt
= 4G'
_
t
l
2
sin2t
2
_

2
0
= G'
Luego el tiempo de vida mximo es t _ G'. Si c = 1, 1: = 8 10
S
:, y:
~ ~ 1 10
3d
J: ~ 6 10
l6
c\ : ~ 6 10
l6
c\ : ~ 2 10
7
c\ :
G ~ 7 10
ll
:
5
J:
d
~ 1 10
29
:
5
c\ :
d
~ 1.81 10
63
:
c\
Si ' = '
_
/q = '
_
J
s
2
n
2
= '
_
c\
_
1.6 10
l9
_
l
_
8 10
S
_
2
entonces :
t _ 1.81 10
63
'
_
_
1.6 10
l9
_
l
_
8 10
S
_
2
: =
= '
_
1.81 10
63
_
1.6 10
l9
_
l
_
8 10
S
_
: =
t _ 1.8 10
5
:
Donde es el numero de masas solares del agujero negro. La ecuacin de
la geodsica para trayectoria radial es:
45
d:
2
dt
2
=
_
1
2G'
r
_
dt
2
dt
2

_
1
2G'
r
_
l
dr
2
dt
2
1 =
_
1
2G'
r
_
dt
dt
d:
2
dt
2
=
_
1
2G'
r
_
1
2
_
1
2c1
:
_
2

_
1
2G'
r
_
l
dr
2
dt
2
1 =
1
2
_
1
2c1
:
_
_
2G'
r
1
_
l
dr
2
dt
2
_
2G'
r
1
_
l
dr
2
dt
2
= 1
1
2
_
1
2c1
:
_
dr
2
dt
2
=
_
2G'
r
1
_

_
2G'
r
1
_
1
2
_
1
2c1
:
_
dr
2
dt
2
=
2G'
r
1 1
2

dr
dt

=
_
2G'
r
1 1
2
Luego la velocidad mnima se da cuando 1 = 0.
19.7 Ecuaciones de Einstein con constante cosmolgica
En este apartado consideramos las ecuaciones de Einstein en el vaco, con con-
stante cosmolgica G
i
Aq
i
= 0
q
i
=
_
_
_
_
c
2o(:)
0 0 0
0 c
2o(:)
0 0
0 0 r
2
0
0 0 0 r
2
sin
2
0
_
_
_
_
1 =
2
c
2o
_
c
tt
c
t
,
t
(c
t
)
2

2
r
_
,
t
c
t
_

1
r
2
_
c
2o
1
_
_
1
||
= c
2(oo)
_
c
tt
c
t
,
t
(c
t
)
2

2
r
c
t
_
1
::
= c
tt
c
t
,
t
(c
t
)
2

2
r
,
t
1
00
= 1 c
2o
_
r,
t
rc
t
1

1
,,
=
_
1 c
2o
_
,
t
r c
t
r 1
_
sin
2
0
As:
46
G
||
= c
2(oo)
_
2
r
_
,
t
_

1
r
2
_
c
2o
1
_
_
G
::
=
2
r
c
t

1
r
2
_
c
2o
1
_
G
00
=
1
c
2o
_
r
2
c
tt
r
2
c
t
,
t
r
2
(c
t
)
2
r
_
,
t
c
t
_
_
G
,,
= sin
2
0
1
c
2o
_
r
2
c
tt
r
2
c
t
,
t
r
2
(c
t
)
2
r
_
,
t
c
t
_
_
Y las ecuaciones de Einstein quedan:
c
2(oo)
_
2
r
_
,
t
_

1
r
2
_
c
2o
1
_
_
= Ac
2o
2
r
c
t

1
r
2
_
c
2o
1
_
= Ac
2o
1
c
2o
_
r
2
c
tt
r
2
c
t
,
t
r
2
(c
t
)
2
r
_
,
t
c
t
_
_
= Ar
2
sin
2
0
1
c
2o
_
r
2
c
tt
r
2
c
t
,
t
r
2
(c
t
)
2
r
_
,
t
c
t
_
_
= Ar
2
sin
2
0
Ahora las resolvemos:
_
c
2(oo)
_
2
:
_
,
t
_

l
:
2
_
c
2o
1
_
c
2(oo)
_
2
:
c
t

l
:
2
_
c
2o
1
_
_
=
_
Ac
2o
c
2(oo)
Ac
2o
_
_
2
r
,
t

2
r
c
t
_
= 0
,
t
= c
t
,
tt
= c
tt
c = , C
Quedando:
2
r
,
t

1
r
2
_
c
2o
1
_
= Ac
2o
1
c
2o
_
r
2
,
tt
2r
2
_
,
t
_
2
2r,
t
_
= Ar
2
Podemos deir que:
d:
2
= c
2o2c
dt
2
c
2o
dr
2
r
2
d\
2
d\
2
= d0
2
sin
2
0d,
2
Y redenimos la coordenada temporal:
47
d:
2
= c
2o
d

t
2
c
2o
dr
2
r
2
d\
2
d\
2
= d0
2
sin
2
0d,
2
Haciendo C igual a cero:
2
r
,
t

1
r
2
_
c
2o
1
_
= Ac
2o
2
r
,
t
,
tt
2
_
,
t
_
2
= Ac
2o
Restando las ecuaciones:
c
2o
_
2r,
t
c
2o
1

= r
2
A
c
2o
_
2r,
t
1

= r
2
A 1
c
2o
_
2r,
t
1

= 1 r
2
A
Sabemos que:
0
:
_
rc
2o

= 2r,
t
c
2o
c
2o
= c
2o
_
2r,
t
1

As:
0
:
_
rc
2o

= 1 r
2
A
d
_
rc
2o
_
=
_
1 r
2
A
_
dr
rc
2o
= r
r
3
8
A 1
c
2o
= 1
r
2
8
A
1
r
La mtrica queda:
d:
2
= c
2o
dt
2
c
2o
dr
2
r
2
d\
2
=
=
_
1
r
2
8
A
1
r
_
dt
2

1
1
:
2
3
A
1
:
dr
2
r
2
d\
2
d\
2
= d0
2
sin
2
0d,
2
Para A = 0 tenemos:
d:
2
=
_
1
1
r
_
dt
2

1
1
1
:
dr
2
r
2
d\
2
d\
2
= d0
2
sin
2
0d,
2
48
Y nos queda la mtrica de Schzwarchild si hacemos 1 = 2G', con lo que
la solucin es:
d:
2
=
_
1
r
2
8
A
2G'
r
_
dt
2

1
1
:
2
3
A
2c1
:
dr
2
r
2
d\
2
d\
2
= d0
2
sin
2
0d,
2
Otras cantidades que se conservan son:
1 = 1

dr

d`
= q
00
1
0
dt
d`
=
_
1
r
2
8
A
2G'
r
_
dt
d`
1 = 1

dr

d`
= q
,,
1
,
d,
d`
= r
2
d,
d`
Podemos escribir las ecuaciones del movimiento, eligiendo un parmetro afn
apropiado. para una geodsica time-like :
_
d:
d`
_
2
= q
i
` r

` r
u
< 0
Y para un parmetro afn concreto:
_
d:
dt
_
2
= q
i
` r

` r
u
= 1
El parmetro afn es el tiempo propio medido por un observador en la propia
geodsica.
q
i
` r

` r
u
= 1

_
1
r
2
8
A
2G'
r
_ _
dt
dt
_
2

1
1
:
2
3
A
2c1
:
_
dr
dt
_
2
r
2
_
d0
dt
_
2
r
2
sin
2
0
_
d,
dt
_
2
= 1
En el plano ecuatorial:

_
1
r
2
8
A
2G'
r
_ _
dt
dt
_
2

1
1
:
2
3
A
2c1
:
_
dr
dt
_
2
r
2
_
d,
dt
_
2
= 1
Ahora podemos usar las cantidades conservadas:

_
1
r
2
8
A
2G'
r
_
_
1
_
1
:
2
3
A
2c1
:

_
2

1
1
:
2
3
A
2c1
:
_
dr
d`
_
2
r
2
_
1
r
2
_
2
= 1

1
2
1
:
2
3
A
2c1
:

1
1
:
2
3
A
2c1
:
_
dr
d`
_
2

1
2
r
2
= 1
49
As:
_
dr
dt
_
2
=
_
1
1
2
r
2
__
1
r
2
8
A
2G'
r
_
1
2
1
2
_
dr
d
_
2
=
1
2
_
1
1
2
r
2
__
1
r
2
8
A
2G'
r
_

1
2
1
2
1
2
_
dr
dt
_
2

1
2
_
1
1
2
r
2
__
1
r
2
8
A
2G'
r
_
=
1
2
1
2
Y podemos escribir:
\
t}}
(r) =
1
2
_
1
1
2
r
2
__
1
r
2
8
A
2G'
r
_
=
1
2
1
2
1
2
_
dr
dt
_
2
\
t}}
(r) =
Luego la ecuacin geodsica es la ecuacin para una partcula moviendose
en un potencial unidimensional \
t}}
(r).
Asi la constante cosmolgica domina la situacin para grandes valores de r,
como se esperaba observando el trmino cuadrtico de la mtrica.
19.8 Experimento sobre un agujero de negro de Schwarz-
schild
Consideramos un observador situado en las coordenadas espaciales jas (r
+
, 0
+
, c
+
)
fuera de un agujero negro de Schwarzschild , de masa M.El observador arroja
un objeto al agujero negro a lo largo de una trayectoria radial. El objeto emite
radiacin con una longitud de onda constante `
tn
,en el sistema de referencia
del objeto.
Queremos calcular la velocidad coordenada
J:
J|
del objeto, como una funcin
de r :
La ecuacin de movimiento, asumiendo trayectoria radial es :
\
t}}
(r) =
1
2
_
1
2G'
r
_
=
1
2
1
2
1
2
_
dr
d`
_
2
\
t}}
(r) =
Consideramos la velocidad inicial nula:
50
\
t}}
(r
+
) =
As:
1
2
_
dr
d`
_
2
=
1
2
_
1
2G'
r
+
_

1
2
_
1
2G'
r
_
_
dr
d`
_
2
=
2G'
r

2G'
r
+
dr
d`
=
_
2G'
r

2G'
r
+
Ahora usamos la expresin para le cantidad conservada 1:
1 =
_
1
2G'
r
_
dt
d`
=
dt
d`
=
1
1
2c1
:
dr
dt
1
1
2c1
:
=
_
2G'
r

2G'
r
+
dr
dt
=
1
2c1
:
1
_
2G'
r

2G'
r
+
=
1
2c1
:
_
1
2
_
2G'
r

2G'
r
+
=
=
1
2c1
:
_
2\
t}}
(r
+
)
_
2G'
r

2G'
r
+
=
1
2c1
:
_
1
2c1
:
_
2G'
r

2G'
r
+
=
=
_
1
2G'
r
_

_
2c1
:

2c1
:
1
2c1
:
Luego:
J:
J|
=
_
1
2c1
:
_
_
2Cf
r

2Cf
r
l
2Cf
r
Ahora queremos calcular la velocidad propia del objeto :
Primero denimos el tiempo en un MCRF(momentarily comoving reference
frame):
dt
2
=
_
1
2G'
r
_
dt
2
dt =
_
1
2G'
r
dt
Y la longitud en un MCRF :
51
d r
2
=
_
1
2G'
r
_
l
dr
2
d r =
1
_
1
2c1
:
dr
Y la velocidad, usando el resultado previo para
J:
J|
:
dr
dt
=
_
1
2G'
r
_

_
2c1
:

2c1
:
1
2c1
:
_
1
2G'
r
_
d r
dt
=
_
1
2G'
r
_

_
2c1
:

2c1
:
1
2c1
:
d r
dt
=

_
2c1
:

2c1
:
1
2c1
:
Para r = 2G',
_
d r
dt
_
:=2c1
=

_
1
2c1
:
1
2c1
:
= 1
Que es la velocidad de la luz. Esto signica que cuando el objeto alcanza el
horizonte de sucesos, su velocidad es la de la luz.
Ahora queremos calcular la longitud de onda `
obs
medida por el observador
en r
+
como una funcion del radio r
tn
el el cual la radiacin es emitida :
Suponemos un fotn emitido en r = r
tn
. La mtrica en este punto es :
d:
2
=
_
1
2G'
r
_
dt
2

1
1
2c1
:
dr
2
Y suponemos el envio de dos pulsos separados por el tiempo propio `
tn
:
dt
2
tn
=
_
1
2G'
r
tn
_
dt
2
`
tn
=
_
1
2G'
r
tn
^t
^t = `
tn
1
_
1
2c1
:cr
Para el observador en r = r
+
, un tiempo coordenado ^t implica un tiempo
propio ^t
+
:
52
dt
2
+
=
_
1
2G'
r
+
_
dt
2
^t
+
=
_
1
2G'
r
+
^t
As, usando el valor de ^t entre las dos emisiones:
^t
+
=
_
1
2G'
r
+
`
tn
1
_
1
2c1
:cr
=
= `
tn

_
1
2c1
:
1
2c1
:cr
`
obs
= `
tn

_
1
2c1
:
1
2c1
:cr
X
c|s
Xcr
=
_
l
2Cf
r
l
2Cf
rcr
Si tenemos en cuenta el movimiento del objeto cuando este emite la seal,
entonces:
53
_
dr
dt
_
:cr
=
_
1
2G'
r
tn
_

_
2c1
:cr

2c1
:
1
2c1
:
dr
2
= dt
2
_
1
2G'
r
tn
_
2 2c1
:cr

2c1
:
1
2c1
:
d:
2
=
_
1
2G'
r
tn
_
dt
2

1
1
2c1
:cr
dr
2
=
=
_
1
2G'
r
tn
_
dt
2

1
1
2c1
:cr
_
1
2G'
r
tn
_
2 2c1
:cr

2c1
:
1
2c1
:
dt
2
=
=
_
1
2G'
r
tn
_
dt
2

_
1
2G'
r
tn
_
2c1
:cr

2c1
:
1
2c1
:
dt
2
=
=
_
1
2G'
r
tn
_
_
1
2c1
:cr

2c1
:
1
2c1
:
_
dt
2
dt
2
tn
=
_
1
2G'
r
tn
_
_
1
2c1
:cr

2c1
:
1
2c1
:
_
dt
2
^t
tn
=

_
_
1
2G'
r
tn
_
_
1
2c1
:cr

2c1
:
1
2c1
:
_
^t
^t =
`
tn
_
_
1
2c1
:cr
_
_
1
2Cf
rcr

2Cf
r
l
2Cf
r
_
Asi:
X
c|s
Xcr
=
_
l
2Cf
r
l
2Cf
rcr
_
1
2Cf
rcr

2Cf
r
l
2Cf
r
_

1
2
=
l
2Cf
r
l
2Cf
rcr
Ahora vamos a calcular el tiempo t
obs
de un haz emitido por el objeto en el
radio r
tn
y que sera observado en r
+
:
Como el fotn sigue una trayectoria nula:
54
0 =
_
1
2G'
r
_
dt
2

1
1
2c1
:
dr
2
dr
dt
=
_
1
2G'
r
_
=
_
:+
:cr
_
1
2G'
r 2G'
_
dr =
= r
+
r
tn
2G' ln
_
r
+
2G'
r
tn
2G'
_
dt =
dr
1
2c1
:
t
obs
=
_
:+
:cr
dr
1
2c1
:
=
_
:+
:cr
rdr
r 2G'
=
Ahora demostraremos que segn pasa el tiempo el desplazamiento al rojo
crece exponencialmente :
X
c|s
Xcr
_ oxp(
|
c|s
T
) y daremos una expresin para el
tiempo constante T en funcin de la masa del agujero negro M :
Sabemos que:
t
obs
= r
+
r
tn
2G' ln
_
r
+
2G'
r
tn
2G'
_
t
obs
r
+
r
tn
= 2G' ln
_
r
+
2G'
r
tn
2G'
_
Y:
`
obs
`
tn
=
1
2c1
:
1
2c1
:cr
tiempos grandes implican que r
tn
se aproxima al valor del radio de Schzwarchild
, lo que implica :
t
obs
r
+
r
tn
= 2G' ln
_
r
+
2G'
r
tn
2G'
_
c
t
c|s
r+rcr
2Cf
=
r
+
2G'
r
tn
2G'
=
r
+
r
tn
1
2c1
:
1
2c1
:cr
=
r
+
r
tn
`
obs
`
tn
Que signica que :
c
t
c|s
2Cf

X
c|s
Xcr
Luego, T = 2G'.
55
20 Una mtrica de Schwarzschild algo mas gen-
eral
Aqu tambien suponemos un espacio-tiempo estatico con simetra esfrica.Por
esttico entendemos que todas las componentes de la mtrica son independientes
del tiempo y que no existen terminos cruzados, ya que si no el cambio t t
no dejara invariante la mtrica.
Asi suponemos la mtrica d:
2
= c
2o(:)
dt
2
c
2o(:)
dr
2
c
2~(:)
r
2
d\
2
con
d\
2
= d0
2
sin
2
0d,
2
la mtrica de la esfera S
2
. El uso de exponenciales evita
el cambio de signatura de la mtrica.
Como r aun no est denida podemos denir una nueva coordenada r =
c
~(:)
r cuya 1-forma es d r = c
~(:)
dr c
~(:)
rd = c
~(:)
(1 r
J~
J:
)dr y as la
mtrica queda d:
2
= c
2o(:)
dt
2
(1 r
J~
J:
)
2
c
2o(:)2~(:)
d r
2
r
2
d\
2
y ahora
haciendo un reetiquetado r r resulta que (1r
J~
J:
)
2
c
2o(:)2~(:)
= c
2o(:)
con
lo que obtenemos d:
2
= c
2o(:)
dt
2
c
2o(:)
dr
2
r
2
d\
2
que es la original con
c
2~(:)
= 1 ,es decir volvemos a la mtrica de Schwarzschild.
20.1 Clculo de (r) y (r)
Necesitamos calcular el tensor de Einstein G
ob
= 1
ob

l
2
j
ob
1 y por lo tanto
el tensor de Ricci y el escalar de Ricci, pero en este apartado y debido a que la
mtrica es diagonal usaremos el resultado de [2] :
41

= (0

ln[q

[ 20

)0

ln

,,

c,=
[(0

ln[q
cc
[)
2
(0
c
ln
]]

2
,,
20
c
)q
cc
0
c
[q

[[
.
As -41
||
= (0
|
ln[q
||
[20
|
)0
|
ln

tt

c,=|
[(0
|
ln[q
cc
[)
2
(0
c
ln
]]

2
tt

20
c
)q
cc
0
c
[q
||
[[
implica 1
||
= c
2(oo)
[0
2
:
c (0
:
c)
2
0
:
c0
:
,
2
:
0
:
c[
41
::
= (0
:
ln[q
::
[ 20
:
)0
:
ln

rr

c,=:
[(0
:
ln[q
cc
[)
2

(0
c
ln
]]

2
rr
20
c
)q
cc
0
c
[q
::
[[
implica 1
::
= 0
2
:
c 0
:
c0
:
,
2
:
0
:
, 0
2
:
c
41
00
= (0
0
ln[q
00
[ 20
0
)0
0
ln

t
0

c,=0
[(0
0
ln[q
cc
[)
2

(0
c
ln
]]

2
tt
20
c
)q
cc
0
c
[q
00
[[
implica 1
00
= c
2o
[r(0
:
, 0
:
c) 1[ 1
41

= (0

ln[q

[ 20

)0

ln

c,=
[(0

ln[q
cc
[)
2

(0
c
ln
]]

20
c
)q
cc
0
c
[q

[[
implica 1

= sin
2
01
00
56
21 Mtrica en T
2
En ste apartado y en el siguiente ,se tienen en cuenta topologas distintas a
la esfrica . En primer lugar el candidato mas obvio es el Toro [3] .Se trata de
calcular la mtrica y con ella los tensores propios de la Relatividad General .
21.1 Derivacin
Figura 1
Observando la seccin de un toro en la gura 1 vemos que
_

_
r = :sin,
l
j = :cos ,
l
. = / sin,
2
: = a / cos ,
2
r =
_
a
2
/
2
2a/ cos ,
2
_1
2
_

_
De esta forma dr
2
dj
2
d.
2
= :
2
d,
2
l
/
2
d,
2
2
y d:
2
= oxp(21)dt
2

oxp(2w)dr
2
:
2
d,
2
l
/
2
d,
2
2
es una expresin general para la mtrica con 1 =
1(r, t) y w = w(r, t) .Deniendo : = / a cos ,
2
se cumple qu e r
2
= :a :/
.As las coordenadas espacio-temporales del toro son
_

_
r
0
= ct
r
l
= r
r
2
= ,
l
r
3
= ,
2
_

_
y la mtrica
es q
ob
_
_
_
_
oxp(21) 0 0 0
0 oxp(2w) 0 0
0 0 :
2
0
0 0 0 /
2
_
_
_
_
De
_
: = a / cos ,
2
r
2
= a
2
/
2
2a/ cos ,
2
_
: = a /
:
2
o
2
b
2
2ob
= a
l
2o
(r
2
a
2
/
2
)
y
Jn
J:
=
:
o
De : = a / cos ,
2
obtenemos
Jn
J,
2
= / sin,
2
De
_
: = / a cos ,
2
r
2
= a
2
/
2
2a/ cos ,
2
_
: = /
l
2b
(r
2
a
2
/
2
) y
Jn
J:
=
:
b
57
De : = / a cos ,
2
obtenemos
Jn
J,
2
= a sin,
2
De r
2
= a
2
/
2
2a/ cos ,
2
_
2r = 2a
Jo
J:
2/
Jo
J:
cos ,
2
r =
Jo
J:
(a / cos ,
2
)
Jo
J:
=
:
n
2r = 2/
Jb
J:
2a
Jb
J:
cos ,
2
r =
Jb
J:
(/ a cos ,
2
)
Jb
J:
=
:
n
_
La mtrica es d:
2
= oxp(21)dt
2
oxp(2w)dr
2
:
2
d,
2
l
/
2
d,
2
2
con base
coordenada
_

_
c
|
= 0
|
c
:
= 0
:
c
,
1
= 0
,
1
c
,
2
= 0
,
2
_

_
y 1-formas bsicas
_

_
.
|
= 0t
.
:
= dr
.
,
1
= d,
l
.
,
2
= d,
2
_

_
21.2 Smbolos de Christoel
Al ser la mtrica diagonal usamos las siguientes frmulas :

I
~
o
= 0
I
~
oo
=
l

q
oo,~
I
~
~
= (ln[q
~~
[
1
2
),

= (ln[q

[
1
2
),

.demostradas en 3.2 , y los clculos dan :

_

_
I
0
00
= (ln[q
00
[
1
2
),
0
=
l
2
(1),
0
=
`
1
I
l
ll
= (ln[q
ll
[
1
2
),
l
=
l
2
(w),
l
=
l
2
w
0
I
2
22
= (ln[q
22
[
1
2
),
2
= (ln

:
2

1
2
),
2
=
n2
n
= 0
I
3
33
= (ln[q
33
[
1
2
),
3
= (ln

/
2

1
2
),
3
=
b3
b
= 0

_
I
0
ll
=
l
00
q
ll,0
= oxp(1) oxp(w)
`
w
I
0
22
=
l
00
q
22,0
= 0
I
0
33
=
l
00
q
33,0
= 0

_
I
l
00
=
l
11
q
00,l
= oxp(w) oxp(1)1
0
I
l
22
=
l
11
q
22,l
= oxp(w)2:
Jn
J:
I
l
33
=
l
11
q
33,l
= oxp(w)2/
Jb
J:

_
_
_
I
2
00
=
l
22
q
00,2
= 0
I
2
ll
=
l
22
q
ll,2
= 0
I
2
33
=
l
22
q
33,2
= 0

_
_
_
I
3
00
=
l
33
q
00,3
= 0
I
3
ll
=
l
33
q
ll,3
= 0
I
3
22
=
l
33
q
22,3
=
l
b
2:sin,
2

_
I
0
0l
= (ln[q
00
[
1
2
),
l
=
l
2
(1),
l
=
l
2
1
0
= I
0
l0
I
0
02
= (ln[q
00
[
1
2
),
2
= 0 = I
0
20
I
0
03
= (ln[q
00
[
1
2
),
3
= 0 = I
0
30

_
I
l
l0
= (ln[q
ll
[
1
2
),
0
=
l
2
(w),
0
=
l
2
`
w = I
l
0l
I
l
l2
= (ln[q
ll
[
1
2
),
2
= 0 = I
l
2l
I
l
l3
= (ln[q
ll
[
1
2
),
3
= 0 = I
l
3l

_
I
2
20
= (ln[q
22
[
1
2
),
0
= 0 = I
2
02
I
2
2l
= (ln[q
22
[
1
2
),
l
=
l
n
Jn
J:
= I
2
l2
I
2
23
= (ln[q
22
[
1
2
),
3
=
(n),2
n
= 0 = I
2
32

_
I
3
30
= (ln[q
33
[
1
2
),
0
= 0 = I
3
03
I
3
3l
= (ln[q
33
[
1
2
),
l
=
l
b
Jb
J:
= I
3
l3
I
3
32
= (ln[q
33
[
1
2
),
2
= 0 = I
3
23

21.3 Tensor de Riemann , Tensor de Ricci , Escalar de

Ricci y Tensor de Einstein.
Este apartado lo resolvemos integramente con Mathematica, y suponemos a y
b constantes. Tambien hacemos los siguientes cambios en la nomenclatura:
58
,
l
0
,
2
1
1
r
0
= t r
d
Las coordenadas son ahora r, 0, 1, , t
Y la mtrica es d:
2
= oxp(2w) (
o
2
b
2
:
2
2o
)
2
d0 /
2
d1
2
oxp(2)dt
2
As los resultados son para los smbolos de Christoel :
I[122[ =
:
2o oxj(+)
I[221[ =
:
o
2
b
2
:
2
Para el tensor de Riemann obtenemos :
1[1221[ =
o
2
b
2
2o
3
oxj(+)2ob
2
oxj(+)2o oxj(:
2
+)
1[2121[ =
o
2
b
2
(o
2
b
2
:
2
)
2
Para el tensor de Ricci :
1[11[ =
o
2
b
2
(o
2
b
2
:
2
)
2
1[22[ =
o
2
b
2
2o
3
oxj(+)2ob
2
oxj(+)2o oxj(:
2
+)
El escalar de Ricci es :
1 =
2(o
2
b
2
)
oxj((o
2
b
2
:
2
)
2
+)
Y por ltimo para el tensor de Einstein:
G[88[ =
b(o
2
b
2
)
oxj((o
2
b
2
:
2
)
2
+)
G[44[ =
(o
2
b
2
)_
(o
2
b
2
:
2
)
2
+
22 Mtrica en K (botella de Klein)
Este apartado pretende lo mismo que el anterior pero con la supercie no ori-
entable , cerrada , mas simple posible , es decir la botella de Klein [4] y [5]
.
Figura 2
59
La gura 2 muestra la seccin de un toro por un plano que contiene al eje
OZ , donde P es un punto del toro y P es su proyeccion en el plano OXY.
OC=a es el radio de la circunferencia principal y CP=b es el radio de la
seccion.Hacemos OP=m y llamamos n=b-acos ,
2
que ser til en clculos
posteriores.
De esta forma las coordenadas cartesianas de un punto genrico del toro son
_
_
_
r = :sin,
l
j = :cos ,
l
. = / sin,
2

.
Figura 3
60
En la gura 3 vemos la seccion de una parte de la botella de Klein, por el
plano OXY. Llamamos
_

_
:
l
= a
l
/
l
cos ,
2
:
l
= /
l
a
l
cos ,
2
a
l
= (
l
C
l
) cos
2
,
1
d
C
l
/
l
= (1
l
1
l
) cos
2
,
1
d
1
l

l
~ C
l
1
l
~ 1
l

l
~ 1
l
C
l
~ 1
l

.
As para esta parte las coordenadas cartesianas son
_
_
_
r = :
l
sin,
l
j = :
l
cos ,
l
. = /
l
sin,
2

.
Figura 4
En la gura 4 vemos la seccin de la otra parte de la botella de Klein, por
el plano OXY.Observamos que el origen de coordenadas ha cambiado.
Llamamos
_

_
:
2
= a
2
/
2
cos ,
2
:
2
= /
2
a
2
cos ,
2
a
2
= (C
2

2
) sin
2 ,
1
2

2
/
2
= (1
2
1
2
) sin
2 ,
1
2
1
2
C
2
~
2
1
2
~ 1
2
C
2
~ 1
2

2
~ 1
2

61
y condiciones extras
_
_
_
1
2
= 1
l
1
2
= 1
l

l
C
l
=
2
C
2

l
C
l
~ 2
2

.
As para esta parte las coordenadas cartesianas son
_
_
_
r = :
2
sin,
l
j =
l
C
2
:
2
cos ,
l
. = /
2
sin,
2

.
22.1 Derivacin
El siguiente paso es el clculo de la mtrica esttica para 0 _ ,
l
_ 2 . De
_
_
_
:
l
= a
l
/
l
cos ,
2
a
l
= (
l
C
l
) cos
2
,
1
d
C
l
/
l
= (1
l
1
l
) cos
2
,
1
d
1
l

obtenemos
_
_
_
d:
l
= da
l
d/
l
cos ,
2
/
l
sin,
2
d,
2
da
l
= (
l
C
l
)2 cos
,
1
d
sin
,
1
d
l
d
d,
l
d/
l
= (1
l
1
l
)2 cos
,
1
d
sin
,
1
d
l
d
d,
l

.
De
_
_
_
r = :
l
sin,
l
j = :
l
cos ,
l
. = /
l
sin,
2

obtenemos
_
_
_
dr = d:
l
sin,
l
:
l
cos ,
l
d,
l
dj = d:
l
cos ,
l
:
l
sin,
l
d,
l
d. = d/
l
sin,
2
/
l
cos ,
2
d,
2

. Y
operando queda d\
2
l
= dr
2
dj
2
d.
2
= :
2
l

l
d
['
l
(a
l
C
l
)
l
(/
l

1
l
)[d,
2
l
/
2
l
d,
2
2
/
l
_
(a
l
C
l
)(
l
a
l
) sin,
2
d,
l
d,
2
con
_
'
l
=
l
a
l
(1
l
/
l
) cos ,
2

l
= 1
l
/
l
(
l
a
l
) cos ,
2

.
De la misma forma, para 2 _ ,
l
_ 8 :d\
2
2
= dr
2
dj
2
d.
2
= :
2
2

'
2
(a
2

2
)
2
(/
2
1
2
)d,
2
l
/
2
2
d,
2
2
2/
2
_
(a
2

2
)(C
2
a
2
) sin,
2
d,
l
d,
2
con
_
'
2
= C
2
a
2
(1
2
/
2
) cos ,
2

2
= 1
2
/
2
(C
2
a
2
) cos ,
2

.
Asumimos para la mtrica correspondiente a una distribucin de materia
con simetra de una botella de Klein :
do
2
= oxp(1)dt
2
oxp(w)dr
2
0(2 ,
l
)d\
2
l
0(,
l
2)d\
2
2
donde
0(r) es la funcin de Heaviside y
_

_
r = r
l
=
_
a
2
l
/
2
l
2a
l
/
l
cos ,
2
r = r
2
=
_
a
2
2
/
2
2
2a
2
/
2
cos ,
2
1 = 1(r, t)
w = w(r, t)

con r
l
denida para 0 _ ,
l
_ 2 y r
2
denida para 2 _ ,
l
_ 8 y las coordenadas
de la botella de Klein son
_

_
r
0
= ct
r
l
= r
r
2
= ,
l
r
3
= ,
2

.
Con todo esto la mtrica es :
_

_
q
00
= oxp(1)
q
ll
= oxp(w)
q
22
= 0(2 ,
l
):
2
l

l
d
['
l
(a
l
C
l
)
l
(/
l
1
l
)[
0(,
l
2):
2
2
'
2
(a
2

2
)
2
(/
2
1
2
)
q
23
= q
32
= [0(2 ,
l
)/
l
_
(a
l
C
l
)(
l
a
l
) 2/
2
_
(a
2

2
)(C
2
a
2
)0(,
l
2)[ sin,
2
q
33
= /
2
l
0(2 ,
l
) /
2
2
0(,
l
2)

62
23 Mtrica de Friedman-Lamaitre-Robertson-Walker
(FLRW) .
Este apartado esta basado en [6] .
23.1 Mtrica, ecuaciones de Friedman y ecuaciones de es-
tado
Partimos de la suposicin de que el Universo es esfrico, por lo que observando
la gura 5 tenemos para el diferencial de arco d|
2
= (1d0)
2
(rd,)
2
y como
1d0 cos 0 = dr y cos 0 =
_
1
2
:
2
1
tenemos que 1d0 =
J:
q
l
r
2
T
2
con lo que el
diferencial de arco es d|
2
= (
J:
q
l
r
2
T
2
)
2
(rd,)
2
.
gura 5
Ahora deniendo la curvatura de la esfera como / =
l
1
2
,dada la metrica de
Minkowski d:
2
= c
2
dt
2
d|
2
y llamando a(t) al factor de escala de expansin
del Universo, obtenemos para la mtrica de este Universo
d:
2
= c
2
dt
2
a(t)[(
J:
q
l
r
2
T
2
)
2
(rd,)
2
[ (1)
Eligiendo como base no coordenada de 1-formas: .
b
|
= dt , .
b :
=
o(|)
_
l|:
2
dr
, .
b
0
= a(t)rd0 , .
b ,
= a(t)r sin0d, la mtrica es d:
2
= (.
b
|
)
2
(.
b :
)
2
(.
b
0
)
2

63
(.
b ,
)
2
y j
bo
b
b
= diaq(1, 1, 1, 1) = j
bo
b
b
.Ahora calculamos la diferencial de estas
1-formas :
d .
b
|
= 0
d.
b :
=
` o
_
l|:
2
dtAdr =
` o
o
.
b
|
A.
b :
d.
b
0
= ` ardtAd0 adrAd0 =
` o
o
.
b
|
A.
b
0

_
l|:
2
:o
.
b :
A.
b
0
d.
b ,
= ` ar sin0dtAd,a sin0drAd,ar cos 0d0Ad, =
` o
o
.
b
|
A.
b ,

_
l|:
2
:o
.
b :
A
.
b ,

coi 0
:o
.
b
0
A.
b ,
Y ahora desarrollamos la primera de las ecuaciones de Cartan : d.
bo
=
I
bo
b
b
A.
b
b
d.
b :
= I
b :
b
|
A.
b
|
I
b :
b :
A.
b :
I
b :
b
0
A.
b
0
I
b :
b ,
A.
b ,
d.
b
0
= I
b
0
b
|
A.
b
|
I
b
0
b :
A.
b :
I
b
0
b
0
A.
b
0
I
b
0
b ,
A.
b ,
d.
b ,
= I
b ,
b
|
A.
b
|
I
b ,
b :
A.
b :
I
b ,
b
0
A.
b
0
I
b ,
b ,
A.
b ,
Y por comparacin encontramos las 1-formas curvatura :
I
b :
b
|
=
` o
o
.
b :
= I
b
|
b :
I
b
0
b
|
=
` o
o
.
b
0
= I
b
|
b
0
I
b
0
b :
=
_
l|:
2
:o
.
b
0
= I
b :
b
0
I
b ,
b
|
=
` o
o
.
b ,
= I
b
|
b ,
I
b ,
b :
=
_
l|:
2
:o
.
b ,
= I
b :
b ,
I
b ,
0
=
coi 0
:o
.
b ,
= I
b
0
b ,
El siguiente paso es el calculo de la 2-forma curvatura : \
bo
b
b
= dI
bo
b
b
I
bo
bc
I
bc
b
b
=
l
2
1
bo
b
bbc
b
J
.
bc
A.
b
J
\
b
0
b :
= dI
b
0
b :
I
b
0
bc
I
bc
b :
= dI
b
0
b :
I
b
0
b
|
AI
b
|
b :
I
b
0
b :
AI
b :
b :
I
b
0
b
0
AI
b
0
b :
I
b
0
b ,
AI
b ,
b :
=
` o
2
|
o
2
.
b
0
A.
b :
=
l
2
1
b
0
b :bc
b
J
.
bc
A.
b
J
= 1
b
0
b :
b
0b :
.
b
0
A.
b :
Luego 1
b
0
b :
b
0b :
=
` o
2
|
o
2
= 1
b
0
b :b :
b
0
= 1
b :
b
0
b
0b :
= 1
b :
b
0b :
b
0
Y de la misma forma 1
b
|
b
0
b
|
b
0
= 1
b
|
b ,
b
|b ,
= 1
b
|
b :
b
|b :
=
o
o
1
b
0
b ,
b
0b ,
=
` o
2
|
o
2
1
b ,
b :b :b ,
=

` o
2
o
2
Las componentes no nulas del tensor de Einstein son G
b
|
b
|
=
3
o
2
(/ ` a
2
)
G
b :b :
= G
b
0
b
0
= G
b ,b ,
= 2
o
o

l
o
2
(/ ` a
2
)
El tensor momento-energa es T
bo
b
b
= diaqo:a|(j, j, j, j) = T
bo
b
b
Las ecuaciones de Einstein un unidades c=G=1, con constante cosmolgica
son G
ob
Aq
ob
= 8T
ob
y sustituyendo obtenemos las ecuaciones de Friedman
3
o
2
(/ ` a
2
) A = 8j
2
o
o

l
o
2
(/ ` a
2
) A = 81
64
24 Mtrica de Tolman-Bondi-de Sitter en 2+1
dimensiones
Este apartado esta basado en [7] .
Dada la mtrica d:
2
= dt
2
oxp(2/(r, t))dr
2
1
2
(t, r)d,
2
se trata de llegar
a las ecuaciones diferenciales que rigen el comportamiento de las funciones b(r,t)
y R(r,t).
Para ello elegiremos una base ortonormal de 1-formas cuyas diferenciales
junto con la primera de las ecuaciones de estructura de Cartan nos permitiran
calcular las 1-formas curvatura, despues la segunda ecuacin de estructura de
Cartan nos permitir el clculo de las 2-formas curvatura y el tensor de curvatura
de Riemann, luego el tensor de Ricci y el escalar de Ricci y con ellos el tensor
de Einstein, despues con las euaciones de campo de Einstein conseguiremos las
ecuaciones diferenciales buscadas.
Denimos la base ortonormal de 1-formas : .
b
|
= dt , .
b :
= oxp(/)dr ,
.
b ,
= 1d,
Y con ellas la mtrica queda d:
2
= (.
b
|
)
2
(.
b :
)
2
(.
b ,
)
2
y j
bo
b
b
= diaq(1, 1, 1) =
j
bo
b
b
24.1 Clculo de las 1-formas curvatura
Ahora calculamos la diferencial de estas 1-formas :
d .
b
|
= 0
d.
b :
=
Jb
J|
oxp(/)dtAdr =
Jb
J|
.
b
|
A.
b :
d.
b ,
=
J1
J|
dtAd,
J1
J:
drAd, =
J1
J|
l
1
.
b
|
A.
b ,

J1
J:
oxj(b)
1
.
b :
A .
b ,
Y ahora desarrollamos la primera de las ecuaciones de Cartan : d.
bo
=
I
bo
b
b
A.
b
b
d.
b :
= I
b :
b
|
A.
b
|
I
b :
b :
A.
b :
I
b :
b ,
A.
b ,
d.
b ,
= I
b ,
b
|
A.
b
|
I
b ,
b :
A.
b :
I
b ,
b
0
A.
b
0
I
b ,
b ,
A.
b ,
Y por comparacin encontramos las 1-formas curvatura :
I
b :
b
|
=
Jb
J|
.
b :
= I
b
|
b :
I
b ,
b
|
=
J1
J|
l
1
.
b ,
= I
b
|
b ,
I
b ,
b :
=
J1
J:
oxj(b)
1
.
b ,
= I
b :
b ,
24.2 Clculo de las 2-forma curvatura y el tensor de cur-
vatura
El siguiente paso es el clculo de la 2-forma curvatura : \
bo
b
b
= dI
bo
b
b
I
bo
bc
I
bc
b
b
=
l
2
1
bo
b
bbc
b
J
.
bc
A.
b
J
\
b :
b
|
= dI
b :
b
|
I
b :
bc
I
bc
b
|
= d(
Jb
J|
.
b :
) = (
J
2
b
J|
2
(
Jb
J|
)
2
).
b
|
A.
b :
por otro lado \
b :
b
|
=
l
2
1
b :
b
|bc
b
J
.
bc
A.
b
J
= 1
b :
b
|
b
|b :
.
b
|
A.
b :
65
y comparando 1
b :
b
|
b
|b :
=
J
2
b
J|
2
(
Jb
J|
)
2
= 1
b :
b
|b :
b
|
Y de la misma forma 1
b
|
b ,
b
|b ,
= 1
b
|
b ,b ,
b
|
=
J
2
1
J|
2
l
1
1
b
|
b ,b :b ,
= 1
b
|
b ,b ,b :
=
oxj(b)
1
(
J
2
1
J|J:

Jb
J|
J1
J:
)
1
b :
b ,b :b ,
=
oxj(2b)
1
(
Jb
J|
J1
J|
oxp(2/)
J
2
1
J:
2

Jb
J:
J1
J:
)
24.3 Clculo del tensor de Ricci y el escalar de Ricci
Para el Tensor de Ricci 1
bo
b
b
= 1
bc
bobc
b
b
1
b
|
b
|
= 1
bc
b
|bc
b
|
=
J
2
b
J|
2
(
Jb
J|
)
2

J
2
1
J|
2
l
1
1
b
|b :
= 1
bc
b
|bcb :
=
oxj(b)
1
(
J
2
1
J|J:

Jb
J|
J1
J:
)
1
b
|b ,
= 0
1
b
|b :
=
J
2
b
J|
2
(
Jb
J|
)
2

oxj(2b)
1
(
Jb
J|
J1
J|
oxp(2/)
J
2
1
J:
2

Jb
J:
J1
J:
)
1
b :b ,
= 0
1
b ,b ,
=
J
2
1
J|
2
l
1

oxj(2b)
1
(
Jb
J|
J1
J|
oxp(2/)
J
2
1
J:
2

Jb
J:
J1
J:
)
Para el escalar de Ricci 1 = j
bo
b
b
1
bo
b
b
1 = 1
b
|
b
|
1
b :b :
1
b ,b ,
= 2
J
2
b
J|
2
2(
Jb
J|
)
2

J
2
1
J|
2
2
1
2
oxj(2b)
1
(
Jb
J|
J1
J|
oxp(2/)
J
2
1
J:
2

Jb
J:
J1
J:
)
24.4 Tensor de Einstein y ecuaciones de campo
Para el tensor de Einstein G
bo
b
b
= 1
bo
b
b

l
2
j
bo
b
b
1
G
b
|
b
|
= 1
b
|
b
|

l
2
1 =
oxj(2b)
1
J
2
1
J:
2

oxj(2b)
1
Jb
J:
J1
J:

l
1
Jb
J|
J1
J|
G
b
|b :
= 1
b
|b :

l
2
j
b
|b :
1 = 1
b
|b :
=
oxj(b)
1
(
J
2
1
J|J:

Jb
J|
J1
J:
)
G
b
|b ,
= 0
G
b :b :
= 1
b :b :

l
2
1 =
l
1
J
2
1
J|
2
G
b :b ,
= 0
G
b ,b ,
= 1
b ,b ,

l
2
1 =
J
2
b
J|
2
(
Jb
J|
)
2
El siguiente paso es encontrar el Tensor de Einstein en la base coordenada
G
ob
= A
bc
o
A
b
J
b
G
bc
b
J
De la base ortonormal de 1-formas tenemos A
bo
b
= diaq(1, oxp(/), 1) y as
G
||
= A
b
|
|
A
b
|
|
G
b
|
b
|
= G
b
|
b
|
G
|:
= A
b
|
|
A
b :
:
G
b
|b :
= oxp(/)G
b
|b :
=
l
1
(
J
2
1
J|J:

Jb
J|
J1
J:
)
G
::
= A
b :
:
A
b :
:
G
b :b :
=
oxj(2b)
1
J
2
1
J|
2
G
,,
= A
b ,
,
A
b ,
,
G
b ,b ,
= 1
2
(
J
2
b
J|
2
(
Jb
J|
)
2
)
Las ecuaciones de campo con constante cosmolgica son G
bo
b
b
A j
bo
b
b
=
Stc
c
4
T
bo
b
b
donde T
bo
b
b
es el Tensor de momento-energa, que para una nube de polvo
es T
ob
= jn
o
n
b
siendo n
o
la 3-velocidad ya que estamos en 2+1 dimensiones.
n
o
= (n
|
, n
:
, n
,
) = (1, 0, 0) en un MCRF.
66
As las ecuaciones quedan
_
_
G
b
|
b
|
G
b
|b :
0
0 G
b :b :
0
0 0 G
b ,b ,
_
_
`
2
_
_
1 0 0
0 1 0
0 0 1
_
_
=
/
_
_
j 0 0
0 0 0
0 0 0
_
_
De G
b :b :
`
2
= 0 obtenemos que
l
1
J
2
1
J|
2
`
2
= 0 ,que ordenando queda
J
2
1
J|
2
`
2
1 = 0 que corresponde a la ecuacin diferencial de un oscilador de
frecuencia angular ` ,cuya solucin general sabemos que es 1 = (r) cos(`t)
1(r) sin(`t) .
De G
b ,b ,
`
2
= 0 obtenemos que -
J
2
b
J|
2
(
Jb
J|
)
2
`
2
= 0 y haciendo ) = oxp(/)
,
J}
J|
=
Jb
J|
oxp(/) y
J
2
}
J|
2
=
J
2
b
J|
2
oxp(/) (
Jb
J|
)
2
oxp(/) de donde obtenemos que
J
2
b
J|
2
(
Jb
J|
)
2
=
l
}
J
2
}
J|
2
con lo que la ecuacin diferencial para f queda
J
2
}
J|
2
`
2
) = 0
que es la misma que para 1 , por lo tanto oxp(/) = C(r) cos(`t) 1(r) sin(`t) .
De G
b
|
b
|
`
2
= /j obtenemos
oxj(2b)
1
J
2
1
J:
2

oxj(2b)
1
Jb
J:
J1
J:

l
1
Jb
J|
J1
J|
`
2
= /j
Y de G
b
|b :
= 0 queda
J
2
1
J|J:

Jb
J|
J1
J:
= 0
Resumiendo, las ecuaciones buscadas son
1 = (r) cos(`t) 1(r) sin(`t)
oxp(/) = C(r) cos(`t) 1(r) sin(`t)

oxj(2b)
1
J
2
1
J:
2

oxj(2b)
1
Jb
J:
J1
J:

l
1
Jb
J|
J1
J|
`
2
= /j
J
2
1
J|J:

Jb
J|
J1
J:
= 0
25 La Metrica de Kasner
En este apartado consideramos la mtrica d:
2
= dt
2
q
I
dr
I
dr

de la cual
ya hablamos en el apartado conceptos de geometria diferencial , y que es un
modelo cosmolgico para un Universo homogeneo y anisotropo.
En el apartado , conceptos de geometria diferencial , ya hemos demostrado
las frmulas que aqu necesitamos .
Las supercies t=constante son planas.
Buscamos la evolucin de q
I
con T
i
= 0 , es decir en el vacio , y
demostraremos que el volumen del Universo se anula linealmente cuando t 0
.
Primero calculamos el tensor de Ricci usando la formula
1
I

[
1
= 1
I

[
`
c(q
I|
1
|,n
q
I|
,n
1
|
1
I

1) = 1
I

[
`
c(1
I
,n
1
I

1) donde
es la supercie t=constante y por tanto c = 1 y
1
I

[
`
= 0 por ser plana .Tambien hacemos 1
I
,n
=
`
1
I

.
Luego 1
I

[
1
= 1
I

= 1
I

1
`
1
I

(4)
De 1
n

[
1
= c(1
,
1
I
,I
) ,como el espacio es plano sustituimos las derivadas
covariantes por derivadas normales , y 1
|

[
1
= 1
|

= 1
I
,I
1
,
(3)
De 1
n
n
[
1
= c(1
,n
1
In
1
nI
) queda 1
|
|
= 1
I
1
I

`
1 (2)
Y de 1
I
= c

\
I
: = :
,I
queda 1
I
=
l
2
` q
I
(1)
Como todos son nulos 1
I

= 1
|

= 1
|
|
= 0 .
67
Ahora contraemos la expresion (4) : 0 = 1
2

`
1
`
1 = 1
2

J1
J|
= 1
2

l
1
2
d1 = dt
y haciendo que t =1 0 es 1 =
l
|
(5)
Sustituimos (5) en (4) :
0 = 1
I

l
|

`
1
I

`
1
I

= 1
I

l
|

l
1
1

d1
I

=
J|
|
log 1
I

= log t log
I

con log
I

constante de integracin y
I

es una matriz de constantes, con

lo que queda que
1
I

=
.
1

|
(6)
Elejimos coordenadas tal que 1
I

es diagonal en algun momento t = t

0
,
entonces segun (6) 1
I

es diagonal siempre y podemos decir que 1

I

= c
I

1
|
con 1

constantes.
Como 1 =
l
|
entonces 1
I
I
=
`1I
|
y 1i = 1 .
De la ecuacion (3) : 0 = 1
I
,I
1
,
si i ,= , , pero tambien es cierto si
i = , : 0 = 1
I
I,I
1
,I
.
Sobre la ecuacion (1) : 1
I
=
l
2
` q
I
` q
I
= 2q
In
1
n

= 2q
I
1
|
luego q
I
= c
I
t
211
Sobre la ecuacion (2) : 1
I
1
I
=
`
1 (1
I
)
2
= 1 .
Con todo esto , la mtrica de Kasner es :
d:
2
= dt
2
t
211
dr
2
t
212
dj
2
t
213
d.
2
con 1i = 1 y (1
I
)
2
= 1 .
El elemento de volumen es :
_
q =
_
t
2`1I
= t con lo que si t 0 el
Universo se anula linealmente.
Si en una circunferencia de centro (0,
l
3
) y radio
2
3
dibujamos cualquier
triangulo equilatero , las coordenadas de los vertices satisfacen que j
I
= 1 y
(j
I
)
2
= 1 .
Excepto en el caso 1
I
= (1, 0, 0) que corresponde a un espacio plano ,
donde los 1
I
estan entre 0 y 1 y no entre o y
l
3
, luego el espacio se
contrae a lo largo de un eje y se expande a lo largo de los otros dos , luego es
anisotropo .
Cada hipersupercie t=constante es espacial , tridimensional y plana .
Las lineas con x,y,z constantes son geodsicas de tiempo a lo largo de las
cuales las galaxias se tratan como particulas en estudio .
El modelo representa un Universo en expansin ya que el elemento de volu-
men es
_
q = t y crece de forma constante .
26 El desao a Newton
26.1 Observando la cara (no)oculta de una estrella
Imaginemos que observamos a traves de un telescopio una estrella de masa M
y radio R y la aproximamos a un solido esfrico que no rota. Si el espacio
fuera plano solo podriamos observar la luz emitida por la cara frontal, pero la
Relatividad general predice la posibilidad de observar la cara oculta y se trata
de calcular que parte de esta cara oculta puede ser observada :
Como la luz sigue geodesicas nulas:
68
0 =
_
1
2G'
r
_
dt
2

1
1
2c1
:
dr
2
r
2
_
d0
2
sin
2
0d,
2
_
Por simplicidad y sin perdida de generalidad podemos hacer 0 =
t
2
, y estu-
diar que pasa en el plano ecuatorial.
0 =
_
1
2G'
r
_
dt
2

1
1
2c1
:
dr
2
r
2
d,
2
Las cantidades conservadas son :
1 = 1

dr

d`
= q
00
1
0
dt
d`
=
_
1
2G'
r
_
dt
d`
1 = 1

dr

d`
= q
,,
1
,
d,
d`
= r
2
d,
d`
Asi:
0 =
_
1
2G'
r
_
dt
2
d`
2

1
1
2c1
:
dr
2
d`
2
r
2
d,
2
d`
2
0 =
_
1
2G'
r
_
1
2
_
1
2c1
:

2

1
1
2c1
:
dr
2
d`
2
r
2
1
2
r
d
0 = 1
2

dr
2
d`
2

1
2
r
2
_
1
2G'
r
_
_
dr
d`
_
2
= 1
2

1
2
r
2
_
1
2G'
r
_
_
dr
d,
1
r
2
_
2
= 1
2

1
2
r
2
_
1
2G'
r
_
_
dr
d,
1
r
2
_
2
=
1
2
1
2

1
r
2

2G'
r
3
_
dr
d,
_
2
=
1
2
1
2
r
d
r
2
2G'r
Hacemos un cambio de variable :
r =
1
2
G'r
r =
1
2
G'r
dr
d,
=
1
2
G'r
2
dr
d,
_
dr
d,
_
2
=
1
2
1
2
G
2
'
2
r
2
2r
3
G
2
'
2
1
2
69
Haciendo derivadas :
r =
1
2
G'r
r =
1
2
G'r
dr
d,
=
1
2
G'r
2
dr
d,
d
2
r
d,
2
= r r
2
8G
2
'
2
1
2
1
dr
dr
d,
d
_
dr
d,
_
= r r
2
8G
2
'
2
1
2
dr
d,
d
_
dr
d,
_
=
_
r r
2
8G
2
'
2
1
2
_
dr
_
Jr
J,
_
2
2

_

_
_
Jr
J,
_
2
2
_

_
,=,
0
=
_

r
2
2
r
3
G
2
'
2
1
2
_

r
2
2
r
3
G
2
'
2
1
2
_
,=,
0
_
dr
d,
_
2
=
_
r
2
r
3
2G
2
'
2
1
2
_

_
_
dr
d,
_
2
r
2
r
3
2G
2
'
2
1
2
_
,=,
0
Luego:
_
_
dr
d,
_
2
r
2
r
3
2G
2
'
2
1
2
_
,=,
0
=
1
2
1
2
G
2
'
2
_
_
dr
d,
_
2
1
r
d

1
r
2

2G'
r
3
_
,=,
0
=
1
2
1
2
1
1
d
_
_
dr
d,
_
2
,=,
0
1
2
21G'
_
,=,
0
=
1
2
1
2
Esto nos da una relacion entre la velocidad angular inicial de la luz y el
parametro
J
2
J
2
. Asumimos que la condicion ptima para que la luz nos llegue
es que tenga una velocidad angular maxima , luego ,
_
ur
u
_
,
0
=
(
dr
dt
)

0
(
Td
dt
)

0
=
_
J:
1J,
_
,
0
= 0.
70
1
1
2
_
_
dr
d1,
_
2
,=,
0
1 2
G'
1
_
,=,
0
=
1
2
1
2
_
dr
d1,
_
2
,=,
0
= 0
1
1
2
_
0 1 2
G'
1
_
=
1
2
1
2
1
1
2
_
0 1
2G'
1
_
=
1
2
1
2
Y la ecuacion del movimiento es ahora:
_
dr
d,
_
2
=
1
2
1
2
r
d
r
2
2G'r
_
dr
d,
_
2
=
1
1
2
_
1
2G'
1
_
r
d
r
2
2G'r
dr
d,
=
_
1
1
2
_
1
2G'
1
_
r
d
r
2
2G'r
d,
dr
=
1
_
l
1
2
_
1
2c1
1

r
d
r
2
2G'r
y deducimos que el angulo girado hasta que la luz nos alcanza es :
, ,
0
=
_
1
!:
1
1
_
l
1
2
_
1
2c1
1

r
d
r
2
2G'r
dr
con 1
IS
nuestra posicion .
La condicion es que , ,
0
_ ,
0
.
_
1
!:
1
1
_
l
1
2
_
1
2c1
1

r
d
r
2
2G'r
dr _ ,
0
Para una masa dada ' y un radio 1 podemos calcular la integral y calcular
el angulo ,
nax
:
_
1
!:
1
1
_
l
1
2
_
1
2c1
1

r
d
r
2
2G'r
dr = ,
nax
Sobre el valor de 1
IS
, suponemos que estamos muy lejos de la estrella, y
podemos escribir, sin perder mucha precision :
71
_
o
1
1
_
l
1
2
_
1
2c1
1

r
d
r
2
2G'r
dr = ,
nax
Ahora demostraremos que es posible ver la totalidad de la cara oculta:
Ahora consideramos que ,
0
= 0. Veremos la cara oculta de la estrella si
dados 1 y ' ocurre lo siguiente:
_
1
!:
1
1
_
l
1
2
_
1
2c1
1

r
d
r
2
2G'r
dr _
_
1
!:
1
1
r
2
_
l
1
2

l
:
2

2c1
:
3

2c1
1
3
dr _
Observando la integral se ve que es necesario que ' sea pequea y 1 sea
grande para que la luz nos alcance. Considerando 1
IS
podemos escribir :
1 =
_
o
1
1
_
r
2
_
:
2
1
2
1
_
2G'r
_
1
:
3
1
3
_
dr _
Ahora integramos numericamente para valores dados de ' y 1 .Para el
valor de masa G' = 0.2, encontramos :
1(G') = 0.2, 1 = 0.8) = 8.0604
1(G' = 0.2, 1 = 0.88) = 8.1424
Y podemos ver la cara oculta de la estrella! Para otros valores de la masa :
1(G' = 0., 1 = 1.60) = 8.0604
1(G' = 0., 1 = 1.76) = 8.1424
1(G' = 1.0, 1 = 8.20) = 8.0604
1(G' = 1.0, 1 = 8.2) = 8.1424
1(G' = 2., 1 = 8.0) = 8.0604
1(G' = 2., 1 = 8.8) = 8.1424
Y es sorprendente, porque aparentemente 1(G', 1) = 1(
1
1
):
72
G'
1
= -
r =
r
G'
1 =
_
o
1
z
1
_
(G')
2
r
2
_
(c1)
2
r
2
1
2
1
_
2-1(G') r
_
1
1
3
:
3
1
3
_
G'dr _
1 =
_
o
1
z
1
_
r
2
(r
2
-
2
1) 2r(1 r
3
-
3
)
dr _
Ahora podemos hacer : r- = .:
1 =
_
o
l
1
_
:
2
:
2
(.
2
1) 2
:
:
(1 .
3
)
dr _
1 =
_
o
l
1
_
.
1
_
(1 2-) .
3
. 2-
d. _
Por integracion numerica obtenemos:
1(- =
G'
1
= 0.812) = 8.0604
1(- =
G'
1
= 0.2841) = 8.1424
Tras muchos intentos el resultado es :
1(- =
G'
1
= 0.284041) =
Luego podemos ver la cara oculta de una estrella si esta cumple :
G'
1
_ 0.284041
27 Bibliograa y referencias
[1] Sean M.Carroll Spacetime and Geometry
Este es actualmente el libro mas frecuentemente usado para introducirse en
relatividad general a nivel de master.
[2] K.Z.Win arXiv:gr-qc/9602015v1 8 Feb 1996
[3] Pedro F.Gonzalez Diaz arXiv:gr-qc/9608059v1 24 Aug 1996
[4] Pedro F.Gonzalez Diaz y Ana Alonso Serrano arXiv:1102.3784v1 [astro-
ph.CO] 18 Feb 2011
[5] Pedro F.Gonzalez Diaz y Luis J.Garay Physical Review D, Volume
59,064026
73
[6] Tomislav Prokopec Lecture notes for Cosmology
[7] Sashideep Gutti arXiv:gr-qc/0506100v1 20 Jun 2005
[8] Misner-Thorne-Wheeler . GRAVITATION .
Este es un gran libro en todos los sentidos .Es una referencia universal .
[9] Dubrovin-Fomenko-Nvikov . Geometria Moderna .
Son dos tomos y hay ediccin en espaol .
Muy utiles para adquirir la base matematica necesaria para relatividad.
En concreto los apartados 16,17,18,19,20,21,22,23,24,25,30,37,38 y 39 del
tomo 1 y el apartado 31 del tomo 2 .
[10] Lightman-Press-Price-Teukolsky . Problem book in relativity and grav-
itation .
Uno de los pocos , sino el nico , libro de problemas resueltos de relatividad
general .Con pocas explicaciones .
[11] Sachs-Wu . General Relativity for Mathematicians .
Para quienes disfruten del estilo matematico .
[12] James B.Hartle . General Relativity in the Undergraduate Physics Cur-
riculum .
Clara exposicion de las ideas clave en Relatividad General , y los dos caminos
para llegar a ella , desde las matematicas desde la sica .
[13] S.W.Hawking and G.F.R.Ellis . The Large Scale Structure of Space-time
.
Es una referencia universal .
[14] Michael S.Morris and Kip S.Thorne . Wormholes in space-time and
their use for interstellar travel : A tool for teaching general relativity .
Impresionante articulo para introducirse en relatividad general , basado en
problemas planteados por Carl Sagan mientras escribia la novela Contacto .
[15] K.P.Singh , R.Sharan and D.N.Singh . Scalar Dierential Invariants in
General Relativity .
Muy buena lista sobre invariantes escalares de orden dos para mtricas con
simetria axial , cilindrica y plana , para el producto de dos supercies y para la
mtrica de Godel .
[16] M.Nakahara . Geometry , Topology and physics .
Excelente libro sobre bases matemticas necesarias para todos los campos
de la Fsica Terica .Facil de leer por el estilo informal .
[17] Richard C.Tolman . Relativity , Thermodynamics and Cosmoly .
Cubre todos los tpicos necesarios para Relatividad .
74
[18] L.A.Lpez Surez . Cosmologia de Einstein-Rosen .
[19] Edward Kasner . Geometrical Theorems on Einsteins Cosmological
Equations .
[20] Luis A.Lpez y Nora Bretn . Asymptotic singular Behaviour of inho-
mogeneous cosmologies in Einstein-Maxwell-dilaton-axion Theory .
Estas tres referencias han sido utilizadas buscando informacion sobre la
mtrica de Kasner .
[21] David McMahon . Relativity .
Para empezar con Relatividad General desde cero , sin profesor.
[22] Srgio M.C.V Gonzalves . Naked singularities in Tolman-Bondi-de Sitter
collapse .
En ste articulo esta basado el apartado de la mtrica de Tolman-Bondi-de
Sitter .
75