Рассмотрим числовой ряд с бесконечным множеством положительных и бесконечным множеством отрицательных членов. Такой ряд называется знакопеременным рядом.
Запишем произвольный знакопеременный ряд
a1+a2+a3+…+an+…=∞∑n=1an (1),
где числа a1,a2,a3,…,an,… являются как положительными, так и отрицательными, причем располагаются они в ряде произвольно. Так же рассмотрим ряд, составленный из абсолютных величин членов ряда (1):
|a1|+|a2|+|a3|+…+|an|+…=∞∑n=1|an| (2).
Для знакопеременных рядов справедлива следующая Теорема:
Теорема 1
Если ряд (2) сходится, то сходится и ряд (1).
Доказательство
Предположим, что ряд (2) сходится. Обозначим через Sn частичную сумму ряда (1), а через σn частичную сумму ряда (2). Тогда: Sn=a1+a2+a3+…+an;
σn=|a1|+|a2|+|a3|+…+|an|. Так как ряд (2) сходится, то последовательность его частичных сумм σn имеет предел limn→∞σn=σ, при этом для любого n справедливо неравенство
σn≤σ (3),
Поскольку члены ряда (2) неотрицательны.
Обозначим через S′n сумму положительных членов, а через S»n сумму модулей отрицательных членов, содержащихся в сумме Sn.
Тогда
Sn=S′n−S»n (4),
σn=S′n+S»n (5).
Видно, что последовательности S′n и S»n не убывают, а из равенства (5) и неравенства (3) следует, что они являются ограниченными: S′n≤σn≤σ и S»n≤σn≤σ. Следовательно, существуют limn→∞S′n=S′ и limn→∞Sn»=S». Но в таком случае, в силу равенства (4), последовательность частичных сумм ряда (1) имеет предел
limn→∞Sn=limn→∞(S′n−S»n)=limn→∞S′n−limn→∞S»n=S′−S».
Это означает, что ряд (1) сходится.
Пример 1
Ряд 1−122−132+142+152−162−172+… согласно доказанной Теореме 1 сходится, т. к. сходится ряд, составленный из абсолютных величин членов данного ряда: 1+122+132+142+152+162+172+…
Ниже представлен график поведения первых двадцати, составленных из абсолютных величин, членов ряда
Рассмотренный признак сходимости знакопеременного ряда является достаточным, но не необходим, т. к. существуют знакопеременные ряды, которые сходятся, а ряды, составленные из абсолютных величин их членов, расходятся. Так, например, ряд ∞∑n=1−1n+11n согласно признаку Лейбница сходится, а ряд ∞∑n=11n, составленный из абсолютных величин его членов, расходится.
Поэтому все сходящиеся ряды можно разделить на абсолютно и условно сходящиеся.
Ряд с действительными или комплексными членами ∞∑n=1an называется абсолютно сходящимся, если сходиться ряд ∞∑n=1|an|.
Ряд ∞∑n=1an называется условно сходящимся, если этот ряд сходиться, а ряд ∞∑n=1|an| расходиться.
Литература
- Лысенко З.М., конспект лекций по математическому анализу, 2014-2015 гг., семестр 2 из 2
- Демидович Б.П., Сборник заданий и упражнений по математическому анализу, издание 13, исправленное, Издательство ЧеРо, 1997, стр. 247-259
- Шипачев В.С., Высшая математика, учебник для спец. вузов /Под ред. акад. А.Н. Тихонова.- М.: Высш.шк., 1985.- 471 с., стр. 390-391 ил.
- Тер-Крикоров А.М. и Шабунин М.И. Курс математического анализа, стр. 394-406
- Демидович Б.П., Сборник заданий и упражнений по математическому анализу, издание 13, исправленное, Издательство ЧеРо, 1997, стр. 259-267
Абсолютная и условная сходимость рядов
Предлагаем Вам пройти тест на тему «Абсолютная и условная сходимость рядов».
Таблица лучших: Абсолютная и условная сходимость рядов
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |