Интеграл Эйлера первого рода

Интеграл Эйлера первого рода (также известный как бета-функция Эйлера) — это специальная функция двух переменных, определяемая определённым интегралом, который играет фундаментальную роль в математическом анализе, теории вероятностей и математической физике. Классически обозначается как \( B(x, y) \) и является одним из двух интегралов Эйлера (второй род — гамма-функция \(\Gamma(z)\)).

Определение

Интеграл Эйлера первого рода задаётся формулой:

\[ B(x, y) = \int_0^1 t^{x-1} (1-t)^{y-1} \, dt \]

где \( x \) и \( y \) — комплексные числа с положительными действительными частями (\(\Re(x) > 0, \Re(y) > 0\)). При этих условиях интеграл сходится и определяет аналитическую функцию в области \(\Re(x) > 0, \Re(y) > 0\). Функция может быть аналитически продолжена на всю комплексную плоскость, за исключением точек, где \( x \) или \( y \) являются целыми неположительными числами.

Симметрия

Бета-функция обладает свойством симметрии:

\[ B(x, y) = B(y, x) \]

Это непосредственно следует из замены переменной \( t \to 1-t \) в определении интеграла.

Связь с гамма-функцией

Наиболее важное соотношение, связывающее бета-функцию с гамма-функцией Эйлера (\(\Gamma(z)\)), имеет вид:

\[ B(x, y) = \frac{\Gamma(x) \Gamma(y)}{\Gamma(x + y)} \]

Это тождество было доказано Леонардом Эйлером и позволяет выражать бета-функцию через гамма-функцию, что существенно упрощает вычисления и аналитическое продолжение. Из этого соотношения, в частности, следует, что для натуральных чисел \( m, n \):

\[ B(m, n) = \frac{(m-1)! (n-1)!}{(m+n-1)!} \]

История

Интегралы, ныне называемые интегралами Эйлера, были систематически изучены швейцарским математиком Леонардом Эйлером в XVIII веке. В 1729 году Эйлер в письме к Гольдбаху впервые ввёл гамма-функцию как обобщение факториала. В 1768 году он опубликовал работу, в которой рассматривал интеграл вида \(\int_0^1 t^{p-1} (1-t)^{q-1} dt\), что и стало основой для бета-функции. Термин «бета-функция» и обозначение \( B(x, y) \) были введены французским математиком Жаком Бине в 1839 году, который также установил её связь с гамма-функцией.

Свойства

Интегральные представления

Помимо классического интеграла на отрезке \([0,1]\), бета-функция имеет несколько эквивалентных интегральных представлений:

1. Тригонометрическое представление (с помощью замены \( t = \sin^2 \theta \)):

\[ B(x, y) = 2 \int_0^{\pi/2} \sin^{2x-1} \theta \cos^{2y-1} \theta \, d\theta \]

1. Представление через интеграл по полуоси:

\[ B(x, y) = \int_0^\infty \frac{u^{x-1}}{(1+u)^{x+y}} \, du \] (получается заменой \( t = \frac{u}{1+u} \)).

Рекуррентные соотношения

Бета-функция удовлетворяет следующим рекуррентным формулам:

\[ B(x, y+1) = \frac{y}{x+y} B(x, y) \] \[ B(x+1, y) = \frac{x}{x+y} B(x, y) \]

Эти соотношения следуют из свойств гамма-функции или из интегрирования по частям исходного интеграла.

Частные значения

Для некоторых частных значений аргументов бета-функция принимает простые выражения:

• \( B(1, 1) = 1 \)
• \( B(1/2, 1/2) = \pi \)
• \( B(1/2, 1) = 2 \)
• \( B(m, 1) = \frac{1}{m} \) для \( m > 0 \)
• \( B(1, n) = \frac{1}{n} \)

Применение

В математическом анализе

Бета-функция широко используется для вычисления интегралов, которые сводятся к виду \(\int_0^1 t^{a-1}(1-t)^{b-1} dt\). Например, интегралы от тригонометрических функций, такие как \(\int_0^{\pi/2} \sin^p \theta \cos^q \theta \, d\theta\), выражаются через бета-функцию. Она также применяется в теории рядов и при изучении гипергеометрических функций.

В теории вероятностей

В статистике бета-функция является нормализующей константой для бета-распределения — непрерывного распределения вероятностей на отрезке \([0,1]\). Плотность бета-распределения с параметрами \(\alpha > 0\) и \(\beta > 0\) имеет вид:

\[ f(x; \alpha, \beta) = \frac{x^{\alpha-1} (1-x)^{\beta-1}}{B(\alpha, \beta)} \]

Бета-распределение используется в байесовской статистике как сопряжённое априорное распределение для биномиального параметра, а также в анализе случайных процессов и теории надёжности.

В математической физике

Бета-функция возникает при вычислении интегралов в квантовой механике (например, при расчёте сечений рассеяния) и в теории струн. В частности, в квантовой теории поля бета-функция связана с ренормализацией и асимптотической свободой.

В комбинаторике и теории чисел

Бета-функция связана с биномиальными коэффициентами:

\[ \binom{n}{k} = \frac{1}{(n+1) B(k+1, n-k+1)} \]

Это соотношение используется для обобщения биномиальных коэффициентов на нецелые значения.

Обобщения

Неполная бета-функция

Определяется как интеграл с переменным верхним пределом:

\[ B(x; a, b) = \int_0^x t^{a-1} (1-t)^{b-1} \, dt \]

где \(0 \le x \le 1\). Эта функция используется в статистике для вычисления функций распределения и в теории вероятностей.

Регуляризованная неполная бета-функция

\[ I_x(a, b) = \frac{B(x; a, b)}{B(a, b)} \]

Она широко применяется в математической статистике, в частности, для вычисления кумулятивной функции бета-распределения и в критериях согласия.

Многомерная бета-функция

Обобщение на случай нескольких переменных, используемое в многомерном статистическом анализе:

\[ B(\alpha_1, \dots, \alpha_n) = \frac{\Gamma(\alpha_1) \cdots \Gamma(\alpha_n)}{\Gamma(\alpha_1 + \cdots + \alpha_n)} \]

Интересные факты

• Леонард Эйлер вывел бета-функцию, исследуя задачу о вычислении интеграла \(\int_0^1 x^{p-1} (1-x)^{q-1} dx\), которая возникла в связи с проблемами интерполяции факториала.
• Название «бета-функция» было предложено Жаком Бине, который также ввёл обозначение \( B(x, y) \). Буква \( B \) выбрана как первая буква латинского слова «beta».
• Бета-функция является частным случаем гипергеометрической функции Гаусса: \( B(x, y) = \frac{1}{x} {}_2F_1(x, 1-y; x+1; 1) \).
• В физике элементарных частиц бета-функция используется в модели Венециано для описания амплитуд рассеяния, что стало одним из ранних шагов к созданию теории струн.

Источники

• Эйлер Л. «Введение в анализ бесконечно малых» (1748).
• Бейтмен Г., Эрдейи А. «Высшие трансцендентные функции. Том 1: Гипергеометрическая функция, функции Лежандра» (1953).
• Градштейн И. С., Рыжик И. М. «Таблицы интегралов, сумм, рядов и произведений» (1963).
• Абрамовиц М., Стиган И. «Справочник по специальным функциям» (1979).
• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления. Том 2» (1966).