For a nonnegative harmonic function on the unit disc, the displayed inequalities are sharp. Apply the Poisson integral on the unit disk on radius , bound its positive kernel between and its reciprocal, and use the mean value property for harmonic functions. Letting proves the assertion. Positive Poisson kernels with one boundary pole give equality in the appropriate radial directions.
For a positive harmonic function on the unit disc, choose a global harmonic conjugate and apply the Carathéodory derivative bound for the right half-plane to . This gives by the Cauchy-Riemann equations. A disk automorphism sending zero to has derivative modulus , so the chain rule gives the displayed bound. Composing a boundary-pole Poisson kernel with a disk automorphism attains equality, proving the coefficient is optimal at every point.

Articles by others on the same topic (0)

There are currently no matching articles.