6.5 Residues

Residues are powerful tools in complex analysis, helping us evaluate tricky integrals. They're the secret sauce in the Laurent series expansion of functions with singularities. By finding residues, we can tackle complex contour integrals that seemed impossible before.

The residue theorem connects the dots between singularities and contour integrals. It's like a cheat code for solving real-world problems in physics and engineering. Mastering residues opens up a whole new world of problem-solving techniques in complex analysis.

Residues of functions

Definition and properties of residues

• The residue of a function $f(z)$ at an isolated singular point $z_0$ is the coefficient $a_{-1}$ of the term $(z-z_0)^{-1}$ in the Laurent series expansion of $f(z)$ about $z_0$
• Residues are only defined for isolated singular points, which can be poles (of any order) or essential singularities
  • Poles are characterized by a finite number of negative power terms in the Laurent series expansion
  • Essential singularities have an infinite number of negative power terms in the Laurent series expansion
• The residue is independent of the choice of contour around the singular point, as long as the contour encloses no other singularities
  • This property allows for flexibility in choosing contours when applying the residue theorem
• Residues can be used to evaluate complex contour integrals and real integrals using the residue theorem
  • The residue theorem relates the sum of residues within a contour to the value of the contour integral

Types of isolated singular points

• Simple poles (poles of order 1)
  • A simple pole occurs when the Laurent series expansion has only one negative power term, $(z-z_0)^{-1}$
  • The residue at a simple pole can be calculated using the limit: $\text{Res}(f,z_0) = \lim_{z\to z_0}[(z-z_0)f(z)]$
• Poles of order $m$
  • A pole of order $m$ occurs when the Laurent series expansion has $m$ negative power terms, up to $(z-z_0)^{-m}$
  • The residue at a pole of order $m$ can be calculated using the formula: $\text{Res}(f,z_0) = \frac{1}{(m-1)!} \lim_{z\to z_0}\frac{d^{m-1}}{dz^{m-1}}[(z-z_0)^m f(z)]$
• Essential singularities
  • An essential singularity occurs when the Laurent series expansion has an infinite number of negative power terms
  • The residue at an essential singularity must be determined from the Laurent series expansion by identifying the $a_{-1}$ coefficient

Calculating residues with Laurent series

Expanding functions as Laurent series

• To find the residue at a singular point $z_0$, expand the function $f(z)$ as a Laurent series centered at $z_0$
  • The Laurent series expansion is of the form: $f(z) = \sum_{n=-\infty}^{\infty} a_n(z-z_0)^n$
  • The coefficients $a_n$ can be determined using the formula: $a_n = \frac{1}{2\pi i} \oint_C \frac{f(z)}{(z-z_0)^{n+1}}dz$, where $C$ is a contour enclosing $z_0$
• Identify the coefficient $a_{-1}$ of the term $(z-z_0)^{-1}$ in the Laurent series expansion
  • The coefficient $a_{-1}$ is the residue of $f(z)$ at $z_0$
  • For a simple pole, $a_{-1}$ can be found using the limit formula: $\text{Res}(f,z_0) = \lim_{z\to z_0}[(z-z_0)f(z)]$

Calculating residues at poles and essential singularities

• For a pole of order $m$, use the formula: $\text{Res}(f,z_0) = \frac{1}{(m-1)!} \lim_{z\to z_0}\frac{d^{m-1}}{dz^{m-1}}[(z-z_0)^m f(z)]$
  • This formula involves taking the $(m-1)$-th derivative of $(z-z_0)^m f(z)$ and evaluating the limit as $z$ approaches $z_0$
  • Example: For $f(z) = \frac{1}{(z-1)^2(z+1)}$ at $z_0=1$, $\text{Res}(f,1) = \lim_{z\to 1}\frac{d}{dz}[(z-1)^2 \frac{1}{(z-1)^2(z+1)}] = \lim_{z\to 1}\frac{1}{z+1} = \frac{1}{2}$
• For an essential singularity, determine the residue from the Laurent series expansion by identifying the $a_{-1}$ coefficient
  • Example: For $f(z) = e^{\frac{1}{z}}$ at $z_0=0$, the Laurent series expansion is $f(z) = 1 + \frac{1}{z} + \frac{1}{2!z^2} + \frac{1}{3!z^3} + \cdots$, so the residue is $a_{-1} = 1$

Evaluating integrals with the residue theorem

Statement and conditions of the residue theorem

• The residue theorem states that for a meromorphic function $f(z)$ and a simple closed contour $C$ enclosing isolated singular points $z_1, z_2, \ldots, z_n$, the contour integral $\oint_C f(z)dz$ equals $2\pi i$ times the sum of the residues of $f(z)$ at those singular points
  • In mathematical notation: $\oint_C f(z)dz = 2\pi i \sum_{k=1}^{n} \text{Res}(f,z_k)$
