Исследуйте сходимость интеграла int_1^infty (sin x)/x dx, обсудите условную и абсолютную сходимость, и объясните значение интеграла в смысле несобственного интеграла

18 Ноя в 17:19
3 +3
0
Ответы
1
Интеграл ∫1∞sin⁡xx dx\int_1^\infty \frac{\sin x}{x}\,dx1 xsinx dx сходится условно (имеет конечный несобственный предел), но не сходится абсолютно.
Доказательство сходимости (по частям / признак Дирихле). Для R>1R>1R>1 положим u=1/x, dv=sin⁡x dxu=1/x,\ dv=\sin x\,dxu=1/x, dv=sinxdx. Получаем
∫1Rsin⁡xx dx=[−cos⁡xx]1R−∫1Rcos⁡xx2 dx=−cos⁡RR+cos⁡1−∫1Rcos⁡xx2 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 +cos11R x2cosx dx.
При R→∞R\to\inftyR первый член −cos⁡RR→0-\frac{\cos R}{R}\to0RcosR 0, а интеграл ∫1∞cos⁡xx2 dx\int_1^\infty\frac{\cos x}{x^2}\,dx1 x2cosx dx абсолютно сходится (так как 1x2\frac{1}{x^2}x21 интегрируема). Следовательно предел lim⁡R→∞∫1Rsin⁡xx dx\lim_{R\to\infty}\int_1^R\frac{\sin x}{x}\,dxlimR 1R xsinx dx существует.
Отсутствие абсолютной сходимости. Рассмотрим ∫1∞∣sin⁡x∣x dx\int_1^\infty\frac{|\sin x|}{x}\,dx1 xsinx dx. На каждом отрезке [nπ,(n+1)π][n\pi,(n+1)\pi][,(n+1)π] выполняется ∫nπ(n+1)π∣sin⁡x∣ dx=2\int_{n\pi}^{(n+1)\pi}|\sin x|\,dx=2(n+1)π sinxdx=2, следовательно
∫1∞∣sin⁡x∣x dx≥∑n=1∞∫nπ(n+1)π∣sin⁡x∣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 xsinx dxn=1 (n+1)π xsinx dxn=1 (n+1)π2 =,
так что интеграл не сходится абсолютно.
Значение интеграла. Введя функцию синус-интеграла Si⁡(x)=∫0xsin⁡tt dt\operatorname{Si}(x)=\int_0^x\frac{\sin t}{t}\,dtSi(x)=0x tsint dt, имеем
∫1∞sin⁡xx 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.

Смысл несобственного интеграла здесь — предел
lim⁡R→∞∫1Rsin⁡xx dx\displaystyle\lim_{R\to\infty}\int_1^R\frac{\sin x}{x}\,dxRlim 1R xsinx dx, который существует, но интеграл не является (финитно) интегрируемым в смысле Лебега на [1,∞)[1,\infty)[1,), поскольку требует абсолютной сходимости для Лебега.
18 Ноя в 17:30
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир