State and prove the mean value property for harmonic functions on R3.
Obtain a generalization of the mean value property for sub-harmonic functions on R3, i.e. C2 functions for which
−Δu(x)⩽0
for all x∈R3.
Let ϕ∈C2(R3;C) solve the equation
−Δϕ+iV(x)ϕ=0
where V is a real-valued continuous function. By considering the function w(x)=∣ϕ(x)∣2 show that, on any ball B(y,R)={x:∥x−y∥<R}⊂R3,
x∈B(y,R)sup∣ϕ(x)∣⩽∥x−y∥=Rsup∣ϕ(x)∣.