Если функция $f$ определена в некоторой окрестности точки $x_{0}$ и является бесконечно дифференцируемой (имеет в данной точке производные всех порядков), то степенной ряд вида $$\sum\limits_{n=0}^{\infty}a_{n}\left(x-x_{0}\right)^n$$ называется рядом Тейлора функции $f$ в окрестности точки $x_{0}$, где числа $$a_{n}=\frac{{f}^{\left(n \right)}\left(x_{0} \right)}{n!} \;\;\; \left(n=0,1,2,\ldots \right)$$ это коэффициенты Тейлора функции $f$ в окрестности точки $x_{0}$.
Спойлер
Представим в виде ряда Тейлора функцию $$f\left(x \right)=\begin{cases}&e^{\frac{-1}{x^{2}}},\;\;x\neq0\\&0,\;\;x=0\end{cases}$$
Найдем производные функции вне нуля: $${f}^{\left(1\right)}\left(x \right)=e^{\frac{-1}{x^{2}}}\cdot \frac{2}{x^{3}},$$ $${f}^{\left(2\right)}\left(x \right)=\left(\frac{4}{x^{6}}-\frac{6}{x^{4}} \right)e^{\frac{-1}{x^{2}}},$$ $$\ldots$$ $${f}^{\left(k\right)}\left(x\right)=e^{\frac{-1}{x^{2}}}Q_{3k}\left(\frac{1}{x}\right).$$
Рассмотрим производные функции в нуле. Докажем по индукции, что $${f}^{\left(k\right)}\left(0 \right)=0 \;\;\; \forall k \in N.$$ Имеем,
${f}^{\left(1\right)}\left(0 \right)=\lim\limits_{ n \to 0}\frac{e^{\frac{-1}{x^{2}}}}{x}=0.$
${f}^{\left(n\right)}\left(0 \right)=0 \;\;\; \forall n \in N.$
${f}^{\left(n+1\right)}\left(0 \right)=$$\lim\limits_{ n \to 0}\frac{{f}^{n}\left(x \right)-{f}^{n}\left(0 \right)}{x}=$$\lim\limits_{ n \to 0}\frac{1}{x}e^{\frac{-1}{x^{2}}}Q_{3k}\left(\frac{1}{x} \right)=$$0.$
Следовательно, для данной функции коэффициенты формулы Тейлора в точке $x_{0}$ равны нулю. Но, с другой стороны, $f\left(x \right)=e^{\frac{-1}{x^{2}}}\neq0,\;\;\; x\neq0$. Таким образом, функция не представима в виде своего ряда Тейлора.
[свернуть]
Сходимость ряда Тейлора к функции
Пусть функция $f\left(x\right)$ бесконечно дифференцируема в точке $x_{0}$. Поставим ей в соответствие формулу Тейлора: $$f\left(x\right)=\sum\limits_{n=0}^{n}\frac{{f}^{\left(n\right)}\left(x_{0}\right)}{n!}\left(x-x_{0}\right)^{n}+r_{n}\left(x\right),$$ где $r_{n}\left(x \right)$ — остаток в формуле Тейлора. Обозначим, $$S_{n}\left(x\right)=\sum\limits_{n=0}^{n}\frac{{f}^{\left(n \right)}\left(x_{0} \right)}{n!}\left(x-x_{0}\right)^{n},$$ где $S_{n}\left(x\right)$— частичная сумма данного ряда Тейлора данной функции. Следовательно, можем записать равенство: $$f\left(x \right)=S_{n}\left(x \right)+r_{n}\left(x \right).$$ Тогда для того, чтобы $\lim\limits_{ n \to \infty}s_{n}\left(x \right)=f\left(x\right)$, функция $f\left(x\right)$ на заданном интервале должна быть равной сумме своего ряда Тейлора.
Таким образом, для сходимости ряда Тейлора функции $f\left(x\right)$ к функции $f\left(x\right)$ на некотором интервале необходимо и достаточно , чтобы для всех $x$ из этого интервала ее остаточный член в формуле Тейлора стремился к нулю: $$\lim\limits_{ n \to \infty}r_{n}\left(x \right)=0. $$
Предлагаю пройти Вам данный тест на закрепление материала по данной статье.
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 2
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Рубрики
Математический анализ0%
Ваш результат был записан в таблицу лидеров
Загрузка
1
2
С ответом
С отметкой о просмотре
Задание 1 из 2
1.
Дан степенной ряд вида $$\sum\limits_{n=0}^{\infty}a_{n}(x-x_{0})^n. (1)$$ Вставьте пропущенные слова
Если функция $f$ определена в некоторой окрестности точки $x_0$ и является (бесконечно дифференцируемой) то степенной ряд вида (1) называется (рядом Тейлора) функции $f$ в окрестности точки $x_0$.
Правильно
Неправильно
Задание 2 из 2
2.
Укажите соответствие между функцией и ее рядом Тейлора.
Замечание 1. Пусть функция [latex]f(x)[/latex] бесконечно дифференцируема на интервале [latex](-l, l).[/latex] Если эта функция является четной, то её производная — нечетная функция, и, наоборот, производная нечетной функции — четная функция.
[latex]\triangle[/latex]Пусть [latex]f(x)[/latex] — четная функция, тогда:
[latex]f(-x)=f(x)[/latex], [latex]x\in(-a, a)[/latex].
Дифференцируя это тождество, получаем
[latex]-f'(-x)=f'(x),[/latex] [latex]x\in(-a, a)[/latex].
Это означает, что [latex]f'(x)[/latex] — нечетная функция. Аналогично рассматривается случай, когда [latex]f(x)[/latex] — нечетная функция.[latex]\blacktriangle [/latex]
Отсюда следует, что для нечетной функции [latex]f[/latex] выполняютcя условия [latex]f^{(2k)}(0)=0[/latex], [latex]k\in \mathbb{N}[/latex], а для четной функции [latex]f[/latex] — условия [latex]f^{(2k-1)}(0)=0[/latex], [latex]k\in \mathbb{N}[/latex], так как любая непрерывная нечетная функция принимает при [latex]x=0[/latex] значение нуль.
Поэтому формулу (1) для бесконечно дифференцируемой четной функции можно записать в виде:
а) Показательная функция. Если [latex]f(x)=e^x[/latex], то [latex]f(0)=1[/latex] и [latex]f^{(n)}(0)=1[/latex] при любом [latex]n[/latex]. Поэтому формула (1) для функции [latex]e^x[/latex] записывается в виде
б) Гиперболические функции. Так как [latex]f(x)=\sinh x[/latex] — нечетная функция, [latex]f^{(2k+1)}(x)=\cosh x[/latex], [latex]f^{(2k+1)}(0)=1[/latex] при [latex]k=0, 1, 2,\dots[/latex], то по формуле (3) получаем
Замечание 2. Так как [latex]\sinh x=\frac{e^x-e^{-x}}{2}[/latex], [latex]\cosh x=\frac{e^x+e^{-x}}{2}[/latex], то формулы (5) и (6) можно получить, используя равенство (4) и равенство [latex]e^{-x}=\sum\limits_{k=0}^n\frac{(-1)^kx^k}{k!}+\underset{x\to 0}{\circ(x^n)}[/latex].
в) Тригонометрические функции. Функция [latex]f(x)=\sin x[/latex] является нечетной,
Для 2 членов разложения: [latex]\sin x\approx x-\frac{x^3}{3!}[/latex]
Для 3 членов разложения: [latex]\sin x\approx x-\frac{x^3}{3!}+\frac{x^5}{5!}[/latex]
Для 4 членов разложения: [latex]\sin x\approx x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}[/latex]
Как видно по графику, для достижения точности, достаточной для решения большинства практических задач, можно ограничиться 4-5 членами ряда.
г) Степенная функция. Пусть [latex]f(x)=(1+x)^\alpha[/latex], где [latex]\alpha \in \mathbb{R}[/latex]. Тогда [latex]f^{(k)}(x)=\alpha(\alpha-1)\dots(\alpha-(k-1))(1+x)^{\alpha-k}[/latex], откуда получаем [latex]f^{(k)}(0)=\alpha(\alpha-1)\dots(\alpha-(k-1))[/latex]. Тогда по формуле (1) получим
д) Логарифмическая функция. Если [latex]f(x)=\ln(1+x)[/latex], то [latex]f(0)=0[/latex], [latex]f^{(k)}(x)=\frac{(-1)^{k-1}(k-1)!}{(1+x)^k}[/latex], [latex]f^{(k)}(0)=(-1)^{k-1}(k-1)![/latex], и по формуле (1) находим
Разложить по формуле Тейлора в окрестности точки [latex]x_0=0[/latex] до [latex]\circ(x^n)[/latex] функцию [latex]f(x)[/latex], если [latex]f(x)=\frac{1}{\sqrt{1+x}}:[/latex]
Спойлер
[latex]f(x)=\frac{1}{\sqrt{1+x}}=(1+x)^{-\frac{1}{2}}[/latex]. Применяя формулу (9) при [latex]\alpha=-\frac{1}{2}[/latex], получаем:
Разложить по формуле Тейлора в окрестности точки [latex]x_0=0[/latex] до [latex]\circ(x^n)[/latex] функцию [latex]f(x)[/latex], если [latex]f(x)=\ln\frac{x-5}{x-4}:[/latex]