Local converse to the mean value property
ID: local-converse-to-the-mean-value-property
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!