Меню Главная Случайная статья Настройки G-функция Барнса Материал из https://ru.wikipedia.org G-функция Барнса (обычно обозначаемая ${\displaystyle G(z)}$) — функция, которая расширяет понятие суперфакториала на поле комплексных чисел. Она связана с Гамма-функцией, K-функцией и постоянной Глейшера—Кинкелина. ${\displaystyle G}$-функция названа в честь английского математика Эрнеста Уильяма Барнса[1]. Содержание 1 Определение 2 Свойства 2.1 Разностное уравнение 2.2 Функциональные уравнения 2.3 Формула умножения 2.4 Целочисленные значения 3 Аналог теоремы Бора — Моллерупа 4 G-функция Барнса от комплексного переменного 5 Логарифм G-функция Барнса 5.1 Асимптотическое формула 5.2 Интегральное представление 5.3 Представление в виде ряда Тейлора 6 Частные значения 7 Примечания Определение Формально ${\displaystyle G}$-функция Барнса определяется в виде произведения Вейерштрасса ${\displaystyle G(z+1)=(2\pi )^{z/2}e^{-\left[z(z+1)+\gamma z^{2}\right]/2}\prod _{n=1}^{\infty }\left[\left(1+{\frac {z}{n}}\right)^{n}e^{-z+z^{2}/(2n)}\right]}$ где ${\displaystyle \gamma }$ — постоянная Эйлера—Маскерони. Свойства Разностное уравнение ${\displaystyle G}$-функция Барнса удовлетворяет разностному уравнению ${\displaystyle G(z+1)=\Gamma (z)G(z)}$ Функциональные уравнения Дифференциальное и функциональное уравнение для ${\displaystyle G}$-функции, Гамма-функции и K-функции приводят к следующим функциональным уравнениям для ${\displaystyle G}$-функции, доказанным Германом Кинкелином: ${\displaystyle K(z)G(z)=e^{(z-1)\ln \Gamma (z)}.}$ ${\displaystyle G(1-z)=G(1+z){\frac {1}{(2\pi )^{z}}}\exp \left(\int _{0}^{z}\pi x\cot \pi x\,dx\right).}$ Формула умножения Схожая с Гамма-функцией, ${\displaystyle G}$-функция также имеет формулу умножения[2]: ${\displaystyle G(nz)=\operatorname {K} (n)n^{n^{2}z^{2}/2-nz}(2\pi )^{-{\frac {n^{2}-n}{2}}z}\prod _{i=0}^{n-1}\prod _{j=0}^{n-1}G\left(z+{\frac {i+j}{n}}\right),}$ где ${\displaystyle \operatorname {K} (n)}$ является константой, от n: ${\displaystyle \operatorname {K} (n)=e^{-(n^{2}-1)\zeta ^{\prime }(-1)}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}\,=\,(Ae^{-{\frac {1}{12}}})^{n^{2}-1}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}.}$ Здесь ${\displaystyle \zeta ^{\prime }}$ — это дзета-функция Римана, ${\displaystyle A}$ — это постоянная Глейшера—Кинкелина. Частный случай этой формулы при n=2: [3] ${\displaystyle G(x)G\left(x+{\frac {1}{2}}\right)^{2}G(x+1)=e^{\frac {1}{4}}A^{-3}2^{-2x^{2}+3x-{\frac {11}{12}}}\pi ^{x-{\frac {1}{2}}}G\left(2x\right)}$ Целочисленные значения Для любого целого неотрицательного n верно: ${\displaystyle G(n)=\operatorname {sf} (n-2)}$, где ${\displaystyle \operatorname {sf} (x)}$— суперфакториал ${\displaystyle x}$. если принять, что ${\displaystyle G(1)=1}$. В дифференциальном уравнении подразумевается, что ${\displaystyle G}$ принимает следующие значение при целых значениях аргумента: ${\displaystyle G(n)={\begin{cases}0&{\mbox{if }}n=0,-1,-2,\dots \\\prod _{i=0}^{n-2}i!&{\mbox{if }}n=1,2,\dots \end{cases}}}$ Аналог теоремы Бора — Моллерупа Согласно аналогу теоремы Бора — Моллерупа, G-функции Барнса единственная функция ${\displaystyle f(x)}$, которая обладает 2 свойствами[4] ${\displaystyle f(x+1)=\Gamma (x)f(x)}$ и для ${\displaystyle x>0}$ ${\displaystyle f(x+n)\sim \Gamma (x)^{n}n^{x \choose 2}f(n)}$ при ${\displaystyle n\to \infty }$. G-функция Барнса от комплексного переменного Комплексно сопряженная G-функция Барнса от z равна G-функция Барнса от комплексно сопряженного аргумента z ${\displaystyle (G({\overline {z}})={\overline {G(z)}})}$, таким образом ${\displaystyle |G(z)|^{2}=G(z)G({\overline {z}})}$. Из этого соотношения и представленной выше формулы произведения Вейерштрасса можно показать ${\displaystyle |G(x+iy)|=|G(x)|\exp \left(y^{2}{\frac {1+\gamma }{2}}\right){\sqrt {1+{\frac {y^{2}}{x^{2}}}}}{\sqrt {\prod _{k=1}^{\infty }\left(1+{\frac {y^{2}}{(x+k)^{2}}}\right)^{k+1}\exp \left(-{\frac {y^{2}}{k}}\right)}}.}$ Это отношение справедливо для произвольных ${\displaystyle x\in \mathbb {R} \setminus \{0,-1,-2,\dots \}}$, и ${\displaystyle y\in \mathbb {R} }$. Если ${\displaystyle x=0}$, тогда формулу можно записав в более простом виде: ${\displaystyle |G(iy)|=y\exp \left(y^{2}{\frac {1+\gamma }{2}}\right){\sqrt {\prod _{k=1}^{\infty }\left(1+{\frac {y^{2}}{k^{2}}}\right)^{k+1}\exp \left(-{\frac {y^{2}}{k}}\right)}}}$ для любого вещественного y. Логарифм G-функция Барнса Асимптотическое формула G-функция Барнса имеет следующее асимптотическое разложение, установленное Барнсом: ${\displaystyle {\begin{aligned}\ln G(z+1)={}&{\frac {z^{2}}{2}}\ln z-{\frac {3z^{2}}{4}}+{\frac {z}{2}}\ln 2\pi -{\frac {1}{12}}\ln z+\left({\frac {1}{12}}-\ln A\right)+\sum _{k=1}^{N}{\frac {B_{2k+2}}{4k\left(k+1\right)z^{2k}}}~+~O\left({\frac {1}{z^{2N+2}}}\right).\end{aligned}}}$ где: ${\displaystyle B_{k}}$ - числа Бернулли Интегральное представление Интегральное представление, которое можно вывести из отношения к двойной гамма-функции: ${\displaystyle \ln G(1+z)={\frac {z}{2}}\ln(2\pi )+\int _{0}^{\infty }{\frac {dt}{t}}\left[{\frac {1-e^{-zt}}{4\sinh ^{2}{\frac {t}{2}}}}+{\frac {z^{2}}{2}}e^{-t}-{\frac {z}{t}}\right]}$ где: ${\displaystyle \sinh(x)}$ - гиперболические функции Представление в виде ряда Тейлора По теорема Тейлора, и учитывая логарифмическую производные из функции Барнса можно получить следующее разложение в ряд: ${\displaystyle \log G(1+z)={\frac {z}{2}}\log 2\pi -\left({\frac {z+(1+\gamma )z^{2}}{2}}\right)+\sum _{k=2}^{\infty }(-1)^{k}{\frac {\zeta (k)}{k+1}}z^{k+1}.}$ где: ${\displaystyle \zeta (x)}$ - Дзета-функция Римана Частные значения G-функция Барнса целых аргументов выражается через элементарные функции. В частности ${\displaystyle G(2)=\operatorname {sf} (0)=1}$ ${\displaystyle G(3)=\operatorname {sf} (1)=1}$ ${\displaystyle G(4)=\operatorname {sf} (2)=2}$ ${\displaystyle G(5)=\operatorname {sf} (3)=12}$ ${\displaystyle G(6)=\operatorname {sf} (4)=288}$ ${\displaystyle G(1)=1}$ ${\displaystyle G(0)=G(-1)=G(-2)=\ldots =0}$ Так же были найдены значения для полу-целых аргументов ${\displaystyle G({\frac {1}{2}})=A^{-{\frac {3}{2}}}}{2^{\frac {1}{24}}e^{\frac {1}{8}}\pi ^{-{\frac {1}{4}}}}$ ${\displaystyle G({\frac {3}{2}})=A^{-{\frac {3}{2}}}}{2^{\frac {1}{24}}e^{\frac {1}{8}}\pi ^{\frac {1}{4}}}$ ${\displaystyle G({\frac {5}{2}})=A^{-{\frac {3}{2}}}}{2^{-{\frac {23}{24}}}e^{\frac {1}{8}}\pi ^{\frac {3}{4}}}$ Примечания E.W. Barnes, «The theory of the G-function», Quarterly Journ. Pure and Appl. Math. 31 (1900), 264—314. I. Vardi, Determinants of Laplacians and multiple gamma functions, SIAM J. Math. Anal. 19, 493—507 (1988). Park, Junesang (1996). A duplication formula for the double gamma function $Gamma_2$. Bulletin of the Korean Mathematical Society. 33 (2): 289–294. Marichal, Jean Luc. A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions / Jean Luc Marichal, Naim Zenaidi. — Springer, 2022. — Vol. 70. — P. 218. — ISBN 978-3-030-95087-3. — doi:10.1007/978-3-030-95088-0.