定理已证明
$m$ 阶极点处的留数公式
命题陈述
若 f 在 z0 处有 m 阶极点,即 g(z)=(z−z0)mf(z) 可全纯延拓到 z0 且 g(z0)=0,则 Res(f,z0)=(m−1)!1limz→z0dzm−1dm−1[(z−z0)mf(z)]。特别地,对单极点(m=1),有 Res(f,z0)=limz→z0(z−z0)f(z)。
为什么成立?
乘以 (z−z0)m 会消去洛朗级数的奇异部分,使其变成系数恰为导数的普通泰勒级数——于是提取 a−1 就变成了一次普通的微积分计算。
证明思路
第一步(明确写出洛朗级数)。由于 f 在 z0 处有 m 阶极点,其洛朗级数形如 f(z)=(z−z0)ma−m+⋯+z−z0a−1+a0+a1(z−z0)+⋯,其中 a−m=0。
第二步(消去极点)。两边乘以 (z−z0)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 在 z0 处全纯。
第三步(把系数识别为导数)。在此幂级数中,a−1 是 (z−z0)m−1 的系数。对任意全纯函数 g(z)=∑jcj(z−z0)j,泰勒公式给出 cj=j!g(j)(z0),因此 a−1=(m−1)!g(m−1)(z0)。
第四步(结论)。由于 Res(f,z0)=a−1 且 g(m−1)(z0)=limz→z0dzm−1dm−1[(z−z0)mf(z)],代入即得 Res(f,z0)=(m−1)!1limz→z0dzm−1dm−1[(z−z0)mf(z)]。令 m=1 化简导数与阶乘,即得 Res(f,z0)=limz→z0(z−z0)f(z)。