Skip to main content
2 of 5
inserted a link, and quoted a theorem
agt
  • 4.3k
  • 2
  • 36
  • 51

Dear Steve Huntsman, I would refer you to the version for hamiltonian systems of a result known as Poincarè-Lyapunov theorem that describes the periodic orbits around a known one when a certain condition is satisfied.

Let $(M,\omega)$ be a $2n$-dimensional symplectic manifold, an $H$ a smooth regular function on $M$.

Let $\Lambda$ be a $1$-dimensional compact connected submanifold of $M$ which is invariant under the flow of $X_H$, i.e. $\Lambda$ is the image of a periodic integral curve of $X_H$.

If $1$ is not an eigenvalue for the derivative of the first recurrence map for $X_H$ in a point of $\Lambda$ then there exists a $2$-dimensional symplectic submanifold $N$ of $(M,\omega)$ containing $\Lambda$ such that $H|_N$ is a summersion whose fibers are compact connected and invariant under the flow of $X_H$.

So under the stated non-degeneracy condition a periodic trajectory of $X_H$ is included in a family of periodic orbits forming a symplectic submanifold and parametrized by $H$.

For a reference and a generalization which bridges the Poincarè-Lyapunov theorem to the Liouville-Arnol'd theorem, I would suggest N.N. Nekhoroshev: The Poincare'-Lyapunov-Liouville-Arnold theorem. Funct. Anal. Appl. 28 (1994), no. 2, 128--129

agt
  • 4.3k
  • 2
  • 36
  • 51