[Math] how to prove mean value property for harmonic functions

partial differential equations

For a harmonic function $u(x)$, on domain $\Omega$ where $x \in \Omega \subset \Bbb R^n $, how to show that
$$ u(x) = \frac{1}{\omega_n R^{n-1}}\int_{\partial B_R(x)} u(\sigma) d\sigma$$
where $\omega_n$ is the area of the unit sphere $\partial B_1(x)$.
I am looking for simple case $n=2$ centered at $0$. An argument in my note uses the definition
$\displaystyle g(r) \overset{(def)}{=} \frac{1}{2\pi r }\int_{\partial B_r(0)} u(\sigma) d\sigma$ and shows that $g'(r) = 0$. I don't see how does it prove above? I think it proves $g(r) = \text{constant}$.

Best Answer

Hint: consider $\displaystyle\lim_{r\to 0}g(r)$.

Related Question