ANNALES DE L INSTITUT HENRI POINCARÉ. ANALYSE NON LINÉAIRE
Abstract
We propose an extension to higher dimensions of the Poincaré–Birkhoff Theorem which applies to Poincaré time-maps of Hamiltonian systems. Examples of applications to pendulum-type systems and weakly-coupled superlinear systems are also given.