|
|
|
|
|
|
|
|
|
46 |
|
|
|
|
|
|
|
|
n |
|
Достаточность. |
Если интеграл |
сходится, |
то |
Sn a1 f (x)dx a1 f (x)dx, |
|||||
поэтому последовательность Sn |
|
|
|
|
|
1 |
1 |
||
ограничена сверху. Так |
как эта последовательность не |
||||||||
|
|
|
|
|
|
|
|
|
|
убывает, то по теореме Вейерштрасса limn Sn |
S . Поэтому ряд an сходится. |
||||||||
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
Необходимость. Если ряд |
an сходится, |
то |
limn Sn S , |
а по необходимому |
|||||
|
|
|
n 1 |
|
|
|
|
|
|
признаку |
сходимости |
ряда |
an |
0 |
при |
n . |
Поэтому |
последовательность |
|
n |
|
|
|
|
|
|
|
|
|
f (x)dx (неубывающая, так как |
f (x) 0) ограничена сверху. Следовательно, по теореме |
||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
Вейерштрасса limn f (x)dx f (x)dx, т.е. несобственный интеграл сходится. |
|||||||||
|
|
1 |
1 |
|
|
|
|
|
|
Если ряд расходится, то и интеграл расходится и наоборот. Это легко доказывается от противного.
Поэтому говорят, что несобственный интеграл и ряд сходятся или расходятся «одновременно», т.е. если один из них сходится, то и другой сходится, если один расходится, то и другой расходится. Это понятие часто употребляют при сравнении рядов.
Пример. Применим интегральный признак к гармоническому ряду.
|
b |
1 |
|
|
|
|
|
|
|||
1 |
1 |
dx limb 1 |
dx limb lnb ln1 |
- |
интеграл |
расходится, |
поэтому |
и |
|||
x |
x |
||||||||||
гармонический ряд расходится. |
1 |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
||
Пример. |
Рассмотрим «ряды Дирихле» |
. Название |
взято в |
кавычки, |
так |
||||||
p |
|||||||||||
|
|
|
|
|
т 1 n |
|
|
|
|
||
неизвестно, рассматривал ли эти ряды Дирихле, но оно устоялось за долгие годы.
dx
1 xp limb b1 p 1 p 1 . Ясно, что интеграл сходится при p>1 и расходится при
p<1. Случай p=1 рассмотрен выше (расходящийся гармонический ряд). Отсюда следует вывод
|
|
1 |
|
сходится при p 1 |
|
|
|||
|
|
|
|
|
|
. |
|||
|
p |
|
|
||||||
|
т 1 n |
расходится при p 1 |
|||||||
|
|
|
|
|
|
|
1 |
|
|
|
Интересно, что |
ряд |
|
сходится при q 1и расходится при q 1, интегралы |
|||||
|
q |
|
|||||||
|
|
|
|
|
|
n 1 |
nln |
n |
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
, |
расходятся (проверьте по интегральному признаку). |
||||||
|
|
nlnnlnlnn |
|||||||
n 2 |
nlnn n 3 |
|
|
|
|
||||
Теперь становится яснее, где пролегает граница между сходящимися и расходящимися рядами. Заодно накоплена библиотека сходящихся и расходящихся рядов, которые можно использовать как эталонные при сравнении рядов. Сравнивать ряды можно с помощью признаков сравнения.
|
|
47 |
Признаки сравнения рядов. |
|
|
Первый признак сравнения рядов. |
|
|
|
|
|
Пусть выполнено неравенство an bn |
n. Тогда из сходимости ряда |
bn следует |
|
|
n 1 |
|
|
|
сходимость ряда an , а из расходимости ряда an следует расходимость ряда bn .
n 1 |
n 1 |
n 1 |
Замечание. В силу свойства сходящихся рядов, отбюрасывание конечного числа членов ряда не влияет на сходимость и неравенство an bn можно проверять «начиная с
некоторого n». Поэтому эту фразу часто можно встретить в теоремах о рядах. Иногда ее просто опускают, но ее всегда надо иметь в виду.
|
|
|
Доказательство. 1) Пусть ряд bn сходится. Тогда |
выполнено неравенство |
|
|
n 1 |
Sa n ограничена сверху |
Sa n Sb n Sb |
n. Поэтому последовательность частичных сумм |
|
числом Sb . Но эта последовательность не убывает. Следовательно, по теореме Вейерштрасса
limn Sa n |
Sa Sb . |
|
Последнее неравенство справедливо в силу теоремы о предельном |
|||||||||||||
переходе в неравенстве. |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2) Пусть ряд an расходится. Если |
ряд bn сходится, то по п.1 доказательства и ряд |
|||||||||||||||
|
n 1 |
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an сходится. Противоречие. Следовательно, |
ряд bn расходится. |
|
|
|||||||||||||
n 1 |
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
1 |
|
|
1 |
|
|||
Пример. Ряд |
расходится, |
так |
как |
|
, а |
ряд |
(гармонический) |
|||||||||
|
|
|
|
|
n |
|||||||||||
расходится. |
n 2 |
|
lnn |
|
|
|
ln n n |
|
n 2 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Второй признак сравнения. |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
||
Пусть |
limn |
|
C 0. Тогда |
ряды |
an |
и |
bn |
сходятся |
или расходятся |
|||||||
bn |
|
|||||||||||||||
|
|
|
|
|
|
|
n 1 |
|
|
n 1 |
|
|
|
|||
«одновременно», т.е. если один из них сходится, то и другой сходится, если один расходится, то и другой расходится.
Доказательство. Раскроем определение предела. 0 N , n N |
an |
C |
. |
||||||
bn |
|||||||||
|
|
|
|
|
|
|
|
||
С |
an |
C , |
b (C ) a |
n |
b (C ). |
|
|
||
|
|
|
|||||||
|
bn |
n |
n |
|
|
||||
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
||
Если ряд an сходится, то по |
1 |
признаку сравнения ряд bn (C ) сходится |
|||||||
|
|
n 1 |
|
|
n 1 |
|
|
||
|
|
|
|
|
|
|
|
|
|
(C 0, так как мало) , ряд bn сходится (свойство сходящихся рядов).
n 1
48
|
|
Если ряд bn сходится, то ряд bn (C ) сходится (свойство сходящихся рядов),
n 1 |
n 1 |
тогда по 1 признаку сравнения ряд an сходится.
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть |
ряд |
an расходится. |
Если |
ряд |
bn сходится, |
то |
по |
предыдущему |
ряд |
|
|
n 1 |
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an сходится (противоречие). |
|
|
|
|
|
|
|
||
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть |
ряд |
bn расходится. |
Если |
ряд |
an сходится, |
то |
по |
предыдущему |
ряд |
|
|
n 1 |
|
|
n 1 |
|
|
|
|
bn сходится (противоречие).
n 1
Пример. |
|
|
|
|
a |
|
|
n2 |
4n 2 |
|
|
|
|
|||||
Ряд с |
n |
|
|
|
|
расходится |
по второму признаку |
сравнения |
(ряд |
|||||||||
n3 |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
n 5 |
|
|
|
|
||||||
сравнения – гармонический ряд). |
|
|
|
|
||||||||||||||
|
|
sin |
1 |
|
n 1 |
|
|
1 |
|
1 |
|
|
|
|||||
|
n2 |
|
|
|
|
n , arctgn - |
|
|
||||||||||
Ряд |
|
|
|
|
|
|
|
|
сходится. sin |
~ |
ограничена. |
Ряд |
||||||
narctgn |
2 |
2 |
||||||||||||||||
|
n 2 |
|
|
n |
n |
|
|
|||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сравнения |
|
- сходящийся ряд Дирихле. |
|
|
|
|
||||||||||||
2 |
|
|
|
|
|
|||||||||||||
n 2 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Признак Даламбера.
Конечная форма признака Даламбера.
|
|
|
|
|
|
|
an 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть n N |
|
|
q 1, |
тогда ряд an сходится. |
|
|
|
|
|
||||||||||||||
|
an |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
an 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть n N |
|
|
q 1, |
тогда ряд an расходится. |
|
|
|
||||||||||||||||
|
an |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|||
Доказательство. Пусть n N |
|
an 1 |
q 1. |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
Тогда a |
n 1 |
qa |
n |
q |
2a |
n 1 |
q3a |
n 2 |
... qna . |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
||||
S |
n |
a a |
2 |
... a |
n |
|
a |
a q ... a qn 1 |
a (1 q q2 |
... qn 1) |
a1 |
, |
и |
ряд |
|||||||||
|
|
||||||||||||||||||||||
|
1 |
|
|
|
|
|
|
1 |
1 |
|
|
1 |
|
1 |
1 q |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an сходится. |
Можно |
|
было, не оценивая |
частичную сумму ряда, заключить, |
что |
ряд |
|||||||||||||||||
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сходится по первому признаку сравнения с бесконечно убывающей геометрической прогрессией.
|
|
|
|
|
|
|
|
|
|
|
|
|
49 |
Пусть n N |
an 1 |
q 1, Тогда a |
2 |
qa |
a , a |
3 |
qa |
2 |
q2a |
a ...a |
n |
qn 1a |
a . |
|
|||||||||||||
|
an |
|
1 |
1 |
|
1 |
1 |
1 |
1 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Поэтому an не стремится к нулю при n , необходимый признак сходимости ряда не
выполнен, ряд an расходится.
n 1
Предельная форма признака Даламбера.
|
|
|
|
|
|
an 1 |
|
|
|
|
|
|
|
|
|
|
|
|
an 1 |
|
|
|
|
|
|
|||||
|
Пусть limn |
|
|
q 1, |
|
тогда ряд an сходится. Пусть limn |
|
q 1, тогда ряд |
||||||||||||||||||||||
|
|
|
an |
an |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an 1 |
|
|
|
|
|
|
|
|
|
|
|
||||
an расходится. |
Если |
|
limn |
q 1, то признак не позволяет |
сделать вывод о |
|||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|||
сходимости или расходимости ряда. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
an 1 |
|
|
|
|
|
|
an 1 |
|
|
||||||||||||||
Доказательство. Пусть lim |
n |
|
|
q 1. Тогда 0 N ,что n N |
q |
. |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
an |
|
|
||||||
|
При малом |
|
|
|
0 q |
an 1 |
|
q 1. По конечной форме признака Даламбера ряд |
||||||||||||||||||||||
|
|
|
an |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an сходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an 1 |
|
|
|
an 1 |
|
|
|
|
||||||||||||||
|
Пусть lim |
n |
|
|
q 1. Тогда |
0 N ,что n N |
|
q |
. При |
малом |
||||||||||||||||||||
|
|
an |
|
an |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
1 q |
an 1 |
, |
то есть n N |
|
an 1 |
an . Поэтому an не стремится к нулю при |
n , |
||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||
|
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
необходимый признак сходимости ряда не выполнен, ряд an расходится.
n 1
Замечание. Признак Даламбера удобно применять, когда общий член ряда содержит произведение некоторых чисел или факториал.
Правда, если общий член ряда содержит факториал, то его можно заменить по формуле
n n
Стирлинга n!~ 2 n при n и применять второй признак сравнения.
e
n!
Пример. n 1 nn .
|
|
a |
n 1 |
|
|
(n 1)!nn |
|
nn |
|
|
|
1 |
|
|
1 |
1. Ряд сходится по |
||
lim |
|
|
lim |
|
|
lim |
|
|
lim |
|
|
|
|
|
|
|
||
n an |
n |
|
n (n 1)n |
n |
1 |
n |
|
|||||||||||
|
|
(n 1)n 1 n! |
|
|
e |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
признаку Даламбера.
enn!
Пример. n 1 nn
. Рассмотрим |
a |
n 1 |
|
en 1 n 1!nn |
e n 1 nn |
|
||
|
|
|
|
|
|
|
||
an |
(n 1)n 1 |
|
n 1 n 1 n |
|||||
|
|
enn! |
|
|||||
|
|
|
|
50 |
|
|
e |
|
1, так |
||
|
1 |
n |
|||
|
|||||
1 |
|
|
|
||
|
|
||||
n
|
1 n |
|
|
как последовательность 1 |
|
, монотонно возрастая, стремится к e |
при n , то |
|
|||
n
n N |
an 1 |
1 |
. Следовательно, n N |
an 1 an . Поэтому an не стремится к нулю |
|||||||
|
|||||||||||
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при n , необходимый признак сходимости ряда не выполнен, ряд an расходится. |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
Заметим, что |
lim |
n |
an 1 |
|
e |
|
|
|
1. Поэтому признак Даламбера в |
||
|
|
1 n |
|
||||||||
|
|
|
|
an |
|
|
|
||||
|
|
|
|
|
|
|
limn 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
n |
|
|
|
предельной форме не дает ответ о сходимости или расходимости ряда, хотя признак в конечной форме позволяет установить расходимость ряда.
Радикальный признак Коши.
Конечная форма радикального признака Коши.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть n N |
n |
|
|
|
|
|
q 1, тогда ряд an сходится. |
|
|
|
|
|
|
|
||||||||||||
an |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть n N |
|
|
|
|
|
|
|
q 1, тогда ряд an расходится. |
|
|
|
|
|
|
|
|||||||||||
n |
|
an |
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. |
|
|
Пусть n N n |
an |
|
q 1. Тогда |
an |
qn , q 1, |
ряд an |
сходится |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
по первому признаку сравнения с бесконечно убывающей геометрической прогрессией. |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Пусть n N |
|
|
n |
an |
q 1. |
Тогда |
|
an qn 1, |
ряд |
an расходится, |
так как |
|||||||||||||||
необходимый признак сходимости ряда не выполнен. |
|
n 1 |
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
Предельная форма радикального признака Коши. |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть limn |
|
|
|
q 1, |
тогда ряд an сходится. |
|
|
|
|
|
|
|
|
|||||||||||||
n |
an |
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть limn |
n |
an |
|
q 1, |
тогда ряд an расходится. |
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
Доказательство. Пусть limn |
|
|
q 1, тогда 0 |
|
|
|
|
. |
|
|||||||||||||||||
n |
an |
N, n N |
n |
an |
|
q |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
n |
an |
q 1 |
при малом |
. |
Ряд an сходится по конечной форме радикального |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
||
признака Коши.