Исследуйте сходимость несобственного интеграла I(p) = integral from 1 to infinity of (sin x) / x^p dx в зависимости от параметра p > 0; укажите критерии абсолютной и условной сходимости и обоснуйте выбор метода исследования
Рассмотрим I(p)=∫1∞sinxxp dx,p>0.
I(p)=\int_1^{\infty}\frac{\sin x}{x^p}\,dx,\qquad p>0. I(p)=∫1∞xpsinxdx,p>0. 1) Сходимость (обычная). Можно применить тест Дирихле: функции F(X)=∫1Xsint dt=1−cosXF(X)=\int_1^X\sin t\,dt=1-\cos XF(X)=∫1Xsintdt=1−cosX имеют ограниченные частичные интегралы, а g(x)=x−pg(x)=x^{-p}g(x)=x−p монотонно убывает и limx→∞x−p=0\lim_{x\to\infty}x^{-p}=0limx→∞x−p=0 при p>0p>0p>0. Следовательно интеграл сходится при всех p>0p>0p>0. (Альтернативно: интегрирование по частям даёт границу [−x−pcosx]1R→0[-x^{-p}\cos x]_1^R\to0[−x−pcosx]1R→0 и оставшийся интеграл с ядром cosx x−p−1\cos x\,x^{-p-1}cosxx−p−1 абсолютно сходящуюся для p>0p>0p>0.) 2) Абсолютная сходимость. Рассмотрим ∫1∞∣sinx∣xp dx.
\int_1^{\infty}\frac{|\sin x|}{x^p}\,dx. ∫1∞xp∣sinx∣dx.
Если p>1p>1p>1, то ∣sinx∣≤1 |\sin x|\le1∣sinx∣≤1 и сравнение с ∫1∞x−p dx\int_1^{\infty}x^{-p}\,dx∫1∞x−pdx даёт абсолютную сходимость. Если 0<p≤10<p\le10<p≤1, то интеграл расходится: разложим по периодам [nπ,(n+1)π][n\pi,(n+1)\pi][nπ,(n+1)π]. Так как c=∫0π∣sint∣ dt=2c=\int_0^\pi|\sin t|\,dt=2c=∫0π∣sint∣dt=2, имеем для больших nnn∫nπ(n+1)π∣sinx∣xp dx≥c((n+1)π)p,
\int_{n\pi}^{(n+1)\pi}\frac{|\sin x|}{x^p}\,dx \ge \frac{c}{((n+1)\pi)^p}, ∫nπ(n+1)πxp∣sinx∣dx≥((n+1)π)pc,
и ряд ∑n((n+1)π)−p\sum_{n}((n+1)\pi)^{-p}∑n((n+1)π)−p расходится при p≤1p\le1p≤1. Значит при 0<p≤10<p\le10<p≤1 абсолютная сходимость отсутствует. Выводы: - Интеграл I(p)I(p)I(p) сходится (в смысле несобственного интеграла) при всех p>0p>0p>0. - Он сходится абсолютно тогда и только тогда, когда p>1p>1p>1. - При 0<p≤10<p\le10<p≤1 сходимость условная.
I(p)=∫1∞sinxxp dx,p>0. I(p)=\int_1^{\infty}\frac{\sin x}{x^p}\,dx,\qquad p>0.
I(p)=∫1∞ xpsinx dx,p>0.
1) Сходимость (обычная).
Можно применить тест Дирихле: функции F(X)=∫1Xsint dt=1−cosXF(X)=\int_1^X\sin t\,dt=1-\cos XF(X)=∫1X sintdt=1−cosX имеют ограниченные частичные интегралы, а g(x)=x−pg(x)=x^{-p}g(x)=x−p монотонно убывает и limx→∞x−p=0\lim_{x\to\infty}x^{-p}=0limx→∞ x−p=0 при p>0p>0p>0. Следовательно интеграл сходится при всех p>0p>0p>0. (Альтернативно: интегрирование по частям даёт границу [−x−pcosx]1R→0[-x^{-p}\cos x]_1^R\to0[−x−pcosx]1R →0 и оставшийся интеграл с ядром cosx x−p−1\cos x\,x^{-p-1}cosxx−p−1 абсолютно сходящуюся для p>0p>0p>0.)
2) Абсолютная сходимость.
Рассмотрим
∫1∞∣sinx∣xp dx. \int_1^{\infty}\frac{|\sin x|}{x^p}\,dx.
∫1∞ xp∣sinx∣ dx. Если p>1p>1p>1, то ∣sinx∣≤1 |\sin x|\le1∣sinx∣≤1 и сравнение с ∫1∞x−p dx\int_1^{\infty}x^{-p}\,dx∫1∞ x−pdx даёт абсолютную сходимость.
Если 0<p≤10<p\le10<p≤1, то интеграл расходится: разложим по периодам [nπ,(n+1)π][n\pi,(n+1)\pi][nπ,(n+1)π]. Так как c=∫0π∣sint∣ dt=2c=\int_0^\pi|\sin t|\,dt=2c=∫0π ∣sint∣dt=2, имеем для больших nnn ∫nπ(n+1)π∣sinx∣xp dx≥c((n+1)π)p, \int_{n\pi}^{(n+1)\pi}\frac{|\sin x|}{x^p}\,dx \ge \frac{c}{((n+1)\pi)^p},
∫nπ(n+1)π xp∣sinx∣ dx≥((n+1)π)pc , и ряд ∑n((n+1)π)−p\sum_{n}((n+1)\pi)^{-p}∑n ((n+1)π)−p расходится при p≤1p\le1p≤1. Значит при 0<p≤10<p\le10<p≤1 абсолютная сходимость отсутствует.
Выводы:
- Интеграл I(p)I(p)I(p) сходится (в смысле несобственного интеграла) при всех p>0p>0p>0.
- Он сходится абсолютно тогда и только тогда, когда p>1p>1p>1.
- При 0<p≤10<p\le10<p≤1 сходимость условная.