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

Write in the proposed local coordinates. The multivariable chain rule gives
Consequently
Away from the origin the Jacobian determinant is , so the inverse function theorem justifies these local coordinates. Therefore and the local general solution is
Substitution 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!