Problema de los 3 cuerpos

Manuel Lanz
Lunes, 29 de Diciembre de 2014
Se ha estudiado el problema de los tres cuerpos, que consiste en describir
la posicin de tres partculas y su velocidad cuando interaccionan gravitatoriamente segn la ley de Newton. Se ha comenzado resolviendo problemas
ms simples (problema de Kepler y problema de los dos cuerpos) y se ha
estudiado qu aspectos de estas soluciones pueden generalizarse al problema
de los tres cuerpos.
Posteriormente, se han analizado algunas soluciones exactas del problema
de los tres cuerpos y se ha dado una clasificacin general de los tipos de
soluciones que tiene este problema.
Adems, se ha estudiado un caso particular de dicho problema: el problema restringido de los tres cuerpos, en el que una de las partculas tiene
masa despreciable. Se ha profundizado en el caso en que la rbita de las dos
partculas ms masivas es circular, hallando los puntos de equilibrio (puntos
de Lagrange) y se ha discutido la existencia de rbitas peridicas para la
tercera partcula.

1.

Problema de Kepler

Antes de comenzar con el problema de los tres cuerpos, vamos a resolver un problema
ms simple: el problema de Kepler, que consiste en una partcula de masa m y posicin r
sometida a una fuerza de la forma F = mM

r. Utilizamos unidades en las que G = 1.

r2
El problema consiste en resolver la ecuacin:
r =

r
r2

(1)

Para ello, vamos a buscar las constantes del movimiento. El espacio de fases tiene 6
dimensiones (3 velocidades y 3 posiciones), por lo que necesitamos 5 constantes independientes para hallar su rbita (que es unidimensional).
Es fcil probar que el momento angular L es constante, dado que la fuerza gravitatoria
es central, con lo que determinamos 3 de las 5 constantes que necesitamos.
d(r r )
M

L = m
= m
(r

r + r r) = r (
r) = 0
dt
r

(2)

Otra constante del movimiento es el vector de excentricidad e. Para hallarlo, calculamos

el siguiente producto, utilizando a (b c) = b(a c) c(a b) [7].
d
M
(r L) = r L = 3 (r (r r )) =
dt
r
M
= 3 ((r r)r r2 r ) =
r 

r
r
= M
r

=
r2
r
d r
=M
dt r
Donde se ha usado que
r r =

1d
1 d(r2 )
(r r) =
= 2rr
2 dt
2 dt

(3)



d r L r
=0

dt
M
r

(4)

De esta ecuacin obtenemos:

Por lo que definimos:

r L

r
(5)
M
Este vector, como veremos a continuacin, tiene mdulo igual a la excentricidad de la
rbita y la direccin de un semieje de la cnica que forma la rbita. Este vector supone
dos nuevas constantes del movimiento, ya que puede verse con facilidad que cumple
e L = 0, por lo que tiene que estar en el plano de la rbita.
Tenemos ya 5 constantes, por lo que podemos proceder a hallar la rbita. Usamos que
a (b c) = c (a b) [7].
e=

r (r L)
r
M
L (r r )
=
r
M
L2
=
r
mM
De modo que obtenemos la ecuacin de una cnica:
r e = er cos =

mM
1
= 2 (1 + e cos )
r
L

(6)

1 2
Podramos pensar que la energa E = 2m
r es otra constante, pero depende de las ya
calculadas de la siguiente forma. Para verlo, vasta con calcular e2 .

2L2
E
(7)
mM 2
En la tabla 1 se muestra la forma de la rbita (ecuacin (6)) en funcin del valor de e y
E y en figura 1 se muestran representaciones grficas de las rbitas.
e2 1 =

1.0
1.5
1.0

0.5

0.5
-1.0

0.5

-0.5

1.0

-3

-2

-1
-0.5
-1.0

-0.5

-1.5
-1.0

(b) Elipse
(a) Circunferencia

3
3
2
2
1

-1.0

0.5

-0.5

1.0

0.2

-0.2

0.4

0.6

0.8

1.0

-1

-1

-2
-2
-3
-3

(c) Circunferencia

(d) 1b

