Степенной ряд и его область сходимости

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

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

Примеры. или .

Определение 2.Степенным рядом называется функциональный ряд вида

,

где коэффициенты действительные числа.

Отметим, что любая частичная сумма степенного ряда есть многочлен.

Определение 3.Областью сходимости степенного ряда называется множество тех и только тех точек x0ÎR, для которых соответствующий числовой ряд сходится.

Любой степенной ряд сходится в точке x=0.

Теорема Абеля.Если степенной ряд сходится в некоторой точке , то он сходится, и притом абсолютно, для любого xÎR такого, что (без доказательства).

Теорема Абеля помогает описать, какой вид может иметь область сходимости степенного ряда. Логически возможны 3 случая:

1) ряд сходится только в точке x=0, например ряд ;

2) ряд сходится в каждой точке xÎR, например ряд ;

3) существует точка , в которой ряд сходится, и существует точка , в которой ряд расходится.

В третьем случае можно доказать: существует такое положительное число R, называемое радиусом сходимости степенного ряда, что:

1) для любого xÎR такого, что , ряд абсолютно сходится;

2) для любого xÎR такого, что , ряд расходится.

Определение 4.Интервалом сходимости степенного ряда называется интервал , где R - радиус сходимости этого ряда.

Замечание.В концах интервала сходимости степенной ряд может как сходиться, так и расходиться.

Задача 1.Найти область сходимости степенного ряда .

Решение.Применим признак Даламбера. Данный ряд будет абсолютно сходиться, если и расходиться, если .

Имеем: . Следовательно, ряд абсолютно сходится, если ½x½<1, т.е. на интервале (-1;1).

Исследуем сходимость данного ряда в концах интервала сходимости.

Если x=1, то получаем числовой ряд , который расходится, как гармонический ряд.

Если x=-1, то получаем знакочередующийся ряд , который сходится по теореме Лейбница, но условно, так как расходится ряд из модулей.

Ответ.Область сходимости ряда - промежуток [-1;1).

Сумма степенного ряда есть функция, определенная на интервале сходимости степенного ряда. Обозначим эту функцию S(x).

Пусть- радиус сходимости ряда . Тогда:

1) сумма степенного ряда непрерывна на интервале ;

2) степенной ряд можно почленно дифференцировать, т.е.

если , то для любого ;

3) степенной ряд можно почленно интегрировать, т.е. для любого отрезка , лежащего в интервале сходимости , имеет место равенство: