что значит разложить в ряд тейлора

Ряд Тейлора. Ряды Маклорена.

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

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

Определение ряда Тейлора.

Функция f(x) бесконечно дифференцируется в некоторой окрестности т.a:

Этот ряд называется рядом Тейлора функции f в т.a.

Свойства ряда Тейлора.

Если f есть аналитическая функция во всякой точке a, то ряд Тейлора этой функции во всякой точке a области определения f сходится к f в некоторой окрестности a.

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

У этой функции каждые производные в 0 равны нулю, поэтому коэффициенты ряда Тейлора в точке a=0 равны 0.

Если у функция f(x) есть непрерывные производные вплоть до (n+1)-го порядка, то эту функцию можно разложить в степенной ряд по формуле Тейлора:

где R_n − остаточный член в форме Лагранжа определяют так:

Если это разложение сходится в некотором интервале x, т.е. , значит, оно является рядом Тейлора, который представляет разложение функции f (x) в т.a.

Если a = 0, значит, это разложение является рядом Маклорена:

Ряды Маклорена некоторых функций.

1. Экспонента: ,

Источник

Решение пределов, используя ряд Тейлора

Метод решения

Этот метод применим, если после выполнения пункта 1), функции в числителе и знаменателе можно разложить в степенной ряд.

Применяемые свойства о малого

Определение и доказательство свойств о малого приводится на странице: «О большое и о малое. Сравнение функций». Здесь мы приводим свойства, используемые при решении пределов разложением в ряд Маклорена (то есть при ).

Разложение элементарных функций в ряд Тейлора (Маклорена)

Примеры

Все примеры Далее мы приводим подробные решения следующих пределов с помощью ряда Тейлора.
⇓, ⇓, ⇓, ⇓, ⇓.

Пример 1

Все примеры ⇑ Вычислить предел последовательности, используя разложение в ряд Тейлора.
.

Пример 2

Все примеры ⇑ Показать, что значение второго замечательного предела можно получить, используя разложение в ряд Тейлора.

Вычисляем предел в показателе, используя следующее разложение в ряд Тейлора:
.
.

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

Пример 3

Все примеры ⇑ Вычислить предел, используя разложение в ряд Тейлора.
.

Раскладываем с точностью до квадратичных членов:
;
.
Делим числитель и знаменатель на и находим предел:
.

Пример 4

Все примеры ⇑ Решить предел с помощью ряда Тейлора.
.

Подставляем в исходную функцию.

.
Находим предел.
.

Пример 5

Все примеры ⇑ Найти предел с помощью ряда Тейлора.
.

Будем проводить разложение числителя и знаменателя в ряд Маклорена до четвертой степени включительно.

Подставляем разложение числителя и знаменателя и находим предел.
;
.

Использованная литература:
Л.Д. Кудрявцев, А.Д. Кутасов, В.И. Чехлов, М.И. Шабунин. Сборник задач по математическому анализу. Том 1. Москва, 2003.

Источник

Расчеты

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

Разложения в ряд

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

Рассмотрим, к примеру, функцию – обратный гиперболический косинус – и представим, не рисуя, как выглядит его график. Для этого смотрим поведение функции в нуле и на бесконечности. Вблизи нуля f (x) аппроксимируется откуда легко получить, что при x = 0 f (x) = 1 и затем спадает как парабола в обоих направлениях. При очень больших эта функция Теперь понятно, что sech(x) спадает от нуля экспоненциально, так что в целом функция выглядит как стог сена.

Теорема Тейлора: если функция f (x) имеет все производные в точке x = a, то для x вблизи a эту функцию можно приближенно представить в виде ряда:

Maple может разложить в ряд Тейлора специальные функции.

(c) К(х) (полный эллиптический интеграл EllipticK ),

Разложение функции Бесселя K 0 (x) около x = 0.

Сделайте то же для следующих функций:

(b) ,

(c)

Вместо 3 попробуйте другие цифры в команде series и посмотрите, что это означает.

Источник

Что значит разложить в ряд тейлора

Таким образом, на интервале (-a,a) для функции e x выполнены условия теоремы 7 (x₀ = 0) и, следовательно, функция e x раскладывается в ряд Тейлора на любом конечном интервале, а потому и на всей числовой оси. Заметив, что в данном случае f (n) (0) = 1, получим (см. (32.47))

e x =x n /n!.

e z =z n /n!

= , z₁ C , z₂ C .

Действительно, ряды, полученные из (32.51) при z = z₁ и z = z₂, абсолютно сходятся, поэтому их можно почленно перемножить; так как получившийся при этом ряд также абсолютно сходится, то его члены можно располагать в произвольном порядке. Соберем все члены, содержащие произведения степеней z₁ и z₂ с одинаковой суммой показателей, равной n, расположим эти группы по возрастанию n, а затем умножим и разделим их на 1/n!:

= = =
= = = .

Сложив и вычтя равенства (32.50) и (32.53), а затем деля их на 2, получим

В правых частях этих формул в силу единственности разложений функций в степенные ряды стоят ряды Тейлора соответственно функций ch x и sh x.
Поскольку функция e z определена для всех комплексных значений аргумента z, то на существенно комплексные значения аргумента можно распространить и гиперболические функции ch x и sh x, положив

sin x =(-1) k .

Рассуждая аналогично для cos x и вспоминая его формулу Тейлора, получим

