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

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

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

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

Добавлен: 29.10.2024

Просмотров: 82

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

42 ГЛ. 2. ЧИСЛОВЫЕ Р Я Д Ы . О С Н О В Н Ы Е ПОНЯТИЯ

Справа в скобках стоят частичные суммы sn и t„ рассматриваемых рядов. Устремляя п к бесконечности, мы получаем

 

 

lim

z „ =

lim (sn-\-t„)—

lim s „ +

lim t„ = s +

t,

 

 

 

 

П~»-СО

 

 

 

П-уСО

n-*-co

 

 

а

это

и

требовалось.

 

 

 

 

 

 

 

 

 

Доказанная теорема означает, что сходящиеся ряды

можно почленно

складывать и при этом

складываются

их

суммы.

 

 

Если

 

 

 

 

 

 

 

 

 

Т е о р е м а

5.

 

 

 

 

 

 

 

 

 

и

 

 

 

 

al

+ Ui +

... +

u„ + ...

 

 

(2.29)

 

 

 

 

ѵг + ѵ, + ... + ѵп + ...

 

.

(2.30)

 

 

 

 

 

 

— ôea

сходящихся

ряда

соответственно

с

суммами s

и

t, а

а

и b — произвольные числа, то ряд

 

 

 

(aui + bvj) + (аи2 + bv2) +...

+ (аип

+ bvn) + ...

(2.31)

также сходится

и

сумма

его равна

as + bt.

 

 

 

Д о к а з а т е л ь с т в о .

 

Если

а =

0,

то

ряд

(2.31)

превращается

в

(2.30);

если

Ь = 0,

то

ряд

(2.31) пре­

вращается в (2.29), и теорема доказана.

Предположим

теперь, что а ф. 0 и b Ф 0.

Тогда

по

теореме

2 сходятся

ряды

 

 

аих

+ Й « 2 + •••'+а "л + • • •

 

 

и

 

 

 

 

 

 

 

 

bv1 + bv2 + ... + bvn +

...,

 

 

 

 

 

 

 

 

 

 

а

по

теореме

4 —ряд (2.31).

 

 

 

 

 

Если

 

С л е д с т в и е

(теорема

о

вычитании

рядов).

сходятся

ряды

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

Иі + и в + . . . + и„-т--..

 

 

 

 

 

 

 

Ѵі.+

+

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

имеют

суммы s и t, то сходится

ряд

 

 

 

 

 

 

("і -

vi) +

2 ѵ2) +...

+

п

- ѵп)

+...

 

и

сумма

его равна s —t.

 

 

 

 

 

 

 

а=1,

 

В

самом деле,

полагая

в предыдущей теореме

а

Ь = — 1, мы получаем

требуемое.

 

 

 

 


§ 9. ДАЛЬНЕЙШИЕ СВОЙСТВА РЯДОВ

43

§ 9. Дальнейшие свойства рядов

Пусть нам дана некоторая сумма чисел, насчиты­

вающая конечное число

слагаемых:

 

«і +

« 2 + ... + «*.

(2.32)

Приписав к этой сумме бесконечный «хвост» из нулей,

мы получим

ряд

 

 

 

 

 

 

 

 

 

 

«і +

"2 + ... + "* + 0 +

0 + ... + 0 + ...

(2.33)

Очевидно, для

этого

ряда

 

 

 

 

 

 

 

 

 

Sft =

" l +

. . . +

"ft.

 

 

 

 

 

 

sk +1 sk

"f" 0 = S//,

 

 

 

 

 

 

 

S* + 2 sli

+ 1 Ч~

0 —S/; + I = S A . ,

 

 

Значит,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

s„ =

sA.

 

 

 

 

 

 

 

 

л — со

 

 

 

 

 

 

Поэтому ряд (2.33) сходится и сумма его равна

s/,,

т. е.

сумме

(2.32).

 

 

 

 

 

 

 

 

 

 

На основании сказанного мы можем сделать важное

замечание. Всякая сумма является частным

случаем

сходящегося

ряда. Поэтому все

утверждения,

справед­

ливые

для

сходящихся

рядов,

 

остаются в силе и

для

конечных сумм.

 

 

 

 

 

 

 

 

 

Несколько более общий факт мы оформим в

виде

теоремы.

 

1. Присоединим

 

к

числу членов

некото­

Т е о р е м а

 

рого ряда в

качестве

новых

членов

произвольное

(может

быть, бесконечное) количество нулей, разместив их между

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

когда сходится старый ряд, и сумма

нового ряда будет

равна сумме старого.

 

 

Д о к а з а т е л ь с т в о .

Пусть

 

« 1 + « 2 + . . . + « „ + • • •

— новый ряд. Для него,

как и для

всякого ряда,

"sn+l SnJT м л . + 1 -


ГЛ. 2. ЧИСЛОВЫЕ РЯДЫ. ОСНОВНЫЕ ПОНЯТИЯ

Если н „ + 1 = 0, то s„+i = s„. Поэтому последовательность частичных сумм нового ряда будет отличаться от после­ довательности частичных сумм старого ряда лишь пов­

торениями некоторых сумм по нескольку

раз. Очевидно,

повторения членов последовательности

не сказываются

ни на ее сходимости, ни на ее пределе,

что и доказы­

вает теорему.

)

 

Т е о р е м а

2. Если в ряд вписать на любых местах

конечное число новых членов, то сходимость ряда не

изменится,

т. е. сходящийся ряд останется

сходящимся,

а

расходящийся — расходящимся.

Если

первоначальный

ряд был сходящимся,

то сумма

нового ряда

