Полигамма функция - Polygamma function

Графики полигамма-функций ψ, ψ(1), ψ(2) и ψ(3) реальных аргументов

В математика, то полигамма функция порядка м это мероморфная функция на сложные числа определяется как (м + 1)th производная от логарифма из гамма-функция:

Таким образом

держит где ψ(z) это функция дигаммы и Γ (z) это гамма-функция. Они есть голоморфный на \ −0. При всех неположительных целых числах эти полигамма-функции имеют столб порядка м + 1. Функция ψ(1)(z) иногда называют функция тригаммы.

Логарифм гамма-функции и первые несколько полигамма-функций в комплексной плоскости
Комплекс LogGamma.jpg
Комплексная полигамма 0.jpg
Комплексная полигамма 1.jpg
ln Γ (z)ψ(0)(z)ψ(1)(z)
Комплексная полигамма 2.jpg
Комплексная полигамма 3.jpg
Комплексная полигамма 4.jpg
ψ(2)(z)ψ(3)(z)ψ(4)(z)

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

Когда м > 0 и Re z > 0, полигамма-функция равна

Это выражает функцию полигаммы как Преобразование Лапласа из . Это следует из Теорема Бернштейна о монотонных функциях это для м > 0 и Икс реальный и неотрицательный, является полностью монотонной функцией.

Настройка м = 0 в приведенной выше формуле не дает интегрального представления дигамма-функции. Дигамма-функция имеет интегральное представление благодаря Гауссу, которое похоже на м = 0 случай выше, но в котором есть дополнительный термин .

Отношение рецидива

Это удовлетворяет отношение повторения

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

и

для всех п. Как и функция log-gamma, функции polygamma могут быть обобщены из области однозначно положительным действительным числам только из-за их рекуррентного отношения и одного заданного значения функции, скажем ψ(м)(1), кроме случая м = 0 где дополнительное условие строгого монотонность на + по-прежнему нужен. Это тривиальное следствие Теорема Бора – Моллерупа для гамма-функции, где строго логарифмическая выпуклость на + требуется дополнительно. Дело м = 0 нужно относиться по-другому, потому что ψ(0) не нормализуется на бесконечности (сумма обратных величин не сходится).

Отношение отражения

где пм поочередно является нечетным или четным многочленом степени |м − 1| с целыми коэффициентами и старшим коэффициентом (−1)м⌈2м − 1. Они подчиняются уравнению рекурсии

Теорема умножения

В теорема умножения дает

и

для функция дигаммы.

Представление серии

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

что справедливо для м > 0 и любой комплекс z не равно отрицательному целому числу. Это представление можно записать более компактно в терминах Дзета-функция Гурвица так как

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

Еще одна серия может быть разрешена для полигамма-функций. Как указано Schlömilch,

Это результат Теорема факторизации Вейерштрасса. Таким образом, теперь гамма-функцию можно определить как:

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

Наконец, мы приходим к суммированию для полигамма-функции:

Где δп0 это Дельта Кронекера.

Так же Лерх трансцендентный

можно обозначить через полигамма-функцию

Серия Тейлор

В Серия Тейлор в z = 1 является

и

который сходится для |z| < 1. Вот, ζ это Дзета-функция Римана. Этот ряд легко выводится из соответствующего ряда Тейлора для дзета-функции Гурвица. Этот ряд может использоваться для получения ряда рациональная дзета-серия.

Асимптотическое разложение

Эти несходящиеся ряды можно использовать для быстрого получения значения приближения с определенной числовой точностью как минимум для больших аргументов:

и

где мы выбрали B1 = 1/2, т.е. Числа Бернулли второго рода.

Неравенства

В гиперболический котангенс удовлетворяет неравенству

откуда следует, что функция

неотрицательно для всех и . Отсюда следует, что преобразование Лапласа этой функции полностью монотонно. Используя представленное выше интегральное представление, заключаем, что

полностью монотонный. Неравенство выпуклости подразумевает, что

неотрицательно для всех и , поэтому аналогичный аргумент преобразования Лапласа дает полную монотонность

Поэтому для всех м ≥ 1 и Икс > 0,

Смотрите также

Рекомендации

  • Абрамовиц, Милтон; Стегун, Ирен А. (1964). «Раздел 6.4». Справочник по математическим функциям. Нью-Йорк: Dover Publications. ISBN  978-0-486-61272-0.