1

La deduccin de la mtrica FRW aqu mostrada se fundamenta en la propuesta en [7].

18
Captulo 2. Gravitacin y Mtricas de la Relatividad
General.


2.1.- Mtrica de Friedman-Robertson-Walker.
1

Hemos analizado hasta el momento, en lo que respecta al espacio-tiempo, a la mtrica de
Minkowski, sta representa en realidad a un espacio-tiempo plano. Es decir, la mtrica de
Minkowski define intervalos de espacio-tiempo en un espacio-tiempo no curvado. Sin
embargo, nuestros anlisis, para poder llegar al lmite Newtoniano de la gravitacin que
explic Albert Einstein, se encontraran inmersos en el marco de la relatividad general,
dicha teora resulta ser una generalizacin de la relatividad especial para incluir situaciones
en donde el espacio-tiempo, en el cual ocurren los eventos, no es plano o, en otras palabras,
posee curvatura.
Una primera mtrica que describe un espacio-tiempo curvo, es decir, que ya no es
plano, es la mtrica de Friedman-Robertson-Walker (FRW). Dicha mtrica adems de
incluir el efecto de la curvatura incluye otro ms. En la dcada de los 20s Edwin Hubble
determin, a travs de sus estudios, que el Universo se encontraba en expansin y es
precisamente sta la segunda propiedad que la mtrica FRW incluye: la expansin. Ahora
bien, tratemos de entender el surgimiento de la mtrica FRW.
Supongamos que nos encontramos en la tarea de intentar describir la mtrica que
posee una hiperesfera. De entrada debemos definir dicho concepto. Resulta que una esfera,
tal como la conocemos, es un elemento geomtrico descrito por slo dos dimensiones, es
decir, slo requerimos de dos dimensiones para poder describir o generar toda la superficie
de una esfera. Sin embargo, para la descripcin de sta, como para la descripcin de
algunos otros mltiples elementos geomtricos, resulta de utilidad imaginar a la esfera en
un espacio Euclidiano de una dimensin extra, por lo tanto, para este caso imaginamos que
la esfera se encuentra inmersa en un espacio de Euclides de 3 dimensiones. Ahora bien, una
hiperesfera ser una generalizacin de la esfera que conocemos pero descrita por 3
dimensiones, es decir, que se encuentra inmersa en un espacio Euclidiano de 4
dimensiones.
En un espacio Euclideo de 4 dimensiones el elemento de lnea, por analoga al caso
de menores dimensiones, est dado por:
Abreu.
19

dl
2
= dx
1
2
+ dx
2
2
+ dx
3
2
+ dx
4
2
. (2.1)

Ahora bien, extendiendo la definicin de esfera en tres dimensiones a hiperesfera podemos
escribir ahora la ecuacin de una hiperesfera como la suma, del cuadrado de las
coordenadas, igualada a una constante:
x
1
2
+ x
2
2
+x
3
2
+ x
4
2
= R
2
. (2.2)

Es decir hemos hecho a x
4
dependiente de las dems coordenadas o en otras palabras ha
quedado restringida a:
x
4
2
= R
2
x
1
2
x
2
2
x
3
2
. (2.3)

en donde adems sabemos que:
dx
4
=
x
4
x
1
dx
1
+
x
4
x
2
dx
2
+
x
4
x
3
dx
3
. (2.4)

De la ecuacin (2.3) podemos obtener que:
x
4
x
i
=
x
i
R
2
x
1
2
x
2
2
x
3
2
. (2.5)

Con dicho anlisis podemos obtener:
dx
4
=
x
1
dx
1
+x
2
dx
2
+x
3
dx
3
R
2
x
1
2
x
2
2
x
3
2
. (2.6)

o que su cuadrado es:
dx
4
2
=
(x
1
dx
1
+x
2
dx
2
+x
3
dx
3
)
2
R
2
x
1
2
x
2
2
x
3
2
. (2.7)

Si sustituimos la ecuacin (2.7) en la ecuacin (2.1), entonces podemos llegar a una nueva
expresin que nos describa el elemento de lnea sobre una hiperesfera:
dl
2
= dx
1
2
+ dx
2
2
+ dx
3
2
+
(x
1
dx
1
+x
2
dx
2
+x
3
dx
3
)
2
R
2
x
1
2
x
2
2
x
3
2
. (2.8)

