For the spherical average , rescaling the sphere and applying the divergence theorem givesBy continuity, as . Integrating these spherical averages in radius proves the mean value property for harmonic functions:For the strong maximum principle for harmonic functions, suppose an interior point attains the maximum on a connected domain. The continuous nonnegative function has zero average on each sufficiently small ball around that point, so it vanishes there. The maximum set is therefore open as well as closed, and connectedness makes it the entire domain. Apply the same argument to for a minimum.
Articles by others on the same topic
There are currently no matching articles.