MathLabs
定理已证明

$m$ 阶极点处的留数公式

命题陈述

若 ff 在 z0z_0 处有 mm 阶极点,即 g(z)=(z−z0)mf(z)g(z) = (z-z_0)^m f(z) 可全纯延拓到 z0z_0 且 g(z0)≠0g(z_0) \neq 0,则 Res(f,z0)=1(m−1)!lim⁡z→z0dm−1dzm−1[(z−z0)mf(z)]\mathrm{Res}(f, z_0) = \dfrac{1}{(m-1)!} \lim_{z \to z_0} \dfrac{d^{m-1}}{dz^{m-1}} \left[ (z-z_0)^m f(z) \right]。特别地,对单极点(m=1m=1),有 Res(f,z0)=lim⁡z→z0(z−z0)f(z)\mathrm{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0) f(z)。

为什么成立?

乘以 (z−z0)m(z-z_0)^m 会消去洛朗级数的奇异部分,使其变成系数恰为导数的普通泰勒级数——于是提取 a−1a_{-1} 就变成了一次普通的微积分计算。

证明思路

第一步(明确写出洛朗级数)。由于 ff 在 z0z_0 处有 mm 阶极点,其洛朗级数形如 f(z)=a−m(z−z0)m+⋯+a−1z−z0+a0+a1(z−z0)+⋯f(z) = \dfrac{a_{-m}}{(z-z_0)^m} + \cdots + \dfrac{a_{-1}}{z-z_0} + a_0 + a_1(z-z_0) + \cdots,其中 a−m≠0a_{-m} \neq 0。

第二步(消去极点)。两边乘以 (z−z0)m(z-z_0)^m:g(z):=(z−z0)mf(z)=a−m+a−m+1(z−z0)+⋯+a−1(z−z0)m−1+a0(z−z0)m+⋯g(z) := (z-z_0)^m f(z) = a_{-m} + a_{-m+1}(z-z_0) + \cdots + a_{-1}(z-z_0)^{m-1} + a_0(z-z_0)^m + \cdots,这是一个普通幂级数,因此 gg 在 z0z_0 处全纯。

第三步(把系数识别为导数)。在此幂级数中,a−1a_{-1} 是 (z−z0)m−1(z-z_0)^{m-1} 的系数。对任意全纯函数 g(z)=∑jcj(z−z0)jg(z) = \sum_j c_j (z-z_0)^j,泰勒公式给出 cj=g(j)(z0)j!c_j = \dfrac{g^{(j)}(z_0)}{j!},因此 a−1=g(m−1)(z0)(m−1)!a_{-1} = \dfrac{g^{(m-1)}(z_0)}{(m-1)!}。

第四步(结论)。由于 Res(f,z0)=a−1\mathrm{Res}(f,z_0) = a_{-1} 且 g(m−1)(z0)=lim⁡z→z0dm−1dzm−1[(z−z0)mf(z)]g^{(m-1)}(z_0) = \lim_{z\to z_0} \dfrac{d^{m-1}}{dz^{m-1}}[(z-z_0)^m f(z)],代入即得 Res(f,z0)=1(m−1)!lim⁡z→z0dm−1dzm−1[(z−z0)mf(z)]\mathrm{Res}(f, z_0) = \dfrac{1}{(m-1)!} \lim_{z \to z_0} \dfrac{d^{m-1}}{dz^{m-1}} \left[ (z-z_0)^m f(z) \right]。令 m=1m=1 化简导数与阶乘,即得 Res(f,z0)=lim⁡z→z0(z−z0)f(z)\mathrm{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0) f(z)。

用到此定理的主题

分步证明

该定理暂无分步证明。