Apéndice Vi. La Teoría General de La Relatividad Apéndice Vi A. La Construcción Del Tensor Métrico!

631
APNDICE VI. LA TEORA GENERAL DE LA RELATIVIDAD

APNDICE VI A. LA CONSTRUCCIN DEL TENSOR MTRICO

El la elaboracion de la teoria general sobre la independencia de las leyes Iisicas con respecto a
los sistemas de coordenadas y la consecuente invarianza de estas leyes cuando un sistema de
coordenadas se transIorma en otro, "# $"%&'( )*$(+,' juega un papel importante. Este tensor
Iorma parte del tensor de Einstein
1733
. En esta seccion quiero demostrar como se construye el
tensor metrico a partir de dos ecuaciones, a saber, "# $"%&'( -" $(.%&/'().,+0% -" -+/"("%,+.#"&
(que se usa en la transIormacion de sistemas de coordenadas) y la ecuacion de #. +%1.(+.%2. -"
#. #'%3+$4- -" .(,'. Primero se construyen estas dos ecuaciones y despues el tensor metrico, a
partir de ellas.

I. Coordenadas cartesianas y esfricas

Empezamos con un ejemplo relativamente sencillo de la transIormacion de un sistema de
coordenadas cartesianas en un sistema de coordenadas esIericas.

Grfica. Coordenadas cartesianas y esfricas de un punto en la superficie de una esfera

Las coordenadas cartesianas del punto son . Ademas,
; . Los angulos son: y . Las distancias
estan dadas por: (a) ; (b) ; (c)
; (d) .

1733
Ecuacion 286, Apendice VI B

632
De (a) y (d) obtenemos: (1) ; de (b) y (d) obtenemos: (2) ;
y de (c) obtenemos: (3) . El punto en coordenadas esIericas es:
.

Por lo tanto el vector en !""#$%&'$'( !'#*%(+'&'( es:
(4A)
y en !""#$%&'$'( %(,-#+!'(:
(4B)

II.A. Diferenciales

Derivando el vector (4) y deduciendo el diIerencial de la derivada, obtenemos, para
coordenadas cartesianas:
(5)
(5 B)

y para coordenadas esIericas:
(6)
(6 B)

II.B. Transformacin de los diferenciales de diferentes sistemas de coordenadas
Los dos diIerenciales son iguales en cualquier sistema de coordenadas: . Por lo
tanto, *#'&(,"#.'&$" /'( !""#$%&'$'( !'#*%(+'&'( %& %(,-#+!'(, obtenemos:
(7)
(8)
(9)

Resumiendo las ecuaciones (7), (8) y (9), obtenemos %/ *%&("# $% *#'&(,"#.'!+0& $%
$+,%#%&!+'/%( que es un tensor de primer rango y se puede escribir de las siguientes maneras:
(10A) ;
la ecuacion (10 A) tambien se escribe sin sigma:

633
(10 B) ;
y tambien de la siguiente manera:
(10C) .
(NB ; ; ; )

III. El coeficiente mtrico

Por la igualdad de (4A) y (4B) obtenemos el vector, que se puede expresar de diIerentes
maneras:

(11 A)

de modo que la magnitud es:
(11 B) (
nota

1734
)

Recordemos el tensor de transIormacion (ecuacion 10):
(10)

Podemos descomponer el tensor (10) en sus tres componentes y aplicar la igualdad
representada por la ecuacion (11):

(12)

(13)

(14)

Llevamos (12), (13), y (14) al cuadrado:

1734
George ArIken & Hans Weber, Mathematical Methods for Phvsicists, 4th edition (1996): 118

634
(15)

(16)

La ecuacion (16) nos da el cuadrado del diIerencial en el caso de las coordenadas esIericas. El
termino antes del diIerencial cuadrado se llama !"#$%!%#&'# )*'+%!" .

Por lo tanto:
(17)

De (16) y (17), obtenemos:
(18)

IV. Los vectores tangentes y el factor de escala

Recordemos (4B)

Los tres ,#!'"+#- '.&/#&'#- en cada punto de la esIera son:
(19)
(20)
(21)

Estos vectores tangentes permiten calcular #0 $.!'"+ 1# #-!.0. , que es 0. )./&%'21 1#0
,#!'"+ '.&/#&'#.
(22) ( )
(23)
(24)
(25)

Recordemos el !"#$%!%#&'# )*'+%!" :

635
(17)

En el caso de coordenadas ortogonales (cartesianas, esIericas, cilindricas u otras), en donde
vemos, que el Iactor de escala es la raiz del coeIiciente metrico:
(26)

Es Iacil corroborar que los vectores tangentes (19 a 21) son ortogonales, dado que el producto
escalar de estos vectores es cero:
(27)

(28)

(29)

V. Los vectores tangentes unitarios

Los !"#$%&"' $)*+"*$"' ,*-$)&-%' se obtienen al dividir los vectores tangentes entre su
magnitud, es decir:
(30) ( )

De (30) se corrobora que el vector tangente equivale el producto del vector tangente unitario y
la magnitud del vector tangente:
(31)

Por lo tanto:
(32 A)

(32 B)

(33 A)

636

(33 B)

(34 A)

(34 B)

Es Iacil corroborar que los vectores tangentes unitarios son ortogonales (ecuaciones 32, 33 y
34), analogamente a los vectores tangentes:

(35)
(36)
(37)

VI. La invarianza de la longitud de arco

Supongamos que tenemos una linea curvada en el espacio. Llamamos a la magnitud del
arco, es decir, la distancia entre dos puntos en esta curva. El !"!#!$%& (! ")$!* es el
cuadrado del diIerencial de esta distancia. Recordemos las ecuaciones (5) y (6):
(38)

DeIinimos el cuadrado del diIerencial de la longitud de arco:
(39)

Combinando (38) y (39), obtenemos:
(40)

637
(41)

Dado que la longitud de arco no depende del sistema de coordenadas, es invariante en
cualquier sistema de coordenadas:
(42)

(43)

VII. El tensor mtrico y la transformacin de un sistema de coordenadas en otro

Queremos construir !" $!%&'( )*$(+,' que se representa por una ecuacion tensorial de segundo
rango. Esta ecuacion sera valido parar la transformacion de cualquier sistema de coordenadas
en cualquier otro sistema de coordenadas (sean sistemas de 9 componentes, sean de 16
componentes, sean de componentes).

Se construye este tensor metrico a partir de la invarianza de la longitud de arco (apartado V) y
las leyes de la transIormacion de diIerenciales (apartado II).

Reescribimos la ecuacion (43) como sigue:
(44)

Recordemos tambien el tensor de la transIormacion de diIerenciales (ecuacion 10):
(10) &

Sustituimos la (10) en la (44):
(45)

Sustituimos los indices mudos & en el termino al lado derecho por &
respectivamente, para obtener:
(46)
(47)

Dado que , de (47) se sigue que:
(48)

638
(49)

En la ecuacion (49) sustituimos y sin barra por y con barra, y vice-versa, y
sustituimos los indices y por y , y y por y :
(50)

En los apartados IV y V, corroboramos que las coordenadas esIericas son ortogonales. Para la
transIormacion de diIerentes sistemas de coordenadas que sean ortogonales, el tensor metrico se
simpliIica, dado que . A continuacion reproduzco, a modo de ejemplo, las matrices
de los coeIicientes metricos de los sistemas de coordenadas cartesiano y esIerico:
(51)

(52)

Por lo tanto, "#$# %&%'()#% *( +,,$*(-#*#% ,$',.,-#/(%0
1234
el tensor metrico representado por
la ecuacion (50) se reduce a la (53):
(53)

1735
Para nueve casos particulares de sistemas de coordenadas ortogonales, vease Murray Spiegel, Analisis
Jectorial (2005): 137-141

639
APNDICE VI B. LA CONSTRUCCIN DE LA GEODSICA Y EL TENSOR DE
EINSTEIN
por Juan Auping Birch con la asesora de Alfredo Sandoval Villalbazo

En este apendice presento la Iorma matematica de la teoria de la relatividad general de
Einstein, en diez secciones:

