Proving the maximum principle for harmonic functions

2.7k Views Asked by At

I am in the middle of the proof of the maximum principle for harmonic functions.

Given a harmonic function $u$ on the complex plane and $M_0\in \mathbb{C}$. Take $r>0$ and suppose there is an open arc $\ell$ contained in the circle $\{M_0+re^{it}\colon t\in [0,2\pi)\}$ such that $$u(M)<u(M_0)\mbox{ for each }M\in \ell.$$ Does it follow from this that $$u(M_0)\neq \frac{1}{2\pi}\int_0^{2\pi}u(M_0+re^{it})dt?$$

2

There are 2 best solutions below

2
On

Assume the contrary and consider the function $$ f(s)=\int_0^{s}u(M_0+re^{it})dt, $$ that has the properties $f(0)=0$, $f(2\pi)=2\pi u(M_0)$, and $f'(s)=u(M_0+re^{is})$.

0
On

When $u$ is a harmonic function then it has the mean value property for circles. Therefore in any case $$u(M_0)={1\over2\pi}\int_0^{2\pi} u\bigl(M_0+r e^{it}\bigr)\ dt\ .$$ Now about small boundary values on part of a circle: Consider the harmonic function $$u(z):={\rm Re}(z^2)=x^2-y^2\ .$$ Then $u(i)=-1<0=u(0)$, and by continuity there is a rather large arc $\gamma$ with midpoint $i$ on the unit circle such that $u(z)<-{1\over2}$ for all $z\in\gamma$.