Informe Final de Laboratorio Avanzado Caos en el Problema de los Tres Cuerpos

Francisco Javier Rodr guez Arias 10 de diciembre de 2004

 Indice
1. Objetivo 2. Introduccin o 2.1. Problema de Sitnikov . . . . . . . . . . . . . . . . . . . . . . . . . 3. Tratamiento terico o 3.1. Formalismo General del Problema de los Tres Cuerpos 3.1.1. Reduccin del sistema . . . . . . . . . . . . . . o 3.2. Formalismo del problema de Sitnikov . . . . . . . . . . 3.3. Indicadores de caos . . . . . . . . . . . . . . . . . . . . 3.3.1. Orbitas en el espacio de fase . . . . . . . . . . . 3.3.2. Trayectorias en el espacio de conguraciones . . 3.3.3. Espectro de frecuencias . . . . . . . . . . . . . . 3.3.4. Funcin de autocorrelacin . . . . . . . . . . . . o o 4. Simulacin Numrica o e 4.1. Problema general de los Tres 4.2. Mtodo de Euler . . . . . . e 4.3. Mtodo de Runge-Kutta . . e 4.4. Problema de Sitnikov . . . . Cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 2 3 3 4 4 6 6 6 6 7 8 8 8 9 9 10 10 11 11 11 12 12 17 18

5. Resultados 5.1. Problema general de los Tres Cuerpos . . . . . . . . 5.2. Problema de Sitnikov . . . . . . . . . . . . . . . . . 5.2.1. Orbitas en el espacio de fase . . . . . . . . . 5.2.2. Trayectorias en el espacio de conguraciones 5.2.3. Espectro de frecuencias . . . . . . . . . . . . 5.2.4. Funcin de autocorrelacin . . . . . . . . . . o o 6. Conclusiones 7. Referencias

1.

Objetivo

El objetivo de este trabajo es hacer una simulacin de caos ambientada en o el problema de los tres cuerpos que interaccionan gravitacionalmente, usando la ley de gravedad de Newton. As podremos, en este caso espec co calcular los parmetros de caos correspondientes. a

2.

Introduccin o

El problema de los Tres Cuerpos, es un problema clsico de la f a sica newtoniana que puede ser denido de la siguiente forma: Sean tres partculas que se atraen entre s de acuerdo con la ley de gravedad de Newton, de tal forma que entre cada par de partculas hay una fuerza de atraccin proporcional al producto de las masas de las partculas y a la inversa o del cuadrado de su distancia de separacin: estn libres de moverse en el espacio y o a estn incialmente movindose de alguna manera dada; determinar el movimiento a e subsecuente. Este problema involucra 18 grados de libertad, pues para cada part cula se tiene un vector (tres componentes) para su posicin y otro para su momento. o

2.1.

Problema de Sitnikov

El problema de Sitnikov es un caso simple del problema de los Tres Cuerpos, en el cual dos de los cuerpos tienen igual masa y el tercero tiene una masa despreciable frente a stos. Adems se considerar el caso en el que sta tercera masa e a a e tiene su movimiento en el eje perpendicular al plano denido por el movimiento de las otras dos, y que pasa por el centro de masa de stos. e

3.
3.1.

Tratamiento terico o
Formalismo General del Problema de los Tres Cuerpos

Se pueden plantear las ecuaciones diferenciales que describen a este sistema a partir de la denicin de fuerza gravitatoria o del hamiltoniano que lo describe. o Para denir el hamiltoniano correspondiente, consideremos tres cuerpos de masas m1 , m2 y m3 cuyas distancias relativas son r23 , r31 y r12 . Sean las posiciones de las masas los vectores (q1 , q2 , q3 ), (q4 , q5 , q6 ) y (q7 , q8 , q9 ). Entonces la energ cintica a e del sistema ser: a 2 2 2 2 2 2 2 2 2 T = m1 q 1 + q 2 + q 3 + m2 q 4 + q 5 + q 6 + m3 q 7 + q 8 + q 9
1 2 1 2 1 2

