定理 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