Contour integration - Evaluation Techniques and Integral Theorems
Understand how to evaluate contour integrals directly, apply the residue theorem, and use integral theorems (including branch cuts) to compute real integrals.
Summary
Read Summary
Flashcards
Save Flashcards
Quiz
Take Quiz
Quick Practice
What is the value of the contour integral $\oint{|z|=1} \frac{1}{z} \, dz$ when the unit circle is traversed counter-clockwise?
1 of 12
Summary
Direct Evaluation Methods for Complex Integrals
Introduction
When evaluating complex integrals, especially those over closed contours, we have powerful tools at our disposal. This material covers two main approaches: direct parametrization of contours and the residue theorem, which lets us compute integrals by finding the poles of our function and their residues. These methods are foundational for solving real integrals using complex analysis, a technique that often yields results that would be extremely difficult or impossible using real calculus alone.
Direct Evaluation: The Fundamental Example
Let's begin with the simplest yet most important example: evaluating a contour integral directly by parametrization.
The Integral of $1/z$ Around the Unit Circle
Consider the contour integral: $$\int{|z|=1}\frac{1}{z}\,dz$$
where the unit circle is traversed counter-clockwise. This integral is special because it equals $2\pi i$.
To evaluate this, we parametrize the unit circle. Let $z(t) = e^{it}$ where $t \in [0, 2\pi]$. This traces out the circle exactly once in the counter-clockwise direction as $t$ increases from $0$ to $2\pi$.
Taking the differential: $$dz = i e^{it}\,dt$$
Substituting into the integral: $$\int{0}^{2\pi}\frac{1}{e^{it}} \cdot i e^{it}\,dt = \int{0}^{2\pi} i\,dt = 2\pi i$$
The key insight here is that the $e^{it}$ terms cancel, leaving just $i$, which integrates to $2\pi i$.
Why is this example important? It demonstrates that $1/z$ behaves differently from all other powers of $z$. If we tried the same integral with $1/z^n$ for $n \neq 1$, the result would be zero around a closed contour. This special role of the $1/z$ term is at the heart of the residue theorem.
The Residue Theorem
The residue theorem is one of the most powerful results in complex analysis. It allows us to evaluate closed contour integrals without parametrization by counting the "residues" at the poles inside the contour.
Statement of the Theorem
For a closed contour $\Gamma$ and a function $f(z)$ that is analytic everywhere inside and on $\Gamma$ except at isolated singularities (poles) $z1, z2, \ldots, zn$:
$$\int{\Gamma} f(z)\,dz = 2\pi i \sum{k=1}^{n}\operatorname{Res}(f, zk)$$
Here, $\operatorname{Res}(f, zk)$ denotes the residue of $f$ at the pole $zk$—essentially the coefficient of the $1/(z - zk)$ term in the Laurent series expansion around that pole.
How to Apply the Theorem
The procedure is straightforward:
Identify all poles of $f(z)$ that lie inside the contour $\Gamma$
Compute the residue at each pole (we'll discuss methods for this in a moment)
Sum the residues and multiply by $2\pi i$
This is dramatically simpler than parametrizing the entire contour, especially when the contour is complicated or when $f$ has multiple poles.
Orientation Matters
The residue theorem assumes that the contour is positively oriented (counter-clockwise in the standard orientation of the complex plane). If your contour is traversed clockwise instead, the integral will be $-2\pi i$ times the sum of residues. This sign change is crucial to remember when setting up problems.
General Strategy: Using Integral Theorems to Evaluate Real Integrals
One of the most powerful applications of contour integration is evaluating difficult real integrals. The key idea is to embed the real integral into the complex plane and use the residue theorem.
The Overall Approach
Step 1: Design a contour. Choose a contour $\Gamma$ that:
Includes the original real integral as part of its path (this is crucial)
Encloses the singularities of $f(z)$ that lie in the upper half-plane (or whichever half-plane is most convenient)
Can be easily evaluated using the residue theorem
Step 2: Apply the residue theorem. Compute: $$\int{\Gamma} f(z)\,dz = 2\pi i \sum \operatorname{Res}(f, zk)$$
Step 3: Decompose the contour. Split the full contour integral into two parts:
Part $R$: the portion that coincides with your original real integral
Part $I$: the remaining portions (often semicircles or circular arcs)
So: $\int{\Gamma} = \intR + \intI$
Step 4: Show that the "extra" part vanishes. Demonstrate that $\intI \to 0$. This typically uses the estimation lemma (also called the ML-inequality): if a curve has length $L$ and $|f(z)| \leq M$ on that curve, then $|\int{\text{curve}} f(z)\,dz| \leq ML$.
Step 5: Solve for the real integral. Since $\int{\Gamma} = 2\pi i \sum \operatorname{Res}(f, zk)$ and $\intI \to 0$, we have: $$\intR = 2\pi i \sum \operatorname{Res}(f, zk)$$
This is your answer.
Example 1: Integrals with Rational Functions
A classic application involves integrals like: $$\int{-\infty}^{\infty} \frac{1}{(x^2+1)^2}\,dx$$
Setup: Extend this to the complex plane and consider $f(z) = \frac{1}{(z^2+1)^2}$. The poles occur where $z^2 + 1 = 0$, giving $z = \pm i$. Only $z = i$ lies in the upper half-plane.
Contour choice: Use a semicircular contour in the upper half-plane: the real axis from $-R$ to $R$, then a semicircular arc of radius $R$ back to the starting point.
Residue calculation: At the pole $z = i$ (which is a second-order pole), compute the residue using the formula for higher-order poles, or by expanding the Laurent series.
Vanishing integral: As $R \to \infty$, the integral over the semicircular arc vanishes because the denominator grows like $R^4$ while the arc length is $\pi R$, so the integral behaves like $\pi R / R^4 \to 0$.
Conclusion: The integral equals $2\pi i$ times the residue at $z = i$, giving a specific numerical value.
Example 2: Trigonometric Integrals via Substitution
Many trigonometric integrals over $[0, 2\pi]$ can be solved using the substitution $z = e^{i\theta}$.
The Technique
When you have an integral like: $$\int{0}^{2\pi} f(\cos\theta, \sin\theta)\,d\theta$$
use the substitution $z = e^{i\theta}$, which gives:
$\cos\theta = \frac{z + z^{-1}}{2}$
$\sin\theta = \frac{z - z^{-1}}{2i}$
$d\theta = \frac{dz}{iz}$
The integral becomes a contour integral around the unit circle $|z| = 1$: $$\int{|z|=1} f\left(\frac{z + z^{-1}}{2}, \frac{z - z^{-1}}{2i}\right) \frac{dz}{iz}$$
Evaluating the Result
Once converted to this form, the integrand becomes a rational function in $z$. To evaluate:
Find the poles of this rational function
Determine which poles lie inside the unit circle $|z| = 1$
Compute residues at those poles
Apply the residue theorem: the original integral equals $2\pi i$ times the sum of those residues
Why This Works
This substitution is powerful because it converts a trigonometric integral over a fixed interval into a contour integral around a natural, simple contour (the unit circle). The transformation automatically handles the periodicity and boundary conditions.
Example 3: Branch Cut Integrals with Keyhole Contours
Some integrals involve multi-valued functions like $z^{1/2}$ or $\log z$. These require careful treatment using branch cuts and specialized keyhole contours.
Setting Up the Branch Cut
To make a function like $z^{1/2}$ single-valued, we define a branch cut—a ray in the complex plane where we "cut" the domain. A common choice for $z^{1/2}$ is to cut along the positive real axis.
With this cut, we define: $$z^{1/2} = e^{\frac{1}{2}\log z}$$
where $\log z$ is defined with argument in $(-\pi, \pi]$ (or whichever range you choose for single-valuedness).
The Keyhole Contour
A keyhole contour is designed to integrate around a branch cut without crossing it. It consists of:
A large circle of radius $R$ centered at the origin
A small circle of radius $\epsilon$ centered at the origin
Two line segments parallel to the branch cut, one just above it and one just below it
The contour winds around the branch cut without actually crossing it, allowing you to apply the residue theorem while respecting the multivalued nature of your function.
Key Insight: The Jump Across the Cut
When you go around the cut, the function picks up a phase factor. For $z^{1/2}$, moving from just below the cut to just above the cut at the same real value introduces a factor of $e^{2\pi i \cdot (1/2)} = e^{\pi i} = -1$.
More generally, if $f(x + i0^-) = e^{i\phi} f(x + i0^+)$, then the two integrals along the sides of the cut relate to each other by this phase factor.
Vanishing Contributions
The contributions from the large outer circle and small inner circle typically vanish:
The outer circle's contribution goes to zero as $R \to \infty$ because the integrand decays
The inner circle's contribution goes to zero as $\epsilon \to 0$ because the radius shrinks
This leaves only the integrals along the two sides of the cut, which can then be evaluated using the residue theorem.
Example Structure
For an integral like $\int0^{\infty} \frac{\sqrt{x}}{x^2 + 1}\,dx$:
Extend to $f(z) = \frac{z^{1/2}}{z^2 + 1}$ with branch cut on positive real axis
Use a keyhole contour
The sum of the two integrals along the sides of the cut equals $2\pi i$ times the sum of residues
The two integrals differ by the factor $-1$ from the branch jump
Solve for the original integral
<extrainfo>
Example 4: Advanced Branch Cut Integrals
For integrals involving $(\log z)^2$ or similar functions, the strategy remains similar but requires careful tracking of how the function changes across the branch cut.
Key Steps:
The contributions from the circular arcs (large outer and small inner) vanish by standard estimates
What remains are integrals along the two sides of the cut
The square of the logarithm picks up additional phase factors as you go around the cut
Apply the residue theorem to relate the integrals to the residues at poles
These integrals are more technically involved but follow the same conceptual framework as simpler branch cut integrals.
</extrainfo>
<extrainfo>
Example 5: Residues at Infinity
For complete generality, the residue theorem can be extended to include a "residue at infinity." This is useful when:
You want to verify that the sum of all residues (including at infinity) equals zero
You have a contour that effectively encloses everything except a point at infinity
The residue at infinity is defined via a transformation $w = 1/z$, and it satisfies: $$\sum{k} \operatorname{Res}(f, zk) + \operatorname{Res}(f, \infty) = 0$$
This is a consistency check rather than a new evaluation method, but it's sometimes used in advanced applications involving logarithms or other special functions. It appears in some textbooks but may not be central to your study goals unless explicitly emphasized in your course.
</extrainfo>
Summary of Key Techniques
You now have the main tools for evaluating complex integrals:
Direct parametrization for simple contours like the unit circle
The residue theorem for closed contour integrals
Contour deformation to evaluate difficult real integrals by extending them to the complex plane
Trigonometric substitution $z = e^{i\theta}$ for integrals over $[0, 2\pi]$
Keyhole contours and branch cuts for multi-valued functions
The strategy in each case is similar: set up a contour that encodes your integral, find poles and residues, and apply the residue theorem. With practice, these methods become powerful and intuitive tools for integration.
Flashcards
What is the value of the contour integral $\oint{|z|=1} \frac{1}{z} \, dz$ when the unit circle is traversed counter-clockwise?
$2\pi i$
How is the unit circle typically parametrized for direct evaluation of a contour integral?
$z(t) = e^{it}$ for $t \in [0, 2\pi]$ (where $t$ is the parameter)
What is the value of the integral of $z^n$ (where $n$ is an integer and $n \neq -1$) around the closed unit circle?
Zero ($0$)
What is the general formula for the residue theorem for a closed contour $\Gamma$?
$\oint{\Gamma} f(z) \, dz = 2\pi i \sum{k} \operatorname{Res}(f, zk)$ (where $zk$ are isolated singularities inside $\Gamma$)
What are the three general steps to evaluate an integral using the residue theorem?
Identify all poles inside the contour
Compute the residue for each identified pole
Multiply the sum of the residues by $2\pi i$
How does a clockwise (negative) orientation of a contour affect the result of the residue theorem?
It introduces a minus sign (multiplies the result by $-1$)
When applying the residue theorem to real integrals, what are the two main parts the total contour is typically decomposed into?
A portion $R$ that coincides with the original real integral
A remainder $I$ that traverses other parts of the complex plane
What substitution is used to convert a trigonometric integral over $[0, 2\pi]$ into a contour integral over the unit circle?
$z = e^{it}$
For what type of integrals is a keyhole contour typically employed?
Branch cut integrals (e.g., integrals involving $z^{1/2}$ or logarithms)
Why is a branch cut defined (e.g., along the positive real axis) when evaluating integrals involving $z^{1/2}$?
To make the function single-valued
In a keyhole contour for $z^{1/2}$, how do the integrals along the two sides of the branch cut relate to each other?
They differ by a factor of $e^{2\pi i/2} = -1$
Besides summing residues at finite poles, what other tool can be used with the residue theorem to evaluate certain complex integrals?
The formula for the residue at infinity
Quiz
Contour integration - Evaluation Techniques and Integral Theorems Quiz Question 1: What is the value of the contour integral $\displaystyle\oint_{|z|=1}\frac{1}{z}\,dz$ when the unit circle is traversed counter‑clockwise?
- $2\pi i$ (correct)
- $0$
- $-2\pi i$
- $\pi i$
Contour integration - Evaluation Techniques and Integral Theorems Quiz Question 2: When applying Cauchy’s theorem or the residue theorem to evaluate a real integral, what is the first step in the general strategy?
- Choose a contour that encloses the singularities of the integrand. (correct)
- Compute the residues of the integrand directly.
- Apply Jordan’s lemma to the remaining contour pieces.
- Differentiate the integrand to obtain a simpler function.
Contour integration - Evaluation Techniques and Integral Theorems Quiz Question 3: When evaluating the integral $\displaystyle\int_{-\infty}^{\infty}\frac{e^{it}}{t^{2}+1}\,dt$ using complex analysis, the only singularities of the integrand arise from solving which equation?
- $z^{2}+1=0$ (correct)
- $e^{z}=0$
- $\sin z =0$
- $\log z =0$
What is the value of the contour integral $\displaystyle\oint_{|z|=1}\frac{1}{z}\,dz$ when the unit circle is traversed counter‑clockwise?
1 of 3
Key Concepts
Complex Integration Theorems
Contour integral
Residue theorem
Cauchy's integral theorem
Cauchy integral formula
Contour Techniques
Jordan's lemma
Keyhole contour
Branch cut
Unit circle parametrization
Residues and Poles
Residue at infinity
Pole (complex analysis)
Definitions
Contour integral
An integral of a complex‑valued function taken over a directed path (contour) in the complex plane.
Residue theorem
A fundamental result stating that the integral of a meromorphic function around a closed contour equals \(2\pi i\) times the sum of its residues inside the contour.
Cauchy's integral theorem
The principle that the integral of a holomorphic function over a closed contour in a simply connected domain is zero.
Cauchy integral formula
A formula expressing the value of a holomorphic function inside a contour as \( \frac{1}{2\pi i}\int_{\Gamma}\frac{f(z)}{z-z_0}\,dz \).
Jordan's lemma
An estimate showing that integrals of \(e^{i a z}f(z)\) over large semicircular arcs tend to zero when \(a>0\) and the arc radius goes to infinity.
Keyhole contour
A contour that encircles the origin while avoiding a branch cut, often used to evaluate integrals involving multi‑valued functions.
Branch cut
A curve (or set) removed from the complex plane to make a multi‑valued function single‑valued on the remaining domain.
Residue at infinity
The coefficient of \(1/z\) in the Laurent expansion of a function at infinity, used to compute integrals via the extended residue theorem.
Unit circle parametrization
The representation \(z(t)=e^{it}\) for \(t\in[0,2\pi]\), which maps the interval onto the unit circle in the complex plane.
Pole (complex analysis)
An isolated singularity of a meromorphic function where the function behaves like \( (z-z_0)^{-n} \) for some positive integer \(n\).