Stamp-i-k.ru

Знакочередующийся ряд — математический ряд, члены которого попеременно принимают значения противоположных знаков, то есть:

\sum _{n=1}^{\infty }a_{n}=\sum _{n=1}^{\infty }(-1)^{n-1}\,b_{n},\;b_{n}>0

.

Признак Лейбница

Формулировка

Признак Лейбница — признак сходимости знакочередующегося ряда, установлен Готфридом Лейбницем. Формулировка теоремы:

Пусть дан знакочередующийся ряд

S=\sum _{n=1}^{\infty }(-1)^{n-1}b_{n},\ b_{n}\geq 0

,

для которого выполняются следующие условия:

$b_{n}\geq b_{n+1}$ , начиная с некоторого номера ( $n\geq N$ ),
$\lim _{n\to \infty }b_{n}=0.$

Тогда такой ряд сходится.

Замечания

Ряды, удовлетворяющие признаку Лейбница, называются рядами Лейбница. Такие ряды могут сходиться абсолютно (если сходится ряд $\sum _{n=1}^{\infty }b_{n}$ ), а могут сходиться условно (если ряд из модулей расходится).

Монотонное убывание не является необходимым для сходимости знакочередующегося ряда (в то время как $\lim _{n\to \infty }b_{n}=0$ — необходимое условие сходимости для любого ряда), таким образом и сам признак является только достаточным, но не необходимым (например, ряд $\sum _{n=2}^{\infty }{\frac {(-1)^{n}}{n+(-1)^{n}}}$ сходится). С другой стороны, монотонное убывание существенно для применения признака Лейбница; если оно отсутствует, то ряд может расходиться даже несмотря на то, что второе условие признака Лейбница выполнено. Пример расходящегося знакочередующегося ряда с немонотонным убыванием членов^[1]:

{\frac {1}{1}}-{\frac {1}{2}}+{\frac {1}{2}}-{\frac {1}{4}}+{\frac {1}{3}}-{\frac {1}{6}}+\dots +{\frac {1}{n}}-{\frac {1}{2n}}+\dots

Удвоенные частичные суммы этого ряда совпадают с частичными суммами гармонического ряда и поэтому неограниченно растут.

Доказательство

Рассмотрим две последовательности частичных сумм ряда $R_{n}=b_{1}-b_{2}+\ldots -b_{2n}$ и $L_{n}=b_{1}-b_{2}+\ldots +b_{2n+1}$ .

Первая последовательность не убывает: $R_{n}-R_{n+1}=b_{2n+2}-b_{2n+1}\leq 0$ по первому условию.

По тому же условию вторая последовательность не возрастает: $L_{n}-L_{n+1}=b_{2n+2}-b_{2n+3}\geq 0$ .

Вторая последовательность мажорирует первую, то есть $L_{n}\geq R_{m}$ для любых $m,n\in \mathbb {N}$ . Действительно,

при

m\geq n

имеем:

L_{n}-R_{m}\geq L_{m}-R_{m}=b_{2m+1}>0,

при

m\leq n

имеем:

L_{n}-R_{m}\geq L_{n}-R_{n}=b_{2n+1}>0.

Следовательно они обе сходятся как монотонные ограниченные последовательности.

Осталось заметить, что: $\lim _{m,n}|R_{n}-L_{m}|=0$ , поэтому они сходятся к общему пределу $S$ , который и является суммой исходного ряда.

Попутно мы показали, что для любой частичной суммы ряда $S_{n}$ имеет место оценка $|S-S_{n}|<b_{n+1}$ .

Пример

$\sum _{n=1}^{\infty }(-1)^{n+1}{\frac {1}{n}}\;$ . Ряд из модулей имеет вид $\sum _{n=1}^{\infty }{\frac {1}{n}}$ — это гармонический ряд, который расходится.

Теперь воспользуемся признаком Лейбница:

знакочередование выполнено
${\frac {1}{n+1}}<{\frac {1}{n}},\;\forall \;n$
$\lim _{n\to \infty }\,{\frac {1}{n}}=0$ .

Следовательно, так как все условия выполнены, ряд сходится (причем условно, так как ряд из модулей расходится).

Оценка остатка ряда Лейбница

Из теоремы Лейбница вытекает следствие, позволяющее оценить погрешность вычисления неполной суммы ряда (остаток ряда):

S_{n}=\sum _{i=1}^{n}(-1)^{i}b_{i}.

Остаток сходящегося знакочередующегося ряда $R_{n}=S-S_{n}$ будет по модулю меньше первого отброшенного слагаемого:

\left|R_{n}\right|<b_{n+1}.

Доказательство ^[2]