Figura 1: Forma de las rbitas en el problema de Kepler. Se ha tomado M = m = 1. En

estos casos se tiene que e = e
x, en la direccin del semieje de la cnica.

Curva

Excentricidad

Energa

Hiprbola
Parbola
Elipse
Crculo

e>1
e=1
0e<1
e=0

E>0
E=0
E<0
2
E = mM
2L2

Tabla 1: Forma de la rbita en funcin de la excentricidad e y la energa E.

2.

Problema de los dos cuerpos

El problema de dos cuerpos describe la interaccin gravitatoria entre dos masas m1 y

m2 .
m2
r1 =
r
21
kr2 r1 k2
(8)
m1
r2 =
r

12
kr1 r2 k2
Puede reducirse fcilmente al problema de Kepler. Sea M = m1 + m2 la masa total
1 m1
= m1 r1 +m2 r2 , y
y = mM
la masa reducida. La posicin del centro de masas es R
M
r = r2 r1 es la distancia entre los cuerpos.
Operando con ecuacin (8), se obtiene:
=0
R
r =

m1 m2

r
r2

(9)

Como el centro de masas no est acelerado, su velocidad y su posicin inicial son

constantes, podemos tomar un sistema de referencia inercial donde ambas sean 0. La
segunda ecuacin no es ms que el problema de Kepler (ecuacin (1)), que ya hemos
resuelto. Se muestran ejemplos en figuras 2 y 3.

3.

Problema de los tres cuerpos

Al intentar resolver el problema de los tres cuerpos, nos encontramos que el espacio
de fases tiene 3 6 = 18 grados de libertad. Puede probarse que la posicin inicial y la
velocidad del centro de masas son constantes, y tambin la energa y el momento angular
total. Con esto, tenemos 10 constantes, por lo que an quedan 8 grados de libertad. De
hecho, se ha demostrado (Ernst Bruns y Henri Poincar)[1, p 37][4, p. 399] que no hay
ms constantes de movimiento que puedan obtenerse a partir de las condiciones iniciales
con expresiones algebraicas (polinomios) o integrales. Tampoco se han encontrado otro
tipo de constantes del movimiento.
Para resolver el problema, en general se requieren mtodos perturbativos. El matemtico Karl Fritiof Sundman, encontr [6] una solucin exacta en forma de serie de potencias

0.5
1

-1.0

0.5

-0.5

-1.0

0.5

-0.5
-1

-0.5
-2

(b) Parbolas

(a) Elipses

Figura 2: Forma de las rbitas en el problema de dos cuerpos. Las lneas azul y naranja
representan la trayectoria de las partculas 1 y 2, respectivamente. La lnea de
puntos gris es la representacin grfica de la trayectoria del vector r, que es la
solucin al problema de Kepler para una partcula con masa . Se ha tomado
que = 1 y m2 = 2m1 .

0.6
0.4
0.2
0.5

-0.5
-0.2
-0.4
-0.6

Figura 3: rbitas del problema de los dos cuerpos cuando la velocidad del centro de
masas no es 0. Esta figura representa la misma solucin para r que la figura 2a, pero con un movimiento a velocidad uniforme del centro de masas en la
direccin del eje y, con un momento p = 0.15
y.

de t1/3 vlida siempre que el momento angular L 6= 0. Sin embargo, la convergencia de

esta serie es lenta, por lo que tiene poco inters prctico.
Sin embargo, se conocen soluciones en forma cerrada para algunos casos particulares.
Las ecuaciones del problema tienen esta forma:
ri = mj

ri rj
3

kri rj k

mk

ri rk
kri rk k3

Donde (i, j, k) son las permutaciones cclicas de (1, 2, 3).

De nuevo, tomamos el centro de masas en el origen:
X
mi ri = 0

(10)

(11)

Si hacemos un cambio de variable similar al del problema de los dos cuerpos:

si = rj rk

(12)

Con esta definicin es sencillo comprobar que las coordenadas estn relacionadas por:
X
si = 0
(13)
i

De hecho, estos vectores son los lados de un tringulo equiltero con vrtices en las tres
partculas.
Operando, puede obtenerse que:
si = M
Donde M =

i mi

