5.1.3 用函数的零点判别极点的类型

5.1.3 用函数的零点判别极点的类型

若函数f(z)在点z0解析且f(z0)=0,则称z0为函数f(z)的零点.

设函数f(z)在其零点z0的邻域|z-z0|<δ内的泰勒级数为

图示

则c0 =0,设m是使cm 图示0的最小正整数,则

图示

定义2 若函数f(z)在z0的邻域内的泰勒级数为

图示

其中cm 图示0,m为正整数,则称z0为f(z)的m级零点.

易见,z0为f(z)的m级零点的充分必要条件为存在解析函数φ(z),且φ(z0)图示0,函数f(z) 在z0 的某邻域内能表示成

图示

例如,z =1为f(z)=(z-1)2的2级零点.

另外,我们还可以通过f(z)在点z0的导数的值给出z0为f(z)的m级零点的充分必要条件.

定理1 z0为函数f(z)的m级零点的充分必要条件为f(z)在z0解析,f(z0)=f(z0)=···=f(m-1)(z0)=0且f(m)(z0)图示0.

证明 若z0为f(z)的m级零点,则f(z)在z0的邻域内的泰勒级数可展成式(5.1.3)的形式,对幂级数逐项求导,可得

图示

反之,若f(z)在z0解析,f(z0)=f(z0)=···=f(m-1)(z0)=0且f(m)(z0)图示0,设f(z) 在z0 的邻域内的泰勒级数为

图示

由系数公式知cn =图示= 0(n = 0,1,2,··· ,m-1),而cm = 图示图示 0,即z0 为f(z) 的m 级零点.

下面给出用函数的零点判断极点的方法:

定理2 若函数f(z)和g(z)在点z0 解析,则有

(1) 当z0分别为f(z)和g(z)的m,n级零点时,z0为f(z)g(z) 的m+n级零点,若m <n,则有z0图示的n-m级极点.

(2) 当z0为g(z)的n级零点,但f(z0)图示0时,z0图示 的n 级极点.

证明(1)由于z0分别为f(z)和g(z)的m,n级零点,故存在函数φ(z)和ψ(z)在点z0解析,且φ(z0)图示0,ψ(z0)图示0,使

图示(https://www.daowen.com)

从而有

图示

由式(5.1.4)和式(5.1.2)可知结论(1) 成立.

(2)设

图示

图示

由于图示在点z0解析,且图示 故z0图示的n级极点.

在定理2的(2)中令f(z)=1可得

推论 若z0为g(z)的n级零点,则z0图示的n 级极点,反之也成立.

例1 下列函数有些什么奇点? 如果是极点,指出它的级.

(1) f(z)=图示

(2) f(z)=图示

(3) f(z)= 图示

解 (1)f(z)=图示的奇点是分母的零点.

图示

由于(sin z) = cos z,而cos z在zk解析且cos zk 图示 0(k = 0,±1,±2,···),由定理2中的(2)知zk(k =0,±1,±2,···) 均为f(z)的简单极点.

(2)易见z =1,z =-1是f(z)的奇点.由于

图示

函数图示在z =1解析且图示因此z =1 是f(z) 的三级极点.

同理,z =-1是f(z)的四级极点.

(3)z =0是f(z)的极点,由于

图示

其中φ(z)在z =0解析且φ(0)图示0,z =0为f(z) 的三级极点.