Relativistic pendulum and invariant curves

We apply KAM theory to the equation of the forced relativistic pendulum to prove that all the solutions have bounded momentum. Subsequently, we detect the existence of quasiperiodic solutions in a generalized sense. This is achieved using a modified version of the Aubry-Mather theory for compositions of twist maps.