Introduction to the Residue Theorem

The Residue Theorem What is a Residue? Before diving into the theorem itself, you need to understand what a residue is. When you expand a complex function $f(z)$ in a Laurent series around an isolated singularity $z0$, you get a series with both positive and negative powers of $(z - z0)$: $$f(z) = \sum{n=-\infty}^{\infty} an (z-z0)^n$$ The residue of $f$ at $z0$ is simply the coefficient $a{-1}$ of the term $\frac{1}{z-z0}$ in this expansion. We denote it as $\operatorname{Res}(f; z0)$. Physically, this coefficient captures something important: it represents the "circulation" or "winding" that the function contributes near the singular point. The fact that this single coefficient turns out to be crucial for evaluating integrals is one of the most elegant results in complex analysis. Isolated Singularities An isolated singularity is a point $z0$ where a complex function $f(z)$ is not analytic, but is analytic everywhere else in some small punctured disk around $z0$ (that is, in the region $0 < |z - z0| < r$ for some radius $r > 0$). This is a key distinction: the singularity is "isolated" because the function behaves normally everywhere nearby except at that one point. This is why we can use the Laurent series—the function is still "nice enough" in the neighborhood to have a power series expansion, just one that includes negative powers. The Residue Theorem: Core Idea Here's the remarkable central idea: when you integrate a complex function around a closed contour, the result depends only on the residues at the singularities enclosed by that contour. This transforms what could be a difficult or impossible integral calculation into something algebraic: you just need to find the residues and add them up. This is why the residue theorem is so powerful—it bypasses the actual integration. Formal Statement of the Residue Theorem To apply the residue theorem, several conditions must be met: Setup: Let $C$ be a positively oriented (counterclockwise) simple closed curve in the complex plane. Let $f(z)$ be a complex function that is analytic everywhere on and inside $C$ except for a finite number of isolated singularities at points $z1, z2, \ldots, zn$ inside $C$. The Theorem: Under these conditions, $$\oint{C} f(z)\,dz = 2\pi i \sum{k=1}^{n} \operatorname{Res}(f; zk)$$ That's it. The integral around the entire contour equals $2\pi i$ times the sum of all residues inside. Why the $2\pi i$ Factor? The factor $2\pi i$ appears because of the positive (counterclockwise) orientation of $C$. If you traversed the contour in the opposite direction, you'd get $-2\pi i$ times the sum. This orientation matters, and it's a common source of sign errors—always check that your contour is oriented counterclockwise before applying the formula. Computing Residues at Simple Poles The most common case you'll encounter is a simple pole—that is, an isolated singularity where the function looks like $\frac{g(z)}{z - z0}$ near $z0$, with $g(z0) \neq 0$. For a simple pole at $z0$, there's a clean formula: $$\operatorname{Res}(f; z0) = \lim{z \to z0} (z - z0) f(z)$$ How to use this: Multiply $f(z)$ by $(z - z0)$, then take the limit as $z \to z0$. The $(z - z0)$ factor cancels the pole, leaving you with a finite value—that's the residue. Example Consider $f(z) = \frac{1}{z(z-1)}$. It has simple poles at $z = 0$ and $z = 1$. At $z = 0$: $$\operatorname{Res}(f; 0) = \lim{z \to 0} z \cdot \frac{1}{z(z-1)} = \lim{z \to 0} \frac{1}{z-1} = \frac{1}{-1} = -1$$ At $z = 1$: $$\operatorname{Res}(f; 1) = \lim{z \to 1} (z-1) \cdot \frac{1}{z(z-1)} = \lim{z \to 1} \frac{1}{z} = 1$$ <extrainfo> Higher-Order Poles For a pole of order $m > 1$ at $z0$, the residue is given by: $$\operatorname{Res}(f; z0) = \frac{1}{(m-1)!} \lim{z \to z0} \frac{d^{m-1}}{dz^{m-1}} \left[ (z-z0)^m f(z) \right]$$ You can also find residues by computing the Laurent series directly, but the above formula is often faster for computational purposes. </extrainfo> Applying the Residue Theorem to Real Integrals One of the most powerful applications is evaluating improper integrals of real-valued functions from $-\infty$ to $\infty$. The strategy is: Reinterpret the real integral as the real part of a complex contour integral Choose a clever contour in the complex plane that includes the real axis Close the contour by adding a semicircular arc in either the upper or lower half-plane Apply the residue theorem to find the value of the complex integral Extract the real part to get your answer Choosing the Correct Half-Plane The key choice is whether to close your contour in the upper or lower half-plane. This depends on which half-plane contains the poles: Poles in the upper half-plane: Close the contour with a semicircle above the real axis Poles in the lower half-plane: Close the contour with a semicircle below the real axis Once you've enclosed the relevant poles, you can apply the residue theorem and evaluate the integral. Summary The residue theorem connects three major ideas: What residues are: coefficients in Laurent series expansions Why they matter: they completely determine the behavior of contour integrals How to use them: compute residues at poles inside your contour, multiply by $2\pi i$, and sum Mastering residue computation at simple poles and understanding contour orientation are your priorities for exam success.