《复变函数论 Theory of Complex Variable Functions》课程授课教案（教材讲义，复分析 Complex Analysis）Chapter Ⅵ Residues and Poles

- 209 -Chapter VIResidues and PolesThe Cauchy integral theorem (Sec. 4.9) states that if a function is analytic at allpoints interior to and on a simple closed path C, then the value of the integral ofthe function around that path is zero.If, however, the function fails to be analytic ata finite number of points interior to C,there is, as we shall see in this chapter, aspecific number, called a residue,which each of those points contributes tothevalue of the integral. We develop here the theory of residues; and, in Chapter VI,weshallgivesomeapplicationsofthetheory$6.1.ResiduesRecall (Sec.2.13) thata point zois a singular point ofa function f if f failsto be analytic at zobut is analytic at some point in every neighborhood of =oDefinition 6.1.1. A singular point zo of a function f is said to beisolated if there is an >0 such that f is analytic for 0z-zk8z +1Example 1. The function f(=)=has the three isolated singular2(22 +1)points z=O and z=±iExample 2. The origin is a singularypoint of the principal branch (Sec.3.3)logz=lnr+io(z=rei0)of the logarithmic function.It is not,however,an isolated singular point sinceeverydeletedneighborhoodofitxcontains points on the negative real axis (seeFig. 6-1) and the branch is not even definedthereExample3.Thefunction1f(a)=Fig. 6-1sin(元 /)

