A Multidimensional Birkhoff Theorem for Recurrent Lagrangian Submanifolds by a Tonelli Hamiltonian
arXiv:2507.14561
Abstract
Consider a closed manifold and a time-periodic Tonelli Hamiltonian with flow . Let be a Lagrangian submanifold Hamiltonianly isotopic to the zero section. We prove that if admits convergent subsequences in both positive and negative times, in the Hausdorff topology and with control on the Liouville primitives, to two Lagrangian submanifolds, then is a graph over the zero section of . Furthermore, we show that is recurrent in both positive and negative times for the same type of convergence.
37 pages