A. LOS SMBOLOS DE CHRISTOFFEL
A1. Observaciones previas
A2. Simbolo de ChristoIIel, primera especie
A3. Simbolo de ChristoIIel, segunda especie, derivada de la primera especie
A4. La derivada covariante`
A4.1. La derivada covariante de un tensor covariante:
A4.2. La derivada covariante de un tensor contravariante:
A5. Simbolos de ChristoIIel en ecuaciones con tensores de rango superior
B. LOS TENSORES DE RIEMANN Y DE RICCI
B1. Derivacion del tensor de Riemann
B2. El tensor de Ricci
B3. El escalar de curvatura
B4. El tensor de Riemann y la curvatura del espacio
B5. Identidades de Bianchi
C. EL LMITE NEWTONIANO DE LA ECUACIN DE LAS GEODESICAS
C1. La geodsica del espacio curvo
C2. De la aproximacion de campo debil a la gravitacion Newtoniana.
C3. Aproximacion de campo gravitacional debil
C4. La gravitacion Newtoniana
C5. De la metrica a la teoria Newtoniana
D. LA GRAVITACIN NEWTONIANA EXPRESADA COMO TEORA DE CAMPO
D1. Campo gravitacional newtoniano para una sola particula
D2. El campo gravitacional para una distribucion de masa arbitraria
E. EL FLUIDO PERFECTO
F. EL TENSOR DE EINSTEIN
F1. Ecuacion del campo debil
F2. Ecuacion de campo generalizado
G. LA MTRICA FRIEDMANN-ROBERTSON-WALKER
H. ALGUNAS CONSECUENCIAS DEL CAMBIO DE SIGNO EN LA MTRICA
I. LA SOLUCION DE SCHWARZSCHILD A LAS ECUACIONES DE EINSTEIN
K. EL MODELO LEMATRE CON Y CONSTANTE COSMOLGICA

A. LOS SMBOLOS DE CHRISTOFFEL

A 1. Observaciones previas

Primera observacin: los ndices
El calculo tensorial, y en particular el tema de los simbolos de ChristoIIel implican el manejo
de muchos indices, como dijo un amigo mio, 'el calculo tensorial es simplemente una compleja

640
danza de indices, razon por la cual es conveniente primero Iormular algunas reglas que han de
respetarse para no cometer errores:

a) Cada indice libre debe ocurrir, una sola ve:, en cada uno de los terminos de una
ecuacion, y siempre en la misma posicion (covariante o contravariante).
b) Cuando un indice mudo ocurre en un termino de la ecuacion, asociado a diIerentes
Iactores del termino, ocurre dos veces, ni mas, ni menos. La presencia de tres indices
repetidos, asociados a tres diferentes factores del mismo termino, lleva a una
contradiccion, como a continuacion comprobare, ademas de ser inconsistente con la
convencion de indices mudos que se adopta comunmente. Supongamos la siguiente
expresion tensorial: . Dado que es un escalar, se sigue que:
. Ahora bien, el termino del lado izquierdo tiene un indice libre y un
indice mudo asociado a los Iactores del termino y, por lo tanto, es un vector (un tensor de
primer rango), pero el termino del lado derecho tiene dos indices libres y es, por lo tanto,
un tensor de segundo rango, lo que implica contradiccion.
c) Esto no quita que si pueden existir tres indices mudos asociados a un mismo objeto, por
ejemplo, .
d) En caso de que el indice no implica una sumatoria, si puede haber tres indices mudos
asociados a tres Iactores de un mismo termino, por ejemplo .
e) Cuando se sustituve un indice mudo en un termino por otro, no necesariamente se hace
la misma sustitucion en los demas terminos de la ecuacion.

Segunda observacin: los tensores:
I) Los productos algebraicos de tensores son conmutativos, es decir,
g) En toda ecuacion tensorial se pueden cambiar las variables con barra por las variables sin
barra y vice-versa y sigue siendo valida la ecuacion.
h) Cuando pensamos en un tensor, deben constatarse tres cosas importantes:
1.- En que espacio estamos. La convencion es usar indices latinos en espacios de 2 o 3
dimensiones e indices griegos en un espacio-tiempo de 4 dimensiones.
2.- El rango del tensor. El rango depende del numero de indices libres: un tensor de cero
indices es un escalar; un tensor de un solo indice libre es un vector; un tensor de tres
indices libres es un tensor de rango tres u orden tres, etcetera.
3.- Debe indicarse si es un tensor arbitrario, simetrico o anti-simetrico. El arbitrario es la
suma de un simetrico y un anti-simetrico. Por ejemplo:

4 dim.16 comp. 3 dim.9 comp. 4 dim. 16 comp.
Arbitrario / 9 indep. 16 indep.
Simetrico 10 indep.6 dep. 6 indep.3 dep 10 indep. 6 dep.
Anti-simetrico / 3 indep.6 dep. 6 indep. 10 dep.

Tercera observacin: el tensor metrico es simetrico, es decir . Prueba:
Recordemos que: (son conmutativas), por lo tanto:
(1)

641
(2) &
De (1) y (2) se obtiene:
(3)

(4)
(5)

Cuarta observacin:
En el Apendice anterior derive el tensor metrico para coordenadas cartesianas y esIericas y el
!"#$%& ()!&*+% ,#*-"&$./ (ecuacion 24 del Apendice VI A). Retomo aqui la parte del tensor
metrico universal. La derivacion de este tensor esta basado en dos supuestos (a y b):

a) la invarianza de la longitud de arco:
(6)

b) las leyes de transIormacion de los diIerenciales:
(7) &

De (6) & (7) obtenemos:
(8)

Uno debe tener cuidado de no multiplicar ambos terminos de (8) por un termino de la Iorma
, porque entonces uno obtendria una expresion en donde los indices mudos ocurren tres
veces ( & en el lado izquierdo; & en el lado derecho). Para evitar esta operacion
irregular, mefor se desarrolle la prueba como sigue, a partir de la misma ecuacion (8).
Sustituimos los indices mudos & en el termino al lado derecho por &
respectivamente, para obtener:
(9)
(10)

Dado que , se sigue que:
(11)

642
En la ecuacion (11) sustituimos y sin barra por con barra, y vice-versa, y
sustituimos los indices y por y , y y por y , ara obtener !" $!%&'( )*$(+,'
-%+.!(&/":
(12) Q.E.D.

A2. Smbolo de Christoffel, primera especie

El simbolo de ChristoIIel de primera especie se deIine como sigue:
(13)

Notese que los dos primeros indices libres en son simetricos, es decir, . Si uno
hace la prueba y toma en cuenta que el tensor metrico es simetrico ( ), comprobara que
ambos simbolos de ChristoIIel llevan a la misma deIinicion (13). DeIinimos la siguiente ley de
transIormacion:
(14)

Recuerda:
(12)

De (12) se obtiene:
(15)

(16)

Sacando las derivadas parciales de los tres terminos, y tomando en cuenta que por la regla de la
cadena, obtenemos:

(17)
(18)

643
(19)

Ahora bien, con una sustitucion de indices mudos ( & ) en el segundo termino del lado
derecho de (17), este y el primer termino del lado derecho de (19) se anulan; y, con una
sustitucion semejante en el primer termino del lado derecho de (18), este y el segundo termino
del lado derecho de (19) tambien se anulan. Por lo tanto, si sustituimos (17), (18) y (19) en (16),
obtenemos:
(20)

Rotamos los indices mudos en el segundo y tercer termino del lado derecho, para
obtener:
(21)

Ahora deIinimos un nuevo simbolo de ChristoIIel, a saber:
(22)

Combinando (21) y (22), podemos deIinir (con barra) en terminos de (sin barra):
(23)

Es conveniente comentar algunas caracteristicas de este objeto.
a) es un pseudo-tensor, porque si bien es cierto que al lado derecho de (23) aparece
, como es propio de una ecuacion tensorial, tambien aparece
, lo que no es propio de una ecuacion tensorial.

b) es un pseudo-tensor !"#$%&"'(, porque , como se comprueba a continuacion:
(14)

Analogamente:

644
(14B)

Ahora bien, dado que el tensor metrico es simetrico, como se comprobo arriba en la tercera
observacion ( , etcetera), consta que .
c) se puede representar por una matriz cubica con 64 componentes, de los cuales,
por ser un pseudo-tensor simetrico, 24 son independientes

A3. Smbolo de Christoffel, segunda especie, derivada de la primera especie

Recuerda:
(23)

y tambien:
(24)

El simbolo de ChristoIIel de segunda especie se deIine como sigue:
(25A)

El simbolo de ChristoIIel de segunda especie, es simetrica, al igual que el de primera especie
(vease arriba), es decir, . Analogamente, cambiando solamente los indices,
obtenemos
1736
(25B)

Este simbolo de ChristoIIel tiene la siguientes caracteristicas: a) espacio-tiempo de cuatro
dimensiones; b) tres indices, cada uno de los cuales corre de 1 a 4; c) los dos indices de abajo son
simetricos; d) hay 64 componentes, que se pueden representar en una matriz cubica, de los cuales
24 son independientes y 40 dependientes.

Dada la regla (g) arriba dada, podemos escribir la (25A) con barra:
(25C)

y tambien:
(25D)

1736
Hans Stephani, General Relativitv, 2nd ed.(1990): 5, ecuacion 1.16

645
Sustituyendo (23) & (24) en (25C), obtenemos:
(26)

(27)

(28)

En el primer termino del lado derecho cambiamos por
(29)

(30) Q.E.D.

A4. La derivada covariante

A4.1. La derivada covariante de un tensor covariante:
(31) en donde son libres y es mudo

Recuerda el objeto (13) y la ley de transIormacion (30):
(13) &
(30)
Se multiplican ambos lados de la ecuacion (30) con
(32)
(33)
(34)
(35)

Recordar que un tensor covariante se deIine como sigue:

646
(36)

(37)

Aplicamos en el ultimo termino la regla de la cadena y sustituimos en el ultimo termino
(que es mudo) por y en el primer termino del lado derecho sustituimos por ;
(38)

(39)

En el lado izquierdo de esta ecuacion tenemos terminos con barra y en el lado derecho
terminos sin barra. Por el Iactor en el lado derecho vemos que se trata de un tensor.
Los terminos con en ambos lados son los factores de correccion que toman en cuenta la
curvatura del espacio. Si estos Iactores Iueran cero, como en el caso del espacio plano, la
ecuacion seria la siguiente:
(40)

La ecuacion (39) se escribe tambien de la siguiente manera:
(41)

Ahora bien, por deIinicion:

(42A) (con o sin barra)

Combinando (41) y (42A) obtenemos:
(42B)

Estas son convenciones que a veces, al principiante, conIunden mas de lo que le ayudan, pero
hemos de reconocer estos terminos cuando los encontramos, aunque podemos abstenernos de
usarlos.

647

A4.2. La derivada covariante de un tensor contravariante:
Recordar que un tensor contravariante se deIine como sigue:
(43)

Aplicamos la regla de la cadena a los dos ultimos terminos de la ecuacion (43):
(44)

Recordemos:
(35)

Analogamente (como en espejo):
(45)
(46)

En el tercer termino observamos que y luego sustituimos por y
recordamos, ademas, y en el cuarto termino sustituimos por :
(47)

(48)
(49)

DeIinimos la derivada covariante de un tensor contravariante como sigue:

Combinando (49) y (50A) obtenemos la ley de transIormacion de la derivada covariante de un
tensor contravariante :
(50B)

A 5. Smbolos de Christoffel en ecuaciones con tensores de rango superior

648

Para deducir las ecuaciones de la relatividad general, se requieren tensores de rango superior,
razon por la cual a continuacion analizaremos estos objetos. Independientemente del numero de
indices (el rango) del tensor, el simbolo de ChristoIIel siempre tiene tres indices, de los cuales
los primeros dos son simetricos.

Recordemos:

Comentemos estas dos deIiniciones:
a) Los indices libres y siguen en el mismo lugar.
b) y son cuadrivectores, pero estos cuadrivectores en el Iactor de correccion
cambian su indice libre por un indice mudo ( y ).
c) La posicion del indice mudo es la misma que del indice libre ( y .
d) Por cada indice libre de un tensor existe un Iactor de correccion (con )

Veamos algunos ejemplos:

(51) covariante segundo orden:
(52) contravariante segundo orden:
(53) mixto segundo orden:
(54) mixto tercer orden:

La derivada parcial de un simbolo de ChristoIIel, con base en (25) es la (55):
(25)
(55)

Este objeto (55) se usa en el tensor de Riemann-ChristoIIel, en las ecuaciones de la relatividad
general.

En materia de tensores de rango superior son importantes dos teoremas:

I.- El teorema del cociente. Si se multiplica un objeto desconocido por un tensor arbitrario (de
cualquier rango) y el resultado es otro tensor , entonces se sigue que tambien el objeto es un
tensor. Ejemplos: y son tensores arbitrarios.
(56)

649
(57)

II.- La derivada covariante de cualquier tensor metrico (que, por deIinicion es del rango dos),
se comporta como la derivada de una constante y, por lo tanto, es cero. Ejemplo:
(58)

Prueba:
(59)

Recordemos:
(22)

Ahora bien, con base en (22) obtenemos:
(60)
(61)

De (60) y (61) obtenemos:
(62)

(63) Q.E.D.

De esta verdad ( ) se deduce una conclusion importante, necesaria para las ecuaciones
de la relatividad general, a saber, que se pueden bajar y subir indices por medio del tensor
metrico, por ejemplo:

(64)

B. LOS TENSORES DE RIEMANN Y DE RICCI

B 1. Derivacin del tensor de Riemann

Al considerarse las segundas derivadas covariantes cruzadas de un tensor, se obtiene la
expresion
1737
en donde se llama "# $"%&'( )" *+",-%%. A continuacion se construye

1737

650
explicitamente este objeto y se explican algunas de sus propiedades Iundamentales. Este tensor
es de suma importancia en la teoria de la relatividad general.

Recordemos:
(35) (cambiando barra y no-barra)
(65)

Ahora subimos la ecuacion a un orden superior:
(66)
(67)

Aplicando (65) en el segundo, cuarto y quinto termino de (67), obtenemos (recordemos que
son indices libres y son indices mudos):
(68)

Agrupamos los terminos y sustituimos indices mudos por otros. En el primer termino del
primer grupo se sustituye por :
(69)

En el segundo termino del segundo grupo se sustituyen por , por y por , y en el
tercer termino se sustituyen por , por y por :
(70)

}

651

En el tercer grupo sustituimos en el segundo termino por , por , y por y en el
tercer termino por :
(71)

Sumando (69), (70), (71), obtenemos:
(72)

Analogamente se deduce que:
(73)

Dado que (72) y (73) son derivadas ordinarias cruzadas, y dado que derivadas Iunciones
cruzadas continuas son iguales, se sigue que (72) menos (73) equivale cero. Dado que los
terminos entre parentesis del ultimo termino de (72) equivalen a los terminos entre parentesis del
ultimo termino de (73), e intercambiando los indices mudos y en el segundo termino del
lado derecho de (73) el resultado de esta resta es el siguiente:
(74) |(72)-(73)|

Ahora bien, deIinamos dos !"#$%&"$ (" )*"+,##, 'para no escribir tanto
1738
:
(75)
(76)

1738
Hans Stephani, General Relativitv, 2nd ed.(1990): XIV y 53, ecuacion 6.3 (sustituyendo en (73) el indice mudo
por )

652

Por lo tanto, sustituyendo (75) y (76) en (74), obtenemos:
(77)

Multiplicamos ambos terminos con :
(78)

Dado que:
(79)

(80)

Ahora bien, si comparamos (75) y (80) (sustituyendo en (75) por ), observamos que
ambas ecuaciones deIinen , !" $%&$'()" *(" +,-. "! (& /"&!%0 1" 02&3% $(2/0% ) /4"&" 5-6
$%78%&"&/"!9 :" 8("1" 120 "& ;%072 74</2 % "& ;%072 $%=2042&/">
(81)

En tensor de Riemann tiene algunas propiedades:
(82) conmutacion simetrica: (36 componentes independientes)
(83) conmutacion anti-simetrica: (20 comp. indep.)
(84) conmutacion ciclica:

B 2. El tensor de Ricci
Es posible establecer identidades para la metrica con base en las propiedades del tensor de
Riemann y mas simplemente, con "' /"&!%0 1"04=21% 1" '2 $%&/02$$4?& 1"' /"&!%0 1" @4"72&&
*(" !" ''272 /"&!%0 1" @4$$4. Por lo tanto, el /"&!%0 1" @4$$4 se deriva del tensor de Riemann,
contrayendo indices.
1739
Solamente existe una contraccion independiente, que tiene un valor no
cero, que llamamos el tensor de Ricci:
(75)
(85 A)

De (85 A) obtenemos "' /"&!%0 1" @4$$4 (la 87)

1739
Hans Stephani, General Relativitv, 2nd ed.(1990): XIV y 57, ecuacion 6.21

653
(85B)
(86)
(87) si es cierto que

B 3. El escalar de curvatura
Para el establecimiento de las ecuaciones de Einstein, se utiliza !" $%&'("$$)*& +,! ',&-%(
.)/'% +, 0)$$),
1740
. El ,-$"!"( +, $1(2"'1(" +, 0)$$) se deIine como en (88) y tiene algunas
propiedades que encontramos en la ecuacion (89):
(88)
(89)

En la (90) el primer y tercer Iactor son iguales, de modo que por (87) se sigue que:
(90)

B 4. El tensor de Riemann y la curvatura del espacio
DeIinimos la derivada segunda contravariante del tensor como :
(91)

Recordemos:
(92)
(93)
(94)

Sustituimos (92), (93) y (94) en (91), para obtener (95) y analogamente, (96):
(95)
(96)

El primer termino del lado derecho de (95) es igual al primer termino del lado derecho de (96);
tambien el tercer termino del lado derecho de (95) es igual al cuarto termino del lado derecho de
(96), y asi sucesivamente el cuarto termino (95) y el tercero (96), el sexto (95) y el sexto (96), y
el septimo (95) y el septimo (96). Por lo tanto (95) menos (96) nos da:
(97)

Ahora bien, recordemos
1741
:

1740
1741
Hans Stephani, General Relativitv, 2nd ed.(1990): XIV

654
(98)

Sustituimos (98) en (97), para obtener:
(99)

Si , estamos en el espacio de Minkowski (sin campo gravitacional), con el
simbolo de ChristoIIel igual a cero (coordenadas cartesianas) o diIerente de cero (coordenadas
esIericas o cilindricas). Si , estamos en un espacio curvado gravitacionalmente,
con el simbolo de ChristoIIel diIerente de cero.

B5. Identidades de Bianchi
Partimos de la siguiente identidad:
(100)

Multiplicamos los terminos con :
(101)

Hacemos un interludio para comprobar que :
(102)
(103)

De los siete terminos del lado derecho, el primero anula la suma del segundo y quinto; el
tercero anula el septimo; y el cuarto, el sexto. Por lo tanto:
(104) ;

Analogamente se puede demostrar que:
(105)

Ahora bien:
(106)
(107)
(108)

Los terminos (106), (107) y (108) son los de la ecuacion (101) y, por lo tanto:

655
(109)

Multiplicamos todos los terminos con :
(110)
(111)
(112)
(113)
(114)
(115)
(116)

!"#$" &#$& '('&)$( *&+ ,"-()"'.&)$( '"$&'/$.0(1 &+ (23&$( &)$,& 4",5)$&#.# &) +" &06"0.7)
8891 " #"2&,1 1 ,&4,&#&)$" +" :&('&$,;" 06,<"1 "+ .:6"+ =6& +(# $&)#(,&# *&
>.&'") ?@A B @9C &+ $&)#(, *& >.00. ?D@C B &+ &#0"+", *& 06,<"$6," *& >.00. ?DDC1 =6& )(#
++&<",() " +" ?889CE F+"'&'(#1 4(, "G(,"1 "+ $&)#(, *& H.)#$&.) 1 "0+",")*( =6& &#$& (23&$(
$(*"<;" )( $.&)& ).):I) #.:).J.0"*( J;#.0(E

C. EL LMITE NEWTONIANO DE LA ECUACIN DE LAS GEODESICAS

C1. La geodsica del espacio curvo

1. La ecuacin de Euler-Lagrange

El dominio de la Iuncional es el conjunto de Iunciones . Un ejemplo:
. En el caso particular de , se sigue que
.

La 'Iuncional se llama 'accion cuando entra el Iactor tiempo.
(117) ,
en donde
(118) &
(119)

656
Dado que es una Iuncion de , se sigue que en cualquier punto del tiempo , la Iuncion
tiene un valor determinado por
(120)

Ahora bien, buscamos una tal que sea un extremo, maximo o minimo:
(121) ,
y otra Iuncion, cercana a la minima, como:

(122)
en donde:
(123) deIine la desviacion de la ruta minima
(124) es el Iactor escalar que deIine la magnitud de la desviacion
(125)
(126)
(127)

En !"# %&'(%)"# y de las dos curvas, estas comparten el mismo valor, de modo que alli:
(128)
(129)

La accion tiene *+ %&'(%)" en si
(130)

(131)

Por la regla de la cadena de una Iuncion que depende de dos variables:
(132)

De (125), (126) y (131), obtenemos:
(133)

(134)

657
Independientemente de lo anterior, por deIinicion:
(135)

Sustituimos (135) en (134):
(136)

Ahora bien,
(137)
(138)

Sustituimos (138) en (136) para obtener.
(139)

Ahora bien, es importante observar que en general:
(140)

(141)

Recordemos con base en (125) y (126) que, si
(142) &
(143)

Combinando (141), (142) & (143), obtenemos:
(144)

La (144) es la ecuacion de Euler-Lagrange, que nos da las condiciones necesarias y suIicientes,
para la validez de . El segundo termino de (144) es la Lagrangiana.

2. La distancia ms corta entre dos puntos en un plano

Recordemos:
(145)

658
(146)

En este caso (146), es solamente una Iuncion de , de modo que:
(147)
(148)

Ahora aplicamos la ecuacion de Euler-Lagrange:
(144)

Dado que
(146)

Sustituyendo (146) en (144), obtenemos:
(149)

Recordemos:
(146)
(150)

(151)
(152)
(153)

La Iuncion (153) representa una recta, lo que comprueba que la distancia mas corta entre dos
puntos en un plano es una recta.

3. La distancia ms corta entre dos puntos en el espacio curvo (de cuatro dimensiones)

Espacio plano (2 dimensiones) Espacio curvo (4 dimensiones)
(154)

659
(155) !"#$%#&$'#&#(
(156)
(157) !)*+,%-"#$%#&$,(
Resolverlo: Resolverlo:
(158) !+# $,/012'3#(

Prueba:
(159)

(160)

en donde los tres Iactores dependen de .

(161)

Por deIinicion:
(162) en donde es un parametro cualquier

(163)

Combinando (157), (159) y (163), y multiplicando todos los terminos con obtenemos:
(164)

Ahora multiplicamos todo por :

660
(165)

Aqui observamos, en los ultimos dos terminos, un Iactor delta y reagrupamos los terminos,
para obtener:
(166)

En el tercer termino , cambiamos los indices mudos, para quedar como y
reconocemos el siguiente simbolo de ChristoIIel:
(167)

(168)

Ahora recuerda de (154) y (155) que . Si parametrizamos con de se sigue que:
(169)

Combinando (168) y (169), obtenemos !" $%&'()*+" con derivadas sobre la longitud de arco
, tambien conocidas como ,!") %+-"+*&.%) '% +"/'" !*01%23
1742
cuando la Iuerza que actua
sobre el objeto es cero. El termino del lado izquierdo representa la aceleracion newtoniana tal
como la conocemos en la ecuacion . El termino del lado derecho (un ChristoIIel
multiplicado con el producto de la velocidad) representa la aceleracion adicional debida a la
curvatura del espacio, para darnos la (170 B):
(170 A)
(170 B)

Ahora bien, recuerda que:
(171) en donde y son invariantes, al igual
que la velocidad de la luz . Tomando en cuenta (54) y usando la regla de la cadena, obtenemos:
(172)

1742
Steven Weinberg, !"#$%&#&%'( #(* +',-'.'/0 (1972): 185, ecuacion 8.4.2

661
Sustituyendo (172) en (170) y multiplicando todos los terminos con , obtenemos !"
$%&'()*+" +&, '%-*."'") )&/-% %! 0*%12& 2-&2*& 3
(173)

C 2. De la aproximacin de campo dbil a la gravitacin Newtoniana.

Recordemos la ecuacion de las geodesicas en un espacio curvo:
(173) :

Las componentes espaciales de la ecuacion anterior se describen por
(174)

y la componente temporal por
(175)
4"-" 5," 2"-06+5!" '% /"7" .%!&+*'"' (no-relativista: ), se puede sustituir por
en (174), para obtener:
(176)

En esta aproximacion las componentes espaciales de la cuadrivelocidad son despreciables
comparadas con su componente temporal:
(177)

De (176) y (177), obtenemos
(178)

C 3.- Aproximacin de campo gravitacional dbil
Recuerda que:
(179)
(180)

662
Consideremos ahora un campo gravitacional debil. En este caso la metrica puede escribirse
como la metrica de Minkowski, , mas un Iactor que representa el campo gravitacional
debil:
(181)
(182)

Por consistencia tenemos, a partir de (181):
(183)

Sobre el campo gravitacional hacemos esta hipotesis: los cambios temporales de son
mucho mas pequeos que los cambios espaciales., es decir, !"# %&'()"%"# %& *+, '&#-&*.+ "!
.(&/-+ #+, %&#-'&*("0!&# &, *+/-"'"*(1, *+, #2# %&'()"%"# *+, '&#-&*.+ "! &#-"*(+:
(184)

Sustituimos (181) y (183) en (180), para obtener:
(185)

Las derivadas de son derivadas de constantes y, por lo tanto, cero y las derivadas de los
Iactores de correccion con respecto al tiempo y son despreciables con respecto a la
derivada espacial . Por lo tanto, de (XIII) obtenemos:
(186)

El ultimo termino de (186) es despreciable en comparacion con el primero y por tanto
(187)

(188)

663
Ahora bien, es un tensor metrico contravariante, es covariante, por lo tanto
se transIorma en contravariante por medio de la siguiente operacion: , lo que nos
permite simpliIicar (188) para obtener:
(189)

C 4. La gravitacin Newtoniana

Dejemos ahora, un momento, a la ecuacion de las geodesicas, para recordar algunos elementos
de la teoria gravitacional de Newton. Primero deIinimos el campo gravitacional , a saber, la
aceleracion debida a la Iuerza gravitacional:
(190)
(191)

(192)

Se puede demostrar que el vector se puede escribir como el gradiente de un potencial
escalar, es decir,
(193)

Ahora bien,
(194)

Pero en nuestro caso es una Iuncion solo de y por lo tanto
(195) . Consecuentemente
(196)

(197)

En notacion tensorial la ecuacion de movimiento que incluye el campo gravitacional debil es

664
(198)

Recordemos ahora las componentes espaciales de la geodesica
(199)

De comparar (198) y (199) concluimos:
(200)

"#$ %#&'()*(+&,+ -.' %#/0#&+&,+' +'0.%(.-+' 1+ -. +%*.%(2& 1+ -. )+#13'(%.4 +& -.'
.0$#5(/.%(#&+' 1+ %./0# 136(- 7 6.8.' 9+-#%(1.1+'4 '+ $+1*%+& . -. +%*.%(2& 1+ /#9(/(+&,#
0.$. -. )$.9(,.%(2& :+;,#&(.&. '( <.%+/#' -. (1+&,(=(%.%(2& 1+ -. +%*.%(2& >?@@AB

(201)

(202)

Con base en todo lo anterior, obtenemos la metrica para una particula de baja velocidad en un
campo gravitacional debil:
(203) (tensor metrico en campo gravitacional debil)

C5. De la mtrica a la teora Newtoniana

Partimos de la metrica (203) y estamos en la aproximacion de bajas velocidades sin hacer
explicita de principio la hipotesis del campo gravitacional debil. Las componentes no nulas del
simbolo de ChristoIIel para la metrica (203) son:
(180)
(204)

665
Recordemos las componentes espaciales de la ecuacion de la geodesica para una particula de
baja velocidad:
(178)

(205)

Sustituyendo en (197), se concluye que:
(206)

Escribimos esta ultima ecuacion en Iorma vectorial:
(207)

Como es Iuncion solo de entonces y
(208) ,

Por lo tanto hemos veriIicado que las componentes espaciales de la ecuacion de la las
geodesicas con la metrica (203) corresponden a la ecuacion de movimiento del campo
gravitacional Newtoniano.

La cuarta componente de la geodesica es:
(209)

De (187) y (197) y (200) se obtiene:
(210)

(211) , lo que era de esperarse dado que

Interpretacion: Esto signiIica que , con y . La cuarta componente de la
ecuacion de las geodesicas indica que la velocidad de los Iotones de la luz es .

En Minkowski,

666
(212)

D. LA GRAVITACIN NEWTONIANA EXPRESADA COMO TEORA DE CAMPO

Primero analizare el campo gravitacional debil para una sola particula (D.1) y despues
generalizaremos el analisis para una distribucion de masa arbitraria (D.2).

D1. Campo gravitacional newtoniano para una sola partcula
Recordemos la Iuerza gravitacional y el campo gravitacional de la teoria newtoniana
(213)
(214) ,
en donde es el campo de una particula con masa , locali:ada en el punto
(la fuente) v medimos el campo gravitacional en el punto de manera
que v

Aplicamos ahora el teorema de Helmholtz al campo gravitacional de la particula, a partir de
(214):
(215) y

Introducimos la delta de Dirac y la densidad de masa asociada a una particula con
masa :
(216)
(217)

Sustituimos (216) y (217) en (215) para obtener:
(218)

Por otra parte
(219)
y, por lo tanto, por (159) y (163):
(220)

D 2. El campo gravitacional para una distribucin de masa arbitraria
Cuando queremos generalizar a partir de un caso particular, hemos de sacar los diIerenciales y
luego integrar. Sacamos el diIerencial de , a partir de (214):

667
(221)

Por deIinicion, la densidad de masa es:
(222) (en donde es el volumen)

(223)

Ahora integramos:
(224) , en donde

Esta ecuacion (224) representa !" $%&'( )*%+,-%$,(.%" /01," producido por una distribucion
arbitraria de masa . Aplicando nuevamente el teorema de Helmholtz, ahora a la (224):
(225)

Vemos que la (218) es igual a la (225), pero la densidad en el primer caso es la de la masa
de una sola particula, y en el segundo caso la distribucion arbitraria de una masa. A continuacion
integramos la (225) sobre :
(226)

Por el teorema de Gauss, consta que:
(227)

Sustituimos la (227) en la (226) para obtener la (228):
(228)

Este resultado, lo podemos corroborar independientemente, resolviendo la integral del lado
izquierdo. Recordemos el vector de posicion en coordenadas polares esIericas:
(229)

Por lo tanto:
(230)
(231)

668
(232)

Recordemos tambien que:
(233)

Ahora bien:
(234)

Sustituimos (214), (233) y (234) en (228):
(235)

El Ilujo, es decir, el campo por superficie, es proporcional a la masa que esta en el centro de la
esIera. Recordemos:
(236)

De (236) obtenemos:
(237)

Recordemos la deIinicion de la Laplaciana del campo newtoniano:
(238)
(218)

De (237), (238) y (218) obtenemos la ecuacion que representa la ecuacin de Poisson para el
potencial gravitacional:
(239)

E. EL FLUIDO PERFECTO

Un Iluido perIecto en la relatividad general es deIinido como un Iluido no viscoso y que no
conduce calor. Se representa por el tensor energia-momento , en donde es el momento y
la superIicie, es decir, se trata del Ilujo de la componente del cuadrivector momento a
traves de una superIicie de constante:
(240)

669
(241) (
nota 1743
)
En un sistema de coordenadas en reposo, , , y representan cosas diIerentes, a
saber:
1) El tensor es !" $"%&' (! ") *'+,'-!-.! *%)./' (!" +'+!-.', a traves de la
superIicie constante y representa la (!-01()( (! !-!/23)4
2) El tensor es !" $"%&' (! ") *'+,'-!-.! *%)./' (!" +'+!-.', , a traves de
una superIicie constante. En particular puede representar la energia cinetica o
*'-(%**15- (! *)"'/4
3) El tensor es !" $"%&' (! ")0 *'+,'-!-.!0 !0,)*1)"!0 (!" +'+!-.' , a traves de
una superIicie constante que es un punto en el tiempo. !0 !6%17)"!-.! ) por
la simetria del tensor4
4) El tensor representa el stress, a saber, ")0 $%!/8)0 (! $/1**15- !-./! !"!+!-.'0
)(9)*!-.!0 (!" $"%&': ,'/ !&!+,"' ") 710*'01()(. Se trata del Ilujo de las componentes del
momento a traves de una superIicie constante.

Ahora bien, en un Iluido perIecto, las respectivas ecuaciones, a partir de (241) (y tomando en
cuenta que !- %- 010.!+) +'+!-.;-!)+!-.! !- /!,'0' , , y
que y ), son:
(242)
1744
(esta componente
del tensor es independiente).
(243) (sin conduccion de calor).
(244)

Dado que estamos en el supuesto de reposo, las particulas no chocan, de modo que la ecuacion
(244) expresa que no hay energia cinetica, es decir, no hay conduccion de calor.
(245) ( es la delta de Kronecker).

La ecuacion (245) expresa que no hay viscosidad. Este tensor tiene una componente
independiente (cuando hay viscosidad, en general son 6 componentes independientes). Las
ecuaciones (242) a (245) representan !" 012%1!-.! .!-0'/ <=>?@ (! !-!/23)A+'+!-.' ,)/) !"
*)0' ,)/.1*%")/ (! %- $"%1(' ,!/$!*.' 9 /!").1710.). Este tensor es simetrico, en cuatro
dimensiones, con 2 componentes independientes.

1743
Hans Stephani, General Relativitv, 2nd ed.(1990): 83; Steven Weinberg, Gravitation and Cosmologv (1972):
471, ecuacion 15.1.12; NB Weinberg estandariza las ecuaciones con , de modo que en Weinberg es
en mi apendice
1744

670

(246)

F. EL TENSOR DE EINSTEIN

F1.- Ecuacin del campo dbil

Recordemos (238), (239) y (242):
(238)
(239)
(242)

De y (238), (239), y (242) obtenemos:
(247)

DeIinimos:
(248)

(249)

Esta es la ecuacion de campo en el limite newtoniano, en donde el termino al lado izquierdo
representa la geometria y el termino al lado derecho la masa. La ecuacion (249) nos dice que la
masa representada por la componente del tensor de energia-momento origina la
componente de la metrica asociada al campo debil gravitacional a velocidades bajas,
comparadas con la de la luz. La componente genera un campo gravitacional observable,
representado por el vector
(250)

Comparemos las ecuaciones (239) y (249) y sealamos que ambas Iormulas admiten una
interpretacion diIerente.
(239)

671
(243)
(251)

La ecuacion (239) dice que la masa (representada por el escalar ) produce un potencial
gravitacional (representado por el escalar ) que a su vez genera un campo gravitacional
observable (representado por el vector ):
(masa observable) (potencial no observable) (campo observable)

La ecuacion (249) originada en Iorma aproximada por la teoria del campo debil, pertenece a
las teorias de accion instantanea a distancia (que postulan que causa y eIecto son simultaneas en
el tiempo, lo que viola el principio metaIisico de la causalidad (la causa precede al eIecto). Es
importante notar que en la teoria gravitacional del campo debil, las Iunciones (componente
de la metrica) y (campo observable) dependen en Iorma aproximada de la posicion y no del
tiempo. Tambien es necesario subrayar que en la aproximacion del campo debil, el tamao de las
masas y, por lo tanto, de los campos, tienen un limite:
(masa observable) (componente de la metrica) (campo observable)

Sin embargo, si eliminamos la restriccion-simpliIicacion de , entonces la teoria del
campo gravitacional debil pertenece a la teoria general del campo gravitacional con propagacion
Iinita de causa eIecto (la velocidad de la luz), la cual no viola el principio de la causalidad. En
este ultimo caso las ecuaciones de campo son ecuaciones de onda, y la (249) se transIorma en
(252):
(252)

La ecuacion (252) es !" $%&"%'() *$ +)*" $) ,$)$-"!. /') $! !01'2$ )$32+)'")+. donde el
termino al lado izquierdo representa el campo debil y el termino al lado derecho la masa.

F2. Ecuacin de campo generalizado

4" $%&"%'() 56789 /&,'$-$ &)" ,$)$-"!':"%'() ;"-" %"1;+/ )+ *<='!$/ > "!2"/ ?$!+%'*"*$/, la
cual podria escribirse como:
(253)

en donde el tensor del campo gravitacional representa al campo gravitacional (la
geometria), y el tensor representa a todas las energias y momentos (excepto las de origen
gravitacional). Obviamente, ;"-" %"1;+/ *<='!$/ > ="@"/ ?$!+%'*"*$/ /$ *" !" /',&'$)2$
-$*&%%'()A . !+ B&$ '1;!'%" B&$ $! -"),+ 1CD'1+ *$ !"/ *$-'?"*"/ %+) -$/;$%2+ "
*$=$ /$- > $/ *$ *+/E *$=$ /$- &) 2$)/+- que va a construirse con el tensor de Riemann

672
, mas especiIicamente con el tensor de Ricci y el tensor de curvatura , que son
las unicas contracciones independientes del tensor de Riemann . Podemos, entonces, hacer
la siguiente !"#$%&'"' )#*+#,&'%-. #-*- &/ %&0'+* 1& 2"0'%&"0 ( & son constantes):
(254)

2/ %&0'+* &' 0&3&'-*"-4&0%& '"45%*"3+, porque la suma de dos tensores simetricos es un
tensor simetrico y los tensores y son simetricos:
(255)

(256)

De (254), (255) y (256), obtenemos la (257) que expresa que es simetrico:
(257)

Ahora bien, recordemos la identidad de Bianchi:
(258)

De (258), obtenemos:
(259)

De (254) obtenemos:
(260)

Para que , como debe de ser, obtenemos, a partir de (259) y (260):
(261)

(262)

(263)

Para determinar el valor de , la ecuacion (263) en la aproximacion del campo debil y bajas
velocidades, debe reducirse a la Iorma que ya vimos arriba:
(249)

673
De (263), obtenemos:
(264)

La componente de esta ecuacion es:
(265)

En la aproximacion del campo debil y bajas velocidades:
(266)

(267)

Ahora bien, el termino esta Iormado de sumandos que son productos del campo debil y
sus derivadas y por lo tanto, se puede ignorar, lo que transIorma la (267) en la siguiente
ecuacion:
(268)

Ahora hay que calcular y . Recordemos el tensor de Riemann, los simbolos de
ChristoIIel y el tensor metrico
1745

(269)
(270)
(271)
(272)

Para obtener !"#! #!%"&' !% "( )*'&+,-).,/% )0 .)-*& 123,0, hemos de tomar en cuenta
algunos puntos:
a.- el tensor de Riemann esta constituido por simbolos de ChristoIIel ;
b.- los simbolos de ChristoIIel estan constituido por terminos con derivadas de
c.- los tensores metricos estan constituidos por la constante de la metrica de
Minkowski y
d.- las derivadas de la constante son cero;
e.- los productos son en ultima instancia productos de derivadas de y, en el caso

1745
Hans Stephani, General Relativitv, 2nd ed.(1990)

674
de campo debil y baja velocidad, pueden ser ignoradas;
I.- los terminos y , etcetera, tambien son cuadraticos y pueden ser
ignorados por la misma razon expuesta en e.
g.- para no escribir tanto, se usa la siguiente anotacion:
; y ; y ; ; etcetera
h.- hay que recordar
i.- hay que recordar que , de modo que y
dado que , se sigue que
j.-
k.-
l.- las derivadas sobre son cero
m.- usamos la siguiente metrica:
(272)

En la aproximacion de campo debil el tensor de Riemann, en terminos de , es:
(273) )

Subimos el indice en la ecuacion (273):
(274) )

Contraemos (274) haciendo
1746
y obtenemos !" $!%&'( )! *+,,+-
(275) )

1746
Murray Spiegel, Analisis vectorial v una introduccion al analisis tensorial (2005): 169, no. 4

675
Con la (275) y tomando en cuenta que las derivadas sobre son cero (punto l), y que
, calculamos y :
(276)

Para calcular , recordemos el punto I y la ecuacion (272) que dice que y
:
(277)

Con (275) y (277) y tomando en cuenta los puntos (b) hasta (l), construimos el escalar de
curvatura :
(278)

Veamos por separados los tres terminos del lado derecho en las siguientes ecuaciones (279),
(280) y (281):
(279)
(280)
(281)

Los tres terminos del lado derecho de (279) y el primer, quinto y noveno termino del lado
derecho de (281) se anulan. Los seis terminos de la (281) que quedan se pueden simpliIicar,
porque , de modo que (279), (280) y (281) se suman como:
(282)

Sustituyendo la (276) y la (282) en la (268), obtenemos:
(283)

Recordemos:
(242)

676
(248)

De (283), (242) y (248), se obtiene:
(284)

Recordemos la Laplaciana para el campo newtoniano:
(239)

(285)

Recordemos (262) y (263):
(262)
(263)

Sustituyendo (285) en (262) y (263), obtenemos el tensor de Einstein:
(286)

La ecuacion (286) es el tensor de Einstein.
1747
Sin embargo, presentamos en la seccion K de
este apendice el modelo Lematre con constante cosmologica positiva y , para entender la
esencia de estas especulaciones sobre la constante cosmologica.

Si sacamos la derivada contravariante de la ecuacin de Einstein (28), verificamos la
consistencia geomtrica de esta ecuacin con la identidad de Bianchi (11) y la consistencia
fisica de la misma ecuacin de Einstein con el axioma de la conservacin de la energia-
momento:
(116)
(287) resultado geometrico:
(288) resultado Iisico:

G. LA MTRICA FRIEDMANN-ROBERTSON-WALKER

Principio cosmolgico: universo es homogeneo (invariante en traslaciones) e isotropico
(invariante en rotaciones).

1747
Menos la constante cosmologica que omitimos aqui por su status especulativo: vease la Seccion 15 de
este libro

677
Plasmamos la expansion del universo y el principio cosmologico en una sola ecuacion:
(289)

en donde es la magnitud de la aceleracion (expansion) y representa las tres
componentes espaciales, que deben de tener maxima simetria (por el principio cosmologico) y
cualquier curvatura (, -, 0).

Hay varias maneras de calcular con espacio curva y maxima simetria. Una manera es la
siguiente:
(290)

donde:
a) y pueden correr de 1, 2, 3 ...... n
b) el termino es la ultima componente espacial (no es la componente temporal),
por ejemplo la tercera o la cuarta
c)
d) es la delta de Kronecker
e) es una constante que tiene que ver la curvatura del espacio

La ecuacion de una esIera es:
(291)

Despejamos en (291) :
(292)

Derivar (292):
(293)

(294)

De (294) se despeja
(295)

(296)

Sustituimos (296) en (290):

678
(297)

Dado que , reescribimos (297) como:
(298)
Reescribimos (298) como:
(299)
DeIinimos un nuevo que no debe confundirse con el anterior.
(300)

Por lo tanto:
(301) (caso del universo cerrado)
(302) (caso del universo abierto)
(303) (caso del universo plano)

Se sustituye (300) en (299):
(304)

!" $%&"%'() *+,-. /$0/$1$)2" 3" 0"/2$ $10"%'"3 4$ 3" 562/'%" 4$ 7/'$45"))89:;$/21:)8
<"3=$/. Para tres dimensiones, los indices corren de 1 a 3 (m1, 2, 3; n1, 2, 3):
(305)

Partimos del supuesto de coordenadas esIericas, con tres dimensiones espaciales:
(306) ,
(307) ,
(308) ,

(309)

679
De (306), (307) y (308) se obtienen (310), (311) y (312):
(310)
(311)
(312)

Se sustituye (310), (311) y (312) en (305), para obtener:
(313)
(314)

Existen tres posibilidades:
(315A)
(315 B)
(315C) .

El caso de representa el espacio plano, sin curvatura, euclidiano, con simetria esIerica
(316)

El caso representa el caso de una curvatura positiva, el universo cerrado, tambien con
simetria esIerica, pero no debe conIundirse con una pelota cerrada:
(317)

El caso representa el universo abierto, con curvatura negativa y simetria hiperbolica:
(318)

A continuacion escribiremos !" $%&'()" *'(+,$"--./01+'&20-.3"!4+' +- 50'$" )0$6!+&".
Si sustituimos (314) en (289), obtenemos esta metrica, en donde representa la expansion del
universo y la topologia o geometria (abierta, cerrada o plana):
(319)

Esto implica que , y dependen de y . Volvamos ahora a la ecuacion de
campo, en donde , y representa la materia-energia (al inicio del !"# !%&# se
trataba de pura radiacion; hoy dia es materia-energia).

680
(320)

Veamos ahora el lado derecho de esta ecuacion. Recordemos lo dicho sobre el Iluido perIecto
(241)
1748
y
(242)
1749

Analogamente, por (241) se obtienen (321) y (322):
(321)
1750

(322)

Todo el universo entero es un sistema comovil. En un sistema comovil, se obtiene que
(323)

Por lo tanto,
(324) , de modo que

De (322) derivamos, tomando en cuenta que , y :
(325)

Las ecuaciones (324) y (325) nos dan la siguiente matriz:
(326)

Veamos ahora la ley de conservacion de energia-momento:
(327)

1748
Hans Stephani, General Relativitv, 2nd ed.(1990): 83
1749
1750
Hans Stephani, General Relativitv, 2nd ed.(1990): 83

681
Por deIinicion:
(328)

Veamos primero el primer termino del lado derecho:
(329)

Veamos ahora el segundo termino del lado derecho. Vayamos por partes:

(330) y
(331)
en donde

De (330) y (331) obtenemos el segundo termino del lado derecho de (328):
(332)

Veamos ahora el tercer termino del lado derecho:
(333)

Sustituimos (329), (332) y (333) en (328), para obtener:
(334)

De (334) obtenemos la ecuacin de balance de masa-energia:
(335)

En este momento de la historia del universo, la densidad y la presion son muy bajas, de modo
que podemos reescribir la (335) como:
(336)

De (336) obtenemos:
(337)

Integramos (337) y obtenemos.
(338)

682

Recordemos (286):
(286)

Hasta ahora hemos visto el lado derecho de la ecuacion (320). Veamos ahora el lado izquierdo
de la misma ecuacion (320):
(339)

Tomando en cuenta que , de (321) se obtiene:
(340)

(341)

(342)

Recordemos (266), (269) y (270):
(322)
(325) ( & & )

(326)

Sustituyendo (325) y (326) en (342) obtenemos:
(343)

683
Recordemos el tensor de Ricci y el simbolo de ChristoIIel de la segunda especie
1751
:
(75)
(85)
(25B)

Ahora bien, multiplicamos en (75) ambos lados con :
(344)

En el caso de un universo homogeneo e isotropico, las derivadas sobre el espacio son cero,
dado que en este supuesto son constantes, de modo que solamente queda . Ahora
bien, !" $%&'( &!" )*'+!$,( ,! &!-'*! .(/( 0 un Iactor escalar que solamente depende del
tiempo. Usare la siguiente anotacion:
a.- es el radio del universo; otros autores usan otros simbolos, por ejemplo Allday usa y
Stephani usa ;
b.- La derivada de es una derivada sobre el tiempo: ;
c.- La segunda derivada se escribe como .
d.- Para obtener la metrica de hay que tener en cuenta que .

La metrica con adquiere la siguiente matriz (invertimos los signos de la metrica
de 1,1,1,-1 a -1,-1,-1,1, para conformar nuestra metrica a la usada por la
mavoria de los libros de texto; al invertir los signos de la metrica, se siguen otros cambios que se
explican en el apartado H de este apendice, por ejemplo , v
; . Hay que tomar en cuenta que en la siguiente metrica
se reIiere a las coordenadas esIericas y al radio del universo; a partir de aqui :

1751
Hans Stephani, General Relativitv, 2nd ed. (1990): XIV y 5, ecuacion 1.16

684
(345)

Esta es !" $%&'()" *+ ,'(+*$"-- ./0+'&1/- 2"!3+' +- )//'*+-"*"1 +14%'()"1 )/- )5'6"&5'"
7+! 4")&/' 89

Tomando en cuenta todo esto, y haciendo el algebra necesaria, obtenemos
1752

(346)

Con base en (345) y (346) obtenemos:
(347)

Haciendo el algebra tensorial necesaria, obtenemos:
(348)

Subiendo un indice en obtenemos el tensor de Ricci mixto
(349)
(350)

De (350) obtenemos:
(351)

Dado que la delta de Kronecker es:
(352)

1752

685

Se obtiene, combinando (351) y (352):
(353)

Combinando (348) y (353) obtenemos:
(354)

Recordemos (242), (248), (325 y 326), (339) y (346):
(242)
(248) (signo positivo!)
(325 y 326) (269 y 270)
(339)
(346)

De (339) obtenemos:
(355)

Sustituimos (248), (325 y 326), (346) y (354) en (355) y obtenemos:
(356)

(357)

(358) (
nota

1753
)

Recordemos (343) y (346) y (248):
(343)
(346)

1753
En Steven Weinberg, !"#$%&#&%'( #(* +',-'.'/0 (1972): 472, encontramos , lo que
es lo mismo si tomamos en cuenta que Weinberg estandariza las ecuaciones con , de modo que la constante
en la ecuacion (358) es igual a en Weinberg

686
(248)

Igualando (287) y (290) y tomando en cuenta (192), obtenemos:
(359)

De (359) se obtiene:
(360) (
nota

1754
)

DeIinimos:
(361)
y de (358) y (361) obtenemos:
(362)

DeIinimos la densidad critica y el Iactor a partir de :
(363)
(364)
y asi, de (363) y (364), obtenemos:
(365)

(366)

Se deIine como la curvatura del espacio, que puede ser plano , abierto
( ); o cerrado ( )

Se sigue que,
(367) si : universo abierto

1754
En Steven Weinberg, !"#$%&#&%'( #(* +',-'.'/0 (1972): 472, encontramos , lo que
es lo mismo si tomamos en cuenta que Weinberg estandariza las ecuaciones con , de modo que la presion
en la ecuacion (360) es igual a en Weinberg

687
(368) si : universo plano
(369) si : universo cerrado

Recordemos:
(358)

si
(370)
si
(371)
si
(372)

Hoy observamos que y de (370) y (371) se deduce que en el caso de o ,
para !"#" !%&'(", o )%&'(*& o )%&'(*& de modo que para o ,
habra una expansion del Universo para siempre.

Recordemos que:
(338)
(373)

Por lo tanto, en el caso de
(374)

A partir de (360), obtenemos (375):
(375)
y de (375) obtenemos:
(376) (colapso del universo)

H. ALGUNAS CONSECUENCIAS DEL CAMBIO DE SIGNO EN LA MTRICA

A lo largo de este apendice hemos podido percatarnos como el cambio de signo en la metrica,
de ,,,- a -,-,-, o vice-versa, tiene aparentes consecuencias para el desarrollo de las

688
diIerentes ecuaciones, aunque no cambian las ecuaciones Iundamentales de la Iisica. Cuando un
autor o proIesor pasa inadvertidamente de una metrica a otra, se crea conIusion y contradiccion,
tanto en el autor como en el lector. Veamos.

Mtrica +, +, +, - Mtrica -, -, -, +
Mtrica de Minkowski (ecuacion 60 del apendice de la relatividad especial)

Mtrica del campo gravitacional dbil:
(272)

Ecuacin de Poisson:
(239) (Newton) (Newton)
(247)

Se deIine:
(248)

Mas adelante veremos:
(242)

Por el cambio de signo de (247) y (248), cambia el signo de (249):
(249)

Mtrica de Friedmann- Robertson-Walker-Lematre

689
(345)

"#$%&'#% (# #$#')*+,-&-#$.&
(246)

(326)

(242)
(325 A)

Por el signo diIerente de (325 A), cambia el signo de (325 C):
(325 B)
(325 C)

"#$%&'#% (# /0110
(347)

690
(350)

!" $%&'()& *+,"-(.(/-" 0+, *"0(1 0+, %&(.+*/1 23456 &1 '"78(" 0+ /(9&1, pero si cambia la
componente temporal del tensor mixto de Ricci (343A), aunque no cambia la componente
temporal del tensor covariante de Ricci (343 B):
(348)
(342)
(343A)
(343 B)

(346)

:1 '"78(" ," $%&'()& 0+, +/'","* 0+ '%*."-%*" 23;3 < 3;46=
(353)
(354)

>"&-1 +, ,"01 (?@%(+*01A '171 +, 0+*+'B1 0+ ," +'%"'()& 0+ C(&/-+(& '"78("& 0+ /(9&1 23;DA
3;E < 3;F6A ,1 @%+ *+/%,-" +& %& '"78(1 &+-1 &%,1 0+ /(9&1 +& -10" ,"/ +'%"'(1&+/ 233F6 "
23DG6=
(339)
(355)

691
(356)

(357)
(358)
(359)
(360)
(361)
(362)

De la tabla anterior se desprende que los terminos asociados a las metricas, pueden cambiar de
signo, pero !"# %"&'()")*# +,* '(*&*& #(-&(.(%")/ .0#(%/ #/& (&1"2("&'*# %/& 2*#3*%'/ " !"
#(-&"',2" )* !" 45'2(%"6 por ejemplo la Iuente del campo gravitacional (239), la Iuncion del
radio del universo (348), la Iuncion de la curvatura del espacio (353 y 354), la ecuacion de
Einstein (339), las componentes de la ecuacion de Einstein (355 y 356), y la constante de Hubble
(358, 361, 362).

I. LA SOLUCION DE SCHWARZSCHILD A LAS ECUACIONES DE EINSTEIN

Con respecto a la deIinicion del tiempo propio, , hemos de tomar en cuenta que
solamente es correcta en el espacio de Minkowski, donde los objetos se mueven sin aceleracion
causada por algun campo gravitacional. La deIinicion es un caso muy particular,
porque generalmente los objetos se mueven acelerados o Irenados por campos gravitacionales, lo
que nos lleva a la teoria de la relatividad general.

Recordemos que en el espacio de Minkowski el tensor metrico es simple:
(377)

Por eso pudimos obtener la deIinicion simple de en el espacio de Minkowski:
(378)

692
(379) y

El tiempo propio se deIine como el tiempo de un objeto que no se mueve con respecto al
observador, es decir, el tiempo en el reloj del propio observador. Aunque este tiempo propio no
se distorsiona por la transIormacion de Lorentz (debido a altas velocidades), en un campo
gravitacional Iuerte, este tiempo propio si se distorsiona por la Iuerza gravitacional o aceleracion
propia. Por lo tanto, la deIinicion completa del tiempo propio incluye la atraccion
gravitacional de un cuerpo esIerico con masa ejercida segun la constante gravitacional
sobre un objeto en un punto P, Iuera del cuerpo, a una distancia .

Dado que en el tiempo propio` es como si estuvieramos montados sobre la particula que viaja,
se elimina la distorsion por la alta velocidad de la particula. En el caso contrario, la ecuacion de
la metrica incluye la distorsion por altas velocidades. En la siguiente ecuacion de Reissner-
Nordstrm (324)
1755
, la parte en corchetes |...| representa la carga electrica del objeto. En !"
$%&"%'() *$ +$',,)$-./0-*,1-234 a diIerencia de la de Kerr (1963), se hace el supuesto de que
el momento angular ( ):
(380)

