Главная › Математический анализ › Несобственные интегралы › Несобственный интеграл dx/ln²x от 1 до 2

Несобственный интеграл dx/ln²x от 1 до 2

В этой задаче требуется исследовать на сходимость несобственный интеграл 2-го рода с особой точкой в нижнем пределе интегрирования.

Условие

∫ 1 2 d x ln 2 x

Решение

Шаг 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. Применяем правило Лопиталя:

lim x → 1 + ln x x − 1 = lim x → 1 + 1 / x 1 = 1
Зачем нужно правило Лопиталя?

Правило Лопиталя позволяет раскрыть неопределённость вида 0/0 или ∞/∞. В нашем случае предел ln x / (x−1) при x → 1+0 равен 1. Это означает, что ln x ~ (x−1) при x → 1+0 — ключевая эквивалентность для дальнейшего анализа.

Шаг 4

Из полученного равенства следует эквивалентность:

ln x ∼ ( x − 1 ) , ln 2 x ∼ ( x − 1 ) 2

Шаг 5

Значит, подынтегральная функция эквивалентна:

f ( x ) = 1 ln 2 x ∼ 1 ( x − 1 ) 2

Шаг 6

Проверим эквивалентность через предельный признак сравнения с функцией g(x) = 1/(x−1)²:

lim x → 1 + f ( x ) 1 / ( x − 1 ) 2 = ( lim x → 1 + x − 1 ln x ) 2 = 1 2 = 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+.

Ответ

Расходится.

  • Первообразная и интеграл
  • Определённый интеграл
  • Несобственные интегралы
  • Двойные интегралы
  • Тройные интегралы
  • Криволинейные интегралы
  • Поверхностные интегралы
  • Элементы теории поля
  • Занесение под знак дифференциала
  • Уравнения касательных
  • ЕГЭ профиль
  • ЕГЭ база
  • ОГЭ