Краткий ответ: - Для p>1 \;p>1\;p>1 интеграл сходится абсолютно. - Для 0<p≤1 \;0<p\le 1\;0<p≤1 интеграл сходится условно (не абсолютно). - Для p≤0 \;p\le 0\;p≤0 интеграл расходится. Обоснование (сопряжённые теоремы и доказательства): 1) Абсолютная сходимость при p>1 \;p>1\;p>1. По признаку сравнения ∣sinx∣≤1|\sin x|\le 1∣sinx∣≤1 и ∫1∞1xp dx<∞\displaystyle\int_1^\infty \frac{1}{x^p}\,dx<\infty∫1∞xp1dx<∞ при p>1p>1p>1, поэтому ∫1∞∣sinxxp∣ dx≤∫1∞1xp dx<∞,
\int_1^\infty \left|\frac{\sin x}{x^p}\right|\,dx \le \int_1^\infty \frac{1}{x^p}\,dx<\infty, ∫1∞xpsinxdx≤∫1∞xp1dx<∞,
значит интеграл сходится абсолютно. 2) Условная сходимость при 0<p≤1 \;0<p\le 1\;0<p≤1. Применяем критерий Дирихле: пусть f(x)=sinxf(x)=\sin xf(x)=sinx, тогда первообразная F(X)=∫1Xsint dt=1−cosX
F(X)=\int_1^X \sin t\,dt = 1-\cos X F(X)=∫1Xsintdt=1−cosX
ограничена. Функция g(x)=x−pg(x)=x^{-p}g(x)=x−p монотонно убывает и limx→∞g(x)=0\lim_{x\to\infty}g(x)=0limx→∞g(x)=0 при p>0p>0p>0. По критерию Дирихле интеграл ∫1∞sinx x−p dx
\int_1^\infty \sin x\,x^{-p}\,dx ∫1∞sinxx−pdx
сходится. Он не является абсолютно сходящимся при 0<p≤10<p\le 10<p≤1: выберем интервалы, где sinx≥1/2\sin x\ge 1/2sinx≥1/2, например для целых nnnx∈[2πn+π6, 2πn+5π6]⇒sinx≥12.
x\in\Big[2\pi n+\tfrac{\pi}{6},\,2\pi n+\tfrac{5\pi}{6}\Big]\quad\Rightarrow\quad \sin x\ge\tfrac12. x∈[2πn+6π,2πn+65π]⇒sinx≥21.
Тогда ∫2πn+π/62πn+5π/6∣sinx∣xp dx≥12⋅2π3⋅1(Cn)p∼constnp,
\int_{2\pi n+\pi/6}^{2\pi n+5\pi/6}\frac{|\sin x|}{x^p}\,dx \ge \frac12\cdot\frac{2\pi}{3}\cdot\frac{1}{(C n)^p}\sim \frac{\text{const}}{n^p}, ∫2πn+π/62πn+5π/6xp∣sinx∣dx≥21⋅32π⋅(Cn)p1∼npconst,
и сумма таких вкладов расходится при p≤1p\le 1p≤1. Следовательно неабсолютная (условная) сходимость. 3) Расходимость при p≤0 \;p\le 0\;p≤0. Необходимое условие сходимости несобственного интеграла — стремление подынтегральной функции к нулю. При p=0p=0p=0 интеграл равен ∫1∞sinx dx\int_1^\infty \sin x\,dx∫1∞sinxdx, у антидеривативы −cosx-\cos x−cosx нет предела при x→∞x\to\inftyx→∞, значит расходится. При p<0p<0p<0 модуль слагаемого ∣sinx∣x−p|\sin x|x^{-p}∣sinx∣x−p не убывает к нулю (на последовательности xn=2πn+π/2x_n=2\pi n+\pi/2xn=2πn+π/2 значение равно xn−p→∞x_n^{-p}\to\inftyxn−p→∞), поэтому интеграл расходится очевидно. Использованные теоремы: критерий сравнения (для абсолютной сходимости), критерий Дирихле (для условной сходимости при 0<p≤10<p\le10<p≤1), необходимое условие сходимости (подынтегральная функция должна стремиться к 0) для доказательства расходимости при p≤0p\le0p≤0.
- Для p>1 \;p>1\;p>1 интеграл сходится абсолютно.
- Для 0<p≤1 \;0<p\le 1\;0<p≤1 интеграл сходится условно (не абсолютно).
- Для p≤0 \;p\le 0\;p≤0 интеграл расходится.
Обоснование (сопряжённые теоремы и доказательства):
1) Абсолютная сходимость при p>1 \;p>1\;p>1.
По признаку сравнения ∣sinx∣≤1|\sin x|\le 1∣sinx∣≤1 и ∫1∞1xp dx<∞\displaystyle\int_1^\infty \frac{1}{x^p}\,dx<\infty∫1∞ xp1 dx<∞ при p>1p>1p>1, поэтому
∫1∞∣sinxxp∣ dx≤∫1∞1xp dx<∞, \int_1^\infty \left|\frac{\sin x}{x^p}\right|\,dx \le \int_1^\infty \frac{1}{x^p}\,dx<\infty,
∫1∞ xpsinx dx≤∫1∞ xp1 dx<∞, значит интеграл сходится абсолютно.
2) Условная сходимость при 0<p≤1 \;0<p\le 1\;0<p≤1.
Применяем критерий Дирихле: пусть f(x)=sinxf(x)=\sin xf(x)=sinx, тогда первообразная
F(X)=∫1Xsint dt=1−cosX F(X)=\int_1^X \sin t\,dt = 1-\cos X
F(X)=∫1X sintdt=1−cosX ограничена. Функция g(x)=x−pg(x)=x^{-p}g(x)=x−p монотонно убывает и limx→∞g(x)=0\lim_{x\to\infty}g(x)=0limx→∞ g(x)=0 при p>0p>0p>0. По критерию Дирихле интеграл
∫1∞sinx x−p dx \int_1^\infty \sin x\,x^{-p}\,dx
∫1∞ sinxx−pdx сходится. Он не является абсолютно сходящимся при 0<p≤10<p\le 10<p≤1: выберем интервалы, где sinx≥1/2\sin x\ge 1/2sinx≥1/2, например для целых nnn x∈[2πn+π6, 2πn+5π6]⇒sinx≥12. x\in\Big[2\pi n+\tfrac{\pi}{6},\,2\pi n+\tfrac{5\pi}{6}\Big]\quad\Rightarrow\quad \sin x\ge\tfrac12.
x∈[2πn+6π ,2πn+65π ]⇒sinx≥21 . Тогда
∫2πn+π/62πn+5π/6∣sinx∣xp dx≥12⋅2π3⋅1(Cn)p∼constnp, \int_{2\pi n+\pi/6}^{2\pi n+5\pi/6}\frac{|\sin x|}{x^p}\,dx \ge \frac12\cdot\frac{2\pi}{3}\cdot\frac{1}{(C n)^p}\sim \frac{\text{const}}{n^p},
∫2πn+π/62πn+5π/6 xp∣sinx∣ dx≥21 ⋅32π ⋅(Cn)p1 ∼npconst , и сумма таких вкладов расходится при p≤1p\le 1p≤1. Следовательно неабсолютная (условная) сходимость.
3) Расходимость при p≤0 \;p\le 0\;p≤0.
Необходимое условие сходимости несобственного интеграла — стремление подынтегральной функции к нулю. При p=0p=0p=0 интеграл равен ∫1∞sinx dx\int_1^\infty \sin x\,dx∫1∞ sinxdx, у антидеривативы −cosx-\cos x−cosx нет предела при x→∞x\to\inftyx→∞, значит расходится. При p<0p<0p<0 модуль слагаемого ∣sinx∣x−p|\sin x|x^{-p}∣sinx∣x−p не убывает к нулю (на последовательности xn=2πn+π/2x_n=2\pi n+\pi/2xn =2πn+π/2 значение равно xn−p→∞x_n^{-p}\to\inftyxn−p →∞), поэтому интеграл расходится очевидно.
Использованные теоремы: критерий сравнения (для абсолютной сходимости), критерий Дирихле (для условной сходимости при 0<p≤10<p\le10<p≤1), необходимое условие сходимости (подынтегральная функция должна стремиться к 0) для доказательства расходимости при p≤0p\le0p≤0.