Числовые и функциональные ряды. Учебно-методическое пособие
.pdf
|
1 |
|
|
1 |
n |
|
|
|
|
lim |
|
2 |
0 |
|
e q 0. |
||||
|
lim 1 |
n |
|
|
|||||
|
|
||||||||
n |
n 1 n |
|
|
|
|
|
|
||
Так как q 1, |
то по теореме 2.5 (признак Даламбера) данный ряд |
||||||||||||||||||||||||||||||||||||||
сходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2-й способ. Согласно формуле (2.4) получаем |
|
|
|
|
|||||||||||||||||||||||||||||||||||
lim |
n an lim |
|
n |
|
lim |
|
|
|
n |
lim |
|
|
|
e |
|
q 0. |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|||||||||||||||||||||||||
n |
|
|
|
|
n n n! |
|
|
|
n n / e |
|
n |
|
|
|
|
|
|
|
|||||||||||||||||||||
Так как q 1, |
то по теорме 2.6 (признак Коши) данный ряд сходит- |
||||||||||||||||||||||||||||||||||||||
ся. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Задача 2.10. Исследовать на сходимость ряд |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
2 1! |
|
22 |
2! |
|
23 |
3! |
|
... |
2n n! |
... . |
|
|
|||||||||||||||||||||||
|
|
|
|
|
1 |
|
2 |
2 |
|
|
|
|
3 |
|
|
n |
n |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
1-й способ. Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
a |
|
|
2n n! |
, a |
n 1 |
|
2n 1 (n 1)! |
, |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
n |
|
|
|
nn |
|
|
|
|
|
|
|
|
|
(n 1)n 1 |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
a |
n 1 |
|
2n 1 (n 1)! |
|
|
|
nn |
|
|
|
|
|
2nn |
|
|
|
|
|
|
2 |
|
. |
||||||||||||||||
|
|
|
(n 1)n 1 |
|
|
2n |
n! |
(n 1)n |
|
|
|
|
1 |
n |
|||||||||||||||||||||||||
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
n |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Вычислим |
|
|
|
|
|
|
|
|
an 1 |
|
|
|
|
|
2 |
|
|
|
|
|
2 q. |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
n |
|
an |
|
|
|
|
|
|
|
1 |
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Так как q 1, то по теореме 2.5 (признак Даламбера) данный ряд
сходится.
2-й способ. Применим теорему 2.6 (признак Коши) с использованием формулы (2.4).
Вычислим
|
|
|
|
|
|
1 |
|
lim |
n a |
lim |
|
2n n! n |
|
||
|
|
|
|
||||
|
n |
||||||
n |
n |
|
n |
|
|||
|
n |
|
|
|
|||
21
lim |
2 n n! |
2 lim |
n / e |
|
2 |
q. |
|
n |
n |
e |
|||||
n |
n |
|
|
Так как q 1, то по теореме 2.6 (признак Коши) данный ряд схо-
дится.
Задача 2.11. Исследовать на сходимость ряд
|
|
1 |
|
|
1 3 1 |
|
|
1 3 5 1 |
|
|
1 3 5 7 1 |
... |
(2n 1)!! 1 ... . |
|
|
||||||||||||||||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
2 4 2 |
2 4 6 3 |
|
2 4 6 8 4 |
|
|
(2n)!! |
n |
|
|
||||||||||||||||||||||||
Решение. Отметим, что по определению |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
(2n)!! |
2 4 6 8 ... 2n 2n n!, |
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
(2n 1)!! 1 3 5 7 ... (2n 1) |
|
(2n)! |
|
|
(2n)! |
, |
|
n . |
(2.5) |
||||||||||||||||||||||||||
|
|
(2n)!! |
|
|
|
|
|
||||||||||||||||||||||||||||||
Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2n n! |
|
|
|
|
||||||||||||
|
|
|
|
|
(2n 1)!! |
1 , |
|
|
|
|
|
(2n 1)!! |
|
|
|
1 |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
an |
an 1 |
|
|
|
|
|
, |
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
(2n 2)!! |
n |
1 |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
(2n)!! |
n |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
a |
n 1 |
|
|
|
(2n 1)!! |
|
|
1 |
|
|
|
n(2n)!! |
|
|
|
|
(2n 1)n |
|
|
|
|
2n2 n |
|
. |
||||||||||||
|
an |
(2n 2)!! |
n 1 |
(2n 1)!! |
(2n 2) (n 1) |
2n2 4n 2 |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Вычислим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
lim |
a |
n 1 |
lim |
|
|
2n2 |
|
n |
1 q. |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
2n2 |
4n 2 |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
n |
an |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Так как q 1, то теорема 2.5 (признак Даламбера) не дает ответа на
вопрос о сходимости исходного ряда (может оказаться, что ряд или сходится, или расходится).
Применим теорему 2.7 (признак Раабе). Вычислим
|
|
a |
n |
|
|
|
2n2 4n 2 |
|
|
|
|
||||
lim n |
|
1 |
lim n |
|
|
|
|
|
1 |
|
|
|
|||
|
|
|
|
2n2 |
n |
|
|||||||||
n |
an 1 |
|
|
n |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
3n2 2n |
|
3 |
q. |
|
|
|
|
||
|
|
|
|
|
2n2 n |
2 |
|
|
|
|
|||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
||
Так как q 1, то согласно признаку Раабе исходный ряд сходится.
22
Задача 2.12. Исследовать на сходимость ряд
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nn!ep , |
|
p . |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Решение. Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
an |
|
n! en |
, |
|
|
an 1 |
(n 1)! en 1 |
, |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
nn p |
|
|
(n 1)n 1 p |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
a |
n |
|
|
n!en |
(n 1)n 1 p |
|
1 |
|
1 n p |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
nn p |
|
(n 1)!en 1 |
|
e |
1 |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
an 1 |
|
|
|
n |
|
|
|
|
|
|
|
|||||||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
exp |
|
|
|
|
|
|
|
|
1 |
|
|
||||||
e |
exp (n p) ln 1 |
|
|
|
1 (n |
p) ln 1 |
n |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
1 |
|
p 1 / 2 |
|
|
1 |
|
|
||||||||
exp 1 |
(n p) |
|
|
|
|
|
|
|
o |
|
|
exp |
|
|
|
o |
|
|
|||||||||||||||||
|
|
2n2 |
|
|
|
|
n |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
n2 |
|
|
|
|
|
n |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
p 1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
o |
при |
n |
. |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Вычислим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
a |
n |
|
|
|
|
|
|
|
|
|
|
p 1 / 2 |
|
|
1 |
|
|
|
1 |
|
|
|
||||||||
lim n |
|
|
1 |
lim |
n |
|
|
|
|
|
|
n o |
|
|
p |
|
|
q. |
|
||||||||||||||||
a |
|
|
|
|
n |
|
2 |
|
|||||||||||||||||||||||||||
n |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
||||||||||||
|
|
|
|
n |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Согласно теореме 2.7 (признак Раабе) данный ряд будет сходиться,
если q 1, |
т.е. p 1 |
1, |
или p |
3 ; |
расходиться, если q 1, т.е. |
||||||||||||||
p 3 . |
|
|
|
|
2 |
|
3 |
|
|
|
|
|
2 |
|
|
|
|
|
|
При q 1, |
т.е. |
p |
, |
требуется дополнительное исследова- |
|||||||||||||||
2 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
ние. |
|
|
|
|
|
|
|
|
|
|
|
n! en |
|
|
|
||||
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|||||
При p |
|
получаем ряд |
|
|
|
|
|
. Используя формулу Стир- |
|||||||||||
2 |
n |
n 3/ 2 |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|||
линга (2.3), запишем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
n!en |
|
|
n |
n |
|
|
en |
|
|
|
|
2 n |
|
2 |
при n . |
||
an |
|
|
|
|
2 n |
|
|
|
|
|
|
|
|
|
|
|
|
||
nn 3/2 |
|
nn 3/ 2 |
|
n3/2 |
n |
||||||||||||||
|
|
|
|
e |
|
|
|
|
|
|
|||||||||
23
Так как 1, то по теореме 2.4 (частный признак сравнения) этот ряд расходится.
Таким образом, исходный ряд сходится, если p 32 , и расхо-
дится, если p 32 .
Задача 2.13. Исследовать на сходимость обобщеннй гармонический ряд
|
1 |
|
|
|
|
, |
p . |
||
p |
||||
n 1 |
n |
|
||
Решение. Если p 0, то функция
f (x) x1p
положительна и убывает на промежутке [1, ), поэтому согласно
теореме 2.8 (интегральный признак Коши–Маклорена) ряд 1p
n 1 n
и несобственный интеграл dx либо оба сходятся, либо оба рас-
1 x p
ходятся.
При p 0, p 1 имеем
|
|
|
|
|
B |
|
|
|
|
1 p |
|
B |
||
|
|
|
|
|
|
|
|
|
||||||
|
|
dxp |
lim |
|
|
dxp |
lim |
x |
|
|
||||
|
|
|
||||||||||||
|
|
1 |
x |
B |
1 |
x |
|
B 1 p |
|
1 |
||||
|
|
|
|
1 |
|
|
|
|
1 |
при |
|
p 1; |
||
|
|
|
|
1 p |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
||||||
lim |
|
|
|
|
(B |
1) |
p 1 |
|
|
|
||||
|
1 |
p |
|
|
|
|||||||||
B |
|
|
|
|
|
|
|
0 p 1. |
||||||
|
|
|
|
|
|
|
|
|
|
при |
|
|||
Поэтому при p 1 интеграл (и ряд) сходится, а при 0 p 1 – расходится.
24
При p 1 получим
|
dx |
|
|
B |
dx |
|
|
|
1B lim |
|
|
|
lim |
|
lim |
ln x |
|
ln B , |
|||
|
||||||||||
1 |
x |
|
B |
1 |
x |
B |
|
|
B |
|
т.е. интеграл (и ряд) расходится. Если p 0, то
|
lim a |
n |
lim |
|
1 |
|
|
lim n p |
0, |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
n |
|
|
|
n n p |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|||
поэтому по следствию 1.1 из теоремы 1.3 ряд |
расходится. |
||||||||||||||||||||||||||||
|
p |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
|
|
|
||
Таким образом, исходный ряд сходится, если |
p 1, и расходит- |
||||||||||||||||||||||||||||
ся, если p 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Задача 2.14. Исследовать на сходимость ряд |
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
, |
|
p . |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
p |
n |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
n 2 |
|
|
n ln |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Решение. При |
p 0 |
|
|
функция |
|
f (x) |
|
|
1 |
|
|
положительна и |
|||||||||||||||||
|
|
|
|
xln p x |
|
||||||||||||||||||||||||
убывает на промежутке [2, ), |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
поэтому согласно теореме 2.8 (ин- |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
тегральный признак Коши–Маклорена) ряд |
|
|
|
и несоб- |
|||||||||||||||||||||||||
|
|
p |
n |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 2 |
n ln |
|
||||||
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ственный интеграл |
|
|
|
|
|
|
либо оба сходятся, |
|
либо оба расхо- |
||||||||||||||||||||
|
|
|
p |
|
|
|
|
||||||||||||||||||||||
|
2 |
x ln |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
дятся. Исследуем такой интеграл на сходимость. |
|
|
|
|
|
|
|||||||||||||||||||||||
Запишем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B d (ln x) |
|
|
|
|
|||||
|
dx |
|
|
|
|
d (ln x) |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
lim |
|
|
p |
|
|
. |
|
|
|
|||||
x ln |
p |
x |
|
ln |
x |
|
ln |
x |
|
|
|
|
|||||||||||||||||
2 |
|
|
|
|
2 |
|
|
|
B |
2 |
|
|
|
|
|
|
|||||||||||||
Пусть ln x t, тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
x1 2 |
|
|
|
t1 ln 2, |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
x2 B t2 ln B. |
|
|
|
|
|
|
|
|
||||||||||||||||||
25
Имеем
|
dx |
|
|
ln B |
dtp |
|
|
t |
1 p |
|
ln B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
lim |
|
lim |
|
|
|
|
, |
|
|
||||
p |
x |
|
|
|
|
|
|
|
|||||||
2 |
x ln |
B |
ln 2 |
t |
B 1 p |
|
ln 2 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
если 1 p 0, |
т.е. |
p 1. При |
0 p 1 |
имеем |
|
|
. От- |
||||||||
|
p |
x |
|||||||||||||
метим, что при |
|
|
|
|
|
|
|
|
2 |
|
x ln |
|
|||
p 0 интегральный признак Коши–Маклорена |
|||||||||||||||
также можно применить, однако проще использовать теорему 2.2 (1-й признак сравнения), согласно которой ряд расходится, так как при n 2, p 0 справедлива оценка
ln p n ln p 2 . n n
Таким образом, исходный ряд сходится, если p 1, и расходит-
ся, если |
p 1. |
|
|
|
|
|
|
|
|
|
|
|
|
Задача 2.15. Исследовать на сходимость ряд |
|
||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
||
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
n 2 |
|
ln n! |
|
|
|
|
|
Решение. При n 2 |
справедливо неравенство |
ln n! n ln n. По- |
|||||||||||
этому запишем |
|
|
|
|
1 |
|
|
|
1 |
|
|
||
|
|
|
b |
|
|
a |
|
. |
|
||||
|
|
|
|
|
|
|
|||||||
|
|
|
n |
|
n ln n |
|
n |
|
ln n! |
|
|||
|
|
|
|
|
|
|
|
|
|
||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
Ряд bn |
расходится согласно теореме 2.8 (интеграль- |
||||||||||||
n ln n |
|||||||||||||
n 2 |
n 2 |
|
|
|
|
|
|
|
|
|
|
||
ный признак Коши–Маклорена, см. задачу 2.14). Поэтому согласно
|
|
|
|
|
|
|
|
1 |
|
теореме 2.2 (1-й признак сравнения) исходный ряд an |
|||||||||
ln n! |
|||||||||
также расходится. |
|
|
|
|
|
n 2 |
n 2 |
||
|
|
|
|
|
|
|
|
||
Задача 2.16. Исследовать на сходимость ряд |
|
|
|||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
||
ln |
2 |
|
1 |
|
|
|
|||
n 1 |
|
sin |
n |
|
|
|
|||
|
|
|
|
|
|
|
|||
26
Решение. Поскольку
|
|
|
sin x |
2x |
|
|
0, |
|
|
|
|
||
|
|
|
|
|
x |
, |
|
|
|
||||
то |
|
|
|
|
|
|
|
2 |
|
|
|
||
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
sin |
|
n . |
|
|
|
|||||
|
|
|
n |
n |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
1 |
|
n |
||||
ln sin |
n |
|
ln |
|
|
|
, |
ln sin |
|
ln |
2 |
. |
|
|
|
||||||||||||
|
|
|
n |
|
|
|
n |
|
|
||||
Поскольку обе части последнего неравенства положительны, то
|
|
|
|
|
|
|
|
|
ln |
2 |
|
1 |
|
2 n |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
sin |
n |
ln |
|
2 |
. |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Отсюда с учетом неравенства |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
ln |
|
n |
|
n |
|
n , |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
||
получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
2 |
|
1 |
при n . |
||
|
ln |
2 |
|
1 |
ln |
2 |
|
n |
|
|
n |
n ln n |
||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
sin |
|
|
|
|
2 |
|
|
n ln |
2 |
|
|
|
|
|
|
|
||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Так как p 1, то ряд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
n ln |
2 |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
расходится (см. задачу 2.14). Поэтому согласно теореме 2.2 (1-й признак сравнения) исходный ряд также расходится.
27
3. Знакопеременные числовые ряды. Признаки сходимости.
Абсолютная и условная сходимости
Определение 3.1. Числовой ряд
|
|
an |
(3.1) |
n 1
называется абсолютно сходящимся, если сходится ряд из модулей
|
|
an . |
(3.2) |
n 1
Определение 3.2. Числовой ряд an называется условно схо-
n 1
дящимся, если ряд (3.1) сходится, а ряд из модулей (3.2) расходится.
Теорема 3.1. Из сходимости ряда из модулей (3.2) вытекает сходимость исходного ряда (3.1).
Теорема 3.2 (теорема Дирихле). Если данный ряд сходится абсолютно, то любой ряд, полученный из данного ряда посредством некоторой перестановкой членов, также сходится абсолютно и имеет ту же сумму, что и исходный ряд.
Теорема 3.3 (теорема Римана). Если ряд сходится условно, то путем соответствующей перестановки его членов можно получить ряд с наперед заданным значением суммы (и даже расходящийся ряд).
Теорема 3.4 (признак Лейбница). Ряд
|
|
|
|
|
an ( 1)n 1 bn |
(3.3) |
|
|
n 1 |
n 1 |
|
сходится, если: |
|
|
|
1) bn 0, |
n ; |
28 |
|
|
|
|
|
2) последовательность bn монотонно убывает, т.е. b1 b2 b3 ... bn ...;
3) lim bn 0.
n
Замечание 3.1. В условиях признака Лейбница для n-го остатка ряда (3.3)
rn S Sn ( 1)k 1 bk ( 1)n bn 1 ( 1)n 1 bn 2 ...
k n 1
справедлива оценка
rn bn 1.
Замечание 3.2. Знакочередующийся ряд, удовлетворяющий условиям теоремы 3.4, часто называют рядом Лейбница.
Более тонкими признаками сходимости знакопеременных рядов являются признаки Дирихле и Абеля.
Теорема 3.5 (признак Дирихле). Ряд unvn сходится, если
n 1
выполняются следующие условия:
1) последовательность {un} монотонно стремится к нулю при n ;
2) частичные суммы ряда vn ограничены в совокупности, т.е.
n 1 |
|
|
|
n |
|
|
|
|
M 0, такое, что n выполнено неравенство |
vk |
M . |
|
k 1 |
|
Теорема 3.6 (признак Абеля). Ряд unvn сходится, если вы-
n 1
полняются следующие условия:
1) последовательность {un} монотонна и ограничена;
2) ряд vn сходится.
n 1
29
Задача 3.1. |
|
а) Доказать, что не |
существует абсолютно сходящегося ряда |
|
|
an , для которого ряд |
an2 расходится. |
n 1 |
n 1 |
б) Привести пример условно сходящегося ряда an , для кото-
n 1
рого ряд an2 расходится.
n 1
Решение.
а) 1-й способ. Будем доказывать методом от противного, т.е.
предположим, что существует абсолютно сходящийся ряд an ,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
для которого ряд |
an2 – расходящийся. Тогда согласно теоре- |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
ме 1.3 |
|
(необходимое |
условие |
сходимости числового ряда) |
|||||||||||||
lim |
|
an |
|
0. |
Поэтому |
n0 , такой, |
что |
|
n n0 выполнено не- |
||||||||
|
|
||||||||||||||||
n |
|
|
|
|
|
a |
|
|
|
Отсюда имеем a2 |
|
a |
|
|
, n n . По теореме 2.2 |
||
|
|
|
|
|
|
|
|
|
|
||||||||
равенство |
|
n |
|
1. |
|
n |
|
||||||||||
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
0 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1-й признак сравнения) ряд an2 |
сходится. Полученное противо- |
||||||||||||||||
n 1
речие доказывает утверждение.
2-й способ. Будем опять доказывать методом от противного.
Последовательность частичных сумм Sn(1) |
|
|
||||||||||||||||||||
|
ряда |
|
an |
|
является |
|||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
||||
ограниченной сверху по |
теореме |
2.1. Частичные суммы рядов |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
an |
|
и an2 соответственно имеют вид |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||
n 1 |
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
S (1) |
|
a |
|
|
|
a |
|
... |
|
a |
n |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
n |
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S (2) |
a2 |
a2 |
... a2 . |
|
|
|
|
|
|
|||||||||
|
|
|
|
n |
1 |
2 |
|
|
|
n |
|
|
|
|
|
|
||||||
30
