
Любой степенной ряд сходится при значении х=0. Есть степенные ряды,
которые сходятся только при х=0 и расходятся при остальных значениях х. Этот
случай может быть иллюстрирован рядом
1 + х + 2
2
х
2
+ ... + n
n
x
n
+ ...;
действительно, если х фиксировано и х
≠ 0, то начиная с достаточно большого n,
будет |nx|>1, откуда вытекает неравенство |n
n
x
n
|>1, означающее, что общий член
ряда не стремится к нулю.
Область сходимости может состоять из всех точек оси Ох, другими
словами, ряд может сходится при всех х.
Пример.
Рассмотрим ряд
KK +++++
n
n
n
xx
x
2
2
2
1
.
Для любого х, начиная с достаточно большого n, будет 1<
n
x
. Так как
2211
2
,
1
++++
<
+
<
+
nnnn
n
x
n
x
n
x
n
x
и т. д., то, начиная с номера n, члены ряда по
абсолютной величине будут меньше членов сходящейся геометрической
прогрессии. Следовательно, при любом х ряд сходится.
Область сходимости ряда может состоять более чем из одной точки оси Ох,
причем есть точки оси, не принадлежащие области сходимости.
Например, ряд 1 + х + х
2
+ ... + х
n
+ ... , представляющий геометрическую
прогрессию со знаменателем х, сходится при |x|<1 и расходится при |x|
≥1.
Из теоремы Абеля и ее следствия получаем, что все точки сходимости
расположены от начала координат не дальше, чем любая из точек расходимости.
Совершенно ясно, что точки сходимости будут целиком заполнять некоторый
интервал с центром в начале координат.
Таким образом, можно сказать, что для каждого степенного ряда, имеющего
как точки сходимости, так и точки расходимости, существует такое
положительное число R, что для всех х, по модулю меньших R (|x|<R), ряд
абсолютно сходится, а для всех х, по модулю больших R (|x|>R), ряд расходится.
Что касается значений х = R и х = - R, то здесь могут быть различные
возможности: ряд может сходится в обеих точках, или только в одной из них, или
ни в одной. При этом ряд может сходиться как абсолютно, так и условно.
Определение.
Радиусом сходимости степенного ряда (9.1) называется такое число R, что
для всех х, |x|<R, степенной ряд сходится, а для всех х,|x|>R, расходится.
Интервал (-R, R) называется интервалом сходимости.
Условимся для рядов, расходящихся при всех х, кроме х=0, считать R=0, а
для рядов, сходящихся при всех х, считать R=
∞.
Теорема.
Если все коэффициенты степенного ряда, начиная с некоторого, отличны от
нуля, то его радиус сходимости равен пределу при n
→∞ отношения абсолютных
величин коэффициентов общего и следующего за ним членов ряда.
Доказательство.
Составим ряд из абсолютных величин членов ряда (9.1)