Как найти многочлен тейлора второго порядка

Ряд Те́йлора — разложение функции в бесконечную сумму степенных функций. Частный случай разложения в ряд Тейлора в нулевой точке называется рядом Маклорена.

Ряд Тейлора был известен задолго до публикаций Брука Тейлора^[1] — его использовали ещё в XIV веке в Индии^[2], а также в XVII веке Грегори и Ньютон.

Ряды Тейлора применяются при аппроксимации функции многочленами.
В частности, линеаризация уравнений происходит путём разложения в ряд Тейлора и отсечения всех членов выше первого порядка.

Обобщением понятия ряда Тейлора в функциональном анализе является ряд Фантапье.

Определение[править | править код]

1. Многочленом Тейлора функции вещественной переменной , дифференцируемой раз в точке , называется конечная сумма

,

используемая в приближённых вычислениях, как обобщение следствия теоремы Лагранжа о среднем значении дифференцируемой функции:

при верно .

При записи суммы использованы обозначение и соглашение о произведении по пустому множеству: , .

2. Рядом Тейлора в точке функции вещественной переменной , бесконечно дифференцируемой в окрестности точки , называется формальный степенной ряд

с общим членом , зависящим от параметра .

Другими словами, рядом Тейлора функции в точке называется ряд разложения функции по положительным степеням двучлена :

.^[3]

Как указано ниже в примерах, наличия бесконечной дифференцируемости функции в окрестности точки не достаточно, чтобы ряд Тейлора сходился к самой функции где-либо, кроме самой точки .

3. Рядом Тейлора в точке функции комплексной переменной ,
удовлетворяющей в некоторой окрестности точки условиям Коши — Римана,
называется степенной ряд

.

В отличие от вещественного случая, из условий следует, что найдётся такое значение радиуса , что в ряд сходится к функции .

4. В случае ряд

называется рядом Маклорена.

Аналитическая функция[править | править код]

1. Функция вещественной переменной называется аналитической в точке , если существуют такой радиус и такие коэффициенты , , что может быть представлена в виде сходящегося на интервале степенного ряда:
,
то есть .

Функция называется аналитической на промежутке (на множестве), если она является аналитической в каждой точке этого промежутка (множества).

2. Степенной ряд на любом компактном подмножестве области сходимости допускает почленное дифференцирование любое количество раз.

Если в -ю производную функции подставить , то получится .

Таким образом, для аналитической в точке функции для некоторого всюду в является верным представление .

Следствие. Функция вещественной переменной является аналитической в точке тогда и только тогда, когда она равна своему ряду Тейлора с параметром на некотором открытом интервале, содержащем точку .

3. Вопрос: будет ли для произвольной бесконечно дифференцируемой в точке функции вещественного переменного её ряд Тейлора сходиться к всюду на каком-нибудь интервале , то есть представима ли этим рядом?

Ответ: нет.
Существуют бесконечно дифференцируемые функции вещественной переменной, ряд Тейлора которых сходится, но при этом отличается от функции в любой окрестности
.

Примеры. Функции вещественной переменной ,
,

являются бесконечно дифференцируемыми в точке , причём все эти производные равны нулю.

Следовательно, ряды Тейлора всех этих функций с параметром тождественно равны нулю.
Однако, для любого в окрестности точки найдутся точки,
в которых функции отличны от .
Таким образом, эти функции не являются в точке аналитическими.

Область сходимости ряда Тейлора[править | править код]

Ряд Тейлора, являясь степенным рядом, имеет в качестве области сходимости круг (с центром в точке ) для случая комплексной переменной
и интервал (с центром в точке ) — для случая вещественной переменной.

1. Например, функция может быть разложена в ряд Тейлора следующим образом: (это известная формула суммы бесконечной убывающей геометрической прогрессии). Однако если функция определена для всех действительных чисел, кроме точки , то ряд сходится только при условии .

2. Радиус сходимости ряда Тейлора можно определить, например, по формуле Даламбера:

.

3. Рассмотрим для примера экспоненциальную функцию . Поскольку любая производная экспоненциальной функции равна самой функции в любой точке, то радиус сходимости экспоненциальной функции равен . Значит, ряд Тейлора экспоненциальной функции сходится на всей оси для любого параметра .

4. От параметра — точки разложения ряда Тейлора — зависит область его сходимости.

Например, разложим в общем случае (для произвольного ) в ряд Тейлора функцию : .

Можно доказать с помощью формулы суммы геометрической прогрессии, что данный ряд, как функция аргумента , при любых значениях (кроме ) имеет один и тот же вид.

Действительно,

.

Область сходимости ряда может быть задана неравенством . И теперь эта область зависит от . Например, для ряд сходится при . Для ряд сходится при .

Формула Тейлора[править | править код]

Предположим, что функция имеет все производные до -го порядка включительно в некотором промежутке, содержащем точку . Найдем многочлен степени не выше , значение которого в точке равняется значению функции в этой точке, а значения его производных до -го порядка включительно в точке равняются значениям соответствующих производных от функции в этой точке.

Достаточно легко доказать, что такой многочлен имеет вид , то есть это -я частичная сумма ряда Тейлора функции . Разница между функцией и многочленом называется остаточным членом и обозначается . Формула называется формулой Тейлора^[4]. Остаточный член дифференцируем раз в рассматриваемой окрестности точки . Формула Тейлора используется при доказательстве большого числа теорем в дифференциальном исчислении.
Говоря нестрого, формула Тейлора показывает поведение функции в окрестности некоторой точки.

Теорема:

Это формула Тейлора с остаточным членом в общей форме (форма Шлёмильха — Роша).

Различные формы остаточного члена[править | править код]

В форме Лагранжа:

В форме Коши:

В интегральной форме:

Ослабим предположения:

В асимптотической форме (форме Пеано, локальной форме):

Критерий аналитичности функции[править | править код]

Основной источник: ^[5]

Предположим, что некоторую функцию нужно разложить в ряд Тейлора в некоторой точке . Для этого предварительно нужно убедиться, что функция является аналитической (то есть буквально разложимой) в этой точке. В противном случае получится не разложение функции в ряд Тейлора, а просто ряд Тейлора, который не равен своей функции. Причем, как можно убедиться на примере функции Коши, и функция может быть сколько угодно раз дифференцируемой в точке , и её ряд Тейлора с параметром может быть сходящимся, но при этом ряд Тейлора может быть не равен своей функции.

Во-первых, необходимым условием аналитичности функции является сходимость ряда Тейлора в некоторой непрерывной области. Действительно, если ряд Тейлора сходится всего в одной точке, то это точка , потому что в ней ряд Тейлора сходится всегда. Но тогда ряд Тейлора равен функции только в этой единственной точке, а значит, данная функция не будет аналитической.

Во-вторых, по формуле Тейлора в ряд Тейлора с остаточным членом может быть разложена любая (а не только аналитическая) функция, бесконечно дифференцируемая в окрестности, содержащей точку . Пусть ряд Тейлора с параметром такой функции сходится в этой окрестности. Если существует предел каждой из двух последовательностей, то предел суммы этих последовательностей равен сумме их пределов. Тогда для всех из окрестности по формуле Тейлора можно записать , где  — ряд Тейлора.

Очевидно, что функция является аналитической в точке тогда и только тогда, если в указанной окрестности точки существует непрерывная область такая, что для всех остаточный член её разложения по формуле Тейлора стремится к нулю с ростом : .

В качестве примера рассмотрим экспоненциальную функцию . Её ряд Тейлора сходится на всей оси для любых параметров . Докажем теперь, что эта функция является аналитической во всех точках .

Остаточный член разложения этой функции в форме Лагранжа имеет вид , где  — некоторое число, заключенное между и (не произвольное, но и не известное). Тогда, очевидно,

Здесь используется, что на фиксированном промежутке экспонента ограничена некоторым числом

Причем, как видно, предел остаточного члена равен нулю для любых и .

Ряды Маклорена некоторых функций[править | править код]

• Гиперболические функции^[6][10]:

• Обратные гиперболические функции^[6][11]:

Формула Тейлора для функции двух переменных[править | править код]

Пусть функция имеет непрерывные производные до -го порядка включительно в некоторой окрестности точки .
Введём дифференциальный оператор

.

Тогда разложение (формула Тейлора) функции по степеням для в окрестности точки будет иметь вид

где  — остаточный член в форме Лагранжа:

Следует иметь в виду, что операторы и
в действуют только на функцию , но не на и/или .

Аналогичным образом формула строится для функций любого числа переменных, меняется только число слагаемых в операторе .

