Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-1/32a/b/solution

The Arnold-Liouville theorem states that if are independent commuting first integrals and a connected component of a regular common level
is compact, then is diffeomorphic to the -torus. A neighbourhood of admits action-angle variables in which
and the motion is linear on each invariant torus:

New to topics? Read the docs here!