cos x =(-1) k .

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

sin z =(-1) k ,

cos z =(-1) k .

Сравнив эти формулы с (32.58) и (32.59), видим, что

В силу определения ch z и sh z для комплексных значений переменной z (см. выше) формулы (32.61) можно записать в виде

ch z = ch i = cos, sh z = sh i= isin.

Из формул (32.61) непосредственно следует также формула

Формулы (32.61) и (32.62) называются формулами Эйлера. Они, конечно, справедливы и для действительных значений z.
Если в формуле (32.62) z = — действительное число, то

cos + isin = .

Отсюда следует, что модуль комплексного числа вида , R , равен 1:

= (cos 2 + isin 2 ) 1/2 = 1.

Из формулы (32.63) следует также, что комплексное число z с модулем r и аргументом , т. е.
z = r(cos + isin ), можно записать в виде

z = .

cos 2 + isin 2 = 1.

то для любого z имеем

Отсюда следует, что обратная к функции e z функция, обозначаемая ln z и определяемая равенством

является в комплексной области многозначной функцией. Имея для комплексного переменного понятие экспоненциальной функции e z и логарифмической функции ln z, можно для любых комплексных чисел z и w определить степень

Упражнение. Доказать, что все значения i i являются действительными числами.
Из того, что функция e z имеет период 2i, вытекает, что функции cos z и sin z остаются периодическими с периодом 2 и для комплексных значений аргумента:

Аналогично sin (z + 2) = sin z, z C .
Замечание. Понятие функции комплексной переменной бывает полезно использовать и при изучении функций действительного аргумента, принимающих только действительные значения. Покажем это на примере вычисления интеграла . Применив формулу Эйлера

,

=

(ср. с вычислением этого интеграла в п. 22.4).
4. Разложение в ряд ln(1 + x). Согласно формуле Тейлора

Запишем остаточный член r_n(x) этой формулы в виде Лагранжа. Так как

r_n(x) = , 0

r_n(x) = 0, 0

Из (32.64) и (32.65) следует, что для всех x (-1,1] справедливо разложение

ln (1 + x) = (-1) n+1 x n /n.

(-1) n+1 x n /n = , |x| >1.

Если воспользоваться второй теоремой Абеля (п. 32.1), отмеченной звездочкой, как необязательной при сокращенной программе, то разложение функции ln (1 + x) в степенной ряд можно получить косвенным, но более коротким путем. Рассмотрим следующий ряд, представляющий собой сумму членов бесконечно убывающей геометрической прогрессии:

или, записав правую часть с помощью знака суммирования,

ln (1 + x) = (-1) n+1 x n /n.

При этом, согласно указанной теореме, ряд в правой части этого равенства сходится на интервале (-1,1), а по признаку Лейбница (теорема 9 из п. 30.5) он сходится и в точке x = 1. Следовательно, согласно второй теореме Абеля (теорема 3* из п. 32.1), сумма ряда ln (1 + x) = (-1) n+1 x n /n непрерывна на отрезке [0,1]. Но так как функция ln (1 + x) также непрерывна на этом отрезке, а на интервале (-1,1) совпадает с суммой рассматриваемого ряда, то, устремив x к 1, получим, что функция ln (1 + x) и сумма ряда (-1) n+1 x n /n совпадают и при x = 1. Таким образом, мы снова пришли к разложению функции ln (1 + x) в степенной ряд на промежутке (-1,1] (см. (32.66)).
5. Разложение в степенной ряд степени бинома . Формула Тейлора для функции имеет вид

1 + ( — 1). ( — n + 1)x n /n!.

Если является натуральным числом, то этот ряд содержит лишь конечное число членов, не равных 0, и превращается в известную формулу бинома Ньютона

Будем предполагать, что не является натуральным числом и что x0, тогда все члены ряда (32.69) не равны 0. Исследуем его абсолютную сходимость с помощью признака Даламбера. Положив

u_n = |( — 1). ( — n + 1)x n /n!|.

u_n+1/u_n = | — n||x|/(n + 1) = |x|.

Следовательно, ряд (32.69) абсолютно сходится при |x| 1. Докажем, что суммой ряда (32.69) на интервале (-1,1) является функция . Для этого исследуем остаточный член r_n(x) в формуле Тейлора (32.68), записав его в виде Коши. Поскольку

[] (n + 1) = ( — 1). ( — n),

Сомножитель a_n(x) является членом биномиального ряда с показателем — 1, и так как выше было показано, что любой биномиальный ряд сходится на интервале (-1,1), то

a_n(x) = 0.

Далее, из неравенств

= 1 + ( — 1). ( — n + 1)x n /n!.

Ряд, стоящий в правой части равенства, имеет радиус сходимости R = 1, и поэтому его можно почленно интегрировать на интервале (-1,1)

При подстановке в разложение функции в ряд какого-либо фиксированного значения переменной получается формула для суммы соответствующего числового ряда. Так, подставив в ряд (32.75) x = 1 и заметив, что arctg 1 = /4, получим

/4 =(-1) n /(2n + 1).

7. Разложение arcsin x. Заметив, что

разложим (arcsin x)‘ в ряд по формуле разложения степени бинома (см. 32.72)

Радиус сходимости получившегося ряда, как для всякого биномиального ряда, равен единице. Интегрируя получившийся ряд от нуля до x, |x|

Источник