Caos en sistemas din

amicos tipo H
enon y Heiles
K.Luz-Burgoa,1, * J.A.C. Nogales,1, ** and A. Ticona1, ***
1

Instituto de Investigaciones Fsicas, Universidad Mayor de San Andres, casilla N 8635,

La Paz - Bolivia

Con el fin de entender el comportamiento de las trayectorias de objetos estelares hemos direccionado este trabajo a desarrollar tecnicas del an
alisis din
amico para caracterizar procesos ca
oticos
en modelos que describen objetos estelares. En particular se eligi
o dos modelos ca
oticos tipo HenonHeiles de los cuales analizamos el comportamiento de sus trayectorias encontramos sus puntos fijos,
analizamos su estabilidad lineal y numericamente evaluamos el mapa de Poincare, se hallo tambien
la dimensi
on fractal, evidenciamos en cada caso las condiciones en los cuales estos modelos alcanzan
un comportamiento ca
otico.

INTRODUCCION

El sistema solar y el movimiento de objetos astronomicos eran considerados sistemas fsicos con una evolucion
regular, los cuales pueden ser descritos usando la mecanica y la gravitacion Newtonianas. De esta forma la mecanica
fue asociada y a
un mas identificada con el determinismo. La revolucion a inicios de este siglo en la fsica, la mecanica
cuantica (1900), la relatividad especial (1905) y la relatividad general (1916) impusieron lmites a la mecanica Newtoniana pero el determinismo Newtoniano prevalecio valido dentro de sus lmites de validez. Entonces no es de extra
nar
que solo despues de 200 a
nos la naturaleza mas profunda de la mecanica Newtoniana se revele a partir de los trabajos
de Poincare[2].
Poincare muestra que al solucion del problema de n-cuerpos puede se escrita como una serie de terminos puramente
periodicos, sin embargo Poincare tambien mostro que estas series son asintoticas y divergen, de esta forma el descubre
que los movimientos regulares implican la existencia de un conjunto completo de integrales de movimiento y en caso
contrario estas integrales de movimiento se quiebran debido a perturbaciones. As la mecanica Newtoniana revela su
mas profunda naturaleza, su indeterminismo.
La explicacion matematica que demuestra definitivamente las aseveraciones de Poincare se inicia en los a
nos 60s.
El teorema de la persistencia de movimientos cuasiperiodicos fue delineado por Kolmogorov (1954) y fue probado
independientemente por Arnold y Moser (1961), este teorema conocido como el teorema de KAM demuestra que
bajo perturbaciones suficientemente peque
nas y continuas las integrales de movimiento permanecen regulares en una
magnitud relativa de la perturbacion estimada del orden de 1048 [4]. Sin embargo las soluciones regulares cambian
de caracter cuando la razon de las frecuencias de las soluciones son racionales.
Las computadoras fueron de enorme importancia en el desarrollo del entendimiento cualitativo de sistemas fsicos
dinamicos y son dos estudios numericos que hasta ahora son los que mas estudiamos, los que iniciaron estos
analisis[1][3][4].
Ambos trabajos muestran el comportamiento complejo resultado de sistemas dinamicos sencillos. No es necesario que
los sistemas sean complicados para exhibir un comportamiento complicado. El sistema de Lorentz es el ejemplo representativo de sistemas disipativos dinamicos que exhiben comportamiento irregular este describe el comportamiento
de la atmosfera terrestre. El sistema de Henon-Heiles es el modelo tpico para el estudio de sistemas hamiltonianos
conservativos, ellos fueron motivados al observar el comportamiento de estrellas en galaxias. A los comportamientos
irregulares en sistemas disipativos o conservativos lo denominamos ca
otico. El comportamiento caotico tiene dos caractersticas distinguibles, la primera es el comportamiento marcadamente irregular en sus trayectorias y el segundo
es que el comportamiento caotico es sensible al cambio de las condiciones iniciales. El comportamiento caotico en
sistemas conservativos tiene origen homoclnico, debido a que un n
umero infinito de intersecciones transversales de
una curva se aproxima a un punto crtico, la topologa de los cilindros homoclnicos es consecuencia de un punto crtico
hiperbolico en el espacio de fases y las intersecciones transversales son debidos a la no integrabilidad del sistema. Este
fenomeno homoclnico produce un conjunto caotico en el espacio de fases, en el sentido que la dinamica es altamente
sensible a las condiciones iniciales.
El comportamiento caotico en sistemas conservativos tiene origen homoclnico debido a que un n
umero infinito de
intersecciones transversales se una curva se aproxima a un punto crtico la topologa de los cilindros homoclnicos es
consecuencia de un punto crtico hiperbolico en el espacio de fases y las intersecciones transversales son debidos a la
no integrabilidad del sistema. Este fenomeno homoclnico produce un conjunto caotico en el espacio de fases, en el
sentido que la dinamica es altamente sensible a las condiciones iniciales.

