Мероморфная функция
Графики полигамма-функций ψ, ψ(1), ψ(2) и ψ(3) реальных аргументов
В математика, то полигамма функция порядка м это мероморфная функция на сложные числа ℂ определяется как (м + 1)th производная от логарифма из гамма-функция:
Таким образом
держит где ψ(z) это функция дигаммы и Γ (z) это гамма-функция. Они есть голоморфный на ℂ \ −ℕ0. При всех неположительных целых числах эти полигамма-функции имеют столб порядка м + 1. Функция ψ(1)(z) иногда называют функция тригаммы.
Логарифм гамма-функции и первые несколько полигамма-функций в комплексной плоскости | | |
ln Γ (z) | ψ(0)(z) | ψ(1)(z) |
| | |
ψ(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,
Смотрите также
Рекомендации