В случае функции одной переменной .

Формула Тейлора многих переменных[править | править код]

Для получения формулы Тейлора функции переменных , которая в некоторой окрестности точки имеет непрерывные производные до -го порядка включительно, введём дифференциальный оператор

Тогда разложение (формула Тейлора) функции по степеням в окрестности точки имеет вид

где  — остаточный член порядка .

Для функции переменных, бесконечно дифференцируемой в некоторой окрестности точки , ряд Тейлора имеет вид:

.

В другой форме ряд Тейлора можно записать таким образом:

.

Пример разложения в ряд Маклорена функции трёх переменных[править | править код]

Найдём выражение для разложения в ряд Тейлора функции трёх переменных , и в окрестности точки до второго порядка малости. Оператор будет иметь вид

Разложение в ряд Тейлора запишется в виде

Учитывая, что

получим

Например, при ,

Примечания[править | править код]

Литература[править | править код]

• Ильин В. А., Садовничий В. А., Сендов Б. Х. Математический анализ, ч. 1, изд. 3, ред. А. Н. Тихонов. М.: Проспект, 2004.
• Камынин Л. И. Математический анализ. Т. 1, 2. — 2001.
• Киселёв В. Ю., Пяртли А. С., Калугина Т. Ф. Высшая математика. Первый семестр, Интерактивный компьютерный учебник.
• Маркушевич А. И. Теория аналитических функций. В 2 т. — Изд. 2-е. — М.: Наука, 1967. — Т. 1: Начала теории. — 486 с.
• Нарасимхан Р. Анализ на действительных и комплексных многообразиях. — пер. с англ. Е. М. Чирки. — М.: Мир, 1971. — 232 с.
• Петрова С. С., Романовска Д. А. К истории открытия ряда Тэйлора. // Историко-математические исследования. — М.: Наука, 1980. — № 25. — С. 10—24.
• Пискунов Н. С. Дифференциальное и интегральное исчисления для втузов. В 2 т. — Изд. 13-е. — М.: Наука, Главная редакция физико-математической литературы, 1985. — Т. 1. — 432 с.
• Пискунов Н. С. Дифференциальное и интегральное исчисления для втузов. В 2 т. — Изд. 13-е. — М.: Наука, Главная редакция физико-математической литературы, 1985. — Т. 2. — 560 с.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. В 3 т. — Изд. 8-е. — М.: ФИЗМАТЛИТ, 2003. — Т. I. — 680 с. — ISBN ISBN 5-9221-0156-0.

Формула Тейлора

Let us solve #y”+y=0# by Power Series Method.

Let #y=sum_{n=0}^inftyc_nx^n#, where #c_n# is to be determined.

By taking derivatives,

#y’=sum_{n=1}^inftync_nx^{n-1} Rightarrow y”=sum_{n=2}^inftyn(n-1)c_nx^{n-2}#

We can rewrite #y”+y=0# as

#sum_{n=2}^inftyn(n-1)c_nx^{n-2}+sum_{n=0}^inftyc_nx^n=0#

by shifting the indices of the first summation by 2,

#Rightarrow sum_{n=0}^infty(n+2)(n+1)c_{n+2}x^n+sum_{n=0}^inftyc_nx^n=0#

by combining the summations,

#Rightarrow sum_{n=0}^infty[(n+2)(n+1)c_{n+2}+c_n]x^n=0#,

#Rightarrow (n+2)(n+1)c_{n+2}+c_n=0#

#Rightarrow c_{n+2}=-{c_n}/{(n+2)(n+1)}#

Let us look at even coefficients.

#c_2={-c_0}/{2cdot1}=-c_0/{2!}#
#c_4={-c_2}/{4cdot3}={-1}/{4cdot3}cdot{-c_0}/{2!}=c_0/{4!}#
#c_6={-c_4}/{6cdot5}={-1}/{6cdot5}cdot c_0/{4!}=-{c_0}/{6!}#
.
.
.
#c_{2n}=(-1)^n{c_0}/{(2n)!}#

Let us look at odd coefficients.

#c_3={-c_1}/{3cdot2}=-{c_1}/{3!}#
#c_5={-c_3}/{5cdot4}={-1}/{5cdot4}cdot{-c_1}/{3!}={c_1}/{5!}#
#c_7={-c_5}/{7cdot6}={-1}/{7cdot6}cdot{c_1}/{5!}=-{c_1}/{7!}#
.
.
.
#c_{2n+1}=(-1)^n{c_1}/{(2n+1)!}#