si
+ mi G
s3i

es la masa total y el vector G viene dado por:

X si
G=
s3i
i

(14)

(15)

Si G = 0, las ecuaciones (14) se transforman en:

si =

si
s2i

(16)

Similares al problema de Kepler (ecuacin (1)) y cuya solucin conocemos (ecuacin (6)).

3.1.

Soluciones triangulares

Si se cumple s1 = s2 = s3 = s y utilizando que s1 +s2 +s3 = 0, se tiene que G = 0. Esta

solucin fue descubierta por Lagrange [3, p. 123]. Las tres masas se mueven formando
un tringulo equiltero de lado s, pero el tamao del tringulo y su orientacin en el
plano puede variar. Si la energa total es negativa, las rbitas sern elpticas. Se muestran
ejemplos en figura 4.

4
1.5
1.0

0.5

-2.0 -1.5 -1.0 -0.5

0.5

1.0

1.5

-2

-0.5
-2

-1.0
-1.5

-4

(a) Elipses
(b) Parbolas

Figura 4: Soluciones triangulares al problema de los tres cuerpos. Se ha tomado que la

masa total vale 1 y que las masas de todas las partculas son iguales.

3.2.

Soluciones colineales

Euler descubri otra familia de soluciones exactas [4, p. 402]. Estas soluciones son de
la forma siguiente, suponiendo que la partcula 2 est en medio:
s1 = s3
s2 = (1 )s3

(17)

Insertando esto en ecuacin (14), se eliminan s1 y s2 cuando es solucin de el siguiente

ecuacin polinmica:
(m1 +m2 )5 +(3m1 +2m2 )4 +(3m1 +m2 )3 (m2 +3m3 )2 (2m2 +3m3 )(m2 +m3 ) = 0
(18)
Dicho polinomio tiene una raz nica positiva, por lo que puede obtenerse un nico a
partir de las masas m1 , m2 , m3 .
Pueden obtenerse otras 2 soluciones de este tipo, cambiando la partcula que se encuentra en el medio.
En este tipo de soluciones, las 3 partculas estn siempre contenidas en una recta y con
un ratio fijo entre sus distancias, como puede verse en la ecuacin (17).

3.3.

Clasificacin de las soluciones

Las soluciones anteriores tienen un inters fsico limitado, ya que requieren unas
condiciones iniciales muy concretas. Es necesario utilizar otro tipo de mtodos para

Tabla 2: Clasificacin de las soluciones del problema de los tres cuerpos en funcin de la
energa total E segn su comportamiento asinttico.

E>0

Explosin
Escape

Hiperblico
Hiperblico-parablico
Hiperblico-elptico

E=0

Explosin
Escape

Parablico
Hiperblico-elptico

E<0

Escape

Hiperblico-elptico
Parablico-elptico
Interaccin
Expulsin
Revolucin
Equilibrio
Peridico

Movimiento acotado

Movimiento oscilatorio
estudiar las soluciones. A continuacin se describir el comportamiento asinttico (t
) de las soluciones [4]. Al aumentar t, el comportamiento de los 3 cuerpos puede
aproximarse por dos problemas de dos cuerpos (uno consiste de dos partculas y el
otro de una). El movimiento de los subsistemas puede describirse como hiperblico,
parablico o elptico, aunque esta descripcin solo es exacta en el lmite.
Existen tres posibilidades: que los tres cuerpos escapen al infinito (explosin), que slo
escape uno con uno (escape) o que la posicin de los tres cuerpos permanezca acotada
(movimiento ligado). En la tabla 2 se muestran todos los casos.
Cuando la energa total E es positiva, la energa de al menos uno de los subsistemas
tiene que ser positiva, luego al menos el movimiento de un cuerpo ser hiperblico. El
otro subsistema podr realizar cualquiera de los otros tres movimientos.
En el caso de E = 0 los casos son similares, pero no existe la posibilidad de que ambos
movimientos sean hiperblicos. Sin embargo, los dos sistemas pueden tener movimiento
parablico, aunque es poco probable ya que se necesitan unas condiciones iniciales muy
especficas para que la energa lmite de cada subsistema sea 0. Este caso se da en la
figura 4b.
Si la energa E es negativa, existe la posibilidad de que uno de los cuerpos escape con
un movimiento parablico o hiperblico y los otros dos permanezcan ligados realizando rbitas elpticas. Sin embargo, tambin es posible que los tres cuerpos realicen un
movimiento ligado.
Hay varios tipos de movimiento ligado. Se denomina interaccin al caso en el que las
partculas se aproximan entre s repetidamente. Expulsin si dos partculas forman un
sistema binario, mientras la tercera se acerca y aleja en rbitas casi elpticas (como los
cometas en el sistema solar). En las soluciones de revolucin, una de las partcula orbita
alrededor de un sistema binario (esto puede ocurrir en sistemas estelares triples [2]).

