Global diffusion on a tight three-sphere

DOI10.1007/S12346-015-0142-3MaRDI QIDQ904873zbMATH OpenOpenAlexFDO

Publication date 14 January 2016

Published in Qualitative Theory of Dynamical Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1307.1106

Arnold diffusion Aubry-Mather set contact geometry global surface of section Hamiltonian dynamics tight three-sphere

Approximate trajectories (pseudotrajectories, shadowing, etc.) in smooth dynamics (37C50) Stability problems for finite-dimensional Hamiltonian and Lagrangian systems (37J25) Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion (37J40) Contact systems (37J55) Contact manifolds (general theory) (53D10)

Abstract: We consider an integrable Hamiltonian system weakly coupled with a pendulum-type system. For each energy level within some range, the uncoupled system is assumed to possess a normally hyperbolic invariant manifold diffeomorphic to a three-sphere, which bounds a strictly convex domain, and whose stable and unstable invariant manifolds coincide. The Hamiltonian flow on the three-sphere is equivalent to the Reeb flow for the induced contact form. The strict convexity condition implies that the contact structure on the three-sphere is tight. When a small, generic coupling is added to the system, the normally hyperbolic invariant manifold is preserved as a three-sphere, and the stable and unstable manifolds split, yielding transverse intersections. We show that there exist trajectories that follow any prescribed collection of invariant tori and Aubry-Mather sets within some global section of the flow restricted to the three-sphere. In this sense, we say that the perturbed system exhibits global diffusion on the tight three-sphere.

Review text

A global diffusion of a system in \(\mathbb R^4(p_1,p_2,q_1,q_2)\times \mathbb R^2(p_3,q_3)\) with a Hamiltonian of the form \[ H_\epsilon(p,q)=H_{00}(p_1,p_2,q_1,q_2)+H_{01}(p_3,q_3)+\epsilon H_1(p,q) \] is studied. Here \(H_{00}\) is a Hamiltonian of a completely integrable system in \(\mathbb R^4\) with \(\mathbf 0_4\) being a nondegenerate minimum of \(H_{00}\) (i.e., \(H_{00}(\mathbf 0_{4})=0\)) and \(H_1(p_3,q_3)\) defines a pendulum-type system in \(\mathbb R^2\) (i.e., \(\mathbf 0_2\) is a nondegenerate saddle point of \(H_1\), \(H_1(\mathbf 0_2)=0\), and the stable and unstable manifolds coincide). Under some additional assumptions, the isoenergetic level sets \(\Lambda_{0,c}=H_{00}^{-1}(c)\subset \mathbb R^4\), for small \(c\), are contact 3-spheres that are star-shaped relative to the origin. Thus, the Hamiltonian flow on \(\Lambda_{0,c}\) is equivalent to the Reeb flow on a tight three-sphere and there exists a disk-like global surface of section \(D_{0,c}\) for the Hamiltonian flow restricted to \(\Lambda_{0,c}\) (the boundary of \(D_{0,c}\) is a periodic orbit and all other trajectories intersect it forward and backward in time). It is clear that \(\Lambda_{0,c}\) can be considered as an invariant manifold of the non-perturbed Hamiltonian flow in \(\mathbb R^6\) and the stable and unstable invariant manifolds of each of the three-spheres coincide. It is proved that for a small perturbation \(\epsilon H_1\) there exists a hyperbolic invariant 3-sphere \(\Lambda_{\epsilon,c}\subset H^{-1}_\epsilon(c)\) and the stable and unstable invariant manifolds of \(\Lambda_{\epsilon,c}\) intersect transversally along homoclinic manifolds. Further, there exists a family of disk-like global surfaces of sections \(D_{\epsilon,c}\) for the Hamiltonian flow of \(H_\epsilon\) restricted to \(\Lambda_{\epsilon,c}\), which depends smoothly on \(c\) and \(\epsilon\). The return map of \(D_{\epsilon,c}\) is a twist map and is conjugate to an area-preserving map. The main result describes the existence of global diffusion relative to \(\Lambda_{\epsilon,c}\) in the following sense. Take a global section \(D_{\epsilon,c}\) and inside it choose a collection of invariant subsets \(\{R_1,R_2,\dots ,R_n\}\) so that each \(R_i\) is either a KAM invariant circle or an Aubry-Mather set. Under certain additional assumptions, given a positive real \(\delta > 0\), there exists a trajectory \(x(t)\) of the Hamiltonian flow and a sequence of times \(t_1 < t_2 < \dots < t_n\) such that the distance of \(x(t_i)\) to \(R_i\) is less then \(\delta\), for \(i=1,\dots,n\).

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Global diffusion on a tight three-sphere

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q904873)