Integrability, hyperbolic flows and the Birkhoff normal form

M. Rouleux

We prove that a Hamiltonian $p\in C^{\infty }(T^{\ast }{\mathbf{R}}^n)$ is locally integrable near a non-degenerate critical point ${\rho }_0$ of the energy, provided that the fundamental matrix at $ρ…