复变函数的幂级数展开

预备知识

幂级数基本性质

• 记$z_n=a_n+\mathrm{i}{b}_n,z_0=a+\mathrm{i}b$, 那么
  $$\underset{n\to \infty }{\lim }{z}_n=z_0\iff \underset{n\to \infty }{\lim }{a}_n=a,\underset{n\to \infty }{\lim }{b}_n=b$$
  也就是说，复幂级数收敛充要条件是实部和虚部均收敛。

• 记$z_n=a_n+\mathrm{i}{b}_n,z_0=a+\mathrm{i}b$，那么$\underset{n\to \infty }{\lim }{z}_n$收敛，且和为$z_0$的等价条件是：$a_n$与$b_n$同时收敛于$a$与$b$。

• $\sum _{n=1}^{\infty }{z}_n$收敛$\Rightarrow$ $\underset{n\to \infty }{\lim }{z}_n=0$ ，这一定理，我们通常使用他的逆否命题说明级数不收敛。

• 绝对收敛的级数本身也收敛。

收敛半径的求法

如果幂级数$\sum _{n=0}^{\infty }{c}_n(z-a{)}^n$的系数$c_n$满足

$$\underset{n\to \infty }{\lim }\left|\frac{c_{n+1}}{c_n}\right|=l$$
或

