Tópicos Avanzados de Relatividad General Tarea 1

Lı́mite Newtoniano para Ondas Gravitacionales producidas

por un sistema binario
Diego Alberto Baron a ? , Juan Luis Restrepo a ?? Luis Santander a ? ? ? ,
a Universidad de Antioquia. Antioquia, Colombia

Resumen

En este trabajo presentamos como se verı́a el potencial gravitacional en el caso donde dos estrellas se orbitan
mutuamente y producen ondas gravitacionales. Nosotros analizamos como hacer la correspondencia entre el
caso relativista y el newtoniano. Empezamos con la contrucción de la ecuación de desviación geodésica para
cada caso, luego debemos proyectar la ecuación relativista a una ecuación en el espacio de 3 dimensiones y
por último identificar el potencial gravitacional de las ecuaciones resultantes que estarán dadas en términos
de la métrica para el sistema de las dos estrellas.
Palabras clave: Ondas Gravitacionales, Lı́mite Newtoniano, Sistema Binario.

1. Introducción las ondas gravitacionales producidas por un sistema bina-

Una de las primeras predicciones teóricas de la rela-
tividad general son las ondas gravitacionales (Einstein
1916), solo hasta 1974 se descubrió evidencia indirecta
de este fenómeno (Taylor, Hulse) [1], ellos descubrie-
ron un sistema binario compuesto de una estrella de
neutrones y un pulsar. Debido a la emisión de ondas
gravitacionales el radio de la órbita de las estrellas debe
contraerse gradualmente. Las predicciones de la teorı́a
de la relatividad se ajustan de manera muy precisa a las
observaciones. Esto se puede ver en la Figura 1. Suma-
do a estos descubrimientos iniciales tenemos los últi-
mos descubrimientos de LIGO [2] (Laser Interferometer
Gravitational-Wave Observatory), éstos son los primeros
resultados que confirman la detección directa de ondas
gravitacionales, estas observaciones han aumentado re-
cientemente el interés en este tipo de fenómenos fı́sicos.
rio de estrellas. En lo que sigue nos disponemos a atacar
este problema de la forma más detallada y clara posible.
2. Marco Teórico
2.1. Ecuación de Desviación Newtoniana
Vamos a considerar dos partı́culas de prueba que se
mueven por trayectorias C1 y C2 , sujetas a un potencial
gravitacional φ, si usamos el tiempo t como el paráme-
tro a lo largo de la curva, la ecuación paramétrica de
posición para C1 es:
xα = xα (t) (1)
Notemos que en este caso el ı́ndice (α = 1, 2, 3) debido
a que estamos en el caso Newtoniano, se tiene entonces
la métrica euclı́dea en tres dimensiones

Es por esto que desde un punto de vista teórico es intere- gαβ = δαβ = diag(1, 1, 1) (2)
sante estudiar qué tipo de potencial gravitacional clásico, La ecuación de posición para C2 es:
serı́a el causante del tipo de perturbaciones asociadas a
xα = xα (t) + η α (t) (3)
? diegoa baronm@hotmail.com
?? jlrestrepol@gmail.com
? ? ? luis.santander@udea.edu.co
Tópicos Avanzados de Relatividad General

Fig. 1 Predicción de la relatividad general (lı́nea) y mediciones experimentales (puntos), las barras de error son tan
pequeñas que no se alcanzan a apreciar en la figura.

Donde η α (t) es un vector que conecta puntos en las dos dxa dxa
va = ; ξa = (9)
curvas a iguales valores de t. El esquema se muestra en dτ dτ
la Figura 2.
Por simplicidad escojamos las masas de las partı́culas v a es el vector tangente a la geodésica y ξ a es el vector
como m = 1, las ecuaciones de movimiento para tales que conecta dos geodésicas vecinas. Es importante notar
partı́culas son que

1ẍα = −1(∂ α φ)P (4) [v, ξ]a = v b ∂b ξ a − ξ n ∂b v a

dxb ∂
 a
dxb ∂
 a
