复变函数论课件：第五章 解析函数的洛朗展式与孤立奇点.pptVIP

1. 双边幂级数 2. 解析函数的洛朗(Laurent)展式 2. 解析函数的洛朗(Laurent)展式 2. 解析函数的洛朗(Laurent)展式 4. 解析函数在孤立奇点邻域内的洛朗展式 4. 解析函数在孤立奇点邻域内的洛朗展式 小结 第二节 解析函数的有限孤立奇点 1. 孤立奇点的分类 1. 孤立奇点的分类 3. 施瓦茨(Schwarz)引理 4. 极点的性质 5. 本性奇点的性质 6. Picard(皮卡)定理 Picard(毕卡)定理 用下列例子来验证定理5.8成立 第三节 解析函数在无穷远点的性质 例5.12 将多值函数 例5.12 将多值函数 第四节 整函数与亚纯函数 1. 整函数 定理5.8 如果a为f(z)的本性奇点,则对于 任何常数A,不管它是有限数还是无穷,都有一个 收敛与a的点列{zn},使得 换句话说,在本性奇点的无论怎样小的去心邻 域内,函数f(z)可以取任意接近于预先给定的任 何数值(有限的或无穷的). 证 (1) 在 A＝∞的情形,定理是正确的.因为函 数f(z)的模在a的任何去心邻域内都是无界的. 否则,a必为f(z)的可去奇点. (2)现在设 .这样,由定理5.7,函数 在K-{a}内解析,且以a为本 性奇点(因a为f(z)的本性奇 由此推出 可能有这种情形发生,在点a的任意小的 邻域内有这样一点z存在,使f(z)=A.定理得证 因此,我们可以假定,在点a的充分小去心邻域K-{a}内f(z)≠A 点).根据前面(1)段的结果,必定有一个趋向a的点列{zn}存在,使得 例5.9 A=∞ A≠∞ 例5.10 A=∞ A=0 A≠∞, A≠∞ 定理5.9(毕卡(大)定理) 如果a为f(z)的本性奇点,则对于每一个A≠∞,除掉可能一个值A=A0外,必有趋于a的无限点列{zn}使f(zn)=A (n=1,2,…). 定义5.4 设函数f(z)在无穷远点(去心)邻域 N-{∞}：+∞|z|r≥0 内解析,则称点∞为f(z)的一个孤立奇点. 设点∞为f(z)的孤立奇点,利用变换 ,于是 在去心邻域: (5.12) 内解析，则 (1)对于扩充z平面上无穷远点的去心邻域 N-{∞},有扩充z/平面上的原点的去心邻域; (2)在对应点z与z/上,函数 (3) 或两个极限都不存在. 注： 定义5.5 若z/=0为 的可去奇点(解析点)、 m级极点或本性奇点,则相应地称z=∞为f(z) 的可去奇点(解析点)、m级极点或本性奇点. 设在去心邻域 内将 展成罗朗级数: 定理5.3/ (对应于定理5.3)f(z)的孤立奇点z=∞为可去奇点的充要条件是下列三条中的任何一条成立: (1)f(z)在 的主要部分为零; (2) (3)f(z)在 的某去心邻域N-{∞}内有界. 定理5.4/(对应于定理5.4)f(z)的孤立奇点z =∞为m级极点的充要条件是下列三条中的任何一条成立: (1) f(z)在 z=∞的主要部分为 (2) f(z)在z =∞的某去心邻域N-{∞}内能表成 (3) g(z)=1/ f(z)以z =∞为m级零点(只要令g(∞)=0). 其中 在z =∞的邻域N内解析,且 定理5.5’(对应于定理5.5) f(z)的孤立奇点∞为极点的充要条件是 定理5.6’(对应于定理5.6) f(z)的孤立奇点∞为本性奇点的充要条件是下列任何一条成立: (1)f(z)在z=∞的主要部分有无穷多项正幂不等于零 广义不存在(即当z趋向于∞时, f(z)不趋向于任何(有限或无穷)极限). (2) 例5.11 的在无穷远点的某去心邻域内展成洛朗级数 o x y 1 1 2 o x y 由 且仍有 且仍有 2 o x y 由 此时 仍有 此时 注意: 奇点但却不是函数 的奇点 . 本例中圆环域的中心 是各负幂项的 说明: 1. 函数 在以 为中心的圆环域内的洛朗级 数中尽管含有 的负幂项, 而且 又是这些 项的奇点, 但是 可能是函数 的奇点,也可能 的奇点. 不是 2. 给定了函数 与复平面内的一点 以后, 函数在各个不同的圆环域中有不同的洛朗展开 式 (包括泰勒展开式作为它的特例). 回答：不矛盾 . 朗展开式是唯一的) 问题：这与洛朗展开式的唯一性是否相矛盾? (唯一性 : 指函数在某一个给定的圆环域内的洛 解 例3 例4 解 例5 内的洛朗展开式. 解 在这节课中, 我们学习了洛朗展开定理和函