Исследование сходимости интеграла
∫ 1 2 d x 16 − x 4 . \int_{1}^{2} \frac{dx}{\sqrt{16 - x^4}}. ∫ 1 2 16 − x 4 d x .
1. Точки возможной особенности
Подинтегральная функция имеет вид
f ( x ) = 1 16 − x 4 . f(x) \;=\; \frac{1}{\sqrt{16 - x^4}}. f ( x ) = 16 − x 4 1 .
Потенциальные проблемы могут возникать там, где знаменатель обращается в ноль, то есть при
16 − x 4 = 0 ⟺ x 4 = 16 ⟺ x = ± 2. 16 - x^4 \;=\; 0
\quad \Longleftrightarrow \quad
x^4 \;=\; 16
\quad \Longleftrightarrow \quad
x \;=\; \pm 2. 16 − x 4 = 0 ⟺ x 4 = 16 ⟺ x = ± 2.
На отрезке [ 1 , 2 ] [1,2] [ 1 , 2 ] единственная «опасная» точка — это x = 2 x=2 x = 2 . Следовательно, нужно проверить поведение интеграла в окрестности x = 2 x=2 x = 2 .
2. Поведение функции при x → 2 − x \to 2^- x → 2 −
Рассмотрим малую приращение δ = 2 − x \delta = 2 - x δ = 2 − x . Тогда x = 2 − δ x = 2 - \delta x = 2 − δ , и при δ → 0 + \delta \to 0^+ δ → 0 + (то есть x → 2 − x \to 2^- x → 2 − ):
x 4 = ( 2 − δ ) 4 = 16 − 32 δ + 24 δ 2 − 8 δ 3 + δ 4 . x^4 \;=\; (2 - \delta)^4
= 16 - 32\delta + 24\delta^2 - 8\delta^3 + \delta^4. x 4 = ( 2 − δ ) 4 = 16 − 32 δ + 24 δ 2 − 8 δ 3 + δ 4 .
Тогда
16 − x 4 = 16 − ( 16 − 32 δ + 24 δ 2 − 8 δ 3 + δ 4 ) = 32 δ − 24 δ 2 + 8 δ 3 − δ 4 . 16 - x^4
= 16 - \bigl(16 - 32\delta + 24\delta^2 - 8\delta^3 + \delta^4\bigr)
= 32\delta - 24\delta^2 + 8\delta^3 - \delta^4. 16 − x 4 = 16 − ( 16 − 32 δ + 24 δ 2 − 8 δ 3 + δ 4 ) = 32 δ − 24 δ 2 + 8 δ 3 − δ 4 .
Для очень малых δ \delta δ доминирующий член — 32 δ 32\delta 32 δ . Следовательно,
16 − x 4 ≈ 32 δ , 16 - x^4 \;\approx\; 32\,\delta, 16 − x 4 ≈ 32 δ ,
а значит
16 − x 4 ≈ 32 δ = 4 2 δ . \sqrt{16 - x^4}
\;\approx\; \sqrt{32\,\delta}
= 4\sqrt{2}\,\sqrt{\delta}. 16 − x 4 ≈ 32 δ = 4 2 δ .
Тогда
1 16 − x 4 ≈ 1 4 2 δ = C 2 − x , где C = 1 4 2 (константа) . \frac{1}{\sqrt{16 - x^4}}
\;\approx\; \frac{1}{4\sqrt{2}\,\sqrt{\delta}}
\;=\; \frac{C}{\sqrt{2 - x}},
\quad \text{где } C = \frac{1}{4\sqrt{2}} \text{ (константа)}. 16 − x 4 1 ≈ 4 2 δ 1 = 2 − x C , где C = 4 2 1 ( константа ) .
Итак, в окрестности x = 2 x=2 x = 2 подинтегральная функция ведёт себя как
1 2 − x , \frac{1}{\sqrt{2 - x}}, 2 − x 1 ,
что является типичной «корневой» особостью.
3. Проверка интегрируемости особенности
Рассмотрим «опасный» кусок [ a , 2 ] \bigl[a,\,2\bigr] [ a , 2 ] с a a a близким к 2, например a ∈ ( 1 , 2 ) a \in (1,2) a ∈ ( 1 , 2 ) . Нужно проверить сходимость
∫ a 2 d x 16 − x 4 . \int_{a}^{2} \frac{dx}{\sqrt{16 - x^4}}. ∫ a 2 16 − x 4 d x .
Так как в окрестности x = 2 x=2 x = 2 функция упрощается до порядка 1 2 − x \tfrac{1}{\sqrt{2 - x}} 2 − x 1 , то сравним с интегралом
∫ a 2 d x 2 − x . \int_{a}^{2} \frac{dx}{\sqrt{2 - x}}. ∫ a 2 2 − x d x .
Делая замену u = 2 − x u = 2 - x u = 2 − x , получаем d u = − d x du = -\,dx d u = − d x . Тогда при x → 2 − x \to 2^- x → 2 − имеем u → 0 + u \to 0^+ u → 0 + , а при x = a x=a x = a имеем u = 2 − a > 0 u = 2 - a > 0 u = 2 − a > 0 . Следовательно,
∫ a 2 d x 2 − x = ∫ u = 2 − a u = 0 − d u u = ∫ 0 2 − a d u u = 2 u ∣ 0 2 − a = 2 2 − a , \int_{a}^{2} \frac{dx}{\sqrt{2 - x}}
= \int_{u=2-a}^{u=0} \frac{-\,du}{\sqrt{u}}
= \int_{0}^{2-a} \frac{du}{\sqrt{u}}
= 2\,\sqrt{u}\,\Bigl|_{0}^{2-a}
= 2\sqrt{2 - a}, ∫ a 2 2 − x d x = ∫ u = 2 − a u = 0 u − d u = ∫ 0 2 − a u d u = 2 u 0 2 − a = 2 2 − a ,
и это конечная величина. Таким образом «корневая» особенность вида 1 2 − x \tfrac{1}{\sqrt{2 - x}} 2 − x 1 интегрируема на указанном отрезке.
4. Вывод о сходимости
• При x ∈ [ 1 , 2 ) x \in [1,2) x ∈ [ 1 , 2 ) внутри интервала знаменатель 16 − x 4 \sqrt{16 - x^4} 16 − x 4 остаётся положительным и не создаёт проблем.
• В точке x = 2 x=2 x = 2 возникает особенность, однако она относится к типу «интегрируемых» (поскольку асимптотика 1 2 − x \tfrac{1}{\sqrt{2 - x}} 2 − x 1 задаёт сходящийся интеграл).
Следовательно, данный интеграл
∫ 1 2 d x 16 − x 4 \int_{1}^{2} \frac{dx}{\sqrt{16 - x^4}} ∫ 1 2 16 − x 4 d x
является сходящимся (не смотря на то, что он — «неправильный» в точке x = 2 x=2 x = 2 ).
Ответ : интеграл
∫ 1 2 d x 16 − x 4 \displaystyle \int_{1}^{2} \dfrac{dx}{\sqrt{16 - x^4}} ∫ 1 2 16 − x 4 d x
имеет в точке x = 2 x=2 x = 2 интегрируемую особенность и, следовательно, сходится .