dx dx
1(ẍα + η̈ α ) = −1(∂ α φ)Q (5) = − (10)
dτ ∂xb dν dν ∂xb dτ
Si asumimos que η α es pequeño podemos expandir (5)
Y debido a que
en serie de Taylor
df (xa ) ∂f (xa ) dxb d dxa ∂
ẍα + η̈ α = −(∂ α φ)P − η β ∂β (∂ α φ)P (6) = b
⇒ = (11)
dy ∂x dy dy dy ∂xa
Restando (5) de (3) Haciendo uso de (11) en (10):
η̈ α = −η β ∂β (∂ α φ) (7) d2 xa d2 xa
[v, ξ]a = − =0 (12)
Y definiendo Kβ α ≡ ∂β ∂ α φ, podemos escribir la ecua- dνdτ dτ dν
ción (7) como El conmutador de los campos es igual a la derivada de
Lie, por tanto:
η̈ α + η β Kβ α = 0 (8)
A esta última ecuación se le conoce como la ecuación 0 = Lν ξ a
de desviación Newtoniana. = v b ∂b ξ a − ξ b ∂b v a
= v b ∇b ξ a − ξ b ∇b v a (13)
2.2. Ecuación De Desviación Relativista a a
= ∇v ξ − ∇ξ v ⇒ ∇v ξ = ∇ξ v a a
(14)

Las partı́culas fı́sicas se mueven en geodésicas de tipo-
tiempo. Ası́ consideremos una superficie 2-dimensional
(S) formada por congruencias de geodésicas de tipo-
tiempo. La ecuación paramétrica de S es xa = xa (τ, ν).
Donde τ es el tiempo propio a lo largo de la geodésica y
ν etiqueta geodésicas distintas.
Definimos dos campos vectoriales en S:
En (13) hemos utilizado que podemos reemplazar las
derivadas de Lie por derivadas covariantes. Derivando
covariantemente la ecuación (14) en dirección v obtene-
mos:
∇v ∇v ξ a = ∇v ∇ξ v a (15)
Seria coherente que la desviación geodésica tenga que
ver con la curvatura de la variedad en la que se están

2
 Tarea 1

moviendo las partı́culas de prueba, por tanto es razona- hab v b = 0 (22)

