Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Física
Calificación: —————————
Firma: —————————
Derechos de autor
Por medio del presente documento certifico que he leído todas las Políticas y Manuales de
la Universidad San Francisco de Quito USFQ, incluyendo la Política de Propiedad Intelectual
USFQ, y estoy de acuerdo con su contenido, por lo que los derechos de propiedad intelectual
del presente trabajo quedan sujetos a lo dispuesto en esas Políticas.
Asimismo, autorizo a la USFQ para que realice la digitalización y publicación de este tra-
bajo en el repositorio virtual, de conformidad a lo dispuesto en el Art. 144 de la Ley Orgánica
de Educación Superior.
Código: 00116177
AGRADECIMIENTOS
Resumen
En este trabajo se analiza en detalle el movimiento de objetos masivos alrededor de agujeros ne-
gros masivos, estáticos, con simetría esférica desprovistos de movimiento de rotación, descar-
gados o cargados. Las ecuaciones que se utilizaron para describir el movimiento de cuerpos
alrededor de agujeros negros se deducen a partir de la ecuación de la métrica y de las geodési-
cas. Se emplean las métricas de Schwarzschild y Reissner-Nordström, derivadas de las ecua-
ciones de campo de Einstein. Dichas métricas describen la curvatura del espacio-tiempo en
relación a la distribución de materia y energía en cuestión. Primero se deducen las ecuaciones
de movimiento para el caso de la métrica de Schwarzschild y en el siguiente capítulo se realiza
el mismo procedimiento para la métrica de Reissner-Nordström. En cada caso se consideran
las características correspondientes a cada métrica, por ejemplo, para el caso de Schwarzschild
el espacio-tiempo es el de un campo gravitacional estático, con simetría esférica y desprovisto
de carga eléctrica; en el caso de Reissner-Nordström se considera además una carga eléctrica.
Para ambas métricas se exhibe una variedad de ejemplos que ilustran la forma de las órbitas.
6
Abstract
This dissertation analyzes in detail the motion of massive objects around massive black holes,
which are static, with spherical symmetry, absent of rotation, and charged or uncharged. As
it will be shown, all the equations employed to describe the motion of particles around black
holes are derived from the equation of the geodesics and the metric. The Schwarzschild and
Reissner-Nordström metrics are used, which are derived from Einstein’s field equations. Said
metrics describe the curvature of space-time, in relation to the distribution of matter and en-
ergy in question. Firstly, said equations of motion are derived for Schwarzschild’s metric, and
in the succeeding chapter the same procedure is followed for Reissner-Nordström’s metric. In
each case, the corresponding characteristics to each metric are considered, for instance, for
Schwarzschild’s metric space-time is the one of a static, spherically symmetric and uncharged
gravitational field; conversely in the Reissner-Nordstöm metric a net electric charge is consid-
ered alongside the source of gravity. For both metrics, a variety of examples that illustrate the
shape of the orbits are shown.
7
ÍNDICE
Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
I Introducción 8
II Métrica de Schwarzschild 11
2.1 Ecuaciones del movimiento . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.1 Sistema binario OJ287 . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.2 Otros ejemplos con masa del agujero negro de Sagitario A* . . . . . . 22
Anexos 50
Capítulo I
Introducción
En 1915, Albert Einstein publicó la Teoría General de la Relatividad (TGR), con el objetivo de
generalizar la teoría gravitacional de Newton a un ámbito relativista [1]. Esta es una elegante y
poderosa formulación que describe al campo gravitacional y sus ecuaciones. Entre las predic-
ciones más notables tenemos el corrimiento hacia el rojo gravitacional, el avance del periastro,
la dilatación del tiempo gravitacional, la desviación de la luz y lentes gravitacionales. Funda-
mentalmente, la TGR obedece el principio de covarianza, el cual dicta que todo observador,
inercial o no, experimenta las leyes de la física de la misma manera; también generaliza las
leyes de la física a un espacio-tiempo curvo, dado que éstas funcionan de la misma manera que
en un espacio-tiempo plano, llamado principio de mínimo acoplamiento gravitacional. También
se considera que existe una equivalencia entre la masa gravitacional y la masa inercial, referido
como el principio de equivalencia, lo cual impide diferenciar entre aceleración y gravedad. Por
ejemplo, una persona cayendo en el vacío no puede saber si está en reposo dentro de un campo
gravitacional o siendo acelerado por una fuerza externa. En 1885, Loránd Eötvös demostró
este principio con gran precisión utilizando una balanza de torsión, inicialmente obtuvo un er-
9
ror del orden de 10−9 , a partir de este momento se siguieron realizando experimentos cada vez
con mayor precisión [2]. En la TGR se estudia la topología del espacio-tiempo, relacionándola
con la interacción entre cuerpos masivos, entonces, la atracción gravitacional se explica con la
curvatura del espacio-tiempo generada por la densidad de materia y energía existentes en cada
punto del universo. Esta curvatura del espacio-tiempo, determina la trayectoria de un cuerpo
al entrar en un campo gravitacional, el cual tomará el camino más corto entre 2 puntos, y en
el caso de un espacio-tiempo curvo, este camino se denomina geodésica y es equivalente a una
recta en un espacio-tiempo plano. Por ejemplo, para una órbita elíptica de un cuerpo celeste
alrededor de una estrella, la geodésica describe una elipse en el espacio-tiempo curvado por
la masa y energía de dicha estrella, pero si fuéramos a “extender” al espacio-tiempo como si
fuera un papel con semejante geometría, veríamos a la trayectoria elíptica como una línea recta.
Entonces, con la TGR hemos dejado de lado el concepto de fuerza para la gravitación, y la
reemplazamos con un fenómeno topológico del espacio-tiempo.
La Teoría General de la Relatividad está descrita con catorce ecuaciones, diez de las cuales
son las ecuaciones de campo de Einstein y las cuatro restantes son las geodésicas. Estas ecua-
ciones describen la curvatura del espacio tiempo, sus propiedades geométricas, y la interacción
de la materia y energía. Las ecuaciones de campo de Einstein se pueden utilizar para encon-
trar la métrica del espacio-tiempo para una distribución de materia y energía, y se resumen en
notación tensorial de la siguiente manera [3]:
1 8πG
Rµν − Rgµν = 4 Tµν + λgµν
2 c
d2 xµ dxν dxρ
+ Γµνρ =0
dτ 2 dτ dτ
1
Γµρσ = g µα {∂σ gρα + ∂ρ gσα − ∂α gρσ } ,
2
τ es el tiempo propio (tiempo medido por un observador inmerso en la región del campo grav-
itacional), y xµ es el cuadrivector que describe la posición del cuerpo. El tiempo propio es
proporcional a la longitud de arco en el espacio-tiempo:
1
(ds)2 = c2 (dτ )2 = γc2 (dt)2 − (dr)2 − r2 (dθ)2 − r2 sin2 θ(dφ)2
γ
Capítulo II
Métrica de Schwarzschild
Karl Schwarzschild, físico y astrónomo alemán, encontró la primera solución analítica a las
ecuaciones de campo de Einstein para el caso de una distribución de masa estática en 1915.
Entonces podemos escribir el intervalo invariante (ds)2 con dicha solución [2]:
2GM
donde γ = 1 − rc2
, M es la masa que genera el campo gravitacional, G = 6.67408 ∗
10− 11[m3 kg −1 s−2 ] es la constante de gravitación universal, por simplicidad escribimos al
2GM
radio de Schwarzschild rs = c2
(radio del horizonte de sucesos de un agujero negro de
Schwarzschild)y ponemos (dΩ)2 = (dθ)2 + (sin θdφ)2 .
rs
con γ = 1 − r
.
Ahora, la forma covariante del tensor métrico está dada por:
12
γ 0 0 0
0 −γ −1 0 0
gµν = (2.2)
0
0 −r2 0
0 0 0 −r2 sin2 θ
y la contravariante:
−1
γ 0 0 0
0 −γ 0 0
g µν = (2.3)
−2
0
0 −r 0
0 0 0 −r−2 sin−2 θ
rs r
t̃ = t ± ln − 1 (2.4)
c rs
2 2 rs rs
2
(ds) = c γ dt̃ − 1 + (dr)2 ∓ 2c dt̃dr − r2 (dΩ)2
r c
13
de un "agujero blanco". Este último se comporta al inverso de un agujero negro, emite materia
y energía a partir de la singularidad r = 0, pero es una solución matemática que la métrica
permite, no se ha observado ningún evento con dichas características.
d2 xµ dxν dxρ
2
+ Γµνρ =0
dτ dτ dτ
d2 t dxν dxρ
c + Γ0νρ =0
dτ 2 dτ dτ
d2 t dx0 dx1
c + 2Γ001 =0
dτ 2 dτ dτ
d2 t
1 dγ dt dr
c +2 c =0
dτ 2 2γ dr dτ dτ
14
d2 t
1 dγ dt
+ =0
dτ 2 γ dτ dτ
d2 t
dγ dt
γ + =0
dτ 2 dτ dτ
d dt
γ =0
dτ dτ
dt
⇒γ = cte.
dτ
dt
γm0 c2 = cte. = E (2.5)
dτ
d 2 x3 dxν dxρ
+ Γ3νρ =0
dτ 2 dτ dτ
d2 φ dxν dxρ
+ Γ3νρ =0
dτ 2 dτ dτ
d2 φ 2
dr dφ
+ =0
dτ 2 r dτ dτ
2
2d φ dr dφ
r + 2r =0
dτ 2 dτ dτ
d 2 dφ
r =0
dτ dτ
dφ
=⇒ r2 = cte.
dτ
dφ
r2 =J (2.6)
dτ
=⇒ sin(θ) = sin(π/2) = 1; dθ = 0
1
c2 (dτ )2 = γc2 (dt)2 − (dr)2 − r2 (dφ)2
γ
16
2 2 2
2 2 dt 1 dr 2 dφ
c = γc − −r
dτ γ dτ dτ
2 2 2
2 2 dt m0 dr 2 dφ
m0 c = γm0 c − − m0 r
dτ γ dτ dτ
2 2
E2
dt E
= =
dτ γm0 c2 γ 2 m 0 2 c4
2 2
E2
2 m0 dr 2 dφ
=⇒ m0 c = 2
− − m0 r
γm0 c γ dτ dτ
2 2
E2 γm0 r2
1 2 m0 dr dφ
γm0 c = 2
− −
2 2m0 c 2 dτ 2 dτ
2 2
E2 γm0 r2
1 2GM 2 m0 dr dφ
1− m0 c = − −
2 rc2 2m0 c 2 2 dτ 2 dτ
2 2
E2 γm0 r2
1 2GM m0 m0 dr dφ
m0 c2 − = 2
− −
2 r 2m0 c 2 dτ 2 dτ
2
E2
1 dr 2 1 dφ GM m0 1
=⇒ m0 + γm0 r2 − =T ≡ − m0 c2 = cte. (2.7)
2 dτ 2 dτ r 2 m0 c2
2 2 !
d 1 dr 1 dφ GM m0 dT
m0 + γm0 r2 − = =0
dτ 2 dτ 2 dτ r dτ
2 2
d2 r
dr 1 dγ 2 dφ dr dφ
+ r +γ r
dτ dτ 2 2 dτ dτ dτ dτ
d2 φ
2 dφ GM dr
+γ r + 2 =0
dτ dτ 2 r dτ
dγ d 2GM 2GM dr
= 1− = 2 2
dτ dτ rc2 r c dτ
d2 φ
dφ J 2J dr
= 2 −→ 2
=− 3
dτ r dτ r dτ
2 2
d2 r
dr GM dr 2 dφ dr dφ
+ 2 2 r +γ r
dτ dτ 2 r c dτ dτ dτ dτ
2 dφ 2J dr GM dr
+γ r − 3 + 2 =0
dτ r dτ r dτ
" 2 2 #
d2 r
dr GM dφ dφ dφ 2J GM
+ 2 2 r2 +γ r + γ r2 − 3 + 2 =0
dτ dτ 2 r c dτ dτ dτ r r
dr
= 0,
dτ
2 2
d2 r
GM dφ 2GM dφ
+ + 1− r
dτ 2 c2 dτ rc 2 dτ
2GM dφ 2J GM
+ 1− − + =0
rc2 dτ r r2
2 2
d2 r
GM dφ 2GM dφ
+ + r− 2
dτ 2 c2 dτ c dτ
2GM dφ 2J GM
+ 1− 2
− + 2 =0
rc dτ r r
2
d2 r
GM J 2GM 2J J GM
+ r− 2 + 1− − + 2 =0
dτ 2 c r2 rc 2 r r 2 r
d2 r
2 2
GM J 2GM 2J GM
+ r− 2 − 1− + 2 =0
dτ 2 c r 4 rc 2 r 3 r
d2 r J 2 GM J 2 2J 2 4GM J 2
GM
+ − 2 4 − − 2 + =0
dτ 2 r3 c r r3 c r4 r2
19
d2 r J 2 3GM J 2
GM
− − 2 + =0
dτ 2 r3 c r4 r2
d2 r J 2 3GM J 2
GM
=⇒ =− + − 2 (2.8)
dτ 2 r2 r3 c r4
1
(ds)2 = c2 (dτ )2 = γc2 (dt)2 − (dr)2 − r2 (dφ)2
γ
2 2 2
r2
dt 1 dr dφ
1=γ − 2 − 2
dτ cγ dτ c dτ
2 2 2
r2
dt 1 1 dr dφ
= + 2 2 + 2 ,
dτ γ cγ dτ cγ dτ
de donde,
dr 2
2 !1/2
r2 dφ
dt 1 dτ dτ
= 2GM
+ 2 + 2
c 1 − 2GM
dτ 1− rc2 c2 1 − 2GM rc 2
rc2
2 2 !1/2
rc2 r 2 c2 r3
dt dr dφ
= + + 2
dτ rc2 − 2GM (rc2 − 2GM )2 dτ rc − 2GM dτ
20
s 2 2
dt rc2 r 2 c2 dr r3 dφ
=⇒ = + + 2 (2.9)
dτ rc2 − 2GM (rc2 − 2GM )2 dτ rc − 2GM dτ
La ecuación (2.9), nos da la variación del tiempo con respecto al tiempo propio en cualquier
punto del espacio.
Esta es otra de las ecuaciones que se utilizan en el programa para simular las órbitas en esta
métrica.
Por último, para realizar una simulación de un sistema real, es necesario calcular el momento
angular del cuerpo que orbita al agujero negro. La expresión es la siguiente [6]:
GM (1 − e2 ) a
J2 = rs (3+e2 )
(2.10)
1− 2a (1−e2 )
Esta ecuación representa al momento angular por unidad de masa, y se deduce de la métrica
de Schwarzschild; en la cual se asume una trayectoria elíptica y se obtiene al sumar las ecua-
ciones correspondientes para 2 puntos de la órbita, el afelio y el perihelio.
Por último, en esta métrica se puede fácilmente deducir una ecuación para el avance del
perihelio en el caso de órbitas elípticas. Esta expresión, nuevamente, se extrae de la ecuación
de la métrica [4].
6πGM
ε= (2.11)
a(1 − e2 )c2
Como veremos en la siguiente sección, las simulaciones de las órbitas contienen el avance
del perihelio en la solución numérica de las ecuaciones expuestas anteriormente, por lo tanto no
es necesario tomar en cuenta la ecuación (2.11).
21
2.2 Ejemplos
Parámetro Valor
M 1.88 × 1010 M
m 1.40 × 108 M
J 4.8856 × 1022 [m2 /s]
e 0.658
a 11500 U A
Parámetro Valor
M 4.31 × 106 M
J 2 × 1020 [m2 /s]
∆t 4 × 106 [s]
a 1013 [m]
23
Parámetro Valor
M 4.31 × 106 M
J 1020 [m2 /s]
∆t 4 × 106 [s]
a 1013 [m]
24
Parámetro Valor
M 4.31 × 106 M
J 1019 [m2 /s]
∆t 3.5 × 107 [s]
a 1013 [m]
25
Parámetro Valor
M 4.31 × 106 M
J 1019 [m2 /s]
∆t 6 × 105 [s]
a 1011 [m]
Parámetro Valor
M 4.31 × 106 M
J 1019 [m2 /s]
∆t 5 × 106 [s]
a 1012 [m]
26
Parámetro Valor
M 4.31 × 106 M
J 8 × 1018 [m2 /s]
∆t 3 × 104 [s]
a 1011 [m]
27
Parámetro Valor
M 4.31 × 106 M
J 6.8 × 1018 [m2 /s]
∆t 5 × 103 [s]
a 1.5 × 1011 [m]
28
Capítulo III
Métrica de Reissner-Nordström
En 1921, Hans Reissner, Hermann Weyl, Gunnar Nordström y George Barker Jeffery derivaron
la métrica de Reissner-Nordström. Esta es una solución para las ecuaciones de campo de Ein-
stein para una masa simétricamente esférica con carga eléctrica. El intervalo invariante (ds) se
escribe con dicha solución de la siguiente manera [7]:
1
(ds)2 = c2 (dτ )2 = ∆c2 (dt)2 − (dr)2 − r2 (dθ)2 − r2 sin2 (θ) (dφ)2 (3.1)
∆
2GM Q2 G r
donde ∆ = 1 − rc2
+ 4π0 r2 c4 = 1 − rrs + rQ2 , Q es la carga eléctrica del cuerpo con
masa M que genera el campo gravitacional, 0 es la permitividad eléctrica del vacío; rQ =
Q2 G
4π0 c4
.
La forma covariante del tensor métrico es:
29
∆ 0 0 0
0 −∆−1 0 0
gµν = (3.2)
0
0 −r2 0
0 0 0 −r2 sin2 θ
y la contravariante:
−1
∆ 0 0 0
0 −∆ 0 0
g µν = (3.3)
−2
0
0 −r 0
0 0 0 −r−2 sin−2 θ
Q2 G
2GM
∆= 1− + =0
rc2 4π0 r2 c4
2GM Q2 G
r2 − r + =0
c2 4π0 c4
2 ! 21
Q2 G
GM GM
r= 2 ± −
c c2 4π0 c4
2 Q2 G
Cuando GM
c2
> 4π0c
4 , existen 2 horizontes de sucesos (r1 y r2 ).
30
GM 2 Q2 G
Finalmente, si c2
= sólamente existe 1 horizonte de sucesos igual a 1/2 del
4π0 c4
,
2 12
Q G
radio de Schwarzschild (r = 21 rs = GM
c2
= 4π0 c4
).
d2 xµ dxν dxρ
+ Γµνρ =0
dτ 2 dτ dτ
d2 t dxν dxρ
c + Γ0νρ =0
dτ 2 dτ dτ
d2 t dx0 dx1
c + 2Γ001 =0
dτ 2 dτ dτ
d2 t
1 d∆ dt dr
c +2 c =0
dτ 2 2∆ dr dτ dτ
d2 t
1 d∆ dt
+ =0
dτ 2 ∆ dτ dτ
d2 t
d∆ dt
∆ + =0
dτ 2 dτ dτ
31
d dt
∆ =0
dτ dτ
dt
⇒∆ = cte.
dτ
dt
∆m0 c2 = cte. = E (3.4)
dτ
Donde E es la energía total de la partícula. Como podemos ver, la ecuación (3.4) es similar
a la ecuación (2.5), sólamente cambia el factor γ por ∆, esto se da porque la métrica es diagonal
en ambos casos. Suponemos que la partícula de masa m0 no tiene carga eléctrica.
Ahora, buscamos la ecuación del momentum angular con µ= 3 :
d 2 x3 dxν dxρ
+ Γ3νρ =0
dτ 2 dτ dτ
d2 φ dxν dxρ
2
+ Γ3νρ =0
dτ dτ dτ
d2 φ 2
dr dφ
+ =0
dτ 2 r dτ dτ
32
2
2d φ dr dφ
r + 2r =0
dτ 2 dτ dτ
d 2 dφ
r =0
dτ dτ
dφ
=⇒ r2 = cte.
dτ
dφ
r2 =J (3.5)
dτ
1
(ds)2 = c2 (dτ )2 = ∆c2 (dt)2 − (dr)2 − r2 (dθ)2 − r2 sin2 (θ) (dφ)2
∆
=⇒ sin(θ) = sin(π/2) = 1; dθ = 0
1
c2 (dτ )2 = ∆c2 (dt)2 − (dr)2 − r2 (dφ)2
∆
33
2 2 2
2 2 dt 1 dr 2 dφ
c = ∆c − −r
dτ ∆ dτ dτ
2 2 2
2 2 dt m0 dr 2 dφ
m0 c = ∆m0 c − − m0 r
dτ ∆ dτ dτ
2
E2
dt E 2
= =
dτ ∆m0 c2 ∆2 m0 2 c4
2 2
E2
2 m0 dr 2 dφ
=⇒ m0 c = 2
− − m0 r
∆m0 c ∆ dτ dτ
2 2
E2 ∆m0 r2
1 2 m0 dr dφ
∆m0 c = 2
− −
2 2m0 c 2 dτ 2 dτ
2 2
E2 Q2 G ∆m0 r2 dφ
1 2GM 2 m0 dr
2
− 1− + m0 c = +
2m0 c 2 rc2 4π0 r2 c4 2 dτ 2 dτ
2 2
E2 Q2 Gm0 ∆m0 r2
1 2 GM m0 m0 dr dφ
2
− m0 c + − 2 2
= +
2m0 c 2 r 8π0 r c 2 dτ 2 dτ
2 2
Q2 Gm0
1 dr 1 dφ GM m0
=⇒ m0 + ∆m0 r2 − + =T
2 dτ 2 dτ r 8π0 r2 c
2
(3.6)
E2
1
≡ − m0 c2 = cte.
2 m 0 c2
(3.6) es la ecuación de la trayectoria para la métrica de Reissner-Nordström, la cual añade
34
la contribución de la carga, pero mantiene una forma similar a la ecuación que se derivó para el
caso de la solución de Schwarzschild. De la misma manera, derivamos con respecto al tiempo
propio para obtener la ecuación de la aceleración en este caso:
2 2 !
Q2 Gm0
d 1 dr 1 dφ GM m0 dT
m0 + ∆m0 r2 − + = =0
dτ 2 dτ 2 dτ r 8π0 r2 c2 dτ
2 2
d2 r
dr 1 d∆ dφ dr dφ
m0 + m0 r 2 + ∆m0 r
dτ dτ 2 2 dτ dτ dτ dτ
2
Q2 Gm0 dr
2 dφ dφ GM m0 dr
+ ∆m0 r + − =0
dτ dτ 2 r2 dτ 4π0 r3 c2 dτ
Q2 G Q2 G
d∆ d 2GM 2GM dr dr
= 1− + = −
dτ dτ rc2 4π0 r2 c4 r2 c2 dτ 2π0 r3 c4 dτ
d2 φ
dφ J 2J dr
= 2 −→ 2
=− 3
dτ r dτ r dτ
2 2
Q2 G
dr dr GM dr dr 2 dφ
+ − r
dτ dτ 2 r2 c2 dτ 4π0 r3 c4 dτ dτ
2
Q2 G
dr dφ 2 dφ 2J dr GM dr dr
+∆ r +∆ r − 3 + 2 − 3 2
=0
dτ dτ dτ r dτ r dτ 4π0 r c dτ
35
2 2 2
Q2 G
dr dr GM 2 dφ dφ
[ 2
+ 2 2
− 3 4
r +∆r
dτ dτ r c 4π0 r c dτ dτ
Q2 G
2 dφ 2J GM
+∆r − 3 + 2 − ]=0
dτ r r 4π0 r3 c2
dr
De donde obtenemos 2 ecuaciones, la primera: dτ
= 0 describe a una partícula que
cae en dirección radial hacia el agujero negro, mientras que la segunda ecuación se obtiene al
dr
simplificar el término dτ :
2 2
d2 r Q2 G Q2 G
GM 2 dφ 2GM dφ
+ − r + 1 − + r
dτ 2 r 2 c2 4π0 r3 c4 dτ rc2 4π0 r2 c4 dτ
2
Q2 G
2GM QG dφ 2J GM
+ 1− + − + − =0
rc2 4π0 r2 c4 dτ r r2 4π0 r3 c2
2 2
d2 r Q2 G Q2 G
GM dφ 2GM dφ
+ − + r− 2 +
dτ 2 c 2 4π0 rc 4 dτ c 4π0 rc 4 dτ
2
Q2 G
2GM QG dφ 2J GM
+ 1− + − + 2 − =0
rc2 4π0 r2 c4 dτ r r 4π0 r3 c2
2
d2 r Q2 G
GM J 2GM 2J J
+ r− 2 + 1− + −
dτ 2 c r2 rc 2 2
4π0 r c 4 r r2
GM Q2 G
+ 2 − =0
r 4π0 r3 c2
36
d2 r J2 Q2 G 2J 2 Q2 G
GM 2GM GM
+ r− 2 − 1− + + − =0
dτ 2 c r4 rc2 4π0 r2 c4 r3 r2 4π0 r3 c2
d2 r J 2 GM J 2 2J 2 4GM J 2 Q2 G J 2 Q2 G
GM
+ − 2 4 − − + + − =0
dτ 2 r3 c r r3 c2 r 4 2π0 c4 r5 r2 4π0 r3 c2
d2 r J 2 3GM J 2 Q2 G J 2 Q2 G
GM
− − + + − =0
dτ 2 r3 c2 r 4 2π0 c4 r5 r2 4π0 r3 c2
d2 r Q2 G J 2 3GM J 2 Q2 G J 2
GM
=⇒ =− + + − + (3.7)
dτ 2 r2 4π0 r3 c2 r3 c2 r 4 2π0 c4 r5
1
(ds)2 = c2 (dτ )2 = ∆c2 (dt)2 − (dr)2 − r2 (dφ)2
∆
2 2 2
r2
dt 1 dr dφ
1=∆ − 2 − 2
dτ c∆ dτ c dτ
2 2 2
r2
dt 1 1 dr dφ
= + 2 2 + 2
dτ ∆ c∆ dτ c∆ dτ
37
2 2 −2
Q2 G Q2 G
dt 2GM −1 1 dr 2GM
= 1− + + 2 1− +
dτ rc2 4π0 r2 c4 c dτ rc2 4π0 r2 c4
2 −1
r2 dφ Q2 G
2GM
+ 2 1− +
c dτ rc2 4π0 r2 c4
2 2 ! −1
r2 Q2 G
dt dφ 2GM
= 1+ 2 1− +
dτ c dτ rc2 4π0 r2 c4
2 −2
1 dr 2GM Q2 G
+ 2 1− +
c dτ rc2 4π0 r2 c4
2
dr 2 2 Q2 G
1
+ 1 + rc2 dφ 1 − 2GM
1/2
dt
c2 dτ dτ rc2
+ 4π0 r2 c4
=⇒ = (3.8)
dτ 1 − 2GM
2
+ 4πQ0 rG2 c4
rc2
En esta sección buscaremos una ecuación para el momento angular de una partícula orbitando
un agujero negro cargado, para esto partiremos de la métrica de Reissner-Nordström. Sacaremos
el momento angular para órbitas elípticas, es importante notar que la ecuación que derivaremos
sirve para el caso en el cual las órbitas son cerradas. Para el caso en que las órbitas son abiertas,
utilizaremos la misma ecuación para determinar una energía inicial de la partícula.
38
1
(dS)2 = c2 (dτ )2 = ∆c2 (dt)2 − (dr)2 − r2 (dφ)2
∆
2 2 2
r2
dt 1 dr dφ
1=∆ − 2 − 2
dτ c∆ dτ c dτ
Recordemos las ecuaciones (3.5) y (3.4), las cuales sustituiremos en la ecuación anterior:
dφ J dt E
= 2; =
dτ r dτ ∆m0 c2
2 2
r2
E 2 1 dr J
∆ − 2 − 2 =1
∆m0 c2 c∆ dτ c r2
2
E2 J2
1 dr
2 4
− 2 − 2 2 =1
∆m0 c c∆ dτ r c
2
E2 ∆J 2 Q2 G
dr 2GM
= − 2 − 1− + c2
dτ m0 2 c2 r rc2 4π0 r2 c4
2
E2 ∆J 2 Q2 G
dr 2 2GM
= − 2 − c − +
dτ m0 2 c2 r r 4π0 r2 c2
dr
En el afelio ( dτ = 0, r −→ RA , ∆ −→ ∆A ):
Q2 G
2GM rs rQ
∆A = 1 − + = 1 − +
RA c2 4π0 RA 2 c4 RA RA 2
E2 2 2GM Q2 G J2
− c + − − ∆A = 0 (3.9)
m 0 2 c2 RA 4π0 RA 2 c2 RA 2
39
dr
En el perihelio ( dτ = 0, r −→ RP , ∆ −→ ∆P ):
Q2 G
2GM rs rQ
∆P = 1 − 2
+ 2 4
=1− +
RP c 4π0 RP c RP RP 2
E2 2 2GM Q2 G J2
− c + − − ∆P = 0 (3.10)
m 0 2 c2 RP 4π0 RP 2 c2 RP 2
E2 2 2GM r Q c2 J2 J2 J 2 rQ
=⇒ − c + − − + − =0 (3.11)
m0 2 c2 RA RA 2 RA 2 RA 3 RA 4
E2 2 2GM r Q c2 J2 J2 J 2 rQ
=⇒ − c + − − + − =0 (3.12)
m0 2 c2 RP RP 2 RP 2 RP 3 RP 4
1 1 2 1 1
2GM − − rQ c −
RA RP RA 2 RP 2
2 1 1 rs rs 2 1 1
=J − − + + rQ J −
RA 2 RP 2 RA 3 RP 3 RA 4 RP 2
RP 2 − RA 2
RP − RA 2
2GM − rQ c
RA RP RA 2 RP 2
2
RP − RA 2
3
RP − RA 3
4
RP − RA 4
2
=J − rs + rQ
RA 2 RP 2 RA 3 RP 3 RA 4 RP 4
40
2GM (RP − RA ) RA RP − rQ c2 RP 2 − RA 2
3
RP − RA 3 (RP 2 − RA 2 ) (RP 2 + RA 2 )
2 2 2
= J RP − RA − rs + rQ
RA RP RA 2 RP 2
2GM RA RP − rQ c2 (RP + RA )
2
RP + RA RP + RA 2 (RP + RA ) (RP 2 + RA 2 )
2
= J RP + RA − rs + rQ
RA RP RA 2 RP 2
RA = (1 + e)a −→ RA 2 = a2 + 2ea2 + e2 a2
RP = (1 − e)a −→ RP 2 = a2 − 2ea2 + e2 a2
RA RP = 1 − e2 a2
=⇒ 2GM 1 − e2 a2 − rQ c2 (2a)
2
2a (1 + e2 ) + (1 − e2 ) a2 2a (2a2 (1 + e2 ))
2
= J 2a − rs + rQ
(1 − e2 ) a2 a4 (1 + e2 )2 (1 − e2 )2
(3 + e2 ) 4 (1 + e2 )
2 2 2 2
2GM 1 − e a − rQ c (2a) = J 2a − rs + rQ
(1 − e2 ) a (1 + e2 )2 (1 − e2 )2
41
rs (3 + e2 ) 2 (1 + e2 )
2 2 2
GM 1 − e a − rQ c = J 1 − + rQ
2a (1 − e2 ) a2 (1 + e2 )2 (1 − e2 )2
GM (1 − e2 ) a − rQ c2
=⇒ J 2 = rs (3+e2 ) 2rQ (1+e2 )
(3.13)
1− 2a (1−e2 )
+ a2 (1+e2 )2 (1−e2 )2
Tras el álgebra necesaria para obtener la ecuación (3.13), obtenemos una expresión para el
momento angular en la métrica de Reissner-Nordström, la cual, como podemos ver se reduce
a la ecuación utilizada en el caso de Schwarzschild si ponemos Q = 0. Esta ecuación será
utilizada en la simulación de las órbitas para este caso.
3.2 Ejemplos
Parámetro Valor
M 4.31 × 106 M
Q 5 × 1026 [C]
J 1019 [m2 /s]
∆t 4 × 107 [s]
a 1013 [m]
Parámetro Valor
M 4.31 × 106 M
Q 2 × 1026 [C]
J 5 × 1020 [m2 /s]
∆t 4 × 1010 [s]
a 1015 [m]
43
Parámetro Valor
M 4.31 × 106 M
Q 7 × 1026 [C]
J 2 × 1020 [m2 /s]
∆t 4 × 1010 [s]
a 1015 [m]
44
Parámetro Valor
M 4.31 × 106 M
Q 7.385 × 1026 [C]
J 1020 [m2 /s]
∆t 109 [s]
a 1.65 × 1014 [m]
Parámetro Valor
M 4.31 × 106 M
Q 7.385 × 1026 [C]
J 4.5 × 1020 [m2 /s]
∆t 2.48 × 109 [s]
a 3.55 × 1014 [m]
45
Parámetro Valor
M 4.31 × 106 M
Q 7.385 × 1026 [C]
J 3.7 × 1020 [m2 /s]
∆t 6 [s]
a 1.27 × 1010 [m]
46
Parámetro Valor
M 4.31 × 106 M
Q 1027 [C]
J 4 × 1019 [m2 /s]
∆t 1015 [s]
a 1012 [m]
47
CONCLUSIONES
por unidad de masa, esto se realizó considerando órbitas elípticas en la ecuación de la métrica.
Nuevamente, las ecuaciones se insertan en el programa para ser resueltas numéricamente y para
simular las órbitas según los parámetros que se den. Es importante mencionar que hasta la fecha
no se ha observado un agujero negro de Reissner-Nordström, por lo tanto todos los parámetros
se insertaron de forma heurística, y siguiendo las condiciones explicadas en la introducción del
2 Q2 G
capítulo 3. Es decir, se requiere que GM c2
> 4π0c
4 se cumpla para que el agujero negro sea
estable, de otra manera, no existiría un horizonte de eventos y las partículas que se acercan
al agujero negro con cierta energía experimentan una fuerza repulsiva como se muestra en la
2 Q2 G
figura 3.3. En este caso GMc 2 < 4π0c
4 , sin embargo los términos de la desigualdad no di-
fieren por más que un factor de 1.35. También, se observa un comportamiento similar al caso
de Schwarzschild, donde se describen órbitas cerradas circulares y elípticas, algunas parecidas
al ejemplo del sistema OJ287. Cabe mencionar que las simulaciones que se realizaron para esta
métrica se hicieron utilizando la masa del agujero negro de Sagitario A*, por lo tanto tenemos
que imaginarnos dicho ejemplo con una carga eléctrica neta. Finalmente, en este trabajo se
manipularon las ecuaciones de la métrica y geodésicas para obtener un grupo de ecuaciones
que al ser resueltas describen todo tipo de trayectoria alrededor de un cuerpo que genera un
campo gravitacional. Estas soluciones nos ayudan a entender la física detrás de las ecuaciones
de la Teoría General de la Relatividad, dando una ilustración simple de comprender antes de
compenetrarse con las matemáticas que describen a las ecuaciones de campo de Einstein y las
geodésicas.
49
REFERENCIAS
[1] A. Einstein and Königlich Preussischen Akademie der Wissenschaften. Die Feldgleichun-
gen der Gravitation. Sitzungsberichte der Königlich Preussischen Akademie der Wis-
senschaften zu Berlin. Vlg. der Königlichen Akademie der Wissenschaften, 1915.
[3] Carlos Marín. La Expansión del Universo, una Introducción a Cosmología, Relatividad
General y Física de Partículas. USFQ, 2◦ edition, 2011.
[4] C.W. Misner, K.S. Thorne, J.A. Wheeler, and D.I. Kaiser. Gravitation. Princeton University
Press, 2017.
[5] I.R. Kenyon. General Relativity. Oxford science publications. Oxford University Press,
1990.
[6] Carlos Marín and Jorge Poveda. Perihelion precession in binary systems: higher order
corrections. Astrophysics and Space Science, 363(12):245, 2018.
Anexos
51
Anexo A
Para este caso, el programa contiene por default los datos del sistema binario OJ287 (tabla 2.1),
sin embargo, se pueden cambiar estos parámetros a gusto del usuario. Se sugiere que se explore
el programa utilizando c = G = 1, y variando el resto de parámetros.
Manipulate[
(*
G = 1;
M = 1;
c = 1;
*)
52
G = 6.674 ∗ 10−11 ;
c = 299792458;
(*OJ287*)
e = 0.7;
a = 1.72 ∗ 1015 ;
G = 6.674 ∗ 10−11 ;
c = 299792458;
M = 1.83 ∗ 1010 ∗ 1.988435 ∗ 1030 ;
2GM
rs = 2 ;
rc
GM (1−e2 )a
L= rs 3+e2
;
1− 2a
1−e2
(*OJ287*)
r0 = a;
(*M = MBH ∗ mp ; *)
(*L = LBH ∗ jp *)
(*Mercurio
r0 = 5.7909 ∗ 1010 ;
(*M = 3.30104 ∗ 1023 ; *)
L = 8.956 × 1038 ;
M = 1.988435 ∗ 1030 ;
*)
anOrbitSolution =
Quiet@NDSolve[
{
53
L2 3GM L2
r00 [τ ] == − r[τ
GM
]2
+ r[τ ]3
− r[τ ]4 c2
, r[0] == r0, r0 [0] == 0,
φ0 [τ ] == L
r[τ ]2
, φ[0] == 0,
q
r[τ ]c2 r0 [τ ]2 r[τ ]2 c2 r[τ ]3 φ0 [τ ]2
t0 [τ ] == r[τ ]c2 −2GM
+ (r[τ ]c2 −2GM )2
+ r[τ ]c2 −2GM
, t[0] == 0
}, {r, φ, t}, {τ, 0, pT}];
angleList = φ[end]/.anOrbitSolution;
timeDilation = (t[end]/.anOrbitSolution)[[1]]/end;
anOrbitPlot =
ParametricPlot[
Evaluate[
r[τ ]{Cos[φ[τ ]], Sin[φ[τ ]]}
/.anOrbitSolution],
{τ, begin, end},
(*PlotPoints → 1000, *)
AspectRatio → 1,
54
sRadius =
Graphics[Disk[{0, 0}, rs]];
Show[
{
anOrbitPlot,
sRadius
}, Ticks → None, ImageSize → {400, 400}],
(* {{L, 4, angular momentum}, 1, 1060 , ImageSize → Tiny} , *)
(* {{r0, 31.6, initial radius}, 2.5, 2 ∗ 1.72 ∗ 1015 , ImageSize → Tiny} , *)
{{pT, 1, proper time}, 1, 1010 , ImageSize → Tiny} ,
{{scale, 1.8a, zoom}, 5, 2.2 ∗ a, ImageSize → Tiny},
(*{{symmetricOrbit, 0, symmetric orbit}, {0, 1}, ControlType → Checkbox}, *)
SynchronousUpdating → False, ControlPlacement → Left, TrackedSymbols → Manipulate]
Manipulate[
55
G = 1;
(*M = 1; *)
c = 1;
(*Q = 1; *)
k = 1;
(*
G = 6.674 ∗ 10−11 ;
c = 299792458;
*)
anOrbitSolution =
Quiet@NDSolve[
{
L2 3GM L2 kQ2 G 2kQ2 GL2
r00 [τ ] == − r[τ
GM
]2
+ r[τ ]3
− r[τ ]4 c2
+ r[τ ]3 c2
+ r[τ ]5 c4
, r[0] == r0, r0 [0] == 0,
φ0 [τ ] == L
r[τ ]2
, φ[0] == 0,
v !
u
r0 [τ ]2 r[τ ]2 φ0 [τ ]2
u
0 1
t [τ ] == t 2 + 2
2 + 2
, t[0] == 0
+ kQ2 G4 + kQ2 G4
2GM 2GM
1−
r[τ ]c2 c2 1− 2GM
+ kQ2 G4 c2 1−
r[τ ]c2
r[τ ] c r[τ ]c2 r[τ ] c r[τ ] c
angleList = φ[end]/.anOrbitSolution;
timeDilation = (t[end]/.anOrbitSolution)[[1]]/end;
anOrbitPlot =
ParametricPlot[
Evaluate[
r[τ ]{Cos[φ[τ ]], Sin[φ[τ ]]}
/.anOrbitSolution],
{τ, begin, end},
(*PlotPoints → 1000, *)
AspectRatio → 1,
AxesOrigin → {0, 0},
PlotRange → scale];
sRadius =
Graphics[Disk[{0, 0}, 1]];
Show[
{
anOrbitPlot,
sRadius
57