Theorem 12.1 (Argument Principle). If f is meromorphic inside and on a simple closed contour γ with no zeros or poles on γThen
2πi1∫γf(z)f"(z)dz=N−P
Where N is the number of zeros and P is the number of poles of f inside γ (counting Multiplicities).
12.2 Rouché’s Theorem
Theorem 12.2 (Rouché’s Theorem). If f and g are analytic inside and on a simple closed Contour γAnd ∣f(z)∣>∣g(z)∣ on γThen f and f+g have the same number of Zeros inside γ.
Proof. On γ: ∣g(z)/f(z)∣<1. The function h(z)=1+g(z)/f(z) satisfies ∣h(z)−1∣<1 on γSo h(γ) does not wind around 0. By the argument principle Applied to h: 0=Nh−PhMeaning h has the same number of zeros and poles inside γ. But h=(f+g)/fSo zeros of h are zeros of f+g and poles of h are zeros of f. Therefore f and f+g have the same number of zeros. ■
12.3 Worked Example
Problem. Show that z4+6z+3 has exactly one root in ∣z∣<1.
Solution. On ∣z∣=1: ∣6z∣=6>∣z4+3∣≤∣z∣4+3=4. By Rouché’s theorem with f(z)=6z and g(z)=z4+3: f+g=z4+6z+3 has the same number of zeros in ∣z∣<1 as f(z)=6zWhich has exactly one zero (at z=0). ■
Solution
Problem. Show that all roots of z4+z+1=0 satisfy ∣z∣<2.
On ∣z∣=2: ∣z4∣=16>∣z+1∣≤3. By Rouché with f(z)=z4 and g(z)=z+1: z4+z+1 has 4 zeros in ∣z∣<2 (same as z4).
Problem. Show that z5+3z2+1 has exactly two roots in ∣z∣<1.
On ∣z∣=1: ∣3z2+1∣≥∣3z2∣−∣1∣=2>∣z5∣=1. By Rouché with f(z)=3z2+1 and g(z)=z5: z5+3z2+1 has the same number of zeros as 3z2+1 in ∣z∣<1. 3z2+1=0⇒z=±i/3Both in ∣z∣<1. So 2 zeros.