4
1

3
2

-1

1
-2
-3

-2

-1

-1
-3

(b) Revolucin

(a) Interaccin y expulsin

Figura 5: rbitas con energa negativa (E < 0. En la primera se produce un escape de

la partcula 3 (verde)) despus de una fase de interaccin. La segunda es una
solucin de revolucin.
Las soluciones de equilibrio son del tipo de las explicadas anteriormente (triangulares
y colineales). Las soluciones peridicas pueden ser de cualquiera de los tipos antes
mencionados.
Tambin existe una solucin oscilatoria (descubierta en 1960) en la que una partcula se
mueve en perpendicular al plano del sistema binario formado por las otras dos partculas,
pasando por el centro de masas. El cuerpo que est libre, llega hasta el infinito en un
tiempo finito, mientras su velocidad tiende a 0. La partcula vuelve, repitindose este
comportamiento indefinidamente.
En la mayora de los casos, las soluciones ligadas son inestables, a no ser que las
diferencias entre masas sean grandes. Para condiciones iniciales arbitrarias, lo ms
probable es que escape la masa ms pequea. Normalmente, el movimiento pasa por
fases de interaccin y expulsin hasta que se produce el escape.
Se muestran ejemplos de movimientos con E < 0 en figura 5.

3.4.

Problema restringido de los tres cuerpos

En este caso, consideramos que la masa de uno de los 3 cuerpos es despreciable frente
a las otras dos [4, p. 406-418]. Este problema tiene un gran inters prctico, puesto que es
un buen modelo, por ejemplo, para describir el comportamiento de una nave espacial o
un satlite movindose entre la Tierra y la Luna.
Este problema puede considerarse una perturbacin del problema de dos cuerpos. En
tal caso, es conveniente utilizar coordenadas de Jacobi, x y r, donde x es la posicin de

la tercera partcula respecto al centro de masas de las otras dos y r es el vector que va de
la partcula 1 a la 2. Se pueden usar dos coordenadas de posicin auxiliares: la posicin
relativa de la tercera partcula respecto a las dos primeras: r1 , r2 , que podemos escribir
en funcin de x y r:
m2
r1 = x +
r

(19)
m1
r
r2 = x

Con estos cambios de variable, las ecuaciones del movimiento quedan de la siguiente
forma, si despreciamos m3 frente a m1 y m2 :
r
r = 3
(20)
r
r1
r1
= m1 3 m2 3
(21)
x
r1
r1
Donde = m1 + m2 . La primera ecuacin se corresponde a un problema de dos cuerpos
para las dos primeras partculas, mientras que la segunda es la ecuacin de movimiento
para la tercera partcula.

3.5.

Problema restringido circular

En este caso, la solucin a la ecuacin (20) es un movimiento circular de frecuencia

angular =
z. La frecuencia angular viene dada por la tercera ley de Kepler:

2 = 3
(22)
r
Si cambiamos el sistema de referencia a uno en el que las dos masas estn en reposo,
hay que aadir una aceleraciones ficticias debido al teorema de Coriolis [3, p 174] aC =
2 x ( x).
r1
r1
+ 2 x = ( x) m1 3 m2 3 = F(x)
(23)
x
r1
r1
Donde ahora x, r, ri estn escritos en el sistema de referencia en rotacin (no son los
mismos vectores que en el apartado anterior, que estn escritos en el sistema inercial,
sino que estn rotados un ngulo t).
Puede comprobarse que existe una funcin potencial U tal que
F = U
Esa funcin es:

