Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Alonso Sepúlveda - Elementos de Relatividad General-Universidad de Antioquia (2013) PDF
Alonso Sepúlveda - Elementos de Relatividad General-Universidad de Antioquia (2013) PDF
Alonso Sepúlveda - Elementos de Relatividad General-Universidad de Antioquia (2013) PDF
de
relatividad general
Alonso Sepúlveda S.
Instituto de Fı́sica
Universidad de Antioquia
Medellı́n, julio 2013
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.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 . . . . . . . . . . . . . . . . . . . . . . 20
1.7. Derivada covariante . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.7.1. Diferencial covariante . . . . . . . . . . . . . . . . . . . . . . 26
1.7.2. Derivación covariante de un producto y de un tensor . . . . . 28
1.7.3. La conexión afı́n . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.7.4. Divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.7.5. Rotacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.7.6. Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.8. Tensor de Riemann-Christoffel . . . . . . . . . . . . . . . . . . . . . 35
1.8.1. Tensor de Ricci-Einstein . . . . . . . . . . . . . . . . . . . . . 38
1.8.2. Tensor de Einstein . . . . . . . . . . . . . . . . . . . . . . . . 40
1.9. Densidad tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.9.1. Aplicaciones de la densidad tensorial . . . . . . . . . . . . . . 42
1.10. Miscelánea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2. Gravitación 51
2.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.2. Teorı́a newtoniana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2.1. Ley de Newton de la gravitación . . . . . . . . . . . . . . . . 52
iii
iv/ Relatividad general
Bibliografı́a 161
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 meta-
fı́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 solu-
ció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
cascaró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 des-
cribe el problema a la inversa; primero asume el espacio y tiempo absolutos y luego
descubre 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.
X3 X3
∂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 6= 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)
p p p
|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 = p .
|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
p
= |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 g ij 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 a i :
3
X ∂xk ∂xk
ds2 = dxk dxk = gij dui duj = dui duj
k=1
∂ui ∂uj
∂ui ∂uj
= δlk dxk dxl = gij dxk dxl .
∂xk ∂xl
En consecuencia, eliminando dui duj en la primera 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 6= j.
1. Geometrı́a diferencial /9
P3 √ P3
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 a0i = {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
bj = a i . (1.17)
∂v j
∂v j
ai = b j . (1.18)
∂ui
10 / Relatividad general
∂ui ∂v j
dui = duk , y como dui ≡ δki duk , entonces:
∂v j ∂uk
∂ui ∂v j ∂v j ∂ui
= δki y es demostrable que: = δkj . (1.19)
∂v j ∂uk ∂ui ∂v k
La 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 0
ui −→ xi v j −→ x0j
ui −→ xi vj −→ x0j
ai −→ ai bj −→ a0j
ai −→ ai bj −→ a0j
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.0.2. Productos
a. El producto punto (o escalar) entre dos vectores A y B produce un escalar:
A · B = gij Ai B j = g ij Ai Bj = Ai Bi = Ai B i .
ai × aj = |a1 · a2 × a3 | ijk ak ,
1.3.0.3. 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 = T0 , o también:
T = ai aj T ij = T0 = a0k a0l T 0kl . (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
∂x0k ∂x0l
ai = a0k , aj = a0l ,
∂xi ∂xj
se obtiene la regla de transformación de las componentes de un tensor de segundo
orden doblemente contravariante:
∂x0k ∂x0l ij
T 0kl = T . (1.28)
∂xi ∂xj
Aplicando a (1.27) la regla inversa de transformación se obtiene:
1.3.0.4. 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:
∂x0i ∂x0j lm
T 0ij = T .
∂xl ∂xm
Un tensor de orden 0,1,2,3, etc. en un espacio N-dimensional tiene, respectiva-
mente, 1, N, N 2 , N 3 etc. componentes. No es solo el nú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)
0 ∂xi ∂xj
gkl = gij . (1.35)
∂x0k ∂x0l
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 Gji
· ·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
RB
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
R R
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:
Z B Z B
δF = δ f (xi (s), ẋi (s)) ds = δf (xi (s), ẋi (s)) ds
A A
Z B Z B
∂f i ∂f i ∂f i ∂f d i
= δx + δ ẋ ds = δx + (δx ) ds
A ∂xi ∂ ẋi A ∂xi ∂ ẋi ds
Z B
∂f i d ∂f i d ∂f i
= δx + δx − δx ds
A ∂xi ds ∂ ẋi ds ∂ ẋi
Z B Z B
∂f d ∂f i d ∂f i
= − δx ds + δx ds
A ∂xi ds ∂ ẋi A ds ∂ ẋi
Z B
∂f d ∂f ∂f B
= i
− i
δxi ds + i
δxi A .
A ∂x ds ∂ ẋ ∂ ẋ
B
x
δxi
A
Ejercicios:
1. En el plano euclidiano es cierto que:
Z q Z q
l= (dx)2 + (dy)2 = 1 + (dy/dx)2 dx
Z p Z
1 + ẏ 2 dx = F (y, ẏ, x) dx,
d ẏ
p = 0,
dx 1 + ẏ 2
2 i j
Puesto que ds = gij dx dx , entonces:
dxi dxj
1 = gij = gij ẋi ẋj , por tanto:
ds ds
Z B Z B Z B Z B
δ ds = δ 1 · ds = δ gij ẋi ẋj ds = δ f ds,
A A A A
20 / Relatividad general
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 j dẋj dgkj j
= 2 (gkj ẋ ) = 2 gkj + ẋ
ds ∂ ẋk ds ds ds
∂gkj
= 2gkj ẍj + 2 i ẋi ẋj
∂x
j ∂gkj ∂gki
= 2gkj ẍ + + ẋ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 6= ẍk .] Multiplicando por g kl aparece en el primer
término g kl gkj = δjl lo que conduce a:
l g kl ∂gkj ∂gki ∂gij
ẍ + + − ẋ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
ecuació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
proveer 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 soncero, 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 0 se hubiera obtenido la regla recı́proca:
∂xα
A0i = Aα ; derivando respecto a x0j se sigue:
∂x0i
1. Geometrı́a diferencial /25
∂Aα m
k
− Am αk
∂x
26 / Relatividad general
∂xα ∂xk
A0i;j = Aα;k . (1.65)
∂x0i ∂x0j
Un procedimiento similar realizado derivando un vector contravariante conduce
a la regla:
∂x0i ∂xβ α
A0i;j = A , (1.66)
∂xα ∂x0j ;β
donde la derivada covariante de un vector contravariante se define en la forma:
i
Ai;β = Ai,β + Aα αβ
. (1.67)
En general, para un campo tensorial Aij··· se cumple que DAij··· = Aij···;k dxk .
De las anteriores expresiones puede evaluarse el diferencial covariante a lo largo
de una curva parametrizada por su longitud s. De (1.70), dividiendo por Ds (que
es igual a ds):
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 ,
β j
Ti j ;k = Ti j ,k − Tβ j ik + Ti β βk . (1.74)
gij;k = 0. (1.75)
∂x0i j
A0i = A ,
∂xj
obtiene:
dA0i d ∂x0i j ∂ 2 x0i dxk j
= A = A
ds ds ∂xj ∂xk ∂xj ds
2 0i
∂ 2 x0i ∂xk dx0m ∂xj 0n ∂ x ∂xk ∂xj dx0m 0n
= A = A
∂xk ∂xj ∂x0m ds ∂x0n ∂xk ∂xj ∂x0m ∂x0n ds
0m
i dx
= Γ0 mn A0n .
ds
i
El último paréntesis define Γ0 mn . Ası́, la constancia de las componentes de un
i i
vector en S (dA = 0) implica dA0n 6= 0 en S 0 , pues en general Γ0 mn 6= 0, excepto
para transformaciones lineales.
En general, e independientemente de su procedencia, se define (suprimiendo
‘primas’) el cambio de las componentes de un vector bajo trasplante de x i a xi + dxi
de la siguiente manera:
dAi = Γmn
i
dxm An . (1.76)
i
Esta expresión se llamará ley de trasplante vectorial, y los coeficientes Γ mn serán
i i
funciones no restringidas a que en el S original dA = 0. La función Γmn 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.76) 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.76) sea invariante bajo transformaciones generales
de coordenadas y que si Ai (x) es un vector, también lo sea Ai (x+dx). Esto traerá res-
i
tricciones 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
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.70):
dA dAj daj j DAj j l dxk dal l
= aj + A = aj − lk A + A
ds ds ds Ds ds ds
DAj dal j dxk DAj Daj
= aj + Al − aj lk = aj + Aj . (1.87)
Ds ds ds Ds Ds
Es decir:
dA D
= (aj Aj ).
ds Ds
De modo que la derivada ordinaria del vector completo es idéntica a su derivada
covariante. Bajo trasplante paralelo dA = DAj = Daj = 0, de modo que de (1.87)
los cambios daj y dAj , en un vector de la base y en la componente de un vector,
bajo trasplante son:
j j
dal = aj lk
dxk y dAj = − lk
Al dxk
34 / Relatividad general
1.7.4. Divergencia
• La divergencia covariante de un vector contravariante puede calcularse a
partir de (1.67), mediante la contracción de los ı́ndices i y β:
i
Ai;i = Ai,i + Aα αi .
Reemplazando (1.54) en el último término se obtiene:
p p
i i
i α i Aα ∂ |g| i Ai ∂ |g|
A ;i = A ,i + αi A = A ,i + p = A ,i + p
|g| ∂xα |g| ∂xi
" p #
1 p ∂Ai ∂ |g|
= p |g| i + Ai ,
|g| ∂x ∂xi
1 ∂ p i
T ij;j = p j
(| |g|T ij ) + T αj αj .
|g| ∂x
1. Geometrı́a diferencial /35
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 ∂ p
T ij;j = p (| |g|T ij ).
|g| ∂xj
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.64):
α α
(Rot A)ij = Ai;j − Aj;i = Ai,j − Aα ij − Aj,i − Aα ji = Ai,j − Aj,i .
1.7.6. Laplaciano
Si en (1.88) se hace Ai = g ij Φ,j se obtiene el Laplaciano de la función escalar
Φ, esto es:
1 ∂ p
Ai;i = p i
( |g|g ij Φ,j ) = Lapaciano Φ. (1.89)
|g| ∂x
= B β Riβjk . (1.90)
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
1. Geometrı́a diferencial /37
Riβjk = 0. (1.92)
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 multiplicando por g βk :
1
Gkβ = Rkβ − g kβ R . (1.101)
2
Gkβ;k = 0 . (1.102)
0 ∂xi ∂xj
gkl = 0k
gij 0l .
∂x ∂x
˜
En forma matricial: g 0 = JgJ, donde J es la matriz con elementos ∂xi /∂x0k y J˜ su
traspuesta. Tomando el determinante y teniendo en cuenta que |J| = |J|: ˜
0 −2
∂x 2 ∂x
|g 0 | = 0 |g| = |g|, o también: (1.103)
∂x ∂x
0 2
∂x −2 0 ∂x 0
|g| = 0 |g | = |g |.
∂x ∂x
Se ha tenido en cuenta que de la expresión:
∂xi ∂xj ∂x ∂x0
= δli se sigue:
∂x0j ∂x0l ∂x0 ∂x = 1.
o también:
∂x0µ ∂x0ν ∂x0σ
[|g 0 |W/2 T 0µνσ··· ] = · · · [|g|W/2 T αβγ··· ]
∂xα ∂xβ ∂xγ
De modo que si T αβγ··· es una densidad tensorial de peso W , entonces g W/2 T αβγ···
es un tensor de peso cero. Las reglas de suma, producto, contracción, etc, son
directamente extensibles a densidades tensoriales.
Para que este sı́mbolo sea isotrópico, p esto es: 0µνσρ = µνσρ , es necesario que
0 0 −1
b|∂x /∂x| = 1, es decir, b = |∂x /∂x| = |g 0 |/|g|, de acuerdo con (1.103). Ası́, en
la ecuación: ! !
0µνσρ ∂x0µ ∂x0ν ∂x0σ ∂x0ρ αβγδ
p = p ,
|g 0 | ∂xα ∂xβ ∂xγ ∂xδ |g|
p
resulta que αβγδ es una densidad tensorial de peso −1 y αβγδ / |g| es un tensor
de peso cero.
Puede definirse αβγδ = gαa gβb gγc gδd abcd donde αβγδ es una densidad tensorial
p
de peso 1 y |g|abcd es un tensor de peso cero.
1. Geometrı́a diferencial /43
Ejercicio:
Evaluar la derivada covariante de un campo escalar de peso W .
La regla de transformación (1.104) de un campo escalar de peso W puede
expresarse como Φ0 g 0W/2 = Φg W/2 . Es cierto, además, que
∂ ∂xα ∂
(Φ0 g 0W/2 ) = (Φg W/2 ).
∂x 0i ∂x0i ∂xα
l
Realizando las derivaciones y con ∂|g|/∂xα = 2|g| lj se obtiene:
0 W
∂Φ0 l ∂xα
0 l 0
∂x ∂Φ
+ W Φ li
= + W Φ lα
.
∂x0i ∂x ∂xα ∂x0i
La anterior es la regla de transformación de una densidad vectorial de peso W ,
deducible de (1.105), si la derivada covariante de la densidad escalar Φ de peso
W es: l
Φ;i = Φ,i + W Φ li . (1.107)
La regla de transformación de Φ;i es, entonces:
0 W
∂x ∂xα
Φ0;i = Φ;α .
∂x ∂x0i
¿Cuál es la regla de transformación de una densidad vectorial, la de una den-
sidad tensorial?
44 / Relatividad general
1.10. Miscelánea
a. La transformación entre sistemas cartesianos es lineal.
Para sistemas cartesianos los coeficientes métricos son constantes, por lo que los
sı́mbolos de Christoffel son nulos. En la regla de transformación (1.58) esto implica
que:
∂ 2 x0i
= 0,
∂xα ∂xβ
cuya solución es lineal: x0i = ai + bij xj .
b. La derivada covariante del determinante |g| es cero.
De acuerdo con (1.103), |g| es una densidad escalar de peso −2; ası́, de (1.107)
con Φ = |g| y W = −2:
l
|g|;i = |g|,i − 2|g| li ,
y esta cantidad es cero de acuerdo con (1.54).
c. Coordenadas geodé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 0 donde estos sı́mbolos
sean cero en un punto x0i = 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 0 la
siguiente expansión hasta segundo orden:
1 i
x0i = pi + (xi − q i ) + a (xα − q α )(xβ − q β ). (1.108)
2 αβ
El punto xi = q i en S corresponde a x0i = pi en S 0 . La constante aiαβ es simétrica
en los ı́ndices αβ.
Derivando (1.108) respecto a xj y evaluando en xi = q i se obtiene:
0i
∂x
= δji . (1.109)
∂xj q
∂xi α ∂x
β
δji = + a i
αβ (x α
− q ) . (1.110)
∂x0j ∂x0j
Evaluando (1.110) en xi = q i :
∂xi
= δji . (1.111)
∂x0j q
1. Geometrı́a diferencial /45
Evaluando (1.112) en xi = q i :
∂ 2 xi ∂xβ ∂xα
+ aiαβ = 0;
∂x0j ∂x0k q ∂x0j q ∂x0k q
i
Ası́, si jk 6= 0, es siempre posible encontrar una transformación coordenada
i 0 q i
tal que jk sea cero. Basta con escoger aijk = jk .
p q
La regla de transformación (1.108) es entonces:
1i α
xi = pi + (xi − q i ) + (x − q α )(xβ − q β ). (1.114)
2 αβ q
i 0
El sistema de coordenadas donde todos los jk p
son cero en un punto se llama
geodésico. Nótese que, de (1.31), se concluye que en tal punto xi = q i no cambia el
0
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.
46 / Relatividad general
√
donde Teij = 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
X√
Aei = √gii Ai = 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:
X X p X
T= ai aj Tij = êi êj g ii g jj Tij = êi êj T̆ij ,
ij ij ij
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?
Ante todo, de (1.72) con Ai = DB i /Ds se sigue:
D2 B i D DB i d DB i DB j i dxk
= = +
Ds2 Ds Ds ds Ds Ds jk ds
i k
j
d dB i j dx dB j l dxm i dxk
= + jk B + + lm B jk
.
ds ds ds ds ds ds
Efectuando las derivaciones indicadas, haciendo uso de la ecuación de la geodésica
para eliminar d2 xk /ds2 , factorizando y utilizando la definición (1.91):
i i i k i k
Rimjl = mj − ml ,j + kl jm − kj lm
,l
D2 δxi
= c2 Ri0l0 δxl (1.117)
Dτ 2
Aunque una partı́cula esté en reposo en un sistema en caı́da libre, un par de partı́cu-
las no interactuantes que cae libremente exhibe un movimiento relativo que revela
la presencia de un campo gravitacional para un observador que cae con una de ellas.
Esta 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.117) 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.118)
dt ∂xl
Comparando (1.117) con (1.118) puede establecerse la correspondencia:
1 ∂g i
Ri0l0 ←→ , (1.119)
c2 ∂xl
o, con g i = −∂φ/∂xi , donde φ es el potencial gravitacional:
1 ∂2φ
Ri0l0 ←→ − .
c2 ∂xi ∂xl
Por contracción de i y l:
1 2
− ∇ φ ←→ Ri0i0 = R00 , (1.120)
c2
de modo que el laplaciano del potencial gravitacional newtoniano puede asociarse
a la componente 00 del tensor de Ricci-Einstein. Esta 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.120) 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
único, entonces debe ser rectilı́neo. Resulta ası́ una conclusión sorprendente: la no-
ció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 posi-
ble 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
51
52 / Relatividad general
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 la 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 − r0 M r − r0
• dM
m m
• •
r r0 r r0
a b
O O
que es la ley de Gauss para el campo g(r). Finalmente, el rotacional de (2.3) permite
asegurar que el campo gravitacional es conservativo:
∇ × g = 0, (2.7)
F = mg g.
a0
S S0
•P
r0
R
r
a = a0 + a0 . (2.8)
2. Gravitación /57
F = F0 + 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 = F0 + ma0 .
F0 = m(g − a0 )
S S0
a0 = g
Este es un resultado singular que entrelaza los sistemas de referencia con las
fuerzas ficticias y de gravitación.
El observador S 0 en el caso A considera que el movimiento acelerado de cuerpos
en su sistema de referencia es debido a fuerzas ficticias, aunque también S 0 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 0 con aceleración g tiene la forma:
c2
x0 = x cosh(gt/c) + [cosh(gt/c) − 1]
g
c x
t0 = senh (gt/c) + senh (gt/c)
g c
0 0
y = y, z = z
1
x0 = x + gt2
2
y 0 = y, z 0 = z, t = t
2. Gravitación /59
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 compo-
nentes horizontales que hacen que los cuerpos en caı́da libre se acerquen. Puede de-
mostrarse que la fuerza gravitacional remanente corresponde al gradiente del campo
de gravedad g. Se le conoce como campo de mareas. De hecho, el gradiente del cam-
po de 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
clasificació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
pueden 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 abso-
lutamente 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;
esto 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 sis-
temas 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 rela-
tividad general:
Principio de equivalencia. En cada punto en un campo gravitacional arbi-
trario es posible escoger un sistema de referencia donde el campo se anule en un
punto.
No hay, en general, transformaciones entre sistemas de referencia que anulen
globalmente el campo de gravitación.
Principio de covarianza. Las leyes fı́sicas han de tener la misma forma
matemá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
2. Gravitación /61
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 µ µ
2
+ c2 00 = 0. (2.14)
dt
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:
r̈ = −∇ c2 γ00 . (2.15)
2
2. Gravitación /63
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 g 00 . 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.
64 / Relatividad general
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)
2
= = 0,
dt dt2
y en segundo lugar porque:
0 1 0σ 1
00
= g [00, σ] = g 00 [00, 0] = 0,
2 2
ya que las derivadas temporales de g00 que aparecen en [00, 0] son cero.
dM
m r
r0 θ
R
F Gm
a= = − 2 R̂,
M R
2. Gravitación /65
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 r0 y con la notación de la figura 2.4:
gef (r) = r0 · (∇g(r))r=R = −Gmr0 · (∇ r/r3 )r=R
r0 2 Gmr0
= −Gm · [R I − 3RR] = [3R̂ cos θ − r̂0 ].
R5 R3
66 / Relatividad general
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̂0 :
Gmr0 Gmr0
g= 3
[3R̂ − R̂] = 2 3 R̂,
R R
y en θ = π, con r̂0 = −R̂:
Gmr0 Gmr0
g= 3
[−3R̂ − R̂] = 2 3 (−R̂).
R R
Obsérvese que la intensidad del campo de mareas es proporcional a 1/R 3 .
El gradiente de g contiene términos de la forma ∂gi /∂xj cantidad que de acuerdo
con (1.119) 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̈ − (ẋ ) − rϕ̇2 − 2 ϕ̇ẋ0 = 0, (2.26)
c2 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 0
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.101) escrito en la forma:
1 µ
Gµν = Rµν − δ R,
2 ν
se sigue, por contracción de los ı́ndices µν y con δµµ = 4: G = R − 12 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 primera
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 X ∂Q dxi ∂Q
= + i dt
= + v · ∇Q. (2.44)
Dt ∂t i
∂x ∂t
Dv
= 0,
Dt
74 / Relatividad general
P µ ν
T µν = ρ0 uµ uν + (u u − g µν ) = ρ0 uµ uν + TPµν = T νµ . (2.46)
c2
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
2. Gravitación /75
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.102), 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 demostraremos.
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
para la gravitación newtoniana contiene un solo potencial gravitacional escalar G que
76 / Relatividad general
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 ad-hoc 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ı́:
gµν = ηµν + γµν , de donde g µν = η µν − γ µν ,
como se hizo en la sección 2.4.
Multiplicando (2.50) por g µν , con δµµ = 4, se obtiene R = −KT , con T = Tµµ , lo
que permite escribir (2.50) en la forma equivalente:
1
Rµν = K Tµν − gµν T . (2.51)
2
En forma 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µν ' µσ − µν .
,ν ,σ
Si se considera la métrica independiente del tiempo, entonces:
X3
σ i 1
R00 = − 00 ,σ = − 00 ,i = − γ00 = − ∇2 γ00 .
i=1
2 ,ii 2
78 / Relatividad general
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µν − 21 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.
8πG
Gµν + Λgµν = − Tµν . (2.57)
c2
2. Gravitación /79
v Λc2
Tv00 ' y
8πG
Λc2
T v = T vµ µν v
µ = g Tµν = 4 , se sigue:
8πG
v 1 Λc2
Tv00 − g00 T v ' − ;
2 8πG
puede concluirse que:
Λc2
∇2 G = 4πG ρ0 − ,
4πG
por lo que el vacı́o tiene una densidad de masa efectiva:
Λ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
80 / Relatividad general
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
Duµ µ
u = 0. (2.62)
Ds
Esto significa que, al multiplicar (2.61) por uµ , el último sumando se anula, y en
consecuencia:
(ρ0 uν );ν uµ uµ = (ρ0 uν );ν = 0.
De acuerdo con la última ecuación ρuν , que puede interpretarse como densidad
de momento-energı́a, es una cantidad conservada. Al reemplazar este resultado en
(2.61) se concluye que:
Duµ
= 0, (2.63)
Ds
que, según (1.71) con Aµ = uµ equivale a:
duµ µ ν dxσ
+ νσ u = 0, (2.64)
ds ds
que es la ecuación de la geodésica (2.13). Ası́ pues, un elemento de masa en movimien-
to en un campo métrico se mueve según la regla de inercia (2.63). Esto es, en pre-
sencia de gravitación −vale decir, en un espacio-tiempo deformado por la materia−
una partı́cula se mueve libremente: la gravitación no es una fuerza, es un fenómeno
métrico.
En el espacio-tiempo de Minkowski la expresión T µν;ν = 0 es interpretable como
una ley de conservación. En tal caso es posible utilizar un sistema coordenado
4D en el que los sı́mbolos de Christoffel se anulan en todos los puntos. En un
espacio-tiempo curvo, en contraste, este interactúa con el T µν de los otros campos
de modo que puede esperarse que solo una cierta combinación de T µν y del tensor
momento-energı́a del campo de gravitación se conserve. Estas consideraciones serán
desarrolladas en la sección 2.16.3.
De acuerdo con Einstein, “ la unidad de la inercia y la gravitación está expre-
sada formalmente por el hecho de que todo el primer miembro de (2.64) tiene un
caracter tensorial (respecto a cualquier transformación de coordenadas), pero los
dos términos de dicho miembro considerados separadamente no tienen tal carácter.
82 / Relatividad general
Kµ = −T 0µν;ν ,
φµν = ∂ µ Aν − ∂ ν Aµ . (2.66)
2. Gravitación /83
De esta expresión se sigue que el campo φµν es invariante bajo la siguiente recali-
bración del 4-potencial:
A0µ = 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:
∂µ A0µ = ∂µ Aµ + 2 η = 0. (2.70)
2 Aν = 4πJ ν . (2.71)
cantidad definida
λ como Γλ . Estas 4 condiciones coordenadas no tienen forma co-
variante, pues µν no es un tensor.
84 / Relatividad general
p
En consecuencia, Γλ = 0 equivale a |g|g λν = 0. El nombre de armónica
,ν
para esta condición proviene de que si Γλ = 0, la solución a la ecuación de Laplace
para una función escalar será una función armónica. En efecto, de (1.89) se sigue:
1 hp p i 1 λ
2 φ = p ( |g|g νλ ),ν φ,λ + |g|g νλ φ,λν = p −Γ φ,λ + g νλ φ,λν ,
|g| |g|
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:
Teniendo en cuenta que en (1.98) los productos de sı́mbolos de Christoffel son del
orden de 2 , y por tanto despreciables en primera aproximación, puede escribirse:
µ µ
Rνρ = νµ ,ρ
− νρ ,µ = η µν {[νµ, α],ρ − [νρ, α],µ },
donde se ha hecho la aproximación: g µα [νµ, α] ' η µα [νµ, α], puesto que [νµ, α] es
de orden . Se sigue:
α
Rνρ = {γ − γνα,α ρ − γρα,ν α + 2 γνρ }
2 ( α,νρ )
α 1 α α 1 α 2
= − γνα, − γ α,ν − γρα, − γ α,ρ + γνρ .(2.74)
2 2 ,ρ 2 ,ν
∂x0µ ∂x0ν σρ
g 0µν = g = (δσµ + µ,σ )(δρν + ν,ρ )(η σρ − γ σρ )
∂xσ ∂ρ
' g µν + µ,ν + ν,µ . (2.76)
kν a ν = 0 y kν k ν = 0.
como η0 es arbitrario puede escogerse η0 = a3 /ik, con lo cual: a03 = a00 = 0, a01 = a1
y a02 = a2 . Esto muestra que a1 y a2 no son modificados por la 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 a03 = 0.
Entonces, de (2.81):
σ σ
A0ν = (aν + ikν η0 )eikσ x = (aν + kν a3 /k) eikσ x ; en componentes:
σ
A00 = (a0 + a3 )eikσ x = 0,
σ
A01 = a1 eikσ x ,
σ
A02 = a2 eikσ x ,
σ
A03 = (a3 − a3 )eikσ x = 0.
La componente A01 se convierte en A02 por rotación de 90◦ alrededor del eje z.
Una rotación por un ángulo θ alrededor de la dirección de propagación transforma
los ejes en la forma: x0 = x cos θ + y sen θ y y 0 = −x sen θ + y cos θ. Si se define el
vector de polarización circular ê± en la forma: ê± = ê1 ∓ ê2 , donde ê1 y ê2 van a
lo largo de los ejes x y y, bajo rotación se convierte en:
ψ 0 = 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 significa-
tivas fı́sicamente, las de helicidad cero son eliminables por recalibración.
o también:
a0µν = aµν − i(aµ kν + k µ aν ); (2.85)
µν
reemplazando a de (2.85) en la condición coordenada (2.83) se obtiene:
Es fácil verificar que los 4 coeficientes a000 , a013 , a023 y a033 se anulan si se escogen
a0 = a00 /2ik0 y ai = −ai3 /ik0 . En sı́ntesis, después de la transformación son
diferentes de cero solo a011 , a012 (= a021 ) y a022 (= −a11 = a011 ), que son entonces
los únicos que tienen significado fı́sico, pues son invariantes bajo la transformación
gauge. Hay solo dos coeficientes diferentes: a011 y a012 . Entonces, los elementos de la
0 0
métrica gµν = ηµν + γµν (z, t) de una onda plana de espacio-tiempo son:
0 0 0 0 1 0 0 0
0 −1 0 0 0 a011 a012 0
0
{gµν (z, t)} =
0
+ eik(ct−z)
0 −1 0 0 a012 −a011 0
0 0 0 −1 0 0 0 0
G = −I + [γ11 ê1 ê1 + γ12 ê1 ê2 + γ21 ê2 ê1 + γ22 ê2 ê2 ]eik(ct−z) ,
G = −I + [γ11 (ê1 ê1 − ê2 ê2 ) + γ12 (ê1 ê2 + ê2 ê1 )]eik(ct−z) .
2. Gravitación /91
donde ê± = ê1 ± iê2 . Utilizando (2.82) es fácil ver que ê± ê± se transforma de
acuerdo a la regla:
ê0± ê0± = ê± ê± e∓2iθ ,
lo que implica que una onda gravitacional tiene helicidad ±2. Las demás compo-
nentes, que tienen helicidades ±1 y 0, se han eliminado por transformación coorde-
nada. 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ı́:
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).
92 / Relatividad general
•
• • •
•
+ • • • • • • • • • • a
•
• • •
•
• • •
•
•
•
× • • • • • • • • • • b
•
•
• • •
•
•
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 45 o
i
con γ0µ,σ = γσµ,0 = 0, se sigue: 0σ = 21 γσ i, 0 . Los demás sı́mbolos de Christoffel
son cero. Ası́ pues ẍ0 = 0, de donde ẋ0 = 1, y:
ẍi + γσ i ,0 ẋσ = ẍi + γj i ,0 ẋj = 0,
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)
94 / Relatividad general
que equivale a (2.84) con a0µν = 0. Las ondas gravitacionales anulables por trans-
formaciones coordenadas son ficticias, las no anulables son genuinas.
Ejemplos:
a. La onda analizada en la sección 2.11.4 con componentes no nulas a 11 =
−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: x0µ = 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 = √ ∗0
= γ, (2.93)
g00 dx c
γ dx0 gi0 i γ 1
u0 = ẋ0 = √ = dx ∗0
− dx √
g00 dx∗0 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
2. Gravitación /97
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
redefinición propuesta para el diferencial temporal, con dx∗i = dxi , es una trans-
formació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 0 en movimiento relativo uniforme, es cierto que:
0 1 v∆x
∆t = p ∆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 (ds 2 = −dl2 ) si
dx∗0 = 0.
La distancia infinitesimal entre dos puntos espaciales, determinados simultánea-
mente, se define consecuentemente como:
gi0 gj0
dl2 = −gij∗
dxi dxj = − gij − dxi dxj .
g00
2. Gravitación /99
∗ ∗
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 + 2 2 2
= 1 − ω 2 r2 /c2 dt∗2 − dl2 ,
1 − ω r /c
ωr2 dϕ
dt∗ = dt − .
c2 (1 − ω 2 r2 /c2 )
i ∗ 1 ∗im ∗
jk
= g ∗im [jk, m]∗ = ∗
g (gjm,k + gkm,j ∗
− gjk,m ).
2
∗jk ∗
A partir de 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.
Es posible que aunque un espacio-tiempo sea plano, 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 6= 0.
De la expresión variacional:
Z Z
δ dl = δ gij ∗
dxi dxj = 0,
100 / Relatividad general
s
ν(2) dτ (1) g00 (1)
= = , y ası́ :
ν(1) dτ (2) g00 (2)
s
g00 (1)
ν(2) = ν(1) . (2.98)
g00 (2)
Ejemplos:
1. Un rayo de luz viaja desde la superficie de una estrella de radio R hasta un
observador terrestre (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:
r
2GM GM
ν(2) = ν(1) 1 − 2 ' ν(1) 1 − 2 .
c R c R
Ası́, ν(2) < ν(1), lo que implica que hay un corrimiento al rojo en la luz
detectada. En el caso de la compañ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.
ν(1)
M ν(2)
d mc
(mcgµν ẋν ) − gνσ,µ ẋν ẋσ = 0. (2.101)
ds 2
Por definición, el 4-vector momento canónico covariante es:
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:
E 2 = p 2 c2 + m2 c4 .
λ0 ṙ2 eν−λ 0 0 2
r̈ + + ν (ẋ ) − re−λ (θ̇2 + sen 2 θ ϕ̇2 ) = 0 , con λ0 ≡ dλ/dr,
2 2
comparando con la componente µ = 0 de (2.88) se sigue:
1 λ0 1 eν−λ 0 1 1
11
= , 00 = ν , 22 = −re−λ , 33 = −r sen 2 θ e−λ .
2 2
02 0 0 0
• de R00 = 0 se sigue: ν 00 + ν2 − λ 2ν + 2νr = 0,
02 0 0 0
• de R11 = 0 se sigue: ν 00 + ν2 − λ 2ν − 2λr = 0.
Las dos anteriores son ecuaciones diferenciales acopladadas para ν y λ. Restán-
dolas se obtiene ν 0 + λ0 = 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λ0 d2
λ00 − λ02 + , equivalente a (re−λ ) = 0 , de donde:
r dr2
d
(re−λ ) = E = cte; (2.107)
dr
• de R22 = 0 se sigue:
2 −λ −λ 2 ν0 λ0 2
− csc θ + (re ),1 − 2e + cot θ + + + re−λ = 0,
2 2 r
que da lugar a:
1
−1 + (re−λ ),1 + (ν 0 + λ0 )re−λ = −1 + (re−λ ),1 = 0 , por lo cual:
2
d
(re−λ ) = 1 = E , en acuerdo con (2.107).
dr
Entonces: re−λ = r − α, donde α es una constante de integración. Ası́ pues:
α
e−λ = eν = 1 − ; (2.108)
r
• de R33 = 0 se sigue:
1
sen 2 θ[(re−λ ),1 − 1] + (ν 0 + λ0 )r sen 2 θ e−λ = 0,
2
que se satisface idénticamente si se toman en cuenta (2.107) y (2.108). Es directo
comprobar que Rµν = 0 para µ 6= ν. De este modo quedan conocidos los elementos
del tensor de Ricci-Einstein.
2GM
α= . (2.110)
c2
Utilizando este valor, la métrica de Schwarzschild, para el espacio-tiempo cur-
vado por una masa puntual M toma la forma:
−1
2 2GM 2 2 2GM
ds = 1− 2 c dt − 1 − 2 dr2 − r2 (dθ2 + sen 2 θ dϕ2 ) (2.111)
c r c r
Este último es suficiente para describir la llamada precesión anómala del perihelio
de Mercurio, como se demuestra en el problema 14 del capı́tulo 3 del libro de
Goldstein referenciado en la bibliografı́a.
El que existan componentes no nulas del tensor de Riemann indica que se trata
de un espacio-tiempo intrı́nsecamente curvo. Puesto que es un tensor, no hay sistema
coordenado en el que el espacio-tiempo sea plano. De otro lado, de la forma (2.109)
del elemento de lı́nea y de la forma de las componentes del tensor de Riemann se
sigue que hay singularidades, es decir infinitos, en r = α y r = 0. Sin embargo
es necesario preguntar si en verdad son singularidades fı́sicas o si solo tienen que
ver con la escogencia especı́fica del sistema coordenado. Para dilucidar este punto
conviene estudiar las componentes fı́sicas del tensor de Riemann.
e0101 = − 1 R
R e0202 = 1 R
e0303 = 1 R
e1212 = − 1 R
e1313 = α . (2.113)
2 2 2 2 r3
Es 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
112 / Relatividad general
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.122)
dτ 2 αβ 2 dz α dz β dz dτ
114 / Relatividad general
cuya compatibilidad con (2.120) requiere que se cumplan las dos condiciones:
1 dα mβ 2 1 dα 1 β
= , + = 0. (2.123)
α dz R2 α dz β dz
d
• 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
de modo que la ecuación para µ = 0 corresponde a la conservación de la
energı́a de una partı́cula en un campo de Schwarszchild.
d 2
• ds (r θ̇) − r 2 sen θ cos θ ϕ̇2 = 0, equivalente a:
c2 l2 − ṙ2 h2
(1 − α/r) ṫ = l , r 2 ϕ̇ = h , 1= − 2 , (2.132)
1 − α/r r
h2 u02 = c2 l2 − 1 + αu − h2 u2 (1 − αu).
α 3
u00 + u = 2
+ αu2 (2.134)
2h 2
Una forma, ligeramente diferente, de esta ecuación puede encontrarse en el
tratamiento newtoniano del problema gravitacional, por lo que es pertinente re-
visar este último.
d
• Para θ: dt mr2 θ̇ − mr2 sen θ cos θ ϕ̇2 = 0 , que equivale a:
H = r2 ϕ̇. (2.135)
∂V
m(r̈ − rϕ̇2 ) = − .
∂r
Reemplazando ϕ̇ = H/r 2 , 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
1 1
E= m(ṙ2 + r2 ϕ̇2 ) + V = mv 2 + V.
2 2
2E 2V
u02 + u2 − + .
mH mH 2
118 / Relatividad general
u00 + u = GM /H 2 . (2.138)
1 GM
= + a cos ϕ .
r H2
Ası́ pues, un cuerpo que se mueve en las cercanı́as del Sol describe una cónica. En
particular, la trayectoria de los planetas es elı́ptica.
r2 dϕ r dϕ r
h' = r = vt ,
c dt c dt c
donde vt es la velocidad tangencial del cuerpo de prueba; se sigue entonces que
3u2 h2 /c2 ' 3vt2 /c2 .
En particular, para Mercurio, que es el planeta más veloz, esta fracción tiene un
valor de 7.7×10−8 , lo que revela que el segundo término a la derecha de (2.134) es
bastante más pequeño que el que lo precede. En consecuencia, es posible resolver
(2.134) considerando 32 αu2 como una perturbación. En ausencia de este término la
órbita es una cónica.
Aplicada a este problema, la teorı́a de perturbaciones sugiere considerar u 0 como
la solución al problema no perturbado, vale decir como solución a la ecuación (2.134)
excluyendo el último término. Ha de escribirse entonces, como solución:
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
u00 + u = + αu2 .
2h2 2
En forma concisa:
u00 + u = A + Cu2 , (2.140)
con A = α/2h2 y C = 3α/2. Reemplazando (2.139) en (2.140) se obtiene:
u000 + u0 − A = 0. (2.141)
v 00 + v − Cu20 = 0. (2.142)
u0 = A + B cos ϕ, (2.143)
120 / Relatividad general
Puesto que B(cos ϕ + ACϕ sen ϕ) ' B cos(ϕ − ACϕ), la solución puede aprox-
imarse a:
1 2 B2 B2
u = = A + B cos[(1 − AC)ϕ] + C A + − cos 2ϕ .
r 2 6
cantidad que es mayor que 2π. Esto significa que la 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
a perturbaciones debidas a los otros planetas, ante todo Venus, Tierra y Júpiter.
La precesión observada es ∆φo =5600,73±0,4100 . Restando las precesiones calcula-
da y observada se obtiene 43,11±0,4500 por siglo. La relatividad general, utilizando
(2.144), y teniendo en cuenta que Mercurio realiza 415 revoluciones por siglo, predice
para este planeta una precesión de 43,0300 de arco por siglo.
Para Venus la precesión calculada por la relatividad general es de 8,600 por siglo,
mientras la observada es 8,4± 4,800 . Para la Tierra la predicha es 3,800 mientras
la observada es 5,0± 1,200 . Para el asteroide Ícaro la predicha y la observada son,
respectivamente, 10,300 y 9,8± 0,800 . Como se ve, estos corrimientos son descritos
con muy buena precisión por la relatividad general.
c2 e
l2 − e
h2 u02 − e
h2 u 2 + e
h2 αu3 = 0.
LUZ
r0
r0∗
ϕ
x
y
2δ
d i
LUZ r0∗
ϕ
x
δ δ
a b
4GM
∆= .
c2 r0∗
Para un rayo de luz que pasa rasante a la superficie del Sol (r0∗ es el radio solar)
y en segundos de arco:
∆ = 1,7500 .
Dos expediciones fueron organizadas en 1919, por Arthur Eddington y Frank
W. Dyson, para estudiar desde Brasil y Nueva Guinea el eclipse total de Sol del 29
de mayo. La deflexión, calculada para luz rasante al disco solar (r0∗ = Rsol ) fue de
1,98±0,16 y 1,16±0,40. Las medidas de deflexión de luz de quasares están compren-
didas entre 1,57±0,08” y 1,87±0,3”. A pesar de más de 50 años de observaciones
los errores en las medidas siguen siendo tan altos como al principio. Resultados más
precisos han sido logrados con microondas, caso en el cual es suficiente con esperar
que una radiofuente pase cerca al limbo solar.
4π ν
φµν,µ = J
c
φνρ,µ + φµ,ν,ρ + φρµ,ν = 0,
con φi0 = Ei y φij = −Bk (cı́clico). El campo electromagnético φµν puede obtenerse
del potencial electrodinámico Aµ mediante la regla:
4π ν
φµν;µ = J , (2.151)
c
φνρ;µ + φµν;ρ + φρµ;ν = 0,
φµν = Aν;µ − Aµ;ν .
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 quep se basa el pproblema variacional en
relatividad general, se define en la forma R = −|g|R = −|g|g µν Rµν , donde R es
el escalar de curvatura y |g| es el determinante del tensor 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ı́:
p p h σ ρ σ ρ σ i
σ
R = −|g|g µν Rµν = −|g|g µν µσ − µν + µσ νρ − µν σρ
,ν ,σ
p h σ i p h i
µν σ µν ρ σ ρ σ
= −|g|g µσ ,ν
− µν + −|g|g µσ νρ
− µν σρ
,σ
p h σ i
σ
= −|g|g µν µσ − µν − L,
,ν ,σ
= {C} + {B} − L.
p
donde R y −|g| d4 x son funciones escalares, y por tanto Sg es un escalar. La
variación δ será realizada teniendo en cuenta que δgµν y δgµν,σ se anulan en la fron-
tera del volumen 4D; tal frontera es un volumen 3D con 4-vectores de hipersuperficie
dσµ . Ahora bien, reorganizando (2.152) puede escribirse:
p h ρ σ i
ρ σ
L= −|g|g µν µν σρ
− µσ νρ
= U − V. (2.160)
p p p α
α β α β β
δU = δ µν αβ g µν −|g| = µν δ αβ g µν −|g| + αβ g µν −|g|δ µν
α µν p p
β α
β α p
= µν
δ g −|g|,α + αβ δ µν g µν −|g| − αβ µν δ(g µν −|g|)
α µν p
β αν
p β α p
= µν
δ g −|g| ,α − αβ
δ g −|g| − αβ µν δ(g µν −|g|).
,ν
Para pasar del primer 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 β:
p p β α µν p
β α β α
δV = δ µα νβ g µν −|g| = δ µα νβ
g µν
−|g| + µα
δ νβ
g −|g|
p p β α µν p
β α µν α β µν
= δ µα νβ
g −|g| + δ νβ µα
g −|g| + µα νβ δ(g −|g|)
p p β α p
β α β α
= δ µα νβ
g µν −|g| + δ µα νβ
g µν −|g| + µα νβ δ(g µν −|g|)
p β α p
β α
= 2 δ µα νβ
g µν −|g| + µα νβ δ(g µν −|g|).
h p p i
β α β α
δV = 2 δ µα g µν −|g| νβ − µα νβ δ(g µν −|g|)
β α µν p
+ µα νβ
δ(g −|g|)
p p
β α β α
= 2δ µα g µν −|g| νβ − µα νβ δ(g µν −|g|).
130 / Relatividad general
En consecuencia:
δL = δU − δV
α µν p β p β α p
= µν
δ(g −|g|,α ) − αβ δ(g αν −|g|),ν ) − αβ µν δ(g µν −|g|)
α µν p β α p
+ νµ
δ(g ,α −|g|) + µα νβ δ(g µν −|g|)
p
α β
= µν
− µβ δνα δ(g µν −|g|),α
p
α β β α µν
+ νβ µα
− αβ µν
δ(g −|g|). (2.161)
por lo que:
h β p i
α
δL = µν
− µβ
δνα δ(g µν −|g|)
,α
h β α i p
β α α β µν
+ µβ ,ν
−
µν ,α
+ νβ µα − αβ µν
δ(g −|g|)
h p i p
α β α µν
= µν
− µβ
δ ν δ(g −|g|) + Rµν δ(g µν −|g|),
,α
donde Gµν , de acuerdo con (1.101), 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: Z p
δS = δ(Sg + Sc ) = δ [R − KQ] −|g| d4 x = 0. (2.166)
132 / Relatividad general
Gµν = KAµν .
donde Λ es una constante, se obtiene la 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
2. Gravitación /133
Con un ligero cambio de ı́ndices repetidos y multiplicando por g σν,µ puede escribirse:
p ∂L ∂L ∂L σν
−|g|g σν,µ Gσν = g σν,µ σν
− g ,µ σν + g
∂g σν ∂g ,α ,α ∂g σν,α ,µα
∂L ∂L
= − g σν,µ σν + L,µ = Lδµα − g σν,µ σν (2.170)
.
∂g ,α ,α ∂g ,α ,α
Pero también:
p p p
−|g|g σν,µ Gσν = −|g|g σν,µ gασ gβν Gαβ = − −|g|g σν gαµ,σ gβν Gαβ
p p
= − −|g|gασ,µ Gασ = − −|g|gβσ,µ Gβσ . (2.171)
y reemplazando en (2.168):
p 1 ∂L
−|g| Tµ α + Lδµα − g σν,µ σν = 0,
2K ∂g ,α ,α
2. Gravitación /135
donde se ha definido:
p 1 ∂L
−|g|tµα = Lδµα − g σν,µ . (2.173)
2K ∂g σν,α
Ası́ pues, se ha logrado expresar (2.168) en la forma (2.172) 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.173) no es estrictamente
un escalar, y de que el segundo sumando en (2.173) 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,
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.172) 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.172) sobre el 4-volumen:
Z p Z p
[ −|g|(Tµ α + tµα )],α d4 x = −|g|(Tµ α + tµα ) dσα2
σ
Z 2p
− −|g|(Tµ α ) + tµα ) dσα1
σ1
= Pµ (2) − Pµ (1) , donde:
Z p
Pµ = −|g|(Tµ α + tµα ) dσα
136 / Relatividad general
de donde se sigue:
∂L β ∂Q β
α m,α α
= σν
− σβ
δνα = σν
− σβ
δνα δαρ
∂Qm,ρ ∂Qm,ρ
ρ β
= σν
− σβ
δνρ .
2. Gravitación /137
Cosmologı́a relativista
3.1. Introducción
La relatividad general es una teorı́a que describe la gravitación como un fenóme-
no geométrico en el que el espacio-tiempo es una entidad cuya estructura está de-
terminada 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 nive-
les, 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
139
140 / Relatividad general
d(x2 + y 2 )
2z dz = −d(x2 + y 2 ) , es decir: dz = − .
2(a2 − x2 − y 2 )1/2
con i = 1, 2, 3 y 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 − x k xk
3. Cosmologı́a relativista /143
dr2
dl2 = + r2 (dθ2 + sen 2 θ dϕ2 ). (3.4)
1 − r 2 /a2
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 dl 2 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
144 / Relatividad general
3.2.2.3. Sı́ntesis
En forma compacta los tres casos anteriores se expresan:
dr2 dσ 2
dl2 = 2 2
+ r2 (dθ2 + sen 2 θ dϕ2 ) = . (3.9)
1 − kr /a (1 + kρ2 /4a2 )2
nσ P 0 (x0 + dx0 , xi )
σ
b
a tα
P (x0 , xi )
a b
de donde se concluye que gi0 = 0. Ası́, hasta ahora, el elemento de 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 x 0 ,
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
0
ds2 = (dx0 )2 − dl2 = (dx0 )2 − eG(x ,r)
dσ 2
donde G(x0 , r1 ) = G(x0 , r2 ) + F (r1 , r2 ). Para que esto sea cierto G(x0 , r) ha de
contener aditivamente funciones de x0 y r: G(x0 , r) = g(x0 ) + f (r), por lo cual
F (r1 , r2 ) = f (r1 ) − f (r2 ). El elemento de lı́nea se escribe ahora:
0
ds2 = (dx0 )2 − eg(x )+f (r)
dσ 2 , (3.11)
T 0ij = ai k aj l T kl ,
e y con AA
escrito en forma matricial como T0 = ATA, e = I, se sigue que T0 = T si T
es diagonal (T = αI), con lo cual:
e = αAIA
T0 = ATA e = αI.
R2 (t)
ds2 = c2 dt2 − dχ2 . (3.17)
[1 + ku2 /4]2
y como f 00 − 12 f 02 − 1r f 0 = 0 se sigue:
1 02 1 0 1 1 a
f + f = f 00 + f 0 = ef , de donde:
4 r 2 2 b
1 1 a
e−f f 02 + f 0 = = cte.
4 r b
a −g 3
G1 1 = G 2 2 = G 3 3 = e − g 00 − g 02 ,
b 4
que solo depende del tiempo, como se querı́a demostrar.
La métrica de Robertson-Walker corresponde a un sistema acompañante. Para
i
probarlo basta verificar de (3.17) que 00 = 0; en consecuencia, si ẋi = 0 en algún
instante: i
ẍi + 00 ẋ0 ẋ0 = 0,
de donde se sigue que en cada instante la aceleración es nula: ẍi = 0. Esto significa
que el fluido viaja con la red coordenada.
150 / Relatividad general
cz = HL. (3.20)
∆λ λ0 − λ v L
' = =H , por lo cual:
λ λ c c
v = LH
O •
E
to te
Figura 3.2: La luz emitida por una galaxia en E es recibida por un observador O
3. Cosmologı́a relativista /151
R2 (t)
c2 dt2 = dχ2 = R2 (t) dσ̂ 2
[1 + ku2 /4]2
dσ̂ es una distancia coordenada adimensional definida como dχ/(1 + ku 2 /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:
Z to
dt
σ̂ = c , (3.21)
te R(t)
puede escribirse:
Z to +∆to Z to Z to +∆to Z te +∆te
dt dt dt dt
− =0= − .
te +∆te R(t) te R(t) t0 R(t) te R(t)
Esta expansión es convergente para c(t − to )/Ro 1. Dos cálculos simples son
entonces posibles:
A. Reemplazando (3.24) en (3.21) e integrando se obtiene:
σ̂ ' h. (3.26)
Ro0 R0
cz ' Ro0 σ̂ = (Ro σ̂) = o L = HL.
Ro Ro
si se define la “constante” de Hubble en la forma:
Ro0
H= . (3.30)
Ro
En general, R0 es una función del tiempo como lo es R, tal que H no es una
constante. El valor de H escrito como Ro0 /Ro está evaluado en el instante de ob-
servación, vale decir, en el universo actual. Ası́ pues, según (3.28), 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 Ro0 2 L2 H 2 L2 HL
cz ' HL + (1 + qo ) = HL + (1 + qo ) = HL 1 + (1 + qo ) .
2c Ro2 2c 2c
b2 R2 (t)
ef = , eg =
[1 + kr 2 /4r02 ]2 b2 r02
d P dR3
ρR3 + 2 = 0, que equivale a: (3.35)
dt c dt
dR dρ
+ = 0. (3.36)
R 3[ρ + P/c2 ]
2
B. Gas ideal: P = αρ, de donde: ρR3(1+α/c )
= cte.
8πG 3k
ρ = −Λ + 2 , (3.37)
c2 R
8πG P k
= Λ − 2, (3.38)
c2 c2 R
8πG 3P
ρ + = Λ, (3.39)
c2 c2
8πG P k
2
ρ + 2
= 2. (3.40)
c c R
Este modelo fue propuesto por Einstein en 1917, años antes del descubrimien-
to de Hubble, y está fundamentado en su creencia, en esos años, en un universo
estacionario. Esto precisamente fue lo que motivó la introducción de la constante
cosmológica. De (3.37) y (3.38), con ρ > 0 y P > 0:
3k k
−Λ + >0 y Λ− > 0, de donde:
R2 R2
k 3k
< Λ < 2,
R2 R
de modo que Λ es proporcional al inverso del “radio” al cuadrado del universo,
lo que asegura que la constante cosmológica ha de ser sumamente pequeña y no
importante a nivel del sistema solar.
De (3.40) se sigue que:
kc2
R2 = ,
4πG(ρ + P/c2 )
156 / Relatividad general
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:
p
R ' c/ 4πGρ,
3H 2
ρC = (3.44)
8πG
define la densidad crı́tica, valor cercano a (2,1 ± 0,5) × 10−29 gr/cm3 .
De (3.33) con Λ = 0:
4πG 3P 3R00
2
ρ + 2
=− 2 . (3.45)
c c c R
Puesto que ρ > 0 y P > 0 es cierto que R00 < 0, lo que significa que hay
desaceleración, la 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/c 2 ρ);
eliminando ρ entre (3.41) y (3.45):
De (3.46), en la que R00 < 0, y con (3.47) puede concluirse que D0 > 0:
kc2 + R02 D0 c 2
R00 = − =− < 0. (3.48)
2R 2R2
De (3.45) y (3.48) con P ' 0:
4πG D0 c 2
R00 = − ρR = − , (3.49)
3 2R2
de donde se concluye que ρR3 es constante:
2G 4π 3
D0 = 2 ρR
c 3
R(t)
D0
t
t=τ =0 t = D0 π/c
Figura 3.3: Cambio con el tiempo del radio del universo en un modelo esférico
Con q0 = 1,0 ± 0,5 y H −1 = (5,6 ± 0,6) × 1017 seg se obtiene R0 ' 1026 m. Reem-
plazando en (3.43):
3c2
ρ0 = ρ C + .
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.49), (3.29) y la definición de H:
1 ρ0
q0 = . (3.51)
2 ρC
Para este modelo, propuesto en 1922, k = 0, tal que según (3.47): R 02 = 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.52)
√
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.47) y (3.49) se obtiene q0 = 1/2;
y de (3.51): ρ0 = ρC .
3. Cosmologı́a relativista /159
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
161
162 / Relatividad general
[16] Lass H. , Vector and tensor analysis, McGraw Hill Book Co., Tokyo, 1950.
[17] Mach, E. , The science of mechanics, Open Court Pub. Co., La Salle, Illinois,
1974.
[19] McConnell, A. J. , Applications of tensor analysis, Dover Pub. Inc., New York,
1957.
[21] Moreau, W., Neutze, R., American Journal of Physics, 62 (11), noviembre 1994.
[22] Morse, P. and Feshbach, H. , Methods of theoretical physics, McGraw Hil, New
York, 1953.
[25] Ohanian, H. C., American Journal of Physics Vol 45 No 10, octubre 1977.
[26] Ohanian H. C. and Ruffini R. , Gravitation and space time, W.W. Norton and
Company, New York, 1994.
[27] Phillips, H. B. , Análisis Vectorial, Uteha, México, 1956.
Aceleración fı́sicas, 46
caı́da libre, de, 55 Condición(es)
armónica, 84
Base coordenadas, 83
bilineal, 12 Conexión afı́n, 30
original, 5 Constante
recı́proca, 5, 6 cosmológica, 79
Bianchi, identidad de, 38 Einstein, de, 75
Big-Bang, 159 Contracción de ı́ndices, 15
Birkhoff, teorema de, 110 Convención suma, 5
Coordenadas
Cálculo, variaciones, de, 17 cartesianas, 8
Caı́da libre, 49, 124 curvilı́neas, 4
aceleración de, 55 esféricas, 9
Campo gaussianas, 145
Christoffel, de, 62 geodésicas, 68
cuasi-euclidiano, 63 Correspondencia
débil, 85 principio de, 77
gravedad, de, 49 Corrimiento al rojo, 101, 125, 150, 155
gravitacional, 53
newtoniano, 49 De Sitter
mareas, de, 49, 60, 64 universo de, 159
vectorial, 11 Deflexión de la luz, 121
Carga, gravitacional, 52 Delta
Cavendish, 52 Dirac, de, 54
Christoffel Kronecker, de, 6, 14
sı́mbolo de, 21 Densidad tensorial, 41
sı́mbolos de, 67, 107 Derivada covariante, 25
Cociente,regla del, 16 producto, de un, 28
Coeficientes, métricos, 6 Dı́ada, 12
Componentes Diferencial covariante, 26
covariantes, 46 Dirac, Delta de, 54
163
164 / Relatividad general
flotantes, 10 ficticia, 93
mudos, 5 genuina, 93
repetidos, 5 longitudinal, 88
sub, 5 métricas, 86
super, 5 potencial ficticia, 89
Inercia, ley de, 80 transversa, 88
Intervalo, 7 Operador
Invariante(s), 9, 10 gradiente, 16
volumen, de, 43
Parámetro de desaceleración, 153
Kronecker Perihelio
delta de, 14 precesión del, 118
Kronecker, delta de, 6 Perturbaciones
teorı́a de, 119
Lagrange, ecuación de, 17 Poisson
Laplaciano, 35, 47 ecuación de, 54
Leibniz Potencial
regla de, 28 gravitacional, 49, 54, 63
Levi-Civita métrico, 63
sı́mbolo de, 12 Pound, 102
Ley de Hubble, 150 Precesión
Lorentz perihelio, del, 118
gauge de, 83 Principia, 52
Luminoide, 96 Principio
correspondencia, 77
Métrica, 6 cosmológico, 153
Mareas covarianza, de, 60
campo de, 64 equivalencia, de, 59, 60, 66
Masa variacional, 66
gravitacional, 52, 55 Producto
inercial, 52 cruz, 12
Minkowski diádico, 12
espacio de, 61 escalar, 12
Movimiento doble, 15
inercial, 51 externo, 15
interno, 15
Newton, 52, 55 punto, 12
vectorial, 12
Onda(s)
ecuación de, 54 Rebka, 102
electromagnéticas, 87 Recalibración, 87
gravitacional, 89, 91 Regla
166 / Relatividad general
Temporaloide, 96
Tensor, 12, 13
antisimétrico, 14
componentes fı́sicas, 111
Einstein, de, 41
identidad, 15
isotrópico, 14
momento-energı́a
del campo electromagnético, 74
del fluido, 72
Ricci-Einstein, de, 38
Riemann, de, 66
Riemann-Christoffel, de, 36
simétrico, 14
unidad, 15
Teorı́a unificada, 32