MathLabs
定理已证明

留数定理

命题陈述

设 ff 在单连通区域上除有限个孤立奇点 z1,…,znz_1, \dots, z_n 外全纯,这些奇点都在一条正向简单闭曲线 γ\gamma 内部。则 ∮γf(z) dz=2πi∑kRes(f,zk)\oint_\gamma f(z)\,dz = 2\pi i \sum_{k} \mathrm{Res}(f, z_k)。

为什么成立?

它把一个困难的几何问题(沿曲线积分)化归为一个简单的代数问题(把有限个数加起来),因为将围道在每个极点附近变形后会收缩成一个很小的圆,在那里洛朗级数完成了全部工作。

证明思路

第一步(变形围道)。根据柯西积分定理,对任何围住 ff 全纯区域的闭曲线都有 ∮γf(z) dz=0\oint_\gamma f(z)\,dz = 0。由于 ff 仅在 z1,…,znz_1,\dots,z_n 处不全纯,在每个 zkz_k 周围画一个半径为 ε\varepsilon 的正向小圆 CkC_k,半径足够小使这些圆彼此不相交且都在 γ\gamma 内部。从 γ\gamma 到每个 CkC_k 切开细缝,把 γ\gamma 与各 CkC_k 之间的区域变成一个 ff 全纯的单连通区域,因此该区域边界上的积分为 00;细缝两侧的贡献成对抵消,剩下 ∮γf(z) dz=∑k∮Ckf(z) dz\oint_\gamma f(z)\,dz = \sum_{k} \oint_{C_k} f(z)\,dz。

第二步(计算每个小圆)。固定 kk,在包含 CkC_k 的去心圆盘上,将 ff 在 zkz_k 附近展开为洛朗级数 f(z)=∑n=−∞∞an(z−z0)nf(z) = \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n。对满足 n≠−1n \neq -1 的每一项 an(z−zk)na_n(z-z_k)^n,它在该去心圆盘上都有单值原函数,故沿闭合小圆 CkC_k 积分为 00;只有项 a−1(z−zk)−1a_{-1}(z-z_k)^{-1} 保留下来。

第三步(计算剩余积分)。将 CkC_k 参数化为 z=zk+εeiθz = z_k + \varepsilon e^{i\theta}(θ∈[0,2π]\theta \in [0, 2\pi]),于是 dz=iεeiθ dθdz = i\varepsilon e^{i\theta}\,d\theta 且 dzz−zk=i dθ\dfrac{dz}{z-z_k} = i\,d\theta。因此 ∮Cka−1z−zk dz=a−1∫02πi dθ=2πi a−1=2πi Res(f,zk)\oint_{C_k} \dfrac{a_{-1}}{z-z_k}\,dz = a_{-1} \int_0^{2\pi} i\,d\theta = 2\pi i\, a_{-1} = 2\pi i\, \mathrm{Res}(f, z_k)。

第四步(求和)。将第三步代入第一步的等式,得到 ∮γf(z) dz=2πi∑kRes(f,zk)\oint_\gamma f(z)\,dz = 2\pi i \sum_{k} \mathrm{Res}(f, z_k),这正是留数定理。

用到此定理的主题

分步证明

该定理暂无分步证明。