Гипергеометрическая функция Гаусса

Гипергеометрическая функция Гаусса (или просто гипергеометрическая функция) — это специальная функция, обозначаемая \( {}_2F_1(a,b;c;z) \), которая является решением гипергеометрического дифференциального уравнения. Она представляет собой степенной ряд, обобщающий многие элементарные и специальные функции, такие как экспонента, логарифм, тригонометрические функции, а также функции Лежандра, Бесселя и эллиптические интегралы. Гипергеометрическая функция играет центральную роль в теории специальных функций, математической физике, комбинаторике и теории чисел.

Определение

Гипергеометрическая функция Гаусса определяется для комплексных параметров \( a, b, c \) (где \( c \) не равно нулю или отрицательному целому числу) и переменной \( z \) с помощью гипергеометрического ряда:

\[ {}_2F_1(a,b;c;z) = \sum_{n=0}^{\infty} \frac{(a)_n (b)_n}{(c)_n} \frac{z^n}{n!}, \]

где \( (q)_n \) — символ Похгаммера (растущий факториал), определяемый как:

\[ (q)_n = q(q+1)(q+2)\cdots(q+n-1), \quad (q)_0 = 1. \]

Ряд сходится при \( |z| < 1 \). Для значений \( |z| \ge 1 \) функция может быть аналитически продолжена на всю комплексную плоскость (за исключением разреза вдоль вещественной оси от 1 до \( +\infty \)). Параметр \( c \) не должен быть целым неположительным числом, чтобы избежать деления на ноль в знаменателе ряда.

История

Гипергеометрические ряды впервые систематически изучал Леонард Эйлер в XVIII веке, который рассматривал их в контексте интегральных представлений и суммирования. Однако название «гипергеометрическая функция» и её современное обозначение \( {}_2F_1 \) ввёл Карл Фридрих Гаусс в 1812 году в своей работе «Disquisitiones generales circa seriem infinitam...». Гаусс исследовал сходимость ряда, его связь с непрерывными дробями и дал первое полное изложение свойств функции. Впоследствии функция была обобщена до обобщённой гипергеометрической функции \( {}_pF_q \), где \( p \) и \( q \) — числа параметров в числителе и знаменателе. Вклад в развитие теории внесли также Эрнст Куммер, Бернхард Риман и Нильс Хенрик Абель.

Свойства

Гипергеометрическое дифференциальное уравнение

Функция \( {}_2F_1(a,b;c;z) \) является решением гипергеометрического уравнения:

\[ z(1-z) \frac{d^2y}{dz^2} + [c - (a+b+1)z] \frac{dy}{dz} - ab y = 0. \]

Это уравнение имеет три регулярные особые точки: \( z = 0, 1, \infty \). Вторым линейно независимым решением в окрестности \( z = 0 \) является функция \( z^{1-c} {}_2F_1(a-c+1, b-c+1; 2-c; z) \).

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

Для \( \operatorname{Re}(c) > \operatorname{Re}(b) > 0 \) и \( |\arg(1-z)| < \pi \) справедливо интегральное представление Эйлера:

\[ {}_2F_1(a,b;c;z) = \frac{\Gamma(c)}{\Gamma(b)\Gamma(c-b)} \int_0^1 t^{b-1} (1-t)^{c-b-1} (1-zt)^{-a} \, dt, \]

где \( \Gamma \) — гамма-функция. Это представление позволяет аналитически продолжить функцию за пределы круга сходимости ряда.

Формула Куммера

Для \( |z| < 1 \) существует соотношение:

\[ {}_2F_1(a,b;c;z) = (1-z)^{-a} {}_2F_1\left(a, c-b; c; \frac{z}{z-1}\right). \]

Связь с элементарными функциями

Гипергеометрическая функция обобщает многие известные функции:

• Геометрическая прогрессия: \( {}_2F_1(1, b; b; z) = \frac{1}{1-z} \).
• Логарифм: \( {}_2F_1(1,1;2;z) = -\frac{\ln(1-z)}{z} \).
• Арктангенс: \( {}_2F_1\left(\frac12,1;\frac32;-z^2\right) = \frac{\arctan z}{z} \).
• Полные эллиптические интегралы: \( K(k) = \frac{\pi}{2} {}_2F_1\left(\frac12,\frac12;1;k^2\right) \), \( E(k) = \frac{\pi}{2} {}_2F_1\left(-\frac12,\frac12;1;k^2\right) \).

