Square-root improvement of a normalized conformal map
ID: square-root-improvement-of-a-normalized-conformal-map
For a univalent function with , suppose is omitted. Apply the disk automorphism so the resulting image omits zero, take a holomorphic square root, then apply the disk automorphism taking the value at to zero. If is a simply connected domain, the root exists. The resulting normalized univalent map has derivative magnitude multiplied by , since . Thus a map maximizing the derivative cannot omit an interior disk point.
New to topics? Read the docs here!