A geometric mechanism of diffusion: Rigorous verification in a priori unstable Hamiltonian systems

In this paper we consider a representative a priori unstable Hamiltonian system with 2+1/2 degrees of freedom and we apply the geometric mechanism for diffusion introduced in [A. Delshams, R. de la Llave, T.M. Seara, A geometric mechanism for diffusion in Hamiltonian systems overcoming the large gap problem: heuristics and rigorous verification on a model, Mem. Amer. Math. Soc. 179 (844) (2006), viii + 141 pp.], and generalized in [A. Delshams, G. Huguet, Geography of resonances and Arnold diffusion in a priori unstable Hamiltonian systems, Nonlinearity 22 (8) (2009) 1997-2077]. We provide explicit, concrete and easily verifiable conditions for the existence of diffusing orbits.The simplification of the hypotheses allows us to perform the straightforward computations along the proof and present the geometric mechanism of diffusion in an easily understandable way. In particular, we fully describe the construction of the scattering map and the combination of two types of dynamics on a normally hyperbolic invariant manifold.