Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015
.pdf400 Гл. VIII. Числовые ряды
°°^ / 1 \П+1
Пр и м е р 1. Доказать, что ряд > -— ---- , где а > 0, сходится.
пСк
71=1
А Так как последовательность { — }, где а > 0, монотонно стремит- I па )
ся к нулю, то по теореме 1 ряд сходится. В частности, сходится ряд
сю |
|
|
^_Д^п+1 |
V |
п |
— = i - ± |
+ ± |
^ |
2 |
3 |
|
тг=1 |
S |
из неравенства (2 1) при п = 1 следует оценка |
|
а для его суммы |
2 ^ ^ g- В дальнейшем (§ 44) будет показано, что S = In 2. ▲
3.Признаки Дирихле и Абеля сходимости рядов.
Те о р е м а 2 (признак Дирихле). Ряд
|
V |
апЬп |
|
(23) |
|
тг= 1 |
|
СЮ |
|
сходится, если последовательность частичных сумм ряда |
Ъп огра- |
|||
|
|
|
|
Jn |
ничена, т. е. |
|
|
|
71=1 |
|
|
|
|
|
ЗМ > 0 : |
VnG N -7 Х А ^ М, |
(24) |
||
|
|
к= 1 |
|
|
а последовательность {ап} монотонно стремится к нулю, т. е. |
||||
а„ + 1 ^ |
а„ |
для веет |
п € N |
(25) |
или |
|
|
|
|
а„ + 1 ^ |
а„ |
для веет |
п € N |
(25') |
и |
lim а„ = 0. |
|
(26) |
|
|
|
|||
|
71—>СЮ |
|
|
О Покажем, что для ряда (23) выполняется условие Коши. Введем
следующие обозначения:
71
|
|
J n |
= |
|
|
(27) |
|
п + р |
|
k= 1 |
|
|
|
|
|
|
|
|
|
|
а = |
^ |
o-febfe, |
п G А/, |
р £ N. |
(28) |
|
|
& = п + 1 |
|
|
|
|
|
Преобразуем сг, учитывая, что |
Ъи = В^ — В ^~i при fc > |
1, согласно |
||||
формуле (27). Получим |
|
|
|
|
|
|
|
П + р |
|
|
77+ р |
|
|
^ |
^ л |
|
|
^ ^ |
1 , |
|
где |
p:=n+l |
|
|
p=n+l |
|
|
|
п + р — 1 |
|
|
|||
п + р |
|
|
|
|||
^ ^ &k^k —1 |
— |
^ ^ |
^-р+ l^ P |
Т ^ п + 1 ^ п - |
|
|
р:=П+1 |
|
р=П+1 |
|
|
§41. Абсолютно и условно сходящиеся ряды |
403 |
что последовательность {-Вп} его частичных сумм ограничена. Поэ-
|
оо |
тому ряд |
—а)Ъп сходится по признаку Дирихле. Отсюда и из |
П = 1
сходимости ряда (33) заключаем, что ряд (23) сходится, так как
|
|
бп^п — {б>п |
б)Ьп +I |
аЬп. ® |
|
||
|
|
|
|
|
|
сю |
|
Пр и м е р |
4. Исследовать на сходимость ряд Е an, где |
||||||
|
|
|
ТТЛ |
|
|
п = 1 |
|
|
|
„ _ |
C0ST |
Л |
, П |
- " |
|
|
|
а” ~~ Vnln(n + 1) V |
п ) |
' |
|
||
А Ряд |
у |
cos 7ГП |
сходится (пример 3), а последовательность |
||||
—=——§---- |
|||||||
|
' л/пЪ.(п + 1 ) |
|
|
|
|
|
|
|
П = 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
СЮ |
| ^1 + —^ |
J монотонна и ограничена. Поэтому ряд |
ап сходится |
|||||
(признак Абеля). ▲ |
|
|
|
|
71=1 |
||
|
|
|
|
|
|||
4. |
Условно сходящиеся ряды. Ряд |
|
|
||||
|
|
|
Е |
an |
|
|
(34) |
|
|
|
77,-1 |
|
|
|
называется условно сходящимся, если этот ряд сходится, а ряд
СЮ
la^l
расходится.
При исследовании ряда на сходимость и абсолютную сходимость иногда оказывается полезным следующее утверждение.
|
сю |
Т е о р е м а 4. Если ряд (34) абсолютно сходится, то ряды |
h |
Ьп |
|
“ |
п = 1 |
и У_.(ап + Ьп) одновременно либо абсолютно сходятся, либо условно
сходятся, либо расходятся. |
|
|
О Доказательство этой |
теоремы аналогично доказательству теоре |
|
мы 5 из § 38. • |
|
|
Пр и м е р 5. Доказать, что ряд |
|
|
СЮ |
|
|
Е Smа :Х; |
0 < а ^ 1, х ф пт (то £ Z), |
(36) |
77—1 |
|
|
сходится условно.
406 Гл. VIII. Числовые ряды
С другой стороны, из равенства (39) следует, что \ап\ = а п + (Зп, где а п 0, (3„ 0. Поэтому должен сходиться ряд (35). Это противо речит тому, что ряд (34) сходится условно. Итак, ряд (43) не может сходиться. Аналогично доказывается расходимость ряда (44).
Соотношения (45) выполняются, так как последовательности {ап}
и {Рп} определяются формулами (41) и lim ап = 0. •
п —>оо
Т е о р е м а 6 (Римана). Если ряд (34) сходится условно, то каким бы ни было L (числом или одним из символов +оо, —оо), можно так переставить члены этого ряда, что последовательность частичных сумм получившегося ряда будет иметь L своим пределом при п -+ оо.
Доказательство этой теоремы содержится, например, в книге [10, с. 430-433].
УПРАЖ НЕНИЯ К ГЛАВЕ V III
ОО |
ОО |
1. Доказать, что если ряды |
Ъп, где а„ € R, Ь„ € R (п € А/), |
п=1 п=1
оооо
сходятся, то и ряды 'У ] а„Ь„ и У ](а„ + Ь„)2 также сходятся.
п = 1 |
п = 1 |
|
оо |
2. Доказать, что ряд У ] ап расходится, если последовательность {па„}
П=1
имеет отличный от нуля предел. |
|
|
|
|
|
||||||
3. Доказать, что если ап > 0 и ап+1 |
ап для всех п |
п о , |
то из сходи- |
||||||||
ОО |
|
|
|
|
|
|
|
|
|
|
|
мости ряда У |
а„ следует, что |
lim па„ = 0. |
|
|
|
|
|||||
' |
1 |
|
|
|
|
п —>оо |
|
|
|
|
|
п = |
|
|
|
|
|
|
|
|
|
|
|
4. Доказать, что если ап |
|
О при в |
по и последовательность {пап} |
||||||||
|
|
ОО |
|
|
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
?г=1 |
а" сходится. Е |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
5. Доказать, что если ряд |
У ] ап, где а„ |
О для |
всех |
п, сходится, |
|||||||
то ряды |
|
|
|
|
|
«=1 |
|
|
|
|
|
ОО |
ОО |
— |
оо |
^ |
|
|
|
|
оо |
|
|
^ ^ л/(Ь п,(Ьп+ 1 ; ^ ^ |
? |
^ |
^ |
(& ?г "4" & ?г+ 1 |
4 " ••• 4 " |
(l2 n —l ) ; ^ |
^ \ / & п & п + 1 • ••Cl2n — 1 |
||||
п = 1 |
п = 1 |
|
п = 1 |
|
|
|
п = 1 |
|
|
||
также сходятся. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ОО |
9 |
6. Пусть а\ = 1, an+i = |
|
— (в Е А/). Доказать, что ряд |
> |
— схо- |
|||||||
|
|
|
|
в |
4~ &п |
|
|
|
' |
п |
|
дится. |
|
|
|
|
|
|
|
|
|
п = 1 |
|
|
|
|
|
|
|
|
|
|
|
|
Т. Доказать, что если ап > 0 для всех в Е А/ и lim ап = 4-оо, то су п-4-оо
ществует последовательность {Ьп}, где Ьп ^ 0 для всех в Е А/, такая, что
|
|
|
|
|
Упражнения к главе |
VIII |
407 |
|||
ряд |
|
Ьп сходится, а ряд |
У~~^ а„Ь„ расходится. |
|
||||||
|
|
|
|
|
|
|
|
(1}1 |
|
|
|
|
|
|
|
|
|
п=1 |
|
|
|
8. |
Доказать, что если ряд У ' а„ сходится условно и ап = У ' lafe I ак , |
|||||||||
V"4lafcl —a*! |
Г |
|
Т"""1, |
|
4=1 |
|||||
т„ = |
> |
xJ |
— - , то |
hm |
|
— |
= 1. |
|
|
|
|
' |
|
2 |
n-4-oо <ТП |
|
|
||||
|
& = 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
оо |
|
|
9. Доказать, что если ряд У ' а„ сходится условно, то существует такая |
||||||||||
|
|
|
|
|
|
|
|
ч |
ОО |
|
|
|
|
|
|
|
|
|
П=1 |
|
апЬ„ расходится. |
бесконечно малая последовательность {Ьп}, |
что ряд У |
|||||||||
|
|
|
|
|
|
|
|
|
П = 1 |
|
10. Доказать, что ряд |
> |
I |
|
|
||||||
—=(а„ —а„~i) сходится, если последователь- |
||||||||||
ность {an} ограничена. |
“ |
|
у п |
|
|
|||||
п~2 |
|
|
|
|||||||
|
|
|
|
|
|
|
|
ОО |
|
|
11. Доказать, что из сходимости ряда У ' Ь„ и абсолютной сходимости |
||||||||||
|
ОО |
|
|
|
|
|
П = 1 оо |
|
||
ряда У^(а„ —a„+i) следует сходимость ряда У~~^ а„Ь„. |
|
|||||||||
1 2 . |
|
Д оказать, что если а„ > 0 для всех п € N и ряд |
У ' а„ сходится, то |
|||||||
|
|
|
|
|
|
|
|
|
|
&n |
Е |
|
ап |
где r n = 2_^ |
ak, сходится. |
n=1 |
|||||
—j = , |
|
|
k— n+1
ГЛАВА IX
ФУНКЦИОНАЛЬНЫЕ РЯДЫ
§ 42. Равномерная сходимость функциональных последовательностей и рядов
1. Сходимость функциональной последовательности и ряда.
а) Сходимость последовательности функций. Пусть функции fn(x), п е N, определены на множестве Е и пусть XQ е Е. Если числовая последовательность { f n(xо)} сходится, то говорят, что по следовательность функций {/„(х)} сходится в точке XQ.
Последовательность {/„(ж)}, сходящуюся в каждой точке х е Е, называют сходящейся на множестве Е. В этом случае на множест ве Е определена функция /(ж), значение которой в любой точке х е Е равно пределу последовательности {/„(ж)}. Эту функцию называют
предельной функцией последовательности {/п(ж)} на множестве Е и
пишут |
ж е Е, |
|
lim /„(ж) = /(ж), |
(1) |
|
П —¥ ОО |
|
|
ИЛИ |
|
|
fn(x) -т /(ж), |
ж е Е, |
|
или, короче, |
|
|
f n V -
По определению предела запись (1) означает, что
Уж € Я Ve > 0 3 N = Ne(ж): Vn > N -А |/„(ж) - /(ж)| < е.
Пр и м е р 1. Найти предельную функцию /(ж) последовательнос ти {/п(ж)} на множестве Е, если:
а) fn(x) = П* |
Е = R; б) /„(ж) = ns i n — , Е = (0,+оо). |
П + X1 |
пх |
А а) Так как /„(ж) = |
1 + - |
то /(ж) = 1. |
I T -
п.
б) Используя асимптотическую формулу sin t ~ t при t —¥ 0, полу-
■ 1 1
чаем nsin — ~ п — при п —¥ оо, если ж Ф U.
пх пх
Поэтому /(ж) = ▲
§42. Равномерная сходимость последовательностей и рядов |
409 |
б) Сходимость функционального ряда. Пусть функции ип(х), ri £ Л/,
определены на множестве Е и пусть для каждого х £ Е существует
П
конечный предел последовательности {^„(ж)}, где Sn(x) = Е ик(х).
Тогда ряд |
СЮ |
к=1 |
1 |
|
|
|
J 2 un(x ) |
(2) |
|
ТЪ—1 |
|
называют сходящимся на множестве Е.
Если S(x) — предельная функция последовательности {^„(ж)} на
множестве Е, т. е. |
Sn(ж) = S(ж), |
х £ Е, |
|
lim |
|||
П —¥ СЮ |
|
|
|
то функцию называют S(ж) суммой ряда (2) и пишут |
|||
' ^ и п(х) = S(x), |
х £ Е. |
||
п = 1 |
|
1 —хп |
|
Например, если «„(ж) = |
ж” , Е = |
||
(—1,1), то Sn(ж) = —------ , |
СЮ
S(ж) = ----- . Если в каждой точке ж £ Е сходится ряд 2_^ \ип(х)\, то
П = 1
ряд (2) называют абсолютно сходящимся на множестве Е.
2. Равномерная сходимость функциональной последова
тельности.
а) Понятие равномерной сходимости последовательности функ ций.
Опре де ление . Последовательность функций
{fn(x)}
называется равномерно сходящейся на множестве Е к функции /(ж), если
Ve > 0 3 Ne: Vn > Ne Ух £ Е ^ |/„(ж) - /(ж)| < е. |
(3) |
В этом определении существенно, что номер Ne не зависит от ж. Если справедливо утверждение (3), то пишут
fn(x) |
/(ж), ж е Е, |
ИЛИ
f n ^ f -
Е
Еоворят, что последовательность {/п(ж)} равномерно сходится на множестве Е, если существует функция / , удовлетворяющая усло вию (3).
Если существуют числовая последовательность {ап} и номер щ такие, что
Vn > п0 Ух £ Е \fn(x) - f (ж)| ^ ап,