Непрерывна, положительна и монотонно убывает в области определения.
Т1. (признак сравнения) Если для двух положительных рядов и , начиная с некоторого номера , выполняется неравенство , то из сходимости ряда следует сходимость ряда , а из расходимости ряда – расходимость ряда .
Док-во. Так как отбрасывание конечного числа членов ряда не влияет на его сходимость, то без ограничения общности доказательства можно считать, что неравенство выполняется с первых членов этих рядов. Обозначим -ые частичные суммы этих рядов через и . Пусть ряд сходится и его сумма равна . Следовательно, частичные суммы этого ряда ограничены
сверху суммой ряда, т.е. . Так как и последовательности и неубывающие, то , т.е. ряд сходится. Аналогично доказывается и последнее утверждение теоремы (доказать самостоятельно).
З1. В качестве рядов сравнения чаще всего используют ряды: , который сходится при и расходится при ; , который сходится при и расходится при .
Пример 1. Сравнить ряды и ,выяснить их сходимость.
Необходимый признак сходимости очевидно выполняется для обоих рядов. Ряд сходится по признаку сравнения, так как начиная с первого члена каждый член этого ряда меньше каждого члена ряда , который сходится, так как для этого ряда . В свою очередь, начиная с первого члена каждый член ряда будет меньше каждого члена ряда , следовательно, по признаку сравнения этот ряд также сходится.
2. Признак Даламбера.
Т2. Пусть для положительного ряда существует предел . Тогда при ряд сходится; при ряд расходится, а при признак Даламбера не работает.
Док-во. Пусть . Выберем число такое, чтобы выполнялось двойное неравенство . Так как при отношение , а величина , то существует такой номер , что будет выполняться неравенство , т.е. ; ; ; …; . В силу этих неравенств, начиная с номера каждый член ряда будет меньше каждого члена ряда , который сходится, так как , и представляет собой сумму бесконечной геометрической прогрессии
(). Следовательно, по признаку сравнения ряд сходится. Аналогично доказывается случай, когда (доказать самостоятельно).
Пример 2. Исследовать на сходимость ряд .
Очевидно, что необходимый признак сходимости ряда выполняется, т.е. ряд подозрителен на сходимость. Применим признак Даламбера:
,
следовательно, заданный ряд сходится.
3. Интегральный признак Коши.
Если для ряда в выражении общего члена заменить дискретную переменную на непрерывный аргумент , то получим функцию .
Т3. Пусть функция удовлетворяет следующим требованиям:
– определена на луче ;