Por lo tanto la ecuacin (2.8) representa el elemento de lnea o la distancia que existe entre
dos puntos vecinos los cuales, ambos, se encuentran en la superficie de la hiperesfera.
Abreu.
20

Podemos ahora introducir coordenadas polares esfricas que guardan las siguientes
relaciones:
x
1
= r sin cos. (2.9)
x
2
= r sin sin. (2.10)
x
3
= r cos. (2.11)

en donde los rangos de dichas coordenadas son:
0 .
0 2.
r 0 R.

Podemos realizar una primera simplificacin o reduccin algebraica sobre la ecuacin (2.8)
para llevar a cabo el cambio de coordenadas cartesianas a esfricas. Tenemos que:
r
2
= x
1
2
+ x
2
2
+ x
3
2
. (2.12)

y que por lo tanto:
dr =
(x
1
dx
1
+x
2
dx
2
+x
3
dx
3
)
x
1
2
+x
2
2
+x
3
2
. (2.13)

obteniendo entonces:
dr
2
=
(x
1
dx
1
+x
2
dx
2
+x
3
dx
3
)
2
x
1
2
+x
2
2
+x
3
2
. (2.14)

Con base en la ecuacin (2.14) sera vlido decir que:
dr
2
x
1
2
+ x
2
2
+ x
3
2
= x
1
dx
1
+ x
2
dx
2
+ x
3
dx
3

2
. (2.15)

Finalmente tomamos la ecuacin (2.15) y la ecuacin (2.12) y las sustituimos en la
ecuacin (2.8) para obtener una primera simplificacin de la siguiente forma:
dl
2
= dx
1
2
+ dx
2
2
+ dx
3
2
+
dr
2
(x
1
2
+x
2
2
+x
3
2
)
R
2
r
2
= dx
1
2
+ dx
2
2
+ dx
3
2
+
dr
2
r
2
R
2
r
2
. (2.16)

Abreu.
21

Ser sobre la ecuacin (2.16) sobre donde continuemos sustituyendo nuestras
coordenadas esfricas, tomando en cuenta que:
dx
1
= r cos cos d + cos sin dr r sin sin d . (2.17)
dx
2
= r cos sin d + r cos sin d + sin sin dr . (2.18)
dx
3
= cos dr r sin d. (2.19)

Si sustituimos las ecuaciones (2.17)-(2.19) en (2.16) y simplificamos trminos obtenemos
finalmente la expresin del elemento de lnea sobre la superficie de una hiperesfera:
dl
2
=
R
2
dr
2
R
2
r
2
+ r
2
d
2
+ r
2
sin
2
d
2
. (2.20)

Podemos definir:
r

r
R
. (2.21)

el cual sustituido en la ecuacin (2.16) nos da:
dl
2
= R
2

dr
2
1r
2
+ r
2
d
2
+ r
2
sin
2
d
2
. (2.22)

Ahora bien, si quisiramos un espacio de esta naturaleza, como el que hemos estado
estudiando, pero con curvatura negativa entonces tendramos que cambiar a R por iR y
realizar los mismos pasos anteriores para llegar a:
dl
2
= R
2

dr
2
1+r
2
+ r
2
d
2
+ r
2
sin
2
d
2
. (2.23)

Por lo tanto podemos introducir un factor k el cual a travs de sus valores nos proporcione
los diferentes casos de curvatura, teniendo entonces:
dl
2
= R
2

dr
2
1kr
2
+ r
2
d
2
+ r
2
Sin
2
d
2
. (2.24)

en donde k puede tomar tres valores: -1 para el caso de una curvatura negativa, +1 para el
caso de una curvatura positiva, y 0 para el caso de una hipersuperficie sin curvatura o plana.
Es as como finalmente la ecuacin (2.24) es en realidad el elemento de longitud de una
Abreu.
22

hipersuperficie que puede ser una hiperesfera con curvatura positiva o negativa, o
simplemente plana.
Tenamos anteriormente que la mtrica de Minkowski la podamos expresar, de
manera resumida, como:
ds
2
= c
2
dt
2
(dx
1
2
, dx
2
2
, dx
3
2
). (2.25)