Hence, the solution can be written as:

#y=sum_{n=0}^inftyc_nx^n#

by splitting into even terms and odd terms,

#=sum_{n=0}^inftyc_{2n}x^{2n}+sum_{n=0}^inftyc_{2n+1}x^{2n+1}#

by pluggin in the formulas for #c_{2n}# and #c_{2n+1}# we found above,

#=c_0sum_{n=0}^infty(-1)^n{x^{2n}}/{(2n)!}+c_1 sum_{n=0}^infty(-1)^n{x^{2n+1}}/{(2n+1)!}#

by recognizing the power series,

#=c_0 cosx+c_1 sinx#

---

I hope that this was helpful.

Степенные ряды в форме рядов Тейлора и Маклорена

Степенные ряды и, в частности, ряды Тейлора являются одним из видов функциональных рядов.

Степенной ряд в общем виде записывается как:

a0+a1(x−x0)+a2(x−x0)2+…+an(x−x0)n+…=∑k=0∞ak(x−x0)ka_0+a_1(x-x_0)+a_2(x-x_0)^2+ldots+a_n(x-x_0)^n+ldots=sumlimits_{k=0}^{infty} a_k(x-x_0)^k

где a0,a1,…,an,…a_0, a_1, ldots, a_n, ldots – постоянные, коэффициенты ряда,

x0x_0 – центр интервала сходимости ряда ∣x−x0∣<R|x-x_0|<R,

RR – радиус сходимости, когда для частичных сумм Sn(x)S_n(x) существует предел, сумма ряда S(x)S(x):

Sn(x)=a0+a1(x−x0)+a2(x−x0)2+…+an(x−x0)n,lim⁡n→∞Sn(x)=S(x)S_n(x)= a_0+a_1(x-x_0)+a_2(x-x_0)^2+ldots+a_n(x-x_0)^n, quad limlimits_{n to infty } S_n (x) = S (x)

Возьмем функцию действительной переменной f(x)f(x), которая является бесконечно дифференцируемой в точке x0x_0. Такую функцию можно разложить в степенной ряд следующего вида:

f(x)=f(x0)+f′(x0)1!(x−x0)+f′′(x0)2!(x−x0)2+…+f(n)(x0)n!(x−x0)n+…=∑k=0∞f(k)(x0)k!(x−x0)kf(x)=f(x_0)+dfrac{f{‘}(x_0)}{1!}(x-x_0) +dfrac{f{”}(x_0)}{2!}(x-x_0)^2 +ldots+dfrac{f^{(n)}(x_0)}{n!}(x-x_0)^n +ldots =sumlimits_{k=0}^{infty} dfrac{f^{(k)}(x_0)}{k!}(x-x_0)^k

Этот ряд по степеням двучлена (x−x0)(x-x_0) называют рядом Тейлора.

В случае x0=0x_0=0 полученный степенной ряд:

f(x)=f(0)+f′(0)1!x+f′′(0)2!(x−x0)2+…+f(n)(x0)n!(x−x0)n+…=∑k=0∞f(k)(x0)k!(x−x0)kf(x)=f(0)+dfrac{f{‘}( 0)}{1!} x +dfrac{f{”}(0)}{2!}(x-x_0)^2 +ldots+dfrac{f^{(n)}(x_0)}{n!}(x-x_0)^n +ldots =sumlimits_{k=0}^{infty} dfrac{f^{(k)}(x_0)}{k!}(x-x_0)^k

называют рядом Маклорена.

Ряд Тейлора можно записать в другом виде. Полагая:

x−x0=t,f(x)=f(x0+t)=g(t)x-x_0=t, quad f(x)=f(x_0+t)=g(t)

ряд Тейлора

f(x)=f(x0+t)=f(0)+f′(x0)1!t+f′′(x0)2!t2+…+f(n)(x0)n!tn+…=∑k=0∞f(k)(x0)k!tkf(x)=f(x_0+t)=f(0)+dfrac{f{‘}(x_ 0)}{1!} t +dfrac{f{”}(x_0)}{2!}t^2 +ldots+dfrac{f^{(n)}(x_0)}{n!}t^n +ldots =sumlimits_{k=0}^{infty} dfrac{f^{(k)}(x_0)}{k!}t^k

