13、.反过来,当任何一个函数f(z)能表示为(*)的形式,且g(z0)0时,则z0是f(z)的m级极点.如果z0为f(z)的极点,由(*)式,就有3.本性奇点如果在洛朗级数中含有无穷多z-z0的负幂项,则孤立奇点z0称为f(z)的本性奇点.综上所述:我们可以利用上述极限的不同情形来判别孤立奇点的类型.4.函数的零点与极点的关系不恒等于零的解析函数f(z)如果能表示成f(z)=(z-z0)mj(z),其中j(z)在z0解析且j(z0)0,m为某一正整数,则z0称为f(z)的m级零点.例如当f(z)=z(z-1)3时,
14、z=0与z=1是它的一级与三级零点.根据这个定义,我们可以得到以下结论:如f(z)在z0解析,则z0是f(z)的m级零点的充要条件是f(n)(z0)=0,(n=0,1,2,...,m-1),f(m)(z0)0.这是因为,如果f(z)在z0解析,就必能在z0的邻域展开为泰勒级数:f(z)=c0+c1(z-z0)+...+cm(z-z0)m+…,易证z0是f(z)的m级零点的充要条件是前m项系数c0=c1=...=cm-1=0,cm0,这等价于f(n)(z0)=0,(n=0,1,2,...,m-1),f(m)(
15、z0)0。例如z=1是f(z)=z3-1的零点,由于f'(1)=3z2
16、z=1=30,从而知z=1是f(z)的一级零点.定理如果z0是f(z)的m级极点,则z0就是的m级零点,反过来也成立.例2例3对讨论函数在处的性态。5.函数在无穷远点的性态如果函数f(z)在无穷远点z=的去心邻域R<
17、z
18、<内解析,称点为f(z)的孤立奇点.作变换把扩充z平面上的去心邻域R<
19、z
20、<+映射成扩充w平面上原点的去心邻域:又.这样,我们可把在去心邻域R<
21、z
22、<+对f(z)的研究变为在内对j(w)的研究.显然j(w)
23、在内解析,所以w=0是孤立奇点.f(z)在无穷远点z=的奇点类型等价于j(w)在w=0的奇点类型。f(z)在z=0处洛朗展式中不含正幂项,则z=∞为可去奇点;含有限多项的正幂项且最高项为zm,则z=∞为m级极点;含有无穷多项的正幂项,则z=∞为本性奇点。