5"-" 6","- *$ !" $%&"%'() *$ +$',,)$-./0-*,1-23 " !" *$ 7%89"-:,%8'!*4 8"%$30, $!
,&6&$,10 "*'%'0)"! *$ ;&$ !" %"-<" $!=%1-'%" *$! 0>?$10 $, %$-0 @ A, lo que simpliIica la
ecuacion:
(381) (
1756
)

Los cuatro terminos entre parentesis constituyen los coeIicientes metricos, que juntos
determinan el tensor metrico de Schwarzschild en un espacio tridimensional, en donde la masa
no es pequea:
(382)

1755
Hans Stephani, General Relativitv, 2nd ed. (1996): 126, ecuacion 12.1 ( Stephani toma Gc1)
1756
Es la misma ecuacion que encontramos en Hans Stephani, Dietrrich Kramer, Malcolm MacCallum, Cornelius
Hoenselaers & Eduard Herat, Exact Solutions of Einstein's Field Equations (2006): 233, eq. 15.21, pero estos
autores toman estandarizan con y y yo no, y yo tomo la carga electrica del Sol cero, y ellos
no,

693
La ecuacion y el tensor de Schwarzschild se simpliIican todavia mas, si se trata de un espacio
bidimensional, es decir, un plano, como, por efemplo, los planos de las orbitas de los planetas
que giran alrededor del Sol. En este caso, dado que , se sigue que , y
:
(383)
(384)

