复变函数07.pptVIP

?定义 若函数f(z)在无穷远点z = ?的去心邻 域R |z| +?内解析, 则称点?为f(z)的孤立 奇点. 第一节 孤立奇点 ?函数在无穷远点的性态 ?由于函数f(z)在无穷远点z = ?总是没有定 义的，所以? 总是函数 f(z)的奇点。 ?设f(z)在无穷远点?的去心邻域R|z|+?内 解析，作变换 ,则此变换把扩充z平面 上的无穷远点z = ?映射成扩充? 平面上的 点? =0. ?该变换把扩充z平面上的区域R|z|+?映 射成扩充? 平面上的区域 . 态的讨论, 便可得到 f(z)在无穷远点z = ? 的性态. 于是, 就有如下的定义: ?定义 设 ,如果? = 0是? (? )的 可去奇点, m级极点或本性奇点, 则称z=? 是f(z)的可去奇点, m级极点或本性奇点. ?在这样的倒数变换下,记 可知?(? )在 内解析, ? =0是其孤 立奇点. 这样, 通过对?(? )在原点? =0的性 ?为了从f(z)的洛朗展开式本身来区分孤立 奇点z = ?的类型，把f(z)在R|z|+?内展 成洛朗级数: ?再将 在 内展成洛朗 级数 ?将 代入上式, 并注意到 , 可以得到 ?并注意到f(z)在同一圆环R|z|+ ?内的洛 朗展式是唯一的, 必有 . ?即? (? )在0|? |1/R内洛朗展式的负幂项 系数与f (z)在R|z|+?中洛朗展式的相应 正幂项系数相等. 于是, 我们有如下结论: (1)不含正幂项; (2)含有有限多的正幂项, 且zm为最高正幂; (3)含有无穷多的正幂项; 则无穷远点z = ?是f(z)的 (1)可去奇点 (2)m级极点; (3)本性奇点. ?定理 设函数f(z)在解析圆环R|z|+?内的 洛朗展式为 , 如果在展式中 ?例 是否以z = ?为孤立奇点? 若是, 属于哪一类? 解 f(z)有两个有限奇点z = ? i , 它在z=?的 邻域1|z|+?内解析, 即z = ? 是它的孤立 奇点. 令? =1/z , 则在0|? |1内 若令? (0)＝0, ? (? )在?＝0解析. 另解 f(z)在?的邻域1|z|+?内解析, f(z)在 此环域内的洛朗展式为 可见? =0是? (? )的可去奇点, 故z = ? 是 f(z)的可去奇点. ?例 , 函数是否以z=?为 孤立奇点? 若是, 属于哪一类? 解 f(z)在0|z|+?内解析, z=?是孤立奇点. 由于f(z)本身已经是洛朗展开的形式, 且最高正幂为2次, 故z = ?是f(z)的二级极点. 由于f(z)在?的邻域1|z|+?内的洛朗展式 中不含正幂项，故z = ? 是f(z)的可去奇点. ?例 sin z是否以z = ?为孤立奇点? 若是, 属 于哪一类? 解 sin z在|z|+?内解析, 故z = ?是它的孤 立奇点. 在|z|+?内, sin z 的洛朗展式中有无穷多 个正幂项, 故z = ?是sin z的本性奇点. ?例 是否以z = ?为孤立奇点? 由于? = 0不是? (? )的孤立奇点, 从而z=? 不是f(z)的孤立奇点. 第二节 留数 ?留数的定义 ?当函数f(z)在z0的邻域|z-z0|? 内解析时, 由 柯西积分定理(P32) ?如果z0是f(z)的一个孤立奇点, f(z)在z0的某 个去心邻域0|z－z0|? 内解析, C是该去心 C是该邻域内围绕z0的任一简单闭曲线. 邻域内围绕z0的任一正向简单闭曲线, 则 ?设f(z)在0|z－z0|? 内的洛朗展式为 ?这表明, 将f(z)的洛朗展式沿围绕孤立奇 点z0的正向简单闭曲线C逐项积分之后, 只留下(z - z0)的负一次幂项的积分不为 零, 其余所有项的积分均为零. 所以负一 次幂项的系数c-1在研究函数的积分中将 占有特别重要的地位.