【高等数学】第十二章 无穷级数——第五节 函数的幂级数展开式的应用

上一节：【高等数学】第十二章 无穷级数——第四节 函数展开成幂级数
总目录：【高等数学】 目录

1. 近似计算

有了函数的幂级数展开式，就可用它来进行近似计算，即在展开式有效的区间上，函数值可以近似地利用这个级数按精确度要求计算出来。

2. 微分方程的幂级数解法

• 一阶微分方程的幂级数解法
  为求一阶微分方程$$\frac{\mathrm{d}y}{\mathrm{d}x}=f(x,y)$$满足初值条件 $y{|}_{x=x_0}=y_0$ 的特解，如果其中函数 $f(x,y)$ 是 $(x-x_0),(y-y_0)$ 的多项式$$f(x,y)=a_{00}+a_{10}(x-x_0)+a_{01}(y-y_0)+\cdots +a_{lm}(x-x_0{)}^l(y-y_0{)}^m$$那么可以设所求特解可展开为 $x-x_0$ 的幂级数$$y=y_0+a_1(x-x_0)+a_2(x-x_0{)}^2+a_3(x-x_0{)}^3+\cdots$$其中 $a_1,a_2,\dots ,a_m$ 是待定的系数。将特解代入一阶微分方程，便得一恒等式，
  比较所得恒等式两端 $x-x_0$ 的同次幂的系数，就可定出常数 $a_1,a_2,\dots$，以这些常数为系数的级数在其收敛区间内就是一阶微分方程满足初值条件 $y{|}_{x=x_0}=y_0$ 的特解。

  利用幂级数消除$y$，本质是一种已知解的形式的待定系数法

• 二阶齐次线性方程的幂级数解法
  如果方程$$y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0$$中的系数$P(x)$与$Q(x)$可在$-R<x<R$内展开为$x$的幂级数，那么在$-R<x<R$内该方程必有形如$$y=\sum _{n=0}^{\infty }{a}_n{x}^n$$的解。

  利用这个定理可以确定解的形式，从而利用待定系数法求解

3. 欧拉公式

• 复数项级数收敛
  设有复数项级数数为$$(u_1+v_{1}i)+(u_2+v_{2}i)+\cdots +(u_n+v_{n}i)+\cdots ,$$其中 $u_n$ 与 $v_n$ ($n=1,2,3,\cdots$) 为实常数或实函数。
  如果实部所成的级数$$u_1+u_2+\cdots +u_n+\cdots$$收敛于和 $u$，并且虚部所成的级数$$v_1+v_2+\cdots +v_n+\cdots$$收敛于和 $v$，
  那么就说级数收敛且其和为 $u+vi$。
• 复数项级数绝对收敛
  如果复数项级数各项的模所构成的级数$$\sqrt{u_1^2+v_1^2}+\sqrt{u_2^2+v_2^2}+\cdots +\sqrt{u_n^2+v_n^2}+\cdots$$收敛，那么称复数项级数绝对收敛。
  如果复数项级数各项的模所构成的级数绝对收敛，由于$$|u_n|⩽\sqrt{u_n^2+v_n^2},|v_n|⩽\sqrt{u_n^2+v_n^2}(n=1,2,3,\cdots ),$$那么实部所成的级数与虚部所成的级数绝对收敛，从而复数项级数收敛。
• 复变量指数函数
  $${\mathrm{e}}^z=1+z+\frac{1}{2!}{z}^2+\cdots +\frac{1}{n!}{z}^n+\cdots (z=x+yi,|z|<\infty ).$$在整个复平面上是绝对收敛的

  $\underset{n\to \infty }{\lim }\left|\frac{a_{n+1}}{a_n}\right|=\underset{n\to \infty }{\lim }\frac{|z|}{n+1}=0$

• 欧拉公式
  对于复变量指数函数，令$z=yi$得
  $$\begin{array}{rl}{\mathrm{e}}^{yi}& =1+yi+\frac{1}{2!}(yi{)}^2+\frac{1}{3!}(yi{)}^3+\cdots +\frac{1}{n!}(yi{)}^n+\cdots \\ & =1+yi-\frac{1}{2!}{y}^2-\frac{1}{3!}{y}^3+\frac{1}{4!}{y}^4+\frac{1}{5!}{y}^5-\cdots \\ & =\left(1-\frac{1}{2!}{y}^2+\frac{1}{4!}{y}^4-\cdots \right)+\mathrm{i}\left(y-\frac{1}{3!}{y}^3+\frac{1}{5!}{y}^5-\cdots \right)\\ & =\cos y+\mathrm{i}\sin y\end{array}$$把 $y$ 换写为 $x$，上式变为欧拉(Euler)公式$$e^{ix}=\cos x+i\sin x$$
• 欧拉公式的其他形式
  • 极坐标形式
    $z=\rho (\cos \theta +i\sin \theta )=\rho e^{i\theta }$
    其中 $\rho =|z|$ 是 $z$ 的模，$\theta =\arg z$ 是 $z$ 的辐角。
  • 三角函数与复指数函数的关系
    $\{\begin{array}{l}\cos x=\frac{e^{xi}+e^{-xi}}{2},\\ \sin x=\frac{e^{xi}-e^{-xi}}{2i}.\end{array}$
• 复指数函数的性质
  • 乘法
    $e^{z_1+z_2}=e^{z_1}\cdot e^{z_2}$

  $$\begin{gathered} \sum _{n=0}^{\infty }\frac{1}{n!}{z}_1^n\cdot \sum _{n=0}^{\infty }\frac{1}{n!}{z}_2^n \\ =\sum _{k=0}^{\infty }\sum _{n=0}^k\frac{z_1^n}{n!}\cdot \frac{z_2^{k-n}}{(k-n)!}=\sum _{k=0}^{\infty }\sum _{n=0}^k\frac{1}{k!}\cdot \frac{k!}{n!\cdot (k-n)!}{z}_1^n{z}_2^{k-n} \\ =\sum _{k=0}^{\infty }\frac{1}{k!}\sum _{n=0}^k\left(\genfrac{}{}{0ex}{}{k}{n}\right)z_1^n{z}_2^{k-n}=\sum _{k=0}^{\infty }\frac{(z_1+z_2{)}^k}{k!}=e^{z_1+z_2} \end{gathered}$$

  • 复指数函数值
    ${\mathrm{e}}^{x+y\mathrm{i}}={\mathrm{e}}^x\cdot {\mathrm{e}}^{y\mathrm{i}}={\mathrm{e}}^x(\cos y+\mathrm{i}\sin y)$
    复变量指数函数$e^z$在$z=x+yi$处的值是模为$e^x$、辐角为$y$的复数。

下一节：【高等数学】第十二章 无穷级数——第六节 函数项级数的一致收敛性及一致收敛级数的基本性质
总目录：【高等数学】 目录