Гамма-функция

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Гамма-функция — математическая функция, обычно обозначается . Была введена Леонардом Эйлером, а своим обозначением гамма-функция обязана Лежандру.

Гамма-функция чрезвычайно широко применяется в науке. Среди основных областей её применения — математический анализ, теория вероятностей, комбинаторика, статистика, атомная физика, астрофизика, гидродинамика, сейсмология. В частности, гамма-функция используется для обобщения понятия факториала на множества действительных и комплексных значений аргумента.

Определения[править | править код]

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

Интегральное определение[править | править код]

Если вещественная часть комплексного числа положительна, то гамма-функция определяется через абсолютно сходящийся интеграл

Это определение было получено Лежандром из оригинального определения Эйлера (1730 г.)

через замену переменной , и на сегодняшний день именно определение Лежандра известно как классическое определение гамма-функции. Интегрируя по частям классическое определение, легко видеть, что .

Для приближённого вычисления значений гамма-функции удобнее третья формула, также полученная из определения Эйлера путём применения равенства и замены переменной :

.

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

Существует непосредственное аналитическое продолжение исходной формулы на всю комплексную плоскость, называемое интегралом Римана-Ханкеля

где контур  — любой контур на комплексной плоскости, обходящий точку против часовой стрелки, концы которого уходят на бесконечность вдоль положительной вещественной оси.

Последующие выражения служат альтернативными определениями гамма-функции.

Определение по Гауссу[править | править код]

Оно верно для всех комплексных , за исключением 0 и отрицательных целых чисел

Определение по Эйлеру[править | править код]

Определение по Вейерштрассу[править | править код]

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

Примечание: иногда используется альтернативная, так называемая пи-функция, которая является обобщением факториала и связана с гамма-функцией соотношением . Именно этой функцией (а не Г-функцией) пользовались Гаусс, Риман, и многие другие немецкие математики XIX-ого века.

Свойства[править | править код]

График модуля гамма-функции на комплексной плоскости.

Если — целое неотрицательное число,

.

Основное свойство гамма-функции — это её рекуррентное уравнение

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

.

Также справедлива и формула умножения Гаусса:

Частный случай этой формулы при n=2 был получен Лежандром:

Гамма-функция не имеет нулей на всей комплексной плоскости. является мероморфной на комплексной плоскости и имеющей простые полюсы в точках

Гамма-функция имеет полюс первого порядка в для любого натурального и нуля; вычет в этой точке задаётся так:

.

Полезное свойство, которое может быть получено из предельного определения:

.

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

.

Логарифм гамма-функции[править | править код]

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

и

данные Жаком Бине в 1839-м году (эти формулы ещё часто называют первой и второй формулой Бине соответственно для логарифма гамма-функции)[1]. Несколько отличные интегральные формулы для логарифма гамма-функции также появлялись в работах Мальмстена, Лерха и некоторых других. Так, Мальмстен получил формулу, схожую с первой формулой Бине[1]

а Лерх показывает, что все интегралы вида

также сводятся к логарифмам гамма-функции. В частности, формула, аналогичная второй формуле Бине с «сопряжённым» знаменателем, имеет следующий вид:

(см. упр. 40 в[2])

Кроме того, Мальмстен также получил ряд интегральных формул для логарифма гамма-функции, содержащих гиперболические функции с логарифмом в подынтегральном выражении (или, что то же, логарифм логарифма с полиномами). В частности,

(см. упр. 2, 29-h, 30 в[2])

Ярослав Благушин показал, что при рациональном аргументе , где и целые положительные числа, такие, что не превосходит , справедливо следующее представление:

(см. приложение C[3], а также упр. 60 и 58[2])

Более того, и в более общих случаях интегралы, содержащие гиперболические функции с логарифмом (или арктангенсом) в подынтегральном выражении, часто сводятся к логарифмам гамма-функции и её производным, в том числе и комплексного аргумента, см. напр. упр. 4-b, 7-а и 13-b в[2].

Логарифм гамма-функции также тесно связан с аналитическим продолжением обобщённой дзета-функции

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

Ряд Фурье для логарифма гамма-функции имеет следующий вид

Эта формула обычно приписывается Эрнсту Куммеру, который её вывел в 1847 г. (в авторитетной литературе[1][4][5] этот ряд даже называется рядом Куммера для логарифма гамма-функции). Однако недавно было открыто, что эта формула была получена ещё в 1842 г. Карлом Мальмстеном (см. Ярослав Благушин[2]).

