How many zeros does have inside ? And inside ?
No formula finds these roots — but Rouché's theorem counts them without finding them.
Exam focus: Rouché is a counting tool: split the polynomial into a dominant term and the rest, verify the strict inequality on the circle, and read off the zero count. Watch for the extra factor when the integrand is (zf)′/(zf).
Lecture 8.1 - Winding number
NPTEL · Complex Analysis (Pranav Haridas, KSoM)
The winding number is what the argument principle actually counts.
Lecture - 10.3 Argument Principle
NPTEL · Complex Analysis (Pranav Haridas, KSoM)
Solution
On |z| = 1, || = 50 > 1 + 40 + 6 + 1 = 48 ≥ ||, so by Rouché the polynomial has as many zeros inside as : thirty.
Solution
(1) On |z| = 2: || = 32 > 7 ≥ |3z + 1|, so Rouché against gives all five zeros inside. (2) On |z| = 1/2 the dominant term is 3z + 1: its minimum modulus there is 3·(1/2) − 1 = 1/2, while || = 1/32 < 1/2; Rouché against 3z + 1 gives exactly one zero (near −1/3) in |z| < 1/2. (3) fails: p(−1) = −3 < 0 and p(0) = 1 > 0, so the intermediate value theorem places a real zero in (−1, 0). (4) is the standard annulus argument: (zeros inside big circle) − (zeros inside small circle).
Exam focus: Know the dictionary of standard maps between disc, half-plane, strip and sector, and that Möbius maps send circles-and-lines to circles-and-lines and preserve cross-ratio.
Lecture - 4.2 - Mobius Transformations
NPTEL · Complex Analysis (Pranav Haridas, KSoM)
Circles-to-circlines and cross-ratio.
Lecture 11.2 Automorphisms of the Unit disk
NPTEL · Complex Analysis (Pranav Haridas, KSoM)
The disc automorphism group — memorise the formula.
Solution
For Im z > 0, z is closer to i than to −i, so |z − i| < |z + i| and |w| < 1.
Solution
Schwarz lemma: |f′(0)| = 1 forces f(z) = , and f′(0) = 1 gives .
Solution
(d) fails at the pole z = −d/c, where the map is not defined on it is conformal as a map of the sphere).
Solution
(1) and (2) are standard — the fixed-point equation cz is at most quadratic. (3) is three-point transitivity via cross-ratios. (4) fails: 1/z sends 0 < |z| < 1 onto |w| > 1, the exterior of the closed disc.