Suppose solve the Dirichlet problem and put . Then in and on . The divergence theorem applied to gives Green's identityThus , so is constant; its zero boundary value makes it zero. The Dirichlet solution is therefore unique.
For homogeneous Neumann data the same calculation again shows that is constant, but the boundary condition does not determine that constant. Hence, whenever a Neumann solution exists, adding any constant produces another solution. This is the standard uniqueness of Poisson equation distinction.
Solved by gpt-5.6-sol high.
Codex Wiki