定理 5.4
如果函数 f ( z ) f(z) f(z) 以点 a a a 为孤立奇点, 则下列三条是等价的. 因此,它们中的任何一条都是 m m m 阶极点的特征.
(1) f ( z ) f(z) f(z) 在点 a a a 的主要部分为
c − m ( z − a ) m + ⋯ + c − 1 z − a ( c − m ≠ 0 ) . \cfrac{c_{-m}}{(z-a)^{m}}+\cdots+\cfrac{c_{-1}}{z-a} \quad\left(c_{-m} \neq 0\right) . (z−a)mc−m+⋯+z−ac−1(c−m=0).
(2) f ( z ) f(z) f(z) 在点 a a a 的某去心邻域内能表示成
f ( z ) = λ ( z ) ( z − a ) m , f(z)=\cfrac{\lambda(z)}{(z-a)^{m}}, f(z)=(z−a)mλ(z),
其中 λ ( z ) \lambda(z) λ(z) 在点 a a a 的邻域内解析, 且 λ ( a ) ≠ 0 \lambda(a) \neq 0 λ(a)=0.
(3) g ( z ) = 1 f ( z ) g(z)=\cfrac{1}{f(z)} g(z)=f(z)1 以点 a a a 为 m m m 阶零点(可去奇点要当作解析点看, 只要令 g ( a ) = 0 g(a)=0 g(a)=0 ).
注 (3)表明: f ( z ) f(z) f(z) 以点 a a a 为 m m m 阶极点 ⇔ 1 f ( z ) \Leftrightarrow \cfrac{1}{f(z)} ⇔f(z)1 以点 a a a为 m m m 阶零点.
定义 6.1
设函数 f ( z ) f(z) f(z) 以有限点 a a a 为孤立奇点, 即 f ( z ) f(z) f(z) 在点 a a a的某去心邻域 0 < 0< 0< ∣ z − a ∣ < R |z-a|<R ∣z−a∣<R 内解析,则称积分
1 2 π i ∫ Γ f ( z ) d z ( Γ : ∣ z − a ∣ = ρ , 0 < ρ < R ) \cfrac{1}{2 \pi \mathrm{i}} \int_{\Gamma} f(z) \mathrm{d} z \quad(\Gamma:|z-a|=\rho, 0<\rho<R) 2πi1∫Γf(z)dz(Γ:∣z−a∣=ρ,0<ρ<R)
为 f ( z ) f(z) f(z) 在点 a a a 的 留数 (residue), 记为 Res f ( z ) \operatorname{Res} f(z) Resf(z).
由柯西积分定理 3.10 知道, 当 0 < ρ < R 0<\rho<R 0<ρ<R 时, 留数的值与 ρ \rho ρ 无关,利用洛朗系数公式(5.5), 有
1 2 π i ∫ Γ f ( z ) d z = c − 1 , ( 6.1 ) \cfrac{1}{2 \pi \mathrm{i}} \int_{\Gamma} f(z) \mathrm{d} z=c_{-1}, \quad\quad(6.1) 2πi1∫Γf(z)dz=c−1,(6.1)
即
Res f ( z ) = c − 1 . \operatorname{Res} f(z)=c_{-1} \text {. } Resf(z)=c−1.
这里 c − 1 c_{-1} c−1 是 f ( z ) f(z) f(z) 在 z = a z=a z=a 处的洛朗展式中 1 z − a \cfrac{1}{z-a} z−a1这一项的系数.
为了应用留数定理求周线积分, 首先应该掌握求留数的方法.
而计算在孤立奇点 a a a的留数时, 我们只关心其洛朗展式中的 1 z − a \cfrac{1}{z-a} z−a1 这一项的系数,所以应用洛朗展式求留数是一般方法.
下面的定理是求 n n n 阶极点处留数的公式,免得每求一个极点处的留数, 都要去求一次洛朗展式. 不过这个公式对于阶数过高(例如超过三阶) 的极点, 计算起来也未必简单.
定理 6.2
设 a a a 为 f ( z ) f(z) f(z) 的 n n n 阶极点,
f ( z ) = φ ( z ) ( z − a ) n , f(z)=\cfrac{\varphi(z)}{(z-a)^{n}}, f(z)=(z−a)nφ(z),
其中 φ ( z ) \varphi(z) φ(z) (由定理 5.4) 在点 a a a 解析, φ ( a ) ≠ 0 \varphi(a) \neq 0 φ(a)=0, 则
Res z = a f ( z ) = φ ( n − 1 ) ( a ) ( n − 1 ) ! . ( 6.3 ) \operatorname{Res}_{z=a} f(z)=\cfrac{\varphi^{(n-1)}(a)}{(n-1) !} . \quad\quad(6.3) Resz=af(z)=(n−1)!φ(n−1)(a).(6.3)
这里符号 φ ( 0 ) ( a ) \varphi^{(0)}(a) φ(0)(a) 代表 φ ( a ) \varphi(a) φ(a), 且有 φ ( n − 1 ) ( a ) = lim z → a