Let and consider holomorphic functions from the unit disc into , normalized by . Their largest possible derivative modulus is . Lift to its holomorphic logarithm with , so . The function maps the disc into itself and fixes zero. The Schwarz lemma gives . Equality holds precisely forHere is its holomorphic branch vanishing at zero; is a conformal map from the disc onto the vertical strip. Thus the maximal derivative modulus is attained, with a circle of distinct extremizers rather than a unique map.
Articles by others on the same topic
There are currently no matching articles.