Skip to content

Argument Principle and Rouché's Theorem

12.1 The Argument Principle

Theorem 12.1 (Argument Principle). If ff is meromorphic inside and on a simple closed contour γ\gamma with no zeros or poles on γ\gammaThen

12πiγf"(z)f(z)dz=NP\frac{1}{2\pi i}\int_\gamma \frac{f"(z)}{f(z)}\, dz = N - P

Where NN is the number of zeros and PP is the number of poles of ff inside γ\gamma (counting Multiplicities).

12.2 Rouché’s Theorem

Theorem 12.2 (Rouché’s Theorem). If ff and gg are analytic inside and on a simple closed Contour γ\gammaAnd f(z)>g(z)|f(z)| \gt |g(z)| on γ\gammaThen ff and f+gf + g have the same number of Zeros inside γ\gamma.

Proof. On γ\gamma: g(z)/f(z)<1|g(z)/f(z)| \lt 1. The function h(z)=1+g(z)/f(z)h(z) = 1 + g(z)/f(z) satisfies h(z)1<1|h(z) - 1| \lt 1 on γ\gammaSo h(γ)h(\gamma) does not wind around 00. By the argument principle Applied to hh: 0=NhPh0 = N_h - P_hMeaning hh has the same number of zeros and poles inside γ\gamma. But h=(f+g)/fh = (f + g)/fSo zeros of hh are zeros of f+gf + g and poles of hh are zeros of ff. Therefore ff and f+gf + g have the same number of zeros. \blacksquare

12.3 Worked Example

Problem. Show that z4+6z+3z^4 + 6z + 3 has exactly one root in z<1|z| \lt 1.

Solution. On z=1|z| = 1: 6z=6>z4+3z4+3=4|6z| = 6 \gt |z^4 + 3| \leq |z|^4 + 3 = 4. By Rouché’s theorem with f(z)=6zf(z) = 6z and g(z)=z4+3g(z) = z^4 + 3: f+g=z4+6z+3f + g = z^4 + 6z + 3 has the same number of zeros in z<1|z| \lt 1 as f(z)=6zf(z) = 6zWhich has exactly one zero (at z=0z = 0). \blacksquare

Solution

Problem. Show that all roots of z4+z+1=0z^4 + z + 1 = 0 satisfy z<2|z| \lt 2.

On z=2|z| = 2: z4=16>z+13|z^4| = 16 \gt |z + 1| \leq 3. By Rouché with f(z)=z4f(z) = z^4 and g(z)=z+1g(z) = z + 1: z4+z+1z^4 + z + 1 has 44 zeros in z<2|z| \lt 2 (same as z4z^4).

Problem. Show that z5+3z2+1z^5 + 3z^2 + 1 has exactly two roots in z<1|z| \lt 1.

On z=1|z| = 1: 3z2+13z21=2>z5=1|3z^2 + 1| \geq |3z^2| - |1| = 2 \gt |z^5| = 1. By Rouché with f(z)=3z2+1f(z) = 3z^2 + 1 and g(z)=z5g(z) = z^5: z5+3z2+1z^5 + 3z^2 + 1 has the same number of zeros as 3z2+13z^2 + 1 in z<1|z| \lt 1. 3z2+1=0z=±i/33z^2 + 1 = 0 \Rightarrow z = \pm i/\sqrt{3}Both in z<1|z| \lt 1. So 22 zeros.