UML_4256
.pdfПереходя к пределу (см. теорема 2 §3 гл.2), получим |
||
lim σn = lim |
(αSn )=α lim Sn =αS . |
|
n→∞ |
n→∞ |
n→∞ |
Теорема доказана.
Следствие. Постоянный множитель можно выносить за знак суммы.
∞ |
|
∞ |
Теорема 2. Если ряды ∑un , |
∑ vn |
|
n=1 |
n=1 |
|
∞ |
= S , |
∞ |
сходится. При этом, если ∑ un |
∑ vn |
|
n=1 |
|
n=1 |
∞
сходятся, то и ряд ∑ (un + vn )
n=1
=σ , то
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ (un + vn )= S +σ . |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
n |
|
|
|
|
|
|
|
|
||
Доказательство. Пусть Sn = ∑ uk ,σn = |
∑ vk – частичные суммы |
||||||||||||||||||||
|
|
|
|
|
|
|
|
k =1 |
|
|
k =1 |
|
|
|
|
|
|
|
|
||
сходящихся рядов. Тогда Sn +σn = |
|
n |
(uk |
+ vk )= Sn′ |
– частичная сумма |
||||||||||||||||
|
∑ |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
k =1 |
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
+ v |
). |
Переходя |
к |
пределу |
в |
равенстве |
S |
|
+σ |
|
= S ′, |
||||||||
ряда ∑ (u |
n |
n |
n |
||||||||||||||||||
n=1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
получим |
|
|
|
|
lim Sn′ |
|
|
|
(Sn +σn )= S +σ |
|
|
|
|
|
|
||||||
|
|
|
|
|
= lim |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
n→∞ |
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
+ vn ) |
|
|
|
|
|
|
|
|
– существует, |
следовательно, |
ряд |
∑ (un |
сходится. |
|
Теорема |
|||||||||||||||
доказана. |
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Следствие. Сходящиеся ряды можно почленно складывать. |
|
|
|||||||||||||||||||
Замечание. |
Из |
сходимости |
|
|
ряда |
∞ |
(un |
+ vn ) |
не |
следует |
|||||||||||
|
|
∑ |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
((−1)n + (−1)n+1 )= 0 |
||||||
|
|
|
|
∞ |
|
∞ |
|
|
|
|
|
|
|
∞ |
|||||||
сходимость рядов |
∑un |
и |
∑ vn . Например, ряд |
∑ |
|||||||||||||||||
|
|
|
|
n=1 |
|
n=1 |
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
∞ |
|
|
|
расходятся. |
|
|
|
|
|
|
|
||||
сходится, а ряды ∑(−1)n , |
∑ (−1)n+1 |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
n=1 |
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 3 (ассоциативный закон). Если в сходящемся ряде
∞
∑ un = u1 + u2 +... + un +... (4)
n=1
произвольно объединить соседние члены в группы, не нарушая порядка
|
vn |
|
|
vn |
|
|
следования членов (u1 +u2 |
1 |
)+ (un |
|
|
2 |
+... + un )+... и найти |
+... + un |
+1 |
+ un |
+2 |
|||
|
1 |
1 |
|
1 |
|
2 |
|
71 |
|
|
|
|
суммы vn |
,vn |
,vn ,... |
членов, |
входящих |
в |
каждую из групп, то |
||||
1 |
2 |
3 |
|
|
|
|
|
|
|
|
составленный из этих сумм ряд |
|
|
∞ |
|
|
|
||||
|
|
|
vn + vn + vn |
|
|
|
|
|||
|
|
|
+... = ∑ vn |
|
(5) |
|||||
|
|
|
1 |
2 |
3 |
|
k =1 |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
будет сходиться и иметь ту же сумму, что и ряд (4). |
||||||||||
Доказательство. Рассмотрим частичные суммы ряда (4) и ряда |
||||||||||
(5). |
|
|
Sn |
= u1 +u2 |
+... +un +... + un , |
|||||
|
|
|
||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
σn |
= vn |
+ vn +... + vn |
|
, |
n > nk . |
||
|
|
|
k |
1 |
|
2 |
k |
|
|
|
Очевидно, Sn = vn =σn , |
Sn |
= vn |
=σn |
|
и т.д. |
|||||
|
|
1 |
1 |
1 |
2 |
2 |
2 |
|
|
|
То есть |
последовательность |
{σnk } |
– это |
подпоследовательность |
последовательности {Sn }, а так как последовательность {Sn } сходится,
то и любая ее подпоследовательность сходится к тому же пределу (см. теорема 1 §6 гл.2). Теорема доказана.
Замечание. Теорема 3 разрешает ставить скобки в сходящемся
ряде. Но опускать скобки нельзя. |
|
|
|
||
Например, |
ряд |
(1 −1) + (1 −1) +K |
сходится, |
а |
ряд |
1 −1 +1 −1 +1−1K расходится.
Теорема 4. Ряд сходится тогда и только тогда, когда любой его остаток сходится.
Доказательство. Пусть
Sm |
Sk(m) |
|
Sn = (u1 +u2 +...+um )+(um +1 |
+um +2 +...+um +k ), |
n = m + k, |
или |
|
|
Sm+k = Sm + Sk (m). |
(6) |
Здесь Sm+k = Sm + Sk (m) – n-я частичная сумма данного ряда,
Sk (m) – k-я частичная сумма m-го остатка ряда. |
|
|
Фиксируя m в (6), видим, что из существования lim Sk (m) |
(то есть |
|
|
k →∞ |
|
из сходимости m-го остатка ряда) следует существование |
|
|
lim Sm+k = lim Sn , |
|
|
k→∞ |
n→∞ |
|
(то есть сходимость ряда) и наоборот. Теорема доказана.
Следствие. Отбрасывание или добавление конечного числа членов к данному ряду не влияет на его сходимость.
Переходя к пределу в (6) при k → ∞, получим
72
S = Sm + rm . |
(7) |
§2. Критерий Коши сходимости ряда
Рассмотрим ряд
∞
∑un (1)
n=1
(un может быть комплексным).
Теорема (критерий Коши). Для того, чтобы ряд (1) сходился, необходимо и достаточно, чтобы для любого ε > 0 существовал номер Nε такой, что
p
un+1 + un+2 +... +un+ p = ∑un+k < ε n > Nε p N . (2)
k =i
Доказательство. Согласно критерию Коши сходимости числовой последовательности {Sn} (см. §7 гл. 2) необходимо и достаточно выполнения условия:
|
|
|
ρ(Sm , Sn ) = |
|
Sm − Sn |
|
< ε |
m, n > Nε , или, полагая |
m = n + p , |
|||||||||||
|
|
|||||||||||||||||||
получим |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
Sn+ p − Sn |
|
< ε |
n > Nε p N . |
(3) |
|||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
Пусть {Sn} – последовательность частичных сумм ряда (1). Тогда |
|||||||||||||||||
|
Sn+ p − Sn |
|
= |
|
u1 + u2 +... + un +un+1 + un+2 +... + un+ p −(u1 + u2 +... + un ) |
|
= |
|||||||||||||
|
|
|
|
|||||||||||||||||
= |
|
un+1 + un+2 +... + un+ p |
|
< ε |
n > Nε p N . |
|
|
|
||||||||||||
|
|
|
|
|
Это совпадает с (2) и теорема доказана.
Следствие (необходимое условие сходимости ряда). Если ряд (1)
сходится, то un → 0 при n → ∞.
Доказательство. Если ряд (1) сходится, то выполняется условие
(2) при любом p . Положим p =1. Тогда получим un+1 < ε n > Nε .
Это означает, что последовательность {un+1} ={uk } |
бесконечно |
|||||||||
малая, то есть |
|
uk |
|
→ 0 при k →∞, что и требовалось доказать. |
||||||
|
|
|||||||||
|
|
|
|
∞ |
|
+ |
1 |
|
|
|
Пример 1. Исследовать на сходимость ряд ∑ ln 1 |
|
|
. |
|||||||
n |
||||||||||
|
|
|
|
u=1 |
|
|
|
Решение. Положим p = n + 2 , ε = ln2 и воспользуемся критерием Коши:
73
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||
|
ln 1 |
+ |
|
|
|
|
|
|
+ ln 1 |
+ |
|
|
|
|
+... |
+ ln |
1 |
+ |
|
|
|
|
= |
|
|
|
|
|
||||||||||
|
n +1 |
|
n |
+ 2 |
|
2n + 2 |
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
= |
|
n + 2 n + 3 n + 4 |
|
|
2n + 3 |
|
= |
|
|
2n + 3 |
|
|
|
|
|
1 |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
ln |
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
ln |
|
|
|
|
|
= ln |
2 |
+ |
|
|
|
|
> ln 2 – |
|||||
|
n |
+1 n + 2 n +3 |
2n + 2 |
|
n +1 |
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n +1 |
|||||||||||||||||||||||
критерий Коши не выполняется. Ряд расходится. |
|
|
|
n |
2 |
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
||||
|
|
|
|
Пример 2. Исследовать на сходимость ряд ∑ |
|
. |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
|
|
|
|
|
n=1 n2 +1 |
||||||||
|
|
|
|
Решение. un = |
|
→1 при n → ∞. Ряд расходится, так как не |
||||||||||||||||||||||||||||||||
|
|
|
|
n2 |
+1 |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
выполняется необходимое условие сходимости.
§3. Признаки сходимости рядов с неотрицательными членами
Рассмотренные в §2 теоремы справедливы для любого числового ряда, в том числе и для ряда с комплексными членами.
Рассмотрим теперь частный случай, когда члены ряда действительные неотрицательные числа
∞
∑un ,un ≥ 0 . (1)
n=1
В этом случае справедливы несколько дополнительных критериев (признаков) сходимости.
Теорема 1. Необходимым и достаточным условием сходимости ряда с неотрицательными членами является ограниченность последовательности {Sn } его частичных сумм.
Доказательство. Пусть ряд (1) сходится. Это означает, что последовательность {Sn } его частичных сумм сходится. А так как
любая сходящаяся последовательность |
ограничена (см. теорема 3 §1 |
гл. 2), то необходимость доказана. |
|
Пусть теперь последовательность частичных сумм {Sn } |
|
ограничена. Поскольку un ≥ 0 , то |
она монотонно возрастает |
(неубывающая). Но монотонная ограниченная последовательность сходится (см. теорема 3 §1 гл. 2), и достаточность доказана. Теорема доказана.
Следствие. Если ряд с неотрицательными членами расходится, то Последовательность его частичных сумм {Sn } неограниченная. А так
74
как она монотонно возрастает, то является бесконечно большой, то есть
lim Sn = ∞.
n→∞
∞ 1
Пример 1. Доказать, что обобщенный гармонический ряд ∑ s
n=1 n
сходится при s > 1.
Решение.
S2n+1 |
|
|
|
|
1 |
|
|
|
1 |
|
1 |
|
|
1 |
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
2 2 |
|
|||||||||||||||||||||||
=1+ |
|
|
|
|
+ |
|
|
|
|
|
+ |
|
|
|
+ |
|
|
|
|
|
+... + |
|
|
|
|
+ |
|
|
|
<1 |
+ |
|
|
+ |
|
|
+ |
||||||||||||||||
2 |
s |
|
s |
|
s |
5 |
s |
|
|
|
s |
(2n +1) |
s |
2 |
s |
4 |
s |
||||||||||||||||||||||||||||||||||||
|
|
|
2 |
|
|
|
|
|
3 |
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
(2n) |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
+... + |
|
|
|
|
|
=1+ |
|
|
1 |
|
+ |
|
|
1 |
|
|
|
|
+ |
|
|
1 |
|
|
+... + |
|
1 |
= |
|
|
|
|
|
|
|
|
|||||||||||||||||
|
(2n)s |
|
|
|
|
|
|
2s−1 2s |
|
2s−1 3s |
2s−1 ns |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2s−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
1 |
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
Sn |
n N . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
=1+ |
|
|
|
1 |
+ |
|
|
|
|
+ |
|
|
|
|
+... |
+ |
|
|
|
|
|
=1+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
2 |
s−1 |
|
|
s |
3 |
s |
|
n |
s |
2 |
s−1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поскольку Sn < S2n+1 |
<1+ |
|
1 |
Sn , то |
|
||||||||
2s−1 |
|
||||||||||||
|
|
|
|
1 |
|
|
|
1 |
|
||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
Sn 1− |
|
|
<1. |
Sn < |
|
n N |
||||
|
|
|
2 |
s−1 |
1−s |
||||||||
|
1 |
|
|
|
|
|
|
|
1− 2 |
|
|||
(здесь 1− |
|
> 0, так как s >1). |
|
|
|
|
|||||||
2s−1 |
{Sn } |
частичных сумм ограничена |
|||||||||||
|
|
|
|
|
|
|
|||||||
Итак, |
последовательность |
сверху и монотонно возрастает, следовательно, имеет предел. Что и требовалось доказать.
∞
Пусть ∑un = u1 + u2 +... +un +...,(u) ,
n=1
∞
∑ vn = v1 + v2 +... + vn +...,(v) – два ряда с неотрицательными
n=1
членами. Назовем их u и v соответственно. |
|
Теорема 2 (первый признак сравнения). Если |
|
un ≤ vn n > N1 , |
(2) |
то из сходимости ряда v следует сходимость ряда u . А из расходимости ряда u – расходимость ряда v .
Доказательство. Так как отбрасывание конечного числа членов ряда не влияет на его сходимость, то будем считать, что неравенство (2)
выполняется n ≥1. Складывая неравенства (2), получим |
|
Sn ≤σn n N , |
(3) |
75 |
|
где Sn |
и σn – частичные суммы рядов u и v . |
|
его частичная |
|
Пусть ряд v сходится. Тогда, согласно теореме 1, |
||||
сумма |
ограничена, |
то есть σn ≤ M n N . |
Из |
(3) следует |
Sn ≤ M n N (в силу транзитивности знаков <, |
=). Следовательно, |
|||
согласно теореме 1, и ряд u сходится. |
|
|
||
Пусть теперь |
ряд u расходится. Тогда |
последовательность |
||
частичных сумм {Sn } |
неограниченная. Из (3) следует неограниченность |
частичных сумм σn, а из теоремы 1 – расходимость ряда v . Теорема доказана.
|
|
Пример 2. Исследовать на сходимость ряд |
|
∞ |
1 |
|
, x >1. |
|||||||||||||||||
|
|
|
∑ |
|
||||||||||||||||||||
|
|
1+ xn |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n=1 |
|
|||||
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
1 |
|
1 |
|
|
|
|
|||||
|
|
Решение. |
un = |
|
|
|
< |
|
|
|
|
= |
|
= qn , q |
= |
|
|
|
<1. |
|
Так как ряд |
|||
|
|
+ x |
n |
|
x |
n |
|
|
x |
|
||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
x |
|
|
|
|
|
|
||||||
∞ |
|
1 |
|
n |
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
∑ |
|
= ∑ qn |
сходится |
|
как |
сумма числовой |
геометрической |
|||||||||||||||||
|
|
|
||||||||||||||||||||||
n=1 |
x |
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
прогрессии, то по первому признаку сравнения данный ряд сходится
для x >1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 3. Исследовать |
|
на |
сходимость |
|
|
обобщенный |
|||||||||
∞ |
1 |
|
, s ≤1. |
|
|
|
|
|
|
|
|||||
гармонический ряд ∑ |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|||||
n=1 ns |
1 |
|
1 |
|
|
|
|
|
∞ |
1 |
|
||||
Решение. Так как |
|
|
≥ |
|
|
|
|
|
|
||||||
|
|
|
|
|
, |
а гармонический ряд |
∑ |
|
расходится, |
||||||
|
ns |
n |
|
||||||||||||
|
|
|
|
|
|
|
|
|
n=1 n |
|
|||||
то, согласно первому признаку сравнения, ряд при s ≤1 расходится. |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
∞ |
1 |
сходится при s >1 и |
|||
Итак, обобщенный гармонический ряд ∑ |
|
||||||||||||||
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
n=1 ns |
|
|
|
|
расходится при s ≤1. Сумму этого ряда называют функцией Римана и обозначают
|
|
ζ (S )= ∑ 1 , s >1. |
|
|||
|
|
∞ |
|
|
||
|
|
n=1 |
ns |
|
|
|
Теорема 3 (второй признак сравнения). Если |
|
|||||
m ≤ |
un |
≤ M n > N |
, v ≠ 0, m > 0, |
(4) |
||
|
||||||
1 |
n |
|
||||
|
vn |
|
|
|||
то ряды u и v оба сходятся или расходятся одновременно. |
|
|||||
Доказательство. Из (4) следует |
|
|
||||
|
mvn ≤ un ≤ Mvn . |
(5) |
||||
76 |
|
|
|
|
Поскольку умножение членов ряда на число не влияет на его сходимость (см. теорема 1 §1), то (5) представляет условие (2) теоремы 2. Из неравенства mvn ≤ un и теоремы 2 следует, что сходимость u
влечет за собой сходимость v , а из неравенства un ≤ Mvn следует, что расходимость u влечет за собой расходимость v . Теорема доказана.
Следствие (предельный признак сравнения). Если |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
lim |
un |
= q, |
q ≠ 0, q ≠ ∞, |
|
|
|
|
(6) |
|||||||||
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
n→∞ v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то ряды u и v сходятся или расходятся одновременно. |
|
|
|
|
|
|||||||||||||||||
Доказательство. Перепишем (6) следующим образом: |
|
|
|
|
|
|||||||||||||||||
|
|
un |
− q |
|
< ε n > N . −ε < |
un |
− q < ε. (q −ε )v < u |
n |
< (q +ε )v |
|||||||||||||
|
|
|
||||||||||||||||||||
|
|
|
|
|||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
n |
|||
|
|
vn |
|
|
vn |
|
|
|
|
|
||||||||||||
– это условие совпадает с (5) теоремы 3. Следствие доказано. |
|
|
|
|||||||||||||||||||
Пример 4. Исследовать на сходимость ряд |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
∑∞ (−1)n + 2 = |
1 |
+ |
3 |
+ |
1 |
+ |
3 |
+.... |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
n=1 2n +1 |
3 5 7 9 |
|
|
∞ |
1 |
∞ |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Решение. Сравним данный ряд с гармоническим |
∑ |
|
= ∑ v . |
|||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 n |
n=1 |
n |
Воспользуемся предельным признаком сравнения
lim un
n→∞ vn
|
(−1) |
n |
+ 2 |
|
3 |
|
, если n - четное, |
= lim |
|
|
|
2 |
|||
2n |
+1 |
n = |
1 |
, если n - нечетное. |
|||
n→∞ |
|
2 |
|||||
|
|
|
|
|
|
|
Предельный признак не работает, так как предел не существует. Используя второй признак сравнения, получим
un |
= ((−1)n + 2) |
|
1 |
. |
1 |
< |
un |
< |
3 |
. |
|
|
1 |
3 |
|
2 |
|||||
vn |
2 |
|
|
vn |
|
|||||
|
|
+ n |
|
|
|
|
|
|
|
Ряд расходится, так как гармонический ряд расходится.
Замечание. Из примера 4 видно, что второй признак сравнения сильнее предельного признака, так как он может работать тогда, когда
предельный признак не работает. |
|
|
|
|
|
|
|
||||
Теорема 4 (третий признак сравнения). Если |
|
|
|||||||||
|
un+1 |
≤ |
vn+1 |
n ≥ N |
, |
u |
n |
≠ 0, |
v |
≠ 0, |
(7) |
|
|
|
|||||||||
|
un |
1 |
|
|
|
n |
|
|
|||
|
|
vn |
|
|
|
|
|
|
|
то из сходимости ряда v следует сходимость ряда u , а из расходимости ряда u – расходимость ряда v .
77
Доказательство. Перепишем (7) так:
un+1 ≤ un n ≥ N1. vn+1 vn
Последовательность |
un |
монотонно убывает, начиная с n ≥ N , и |
|
||
|
1 |
|
|
vn |
ограничена снизу, так как отрицательной быть не может. Следовательно, существует предел
lim un = m.
n→0 vn
Сверху она ограничена N1 членом, то есть
uN1 = M . vN1
Итак,
m ≤ un ≤ M n > N1 . vn
Пришли ко второму признаку сравнения. При этом, если m ≠ 0, то ряды u и v сходятся или расходятся одновременно (см. следствие теоремы 3). Если m = 0 , то из сходимости ряда v следует сходимость ряда u , а из расходимости u – расходимость v . Теорема доказана.
§4. Признаки сходимости Коши и Даламбера
Теорема 1 (признак сходимости Даламбера).
справедливо неравенство
un+1 ≤ q <1, un
то ряд
∞
∑un ,un > 0
n=1
Если n ≥ N1
(1)
(2)
сходится. Если
un+1 |
≥1, |
(3) |
|
||
un |
|
то ряд (2) расходится.
78
∞ |
∞ |
Доказательство. Сравним ряд (2) с рядом ∑ v |
= ∑ qn |
n |
n=1 |
n=1 |
(геометрической прогрессией). Воспользуемся третьим признаком сравнения. Если
un+1 ≤ vn+1 = qn+1 = q <1, un vn qn
то геометрическая прогрессия сходится, следовательно, и ряд (2) сходится. При q >1 геометрическая прогрессия расходится. Так как
1 ≤ q = vn+1 ≤ un+1 , vn un
то по третьему признаку сравнения ряд (2) расходится. Теорема доказана.
Следствие (предельный признак Даламбера). Если для ряда (2)
lim |
un+1 |
|
= l , |
(4) |
||||
|
|
|
|
|||||
n→∞ un |
|
|||||||
то при l <1 ряд (2) сходится, а при l >1 расходится. |
|
|||||||
Доказательство. Перепишем (4) в виде |
|
|||||||
l −ε < |
un+1 |
|
< l +ε ε > 0, n > Nε . |
(4') |
||||
|
|
|||||||
|
un |
−ε . |
||||||
Если l <1, то ε найдем из уравнения l =1−2ε или l +ε =1 |
||||||||
Тогда из (4') |
|
|||||||
|
un+1 |
< l +ε =1−ε <1, |
|
|||||
|
|
|
|
|||||
|
un |
|
||||||
то есть выполняется (1) и ряд сходится согласно теореме 1. |
|
|||||||
Если l >1, то ε найдем из уравнения l −ε =1. Тогда из (4') |
|
|||||||
|
|
|
un+1 |
> l −ε =1, |
|
|||
|
|
|
|
|
||||
|
|
|
|
|
un |
|
то есть выполняется (3) и ряд расходится согласно теореме 1. Следствие доказано.
Замечание. Рассмотрим гармонический ряд
∞ |
1 |
. |
u |
n+1 |
= |
n |
<1, |
|
|
∑ |
|
|
|
|
|||||
|
un |
n +1 |
|||||||
n=1 n |
|
|
|
|
условие (1) выполняется, следовательно, ряд сходится. Где ошибка?
∞ n
Пример 1. Исследовать на сходимость ряд ∑ n .
n=1 2
79
|
|
Решение. Воспользуемся признаком Даламбера. |
|
|
|
|
|||||||||||||||||||
u |
|
|
( |
n +1 2n |
|
1 |
|
|
1 |
|
3 |
|
|
|
|
1 |
|
3 |
|
1 |
|
1 |
|
||
n+1 |
= |
|
) |
= |
+ |
≤ |
<1 |
n ≥ 2 |
, (1 |
+ |
< |
, |
< |
, n > 2), |
|||||||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|||||||||||||
un |
|
n 2 |
n+1 |
2 |
|
4 |
n |
2 |
n |
2 |
|||||||||||||||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
ряд сходится.
Воспользуемся теперь предельным признаком Даламбера.
lim un−1 = 1 <1. Ряд сходится.
n→∞ un 2
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
(−1)n |
+ 2 |
. |
|
Пример 2. Исследовать на сходимость ряд ∑ |
5n |
|
||||||||||||||||||||||||
|
Решение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
||||||
|
|
|
|
|
Воспользуемся |
|
|
|
признаком |
|
Даламбера. |
||||||||||||||||
un+1 |
|
((−1) |
n+1 |
+ |
2)5 |
n |
|
1 |
|
2 −( |
−1) |
n |
|
1 |
|
, n |
− четное, |
|
|
||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
15 |
|
||||||||||||||||||
|
= |
( |
|
|
|
|
) |
|
|
|
= |
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
||
un |
|
|
|
|
|
|
|
|
|
( |
−1 n |
3 |
5 |
|
|
|
|
|
|||||||||
|
( |
− |
n + |
2 |
5 |
n+1 |
|
5 2 + |
|
, n |
− |
нечетное, |
|
||||||||||||||
|
|
|
1) |
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
un+1 ≤ 3 <1 n N. Ряд сходится. un 5
Предельный признак Даламбера не работает, так как предел не
существует.
Замечание. Из примера 2 следует, что признак Даламбера сильнее предельного признака Даламбера. Однако, предельным признаком Даламбера пользоваться удобнее.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
(−1)n + 2 |
|
|
Пример 3. Исследовать на сходимость ряд ∑ |
|
. |
||||||||||||||||
2n |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
n=1 |
|
|||
|
un+1 |
|
1 |
|
2 − |
( |
−1 |
n |
|
, n − четное, |
|
|||||||
|
|
|
|
|
|
6 |
|
|
|
|
|
|||||||
|
|
|
|
|
) |
|
|
|
|
|
|
|
||||||
Решение. |
|
= |
|
|
|
|
( |
−1 n |
= |
3 |
|
|
|
|
Признак |
|||
un |
2 |
2 |
+ |
|
, n |
− |
|
|||||||||||
|
|
|
|
|
нечетное. |
|
||||||||||||
|
|
|
|
|
|
|
) |
|
|
2 |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Даламбера не работает.
Теорема 2 (радикальный признак Коши).
Если
n ≥ N , |
n u |
n |
≤ q <1, |
(5) |
1 |
|
|
|
то ряд (2) сходится. Если
n un ≥1, |
(6) |
то ряд расходится.
Доказательство. Если n un ≤ q , то un ≤ qn . По первому признаку
80