Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-140/4/c/solution

Write the exact differential form as and take the cotangent fiber translation family . Its generating vector field is vertical and in local coordinates is
With and the Hamiltonian vector field convention from Question 3,
Thus is a Hamiltonian isotopy and is a Hamiltonian diffeomorphism. The local flow is explicitly defined for every real , regardless of compactness. With the alternative convention , the same family is generated by .
The definition in the question does not require compact support for the Hamiltonian function; the displayed Hamiltonian diffeomorphism uses that definition.

New to topics? Read the docs here!