Несобственный интеграл arctg(x²/(x+1))/(x²+4) от 0 до ∞
В этой задаче требуется исследовать на сходимость несобственный интеграл смешанного типа: с потенциальной особой точкой в нуле и бесконечным верхним пределом.
Условие
Решение
Шаг 1
Подынтегральная функция f(x) = arctg(x²/(x+1))/(x²+4) может иметь особенность в точке x = 0 (где подынтегральное выражение формально определено, но требует проверки) и имеет бесконечный верхний предел. Разобьём интеграл точкой x = 1 на два:
Почему выбрана точка разбиения x = 1?
Точка x = 1 — удобная граница: на отрезке [0, 1] функция ограничена и особенностей нет (проверим это отдельно), а на [1, +∞) можно применить оценку сверху для исследования сходимости. Такое разбиение позволяет независимо разобраться с каждой частью.
Шаг 2
Рассмотрим поведение f(x) при x → 0+. Аргумент арктангенса x²/(x+1) → 0, значит arctg(x²/(x+1)) ~ x²/(x+1) → 0. Знаменатель x²+4 → 4. Следовательно, f(x) → 0/4 = 0. Разрыв в точке x = 0 устранимый, интеграл на [0, 1] является собственным (Римана), а не несобственным.
Почему разрыв в нуле устранимый?
Предел функции при x → 0+ конечен (равен 0). Значит, функцию можно доопределить в точке x = 0 значением 0, и она станет непрерывной на всём [0, 1]. Поэтому интеграл на [0, 1] сходится как обычный интеграл Римана.
Шаг 3
Теперь исследуем поведение f(x) при x → +∞. Аргумент арктангенса x²/(x+1) → +∞, поэтому arctg(x²/(x+1)) → π/2. Функция arctg ограничена: для любого t > 0 выполнено 0 < arctg t < π/2. Значит, и числитель ограничен.
Шаг 4
Получаем оценку сверху при x ≥ 1:
Шаг 5
Рассмотрим эталонный интеграл:
Почему эталонный интеграл сходится?
Интеграл ∫₁⁺∞ dx/xᵅ сходится при α > 1 и расходится при α ≤ 1. Здесь α = 2 > 1, значит интеграл от g(x) = 1/x² сходится.
Шаг 6
По признаку сравнения в форме оценки сверху: интеграл на [1, +∞) сходится. Интеграл на [0, 1] — собственный. По аддитивности исходный интеграл сходится.
Ответ
Сходится.
Альтернативный путь: через предельное сравнение
Ту же задачу можно решить с помощью признака сравнения в предельной форме. Рассмотрим предел отношения f(x) к g(x) = 1/x² на бесконечности:
Предел конечен и не равен нулю (равен π/2). Значит, интегралы ∫₁⁺∞ f(x) dx и ∫₁⁺∞ dx/x² сходятся или расходятся одновременно. Второй интеграл сходится (α = 2 > 1), поэтому исходный интеграл тоже сходится.


