Сходимость степенных рядов

Область сходимости степенного ряда всегда содержит, по крайней мере, одну точку для ряда (6.2) или для ряда (6.3).

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

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

Ряд (6.2) перепишем в виде

и рассмотрим ряд из модулей его членов:

. (6.4)

Члены этого ряда меньше соответствующих членов ряда . Последний ряд представляет собой геометрическую прогрессию и сходится, если его знаменатель , т.е. ; следовательно, по признаку сравнения будет сходиться ряд (6.4), а значит ряд (6.2) сходится абсолютно.

Следствие. Если ряд (6.2) расходится при некотором значении , то он расходится для всех таких, что .

Действительно, допустим, что ряд (6.2) сходится в точке и , тогда по теореме Абеля ряд сходится при всех , для которых , и, в частности, в точке , что противоречит условию.

Из теоремы Абеля следует, что существует такое число , что при ряд (6.2) сходится, а при – расходится. Число называют радиусом сходимости степенного ряда, а интервал – интервалом сходимости. На концах интервала сходимости, т.е. при и , ряд может как сходиться, так и расходиться.

Замечания:

1. При степенной ряд (6.2) сходится только в одной точке .

При ряд сходится на всей числовой оси.

2. Интервал сходимости степенного ряда (6.3) находят из неравенства ; он имеет вид: .

3. Область сходимости удобно находить, применяя признак Даламбера для ряда из модулей.

Пример 6.1. Найти область сходимости ряда .

Решение. Применим признак Даламбера для ряда из модулей:

, .

Ряд абсолютно сходится, если , , или .

При имеем ряд: .

При имеем ряд: .

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

Таким образом, область сходимости исходного ряда есть интервал .

Пример 6.2. Найти область сходимости ряда .

Решение. Применим признак Даламбера для ряда из модулей:

.

Следовательно, ряд абсолютно сходится, если , или , т.е. .

При имеем ряд , который является сходящимся ().

При получаем знакочередующийся ряд , который сходится абсолютно. Таким образом, область сходимости данного ряда .

Пример 6.3. Найти область сходимости ряда .

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

.

Так как для любого , то исходный ряд сходится абсолютно на всей числовой оси.

Пример 6.4. Найти область сходимости ряда .

Решение. К ряду из модулей применим признак Даламбера.

при .

Отсюда, степенной ряд сходится только в одной точке .

Перечислим свойствастепенных рядов, не доказывая их.

1. Сумма степенного ряда (2.2) является непрерывной функцией в интервале сходимости.

2. Степенной ряд можно почленно интегрировать в интервале сходимости:

.

3. В интервале сходимости степенной ряд можно почленно дифференцировать:

.

При этом после интегрирования и дифференцирования полученные ряды имеют тот же радиус сходимости.

Примеры для самостоятельного решения

Найти область сходимости степенных рядов:

1. . 2. . 3. . 4. .

Ответы: 1. . 2. . 3. . 4. .

Дата добавления: 2015-07-17