4.2. Признак Дирихле – Абеля
Признак Дирихле – Абеля относится к интегралам следующего вида, а именно:
Теорема 3 (Признак Дирихле – Абеля): Пусть:
1) Функция непрерывна на полупрямой
И имеет на этой прямой ограниченную первообразную
(
),
2) Пусть функция является не возрастающей функцией на промежутке
Пусть
При и, кроме того, имеет непрерывную производную на
. Тогда интеграл
сходится.
Док-во: Для доказательства воспользуемся критерием Коши, для этой цели рассмотрим следующий интеграл
Так как функция является непрерывной (по условию), то интеграл правой части существует. Кроме того, функция
не возрастает и
При
. Поэтому
при
. Для определенности будем считать, что
. Рассмотрим модуль исходного интеграла:
Зададим произвольное, так как функция
При
, то
такая константа
;
, мы можем сделать значение функции таким
, при
и
выполняется условие, что
исходный интеграл сходится, ч. т.д.
Пример:
Пусть. Функция
непрерывна и имеет на полупрямой
первообразную
(первообразная, очевидно, является ограниченной). Первый признак Дирихле-Абеля выполнен.
2) является убывающей при
И стремится к нулю при
. Следовательно, по признаку Дирихле – Абеля исходный интеграл сходится.
< Предыдущая | Следующая > |
---|