At the origin, the Poisson kernel is one, so the mean value property for harmonic functions gives
For , the denominator in the Poisson kernel satisfies . Thus
The nonnegativity of allows this upper bound to be inserted under the Poisson integral on the unit disk:
This is the upper bound in the Harnack inequality on the unit disk. The same argument with the minimum of the Poisson kernel gives the corresponding lower bound .

Articles by others on the same topic (0)

There are currently no matching articles.