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

Как показывает следующая теорема, разложение функции в степенной ряд един­ственно.

Теорема 6. Если функция f(х) на интервале ( — R, R) разлагается в степенной ряд

, (8)

то это разложение единственно.

Доказательство. По условию ряд (8) сходится на ин­тервале (— R, R) и функция f(х) — его сумма. Следовательно, на основании теоремы 14.14 ряд (8) можно почленно дифференци­ровать на интервале (— R, R) любое число раз. Дифференцируя, получаем

Полагая в полученных равенствах и в равенстве (8) , имеем

откуда находим

(9)

Таким образом, все коэффициенты ряда (8) определяются единст­венным образом формулами (9), что и доказывает теорему.

Подставляя полученные выражения коэффициентов в равенство (8), получаем

Итак, если функция разлагается в степенной ряд, то этот ряд имеет вид

(10)

Ряд (10) называется рядом Маклорена для функции f(х).

Пусть теперь f(х) — произвольная бесконечно дифференциру­емая функция. Для нее можно составить ряд (10). Установим, при каких условиях сумма ряда (10) совпадает с функцией f(х). Ответ на этот вопрос можно получить с помощью формулы Маклорена. Из математического анализа известно, что для любой бесконечно дифференци­руемой функции справедлива формула Маклорена

,

где остаточный член

. (11)

Если обозначить через частичную сумму ряда Маклорена, то формулу Маклорена можно записать так:

. (12)

Имеет место следующая теорема.

Теорема 7. Для того чтобы ряд Макларена (10) схо­дился на ( — R, R) и имел своей суммой функцию f(x), необходимо и достаточно, чтобы на (—R, R) остаточный член R_n(x) формулы Маклорена (11) стремился к нулю при , т. е. для любого .

Доказательство. Необходимость. Пусть функция f(x) — сумма ряда Маклорена на

( — R, R), т. е. . Тогда из равенства (12) следует, что для любого .

Достаточность. Пусть для любого . Тогда из равенства

(12) следует, что , т. е. . Это и означает, что ряд Маклорена (10) сходится на (— R, R) и его сумма равна f(х). Теорема доказана.

Из теоремы вытекает, что вопрос о разложении функции в ряд Маклорена сводится к исследованию поведения остаточного члена R_n(x) при .

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

Дата добавления: 2014-01-11