Contour Integration

1. Introduction

In real analysis, integration is performed over intervals of the real line. In complex analysis, we integrate along curves (contours) in the complex plane. This seemingly small generalization unleashes an extraordinary range of tools: path independence for analytic functions, Cauchy's theorem, the Cauchy integral formula, and ultimately the residue theorem.

A contour $C$ is a piecewise smooth curve $z(t) : [a, b] \to \mathbb{C}$. Given a complex function $f(z)$, we define the contour integral:

The integral depends on three things: the function $f$, the curve $C$, and the direction of traversal. For analytic functions, the dependence on the specific path drops away — a fact codified by Cauchy's theorem.

Contour integration connects to physics at every level: Fourier and Laplace inversion integrals, Green's functions as contour integrals, propagators in quantum field theory, and scattering amplitudes all rely on these techniques. Mastering contour integration is non-negotiable for the working physicist.

2. Line Integrals in $\mathbb{C}$

2.1 Definition and Parameterization

Let $C$ be a smooth curve parameterized by $z(t)$ for $t \in [a, b]$, and let $f(z)$ be continuous on $C$. The complex line integral is defined as:

Writing $f = u + iv$ and $dz = dx + i\,dy$, the integral decomposes into real and imaginary parts:

Each piece is an ordinary real line integral. This decomposition is the bridge to Green's theorem, which will be used to prove Cauchy's theorem.

2.2 The ML Inequality

A fundamental estimation tool. If $|f(z)| \le M$ on $C$ and $C$ has length $L$, then:

Proof: Using the property $\left|\int_a^b g(t)\,dt\right| \le \int_a^b |g(t)|\,dt$:

The ML inequality is essential for showing that contributions from large arcs vanish (Jordan's lemma), which justifies closing contours at infinity.

2.3 Worked Example: $\int_C z^2\,dz$

Consider integrating $f(z) = z^2$ from $0$ to $1 + i$ along different paths.

Path 1 (straight line): Parameterize as $z(t) = (1+i)t$, $t \in [0,1]$. Then $z'(t) = 1+i$:

Path 2 (L-shaped): First along the real axis from $0$ to $1$, then vertically from $1$ to $1+i$:

Both paths give $(-2 + 2i)/3$. This is expected: since $z^2$ is entire (analytic everywhere), the integral depends only on the endpoints, not the path. This is the content of Cauchy's theorem, which we now prove.

3. Cauchy's Theorem

3.1 Statement

If $f(z)$ is analytic throughout a simply connected domain $D$, and $C$ is any closed contour lying entirely in $D$, then:

3.2 Proof via Green's Theorem

We use the decomposition $f = u + iv$, $dz = dx + i\,dy$ and apply Green's theorem to each real line integral. Recall Green's theorem:

The real part of $\oint f\,dz$ is $\oint (u\,dx - v\,dy)$, so $P = u$, $Q = -v$:

By the Cauchy-Riemann equations ($u_x = v_y$, $u_y = -v_x$), the integrand is:

Similarly, the imaginary part $\oint(v\,dx + u\,dy)$ vanishes by the same argument. Therefore$\oint_C f(z)\,dz = 0$. $\;\square$

3.3 Multiply Connected Domains and Deformation of Contours

When the domain has "holes" (is multiply connected), Cauchy's theorem still applies with modification. If $f$ is analytic in the annular region between an outer contour $C_1$ and an inner contour $C_2$, then:

Both contours traversed counterclockwise. This is the deformation principle: a contour can be continuously deformed without changing the integral, as long as it does not cross any singularity of $f$.

Proof sketch: Connect $C_1$ and $C_2$ by a "crosscut" to form a simply connected domain. Apply Cauchy's theorem to the resulting closed contour. The contributions from the crosscut cancel (traversed in opposite directions), leaving the equality of the two contour integrals.

4. Cauchy Integral Formula

4.1 The Formula

Let $f(z)$ be analytic inside and on a simple closed contour $C$ (traversed counterclockwise), and let $z_0$ be any point inside $C$. Then:

4.2 Derivation

The integrand $f(z)/(z - z_0)$ has a singularity at $z_0$. By the deformation principle, we can shrink $C$ to a small circle $C_\epsilon$ of radius $\epsilon$ centered at $z_0$. Parameterize: $z = z_0 + \epsilon e^{i\theta}$, $dz = i\epsilon e^{i\theta}\,d\theta$:

The $\epsilon e^{i\theta}$ factors cancel:

Taking $\epsilon \to 0$, continuity of $f$ gives $f(z_0 + \epsilon e^{i\theta}) \to f(z_0)$:

4.3 Extension to Derivatives

By differentiating the Cauchy integral formula with respect to $z_0$, we obtain formulas for all derivatives of $f$:

Proof: Differentiating under the integral sign (justified by uniform convergence):

Iterating gives the general formula. The $n!$ arises from the $n$-th derivative of $(z - z_0)^{-(n+1)}$.

4.4 Cauchy's Inequality and Liouville's Theorem

Applying the ML inequality to the derivative formula with $C$ a circle of radius $R$:

where $M(R) = \max_{|z-z_0|=R}|f(z)|$. For a bounded entire function, $M(R) \le M$ for all $R$. Taking $n = 1$ and $R \to \infty$ gives $f' = 0$everywhere, so $f$ is constant. This is Liouville's theorem: every bounded entire function is constant.

5. Standard Contour Techniques

The power of contour integration emerges when we use it to evaluate real integrals. The strategy is always the same: embed the real integral as part of a closed contour in $\mathbb{C}$, close the contour so that the "extra" parts either vanish or can be computed, then apply the residue theorem. Here we catalog the major contour types.

5.1 Semicircular Contours

For integrals of the form $\int_{-\infty}^{\infty} f(x)\,dx$ where $f(z)$ is a rational function with $\deg(\text{denominator}) \ge \deg(\text{numerator}) + 2$:

Classic example: $\int_{-\infty}^{\infty}\frac{dx}{1+x^2}$. The integrand $\frac{1}{1+z^2} = \frac{1}{(z+i)(z-i)}$ has poles at $z = \pm i$. Closing in the upper half-plane encloses $z = i$ with residue $\frac{1}{2i}$. Result: $2\pi i \cdot \frac{1}{2i} = \pi$.

5.2 Rectangular Contours

For integrands with periodicity in the imaginary direction (e.g., $e^{az}$ with period $2\pi i/a$), a rectangular contour is natural. The rectangle has vertices at $\pm R$ and $\pm R + 2\pi i$.

Typical application: Evaluating$\int_0^{\infty}\frac{dx}{e^x + 1}$. The function $\frac{1}{e^z + 1}$ has period $2\pi i$, and the top edge of the rectangle relates back to the bottom edge. The vertical sides vanish as $R \to \infty$, yielding$(1 - e^{2\pi i \cdot 0})\int = 2\pi i \cdot \text{Res}$ — though this particular case requires care with the factor multiplying the integral.

5.3 Sector Contours

For integrals involving $e^{-x^n}$ or similar, a pie-slice (sector) contour of angle $\pi/n$ is used. The integral along the ray at angle $\pi/n$ is related to the original integral by $z = re^{i\pi/n}$, giving a multiplicative factor. The arc at radius $R$ vanishes by the ML inequality.

Example: The Fresnel integral$\int_0^{\infty}e^{-x^2}\,dx = \frac{\sqrt{\pi}}{2}$ can be obtained via a sector of angle $\pi/4$ using $e^{-z^2}$, which is entire.

5.4 Keyhole Contours

When the integrand has a branch cut along the positive real axis (e.g., $z^{a-1}$ for non-integer $a$), we use a keyhole contour:

Above the cut, $z = xe^{i0}$; below, $z = xe^{2\pi i}$. For $z^{a-1}$, this gives a factor of $e^{2\pi i(a-1)}$ difference between the two line integrals:

This technique yields $\int_0^{\infty}\frac{x^{a-1}}{1+x}\,dx = \frac{\pi}{\sin(\pi a)}$ for $0 < a < 1$.

5.5 Indentation for Poles on the Real Axis

When $f$ has a simple pole at a real point $x_0$, the integral $\int_{-\infty}^{\infty}f(x)\,dx$ does not converge in the ordinary sense. We define the Cauchy principal value:

To evaluate this, we indent the contour with a small semicircle of radius $\epsilon$ around $x_0$. A small semicircle above the real axis (going counterclockwise) contributes$-\pi i \cdot \text{Res}_{z=x_0}f(z)$ (half the full residue, with a sign from the orientation).

This technique is essential in quantum mechanics for handling Green's functions and propagators, where poles on the real axis correspond to physical particles on shell.

6. Applications in Physics

7. Historical Context

The theory of contour integration was developed primarily by Augustin-Louis Cauchy (1789–1857), who published his foundational results in 1825 in his Mémoire sur les intégrales définies prises entre des limites imaginaires. Cauchy established the integral theorem, the integral formula, and the calculus of residues in a remarkable burst of productivity.

Cauchy's original proof assumed continuity of $f'(z)$. In 1900, Édouard Goursat showed this hypothesis was unnecessary: mere differentiability of $f$ suffices. This is the Cauchy-Goursat theorem. The proof uses a subdividing-squares argument rather than Green's theorem.

The development of specific contour techniques — semicircular, keyhole, rectangular, sector — evolved over the 19th century through the work of Cauchy, Riemann, and many others. These methods became standard tools in mathematical physics through the influential textbooks of Whittaker and Watson (1902) and later Courant and Hilbert.

In the 20th century, contour integration became indispensable in quantum mechanics (Green's functions, scattering theory) and quantum field theory (Feynman propagators, dispersion relations). The$i\epsilon$ prescription and the Wick rotation are direct descendants of Cauchy's contour deformation principle.

8. Python Simulation: Numerical Contour Integration

This simulation numerically evaluates contour integrals by parameterizing paths and using the trapezoidal rule. It demonstrates path independence for analytic functions, verifies the Cauchy integral formula, evaluates real integrals via semicircular contours, and illustrates the ML inequality. All computations use numpy only.