En este trabajo nos referimos a sistemas tipo Henon-Heiles,en estos casos, los sistemas hamiltonianos son conservativos, el comportamiento caotico puede ser distinguido de un comportamiento cuasiperiodico analizando la apariencia
del conjunto de puntos generado por las trayectorias en una superficie conocida como mapa de Poincare. El analisis
del mapa de Poincare sirve para distinguir un proceso caotico de uno que no lo es y se ha convertido en un metodo
popular las ultimas decadas en conexion con le teorema de KAM cuando se analiza sistemas hamiltonianos, originalmente integrables, perturbados debilmente. Cuando el sistema conservativo tiene dos grados de libertad el metodo
de Poincare puede entenderse de la siguiente manera: las trayectorias fsicas estan vinculadas en una superficie tridimensional isoenergetica H(q1 , q2 , p1 , p2 ) = H0 si la energa es constante durante la evolucion del sistema, despues de
un intervalo de tiempo adecuado, la solucion intersectara repetidamente alguna superficie bidimensional, por ejemplo
cuando q2 = constante la superficie de Poncare sera (q1 , p1 ). Si alguna constante de movimiento relacionada con
q1 y p1 existe, es decir si el sistema es integrable, es posible expresar p1 = p1 (q1 ) entonces se formara una curva
continua en el mapa de Poincare. Cuando este sistema es perturbado debilmente, las soluciones regulares, superficies
de KAM, continuaran existiendo para la mayora de las condiciones iniciales, pero en algunas regiones del mapa de
Poincare estas quiebran su topologa cerca de resonancias, formando islas, estas quiebran nuevamente su topologa
cerca de resonancias formando otras islas y as sucesivamente. Es decir las superficies de KAM se aislaran en delgadas
capas del movimiento aleatorio representado por puntos en el mapa de Poincare. Si la perturbacion es mas fuerte las
superficies de KAM tenderan a desaparecer progresivamente cuando esto ocurre el movimiento de las trayectorias es
completamente estocastico, es decir caotico. En otras palabras el movimiento ordenado, donde la entropa es baja, se
convierte en uno donde la entropa es alta.
Los exponentes de Lyapunov son un metodo estandar para cuantificar el comportamiento caotico y miden directamente la sensibilidad a las condiciones iniciales. Dos trayectorias inicialmente cercanas se separan a lo largo de una
dada direccion como:
(t) = 0 et ,
es el exponente de Lyapunov a lo largo de la trayectoria. Si > 0 el sistema exhibe una dependencia sensible con
las condiciones iniciales con caractersticas caoticas en una escala de tiempo TL = 1/, este coeficiente depende del
sistema de coordenadas[5], una forma de evitar la dependencia del coeficiente de Lyapunov y el sistema de coordenadas
es la conexion existente entre caos y fractales pues la dimension fractal es difeomorfa aunque no es homeomorfa.
Estructuras fractales pueden encontrarse en el espacio de fases de todos los sistemas caoticos. Las trayectorias de un
sistema no caotico estan relacionados con una variedad continua en el espacio de fases con una topologa de un toroide
n-dimensional. En sistema caoticos hay insuficientes integrales aisladas y un toroide continuo es reemplazado por un
fractal de cantori que localmente es el producto de un toroide por un conjunto de cantor.
Cuando las dimensiones no son muchas se ha probado que la dimension fractal de un conjunto caotico invariante
esta relacionado con la entropa de Kolmogorov-Sinai y los exponentes de Lyapunov[5]. La dimension fractal, que es
difeomorfica, es definida por:
Dq =

