Contour integration is the process of calculating the values of a contour integral around a given contour in the complex plane. As a result of a truly amazing property of holomorphic functions, such integrals can be computed easily simply by summing the values of the complex residues inside the contour.
Let and be polynomials of polynomial degree and with coefficients , ..., and , ..., . Take the contour in the upper half-plane, replace by , and write . Then
(1)
|
Define a path which is straight along the real axis from to and make a circular half-arc to connect the two ends in the upper half of the complex plane. The residue theorem then gives
(2)
| |||
(3)
| |||
(4)
|
where denotes the complex residues. Solving,
(5)
|
Define
(6)
| |||
(7)
| |||
(8)
| |||
(9)
|
and set
(10)
|
then equation (9) becomes
(11)
|
Now,
(12)
|
for . That means that for , or , , so
(13)
|
for . Apply Jordan's lemma with . We must have
(14)
|
so we require .
Then
(15)
|
for and . Since this must hold separately for real and imaginary parts, this result can be extended to
(16)
|
(17)
|