ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.10.2024
Просмотров: 103
Скачиваний: 0
§ 3. КРУГ СХОДИМОСТИ РЯДА |
107 |
расходится. |
Будем доказывать вторую |
часть |
теоремы |
|
от противного. Возьмем |
некоторое г, |
для |
которого |
|
| z | > | 2 0 | , и |
допустим, что |
ряд |
|
|
a0 + a1z + ... + anzn + ...
сходится. Но тогда из сходимости этого ряда, согласно первой части теоремы, должен сходиться и ряд (6.5), что противоречит предположенному.
§ 3. Круг сходимости ряда
Теперь мы можем достаточно точно описать области сходимости степенных рядов.
Рассмотрим все значения г, при которых степенной
ряд |
|
a0 + a1z + ... + anZ" + ... |
(6.6) |
||
|
|
||||
расходится. Пусть |
R — точная |
нижняя |
граница модулей |
||
этих |
чисел |
(иными |
словами, |
число R таково, что для |
|
любого z, для которого \z\<LR, |
ряд (6.6) уже сходится; |
||||
такое |
число |
существует, потому что всякая убывающая |
последовательность модулей ограничена снизу (нулем)).
Тогда по доказанному в § 2 при \z\>R |
|
ряд |
(6.6) |
||||||||
расходится, |
а по определению числа R |
при |
\z\<.R |
||||||||
ряд (6.6) |
сходится. |
|
|
|
|
|
|
|
|||
Таким образом, для каждого степенного ряда суще |
|||||||||||
ствует такое |
вещественное |
неотрицательное |
число |
R, |
|||||||
что при |
\z\<R |
ряд |
|
|
|
|
|
|
|||
|
|
|
a0 + a1z + |
...-\-a,lzn+... |
|
|
|
||||
сходится, |
а |
при |
| z | > / ? расходится. |
|
|
|
|||||
Множество всех |
комплексных |
чисел, |
для |
которых |
|||||||
I z I < R, |
образует. на |
плоскости комплексных чисел круг |
|||||||||
радиуса |
R с |
центром |
в точке 0. |
Этот круг называется |
|||||||
кругом |
сходимости |
данного |
ряда. |
|
|
|
|
||||
Радиус R круга сходимости называется |
радиусом |
||||||||||
сходимости. |
|
|
|
|
|
|
|
|
|
||
Заметим, |
что, |
говоря о |
круге |
сходимости |
ряда, |
мы |
имеем в виду сходимость ряда для всех точек внутри круга и расходимость его для всех точек, лежащих вне круга. Вопрос же о поведении ряда для тех значений z, ко торые лежат на самой окружности, является значительно
108 ГЛ. 6. СТЕПЕННЫЕ РЯДЫ. ОБЩИЕ ВОПРОСЫ
более деликатным, |
и ответ |
на него |
обычно |
связан |
||
с более или менее сложным |
анализом |
индивидуальных |
||||
свойств конкретного |
ряда. |
|
|
|
||
П р и м е р . |
Рассмотрим ряд |
|
|
|
||
> _ z 4 - i Z 3 — і г з + |
. . . + |
(_1)" 1 г п + . . . |
(6.7) |
|||
При г =—1 |
мы получаем |
гармонический ряд |
|
который расходится. Следовательно, по второй части теоремы Абеля радиус1 сходимости этого ряда не превосходит единицы: A g i .
С другой стороны, при г = 1 мы из (6.7) получаем знакопере менный ряд
который сходится. Следовательно, по первой части теоремы Абеля радиус сходимости ряда (6-.7) не меньше единицы: R > 1.
Объединяя сказанное, мы получаем, что радиус сходимости ряда (6.7) равен единице: 7? = 1.
Нам остается выяснить сходимость ряда (6.7) на самом круге сходимости, т. е. для тех значений г, для которых
М = 1.
Возьмем такое г и представим его в тригонометрической форме:
|
z = cos ф + |
i sin ф. |
|||
Ряд (6.7) при этом приобретает вид |
|
||||
^— cos ф-f-1 cos 2ф — c o s |
Зф-f-...j |
+ |
|||
|
+ |
t |
sin ф |
sin 2 ф — s i n З ф + . . . j . |
|
Как было обнаружено |
в |
§ 7 главы |
1 при помощи довольно спе |
||
цифических вычислений, ряд |
|
|
|
||
sin ф — s i n |
2ф-(-1 sin Зф— ... |
||||
при всех — п < ф < л |
сходится |
и имеет суммой 1/2ф. В силу |
|||
аналогичных соображений |
при всех |
— я < ф < л сходится и ряд |
|||
Cos ф — |
~ |
cos 2ф +• ~ |
cos Зф —.... |
||
и тем самым ряд (6.7). |
|
|
|
|
|
§ 4. ВЕЩЕСТВЕННЫЙ СТЕПЕННОЙ РЯД |
109 |
Таким образом, интересующий нас ряд сходится во всех точ ках окружности круга сходимости, за исключением точки г ——I.
Круг сходимости ряда может состоять из единст венной точки (в этом случае радиус сходимости ряда равен нулю) или, напротив, охватывает всю плоскость комплексного переменного (в этом случае принято го ворить, что радиус сходимости ряда бесконечен).
П р и м е р ы .
1. При любом гфО ряд
01 + 1! z + 2! z2 + ... + n! z" + ...
расходится (см. пример 5 § 2 главы 5). Следовательно, радиус ' сходимости этого.ряда равен нулю.
2. При любом г ряд
1 |
z |
z2 |
z« |
Ш + |
ТГ+ |
2Т + |
• • • + пь+ ••* |
сходится (см. пример 4 § 2 главы 5). Следовательно, радиус схо димости этого ряда можно принять равным бесконечности.
§ 4. Вещественный степенной ряд
и его интервал сходимости
Если ряд |
|
а0 + а1х + ... + а,1хп+':.. |
(6.8) |
имеет вещественные коэффициенты и переменная х при
нимает |
только |
вещественные значения, то теорема Абеля |
||||||
приводит" нас к |
следующему утверждению: |
|
|
|||||
Существует |
такое |
неотрицательное |
R, |
что |
при |
|||
x>R |
или |
x<C — R |
ряд (6.8) расходится, |
при |
—R< |
|||
<x<R |
— сходится, |
а |
поведение ряда |
при |
x = |
±R |
||
подлежит |
дальнейшему |
анализу. |
|
|
|
Область значений переменной х, удовлетворяющих соотношению
-R<x<R,
называется в случае вещественного ряда его интерва лом сходимости. За числом R, как и в комплексном случае, сохраняется название радиуса сходимости.
ПО ГЛ. 6. СТЕПЕННЫЕ РЯДЫ. ОБЩИЕ ВОПРОСЫ
§ 5. |
Равномерная |
сходимость ряда |
|
|||
|
в круге |
его |
сходимости |
|
|
|
Т е о р е м а . |
Степенной |
ч |
равномерно |
|||
ряд сходится |
||||||
в любом замкнутом |
круге, |
содержащемся |
в его |
круге |
||
сходимости. |
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Пусть |
|
|
|||
|
a0+a1z+...+anzn+... |
|
(6.9) |
|||
— степенной -ряд и |
R — его |
радиус сходимости. |
Возь |
мем произвольный замкнутый круг, лежащий внутри круга сходимости. Очевидно, можно считать, что центр меньшего круга также находится в точке 0. (Точнее говоря, всякий меньший круг можно охватить кругом
с |
центром в точке 0 н целиком содержащимся в круге |
|||||
сходимости; |
равномерная |
сходимость -ряда в |
охваты |
|||
вающем |
круге влечет равномерную |
сходимость и |
||||
в |
меньшем |
круге.) Пусть |
—его |
радиус. |
Возьмем |
|
точку г0, |
лежащую в кольце между нашими двумя кру |
гами. Так как эта точка расположена внутри круга сходимости степенного ряда (6.9), ряд
a0+a1z0+-..+anzS+...
сходится абсолютно. Но при любом zx из меньшего круга должно быть | zx | < | z„ |. Поэтому
Ian z«1 = |an \\z1 | л < i а п [ \ z 0 \ п = \ a n z " 0 1 .
Следовательно, по признаку Вейерштрасса (см. § 7 главы 5) ряд
a0+a1z+...+anzn+...
сходится в меньшем круге равномерно. |
Внутри |
|
Т е о р е м а (о |
непрерывности суммы ряда). |
|
круга сходимости |
ряда сумма ряда является |
непрерыв |
ной функцией.
Д о к а з а т е л ь с т в о . Каждая частичная сумма сте пенного ряда, очевидно, есть непрерывная функция. По скольку по предыдущему в любой замкнутой области внутри круга сходимости ряда сходимость является равномерной, сумма ряда, являющаяся пределом рав номерно сходящейся последовательности -непрерывных функций, на основании сказанного в § 4 главы 5 сама является непрерывной функцией.