09.05.2013 Views

Transversalidad de órbitas homoclīınicas de puntos de equilibrio ...

Transversalidad de órbitas homoclīınicas de puntos de equilibrio ...

Transversalidad de órbitas homoclīınicas de puntos de equilibrio ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Transversalidad</strong> <strong>de</strong> <strong>órbitas</strong> homoclínicas<br />

<strong>de</strong> <strong>puntos</strong> <strong>de</strong> <strong>equilibrio</strong> hiperbólicos <strong>de</strong> un hamiltoniano<br />

Pere Gutiérrez ∗ , Ama<strong>de</strong>u Delshams<br />

Departament <strong>de</strong> Matemàtica Aplicada I<br />

Universitat Politècnica <strong>de</strong> Catalunya, Av. Diagonal 647, 08028 Barcelona<br />

email: pere.gutierrez@upc.edu - URL: http://www.ma1.upc.edu/~pereg/<br />

RESUMEN<br />

Se consi<strong>de</strong>ra un hamiltoniano H <strong>de</strong> n ≥ 2 grados <strong>de</strong> libertad (g.d.l.), con un punto hiperbólico<br />

cuyas varieda<strong>de</strong>s invariantes estable e inestable W± se intersecan en una órbita γ, <strong>de</strong>nominada<br />

órbita homoclínica o lazo. Para dicho mo<strong>de</strong>lo, se establece una condición que permite, mediante<br />

cálculos simples, garantizar la transversalidad <strong>de</strong> W+ y W− a lo largo <strong>de</strong>l lazo γ.<br />

La motivación <strong>de</strong>l mo<strong>de</strong>lo consi<strong>de</strong>rado resi<strong>de</strong> en su relación con las formas normales resonantes.<br />

Dado un hamiltoniano casi integrable H con N > 2 g.d.l., en variables acción–ángulo, el<br />

mecanismo <strong>de</strong>scrito en [1] para <strong>de</strong>tectar inestabilidad (difusión <strong>de</strong> Arnol ′ d) se basa en las<br />

varieda<strong>de</strong>s invariantes <strong>de</strong> toros hiperbólicos asociados a resonancias simples. Sin embargo, entre<br />

éstas se encuentran zonas <strong>de</strong> resonancias dobles, que también se <strong>de</strong>berían tener en cuenta. Para<br />

estudiar H cerca <strong>de</strong> una resonancia <strong>de</strong> multiplicidad n, con 2 ≤ n < N, se efectúan iteraciones<br />

para minimizar la parte no resonante <strong>de</strong>l <strong>de</strong>sarrollo <strong>de</strong> Fourier en las variables angulares,<br />

obteniendo una forma normal más un resto pequeño: H = Γ + R. La forma normal Γ es una<br />

aproximación <strong>de</strong> H, y consiste en el producto <strong>de</strong> una forma normal reducida con n g.d.l. y N −n<br />

rotores. Los toros (N − n)-dimensionales hiperbólicos <strong>de</strong> Γ se asocian a <strong>puntos</strong> hiperbólicos <strong>de</strong><br />

la forma normal reducida, y análogamente sus varieda<strong>de</strong>s invariantes.<br />

El hamiltoniano H consi<strong>de</strong>rado es un caso particular <strong>de</strong> forma normal reducida, y como vemos<br />

es importante conocer sus propieda<strong>de</strong>s. La dificultad para n ≥ 2, es <strong>de</strong>cir resonancias múltiples,<br />

es que en general será un hamiltoniano no integrable. En este contexto, se prueba en [2] que, si<br />

las varieda<strong>de</strong>s invariantes W± <strong>de</strong>l punto hiperbólico se intersecan transversalmente, lo mismo<br />

suce<strong>de</strong> entre las varieda<strong>de</strong>s <strong>de</strong> los toros en H (un caso análogo para n = 1 fue estudiado en [3]).<br />

En esta comunicación se proporciona una condición necesaria y suficiente para dicha transversalidad.<br />

Para ello se consi<strong>de</strong>ra el <strong>de</strong>sarrollo <strong>de</strong> Taylor <strong>de</strong> H respecto a n − 1 variables,<br />

transversales al lazo γ. Resolviendo una ecuación diferencial (cuya variable in<strong>de</strong>pendiente es el<br />

parámetro <strong>de</strong>l lazo) se obtiene el <strong>de</strong>sarrollo, en las mismas variables transversales, <strong>de</strong> las varieda<strong>de</strong>s<br />

invariantes W+ y W− (más concretamente, <strong>de</strong> sus funciones generatrices). Finalmente, a<br />

