Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Hamiltonianos casiintegrables
Febrero, 2012
II
Resumen
En esta tesis se avanza en el conocimiento de los procesos difusivos que tienen lugar
en el espacio de acciones de sistemas Hamiltonianos casi-integrables. Fundamentalmente, se
estudia la difusin de Arnold que tiene lugar a lo largo de una resonancia, considerando un
ujo Hamiltoniano con tres grados de libertad cuya supercie de energa no perturbada es
convexa en el espacio de acciones.
Adems, se estudia la difusin en un mapa simplctico 4D a priori inestable, sobre el cual
se aplica un mtodo seminumrico para predecir aproximadamente el coeciente de difusin
asociado a una de las acciones, y se corrobora numricamente que el proceso satisface una
ecuacin de Fokker-Planck.
III
Agradecimientos
Durante el tiempo que llev realizar este trabajo de tesis, he recibido ayuda y nimo de
mucha gente.
Primero, agradezco sinceramente a mis directores, Pablo Cincotta y Claudia Giordano,
quienes me introdujeron en el tema de la difusin en sistemas Hamiltonianos. Ellos me han
ayudado a utilizar la creatividad para lograr el objetivo de la tesis y a desarrollar mis propias
herramientas. Siempre les voy a agradecer por haberme tenido paciencia en mi lento despertar
hacia una actitud ms pragmtica hacia la ciencia y por su conanza en m.
A lo largo de estos aos de doctorado tuvimos muchas charlas, discusiones, acuerdos y
desacuerdos, sobre dinmica, caos y difusin, que han resultado de una gran riqueza para mi
formacin. Durante toda la tesis recib de ellos palabras de nimo y valoracin de mi trabajo
y supieron sealarme mis puntos dbiles.
Adems, cuando el tiempo escaseaba en momentos prximos al cierre de la tesis, recib una
intensa ayuda de su parte para mejorar la cohesin y claridad de la tesis as como innumerables
correcciones a la misma.
No slo aprend de ellos en el plano estrictamente cientco, sin que tambin en un
plano en el que lo acadmico y lo social se mezclan: observndolos tuve la oportunidad de
aprender la intensa tarea y dedicacin que implica construir y llevar adelante un grupo de
trabajo, determinando sus objetivos y prioridades, registrando sus necesidades y consiguiendo
los recursos.
I deeply thank my Bologna advisor, Armando Bazzani, for introducing me in the theory
of stochastic systems. I really appreciate that he searched for a system where I could study
chaotic diusion by applying some stochastic concepts. I also thank him for his patience at
teaching me the concepts of event space and of noise realization which turned out to be really
important in my research.
I also want to thank Giorgio Turchetti, for helping me in increasing my eciency at work
and for introducing me to many people with research interests similar to mine.
I am indebted to Davide Faranda for sharing his enthusiasm and pragmatism with me.
The experience of working with him has been very fruitfull and helped me to develop scientic
and team skills.
Agradezco a Christos Efthymiopoulos por explicarme sobre diversos aspectos matemticos
de la difusin y sobre aplicaciones astronmicas. Le agradezco tambin por su ayuda en uno
de los experimentos de esta tesis y por su inters en que la termine a tiempo.
Agradezco al jurado, conformado por Ana Mara Platzeck, Carlos Briozzo y Ricardo Cor-
deiro, por las correcciones y sugerencias.
Esta tesis posee una gran componente numrica y, por lo tanto, las personas encargadas
de mantener las herramientas computacionales con las que trabaj diariamente, han sido
imprescindibles.
Le agradezco a Eduardo Suarez por mantener al cluster seminare. Le agradezco a Tito
Viturro por mantener los clusters athena y mnemosyne, los cuales me acompaaron durante
toda la tesis. Le agredezco a Pablo Santamara por mantener mi cpu de escritorio. Tambin
le agradezco por haberme presentado al lenguage fortran90, hecho que precipit un cambio
absolutamente benecioso en mi estilo de programacin. Les agradezco a los tres por mantener
slidos sistemas de backup, a los que tuve que recurrir en ms de una oportunidad, y por darme
IV
profundas y las risas. Gracias Cristbal, Polaco y Martn por esos viejos tiempos.
Gracias Nicols Nessi por ensearme zazen y por las charlas sobre fsica. Gracias al Dojo
Zen de La Plata.
Agradezo a mis amigos de Neuqun: Gustavo, Diego, Roberto, Anbal, Gonza y Javi, por
acompaarme a la distancia. Muchas gracias Ricardo por estar siempre presente cada vez que
vuelvo al Alto Valle, por las tardes en el Ro Grande o en Las Bardas y por los viajes de
mochileros.
Agradezco a Diana por ayudarme a ser feliz. Agradezco a toda mi familia por el amor, la
fuerza y la conanza en m. Gracias a mi madre por su frase: la palabra construye realidad
y a mi padre por haberme hablado sobre el Universo cuando yo era pequeo.
Quiero agradecer con todo mi corazn a mi esposa Valeria Dascanio, por haberme acom-
paado con su amor durante toda esta etapa de mi vida, por entenderme, por ayudarme
cuando yo no vea la salida y por festejar mis logros. Por esto y por muchas razones ms, es
que le dedico cada ecuacin, letra y grco presente en esta tesis a mi Vale.
A Valeria
ndice general
Prlogo 1
2. Indicadores de caos 39
2.1. Exponentes Caractersticos de Lyapunov . . . . . . . . . . . . . . . . . . . . . 39
2.2. Smaller Alignment Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
VII
VIII
5. El enfoque estocstico 99
5.1. Un teorema de promediado . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.2. Ejemplos estocsticos con ruidos Gaussianos . . . . . . . . . . . . . . . . . . . 103
5.2.1. Ruido blanco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.2.2. Ruido generado mediante convolucin de ruidos blancos. . . . . . . . . 105
5.2.3. Proceso Ornstein-Uhlenbeck . . . . . . . . . . . . . . . . . . . . . . . . 106
5.2.4. Ecuacin de Langevin de un oscilador armnico amortiguado . . . . . 108
5.3. Perturbaciones deterministas . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.3.1. Del formalismo estocstico a la simplecticidad . . . . . . . . . . . . . . 112
5.3.2. Generalizacin del mtodo . . . . . . . . . . . . . . . . . . . . . . . . . 114
5.4. Capa estocstica gruesa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
5.4.1. Funciones de correlacin . . . . . . . . . . . . . . . . . . . . . . . . . . 116
IX
Bibliografa 131
Prlogo
Los sistemas Hamiltonianos son una herramienta de la Mecnica Clsica, que es uno
de los paradigmas con el que se estudia la naturaleza. Muchos sistemas astrofsicos suelen
ser modelados, total o parcialmente, por ecuaciones diferenciales Hamiltonianas. Entre los
ejemplos se encuentran el Sistema Solar, sistemas planetarios en general, planetas con lunas,
cmulos estelares, galaxias, cmulos de galaxias y todo otro objeto astronmico cuyas partes
constitutivas estn relacionadas entre s a travs de la interaccin gravitatoria.
La condicin de no integrabilidad de los sistemas Hamiltonianos genricos hace que los
mismos sean una herramienta incompleta. En las aplicaciones es generalmente necesario
complementarlos con desarrollos perturbativos o simulaciones numricas, dando ambos m-
todos informacin aproximada.
Los sistemas Hamiltonianos casi-integrables, han sido objeto de un creciente estudio desde
los tiempos de Poincar (1854 1912) con sus investigaciones del problema de tres cuerpos.
Los mismos poseen un espacio de fases donde coexisten rbitas con diferentes niveles de
caoticidad, con lo cual no es sencillo adoptar una descripcin, o una metodologa, adecuada
para su estudio.
An persisten problemas abiertos acerca de la estabilidad, transporte y difusin en siste-
mas Hamiltonianos. A lo largo del tiempo, se han formulado muchas preguntas al respecto,
la mayora de las cuales no han sido respondidas.
Dada una condicin inicial, caracterizada por los valores de las variables ngulo-accin:
cul es la probabilidad de que despus de un cierto intervalo de tiempo, la trayectoria haya
alcanzado un dado entorno del espacio de acciones?, cul es el tiempo medio necesario para
que la partcula de prueba se haya alejado, en una cierta cantidad, de su accin inicial?, si
se pudiese seguir la trayectoria durante un tiempo innito, se llenara densamente alguna
porcin del espacio de fases? Dado un ensamble de partculas con condiciones iniciales en un
dado entorno del espacio de fases: cul ser la dependencia temporal de su varianza o su
desplazamiento cuadrtico medio?, dicha varianza crecer ms all de cierta cota?, es posible
modelar macroscpicamente al ensamble mediante una funcin densidad de probabilidad?, es
posible escribir alguna ecuacin cintica que gobierne la evolucin de esta funcin?
Existen teoras de estos procesos de difusin catica. Las mismas varan en las caracters-
ticas de los sistemas sobre los cuales hacen predicciones y varan en el tipo de prediccin que
pueden hacer. La literatura al respecto es extensa y abarca trabajos con un amplio rango de
1
2
3
4 Introduccin y marco terico
decir, se debe tener el valor de rt0 . En el caso de ujos, la unin del sistema de ecuaciones
diferenciales ordinarias de primer orden junto con la condicin a un dado tiempo, es llamado
problema de valores iniciales (PVI).
El teorema de existencia y unicidad de la solucin de un PVI, que puede consultarse
en Birkho (1927), slo garantiza dicha solucin en un entorno de la condicin inicial y para
un intervalo de tiempo, ambos sucientemente pequeos.
dpi H dqi H
= ; = (1.3)
dt qi dt pi
para i = 1, . . . , nd . La funcin H es llamada Hamiltoniana del sistema y las variables q1 , . . . , qnd
y p1 , . . . , pnd son llamadas coordenadas generalizadas y momentos generalizados, respectiva-
mente. La dimensin nd de los vectores q (q1 , . . . , qnd ) y p (p1 , . . . , pnd ) es llamada
nmero de grados de libertad. Se dice que el sistema de ecuaciones descripto por Ec. (1.3) est
en forma cannica. Se llama mapa simplctico a un sistema Hamiltoniano de tiempo discreto.
El mismo consiste en un mapeo, como el dado por Ec. (1.1), cuya matriz Jacobiana
d
M Df (r) f (r), (1.4)
dr
satisface la siguiente condicin simplctica: MT JM = J, donde J posee la siguiente forma:
!
0 I
J , (1.5)
I 0
que son independientes, cumplen que {fi , fj } = 0 para todo i 6= j ({, } denota el corchete de
Poisson) y pueden resolverse para los nd momentos pi , entonces el sistema es completamente
integrable y la solucin general puede ser construida por medio de cuadraturas.
Los sistemas Hamiltonianos integrables que se obtendrn, durante el desarrollo de esta
tesis, al realizar aproximaciones a sistemas casiintegrables podrn clasicarse en tres tipos.
Tal clasicacin puede hallarse en Morbidelli (2006) y depende de las variables de las cuales
depende explcitamente el Hamiltoniano.
H = H(p, q); depende de slo un grado de libertad. En este caso el sistema es inte-
grable porque posee una constante de momvimiento, que es el Hamiltoniano mismo. El
movimiento evoluciona a lo largo de curvas de nivel de H en el espacio bidimensional
(p, q).
H = H(p1 , . . . , pnd , qk ); depende de slo una coordenada. En este caso el sistema es inte-
grable porque posee nd constantes de movimiento independientes que son p1 , . . . , pk1 ,
pk+1 , . . . , pnd y H. El movimiento preserva los valores de p1 , . . . , pk1 , pk+1 , . . . , pnd , y
evoluciona a lo largo de curvas de nivel de H sobre el plano (pk , qk ).
Los nuevos momentos son llamados acciones del sistema y el conjunto de variables (, I) es
llamado variables ngulo-accin.
El conjunto de variables ngulo-accin no es nico. De hecho, cualquier transformacin
lineal del tipo
J = AI, = (AT )1 , (1.7)
donde A es una matriz con coecientes enteros y determinante unitario, y AT (AT )1 es
la inversa de su traspuesta, dene un nuevo conjunto de variables ngulo-accin. Por lo tanto,
el nmero de conjuntos distintos de variables ngulo-accin es innito numerable.
6 Introduccin y marco terico
H
(I) = . (1.8)
I
Se dene un toro ndimensional a toda variedad que puede ser parametrizada por n
ngulos independientes, y se lo denota Tn . La variedad nd dimensional formada por aquellos
puntos del espacio de fases que comparten un mismo valor del vector de acciones y cuyos
ngulos pertenecen al intervalo [0, 2), es un ejemplo de toro nd dimensional.
Si las frecuencias son tales que la ecuacin
nd
k (k1 , . . . , knd ) Znd
X
k = kj j = 0, (1.9)
j=1
admite como nica solucin entera k = (0, . . . , 0), el movimiento cubre densamente al toro
nd dimensional. En este caso se dice que las frecuencias son no resonantes y el movimiento
es llamado quasiperidico. En este caso el toro se clasica como no resonante.
Por otro lado, en el caso en que la Ec. (1.9) admita como solucin n, con 1 n < nd ,
vectores enteros no nulos independientes k1 , . . . , kn , la trayectoria llenar densamente un
toro, Tm , de dimensin m = nd n y se dice que las frecuencias estn en una resonancia
de multiplicidad n. En este caso el toro se clasica como resonante. Se llama orden de la
resonancia a la cantidad
acciones. En este caso, los toros resonantes son densos en el espacio de fases y las acciones
que etiquetan a estos toros resonantes, son densas en el espacio de acciones. Sin embargo,
para este tipo de sistemas, la medida de los toros resonantes es nula, incluso considerando
todas las multiplicidades, mientras que la medida de los toros no resonantes es uno.
Por ltimo, analicemos la estructura del conjunto de acciones y frecuencias que satisfacen
una dada condicin de resonancia. A tal conjunto se lo llama superficie resonante, indepen-
dientemente de la dimensionalidad del problema. Trabajando en el espacio de frecuencias se
tiene que (1.9) representa una supercie de nivel de una funcin lineal (hiperplano) cuyo
vector normal es k y que pasa por el origen. En el caso nd = 2 se trata de una recta mientras
que en el caso de nd = 3 representa un plano.
De (1.8) y (1.9) se obtiene la condicin de supercie resonante en el espacio de acciones:
nd
k Z nd .
X
k (I) = kj j (I) = 0, (1.12)
j=1
La forma de tales supercies depende de la relacin funcional entre las frecuencias y las
acciones y por lo tanto, depende del Hamiltoniano no perturbado. Por ejemplo, para H0 (I) =
I13 +I22 +I3 , se tiene que (I) = (3I12 , 2I2 , 1) y que la supercie resonante asociada al armnico
k es 3k1 I12 +2k2 I2 +k3 = 0. La misma representa un cilindro parablico con generatriz paralela
al eje asociado a I3 .
Tanto en el espacio de acciones como de frecuencias, la supercie resonante es una variedad
de dimensin nd 1. Su interseccin con la supercie de energa constante, H0 (I) = h, que
tiene dimensin nd 1, da una variedad de dimensin nd 2, considerndola como variedad
perteneciente al espacio de acciones o frecuencias. Esto implica que para nd = 2 tal interseccin
es un punto mientras que para nd = 3 es una curva.
El considerar las numerablemente innitas resonancias que existen en un sistema no K-
degenerado, nos dice que para el caso bidimensional habr una cantidad innita de puntos
(accin o frecuencia) resonantes que sern densos en la supercie de energa. Para el caso
tridimensional, se formar una red de superficies resonantes, o resonance web que cubrir
densamente la supercie energtica. Este trmino se utiliza tambin para casos con nd > 3.
En este trabajo se dir que un sistema Hamiltoniano integrable es un sistema lineal si y
slo si dicho Hamiltoniano es una funcin lineal de las variables accin. Una caracterstica de
los sistemas lineales es la isocronicidad, que consiste en el hecho de que el vector de frecuencias
resulta constante e independiente del estado del sistema. Se dene como resonancia lineal a
aquella resonancia en sistemas lineales. Por ejemplo, para nd = 3 sera H0 (I) = aI1 +bI2 +cI3 ,
con lo cual = (a, b, c). De (1.11) se tiene que todo sistema lineal es K-degenerado.
Por otro lado, se dir que un sistema Hamiltoniano integrable es un sistema no lineal
cuando la dependencia del Hamiltoniano respecto de las variables accin no sea lineal. Se
caracteriza por el hecho de que al menos una de las frecuencias cambia al cambiar el estado
del sistema, por lo que posee una dinmica no-iscrona. Una resonancia no lineal es aquella
resonancia que tiene lugar en sistemas Hamiltonianos de esta clase.
donde es un parmetro pequeo y tanto H1 como las derivadas de H0 son de O(1) >> O().
El Hamiltoniano H0 es usualmente llamado la aproximacin integrable o el Hamiltoniano no
perturbado, mientras que H1 es su perturbacin.
Adems, para 6= 0 y pequeo, las varibles accin son en realidad quasiacciones.
A continuacin se presentarn algunos conceptos bsicos de la teora perturbativa (Morbi-
delli, 2006), que sern utilizados posteriormente en esta tesis. La idea bsica de todo enfoque
perturbativo para un sistema Hamiltoniano es encontrar una transformacin cannica cercana
a la identidad de la forma
I = I 1 + f 1 (I 1 , 1 ), = 1 + g 1 (I 1 , 1 ), (1.14)
H 1 (I 1 , 1 ) = H0 (I 1 ) + H1 (I 1 ) + 2 H2 (I 1 , 1 ), (1.15)
I r1 = I r + r f r (I r , r ), r1 = r + r g r (I r , r ), (1.16)
En este caso las variables (I r , r ), son las variables accin-ngulo de la aproximacin integra-
ble a orden r+1 :
H0 (I r ) + H1 (I r ) + + r Hr (I r ). (1.18)
Este proceso iterativo no siempre puede realizarse indenidamente debido a problemas de
convergencia que pueden suceder, y debe detenerse en cierto orden r ptimo.
Uno de los esquemas para encontrar transformaciones que permitan llegar hasta ese orden
ptimo es mediante la utilizacin de series de Lie. Tal enfoque, en su primera iteracin,
determina que debe cumplirse la llamada ecuacin homolgica
H1 + {H0 , } = H1 , (1.19)
(I 1 , 1 ) = dk (I 1 ) exp(ik 1 ).
X
(1.21)
kZnd
dk (I 1 )k 0 (I 1 ) exp(ik 1 ),
X
{H0 , } = i (1.22)
kZnd
Sistemas dinmicos Hamiltonianos 9
donde 0 I 1 H0 .
El resultado consiste en que los coecientes de estn relacionados con los de la pertur-
bacin H1 de la siguiente manera:
ck (I 1 )
d0 = 0, dk (I 1 ) = i k 6= 0, (1.23)
k 0 (I 1 )
y la funcin H1 es
H1 (I 1 ) = c0 (I 1 ). (1.24)
Observando la Ec. (1.23) se concluye que la funcin no est denida si simultneamente
se da que existe algn vector k tal que se cumple la condicin resonante, k 0 (I 1 ) = 0,
para algn valor de I 1 , y que el correspondiente coeciente de la perturbacin, ck (I 1 ), es
distinto de cero. Esto quiere decir que no puede denirse sobre ninguna nueva accin I 1 tal
que las frecuencias no perturbadas que le corresponden sean conmensurables. Debido a que
para todo Hamiltoniano no Kolmogorov-degenerado las resonancias son densas en espacio de
acciones, para una perturbacin general H1 (1.13), no es posible denir a en ningn conjunto
abierto del espacio de acciones. Incluso, si dicha perturbacin slo tuviera un nmero nito
de coecientes no nulos, con cada iteracin rsima del mtodo perturbativo se iran creando
armnicos de orden superior en Hr+1 (I r , r ), de Ec. (1.17).
Esta dicultad inevitable al intentar integrar un sistema Hamiltoniano en cualquier con-
junto abierto del espacio de acciones es llamada problema de los pequeos denominadores y
es el ncleo de la demostracin del teorema de Poincar sobre la no integrabilidad de sis-
temas Hamiltonianos casi-integrables genricos (Poincar, 1892) Este teorema establece que
un sistema Hamiltoniano H, bajo ciertas condiciones entre las que se encuentra el no ser
K-degenerado, no puede tener una integral F independiente de H expresable formalmente en
serie de potencias j0 Fj (I, )j , con coecientes analticos (Kozlov, 1983).
P
donde H1R contiene todos los trminos resonantes de H1 cuya dinmica nos interesa mantener
en la forma normal. Slo en el caso en que H1R contiene una sola resonancia de multiplicidad
uno, tambin llamada resonancia aislada, la forma normal H0 (I 1 )+H1R (I 1 , 1 ) es integrable.
10 Introduccin y marco terico
A dicho tipo de forma normal resonante integrable es que pertenece la aproximacin del
pndulo (ver subsecciones 1.2.7 y 1.4.4).
El pndulo simple consiste en una masa puntual m sometida a una fuerza homognea y
constante F que debe cumplir con la condicin de estar a una distancia l constante respecto
a un punto inercial jo (origen). La caracterstica unidimensional le agrega la condicin de
que el movimiento est contendio en un plano jo respecto de algn sistema inercial. Sea
el ngulo subtendido entre la direccin de la fuerza F y el radio vector que va desde el origen
hasta la masa. Sea adems, p su variable conjugada, M = ml2 su momento de inercia y U0 la
energa potencial en el punto de equilibrio inestable. Entonces, el Hamiltoniano del pndulo
simple es el siguiente:
1 2
H(p, ) = p U0 cos (1.27)
2M
La deduccin de la solucin del sistema de ecuaciones inducidas por este Hamiltoniano
puede consultarse en Chirikov (1979), Ferraz-Mello (2007) y Mestre (2006). De acuerdo al
valor de la energa total h existen distintos comportamientos dinmicos. Para h < U0 la
solucin del sistema es
X 1
(t) = 4 sin n (k)t , (1.28)
1/2) K(k
)
n=1 (2n 1) cosh (n K(k)
Este es el rgimen de rotacin ya que presenta una evolucin secular, dando vueltas com-
pletas al origen con una frecuencia igual a 2(k).
Finalmente, para h = U0 se tiene una solucin en trminos de funciones bien conocidas:
s (t)= 4 arctan(e0 t ) ,
p
ps (t) = 2 M U0 cos(s (t)/2). (1.34)
Esta curva es llamada separatriz pues divide al espacio de fases en dos regmenes dinmicos
diferentes. Cuando t , s y t , s . Los puntos del espacio de fases de
la forma (p, ) = (0, m), con m Z son normalmente llamados puntos inestables abigotados,
debido a que en los mismos se cruzan transversalmente la variedad estable y la inestable de
la separatriz.
Las trayectorias con condiciones iniciales en un entorno de la separatriz son las ms sen-
sibles ante las perturbaciones al pndulo, como se ver en la siguiente seccin.
La desviacin estndar es la raz cuadrada de la varianza. Estas dos cantidades son sen-
sibles al grado de difusin de un ensamble respecto al centro geomtrico del ensamble y son
independientes del desplazamiento del centro geomtrico del ensamble (). Por otro lado,
tanto como 2 , s son inuenciadas por . El hecho de que (t) crezca puede no slo deberse
a que el ensamble se difundi, o que se dispers, si no que tambin puede signicar que el
ensamble se mantuvo unido pero su centro geomtrico se traslad.
Es posible denir un coeciente de difusin distinto al dado por Ec. (1.35), que est basado
en el cmputo de la varianza:
2 (t) 2 (t0 )
D . (1.40)
2(t t0 )
Notemos que para el caso en que el tiempo inicial es t0 = 0, y para una varianza inicial
despreciable respecto a la varianza en tiempo t, este coeciente de difusin queda:
2 (t)
D , (1.41)
2t
teniendo una similaridad con la expresin (1.37).
El hecho de que pueda computarse un coeciente de difusin utilizando 2 y otro utilizando
2
, es un ejemplo ms de que no existe una nica manera de denir y de medir la difusin
de las acciones no perturbadas. Ello se debe a que hay diferentes enfoques conceptuales que
intentan describir los procesos que suceden en sistemas Hamiltonianos no integrables. Uno
de estos enfoques consiste en encontrar una ley (en general una ecuacin diferencial parcial)
que gobierne la evolucin de la distribucin de densidad de probabilidad de la accin, (I, t).
Puede interpretarse que (I, t)I es la probabilidad de que al tiempo t la partcula de prueba
posea un valor I en el intervalo [I, I + I]. Tambin puede interpretarse que (I, t)Np I es
el nmero de partculas que se hallan en dicho intervalo al tiempo t. En la seccin 1.3.2 se
denen algunos conceptos y mtodos de dicha teora.
Otra aproximacin al problema consiste en medir las dependencias con el tiempo de ciertas
cantidades estadsticas o promedio, como son o . Aqu no se busca una ley macroscpica
para la distribucin densidad de probabilidad, si no que simplemente se busca encontrar
una regla general para la evolucin de la cantidad estadstica con el tiempo. La nocin de
coeciente de difusin D y D corresponde a este enfoque, para dependencias lineales con
el tiempo. Dentro de este enfoque, existen variantes producto de la necesidad de especicar
los conceptos bajo estudio. No es suciente con dar la funcin Hamiltoniana y la energa del
sistema. Se debe especicar si las cantidades a medir, llamadas observables, son funciones de
un ensamble de trayectorias, son funciones de una nica trayectoria, o son funciones de algn
subconjunto del espacio de fases.
Las cantidades estadsticas arriba denidas pertenecen al primer caso. Por ejemplo, el
observable 2 (t) (1.39) es una funcin cuyos argumentos son los Np valores de las acciones
correspondientes a las Np partculas del ensamble, para un dado tiempo jo t. La dependencia
temporal de 2 (t) es a travs de sus argumentos, las acciones. Este tipo de promedios sern
llamados promedios de ensamble.
Difusin en el espacio de acciones 15
Para ejemplicar el segundo caso, pensemos que tenemos una sola trayectoria I(t) que
evoluciona en el intervalo temporal [0, t], y computamos las siguientes cantidades, que llama-
remos respectivamente media de trayectoria nica (o media temporal), varianza de trayectoria
nica y desplazamiento medio cuadrtico de trayectoria nica :
1 t
Z
u (t) I(t) I( )d,
t 0
1
Z t
u2 (t) (I u )2 (t) (I( ) u ( ))2 d,
t 0
1 t
Z
u2 (t) (I I(0))2 (t) (I( ) I(0))2 d, (1.42)
t 0
donde denota el promedio temporal. Aqu la estadstica es sobre diferentes tiempos, para
una nica condicin inicial.
As denidas, estas tres cantidades, son funciones de todos los valores de la accin de una
nica trayectoria, mientras el tiempo transcurri entre 0 y t. En situaciones en que no se
dispone de los valores de la trayectoria para todo un intervalo continuo sino que se posee una
serie temporal: {I(ti ); i = 0, 1, . . . , n; n N}, las Ecs. (1.42) son reemplazadas por
n
1 X
u (tn ) I(ti ),
n + 1 i=0
n
1 X
u2 (tn ) (I(ti ) u (ti ))2 ,
n + 1 i=0
n
1 X
u2 (tn ) (I(ti ) I(t0 ))2 (1.43)
n + 1 i=0
Estas expresiones tambin se utilizan en el caso de sistemas dinmicos con tiempo discreto,
con el correspondiente reemplazo ti = i.
De forma anloga a los coecientes de difusin denidos a travs de promedios de ensam-
ble (1.35) y (1.37), es posible denir coecientes de difusin utilizando promedios temporales
(usando t0 = 0):
u2 (t)
Du , (1.44)
2t
2 (t) u2 (0)
Du u . (1.45)
2t
Chirikov (1979), Cincotta (2002) y Bountis and Kollmann (1994) han realizado estudios de
difusin de trayectoria nica, pero utilizando algoritmos ms elaborados de promediado tem-
poral, con la intencin de disminuir oscilaciones y de descartar que el proceso no sea difusivo.
La relacin entre coecientes de difusin con origen en promedios de ensamble, y aquellos
con origen en promedios temporales es actualmente un tema de investigacin (Bauer et al.
2011, Zaburdaev et al. 2011, Rebenshtok and Barkai 2008, etc.). En general, ambos tipos de
promedio dan resultados distintos en sistemas con espacio de fases dividido.
El tercer caso corresponde a computar promedios espaciales en una dada regin o variedad
del espacio de fases, utilizando una dada medida1 . A pesar de que en esta tesis no se trabajar
con esta clase de promedios, se dar su denicin para un sistema de un grado de libertad.
1
Para una introduccin a la teora de la medida se puede consultar Bartle (1995).
16 Introduccin y marco terico
Dado un subconjunto, A, del espacio (plano) de fases del sistema, el promedio de una fun-
cin f (I, ) sobre dicho conjunto, utilizando la medida , se computa a travs de la siguiente
integral:
1
Z
f (I, )(dId). (1.46)
(A) A
Dado un sistema Hamiltoniano descripto por las variables (I, ) R T1 , sea M t (t > 0)
un operador evolucin en el espacio de acciones tal que (I(t), (t)) = M t (I(0), (0)) y sea
M t su operador inverso. Si la medida satisface que para todo subconjunto A de A, vale
la igualdad (M t A ) = (A ), entonces la medida es llamada invariante en A. Si adems,
no es posible descomponer a A en porciones en las cuales sea a su vez invariante, se dice
que es ergdica en A (Eckmann y Ruelle, 1985).
Uno de los corolarios del teorema ergdico (Halmos, 1956) consiste en la siguiente relacin
entre promedios de trayectoria nica asintticos y promedios espaciales, para una funcin
continua f y una medida ergdica y nita :
1
Z t 1
Z
lm f (I(t), (t))dt = f (I, )(dI, d). (1.47)
t t 0 (A) A
(x(t1 ); t1 ; x(t2 ); t2 ; . . . )
=(x1 (t1 ), x2 (t1 ), . . . xNd (t1 ); t1 ; . . . , x1 (tk ), x2 (tk ), . . . xNd (tk ); tk ; . . . ) (1.51)
P(A) (x1 (t1 ), x2 (t1 ), . . . xNd (t1 ); t1 ; . . . , x1 (tk ), x2 (tk ), . . . xNd (tk ); tk ; . . . )
dx1 (t1 )dx2 (t1 ) . . . dx1 (tk )dx2 (tk ) . . . (1.52)
Estas deniciones son vlidas independientemente del orden de los tiempos, pero en lo que
sigue se considerar que los tiempos estn ordenados de la forma
t1 t2 . . . 1 2 . . . (1.54)
(x, t + t|z, t)
lm = W (x|z, t), (1.57)
t0 t
uniformemente en x, z y t para |x z| ;
1
Z
lm dx(xj zj )(x, t + t|z, t) = Aj (z, t) + O(),
t0 t |xz|<
1
Z
lm dx(xj zj )(xj zj )(x, t + t|z, t) = Bjj (z, t) + O(), (1.58)
t0 t |xz|<
uniformemente en z, y t.
Bajo estas hiptesis, la ecuacin integral de C-K (1.56) deviene en la ecuacin diferencial
de C-K (Gardiner, 2004):
d N
(z, t|y, t ) = [Aj (z, t)(z, t|y, t )]
X
t j=1
z j
X1 2
+ [Bjj (z, t)(z, t|y, t )]
j,j
2 zj zj
Z
+ dx[W (z|x, t)(x, t|y, t ) W (x|z, t)(z, t|y, t )]. (1.59)
A continuacin analicemos tres procesos ideales que son solucin de la ecuacin diferencial
de C-K.
Si pedimos que W (z|x, t) sea nulo, la Ec. (1.59) se reduce a la Ecuacin de Fokker-Planck:
d N
(z, t|y, t ) = [Aj (z, t)(z, t|y, t )]
X
t j=1
z j
X1 2
+ [Bjj (z, t)(z, t|y, t )], (1.60)
j,j
2 zj zj
Difusin en el espacio de acciones 19
Para una condicin inicial puntual (z, t0 |y, t0 ) = (z y), la solucin de la misma se corres-
ponde con la distribucin del movimiento Browniano (MB), estudiado en Einstein (1956) y
tambin llamado proceso de Wiener:
h i1/2
(z, t|y, t0 ) = (2)Nd det[B](t t0 )
1
exp (z y A(t t0 ))T B 1 (z y A(t t0 )) , (1.62)
2(t t0 )
1 (x)2
N (x; , 2 ) = e 2 2 . (1.63)
2 2
Es esta ltima convencin la que fue utilizada en la seccin 1.3.1 al denir los coecientes de
difusin y es la que ser aplicada en los experimentos numricos del captulo 4.
El segundo proceso ideal obtenible de la ecuacin diferencial de C-K consiste en pedir que
tanto W como B sean nulos, obtenindose la ecuacin de Liouville:
Nd
(z, t|y, t ) = [Aj (z, t)(z, t|y, t )].
X
(1.69)
t j=1
z j
Esta ecuacin tiene la particularidad de que, para una condicin inicial puntual, su solucin
es (z, t|y, t ) = [z x(t)], donde x(t) es la solucin del PVI:
dx(t)
= A(x, t), x(t ) = y. (1.70)
dt
Por lo tanto, la ecuacin de F-P, para tensor de difusin nulo y una condicin inicial deltiforme,
deviene en un sistema completamente determinista, modelable por un sistema de ecuaciones
diferenciales ordinarias. Esto implica que, en el marco de la teora de procesos estocsticos,
un sistema de ecuaciones Hamiltonianas (1.2.1), no presenta ninguna caracterstica difusiva.
Sin embargo, la posibilidad de que algn proceso Hamiltoniano pueda modelarse por una
ecuacin de difusin tipo F-P no debe descartarse. Si bien la ecuacin de C-K asociada a
un sistema Hamiltoniano no posee trmino difusivo, el introducir promediados en ciertas
variables, o el adoptar un granulado grueso en el espacio de fases, puede permitir obtener
una ecuacin de F-P que modele, efectivamente, a la densidad de probabilidad de alguna de
las quasiacciones del sistema. Uno de los resultados de esta tesis (captulo 5) est basado en
este formalismo estocstico para obtener una Ec. de F-P para modelar el proceso difusivo de
Difusin en el espacio de acciones 21
una accin perturbada de un mapa simplctico 4D. En la seccin 1.4.6 se presentan trabajos
previos con este enfoque.
El tercer proceso deducible de la Ec. (1.59) corresponde a A y B nulos y W distinto de
cero, obtenindose la llamada ecuacin Maestra:
Z
(z, t|y, t ) = dx[W (z|x, t)(x, t|y, t ) W (x|z, t)(z, t|y, t )], (1.71)
t
que describe un proceso de saltos y cuya solucin puede consultarse en Gardiner (2004).
Adems, en el mismo se demuestra como obtener una de las versiones del clsico proceso
estocstico random walk (RW), la versin de tiempo continuo, considerando un proceso de
saltos unidimensional en el que el espacio de fases son los nmeros enteros y donde se adopta
como distribucin de los saltos (por unidad de tiempo) a:
(
cte. si m = n 1,
W (m|n, t) = (1.72)
0 si m =
6 n 1.
Adems, considerando un tipo de lmite en el cual se hace tender el tamao de los pasos
a cero, es posible demostrar que el RW de tiempo continuo se transforma en un proceso de
Wiener. Esto es un ejemplo de que existen procesos de saltos que estn relacionados con
procesos difusivos, as como tambin los hay relacionados con procesos deterministas. En el
captulo 5 se presentarn otros tipos de procesos estocsticos.
Una vez que se conoce la funcin (z, t|y, t0 ), es posible computar el valor de expectacin
(condicional), E[], de cualquier funcin, f , del vector estocstico mediante la expresin:
Z
(1.73)
E f X(t) = f (x)(x, t|y, t0 )dx.
Este tipo de promedio terico ser utilizado solamente en el captulo 5. La principal diferencia
entre el promedio de ensambles (hi) y el valor de expectacin, radica en que el primero consiste
en un promedio numrico sobre un nmero finito de trayectorias muestra (realizaciones del
proceso estocstico), mientras que el segundo consiste en un promedio terico, realizado sobre
todas las posibles trayectorias muestra. En el lmite de un nmero de trayectorias muestra, o
equivalentemente de partculas de prueba, yendo a innito, el promedio de ensambles debe
converger hacia el valor de expectacin.
El nombre de proceso difusivo no est limitado, ni a aquel que satisface la ecuacin de
F-P, ni a aquel que satisface la ecuacin de C-K. Por el contrario, existe un amplio espectro
de procesos difusivos anmalos y algunos de ellos han sido utilizados como herramientas para
modelar la difusin en sistemas Hamiltonianos y, en particular, en sistemas Hamiltonianos
Astrofsicos. A continuacin se citarn, sin denir, slo unos pocos de dichos procesos.
Chechkin et al. (2008) presenta una introduccin a los viajes de Lvy (Lvy flights). Metzler
et al. (2007) analiza a estos ltimos, junto con las caminatas de Lvy (Lvy walks), los procesos
subdifusivos y las ecuaciones de F-P fraccionales.
Mandelbrot y van Ness (1968) introduce por primera vez el movimiento Browniano frac-
cional (MBF), a partir de una integral (estcstica) particular del MB. Los MBFs poseen una
desviacin estndar cuya dependencia temporal esta dada por:
(t) t , (1.74)
22 Introduccin y marco terico
donde es llamado exponente de Hurst. Estos procesos pueden clasicarse en tres familias
diferentes de acuerdo al valor de este exponente. Si = 1/2 entonces el MBF se reduce al
MB, por lo que la difusin es normal. Si 0 < < 1/2, se dice que el proceso es subdifusivo,
mientras que si 1/2 < < 1 el proceso se clasica como superdifusivo.
Anteriormente, al analizar la reduccin a la Ec. de Liouville de la Ec. de F-P, se discuti
acerca de si un sistema dinmico puede o no presentar aspectos difusivos en el marco estocs-
tico. En esta tesis, al hablar de difusin catica (o determinista) en sistemas Hamiltonianos
casiintegrables, el concepto de difusin se referir simplemente a que una variable accin
del Hamiltoniano no perturbado H0 (I) es capaz de experimentar una variacin macroscpica
mayor a la de la amplitud de la perturbacin en la regin bajo estudio. Es decir, se adopta
una denicin ms dbil de difusin, ya que no se exige que la densidad de probabilidad de
I obedezca ecuacin macroscpica alguna. Tampoco se exige que las cantidades estadsticas,
como ser la varianza o la desviacin media cuadrtica, posean una determinada dependencia
temporal. En resumen, se ha adoptado la nocin de que existe difusin si y slo si existe
transporte en el espacio de acciones no perturbadas. Esta denicin es la utilizada por Morbi-
delli (2006), Chirikov (1979) , Giordano y Cincotta (2004), Cincotta (2002), Cachucho et al.
(2010), Zaslavsky (2002), Meiss (1992), entre otros.
depende de los ngulos, la proyeccin de dicha variedad sobre el espacio de acciones, que
notaremos I , no posee dimensin nd 1. Siguiendo con el ejemplo de nd = 3, para 6= 0,
se tiene que I posee volumen. Incluso, sucede que un mismo valor de I corresponde a dos
valores de la energa distintos, si est acompaado de ngulos distintos: H(I, 1 ) = h1 pero
H(I, 2 ) = h2 . La condicin de conservacin de energa puede expresarse como
Por lo tanto, deniendo como C a una cota superior de |H1 (I, ) H1 (I 0 , 0 )|, se tiene que
dicha condicin de conservacin impone una cota implcita en el comportamiento de I:
La misma establece que sea cual sea la dinmica, la accin no podr alejarse de la superficie
de energa no perturbada (I0 ) en ms de una cantidad del orden de C. Es decir, la consi-
deracin energtica establece que I es una capa alrededor de I0 (I I0 ). Sin embargo,
utilizando slo estas consideraciones energticas no puede predecirse qu puntos de I podra
efectivamente alcanzar la trayectoria.
Las consideraciones energticas anteriormente analizadas son vlidas para cualquier valor
de la perturbacin. En cambio, las consideraciones que se darn a continuacin dependern
de si las resonancias perturbadas se hallan o no en rgimen de overlap (captulo 3). A medida
que se va aumentando el valor de , las resonancias y las capas estocsticas se van ensan-
chando y solapando mutuamente. El hecho de que dos o ms resonancias entren en rgimen
de overlap no slo depende de sino tambin del tamao de los coecientes asociados a esos
armnicos resonantes en la perturbacin (H1 ), de la distancia de las resonancias entre s y de
la multiplicidad de las mismas, por nombrar algunos factores. Sin embargo, es posible deter-
minar un valor crtico de , que se llamar c , de forma tal que si > c entonces el sistema
se halla mayoritariamente en rgimen de overlap. Este rgimen tambin es llamado rgimen
de Chirikov, mientras que la situacin en que < c es llamada rgimen de Nekhoroshev. La
determinacin de tal valor se ha realizado mediante el anlisis del indicador dinmico FLI
en Froeschl et al. (2000), para un sistema Hamiltoniano 3DoF. En Guzzo et al. (2002) se
aplic este mtodo junto con uno basado en una formulacin espectral del teorema de Nekho-
roshev (seccin 1.4.3) para un ujo Hamiltoniano, obtenindose dos valores de c que dieren
entre s en un orden de magnitud. En Mestre et al. (2009) se determina el valor c para un
ujo Hamiltoniano 3DoF, utilizando el criterio de overlap de Chirikov obtenindose acuerdo
total con el obtenido previamente en Giordano y Cincotta (2004), donde se utiliz el indicador
dinmico MEGNO.
A continuacin se analizar el rgimen de Nekhoroshev. En la seccin 1.2.6 se denieron
los toros KAM y se habl del teorema asociado. Recordemos que un toro KAM, para
sucientemente pequeo, es estable por tiempo indenido, y por lo tanto, surge la pregunta
de si esta estabilidad podra imponer barreras a rbitas con condiciones iniciales que no
pertenecen a toros KAM. El hecho de que la dimensin de un toro KAM es nd mientras que
la conservacin de H conlleva una restriccin a una variedad de dimensin 2nd 1, implica
que el complemento del toro KAM posee dimensin nd 1. Por lo tanto, este complemento
queda dividido en partes disconexas solamente en el caso nd = 2.
Este es un ejemplo de como el conocimiento dinmico producto de aplicar la forma nor-
mal de Kolmogorov (que se utiliza para demostrar teorema KAM) permiti denir objetos
matemticos (toros KAM), y junto con un posterior anlisis topolgico, fue posible imponer
24 Introduccin y marco terico
fuertes restricciones en la dinmica de sistemas con dos grados de libertad. Sin embargo,
para nd > 2, no necesariamente existe la posibilidad de que haya trayectorias que se difun-
dan libremente en el complemento de los toros KAM. De hecho, en el entorno de cada toro
invariante es posible construir una forma normal de Birkho, de forma tal que el posterior
anlisis dinmico del resto al orden ptimo, impone una fuerte restriccin a la velocidad de
difusin. Morbidelli y Giorgilli (1995) encuentran que el tamao de dicha velocidad es super-
exponencialmente pequeo respecto a la inversa de la distancia al toro invariante; es decir,
proporcional a exp(exp(1/r)), donde r es la distancia al toro invariante. Entonces, para
sucientemente pequeo, la alta densidad de toros KAM en ciertas regiones del espacio de
fases acta como barrera a la difusin.
En 1.4.4 se mostrar como la construccin de una forma normal a primer orden en , en
entorno de accin resonante simple, consiste en el Hamiltoniano de un pndulo simple (sec-
cin 1.2.7). Dicha normalizacin permite denir otro tipo de objetos matemticos, llamados
toros resonantes invariantes, que al igual que los toros KAM, son densos en el espacio de
fases. Previamente, en 1.2.3, se deni la red de resonancias. La misma existe para pertur-
bacin nula. Para 6= 0, segn se explic en 1.2.8, aparecen capas estocsticas asociadas a
las separatrices de las resonancias no pertubadas que envuelven a las supercies resonantes
perturbadas. En esta tesis, se llamar red de Arnold (Arnold web) al conjunto formado por la
interseccin de todas las supercies resonantes perturbadas con la variedad de energa per-
turbada constante (H(I, ) = h). Esta red incluye a todas las capas estocsticas que sern
creadas (con distintos grados de intensidad) en los entornos de las innitas resonancias del
sistema no perturbado. Chirikov (1979) llama a esta red resonance network o resonance web,
pero nosotros reservamos este ltimo trmino para las supercies resonantes sin perturbar.
Por lo dicho anteriormente, para nd = 2 las rbitas caticas pertenecientes a dicha red esta-
rn localmente acotadas por los toros KAM que an persisten, mientras que para casos de
dimensionalidad superior las rbitas pertenecientes a la capa estocstica no tienen ninguna
barrera dinmica que les impida recorrer la red de Arnold. Sin embargo, si existen restric-
ciones tericas en la velocidad con la que pueden difundirse o transportarse (Nekhoroshev
1977, Benettin and Gallavotti 1986).
Una denicin equivalente de red de Arnold, dada por Guzzo et al. (2005), es la siguiente.
Dados valores de sucientemente pequeos de forma tal que sean vlidos ambos los teoremas
KAM y de Nekhoroshev (seccin 1.4.3), se tiene que los toros invariantes llenan casi todo
el espacio de fases, garantizando rbitas quasiperidicas (y acotadas) para la mayora de
las condiciones iniciales. La red de Arnold es el complemento de este conjunto respecto a
H(I, ) = h. La misma incluye tanto rbitas regulares como caticas. Entre las primeras
se pueden nombrar aquellas rbitas que tienen lugar en los regmenes oscilatorios de las
resonancias perturbadas y las que tienen lugar en los cantori. Entre las segundas se encuentran
las rbitas caticas que suceden en las capas estocsticas asociadas a resonancias perturbadas.
Debido a la dicultad de visualizar la red de Arnold para nd 2, es una prctica comn
aprovechar el hecho de que para pequeos la variedad I no diere mucho de su contraparte
no perturbada, I0 . Lo que se hace es trabajar slo en el espacio de acciones gracando la red
de Arnold como la iterseccin de la supercies resonantes perturbadas con I0 .
Ahora se analizar qu sucede cuando el sistema se halla en rgimen de Chirikov. Chirikov
(1979) estudi en el mapa estndar, la difusin global que tiene lugar cuando la perturbacin
es sucientemente grande como para romper todos los toros invariantes que podran separar
entre s las regines de movimiento catico que suceden en las capas estocsticas. En este
caso, para cualquier valor de nd , la componente catica queda mayoritariamente conectada.
Teoras de la difusin 25
Luego, existen constantes positivas , , , a y b tales que para todo < vale que
A continuacin se realiza una transformacin cannica lineal, para cambiar de las variables
ngulo-accin de H0 hacia variables (p, ). Sea I r una accin resonante en cuyo entorno se
pretende estudiar la difusin, sea r (I r ) la frecuencia correspondiente y sea ng el vector
normal a su supercie resonante, llamada Sg . Este ltimo puede computarse de la forma:
ng = (m (I)) (1.86)
I |I=I r
1 = mg ,
2 = r /| r | (1.87)
3 = (ng r )/|ng r |,
= ,
(1.91)
p = T (I I r ).
Es posible notar la analoga entre esta transformacin y la dada en Ec. (1.7). No nece-
sariamente las variables pi y i sern respectivamente acciones y ngulos del Hamiltoniano
sin perturbar. Esto slo sucede en el caso en que T posee elementos enteros. De todas
formas, siempre se cumple que las componentes de p, al depender slo de I, son integrales de
movimiento del Hamiltoniano sin peturbar.
Como se dijo recientemente, esta transformacin es bsicamente un cambio de base com-
puesto con una traslacin. Esto puede demostrarse observando que las columnas de la matriz
T se corresponden con los vectores de la base de Chirikov y, por lo tanto, T es la ma-
triz de cambio de base desde esta base nueva hacia la cannica. Por este motivo, su inversa
(T ) es la matriz de cambio de base en el sentido inverso. Entonces, se tiene que pk son las
componentes del vector I I r en la base de Chirikov.
En resumen, se tiene que las componentes del nuevo vector de momentos (p) miden los
desplazamientos que a continuacin se detallan. p1 mide el desplazamiento de I respecto de
I r , en direccin del vector resonante, que es la misma que la direccin perpendicular a la capa
estocstica. p2 da el apartamiento en la direccin normal a I0 . p3 da el desplazamiento en la
direccin en que ocurre la difusin de Arnold.
Dado que la tranformacin cannica no depende del tiempo, el nuevo Hamiltoniano es
H(p, ) H(I(p), ()). Deniendo, para cada armnico, el vector (m) T m se tiene
que las fases asociadas son:
m m = (m) (1.92)
H0 (p) =H0 (I r ) + p2 | r |
!
1 p21 p22 p23 p1 p2 p1 p3 p2 p3
+ + + + + + + O(|p|3 ), (1.94)
2 M11 M22 M33 M12 M13 M23
1 r 1
ki lj ri =
XX
= . (1.95)
Mkl i j
Ij Mlk
30 Introduccin y marco terico
1
=3 ng = 0. (1.96)
M13
Una de las hiptesis simplicadoras consiste en suponer que O(|p|) = O( ), con lo cual
el nuevo Hamiltoniano queda as:
HC (p, )=p2 | r |
!
1 p21 p2 p2 p1 p2 p2 p3
+ + 2 + 3 + +
2 M11 M22 M33 M12 M23
X
+Vmg (0) cos(1 ) + Vm (0) cos((m) ), (1.98)
m6=mg
s (t)= 4 arctan(e0 t ),
q
ps (t) = 2 M Vmg (0) sin(s (t)/2). (1.102)
M11
k (t) = 2,k | r |t + 1 (t) + ck ; k = 1, 2, 3; (1.103)
Mk1
dinmica en la capa (sea na o gruesa) acta como una bomba, transportando energa entre
los movimientos x e y, en ambos sentidos.
Utilizando dos procedimientos tericos distintos, segn el grosor de la capa, los autores
obtienen la expresin del coeciente de difusin, que en el caso de capa na, depende del valor
de la accin perturbada (). Posteriormente realizaron una corroboracin con experimentos
numricos, vericndose as que el mecanismo de stochastic pump permite modelar la difusin
a lo largo de una resonancia en el mapa simplctico por ellos analizado.
En Easton et al. (2001) se trabaja analticamente en mapas simplcticos a priori ines-
tables genricos, que poseen una geometra similar a la del problema de la capa estocstica
gruesa recin mencionado. Ms especcamente, estudian un mapa 4D, acoplando uno 2D
fuertemente catico a otro 2D casiintegrable. Demuestran tericamente la existencia de mu-
chas rbitas cuyos momentos se transportan arbitrariamente lejos, incluso cuando el acople
es arbitrariamente pequeo. Los autores plantean que con sus resultados no demuestran que
este transporte posea caractersticas difusivas (en el sentido estocstico).
Kook y Meiss (1990) obtienen analticamente una aproximacin al tensor de difusin para
un mapa simplctico de la forma:
In+1 = In sin(n + n )
Jn+1 = Jn K sin(n ) sin(n + n )
n+1 = n + In+1 mod 2
n+1 = n + Jn+1 mod 2. (1.107)
Demuestran que las correlaciones de corto tiempo en el plano [J, ] afectan a la difusin en
el otro. El tensor de difusin depende de los parmetros del sistema pero no de la accin, I.
Remarcan que este sistema posee dos lmites interesantes. Uno de ellos es el de capa gruesa,
para K >> 1 y << 1 y el otro es el de capa na, para K . 1 y << 1. Realizaron
experimentos numricos para varios valores de los parmetros, encontrando un acuerdo con
sus predicciones siempre que K y fueran mayores a 2.
an en el caso en que la perturbacin fuera autnoma. Estas ecuaciones slo han sido probadas
mediante experimentos numricos para un Hamiltoniano integrable 1DoF.
Zaslavsky (2002) revee varios modelos de cintica fraccional y su conexin con modelos
dinmicos, topologa del espacio de fases y otras caractersticas del caos, como son las recu-
rrencias de Poincar y los dominios sticky. Presenta diversos aspectos de la ecuacin cintica
fraccional (ECF), incluyendo su derivacin, condiciones de aplicabilidad y generalizaciones.
En Denisov et al. (2002) se propone un enfoque cintico al transporte en sistemas Ha-
miltonianos con espacio de fases mixto. El mtodo se basa en utilizar el formalismo de RW
de tiempo contnuo para descomponer la dinmica Hamiltoniana en dos partes alternantes:
vuelos balsticos y random walks. La primera de ellas corresponde a la situacin en la cual la
partcula prueba queda pegada a los complejos bordes de las islas de estabilidad. Durante
esta etapa, la partcula se comporta determinsticamente, movindose aproximadamente a
una velocidad constante para cada isla. La duracin del vuelo est completamente determi-
nada por una funcin densidad de probabilidad, particular en cada isla. La otra parte modela
con movimiento Browniano a las porciones de trayectoria que tienen lugar en la componente
catica, y que suceden entre dos vuelos consecutivos. Tambin se utiliza una funcin densidad
de probabilidad para modelar el tiempo que la partcula permanece haciendo RW. El enfoque
descansa sobre la hipthesis de que existan movimientos sucientemente largos en la regin
catica como para que las correlaciones entre vuelos consecutivos sean despreciables.
Aplican el mtodo a un Hamiltoniano 1.5DoF y estiman el comportamiento de la desvia-
cin media cuadrtica adentro de la capa catica del mismo. Obtienen un comportamiento
superdifusivo para la coordenada espacial: < x2 (t) > tw , con w 1.6 y lo verican con un
experimento numrico, utilizando un ensamble de 104 trayectorias.
Venegeroles (2008) estudia el fenmento de superdifusin, presente en un mapa simplc-
tico 2D, debido a los llamados accelerator modes. Computa analticamente el coeciente de
superdifusin y su correspondiente exponente de transporte, partiendo de primeros principios
y comparando contra el cociente de difusin quasilineal. Verica sus predicciones numri-
camente.
ubrovi (2005) propone un modelo cintico de transporte en espacio de acciones de siste-
mas Hamiltonianos no integrables. El mismo est basado en una ecuacin cintica fraccional
con un coeciente de difusin no homogneo. Una particularidad de este mtodo es que con-
sidera a la accin como un escalar y no considera la difusin de Arnold. Presenta evidencia
numrica que valida su modelo.
Klafter y Zumofen (1994) estudia la difusin en un sistema Hamiltoniano con una com-
ponente no integrable de gran tamao, haciendo una anlisis estadstico en el marco de un
proceso Lvy walk.
solucin analtica exacta. Tal solucin puede expresarse en funcin de seis elementos orbita-
les a, e, i, , y E que representan, respectivamente, el semieje mayor, la excentricidad, la
inclinacin del plano orbital respecto a algn plano de referencia, el argumento del pericen-
tro, la longitud del nodo y la anomala excntrica. Los primeros cinco elementos orbitales son
constantes de movimiento del problema Kepleriano.
Por otro lado, al modelar al Sistema Solar dinmicamente, considerando ms de dos cuer-
pos atrados por la fuerza gravitatoria, el sistema Hamiltoniano obtenido no es integrable.
Dependiendo de los cuerpos bajo estudio y de las condiciones iniciales elegidas, dicho Ha-
miltoniano puede ser (o no) considerado como casiintegrable y analizado bajo el enfoque de
la teora perturbativa. En la misma, el Hamiltoniano integrable puede estar conformado por
el problema gravitatorio de dos cuerpos (problema Kepleriano). Dicho Hamiltoniano presen-
ta degeneracin esencial y K-degeneracin, su supercie de energa (I0 ) no es convexa, y el
espacio de fases no es acotado. Estas caractersticas hacen que este problema quede afuera
de las hiptesis necesarias para las teoras de la difusin mencionadas en la seccin anterior.
Sin embargo, existen trabajos cuyo objetivo ha sido el lograr generalizaciones a dichas teoras
capaces de ser aplicadas en el problema de dos cuerpos perturbado. En estos casos, en gene-
ral, se estudia el proceso difusivo de cantidades asociadas a a, e, i, llamadas valores propios,
para distintas conguraciones de los cuerpos y en distintas regiones del Sistema Solar, que
por lo general son entornos de resonancias. Por citar algunos se menciona a Robutel et al.
(2005), Robutel and Gabern (2006), Tsiganis et al. (2007) y Cachucho et al. (2010). Debido
a la relacin metodolgica de esta tesis, en lo que respecta a cmputo de coecientes de difu-
sin a travs de varianzas de ensamble, con los trabajos Cordeiro y Mendes de Souza (2005)
y Cordeiro (2006), se resume el primero de ellos a continuacin.
En dicho estudio se presenta evidencia numrica de que para describir los procesos difusivos
que tienen lugar en regiones de resonancias Jovianas de primer orden, es ms adecuado utilizar
un modelo RW con difusin anmala que utilizar uno con difusin normal. En este trabajo se
utilizan ensambles de partculas prueba para determinar la evolucion temporal de la desviacin
estndar del semieje mayor (a ) y de la excentricidad (e ). Cada una de estas curvas presenta
oscilaciones de orden de magnitud relativo cercano a uno. Sin embargo, es posible apreciar
que la envolvente de estas cantidades obedece, aproximadamente, una ley tipo MBF (1.74).
Posteriormente proponen un modelo probabilstico para dicho comportamiento, ajustan el
valor del exponente de Hurst () y conforman mapas cromticos de tal cantidad sobre el
plano a, e, en entornos de las resonancias Jovianas 2:1, 3:2 y 4:3. Se debe aclarar que bajo el
trmino ensamble, los autores se reeren a un quasiensamble de partculas de prueba con
condiciones iniciales quasiidnticas. La eleccin de este mtodo de ensambles est justicado
por la siguiente propiedad: los perodos seculares no afectan a la evolucin de la desviacin
estndar porque los cambios principales experimentados por una partcula de un ensamble son
tambin experimentados por todas las otras partculas del ensamble. Esto permite adoptar
intervalos de integracin que son ms pequeos que los perodos seculares tpicos de a y e en
las regiones resonantes estudiadas por ellos. Este mtodo de ensambles ser adoptado para el
clculo de cantidades estadsticas en captulos 4 y 5.
Los autores concluyen que en los bordes de resonancias (capas estocsticas), la difusin
se comporta exponencialmente, es decir, (t) = et (, y constantes) al inicio pero lue-
go prosigue una lenta difusin con un crecimiento de las desviaciones estndar despreciable.
Tambin encuentran que en la regin resonante, la desviacin estndar no muestra inicial-
mente un comportamiento difusivo. Sin embargo, habiendo transcurrido un cierto intervalo
de tiempo, la difusin acta como difusin anmala asociada a una ley de potencias. Adems,
36 Introduccin y marco terico
presentan un anlisis de la correlacin entre las regiones pobladas por asteroides y los valores
de asociados.
En el captulo 4 se medir la difusin en los bordes de una resonancia de un sistema
Hamiltoniano 3DoF, focalizando en la etapa de difusin lenta mencionada en prrafo anterior.
Al integrar durante tiempos relativamente mayores, se podr observar un aumento neto de la
varianza y cuanticar su razn de cambio.
Otros sistemas astronmicos donde los efectos de la difusin catica han sido estudiados
son los modelos de sistemas extrasolares y las galaxias. En Efthymiopoulos et al. (2007) se
analizan diversos aspectos de la dinmica galctica, haciendo la conexin con el problema de la
difusin en sistemas Hamiltonianos. En particular, se menciona que es de suma importancia
para la dinmica galctica comprender el rol de la difusin de Arnold y de la difusin en
rgimen de overlap. Asimismo se brindan ejemplos de difusin de rbitas debilmente caticas
a lo largo de lineas de resonancia en el espacio de frecuencias. En Efthymiopoulos (2010) se
continua el estudio precedente, demostrando como la teora perturbativa resonante lleva a
una teora orbital para la estructura de galaxias espirales.
1.6. Objetivos
El objetivo de esta tesis es avanzar en el conocimiento de los procesos difusivos que tienen
lugar en el espacio de acciones no perturbadas de sistemas Hamiltonianos casiintegrables.
En particular, se estudia la difusin de Arnold que tiene lugar a lo largo de una resonancia
aislada, debido a los trminos perturbativos de orden superior. Para ello se estudiarn dos
sistemas dinmicos autnomos.
Uno de ellos es un ujo Hamiltoniano 3DoF casiintegrable cuya supercie de energa
no perturbada (I0 ) es convexa. En el captulo 3 se determina el valor de c que separa los
regmenes de Nekhoroshev y de Chirikov, mediante la utilizacin del criterio de overlap. En
el captulo 4 se realizan experimentos numricos de difusin para distintos valores de . En
los mismos se computar la evolucin temporal de varianzas y desplazamientos medios cua-
drticos asociados a ensambles de partculas de prueba, en las tres direcciones de la base de
Chirikov, pero focalizando en aquella que mide la difusin de Arnold. Bajo la hiptesis de
que las varianzas se comportan tipo ley de potencias, se harn ajustes de los correspondientes
exponentes de Hurst, obteniendo comportamientos subdifusivos. Adems, en intervalos tem-
porales sucientemente cortos, como para observar comportamiento aproximadamente lineal
(de la varianza), se calcularn los coecientes de difusin, D ().
Asimismo, se har un experimento jando el valor de en uno correspondiente al rgi-
men de Nekhoroshev, para ensambles de condiciones iniciales situados a la largo de la capa
estocstica de una de las resonancias del sistema. En esta experiencia se podr observar el
efecto producido en la difusin por otras resonancias cercanas y se dar evidencia de una
componente anmala en la difusin de algunos de los ensambles.
En el captulo 5 se aplica empricamente un mtodo, desarrollado para sistemas estocsti-
cos, a un mapa simplctico 4D a priori inestable. Si bien este mapa no es casiintegrable, se
estudia con objeto de poder controlar en forma independiente el grosor de la capa estocstica
y el nivel de acople entre la misma y la accin, mediante los parmetros K y , respectivamen-
te. Este mapa es similar al utilizado en el modelo de pumping estocstico y es igual al dado
por la Ec. (1.107). A diferencia de lo obtenido por Kook y Meiss (1990), en el resultado de
esta tesis el coeciente de difusin asociado a la direccin de Arnold s depende de la accin.
Objetivos 37
39
40 Indicadores de caos
1 ||vt ||
mECL lm ln , (2.3)
t t ||v0 ||
con ||.|| alguna norma en el espacio de fases. En este captulo se adoptar la adoptar la
norma Euclideana.
Se dene como rbita catica a toda rbita cuyo mECL es positivo y esto implica la
existencia de divergencia exponencial de rbitas cercanas. Por otro lado, una rbita regular
es aquella con mECL igual a cero.
De forma tal de tener una cantidad computable numericamente denimos el mECL al
tiempo nito t como
1 ||vt ||
mECL(t) ln , (2.4)
t ||v0 ||
por lo que la Ecuacin (2.3) puede ser reformulada as:
Observando esta ltima ecuacin se tiene que hay situaciones de rbitas regulares en las
que el SALI converge a cero, al igual que en el caso catico. Sin embargo, la diferencia en la
velocidad de convergencia es lo que permite determinar si un movimiento es regular o catico.
En el primer caso, la convergencia a cero, de existir, obedece una ley de potencias, mientras
que en el otro caso la convergencia a cero es exponencialmente rpida. Ver (Skokos et al.,
2004) y (Skokos et al., 2007) para un test numrico del SALI y su generalizacin, la familia
GALI.
2
Z t (s)
Y (t) sds. (2.13)
t 0 (s)
42 Indicadores de caos
Es el doble del promedio pesado con el tiempo de la divergencia relativa de rbitas. Uno
de los objetivos de su invencin fue permitir una clara clasicacin entre rbitas caticas,
regulares KAM y regulares resonantes. Su versin para tiempo discreto apareci en Cincotta
et al. (2003) de acuerdo con la siguiente expresin:
t
2X (k)
Y (t) k ln . (2.14)
t k=1 (k 1)
donde m y j son nmeros enteros. Ellos hicieron experimentos con Y2,0 , Y3,1 y Y1,1 coclu-
yendo que el ltimo permite tanto una rpida clasicacin entre rbitas caticas y regulares,
como una clara identicacin de rbitas peridicas estables e inestables. Debido a este he-
cho, usaremos Y Y1,1 durante todo este trabajo. Para reducir las rpidas oscilaciones
que la evolucin temporal del MEGNO presenta, en Cincotta et al. (2003) ellos utilizaron un
promedio temporal cumulativo mvil de esta cantidad:
n
1X
Y (n) = Y (k). (2.16)
n k=1
Tericamente, la evolucin asinttica de Y (n) para cualquier rgimen dinmico puede ser
expresada como
mECL
Y (n) n + c, (2.17)
2
donde c 0 y 2 para movimiento catico y regular, respectivamente.
2
Z t 1 d(s) 2
Z t d
Y (t) = s ds = s [ln (s)] ds. (2.18)
t 0 (s) ds t 0 ds
d
Integrando por partes eligiendo u(s) = s y dv(s) = ds [ln((s))] ds, tenemos que du(s) = ds
y v(s) = ln((s)), por lo cual:
( )
2 t Z t
Y (t) = u(s)v(s) v(s)du(s) (2.19)
t 0 0
( )
1
Z t
= 2 ln (t) ln (s)ds , (2.20)
t 0
La relacin entre FLI y MEGNO 43
donde hemos usado que (0) = 1. Comparando esta ecuacin con (2.10) y (2.11) llegamos al
hecho de que el MEGNO es dos veces la diferencia entre el FLI y su promedio temporal en
[0, t]:
n o
Y (t) = 2 FLI(t) FLI(t) . (2.21)
Este resultado permite entender dos hechos que han sido recientemente mencionados en la
literatura.
Un punto es que el criterio del MEGNO toma ventaja de la informacin dinmica de la
evolucin del vector tangente a lo largo de la rbita completa, segn Valk et al. (2009) y
Hinse et al. (2010). La Ec. (2.21) nos dice exactamente en que forma el indicador incluye esta
informacin; en cada paso temporal el MEGNO substrae del FLI el valor promedio de este
ltimo.
El otro punto a discutir, explicitamente mencionado en Breiter et al. (2008) y Barrio
et al. (2009), es la razn por la cual el MEGNO da el grado de caoticidad en una escala
absoluta mientras que el FLI slo da valores relativos. Es decir, en el caso de rbitas regulares
el MEGNO tiende asintticamente hacia un valor constante (dos) mientras que el FLI se
comporta logartmicamente, no permitiendo tener un criterio independiente del tiempo para
establecer el lmite que divide rbitas caticas de regulares. Esto es el motivo por el cual
si queremos decidir si una rbita es o no catica, a un tiempo jo t, aplicando el criterio
FLI, debemos primero hacer pruebas de su comportamiento en rbitas con carcter regular
previamente establecido.
Para explicar la situacin con un ejemplo analicemos primero el caso de una rbita regular
KAM ideal. Debido a la bien conocida rotacin diferencial que sucede en sistemas integrables
no lineales, hacemos al aproximacin de que para movimiento ordenado en rbitas KAM las
normas de los vectores desviacin satisfacen (t) 1 + t ( 6= 0 una constante). En este caso
tenemos que:
y
ln(1 + t)
FLI(t) ln(1 + t) + 1. (2.23)
t
ln(1 + t)
Y (t) 2 1 , (2.24)
t
con lo que redescubrimos el ya mencionado lmite asinttico del MEGNO para movimiento
regular.
Por otro lado, en el caso de una rbita catica, con (t) e1 t , es posible utilizar la
relacin MEGNO-FLI para demostrar que ambos indicadores se comportan similarmente. De
hecho, ambos se comportan linealmente con el tiempo con una pendiente igual a 1 .
En el caso de mapas simplcticos, la relacin entre el MEGNO y el FLI es levemente
diferente. Empezando por (2.14), se tiene el siguiente desarrollo:
44 Indicadores de caos
t t
( )
2 X X
Y (t) = k ln (k) k ln (k 1)
t k=1 k=1
( t t1
)
2 X X
= k ln (k) (k + 1) ln (k)
t k=1 k=0
t
( )
1X 1
= 2 ln (t) ln (k) + ln (t) . (2.25)
t k=0 t
It+1 = It + K sin t
t+1 = t + It+1 mod 2. (2.28)
Dicho mapa fue introducido en Chirikov (1979) y ha sido extensamente estudiado en la li-
teratura. Entre sus caractersticas se menciona que existe un valor crtico del parmetro:
Kc 0.97(Greene, 1979) en el cual el ltimo toro KAM invariante ha sido destrudo. Para
K . Kc se est en el rgimen de capa delgada y para K & Kc se est en rgimen de capa
gruesa (overlap). En particular, si K . 4 an se mantienen estables los puntos jos de las
resonancias enteras mientras que si K & 4, stos se tornan inestables y prcticamente todo el
espacio de fases del SM es catico.
En el siguiente experimento se ha trabajado con un parmetro K = 0.90, En la Fig. 2.1
mostramos, para t [0, 2000], una rbita catica y una regular en puntos rojos y azules,
respectivamente. La trayectoria catica pertenece a la capa estocstica (separatriz perturba-
da), con condicin inicial (I0 , 0 ) = (/100, 0.628), mientras que la regular est en el rgimen
oscilatorio, con condicin inicial (I0 , 0 ) = (/100, 1.884). En la Fig. 2.2 desplegamos, para
la primera rbita, los valores de FLI(t), FLI(t), Y (t)/2 y FLI(t) FLI(t), en colores rojo,
azul, negro y amarillo, respectivamente. Existe buen acuerdo con la Ec. (2.27), incluso des-
de muy temprano. En la Fig. 2.3 podemos ver la evolucin de las mismas cantidades, en
los mismos colores, para la otra rbita. En este caso es mas evidente la diferencia inicial
entre Y (t)/2 y FLI(t) FLI(t), para tiempos ms cortos que cien unidades de tiempo.
La relacin entre FLI y MEGNO 45
I
-1
-2
-3
0 1 2 3 4 5 6
Figura 2.1: Una rbita catica (rojo) y una regular (azul) del Mapa Standard, con K = 0.90.
300
250
200
F , F , Y/2 , (F-F)
-
150
-
100
50
0
0 200 400 600 800 1000 1200 1400 1600 1800 2000
t
Figura 2.2: Valores de FLI(t) (rojo), FLI(t) (azul), Y (t)/2 (negro) y FLI(t)FLI(t) (amarillo)
para una rbita catica del SM (K = 0.90). En la etiqueta del eje vertical, se ha aplicado la
abreviacin F FLI.
5
F , F , Y/2 , (F-F)
-
3
-
0
0 200 400 600 800 1000 1200 1400 1600 1800 2000
t
Figura 2.3: Valores de FLI(t) (rojo), FLI(t) (azul), Y (t)/2 (negro) y FLI(t)FLI(t) (amarillo)
para una rbita regular del SM (K = 0.90). En la etiqueta del eje vertical, se ha aplicado la
abreviacin F FLI.
46 Indicadores de caos
n+1 = n + In mod 2
n+1 = n + Jn mod 2
V (n+1 , n+1 )
In+1 = In
n+1
V (n+1 , n+1 )
Jn+1 = Jn ; (2.29)
n+1
2.7. Conclusin
En este captulo se han mencionado algunos indicadores dinmicos variacionales y se ha
demostrado una fuerte relacin analtica entre dos de ellos, el MEGNO y el FLI. Adems,
se han estudiado implicaciones de esta conexin y presentado experimentos numricos que
soportan nuestras estimaciones tericas. Finalmente se ha mostrado que estos indicadores
permiten trazar la estructura resonante de un sistema Hamiltoniano, as como ubicar las
capas estocsticas asociadas.
Conclusin 47
0.25 6
3.5 3.5
4
3 3
0.2
2
2.5 2.5
0
0.15
2 2
-2
J
J
1.5 1.5
0.1
-4
1 1
-6
0.05
0.5 0.5 -8
0 0 0 -10
0 0.5 1 1.5 2 2.5 3 3.5 0 0.5 1 1.5 2 2.5 3 3.5
I I
5
3.5
0
3
-5
2.5
-10
2 -15
J
-20
1.5
-25
1
-30
0.5
-35
0 -40
0 0.5 1 1.5 2 2.5 3 3.5
I
Figura 2.4: Estructura resonante en el espacio de acciones de mapa simplctico 4D, determi-
nada mediante mapas cromticos de los indicadores mECL(103 ), Y (103 ), y SALI(103 ), en las
ubicaciones superior izquierda, superior derecha e inferior, respectivamente.
48 Indicadores de caos
La estructura resonante del flujo Hamiltoniano
3
y bsqueda del c .
En la subseccin 1.4.4 se analiz el motivo por el cual el ancho de una resonancia a O() es
proporcional a para perturbaciones sucientemente pequeas. A su vez, en 1.2.8 se explic
por qu la separatriz se transforma en una capa estocstica al ser perturbada.
Consideremos un caso ideal de slo dos resonancias en el espacio de acciones de un sistema
de 2DoF. Sean I ra y I rb las correspondientes acciones resonantes. Sea sucientemente chico
como para que la suma de los semi-anchos de ambas resonancias (Sa y Sb ) sea mucho menor
a la distancia entre las correspondientes acciones resonantes. Entonces, las rbitas con condi-
ciones iniciales en la capa estocstica asociada a I ra se mantendrn indenidamente all, sin
posibilidad de alcanzar el entorno de la otra resonancia. En este caso se dice que existe caos
local, pero no difusin, ya que la regin accesible por estas rbitas es de tamao apenas igual
a 2Sa . Ambas capas estocsticas se encuentran aisladas la una de la otra debido a los toros
KAM an persistentes que corresponden a acciones intermedias entre I ra y I rb . Sin embargo,
existe un valor de , a partir del cual las capas estocsticas asociadas a dichas resonancias se
tocan entre s, permitiendo que rbitas con condiciones iniciales en entorno de I ra alcancen el
entorno de I rb , y viceversa. En otras palabras, a partir de este valor de ambas resonancias
se solapan mutuamente, permitiendo que haya una inestabilidad catica de tamao igual a
Sa + |I ra I rb | + Sb . En este caso se habla de difusin o transporte catico local ya que la
variacin de las acciones est limitada al entorno de estas dos resonancias.
El criterio de overlap, para determinar cuando empieza la difusin entre dos resonancias,
consiste en encontrar el valor de en el cual sus separatrices se tocan mutuamente. El criterio
tambin ha sido modicado para computar el valor en el cual aparece transporte entre los
entornos de un nmero mayor de resonancias. Adems, mediante simplicaciones adicionales,
el criterio permite computar el valor de a partir del cual est topolgicamente permitida la
existencia de difusin global sobre la mayora del espacio de acciones. El criterio de overlap
utilizado en este captulo corresponde con esta ltima versin.
En su trabajo pionero sobre el mapa estndar Chirikov (1979) muestra que la aplicacin
del criterio de overlap a resonancias primarias o enteras sobreestima el valor real del parme-
tro crtico, Kc . Al considerar resonancias de orden mayor, el criterio mejora pero mantiene
un error relativo de aproximadamente 0.35. Slo al considerar el espesor de las capas
estocsticas asociados a las resonancias primarias, es que reduce este error relativo a 0.07.
El criterio de overlap ha sido usado para distintos tipos de problemas fsicos. En el campo
49
50 La estructura resonante del flujo Hamiltoniano
En este captulo realizaremos un anlisis similar al realizado por Chirikov, pero usando
un sistema Hamiltoniano casi-integrable 2DoF y uno 3DoF. Es decir, dos y tres oscilladores
curticos desacoplados perturbados por un trmino cbico, respectivamente. Parte del trabajo
con la versin 2DoF corresponde a trabajo publicado en la tesis de licenciatura Mestre (2006).
Esta informacin se ha agregado porque permite introducir el mtodo en forma pausada y
conocer la geometra resonante para un caso ms sencillo, antes de pasar al caso ms complejo
de mayor dimensionalidad. La versin 3DoF de este modelo ha sido estudiada por Cincotta
et al. (2003) y por Giordano y Cincotta (2004), donde los autores investigan numricamente
las propiedades dinmicas globales del modelo y estiman el valor crtico c a partir del cual el
sistema es globalmente catico, valor para el cual menos del 10 % de la supercie de energa
corresponde a toros KAM. Mediante el uso del criterio de overlap derivamos tal valor crtico
para el parmetro perturbativo considerando resonancias primarias y de rdenes superiores,
y la serie de Fourier de la perturbacin truncada a O(1/232 ) en sus coecientes. No se considera
el espesor de las capas estocsticas. Luego comparamos, para cada caso, el valor crtico terico
con el obtenido numricamente. La forma de aplicar el mtodo terico diere entre el caso
2DoF y el 3DoF, como se ver a lo largo del captulo. Adems, existe diferencia entre las
formas de computar las respectivas contrapartidas numricas. El conocer este valor crtico
es una condicin esencial para el posterior estudio numrico de la difusin realizado en el
captulo 4. Tal como fue explicado en 1.3.3, c separa aproximadamente los regmenes de
Chirikov y de Nekhoroshev, dominados respectivamente, por presencia y ausencia de overlap
global.
Este captulo est organizado de la siguiente manera. En 3.1 se dene el oscilador curtico
de un grado de libertad. El sistema dinmico bajo estudio en su versin 2DoF es descripto
en la seccin 3.2, sus resonancias relevantes a O() son obtenidas en 3.3 y sus anchos calcu-
lados en 3.4. Posteriormente, las resonancias a O(2 ) son provistas en 3.5, donde se da una
estimacin del valor crtico del parmetro perturbativo. La comparacin del resultado terico
con una estimacin numrica se realiza en 3.6, mediante la realizacin de varias supercies
de seccin del sistema. El modelo 3DoF es presentado en 3.7, cuyas resonancias a orden O()
y O(2 ) son dadas en 3.8 y 3.9, respectivamente. En 3.10 se analiza el clculo terico de la
estimacin del parmetro crtico, que resulta estar en muy buen acuerdo con el valor obtenido
en Giordano y Cincotta (2004).
Utilizando el desarrollo en serie de Fourier del coseno elptico dado por Gradshtyn y Ryzhik
(1980), se tiene (Chirikov, 1979):
2 X 1 at
q(t) = a cos (2n 1) , (3.5)
K0 n=1 cosh (n 1/2) 2K0
donde K0 K(1/ 2) denota al valor de la integral elptica completa de primera especie.
Introduciendo las constantes:
1
0.847, n y a, (3.6)
2K0 cosh (n 1/2)
se tiene que
q(t) = 23/2
X
(3.7)
n cos (2n 1)t .
n=1
Los coecientes n satisfacen:
n+1 1
para n 2 y 1 0.4. (3.8)
n 23
A partir la relacin entre a y h mencionada anteriormente y de la Ec. (3.6) se obtiene la
dependencia de la frecuencia con h:
= 2h1/4 . (3.9)
H(I)
Dado que las ecuaciones de Hamilton en variables ngulo accin implican que (I) = I
es posible integrar (3.9) obteniendo la relacin entre la accin y la energa del sistema:
3/4
h
h = AI 4/3 , o equivalentemente I= , (3.10)
A
52 La estructura resonante del flujo Hamiltoniano
donde A (3/2 2)4/3 . A modo de completitud se menciona que la dependencia de la
frecuencia con la accin es:
4
(I) = AI 1/3 (3.11)
3
La coordenada cartesiana q puede expresarse en trminos de las variables ngulo-accin
(, I) del sistema de la siguiente forma:
1
1/3
q(I, ) =(3I) cn , (3.12)
2
s
1
p(I, ) = 2 AI 4/3 [q(I, )]4 (3.13)
4
donde es el signo de p y se determina en funcin del ngulo de la siguiente forma:
1 si 0 < ,
(3.14)
1 si < 2.
1 1
1/3
x(I1 , 1 ) =(3I1 ) cn ,
2
1
2
y(I2 , 2 ) =(3I2 )1/3 cn , . (3.18)
2
Anlogamente, utilizando algunos resultados y deniciones de la seccin anterior, se dene
el vector de frecuencias, , como:
4 1/3 1/3
(3.19)
(I) 1 (I1 ), 2 (I2 ) = A(I1 , I2 ).
3
Resonancias a O() 53
Utilizando Ecs. (3.17), (3.18) , (3.19) y el desarrollo de Fourier del coseno elptico anlogo
al utilizado en (3.7), el Hamiltoniano completo se expresa en trminos de las variables ngulo-
accin del Hamiltoniano no perturbado as:
donde
4/3
H0 (I) =A(I1 4/3 + I2 ),
1 1 2 1
2/3 1/3
V (I, )=3I1 I2 cn2 , cn ,
2 2
X
=V (I) nmk cos 2(n + m 1)1 (2k 1)2
n,m,k=1
(3.21)
+ cos 2(n m)1 (2k 1)2
2/3 1/3
con nmk n m k , y V (I) 25/2 3 4 I1 I2 , el signo signicando que ambos trminos
estn includos en la serie.
1/4 1/4
m1 h1 + m2 h2 = 0, (3.22)
m41 r
hr2 = h , (3.23)
m42 1
54 La estructura resonante del flujo Hamiltoniano
vector N0 N1 N2 vector N0 N1 N2
(2,1) 1 1 0 (2,-1) 1 1 0
(0,1) 1 0 1 (0,-1) 1 0 1
(2,3) 0 1 1 (2,-3) 0 1 1
(0,3) 0 1 0 (0,-3) 0 1 0
(2,5) 0 0 1 (2,-5) 0 0 1
(0,5) 0 0 1 (0,-5) 0 0 1
(4,1) 0 2 1 (4,-1) 0 2 1
(-2,1) 0 1 0 (-2,-1) 0 1 0
(4,3) 0 0 2 (4,-3) 0 0 2
(-2,3) 0 0 1 (-2,-3) 0 0 1
(6,1) 0 0 3 (6,-1) 0 0 3
(-4,1) 0 0 1 (-4,-1) 0 0 1
y
m3
1 r
I2r = 3 I1 , (3.24)
m2
respectivamente.
Adems, Ec. (3.22) indica que m1 m2 0, por lo que, aquellos vectores que poseen ambas
componentes con el mismo signo no pueden ser resonantes. Observemos, sin embargo, que no
todos los restantes armnicos a O() hasta O(1/232 ) son resonantes, como ser discutido en
la seccin siguiente.
donde n, m, y k son nmeros naturales que se combinan para formar el vector m en cualquiera
de las cuatro formas desplegadas en Ec. (3.21). Debe notarse que
Una vez que la aproximacin del pndulo ha sido aplicada a este trmino resonante aislado,
el nuevo Hamiltonian (resonante) resulta ser:
p21
Hr (p1 , 1 ) = + V (I r )m cos 1 , (3.26)
2M
Ancho de las resonancias a O() 55
con
X X r ir
M 1 i
m2i
X
mj = , I = I r + mp1 , 1 = m , (3.27)
i j
Ij i
Ii
La ltima identidad en (3.31) es debida al hecho de que en presencia de una sola resonancia,
el movimiento del sistema es tangente a la supercie de energa no perturbada, y para este
modelo particular tal supercie esta dada por (3.30), lo cual nos lleva a h2 = h1 .
Podemos notar que el ancho de una resonancia a O() hasta O(1/232 ) depende de los
nmeros armnicos en la manera mostrada en la Fig. 3.1, por lo que aquellas resonancias con
valores de = m2 /m1 fuera del rango [0.5, 2.5] son angostas.
Una mirada a la Ec. (3.31) y a la Fig. 3.1 revela que aquellos vectores armnicos con alguna
de sus components igual a cero no maniestan variaciones en las energas, y consecuentemente,
no deben ser considerados como vectores resonantes.
Asimismo, debido a que los trminos perturbativos son pares, si m es un vector resonante
entonces m es igualmente un vector resonante (ambos correspondientes a la misma resonan-
cia). Por lo tanto, para cada resonancia consideramos un slo vector resonante representativo,
56 La estructura resonante del flujo Hamiltoniano
0.4
0.35
0.3
f()=3/(1+4)11/8
0.25
0.2
0.15
0.1
0.05
0
0 1 2 3 4 5
=m2/m1
vector N0 N1 N2 hr1
(2,-5) 0 0 1 0.4729
(2,-3) 0 1 2 0.4050
(4,-3) 0 0 2 0.1166
(2,-1) 1 2 0 0.0285
(4,-1) 0 2 2 0.0019
(6,-1) 0 0 3 0.0004
(J , ), de forma tal que el Hamiltoniano transformado consiste de una parte que depende del
nuevo momento y una perturbacin que, aunque no integrable, posee una amplitud de O(2 ).
( )
2 1 2 H0 (J ) (J , ) (J , ) V (J , ) (J , )
H(J , ) = H0 (J ) + +
2 Jj Ji j i Ji i
+ O(3 ), (3.32)
con m (J ) = Vm (J )/m (J ).
Despus de computar el lado derecho de la expresin (3.32) se encuentra:
H(J, )=H0 (J ) + 2
X
C(m, m , J ) cos (m + m )
m,m
+ cos (m m ) + O(3 ), (3.33)
donde la suma se extiende hacia todos los armnicos (m, m ) a O() hasta O(1/232 ) tales que
n = m+m , n = mm , n = m+m , o n = mm , y para los cuales m m . 61 /232 .
Teniendo en cuenta todas estas consideraciones, el Hamiltoniano puede ser escrito en la
forma:
H(J, ) = H0 (J ) + 2
X
D(n, J ) cos(n ). (3.36)
n
P1 2
Hr (P1 , 1 ) = + U0 cos(1 ), (3.37)
2
donde
ir
1 ni nj ,
Jj
U0 2 D(n, J r ). (3.38)
|n2 |3 n21
|(h1 )rn | =24 3 h3/4
(n41 + n42 )5/4
( )1/2
X
3 3
2(2|n1 | m1 + |n2 | m2 ) 2 2
n1 m1 m1 + n2 m2 m2
m m ,
m,m |n1 n2 |(m1 |n2 | + m2 |n1 |) (m1 |n2 | + m2 |n1 |)2
vector hr1
(2,-6) 0.4791
(2,-4) 0.4565
(2,-2) 0.2425
(6,-4) 0.0800
(6,-2) 0.0059
resonancias para en el rango [0, 0.5]. Los resultados estn presentados en la Fig. 3.3, donde
tambin se han includo las resonancias O() hasta O(1/232 ) previamente gracadas.
De la Fig. 3.3 y la Tabla 3.3 se tiene que la nueva resonancia (2, 2) conecta a dos conjuntos
de resonancias que hasta O(, 1/232 ) aparecan aisladas para el rango de considerado. Las
restantes resonancias a O(2 ) hasta O(1/232 ) aparecen completamente solapadas con alguno
de los dos conjuntos de las resonancias hasta O(, 1/232 ). A partir de este grco, se ha podido
derivar el valor crtico del parmetro perturbativo, c 0.28.
como puede corroborarse en la Fig. 3.3, para este valor de . Aparecen muchas otras resonan-
cias de orden superior que no han sido tericamente computadas.
Para = 0.12, se observa que el dominio catico donde las resonancias (2, 4), (2, 5) y
(2, 6) aparecen destrudas por overlap esta acotado por algunos toros KAM y as, permanece
desconectado de la componente catica externa alrededor de las resonancias (2, 3) y (2, 1).
Por otro lado, para = 0.14, ambas zonas caticas estn conectadas, habiendo caos global, en
el sentido de que la mayora de las rbitas irregulares podran explorar casi toda la componente
catica del espacio de fases.
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
Py
Py
0 0
0.2 0.2
0.4 0.4
0.6 0.6
0.8 0.8
1 1
1.5 1 0.5 0 0.5 1 1.5 1.5 1 0.5 0 0.5 1 1.5
y y
Figura 3.4: Supercies de seccin de Poincar para = 0.12 (a la izquierda), y para = 0.14
(a la derecha).
Por lo tanto, la evidencia determina que c yace en algn punto en el rango (0.12, 0.14).
Luego de realizar una exploracin numrica, se encontr que para = 0.135, varios toros
KAM an persisten, los cuales se muestran en la Fig. 3.5,donde se presenta una ampliacin
de la ventana [0, 0.4] [0, 0.3].
All, tales toros KAM pueden distinguirse claramente y se observa cmo separan a ambos
dominios caticos en el espacio de fases. Sin embargo, esta regin acotada de movimiento
irregular no incluye a las resonancias que en este trabajo se est considerando para derivar la
estimacin analtica de c , sino otras de orden superior.
Por lo tanto, a partir de medios experimentales, se puede decir que c & 0.135 es una cota
inferior para el valor de c .
1 2 1
H(p, q) = (px + p2y + p2z ) + (x4 + y 4 + z 4 ) + x2 (y + z). (3.39)
2 4
Para un valor nulo del parmetro perturbativo se obtienen tres osciladores curticos des-
acoplados, donde la forma funcional de x(I1 , 1 ) e y(I2 , 2 ) es equivalente a la dada en (3.18)
para el sistema de 2DoF, mientras que la tercera coordenada, z, adopta una forma anloga:
El modelo dinmico 3DoF 61
0.3
0.25
0.2
Py
0.15
0.1
0.05
0
0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4
y
Figura 3.5: Supercie de seccin de Poincar para = 0.135, ilustrando la existencia de toros
KAM que separan ambas componentes.
3 1
1/3
z(I3 , 3 ) = (3I3 ) cn , , (3.40)
2
y el vector de frecuencias queda:
4 1/3 1/3 1/3
(3.41)
(I) 1 (I1 ), 2 (I2 ), 3 (I3 ) = A(I1 , I2 , I3 ).
3
En trminos de las variables ngulo-accin del Hamiltoniano no perturbado, el Hamilto-
niano completo (3.39) se reescribe as:
4/3 4/3
H0 (I) =A (I1 4/3 + I2 + I3 ),
1 1 2 1 3 1
2/3 1/3 1/3
V (I, )=3I1 cn2 , I2 cn , + I3 cn ,
2 2 2
X
=V12 (I) nmk cos 2(n + m 1)1 (2k 1)2
n,m,k=1
+ cos 2(n m)1 (2k 1)2
X
+V13 (I) nmk cos 2(n + m 1)1 (2k 1)3
n,m,k=1
(3.43)
+ cos 2(n m)1 (2k 1)3 ,
2/3 1/3
donde se han introducido las nuevas cantidades V1j (I) 25/2 3 4 I1 Ij ; el signo signi-
cando que ambos trminos estn includos en la serie.
62 La estructura resonante del flujo Hamiltoniano
Vr (, 1/232 ) = (2, 1, 0), (2, 3, 0), (2, 5, 0), (4, 1, 0), (4, 3, 0), (6, 1, 0), (6, 1, 0),
(2, 0, 1), (2, 0, 3), (2, 0, 5), (4, 0, 1), (4, 0, 3), (6, 0, 1)
p21
Hr (p1 , 1 ) = + Vm cos 1 , (3.48)
2M
F (J , ) = J + (J, ), (3.51)
donde
X X
(J, ) = m (J ) sin(m ) + m (J ) sin(m ), (3.52)
mY mZ
con m (J ) = Vm (J )/m (J ).
El nuevo Hamiltoniano esta descripto por la expresin formal dada en (3.32), donde ambos
el primer y el segundo trmino dentro de las llaves adoptan los valores:
1 2 H0 (J ) (J , ) (J, )
= (3.53)
2 Jj Ji j i
V (J , ) (J , )
= (3.54)
Ji i
H(J , ) = H0 (J ) + 2
X
D(n, J ) cos(n ). (3.57)
nA
Cerca de cualquier accin resonante asociada a un vector resonante a O(2 ) se puede aplicar
la aproximacin del pndulo para obtener la misma expresin formal para el Hamiltoniano
resonante dado por (3.37).
Las variaciones de las energas son similares a aquellas computadas a O(); es decir,
8 1/3
hi = AJi (|U0 |)1/2 ni .
3
Para aquellos n con n3 = 0 o n2 = 0, las curvas resonantes estn dadas por las ecua-
ciones (3.46) y (3.47) respectivamente, con la substitucin de mi y Ii por ni y Ji . Mientras
tanto, cuando n1 = 0 las curvas resonantes estn dadas por
n o3/4
J2r = 1 h
A (J1r )4/3 ,
(1+(n2 /n3 )4 )3/4
n o3/4 (3.58)
Jr = 1 h
(J1r )4/3 ,
3 (1+(n3 /n2 )4 )3/4 A
dicho mapa, los valores de Y (tT ) (para tT igual a 3500 periodos caractersticos) fueron agru-
pados en cinco intervalos: [1.99, 1.995), [2, 2.015), [2.015, 20), [20, 160), [160, 215). Al asignar
un tamao de punto distinto a cada intervalo, se simul una escala de grises del mencionado
indicador.
Esta exploracin numrica evidencia que las resonancias que ms fuertemente se manies-
tan son aquellas con slo una componente nula (las rectas) y la resonancia (2, 1, 1), que
es la resonancia con forma curva ms ancha.
Dicho mapa fue confeccionado con condiciones iniciales tales que los ngulos {i }i=1,2,3
sean iguales a /2, por lo que la correspondiente condicin inicial de la fase resonante asociada
a una dada resonancia m es de la forma 1 = (m1 + m2 + m3 )/2. Observando Ec. 3.28 se
tiene que, debido a la dependencia con la fase resonante de la separatriz (s ), el verdadero
ancho medido con mapa de caoticidad puede variar respecto del terico debido a un factor que
ser igual a sin(/4) 0.7 si m1 + m2 + m3 es un nmero impar y ser igual a sin(/2) = 1
en caso contrario. A los nes de determinar un valor global de c , estas correcciones no fueron
consideradas en este captulo3 .
Observando la Fig. 3.8izquierda se revela que en algunas intersecciones entre las resonan-
cias a O() y a O(2 ), los anchos de stas ltimas tienden asintticamente a innito. Esto es
debido a la emergencia de pequeos denominadores en los coecientes de Fourier de la pertur-
bacin, un hecho que nos recuerda que la transformacin cannica realizada para eliminar los
trminos perturbativos proporcionales a no es vlida en el entorno de ninguna resonancia a
O() (seccin 1.2.4).
Un ejemplo de este comportamiento es la interseccin entre las resonancias (0, 1, 1) y
(2, 1, 0). La primera es una resonancia a O(2 ) que se inicia en la esquina superior derecha de
la supercie de energa y cruza por la mitad de la misma mientras que la segunda es de O()
y puede ser identicada como la ms ancha de las resonancias que parten desde la esquina
inferior derecha de la supercie de energa.
3
Estas correcciones s sern consideradas en el captulo 4, donde ser necesario establecer condiciones
iniciales con precisin en la capa estocstica de una resonancia
68 La estructura resonante del flujo Hamiltoniano
Y - levels
= 5 103
0.6
0.4
0.2
e2
0
-0.2
-0.4
-0.6
Figura 3.8: Resonancias hasta O(2 , 1/232 ) para = 0.005 (izquierda). Estructura resonante
obtenida al agrupar los valores de Y (3500 2) en los intervalos [1.99, 1.995), [2, 2.015),
[2.015, 20), [20, 160) y [160, 215), asignando un tamao de punto distinto a cada uno. Se utiliz
la misma energa, pero las variables e1 , e2 fueron reescaleadas posteriormente (derecha).
Ah para algn c entre 0.03 y 0.04. Este resultado est en acuerdo con el obtenido en la
Fig. 3.9derecha4 que muestra la fraccin de movimiento catico segn valores de Y , para el
mismo rango de .
1 1
0.9 0.9
0.8
0.8
0.7
0.7
0.6
0.6
Ar()/Ah
0.5
0.5
0.4
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0
0 0.0001 0.001 0.002 0.005 0.01 0.02 0.04 0.1 0.2
0.0001 0.001 0.002 0.005 0.01 0.02 0.04 0.1 0.2
Figura 3.9: Ar /Ah (izquierda) y fraccin de movimiento catico (derecha), ambos contra el
parmetro perturbativo en escala logartmica
3.11. Conclusin
Se ha revisado la precisin del criterio de overlap, al aplicarse a un sistema Hamiltoniano
casi-integrable simple en ambas versines 2DoF y 3DoF. Para este n, se han computado las
resonancias hasta orden O(2 ) para ambos sistemas, y modelado cada resonancia mediante la
aproximacin del pndulo de forma tal de estimar el valor crtico del parmetro perturbativo
que determina la transicin entre los regmenes de Nekhoroshev y de Chirikov.
Al realizar varias supercies de seccin para el caso 2DoF se ha derivado un valor emprico
de c que fue comparado con la estimacin terica. Existe una diferencia signicativa entre
ambos valores.
Para el caso 3DoF se obtuvo un estimacin terica de c , que se muestra en acuerdo con
la dada en Giordano y Cincotta (2004), donde tal valor es logrado computando la fraccin de
rbitas caticas contra de acuerdo a los valores de Y .
Debe aclararse que el concepto de transicin global al caos utilizada para la estimacin
numrica de c en el caso 2DoF es de una naturaleza diferente respecto a la adoptada para el
caso 3DoF. El sistema con 2DoF es considerado globalmente catico si la componente catica
del espacio de fases aparece casi toda conectada, mientras que en el caso con 3DoF, el sistema
es considerado como globalmente catico cuando a lo sumo el 10 % de la supercie de energa
corresponde a toros invariantes.
Por lo tanto, considerando los resultados, tanto numricos como tericos, de este captulo,
se estableci un valor adecuado de c para el modelo 3DoF, mediante el uso del criterio de
overlap, considerando algunas de las resonancias hasta O(2 ). Por otro lado, considerando
trminos slo hasta O(), se sobreestima el valor de c , como ya fue mostrado en Chirikov
(1979) para el mapa estndar.
4
Material perteneciente a Giordano y Cincotta (2004)
70 La estructura resonante del flujo Hamiltoniano
Fenmeno difusivo en sistema Hamiltoniano 3DoF
4
En este captulo se estudiar, mediante experimentos numricos, cmo se maniesta la
difusin a lo largo de la separatriz perturbada de una resonancia del sistema Hamiltoniano
3DoF casiintegrable analizado en el captulo anterior. Se trabajar con el mismo valor de h.
En la seccin 4.1 se describe el integrador simplctico utilizado, justicando brevemente tal
eleccin. En la seccin 4.2 se detallan los parmetros del sistema y la resonancia gua elegida,
as como tambin las caractersticas de su entorno como por ejemplo qu resonancias vecinas
posee. En las secciones 4.3, 4.4 y 4.5 se describe los experimentos realizados con ensambles
de partculas prueba, analizando la forma funcional de la evolucin temporal de algunas
cantidades estadsticas. En dichas secciones se brindar informacin sobre la difusin que tiene
lugar en la capa estocstica de la resonancia gua antes denida. Los mediciones realizadas
pueden agruparse en tres experimentos numricos, a los que llamaremos experimentos A , B
y C . En el primero de ellos se trabaja con una accin resonante ja, para luego estudiar la
difusin para distintos valores de . En el segundo experimento se vuelven a realizar mediciones
para una accin resonante ja, y para distintos valores de , con la diferencia de que se
utiliza un rango ms amplio que el estudiado en A . En el tercer experimento se ja el valor
de de forma tal que el sistema est en rgimen de Nekhoroshev y se estudia la difusin
para ensambles correspondientes a distintas acciones resonantes, ubicadas a lo largo de la
resonancia gua. En todos los caso se hacen estimaciones de coecientes de difusin.
71
72 Fenmeno difusivo en sistema Hamiltoniano 3DoF
H = T (p)+V (q). A su vez, todos estos esquemas salvo el S6a, requieren que la energa cintica
sea una forma cuadrtica de los momentos. Por lo tanto, utilizando variables cartesianas para
la integracin de las ecuaciones de movimiento generadas por nuestro Hamiltoniano (3.39),
cualquiera de estos esquemas es aplicable. En Schlier and Seiter (1998) se pone a prueba
la precisin en la conservacin de la energa del esquema S6a. Posteriormente, en Schlier
y Seiter (2000) se prueban intensamente los cinco esquemas, trabajando con aritmticas de
precisin doble y cudruple, y midiendo la precisin con el error cometido en la posicin nal
en el espacio de fases (y en el de conguraciones) a un tiempo jo dado. Ellos sealan que
estos integradores son precisos en este sentido, adems de en la conservacin de la energa.
Adems, arman que los integradores de orden ocho son muy poderosos, especialmente para
trayectorias que se hallan atrapadas en las capas estocsticas del espacio de fases. Justamente,
sta es la situacin de las rbitas que nos interesa integrar para estudiar la difusin que tiene
lugar en la red de Arnold. Dicho estudio requiere precisin y velocidad para poder rastrear
las trayectorias de un nmero considerable de partculas de forma tal que sus propiedades
estadsticas sean signicativas durante intervalos de tiempo de ms de una decena de millones
de perodos caractersticos del sistema.
Previo a la utilizacin de este integrador para esta investigacin, se realizaron varias com-
paraciones. Se compar el desempeo de estos cinco integradores simplcticos junto con el
DOPRI8 (Prince y Dormand, 1981), que es un integrador Runge-Kutta de orden siete con
control de paso. Estos cdigos se probaron usando tanto sistemas Hamiltonianos integrables
como no integrables, y en estos ltimos, usando tanto rbitas caticas como regulares. Las
cantidades medidas en la comparacin fueron el grado de conservacin de la energa, los tiem-
pos de cpu utilizados y el nmero de veces que se computaron las derivadas del Hamiltoniano.
La conclusin fue que los dos integradores simplcticos de orden ocho resultaron ser los ms
precisos respecto a la conservacin de la energa. Para un mismo valor de tiempo nal, los in-
tegradores de orden ocho calculan ms derivadas que los de orden seis pero muchas menos que
el esquema DOPRI8. Los tiempos de cpu utilizados resultaron ser proporcionales al nmero
de evaluaciones de las derivadas, como era de esperarse. De los tres integradores simplcticos
de orden ocho se eligi el llamado S8b, por su precisin en la conservacin de la energa. Ca-
be ramarcar que respecto al cmputo de cantidades estadsticas (o promedio) en ensambles,
cualquiera de los integradores simplcticos es adecuado. Lo mismo sucedi al realizar mapas
del indicador SALI, en el que tanto los simplcticos de orden seis como los de orden ocho
dieron estructuras resonantes anlogas, con diferencias entre s casi imperceptibles.
Posteriormente, el integrador S8b fue comparado con un integrador Taylor (Jorba y Mao-
rong 2005, Darriba 2008). El mismo se basa en realizar desarrollos de Taylor de las rbitas
mediante el uso de lgebra simblica. En la comparacin ambos mostraron acuerdo al calcular
rbitas regulares individuales y al computar cantidades estadsticas de ensambles de rbitas
caticas.
Debido a que un integrador simplctico es un mtodo de paso temporal (denotado tint ),
jo, se tiene que el tamao de ste ltimo es un parmetro importante a determinar. Se
decidi utilizar en casi todos los experimentos tint = 102 , con algunas excepciones en las
que se utiliz tint = 101 . Con ambos tamaos de paso se obtuvo prcticamente la misma
estructura resonante en los mapas SALI, as como tambin se obtuvo concordancia en rbitas
caticas hasta tiempos del rden de 103 y en los comportamientos generales de las cantidades
estadsticas. Esto es una demostracin de que estos integradores simplcticos, para nuestro
sistema Hamiltoniano particular y para energas del orden de h, utilizando pasos de integracin
menores o iguales a 101 , son estables a los nes de este trabajo de tesis. Por supuesto, al
La resonancia gua y su entorno 73
el espacio de acciones para una seccin de los tres ngulos ({i }i=1,2,3 ) iguales a /2. Tal
eleccin de los ngulos iniciales corresponde a valores iniciales de x, y y z nulos, segn pue-
de deducirse de la transformacin biyectiva entre variables cartesianas y ngulo-accin dada
en ecuaciones (3.12) y de propiedades del coseno elptico. Es por esta razn que se verica
V (q(0)) = V (0) = 0, implicando que
H(p(0), q(0)) = H0 (p(0), 0). (4.1)
Luego, el valor inicial de I3 se despej de la ecuacin H0 (I) = h, utilizando la expresin:
3/4
h
I3 (0) = I1 (0)4/3 I2 (0)4/3 , (4.2)
A
donde la constante A fue denida en el captulo anterior.
En la mencionada gura se identica en cyan la zona de overlap de resonancias que
corresponde, para otro valor de , con las resonancias cercanas al borde inferior del tringulo
analizado en la Fig. 3.8, del captulo anterior. Adems, se puede ver como las condiciones
iniciales ms regulares (puntos rojos) se ubican en el complemento de la red de Arnold, que
aparece denida por el resto de los colores, asociados a rbitas caticas.
Como se ha dicho en la seccin 2.6, el indicador SALI tiende exponencialmente a cero para
rbitas caticas. A partir de ahora, en los mapas generados con la escala cromtica de este
indicador, se utilizar el logaritmo decimal en vez del natural mientras que el criterio de corte
consistir en asignar el valor log(SALI) = 10 a todas aquellas rbitas con SALI < 1010 .
En la Fig. 4.2 se muestra un mapa bidimensional del mencionado indicador para una
porcin de la supercie de energa no perturbada, proyectada sobre el plano [I1 , I2 ]. Para
realizar esta gura se integr una grilla de 1000 1000 condiciones iniciales pertenecientes
al cuadrado (I1 , I2 ) [0.2, 0.4] [0.0, 0.2] y a la misma seccin de ngulos iniciales que
fue utilizada en la gura anterior. Para cada condicin inicial se utiliz tT = 104 unidades
de tiempo, lo que corresponde con ms de mil veces el perodo caracterstico del sistema. El
comportamiento del SALI y de la paleta de colores es tal que las rbitas ms caticas aparecen
en negro mientras que las ms regulares lo hacen en amarillo.
En dicha gura se pueden apreciar tres grandes resonancias junto con muchas otras de
tamao menor. La resonancia que cruza horizontalmente desde (I1 , I2 ) (0.2, 0.05) hasta
(I1 , I2 ) (0.4, 0.1) corresponde al vector resonante mg = (2, 3, 0), cuya direccin es iden-
ticada mediante una echa verde. Esta ser la resonancia sobre cuya separatriz perturbada
estudiaremos la difusin y que segn 1.4.4 es llamada resonancia gua. La resonancia ms an-
cha de la gura, aquella que intersecta a la resonancia gua aproximadamente en (0.22, 0.06),
corresponde al vector resonante m = (2, 1, 1), mientras que aquella resonancia situada en
el lado derecho, que intersecta a la resonancia gua aproximadamente en (0.37, 0.10) corres-
ponde al vector resonante m = (2, 0, 2).
Se puede apreciar que para estos valores iniciales de los ngulos, la separatriz perturbada
de la resonancia gua posee un grosor mayor respecto al de sus otras dos resonancias vecinas.
El espesor de esta capa estocstica no es constante a lo largo de la resonancia, sobre todo en
el extremo izquierdo, donde existe un tipo de overlap debido al hecho de que el entorno de
(0.22, 0.06) es una regin resonante de multiplicidad mayor a uno.
El resto de las resonancias, de tamao mucho ms delgado, parecieran no agregar nuevas
perturbaciones sobre la separatriz, salvo aquella que se hace notar desde (I1 , I2 ) (0.27, 0.09)
hasta (I1 , I2 ) (0.33, 0.14). Esta resonancia genera una protuberancia adicional en la sepa-
ratriz.
Experimento A 75
0.7
0.6
I3
0.5
0.4
0.3
0.2
0.1
0
0
0.1
0.2
0.3
I1
0.4
0.5
0.6 0.6 0.7
0.4 0.5
0.2 0.3
0.7 0 0.1
I2
Figura 4.1: Niveles del promedio temporal del MEGNO, Y (tT ) con tT = 3500 2, para la
supercie de energa no perturbada en espacio de acciones, utilizando = 0.02 y h = 0.485. La
asociacin entre intervalos del indicador y colores esta dada por: [1.993, 2.005]-rojo, [2.005, 5]-
verde, [5, 45]-azul, [45, 150]-magenta y [150, 383]-cyan.
4.3. Experimento A
En este experimento se estudiar la difusin para valores de pertenecientes al siguiente
conjunto:
A = {0.016, 0.018, 0.020, 0.022, 0.024, 0.026, 0.028, 0.030}. (4.3)
0.2 2
0.15
-2
0.1 -4
I2
-6
0.05
-8
0 -10
0.2 0.25 0.3 0.35 0.4
I1
(
1 [0, 2]
(4.5)
p1 [102 , 102 ]
1 = /2
(21 1 )/3,
2 = mod 2
(4.6)
3 = /2
I r + p 1 mg .
I =
2
La ltima condicin de 4.6 es equivalente a pedir p2 = p3 = 0.
Experimento A 77
0.01 120
100
0.005
80
0 60
p
40
-0.005
20
-0.01 0
0 1 2 3 4 5 6
Figura 4.3: Niveles de Y (35002) en entorno de resonancia gua, usando variables resonantes,
para = 0.02.
El anlisis del indicador nos dice que la regin con colores amarillos y anaranjados es la ms
catica y corresponde a la capa estocstica asociada a la resonancia. Se observa que, aunque
78 Fenmeno difusivo en sistema Hamiltoniano 3DoF
estemos trabajando con un sistema en el cual existe una jerarqua innita de resonancias
que perturban a la (2, 3, 0), el espacio de fases resonante presenta cierta similitud con el
obtenido para el sistema del pndulo simple perturbado peridicamente, como es el caso del
Mapa Estandar.
Las condiciones iniciales fueron elegidas utilizando Ec. (4.6), con 1 [0, 0.7] y p1
[0, 105 ]. En dicho rectngulo se estableci una grilla equiespaciada con 200 condiciones
iniciales. Para los valores de A , dichos ensambles pertenecen a las correspondientes
capas estocsticas de las resonancias. En particular, se encuentran en el entorno de la fase
resonante (1 , p1 ) = (0, 0), que corresponde al punto de equilibrio inestable del modelo de
pndulo. En la Fig. 4.4 se seala en verde la ubicacin de dicho ensamble superpuesto sobre
el mapa MEGNO, para los valores de = 0.015 (izquierda) y = 0.03 (derecha).
90 160
80
140
0.005 0.005
70
120
60
100
p1
p1
0 50 0
80
40
60
30
-0.005 -0.005
40
20
10 20
-0.01 0 -0.01 0
0 1 2 3 4 5 6 0 1 2 3 4 5 6
1 1
Figura 4.4: Niveles de Y (3500 2) en entorno de resonancia gua, usando variables del
pndulo, para = 0.015 (izquierda) y = 0.030 (derecha). Los puntos verdes identican a las
condiciones iniciales.
cantidades son las que se habran medido si se hubiese tomado a 1 de norma uno.
Antes de analizar los resultados de la evolucin de estas cantidades estadsticas se ejem-
plicar cualitativamente, otra vez para = 0.02, la dinmica de estos ensambles, median-
Experimento A 79
0.12 2 0.0006
0.11
0 0.0005
2
1 +2 +3
0.1
-2
2
0.0004
0.09 2
-4
I2
0.0003
0.08
2
1 +2 +3
-6
2
0.07 0.0002
2
-8
0.06 0.0001
0.05 -10
0.25 0.26 0.27 0.28 0.29 0.3 0.31 0.32 0
I1 0 1000 2000 3000 4000 5000
t
Figura 4.5: A la izquierda se muestra el ensamble para tiempos 0 (cruz blanca), 102 (rojo),
2 102 (verde), 3 102 (azul), 4 102 (cyan), y 5 102 (amarillo). A la derecha las curvas
de 2 12 + 22 + 32 (rojo) y 2 12 + 22 + 32 (negro), para 0 t 5 103 .
0.2 2 0.2 2
0 0
0.15 0.15
-2 -2
0.1 -4 0.1 -4
I2
I2
-6 -6
0.05 0.05
-8 -8
0 -10 0 -10
0.2 0.25 0.3 0.35 0.4 0.2 0.25 0.3 0.35 0.4
I1 I1
0.2 2 0.2 2
0 0
0.15 0.15
-2 -2
0.1 -4 0.1 -4
I2
I2
-6 -6
0.05 0.05
-8 -8
0 -10 0 -10
0.2 0.25 0.3 0.35 0.4 0.2 0.25 0.3 0.35 0.4
I1 I1
Figura 4.6: La imagen sup. izq. corresponde a tiempos 103 (rojo), 2103 (verde), 3103 (azul),
4103 (cyan) y 5103 (amarillo). La imagen sup. der. corresponde a tiempos 104 (rojo), 2104
(verde), 3 104 (azul), 4 104 (cyan) y 5 104 (amarillo). La imagen inf. izq. corresponde
a tiempos 105 (rojo), 2 105 (verde), 3 105 (azul), 4 105 (cyan) y 5 105 (amarillo). La
imagen inf. der. corresponde a tiempos 106 (rojo), 2 106 (verde), 3 106 (azul) y 4 106
(cyan) y 5 106 (amarillo).
0.2 2 0.0014
0 0.0012
0.15
2
1 +2 +3
0.001
-2
2
2
0.0008
0.1 -4
I2
2
1 +2 +3
0.0006
2
-6
0.05 0.0004
2
-8
0.0002
0 -10
0.2 0.25 0.3 0.35 0.4 0
I1 0 2e+06 4e+06 6e+06 8e+06 1e+07
t
Figura 4.7: A la izquierda se muestra el ensamble para tiempos de la forma n 106 , con
n = 6, . . . , 10, en colores rojo, verde, azul, cyan y amarillo, respectivamente. A la derecha las
curvas de 2 12 + 22 + 32 (rojo) y 2 12 + 22 + 32 (negro), para 0 t 107 .
lo cual implica una relacin lineal entre el logaritmo del tiempo y el logaritmo de la varianza,
siendo la pendiente de la misma (w) el exponente de la mencionada ley de potencias. Un
ajuste numrico de las variables log() y w, para t [105 , 106.5 ], di como resultado que
2.23 105 y que w 0.225. El hecho de que w result ser considerablemente menor a la
unidad, es una prueba directa de que durante ese intervalo de tiempo la difusin es anmala,
y en particular, es un proceso subdifusivo. La longitud de este intervalo de tiempo, que abarca
alrededor de 3 106 unidades de tiempo, no es despreciable. Por el contrario, observando los
partculas en azul de la Fig. 4.6-inf. der, se tiene que este intervalo conforma gran parte de
la etapa en que el ensamble est exclusivamente contenido en la resonancia gua, antes de
que las partculas lleguen a los cruces con otras resonancias. La Fig. 4.8-izq. muestra a 2 (t)
en escala logartmica, junto con el ajuste. Por otro lado, la Fig. 4.8-der. evidencia que dicho
ajuste se aparta de la medicin real para tiempos mayores.
A continuacin consideramos la evolucin de las varianzas individuales asociadas a cada
direccin. La Fig. (4.9) despliega las curvas 12 (t), 22 (t) y 32 (t) respectivamente en colores
rojo, verde y azul, para el mismo intervalo de tiempo anteriormente utilizado. Se observa
una aproximada estabilizacin de 12 y 22 en valores constantes, al tiempo que 32 posee un
crecimiento neto con el tiempo. En el caso de 22 , dicha estabilizacin se debe a la conservacin
de la energa (1.76). En el caso de 12 se debe a que el momento resonante (p1 ) est acotado
debido a la conservacin (local y aproximada) de la energa de la forma normal del pndulo.
Esta es la situacin tpica que se esperara en un proceso de difusin de Arnold (secciones
1.4.2 y 1.4.4), durante la etapa en que el ensamble est mayoritariamente contenido en la capa
estocstica de la resonancia gua inicial. Una vez que la difusin procede considerablemente
a lo largo de otras resonancias, la base de Chirikov asociada a la resonancia gua original
deja de tener sentido geomtrico. Cuando se cambia de resonancia gua, no slo cambian los
vectores 1 y 3 sino que, debido a la convexidad de I0 , tambin lo hace 2 .
82 Fenmeno difusivo en sistema Hamiltoniano 3DoF
-3.1 -2.8
-3.15 -2.9
-3
-3.2
-3.1
-3.25
log(12+22+32)
log(1 +2 +3 )
2
-3.2
-3.3
2
-3.3
2
-3.35
-3.4
-3.4
-3.5
-3.45
-3.6
-3.5 -3.7
-3.55 -3.8
5 5.2 5.4 5.6 5.8 6 6.2 6.4 4 4.5 5 5.5 6 6.5 7
log(t) log(t)
Figura 4.8: A la izquierda se muestra log(2 ) en funcin log(t) (rojo) junto con el ajuste lineal
de pendiente w 0.225 (azul), para t [105 , 106.5 ]. A la derecha se comprueba que este
comportamiento tipo ley de potencias (2 tw ) deja de ser vlida al considerar un intervalo
de tiempo ms mplio.
0.001
0.0009
0.0008
0.0007
32
0.0006
22
0.0005
0.0004
12
0.0003
0.0002
0.0001
0
0 2e+06 4e+06 6e+06 8e+06 1e+07
t
Figura 4.9: 12 (t), 22 (t) y 32 (t) respectivamente en colores rojo, verde y azul, para = 0.02 y
h cannico.
En la Fig. 4.10 se despliegan los valores de las tres varianzas para cada uno de los valores
pertencientes a A . Se evidencian cambios en el comportamiento de las varianzas a medida
que se aumenta gradualmente la intensidad de la perturbacin. De las Figs. 4.10 (a,b,c) se
observa que para {0.016, 0.018} el comportamiento es cualitativamente similar al obtenido
para = 0.020. Las Figs. 4.10 (d,e,f) muestran que para {0.022, 0.024, 0.026}, 12 no
se estabiliza en un valor constante, sino que posee un crecimiento neto. Por otro lado, 22 s
converge aproximadamente a un valor constante, mientras que 32 sigue siendo la varianza
que ms crece en el intervalo de temporal analizado. Por ltimo, en las Figs 4.10 (g,h) se
nota que para {0.028, 0.030}, 22 presenta un crecimiento neto y, adems, la magnitud
del crecimiento de 12 es del orden de 32 . El hecho de que para tan chico como 0.028 exista
un comportamiento que claramente no corresponde con una difusin de Arnold, no esta en
contradiccin con el resultado obtenido en captulo anterior, en el que se determin que
Experimento A 83
0.00035 0.0006
0.0003
0.0005
0.00025
2
2
3
3
0.0004
0.0002
2
2
0.0003
2
2
0.00015
0.0002
2
2
1
1
0.0001
0.0001
5e-05
0 0
0 2e+06 4e+06 6e+06 8e+06 1e+07 0 2e+06 4e+06 6e+06 8e+06 1e+07
t t
0.001 0.0018
0.0009 0.0016
0.0008
0.0014
0.0007
2
2
3
3
0.0012
0.0006
0.001
2
2
0.0005
2
2
0.0008
0.0004
0.0006
2
2
1
1
0.0003
0.0004
0.0002
0.0001 0.0002
0 0
0 2e+06 4e+06 6e+06 8e+06 1e+07 0 2e+06 4e+06 6e+06 8e+06 1e+07
t t
0.005 0.005
0.0045 0.0045
0.004 0.004
0.0035 0.0035
2
2
3
0.003 0.003
2
0.0025 0.0025
2
0.002 0.002
2
2
1
0.0015 0.0015
0.001 0.001
0.0005 0.0005
0 0
0 2e+06 4e+06 6e+06 8e+06 1e+07 0 2e+06 4e+06 6e+06 8e+06 1e+07
t t
0.01 0.04
0.009
0.035
0.008
0.03
0.007
2
2
3
0.025
0.006
2
0.005 0.02
2
0.004
0.015
2
2
1
0.003
0.01
0.002
0.005
0.001
0 0
0 2e+06 4e+06 6e+06 8e+06 1e+07 0 2e+06 4e+06 6e+06 8e+06 1e+07
t t
c > 0.030. La explicacin de ello radica en que el valor crtico es una cantidad que considera
globalmente el grado de solapamiento entre resonancias, mientras que si se considera slo el
84 Fenmeno difusivo en sistema Hamiltoniano 3DoF
entorno local de la resonancia gua bajo estudio, y de la accin resonante particular el overlap
se maniesta para valores ms pequeos de la perturbacin. Por ejemplo, la Fig. 4.4-der.,
muestra que para = 0.030, en el entorno de este valor particular de I r , la resonancia se halla
en un avanzado rgimen de overlap.
Una vez que hemos analizado como son los cambios de las varianzas (asociadas a las tres
direcciones de la mencionada base) que tienen lugar al pasar desde un rgimen de Nekhoroshev
hacia un rgimen de Chirikov, se realizar un estudio cuantitativo trabajando slo con 32 .
En la Fig. 4.11-izq. se grac 32 (t), en escala logartmica, para A , en colores rojo, verde,
azul, magenta, cyan, amarillo, negro y naranja, respectivamente. Se observa que, en general,
para cada tiempo jo t, a mayor valor de , mayor es el valor de 32 (t). Para cada uno de estas
curvas se realiz un ajuste lineal de forma similar a lo realizado anteriormente para la cantidad
2 , utilizando el mismo intervalo temporal: t [105 , 106.5 ]. En la Tabla 4.1 se muestran los
valores de los ajustes. En la quinta columna se agreg la cantidad w , que corresponde con el
valor del exponente ajustado para un intervalo temporal ms amplio, t [105 , 107 ], mientras
que en la sexta columna se ha agregado la diferencia relativa porcentual correspondiente.
Puede apreciarse que para algunos valores de , dicha diferencia llega a valores mayores al
15 %, lo cual es una prueba ms de que los comportamientos de las cantidades estadsticas
son altamente dependientes del intervalo temporal analizado. En la Fig. 4.11-der. se muestra
grcamente la concordancia entre los ajustes lineales realizados en 105 t 106.5 y las
correspondientes curvas. Anlogamente, en la Fig. 4.12-izq., se despliega la situacin obtenida
al considerar el rango 105 t 107 . En la Fig. 4.12-der. se muestran los valores de los
exponents w y w en funcin de , respectivamente en colores rojo y negro.
-1.5 -1.5
-2
-2
-2.5
-2.5
-3
log(32)
log(3 )
2
-3
-3.5
-3.5
-4
-4
-4.5
-5 -4.5
3 3.5 4 4.5 5 5.5 6 6.5 7 5 5.2 5.4 5.6 5.8 6 6.2 6.4
log(t) log(t)
Figura 4.11: 32 (t) en escala logartmica, para A , respectivamente en colores rojo, verde,
azul, magenta, cyan, amarillo, negro y naranja. En la gura de la izquierda se utiliz t
[103 , 107 ]. En la gura de la derecha se han agregado las correspondientes rectas que ajustan
aproximadamente a dichas curvas, para t [105 , 106.5 ].
Debido a que todos los valores de w (y de w ) son inferiores a la unidad, se puede concluir
que para los dos rangos temporales y para los ocho valores de recin analizados, la evolucin
de las varianzas corresponden a procesos de difusin anmala del tipo subdifusiva.
A pesar de esto, la Fig. 4.13 indica que al considerar tiempos sucientemente menores a
los recientemente utilizados, las varianzas siguen un comportamiento aproximadamente lineal.
Experimento A 85
|ww |
w log() w w 100
0.016 0.370366 6.11277 7.713 107 0.365061 1
0.018 0.387073 6.01603 9.638 107 0.395128 2
0.020 0.363961 5.72554 1.881 106 0.444984 22
0.022 0.466993 6.17054 6.752 107 0.564104 20
0.024 0.654695 7.06677 8.575 108 0.755714 15
0.026 0.676915 6.94744 1.129 107 0.562896 16
0.028 0.736347 7.10383 7.874 108 0.655036 11
0.030 0.807722 7.19636 6.363 108 0.756279 6
Tabla 4.1: Resultados del ajuste numrico, de acuerdo a ansatz similar al dado por (4.10),
con la correspondiente substitucin de por 3 . En la quinta columna se agreg la cantidad
w , que corresponde al valor del exponente ajustado para un intervalo temporal ms amplio,
t [105 , 107 ], mientras que en la sexta columna se ha agregado la diferencia relativa porcentual
correspondiente.
-1.5 0.85
0.8
-2
0.75
0.7
-2.5
0.65
log(32)
w*
-3 0.6
w
0.55
-3.5
0.5
0.45
-4
0.4
-4.5 0.35
5 5.5 6 6.5 7 0.016 0.018 0.02 0.022 0.024 0.026 0.028 0.03
log(t)
Figura 4.12: En la gura izquierda se despliegan las curvas de 32 (t) en escala logartmica,
para A , respectivamente en colores rojo, verde, azul, magenta, cyan, amarillo, negro y
naranja, junto con las correspondientes rectas que ajustan aproximadamente a dichas curvas,
para t [105 , 107 ]. La gura derecha muestra las curvas w() y w (), respectivamente en
colores rojo y negro.
Por lo tanto, a modo de tener una estimacin de la tasa de cambio promedio de la varianza
durante los primeros 5 105 unidades de tiempo, se computar el coeciente de difusin
D (1.40), eligiendo como tiempo inicial t0 = 104 y como tiempo nal t = 5 105 . Dicha
informacin es brindada por la Tabla 4.2 y por la Figura 4.14, en funcin de . Observando
esta gura no es posible determinar la relacin funcional entre el coeciente de difusin y el
parmetro perturbativo. Debido a la pequeez del rango utilizado en , los datos obtenidos
podran ser compatibles con varios tipos de formas funcionales, como por ejemplo una ley
de potencias o una ley exponencial. En el experimento de la prxima seccin se analizar un
conjunto de valores de que abarca un rango de tamao mayor.
86 Fenmeno difusivo en sistema Hamiltoniano 3DoF
0.0004 0.003
0.00035
0.0025
0.0003
0.002
0.00025
32
2
0.0002 0.0015
3
0.00015
0.001
0.0001
0.0005
5e-05
0 0
0 100000 200000 300000 400000 500000 0 100000 200000 300000 400000 500000
t t
Figura 4.13: 32 (t) para A , para t 5 105 . Cada color identica a un valor de ,
siguiendo el mismo criterio utilizado en la Fig. 4.11.
32 (t0 ) 32 (t) D
0.016 0.571 104 0.102 103 4.59 1011
0.018 0.739 104 0.162 103 9.01 1011
0.020 0.107 103 0.208 103 1.02 1010
0.022 0.136 103 0.265 103 1.31 1010
0.024 0.140 103 0.414 103 2.78 1010
0.026 0.153 103 0.839 103 6.99 1010
0.028 0.237 103 0.105 102 8.30 1010
0.030 0.288 103 0.261 102 2.37 109
2.5e-09
2e-09
1.5e-09
D
1e-09
5e-10
0
0.016 0.018 0.02 0.022 0.024 0.026 0.028 0.03
4.4. Experimento B
En este experimento slo nos interesaremos por el comportamiento de la cantidad estads-
tica 32 . Se considerar un conjunto de valores de que abarca casi tres rdenes de magnitud
Experimento B 87
dado por:
La misma se halla muy cercana a la que fue utilizada en la experiencia anterior, dada por
Ec. (4.4). Este ligero cambio en la eleccin de la accin resonante, es al efecto de experimentar,
un poco, la sensibilidad de los resultados de difusin.
La proyeccin de dicha accin resonante sobre el plano [I1 , I2 ] ha sido sealada con un
punto rojo en las mencionadas guras. A su vez, se ha estimado tericamente la ubicacin de
la separatriz (rama superior) correspondiente a esta accin resonante, mediante la utilizacin
de la frmula:
I = I r + ps (s (0))mg , (4.14)
donde la funcin ps (s ) est dada por la Ec. (3.28) y donde s (0) = /2 es el valor que
corresponde a los ngulos iniciales elegidos para esta resonancia gua, teniendo en cuenta la
argumentacin brindada al nal de la seccin 3.9. Las ubicaciones de estas acciones han sido
sealadas con puntos verdes en sus correspondientes separatrices. Dado que la posicin de la
separatriz terica de una resonancia, puede presentar diferencias respecto de la posicin de
la verdadera capa estocstica, no resulta adecuado utilizar estos puntos verdes como centros
de las condiciones iniciales de los ensambles con los cuales se pretende medir la difusin;
en especial al trabajar con perturbaciones pequeas, donde las capas estocsticas son muy
delgadas. No obstante, estos puntos verdes fueron utilizados como centros de nuevos mapas
SALI, con el propsito de amplicar dichos entornos, que son desplegados en la Fig. 4.16.
Para asegurar que los ensambles elegidos estn totalmente contenidos en la capa estocstica,
se realiz otro proceso de amplicacin para los cuatro valores de de menor tamao pero estas
imgenes no se muestran por no aportar nueva informacin. Los centros de dichos ensambles,
se detallan en la Tabla 4.3 y han sido sealados con cruces blancas en las correspondientes
imgenes de la Fig. 4.16. La precisin en el cmputo de cantidades estadsticas fue mejorada
respecto a los experimentos A , ya que aqu se utilizan ensambles de Np = 103 partculas.
88 Fenmeno difusivo en sistema Hamiltoniano 3DoF
-4 -4 -4
I2
I2
I2
0.08 0.08 0.08
-6 -6 -6
0.07 0.07 0.07
-8 -8 -8
0.06 0.06 0.06
-4 -4 -4
I2
I2
I2
0.08 0.08 0.08
-6 -6 -6
0.07 0.07 0.07
-8 -8 -8
0.06 0.06 0.06
-6.5 -6.5
0.11 0.11 0.11
0
-7 -7
0.1 0.1 0.1
-2
-7.5 -7.5
0.09 0.09 0.09
-4 -8 -8
I2
I2
I2
-8
0.06 0.06 0.06
-9.5 -9.5
Figura 4.15: Estructura resonante para B y h cannico. Los punto rojos sealan la accin
resonante utilizada en los experimentos de esta seccin. Los puntos verdes son la estimacin
terica de la posicin de la separatriz correspondiente a dicha accin resonante.
En esta primera etapa del experimento se trabaj con el integrador S8b utilizando un paso
de integracin tint = 102 y alcanzando un tiempo total de 106.5 . El paso de escritura fue
esc = 103 . Para todos los ensambles se cumple que 32 (0) 0.7 1012 . En la Fig. 4.17
se muestra en escala logartmica la evolucin de 32 (t) para B y t [103 , 106.5 ]. De la
misma se puede concluir que en el rango de intensidades de la perturbacin consideradas
existen comportamientos muy dismiles entre s. Por un lado, para igual a 4 103 (rojo),
6 103 (verde), 8 103 (azul), 102 (magenta) y 2 102 (cyan) se observa que para
tiempos del orden de 103 , las correspondientes varianzas han alcanzado valores superiores a
106 . Este comportamiento inicialmente abrupto es similar a lo observado en la experiencia de
Experimento B 89
0 -4 0 -4 0 -4
I2
I2
I2
-5e-05 -6 -5e-05 -6 -5e-05 -6
-1 -1
0.0001 0 0.0001 0.0001
-2 -2
-3 -3
5e-05 -2 5e-05 5e-05
-4 -4
0 -4 0 -5 0 -5
I2
I2
I2
-6 -6
-5e-05 -6 -5e-05 -5e-05
-7 -7
-8 -8
-0.0001 -8 -0.0001 -0.0001
-9 -9
-3
0.0001 0.0001 -5 0.0001 -5
-4
5e-05 5e-05 -6 5e-05 -6
-5
0 -6 0 -7 0 -7
I2
I2
I2
-7
-5e-05 -5e-05 -8 -5e-05 -8
-8
-0.0001 -0.0001 -9 -0.0001 -9
-9
la seccin anterior. Salvo el caso de = 2 102 , todos estos valores mencionados presentan
una aparente estabilizacin en 104 t 106.5 (una vez superado el tiempo transitorio del
crecimiento abrupto). Por otro lado, para igual 4102 (amarillo), 6102 (negro), 8102
(naranja) y 101 (gris) se observa un crecimiento exponencial o super-exponencial hasta
la saturacin en un nico valor: 32 0.045. Esta saturacin se debe a que para 4102 , el
sistema se halla en rgimen de Chirikov por lo que los ensambles tienen acceso a la mayora de
la supercie energtica. Para este ltimo grupo de valores de se comput D (), utilizando
t0 = 0 y dos tiempos nales distintos, a pesar de que la varianza carece de comportamiento
lineal. En la Fig. 4.18 se muestra con cuadrados vacos el coeciente para t = 1000 y con
cuadrados llenos el coeciente para t = 2000. Se observa que ambos intervalos de tiempo,
90 Fenmeno difusivo en sistema Hamiltoniano 3DoF
1 (0) 2 (0)
4 103 0.28719124745789 0.09011720000000
6 103 0.28655999472904 0.09102000000000
8 103 0.28602782406160 0.09175000000000
102 0.28555897229157 0.09245000000000
2 102 0.28371943838387 0.09534676835013
4 102 0.28111794458314 0.09924900905121
6 102 0.27912174818079 0.10224330365474
8 102 0.27743887676773 0.10476761077433
101 0.27595623728945 0.10699156999175
Tabla 4.3: Centros de las condiciones iniciales de los ensambles, 1 (0) = hI1 (0)i y 2 (0) =
hI2 (0)i, para B .
-3 -1.2
-1.4
-4
-1.6
-1.8
-5
-2
log(32)
log(3 )
2
-6 -2.2
-2.4
-7
-2.6
-2.8
-8
-3
-9 -3.2
3 3.5 4 4.5 5 5.5 6 6.5 3 3.5 4 4.5 5 5.5 6 6.5
log(t) log(t)
arrojan valores dentro del mismo orden de magnitud. A modo de poder comparar con los
1.4e-05
1.2e-05
1e-05
8e-06
D
6e-06
4e-06
2e-06
0
0.04 0.05 0.06 0.07 0.08 0.09 0.1
0.0001
1e-05
1e-06
1e-07
D
1e-08
1e-09
1e-10
1e-11
0.01 0.02 0.03 0.04 0.05 0.06 0.07 0.08 0.09 0.1
Figura 4.19: D (0.02) y D (0.04), utilizando t0 = 104 y t = 5 105 , sealados con tringulos.
Para comparacin se han agregado los datos de la Fig. 4.14 (crculos) y de la Fig. 4.18
(cuadrados).
embargo, para el caso de = 0.02, donde ambos coecientes se computan en el mismo rango
temporal, se obtiene concordancia en el orden de magnitud. Esto era esperable ya que, como
fue antes mencionado, la accin resonante utilizada en A es muy prxima a la utilizada en
B, por lo que ambos coecientes miden la difusin local en prcticamente la misma regin.
Para estimar el coeciente de difusin para los cuatro valores ms pequeos de B , se debi
extender el tiempo de integracin, utilizando el integrador S6a4 con un paso menor, tint =
101 , alcanzndose un tiempo nal de 2108 . En la Fig. 4.20 se muestra, en rojo, la evolucin
de las varianzas para t [107 , 2108 ]. Se observa un comportamiento aproximadamente lineal,
pero esta vez no se utiliz la frmula (1.40). Para evitar que las oscilaciones de corto perodo
arruinaran el cmputo de los coecientes, se procedi a realizar un ajuste numrico de la
forma:
32 (t) = 2D t + c, (4.15)
para t [107 , 2 108 ], cuyo resultado se despliega en la Tabla 4.4. Dichos ajustes se muestran,
D c
102 2.9062 1013 1.6963 105
8 103 1.9984 1014 1.5441 105
6 103 6.4117 1016 8.7747 106
4 103 < 1016 3.8848 106
0.00016 2.8e-05
0.00014 2.6e-05
0.00012 2.4e-05
0.0001 2.2e-05
32
32
8e-05 2e-05
6e-05 1.8e-05
4e-05 1.6e-05
2e-05 1.4e-05
2e+07 4e+07 6e+07 8e+07 1e+08 1.2e+08 1.4e+08 1.6e+08 1.8e+08 2e+08 2e+07 4e+07 6e+07 8e+07 1e+08 1.2e+08 1.4e+08 1.6e+08 1.8e+08 2e+08
t t
1e-05 4.4e-06
4.3e-06
9.5e-06 4.2e-06
4.1e-06
9e-06 4e-06
32
32
3.9e-06
8.5e-06 3.8e-06
3.7e-06
8e-06 3.6e-06
3.5e-06
7.5e-06 3.4e-06
2e+07 4e+07 6e+07 8e+07 1e+08 1.2e+08 1.4e+08 1.6e+08 1.8e+08 2e+08 2e+07 4e+07 6e+07 8e+07 1e+08 1.2e+08 1.4e+08 1.6e+08 1.8e+08 2e+08
t t
Figura 4.20: 32 (t) para 107 t 2 108 con = 102 , 8 103 , 6 103 y 4 103 . Las
rectas sealan la bondadez del ajuste numrico de D .
b
D () = a exp c , (4.16)
0.0001
1e-06
1e-08
D
1e-10
1e-12
1e-14
1e-16
0 0.01 0.02 0.03 0.04 0.05 0.06 0.07 0.08 0.09 0.1
Figura 4.21: Valores de D () tomados de Tabla 4.4, sealados con cruces, junto con los datos
de la Fig. 4.19.
4.5. Experimento C
En este ltimo experimento con la difusin en el oscilador curtico nos focalizaremos en
un valor jo del parmetro perturbativo, = 0.02, y dejaremos variar la ubicacin de los
ensambles iniciales a lo largo de la resonancia gua.
0.2 2
0.15
-2
0.1 -4
I2
-6
0.05
-8
0 -10
0.2 0.25 0.3 0.35 0.4
I1
Figura 4.22: Ubicacin de los ensambles del experimento C , para = 0.02. La enumeracin
de los mismos est dada en Tabla 4.5. La echa verde es paralela al vector mg .
Tabla 4.5: Datos de ensambles del experimento C . Los correspondientes valores de I2r y de I3r
pueden ser calculados a partir de I1r , mg , h y A, utilizando la Ec. (3.46).
varianza correspondiente a una difusin anmala. Tambin se puede apreciar que, para (casi)
todo tiempo jo, todos los ensambles con comportamiento normal en la difusin mantienen
sus varianzas con valores por debajo de aquellos correspondientes a los ensambles con difusin
anmala.
Sin embargo, si miramos durante un perodo mayor de tiempo, como tT = 107 , la situacin
es bastante diferente. En la Fig. 4.24 se puede ver que los ensambles 410 son los que ms han
aumentado su varianza luego de 107 unidades de tiempo. Por lo tanto, podra decirse que existe
una tendencia general de que los ensambles ubicados en el entorno de dominios de resonancia
doble posean una difusin inicial fuerte pero estable a tiempos grandes, mientras que los
Experimento C 95
0.00045
0.0004
0.00035
0.0003
0.00025
2
3
0.0002
0.00015
0.0001
5e-05
0
0 200000 400000 600000 800000 1e+06
t
Figura 4.23: 32 (t), con t 106 , para los diez ensambles de Tabla 4.5
0.0012
0.001
0.0008
2
0.0006
3
0.0004
0.0002
0
0 2e+06 4e+06 6e+06 8e+06 1e+07
t
Figura 4.24: 32 (t), con t 107 , para los diez ensambles de Tabla 4.5
comput D , ajustando (4.15) para 104 t 106 . Los valores obtenidos fueron 1.95 1011 ,
96 Fenmeno difusivo en sistema Hamiltoniano 3DoF
4.04 1011 , 7.61 1011 , 6.54 1011 , 6.23 1011 y 3.85 1011 , respectivamente para
los ensambles 4 9. Los mismos se despliegan en la Fig. 4.25, junto con aquellos coecientes
computados en experimentos anteriores, focalizando slo en el rango 0.016 0.024. Se
1e-10
D
1e-11
0.016 0.017 0.018 0.019 0.02 0.021 0.022 0.023 0.024
Figura 4.25: Valores de D () para los ensambles 4 9 de Tabla 4.5, sealados con los corres-
pondientes colores, junto con los datos computados en experimentos anteriores en el rango
0.014 0.024.
observa que los tres ensambles que ms difunden (amarillo, magenta y marrn), son los que
estn ms alejados de los cruces de resonancias. Adems, se observa que el valor del coeciente
medido para el ensamble cyan diere un poco del medido en B (sealado con un tringulo).
Por otro lado, los ensambles magenta y marrn, dan valores del coeciente cuyos puntos se
ubican cercanos al tringulo, a pesar de que estos dos ensambles corresponden a acciones
resonantes diferentes.
4.6. Conclusin
En este captulo se estudi la difusin de Arnold que tiene lugar a lo largo de la capa
estocstica de la resonancia gua mg = (2, 3, 0) del oscilador curtico perturbado 3DoF. Las
mediciones pueden agruparse en tres experimentos numricos.
En el experimento A se estudi la difusin de ocho ensambles de partculas de prueba,
uno por cada valor de A . Se midi la evolucin de las varianzas en las tres direcciones de
la base de Chirikov, determinndose que para 0.02 se obtiene la situacin tpica esperable
en un proceso de difusin de Arnold. Dicha situacin est caracterizada por el hecho de que
12 (t) y 22 (t) se estabilizan aproximadamente en valores constantes, mientras que 32 (t) posee
un crecimiento prcticamente montono, en el intervalo temporal considerado: t [0, 107 ].
Para valores de mayores, se obtiene que 12 (t) tiene una velocidad de crecimiento promedio
que aumenta con , en concordancia con el hecho de que el overlap con resonancias cercanas
empieza a tener una incidencia cada vez mayor a medida que se aumenta .
Para t . 107 se observ un comportamiento anmalo de 32 (t) en los ocho valores de
. Mediante ajustes del tipo de ley de potencias, se encontr que todos los exponentes son
menores a uno (se mantienen por debajo de w 0.8), lo cual es evidencia de que se comporta
como un proceso subdifusivo en esta escala temporal. Por otro lado, para t . 5 105 se
observ que dichas varianzas siguen un comportamiento aproximadamente lineal (difusin
normal) y se computaron los coecientes de difusin asociados.
Conclusin 97
99
100 El enfoque estocstico
una quasiaccin) se comporta como un proceso difusivo regido por una ecuacin de Fokker-
Planck.
En la seccin 5.5 se aplicar el mismo procedimiento que en la seccin anteriormente
mencionada, considerando esta vez, una geometra que modela una capa estocstica delgada.
De esta manera, se estar trabajando en el modelo de pumping estocstico para la difusin de
Arnold en un mapa simplctico a priori inestable.
Introduciendo las variables ngulo-accin (I, ) del mapa M0 , se reescribe el mapa (5.3)
en la forma ! !
n+1 n + (In )
= exp(n LV (I,) ) , (5.4)
In+1 In
donde V V (I, ) = V (x(I, )), LV es el operador de Lie denido por el corchete de Poisson
{, V } con el potencial V (x) y (I) es la frecuencia del mapa M0 .
Se precisar el desarrollo de Fourier del potencial:
Vk (I)eik .
X
V (I, ) = (5.5)
k
2. Se considera que todas las partculas que arriban a la frontera U del dominio de
estabilidad son dispersadas, son eliminadas, por lo cual se simula el efecto introduciendo
una barrera absorbente en U .
3. El ruido n satisface una condicin de mezclado; es decir, si f (x) y g(x) son funciones
medibles acotadas entonces la siguiente desigualdad se cumple
donde la funcin (n) es tal que lmn n6 (n) = 0 y E[] es el valor de expecta-
cin (1.73).
1 NX1 N
X 1
V V
(5.7)
D(I) lm I, 0 + (I)n I, 0 + (I)m E[n m ],
N N 0 0
n=0 m=0
1 (I,
(I, L) = D(I) L) . (5.9)
L 2 I I
De Ecs. (5.9) y (5.10) se tiene que, para sucientemente chico, (I, t) satisface (aproxima-
damente) la siguiente ecuacin de F-P:
1
2
(I, t) = D(I) (I, t) . (5.11)
t 2 I I
(|j|)eij .
X
() = (5.12)
j=
Luego, utilizando la cuarta hiptesis junto con la expansin de Fourier (5.5), vale la
siguiente aproximacin:
1
Esta ecuacin corresponde a un caso particular de la Ec. (1.65), en el cual el coeficiente de drift, A, se
relaciona con el de difusin, D B, de la forma: A = 21 ID
Ejemplos estocsticos con ruidos Gaussianos 103
N 1 j+N
X1
X V V
D(I)= lm I, 0 + (I)n I, 0 + (I)(n j) (|j|)
N N 0 0
j=N +1 n=j
|k|kmax |k |kmax
Vk (I)Vk (I)kk ei(kk )0
X X
k k
N 1 j+N
X1
X
ik (I)j 1 i(kk )(I)n
lm (|j|)e e
N
j=N +1
N n=j
|k|kmax
k2 |Vk (I)|2 (k(I)),
X
= (5.13)
k
que es vlida salvo por un error de O() debido a la presencia del truncamiento. Finalmente,
se dene el coeficiente de difusin analtico como:
|k|kmax
k2 |Vk (I)|2 (k(I)).
X
Da (I) (5.14)
k
H1
In+1 = In (In+1 , n , n )
n
n+1 = n + (In+1 ) = n + In+1 mod 2 (5.15)
donde
H1 (I, , ) = V () = cos , (5.16)
y n es el valor de una realizacin particular del ruido al tiempo n. En otras palabras, nuestro
sistema es un rotador libre, con ngulo y velocidad angular (I) I, perturbado por un
trmino estocstico.
A continuacin se denen dos coeficientes de difusin seminumricos. Dado un valor de
la accin I, un ngulo inicial 0 y un valor nito pero suficientemente grande del tiempo nal
N , se dene uno de los coecientes seminumricos como la cantidad:
1 NX
1 N
X 1
V V
Dsn (I; N ) (0 + (I)n) (0 + (I)m) (n, m). (5.17)
N n=0 m=0 0 0
En caso de no disponer de la funcin (n, m), es posible reemplazarla por una autocorre-
lacin numrica (promedio de ensambles), computando la siguiente variante del coeciente
104 El enfoque estocstico
semi-numrico:
1 NX
1 N
X 1
V V
Dsn (I; N ) (0 + (I)n) (0 + (I)m) hn m i. (5.18)
N n=0 m=0 0 0
(I; N ) implica no slo elegir valores de I, y N , si no tambin elegir
Obtener el valor de Dsn 0
el nmero de realizaciones del ruido Nr que sern numricamente computadas.
Como el desarrollo de Fourier de nuestro potencial es:
1 1
V () = cos() = ei + ei , (5.19)
2 2
se tiene que
1
(
si k = 1,
Vk (I) = 2 (5.20)
0 si k =
6 1.
La existencia de slo dos trminos, y del mismo tamao, en el desarrollo, implica que no es
necesario adoptar valor de corte (kmax ) alguno. Adems, junto con la cuarta hiptesis del
teorema de la seccin 5.1 y el hecho de que (I) I, se tiene que en nuestro caso:
U = {I R : I 6= 2q, q Z}. (5.21)
Luego, se arriba a que la expresin analtica (5.13) toma la forma
1
Da (I) = {(I) + (I)}. (5.22)
4
Ya se han denido previamente cuales sern las cantidades de prediccin de cocientes de
(I; N ), que sern utilizadas durante el resto del captulo. Estos
difusin: Da (I), Dsn (I; N ) y Dsn
valores sern oportunamente comparados contra la medicin de un coeciente de difusin
numrico. El mismo ser medido a travs del desplazamiento cuadrtico medio, a diferencia
de lo que fue realizado en el captulo precedente, donde se utiliz la varianza. Se medir D ,
utilizando la convencin asociada a la Ec. (1.65). Con los cambios de notacin de t0 , t, I(t0 )
e I(t), respectivamente por 0, N , I e IN , se tiene que
h(IN I)2 i
D (I; N ) = (5.23)
N
Finalmente, reescaleando esta ltima expresin, se dene el coeficiente de difusin num-
rico (para N unidades de tiempo), como:
1 h(IN I)2 i
Dnu (I; N ) D (I; N ) = . (5.24)
2 2 N
Para el cmputo de este coeciente se utilizar, en la mayora de los casos, el valor N = 103 .
Para el conjunto de valores de que se utilizarn en este captulo, dicho valor de N es
sucientemente pequeo como para que la difusin sea normal (debido a que el ensamble no
se alcanza a alejar de su accin inicial) y sucientemente grande como para que las oscilaciones
de corto perodo sean despreciables.
A continuacin se ejemplicar el funcionamiento del mtodo utilizando ruido blanco y
tres tipos de ruidos coloreados. Se le llama ruido blanco a aquel ruido cuya densidad espectral
es constante, o equivalentemente, que su autocorrelacin est descripta por la distribucin
de Dirac. Por otro lado, se le llama ruido coloreado a todo ruido que no es blanco. Los ruidos
coloreados que se vern a continuacin estarn caracterizados por tener una o ms frecuencias
caractersticas, en el entorno de las cuales la densidad espectral poseer mximos.
Ejemplos estocsticos con ruidos Gaussianos 105
1 2 1
Da (I) = {(I) + (I)} = w = . (5.25)
4 2 2
El coeciente seminumrico Dsn no puede computarse debido a que la funcin autocorrelacin
es una funcin singular.
para = 50, 0 = 0.3 y N = 103 , y el resultado se despliega con trazo rojo en la Fig. 5.1
para [0.2, 0.4] (izquierda) y para [0.5, 0.5] (derecha). Adems, en ambas imgenes
se ha trazado en negro la parte imaginaria de la evaluacin numrica de (), vericando que
es nula. De las mismas se concluye que existen mximos centrados en = 0 = 0.3. En la
Fig. 5.2-izq. se compara el efecto de cambiar la frecuencia del ruido un orden de magnitud,
tomando 0 = 0.03. El resultado consiste en que los mximos cambian hacia = 0.03,
mientras que el ancho y alto de la curva no perciben modicaciones. Asimismo, en la Fig. 5.2-
der. se compara el efecto de cambiar el tiempo de correlacin un orden de magnitud, tomando
= 5 y 0 = 0.3. En este caso, la funcin se vuelve ms ancha y pequea, mientras que los
mximos permanecen en sus valores originales.
106 El enfoque estocstico
140 140
120 120
100 100
80 80
60 60
-
-
40 40
20 20
0 0
-20 -20
0.2 0.25 0.3 0.35 0.4 -0.4 -0.2 0 0.2 0.4
Figura 5.1: Re[()] (rojo) y Im[()] (negro) para w = 1, = 50, 0 = 0.3 y N = 103 .
140 140
120 120
100 100
80 80
60 60
-
40 40
20 20
0 0
-20 -20
-0.4 -0.2 0 0.2 0.4 -0.4 -0.2 0 0.2 0.4
Figura 5.2: A la izq. se graca () para = 50, N = 103 , utilizando 0 = 0.3 (rojo) y
0 = 0.03 (azul). A la der. se graca () para 0 = 0.3, N = 103 , utilizando = 50 (rojo) y
= 5 (azul).
70 100
60
10
50
1
40
Dsn
Dsn
30
0.1
20
0.01
10
0 0.001
0.4 0.42 0.44 0.46 0.48 0.5 0.52 0.54 0.56 0.58 0.6 0.4 0.42 0.44 0.46 0.48 0.5 0.52 0.54 0.56 0.58 0.6
I I
Figura 5.3: Dsn (I; N ), para N = 103 , 3 103 , 5 103 , respectivamente en colores rojo, azul
y negro, utilizando 0 = 0.5, = 50 y 0 0.214. A la derecha en escala semilogartmica.
() = lm (, t) = N (; 0, c/2), (5.32)
t0
que resulta ser independiente de ambos 0 y t. Esta funcin es llamada distribucin esta-
cionaria del mencionado proceso mientras que la funcin de autocorrelacin correspondiente
es:
(t, s) = 2 e|st|/ ; (5.33)
donde 2 = c/2 es la varianza de la distribucin del proceso O-U.
Aplicando la transformada de Fourier a la funcin de autocorrelacin se llega a:
( 1 i)
1 e
() = 2 + , (5.34)
( 1 +i) ( 1 i)
1e 1e
2
Las definiciones de integral estocstica y de ecuacin diferencial estocstica pueden ser consultadas en Ar-
nold (1973).
108 El enfoque estocstico
100 90
80
10
70
Dnu
60
1
Dnu
50
Dsn*
40
Da
0.1
30
Da
20
0.01
10
0.001 0
0 1 2 3 4 5 6 7 0 0.1 0.2 0.3 0.4 0.5
I I
d2 t dt dWt
2
= 2 t + c1/2 , (5.36)
dt dt dt
Ejemplos estocsticos con ruidos Gaussianos 109
( )
a 1 1 e(i(+0 )+b) e(i(0 )+b)
() = + + + .
2 1 e(i(+0 )b) 1 e(i(0 )b) 1 e(i(+0 )+b) 1 e(i(0 )+b)
(5.40)
Utilizando las Ecs. (5.44) y (5.17) se ha computado Dsn (I; 103 ) con 0 = 5/2 1.118,
mientras que utilizando las Ecs. (5.45) y (5.22) se ha computado Da (I). Ambas curvas se
presentan en la Fig. 5.7, donde se aprecia un buen acuerdo entre ellas.
6 10
4 1
Dsn
Dsn
3
Da
Da
2 0.1
0 0.01
0 0.5 1 1.5 2 2.5 3 0 0.5 1 1.5 2 2.5 3
I I
Figura 5.5: Da (I) (rojo) y Dsn (I; 103 ) (negro) en escalas natural (izquierda) y semilogartmica
(derecha). Los
parmetros utilizados fueron = 1, = 0.2 y c = 0.4. Adems, para Dsn se
utiliz 0 = 5/2.
Luego, se ha computado el coeciente numrico, Dnu (I; 103 ), utilizando Nr = 104 rea-
lizaciones del ruido, = 107 y 0 0.214. En la Fig. 5.8 se compara dicha cantidad con
3
Dado que la ecuacin diferencial estocstica (5.43) es lineal y que en la misma el trmino proporcional a
dW es una constante, y por lo tanto una funcin determinista, no fue necesario adoptar una de las (infinitas)
interpretaciones de la integral estocstica (por ejemplo: It, Stratonovich; ver Stratonovich and Silverman
(1967)). Para esta situacin todas devienen en la misma cantidad.
110 El enfoque estocstico
su contrapartida analtica. Puede apreciarse que en ciertas regiones hay concordancia entre
ambos coecientes, mientras que en otras no. Por ejemplo, cerca de I 1, que corresponde
al maximo absoluto, se obtiene un error relativo de aproximadamente el 30 %. Este mximo
corresponde con la resonancia (1, 1) entre el mapa integrable y el ruido. Se realizaron otros ex-
perimentos numricos variando . Se concluy que siempre que se mantenga dicho parmetro
por debajo de 103 , no se aprecian diferencias entre los cocientes numricos normalizados
(reescaleados).
8 10
6 1
5
Dnu
Dnu
4 0.1
Da
Da
3
2 0.01
0 0.001
0 0.5 1 1.5 2 2.5 3 0 0.5 1 1.5 2 2.5 3
I I
Figura 5.6: y Da (I) (rojo) Dnu (I; 103 )) (azul) en escalas natural (izquierda) y semilogartmica
(derecha). Los parmetros usados son Nr = 104 , = 1, = 0.2 y c = 0.4. Adems, para Dnu
se utiliz 0 0.214.
( )
a 1 1 e(i(+0 )+b) e(i(0 )+b)
() = + + + .
2 1 e(i(+0 )b) 1 e(i(0 )b) 1 e(i(+0 )+b) 1 e(i(0 )+b)
(5.45)
Utilizando las Ecs. (5.44) y (5.17) se ha computado Dsn (I; 103 )
con 0 = 5/2 1.118,
mientras que utilizando las Ecs. (5.45) y (5.22) se ha computado Da (I). Ambas curvas se
presentan en la Fig. 5.7, donde se aprecia un buen acuerdo entre ellas.
6 10
4 1
Dsn
Dsn
3
Da
Da
2 0.1
0 0.01
0 0.5 1 1.5 2 2.5 3 0 0.5 1 1.5 2 2.5 3
I I
Figura 5.7: Da (I) (rojo) y Dsn (I; 103 ) (negro) en escalas natural (izquierda) y semilogartmica
(derecha). Los
parmetros utilizados fueron = 1, = 0.2 y c = 0.4. Adems, para Dsn se
utiliz 0 = 5/2.
Luego, se ha computado el coeciente numrico, Dnu (I; 103 ), utilizando Nr = 104 rea-
lizaciones del ruido, = 107 y 0 0.214. En la Fig. 5.8 se compara dicha cantidad con
su contrapartida analtica. Puede apreciarse que en ciertas regiones hay concordancia entre
ambos coecientes, mientras que en otras no. Por ejemplo, cerca de I 1, que corresponde
al maximo absoluto, se obtiene un error relativo de aproximadamente el 30 %. Este mximo
corresponde con la resonancia (1, 1) entre el mapa integrable y el ruido. Se realizaron otros ex-
perimentos numricos variando . Se concluy que siempre que se mantenga dicho parmetro
por debajo de 103 , no se aprecian diferencias entre los cocientes numricos normalizados
(reescaleados).
8 10
6 1
5
Dnu
Dnu
4 0.1
Da
Da
3
2 0.01
0 0.001
0 0.5 1 1.5 2 2.5 3 0 0.5 1 1.5 2 2.5 3
I I
Figura 5.8: y Da (I) (rojo) Dnu (I; 103 )) (azul) en escalas natural (izquierda) y semilogartmica
(derecha). Los parmetros usados son Nr = 104 , = 1, = 0.2 y c = 0.4. Adems, para Dnu
se utiliz 0 0.214.
es descriptible por dicha ecuacin cintica. La nica diferencia radicar en la frmula para el
coeciente de difusin.
Luego de introducir dos mapas intermedios se denir un mapa simplctico 4D cuyas
propiedades difusivas estudiaremos durante el resto de este captulo. Adems, para estos tres
mapas se computar Dnu . Posteriormente se realizarn cambios necesarios en las frmulas de
prediccin de los coecientes de difusin.
Jn+1 = Jn + K sin(n )
n+1 = n + Jn+1 mod 2. (5.46)
Para este valor de K, el espacio de fases consiste en un mar catico generalizado excepto
por dos islas de estabilidad (enteras), que son relativamente pequeas y estn centradas en
puntos de la forma (J, ) (2k, ) (k Z). La eleccin de M evita los centros de tales
islas de regularidad, por lo que consiste fundamentalmente de rbitas caticas. Esto hace que
Perturbaciones deterministas 113
1.8
1.6
1.4
1.2
D(I)
0.8
0.6
0.4
0.2
0
0 1 2 3 4 5 6
I
Figura 5.9: Dnu (I; 103 ) para = 107 , Nr = 2 104 y 0 0.2143 para Ec. (5.48).
y puede ser interpretado com un rotador libre acoplado con un SM. Es el mismo mapa que
fue utilizado por Kook y Meiss (1990) al estudiar el mtodo de pumping estocstico.
Utilizando nuevamente los mismos parmetros de iteracin, se ha computado Dnu (I; 103 )
y se despliega en la Fig. 5.10 utilizando puntos verdes. Dicha gura muestra la similitud entre
los coecientes numricos de difusin de los mapas (5.49) y (5.50). Esto no es sorprendente por
la siguiente razn. Ya es bien conocido que las propiedades estadsticas de mapas ergdicos
son estables ante perturbaciones sucientemente pequeas. Las variables caticas (J, ) no
pertenecen estrictamente a un sistema ergdico pero poseen aproximadamente esta cualidad
en el mar catico (capa estocstica gruesa). Luego, como la diferencia entre el mapa parcial-
mente acoplado (5.49) y el mapa simplctico (5.50) es slo una perturbacin de O() a la
parte ergdica, se tiene la plausibilidad en la similitud entre ambos coecientes de difusin.
1.5
D(I)
0.5
0
0 1 2 3 4 5 6
I
Figura 5.10: Dnu (I; 103 ) para ambos mapas (5.49) y (5.50), usando = 107 , Nr = 2 104 y
0 0.2143.
hk (I)eik(+)
X
H1 (I, , ) = (5.51)
k
1 NX
1 N 1 X X
kk hk (I)hk (I)ei(k+k ) ei(k(I)n+k (I)m) k,k (n, m)
X
Dsn (I; N ) =
N n=0 m=0 k k
kk hk (I)hk (I)ei(kk )
XX
=
k k
N 1 j+N
X1
1
k,k (|m|)eik (I)m ei(kk )(I)n
X
. (5.53)
m=N +1
N n=j
Usando estas ecuaciones junto con (5.7) y tomando en cuenta el hecho de que
j+N
X1
1
lm ei(kk )(I)n = k,k
N N
n=j
Comparando este resultado con Ec. (5.13) se tiene que en este enfoque ms general cada
armnico de la perturbacin contribuye con una funcin densidad espectral diferente.
Para nuestro sistema determinista el mtodo seminumrico puede ser reescrito utilizando
funciones sinusoidales y consenoidales (en vez de exponenciales) as:
1 NX
1 N
X 1n
Dsn (I; N ) = 1 (n, m) cos( + (I)n) cos( + (I)m)
N n=0 m=0
+ 2 (n, m) sin( + (I)n) sin( + (I)m)
+ 3 (n, m) cos( + (I)n) sin( + (I)m)
o
+ 4 (n, m) sin( + (I)n) cos( + (I)m) ; (5.55)
donde
No se conoce expresin analtica, vlida hasta tiempos del orden de 103 , de dichas funciones
de autocorrelacin para el SM. En Meiss et al. (1983) y Cary et al. (1981) se presentan
116 El enfoque estocstico
aproximaciones vlidas bajo ciertas condiciones y para tiempos . 10. Por lo tanto, a partir
de ahora la prediccin del coeciente de difusin se realizar utilizando la otra versin del
coeciente seminumrico:
1 NX
1 N
X 1n
Dsn (I; N ) = hsin n sin m i cos( + (I)n) cos( + (I)m)
N n=0 m=0
+ hcos n cos m i sin( + (I)n) sin( + (I)m)
+ hsin n cos m i cos( + (I)n) sin( + (I)m)
o
+ hcos n sin m i sin( + (I)n) cos( + (I)m) ; (5.57)
0.8
0.6
0.4
0.2
( )
0
-0.2
-0.4
-0.6
-0.8
0 10 20 30 40 50 60
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
( )
( )
0 0
-0.2 -0.2
-0.4 -0.4
-0.6 -0.6
-0.8 -0.8
0 10 20 30 40 50 60 0 100 200 300 400 500
En la Fig. 5.15 se muestran estas cuatro funciones de autocorrelacin, denidas en Ec. (5.58),
para [0, 500] y para t0 = 103 , en colores rojo, azul, verde y negro, respectivamente. Se
puede observar que todas menos 2 oscilan alrededor de cero. Adems, se ve que 1 presenta
oscilaciones de mayor amplitud que el resto, mientras que 3 y 4 son en todo momento
cercanas a cero.
118 El enfoque estocstico
0.6
0.5
0.4
0.3
0.2
( )
0.1
-0.1
-0.2
-0.3
-0.4
0 20 40 60 80 100 120 140 160
0.02 0.015
0.015
0.01
0.01
0.005
0.005
( )
( )
0 0
-0.005
-0.005
-0.01
-0.01
-0.015
-0.02 -0.015
200 210 220 230 240 250 260 300 310 320 330 340 350 360
0.3
0.2
0.1
i (i=1,2,3,4)
-0.1
-0.2
-0.3
0 100 200 300 400 500
(I; 103 ), utilizando 0.214. En la Fig. 5.16 se compara este valor con la medicin real,
Dsn 0
correspondiente al mapa (5.50) utilizando K = 3 y = 107 . Se encuentra que Dsn predice
a Dnu con cierto detalle. Sin embargo, la prediccin es aproximada ya que al movernos a
lo largo del eje I, se observan oscilaciones respecto del valor medido. Se realizaron pruebas
con otras combinaciones de valores de Nr y N , pero no se pudo disminuir la amplitud de
estas oscilaciones. Por lo tanto, si se desea utilizar este mtodo para predecir el coeciente de
difusin, es necesario acompaar al mtodo con algn proceso de suavizado de los datos.
1.5
Dnu
1
D*sn
0.5
0
0 1 2 3 4 5 6
I
(I; 103 ) (rojo) y D (I; 103 ) (negro) para mapa simplctico (5.50), utilizando
Figura 5.16: Dsn nu
K = 3 y = 107 .
120 El enfoque estocstico
J0 = 3
Se utiliz = 102 por lo que la relacin entre el tiempo de F-P (L) y el tiempo Hamil-
toniano real (n) es:
L = 2 n = 104 n. (5.60)
La Fig. 5.17 muestra tanto la solucin de la ec. de F-P como los histogramas hechos con
rbitas individuales, para tiempos n iguales a 0 y 200. All se puede ver que el comportamiento
de la difusin de la accin en este mapa simplctico sigue de cerca al comportamiento de la
solucin de la ec. de F-P.
Se ha superpuesto en negro el coeciente de difusin utilizado para la integracin de la
ec. de F-P, de forma tal de mostrar esquemticamente la razn por la cual el lado izquierdo
de la distribucin Gaussiana se difunde ms fuertemente que el lado derecho de la misma. La
Fig. 5.18 muestra las mismas cantidades para valores de n iguales a 400, 1000 y 5000.
Para nalizar con el anlisis de la difusin en la capa gruesa, se ha computado la evolucin
temporal de la varianza del histograma, 2 , para dos valores del parmetro perturbativo. En
la Fig. 5.19-izq. se puede ver 2 (L), para 0 L 0.2, para = 103 y = 104 , en colores
rojo y verde, respectivamente. Se ha utilizado la variable L en el eje temporal a modo de tener
un tiempo comparable entre ambos valores de . Ms especcamente, L = 0.3 corresponde a
n = 106 0.3 = 3105 para = 103 , mientras que corresponde a n = 108 0.3 = 3107 para
= 104 . De la mencionada gura se observa que existe un acuerdo entre ambas evoluciones
de la varianza.
En la Fig. 5.19-der. se muestra slo la curva correspondiente a = 103 , para un rango
temporal un orden de magnitud mayor: 0 L 2. Se observa un comportamiento aproxima-
damente lineal de la varianza, con lo que se puede decir que bajo estas condiciones la difusin
es aproximadamente normal.
4.5
3.5
2.5
1.5
0.5
0
0 0.5 1 1.5 2 2.5 3
I
Figura 5.17: (I, n) para n igual a 0 (rojo para la ec. de F-P, azul para histograma) y 200
(verde para la ec. de F-P, violeta para histograma), que se corresponde con L igual a 0 y
0.02, respectivamente. Para los histogramas se utiliz K = 3 y = 102 . La lnea negra
superpuesta es el coeciente de difusin utilizado al integrar la ec. de F-P.
se desarrollan para esa intensidad de K. Aqu, para un valor mucho ms chico, K = 0.9, se
debe ser ms especco y elegir las condiciones iniciales del ruido solamente dentro de la capa
estocstica de una resonancia del mismo.
En esta oportunidad se eligi
En la Fig. 5.20 se muestra la ubicacin inicial de dicho ensamble (en azul), junto con un
snapshot del mismo, para un tiempo grande (en rojo).
En la Fig. 5.21 se muestran las cuatro funciones de autocorrelacin, denidas en Ec. (5.58),
para [0, 500] y para t0 = 103 , en colores rojo, azul, verde y negro, respectivamente. Anlo-
gamente a lo que sucedi para el caso de capa gruesa, se tiene que todas las autocorrelaciones
menos 2 oscilan alrededor de cero, y que 3 junto con 4 son las que presentan la menor
amplitud de oscilacin. Por otro lado, se tiene que 1 y 2 presentan oscilaciones del mismo
orden de magnitud. Una caracterstica distintitiva radica en que 2 ( ) posee un valor me-
dio cercanano a 0.13, que es bastante mayor que el valor medio correspondiente a la misma
cantidad en el caso de capa gruesa.
122 El enfoque estocstico
2.5
1.5
0.5
0
0 0.5 1 1.5 2 2.5 3
I
Figura 5.18: (I, n) para n igual a 400, 1000 y 5000, que corresponde con L igual a 0.04,
0.1 y 0.5, respectivamente. Para los histogramas se utiliz K = 3 y = 102 . La lnea negra
superpuesta es el coeciente de difusin utilizado al integrar la ec. de F-P.
0.14 0.8
0.12 0.7
0.6
0.1
0.5
0.08
2
0.4
0.06
0.3
0.04
0.2
0.02 0.1
0 0
0 0.05 0.1 0.15 0.2 0.25 0.3 0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
L L
Figura 5.19: A la izquierda se despliega 2 (L), para 0 L 0.3, para = 103 y = 104 ,
en colores rojo y verde, respectivamente. A la derecha se despliega 2 (L), con 0 L 2
y = 103 . Ambos grcos han sido realizados utilizando la distribucin correspondiente al
histograma de 105 partculas prueba, que fue denido anteriormente.
J
-1
-2
-3
0 1 2 3 4 5 6
Figura 5.20: Condiciones iniciales del ruido (azul) y snapshot (rojo) corresondiente 700 uni-
dades de tiempo, usando K = 0.90 y Nr = 2 104 .
0.4
0.3
0.2
i (i=1,2,3,4)
0.1
-0.1
-0.2
0 100 200 300 400 500
K = 3, entre la prediccin (rojo) y el experimento (negro). Para el clculo de Dsn (I; 103 ) se
8 3
2
7
1
6
0
5
-1
4 -2
D(I)
D(I)
3 -3
-4
2
-5
1
-6
0
-7
-1 -8
1 2 3 4 5 6 1 2 3 4 5 6
I I
(I; 103 ) (rojo) y D (I; 103 ) (negro) para mapa simplctico (5.50), usando
Figura 5.22: Dsn nu
K = 0.90, = 104 y 0 0.214, en escala natural (izquierda) y semilogartmica (derecha).
J0 = 1/2
L = 2 n = 108 n. (5.62)
La Fig. 5.23 muestra la solucin de la Ec. de F-P y los histogramas hechos con las rbitas
individuales, para tiempos n iguales a 0 y 106 . Se ha superpuesto en negro el coeciente de
difusin utilizado en la integracin F-P. La Fig. 5.24 muestra las mismas cantidades para
valores mayores de n ( 3 106 y 8 106 )
Tal como pas para el valor de K = 3, aqu se puede apreciar que la difusin percibida
por la accin I en este mapa simplctico sigue de cerca al comportamiento de la solucin
de la ecuacin cintica. Sin embargo, el histograma se presenta un poco retrasado respecto
de la curva F-P. Tal vez este retraso se deba al hecho de que el sistema real (histograma)
necesita un cierto tiempo para decorrelacionar los ngulos (), mientras van llenando la
capa estocstica de la separatriz. Para poner a prueba esta hiptesis debera computarse la
evolucin del histograma utilizando un M donde las condiciones iniciales estn distribudas
lo ms homogneamente posible dentro de la capa estocstica.
Para nalizar con el anlisis de la difusin en la capa na, se ha computado la evolucin
temporal de la varianza de la distribucin, 2 , para dos valores del parmetro perturbativo.
En la Fig. 5.25-izq. se puede ver 2 (L), para 0 L 0.3, para = 103 y = 104 , en
colores rojo y verde, respectivamente. Se observa que ambas curvas comienzan a diverger
desde L 0.05. Esta diferencia puede deberse a que para este valor de K el sistema se
aleja demasiado de las hiptesis del teorema estocstico. Comparando entre s las Figs. 5.15
Capa estocstica delgada 125
25
20
15
10
0
0.4 0.5 0.6 0.7 0.8 0.9 1
I
Figura 5.23: (I, n) para n igual a 0 (rojo para la ec. de F-P, azul para histograma) y 106
(verde para la ec. de F-P, violeta para histograma) , que se corresponde con L igual a 0 y
0.01, respectivamente. Para los histogramas se utiliz K = 0.9 y = 104 . La lnea negra
superpuesta es el coeciente de difusin utilizado al integrar la ec. de F-P.
y 5.21 se concluye que para el caso de capa na el no decaimiento a cero de las funciones de
autocorrelacin es ms evidente que en el caso de capa gruesa. En particular, para K = 0.9,
2 ( ) est centrada en un valor de casi un orden de magnitud mayor al correspondiente para
K = 3, como fue antes mencionado.
Tanto para K = 3 como para K = 0.9, la persistencia de correlaciones para todo tiempo,
se debe a la existencia de islas de estabilidad ya que las partculas de la capa estocstica, al
acercarse sucientemente cerca a las mismas, presentan un comportamiento con caractersticas
regulares, y la dinmica se ordena localmente all. En el caso de capa na, existe una mayor
componente de islas de estabilidad en el espacio de fases, como puede verse en la Fig. 5.20.
En la Fig. 5.25-der. se muestra el histograma de la densidad de probabilidad, para L = 0.3,
para los dos valores de recientemente considerados. El histograma rojo es (I, 3 105 ) y
corresponde a = 103 , mientras que el histograma verde es (I, 3 107 ) y corresponde
a = 104 . La curva negra es la correspondiente solucin de la ecuacin de F-P: (I, 0.3).
De esta gura se concluye que, si bien la diferencia de las varianzas de ambos histogramas,
es perceptible, la ec. de F-P logra modelar el comportamiento general de la distribucin
macroscpica del ensamble para tiempos del orden del L considerado. De forma similar, en la
Fig. 5.26-izq. se muestra el histograma (I, 2 106 ), para a = 103 , junto con la solucin
de la ecuacin de F-P, (I, 2), obtenindose un buen acuerdo entre ambas curvas.
En la Fig. 5.26-der. se muestra 2 (L) correspondiente a = 103 , para el rango temporal
0 L 2. Se observa que la evolucin de la varianza no es lineal por lo que la difusin resulta
ser anmala. La varianza tampoco obedece una ley de potencias, pero se puede decir que el
comportamiento es subdifusivo en el intervalo temporal considerado.
126 El enfoque estocstico
4.5
3.5
2.5
1.5
0.5
0
0 0.5 1 1.5 2
I
Figura 5.24: (I, n) para n igual a 3 106 (rojo para F-P, azul para histograma) y 8
106 (verde para F-P, violeta para histograma), que se corresponde con L igual a 0.03 y
0.08, respectivamente. Para los histogramas se utiliz K = 0.9 y = 104 . La lnea negra
superpuesta es el coeciente de difusin utilizado al integrar la Ec. F-P.
0.12 1.6
1.4
0.1
1.2
0.08
1
2
0.06 0.8
0.6
0.04
0.4
0.02
0.2
0 0
0 0.05 0.1 0.15 0.2 0.25 0.3 0 0.5 1 1.5 2 2.5 3
L I
Figura 5.25: A la izquierda se despliega 2 (L), con 0 L 0.3, para = 103 y = 104 , en
colores rojo y verde, respectivamente. A la derecha se despliega, en rojo, el histograma (I, 3
105 ), correspondiente a = 103 , y en verde, el histograma (I, 3 107 ), correspondiente a
= 104 . La curva negra es la corresponde a la solucin de la ecuacin de F-P: (I, 0.3).
5.6. Conclusin
En este captulo se ha estudiado la caracterstica difusiva de una quasiaccin (I) de un
mapa simplctico 4D a priori inestable.
Conclusin 127
0.8 0.25
0.7
0.2
0.6
0.5
0.15
2
0.4
0.1
0.3
0.2
0.05
0.1
0 0
0 0.5 1 1.5 2 2.5 3 0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
I L
En todo momento se trabaj con partculas de prueba caticas, ya que siempre M fue
elegido de forma tal que las condiciones iniciales en el plano [J, ] pertenecieran a la capa
estocstica del SM.
Se utiliz como herramienta, para predecir el coeciente de difusin, un mtodo semi
numrico basado en un teorema para sistemas Hamiltonianos perturbados estocsticamente.
Dicho mtodo permiti predecir aproximadamente el coeciente de difusin en dos valores de
K, que corresponden con las situaciones de capa gruesa y de capa delgada, para un rango
amplio de valores de . Las situaciones de capa gruesa y delgada, poseen una geometra
similar al rgimen de Chirikov y de Nekhoroshev en sistemas Hamiltonianos casiintegrables,
respectivamente.
Aunque para el mapa simplctico no se utiliz una expresin analtica, el coeciente de
difusin seminumrico es una prediccin porque utiliza como datos de entrada slamente al
movimiento no perturbado de la parte integrable (rotador libre) y a la funcin de autocorre-
lacin numrica de la perturbacin (SM).
A su vez, se prob experimentalmente, que la evolucin macroscpica de una dada dis-
tribucin (I, n) satisface aproximadamente la ecuacin de F-P. Se observ que, en el caso
de capa delgada, la evolucin de la varianza es levemente sensible al valor de utilizado.
Esto concuerda con el hecho de que para este caso, el ruido del SM se aleja demasiado de
las condiciones del teorema estocstico, principalmente en lo relativo a la necesidad de que
la funcin de correlacin decaiga a cero con el tiempo; situacin que no sucede debido a la
densidad y al tamao de las islas de estabilidad en la capa estocstica.
Finalmente, en el caso de capa gruesa la difusin se comport aproximadamente normal,
mientras que en el otro se obtuvo un comportamiento subdifusivo. Esto ltimo concuerda con
el comportamiento obtenido para sistemas Hamiltonianos 3DoF, en donde la difusin que tuvo
lugar a lo largo de la resonancia gua, para ensambles pertenecientes a la capa estocstica, en
rgimen de Nekhoroshev, tambin tena caractersticas subdifusivas.
128 El enfoque estocstico
Conclusiones y perspectivas
6
En esta tesis se ha trabajado con el objetivo de responder aquellas preguntas planteadas
en el Prlogo referidas a la descripcin y modelado de la evolucin de quasiensambles de
partculas de prueba en sistemas Hamiltonianos casiintegrables.
Lejos de intentar lograr armaciones universalmente vlidas, se focaliz en dos sistemas
Hamiltonianos particulares. Sin embargo, debido a que los mismos modelan con suciente
generalidad la geometra resonante de sistemas Hamiltonianos con espacio de fases dividido,
resulta plausible que la informacin de los procesos difusivos aqu obtenida sea parcialmente
generalizable.
Una de las particularidades que se presentaron durante el desarrollo de esta tesis, fue el
carcter abstracto de los objetos de estudio, como lo son un sistema de ecuaciones diferencia-
les ordinarias Hamiltonianas o un mapa simplctico. La necesidad de medir cantidades que
dependen de trayectorias que no se pueden conocer, y que justamente por esta razn son
interesantes, sugiri la necesidad de adoptar como nuevo objeto de estudio, a las soluciones
numricas (del sistema Hamiltoniano) asociadas a un dado cdigo integrador (o iterador), a
una dada aritmtica de CPU y a un tipo de hardware. Por lo tanto, utilizando la habitual
suposicin de que las cantidades medidas en estas soluciones numricas representan elmente
a la realidad del sistema Hamiltoniano original, es posible clasicar a la mayora de las tareas
desarrolladas a lo largo de esta tesis, en dos grupos: tareas de prediccin y tareas de medicin.
En cada captulo se brind una discusin de los resultados all obtenidos. Por ello, a
continuacin se resumirn las principales conclusiones de los mismos.
En el captulo 1 se introdujeron algunos conceptos tericos. Fundamentalmente, all se
estableci la situacin geomtrica general en la cual se trabaj posteriormente. Se clasic,
en lneas generales, a los sistemas Hamiltonianos casiintegrables, en dos regmenes. Aquellos
con parmetro perturbativo () sucientemente grande como para que la mayora de las
condiciones iniciales pertenezcan a alguna capa estocstica, que en algunos casos deviene en el
llamado mar catico, se clasicaron como pertencientes al rgimen de Chirikov. Por otro lado,
aquellos con en el complemento del conjunto anterior, se clasicaron como pertenecientes al
rgimen de Nekhoroshev. Posteriormente, se habl acerca de la posibilidad de tener difusin
en ciertas regiones del espacio de acciones, con caractersticas propias del rgimen del sistema.
En particular, se desarrollaron las limitaciones a la difusin y al transporte que existen para
el rgimen de Nekhoroshev, caracterizando la geometra del subconjunto del espacio de fases
habilitado a tal n. Tal subconjunto es la Red de Arnold. Adems, se presentan algunas de
129
130 Conclusiones y perspectivas
Por otro lado, se pretende poner a prueba el mtodo estocstico en otros mapas simplc-
ticos ms generales y en ujos Hamiltonianos casiintegrables.
132 Conclusiones y perspectivas
Bibliografa
Arnold, L.: 1973, Stochastic Differential Equations: theory and applications. John Wiley &
Sons.
Arnold, V. I.: 1964, Instability of dynamical systems with several degrees of freedom. Sov.
Math.-Dokl. 5, 581585.
Barrio, R., W. Borczyk y S. Breiter: 2009, Spurious structures in chaos indicators maps.
Chaos Solitons & Fractals 40, 16971714.
Bartle, R. G.: 1995, The elements of integration and Lebesgue measure. New York: John
Wiley & Sons.
Bauer, M., R. Valiullin, G. Radons y J. Krger: 2011, How to compare diusion processes
assessed by single-particle tracking and pulsed eld gradient nuclear magnetic resonance.
J. Chem. Phys. 135(14), 144118.
Bazzani, A. y H. Mais: 1998, Eect of colores noise on the betatronic motion: a possible
mechanism for slow extraction.. In: A. Bazzani, J. Ellison, H. Mais y G. Turchetti (eds.):
Nonlinear and stochastic beam dynamics in accelerators - A chalenge to theoretical and
computational physics.
133
134 Conclusiones y perspectivas
Birkho, G. D.: 1927, Dynamical Systems. New York: American Mathematical Society.
Bountis, T., H. Isliker, M. Kollmann y M. Vrahatis: 1998, Stability and diusion in 4-D
mapping models of accelerator dynamics . In: A. Bazzani, J. Ellison, H. Mais y G. Turchetti
(eds.): Nonlinear and stochastic beam dynamics in accelerators - A chalenge to theoretical
and computational physics.
Chierchia, L.: 1995, Arnold Instability For Nearly-Integrable Analytic Hamiltonian Systems.
Chierchia, L. y G. Gallavotti: 1994, Drift and diusion in phase space. Annales de lI.H.P.
Physique thorique 60(1), 1144.
Chirikov, B. V., J. Ford y F. Vivaldi: 1980, Some numerical studies or arnold diusion in a
simple model. In: American Institute of Physics Conference Series, Vol. 57. pp. 323340.
Cincotta, P. M.: 2002, Arnold diusion: an overview through dynamical astronomy. New
Astron. Rev. 46, 1339.
Cordeiro, R. R.: 2006, Anomalous Diusion in the Asteroid Belt. AJ 132, 21142126.
135
Darriba, L.: 2008, Tratamiento numrico de ecuaciones diferenciales con aplicaciones a siste-
mas dinmicos. Tesis de grado en astronoma, FCAGLP, UNLP, Argentina.
Denisov, S., J. Klafter y M. Urbakh: 2002, Ballistic ights and random diusion as building
blocks for Hamiltonian kinetics. Phys. Rev. E 66(4), 046217+.
Efthymiopoulos, C.: 2008, On the connection between the Nekhoroshev theorem and Arnold
diusion. Celest. Mech. Dyn. Astron. 102, 4968.
Efthymiopoulos, C.: 2010, Special features of galactic dynamics: Disc dynamics. European
Physical Journal Special Topics 186, 91122.
Einstein, A.: 1956, On the movement of small particles suspended in a stationary liquid de-
manded by the molecular kinetic theory of heat. Traduccin de Annalen der Physik (Leipzig),
Vol. 17 (1905), pp. 549-560, por D. Cowper. , pp. 118. New York: Dover Publications.
Flach, S. y A. Ponno: 2008, The Fermi Pasta Ulam problem: Periodic orbits, normal forms
and resonance overlap criteria. Physica D 237, 908917.
Fox, R. F., I. R. Gatland, R. Roy y G. Vemuri: 1988, Fast, accurate algorithm for numerical
simulation of exponentially correlated colored noise. Phys. Rev. A 38, 59385940.
Froeschl, C., R. Gonczi y E. Lega: 1997a, The fast Lyapunov indicator: a simple tool to
detect weak chaos. Application to the structure of the main asteroidal belt. Planet. Space
Sci. 45, 881886.
Froeschl, C., M. Guzzo y E. Lega: 2000, Graphical Evolution of the Arnold Web: From
Order to Chaos. Science 289, 21082110.
Froeschl, C., M. Guzzo y E. Lega: 2005, Local And Global Diusion Along Resonant Lines
in Discrete Quasi-integrable Dynamical Systems. Celest. Mech. Dyn. Astron. 92, 243255.
136 Conclusiones y perspectivas
Froeschl, C. y E. Lega: 2000, On the Structure of Symplectic Mappings. The Fast Lyapunov
Indicator: a Very Sensitive Tool. Celest. Mech. Dyn. Astron. 78, 167195.
Froeschl, C., E. Lega y R. Gonczi: 1997b, Fast Lyapunov Indicators. Application to Aste-
roidal Motion. Celest. Mech. Dyn. Astron. 67, 4162.
Gillespie, D. T.: 1996a, Exact numerical simulation of the Ornstein-Uhlenbeck process and
its integral. Phys. Rev. E 54, 20842091.
Gillespie, D. T.: 1996b, The mathematics of Brownian motion and Johnson noise.
Am. J. Phys. 64, 225240.
Giorgilli, A.: 1990, New Insights on the Stability problem from recent results in Classical
Perturbation Theory. In: D. Benest y C. Froeschl (eds.): Modern Methods in Celestial
Mechanics, Comptes Rendus de la 13ieme Ecole Printemps dAstrophysique de Goutelas
(France), 24-29 Avril, 1989. Gif-sur-Yvette: Editions Frontieres. p. 249.
Gradshtyn, I. S. y I. M. Ryzhik: 1980, Table of Integrals, Series and Products. New York:
Academic Press.
Greene, J. M.: 1979, A method for determining a stochastic transition. J. Math. Phys. 20,
11831201.
Guzzo, M., E. Lega y C. Froeschl: 2002, On the numerical detection of the eective stability
of chaotic motions in quasi-integrable systems. Physica D 163, 125.
Guzzo, M., E. Lega y C. Froeschl: 2005, First numerical evidence of global Arnold diusion
in quasiintegrable systems. Disc. Cont. Dyn. Syst.B 5, 687698.
Guzzo, M., E. Lega y C. Froeschl: 2009, A Numerical Study of Arnold Diusion in a Priori
Unstable Systems. Communications in Mathematical Physics 290, 557576.
Halmos, P. R.: 1956, Lectures on ergodic theory. New York: Chelsea Publishing Company.
Jorba, . y Z. Maorong: 2005, A software package for the numerical integration of ODE by
means of high-order Taylor methods. Experiment. Math. 14, 99117.
Khasminskii, R. Z.: 1966, A limit theorem for the solutions of dierential dquations with
random right-hand sides. Theory Probab. Appl. 11, 390406.
Klafter, J., M. F. Shlesinger y G. Zumofen: 1996, Beyond Brownian motion. Phys. Today
49, 3339.
137
Klafter, J. y G. Zumofen: 1994, Lvy statistics in a Hamiltonian system. Phys. Rev. E 49,
48734877.
Kominis, Y., A. K. Ram y K. Hizanidis: 2010, Kinetic Theory for Distribution Functions of
Wave-Particle Interactions in Plasmas. Physical Review Letters 104(23), 235001.
Kook, H.-T. y J. D. Meiss: 1990, Diusion in symplectic maps. Phys. Rev. A 41, 41434150.
Lega, E., M. Guzzo y C. Froeschl: 2003, Detection of Arnold diusion in Hamiltonian sys-
tems. Physica D 182, 179187.
Lissauer, J. J.: 1995, Urey prize lecture: On the diversity of plausible planetary systems.
ICARUS 114, 217236.
Lochak, P.: 1999, Arnold diusion; a compendium of remarks and questions. In: C. Sim
(ed.): Hamiltonian systems with three or more degrees of freedom, Vol. 533 of Series C:
Mathematical and Physical Sciences.
Meiss, J. D.: 1992, Symplectic maps, variational principles, and transport. Rev. Mod. Phys.
64, 795848.
Mestre, M., P. M. Cincotta y C. M. Giordano: 2009, Testing the accuracy of the overlap
criterion. Int. J. Nonlinear Mech. 44, 180189.
Mestre, M. F., P. M. Cincotta y C. M. Giordano: 2011, Analytical relation between two chaos
indicators: FLI and MEGNO. MNRAS 414, L100L103.
Metzler, R., A. V. Chechkin y J. Klafter: 2007, Lvy Statistics and Anomalous Transport:
Lvy ights and Subdiusion. ArXiv e-prints.
Morbidelli, A.: 2006, MODERN CELESTIAL MECHANICS - Aspects of Solar System Dy-
namics. Berlin Heidelberg: Taylor & Francis/Cambridge Scientic Publishers.
138 Conclusiones y perspectivas
Novakovi, B., K. Tsiganis y Z. Kneevi: 2010, Chaotic transport and chronology of complex
asteroid families. MNRAS 402, 12631272.
Oseledec, V. I.: 1968, A multiplicative ergodic theorem. Liapunov characteristic numbers for
dynamical systems. Trans. Moscow Math. Soc. 19, 197221.
Poincar, H.: 1892, Les methodes nouvelles de la mecanique celeste. Paris: Gauthier-Villars
et ls.
Robutel, P., F. Gabern y A. Jorba: 2005, The Observed Trojans and the Global Dynamics
Around The Lagrangian Points of the Sun Jupiter System. Celest. Mech. Dyn. Astron. 92,
5369.
Siboni, S., G. Turchetti y S. Vaienti: 1994, Diusion on the torus for Hamiltonian maps.
J. Stat. Phys. 75, 167187.
Skokos, C.: 2001, Alignment indices: a new, simple method for determining the ordered or
chaotic nature of orbits. J. Phys. A-Math. Gen. 34, 1002910043.
Skokos, C.: 2010, The Lyapunov Characteristic Exponents and Their Computation. In: Lect.
Notes Phys., Berlin Springer Verlag, Vol. 790. pp. 63135.
Skokos, C., C. Antonopoulos, T. C. Bountis y M. Vrahatis: 2004, Detecting order and chaos
in Hamiltonian systems by the SALI method. J. Phys. A - Math. Gen. 37, 6269.
139
Todorovi, N., E. Lega y C. Froeschl: 2008, Local and global diusion in the Arnold web of
a priori unstable systems. Celest. Mech. Dyn. Astron. 102, 1327.
Tsiganis, K., Z. Kneevi y H. Varvoglis: 2007, Reconstructing the orbital history of the
Veritas family. ICARUS 186, 484497.
Uhlenbeck, G. E. y L. S. Ornstein: 1930, On the Theory of the Brownian Motion. Phys. Rev.
36, 823841.
ubrovi, M.: 2005, Fractional kinetic model for chaotic transport in nonintegrable Hamil-
tonian systems. Phys. Rev. E 72(2), 025204+.
Valk, S., N. Delsate, A. Lematre y T. Carletti: 2009, Global dynamics of high area-to-mass
ratios GEO space debris by means of the MEGNO indicator. Advances in Space Research
43, 15091526.
Varvoglis, H.: 2005, Chaos, random walks and diffusion in Hamiltonian systems, Chapt. 6.
Advances in astronomy and astrophysics. Cambridge, UK: Cambridge Scientic Publishers.
Wisdom, J.: 1980, The resonance overlap criterion and the onset of stochastic behavior in
the restricted three-body problem. AJ 85, 11221133.
Zaslavsky, G. M.: 2002, Chaos, fractional kinetics, and anomalous transport. Phys. Rep.
371, 461580.