ln
1
lm
q 1 0

PN ()
i=1

ln

(pi )q

donde N () son el n
umero de hipercubos cuyos lados son de longitud y cubren todo el fractal, pi es el peso asignado
PN ()
al i-esimo hipercubo y i=1 pi = 1. La dimension fractal o de Hausdorf se la encuentra cuando q = 0, la dimension
de la informacion cuando q = 1 y la dimension de correlacion cuando q = 2. Cuando los fractales son homogeneos las
dimensiones son iguales. Es importante notar que la dimension D1 esta relacionada con el coeficiente de Lyapunov.
En este trabajo direccionamos el analisis a una clase de modelos tipo Henon-Heiles de los cuales hacemos el analisis
dinamico encontramos y analizamos los correspondientes mapas de Poincare y determinamos la dimension fractal. En
la seccion 2 analizamos el modelos de Henon-Heiles en la seccion 3 adicionamos un potencial atractivo al de HenonHeiles y encontramos un comportamiento similar, mostramos evidencias caoticas en ambos sistemas, es importante
mencionar el hecho que encontramos la dimension fractal en cada caso.

MODELO DE HENON-HEILES

El modelo de Henon-Heiles es uno de los mas relevantes para estudiar sistemas hamiltonianos caoticos conservativos
este modelo describe al sistema solar. Henon y Heiles escogieron un modelo dinamico el cual es facilmente calculado y

Henon Heiles, E=1/24 condiciones iniciales, 8484 puntos en el mapa de Poincare

0.3

0.2

0.1

-0.1

-0.2

-0.3
-0.3

-0.2

-0.1

0.1

0.2

0.3

0.4

Figura 1: Henon-Heiles E = 1/24 24 condiciones iniciales

sirve de gua importante para entender la naturaleza de las soluciones de esta clase de sistemas dinamicos conservativos.
El hamiltoniano que escogieron es el siguiente:
H = (p2x + p2y )/2 + HH ,

(1)

donde HH es el potencial de Henon-Heiles que tiene la forma:

HH = (x2 + y 2 )/2 + x2 y y 3 /3,

(2)

y representa el acoplamiento de dos osciladores armonicos con un acoplamiento no lineal. Este problema tiene dos
grados de libertad, el mnimo requerido para analizar un comportamiento caotico. Las correspondientes ecuaciones
de movimiento son:
H
= px ,
px
H
y =
= py ,
py
H
px =
= (x + 2xy),
x
H
= (y + x2 y 2 ),
py =
y
x =

(3)

Como el sistema es conservativo un elemento de volumen en el espacio de fases es conservado debido al teorema
de Liouville[6]. El hecho que el volumen no cambia en sistemas conservativos implica que no hay regiones en el
espacio de fases que act
uen como ciclos lmite ni la existencia de atractores extra
nos. No obstante se encuentran
regiones caoticas con entropa positiva mezcladas con regiones regulares. En sistemas conservativos es posible construir
aproximadamente el espacio de fases identificando puntos de equilibrio y analizar la estabilidad de las trayectorias
en la vecindad de estos. Para el Hamiltoniano que estudiamos los puntos fijos son hiperbolicos y elpticos. Un punto
hiperbolico o silla es asociado con trayectorias en el espacio de fases que se acercan o se alejan de esta. Cerca de los

Henon Heiles E=1/6, 102 condiciones iniciales, 22510 puntos en el mapa de Poincare
0.6

0.4

Py

0.2

-0.2

-0.4

-0.6
-0.6

-0.4

-0.2

0.2
Y

0.4

0.6

0.8

Figura 2: Henon-Heiles E = 1/6 102 condiciones iniciales

puntos elpticos o centrales las trayectorias en el espacio de fases rotan alrededor de estos. Alrededor de los puntos
hiperbolicos los movimientos se hacen inestables a diferencia de los puntos elpticos.
En sistemas donde hay una mezcla del comportamiento de las trayectorias elpticas e hiperbolicas se dice que el
sistema presenta caos suave.
Los puntos fijos para nuestro sistema lo denotamos por P (xi , yi , pxi , pyi ) y son obtenidos de la ec.(3) cuando
hacemos x = y = px = px = 0 de donde obtenemos:
px
py
x(1 + 2y)
y + x2 y 2