Формула отражения

При \( a+b = c \) выполняется:

\[ {}_2F_1(a,b;a+b;z) = \frac{\Gamma(a+b)}{\Gamma(a)\Gamma(b)} \sum_{n=0}^{\infty} \frac{(a)_n (b)_n}{n! (n+a+b-1)} z^n. \]

Классификация и обобщения

Обобщённая гипергеометрическая функция

Обозначение \( {}_pF_q \) используется для рядов вида:

\[ {}_pF_q(a_1,\dots,a_p; b_1,\dots,b_q; z) = \sum_{n=0}^{\infty} \frac{(a_1)_n \cdots (a_p)_n}{(b_1)_n \cdots (b_q)_n} \frac{z^n}{n!}. \]

Гипергеометрическая функция Гаусса — частный случай \( {}_2F_1 \). При \( p=1, q=1 \) получается функция Куммера \( {}_1F_1 \), а при \( p=0, q=1 \) — функция Бесселя.

Конфлюэнтная гипергеометрическая функция

Если в \( {}_2F_1 \) устремить один из параметров к бесконечности, например, \( b \to \infty \), получается конфлюэнтная гипергеометрическая функция \( {}_1F_1(a;c;z) \), которая является решением уравнения Куммера.

q-аналог

Существует квантовое обобщение — базисная гипергеометрическая функция \( {}_2\phi_1 \), где символ Похгаммера заменён на q-символ Похгаммера. Она используется в квантовых группах и теории узлов.

Применение

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

Гипергеометрическая функция появляется в решениях уравнений Лапласа, Гельмгольца и Шрёдингера в сферических и эллиптических координатах. Например, присоединённые функции Лежандра \( P_l^m(x) \) выражаются через \( {}_2F_1 \):

\[ P_l^m(x) = \frac{(-1)^m (1-x^2)^{m/2}}{2^l l!} \frac{d^{l+m}}{dx^{l+m}} (x^2-1)^l. \]

В комбинаторике

Гипергеометрические ряды используются для вычисления сумм биномиальных коэффициентов, например, тождество Чу — Вандермонда:

\[ {}_2F_1(-n, a; c; 1) = \frac{(c-a)_n}{(c)_n}. \]

В теории чисел

Функция применяется в доказательстве модулярных свойств тета-функций и в теории абелевых интегралов. В частности, периодные соотношения для эллиптических кривых выражаются через \( {}_2F_1 \).

В статистике

Гипергеометрическое распределение вероятностей, описывающее выбор без возвращения, связано с гипергеометрической функцией через кумулянты.

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

• Гаусс ввёл обозначение \( {}_2F_1 \) в честь того, что ряд содержит два параметра в числителе и один в знаменателе.
• Функция удовлетворяет более чем 20 различным квадратичным преобразованиям, открытым Куммером и Гауссом.
• В 1970-х годах была разработана теория гипергеометрических функций многих переменных (например, функция Аппеля).
• В современной физике гипергеометрические функции возникают в квантовой хромодинамике и теории струн при вычислении конформных блоков.

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

Несмотря на широкое применение, гипергеометрическая функция Гаусса имеет ограничения: ряд сходится медленно при \( |z| \) близком к 1, а аналитическое продолжение требует осторожного выбора ветвей. Кроме того, для некоторых значений параметров (например, когда \( c \) — целое отрицательное число) функция требует регуляризации. В таких случаях используют обобщённые гипергеометрические функции или численные методы, такие как алгоритм Барнса.

Источники

• Гаусс К. Ф. «Disquisitiones generales circa seriem infinitam...» (1812).
• Уиттекер Э. Т., Ватсон Дж. Н. «Курс современного анализа» (1927).
• Бейтмен Г., Эрдейи А. «Высшие трансцендентные функции» (1953).
• Абрамовиц М., Стиган И. «Справочник по специальным функциям» (1964).
• Олвер Ф. и др. «NIST Handbook of Mathematical Functions» (2010).