сводится к ряду Маклорена:

g(t)=g(0)+g′(0)1!t+…+g(n)(0)n!tn+…=∑k=0∞g(k)(0)k!tkg(t)=g(0)+dfrac{g{‘}( 0)}{1!}t +ldots+dfrac{g^{(n)}(0)}{n!}t^n +ldots =sumlimits_{k=0}^{infty} dfrac{g^{(k)}(0)}{k!}t^k

Как и в случае произвольного степенного ряда, ряды Тейлора и Маклорена имеют интервал сходимости.

Пример

Разложим в ряд Тейлора функцию:

f(x)=1xf(x)=dfrac{1}{x}

в окрестности точки x0=1x_0=1.

С помощью замены:

x−x0=x−1=tx-x_0=x-1=t

функция сводится к виду:

f(x)=f(t+1)=11+tf(x)=f(t+1)=dfrac {1}{1+t}

Полученное выражение при ∣t∣<1|t|<1 является суммой бесконечно убывающей геометрической прогрессии знаменателем (−t)(-t), и ряд записывается в виде:

11+t=1−t+t2−t3+…+(−1)ntn+…=∑k=0∞(−1)ktkdfrac {1}{1+t}=1-t+t^2-t^3+ldots+(-1)^{n}t^{n}+ldots =sumlimits_{k=0}^{infty} (-1)^{k}t^{k}

Возвращаясь к переменной xx, получаем разложение по степеням двучлена (x−1)(x-1):

1x=1−(x−1)+(x−1)2−(x−1)3+…+(−1)n(x−1)n+…=∑k=0∞(−1)k(x−1)k,∣x−1∣<1dfrac {1}{x}=1-(x-1)+ (x-1)^2-(x-1)^3+ldots+(-1)^{n}(x-1)^{n}+ldots =sumlimits_{k=0}^{infty} (-1)^{k}(x-1)^{k}, quad |x-1|<1

Формула Тейлора

Следствием разложения функции в степенной ряд является соответствующая формула Тейлора. Если функция f(x)f(x) имеет в точке x0x_0 производные до nn –го порядка включительно, то функцию f(x)f(x) можно представить с помощью формулы Тейлора:

f(x)=f(x0)+f′(x0)1!(x−x0)+…+f(n)(x0)n!(x−x0)n+Rn(x)f(x)=f(x_0)+dfrac{f{‘}(x_0)}{1!}(x-x_0) +ldots+dfrac{f^{(n)}(x_0)}{n!}(x-x_0)^n +R_n (x)

или

f(x)=∑k=0nf(k)(x0)k!(x−x0)k+Rn(x)f(x)= sumlimits_{k=0}^{n} dfrac{f^{(k)}(x_0)}{k!}(x-x_0)^k +R_n (x),

где функция Rn(x)R_n (x) называется остаточным членом.

Формы остаточного члена

Существует несколько форм для остаточного члена. В частности, если f(x)f(x) дифференцируема (n+1)(n+1) раз в окрестности x0x_0, то Rn(x)R_n (x) может быть представлена в форме Лагранжа:

Rn(x)=f(n+1)(ξ)(n+1)!xn+1,x<ξ<x0R_n (x)=dfrac {f^{(n+1)}(xi)}{(n+1)!} x^{n+1}, quad x<xi<x_0 или x<ξ<x0x<xi<x_0.

Если функция f(x)f(x) дифференцируема (n−1)(n-1) раз в окрестности x0=0x_0=0, то Rn(x)R_n(x) может быть представлена в форме Пеано:

Rn(x)=o((x−x0)n)R_n(x)=o((x-x_0)^n).

Учитывая, что ряд Тейлора можно свести к ряду Маклорена, запишем формулу Тейлора для основных элементарных функций в окрестности x0=0x_0=0 и укажем соответствующие интервалы сходимости.

Показательная функция:

ex=1+x1!+x22!+x33!+…+xnn!+o(xn),∣x∣<∞e^x=1+dfrac{x}{1!} +dfrac{x^2}{2!} +dfrac{x^3}{3!}+ldots+dfrac{x^n}{n!}+o(x^n),quad |x|<infty

Тригонометрические функции:

