定理已证明
留数定理
命题陈述
设 f 在单连通区域上除有限个孤立奇点 z1,…,zn 外全纯,这些奇点都在一条正向简单闭曲线 γ 内部。则 ∮γf(z)dz=2πi∑kRes(f,zk)。
为什么成立?
它把一个困难的几何问题(沿曲线积分)化归为一个简单的代数问题(把有限个数加起来),因为将围道在每个极点附近变形后会收缩成一个很小的圆,在那里洛朗级数完成了全部工作。
证明思路
第一步(变形围道)。根据柯西积分定理,对任何围住 f 全纯区域的闭曲线都有 ∮γf(z)dz=0。由于 f 仅在 z1,…,zn 处不全纯,在每个 zk 周围画一个半径为 ε 的正向小圆 Ck,半径足够小使这些圆彼此不相交且都在 γ 内部。从 γ 到每个 Ck 切开细缝,把 γ 与各 Ck 之间的区域变成一个 f 全纯的单连通区域,因此该区域边界上的积分为 0;细缝两侧的贡献成对抵消,剩下 ∮γf(z)dz=∑k∮Ckf(z)dz。
第二步(计算每个小圆)。固定 k,在包含 Ck 的去心圆盘上,将 f 在 zk 附近展开为洛朗级数 f(z)=∑n=−∞∞an(z−z0)n。对满足 n=−1 的每一项 an(z−zk)n,它在该去心圆盘上都有单值原函数,故沿闭合小圆 Ck 积分为 0;只有项 a−1(z−zk)−1 保留下来。
第三步(计算剩余积分)。将 Ck 参数化为 z=zk+εeiθ(θ∈[0,2π]),于是 dz=iεeiθdθ 且 z−zkdz=idθ。因此 ∮Ckz−zka−1dz=a−1∫02πidθ=2πia−1=2πiRes(f,zk)。
第四步(求和)。将第三步代入第一步的等式,得到 ∮γf(z)dz=2πi∑kRes(f,zk),这正是留数定理。