Title:Liouville-Arnold theorem for contact Hamiltonian systems

Abstract:Integrability of Hamiltonian systems is often identified with complete integrability, or Liouville integrability, that is, the existence of as many independent integrals of motion in involution as the dimension of the phase space. Under certain regularity conditions, Liouville--Arnold theorem states that the invariant geometric structure associated with Liouville integrability is a fibration by Lagrangian tori, on which motions are linear. In this paper, a Liouville-Arnold theorem for contact Hamiltonian systems is proven. In particular, it is shown that by using a symplectization of a $(2n+1)$-dimensional contact manifold one can define a compact set diffeomorphic to an $n$-dimensional torus times the real line and induce action-angle variables which specify the natural canonical coordinates for the partially invariant tori of the system.