en donde el segundo elemento, del lado derecho, representa una mtrica espacial
Euclidiana que depende de tres dimensiones.
Ahora bien, si quisiramos convertir la mtrica de Minkowski en una mtrica de un
espacio curvado que se expande, entonces podramos introducir como nuestra mtrica
espacial a la mtrica de una hipersuperficie, como la hiperesfera general que acabamos de
definir, en donde adems, y para lograr el efecto de expansin, el radio de la hipersuperficie
depende del tiempo. Por lo tanto de hacer esto obtendramos entonces que:
ds
2
= c
2
dt
2
R(t)
2

dr
2
1kr
2
+ r
2
d
2
+ r
2
sin
2
d
2
. (2.26)

sta ltima es precisamente la mtrica de Friedmann-Robertson-Walker.

Dicha mtrica, evidentemente, denota el siguiente sistema de coordenadas
generalizadas:

0
q ct = . (2.27)
1
q r = . (2.28)
2
q = u. (2.29)
3
q = |. (2.30)

As mismo dado el elemento de longitud podemos encontrar el tensor mtrico el cual tendr
la siguiente forma:


Abreu.
23

2
2
2 2
2 2 2
1 0 0 0
( )
0 0 0
1
0 0 ( ) 0
0 0 0 ( ) sin ( )
ij
R t
g
kr
R t r
R t r u
(
(

(
= (

(
(
(

.
(2.31)


obteniendo, dada (1.49) y haciendo uso del programa generado por este proyecto de tesis y
desglosado en el Apndice 1, los siguientes smbolos de Christoffel no nulos:

0
11
2
RR
1 kr
I =

. (2.32)

0 2
22
r RR I =

. (2.33)

0 2 2
33
r sin ( )RR I = u

. (2.34)

11
1
=
kr
1kr
2
. (2.35)

1 2
22
r(1 kr ) I = . (2.36)

1 2 2
33
r(1 kr )sin ( ) I = u . (2.37)

2 3 2 3
12 13 21 31
1
r
I = I = I = I = . (2.38)

2
33
sin( )cos I = u u. (2.39)

23
3
= cot. (2.40)

1 1 2 2 3 3
01 10 02 20 03 30
R
R
I = I = I = I = I = I =

. (2.41)

Con base en nuestro smbolos de Christoffel calculados y haciendo uso de nuestra
ecuacin (1.51) podemos calcular las ecuaciones de geodsicas de esta mtrica a travs de
un razonamiento anlogo al que realizamos en el caso de la esfera de radio unitario.
Llevando a cabo este proceso, de entrada, resulta evidente que en esta ocasin tendremos 4
Abreu.
24

ecuaciones debido a que estamos en un espacio descrito por 4 coordenadas generalizadas.
Finalmente las cuatro ecuaciones que obtendremos, en un sistema de unidades donde c = 1,
sern:

Para m = ct = t, tenemos:

t

+
RR

1kr
2
(r )
2
+ r
2
RR

)
2
+ r
2
(sin
2
)RR

)
2
= 0. (2.42)


Para m = r, tenemos:

r +
kr
1kr
2
(r )
2
r1 kr
2

2
r1 kr
2
sin
2

2
+ 2
R

R
t

r = 0. (2.43)

Para m = , tenemos:

+
2
r
r

sincos

2
+ 2
R

R
t

= 0. (2.44)


Para m = , tenemos:

+cot

+ 2
R

R
t

= 0. (2.45)


2.2.- Conceptos Generales de Gravitacin en Relatividad General.

La teora de la relatividad, desde su postulacin especial hasta la general, contribuy a
generar mltiples cambios en la estructura de la Fsica y en la forma en cmo las teoras de
sta se describen. No es objetivo de esta disertacin evaluar o estudiar en su totalidad la
teora de la relatividad; sin embargo, algunos conceptos de sta sern necesarios para
derivar la relacin, en los lmites adecuados, que deseamos encontrar entre la gravitacin,
debida a una distribucin esfrica de masa-energa, en la relatividad general y la gravitacin
para estas condiciones pero de la teora Newtoniana.
Un primer concepto con el cual debemos de caminar hacia nuestros objetivos es el
espacio-tiempo. Durante siglos las teoras Fsicas se describieron en un espacio Euclideo de
tres dimensiones espaciales y una dimensin temporal totalmente independiente de estas.
Posteriormente, y como es bien sabido, una relacin entre el tiempo y las dimensiones
Abreu.
25

espaciales fue encontrada gracias a la teora de la relatividad especial y los experimentos
que derivaron de sta. El tiempo usualmente se haba visto como una constante que
evolucionaba a una tasa fija; sin embargo, dada la teora de la relatividad especial se
encontr que la tasa a la cual el tiempo pasa depende de la velocidad del objeto sobre el
cual se mide el tiempo as como de la intensidad de los campos gravitacionales, los cuales
pueden hacer que el tiempo transcurra ms lento. Experimentos a altas velocidades han
demostrado que el tiempo se dilata, o pasa ms lento, cuando nos encontramos viajando a
velocidades de este tipo de magnitud. Ahora bien, estos efectos sobre el tiempo demuestran
que ste no es una constante y que no evoluciona a una tasa fija y que adems depende de
variables definidas sobre dimensiones espaciales, es decir, lo que la teora de la relatividad
termin definiendo fue que el espacio y el tiempo se encuentran ntimamente relacionados
en un nico sistema de coordenadas, tpicamente, de cuatro dimensiones. Por lo tanto ahora
las teoras Fsicas sern descritas en un espacio-tiempo. Es decir, los eventos de todo el
Universo sucedern ahora en una entidad geomtrica conocida como espacio-tiempo en el
cual hemos unificado la localizacin geomtrica en el tiempo y en el espacio como
consecuencia de que el cambio entre componentes espaciales y temporales es relativo de
acuerdo al estado de movimiento del observador.
Por lo tanto ya sabemos ahora sobre qu escenario sucedern los diferentes eventos
que sern descritos bajo las diferentes teoras fsicas, ahora necesitamos entender qu
caractersticas posee este espacio-tiempo. Para nuestros fines slo ser necesario entender o
describir una de dichas caractersticas y esa es que el espacio-tiempo se puede curvar. La
teora de la relatividad general establece que la presencia de materia-energa en el espacio-
tiempo tiene el efecto de distorsionar a ste o, de manera ms especfica, de curvarlo. Esta
curvatura puede ser descrita por un tensor caracterstico de la geometra especfica del
especio-tiempo en el que nos encontramos que es llamado el tensor de Riemmann. En el
caso, por ejemplo, del espacio de la relatividad especial, el cual como hemos visto es el
espacio de Minkowski, sabemos que cumple con una condicin de no curvatura la cual
puede ser expresada como el hecho de que el espacio-tiempo de Minkowski es un espacio-
tiempo plano. Es importante que recordemos que las leyes de la mecnica clsica nos
indican que en un espacio plano mientras no se ejerza fuerza externa alguna sobre un objeto
Abreu.
26

ste permanecer en estado de reposo o en movimiento a velocidad constante a travs de un
camino recto.
Ahora bien, hemos escuchado que la relatividad general asocia a una presencia de
materia-energa una curvatura del espacio-tiempo; sin embargo, la teora de la Gravitacin
Universal de Newton ha asociado durante siglos a una presencia de masa una fuerza
llamada gravitacin que esta masa ejerce sobre cualquier partcula de prueba que entre a su
campo gravitatorio. Es decir, segn la teora de la gravitacin de Newton un objeto masivo,
de forma esfrica ubicado en algn punto, ejercer una fuerza sobre cualquier otro objeto
que se encuentre cercano a l. Si ubicamos una partcula de prueba, que se mueve a
velocidad constante, en la vecindad del objeto veremos que la trayectoria de sta ser
alejada del camino recto que segua y tomar ahora, en lugar de ello, un camino o
trayectoria curvada hacia la masa que produce el campo y con una aceleracin producto de
la atraccin que siente debido al objeto masivo.
La teora de la relatividad toma un concepto distinto al respecto de la gravitacin.
La relatividad general convierte a la gravitacin en una teora geomtrica de la gravitacin.
De acuerdo a la teora de Einstein la situacin recin descrita por la teora Newtoniana tiene
una explicacin distinta: la distribucin de masa que ubicamos en un lugar del espacio-
tiempo va a generar una distorsin o curvatura del mismo. Por lo tanto, un espacio-tiempo
vaco es plano, es decir, luce exactamente igual que el espacio-tiempo de la relatividad
especial, en cambio el espacio-tiempo con una distribucin de masa-energa luce curvado.
Ahora, de la misma manera como en la superficie de un esfera no encontramos lneas
rectas, as tambin en un espacio-tiempo curveado dejan de existir la lneas rectas, lo ms
cercano que vamos a estar de una lnea recta es encontrndonos sobre una geodsica, que es
la curva en nuestro espacio-tiempo especfico que ms se acerca a una trayectoria recta o
derecha, y es por eso que la geodsica es la curva de menor longitud que une dos puntos
en un espacio-tiempo (hablando en trminos geomtricos de la relatividad general).
Entonces, segn la teora de la relatividad general de Einstein, una partcula de prueba en
movimiento inercial en la vecindad del objeto masivo de nuestro ejemplo, seguir, como su
trayectoria, una geodsica. Es decir, segn Einstein, la gravitacin no aleja a las partculas
en movimiento inercial de su trayectoria en lnea recta, simplemente, redefine lo que quiere
decir moverse a travs de la lnea ms recta posible.
Abreu.
27

Por lo tanto ahora bajo la gravitacin de la relatividad general se genera una especie
de danza csmica en donde la materia y el espacio-tiempo interactan indefinidamente, ya
que una distribucin de masa-energa distorsiona de cierta manera al espacio-tiempo y la
distorsin de ste define los caminos especficos bajo los cuales la materia se va a mover,
despus el movimiento de la materia cambia la distribucin de la misma a travs del
espacio-tiempo haciendo que ste se distorsione de manera diferente haciendo que la
materia se mueva ahora de manera distinta y as y as continua esta ntima relacin entre el
espacio-tiempo y la distribucin de masa en l.
Ahora bien, la teora de la gravitacin de la relatividad general es una teora de la
gravitacin extendida, que posee capacidad de describir fenmenos gravitatorios de
mayores magnitudes de los que la gravitacin Newtoniana describe. La teora de la
gravitacin de Newton se bas en la observacin de fenmenos gravitatorios en la escala
planetaria o de nuestro sistema solar, en donde, adems de que las situaciones a altas
velocidades y las distribuciones de masas distintas a la esfrica jams fueron abordadas, los
campos gravitatorios, en comparacin con otros que a travs del universo podemos
encontrar como los de los agujeros negros, son dbiles. Sin embargo, para la escala en
donde la teora Newtoniana se enfoc logr describir de manera satisfactoria el fenmeno
gravitatorio y sus consecuencias, por lo tanto resulta lgico suponer que una teora
generalizada de la gravitacin, como lo es la de Einstein, debe, en los lmites Newtonianos
(bajas velocidades, campos dbiles), retomar o regenerar a la afamada Teora de la
Gravitacin Universal del clebre Fsico-Matemtico Ingls Sir Isaac Newton. Este ltimo
punto es precisamente el objetivo que hemos descrito desde un principio que posee esta
tesis.


2.3.- Mtrica de Schwarzschild y Caracterizacin.

Hemos ya analizado la raz de dnde surge el objetivo de esta tesis. Hemos asimismo, en el
Captulo 1, generado las herramientas matemticas y geomtricas, a travs de la mecnica
clsica, que nos permitirn describir, en ciertos aspectos y lmites, la gravitacin segn la
teora de la relatividad general. Es decir, ya contamos con herramientas, como la mtrica, el
tensor mtrico y los Smbolos de Christoffel, las cuales nos permiten llegar a la descripcin
Abreu.
28

y ecuacin de las geodsicas de los espacios-tiempos en los que nos encontramos. Por lo
tanto si nos encontramos ahora sumergidos en un espacio-tiempo curvado segn el efecto
de una distribucin de masa esfrica entonces si conocemos su mtrica podemos llegar a su
descripcin gravitatoria relativista y en los lmites apropiados, como mencionamos al final
de la seccin anterior, podemos intentar comprobar nuestra hiptesis al respecto de la
recuperacin de la gravitacin Newtoniana.
No buscaremos la deduccin o surgimiento analtico preciso, segn los lmites y
alcances de esta disertacin, de la mtrica que describe a un espacio-tiempo curvo
consecuencia de una distribucin de masa esfrica, sino que teniendo esta solucin de
mtrica la caracterizaremos, encontraremos sus geodsicas y buscaremos el lmite de las
bajas velocidades y los campos dbiles.
La mtrica que describe el espacio-tiempo curvado debido a una distribucin
esfrica de masa es la mtrica de Schwarzschild, en la cual tenemos que dos puntos vecinos
se encuentran a una distancia definida de la siguiente manera:

1
2 2 2 2 2 2 2 2 2
2 2
2GM 2GM
ds 1 dr r d r sin ( )d c 1 dt
c r c r

| | | |
= u u | +
| |
\ . \ .
. (2.46)

en donde si tomamos a m = GM, sabiendo que M es la masa del objeto que curva el
espacio, entonces la ecuacin (2.42) se convertir en:
1
2 2 2 2 2 2 2 2 2
2 2
2m 2m
ds 1 dr r d r sin ( )d c 1 dt
c r c r

| | | |
= u u | +
| |
\ . \ .
. (2.47)

de donde se observa claramente cules son las coordenadas generalizadas con las que se
trabaja:

0
q ct = . (2.48)
1
q r = . (2.49)
2
q = u. (2.50)
3
q = |. (2.51)

As mismo dada (2.47) y haciendo uso de (1.52) podemos obtener el tensor mtrico, g

, de
dicho espacio-tiempo, el cual ser:


Abreu.
29









.
(2.52)

Una vez dado el tensor mtrico podemos entonces, haciendo uso de (1.49) y de la
dinmica de programacin explicada en el Apndice 2, calcular los smbolos de Christoffel
correspondientes a dicha mtrica y as es como obtenemos que aquellos que no son nulos
valen lo siguiente:

0
00
2 2
2
m
2m
c 1 r
c r
I =
| |

|
\ .
. (2.53)

0
11 2
2m
1 r
c r
| |
I = +
|
\ .
. (2.54)

0 2
22 2
2m
1 rsin ( )
c r
| |
I = + u
|
\ .
. (2.55)

2
0
33 2
2m
m 1
c r
r
| |
+
|
\ .
I = . (2.56)

1 1
10 01
1
r
I = I = . (2.57)

1
22
cos( )sin( ) I = u u . (2.58)

2 2
20 02
1
r
I = I = . (2.59)

2 2
12 21
cot I = I = u. (2.60)
1
2
2
2 2
2
2
2
1 0 0 0
0 0 0
0 0 0
2
0 0 0 1
m
c r
r
r sen
m
c
c r
u

| |
| |

|
|
\ .
|
|

|
|
| |
|

|
|
\ .
\ .
Abreu.
30


3 3
30 03
2 2
2
m
2m
c 1 r
c r
I = I =
| |

|
\ .
. (2.61)

Dados los smbolos de Christoffel continuamos con la misma dinmica de
caracterizacin que utilizamos para la mtrica FRW y entonces procedemos a calcular la
expresin de las ecuaciones de geodsicas para la mtrica de Schwarzschild haciendo uso
de (1.51) y para un sistema de unidades donde c = 1, obteniendo finalmente las siguientes
ecuaciones:
t

m
r
2
c
2
r
2m
c
2

+1 +
2m
c
2
r
r r r +1 +
2m
c
2
r
r Sin
2

m1+
2m
c
2
r

r
2

= 0.
(2.62)
r +
2
r
t

r cossin

= 0. (2.63)

+
2
r
t

2cot r

= 0. (2.64)

+
2m
r
2
c
2
r
2m
c
2

= 0. (2.65)

Habiendo entonces conocido los conceptos bsicos de la relatividad general y de la
gravitacin que esta teora describe as como dos de las principales y ms bsicas mtricas
de esta teora gravitatoria, entre ellas la de nuestra mayor importancia: la mtrica de
Schawarzschild, pasaremos ahora al Captulo 3 en donde llevaremos acabo los procesos de
simplificacin, en el lmite Newtoniano, de la teora gravitatoria basada en geodsicas a la
teora de gravitacin como fuerza.