Рассмотрите несобственный интеграл I(a)=∫_1^∞ x^a / (1+x^3) dx в зависимости от параметра a. Какие тесты сходимости применимы, где возникает тонкость при пределах интегрирования, и как выбрать правильную стратегию исследования для разных a
Интеграл I(a)=∫1∞xa1+x3 dx
I(a)=\int_1^\infty \frac{x^a}{1+x^3}\,dx I(a)=∫1∞1+x3xadx
импровый только в бесконечности (на отрезке [1,2][1,2][1,2] функция непрерывна), поэтому изучаем поведение при x→∞x\to\inftyx→∞. Основная асимптотика: для больших xxxxa1+x3∼xa−3.
\frac{x^a}{1+x^3}\sim x^{a-3}. 1+x3xa∼xa−3.
Применим предельный (limit) сравнительный тест: limx→∞xa1+x3xa−3=limx→∞x31+x3=1,
\lim_{x\to\infty}\frac{\frac{x^a}{1+x^3}}{x^{a-3}}=\lim_{x\to\infty}\frac{x^3}{1+x^3}=1, x→∞limxa−31+x3xa=x→∞lim1+x3x3=1,
так что сходимость I(a)I(a)I(a) эквивалентна сходимости интеграла ∫1∞xa−3 dx\int_1^\infty x^{a-3}\,dx∫1∞xa−3dx. По ppp-тесту ∫1∞xβ dx\int_1^\infty x^{\beta}\,dx∫1∞xβdx сходится тогда и только тогда, когда β<−1\beta<-1β<−1. Здесь β=a−3\beta=a-3β=a−3, откуда условие сходимости a−3<−1⟺a<2.
a-3<-1\quad\Longleftrightarrow\quad a<2. a−3<−1⟺a<2. Можно дать элементарные неравенства для строгого доказательства: для x≥1x\ge1x≥1 имеем x3≤1+x3≤2x3x^3\le 1+x^3\le 2x^3x3≤1+x3≤2x3, поэтому xa2x3≤xa1+x3≤xax3,
\frac{x^a}{2x^3}\le\frac{x^a}{1+x^3}\le\frac{x^a}{x^3}, 2x3xa≤1+x3xa≤x3xa,
и сравнение с 12xa−3\frac12 x^{a-3}21xa−3 и xa−3x^{a-3}xa−3 даёт сходимость при a<2a<2a<2 и расходимость при a≥2a\ge2a≥2. В частности при a=2a=2a=2 интеграл ведёт себя как ∫1∞dxx\int_1^\infty \frac{dx}{x}∫1∞xdx и расходится (логарифмически). Итог: I(a)I(a)I(a) сходится для всех a<2a<2a<2 и расходится для a≥2a\ge2a≥2. Тонкость — только поведение на бесконечности; применимы limit comparison (или обычное сравнение) с функцией xa−3x^{a-3}xa−3 и ppp-тест.
I(a)=∫1∞xa1+x3 dx I(a)=\int_1^\infty \frac{x^a}{1+x^3}\,dx
I(a)=∫1∞ 1+x3xa dx импровый только в бесконечности (на отрезке [1,2][1,2][1,2] функция непрерывна), поэтому изучаем поведение при x→∞x\to\inftyx→∞.
Основная асимптотика: для больших xxx xa1+x3∼xa−3. \frac{x^a}{1+x^3}\sim x^{a-3}.
1+x3xa ∼xa−3. Применим предельный (limit) сравнительный тест:
limx→∞xa1+x3xa−3=limx→∞x31+x3=1, \lim_{x\to\infty}\frac{\frac{x^a}{1+x^3}}{x^{a-3}}=\lim_{x\to\infty}\frac{x^3}{1+x^3}=1,
x→∞lim xa−31+x3xa =x→∞lim 1+x3x3 =1, так что сходимость I(a)I(a)I(a) эквивалентна сходимости интеграла ∫1∞xa−3 dx\int_1^\infty x^{a-3}\,dx∫1∞ xa−3dx.
По ppp-тесту ∫1∞xβ dx\int_1^\infty x^{\beta}\,dx∫1∞ xβdx сходится тогда и только тогда, когда β<−1\beta<-1β<−1. Здесь β=a−3\beta=a-3β=a−3, откуда условие сходимости
a−3<−1⟺a<2. a-3<-1\quad\Longleftrightarrow\quad a<2.
a−3<−1⟺a<2.
Можно дать элементарные неравенства для строгого доказательства:
для x≥1x\ge1x≥1 имеем x3≤1+x3≤2x3x^3\le 1+x^3\le 2x^3x3≤1+x3≤2x3, поэтому
xa2x3≤xa1+x3≤xax3, \frac{x^a}{2x^3}\le\frac{x^a}{1+x^3}\le\frac{x^a}{x^3},
2x3xa ≤1+x3xa ≤x3xa , и сравнение с 12xa−3\frac12 x^{a-3}21 xa−3 и xa−3x^{a-3}xa−3 даёт сходимость при a<2a<2a<2 и расходимость при a≥2a\ge2a≥2. В частности при a=2a=2a=2 интеграл ведёт себя как ∫1∞dxx\int_1^\infty \frac{dx}{x}∫1∞ xdx и расходится (логарифмически).
Итог: I(a)I(a)I(a) сходится для всех a<2a<2a<2 и расходится для a≥2a\ge2a≥2. Тонкость — только поведение на бесконечности; применимы limit comparison (или обычное сравнение) с функцией xa−3x^{a-3}xa−3 и ppp-тест.