Professional Documents
Culture Documents
RG Garay Notas RELATIVIDAD
RG Garay Notas RELATIVIDAD
Relatividad general
Luis J. Garay
Madrid, 21 de diciembre de 2021
Cap. 1 [v.21.9]; Cap. 2 [v.21.9]; Cap. 3 [v.21.2]; Cap. 4 [v.21.9]; Cap. 5 [v.21.2];
Ap. A [v.21.0]; Ap. B [v.21.7]; Ap. C [v.21.2]; Ap. D [v.21.6]; Bib. [v.21.5].
[v.21.5]
Bibliografía
[HaE73] S.W. Hawking, G.F.R. Ellis, The large scale structure of space-time,
Cambridge University Press, 1973.
[LPP75] A.P. Lightman, W.H. Press, R.H. Price, S.A. Teukolsky, Problem book
in relativity and gravitation, Princeton University Press, 1975.
[MTW73] C.W. Misner, K.S. Thorne, J.A. Wheeler, Gravitation, Freeman and
Co., 1973.
[Bee76] J.K. Beem, Gen. Rel. Grav. 7 (1976) 501. Some examples of incom-
plete spacetimes.
[BrY93] J.D. Brown y J.W. York, Jr., Phys. Rev. D47 (1993) 1407. Quasilo-
cal energy and conserved charges derived from the gravitational
action.
[BS03a] A.N. Bernal, M. Sánchez, Commun. Math. Phys. 243 (2003) 461.
On smooth Cauchy hypersurfaces and Geroch’s splitting theorem.
[Car68] B. Carter, Phys. Rev. 174 (1968) 1559. Global Structure of the Kerr
Family of Gravitational Fields.
[Hay94] S.A. Hayward, Phys. Rev. D49 (1994) 6467. General laws of black-
hole dynamics.
[PeF71] R. Penrose, R.M. Floyd, Nature Physical Science 229 (1971) 177.
Extraction of Rotational Energy from a Black Hole.
[Pen65] R. Penrose, Phys. Rev. Lett. 14 (1965) 57. Gravitational collapse and
space–time singularities.
Índice
A. Topología A:1
Tema 1
Geometría diferencial
1.1.2. Tensores
Comenzaremos definiendo tensores en un punto de la variedad. Un
campo tensorial es un tensor definido en cada punto de la variedad.
1.1.2.1. Vectores
v (α f + βg ) = αv ( f ) + βv (g ), (1.1.2)
e ′µ = e µν e ν , ∂′µ = e µν ∂ν , (1.1.4)
donde
∂x ν
e µν = , (1.1.5)
∂x ′µ
como se puede deducir de su definición (EJERCICIO). Entonces, las compo-
nentes de un vector en dos bases coordenadas diferentes están relacionadas
mediante la expresión (EJERCICIO)
µ ν
v ′µ = ẽ νv , (1.1.6)
donde
µ µ ∂x ′µ
ẽ ν := (e −1 )ν = . (1.1.7)
∂x ν
Los vectores tangentes también reciben el nombre de vectores contrava-
riantes porque sus componentes se transforman con la inversa de la matriz
que caracteriza el cambio de base. De hecho, podemos utilizar esta ley de
transformación para dar una definición alternativa de vector tangente. Un
v ), donde φ es
vector tangente v es una clase de equivalencia de pares (φ,⃗
1.1.2.2. Uno-formas
ω : T p M → R, ω : v ⇝ 〈ω, v 〉. (1.1.12)
〈d f , v 〉 = v ( f ). (1.1.13)
µ
de forma que 〈e ′µ , e ′ν 〉 = 〈e µ , e ν 〉 = δν . Además, es fácil ver que las compo-
nentes de una uno-forma ω en dos bases diferentes están relacionadas por
la expresión (EJERCICIO)
ω′µ = e µν ων . (1.1.15)
En vista de esta ley de transformación, las uno-formas también reciben el
nombre de vectores covariantes , porque sus componentes se transforman
como los vectores de la base de T p M .
µ ···µ
• Dado un tensor T de componentes T 1 rν1 ···νs , definimos su
contracción con respecto a los primeros índices como el tensor
R de componentes
En efecto,
1.1.3.2. Difeomorfismos
Es lineal.
Lξ (T ⊗ S) = Lξ T ⊗ S + T ⊗ Lξ S. (1.1.32)
Lξ f = ξ( f ), (1.1.33)
µ
E JERCICIO : Demostrar que, bajo cambios de base e ′µ = e µν e ν , e ′µ = ẽ ν e ν ,
µ µ µ
donde ẽ ν = (e −1 )ν , las componentes Γ νρ de la conexión ∇ se transforman
de la siguiente manera:
µ µ β γ α µ β ¡ α¢
Γ′ νρ = ẽ α e ν e ρ Γ βγ + ẽ α e ν e β e ρ . ♦ (1.2.4)
˜ µ )ων = −C ρ ˜ µ )v ν = C νµρ v ρ ,
(∇µ − ∇ µν ωρ , (∇µ − ∇ (1.2.5)
ρ ρ ρ
donde C µν =Γ µν − Γ̃ µν , tiene la ley de transformación tensorial adecuada.
E JERCICIO : Encontrar la expresión de las componentes de ∇T , donde T
es un tensor cualquiera. ♦
Diremos que una conexión afín es simétrica si y solo si sobre funciones
f actúa de forma simétrica (torsión nula ): ∇µ ∇ν f = ∇ν ∇µ f .
(Lv w )µ = [v , w ]µ = v ν ∇ν w µ − w ν ∇ν v µ .
.
= v ν ∂ν w µ − w ν ∂ν v µ ♦ (1.2.6)
1.2.2.1. Geodésicas
3
La existencia de una conexión permite definir entornos normales, como acabamos
de ver, y estos a su vez garantizan la paracompacidad de M (ver, por ejemplo, referencia
[HaE73]).
donde R µνρ σ son las componentes de un tensor de tipo (1, 3), llamado tensor
de Riemann .
A partir de la actuación de ∇µ ∇ν −∇ν ∇µ sobre el escalar v µ ωµ , es posible
comprobar (EJERCICIO) que
µ
a µ = t ρ ∇ρ (t ν ∇ν z µ ) = −R ρνσ z ν t ρ t σ . (1.2.12)
Esta ecuación nos dice que la condición necesaria y suficiente para que dos
geodésicas inicialmente paralelas permanezcan paralelas (no se aceleren
relativamente) es que el tensor de Riemann se anule. Diremos que una
conexión es plana si y solo si su tensor de Riemann se anula en toda la
variedad.
El tensor de Riemann también determina cuándo el transporte paralelo
de un vector es independiente del camino elegido, en regiones suficien-
temente pequeñas. Equivalentemente, determina cuándo, al transportar
paralelamente un vector v a lo largo de una curva cerrada γ suficiente-
mente pequeña, el vector no cambia. Sean y µ (t ) tales que y µ (0) = y µ (1) las
coordenadas de la curva cerrada γ. Entonces se verifica (EJERCICIO) que
1
Z 1
. µ¯
∆v µ = v µ (1) − v µ (0) = R σρν ¯γ(0) v ν (0) y [ρ ẏ σ] d t . (1.2.13)
2 0
1.3.1. Métrica
Una métrica g en una variedad diferenciable M es un campo tenso-
rial simétrico suave doblemente covariante (es decir, de tipo (0, 2)). Sus
componentes en una base coordenada {e µ } son g µν = g (e µ , e ν ), es decir,
g = g µν dx µ ⊗ dx ν . También utilizaremos la notación ds 2 = g µν dx µ dx ν para
representar al tensor métrico, donde ds 2 recibe el nombre de elemento de
línea .
Definimos la norma del vector v como
q
|g µν v µ νν | (1.3.1)
g µν v µ w ν
cos α = q . (1.3.2)
|g ρσ v ρ v σ ||g βγ w β w γ |
futuro
pasado
ρ . 1
Γ µν = g ρσ (∂µ g νσ + ∂ν g µσ − ∂σ g µν ). (1.3.4)
2
Esta conexión es la única solución de la ecuación ∇µ g νρ = 0.
E JERCICIO : Demostrar que la norma y ángulo entre dos vectores se preser-
van al transportarlos paralelamente con la conexión de Levi-Civita. Como
consecuencia, las geodésicas tienen siempre un género bien definido. ♦
dim(M ) n>4 4 3 2 1
Riemann n 2 (n 2 − 1)/12 20 6 1 0
Ricci n(n + 1)/2 10 6 1 0
donde y(t ) son las coordenadas de γ(t ) e ẏ(t ) las componentes de su vector
tangente. Esta longitud es independiente de la parametrización como es
inmediato comprobar. Si la curva es de género luz su longitud es nula. Si la
curva es de género tiempo, utilizaremos el término tiempo propio τ en vez
de longitud l .
Veamos ahora qué curvas hacen que la longitud (o el tiempo propio)
entre dos puntos sea estacionaria. Para ello basta con calcular la variación
de la longitud l bajo pequeñas deformaciones de la curva sin que se vean
afectados los puntos extremos. El resultado es (EJERCICIO) que la curva para
la que la longitud es estacionaria satisface la ecuación
. d
ẏ ν ∇ν ẏ µ = ẏ µ log || ẏ||. (1.3.13)
dt
Esta es la ecuación de una curva geodésica en términos de un parámetro no
afín. Una reparametrización adecuada la convierte en una parametrización
geodésica.
E JERCICIO : Demostrar que lasR geodésicas son curvas que hacen estacio-
.
naria la acción S = 0 dt ||v ||2 = dt |g µν ẏ µ ẏ ν |. ♦
R1
1.3.4. Isometrías
v ν ∇ν (ξµ νµ ) = v µ νν ∇ν ξµ + ξµ νν ∇ν v µ = 0. (1.3.15)
∇µ ∇ν ξρ = R ρνµ σ ξσ . (1.3.16)
Conocidas las n componentes del vector de Killing ξµ y las n(n −1)/2 compo-
nentes de su derivada covariante ∇µ ξν (por ser vector de Killing es antisimé-
trica) en un punto, podemos conocer el vector de Killing en toda la variedad
mediante integración de estas ecuaciones. El número total de isometrías
es precisamente la dimensión del espacio de condiciones iniciales que es
n + n(n − 1)/2 = n(n + 1)/2.
1.3.5. Hipersuperficies
1.3.5.1. Embebimientos
Así, los índices latinos se bajan y suben con la métrica inducida h i j y con su
inversa h i j , mientras que los griegos se bajan y suben con la métrica g µν y
su inversa g µν . Aunque el push-forward de tensores covariantes no está bien
definido, si lo está el de los tensores contravariantes. Podemos calcular el
push-forward de la inversa de la métrica inducida h i j . Si denotamos con el
mismo símbolo h a dicho push-forward, sus componentes contravariantes
son
µ
h µν = h i j E i E j ν , (1.3.19)
que no coincide con la inversa de la métrica g µν . Este tensor proyecta ten-
sores arbitrarios en tensores tangentes a la hipersuperficie θ(S ). En efecto,
n µ h µν = 0 y, por tanto, la contracción de h con todos los índices de cualquier
tensor proporciona otro tensor que es aniquilado por la normal n. Por tanto,
es fácil ver (EJERCICIO) que
h µν = g µν − vn µ n ν , (1.3.20)
donde n µ n µ = v = ±1.
Puesto que el pull-back de tensores covariantes está bien definido, da-
do un tensor espaciotemporal cualquiera T , utilizaremos la notación de
índices latinos para denotar la proyección y posterior pull-back sobre la
hipersuperficie embebida de su versión covariante y lo representaremos con
µ
el mismo símbolo T . Por ejemplo, T i j = Tµν E i E j ν . Por otro lado, puesto
que el push-forward de tensores contravariantes está bien definido, dado
un tensor R sobre la hipersuperficie S , definiremos su push-forward como
aquel tensor espaciotemporal R cuyas componentes contravariantes son
µ
R µν = R i j E i E j ν y que es, obviamente, normal a S , es decir R µν n µ = 0.
La métrica inducida h define una conexión D compatible con ella que
resulta ser el pull-back de la proyección de la derivada covariante en M .
Recordemos que solo podemos calcular el pull-back de tensores covariantes
y el push-forward de tensores contravariantes. Por tanto, la definición de
conexión inducida deberá llevarse a cabo en estos términos. Comencemos
con la definición de D actuando sobre uno-formas v i .
Di v j := v j ∥i := h j k ∇i v k
µ ρ¢
= E i E j ν g νρ ∇µ v k E k .
¡
(1.3.21)
D i v j = q j k Di v k , (1.3.23)
1.3.6. Integración
0 ≤ ρ α ≤ 1.
4
Diremos que un atlas es localmente finito si y solo si cada p ∈ M tiene un abierto que
tiene intersección no vacía solo con un número finito de cartas.
dv = dn x |g|1/2 . (1.3.28)
supongamos que M se puede cubrir con una sola carta (el caso general se
puede obtener mediante el uso de una partición de la unidad). Entonces,
haciendo uso del ejercicio 1.6,
Z Z Z
µ µ .
n 1/2
dn x ∂µ w µ |g|1/2 .
¡ ¢
dv ∇µ w = d x |g| ∇µ w = (1.3.29)
M φ(M ) φ(M )
yi θ1
θ1 (∂M )
θλ (∂M )
θλ
θλ′ (∂M )
θ0 (∂M )
θλ′
xi x1
∂M θ0 M
Antes de continuar notemos que, para variedades sin frontera, esta integral
se anula y que la frontera de una variedad no tiene frontera, es decir, que
∂∂M = ;. Por tanto, el primer término se anula. El segundo término es la
integral de una derivada por lo que obtenemos
Z Z ¯1
µ .
dv ∇µ w = dn−1 y w 1 |g|1/2 ¯ . (1.3.31)
¯
M ∂φ(M ) 0
. .
ver (EJERCICIO) que |g| = |g 11 |−1 |h| y que w 1 = |g 11 |1/2 n µ w µ , por lo que
Z Z Z
µ µ
dv ∇µ w = n−1
d y |h| 1/2
nµ w = dσ n µ w µ , (1.3.32)
M ∂φ(M ) ∂M
1.4. Ejercicios
1.1 Sea M una variedad n-dimensional.
1.2 Demostrar que una base del espacio tangente es coordenada si y solo si
sus vectores conmutan.
1.3 Encontrar los símbolos de Christoffel para una métrica arbitraria en una
base coordenada en la que esta es diagonal.
.
a) ∂µ g νρ = −g νσ g ρλ ∂µ g σλ ,
µ . 1
b) Γ µν = ∂ν (log |g|),
2
µ .
c) g νρ Γ νρ = −|g|
−1/2
∂σ (|g|1/2 g µσ ),
.
d) ∇µ ξµ = |g|−1/2 ∂µ (|g|1/2 ξµ ),
. ρ
e) ∇ν Tµ ν = |g|−1/2 ∂ν (|g|1/2 Tµ ν ) − Γ µν Tρ ν .
1.14 Demostrar que los vectores de Killing ξ satisfacen las siguientes pro-
piedades:
a) ∇µ ξν + ∇ν ξµ = 0,
b) ∇µ ∇ν ξρ = −R νρµσ ξσ ,
ρ
c) ∇µ ∇µ ξν = −R ν ξρ .
u µ u µ = −1, ∇ν u µ = −a µ u ν , ∇[µ a ν] = 0.
Tema 2
V ′0 = ẽ 0µ V µ = ẽ 00 ̸= 1, V ′i = ẽ i µ V µ = ẽ i 0 V 0 ̸= 0.
′ ′ ′
(2.1.1)
ẋ ν ∇ν ẋ µ = f µ /m, (2.1.4)
2
Las extensiones analíticas máximas no son necesariamente únicas (ejemplo: Taub-
NUT). Ver, por ejemplo, la referencia [HaE73].
2.3.1. Postulados
Estos principios nos hacen considerar la posibilidad de que los campos
materiales puedan estar descritos por los mismos tensores que en rela-
tividad especial, si bien sus ecuaciones dinámicas se verán modificadas
para acomodarse a un espaciotiempo curvo de la siguiente manera (acoplo
mínimo ): el tensor métrico plano η es sustituido por g y la conexión de Levi-
Civita plana compatible con η es sustituida por la conexión de Levi-Civita
compatible con g . Es importante notar que esta regla posee ambigüedades
que deben ser resueltas por otros medios. Estas son las ideas subyacentes
en la descripción de los campos materiales que se da a continuación.
Los campos materiales, que denotaremos genéricamente por ψ, deben
satisfacer los siguientes postulados:
Postulado (i): Causalidad local. Las ecuaciones de movimiento que
gobiernan la evolución de los campos materiales han de ser tales que, dados
dos puntos de un abierto convexo, se pueda enviar una señal entre ellos si
y solo si se pueden unir mediante una curva causal , es decir, cuyo vector
tangente no es espacial en ningún punto.
La causalidad local separa el tensor métrico de cualquier otro campo,
proporcionándole su carácter geométrico. En efecto, estudiando qué puntos
pueden comunicarse con un punto p dado, es posible determinar el con-
junto de vectores nulos de T p M . Entonces, la métrica se puede determinar
salvo un factor conforme (EJERCICIO). Además, las relaciones causales deter-
minan la topología de la variedad diferenciable M (sin demostración, ver
[HaE73]). El factor conforme queda determinado por el postulado siguiente.
Postulado (ii): Conservación local de la energía y del momento. Las
ecuaciones de movimiento de los campos materiales son tales que existe
un tensor simétrico Tµν , el tensor de energía-momento , construido a partir
de los campos, de sus derivadas covariantes y de la métrica, tal que su
divergencia es nula, es decir,
∇ν T µν = 0. (2.3.1)
dv ∇µ (T µν ξν ) − ∇µ T µν ξν .
£ ¤
= (2.3.8)
M
∂L̃ M ∂L M ∂(dv)
Z Z ³ ´
δS M = d4 x δg µν = dv + L M δg µν . (2.3.10)
∂g µν ∂g µν ∂g µν
∂(dv) 1 ∂g −1 1
= g dv = g µν dv. (2.3.11)
∂g µν 2 ∂g µν 2
∂L̃ M ∂L M
T µν = 2|g|−1/2 =2 + L M g µν , (2.3.13)
∂g µν ∂g µν
∂L̃ M ∂L M
Tµν = −2|g|−1/2 µν
= −2 µν + L M g µν . (2.3.14)
∂g ∂g
∇µ ∇µ φ − m 2 φ = 0, (2.3.15)
u µ ∇µ ρ + (ρ + p)∇µ u µ = 0, (2.3.22)
(ρ + p)u ν ∇ν u µ + g µν + u µ u ν ∇ν p = 0.
¡ ¢
(2.3.23)
nT δS = δρ − (p + ρ)δn/n. (2.3.24)
Esta ecuación nos indica que la entropía del fluido se conserva si el flujo de
partículas nu µ se conserva.
La segunda ecuación es realmente una ecuación de movimiento que
relaciona la aceleración ∇u u del fluido con los gradientes de presión que se
comportan como campos de fuerzas y que son espaciales.
Consideremos ahora un fluido compuesto por granos de polvo, es decir,
por partículas libres que no interaccionan entre sí, lo que significa que están
libres de choques y de movimientos aleatorios. Tal fluido tiene presión nula
y sus ecuaciones de movimiento se reducen a
∇µ (ρu µ ) = 0, u ν ∇ν u µ = 0. (2.3.26)
A los dos postulados que vimos en la sección anterior, que hacían referen-
cia a la naturaleza de los campos materiales (causalidad local y conservación
local de la energía y del momento), podemos añadir el tercero que dicta
las leyes dinámicas del campo gravitatorio. Los tres postulados definen la
teoría general de la relatividad .
Postulado (iii): Ecuaciones de campo. Las ecuaciones de Einstein
G µν = 8πGTµν (2.4.1)
1 1
Z Z
µν ρ
′
δS G = dv G µν δg + dσ n [ρ g µν δΓ µ]ν . (2.4.9)
16πG M 8πG ∂M
1 1
Z Z
SG = dv R + dσ K . (2.4.13)
16πG M 8πG ∂M
K µ := ∇
¡ µ ν
˘ν ∇ ˘ ν A µ = 0.
˘ A −∇
¢
(2.4.15)
K 0 = −∇
˘i ∇˘ 0 Ai + ∇
˘ i A 0 = 0,
¡ ¢
(2.4.16)
Ki =∇
˘i∇ ˘i∇
˘ 0 A0 + ∇ ˘ j A j − □A i = 0. (2.4.17)
2.5. Ejercicios
2.1 Demostrar que, si conocemos el cono nulo, podemos determinar el
tensor métrico salvo un factor conforme.
R R
2.7 Demostrar que, sobre soluciones clásicas, 2δ M dv R = −δ ∂M dσ K
bajo variaciones de la métrica que se anulen en la frontera.
Tema 3
Notemos que esta última condición implica que el tensor de Weyl se anula
en el infinito conforme.
E JERCICIO : Demostrar que, si σ es el parámetro afín de una geodésica nula
y σ̃ la de su imagen mediante una compactificación conforme, entonces la
relación entre ambos parámetros es
dσ̃ = Ω2 dσ. ♦ (3.1.1)
i+ r′ = 0
ũ, u ′ = const.
′
I+ t = const.
i0
I−
ṽ, v ′ = const.
r ′ = const.
−
i
CH + (S ) ◦
t D + (S )
S
x ◦ D − (S )
CH − (S )
◦
3.4. Horizontes
1
κ2 = − (∇µ ζν )(∇µ ζν )|N . ♦ (3.4.2)
2
ẍ + a 2 x ṫ 2 = 0, (x 2 ṫ )· = 0, ẋ/x = ±a ṫ , (3.5.2)
i+
x′ = 0
I+ x =0
I+
ũ ṽ
N +
i L0 i R0
x = const.
N − (órbita de ∂t )
I−
I−
x ′ = const.
(órbita de ∂t ′ )
i−
∂t = a(−u ′ ∂u ′ + v ′ ∂v ′ ), (3.5.6)
∂t 1 1
w= = ∂t = (−u ′ ∂u ′ + v ′ ∂v ′ ), (3.5.7)
|∂t | ax 0 x0
1 1
a = ∇w w = 2 (u ′ ∂u ′ + v ′ ∂v ′ ) = ∂x . (3.5.8)
x0 x0
1
u µ A µν = u µ ∇ν u µ = ∇ν (u µ u µ ) = 0, u ν A µν = u ν ∇ν u µ = 0, (3.6.2)
2
µ µ
por tratarse de una congruencia geodésica. Sea h ν = δν + u µ u ν el tensor de
proyección en el subespacio tangente espacial ortogonal a la velocidad del
flujo u.1 Puesto que A no tiene proyección sobre u, satisface que
ρ
A µν := h νσ h µ ∇σ u ρ = ∇ν u µ . (3.6.3)
Expansión: θ = h µν A µν = ∇µ u µ .
u ρ ∇ρ A µν = u ρ ∇ρ ∇ν u µ = u ρ ∇ν ∇ρ u µ + R ρνµσ u ρ u σ
= ∇ν (u ρ ∇ρ u µ ) − ∇ν u ρ ∇ρ u µ + R ρνµσ u ρ u σ (3.6.6)
θ̇ = −∇µ u ρ ∇ρ u µ − R µρ u µ u ρ . (3.6.7)
3.7. Singularidades
Es globalmente hiperbólico.
Más aún, bajo estas condiciones, al menos una geodésica nula, inextensible,
dirigida hacia el futuro y ortogonal a la superficie atrapada tiene un longitud
afín inferior a 2/|θ0 |, donde θ0 < 0 es el mayor valor (menor en módulo) de
la expansión de las geodésicas nulas entrantes y salientes en la superficie
atrapada.
Demostración. Para demostrarlo, aceptaremos las hipótesis del teorema
y su antítesis, es decir, que todas las geodésicas nulas son completas y que,
en particular, las ortogonales a la superficie atrapada tienen longitud afín
mayor o igual que 2/|θ0 |.
Consideremos los dos subconjuntos de puntos que están a una distancia
afín de la superficie atrapada T menor o igual a 2/|θ0 | a lo largo de las
geodésicas nulas salientes y entrantes perpendiculares a la misma. Cada
uno de estos conjuntos es compacto por ser homeomorfos al conjunto
compacto T × [0, 2/|θ0 |] y, por tanto, también lo es su unión N .
tiempo
ψ[∂I + (T )]
I + (T )
T
∂I + (T )
→
t
Ω→0
1 + tanh t
Ω(r, t ) = 1 − . (3.7.1)
2 cosh r
3.8. Ejercicios
3.1 Demostrar que, si σ es el parámetro afín de una geodésica nula y σ̃ la de
su imagen mediante una compactificación conforme (g̃ = Ω2 g ), entonces
la relación entre ambos parámetros es dσ̃ = Ω2 dσ.
Tema 4
Colapso gravitatorio
α[1 − 2Gm/r ] > 0 que garantiza que la métrica tenga signatura lorentziana y
h(r ) = r ó h(r ) = constante.
Esta ecuación nos dice cuál es el gradiente de presión necesario para com-
pensar el campo gravitatorio y mantener así el fluido en un estado estático.
Las componentes diagonales temporal y radial de las ecuaciones de
Einstein son
m ′ = 4πr 2 ρ, (4.1.6)
α′
2Gm + 8πGr p 3
= . (4.1.7)
α r (r − 2Gm)
α′ 2Gm
m ′ = 0, = , (4.1.9)
α r (r − 2Gm)
vemos que una de las constantes de integración, m(0), debe anularse para
no tener una singularidad cónica, es decir, para que el área de una pequeña
esfera centrada en el origen sea 4π veces el cuadrado del radio geodésico
(EJERCICIO).
En general, dada la presión central p c = p(0) y la correspondiente den-
sidad ρ c , estas dos ecuaciones (4.1.6) y (4.1.11) se pueden integrar hasta
llegar al radio R en que la presión se anula, es decir hasta la superficie de
la estrella, y ahí empalmar con la solución exterior. Las condiciones de pe-
gado exigen que la constante M de la solución exterior sea M = m(R) y
que la función α en el interior, definida por la componente radial de las
ecuaciones de Einstein (4.1.7) salvo una constante de integración, satisfaga
α(R) = 1 − 2GM /R.
cuya masa es superior a unas pocas veces la del Sol, son incapaces de generar
presiones que compensen el campo gravitatorio.
Para construir un modelo sencillo de colapso gravitatorio esféricamente
simétrico consideraremos una bola de polvo, sin presión, que colapsa bajo
su propio campo gravitatorio. La razón de ignorar la presión es que su
único papel desde el punto de vista cualitativo es frenar y evitar el colapso
para estrellas cuya masa está por debajo del límite de inestabilidad. Este
modelo constituyó el primer modelo de colapso gravitatorio, propuesto por
Oppenheimer y Snyder en 1939 [OpS39].
En ausencia de presión, las partículas de polvo de la superficie de la
estrella seguirán geodésicas temporales de la métrica que, en esa superficie,
es la métrica de Schwarzschild, debido a las condiciones de pegado. Las
geodésicas temporales en la dirección radial obedecen la ecuación
r0 r0
r
dr r 4GM h³ r 0 ´3/2
Z Z i
τ= = dr = − 1 < ∞. (4.1.17)
2G M |r˙| 2G M 2G M 3 2G M
cos ũ cos ṽ
ds 2 = Ω−2 ds̃ 2 , Ω= p , (4.2.5)
1 + 2G|M |/r
r 2 cos2 ũ cos2 ṽ
ds̃ 2 = −(4GM )2 dũdṽ + dΩ22 , (4.2.6)
1 + 2G|M |/r
donde r = r (ũ, ṽ) está definido implícitamente por los cambios de coorde-
nadas anteriores.
Estamos en la misma situación que en el espacio de Minkowski salvo por
el factor singular 1 + 2G|M |/r . Por tanto, el diagrama de Penrose de este es-
paciotiempo (figura 4.1) es igual al del espacio de Minkowski (figura 3.1) con
la importante diferencia de que r = 0, que corresponde a ũ = ṽ, es una singu-
laridad de curvatura: el escalar R µνρσ R µνρσ se hace infinito (EJERCICIO). El
cierre de la intersección del pasado causal del infinito futuro nulo con todo
el espaciotiempo M ∩ J − (I+ ) es todo el diagrama de Penrose. Esta región,
no admite ninguna superficie de Cauchy. En efecto, cualquier superficie de
Cauchy putativa que tomemos irá desde i 0 hasta la singularidad r = 0 (como
las curvas t = constante en la figura 4.1) pero su dominio de dependencia
solo cubrirá la región que está a la derecha de la curva ũ = constante que
pasa por la intersección de la superficie de Cauchy putativa con la singu-
laridad. Por tanto, este espaciotiempo no es fuertemente asintóticamente
predecible y r = 0 es una singularidad desnuda.
i+ r = 0
ũ = const.
I+ t = const.
i0
I−
ṽ = const.
r = const.
i−
donde
x r
:= − 1. (4.2.10)
2G M 2G M
Puesto que v es constante, podemos escribir
singularidad r = 0 v′
u′ i+ i+
M
r =0
r =const. r =const.
2G
I+ I+ t =const.
=
H− H+
,r
∞
II H+
+
II
t=
IV I i0 IV I i0
t =const. t=
III −
∞ III
H−
,r
I− H+ I−
=
2G H−
M
r =0 r =const.
singularidad r = 0 i− i−
4GM tan ũ = u ′ , 4GM tan ṽ = v ′ , −π/2 < ũ, ṽ, ũ + ṽ < π/2, (4.2.19)
Σ = r 2 + a 2 cos2 θ, ∆ = r 2 + a 2 − 2GM r.
i+
singularidad
anular, r = 0
I+ I+
CTCs
i0 r <0 r >0 i0
I− I−
i−
Figura 4.3: Diagrama de Penrose para la solución de Kerr con GM < a para
θ = 0, π/2.
r∗
0 r− r+ r
Notemos que los ceros r ± de ∆(r ) son también los únicos ceros de h(r ).
Introduzcamos la coordenada radial r ∗ mediante la ecuación dr ∗ = dr /h(r )
cuya solución es
h(r )
ds 2 = Ω−2 ds̃ 2 , Ω−2 ∝ , (4.3.21)
sen(2ũ) sen(2ṽ)
donde h(r ) está definido en (4.3.13), lo que nos proporciona el diagrama de
Penrose de la región r > r − mostrado en la figura 4.5a. En cada una de las
cuatro regiones de esta figura, podemos definir r > r − mediante la expresión
(4.3.19) y la coordenada t mediante la fórmula
t=
r−
@ @
∞
=
u′ v′ ū ′ H+ H− v̄ ′
,r
,r
@ @
=
∞
r−
CH + CH +
−
I
@ t= @ @
I @
@ @ @ @
i+ @i + i− @i −
II III′
t=
∞
t=
@ @ @ @
∞
=
I+
−
@ I+
,r
CH −
,r
I+
∞
@ + @ @ −
H
@ CH
r+
+
=
−
∞
H @
,r
∞
−
@ r <0 r <0
@
=
,r
t=
r+
∞
@ t= @ @ @
r =0
r =0
i0 IV
@ I
@ i0 i0 VI
@
V
@ i0
@ @ @ +
@
CH
t=
t=
r+
@ H− @ CH +
∞
@ I− H+ I−
=
@
−
∞
=
I−
∞
,r
−
,r
,r
I@
,r
@ @ @
∞
∞
=
t=
−
∞
@ @ @ @
r+
t=
i−
@ III
@i− @i+ II
@ i+
@ @
t=
r−
@ CH − CH − @
∞
,r
@
∞
=
−
r−
@ @
t=
@ @
III′
V
VI
II
IV
I
Σ
III
Figura 4.7: La historia infinita de una partícula que viaja desde i − hasta
i + es vista en tiempo finito por un observador que alcanza el horizonte de
Cauchy CH + debido a la acumulación de geodésicas nulas en las inmedia-
ciones de este.
Luego, en la región exterior I, la distancia afín entre dos geodésicas nulas en-
trantes se hace arbitrariamente grande cuando nos acercamos a I+ , debido
a la compactificación del diagrama.
En la región II, ṽ → π/2 indica que las geodésicas están cerca del hori-
zonte de Cauchy CH + y que, por tanto, r → r − . Teniendo en cuenta que
h(r ) → r − r − → 0 cuando r → r − , vemos que
r − r−
Ω−2 (ũ II , ṽ) ∼ cuando ṽ → π/2. (4.3.27)
sen(2ṽ)
como es fácil ver a partir de la ecuación (4.3.19). Por lo tanto, vemos que
r − r − ∼ (u ′ v ′ )−r + /r − y que el factor conforme se comporta de la siguiente
forma cuando ṽ → π/2:
Esto indica que una perturbación de baja energía en la región exterior su-
frirá un desplazamiento al azul infinito en CH + , es decir, se convertirá
en una perturbación de energía infinita. Esto podría hacer pensar que las
I+
r =0
i+
i0
r <0 H+ I+
I− H+
i0
I−
i−
En efecto, el cuadrado de ξ = ∂t es
2G M r
ξ2 = g t t = −1 + . (4.3.30)
r 2 + a 2 cos2 θ
La condición para que, fuera
p del horizonte de sucesos, es decir, para que en
la región r > r + = GM + (GM )2 − a 2 , el Killing ξ sea de género tiempo es
p
r > r e (θ) := GM + (GM )2 − a 2 cos2 θ. (4.3.31)
mismo sentido que el agujero negro (ver figura 4.9). En efecto, la velocidad ẋ
de cualquier curva temporal tiene obviamente cuadrado negativo, es decir,
g µν ẋ µ ẋ ν < 0. (4.3.32)
−m 2 = g t t E 2 − 2g t φ E p φ + g φφ p φ2 . (4.3.33)
Si tenemos en cuenta que g t t < 0 como ya hemos visto, que g t φ < 0 como
es fácil de comprobar, y que en la zona asintótica E = m, podemos resolver
esta ecuación para obtener
q
|g t t |E = |g t φ |p φ + (g t φ p φ )2 + |g t t |(g φφ p φ2 + m 2 ). (4.3.34)
Por tanto, podremos tener energías negativas en trayectorias tales que p φ < 0
y que g φφ p φ2 < −m 2 . Puesto que g φφ tiene el mismo signo que −g t t como
es fácil de comprobar y que, en la ergosfera es negativo, esta condición se
traduce en p φ < −m|g φφ |−1/2 , que es fácil de cumplir. Se puede encontrar
un estudio más detallado en la referencia [PeF71].
La cantidad de energía que se puede extraer de un agujero negro está
limitada por la segunda ley de la dinámica de agujeros negros, según la
cual el área de un agujero negro no puede decrecer (ver § 4.4.4). Sin em-
bargo, no es necesario recurrir al teorema de las áreas para este proceso,
ya que como vamos a ver, la naturaleza del mismo hace que el área crezca.
En efecto, para cualquier partícula de momento p que caiga libremente al
µ
agujero negro, la cantidad p µ χ+ es conservada, ya que χ+ es un vector de
Killing. Además este vector es nulo y dirigido hacia el futuro en el horizon-
µ
te por lo que p µ χ+ < 0 (el producto de un vector de género tiempo y otro
nulo, ambos dirigidos hacia el futuro, es siempre negativo). Por otro lado,
µ
p µ χ+ = p µ ξµ +ΩH p µ ψµ = −E +ΩH L, donde E y L son la energía y el momen-
to angular de la partícula. Cuando esta partícula cae al agujero negro, este
adquirirá una masa δM = E y un momento angular δJ = L, relacionados por
µ
δM > ΩH δJ , ya que p µ χ+ < 0. El área del horizonte de un agujero negro de
Kerr está dada por
Z
dθdφ g θθ g φφ = 4π(r +2 + a 2 )
p
A=
r =r +
³ p ´
= 8πG2 M 2 + M 4 − J 2 /G2 . (4.3.35)
Por tanto, el agujero negro sufrirá una variación en su área dada por
4M 3 δM − 2J δJ /G2
µ ¶
2
δA = 8πG 2M δM + p
2 M 4 − J 2 /G2
4M 3 − 2J /(G2 ΩH )
µ ¶
2
> 8πG 2M + p δM = 0, (4.3.36)
2 M 4 − J 2 /G2
es decir, el área crece en el proceso.
Calculemos ahora la energía máxima que se puede extraer de un agujero
negro mediante el proceso de Penrose. De la ecuación (4.3.35), obtenemos
la masa del agujero negro en función de su área y su momento angular:
M 2 = A/(16πG2 ) + 4πJ 2 /A. (4.3.37)
Si de un agujero negro inicial M i , J i , A i , extraemos energía mediante este pro-
ceso hasta llegar a otro agujero negro de parámetros M f , J f , A f , la variación
en su masa será
q
∆M = M f − M i = A f /(16πG2 ) + 4πJ f2 /A f − M i
q
≥ A i /(16πG2 ) − M i . (4.3.38)
La energía que obtenemos en el proceso será igual (o menor) a la masa
perdida por el agujero negro, es decir,
à r !
1
q q
∆E ≤ M i − A i /(16πG2 ) = M i 1 − p 1 + M i2 − J i2 /(GM i )2 . (4.3.39)
2
Dada una masa inicial fija M i , esta cantidad será máxima para el máximo va-
lor de J i , que es el de un agujero negro degenerado, para el que G J i = (GM i )2 ,
de forma que p ¢
∆E /M i ≤ 1 − 1/ 2 ∼ 29 %.
¡
(4.3.40)
El máximo rendimiento se obtiene eliminando todo el momento angular de
un agujero negro degenerado, como hemos visto.
Existe un proceso análogo, descrito por medio de campos, en el que la
energía entrante en forma de radiación es menor que la saliente a costa
de disminuir el momento angular del agujero negro, llamado superradian-
cia [Wal84].
d f (α2 A, α2 J ) ¯¯
M= ¯
dα α=1
= 2A∂ A f (A, J ) + 2J ∂ J f (A, J )
= 2 A∂ A M + J ∂ J M .
¡ ¢
(4.4.4)
∂ A M = κ/(8πG), ∂ J M = ΩH (4.4.6)
Notemos que, para obtener la fórmula diferencial que relaciona los cam-
bios en la masa, en el área y en el momento angular de un agujero negro,
hemos necesitado hacer un estudio dimensional. No basta con diferenciar
directamente la ley de Smarr ya que κ y ΩH dependen de M y de J .
Esta fórmula diferencial para la masa se puede generalizar a situaciones
estacionarias en las que existe un contenido material en el exterior [Wal84].
Er M f − M i1 − M i2 Mf
η= =− = 1− . (4.4.8)
M i1 + M i2 M i1 + M i2 M i1 + M i2
q
2 2
La segunda ley implica que M f ≥ M i1 + M i2 y, por tanto,
q
2 2
M i1 + M i2 1
η ≤ 1− ≤ 1 − p ∼ 29 %. (4.4.9)
M i1 + M i2 2
4.5. Ejercicios
4.1 Estudiar las trayectorias de la luz en el espaciotiempo de Schwarzschild.
Calcular el ángulo de deflexión en función de la energía y del momento
angular del rayo. Calcular la relación entre estos (parámetro de impacto)
para los rayos que caen a un agujero negro.
4.14 Encontrar una solución interior homogénea e isótropa para una estre-
lla de polvo que colapsa y encontrar la correspondiente solución exterior (o
viceversa).
4.16 Utilizar los resultados del ejercicio 3.11 para demostrar que no es posi-
ble alcanzar la singularidad desnuda de Schwarzschild (M < 0) o la singula-
ridad de Reisner-Nordström en un cohete de masa estructural no nula con
una cantidad finita de combustible. Constatar que este no es el caso para la
singularidad de Schwarzschild con M > 0.
Tema 5
Formulación hamiltoniana
5.1. Descomposición 3 + 1
5.2. Hamiltoniano
5.2.1. Campos materiales
5.2.2. Campo gravitatorio
5.2.3. Hamiltoniano total
5.2.4. Dinámica hamiltoniana
5.3. Álgebra de ligaduras y difeomorfismos espaciotemporales
5.4. Términos de superficie. Masa y momento angular ADM
5.5. Ejercicios
5.1. Descomposición 3 + 1
En este tema, consideraremos que el espaciotiempo es globalmente
hiperbólico. Por tanto, posee una función global de tiempo t cuyo flujo
está generado por el vector t , es decir, tal que t µ ∇µ t = 1, y que permite
foliar todo el espaciotiempo en hipersuperficies espaciales de Cauchy Σt
homeomorfas de la forma t = constante (difeomorfas si la función t es C ∞ ,
como supondremos en lo que sigue). Sean h y n su métrica inducida y su
normal, respectivamente. Entonces, podemos separar el vector del flujo
temporal t en sus componentes normal y tangente a Σt (ver figura 5.1):
µ
t µ = N nµ + N µ, N = −t µ n µ , N µ = hν t ν . (5.1.1)
g µν = h µν − n µ n ν = h µν − N −2 (t µ − Nµ )(t ν − Nν ). (5.1.2)
g 00 = g µν t µ t ν = −(N 2 − Ni N i ),
µ
g 0i = g µν t µ E i
= Ni ,
µ
g i j = g µν E i E ν j = h i j , (5.1.3)
µ
donde Ni = E i Nµ , de forma que el elemento de línea en estas coordenadas
es
ds 2 = −(N 2 − Ni N i )dt 2 + 2Ni dt dx i + h i j dx i dx j . (5.1.4)
5.2. Hamiltoniano
1
L M = − |g|1/2 g µν ∇µ φ∇ν φ + 2V (φ) .
£ ¤
(5.2.1)
2
1
L M = − N h1/2 h i j Di φD j φ − N −2 (φ̇ − N i Di φ)2 + 2V (φ) ,
£ ¤
(5.2.2)
2
R = hR + K i j K i j − K 2 + 2∇µ ζµ , ζµ = n µ ∇ν n ν − n ν ∇ν n µ , (5.2.8)
.
Teniendo en cuenta el término de superficie que surge del término ∇µ ζµ
de la ecuación (5.2.8), podemos escribir la acción gravitatoria como
1
Z Z
SG = 4
d xL G + d3 x|h̃|1/2 (ñ µ ζ̃µ + K̃ ), (5.2.9)
M 8πG ∂M
n
−→tiempo
−n
−→ ←−
Σ0 M Σ1
Σt ←S t
−→
B
↓
ñ
ñ µ ζµ + K̃ = (g µν + n µ n ν − ñ µ ñ ν )∇µ ñ ν = k. (5.2.11)
1
Z Z Z
3
S G = dt L G , LG = LGd x + N γ1/2 kd2 x. (5.2.12)
Σt 8πG S t
δS δS
0=− =S , 0=− = Di . (5.2.24)
δN δN i
1
Recordemos que el corchete de Poisson de dos funcionales F [ψ, p] y G[ψ, p] de los
campos ψn y de sus momentos canónicos p n está dado por
XZ ³ δF δG δF δG ´
3
{F,G} = d x − .
n Σt δψn δp n δp n δψn
Desde el punto de vista formal, puede verse que la diferencia entre am-
bos comportamientos se debe al carácter lineal de la ligadura Di en los mo-
mentos (como ocurre también ocurre con la ligadura de Gauss, generatriz
de transformaciones gauge del campo electromagnético) y a la dependen-
cia cuadrática en el caso de S . Esta dependencia cuadrática es típica de
sistemas covariantes.
Desde el punto de vista geométrico, la acción mediante corchetes de
Poisson de la ligadura S produce una deformación de las hipersuperficies
Σt (en particular, de cada una de las fronteras Σ0,1 ) en la dirección normal.
Por tanto el volumen espaciotemporal sobre el que hemos calculado la
acción cambia, a menos que las fronteras no se deformen, es decir, a menos
que ϵ|t =0 = ϵ|t =1 = 0. No ocurre lo mismo con Di que transforma las fronteras
en ellas mismas, es decir, que genera difeomorfismos en las mismas, como
hemos visto.
La ligadura escalar S está conectada con la invariancia bajo reparametri-
zaciones temporales. De hecho, en algunos aspectos es similar a la ligadura
que se obtiene cuando se parametriza de forma arbitraria una teoría sin
ligaduras. Consideremos, por ejemplo, una partícula no relativista de masa
m en un potencial V (t , x i ). Su acción es
d xi
· ¸
1 ij
Z
i i
S[x , p i ] = d t p i − h(t , x , p i ) , h= δ p i p j + V (t , x i ).
dt 2m
(5.3.12)
Parametricemos ahora la trayectoria de la partícula mediante un tiempo
arbitrario τ y consideremos t como una variable de configuración más:
Entonces, la acción
Z
S[x , p α , N ] = d τ(p α ẋ α − N H ),
α
H (x α , p α ) = p 0 + h(x α , p i ), (5.3.14)
ṫ = N , ẋ i = N p i /m, ṗ 0 = 0, ṗ i = −N ∂i V, (5.3.15)
1
Z
M =− d2 xγ1/2 (k − k 0 ). (5.4.6)
8πG S t∞
1
Z
J =− d2 xγ1/2 φi ñ j h−1/2 p i j , (5.4.7)
8πG S ∞t
Es posible demostrar que H [ϵ, ϵ̄] = HΣ [ϵ, ϵ̄] + HS [ϵ, ϵ̄], donde H [ϵ, ϵ̄] re-
presenta la expresión del hamiltoniano con las funciones lapso y despla-
zamiento sustituidas por ϵ y ϵ̄, genera difeomorfismos espaciales y repara-
metrizaciones temporales en el interior del espaciotiempo, como ya hemos
visto en § 5.3, y traslaciones temporales y espaciales en la zona asintótica,
estas últimas generadas por los términos de superficie.
5.5. Ejercicios
5.1 Estudiar el campo electromagnético desde el punto de vista hamilto-
niano.
a) R = hR + K i j K i j − K 2 + 2∇i ζi , ζi = n i ∇ j n j − n j ∇ j n i ,
b) K i j = 21 Ln h i j = 12 N −1 [ḣ i j − 2D(i N j ) ].
5.4 Calcular los corchetes de las ligaduras Di y S con las variables del espa-
cio de fases (excepto el momento gravitatorio ya que el cálculo es demasiado
largo).
Apéndice A
Topología
Apéndice B
Formas diferenciales
B.1. Formas
B.2. Derivada exterior
B.3. Integración
B.3.1. Teorema de Stokes
B.3.2. Elemento de volumen canónico
B.3.3. Teorema de Gauss
B.4. Ejercicios
B.1. Formas
Una p-forma es un tensor covariante antisimétrico. Nótese que p ≤ n
puesto que, de otra manera, la antisimetrización lo anula automáticamente.
Consideremos el conjunto formado por todos los productos tensoriales
completamente antisimétricos de p uno-formas de una base del espacio
cotangente
e µ1 ∧ · · · ∧ e µp := p!e [µ1 ⊗ · · · ⊗ e µp ] . (B.1.1)
Aunque este conjunto genera, mediante combinaciones lineales, todo el
espacio de p-formas, sus elementos no son linealmente independientes. Sin
embargo, el conjunto ordenado {e µ1 ∧ · · · ∧ e µp , µ1 < · · · < µp } es una base de
dicho espacio. Así, cualquier p-forma ω se puede escribir de la forma
1
ω= ωµ1 ···µp e µ1 ∧ · · · ∧ e µp . (B.1.2)
p!
(p + q)!
(ω ∧ σ)µ1 ···µp+q = ω[µ1 ···µp σµp+1 ···µp+q ] . (B.1.3)
p!q!
ω ∧ σ = (−1)pq σ ∧ ω (B.1.4)
◦ es lineal;
◦ satisface la regla de anti-Leibniz: si ω es una k-forma y σ es una
l -forma, entonces
i v (ω ∧ σ) = i v ω ∧ σ + (−1)k ω ∧ i v σ. (B.1.6)
Nilpotencia: (i v )2 = 0.
i v e µ = v µ.
i f v ω = f i v ω. ♦
Linealidad.
Nilpotencia: d2 = 0.
Li v = i v d + di v . ♦ (B.2.5)
B.3. Integración
0 ≤ f α ≤ 1.
p ∈ M.
P
α f α (p) = 1 para todo
ω = ω1···n dx 1 ∧ · · · ∧ dx n . (B.3.2)
ϵ = |g|1/2 e 1 ∧ · · · ∧ e n , (B.3.5)
B.4. Ejercicios
B.1 Probar las siguientes identidades sobre k-formas:
1. Lv i w − i w Lv = i [v ,w ]
2. Lv Lw − Lw Lv = L[v ,w ]
3. Lv i v = i v Lv
4. L f v = f Lv + d f ∧ i v
Apéndice C
Mecánica newtoniana
γ
0 = ∇µ (∂ν t ) = ∂µ ∂ν t − Γνµ ∂γ t = −Γ0µν . (C.1.1)
γ
Γ νµ = 0, excepto Γi 00 := −g i , Γi 0 j := −ϵi j k ωk . (C.1.3)
Por tanto, para que ambos sistemas newtonianos observen el mismo campo
gravitatorio, la diferencia entre sus vectores temporales debe ser un vector
espacial v = v 0 uniforme y constante, que es la velocidad relativa entre
ambos observadores. Por tanto, dos sistemas newtonianos verán el mismo
campo gravitatorio si y solo si tienen una velocidad relativa constante.
Existen sistemas de referencia newtonianos que no observan campo gra-
vitatorio localmente: si en el sistema newtoniano S se observa un campo gra-
vitatorio g , otro sistema newtoniano S ′ que se mueva con aceleración v̇ = g 0 ,
donde g 0 es el valor de g en el punto o, es decir, tal que t ′ = t + g 0 t + v 0 ,
verá localmente (en las inmediaciones del punto o) un campo gravitatorio
g ′ = 0. Estos sistemas reciben el nombre de sistemas de referencia inerciales
locales . En estos sistemas, hemos anulado localmente el campo gravitatorio
pero, si g no es uniforme, el tensor de Riemann no se anulará y veremos
desviaciones geodésicas determinadas por
z̈ 0 = 0, z̈ i = z k ∂k g i (C.2.4)
componentes en el otro:
w ′0 = w 0 , w ′i = ẽ i j (w j − v j w 0 ). (C.2.5)
x ′0 = x 0 − d 0 , x ′i = ẽ i j [x j − v j (x 0 − d 0 ) − d j ]. (C.2.6)
con una conexión plana y, por tanto, sin campo gravitatorio intrínseco en
el sentido del apartado anterior. En esta situación, el tensor de Riemann
se anula y no existen fuerzas de marea. Esto implica que los sistemas de
referencia inerciales locales son inerciales globalmente.
Sea S̆ un sistema de referencia inercial global en un espaciotiempo new-
toniano con una conexión plana ∇. ˘ Es claro que esta derivada covariante se
reduce a la derivada ordinaria en el sistema S̆. Las ecuaciones de movimien-
to de un cuerpo sometido a fuerzas externas cuya suma total es f T serán
(segunda ley de Newton)
µ
ẍ = f T /m, ẍ µ = ẋ ν ∇
˘ ν ẋ µ = f T /m. (C.3.1)
ẋ ν ∇
˘ ν ẋ µ = f µ /m + g µ . (C.3.2)
C.5. Ejercicios
C.1 Demostrar que un tiempo absoluto es incompatible con una métrica
espaciotemporal.
C.4 Estimar las mareas creadas por la Luna y por el Sol en la Tierra.
Apéndice D
n µ ∇ν A µν = Dν w ν , (D.1.2)
n µ ∇ν A µν = ∇µ w µ − A µν ∇ν n µ . (D.1.3)
∇µ w µ = Dµ w µ − n µ n ρ ∇ρ w µ = Dµ w µ + w µ ∇ρ (n ρ n µ ). (D.1.4)
1
∇µ j µ = ζµ ∇µ R. (D.2.4)
2
ζµ ∇µ es la derivada en la dirección del Killing y, actuando sobre cualquier
escalar obtenido a partir de la métrica, se debe anular.
Por ser j de divergencia nula, q ζ = − Σ dσn µ j µ se conserva, si j se anula
R
en ∂Σ (EJERCICIO). ❏
Para espaciotiempos vacíos, el tensor de Ricci se anula y, por tanto, la
cantidad conservada q ζ asociada a cualquier Killing ζ es idénticamente
nula: q ζ = 0.
A la vista de este resultado, definimos la carga asociada al Killing ζ de
un espaciotiempo asintóticamente plano como la integral
Z
Qζ = das µν ∇µ ζν , (D.2.5)
2
S∞
2
donde S ∞ es una 2–esfera en el infinito espacial.
1 1
Z Z
µ ν
M =− das µν ∇ ξ , J =+ das µν ∇µ ψν . (D.3.1)
4πG S ∞2 8πG S ∞ 2
Así, definiendo Z
Q H,ζ := − das µν ∇µ ζν , (D.3.3)
HΣ
podemos escribir Q ζ = −q ζ + Q H,ζ . Notemos el signo negativo en la defini-
ción de carga en el horizonte, que ha sido introducido por conveniencia
para tener en cuenta la orientación de H Σ .
Si utilizamos esta identidad para la masa e introducimos χ = ξ + ΩH ψ,
tenemos
Z
4πGM = q ξ + das µν ∇µ ξν =
ZH Σ Z
µ ν
= qξ + das µν ∇ χ − das µν ΩH ∇µ ψν . (D.3.4)
HΣ HΣ