Ошибка в рассуждении студента в том, что он использовал сравнение с 1/x неверным образом. Из неравенства |sin x / x| ≤ 1/x и того, что ∫_1^∞ 1/x dx расходится, нельзя сделать вывод, что ∫_1^∞ sin x / x dx расходится. Такое сравнение даёт смысл только в обратную сторону: если 0 ≤ gxxx ≤ fxxx и ∫ gxxx dx расходится, то это не даёт информации о ∫ fxxx dx; а для доказательства сходимости по сравнению нужно, чтобы интеграл большего илиравногоили равногоилиравного положительного интегрируемого функионала сходился. Для абсолютной сходимости верно: если ∫_1^∞ |sin x|/x dx сходился бы, то ∫_1^∞ sin x / x сходился бы; но обратное не обязательно.
Правильный результат: интеграл ∫_1^∞ sin x / x dx сходится условноусловноусловно, но не сходится абсолютно тоесть∫1∞∣sinx∣/xdx=∞то есть ∫_1^∞ |sin x|/x dx = ∞тоесть∫1∞∣sinx∣/xdx=∞.
Короткое доказательство сходимости DirichletилиинтегрированиемпочастямDirichlet или интегрированием по частямDirichletилиинтегрированиемпочастям. Пусть Attt = ∫_1^t sin x dx = -cos t + cos 1, отсюда Attt ограничена по модулю ∣A(t)∣≤2|A(t)| ≤ 2∣A(t)∣≤2. Тогда по формуле интегрирования по частям ∫_1^R sinxsin xsinx/x dx = ARRR/R + ∫_1^R Axxx/x^2 dx. При R → ∞ первый член → 0 посколькуA(R)ограничена,а1/R→0поскольку A(R) ограничена, а 1/R → 0посколькуA(R)ограничена,а1/R→0, а второе интегральное слагаемое сходится абсолютно, так как |Axxx/x^2| ≤ const·1/x^2 и ∫_1^∞ 1/x^2 < ∞. Следовательно предел существует и интеграл сходится.
Доказательство расходимости абсолютной сходимости: на отрезках вида 2πk+π/6,2πk+5π/62πk + π/6, 2πk + 5π/62πk+π/6,2πk+5π/6 sin x ≥ 1/2, длина этих отрезков = 2π/3, поэтому ∫_{2πk+π/6}^{2πk+5π/6} |sin x|/x dx ≥ 1/21/21/2·2π/32π/32π/3·1/const⋅kconst·kconst⋅k ~ C/k. Сумма таких вкладов по k даёт гармонический ряд, который расходится, значит ∫_1^∞ |sin x|/x dx = ∞.
Значение: ∫_1^∞ sin x / x dx = ∫_0^∞ sin x / x dx − ∫_0^1 sin x / x dx = π/2 − Si111, где Sixxx = ∫_0^x sintsin tsint/t dt. Численно это примерно 0.6247.
Итого: интеграл сходится условно; ошибка студента — неверное использование сравнения с 1/x нельзяиз∣f∣≤gирасходимости∫gсделатьвыводорасходимости∫fнельзя из |f| ≤ g и расходимости ∫ g сделать вывод о расходимости ∫ fнельзяиз∣f∣≤gирасходимости∫gсделатьвыводорасходимости∫f.
Ошибка в рассуждении студента в том, что он использовал сравнение с 1/x неверным образом. Из неравенства |sin x / x| ≤ 1/x и того, что ∫_1^∞ 1/x dx расходится, нельзя сделать вывод, что ∫_1^∞ sin x / x dx расходится. Такое сравнение даёт смысл только в обратную сторону: если 0 ≤ gxxx ≤ fxxx и ∫ gxxx dx расходится, то это не даёт информации о ∫ fxxx dx; а для доказательства сходимости по сравнению нужно, чтобы интеграл большего илиравногоили равногоилиравного положительного интегрируемого функионала сходился. Для абсолютной сходимости верно: если ∫_1^∞ |sin x|/x dx сходился бы, то ∫_1^∞ sin x / x сходился бы; но обратное не обязательно.
Правильный результат: интеграл ∫_1^∞ sin x / x dx сходится условноусловноусловно, но не сходится абсолютно тоесть∫1∞∣sinx∣/xdx=∞то есть ∫_1^∞ |sin x|/x dx = ∞тоесть∫1∞ ∣sinx∣/xdx=∞.
Короткое доказательство сходимости DirichletилиинтегрированиемпочастямDirichlet или интегрированием по частямDirichletилиинтегрированиемпочастям. Пусть Attt = ∫_1^t sin x dx = -cos t + cos 1, отсюда Attt ограничена по модулю ∣A(t)∣≤2|A(t)| ≤ 2∣A(t)∣≤2. Тогда по формуле интегрирования по частям
∫_1^R sinxsin xsinx/x dx = ARRR/R + ∫_1^R Axxx/x^2 dx.
При R → ∞ первый член → 0 посколькуA(R)ограничена,а1/R→0поскольку A(R) ограничена, а 1/R → 0посколькуA(R)ограничена,а1/R→0, а второе интегральное слагаемое сходится абсолютно, так как |Axxx/x^2| ≤ const·1/x^2 и ∫_1^∞ 1/x^2 < ∞. Следовательно предел существует и интеграл сходится.
Доказательство расходимости абсолютной сходимости: на отрезках вида 2πk+π/6,2πk+5π/62πk + π/6, 2πk + 5π/62πk+π/6,2πk+5π/6 sin x ≥ 1/2, длина этих отрезков = 2π/3, поэтому
∫_{2πk+π/6}^{2πk+5π/6} |sin x|/x dx ≥ 1/21/21/2·2π/32π/32π/3·1/const⋅kconst·kconst⋅k ~ C/k.
Сумма таких вкладов по k даёт гармонический ряд, который расходится, значит ∫_1^∞ |sin x|/x dx = ∞.
Значение: ∫_1^∞ sin x / x dx = ∫_0^∞ sin x / x dx − ∫_0^1 sin x / x dx = π/2 − Si111, где Sixxx = ∫_0^x sintsin tsint/t dt. Численно это примерно 0.6247.
Итого: интеграл сходится условно; ошибка студента — неверное использование сравнения с 1/x нельзяиз∣f∣≤gирасходимости∫gсделатьвыводорасходимости∫fнельзя из |f| ≤ g и расходимости ∫ g сделать вывод о расходимости ∫ fнельзяиз∣f∣≤gирасходимости∫gсделатьвыводорасходимости∫f.