At the origin, the Poisson kernel is one, so the mean value property for harmonic functions givesFor , the denominator in the Poisson kernel satisfies . ThusThe 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
There are currently no matching articles.