§4.4-孤立奇点.pptVIP

第四节 单值函数的孤立奇点 1、孤立奇点的类型 若?为函数f(z)的奇点，则函数f(z)在?的无心邻域内0?|z- ? |?R 可以展开为Laurant级数： 我们将后面的正幂次项部分称为正则部分，而将前面的负幂 次项部分称为主要部分。 根据Laurant展式中主要部分的性质，可以将孤立奇点分为三 种类型： (I) 若Laurant展式中无主要部分，则?为可去奇点。 (II) 若Laurant展式中主要部分为有限多项，其负幂次项 最高非零系数项若为C-m，则称?为m阶孤立奇点。 (III) 若Laurant展式中主要部分为无限多项，则称?为本性奇点。 2、可去奇点 若?为函数f(z)的奇点，则函数f(z)在?的无心邻域内0?|z- ? |?R 的Laurant展式为： 函数f(z)是在0?|z- ? |?R圆内的解析函数， f(z)在?点无定义、 不可微。如果将f(z)在?点的值重新定义为： f(z)=c0，则f(z)在 ?点的奇异性就去掉了，则函数f(z)可以用上面的Laurant展开 式在|z- ? |?R实心圆内完全表示，因此称这样的奇点为可去奇 点。 例1、将 在z=0附近展开为Laurant级数。 解：首先令： 而： 显然，当n?-1，有： 而当n≥-1时： 则： 定理1：?为函数f(z)的可去奇点的充要条件： (I) 函数f(z)在?点没有主要部分； (II) 函数 存在并且有限； (III) f(z)在?点的充分小邻域内有界。 证明：首先由(I)得，在?的邻域内有： 由此得： 又由于f(z)在?点的邻域内解析，且在?点的极限存 在，显然，(III)成立。 若(III)成立，若|?-? |=?，?为任意小量，则： 很显然，所有负幂次项系数都为0，即(I)成立。 3、极点 定理2：若?为函数f(z)的孤立奇点，则?为函数f(z)m阶极点的 充要条件为： (I) 函数f(z)在?点主要部分为： ； (II) f(z)在?点的无心邻域内能表示成： 其中?(z)在?点的邻域内解析； (III) 以?点为可去奇点，可以当作解析点来看， ?为g(z)的m阶0点。 证明：首先由(I)得，在?的邻域内有： 所以： 若令： 显然有： ，且： 以及f(z)在?点邻 域内解析，显然有结论?(z)在?点邻域内解析，(II)成立. 若(II)成立，则： ，而1/?(z)在?点邻域 内解析，显然g(z)在?点邻域内解析，所以?点可以作为g(z) 的可去奇点，显然?点为g(z)的m阶零点，所以(III)成立。 若(III)成立， ?点为g(z)的m阶零点，则： 这里?(z)为?点邻域内的解析函数，所以： 所以(I)也成立。 例2、将 在z=1邻域内展开为Laurant级数。 解：首先令： 则： 很显然z=1点为一阶极点 。 4、本性奇点 定理3：若?为函数f(z)本性奇点的充要条件为 不存在，即z??时， f(z)既不趋近于?，也不趋近于一定值。 例3、将 在z=0邻域内展开为Laurant级数。 解：由于： 则： 显然z=0为本性奇点。 5、解析函数在无穷远点的性质 定义1：若函数f(z)在?点的某无心邻域内r?|z|?+?内解析，则称?点f(z)的孤立奇点。 设z=?为函数f(z)的孤立奇点，则存在充分大的r，使得函数f(z) 在r?|z|?+?内解析。 做变换，令：?＝1/z ，令： ，则f(z)的无穷原点 变为F(z)的零点，由此定义： 定义2：若函数 以?=0为可去奇点、m阶极点、 本性奇点，则z=?相应为f(z)的可去奇点、m阶极点、本性奇点。