0. 引言
(1) $f$ 在 $|z|<R$ 内解析 $\dps{\ra f(z)=\sum_{n=0}^\infty c_nz^n}$ (Taylor 级数).
(2) $f$ 在 $r<|z|<R\ (0\leq r<R\leq\infty)$ 内解析 $\dps{\ra f(z)=?}$ (Laurent 级数).
1. 双边幂级数
(1) 定义 $$\bee\label{15_bs} \bea &\quad c_0+c_1z+c_2z^2+\cdots\quad(n\to+\infty)\\ &\quad+\cfrac{c_{-1}}{z}+\cfrac{c_{-2}}{z^2}+\cdots\quad(n\to-\infty)\\ &=\sum_{n=-\infty}^{+\infty} c_nz^n \eea \eee$$
(2) 收敛域 (不包括边界) - 圆环 $H:r<|z|<R$.
(3) $\dps{\sum_{n=-\infty}^{+\infty} c_nz^n}$ 在 $H$ 内绝对、内闭一致收敛; 而和函数 $f(z)$ 在 $H$ 内解析, 可逐项求导, 逐项积分.
2. 解析函数的 Laurent 展式
(1) Laurent 定理: 设 $f$ 在 $H:\ r<|z-a|<R$ ($0\leq r<R\leq\infty$) 内解析, 则 $$\bee\label{15_Lau} f(z)=\sum_{n=-\infty}^{+\infty} c_n(z-a)^n, \eee$$ 其中 $$\bee\label{15_Lau_Coef} c_n=\cfrac{1}{2\pi i}\int_{|\zeta-a|=\rho}\cfrac{f(\zeta)}{(\zeta-a)^{n+1}}\rd \zeta\quad(n\in\bbZ,\ r<\rho<R). \eee$$
a. \eqref{15_Lau} (右端) 称为 $f$ 在 $a$ 处的 Laurent 展式 (Laurent 级数), \eqref{15_Lau_Coef} 称为其 Laurent 系数.
b. 证明: $$\beex \bea f(z)&=\cfrac{1}{2\pi i}\int_{\vGa_2}\cfrac{f(\zeta)}{\zeta-z}\rd \zeta -\cfrac{1}{2\pi i}\int_{\vGa_1}\cfrac{f(\zeta)}{\zeta-z}\rd \zeta\\ &\quad\sex{\vGa_i:\ |\zeta-a|=\rho_i,\ r<\rho_1<|z-a|<\rho_2<R}\\ &\equiv I_1-I_2;\\ I_1&=\cdots\cdots,\\ I_2&=\cdots\cdots. \eea \eeex$$
c. 例: 分别在 (i) $|z|<1$, (ii) $1<|z|<2$, (iii) $|z|>2$; (iv) $0<|z-1|<1$, (v) $1<|z-1|<\infty$; (vi) $0<|z-2|<1$, (vii) $1<|z-2|<\infty$ 内求 $f(z)=\cfrac{1}{(z-1)(z-2)^2}$ 的 Laurent 级数.
3. 解析函数的孤立奇点
(1) 定义: 设 $f$ 在 $a$ 处不可微, 但在 $a$ 的一个去心邻域内可微, 则称 $a$ 为 $f$ 的孤立奇点.
(2) $f$ 在孤立奇点的去心邻域内可展成 Laurent 级数.
(3) 例: $\dps{\cfrac{\sin z}{z},\ e^z+e^\frac{1}{z},\ \sin\cfrac{z}{z-1}}$.
作业: P 213 T 1 (1) .
