Часто ряд представляет собой сумму парных произведений .png)
. В этом случае, имеют место два достаточных признака.
Если ряд .png){kind=small}
сходится, а последовательность .png){kind=small}
монотонна и ограничена, то ряд сходится.
Пусть частичные суммы ряда ограничены в совокупности (то есть .png){kind=small}
, где .png)
), а последовательность монотонна и стремится к нулю, тогда ряд сходится.
Для обоих признаков сходимости гарантируется только условная.Доказательство этих признаков основывается на преобразовании Абеля: .png)
.
У признака Абеля более жесткое условие налагается на ряд , зато для ряда .png){kind=small}
- условие более мягкое, чем в признаке Дирихле.Отметим, что признак Лейбница сходимости знакопеременных рядов, получается из признака Дирихле: в ряде .png)
частичные суммы ряда .png)
ограничены в совокупности, а последовательность монотонна и стремится к нулю. Приведем примеры.
Пример 1. Исследовать ряд
на сходимость.
Применим признак Дирихле. Последовательность .png){kind=small}
монотонно стремится к нулю. Остается показать, что частичные суммы ряда .png)
ограничены. Легко заметить, что точки .png)
, расположены на единичной окружности центрально симметрично, и для любой точки .png)
, имеется точка .png){kind=small}
, так что по формулам приведения .png)
. Отсюда следует, что .png){kind=small}
, то есть частичные суммы ряда могут принимать лишь конечное число значений, а значит, они ограничены в совокупности. Следовательно, оба условия признака Лейбница выполнены и ряд сходится.В этом примере ограниченность сумм ряда следует также из формулы: .png)
.
Похожую формулу для косинусов мы выведем в следующем примере.
Пример 2. Исследовать ряд
на сходимость.
Рассмотрим последовательность .png){kind=small}
. Умножим это равенство на .png){kind=small}
и преобразуем: .png)
.png)
Таким образом, .png)
. Для нашего примера .png)
.
Таким образом, частичные суммы ряда .png)
ограничены, а последовательность .png){kind=small}
монотонно стремится к нулю. По признаку Дирихле исходный ряд сходится.
Пример 3. Исследовать ряд
на сходимость.
В предыдущем примере мы установили сходимость ряда .png)
. Осталось заметить, что последовательность .png){kind=small}
монотонная и ограниченная (эта последовательность, монотонно возрастая, стремится к .png){kind=small}
). Следовательно, по признаку Абеля ряд сходится.Отметим, что для полного исследования нужно бы еще исследовать ряды на абсолютную сходимость. Для всех трех примеров мы этого делать не будем, хотя отметим, что ни один из трех рядов не сходится абсолютно. Покажем отсутствие абсолютной сходимости для второго примера. Для этого проведем следующие выкладки:
.png)
Поскольку ряд .png)
расходится, а ряд .png)
сходится, то их сумма .png){kind=small}
расходится, следовательно, расходится и ряд . Таким образом, по признаку сравнения ряд не сходится абсолютно, то есть сходится условно.