• The contour $C$ must be simple (non-self-intersecting) and closed
  • The contour can be a circle, a rectangle, or any other simple closed curve
• The function $f(z)$ must be meromorphic (analytic except for isolated poles) within and on the contour
  • The residue theorem does not apply to functions with branch cuts or other non-isolated singularities within the contour

Applying the residue theorem to contour integrals

• To apply the residue theorem, follow these steps:
  1. Identify the isolated singular points within the contour
  2. Calculate the residues at each singular point using the appropriate method (limit formula for simple poles, derivative formula for higher-order poles, or Laurent series for essential singularities)
  3. Sum the residues multiplied by $2\pi i$ to obtain the value of the contour integral
• Example: Evaluate $\oint_C \frac{1}{z(z-1)}dz$, where $C$ is the circle $|z|=2$
  1. The isolated singular points within the contour are $z_1=0$ and $z_2=1$
  2. $\text{Res}(f,0) = \lim_{z\to 0}[z \frac{1}{z(z-1)}] = 1$ and $\text{Res}(f,1) = \lim_{z\to 1}[(z-1) \frac{1}{z(z-1)}] = -1$
  3. $\oint_C \frac{1}{z(z-1)}dz = 2\pi i (\text{Res}(f,0) + \text{Res}(f,1)) = 2\pi i (1 - 1) = 0$

Residue theorem applications for contour and real integrals

Evaluating real integrals using the residue theorem

• Real integrals of the form $\int_{-\infty}^{\infty} R(x)dx$, where $R(x)$ is a rational function, can be evaluated using the residue theorem by considering a complex contour integral and applying the theorem
• To evaluate real integrals using the residue theorem:
  1. Express the real integral as a complex contour integral by extending the integrand into the complex plane
  2. Choose an appropriate contour (e.g., a semicircle in the upper or lower half-plane) that encloses the poles of the integrand and avoids branch cuts, if present
  3. Apply the residue theorem to the contour integral, calculating the residues at the enclosed poles
  4. Relate the contour integral to the original real integral using techniques such as the Cauchy principal value or by considering the limit as the radius of the contour approaches infinity
• Example: Evaluate $\int_{-\infty}^{\infty} \frac{1}{x^2+1}dx$
  1. Express the integral as a contour integral: $\oint_C \frac{1}{z^2+1}dz$, where $C$ is a semicircle in the upper half-plane with radius $R\to\infty$
  2. The contour encloses a single pole at $z=i$
  3. $\text{Res}(f,i) = \lim_{z\to i}[(z-i) \frac{1}{z^2+1}] = \frac{1}{2i}$, so $\oint_C \frac{1}{z^2+1}dz = 2\pi i \text{Res}(f,i) = \pi$
  4. As $R\to\infty$, the integral along the circular arc vanishes, and the contour integral equals twice the real integral, so $\int_{-\infty}^{\infty} \frac{1}{x^2+1}dx = \frac{1}{2}\oint_C \frac{1}{z^2+1}dz = \frac{\pi}{2}$

Other applications of the residue theorem

• The residue theorem can also be used to evaluate integrals involving trigonometric functions, logarithms, and other transcendental functions by expressing them in terms of complex exponentials and applying the theorem
  • Example: Evaluate $\int_0^{2\pi} \frac{d\theta}{a+\cos\theta}$, where $a>1$
    1. Express the integral in terms of complex exponentials: $\int_C \frac{1}{a+\frac{1}{2}(z+\frac{1}{z})} \frac{dz}{iz}$, where $C$ is the unit circle
    2. The integrand has simple poles at $z=a\pm\sqrt{a^2-1}$, but only $z_1=a-\sqrt{a^2-1}$ lies within the unit circle
    3. $\text{Res}(f,z_1) = \frac{1}{i\sqrt{a^2-1}}$, so $\int_C \frac{1}{a+\frac{1}{2}(z+\frac{1}{z})} \frac{dz}{iz} = 2\pi i \text{Res}(f,z_1) = \frac{2\pi}{\sqrt{a^2-1}}$
    4. The contour integral equals the original real integral, so $\int_0^{2\pi} \frac{d\theta}{a+\cos\theta} = \frac{2\pi}{\sqrt{a^2-1}}$
• Contour integration using the residue theorem can be applied to solve problems in various fields, such as physics, engineering, and applied mathematics
  • Examples include calculating Fourier transforms, solving differential equations, and evaluating improper integrals arising in quantum mechanics and fluid dynamics