Интеграл Дирихле в математическом анализе¶

Интеграл Дирихле — несобственный интеграл вида

∫₀^∞ (sin x)/x dx,

равный π/2. Он относится к классу интегралов от осциллирующих функций с медленно убывающей амплитудой и занимает особое место в математическом анализе: несмотря на то, что подынтегральная функция не является абсолютно интегрируемой на бесконечном промежутке, сам интеграл сходится. Название связано с именем немецкого математика Петера Густава Лежёна Дирихле, использовавшего этот интеграл в исследованиях по теории чисел и гармоническому анализу.

¶Определение и сходимость

Интеграл Дирихле записывается как предел:

∫₀^∞ (sin x)/x dx = lim_{R→∞} ∫₀^R (sin x)/x dx = π/2.

Подынтегральная функция f(x) = sin x / x имеет устранимый разрыв в нуле: предел при x → 0 равен 1, поэтому функцию можно доопределить по непрерывности значением f(0) = 1. На бесконечности функция убывает как 1/x, а её знак периодически меняется, что обеспечивает условную сходимость интеграла. Абсолютной сходимости нет: ∫₀^∞ |sin x / x| dx расходится, поскольку модуль функции ведёт себя как 1/x в среднем.

Сходимость устанавливается признаком Дирихле для несобственных интегралов: функция 1/x монотонно стремится к нулю, а первообразная от sin x ограничена. Это гарантирует существование предела частичных интегралов.

¶Способы вычисления

Существует несколько классических подходов к вычислению интеграла.

¶Метод дифференцирования по параметру

Рассматривается вспомогательный интеграл

I(a) = ∫₀^∞ e^{−ax} (sin x)/x dx, a ≥ 0.

Дифференцирование по параметру a даёт

I′(a) = −∫₀^∞ e^{−ax} sin x dx = −1/(1 + a²).

Интегрируя и учитывая, что I(∞) = 0, получают I(a) = π/2 − arctg a. При a = 0 получается искомое значение π/2. Этот приём, восходящий к работам Лейбница и Эйлера, считается наиболее наглядным.

¶Контурное интегрирование

В комплексном анализе интеграл вычисляется с помощью леммы Жордана и интегрирования функции e^{iz}/z по замкнутому контуру в комплексной плоскости. Действительная часть результата даёт значение π/2. Этот метод широко применяется для аналогичных интегралов от осциллирующих функций.

¶Через преобразование Фурье

Интеграл Дирихле эквивалентен утверждению о том, что преобразование Фурье прямоугольной функции (индикатора отрезка) выражается через sinc-функцию. Значение π/2 соответствует разрыву прямоугольного импульса в точке, что связано с явлением Гиббса.

¶Связь с sinc-функцией

Функция sinc x = sin x / x (в нормализованном виде sinc x = sin(πx)/(πx)) играет центральную роль в теории сигналов и спектральном анализе. Интеграл Дирихле показывает, что площадь под графиком sinc-функции на положительной полуоси равна π/2. Это свойство используется при нормировке ядер Дирихле:

D_n(x) = 1/2 + Σ_{k=1}^n cos kx = sin((n + 1/2)x) / (2 sin(x/2)).

Ядра Дирихле возникают при исследовании сходимости рядов Фурье и связаны с интегралом через предельный переход.

¶Применения

Интеграл Дирихле и его обобщения применяются в нескольких областях.

• Гармонический анализ. Оценка частичных сумм рядов Фурье, изучение ядер Дирихле и Фейера, доказательство теорем о сходимости.
• Теория сигналов. Расчёт спектра прямоугольного импульса, анализ идеального фильтра низких частот, объяснение эффекта Гиббса при усечении спектра.
• Теория вероятностей. Интеграл появляется при работе с характеристическими функциями и распределением Коши.
• Физика. Встречается в задачах дифракции, квантовой механики и теории рассеяния при вычислении амплитуд переходов.
• Теория чисел. Дирихле использовал подобные интегралы в доказательствах теорем о простых числах в арифметических прогрессиях.

¶Обобщения

К интегралу Дирихле примыкает семейство интегралов вида

∫₀^∞ (sin(ax))/x dx = (π/2)·sgn(a),

а также интегралы от произведений осциллирующих функций. Родственными являются интегралы Френеля, интегралы Лапласа и интегралы от функций Бесселя. Общая теория условно сходящихся интегралов от осциллирующих функций опирается на признаки Абеля и Дирихле.

Существует также двумерный аналог — интеграл Дирихле по области, применяемый в вариационном исчислении и теории упругости для минимизации функционалов энергии.

¶Значение

Интеграл Дирихле служит хрестоматийным примером условно сходящегося несобственного интеграла и демонстрирует различие между абсолютной и условной сходимостью. Он входит в стандартные курсы математического анализа, комплексного анализа и теории функций. Методы его вычисления — дифференцирование по параметру и контурное интегрирование — стали образцовыми приёмами, применяемыми к широкому классу задач.

Источники: Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления»; Зорич В. А. «Математический анализ»; Никольский С. М. «Курс математического анализа»; Титчмарш Э. «Введение в теорию интегралов Фурье».