Лекции по рядам и кратным интегралам ФН, II курс, 3 семестр
Пугачев О.В.
осень 2013
ÐßÄÛ
1.Сходимость числовых рядов
2.Признаки сходимости знакоположительных рядов
3.Признаки сходимости знакопеременных рядов
4.Функциональные ряды
5.Степенные ряды
6.Разложение функций в степенные ряды
7.Применение степенных рядов
8.Евклидовы пространства и ряды Фурье
9.Среднеквадратичная сходимость рядов Фурье
10.Поточечная сходимости рядов Фурье и свойства коэффициентов
КРАТНЫЕ И КРИВОЛИНЕЙНЫЕ ИНТЕГРАЛЫ И ТЕОРИЯ ПОЛЯ
11.Кратные интегралы
12.Способы вычисления кратных интегралов
13.Приложения двойных и тройных интегралов
14.Криволинейные интегралы I и II рода
15.Площадь поверхности
16.Поверхностные интегралы I и II рода
17.Циркуляция и формула Грина
18.Дивергенция. Теорема Остроградского Гаусса
19.Ротор и теорема Стокса
20.Теория поля (итоговая лекция)
21.Несобственные кратные интегралы
22.Свертка периодических функций (дополнительная лекция)
Запрещено печатать форматом мельче А5 или фотографировать.
0
1Сходимость числовых рядов
Рядом называется выражение |
∞ |
|
R. (Eсли пишут |
∞ |
an, |
an |
n=m an, m > 0, òî |
||
|
X |
|
|
P |
|
n=0 |
|
|
|
подразумевается, что aj = 0 ïðè 0 ≤ j < m). Частичными суммами ряда называ-
|
N |
|
nP |
ются суммы SN = |
=0 an, N N. |
Определение 1.1. Говорят, что ряд
имеют конечный предел S = lim SN
ряда и пишут
N→∞
∞
P
an сходится, если его частичные суммы
n=0
R; в этом случае число S называют суммой
∞
X
S = an.
n=0
Если же предел частичных сумм бесконечен или не существует, то говорят, что ряд расходится.
∞ |
|
n X |
an N−→ 0. |
Если ряд сходится, то остаток ряда rN = S − SN = |
|
=N+1 |
→∞ |
∞
Пример 1.1. Рассмотрим ряд Xqn, ãäå |q| < 1. Вычислим его частичные суммы:
|
|
|
n=0 |
|
|
|
|
|
SN = 1 + q + . . . + qN = |
1 + q + . . . + qN − q − q2 − . . . − qN+1 |
= |
1 − qN+1 |
. |
||||
|
1 − q |
|
|
|
||||
|
|
|
|
|
1 − q |
|||
Ïðè N → ∞ имеем SN → |
1 |
|
|
S = |
1 |
|
|
|
|
|
|
|
|||||
1 − q . Итак, ряд сходится, и его сумма |
1 − q . |
∞
Критерий Коши: ряд P an сходится в том и только том случае, когда ε > 0
n=0
|
|
|
N |
K N : ïðè N > M ≥ K имеем |
|
P |
an |
< ε. |
|
|
|
|
n=M+1
Доказательство. Применим критерий Коши существования конечного предела к |
|
последовательности частичных сумм {SN }N∞=0, поскольку |
N |
M+1 an = SN − SM . |
|
|
n=P |
Свойства сходящихся рядов
∞
Необходимый признак сходимости. Для того, чтобы ряд P an сходился, необ-
n=0
ходимо условие an → 0 ïðè n → ∞.
Доказательство. Пусть ряд сходится. При n → ∞ имеем Sn → S è Sn−1 → S, ãäå S R. Тогда an = Sn − Sn−1 n−→∞→ S − S = 0.
1
При помощи этого признака можно доказывать расходимость, но доказать через него сходимость нельзя!
Пример: ряд 1 − 1 + 1 − 1 + 1 − 1 + . . . расходится, так как ±1 9 0.
|
|
|
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
|||
Контрпример: ряд |
X |
√ |
|
|
|
|
|
|
|
||||||||
n |
|
удовлетворяет необходимому признаку, но расходится, |
|||||||||||||||
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
n=1 |
|
|
|
N √ |
|
|
|
|
|
|
|||||
поскольку |
X |
1 |
|
|
|
|
. |
|
|
||||||||
|
SN = |
√ |
|
> |
√ |
|
= N → ∞ |
|
|
|
|||||||
|
n |
N |
|
|
|
||||||||||||
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
сходимости ряда |
∞ |
an. |
|
|
∞ |
|
|||||||||||
|
|
nP |
|
||||||||||||||
Независимость от первых K слагаемых. Сходимость ряда |
an равносильна |
||||||||||||||||
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
=0 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
N |
N |
|
|||
|
|
=K |
|
|
|
|
|
|
|
|
|
|
P |
nP |
|
||
Это следует из того, что при всех N ≥ K |
n=0 an − |
=K an = const. |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
∞ |
|
∞ |
|
Линейность. Если сходятся ряды n=0 an è n=0 bn, òî c, k R ðÿä |
=0(c an + k bn) |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
P |
|
nP |
∞∞
P |
P |
сходится, и его сумма равна c an + k |
bn. |
n=0 |
n=0 |
Утверждение вытекает из того, что при каждом N N выполнено соотношение
N |
N |
N |
nP |
P |
P |
(c an + k bn) = c |
an + k bn. |
|
=0 |
n=0 |
n=0 |
Определение 1.2. Ряд |
∞ an абсолютно сходится, если сходится ряд |
|
|
|
nP |
|
|
=0 |
Теорема 1.1. Если ряд абсолютно сходится, то он сходится, причем
∞
P
|an|.
n=0
∞ |
an ≤ |
∞ |
|an|; |
|
rM |
|
≤ |
∞ |
|an|. |
(1) |
X |
|
X |
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
n=0 |
n=M+1 |
|
∞ |
|
|
Доказательство. Если =0 |an| сходится, то по критерию Коши ε > 0 K N : |
|||
|
N nP |
|
|
|
n=P |
|
|
N > M ≥ K имеем |
M+1 |an| < ε. Тогда N > M ≥ K получаем |
||
|
|
N |
N |
XX
|
an ≤ |
|an| < ε, |
n=M+1 n=M+1
откуда по критерию Коши вытекает сходимость ряда из an-ûõ. Второе утверждение
получается переходом к пределу при N → ∞ в неравенстве |
n=0 an |
≤ n=0 |an| èëè |
|
|
N |
|
N |
|
|
P |
|
|
P |
|
|
|
|
|
|
NN
P an ≤ P |an|, выполненном при всех N N.
n=M+1 n=M+1
Ряд из неотрицательных слагаемых называют знакоположительным. 2
(конечному или бесконечному) ñóìì |
∞ |
|
nP |
|
|
Лемма 1.1. Если ряд знакоположительный, то его сумма S = an равна супремуму |
||
|
=0 |
|
k |
|
|
Xani , ãäå 0 ≤ n0 < n1 < n2 < . . . < nk, |
k N. |
(2) |
i=0 |
|
|
Доказательство. Поскольку слагаемые ряда неотрицательны, его частичные суммы не убывают; если при этом они ограничены сверху, то имеют конечный предел S, а
если неограничены, то S = +∞. Супремум частичных сумм также равен S, à ïîñ-
|
k |
|
nk |
k |
k |
|
|
iP |
|||
кольку частичные суммы входят во множество сумм (2) (взяв ni = i), òî S ≤ sup |
=0 ani . |
||||
С другой стороны, |
Xi |
ani |
≤ |
an ≤ S = sup ani ≤ S. |
|
|
|
X |
X |
|
|
|
=0 |
|
n=0 |
i=0 |
|
Поскольку множество всех конечных сумм (2) не меняются при перестановках слагаемых, мы получаем такое важное следствие:
Теорема 1.2. Сумма знакоположительного ряда не меняется при перестановке |
||
∞ |
|
∞ |
X |
|
X |
слагаемых. Т.e., если N0 = N {0}, è σ : N0 7→N0 биекция, то |
aσ(n) = |
an. |
n=0 |
|
n=0 |
То же верно и для знакопеременного абсолютно сходящегося ряда, поскольку его можно представить как разность двух сходящихся знакоположительных рядов: an =
a+ |
− |
a−, ãäå a+ = max |
a |
; 0 , a− = max |
|
a |
; 0 . |
|
|
|
|
|
|
|||||||||||||||||
n |
n |
|
n |
{ |
n |
} |
|
n |
{− |
|
n |
} |
|
|
|
|
|
|
|
|||||||||||
Определение 1.3. Ряд |
∞ an условно сходится, если он сходится, но ряд из |
|||||||||||||||||||||||||||||
|
|
|
∞ |
|
|
|
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
модулей |
=0 |an| расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
nP |
|
|
|
|
|
|
1 |
|
1 |
1 |
|
1 |
1 |
|
|
1 |
|
|
|||||||||
Пример 1.2. Ряд 0 + 1 − 1 + |
|
|
|
− |
|
+ |
|
|
− |
|
|
|
+ |
|
|
− |
|
+ . . . сходится, и его сумма = 0, |
||||||||||||
2 |
|
2 |
3 |
3 |
4 |
4 |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
n−→ 0. Но сходиться абсолютно он не будет: для его |
||||||||||||||||||||
поскольку S2n = 0, S2n−1 |
= |
|
|
|||||||||||||||||||||||||||
n |
|
|||||||||||||||||||||||||||||
ряда из модулей имеем |
|
|
|
|
→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
S2n = 2 |
1 |
|
|
1 |
|
|
n |
2 |
|
|
|
|
|
n |
k + 1 |
= 2 ln(n + 1) n−→→∞ +∞. |
||||||||||||
|
|
1 + 2 |
+ . . . + n |
= k=1 k |
> 2 k=1 ln |
k |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
X |
|
|
|
|
|
|
||||
|
Если ряд сходится условно, то при перестановке слагаемых его сумма может изме- |
|||||||||||||||||||||||||||||
ниться. Более того, верна следующая удивительная теорема 1 |
||||||||||||||||||||||||||||||
Теорема 1.3. Если ряд сходится условно, то C [−∞; +∞] существует биекция |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
σ : N0 7→N0, такая, что |
|
aσ(n) = C. Кроме того, существует биекция σ : íå |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
существует предел |
lim |
|
aσ(n). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
N→∞ n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1доказательство см. Е.А.Власова, ½Ряды
3
Пример 1.3. Переставим слагаемые ряда из примера (1.2) следующим образом:
1 − 1 + |
|
1 |
+ |
1 |
− |
1 |
− |
1 |
|
+ |
1 |
+ |
1 |
+ |
1 |
+ |
1 |
− |
1 |
− |
1 |
− |
1 |
− |
1 |
+ . . . . |
. |
. + . . . |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
2 |
3 |
2 |
3 |
|
4 |
5 |
6 |
7 |
4 |
5 |
6 |
7 |
|||||||||||||||||||||||||||
|
|
|
|
|
|
| {z } |
||||||||||||||||||||||||||||||||||
|2 |
{z } |
|
|
4 слагаемых |
|
|
|
|
|
|
|
|
|
|
|
8 слагаемых |
|
|
|
|
|
|
|
|
||||||||||||||||
|
ñëàã. |
| |
|
|
|
{z |
|
|
|
} |
|
| |
|
|
|
|
|
|
|
|
|
|
{z |
|
|
|
|
|
|
|
|
|
} |
16 ñëàã. |
Если взять частичную сумму, остановившись в конце блока, то получим 0. Если |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
же остановиться в середине k-го блока, то получим частичную сумму = |
|
1 |
|
+ . . . + |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
2k−1 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
1 |
|
> 2k−1 |
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
· |
|
|
= |
|
|
. Таким образом, частичные суммы ∞ раз принимают значения |
||||||||||||||||||||||||||||||||||||||||||||||
|
2k |
1 |
2k |
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||
0 |
è−значения |
> 1/2 = |
предел не существует, т.е. ряд расходится. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
Теперь переставим тот же ряд по-другому: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
1 |
|
1 |
1 |
1 |
1 |
1 |
1 |
|
|
1 |
|
1 |
1 |
|
1 |
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
1 − 1 + |
|
|
+ |
|
|
|
− |
|
|
+ |
|
+ |
|
+ |
|
|
|
+ |
|
− |
|
+ |
|
|
+ |
|
+ . . . + |
|
|
− |
|
|
+ . . . |
|
|
|
|||||||||||||||
|
|
|
|
2 |
3 |
2 |
4 |
5 |
6 |
7 |
3 |
8 |
9 |
15 |
4 |
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
0 |
ñëàã. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
21+1 ñëàã. |
|
|
|
|
22+1 слагаемых |
|
|
|
|
|
|
23+1 слагаемых |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
2 |+1{z } |
|
|
| |
} |
|
| |
|
} |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
| |
|
|
{z |
} |
|
|
{z |
|
|
|
|
|
|
|
|
{z |
|
|
|
|
|
|
|
|||||||||||||||||||||||
Сумма слагаемых в k-ом блоке превышает 2k−1 · |
|
|
|
1 |
|
1 |
|
|
|
1 |
|
|
1 |
|
|
1 |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
− |
|
> |
|
− |
|
≥ |
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
2k |
|
|
1 |
k |
2 |
k |
4 ïðè |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
. Следовательно, и те частичные суммы, где |
суммирование остановилось перед |
|||||||||||||||||||||||||||||||||||||||||||||||||||
k ≥ |
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
отрицательным слагаемым, и те, где остановилось сразу после такого, будут стремиться к +∞. Остальные частичные суммы оцениваются сверху и снизу через них. Итак,
ряд расходится к S = +∞.
В примере 1.3 мы сначала переставляли слагаемые в блоках растущей длины, а затем вне каких-либо блоков. Однако, если слагаемые сходящегося ряда переставлять внутри блоков ограниченной длины, то сумма ряда меняться не будет. Это вытекает
èç òîãî, ÷òî an → 0, и из следующей леммы.
Лемма 1.2. Пусть ряд |
∞ |
|
|
|
|
|
|
n=0 an сходится, его сумма равна S, и пусть 0 ≤ n0 < n1 < |
|||||||
|
|
P0 |
|
|
n |
k |
∞ |
сходится, и его сумма |
|
n |
|
S |
|
P |
|
|
P |
|
P |
||||
n2 < . . . Обозначим A0 |
= |
ai; |
Ak = |
|
ai ïðè k N. Тогда ряд |
Ak òîæå |
|
|
|
i=0 |
|
i=nk−1+1 |
k=0 |
||
|
также равна . |
|
|
|
|||
Это следует из того, что |
m |
Ak = nm an → S ïðè m → ∞. |
|
||||
|
|
|
kP |
P |
|
|
|
|
|
|
=0 |
n=0 |
|
|
|
4
2Признаки сходимости знакоположительных рядов
∞
При исследовании знакопеременного ряда P an на сходимость всегда надо начинать
n=0
∞
с исследования ряда из модулей P |an| (на схеме зеленые блоки): если он сойдется,
n=0
то исходный ряд сходится абсолютно, и только если ряд из модулей разойдется, то потребуется проверять сходимость знакопеременного ряда (розовый блок). Поэтому знакоположительным рядам уделим особое внимание.
Выведем наиболее употребляемые признаки сходимости знакоположительных рядов.
1. Интегральный признак Коши.Пусть неотрицательная функция f íà [m; +∞)
непрерывна и не возастает, и пусть an = f(n) ïðè âñåõ n ≥ m. Тогда сходимость
∞
ðÿäà Xan равносильна сходимости несобственного интеграла I рода
n=0
Доказательство. Поскольку сходимость ряда не зависит от первых
∞
рассмотрим ряд P an. Сравним его частичные суммы с интегралом функции f(x) по соответствующимn=m отрезкам:
N |
N−1 |
n+1 |
N−1 |
n+1 |
N−1 |
||
Z |
f(x)dx = n=m |
Z |
f(x)dx ≤ n=m |
Z |
f(n)dx = n=m an, |
||
m |
X n |
|
X n |
|
X |
откуда видно при N → ∞, что если сходится ряд, то сходится и интеграл;
N |
N |
n |
N |
n |
N |
|
Z |
Z |
Z |
||||
f(x)dx = n=m+1 |
f(x)dx ≥ n=m+1 |
f(n)dx = n=m+1 an, |
||||
m |
X n−1 |
X n−1 |
X |
откуда видно, что если сходится интеграл, то сходится и ряд. Если в неравенствах
N |
N |
N−1 |
|
||
n=m+1 an ≤ Z |
f(x)dx ≤ n=m an |
|
X |
m |
X |
5
перейти к пределу при N → ∞, то получим оценки
∞ |
+∞ |
∞ |
|
Z |
|
||
rm = n=m+1 an ≤ |
f(x)dx ≤ n=m an = rm−1, |
||
X |
m |
|
X |
благодаря которым можно оценивать остаток ряда через интеграл.
∞ 1
Ряд Дирихле. Исследуем на сходимость ряд X np .
n=1
Необходимый признак выполнен только при p > 0. Теперь применим интегральный
признак. Данному ряду соответствует невозрастающая функция Рассмотрим несобственный интеграл
|
|
|
p |
= lim |
|
|
p = |
N→+∞ |
|
1−p |
|
|
|
+ |
|
|
ïðè p < 1; |
|||||||||
Z |
|
|
|
N→+∞ Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
||||||
|
x |
|
x |
|
|
lim |
ln N = + |
|
|
∞ïðè p = 1. |
||||||||||||||||
+∞dx |
N dx |
|
lim |
N1−p−1 = |
|
|
|
|
p−1 |
ïðè p > 1; |
||||||||||||||||
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
N→+∞ |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Итак, ряд Дирихле сходится при p > |
|
. Этот факт нужно помнить, так как ряд |
||||||||||||||||||||||||
Дирихле часто применяется в признаках сравнения. |
|
|
|
|
|
|
|
|
||||||||||||||||||
Пример 2.1. Сколько слагаемых ряда |
|
∞ 1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
X |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n3 надо взять, чтобы вычислить его |
||||||||||||
сумму с погрешностью < 0,001 ? |
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Поскольку an = n−3, возьмем функцию f(x) = x−3. Оценим остаток: |
||||||||||||||||||||||||||
|
|
|
|
r |
|
|
|
|
+∞ dx |
= |
−1 |
|
+∞ = |
|
|
1 |
|
. |
|
|||||||
|
|
|
|
m ≤ m |
x3 |
|
2x2 |
|
|
2m2 |
|
|
||||||||||||||
|
|
|
|
|
|
|
m |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
23 |
|
|
|
|
|
|
|
|
|
Получаем |rm| < 0,001 ïðè m = 23. Ответ: S ≈ |
=1 n−3 ≈ 1,201. |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
2. Простой признак сравнения. Пусть bn ≥ an ≥ 0 ïðè âñåõ n ≥ no. Тогда: |
||||||||||||||||||||||||||
|
∞ |
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
P |
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
(a) åñëè ðÿä bn сходится, то ряд |
|
|
an сходится; |
|
|
|
|
|
||||||||||||||||||
|
n=0 |
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
∞ |
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
P |
|
|
|
|
|
|
|
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
(á) åñëè ðÿä |
|
|
an расходится, то ряд |
|
bn расходится. |
|
|
|||||||||||||||||||
|
n=0 |
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. На самом деле оба пункта утверждают одно и то же. Докажем |
|
|
∞ |
|
nP |
напрямую (a), и тем самым докажем от противного (á). Пусть ряд |
bn сходится. |
|
=0 |
6
Тогда его частичные суммы ограничены сверху некоторой величиной M (0; +∞). Из этого следует, что
N |
N |
N |
Xo |
nXo |
Xo |
N N |
an ≤ |
bn ≤ M = Nlim an ≤ M < +∞, |
n=n |
=n |
→∞ n=n |
следовательно, ряд |
∞ an, а значит, и ряд |
∞ an сходится. |
|||||
|
Po |
nP |
|
|
|
|
|
|
n=n |
=0 |
|
|
|
|
|
Пример 2.2. Исследовать на сходимость ряд |
∞ |
1 |
|
||||
X |
√n(ln n)5 . |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=2
Сравним данный ряд с √рядом Дирихле. Как известно, логарифм растет медленнее любой степени, поэтому n(ln n)5 << n. Чтобы доказательство было строгим, применим правило Лопиталя Бернулли:
|
√ |
|
(ln n)5 |
= |
|
|
ln n |
|
5 = |
|
|
n−1 |
|
5 |
|
|||||||
lim |
n |
lim |
lim |
= 0. |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
x→+∞ |
|
|
n |
x→+∞ |
|
√n |
x→+∞ |
0,1 n−0,9 |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
10 |
|
|
|
|
|
|
|
|
|
|||
Поэтому N такое, что |
√ |
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
||||||
|
(ln n)5 |
> |
|
ïðè âñåõ |
n > N. По простому признаку |
|||||||||||||||||
n |
||||||||||||||||||||||
n |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
1 |
|
|
|
|
|
сравнения ряд расходится, так как расходится ряд |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=2 |
n. |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. Предельный признак сравнения. Пусть bn > 0, an > 0 ïðè âñåõ n ≥ no, è |
|||||||||||||||
существует предел |
|
|
|
|
|
bn |
|
|
|
|
|
|
|||
|
|
|
|
|
|
0 < C < +∞. |
|
|
|
||||||
|
|
C = nlim |
|
|
|
, |
|
|
|
|
|||||
|
|
|
a |
|
|
|
|
||||||||
|
|
|
|
→∞ |
|
n |
|
|
|
|
|
|
|||
Тогда ряды ∞ an è |
∞ bn или оба сходятся, или оба расходятся. |
||||||||||||||
P |
nP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Существует такое m ≥ no, ÷òî |
|
|
|
||||||||||||
n ≥ m |
|
bn |
|
|
|
C |
|
C |
< |
3C |
|||||
an − C |
< 2 |
= 2 an < bn |
2 an. |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Применим линейность и простой признак сравнения: |
∞ |
||||||
1) |
если сходится |
∞ |
|
∞ |
3C |
||
=0 an, то сходится |
|
|
an = сходится |
n=0 bn; |
|||
n=0 |
2 |
||||||
2) |
|
nP |
∞ |
P |
∞ C |
P |
|
если paсходится |
=0 an, то paсходится n=0 2 an = paсходится |
||||||
|
|
nP |
|
P |
|
4. Радикальный2 признак Коши. Пусть an ≥ 0; обозначим
|
|
|
n |
|
|
k |
|
|
C = lim √an = lim sup∞ |
√ak. |
|||||||
n→∞ |
|
|
n→∞ k=n |
|
|
|
∞
P
bn.
n=0
Тогда, если C < 1, то ряд сходится; если C > 1, то ряд paсходится.
2radical корень.
7
Доказательство. 1) Пусть 0 ≤ C < 1. Найдется такое m, ÷òî
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
sup∞ √k |
|
|
|
|
q = |
1 + C |
= k m |
a |
qm = |
kX |
a сходится |
||||||
a |
|
|
|
||||||||||||||
|
|
|
|
||||||||||||||
k=m |
k ≤ |
|
|
2 |
≥ |
k ≤ |
|
k |
|
||||||||
|
|
|
=m |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
по признаку сравнения (с геометрической прогрессией ñì. пример 1.1). |
|||||||||||||||||
2) Пусть 1 < C |
≤ |
+ |
∞ |
. При всяком n |
N |
имеем sup∞ √k a |
k ≥ |
C > 1, следовательно, |
|||||||||
|
|
|
|
|
|
|
|
k=n |
|
> 1 = akj > 1, è |
|||||||
существует бесконечно много слагаемых akj , òàêèx, ÷òî k√j akj |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
необходимое условие сходимости нарушено.
5. Признак Даламбера. Пусть an ≥ 0; предположим, что существует предел
C = lim an+1 .
n→∞ an
Тогда, если C < 1, то ряд сходится; если C > 1, то ряд paсходится.
Покажем, что признак Даламбера является частным случаем радикального прèçíàêà |
|||||||||||||||||||||||||||||||||||
Коши: если существует указанный предел C, то существует и предел |
lim |
√an = C. |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
n |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Для этого нам достаточно применить к последовательности |
xn = ln an следующую |
||||||||||||||||||||||||||||||||||
лемму: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Лемма 2.1. Если nlim (xn − xn−1) = A, −∞ ≤ A ≤ +∞, òî nlim |
xn |
|
|
|
|||||||||||||||||||||||||||||||
|
|
= A. |
|
||||||||||||||||||||||||||||||||
|
n |
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→∞ |
|
|
|
|
|
|||||||
Доказательство. Зададим произвольные A , A , такие, что |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
A > A, åñëè A < +∞, |
|
A < A, åñëè A > −∞, |
|
|
|
|
|
||||||||||||||||||||||||||
A = A, åñëè A = +∞; |
A = A, åñëè A = −∞. |
|
|
|
|
|
|||||||||||||||||||||||||||||
Найдется m: n ≥ m A ≤ xn − xn−1 ≤ A . Тогда при n > m |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
xn = xm + 1 |
|
− |
(xk |
|
|
xk−1) |
≤ |
n |
n m |
|
→ |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
1 |
|
|
|
|
|
|
|
o(1) + |
n |
− m |
A |
|
A |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
− |
|
|
|
|
|
|
|||||||||||
|
|
n |
|
|
|
n |
|
|
|
n k=m |
|
|
|
|
o(1) + |
|
|
A |
→ |
A |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
≥ |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
≤ |
|
|
|
|
xn |
≤ |
|
|
|
xn |
|
A . В силу произвольности |
|
|
è A |
|||||||||||||||||
Следовательно, |
A |
|
lim |
|
lim |
A |
|
||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
n→∞ n |
n→∞ n |
≤ |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
xn |
= |
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
получаем lim |
lim |
= A. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
n→∞ n |
|
n→∞ n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Хотя признак Даламбера не дает новых результатов по сравнению с радикальным признаком Коши, его применяют чаще из-за меньшей трудоемкости вычислений.
8
Если ряд сходится по признаку Даламбера, то его остаток можно оценить, используя сравнение с геометрической прогрессией.
Лемма 2.2. Пусть для ряда |
∞ |
|
|
|
|
|
|
||||||
|
=0 an при некотором N N выполнено |
||||||||||||
|
|
|
|
|an+1| |
|
nP |
|
|
|
|
q |
|
|
|
n |
≥ |
N |
|
≤ |
q, |
q < 1. Тогда |
r |
a |
N | |
. |
||
|an| |
|
||||||||||||
|
|
|
|
| |
N | ≤ | |
1 − q |
Доказательство. Рассмотрим геометрическую прогрессию bn = aN qn−N . Тогда при всех n ≥ N выполнено |an| ≤ bn. Следовательно, по (1)
∞ |
|
∞ |
|
∞ |
|
|
|
|
|
r |
a |
X |
b = a qk = |
|aN | · q |
, |
||||
X |
|
n |
Xk |
| N | |
1 |
− |
q |
|
|
| N | ≤ |
| n| ≤ |
=1 |
|
|
|||||
n=N+1 |
|
n=N+1 |
|
|
|
|
|
|
здесь мы взяли новый индекс суммирования k = n − N.
|
|
|
|
|
∞ |
nn |
|
|
|
|
|
|
|
|
|
|
|
|||||
Пример 2.3. Рассмотрим ряд |
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
n! |
· |
4n . Для него получаем отношение |
||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
n=0 |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
an+1 |
|
(n + 1)n+1 |
n! 4n |
|
|
(n + 1)n |
|
1 |
1 |
|
n |
|
e |
|
|||||||
|
|
= |
· · |
|
= |
|
|
= |
|
|
1 + |
|
|
|
n−→→∞ |
|
|
< 1, |
||||
|
an |
(n + 1)! · 4n+1 · nn |
|
4 · nn |
4 |
n |
|
4 |
следовательно, по признаку Даламбера ряд сходится.
Теперь вычислим его сумму с погрешностью < 0,01. При всяком n N имеем
|
|
|
|
|
an+1 |
|
|
1 |
|
1 |
|
|
n |
|
e |
|
|
|||
|
|
|
|
|
|
= |
|
|
1 + |
|
|
< |
|
|
|
< 0,7. |
||||
|
|
|
|
|
an |
4 |
n |
|
4 |
|||||||||||
По лемме 2.2 получаем |rN | ≤ |aN | |
|
0,7 |
= |
|
|
7 NN |
|
< 0,01 ïðè N = 9. |
||||||||||||
1 |
− |
0,7 |
3 N! |
· |
4N |
|||||||||||||||
9 |
nn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
X |
≈ 1,55. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
n! |
· |
4n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Ответ: S ≈ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0
9
3Признаки сходимости знакопеременных рядов
∞
При исследовании знакопеременного ряда P an на сходимость всегда надо начинать
n=0
∞
с исследования ряда из модулей P |an| : если он сойдется, то исходный ряд схо-
n=0
дится абсолютно, и только если ряд из модулей разойдется, то придется применять признаки сходимости знакопеременных рядов, о которых и пойдет речь.
1.Необходимый признак. Если ряд из модулей разошелся по необходимому признаку, то an 9 0, и знакопеременный ряд также разойдется.
2.Признак Лейбница.
∞
Определение 3.1. Ряд P an называется рядом Лейбница, если:
n=m
1)an → 0 ïðè n → ∞;
2)n ≥ m |an| ≥ |an+1|;
3) знаки слагаемых чередуются, т.е. an ·an+1 < 0 n ≥ m.
Теорема 3.1. Ряд Лейбница сходится. При этом его остаток не превышает по модулю первое отброшенное слагаемое, т.е. |rN | ≤ |aN+1|.
Доказательство. Пусть, например, am > 0. Тогда k N имеем am+2k > 0, am+2k−1 < 0. Поскольку модули слагаемых не возрастают, выполнено n ≥ m ëèáî sign(an +
an+1) = sign an, ëèáî an +an+1 = 0. Получаем монотонные последовательности части- чных сумм:
Sm ≥ Sm+2 |
≥ Sm+4 |
≥ Sm+6 |
≥ . . . |
|
|
|
|
|
≤ . . . |
Sm+1 ≤ Sm+3 |
≤ Sm+5 |
≤ Sm+7 |
Таким образом, суммы Sm+2k образуют невозрастающую последовательность, ограни-
ченную снизу, а суммы Sm+2k−1 неубывающую последовательность, ограниченную сверху. Отсюда следует, что обе последовательности имеют конечные пределы. Эти пределы равны, поскольку
|Sm+2k − Sm+2k−1| = |a2k| → 0 ïðè k → ∞,
а значит, все частичные суммы стремятся к одному пределу S R, и ряд сходится. Поскольку при каждом k N верны неравенства
Sm+2k−1 ≤ S ≤ Sm+2k è Sm+2k ≥ S ≥ Sm+2k+1,
мы получаем, соответственно,
|rm+2k−1| = |S − Sm+2k−1| ≤ |am+2k|; |rm+2k| = |S − Sm+2k| ≤ |am+2k+1|.
10
Пример 3.1. Ряд |
∞ |
a |
n |
= |
∞ (−1)n |
|
|
|
|
|
|||||||||
X |
|
|
|
√n не сходится абсолютно (его ряд из модулей |
|||||||||||||||
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
∞ |
|
|
|
n=1 |
|
|
|
n=1 |
|
|
|
|
|
|
|
|
||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|an| = n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
√ |
|
|
|
|
|
|
|
|||||||||||
n=1 |
n |
расходящийся ряд Дирихле). Но он является рядом Лейбница, и |
|||||||||||||||||
потому сходится. Ответ: ряд сходится условно. |
|||||||||||||||||||
P |
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
∞ |
|
( |
1)n |
1 |
bn |
|||||
Рассмотрим другой ряд: n=1 bn = n=1 |
|
−√n |
+ n |
. Имеем an → 1 ïðè n → ∞. Однако, |
|||||||||||||||
|
|
|
|
|
|
X |
|
X |
|
|
|
|
|
|
|
ðÿä ∞ bn расходится, ведь если бы он сходился, то по свойству линейности сходился
=1 |
∞ |
∞ 1 |
||
nP |
||||
áû è ðÿä |
n=1(bn − an) = |
|
|
|
n=1 n, а это не так. Вывод: к знакопеременным рядам |
||||
|
сравнения неприменимы. |
|||
признакиP |
P |
∞ (−1)n(2n)!
Пример 3.2. Проверим на сходимость ряд X 4n(n!)2 .
n=0
Применив формулу Стирлинга
|
|
|
nn |
√ |
|
|
|
|
|
|
n → ∞, |
|
|
||||
|
|
|
2πn |
ïðè |
|
|
|
||||||||||
|
|
|
|
|
|||||||||||||
|
n! en |
|
|
|
|
|
|
||||||||||
получаем эквивалентность |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
22nn2n√ |
|
· e2n |
|
|
|
|
|
|
|
||||||
a |
|
4πn |
= |
1 |
|
|
0. |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
| |
n| |
4n · e2n · n2n(√2πn)2 |
|
√πn |
→ |
|
По предельному признаку сравнения видим, что абсолютной сходимости нет. Но |
||||||||||||||||
необходимый признак сходимости, он же условие 1) признака Лейбница, выполнен. |
||||||||||||||||
Условие 3), очевидно, тоже выполнено. Но мы не можем на основании эквивалент- |
||||||||||||||||
ности утверждать, что выполняется 2): к знакопеременным рядам признаки сравне- |
||||||||||||||||
ния неприменимы. Поэтому придется проверять условие 2) для самог ряда |
∞ an : |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=0 |
|
|an+1| |
|
(2n + 2)! |
|
4n(n!)2 |
|
(2n + 1)(2n + 2) |
|
(2n + 1) |
|
|
nP |
||||
|
= |
= |
= |
< 1, |
|
|||||||||||
|
|
4n+1((n + 1)!)2 · |
|
|
|
4(n + 1)2 |
|
|
|
|||||||
|
|an| |
(2n)! |
|
|
|
2(n + 1) |
|
|
|
|||||||
следовательно, |an| > |an+1|. Это ряд Лейбница = он сходится (условно). |
|
|||||||||||||||
Пример 3.3. Сколько слагаемых ряда |
|
∞ |
(−1)n · n3 |
|
|
|
|
|
|
|
||||||
|
3n |
надо взять, чтобы получить |
||||||||||||||
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
||
его сумму с погрешностью < 0,01? |
|
X |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
||||||
Ряд абсолютно сходится по признаку Даламбера |
lim |
|an+1| |
= 1/3 |
. Однако, |
||||||||||||
n→∞ |
|an| |
|
||||||||||||||
признак Лейбница пригодится нам для более точной |
оценки остатка. Äàííûé ðÿä |
|||||||||||||||
является рядом Лейбница начиная с |
3 |
-го слагаемого. Имеем |
|a10| = |
|
1000 |
> 0,01; |
||||||||||
1331 |
|
|
|
|
|
|
|
|
|
59049 |
|a11| = 177147 < 0,01. Следовательно, |r10| ≤ |a11| < 0,01. Ответ: 10 слагаемых.
11
3. Признак Дирихле. Пусть um ≥ um+1 ≥ um+2 ≥ . . . ; un → 0. Пусть vn таковы,
n |
∞ |
P |
X |
что множество сумм Wn = k=0 vk, n N, ограничено. Тогда ряд |
unvn сходится. |
|
n=0 |
Признак Лейбница является частным случаем признака Дирихле: |
|
возьмем un = |an|, vn = (−1)n èëè vn = (−1)n+1. |
|
4. Признак Абеля. Пусть последовательность {un}n∞=m монотонна и ограничена. |
||
Пусть ряд ∞ vn сходится (ò.å. nlim Wn R). Тогда ряд |
∞ |
|
unvn сходится. |
||
n=0 |
→∞ |
n=0 |
P |
|
X |
Признаки Дирихле и Абеля очень похожи, только признак Дирихле накладывает
более жесткие условия на un и менее жесткие на vn, а признак Абеля наоборот. Оба признака доказываются по одной схеме.
Доказательство. В обоих случаях имеем C = sup |Wn| < ∞, а также U = sup |un| <
N > M ≥ m.
|
|
|
|
|
N |
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
X |
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n X |
|
unWn − |
X |
unWn−1 = |
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
unvn = |
|
|
|
|
un(Wn − Wn−1) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
n=M+1 |
|
|
|
|
n=M+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=M+1 |
|
|
|
|
|
|
|
|
|
n=M+1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
[в первой сумме положим k = n, a во второй k = n − 1] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
N−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
X |
|
ukWk − |
kX |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
(uk − uk+1)Wk. |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
= |
|
|
|
|
|
uk+1Wk = uN WN − uM+1WM + |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
k=M+1 |
|
|
|
|
|
|
=M |
|
|
|
|
|
|
|
| |
|
|
|
|
|
{z |
|
|
|
|
|
|
|
} |
|
|
k=M+1 |
|
B |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{z |
|
|
|
} |
|
|
|
|
|
|||||||||||||||||
В случае признака Дирихле получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
A |
| ≤ |
|
|
| |
uN |
| |
+ |
| |
|
|
| |
|
|
−→ |
|
|
0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C( |
|
|
uM+1 ) |
|
|
|
|
→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N>M |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
а в признакe Абеля сходится не только последовательность |
|
|
un, íî è Wn, òàê ÷òî |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |
A |
| ≤ | |
uN (WN |
− |
|
|
| |
+ |
| |
(uN |
− |
uM+1)WM |
| ≤ |
U |
| |
WN |
− |
|
WM |
| |
+ C |
| |
uN |
− |
uM+1 |
| −→ |
0. |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
WM ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N>M |
→∞ |
|
|||||||||||||||||||||||||||||||||||||||||||
Сумма B в обоих случаях, в силу монотонности {un}, оценивается так: |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
| |
|
| ≤ |
|
|
k=X+1 |
|
|
− |
|
|
|
|
| |
|
| |
|
|
|
− |
|
|
|
|
− |
| −→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
B |
|
|
|
C |
|
|
M |
|
uk |
|
|
uk+1 |
|
|
= C |
uM |
|
|
uN |
|
1 |
|
|
N>M |
→∞ |
0. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
∞ |
|
sin nα |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Пример 3.4. Пусть 0 < α < π; p > 0. Тогда ряд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
np |
сходится по признаку |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Дирихле. Действительно, сомножители un = 1/n |
|
è vn = sin nα удовлетворяют усло- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
виям теоремы: un & 0; суммы vn-ых не превышают константу: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
N |
|
|
|
|
|
1 |
|
|
N |
|
|
|
|
|
|
|
|
α |
|
|
|
|
|
|
|
|
|
|
|
α |
|
|
|
|
|
|
|
cos α2 − cos(Nα + |
α2 ) |
|
|
|
|
1 |
|
|||||||||||||||||
|
|
|
sin nα = |
|
|
|
|
|
|
|
cos(nα |
− |
|
) |
− |
cos(nα + |
|
) = |
|
|
|
. |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
2 sin |
α2 n=1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
2 sin α2 |
|
|
|
≤ sin α2 |
||||||||||||||||||||||||
X |
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
12