46
суммы ограничены некоторой постоянной M. Следовательно, для всех n выполняется неравенство Sn 1 M. Тогда из неравенства (13) следует, что для всех∫nn
f(x) dx M:
1
Тем самым для любого b > 1
∫ b
f(x) dx M:
1
Из критерия сходимости несобственных интегралов от положительных функций следует, что в этом случае сходится несобственный
интеграл ∫ +1
f(x) dx:
1
Пример 18. Исследовать при каких сходится ряд
∑1 1 n :
n=1
При 0 ряд очевидно расходится, так как не выполнен необходимый признак сходимости. Пусть > 0. Применим интегральный признак Коши. Функция
f(x) =
1
x
удовлетворяет всем условиям сформулированным в этом признаке. Тем самым достаточно исследовать на сходимость несоб-
ственный интеграл |
∫1 |
+1 |
1 |
dx: |
|
x |
Эта задача рассматривалась ранее, и было доказано, что этот несобственный интеграл сходится при > 1. Тем самым исход-
ный ряд сходится при > 1.
47
Лекция 16 марта 2021 г.
26. Знакочередующиеся ряды. Признак Лейбница
Определение 12. Знакочередующимся рядом называется ряд ви-
äà
1 2 + 3 4 + : : : + ( 1)n+1 n + : : : ;
ãäå n > 0.
Теорема∑ 16 (признак Лейбница). Пусть дан знакочередующийся ðÿä 1n=1( 1)n+1 n, n > 0. Åñëè
1)n монотонно убывают,
2)limn!1 n = 0,
то ряд сходится.
Доказательство. Рассмотрим четные частичные суммы
S2n = 1 2 + : : : + 2n 3 2n 2 + 2n |
1 2n |
|
= S2n 2 + 2n 1 |
2n S2n 2: |
|
Тем самым четные частичные суммы монотонно возрастают. С другой стороны, они ограничены. Действительно,
S2n = 1 ( 2 3) : : : ( 2n 2 2n 1) 2n 1:
Следовательно, по теореме Вейрштрасса последовательность четных частичных сумм имеет предел
|
lim S2n = S: |
|
|
|
n!1 |
|
|
Íî S2n+1 = S2n + 2n+1. Поэтому в силу условия 2) |
|
||
lim S2n+1 |
= lim (S2n + 2n+1) = S: |
|
|
n!1 |
n!1 |
|
|
Отсюда следует, что |
|
|
|
|
lim Sn = S; |
|
|
|
n!1 |
|
|
что означает сходимость знакочередующегося ряда. |
|||
влетворяет условиям признака Лейбница. |
∑ |
S |
|
Следствие 4. Пусть знакочередующийся ряд |
n1=1( |
1)n+1 n óäî- |
|
Тогда для его суммы
справедливо неравенство
0 S 1:
Доказательство. При доказательстве признака Лейбница было доказано, что все четные частичные суммы удовлетворяют неравенствам
0 S2n 1:
Следовательно, и их предел, равный S, удовлетворяет тем же неравенствам.
|
|
|
|
|
|
|
n+1 |
n+2 + : : : : |
|
|
|
|
|
|
|||||||||||||
Обозначим его сумму через rn. Нетрудно убедиться, что jS |
Snj = |
||||||||||||||||||||||||||
rn. А из следствия 4 вытекает, что rn n+1. |
|
|
|
||||||||||||||||||||||||
Пример 19. Исследовать на сходимость ряд |
|
|
|
||||||||||||||||||||||||
|
1 |
|
1 |
+ |
1 1 |
+ : : : + ( 1)n+1 |
1 |
+ : : : : |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
2 |
3 |
|
4 |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
||||||||
Последовательность |
1 |
монотонно убывает. Кроме того, |
|||||||||||||||||||||||||
n |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
lim |
|
1 |
|
= 0: |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
n!1 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Следовательно, по признаку Лейбница ряд сходится. |
|
|
|||||||||||||||||||||||||
27. |
Абсолютная и условная сходимость |
|
|||||||||||||||||||||||||
ся, если сходится ряд |
∑n=1 janj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Определение 13. |
Ðÿä |
|
|
n1=1 an |
называется абсолютно сходящим- |
||||||||||||||||||||||
Определение 14. Ðÿä∑ n1=1 an |
называется условно сходящимся, |
||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
если сам ряд сходится, ∑ |
∑ |
n=1 j |
|
nj |
|
nj |
|
|
|
∑n=1 |
n |
|
|||||||||||||||
сходится. |
Если сходится |
∑n=1 j |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
à ðÿä |
|
1 |
|
|
a |
|
|
расходится. |
|
|
|||||||||||
Теорема 17. |
|
|
|
|
|
|
|
|
|
|
ðÿä |
|
|
|
1 |
|
|
a |
|
, òî ðÿä |
1 |
a |
также |
||||
неравенства |
|
Пусть ряд |
∑n=1 j |
|
nj |
|
|
|
|
|
|
|
|
|
|||||||||||||
Доказательство. |
|
|
|
|
|
|
|
|
|
1 |
|
|
a |
|
|
сходится. В силу очевидного |
|||||||||||
anj an janj
имеем
0 an + janj 2janj:
Отсюда следует, что ряд ∑1n=1(an + janj) является рядом с положи- тельными членами. Применяя к нему признак сравнения, получа- ем, что он сходится. В силу того, что ряд составленный из суммы (или разности) членов сходящихся рядов сходится, получаем, что ряд
an = |
((an + janj) j anj) |
n=1 |
n=1 |
сходится. |
|
Пример 20. Исследовать на абсолютную и условную сходимость ряды
49
(1)n+1
1.n .∑1
n=1
(1)n+1
2.n2 .∑1
n=1 |
|
|
|
∑ |
sin n |
|
|
1 |
|||
3. |
n2 . |
||
n=1 |
|||
|
|
||
1. В примере 19 было показано, что ряд сходится по признаку |
||||||||||||||||
ский ряд, является расходящимся. Таким |
∑ |
|
1 |
|
|
|
|
|
|
|||||||
Лейбница. Ряд, составленный из модулей |
1 |
гармониче- |
||||||||||||||
n=1 n |
||||||||||||||||
|
|
|
|
|
|
|
|
образом, исходный ряд |
||||||||
сходится условно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
мера 18 следует, что этот ряд сходится. Тем ∑ |
1 |
1 |
|
|
|
|||||||||||
2. Рассмотрим ряд, составленный из модулей |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
n=1 n2 . Èç ïðè- |
|||||
|
|
|
|
|
|
|
|
|
самым исходный |
|||||||
ряд сходится абсолютно. |
|
|
|
|
|
|
|
|
∑ |
|
|
|
|
|
||
Так как этот ряд является рядом с |
|
|
|
|
|
1 |
|
j sin n j |
|
|||||||
3. Рассмотрим ряд, составленный из модулей |
|
|
|
. |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
n2 |
|||
|
|
|
|
|
|
положительными членами, |
||||||||||
к нему можно применить признак сравнения. Имеем |
|
|
|
|
|
|||||||||||
|
|
j sin n j |
|
1 : |
|
|
|
|
|
|
|
|
|
|||
íî ïðè âñåõ 2 R. |
|
|
n2 |
n2 |
|
|
|
|
|
|
|
|
|
|
||
∑n=1 n2 исходный ряд сходится абсолют- |
||||||||||||||||
В силу сходимости ряда |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
28. Свойства абсолютно сходящихся рядов
Пусть дан ряд ∑1n=1 an. Переставив в нем члены произвольным
образом,∑ мы получим новый ряд, который будем обозначать через
1n=1 a′n.
Пусть ряд
áîãî L (конечного числа или 1) существует такая перестанов-
ка, для которой |
|
1 |
a′ |
= L. |
|
|
|
|
|
|
|
n=1 |
n |
|
|
|
|
|
|
Теорема 19. Пусть ряд |
1 |
a |
n сходится абсолютно. Тогда для |
||||||
|
∑ |
|
1 |
n=1 |
|
||||
любой перестановки |
a |
|
1 |
a |
n |
. |
|||
n=1∑n′ = |
|
n=1 |
|
|
|||||
его сумма равна .
Теорема 20. |
абсолютно сходятся ряды |
|
1 |
a |
n |
= A è |
|||||
|
|
|
Пусть∑ |
|
∑ |
|
|
n=1 |
|
|
|
|
1 |
. Тогда ряд |
|
1 |
тоже сходится абсолютно и |
||||||
∑ |
n=1 bn = B |
|
AB |
∑ |
n;k=1 anbk |
|
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
29. Функциональные последовательности. Поточечная сходимость
Пусть имеется последовательность функций (функциональная последовательность) f1(x); : : : ; fn(x); : : : с одной и той же областью определения для каждой из функций.
50
Определение 15. Говорят, что функциональная последовательность сходится в точке x0 к функции f(x), åñëè
lim fn(x0) = f(x0) (fn(x0) ! f(x0)):
n!1
Определение 16. Областью сходимости функциональной последовательности называют все точки x, при которых эта последо-
вательность сходится.
Пример 21. Рассмотрим последовательность функций
|
|
|
|
|
< |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn(x) = |
81 nx; |
0 x < n; |
||||||||||||
|
|
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
x |
|
1: |
|||||
|
|
|
|
|
>0; |
|
|
|
|||||||
|
|
|
|
|
> |
|
n |
|
|
|
|
|
|||
|
y |
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
1 |
|
qDD |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
DDDD fn(x) |
|
1q |
|
|
|
|
|
|
|
|||
|
0 |
|
q |
nq |
|
|
|
|
|
x |
|||||
|
|
|
|
DDD |
|
|
|
|
|
|
|
- |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ðèñ. 42 |
|
|
|
|
|
|
|
|
|
|
Нетрудно убедиться, что |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
1; |
|
|
x = 0; |
|
|
|
||||
|
fn(x) ! f(x) = {0; x |
2 |
(0; 1]: |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
y 6 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
1 q |
|
|
|
|
|
|
|
|
|
|
|
|
||
0 q |
f(x) |
|
|
1q |
x |
||
|
|
- |
|
Ðèñ. 43