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

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

Определение

Гамма-функция, обозначаемая греческой буквой Γ (гамма), для комплексных чисел с положительной действительной частью (Re(z) > 0) задаётся интегралом Эйлера второго рода:

\[ \Gamma(z) = \int_{0}^{\infty} t^{z-1} e^{-t} \, dt \]

Для натуральных чисел n гамма-функция принимает значение факториала: Γ(n) = (n-1)!. Для действительных положительных чисел функция является аналитической и непрерывной.

История

Впервые интеграл, определяющий гамма-функцию, был рассмотрен Леонардом Эйлером в 1729 году в письме к Христиану Гольдбаху. Эйлер искал способ интерполяции факториалов для нецелых значений. В 1730 году он опубликовал работу «О бесконечных рядах», где привёл интегральное представление. В 1768 году Эйлер ввёл обозначение Γ(z) и исследовал свойства функции.

Название «гамма-функция» и обозначение Γ(z) предложил Адриен-Мари Лежандр в 1809 году. В XIX веке Карл Фридрих Гаусс, Нильс Хенрик Абель и Бернхард Риман развили теорию гамма-функции, связав её с дзета-функцией Римана и другими специальными функциями.

Свойства

Функциональное уравнение

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

\[ \Gamma(z+1) = z \Gamma(z) \]

Из этого следует, что для целых положительных n: Γ(n+1) = n!.

Полюсы и аналитическое продолжение

Гамма-функция аналитически продолжается на всю комплексную плоскость, за исключением точек z = 0, -1, -2, -3, ..., где она имеет простые полюсы. В окрестности полюса в точке z = -n (n = 0, 1, 2, ...) разложение имеет вид:

\[ \Gamma(z) = \frac{(-1)^n}{n!} \cdot \frac{1}{z+n} + \text{регулярная часть} \]

Формула дополнения

Для всех z, не являющихся целыми числами, справедлива формула Эйлера:

\[ \Gamma(z) \Gamma(1-z) = \frac{\pi}{\sin(\pi z)} \]

Эта формула связывает гамма-функцию с тригонометрическими функциями.

Формула умножения (теорема Гаусса)

Для любого n ∈ ℕ и всех z, не равных отрицательным целым числам:

\[ \Gamma(z) \Gamma\left(z + \frac{1}{n}\right) \Gamma\left(z + \frac{2}{n}\right) \cdots \Gamma\left(z + \frac{n-1}{n}\right) = (2\pi)^{(n-1)/2} n^{1/2 - nz} \Gamma(nz) \]

При n=2 это даёт формулу удвоения Лежандра:

\[ \Gamma(z) \Gamma\left(z + \frac{1}{2}\right) = 2^{1-2z} \sqrt{\pi} \Gamma(2z) \]

Значения в частных точках

• Γ(1) = 1
• Γ(1/2) = √π
• Γ(3/2) = √π / 2
• Γ(n + 1/2) = (2n)! √π / (4^n n!)

Представления

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

Помимо интеграла Эйлера второго рода, существуют другие интегральные представления:

• Интеграл Ганкеля (для аналитического продолжения):

\[ \Gamma(z) = \frac{1}{2\pi i} \int_{H} (-t)^{z-1} e^{-t} \, dt \]

где H — контур Ганкеля, обходящий точку 0.

• Интеграл Вейерштрасса:

\[ \Gamma(z) = \frac{e^{-\gamma z}}{z} \prod_{n=1}^{\infty} \frac{e^{z/n}}{1 + z/n} \]

где γ — постоянная Эйлера-Маскерони.

Бесконечное произведение

Формула Вейерштрасса в виде бесконечного произведения:

\[ \frac{1}{\Gamma(z)} = z e^{\gamma z} \prod_{n=1}^{\infty} \left(1 + \frac{z}{n}\right) e^{-z/n} \]

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

Связь с другими функциями

Бета-функция

Интеграл Эйлера первого рода (бета-функция) выражается через гамма-функцию:

\[ B(x, y) = \int_{0}^{1} t^{x-1} (1-t)^{y-1} \, dt = \frac{\Gamma(x) \Gamma(y)}{\Gamma(x+y)} \]

Дзета-функция Римана

Гамма-функция входит в функциональное уравнение дзета-функции:

\[ \zeta(s) = 2^s \pi^{s-1} \sin\left(\frac{\pi s}{2}\right) \Gamma(1-s) \zeta(1-s) \]

Неполные гамма-функции

Существуют обобщения:

• Верхняя неполная гамма-функция: Γ(a, x) = ∫_x^∞ t^{a-1} e^{-t} dt
• Нижняя неполная гамма-функция: γ(a, x) = ∫_0^x t^{a-1} e^{-t} dt

Применение

В математике

• Комбинаторика: обобщение факториалов для нецелых чисел.
• Теория вероятностей: гамма-распределение, распределение хи-квадрат, распределение Стьюдента.
• Дифференциальные уравнения: решения уравнений Бесселя, гипергеометрических уравнений.
• Теория чисел: функциональное уравнение дзета-функции Римана.

В физике

• Квантовая механика: вычисление матричных элементов, интегралы от гауссовых функций.
• Статистическая физика: распределение Максвелла-Больцмана, функция распределения энергии.
• Ядерная физика: гамма-распределение для описания времен жизни возбуждённых состояний.

В инженерных науках

• Обработка сигналов: гамма-фильтры, моделирование затухающих процессов.
• Электродинамика: вычисление интегралов в теории антенн.
• Гидродинамика: решения задач о течении вязкой жидкости.

Численные методы

Для вычисления гамма-функции используются:

• Ряд Стирлинга (асимптотическое разложение для больших |z|):

\[ \ln \Gamma(z) = \left(z - \frac{1}{2}\right) \ln z - z + \frac{1}{2} \ln(2\pi) + \frac{1}{12z} - \frac{1}{360z^3} + \cdots \]

• Алгоритм Ланцоша (для действительных и комплексных z с Re(z) > 0).
• Рекуррентное соотношение (для целых и полуцелых значений).

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

• Гамма-функция не имеет нулей на всей комплексной плоскости.
• Производная гамма-функции выражается через дигамма-функцию ψ(z) = Γ'(z)/Γ(z).
• Значение Γ(1/2) = √π было впервые получено Эйлером.
• Гамма-функция является мероморфной функцией с простыми полюсами в неположительных целых точках.
• Существует несколько обобщений: q-гамма-функция, многомерная гамма-функция, гамма-функция Барнса.

Источники

• Эйлер Л. «Введение в анализ бесконечных» (1748)
• Лежандр А.-М. «Упражнения по интегральному исчислению» (1811)
• Уиттекер Э. Т., Ватсон Дж. Н. «Курс современного анализа» (1902)
• Градштейн И. С., Рыжик И. М. «Таблицы интегралов, сумм, рядов и произведений» (1963)
• Абрамовиц М., Стиган И. «Справочник по специальным функциям» (1964)