Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Alonsosepulveda Relatividad Edicion2015
Alonsosepulveda Relatividad Edicion2015
de
relatividad general
Alonso Sepúlveda S.
Instituto de Fı́sica
Universidad de Antioquia
Medellı́n, julio 2014
Revisado: noviembre 2015
El espacio de Einstein
no está más próximo a la realidad
que un cielo de Van Gogh.
La gloria de la ciencia no está
en una verdad “más absoluta”
que la verdad de Bach o Tolstoi,
sino en el acto de la creación misma.
Los descubrimientos de los cientı́ficos
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 perı́odo a otro,
de la misma manera que
un desnudo de Rembrandt
difiere de un desnudo de Manet.
Arthur Koestler
Índice general
Prólogo VI
1. Geometrı́a diferencial 2
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Coordenadas curvilı́neas generales . . . . . . . . . . . . . . . . . . . 4
1.2.1. Base original y recı́proca . . . . . . . . . . . . . . . . . . . . . 4
1.2.2. Teorı́a de transformación . . . . . . . . . . . . . . . . . . . . 9
1.3. Formas multilineales . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.1. Productos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.2. Dı́adas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.3. Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Álgebra tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. El operador gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Geodésicas en N dimensiones . . . . . . . . . . . . . . . . . . . . . . 17
1.6.1. Sı́mbolos de Christoffel . . . . . . . . . . . . . . . . . . . . . . 21
1.7. Derivada covariante . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.7.1. Diferencial covariante . . . . . . . . . . . . . . . . . . . . . . 27
1.7.2. Derivación covariante de un producto y de un tensor . . . . . 29
1.7.3. La conexión afı́n . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.7.4. Divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.7.5. Rotacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.7.6. Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.8. Tensor de Riemann-Christoffel . . . . . . . . . . . . . . . . . . . . . 37
1.8.1. Tensor de Ricci-Einstein . . . . . . . . . . . . . . . . . . . . . 40
1.8.2. Tensor de Einstein . . . . . . . . . . . . . . . . . . . . . . . . 42
1.9. Densidad tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.9.1. Aplicaciones de la densidad tensorial . . . . . . . . . . . . . . 44
1.9.2. Derivada covariante de densidades tensoriales . . . . . . . . . 45
1.10. Miscelánea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
iii
iv/ Relatividad general
2. Gravitación 54
2.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.2. Teorı́a newtoniana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.1. Ley de Newton de la gravitación . . . . . . . . . . . . . . . . 55
2.2.2. Masa inercial y gravitacional . . . . . . . . . . . . . . . . . . 58
2.2.3. Transformaciones galileanas . . . . . . . . . . . . . . . . . . . 58
2.3. Los principios de la relatividad general . . . . . . . . . . . . . . . . . 62
2.4. Gravitación y métrica . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.4.1. El campo de mareas . . . . . . . . . . . . . . . . . . . . . . . 67
2.4.2. Sistema rotante . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.4.3. Coordenadas geodésicas y caı́da libre . . . . . . . . . . . . . . 71
2.5. Ecuaciones de campo en el espacio libre . . . . . . . . . . . . . . . . 72
2.6. Tensor de materia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.7. La ecuación de Einstein . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.7.1. Lı́mite newtoniano . . . . . . . . . . . . . . . . . . . . . . . . 79
2.8. La constante cosmológica . . . . . . . . . . . . . . . . . . . . . . . . 82
2.9. Ley de inercia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.10. Invarianza gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.10.1. Condición de Lorentz . . . . . . . . . . . . . . . . . . . . . . 86
2.10.2. Condiciones coordenadas . . . . . . . . . . . . . . . . . . . . 86
2.11. Campo débil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
2.11.1. Linealización . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
2.11.2. Ondas métricas . . . . . . . . . . . . . . . . . . . . . . . . . . 89
2.11.3. Ondas electromagnéticas planas . . . . . . . . . . . . . . . . . 91
2.11.4. Ondas gravitacionales planas . . . . . . . . . . . . . . . . . . 92
2.12. Cálculos basados en el elemento de lı́nea . . . . . . . . . . . . . . . . 97
2.12.1. El elemento de lı́nea . . . . . . . . . . . . . . . . . . . . . . . 97
2.12.2. Clasificación de los 4-vectores . . . . . . . . . . . . . . . . . . 99
2.12.3. La 4-velocidad . . . . . . . . . . . . . . . . . . . . . . . . . . 99
2.12.4. Teorema 1: . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
2.12.5. Teorema 2: . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
2.12.6. Simultaneidad . . . . . . . . . . . . . . . . . . . . . . . . . . 101
2.12.7. Tiempo propio . . . . . . . . . . . . . . . . . . . . . . . . . . 103
2.12.8. Efecto Doppler gravitacional . . . . . . . . . . . . . . . . . . 103
2.12.9. Constantes de movimiento . . . . . . . . . . . . . . . . . . . . 105
2.12.10. Geodésicas y mı́nima acción . . . . . . . . . . . . . . . . . . 107
2.13. Solución de Schwarzschild . . . . . . . . . . . . . . . . . . . . . . . . 108
2.13.1. El elemento de lı́nea . . . . . . . . . . . . . . . . . . . . . . . 108
2.13.2. Los sı́mbolos de Christoffel . . . . . . . . . . . . . . . . . . . 110
2.13.3. Componentes del tensor de Ricci-Einstein . . . . . . . . . . . 110
2.13.4. La métrica de Schwarzschild . . . . . . . . . . . . . . . . . . . 111
Índice general /v
Bibliografı́a 168
Geometrı́a diferencial
1.1. Introducción
La relatividad general es una teorı́a sobre el espacio y el tiempo. Fué precedida
por la relatividad especial, teorı́a que permitió entender que el tiempo y las tres
coordenadas del espacio son parte −como descubrió Minkowski− de un espacio-
tiempo de 4 dimensiones que es el escenario de los fenómenos fı́sicos.
Resulta lógico por ello que una presentación de los fundamentos de la relatividad
general comience por introducir temas geométricos, en particular sistemas de coor-
denadas, a partir de los cuales es posible definir puntos en espacios N dimensionales;
uno de estos espacios podrı́a describir el espacio-tiempo.
Ninguna mención será hecha en este capı́tulo a la posibilidad de que la estructura
de estos espacios, o de alguno de ellos, esté conectada con la existencia del mundo
material que la fı́sica pretende describir. Por ello una idea simple anima el comienzo
de esta exposición: proponer la noción de coordenadas curvilı́neas 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ún
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
fı́sica del espacio. Vale decir que la presentación que sigue se inicia desde un divorcio
de principio entre la geometrı́a y la fı́sica. Ningún argumento fı́sico inspirará la
construcción matematica aquı́ presentada. Por ello este capı́tulo bien puede hacer
parte de un texto de geometrı́a pura, de geometrı́a diferencial. No serán pertinentes,
ni necesarios por ahora los comentarios a las sugerencias de Leibniz o de Mach acerca
de que el mundo de los fenómenos está inevitablemente asociado a un espacio y un
tiempo determinados por el contenido material del mundo, punto de vista desde el
cual cualquier discusión sobre la geometrı́a fı́sica y la posibilidad de una medida de
distancias y tiempos, habrı́a de incluir el universo material entero.
2
1. Geometrı́a diferencial /3
En este sentido este no es un capı́tulo sobre geometrı́a fı́sica sino sobre geometrı́a
matemática, sin compromiso alguno con la experiencia. Es un capı́tulo completa-
mente aséptico, no contaminado con la presencia del mundo. Como se verá luego
esta inicial asepsia tiene una consecuencia epistemológica fundamental que no es
posible soslayar y que es una de las debilidades de la teorı́a de Einstein y de todas
las teorı́as modernas sobre el espacio y el tiempo, pues si una discusión sobre el
mundo de la materia comienza con una disquisición abstracta que no la involucra,
entonces toda elaboración teórica posterior carecerá del elemento esencial que a él
lo refiera. La “imagen del mundo” que de aquı́ provenga será entonces, a su pesar,
la base de un conocimiento incompleto sobre el universo real.
En cierto sentido, entonces, las páginas que siguen, resultado de la geometrı́a
pura, serán, respecto al conocimiento del mundo material, una especie de metafı́sica,
de fundamento sin sustrato, no una parte de la fı́sica. Como se verá en el capı́tulo
2, la relatividad especial y general, las mejores teorı́as de nuestra época sobre el
espacio y el tiempo, comenzaron por asumirlos como una estructura que precede al
mundo fenoménico.
La noción matemática de espacio comienza su camino a partir de la creación
de la geometrı́a analı́tica, disciplina que, con Descartes, algebrizó el espacio e hizo
posible la descripción del movimiento a partir del cálculo diferencial. La noción de
distancia entre dos puntos resultó ser tanto un objeto de la geometrı́a algebraica
como del cálculo diferencial.
Se trata aquı́, dicho otra vez, de ampliar las nociones cartesianas, introduciendo
las coordenadas curvilı́neas N dimensionales. El desarrollo permitirá mostrar, intro-
duciendo una notación conveniente, que es posible escribir ecuaciones cuya forma
general es la misma para todos los sistemas coordenados curvilı́neos en el N-espacio.
La disciplina que permite esta invarianza es el cálculo tensorial, una forma elegante
y poderosa de lograr esa sublimación algebraica de la geometrı́a que es la geometrı́a
de Riemann, una estructura que −reinventando a Euclides− permitió una nueva
descripción del mundo.
El proyecto de escribir leyes invariantes es interesante, importante y de alta
estética, pues la fı́sica pretende fabricar leyes del mundo que sean válidas 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 expondrá será una teorı́a de espacios geo-
métricos, no de espacios fı́sicos, pues en lo que sigue, y a pesar de que los geómetras
ocasionalmente pensaron en el mundo fı́sico, ningún argumento surgido del mundo
de los fenómenos impondrá condición alguna sobre la construcción de estos espacios.
La relatividad general utiliza la teorı́a geométrica aquı́ descrita, asumiéndola
como una teorı́a fı́sica sobre el espacio (en nuestro caso el espacio-tiempo), según 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 reflexión sobre temas newtonianos. La so-
lución a la ley de Gauss para la gravitación en el interior de un cascarón esférico
de masa muestra que el campo de gravitación 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 están
asociados a potenciales gravitacionales constantes generados por las grandes masas
lejanas y que la ilusión de Newton es que el espacio y el tiempo estaban antes de
ellas y que no era necesario fı́sicamente el cascarón. Según esto, podrı́a pensarse que
Newton supuso la existencia previa del espacio y el tiempo en el interior del cas-
carón cósmico que nos rodea sin sospechar que la estructura del espacio y el tiempo
podrı́a deberse por entero a la masa circundante. Es decir que Newton describe el
problema a la inversa; primero asume el espacio y tiempo absolutos y luego descu-
bre que en el interior del cascarón esférico que es el universo que nos circunda hay
un potencial gravitacional constante. Esto significa que el espacio y el tiempo son
ontológicamente diferentes del mundo y no lo implican. En estas lı́neas se mueve la
teorı́a geométrica sin mundo que sigue a continuación. Como se verá, la noción se
masa no aparece en parte alguna en este primer capı́tulo.
!3 !3
∂r i
dr = i
du = ai dui . (1.1)
i=1
∂u i=1
1. Geometrı́a diferencial /5
u3
u3
a3
a3
a1 a2
a1 a2
u2
u1 u1
u2
i·
El sı́mbolo δ·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 ̸= j, δ·ii· = 1 (sin suma sobre i).
Si el sistema coordenado (a1 , a2 , a3 ) es de mano derecha, lo será también (a1 , a2 , a3 ).
De (1.2) es cierto, además, que:
a1 · a2 × a3 = (a1 · a2 × a3 )−1 .
Las definiciones (1.2) para ai son válidas solo en 3D; para un espacio N-dimensional
se asume como definición de base recı́proca la relación:
ai · aj = δ·j
i·
i, j = 1, 2, ...N. (1.3)
Lo que sigue será válido 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 simetrı́a horizontal, según 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 está a la izquierda o derecha de j. Lo que sı́ debe conservarse
es la posición arriba-abajo. Debido a la simetrı́a horizontal, se dice que la delta de
Kronecker es simétrica.
En el sistema recı́proco el elemento diferencial de lı́nea se escribe: dr = ai dui y
se postula que dr es el mismo en la base original y en la recı́proca, tal que:
g kj = ak · aj = g jk . (1.7)
# # #
|a1 | = g 11 , también |a2 | = g 22 y |a3 | = g 33 , (1.11)
de modo que la base {ai } no está normalizada a la unidad. Tampoco la base {ai }.
También de (1.7) con k = 2, j = 3 se obtiene el coseno del ángulo entre la pareja
(a2 , a3 ):
g 23 g 23
cos(a2 , a3 ) = 2 3 = # .
|a ||a | g 22 g 33
√
Como a1 = ê1 |a1 | = ê1 g11 , con |ê1 | = 1, etc,
√ √
|a1 · a2 × a3 | = |ê1 · ê2 × ê3 | g11 g22 g33 = g11 g22 g33
#
= |a1 · a2 × a3 |−1 = 1/ g 11 g 22 g 33 . (1.12)
El elemento de lı́nea en dirección a1 es dl1 = dr · a1 = ai · a1 dui = gi1 dui . El
intervalo es la distancia infinitesimal entre dos puntos en el N -espacio:
ds2 = dr·dr = (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 recı́proca), lo
que es consecuencia de la invarianza de dr.
La importancia del tensor métrico gij está en que −como veremos− todas las
propiedades métricas de un espacio N dimensional están determinadas por él. A este
espacio se le llama también continuo métrico N dimensional o espacio de Riemann
N dimensional. La función gij es el campo tensorial fundamental en la teorı́a de la
gravitación 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 recı́proco coinciden, no
siendo entonces necesaria la diferencia entre sub y super ı́ndices.
Con base en los coeficientes métricos cartesianos pueden calcularse los gij en
cualquier otro sistema coordenado si se asume la invarianza de ds2 bajo la
transformación coordenada de una base cartesiana a otra curvilı́nea ai :
3
! ∂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 lı́nea:
∂xk ∂xk
gij = , (1.13)
∂ui ∂uj
y eliminando dxk dxl en la segunda lı́nea:
∂ui ∂uj
δlk = gij . (1.14)
∂xk ∂xl
Considérese como ejemplo especı́fico el paso de coordenadas cartesianas
(x1 , x2 , x3 ) = (x, y, z), a esféricas (u1 , u2 , u3 ) = (r, θ, ϕ). Como se sabe la
regla de transformación 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 θ.
∂ϕ ∂ϕ ∂ϕ ∂ϕ ∂ϕ ∂ϕ
Ası́, ds2 = gij dui duj = dr 2 + r 2 dθ 2 + r 2 sen 2 θ dϕ2 . Además, de g ij gjk = δki y
utilizando los gij que se acaban de calcular se obtiene:
⎛ ⎞
1 0 0
ij 2
{g } = ⎝ 0 1/r 0 ⎠,
0 0 1/r 2 sen 2 θ
con g ij = 0 si i ̸= j.
1. Geometrı́a diferencial /9
&3 √ &3
Puesto que dr = ai dui = i=1 êi gii du
i =
i=1 êi dli , con |êi | = 1, el
√
elemento de lı́nea en dirección ai es dli = gii dui (sin suma), por lo que, en
coordenadas esféricas: dl1 = dlr = dr, dl2 = dlθ = r dθ, dl3 = dlϕ = r sen θ dϕ.
De las expresiones ai = gij aj y con a′i = {ar , aθ , aϕ } = {êr , r êθ , r sen θ êϕ } y
ai = {ı, ĵ, 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
b j = ai . (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 conexión entre los diferenciales coordenados de las bases recı́procas 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
También, 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 ′
ui −→ xi v j −→ x′j
ui −→ xi vj −→ x′j
ai −→ ai bj −→ a′j
ai −→ ai bj −→ a′j
1. Geometrı́a diferencial /11
Ahora bien, una forma de introducir formas bilineales es a través del producto
diádico de dos vectores A y B definido como:
AB = (ai Ai )(aj B j ) = ai aj Ai B j .
1.3.1. 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.2. Dı́adas
En forma general, la cantidad T = ai aj T ij es una forma bilineal o dı́ada o tensor
de 2◦ orden, cantidad que es invariante bajo transformación coordenada, esto es:
T = T′ , o también:
T = ai aj T ij = T′ = a′k a′l T ′kl . (1.27)
Es fácil comprobar que las siguientes formas son equivalentes:
Los puntos, como en Ti··j , se colocan en los lugares vacı́os para mantener memoria
de las posiciones de los ı́ndices. Con la práctica serán suprimidos.
1. Geometrı́a diferencial /13
∂x′k ∂x′l
ai = a′k , aj = a′l ,
∂xi ∂xj
se obtiene la regla de transformación de las componentes de un tensor de segundo
orden doblemente contravariante:
∂x′k ∂x′l ij
T ′kl = T . (1.28)
∂xi ∂xj
Aplicando a (1.27) la regla inversa de transformación se obtiene:
1.3.3. Tensores
Generalizando, un tensor de orden (o rango) r es una función r-lineal expresable
en los vectores base, cuyos coeficientes son, en general, función de las coordenadas.
El tensor es un invariante bajo transformación de coordenadas; esto es:
∂x′i ∂x′j lm
T ′ij = 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úmero de componentes lo que
define un tensor sino, ante todo, la regla de transformación de sus componentes.
Un tensor de segundo orden es simétrico si: T ij = T ji . Multiplicando por gik se
obtiene:
·j j·
Tk· = T·k . (1.33)
También, multiplicando por gji se sigue: Tki = Tik .
Por definición, un tensor de segundo orden es antisimétrico si: T ij = −T ji , que
equivale a Tij = −Tji , o también:
·j j·
Tk· = −T·k . (1.34)
′ ∂xi ∂xj
gkl = gij . (1.35)
∂x′k ∂x′l
Esta es, efectivamente, la regla de transformación de un tensor de segundo
orden. El tensor gij contiene toda la información sobre la estructura del espacio
N-dimensional.
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 F·li· 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 G·ji· 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 también 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 F·il· Glmn y el doble da
lugar a F ij G·ji·n· . Obsérvese la aparición de ı́ndices repetidos, operación que resulta
de lo que se conoce como contracción de ı́ndices. Cada vez que hay contracción el
rango del tensor disminuye en 2. En F ijk Gjkn hay producto doble de dos tensores,
por tanto hay contracción doble. El tensor resultante es de rango 3+3–2–2=2 y es
de la forma Ai· n· .
e. La división entre vectores A/B no está definida, ya que en principio no está
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
&B
Si la curva es una extremal, esto es, si δl = δ A ds = 0 (donde δ indica una
variación) entonces la curva se llamará geodésica. Es la lı́nea más corta, o más larga,
entre A y B. El plan de la presente sección es el de encontrar la ecuación diferencial
satisfecha por una geodésica.
Con este fin se propone, ante todo, el siguiente problema general:
18 / Relatividad general
Siguiendo los desarrollos de la sección 2.2 del libro de H. Goldstein, que permiten
& &
demostrar −en particular− que la variación y la integración conmutan, δ = δ,
d d
y también la derivada y la variación, ds (δxi ) = δ ds (xi ), es posible escribir:
' B ' B
δF = δ f (xi (s), ẋi (s)) ds = δf (xi (s), ẋi (s)) ds
A A
' B( ) ' B( )
∂f i ∂f i ∂f i ∂f d i
= δx + δ ẋ ds = δx + (δx ) ds
A ∂xi ∂ ẋi A ∂xi ∂ ẋi ds
' B( $ % $ % )
∂f i d ∂f i d ∂f i
= δx + δx − δx ds
A ∂xi ds ∂ ẋi ds ∂ ẋi
' B ( $ %) ' B $ %
∂f d ∂f i d ∂f i
= − δx ds + δx ds
A ∂xi ds ∂ ẋi A ds ∂ ẋi
' B( $ %)
∂f d ∂f ∂f *B
= i
− i
δxi ds + i
δxi *A .
A ∂x ds ∂ ẋ ∂ ẋ
B
x
δxi
A
$ %
d ∂f ∂f
− =0 . (1.41)
ds ∂ ẋi ∂xi
Ejercicios:
1. En el plano euclidiano es cierto que:
' ( ' (
l = (dx)2 + (dy)2 = 1 + (dy/dx)2 dx
' ) '
= 1 + ẏ 2 dx = F (y, ẏ, x) dx,
d , ẏ -
) = 0,
dx 1 + ẏ 2
de donde se obtiene ẏ =constante, que corresponde a la recta euclidiana y =
ax + b.
2. En una superficie esférica de radio r:
) )
f = r 2 dθ 2 + r 2 sen 2 θ dϕ2 = r 1 + sen 2 θ ϕ̇2 dθ,
20 / Relatividad general
.
con ϕ̇ = dϕ/dθ. En este caso l = f dϕ. Reemplazando en la ecuación de
Euler-Lagrange
* +
d ∂f ∂f
− = 0, se obtiene:
dθ ∂ ϕ̇ ∂ϕ
ϕ̇ sen 2 θ C
) = C, o también: ϕ̇ = ) .
1 + ϕ̇2 sen 2 θ sen 2 θ 1 − C 2 / sen 2 θ
Utilizando las identidades sen 2 θ = 1/(1 + cot2 θ) y d(cot θ) = −1/ sen 2 θ,
escribimos:
C d(cot θ)
dϕ = − ) .
(1 − C 2 ) − C 2 cot2 θ
√
Con el cambio de variables u 1 − C 2 = C cot θ se sigue:
du
dϕ = − √ = −dα,
1 − u2
donde, además, u = cos α. Ası́ pues: ϕ = −α + C ′ , de donde:
* +
C cot θ
ϕ = − cos−1 u = − cos−1 √ + C ′ . Ası́ pues:
1 − C2
) )
C cot θ = 1 − C 2 cos(ϕ − C ′ ) = 1 − C 2 [cos ϕ cos C ′ + sen ϕ sen C ′ ],
multiplicando por r sen θ obtenemos:
)
Ca cos θ = 1 − C 2 [a sen θ cos ϕ cos C ′ + a sen θ sen ϕ sen C ′ ],
y como x = a sen θ cos ϕ, y = a sen θ sen ϕ, z = a cos θ, escribimos:
)
x cos C ′ + y sen C ′ − Cz/ 1 − C 2 = 0,
que es la ecuación de un plano que pasa por el origen coordenado (0, 0, 0).
Como la curva buscada se ubica en la superficie esférica es entonces un arco
de cı́rculo máximo.
dxi dxj
1 = gij = gij ẋi ẋj , por tanto:
ds ds
' B ' B ' B ' B
+ i j
,
δ ds = δ 1 · ds = δ gij ẋ ẋ ds = δ f ds,
A A A A
1. Geometrı́a diferencial /21
donde f = gij ẋi ẋj . Con este valor de f reemplazado en (1.41) se obtiene la ecuación
de la geodésica. Basta evaluar separadamente las cantidades:
$ %
∂f d ∂f
y ; se sigue, entonces:
∂xk ds ∂ ẋk
∂f ∂gij i j
= ẋ ẋ (1.42)
∂xk ∂xk
∂f ∂
= (gij ẋi ẋj ) = gij [δki ẋj + δkj ẋi ]
∂ ẋk ∂ ẋk
= gkj ẋj + gik ẋi = gkj ẋj + gkj ẋj = 2gkj ẋj
de donde se sigue:
$ % $ %
d ∂f d dẋj dgkj j
= 2 (gkj ẋj ) = 2 gkj + ẋ
ds ∂ ẋk ds ds ds
∂g kj
= 2gkj ẍj + 2 i ẋi ẋj
$ ∂x %
∂gkj ∂gki
= 2gkj ẍj + + ẋi ẋj . (1.43)
∂xi ∂xj
Reemplazando (1.42) y (1.43) en (1.41) puede escribirse:
$ %
1 ∂gkj ∂gki ∂gij
gkj ẍj + + − ẋi ẋj = 0. (1.44)
2 ∂xi ∂xj ∂xk
[Ha de notarse que gkj ẍj ̸= ẍk .] Multiplicando por g kl aparece en el primer
término g kl gkj = δjl lo que conduce a:
$ %
g kl ∂gkj ∂gki ∂gij
ẍl + + − ẋi ẋj = 0. (1.45)
2 ∂xi ∂xj ∂xk
La anterior es la ecuación diferencial de la geodésica. En el N -espacio esta ecua-
ción equivale a N ecuaciones diferenciales de segundo orden. Cuando se integre dará
las ecuaciones paramétricas, en términos de s, de la geodésica. Será necesario pro-
veer 2N constantes de integración, que pueden ser las coordenadas de los puntos
extremos A y B, o las coordenadas de un punto y la tangente ẋ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 último término, 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 transformación de un tensor es tal que si en un sistema coordenado todas
las componentes del tensor son-cero, también lo serán en cualquier otro sistema
σ .
coordenado. Esto no ocurre con αβ , ni con ẍi , ya que sus reglas de transformación
son inhomogéneas, es decir, no contienen un tensor en cada sumando.
Si se hubiese partido de la ecuación de la geodésica en S para llegar a la corres-
pondiente en S ′ se hubiera obtenido la regla recı́proca:
- l .′
Puesto que el segundo término de la izquierda es A′l ij la anterior ecuación puede
escribirse: ( ) ( )
∂A′i - .′
′ l ∂xα ∂xk ∂Aα - m.
− A l ij = − A m ,
∂x′j ∂x′i ∂x′j ∂xk αk
∂xα ∂xk
A′i;j = Aα;k . (1.67)
∂x′i ∂x′j
Un procedimiento similar realizado derivando un vector contravariante conduce
a la regla:
∂x′i ∂xβ α
A′i;j = A , (1.68)
∂xα ∂x′j ;β
donde la derivada covariante de un vector contravariante se define en la forma:
-i .
Ai;β = Ai,β + Aα αβ
. (1.69)
Los tres primeros términos definen el diferencial covariante, en tanto que el primero
y el último proveen su regla de transformación. El diferencial DAα (pero no dAα ) se
transforma como un vector. En Ai;j la derivación se realiza respecto a un superı́ndice
j en el denominador, que corresponde a un sub-j en el numerador; por esta razón,
y porque su regla de transformación es la de un tensor, a esta derivada se la llama
covariante. Al diferencial DAi se le llama covariante, ante todo porque su regla de
transformación es la de un vector.
Puede demostrarse que la regla de transformación del diferencial covariante de
un vector contravariante es:
∂x′i
DA′i = DAj .
∂xj
Ası́ pues, suprimiendo primas en (1.71):
- k. -i .
DAi = dAi − ij Ak dxj y DAi = dAi + jk Aj dxk . (1.72)
De acá es facil concluir que:
( i )
-i . j k ∂A -i . j
DAi = dAi + A dx = + A dxk = Ai;k dxk . (1.73)
jk ∂xk jk
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.72), dividiendo por Ds (que
es igual a ds):
DAi dAi - k . dxj DAi dAi - i . j dxk
= − ij Ak y = + jk A . (1.74)
Ds ds ds Ds ds ds
En el espacio euclidiano una lı́nea recta se caracteriza por la propiedad de que
un vector A tangente a ella no cambia cuando se le desplaza paralelamente, esto es
dA = 0. Esta regla de transporte paralelo puede usarse para definir la recta gene-
ralizada, es decir, la geodésica en un espacio N -dimensional. De acuerdo con esta
regla un vector es trasladado paralelamente a sı́ mismo a lo largo de una curva si
DAi /Ds = 0; esto es, si su diferencial covariante a lo largo de la curva es cero; en
consecuencia, de (1.74):
dAi - i . j dxk
+ jk A = 0.
ds ds
La ecuación de la geodésica puede obtenerse con facilidad si se toma en cuenta
que el vector Ai más simple asociado a cualquier curva es su tangente, escrita como
Ai = dxi /ds = ẋi . La pregunta por la geodésica tiene entonces el siguiente tono:
¿cuál es la curva cuya tangente tiene diferencial covariante nulo? La respuesta se
consigue reemplazando la tangente ẋi en la anterior ecuación:
dẋi - i . dxj dxk
+ jk = 0,
ds ds ds
1. Geometrı́a diferencial /29
De un modo análogo, 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 − Tαj ik , (1.76)
- β. -j .
Ti j ;k = Ti j ,k − Tβ j ik + Ti β βk .
gij;k = 0. (1.78)
∂x′i j
A′i = A ,
∂xj
obtiene:
$ %
dA′i d ∂x′i j ∂ 2 x′i dxk j
= j
A = A
ds ds ∂x ∂xk ∂xj ds
$ %$ j % $ 2 ′i %
∂ 2 x′i ∂xk dx′m ∂x ′n ∂ x ∂xk ∂xj dx′m ′n
= A = A
∂xk ∂xj ∂x′m ds ∂x′n ∂xk ∂xj ∂x′m ∂x′n ds
′m
i dx
= Γ′ mn A′n .
ds
i
El último paréntesis define Γ′ mn . Ası́, la constancia de las componentes de un
i i
vector en S (dA = 0) implica dA′n ̸= 0 en S ′ , pues en general Γ′ mn ̸= 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 xi a xi + dxi
de la siguiente manera:
dAi = Γmn
i
dxm An . (1.79)
i
Esta expresión se llamará ley de trasplante vectorial, y los coeficientes Γmn serán
funciones no restringidas a que en el S original dAi = 0. La función Γmn i
se llama
conexión afı́n. Un continuo donde esta regla se aplica se llama un espacio afı́n. Ha
de observarse que en (1.79) no es necesario utilizar la noción de métrica, vale decir
que Γklj es caracterı́stico de un espacio afı́n y que no es una noción métrica.
Se exigirá que la ecuación (1.79) sea invariante bajo transformaciones generales
de coordenadas y que si Ai (x) es un vector, también lo sea Ai (x + dx). Esto traerá
i
restricciones sobre la regla de transformación de Γmn .
La ley de trasplante en un sistema de coordenadas curvilı́neo es tal que el vector
trasplantado se escribe:
donde ϕj es un campo vectorial nuevo (ver también Adler, sección 15.2). Esta geo-
metrı́a fue la base de la primera teorı́a unificada de la gravitación y el electromag-
netismo, propuesta por Weyl en 1918. En ella ϕj es el 4-potencial electrodinámico.
Notas:
Ai (x + dx)
xj + dxj
xj
Esta resta es un diferencial covariante que es un vector y que se escribe DAi (x).
Por tanto, con (1.87):
$ i % $ i %
∂A ∂A -i .
DAi (x) = − A k
(x)Γ i
kj dx j
= + Ak
(x) dxj .
∂xj ∂xj kj
dA dAj daj j
= aj + A .
ds ds ds
Como se ve, el cambio en el vector proviene de la variación intrı́nseca de las
componentes Aj y del cambio de magnitud y dirección de los vectores de la base
aj . Reemplazando dAj de (1.72):
( )
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.90)
Ds ds ds Ds Ds
Es decir:
dA D
= (aj Aj ).
ds Ds
De modo que la derivada ordinaria del vector completo es idéntica a su derivada
covariante. Bajo trasplante paralelo dA = DAj = Daj = 0, de modo que de (1.90)
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
1. Geometrı́a diferencial /35
1.7.4. Divergencia
• La divergencia covariante de un vector contravariante puede calcularse a
partir de (1.69), mediante la contracción de los ı́ndices i y β:
-i .
Ai;i = Ai,i + Aα αi
.
∂x′i ∂xβ α
A′i;i = A = δαβ Aα;β = (δαβ Aα );β = Aα;α .
∂xα ∂x′i ;β
Ahora bien, el teorema de la divergencia tiene la forma:
' # ' ' #
+ ,
Ai;i |g| d4 x = ∂i Ai d4 x = |g|Ai dσi . (1.92)
#
La cantidad dτ = |g| d4 x es el diferencial de 4-volumen y es un escalar.
36 / Relatividad general
1 ∂ # -i .
T ij;j = # j
(| |g|T ij ) + T αj αj .
|g| ∂x
-i . -i .
Si el tensor es antisimétrico: T αj = −T jα y como αj
= jα
resulta que
-i .
T αj αj es idénticamente cero, de modo que :
1 ∂ #
T ij;j = # (| |g|T ij ).
|g| ∂xj
• La derivada covariante de un escalar coincide con su derivada parcial. Esto
es, si Φ′ = Φ, entonces:
∂Φ′ ∂Φ ∂xj ∂xj
= o también: Φ′,i = Φ,j ,
∂x′i ∂xj ∂x′i ∂x′i
que es la regla de transformación 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 antisimétrico de segundo orden. Reemplazando (1.66):
3 - α .4 3 - α .4
(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.91) se hace Ai = g ij Φ,j se obtiene el Laplaciano de la función escalar
Φ, esto es:
1 ∂ #
Ai;i = # ( |g|g ij Φ,j ) . (1.93)
|g| ∂xi
1. Geometrı́a diferencial /37
= B β Riβjk . (1.94)
En un sistema de coordenadas cartesiano (gij = δij ) todas las derivadas del ten-
sor métrico son nulas, por lo que también lo son todos los sı́mbolos de Christoffel.
En consecuencia todas las componentes del tensor de Riemann-Christoffel son nulas
en un espacio euclidiano, que es el único que admite un sistema de coordenadas
cartesiano en todo el espacio. Todas las componentes de este tensor serán cero en
cualquier otro sistema coordenado obtenido del cartesiano mediante una transfor-
-i .
mación y la derivación covariante será conmutativa en todos ellos. Puesto que jk
no es un tensor, si todas sus componentes son cero en coordenadas cartesianas en
un espacio euclidiano, no todas lo serán en otros sistemas coordenados en el mismo
espacio. La condición necesaria y suficiente para que un espacio sea euclidiano es
Riβjk = 0. El siguiente teorema resume lo anterior:
“Si para un cierto espacio las componentes del tensor métrico gij asociados a un
-i .
sistema de coordenadas dado son tales que los sı́mbolos de Christoffel jk pueden
expandirse en serie de Taylor alrededor de un punto, entonces la condición necesaria
y suficiente para que el espacio sea intrı́nsecamente plano en alguna región vecina
al punto es que el tensor de Riemann-Christoffel se anule en la región que contiene
el punto.”(Craig, pag 317).
Puede demostrarse (ver Weinberg, pag. 133) que Rijkl es el único tensor que
puede construirse con gij y sus primeras y segundas derivadas que es lineal en la
segunda derivada.
Si al menos algunas Riβjk son diferentes de cero en algún sistema coordenado,
se dirá que el espacio es curvo. En este caso no es posible una transformación
de coordenadas que permita pasar a un sistema cartesiano; Riβjk es, entonces, un
tensor que revela la curvatura intrı́nseca del espacio N -dimensional.
Ası́ pues, la ecuación de campo que describe un espacio plano, euclidiano, en
cualquier sistema de coordenadas, es:
Riβjk = 0. (1.96)
Este tensor satisface las siguientes condiciones (véase Adler, sección 5.3):
• Antisimetrı́a en cada una de las parejas αβ y jk:
C
B
D
O
y en consecuencia:
1$ % $ % 2
g11 g11,2 g22,1
R1212 = +
2 g11 ,2 g11 ,1
( )
1 (g11,2 )2 (g22,1 )2 g11,1 g22,1 g22,2 g11,2
+ − + −
4 g11 g22 g11 g22
( 2 2
)
1 (g11,2 ) (g22,1 ) g11,1 g22,1 g22,2 g11,2
= 2(g11,22 + g22,11 ) − − − − ,
4 g11 g22 g11 g22
y multiplicando por g βk :
$ %
1 1
Rkβ;k − (g kβ R);k = 0 o: Rkβ − g kβ R = 0.
2 2 ;k
1
Gkβ = Rkβ − g kβ R . (1.111)
2
Gkβ;k = 0 . (1.112)
′ ∂xi ∂xj
gkl = ′k
gij ′l .
∂x ∂x
˜
En forma matricial: g ′ = JgJ, donde J es la matriz con elementos ∂xi /∂x′k y J˜ su
traspuesta. Tomando el determinante y teniendo en cuenta que |J| = |J|:˜
* * * ′ *−2
* ∂x *2 * ∂x *
′ * *
|g | = * ′ * |g| = ** * |g|, o también: (1.113)
∂x ∂x *
* * * ′ *2
* ∂x *−2 ′ * ∂x * ′
*
|g| = * ′ * |g | = **
* * |g |.
∂x ∂x *
Se ha tenido en cuenta que de la expresión:
* ** *
∂xi ∂xj * ∂x * * ∂x′ *
= δli se sigue: * ** *
∂x′j ∂x′l * ∂x′ * * ∂x * = 1.
Resulta ası́ que un tensor ordinario es una densidad tensorial de peso cero.
Teniendo en cuenta (1.113), la anterior definición puede escribirse:
$ %W/2
|g| ∂x′µ ∂x′ν ∂x′σ
T ′µνσ··· = · · · T αβγ··· (1.116)
|g ′ | ∂xα ∂xβ ∂xγ
o también:
∂x′µ ∂x′ν ∂x′σ
[|g ′ |W/2 T ′µνσ··· ] = · · · [|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, contracción, etc, son
directamente extensibles a densidades tensoriales.
Para que este sı́mbolo sea isotrópico, # esto es: ϵ′µνσρ = ϵµνσρ , es necesario que
b|∂x′ /∂x| = 1, es decir, b = |∂x′ /∂x|−1 = |g ′ |/|g|, de acuerdo con (1.113). Ası́, la
ecuación toma la forma:
5 6 5 6
ϵ′µνσρ ∂x′µ ∂x′ν ∂x′σ ∂x′ρ ϵαβγδ
# = # ,
|g ′ | ∂xα ∂xβ ∂xγ ∂xδ |g|
#
resulta, entonces, que ϵαβγδ es una densidad tensorial de peso −1 y ϵαβγδ / |g| es
un tensor de peso cero.
1. Geometrı́a diferencial /45
Puede definirse ϵαβγδ = gαa gβb gγc gδd ϵabcd donde ϵαβγδ es una densidad tensorial
#
de peso 1 y |g|ϵabcd es un tensor de peso cero.
• El volumen N -dimensional se define como:
donde dai son las componentes de la primera arista, dbj de la segunda, etc, en el
sistema coordenado S. En el sistema coordenado S ′ :
y por tanto:
-σ. -l.
T σ;ρ = T σ,ρ + T α αρ
+ WTσ ρl
1.10. Miscelánea
a. La transformación entre sistemas cartesianos es lineal.
En sistemas cartesianos los coeficientes métricos son constantes, por tanto los
sı́mbolos de Christoffel son nulos. En la regla (1.59) esto implica que:
∂ 2 x′i
= 0,
∂xα ∂xβ
cuya solución es lineal: x′i = ai + bij xj .
b. La derivada covariante del determinante |g| es cero.
De acuerdo con (1.113), |g| es una densidad escalar de peso −2; ası́, de (??) 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ésicas
Supóngase que en un cierto sistema coordenado S los sı́mbolos de Christoffel
son diferentes de cero en todo el espacio. ¿Existe algún S ′ donde estos sı́mbolos
sean cero en un punto x′i = pi ? Sı́. Lo que no es posible es que sean cero en todo el
espacio, si este es curvo.
Para demostrarlo consideremos como regla de transformación entre S y S ′ la
siguiente expansión hasta segundo orden:
1 i
x′i = pi + (xi − q i ) + a (xα − q α )(xβ − q β ). (1.117)
2 αβ
1. Geometrı́a diferencial /47
∂xi α ∂x
β
δji = + a i
αβ (x α
− q ) . (1.119)
∂x′j ∂x′j
Evaluando (1.119) en xi = q i :
$ %
∂xi
= δji . (1.120)
∂x′j q
Evaluando (1.121) en xi = q i :
$ % $ β% $ α%
∂ 2 xi i ∂x ∂x
+ a αβ = 0;
∂x′j ∂x′k q ∂x′j q ∂x′k q
- i .′
El sistema de coordenadas donde todos los jk p
son cero en un punto se llama
geodésico. Nótese que, de (1.31), se concluye que en tal punto xi = q i no cambia el
′
valor de las componentes de ningún tensor: (Tijk··· )q = (Tijk··· )p .
d. Componentes fı́sicas de tensores
En este apartado no se utiliza la convención 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 esféricas, 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
homogéneas.
Cuando se piensa en aplicaciones fı́sicas del análisis tensorial conviene introducir
√
vectores unitarios êi en la forma ai = êi |ai | = êi gii donde |êi | = 1. De este modo
" " √ " 7i ;
el vector A puede expandirse en la forma: A = i ai Ai = i êi gii Ai = i êi A
7
las cantidades Ai , a las que se llamarán componentes fı́sicas tienen todas las mismas
dimensiones como es lo usual, por ejemplo, en la teorı́a de campos vectoriales. En
la última expresión, las componentes fı́sicas se definen como A 7i = √gii Ai . En una
forma análoga, para un tensor contravariante de segundo orden
! ! √ !
T= ai aj T ij = êi êj gii gjj T ij = êi êj T7ij ,
ij ij ij
√
donde T7ij = gii gjj T ij son las componentes fı́sicas del tensor. Ha de observarse que
las componentes fı́sicas de vectores y tensores pueden calcularse en la base original
ai utilizando las componentes contravariantes, de modo que las componentes fı́sicas
“residen” en este caso en la base original. Las componentes fı́sicas en la base original
pueden expresarse también en términos de componentes covariantes; por ejemplo
!√
7i = √gii Ai =
A gii g ij Aj .
j
Los ı́ndices de las componentes fı́sicas, aunque se escriban como subı́ndices, no tienen
valor covariante ni contravariante, pues la definición de componentes fı́sicas rompe
la covarianza de la teorı́a. Por convención se usarán subı́ndices para las componentes
fı́sicas de vectores y tensores.
Las componentes fı́sicas pueden también definirse en la base recı́proca unitaria
êi . En este caso y para un tensor de segundo orden se escribe:
! ! # !
T= ai aj Tij = êi êj g ii g jj Tij = êi êj T̆ij ,
ij ij ij
1. Geometrı́a diferencial /49
e. Desviación geodésica
¿Si δxi representa la distancia entre dos puntos infinitesimalmente cercanos, cuál
es la aceleración relativa entre estos dos puntos?
50 / Relatividad general
d2 δxi d2 x i -i .
= δ = δ[− mk ẋm ẋk ]
ds2 ds 2
-i . -i . d
= − mk ,j δxj ẋm ẋk − 2 mk δxm ẋk ,
ds
y reemplazando en (1.124):
D2 δxi
= Rimjl ẋm ẋl δxj ; (1.125)
Ds2
Fı́sicamente, δxi corresponde a la separación relativa entre dos partı́culas que se
mueven libremente a lo largo de dos geodésicas infinitesimalmente cercanas, y se le
conoce como desviación geodésica. D2 δxi /Ds2 es la aceleración covariante relativa.
En el caso particular de un espacio euclidiano, es cierto que Rimjl = 0, por lo
que D2 δxi /Ds2 = 0. En coordenadas cartesianas:
D2 δxi d2 δxi
2
= = 0,
Ds ds2
de donde, por integración: δxi = ai + bi s.
Ası́, la distancia entre dos puntos ubicados en geodésicas cercanas en un espacio
plano aumenta linealmente con s, o permanece constante si bi = 0. Esta conclusión
concuerda con la ley de inercia si se considera s como el tiempo. Pero una pareja
1. Geometrı́a diferencial /51
D2 δxν
= Rναησ ẋα ẋσ δxη ≃ Rν0η0 δxη = Rν0l0 δ ẋl ;
Ds2
se ha asumido que los ı́ndices griegos van de 0 a 3, que los latinos van de 1 a
3, que 0 es el ı́ndice temporal y que Rν000 = 0, lo que supone que el tensor de
Riemann-Christoffel es independiente del tiempo.
Entonces, con s = cτ la aceleración relativa toma la forma:
D2 δxi
= c2 Ri0l0 δxl (1.126)
Dτ 2
Aunque una partı́cula esté en reposo en un sistema en caı́da libre, un par de partı́cu-
las no interactuantes que caen libremente exhibe un movimiento relativo que revela
la presencia de un campo gravitacional para un observador que cae con una de ellas.
Esta conclusión no invalida el principio de equivalencia (sección 2.3), de acuerdo con
el cual, el campo de gravedad desaparece para un observador en caı́da libre, ya que
en este caso las dos partı́culas no ocupan el mismo punto; además, el efecto para
una pareja de masas es despreciable cuando la separación δxµ entre ellas es mucho
menor que las dimensiones tı́picas del campo. A campos de este tipo se les llama
campos de mareas.
La ecuación (1.126) tiene su análoga en mecánica clásica: considérense dos
partı́culas que caen en un campo de gravedad g. Su aceleración relativa es:
d2 δxi ∂g i l
2
= g i (x + δx) − g i (x) ≃ δx . (1.127)
dt ∂xl
1 ∂g i
Ri0l0 ←→ , (1.128)
c2 ∂xl
52 / Relatividad general
1 ∂2φ
Ri0l0 ←→ − .
c2 ∂xi ∂xl
Por contracción de i y l:
1 2
− ∇ φ ←→ Ri0i0 = R00 , (1.129)
c2
de modo que el laplaciano del potencial gravitacional newtoniano puede asociarse
a la componente 00 del tensor de Ricci-Einstein. Esta conclusión sugiere la posi-
bilidad de una teorı́a geométrica de la gravitación y será explorada en el próximo
capı́tulo. La ecuación (1.129) anticipa, en sı́ntesis, que la gravitación es un fenómeno
geométrico.
**********************************
Albert Einstein (1879-1955). Tomado de http://commons.wikimedia.org
2
Gravitación
2.1. Introducción
De acuerdo con Newton, el espacio fı́sico es euclidiano y la trayectoria inercial
es rectilı́nea y recorrida con movimiento uniforme. La trayectoria inercial la realiza
cualquier cuerpo −o más bien su centro de masa, si el cuerpo es extenso− en ausencia
de fuerzas.
Según Kepler los planetas se mueven alrededor del Sol en órbitas elı́pticas, por
lo cual, según Newton, siendo curva su trayectoria, alguna fuerza −que seguramente
proviene del Sol− altera su movimiento inercial.
Esto significa que la aceptación por Newton de la geometrı́a de Euclides, con
su recta inercial que es la lı́nea más corta entre dos puntos, exige asumir que el
Sol ejerce una fuerza sobre los planetas, ya que en la época de Newton no hay
alternativas a la geometrı́a; hay solo una, la euclidiana. Y el principio de razón
suficiente no ve cómo, en ausencia de acciones, el movimiento de un cuerpo entre
dos puntos pueda ser algo diferente a la lı́nea más simple, la recta euclidiana.
En un mundo euclidiano, si el movimiento inercial es el más simple y además úni-
co, entonces debe ser rectilı́neo. Resulta ası́ una conclusión sorprendente: la noción
de fuerza gravitacional surge de un prejuicio matemático sobre la estructura fı́sica
del mundo; si el mundo es euclidiano y los planetas se mueven en forma curvilı́nea,
entonces el Sol actúa sobre los planetas, razonamiento que solo es posible poner en
duda con el surgimiento de las nuevas geometrı́as, las que permiten asegurar que
la geometrı́a de Euclides no es solo una rama de la geometrı́a sino una rama de la
fı́sica, porque en ella se basa la idea de Newton de la gravitación. Que el espacio
tenga una estructura euclidiana es una afirmación fı́sica.
En la teorı́a de Einstein el Sol no actúa sobre los planetas sino sobre el espacio-
tiempo.
Como revelará Einstein, basta con renunciar a la geometrı́a de Euclides para ver
54
2. Gravitación /55
con claridad que la gravedad como fuerza no fué un descubrimiento sino una inven-
ción, y que es suficiente acceder a geometrı́as más amplias, como la de Riemann,
para caer en cuenta de que la gravedad es un fenómeno geométrico. Con esta nueva
idea la gravitación entró en otra esfera de comprensión.
!
r − r′ M r − r′
• dM
m m
• •
r r′ r r′
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.
mg mg
a= g = − ∇G.
mi mi
Los experimentos realizados por Galileo, Newton, Eötvos, entre otros, y que han
logrado una exactitud mayor de una parte en 1011 , demuestran que la aceleración
de caı́da libre es independiente de la masa de la partı́cula de prueba, por lo que
el cociente mg /mi es una constante universal, independiente del tipo de material
y de su ubicación en el campo. Puesto que las dos cantidades en el cociente son
masas conviene escoger un mismo patrón para ambas, aunque no sea absolutamente
necesario. La escogencia más simple es medir ambas masas en kilogramos, lo que
conduce entonces a afirmar que la aceleración de caı́da libre es igual a la intensidad
del campo de gravedad en el punto donde se realiza el experimento; ası́ pues la
aceleración de caı́da libre es local. Sobre la superficie terrestre y a nivel del mar
tiene un valor de 9.8 m/s2 .
Lo anterior indica que, después de adoptar el mismo patrón para ambas masas,
los valores numéricos de la masa inercial y gravitacional del mismo cuerpo son
idénticos. Sin embargo ambos conceptos son distintos. Este problema permaneció
sin mayor claridad que la que aquı́ se ha hecho, hasta la proposición por Einstein
en 1911 del principio de equivalencia.
Dada la identidad numérica entre los dos tipos de masas, en lo sucesivo se hablará
solo de masa m, suprimiendo los superı́ndices que las caracterizaron en esta sección.
a0
S S′
•P
r′
R
r
a = a′ + a0 . (2.8)
60 / Relatividad general
F = F′ + ma0 , (2.9)
que es la regla que permite comparar las fuerzas en un sistema inercial y otro
acelerado.
Considérense ahora las dos siguientes situaciones:
A. Si en el sistema inercial la partı́cula no experimenta fuerza alguna entonces
F = ma = 0 por lo cual permanece en reposo o en movimiento rectilı́neo y uniforme.
Entonces, de (2.9):
mg = F′ + ma0 .
F′ = m(g − a0 )
S S′
a0 = g
Este es un resultado singular que entrelaza los sistemas de referencia con las
fuerzas ficticias y de gravitación.
El observador S ′ en el caso A considera que el movimiento acelerado de cuerpos
en su sistema de referencia es debido a fuerzas ficticias, aunque también S ′ puede
pensar que está en reposo en un sistema inercial y que en él ha aparecido un campo
de gravitación de lı́neas paralelas. De otro lado, el observador S en el caso B constata
que hay en su sistema inercial un campo gravitacional de lı́neas paralelas, pero
también 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 bibliografı́a, la trans-
formación entre un sistema inercial S y otro S ′ con aceleración g tiene la forma:
c2
x′ = x cosh(gt/c) + [cosh(gt/c) − 1]
g
c x
t′ = senh (gt/c) + senh (gt/c)
g c
′ ′
y = y, z = z
1
x′ = x + gt2
2
y ′ = y, z ′ = z, t = t
62 / Relatividad general
eliminar completamente cayendo en él. Ası́, por ejemplo, cuando se cae en el campo
radial terrestre, una gran parte de él desaparece pero quedan pequeñas componentes
horizontales que hacen que los cuerpos en caı́da libre se acerquen. Puede demos-
trarse que la fuerza gravitacional remanente corresponde al gradiente del campo de
gravedad g. Se le conoce como campo de mareas, véase la sección 2.4.1. De hecho, el
gradiente del campo de gravitación lunar es el responsable de las mareas terrestres.
Véase también la sección 1.10 numeral f.
En el sistema en caı́da libre, que no es otro que el sistema geodésico de la sección
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 caı́da libre se anulan
en un punto los sı́mbolos de Christoffel análogos al campo g (véase, por ejemplo,
ecuación (2.19) pero no el tensor de Riemann.
Ha de notarse que cuando hay campos gravitacionales de lı́neas paralelas la cla-
sificación de los sistemas de referencia en inerciales y acelerados no es simple; se
anula localmente un campo de gravitación cayendo en él y se genera uno de lı́neas
paralelas por aceleración. ¿Quién está en reposo? La respuesta es simple: todos pue-
den asumirse en reposo, si introducen campos de fuerzas ficticias apropiados. Vale
decir que no es afirmable, sin más, que los sistemas no inerciales están absoluta-
mente acelerados; esto sugiere pasar a un nuevo nivel de la idea de relatividad del
movimiento. No solo el movimiento uniforme es relativo, también el acelerado; es-
to sugiere expresar las leyes fı́sicas en una forma matemática que sea válida para
todos los observadores independientemente de su movimiento, ya sea uniforme o
acelerado. Esta sugerencia se hace explı́cita en el principio de covarianza general
que exige que las ecuaciones fı́sicas sean escritas en forma tensorial invariante, vale
decir que han de ser válidas 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 siste-
mas acelerados y las leyes que los describen son invariantes bajo transformaciones
generales de coordenadas. Resultará finalmente que las leyes fı́sicas que involucran
la gravitación y las acciones inerciales son parte de la geometrı́a.
Ası́ pues, Einstein propone los siguientes dos principios como base de su relati-
vidad 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 gravitación.
Principio de covarianza. Las leyes fı́sicas han de tener la misma forma ma-
temática para todos los observadores.
Puesto que los sistemas de referencia en movimiento arbitrario están conecta-
dos por transformaciones (en general no lineales) y como estas dan lugar a fuerzas
64 / Relatividad general
donde ηµν = diag(1, −1, −1, −1, ), xµ = (x0 , x1 , x2 , x3 ) = (ct, x, y, z); ηµν es la
métrica de Minkowski.
En espacios curvos el cuadrado del elemento diferencial de lı́nea tiene la forma:
En esta expresión γµν es una cantidad pequeña, lo que hace que el último sumando
sea una perturbación, y ϵ (cuyo valor es 1) indica que ϵγµν es una perturbación de
primer orden; ϵ2 indica una perturbación de segundo orden. La función γµν describe
la distorsión de la euclidianidad del espacio y del flujo uniforme del tiempo. Puesto
que gµν g νσ = δµσ se sigue, a primer orden en perturbaciones, que:
g µν = η µν − ϵγµν . (2.11)
d2 x µ - µ.
+ c2 00 = 0. (2.14)
dt2
Con µ = 1 en (2.14) se obtienen las componentes espaciales que describen la ace-
leración de una partı́cula 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:
3 ϵ 4
r̈ = −∇ c2 γ00 . (2.15)
2
66 / Relatividad general
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 única componente diferente
de ±1 que persiste del tensor métrico es g00 , por lo que:
2G
gµν = ηµν + ϵγµν = ηµν + δµ0 δν0 . (2.20)
c2
De acuerdo con (2.18) el potencial gravitacional newtoniano equivale a g00 . En
consecuencia gµν puede ser llamado potencial métrico. Y lo que en la teorı́a 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 transformación de coordenadas en el espacio-tiempo que
permita pasar a un sistema geodésico (véase sección 1.10 numeral c).
Queda entonces por obtener una cantidad que sea un tensor y que describa el
campo de gravitación. Como se verá, esta cantidad es el tensor de Riemann. Si la
identificación entre potencial gravitacional y potencial métrico propuesta por (2.18)
es correcta dependerá de las ecuaciones del campo de gravitación, es decir, de si en
primera aproximación γ00 satisface la misma ecuación que G en la teorı́a de Newton,
esto es, si ∇2 γ00 ∝ ρ.
Ası́ pues, ignorando términos de segundo orden, la ecuación de la geodésica,
que describe la cinemática en el espacio-tiempo no-minkowskiano, equivale a la
ecuación de Newton de movimiento en un campo gravitacional, es decir equivale a
una dinámica en un espacio euclidiano, si G = ϵc2 γ00 /2.
2. Gravitación /67
Puede concluirse de lo anterior que gµν tiene un caracter dual, pues sus 10
componentes independientes pueden verse como los elementos del tensor métrico
que determinan el elemento de lı́nea, pero también como los potenciales gravita-
cionales de la teorı́a de Einstein, a los que se ha llamado potenciales métricos. La
primera versión se centra en la geometrı́a del espacio-tiempo, mientras la segunda
lo hace en la estructura geométrica de la gravitación y en la forma como la métrica
determina el movimiento de las partı́culas.
Con facilidad puede probarse que si µ = 0 la ecuación (2.14) se satisface idénti-
camente. En primer lugar porque, con x0 = ct:
d2 x 0 d2 (ct)
= = 0,
dt2 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
r′ θ
R
F Gm
a= = − 2 R̂,
M R
68 / Relatividad general
TIERRA
LUNA
Las mareas, descritas por la ecuación 2.22, son debidas no al campo g de gravi-
tación de la Luna en la posición de la Tierra, sino a su gradiente. En forma explı́cita,
despreciando términos de orden superior en r′ y con la notación de la figura 2.4:
+ ,
gef (r) = r′ · (∇g(r))r=R = −Gmr′ · (∇ r/r3 )r=R
r′ Gmr′
= −Gm 5
· [R2 I − 3RR] = [3R̂ cos θ − r̂′ ].
R R3
2. Gravitación /69
De acuerdo con esta ecuación 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̂ = r̂′ :
Gmr′ Gmr′
g= [3R̂ − R̂] = 2 R̂,
R3 R3
y en θ = π, con r̂′ = −R̂:
Gmr′ Gmr′
g= [−3R̂ − R̂] = 2 (−R̂).
R3 R3
Obsérvese que la intensidad del campo de mareas es proporcional a 1/R3 .
El gradiente de g contiene términos de la forma ∂gi /∂xj cantidad que de acuerdo
con (1.128) está asociada a la componente Ri0l0 del tensor de Riemann. En la teorı́a
de Einstein el tensor de Riemann Rµνσρ −vale decir, la generalización del campo de
mareas− describe el campo de gravitación.
ω2 r 0 2 ωr
r̈ − 2
(ẋ ) − rϕ̇2 − 2 ϕ̇ẋ0 = 0, (2.26)
c c
2 ω ω
ϕ̈ + ṙϕ̇ + 2 ṙẋ0 + ẍ0 = 0, (2.27)
r cr c
z̈ = 0, (2.28)
$ %
ω 2 r2 ω2 r ωr ωr2
1− 2 ẍ0 − 2 2 ṙẋ0 − 2 ṙϕ̇ − ϕ̈ = 0, (2.29)
c c c c
ẍ0 = 0, (2.30)
Estas expresiones coinciden con las que la mecánica clásica provee para el mo-
vimiento de partı́culas en un sistema de referencia rotante (Goldstein, pag. 177).
Los términos a la izquierda de la igualdad corresponden a las aceleraciones radial y
angular, mientras los de la derecha corresponden al efecto de las fuerzas centrı́fuga
y de Coriolis. La versión que aquı́ se ha propuesto considera que el movimiento en
el sistema rotante es geodésico, inercial. No hay fuerzas ficticias, sino movimiento
libre en una geometrı́a no euclidiana. El campo de fuerzas ficticias equivale a un
campo de gravitación.
Todos los elementos del tensor de Riemann Rµνσρ son cero en el sistema inercial
y es directo probar, utilizando (2.33) que también son cero en el sistema rotante,
como se espera, pues Rµνσρ es un tensor. Esto prueba que el espacio-tiempo en S ′
es plano, aunque el espacio 3D sea curvo y el tiempo sea inhomogéneo.
En lo que sigue se renunciará a la idea de que la gravitación es una fuerza; se
adoptará la idea de que es un fenómeno asociado a la no euclidianidad del espacio y a
la no uniformidad del flujo del tiempo. La gravitación es entonces más un fenómeno
geométrico que uno mecánico. Renunciar a la idea de fuerza gravitacional exige,
según lo visto atrás, acudir a la geometrı́a de Riemann. En particular, la ecuación
de la geodésica en el espacio-tiempo se adoptará como la ecuación que describe
el movimiento inercial (véase la sección 2.9). La geodésica en el espacio-tiempo es
la forma matemática 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 geodésica. Queda entonces por descubrir una ecuación de campo
que describa la forma como el espacio-tiempo de Minkowski logra convertirse en un
espacio-tiempo curvo.
Esta ecuación admite la métrica de Minkowski gµν = ηµν como solución, lo que
se debe a que en este caso los sı́mbolos de Christoffel son idénticamente cero. La
ecuación (2.36) contiene derivadas de segundo orden del tensor métrico, contenidas
en las derivadas de los sı́mbolos de Christoffel; los dos últimos sumandos contienen
el tensor métrico en forma no lineal. Se demostrará luego que de (2.36) se obtiene
la ecuación de Laplace como aproximación de campo débil.
La ecuación de espacio libre puede escribirse en una forma más conveniente
teniendo en cuenta que del tensor de Einstein (1.111) escrito en la forma:
1 µ
Gµν = Rµν − δ R,
2 ν
se sigue, por contracción de los ı́ndices µν y con δµµ = 4: G = R − 21 4R = −R
tal que:
1
Gµν = Rµν + gµν G.
2
Ası́ pues, si Rµν = 0 entonces R = 0 y por tanto Gµν = 0. Recı́procamente, si
Gµν = 0 entonces G = 0 y por tanto Rµν = 0. En consecuencia, Rµν = 0 en (2.36)
es equivalente a:
Gµν = 0 . (2.37)
T µν,ν = ρ0 uν uµ,ν uµ = 0.
∂γ ∂
v · ∇γ + = 0, v · ∇(γv) + (γv) = 0. (2.41)
∂t ∂t
Desarrollando las derivadas de la segunda ecuación y reemplazando en ella la pri-
mera se obtiene:
∂v
v · ∇v + = 0. (2.42)
∂t
Esta expresión corresponde a la ecuación de movimiento de un fluı́do en ausencia
de fuerzas.
La ecuación de continuidad (2.40) se expande como:
$ % $ %
ρv ∂ ρ
∇· + = 0.
γ ∂t γ
∂ρ
∇ · (ρv) + = 0, (2.43)
∂t
que es la forma estandar de la conservación 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 idénticamente, de acuerdo con (2.42).
La derivada euleriana de una función Q(r, t) escalar, vectorial o diádica, es:
DQ ∂Q ! ∂Q dxi ∂Q
= + i dt
= + v · ∇Q. (2.44)
Dt ∂t i
∂x ∂t
Dv
= 0,
Dt
2. Gravitación /77
P µ ν
T µν = ρ0 uµ uν + (u u − g µν ) = ρ0 uµ uν + TPµν = T νµ . (2.46)
c2
donde φi0 = Ei y φij = −Bk (cı́clico) establecen la conexión entre el tensor anti-
simétrico de campo electromagnético φµν y las componentes Ei y Bi de los campos
eléctrico y magnético. Es cierto que T µν,ν = 0, en ausencia de partı́culas cargadas,
es decir si la ecuación de Maxwell de fuentes se reduce a φµν,ν = 0.
Para un fluido en presencia de fuerzas (2.39) ha de reemplazarse por:
Kµ
T µν,ν = − , (2.48)
c2
donde Kµ es la densidad volumétrica de 4-fuerza.
c. En general, toda forma de momento-energı́a debe estar incluida en el tensor
T µν , excepto la gravitación, pues a la manera de Einstein la gravedad no es un
78 / Relatividad general
T µν,ν = 0,
1
Rµν − gµν R = KTµν . (2.50)
2
Esta ecuación habı́a sido obtenida unos dı́as antes por Hilbert utilizando el
principio de mı́nima acción (ver sección 2.16).
• El valor de K, la constante de gravitación de Einstein, puede ser calculado
tomando el lı́mite newtoniano de (2.49).
• Tanto Gµν como Tµν son tensores simétricos.
• En ausencia o en el exterior de materia la ecuación se reduce a Gµν = 0, que
permite como solución particular la métrica de Minkowski, aunque también admite
métricas no minkowskianas.
• Puesto que Gµν;ν = 0, según (1.112), se sigue que T µν;ν = 0. En la relatividad
especial la condición T µν,ν = 0 representa la conservación del momento-energı́a. Pero
en la forma covariante general T µν;ν = 0 no se refiere a una ley de conservación
(véase también la sección 2.16.3). Lo que T µν;ν = 0 representa es la ecuación de
movimiento de un elemento de masa inmerso en el campo métrico.
• La ecuación (2.49) contiene términos no lineales y segundas derivadas de g µν .
• Se reduce a la ecuación de Poisson en el lı́mite newtoniano, como demostra-
remos.
Esta ecuación, engañosa como ninguna por su concisión y su estética, encierra
detalles hermosos. En principio, dada la simetrı́a de los tensores que la conforman,
son 10 ecuaciones con las que se describirá el campo de gravitación como un campo
métrico. Contiene 10 potenciales métricos gµν . En contraste, la ecuación de Poisson
2. Gravitación /79
movimientos con baja velocidad, es decir aquellos donde v/c ≪ 1. La teorı́a newto-
niana de la gravitación −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 precesión del perihelio no descriptible con exactitud en el contexto
de la gravitación newtoniana. Una de las formas en que se intentó remediar esta
deficiencia fué cambiando la potencia en la ley de gravitación de 2 a 2,00000016,
solución que por su falta de elegancia y su caracter artificioso no convenció en su
momento.
El principio de correspondencia enunciado por Bohr sugiere que cualquier teorı́a
que pretenda reemplazar, ampliar o mejorar a una anterior debe contenerla en algún
lı́mite apropiado, aunque esto no suponga que la estructura conceptual de la antigua
teorı́a sea una forma reducida o ingenua recuperable desde la nueva. De este modo
la relatividad especial se reduce a la estructura matemática de la fı́sica newtoniana
en el lı́mite de bajas velocidades v/c ≪ 1.
Ahora bien, en las situaciones ordinarias encontradas en los fenómenos gravi-
tacionales no solo las velocidades son bastante pequeñas en comparación con la de
la luz sino, además, los campos de gravitación son lo suficientemente débiles para
hacer que la geometrı́a del mundo cotidiano sea casi euclidiana. Puede entonces
asumirse que la métrica en el entorno del sistema solar difiere de ηµν en una pequeña
cantidad, lo que equivale a asumir que la ecuación de Einstein puede ser resuelta
perturbativamente. Ası́:
En forma explı́cita:
$ %
-σ . -σ. - ρ .- σ . - ρ .- σ . 1
Rµν = µσ ,ν
− µν ,σ
+ µσ ρν
− µν ρσ
= K Tµν − T .
2
-µ.
Con gµν = ηµν + ϵγµν es cierto que νσ en su aproximación más baja es de
- ρ .- σ .
orden ϵ, por tanto µσ ρν es de orden ϵ2 . Desechando términos de segundo orden
y más alto, se sigue que:
-σ . -σ.
Rµν ≃ µσ − µν .
,ν ,σ
2. Gravitación /81
Por tanto: $ %
1 1
K T00 − g00 T ≃ Kρ0 . (2.53)
2 2
tal que reemplazando (2.52) y (2.53) en (2.51) se obtiene una ecuación de Poisson:
1
∇2 G = − Kρ0 c2 (2.54)
2
Puesto que esta ecuación ha de coincidir con la ecuación (2.5) para el potencial
gravitacional newtoniano, entonces K = −8πG/c2 .
En unidades MKS la constante K de Einstein tiene el valor 1.86×10−26 m/kg.
La ecuación (2.49) tiene entonces la forma:
8πG
Gµν = − Tµν (2.55)
c2
$ %
8πG 1
Rµν = − Tµν − gµν T (2.56)
c2 2
Es importante notar que de acuerdo con (2.55) la fuente del campo Gµν es Tµν ,
mientras de acuerdo con (2.56) la fuente del campo Rµν es Tµν − 12 gµν T . El tensor
Rµν , es el responsable de la curvatura del espacio-tiempo, pues es el que determina
el escalar de curvatura R en cada punto y en cada instante.
82 / Relatividad general
8πG
Gµν + Λgµν = − Tµν . (2.57)
c2
v Λc2
Tv00 ≃ y
8πG
Λc2
T v = T vµ µν v
µ = g Tµν = 4 , se sigue:
8πG
2
v 1 Λc
Tv00 − g00 T v ≃ − ;
2 8πG
puede concluirse que: $ %
2 Λc2
∇ G = 4πG ρ0 − ,
4πG
2. Gravitación /83
Λc2
ρef = − , (2.60)
8πG
que es negativa si Λ es positiva. La solución más 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
Sobre una partı́cula de masa m actúa entonces, según la ecuación (2.4), una
fuerza gravitacional:
$ %
mΛc2 GmM
F = −m∇G = r− r,
3 r3
φµν = ∂ µ Aν − ∂ ν Aµ . (2.66)
De esta expresión se sigue que el campo φµν es invariante bajo la siguiente recali-
bración del 4-potencial:
A′µ = Aµ + ∂ µ η. (2.67)
De la ecuación de Maxwell para fuentes, ∂µ φµν = 4πJ ν , reemplazando (2.66) se
obtiene la siguiente forma de la ecuación de ondas para potenciales:
∂µ A′µ = ∂µ Aµ + !2 η = 0. (2.70)
!2 Aν = 4πJ ν . (2.71)
2.11.1. Linealización
Para una métrica poco alejada de la minkowskiana es válido asumir, de acuerdo
con (2.10) y (2.11), la siguiente expansión perturbativa:
∂x′µ ∂x′ν σρ
g ′µν = g = (δσµ + ϵµ,σ )(δρν + ϵν,ρ )(η σρ − ϵγ σρ )
∂xσ ∂ρ
≃ g µν + ϵµ,ν + ϵν,µ . (2.76)
Reemplazando (2.73) se concluye que:
ϵγ ′µν = ϵγ µν − ϵµ,ν − ϵν,µ . (2.77)
Esta transformación mantiene invariante la ecuación linealizada del campo métrico.
kν a ν = 0 y kν k ν = 0.
como η0 es arbitrario puede escogerse η0 = a3 /ik, con lo cual: a′3 = a′0 = 0, a′1 = a1
y a′2 = a2 . Esto muestra que a1 y a2 no son modificados por la transformación gauge
restringida y solo ellos portan significado fı́sico; corresponden a la amplitud de una
onda transversa. La onda longitudinal asociada a a3 no tiene sentido fı́sico, pues es
eliminable por recalibración, la que permite escoger a′3 = 0.
Entonces, de (2.81):
σ σ
A′ν = (aν + ikν η0 )eikσ x = (aν + kν a3 /k) eikσ x ; en componentes:
σ
A′0 = (a0 + a3 )eikσ x = 0,
σ
A′1 = a1 eikσ x ,
σ
A′2 = a2 eikσ x ,
σ
A′3 = (a3 − a3 )eikσ x = 0.
La componente A′1 se convierte en A′2 por rotación de 90◦ alrededor del eje z.
Una rotación por un ángulo θ alrededor de la dirección de propagación transforma
92 / Relatividad general
ψ ′ = eihθ ψ,
se dice que la onda tiene helicidad h. Ası́, las ondas electromagnéticas pueden des-
componerse en partes con helicidades ±1 y 0. Sólo las de helicidad ±1 son signifi-
cativas fı́sicamente, las de helicidad cero son eliminables por recalibración.
o también:
a′µν = aµν − i(aµ kν + k µ aν ); (2.85)
µν
reemplazando a de (2.85) en la condición coordenada (2.83) se obtiene:
2kµ (a′µν + iaµ kν + ik µ aν ) − kν (a′µµ + 2iaµ kµ ) = 0, que da lugar a:
2kµ a′µν − kν a′µµ = 0, (2.86)
expresión que tiene la forma (2.83), con primas.
Para una onda que viaja en dirección 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 :
G = −I + [γ11 (ê1 ê1 − ê2 ê2 ) + γ12 (ê1 ê2 + ê2 ê1 )]eik(ct−z) .
donde ê± = ê1 ± iê2 . Utilizando (2.82) es fácil ver que ê± ê± se transforma de
acuerdo a la regla:
ê′± ê′± = ê± ê± e∓2iθ ,
lo que implica que una onda gravitacional tiene helicidad ±2. Las demás componen-
tes, que tienen helicidades ±1 y 0, se han eliminado por transformación coordenada.
Se dice entonces que las ondas de gravedad tienen spin 2.
En este elemento de lı́nea se observa que los coeficientes γij ondulan pero no los
elementos diferenciales de coordenadas. Vale decir, que la red coordenada es estática
y que el cambio en ds se debe al cambio con el tiempo de los coeficientes gµν .
Dos casos importantes pueden ser analizados aquı́:
• Si γ12 = 0 entonces: ds2 = c2 dt2 − dx2 (1 − ϵγ11 ) − dy 2 (1 + ϵγ11 ) − dz 2 .
• Si γ11 = 0 entonces: ds2 = c2 dt2 − dx2 − dy 2 − dz 2 + 2ϵγ12 dx dy.
Si se impone sobre el segundo ds la transformación: x = x′ cos θ − y ′ sen θ,
y = x′ sen θ + y ′ cos θ, se puede probar con facilidad que, si θ = 45◦ , entonces:
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 simetrı́a de 45◦ bajo
rotación respecto a la dirección de propagación z (véanse las figuras 2.6 y 2.7).
2. Gravitación /95
•
• • •
•
+ • • • • • • • • • • a
•
• • •
•
• • •
•
•
•
× • • • • • • • • • b
•
• • •
•
Figura 2.6: Ciclo completo de deformaciones experimentadas por un anillo de
partı́culas en reposo cuando es alcanzado perpendicularmente por una onda gra-
vitacional plana, para a. polarización +, b, polarización ×
a b
Figura 2.7: Campo de mareas para una onda gravitacional en el modo + con a.
ωt = 0, b. ωt = π/2. El modo × se obtiene girando las anteriores gráficas 45o
y como ẋj = dxj /ds ≃ dxj /c dt = v j /c y ẍj ≃ aj /c2 se sigue entonces que
la aceleración aj de la partı́cula de prueba es: aj = −cγj i ,0 v j = c η ik γjk,0 v j . En
componentes:
a3 = 0
$ % $ %
∂γ11 1 ∂γ12 2 ∂γ11 ∂γ12
a1 = v + v = ê1 + ê2 · v
∂t ∂t ∂t ∂t
$ % $ %
∂γ12 1 ∂γ11 2 ∂γ12 ∂γ11
a2 = v − v = ê1 − ê2 · v.
∂t ∂t ∂t ∂t
En forma vectorial:
( )
∂γ11 ∂γ12
a = ê1 a1 + ê2 a2 = (ê1 ê1 − ê2 ê2 ) + (ê1 ê2 + ê2 ê1 ) · v
∂t ∂t
( )
∂γ11 ∂γ12
= E1 + E2 · v.
∂t ∂t
E1 y E2 son dı́adas de polarización lineal; satisfacen E1 : E2 = 0. Hay dos estados
de polarización lineal independientes. De otro lado, E+ = ê+ ê+ y E− = ê− ê− son
dı́adas de polarización 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 condición que debe
satisfacerse para que una onda gravitacional plana sea convertible en métrica de
Minkowski es:
aµν = i(aµ k ν + aν k µ ), (2.88)
2. Gravitación /97
que equivale a (2.84) con a′µν = 0. Las ondas gravitacionales anulables por trans-
formaciones coordenadas son ficticias, las no anulables son genuinas.
Ejemplos:
a. La onda analizada en la sección 2.11.4 con componentes no nulas a11 =
−a22 , a12 = a21 y que viaja en dirección z, no satisface la condición (2.88), de
modo que es una onda gravitacional genuina, no eliminable por transformación.
Esto puede verse más claro si se calcula el tensor de Riemann para la onda en
el lı́mite de campo débil. 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étrico 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ón que aplane la
σ
métrica. Esta transformación es: x′µ = xµ + aµ eikσ x . Como se ve, la on-
dulación de la métrica ha sido cancelada pasando a coordenadas ondulantes.
Fácilmente 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ón coordenada en 4D. Esta onda es el análogo gravitacional
de la onda electromagnética ficticia estudiada en la subsección 2.11.3.1.
2.12.3. La 4-velocidad
La velocidad de un punto en el espacio-tiempo curvo se define como:
dxν γ dxν
uν = ẋν = =√ ,
ds g00 dx∗0
donde se ha tenido en cuenta la forma de ds dada por (2.92); también: uν = gνµ uµ .
Las componentes espaciales y temporal de la 4-velocidad son:
γ dxi vi
ui = ẋi = √ = γ, (2.93)
g00 dx∗0 c
$ %
γ dx0 gi0 i γ 1
u0 = ẋ0 = √ ∗0
= dx ∗0
− dx √
g00 dx g00 g00 dx∗0
$ %
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
100 / Relatividad general
2.12.4. Teorema 1:
∗
Para los coeficientes gij y g jk (véase ecuación (2.89)) es cierto que: gij
∗ jk
g = δik .
En efecto, de gµν g νσ = δµσ se sigue, con µ, σ = i, k y µ, σ = 0, k, respectivamente:
2.12.5. Teorema 2:
Mediante la redefinición 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 continuación que las siguientes relaciones corresponden a una
transformación de coordenadas en 4-D:
gi0 i
dx∗0 = dx0 + dx ,
g00
dx∗i = dxi ,
∗
g00 = g00 , (2.95)
∗ gi0 gj0
gij = gij − ,
g00
∗
gi0 = 0.
coincidentes con las tres últimas ecuaciones de (2.95), lo que demuestra que la redefi-
nición propuesta para el diferencial temporal, con dx∗i = dxi , es una transformación
coordenada en 4D.
2.12.6. Simultaneidad
De acuerdo con la transformación de Lorentz, para un intervalo temporal medido
en dos sistemas de referencia S y S ′ en movimiento relativo uniforme, es cierto que:
$ %
′ 1 v∆x
∆t = # ∆t − 2 .
1 − v 2 /c2 c
Para justificar esta definición basta observar que en el elemento de lı́nea (2.90)
los dos extremos de una varilla espacial han de ser determinados simultáneamente
para obtener su longitud dl. Ası́, el intervalo es puramente espacial (ds2 = −dl2 ) si
dx∗0 = 0.
La distancia infinitesimal entre dos puntos espaciales, determinados simultánea-
mente, se define consecuentemente como:
$ %
2 i j gi0 gj0
∗
dl = −gij dx dx = − gij − dxi dxj .
g00
102 / Relatividad general
∗ ∗
gij es la métrica del espacio, gµν es la métrica del espacio-tiempo; la métrica gij
permite obtener las caracterı́sticas de la geometrı́a espacial. De ella puede concluirse
la euclidianidad o curvatura del espacio fı́sico tridimensional.
Una aplicación interesante se refiere al sistema rotante de la sección 2.4.2. Uti-
lizando la métrica (2.24) es posible reescribir el elemento de lı́nea en la forma:
$ %
2
+ 2 2 2
, ∗2 2 2 r2 dϕ2 + ,
ds = 1 − ω r /c dt − dr + dz + = 1 − ω 2 r2 /c2 dt∗2 − dl2 ,
1 − ω 2 r2 /c2
donde, de la ecuación (2.95):
ωr2 dϕ
dt∗ = dt − .
c2 (1 − ω 2 r2 /c2 )
Del elemento de lı́nea se sigue que la longitud de una circunferencia en el sistema
rotante es: ' '
rdϕ 2πr
C = dlϕ = # =# ,
2 2
1 − ω r /c 2 1 − ω 2 r2 /c2
y su diámetro es D = 2r, de modo que:
C π
=# > π,
D 1 − ω 2 r2 /c2
lo que significa que la geometrı́a del espacio 3D en un sistema rotante es hiperbólica.
En este disco rotante la suma de los ángulos de un triángulo es menor de 180◦ .
El tensor de Riemann para el espacio 3D es:
- i .∗ - i .∗ - m .∗ - i .∗ - m .∗ - i .∗
R∗ijkl = jk − jl + jk ml
− jl mk
, de donde:
,l ,k
- i .∗ 1 ∗im ∗
jk
= g ∗im [jk, m]∗ =g (gjm,k + gkm,j∗ ∗
− gjk,m ).
2
∗jk ∗
A partir de R∗ijkl puede evaluarse Rjk ∗
= R∗ijil y R∗ = gjk Rjk . El número de
∗i 2 2
componentes distintas de R jkl es n (n − 1)/12 = 6, donde n = 3.
Aunque un espacio-tiempo sea plano, es posible que la geometrı́a 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 transformación a un sistema rotante, en el cual, sin embargo,
la geometrı́a espacial es curva, esto es R∗ijkl ̸= 0.
De la expresión variacional:
' '
δ dl = δ gij ∗
dxi dxj = 0,
C
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 (véase 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ébil en comparación
con el de la estrella; de (2.98) puede escribirse:
1 2 3
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ñera densa de Sirio el valor medido del
cambio fraccional en la longitud de onda es ∆λ/λ ≃ 6 × 10−6 , coincidente con
la previsión de la relatividad general.
2. Un rayo de luz “cae” en el campo gravitacional terrestre, considerado cons-
tante, desde una altura h respecto a la superficie. Con g00 (1) ≃ 1 + 2G/c2 =
1 + 2gh/c2 y g00 (2) = 1, se sigue de (2.98):
1 2 3
2gh gh
ν(2) = ν(1) 1 + 2 ≃ ν(1) 1 + 2 ;
c c
ν(1)
M ν(2)
dpµ mc
= gνσ,µ ẋν ẋσ , (2.103)
ds 2
que es la ecuación de movimiento para la partı́cula m en el campo métrico gνσ .
Si alguna de las componentes del tensor métrico no depende de la coordenada
µ, entonces el momento canónico asociado a esa coordenada es una constante del
movimiento.
De (2.102), con µ = i, la componente espacial del 4-momento canónico es:
1
E = mc2 (1 + G/c2 )(1 + v 2 /2c2 ) ≃ mc2 + mv 2 + mG,
2
E 2 = p 2 c 2 + m2 c 4 .
√ $ %1/2 $ %1/2 $ %$ %
g00 2G v2 G v2
ds = dx∗0 ≃ dx∗0 1 + 2 1− 2 ≃ dx∗0 1 + 2 1− 2
γ c c c 2c
$ 2
% ∗0
( $ %)
v G dx 1
≃ dx∗0 1 − 2 + 2 = mc2 − mv 2 − mG
2c c mc2 2
dx∗0 dx∗0
= 2
[mc2 − (Ec − Ep )] = [mc2 − L].
mc mc2
donde L es el lagrangiano clásico. Puesto que siempre es posible lograr que gi0 = 0
por una transformación coordenada, se sigue que dx∗0 ≃ dx0 = c dt, por lo que:
' '
δ ds = 0 es equivalente a δ L dt = 0.
λ′ ṙ2 eν−λ ′ 0 2
r̈ + + ν (ẋ ) − re−λ (θ̇2 + sen 2 θ ϕ̇2 ) = 0 , con λ′ ≡ dλ/dr,
2 2
comparando con la componente µ = 0 de (2.88) se sigue:
′2 ′ ′ ′
• de R00 = 0 se sigue: ν ′′ + ν2 − λ 2ν + 2νr = 0,
′2 ′ ′ ′
• de R11 = 0 se sigue: ν ′′ + ν2 − λ 2ν − 2λr = 0.
Las dos anteriores son ecuaciones diferenciales acopladadas para ν y λ. Restán-
dolas se obtiene ν ′ + λ′ = 0, de donde ν + λ = cte. Puesto que para r → ∞, los
valores de ν y λ tienden a cero según (2.106) se sigue que ν = −λ. Substituyendo
en la ecuación para R00 se obtiene:
2λ′ d2
λ′′ − λ′2 + , equivalente a (re−λ ) = 0 , de donde:
r dr2
d
(re−λ ) = E = cte; (2.107)
dr
• de R22 = 0 se sigue:
$ %
ν′ λ′ 2
− csc2 θ + (re−λ ),1 − 2e−λ + cot2 θ + + + re−λ = 0,
2 2 r
que da lugar a:
1
−1 + (re−λ ),1 + (ν ′ + λ′ )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 integración. Ası́ pues:
α
e−λ = eν = 1 − ; (2.108)
r
• de R33 = 0 se sigue:
1
sen 2 θ[(re−λ ),1 − 1] + (ν ′ + λ′ )r sen 2 θ e−λ = 0,
2
que se satisface idénticamente si se toman en cuenta (2.107) y (2.108). Es directo
comprobar que Rµν = 0 para µ ̸= ν. De este modo quedan conocidos los elementos
del tensor de Ricci-Einstein.
70101 = − 1 R
R 70202 = 1 R
70303 = 1 R
71212 = − 1 R
71313 = α . (2.113)
2 2 2 2 r3
Es también cierto que en la base recı́proca:
1 1 1 1 α
R̆0101 = − R̆0202 = R̆0303 = R̆1212 = − R̆1313 = 3 .
2 2 2 2 r
Las coordenadas de Schwarszchild son ortogonales por lo cual, como se ha visto,
R7µνσρ = R̆µνσρ .
En consecuencia el campo de Riemann fı́sico presenta singularidad solo en r = 0.
Una conclusión idéntica puede lograrse escogiendo otros sistemas de coordenadas,
resultando que solo aparecen infinitos en r = 0. Puede asegurarse entonces que
las “verdaderas” propiedades del espacio-tiempo están dadas por las componentes
fı́sicas del tensor de Riemann que son las que proveen las componentes del campo
de gravitación que pueden medirse. Solo las singularidades de estos son reales, es
decir, certificables por todos los observadores.
Una observación adicional: los vectores de la
√ base aµ utilizados en (2.112) no
son unitarios como los êµ , (en efecto aµ = êµ g µµ ) lo que significa que las sin-
gularidades en las componentes tensoriales están asociadas con las singularidades
2. Gravitación /115
en los vectores de la base aµ , con las que se combinan para dar las singularidades
genuinas del objeto tensorial R que se revelan en R 7µνσρ . Esto es lo que de modo
directo hacen las componentes fı́sicas que, trabajando con vectores de la base êµ
sin singularidades, concentran estas en las componentes medibles.
donde el término dr2 está dado por (2.117). Realizamos la substitución de (2.116),
(2.117), (2.118) en (2.114); nos interesaremos en una pequeña región alrededor del
origen del nuevo sistema coordenado, y con la aproximación |xi /R| ≪ 1, i = 1, 2, 3,
que nos permite despreciar términos de segundo orden; no asumiremos, sin embargo,
que el campo es debil. Se obtiene entonces:
$ %
2m 2mz 2 2
ds2 = 1− + 2 c dt − dx2 − dy 2
R R
$ %−1
2m 2mz
− 1− + 2 dz 2
R R
$ %−1 3 4
4m 2m 2mz x y
− 1− + 2 dx dz + dy dz . (2.119)
R R R R R
El anterior es el elemento de lı́nea en el nuevo sistema de coordenadas, a primer
orden en |xi /R| ≪ 1. Debemos, ahora, escribir el elemento de lı́nea en un sistema
de referencia con aceleración uniforme en el espacio-tiempo plano. La aceleración
de caı́da libre se escribe:
d2 r GM
=− 2 , (2.120)
dτ 2 R
correspondiente a un elemento de lı́nea:
donde las funciones α(z) y β(z) han de evaluarse exigiendo que se cumpla la ecuación
(2.120). Del elemento de lı́nea (2.121) se obtiene la ecuación de la geodésica:
( ) $ %2
d2 z c2 dα 1 dα 1 dβ dz
=− 2 − + , (2.122)
dτ 2 αβ dz α dz β dz dτ
cuya compatibilidad con (2.120) requiere que se cumplan las dos condiciones:
1 dα mβ 2 1 dα 1 β
= 2
, + = 0. (2.123)
α dz R α dz β dz
Estas dos ecuaciones proveen la solución para α y β:
2mz
α2 = β −2 = k + ; (2.124)
R2
en la anterior ecuación k es una constante de integración. Por substitución de (2.124)
en (2.121) se obtiene:
$ % $ %−1
2 2mz 2 2 2 2 2mz
ds = k + 2 c dt − dx − dy − k + 2 dz 2 . (2.125)
R R
2. Gravitación /117
d
9 :
• ds (1 − α/r) ṫ = 0, con α = 2GM/c2 , de donde:
Escribiendo la expresión anterior como (1 − α/r) ẋ∗0 = cl, pues en esta métri-
ca dx0 = dx∗0 , y reemplazando (2.104) resulta la siguiente conexión entre l y
E:
E
cl = , (2.128)
mc2
d 2
• ds (r θ̇) − r2 sen θ cos θ ϕ̇2 = 0, equivalente a:
c2 l2 − ṙ2 h2
(1 − α/r) ṫ = l , r2 ϕ̇ = h , 1= − 2 , (2.132)
1 − α/r r
dr dr/ds ṙ r2
r′ = = = = ṙ ,
dϕ dϕ/ds ϕ̇ h
α h2 r′2 h2 3 α4
1− = c2 l 2 − 2 − 2 1 − ;
r r r r
introduciendo la nueva variable u = 1/r, de donde r′ = dr/dϕ = −u′ /u2 , la anterior
ecuación toma la forma:
h2 u′2 = c2 l2 − 1 + αu − h2 u2 (1 − αu).
α 3
u′′ + u = + αu2 (2.134)
2h2 2
Una forma, ligeramente diferente, de esta ecuación puede encontrarse en el tra-
tamiento newtoniano del problema gravitacional, por lo que es pertinente revisar
este último.
d 2
• Para ϕ: dt (mr sen 2 θ ϕ̇) = 0,
de donde se obtiene la conservación del momento angular por unidad de masa,
r2 sen 2 θ ϕ̇ = H = cte. Puesto que θ = π/2, se sigue que:
H = r2 ϕ̇. (2.135)
∂V
m(r̈ − rϕ̇2 ) = − .
∂r
Reemplazando ϕ̇ = H/r2 , y multiplicando por ṙ, se obtiene:
$ %
d 1 2 mH 2
mṙ + + V = 0,
dt 2 2r2
1 2 mH 2
E= mṙ + + V. (2.136)
2 2r2
u′′ + u = GM /H 2 . (2.138)
2. Gravitación /121
GM
u− = a cos(ϕ + δ).
H2
Si se asume que ϕ = 0 corresponde al valor máximo de u, el resultado final es
que la órbita es una cónica dada por:
1 GM
= + a cos ϕ .
r H2
Ası́ pues, un cuerpo que se mueve en las cercanı́as del Sol describe una cónica. En
particular, la trayectoria de los planetas es elı́ptica.
u = u0 + ϵv, (2.139)
donde ϵ tiene valor 1, y v es una función desconocida que solo afecta en primer
orden de perturbación. El coeficiente ϵ tiene la misión de distinguir entre los diversos
órdenes de la perturbación. Ası́, (2.134) puede escribirse:
α 3
u′′ + u = 2
+ ϵαu2 .
2h 2
En forma concisa:
u′′ + u = A + ϵCu2 , (2.140)
2
con A = α/2h y C = 3α/2. Reemplazando (2.139) en (2.140) se obtiene:
u′′0 + u0 − A = 0. (2.141)
v ′′ + v − Cu20 = 0. (2.142)
u0 = A + B cos ϕ, (2.143)
cantidad que es mayor que 2π. Esto significa que la precesión del perihelio se realiza
en la misma dirección que el recorrido del planeta en su órbita. El exceso sobre
2π es ∆ϕ − 2π = δϕ = 2πϵAC. Puesto que ϵAC = 3G2 M 2 /c2 h2 , se sigue que la
precesión del perihelio, por cada revolución, tiene un valor de:
$ 2 2%
G M
δϕ = 2π 3 4 2 . (2.144)
c h
c2 7
l2 − 7
h2 u′2 − 7
h2 u 2 + 7
h2 αu3 = 0.
puede orbitar una masa puntual M en cı́rculos de radio r0 = 3α/2. Pero también
el paréntesis admite órbitas no circulares si:
3 2
u′′ + u = αu .
2
El término a la derecha de la igualdad es mucho menor que el segundo de la
izquierda. Esto es (3αu2 /2)/(u) = 3αu/2 cantidad que para el caso del Sol es mucho
menor que 1. Ası́, el término de la derecha puede tratarse como una perturbación.
Puede escribirse entonces:
u = u0 + ϵv, (2.148)
que será reemplazada en
u′′ + u − ϵCu2 = 0
con C = 3α/2. El coeficiente ϵ tiene valor 1 y es un indicador del orden de la
perturbación. Ası́:
u′′0 + u0 + ϵ(v ′′ + v − Cu20 ) = 0.
A orden cero la ecuación tiene la forma u′′0 + u0 = 0 y su solución es
1
u0 = u∗0 sen (ϕ − ϕ0 ) = sen (ϕ − ϕ0 ) = 1/r0 ,
r0∗
de donde r0∗ = r0 sen (ϕ − ϕ0 ) = cte.
C ∗
v ′′ + v = Cu∗0 sen 2 ϕ = u (1 − cos 2ϕ),
2 0
cuya solución es: $ %
Cu∗2
0 1
v= 1 + cos 2ϕ .
2 3
Como ϵ = 1 la solución u = u0 + v es, entonces (figura 2.10):
$ %
1 1 C 1
u = = ∗ sen ϕ + ∗2 1 + cos 2ϕ . (2.149)
r r0 2r0 3
LUZ
r0
r0∗
ϕ
x
Figura 2.9: Diagrama para movimiento de la luz con deflexión nula, co-
rrespondiente a aproximación de orden cero en la ecuación de la geodésica
de donde δ ≃ −2C/3r0∗ . El signo “menos” significa que el ángulo se mide por debajo
del eje x, luego la luz (trayectoria punteada en la figura 2.10) se curva hacia abajo.
La simetrı́a de la figura implica que la diferencia angular entre el rayo incidente i y
el deflectado d en la figura 2.10 es ∆ = 2δ, esto es, que ∆ = 4C/3r0∗ , o también:
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,75′′ .
y
2δ
d i
LUZ r0∗
ϕ
x
δ δ
a b
3 $ %
2 E2 α4 h2
ṙ = 2 4 − 1 − 1− . (2.150)
m c r r
con φi0 = Ei y φij = −Bk (cı́clico). El campo electromagnético φµν puede obtenerse
del potencial electrodinámico Aµ mediante la regla:
Desde un punto de vista teórico lo mejor que puede hacerse es optar por un
principio de simplicidad, como lo sugiere la navaja de Ockham. Tal principio podrı́a
tomar la forma siguiente:
En un espacio-tiempo curvo los campos no gravitacionales se acoplan a la métri-
ca, no al tensor de Riemann-Christoffel, ni a sus contracciones.
Esto implica que en las anteriores ecuaciones a, b y e son nulos, y en consecuencia
la generalización más simple de las ecuaciones de Maxwell se obtiene reemplazando
la derivada parcial por la covariante y η µν por g µν . Ası́ pues, en espacios curvos:
4π ν
φµν;µ = J ,
c
φνρ;µ + φµν;ρ + φρµ;ν = 0,
φµν = Aν;µ − Aµ;ν .
Otro ejemplo simple es la conversión de la ley de conservación del momento-
energı́a que en relatividad especial tiene la forma T µν,ν = 0, y que en relatividad
general se escribe T µν;ν = 0. En un sistema geodésico la ley de inercia se escribe
dẋν .
- /ds = 0 y en coordenadas generales toma la forma Dẋν /Ds = 0 = dẋν /ds +
ν
σρ
ẋσ ẋρ , donde D indica un diferencial covariante.
Para una partı́cula de masa m sometida a una fuerza de densidad volumétrica
f ν , la segunda ley de Newton toma la forma:
Dxν
fν = m .
Ds
Problema:
La ley de Gauss para el campo electromagnético en relatividad general tiene
la forma 2.151. Expresada en términos de la derivada ordinaria es:
1 ∂ √ µν 4π ν
√ ( gφ ) = J .
g ∂xµ c
Hágala especı́fica para campo débil; deseche términos en 1/c4 ; utilice φi0 =
Ei , φ12 = B3 , g = −∇φ, y demuestre que las leyes de Gauss y Ampère-
Maxwell se escriben:
1
∇·E− g · E = 4πρ
c2
1 4π 1 ∂E
∇×B− 2 g×B= J+ .
c c c ∂t
2.17.1. Preliminares
La densidad escalar de curvatura, en la que # se basa el#problema 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 métrico. El signo ‘menos’
dentro del radical logra que la raı́z cuadrada sea real, ya que la signatura de gµν es
(1, −1, −1, −1). Ası́:
# # /- . -σ. - ρ .- σ . - ρ .- σ .0
σ
R = −|g|g µν Rµν = −|g|g µν µσ − µν + µσ νρ − µν σρ
,ν ,σ
# /- . - . 0 # /- .- . - .- .0
σ σ ρ σ ρ σ
= −|g|g µν µσ − µν + −|g|g µν µσ νρ − µν σρ
,ν ,σ
# /- . -σ. 0
σ
= −|g|g µν µσ − µν − L,
,ν ,σ
= {C} + {B} − L.
#
donde R y −|g| d4 x son funciones escalares, y por tanto Sg es un escalar. La varia-
ción δ será realizada teniendo en cuenta que δgµν y δgµν,σ se anulan en la frontera
del volumen 4D; tal frontera es un volumen 3D con 4-vectores de hipersuperficie
dσµ . Ahora bien, reorganizando (2.152) puede escribirse:
# /- .- . - .- .0
ρ σ ρ σ
L = −|g|g µν µν σρ − µσ νρ = U − V. (2.160)
Para pasar del primer renglón 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 β:
3- .- . # 4 3 - .4 - . # - β . 3- α . # 4
β α β α
δV = δ µα νβ g µν −|g| = δ µα νβ
g µν −|g| + µα δ νβ g µν −|g|
3 - .4 - . # 3 - .4 - . # - β .- α . #
β α µν α β
= δ µα νβ
g −|g| + δ νβ µα
g µν −|g| + µα νβ δ(g µν −|g|)
3 - .4 - . # 3 - .4 - . # - β .- α . #
β α β α
= δ µα νβ
g µν −|g| + δ µα νβ
g µν −|g| + µα νβ δ(g µν −|g|)
3 - .4 - . # - β .- α . µν #
β α µν
= 2 δ µα νβ
g −|g| + µα νβ
δ(g −|g|).
3- 4- . 1 3 βσ 4- .
β . µν # α µν
# α
δ µα
g −|g| νβ
= δ g [µα, σ]g −|g| νβ
2
1 # -α.
= δ[(g βσ gµσ,α g µν + g βσ gασ,µ g µν − g βσ gµα,σ g µν ) −|g|] νβ
2
1 # -α. 1 # -α.
= δ[g βσ gµσ,α g µν −|g|] νβ = δ[g βσ ((g µν gµσ ),α − gµσ g µν,α ) −|g|] νβ
2 2
1 # -α. 1 # -α.
= − δ[g gµσ g ,α −|g|] νβ = − δ(g βν,α −|g|) νβ .
βσ µν
2 2
En el segundo renglón los dos últimos términos son idénticos, como puede de-
mostrarse por intercambio de ı́ndices mudos. Entonces:
- α . βν # - β .- α . µν #
δV = − νβ
δ(g ,α −|g|) − µα νβ
δ(g −|g|)
- α . µν # - β .- α . µν #
− νµ
δ(g ,α −|g|) − µα νβ δ(g −|g|).
134 / Relatividad general
En consecuencia:
δL = δU − δV
- α . µν # -β . # - β .- α . #
= µν
δ(g −|g|,α ) − αβ δ(g αν −|g|),ν ) − αβ µν δ(g µν −|g|)
- α . µν # - β .- α . #
+ νµ
δ(g ,α −|g|) + µα νβ δ(g µν −|g|)
3- . - . 4 #
α β α µν
= µν
− µβ
δ ν δ(g −|g|),α
3- .- . - .- .4 #
α β β α
+ νβ µα
− αβ µν δ(g µν −|g|). (2.161)
por lo que:
/3- . -β . 4 # 0
α
δL = µν
− µβ
δνα δ(g µν −|g|)
,α
/- - β .- α .0 #
β . -α. - α .- β .
+ µβ ,ν
− + νβ µα −
µν ,α αβ µν
δ(g µν −|g|)
/3- . - . 4 # 0 #
α β α µν
= µν
− µβ
δ ν δ(g −|g|) + Rµν δ(g µν −|g|),
,α
#
La variación δ −|g| se obtiene del siguiente modo: de (1.51) y (1.54) multipli-
cando por δxα :
∂gσρ α ∂
g σρ δx = g σρ δgσρ = −gσρ δg σρ = ln(−|g|) δxα
∂xα ∂xα
1
= δ ln(−|g|) = δ(−|g|),
(−|g|)
2. Gravitación /135
donde Gµν , de acuerdo con (1.111), es el tensor de Einstein. Si no hay otros campos,
y si la variación de la acción es nula (δSg = 0) se obtiene la ecuación de Einstein:
Gµν = 0.
donde Q es una función de los otros campos. En este caso la variación de la acción
total es: ' #
δS = δ(Sg + Sc ) = δ [R − KQ] −|g| d4 x = 0. (2.166)
Gµν = KAµν .
donde Λ es una constante, se obtiene la ecuación del campo métrico con constante
cosmológica:
Gµν + Λgµν = KAµν .
Excepto por la aparición de Aµν definido por (2.167) en vez del tensor momento-
energı́a Tµν , esta es la ecuación de Einstein (2.57). En lo que sigue se demuestra que,
en el caso del campo electromagnético, Aµν es el tensor Tµν , aunque la igualdad
es válida en general. En tal caso Q en (2.165), el lagrangiano del campo electro-
magnético puro, es decir, sin el término de interacción −Aµ J µ /c2 , es:
1 1
Q = − φµν φµν = − φµν φαβ g µα g νβ .
8πc2 8πc2
Si se consideran φµν , φαβ independientes de g µν , entonces, reemplazando Q en
(2.167), con:
#
∂ −|g| 1#
σρ
=− −|g| gσρ que se obtiene de (2.163), se sigue:
∂g 2
( )
1 β 1 µν
Aσρ = − φ φ ρβ − φ µν φ g σρ = Tσρ , (2.168)
4πc2 σ 4
donde Tσρ es el tensor momento-energı́a del campo electromagnético (2.47).
Ası́ pues, en general, la ecuación de Einstein tiene la forma:
Con un ligero cambio de ı́ndices repetidos y multiplicando por g σν,µ puede escribirse:
$ %
# ∂L ∂L ∂L σν
−|g|g σν,µ Gσν = g σν,µ σν − g σν,µ σν + g
∂g ∂g ,α ,α ∂g σν,α ,µα
$ % ( )
σν ∂L α σν ∂L
= − g ,µ σν + L,µ = Lδµ − g ,µ σν (2.171)
.
∂g ,α ,α ∂g ,α ,α
Pero también:
# # #
−|g|g σν,µ Gσν = −|g|g σν,µ gασ gβν Gαβ = − −|g|g σν gαµ,σ gβν Gαβ
# #
= − −|g|gασ,µ Gασ = − −|g|gβσ,µ Gβσ . (2.172)
y reemplazando en (2.169):
( $ %)
# 1 ∂L
−|g| Tµ α + Lδµα − g σν,µ σν = 0,
2K ∂g ,α ,α
donde se ha definido:
$ %
# 1 ∂L
−|g|tµα = Lδµα − g σν,µ . (2.174)
2K ∂g σν,α
Ası́ pues, se ha logrado expresar (2.169) en la forma (2.173) como una cantidad
con divergencia nula. La cantidad tµα se conoce como pseudo-tensor momento-
energı́a del campo de gravitación. Este nombre viene en primer lugar del hecho de
que la cantidad L definida en (2.152) y que aparece en (2.174) no es estrictamente
un escalar, y de que el segundo sumando en (2.174) no se transforma como un tensor
de segundo orden; es decir, desde el punto de vista matemático tµα no es un tensor,
como sı́ lo es Tµ α . Hay que observar que L se anula en un punto de un sistema
geodésico, tal que en tal punto tµα = 0. Puesto que esta cantidad no es un tensor,
carece de sentido preguntar por la localización de la energı́a del campo gravitacional.
Basta pensar en que de acuerdo con un observador situado en las cercanı́as de la
superficie terrestre una masa que cae libremente tiene energı́a cinética y potencial,
2. Gravitación /139
pero no tiene ninguna de las dos para un observador en caı́da libre. Es decir, la
conservación de la energı́a en un campo gravitacional no es un concepto covariante.
La ecuación (2.173) es una ley de conservación en el sentido ordinario, lo que
implica la conservación del momento-energı́a de la materia más el campo gravita-
cional. Ası́ pues, puede decirse que el campo gravitacional porta momento-energı́a,
solo que, como tµν no es un tensor general, su identificación con el momento-energı́a
del campo gravitacional no es un procedimiento invariante, es decir, independiente
del sistema de coordenadas 4D. Este resultado era de esperarse pues el principio de
equivalencia asegura que el campo de gravitación puede eliminarse al menos en un
punto en un sistema en caı́da libre. Puesto que tµα acompaña a Tµ α resulta que el
campo gravitacional contribuye a su propia fuente, lo que es la raı́z fı́sica de la no
linealidad de las ecuaciones de Einstein.
Por integración de (2.173) sobre el 4-volumen:
' # ' #
α α 4
[ −|g|(Tµ + tµ )],α d x = −|g|(Tµ α + tµα ) dσα2
σ2
' #
− −|g|(Tµ α ) + tµα ) dσα1
σ1
= Pµ (2) − Pµ (1) , donde:
' #
Pµ = −|g|(Tµ α + tµα ) dσα
de donde se sigue:
∂L 3- . -β . 4 ∂Q 3- . -β . 4
α m,α α
= σν
− σβ
δνα = σν
− σβ
δνα δαρ
∂Qm,ρ ∂Qm,ρ
-ρ . -β .
= σν
− σβ
δνρ .
∂L - α. - β .
= ρν − σβ δνα ;
∂Qm,α
1 / α βν 3 - ρ .- σ . - ρ .- σ .4 3- α . - β . α 4 σν 0
tµα = δ g − βσ νρ + βν σρ − σν − σβ δν g ,µ .
2K µ
Es obvio, que esta cantidad se anula en un sistema geodésico.
gravitacional:
' # ' / # # 0
δSg = δ −|g|R d4 x = δ −|g|R + −|g|δR d4 x
' / # # + ,0
= δ −|g|R + −|g| δRαβ g αβ + Rαβ δg αβ d4 x ,
donde hemos tenido en cuenta que R = Rαβ g αβ . Utilizando (2.163) puede escribirse:
# 1
−|g| = − gαβ δg αβ , se sigue:
δ
2
' # ($ % )
1
δSg = −|g| Rαβ − gαβ R δg αβ + δRαβ g αβ d4 x .
2
Utilizando la definición (1.111) del tensor de Einstein Gαβ y la identidad de
Palatini (1.109), puede escribirse:
' /# 3 - .
# σ - σ . 4 αβ 0 4
δSg = −|g|Gαβ δg αβ + −|g| δ ασ ;β − δ αβ g d x.
;σ
La primera ecuación es la de Einstein, con Tαβ dado por (2.167) con Aαβ = Tαβ ,
que en el caso del campo electromagnético se expresa por (2.168).
L̇ = ṙ × p + r × ṗ = r × (mr̈) + r × F = r × F .
dr̂ d
ṗ × L = −mk = (p × L) , por lo cual:
dt dt
d d
(p × L − mkr̂) = (mkA) = 0
dt dt
2. Gravitación /143
de donde:
1 mk
= 2 (1 + A cos θ) ,
r L
que corresponde a la ecuación de una cónica. Este es el conocido resultado newto-
niano para fuerzas de inverso cuadrado.
θ î x
d
F P
dr̂ dr̂ + ,
mk Ȧ = ṗ × L − mk = −m f (r)r2 + k ;
dt dt
dr̂ dêr
puesto que dt = dt = êθ se sigue
êθ + ,
Ȧ = f (r)r2 + k ,
k
de modo que el vector A precesa, es decir, la órbita tiene un movimiento de giro en
dirección êθ si f (r) = −k/rn , con ̸= 2. Obtenemos ası́ la precesión del perihelio P .
**********************************
Edwin Hubble (1889-1953). Tomado de http://www.edwinhubble.com/
3
Cosmologı́a relativista
3.1. Introducción
La relatividad general es una teorı́a que describe la gravitación como un fenó-
meno geométrico en el que el espacio-tiempo es una entidad cuya estructura está
determinada por la materia. A su vez, el espacio-tiempo determina el movimiento
de los cuerpos que en él se ubican. El espacio-tiempo es un escenario cambiante,
es parte de la acción del mundo. Es un campo dinámico. Y puesto que el espacio
y el tiempo han de ser elementos básicos en la descripción del mundo a todos los
niveles, entonces la nueva dinámica de la geometrı́a ha de gobernar también el
mundo cosmológico, la totalidad del universo.
Esto significa que las más antiguas preguntas de la cosmologı́a podrı́an plantearse
desde la relatividad general con una nueva perspectiva.
La cosmologı́a es una disciplina bastante antigua que está animada por una
ambición de totalidad. No le importan a ella los detalles del mundo, es decir, la
descripción de los fenómenos particulares que revelan la diversidad de lo sensible.
Puesto que solo preguntas ambiciosas son el objeto de su indagación resulta ser
entonces la hermana gemela de la metafı́sica y la hermana menor de la ontologı́a.
Su ambición no es el ser sino los fenómenos; basa su acción en el pensamiento
matemático y en su adhesión a la observación.
¿Hasta dónde se extiende el universo visible? Es decir ¿hay lı́mite alguno en
el espacio y el tiempo? ¿Cuál es su estructura? ¿Han tenido ellos algún origen, o
simplemente persisten desde siempre? ¿Son accesibles al esfuerzo del pensamiento
abstracto, o exigen otro método para su comprensión? ¿El espacio y el tiempo
mismos, supuesto sustrato de lo fenoménico, son susceptibles al rigor del método
cientı́fico?
Hubo una cosmologı́a aristotélica, hubo una incipiente cosmologı́a matemática
newtoniana que no alcanzó profundidad. La fı́sica de Einstein es, en este sentido, una
146
3. Cosmologı́a relativista /147
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 convención suma? Por analogı́a con el caso 2D, y dado que la
ecuación anterior es la de una esfera en 4D, este espacio es de curvatura constante
positiva. Se trata entonces de un espacio 3D esférico 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 expresión para el elemento de lı́nea 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 − xk xk
150 / Relatividad general
dr2
dl2 = + r2 (dθ2 + sen 2 θ dϕ2 ). (3.4)
1 − r2 /a2
Obsérvese que no hay referencia directa a la cuarta dimensión (x4 ), la que apa-
rece solo en el radio a de la hiperesfera. (3.4) describe el espacio interior r < a, por
lo que r puede reparametrizarse en la forma r = a sen χ, de donde se sigue que r = 0
corresponde a χ = 0 y r = a a χ = π/2. En las coordenadas angulares (χ, θ, ϕ) el
elemento de lı́nea se escribe, entonces:
Por lo cual gχχ = a2 , gθθ = a2 sen 2 χ, gϕϕ = a2 sen 2 χ sen 2 θ. Es fácil comprobar
que la ecuación (3.3) se satisface si, además, se escribe x4 = a cos χ.
Se llaman coordenadas isotrópicas (ρ, θ, ϕ) aquellas en las que dl2 es proporcional
al elemento de lı́nea euclidiano. Esto es:
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
3. Cosmologı́a relativista /151
3.2.2.3. Sı́ntesis
En forma compacta los tres casos anteriores se expresan:
dr2 dσ 2
dl2 = + r 2
(dθ 2
+ sen 2
θ dϕ 2
) = . (3.9)
1 − kr2 /a2 (1 + kρ2 /4a2 )2
nσ P ′ (x0 + dx0 , xi )
σ
b
a tα
P (x0 , xi )
a b
de donde se concluye que gi0 = 0. Ası́, hasta ahora, el elemento de lı́nea toma la
forma: ds2 = (dx0 )2 + gij dxi dxj .
Ahora bien, de la ecuación de la geodésica (2.87) con µ = i y a lo largo de x0 ,
esto es, con ẋi = ẍ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 lı́nea 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.
Einstein
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 lı́nea se escribe ahora:
0
ds2 = (dx0 )2 − eg(x )+f (r)
dσ 2 , (3.11)
Realizando
- µ el
. problema variacional y comparando con la ecuación de la geodésica se
obtiene νσ en términos de f (r) y g(x0 ). Pueden luego evaluarse Rµν y R (véase
la sección 12.3 del libro de Adler). Con f ′ = df /dr y g ′ = dg/dx0 la ecuación de
Einstein (2.57) que incluye la constante cosmológica escrita como:
8πG µ
− T ν = Gµν + Λδ µν ,
c2
3. Cosmologı́a relativista /155
T ′ij = ai k aj l T kl ,
R2 (t)
ds2 = c2 dt2 − dχ2 . (3.18)
[1 + ku2 /4]2
1 ′2 1 ′ 1 1 a
f + f = f ′′ + f ′ = ef , de donde:
4 $ r 2 % 2r b
1 1 a
e−f f ′2 + f ′ = = cte.
4 r b
cz = HL. (3.21)
∆λ λ′ − λ v L
≃ = =H , por lo cual:
λ λ c c
v = LH
• •
te to
Figura 3.2: La luz emitida por una galaxia en E es recibida por un observador O
es, se mueven junto con el fluido cósmico. Puesto que la señal que viaja entre ellos
es luminosa es cierto que ds = 0. Ası́, de (3.18):
R2 (t)
c2 dt2 = dχ2 = R2 (t) dσ̂ 2
[1 + ku2 /4]2
dσ̂ es una distancia coordenada adimensional definida como dχ/(1 + ku2 /4), que es
independiente del tiempo, mientras R(t) dσ̂ es una distancia fı́sica, dependiente del
tiempo. Esto significa que la red coordenada espacial permanece inalterada pero la
distancia fı́ısica puede cambiar dependiendo del valor de la métrica R(t). Por tanto:
' to
dt
σ̂ = c , (3.22)
te R(t)
puede escribirse:
' to +∆to ' to ' to +∆to ' te +∆te
dt dt dt dt
− =0= − .
te +∆te R(t) te R(t) t0 R(t) te R(t)
Como las integrales se realizan sobre un intervalo diferencial ∆t es cierto que:
∆t0 ∆te
= .
R(t0 ) R(te )
Si el intervalo temporal es el que separa dos máximos de una onda monocromáti-
ca, entonces la frecuencia es ν = 1/∆t, de modo que:
νe 1/∆te Ro λo
= = = ,
νo 1/∆to Re λe
3. Cosmologı́a relativista /159
∆λ λo − λe
z= = , de modo que:
λ λe
Ro
z= − 1. (3.24)
Re
La observación de Hubble revela que hay corrimiento al rojo de la luz de las
galaxias, esto es λo > λe , lo que implica Ro > Re . Puesto que R(t) es un término
métrico, esto significa que las distancias fı́sicas entre cada pareja de puntos aumen-
tan con el tiempo, aunque las galaxias mantengan invariables sus coordenadas. Ası́
pues, la recesión de las galaxias puede interpretarse en relatividad general como
expansión del espacio.
Ahora bien, el factor 1/R(t) que aparece en (3.22) y (3.24) puede expandirse en
una serie de Taylor alrededor de R0 :
( $ %) ( 2 $ %)
1 1 d 1 1 d 1
= + (t − to ) + (t − to )2 + ···
R(t) Ro dt R to 2 dt2 R to
$ % $ %2 $ ′ 2 %
1 c(t − to ) Ro′ 1 c(t − to ) Ro R′′
= − + 2 − o + · · ·(3.25)
.
Ro Ro cRo c Ro Ro 2
Esta expansión es convergente para c(t − to )/Ro ≪ 1. Dos cálculos simples son
entonces posibles:
A. Reemplazando (3.25) en (3.22) e integrando se obtiene:
donde se ha definido: h = c(to − te )/Ro que es una cantidad mayor que cero. Ası́,
en primera aproximación es cierto que:
σ̂ ≃ h. (3.27)
y con h ≃ σ de (3.27):
1 ′2 2
cz = Ro′ σ̂ + R σ̂ (1 + qo ) + · · · (3.29)
2c o
160 / Relatividad general
Ro′ R′
(Ro σ̂) = o L = HL.
cz ≃ Ro′ σ̂ =
Ro Ro
si se define la “constante” de Hubble en la forma:
Ro′
H= . (3.31)
Ro
En general, R′ es una función del tiempo como lo es R, tal que H no es una
constante. El valor de H escrito como Ro′ /Ro está evaluado en el instante de ob-
servación, vale decir, en el universo actual. Ası́ pues, según (3.29), la ley de Hubble
admite una forma más general que incluye la desaceleración de las galaxias, efecto
que newtonianamente es atribuible a la gravitación del universo sobre sı́ mismo.
Entonces:
( )
1 Ro′ 2 L2 H 2 L2 HL
cz ≃ HL + (1 + q o ) = HL + (1 + q o ) = HL 1 + (1 + q o ) .
2c Ro2 2c 2c
De la definición (3.31) fácilmente puede probarse que:
$ % ( $ %)
d 1 HL d 1
= 1 + q0 y que, por tanto cz ≃ HL 1 + .
dt H 2c dt H
3k k
−Λ + >0 y Λ− > 0, de donde:
R2 R2
k 3k
2
< Λ < 2,
R R
de modo que Λ es proporcional al inverso del “radio” al cuadrado del universo,
lo que asegura que la constante cosmológica ha de ser sumamente pequeña y no
importante a nivel del sistema solar.
De (3.41) se sigue que:
kc2
R2 = ,
4πG(ρ + P/c2 )
cantidad que es mayor que cero, luego k = 1. Este, entonces, es un universo esférico,
finito e ilimitado. Como ρ ≫ P/c2 es cierto que el radio del universo de Einstein es:
#
R ≃ c/ 4πGρ,
3H 2
ρC = (3.45)
8πG
define la densidad crı́tica, valor cercano a (2,1 ± 0,5) × 10−29 gr/cm3 .
De (3.34) con Λ = 0:
$ %
4πG 3P 3R′′
ρ + = − . (3.46)
c2 c2 c2 R
Puesto que ρ > 0 y P > 0 es cierto que R′′ < 0, lo que significa que hay
desaceleración, que se debe a la atracción que el universo ejerce sobre sı́ mismo.
Además, como aproximación, la presión puede suponerse muy débil (P/c2 ≪ ρ);
eliminando ρ entre (3.42) y (3.46):
4πG D0 c 2
R′′ = − ρR = − , (3.50)
3 2R2
de donde se concluye que ρR3 es constante:
$ %
2G 4π 3
D0 = 2 ρR
c 3
A continuación se analizan los tres casos posibles para k.
164 / Relatividad general
R(t)
D0
t
t=τ =0 t = D0 π/c
Figura 3.3: Cambio con el tiempo del radio del universo en un modelo esférico
Con q0 = 1,0 ± 0,5 y H −1 = (5,6 ± 0,6) × 1017 seg se obtiene R0 ≃ 1026 m. Reem-
plazando k = 1 en (3.44):
3c2
ρ0 = ρC + .
8πGR2
De modo que en un universo esférico la densidad promedia es mayor que la crı́tica,
lo que también se concluye de (3.50), (3.30) y la definición de H:
1 ρ0
q0 = . (3.52)
2 ρC
Puesto que q0 > 1/2 se sigue que ρ0 > ρC .
Para este modelo, propuesto en 1922, k = 0, tal que según (3.48): R′2 = D0 c2 /R,
cuya integración conduce a:
3
R3/2 = D0 ct + C.
2
Si R = 0 en t = 0 sera cierto entonces que:
R = A t2/3 , (3.53)
√
con A = (3c D0 /2)2/3 . Este modelo, representado en la figura 3.4, corresponde a
un universo euclidiano en expansión continua a partir de un origen explosivo, como
en el caso k = 1. Es un “universo abierto”. De (3.48) y (3.50) se obtiene q0 = 1/2;
y de (3.52): ρ0 = ρC .
R(t) c
a
t
O
R(t)
R0
t
3H 2 1 −2
Λ= 2
= (años luz) .
c (1,8 × 1010 )2
*****************************************
*****************************
****************
Bibliografı́a
168
Bibliografı́a /169
[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 N 10, octubre 1977.
[26] Ohanian H. C. and Ruffini R. , Gravitation and space time, W.W. Norton and
Company, New York, 1994.
[27] Papapetrou, A. , Lectures on General Relativity, D. Reidel Pub. Co., Holland,
1974.
Aceleración fı́sicas, 48
caı́da libre, de, 58 Condición(es)
armónica, 87
Base coordenadas, 87
bilineal, 12 Conexión afı́n, 31
original, 5 Cónica, 143
recı́proca, 5, 6 Constante
Bianchi, identidad de, 39 cosmológica, 82
Big-Bang, 165 Einstein, de, 78
Birkhoff, teorema de, 113 Contracción de ı́ndices, 15
Convención suma, 5
Cálculo, variaciones, de, 17 Coordenadas
Caı́da libre, 51, 127 cartesianas, 8
aceleración de, 58 curvilı́neas, 4
Campo esféricas, 9
Christoffel, de, 65 gaussianas, 152
cuasi-euclidiano, 66 geodésicas, 71
débil, 88 Correspondencia
gravedad, de, 51 principio de, 80
gravitacional, 56 Corrimiento al rojo, 104, 128, 157, 161
newtoniano, 52
mareas, de, 51, 63, 67 De Sitter
vectorial, 11 universo de, 166
Carga, gravitacional, 55 Deflexión de la luz, 124
Cavendish, 55 Delta
Christoffel Dirac, de, 57
sı́mbolo de, 22 Kronecker, de, 6, 14
sı́mbolos de, 70, 110 Densidad tensorial, 43
Cociente, regla del, 16 Derivada covariante, 26
Coeficientes, métricos, 6 producto, de un, 29
Componentes Dı́ada, 12
covariantes, 48 Diferencial covariante, 27
170
Índice alfabético /171
Temporaloide, 99
Tensor, 12, 13
antisimétrico, 14
componentes fı́sicas, 114
Einstein, de, 43
identidad, 15
isotrópico, 14
momento-energı́a
del campo electromagnético, 77
del fluido, 75
Ricci-Einstein, de, 40
Riemann, de, 69
Riemann-Christoffel, de, 38
simétrico, 14
unidad, 15