$\left|f^{(n)}(x)\right|\leq L$,
(где $L$ не зависит от $n$), то функция $f$ представляется рядом Тейлора:
[latex]f(x)=f(x_{0})+\frac{f^{‘}(x_{0})}{1!}(x-x_{0})+\frac{f^{»}(x_{0})}{2!}(x-x_{0})^{2}+…+\frac{f^{(n)}(x_{0})}{n!}(x-x_{0})^{n}+…[/latex], $\left|x-x_{0}\right|\leq R$
Доказательство:
Каким бы не было число $a$,
$\lim\limits_{n\rightarrow\infty}\frac{a^{n}}{n!}=0$
Пусть $n_{0}$ такое , что $\frac{\left|a\right|}{n_{0}}<\frac{1}{2}$. Тогда при всех $n\geq n_{0}$ $\frac{\left|a\right|}{n}<\frac{1}{2}$, и поэтому
$\frac{a^{n}}{n!}=\frac{a^{n_{0}}}{n_{0}!}\frac{a}{n_{0}+1}\cdot\frac{a}{n_{0}+2}…\frac{a}{n}<\frac{a^{n_{0}}}{n_{0}!}(\frac{1}{2})^{n-n_{0}}$,
где правая часть неравенства стремится к нулю при $n\rightarrow\infty$, откуда и следует, что $\lim\limits_{n\rightarrow\infty}\frac{a^{n}}{n!}=0$. Это равенство следует и из того что, выражение $\frac{a^{n}}{n!}$ является общим членом сходящегося ряда $\sum\limits_{n=1}^{\infty}{\frac{a^{n}}{n!}}$. Для того чтобы доказать формулу $\sum\limits_{n=0}^{\infty}{\frac{f^{(n)}(x_{0})}{n!}(x-x_{0})^{n}}$, достаточно убедится, что
$\lim\limits_{n\rightarrow\infty}r_{n}(x)=0$,
где $r_{n}(x)$ — остаточный член в формуле Тейлора функции $f$. Возьмем $r_{n}(x)$ в форме Лагранжа ($r_{n}(x)=\frac{f^{n+1}(\xi)}{(n+1)!}(x-x_{0})^{n+1}$). Из $\left|f^{(n)}(x)\right|\leq L$ следует, что
$\left|r_{n}(x)\right|=\left|\frac{f^{n+1}(\xi)}{(n+1)!}(x-x_{0})^{n+1}\right|\leq L\frac{\left|x-x_{0}\right|^{n+1}}{(n+1)!}$,
где $\left|\xi-x_{0}\right|<\left|x-x_{0}\right|<R$. Поскольку в силу $\lim\limits_{n\rightarrow\infty}\frac{a^{n}}{n!}=0$
$\lim\limits_{n\rightarrow\infty}\frac{\left|x-x_{0}\right|^{n+1}}{(n+1)!}=0$,
то при $\left|x-x_{0}\right|<R$ выполняется условие $\lim\limits_{n\rightarrow\infty}r_{n}(x)=0$, что и требовалось доказать.
Литература
- Л. Д. Кудрявцев Курс математического анализа Том 1, 1981. стр.640-641
- Г. М. Фихтенгольц Курс дифференциального и интегрального исчисления Том 2, 1964. стр. 366
- Л.Д.Кудрявцев Курс математического анализа Том 1, 2003
Тест:
Тест на тему: «Достаточное условие разложения функции в ряд Тейлора».