微积分学/泰勒级数

泰勒级数

泰勒级数

函数$f(x)$的泰勒级数或泰勒展开式为

$\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}$

$\sin x$及其1, 3, 5, 7, 9, 11和13阶泰勒展开式的图像

其中$n!$为$n$的阶乘，$f^{(n)}(a)$为$f$在$a$的$n$阶导数。若$a=0$，级数又称麦克劳林级数。

通常情况下，这一级数收敛于$f(x)$，但需要注意的是，有些无限可导函数$f(x)$的泰勒级数也收敛，但并不等于$f(x)$。例如，分段函数$f(x)={\begin{cases}0&x=0\\e^{-{\frac {1}{x^{2}}}}&x\neq 0\end{cases}}$在$x=0$的各阶导数均为0，所以$f(x)$的麦克劳林级数为0，收敛半径为无穷大，但函数值显然并不是0。

原理

假设我们想要将函数表示为无穷幂级数，即：

$f(x)={c_{0}}(x-a)^{0}+c_{1}(x-a)^{1}+c_{2}(x-a)^{2}+c_{3}(x-a)^{3}+\cdots +c_{n}(x-a)^{n}+\cdots$

其中$a$为收敛半径，$c_{0},c_{1},c_{2},\dots ,c_{n},\dots$为系数。用求和符号来表示，就是

$\sum _{n=0}^{\infty }c_{n}(x-a)^{n}$

接下来我们要求出各项的系数。显然

$f(a)=c_{0}$

于是得出$c_{0}$。至于其它项，我们把等式两边求导可得

$f'(x)=c_{1}(x-a)^{0}+2c_{2}(x-a)^{1}+3c_{3}(x-a)^{2}+4c_{4}(x-a)^{3}+\cdots +nc_{n}(x-a)^{(n-1)}+\cdots$

把$a$代入得

$f'(a)=c_{1}$

求二阶导，我们又可以得到$c_{2}$，即

$f''(x)=2c_{2}+(2\times 3)c_{3}(x-a)^{1}+(3\times 4)c_{4}(x-a)^{2}+\cdots +(n)(n-1)c_{n}(x-a)^{(n-2)}+\cdots$

再把$a$代入得

$f''(a)=2c_{2}$

继续求导，又能得到

$f'''(x)=(2\times 3)c_{3}(x-a)^{0}+(2\times 3\times 4)c_{4}(x-a)^{1}+(3\times 4\times 5)c_{5}(x-a)^{2}+\cdots +(n)(n-1)(n-2)c_{n}(x-a)^{n-3}$

再把$a$代入得

$f'''(a)=(2\times 3)c_{3}$

以此类推，求 $n$次导可得

${\frac {d^{n}}{dx^{n}}}f(a)=n!\times c_{n}$

即

$c_{n}={\frac {f^{(n)}(a)}{n!}}$

其中$f^{(0)}(x)=f(x)$，$f^{(1)}(x)=f'(x)$，以此类推。代入前面的这个式子

$\sum _{n=0}^{\infty }c_{n}(x-a)^{n}$

可以得到

$f(x)=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}$

泰勒级数列表

以下列出几个重要的泰勒展开式。

指数函数和自然对数：

$e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}\quad {\text{对 任 意 }}x$

$\ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n}}x^{n}\quad |x|<1$

几何级数：

${\frac {1}{1-x}}=\sum _{n=0}^{\infty }x^{n}\quad |x|<1$

二项式级数：

$(1+x)^{\alpha }=\sum _{n=0}^{\infty }{\binom {\alpha }{n}}x^{n}\quad |x|<1$

三角函数：

$\sin x=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{(2n-1)!}}x^{2n-1}$

$\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}$

$\tan x=\sum _{n=1}^{\infty }{\frac {B_{2n}(-4)^{n}(1-4^{n})}{(2n)!}}x^{2n-1}\quad |x|<{\frac {\pi }{2}}$

$\sec x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{2n}}{(2n)!}}x^{2n}\quad |x|<{\frac {\pi }{2}}$

