Documente Academic
Documente Profesional
Documente Cultură
Relatividad general
Luis J. Garay
Madrid, 5 de octubre de 2009
Universidad Complutense de Madrid
FACULTAD DE CIENCIAS FSICAS
DEPARTAMENTO DE FSICA TERICA II
Avda. Complutense s/n, E-28040 Madrid, Espaa
Luis J. Garay luis.garay@fis.ucm.es
Tel.: + 34 913945170, Fax: + 34 913944557
http://jacobi.fis.ucm.es/lgaray
La persistencia de la memoria
Salvador Dal (1931)
The Museum of Modern Art, New York
Prefacio
Estas notas no son otra cosa que mis apuntes personales, que he ido elaboran-
do con el nico objeto de que me sean tiles en la enseanza de la asignatura de
Relatividad general. Aunque probablemente estas notas os sean tiles tambin a
vosotros, no debis olvidar que, en ningn caso, pueden sustituir a la bibliografa
de la asignatura.
En este sentido, es necesario hacer algunas advertencias:
Estas notas no son, ni pretenden ser, un libro ni un manual. Son, una vez
ms, mis apuntes personales.
[3] S.W. Hawking y G.F.R. Ellis, The large scale structure of space-time (Cam-
bridge University Press, 1973).
[4] C.W. Misner, K.S. Thorne y J.A. Wheeler, Gravitation, Freeman and Co.,
1973.
[6] I. Ciufolini y J.A. Wheeler, Gravitation and inertia, Princeton Univ. Press,
1995.
[9] A.P. Lightman, W.H. Press, R.H. Price y S.A. Teukolsky, Problem book in
relativity and gravitation, Princeton University Press, 1975.
[11] B.F. Schutz, A first course in general relativity, Cambridge University Press,
1985.
1. Geometra diferencial 11
1.1. Variedades diferenciables . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.1. Estructura diferenciable . . . . . . . . . . . . . . . . . . . . 13
1.1.2. Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.1.2.1. Vectores . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.1.2.2. Uno-formas . . . . . . . . . . . . . . . . . . . . . . . 15
1.1.2.3. Campos tensoriales . . . . . . . . . . . . . . . . . 16
1.1.3. Aplicaciones diferenciables. Difeomorfismos . . . . . . . . 18
1.1.3.1. Aplicaciones diferenciables . . . . . . . . . . . . . 18
1.1.3.2. Difeomorfismos . . . . . . . . . . . . . . . . . . . . 19
1.1.3.3. Inmersiones y embebimientos . . . . . . . . . . . 19
1.1.4. Derivada de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . 110
1.2. Conexiones. Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . 111
1.2.1. Derivacin covariante . . . . . . . . . . . . . . . . . . . . . . 111
1.2.2. Transporte paralelo . . . . . . . . . . . . . . . . . . . . . . . 114
1.2.2.1. Geodsicas . . . . . . . . . . . . . . . . . . . . . . . 114
1.2.2.2. Coordenadas normales . . . . . . . . . . . . . . . 115
1.2.3. Tensores de Riemann y de Ricci . . . . . . . . . . . . . . . 116
1.2.4. Desviacin geodsica . . . . . . . . . . . . . . . . . . . . . . 116
1.3. Variedades diferenciables pseudoriemannianas . . . . . . . . . . 117
1.3.1. Mtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
1.3.2. Conexin de Levi-Civita . . . . . . . . . . . . . . . . . . . . 119
1.3.3. Geodsicas como principio variacional . . . . . . . . . . . 121
1.3.4. Hipersuperficies . . . . . . . . . . . . . . . . . . . . . . . . . 122
1.3.4.1. Embebimientos . . . . . . . . . . . . . . . . . . . . 122
5. Formulacin hamiltoniana 51
5.1. Descomposicin 3 + 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.2. Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.2.1. Campos materiales . . . . . . . . . . . . . . . . . . . . . . . 54
5.2.2. Campo gravitatorio . . . . . . . . . . . . . . . . . . . . . . . 54
5.2.3. Hamiltoniano total . . . . . . . . . . . . . . . . . . . . . . . . 57
5.2.4. Dinmica hamiltoniana . . . . . . . . . . . . . . . . . . . . . 57
5.3. lgebra de ligaduras y difeomorfismos espaciotemporales . . . 59
5.4. Trminos de superficie. Masa y momento angular ADM . . . . 512
5.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515
6. Radiacin gravitatoria 61
6.1. Propagacin y generacin (por Javier Olmedo) . . . . . . . . . . 63
6.1.1. Linealizacin de las ecuaciones de Einstein en vaco . . . 63
6.1.2. Ondas planas y polarizaciones . . . . . . . . . . . . . . . . 64
6.1.3. Radiacin cuadrupolar . . . . . . . . . . . . . . . . . . . . . 67
6.1.4. Energa gravitatoria . . . . . . . . . . . . . . . . . . . . . . . 69
6.2. Deteccin (por Eduardo Martn) . . . . . . . . . . . . . . . . . . . 610
6.2.1. Precisin de los detectores . . . . . . . . . . . . . . . . . . . 611
6.2.2. Antena de Weber . . . . . . . . . . . . . . . . . . . . . . . . . 612
6.2.2.1. Modelo de detector . . . . . . . . . . . . . . . . . . 613
6.2.2.2. Caractersticas espectrales . . . . . . . . . . . . . 615
6.2.2.3. Seccin eficaz . . . . . . . . . . . . . . . . . . . . . 617
A. Topologa A1
Geometra diferencial
1.1.2. Tensores
1.1.2.1. Vectores
[Ms estrictamente, si es una carta tal que () (t) = (t), entonces se verifica
que v(f)|(t0 ) = t |t0 (f 1 )| (t0 ) ]. Por tanto, cualquier vector en p = (t0 )
se puede escribir como combinacin lineal de los vectores e |p cuya actuacin
sobre funciones es e (f)|p = f|p (tambin se utiliza el smbolo para denotar
al vector e ). Por otro lado, cualquier combinacin lineal v e |p es un vector
tangente a una parametrizacin (t) cuyas coordenadas son (t) = x (p) + tv .
El conjunto Tp M de todos los vectores v|p en p es un espacio vectorial cuya
dimensin coincide con la de M llamado espacio vectorial tangente de M en
p y que abreviaremos por Tp . El conjunto de vectores {e |p , = 1 n} es una
x x
e0 = e , 0 = ,
x 0 x 0
como se puede deducir de su definicin (EJERCICIO).
Un campo vectorial sobre M es una asignacin de un vector del espacio
tangente Tp a cada punto p de la variedad tal que sus componentes en cualquier
base coordenada sean C .
Adems de las bases coordenadas, es posible utilizar otras bases ms genera-
les cuyos elementos no admiten la descripcin en trminos de coordenadas. En
una de estas bases {ea , a = 1 n}, el vector v adquiere la expresin v = v a ea ,
donde v a son las componentes de v en esa base. Es importante notar que la
distincin entre bases coordenadas y bases no coordenadas tiene sentido solo
sobre regiones extensas abiertos de la variedad, como veremos en 1.1.4.
A menudo, utilizaremos la notacin de ndices abstractos. En esta notacin,
denotaremos por v a tanto a las componentes del vector v en una base arbitraria
{ea } como al vector en s. Utilizaremos ndices griegos para las bases coordena-
das1 .
1.1.2.2. Uno-formas
: Tp R, :v h, vi.
Dada una base cualquiera {ea } de vectores en p (ntese que esta base no
tiene que ser necesariamente una base coordenada de la forma {e }), existe
un nico conjunto de n uno-formas {ea } tal que hea , eb i = ab . Este conjunto
es linealmente independiente y forma, por tanto, una base (llamada base dual
de {ea }) del espacio vectorial Tp de uno-formas en p llamado espacio dual o,
tambin, espacio vectorial cotangente de M en p.
Dados un vector v = v a ea y una uno-forma = a ea arbitrarios, la actuacin
de sobre v es h, vi = a v a . Vemos as que el espacio vectorial tangente
1
Ntese que esta notacin es ligeramente diferente a la utilizada en la referencia [2]: utiliza-
remos los ndices griegos solo para bases coordenadas. En dicha referencia, se utilizan ndices
griegos para bases especficas, sean coordenadas o no.
acta tambin linealmente sobre Tp y que es, de hecho, su espacio dual, es decir,
Tp = Tp .
Cada funcin f sobre M define una uno-forma df|p en p, llamada diferencial
de la funcin, que acta de la siguiente forma:
hdf, vi = v(f).
x 0 x 0
e0 = e , dx 0 = dx ,
x x
de forma que he0 , e0 i = he , e i = .
Un tensor T de tipo (r, s) es una aplicacin lineal que acta sobre el producto
r s
cartesiano Tp Tp Tp Tp . El conjunto {ea1 ear eb1 ebs } es
r s
una base del espacio vectorial Tsr (p) = Tp Tp Tp Tp , cuya dimensin
es nr+s , obtenido mediante producto tensorial. Los tensores de tipo (r, 0) reciben
el nombre de tensores contravariantes y los de tipo (0, s) tensores covariantes.
Las operaciones tensoriales son aquellas que preservan el carcter tensorial,
aunque algunas de ellas pueden cambiar el tipo de tensor. Por tanto, el resultado
de estas operaciones es independiente de la base que se utilice para realizarlas.
1 X a1 ar
T a1 ar(b1 bs ) = T (b1 )(bs ) ,
s!
2
Ntese que, dependiendo de las referencias, el smbolo puede aparecer como subndice o
como superndice y tienen distinto significado, en particular, si no es un difeomorfismo.
1.1.3.2. Difeomorfismos
Es lineal.
L (T S) = L T S + T L S.
La derivada de Lie de una funcin est dada por la actuacin del vector sobre
la funcin
L f = (f),
como se deduce directamente de la definicin, puesto que para valores de t
suficientemente pequeos, t f|p = f[p (t)] = f(p) + t(f)|p .
La derivada de Lie de un vector es
L v = [ , v] = Lv ,
(L v) = v v .
hL , vi = L h, vi h, L vi.
(L ) = + .
a )b = C cba c ,
(a
ab a v b = ea eb v
(v)
a b = a b cba c , a v b = a v b + bca v c .
Notemos que, dada una derivada covariante ordinaria asociada a una ba-
se coordenada, podemos utilizarla para escribir una conexin cualquiera en
trminos de ella:
a b = a b C cba c , a v b = a v b + C bca v c .
C bca = bca eb a ec .
1.2.2.1. Geodsicas
(a b b a )(fc ) = f(a b b a )c ,
(a b b a )v d = Rabcd v c .
R = + .
El tensor de Ricci se define como la traza del tensor de Riemann: Rac = Rabcb .
geodsicas vecinas. Notemos que t y z conmutan por ser vectores de una base
coordenada y, por tanto, t a a zb = za a t b .
El vector v a = t b b za nos da la velocidad de separacin entre dos geodsicas
cercanas y aa = t b b v a su aceleracin relativa, es decir, la aceleracin con la
que se acercan o separan. Es fcil ver (EJERCICIO) que el vector de desviacin
satisface la ecuacin de desviacin geodsica
aa = t c c (t b b za ) = Rcbda zb t c t d .
Esta ecuacin nos dice que la condicin necesaria y suficiente para que dos geo-
dsicas inicialmente paralelas permanezcan paralelas (no se aceleren relativa-
mente) es que el tensor de Riemann se anule. Diremos que una conexin es
plana si y solo si su tensor de Riemann se anula en toda la variedad.
El tensor de Riemann tambin determina cundo el transporte paralelo de
un vector es independiente del camino elegido, en regiones suficientemente pe-
queas. Equivalentemente, determina cundo, al transportar paralelamente un
vector v a lo largo de una curva cerrada suficientemente pequea, el vector no
cambia. Sean x (t) tales que x (0) = x (1) las coordenadas de la curva cerrada
. Entonces se verifica (EJERCICIO) que
Z 1
v = v (1) v (0) = R |(0) v (0)
] dt.
x [ x
1
2 0
1.3.1. Mtrica
Una mtrica g en una variedad diferenciable M es un campo tensorial si-
mtrico C doblemente covariante (es decir, de tipo (0, 2)). Sus componentes en
una base arbitraria {ea } son gab = g(ea , eb ). En una base coordenada, el tensor
mtrico se puede escribir g = g dx dx . Tambin utilizaremos la notacin
ds2 = g dx dx para representar al tensor mtrico, donde ds2 recibe el nombre
de elemento de lnea.
p
Definimos la norma del vector v a como |gab v a v b | y, dados dos vectores de
norma no nula v a y w a , definimos el ngulo que forman mediante la expresin
gab v a w b
cos = p .
|gcd v c v d ||gef w e w f |
En cada punto p M , se puede llamar futuro a la mitad del cono de luz (figu-
ra 1.2). Si es posible hacer tal asignacin de forma continua en todos los puntos
de la variedad, entonces diremos que la variedad es orientable temporalmente
y, si tal es el caso, entonces existe un campo vectorial t a de clase C que no
se anula en ningn punto y que es de gnero tiempo en toda la variedad (sin
demostracin; ver referencias [2, 3]).
Diremos que una curva es de gnero luz, espacio o tiempo dependiendo de
si su vector tangente es de gnero luz, espacio o tiempo en todos los puntos de
la misma.
futuro
pasado
Puede demostrarse que toda variedad no compacta admite una mtrica loren-
tziana. Sin embargo, es posible encontrar variedades compactas que no admiten
una mtrica lorentziana una esfera, por ejemplo (ver referencia [3]).
+ = g .
=
1
g ( g + g g ).
2
Esta conexin es la nica solucin de la ecuacin g = 0.
EJERCICIO: Demostrar que la norma y ngulo entre dos vectores se preservan
al transportarlos paralelamente con la conexin de Levi-Civita. Como consecuen-
cia, las geodsicas tienen siempre un gnero bien definido.
Rabcd = Rabdc .
dim(M ) n 4 3 2 1
Riemann n (n 1)/12
2 2
20 6 1 0
Ricci n(n + 1)/2 10 6 1 0
R Raa = g ab Rab .
Definimos el tensor de Weyl como el tensor Cabcd que tiene las mismas si-
metras que el de Riemann y que satisface la condicin adicional de que no tiene
traza, es decir, que C abad = 0:
Dada una curva de gnero espacio parametrizada por t y cuyo vector tangente
a , definimos su longitud entre dos puntos de coordenadas x (0) y x (1) como
es x
Z 1
l= x
dt|g x |1/2 .
0
x
x =
x |g x
x
|1/2 x
|g x |1/2 .
d
dt
Esta es la ecuacin de una curva geodsica en trminos de un parmetro no afn.
Una reparametrizacin adecuada la convierte en una parametrizacin geodsica.
EJERCICIO: Demostrar que las geodsicas son curvas que hacen estacionaria
R
la accin S = dtg x
x .
En muchos casos, la forma ms conveniente de calcular los smbolos de Ch-
ristoffel en una base coordenada es encontrar la ecuacin de la curva estacio-
naria de esta accin y compararla con la expresin de las curvas geodsicas en
trminos de los smbolos de Christoffel.
1.3.4. Hipersuperficies
1.3.4.1. Embebimientos
hab = gab na nb ,
Esta mtrica inducida h define una conexin D compatible con ella que resulta
ser la proyeccin de la derivada covariante en M , es decir, en trminos de la
derivada covariante en M y de la mtrica inducida, tiene la forma
0 c10 0 b10 br0
Da T b1 brc1 cs T b1 brc1 cs ka = ha a hb1b0 hbrbr0 h c1 hcs cs a0 T c10 cs0 ,
1
1.3.5. Isometras
L gab = a b + b a = 0.
v b b (a v a ) = v a v b b a + a v b b v a = 0.
Una variedad diferenciable tiene como mximo n(n + 1)/2 vectores de Killing.
Para demostrarlo, basta con tener en cuenta la siguiente propiedad exclusiva de
los vectores de Killing (EJERCICIO):
a b c = Rcbad d .
Conocidas las n componentes del vector de Killing a y las n(n 1)/2 componen-
tes de su derivada covariante a b (por ser vector de Killing es antisimtrica)
en un punto, podemos conocer el vector de Killing en toda la variedad mediante
integracin de estas ecuaciones. El nmero total de isometras es precisamente la
dimensin del espacio de condiciones iniciales que es n + n(n 1)/2 = n(n + 1)/2.
[a b c] = 0.
a b + b a = (c c )gab .
2
n
v b b (a v a ) = (c c )va v a .
1
n
1.4.1. Formas
Una p-forma es un tensor covariante antisimtrico. Ntese que p n puesto
que, de otra manera, la antisimetrizacin lo anula automticamente. Considere-
mos el conjunto formado por todos los productos tensoriales completamente
antisimtricos de p uno-formas de una base del espacio cotangente
a a ea1 eap .
1
=
p! 1 p
(p + q)!
( )a1 ap+q = [a1 ap ap+1 ap+q ] .
p!q!
1.4.2. Derivacin
(d)ab1 bp = (p + 1)[a b1 bp ] .
dd = 0.
1.4.3. Integracin
0 f 1.
= |g|1/2 e1 en ,
= n , a1 an = nn[a1 a2 an ] .
Las cantidades fsicas relevantes deben producir nmeros que se puedan me-
dir al utilizar coordenadas concretas. Una forma de implementar este requisito
es utilizar tensores que, al actuar sobre los vectores y las formas de una base
coordenada, dan nmeros contrastables con los experimentos. Las leyes de la
fsica tienen, a menudo, carcter tensorial, aunque no necesariamente.
El principio de covariancia general rige las leyes de la fsica: las nicas
cantidades que se refieren a la descripcin del espaciotiempo (con lo que esto
signifique) que pueden aparecer en las leyes de la fsica son aquellas que definen
y determinan su estructura. En particular, no deben aparecer campos o bases
vectoriales privilegiadas universales, que se refieran solo a la estructura espacio-
temporal. Debe notarse que la invariancia o no de las ecuaciones bajo cambios
de coordenadas no desempea en este principio ningn papel explcito, aunque
est ntimamente relacionado.
Supongamos que cierta ley fsica que determina cierta cantidad vectorial V
se puede escribir en una cierta base coordenada {e } de la forma V = z
donde z = (1, 0, 0, 0) es una cantidad fija. Separando sus componentes, esta ley
se puede escribir V 0 = 1, V i = 0. En el anlisis de la aplicacin del principio
de covariancia general a este ejemplo, se pueden adoptar dos puntos de vista.
Por un lado, z no es un vector porque no se transforma adecuadamente bajo
0 0
un cambio de base z0 = e z 6= (1, 0, 0, 0) y, en consecuencia, esta ley tampoco
se transforma adecuadamente, es decir, no es covariante:
0 0 0
V 00 = e0 V = e00 6= 1, V 0i = ei V = ei 0 V 0 6= 0.
1.6. Ejercicios
1.1 Sea M una variedad n-dimensional y sea a1 an el smbolo de Levi-Civita
(es completamente antisimtrico y 12n = 1). Demostrar que el smbolo p de Levi-
Civita no es un tensor. Demostrar que el tensor de Levi-Civita a1 an = |g|a1 an
s lo es. Encontrar la expresin de a1 an . Demostrar que todo tensor antisim-
trico de tipo (0, n) en una variedad n-dimensional es proporcional al tensor de
Levi-Civita a1 an .
1.2 Encontrar los smbolos de Christoffel para una mtrica arbitraria en una
base en la que es diagonal.
1.5 Demostrar que una base del espacio tangente es coordenada si y solo si sus
vectores conmutan.
a) g = g g g ,
b) = (log |g|),
1
2
c) g = |g|1/2 (|g|1/2 g ),
d) (|g|1/2 ) = (|g|1/2 ),
1.14 Demostrar que todo campo de Killing satisface las siguientes propiedades:
a) a b + b a = 0,
b) a b c = Rbcad d ,
c) a a b = Rbc c
Mecnica newtoniana
y relatividad especial
0 = ( t) = t t = 0 .
0 = ij = 2l (i j)l ,
x
= f/m, a = x
x b b x
a = f a /m,
donde f es la suma total de todas las fuerzas espaciales (no gravitatorias) que
actan sobre l y m es su masa. Las fuerzas son tensores espaciales puesto
que, si multiplicamos esta ecuacin por a t, vemos que la compatibilidad de la
conexin con el tiempo absoluto exige que a tf a = 0 para que hdt, xi a
= a t x
permanezca constante. Esta ecuacin es covariante general puesto que, en ella,
las nicas cantidades que afectan a la estructura espaciotemporal son las que
definen dicha estructura.
g 0 = t 0 t 0 = g t v.
Por tanto, para que ambos sistemas newtonianos observen el mismo campo gra-
vitatorio, la diferencia entre sus vectores temporales debe ser un vector espacial
v = v 0 uniforme y constante, que es la velocidad relativa entre ambos observa-
dores. Por tanto, dos sistemas newtonianos vern el mismo campo gravitatorio
si y solo si tienen una velocidad relativa constante.
Si imponemos la condicin de que i g j sea una matriz invertible (lo que se verifica
genricamente), obtenemos que j = 0, es decir, que la nica componente no
nula de la mtrica es 00 y, por tanto, se trata de una mtrica degenerada. En
general, de acuerdo con esta ecuacin, podr tener un nmero mximo de
autovalores no nulos determinado por el grado de degeneracin de i g j . El nico
caso en el que esta ecuacin no implica la degeneracin de es aquel para el
que i g j = 0, es decir, cuando la conexin es plana.
b
x a = f a /m + g a .
bx
cia especial, construir las leyes de la fsica (de la mecnica, en este caso). En este
apartado, reproduciremos las leyes de movimiento de la mecnica newtoniana
de los apartados anteriores haciendo uso del principio de relatividad especial de
Galileo.
La estructura de partida va a ser un espaciotiempo con un tiempo absoluto
cuyas secciones espaciales son riemannianas, no necesariamente planas a priori,
y una conexin compatible con la mtrica espacial. El principio de covarian-
cia especial de Galileo afirma que existen sistemas de referencia globales que
llamaremos inerciales en los que, si sobre un cuerpo no actan agentes exter-
nos, ste se mueve con velocidad uniforme y constante, es decir, existe un sistema
S = {o, t, ei } en el que las ecuaciones de movimiento x b a = 0 de un cuerpo
bx
libre son x0 = x i = 0. Por tanto, las componentes de
en esta base se anulan, es
decir,
coincide con la derivada ordinaria. Adems, la derivada covariante es
una conexin plana puesto que la ecuacin de desviacin geodsica es z = 0, lo
que implica que el tensor de Riemann se anula. La compatibilidad con la mtrica
en este sistema implica que i hjk = 0. Un proceso trivial de ortonormalizacin
nos conduce a hjk = jk . Adems, esta conexin es compatible con el tiempo
absoluto: en el sistema S, tenemos t = 0 lo que implica que (dt)
= 0.
En presencia de agentes externos, x no se anular y, por tanto, ser igual
a
a un tensor f T /m. Puesto que a t x
= 0, este tensor f T es espacial. Vemos que
el uso del principio de covariancia especial nos ha permitido construir la teora
newtoniana completa, a partir de un principio de simetra.
b b x
x a + C abc x
bx
c = f a /m,
b 0b x
x a = f a /m,
2.3. Resumen
A la vista de lo expuesto hasta ahora, algunas ideas que van a desempear
un papel fundamental en la descripcin del movimiento relativista en un campo
gravitatorio son las siguientes.
2.4. Ejercicios
2.1 Demostrar que un tiempo absoluto es incompatible con una mtrica espacio-
temporal.
2.4 Estimar las mareas creadas por la Luna y por el Sol en la Tierra.
3.2.1. Postulados
Hemos visto que, en cada libre, debemos recuperar las leyes de la relatividad
especial. Esto nos hace considerar la posibilidad de que los campos materiales
puedan estar descritos por los mismos tensores que en relatividad especial, si
bien sus ecuaciones dinmicas se vern modificadas para acomodarse a un es-
paciotiempo curvo. Este principio y el de covariancia general sugieren que estas
ecuaciones de movimiento sean las mismas que en relatividad especial con la
siguiente modificacin (acoplo mnimo): el tensor mtrico plano es sustituido
por g y la conexin plana compatible con es sustituida por la conexin de Levi-
Civita compatible con g. Es importante notar que esta regla posee ambigedades
que deben ser resueltas por otros medios. Estas son las ideas subyacentes en la
descripcin de los campos materiales que se da a continuacin.
Los campos materiales, que denotaremos genricamente por , deben satis-
facer los siguientes postulados:
Postulado (i) Causalidad local. Las ecuaciones de movimiento que gobiernan
la evolucin de los campos materiales han de ser tales que, dados dos puntos de
un abierto convexo, se pueda enviar una seal entre ellos si y solo si se pueden
unir mediante una curva causal (es decir, cuyo vector tangente no es espacial en
ningn punto).
La causalidad local separa el tensor mtrico de cualquier otro campo, pro-
porcionndole su carcter geomtrico. En efecto, estudiando qu puntos pueden
comunicarse con un punto p dado, es posible determinar el conjunto de vectores
nulos de Tp . Entonces, la mtrica se puede determinar salvo un factor confor-
me (EJERCICIO). Adems, las relaciones causales determinan la topologa de la
variedad diferenciable M (sin demostracin). El factor conforme queda determi-
nado por el postulado siguiente.
Postulado (ii) Conservacin local de la energa y del momento. Las ecua-
ciones de movimiento de los campos materiales son tales que existe un tensor
simtrico T ab , el tensor de energa-momento, construido a partir de los campos,
de sus derivadas covariante y de la mtrica, tal que su divergencia es nula, es
decir, b T ab = 0. Adems, el tensor de energa-momento es nulo en un abierto
si y solo si lo son los campos materiales (ver 3.2.4, sobre las condiciones de
energa).
Este postulado fija el factor conforme del postulado anterior salvo por una
constante multiplicativa que determina las unidades de medida. En efecto, si el
tensor de energa-momento tiene divergencia nula para alguna mtrica g, no la
tendr para otra mtrica g 0 = 2 g.
LM LM
Z
SM = + (a ) dv.
M a
La variacin de los campos es independiente del punto y, por tanto, conmuta con
LM LM LM
Z Z
SM = a dv + na d.
M a M a
LM LM
a
a
= 0.
SM SM
T ab = 2|g|1/2 , Tab = 2|g|1/2 .
gab g ab
LM
Z
LM (dv)
Z
SM = gab d x =
4
dv + LM gab .
gab gab gab
LM 1 ab
Z
LM
Z
SM = gab d x =
4
+ LM g gab dv,
gab gab 2
LM LM
T ab = 2|g|1/2 + LM g ab ,
gab gab
=2
LM LM
Tab = 2|g|1/2 ab = 2 ab + LM gab .
g g
donde u representa el campo de velocidad del fluido, es decir, sus lneas de flujo
estn definidas por una congruencia temporal cuyo campo vectorial tangente
unitario es u.
A menudo, consideraremos fluidos barotrpicos, es decir, tales que la presin
p es funcin solo de la densidad de energa .
La condicin de que el tensor de energa-momento de un fluido perfecto tenga
divergencia nula proporciona las ecuaciones de movimiento (EJERCICIO)
ua a + ( + p)a ua = 0,
( + p)ub b ua + (g ab + ua ub )b p = 0.
nTS = (p + )n/n.
n2 T S = (p + )a (nua ).
Esta ecuacin nos indica que la entropa del fluido se conserva si el flujo de
partculas nua se conserva.
La segunda ecuacin es realmente una ecuacin de movimiento que relaciona
a del fluido con los gradientes de presin que se comportan como
la aceleracin u
campos de fuerzas, que son espaciales.
Consideremos ahora un fluido compuesto por granos de polvo, es decir, por
partculas libres que no interaccionan entre s, lo que significa que estn libres
de choques y de movimientos aleatorios. Tal fluido tiene presin nula y sus ecua-
ciones de movimiento se reducen a
a (ua ) = 0, ub b ua = 0.
De acuerdo con estas ecuaciones, la energa se conserva y cada una de las partcu-
las sigue geodsicas, como no poda ser de otra manera por tratarse de partculas
libres. Vemos, por tanto, que la ecuacin de conservacin del tensor de energa-
momento contiene la ley de movimiento geodsico de las partculas libres, como
ya habamos avanzado.
fuerte nula
dominante dbil
i 00 = ij j 00 ij j V ,
1
000 = 0.
2
Recuperamos as la dinmica no relativista en un campo gravitatorio. Vemos que
el carcter mtrico de la conexin se pierde por despreciar la contribucin de
varias de sus componentes, no porque sean pequeas sino porque estn multi-
plicadas por cantidades pequeas.
x i |, obtenemos
En el siguiente orden en |
+
x 00 i = 0,
+ 2 0i x
donde las nicas componentes no nulas que intervienen en estas ecuaciones son
j
i 00 = ij j 00 ,
1 jk
00i = i 00 , (i k0 k i0 ).
1 1
0i =
2 2 2
Si definimos el potencial vector a = 21 0 , podemos escribir estas expresio-
nes de la siguiente forma en trminos del campo gravitatorio gi = i V (donde
a0 = V ) y del campo gravitomagntico bk = klm l am :
j j
i 00 = g i , 00i = gi , 0i = 2 ik b
k
.
Con estas expresiones para los smbolos de Christoffel, las ecuaciones de las
geodsicas quedan
i g i 4 i jk x
x j bk = 0, x i = 0.
0 2gi x
3.3.1. Motivacin
Como motivacin deductiva, consideremos los siguientes apuntes sobre la
desviacin geodsica de una congruencia temporal cuyo campo de velocidades
es u en el contexto de la mecnica newtoniana.
Rab ua ub = 4 GTab ua ub .
A los dos postulados que vimos en el tema dos, que hacan referencia a la
naturaleza de los campos materiales (causalidad local y conservacin local de la
energa y del momento), podemos aadir el tercero que dicta las leyes dinmi-
cas del campo gravitatorio. Los tres postulados definen la teora general de la
relatividad.
Postulado (iii) Ecuaciones de campo. Las ecuaciones de Einstein
El primer trmino se puede escribir como una divergencia y, por tanto, solo
contribuye con un trmino de superficie. En efecto, en coordenadas normales
x , los smbolos de Christoffel se anulan y, por tanto, la traza de la variacin del
tensor de Ricci se reduce a g R = 2[ (g ] ), que se anula si exigimos
que se anule en la frontera.
Notemos que la accin de Hilbert-Einstein
R t2 contiene derivadas segundas y es,
0
en este sentido, similar a la accin S = t1 dtx x
/2 para la partcula libre cuya
variacin es Z t2
0
S = dt x x /x)/2]tt21
x + [x 2 (
t1
y que es, por tanto, estacionaria bajo variaciones de la trayectoria tales que (
x /x)
se anulen en los extremos si se satisface la ecuacin de movimiento x = 0.
Nuestro inters es obtener las ecuaciones dinmicas a partir de la condicin
de estacionariedad de la accin bajo variaciones de la mtrica que se anulen en la
frontera, para lo que tendremos que aadir un trmino de superficie adecuado.
La accin gravitatoria que consideraremos es
Z Z
SG = Rdv + Kd
,
1 1
16 G M 8 G M
que se cancela, obviamente, con la variacin del trmino de superficie con el que
hemos corregido la accin de Hilbert-Einstein.
Por otro lado, la variacin de la accin de los campos materiales es proporcio-
nal al tensor de energa-momento como ya vimos. As, la variacin de la accin
total S = SG + SM bajo variaciones de la mtrica que se anulan en la frontera es
Z
S = (Gab 8 GTab ) g ab dv.
1
16 G M
4. Existe una libertad en la eleccin de la mtrica puesto que gab y gab +2(a b)
representan el mismo espaciotiempo. Esta libertad se puede eliminar con
cuatro condiciones gauge (por ejemplo, el gauge armnico, tambin lla-
mado gauge de de Donder, en el que se eligen coordenadas x tales que
(|g|1/2 g ) = 0).
donde (r) y m(r) son funciones sin determinar, excepto por la condicin
(r)[1 2Gm(r)/r] > 0 que garantiza que la mtrica tenga signatura lorentzia-
na. De la expresin de esta mtrica, vemos inmediatamente que = t es un
vector Killing temporal ortogonal a las hipersuperficies t = constante si y solo si
> 0 y 2Gm > r.
Las componentes diagonales temporal y radial del tensor de Einstein para
esta mtrica son (EJERCICIO)
2Gm0 0 2Gm
Gtt = , Grr = 2 ,
r2 r r (r 2Gm)
( + p)0 = 2p0 .
Esta ecuacin nos dice cul es el gradiente de presin necesario para compensar
el campo gravitatorio y mantener as el fluido en un estado esttico.
Las componentes diagonales temporal y radial de las ecuaciones de Einstein
son
0 2Gm + 8 Gr 3 p
m0 = 4r 2 , .
r(r 2Gm)
=
donde f = f(R ) con 0. Por tanto, las condiciones de pegado nos dicen
que las funciones m, y p deben ser continuas en la superficie de la estrella. En
particular, la presin entre el exterior y el interior se debe equilibrar y, puesto
que la presin en el exterior es cero, tambin debe serlo en la superficie. En otras
palabras, el valor ms pequeo del radio para el que la presin se anule sealar
el lmite de la estrella. La razn fsica para exigir que la presin sea continua es
que, en caso contrario, tendramos fuerzas infinitas debidas a gradientes infinitos
de presin actuando sobre el fluido. Notemos que las condiciones de pegado no
involucran la densidad, que puede ser discontinua en la superficie de la estrella.
La condicin de estaticidad exige que cualquier punto del exterior debe tener una
coordenada radial mayor que 2GM puesto que, en caso contrario, el vector de
Killing = t no sera de gnero tiempo en todo el espaciotiempo: sera de g-
nero espacio para r < 2GM, si esto fuese posible. Esta mtrica es asintticamente
plana, es decir, cuando r se convierte en la mtrica plana de Minkowski.
Un estudio ms general de la solucin exterior nos permite abandonar el
requisito de que la mtrica sea esttica ya que el siguiente teorema lo garantiza
[3].
Teorema de Birkhoff: Cualquier solucin esfricamente simtrica de las
ecuaciones de Einstein en vaco es esttica. Esta solucin esfricamente sim-
trica es esencialmente nica y est descrita por la familia uniparamtrica de
mtricas de Schwarzschild.
EJERCICIO: Demostrar el teorema de Birkhoff.
donde m(0) es una constante de integracin que debe anularse para no tener una
singularidad cnica, es decir, para que el rea de una pequea esfera centrada
en el origen sea 4 veces el cuadrado del radio geodsico (EJERCICIO).
Haciendo uso de esta expresin y de la ecuacin de estado, podemos integrar
la ecuacin de Oppenheimer-Volkov. La solucin depende de un solo parmetro
libre (adems de los que contenga la ecuacin de estado) por ser una ecuacin
diferencial ordinaria para la presin.
Las condiciones de pegado exigen que las funciones m y en el interior
satisfagan m(R) = M y (R) = 1 2GM/R. Adems, la presin se debe anular en
la superficie de la estrella, es decir, p(R) = 0, lo que fija la constante de integracin
de la ecuacin de Oppenheimer-Volkov.
RR
Notemos que la masa de Schwarzschild M es igual a M = 4 0 drr 2 , es
decir, es la energa no gravitatoria contenida en la estrella. Sin embargo, esta ex-
presin no es covariante puesto que, para calcularla, hemos utilizado el elemento
de volumen coordenado y no el invariante 4r 2 (1 2Gm/r)1/2 dr. En otras pala-
bras, no hemos incluido la energa potencial gravitatoria en el clculo. Es posible
demostrar (ver 5.4) que la masa de Schwarzschild es igual a la energa total
(ADM) de todo el espaciotiempo.
Vimos que GM < R/2 puesto que, en caso contrario, la mtrica exterior no
sera esttica. Si suponemos que la densidad no es negativa en el interior, entonces
es posible demostrar (usando las ecuaciones dinmicas y la condicin de que
> 0, tambin necesaria para que la mtrica sea esttica) que GM < 4R/9.
Tambin es posible demostrar que, si una cierta ecuacin de estado es vlida
para densidades inferiores a una cierta densidad dada 0 , entonces existe un
lmite superior para la masa de Schwarzschild de la estrella (que depende de
esta ecuacin de estado y de 0 ), independientemente de la ecuacin de estado
que gobierne el fluido para densidades superiores a 0 . Las demostraciones de
estas afirmaciones, que constituyen el teorema de Buchdahl, se pueden encontrar,
por ejemplo, en la referencia [2].
Nosotros consideraremos un caso especialmente simple que contiene sufi-
ciente informacin de inters y, adems, da cuenta aproximada (de forma muy
cruda) del comportamiento de una estrella de neutrones: el de un fluido perfecto
con densidad uniforme, cuya ecuacin de estado es (r) = 0 , hasta un cierto
radio R. Entonces, la funcin m(r) tiene la forma m(r) = 40 r 3 /3 en el interior
y m(r) = 40 R3 /3 = M en el exterior. La ecuacin de Oppenheimer-Volkov se
puede integrar exactamente y el resultado es
De esta expresin vemos que la presin central pc = p(0) se hace infinita para
4c3
Mmx = 1/2 6,7 106 M 01/2
3 1/2 0
(unidades cgs),
9(3 G )
1 = (1 2GM/r)t 2 + (1 2GM/r)1 r 2 .
3.5. Ejercicios
3.1 Demostrar que, si conocemos el cono nulo, podemos determinar el tensor
mtrico salvo un factor conforme.
3.2 Escribir las ecuaciones de movimiento, encontrar una accin y el tensor de
energa momento para un campo escalar y para un campo electromagntico.
Obtener las ecuaciones de movimiento a partir de la conservacin del tensor de
energa-momento. Determinar las condiciones de energa que satisfacen estos
campos.
3.3 Enunciar las condiciones de energa para un fluido perfecto en trminos de
la densidad y de la presin. Analizar la constante cosmolgica desde este punto
de vista.
3.4 Para ilustrar el arrastre de inerciales, consideremos el espaciotiempo deter-
minado por la mtrica en coordenadas esfricas
El espacio de Minkowski
= u0 = t 0 r 0 , < u0 v 0 < ,
tan u
tan v = v 0 = t 0 + r 0 , /2 < u v < /2.
con
i+ r0 = 0
u
= const.
I+ t 0 = const.
i0
I
v = const.
r 0 = const.
i
ds2 = 4dud
v + sen2 (
v u)d
2
2
= dt + dr + sen r d2 ,
2 2 2 2
con t = v + u,
r = v u.
La figura 4.1 representa el diagrama de Penrose del espaciotiempo M ca-
racterizado por este elemento de lnea, que es una compactificacin conforme
del espaciotiempo de Minkowski. Notemos que M incluye no solo el espacio de
Minkowski conforme sino todos sus infinitos conformes. Cada punto define una
2esfera, excepto i0 e i que son puntos.
H + (S )
D+ (S )
H (S ) D (S )
Una funcin global de tiempo es una funcin diferenciable t tal que su gra-
diente t a = g ab b t es un campo vectorial de gnero tiempo dirigido hacia el
pasado. Puede parecer extrao que t a deba estar dirigido hacia el pasado. Co-
mo ejemplo ilustrativo, consideremos la funcin global de tiempo t(x) = x 0 en
el espaciotiempo de Minkowski; en este caso, t = (1, 0), que est claramente
dirigido hacia el pasado.
No todos los espaciotiempos admiten una funcin global de tiempo. Sin em-
bargo, es posible demostrar [3] que todo espaciotiempo globalmente hiperblico
M admite una funcin global de tiempo t tal que cada superficie t definida
por t = constante es una superficie de Cauchy de gnero espacio. Por tanto, M
puede foliarse mediante superficies de Cauchy espaciales y la topologa de M es
R t .
Como consecuencia, todas las superficies de Cauchy de un espaciotiempo
globalmente hiperblico son homeomorfas. En efecto, por ser el espaciotiempo
globalmente hiperblico, existe una funcin global de tiempo t. Las rbitas de
t son de gnero tiempo y, por tanto, cortan a todas las superficies de Cauchy
una y solo una vez. Dadas dos superficies de Cauchy, la aplicacin obtenida al
asociar los puntos de interseccin de las rbitas de t con cada una de ellas es
biyectiva y continua (la inversa tambin es obviamente continua) y, por tanto, es
un homeomorfismo.
Como resumen, en un espaciotiempo globalmente hiperblico es posible de-
terminar lo que ocurre en cualquiera de sus puntos a partir de condiciones ini-
ciales en una de sus superficies de Cauchy. En otras palabras, las ecuaciones
de movimiento tienen solucin en todo el espaciotiempo y sta es nica si debe
satisfacer condiciones iniciales en una superficie de Cauchy.
= u = t r,
tan u < u < v < ,
tan v = v = t + r , /2 < u
< v < /2.
con
2 2 cos u
cos v 4r 2
ds = ds ,
2 2
= p , ds = 4dud
2
v+ d22 ,
1 + 2G|M|/r 1 + 2G|M|/r
donde r = r(u,
v ) est definido implcitamente por los cambios de coordenadas
anteriores.
Estamos en la misma situacin 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.3) es igual al del espacio de Minkowski (figura 4.1) con la
importante diferencia de que r = 0, que corresponde a u = v , es una singularidad
abcd
de curvatura (el escalar Rbcd R se hace infinito). El cierre de la interseccin
del pasado causal del infinito futuro nulo con todo el espaciotiempo M J (I+ )
es todo el diagrama de Penrose. Esta regin, no admite ninguna superficie de
Cauchy. En efecto, cualquier superficie de Cauchy putativa que tomemos ir des-
de i0 hasta la singularidad r = 0 (como las curvas t = constante en la figura 4.3)
pero su dominio de dependencia solo cubrir la regin que est a la derecha
de la curva u = constante que pasa por la interseccin de la superficie de Cau-
chy putativa con la singularidad. Por tanto, este espaciotiempo no es fuertemente
asintticamente predecible y r = 0 es una singularidad desnuda.
i+ r=0
u
= const.
I+ t = const.
i0
I
v = const.
r = const.
i
Eddington-Finkelstein como
cuyo recorrido es < u, v < +. Notemos que r es una coordenada tal que
dr = (1 2GM/r)1 dr.
singularidad r = 0 v0
u0
r =const.
M
i+ i+
2G
r=0
=
r
I+ H I+ t =const.
,
H+
r =const. H+
+
II
t=
II
IV I i0 IV I i0
t=
t =const. III
I H+ I
,
H
III
r
H
=
r=0 r =const.
2G
i i
singularidad r = 0 M
u0 = eu/4GM , v 0 = ev/4GM ,
32G3 M 3 r/2GM 0 0
ds2 = e du dv + r 2 d22 ,
r
donde r est definido implcitamente mediante u0 v 0 = (1 r/2GM)er/2GM .
El rango de las coordenadas u0 y v 0 para la regin exterior es u0 < 0, v 0 > 0.
As, vemos que este espaciotiempo admite una extensin analtica puesto que
las geodsicas parametrizadas por u0 y v 0 terminan artificialmente sin agotar
el recorrido de sus parmetros. Extendemos u0 y v 0 desde hasta +. As,
obtenemos la extensin de Kruskal, que es la nica extensin analtica mxima
del espaciotiempo de Schwarzschild (figura 4.4). Puesto que r > 0, vemos que u0
y v 0 estn restringidas por la condicin u0 v 0 < 1.
EJERCICIO: Comprobar que el vector de Killing t , que en el exterior (regin I)
es de gnero tiempo, en el interior (regin II) es de gnero espacio. Asimis-
mo, comprobar que, en esta regin interior, r es un vector de gnero tiempo
dirigido hacia el futuro.
= u0 ,
tan u tan v = v 0 , /2 < u,
v , u
+ v < /2,
a2 sen2 2 2GMr
ds2 = dt 2a sen2 dtd
(r 2 + a2 )2 a2 sen2
sen2 d2 + dr 2 + d 2 ,
+
donde a = J/M > 0 siendo M y J los dos parmetros libres de la familia, que
pueden interpretarse como la masa y el momento angular del espaciotiempo
cuando G2 M 2 > a2 , M > 0 y
= r 2 + a2 cos2 , = r 2 + a2 2GMr.
Z
z = r cos , t = [dt + dr(r 2 + a2 )/] r,
ds2 = dt 2 + dx 2 + dy 2 + dz2
2
2GMr 3 r(xdx + ydy) a(xdy ydx) zdz
+ dt ,
r + a 2 z2 r 2 + a2 r
+ 4 +
r 4 (x 2 + y 2 + z2 a2 )r 2 a2 z2 = 0.
x 2 + y 2 a2 a2 z2 /r 2 = a2 sen2 a2 .
i+
singularidad
anular, r = 0
I+ I+
CTCs
i0 r<0 r>0 i0
I I
Figura 4.5: Diagrama de Penrose para la solucin de Kerr con M 2 < a2 para
= 0, /2.
2 = g = a2 + GMa/ + O().
= + a/(2GMr ),
0 r r+ r
donde h(r) = (r)/(r 2 + a2 ). Notemos que los ceros r de (r) son tambin los
nicos ceros de h(r). Introduzcamos la coordenada radial r mediante la ecuacin
dr = dr/h(r) cuya solucin es
ds2 = h(r)(dt 2 + dr 2 ).
t=
=
@ @
H+
r
@ H
,
@
=
H+
@
H+
@
t=
r
@ @
i+ @ i+ i
III0
@i
t=
II
t=
=
@ @ @ @
r+
I+
@ I+
,
@ @ @
H
,
I+ H H
r
H @
+
I+
=
r
@ r<0
@ r<0
@
r
t=
,
=
@ @ @ @
r=0
r=0
r+
t=
i0 IV
@ I
@ i0 i0 VI
@ V
@ i0
r+
@ @ @ @
t=
t=
@ I = @ H
=
H+ @ H+
H+ I
r
@
I
,
I@
,
@ @ @
,
r
t=
r
=
@ @ @ @
t=
=
r+
@
i
@ @+ @ +
i III i II i
r
@ @
t=
H
=
@ H @
r
H@ H+
,
,
(a) @ (b)
r
@ @
t=
r
@ @
u = t r, v = t + r,
u0 = e+ u , v 0 = e + v , (4.2)
(r r )1+ / 2+ r
ds2 = k(r)du0 dv 0 , k(r) e ,
r 2 + a2
donde r est definido implcitamente por
III0
V
VI
II
IV
I
III
nidos por
0 = e u ,
u v 0 = e v ,
que cubren la parte < r < r+ y que solapan en la regin II (r < r < r+ ) con
las coordenadas u0 , v 0 . El diagrama de Penrose de esta regin est representado
en la figura 4.7b.
Uniendo ambos diagramas por su regin comn (II), obtenemos el diagrama
de Penrose de la seccin = 0 del espaciotiempo de Kerr. Es claro que este
espaciotiempo es extensible analticamente. Para obtener su extensin analtica
mxima, basta darse cuenta que la regin III y la III0 tienen las mismas carac-
tersticas y que podemos tomar dos espaciotiempos de Kerr como el anterior,
unirlos mediante la superposicin de las regiones III de uno y III0 del otro y as
sucesivamente para terminar obteniendo la figura 4.8.
EJERCICIO: Obtener el diagrama de Penrose de la seccin = /2 de la exten-
sin analtica mxima del espaciotiempo de Kerr.
@
@
@
@
II
@
@ @
@ @
@ @
@ @
IV
@ I
@
@ @
@ @
@ @
@ @
@ III
@
@
@
@
@
@
del parmetro afn de una geodsica nula que las corte, est dada por (EJERCICIO)
= 2 (u,
d(u) v /2)d
v,
2 (u
I , v ) 1/(/2 v ) cuando v /2.
Luego, en la regin exterior I, la distancia afn entre dos geodsicas nulas en-
trantes se hace arbitrariamente grande cuando nos acercamos a I+ definido por
v = /2.
En la regin II, v /2 indica que las geodsicas estn cerca del horizonte de
Cauchy H + y que, por tanto, r r . Teniendo en cuenta que h(r) r r 0
cuando r r , vemos que
r r
2 (u
II , v ) v /2.
v
cuando
sen 2
Para estudiar el comportamiento de este factor conforme, necesitamos escribir
r en trminos de u y v . Para ello, notemos que
como es fcil ver a partir de la ecuacin 4.3. Por tanto, r r (u0 v 0 )r+ /r y el
factor conforme se comporta de la siguiente forma cuando v /2:
Figura 4.10: La historia infinita de una partcula que viaja desde i hasta i+ es
vista en tiempo finito por un observador que alcanza el horizonte de Cauchy
H + debido a la acumulacin de geodsicas nulas en las inmediaciones de ste.
I+
r=0
i0 i+
r<0 H+ I+
I
H+
i0
x
g x < 0.
En la ergosfera, todas las componentes del tensor mtrico, excepto gt son po-
sitivas y todos los trminos salvo gt t
son positivos puesto que son de la forma
g . Por tanto, este trmino debe ser negativo, de forma que t
2 > 0. Finalmen-
te, dividiendo por t 2 , obtenemos d/dt > 0.
Debe notarse que t es una funcin global de tiempo, an en presencia de la
ergosfera, puesto que t = g t es un vector de gnero tiempo ( t t = g tt < 0)
dirigido hacia el pasado (t t = g tt < 0) y, por tanto, t > 0. Recordemos que
g tt = det(gij )/ det(g ) y puesto que det(gij ) > 0 y det(g ) < 0, obtenemos que
g tt < 0.
Puesto que, en la ergosfera, el Killing es de gnero espacio y el producto
escalar de un vector de gnero espacio con otro de gnero tiempo no tiene
signo definido, la energa E = pa a (donde el cuadrimomento p es un vector
de gnero tiempo), no es necesariamente positiva. As, si una partcula de energa
Ein se desintegra en la ergosfera en dos partculas de energas E1 y E2 tales que
la partcula 1 adquiere energa negativa y cae al agujero negro y la 2 adquiere
energa positiva y sale del mismo, la conservacin local de energa requiere que
E2 > Ein , obteniendo una ganancia neta de energa a costa de la energa del
agujero negro, por supuesto.
La cantidad de energa que se puede extraer de un agujero negro est limitada
por la segunda ley de la mecnica de agujeros negros, segn la cual el rea de
un agujero negro no puede decrecer (ver referencia [2]). El rea del horizonte
de un agujero negro de Kerr est dada por
Z q
A= dd g g = 16(r+ + a ) = 8 G M + M 4 J 2 /G .
2 2 2 2 2
r=r+
en su masa ser
s s
Jf2 Ji2
M = Mf Mi = A A
1 1
f i
Af Ai
+ 4 + 4
16 G2 16 G2
r s
Ji2
A A .
1 1
i i
Ai
+ 4
16 G2 16 G2
4.4. Singularidades
4.4.1. Congruencias
Una congruencia en un abierto V es una familia de curvas tales que por cada
punto de V pasa una y solo una curva de esa familia. Los vectores tangentes
de una congruencia definen un campo vectorial en V . Por otro lado, un campo
vectorial en V define una congruencia. Diremos que una congruencia es de clase
C si lo es su campo vectorial asociado.
z a = ub b za = zb b ua .
Vorticidad: ab = [b ua] .
La vorticidad es, obviamente, un tensor antisimtrico.
ab = (b ua) hab .
1
Cizalladura:
3
La cizalladura es un tensor simtrico y sin traza hab ab = 0.
ab ub = ab ub = 0,
b ua = ab + ab + hab .
1
3
Entonces, la velocidad de desviacin a lo largo de la congruencia adquiere la
forma
z a = ub b za = zb b ua = (ab + ab + hab )zb .
1
(4.4)
3
Los trminos de vorticidad, cizalladura y expansin tienen la misma inter-
pretacin que en la dinmica de fluidos newtoniana. La vorticidad es un tensor
antisimtrico y genera, por tanto, una rotacin de la desviacin geodsica dada
1
Notemos que h no es la mtrica inducida de ninguna hipersuperficie, de momento.
(b ua ) = uc c b ua = uc b c ua + Rcbad uc ud
= b (uc c ua ) b uc c ua + Rcbad uc ud (4.5)
= uc c = uc c a ua = a uc c ua Rac ua uc .
= ab ab ab ab 2 Rab ua ub .
1
3
ab = ab ac cb ac cb + hab (cd cd cd cd )
2 1
3 3
c d cd cd
+ Ccbad u u + hac hbd R hab hcd R .
1 1
2 3
b ka = ab + ab + hab .
1
2
La desviacin geodsica satisface la ecuacin
dza
= (ab + ab + hab )zb ,
1
d 2
donde es el parmetro afn de la congruencia. Por tanto, el elemento de rea
a de una seccin de la congruencia se ve afectado solo por la expansin (el
argumento es enteramente anlogo al de la seccin anterior para el elemento de
volumen):
= a.
da
d
La ecuacin de evolucin de la expansin que es tambin enteramente anlo-
ga a la ecuacin de Raychaudhuri, salvo por un factor numrico debido a la
= ab ab ab ab 2 Rab ka kb .
1
2
Como ocurre con las congruencias temporales, las congruencias nulas tambin
pueden presentar singularidades. De hecho, si se satisface la condicin nula de
convergencia, la expansin de las congruencias de geodsicas nulas ortogonales
a una hipersuperficie es tal que
+ 2 /2 0, 1 01 + /2,
Es globalmente hiperblico.
Ms an, bajo estas condiciones, al menos una geodsica nula, inextensible, di-
rigida hacia el futuro y ortogonal a la superficie atrapada tiene un longitud afn
inferior a 2/|0 |, donde 0 < 0 es el mayor valor (menor en mdulo) de la expan-
sin de las geodsicas nulas entrantes y salientes en la superficie atrapada.
Demostracin. Para demostrarlo, aceptaremos las hiptesis del teorema y
su anttesis, es decir, que todas las geodsicas nulas son completas y que, en
particular, las ortogonales a la superficie atrapada tienen longitud afn mayor o
igual que 2/|0 |.
Consideremos los dos subconjuntos de puntos que estn a una distancia afn
menor o igual a 2/|0 | a lo largo de las geodsicas nulas salientes y entrantes per-
pendiculares a la superficie atrapada T . Cada uno de estos conjuntos es compacto
tiempo
[I + (T )]
I + (T )
T
I + (T )
por ser homeomorfos al conjunto compacto T [0, 2/|0 |] y, por tanto, tambin
lo es su unin N .
Consideremos el futuro cronolgico I + (T ) de la superficie atrapada T , es
decir, el conjunto cuadridimensional de puntos que estn conectados con T me-
diante una curva temporal dirigida hacia el futuro de T . Sea I + (T ) su frontera
tridimensional nula. Si 0 < 0, entonces la expansin de las geodsicas nulas de
I + (T ) tambin ser negativa, de acuerdo con la ecuacin de Raychaudhuri (la
vorticidad se anula puesto que las geodsicas nulas son ortogonales a la super-
ficie atrapada T y se satisface la condicin nula de convergencia por hiptesis).
Entonces, como ya vimos, la expansin se hace infinitamente negativa en una
longitud afn finita (de hecho, menor que 2/|0 |). As concluimos que I + (T ) est
generada por segmentos geodsicos nulos finitos que parten desde T hacia su
futuro (ver figura 4.13) y es, por tanto, una hipersuperficie nula cerrada incluida
en el conjunto compacto N , por lo que I + (T ) es una variedad compacta.
Sea la hipersuperficie de Cauchy no compacta de las hiptesis del teorema
y sea t el vector de tiempo global que existe por ser el espaciotiempo globalmente
hiperblico. Consideremos la aplicacin : I + (T ) tal que para cada punto
p I + (T ), (p) es el punto de obtenido mediante una curva temporal dirigida
hacia el pasado generada por t. Puesto que I + (T ) es una hipersuperficie crona,
las curvas integrales de t pueden cruzarla solo una vez, lo que implica que
es un homeomorfismo en su imagen. Entonces, esta imagen [I + (T )] de la
r
=1
4.5. Ejercicios
4.1 Encontrar una extensin analtica mxima y dibujar el diagrama de Penrose
del espaciotiempo de Rindler.
4.2 Dada una hipersuperficie nula N y un vector nulo n perpendicular a
ella, demostrar que las curvas tangentes a n son geodsicas nulas tangen-
tes a N . Demostrar que las superficies x = 0 del espaciotiempo de Rindler
[ds2 = (ax)2 dt 2 + dx 2 ] son horizontes de Killing.
4.3 Demostrar que, si el flujo geodsico de un fluido perfecto en un cierto es-
paciotiempo tiene expansin y cizalladura nulas, entonces el espaciotiempo es
estacionario. Demostrar que, si adems no tiene vorticidad, entonces es esttico.
4.4 Demostrar que, en una congruencia de geodsicas temporales, el vector de
desviacin se puede escoger perpendicular a las lneas de flujo.
4.5 Encontrar la ecuacin de Raychaudhuri para una congruencia temporal no
geodsica.
4.6 Determinar la ecuacin de estado de un fluido perfecto autogravitante sin
expansin, vorticidad ni cizalladura cuyo flujo es geodsico.
4.7 Decidir si el espaciotiempo de Schwarzschild es singular mediante la aplica-
cin los teoremas de singularidad y, en caso afirmativo, describir sus singulari-
dades.
4.8 Estudiar las posibles singularidades del espaciotiempo cnico construido de
la siguiente manera: tomamos el espaciotiempo de Minkowski, suprimimos la
regin descrita por valores del ngulo azimutal (0, 0 ) e identificamos los
puntos correspondientes a = 0 con los correspondientes a = 0 . Calcular el
tensor de Riemann y relacionar su valor con el posible comportamiento singular
de este espaciotiempo.
4.9 Identificar las singularidades coordenadas y esenciales de la mtrica espa-
ciotemporal de Reissner-Nordstrm para todos los posibles valores de los pa-
rmetros que determinan esta mtrica. Analizar la predictibilidad para aquellos
valores de los parmetros para los que no existen singularidades coordenadas.
4.10 Determinar los valores de los parmetros que determinan la mtrica de
Reissner-Nordstrm para los que sta presenta un horizonte exterior de sucesos
y otro interior que resulta ser un horizonte de Cauchy. Demostrar que no es
posible cruzar el primero sin cruzar el segundo posteriormente. Obtener una
cota superior para el tiempo propio empleado entre ambos cruces. Decidir si,
despus de cruzar el horizonte de Cauchy, es inevitable caer en la singularidad.
4.11 Dibujar el diagrama de Penrose de la extensin analtica mxima del espa-
ciotiempo de Reissner-Nordstrm.
Formulacin hamiltoniana
5.1. Descomposicin 3 + 1
5.2. Hamiltoniano
5.2.1. Campos materiales
5.2.2. Campo gravitatorio
5.2.3. Hamiltoniano total
5.2.4. Dinmica hamiltoniana
5.3. lgebra de ligaduras y difeomorfismos espaciotemporales
5.4. Trminos de superficie. Masa y momento angular ADM
5.5. Ejercicios
5.1. Descomposicin 3 + 1
N = t a na , N a = hab t b , t a = Nna + N a .
5.2. Hamiltoniano
LM = |g|1/2 g ab a b + 2V () .
1
2
LM = Nh1/2 hab Da Db N 2 (
N a Da )2 + 2V () ,
1
2
donde Da es la derivada covariante espacial. El momento cannico es entonces
LM
p = = N 1 h1/2 (
N a Da ) = h1/2 na Da .
Z Z Z
HM = d x(NSM + N DM,a ),
3 a
SM = dt d xp
3 HM ,
t t
SM = DM,a = p Da .
1 1/2 1 2
h h p + hab Da Db + 2V () ,
2
+ Kab Kab K2 + 2a a ,
R=R a = na c nc nc c na . (5.1)
LG = + Kab Kab K2 ).
Nh1/2 (R
1
16 G
a = na , h
Contribucin de 1 . En esta superficie, n =hyK = K. Hacien-
do uso de la definicin de la curvatura extrnseca, es fcil ver (EJERCICIO)
que na a = K, de forma que esta contribucin se anula.
Contribucin de 0 . Anlogamente al caso anterior, en esta superficie, se
a = na , h
verifica n =hyK
= K, de forma que la contribucin de esta parte
de la frontera tambin se anula.
Contribucin de B. En esta superficie, n a es perpendicular a na . Por tanto,
a a = n
n a n c c n a = na n c c n
a . Por otro lado, a partir de la definicin de
la curvatura extrnseca, vemos que K =h ab a n
b . Juntando ambos resulta-
dos obtenemos
aa + K
n = (g ab + na nb n
an
b )a n
b = k.
na
tiempo
na
0 M 1
t St
B
a
n
En esta expresin, hemos introducido k, que es, como vamos a ver, la traza
de la curvatura extrnseca de St embebida en t . En efecto, si llamamos
ab = hab n an
b = gab + na nb n an
b a la primera forma fundamental de
ab
St , por definicin, k = Da n b y, en esta expresin, podemos obviamente
sustituir Da por a gracias a la presencia multiplicativa del proyector ab .
Por ltimo, los elementos de volumen de B y de St estn relacionados
mediante la expresin |h| 1/2 d3 x = N 1/2 dtd2 x.
Kab = Ln hab = N 1 [h
ab 2D(a Nb) ].
1 1
2 2
Entonces, el momento cannico conjugado a la mtrica espacial est dado por la
densidad tensorial (recordemos que el trmino de superficie de la accin gravi-
tatoria no depende de h
ab )
LG
pab = h1/2 (Kab Khab ), Kab = 16 Gh1/2 (pab hab p/2).
1
=
hab
16 G
Podemos ahora construir el hamiltoniano del sistema total del campo material
acoplado a la gravedad y su accin simplemente sumando ambas contribuciones,
Z Z
0 ab
H = H + HS , S = dt d x(h
3 ab p + p
) H ,
t
S S
0= = S, 0= = Da .
N N a
Notemos que las contribuciones provenientes del trmino de superficie HS0 son
nulas ya que N y N a se anulan en la frontera. Estas cuatro ecuaciones son
equivalentes a las obtenidas proyectando las ecuaciones de Einstein sobre la nor-
mal (Gab 8 GTab )na = 0 que, como ya vimos, no eran ecuaciones dinmicas.
Adems, como veremos en 5.3, los corchetes de Poisson de dos cualesquiera de
estas cuatro ligaduras son combinaciones lineales de ellas mismas (en la teora
de Dirac para sistemas con ligaduras,2 son ligaduras de primera clase).
Cada una de estas ligaduras de primera clase elimina un grado de libertad
completo, es decir, dos variables en el espacio de fases: por un lado, restringe los
posibles datos directamente; por el otro, dentro del espacio reducido, podemos
fijar libremente un origen irrelevante. En vez de desarrollar la teora completa
de Dirac para sistemas con ligaduras, ilustraremos este proceso de eliminacin
de grados de libertad por las ligaduras de primera clase en el lenguaje de Di-
rac con un ejemplo sencillo. Consideremos un sistema de N partculas libres
idnticas descrito por las variables cannicas xni y pni sometido a la condicin de
XZ F G F G
{F, G} = d x
3
.
n t n pn pn n
2
Ver, por ejemplo, las siguientes referencias:
P.A.M. Dirac, Lectures on Quantum Mechanics, Belfer Scientific, Graduate School of
Science, Yeshiva University, New York, 1964.
M. Henneaux y C. Teitelboim, Quantization of Gauge Systems, Princeton University Press,
Princeton, New Jersey, 1992.
nido al imponer estas tres ligaduras (que es de dimensin impar), las variables
Q i = N 1 n qni que describen la posicin del centro de inercia son irrelevan-
P
tes pues dependen exclusivamente del origen del sistema de referencia, que se
puede fijar libremente.
El recuento de grados de libertad del campo gravitatorio es el siguiente. Te-
nemos seis componentes de la mtrica espacial y otros seis de su momento
conjugado. Estas doce variables obedecen cuatro ligaduras de primera clase por
lo que nos quedan cuatro variables en el espacio de fases, es decir, dos grados
de libertad que corresponden, como veremos, a las dos posibles polarizaciones
de las ondas gravitatorias.
EJERCICIO: Estudiar el campo electromagntico desde el punto de vista hamil-
toniano.
= {, D[]}
= L , p = {p , D[]}
= L p ,
hab = {hab , D[]}
= L hab , pab = {pab , D[]}
= L pab .
= {, S[]} = Ln p = {p , S[]} = Ln p + a T ab ,
hab = {hab , S[]} = Ln hab , pab = {pab , S[]} = Ln pab + Gab 8 GTab .
dx i
Z
i i 1 ij
S[x , pi ] = dt pi h(t, x , pi ) , h= pi pj + V (t, x i ).
dt 2m
x = (t, x i ) , x = x () , p = p ().
Entonces, la accin
Z
S[x , p , N] = NH),
d(p x H(x , p ) = p0 + h(x , pi ),
t = N, i = Npi /m,
x p
0 = 0, p
i = Ni V ,
1/2 S ,
sol
T ab = 2|h|
h
ab
h ab h
ab h
ab
= 2na nb /N, = 2c(a nb) /N, = c(a db) ,
N N c cd
Puede demostrarse4 que este tensor, que puede interpretarse como el tensor
de energa-momento de todo el espaciotiempo en la frontera B , tiene diver-
gencia nula, D a T ab = 0. Si es un vector de Killing asinttico (definido sobre
B ), satisface la ecuacin de Killing asinttica D (a b) = 0. Por tanto, la corriente
b T ab
tambin tiene divergencia nula Da (b T ) = 0 y la carga
ab
Z Z
d x na b T = ab
d2 x 1/2 b (k k0 )nb + n d h1/2 pcd c b
Q = 2 1/2 1
St 8 G St
4
Ver, por ejemplo, la referencia J.D. Brown y J.W. York, Jr., Phys. Rev. D47 (1993) 1407;
Quasilocal energy and conserved charges derived from the gravitational action.
donde hemos introducido un signo negativo adicional para que satisfaga los con-
venios habituales.
Es posible demostrar que H[, ] = H [, ]
+ HS [, ],
donde H[, ]
repre-
senta la expresin del hamiltoniano con las funciones lapso y desplazamiento
sustituidas por y ,
genera difeomorfismos espaciales y reparametrizaciones
temporales en el interior del espaciotiempo, como ya hemos visto en 5.3, y tras-
laciones temporales y espaciales en la zona asinttica, estas ltimas generadas
por los trminos de superficie.
5.5. Ejercicios
5.1 Estudiar el campo electromagntico desde el punto de vista hamiltoniano.
+ Kab Kab K2 + 2a a ,
a) R = R a = na c nc nc c na ,
b) Kab = 21 Ln hab = 21 N 1 [h
ab 2D(a Nb) ].
5.4 Calcular los corchetes de las ligaduras Da y S con las variables del espacio
de fases (excepto el momento gravitatorio ya que el clculo es demasiado largo).
Radiacin gravitatoria
g ab = ab ab .
Rabcd = (c b ad + d a bc d b ac c a bd ),
1
2
Rab = ( c b ca + c a cb a b cc c c ab ),
1
2
R = a b ab a a bb ,
ab = ab ab cc .
1
2
En trminos de ab , el tensor de Einstein linealizado se puede escribir de la
1
Correo electrnico: olmedo@iem.cfmac.csic.es.
Gab = c c ab + c (b c a) ab c d cd .
1 1
2 2
0
Dos mtricas gab y gab relacionadas mediante un difeomorfismo generado
a
por un campo vectorial
g0ab = gab + L gab
representan el mismo espaciotiempo, como vimos en 3.1 y en 3.3.4. En la
aproximacin lineal, esta relacin implica que dos perturbaciones 0ab y ab re-
lacionadas mediante la expresin
0ab = ab + 2 (a b) ab c c
a ab = 0 (6.1)
0 = a ab ab c b
s = a no + c .
tr() = 0, 0i = 0, (6.2)
son buenas condiciones de fijacin de esta libertad gauge residual. En efecto, dada
cualquier perturbacin
no que no cumpla esta condicin (pero que s cumpla la
condicin de de Donder), existe un nico difeomorfismo generado por que la
transforma en otra s que s la cumple. Dicho difeomorfismo es solucin de las
ecuaciones
0 = ,
0 = tr( s ) = tr( no ) + ,
0 = s,0i = no,0i + 2(0 i) ,
k A = 0, A = 0, A0i = 0,
z =
1 2
z t z 0 = 0, z i = 2 zj i j .
1
2 2
c c ab = 16 GTab .
G (x x 0 ) = 4 (x x 0 ),
por lo que la solucin general retardada (es decir, la que describe el efecto de
la fuente en un tiempo futuro) de las ecuaciones de Einstein adquiere la forma
(EJERCICIO)
x 0 , t+0 ) 3 0
T (~
Z
(~
x , t) = (~
0
x , t) + 4G d x.
|~
xx ~ 0|
En esta expresin, 0 es una solucin de vaco que consideraremos nula puesto
que supondremos que el nico campo gravitatorio presente es el correspondien-
te a la onda que estamos estudiando. Adems, resultar conveniente utilizar la
x 0 , ) i|~x ~x 0 | 3 0
T (~
Z Z
it
x , ) =
(~ (~
x , t)e dt = 4G e d x.
1
2 |~
xx ~ 0|
i 0 = i i ,
donde debemos tener en cuenta que no hemos fijado la libertad gauge residual
como hicimos en el apartado anterior.
4Gei|~x |
Z
ij (~
x , ) = x 0 , )d3 x 0 .
Tij (~
|~
x|
Puesto que la exponencial ei|~x | oscila muchas veces antes de que la onda dismi-
nuya su amplitud notablemente, esta perturbacin se comporta como una onda
plana. La ley de conservacin del tensor de energa-momento T = 0 y el
hecho de que la fuente tenga extensin finita permiten escribir (EJERCICIO)
2
Z Z
ij 3
T d x= T 00 x i x j d3 x.
2
2G2 ei|~x |
ij (~
x , ) = qij (), ij (~
x , t) = qij |t+0 ,
2G
x| x|
(6.3)
3|~ 3|~
donde t+0 = t |~
x | es el tiempo retardado en la zona de radiacin.
Notemos que, en el orden ms bajo, la radiacin gravitatoria es cuadrupolar.
No existe radiacin dipolar como ocurre en la radiacin electromagntica. La
razn de esta ausencia
R estriba en que el anlogo gravitatorio al momento dipolar
elctrico p~ = ~ x d x es proporcional a la posicin del centro de masa, por
3
Gab = 8 Gtab .
(1)
Una fuente de alta frecuencia a 200 Mpc (una distancia que asegurara tener
varias coalescencias de estrellas de neutrones al ao al alcance del detector):
R 200 Mpc 109 a.l. A 1021 .
Una vez hemos estimado la precisin necesaria, vamos a obtener una ex-
presin aproximada para estimar la respuesta espectral de un detector (cmo
se comporta ante ondas gravitatorias de diferente frecuencia). No entraremos en
mucho detalle debido a la complejidad del problema, pero haremos una pequea
aproximacin con un modelo muy simplificado.
1 0
mx x1 x m02 (x1 x2 + l0 ) = 0
1
2Q
1 + ( 2) +
2
1 0
mx x2 x m02 (x2 x1 l0 ) = 0.
1
2Q
2 + ( 1) +
2
Podramos calcular las fuerzas de marea que se ejerceran sobre ambas ma-
sas y que cambiaran la elongacin del muelle con el formalismo que hemos
utilizado hasta ahora, de manera totalmente rigurosa. Sin embargo, por simplici-
dad en los clculos, vamos a abordar el problema con un tratamiento ms sencillo
e igualmente vlido (se puede demostrar que el resultado es el mismo hacindolo
de la manera ms rigurosa). El planteamiento alternativo que seguiremos es el
siguiente: el muelle experimentar una dilatacin o contraccin de su longitud
propia debido al paso de la onda gravitatoria, esta contraccin o dilatacin no
debera ser difcil de entender puesto que ambas masas oscilan acercndose y
alejndose como efecto de las fuerzas de marea (ya vimos cmo afectaba una
onda gravitatoria a un conjunto de masas en el apartado de polarizaciones). En
oposicin a dicha contraccin o dilatacin, el muelle ejercer una fuerza recupe-
radora proporcional a su elongacin propia.
Si la separacin entre las masas es l(t) de forma que l(0) = l0 y la onda viaja
en la direccin z entonces la elongacin del muelle tendremos que calcularla
con la mtrica de la forma usual integrando el elemento de lnea entre los dos
extremos del sensor [notemos que ahora l(t) 6= x2 (t) x1 (t)]:
Z x2 (t) p p
(t) = l(t) l0 = 1 + xx (t)dx l0 = x(t) 1 + xx (t) l0 .
x1 (t)
= x l0 + l0 xx /2,
x + l0 l0 xx /2.
0
+ + 02 l0 xx ,
1
Q 2
xx = A cos t.
l0 2 A
K p .
2 (2 02 )2 + 2 2
l0
K= A.
2
L c3 2 2
p= = A,
4R2 G
lo que implica que podemos escribir la amplitud de la onda recibida A en trminos
de las cantidades caractersticas de la radiacin emitida, es decir, su luminosidad
y su frecuencia: r
LG
A= .
1
2R c3
Hasta ahora, hemos analizado una onda monocromtica y, por tanto, de dura-
cin finita. Sin embargo, las fuentes astrofsicas (por ejemplo, agujeros negros en
coalescencia) solo emiten una seal detectable por nuestros sensores durante un
tiempo finito. Consideraremos, por tanto, la situacin ms realista de un pulso de
duracin , es decir, cuya distribucin de frecuencia est centrada en 2/.
Si llamamos Eg = L a la energa total radiada por la fuente, podemos estimar
la amplitud mediante la expresin
1/2
Eg G
A .
1
4R()3/2 c3
2 GM c3
,
2
c3 GM
que sustituyendo por masas del orden de la masa del Sol da como resultado
frecuencias del orden de los kHz.
Finalmente, podemos estimar la amplitud de la radiacin gravitatoria que llega
al detector en trminos de la energa total radiada, de la masa de la fuente y de
su distancia mediante la frmula
c3 Eg 1/2
A .
4G2 R(2M)3/2
c3 2 2
p= A ' 4 1035 2 A2 Wm2 .
G
Observamos que para una onda gravitatoria de amplitud A ' 1021 (Ms all del
supercmulo de Virgo) con una frecuencia de 1 kHz obtenemos que el flujo de
potencia radiado ser de 0,4045 Wm2 , que es mucho mayor que los flujos de
energa tpicos de ondas de electromagnticas de la misma frecuencia (radio)
emitidas a la misma distancia.
Entonces, por qu es tan difcil detectarlas? La principal razn es que las on-
das gravitatorias dejan un fraccin muy pequea de su energa en los detectores,
como veremos a continuacin. Esto tiene una ventaja y un gran inconveniente
a la hora de detectarlas: por un lado las ondas no se extinguen por interaccin
con el medio por el que se propagan pero, por otro lado, hace que los detectores
sean muy poco eficientes.
En efecto, la seccin eficaz de nuestro detector para la frecuencia ptima, es
decir, la de resonancia, es la razn entre la energa depositada en el detector E
y el flujo de energa recibido p. Si escribimos ambas cantidades en trminos
de la amplitud A y de la frecuencia resonante , obtenemos la expresin para la
Resulta obvio a la vista de esta frmula que los detectores ms eficientes son los
ms grandes y pesados y con el mayor factor de calidad.
Para los valores tpicos de un detector (Q 106 , m 1 t, l0 1 m, 1 kHz)3 ,
la seccin eficaz es del orden de 1016 cm2 , es decir, que a pesar de tener
detectores de metros de longitud, su eficiencia es equivalente al un detector per-
fecto de 1 aproximadamente.
Lejos de dar una explicacin completa, nos limitaremos a describir los princi-
pios bsicos de funcionamiento de un detector interferomtrico emplazado en la
Tierra. Si bien existen detectores basados en interfermetros de Fabry-Perot, de
Sagnac, interfermetros de alta reflectancia (para evitar fluctuaciones trmicas
del detector por absorcin de la luz lser), etc., el diseo ms sencillo de este tipo
de detectores est basados en los interfermetros de Michelson.
3
E. Coccia, Class. Quantum. Grav. 20 (2003) S135; Resonant-mass detectors of gravitational
waves in the short- and medium-term future.
4
R.P. Giffard, Phys. Rev. D14 (1976) 2478; Ultimate sensitivity limit of a resonant gravitational
wave antenna using a linear motion detector.
Ver, por ejemplo, la referencia L. Ju, D.G. Blair y C. Zhao, Rep. Prog. Phys. 63 (2000) 1317;
5
6.3. Ejercicios
6.1 Una de las estrellas del sistema binario PSR 1913+16 es un pulsar, por lo
que su rbita puede ser determinada midiendo las seales que emite. De las
pequeas variaciones en la periodicidad de la frecuencia del pulsar por efecto
Doppler podemos calcular su periodo: T = 27906,980895 0,000002 s. Se observa
que este periodo no es totalmente constante sino que decrece a un ritmo dado por
= (2,427 0,026) 1012 . Adems, a partir del patrn de frecuencias del pulsar,
T
podemos determinar el ngulo entre el periastro y la lnea de visin, observando
que la posicin del periastro vara en una cantidad igual a = 4,22659 0,00004
grados por ao. Tambin se puede obtener a partir de este patrn la excentricidad
de la rbita e = 0,6171313 0,0000010, que es bastante alta, as como otros
parmetros orbitales y el desplazamiento al rojo gravitatorio. Suponiendo que
toda la precesin del periastro es debida a la curvatura del espaciotiempo, es
posible determinar las masas de las dos estrellas de neutrones que componen el
sistema binario:
Referencias: J.M. Weisberg et al., Scientific American, October 1981, p.66; J.H.
Taylor et al., Nature 277 (1979) 437; J.H. Taylor and J.M. Weisberg, Astrophysical
Journal 345 (1989) 434.
a) rbitas
a1. En el lmite newtoniano, las dos estrellas del pulsar siguen rbitas elpti-
cas keplerianas. Probar que la energa total del sistema est dada por la
ecuacin
GM
E= ,
2a
donde es la masa reducida, M es la masa total y a es el semieje mayor
de la elipse.
a2. Demostrar que, la rbita de una masa de prueba alrededor de un cuerpo
de masa M est dada por
u02 + u2 = E
+ 2GMu/J 2 + 2GMu3 ,
= GMT .
E
3aT
Esta prdida de energa puede ser explicada por radiacin gravitatoria, co-
mo veremos en el resto del problema.
b3. Demostrar que Q = 3[GMa(1 e2 )]3/2 [u2 (u0 u00 uu000 )J 2u3 (u00 + u)J0 ].
...
Figura 6.5: Variacin acumulada del instante del periastro (en segundos) en
funcin del tiempo (en aos).
d2. Calcular hE
rg i y demostrar que T
= f(e)T
e=0 donde
de forma que T/
T obs = 0,99.
Relatividad computacional
(por David Yllanes1)
1
Correo electrnico: yllanes@lattice.fis.ucm.es.
7.1.1. El problema
Como vimos en 3.3, aunque las ecuaciones de Einstein tienen solo diez fun-
ciones incgnita (las componentes de la mtrica), aparecen muchas ms ecuacio-
nes de las que solo unas pocas son verdaderas ecuaciones fsicas de evolucin.
En general, para resolver el problema de valores iniciales debemos definir una
cierta foliacin del espaciotiempo y preocuparnos por
condiciones iniciales,
condiciones de contorno,
condiciones gauge:
sistema de coordenadas en t = 0,
evolucin de las coordenadas,
Los dos primeros puntos son comunes a todos los sistemas de ecuaciones di-
ferenciales en derivadas parciales, pero los ltimos introducen complicaciones
matemticas adicionales. Es en la eleccin del gauge en la que se diferencian los
diferentes formalismos. Aqu veremos dos tipos de condiciones gauge:
formulaciones armnicas.
h
ij = 2NKij , K ij 2Kil Kl j + KKij ),
ij = Di Dj N + N(R
x = 0,
x = H ,
Todos estos elementos fueron necesarios para que Pretorius4 fuese capaz de
simular la evolucin completa del sistema. Unos meses despus, se reprodu-
jeron los mismos resultados en el marco del formalismo BSSN. Se observ
de este modo que dos agujeros negros de masa M0 , separados inicialmen-
te una distancia propia de 16,6GM0 y con pequeas excentricidades orbita-
les acababan fusionndose en un solo agujero negro de masa Mf 1,90M0
y momento angular J 0,70GMf2 al cabo de poco ms de una rbita com-
pleta. Alrededor de un 5 % de la masa inicial se radiaba en forma de ondas
gravitatorias. Puede verse la animacin correspondiente a esta simulacin en
http://www.nasa.gov/centers/goddard/universe/gwave.html.
A pesar de lo dicho aqu, el sistema completo ms general dista mucho de
estar totalmente resuelto. Un problema concreto interesante es el del acoplo
espn-rbita. Se sabe que no pueden existir agujeros negros con J > GM 2 5 .
Si partimos de un sistema binario con momento angular muy grande (incluido
el orbital), los agujeros negros deben dar muchas vueltas radiando momento
angular hasta poder colisionar. Sin embargo, los mismos agujeros negros con
los espines compensados colapsan inmediatamente. No se sabe por qu ocurre
esto.
4
F. Pretorius, Phys. Rev. Lett., 95 (2005) 121101.
5
En el ejercicio 4.9, veamos un resultado parecido para la carga elctrica. El razonamiento
con el momento angular es anlogo, utilizando la mtrica de Kerr en lugar de la de Reissner-
Nordstrm. Para una explicacin ms detallada puede verse la referencia [1].
Hoy en da, se cuenta con algoritmos muy rpidos para tratar las primeras, inclu-
so para expresiones muy grandes, mientras que sigue siendo muy difcil aplicar
las segundas en tiempo real. Los algoritmos encargados de canonicalizar las ex-
presiones tensoriales de acuerdo con su simetra constituyen el elemento funda-
mental de todos los paquetes de relatividad algebraica. Con una implementacin
sofisticada, se puede convertir un problema que, en principio, parece crecer de
forma factorial con el nmero de ndices en un algoritmo con crecimiento poli-
nmico.
Actualmente, los programas de referencia dentro de la relatividad son GRTen-
sorII para el clculo por componentes y MathTensor para el clculo abstracto.
Otra opcin reciente es el proyecto xAct, que cuenta como puntos fuertes con
e f Rabcd = f e Rabcd Ragcd Rfeb g Rabgd Rfec g Rabcg Rfed g Rgbcd Rfea g .
A la vista del gran nmero de relaciones que hay que tener en cuenta, no
resulta difcil convencerse de que el problema sigue siendo muy complicado,
aun con ayuda informtica. En efecto, no solo hay que preocuparse de simetras
de permutacin, sino que aparecen tambin un gran nmero de relaciones que
involucran varios trminos. Como adelantbamos al inicio de esta seccin, estas
ltimas son demasiado complicadas como para tratarlas en tiempo real con los
mtodos actuales. El problema crece adems muy rpidamente con el nmero de
tensores de Riemann que queramos multiplicar. En efecto, si tenemos en cuenta
que la simetra de un producto de n tenores de Riemann est descrita por un
subgrupo de S4n , vemos que el nmero de elementos a considerar aumenta de
forma factorial.
10
Para ms detalles puede verse la referencia S.A. Fulling et al., Class. Quantum. Grav. 9
(1992) 1151.
11
J.M. Martn-Garca, R. Portugal y L. Manssur, Comp. Phys. Comm. 177 (2007) 640.
N (4N)! A A B B E E F F
1 24 1 1 1 0 1 0 1 0
2 40 320 3 4 2 1 2 1 2 1
3 108 9 27 5 6 3 2 3 2
4 1013 38 232 15 40 4 1 3 1
5 1018 204 2 582 54 330 5 2 3 2
6 1023 1 613 35 090 270 3 159 8 2 4 2
7 1029 16 539 558 323 1 639 7 1 3 1
Vemos que la disminucin ms grande es, con mucho, la producida por las si-
metras monotrmino. Esto permite confeccionar una base de datos de soluciones
para el resto. Aparecen en total unas pocas decenas de invariantes hasta orden
siete despus de aplicar todos los pasos. Si introducimos derivadas, el nmero de
escalares independientes se dispara: ms de mil para monomios con hasta doce
derivadas de la mtrica (contando cada Riemann como dos derivadas).
Topologa