Интеграл Меллина — Барнса

Интеграл Меллина—Барнса (Шаблон:Lang-en2) или интеграл Барнса (Шаблон:Lang-en2) в математике — контурный интеграл от функции, содержащей произведение гамма-функций. Интегралы такого типа тесно связаны с обобщёнными гипергеометрическими функциями. Они были введены английским математиком Эрнестом Уильямом Барнсом (Ernest William Barnes, 1874—1953, при переводе на русский язык иногда используется транскрипция «Бернс») в 1908—1910 годах. Похожие интегралы рассматривались финским математиком Ялмаром Меллином (Hjalmar Mellin, 1854—1933) — в частности, в связи с обратным преобразованием Меллина.

Путь интегрирования обычно проходит вдоль мнимой оси комплексной переменной интегрирования s (от $-i\mathrm{\infty }$ до $+i\mathrm{\infty }$), но при этом может деформироваться, чтобы отделить полюса гамма-функций типа $\mathrm{\Gamma }(a_i+s)$ (которые должны оставаться слева) от полюсов гамма-функций типа $\mathrm{\Gamma }(b_i-s)$ (которые должны оставаться справа).

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

Гипергеометрическая функция Гаусса может быть следующим образом представлена через интеграл Меллина—Барнса:

${}_2{F}_1(a,b;c|z)=\frac{\mathrm{\Gamma }(c)}{\mathrm{\Gamma }(a)\mathrm{\Gamma }(b)}\frac{1}{2\pi i}\underset{-i\mathrm{\infty }}{\overset{i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(a+s)\mathrm{\Gamma }(b+s)\mathrm{\Gamma }(-s)}{\mathrm{\Gamma }(c+s)}(-z{)}^s\mathrm{d}s.$

Действительно, если замкнуть контур интегрирования вправо, то (при выполнении соответствующих условий сходимости) мы получаем сумму по вычетам гамма-функции $\mathrm{\Gamma }(-s)$ в полюсах при s = 0, 1, 2, ... , которая воспроизводит определение гипергеометрической функции Гаусса в виде степенного ряда по z.

Аналогичным образом можно записать интегралы Меллина—Барнса, соответствующие Шаблон:Нп5 _pF_q. Для ещё более общей гипергеометрической функции одной переменной, так называемой Шаблон:Нп5, представление через интеграл Меллина—Барнса является основным определением функции, так в случае многократных серий полюсов гамма-функций по обеим сторонам контура определение через гипергеометрические ряды (в тех случаях, когда оно возможно) становится довольно громоздким.

Интегралы Меллина—Барнса также обобщаются на случай гипергеометрических функций нескольких переменных, таких как Шаблон:Нп5, функция Кампе де Ферье, Шаблон:Нп5 (названные в честь Джузеппе Лауричеллы) и другие.

Существуют также q-аналоги интегралов Меллина—Барнса для Шаблон:Нп5, и на этот случай могут быть обобщены многие важные результаты.

Леммы Барнса

Первая лемма Барнса гласитШаблон:Sfn

$\frac{1}{2\pi i}\underset{-i\mathrm{\infty }}{\overset{i\mathrm{\infty }}{\int }}\mathrm{\Gamma }(a+s)\mathrm{\Gamma }(b+s)\mathrm{\Gamma }(c-s)\mathrm{\Gamma }(d-s)\mathrm{d}s=\frac{\mathrm{\Gamma }(a+c)\mathrm{\Gamma }(a+d)\mathrm{\Gamma }(b+c)\mathrm{\Gamma }(b+d)}{\mathrm{\Gamma }(a+b+c+d)}.$

Эта формула связана с формулой Гаусса, дающей результат для значения гипергеометрической функции ${}_2{F}_1(a,b;c|z)$ при $z=1$. Она также является обобщением бета-функции (или бета-интеграла) Эйлера, и поэтому этот интеграл иногда называют бета-интегралом Барнса.

Вторая лемма Барнса гласитШаблон:Sfn

$\frac{1}{2\pi i}\underset{-i\mathrm{\infty }}{\overset{i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(a+s)\mathrm{\Gamma }(b+s)\mathrm{\Gamma }(c+s)\mathrm{\Gamma }(d-s)\mathrm{\Gamma }(-s)}{\mathrm{\Gamma }(e+s)}\mathrm{d}s$

$=\frac{\mathrm{\Gamma }(a)\mathrm{\Gamma }(b)\mathrm{\Gamma }(c)\mathrm{\Gamma }(d+a)\mathrm{\Gamma }(d+b)\mathrm{\Gamma }(d+c)}{\mathrm{\Gamma }(e-a)\mathrm{\Gamma }(e-b)\mathrm{\Gamma }(e-c)}$

где $e=a+b+c+d$. Эта формула является аналогом Шаблон:Нп5.

Литература

• Шаблон:Книга