получается

из

суммы

старого

увеличением

ее на

сумму

вписанных

членов.

Д о к а з а т е л ь с т в о . Пусть

U1 + U2 + ..: + U n + . . .

— наш исходный -ряд. В те места, в которые по усло­ вию теоремы надлежит вписать новые члены, впишем пока нули. По предыдущей теореме от такой операции не изменяется ни сходимость ряда, ни его сумма. Пусть

Ѵі + ѵ2 + ... + ѵп + ...

(2.34)

—получившийся при этом ряд. Составим теперь еще один ряд

w1 + w2 + ... + wn + ...,

(2.35)

в котором на тех номерах, на которых в (2.34) стоят «старые» члены, находятся нули, а на тех местах, где в (2.34) стоят вписанные нули, расположены в надле­ жащем порядке «новые» члены. Сумма ряда (2.35), оче­ видно, равна сумме «новых» членов.

На

основании

теоремы о сложении

рядов

(теорема

4 § 8)

ряд

 

 

а

 

(Vi + Wj) +

(02 + 0*2) + . . - + (Vn +

®п) +

- - - (2.36)

сходится вместе с рядом (2.34), и сумма его получается сложением суммы ряда (2.34) и ряда (2.35).


§ 9. ДАЛЬНЕЙШИЕ СВОЙСТВА РЯДОВ

45

Нам остается заметить, что (2.36) и есть тот самый ряд, который получается путем вписывания в исходный

ряд новых членов1 ).

 

 

 

С л е д с т в и е . Если из ряда

выбросить конечное чи­

сло его членов,

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

если

исходный ряд

сходящийся, то

сумма

полученного

ряда

будет меньше суммы первоначального

ряда на сумму вы­

брошенных членов.

 

 

 

З а м е ч а н и е . О сходимости ряда судят по его чле­ нам. Однако, как было только что выяснено, сходимость ряда не зависит от любого конечного числа членов ряда. Поэтому для установления сходимости (или рас­ ходимости) ряда не обязательно учитывать все его члены. Достаточно ограничиться членами, «начиная с некото­ рого места» или «начиная с некоторого номера л». Этим обстоятельством мы будем часто пользоваться в даль­ нейшем.

!) Более непосредственное (хотя едва ли более простое) дока­ зательство этого же утверждения основано на том соображении, что в ряде (2.34), начиная с некоторого места, будут встречаться только «старые» члены. Воспроизведение этого доказательства во всех деталях будет для читателя полезным упражнением.

Г Л А В А 3

РЯДЫ С ПОЛОЖИТЕЛЬНЫМИ ЧЛЕНАМИ

§ 1. Признаки сходимости рядов

Существует довольно много приемов, позволяющих устанавливать сходимость или расходимость рядов. Все эти приемы называются признаками сходимости. В на­ стоящее время известно большое число различных при­ знаков сходимости рядов. С некоторыми из них мы уже успели познакомиться. Так, например, сходимость ряда можно установить, составив последовательность его частичных сумм и выяснив, имеет ли эта последователь­ ность конечный предел. Этот прием, очевидно, является необходимым и достаточным признаком сходимости рядов. Другим необходимым и достаточным признаком сходимости является критерий Коши (см. § 5 главы 2). Стремление к нулю члена ряда по мере роста его. номера также является признаком сходимости ряда, уже только необходимым, но не достаточным (см. § 6 главы 2).

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

Эти теоремы обычно состоят в сравнении членов исследуемого ряда с членами другого ряда, поведение которого уже выяснено. Поэтому они называются при­ знаками сравнения. По существу, все рассматриваемые в этой главе признаки сходимости являются такими при­ знаками сравнения. В некоторых из них производится сравнение исследуемого ряда с некоторыми стандартными рядами (например,' с геометрическими прогрессиями).


§ 2. П Р И З Н А К И С Р А В Н Е Н И Я

47

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

Подчеркнем, что в данной главе будут рассматри­ ваться только ряды с положительными членами. Это обстоятельство каждый раз специально оговариваться не будет.

§ 2. Признаки сравнения

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

Т е о р е м а 1 (первый

признак

сравнения).

Пусть

и1

+ и2

+ ... + ип +...

 

(3.1)

 

+

+

... + »» +

..•

-

(3.2)

— два ряда, причем

члены первого, начиная

с некоторого

места, не превосходят соответствующих членов второго:

 

un^vn,

n = k,k+l,...

(3.3)

Тогда из сходимости ряда (3.2) следует сходимость

ряда (3.1),

а из

расходимости

ряда (3.1) следует

рас­

ходимость

ряда

(3.2).

 

 

 

Д о к а з а т е л ь с т в о .

Так

как отбрасывание конеч­

ного числа членов ряда не влияет на сходимость ряда,

достаточно

доказать теорему

для

случая, когда /г =

1.

Пусть

 

 

 

 

 

 

 

« • • j .snt

... и

 

t2

tn

 

 

— последовательности

частичных

сумм

рядов

(3.1)

и

(3.2). Из (3.3) следует,

что

 

 

 

 

 

 

s n ^ t n при

любом

п=1, 2,

...

(3.4)

Пусть ряд (3.2) сходится и t — его сумма. Из положитель­ ности членов ряда (3.2) следует, что s „ < ^ при любом п. Это значит, что частичные суммы ряда (3.1) в совокуп­ ности ограничены, и поэтому сам ряд (3.1) сходится. Обозначим его сумму через s. Переходя в неравенстве (3.4) по и к пределу при «-»-oo, мы получаем

lim s„s£ Hm tn

П -f CO

П -f CO