Теорема. Пусть функция $\gamma$ на отрезке $\left[\alpha,\beta\right]$ имеет непрерывные производные до порядка $q$ включительно, а на интервале $\left(\alpha,\beta\right)$ существует производная порядка $q+1$. Тогда справедливо равенство $$\begin{equation}\gamma\left(\beta\right) — \gamma\left(\alpha\right) =\end{equation}$$
$$\frac{\gamma \prime\left(\alpha\right)}{1\,!}\cdot(\beta-\alpha) + \frac{\gamma\prime\prime\left(\alpha\right)}{2\,!}\cdot(\beta-\alpha)^{2} + + \frac{\gamma^{(q)}\left(\alpha\right)}{q\,!}\cdot(\beta-\alpha)^{q} + \frac{\gamma^{(q+1)}\left(\xi\right)}{q+1\,!}\cdot(\beta-\alpha)^{q+1},$$
где $\xi$ — некоторая точка из интервала $\left(\alpha;\beta\right)$.
Аналог этой теоремы в многомерном случае может иметь следующий вид.
Теорема. Пусть действительная функция $f$ класса $C^{q+1}$ на открытом множестве $E \subset \mathbb{R}^{n} $ и пусть отрезок $\left[a,a+h\right] \subset E$. Тогда справедливо равенство: $$\begin{equation}f\left(a+h\right)-f\left(a\right)=\end{equation}$$
а $\theta$ — некоторое число из отрезка $\left[0,1\right].$
Положим $\gamma(t) = f\left(a+th\right) \left(0\leqslant t\leqslant1\right).$ Ранее была доказана лемма(12.4 стр.283), согласно которой функция $\gamma$ дифференцируема и её производная
Применяя теперь формулу Тейлора для функции $\gamma$, находим
$$\gamma(1)-\gamma(0) = \gamma\prime(0)+\frac{1}{2\,!}\gamma\prime\prime(0)+\cdots+\frac{1}{q\,!}\gamma^{(q)}(0)+\frac{1}{(q+1)\,!}\gamma^{(q+1)}(\theta),$$
где $0\leqslant\theta\leqslant 1$ Если воспользуемся найденными выражениями для производных функции $\gamma$ и учтем, что $\gamma(1)-\gamma(0)=f(a+h)-f(a),$ то получим требуемое равенство.
Примеры решения задач
Найти разложение функции по формуле Тейлора второго порядка в окрестности точки $M_{0}(2,1).$ $$f(x,y)=x^{2} \cdot 2^{x-3y},$$ используя найденное разложение, найти приближенное значение функции в точке $M(2,05;0,98).$
Решение
Запишем формулу Тейлора второго порядка для заданной функции:$$f(x;y)\approx 2+\left(2(1+\ln{2})(x-2)-6\ln{2}(y-1)\right)+$$ $$\frac{1}{2}\left[(1+4\ln{2}+2\ln^{2}{2})(x-2)^{2}-12(1+\ln{2})\ln{2}(x-2)(y-1)+18\ln^{2}{2}(y-1)^{2}\right]$$
Найдём приближенное значение $f(2,05;0,98)\approx 2,087.$
Формула Тейлора для действительных функций
Лимит времени: 0
Навигация (только номера заданий)
0 из 4 заданий окончено
Вопросы:
1
2
3
4
Информация
Пройдите этот тест, чтобы проверить свои знания по прочитанной теме.
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 4
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Рубрики
Математический анализ0%
1
2
3
4
С ответом
С отметкой о просмотре
Задание 1 из 4
1.
Указать разложение по степеням $x$ и $y$ для соответствующей функции.
Полученная нами формула Тейлора с остатком в форме Пеано позволяет определить лишь скорость стремления к нулю остатка при $x \to x_{0}$. Однако мы ничего не можем сказать об абсолютной величине остатка формулы Тейлора для конкретных значений $x$, и даже не имеем возможности оценить его. Во многих задачах требуется оценить погрешность приближения функции ее многочленом Тейлора. Такую возможность дает формула Тейлора с остатком в форме Лагранжа.
Напомним формулировку теоремы Лагранжа. Если функция $f$ непрерывна на $\left [ a ,b\right ]$ и дифференцируема на $\left ( a,b\right )$, то существует такая точка $\xi \in \left ( a,b \right )$, что $f \left(b \right) = f \left(a \right) + f’\left(\xi \right)\left(b-a \right)$. Можем считать, что в правой части этого равенства $f\left(a\right)$ – многочлен Тейлора нулевого порядка с центром в точке $a$, а $f’\left(\xi\right)\left(b-a\right)$ – остаток в формуле Тейлора для функции $f$, вычисленной в точке $b$. Эта формула позволяет оценить $\left | f\left(b\right) — f\left(a\right) \right |$, т. е. погрешность приближения значения функции $f\left(b\right)$ значением $f\left(a\right)$, через $\left | f’\left(\xi\right) \right | \cdot \left | b-a \right |$. Например, если $\DeclareMathOperator{\arctg}{arctg} f\left(x \right) = \arctg x$, то $$\arctg a = \arctg b +\frac{1}{1+\xi^{2}}\left ( b-a \right ),$$ откуда сразу получаем, что $$\left | \arctg b -\arctg a \right |\leqslant \frac{1}{1+\xi^{2}}\left | b-a \right |\leqslant \left | b-a \right |.$$
Обобщением этих рассуждений на случай произвольного натурального $n$ и есть формула Тейлора с остатком в форме Лагранжа.
Теорема. Пусть функция $f$ определена на отрезке $\left [ a ,b\right ]$ и имеет на этом отрезке непрерывные производные до порядка $n$ включительно, а на интервале $\left ( a,b\right )$ существует производная $\left(n + 1\right)$-го порядка. Тогда существует такая точка $\xi \in \left ( a,b \right )$, что $$f\left(b\right) = f\left(a\right) + \frac{f'{}\left(a\right)}{1!}\left(b-a\right) + \frac{f{}'{}’\left(a\right)}{2!}\left(b-a \right)^{2} + \cdots + \frac{f^{\left(n\right)}\left(a\right)}{n!}\left(b-a\right)^{n} + \\ + \frac{f^{\left(n+1 \right)}\left(\xi\right)}{n+1!}\left(b-a\right)^{n+1} .$$
Обозначим $$P_{n}\left(x\right) = f\left(a\right) + \frac{f'{}\left(a\right)}{1!}\left(b-a\right) + \frac{f {}'{}’\left(a\right)}{2!}\left(b-a\right)^{2} + \cdots + \frac{f^{\left(n\right)}\left(a\right)}{n!}\left(b-a\right)^{n} $$ – многочлен Тейлора функции f с центром в точке $a$. Рассмотрим вспомогательную функцию $\varphi = f\left(x\right) — P_{n}\left(x\right) — \lambda \left(b-a\right)^{n+1}$, где число $\lambda$
определяется из условия $\varphi(b)=0$, т. е.
$$f(b)=P_{n}\left(b \right)-\lambda \left(b-a\right)^{n+1}. \qquad ( 5.4 )$$
Так как $P_{n}$ – многочлен Тейлора функции $f$ с центром в точке $a$, то производные функции $f$ и многочлена $P_{n}$ в точке $a$ совпадают до порядка $n$ включительно, т. е. $f^{\left(k \right)}\left(a\right)=P^{\left(k\right)}_{n}\left(a\right)\: \left(k=0,1,\dots, n\right)$. Далее, для функции $\varphi$ имеем $\varphi\left(a\right) = 0$,
$$\varphi{}’\left(x\right)=f’\left(x\right)-P’_{n}\left(x\right)-\lambda \left(n + 1 \right)\left(x-a \right)^{n}, \qquad\varphi’\left(a \right)=0,$$
$$\varphi{}'{}’\left(x\right)=f{}'{}’\left(x \right)-P_{n}{}'{}'(x)-\lambda \left(n + 1\right)n\left(x-a\right)^{n-1}, \qquad\varphi{}'{}’\left(a\right)=0,$$
$$\varphi ^{\left(k\right)}\left(x\right)=f^{\left(k\right)}\left(x\right)-P^{\left(k\right)}_{n}\left(x\right)-\lambda \left(n + 1\right)n\left(n-1\right)\dots\left(n-k+2\right)\left(x-a\right)^{n-k+1}.$$ Итак, $\varphi^{\left(k\right)}\left(a\right)=0\: \left(k=0,1,\dots, n \right)$.
Поскольку $\varphi\left(a\right)=\varphi\left(b\right)=0$, то на $\left[a, b\right]$ к функции $\varphi$ можно применить теорему Ролля, согласно которой существует такая точка $\xi _{1}\in \left(a, b\right)$, что $\varphi’\left(\xi _{1}\right)=0$. Далее, на $\left[a, \xi _{1}\right]$ к функции $\varphi’$ снова можно применить теорему Ролля, согласно которой существует такая точка $\xi_{2}\in \left(a, \xi _{1}\right)\subset \left(a, b\right)$, что $\left ( \varphi’ \right )'(\xi_{2})=\varphi{}'{}'(\xi_{2})=0$. Продолжая этот процесс, на $n$-м шаге получим такую точку $\xi _{n}\in\left(a, b\right)$, что $\varphi ^{\left(n \right)}\left(\xi_{n}\right)=0$. На отрезке $\left[a,\xi_{n}\right]$ функция $\varphi^{\left(n\right)}$ все еще удовлетворяет условиям теоремы Ролля, согласно которой найдется такая точка $\xi \in \left(a, b\right)$, что $\left(\varphi^{\left(n\right)}\right)’\left(\xi\right)=\varphi^{\left(n+1\right)}\left(\xi \right)=0$. Имеем $$\varphi ^{\left(n+1\right)}\left(x\right)=\left ( \varphi^{\left(n\right)} \right )’\left(x\right)=\left [ f^{\left(n\right)}\left(x\right)-P_{n}^{\left(n\right)}-\lambda\left(n+1\right)!\left(x-a\right) \right ]’=\\\\=f^{\left(n+1\right)}\left(x\right)-0-\lambda \left(n+1\right)!$$ и $\varphi ^{\left(n+1\right)}(\xi)=f^{\left(n+1\right)}\left(\xi\right)-\lambda \left(n+1\right)!=0$, откуда $\lambda=\frac{f^{\left(n+1\right)}\left(\xi\right)}{n+1!}$. Подставив найденное значение $\lambda$ в равенство $\left(5.4\right)$, получим утверждение теоремы.
Замечание. В правой части доказанного в теореме равенства записан многочлен Тейлора функции $f$ с центром в точке $a$, значение которого вычислено в точке $b$, а остаток $\frac{f^{\left(n+1\right)}\left(\xi\right)}{n+1!} \left(b-a\right)^{n+1}$ отличается от остальных слагаемых тем, что производная вычислена в точке $\xi \in \left(a, b\right)$. При $n=0$ доказанная теорема обращается в теорему Лагранжа.
Пример 1. Для функции $f\left(x\right)=e^{x}$ на $\left [ 0,x \right ]\: \left(x > 0\right)$ формула Тейлора
с остатком в форме Лагранжа принимает вид $$e^{x}=1+\frac{x}{1!}+\frac{x}{2!}+\cdots+\frac{x^{n}}{n!}+\frac{e^{\theta x}}{\left(n+1\right)!}x^{n+1},$$ где $0\leqslant \theta \leqslant 1$. Тогда для любого $n$ остаток не превосходит $R_{n}(x)=\frac{e^{x}}{(n+1)!}x^{n+1}$ и, очевидно, $R_{n}(x)\to 0$ при $n\to \infty$. Преимущество остатка в такой форме состоит в том, что мы можем оценить погрешность приближения $$e^{x}\approx 1+\frac{x}{1!}+\frac{x}{2!}+\cdots+\frac{x^{n}}{n!}.$$ Она не превосходит $$0\leqslant e^{x}-\left ( 1+\frac{x}{1!}+\frac{x}{2!}+\cdots+\frac{x^{n}}{n!} \right )\leqslant \frac{e^{x}}{(n+1)!}x^{n+1}\leqslant \frac{3^{\left [ x \right ]+1}}{(n+1)!}x^{n+1}.$$ В частности, при $x=1$ получаем $$e=1+\frac{1}{1!}+\frac{1}{2!}+\cdots+\frac{1}{n!}+\frac{e^{\theta x}}{\left(n+1\right)!},$$ где $0< \theta <1.$Отсюда следует, что $$e=\lim_{n\to\infty}\left ( 1+\frac{1}{1!}+\frac{1}{2!}+\cdots+\frac{1}{n!} \right ).$$
Пример 2. Доказать неравенство $(x>0)$ $$x-\frac{x^{3}}{3!}+\frac{x^{5}}{5!}-\cdots-\frac{x^{2n-1}}{\left(2n-1\right)!}\leqslant \sin x\leqslant \\\leqslant x-\frac{x^{3}}{3!}+\frac{x^{5}}{5!}-\cdots-\frac{x^{2n-1}}{(2n-1)!}+\frac{x^{2n+1}}{(2n+1)!}.$$ Для $f(x)=\sin x$, как было вычислено ранее, $f^{(k)}(x)=\sin \left (x+\frac{k\pi }{2} \right )\: (k=0,1,\dots)$. Поэтому $$\sin x=x-\frac{x^{3}}{3!}+\frac{x^{5}}{5!}-\dots+\frac{x^{2n+1}}{\left(2n+1\right)!}\sin\left ( \xi+\frac{\pi \left(2n+1\right)}{2} \right )\leqslant \\ \leqslant x-\frac{x^{3}}{3!}+\frac{x^{5}}{5!}-\dots+\frac{x^{2n+1}}{\left(2n+1\right)!},$$ $$\sin x=x-\frac{x^{3}}{3!}+\frac{x^{5}}{5!}-\dots-\frac{x^{2n-1}}{\left(2n-1\right)!}\sin\left ( \xi+\frac{\pi \left(2n-1\right)}{2} \right )\geqslant \\ \geqslant x-\frac{x^{3}}{3!}+\frac{x^{5}}{5!}-\dots-\frac{x^{2n-1}}{\left(2n-1\right)!}.$$
Примеры решения задач
С помощью формулы Маклорена разложить по степеням $x$ функцию $$f\left(x\right)=\ln (1+x)$$ заданную на отрезке $\left[0,1\right]$. Оценить погрешность допускаемую при сохранении только десяти первых членов.
Решение
$$f\left(0\right)=\ln 1=0$$
$$f^{\left(n\right)}\left(x\right)=\left(-1\right)^{\left(n-1\right)}\frac{\left(n-1\right)!}{\left(1+x\right)^{n}}$$
$$f^{\left(n\right)}\left(0\right)=\left(-1\right)^{\left(n-1\right)}\left(n-1\right)! \qquad \left(n=1,2,3,\dots \right)$$
Подставив в формулу Маклорена, получим
$$\ln \left(1+x\right)=x-\frac{x^{2}}{2}+\frac{x^{3}}{3}\cdots+\frac{x^{9}}{9}+R_{10}\left(x\right),$$ где остаточный член $R_{10}\left(x\right)$ в форме Лагранжа запишется так:$$R_{10}\left(x\right)=\frac{f^{(10)}(\xi)}{10!}x^{10}=-\frac{9!}{10!\left(1+\xi\right)^{10}}x^{10}=-\frac{x^{10}}{10\left(1+\xi\right)^{10}},$$ $$\left(0<\xi<x\right).$$
Оценим абсолютную величину остаточного члена $R_{10}\left(x\right)$; учитывая, что $0<x<1$, получим $$\left | R_{10}(x) \right |=\left | \frac{-x^{10}}{10(1+\xi)^{10}} \right |<\frac{1}{10}.$$
Сколько нужно взять членов в формуле Маклорена для функции $f\left(x\right)=e^{x}$, чтобы получить многочлен, представляющий эту функцию на отрезке $\left[-1,1\right]$, с точностью до $0,001$?
Решение
Функция $f\left(x\right)=e^{x}$ имеет производную любого порядка $$f^{\left(n\right)}\left(x\right)=e^{x}$$ Поэтому к этой функции нужно применить формулу Маклорена. Вычислим значение функции $e^{x}$ и ее $n-1$ первых производных в точке $x=0$, а значение $n$-й производной в точке $\xi=\theta x\; \left(0<\theta<1\right) $. Будем иметь $$f\left(0\right)=f{}’\left(0\right)=f{}'{}’\left(0\right)=\dots=f^{\left(n-1\right)}\left(0\right)=1,$$ $$f^{\left(n\right)}\left(\xi \right)=e^{\xi}=e^{\theta x}.$$ Отсюда $$f\left(x \right)=1+\frac{x}{1!}+\frac{x^{2}}{2!}+\dots+\frac{x^{n-1}}{\left(n-1\right)!}+R_{n}\left(x\right),$$ где $$R_{n}\left(x\right)=\frac{x^{n}}{n!}e^{\theta x}.$$ Так как, по условию, $\left | x \right |\leqslant 1$ и $0<\theta<1$, то $$\left | R_{n}\left(x\right) \right |=\frac{\left | x \right |^{n}}{n!}e^{\theta x}<\frac{1}{n!}e<\frac{3}{n!}.$$ Следовательно, если выполняются неравенство $$\frac{3}{n!}\leqslant 0,001,$$ то заведомо будет выполняться неравенство $$\left | R_{n}(x) \right |\leqslant 0,001.$$ Для этого достаточно взять $n\geqslant 7\; \left(7!=5040\right)$. Таким образом, в формуле Маклорена достаточно взять $7$ членов.
Доказать неравенство при $x>0$ $$x-\frac{x^{2}}{2}<\ln \left(1+x\right)<x$$
Решение
По формуле Маклорена с остаточным членом $R_{2}\left(x\right)$ имеем $$\ln \left(1+x\right)=x-\frac{x^{2}}{2(1+\xi)^{2}},$$ где $0<\xi<x$. По той же формуле с остаточным членом $R_{3}\left(x\right)$ имеем $$\ln \left(1+x\right)=x-\frac{x^{2}}{2}+\frac{x^{3}}{3\left(1+\xi _{1}\right)^{3}},$$ где $0<\xi_{1}<0$. Так как $\frac{x^{2}}{2\left(1+\xi\right)^{2}}>0$ и $\frac{x^{3}}{3(1+\xi _{1})^{3}}>0$ при $x>0$, то отсюда следует, что $$x-\frac{x^{2}}{2}<\ln \left(1+x\right)<x.$$