$\arcsin x=\sum _{n=0}^{\infty }{\frac {(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}\quad |x|<1$

$\arctan x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}x^{2n+1}\quad |x|<1$

双曲函数：

$\sinh x=\sum _{n=1}^{\infty }{\frac {x^{2n-1}}{(2n-1)!}}\quad {\text{对 任 意 }}x$

$\cosh x=\sum _{n=0}^{\infty }{\frac {x^{2n}}{(2n)!}}\quad {\text{对 任 意 }}x$

$\tanh x=\sum _{n=1}^{\infty }{\frac {B_{2n}2^{2n}(2^{2n}-1)}{(2n)!}}x^{2n-1}\quad |x|<{\frac {\pi }{2}}$

${\rm {arsinh}}x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(2n)!}{2^{2n}(n!)^{2}(2n+1)}}x^{2n+1}\quad |x|<1$

${\rm {artanh}}x=\sum _{n=1}^{\infty }{\frac {x^{2n-1}}{2n-1}}\quad |x|<1$

朗伯W函数：

$W_{0}(x)=\sum _{n=1}^{\infty }{\frac {(-n)^{n-1}}{n!}}x^{n}\quad |x|<{\frac {1}{e}}$

其中$B_{k}$为伯努利数，${\binom {\alpha }{n}}$为二项式系数，$E_{k}$为欧拉数。

例题

例1

求以下函数的麦克劳林级数

$f(x)=\ln {\big (}1+\cos x{\big )}$

解答

已知自然对数

$\ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}x^{n}=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+\cdots \quad |x|<1$

和余弦函数

$\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots \quad {\text{对 任 意 }}x\in \mathbb {C}$

我们可以直接把第二个级数代入第一个，得到

$\left(1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots \right)-{\frac {1}{2}}\left(1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots \right)^{2}+{\frac {1}{3}}\left(1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots \right)^{3}-\cdots$

运用多项式定理展开即可得麦克劳林级数为

$\ln {\big (}1+\cos x{\big )}=\ln 2-{\frac {x^{2}}{4}}-{\frac {x^{4}}{96}}-{\frac {x^{6}}{1440}}-{\frac {17x^{8}}{322560}}-{\frac {31x^{10}}{7257600}}-\cdots$

例2

求以下函数的麦克劳林级数

$g(x)={\frac {e^{x}}{\cos x}}$

解答

已知指数函数

$e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}=1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+\cdots$

和余弦函数

$\cos x=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots$

设待求级数为

${\frac {e^{x}}{\cos x}}=c_{0}+c_{1}x+c_{2}x^{2}+c_{3}x^{3}+\cdots$

等号两边同时乘分母并代换得

$e^{x}$	$={\big (}c_{0}+c_{1}x+c_{2}x^{2}+c_{3}x^{3}+\cdots {\big )}\cos x$
	$=\left(c_{0}+c_{1}x+c_{2}x^{2}+c_{3}x^{3}+c_{4}x^{4}+\cdots \right)\left(1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots \right)$
	$=c_{0}-{\frac {c_{0}}{2}}x^{2}+{\frac {c_{0}}{4!}}x^{4}+c_{1}x-{\frac {c_{1}}{2}}x^{3}+{\frac {c_{1}}{4!}}x^{5}+c_{2}x^{2}-{\frac {c_{2}}{2}}x^{4}+{\frac {c_{2}}{4!}}x^{6}+c_{3}x^{3}-{\frac {c_{3}}{2}}x^{5}+{\frac {c_{3}}{4!}}x^{7}+\cdots$

合并同类项得

$e^{x}=c_{0}+c_{1}x+\left(c_{2}-{\frac {c_{0}}{2}}\right)x^{2}+\left(c_{3}-{\frac {c_{1}}{2}}\right)x^{3}+\left(c_{4}+{\frac {c_{0}}{4!}}-{\frac {c_{2}}{2}}\right)x^{4}+\cdots$

与指数函数的麦克劳林级数比较可得待求级数为

${\frac {e^{x}}{\cos x}}=1+x+x^{2}+{\frac {2x^{3}}{3}}+{\frac {x^{4}}{2}}+\cdots$