Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Elementos de Relatividad. Alfonso Sepulveda PDF
Elementos de Relatividad. Alfonso Sepulveda PDF
de
relatividad general
Alonso Sep
ulveda S.
Instituto de Fsica
Universidad de Antioquia
Medelln, julio 2013
El espacio de Einstein
no est a mas proximo a la realidad
que un cielo de Van Gogh.
La gloria de la ciencia no est a
en una verdad m as absoluta
que la verdad de Bach o Tolstoi,
sino en el acto de la creaci on misma.
Los descubrimientos de los cientficos
imponen su propio orden en el caos,
como el compositor o el pintor impone
el suyo; un orden que se refiere siempre
a aspectos limitados de la realidad,
influido por el marco
de referencia del observador,
que difiere de un perodo a otro,
de la misma manera que
un desnudo de Rembrandt
difiere de un desnudo de Manet.
Arthur Koestler
Indice general
Pr
ologo VI
1. Geometra diferencial 2
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Coordenadas curvilneas generales . . . . . . . . . . . . . . . . . . . 4
1.2.1. Base original y recproca . . . . . . . . . . . . . . . . . . . . . 4
1.2.2. Teora de transformacion . . . . . . . . . . . . . . . . . . . . 9
1.3. Formas multilineales . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Algebra tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. El operador gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Geodesicas en N dimensiones . . . . . . . . . . . . . . . . . . . . . . 17
1.6.1. Smbolos de Christoffel . . . . . . . . . . . . . . . . . . . . . . 20
1.7. Derivada covariante . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.7.1. Diferencial covariante . . . . . . . . . . . . . . . . . . . . . . 26
1.7.2. Derivacion covariante de un producto y de un tensor . . . . . 28
1.7.3. La conexion afn . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.7.4. Divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.7.5. Rotacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.7.6. Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.8. Tensor de Riemann-Christoffel . . . . . . . . . . . . . . . . . . . . . 35
1.8.1. Tensor de Ricci-Einstein . . . . . . . . . . . . . . . . . . . . . 38
1.8.2. Tensor de Einstein . . . . . . . . . . . . . . . . . . . . . . . . 40
1.9. Densidad tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.9.1. Aplicaciones de la densidad tensorial . . . . . . . . . . . . . . 42
1.10. Miscelanea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2. Gravitaci on 51
2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.2. Teora newtoniana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2.1. Ley de Newton de la gravitacion . . . . . . . . . . . . . . . . 52
iii
iv/ Relatividad general
Bibliografa 161
Indice alfab
etico 163
Pr
ologo
Geometra diferencial
1.1. Introducci
on
La relatividad general es una teora sobre el espacio y el tiempo. Fue precedida
por la relatividad especial, teora que permitio entender que el tiempo y las tres
coordenadas del espacio son parte como descubrio Minkowski de un espacio-
tiempo de 4 dimensiones que es el escenario de los fenomenos fsicos.
Resulta logico por ello que una presentacion de los fundamentos de la relatividad
general comience por introducir temas geometricos, en particular sistemas de coor-
denadas, a partir de los cuales es posible definir puntos en espacios N dimensionales;
uno de estos espacios podra describir el espacio-tiempo.
Ninguna mencion sera hecha en este captulo a la posibilidad de que la estructura
de estos espacios, o de alguno de ellos, este conectada con la existencia del mundo
material que la fsica pretende describir. Por ello una idea simple anima el comienzo
de esta exposicion: proponer la nocion de coordenadas curvilneas no ortogonales
en 3D, extensible sin dificultad a espacios multidimensionales, sin asumir que el
espacio N dimensional es euclidiano, ni que las coordenadas cartesianas tienen alg un
privilegio. Conviene entonces acentuar que en cada punto del N-espacio es posible
construir una red coordenada, lo que no supone un conocimiento de la estructura
fsica del espacio. Vale decir que la presentacion que sigue se inicia desde un divorcio
de principio entre la geometra y la fsica. Ning un argumento fsico inspirara la
construccion matematica aqu presentada. Por ello este captulo bien puede hacer
parte de un texto de geometra pura, de geometra diferencial. No seran pertinentes,
ni necesarios por ahora los comentarios a las sugerencias de Leibniz o de Mach acerca
de que el mundo de los fenomenos esta inevitablemente asociado a un espacio y un
tiempo determinados por el contenido material del mundo, punto de vista desde el
cual cualquier discusion sobre la geometra fsica y la posibilidad de una medida de
distancias y tiempos, habra de incluir el universo material entero.
2
1. Geometra diferencial /3
En este sentido este no es un captulo sobre geometra fsica sino sobre geometra
matematica, sin compromiso alguno con la experiencia. Es un captulo completa-
mente aseptico, no contaminado con la presencia del mundo. Como se vera luego
esta inicial asepsia tiene una consecuencia epistemologica fundamental que no es
posible soslayar y que es una de las debilidades de la teora de Einstein y de todas
las teoras modernas sobre el espacio y el tiempo, pues si una discusion sobre el
mundo de la materia comienza con una disquisicion abstracta que no la involucra,
entonces toda elaboracion teorica posterior carecera del elemento esencial que a el
lo refiera. La imagen del mundo que de aqu provenga sera entonces, a su pesar,
la base de un conocimiento incompleto sobre el universo real.
En cierto sentido, entonces, las paginas que siguen, resultado de la geometra
pura, seran, respecto al conocimiento del mundo material , una especie de meta-
fsica, de fundamento sin sustrato, no una parte de la fsica. Como se vera en el
captulo 2, la relatividad especial y general, las mejores teoras de nuestra epoca
sobre el espacio y el tiempo, comenzaron por asumirlos como una estructura que
precede al mundo fenomenico.
La nocion matematica de espacio comienza su camino a partir de la creacion
de la geometra analtica, disciplina que, con Descartes algebrizo el espacio e hizo
posible la descripcion del movimiento a partir del calculo diferencial. La nocion de
distancia entre dos puntos resulto ser tanto un objeto de la geometra algebraica
como del calculo diferencial.
Se trata aqu, dicho otra vez, de ampliar las nociones cartesianas, introduciendo
las coordenadas curvilneas N dimensionales. El desarrollo permitira mostrar, intro-
duciendo una notacion conveniente, que es posible escribir ecuaciones cuya forma
general es la misma para todos los sistemas coordenados curvilneos en el N-espacio.
La disciplina que permite esta invarianza es el calculo tensorial, una forma elegante
y poderosa de lograr esa sublimacion algebraica de la geometra que es la geometra
de Riemann, una estructura que reinventando a Euclides permitio una nueva
descripcion del mundo.
El proyecto de escribir leyes invariantes es interesante, importante y de alta
estetica, pues la fsica pretende fabricar leyes del mundo que sean validas en todos
los sistemas de coordenadas o de referencia. Con estas ideas Einstein hizo su obra
de arte, la relatividad general.
De acuerdo con lo dicho, lo que aqu se expondra sera una teora de espacios geo-
metricos, no de espacios fsicos, pues en lo que sigue, y a pesar de que los geometras
ocasionalmente pensaron en el mundo fsico, ning un argumento surgido del mundo
de los fenomenos impondra condicion alguna sobre la construccion de estos espacios.
La relatividad general utiliza la teora geometrica aqu descrita, asumiendola
como una teora fsica sobre el espacio (en nuestro caso el espacio-tiempo), seg un la
cual su estructura depende de la materia, aunque el espacio persiste aun en ausencia
de ella.
4 / Relatividad general
Conviene, para finalizar, hacer una reflexion sobre temas newtonianos. La solu-
cion a la ley de Gauss para la gravitacion en el interior de un cascaron esferico
de masa muestra que el campo de gravitacion es nulo, vale decir que el potencial
gravitacional es constante en un espacio y tiempo que ya estaban presentes, al igual
que estaba presente la posibilidad de los infinitos sistemas inerciales. Puede sugerir-
se, sin embargo, alterando el orden de las ideas, que los sistemas inerciales estan
asociados a potenciales gravitacionales constantes generados por las grandes masas
lejanas y que la ilusion de Newton es que el espacio y el tiempo estaban antes de
ellas y que no era necesario fsicamente el cascaron. Seg un esto, podra pensarse
que Newton supuso la existencia previa del espacio y el tiempo en el interior del
cascaron cosmico que nos rodea sin sospechar que la estructura del espacio y el
tiempo podra deberse por entero a la masa circundante. Es decir que Newton des-
cribe el problema a la inversa; primero asume el espacio y tiempo absolutos y luego
descubre que en el interior del cascaron esferico que es el universo que nos circunda
hay un potencial gravitacional constante. Esto significa que el espacio y el tiempo
son ontologicamente diferentes del mundo y no lo implican. En estas lneas se mueve
la teora geometrica sin mundo que sigue a continuacion. Como se vera, la nocion
se masa no aparece en parte alguna en este primer captulo.
X3 X3
r i
dr = i
du = ai dui . (1.1)
i=1
u i=1
1. Geometra diferencial /5
u3
u3
a3
a3
a1 a2
a1 a2
u2
u1 u1
u2
i
El smbolo j se conoce como delta de Kronecker, en el que un ndice es super
i
y el otro sub, y que se define como j = 0 si i 6= j, ii = 1 (sin suma sobre i).
Si el sistema coordenado (a1 , a2 , a3 ) es de mano derecha, lo sera tambien (a1 , a2 , a3 ).
De (1.2) es cierto, ademas, que:
a1 a2 a3 = (a1 a2 a3 )1 .
Las definiciones (1.2) para ai son validas solo en 3D; para un espacio N-dimensional
se asume como definici on de base recproca la relacion:
ai aj = j
i
i, j = 1, 2, ...N. (1.3)
Lo que sigue sera valido para N dimensiones. Teniendo en cuenta que el producto
escalar es conmutativo, de (1.3) se sigue que:
ai aj = j
i
= aj ai = j
i
ji . (1.4)
Como se ve, los deltas de Kronecker tienen una simetra horizontal, segun la cual,
y sin alterar los valores, el ndice superior puede desplazarse a derecha (o izquierda)
mientras el inferior se desplaza a izquierda (o derecha). Por esto, puede escribirse
ji , sin importar si i esta a la izquierda o derecha de j. Lo que s debe conservarse
es la posicion arriba-abajo. Debido a la simetra horizontal, se dice que la delta de
Kronecker es simetrica.
En el sistema recproco el elemento diferencial de lnea se escribe: dr = ai dui y
se postula que dr es el mismo en la base original y en la recproca, tal que:
g kj = ak aj = g jk . (1.7)
p p p
|a1 | = g 11 , tambien |a2 | = g 22 y |a3 | = g 33 , (1.11)
de modo que la base {ai } no esta normalizada a la unidad. Tampoco la base {ai }.
Tambien de (1.7) con k = 2, j = 3 se obtiene el coseno del angulo entre la pareja
(a2 , a3 ):
g 23 g 23
cos(a2 , a3 ) = 2 3 = p .
|a ||a | g 22 g 33
Como a1 = e1 g11 , con |
e1 |a1 | = e1 | = 1, etc,
|a1 a2 a3 | = | e1
e2 e3 | g11 g22 g33 = g11 g22 g33
p
= |a1 a2 a3 |1 = 1/ g 11 g 22 g 33 . (1.12)
El elemento de lnea en direccion a1 es dl1 = dr a1 = ai a1 dui = gi1 dui . El
intervalo es la distancia infinitesimal entre dos puntos en el N -espacio:
ds2 = drdr = (ai dui ) (aj duj ) = gij dui duj
= (ai dui ) (aj duj ) = ij dui duj = dui dui
= (ai dui ) (aj duj ) = g ij dui duj .
El escalar ds2 es invariante bajo escogencia de la base (original o recproca), lo
que es consecuencia de la invarianza de dr.
La importancia del tensor metrico gij esta en que como veremos todas las
propiedades metricas de un espacio N dimensional estan determinadas por el. A este
espacio se le llama tambien continuo metrico N dimensional o espacio de Riemann
N dimensional. La funcion gij es el campo tensorial fundamental en la teora de la
gravitacion de Einstein.
8 / Relatividad general
Ejercicio:
En coordenadas cartesianas ds2 = (dx)2 + (dy)2 + (dz)2 por lo que g 11 = g 22 =
g 33 = 1, g 12 = g 23 = g 31 = 0. Esto es: gij = g ij = ij , por lo cual ai = ai ,
dxi = dxi , |ai | = |g ii | = 1: el sistema original y el recproco coinciden, no
siendo entonces necesaria la diferencia entre sub y super ndices.
Con base en los coeficientes m etricos cartesianos pueden calcularse los g ij en
cualquier otro sistema coordenado si se asume la invarianza de ds2 bajo la
transformaci on coordenada de una base cartesiana a otra curvilnea a i :
3
X xk xk
ds2 = dxk dxk = gij dui duj = dui duj
k=1
ui uj
ui uj
= lk dxk dxl = gij dxk dxl .
xk xl
En consecuencia, eliminando dui duj en la primera lnea:
xk xk
gij = , (1.13)
ui uj
y eliminando dxk dxl en la segunda lnea:
ui uj
lk = gij . (1.14)
xk xl
Consid erese como ejemplo especfico el paso de coordenadas cartesianas
(x1 , x2 , x3 ) = (x, y, z), a esf
ericas (u1 , u2 , u3 ) = (r, , ). Como se sabe la
regla de transformaci on es:
x = r sen cos , y = r sen sen , z = r cos .
Entonces, de (1.13):
x x y y z z
g11 = + + = 1,
r r r r r r
x x y y z z
g22 = + + = r2 ,
x x y y z z
g33 = + + = r 2 sen 2 .
con g ij = 0 si i 6= j.
1. Geometra diferencial /9
P3 P3
Puesto que dr = ai dui = ei gii dui =
i=1 ei dli , con |
i=1 ei | = 1, el
elemento de lnea en direccion ai es dli = gii dui (sin suma), por lo que, en
coordenadas esf ericas: dl1 = dlr = dr, dl2 = dl = r d, dl3 = dl = r sen d.
De las expresiones ai = gij aj y con a0i = {ar , a , a } = {er , r
e , r sen
e } y
ai = {, j, k},
se obtiene:
ui j
dui = dv , (1.15)
v j
v j i
dv j = du . (1.16)
ui
La invarianza de dr bajo el cambio U V se expresa como:
ui
bj = a i . (1.17)
v j
v j
ai = b j . (1.18)
ui
10 / Relatividad general
ui v j
dui = duk , y como dui ki duk , entonces:
v j uk
ui v j v j ui
= ki y es demostrable que: = kj . (1.19)
v j uk ui v k
La conexion entre los diferenciales coordenados de las bases recprocas se obtiene
en la forma siguiente: de ai dui = bj dvj , multiplicando escalarmente por ak :
v l v l v j
duk = bl k
bj dvj = lj k dvj = dvj , de donde:
u u uk
v j
duk = dvj . (1.20)
uk
Tambien, de ai dui = bj dvj , multiplicando escalarmente por bk se sigue:
ui
dvk = dui . (1.21)
v k
ui v j
ai = b j , y b j = ai . (1.22)
v j ui
Las cantidades invariantes (dr, ds2 , etc) no tienen ndices flotantes, solo ndices
repetidos, uno sub y el otro super.
U S V S 0
ui xi v j x0j
ui xi vj x0j
ai ai bj a0j
ai ai bj a0j
1. Geometra diferencial /11
Ahora bien, una forma de introducir formas bilineales es a traves del producto
adico de dos vectores A y B definido como:
di
AB = (ai Ai )(aj B j ) = ai aj Ai B j .
1.3.0.2. Productos
a. El producto punto (o escalar) entre dos vectores A y B produce un escalar:
A B = gij Ai B j = g ij Ai Bj = Ai Bi = Ai B i .
ai aj = |a1 a2 a3 | ijk ak ,
1.3.0.3. Dadas
En forma general, la cantidad T = ai aj T ij es una forma bilineal o dada o tensor
de 2 orden, cantidad que es invariante bajo transformacion coordenada, esto es:
T = T0 , o tambien:
T = ai aj T ij = T0 = a0k a0l T 0kl . (1.27)
Es facil comprobar que las siguientes formas son equivalentes:
Los puntos, como en Tij , se colocan en los lugares vacos para mantener memoria
de las posiciones de los ndices. Con la practica seran suprimidos.
1. Geometra diferencial /13
x0k x0l
ai = a0k , aj = a0l ,
xi xj
se obtiene la regla de transformacion de las componentes de un tensor de segundo
orden doblemente contravariante:
x0k x0l ij
T 0kl = T . (1.28)
xi xj
Aplicando a (1.27) la regla inversa de transformacion se obtiene:
xi xj 0kl
T ij = T . (1.29)
x0k x0k
1.3.0.4. Tensores
Generalizando, un tensor de orden (o rango) r es una funcion r-lineal expresable
en los vectores base, cuyos coeficientes son, en general, funcion de las coordenadas.
El tensor es un invariante bajo transformacion de coordenadas; esto es:
x0i x0j lm
T 0ij = T .
xl xm
Un tensor de orden 0,1,2,3, etc. en un espacio N-dimensional tiene, respectiva-
mente, 1, N, N 2 , N 3 etc. componentes. No es solo el n
umero de componentes lo que
define un tensor sino, ante todo, la regla de transformacion de sus componentes.
Un tensor de segundo orden es simetrico si: T ij = T ji . Multiplicando por gik se
obtiene:
j j
Tk = Tk . (1.33)
Tambien, multiplicando por gji se sigue: Tki = Tik .
Por definicion, un tensor de segundo orden es antisimetrico si: T ij = T ji , que
equivale a Tij = Tji , o tambien:
j j
Tk = Tk . (1.34)
x0k xj i x0k xi
T 0k 0k
l = l = = = lk ;
xi x0l j xi x0l
por tanto: kl = l0k . La delta de Kronecker es un tensor isotr
opico.
b. Demostrar que gij es un tensor de segundo orden.
Reemplazando dxi y dxj de (1.23) en ds2 = gij dxi dxj = gkl 0 dx0k dx0l se sigue:
0 xi xj
gkl = gij . (1.35)
x0k x0l
Esta es, efectivamente, la regla de transformaci on de un tensor de segundo
orden. El tensor gij contiene toda la informaci
on sobre la estructura del espacio
N-dimensional.
1.4.
Algebra tensorial
a. La suma o resta de tensores se define solo entre los que tengan el mismo rango
y su resultado es un tensor del mismo rango. Los tensores a sumar o restar deben
1. Geometra diferencial /15
tener la misma estructura de ndices. Es decir, solo tensores con los mismos ndices
superior e inferior pueden sumarse para formar tensores. Por ejemplo:
T = A + B = ai aj Aij + ai aj B ij = ai aj (Aij + B ij ) = T ij .
T = AB = ai aj ak Ai B jk = ai aj ak T ijk .
F G = ai aj al am an F ij Glmn ,
donde aj al = gjl es el producto escalar entre los dos vectores contiguos. Al reem-
plazar se obtiene:
F G = ai am an Fli Glmn .
El resultado del producto escalar simple de dos tensores de rangos r y s es un
tensor de rango r + s 2.
d. El producto escalar doble de los tensores F y G se define como:
F:G = ai aj : al am an F ij Glmn
= (aj al )(ai am )an F ij Glmn = gjl gim an F ij Glmn = an F ij Gji n
Como se ve, el producto se realiza desde dentro hacia afuera: primero los que
contienen j y l, luego los que contienen i y m. El doble producto escalar genera un
tensor de rango r + s 4. Puede tambien definirse el producto escalar triple, etc.
El producto externo de F = ai aj F ij y G = al am an Glmn da lugar a un tensor
con componentes F ij Glmn . El producto escalar simple genera Fil Glmn y el doble da
lugar a F ij Gji
n
. Obs
ervese la aparicion de ndices repetidos, operacion que resulta
de lo que se conoce como contracci on de ndices. Cada vez que hay contraccion el
rango del tensor disminuye en 2. En F ijk Gjkn hay producto doble de dos tensores,
por tanto hay contraccion doble. El tensor resultante es de rango 3+322=2 y es
de la forma Ai n .
e. La division entre vectores A/B no esta definida, ya que en principio no
esta definida la cantidad 1/ai .
f. El tensor identidad o unidad se define como I = ai aj g ij = ai aj gij = ai ai =
a aj ij = ai ai = ai aj ji . El producto escalar simple de I con cualquier vector repro-
i
duce el vector:
I A = A I = A.
16 / Relatividad general
1.6. Geod
esicas en N dimensiones
La distancia infinitesimal entre dos puntos puede calcularse de (1.24) conocido
el coeficiente g que, en general, depende del sistema de coordenadas escogido y
de las coordenadas del punto. A partir de los diferenciales ds es posible evaluar la
distancia extrema entre dos puntos cualesquiera A y B. En un espacio euclidiano
2D o 3D es la recta usual, sobre una esfera es un arco del ecuador o de un meridiano.
En general, como evaluar la distancia extrema (la mas corta o la mas larga)
entre dos puntos en un espacio del que, en alg un sistema coordenado,R se conocen
sus coeficientes metricos? Vale decir como se extremaliza la integral ds?
Este problema es soluble en forma general desde el calculo de variaciones, el que,
en general, pretende extremalizar integrales del tipo:
Z
f (y(x), y(x),
x) dx (1.38)
RB
Si la curva es una extremal, esto es, si l = A ds = 0 (donde indica una
variacion) entonces la curva se llamara geodesica. Es la lnea mas corta, o mas larga,
entre A y B. El plan de la presente seccion es el de encontrar la ecuacion diferencial
satisfecha por una geodesica.
Con este fin se propone ante todo el siguiente problema general:
18 / Relatividad general
Siguiendo los desarrollos de la seccion 2.2 del libro de H. Goldstein, que permiten
R R
demostrar en particular que la variacion y la integracion conmutan, = ,
d d
y tambien la derivada y la variacion, ds (xi ) = ds (xi ), es posible escribir:
Z B Z B
F = f (xi (s), x i (s)) ds = f (xi (s), x i (s)) ds
A A
Z B Z B
f i f i f i f d i
= x + x ds = x + (x ) ds
A xi x i A xi x i ds
Z B
f i d f i d f i
= x + x x ds
A xi ds x i ds x i
Z B Z B
f d f i d f i
= x ds + x ds
A xi ds x i A ds x i
Z B
f d f f B
= i
i
xi ds + i
xi A .
A x ds x x
B
x
xi
A
Ejercicios:
1. En el plano euclidiano es cierto que:
Z q Z q
l= (dx)2 + (dy)2 = 1 + (dy/dx)2 dx
Z p Z
1 + y 2 dx = F (y, y,
x) dx,
d y
p = 0,
dx 1 + y 2
2 i j
Puesto que ds = gij dx dx , entonces:
dxi dxj
1 = gij = gij x i x j , por tanto:
ds ds
Z B Z B Z B Z B
ds = 1 ds = gij x i x j ds = f ds,
A A A A
20 / Relatividad general
f gij i j
= x x (1.42)
xk xk
f
= (gij x i x j ) = gij [ki x j + kj x i ]
x k x k
= gkj x j + gik x i = gkj x j + gkj x j = 2gkj x j
de donde se sigue:
d f d j dx j dgkj j
= 2 (gkj x ) = 2 gkj + x
ds x k ds ds ds
gkj
= j + 2 i x i x j
2gkj x
x
j gkj gki
= 2gkj x
+ + x i x j . (1.43)
xi xj
Reemplazando (1.42) y (1.43) en (1.41) puede escribirse:
1 gkj gki gij
j +
gkj x + x i x j = 0. (1.44)
2 xi xj xk
j 6= x
[Ha de notarse que gkj x k .] Multiplicando por g kl aparece en el primer
kl l
termino g gkj = j lo que conduce a:
l g kl gkj gki gij
x
+ + x i x j = 0. (1.45)
2 xi xj xk
La anterior es la ecuacion diferencial de la geodesica. En el N -espacio esta
ecuacion equivale a N ecuaciones diferenciales de segundo orden. Cuando se integre
dara las ecuaciones parametricas, en terminos de s, de la geodesica. Sera necesario
proveer 2N constantes de integracion, que pueden ser las coordenadas de los puntos
extremos A y B, o las coordenadas de un punto y la tangente x i en ese punto.
gki
[ij, k] + [kj, i] = .
xj
g kn l l
gki j
= ln ij + g kn gli kj ,
x
y multiplicando por g mi :
g mn n m
j
= g mk kj + g kn kj .
x
i 1 ki gki
= g . (1.51)
ij 2 xj
ki
g ki = , (1.52)
|g|
|g|
= |g|g ki ,
gik
El ultimo termino, el que contiene la segunda derivada, hace que no se
transforme como un tensor de tercer orden. Es importante tener en cuenta que la
regla de transformacion de un tensor es tal que si en un sistema coordenado todas
las componentes del tensor soncero, tambien lo seran en cualquier otro sistema
coordenado. Esto no ocurre con , ni con x i , ya que sus reglas de transformacion
son inhomogeneas, es decir, no contienen un tensor en cada sumando.
Si se hubiese partido de la ecuacion de la geodesica en S para llegar a la corres-
pondiente en S 0 se hubiera obtenido la regla recproca:
0 i xj xk x0 2 xi x0
= jk x0 x0 xi
+ . (1.59)
x0 x0 xi
x0 2 xi xi xj 2 x0
i
+ = 0. (1.60)
0
x x x 0 x0 x0 xi xj
Esta ecuacion puede escribirse:
x0 2 xi xi 2 x0
i
+ = 0.
0
x x x 0 x0 x0 xi
y equivale a:
x0 xi
= = 0,
x0 xi x0 x0
lo que significa que la derivada parcial de es cero, as pues: la delta de Kronec-
ker tiene el mismo valor en todos los sistemas coordenados. Sus elementos pueden
considerarse como las componentes de la matriz identidad.
La identidad (1.60) puede utilizarse para escribir la regla de transformacion
(1.59) en la forma equivalente:
0 i xj xk x0 2 x0 xi xj
= jk x0 x0 xi
.
xi xj x0 x0
x
A0i = A ; derivando respecto a x0j se sigue:
x0i
1. Geometra diferencial /25
A0i A x 2 x
= + A 0i 0j (1.61)
x0j 0j
x x 0i x x
A xk x 2 x
= + A . (1.62)
xk x0j x0i x0i x0j
2 x x l 0 x x
= ;
x0i x0j x0l ij x0i x0j
A m
k
Am k
x
26 / Relatividad general
x xk
A0i;j = A;k . (1.65)
x0i x0j
Un procedimiento similar realizado derivando un vector contravariante conduce
a la regla:
x0i x
A0i;j = A , (1.66)
x x0j ;
donde la derivada covariante de un vector contravariante se define en la forma:
i
Ai; = Ai, + A
. (1.67)
En general, para un campo tensorial Aij se cumple que DAij = Aij;k dxk .
De las anteriores expresiones puede evaluarse el diferencial covariante a lo largo
de una curva parametrizada por su longitud s. De (1.70), dividiendo por Ds (que
es igual a ds):
dx i i dxj dxk
+ jk = 0,
ds ds ds
coincidente con la ecuacion de la geodesica (1.48).
28 / Relatividad general
1.7.2. Derivaci
on covariante de un producto y de un tensor
Ante todo, no es difcil demostrar que la derivada covariante de una suma es la
suma de las derivadas covariantes.
La derivacion parcial de un producto satisface la regla de Leibniz:
De un modo analogo, desarrollando las derivadas covariantes (Ai B j );k , (Ai Bj );k
y (Ai B j );k puede demostrarse que:
j i
T ij;k = T ij,k + T i k + T j k ,
Tij;k = Tij,k Ti jk Tj ik ,
j
Ti j ;k = Ti j ,k T j ik + Ti k . (1.74)
gij;k = 0. (1.75)
1.7.3. La conexi
on afn
En un espacio euclidiano y en coordenadas cartesianas dos vectores en puntos
diferentes del espacio, xi y xi + dxi , son iguales si sus componentes cartesianas en
ambos puntos son iguales.
Por ejemplo, dos fuerzas pueden ser iguales aunque se apliquen en puntos dis-
tintos. Por extension, un campo vectorial A en un espacio euclidiano es constante si
sus componentes cartesianas son las mismas en cada punto. Si las componentes son
iguales, tambien lo sera el modulo del vector. En el caso general no euclidiano ni las
componentes ni los modulos son iguales, pues la metrica depende de la posicion.
En espacios no euclidianos es necesario definir el trasplante de un vector de un
punto a otro cercano para poder comparar las componentes del vector en los dos
puntos. Esto hace posible no solo revisar la nocion de campo constante, sino tambien
construir la resta entre vectores que define el diferencial. Resultara que la definicion
de campo vectorial constante en terminos de la constancia de sus componentes no
es aplicable en espacios generales.
En lo que sigue se quiere definir la constancia de un vector de modo independien-
te del sistema de coordenadas, y tal que se reduzca a la usual definicion euclidiana.
La forma mas simple es partir de un sistema coordenado cartesiano en un espacio
euclidiano, donde para un campo vectorial constante es cierto que dAi = 0, y pasar
a un sistema coordenado curvilneo. As, de:
x0i j
A0i = A ,
xj
obtiene:
dA0i d x0i j 2 x0i dxk j
= A = A
ds ds xj xk xj ds
2 0i
2 x0i xk dx0m xj 0n x xk xj dx0m 0n
= A = A
xk xj x0m ds x0n xk xj x0m x0n ds
0m
i dx
= 0 mn A0n .
ds
i
ltimo parentesis define 0 mn
El u . As, la constancia de las componentes de un
i i
vector en S (dA = 0) implica dA0n 6= 0 en S 0 , pues en general 0 mn 6= 0, excepto
para transformaciones lineales.
En general, e independientemente de su procedencia, se define (suprimiendo
primas) el cambio de las componentes de un vector bajo trasplante de x i a xi + dxi
de la siguiente manera:
dAi = mn
i
dxm An . (1.76)
i
Esta expresion se llamara ley de trasplante vectorial, y los coeficientes mn seran
i i
funciones no restringidas a que en el S original dA = 0. La funcion mn se llama
conexion afn. Un continuo donde esta regla se aplica se llama un espacio afn. Ha
de observarse que en (1.76) no es necesario utilizar la nocion de metrica, vale decir
que klj es caracterstico de un espacio afn y que no es una nocion metrica.
Se exigira que la ecuacion (1.76) sea invariante bajo transformaciones generales
de coordenadas y que si Ai (x) es un vector, tambien lo sea Ai (x+dx). Esto traera res-
i
tricciones sobre la regla de transformacion de mn .
La ley de trasplante en un sistema de coordenadas curvilneo es tal que el vector
trasplantado se escribe:
Ai (x + dx) = Ai (x) + mn
i
dxm An (1.77)
Ai (x + dx)B
i (x + dx) = (1 + j dxj )Ai (x)B i (x),
donde j es un campo vectorial nuevo (ver tambien Adler, seccion 15.2). Esta geo-
metra fue la base de la primera teora unificada de la gravitacion y el electromag-
netismo, propuesta por Weyl en 1918. En ella j es el 4-potencial electrodinamico.
Notas:
Ai (x) i (x + dx)
A
Ai (x + dx)
xj + dxj
xj
dA dAj daj j
= aj + A .
ds ds ds
Como se ve, el cambio en el vector proviene de la variacion intrnseca de las
componentes Aj y del cambio de magnitud y direccion de los vectores de la base
aj . Reemplazando dAj de (1.70):
dA dAj daj j DAj j l dxk dal l
= aj + A = aj lk A + A
ds ds ds Ds ds ds
DAj dal j dxk DAj Daj
= aj + Al aj lk = aj + Aj . (1.87)
Ds ds ds Ds Ds
Es decir:
dA D
= (aj Aj ).
ds Ds
De modo que la derivada ordinaria del vector completo es identica a su derivada
covariante. Bajo trasplante paralelo dA = DAj = Daj = 0, de modo que de (1.87)
los cambios daj y dAj , en un vector de la base y en la componente de un vector,
bajo trasplante son:
j j
dal = aj lk
dxk y dAj = lk
Al dxk
34 / Relatividad general
c. Si se modifica la u
ltima ecuacion escribiendo:
j
dAj = lk Al dxk + j l dxl ,
1.7.4. Divergencia
La divergencia covariante de un vector contravariante puede calcularse a
partir de (1.67), mediante la contraccion de los ndices i y :
i
Ai;i = Ai,i + A i .
Reemplazando (1.54) en el u ltimo termino se obtiene:
p p
i i
i i A |g| i Ai |g|
A ;i = A ,i + i A = A ,i + p = A ,i + p
|g| x |g| xi
" p #
1 p Ai |g|
= p |g| i + Ai ,
|g| x xi
1 p i
T ij;j = p j
(| |g|T ij ) + T j j .
|g| x
1. Geometra diferencial /35
i i
Si el tensor es antisimetrico: T j = T j y como j
= j
resulta que
i
T j j es identicamente cero, de modo que :
1 p
T ij;j = p (| |g|T ij ).
|g| xj
0 xj xj
= o tambien: 0,i = ,j ,
x 0i xj x0i x0i
que es la regla de transformacion de un vector covariante. As pues, ;j = ,j .
1.7.5. Rotacional
El rotacional de un vector covariante Ai se define como (Rot A)ij = Ai;j Aj;i ,
siendo, por tanto, un tensor antisimetrico de segundo orden. Reemplazando (1.64):
(Rot A)ij = Ai;j Aj;i = Ai,j A ij Aj,i A ji = Ai,j Aj,i .
1.7.6. Laplaciano
Si en (1.88) se hace Ai = g ij ,j se obtiene el Laplaciano de la funcion escalar
, esto es:
1 p
Ai;i = p i
( |g|g ij ,j ) = Lapaciano . (1.89)
|g| x
= B Rijk . (1.90)
Rijk = 0. (1.92)
Rjk = gi Rijk .
Este tensor satisface las siguientes condiciones (vease Adler, seccion 5.3):
Antisimetra en cada una de las parejas y jk:
C
B
D
O
y multiplicando por g k :
1
Gk = Rk g k R . (1.101)
2
Gk;k = 0 . (1.102)
0 xi xj
gkl = 0k
gij 0l .
x x
En forma matricial: g 0 = JgJ, donde J es la matriz con elementos xi /x0k y J su
traspuesta. Tomando el determinante y teniendo en cuenta que |J| = |J|:
0 2
x 2 x
|g 0 | = 0 |g| = |g|, o tambien: (1.103)
x x
0 2
x 2 0 x 0
|g| = 0 |g | = |g |.
x x
Se ha tenido en cuenta que de la expresion:
xi xj x x0
= li se sigue:
x0j x0l x0 x = 1.
o tambien:
x0 x0 x0
[|g 0 |W/2 T 0 ] = [|g|W/2 T ]
x x x
De modo que si T es una densidad tensorial de peso W , entonces g W/2 T
es un tensor de peso cero. Las reglas de suma, producto, contraccion, etc, son
directamente extensibles a densidades tensoriales.
El u
ltimo termino proviene de la definicion del determinante en 4 dimensiones de
una matriz A con elementos a en teminos del smbolo de Levi-Civita:
|A| = a a a a .
Para que este smbolo sea isotropico, p esto es: 0 = , es necesario que
0 0 1
b|x /x| = 1, es decir, b = |x /x| = |g 0 |/|g|, de acuerdo con (1.103). As, en
la ecuacion: ! !
0 x0 x0 x0 x0
p = p ,
|g 0 | x x x x |g|
p
resulta que es una densidad tensorial de peso 1 y / |g| es un tensor
de peso cero.
Puede definirse = ga gb gc gd abcd donde es una densidad tensorial
p
de peso 1 y |g|abcd es un tensor de peso cero.
1. Geometra diferencial /43
Ejercicio:
Evaluar la derivada covariante de un campo escalar de peso W .
La regla de transformaci on (1.104) de un campo escalar de peso W puede
expresarse como 0 g 0W/2 = g W/2 . Es cierto, adem
as, que
x
(0 g 0W/2 ) = (g W/2 ).
x 0i x0i x
l
Realizando las derivaciones y con |g|/x = 2|g| lj se obtiene:
0 W
0 l x
0 l 0
x
+ W li
= + W l
.
x0i x x x0i
La anterior es la regla de transformacion de una densidad vectorial de peso W ,
deducible de (1.105), si la derivada covariante de la densidad escalar de peso
W es: l
;i = ,i + W li . (1.107)
La regla de transformaci
on de ;i es, entonces:
0 W
x x
0;i = ; .
x x0i
Cual es la regla de transformaci
on de una densidad vectorial, la de una den-
sidad tensorial?
44 / Relatividad general
1.10. Miscel
anea
a. La transformaci
on entre sistemas cartesianos es lineal.
Para sistemas cartesianos los coeficientes metricos son constantes, por lo que los
smbolos de Christoffel son nulos. En la regla de transformacion (1.58) esto implica
que:
2 x0i
= 0,
x x
cuya solucion es lineal: x0i = ai + bij xj .
b. La derivada covariante del determinante |g| es cero.
De acuerdo con (1.103), |g| es una densidad escalar de peso 2; as, de (1.107)
con = |g| y W = 2:
l
|g|;i = |g|,i 2|g| li ,
y esta cantidad es cero de acuerdo con (1.54).
c. Coordenadas geod
esicas
Supongase que en un cierto sistema coordenado S los smbolos de Christoffel
un S 0 donde estos smbolos
son diferentes de cero en todo el espacio. Existe alg
0i i
sean cero en un punto x = p ? S. Lo que no es posible es que sean cero en todo el
espacio, si este es curvo.
Para demostrarlo consideremos como regla de transformacion entre S y S 0 la
siguiente expansion hasta segundo orden:
1 i
x0i = pi + (xi q i ) + a (x q )(x q ). (1.108)
2
El punto xi = q i en S corresponde a x0i = pi en S 0 . La constante ai es simetrica
en los ndices .
Derivando (1.108) respecto a xj y evaluando en xi = q i se obtiene:
0i
x
= ji . (1.109)
xj q
xi x
ji = + a i
(x
q ) . (1.110)
x0j x0j
Evaluando (1.110) en xi = q i :
xi
= ji . (1.111)
x0j q
1. Geometra diferencial /45
Evaluando (1.112) en xi = q i :
2 xi x x
+ ai = 0;
x0j x0k q x0j q x0k q
i
As, si jk 6= 0, es siempre posible encontrar una transformacion coordenada
i 0 q i
tal que jk sea cero. Basta con escoger aijk = jk .
p q
La regla de transformacion (1.108) es entonces:
1i
xi = pi + (xi q i ) + (x q )(x q ). (1.114)
2 q
i 0
El sistema de coordenadas donde todos los jk p
son cero en un punto se llama
geodesico. Notese que, de (1.31), se concluye que en tal punto xi = q i no cambia el
0
valor de las componentes de ning un tensor: (Tijk )q = (Tijk )p .
d. Componentes fsicas de tensores
En este apartado no se utiliza la convencion suma para ndices repetidos.
De acuerdo con (1.11) los vectores de la base ai tienen la propiedad |ai | = gii ,
de modo que los vectores ai ni son unitarios, ni tienen todos las mismas dimensiones
(en coordenadas esfericas, por ejemplo, g11 = 1, g22 = r2 , g33 = r2 sen 2 ); esto
trae como consecuencia que las componentes covariantes y contravariantes de un
vector no tienen todas las mismas dimensiones, es decir, no son dimensionalmente
homogeneas.
46 / Relatividad general
donde Teij = gii gjj T ij son las componentes fsicas del tensor. Ha de observarse que
las componentes fsicas de vectores y tensores pueden calcularse en la base original
ai utilizando las componentes contravariantes, de modo que las componentes fsicas
residen en este caso en la base original. Las componentes fsicas en la base original
pueden expresarse tambien en terminos de componentes covariantes; por ejemplo
X
Aei = gii Ai = gii g ij Aj .
j
Los ndices de las componentes fsicas, aunque se escriban como subndices, no tienen
valor covariante ni contravariante, pues la definicion de componentes fsicas rompe
la covarianza de la teora. Por convencion se usaran subndices para las componentes
fsicas de vectores y tensores.
Las componentes fsicas pueden tambien definirse en la base recproca unitaria
ei . En este caso y para un tensor de segundo orden se escribe:
X X p X
T= ai aj Tij = ei
ej g ii g jj Tij = ej Tij ,
ei
ij ij ij
e. Desviaci
on geod
esica
Si xi representa la distancia entre dos puntos infinitesimalmente cercanos, cual
es la aceleracion relativa entre estos dos puntos?
Ante todo, de (1.72) con Ai = DB i /Ds se sigue:
D2 B i D DB i d DB i DB j i dxk
= = +
Ds2 Ds Ds ds Ds Ds jk ds
i k
j
d dB i j dx dB j l dxm i dxk
= + jk B + + lm B jk
.
ds ds ds ds ds ds
Efectuando las derivaciones indicadas, haciendo uso de la ecuacion de la geodesica
para eliminar d2 xk /ds2 , factorizando y utilizando la definicion (1.91):
i i i k i k
Rimjl = mj ml ,j + kl jm kj lm
,l
D2 xi
= c2 Ri0l0 xl (1.117)
D 2
Aunque una partcula este en reposo en un sistema en cada libre, un par de partcu-
las no interactuantes que cae libremente exhibe un movimiento relativo que revela
la presencia de un campo gravitacional para un observador que cae con una de ellas.
Esta conclusion no invalida el principio de equivalencia (seccion 2.3), de acuerdo con
el cual, el campo de gravedad desaparece para un observador en cada libre, ya que
en este caso las dos partculas no ocupan el mismo punto; ademas, el efecto para
una pareja de masas es despreciable cuando la separacion x entre ellas es mucho
menor que las dimensiones tpicas del campo. A campos de este tipo se les llama
campos de mareas.
La ecuacion (1.117) tiene su analoga en mecanica clasica: considerense dos
partculas que caen en un campo de gravedad g. Su aceleracion relativa es:
d2 xi g i l
2
= g i (x + x) g i (x) ' x . (1.118)
dt xl
Comparando (1.117) con (1.118) puede establecerse la correspondencia:
1 g i
Ri0l0 , (1.119)
c2 xl
o, con g i = /xi , donde es el potencial gravitacional:
1 2
Ri0l0 .
c2 xi xl
Por contraccion de i y l:
1 2
Ri0i0 = R00 , (1.120)
c2
de modo que el laplaciano del potencial gravitacional newtoniano puede asociarse
a la componente 00 del tensor de Ricci-Einstein. Esta conclusion sugiere la posi-
bilidad de una teora geometrica de la gravitacion y sera explorada en el proximo
captulo. La ecuacion (1.120) anticipa, en sntesis, que la gravitacion es un fenomeno
geometrico.
**********************************
Albert Einstein (1879-1955). Tomado de http://commons.wikimedia.org
2
Gravitaci
on
2.1. Introducci
on
De acuerdo con Newton, el espacio fsico es euclidiano y la trayectoria inercial
es rectilnea y recorrida con movimiento uniforme. La trayectoria inercial la realiza
cualquier cuerpo o mas bien su centro de masa, si el cuerpo es extenso en ausencia
de fuerzas.
Seg
un Kepler los planetas se mueven alrededor del Sol en orbitas elpticas, por
lo cual, segun Newton, siendo curva su trayectoria, alguna fuerza que seguramente
proviene del Sol altera su movimiento inercial.
Esto significa que la aceptacion por Newton de la geometra de Euclides, con
su recta inercial que es la lnea mas corta entre dos puntos, exige asumir que el
Sol ejerce una fuerza sobre los planetas, ya que en la epoca de Newton no hay
alternativas a la geometra; hay solo una, la euclidiana. Y el principio de razon
suficiente no ve como, en ausencia de acciones, el movimiento de un cuerpo entre
dos puntos pueda ser algo diferente a la lnea mas simple, la recta euclidiana.
En un mundo euclidiano, si el movimiento inercial es el mas simple y ademas
u
nico, entonces debe ser rectilneo. Resulta as una conclusion sorprendente: la no-
cion de fuerza gravitacional surge de un prejuicio matem atico sobre la estructura
fsica del mundo; si el mundo es euclidiano y los planetas se mueven en forma
curvilnea, entonces el Sol act ua sobre los planetas, razonamiento que solo es posi-
ble poner en duda con el surgimiento de las nuevas geometras, las que permiten
asegurar que la geometra de Euclides no es solo una rama de la geometra sino una
rama de la fsica, porque en ella se basa la idea de Newton de la gravitacion. Que
el espacio tenga una estructura euclidiana es una afirmacion fsica.
En la teora de Einstein el Sol no act
ua sobre los planetas sino sobre el espacio-
tiempo.
Como revelara Einstein, basta con renunciar a la geometra de Euclides para ver
51
52 / Relatividad general
con claridad que la gravedad como fuerza no fue un descubrimiento sino una inven-
cion, y que es suficiente acceder a geometras mas amplias, como la de Riemann,
para caer en la cuenta de que la gravedad es un fenomeno geometrico. Con esta
nueva idea la gravitacion entro en otra esfera de comprension.
r r0 M r r0
dM
m m
r r0 r r0
a b
O O
que es la ley de Gauss para el campo g(r). Finalmente, el rotacional de (2.3) permite
asegurar que el campo gravitacional es conservativo:
g = 0, (2.7)
F = mg g.
a0
S S0
P
r0
R
r
a = a0 + a0 . (2.8)
2. Gravitaci
on /57
F = F0 + ma0 , (2.9)
que es la regla que permite comparar las fuerzas en un sistema inercial y otro
acelerado.
Considerense ahora las dos siguientes situaciones:
A. Si en el sistema inercial la partcula no experimenta fuerza alguna entonces
F = ma = 0 por lo cual permanece en reposo o en movimiento rectilneo y uniforme.
Entonces, de (2.9):
F0 = ma0 , o tambien : a0 = a0 .
mg = F0 + ma0 .
F0 = m(g a0 )
S S0
a0 = g
Este es un resultado singular que entrelaza los sistemas de referencia con las
fuerzas ficticias y de gravitacion.
El observador S 0 en el caso A considera que el movimiento acelerado de cuerpos
en su sistema de referencia es debido a fuerzas ficticias, aunque tambien S 0 puede
pensar que esta en reposo en un sistema inercial y que en el ha aparecido un campo
de gravitacion de lneas paralelas. De otro lado, el observador S en el caso B constata
que hay en su sistema inercial un campo gravitacional de lneas paralelas, pero
tambien puede afirmar que en su sistema no hay campo gravitacional alguno sino
que se encuentra en un sistema acelerado respecto a la Tierra.
Ahora bien, de acuerdo con el libro de Fock, citado en la bibliografa, la trans-
formacion entre un sistema inercial S y otro S 0 con aceleracion g tiene la forma:
c2
x0 = x cosh(gt/c) + [cosh(gt/c) 1]
g
c x
t0 = senh (gt/c) + senh (gt/c)
g c
0 0
y = y, z = z
1
x0 = x + gt2
2
y 0 = y, z 0 = z, t = t
2. Gravitaci
on /59
eliminar completamente cayendo en el. As, por ejemplo, cuando se cae en el campo
radial terrestre, una gran parte de el desaparece pero quedan peque nas compo-
nentes horizontales que hacen que los cuerpos en cada libre se acerquen. Puede de-
mostrarse que la fuerza gravitacional remanente corresponde al gradiente del campo
de gravedad g. Se le conoce como campo de mareas. De hecho, el gradiente del cam-
po de gravitacion lunar es el responsable de las mareas terrestres. Vease tambien la
seccion 1.10 numeral f.
En el sistema en cada libre, que no es otro que el sistema geodesico de la seccion
1.10 numeral c., las primeras derivadas de gij se anulan en un punto, pero no las
segundas derivadas. Esto significa que en un referencial en cada libre se anulan
en un punto los smbolos de Christoffel analogos al campo g (vease, por ejemplo,
ecuacion (2.19) pero no el tensor de Riemann.
Ha de notarse que cuando hay campos gravitacionales de lneas paralelas la
clasificacion de los sistemas de referencia en inerciales y acelerados no es simple; se
anula localmente un campo de gravitacion cayendo en el y se genera uno de lneas
paralelas por aceleracion. Quien esta en reposo? La respuesta es simple: todos
pueden asumirse en reposo, si introducen campos de fuerzas ficticias apropiados.
Vale decir que no es afirmable, sin mas, que los sistemas no inerciales estan abso-
lutamente acelerados; esto sugiere pasar a un nuevo nivel de la idea de relatividad
del movimiento. No solo el movimiento uniforme es relativo, tambien el acelerado;
esto sugiere expresar las leyes fsicas en una forma matematica que sea valida para
todos los observadores independientemente de su movimiento, ya sea uniforme o
acelerado. Esta sugerencia se hace explcita en el principio de covarianza general
que exige que las ecuaciones fsicas sean escritas en forma tensorial invariante, vale
decir que han de ser validas bajo transformaciones generales entre sistemas de re-
ferencia, independientemente de su estado de movimiento. Como consecuencia del
principio de equivalencia, los campos gravitacionales son de la familia de los sis-
temas acelerados y las leyes que los describen son invariantes bajo transformaciones
generales de coordenadas. Resultara finalmente que las leyes fsicas que involucran
la gravitacion y las acciones inerciales son parte de la geometra.
As pues, Einstein propone los siguientes dos principios como base de su rela-
tividad general:
Principio de equivalencia. En cada punto en un campo gravitacional arbi-
trario es posible escoger un sistema de referencia donde el campo se anule en un
punto.
No hay, en general, transformaciones entre sistemas de referencia que anulen
globalmente el campo de gravitacion.
Principio de covarianza. Las leyes fsicas han de tener la misma forma
matem atica para todos los observadores.
Puesto que los sistemas de referencia en movimiento arbitrario estan conecta-
dos por transformaciones (en general no lineales) y como estas dan lugar a fuerzas
2. Gravitaci
on /61
2.4. Gravitaci
on y m
etrica
En esta seccion se pretende demostrar que el movimiento de una partcula en
un campo de gravitacion independiente del tiempo puede describirse utilizando un
diferencial de lnea en un espacio-tiempo no minkowskiano con su correspondiente
ecuacion de la geodesica, y sin utilizar el concepto fuerza gravitacional. La con-
vencion sobre ndices utilizada en esta seccion es como sigue: los griegos van de 0 a
3, los latinos de 1 a 3. Los ndices de 1 a 3 indican componentes espaciales, el ndice
cero es temporal. Esta es la notacion usual en la relatividad especial.
En el espacio-tiempo de la relatividad especial el intervalo se escribe:
ds2 = g dx dx .
g = + . (2.10)
g = . (2.11)
ds2 = g dx dx = ( + )dx dx .
62 / Relatividad general
d2 x
2
+ c2 00 = 0. (2.14)
dt
Con = 1 en (2.14) se obtienen las componentes espaciales que describen la ace-
leracion de una partcula en el campo de Christoffel:
i 1 i 1 00
= g [00, ] = ( i i )(2g0,0 g00, ) = i 00, = .
00 2 2 2 2 xi
Se ha tenido en cuenta que g0,0 = 0. Al reemplazar en (2.14), con = i, y escribir
el resultado en forma vectorial se llega a:
r = c2 00 . (2.15)
2
2. Gravitaci
on /63
Este u
ltimo resultado da la aceleracion experimentada por una partcula en
movimiento en un espacio-tiempo levemente curvo. De acuerdo con la teora newto-
niana de la gravitacion, la aceleracion experimentada por una partcula en movimien-
to en un campo de potencial gravitacional G es:
r = g = G. (2.16)
i 00 1 G gi
00
= i
= 2 i = 2. (2.19)
2 x c x c
Para campos cuasi-euclidianos y bajas velocidades la u nica componente diferente
de 1 que persiste del tensor metrico es g00 , por lo que:
2G
g = + = + 0 0 . (2.20)
c2
De acuerdo con (2.18) el potencial gravitacional newtoniano equivale a g 00 . En
consecuencia g puede ser llamado potencial metrico. Y lo que en la teora newto-
i
niana se conoce como campo de gravedad gi es aqu el campo de Christoffel 00 .
i
El campo gi , al igual que 00 , que no es un tensor, puede ser anulado al menos
en un punto mediante una transformacion de coordenadas en el espacio-tiempo que
permita pasar a un sistema geodesico (vease seccion 1.10 numeral c).
Queda entonces por obtener una cantidad que sea un tensor y que describa el
campo de gravitacion. Como se vera, esta cantidad es el tensor de Riemann. Si la
identificacion entre potencial gravitacional y potencial metrico propuesta por (2.18)
es correcta dependera de las ecuaciones del campo de gravitacion, es decir, de si en
primera aproximaci on 00 satisface la misma ecuacion que G en la teora de Newton,
esto es, si 2 00 .
As pues, ignorando terminos de segundo orden, la ecuacion de la geodesica,
que describe la cinem atica en el espacio-tiempo no-minkowskiano, equivale a la
ecuacion de Newton de movimiento en un campo gravitacional, es decir equivale a
una din amica en un espacio euclidiano, si G = c2 00 /2.
64 / Relatividad general
d2 x 0 d2 (ct)
2
= = 0,
dt dt2
y en segundo lugar porque:
0 1 0 1
00
= g [00, ] = g 00 [00, 0] = 0,
2 2
ya que las derivadas temporales de g00 que aparecen en [00, 0] son cero.
dM
m r
r0
R
F Gm
a= = 2 R,
M R
2. Gravitaci
on /65
TIERRA
LUNA
Las mareas, descritas por la ecuacion 2.22, son debidas no al campo g de gravi-
tacion de la Luna en la posicion de la Tierra, sino a su gradiente. En forma explcita,
despreciando terminos de orden superior en r0 y con la notacion de la figura 2.4:
gef (r) = r0 (g(r))r=R = Gmr0 ( r/r3 )r=R
r0 2 Gmr0
= Gm [R I 3RR] = r0 ].
[3R cos
R5 R3
66 / Relatividad general
De acuerdo con esta ecuacion hay dos mareas altas diarias, una en la cara te-
rrestre que da a la Luna ( = ) y otra en la opuesta ( = 0), ver figura 2.5. En
=
efecto, en = 0 con R r0 :
Gmr0 0
= 2 Gmr R,
g= 3
[3R R] 3
R R
r0 = R:
y en = , con
Gmr0 0
= 2 Gmr (R).
R]
g= 3
[3R 3
R R
Observese que la intensidad del campo de mareas es proporcional a 1/R 3 .
El gradiente de g contiene terminos de la forma gi /xj cantidad que de acuerdo
con (1.119) esta asociada a la componente Ri0l0 del tensor de Riemann. En la teora
de Einstein el tensor de Riemann R vale decir, la generalizacion del campo de
mareas describe el campo de gravitacion.
2 r 0 2 r
r (x ) r 2 2 x 0 = 0, (2.26)
c2 c
2 0
+ r + 2 r x 0 + x = 0, (2.27)
r cr c
z = 0, (2.28)
2 r2 2 r r r2
1 2 0 2 2 r x 0 2
x r = 0, (2.29)
c c c c
0 = 0,
x (2.30)
Estas expresiones coinciden con las que la mecanica clasica provee para el mo-
vimiento de partculas en un sistema de referencia rotante (Goldstein, pag. 177).
Los terminos a la izquierda de la igualdad corresponden a las aceleraciones radial y
angular, mientras los de la derecha corresponden al efecto de las fuerzas centrfuga
y de Coriolis. La version que aqu se ha propuesto considera que el movimiento en
el sistema rotante es geodesico, inercial. No hay fuerzas ficticias, sino movimiento
libre en una geometra no euclidiana. El campo de fuerzas ficticias equivale a un
campo de gravitacion.
Todos los elementos del tensor de Riemann R son cero en el sistema inercial
y es directo probar, utilizando (2.33) que tambien son cero en el sistema rotante,
como se espera, pues R es un tensor. Esto prueba que el espacio-tiempo en S 0
es plano, aunque el espacio 3D sea curvo y el tiempo sea inhomogeneo.
En lo que sigue se renunciara a la idea de que la gravitacion es una fuerza; se
adoptara la idea de que es un fenomeno asociado a la no euclidianidad del espacio y a
la no uniformidad del flujo del tiempo. La gravitacion es entonces mas un fenomeno
geometrico que uno mecanico. Renunciar a la idea de fuerza gravitacional exige,
segun lo visto atras, acudir a la geometra de Riemann. En particular, la ecuacion
de la geodesica en el espacio-tiempo se adoptara como la ecuacion que describe
el movimiento inercial (vease la seccion 2.9). La geodesica en el espacio-tiempo es
la forma matematica de la ley generalizada de inercia, de acuerdo con la cual un
cuerpo que se deja en libertad en un espacio-tiempo curvo se mueve inercialmente,
a lo largo de una geodesica. Queda entonces por descubrir una ecuacion de campo
que describa la forma como el espacio-tiempo de Minkowski logra convertirse en un
espacio-tiempo curvo.
(0 u ), = 0, (2.40)
T , = 0 u u, u = 0.
Con ui = v i /c y u0 = , la u
ltima expresion conduce a las dos ecuaciones:
v + = 0, v (v) + (v) = 0. (2.41)
t t
Desarrollando las derivadas de la segunda ecuacion y reemplazando en ella la primera
se obtiene:
v
v v + = 0. (2.42)
t
Esta expresion corresponde a la ecuacion de movimiento de un fludo en ausencia
de fuerzas.
La ecuacion de continuidad (2.40) se expande como:
v
+ = 0.
t
(v) + = 0, (2.43)
t
que es la forma estandar de la conservacion de la masa.
Ha de observarse que, con = (1 v 2 /c2 )1/2 , la primera de las ecuaciones
(2.41) conduce a:
v
v v v + = 0,
t
que se satisface identicamente, de acuerdo con (2.42).
La derivada euleriana de una funcion Q(r, t) escalar, vectorial o diadica, es:
DQ Q X Q dxi Q
= + i dt
= + v Q. (2.44)
Dt t i
x t
Dv
= 0,
Dt
74 / Relatividad general
P
T = 0 u u + (u u g ) = 0 u u + TP = T . (2.46)
c2
T , = 0,
2.7. La ecuaci
on de Einstein
El 25 de noviembre de 1915 en el seminario dirigido por Hilbert en la Universidad
de Gottinga, Einstein presento la forma final de la ecuacion que expresa como la
materia gobierna la estructura del espacio-tiempo, como le confiere un caracter
riemaniano. Tal ecuacion conecta el tensor de Einstein G con el tensor de materia:
G = KT (2.49)
1
R g R = KT . (2.50)
2
Esta ecuacion haba sido obtenida unos das antes por Hilbert utilizando el
principio de mnima accion (ver seccion 2.16).
El valor de K, la constante de gravitacion de Einstein, puede ser calculado
tomando el lmite newtoniano de (2.49).
Tanto G como T son tensores simetricos.
En ausencia o en el exterior de materia la ecuacion se reduce a G = 0, que
permite como solucion particular la metrica de Minkowski, aunque tambien admite
metricas no minkowskianas.
Puesto que G; = 0, seg un (1.102), se sigue que T ; = 0. En la relatividad
especial la condicion T , = 0 representa la conservacion del momento-energa. Pero
en la forma covariante general T ; = 0 no se refiere a una ley de conservacion
(vease tambien la seccion 2.16.3). Lo que T ; = 0 representa es la ecuacion de
movimiento de un elemento de masa inmerso en el campo metrico.
La ecuacion (2.49) contiene terminos no lineales y segundas derivadas de g .
Se reduce a la ecuacion de Poisson en el lmite newtoniano, como demostraremos.
Esta ecuacion, enganosa como ninguna por su concision y su estetica, encierra
detalles hermosos. En principio, dada la simetra de los tensores que la conforman,
son 10 ecuaciones con las que se describira el campo de gravitacion como un campo
metrico. Contiene 10 potenciales metricos g . En contraste, la ecuacion de Poisson
para la gravitacion newtoniana contiene un solo potencial gravitacional escalar G que
76 / Relatividad general
niana de la gravitacion por su parte fue lo bastante precisa como para predecir
la existencia del planeta Neptuno.
Por otra parte, era conocido desde el siglo XIX que Mercurio presentaba un
movimiento de precesion del perihelio no descriptible con exactitud en el contexto
de la gravitacion newtoniana. Una de las formas en que se intento remediar esta
deficiencia fue cambiando la potencia en la ley de gravitacion de 2 a 2,00000016,
solucion que por su falta de elegancia y su caracter ad-hoc no convencio en su
momento.
El principio de correspondencia enunciado por Bohr sugiere que cualquier teora
que pretenda reemplazar, ampliar o mejorar a una anterior debe contenerla en alg un
lmite apropiado, aunque esto no suponga que la estructura conceptual de la antigua
teora sea una forma reducida o ingenua recuperable desde la nueva. De este modo
la relatividad especial se reduce a la estructura matem atica de la fsica newtoniana
en el lmite de bajas velocidades v/c 1.
Ahora bien, en las situaciones ordinarias encontradas en los fenomenos gravi-
tacionales no solo las velocidades son bastante peque nas en comparacion con la de
la luz sino, ademas, los campos de gravitacion son lo suficientemente debiles para
hacer que la geometra del mundo cotidiano sea casi euclidiana. Puede entonces
asumirse que la metrica en el entorno del sistema solar difiere de en una peque na
cantidad, lo que equivale a asumir que la ecuacion de Einstein puede ser resuelta
perturbativamente. As:
g = + , de donde g = ,
como se hizo en la seccion 2.4.
Multiplicando (2.50) por g , con = 4, se obtiene R = KT , con T = T , lo
que permite escribir (2.50) en la forma equivalente:
1
R = K T g T . (2.51)
2
En forma explcita:
1
R = ,
,
+
= K T T .
2
Con g = + es cierto que en su aproximacion mas baja es de
orden , por tanto es de orden 2 . Desechando terminos de segundo orden
y mas alto, se sigue que:
R ' .
, ,
Si se considera la metrica independiente del tiempo, entonces:
X3
i 1
R00 = 00 , = 00 ,i = 00 = 2 00 .
i=1
2 ,ii 2
78 / Relatividad general
8G
G + g = T . (2.57)
c2
2. Gravitaci
on /79
v c2
Tv00 ' y
8G
c2
T v = T v v
= g T = 4 , se sigue:
8G
v 1 c2
Tv00 g00 T v ' ;
2 8G
puede concluirse que:
c2
2 G = 4G 0 ,
4G
por lo que el vaco tiene una densidad de masa efectiva:
c2
ef = , (2.60)
8G
que es negativa si es positiva. La solucion mas simple para el potencial, no diver-
gente en el infinito, correspondiente a una masa puntual M , tiene la forma:
GM c2 2
G= r .
r 6
80 / Relatividad general
G; = T ; = (0 u u ); = (0 u ); u + 0 u u;
Du
= (0 u ); u + 0 = 0. (2.61)
Ds
En la segunda lnea se ha tenido en cuenta la conexion (1.71) entre el diferencial
covariante y la derivada covariante: Du = u; dx .
Ahora, tomando la derivada covariante del producto u u = 1, se sigue:
Du
u = 0. (2.62)
Ds
Esto significa que, al multiplicar (2.61) por u , el u ltimo sumando se anula, y en
consecuencia:
(0 u ); u u = (0 u ); = 0.
De acuerdo con la u ltima ecuacion u , que puede interpretarse como densidad
de momento-energa, es una cantidad conservada. Al reemplazar este resultado en
(2.61) se concluye que:
Du
= 0, (2.63)
Ds
un (1.71) con A = u equivale a:
que, seg
du dx
+ u = 0, (2.64)
ds ds
que es la ecuacion de la geodesica (2.13). As pues, un elemento de masa en movimien-
to en un campo metrico se mueve seg un la regla de inercia (2.63). Esto es, en pre-
sencia de gravitacion vale decir, en un espacio-tiempo deformado por la materia
una partcula se mueve libremente: la gravitaci on no es una fuerza, es un fenomeno
metrico.
En el espacio-tiempo de Minkowski la expresion T ; = 0 es interpretable como
una ley de conservacion. En tal caso es posible utilizar un sistema coordenado
4D en el que los smbolos de Christoffel se anulan en todos los puntos. En un
espacio-tiempo curvo, en contraste, este interact ua con el T de los otros campos
de modo que puede esperarse que solo una cierta combinacion de T y del tensor
momento-energa del campo de gravitacion se conserve. Estas consideraciones seran
desarrolladas en la seccion 2.16.3.
De acuerdo con Einstein, la unidad de la inercia y la gravitacion esta expre-
sada formalmente por el hecho de que todo el primer miembro de (2.64) tiene un
caracter tensorial (respecto a cualquier transformacion de coordenadas), pero los
dos terminos de dicho miembro considerados separadamente no tienen tal caracter.
82 / Relatividad general
K = T 0; ,
2.10.1. Condici
on de Lorentz
Como estudio previo consideremos el caso electrodinamico en relatividad es-
pecial. La conexion entre el tensor de campo electromagnetico y el 4-vector
potencial A tiene la forma:
= A A . (2.66)
2. Gravitaci
on /83
2 A ( A ) = 4J , (2.68)
A0 = A + 2 = 0. (2.70)
2 A = 4J . (2.71)
cantidad definida
como . Estas 4 condiciones coordenadas no tienen forma co-
variante, pues no es un tensor.
84 / Relatividad general
p
En consecuencia, = 0 equivale a |g|g = 0. El nombre de arm onica
,
para esta condicion proviene de que si = 0, la solucion a la ecuacion de Laplace
para una funcion escalar sera una funcion armonica. En efecto, de (1.89) se sigue:
1 hp p i 1
2 = p ( |g|g ), , + |g|g , = p , + g , ,
|g| |g|
2.11. Campo d
ebil
En la presente seccion se obtiene la aproximacion lineal del tensor de Ricci-
Einstein que conduce a la existencia de ondas gravitacionales y se estudian los
estados de polarizacion de ondas electromagneticas y gravitacionales. La seccion
termina con el estudio del movimiento de partculas en un campo gravitacional
ondulante.
2.11.1. Linealizaci
on
Para una metrica poco alejada de la minkowskiana es valido asumir, de acuerdo
con (2.10) y (2.11), la siguiente expansion perturbativa:
g = + y g = . (2.73)
Teniendo en cuenta que en (1.98) los productos de smbolos de Christoffel son del
orden de 2 , y por tanto despreciables en primera aproximacion, puede escribirse:
R = ,
, = {[, ], [, ], },
x0 x0
g 0 = g = ( + , )( + , )( )
x
' g + , + , . (2.76)
0 = , , . (2.77)
2.11.2. Ondas m
etricas
Utilizando (2.73) en la condicion coordenada (2.72) puede escribirse:
( )( )[, + , , ] = 0,
2 g = 2KS , (2.79)
k a = 0 y k k = 0.
como 0 es arbitrario puede escogerse 0 = a3 /ik, con lo cual: a03 = a00 = 0, a01 = a1
y a02 = a2 . Esto muestra que a1 y a2 no son modificados por la transformacion gauge
restringida y solo ellos portan significado fsico; corresponden a la amplitud de una
onda transversa. La onda longitudinal asociada a a3 no tiene sentido fsico, pues es
eliminable por recalibracion, la que permite escoger a03 = 0.
Entonces, de (2.81):
A0 = (a + ik 0 )eik x = (a + k a3 /k) eik x ; en componentes:
A00 = (a0 + a3 )eik x = 0,
A01 = a1 eik x ,
A02 = a2 eik x ,
A03 = (a3 a3 )eik x = 0.
e0 = ei
e , (2.82)
2. Gravitaci
on /89
mientras e03 =
e3 se mantiene inalterado bajo la rotacion: e3 .
En forma general, si una funcion de onda se transforma bajo rotacion por un
angulo alrededor de la direccion de propagacion en la forma:
0 = eih ,
se dice que la onda tiene helicidad h. As, las ondas electromagneticas pueden des-
componerse en partes con helicidades 1 y 0. Solo las de helicidad 1 son significa-
tivas fsicamente, las de helicidad cero son eliminables por recalibracion.
k k = 0 y 2k a k a = 0. (2.83)
a0 = a i(a k + a k ), (2.84)
o tambien:
a0 = a i(a k + k a ); (2.85)
reemplazando a de (2.85) en la condicion coordenada (2.83) se obtiene:
2k a0 k a0 = 0, (2.86)
expresion que tiene la forma (2.83), con primas.
Para una onda que viaja en direccion z es cierto que k = (k 0 , 0, 0, k) y k 0 = k0 =
k, de modo que reemplazando en (2.83) escrita como 2k a k a = 0 se
sigue, para =0,1,2,3, respectivamente y con a = a00 a11 a22 a33 :
Es facil verificar que los 4 coeficientes a000 , a013 , a023 y a033 se anulan si se escogen
a0 = a00 /2ik0 y ai = ai3 /ik0 . En sntesis, despues de la transformacion son
diferentes de cero solo a011 , a012 (= a021 ) y a022 (= a11 = a011 ), que son entonces
los u
nicos que tienen significado fsico, pues son invariantes bajo la transformacion
gauge. Hay solo dos coeficientes diferentes: a011 y a012 . Entonces, los elementos de la
0 0
metrica g = + (z, t) de una onda plana de espacio-tiempo son:
0 0 0 0 1 0 0 0
0 1 0 0 0 a011 a012 0
0
{g (z, t)} =
0
+ eik(ctz)
0 1 0 0 a012 a011 0
0 0 0 1 0 0 0 0
G = I + [11 e1 + 12
e1 e2 + 21
e1 e1 + 22
e2 e2 ]eik(ctz) ,
e2
y como 22 = 11 y 21 = 12 :
G = I + [11 ( e1
e1 e2 ) + 12 (
e2 e2 +
e1 e1 )]eik(ctz) .
e2
2. Gravitaci
on /91
G = I + [+ e+ +
e+ e ]eik(ctz),
e
donde
e = e1 i
e2 . Utilizando (2.82) es facil ver que e se transforma de
e
acuerdo a la regla:
e0
e0 = e e2i ,
e
lo que implica que una onda gravitacional tiene helicidad 2. Las demas compo-
nentes, que tienen helicidades 1 y 0, se han eliminado por transformacion coorde-
nada. Se dice entonces que las ondas de gravedad tienen spin 2.
ds2 = g dx dx = ( + )dx dx .
En este elemento de lnea se observa que los coeficientes ij ondulan pero no los
elementos diferenciales de coordenadas. Vale decir, que la red coordenada es estatica
y que el cambio en ds se debe al cambio con el tiempo de los coeficientes g .
Dos casos importantes pueden ser analizados aqu:
que tiene la forma del primer ds. Ambos ds coinciden si las amplitudes 11 y 12
son iguales. Esto significa que una onda gravitacional tiene simetra de 45 bajo
rotacion respecto a la direccion de propagacion z (veanse las figuras 2.6 y 2.7).
92 / Relatividad general
+ a
a b
Figura 2.7: Campo de mareas para una onda gravitacional en el modo + con a.
aficas 45 o
t = 0, b. t = /2. El modo se obtiene girando las anteriores gr
i
con 0, = ,0 = 0, se sigue: 0 = 21 i, 0 . Los demas smbolos de Christoffel
0 = 0, de donde x 0 = 1, y:
son cero. As pues x
i + i ,0 x = x
x i + j i ,0 x j = 0,
y como x j = dxj /ds ' dxj /c dt = v j /c y x j ' aj /c2 se sigue entonces que
la aceleracion a de la partcula de prueba es: aj = cj i ,0 v j = c ik jk,0 v j . En
j
componentes:
a3 = 0
11 1 12 2 11 12
a1 = v + v = e1 +
e2 v
t t t t
12 1 11 2 12 11
a2 = v v = e1
e2 v.
t t t t
En forma vectorial:
11 12
a =
e 1 a1 +
e 2 a2 = ( e1
e1 e2 ) +
e2 ( e2 +
e1 e1 ) v
e2
t t
11 12
= E1 + E2 v.
t t
E1 y E2 son dadas de polarizacion lineal; satisfacen E1 : E2 = 0. Hay dos estados
de polarizacion lineal independientes. De otro lado, E+ = e+ y E =
e+ e e son
dadas de polarizacion circular. Es cierto que E+ = E1 +iE2 y E = E1 iE2 = E+ .
a eik x = , + , ,
lo que indica que ondula, esto es, = a eik x . As pues, la condicion que debe
satisfacerse para que una onda gravitacional plana sea convertible en metrica de
Minkowski es:
a = i(a k + a k ), (2.88)
94 / Relatividad general
que equivale a (2.84) con a0 = 0. Las ondas gravitacionales anulables por trans-
formaciones coordenadas son ficticias, las no anulables son genuinas.
Ejemplos:
a. La onda analizada en la secci on 2.11.4 con componentes no nulas a 11 =
a22 , a12 = a21 y que viaja en direccion z, no satisface la condici
on (2.88), de
modo que es una onda gravitacional genuina, no eliminable por transformaci on.
Esto puede verse m as claro si se calcula el tensor de Riemann para la onda en
el lmite de campo d
ebil. Resulta que:
1
R = [a k k a k k a k k + a k k ]eik x ,
2
de donde, en particular:
1 1
R0120 = a12 k0 k0 eik x y R3120 = a12 k3 k0 eik x .
2 2
Puesto que R es un tensor, y por lo menos algunas de sus componentes
son diferentes de cero, no existe un sistema coordenado en 4D donde todas
sus componentes se anulen. En consecuencia el campo m etrico de esta onda es
curvo y ondula. Es una onda gravitacional genuina.
b. Para una onda que viaja a lo largo del eje z es cierto que k = (k, 0, 0, k).
Si a = (a, 0, 0, a), entonces, reemplazando en (2.88) se obtiene:
00
a 0 0 a03
0 0 0 0
{a } =
.
0 0 0 0
a30 0 0 a00
Puesto que se satisface (2.88) es posible una transformaci on que aplane la
metrica. Esta transformaci on es: x0 = x + a eik x . Como se ve, la on-
dulacion de la metrica ha sido cancelada pasando a coordenadas ondulantes.
Facilmente se comprueba que en el nuevo sistema R = 0. La onda que ha
sido analizada es ficticia, eliminable por tanto, como los campos ficticios, por
una transformaci on coordenada en 4D. Esta onda es el an alogo gravitacional
de la onda electromagn etica ficticia estudiada en la subsecci
on 2.11.3.1.
2.12. C
alculos basados en el elemento de lnea
En las siguientes subsecciones diversos calculos son realizados utilizando solo el
elemento de lnea sin el auxilio de la ecuacion de Einstein para el campo metrico.
2.12.2. Clasificaci
on de los 4-vectores
En perfecta analoga con la descomposicion del elemento de lnea realizada en
la seccion anterior es cierto que:
i j
A2 = g A A = g00 (A0 )2 + gij AA , donde:
2.12.3. La 4-velocidad
La velocidad de un punto en el espacio-tiempo curvo se define como:
dx dx
u = x = = ,
ds g00 dx0
donde se ha tenido en cuenta la forma de ds dada por (2.92); tambien: u = g u .
Las componentes espaciales y temporal de la 4-velocidad son:
dxi vi
ui = x i = 0
= , (2.93)
g00 dx c
dx0 gi0 i 1
u0 = x 0 = = dx 0
dx
g00 dx0 g00 g00 dx0
1 v i gi0
= . (2.94)
g00 c g00
As pues, en componentes, la 4-velocidad se escribe:
1 v i gi0 v
u = , .
g00 c g00 c
Partiendo de u = g u es directo concluir que:
j
gi0 v
u = g00 , + gij .
g00 c
2. Gravitaci
on /97
2.12.4. Teorema 1:
Para los coeficientes gij y g jk (vease ecuacion (2.89)) es cierto que: gij
jk
g = ik .
En efecto, de g g = se sigue, con , = i, k y , = 0, k, respectivamente:
gi g k = gi0 g 0k + gij g jk = ik ,
g0 g k = g00 g 0k + g0j g jk = 0.
2.12.5. Teorema 2:
Mediante la redefinicion de la coordenada temporal propuesta en (2.89) es siem-
pre posible pasar de S a un sistema de referencia S donde gi0
= 0.
Se demuestra a continuacion que las siguientes relaciones corresponden a una
transformacion de coordenadas en 4-D:
gi0 i
dx0 = dx0 + dx ,
g00
dxi = dxi ,
g00 = g00 , (2.95)
gi0 gj0
gij = gij ,
g00
gi0 = 0.
x0 x0 gi0 xi xi
= 1, = , = 0, = ji .
x0 xi g00 x0 xj
98 / Relatividad general
coincidentes con las tres ultimas ecuaciones de (2.95), lo que demuestra que la
redefinicion propuesta para el diferencial temporal, con dxi = dxi , es una trans-
formacion coordenada en 4D.
2.12.6. Simultaneidad
De acuerdo con la transformacion de Lorentz, para un intervalo temporal medido
en dos sistemas de referencia S y S 0 en movimiento relativo uniforme, es cierto que:
0 1 vx
t = p t 2 .
1 v 2 /c2 c
Para justificar esta definicion basta observar que en el elemento de lnea (2.90)
los dos extremos de una varilla espacial han de ser determinados simult aneamente
para obtener su longitud dl. As, el intervalo es puramente espacial (ds 2 = dl2 ) si
dx0 = 0.
La distancia infinitesimal entre dos puntos espaciales, determinados simultanea-
mente, se define consecuentemente como:
gi0 gj0
dl2 = gij
dxi dxj = gij dxi dxj .
g00
2. Gravitaci
on /99
gij es la metrica del espacio, g es la metrica del espacio-tiempo; la metrica gij
permite obtener las caractersticas de la geometra espacial. De ella puede concluirse
la euclidianidad o curvatura del espacio fsico tridimensional.
Una aplicacion interesante se refiere al sistema rotante de la seccion 2.4.2. Uti-
lizando la metrica (2.24) es posible reescribir el elemento de lnea en la forma:
2 2 2 2
2 2 2 r2 d2
ds = 1 r /c dt dr + dz + 2 2 2
= 1 2 r2 /c2 dt2 dl2 ,
1 r /c
r2 d
dt = dt .
c2 (1 2 r2 /c2 )
i 1 im
jk
= g im [jk, m] =
g (gjm,k + gkm,j
gjk,m ).
2
jk
A partir de Rijkl puede evaluarse Rjk
= Rijil y R = gjk Rjk . El n
umero de
i 2 2
componentes distintas de R jkl es n (n 1)/12 = 6, donde n = 3.
Es posible que aunque un espacio-tiempo sea plano, la geometra del espacio
3D sea curva. Es lo que ocurre con el sistema rotante. En el espacio de Minkowski
todas las componentes del tensor de Riemann R son cero, y permanecen cero
cuando se realiza una transformacion a un sistema rotante, en el cual, sin embargo,
la geometra espacial es curva, esto es Rijkl 6= 0.
De la expresion variacional:
Z Z
dl = gij
dxi dxj = 0,
100 / Relatividad general
s
(2) d (1) g00 (1)
= = , y as :
(1) d (2) g00 (2)
s
g00 (1)
(2) = (1) . (2.98)
g00 (2)
Ejemplos:
1. Un rayo de luz viaja desde la superficie de una estrella de radio R hasta un
observador terrestre (vease figura 2.8). Sea (2) la frecuencia detectada en la
superficie terrestre y (1) la emitida; de (2.18) se sigue:
2G 2GM
g00 (1) ' 1 + =1 2 ,
c2 c R
y se asume que g00 (2) ' 1, pues el campo terrestre es muy d
ebil en comparaci
on
con el de la estrella; de (2.98) puede escribirse:
r
2GM GM
(2) = (1) 1 2 ' (1) 1 2 .
c R c R
As, (2) < (1), lo que implica que hay un corrimiento al rojo en la luz
detectada. En el caso de la compa nera densa de Sirio el valor medido del
cambio fraccional en la longitud de onda es / ' 6 106 , coincidente con
la previsi
on de la relatividad general.
(1)
M (2)
d mc
(mcg x ) g, x x = 0. (2.101)
ds 2
Por definicion, el 4-vector momento can
onico covariante es:
p = mcg x , (2.102)
dp mc
= g, x x , (2.103)
ds 2
que es la ecuacion de movimiento para la partcula m en el campo metrico g .
Si alguna de las componentes del tensor metrico no depende de la coordenada
, entonces el momento canonico asociado a esa coordenada es una constante del
movimiento.
De (2.102), con = i, la componente espacial del 4-momento canonico es:
p2 = g p p = g (mcg x )(mcg x )
= m2 c2 = g 00 E 2 /c2 + 2g 0i Epi /c + g ij pi pj ,
E 2 = p 2 c2 + m2 c4 .
2.12.10. Geod
esicas y mnima acci
on
De (2.92) se sigue que en el lmite de campos debiles y bajas velocidades:
1/2 1/2
g00 2G v2 G v2
ds = dx0 ' dx0 1 + 2 1 2 ' dx0 1 + 2 1 2
c c c 2c
2
0
v G dx 1
' dx0 1 2 + 2 = mc2 mv 2 mG
2c c mc2 2
dx0 dx0
= 2
[mc2 (Ec Ep )] = [mc2 L].
mc mc2
donde L es el lagrangiano clasico. Puesto que siempre es posible lograr que g i0 ' 0,
se sigue que dx0 ' dx0 = c dt, por lo que:
Z Z
ds = 0 es equivalente a L dt = 0.
2.13. Soluci
on de Schwarzschild
En las siguientes secciones se explora la solucion de Schwarzschild a las ecua-
ciones de Einstein y sus aplicaciones mas simples como el movimiento planetario
con su nuevo efecto de precesion del perihelio, y la deflexion gravitacional de la luz.
Karl Schwarzschild (1837-1916) presento su solucion en una carta a Einstein del
22 de diciembre de 1915, escrita mientras serva en el ejercito aleman asignado
al frente ruso durante la primera guerra mundial. Murio al a no siguiente el 11 de
mayo.
Sobre su solucion escribio Einstein a Schrodinger: No espere que se pudiera
formular la solucion exacta del problema en forma tan simple.
0 r 2 e 0 0 2
r + + (x ) re (2 + sen 2 2 ) = 0 , con 0 d/dr,
2 2
comparando con la componente = 0 de (2.88) se sigue:
1 0 1 e 0 1 1
11
= , 00 = , 22 = re , 33 = r sen 2 e .
2 2
Con = 2: 2 + 2r /r
sen cos 2 = 0,
de donde, comparando con la geodesica para = 2 se concluye:
2 1 2
12
= , 33 = sen cos .
r
Con = 3: + 2 cot = 0 ,
+ 2r /r de donde:
3 1 3
13
= , 23 = cot .
r
02 0 0 0
de R00 = 0 se sigue: 00 + 2 2 + 2r = 0,
02 0 0 0
de R11 = 0 se sigue: 00 + 2 2 2r = 0.
Las dos anteriores son ecuaciones diferenciales acopladadas para y . Restan-
dolas se obtiene 0 + 0 = 0, de donde + = cte. Puesto que para r , los
valores de y tienden a cero seg un (2.106) se sigue que = . Substituyendo
en la ecuacion para R00 se obtiene:
20 d2
00 02 + , equivalente a (re ) = 0 , de donde:
r dr2
d
(re ) = E = cte; (2.107)
dr
de R22 = 0 se sigue:
2 2 0 0 2
csc + (re ),1 2e + cot + + + re = 0,
2 2 r
que da lugar a:
1
1 + (re ),1 + ( 0 + 0 )re = 1 + (re ),1 = 0 , por lo cual:
2
d
(re ) = 1 = E , en acuerdo con (2.107).
dr
Entonces: re = r , donde es una constante de integracion. As pues:
e = e = 1 ; (2.108)
r
de R33 = 0 se sigue:
1
sen 2 [(re ),1 1] + ( 0 + 0 )r sen 2 e = 0,
2
que se satisface identicamente si se toman en cuenta (2.107) y (2.108). Es directo
comprobar que R = 0 para 6= . De este modo quedan conocidos los elementos
del tensor de Ricci-Einstein.
2.13.4. La m
etrica de Schwarzschild
En consecuencia, el elemento de lnea de Schwarzschild es:
2 2 1 2
ds2 = 1 c dt 1 dr r2 (d2 + sen 2 d2 ). (2.109)
r r
2. Gravitaci
on /109
2GM
= . (2.110)
c2
Utilizando este valor, la metrica de Schwarzschild, para el espacio-tiempo cur-
vado por una masa puntual M toma la forma:
1
2 2GM 2 2 2GM
ds = 1 2 c dt 1 2 dr2 r2 (d2 + sen 2 d2 ) (2.111)
c r c r
Este u
ltimo es suficiente para describir la llamada precesion anomala del perihelio
de Mercurio, como se demuestra en el problema 14 del captulo 3 del libro de
Goldstein referenciado en la bibliografa.
El que existan componentes no nulas del tensor de Riemann indica que se trata
de un espacio-tiempo intrnsecamente curvo. Puesto que es un tensor, no hay sistema
coordenado en el que el espacio-tiempo sea plano. De otro lado, de la forma (2.109)
del elemento de lnea y de la forma de las componentes del tensor de Riemann se
sigue que hay singularidades, es decir infinitos, en r = y r = 0. Sin embargo
es necesario preguntar si en verdad son singularidades fsicas o si solo tienen que
ver con la escogencia especfica del sistema coordenado. Para dilucidar este punto
conviene estudiar las componentes fsicas del tensor de Riemann.
e0101 = 1 R
R e0202 = 1 R
e0303 = 1 R
e1212 = 1 R
e1313 = . (2.113)
2 2 2 2 r3
Es tambien cierto que en la base recproca:
0101 = 1 R
R 0202 = 1 R
0303 = 1 R
1212 = 1 R
1313 = .
2 2 2 2 r3
112 / Relatividad general
donde las funciones (z) y (z) han de evaluarse exigiendo que se cumpla la ecuacion
(2.120). Del elemento de lnea (2.121) se obtiene la ecuacion de la geodesica:
2
d2 z c2 d 1 d 1 d dz
= + , (2.122)
d 2 2 dz dz dz d
114 / Relatividad general
cuya compatibilidad con (2.120) requiere que se cumplan las dos condiciones:
1 d m 2 1 d 1
= , + = 0. (2.123)
dz R2 dz dz
2.15.
Orbitas en un campo de Schwarzschild
La trayectoria que una partcula de prueba describe en un campo de Schwarszchild
puede calcularse partiendo de la ecuacion de la geodesica o de la ecuacion de Euler
(2.100) aplicada a la funcion f definida por:
d
ds (1 /r) t = 0, con = 2GM/c2 , de donde:
c2 l2 r 2 h2
(1 /r) t = l , r 2 = h , 1= 2 , (2.132)
1 /r r
h2 u02 = c2 l2 1 + u h2 u2 (1 u).
3
u00 + u = 2
+ u2 (2.134)
2h 2
Una forma, ligeramente diferente, de esta ecuacion puede encontrarse en el
tratamiento newtoniano del problema gravitacional, por lo que es pertinente re-
visar este u
ltimo.
2.15.1. Soluci
on newtoniana al problema de Kepler
El movimiento de los planetas alrededor del Sol puede describirse partiendo del
siguiente lagrangiano para un potencial central V (r):
1 1
L= mv 2 V (r) = m(r 2 + r2 2 + r2 sen 2 2 ) V (r),
2 2
donde r = dr/dt, etc. De acuerdo con la ecuacion de Euler-Lagrange:
d L L
= 0,
dt x i xi
con (x1 , x2 , x3 ) = (r, , ) se sigue:
2. Gravitaci
on /117
Para : d
dt mr2 mr2 sen cos 2 = 0 , que equivale a:
H = r2 .
(2.135)
V
r r 2 ) =
m( .
r
Reemplazando = H/r 2 , y multiplicando por r,
se obtiene:
d 1 2 mH 2
mr + + V = 0,
dt 2 2r2
1 2 mH 2
E= mr + + V. (2.136)
2 2r2
1 1
E= m(r 2 + r2 2 ) + V = mv 2 + V.
2 2
2E 2V
u02 + u2 + .
mH mH 2
118 / Relatividad general
u00 + u = GM /H 2 . (2.138)
1 GM
= + a cos .
r H2
As pues, un cuerpo que se mueve en las cercanas del Sol describe una c
onica. En
particular, la trayectoria de los planetas es elptica.
2.15.2. Precesi
on del perihelio
El potencial newtoniano G = GM/r describe con bastante precision el mo-
vimiento planetario, excepto por una discrepancia conocida desde el siglo XIX,
consistente en una porcion de la precesion de Mercurio no descriptible con el poten-
cial newtoniano original. Diversos fueron los intentos de describir esta precesion
anomala. Como se vera en esta seccion, el efecto es facilmente explicable desde el
punto de vista de Einstein.
El termino /2h2 en (2.134), de acuerdo con (2.110) es igual a GM/c4 h2 y es el
analogo del termino GM/H 2 en (2.138). Un calculo simple muestra que en la apro-
ximacion newtoniana son coincidentes. En efecto, (2.132) se escribe h = r 2 d/ds, en
aproximacion de orden cero ds ' c dt, y como seg un (2.135) H = r 2 d/dt se sigue
que h ' H/c. Esta aproximacion hace entonces identicos los primeros terminos de la
derecha de (2.134) y (2.138). La diferencia entre las dos ecuaciones radica entonces
en el termino extra en (2.134).
Conviene ahora comparar los terminos de la derecha en (2.134); el cociente entre
ellos es:
3u2 /2
= 3u2 h2 , y
/2h2
2. Gravitaci
on /119
r2 d r d r
h' = r = vt ,
c dt c dt c
donde vt es la velocidad tangencial del cuerpo de prueba; se sigue entonces que
3u2 h2 /c2 ' 3vt2 /c2 .
En particular, para Mercurio, que es el planeta mas veloz, esta fraccion tiene un
valor de 7.7108 , lo que revela que el segundo termino a la derecha de (2.134) es
bastante mas peque no que el que lo precede. En consecuencia, es posible resolver
(2.134) considerando 32 u2 como una perturbacion. En ausencia de este termino la
orbita es una conica.
Aplicada a este problema, la teora de perturbaciones sugiere considerar u 0 como
la solucion al problema no perturbado, vale decir como solucion a la ecuacion (2.134)
excluyendo el u ltimo termino. Ha de escribirse entonces, como solucion:
u = u0 + v, (2.139)
donde tiene valor 1, y v es una funcion desconocida que solo afecta en primer
orden de perturbacion. El coeficiente tiene la mision de distinguir entre los diversos
ordenes de la perturbacion. As, (2.134) puede escribirse:
3
u00 + u = + u2 .
2h2 2
En forma concisa:
u00 + u = A + Cu2 , (2.140)
con A = /2h2 y C = 3/2. Reemplazando (2.139) en (2.140) se obtiene:
u000 + u0 A = 0. (2.141)
v 00 + v Cu20 = 0. (2.142)
u0 = A + B cos , (2.143)
120 / Relatividad general
Puesto que B(cos + AC sen ) ' B cos( AC), la solucion puede aprox-
imarse a:
1 2 B2 B2
u = = A + B cos[(1 AC)] + C A + cos 2 .
r 2 6
cantidad que es mayor que 2. Esto significa que la precesion del perihelio se realiza
en la misma direccion que el recorrido del planeta en su orbita. El exceso sobre
2 es 2 = = 2AC. Puesto que AC = 3G2 M 2 /c2 h2 , se sigue que la
precesion del perihelio, por cada revolucion, tiene un valor de:
2 2
G M
= 2 3 4 2 . (2.144)
c h
a perturbaciones debidas a los otros planetas, ante todo Venus, Tierra y J upiter.
La precesion observada es o =5600,730,4100 . Restando las precesiones calcula-
da y observada se obtiene 43,110,4500 por siglo. La relatividad general, utilizando
(2.144), y teniendo en cuenta que Mercurio realiza 415 revoluciones por siglo, predice
para este planeta una precesion de 43,0300 de arco por siglo.
Para Venus la precesion calculada por la relatividad general es de 8,600 por siglo,
mientras la observada es 8,4 4,800 . Para la Tierra la predicha es 3,800 mientras
la observada es 5,0 1,200 . Para el asteroide Icaro la predicha y la observada son,
respectivamente, 10,300 y 9,8 0,800 . Como se ve, estos corrimientos son descritos
con muy buena precision por la relatividad general.
2.15.3. Deflexi
on de la luz
Una notable prediccion de Einstein en 1915 concierne al movimiento de la luz
en un campo metrico. De acuerdo con la relatividad especial el elemento de lnea
tiene la forma:
ds2 = dx dx . (2.145)
Para un rayo de luz, es decir para partculas de masa cero el elemento de lnea
es nulo, tal que la luz recorre tanta distancia en el espacio como en el tiempo. De
acuerdo con la relatividad general la forma (2.145) es valida en un sistema en cada
libre en un campo de gravedad, y basta reemplazar por g para tener su version
covariante. Por lo mismo, ds = 0 conserva en relatividad general su validez para
partculas de masa cero, como tambien se sigue de (2.92).
Ocurre, sin embargo, que en el caso de la luz no es posible utilizar el principio
variacional para las geodesicas en la forma (2.99) debido al anulamiento de ds, por
lo que se propone: Z
dx dx
g dq = 0. (2.146)
dq dq
La forma mas simple de definir el nuevo parametro q es ds = m dq, siendo m la
masa de la partcula de prueba. Resulta as que para partculas de masa diferente
de cero el diferencial dq en (2.146) es enteramente equivalente al elemento de lnea
ds, y para la luz, aunque m y ds son nulos no lo es dq. Este es el parametro que se
usara para estudiar la trayectoria de la luz en un campo de Schwarszchild. El desa-
rrollo que comienza en (2.146), usando la metrica de Schwarszchild, es formalmente
el mismo de la seccion 2.4.1 con t = dt/dq, = d/dq. El calculo permite concluir,
como antes, que la orbita se situa sobre un plano invariable (que puede escogerse
como = /2) y que:
2 2 1
1 t = cte = e
l, r2 = cte = e
h, 1 c t r 2 1 r2 2 = 0.
r r r
(2.147)
122 / Relatividad general
c2 e
l2 e
h2 u02 e
h2 u 2 + e
h2 u3 = 0.
LUZ
r0
r0
x
y
2
d i
LUZ r0
x
a b
4GM
= .
c2 r0
Para un rayo de luz que pasa rasante a la superficie del Sol (r0 es el radio solar)
y en segundos de arco:
= 1,7500 .
Dos expediciones fueron organizadas en 1919, por Arthur Eddington y Frank
W. Dyson, para estudiar desde Brasil y Nueva Guinea el eclipse total de Sol del 29
de mayo. La deflexion, calculada para luz rasante al disco solar (r0 = Rsol ) fue de
1,980,16 y 1,160,40. Las medidas de deflexion de luz de quasares estan compren-
didas entre 1,570,08 y 1,870,3. A pesar de mas de 50 a nos de observaciones
los errores en las medidas siguen siendo tan altos como al principio. Resultados mas
precisos han sido logrados con microondas, caso en el cual es suficiente con esperar
que una radiofuente pase cerca al limbo solar.
2.16. La gravitaci
on y los sistemas fsicos
Supongase un sistema fsico en ausencia de gravitacion, del cual se conocen sus
ecuaciones basicas en forma tensorial. Vale decir que las ecuaciones que lo describen
contienen los tensores de la relatividad especial. Puesto que el principio de covarian-
za exige escribir las ecuaciones en forma tensorial general, es decir, invariante bajo
transformaciones generales de coordenadas, entonces los tensores deberan reem-
plazarse por tensores generales y las derivadas parciales por derivadas covariantes;
los ndices tensoriales se subiran con g en vez de . Este procedimiento equivale
a conocer las ecuaciones del sistema fsico en un peque no entorno de un sistema
geodesico, donde vale la relatividad especial, y a reemplazarlas por ecuaciones co-
variantes generales. Los tensores generales deberan reducirse a sus formas conocidas
en relatividad especial cuando se eval uen en un sistema geodesico. Esta es la forma
de introducir la gravitacion en los sistemas fsicos.
Como un ejemplo simple de escritura de ecuaciones en forma covariante general
considerese el campo electromagnetico. Ante todo recuerdese que en relatividad
especial las ecuaciones de Maxwell tienen la forma:
4
, = J
c
, + ,, + , = 0,
= A, A,
4
; = J , (2.151)
c
; + ; + ; = 0,
= A; A; .
Problema:
La ley de Gauss para el campo electromagn etico en relatividad general tiene
la forma 2.151. Expresada en t
erminos de la derivada ordinaria es:
1 4
( g ) = J .
g x c
H
agala especfica para campo d erminos en 1/c4 ; utilice i0 =
ebil; deseche t
Ei , 12 = B3 , g = , y demuestre que las leyes de Gauss y Amp` ere-
Maxwell se escriben:
1
E g E = 4
c2
1 4 1 E
B 2 gB= J+ .
c c c t
2.17.1. Preliminares
La densidad escalar de curvatura, en la quep se basa el pproblema variacional en
relatividad general, se define en la forma R = |g|R = |g|g R , donde R es
el escalar de curvatura y |g| es el determinante del tensor metrico. El signo menos
dentro del radical logra que la raz cuadrada sea real, ya que la signatura de g es
(1, 1, 1, 1). As:
p p h i
R = |g|g R = |g|g +
, ,
p h i p h i
= |g|g ,
+ |g|g
,
p h i
= |g|g L,
, ,
= {C} + {B} L.
2.17.2. La acci
on gravitacional
La variacion de la integral de accion para el campo gravitacional, de acuerdo
con (2.158), se escribe en la forma:
Z Z p Z
Sg = R d4 x = R |g| d4 x = L d4 x. (2.159)
2. Gravitaci
on /129
p
donde R y |g| d4 x son funciones escalares, y por tanto Sg es un escalar. La
variacion sera realizada teniendo en cuenta que g y g, se anulan en la fron-
tera del volumen 4D; tal frontera es un volumen 3D con 4-vectores de hipersuperficie
d . Ahora bien, reorganizando (2.152) puede escribirse:
p h i
L= |g|g
= U V. (2.160)
p p p
U = g |g| = g |g| + g |g|
p p
p
=
g |g|, + g |g| (g |g|)
p
p p
=
g |g| ,
g |g| (g |g|).
,
Para pasar del primer renglon al segundo se ha utilizado la identidad (2.154), y para
pasar del segundo al tercero la identidad (2.155).
Ahora bien, para evaluar V de (2.160), cambiamos por y por :
p p p
V = g |g| =
g
|g| +
g |g|
p p p
=
g |g| +
g |g| + (g |g|)
p p p
=
g |g| +
g |g| + (g |g|)
p p
= 2
g |g| + (g |g|).
h p p i
V = 2 g |g| (g |g|)
p
+
(g |g|)
p p
= 2 g |g| (g |g|).
130 / Relatividad general
En consecuencia:
L = U V
p p p
=
(g |g|, ) (g |g|), ) (g |g|)
p p
+
(g , |g|) + (g |g|)
p
=
(g |g|),
p
+
(g |g|). (2.161)
por lo que:
h p i
L =
(g |g|)
,
h i p
+ ,
,
+
(g |g|)
h p i p
=
(g |g|) + R (g |g|),
,
As pues, de (2.162):
Z
p 1 p
Sg = R |g|g g |g|g g d4 x
2
Z p
1
= |g| R Rg g d4 x
2
Z p
= |g|G g d4 x, (2.164)
G = 0.
donde Q es una funcion de los otros campos. En este caso la variacion de la accion
total es: Z p
S = (Sg + Sc ) = [R KQ] |g| d4 x = 0. (2.166)
132 / Relatividad general
G = KA .
donde es una constante, se obtiene la ecuacion del campo metrico con constante
cosmologica:
G + g = KA .
Excepto por la aparicion de A definido por (2.167) en vez del tensor momento-
energa T , esta es la ecuacion de Einstein (2.57). En lo que sigue se demuestra que,
en el caso del campo electromagnetico, A es el tensor T , aunque la igualdad
2. Gravitaci
on /133
Pero tambien:
p p p
|g|g , G = |g|g , g g G = |g|g g, g G
p p
= |g|g, G = |g|g, G . (2.171)
y reemplazando en (2.168):
p 1 L
|g| T + L g , = 0,
2K g , ,
2. Gravitaci
on /135
donde se ha definido:
p 1 L
|g|t = L g , . (2.173)
2K g ,
Qm Qm Qm, Qm
Qm, = = qn, , de donde = , entonces:
x qn qn, qn
L L Qm, L Qm L Qm
= = = , as pues:
qn, Qm, qn, Qm, qn Qm, qn
L L Qm L
qn, = qn, = Qm, ,
qn, Qm, qn Qm,
como se quera demostrar. p
Ahora bien, de (2.161) escogiendo Qm = |g|g :
p
L =
(g |g|),
p
+
(g |g|)
=
Q m, +
Qm ,
de donde se sigue:
L Q
m,
=
=
Qm, Qm,
=
.
2. Gravitaci
on /137
Cosmologa relativista
3.1. Introducci
on
La relatividad general es una teora que describe la gravitacion como un fenome-
no geometrico en el que el espacio-tiempo es una entidad cuya estructura esta de-
terminada por la materia. A su vez, el espacio-tiempo determina el movimiento de
los cuerpos que en el se ubican. El espacio-tiempo es un escenario cambiante, es
parte de la accion del mundo. Es un campo dinamico. Y puesto que el espacio y el
tiempo han de ser elementos basicos en la descripcion del mundo a todos los nive-
les, entonces la nueva dinamica de la geometra ha de gobernar tambien el mundo
cosmologico, la totalidad del universo.
Esto significa que las mas antiguas preguntas de la cosmologa podran plantearse
desde la relatividad general con una nueva perspectiva.
La cosmologa es una disciplina bastante antigua que esta animada por una
ambicion de totalidad. No le importan a ella los detalles del mundo, es decir, la
descripcion de los fenomenos particulares que revelan la diversidad de lo sensible.
Puesto que solo preguntas ambiciosas son el objeto de su indagacion resulta ser
entonces la hermana gemela de la metafsica y la hermana menor de la ontologa.
Su ambicion no es el ser sino los fenomenos; basa su accion en el pensamiento
matematico y en su adhesion a la observacion.
Hasta donde se extiende el universo visible? Es decir hay lmite alguno en
el espacio y el tiempo? Cual es su estructura? Han tenido ellos alg un origen, o
simplemente persisten desde siempre? Son accesibles al esfuerzo del pensamiento
abstracto, o exigen otro metodo para su comprension? El espacio y el tiempo
mismos, supuesto sustrato de lo fenomenico, son susceptibles al rigor del metodo
cientfico?
Hubo una cosmologa aristotelica, hubo una incipiente cosmologa matematica
newtoniana que no alcanzo profundidad. La fsica de Einstein es, en este sentido, una
139
140 / Relatividad general
d(x2 + y 2 )
2z dz = d(x2 + y 2 ) , es decir: dz = .
2(a2 x2 y 2 )1/2
con i = 1, 2, 3 y convencion suma? Por analoga con el caso 2D, y dado que la
ecuacion anterior es la de una esfera en 4D, este espacio es de curvatura constante
positiva. Se trata entonces de un espacio 3D esferico sumergido en un espacio 4D
euclidiano. De (3.3) se sigue: xi dxi + x4 dx4 = 0, de donde dx4 = xi dxi /(a2
xk xk )1/2 . Reemplazando dx4 en la expresion para el elemento de lnea en 4D:
xi xj dxi dxj
dl2 = dxi dxi + dx4 dx4 = dxi dxi + 2
(a xk xk )
xi xj
= dxi dxj ij + 2 = gij dxi dxj .
a x k xk
3. Cosmologa relativista /143
dr2
dl2 = + r2 (d2 + sen 2 d2 ). (3.4)
1 r 2 /a2
4a2
() = .
20 (1 + 2 /20 )2
Si para 0 y r 0 se sigue que 1, se obtiene 0 2a. En consecuencia:
1
() = .
(1 + 2 /4a2 )2
144 / Relatividad general
3.2.2.3. Sntesis
En forma compacta los tres casos anteriores se expresan:
dr2 d 2
dl2 = 2 2
+ r2 (d2 + sen 2 d2 ) = . (3.9)
1 kr /a (1 + k2 /4a2 )2
espacialoides.
A lo largo de la geodesica ds2 = g00 (dx0 )2 , por lo cual: g00 = 1. Una forma de
satisfacer la condicion n t = 0 es escribir n = (1, 0) y t = (0, a). As pues:
n P 0 (x0 + dx0 , xi )
b
a t
P (x0 , xi )
a b
de donde se concluye que gi0 = 0. As, hasta ahora, el elemento de lnea toma la
forma: ds2 = (dx0 )2 + gij dxi dxj .
Ahora bien, de la ecuacion de la geodesica (2.87) con = i y a lo largo de x 0 ,
esto es, con x i = x
i = 0:
i dx0 dx0
00 ds ds
=0
i
por lo cual 00 = 0, de donde se sigue: [00, i] = 0. De aqu se sigue g0i = cte, y
como g0i = 0 sobre S, entonces g0i = 0 en todos los puntos del espacio-tiempo. As,
para todo el espacio-tiempo es posible escribir el elemento de lnea en coordenadas
gaussianas:
ds2 = (dx0 )2 + gij dxi dxj . (3.10)
Estas coordenadas separan espacio y tiempo e introducen un tiempo universal
aunque no covariante.
3.4. La m
etrica cosmol
ogica
Einstein
0
ds2 = (dx0 )2 dl2 = (dx0 )2 eG(x ,r)
d 2
donde G(x0 , r1 ) = G(x0 , r2 ) + F (r1 , r2 ). Para que esto sea cierto G(x0 , r) ha de
contener aditivamente funciones de x0 y r: G(x0 , r) = g(x0 ) + f (r), por lo cual
F (r1 , r2 ) = f (r1 ) f (r2 ). El elemento de lnea se escribe ahora:
0
ds2 = (dx0 )2 eg(x )+f (r)
d 2 , (3.11)
T 0ij = ai k aj l T kl ,
e y con AA
escrito en forma matricial como T0 = ATA, e = I, se sigue que T0 = T si T
es diagonal (T = I), con lo cual:
e = AIA
T0 = ATA e = I.
R2 (t)
ds2 = c2 dt2 d2 . (3.17)
[1 + ku2 /4]2
En el sistema acompa nante la materia esta en reposo, lo que significa que las
coordenadas de cada elemento del fluido cosmico son fijas en el tiempo; sin embargo
la distancia espacial entre dos puntos es funcion del tiempo. Como se vera luego,
despues del estudio de la recesion de las galaxias descubierto por Hubble, R(t) es una
funcion creciente del tiempo, con lo que la expansion del universo es interpretable
como expansion del espacio.
Es facil comprobar que los elementos espaciales del tensor de Ricci-Einstein son
independientes de la posicion, como lo exige la homogeneidad e isotropa del espacio.
En efecto, de (3.13), (3.14) y (3.15):
1 02 1 0 g 3
G1 1 = G2 2 = G3 3 = ef f + f e g 00 g 02 , (3.18)
4 r 4
y como f 00 12 f 02 1r f 0 = 0 se sigue:
1 02 1 0 1 1 a
f + f = f 00 + f 0 = ef , de donde:
4 r 2 2 b
1 1 a
ef f 02 + f 0 = = cte.
4 r b
La u
ltima ecuacion permite escribir (3.18) en la forma:
a g 3
G1 1 = G 2 2 = G 3 3 = e g 00 g 02 ,
b 4
que solo depende del tiempo, como se quera demostrar.
La metrica de Robertson-Walker corresponde a un sistema acompa nante. Para
i
probarlo basta verificar de (3.17) que 00 = 0; en consecuencia, si x i = 0 en alg
un
instante: i
i + 00 x 0 x 0 = 0,
x
i = 0. Esto significa
de donde se sigue que en cada instante la aceleracion es nula: x
que el fluido viaja con la red coordenada.
150 / Relatividad general
cz = HL. (3.20)
0 v L
' = =H , por lo cual:
c c
v = LH
O
E
to te
Figura 3.2: La luz emitida por una galaxia en E es recibida por un observador O
3. Cosmologa relativista /151
3.5.1. La expansi
on del espacio
De la metrica de Robertson-Walker (3.17) es posible demostrar que existe un
corrimiento en la frecuencia de la luz emitida por objetos distantes, aunque sus
coordenadas permanezcan sin cambio con el tiempo. Tal corrimiento se debe a la
presencia del factor R(t).
En la figura 3.2 se muestra una galaxia E desde la que viaja una se
nal luminosa
emitida en el instante te , se
nal que alcanza al observador O en el instante to , con
to > te . Las coordenadas de la galaxia y el observador permanecen invariables, esto
es, se mueven junto con el fluido cosmico. Puesto que la se
nal que viaja entre ellos
es luminosa es cierto que ds = 0. As, de (3.17):
R2 (t)
c2 dt2 = d2 = R2 (t) d
2
[1 + ku2 /4]2
puede escribirse:
Z to +to Z to Z to +to Z te +te
dt dt dt dt
=0= .
te +te R(t) te R(t) t0 R(t) te R(t)
Esta expansion es convergente para c(t to )/Ro 1. Dos calculos simples son
entonces posibles:
A. Reemplazando (3.24) en (3.21) e integrando se obtiene:
' h. (3.26)
Ro0 R0
cz ' Ro0
= ) = o L = HL.
(Ro
Ro Ro
si se define la constante de Hubble en la forma:
Ro0
H= . (3.30)
Ro
En general, R0 es una funcion del tiempo como lo es R, tal que H no es una
constante. El valor de H escrito como Ro0 /Ro esta evaluado en el instante de ob-
servacion, vale decir, en el universo actual. As pues, segun (3.28), la ley de Hubble
admite una forma mas general que incluye la desaceleracion de las galaxias, efecto
que newtonianamente es atribuible a la gravitacion del universo sobre s mismo.
Entonces:
1 Ro0 2 L2 H 2 L2 HL
cz ' HL + (1 + qo ) = HL + (1 + qo ) = HL 1 + (1 + qo ) .
2c Ro2 2c 2c
b2 R2 (t)
ef = , eg =
[1 + kr 2 /4r02 ]2 b2 r02
d P dR3
R3 + 2 = 0, que equivale a: (3.35)
dt c dt
dR d
+ = 0. (3.36)
R 3[ + P/c2 ]
A. P = 0, de donde: R3 = cte.
2
B. Gas ideal: P = , de donde: R3(1+/c )
= cte.
8G 3k
= + 2 , (3.37)
c2 R
8G P k
= 2, (3.38)
c2 c2 R
8G 3P
+ = , (3.39)
c2 c2
8G P k
2
+ 2
= 2. (3.40)
c c R
Este modelo fue propuesto por Einstein en 1917, a nos antes del descubrimien-
to de Hubble, y esta fundamentado en su creencia, en esos a nos, en un universo
estacionario. Esto precisamente fue lo que motivo la introduccion de la constante
cosmologica. De (3.37) y (3.38), con > 0 y P > 0:
3k k
+ >0 y > 0, de donde:
R2 R2
k 3k
< < 2,
R2 R
de modo que es proporcional al inverso del radio al cuadrado del universo,
lo que asegura que la constante cosmologica ha de ser sumamente peque
na y no
importante a nivel del sistema solar.
De (3.40) se sigue que:
kc2
R2 = ,
4G( + P/c2 )
156 / Relatividad general
cantidad que es mayor que cero, luego k = 1. Este, entonces, es un universo esferico,
finito e ilimitado. Como P/c2 es cierto que el radio del universo de Einstein es:
p
R ' c/ 4G,
3H 2
C = (3.44)
8G
define la densidad crtica, valor cercano a (2,1 0,5) 1029 gr/cm3 .
De (3.33) con = 0:
4G 3P 3R00
2
+ 2
= 2 . (3.45)
c c c R
Puesto que > 0 y P > 0 es cierto que R00 < 0, lo que significa que hay
desaceleracion, la que se debe a la atraccion que el universo ejerce sobre s mismo.
Ademas, como aproximacion, la presion puede suponerse muy debil (P/c 2 );
eliminando entre (3.41) y (3.45):
De (3.46), en la que R00 < 0, y con (3.47) puede concluirse que D0 > 0:
kc2 + R02 D0 c 2
R00 = = < 0. (3.48)
2R 2R2
De (3.45) y (3.48) con P ' 0:
4G D0 c 2
R00 = R = , (3.49)
3 2R2
de donde se concluye que R3 es constante:
2G 4 3
D0 = 2 R
c 3
R(t)
D0
t
t= =0 t = D0 /c
Figura 3.3: Cambio con el tiempo del radio del universo en un modelo esferico
Con q0 = 1,0 0,5 y H 1 = (5,6 0,6) 1017 seg se obtiene R0 ' 1026 m. Reem-
plazando en (3.43):
3c2
0 = C + .
8GR2
De modo que en un universo esferico la densidad promedia es mayor que la crtica,
lo que tambien se concluye de (3.49), (3.29) y la definicion de H:
1 0
q0 = . (3.51)
2 C
un (3.47): R 02 = D0 c2 /R,
Para este modelo, propuesto en 1922, k = 0, tal que seg
cuya integracion conduce a:
3
R3/2 = D0 ct + C.
2
Si R = 0 en t = 0 sera cierto entonces que:
R = A t2/3 , (3.52)
con A = (3c D0 /2)2/3 . Este modelo, representado en la figura 3.4, corresponde a
un universo euclidiano en expansion continua a partir de un origen explosivo, como
en el caso k = 1. Es un universo abierto. De (3.47) y (3.49) se obtiene q0 = 1/2;
y de (3.51): 0 = C .
3. Cosmologa relativista /159
Corresponde a k = 1. De (3.47):
D0 + R 2
R02 = c ,
R
cantidad que es mayor que cero, lo que implica una expasion continua sin fase de
contraccion como en el caso k = 1. Es tambien un universo abierto. Escogiendo
el cambio de variable R = D0 senh 2 la solucion a la ecuacion para R02 conduce a:
D0
ct = ( senh 2 2 ). (3.53)
2
Los modelos sin constante cosmologica A1, A2 y A3 se muestran en la figura
3.4. En todos ellos hay un corrimiento al rojo y un origen en el tiempo al que se
conoce como Big-Bang, la gran explosion.
R(t) c
a
t
O
R(t)
R0
t
3H 2 1 2
= 2
= (a
nos luz) .
c (1,8 1010 )2
*****************************************
*****************************
****************
Bibliografa
161
162 / Relatividad general
[16] Lass H. , Vector and tensor analysis, McGraw Hill Book Co., Tokyo, 1950.
[17] Mach, E. , The science of mechanics, Open Court Pub. Co., La Salle, Illinois,
1974.
[19] McConnell, A. J. , Applications of tensor analysis, Dover Pub. Inc., New York,
1957.
[21] Moreau, W., Neutze, R., American Journal of Physics, 62 (11), noviembre 1994.
[22] Morse, P. and Feshbach, H. , Methods of theoretical physics, McGraw Hil, New
York, 1953.
[25] Ohanian, H. C., American Journal of Physics Vol 45 No 10, octubre 1977.
[26] Ohanian H. C. and Ruffini R. , Gravitation and space time, W.W. Norton and
Company, New York, 1994.
[27] Phillips, H. B. , An
alisis Vectorial, Uteha, Mexico, 1956.
Aceleracion fsicas, 46
cada libre, de, 55 Condicion(es)
armonica, 84
Base coordenadas, 83
bilineal, 12 Conexion afn, 30
original, 5 Constante
recproca, 5, 6 cosmologica, 79
Bianchi, identidad de, 38 Einstein, de, 75
Big-Bang, 159 Contraccion de ndices, 15
Birkhoff, teorema de, 110 Convencion suma, 5
Coordenadas
Calculo, variaciones, de, 17 cartesianas, 8
Cada libre, 49, 124 curvilneas, 4
aceleracion de, 55 esfericas, 9
Campo gaussianas, 145
Christoffel, de, 62 geodesicas, 68
cuasi-euclidiano, 63 Correspondencia
debil, 85 principio de, 77
gravedad, de, 49 Corrimiento al rojo, 101, 125, 150, 155
gravitacional, 53
newtoniano, 49 De Sitter
mareas, de, 49, 60, 64 universo de, 159
vectorial, 11 Deflexion de la luz, 121
Carga, gravitacional, 52 Delta
Cavendish, 52 Dirac, de, 54
Christoffel Kronecker, de, 6, 14
smbolo de, 21 Densidad tensorial, 41
smbolos de, 67, 107 Derivada covariante, 25
Cociente,regla del, 16 producto, de un, 28
Coeficientes, metricos, 6 Dada, 12
Componentes Diferencial covariante, 26
covariantes, 46 Dirac, Delta de, 54
163
164 / Relatividad general
flotantes, 10 ficticia, 93
mudos, 5 genuina, 93
repetidos, 5 longitudinal, 88
sub, 5 metricas, 86
super, 5 potencial ficticia, 89
Inercia, ley de, 80 transversa, 88
Intervalo, 7 Operador
Invariante(s), 9, 10 gradiente, 16
volumen, de, 43
Parametro de desaceleracion, 153
Kronecker Perihelio
delta de, 14 precesion del, 118
Kronecker, delta de, 6 Perturbaciones
teora de, 119
Lagrange, ecuacion de, 17 Poisson
Laplaciano, 35, 47 ecuacion de, 54
Leibniz Potencial
regla de, 28 gravitacional, 49, 54, 63
Levi-Civita metrico, 63
smbolo de, 12 Pound, 102
Ley de Hubble, 150 Precesion
Lorentz perihelio, del, 118
gauge de, 83 Principia, 52
Luminoide, 96 Principio
correspondencia, 77
Metrica, 6 cosmologico, 153
Mareas covarianza, de, 60
campo de, 64 equivalencia, de, 59, 60, 66
Masa variacional, 66
gravitacional, 52, 55 Producto
inercial, 52 cruz, 12
Minkowski diadico, 12
espacio de, 61 escalar, 12
Movimiento doble, 15
inercial, 51 externo, 15
interno, 15
Newton, 52, 55 punto, 12
vectorial, 12
Onda(s)
ecuacion de, 54 Rebka, 102
electromagneticas, 87 Recalibracion, 87
gravitacional, 89, 91 Regla
166 / Relatividad general
Temporaloide, 96
Tensor, 12, 13
antisimetrico, 14
componentes fsicas, 111
Einstein, de, 41
identidad, 15
isotropico, 14
momento-energa
del campo electromagnetico, 74
del fluido, 72
Ricci-Einstein, de, 38
Riemann, de, 66
Riemann-Christoffel, de, 36
simetrico, 14
unidad, 15
Teora unificada, 32