Теорема Бора — Моллерупа

Теорема Бора — Моллерупа — это утверждение в теории функций комплексного переменного, устанавливающее единственность гамма-функции как решения определённых функциональных уравнений при заданных условиях. Теорема была доказана датскими математиками Харальдом Бором и Йоханнесом Моллерупом в 1922 году и является важным результатом в теории специальных функций, позволяя аксиоматически определить гамма-функцию без использования интегрального представления.

Формулировка теоремы

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

1. Функциональное уравнение: Γ(z+1) = z Γ(z) для всех z с Re(z) > 0.
2. Нормировка: Γ(1) = 1.
3. Логарифмическая выпуклость: Функция log Γ(x) является выпуклой на положительной вещественной полуоси (x > 0).

Если функция f(z) удовлетворяет этим условиям, то f(z) = Γ(z) для всех z, где Γ(z) определена. Теорема, таким образом, даёт аксиоматическую характеризацию гамма-функции, не прибегая к её классическому интегральному определению (интеграл Эйлера второго рода).

История

Теорема была опубликована в 1922 году в статье Харальда Бора и Йоханнеса Моллерупа «О гамма-функции» (дат. Om Gammafunktionen). Работа вышла в журнале Matematisk Tidsskrift. Бор и Моллеруп стремились найти простое и строгое обоснование свойств гамма-функции, избегая сложных интегральных преобразований. Их подход основывался на идее логарифмической выпуклости, которая ранее не использовалась в таком контексте.

Харальд Бор (1887—1951) был известным датским математиком, братом физика Нильса Бора. Он внёс вклад в теорию почти периодических функций и теорию рядов Дирихле. Йоханнес Моллеруп (1872—1937) — датский математик, специалист по теории функций и математическому анализу. Совместная работа над гамма-функцией стала одним из наиболее цитируемых результатов обоих учёных.

Доказательство

Доказательство теоремы Бора — Моллерупа обычно проводится в два этапа: сначала устанавливается, что гамма-функция удовлетворяет условиям теоремы, а затем показывается, что любая другая функция с теми же свойствами совпадает с ней.

Проверка условий для гамма-функции

Гамма-функция, определённая классическим интегралом Эйлера:

Γ(z) = ∫₀^∞ t^(z-1) e^(-t) dt, Re(z) > 0,

удовлетворяет функциональному уравнению Γ(z+1) = z Γ(z) и нормировке Γ(1) = 1. Логарифмическая выпуклость log Γ(x) на положительной вещественной оси следует из неравенства Гёльдера для интегралов и свойства выпуклости логарифма интеграла от степенной функции.

Единственность

Пусть f(z) — любая функция, удовлетворяющая условиям 1-3. Для вещественных x > 0 можно определить вспомогательную функцию g(x) = log f(x). Из функционального уравнения следует, что g(x+1) = g(x) + log x. Логарифмическая выпуклость g(x) позволяет применить неравенство для выпуклых функций, которое приводит к тому, что последовательность разностей g(x+n) − g(n) сходится к пределу, не зависящему от x. Используя нормировку, этот предел оказывается равным log Γ(x). Таким образом, f(x) = Γ(x) для всех вещественных x > 0, а по аналитическому продолжению — и для всех комплексных z с Re(z) > 0.

Значение и применение

Теорема Бора — Моллерупа имеет несколько важных следствий:

• Аксиоматическое определение: Она позволяет определить гамма-функцию как единственное решение функционального уравнения с условием логарифмической выпуклости, что упрощает её изучение в курсах анализа.
• Связь с другими функциями: Теорема используется для доказательства единственности других специальных функций, например, бета-функции и дзета-функции Римана, через их связь с гамма-функцией.
• Приложения в теории вероятностей: Логарифмическая выпуклость гамма-функции играет роль в статистике, например, при изучении гамма-распределения и распределения хи-квадрат.
• Теория чисел: В аналитической теории чисел гамма-функция используется в функциональном уравнении дзета-функции, и теорема Бора — Моллерупа гарантирует её единственность как решения.

Обобщения и связанные результаты

Теорема Бора — Моллерупа может быть обобщена на случай, когда условие логарифмической выпуклости заменяется более слабыми условиями, например, условием, что функция является логарифмически выпуклой только на некотором интервале. Также существуют аналоги для других функций, таких как функция Пси (дигамма-функция) и полигамма-функции.

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

Примеры использования

Теорема часто применяется для доказательства тождеств, связанных с гамма-функцией. Например, с её помощью можно показать, что:

• Γ(1/2) = √π.
• Формула дополнения: Γ(z) Γ(1−z) = π / sin(πz).

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

Критика и ограничения

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

Источники

1. Бор Х., Моллеруп Й. Om Gammafunktionen. Matematisk Tidsskrift, 1922.
2. Артин Э. Введение в теорию гамма-функции. — М.: ГИФМЛ, 1963.
3. Виноградов И. М. Основы теории чисел. — М.: Наука, 1981.
4. Титчмарш Э. Ч. Теория дзета-функции Римана. — М.: ИЛ, 1953.
5. Уиттекер Э. Т., Ватсон Дж. Н. Курс современного анализа. — М.: Физматлит, 1963.