Why It Matters
Core Definitions
Key Formulas
Important Theorems
Worked Examples
Practice Problems
Common Mistakes
| Mistake | Correction | Example |
|---|---|---|
| Forgetting to check if poles are inside the contour | Only sum residues of singularities inside | For , only upper half-plane poles if closing upward |
| Wrong sign for clockwise orientation | Clockwise gives instead of | |
| Misidentifying pole order | Factor carefully; check | : order 2 at , order 1 at |
| Forgetting the factor in trigonometric substitutions | , not | |
| Incorrect residue for higher-order poles | Must take the -th derivative for order | Order 2: take first derivative of |
| Not verifying arc vanishes | Must show using ML or Jordan's lemma | Check with |
| Wrong branch for multi-valued functions | Choose consistent branch; track the argument change | , not |
| Confusing the cotangent kernel | has simple poles at integers with residue 1 |
Interview / Exam Questions
Q1: State the residue theorem and explain how it reduces integration to algebra.
A1: The residue theorem: if is analytic inside and on except at isolated singularities inside , then . This converts integration (a limiting process) into algebra (computing limits and derivatives). You find the singularities, compute the Laurent coefficients (residues), and sum them. The integral is then just times this sum. No parameterization of the contour is needed — only the topology (which singularities are inside ) matters.
Q2: How do you choose between direct parameterization and the residue theorem?
A2: Use the residue theorem when the integrand has singularities inside the contour — the theorem avoids parameterizing the full path and instead uses local data (residues). Use direct parameterization for simple contours with no singularities inside (where the integral is zero) or when the parameterization is trivial (e.g., ). The residue theorem is essential for: (1) trigonometric integrals over , (2) improper integrals over where the arc vanishes, and (3) integrals involving branch cuts via keyhole contours.
Q3: Explain Jordan's lemma and when it applies.
A3: Jordan's lemma: if uniformly as in the upper half-plane, then for , where is the upper semicircle. The key is the exponential decay of in the upper half-plane (). This justifies discarding the arc in Fourier-type integrals. It applies to integrals of the form where is rational and vanishes at infinity.
Q4: What is the argument principle, and what information does it provide?
A4: The argument principle: , the difference between the number of zeros () and poles () of inside . It provides topological information about without finding the zeros explicitly. Combined with Rouché's theorem, it can count zeros in regions (e.g., "how many roots of are in the right half-plane?"). The integral measures the winding number of around the origin.
Q5: How would you evaluate for ?
A5: Substitute , , :
Roots of : . Since , one root has (inside the unit circle) and the other has .
Residue at : .
Result: .
Q6: Explain how to use Rouché's theorem to prove the fundamental theorem of algebra.
A6: To prove every degree- polynomial has roots: let . Take and . On (large): and . For large enough, . By Rouché, has the same number of zeros as inside , which is . Since this holds for all large , has exactly roots in .
Quick Reference
Cross-References
- 091 - Complex Numbers — Polar form used for unit circle parameterization; roots of unity appear in series evaluations.
- 092 - Complex Functions — Singularity classification (from 092) determines which residue formulas apply.
- 093 - Contour Integration — Cauchy's theorem and integral formula are special cases of the residue theorem (when no singularities are enclosed).
- 095 - Applications — Fourier transform inversion, signal processing, and control theory stability criteria use residue calculus.
- Number Theory — The Basel problem () is proved using residues.
- Differential Equations — Green's functions and Laplace transforms use contour integrals and residues for inversion.