Apply residue theory to evaluate real integrals, trigonometric integrals, Fourier integrals, and improper integrals with powerful contour integration techniques.
Problem: Evaluate .
Solution:
Step 1: Poles of are at . Only is in the upper half-plane.
Step 2: Close with semicircle in upper half-plane. On the arc, , so the arc integral vanishes as .
Step 3:
Step 4:
Problem: Evaluate .
Solution:
Substituting : ,
Poles: gives . Only is inside .
Therefore:
Problem: Evaluate .
Solution:
Write
Consider . Pole at in upper half-plane.
By Jordan's lemma, the arc contribution vanishes.
Therefore:
Taking real part:
Problem: Evaluate .
Solution:
Since the integrand is even:
Poles: , so for
In the upper half-plane: ,
Computing residues and applying residue theorem gives .
Problem: Evaluate .
Solution:
Consider with a small indentation around .
The integral equals (from the small semicircle contribution). Taking imaginary part: .
On the semicircle for and :
For , , so . But more importantly, on , for , giving exponential decay.
If and as , then the integral tends to 0.
Problem: Evaluate where .
Solution:
Use a keyhole contour avoiding the branch cut along the positive real axis.
The function has a simple pole at .
After computing contributions from all parts of the contour and taking the limit, we get:
For integrals over , close with a semicircle. Choose upper or lower half-plane based on where poles lie and exponential decay. For with branch points, use keyhole contours.
Use when you have with . Close in upper half-plane so the exponential decays on the arc. For , close in lower half-plane.
Use indented contours with small semicircles around poles. The contribution from these semicircles is times the residue (with appropriate sign).
Problem: Evaluate .
Solution:
Poles of in upper half-plane: ,
Computing residues and applying residue theorem:
Similar calculation for the other pole. After summing residues, the integral equals .
Problem: Evaluate where .
Solution:
Consider . The function has a pole at in the upper half-plane.
By residue theorem:
Taking real part and using evenness:
Problem: Evaluate where .
Solution:
Consider . The function has a pole at .
The integral equals
Taking imaginary part and using oddness:
Problem: Evaluate .
Solution:
Using : ,
Solving gives and . Only is inside the unit circle.
Computing the residue and applying residue theorem gives .
Problem: Evaluate .
Solution:
Since the integrand is even:
Poles in upper half-plane: and
Computing residues and summing gives .
Problem: Evaluate .
Solution:
Using :
Solving , only one root is inside the unit circle. Computing the residue gives .
Problem: Evaluate .
Solution:
Factor:
Using partial fractions and residue theorem on the upper half-plane gives .
Problem: Evaluate .
Solution:
Use , so:
Using integration by parts and known results, .
Problem: Evaluate for positive integer .
Solution:
Since the integrand is even:
The function has an th order pole at in the upper half-plane.
Computing the residue using the derivative formula:
After computation:
Problem: Evaluate where .
Solution:
Consider . The pole at gives:
The integral equals
Taking imaginary part:
Problem: Evaluate where .
Solution:
Using substitution:
Solving the quadratic and applying residue theorem gives .
Problem: Evaluate where .
Solution:
Using integration by parts and known results for , we get:
.
Problem: Evaluate .
Solution:
Complete the square:
The poles are at . Only is in the upper half-plane.
Computing the residue and applying the residue theorem gives .
Problem: Evaluate .
Solution:
Using and known results:
.
Problem: Evaluate .
Solution:
Since the integrand is even:
The poles in the upper half-plane are at and .
Computing residues and summing gives .
Problem: Evaluate where .
Solution:
Using trigonometric identities and integration by parts:
Problem: Evaluate where .
Solution:
Write
Using known results:
Therefore:
Problem: Evaluate where .
Solution:
Using substitution and computing residues:
Problem: Evaluate .
Solution:
Using partial fractions and residue theorem on the upper half-plane:
Problem: Use Jordan's lemma to show that where is the semicircle in the upper half-plane.
Solution:
On , we have for .
For in the upper half-plane, , so .
Also, for large .
Therefore:
By ML inequality: as .
This is a direct application of Jordan's lemma: since uniformly as and , the integral vanishes.
Problem: Evaluate for and using Jordan's lemma.
Solution:
Consider , so .
Close the contour in the upper half-plane (since ). The poles are at , but only is in the upper half-plane.
By Jordan's lemma, the integral over the large semicircle vanishes as .
Residue at :
By residue theorem:
Therefore:
Many real integrals that are difficult or impossible to evaluate using real analysis techniques become straightforward using residue theory. The residue theorem provides a systematic method for evaluating a wide class of integrals.
Jordan's lemma states that for $a > 0$, if $f(z) \to 0$ uniformly as $|z| \to \infty$ in the upper half-plane, then $\lim_{R\to\infty} \int_{C_R} f(z)e^{iaz}dz = 0$ where $C_R$ is a semicircle of radius $R$. This is crucial for closing contours.
For $\int_{-\infty}^{\infty} f(x)e^{iax}dx$: if $a > 0$, close in the upper half-plane (so $e^{iaz}$ decays on the arc); if $a < 0$, close in the lower half-plane. For rational functions, choose the half-plane containing the poles.
Use an indented contour: make a small semicircular detour around each pole on the real axis. The contribution from these small arcs is $\pi i$ times the residue for a simple pole (with appropriate sign depending on whether the indentation goes above or below the pole).
Keyhole contours are used for integrals involving functions with branch points, such as $x^\alpha$ for non-integer $\alpha$ or logarithms. The contour avoids the branch cut and circles the branch point.