前面指出了双边幂级数在其收敛圆环内表示一解析函数, 反过来有
定理 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 ) \color{red}{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 ) 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 ).
注
定理 5.2 对应于定理 4.15 (泰勒定理).
证
设 z z z 为 H H H 内任意取定的点, 总可以找到含于 H H H 内的两个圆周
Γ 1 : ∣ ζ − a ∣ = ρ 1 , Γ 2 : ∣ ζ − a ∣ = ρ 2 , \begin{array}{l} \Gamma_{1}:|\zeta-a|=\rho_{1}, \\ \Gamma_{2}:|\zeta-a|=\rho_{2}, \end{array} Γ1:∣ζ−a∣=ρ1,Γ2:∣ζ−a∣=ρ2,
使得 z z z 含在圆环 ρ 1 < ∣ z − a ∣ < ρ 2 \rho_{1}<|z-a|<\rho_{2} ρ1<∣z−a∣<ρ2 内 (图5.1).
因为函数 f ( z ) f(z) f(z) 在闭圆环 ρ 1 ⩽ ∣ z − a ∣ ⩽ ρ 2 \rho_{1} \leqslant|z-a| \leqslant \rho_{2} ρ1⩽∣z−a∣⩽ρ2上解析,由柯西积分公式有
f ( z ) = 1 2 π i ∫ Γ 2 f ( ζ ) ζ − z d ζ − 1 2 π i ∫ Γ 1 f ( ζ ) ζ − z d ζ , f(z)=\cfrac{1}{2 \pi \mathrm{i}} \int_{\Gamma_{2}} \cfrac{f(\zeta)}{\zeta-z} \mathrm{~d} \zeta-\cfrac{1}{2 \pi \mathrm{i}} \int_{\Gamma_{1}} \cfrac{f(\zeta)}{\zeta-z} \mathrm{~d} \zeta, f(z)=2πi1∫Γ2ζ−z