中国科学技术大学2020年考研数分试题
证明:
1、
直接用归纳法证明
$\displaystyle \because \int_{0}^{x}f'(t)dt=f(x)-f(0), $
$\displaystyle\therefore f(x)=f(0)+\int_{0}^{x}f'(t)dt,$
对于上式第二项有:
$\begin{align*}\int_{0}^{x}f'(t)dt&=-\int_{0}^{x}f'(t)d(x-t)\\\\&=-f'(t)(x-t)|_0^x+\int_{0}^{x}f''(t)(x-t)dt\\\\&=f'(0)x+\int_{0}^{x}f''(t)(x-t)dt,
\end{align*}$
同理, 对于上式第二项有:
$\begin{align*}\int_{0}^{x}f''(t)(x-t)dt&=-\int_{0}^{x}f''(t)(x-t)d(x-t)\\\\&=-\frac{1}{2}f''(t)(x-t)^2|_0^x+\frac{1}{2}\int_{0}^{x}f'''(t)(x-t)^2dt\\\\&=\frac{1}{2}f''(0)x^2+\frac{1}{2}\int_{0}^{x}f'''(t)(x-t)^2dt,\end{align*}$
用同样的方法, 依此类推,即可得到
$\displaystyle f(x)=f(0)+f'(0)x+\frac{1}{2}f''(0)x^2+\cdots +\frac{1}{n!}f^{(n)}(0)x^n+\frac{1}{n!}\int_{0}^{x}(x-t)^{n}f^{(n+1)}(t)dt.$
由此,展开式成立。
2、由上述证明过程,可知$\forall x_0\in[-1,1],$设$a_k=\frac{1}{k!}f^{(k)}(x_0),$在$x=x_0$点,上式展开式可展成:
$\displaystyle f(x)=\sum_{k=0}^{n}a_k(x-x_0)^k+\frac{1}{n!}\int_{x_0}^{x}(x-t)^nf^{(n+1)}(t)dt.$
令
$\displaystyle R(x)=\frac{1}{n!}\int_{x_0}^{x}(x-t)^nf^{(n+1)}(t)dt.$
只要证明
$\displaystyle \lim_{n \to \infty }R(x)=0.$
由于
$\displaystyle \lim_{n \to \infty }R(x)=\lim_{n \to \infty }\frac{1}{n!}\int_{x_0}^{x}(x-t)^nf^{(n+1)}(t)dt$
$\because x-t\leq 2,$
$\displaystyle \therefore \lim_{n \to \infty }\frac{1}{n!}\int_{x_0}^{x}(x-t)^nf^{(n+1)}(t)dt\leq \lim_{n \to \infty }\frac{2^n}{n!}\int_{x_0}^{x}f^{(n+1)}(t)dt=\lim_{n \to \infty }\frac{2^n}{n!}(f^{(n)}(x)-f^{(n)}(x_0)),$
由已知条件
$\displaystyle \because f^{(n)}(x)\geq 0,$
$\displaystyle \therefore f^{(n)}(x)-f^{(n)}(x_0)\leq |f^{(n)}(x)-f^{(n)}(x_0)|< M.$
从而有
$\displaystyle \lim_{n \to \infty }\frac{2^n}{n!}(f^{(n)}(x)-f^{(n)}(x_0))\leq \lim_{n \to \infty }\frac{2^n}{n!}\cdot M=0.$
故泰勒级数余项在$n\to \infty$时,为$0$.满足$f(x)$展开成为幂级数的充要条件。