第5章第一节孤立奇点.ppt

4.5 解析函数的孤立奇点 4.5.1 孤立奇点的三种类型 的非孤立奇点. 孤立奇点的分类,按照 且当 中不含负幂项, 极点, 如果 中含有无穷多个z的负幂项. 著名的毕卡(picard)大定理. (1) 则称 例如z=1与z=-2 分别是函数 顺便指出，一个不恒为零的解析函数的零点是 证 因此,只要令 的1级极点. 因为变换 (4.5.4) 洛朗展式(4.5.5)中不含z的正幂项; 例1 在 因此 可知 * * 孤立奇点:如果函数 虽在 的某一去心邻 域 内处处解析,则称 为 的孤立奇点 例如z=1是函数 的孤立奇点. 非孤立奇点: 若函数 在 的任意小的 邻域内总有除 以外的奇点,则 是 例如函数 在z=0没有定义,z=0是 的奇点, 除此以外, 也是函数的奇点. 但当 时, 无限接 近于z=0, 即在z=0的任意小的邻域内总有除z=0 以外的奇点,故z=0是函数的非孤立奇点. 在 的去心邻域内展 成的洛朗级数含负幂项的不同情况分成3类: 可去奇点: 如果在洛朗级数中不含 的负幂项,则 为 的可去奇点. 这时, 在 的某个去心邻域内的洛朗级 数为 因此,这个幂级数的和函数 是在 解析的函数 时, 当 时, 但是,由于 如果令 则点 就是 的解析点, 这即是称 是 的可去奇点的由来. 例如, 在z=0无意义, 它在z=0的去心 邻域内的洛朗级数 如果定义 z=0就成为 的解析点. 极点: 如果在洛朗级数中只含有有限多个 的负幂项,且其关于 的最高次幂为 即 则称 为 的一个m级极点, m=1时,称为简单 上式也可以写成 (4.5.1) 其中 在 内是解析函数,且 反之, 当任何一个函数 能表示成(4.5.1)的形式,且 时, 则 是 的m级极点. 为 的极点,由(4.5.1)式,就有 例如函数 以z=-1为2级极点, 为一级极点. 本性极点: 如果在洛朗级数中含有无穷多个 的负幂项,则称 为 的本性极点. 例如,函数 以z=0为它的本性极点.因为 如果 为 的本性极点,则对于任何有限 复常数A和数 在 内总有一点z 使得 成立, 不仅如此,还可以证明解析 函数在本性极点的去心邻域内无穷多次的取到每 个有限复值, 至多可能除去一个例外值, 这就是 例如 z=0是 的本性极点,对任意的有 限复数 有点列 而使 由于 所以A=0是它的例外值. 综上所述,如果就函数的极限值看, 是 的可去奇点,极点,或本性极点的充要条件是: 有限; (2) (3) 不存在,且不为 4.5.2 解析函数的零点与极点的关系 零点： 若函数 在解析区域D内一点 的值 为零，则称 为解析函数 的零点。 若 在 有展开式 在 处有m级零点。 由此可知， 为 的m级零点的充要条件是： 但 此时亦可知 （4.5.2） 其中 在 解析，并且 的2级与3级零点。 z=0是 的3级零点。 由 或由 知 即得 孤立的。 这是因为（4.5.2）中的 在 解析， 且 因而它在 的邻域内不为零，所以 在 的去心邻域内不为零， 等于零。 定理 如果 是 的m级极点, 则 是 的m级零点,反之亦成立. 仅在 如果 是 的m级极点,则有 其中 在 解析,且 因此当 时,有 函数 也在 解析,且 由于 (4.5.3) 则 即是 的m级零点. 反之,如果 是 的m级零点,则 这里 在 解析,并且 因此,当 时,得 而 在 解析, 故 是 的m级极点. 例1 函数 有哪类孤立奇点?若是极点,求其级 解 函数 的奇点显然是使 的点,这些点是 且都是 孤立奇点, 由于 因此 都是 的1级零点,也就是 再由于 因此 都是 的1级极点. 4.5.3 解析函数在无穷远点的性质 如果函数 在无穷远点 的去心邻域 内解析,则称点 为 的孤立奇点. 设点 为 的孤立奇点,利用变换 于是 将区域 一一的变换 为圆环域 所以 在无穷远点的领域 内的性质完全可由 在圆环域 决定, 反之亦然,于是规定:如果 是 的可去奇点,m级极点或本性奇点,则相应的 称为 的可去奇点,m级极点或本性奇点. 设 在 内的洛朗展式为 换回变量z,就得到 在无穷远点的去心邻域 内的洛朗展式 (4.5.5) 其中 得 (1) 是 的可去奇点的充要条件: (2) 是 的m级极点的充要条件是: 洛朗展式(4.5.5)中含有有限多个(至少要有一个) 正幂项,且最高次幂为m. (3) 是 的本性奇点的充要条件是: 洛朗展式(4.5.5)中含有无穷多个正幂项. 函数 在扩充复平面内有些什么类型的奇点?如果是极 点,指出它的级. 解: 函数 除使分母为零的点 外, 在 内解析, 由于 处均不为零, 因此 这些点都是 的1级零点,从而是 的 2级零点, 故这些点中除去 处都是 的2级 极点. 处由洛必达法则,得 是 的可去奇点. 对