sin⁡x=x1!−x33!+x55!−x77!+…+(−1)n+1x2n−1(2n−1)!+o(x2n),∣x∣<∞sin x=dfrac{x}{1!} -dfrac{x^3}{3!} +dfrac{x^5}{5!} -dfrac{x^7}{7!} +ldots+dfrac{(-1)^{n+1}x^{2n-1}}{(2n-1)!}+ o(x^{2n}),quad |x|<infty

cos⁡x=1−x22!+x44!−x66!+…+(−1)n+1x2n(2n)!+o(x2n+1),∣x∣<∞cos x=1 -dfrac{x^2}{2!} +dfrac{x^4}{4!} -dfrac{x^6}{6!} +ldots+dfrac{(-1)^{n+1}x^{2n}}{(2n)!}+ o(x^{2n+1}),quad |x|<infty

arctg⁡x=x−x33+x55−x77+…+(−1)nx2n+12n+1+o(x2n+2),∣x∣≤1arctg x=x-dfrac{x^3}{3} +dfrac{x^5}{5} -dfrac{x^7}{7} +ldots+dfrac{(-1)^{n}x^{2n+1}}{2n+1}+ o(x^{2n+2}),quad |x|le{1}

Логарифмическая функция:

ln⁡(1+x)=x1!−x22!+x33!−…+(−1)n+1xnn!+o(xn),x∈(−1;1]ln (1+x)=dfrac{x}{1!} -dfrac{x^2}{2!} +dfrac{x^3}{3!} -ldots+dfrac{(-1)^{n+1}x^{n}}{n!}+ o(x^n),quad xin (-1;1]

Степенная функция:

(1+x)α=1+α1!x+α(α−1)2!x2+α(α−1)(α−2)3!x3+…+α(α−1)…(α−n+1)n!xn+o(xn)(1+x)^alpha=1+dfrac{alpha }{1!}x+dfrac{alpha (alpha -1)}{2!}x^2 +dfrac{alpha (alpha -1)( alpha -2)}{3!} x^3 +ldots+dfrac{alpha (alpha -1) ldots ( alpha-n+1)} {n!} {x^n}+ o(x^n)

Пример 1

Разложим, используя формулу Тейлора, функцию

f(x)=(x+1)ln⁡(x2+2x+2)f(x)=(x+1)ln (x^2+2x+2)

в окрестности точки x0=−1x_0=-1 с точностью до o((x+1)7)o((x+1)^7).

Выполнив замену переменной

x−x0=x+1=tx-x_0=x+1=t

получаем:

g(t)=tln⁡(1+t2)g(t)=tln(1+t^2)

Используя разложение логарифмической функции, получаем:

g(t)=t(t21!−(t2)22!+(t2)33!+o((t2)3))=t3−t52+t76+o(t7)g(t)=t left( dfrac{t^2}{1!}-dfrac{(t^2)^2}{2!}+dfrac{(t^2)^3}{3!}+o((t^2)^3) right)=t^3-dfrac{t^5}{2}+dfrac{t^7}{6}+o(t^7)

Выполняем далее обратную замену переменной:

f(x)=(x+1)3−(x+1)52+(x+1)76+o((x+1)7)f(x)= (x+1)^3-dfrac{(x+1)^5}{2}+dfrac{(x+1)^7}{6}+o((x+1)^7)

Пример 2

Разложим, используя формулу Тейлора, функцию

f(x)=(x2−4x)cos⁡(2x−4)f(x)=(x^2-4x)cos{(2x-4)}

в окрестности точки x0=2x_0=2 с точностью до o((x−5)5)o((x-5)^5).

Выполнив замену переменной:

x−x0=x−2=t,x=t+2x-x_0=x-2=t, quad x=t+2

получаем:

g(t)=(t2−4)cos⁡2tg(t)=(t^2-4)cos{2t}

Используя разложение тригонометрической функции, получаем:

g(t)=(t2−4)(1−(2t)22!−(2t)44!+o(t5))=(t2−4)(1−2t2+2t43+o(t5))g(t) =(t^2-4) left( 1-dfrac{(2t)^2}{2!}-dfrac{(2t)^4}{4!}+o(t^5) right) =(t^2-4) left( 1-2t^2+dfrac{2t^4}{3}+o(t^5) right)

Раскрываем скобки, ограничиваясь слагаемыми со степенью t не выше пяти:

