Past exam of the classical mechanics course of the University of Oxford / 2023 / 3 / c / i / Solution

A type-two generating function for a canonical transformation uses the mixed variables $(q,P)$ and definesFor a local invertible canonical transformation, require $F_{2,qP}\ne 0$ so that $p=F_{2,q}(q,P)$ can be solved for $P$. The differential identity $d{F}_2=pdq+QdP$ gives $d(F_2-PQ)=pdq-PdQ$, expressing preservation of the canonical symplectic form.