Since and , the divergence theorem givesSpherical symmetry gives . Regularity at zero and decay at infinity yieldFor , the exterior solution cannot tend to zero: it is logarithmic at and grows below it.
On the exterior domain, the energy-minimizing solution with boundary value one is . Applying the Dirichlet principle to any admissible gives
Solved by gpt-5.6-sol high.
Codex Wiki