partir <strong>de</strong> la diferencia entre ambos <strong>de</strong>sarrollos se <strong>de</strong>fine un <strong>de</strong>terminante, el cual si no se anula<br />

permite establecer la transversalidad entre W+ y W−.<br />

Referencias<br />

[1] V.I. Arnol ′ d, Instability of dynamical systems with several <strong>de</strong>grees of freedom, Soviet Math.<br />

Dokl. 5, 581–585 (1964).<br />

[2] P. Lochak, J.-P. Marco y D. Sauzin, On the splitting of invariant manifolds in multidimensional<br />

near-integrable Hamiltonian systems, Mem. Amer. Math. Soc. 163(775) (2003).<br />

[3] O. Koltsova, L.M. Lerman, A. Delshams y P. Gutiérrez, Homoclinic orbits to invariant tori<br />

near a homoclinic orbit to center–center–saddle equilibrium, Phys. D 201, 268–290 (2005).


<strong>Transversalidad</strong> <strong>de</strong> <strong>órbitas</strong> homoclínicas<br />

<strong>de</strong> <strong>puntos</strong> <strong>de</strong> <strong>equilibrio</strong> hiperbólicos <strong>de</strong> un hamiltoniano<br />

Pere Gutiérrez, Ama<strong>de</strong>u Delshams<br />

Departament <strong>de</strong> Matemàtica Aplicada I<br />

Universitat Politècnica <strong>de</strong> Catalunya<br />

Junio 2008


* Consi<strong>de</strong>ramos un hamiltoniano H(q, p), <strong>de</strong> n ≥ 2 grados <strong>de</strong> libertad<br />

(g.d.l.), con un punto <strong>de</strong> <strong>equilibrio</strong> hiperbólico O.<br />

Formularemos hipótesis simples sobre H que nos garanticen que el<br />

punto hiperbólico tiene una órbita homoclínica (o lazo), γ, que supondremos<br />

conocida.<br />

* Objetivo: Dar una condición<br />

para establecer la transversalidad<br />

(en el nivel <strong>de</strong> energía) <strong>de</strong> las<br />

varieda<strong>de</strong>s estable e inestable<br />

(n-dim.), W+ y W−, a lo largo<br />

<strong>de</strong> la órbita homoclínica γ.<br />

2


Motivación: Formas normales resonantes<br />

* Hamiltoniano casi integrable <strong>de</strong> N > 2 g.d.l., en variables acción–<br />

ángulo:<br />

H(ϕ, I) = h(I) + εf(ϕ, I), (ϕ, I) ∈ N × N , = /2π.<br />

* Si ε = 0, tenemos estabilidad: ˙<br />

I = 0 y cada I = I ∗ es un toro<br />

invariante N-dim., con frecuencias internas ˙ϕ = ω(I ∗ ) = ∇h(I ∗ )<br />

Si ε = 0 pequeño, tenemos ˙<br />

I = O(µ) = 0 y en general se tiene<br />

inestabilidad, aunque muy lenta (difusión <strong>de</strong> Arnold).<br />

* En [Arnold 1964] se <strong>de</strong>scribe un mecanismo para <strong>de</strong>tectar la difusión,<br />

basado en las varieda<strong>de</strong>s invariantes <strong>de</strong> toros invariantes hiperbólicos<br />

(N − 1)-dim., cercanos a resonancias simples.<br />

Sin embargo, a lo largo <strong>de</strong> las resonancias simples se encuentran zonas<br />

<strong>de</strong> resonancias dobles, que también <strong>de</strong>ben ser estudiadas.<br />

3


Motivación: Formas normales resonantes<br />

* Para estudiar H cerca <strong>de</strong> una resonancia <strong>de</strong> multiplicidad n, siendo<br />

2 ≤ n < N, po<strong>de</strong>mos construir una forma normal resonante: iterativamente,<br />

efectuamos transformaciones simplécticas para minimizar<br />

la parte no resonante <strong>de</strong>l <strong>de</strong>sarrollo <strong>de</strong> Fourier <strong>de</strong> H en las variables<br />

angulares.<br />

En las nuevas variables (ψ, J), obtenemos una forma normal (f.n.) más<br />

un resto pequeño: H = Γ + R, don<strong>de</strong> Γ sólo <strong>de</strong>pen<strong>de</strong> <strong>de</strong> algunas<br />

combinaciones <strong>de</strong> ángulos; mediante un cambio lineal po<strong>de</strong>mos suponer<br />

que sólo <strong>de</strong>pen<strong>de</strong> <strong>de</strong> (ψ1, . . . , ψn) = q.<br />

