Applications of Contour Integration

Contour integration is a powerful tool for evaluating definite integrals.

Theorem 9.1. If $f(x) = P(x)/Q(x)$ where $\deg(Q) \geq \deg(P) + 2$ and $Q$ has no real roots, Then

$\int_{-\infty}^{\infty} f(x)\, dx = 2\pi i \sum_{\mathrm{Im}(z_k) > 0} \mathrm{Res}(f, z_k)$

Where the sum is over poles in the upper half-plane.

Proof. Integrate $f(z)$ over the semicircular contour $\gamma_R$ consisting of $[-R, R]$ on the Real axis and the semicircle $|z| = R$ in the upper half-plane. As $R \to \infty$The integral over The semicircle vanishes (since $|f(z)| \leq M/R^2$ and the length is $\pi R$). $\blacksquare$

Problem. Evaluate $\int_{-\infty}^{\infty} \frac{dx}{x^2 + 1}$.

Solution. $f(z) = \frac{1}{z^2 + 1}$ has simple poles at $z = \pm i$.

Only $z = i$ is in the upper half-plane.

$\mathrm{Res}\left(\frac{1}{z^2 + 1}, i\right) = \frac{1}{2z}\Big|_{z = i} = \frac{1}{2i}$.

$\int_{-\infty}^{\infty} \frac{dx}{x^2 + 1} = 2\pi i \cdot \frac{1}{2i} = \pi$. $\blacksquare$

For integrals of the form $\int_0^{2\pi} R(\cos\theta, \sin\theta)\, d\theta$Substitute $z = e^{i\theta}$ So $dz = iz\, d\theta$, $\cos\theta = \frac{z + z^{-1}}{2}$ $\sin\theta = \frac{z - z^{-1}}{2i}$.

The integral becomes $\int_{|z|=1} f(z)\, dz$ where $f(z)$ is a rational function.

Problem. Evaluate $\int_0^{2\pi} \frac{d\theta}{2 + \cos\theta}$.

Solution. Substitute $z = e^{i\theta}$: $d\theta = \frac{dz}{iz}$ $\cos\theta = \frac{z + 1/z}{2}$.

$\int_{|z|=1} \frac{dz}{iz\left(2 + \frac{z + 1/z}{2}\right)} = \int_{|z|=1} \frac{2\, dz}{i(z^2 + 4z + 1)}$

Poles: $z^2 + 4z + 1 = 0 \Rightarrow z = -2 \pm \sqrt{3}$.

$|z_1| = |-2 + \sqrt{3}| = 2 - \sqrt{3} \lt 1$ (inside). $|z_2| = |-2 - \sqrt{3}| = 2 + \sqrt{3} \gt 1$ (outside).

$\mathrm{Res}\left(\frac{1}{z^2 + 4z + 1}, z_1\right) = \frac{1}{2\sqrt{3}}$.

$\int_0^{2\pi} \frac{d\theta}{2 + \cos\theta} = \frac{2}{i} \cdot 2\pi i \cdot \frac{1}{2\sqrt{3}} = \frac{2\pi}{\sqrt{3}}$. $\blacksquare$

Theorem 9.2 (Jordan’s Lemma). If $f(z) \to 0$ uniformly as $|z| \to \infty$ in the upper Half-plane and $a \gt 0$ Then

$\lim_{R \to \infty} \int_{C_R} e^{iaz}f(z)\, dz = 0$

Where $C_R$ is the upper semicircle $|z| = R$, $\mathrm{Im}(z) \geq 0$.

This allows evaluation of integrals of the form $\int_{-\infty}^{\infty} f(x)\cos(ax)\, dx$ and $\int_{-\infty}^{\infty} f(x)\sin(ax)\, dx$.

For integrals where the integrand has poles on the real axis, we use the Cauchy principal value:

$\mathrm{PV}\!\int_{-\infty}^{\infty} f(x)\, dx = \lim_{\varepsilon \to 0^+} \left(\int_{-\infty}^{a-\varepsilon} f(x)\, dx + \int_{a+\varepsilon}^{\infty} f(x)\, dx\right)$

Mistake 1: Forgetting to close the contour in the correct half-plane. When evaluating real integrals using contour integration, the contour must be closed in the half-plane where the integrand vanishes on the semicircular arc. For $e^{iz}$, close in the upper half-plane; for $e^{-iz}$, close in the lower half-plane. Closing in the wrong half-plane leads to incorrect results.

Mistake 2: Assuming that all poles in the upper half-plane contribute. When using the residue theorem for real integrals, only include poles that lie strictly inside the contour. Poles on the real axis require special treatment (principal values or indentation). Do not include poles on the real axis in the residue sum without accounting for their contribution.

Mistake 3: Forgetting the half-residue contribution for poles on the real axis. When a simple pole lies on the real axis, the principal value integral includes a contribution of $\pi i$ times the residue (half of the full $2\pi i$ contribution). Forgetting this factor leads to incorrect results. Always check for poles on the real axis.

Mistake 4: Misapplying the substitution $z = e^{i\theta}$ for trigonometric integrals. When substituting $z = e^{i\theta}$, the integral $\int_0^{2\pi} R(\cos\theta, \sin\theta)\, d\theta$ becomes $\int_{|z|=1} f(z)\, dz$ where $f(z)$ is a rational function. Forgetting to replace $d\theta$ with $dz/(iz)$ or making errors in the substitution leads to incorrect results.

Mistake 5: Assuming that the integral over the semicircular arc vanishes. The integral over the semicircular arc vanishes only if the integrand decays sufficiently fast. For rational functions, the condition $\deg(Q) \geq \deg(P) + 2$ ensures this. For other integrands, check the decay explicitly using the ML inequality or Jordan’s lemma.

flowchart TD
    A[9_Applications Of Contour Integration] --> B[Key Concepts]
    A --> C[Core Principles]
    A --> D[Practical Applications]
    B --> E[Fundamental definitions]
    C --> F[Design patterns]
    D --> G[Real-world usage]

Contour integration exploits the fact that analytic functions have path-independent integrals, so deforming a contour does not change the answer as long as you avoid singularities. This turns difficult real integrals into easier complex ones. The residue theorem packages this: the integral around a closed contour equals 2 pi i times the sum of residues inside. Residues are like gravitational sources in a field: they determine the circulation of the integral around them. This technique computes integrals that are impossible by elementary methods, from Gaussian integrals to sums involving trigonometric functions.

• Singularities and Residue Theory: The residue theorem provides the computational tool for evaluating contour integrals.

• Complex Integration: Contour integration techniques form the foundation for evaluating real integrals.

• Conformal Mappings: Conformal mappings can transform difficult integrals into simpler ones that are easier to evaluate.

• Classical Mechanics

• Electromagnetism

This section provides detailed coverage of advanced concepts, including full derivations, proofs, and extended examples.

Complete mathematical derivations and proofs are provided where appropriate. Each step is explained to ensure understanding of the underlying reasoning.

Advanced examples demonstrate the application of concepts to complex problems. These examples go beyond standard exam questions to develop deeper understanding.

This material connects to current research and advanced applications in the field. Understanding these connections provides context for the study material.

Ensure you have mastered the prerequisite material before attempting this advanced content.