Complex Methods in Physics - Main Theorem

The Residue Theorem stands as the central computational tool in complex analysis, enabling evaluation of a vast class of integrals through algebraic residue calculations.

TheoremResidue Theorem

Let $f(z)$ be analytic in a domain $D$ except for isolated singularities at $z_1, z_2, \ldots, z_n$ inside a positively oriented simple closed contour $C \subset D$ . Then:

$\oint_C f(z)\,dz = 2\pi i\sum_{k=1}^n \text{Res}(f, z_k)$

where $\text{Res}(f, z_k)$ is the residue of $f$ at $z_k$ .

Computing Residues

For different types of singularities, we have specific methods:

Simple pole at $z_0$ (order 1): $\text{Res}(f, z_0) = \lim_{z \to z_0}(z - z_0)f(z)$

Pole of order $m$ : $\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]$

For $f(z) = g(z)/h(z)$ with simple pole (where $g(z_0) \neq 0$ , $h(z_0) = 0$ , $h'(z_0) \neq 0$ ): $\text{Res}(f, z_0) = \frac{g(z_0)}{h'(z_0)}$

ExampleIntegral with Multiple Poles

Evaluate $I = \int_0^{2\pi} \frac{d\theta}{2 + \cos\theta}$ using the substitution $z = e^{i\theta}$ , so $\cos\theta = (z + z^{-1})/2$ and $d\theta = dz/(iz)$ :

$I = \oint_{|z|=1} \frac{1}{2 + (z + z^{-1})/2}\frac{dz}{iz} = \oint_{|z|=1} \frac{2\,dz}{i(z^2 + 4z + 1)}$

The denominator has zeros at $z = -2 \pm \sqrt{3}$ . Only $z_0 = -2 + \sqrt{3}$ (which equals approximately $-0.27$ ) lies inside $|z| = 1$ . The residue is:

$\text{Res}(f, z_0) = \frac{2}{i \cdot 2z_0} = \frac{1}{i(-2 + \sqrt{3})}$

Thus: $I = 2\pi i \cdot \frac{1}{i(-2 + \sqrt{3})} = \frac{2\pi}{\sqrt{3}}$

Physical Applications

ExampleKramers-Kronig Relations

The Kramers-Kronig relations connect the real and imaginary parts of the response function $\chi(\omega)$ of a causal linear system. The function $\chi(\omega)$ is analytic in the upper half-plane and satisfies:

$\text{Re}[\chi(\omega)] = \frac{1}{\pi}P\int_{-\infty}^{\infty} \frac{\text{Im}[\chi(\omega')]}{\omega' - \omega}d\omega'$

$\text{Im}[\chi(\omega)] = -\frac{1}{\pi}P\int_{-\infty}^{\infty} \frac{\text{Re}[\chi(\omega')]}{\omega' - \omega}d\omega'$

where $P$ denotes the principal value. These follow from Cauchy's integral formula applied to a contour in the upper half-plane, using $\chi(\omega) \to 0$ as $|\omega| \to \infty$ .

ExampleQuantum Scattering Amplitude

The scattering amplitude $f(E)$ as a function of energy $E$ has poles in the complex plane corresponding to bound states and resonances. For a potential with a bound state at $E_0 < 0$ :

$f(E) \sim \frac{g^2}{E - E_0}$

The residue $g^2$ is related to the bound-state wave function normalization. Resonances appear as complex poles $E_R = E_0 - i\Gamma/2$ with width $\Gamma$ .

TheoremArgument Principle

If $f(z)$ is meromorphic (analytic except for poles) inside and on a simple closed contour $C$ , then:

$\frac{1}{2\pi i}\oint_C \frac{f'(z)}{f(z)}dz = N - P$

where $N$ is the number of zeros and $P$ is the number of poles of $f$ inside $C$ (counted with multiplicity).

The argument principle has applications in:

Nyquist stability criterion in control theory
Rouché's theorem for counting zeros
Levinson's theorem in quantum scattering theory

ExampleNyquist Criterion

For a feedback system with open-loop transfer function $L(s)$ , the closed-loop system is stable if and only if the Nyquist plot $L(i\omega)$ for $-\infty < \omega < \infty$ encircles the point $-1$ exactly $P$ times counterclockwise, where $P$ is the number of unstable poles of $L(s)$ .

RemarkDispersion Relations in Particle Physics

In quantum field theory, scattering amplitudes $\mathcal{M}(s)$ as functions of the Mandelstam variable $s$ satisfy dispersion relations:

$\mathcal{M}(s) = \mathcal{M}(0) + \frac{s}{\pi}\int_0^{\infty} \frac{\text{Im}[\mathcal{M}(s')]}{s'(s' - s - i\epsilon)}ds'$

These relations connect real and imaginary parts of amplitudes, relating the total cross section to the forward scattering amplitude (optical theorem).

The Residue Theorem transforms difficult integration problems into algebraic residue calculations, making it one of the most practically useful results in mathematical physics.