For a function, let be its spherical mean. Differentiation and the divergence theorem give
If is harmonic, this derivative is zero; since by continuity, every spherical mean equals the value at the centre. Integrating over gives the same statement for the volume mean on a ball. This proves the mean value property for harmonic functions.
If is subharmonic, , so . Thus
These are the corresponding mean value inequalities. A subharmonic function has the maximum principle on a ball: apply the second-derivative test to , whose Laplacian is strictly positive and hence cannot have an interior maximum, then let .
For , the given equation says . Since is real,
The subharmonic maximum principle gives throughout the ball. Taking square roots yields
No sign condition on the real potential is needed.

Articles by others on the same topic (0)

There are currently no matching articles.