Professional Documents
Culture Documents
Some Residue Integration Examples: 1 First Example
Some Residue Integration Examples: 1 First Example
D. Craig
2007-03-24
1 First example
Integrate Z∞
dx
. (1)
−∞ x2 + x + 1
Use the complex function
1
f(z) = . (2)
z2 + z + 1
We will use a contour that goes from −R to R on the real axis, and then close
it with a semicircular contour in the upper half of the complex plane, so C =
Creal + CR . We let R → ∞ to get the whole real axis.
First we have to make sure that along the semicircular CR , the contribution
of the integral vanishes. We use Flanigan's \lemma" which is that the integral
over CR vanishes if
lim zf(z) = 0.
R=|z|→∞
So consider
z 1
lim = lim = 0, (3)
R=|z|→∞ z2 + z + 1 |z|→∞ z + 1 + 1/z
which satises the lemma.1 So the integral along the real axis will be given by
the residue of the pole in the upper half-plane.
The denominator of f(z) has roots at
√
−1 ± i 3
z=
2
1 This is based on the ML-inequality or \estimation lemma", see Wikipedia, etc.
1
So
1
f(z) = 1
√ √ , (4)
[z − 2 (−1 − i 3)][z − 12 (−1 + i 3)]
√
call z0 = 21 (−1 + i 3), this is the location of the pole in the upper half-plane,
which will be enclosed by the contour. The pole is simple so we can nd the
residue using
Res(f, z0 ) = lim (z − z0 )f(z). (5)
z→z0
The residue is
(z − z0 )
Res(f, z0 ) = lim √ (6)
z→z0 [z − 21 (−1 − i 3)](z − z0 )
√ √ −1
1
= (−1 + i 3 + 1 + i 3) (7)
2
1
= √ (8)
i 3
So
Z Z∞
dx
f(z) dz = , (9)
C −∞ x2 + x + 1
= 2πi Res(f, z0 ), (10)
1
= 2πi √ , (11)
i 3
2π
=√ . (12)
3
2
so we don't have to worry about CR . Now what are the poles of
(z − 21/3 )
f(z) = ? (16)
z3 − 2
They will be the zeros of z3 − 2, i. e. the three cube roots of 2, which are
The numerator of f(z) will eliminate the rst, which is on the real axis. The
second will be in the upper half-plane, so it is inside C, the last is in the lower
half-plane.2
Now follow the procedure:
(z − 21/3 )
f(z) = (17)
(z − 21/3 )(z − 21/3 ei2π/3 )(z − 21/3 ei4π/3 )
1
= . (18)
(z − 21/3 ei2π/3 )(z − 21/3 ei4π/3 )
working out the real and imaginary parts of the exponentials, get
1
Res(f, z0 ) = . (22)
21/3 31/2 i
Now we put this all together and
Z∞
x − 21/3
dx = 2πi Res(f, z0 ), (23)
−∞ x3 − 2
2π
= 1/3 1/2 . (24)
2 3
This looks like it would be very dicult to obtain using real variable methods.
2 If this is confusing, review the properties of complex roots. In any case, it is a good idea
to sketch a diagram of the root locations.