1. 构造辅助函数
为了利用留数定理,我们需要构造一个在 C 内部解析性良好的函数。考虑函数 g(z) = f'(z)/f(z)。这个函数被称为 f(z) 的对数导数。
为什么选择它?因为如果 f(z) 在 z₀ 处有一个 m 阶零点,那么 f(z) 可以写成 (z-z₀)^m h(z),其中 h(z₀)≠0。求导后:
f'(z) = m(z-z₀)m-1h(z) + (z-z₀)mh'(z)
从而:
f'(z)/f(z) = m/(z-z₀) + h'(z)/h(z)
这表明 z₀ 是 f'(z)/f(z) 的 一阶极点,且留数为 m(即零点的阶数)。
同理,如果 z₀ 是 f(z) 的 k 阶极点,f(z) = (z-z₀)-k h(z),则 f'(z)/f(z) 在 z₀ 处的留数为 -k。
2. 应用柯西留数定理
根据柯西留数定理,沿闭合曲线 C 的积分等于 C 内部所有奇点留数之和的 2πi 倍:
∮C f'(z)/f(z) dz = 2πi ∑ Res(f'/f, zk)
我们将 C 内部的奇点分为两类:
- 零点:设 N 为所有零点的阶数之和,则这些零点对留数之和的贡献为 +N。
- 极点:设 P 为所有极点的阶数之和,则这些极点对留数之和的贡献为 -P。
因此:
∮C f'(z)/f(z) dz = 2πi (N - P)
整理即得:
N - P = 1/2πi ∮C f'(z)/f(z) dz
3. 转化为幅角变化量
最后一步是将积分形式转化为几何上的幅角变化。注意到:
f'(z)/f(z) dz = d[ln f(z)]
因此积分:
∮C d[ln f(z)] = [ln f(z)]endstart
由于 C 是闭合曲线,start 和 end 的 f(z) 值相同,但复对数 ln f(z) = ln|f(z)| + i arg f(z) 是多值函数。当 f(z) 绕原点旋转时,模长 |f(z)| 回到原值,但幅角 arg f(z) 可能增加了 2π 的整数倍。
因此:
∮C d[ln f(z)] = i ΔC arg f(z)
代入之前的积分公式:
2πi (N - P) = i ΔC arg f(z)
消去 i 并除以 2π,最终得证:
N - P = 1/2π ΔC arg f(z)