2.2.9 Тема: Знакопеременные ряды. (1-час)
Рассмотрим теперь числовые ряды, имеющие члены любого знака.
Определение. Знакочередующимся рядом называется числовой ряд вида
(10)
где
для
.
Для исследования сходимости таких рядов используется следующий признак.
Теорема 7 (Признак Лейбница). Пусть знакочередующийся ряд (10) удовлетворяет двум условиям:
а) ,
в) члены
ряда по модулю убывают, т.е.
,
для
.
Тогда этот ряд
сходится и его сумма
удовлетворяет неравенству
.
Рассмотрим случай,
когда ряд начинается с
;
запишем частичную сумму для четного
числа слагаемых
.
Из условия в)
теоремы следует, что
и эта последовательность возрастает
с ростом
(все скобки положительны). Запишем
другим способом.
.
Поскольку в скобках
стоят положительные величины, то
.
Возрастающая последовательность
ограничена сверху числом
,
следовательно, согласно свойству
пределов существует предел
и
.
Для нечетного числа слагаемых, учитывая условие
а) получим
,
Случай, когда первый член ряда отрицателен, рассматривается аналогично.
Пример11. Исследуем
сходимость знакочередующегося ряда
.
Поскольку
и
,
для всех
,
то этот ряд сходится, и его сумма
удовлетворяет неравенству
.
На самом деле,
можно проверить, что
.
Введем еще одно важное понятие для сходящегося ряда.
Определение. n-ым остатком сходящего ряда (1) называется разность между его суммой S и частичной суммой :
.
(*)
Этот остаток есть
сумма членов ряда, начиная с
го
.
Из (*) следует, что остаток можно определить только для сходящегося ряда, и что
,
т.к.
Следствие.
Остаток
знакочередующегося ряда, удовлетворяющего
условиям признака Лейбница, по модулю
не превосходит модуля своего первого
члена, т.е.
Доказательство этого факта следует из того, что остаток является суммой знакочередующегося ряда, удовлетворяющего условиям признака Лейбница
или
.
Этот факт позволяет наиболее просто определять количество слагаемых ряда для приближенного вычисления его суммы. В случае, если ряд не удовлетворяет условиям теоремы Лейбница, эта оценка обычно более трудоемка.
Пример12. Вычислить
с погрешностью, не превосходящей
сумму ряда
Очевидно, что ряд удовлетворяет условиям теоремы Лейбница.
Поскольку у этого
ряда
,
то
.
Отбросив этот остаток из суммы ряда
получим
что с требуемой точностью
.
Абсолютная и условная сходимость рядов.
Пусть имеется произвольный числовой ряд:
(11)
и ряд, составленный из абсолютных величин его членов,
.
(12)
Определение. Ряд (10 ) называется абсолютно сходящимся, если сходится ряд (12). Если ряд (11) сходится а (12) расходится, то ряд (10) называется условно сходящимся.
Пример13.
Ряд
сходится абсолютно
так как сходится ряд из абсолютных
величин членов этого ряда (это ряд
Дирихле с
).