Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2003/calculus-probability-linear-algebra-discrete-mathematics-logic-and-proof-and-models-of-computation/2/a/ii/solution

For this change of variables,
and . The second derivative chain rule therefore gives
Thus the transformation rule for the Laplacian is
For , its Laplacian is zero. At every point with , division by proves
This conclusion applies to each local inverse branch of the change of variables: its Jacobian determinant is , so such a branch exists away from the origin by the inverse function theorem. A single globally defined cannot represent on the entire plane, since and give the same but generally opposite values of . Nor can a differentiable represent this in a neighborhood of the origin: the multivariable chain rule there would give , contradicting . The requested harmonic function conclusion is therefore a local statement on nonsingular branches.[ref]

New to topics? Read the docs here!