5. Ряд Тейлора

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

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

. Положим , тогда.

. .

. .

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

.

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

, его принято называть рядом Маклорена. Напомним, что эти ряды получены в предположении, что - сумма степенного ряда их - точка интервала сходимости.

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

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