Supongamos que tenemos un sistema hamiltoniano en el que la energía se conserva. (Concretamente estoy viendo un péndulo doble simple). Entonces podemos considerar la superficie de energía $M_e=\{(q,p)\in T^*M\mid H(q,p)=E\}$ . Para un sistema con $n$ grados de libertad se trata de un $(2n-1)$ -de la hipersuperficie del haz cotangente.
En todos los lugares donde leo sobre esta superficie se supone que es compacta. Sin embargo, no me parece obvio por qué debería serlo. ¿Es siempre compacta, concretamente en el caso del péndulo doble en un campo gravitatorio?
Edición: También me interesaría mucho saber si esto tiene algo que ver con el teorema de recurrencia de Poincare y, de nuevo, si se aplica específicamente al péndulo doble.