MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 added 9 characters in body

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 joins together the Poincarè-Lyapunov theorem to with 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

2 inserted a link, and quoted a theorem

Dear Steve Huntsman, I would refer you to the version for hamiltonian systems of a result known as Poincarè-Lyapounov 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)$ (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 1 Dear Steve Huntsman, I would refer you to the version for hamiltonian systems of a result known as Poincarè-Lyapounov 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