Three results on the regularity of the curves that are invariant by an exact symplectic twist map (Q1026656)

A theorem by G. D. Birkhoff states that every essential curve which is invariant under a symplectic map of the annulus is the graph of a Lipschitz map. It is shown that if the graph of a Lipschitz map \(h: T \to\mathbb R\) is invariant under a symplectic twist map, then h is a little bit more regular than simply Lipschitz, there exists a Lipschitz map \(h: T \to \mathbb R\) whose graph is invariant under no symplectic twist map. Assuming that the dynamics of a twist map restricted to a Lipschitz graph is a bi-Lipschitz conjugate to a rotation, it is shown that the graph is even \(C^1\). Finally the case of \(C^0\) integrable symplectic twist maps is considered and it is proved that there exists a dense \(G_\delta\) subset of the set of its invariant curves such that every curve of this \(G_\delta\) subset is \(C^1\).