Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
Math 411: Honours Complex Variables - University of Alberta
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
80 CHAPTER 12. THE RESIDUE THEOREM AND APPLICATIONS<br />
2. What is<br />
� ∞<br />
−∞<br />
1<br />
(x2 dx, where n ∈ N?<br />
+1) n<br />
The polynomial q(z) := (z 2 +1) n has zeros <strong>of</strong> order n at ±i. Define<br />
so that<br />
and thus<br />
It follows that � ∞<br />
−∞<br />
in particular, we have<br />
� ∞<br />
−∞<br />
n 1<br />
g(z) = (z −i)<br />
q(z) = (z +i)−n ,<br />
g (n−1) (z) = (−n)···(−2n+2)(z +i) −2n+1<br />
�<br />
1<br />
res<br />
q ,i<br />
�<br />
= g(n−1) (i)<br />
(n−1)!<br />
1<br />
=<br />
(n−1)!2 2n−1i ·n···(2n−2)<br />
=<br />
(2n−2)!<br />
i2 2n−1 (n−1)! 2.<br />
1<br />
(x2 �<br />
1<br />
dx = 2πi res<br />
+1) n q ,i<br />
�<br />
= π<br />
22n−2 (2n−2)!<br />
(n−1)! 2;<br />
1<br />
x2 dx = π,<br />
+1<br />
� ∞<br />
1<br />
(x2 π<br />
dx = , and<br />
+1) 2 2<br />
−∞<br />
Problem 12.3.<br />
(a) Prove that sinθ ≥ 2 π<br />
θ for 0 ≤ θ ≤<br />
π 2 .<br />
(b) Use part (a) to show that for R > 0 that<br />
� π<br />
e −Rsinθ dθ < π<br />
R .<br />
0<br />
� ∞<br />
−∞<br />
1<br />
(x2 3π<br />
dx =<br />
+1) 3 8 .<br />
(c) Let CR be the semicircular contour {Reiθ : 0 ≤ θ ≤ π}, with R > 0. Use part (b)<br />
to establish Jordan’s Lemma: �� ���<br />
e iz �<br />
�<br />
dz�<br />
� < π.<br />
Problem 12.4.<br />
CR<br />
Let D be an open set. If f: D\{z0} → C is holomorphic, where f has a simple pole<br />
at z0, and Cr = {z0 +reiθ : α ≤ θ ≤ β}, prove the Fractional Residue Theorem:<br />
�<br />
lim f(z)dz = (β −α)ires(f,z0).<br />
r→0<br />
Cr