29.4. Критерий Коши

    Теорема 2 (критерий Коши сходимости интеграла). Несобственный интеграл f(x)dx сходится тогда и только тогда, когда для любого эпсилон > 0 существует такое eta, что для всех eta' и eta", удовлетворяющих условию

eta < eta' < b,     eta < eta"< b,

(29.23)

выполняется неравенство

f(x)dx < эпсилон

(29.24)

(рис.120 и рис.121).

Рис. 120
Рис. 120
Рис. 121
Рис. 121

начало    Если положить

fi(eta) = f(x)dx,

(29.25)

то сходимость интеграла f(x)dx будет означать существование конечного предела функции fi(eta) при etab. Согласно критерию Коши существования предела функции (п. 6.12) для существования указанного предела необходимо и достаточно, чтобы для любого эпсилон > 0 нашлось такое eta, что если eta < eta' < b, eta < eta"< b, то

|fi(eta') - fi(eta")|

(29.26)

Так как

fi(eta') - fi(eta") f(x)dx - f(x)dx = f(x)dx,

то неравенство (29.24) совпадает с неравенством (29.26). конец


Несобственные интегралы от неотрицательных функций  Оглавление   Абсолютно сходящиеся интегралы