Boundary logarithmic mean of a univalent function
ID: boundary-logarithmic-mean-of-a-univalent-function
If maps the unit disc conformally to a proper simply connected domain, the nonvanishing holomorphic quotient has harmonic log modulus. Its radial mean equals . Boundary values are understood as radial limits: the standard integral-mean bound for , together with the Koebe distortion theorem lower bound , gives uniform integrability of these logarithms. Hence
New to topics? Read the docs here!