- 209 - Chapter Ⅵ Residues and Poles The Cauchy integral theorem (Sec. 4.9) states that if a function is analytic at all points interior to and on a simple closed path , then the value of the integral of the function around that path is zero. If, however, the function fails to be analytic at a finite number of points interior to , there is, as we shall see in this chapter, a specific number, called a residue, which each of those points contributes to the value of the integral. We develop here the theory of residues; and, in Chapter Ⅶ, we shall give some applications of the theory. C C §6.1. Residues Recall (Sec. 2.13) that a point is a singular point of a function if fails to be analytic at but is analytic at some point in every neighborhood of . 0 z f f 0 z 0 z Definition 6.1.1. A singular point of a function is said to be isolated if there is an 0 z f ε > 0 such that f is analytic for < − ||0 < ε 0 zz . Example 1. The function )1( 1 )( 23 + + = zz z zf has the three isolated singular points z = 0 and ±= iz . Example 2. The origin is a singular point of the principal branch (Sec. 3.3) )(lnlog θ θ i =+= rezirz of the logarithmic function. It is not, however, an isolated singular point since every deleted ε neighborhood of it contains points on the negative real axis (see Fig. 6-1) and the branch is not even defined there. Example 3. The function )/sin( 1 )( z zf π = Fig. 6-1

- 210 -has the singular point z =0 and z =1/n(n =±1, ±2,...), all lying on thesegment of the real axis from z =-1 toz =1. Each singular point except z = 0is isolated. The singular point z = O is not isolated because every deleted neighborhood of the origin contains other singular points of the function. Moreprecisely,whena positivenumber is specified and m is any positiveintegersuch that m >1/ , the fact that 0<1/m< means that the point z =1/ mlies in the deleted neighborhood 0<=k(Fig.6-2)yy60x-m0xFig. 6-3Fig. 6-2When zo is an isolated singular point of a function f,thereis a positivenumber R, such that f is analytic for 0z-zkR,.Consequently, f(z)isrepresentedbyaLaurentseriesbhb,b,f(a)= a,(2-z0)" +(6.1.1)Z-20(2-20)(z--0)"n=0where O<z-zokR, and the coefficients an and b, have certain integralrepresentations (Sec. 5.4). In particular,f(=)dzb.=(n =1,2,..)2元/ Jc(2-20)-1+/where C is any positively oriented simple closed path around zo and lying inthe punctured disk 0<z-zo kR,(Fig. 6-3). When n =1, this expression forb,canbewritten

- 210 - has the singular point z = 0 and = nnz = ± ± K),2,1(/1 , all lying on the segment of the real axis from z = −1 to z = 1. Each singular point except is isolated. The singular point z = 0 z = 0 is not isolated because every deleted ε neighborhood of the origin contains other singular points of the function. More precisely, when a positive number ε is specified and is any positive integer such that m m > /1 ε , the fact that < /10 m < ε means that the point lies in the deleted = /1 mz ε neighborhood < z ||0 < ε (Fig. 6-2) Fig. 6-2 Fig. 6-3 When is an isolated singular point of a function , there is a positive number such that is analytic for 0 z f R2 f 20 < − ||0 < Rzz . Consequently, is represented by a Laurent series zf )( ∑ ∞ = + − + − + − +−= 0 0 2 0 2 0 1 0 )()( )()( n n n n n zz b zz b zz b zzazf L L (6.1.1) where and the coefficients and have certain integral representations (Sec. 5.4). In particular, 20 ||0 <−< Rzz an bn ∫ = − = +− C n n n zz dzzf i b ),2,1( )( )( 2 1 1 0 K π where is any positively oriented simple closed path around and lying in the punctured disk C 0 z 20 −< ||0 < Rzz (Fig. 6-3). When n = 1, this expression for can be written bn

211[(2)dz= 2元ib,(6.1.2)Definition 6.1.2. If zo is an isolated singular point of a function f, then the complexnumber b,, which is the coefficient of 1/(z-z)in expansion (6.1.1), is called the residue off at zo and denoted by Res f(2), or Res(f(z),z). Thus,Res f(z) =[cJ(z)dz and J. f(=)dz = 2mi·Res(f(2),z0))2mJEquation (6.1.2) provides a powerful method for evaluating certain integrals around simpleclosed paths.Example 4.Considerthe integraldz(6.1.3)(2-2)4where C is the positively oriented circle Iz-2 -1(Fig. 6-4). Since the integrand is analyticeverywhere in the finite plane except at the points z =O and z =2, it has a Laurent seriesrepresentation that is valid in the punctured disk 0 z-2k2, also shown in Fig. 6-4.yx0Fig. 6-4Thus, according to equation (6.1.2), the value of integral (6.1.3) is 2i times the residue of itsintegrand at z=2.To determine that residue, werecall (Sec.5.3)theMaclaurin series expansion1.=="(Izk1)1-zne0and use it to write-z(z - 2)4(z - 2)42 +(z - 2)112(z - 2)41-(-2-2(-1)"(z-2)"=4(0 </z-2k2)2n+IIn this Laurent series, the coefficient of 1/(=-2) is the desired residue, namely -1/16.Consequently,dz1元i(6.1.4)=2元／Jc z(2 - 2)4816)

211 . (6.1.2) ∫ = C ibdzzf 2)( π 1 Definition 6.1.2. If is an isolated singular point of a function , then the complex number , which is the coefficient of 0 z f 1 b − zz 0 )/(1 in expansion (6.1.1), is called the residue of f at and denoted by , or . Thus, 0 z )(Res0 zf = zz )),((Res 0 zzf )(Res0 zf = zz ∫ = C dzzf i )( 2 1 π and . ∫ ⋅= C zzfidzzf )),((Res2)( π 0 Equation (6.1.2) provides a powerful method for evaluating certain integrals around simple closed paths. Example 4. Consider the integral ∫C zz − dz 4 )2( , (6.1.3) where C is the positively oriented circle z − = 1|2| (Fig. 6-4). Since the integrand is analytic everywhere in the finite plane except at the points z = 0 and z = 2 , it has a Laurent series representation that is valid in the punctured disk < z − < 2|2|0 , also shown in Fig. 6-4. Fig. 6-4 Thus, according to equation (6.1.2), the value of integral (6.1.3) is 2πi times the residue of its integrand at z = 2 . To determine that residue, we recall (Sec. 5.3) the Maclaurin series expansion )1|(| 1 1 0 = < − ∑ ∞ = zz z n n and use it to write ( ) ( ).2|2|0)2( 2 1 2 2 1 1 )2(2 1 )2(2 1 )2( 1 )2( 1 0 4 1 4 4 4 ∑ ∞ = − + − <−< − = ⎟ ⎠ ⎞ ⎜ ⎝ ⎛ − −− ⋅ − = −+ ⋅ − = − n n n n z z z z zzz z In this Laurent series, the coefficient of z − )2/(1 is the desired residue, namely . Consequently, − 16/1 ∫ ⎟ −=⎠ ⎞ ⎜ ⎝ ⎛ −= C − i i zz dz 816 1 2 )2( 4 π π . (6.1.4)

212Example 5. Let us show thatz=0, where Cis the unit circle|==1.dzexpZSince 1/ z2 is analytic everywhere except at the origin, so is the integrand. The isolated singularpoint z = 0 is interior to C; and, with the aid of the Maclaurin series (Sec. 5.3)心e"=1+-+..(1=<8),3!1!2!onecanwritetheLaurent series expansion(1)111111[=1+=(0△=k8)expl.++1222!24ZTherefore, the residue of the integrand at its isolated singular point z = O is zero, and the valueof the integral is established.We are reminded in this example that, although the analyticity of a function within and on asimple closed path C isa sufficient conditionforthevalue ofthe integral around C tobe zero,it is not a necessary condition

212 Example 5. Let us show that ∫ ⎟ = ⎠ ⎞ ⎜ ⎝ ⎛ C dz z 0 1 exp 2 , where is the unit circle . Since is analytic everywhere except at the origin, so is the integrand. The isolated singular point is interior to ; and, with the aid of the Maclaurin series (Sec. 5.3) C z = 1|| 2 /1 z z = 0 C )|(| !3!2!1 1 32 z ∞<++++= zzz ez L , one can write the Laurent series expansion )||0( 1 !3 11 !2 11 !1 1 1 1 exp 2 ⎟ 2 4 6 ∞<<+⋅+⋅+⋅+=⎠ ⎞ ⎜ ⎝ ⎛ z z zzz L . Therefore, the residue of the integrand at its isolated singular point z = 0 is zero, and the value of the integral is established. We are reminded in this example that, although the analyticity of a function within and on a simple closed path is a sufficient condition for the value of the integral around to be zero, it is not a necessary condition. C C

s6.2.Cauchy'sResidueTheoremIf, except for a finite number of singular points, a function f is analytic inside a simple closedpath C, those singular points must be isolated (Sec. 6.1). The following theorem, which is knownas Cauchy's residue theorem,is a precise statement of the fact that iffis also analytic on Cand if C is positively oriented, then the value of the integral of f around C is 2πi timesthe sum of the residues of f at the singular points inside CTheorem 6.2.1(Cauchy).Let C be a simple closed path,described in the positive sense.Ifa functionfis analytic inside and on C exceptforafinite numberof singularpointsz,(k =,2,..,n) inside C, then[. J(=)dz = 2m之 Res f(a),(6.2.1)二lProof. To prove the theorem, let the point z,(k =1,2,..,n) be centers of positivelyoriented circles Ck which are interior to C and are so small that no two ofthem have points incommon (Fig. 6-5). The circles Ck,together with the simple closed path C, form the boundaryof a closed region throughout which f is analytic and whose interior is a multiply connecteddomain.Hence,according to the Theorem4.11.2,Sec.4.11,we haveJ J()d-], (=)= 0.k=This reduces to equation (6.2.1) because (Sec. 6.1)Jc (=)dz = 2mResf() (k =1,2.,n),and the proof is complete.y2,.22CxoFig. 6-5Example1.Use the Cauchy's residue theorem to evaluate the integral[5z-2dJcz(z-1)whenCisthecircle==2,describedcounterclockwise.Solution. The integrand has the two isolated singularities z = O and z =1, both of whichare interior to C. We can find the residues B, at z = O and B, at z=1 with the aid oftheMaclaurinseries11+=+=2+...(zk1)1- zWe observe first that when 0 </ =k 1(Fig. 6-6)

§6.2. Cauchy’s Residue Theorem If, except for a finite number of singular points, a function is analytic inside a simple closed path , those singular points must be isolated (Sec. 6.1). The following theorem, which is known as Cauchy’s residue theorem, is a precise statement of the fact that if is also analytic on and if is positively oriented, then the value of the integral of around is f C f C C f C 2π i times the sum of the residues of f at the singular points inside C . Theorem 6.2.1(Cauchy). Let be a simple closed path, described in the positive sense. If a function is analytic inside and on C except for a finite number of singular points inside , then C f nkz ),2,1( k = K C ∑ . (6.2.1) ∫ = = = n k C zz zfidzzf k 1 π )(Res2)( Proof. To prove the theorem, let the point nkz ),2,1( k = K be centers of positively oriented circles which are interior to and are so small that no two of them have points in common (Fig. 6-5). The circles , together with the simple closed path , form the boundary of a closed region throughout which is analytic and whose interior is a multiply connected domain. Hence, according to the Theorem 4.11.2, Sec. 4.11, we have Ck C Ck C f ∫ ∑∫ = − = C n k Ck dzzfdzzf 1 )( 0)( . This reduces to equation (6.2.1) because (Sec. 6.1) ∫ = = k = k C zz π kzfidzzf K n),2,1()(Res2)( , and the proof is complete. Example 1. Use the Cauchy’s residue theorem to evaluate the integral Fig. 6-5 ∫ − − C dz zz z )1( 25 when C is the circle z = 2|| , described counterclockwise. Solution. The integrand has the two isolated singularities z = 0 and , both of which are interior to . We can find the residues at z = 1 C B1 z = 0 and at B2 z = 1 with the aid of the Maclaurin series 1 )1|(| 1 1 2 <+++= − zz z z L . We observe first that when z << 1||0 (Fig. 6-6)

5z -2 = 5z -2.-1=/5-2(-1-2-22 -..);2(2-1)"21-2-(Z)and, by identifying the coefficient of 1/z in the product on the right here, we find that B, =2Also, since5z -225(z-1)+3135+-[1-(2-1)+(2-1) -.],z-1z(z -1)1+(z - 1)z-1when 0<z-1k1, it is clear that B, = 3. Thus5z-2dz=2元i(B,+B,)=10元iJc z(=- 1)yx2Fig. 6-6

1( ) 2 5 1 125 )1( 25 ⎟ 2 −−−− L ⎠ ⎞ ⎜ ⎝ ⎛ −= − − ⋅ − = − − zz zzz z zz z ; and, by identifying the coefficient of in the product on the right here, we find that . Also, since /1 z 2 B1 = ,])1()1(1[ 1 3 5 )1(1 1 1 3)1(5 )1( 25 ⎟ 2 −−+−− L ⎠ ⎞ ⎜ ⎝ ⎛ − += −+ ⋅ − +− = − − zz z z z z zz z when z <−< 1|1|0 , it is clear that 3 B2 = . Thus iBBidz zz z C π 10)(2 π )1( 25 21 =+= − − ∫ . Fig. 6-6

s6.3.UsingaSingleResidueIf the function f in Cauchy's residue theorem (Sec. 6.2) is, in addition, analytic at each point ofthe finite plane exterior to C,it is sometimes more efficient to evaluatethe integral offaround C by finding a single residue of a certain related function. We present the method as atheorem.Theorem6.3.1.Ifafunctionfisanalyticeverywhereinthecomplexplaneexceptforafinite number of singular points interiorto apositively oriented simple closedpath C,thenJ t= 2mrg[(](6.3.1)Proof.Webegin the derivation of expression (6.3.1)by constructing a circlez=R,as inFig.6-7.Thenif Cdenotesapositivelyoriented circle==R,whereR>R,.weknowfromLaurent'stheorem (Sec.5.4)thatEc,2"f(2) =(R <zk0)(6.3.2)1=-00wheref(=)dz(n=0,±1,±2,...)(6.3.3)2+2元iyCoC-1x0/R.!R。Fig. 6-7By writing n = -1 in expression (6.3.3), we find thatf(=)dz=2元ic-1(6.3.4)Observe that, since the condition of validity with representation (6.3.2) is not of the typeO=kR2, the coefficient C_ is not necessarily the residue of f at the point z=O,whichmaynot even bea singular point of f.But, if we replace=by 1/zin representation (6.3.2)and its condition of validity, we see that1-2%-2%k-RZand hencec.-Rs[ (9](6.3.5)

§6.3. Using a Single Residue If the function in Cauchy’s residue theorem (Sec. 6.2) is, in addition, analytic at each point of the finite plane exterior to C , it is sometimes more efficient to evaluate the integral of around by finding a single residue of a certain related function. We present the method as a theorem. f f C Theorem 6.3.1. If a function is analytic everywhere in the complex plane except for a finite number of singular points interior to a positively oriented simple closed path , then f C ⎥ ⎦ ⎤ ⎢ ⎣ ⎡ ⎟ ⎠ ⎞ ⎜ ⎝ ⎛ = ∫ = z f z idzzf C z 11 Res2)( 2 0 π . (6.3.1) Proof. We begin the derivation of expression (6.3.1) by constructing a circle as in Fig. 6-7. Then if denotes a positively oriented circle 1 || = Rz C0 0 || = Rz , where , we know from Laurent’s theorem (Sec. 5.4) that > RR 10 )( )||( , (6.3.2) = ∑ 1 ∞<< ∞ −∞= zRzczf n n n where ∫ = ±±= + 0 ),2,1,0( )( 2 1 1 C n n n z dzzf i c K π . (6.3.3) Fig. 6-7 By writing n −= 1 in expression (6.3.3), we find that ∫ = − 0 2)( 1 C π icdzzf . (6.3.4) Observe that, since the condition of validity with representation (6.3.2) is not of the type , the coefficient is not necessarily the residue of at the point , which may not even be a singular point of . But, if we replace 2 ||0 << Rz −1 c f z = 0 f z by in representation (6.3.2) and its condition of validity, we see that /1 z ⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ ⎟ = = << ⎠ ⎞ ⎜ ⎝ ⎛ ∑∑ ∞ −∞= − ∞ −∞= + 1 2 2 2 1 ||0 11 R z z c z c z f z n n n n n n and hence ⎥ ⎦ ⎤ ⎢ ⎣ ⎡ ⎟ ⎠ ⎞ ⎜ ⎝ ⎛ = = − z f z c z 11 Res 2 0 1 . (6.3.5)

Then, in view of equations (6.3.4) and (6.3.5),1, ()d = 2 / e[1 (]SFinally, since f is analytic throughout the closed region bounded by C and Co,the principleof deformation of paths (Corollary 4.11.2, Sec. 4.11) yields the desired result (6.3.1).Example1.Inthe example in Sec.6.2, we evaluated the integral of5z-2f(=)=-(z - 1)around the circle =2, described counterclockwise, by finding the residues of f() atz=0 and z=1.Sincewhen 0=k1,1(1)5-2z5-2z1Z1- 2z(1- 2)(Z)5(1+z+22+..1(252+3+3z+··,Zwe see from Theorem 6.3.1 that, where the desired residue is 5,5z-2dz=2元i×5=10元Jc z(z -1)where C is the circle in question. This is just the result obtained in Example 1 in Sec. 6.2

Then, in view of equations (6.3.4) and (6.3.5), ⎥ ⎦ ⎤ ⎢ ⎣ ⎡ ⎟ ⎠ ⎞ ⎜ ⎝ ⎛ = ∫ = z f z idzzf C z 11 Res2)( 2 0 0 π . Finally, since is analytic throughout the closed region bounded by and , the principle of deformation of paths (Corollary 4.11.2, Sec. 4.11) yields the desired result (6.3.1). f C C0 Example 1. In the example in Sec. 6.2, we evaluated the integral of )1( 25 )( − − = zz z zf around the circle , described counterclockwise, by finding the residues of at and . Since when z = 2|| zf )( z = 0 z = 1 < z < 1||0 , ,33 5 1(2 ) 5 1 125 )1( 2511 2 2 L L +++= ⎟ +++ ⎠ ⎞ ⎜ ⎝ ⎛ −= − ⋅ − = − − ⎟ = ⎠ ⎞ ⎜ ⎝ ⎛ z z zz z zz z zz z z f z we see from Theorem 6.3.1 that, where the desired residue is 5, iidz zz z C 1052 ππ )1( 25 =×= − − ∫ , where C is the circle in question. This is just the result obtained in Example 1 in Sec. 6.2

s6.4.TheThreeTypesof IsolatedSingularPointsWe saw in Sec. 6.1 that the theory of residues is based on the fact that if f has an isolatedsingularpoint zo,thenf()canberepresentedbya Laurentseriesb,bb,f(=)=a,(z-z0)" +(6.4.1)(z - 20)3(2-=0)"=-20n=0in a punctured disk O < z-zk R,. The portionb,b,b.(z -z0)2(z - z0)"2-20of the series, involving negative powers of z-zo, is called the principal part of f at o.Wenow use the principal part to identify the isolated singular point zo as one of three special types.This classification will aid us in the development of residue theory that appears in followingsections.Definition 6.4.1. If the principal part of f at zo contains at least one nonzero term butthenumberof suchterms isfinite,thenthereexistsapositiveinteger m suchthatbm￥0andbm+l=bm+2=...=0.In this case, the isolated singular point zo is called a pole of order m of f. A pole of orderm =1 of f is usually referred to as a simple pole of fThus, the isolated singular point zo is a pole of order m of f if and only if the Laurentexpansion takestheformbb,b,(6.4.2)f(2)=a,(-zo(z - 20)(-z0))n=0wherebm±0and0z-zkRExample1.Observe that thefunction3322 2z +32(z - 2)+3(04z-2k8)2+(z-2)--2Z-22-2has a simple pole at zo = 2. Its residue b, there is 3.Example2.ThefunctionN10sinhz1112+...(0<=k)hasapole++24357oforder m=3at z=0, with residue b, =1/6Thereremaintwoextremes,thecaseinwhichall of thecoefficients intheprincipalpart arezeroandtheoneinwhichaninfinitenumberofthemarenonzeroDefinition 6.4.2.When all of the b,'s are zero, the point =o is called a removablesingular point offThus, the isolated singular point zois a removable singular point of f if and only if theLaurentexpansiontakestheform(2)=a,(z-z0)" =a +a(z-z0)+a2(z-z0)2 +-(0/z-z k R). (6.4.3)=0Note that the residue at a removable singular point is always zero.If we define,or possiblyredefine,f at z。so thatf(=)=ao,expansion (6.4.3)becomes validthroughouttheentiredisk Iz-zok R,.Since a power series always represents an analytic function interior to itscircle of convergence (Sec.5.8), it follows thatf is analytic at z when it is assigned the

§6.4. The Three Types of Isolated Singular Points We saw in Sec. 6.1 that the theory of residues is based on the fact that if has an isolated singular point , then can be represented by a Laurent series f 0 z zf )( ∑ ∞ = + − ++ − + − +−= 0 0 2 0 2 0 1 0 )()( )()( n n n n n zz b zz b zz b zzazf L L (6.4.1) in a punctured disk . The portion 20 ||0 <−< Rzz L +L − ++ − + − n n zz b zz b zz b )()( 0 2 0 2 0 1 of the series, involving negative powers of 0 − zz , is called the principal part of at . We now use the principal part to identify the isolated singular point as one of three special types. This classification will aid us in the development of residue theory that appears in following sections. f 0 z 0 z Definition 6.4.1. If the principal part of at contains at least one nonzero term but the number of such terms is finite, then there exists a positive integer such that f 0 z m bm ≠ 0 and m+1 = bb m+2 = L = 0 . In this case, the isolated singular point is called a pole of order of . A pole of order of is usually referred to as a simple pole of . 0 z m f m = 1 f f Thus, the isolated singular point is a pole of order of if and only if the Laurent expansion takes the form 0 z m f ∑ ∞ = − ++ − + − +−= 0 0 2 0 2 0 1 0 )()( )()( n m n m n zz b zz b zz b zzazf L , (6.4.2) where ≠ 0 and . bm 20 ||0 <−< Rzz Example 1. Observe that the function )|2|0( 2 3 )2(2 2 3 2 3)2( 2 32 2 ∞<−< − +−+= − += − +− = − +− z z z z z z zz z zz has a simple pole at 2 . Its residue there is 3. z0 = 1 b Example 2. The function )||0( !7!5 1 !3 11 !7!5!3 1sinh 3 3 753 4 4 ∞<<+++⋅+=⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ ++++= z zz z z zzz z zz z L L has a pole of order m = 3 at 0 , with residue z0 = 6/1 b1 = . There remain two extremes, the case in which all of the coefficients in the principal part are zero and the one in which an infinite number of them are nonzero. Definition 6.4.2. When all of the are zero, the point is called a removable singular point of . n 'sb 0 z f Thus, the isolated singular point is a removable singular point of if and only if the Laurent expansion takes the form 0 z f )()( .)||0()()( (6.4.3) 0 20 2 ∑ 0 10 20 0 ∞ = <−<+−+−+=−= n n n zzazzaazzazf L Rzz Note that the residue at a removable singular point is always zero. If we define, or possibly redefine, f at so that 0 z 00 )( = azf , expansion (6.4.3) becomes valid throughout the entire disk . Since a power series always represents an analytic function interior to its circle of convergence (Sec. 5.8), it follows that is analytic at when it is assigned the 20 || <− Rzz f 0 z

value ao there. The singularity at zo is, therefore, removed.Example3.The point =o=O is a removable singular point of the function41-cosz+.f(=)=1-+462222112-4(0O,there is at most a point wsuch that for every point weCl(w), there exist a sequence (-,) of different points inN(zo,0) with f(=,)=w(n=1,2,..)Example 5. The function1111()-71.1.=1+(0<zk8)exp+..12+212m=on!二has an essential singular point at zo= O, where the residue b, is unity. For an illustration ofPicard'stheorem, letusshowthat exp(1/z)assumesthevalue-1 an infinitenumber oftimesineach neighborhood of the origin.Todothis,werecall from theexample in Sec.2.18thatexpz = -1 when z =(2n+1)πi(n = 0, ±1, ±2,..)-1whenThismeans that expZ1ii(n=0, ±1,±2,...),2 :(2n+1)元ii(2n+1)元and an infinite number of these points clearly lie in any given neighborhood of the origin. Sinceexp(1/ z) + O for any value of z, zero is the exceptional value in Picard's theorem.In theremaining sections of this chapter, we shall develop ingreater depth thetheoryof thethreetypes of isolated singular points just described.The emphasis will be on useful and efficientmethodsforidentifyingpoles andfindingthecorrespondingresidues

value there. The singularity at is, therefore, removed. a0 0 z Example 3. The point 0 is a removable singular point of the function z0 = .)||0( !6!4!2 1 !6!4!2 11 1cos1 )( 42 642 2 2 ∞ 0 , there is at most a point such that for every point , there exist a sequence of different points in * w }{\ * ∈C ww }{ n z ),(zN 0 δ with nwzf == K),2,1()( . n Example 5. The function ∑ ∞ = ⎟ ∞<<+⋅+⋅+=⋅=⎠ ⎞ ⎜ ⎝ ⎛ 0 2 )||0( 1 !2 11 !1 1 1 1 ! 11 exp n n z nz z z z L has an essential singular point at z0 = 0, where the residue is unity. For an illustration of Picard’s theorem, let us show that assumes the value 1 b z)/1exp( −1 an infinite number of times in each neighborhood of the origin. To do this, we recall from the example in Sec. 2.18 that z = −1exp when = + π ninz = ± ± K),2,1,0()12( . This means that 1 1 exp −= z when ),2,1,0( )12()12( 1 ±±= K + −=⋅ + = n n i i i in z π π , and an infinite number of these points clearly lie in any given neighborhood of the origin. Since z ≠ 0)/1exp( for any value of z , zero is the exceptional value in Picard’s theorem. In the remaining sections of this chapter, we shall develop in greater depth the theory of the three types of isolated singular points just described. The emphasis will be on useful and efficient methods for identifying poles and finding the corresponding residues