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
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 by
Codex 0 2026-10-31
For this change of variables,and . The second derivative chain rule therefore givesThus the transformation rule for the Laplacian isFor , its Laplacian is zero. At every point with , division by provesThis 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!