$$\underset{n\to \infty }{\lim }\sqrt[n]{|c_n|}=l,$$
则幂级数 $\sum _{n=0}^{\infty }{c}_n(z-a{)}^n$ 的收敛半径
$$R=\{\begin{array}{ll}\frac{1}{l},& l\ne 0,l\ne +\infty ;\\ 0,& l=+\infty ;\\ +\infty ,& l=0.\end{array}$$

判断敛散性的步骤

1. 看n趋于无穷时$z_n$是否为0，如果不是$0$，直接判断不收敛

2. 判断是否绝对收敛，如果绝对收敛，那么原级数一定收敛

3. 如果不绝对收敛，具体分析，例如莱布尼兹判别法或者是分析实部虚部是否收敛（利用微积分知识）。

常用的泰勒展开式

$$\begin{array}{rl}& (1)e^z=1+z+\frac{z^2}{2!}+\cdots +\frac{z^n}{n!}+\cdots =\sum _{n=0}^{\infty }\frac{z^n}{n!}(|z|<+\infty );\\ & (2)\frac{1}{1-z}=1+z+z^2+\cdots +z^n+\cdots =\sum _{n=0}^{\infty }{z}^n(|z|<1);\\ & (3)\frac{1}{1+z}=1-z+z^2-\cdots +(-1{)}^n{z}^n+\cdots =\sum _{n=0}^{\infty }(-1{)}^n{z}^n(|z|<1);\\ & (4)\sin z=z-\frac{z^3}{3!}+\frac{z^5}{5!}-\cdots +(-1{)}^n\frac{z^{2n+1}}{(2n+1)!}+\cdots (|z|<+\infty );\\ & (5)\cos z=1-\frac{z^2}{2!}+\frac{z^4}{4!}-\cdots +(-1{)}^n\frac{z^{2n}}{(2n)!}+\cdots (|z|<+\infty );\\ & (6)\ln (1+z)=z-\frac{z^2}{2}+\frac{z^3}{3}-\cdots +(-1{)}^n\frac{z^{n+1}}{n+1}+\cdots \end{array}$$

习题

1 判断下列级数敛散性

$(1){\sum }_{n=1}^{\infty }\frac{i^n}{n};(2){\sum }_{n=1}^{\infty }\frac{(3+5i{)}^n}{n!};(3){\sum }_{n=1}^{\infty }{\left(\frac{1+5i}{2}\right)}^n.$

（1）${\sum }_{n=1}^{\infty }\left|\frac{i^n}{n}\right|={\sum }_{n=1}^{\infty }\frac{1}{n}\text{ 发散, 所以此复数列是条件收敛的}.$

原级数$=\sum _{n=1}^{\infty }\frac{(-1{)}^n}{2n}+i\sum _{n=1}^{\infty }\frac{(-1{)}^{n-1}}{2n-1}$，而实部数列$\sum _{n=1}^{\infty }\frac{(-1{)}^n}{2n}$和虚部数列$\sum _{n=1}^{\infty }\frac{(-1{)}^{n-1}}{2n-1}$都是收敛数列，故该级数收敛。

（2）因为${\sum }_{n=1}^{\infty }\left|\frac{(3+5i{)}^n}{n!}\right|={\sum }_{n=1}^{\infty }\frac{|3+5i{|}^n}{n!}={\sum }_{n=1}^{\infty }\frac{(\sqrt{34}{)}^n}{n!}$，而
$$\begin{array}{r}\rho =\underset{n\to \infty }{\lim }\frac{\frac{{\sqrt{34}}^{n+1}}{(n+1)!}}{\frac{{\sqrt{34}}^n}{n!}}=\underset{n\to \infty }{\lim }\frac{\sqrt{34}}{n+1}=0\end{array}$$
故该级数绝对收敛，亦即原级数收敛也。

(3)
$$\rho =\underset{n\to \infty }{\lim }{z}_n=\underset{n\to \infty }{\lim }{\left|\frac{1+5i}{2}\right|}^n\ne 0$$
所以发散.

2 判断下列级数收敛半径

$(1)\sum _{n=0}^{\infty }\frac{z^n}{n};(2)\sum _{n=0}^{\infty }\frac{n{z}^n}{2^n};(3)\sum _{n=1}^{\infty }{n}^n{z}^n.$

$(1)\sum _{n=0}^{\infty }\frac{z^n}{n};(2)\sum _{n=0}^{\infty }\frac{n{z}^n}{2^n};(3)\sum _{n=1}^{\infty }{n}^n{z}^n.$

(1)
$$l=\underset{n\to \infty }{\lim }\left|\frac{c_{n+1}}{c_n}\right|=\underset{n\to \infty }{\lim }\frac{\frac{1}{n+1}}{\frac{1}{n}}=\underset{n\to \infty }{\lim }\frac{n}{n+1}=1,$$

所以收敛半径$R=\frac{1}{l}=1.$

(2)设$c_n=\frac{n}{2^n}$ 则
$$l=\underset{n\to \infty }{\lim }\left|\frac{c_{n+1}}{c_n}\right|=\underset{n\to \infty }{\lim }\frac{\frac{n+1}{2^{n+1}}}{\frac{n}{2^n}}=\frac{1}{2}\underset{n\to \infty }{\lim }\frac{n+1}{n}=\frac{1}{2},$$
所以收敛半径$R=\frac{1}{l}=2.$

(3)设 $c_n=n^n$,则

$$l=\underset{n\to \infty }{\lim }\left|\sqrt[n]{n^n}\right|=\underset{n\to \infty }{\lim }n=+\infty ,$$

所以收敛半径$R=\frac{1}{l}=0.$

3 将下列级数展开成泰勒展式，并给出成立范围

$$\begin{array}{rlr}& (1)\frac{1}{az+b}(a,b\text{ 为复常数,且 }b\ne 0);& (2){\int }_0^z{e}^{z^2}dz;\\ & (3){\int }_0^z\frac{\sin z}{z}dz;& (4){\sin }^{2}z;\\ & (5)\frac{1}{(1-z{)}^2}.& \end{array}$$

做题基本方法：用好已知初等函数的泰勒公式，拼凑出形式，可以提取公因式之类的。

(1)我 们 使 用 公 式 $\frac{1}{1+z}=\sum _{n=0}^{\infty }(-1{)}^n{z}^n$ $(|z|<1).$

因为$\frac{1}{az+b}=\frac{1/b}{1+\frac{a}{b}z}$,

所以我们可以将$\frac{a}{b}z$当成一个整体，带入上面公式替换$z$的位置.

因此得到当$|\frac{a}{b}z|<1$时，即$|z|<\frac{|b|}{|a|}$时，（一定记得先求收敛半径！做题容易忘掉，他和函数的定义域一样很有意义！）
$$\frac{1}{az+b}=\frac{1}{b}\sum _{n=0}^{\infty }(-1{)}^n(\frac{a}{b}z{)}^n=\sum _{n=0}^{\infty }(-1{)}^n\frac{a^n}{b^{n+1}}{z}^n.$$
(2)(本题可以先将被积函数幂级数展开，再逐项积分)

我们考虑使用公式$e^z={\sum }_n=0^{\infty }\frac{z^n}{n!}$ $(|z|<+\infty );$
显然，对于任意的复数$z$,都有$|z^2|=|z{|}^2<+\infty$,且$e^{z^2}$在$z$平面内解析，所以
$$\begin{array}{rl}& \\ & e^{z^2}=\sum _{n=0}^{\infty }\frac{(z^2{)}^n}{n!}=\sum _{n=0}^{\infty }\frac{z^{2n}}{n!}(|z|<+\infty ).\end{array}$$
逐项积分：
$$\begin{array}{rlr}{\int }_0^z{e}^{z^2}dz& ={\int }_0^z\left(\sum _{n=0}^{\infty }\frac{z^{2n}}{n!}\right)dz& \\ & =\sum _{n=0}^{\infty }\left({\int }_0^z\frac{z^{2n}}{n!}dz\right)=\sum _{n=0}^{\infty }\frac{z^{2n+1}}{n!(2n+1)}& (|z|<+\infty ).\end{array}$$
(3)
$$\begin{array}{rl}& \begin{array}{r}{\int }_0^z\frac{\sin z}{z}dz={\int }_0^z\left(\sum _{n=0}^{\infty }(-1{)}^n\frac{z^{2n}}{(2n+1)!}\right)dz\end{array}\\ & \begin{array}{r}=\sum _{n=0}^{\infty }\left({\int }_0^z(-1{)}^n\frac{z^{2n}}{(2n+1)!}dz\right)=\sum _{n=0}^{\infty }(-1{)}^n\frac{z^{2n+1}}{(2n+1)(2n+1)!}\end{array}\\ & (|z|<+\infty ).\end{array}$$
(4)使用二倍角公式

这样 ,${\sin }^{2}z=\frac{1-\cos 2z}{2}=\frac{1}{2}-\frac{1}{2}\cos 2z$

而 $\cos z={\sum }^{\infty }(-1{)}^n\frac{z^{2n}}{(2n)!}(|z|<+\infty ),$
$$\begin{array}{c}{\sin }^{2}z=\frac{1}{2}-\frac{1}{2}\lfloor \sum _{n=0}^{\infty }(-1{)}^n\frac{(2z{)}^{2n}}{(2n)!}\rfloor \\ \begin{array}{rlr}& =\sum _{n=1}^{\infty }\frac{(-1{)}^{n+1}\cdot 2^{2n-1}}{(2n)!}{z}^{2n}& (|z|<+\infty ).\end{array}\end{array}$$
(5)
$$\begin{array}{c}\begin{array}{rlr}\text{因为 }\frac{1}{1-z}& =\sum _{n=0}^{\infty }{z}^n& (|z|<1)\text{ 所以}\end{array}\\ \begin{array}{rl}\frac{1}{(1-z{)}^2}& ={\left(\frac{1}{1-z}\right)}^{\prime }={\left(\sum _{n=0}^{\infty }{z}^n\right)}^{\prime }\end{array}\\ =\sum _{n=0}^{\infty }n{z}^{n-1}(|z|<1).\end{array}$$

3

$\text{写出 }{e}^z\ln (1+z)\text{ 的幂级数展式至含 }{z}^5\text{ 项为止, 其中 }\ln (1+z){|}_{z=0}=0$
$\begin{array}{rl}& \text{已知条件 }\ln (1+z){|}_{z=0}=0\text{ 表明 }\ln (1+z)\text{ 是主值支. 而}\\ & \ln (1+z)=z-\frac{z^2}{2}+\frac{z^3}{3^{+}}-\frac{z^4}{4}+\frac{z^5}{5}-\cdots +(-1{)}^n\frac{z^{n+1}}{n+1}+\cdots \underline{(|z|<1})\\ & e^z=\sum _{n=0}^{\infty }\frac{z^n}{n!}=1+z+\frac{z^9}{2!}+\frac{z^3}{3!}+\frac{z^4}{4!}+\cdots +\frac{z^n}{n!}(|z|<+\infty ).\\ & \text{两者的公共收敛域为 }|z|<1.\text{ 此时},\text{ 由级数乘积的柯西法则},\text{ 有}\end{array}$
$$e^z\ln (1+z)=z+\frac{z^2}{2}+\frac{z^3}{3}+\frac{3}{40}{z}^5+\cdots (|z|<1).$$

4

将下列函数按 $z-1$ 的幂展开，并指明其收敛范围.
$$(1)\sin z;(2)\frac{z-1}{z+1};$$

(1)本题我们尽量将已知函数向$\sin (z-1),\cos (z-1)$靠拢，以期利用后两者的幂级数展式.

因为$\sin z=\sin [(z-1)+1]=\sin (z-1)\cos 1+\cos (z-1)\sin 1$,

而

$$\sin (z-1)=\sum _{n=0}^{\infty }(-1{)}^n\frac{(z-1{)}^{2n+1}}{(2n+1)!}(|z-1|<+\infty )$$

$$\begin{array}{rlr}& \begin{array}{r}\sin z=\cos 1\left[(z-1)-\frac{(z-1{)}^3}{3!}+\frac{(z-1{)}^5}{5!}-\cdots \right]\end{array}& \\ & \begin{array}{r}+\sin 1\left[1-\frac{(z-1{)}^2}{2!}+\frac{(z-1{)}^4}{4!}-\cdots \right]\end{array}& \\ & \begin{array}{rl}& =\sum _{k-0}^{\infty }\frac{\sin (\frac{k\pi }{2}+1^{⊺})}{k!}(z-1{)}^k,\end{array}& \begin{array}{r}(|z-1|<+\infty ).\end{array}\end{array}$$

(2)本题我们尽量将已知函数向 $\frac{1}{1+z}$ 靠拢，以期利用后者的幂级数展式.

$$\frac{z-1}{z+1}=\frac{z-1+2-2}{z-1{+}^{⊺}2}=1-\frac{2}{2+z-1}=1-\frac{1}{1+\frac{z-1}{2}}.$$
$\text{这样,当 }\left|\frac{z-1}{2}\right|<1\text{ 时, 即 }|z-1|<2\text{ 时,}$
$$\begin{array}{c}\begin{array}{rl}\frac{z-1}{z+1}& =1-\sum _{n=0}^{\infty }(-1{)}^n{\left(\frac{z-1}{2}\right)}^n\end{array}\\ \begin{array}{r}=1-\left[1+\sum _{n=1}^{\infty }(-\frac{1}{2}{)}^n(z-1{)}^n\right]\end{array}\end{array}$$