(24)

m1 m2
1
U (x) = ( x)2

(25)
2
r1
r2
La siguiente cantidad es una constante del movimiento, conocida como la integral de
Jacobi, que no es ms que la energa total del sistema, eliminando las contribuciones de los
dos cuerpos ms masivos. Puede obtenerse multiplicando escalarmente la ecuacin (23)
por x.
1
C = x 2 + U (x)
(26)
2

10

3.6.

Puntos de Lagrange

Un punto de equilibrio x0 es aquel en el que la fuerza se anula F(x0 ) = 0. En el

problema restringido de los tres cuerpos, se conocen como puntos de Lagrange.

Donde

1
r2
r1
F(x0 ) = x m1 3 m2 3 = 0
2
r1
r2

(27)

m2
r

m1
r
r2 = x

(28)

r1 = x +

Multiplicando las tres ecuaciones anteriores por y sabiendo que r = 0, se puede

ver que
r1 = r2 = x

(29)

Lo cual significa que los puntos de Lagrange tiene que estar en el plano de la rbita
circular de los dos cuerpos.
Ahora podramos proceder a buscar soluciones a la ecuacin (27), sin embargo, ya
hemos resuelto el problema de otra forma. Para ello, vamos a reintroducir los vectores
s1 , s2 , s3 . Estos vectores son los lados de un tringulo con vrtices en las partculas. Salvo
algn cambio de signo, se corresponden a r2 , r1 , r, respectivamente. Los vectores si estn
escritos en el sistema inercial, mientras que los ri estn en el sistema en rotacin. Como
difieren por una rotacin, las tres parejas de vectores tienen el mismo mdulo.
Como estamos en el caso circular s3 = r es constante. Dos soluciones del problema
de 3 cuerpos son las soluciones en forma de tringulo equiltero halladas por Lagrange.
En estas soluciones se tiene si = ri = r. Los vectores ri , r tambin forman un tringulo
equiltero de lado fijo. El tercer vrtice de los dos tringulos que se pueden con m1 y m2
en la base son los puntos L4 y L5 .
Los puntos L1 , L2 y L3 se corresponden a las 3 soluciones colineales de Euler. Una
con m3 la derecha de m1 , m2 , otra en el centro y otra a la izquierda. Los puntos exactos
dependen de m1 y m2 (se puede considerar m3 = 0). Se pueden determinar resolviendo la
ecuacin ecuacin (18), intercambiando los papeles de las partculas 1, 2 y 3 dependiendo
de cual est en el centro, segn ecuacin (17).
Puede demostrarse estudiando desplazamientos infinitesimales a partir de los puntos
de equilibrio [4] que L4 y L5 son mximos de potencial, sin embargo, son estables bajo
ciertas condiciones sobre las masas debido al trmino de Coriolis presente en la parte
izquierda de ecuacin (23) que no se tiene en cuenta en U y contrarresta la aceleracin
creada por F. L1 , L2 , L3 , sin embargo son siempre inestables a desplazamientos en el
eje, y son puntos de silla (mximos o mnimos dependiendo de la direccin en la que se
atraviesen). Se muestran los puntos de Lagrange en la figura 6.

11

1.5

1.0
-1.50

-1.75

0.5

-2.00
0.0
-2.25

-0.5

-2.50

-2.75
-1.0

-1.5
-1.5

-1.0

-0.5

0.0

0.5

1.0

1.5

Figura 6: Representacin del potencial y lneas de fuerza en el problema de tres cuerpos

circular restringido en el sistema de referencia en rotacin. En rojo aparecen
las masas m1 = 0.9 y m2 = 0.1 (Se han tomado unidades en las que la masa
total es 1). En verde aparecen los puntos de Lagrange. L1 , L2 , L3 estn en el eje
de abscisas y puede verse que son inestables con respecto a desplazamientos
horizontales. Los puntos L4 , L5 forman tringulos equilteros con las partculas.
Su posicin se ha hallado resolviendo numricamente la ecuacin (27).

12

2.0
1.5
1.0
0.5

-1.5

