- •1.1. Основные определения
- •1.2. Необходимый признак сходимости ряда
- •1.3. Свойства сходящихся рядов
- •§ 2. РЯДЫ С ПОЛОЖИТЕЛЬНЫМИ ЧЛЕНАМИ
- •2.2. Первый признак сравнения
- •2.3. Второй признак сравнения
- •2.4. Признак Даламбера
- •2.5. Радикальный признак Коши
- •2.6. Интегральный признак Коши
- •§ 3. ЗНАКОПЕРЕМЕННЫЕ РЯДЫ
- •3.1. Достаточный признак сходимости знакопеременного ряда
- •3.2. Признак Лейбница
- •3.3. Свойства абсолютно и условно сходящихся рядов
- •§ 4. ФУНКЦИОНАЛЬНЫЕ РЯДЫ. СТЕПЕННЫЕ РЯДЫ
- •4.1. Функциональные ряды
- •4.2. Степенные ряды
- •4.3. Теорема Абеля
- •4.4. Интервал и радиус сходимости степенного ряда
- •4.5. Свойства степенных рядов
- •§ 5. РАЗЛОЖЕНИЕ ФУНКЦИЙ В СТЕПЕННЫЕ РЯДЫ
- •5.1. Ряды Тейлора и Маклорена
- •§ 6. ВЫЧИСЛЕНИЕ СУММ СХОДЯЩИХСЯ РЯДОВ
- •§ 7. ПРИМЕНЕНИЕ СТЕПЕННЫХ РЯДОВ
- •7.1. Приближенное вычисление определенных интегралов
- •7.2. Приближенное решение дифференциальных уравнений
- •БИБЛИОГРАФИЧЕСКИЙ СПИСОК
2.6. Интегральный признак Коши
∞
Пусть члены ряда ∑un положительны и не возрастают:
n=1
un ≥ un+1,n =1,2,...
Пусть существует непрерывная невозрастающая функция f(x) на интервале[1,+∞) такая, что f(n)=un , n =1,2,...
Тогда несобственный интеграл |
+∞ |
и ряд ведут себя одина- |
∫ f (x)dx |
||
|
1 |
|
ково (оба сходятся или оба расходятся). |
|
|
Доказательство. |
|
|
Случай 1. |
+∞ |
|
|
|
|
Пусть несобственный интеграл ∫ f (x)dx расходится. |
||
|
1 |
|
Рассмотрим криволинейную трапецию, ограниченную сверху графиком функции y=f(x), основанием которой служит отрезок
[1, n+1] |
оси Ox. |
основаниями которых служат |
Построим прямоугольники, |
||
отрезки |
[1,2], [2,3],…[n,n+1], |
а высоты соответственно равны |
числам f (1) =u1, f (2) = u2 ,..., f (n) =un (см. рис. 1).
Сумма площадей первых n прямоугольников равна n-й частичной сумме ряда:
u1 1+u2 1+... +un 1 = u1 +u2 +... +un = Sn.
Площадь ступенчатой фигуры, образованной прямоугольниками, больше площади криволинейной трапеции, следовательно, учитывая геометрический смысл определенного интеграла, получим:
n+1
Sn > ∫ f ( x)dx.
1
Несобственный интеграл
+∞ n+1
∫ f ( x)dx = nlim→∞ ∫ f ( x)dx = +∞, |
|
1 |
1 |
следовательно, lim Sn = +∞, т.е. ряд расходится.
n→∞
24
y
u1
y = f(x)
u2 u3
u n
O |
|
1 2 3 |
. . . |
n n+1 |
x |
|
|
|
|
|
|
Рис. 1
Случай 2. Пусть несобственный интеграл сходится, т.е.
+∞
∫ f ( x)dx = M.
1
Построим прямоугольники с теми же основаниями, но с другими высотами, равными соответственно числам f (2) = u2 , f (3) = u3,..., f (n +1) = un+1 (см. рис.2).
Сумма площадей первых n прямоугольников равна u2 +u3 +... +un+1 = Sn+1 −u1.
Площадь ступенчатой фигуры, образованной прямоугольниками, меньше площади криволинейной трапеции, следовательно, выполняется неравенство:
n+1 |
+∞ |
Sn+1 −u1 < ∫ f ( x)dx < ∫ f (x)dx = M. |
|
1 |
1 |
Следовательно, |
Sn+1 < u1 + M, то есть последовательность час- |
тичных сумм ряда ограничена сверху (числом u1 + M ).
25
y
u2 |
|
|
|
y = f(x) |
|
|
|
|
|
|
|
|
|
|
|
u3 |
|
|
|
|
|
|
|
u n+1 |
|
|
|
|
|
|
|
O |
1 |
2 |
3 |
. . . |
n |
n+1 |
x |
|
|
|
|
Рис. 2 |
|
|
|
Ряд сходится по необходимому и достаточному условию сходимости ряда с положительными членами.
Пример 20. Исследуем сходимость ряда Дирихле
∑∞ n1p , p > 0.
n=1
Решение. Применим интегральный признак Коши. Рассмотрим
функцию |
|
f ( x) = |
|
1 |
. Эта |
функция непрерывна, |
монотонно |
|||||||||||||||||||||
|
|
x p |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
убывает на промежутке [1,+∞) |
и |
|
f (n) = |
|
= un. |
|
|
|
|
|
||||||||||||||||||
|
np |
|
|
|
|
|
||||||||||||||||||||||
При p>1 имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
+∞ dx |
= |
x |
−p+1 |
|
+∞ |
= |
1 |
|
|
|
+∞ |
= |
lim |
|
1 |
− |
|
|
1 |
= |
||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
∫ xp |
− p +1 |
|
1 |
|
|
(1 − p)xp−1 |
|
1 |
|
(1 − p)xp−1 |
1 |
− p |
||||||||||||||||
|
|
|
|
|
|
|
|
|
x→+∞ |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= 0 − |
|
1 |
= |
1 |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
1 |
− p |
p −1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
26 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
интеграл сходится, следовательно, ряд также сходится. При p<1 имеем:
+∞ dx |
= |
|
x1−p |
|
+∞ |
= |
lim |
x1−p |
− |
|
|
1 |
= +∞, |
|||||
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
||||||
1 |
x |
p |
1 − p |
1 |
− p |
1 |
− p |
|||||||||||
|
|
|
|
|
x→+∞ |
|
|
|||||||||||
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
интеграл расходится, следовательно, ряд тоже расходится.
|
|
|
|
∞ |
1 |
|
|
При p=1 имеем гармонический ряд ∑ |
.Рассмотрим несоб- |
||||||
n |
|||||||
|
|
|
|
n=1 |
|
||
|
|
|
|
|
|
||
ственный интеграл |
|
|
|||||
+∞ dx |
= ln | x | |
|
1+∞ = lim ln | x | −ln1 = +∞, |
||||
|
|||||||
|
|
||||||
1 x |
|||||||
∫ |
|
|
x→+∞ |
|
|
||
следовательно, ряд расходится.
Пример 21. Исследовать сходимость ряда
∞ |
1 |
|
|
∑n=1 |
. |
||
(n +1) ln(n +1) |
Решение. Заменив в общем члене un n на x , получим
функцию
x [1,+∞).
+∞
∫
1
1
f(x)= ( x +1) ln(x +1) , монотонно убывающую при Исследуем несобственный интеграл
dx |
= |
+∞ d ln(x +1) |
= 2 ln(x +1) |
|
1+∞= |
||
|
|||||||
( x +1) ln(x +1) |
∫ |
ln(x +1) |
|||||
|
|
|
|
||||
|
|
1 |
|
|
|
|
|
= lim 2 ln(x +1) −2
ln 2 = ∞,
x→+∞
интеграл расходится, следовательно, ряд тоже расходится по интегральному признаку Коши.
∞ |
n |
|
|
Пример 22. Исследовать сходимость ряда ∑ |
e− |
. |
|
|
|
||
n=1 |
n |
||
27
Решение. Общий член ряда un = |
e− |
n |
|
, f ( x) = |
e− x |
= |
1 |
|
|
||||||||||||||||
|
n |
|
x |
xe |
x |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
монотонно |
убывает |
на |
|
интервале |
[1,+∞), |
так как |
|
функция |
|||||||||||||||||
y = xe x |
монотонно возрастает на этом интервале. Находим |
|
|
||||||||||||||||||||||
|
+∞ e− |
x |
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
∫ |
x |
|
∫ |
e− x d(− x) |
= −2e− x |
|
1+∞ = |
|
|
|
|
|
||||||||||||
|
1 |
|
|
dx = −2 |
1 |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
e− x |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
= −2 |
lim |
+2e−1 = |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
x→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
интеграл сходится, следовательно, ряд тоже |
сходится |
|
по инте- |
||||||||||||||||||||||
гральному признаку Коши. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Пример 23. Исследовать сходимость ряда |
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
∞ |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
(n +2) ln(n +2) |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|||
Решение. Заменив в общем члене |
un |
= |
|
|
|
|
|
n |
на |
||||||||||||||||
(n +2) ln(n +2) |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
x, получим функцию |
|
|
|
|
||
f ( x) = |
|
1 |
, |
монотонно убывающую при |
||
(x +2) ln(x +2) |
||||||
Находим несобственный интеграл |
|
|||||
+∞ |
dx |
|
+∞ d ln(x +2) |
|
||
∫ |
|
= ∫ |
|
= ln | ln(x +2) | |
||
( x +2) ln(x +2) |
ln(x +2) |
|||||
1 |
|
|
1 |
|
|
|
x [1,+∞).
1+∞ =
= |
lim ln | ln(x +2) | −ln ln 3 == +∞, |
x→+∞ |
|
интеграл |
расходится, следовательно, ряд тоже расходится по |
интегральному признаку Коши.
28
