Chapter 1. Introduction 1 Chapter 2. Heuristic discussion of the mechanism 2.1. Integrable systems, resonances, secondary tori 2.2. Heuristic description of the mechanism Chapter 3. A simple model Chapter 4. Statement of rigorous results Chapter 5. Notation and definitions, resonances Chapter 6. Geometric features of the unperturbed problem Chapter 7. Persistence of the normally hyperbolic invariant manifold and its stable and unstable manifolds 7.1. Explicit calculations of the perturbed invariant manifold Chapter 8. The dynamics inΛ ε 37 8.1. A system of coordinates forΛ ε 39 8.2. Calculation of the reduced Hamiltonian 8.3. Isolating the resonances (resonant averaging) 8.3.1. The infinitesimal equations for averaging 8.3.2. The main averaging result, Theorem 8.9 8.3.3. Proof of Theorem 8.9 8.4. The non-resonant region (KAM theorem) 8.4.1. Some results on Diophantine approximation 8.4.2. The KAM Theorem for twist maps 8.5. Analyzing the resonances 8.5.1. Resonances of order 3 and higher 8.5.2. Preliminary analysis of resonances of order one or two 8.5.3. Primary and secondary tori near the first and second order resonances 62 8.5.4. Proof of Theorem 8.30 and Corollary 8.31 8.5.5. Existence of stable and unstable manifolds of periodic orbits Chapter 9. The scattering map 9.1. Some generalities about the scattering map 9.2. The scattering map in our model: definition and computation v vi CONTENTS Chapter 10. Existence of transition chains 97 10.1. Transition chains 99 10.2. The scattering map and the transversality of heteroclinic intersections 99 10.2.1. The non-resonant region and resonances of order 3 and higher 10.2.2. Resonances of first order 10.2.3. Resonances of order 2 10.3. Existence of transition chains to objects of different topological types Chapter 11. Orbits shadowing the transition chains and proof of theorem 4.1 Chapter 12. Conclusions and remarks 12.1. The role of secondary tori and the speed of diffusion 12.2. Comparison with [DLS00] 12.3. Heuristics on the genericity properties of the hypothesis and the phenomena 12.4. The hypothesis of polynomial perturbations 12.5. Involving other objects 12.6. Variational methods 12.7. Diffusion times Chapter 13. An example Acknowledgments Bibliography

Given a normally hyperbolic invariant manifold Λ for a map f , whose stable and unstable invariant manifolds intersect transversally, we consider its associated scattering map. That is, the map that, given an asymptotic orbit in the past, gives the asymptotic orbit in the future. We show that when f and Λ are symplectic (resp. exact symplectic) then, the scattering map is symplectic (resp. exact symplectic). Furthermore, we show that, in the exact symplectic case, there are extremely easy formulas for the primitive function, which have a variational interpretation as difference of actions. We use this geometric information to obtain efficient perturbative calculations of the scattering map using deformation theory. This perturbation theory generalizes and extends several results already obtained using the Melnikov method. Analogous results are true for Hamiltonian flows. The proofs are obtained by geometric natural methods and do not involve the use of particular coordinate systems, hence the results can be used to obtain intersection properties of objects of any type. We also reexamine the calculation of the scattering map in a geodesic flow perturbed by a quasi-periodic potential. We show that the geometric theory reproduces the results obtained in [DLS06b] using methods of fast-slow systems. Moreover, the geometric theory allows to compute perturbatively the dependence on the slow variables, which does not seem to be accessible to the previous methods.

No abstract

No abstract

4.3.3. A system of coordinates on Λ * ε 4.3.4. The Hamiltonian flow in Λ * ε 4.3.5. Averaging theory 4.3.6. K.A.M. theory 4.3.7. Some approximate expressions for the KAM tori 4.4. The perturbed scattering map 4.4.1. Introduction and overview Date: July 14 2004. AMADEU DELSHAMS, RAFAEL DE LA LLAVE, AND TERE M. SEARA 4.4.2. Calculation of the scattering map 4.4.3. Intersection of KAM tori with the image of KAM tori under the scattering map 42 4.4.4. The Melnikov potential 4.5. Existence of transition chains and orbits of unbounded energy 4.5.1. Whiskered tori 4.5.2. Transition paths 4.5.3. Existence of transition paths for systems as in Theorem 3.4 4.5.4. Existence of orbits shadowing transition paths 4.5.5. Proof of Theorem 4.27 Acknowledgements Appendix A. Proof of Theorem 4.8 A.1. Diophantine properties A.2. Spaces of functions A.3. Some canonical transformations A.3.1. Transformations close to identity A.4. Proof of an analytic version of the KAM theorem A.4.1. Estimates for a step of the iterative procedure A.4.2. Repeating the iterative step and convergence A.5. Proof of a differentiable version of the KAM theorem A.5.1. Proof of Theorem A.26 Appendix B. Proof of Theorem 4.1 B.1. System of coordinates B.2. Extensions of the equations B.3. The Poincaré map B.4. Equations for the invariant manifolds B.5. Solution of the fixed point equations B.5.1. The operator T is well defined B.5.2. The range of the operator T B.5.3. Contraction properties of T B.5.4. Sharp regularity B.6. The stable and unstable manifolds ofΛ B.6.1. The stable and unstable bundles ofΛ B.6.2. The stable/unstable manifolds for a point B.7. Uniqueness of the manifoldΛ. Invariance.