Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 140 / 4 / c / Solution

Write the exact differential form as $\beta =dh$ and take the cotangent fiber translation family ${\rho }_t(x,\xi )=(x,\xi +td{h}_x)$. Its generating vector field is vertical and in local coordinates isWith $\omega ={\sum }_{j}d{x}_j\wedge d{\xi }_j$ and the Hamiltonian vector field convention from Question 3,Thus ${\rho }_t$ is a Hamiltonian isotopy and $f={\rho }_1$ is a Hamiltonian diffeomorphism. The local flow is explicitly defined for every real $t$, regardless of compactness. With the alternative convention ${\iota }_{X_H}\omega =-dH$, the same family is generated by $H=h\circ \pi$.

The definition in the question does not require compact support for the Hamiltonian function; the displayed Hamiltonian diffeomorphism uses that definition.