"#$%&' () *+$*$ &), *-)./' /+'/-'0 $ ($1)+0 ,$ 2'%&#2*$ &), +),'3 &), /+'/-' '1()+4$&'+0 &)
.'&' 5#) 6 ), '1()+4$&'+ () )%2#)%*+$ )% #% 2$./' 7+$4-*$2-'%$, 8#)+*) 9 :;
(385)

De (381) se obtiene la ecuacion de Schwarzschild, del tiempo propio:
(386 A)

Dado que algunos usan la metrica -, -, -, , la ecuacion cambia con la metrica , , , -
(386 B)

<, '13)*' )( #% )(2$,$+ 4$+-$1,) (-% &-.)%(-'%)(, porque las diIerentes unidades se
cancelan, como se demuestra en la (387):

(387)

694
Obviamente, solamente si , , pero si el objeto se encuentra en el campo
gravitacional del cuerpo con masa , las cosas cambian radicalmente, y el valor numerico
de deja de ser invariante, aunque la estructura de la ley (387) sigue siendo invariante. En
Iactor es mayor en la medida que y . Veamos los siguientes tres casos:

(388) el tiempo propio virtual dentro de un hoyo
negro;

(389) 1 en el horizonte de eventos del hoyo negro, el tiempo
propio se para;

(390) la dilatacion del tiempo propio en campos
gravitacionales normales`.

K. EL MODELO LEMATRE CON Y CONSTANTE COSMOLGICA

Recordemos algunas ecuaciones:
(286)
(360)
(358)

De (360) y (358) obtenemos, respectivamente:
(391)
(392)

De (391) y (392) se deduce que:
(393)

Ahora introducimos la constante cosmologica. Einstein la introdujo, para mantener estable su
modelo estatico del universo. La (286) se transIorma en la (394):
1757

1757
Steven Weinberg, !"#$%&#&%'( #(* +',-'.'/0 (1972): 613-616

695
(394)
(395) , en donde:
(396)

Analogamente:
1758

(397) y

Reescribimos (392) con la constante cosmologica en la ecuacion (397):
(398)

DeIinimos el termino :
(399)

Combinando (398) y (399), y tomando en cuenta que en el modelo de Lematre:
y y :
(400)
(401)

Segun Weinberg,
1759
la expansion tiene su tasa minima cuando:
(402)

y sigue por un periodo estacionario mas o menos largo en su valor minimo. Luego vuelve a
acelerarse, hasta que termine de acercarse al resultado de De Sitter:
1760

(403) y
(404) .

Cuando esta en su periodo estacionario, por la (397), la (396 B) se transIorma en:
1761

1758
Ecuaciones 16.2.5 en Steven Weinberg, Gravitation and Cosmologv (1972): 614
1759
Steven Weinberg, Gravitation and Cosmologv (1972): 615
1760
Ecuaciones 16.2.13 y 16.2.14 en Steven Weinberg, Gravitation and Cosmologv (1972): 615
1761
Steven Weinberg, Gravitation and Cosmologv (1972): 615

696
(405) (
nota

1762
)

1762
Es decir, El tercer termino, por la (397) es cero.

697
APNDICE VI C. LA ROTACIN DEL PERIHELIO DE MERCURIO
por Juan Auping con la asesora de Alfredo Sandoval

En este apendice primero derivaremos, a partir de la geodesica de Einstein y la metrica de
Schwarzschild, la ecuacion exacta de la rotacion del perihelio de cualquier planeta que tiene una
orbita eliptica alrededor del Sol (VI C 1); luego obtendremos, con base en los datos empiricos
astronomicos actuales (VI C 2) y los instrumentos matematicos hoy disponibles,
1763
la solucion
exacta del perihelio de Mercurio y comparare este resultado con los hechos (VI C 3); luego
comprobaremos que Einstein oIrecio, como seala tambien Ohanian, una 'solucion
aproximada,
1764
pero no solamente esto, sino que, ademas, afusto sus ecuaciones dos veces, sin
base en la fisica o las matematicas del caso, para obtener el resultado empirico deseado (VI C
4).
1765
En consecuencia, concluiremos que su solucion es compatible con la teoria general de la
relatividad, pero no la corrobora.

VI C 1. La rotacin del perihelio de planetas del sistema solar derivada de la geodsica y
la mtrica de Schwarzschild

Lo que Einstein y los autores modernos
1766
tienen en comun es que parten de la geodesica.
1767

Sin embargo, en 1915, Einstein todavia no conocia la metrica de Schwarzschild, que este,
estando en la Irente rusa de a Primera Guerra Mundial, derivo directamente de la teoria general y
proporciono a Einstein en 1917. Este le agradecio su solucion en terminos calidos: 'Nunca se me
ocurrio que un tratamiento riguroso del problema seria tan simple.
1768
Lamentablemente,
Einstein no aprovecho la metrica de Schwarzschild para corregir las aproximaciones y
'errores
1769
de su ensayo de noviembre de 1915. A partir de las ecuaciones de las geodesicas y
la metrica de Schwarzschild, obtenemos la rotacion del perihelio de cualquier planeta que gira
alrededor del Sol. Segun los datos empiricos de las variables de cada planeta (semieje mayor,
excentricidad, distancia minima y maxima del Sol, y masa), se obtiene la rotacion del perihelio
de cada planeta en particular, por ejemplo de Mercurio

La ecuacion de las geodesicas es:
1770

(1)

Derivando sobre el tiempo propio del planeta en orbita sera:

1763
Programa Mathematica de WolIram
1764
Hans Ohanian, Einstein's mistakes (2008): 245
1765
Albert Einstein, 'Explanation oI the Perihelion Motion oI Mercury Irom the General Theory oI Relativity, en:
Kniglich Preussische Akademie der Wissenschaften. Sit:ungsberichte (1915), traducido al ingles en: The Collected
Works of Albert Einstein, vol. 6 (1989): 112-116
1766
Veanse Hans Ohanian, Gravitation and Spacetime (1972): 280-292; Charles Misner & otros, Gravitation (1973):
1110-1116; Ronald Adler & otros, Introduction to General Relativitv (1975): 199-209; Steven Weinberg,
Gravitation and Cosmologv (1972): 1194-201
1767
Ecuacion 170 del Apendice VI B
1768
Citado en Hans Ohanian, Einstein's mistakes (2008): 246
1769
Hans Ohanian, Einstein's mistakes (2008): 215 seala que hay errores pero no dice cuales. Los sealare a
continuacion en el texto de este apendice.
1770

698
(2)

en donde:
(3) (
nota 1771
)

Si bien es cierto que la masa del Sol es considerable, en el caso de Mercurio, el Iactor
es tan pequeo, que . Esta justiIicado,
entonces, usar la aproximacion . Dado que, por deIinicion, , se sigue que, en
el caso del tiempo propio de Mercurio, .

La ecuacion de Schwarzschild es:
1772

(4)
en donde los terminos entre parentesis representan el tensor metrico de Schwarzschild.
1773
A
continuacion reproduzco este tensor, en donde :
(5)

Ahora bien, dado que tenemos en la geodesica 4 componentes (3 espaciales y una temporal), el
indice de la ecuacion (2) varia de 1 a 4, y que , , y . Por lo tanto,
la geodesica de la ecuacion (2) contiene las siguientes cuatro ecuaciones:
(6)
(7)
(8)

1771
Ecuacion 386 B del Apendice VI B; y
1772
1773

699
(9)

Para resolver estas cuatro ecuaciones, hemos de tomar en cuenta los siguientes puntos:
1) En el caso del tensor de Schwarzschild, por ser esIerico el sistema de coordenadas:
, , y ;
2) por la metrica esIerica, en todos los casos en donde se sigue que ;
3) a dependen de ( y ademas de ), de modo que los derivados de a
sobre el tiempo y el angulo son cero: y ;
4) : ;
5) cuando la esIera colapsa en un plano, como en el caso de la orbita de un planeta
alrededor del Sol, se sigue que y ;
6) el indice varia de 1 a 4, pero, por el punto 5, ;
7) un simbolo de ChristoIIel se deIine como:
1774

"# $%&'%()(*) (+&),% - ( )
(9)

El indice varia de 1 a 4:
(10)

Dado que (punto 5), el tercer termino de la (10) es cero, de modo que quedan de
la (10) solamente cuatro terminos:
(11)

En cada uno de los tres terminos del lado derecho, descartamos , porque
(punto 5). La (11) se transIorma, entonces en:
(12)

Si sumamos los terminos de la (12), obtenemos:

1774
Ecuacion 25 B del Apendice VI B

700
(13)

Podemos desarrollar cada uno de los simbolos de ChristoIIel de la ecuacion (13) en terminos
del tensor metrico. Para la componente , sera como sigue (por el punto 7):
(14)
(15)
(16)
(17)
(18)
(19)
(20)
y combinando la (9) y la (15) a la (20), obtenemos la ecuacion de la cuarta componente:
1775

(21)

Dado que y , se sigue que y
, de modo que la (21) se transIorma en:
(22)

"# $%&'%()(*) (+&),% - ( )
(8)

1775
Coincide con Hans Ohanian, Gravitation and Spacetime (....): 287, ecuacion |34| e ibidem:
283, ecuacion |8| , tomando en cuenta que .

701
(23)

El tercer termino es cero, porque , de modo que quedan de la ecuacion (23)
solamente cuatro terminos:
(24)

En cada uno de los tres terminos del lado derecho, el indice varia de 1 a 4, pero descartamos
, porque . La (24) tiene, entonces, 10 terminos;
(25)

Si sumamos los terminos iguales de la (25), obtenemos.
(26)

En el caso de , por el punto 7, el simbolo de CristoIIel sera:
(27)
(28)
(29)
(30)
(31)
(32)
(33)

Combinando (27) a (33), obtenemos:

702
(34)

Por los puntos 4 y 5, . Por eso la (34) se transIorma en:
1776

(35)

!" $%&'%()(*) (+&),% - ( )
(7)

Variando de 1 a 4, obtenemos:
(36 )

El primer y tercer termino contienen la derivada del angulo , que es cero,
( ), de modo que quedan de la ecuacion (36) solamente tres terminos:
(37)

En cada uno de estos tres terminos, el indice varia de 1 a 4, pero descartamos , porque
. La (37) se transIorma, entonces, en:
(38)

(39)

Por el punto 7, en el caso , el simbolo de ChristoIIel adquiere la siguiente Iorma:
(40)

1776
Tomando en cuenta que en el plano , esta ecuacion coincide con
Hans Ohanian, Gravitation and Spacetime (1972): 287, ecuacion |33|:

703
(41)
(42)
(43)
(44)
(45)
(46)

Por la (41) a la (46), la (7) se reduce a y no cuenta.

"# $%&'%()(*) (+&),% - ( )
(6)

El indice varia de 1 a 4:
(47)

El tercer termino es cero, de modo que quedan de la (47) se simpliIica como la (48):
(48)

El indice varia de 1 a 4, pero descartamos , porque :
(49)

(50)

Por el punto 7, el simbolo de ChristoIIel, en el caso de es:

704
(51)

Por lo tanto:
(52)
(53)
(54)
(55)
(56)
(57)

Por la (52) a la (57), la (50) se transIorma en:
1777

(58)

Derivando obtenemos ;
1778
y . Por el
punto 4, se sigue que . Con estos datos la (58) se queda como:
(59)

(60)

1777
Tomando en cuenta que en el plano y , esta ecuacion coincide con Hans Ohanian,
Gravitation and Spacetime (1972): 287, ecuacion |31| :
1778
Por la regla del cociente:

705

!" $%&'"( )(*( +'%),-% ./" 01.,(
En sintesis, las tres ecuaciones de movimiento de un planeta en orbita en el campo
gravitacional del Sol, derivadas a partir de la geodesica y la metrica de Schwarzschild, son la
(22), la (35) y la (60):
(22)
(35)
(60)

Ahora bien, lo que queremos es el angulo como Iuncion de . Para lograr esto,
multiplicamos primero los terminos de la ecuacion (35) con y obtenemos:
(61)

El momento angular se deIine como , de modo que el termino representa el
momento angular dividido entre la masa de Mercurio, es decir, . La derivada del momento
angular es cero, de modo que el momento angular es constante:
(62) .

La (61) se transIorma en
(63)
Arriba vimos que .
Ahora vamos a transIormar la ecuacion (60). Por la regla de la cadena y la (62)
(64)
(65)

706
Sustituimos ahora en la (60) por ; por ; por
y por 1, y obtenemos:

(66)

Por las mismas sustituciones, la (22) se transIorma en:
(22)

(67)

Sustituyendo la (67) en el tercer termino de la ecuacion (66) y obtenemos:
(68)

Reagrupamos algunos terminos:
(69)

Multiplicamos todos los terminos con
(70)
Hacemos:
(71) (72)
(73) y
(74)

707

Sustituimos (71), (73) y (74) en (70) y hacemos
(75)
(76)

Hacemos otra sustitucion de variable:
(77)

Sustituimos la (77) en la (76):
(78)

Integramos:
(79)
(80A)
(80B)
(80C)
(80D)

Despejamos y luego integramos, tomando , al inicio de una orbita
(81)

708
(82)

En esta ecuacion, el angulo representa medio ciclo de la orbita eliptica de Mercurio, (la
velocidad de la luz), el cuadrado del momento angular por unidad de masa, una constante
por determinar. En las ecuaciones de Einstein solamente Iiguran las constantes (el semieje
mayor de Mercurio), (la constante de en la metrica de Schwarzschild), y
y . Dado que y , se sigue que
. Dado, ademas, que y se sigue que
. Por lo tanto . Asi podemos reescribir la (82) como sigue:
(83 A)

Todavia no tenemos !" $%"&' (! ) Lo podemos obtener a partir de la ecuacion (80 B):
(80B)

Dado que , se sigue que cuando , y
. En este caso, y, por lo tanto, obtenemos:
1779

(80C)

Con este resultado, la ecuacion (83 A) se transIorma en la (83 B):
(83 B)

VI C 2. Los valores de las constantes y variables

1779
. El Iactor
es despreciable.

709
a) (una variable de geometria de la elipse)
b) (momento angular)
1780

c) (momento angular por unidad de masa)
d) (!"#$ al cuadrado)
e) (constante gravitacional)
I) (masa Sol)
g) (masa Mercurio)
h) (velocidad de la luz)
i) (excentricidad)
j) (semieje menor)
k) (distancia minima planeta al centro)
l) (distancia maxima planeta al centro)
m) (constante de la metrica de Schwarzschild)
n) (inverso del radio minimo)
o) (inverso del radio maximo)
p) (semieje mayor)
q) (radio)
r) (inverso del radio)
s) (arco segundos)
t) (periodo)
u) (nota
1781
)
v) En el articulo de Einstein:
w) En el articulo de Einstein:

1780
Vease la ecuacion 72 del Apendice II sobre Kepler y Newton
1781
El Iactor es despreciable.

710
x) En el articulo de Einstein:

VI C 3. La solucin emprica de esta integral para el caso de Mercurio

Si con el programa Mathematica de WolIram sacamos esta integral numerica, no obtenemos el
valor esperado de 3.14159... ( mas algo), sino 3.14139 ( radianes). Esto no es sorprendente,
porque existe una extrema sensibilidad a las condiciones iniciales. Ni las observaciones
empiricas del perihelio de Mercurio ni el valor de las constantes pueden ser tan precisas, que
realmente se pueda predecir el valor exacto de la rotacion del perihelio de Mercurio. Una
minima variacion de las decimales de algunas constantes como la velocidad de la lu: , la
constante gravitacional , la masa del Sol , el semiefe mavor v la excentricidad de
Mercurio, genera variaciones en los resultados por encima o por abafo del valor de radianes'
Aunque conocemos con cierta precision la velocidad de la luz y la constante gravitacional, la
masa del Sol (que, ademas, se reduce al ao en kilos
1782
), el semieje mayor, y la
excentricidad son estimaciones conIiables, pero con cierto margen de error. Este margen de error
es suIiciente para inIluir decisivamente en los resultados. Y realmente, esto no es sorprendente,
dado que una orbita completa de radianes contiene 1,296,000 arco segundos en un ao de
Mercurio (88 dias), y estamos buscando, por lo tanto, una adicion a este monto de arco
segundos, es decir, solamente 0.000008001543 adicional.

Einstein opto por un camino diIerente. En el siguiente apartado veremos como el simpliIico la
ecuacion en Iuncion del resultado esperado. Sin embargo, el hecho de que Einstein afusto esta
ecuacion varias veces en funcion del resultado esperado
1783
significa, logicamente, que la
coincidencia del resultado obtenido con la rotacion empirica del perihelio de Mercurio, !"
$"%%"&"%' () *+"%,- .+!+%-/0 (1!" ("/-2+!*+ 3+2"(*%' /- $"24-*1&1/13-3 de este resultado
empirico con su teoria5 Si la solucion de la ecuacion exacta (la nuestra) no da el resultado exacto,
menos la solucion de la aproximacion de Einstein. Tal vez, esto haya querido decir Barbara
Cline, cuando dijo que se trata de una 'escasa verificacion.
1784

VI C 4. Einstein elige las aproximaciones en funcin del resultado esperado

Mediante un procedimiento exacto obtuvimos el angulo , en el transcurso de medio ciclo, de
a , de la orbita de Mercurio (ecuacion 83 B).
(83 B)

1782
Cada segundo se transIorman 584 millones de toneladas de hidrogeno en unos 580 millones de toneladas de
helio, transIormando unos 4 millones de toneladas de masa en energia. La disminucion de la masa del Sol es,
entonces, al ao
1783
Vease a continuacion la Seccion VI C 3
1784
Barbara L. Cline, Los creadores de la nueva fisica (1973): 295

711

Con metodos estimativos, Einstein obtuvo una aproximacion semejante al resultado exacto y
estimo tambien el valor de (la ecuacion 84).
1785

(84)

Invito al lector a que compare la ecuacion exacta (83 B) con la aproximada de Einstein (84).
Al comparar la ecuacion exacta (la 83 B) con la aproximacion de Einstein (la 84), aparecen las
siguientes diIerencias:

!" $%&"%'() $*"%+" ,-. /0 !" $%&"%'() "123*'4"5" 5$ 6')7+$') ,-80
1 1.0000001065498516
1969.81 2954.71
1.0000000531806374 1.0000001065498516
3.606114816681* 3.6061149085141*

La diIerencia entre 1 y 1.0000001065498516 parece pequea, pero invito al lector a recordar lo
que acabo de decir arriba, a saber, 'una orbita completa de radianes contiene 1,296,000
arco segundos en un ao de Mercurio (88 dias), v estamos buscando, por lo tanto, una adicion a
este monto de arco segundos, es decir, solamente 0.000008001543 adicional. Esta
minima diIerencia entre 1 y 1.0000001065498516 explica mas o menos la rotacion del perihelio
de Mercurio, que Einstein esta buscando. Al aadir a la unidad, el ajusta la ecuacion
en Iuncion del resultado deseado.

La diIerencia entre y es grande, pero multiplicado con (cuyo valor es
variable, pero tomamos su valor maximo en esta comparacion), la diIerencia llega a ser
relativamente pequea, a saber, y .

Con todo, esta ecuacion de Einstein es una primera simplificacion v aproximacion de la
ecuacion exacta.

Podemos Iactorizar la ecuacion (84) para obtener:
(85)

1785
Kniglich Preussische Akademie der Wissenschaften. Sit:ungsberichte (1915), traducido al ingles en The Collected
Works of Albert Einstein, vol. 6 (1989): 116

712
El programa Mathematica de WolIram puede evaluar esta integral numericamente y
graIicarla. En la siguiente graIica, el area bajo la curva representa la evaluacion de esta integral,
de a , es decir el perihelio de Mercurio (medio ciclo ) mas su desplazamiento por el
campo gravitacional del Sol ( 0.000008001543 de ):

Grfica. Perihelio de Mercurio ms la rotacin del perihelio en media rbita

Podemos simpliIicar la ecuacion (85), usando el teorema de las series de Taylor, a saber,

En nuestro caso:
(86 A)
k0)
k1)
k2)
etcetera

713
Sumando la (k0) (k1) (k2) .... ( ), obtenemos :
(86 B)

Por lo tanto, la (85) se transIorma en la (87):
(87 A) (
nota

1786
)
(87 B)

Tratemos ahora ambos integrales por separado:
(88 A)
(88 B) X
(88 C) Y

Primero reescribimos el termino comun a ambos integrales en el denominador:
(89)

(90)

Sustituimos la (90) en la (88 B) y la (88 C) para obtener la (91) y la (92):
(91) X
(92) Y

Reordenamos los terminos:

1786
Kniglich Preussische Akademie der Wissenschaften. Sit:ungsberichte (1915), traducido al ingles en The Collected

714
(93) X
(94) Y

Ahora procedemos con un cambio de variables:
(95)
(96)

Sustituimos (95) y (96) en (93) y (94) para obtener (97) y (98):
(97) X
(98) Y

DeIinimos Z:
(99) Z

Combinando (X Z), obtenemos XX:
(100) XX(XZ)

715
Y tomando (Y Z), obtenemos YY:
(101) YY (Y-Z)

Ahora bien, combinando (88 A), (100) y (101), obtenemos:
(102)

Hagamos una nueva sustitucion de variables:
(103)
(104 A)
(104 B)

Sustituimos (103) y (104 B) en (101):
(105) YY

Sustituimos en (105) y , para obtener (106):
(106) YY

Recordemos:
(100) XX
(107) XX

en donde

716

La (107) se transIorma en la (108), por la integracion de una Iuncion trigonometrica
inversa:
1787

(108) XX

Tenemos dos opciones: A) el signo positivo () antes de la raiz o B) el signo negativo (-) antes
de la raiz. La opcion A nos da:
(109 A) XX

(110 A) XX

La opcion B nos da:
(109 B) XX

(110 B) XX

Obviamente, la opcion B (ecuacion 110 B) con el signo positivo es la buena. Recordemos:
(106) YY0

Por lo tanto, con base en la (102), (106) y (110 B), obtenemos:
(111)

1787
Veanse B. Peirce & Ronald Foster, ! #$%&' ()*+, %- ./',0&)+1, 4th ed. (1956): ecuacion 130, pag. 22; y Ron
Larson & Bruce Edwards, 23+45+% (2006): teorema 5.17, pagina 380

717

Este es el resultado de media orbita. Para obtener una orbita completa ( ), hemos de
multiplicar con 2 y la rotacion del perihelio es:
(112)

Dado que , se sigue que en un ao, la rotacion del perihelio es:
(113) ,

y dado que un ao de Mercurio son 88 dias, la rotacion del perihelio en un siglo terrestre es:
(114)

!" $%&'"()*+ +,(%-.*+ *% /0 )$1+ &%2'-*+& -+ 1+.-1.*% %3)1()4%-(% 1+- "+& 56 )$1+
&%2'-*+& %&7%$)*+& 7+$ !.-&(%.-8 9:+$); <" )='&() &'& %1')1.+-%& 7+$ &%2'-*) >%?; 7)$)
+,(%-%$ %" $%&'"()*+ %&7%$)*+; 7)$) @'%*)$ 1+4+ &.2'%:
(115) (
nota

1788
).
En la metrica (-, -, -, ) que Einstein usa, , se sigue que (
nota
1789
). Ademas, ' v representan los valores reciprocos de la distancia maxima v minima del
Sol, respectivamente,
1790
es decir, y (
nota

1791
). El
termino es el semieje mayor y es la excentricidad de la orbita eliptica. Haciendo la
sustitucion de , se obtiene:
1792

1788
Ibidem: 116, ecuacion (13)
1789
Veanse las ecuaciones 4 y 5 de este apendice
1790
1791
Vease las ecuaciones (113), (114) y (116) del Apendice II sobre Kepler y Newton
1792
Works of Albert Einstein, vol. 6 (1989): 116, , ecuacion (12)

718
(115) (
nota

1793
).

Si multiplicamos ambos lados con 2, obtenemos una orbita completa ( ), mas algo extra, a
saber, el desplazamiento del perihelio en una orbita, deIinido por Einstein como : 'despues de
una orbita completa, el perihelio avan:a con:
1794

(116)

En seguida, Einstein introduce el periodo orbital ,
1795
sin decir que para esto usa la tercera
lev de Kepler en su forma aproximada:
1796

(117)

Aunque Einstein no lo dice, con esta ecuacion podemos redeIinir el termino por el usado en
sus ecuaciones, a saber:
(118)

Si sustituimos en , obtenemos la ultima ecuacion del articulo
de Einstein, con la cual pretende calcular la rotacion del perihelio de Mercurio en un siglo y
corroborar su teoria general:
1797

(119)

Si el lector mete los valores empiricos de la orbita de Mercurio a la ecuacion de , se topa con
una sorpresa desagradable. No se obtiene el resultado esperado. La ra:on es que Einstein da,
implicitamente (no lo aclara), al termino dos valores enteramente distintos. En el termino
que viene de la tercera ley de Kepler, tiene el valor de , pero el termino

1793
Works of Albert Einstein, vol. 6 (1989): 116, ecuacion 13
1794
1795
1796
Vease la ecuacion (136) del Apendice II sobre Kepler y Newton
1797
Works of Albert Einstein, vol. 6 (1989): 116, ecuacion (14)

719
que viene de su ecuacion (13) debe expresarse en arco segundos, a saber , de modo
que:
(120)

Ya tomando en cuenta todo esto, obtenemos la rotacion del perihelio de Mercurio en una sola
orbita de radianes:
1798

(121) / orbita

Dado que una orbita de Mercurio dura 87.892 dias, hemos de transIormar este resultado para
obtener la rotacion del perihelio en un siglo terrestre:
(122) / siglo

De hecho, esto no es la rotacion empirica del perihelio. La rotacion total es 574 arco
segundos por siglo. De estos 574, unos 531 se deben a la inIluencia de los demas planetas del
sistema solar, como ya habia calculado Newton. La teoria general explica la rotacion adicional
que faltaba, es decir 43, como el mismo dice:

'El calculo arrofa para el planeta Mercurio un avance del perihelio de 43'' por siglo, cuando
los astronomos apuntan por siglo como la diferencia no explicada entre sus
observaciones v la teoria newtoniana. !" $%&'()* %+$&+,%-* %-$. ,&/01%$)/%+$% 2% ),3%'2& ,&+
1)- &4-%'5),"&+%-.
1799

Si bien es cierta esta conclusion de Einstein, hemos comprobado en este ensayo 63% -% $')$) 2%
3+) ,&/0)$"4"1"2)2* +& 2% 3+) ,&''&4&'),"7+8 En su articulo, Einstein hace tantos
malabarismos, que yo no creo que los miembros de la Real Academia de Ciencias de Prusia, en
noviembre de 1915, ni las personas que hoy dia se dan la pena de consultar el articulo de
Einstein, hayan reconstruido su razonamiento, razon por la cual oIrecimos al lector interesado la
reconstruccion llevada a cabo en este ensayo.

1798
El resultado coincide mas o menos con el obtenido por Steven Weinberg, Gravitation and Cosmologv (1972):
198, a saber,
1799
Works of Albert Einstein, vol. 6 (1989): 116. mis negrillas
720

Apéndice Vi. La Teoría General de La Relatividad Apéndice Vi A. La Construcción Del Tensor Métrico!

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Apéndice Vi. La Teoría General de La Relatividad Apéndice Vi A. La Construcción Del Tensor Métrico!

Hochgeladen von

Copyright:

Verfügbare Formate

631

APNDICE VI. LA TEORA GENERAL DE LA RELATIVIDAD

Das könnte Ihnen auch gefallen