《数学物理基本方法》第3章 解析函数的级数表示.pptVIP

幂级数的收敛域是圆域,且和函数在收敛域 内解析. (2) 在圆域内的解析函数一定能展开成幂级数. 对于Laurent级数，已经知道： Laurent级数的收敛域是圆环域，且和函数 在圆环域内解析. 问题: 在圆环域内解析的函数是否可以展开 成Laurent级数? 对于通常的幂级数，讨论了下面两个问题: §3.4.2 函数的Laurent 级数展开 定理 (Laurent展开定理) 设 　 函数f (z)在圆环域 内解析, 则函数f (z) 在此环域内可展开为Laurent级数 其中 C是圆 周 的正向. 证明 由于f(z)在CR1和CR2上不一定解析， 取r1, r2满足 R2＜r2＜|z-b|＜r1＜R1 (3.4.3) 这样，f(z)在圆Cr1和Cr2所围的闭复通区域D内解析． 根据复通区域的柯西公式 现在分别将两项展开为级数： (3.4.4) (1)沿Cr1的积分。 因为x为积分曲线Cr1 上的点，z点在Cr1的内部，故有R1＞| x-b| ＞|z-b| .仿照泰勒定理的证明，式(3.4.4)沿Cr1的积分可写为 (2)沿Cr2的积分 因为Cr2为积分曲线Cr2上的点，z点在Cr2 的外部，故有R2|x-b||z-b|，因而 既然 |(x-b)/(z-b)| 1，级数绝对收敛，类似地，沿Cr2的积分可写为 其中式(3.4.6)的负号已将沿顺时针方向的积分换向．令k=-(n+1)，当n=0到∞时，k将由-1到- ∞，故 (3.4.8) (3)洛朗系数的计算 由柯西定理的推论3可知，式(3.4.5)中沿Cr1的积分与式 (3.4.8)中沿Cr2的积分相等，并且等于沿环内环绕内圆任一回路Cr2的积分，即 将式(3.4.5)，式(3.4.8)和式(3.4.9）代入式(3.4.4)，即有 讨论 第一，洛朗展开系数 这是因为f(z)仅在环域R2|z-b| R1,内解析，而高阶导数公式 仅当f(z)在闭曲线Cr内部解析才成立 第二，洛朗级数在环域R2|z-b|R1内绝对收敛，并在其内的任一闭环域内一致收敛． 洛朗展开式的正幂项称为它的解析部分(也称正则部分），它在圆CR1内(|z-b| R1)绝对收敛，并在其内的任一闭圆内一致收敛； 洛朗展开式的负幂项称为它的主要部分，它在圆CR2外(|z-b| R2 ) 绝对收敛，在圆CR2外任一闭区域上一致收敛; 两者之和在它们共同绝对收敛的区域绝对收敛，在共同一致收敛的区域一致收敛。 第三, 洛朗展开是唯一的 设f(z)的展开为另一形式 为证明Ak与ak相等，将式(3.4.12)的z改写为x，用2pi(x-b)m+1除式(3.4.12）后代入洛朗系数公式，可得 (3.4.13) 将函数在圆环域内展开成Laurent级数, 理论 (1) 直接方法 直接计算展开式系数 然后写出Laurent展开式 这种方法只有理论意义, 而没有实用价值. 就是 上应该有两种方法: 直接方法与间接方法. 说, 只有在进行理论推导时, 才使用这种表示方法. 根据解析函数 Laurent 级数展开式的惟一性, 可运用代数运算、代换、求导和积分等方法去将 函数展开成Laurent 级数. (2) 间接方法 这是将函数展开成Laurent 级数的常用方法. 给定函数 与复平面内的一点 以后, 函 数在各个不同的圆环域中有不同的Laurent展开式 (包括Taylor展开式作为特例). 这与Laurent展开式 的惟一性并不矛盾, 在同一圆环域内的展开式惟一. 注意，逐项求导以及 都仅在|z|l 成立．将上式从0到z积分，得 这里只讨论对数函数的主值支；上式仅在收敛圆内成立；在收敛圆内级数和S(z)是一个解析函数。 (3) 在收敛圆周上，级数点点绝对收敛． 上例已证明正项级数 收敛。当|z|=1时，级数 的|wk(z)|mk.由比较判别法可知，级数 绝对收敛 作业- §3.2 第59页 Group 1 Group 2 Group 3 3.2.1 3.2.2.(3)(6) 3.2.1 3.2.2.(2)(4) 3