It is well-known that a harmonic function satisfies the mean value property

for all balls and spheres contained in . (We abuse notation and use to denote both the -dimensional Lebesgue measure and the -dimensional surface measure.) This mean value property actually characterizes harmonic functions. A locally integrable function which satisfies the mean value property is harmonic; this is a form of Weyl’s lemma. Given this result, we could say that the mean value property over balls/spheres completely characterizes harmonic functions.

What if, instead, we know that a connected, open set (a domain) has the property that every function which is harmonic in satisfies the volume mean value property

Is necessarily an open ball of some radius ? After limited results were proved by B. Epstein [2] and M.M. Schiffer [3], \”{U}. Kuran provided a very elegant answer in the affirmative to this question for bounded domains [5]. As shown in [4], the hypothesis that is connected is unnecessary, so we will trivially deviate from Kuran’s original result by dispensing with it.

Theorem 1(Kuran) Let () be a bounded, open set. Suppose there is a point such that for every function harmonic in and integrable over ,

Then is an open ball (disk) centered at .

*Proof:* The idea of the proof is pretty simple. Since has compact closure, there exists a point satisfying the equality

So . If we can show that , then since , it follows that . Assume the contrary: and therefore has positive measure, being open.

Now suppose there is a function which vanishes at in and is harmonic on the domain. Then it follows from the hypotheses and the ordinary mean value property applied to the ball that

From the last expression, we see that a nonnegative function cannot be strictly positive on a subset of of positive measure. This last observation suggests that by a sensible choice for , we can arrive at a contradiction.

The Poisson kernel suggests that we consider the expression

which equals at . Since we can add a constant term without changing harmonicity, we are led to consider the function

Lemma 2The function defined above vanishes at , is harmonic on , is integrable on , and is minorized by on .

*Proof:* Computing partial derivatives (it’s a good exercise in calculus to work it out yourself), we see that

whence

It is evident that on . To see that , observe that near the singularity .

We conclude that

which is a contradiction. This completes the proof.

We conclude by mentioning some related results for the benefit of the interested reader. In a cutely titled paper [1], D. Aharonov, M.M. Schiffer, and L. Zalcman prove a related result for a class of spaces which the authors call *potatoes*. In [6], N. Suzuki and N.A. Watson prove the analogous inverse mean value theorem for solutions of the heat equation. Lastly, we mention that Kuran’s theorem has application to approximation theory. M. Goldstein, W. Haussman, and L. Rogge use Kuran’s theorem to prove existence and uniqueness of the best harmonic approximant in norm to a subharmonic function [4].

- D. Aharonov, M.M. Schiffer, and L. Zalcman, Potato Kugel,
*Israel Jour. of Math.***40**(1981), 331-339. - B. Epstein, On the Mean-Value Property of Harmonic Functions,
*Proc. Amer. Math. Soc.***13**(1962), 830. - B. Epstein and M.M. Schiffer, On the Mean-Value Property of Harmonic Functions,
*J. Analyse Math.***14**(1965), 109-111. - M. Goldstein, W. Haussman, and L. Rogge, On the Mean Value Property of Harmonic Functions and Best Harmonic -Approximation,
*Trans. Amer. Math. Soc.***305**(1988), 505-515. - U. Kuran, On the Mean-Value Property of Harmonic Functions,
*Bull. Lon. Math. Soc.***4**(1972), 311-312. - N. Suzuki and N.A. Watson, A Characterization of Heat Balls by a Mean Value Property for Temperatures,
*Proc. Amer. Math. Soc.***129**(2001), 2709-2713.