User Tools

Site Tools


math121a-f23:september_20_wednesday

This is an old revision of the document!


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.

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