定理 5.2 (洛朗定理)
在圆环 H : r < ∣ z − a ∣ < R ( r ⩾ 0 , R ⩽ + ∞ ) H: r<|z-a|<R(r \geqslant 0, R \leqslant+\infty) H:r<∣z−a∣<R(r⩾0,R⩽+∞) 内解析的函数 f ( z ) f(z) f(z)必可展成双边幂级数
f ( z ) = ∑ n = − ∞ ∞ c n ( z − a ) n , ( 5.4 ) f(z)=\sum_{n=-\infty}^{\infty} c_{n}(z-a)^{n}, \quad\quad(5.4) f(z)=n=−∞∑∞cn(z−a)n,(5.4)
其中
c n = 1 2 π i ∫ Γ f ( ζ ) ( ζ − a ) n + 1 d ζ ( n = 0 , ± 1 , ± 2 , ⋯ ) , ( 5.5 ) \color{red}{c_{n}=\cfrac{1}{2 \pi \mathrm{i}} \int_{\Gamma} \cfrac{f(\zeta)}{(\zeta-a)^{n+1}} \mathrm{~d} \zeta \quad(n=0, \pm 1, \pm 2, \cdots)}, \quad\quad(5.5) cn=2πi1∫Γ(ζ−a)n+1f(ζ) dζ(n=0,±1,±2,⋯),(5.5)
Γ \Gamma Γ 为圆周 ∣ ζ − a ∣ = ρ ( r < ρ < R ) |\zeta-a|=\rho(r<\rho<R) ∣ζ−a∣=ρ(r<ρ<R), 并且展式是惟一的 (即 f ( z ) f(z) f(z)及圆环 H H H 惟一地决定了系数 c n c_{n} cn ).
当已给函数 f ( z ) f(z) f(z) 在点 a a a 处解析时, 圆心在 a a a, 半径等于由 a a a 到函数 f ( z ) f(z) f(z)的最近奇点的距离的那个圆可以看成圆环的特殊情形,在其中就可作出洛朗级数展开式. 根据柯西积分定理,由公式 (5.5) 可以看出, 这个展式的所有系数 c − n ( n = 1 , 2 , ⋯ ) \color{red}{c_{-n}(n=1,2, \cdots)} c−n