User Tools

Site Tools


math121a-f23:september_20_wednesday

September 20 (Wednesday)

Today we discussed this integral z=101(z1)(z2)dz \oint_{|z|=10} \frac{1}{(z-1)(z-2)} dz where the contour is a CCW (counter-clockwise) circle of radius 1010 (or any radius R>2R > 2, that encloses 1,21,2)

We used three methods to show that this is zero. Denote the integrand by f(z)f(z), namely f(z)=1(z1)(z2)f(z) = \frac{1}{(z-1)(z-2)}.

Method 1: residue theorem

We apply residue theorem, and computed Resz=1f(z)=1z2z=1=1. Res_{z=1} f(z) = \frac{1}{z-2}|_{z=1} = -1. Resz=2f(z)=1z1z=2=1. Res_{z=2} f(z) = \frac{1}{z-1}|_{z=2} = 1. Hence the result of the contour integral, denoted by II is I=(2πi)[Resz=1f(z)+Resz=2f(z)]=0. I = (2 \pi i) [Res_{z=1} f(z) + Res_{z=2} f(z)] = 0 .

Method 2: make the radius RR large

We can deform the contour CC, as long as the integrand f(z)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|z|=10 to z=R|z|=R, and let RR tends to \infty. Let IRI_R be the integral on the contour z=R|z|=R. We have two claims

  • IRI_R is independent of RR. This is because the function f(z)f(z) has no pole in the region swept out by the contour deformation, namely between z=10|z|=10 and z=R|z|=R.
  • We have the following estimate of IR|I_R|.

IRz=Rf(z)dzz=R1z1z2dz |I_R| \leq \oint_{|z|=R} | f(z) | |dz| \leq \oint_{|z|=R} \frac{1}{|z-1| |z-2| } |dz| By triangle inequality for complex numbers, a+ba+bab, |a| + |b| \geq |a+b| \geq | |a| - |b| |, we have for any zz with z=R>10|z|=R > 10 z1z1=R1>0,z2z2=R2>0, |z-1| \geq |z|-1 = R-1 > 0, \quad |z-2| \geq |z|-2 = R - 2 > 0, hence 1z1z21(R1)(R2) \frac{1}{|z-1| |z-2| } \leq \frac{1}{(R-1)(R-2)} on the contour z=R|z|=R. Thus z=R1z1z2dz1(R1)(R2)dz=1(R1)(R2)(2πR) \oint_{|z|=R} \frac{1}{|z-1| |z-2| } |dz| \leq \frac{1}{(R-1)(R-2)} \oint |dz| = \frac{1}{(R-1)(R-2)} (2\pi R) To summarize, we have IRI_R is a constant, and for any R>10R>10, we have 0IR2πR(R1)(R2). 0 \leq |I_R| \leq \frac{2\pi R}{(R-1)(R-2)}. Thus IR=0|I_R|=0, hence IR=0I_R=0.

Method 3: change of variable

Let w=1/zw = 1/z, then we have

I=w=1/10,CW1(w11)(w12)d(w1)=w=1/10,CW1(1w)(12w)dw=w=1/101(1w)(12w)dw I = \oint_{|w|=1/10, CW} \frac{1}{(w^{-1}-1)(w^{-1}-2)} d (w^{-1}) = \oint_{|w|=1/10, CW} \frac{-1}{(1-w)(1-2w)} dw = \oint_{|w|=1/10} \frac{1}{(1-w)(1-2w)} dw where in the last step, I changed the orientation of the contour from CWCW to CCWCCW(CCW is by default, hence omited) and add an extra (1)(-1) factor to the integral.

Since the integrand is only singular at w=1,1/2w=1,1/2, and the contour w=1/10|w|=1/10 contains no singularity in its interior, the integral is 0.

Riemann sphere

It is useful to think of add a point \infty to the complex plane C\C, and think of C{}\C \cup \{\infty\} as a sphere, where \infty is identified with the north pole, 00 with the south pole, the unit circle z=1|z|=1 as the equator.

The natural coordinate to use near the north pole is w=1/zw=1/z, so that z=z=\infty corresponds to w=0w=0.

Exercises

Let CC be the contour of z=10|z|=10. Consider the following integrals.

(1) C11+z2dz\oint_C \frac{1}{1+z^2} dz

(2) (the result for this one is not zero.) Cz1+z2dz\oint_C \frac{z}{1+z^2} dz

(3) Cz21+z4dz\oint_C \frac{z^2}{1+z^4} dz

Apply methods 1,2,3 to the above problems (each method need to be used once)

math121a-f23/september_20_wednesday.txt · Last modified: 2023/09/21 12:30 by pzhou