幂级数

幂级数

研究解析函数的两种工具：Weierstrass的幂级数和Cauchy的积分方法。

概念

• 设$z,z_0\in \mathbb C$，
  

  $$\sum_{n=0}^\infty a_n(z-z_0)^n$$
  称为幂级数。

• 如果部分和序列
  

  $$\sum_{n=0}^n a_n(z-z_0)^n$$
  收敛，就称该幂级数在$z$处收敛，部分和的极限称为级数的和。

• 如果$\forall \varepsilon>0,\exists N,$只要$k>N$，对任意的$z\in\Omega$，都有

  $$\left|f(z)-\sum_{n=0}^{k}a_n(z-z_0)^n\right|<\varepsilon$$
  称该幂级数一致收敛。

性质

定理

Cauchy收敛准则

幂级数$\sum_{n=0}^\infty a_n(z-z_0)^n$在$\Omega$上一致收敛的充要条件是对$\forall \varepsilon>0,\exists N,$只要$k_1>k_2>N$，对任意的$z\in\Omega$，都有

$$\left|\sum_{n=k_1}^{k_2}a_n(z-z_0)^n\right|<\varepsilon$$

定理

控制收敛原理

如果存在$M_n$，对$\forall z\in \Omega$，$|a_n(z-z_0)^n|<M_n$，且$\sum_{n=0}^{\infty}$收敛，则幂级数$\sum_{n=0}^\infty a_n(z-z_0)^n$在$\Omega$上一致收敛。

定理

Abel定理

如果幂级数$\sum_{n=0}^\infty a_n(z-z_0)^n$在$z'\ne z_0$处收敛，则对任意$r$满足$0<r<|z'-z_0|,$幂级数$\sum_{n=0}^\infty a_n(z-z_0)^n$在闭圆盘

$$\overline{D(z_0,r)}=\{z||z|\leq r\}$$ 上一致收敛。

根据Abel定理，取

$$R=\sup\left\{r=|z-z_0|\middle|\sum_{n=0}^\infty a_n(z-z_0)^n收敛\right\}$$
称为幂级数的 收敛半径。在边界上，幂级数在有些点可能收敛，在有些点可能发散。

引理

对幂级数$\sum_{n=0}^\infty a_n(z-z_0)^n$,设$L=\varlimsup_{n\to \infty}\sqrt[n]{|a_n|}$,则$L=0$时，$R=\infty$；$L=\infty$时，$R=0$;$0<L<\infty$时，$R=\dfrac1L$

定理

幂级数$\sum_{n=0}^\infty a_n(z-z_0)^n$和幂级数$\sum_{n=1}^\infty na_n(z-z_0)^{n-1}$的收敛半径相同。

定理

设幂级数$\sum_{n=0}^\infty a_n(z-z_0)^n$的收敛半径为$R$，则

$$f(z)=\sum_{n=0}^\infty a_n(z-z_0)^n$$
在开圆盘$D(z_0,R)$内解析，并且

$$f'(z)=\sum_{n=1}^\infty na_n(z-z_0)^{n-1}$$

推论

设幂级数$f(z)=\sum_{n=0}^\infty a_n(z-z_0)^n$的收敛半径为$R>0$，那么$f(z)$在开圆盘$D(z_0,R)$内任意阶可导，并且有

$$a_n=\dfrac{f^{(n)}(z_0)}{n!}$$ 即
$$f(z)=\sum_{n=0}^\infty \dfrac{f^{(n)}(z_0)}{n!}(z-z_0)^n$$

推论

如果$f(z)$可以在$z_0$的邻域内展开成幂级数，那么展开式是唯一的。

多值函数

分式线性变换