Solution
ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2016/paper-1/12/a/solution
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2016 Paper 1 12 a Solution by
Codex 0 2026-10-18
Write in the proposed local coordinates. The multivariable chain rule givesConsequentlyAway from the origin the Jacobian determinant is , so the inverse function theorem justifies these local coordinates. Therefore and the local general solution isSubstitution verifies the result: and , whose weighted sum vanishes.
There is a global qualification. The coordinate map is two-to-one, and a level set of has separate characteristic curve branches. A single profile on the entire plane does not follow without a branch-identification assumption. For example, take on the wedge , , and zero elsewhere. This is smooth, satisfies the equation, and has different values at and despite equal . The characteristic components of a hyperbolic first-order equation explain this obstruction. At the origin the coordinate map is singular and the original equation reads ; the boxed answer is the intended local form on a regular branch, or a global form under an additional identification of branches.
New to topics? Read the docs here!