Chapter 6 • Theory & Derivations

The Residue Theorem, Argument Principle & Rouché's Theorem

Residue calculus at simple and higher-order poles, Cauchy's residue theorem, logarithmic derivatives, Argument Principle, and Rouché's root-counting theorem.

§6.1 Definition of Residue & Calculation Techniques for Simple and Multiple Poles

1. Definition of Residue

The residue of $f(z)$ at an isolated singularity $z_0$ is the coefficient $c_{-1}$ of $\frac{1}{z - z_0}$ in its Laurent series expansion:

$$\text{Res}(f, z_0) = c_{-1} = \frac{1}{2\pi i} \oint_\gamma f(z)\,dz$$

2. Operational Formulas for Computing Residues

Formulas for Residues:

Simple Pole ($m = 1$): $$\text{Res}(f, z_0) = \lim_{z \to z_0} (z - z_0) f(z)$$ If $f(z) = \frac{p(z)}{q(z)}$ where $p(z_0) \ne 0$, $q(z_0) = 0$, and $q'(z_0) \ne 0$: $$\text{Res}(f, z_0) = \frac{p(z_0)}{q'(z_0)}$$
Pole of Order $m \ge 1$: $$\text{Res}(f, z_0) = \frac{1}{(m - 1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \left[ (z - z_0)^m f(z) \right]$$

§6.2 Cauchy's Residue Theorem & Homology Formulation

1. Cauchy's Residue Theorem

Theorem 6.1 (Cauchy's Residue Theorem): Let $D$ be a simply connected domain and $\gamma$ a simple closed counter-clockwise contour in $D$. Let $f(z)$ be holomorphic on and inside $\gamma$, except at a finite number of isolated singularities $z_1, z_2, \dots, z_k$ lying strictly in the interior of $\gamma$. Then: $$\oint_\gamma f(z)\,dz = 2\pi i \sum_{j=1}^k \text{Res}(f, z_j)$$

§6.3 The Argument Principle, Logarithmic Derivatives & Zeros/Poles Counting

1. The Logarithmic Derivative

If $f(z)$ has a zero of order $m$ at $z_0$, $f(z) = (z - z_0)^m g(z)$ with $g(z_0) \ne 0$. Then $\frac{f'(z)}{f(z)} = \frac{m}{z - z_0} + \frac{g'(z)}{g(z)}$, giving a simple pole with residue $m$.

If $f(z)$ has a pole of order $p$ at $z_0$, $f(z) = (z - z_0)^{-p} h(z)$, giving residue $-p$.

2. The Argument Principle

Theorem 6.2 (The Argument Principle): Let $f(z)$ be meromorphic in a domain containing a simple closed contour $\gamma$ and its interior, with no zeros or poles on $\gamma$. Let $Z$ be the number of zeros and $P$ the number of poles of $f(z)$ inside $\gamma$ (counted with multiplicity). Then: $$\frac{1}{2\pi i} \oint_\gamma \frac{f'(z)}{f(z)}\,dz = Z - P = \frac{1}{2\pi} \Delta_\gamma \arg f(z)$$ where $\Delta_\gamma \arg f(z)$ is the total change in the argument of $f(z)$ as $z$ traverses $\gamma$ once counter-clockwise.

§6.4 Rouché's Theorem & Location of Polynomial Roots in Disk Regions

1. Rouché's Theorem

Theorem 6.3 (Rouché's Theorem): Let $f(z)$ and $g(z)$ be holomorphic on and inside a simple closed contour $\gamma$. If the strict inequality: $$|g(z)| < |f(z)| \quad \text{for all } z \in \gamma$$ holds on the boundary $\gamma$, then $f(z)$ and $f(z) + g(z)$ have the exact same number of zeros (counted with multiplicity) inside $\gamma$.

Proof Intuition: Think of a person walking a dog on a leash around a flagpole. If the person's distance from the pole $|f(z)|$ is strictly greater than the length of the leash $|g(z)|$, the dog must wind around the flagpole the exact same number of times as the person!

TIERED UNIVERSITY HONORS PROBLEMS

Step-by-Step Solved Examination Problems

Comprehensive analytical derivations, multi-tier solutions (Foundational, Intermediate Exam, and Honors/Proof Challenge) with complete line-by-line verification.

Tier 1 • Foundational Example 6.1: Residue Computation at Simple and Multiple Poles

Calculate the residues at all poles for:

f(z) = \frac{z^2 + 1}{(z - 1)^2 (z + 2)}

Step 1: Identify poles and orders

Pole at $z = -2$: simple pole (order 1).
Pole at $z = 1$: double pole (order 2).

Step 2: Residue at simple pole $z = -2$

\text{Res}(f, -2) = \lim_{z \to -2} (z + 2) f(z) = \lim_{z \to -2} \frac{z^2 + 1}{(z - 1)^2} = \frac{(-2)^2 + 1}{(-2 - 1)^2} = \frac{5}{(-3)^2} = \frac{5}{9}

Step 3: Residue at double pole $z = 1$
Using formula for pole of order 2 ($m = 2$):

\text{Res}(f, 1) = \frac{1}{(2 - 1)!} \lim_{z \to 1} \frac{d}{dz} \left[ (z - 1)^2 f(z) \right] = \lim_{z \to 1} \frac{d}{dz} \left( \frac{z^2 + 1}{z + 2} \right)

Quotient rule:

\frac{d}{dz} \left( \frac{z^2 + 1}{z + 2} \right) = \frac{2z(z + 2) - (z^2 + 1)(1)}{(z + 2)^2} = \frac{2z^2 + 4z - z^2 - 1}{(z + 2)^2} = \frac{z^2 + 4z - 1}{(z + 2)^2}

Evaluate at $z = 1$:

\text{Res}(f, 1) = \frac{1^2 + 4(1) - 1}{(1 + 2)^2} = \frac{4}{9}

(Notice: $\text{Res}(f, -2) + \text{Res}(f, 1) = \frac{5}{9} + \frac{4}{9} = 1 = -\text{Res}(f, \infty)$).

Final Answer & Physical Insight

$\text{Res}(f, -2) = \frac{5}{9}$ and $\text{Res}(f, 1) = \frac{4}{9}$.

Tier 2 • Intermediate Exam Example 6.2: Improper Rational Integral via Semicircular Contour

Evaluate using contour integration:

\int_{-\infty}^\infty \frac{x^2}{(x^2 + 1)(x^2 + 4)}\,dx

Step 1: Complex extension and contour
Let $f(z) = \frac{z^2}{(z^2 + 1)(z^2 + 4)}$. Integrate over $\Gamma_R = [-R, R] \cup C_R$ where $C_R$ is the upper semicircle in the upper half-plane $\text{Im}(z) > 0$.

Step 2: Poles in the upper half-plane
Denominator roots: $z = \pm i$ and $z = \pm 2i$. Poles with $\text{Im}(z) > 0$: $z_1 = i$ and $z_2 = 2i$.

Step 3: Residue at $z_1 = i$

\text{Res}(f, i) = \lim_{z \to i} (z - i) \frac{z^2}{(z - i)(z + i)(z^2 + 4)} = \frac{i^2}{(2i)(i^2 + 4)} = \frac{-1}{(2i)(3)} = \frac{-1}{6i} = \frac{i}{6}

Step 4: Residue at $z_2 = 2i$

\text{Res}(f, 2i) = \lim_{z \to 2i} (z - 2i) \frac{z^2}{(z^2 + 1)(z - 2i)(z + 2i)} = \frac{(2i)^2}{((2i)^2 + 1)(4i)} = \frac{-4}{(-3)(4i)} = \frac{1}{3i} = -\frac{i}{3}

Step 5: Apply Residue Theorem

\int_{-\infty}^\infty \frac{x^2}{(x^2 + 1)(x^2 + 4)}\,dx = 2\pi i [\text{Res}(f, i) + \text{Res}(f, 2i)] = 2\pi i \left( \frac{i}{6} - \frac{i}{3} \right) = 2\pi i \left(-\frac{i}{6}\right) = \frac{2\pi}{6} = \frac{\pi}{3}

Final Answer & Physical Insight

$\frac{\pi}{3}$

Tier 3 • Honors Challenge Example 6.3: Evaluation of Fresnel Integrals via Sector Contour

Evaluate the Fresnel integrals $\int_0^\infty \cos(x^2)\,dx = \int_0^\infty \sin(x^2)\,dx = \frac{\sqrt{2\pi}}{4}$ by integrating $f(z) = e^{iz^2}$ over an octant sector contour.

Step 1: Contour setup
Consider $f(z) = e^{iz^2}$ integrated along the sector $\Gamma$ of radius $R$ from angle $0$ to $\pi/4$:

Leg 1: $z = x, x \in [0, R]$ on the real axis.
Leg 2: Circular arc $C_R: z = R e^{i\theta}, \theta \in [0, \pi/4]$.
Leg 3: Ray $z = r e^{i\pi/4}, r \in [R, 0]$.

Since $e^{iz^2}$ is entire, Cauchy's Theorem gives $\oint_\Gamma e^{iz^2}\,dz = 0$.

Step 2: Circular arc $C_R$ as $R \to \infty$
On $C_R$, $z^2 = R^2 e^{2i\theta} = R^2(\cos 2\theta + i\sin 2\theta) \implies iz^2 = -R^2\sin 2\theta + i R^2\cos 2\theta$.

|e^{iz^2}| = e^{-R^2 \sin 2\theta}

Since $\sin 2\theta \ge \frac{4\theta}{\pi}$ for $\theta \in [0, \pi/4]$ (Jordan's inequality):

\left| \int_{C_R} e^{iz^2}\,dz \right| \le R \int_0^{\pi/4} e^{-R^2 (4\theta/\pi)}\,d\theta = R \frac{\pi}{4R^2} (1 - e^{-R^2}) \to 0 \quad \text{as } R \to \infty

Step 3: Ray at $\pi/4$
$z = r e^{i\pi/4} \implies z^2 = r^2 e^{i\pi/2} = i r^2 \implies i z^2 = -r^2$, and $dz = e^{i\pi/4} dr$.

\int_{\text{Leg 3}} e^{iz^2}\,dz = \int_R^0 e^{-r^2} e^{i\pi/4}\,dr = -e^{i\pi/4} \int_0^R e^{-r^2}\,dr \to -e^{i\pi/4} \frac{\sqrt{\pi}}{2}

Step 4: Sum of integrals

\int_0^\infty e^{ix^2}\,dx + 0 - e^{i\pi/4} \frac{\sqrt{\pi}}{2} = 0 \implies \int_0^\infty (\cos x^2 + i\sin x^2)\,dx = e^{i\pi/4} \frac{\sqrt{\pi}}{2}

Since $e^{i\pi/4} = \frac{\sqrt{2}}{2} + i\frac{\sqrt{2}}{2}$:

\int_0^\infty \cos(x^2)\,dx = \frac{\sqrt{2\pi}}{4}, \qquad \int_0^\infty \sin(x^2)\,dx = \frac{\sqrt{2\pi}}{4}

Final Answer & Physical Insight

$\int_0^\infty \cos(x^2)dx = \int_0^\infty \sin(x^2)dx = \frac{\sqrt{2\pi}}{4}$