(1)

2 y considerando que la fuerza de atraccin entre m1 y m2 es Gm1 m2 r12 , donde G o es la constante de gravitacin universal, entonces el potencial que le corresponde o 1 es Gm1 m2 r12 . As pues tendremos la siguiente energ potencial para el sistema: a

V = G

m2 m3 m3 m1 m1 m2 G G r23 r31 r12

(2)

Por lo tanto, las ecuaciones de movimiento del sistema sern: a mk q r = V qr (r = 1, 2, . . . , 9) (3)

donde k es la parte entera de (r + 2) /3. Este sistema tiene 9 ecuaciones de segundo orden, teniendo un orden total de 18. Deniendo el momento como pr = mk qr podemos escribir el hamiltoniano de la siguiente forma: 9 p2 r H= +V (4) 2mk r=1 con lo que tendr amos las siguientes ecuaciones para describir al sistema: qr = H , pr pr = H qr (5)

Como se puede apreciar, estas 18 ecuaciones diferenciales no forman un sistema muy sencillo de resolver algebraicamente, es ms, no se pueden resolver en a forma general para cualquier condicin inicial, dndonos la posibilidad de tener o a un caso en el cual sea sensible el sistema a condiciones iniciales, lo cual signicar a que constituyen un sistema catico. o

3.1.1.

Reduccin del sistema o

Lagrange mostr que el sistema planteado (eq. 5) se puede reducir de orden o 18 a orden 6, con las siguientes consideraciones. Como no hay fuerzas externas, podemos decir que el momento total ser una a constante del movimiento, y adems se van a mover su centro de masa en l a nea recta; este hecho se puede expresar con las siguientes 6 integrales del movimiento:

donde a1 , a2 , . . . , a6 son constantes. De esta forma, el orden del sistema se reducir a 12. Del mismo modo se puede considerar el momento angular, puesto a que no hay ningn torque externo, lo que nos dar las se puede expresar con las u a siguientes ecuaciones:

m1 q1 + m2 q4 + m3 q7 (p1 + p4 + p7 ) t = a4 m1 q2 + m2 q5 + m3 q8 (p2 + p5 + p8 ) t = a5 m1 q3 + m2 q6 + m3 q9 (p3 + p6 + p9 ) t = a6

p1 + p 4 + p 7 = a1 p2 + p 5 + p 8 = a2 p3 + p 6 + p 9 = a3

(6)

(7)

donde a7 , a8 , a9 son constantes. Con estas integrales se reducir el sistema a a orden 9. Luego, considerando que se tienen las posiciones respecto de un sistema de coordenadas jos, el angulo azimutal de uno de los cuerpos y la posicin respecto o al plano jo pueden ser coordenadas ignorables, lo cual reduce el sistema a orden 8. Si se considera ahora que la energa total se conserva, pues el hamiltoniano planteado es independiente del tiempo, se puede reducir con esa integral de la energ y eliminando el tiempo, se puede reducir a orden 6 el sistema planteado. a

q 1 p2 q 2 p1 + q 4 p5 q 5 p4 + q 7 p8 q 8 p7 = a7 q p q 3 p2 + q 5 p6 q 6 p5 + q 8 p9 q 9 p8 = a8 2 3 q 3 p1 q 1 p3 + q 6 p4 q 4 p6 + q 9 p7 q 7 p9 = a9

(8)

3.2.

Formalismo del problema de Sitnikov

Como se hab mencionado en la introduccin (sec. 2.1), el problema de Sitnia o kov es una reduccin del caso general. Para hacer ms sencillo el clculo numrico o a a e se considerarn unidades tales que G = 1, y m = 1. Considerando que las masas a de los cuerpos dominantes sean m1 = m2 = m/2, tienen un movimiento el ptico en torno a su centro de masa, con excentricidad e, y per odo 2. Entonces el movimiento de un tercer cuerpo situado en el eje perpendicular al plano de movimiento de las dos masas (plano xy) y que pase por el centro masa (por el origen), estar restringido slo a ese eje (el eje z). a o 4

