September 20 (Wednesday)
Today we discussed this integral
∮∣z∣=10(z−1)(z−2)1dz
where the contour is a CCW (counter-clockwise) circle of radius 10 (or any radius R>2, that encloses 1,2)
We used three methods to show that this is zero. Denote the integrand by f(z), namely f(z)=(z−1)(z−2)1.
Method 1: residue theorem
We apply residue theorem, and computed
Resz=1f(z)=z−21∣z=1=−1.
Resz=2f(z)=z−11∣z=2=1.
Hence the result of the contour integral, denoted by I is
I=(2πi)[Resz=1f(z)+Resz=2f(z)]=0.
Method 2: make the radius R large
We can deform the contour C, as long as the integrand f(z) when restricted to the contour remains a holomorphic function during the deformation. The resulting integral is invariant under the deformation.
Thus, we may change the circle ∣z∣=10 to ∣z∣=R, and let R tends to ∞. Let IR be the integral on the contour ∣z∣=R. We have two claims
IR is independent of
R. This is because the function
f(z) has no pole in the region swept out by the contour deformation, namely between
∣z∣=10 and
∣z∣=R.
We have the following estimate of
∣IR∣.
∣IR∣≤∮∣z∣=R∣f(z)∣∣dz∣≤∮∣z∣=R∣z−1∣∣z−2∣1∣dz∣
By triangle inequality for complex numbers,
∣a∣+∣b∣≥∣a+b∣≥∣∣a∣−∣b∣∣,
we have for any z with ∣z∣=R>10
∣z−1∣≥∣z∣−1=R−1>0,∣z−2∣≥∣z∣−2=R−2>0,
hence
∣z−1∣∣z−2∣1≤(R−1)(R−2)1
on the contour ∣z∣=R. Thus
∮∣z∣=R∣z−1∣∣z−2∣1∣dz∣≤(R−1)(R−2)1∮∣dz∣=(R−1)(R−2)1(2πR)
To summarize, we have IR is a constant, and for any R>10, we have
0≤∣IR∣≤(R−1)(R−2)2πR.
Thus ∣IR∣=0, hence IR=0.
Method 3: change of variable
Let w=1/z, then we have
I=∮∣w∣=1/10,CW(w−1−1)(w−1−2)1d(w−1)=∮∣w∣=1/10,CW(1−w)(1−2w)−1dw=∮∣w∣=1/10(1−w)(1−2w)1dw
where in the last step, I changed the orientation of the contour from CW to CCW(CCW is by default, hence omited) and add an extra (−1) factor to the integral.
Since the integrand is only singular at w=1,1/2, and the contour ∣w∣=1/10 contains no singularity in its interior, the integral is 0.
Riemann sphere
It is useful to think of add a point ∞ to the complex plane C, and think of C∪{∞} as a sphere, where ∞ is identified with the north pole, 0 with the south pole, the unit circle ∣z∣=1 as the equator.
The natural coordinate to use near the north pole is w=1/z, so that z=∞ corresponds to w=0.
Exercises
Let C be the contour of ∣z∣=10. Consider the following integrals.
(1) ∮C1+z21dz
(2) (the result for this one is not zero.)
∮C1+z2zdz
(3) ∮C1+z4z2dz
Apply methods 1,2,3 to the above problems (each method need to be used once)