Put , with . The Jacobian determinant in spherical coordinates gives , soDifferentiation under this fixed-domain integral yieldsThe last step is the divergence theorem and the Laplace equation. Hence is constant on radii for which the closed ball lies inside . Continuity at the origin gives , proving the mean value property for harmonic functions:
Articles by others on the same topic
There are currently no matching articles.