TOPICS
Search

Residue Theorem


An analytic function f(z) whose Laurent series is given by

 f(z)=sum_(n=-infty)^inftya_n(z-z_0)^n,
(1)

can be integrated term by term using a closed contour gamma encircling z_0,

int_gammaf(z)dz=sum_(n=-infty)^(infty)a_nint_gamma(z-z_0)^ndz
(2)
=sum_(n=-infty)^(-2)a_nint_gamma(z-z_0)^ndz+a_(-1)int_gamma(dz)/(z-z_0)+sum_(n=0)^(infty)a_nint_gamma(z-z_0)^ndz.
(3)

The Cauchy integral theorem requires that the first and last terms vanish, so we have

 int_gammaf(z)dz=a_(-1)int_gamma(dz)/(z-z_0),
(4)

where a_(-1) is the complex residue. Using the contour z=gamma(t)=e^(it)+z_0 gives

 int_gamma(dz)/(z-z_0)=int_0^(2pi)(ie^(it)dt)/(e^(it))=2pii,
(5)

so we have

 int_gammaf(z)dz=2piia_(-1).
(6)

If the contour gamma encloses multiple poles, then the theorem gives the general result

 int_gammaf(z)dz=2piisum_(a in A)Res_(z=a_i)f(z),
(7)

where A is the set of poles contained inside the contour. This amazing theorem therefore says that the value of a contour integral for any contour in the complex plane depends only on the properties of a few very special points inside the contour.

ResidueTheorem

The diagram above shows an example of the residue theorem applied to the illustrated contour gamma and the function

 f(z)=3/((z-1)^2)+2/(z-i)-2/(z+i)+i/(z+3-2i)+5/(z+1+2i).
(8)

Only the poles at 1 and i are contained in the contour, which have residues of 0 and 2, respectively. The values of the contour integral is therefore given by

 int_gammaf(z)dz=2pii(0+2)=4pii.
(9)

See also

Cauchy Integral Formula, Cauchy Integral Theorem, Complex Residue, Contour, Contour Integral, Contour Integration, Group Residue Theorem, Laurent Series, Pole

Explore with Wolfram|Alpha

References

Knopp, K. "The Residue Theorem." §33 in Theory of Functions Parts I and II, Two Volumes Bound as One, Part I. New York: Dover, pp. 129-134, 1996.Krantz, S. G. "The Residue Theorem." §4.4.2 in Handbook of Complex Variables. Boston, MA: Birkhäuser, pp. 48-49, 1999.

Referenced on Wolfram|Alpha

Residue Theorem

Cite this as:

Weisstein, Eric W. "Residue Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ResidueTheorem.html

Subject classifications