Why It Matters
Core Definitions
Key Formulas
Important Theorems
Worked Examples
Practice Problems
Common Mistakes
| Mistake | Correction | Example |
|---|---|---|
| Forgetting the factor in the residue theorem | The residue theorem states , not just | , not |
| Using the wrong orientation | Counterclockwise is positive; clockwise gives a minus sign | |
| Including singularities outside the contour | Only sum residues of singularities inside | If , don't include it |
| Wrong residue formula for higher-order poles | For order : , not just the limit | Need the derivative for |
| Forgetting the ML inequality | Large arcs vanish only if ; must verify the arc contribution vanishes | Check with |
| Incorrect parameterization | , not just | For : |
| Misidentifying pole order | Factor the denominator carefully; check the limit | has a pole of order 2 at |
Interview / Exam Questions
Q1: State Cauchy's integral theorem. What are its hypotheses, and why is the simply connected condition important?
A1: Cauchy's theorem states: if is analytic inside and on a simple closed contour , and the interior of is simply connected, then . The simply connected condition ensures there are no singularities "hidden" inside the contour. For example, because has a pole at inside the contour β the domain is not simply connected. The theorem holds because the Cauchy-Riemann equations make the integrand's "curl" vanish, and Green's theorem converts the contour integral to a double integral of this zero curl.
Q2: Why does Cauchy's integral formula imply that analytic functions are infinitely differentiable?
A2: Cauchy's formula expresses as an integral of an analytic integrand. Differentiating under the integral sign (justified by analyticity) gives , and repeated differentiation yields the generalized formula for . Since this works for all , is infinitely differentiable. In real analysis, a function can be differentiable once but not twice (e.g., ). Complex differentiability is far more restrictive.
Q3: How do you compute the residue of at a simple pole ?
A3: If is a simple zero of (i.e., but ), and , then:
This comes from near , so the residue (coefficient of ) is .
Example: .
Q4: Explain the deformation of contour principle and give an example.
A4: If is analytic in a region between two simple closed contours (outer) and (inner), and has no singularities between them, then (both counterclockwise). This is because the region between and is multiply connected, but Cauchy's theorem applied to this annular region shows the two contour integrals are equal.
Example: To compute , we can deform to two small circles: one around and one around , each giving times the local residue.
Q5: When is the residue theorem more useful than direct parameterization?
A5: The residue theorem is superior when: (1) The contour encloses singularities β you only need the residues, not the full parameterization. (2) The integral has multiple poles β the theorem converts integration to algebra (summing residues). (3) You need to evaluate integrals over large contours (as ) β residues capture the essential behavior while the contour contribution vanishes. Direct parameterization is simpler for elementary functions with no singularities inside the contour (where the integral is zero by Cauchy's theorem) or for very simple cases like .
Q6: What is the ML inequality, and when do you use it?
A6: The ML inequality states: if on a contour of length , then . It's used to bound contour integrals and show that contributions from arcs vanish. For example, to show as (where is a semicircle): on , and , so and . Thus .
Quick Reference
Cross-References
- 091 - Complex Numbers β Polar form and De Moivre's theorem are used to parameterize circular contours.
- 092 - Complex Functions β Analyticity and singularity classification (from 092) determine which residues to compute.
- 094 - Residue Theory Applications β The residue theorem applied to specific integral types (trigonometric, improper, keyhole).
- 095 - Applications β Fourier transform inversion uses contour integration; Green's functions in physics are built from Cauchy integrals.
- Vector Calculus (Topic 19): Green's theorem connects real line integrals to complex contour integrals; Stokes' theorem generalizes these ideas.
- Differential Equations β Cauchy integral formula provides solutions to differential equations via integral representations.