Помимо разложения в ряд Фурье, существуют и другие разложения в ряды. Одно из самых известных это ряд Стирлинга

В его стандартной вариации

где коэффициенты означают числа Бернулли.

Из определения гамма-функции по Вейерштрассу следует ещё одно важное представление рядом[6]

.

Частные значения[править | править код]

Гамма-функция целого и полуцелого аргументов выражается через элементарные функции. В частности

Поиск значения гамма-функции в точках 1/4 и 1/3 являлся объектом подробных изысканий Эйлера, Гаусса и Лежандра, однако им не удалось подсчитать эти значения в замкнутом виде[7].

Существуют следующие представления в незамкнутом виде для Γ(1/4)

где AGM — функция арифметико-геометрического среднего, G — постоянная Каталана и A — постоянная Глейшера—Кинкелина.

Обобщения[править | править код]

В классическом интегральном определении гамма-функции пределы интегрирования фиксированы. Рассматривают также неполную гамма-функцию[en], определяемую аналогичным интегралом с переменным верхним либо нижним пределом интегрирования. Различают верхнюю неполную гамма-функцию, часто обозначаемую как гамма-функцию от двух аргументов:

и нижнюю неполную гамма-функцию, аналогично обозначаемую строчной буквой «гамма»:

.

Иногда неполную гамма функцию определяют как[8]:

.

Примечания[править | править код]

  1. 1 2 3 Harry Bateman and Arthur Erdélyi Higher Transcendental Functions [in 3 volumes]. Mc Graw-Hill Book Company, 1955.
  2. 1 2 3 4 5 Iaroslav V. Blagouchine Rediscovery of Malmsten’s integrals, their evaluation by contour integration methods and some related results. The Ramanujan Journal, vol. 35, no. 1, pp. 21-110, 2014. PDF
  3. Iaroslav V. Blagouchine A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations Journal of Number Theory (Elsevier), vol. 148, pp. 537—592, 2015.
  4. E.T. Whittaker and G. N. Watson A course of modern analysis. An introduction to the general theory of infinite processes and of analytic functions, with an account of the principal transcendental functions (third edition). Cambridge at the University Press, 1920.
  5. H.M. Srivastava and J. Choi Series Associated with the Zeta and Related Functions. Kluwer Academic Publishers. The Netherlands, 2001
  6. Д. С. Кузнецов. Специальные функции (2-е изд.). Высшая Школа, Москва, 1965.
  7. Philip J. Davis Leonhard Euler’s Integral: A Historical Profile of the Gamma-Function. American Mathematical Monthly, vol. 66, pp. 849—869, 1959.
  8. Неполная гамма-функция — статья из Математической энциклопедии

Литература и ссылки[править | править код]

  • В. Я. Арсенин. Математическая физика: основные уравнения и специальные функции, глава X, сс. 225—233. Наука, Москва, 1966.
  • М. А. Евграфов. Аналитические функции, глава VI, сс. 267—273. Наука, Москва, 1968.
  • М. А. Евграфов и др. Сборник задач по теории аналитических функций, сс. 307—316. Наука, Москва, 1969.
  • Г. М. Фихтенгольц. Курс дифференциального и интегрального исчисления (7-е изд.), глава XIV, сс. 750—794. Наука, Москва, 1969.
  • А. И. Маркушевич. Теория аналитических функций (2-е изд.), том 2, сс. 303—324. Наука, Москва, 1968.
  • Н. Н. Лебедев. Специальные функции и их приложения (2-е изд.), глава I, сс. 11—27. ФМ, Москва, 1963.
  • А. Ф. Никифоров и В. Б. Уваров. Специальные функции математической физики, сс. 263—268. Наука, Москва, 1978.
  • R. Campbell. Les intégrales eulériennes et leurs applications, Dunod, Paris, 1966.
  • M. Godefroy. La fonction Gamma; Théorie, Histoire, Bibliographie, Gauthier-Villars, Paris, 1901.
  • E. Artin. Einführung in die Theorie der Gammafunktion, Teubner, Leipzig, 1931.
  • N. Nielson. Handbuch der Theorie der Gammafunktion, Teubner, Leipzig, 1906.

См. также[править | править код]