Для функции , имеющей все производные до -го порядка включительно, в окрестности точки справедлива формула Тейлора /5/:
. (3.20)
Остаточный член формулы Тейлора может быть вычислен по формуле:
, (3.21)
где – некоторая точка между и , т.е. для некоторого .
При формула (3.20) называется формулой Маклорена.
Если функция имеет производные всех порядков в окрестности точки , то в формуле Тейлора (3.20) число можно брать сколь угодно большим. Допустим, что в рассматриваемой окрестности остаточный член стремится к нулю при , т.е. . Тогда, переходя в формуле (3.20) к пределу при , получим справа бесконечный ряд, который называется рядом Тейлора:
(3.22)
При получаем ряд, который называется рядом Маклорена:
(3.23)
Формулы (3.22) и (3.23) справедливы лишь в том случае, если при . В этом случае ряды справа сходятся и их сумма равна данной функции . Докажем, что это действительно так.
Теорема 3.5. Для того чтобы ряд Тейлора (3.22) сходился на и имел своей суммой функцию , необходимо и достаточно, чтобы на остаточный член формулы Тейлора (3.20) стремился к нулю при , т.е. для любого .
Доказательство
1) Необходимость. Пусть функция – сумма ряда Тейлора на , т.е. , где – -я частичная сумма ряда (3.20).
Формулу Тейлора (3.20) можно представить в виде:
, (3.24)
где -й остаток ряда определяется формулой (3.21). Из равенства (3.24) следует, что для любого .
2) Достаточность. Пусть для любого . Тогда из равенства (3.24) следует, что , т.е. . А это означает, что ряд Тейлора (3.22) сходится на интервале , и его сумма для любого x из этого интервала равна: .
Из доказательства теоремы 3.4 следует, что если функция разлагается в ряд Тейлора (степенной ряд), то это разложение единственное.
Если , то ряд не представляет данной функции, хотя может и сходиться (к другой функции). Поэтому, для того чтобы доказать, что формально выписанный ряд Тейлора сходится к данной функции, нужно доказать, что остаточный член стремится к нулю.
Рассмотрим разложение в ряд Маклорена некоторых элементарных функций.
Пример 3. Разложить в ряд Маклорена функцию: .
Решение. Найдём производные функции и вычислим их при :
, , …, , …
Значит, , , …, , … В результате, получаем ряд:
(3.25)
Покажем, что полученный ряд сходится к функции . Найдём интервал сходимости степенного ряда (3.25):
,
следовательно, ряд (3.25) абсолютно сходится на всей числовой прямой.
Докажем теперь, что функция – сумма ряда (3.25). Остаточный член
,
где число лежит между 0 и . Отсюда следует, что
. (3.26)
Так как ряд (3.25) сходится, то используя необходимый признак сходимости ряда (теорема 3.1), можно записать: , тогда и .
Поэтому, переходя к пределу в неравенстве (3.26) при , получаем, что
при любом и, следовательно, функция является суммой ряда (3.25).
Таким образом, при любом имеет место разложение:
В общем случае разложение в степенные ряды основано на использовании рядов Тейлора или Маклорена. Но на практике степенные ряды многих функций можно найти формально, используя известные разложения (например, как для функции ) или формулу для суммы членов геометрической прогрессии. Иногда при разложении полезно пользоваться почленным дифференцированием или интегрированием рядов. В интервале сходимости ряды сходятся к соответствующим функциям.
Пример 4. Разложить в ряд Маклорена функцию: f(x) = chx.
Решение. Так как chx, то воспользуемся разложением:
,
где вместо подставляем , тогда
Полученный ряд сходится при любых .
Теперь найдём разложение функции chx:
chx
.
Таким образом,
chx ,
причём ряд сходится при любом .
Пример 5. Рассмотрим ряд: Данный ряд является суммой членов геометрической прогрессии с первым членом и знаменателем . Как известно, при данный ряд сходится и его сумма равна . Следовательно,
(3.27)
Данное равенство является разложением функции в степенной ряд (ряд Маклорена) на интервале .
Пример 6. Рассмотрим функцию . Используя разложение (3.27), можно записать:
Полученный ряд сходится при , значит, его можно почленно интегрировать на любом отрезке . Следовательно,
.
С другой стороны,
arctg arctg x,
поэтому
arctg x,
т.е. получили ряд Маклорена, сходящийся к данной функции при . Можно доказать, что ряд сходится и для , и что для обоих этих значений сумма ряда равна arctg x.
Пример 7. Разложить функцию: в ряд Маклорена.
Решение. Найдём производные:
, , …, ,
откуда, полагая , получаем:
, , , , , …
Составим по формуле (3.23) ряд Маклорена:
(3.28)
Найдём радиус сходимости степенного ряда (3.28):
,
т.е. ряд (3.28) сходится абсолютно при любом . Исследуем остаточный член:
,
где , . Так как , то . А так как (см. пример 3), то при любом . Следовательно,
,
т.е. получили ряд, сходящийся к функции при любом .
Аналогично можно получить разложение функции в ряд Маклорена, справедливое при любом . Однако ещё проще разложение получается почленным дифференцированием ряда для :
откуда
Аналогично можно получить разложения в степенные ряды многих других функций. Выпишем ряды Маклорена для некоторых элементарных функций, которые чаще всего используются в приближённых вычислениях:
, (3.29)
chx , (3.30)
shx , (3.31)
, (3.32)
, (3.33)
, (3.34)
arctgx , (3.35)
, (3.36)
, (3.37)
. (3.38)
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.