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
There are currently no matching articles.