Zero location bound from Schwarz-Pick
ID: zero-location-bound-from-schwarz-pick
If a holomorphic function on the unit disc satisfies and , the Schwarz-Pick lemma applied to gives . Equality for a nonzero central value forces a scaled automorphism of the unit disk. If extends past the unit circle and is smaller than its minimum boundary modulus, the maximum modulus principle applied to proves that a zero occurs inside the circle.
New to topics? Read the docs here!