介绍一些展开函数为级数、级数求和的方法。
展开为幂级数
函数展开为幂级数的常用方法有“直接法”和“间接法”。由于“直接法”需计算函数的任意阶导数,所以作直接展开是较困难的。更多情况是作间接展开。
直接法
尽管困难,但仍是一个很重要的方法,核心是求出任意阶导数,给出一道例题:
将$\displaystyle y=\frac{\ln(x+\sqrt{x^2+1})}{\sqrt{1+x^2}}$ 在$x_0=0$处展开为幂级数。
$\ \ $解: 对 $y$ 求导,化简得到:$(1+x^2)y’=1-xy$.
利用 Leibniz 公式,两边对 x 求 n 阶导数,化简得:$y^{(n+1)}=-n^2y^{(n-1)}$
由 $y(0)=0$,$y’(0)=1$,递推得到 $y^{(2n)}(0)=0$,$y^{(2n+1)}(0)=(-1)^n((2n)!!)^2$
于是 $\displaystyle y=\sum\limits_{k=0}^\infty\frac{y^{(k)}(0)}{k!}x^k=\sum\limits_{k=0}^\infty\frac{y^{(2k+1)}(0)}{(2k+1)!}x^{2k+1}=\sum\limits_{n=0}^\infty\frac{(-1)^n((2n)!!)^2}{(2k+1)!}x^{2k+1}$
间接法
以下是几个常用的麦克劳林展开式:
$e^x=1+x+\frac{x^2}{2!}+\dots+\frac{x^n}{n!}+\dots=\sum\limits_{n=0}^\infty\frac{x^n}{n!}$,$x\in(-\infty,\infty)$
$sin x=x-\frac{x^3}{3!}+\dots+(-1)^n\frac{x^{2n+1}}{(2n+1)!}+\dots=\sum\limits_{n=0}^\infty (-1)^n\frac{x^{2n+1}}{(2n+1)!}$,$x\in(-\infty,\infty)$
$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}+\dots+(-1)^n\frac{x^{2n}}{(2n)!}+\dots=\sum\limits_{n=0}^\infty (-1)^n\frac{x^{2n}}{(2n)!}$,$x\in(-\infty,\infty)$
$\ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\dots+(-1)^n\frac{x^{n+1}}{n+1}+\dots=\sum\limits_{n=0}^\infty(-1)^n\frac{x^{n+1}}{n+1}$,$x\in(-1,1]$
$(1+x)^\alpha=1+\alpha x+\frac{a(a-1)}{2!}x^2+\dots+\frac{a(a-1)\dots(a-n+1)}{n!}+\dots$,$x\in(-1,1)$
特别有:$\frac 1{1-x}=1+x+x^2+\dots+x^n+\dots=\sum\limits_{n=0}^\infty x^n$, $x\in(-1,1)$
利用“间接法”展开幂级数的方法有:变量替换、加减运算(拆项)、幂级数的逐项求导,逐项积分。
其目的都是:将待展开式变形为上述已知的麦克劳林展开式。
拆项化简
将 $\displaystyle \mathrm {ch}\ x$ 在$x_0=0$处展开为幂级数。
$\ \ $解:$\displaystyle \mathrm{ch}\ x=\frac{e^x+e^{-x}}{2} = \sum\limits_{n=0}^\infty\frac{x^{2n}}{(2n)!}$ ,$|x|<+\infty$
逐项积分
将 $\displaystyle \arctan x$ 在$x_0=0$处展开为幂级数。$(|x|<1)$
$\ \ $解:$\displaystyle \arctan x=\int_0^x\frac{\mathrm dt}{1+t^2}=\int_0^x\sum\limits_{n=0}^\infty(-1)^nt^{2n}\mathrm dt=\sum\limits_{n=0}^\infty\frac{(-1)^nx^{2n+1}}{2n+1}$
逐项求导
将 $\displaystyle \frac{1}{(1-x)^2}$ 在$x_0=0$处展开为幂级数。$(|x|<1)$
$\ \ $解:$\displaystyle \frac{1}{(1-x)^2}=\left(\sum\limits_{k=0}^{\infty}x^k\right)’=\sum\limits_{k=1}^{\infty}kx^{k-1}=\sum\limits_{n=0}^{\infty}(n+1)x^n$