Si ponemos r(t) como la distancia de las dominantes al centro de masa, y con las consideraciones anteriores, podemos denir el hamiltoniano que describe a la masa en el eje z en trminos de unidades de masa de la siguiente forma: e H (z, v, t) = v2 2 1 z 2 + r2 (t) (9)

Del resultado de los dos cuerpos, se tiene que (considerando las unidades escogidas): 1 e2 2r() = (10) = 1 e cos + O e2 1 + e cos Y el angulo polar se puede poner en funcin del tiempo t, v la integral o a t=
t 0

4r2 ( ) d 1 e2

(11)

Entonces con las ecuaciones (10) y (11) y descartando trminos de orden e 2 e y mayores, obtenemos: r(t) = 1 (1 e cos ) + O e2 2 (12)

as el hamiltoniano (9) podr escribirse a primer orden en e, como: , a H (z, v, t) = v2 2 1 z 2 + 1/4 e cos t 4 (z 2 + 1/4)3/2 (13)

Como se puede ver, este hamiltoniano depende del tiempo y tiene per odo 2. Las ecuaciones de movimiento para este hamiltoniano son: z = v v = 8z (4z 2 + 1)
3/2

(14) e 24z (4z 2 + 1)5/2 cos t (15)

Para e = 0 el sistema se vuelve independiente del tiempo y por lo tanto es integrable, pero para e > 0 la dependencia expl cita del tiempo hace que no rompa la simetr temporal y no habrn cantidades integrables convirtiendo al a a problema en no integrable.

3.3.

Indicadores de caos

Para poder decir que un sistema se comporta de manera catico hay ciertos o indicadores que deben medirse. Estos indicadores se medirn en simulaciones a numricas de las ecuaciones planteadas. e 3.3.1. Orbitas en el espacio de fase

Las orbitas en el espacio de fase de un sistema catico respecto a uno no o catico son muy diferentes, puesto que en un caso que no hay caos se pueden o identicar orbitas cerradas denidas para un movimiento peridico. o 3.3.2. Trayectorias en el espacio de conguraciones

La grca de la trayectoria seguida por el cuerpo en funcin del tiempo, nos a o puede dar una muy buena idea para identicar el tipo de movimiento que sigue, es decir, si es catico o no. Pero sto es solo para visualizar qu est ocurriendo o e e a de una forma aproximada, puesto que los indicadores numricos son los que dirn e a si realmente hay caos o no. 3.3.3. Espectro de frecuencias

De todas formas, podr ser que una trayectoria aparentemente catica sea en a o realidad una combinacin de muchas frecuencias denidas, y que a largo plazo o repita su movimiento. La herramienta ms adecuada en este caso es calcular a espectro v una transformada discreta de Fourier. a Considerando que zj = z(jt) (con j = 1, . . . , n), dado que tmax = nt; usaremos la siguiente forma de la transformada de Fourier discreta, 1 n zj e2ikj/n zk = n j=1 (16)

que es una discretizacin de una funcin de la frecuencia, z k = z (kf ), con o o f = 2/tmax . Entonces, se puede calcular Ek = |k |2 z (17)

que ser una funcin de la frecuencia que signica la potencia con la que est prea o a sente esa frecuencia en la seal, y por eso picos sern las frecuencias presentes en n a la seal de zj . n

3.3.4.

Funcin de autocorrelacin o o

La funcin de autocorrelacin nos ayuda a ver cmo se pierde la informao o o cin en la trayectoria. Sea z = n zk /n y zi = zi z , entonces se dene la o 1 autocorrelacin como: o 1 n C(mt) Cm = (18) n i=1 Si una seal cambia poco despus de un intervalo mt, los sumandos se ren e fuerzan y sale un valor signicativo de Cm . En cambio, si es una seal errtica, los n a sumandos se cancelarn eventualmente haciendo que Cm tenga valores pequeos a n y adems tienda a 0. En caso sea una seal peridica, Cm tambin podr serlo. a n o e a