g(t)=(t2−2t4)−(4−8t2+8t43+o(t5))=−4+9t2−143t4+o(t5)g(t) =(t^2-2t^4)- left( 4-8t^2+dfrac{8t^4}{3}+o(t^5) right) =-4+9t^2-dfrac{14}{3} t^4+o(t^5)

Выполняя обратную замену переменной, получаем:

f(x)=−4+9(x−2)2−143(x−2)4+o((x−2)5)f(x)=-4+9(x-2)^2-dfrac{14}{3}(x-2)^4+o((x-2)^5)

Применение формулы Тейлора при x, стремящемся к бесконечности

При необходимости представить функцию с помощью формулы Тейлора при x→∞x to infty с точностью до o(1xn)oleft( dfrac {1} {x^n}right), последовательно:

• выполняем замену переменной t=1xt=dfrac{1}{x};
• полученную функцию g(t)g(t) представляем с помощью формулы Тейлора с необходимой точностью;
• с помощью обратной замены переменных находим искомое выражение для f(x)f(x).

Пример

Разложим, используя формулу Тейлора, функцию

f(x)=2x−x2−1f(x)=2x-sqrt{x^2-1}

с точностью до o(1×3)oleft( dfrac {1} {x^3}right) при x→+∞x to +infty.

Выполнив замену переменной

t=1x,x=1tt=dfrac{1}{x}, quad x=dfrac{1}{t}

получаем:

g(t)=2t−1t2−1=2−(1−t2)1/2tg(t)=dfrac {2}{t}-sqrt {dfrac{1}{t^2}-1}=dfrac{2-(1-t^2)^{1/2}}{t}

Учитывая требуемую точность o(t3)o(t^3), используем разложение степенной функции в ряд Тейлора с точностью до o(t4)o(t^4):

g(t)=2−(1−t22−t48)+o(t4)t=1t+t2−t38+o(t3)g(t)=dfrac {2-left( 1-dfrac{t^2}{2}-dfrac{t^4}{8}right)+o(t^4)}{t}=dfrac{1}{t}+dfrac{t}{2}-dfrac{t^3}{8}+o(t^3)

Выполняя обратную замену переменной, находим:

f(x)=x+12x−18×3+o(1×3),x→+∞f(x)=x+dfrac{1}{2x}- dfrac {1}{8x^3}+ oleft( dfrac {1} {x^3}right), quad x to +infty

Применение формула Тейлора при вычислении пределов

С помощью разложения функции с использованием формулы Тейлора при вычислении пределов можно избавиться от неопределённостями различного вида. Проиллюстрируем использование формулы Тейлора на примере вычисления предела функции с неопределенностью вида (00)left( dfrac {0} {0}right).

Пример 1

Вычислим, используя формулу Тейлора, предел:

lim⁡x→1ex−ecos⁡(x−1)sin⁡(x−1)limlimits_{x to 1 } dfrac {e^{x}-e cos{(x-1)}}{sin {(x-1)}}

Заменим ex{e^{x}} и тригонометрические функции их разложениями в степенные ряды в окрестности x0=1x_0=1, находим:

lim⁡x→1ex−ecos⁡(x−1)sin⁡(x−1)=lim⁡x→1(e+e(x−1)+e(x−1)22!+e(x−1)33!+…)−e(1−(x−1)22!+…)(x−1)−(x−1)33!+…=elim⁡x→1(x−1)+(x−1)2+(x−1)36+…(x−1)−(x−1)36+…=elim⁡x→11+(x−1)+(x−1)26+…1−(x−1)26+…=elimlimits_{x to 1 } dfrac {e^{x}-e cos{(x-1)}}{sin {(x-1)}}=limlimits_{x to 1} dfrac {left(e+e(x-1)+dfrac{e(x-1)^2}{2!}+dfrac{e(x-1)^3}{3!} +ldots right)-eleft( 1-dfrac{(x-1)^2}{2!}+ ldots right)} {(x-1)-dfrac{(x-1)^3}{3!}+ ldots}= elimlimits_{x to 1 } dfrac {(x-1)+(x-1)^2+ dfrac{(x-1)^3}{6}+ldots} {(x-1)- dfrac{(x-1)^3}{6}+ldots} =e limlimits_{x to 1 } dfrac {1+(x-1) +dfrac{(x-1)^2}{6}+ldots} {1- dfrac{(x-1)^2}{6}+ldots} =e

Тест по теме «Формула и ряд Тейлора»