Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Числовые и степенные ряды. Учебное пособие.pdf
Скачиваний:
0
Добавлен:
11.08.2026
Размер:
541 Кб
Скачать

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)xp1

 

1

 

(1 p)xp1

1

p

 

 

 

 

 

 

 

 

 

x→+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 0

 

1

=

1

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

p

p 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

26

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграл сходится, следовательно, ряд также сходится. При p<1 имеем:

+∞ dx

=

 

x1p

 

+∞

=

lim

x1p

 

 

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) =

ex

=

1

 

 

 

n

 

x

xe

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

монотонно

убывает

на

 

интервале

[1,+∞),

так как

 

функция

y = xe x

монотонно возрастает на этом интервале. Находим

 

 

 

+∞ e

x

 

+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

ex d(x)

= −2ex

 

1+∞ =

 

 

 

 

 

 

1

 

 

dx = −2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ex

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −2

lim

+2e1 =

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]