Несобственный интеграл dx/ln²x от 1 до 2
В этой задаче требуется исследовать на сходимость несобственный интеграл 2-го рода с особой точкой в нижнем пределе интегрирования.
Условие
Решение
Шаг 1
Подынтегральная функция f(x) = 1/ln²x не определена в точке x = 1 (знаменатель обращается в нуль), но непрерывна на любом отрезке [1+ε, 2] при ε > 0. Значит, интеграл — несобственный 2-го рода с особой точкой x = 1.
Почему интеграл является несобственным 2-го рода?
Несобственный интеграл 2-го рода возникает, когда подынтегральная функция не ограничена (обращается в бесконечность) в одной из точек отрезка интегрирования. В нашем случае ln x → 0 при x → 1+, поэтому 1/ln²x → +∞. Особая точка x = 1 — левый конец отрезка.
Шаг 2
Для применения признака сравнения найдём эквивалентную функцию в окрестности особой точки. Используем правило Лопиталя для отношения ln x / (x−1).
Шаг 3
При x → 1+ и числитель, и знаменатель стремятся к нулю, имеем неопределённость 0/0. Применяем правило Лопиталя:
Зачем нужно правило Лопиталя?
Правило Лопиталя позволяет раскрыть неопределённость вида 0/0 или ∞/∞. В нашем случае предел ln x / (x−1) при x → 1+0 равен 1. Это означает, что ln x ~ (x−1) при x → 1+0 — ключевая эквивалентность для дальнейшего анализа.
Шаг 4
Из полученного равенства следует эквивалентность:
Шаг 5
Значит, подынтегральная функция эквивалентна:
Шаг 6
Проверим эквивалентность через предельный признак сравнения с функцией g(x) = 1/(x−1)²:
Шаг 7
Интеграл ∫₁² dx/(x−1)² расходится: это эталонный несобственный интеграл 2-го рода ∫_a^b dx/(x−a)^α при α = 2 ≥ 1. По признаку сравнения в предельной форме (lim f/g = 1, 0 < 1 < ∞) интегралы ∫ f и ∫ g сходятся или расходятся одновременно. Значит, исходный интеграл расходится.
Почему эталонный интеграл расходится?
Обобщённый эталонный интеграл 2-го рода ∫_a^b dx/(x−a)^α сходится при α < 1 и расходится при α ≥ 1. В нашем случае α = 2 ≥ 1, значит, интеграл от g(x) расходится. Доказательство: ∫_{1+ε}^{2} dx/(x−1)² = [−1/(x−1)]_{1+ε}^{2} = −1 + 1/ε → +∞ при ε → 0+.
Ответ
Расходится.


