Вычислите несобственный интеграл Дирихле I = ∫₀^∞ (sin x)/x dx. Обоснуйте его сходимость, затем вычислите методом введения параметра: рассмотрите I(α) = ∫₀^∞ e^{−αx} (sin x)/x dx, продифференцируйте по параметру, обоснуйте законность дифференцирования под знаком интеграла и предельный переход при α → 0+.

$I = \frac{\pi}{2}$

Дано:

• Интеграл: $I = \int_0^\infty \frac{\sin x}{x} \, dx$
• Интеграл с параметром: $I(\alpha) = \int_0^\infty e^{-\alpha x} \frac{\sin x}{x} \, dx$, $\alpha \ge 0$

Найти:

Решение:

1. Исследование сходимости интеграла $I$. Интеграл разбивается на два слагаемых: по окрестности нуля и по бесконечному лучу.

Поскольку $\lim_{x \to 0} \frac{\sin x}{x} = 1$, подынтегральная функция непрерывно продолжается в точку $x = 0$, следовательно, первый интеграл является собственным и сходится. Для второго интеграла применим признак Дирихле: функция $f(x) = \sin x$ имеет ограниченную первообразную:

а функция $g(x) = \frac{1}{x}$ монотонно убывает к нулю при $x \to \infty$. Следовательно, несобственный интеграл $I$ сходится (условно).

2. Дифференцирование по параметру и его обоснование. Для функции $I(\alpha)$ при $\alpha > 0$ формальная производная подынтегрального выражения имеет вид:

Функция непрерывна на $[0, \infty) \times (0, \infty)$. Для любого отрезка $[\alpha_0, +\infty)$, где $\alpha_0 > 0$, справедлива мажорантная оценка:

Интеграл от мажоранты сходится:

По признаку Вейерштрасса интеграл от производной сходится равномерно на $[\alpha_0, +\infty)$ при любом $\alpha_0 > 0$. Следовательно, по теореме о дифференцировании несобственного интеграла по параметру, для всех $\alpha > 0$ законна операция:

3. Вычисление производной $I'(\alpha)$. Интегрированием по частям дважды или через формулу Эйлера находится значение полученного интеграла Лапласа:

4. Нахождение $I(\alpha)$ с точностью до константы. Интегрируя полученную производную по $\alpha$, находим общий вид функции:

5. Определение константы интегрирования $C$. Оценим предел $I(\alpha)$ при $\alpha \to +\infty$:

Отсюда следует равенство для константы:

Таким образом, для любого $\alpha > 0$:

6. Обоснование предельного перехода при $\alpha \to 0+$. Для вычисления $I = I(0)$ необходима непрерывность функции $I(\alpha)$ справа в точке $\alpha = 0$, то есть равномерная сходимость интеграла $I(\alpha)$ на луче $[0, +\infty)$. По признаку Абеля: Интеграл $\int_0^\infty \frac{\sin x}{x} \, dx$ сходится равномерно относительно $\alpha$ (так как вовсе от него не зависит). Функция $g(x, \alpha) = e^{-\alpha x}$ монотонна по $x$ при каждом фиксированном $\alpha \ge 0$ и равномерно ограничена по совокупности переменных:

Следовательно, интеграл $I(\alpha)$ сходится равномерно на $[0, +\infty)$, а значит, задает непрерывную функцию на этом множестве.

7. Вычисления. Переходя к пределу при $\alpha \to 0+$, получаем искомое значение:

Ответ: