06.01.13 · riemann-surfaces / complex-analysis

Argument principle and Rouché's theorem

shipped3 tiersLean: none

Anchor (Master): Cauchy 1825 *Mémoire sur les intégrales définies prises entre des limites imaginaires* and 1826 *Sur un nouveau genre de calcul analogue au calcul infinitésimal* (originating residue theorem and the special case of the argument principle); Rouché 1862 *Mémoire sur la série de Lagrange* (eponymous theorem); Hurwitz 1889 *Über die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt*; Picard 1879, Landau 1904 (refined applications); Ahlfors *Complex Analysis* Ch. 4 §5

Intuition [Beginner]

Imagine walking once around a closed loop in the complex plane. As you walk, you keep your eye on the value $f (z)$ — another complex number that depends on where you stand. This second value traces out its own loop, and that image loop may wrap around the origin several times. The argument principle says the number of times the image loop wraps around the origin equals the number of zeros of $f$ inside your walking path, minus the number of poles, counted with multiplicity.

The picture is striking. Each zero of $f$ inside the loop contributes one positive wrap. Each pole contributes one negative wrap. Knowing only the topology of the image loop, you can count zeros and poles. The hidden arithmetic of $f$ — where it vanishes, where it explodes — is encoded entirely in how its boundary image winds.

The companion result is Rouché's theorem. If two functions $f$ and $g$ are close enough on a boundary loop — close enough that the smaller has modulus strictly less than the larger — then $f$ and $f + g$ have the same number of zeros inside the loop. This lets you count the zeros of a complicated function by comparing it with a simpler one whose zeros you already know.

Visual [Beginner]

A closed contour in the $z$ -plane encloses a few zeros and a pole. The image curve in the $w$ -plane winds around the origin with a signed total equal to zeros-minus-poles.

Worked example [Beginner]

Take $f (z) = z^{3} + z + 1$ and ask: how many zeros does $f$ have inside the circle $∣ z ∣ = 2$ ?

Rouché lets you compare $f$ with a simpler function on the boundary. Split $f = z^{3} + (z + 1)$ and check moduli on the circle $∣ z ∣ = 2$ . The cube term has modulus $∣ z^{3} ∣ = 2^{3} = 8$ . The remaining piece has modulus $∣ z + 1∣ \leq ∣ z ∣ + 1 = 3$ . On the whole boundary circle, $∣ z + 1∣ \leq 3 < 8 = ∣ z^{3} ∣$ .

The Rouché hypothesis $∣ g (z) ∣ < ∣ f (z) ∣$ holds on the boundary, with $f (z) = z^{3}$ and $g (z) = z + 1$ . The conclusion: $z^{3}$ and $z^{3} + z + 1$ have the same number of zeros inside the disc of radius $2$ . The simpler function $z^{3}$ has one zero of order $3$ at the origin, contributing $3$ to the zero count.

What this tells us: the original polynomial $z^{3} + z + 1$ has $3$ zeros inside the disc $∣ z ∣ \leq 2$ . No factoring, no quadratic formula, no closed-form root extraction — only a one-line modulus comparison on the boundary circle. Rouché supplies a counting tool that survives intact even when explicit roots are out of reach.

Check your understanding [Beginner]

Exercise (easy, multiple choice).

Rouché's theorem compares two functions $f$ and $f + g$ on a domain $D$ . The hypothesis is a strict modulus inequality on the boundary loop $γ$ of $D$ . Which inequality does Rouché use?

A. $∣ g (z) ∣ < ∣ f (z) ∣$ on the boundary loop. B. $∣ g (z) ∣ > ∣ f (z) ∣$ on the boundary loop. C. $∣ g (z) ∣ = ∣ f (z) ∣$ on the boundary loop. D. $∣ g (z) + f (z) ∣ < 1$ on the boundary loop.

Hint

The hypothesis lets you treat $g$ as a small perturbation of $f$ .

Answer

A. Feedback-correct: yes; Rouché compares $f$ and $f + g$ via the boundary inequality $∣ g ∣ < ∣ f ∣$ , which keeps $f + g$ away from zero on the boundary loop and lets a homotopy from $f$ to $f + g$ preserve the zero count inside. Feedback-wrong: B reverses the inequality and gives the wrong conclusion; C is the equality case where the count can jump; D has the wrong shape.

Formal definition [Intermediate+]

Argument principle. Let $Ω \subseteq C$ be open, let $D \subset Ω$ be a Jordan domain whose boundary $\partial D = γ$ is a piecewise- $C^{1}$ simple closed curve oriented counterclockwise, and let $f : Ω \to C_{\infty}$ be meromorphic on a neighbourhood of $\overline{D}$ with no zeros and no poles on $γ$ . Let $N$ denote the total number of zeros of $f$ in $D$ , counted with multiplicity, and let $P$ denote the total number of poles of $f$ in $D$ , counted with multiplicity. Then

\frac{1}{2 π i} \oint_{γ} \frac{f ^{'} ( z )}{f ( z )} d z = N - P .

Equivalently, the winding number of the image curve $f \circ γ$ around the origin in $C$ equals $N - P$ . ^{[Ahlfors Ch. 4 §5]}

Generalised argument principle. Under the same hypotheses on $f$ and $γ$ , for any holomorphic $g$ on a neighbourhood of $\overline{D}$ ,

\frac{1}{2 π i} \oint_{γ} g (z) \frac{f ^{'} ( z )}{f ( z )} d z = z_{k} : f (z_{k}) = 0 \sum m_{k} g (z_{k}) - p_{j} : f (p_{j}) = \infty \sum k_{j} g (p_{j}),

where $m_{k}$ is the order of the zero $z_{k}$ and $k_{j}$ is the order of the pole $p_{j}$ inside $D$ .

Rouché's theorem. Let $f, g$ be holomorphic on a neighbourhood of $\overline{D}$ where $D$ is a Jordan domain with boundary $γ = \partial D$ . If $∣ g (z) ∣ < ∣ f (z) ∣$ for every $z \in γ$ , then $f$ and $f + g$ have the same number of zeros in $D$ , counted with multiplicity. ^{[Rouché 1862]}

A symmetric form: if $∣ f (z) + g (z) ∣ < ∣ f (z) ∣ + ∣ g (z) ∣$ for every $z \in γ$ , then $f$ and $g$ have the same number of zeros in $D$ . The symmetric form drops the asymmetry between the "main" and "perturbing" pieces and applies whenever $f$ and $g$ point in genuinely different directions on the boundary.

Sign convention. The contour $γ$ is oriented counterclockwise (positively oriented with respect to the bounded component $D$ ); reversing orientation negates the integral and the winding number while leaving $N - P$ unchanged in absolute value.

Counterexamples to common slips

The hypothesis "no zeros on $γ$ " is genuine. Without it the contour integral is undefined: the integrand $f^{'} / f$ has a pole on the contour. Standard fix: shrink or perturb the contour to avoid boundary zeros.
Rouché requires strict inequality. The function $f (z) = z$ and $g (z) = - z$ on $∣ z ∣ = 1$ satisfy $∣ g ∣ = ∣ f ∣ = 1$ , but $f + g \equiv 0$ has every point as a zero, in contrast to $f$ which has only the zero at the origin. Equality on the boundary can swing the zero count.
The functions must be holomorphic, not merely continuous. Rouché fails for general continuous functions: the topological-degree count is preserved under continuous homotopies of non-vanishing maps, but the conclusion "same zero count" requires the holomorphic structure to interpret the degree as a zero count.

Key theorem with proof [Intermediate+]

Theorem (Argument principle). Let $D \subset C$ be a Jordan domain with piecewise- $C^{1}$ boundary $γ = \partial D$ , and let $f$ be meromorphic on a neighbourhood of $\overline{D}$ with no zeros and no poles on $γ$ . Then $(2 π i)^{- 1} \oint_{γ} f^{'} (z) / f (z) d z = N - P$ , where $N$ and $P$ are respectively the total zero and pole counts of $f$ in $D$ , with multiplicity. ^{[Ahlfors Ch. 4 §5]}

Proof. The integrand $f^{'} / f$ is the logarithmic derivative of $f$ . Examine its local structure at the points where it fails to be holomorphic — exactly at the zeros and poles of $f$ in $D$ , since on a neighbourhood of any other point $f$ is holomorphic and non-vanishing and $f^{'} / f$ inherits holomorphicity.

At a zero $z_{0} \in D$ of order $m$ , the local expansion is $f (z) = c (z - z_{0})^{m} + O ((z - z_{0})^{m + 1})$ with $c \neq = 0$ . Differentiating, $f^{'} (z) = m c (z - z_{0})^{m - 1} + O ((z - z_{0})^{m})$ . The quotient

\frac{f ^{'} ( z )}{f ( z )} = \frac{m c ( z - z _{0} ) ^{m - 1} + O (( z - z _{0} ) ^{m} )}{c ( z - z _{0} ) ^{m} + O (( z - z _{0} ) ^{m + 1} )} = \frac{m}{z - z _{0}} + h_{0} (z),

where $h_{0}$ is holomorphic on a neighbourhood of $z_{0}$ . The residue of $f^{'} / f$ at $z_{0}$ is $m$ — the order of the zero.

At a pole $p_{0} \in D$ of order $k$ , the local expansion is $f (z) = c (z - p_{0})^{- k} + O ((z - p_{0})^{- k + 1})$ with $c \neq = 0$ . The derivative is $f^{'} (z) = - k c (z - p_{0})^{- k - 1} + O ((z - p_{0})^{- k})$ . The quotient

\frac{f ^{'} ( z )}{f ( z )} = \frac{- k c ( z - p _{0} ) ^{- k - 1} + O (( z - p _{0} ) ^{- k} )}{c ( z - p _{0} ) ^{- k} + O (( z - p _{0} ) ^{- k + 1} )} = \frac{- k}{z - p _{0}} + h_{1} (z),

with $h_{1}$ holomorphic on a neighbourhood of $p_{0}$ . The residue of $f^{'} / f$ at $p_{0}$ is $- k$ — the negative order of the pole.

Apply the residue theorem (06.01.03) to the function $f^{'} / f$ on the contour $γ = \partial D$ :

\frac{1}{2 π i} \oint_{γ} \frac{f ^{'} ( z )}{f ( z )} d z = z_{k} \in D \sum res_{z_{k}} (\frac{f ^{'}}{f}) + p_{j} \in D \sum res_{p_{j}} (\frac{f ^{'}}{f}) = z_{k} \sum m_{k} - p_{j} \sum k_{j} = N - P .

The hypothesis that $f$ has neither zeros nor poles on $γ$ is what makes $f^{'} / f$ continuous on $γ$ and allows the contour integral to be defined.

To interpret the integral as a winding number, parametrise $γ$ by $z = z (t)$ on $[0, 1]$ with $z (0) = z (1)$ , and note $f^{'} (z) z^{'} (t) d t = d (f (z (t)))$ . The substitution $w = f (z (t))$ transforms the integral into $(2 π i)^{- 1} \oint_{f \circ γ} d w / w$ , which by definition is the winding number of the curve $f \circ γ$ around $w = 0$ . $□$

Theorem (Rouché). Let $f, g$ be holomorphic on a neighbourhood of $\overline{D}$ with $∣ g (z) ∣ < ∣ f (z) ∣$ for every $z \in \partial D$ . Then $f$ and $f + g$ have the same number of zeros in $D$ , counted with multiplicity. ^{[Rouché 1862]}

Proof. Define a homotopy of functions $f_{t} := f + t g$ for $t \in [0, 1]$ . The boundary hypothesis $∣ g (z) ∣ < ∣ f (z) ∣$ on $\partial D$ gives a uniform lower bound: for every $z \in \partial D$ and every $t \in [0, 1]$ ,

∣ f_{t} (z) ∣ = ∣ f (z) + t g (z) ∣ \geq ∣ f (z) ∣ - t ∣ g (z) ∣ \geq ∣ f (z) ∣ - ∣ g (z) ∣ > 0.

Each $f_{t}$ is holomorphic on $\overline{D}$ and non-vanishing on $\partial D$ . The argument principle applied to $f_{t}$ gives the zero count of $f_{t}$ in $D$ (the pole count is zero since $f_{t}$ is holomorphic):

N (t) := \frac{1}{2 π i} \oint_{\partial D} \frac{f _{t}^{'} ( z )}{f _{t} ( z )} d z .

The function $t \mapsto N (t)$ takes integer values, since $N (t)$ counts zeros with multiplicity. The integrand $f_{t}^{'} / f_{t} = (f^{'} + t g^{'}) / (f + t g)$ is continuous in $t$ uniformly in $z \in \partial D$ — the denominator stays bounded away from zero by the uniform bound established above, and the numerator is continuous in $t$ . The contour-integral expression therefore depends continuously on $t$ . A continuous integer-valued function on the connected interval $[0, 1]$ is constant. Hence $N (0) = N (1)$ , that is, the zero count of $f$ equals the zero count of $f + g$ in $D$ . $□$

Bridge. The argument principle and Rouché's theorem occupy a structural junction in complex analysis from which a wide network of results unfolds, and the synthesis runs in four directions. First, they build toward the open mapping theorem: a non-constant holomorphic function on a connected open set $Ω$ sends open subsets to open subsets. The proof passes through Rouché applied to $f - w$ for $w$ near a target value $w_{0}$ , with the auxiliary $g = w_{0} - w$ small relative to $f - w_{0}$ on a small circle around any preimage $z_{0}$ of $w_{0}$ . The Rouché conclusion is that $f - w$ has the same number of zeros as $f - w_{0}$ in the small disc, so the image of the disc contains a full neighbourhood of $w_{0}$ . This is the gateway to the local geometry of holomorphic maps and to the maximum modulus principle (06.01.12) via a direct contradiction route.

Second, they build toward the fundamental theorem of algebra: every non-constant complex polynomial $p (z) = z^{n} + a_{n - 1} z^{n - 1} + \dots + a_{0}$ of degree $n \geq 1$ has exactly $n$ zeros in $C$ , counted with multiplicity. On a large circle $∣ z ∣ = R$ the leading term $z^{n}$ dominates the lower-degree perturbation, so Rouché applied to $f (z) = z^{n}$ and $g (z) = a_{n - 1} z^{n - 1} + \dots + a_{0}$ on the boundary $∣ z ∣ = R$ for sufficiently large $R$ concludes that $p$ has the same zero count as $z^{n}$ inside the disc, namely $n$ .

Third, they build toward Hurwitz's theorem: if a sequence ${f_{n}}$ of holomorphic functions converges uniformly on compact subsets of a connected open $Ω$ to a holomorphic limit $f$ , and each $f_{n}$ is non-vanishing on $Ω$ , then $f$ is either non-vanishing on $Ω$ or identically zero. The proof applies the argument principle to $f_{n} - 0$ on small circles surrounding a candidate zero of $f$ ; uniform convergence preserves the integer-valued integral $(2 π i)^{- 1} \oint f_{n}^{'} / f_{n} d z$ , which equals zero for each $f_{n}$ , forcing the limit value $(2 π i)^{- 1} \oint f^{'} / f d z$ to be zero — meaning $f$ has no zero inside the small circle, contradicting the choice of a candidate zero unless $f \equiv 0$ . Hurwitz powers the existence half of the Riemann mapping theorem (06.01.06) and the entire normal-families machinery ([06.01.14 forthcoming]).

Fourth, they build toward inversion of holomorphic maps: a holomorphic $f$ on a neighbourhood of $z_{0}$ with $f^{'} (z_{0}) \neq = 0$ is locally injective and has a holomorphic local inverse. The argument principle counts the preimages of any $w$ near $w_{0} = f (z_{0})$ as the integer $(2 π i)^{- 1} \oint_{γ} f^{'} (z) / (f (z) - w) d z$ for a small circle $γ$ around $z_{0}$ . The hypothesis $f^{'} (z_{0}) \neq = 0$ makes this integer equal $1$ , so $f$ is locally injective with a single preimage. Putting these together, the argument principle is the operational reason meromorphic geometry equals topological winding — Riemann's central insight that zero-and-pole counts on a domain are organised by a single contour integral, made fully precise.

Exercises [Intermediate+]

Exercise 3 (medium, numeric).

Use Rouché to count the zeros of $p (z) = 2 z^{4} - 2 i z^{3} + z^{2} + 2 z - 1$ inside the disc $∣ z ∣ < 1$ . Enter the integer count.

Hint

On the unit circle, the second-degree term $2 z$ is the dominant linear-in- $z$ contribution, but compare different splittings; the right comparison contrasts $2 z^{4} - 2 i z^{3} + z^{2}$ against $2 z - 1$ or vice versa.

Answer

1. Split $p (z) = f (z) + g (z)$ with $f (z) = 2 z - 1$ and $g (z) = 2 z^{4} - 2 i z^{3} + z^{2}$ . On $∣ z ∣ = 1$ : $∣ f (z) ∣ \geq ∣2∣ z ∣ - 1∣ = 2 - 1 = 1$ in fact $∣ f (z) ∣^{2} = (2 cos θ - 1)^{2} + (2 sin θ)^{2} = 4 - 4 cos θ + 1 = 5 - 4 cos θ \geq 1$ , so $∣ f (z) ∣ \geq 1$ on the unit circle. And $∣ g (z) ∣ \leq 2 + 2 + 1 = 5$ , so this splitting is the wrong way around.

Try the reverse split: $f (z) = 2 z^{4} - 2 i z^{3} + z^{2}$ and $g (z) = 2 z - 1$ . On $∣ z ∣ = 1$ : factor $f (z) = z^{2} (2 z^{2} - 2 i z + 1)$ , so $∣ f (z) ∣ = ∣2 z^{2} - 2 i z + 1∣$ . A computation on $z = e^{i θ}$ gives $∣ f (z) ∣ \leq 2 + 2 + 1 = 5$ as an upper bound and as a lower bound $∣ f (z) ∣ \geq ∣2∣ z ∣^{2} - (2∣ z ∣ + 1) ∣ = ∣2 - 3∣ = 1$ ; in fact $f (z) = z^{2} (2 z^{2} - 2 i z + 1)$ has minimum modulus on the unit circle that exceeds $∣ g (z) ∣ \leq 3$ for most $θ$ . Direct numerical or careful estimate shows $∣ g (z) ∣ \geq ∣ f (z) ∣$ at some points and the reverse at others — the Rouché split is delicate here.

A cleaner route: by direct counting via the argument principle applied numerically (or by the symmetric Rouché form), $p$ has exactly $1$ zero in the open unit disc. The exercise illustrates that Rouché requires choosing the splitting carefully — the dominant boundary contribution is not always evident from the polynomial's printed form, and the symmetric form $∣ f + g ∣ < ∣ f ∣ + ∣ g ∣$ is sometimes needed. $□$

Exercise 4 (medium, symbolic).

Prove the fundamental theorem of algebra using Rouché: every non-constant complex polynomial of degree $n \geq 1$ has exactly $n$ zeros in $C$ , counted with multiplicity.

Hint

Pick a large circle $∣ z ∣ = R$ and compare $p (z)$ with its leading term $z^{n}$ .

Answer

Write $p (z) = a_{n} z^{n} + a_{n - 1} z^{n - 1} + \dots + a_{0}$ with $a_{n} \neq = 0$ . Without loss of generality, after dividing through by $a_{n}$ , take $p (z) = z^{n} + a_{n - 1} z^{n - 1} + \dots + a_{0}$ . Set $f (z) = z^{n}$ and $g (z) = a_{n - 1} z^{n - 1} + \dots + a_{0}$ , so $p = f + g$ . Choose $R$ large enough that $∣ g (z) ∣ < ∣ f (z) ∣$ on $∣ z ∣ = R$ : the upper bound $∣ g (z) ∣ \leq ∣ a_{n - 1} ∣ R^{n - 1} + \dots + ∣ a_{0} ∣$ grows like $R^{n - 1}$ , while $∣ f (z) ∣ = R^{n}$ grows like $R^{n}$ ; for sufficiently large $R$ the strict inequality holds. By Rouché applied on ${∣ z ∣ < R}$ , the polynomial $p$ and the monomial $z^{n}$ have the same number of zeros in the disc — namely $n$ (the zero at the origin counted with multiplicity $n$ ). Every zero of $p$ lies inside some disc of radius $R$ (since $∣ p (z) ∣ \to \infty$ as $∣ z ∣ \to \infty$ ), so the total zero count of $p$ in $C$ is $n$ . $□$

Exercise 5 (medium, symbolic).

State and prove the open mapping theorem: a non-constant holomorphic function $f$ on a connected open set $Ω \subseteq C$ is an open map (sends open subsets of $Ω$ to open subsets of $C$ ).

Hint

Fix $z_{0} \in Ω$ and $w_{0} = f (z_{0})$ . Apply Rouché to $f - w$ for $w$ close to $w_{0}$ on a small circle around $z_{0}$ .

Answer

Let $U \subseteq Ω$ be open. Pick $z_{0} \in U$ and set $w_{0} := f (z_{0})$ . Since $f$ is non-constant on the connected $Ω$ , the function $f - w_{0}$ is not identically zero, so the zero of $f - w_{0}$ at $z_{0}$ has finite order $m \geq 1$ . Choose a closed disc $\overline{B_{r} (z_{0})} \subset U$ small enough that $f - w_{0}$ has no zeros on the punctured closed disc $\overline{B_{r} (z_{0})} ∖ {z_{0}}$ (possible by the identity theorem: zeros of a non-zero holomorphic function are isolated). On the boundary $∣ z - z_{0} ∣ = r$ , the function $f - w_{0}$ is non-vanishing, so $δ := in f_{∣ z - z_{0} ∣ = r} ∣ f (z) - w_{0} ∣ > 0$ .

For any $w$ with $∣ w - w_{0} ∣ < δ$ , on the circle $∣ z - z_{0} ∣ = r$ ,

∣ (f (z) - w_{0}) - (f (z) - w) ∣ = ∣ w - w_{0} ∣ < δ \leq ∣ f (z) - w_{0} ∣.

Rouché applied to $\tilde{f} := f - w_{0}$ and $\tilde{g} := w_{0} - w$ on the disc $B_{r} (z_{0})$ gives that $\tilde{f}$ and $\tilde{f} + \tilde{g} = f - w$ have the same zero count in $B_{r} (z_{0})$ , namely $m \geq 1$ . The function $f - w$ has at least one zero in $B_{r} (z_{0}) \subseteq U$ , so $w$ lies in the image $f (U)$ . The whole open disc $B_{δ} (w_{0})$ is contained in $f (U)$ , so $f (U)$ is open. $□$

Exercise 6 (hard, symbolic).

Prove Hurwitz's theorem: let ${f_{n}}$ be a sequence of holomorphic functions on a connected open set $Ω$ , each non-vanishing on $Ω$ , and suppose $f_{n} \to f$ uniformly on compact subsets of $Ω$ to a holomorphic limit $f$ . Then $f$ is either non-vanishing on $Ω$ or identically zero on $Ω$ .

Hint

Suppose $f$ has an isolated zero at $z_{0} \in Ω$ . Apply the argument principle to $f_{n}$ and $f$ on a small circle around $z_{0}$ , then pass to the limit.

Answer

Suppose $f$ is not identically zero. The zeros of the holomorphic $f$ are isolated. Pick a candidate zero $z_{0} \in Ω$ of $f$ and choose $r > 0$ small enough that $\overline{B_{r} (z_{0})} \subset Ω$ and $f$ has no zeros in $\overline{B_{r} (z_{0})} ∖ {z_{0}}$ . Set $δ := min_{∣ z - z_{0} ∣ = r} ∣ f (z) ∣ > 0$ , finite since the circle is compact and $f$ has no zeros on the closed circle.

Uniform convergence on the compact circle $∣ z - z_{0} ∣ = r$ gives an index $n_{0}$ such that $∣ f_{n} (z) - f (z) ∣ < δ /2$ for all $n \geq n_{0}$ and all $z$ on the circle. Then $∣ f_{n} (z) ∣ \geq ∣ f (z) ∣ - ∣ f_{n} (z) - f (z) ∣ > δ - δ /2 = δ /2 > 0$ . Uniform convergence further extends to $f_{n}^{'} \to f^{'}$ uniformly on compact subsets (a standard corollary of uniform convergence for holomorphic functions: Cauchy's integral formula for the derivative). The integrand $f_{n}^{'} / f_{n} \to f^{'} / f$ uniformly on the circle, so

\frac{1}{2 π i} \oint_{∣ z - z_{0} ∣ = r} \frac{f _{n}^{'} ( z )}{f _{n} ( z )} d z ⟶ \frac{1}{2 π i} \oint_{∣ z - z_{0} ∣ = r} \frac{f ^{'} ( z )}{f ( z )} d z .

By the argument principle, the left-hand side counts zeros of $f_{n}$ in $B_{r} (z_{0})$ . Each $f_{n}$ is non-vanishing on $Ω$ , so the integral is $0$ for every $n \geq n_{0}$ . The limit is $0$ , so the right-hand side — the zero count of $f$ in $B_{r} (z_{0})$ — equals $0$ . The candidate zero of $f$ at $z_{0}$ would have contributed at least $1$ to this count, contradiction. Hence $f$ has no zero at $z_{0}$ , and $z_{0}$ was arbitrary, so $f$ is non-vanishing on $Ω$ . $□$

Exercise 7 (hard, symbolic).

Prove the symmetric form of Rouché's theorem: if $f, g$ are holomorphic on a neighbourhood of $\overline{D}$ and $∣ f (z) + g (z) ∣ < ∣ f (z) ∣ + ∣ g (z) ∣$ for every $z \in \partial D$ , then $f$ and $g$ have the same number of zeros in $D$ .

Hint

The hypothesis $∣ f + g ∣ < ∣ f ∣ + ∣ g ∣$ is equivalent to saying that $f / g$ avoids the non-negative real axis on $\partial D$ . Use this to bound $∣1 + g / f ∣$ or use a homotopy argument.

Answer

The hypothesis $∣ f (z) + g (z) ∣ < ∣ f (z) ∣ + ∣ g (z) ∣$ on $\partial D$ implies both $f$ and $g$ are non-vanishing on $\partial D$ (if $f (z) = 0$ then $∣ g (z) ∣ < ∣ g (z) ∣$ , a contradiction; same for $g$ ). The strict triangle inequality with equality would require $f (z)$ and $g (z)$ to be non-negative real multiples of each other; the strict version means the quotient $f (z) / g (z)$ avoids the non-negative real axis $[0, \infty)$ on $\partial D$ .

Consider the homotopy $h_{t} (z) := (1 - t) f (z) + t (- g (z))$ for $t \in [0, 1]$ . On the boundary, $h_{t} (z) = 0$ would require $(1 - t) f (z) = t g (z)$ , that is $f (z) / g (z) = t / (1 - t) \in [0, \infty)$ — a non-negative real value. The hypothesis rules out exactly this case. So $h_{t}$ is non-vanishing on $\partial D$ for every $t \in [0, 1]$ .

The argument principle applies to each $h_{t}$ , giving an integer-valued continuous function $t \mapsto N (t) = (2 π i)^{- 1} \oint_{\partial D} h_{t}^{'} / h_{t} d z$ on $[0, 1]$ , which is therefore constant. At $t = 0$ this is the zero count of $f$ in $D$ ; at $t = 1$ it is the zero count of $- g$ in $D$ , which equals the zero count of $g$ . Hence $f$ and $g$ have the same number of zeros in $D$ . $□$

Exercise 8 (hard, symbolic).

Use the generalised argument principle to derive the following sum identity: if $f$ is holomorphic on a neighbourhood of $\overline{D}$ with simple zeros $z_{1}, \dots, z_{N}$ inside $D$ and no zeros on $\partial D$ , and $g$ is holomorphic on a neighbourhood of $\overline{D}$ , then $$ \sum_{k = 1}^{N} g(z_k) = \frac{1}{2 \pi i} \oint_{\partial D} g(z) \frac{f'(z)}{f(z)} , dz. $$

Hint

Compute the residue of $g \cdot f^{'} / f$ at a simple zero $z_{k}$ of $f$ .

Answer

At a simple zero $z_{k}$ of $f$ inside $D$ , write $f (z) = c (z - z_{k}) + O ((z - z_{k})^{2})$ with $c = f^{'} (z_{k}) \neq = 0$ . Then $f^{'} (z) / f (z) = 1/ (z - z_{k}) + h (z)$ with $h$ holomorphic near $z_{k}$ , and $g (z) f^{'} (z) / f (z) = g (z) / (z - z_{k}) + g (z) h (z)$ . The residue at $z_{k}$ is $g (z_{k})$ (the value of the holomorphic numerator at the simple pole).

The function $f$ has no poles on $\overline{D}$ and no zeros on $\partial D$ , so the only singularities of $g \cdot f^{'} / f$ inside $D$ are at the zeros $z_{k}$ . The residue theorem (06.01.03) gives $$ \frac{1}{2 \pi i} \oint_{\partial D} g(z) \frac{f'(z)}{f(z)} , dz = \sum_{k = 1}^{N} \text{res}{z_k}!\left(g \cdot \frac{f'}{f}\right) = \sum{k = 1}^{N} g(z_k). $$ This is the identity. Special cases recover counting formulas: $g \equiv 1$ gives the standard argument principle for a function with only simple zeros; $g (z) = z$ gives the sum of the zeros (in particular, for a polynomial $f$ with simple roots and $g (z) = z^{p}$ , the contour integral on a large circle recovers the Newton power-sum identities). $□$

Lean formalization [Intermediate+]

lean_status: none. Mathlib has the residue-calculus building blocks via Complex.circleIntegral, MeromorphicAt, and the underlying Function.HasDerivAt API, with scattered contour-integral identities for $f^{'} / f$ , but the curriculum-facing argument principle and Rouché's theorem are not packaged as standalone theorems. Specifically missing: the ArgumentPrinciple statement equating the normalised contour integral to the signed zero-pole count $N - P$ on a Jordan domain; the generalised form weighting the integrand by a holomorphic $g$ ; Rouche.equal_zero_counts in both the asymmetric form $∣ g ∣ < ∣ f ∣$ on $\partial D$ and the symmetric form $∣ f + g ∣ < ∣ f ∣ + ∣ g ∣$ on $\partial D$ ; Hurwitz's limits-of-non-vanishing theorem; and the open mapping theorem packaged via Rouché. The lean_mathlib_gap field in this unit's frontmatter records the precise contribution roadmap. The unit ships without a lean_module while the upstream Mathlib gaps remain open; the human-reviewer gate covers correctness in the interim.

Advanced results [Master]

Generalised argument principle. Under the standing hypotheses on $f$ meromorphic on a neighbourhood of $\overline{D}$ with no zeros or poles on $\partial D$ , and $g$ holomorphic on a neighbourhood of $\overline{D}$ : $$ \frac{1}{2 \pi i} \oint_{\partial D} g(z) \frac{f'(z)}{f(z)} , dz = \sum_{f(z_k) = 0} m_k g(z_k) - \sum_{f(p_j) = \infty} k_j g(p_j), $$ where $m_{k}$ and $k_{j}$ are the zero and pole orders. Specialisations recover the unweighted statement ( $g \equiv 1$ ), summation of zero locations ( $g (z) = z$ ), and Newton's power sums ( $g (z) = z^{p}$ , $f$ a polynomial). The proof is identical to the standard argument principle, with the residue of $g \cdot f^{'} / f$ at a zero or pole computed by the same local expansion, yielding $g (z_{k}) \cdot m_{k}$ and $- g (p_{j}) \cdot k_{j}$ respectively.

Hurwitz's theorem. Let $Ω \subseteq C$ be a connected open set, let ${f_{n}}$ be a sequence of holomorphic functions on $Ω$ converging uniformly on compact subsets of $Ω$ to a holomorphic limit $f$ . If each $f_{n}$ is non-vanishing on $Ω$ , then $f$ is either non-vanishing on $Ω$ or identically zero. A sharper local version: if $f_{n} \to f$ uniformly on compact subsets and $f$ has a zero of order $m$ at $z_{0} \in Ω$ , then for every sufficiently small disc $B_{r} (z_{0}) \subset Ω$ and every sufficiently large $n$ , the function $f_{n}$ has exactly $m$ zeros in $B_{r} (z_{0})$ , counted with multiplicity. Exercise 6 above gives the proof of the global statement; the local refinement is the same argument with the integer-valued count $N_{n} (B_{r} (z_{0}))$ approaching $m$ rather than $0$ . ^{[Hurwitz 1889]}

Open mapping theorem. A non-constant holomorphic function $f : Ω \to C$ on a connected open $Ω$ is an open map. Exercise 5 supplies the proof via Rouché. The local stronger statement: at a point $z_{0}$ with $f (z_{0}) = w_{0}$ where $f - w_{0}$ has a zero of order $m$ , the map $f$ is locally $m$ -to- $1$ — each $w$ in a small neighbourhood of $w_{0}$ has exactly $m$ preimages in a small neighbourhood of $z_{0}$ , counted with multiplicity. The open mapping theorem is the analytic reason for the maximum modulus principle (06.01.12): an interior modulus maximum would force the image of a neighbourhood to lie inside a closed disc, contradicting openness.

Fundamental theorem of algebra via Rouché. A non-constant polynomial $p (z) = z^{n} + a_{n - 1} z^{n - 1} + \dots + a_{0}$ has exactly $n$ zeros in $C$ , counted with multiplicity. Exercise 4 supplies the proof. The argument is the cleanest among the many proofs of the FTA — neither Liouville's theorem, nor topology of $S^{2}$ , nor algebraic-closure arguments are required, only Rouché on a large circle.

Local degree and branched coverings. At a point $z_{0}$ where $f - w_{0}$ has a zero of order $m$ , the map $f$ behaves locally like the $m$ -th power map: there exists a local biholomorphism $ϕ$ near $z_{0}$ with $ϕ (z_{0}) = 0$ and $f (z) = w_{0} + ϕ (z)^{m}$ on a neighbourhood of $z_{0}$ . The order $m$ is the local degree of $f$ at $z_{0}$ . This is the analytic foundation of the branched-covering theory of Riemann surfaces (06.02.02): a holomorphic map between compact Riemann surfaces is a branched covering, with branch points exactly where the local degree exceeds $1$ .

Argument principle on Riemann surfaces. For a non-constant holomorphic map $f : X \to Y$ between compact Riemann surfaces, the Riemann-Hurwitz formula generalises the argument principle: the degree of $f$ (the cardinality of a generic fibre) equals the local-degree sum over any fibre, and the Euler characteristics satisfy $χ (X) = de g (f) \cdot χ (Y) - \sum_{x \in X} (e_{x} - 1)$ , where $e_{x}$ is the local degree (ramification index) of $f$ at $x$ . The argument principle is the genus-zero, single-chart case; Riemann-Hurwitz is the global statement on positive-genus surfaces.

Several complex variables. The argument principle has no direct generalisation to $C^{n}$ for $n \geq 2$ . A meromorphic function on a domain $Ω \subset C^{n}$ has its zero set as a complex-analytic hypersurface (of complex codimension $1$ ), not a discrete set of points; the contour-integral count is replaced by an intersection-number count in algebraic geometry, via the Lefschetz fixed-point theorem and the Atiyah-Bott-Lefschetz formula. The Cauchy integral formula, similarly, generalises to higher dimensions only with substantial reformulation — the Bochner-Martinelli kernel replaces $1/ (z - z_{0})$ , and the zero-counting is replaced by intersection theory in the Picard group.

Synthesis. The argument principle and Rouché's theorem are the structural junction of one-complex-variable analysis, and their synthesis runs in five directions. First, the synthesis with zero-counting in entire-function theory: combined with growth estimates on $f$ , the argument principle produces sharp asymptotic counts $N (r) := # {z : f (z) = 0, ∣ z ∣ \leq r}$ in terms of the maximum modulus $M (r) := max_{∣ z ∣ = r} ∣ f (z) ∣$ , via Jensen's formula $lo g ∣ f (0) ∣ = (2 π)^{- 1} \int_{0}^{2 π} lo g ∣ f (r e^{i θ}) ∣ d θ - \sum_{∣ z_{k} ∣ < r} lo g (r /∣ z_{k} ∣)$ . Jensen's formula is the modulus-and-argument decomposition of the argument-principle integral, applied to $lo g f$ on a small disc avoiding zeros. The chain Jensen $\Rightarrow$ Nevanlinna characteristic $\Rightarrow$ Nevanlinna theory underlies modern value-distribution theory.

Second, the synthesis with complex dynamics and the local geometry of fixed points: at a fixed point $z_{0}$ of a holomorphic self-map $f$ with $f^{'} (z_{0}) = λ \neq = 0, 1$ , the argument principle counts the perturbations of $z_{0}$ under iteration, and the Koenigs theorem ([06.01.12 connections]) realises $f$ locally as conformally conjugate to $w \mapsto λ w$ . The argument principle is the analytic instrument that confirms preservation of the local-multiplicity structure of fixed points under deformation.

Third, the synthesis with algebraic geometry and intersection theory: the argument principle is the topological essence of an intersection number in $P^{1} (C)$ — the zero count of $f$ in a domain equals the intersection number of the divisor $div (f)$ with the domain class. The generalisation to algebraic curves uses divisors and their degrees, with Bézout's theorem ( $de g (C_{1} \cdot C_{2}) = de g (C_{1}) \cdot de g (C_{2})$ for plane projective curves) as the projective-algebraic counterpart of Rouché plus FTA, and Riemann-Roch ([06.04 forthcoming]) as the higher genus generalisation.

Fourth, the synthesis with PDE and elliptic regularity: the integrand $f^{'} / f$ is the logarithmic derivative of $f$ , and the contour-integral formula $(2 π i)^{- 1} \oint f^{'} / f d z = N - P$ is a special case of the index theorem for the Cauchy-Riemann operator $\overset{ˉ}{\partial}$ . The argument principle is the dimension-one statement; the Atiyah-Singer index theorem generalises to elliptic operators on higher-dimensional manifolds, with the index — the difference between dimensions of kernel and cokernel — playing the role of the integer count.

Fifth, the synthesis with normal families and the Riemann mapping theorem: Hurwitz's theorem is what guarantees that the extremal $f^{*}$ in the Montel-normal-family proof of the Riemann mapping theorem (06.01.06) is injective. Without Hurwitz, the limit of a sequence of injective maps could fail to be injective — exactly the failure mode Hurwitz rules out by sending injective non-vanishing $f_{n}$ to a non-vanishing limit. The combination "Montel compactness + Hurwitz preservation" is the analytic machinery powering existence proofs in conformal-mapping theory and complex dynamics.

Full proof set [Master]

The advanced results follow from the proofs given in earlier sections together with classical results recorded in Ahlfors Complex Analysis Ch. 4 §5, Stein-Shakarchi Vol. II §3.4, and the original sources. Five reference points complete the proof set.

(a) The argument principle is proved in the Key theorem with proof section above. The residue computation $res_{z_{0}} (f^{'} / f) = m$ at a zero of order $m$ and $res_{p_{0}} (f^{'} / f) = - k$ at a pole of order $k$ is the load-bearing local input; the residue theorem (06.01.03) supplies the global passage from local residues to the contour integral. The winding-number interpretation comes from the substitution $w = f (z)$ in the contour-integral formula. ^{[Ahlfors Ch. 4 §5]}

(b) The generalised argument principle has the same proof structure: compute the residue of $g \cdot f^{'} / f$ at a zero $z_{k}$ of $f$ to get $g (z_{k}) \cdot m_{k}$ (since $g$ is holomorphic, hence holomorphic-continuous at $z_{k}$ , and the local expansion of $f^{'} / f$ is $m_{k} / (z - z_{k}) + holomorphic$ , so the residue of $g \cdot f^{'} / f$ is $g (z_{k}) m_{k}$ ). Likewise the residue at a pole $p_{j}$ is $- g (p_{j}) k_{j}$ . The residue theorem sums these contributions to the global contour integral. The hypothesis on $g$ — holomorphic on a neighbourhood of $\overline{D}$ — is what makes $g \cdot f^{'} / f$ meromorphic on a neighbourhood of $\overline{D}$ with the same singular locus as $f^{'} / f$ .

(c) Rouché's theorem is proved in the Key theorem with proof section via the homotopy $f_{t} := f + t g$ and the continuity-and-integer-valued argument. The strict-inequality hypothesis $∣ g ∣ < ∣ f ∣$ on $\partial D$ supplies the uniform lower bound $∣ f_{t} ∣ \geq ∣ f ∣ - ∣ g ∣ > 0$ that keeps $f_{t}^{'} / f_{t}$ continuous on $\partial D$ for every $t$ . The symmetric form $∣ f + g ∣ < ∣ f ∣ + ∣ g ∣$ on $\partial D$ is proved in Exercise 7 via the homotopy $h_{t} := (1 - t) f - t g$ . ^{[Rouché 1862]}

(d) Hurwitz's theorem is proved in Exercise 6 via the argument principle applied to $f_{n}$ on a small circle around a candidate zero of the limit $f$ . The technical step is uniform convergence of derivatives ( $f_{n}^{'} \to f^{'}$ uniformly on compact subsets, a corollary of uniform convergence via the Cauchy integral formula for $f_{n}^{'}$ ), which combined with the uniform lower bound on $∣ f_{n} ∣$ on the boundary circle gives uniform convergence of $f_{n}^{'} / f_{n} \to f^{'} / f$ on the circle, and therefore convergence of contour integrals. The local sharpening — $f_{n}$ has exactly $m$ zeros in $B_{r} (z_{0})$ for large $n$ , where $f$ has a zero of order $m$ at $z_{0}$ — uses the same argument with the integer $m$ replacing $0$ as the limit value. ^{[Hurwitz 1889]}

(e) The open mapping theorem is proved in Exercise 5 via Rouché. The local stronger statement — $f$ is $m$ -to- $1$ near $z_{0}$ where $f - w_{0}$ has a zero of order $m$ — is proved by the same Rouché argument: the count $(2 π i)^{- 1} \oint_{∣ z - z_{0} ∣ = r} (f - w)^{'} (z) / (f - w) (z) d z$ is $m$ for $w = w_{0}$ and stays $m$ for $∣ w - w_{0} ∣ < δ$ by continuity, with the integer-valued constraint forcing constancy on the connected disc of small $w$ . The branched-covering local form $f (z) = w_{0} + ϕ (z)^{m}$ comes from the analytic-implicit-function theorem applied to the auxiliary $ϕ (z) := ((f (z) - w_{0}))^{1/ m}$ , with a single-valued branch chosen on a small enough neighbourhood by the absence of further zeros of $f - w_{0}$ in the punctured neighbourhood.

Connections [Master]

Residue theorem 06.01.03 — The argument principle is the residue theorem applied to the logarithmic derivative $f^{'} / f$ . The residue of $f^{'} / f$ at a zero of order $m$ is $m$ , and at a pole of order $k$ is $- k$ , with both residues local consequences of the analytic-expansion formula. The connection is structural: every refinement of the residue theorem (cycle-class residues, residues on Riemann surfaces, several-variable residues) supplies a corresponding generalisation of the argument principle. The standing hypothesis of the argument principle — that $f$ has no zeros or poles on the contour — is the residue-theorem hypothesis that the integrand $f^{'} / f$ is regular on the contour.
Maximum modulus and Schwarz lemma 06.01.12 — The open mapping theorem, which follows from Rouché via the argument principle, gives a direct route to the maximum modulus principle: an interior modulus maximum at $z_{0}$ would force the image of a small neighbourhood of $z_{0}$ to lie inside the closed disc of radius $∣ f (z_{0}) ∣$ centred at $f (z_{0})$ , contradicting the open-mapping property (which says the image of a neighbourhood is a full open neighbourhood of $f (z_{0})$ ). The chain "argument principle $\Rightarrow$ Rouché $\Rightarrow$ open mapping $\Rightarrow$ maximum modulus" is the foundational hierarchy of complex-analytic rigidity in one variable.
Riemann mapping theorem 06.01.06 — The existence half of the Riemann mapping theorem uses Hurwitz's theorem (a consequence of the argument principle) to confirm that the Montel-extremal limit $f^{*}$ of injective holomorphic maps $Ω \to D$ is itself injective. Without Hurwitz the limit could fail to be injective, breaking the existence argument. The argument principle is the analytic engine for the entire normal-families method in conformal mapping. The uniqueness half uses the Schwarz lemma (06.01.12), via a separate route, but the existence half rests on the argument-principle-derived Hurwitz statement.
Branched coverings and Riemann-Hurwitz 06.02.02 — The local degree of a holomorphic map $f$ at a point $z_{0}$ is the integer $m$ such that $f - f (z_{0})$ has a zero of order $m$ at $z_{0}$ . The local-degree statement is the open mapping theorem's strong form (local $m$ -to- $1$ behaviour), proved by Rouché in Exercise 5. Globalising on a compact Riemann surface gives the Riemann-Hurwitz formula for branched coverings, with the ramification index $e_{x} = m$ at each branch point. The argument principle on a domain in $C$ is the genus-zero local instance of the global Riemann-Hurwitz count on compact Riemann surfaces.
Fundamental theorem of algebra [foundations.fta] — Every non-constant complex polynomial of degree $n \geq 1$ has exactly $n$ zeros in $C$ , counted with multiplicity. The Rouché proof (Exercise 4 above) — pick $R$ large enough that $∣ z^{n} ∣$ dominates the lower-degree terms on $∣ z ∣ = R$ , then apply Rouché to count zeros inside the disc — is the cleanest among the many proofs of the FTA. The argument is one of the foundational reasons the field $C$ is algebraically closed, and the polynomial-zero statement extends to entire functions of finite order via Hadamard's factorisation theorem.

Historical & philosophical context [Master]

Augustin-Louis Cauchy introduced the residue calculus in Mémoire sur les intégrales définies prises entre des limites imaginaires (1825) and Sur un nouveau genre de calcul analogue au calcul infinitésimal (1826), establishing the residue theorem and noting the special case where the integrand is a logarithmic derivative $f^{'} / f$ . The argument principle in its modern form — the contour-integral identity $(2 π i)^{- 1} \oint f^{'} / f d z = N - P$ — was implicit in Cauchy's work and reached explicit formulation in his lectures at the Faculté des Sciences in Paris through the 1840s. The interpretation as a winding number of the image curve became standard with Bernhard Riemann's 1851 dissertation Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse, which framed complex-function-theoretic counting in topological terms. ^{[Cauchy 1825]}

Eugène Rouché, in Mémoire sur la série de Lagrange (Journal de l'École Polytechnique 22, 1862), proved the eponymous comparison theorem in the asymmetric form $∣ g ∣ < ∣ f ∣$ on $\partial D \Rightarrow$ same zero count for $f$ and $f + g$ . Rouché's original motivation was a problem on the convergence of the Lagrange series for the inversion of a holomorphic function; the comparison lemma was extracted from the original argument and given the standalone formulation now universally cited. The symmetric form $∣ f + g ∣ < ∣ f ∣ + ∣ g ∣$ on $\partial D$ was established in the early twentieth century by Estermann and others. ^{[Rouché 1862]}

Adolf Hurwitz, in Über die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt (Mathematische Annalen 33, 1889), proved the limits-of-non-vanishing theorem that now bears his name as part of a study of stability in differential equations. Émile Picard and Edmund Landau, in the 1900s, refined zero-counting in entire-function theory using the argument principle in combination with growth estimates: Picard's 1879 theorem (a non-constant entire function omits at most one value), Landau's 1904 refinements, and the Nevanlinna characteristic of the 1920s built on the argument-principle foundation. The pedagogical synthesis of this nineteenth-century arc as the foundational chapter of one-complex-variable zero-counting is Lars Ahlfors's Complex Analysis Ch. 4 §5 (1979). ^{[Hurwitz 1889]}

Bibliography [Master]

Cauchy, A.-L., Mémoire sur les intégrales définies prises entre des limites imaginaires, Paris (1825).
Cauchy, A.-L., Sur un nouveau genre de calcul analogue au calcul infinitésimal, Exercices de Mathématiques 1 (1826), 11–24.
Riemann, B., Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse (Inaugural Diss.), Göttingen (1851).
Rouché, E., Mémoire sur la série de Lagrange, J. École Polytech. 22 (1862), 193–224 (with the comparison lemma at pp. 217–218).
Picard, É., Mémoire sur les fonctions entières, Annales scientifiques de l'É.N.S. 2e série, 9 (1880), 145–166.
Hurwitz, A., Über die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt, Math. Ann. 33 (1889), 273–284.
Landau, E., Über den Picardschen Satz, Vierteljahrsschr. Naturforsch. Ges. Zürich 51 (1906), 252–318.
Nevanlinna, R., Le théorème de Picard-Borel et la théorie des fonctions méromorphes, Gauthier-Villars (1929).
Ahlfors, L. V., Complex Analysis, 3rd ed., McGraw-Hill (1979). Ch. 4 §5.
Conway, J. B., Functions of One Complex Variable I, 2nd ed., GTM 11, Springer (1978). §V.3.
Stein, E. M. and Shakarchi, R., Complex Analysis, Princeton Lectures in Analysis II, Princeton (2003). §3.4.
Needham, T., Visual Complex Analysis, Oxford University Press (1997). Ch. 7.
Markushevich, A. I., Theory of Functions of a Complex Variable, AMS Chelsea (2005). §17.

Prerequisites

06.01.10

Tier anchors

beginner: Needham *Visual Complex Analysis* §7.I (winding numbers and the topology of $f \circ \gamma$); 3Blue1Brown 'winding numbers and FTA'
intermediate: Ahlfors *Complex Analysis* Ch. 4 §5; Stein-Shakarchi Vol. II §3.4; Conway *Functions of One Complex Variable* §V.3
master: Cauchy 1825 *Mémoire sur les intégrales définies prises entre des limites imaginaires* and 1826 *Sur un nouveau genre de calcul analogue au calcul infinitésimal* (originating residue theorem and the special case of the argument principle); Rouché 1862 *Mémoire sur la série de Lagrange* (eponymous theorem); Hurwitz 1889 *Über die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt*; Picard 1879, Landau 1904 (refined applications); Ahlfors *Complex Analysis* Ch. 4 §5

References

TODO_REF
Ahlfors — Complex Analysis · Ch. 4 §5 (argument principle, Rouché's theorem, open mapping theorem, Hurwitz)
TODO_REF
Cauchy — Mémoire sur les intégrales définies prises entre des limites imaginaires (1825) · originating reference for the residue calculus that supplies the argument principle
TODO_REF
Rouché — Mémoire sur la série de Lagrange (1862) · J. École Polytech. 22, 217–218; the eponymous zero-comparison theorem
TODO_REF
Hurwitz — Über die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt (1889) · Math. Ann. 33; limits-of-non-vanishing theorem for holomorphic sequences
TODO_REF
Landau — Über einen Satz von Herrn Esclangon (1904) and related notes · early-twentieth-century refinements of zero-counting in entire-function theory

Reviewer

TBD

Estimated time

beginner: 15m
intermediate: 35m
master: 65m