Лекция 18.
Степенные ряды. Ряды Тейлора и Маклорена.
Вопросы:
1. Степенные ряды. Теорема Абеля.
2. Понятие радиуса и интервала сходимости степенногоряда.
3. Ряды Тейлора и Маклорена.
4. Разложение в ряд Маклорена элементарных функций.
5. Применение рядов к приближенным вычислениям.
6. Ряды Фурье.
Степенные ряды. Теорема Абеля
Определение 8.13. Степенным рядом называется функциональный ряд
а 0 +а 1 х+а 2 х ² +…+аnхⁿ+…, (8.17)
или
а 0 +а 1(х-х 0) +а 2(х-х 0)² +…+аn (х-х 0) ⁿ+…
Членами ряда (8.17) являются степенные функции un = аnхⁿ, где аn — некоторые постоянные величины, которые называются коэффициентами данного ряда.
Если х =0, то сумма ряда (8.17) равна а 0, следовательно область сходимости любого степенного ряда является непустым множеством.
Теорема 8 ( Абеля). Если степенной ряд (8.17) сходится при х=х0≠ 0, то он сходится абсолютно при любых значениях х, для которых имеет место неравенство
ç х ç < ç х 0ç.
Из этой теоремы следует, что степенные ряды сходятся на интервале (-R,R), где число R> 0 таково, что при ç х ç <R ряд (8.17) сходится, при ç х ç >R — расходится.
Определение 8.14. Число R называют радиусом сходимости степенного ряда (8.17).
Определение 8.15. Интервал (-R;R), внутри которого степенной ряд сходится, а вне его расходится, называется интервалом сходимости степенного ряда.
Замечание. Для степенных рядов интервал сходимости
(х 0 –R,х 0 +R).
Применяя признак Даламбера (или радикальный признак) к ряду ç а 0ç + ç а 1 х ç +…+ ç аnхⁿ ç +..., получим формулы для вычисления радиуса сходимостистепенного ряда:
,
(или из радикального признака Коши):
.4
Пример 8.11. Найти область сходимости степенного ряда
(8.18)
Решение. Так как , то .
Интервал сходимости х є(- 1, 1), ряд расходится при .
Таким образом, чтобы найти область сходимости и расходимости, надо провести исследование при х =±1, т.е. на концах интервала сходимости.
Подставив х= 1, получим числовой ряд , который по признаку Лейбница сходится. При х= -1 получим — расходящийся гармонический ряд.
Итак, область сходимости ряда — промежуток (-1,1], область расходимости —
(-∞,-1] È (1,+∞).
Свойства степенных рядов
Теорема 8. Сумма степенного ряда s (x) определена и непрерывна для всех х, принадлежащих интервалу сходимости.
Теорема 9. Если степенной ряд а 0 +а 1 х+…+аnхⁿ+…=s (x) сходится в интервале (-R,R), то ряд, полученный почленным дифференцированием членов этого ряда имеет тот же интервал сходимости и
а 1 + 2 а 2 х+…+nаnхⁿ־¹+…=S¢ (x).
Теорема 10. Степенной ряд можно почленно интегрировать в области сходимости.
Пример 8.12. Найти сумму S (x) ряда
Решение. Продифференцируем почленно этот ряд, при этом получим ряд:
.
Следовательно, и +C. Так как S (0)=0, то С =0 и S (x)=ln|1- х|.
Таким образом, ln | 1 -х|= при х є(- 1,1).
Подставив, например, , можно найти сумму числового ряда
Ряды Маклорена и Тейлора
В последнем примере показано, что некоторая функция может быть записана в виде степенного ряда. Возможно, ли решить обратную задачу — по заданной функции найти степенной ряд (разложить функцию f (x)в степенной ряд).
Определение 8.16. Если функция f (x)бесконечно дифференцируемав окрестности точки х 0, то можно записать степенной ряд вида
, (8.19)
который называется рядом Тейлора для функции f (x).
Если х 0=0, то ряд (8.19) называется рядом Маклорена и имеет вид:
Определение 8.17. Формула называется формулой Маклорена.
Соответственно, формулой Тейлора является формула:
.
Как указано ранее (п. 8.3.1), остаточный член Rn (х) также является рядом, но его можно задать в другом виде:
Замечание. Для любой элементарной функции существует х 0и R, такие, что в интервале (хо-R,хо+R) она может быть разложена в ряд Тейлора или, если х 0=0, в ряд Маклорена.