Последовательность $S_{2k}$ монотонно возрастающая, так как $S_{2k}=\sum \limits _{i=2}^{i=n}{\left({b_{2i-1}-b_{2i}}\right)},$ а выражение $b_{2i-1}-b_{2i}$ неотрицательно при любом целом $i.$ Последовательность $S_{2k-1}$ монотонно убывает, так как $S_{2k+1}=S_{2k-1}-\left({b_{2k}-b_{2k+1}}\right),$ а выражение в скобках неотрицательно. Как уже доказано при доказательстве самой теоремы Лейбница, у обеих этих последовательностей — $S_{2k}$ и $S_{2k-1}$ — совпадающий предел при $k\to +\infty .$ Так получено $S_{2k}\leqslant s\leqslant S_{2k-1}$ и также $s\leqslant S_{2k+1}.$ Отсюда $0\leqslant s-S_{2k}\leqslant S_{2k+1}-S_{2k}=b_{2k+1}$ и $0\leqslant S_{2k-1}-s\leqslant S_{2k-1}-S_{2k}=b_{2k}.$ Итак, для любого $k$ выполняется $\left|{s-S_{k}}\right|\leqslant b_{k+1},$ что и требовалось доказать.

Знакопеременный ряд

Знакочередующиеся ряды также иногда называют знакопеременными^[3], однако этот термин может также означать любые ряды, имеющие одновременно бесконечное число положительных и отрицательных членов.

См. также

Признак Дирихле — обобщение признака Лейбница

Литература

Бронштейн И. Н., Семендяев К. А. Справочник по математике. — Изд. 7-е, стереотипное. — М.: Государственное издательство технико-теоретической литературы, 1967. — С. 296.
Воробьёв Н. Н. Теория рядов. — 4-е изд. — М.: Наука, 1979. — 408 с. — (Избранные главы высшей математики для инженеров и студентов втузов).
Иванов Г. Е. Глава 9. Числовые ряды. §3. Ряды со знакопеременными членами // Лекции по математическому анализу. — М.: МФТИ, 2000. — Т. 1. — С. 299—303. — 359 с. — 800 экз. — ISBN 5-7417-0147-7.

Примечания

↑ Воробьёв, 1979, с. 84—85.
↑ Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры: Учеб. для вузов. — 10-е изд., испр. — М.: ФИЗМАТЛИТ, 2005.
Курс дифференциального и интегрального исчисления т. 2 стр. 302

[_2d7262227b535ef9-1] Воробьёв, 1979, с. 84—85.

[Beklemishev_2005-2] Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры: Учеб. для вузов. — 10-е изд., испр. — М.: ФИЗМАТЛИТ, 2005.

[3] Курс дифференциального и интегрального исчисления т. 2 стр. 302

[1]

[2]

[3]

Последовательности и ряды
Последовательности	Числовая последовательность Фундаментальная последовательность Линейная рекуррентная последовательность Числа Фибоначчи Фигурные числа Факториал (Праймориал * Символ Похгаммера * Субфакториал) Последовательность Баркера Последовательность де Брёйна
Ряды, основное	Сумма ряда Остаток ряда Условная сходимость Знакочередующийся ряд Мультисекция ряда
Числовые ряды (действия с числовыми рядами)	Гармонический ряд Ряд Лейбница Ряд обратных квадратов Ряд обратных простых чисел Ряд Дирихле Ряд Меркатора Ряд Гранди 1 − 2 + 3 − 4 + … 1 + 2 + 3 + 4 + …
Функциональные ряды	Ряд Тейлора Ряд Лорана Ряд Фурье Тригонометрический ряд Фурье Тригонометрический ряд Ряд Винера
Другие виды рядов	Ряд Неймана Ряд Пюизё

Признаки сходимости рядов
Для всех рядов	Необходимое условие Критерий Коши	$\sum _{n=1}^{\infty }a_{n}$
Для знакоположительных рядов	Основной критерий Признак сравнения Признак Куммера Признак Гаусса Радикальный признак Коши Интегральный признак Признак Д’Аламбера Степенной признак Логарифмический признак Признак Раабе Признак Бертрана Признак Жамэ Признак Шлёмильха Признак Ермакова Признак Лобачевского Телескопический признак Признак Сапогова
Для знакочередующихся рядов	Признак Лейбница
Для рядов вида $\sum _{n=1}^{\infty }a_{n}b_{n}$	Признак Абеля Признак Дедекинда Признак Дюбуа-Реймона Признак Дирихле
Для функциональных рядов	Признак Вейерштрасса
Для рядов Фурье	Признак Дини Признак Валле-Пуссена Признак Жордана Признак Юнга Признак Салема Признак Лебега Признак Лебега — Гергена Признак Марцинкевича