=
=
=
=

0,
0,
0,
0.

Cuando x = 0 entonces y = 0 o y = 1 y si y = 1/2 entonces x =

3/4, por tanto hay cuatro puntos de equilibrio:

P1 = (0, 0, 0, 0),
P2 = (0, 1, 0, 0),
p
P3 = ( 3/4, 1/2, 0, 0),
p
P4 = ( 3/4, 1/2, 0, 0).
Para caracterizar los puntos fijos hacemos el analisis de estabilidad lineal analizando la evolucion del sistema haciendo
un peque
no desplazamiento P alrededor de los puntos fijos P . Haciendo este analisis puede concluirse que el punto
P1 es un punto elptico y que el punto P2 es hiperbolico. Un grafico de HH respecto de y muestra que si y 1 el
movimiento esta limitado en el potencial en caso contrario, y > 1 el movimiento esta limitado en el potencial en caso
contrario, y > 1, no lo esta. Nos concentramos ahora en la region limitada, para, el cual determinamos los lmites
de la energa para que esto ocurra, es decir cuando E > H (P2 ) = 1/2 nos concentramos en la region en la cual
0 < E < 1/6.
Resultados numericos relevantes son mostrados en el mapa de Poincare para el cual usamos un algoritmo de Runge
Kutta de quinto orden[7]. Para el caso E = 1/24 (fig.1) el movimiento es regular en el sentido que se forman curvas

continuas que son secciones de un cilindro o de un toroide, del mapa podemos observar la presencia de 4 puntos
elpticos y 3 puntos hiperbolicos el mapa de Poincare esta dise
nado para 24 condiciones iniciales y hay 17657 puntos
en este mapa, cuando E = 1/12 no hay diferencias cualitativas. Para el caso en que E = 1/24 y usando una regilla de
500 500 sobre el mapa de Poincare (fig.1) encontramos la dimension fractal de 0,9 0,1 cuando la longitud de los
cuadrados es grande la determinacion de la dimension fractal es ineficiente mientras que para peque
nos la eficiencia
aumenta. A pesar de este problema la determinacion de la dimension fractal se la obtiene rapida y facilmente. El
hecho que D0 1 muestra que el sistema esta ordenado y que las trayectorias son continuas y que forman trayectorias
unidimensionales (1).
Cuando E = 1/8 en el mapa de Poincare puede evidenciar bifurcaciones de forma que cuando E = 1/6 se observan
(fig.2). El mapa de Poincare para 102 condiciones iniciales y 22510 puntos sobre el mapa, los puntos practicamente
sin continuidad que desde el punto de vista estadstico puede interpretarse como el incremento de la entropa. Es decir
cuando la energa incrementa pasamos de movimientos regulares, donde el sistema es integrable hasta que bifurcaciones
ocurren cerca de los puntos hiperbolicos debido al incremento de energa produciendose un movimiento con entropa
alta. La dimension fractal para el caso E 1/6 es D0 = 1,5 0,1 mostrandonos que no se forman curvas regulares y
por tanto el sistema es no integrable.

MODELO HENON-HEILES
MODIFICADO

Consideremos en esta seccion un sistema hamiltoniano conservativo tipo Henon-Heiles.

Henon Heiles E=1/24, una condicion inicial, 26348 puntos en el mapa de Poincare
0.22

0.2

0.18

0.16

Py

0.14

0.12

0.1

0.08

0.06

0.04

0.02
-0.08

-0.06

-0.04

-0.02

0.02

0.04

0.06

0.08

0.1

Figura 3: Henon-Heiles modificado E1/24 una condici

on inicial

H=

1 2
(p + p2y ) + HHM ,
2 x

donde HHM es el potencial de Henon-Heiles modificado por un potencial atractivo y es definido por:

2 3

1
2
2
2
x + y + 2x y y p
.
HHM =
2
2
3
(x + y 2 )

(4)

Las correspondientes las ecuaciones de movimiento para este hamiltoniano son:

H
= px ,
px
H
y =
= py ,
py

H
x
px =
= x + 2xy + 2
,
x
(x + y 2 )3/2

x
H
2
2
= y+x y + 2
.
py =
y
(x + y 2 )3/2
x =

(5)
(6)
(7)
(8)

Los puntos fijos para este sistema P (xi , yi , pxi , pyi ) se obtiene haciendo p x = py = x = y = 0. De aqu que
Henon Heiles E=1/24, 24 condiciones iniciales,17657 puntos en el mapa de Poincare
0.3

0.2

Py

0.1

-0.1

-0.2

-0.3
-0.3

-0.2

-0.1

0.1

0.2

0.3

0.4

Figura 4: Henon-Heiles modificado E1/24

encontramos:
px = 0,
py = 0
x
x + 2xy + (x2 +y
2 )3/2 = 0,
2
2
y + x y + (x2 +y2 )3/2 = 0,
multiplicando (7) por y, a (8) por x y restando ambas ecuaciones encontramos:
x = 0,

x2 = 3y 2 ,

Consideremos el primer caso cuando x = 0 tenemos en (7) la igualdad se cumple pero de la ec.(8) tenemos y 2 y 3 + |y|
=

0 Para el segundo caso x2 = 3y 2 encontramos de las ecuaciones (7) o (8) que y 2 + 2y 3 + 8|y| = 0; los valores de xi y
yi para ambas ecuaciones se encuentran resolviendo estas ecuaciones numericamente. Como se observa en este caso
obtenemos un conjunto de puntos fijos los cuales seran caracterizados haciendo el analisis de estabilidad.

Sea (xi , yi , pxi = 0, pyi = 0) uno de los puntos, la linealizacion alrededor de este punto se obtiene haciendo una
expansion en series de Taylor donde la nueva variable sera x
= x xi , y = y yi , px = px pxi , py = py pyi , de esta

forma las ecuaciones de Hamilton linealizadas tienen la forma

x
= px ,
y = py ,

3x2
p x = 1 + 2yi + (x2 +y2 )3/2 (x2 +y2i)5/2 x
2xi
i
i

i i
i yi
p y = 2xi (x23x
x
1 2yi + (x2 +y2 )3/2
+y 2 )5/2
i

3xi yi
(x2i +yi2 )5/2
3yi2
(x2i +yi2 )5/2

y,
y,

para el caso en que x = 0 las ecuaciones de movimiento se reducen a:

x
= px ,
y = py ,
p x = 3yi x
,
p y = (3 4yi )
y.
Por tanto la matriz Jacobiana para este caso es:
Henon Heiles modificado E=5/48, 12 condiciones iniciales, 29366 puntos en el mapa de Poincare
0.5

0.4

0.3

0.2

Py

0.1

-0.1

-0.2

-0.3

-0.4

-0.5
-0.5

-0.4

-0.3

-0.2

-0.1

0.1

0.2

0.3

0.4

0.5

Figura 5: Henon-Heiles modificado E = 5/48, 12 condiciones iniciales

0
0
0
0

3yi
0
0 (3 4yi )

1
0
0
0

0
1

0
0

y la ecuacion de autovalores queda como:

4 + (3 yi )2 + 3yi (3 4yi ) = 0,
cuyas soluciones son: 21 = 4yi 3 y 22 = 3yi .
En el caso en que x2 = 3y 2 las ecuaciones de movimiento son:

0.6

Henon Heiles E=U(xi,yi), 102 condiciones iniciales, 21862 puntos en el mapa de Poincare
0.6

0.4

Py

0.2

-0.2

-0.4

-0.6
-0.6

-0.4

-0.2

0.2
Y

0.4

0.6

0.8

Figura 6: Henon-Heiles modificado E 1/6

x
= px ,
y = py ,

3
p x = 49 (1 + 2yi )
x 72 + 4y
xi y,

3 5
3
7
2 2 yi y,
p y = 2 + 4y xi x
la matriz Jacobiana para este caso es:

1 0

0 1

7
3
9
4 (1 + 2yi ) 2 + 4y xi 0 0

3
27 + 4y
xi 32 25 yi
0 0
0
0

0
0

de donde obtenemos:
4 + (3 + 2yi )2 18yi 48yi2 = 0,
de la cual se obtiene las soluciones: 21 = 3 8yi y 22 = 6yi .

