В.А. Ильин, В.А. Садовничий, Бл.Х. Сендов - Математический анализ. Продолжение курса (PDF) (1111796), страница 5
Текст из файла (страница 5)
Будем говорить, что ряд ~1"„,Ра сходится м едл е н н е е, чем ряд ~' ра, если а ! а 1 1пп — = О. а-~м и Утверждение. Для каждого сходящегося ряда существует ряд, сходящийся медленнее этого ряда. 01 В самом деле, пусть ),'р„— любой сходящийся ряд, гм «=! (а»0) — его и-й остатокв!. Докажем, что ряд ~) ра, где ра= а ! Ю =~~ге ! — )гга сходится медленнее, чем ряд ~ ра.В самом дел=! ле, если г„' — а-й остаток ряда ~ Ры то а ! 1пп — ", = 1пп =" = О. г г» Теперь докажем отсутствие универсального сходящегося ряда, сравнение с которым позволило бы сделать заключение о сходнмостн любого наперед взятого сходящегося ряда.
В самом '> За ге принимаем всю сумму ~ ра, а-! Гл. 1. Числовые ряпы деле, если бы такой универсальный сходящийся ряд 2,'р» су« »-1 ществовал, то взяв для него построенный выше ряд ~~ р», мы »-1 получилн бы, что 1пп»'» =11гп '" ' " = 11ш(~г» 1+3/г»)=0. »-еф Р»» ы т с»» — У/»» ы Таким образом, из сравнения с рядом ~~ р» нельзя сделать »-1 заключения о сходнмостн ряда ~р». Аналогично доказывает»-! ся отсутствие универсального расходящегося ряда, сравнение с которым позволило бы сделать заключение о расходимости любого наперед взятого расходящегося ряда.
ф 3. АБСОЛЮТНО И УСЛОВНО СХОДЯН»НЕСЯ РЯДЫ 1. Понятия абсолютно и условно сходящихся рядов. Теперь мы перейдем к изучению рядов, члены которых являются вещественнымн числами любого знака. Определение 1. Будем называть ряд е я~ и» »-1 (1А9) а б с ол юг но сходя и( им ся, если сходится ряд 1и 1. »-1 (1.50) Заметим, что в этом определении ничего не сказано о том, предполагается ли прн этом сходимость самого ряда (1.49). Оказывается, такое предположение оказалось бы излишним, нбо справедлива следующая теорема. Теорема 1.9. Из сходимости ряда (1.50) вытекает сходимость ряда (1.49). Доказательство. Воспользуемся критерием Коши длн ряда (т. е.
теоремой 1.1). Требуется доказать, что для любого е> >О найдется номер У такой, что для всех номеров а, удовлетворяющих условию л~М, и для любого натурального р справедливо неравенство 4 3. Абсолютно и условно сходящиеся ряды л+р ~ ~ и,! С ' я л+1 (1.51г Фиксируем любое е>0. Так как ряд (1.50) сходится, то в силу теоремы 1.1 найдется номер А! таьой, что для всех номеров и, удовлетворяющих условию а>!т', н для любого натурального р справедливо неравенство (1.52р Сопоставляя неравенства (1.52) и (1.53), получим неравенство (1.51). Теорема доказана.
Он редел ение 2. Ряд (1.49) называется условно сходяи4 им с я, если этот ряд сходится, в то время как соответствующий ряд иэ модулей (1.50) расходится. Примером абсолютно сходящегося ряда может служить ряд. Е ( — 1)" ! 1 1 1 =1 — + — — + ..., где сх) 1. ао 2" 3" 4" я ! Этот ряд сходится абсолютно, ибо при а>1 сходится ряд (1.33). Приведем пример условно сходящегося ряда.
Докажем условную сходнмость ряда Е '"'- (1.54у а 2 3 4 я ! Так как соответствующий ряд из модулей (гармонический ряд), как мы уже знаем, расходится, то для доказательства условной сходнмости ряда (1.54) достаточно доказать, что этот ряд сходится. Докажем, что ряд (1.54) сходится к числу 1п2. В и. 2 $9 гл. б ч. 1 мы получили разложение по формуле Маклорена функ- ции х' хя х! хл !п (1 + х) = х — — + — — +... + ( — 1)" ' — + )т +! (х). 2 3 4 л Там же для всех х из сегмента 0 кх;с! получена следующая оцен- ка остаточного члена: л-1-и !и ~(. я л+! Так как модуль суммы нескольких слагаемых не превосходит суммы нх модулей, то л+я л+р ! ~ ия)~ ), !ия!. (1.ба й=л+! я==я+! Гл.
1. Числовые ряды )Я +!(х) ) <1/(я+1). Полагая в двух последних соотношениях х=1, будем иметь 1 1 1 (-1).-1 1и 2 = 1 — — + — — — + ... + + /1„+! (1), 2 3 4 где !/7„+!(1) ~ < 1/(и+1), или (1 — — + — — — +... + ~ — 1п2~< —, (1.55) 1 ! 1 ( — 1)" 1! 1 ! 2 3 4 я ~ ~ я+1 Обозначая через 5„л-ю частичную сумму ряда (1.54), мы можем переписать последнее неравенство (1.55) в виде !5„— 1п 2) <1/(и+1). (1.56) Из (1.56) следует, что разность 5 †!п 2 представляет собой бесконечно малую последовательность.
Это и доказывает сходимость ряда (1.54) к числу 1п2, 2. 0 перестановке членов условно сходящегося ряда, Одним из важнейших свойств суммы конечного числа вещественных слагаемых является переместительное свойство. Естественно, возникает вопрос, остается ли справедливым это свойство для суммы сходящегося ряда, т. е. может ли измениться сумма сходящегося ряда от перестановки членов этого ряда. В этом пункте мы выясним этот вопрос в отношении условно сходящегося ряда. Начнем рассмотрение с изучения некоторой конкретной перестановки членов ряда (1.54). Для удобства запишем ряд (1.54) в виде 1) (1 1) ( 1 1 ) В конце предыдущего пункта мы доказали, что ряд (1.54) сходится условно н имеет сумму 1п2. Переставим теперь члены ряда (1.54) так, чтобы после одного положительного члена стояли два отрицательных члена. В результате такой перестановки членов получим ряд ( 1 1) (1 1 1) (1.57) Докажем, что ряд (1.57), полученный в результате указанной перестановки членов ряда (1.54), сходится и имеет сумму, вдвое меньшую, чем ряд (1.54).
Будем обозначать гп-е частичные суммы рядов (1.54) и (1.57) символами 5 и 5 ' соответственно. Можем записать: з! 4 3. Абсолютно я условно сходая!яеея ряди з ! Итак, оз = — 8~. 1 2 Далее, очевидно, что (1.58) 1 1 5з 1= — Л,.+ —, 2 4яз (1.59) 1 Озе-2 = Озт-1 + 4оз — 2 (1.60) Поскольку 1!!паз =3, в пределе при т-эоо нз формул (1.58), (1.59) и (1.60) получим 1 . " 1 . 1 11т Езт = — 5, 11т Яз -! = — ~, 11ш 82 — 2 = — 5. щ, 2 е~~~ 2 ' щ„..~ 2 (! .61) произвольный условно сходящийся ряд, Обозначим через р1, рз, рз, ...
положительные члены ряда (1.61), выписанные в таком порядке, в каком они стоят в этом ряде, а через д1, 92, чз, модули отрицательных членов ряда (1.61), выписанные в таком же порядке, в каком они стоят в этом ряде. Ряд (1.61) содержит бес- Таким образом, ряд (1.57) сходится и имеет сумму, равную 1 1 — 5. Так как 5=1п2ФО, то — Я~Я. Следовательно, в ре- 2 2 зультате указанной выше перестановки членов сумма условно сходящегося ряда (1.54) изменилась. Рассмотренный нами пример показывает, что условно сходящийся ряд не обладает перемести- тельным свойством.
Полную ясность в вопрос о влиянии перестановок членов на сумму условно сходящегося ряда вносит следующее замечательное утверждение, принадлежащее Риману. Теорем а 1.10 (теорема Римана). Если ряд сходится условно, то, каково бы ни было наперед взятое число Ь, можно так переставить члены этого ряда, чтобь! преобразованный ряд сходился к числу Е. Доказательство.
Пусть Гл. Н Числовые ряды 32 конечное число как положительных, так и отрицательных членов, ибо если бы членов одного знака было конечное число, то, отбросив не влияющее на сходимость конечное число первых членов, мы бы получили бы ряд, состоящий из членов одного знака, для которого сходимость означала бы абсолютную сходимость.
Итак, с рядом (1.61) связаны два бесконечных ряда с поло- О Ф жительными членами ~ Р» и )Г д». Будем обозначать первый »-1 » 1 из этих рядов символом Р, а второй — символом Я. Докажем, что оба ряда Р и Я являются расходящимися. Обозначим символом 5„л-ю частичную сумму ряда (1.61), символом Р„сумму всех положительных членов, входящих в 5„, символом Я„сумму модулей всех отрицательных членов, входящих в 5„.
Тогда, очевидно, 5„=Є— Я„, и так как по условию ряд (1.61) сходится к некоторому числу 5, то (1.62) 1пп(Є— О„) =5. и и С другой стороны, так как ряд (1.61) не сходится абсолютно„ го 1пп(Р„+()) = + оо. (1.6Э) Сопоставляя (1.62) и (1.63), получим 1ппР„= +со, 11шЯ„= л-~ е П Ф = +оо, т. е. доказано, что оба ряда Р и Я расходятся. Из расходимости рядов Р и Я вытекает, что даже после удаления любого конечного числа первых членов этих рядов, мы можем взять из оставшихся членов как ряда Р, так и ряда Я столь большое число членов, что их сумма превзойдет любое наперед взятое число.
Опираясь на этот факт, докажем, что можно так переставить члены исходного ряда (1.61), что в результате получится ряд, сходящийся к наперед взятому числу».. В самом деле, выберем из исходного ряда (1.61) ровно столько положительных членов Р„р„..., Р»„чтобы их сумма Р„+ Р»+... + Р», превзошла».. Добавим к выбранным членам ровно столько отрицательных членов — дь — д», ..., — д»„чтобы общая сумма Р»+Рв+ +Рм — Ч» — чв — . — г1», оказалась меньше Х..
Затем снова добавим р о в н о с т о л ь к о положительных членов Р»,+ы Р», », ..., Р»„чтобы общая сумма Р,+ Р,+... +Р»,— д,— Ч» — — Ч», +Р»,+1 + . +Р». оказалась больше Ь. Продолжая аналогичные рассуждения далее, мы получим бесконечный ряд, в состав которого войдут все члены исходного ряда (1.61), так как каждый раз нам придется добавлять хотя бы один положительный нли отрицательный член исходного ряда.
Остается доказать, что полученный ряд сходится к».. Заметим, что в полученном ряде последовательно чередуются группы по- зз й 3. Абсолютно и условно сходня!неся ряды ложительных и группы отрицательных членов. Если частичная сумма полученного ряда заканчивается полностью завершенной группой, то отклонение этой частичной суммы от числа Е не превосходит модуля последнего его члена 'о!.
Если же частичная сумма заканчивается не полностью завершенной группой, то-отклонение этой частичной суммы от числа Е не превосходит модуля последнего члена предпоследней из групп. Для установления сходи- мости ряда к Ь достаточно убедиться в том, что модули последних членов групп образуют бесконечно малую последовательность, а зто непосредственно вытекает из необходимого условия сходимости исходного ряда (1.61).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
