Файл: Воробьев, Н. Н. Теория рядов учеб. пособие.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 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

Ш +

ТГ+

+

• • • + пь+ ••*

сходится (см. пример 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 1 = |an \\z1 | л < i а п [ \ z 0 \ п = \ a n z " 0 1 .

Следовательно, по признаку Вейерштрасса (см. § 7 главы 5) ряд

a0+a1z+...+anzn+...

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

Внутри

Т е о р е м а (о

непрерывности суммы ряда).

круга сходимости

ряда сумма ряда является

непрерыв­

ной функцией.

Д о к а з а т е л ь с т в о . Каждая частичная сумма сте­ пенного ряда, очевидно, есть непрерывная функция. По­ скольку по предыдущему в любой замкнутой области внутри круга сходимости ряда сходимость является равномерной, сумма ряда, являющаяся пределом рав­ номерно сходящейся последовательности -непрерывных функций, на основании сказанного в § 4 главы 5 сама является непрерывной функцией.