第二节解析函数的孤立奇点.ppt

5.2 解析函数的有限孤立奇点 5.2.1孤立奇点的分类 5.2.2孤立奇点的性质1. 可去奇点的性质 2. 极点的性质 3. 本性奇点的性质 5.2.3 Picard定理 5.3.4 Schwarz引理 5.2.1孤立奇点的分类 5.2.2 孤立奇点的性质 1.可去奇点 2.极点的性质 3.本性奇点的性质 5.2.3 Picard(毕卡)定理 用下列例子来验证定理5.8成立 5.2.4 Schwarz引理 * 定义5.2 如果f(z)在点a的某一去心邻域 K-{a}:0|z-a|R(即除去圆心a的某圆)内解析, 点a是f(z)的奇点(见定义2.3),则称a为f(z)的孤立 奇点. 如a为f(z)的孤立奇点,则f(z)在a的某去心邻域 K-{a}内可以展成罗朗级数 则称 为f(z)在点a的正则部分,而称 为f(z)在点a的主要部分. 定义5.3 设a为f(z)的孤立奇点. (1)如果f(z)在点a的主要部分为零,则称a为 f(z)的孤立奇点. (2)如果f(z)在点a的主要部分为有限多项, 则称a为f(z)的m阶(级)极点.一级极点也称为简单 极点. (3)如果f(z)在点a的主要部分有无限多项, 则称a为f(z)的本性奇点. 设为 定理5.3 a为f(z)的可去奇点 或 (2) (1)f(z)在点a的主要部分为零; 或 (3)f(z)在点a的某去心邻域内有界 ? 证 只需证(1)?(2);(2) ?(3);(3)?(1) (1)推出(2)：由(1)知 于是 (2)推出(3):即例1.27. |f(z)|≤M(M0).考虑f(z)在点a的主要部分 (3)推出(1):设当a∈K-{a}＝{z| 0|z-a|a} 时 注：a为可去奇点时，补充 f(z)=c0,则a就成为f(z)的解析点了。 定理5.4 如果f(z)以a为孤立点,则a为f(z)的m阶极点? (1)f(z)在a点的 主要部分为 或：(2)f(z)在点a的某去心邻域内能表成 其中λ(z) 在点a邻域内解析,且λ(a)≠0 以a为m阶零点 (可去奇点a要当作解析点看,只要令g(a)=0). 证 (1)?(2): 设在点a的某去心邻域内有 其中： 显然在点a的邻域内解析,且 (2)推出(3):设在点a的某去心邻域内有 其中 在点a的某去心邻域内解析,且 (由例1.28) 因此a为g(z)的可去奇点,作为解析点来看,只 要令g(a)=0,a就为g(z)的m级零点. (3)推出(1):如果 以点a为m级零点, 则在点a的某邻域内 定理4.17 其中 在此邻域内解析,且 .这样一来 因1/?(z) 在点a某邻域内解析(例1.28),则可展成泰勒级数，设为： 于是f(z)在点a的主要部分就是 定理5.5 f(z)的孤立奇点a为极点的充要 条件是 定理5.6 f(z)的孤立奇点a为本性奇点? 证明：(反证法) 若a不是f(z) 的本性奇点 a是f(z)的 可去奇点 a是f(z)的极点 ?a是f(z)的可去奇点 ? a是f(z)的极点 矛盾！ ? ? 定理5.7 若z=a为f(z)之一本性奇点,且在点 a的充分小去心邻域内不为零,则z=a亦必为 的本性奇点. 证 （反证法） ①若z=a为?(z)的可去奇点(解析点), 都与假设 ②若z=a为?(z)的极点 a为f(z)的可去奇点 ? ? a为f(z)的可去奇点 a为f(z)的极点 ? ? .由假设,z=a必为 ? ? 矛盾！ 定理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=