ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 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 |