第九讲 Laurent级数.ppt

* 皮埃尔·阿方斯·洛朗[1]?（Pierre Alphonse Laurent1813年7月18日—1854年9月2日）法国数学家，因发现洛朗级数而著名，洛朗级数是对函数的无穷幂级数展开，它是泰勒级数的推广。为获取法国科学院大奖，洛朗在1843年提交了一篇研究报告，在此报告中洛朗级数首次出现。但是他提交的研究错过了最后期限，因此他的研究成果没有被发表、获奖。1854年9月2日年仅41岁的洛朗在巴黎去世。 第五章 解析函数的洛朗（Laurent） 展式与孤立奇点 1、解析函数的Laurent展式 2、孤立奇点 1. 预备知识 2. 双边幂级数 3. 函数展开成双边幂级数 4. 展开式的唯一性 §5.1 洛朗(Laurent)级数 由§4.3 知, f (z) 在 z0 解析，则 f (z)总可以在z0 的某一个圆域 ?z - z0?R 内展开成 z - z0 的幂级数。 若 f (z) 在 z0 点不解析，在 z0的邻域中就不可能展开成 z - z0 的幂级数，但如果在圆环域 R1?z - z0?R2 内解析， 那么，f (z)能否用级数表示呢？ 例如， 由此推想，若f (z) 在R 1?z - z0?R2 内解析, f (z) 可以展开成级数，只是这个级数含有负幂次项,即 本节将讨论在以z 0为中心的圆环域内解析 的函数的级数表示法。它是后面将要研究的解 析函数在孤立奇点邻域内的性质以及定义留数 和计算留数的基础。 1. 预备知识 Cauchy 积分公式推广到复连通域 D z0 R1 R2 r R k1 k2 D1 z 2. 双边幂级数 ---含有正负幂项的级数 定义 形如 ---双边幂级数 正幂项(包括常数项)部分： 负幂项部分： 级数(2)是一幂级数，设收敛半径为R2 ， 则级数在 ?z - z0?=R2 内收敛，且和为s(z)+; 在?z - z0?=R 2外发散。 z0 R1 R2 z0 R2 R1 (2)在圆环域的边界?z - z0?=R1, ?z - z0?=R2上, 3. 函数展开成双边幂级数 定理 证明 由复连通域上的Cauchy 积分公式： D z0 R1 R2 r R k1 k2 D1 z 记为I1 记为I2 式(*1),(*2)中系数cn的积分分别是在k2， k1上进 行的，在D内取绕z0的简单闭曲线c，由复合闭路 定理可将cn写成统一式子： 证毕！ 级数中非负整次幂部分和负整次幂部分分别称为 洛朗级数的正则部分和主要部分。 (2)在许多实际应用中，经常遇到f (z)在奇点 z0的邻域内解析，需要把f (z)展成级数，那么 　　 就利用洛朗（ Laurent ）级数来展开。 4. 展开式的唯一性 结论 一个在某一圆环域内解析的函数展开为含 有正、负幂项的级数是唯一的，这个级数就是f (z) 的洛朗级数。 事实上， D z0 R1 R2 c D z0 R1 R2 c 由唯一性，将函数展开成Laurent级数，可 用间接法。在大都数情况，均采用这一简便的方 法求函数在指定圆环域内的Laurent展开式，只有 在个别情况下，才直接采用公式(5)求Laurent系 数的方法。 例1 解 例2 解 例3 解 例4 x y o 1 2 x y o 1 2 x y o 1 2 解: 没 有 奇 点 (2)对于有理函数的洛朗展开式，首先把有理 函数分解成多项式与若干个最简分式之和，然后利用已知的几何级数，经计算展成需要的形式。 小结：把f (z)展成洛朗( Laurent )级数的方法： 例5 y x o 1 2 解 (1) 在 (最大的)去心邻域 x o 1 2 (2) 在 (最大的)去心邻域 (2)根据区域判别级数方式： 在圆域内需要把 f (z) 展成泰勒(Taylor)级数， 在环域内需要把f (z)展成洛朗( Laurent )级数。 包括去心邻域 Laurent级数先求 的奇点，然后以 z0 为中心，奇点为分隔点，找出z0到无穷远 点的所有使 解析的环，在环域上展成 级数。 (3) Laurent级数与Taylor级数的不同点： Taylor级数先展开求R, 找出收敛域。 1. 定义 2. 分类 3. 性质 4. 零点与极点的关系 §5.2 孤立奇点 1. 孤立奇点的分类 解析 *