Como el valor de es positivo en el primer caso tendremos |y|

= y 2 (y 1) > 0 entonces y > 1 por tanto 21 > 1 y

2
2
2
2
2 < 3 en el segundo caso x = 3y encontramos 8|y| = y (2y + 1) > 0 entonces y < 1/2 por tanto 21 > 1 y
22 < 3. En ambos casos encontramos soluciones elptico hiperbolicas.
Para el caso de = 0,0001 y considerando una energa de E 1/24 con una condicion inicial se obtiene un mapa
de Poincare (3) con una sola lnea de 26348 puntos cuya dimension fractal D0 1 0,1. Cuando las condiciones
iniciales son 24 y la energa E 1/24 encontramos en el mapa de Poincare (fig.4) 17657 puntos y una dimension
fractal D0 1 0,15. En ambos casos, claramente, el sistema hamiltoniano conservativo es integrable y la entropa
la mas baja posible.
Las bifurcaciones comienzan a aparecer a medida que la energa se incrementa por ejemplo cuando la E = 5/48 para
12 condiciones iniciales encontramos 26366 puntos en el mapa de Poincare (fig.5), notese las bifurcaciones y como el

Henon Heiles E=U(xi,yi), una condicion inicial, 21586 puntos en el mapa de Poincare
0.6

0.4

Py

0.2

-0.2

-0.4

-0.6
-0.6

-0.4

-0.2

0.2
Y

0.4

0.6

0.8

Figura 7: Henon-Heiles modificado E 1/6, una condici

on inicial

toro original se descompone en otros peque

nos alcanzando movimientos completamente irregulares. Cuando E 1/6,
la figura (6) muestra el mapa de Poincare del modelo de Henon-Heiles modificado para 102 condiciones iniciales y
21862 puntos.
Finalmente en la figura (7) hay 21586 puntos en el mapa de Poincare para una condicion inicial en ambos casos el
movimiento es altamente irregular y su dimension fractal es D0 1,58 0,1.
CONCLUSIONES

El estudio de procesos caoticos en nuestro sistema solar tal como la formacion del cinturon de asteroides o los
anillos en saturno motivan al estudio de modelos tipo Henon-Heiles. En este trabajo hemos estudiado dos modelos
uno bastante conocido, el de Henon-Heiles y el otro modificado por un potencial atractivo, ambos modelan sistemas
estelares en los cuales se evidencia, usando metodos de la dinamica no lineal, un comportamiento caotico alrededor
de puntos fijos elpticos e hiperbolicos, en todos los casos evidenciamos la diferencia de la dimension fractal entre un
proceso caotico y otro que no lo es, para el mismo sistema.

*
**
***

[1]
[2]
[3]
[4]
[5]

Electronic address: karenluz@if.uff.br

Electronic address: jnogales@fiumsa.edu.bo; Electronic address: jprometeus@gmail.com
Electronic address: aticona@fiumsa.edu.bo
E.N.Lorenz (1963),Deterministic non-periodic flow, J. Atmos. Sci.20 130
Poincare, Les Methodes nouveles de la mechanique celeste, Gauthier-Villars, Paris.
Henon M., and Heiles C.(1964), The applicatibity of the third integral of motion: Some numerical experiments. Astrom. J.
69 73-79.
Henon, M. (1966), Exploration numerique du probleme restreint, W.Masses egales, orbitas son periodiques Bull. Astrom.
Paris 1, fasc. 1,57.
N.J. Cornish and J.J.Levin (1996), Chaos, fractals and inflation, Phys Rev D53 3022.

[6] J.L. Cauley, An introduction to Nonlinear Dynamics and chaos Theory,Physica Scripta T20 1988.
[7] Prees, W.H., Teukolsky,S.A., Vettreling, W.T., and Flannery, B.P. (1992). Numerical Recipes en C (2nd ed., Cambrige
University Press, Cambridge)
[8] J.Wisdom (1987), Urey Prize lecture: Chaotic Dynamics in the solar system, Icarus 72, 241.
[9] W.M. Vieira, P.S. Letelier (1998), Relativistic and Newtonian core-shell models: analytical and numerical results, Astroph/9809257.