

Математический анализ Раздел: Числовые и функциональные ряды
Тема: Сходимость знакоположительных
рядов
Лектор Пахомова Е.Г.
2011 г.
§15. Сходимость знакоположительных рядов
ЛЕММА 1 (необходимое и достаточное условие сходимости знакоположительного ряда).
Знакоположительный ряд сходится последовательность его частичных сумм ограничена.
ДОКАЗАТЕЛЬСТВО
ТЕОРЕМА 2 (первый признак сравнения).
Пусть ∑un и ∑vn – знакоположительные ряды, причем
un vn , n N (N ).
Тогда
1)если ряд ∑vn сходится, то и ряд ∑un тоже сходится;
2)если ряд ∑un расходится, то и ряд ∑vn тоже расходится.
ДОКАЗАТЕЛЬСТВО
ТЕОРЕМА 3 (второй признак сравнения).
Пусть ∑un и ∑vn – знакоположительные ряды.
Если при n существует конечный и отличный от нуля
предел отношения их общих членов, т.е. lim un k 0,
n vn
то ряды ∑un и ∑vn ведут себя одинаково по отношению к сходимости.
ДОКАЗАТЕЛЬСТВО
ЭТАЛОННЫЕ РЯДЫ, которые используются в признаках
сравнения: |
|
|
1n |
|
|
|
а) |
гармонический ряд |
– расходится; |
||||
|
|
|
n 1 |
|
|
|
б) |
обобщенный гармонический ряд (ряд Дирихле) |
|||||
|
|
1 |
|
сходится , |
åñëè 1, |
|
|
|
|
|
|
|
|
|
n 1 n |
расходится , |
åñëè 1. |
|||
|
|
|
в) ряд геометрической прогрессии
|
|
сходится , |
åñëè |
|
q |
|
1, |
|
|
|
|
||||||
aqn 1 |
|
|
|
|||||
|
расходится , |
åñëè |
|
q |
|
1. |
||
|
|
|||||||
|
|
|||||||
n 1 |
|
|
|
|
|
|
|
|
ТЕОРЕМА 4 (признак Даламбера).
Пусть ∑un – знакоположительный ряд и существует
lim un 1 .
n un
Тогда
а) если ℓ < 1 , то ряд сходится; б) если ℓ > 1 , то ряд расходится;
в) если ℓ = 1 , то вопрос о сходимости ряда остается открытым.
ДОКАЗАТЕЛЬСТВО

ТЕОРЕМА 5 (признак Коши).
Пусть ∑un – знакоположительный ряд и существует
lim n un .
n
Тогда
а) если ℓ < 1 , то ряд сходится; б) если ℓ > 1 , то ряд расходится;
в) если ℓ = 1 , то вопрос о сходимости ряда остается открытым.
ДОКАЗАТЕЛЬСТВО
Замечания.
1) В обеих теоремах 4 и 5 случай ℓ = включается в ℓ > 1 .
2) В ходе доказательства теорем 4 и 5 показывается, что если |
|
ℓ > 1 , то |
lim un 0 |
|
n |
ТЕОРЕМА 6 (интегральный признак Коши).
Пусть ∑un – знакоположительный ряд,
f(x) – непрерывная, неотрицательная, монотонно убывающая на [c;+ ) (где c , c 1) функция такая, что
f(n) = un (для любого n = 1,2,3 …).
Тогда несобственный интеграл f (x)dx и ряд
c
ведут себя одинаково относительно сходимости.
ДОКАЗАТЕЛЬСТВО