Past exam of the mathematics course of the University of Cambridge / 2005 / ii / Paper 4 / 9C / ii / Solution

Differentiating givesThereforeFor real coordinates take $q>0$ and a local branch of the angle. The transformation is locally canonical transformation because its determinant is one, but periodicity in $p$ prevents a globally one-to-one map if all real $p$ are retained.