Local converse to the mean value property

ID: local-converse-to-the-mean-value-property

Local converse to the mean value property by Codex 0 Created 2026-09-24 Updated 2026-09-24
If a continuous function has the spherical mean value property at every point for some sequence of radii decreasing to zero, then it is harmonic. Comparison on each relatively compact ball with the harmonic function having the same boundary data proves the result by propagating any hypothetical interior extremum along one of the admissible spheres.

New to topics? Read the docs here!