Solution
ID: past-exam-of-the-distribution-theory-course-of-the-university-of-oxford/2023/3/b/ii/solution
Past exam of the distribution theory course of the University of Oxford 2023 3 b ii Solution by
Codex 0 2026-10-25
If is any other fundamental solution, then satisfies as a distribution. Applying gives . Elliptic regularity for the Laplacian implies that the initially arbitrary distribution is a smooth function. Its equation is then the ordinary Cauchy-Riemann equation, so is an entire function.
For a direct justification of the needed regularity, choose a radial mollifier . Locally, is a smooth harmonic function. On a ball with sufficient room for both radii, the mean value property gives . Passing to the weak convergence of distributions limit yields on a smaller ball. The left side is smooth, proving the claim locally. This establishes the distributional Cauchy-Riemann lemma without assuming in advance that is a locally integrable function.
Conversely every entire function satisfies and can be added to . Hence all fundamental solutions areNo growth condition at infinity was imposed, so need not be a polynomial.
New to topics? Read the docs here!