4.
4.1.

Simulacin Numrica o e
Problema general de los Tres Cuerpos

La simulacin del problema de los tres cuerpos se hizo calculando en forma o numrica las ecuaciones de movimiento para las posiciones y velocidades. En e general el sistema de ecuaciones que hab que resolver es el planteado en (3), a que puesto en forma vectorial, y con ecuaciones de primer orden ser a:

El mtodo numrico para realizar la simulacin fue incialmente el mtodo de e e o e Euler, que se explicar en la siguiente seccin. a o Pero el mtodo de Euler no es suciente, as que luego se us el mtodo de e o e Runge-Kutta (sec. 4.3).

r r v 1 = Gm2 |rr1r 2|3 Gm3 |rr1r 3|3 1 2 1 3 r r v 2 = Gm1 |rr2r 1|3 Gm3 |rr2r 3|3 2 1 2 3 v 3 = Gm1 r3 r1 3 Gm2 r3 r2 3 |r r | |r r |
3 1 3 2

r 1 = v1 r = v2 2 r =v 3 3

(19)

(20)

4.2.

Mtodo de Euler e

Dado un sistema de ecuaciones diferenciales de primer orden, el mtodo de e Euler es la primera aproximacin de solucin. Consideremos un sistema de N o o variables yi , que dependen de t. Las ecuaciones diferenciales podrn expresarse a de la siguiente forma: yi = fi (y1 , y2 , . . . , yN , t) i = 1, . . . , N (21)

Escogiendo un paso de t pequeo (t) se puede usar la aproximacin de Euler, n o con la cual, para calcular los valores de yi en el tiempo t+t se necesitan conocer en el tiempo t. La frmula ser o a: yi (t + t) = yi (t) + tfi (y1 , y2 , . . . , yN , t) i = 1, . . . , N (22)

Entonces para averiguar los valores de yi a cualquier t basta conocer sus valores iniciales (condiciones inciales a t = 0) y resolviendo iterativamente con un paso t hasta llegar a ese valor de t.

4.3.

Mtodo de Runge-Kutta e