Escribiendo ψ = (q, ¯ ψ) ∈ n × N−n , J = (p, ¯ J) ∈ n × N−n ,<br />

Γ = Γ(q, p, ¯ J), R = R(q, ¯ ψ, p, ¯ J).<br />

Si <strong>de</strong>spreciamos R tenemos Γ como aproximación <strong>de</strong> H.<br />

4


Motivación: Formas normales resonantes<br />

* Para la f.n. Γ(q, p, ¯ J), tenemos ˙¯ J = 0. Entonces, tomando ¯ J como<br />

parámetro po<strong>de</strong>mos consi<strong>de</strong>rar f.n. reducida <strong>de</strong> n g.d.l.,<br />

Γ 0 ¯ J (q, p) = Γ(q, p, ¯ J),<br />

y el comportamiento en ( ¯ ψ, ¯ J) se reduce a N − n rotores:<br />

˙¯ψ = ∂Γ<br />

∂ ¯ J , J ˙¯ = 0.<br />

Bajo ciertas condiciones, la f.n. reducida Γ0 J¯ tiene <strong>puntos</strong> hiperbólicos,<br />

que se asocian a toros inv. hiperbólicos (N − n)-dim. <strong>de</strong> Γ, y análogamente<br />

sus varieda<strong>de</strong>s invariantes (n-dim. y N-dim. respectivamente).<br />

5


Motivación: Formas normales resonantes<br />

* Dificultad en el estudio <strong>de</strong> la f.n. reducida Γ 0 ¯ J : para n ≥ 2 (resonancias<br />

múltiples), en general será un hamiltoniano no integrable.<br />

[Lochak – Marco – Sauzin 2003]: se prueba que, si las varieda<strong>de</strong>s<br />

invariantes W± <strong>de</strong>l punto hiperbólico se intersecan transversalmente,<br />

lo mismo suce<strong>de</strong> entre las varieda<strong>de</strong>s <strong>de</strong> los toros en H.<br />

(en [Koltsova – Lerman – Delshams – Gutiérrez 2005] se estudia un<br />

caso análogo para n = 1).<br />

* Nos proponemos estudiar un mo<strong>de</strong>lo particular <strong>de</strong> f.n. reducida Γ 0 ¯ J con<br />

n ≥ 2 g.d.l., estableciendo condiciones que garanticen la transversalidad<br />

<strong>de</strong> las varieda<strong>de</strong>s invariantes <strong>de</strong> un punto hiperbólico.<br />

6


* Mo<strong>de</strong>lo: Sistema hamiltoniano clásico<br />

H(q, p) = 1 2 p2 + V (q), (q, p) ∈ n × n ,<br />

siendo V (q) potencial sobre n (una función periódica).<br />

Las ecuaciones hamiltonianas:<br />

˙q = p, ˙p = −∇V (q).<br />

Formulamos unas hipótesis que nos proporcionen una órbita homoclínica<br />

(o.h.), γ, asintótica a un punto hiperbólico O. En un caso <strong>de</strong><br />

potencial perturbativo V (q), establecemos una condición necesaria y suficiente<br />

que permite, mediante cálculos simples, garantizar la transversalidad<br />

<strong>de</strong> las varieda<strong>de</strong>s invariantes W± a lo largo <strong>de</strong> γ.<br />

Nota: se generaliza fácilmente a <strong>órbitas</strong> heteroclínicas para un potencial<br />

en U ⊂ n (en lugar <strong>de</strong> n ).<br />

7


* Hipótesis sobre el potencial V (q):<br />

(P1) V (q1, ¯q) tiene un máximo no <strong>de</strong>generado en el (0, 0) ;<br />

(P2) ∂V<br />

∂ ¯q (q1, 0) = 0 ∀q1 ∈ ;<br />

(P3) V (0, 0) = 0 y V (q1, 0) < 0 ∀q1 ∈ \ {0}<br />

(notación: q = (q1, ¯q) = (q1, . . . , qn)). Entonces,<br />

* (0, 0) es punto <strong>de</strong> <strong>equilibrio</strong> hiperbólico ;<br />

* Π = {¯q = ¯p = 0} es plano invariante, <strong>de</strong> coor<strong>de</strong>nadas (q1, p1) ;<br />

* existen dos <strong>órbitas</strong> homoclínicas γ y ˜γ, asintóticas al (0, 0) y<br />

contenidas en Π .<br />

8


* Nos fijamos en una <strong>de</strong> las o.h.’s (la otra es simétrica), que po<strong>de</strong>mos<br />

parametrizar mediante su función generatriz S0(q1):<br />

