ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.10.2024
Просмотров: 83
Скачиваний: 0
ГЛ. 3. Р Я Д Ы С П О Л О Ж И Т Е Л Ь Н Ы М И ЧЛЕНАМИ
(ввиду сходимости обоих рядов оба написанных пре дела существуют), т. е. s ^ t .
Пусть теперь ряд (3.1) расходится. Это значит, что его частичные суммы неограниченно возрастают. Но тогда, в силу (3.4), должны неограниченно возрастать и частичные суммы ряда (3.2), который тем самым рас ходится.
П .р и м е р ы.
1. Рассмотрим ряд
і + . . . (3.5)
(мы будем в дальнейшем называть его рядом «обратных квадра тов»). Отбросив первый член этого ряда (что, как известно, не сказывается на его сходимости),- сравним его с рядом
- |
L • J - + |
I |
1 |
I |
1 |
• 2 " г 2 - 3 " г |
"•"'"/г |
|
f |
сходимость которого нами уже была установлена. Мы видим, что (я+1) *• <~•- л ( /1 і + 1 Г
Следовательно, н ряд (3.5) сходится. Как будет видно далее
(см. § 11 главы 9), сумма этого ряда равна -g-.
2. Рассмотрим ряд
|
|
|
Т + Т + Т + - + Т + - - . |
|
||||
который обычно |
называется |
гармоническим. |
|
|
||||
|
Заменим в |
гармоническом |
ряде третий и |
четвертый члены |
||||
на |
1 / і |
каждый, |
следующие |
4 |
члена —на Ѵв |
каждый; |
следую |
|
щие 8 —на Vie и т. д. В результате мы получим ряд |
12 |
|||||||
1 |
- r 2 |
- r - 4 - r 4 , 8 |
- r - 8 |
- r 8 - r 8 - r - |
|
|
||
|
|
+ |
Ï 6 + |
• • • + Т 6 |
+ |
З І + |
••• |
( 3 - 6 ) |
|
|
|
8 членов |
|
16 членов |
|
|
Члены этого ряда не превосходят соответствующих членов гармо нического ряда. Поэтому для доказательства расходимости гармо нического ряда достаточно - установить расходимость ряда (3.6). Чтобы. сделать это, объединим группа одинаковых членов ряда
|
|
§ 2. ПРИЗНАКИ СРАВНЕНИЯ |
49 |
(3.6) в |
один |
член нового ряда. Так как каждая k-я группа нас |
|
читывает |
2к~2 |
членов, а каждый член ее равен J c r j , сумма членов |
в каждой группе равна ѴгНовый ряд получается таким:
1 + 1 + 1 + 1 +
|
|
1 ^ |
2 ^ |
2 ^ |
2 |
т |
|
||
и, очевидно, |
расходится. |
Таким |
образом, ^по следствию теоремы |
||||||
1 § 8 |
главы |
2 расходится |
и |
ряд |
(3.6), |
а потому |
и гармониче |
||
ский ряд. |
|
|
|
|
|
|
|
|
|
3. |
Рассмотрим ряд |
|
|
|
|
|
|
|
|
|
|
sin 1 + sin ~ |
+ |
. . . + |
sin 1 + ... |
(3.7) |
|||
Так как |
|
|
|
|
|
|
|
|
|
|
|
|
• |
1 |
|
1 |
|
|
|
|
|
|
s m |
"if < |
т , |
|
|
||
члены |
ряда |
(3.6) меньше соответствующих членов |
ряда обратных |
||||||
квадратов. Следовательно, этот ряд сходится. |
|
||||||||
4. |
Пусть |
нам дан ряд |
|
|
|
|
|
|
|
|
|
t g y + tg-g-H- |
. , . + |
tg - i - + . . . |
(3.8) |
Поскольку
і1 1
члены ряда (3.8) больше соответствующих членов гармонического ряда. Поэтому ряд (3.8) расходится.
Т е о р е м а 2 |
(второй |
признак |
сравнения). Пусть |
||||
|
|
«і + |
"2 + |
. .. + |
«„ + ... |
(3.9) |
|
и |
|
|
|
|
|
|
|
|
|
Ol + |
Ds + |
. . . + |
Ü„ + ... |
(ЗЛО) |
|
— два ряда, причем можно указать |
такие постоянные |
||||||
/ г > 0 и К, |
что, |
начиная |
с некоторого п, |
|
|||
|
|
|
k ^ |
^ K . |
|
(3.11) |
|
Тогда |
ряды |
(3.9) |
и |
(3.10) |
одновременно |
сходятся |
|
или одновременно |
расходятся. |
|
|
|
ГЛ. 3. РЯДЫ |
С П О Л О Ж И Т Е Л Ь Н Ы М И ЧЛЕНАМИ |
||||
Д о к а з а т е л ь с т в о . |
Из |
(3.11) |
следует, |
что |
|
|
кѵп<ип<Кѵп. |
|
|
(3.12) |
|
Если ряд (3.9) |
сходится, |
то из |
левого |
неравенства |
|
в (3.12) согласно первому |
признаку сравнения вытекает |
||||
сходимость ряда |
|
|
|
|
|
kv1-{-kv2 + ... + kvn + ...
Отсюда |
на |
основании |
дистрибутивного |
закона |
для |
|
рядов |
(см. |
теорему 2 § 8 главы 2) следует |
сходимость |
|||
ряда |
(3.10). |
Поэтому если ряд (3.10) расходится, |
то и |
|||
ряд |
(3.9) также должен |
расходиться. |
|
|
Если сходится ряд (3.10), то по дистрибутивному закону для рядов должен сходиться ряд
Кѵ1 + Кѵ2 + ...+ Кѵа + ...,
и, следовательно, по первому признаку сравнения/ на основании правого неравенства в (3.12) —ряд (3.9). Значит, из сходимости ряда (3.9) следует сходимость ряда (3.10).
Пр и м е р ы .
1.Рассмотрим ряд
1 |
' |
1 |
/ г |
+ • • • + ^ |
~ ^ + ••• |
(3.13) |
1 2 - Ѵ г Т |
2 2 - 2 |
_ ' " ^ л 2 |
- л / 2 |
|
и сравним его с рядом обратных квадратов (3.5). Отношение
1 |
|
|
л2 —л/2 |
л2 |
1 |
J _ |
л 2 - л / 2 |
1_ |
л2 |
|
2л |
ограничено сверху числом 2. Поэтому из сходимости ряда обрат ных квадратов следует сходимость ряда (3.13).
2. Рассмотрим ряд
s i n y + sin-g-+ |
. ' . . + ! + . . . |
(3.14) |
|
Составим отношения |
соответственных членов |
этого ряда и |
|
ряда (3.8): |
|
|
|
. |
1 |
|
|
sm — |
1 |
|
|
|
л |
|
|
, |
:— = |
cos —. |
|
1 |
п |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
§ 2. ПРИЗНАКИ |
СРАВНЕНИЯ |
|
51 |
||||||
Ввиду |
того, |
что при любом |
целом |
п > |
1 |
|
|
||||
|
|
|
-рг- < |
COS — < |
1, |
|
|
||||
|
|
|
2 |
|
|
п |
|
|
|
|
|
ряд (3.14) ведет себя |
так же, как и ряд (3.8), т. е. должен |
расхо |
|||||||||
диться. |
|
|
|
|
|
|
|
|
|
|
|
3. |
Аналогично анализируется |
ряд |
|
у |
|
||||||
|
|
t g | 2 |
+ t g y 2 + |
.. . + t g ~ + . . . |
. |
(3.15) |
|||||
Составив |
отношения членов |
этого |
ряда и ряда |
(3.7), мы полу |
|||||||
чаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
1 |
|
|
, |
|
|
|
|
|
|
|
sin |
-s |
|
|
|
|
|
|
|
|
|
|
, 1 |
rfiг |
= |
cos 1 |
- j - |
' |
|
|
|
|
|
|
|
|
|
rfi |
|
|
|||
|
|
|
tg |
-s |
|
|
|
|
|
|
|
rfi
и так как
T < c o s ^ < l ,
ряд (3.15) сходится подобно ряду (3.7).
С л е д с т в и е . Если для рядов (3.9) и (3.10) отно
шение ^ стремится к некоторому положительному и конечному пределу
l i m ^ = r > 0 , |
(3.16) |
то ряды (3.9) и (ЗЛО) сходятся или расходятся одно временно.
Д о к а з а т е л ь с т в о . Соотношение (3.16) означает, что, начиная с некоторого места, все отношения вида
— будут достаточно близки к г и, в частности, будут
находиться между числами у г и 2г. Интересующее нас
утверждение получается непосредственной ссылкой на доказанную теорему.
П р и м е р . Рассмотрим ряд
1 |
\ |
\_ |
( е Т - 1 ) + ( е 2 _ 1 ) + . . . + (е "_ ] ) + . . . |
(3.17) |