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!