Интеграл Меллина


Интеграл Меллина

Интеграл Меллина—Барнса (Mellin—Barnes integral) или интеграл Барнса (Barnes integral) в математике — контурный интеграл от функции, содержащей произведение гамма-функций. Интегралы такого типа тесно связаны с обобщёнными гипергеометрическими функциями. Они были введены английским математиком Эрнестом Уильямом Барнсом (Ernest William Barnes, 1874—1953, при переводе на русский язык иногда используется транскрипция "Бернс") в 1908—1910 годах[1][2]. Похожие интегралы рассматривались финским математиком Ялмаром Меллином (Hjalmar Mellin, 1854—1933) — в частности, в связи с обратным преобразованием Меллина[en][3].

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

Содержание

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

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

{}_2F_1(a, b; c | z) =\frac{\Gamma(c)}{\Gamma(a)\Gamma(b)} \frac{1}{2\pi i} \int_{-i\infty}^{i\infty} \frac{\Gamma(a+s)\Gamma(b+s)\Gamma(-s)}{\Gamma(c+s)}(-z)^s\,{\rm d}s.

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

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

Интегралы Меллина—Барнса также обобщаются на случай гипергеометрических функций нескольких переменных, таких как функции Аппеля[en][7], функции Кампе-де-Ферье[en][8], функции Лауричеллы[en][9] и другие.

Существуют также q-аналоги интегралов Меллина—Барнса для базисных гипергеометрических рядов[en], и на этот случай могут быть обобщены многие важные результаты[10].

Леммы Барнса

Первая лемма Барнса гласит[1]

\frac{1}{2\pi i} \int_{-i\infty}^{i\infty} \Gamma(a+s)\Gamma(b+s)\Gamma(c-s)\Gamma(d-s)\; {\rm d}s
=\frac{\Gamma(a+c)\Gamma(a+d)\Gamma(b+c)\Gamma(b+d)}{\Gamma(a+b+c+d)}.

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

Вторая лемма Барнса гласит[2]

\frac{1}{2\pi i} \int_{-i\infty}^{i\infty} \frac{\Gamma(a+s)\Gamma(b+s)\Gamma(c+s)\Gamma(1-d-s)\Gamma(-s)}{\Gamma(e+s)}\; {\rm d}s
=\frac{\Gamma(a)\Gamma(b)\Gamma(c)\Gamma(1-d+a)\Gamma(1-d+b)\Gamma(1-d+c)}{\Gamma(e-a)\Gamma(e-b)\Gamma(e-c)}

где e=a+b+c+d+1. Эта формула является аналогом формулы суммирования Заальшютца[en].

Примечания

  1. 1 2 E.W. Barnes (1908), "«A new development of the theory of the hypergeometric functions»", Proc. London Math. Soc. Т. s2-6: 141–177, DOI 10.1112/plms/s2-6.1.141 
  2. 1 2 E.W. Barnes (1910), "«A transformation of generalised hypergeometric series»", Quarterly Journal of Mathematics Т. 41: 136–140 
  3. Eric W. Weisstein Mellin Transform (HTML). MathWorld — mathworld.wolfram.com. Проверено 12 сентября 2012.
  4. Eric W. Weisstein Mellin-Barnes Integral (HTML). MathWorld — mathworld.wolfram.com. Проверено 12 сентября 2012.
  5. Eric W. Weisstein Generalized Hypergeometric Function (HTML). MathWorld — mathworld.wolfram.com. Проверено 10 октября 2012.
  6. Eric W. Weisstein Meijer G-Function (HTML). MathWorld — mathworld.wolfram.com. Проверено 10 октября 2012.
  7. Eric W. Weisstein Appell Hypergeometric Function (HTML). MathWorld — mathworld.wolfram.com. Проверено 10 октября 2012.
  8. Eric W. Weisstein Kampé de Fériet Function (HTML). MathWorld — mathworld.wolfram.com. Проверено 10 октября 2012.
  9. Eric W. Weisstein Lauricella Functions (HTML). MathWorld — mathworld.wolfram.com. Проверено 10 октября 2012.
  10. George Gasper and Mizan Rahman "Basic hypergeometric series". — 2nd. — Cambridge University Press, 2004. — Vol. 96. — ISBN 978-0-521-83357-8

Литература

  • R.B. Paris and D. Kaminski "Asymptotics and Mellin—Barnes integrals". — Cambridge University Press, 2001. — 422 p. — (Encyclopedia of Mathematics and its Appications, v.85). — ISBN 0-521-79001-8

Wikimedia Foundation. 2010.

Смотреть что такое "Интеграл Меллина" в других словарях:

  • Формула Меллина — Пусть функция F комплексного переменного p = x + iy удовлетворяет следующим условиям: F аналитическая в области в области при равномерно относительно argp для всех …   Википедия

  • Обращение интеграла Лапласа — Пусть функция комплексного переменного удовлетворяет следующим условиям:   аналитическая в области в области при ра …   Википедия

  • G-функция — название нескольких функций в математике: G функция Барнса (Barnes G function) связана с гамма функцией, расширяет понятие cуперфакториала на поле комплексных чисел. G функция Зигеля (Siegel G function) класс функций в теории трансцендентности. G …   Википедия

  • Преобразование Лапласа — Преобразование Лапласа  интегральное преобразование, связывающее функцию комплексного переменного (изображение) с функцией вещественного переменного (оригинал). С его помощью исследуются свойства динамических систем и решаются… …   Википедия

  • Лапласа преобразование — Преобразование Лапласа интегральное преобразование, связывающее функцию комплексного переменного (изображение) с функцией действительного переменного (оригинал). С его помощью исследуются свойства динамических систем и решаются дифференциальные и …   Википедия

  • Обратное преобразование Лапласа — Преобразование Лапласа интегральное преобразование, связывающее функцию комплексного переменного (изображение) с функцией действительного переменного (оригинал). С его помощью исследуются свойства динамических систем и решаются дифференциальные и …   Википедия

  • ДЗЕТА-ФУНКЦИЯ — z ф у нкция, 1) Д. ф. в теории чисел класс аналитич. функций комплексного переменного, состоящий из z функции Римана, ее обобщений и аналогов. Д. ф. и их обобщения в виде L функций (см. Дирихле L функции )лежат в основе современной аналитич.… …   Математическая энциклопедия

  • ИНТЕГРАЛЬНОЕ ПРЕДСТАВЛЕНИЕ АНАЛИТИЧЕСКОЙ ФУНКЦИИ — представление аналитич. функции в виде интеграла, зависящего от параметра. И. п. а. ф. возникли на ранних стадиях развития теории функций и математич. анализа вообще как удобный аппарат для обозримого представления аналитич. решений… …   Математическая энциклопедия

  • Преобразование Радона — интегральное преобразование функции многих переменных, родственное преобразованию Фурье. Впервые введено в работе австрийского математика Иоганна Радона 1917 го года[1]. Важнейшее свойство преобразования Радона обратимость, то есть возможность… …   Википедия

  • ИНТЕГРАЛЬНЫЙ ОПЕРАТОР — отображение когда закон соответствия Азадается с помощью интеграла. И. о. наз. иногда интегральным преобразованием. Так, напр., для интегрального оператора Урысона (см. Урысона уравнение): закон соответствия Аопределяется интегралом (или оператор …   Математическая энциклопедия

Книги

  • Операционное исчисление, В. А. Диткин, А. П. Прудников. В настоящей книге изложен материал специального курса по операционному исчислению. Для удобства читателей приводится небольшой вспомогательный материал из других разделов математики. В первую… Подробнее  Купить за 160 руб


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.