ble utilizar la definición del tensor de Rienmann para W a
va = 0 ⇒ hab W b =W a
(23)
conectar los vectores v a , ξ a y el tensor de curvatura.
hab hbc = hac (24)
∇X ∇Y Z − ∇Y ∇X Z − ∇[X,Y ] Z = R(X, Y, Z) (16) haa = 3 (25)
Si X = Z = v y Y = ξ entonces la expresión (16) en hab = hba (26)
coordenadas es:
Por tanto definimos el vecotr de conexión ortogonal co-
∇v ∇ξ v a − ∇ξ ∇v v a − ∇[v,ξ] v a = Rabcd v b ξ c v d (17) mo:
η a = hab ξ b (27)
El último término en el lado izquierdo de la ecuación se
anula dado que [v, ξ] = 0, en el segundo término aparece Sabemos que como v a es un vector de tipo tiempo unita-
∇v v y debido a la definición de geodésica ∇v v = 0 este rio (v a va )
término también es nulo, asi la ecuación (17) se reduce a:
∇ξ (v a va ) = 0
0 = ∇v ∇ξ v a − Rabcd v b v c ξ d (18) 2va ∇ξ v a = 0 (28)
= ∇v ∇ v − Rabcd v b v c ξ d (19) Sabemos que
De (17) a (18) hemos usado (14). Definiendo Dξ a
D2 ξa a = ∇v ξ a = ∇v (η a + v a vb ξ b )
Dτ 2 ≡ ∇v ∇v ξ , obtenemos la ecuación de desvia-
Dτ
ción geodésica relativista: = ∇v η a + ∇v (v a vb ξ b )
D2 ξ a = ∇v η a + (∇v v a )vb ξ b + v a (∇v v b )ξ b
− Rabcd v b v c ξ d = 0 (20)
Dτ 2 + v a vb (∇v ξ b (29)
a
Pero no hemos terminado aún nuestra trabajo, debido a Dξ Dξ a Dη a
= ∇v η a ⇒ = (30)
que la ecuación (19): Dτ Dτ Dτ
1 Debe ser proyectada de tal manera que quede escri- En los primeros dos miembros de la izquierda de (28)
ta en términos de un vector η a que sea ortogonal a hemos usado la definición de geodéscia y en el último la
v a , esto en general no se cumple para ξ a . ecuación (27). Ahora veamos el segundo termino de la
2 Es una ecuación 4-D y nosotros queremos extraer ecuación (19):
la información 3-D de esta para poder comparar
con el caso Newtoniano. Rabcd v b v c ξ d = Rabcd v b (η d + v d ve ξ e )
Para resolver el primer problema debemos proyectar
= Rabcd v b v c η d + Rabcd v b v c v d ve ξ e (31)
la ecuación (19) en una dirección ⊥v a , introducimos el
operador de proyección en esta dirección, este operador Analicemos el último término de la derecha de (30)
es:
hab = δ ab − v a vb (21) Rabcd v b v c v d ve ξ e = −Rabdc v b v d v c ve ξ e ; Rabcd = −Rabdc

Este operador tiene las siguientes propiedades (Estas se = −Rabcd v b v c v d ve ξ e ; (c ↔ d)

demuestran en el Apéndice A): ⇒ Rabcd v b v c v d ve ξ e = 0 (32)

Fig. 2 Partı́culas de prueba cayendo bajo la influencia del

potencial gravitacional φ. Figura tomada de [3].

3
Tópicos Avanzados de Relatividad General
a
Ası́ Rbcd v b v c ξ d = Rbcd
a
v b v c η d , y por tanto la ecuación
(19) proyectada en una dirección ortogonal a v a es:
D2 ηa
− Rabcd v b v c η d = 0
Dτ 2
2.3. Correspondencia Newtoniana
Ahora que tenemos la Ecuación de la Desviación
Geodésica proyectada en dirección ortogonal a v a en 4D
el siguiente paso es extraer la información espacial. Para
esto nos cambiaremos a una base donde las partes espa-
ciales y temporales estén completamente separadas; es
decir, a una Vierbein o un frame(marco).
Como es usual, tomaremos ea0 como la parte temporal,
en nuestro problema la cuadrivelocidad es un vecto tem-
poraloide, esto lo probaremos más adelante. En este sen-
tido, escribimos ea0 ≡ v a . Note que esta definición lo
hacemos en un punto P de la geodésica C1 , luego ex-
tenderemos la definición a los demás puntos de la curva.
Las vectores unitarios espacialoides del frame son, en-
tonces, eaα = eα α α
1 , e2 , e3 note que α = 1, 2, 3. Luego, por
definición las siguientes relaciones son ciertas:
ea1 e1a = ea2 e2a = ea3 e3a = −1 (Unitariedad ) (34)
ea1 e2a = ea1 e3a = ea2 e3a = 0 (Ortogonalidad ) (35)
Además, como estamos tomando geodésicas temporaloi-
des y como v a es un vector tangente a estas, v a es un
vector temporaloide y por lo tanto es cierto que (ds)2 =
(dτ )2 lo que implica que
dxa dxb gab dxa dxb (ds)2
va v a = gab v a v b = gab = =
dτ dτ (dτ )2 (dτ )2
(36)
Fig. 3 Esquema del sistema binario.
Esto es equivalente a tener
e0a e0a = 1 (37)
(33) Y como va es tangente a la geodésica temporaloide, este
cuadrivector debe ser ortogonal a las direcciones espa-
ciales, por lo tanto, es cierto que
e0a e1a = e0a e2a = e0a e3a (38)
Las ecuaciones (34), (35), (37) y (38) se pueden escribir
simplemente como:
eai eja = ηij ; ηij = diag(1, −1, −1, −1) (39)
Esto es justo lo que buscamos, coordenadas que separen
las partes espaciales y temporales por completo.
También es importante notar que (39) nos permite definir
la matriz inversa de eai tal que:
eia ej a = δi ⇒ (eib eia )ej a = eib δij = ej b
(40)
⇒ δb a = eib eia
La interpretación fı́sica del frame es la siguiente: ea0 =
v a es la cuadrivelocidad de un obvservador cuya lı́nea de
mundo es la geodésica temporaloide C1 . eaα son vectores
espacialoides rectangulares similares a la terna (i, j, k)
eculı́dea en el punto P .
Para definir la Vierbein en toda la curva C1 simplemnte
transportamos paralelamente cada eai a lo largo de esta
D
(e a ) = 0 (41)
Dτ i
¿Cómo hallamos las proyecciones sobre el frame de un
cuadrivector cualquiera uα ? Si en 3D las componentes
en una base cualquiera las encontrábamos ası́: ve1 =
~v .eˆ1 , para un cuadrivector uα escribimos:
= 1
uα = eαa ua (42)
4
 Tarea 1

Note que si queremos hallar la proyección del vector Calculemos K βα :

conexión η en la dirección temporal obtendremos cero:
K βα = −Rabcd δ βa v b v c δα d = −Rβbcα v b v c (50)
0
η = e0a η a a
= va η = 0 (43) α
Pero como en el frame v = (v, 0, 0, 0) tenemos que:
ya que η y v son ortogonales, es más, forman una 2- K βα = −Rβ00α = Rβ0α0 (51)
superficie. Utilizando este resultado en la Ecuación de Desviación
Ahora es fácil extraer la información espacial de la ecua- Geodésica obtenemos:
ción de Desviación Geodésica. Sólo debemos contraer
D2 ηβ
esta con eαa: + Rβ0α0 η α = 0 (52)
 2  Dτ 2
D η a b c d Sea η α = (x, y, z). Calculando las componentes relevan-
− R bcd v v η eαa = 0
Dτ 2 tes del tensor de Riemann podemos escribir:
D2 α a (44) D2 x D2 x
(e a η ) − Rabcd eα b c d
a v v η = 0 , Por (41) + R10α0 = 0 ⇒ =0 (53)
Dτ 2 Dτ 2 Dτ 2
D2 ηα
− Rabcd eα b c d
av v η = 0
Dτ 2 D2 y 2 D2 y
+ R0α0 =0⇒ + R2020 y + R2030 z = 0
Con ayuda de (39) transformaremos un poco esta ecua- Dτ 2 Dτ 2
ción. La siguiente relación es útil: D2 y 1
+ (h22,00 y + h23,00 z) = 0
Dτ 2 2
η d = δ dc η c = eic eid η c (54)
= (e0c e0d + eβ c eβ d )η c (45) D2 z D2 z
3
d β c + R0α0 =0⇒ + R3020 y + R3030 z = 0
= eβ e c η Dτ 2 Dτ 2
D2 z 1
= eβ d η β (46) + (h23,00 y − h22,00 z) = 0
Dτ 2 2
Por lo que podemos reescribir (43) como: (55)
Ahora consideremos, por ejemplo, una onda h22 ; es de-
D2 ηα
− Rabcd eα v c d α
a v v eβ η = 0 (47) cir, una onda con polarización lineal en la que h23 = 0.
Dτ 2 En este caso obtenemos:
Si definimos K βα = Rabcd eα v c d α
a v v eβ η . Podemos re- D2 x D2 y 1 D2 z 1
escribir (45) en la misma forma que la Ecuación de Des- = 0, + h22,00 y = 0, − h22,00 z = 0
Dτ 2 Dτ 2 2 Dτ 2 2
viación Newtoniana: (56)
Estas son las ecuaciones diferenciales que dan la dinámi-
D2 ηα
+ K αβ η α = 0 (48) ca del sistema
Dτ 2
Esto es justamente lo que estábamos buscando, ahora 3. Aproximaciones al problema
continuemos con un cálculo más definido y no tan gene-
ral. Trabajaremos ahora con una métrica dada y encon-
Para y
traremos las ecuaciones de desviación para esta métrica. D2 y 1
+ h22,00 y = 0 (57)
Dτ 2 2
2.4. Desvaición Geodésica para una Métrica Es fácil mostrar que para un sistema binario con sus dos
linealizada. masas m iguales y rotando a frecuencia ω, diametral-
mente opuestas a una distancia 2R, como en la Figura 3:
Apliquemos ahora la ecuación (46) al caso en el que 8GmcR2 ω 2
h22 = cos(2ωτ ) (58)
existe una onda de Espacio-Tiempo. Esto significa reem- r
plazar los valores relevantes del tensor de Riemann para Con A = 8GmcR2 ω 2 cos(2ωτ ), tendremos que
una métrica linealizada.
4ω 2 A
Lo primero es escoger como sistema de coordenadas es- h22,00 = (59)
paciales el espacio euclı́deo (ya que estamos parados en r
la Vierbein), y por lo tanto, Ahora, de (56) escribamos la ecuación para el potencial
1
e ia = δ i a (49) ∇(∂y φ) · ~r + h22,00 y = 0 (60)
2
5
Tópicos Avanzados de Relatividad General

trivial por eso damos solo las soluciones para situaciones

2ω 2 A partı́culares, en últimas el potencial gravitacional newto-
∇(∂y φ) · ~r + cos(2ωτ )y = 0 (61)
r niano tiene que variar como ln(r) para poder producir
Por la simetrı́a del problema usemos coordenadas esféri- ondas gravitacionales como las del sistema binario, que-
cas da por explorar la forma analı́tica de éste potencial, si es
~r = xî + y ĵ + z k̂ = rr̂ (62) que se puede encontrar.

∂ ∂r ∂ ∂θ ∂ ∂ϕ ∂
= + + (63) 5. Apéndice
∂y ∂y ∂r ∂y ∂θ ∂y ∂ϕ
Por tanto
Mostremos las propiedades del operador proyección: 1.
∂φ ∂φ 1 ∂φ 1 cos ϕ ∂
= sin θ sin ϕ + cos θ sin ϕ +
∂y ∂r r ∂θ r sin θ ∂ϕ hab v b = δba v b − v a (vb v b )
(64)
El primer término de (60) es = v a − v a (1)
∂(∂y φ) hab v b = 0 (70)
∇(∂y φ) · ~r = r (65)
∂r
2.
La ecuación (60) se convierte en
∂(∂y φ) wa va = 0 ⇔ hab wb = δba wb − v a (vb wb )
r + 2ω 2 A sin θ sin ϕ = 0 (66)
∂r ⇒ wa − v a (0)
hab wb = wa (71)
∂2φ 1 ∂φ ∂2φ
r 2 − cot θ + cot θ
∂r r ∂θ ∂r∂θ 3.
cot ϕ ∂φ cot ϕ ∂ 2 φ
− + + 2ω 2 A = 0 (67)
r sin2 θ ∂ϕ sin2 θ ∂r∂ϕ hab hbc = (δba − v a vb )(δcb − vcb )
Esta es una ecuación diferencial parcial la cual es alta- = δba δcb − δba v b vc − v a vb δcb + v a (v b vb )vc
mente no trivial de resolver, la solución partı́cular cuando = δca − v a vc − v a vc + vcv
θ = ϕ = cte es
= δca − v a vc
2
φ(r) = 2ω Ar[ln(r) − 1] (68) hab hbc = hac (72)
Para z la ecuación resultante es
4.
∂ 2 φ tan θ ∂φ ∂2φ
r 2 + − tan θ − 2ω 2 A = 0 (69)
∂r r ∂θ ∂r∂θ haa = δaa − v a va
Como vemos, esta ecuación no es independiente de la
=4−1
ecuación resultante para y, además no entrega informa-
ción sobre la coordenada angular ϕ haa =3 (73)

4. Conclusiones 6. Bibliografı́a

Hemos estudiado en detalle las desviaciones newto-
niana y relativista, y hemos encontrado para el sistema
binario tres ecuaciones que describen su dinámica, la
parte en x es trivial, y el movimiento esta dado en el
plano y − z, solucionar esta ecuación es altamente no
1. Discovery of a pulsar in a binary system, Hulse R
A and Taylor J H 1975, Astrophys. J. 195 L51
2. Observation of Gravitational Waves from a Binary
Black Hole Merger, Phys. Rev. Lett. 116, 061102
3. Introducing Einstein‘s Relativity, Ray D‘Inverno.