El mtodo de Runge-Kutta es un renamiento del mtodo de Euler. Usa para e e cada paso, varios pasos intermedios que ayudan a disminuir el error. El mtodo e que veremos ser el de cuarto orden, que fue el que se us para los clculos. a o a En este caso consideraremos un sistema de una ecuacin diferencial, para N o ecuaciones, simplemente se aplica a cada una lo mismo, y se considera en el argumento de la funcin diferencial, a todas ellas. o Sea la ecuacn diferncial o y = f (y(t), t) (23) Considerando igualmente un paso t se podr hacer el clculo del valor de a a y(t + t) con los siguientes pasos: k1 = t f (y(t), t) k2 = t f (y(t) + k3 k4 t k1 ,t + ) 2 2 t k2 ) = t f (y(t) + , t + 2 2 = t f (y(t) + k3 , t + t)

k1 k2 k3 k4 + + + + O(t5 ) (24) 6 3 3 6 De esta forma se obtiene un valor con una mejor aproximacion, de tal forma que el error acumulado con las sucesivas iteraciones para calcular el valor de la funcin a lo largo del tiempo disminuye respecto al mtodo de Euler. o e Adems se puede hacer que controle el tamao del paso calculando el error en a cada paso, y exigiendo que no se exceda ese error, se puede aumentar o disminuir ese paso, haciendo de Runge-Kutta, un mtodo muy eciente para la resolucin e o de ecuaciones diferenciales. y(t + t) = y(t) +

4.4.

Problema de Sitnikov

En el problema de Sitnikov slo se tiene un sistema unidimensional, que nos o da un sistema de ecuaciones diferenciales, de segundo orden, que corresponde a las ecuaciones (14) y (15). As pues, se procedi resolver el sistema con el mtodo o e de Runge-Kutta de orden 4. Luego se procedi a calcular los indicadores de caos o explicados en la seccin 3.3. o

5.
5.1.

Resultados
Problema general de los Tres Cuerpos

Es muy dif identicar un parmetro cuya variacin nos pueda dar reg cil a o menes caticos en el problema general de los tres cuerpos, puesto que tenemos muo chos grados de libertad y otras tantas constantes del movimiento. Entonces la simulacin general fue de carcter demostrativo, para poder visualizar cmo se o a o comportaba en general el sistema con diferentes juegos de condiciones iniciales.

Z
0 -2e+07 -4e+07 -6e+07 -8e+07 -1e+08 -1.2e+08

Cuerpo 1 Cuerpo 2 Cuerpo 3

-5e+10

5e+10

1e+11

1.5e+11

2e+11

2.5e+11

8e+10 6e+10 4e+10 2e+10 0 -2e+10 -4e+10 -6e+10 -8e+10 -1e+11 -1.2e+11

Figura 1: Trayectoria con condiciones iniciales arbitrarias (distancias en m). Para la gura 1, se usaron los siguientes parmetros y condiciones iniciales: a m1 r1 v1 m2 r2 v2 m3 r3 v3 = = = = = = = = = 1 1030 kg (1,36364 1010 ; 1,99714; 0)m (0; 2729,45; 4,53377)m/s 1 1029 kg (1,36364 1010 ; 1,99714; 0)m (0; 27270,5; 4,53377)m/s 1 1020 kg (8,63636 1010 ; 1,99714; 0)m (0; 12729,5; 4,53377)m/s

10

5.2.

Problema de Sitnikov

En el problema de Sitnikov se tiene como unico parmetro la excentricidad a e, dos valores para las condiciones iniciales. Como se aprecia en las ecuaciones (14) y (15), slo en caso de e = 0 hay la posibilidad de encontrar caos, pues para o e = 0 deja de depender del tiempo, volvindose integrable. e Entonces, teniendo en consideracin que para e = 0 tenemos un caso no o catico, se compararn los resultados para diferentes condiciones iniciales y e > 0 o a con casos en los que se tengan las mismas condiciones, pero e = 0. 5.2.1. Orbitas en el espacio de fase

Como se vi en la seccin 3.3.1, las orbitas en el espacio de fase son muy o o importantes, aqu se presentan para el caso de e = 0,002, que siendo mayor pero cercano a 0, se puede notar, presenta orbitas estables (gura 2), en cambio, para e = 0,07 se tienen orbitas que no se cierran (gura 3). En todos los casos se tuvo como condicin inicial para z el origen. o
2 1.5 1 0.5 0 -0.5 -1 -1.5 -2 -3 -2 -1 0 z 1 2 3 v v = 0,9 v = 1,5 v = 1,78 v = 1,82 v = 1,95

Figura 2: Orbitas en el espacio de fase, e = 0,002 Como se puede ver en la gura 3 no para todos los casos de e = 0,07 se tienen trayectorias en el espacio de fase no cerradas, puesto que para los valores bajos de v, no se consigue al parecer un rgimen catico. e o 5.2.2. Trayectorias en el espacio de conguraciones

En la seccin 3.3.2 se vi que las trayectorias nos pueden ayudar a visualizar o o el movimiento y tratar de discriminar visualmente los casos en los que hay y 11

2.5 2 1.5 1 0.5 0 -0.5 -1 -1.5 -2 -2.5 -3 -2 -1 0 z 1 v

v = 0,9 v = 1,5 v = 1,78 v = 1,82 v = 1,95

Figura 3: Orbitas en el espacio de fase, e = 0,07 no caos. Se presentan las trayectorias para el caso de v = 1,82. En la gura 4 podemos ver claramente la periodicidad del movimiento. En cambio en las guras 5 y 6 se aprecia cmo no se puede extraer ningn tipo de periodicidad. o u 5.2.3. Espectro de frecuencias

Como se vi en la seccin 3.3.3 el espectro de Fourier nos da un indicador que o o nos dice si hay o no periodicidad en el movimiento, cosa muy importante para identicar el caos. Entonces, presentaremos algunos espectros, para diferentes valores de e. Tanto para e = 0 (gura 7) podemos ver claros picos (son varios puesto que no es un movimiento armnico simple) que nos indican la presencia o de frecuencias en el movimiento. En cambio para e = 0,06 (gura 8) y e = 0,07 (gura 9) con diferentes condiciones iniciales, se ve ruido, lo que nos indica que no hay ningn tipo de periodicidad. u 5.2.4. Funcin de autocorrelacin o o

En la seccin 3.3.4 se vi que la funcin de autocorrelacin denida por la o o o o ecuacin (18), es otra forma de ver si los cambios en una seal en general son o n errticos o no. Calculada la autocorrelacin para diferentes valores de e, podemos a o ver que en el caso de e = 0 (gura 10) se cumple lo predicho en la seccin 3.3.4, o que siendo peridico, la autocorrelacin lo ser tambin. En cambio, se puede o o a e ver cmo la funcin de autocorrelacin tiende a disminuir conforme aumenta el o o o tiempo en el caso de e = 0,07 (gura 11).

12

3 2 1 0 -1 -2 -3 z

500

1000

1500

2000 t

2500

3000

3500

4000

Figura 4: Trayectoria para e = 0

3 2 1 0 -1 -2 -3 z

500

1000

1500

2000 t

2500

3000

3500

4000

Figura 5: Trayectoria para e = 0,06

13

3 2 1 0 -1 -2 -3 z

500

1000

1500

2000 t

2500

3000

3500

4000

Figura 6: Trayectoria para e = 0,07

6 4 2 0 logE -2 -4 -6 -8 -10 0 0.5 1 Frecuencia 1.5 2

Figura 7: Espectro para e = 0

14

6 4 2 logE 0 -2 -4 -6 -8 0 0.5 1 Frecuencia 1.5 2

Figura 8: Espectro para e = 0,06

6 4 2 0 logE -2 -4 -6 -8 -10 0 0.5 1 Frecuencia 1.5 2

Figura 9: Espectro para e = 0,07

15

5 4 3 2 1 0 -1 -2 -3 -4 -5 0 200 400 600 800 1000 1200 1400 1600 1800 2000 t C

Figura 10: Autocorrelacin para e = 0 o

4 2 0 -2 -4 0 200 400 600 800 1000 1200 1400 1600 1800 2000 t C

Figura 11: Autocorrelacin para e = 0,07 o

16

6.

Conclusiones

Despus de este trabajo lo que se puede concluir es que en el problema de los e tres cuerpos se tienen muchos casos en los cuales hay caos, pero en el que es ms a sencillo visualizarlo y parametrizarlo es en el caso del problema de Sitnikov. En el problema de Sitnikov podemos concluir que el unico parmetro impor a tante para determinar si hay o no caos, es la excentrisidad del movimiento de las primarias, que determinarn el tipo de movimiento al que se someta el tercer a cuerpo.

17

7. Referencias
[1] Whittaker, A Treatise on the Analytical Dynamic of Particles and Rigid Bodies with an introduction to the problem of three bodies, Cambridge University Press, 1965. [2] Fernndez D y Raada A F, Chaos in the three-body problem: the Sitnikov a n case, Eur. J. Phys. vol 17, p. 295, 1996 [3] Benettin G, Galgani L y Strelcyn J M , Phys. Rev. A vol 14, p. 2338, 1976. [4] Numerical Recipies in C, Second Edition, Cambridge University Press, 1992.

18