Extremal derivative of a disc map into a symmetric annulus
ID: extremal-derivative-of-a-disc-map-into-a-symmetric-annulus
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.
New to topics? Read the docs here!