A higher dimensional Poincaré-Birkhoff theorem for Hamiltonian flows

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.