Исследуйте сходимость интеграла int_1^infty (sin x)/x dx, обсудите условную и абсолютную сходимость, и объясните значение интеграла в смысле несобственного интеграла
Интеграл ∫1∞sinxx dx\int_1^\infty \frac{\sin x}{x}\,dx∫1∞xsinxdx сходится условно (имеет конечный несобственный предел), но не сходится абсолютно. Доказательство сходимости (по частям / признак Дирихле). Для R>1R>1R>1 положим u=1/x, dv=sinx dxu=1/x,\ dv=\sin x\,dxu=1/x,dv=sinxdx. Получаем ∫1Rsinxx dx=[−cosxx]1R−∫1Rcosxx2 dx=−cosRR+cos1−∫1Rcosxx2 dx.
\int_1^R \frac{\sin x}{x}\,dx=\Big[-\frac{\cos x}{x}\Big]_1^R-\int_1^R\frac{\cos x}{x^2}\,dx =-\frac{\cos R}{R}+\cos 1-\int_1^R\frac{\cos x}{x^2}\,dx. ∫1Rxsinxdx=[−xcosx]1R−∫1Rx2cosxdx=−RcosR+cos1−∫1Rx2cosxdx.
При R→∞R\to\inftyR→∞ первый член −cosRR→0-\frac{\cos R}{R}\to0−RcosR→0, а интеграл ∫1∞cosxx2 dx\int_1^\infty\frac{\cos x}{x^2}\,dx∫1∞x2cosxdx абсолютно сходится (так как 1x2\frac{1}{x^2}x21 интегрируема). Следовательно предел limR→∞∫1Rsinxx dx\lim_{R\to\infty}\int_1^R\frac{\sin x}{x}\,dxlimR→∞∫1Rxsinxdx существует. Отсутствие абсолютной сходимости. Рассмотрим ∫1∞∣sinx∣x dx\int_1^\infty\frac{|\sin x|}{x}\,dx∫1∞x∣sinx∣dx. На каждом отрезке [nπ,(n+1)π][n\pi,(n+1)\pi][nπ,(n+1)π] выполняется ∫nπ(n+1)π∣sinx∣ dx=2\int_{n\pi}^{(n+1)\pi}|\sin x|\,dx=2∫nπ(n+1)π∣sinx∣dx=2, следовательно ∫1∞∣sinx∣x dx≥∑n=1∞∫nπ(n+1)π∣sinx∣x dx≥∑n=1∞2(n+1)π=∞,
\int_1^\infty\frac{|\sin x|}{x}\,dx \ge\sum_{n=1}^\infty\int_{n\pi}^{(n+1)\pi}\frac{|\sin x|}{x}\,dx \ge\sum_{n=1}^\infty\frac{2}{(n+1)\pi}=\infty, ∫1∞x∣sinx∣dx≥n=1∑∞∫nπ(n+1)πx∣sinx∣dx≥n=1∑∞(n+1)π2=∞,
так что интеграл не сходится абсолютно. Значение интеграла. Введя функцию синус-интеграла Si(x)=∫0xsintt dt\operatorname{Si}(x)=\int_0^x\frac{\sin t}{t}\,dtSi(x)=∫0xtsintdt, имеем ∫1∞sinxx dx=Si(∞)−Si(1)=π2−Si(1)≈0.624713.
\int_1^\infty\frac{\sin x}{x}\,dx=\operatorname{Si}(\infty)-\operatorname{Si}(1)=\frac{\pi}{2}-\operatorname{Si}(1)\approx 0.624713. ∫1∞xsinxdx=Si(∞)−Si(1)=2π−Si(1)≈0.624713. Смысл несобственного интеграла здесь — предел limR→∞∫1Rsinxx dx\displaystyle\lim_{R\to\infty}\int_1^R\frac{\sin x}{x}\,dxR→∞lim∫1Rxsinxdx, который существует, но интеграл не является (финитно) интегрируемым в смысле Лебега на [1,∞)[1,\infty)[1,∞), поскольку требует абсолютной сходимости для Лебега.
Доказательство сходимости (по частям / признак Дирихле). Для R>1R>1R>1 положим u=1/x, dv=sinx dxu=1/x,\ dv=\sin x\,dxu=1/x, dv=sinxdx. Получаем
∫1Rsinxx dx=[−cosxx]1R−∫1Rcosxx2 dx=−cosRR+cos1−∫1Rcosxx2 dx. \int_1^R \frac{\sin x}{x}\,dx=\Big[-\frac{\cos x}{x}\Big]_1^R-\int_1^R\frac{\cos x}{x^2}\,dx
=-\frac{\cos R}{R}+\cos 1-\int_1^R\frac{\cos x}{x^2}\,dx.
∫1R xsinx dx=[−xcosx ]1R −∫1R x2cosx dx=−RcosR +cos1−∫1R x2cosx dx. При R→∞R\to\inftyR→∞ первый член −cosRR→0-\frac{\cos R}{R}\to0−RcosR →0, а интеграл ∫1∞cosxx2 dx\int_1^\infty\frac{\cos x}{x^2}\,dx∫1∞ x2cosx dx абсолютно сходится (так как 1x2\frac{1}{x^2}x21 интегрируема). Следовательно предел limR→∞∫1Rsinxx dx\lim_{R\to\infty}\int_1^R\frac{\sin x}{x}\,dxlimR→∞ ∫1R xsinx dx существует.
Отсутствие абсолютной сходимости. Рассмотрим ∫1∞∣sinx∣x dx\int_1^\infty\frac{|\sin x|}{x}\,dx∫1∞ x∣sinx∣ dx. На каждом отрезке [nπ,(n+1)π][n\pi,(n+1)\pi][nπ,(n+1)π] выполняется ∫nπ(n+1)π∣sinx∣ dx=2\int_{n\pi}^{(n+1)\pi}|\sin x|\,dx=2∫nπ(n+1)π ∣sinx∣dx=2, следовательно
∫1∞∣sinx∣x dx≥∑n=1∞∫nπ(n+1)π∣sinx∣x dx≥∑n=1∞2(n+1)π=∞, \int_1^\infty\frac{|\sin x|}{x}\,dx
\ge\sum_{n=1}^\infty\int_{n\pi}^{(n+1)\pi}\frac{|\sin x|}{x}\,dx
\ge\sum_{n=1}^\infty\frac{2}{(n+1)\pi}=\infty,
∫1∞ x∣sinx∣ dx≥n=1∑∞ ∫nπ(n+1)π x∣sinx∣ dx≥n=1∑∞ (n+1)π2 =∞, так что интеграл не сходится абсолютно.
Значение интеграла. Введя функцию синус-интеграла Si(x)=∫0xsintt dt\operatorname{Si}(x)=\int_0^x\frac{\sin t}{t}\,dtSi(x)=∫0x tsint dt, имеем
∫1∞sinxx dx=Si(∞)−Si(1)=π2−Si(1)≈0.624713. \int_1^\infty\frac{\sin x}{x}\,dx=\operatorname{Si}(\infty)-\operatorname{Si}(1)=\frac{\pi}{2}-\operatorname{Si}(1)\approx 0.624713.
∫1∞ xsinx dx=Si(∞)−Si(1)=2π −Si(1)≈0.624713.
Смысл несобственного интеграла здесь — предел
limR→∞∫1Rsinxx dx\displaystyle\lim_{R\to\infty}\int_1^R\frac{\sin x}{x}\,dxR→∞lim ∫1R xsinx dx, который существует, но интеграл не является (финитно) интегрируемым в смысле Лебега на [1,∞)[1,\infty)[1,∞), поскольку требует абсолютной сходимости для Лебега.