Достаточные признаки сходимости.

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

(2.1)

(2.2), где

Теорема 1: (Признак сравнения) Если для рядов (2.1) и (2.2) выполняется неравенство: для всех номеров , начиная с некоторого, то из сходимости ряда (2.2) следует сходимость ряда (2.1) и из расходимости ряда (2.1) следует расходимость ряда (2.2).

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

Рассмотрим частичные суммы рядов: и . Причём: (т.к. ). Но по условию теоремы ряд (2.2) сходится, т.е. , но это означает, что , т.е. последовательность частичных сумм является монотонно возрастающей и ограниченной сверху. Тогда по признаку Вейерштрасса эта последовательность имеет предел, не превосходящий . Т.е. .

Доказательство второй части теоремы основано на доказательстве от противного: Пусть ряд (2.2) – сходится, но тогда должен будет сходится и ряд (2.1) по первой части теоремы, что противоречит условию.

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

Пример 1: Рассмотрим ряд: . Сравним его с гармоническим рядом: . Но так как гармонический ряд является расходящимся рядом, то исходный ряд также будет расходящимся.

Пример 2: Рассмотрим ряд: .

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

Теорема 2: (Признак Даламбера) Рассмотрим знакоположительный ряд: (). Если при существует предел отношения , то при – ряд сходится, при – ряд расходится.

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

Пусть , тогда исходя из определения предела следует:

: , т.е. . Выберем настолько малым, чтобы . Тогда . Т.к. , то и , . Это означает, что:

и так далее.

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

Пусть теперь . Тогда можно выбрать сколь угодно большое число (на основании определения предела), что при будет справедливо неравенство: , где выбирается настолько малым, чтобы . Но тогда в ряде каждый последующий член будет больше предыдущего и, поскольку все они положительные, для такого ряда нарушается необходимый признак, согласно которому его общий член должен стремиться к нулю. Значит данный ряд будет расходящимся.

Пример 3: Рассмотрим ряд: . Здесь Составим отношение: и переходя к пределу, получим: , т.е. ряд сходится.

Пример 4: Рассмотрим ряд: . Для его общего члена составим отношение: . Переходя к пределу, получим: . Т.е. независимо от числа . При мы имеем гармонический ряд, который расходится. При получим ряд обратных квадратов, который сходится. Т.о. при признак сходимости Даламбера не даёт однозначного ответа о сходимости ряда.

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

Тогда исходный ряд сходится, если сходится несобственный интеграл: и расходится, если этот несобственный интеграл расходится.

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

Примем в качестве . Рассмотрим криволинейную трапецию, ограниченную линиями: , , где – произвольное целое положительное число.

Площадь данной криволинейной трапеции можно определить с помощью определённого интеграла: . Рассмотрим две ступенчатые фигуры: одна входящая в рассматриваемую криволинейную трапецию и имеющая площадь: . Вторая – выходящая за границу криволинейной трапеции: . Тогда можем записать соотношение: . Или: . Отсюда получаем:

(*)

(**)

Т.к. рассматриваемая функция –положительная, то интеграл возрастает с ростом . Тогда возможны два случая:

1). Несобственный интеграл сходится, т.е. существует конечный предел: , тогда и из неравенства (*) при всяком имеем: . Следовательно, частичные суммы являются монотонно возрастающими и ограниченными последовательностями, а значит, по признаку Вейерштрасса имеют предел, т.е. ряд сходится.

2). Несобственный интеграл расходится. Тогда при и на основании неравенства (**) заключаем, что также неограниченно возрастает с ростом значения . Т.е. ряд расходится.

Пример 5: Рассмотрим ряд: . Как было показано ранее, для этого ряда не применим признак Даламбера. Рассмотрим его с использованием интегрального признака. В качестве функции , её целочисленные значения совпадают с членами ряда. Далее анализируя несобственный интеграл первого рода, получим:

, .

Откуда следует, что данный НИ сходится, если , расходится, если .