Querido Steve Cazador, me remito a la versión para sistemas hamiltonianos de un resultado conocido como Poincarè-teorema de Lyapunov que describe el periódico órbitas alrededor de un conocido que cuando una determinada condición se cumple.
Deje $(M,\omega)$ $2n$- dimensiones simpléctica colector, una $H$ un suave regular de la función en $M$.
Deje $\Lambda$ $1$- dimensional compacta conectada submanifold de $M$ que es invariante bajo el flujo de $X_H$, es decir, $\Lambda$ es la imagen de un periódico de la integral de la curva de $X_H$.
Si $1$ no es un autovalor de la derivada de la primera recurrencia mapa para $X_H$ en un punto de $\Lambda$ entonces existe un $2$-dimensiones simpléctica submanifold $N$ $(M,\omega)$ contiene $\Lambda$ tal que $H|_N$ es un summersion cuyas fibras son compactos conectado y invariantes bajo el flujo de $X_H$.
Así que bajo la declaró no-degeneración condición de un periódico de la trayectoria de $X_H$ está incluido en una familia de órbitas periódicas formando un simpléctica submanifold y parametrizadas por $H$.
Para una referencia y una generalización que une las Poincarè-Lyapunov con el teorema de Liouville-Arnol d teorema, yo sugeriría N. N. Nekhoroshev: La de Poincaré'-Lyapunov-Liouville-Arnold teorema. Func.. Anal. Appl. 28 (1994), no. 2, 128 129--