31 Вопрос

Вопрос 31Знакопеременные ряды

Определение: Числовые ряды, содержащие как положительные, так и отрицательные члены, называются знакопеременными рядами.

Ряды, все члены которых отрицательные числа, не представляют нового по сравнению со знакоположительными числовыми рядами, так как они получаются умножением знакоположительных числовых рядов на (–1).

Изучение знакопеременных рядов начнем с частного случая–знакочередующихся рядов.

Определение: Числовой ряд вида  , где  – модуль члена ряда, называется знакочередующимся числовым рядом.

Теорема: (признак Лейбница)

Если для знакочередующегося числового ряда

выполняются два условия:

Члены ряда убывают по модулю  …> …

, то ряд (1) сходится, причем его сумма положительна и не превосходит первого члена ряда.

Доказательство: Рассмотрим частичную сумму четного числа членов ряда

По условию U₁>U₂>…>U_2n–1>U_2n, то есть все разности в скобках положительны, следовательно, S_2n возрастает с возрастанием n и S_2n > 0 при любом n.

С другой стороны

S_2n=U₁–[(U₂–U₃)+(U_4–U₅)+…+(U_2n–2–U_2n–1)+U_2n]

Выражение в квадратных скобках положительно и S_2n>0, поэтому,

S_2n<U₁ для любого n. Таким образом, последовательность частичных сумм S_2n возрастает и ограничена, следовательно, существует конечный  . При этом 0<SU₁, так как S_2n<U₁.

Рассмотрим теперь частичную сумму нечетного числа членов ряда

S_2n+1=S_2n+U_2n+1.

Перейдём в последнем равенстве к пределу при n:

Таким образом, частичные суммы как четного, так и нечетного числа членов ряда имеют один и тот же предел S, поэтому , то есть данный ряд сходится. Теорема доказана.

Пример: Исследовать на сходимость ряд.

Оба условия признака Лейбница выполняются, следовательно, ряд сходится.

Замечания.

Теорема Лейбница справедлива и если условие U_n>U_n+1 выполняется, начиная с некоторого номера N.

Вообще, условие U_n>U_n+1 не является необходимым. Ряд может сходиться, если оно не выполняется. Например, ряд   сходится, как разность двух сходящихся рядов  , хотя условие

U_n>U_n+1 не выполняется.

Теорема: (Достаточный признак сходимости знакопеременного ряда)

Пусть

знакопеременный ряд. Пусть сходится ряд, составленный из абсолютных величин его членов

Тогда ряд (2) тоже сходится.

Доказательство: Рассмотрим вспомогательный ряд

Очевидно 0U_n+|U_n|2|U_n| при всех n=1,2,3…. Ряд (3) сходится по условию, поэтому сходится ряд   и по признаку сравнения сходится ряд (4). Ряд (2) представляет собой разность двух сходящихся рядов (3) и (4), поэтому он тоже сходится. Теорема доказана.

Замечание:

Обратное утверждение неверно. Если данный ряд сходится, то ряд, составленный из абсолютных величин его членов, может и расходится. Например, ряд   сходится по признаку Лейбница, а ряд  –расходится (гармонический ряд)

5. Остаток ряда и его оценка

Рассмотрим сходящийся ряд

Вычисление суммы ряда   обычно технически очень сложно. Поэтому в качестве S берут S_n:SS_n. Точность последнего равенства возрастает с увеличением n.

Определение: Если числовой ряд сходится, то разность R_n=S–S_n называется n–м остатком ряда.

Таким образом, R_n представляет собой сходящийся числовой ряд:

R_n=U_n+1+U_n+2+…

Заметим, что  .

Абсолютная погрешность при замене суммы ряда S его частичной суммой S_n равна |R_n|=|S–S_n|.

Таким образом, если требуется найти сумму ряда с точностью до >0, то надо взять сумму такого числа n первых членов ряда, чтобы выполнялось условие: |R_n|<.

Однако в общем случает находить точно R_n не удается.

Теорема: (об оценке остатка знакочередующегося числового ряда)

Если знакочередующийся числовой ряд сходится по признаку Лейбница, то его n–й остаток по абсолютной величине не превосходит модуля (n+1)–го члена ряда.

Доказательство: Пусть ряд   сходится по признаку Лейбница. Тогда n–й остаток ряда R_n=(U_n+1–U_n+2+U_n+3–…) сам является суммой знакочередующегося числового ряда и по теореме Лейбница |R_n||U_n+1|. Теорема доказана.

Пример: Вычислить с точностью до 0,01 сумму ряда  .

Очевидно, ряд сходится по признаку Лейбница.  . Поэтому S1–0,1660,84.