第 4–5 章 · 级数、留数与实积分的计算

这一站把理论兑成现金：奇点分类、留数定理，以及"用复积分算实积分"这门独门绝技——很多实积分（$\int_{-\infty}^\infty \frac{dx}{1+x^2}$ 级别以上的）只有这条路能走。

幂级数与洛朗级数：两种展开

全纯处泰勒展开 $f = \sum a_n(z-z_0)^n$（正幂）；奇点附近洛朗展开 $f = \sum_{n=-\infty}^{\infty} a_n(z-z_0)^n$（允许有限负幂）。奇点分类看负幂项：

• 可去奇点：无负幂（如 $\frac{\sin z}{z}$ 在 0，定义补值后全纯）；
• 极点：有限个负幂，最低次 $-m$ 叫 $m$ 阶极点；
• 本性奇点：无穷负幂——Weierstrass-Casorati：附近函数值稠密于整个复平面（$\sin(1/z)$ 是标本）。

留数定理：一圈积分的账本

留数 = 洛朗展开中 $(z-z_k)^{-1}$ 的系数 $a_{-1}$——只有这一项积分后存活。一阶极点的快捷式 $\text{Res} = \lim_{z\to z_k}(z-z_k)f(z)$。围道积分的整个技术就是把实积分装进一个闭合围道。

三大围道技巧

• 半圆围道：$\int_{-\infty}^\infty f(x)dx$（$f$ 分母次数高 2 次），上半平面闭路，大圆弧贡献趋零，实轴积分 = $2\pi i\times$(上半平面极点留数和)；
• Jordan 引理：处理带 $e^{iaz}$ 的振荡因子（傅里叶型积分 $\int \frac{e^{iax}}{1+x^2}dx$ 类）；
• 钥匙孔围道：多值函数（$\log$、分数幂）与 $\int_0^\infty \frac{x^{a-1}}{1+x}dx = \frac{\pi}{\sin\pi a}$ 类积分。

老师的提醒

• 围道积分的标准四步：选围道 → 验证圆弧贡献趋零 → 数极点算留数 → 减去多余部分（如辐角积分段）。写成 checklist 每题过一遍。
• 本性奇点附近"取任何值无穷次"（Picard 大定理）——Casorati 是它的弱化版，两个都记。

自检

• 三类奇点的洛朗展开特征？
• 半圆围道法要求 $f$ 满足什么衰减？
• $\int_0^\infty \frac{dx}{1+x^4}$ 的围道方案？

更深一层：洛朗级数是"奇点的 CT 扫描"

泰勒级数只描述"好"的部分，洛朗级数 $\sum_{n=-\infty}^{\infty}a_n(z - z_0)^n$ 把坏的部分也拍出来：负幂项的分布就是奇点的病理报告——没有负幂（可去）、有限负幂（极点，最低次 = 阶数）、无限负幂（本性奇点）。系数 $a_{-1}$（留数）是唯一"积分后存活"的项，因为 $\oint (z - z_0)^n dz$ 只在 $n = -1$ 时给出 $2\pi i$。奇点分析 = 读洛朗展开的负幂指数表——三类奇点的分类、阶数的判定、留数的提取，全是读表动作。

本性奇点的 Weierstrass-Casorati 定理（任何邻域内函数值稠密于全平面）与 Picard 大定理（取任何值无穷次、至多例外一点）揭示了本性奇点的疯狂程度：$\sin(1/z)$ 在原点附近把整个复平面"搅"成自身——复函数在坏点附近的暴力程度远超实函数的想象。

推导细读：围道积分的四步标准作业程序

用留数算实积分的流程值得固化为 SOP：第一步选围道——半圆（$\int_{-\infty}^\infty$ 型）、钥匙孔（多值函数/辐角型积分）、矩形（周期函数/ Fourier 型）；第二步验证大圆弧消失——被积函数在弧上的上界估计（$|f| \cdot \pi R \to 0$，分母次数足够或 Jordan 引理处理 $e^{iaz}$ 振荡因子）；第三步数留数——围道内部的极点，一阶用 $\lim(z - z_k)f$、高阶用导数公式；第四步结算——实积分 = $2\pi i \times$ 留数和 − 辐角段贡献。示例标尺：$\int_{-\infty}^{\infty}\frac{dx}{1+x^4} = \frac{\pi}{\sqrt2}$ 走一遍全流程（上半平面的两个极点 $e^{i\pi/4}, e^{3i\pi/4}$），此后同类题目全是变奏。

在真实世界里：留数定理的信号处理身份

留数定理在工程里的现代身份是系统响应的谱分解。传递函数 $H(s)$ 的极点决定瞬态模式（$e^{p_it}$ 项）——拉普拉斯反变换的部分分式法就是留数定理的工程化身；频率响应的幅度 = "到各极零点距离"的几何乘积（极零图读频响）；数字信号处理的 Z 平面极零配置直接设计滤波器（陷波器在干扰频率放零点）。"极点位置决定系统行为"这一句 DSP/控制理论的座右铭，数学本体就是洛朗展开与留数。

专题深入：洛朗级数是"奇点的 CT 扫描"完整版

泰勒级数只描述"好"的部分，洛朗级数 $\sum_{n=-\infty}^{\infty}a_n(z - z_0)^n$ 把坏的部分也拍出来：负幂项的分布就是奇点的病理报告——没有负幂（可去）、有限负幂（极点，最低次 = 阶数）、无限负幂（本性奇点）。系数 $a_{-1}$（留数）是唯一"积分后存活"的项，因为 $\oint (z - z_0)^n dz$ 只在 $n = -1$ 时给出 $2\pi i$。奇点分析 = 读洛朗展开的负幂指数表——三类奇点的分类、阶数的判定、留数的提取，全是读表动作。

本性奇点的疯狂程度由 Weierstrass-Casorati（任何邻域内函数值稠密于全平面）与 Picard 大定理（取任何值无穷次、至多例外一点）揭示：$\sin(1/z)$ 在原点附近把整个复平面"搅"成自身——复函数在坏点附近的暴力程度远超实函数的想象。

数学细节展开：围道积分的"四步标准作业程序"完整版

用留数算实积分的流程值得固化为 SOP：第一步选围道——半圆（$\int_{-\infty}^\infty$ 型）、钥匙孔（多值函数/辐角型积分）、矩形（周期函数/ Fourier 型）；第二步验证大圆弧消失——被积函数在弧上的上界估计（$|f| \cdot \pi R \to 0$，分母次数足够或 Jordan 引理处理 $e^{iaz}$ 振荡因子）；第三步数留数——围道内部的极点，一阶用 $\lim(z - z_k)f$、高阶用导数公式；第四步结算——实积分 = $2\pi i \times$ 留数和 − 辐角段贡献。示例标尺：$\int_{-\infty}^{\infty}\frac{dx}{1+x^4} = \frac{\pi}{\sqrt2}$ 走一遍全流程（上半平面的两个极点 $e^{i\pi/4}, e^{3i\pi/4}$），此后同类题目全是变奏。

工程案例细节：留数定理的信号处理身份

留数定理在工程里的现代身份是系统响应的谱分解：传递函数 $H(s)$ 的极点决定瞬态模式（$e^{p_it}$ 项）——拉普拉斯反变换的部分分式法就是留数定理的工程化身；频率响应的幅度 = "到各极零点距离"的几何乘积（极零图读频响）；数字信号处理的 Z 平面极零配置直接设计滤波器（陷波器在干扰频率放零点）。"极点位置决定系统行为"这一句 DSP/控制理论的座右铭，数学本体就是洛朗展开与留数。