-1.0

0.5

-0.5

1.0

1.5

-0.5
-1.0

Figura 7: Solucin peridica al problema restringido de los tres cuerpos en el sistema de

referencia en rotacin para dos masas m1 = m1 . Figura obtenida de [5]
.
3.6.1.

rbitas peridicas

El movimiento de una partcula en este sistema puede ser ligado. De hecho, nunca va
a poder estar en una zona en la que la constante de Jacobi C sea mayor que el potencial
U (ecuacin (26)).
Adems, existen soluciones peridicas a este problema, que podran describir las
rbitas de planetas en sistemas binarios. Un ejemplo se muestra en figura 7.

4.

Resolucin numrica

Se ha resuelto numricamente el problema de los n-cuerpos utilizando mtodo de

Runge-Kutta implementado en el programa Mathematica de Wolfram [8]. Este tipo de
simulaciones se han utilizado en todas las representaciones grficas, excepto en las del
problema restringido de los tres cuerpos.
La simulacin se basa en la resolucin del siguiente sistema de ecuaciones diferenciales
de primer orden:
v i =

X mj (rj ri )
j6=i

krj ri k3

vi = r i

(30)
(31)

Donde vi y ri se refieren a la posicin y a la velocidad de la partcula i-sima. En la

simulacin se han utilizado slo dos dimensiones espaciales por ser ms sencillo de
visualizar, pero en el problema de n cuerpos con n > 2 el movimiento no est restringido
en un plano, ya que la fuerza no es central, ni se puede reducir a un problema de fuerzas
centrales.
A continuacin se muestra el cdigo empleado en las simulaciones:

13

2
3
4

%Definir previamente r0 (posiciones iniciales), v0 (velocidades iniciales),

m0 (masas) y T (tiempo total)
n = Length[r0];
r = Table[r[i, j][t], {i, Length[r0]}, {j, 2}];
v = Table[v[i, j][t], {i, Length[r0]}, {j, 2}];

5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

ecuaciones =
Flatten@Table[Thread /@ {
D[v[[i]], t] ==
Sum[
m[[j]] (r[[j]] - r[[i]])/Norm[r[[i]] - r[[j]]]^3,
{j, Delete[Range[n], i]}
],
v[[i]] == D[r[[i]], t]
}, {i, n}
];
condicionesIniciales = Thread@(Flatten /@ ({r, v} == {r0, v0} /. t -> 0));
solucion = NDSolve[
ecuaciones~Join~condicionesIniciales,
Flatten@{r, v},
{t, -T, T},
Method -> "ExplicitRungeKutta"
];

23
24

{r, v, m, T} /. First@solucion

Referencias
[1] Florin Diacu. Singularities of the TV-Body Problem. En: Classical and Celestial
Mechanics: The Recife Lectures (2002), pg. 35.
[2] David S Evans. Stars of higher multiplicity. En: Quarterly Journal of the Royal
Astronomical Society 9 (1968), pg. 388.
[3] Goldstein, Poole y Safko. Classical mechanics. Addison Wesley, 2002.
[4] David Hestenes. New foundations for classical mechanics. Kluwer Academic Publishers,
1999.
[5] Robert M Lurie. Restricted Three-Body Problem Wolfram Demonstrations Proect.
[Online; accessed 27-December-2014]. 2014. url: http://demonstrations.wolfram.
com/RestrictedThreeBodyProblem/.
[6] Wikipedia. Three-body problem Wikipedia, The Free Encyclopedia. [Online; accessed
24-December-2014]. 2014. url: http://en.wikipedia.org/w/index.php?title=
Three-body_problem&oldid=636656843.

14

[7] Wikipedia. Vector calculus identities Wikipedia, The Free Encyclopedia. [Online; accessed 23-December-2014]. 2014. url: http://en.wikipedia.org/w/index.php?title=
Vector_calculus_identities&oldid=639154110.
[8] Wolfram. ExplicitRungeKutta Method for NDSolve Wolfram Language & System
Documentation Center. [Online; accessed 27-December-2014]. 2014. url: http : / /
demonstrations.wolfram.com/RestrictedThreeBodyProblem/.

15