γ (¯q, p1, ¯p) = (0, <br />

−2V (q1, 0), 0) = (0, S ′ 0(q1), 0), 0 < q1 < 2π.<br />

* Usando que las v.inv. W± son varieda<strong>de</strong>s lagrangianas se prueba que,<br />

en un entorno <strong>de</strong> la o.h. γ, admiten funciones generatrices S±(q1, ¯q).<br />

Así pues, en un entorno <strong>de</strong> γ po<strong>de</strong>mos parametrizar<br />

W± (p1, ¯p) = ∇S±(q1, ¯q), a < q1 < 2π − a, |¯q| < δ<br />

(nos restringimos a un dominio en el que ambas estén <strong>de</strong>finidas), y se<br />

comprueba que S+(q1, 0) = S−(q1, 0) = S0(q1).<br />

9


W± (p1, ¯p) = ∇S±(q1, ¯q), a < q1 < 2π − a, |¯q| < δ<br />

* A partir <strong>de</strong> las f.generatrices, <strong>de</strong>finimos las funciones matriciales<br />

T±(q1) = ∂2 S±<br />

∂ ¯q 2 (q1, 0), ∆T (q1) = T−(q1) − T+(q1)<br />

Entonces, para que las v.inv. W+ y W− sean transversales a lo largo<br />

<strong>de</strong> la o.h. γ, es necesario y suficiente que<br />

<strong>de</strong>t ∆T (π) = 0.<br />

Cómo verificar esta condición en casos concretos?<br />

10


W± (p1, ¯p) = ∇S±(q1, ¯q), a < q1 < 2π − a, |¯q| < δ<br />

S0(q1) = S±(q1, 0), T±(q1) = ∂2 S±<br />

∂ ¯q 2 (q1, 0),<br />

* Proposición. Las funciones matriciales T±(q1) vienen <strong>de</strong>terminadas<br />

como soluciones <strong>de</strong> las EDOs no lineales<br />

con condiciones iniciales<br />

S ′ 0(q1)T ′ ±(q1) + T±(q1) 2 = −Y (q1),<br />

T−(0) = Λ, T+(2π) = −Λ,<br />

siendo Y (q1) = ∂2 V<br />

∂ ¯q 2 (q1, 0), Λ 2 = − ∂2 V<br />

∂ ¯q 2 (0, 0).<br />

11


<strong>Transversalidad</strong> para un potencial perturbado<br />

* Introducimos un parámetro <strong>de</strong> perturbación en el potencial y las f.generatrices:<br />

V (·, ε), S±(·, ε), y suponemos que para ε = 0 no se tiene<br />

transversalidad. Para las partes cuadráticas, po<strong>de</strong>mos escribir:<br />

Y (q1, ε) = Y0(q1) + εY1(q1) + · · · ,<br />

T±(q1, ε) = T0(q1) + εT1,±(q1) + · · · ,<br />

∆T (q1, ε) = ε∆T1(q1) + · · · ,<br />

Λ(ε) = Λ0 + εΛ1 + · · ·<br />

Sustituyendo estos <strong>de</strong>sarrollos en las EDOS no lineales anteriores, se<br />

obtienen EDOs lineales (con coef.variables) para las funciones matriciales<br />

T1,±(q1), que son (n − 1) × (n − 1).<br />

En el caso <strong>de</strong> 2 g.d.l. (n = 2), resolviendo explícitamente las EDOs<br />

se obtiene ε∆T1(π) como una medida, en primera aproximación, <strong>de</strong> la<br />

transversalidad entre las varieda<strong>de</strong>s W+ y W− en q1 = π.<br />

12


* Ejemplo. Con n = 2, consi<strong>de</strong>ramos:<br />

Tenemos:<br />

V (q1, q2, ε) = (cos q1 − 1) + 1 2 (− cos q1 + εY1(q1))q 2 2 .<br />

V (q1, 0, 0) = cos q1 − 1(sobre el plano Π, es un péndulo),<br />

Y0(q1) = − cos q1,<br />

S0(q1) = 8 sin 2 q1<br />

4 ,<br />

T0(q1) = cos q1<br />

2 (no hay transversalidad si ε = 0),<br />

Λ = −1.<br />

Resolviendo la EDO, se obtiene<br />

∆T1(π) = 1<br />

4<br />

siendo y1(t) = Y1(4 arctan et ).<br />

2π<br />

0 sin<br />

2 q1<br />

2 · Y (q1)dq1 = ∞<br />

−∞<br />

y1(t)<br />

cosh 2 t dt,<br />

13

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!