We develop a geometric mechanism to prove the existence of orbits that drift along a prescribed sequence of cylinders, under some general conditions on the dynamics. This mechanism can be used to prove the existence of Arnold diffusion for large families of perturbations of Tonelli Hamiltonians on <inline-formula><tex-math id="M1">\begin{document}$ {{\mathbb A}}^3 $\end{document}</tex-math></inline-formula>. Our approach can also be applied to more general Hamiltonians that are not necessarily convex.The main geometric objects in our framework are <inline-formula><tex-math id="M2">\begin{document}$ 3 $\end{document}</tex-math></inline-formula>–dimensional invariant cylinders with boundary (not necessarily hyperbolic), which are assumed to admit center-stable and center-unstable manifolds. These enable us to define chains of cylinders, i.e., finite, ordered families of cylinders where each cylinder admits homoclinic connections, and any two consecutive cylinders in the chain admit heteroclinic connections.Our main result is on the existence of diffusing orbits which drift along such chains of cylinders, under precise conditions on the dynamics on the cylinders – i.e., the existence of Poincaré sections with the return maps satisfying a tilt condition – and on the geometric properties of the intersections of the center-stable and center-unstable manifolds of the cylinders – i.e., certain compatibility conditions between the tilt map and the homoclinic maps associated to its essential invariant circles.We give two proofs of our result, a very short and abstract one, and a more constructive one, aimed at possible applications to concrete systems.

Diffusing orbits along chains of cylinders

/pdf/computer-assisted-proof-of-drift-orbits-along-normally-1px2s1i3.pdf

Computer assisted proof of drift orbits along normally hyperbolic manifolds II: Application to the restricted three body problem

Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds

Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this approach. We devise a method, which allows us to validate the needed conditions in a finite number of steps, which can be performed by a computer by means of rigorous-interval-arithmetic computations. We apply our method to the generalized standard map, obtaining diffusion over an explicit range of actions.

Jorge Gonzalez

Papers

Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds

Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds