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 for
Here 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!