График Барнса G, также известной как двойная гамма-функция G(z), в комплексной плоскости от -2-2i до 2+2i с цветами, созданными с помощью функции Mathematica 13.1 ComplexPlot3D В математике G-функция Барнса G ( z ) — это функция , которая является расширением суперфакториалов до комплексных чисел . Она связана с гамма-функцией , K-функцией и константой Глейшера-Кинкелина и была названа в честь математика Эрнеста Уильяма Барнса . [1] Это можно записать в терминах двойной гамма-функции .
Формально G -функция Барнса определяется в следующей форме произведения Вейерштрасса :
г ( 1 + я ) "=" ( 2 π ) я / 2 опыт ( − я + я 2 ( 1 + γ ) 2 ) ∏ к "=" 1 ∞ { ( 1 + я к ) к опыт ( я 2 2 к − я ) } {\displaystyle G(1+z)=(2\pi)^{z/2}\exp \left(- {\frac {z+z^{2}(1+\gamma)}{2}}\ right)\,\prod _{k=1}^{\infty }\left\{\left(1+{\frac {z}{k}}\right)^{k}\exp \left({\ frac {z^{2}}{2k}}-z\right)\right\}} где – константа Эйлера–Машерони , exp ( x ) = e x – показательная функция, а Π обозначает умножение ( заглавная буква «пи» ). γ {\displaystyle \,\гамма}
Интегральное представление, которое можно вывести из связи с двойной гамма-функцией , равно
бревно г ( 1 + я ) "=" я 2 бревно ( 2 π ) + ∫ 0 ∞ д т т [ 1 − е − я т 4 Синь 2 т 2 + я 2 2 е − т − я т ] {\displaystyle \log G(1+z)={\frac {z}{2}}\log(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]} Как целая функция G имеет второй порядок и бесконечный тип . Это можно вывести из асимптотического разложения, приведенного ниже.
Функциональное уравнение и целочисленные аргументы G -функция Барнса удовлетворяет функциональному уравнению
г ( я + 1 ) "=" Γ ( я ) г ( я ) {\displaystyle G(z+1)=\Gamma (z)\,G(z)} с нормировкой G (1) = 1. Обратите внимание на сходство функционального уравнения G-функции Барнса и гамма- функции Эйлера :
Γ ( я + 1 ) "=" я Γ ( я ) . {\displaystyle \Gamma (z+1)=z\,\Gamma (z).} Функциональное уравнение подразумевает, что G принимает следующие значения при целочисленных аргументах:
г ( н ) "=" { 0 если н "=" 0 , − 1 , − 2 , … ∏ я "=" 0 н − 2 я ! если н "=" 1 , 2 , … {\displaystyle G(n)={\begin{cases}0&{\text{if }}n=0,-1,-2,\dots \\\prod _{i=0}^{n-2} i!&{\text{if }}n=1,2,\dots \end{cases}}} (в частности, ) и, таким образом, г ( 0 ) "=" 0 , г ( 1 ) "=" 1 {\displaystyle \,G(0)=0,G(1)=1}
г ( н ) "=" ( Γ ( н ) ) н − 1 К ( н ) {\displaystyle G(n)={\frac {(\Gamma (n))^{n-1}}{K(n)}}} где обозначает гамма-функцию , а K обозначает K-функцию . Функциональное уравнение однозначно определяет G-функцию Барнса, если выполнено условие выпуклости Γ ( Икс ) {\displaystyle \,\Гамма (х)}
( ∀ Икс ≥ 1 ) д 3 д Икс 3 бревно ( г ( Икс ) ) ≥ 0 {\displaystyle (\forall x\geq 1)\, {\frac {\mathrm {d} ^{3}}{\mathrm {d} x^{3}}}\log(G(x))\geq 0} добавлен. [2] Кроме того, G-функция Барнса удовлетворяет формуле дублирования: [3]
г ( Икс ) г ( Икс + 1 2 ) 2 г ( Икс + 1 ) "=" е 1 4 А − 3 2 − 2 Икс 2 + 3 Икс − 11 12 π Икс − 1 2 г ( 2 Икс ) {\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)} Характеристика Аналогично теореме Бора-Моллерупа для гамма-функции для константы имеем для [4] c > 0 {\displaystyle c>0} f ( x ) = c G ( x ) {\displaystyle f(x)=cG(x)}
f ( x + 1 ) = Γ ( x ) f ( x ) {\displaystyle f(x+1)=\Gamma (x)f(x)}
и для x > 0 {\displaystyle x>0}
f ( x + n ) ∼ Γ ( x ) n n ( x 2 ) f ( n ) {\displaystyle f(x+n)\sim \Gamma (x)^{n}n^{x \choose 2}f(n)}
как . n → ∞ {\displaystyle n\to \infty }
Значение в размере 1/2 G ( 1 2 ) = 2 1 24 e 3 2 ζ ′ ( − 1 ) π − 1 4 = 2 1 24 e 1 8 π − 1 4 A − 3 2 , {\displaystyle {\begin{aligned}G\left({\tfrac {1}{2}}\right)&=2^{\frac {1}{24}}\,e^{{\frac {3}{2}}\zeta '(-1)}\,\pi ^{-{\frac {1}{4}}}\\&=2^{\frac {1}{24}}\,e^{\frac {1}{8}}\,\pi ^{-{\frac {1}{4}}}\,A^{-{\frac {3}{2}}},\end{aligned}}} где – константа Глейшера–Кинкелина . [ нужна ссылка ] [ важность? ] A {\displaystyle A}
Формула отражения 1.0 Разностное уравнение для G-функции в сочетании с функциональным уравнением для гамма-функции можно использовать для получения следующей формулы отражения для G-функции Барнса (первоначально доказанной Германом Кинкелином ):
log G ( 1 − z ) = log G ( 1 + z ) − z log 2 π + ∫ 0 z π x cot π x d x . {\displaystyle \log G(1-z)=\log G(1+z)-z\log 2\pi +\int _{0}^{z}\pi x\cot \pi x\,dx.} Интеграл логтангенса в правой части можно оценить через функцию Клаузена (порядка 2), как показано ниже:
2 π log ( G ( 1 − z ) G ( 1 + z ) ) = 2 π z log ( sin π z π ) + Cl 2 ( 2 π z ) {\displaystyle 2\pi \log \left({\frac {G(1-z)}{G(1+z)}}\right)=2\pi z\log \left({\frac {\sin \pi z}{\pi }}\right)+\operatorname {Cl} _{2}(2\pi z)} Доказательство этого результата основано на следующей оценке котангенс-интеграла: введении обозначения логкокасательного интеграла и использовании того факта , что интегрирование по частям дает Lc ( z ) {\displaystyle \operatorname {Lc} (z)} ( d / d x ) log ( sin π x ) = π cot π x {\displaystyle \,(d/dx)\log(\sin \pi x)=\pi \cot \pi x}
Lc ( z ) = ∫ 0 z π x cot π x d x = z log ( sin π z ) − ∫ 0 z log ( sin π x ) d x = z log ( sin π z ) − ∫ 0 z [ log ( 2 sin π x ) − log 2 ] d x = z log ( 2 sin π z ) − ∫ 0 z log ( 2 sin π x ) d x . {\displaystyle {\begin{aligned}\operatorname {Lc} (z)&=\int _{0}^{z}\pi x\cot \pi x\,dx\\&=z\log(\sin \pi z)-\int _{0}^{z}\log(\sin \pi x)\,dx\\&=z\log(\sin \pi z)-\int _{0}^{z}{\Bigg [}\log(2\sin \pi x)-\log 2{\Bigg ]}\,dx\\&=z\log(2\sin \pi z)-\int _{0}^{z}\log(2\sin \pi x)\,dx.\end{aligned}}} Выполнение интегральной замены дает y = 2 π x ⇒ d x = d y / ( 2 π ) {\displaystyle \,y=2\pi x\Rightarrow dx=dy/(2\pi )}
z log ( 2 sin π z ) − 1 2 π ∫ 0 2 π z log ( 2 sin y 2 ) d y . {\displaystyle z\log(2\sin \pi z)-{\frac {1}{2\pi }}\int _{0}^{2\pi z}\log \left(2\sin {\frac {y}{2}}\right)\,dy.} Функция Клаузена второго порядка имеет интегральное представление
Cl 2 ( θ ) = − ∫ 0 θ log | 2 sin x 2 | d x . {\displaystyle \operatorname {Cl} _{2}(\theta )=-\int _{0}^{\theta }\log {\Bigg |}2\sin {\frac {x}{2}}{\Bigg |}\,dx.} Однако внутри интервала знак абсолютного значения в подынтегральном выражении можно опустить, поскольку внутри этого интервала функция «полусинусоида» в интеграле строго положительна и строго отлична от нуля. Сравнивая это определение с приведенным выше результатом для логтангенсного интеграла, очевидно, что имеет место следующее соотношение: 0 < θ < 2 π {\displaystyle \,0<\theta <2\pi }
Lc ( z ) = z log ( 2 sin π z ) + 1 2 π Cl 2 ( 2 π z ) . {\displaystyle \operatorname {Lc} (z)=z\log(2\sin \pi z)+{\frac {1}{2\pi }}\operatorname {Cl} _{2}(2\pi z).} Таким образом, после небольшой перестановки членов доказательство завершено:
2 π log ( G ( 1 − z ) G ( 1 + z ) ) = 2 π z log ( sin π z π ) + Cl 2 ( 2 π z ) . ◻ {\displaystyle 2\pi \log \left({\frac {G(1-z)}{G(1+z)}}\right)=2\pi z\log \left({\frac {\sin \pi z}{\pi }}\right)+\operatorname {Cl} _{2}(2\pi z)\,.\,\Box } Использование соотношения и деление формулы отражения на коэффициент дает эквивалентную форму: G ( 1 + z ) = Γ ( z ) G ( z ) {\displaystyle \,G(1+z)=\Gamma (z)\,G(z)} 2 π {\displaystyle \,2\pi }
log ( G ( 1 − z ) G ( z ) ) = z log ( sin π z π ) + log Γ ( z ) + 1 2 π Cl 2 ( 2 π z ) {\displaystyle \log \left({\frac {G(1-z)}{G(z)}}\right)=z\log \left({\frac {\sin \pi z}{\pi }}\right)+\log \Gamma (z)+{\frac {1}{2\pi }}\operatorname {Cl} _{2}(2\pi z)} Ссылка: см. Адамчика ниже, где приведена эквивалентная форма формулы отражения , но с другим доказательством.
Формула отражения 2.0 Замена z на (1/2) − z'' в предыдущей формуле отражения дает после некоторого упрощения эквивалентную формулу, показанную ниже (с использованием полиномов Бернулли ):
log ( G ( 1 2 + z ) G ( 1 2 − z ) ) = log Γ ( 1 2 − z ) + B 1 ( z ) log 2 π + 1 2 log 2 + π ∫ 0 z B 1 ( x ) tan π x d x {\displaystyle \log \left({\frac {G\left({\frac {1}{2}}+z\right)}{G\left({\frac {1}{2}}-z\right)}}\right)=\log \Gamma \left({\frac {1}{2}}-z\right)+B_{1}(z)\log 2\pi +{\frac {1}{2}}\log 2+\pi \int _{0}^{z}B_{1}(x)\tan \pi x\,dx} Расширение ряда Тейлора По теореме Тейлора и с учетом логарифмических производных функции Барнса можно получить следующее разложение в ряд:
log G ( 1 + z ) = z 2 log 2 π − ( z + ( 1 + γ ) z 2 2 ) + ∑ k = 2 ∞ ( − 1 ) k ζ ( k ) k + 1 z k + 1 . {\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}.} Это действительно для . Вот дзета - функция Римана : 0 < z < 1 {\displaystyle \,0<z<1} ζ ( x ) {\displaystyle \,\zeta (x)}
ζ ( s ) = ∑ n = 1 ∞ 1 n s . {\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}.} Возведение в степень обеих сторон разложения Тейлора дает:
G ( 1 + z ) = exp [ z 2 log 2 π − ( z + ( 1 + γ ) z 2 2 ) + ∑ k = 2 ∞ ( − 1 ) k ζ ( k ) k + 1 z k + 1 ] = ( 2 π ) z / 2 exp [ − z + ( 1 + γ ) z 2 2 ] exp [ ∑ k = 2 ∞ ( − 1 ) k ζ ( k ) k + 1 z k + 1 ] . {\displaystyle {\begin{aligned}G(1+z)&=\exp \left[{\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}\right]\\&=(2\pi )^{z/2}\exp \left[-{\frac {z+(1+\gamma )z^{2}}{2}}\right]\exp \left[\sum _{k=2}^{\infty }(-1)^{k}{\frac {\zeta (k)}{k+1}}z^{k+1}\right].\end{aligned}}} Сравнение этого с формой произведения Вейерштрасса функции Барнса дает следующее соотношение:
exp [ ∑ k = 2 ∞ ( − 1 ) k ζ ( k ) k + 1 z k + 1 ] = ∏ k = 1 ∞ { ( 1 + z k ) k exp ( z 2 2 k − z ) } {\displaystyle \exp \left[\sum _{k=2}^{\infty }(-1)^{k}{\frac {\zeta (k)}{k+1}}z^{k+1}\right]=\prod _{k=1}^{\infty }\left\{\left(1+{\frac {z}{k}}\right)^{k}\exp \left({\frac {z^{2}}{2k}}-z\right)\right\}} Формула умножения Как и гамма-функция, G-функция также имеет формулу умножения: [5]
G ( n z ) = K ( n ) n n 2 z 2 / 2 − n z ( 2 π ) − n 2 − n 2 z ∏ i = 0 n − 1 ∏ j = 0 n − 1 G ( z + i + j n ) {\displaystyle G(nz)=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)} где константа, определяемая следующим образом: K ( n ) {\displaystyle K(n)}
K ( n ) = e − ( n 2 − 1 ) ζ ′ ( − 1 ) ⋅ n 5 12 ⋅ ( 2 π ) ( n − 1 ) / 2 = ( A e − 1 12 ) n 2 − 1 ⋅ n 5 12 ⋅ ( 2 π ) ( n − 1 ) / 2 . {\displaystyle 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 }} A {\displaystyle A}
Абсолютная величина Это верно , таким образом . Из этого соотношения и представленной выше формы произведения Вейерштрасса можно показать, что G ( z ¯ ) = G ( z ) ¯ {\displaystyle G({\overline {z}})={\overline {G(z)}}} | G ( z ) | 2 = G ( z ) G ( z ¯ ) {\displaystyle |G(z)|^{2}=G(z)G({\overline {z}})}
| G ( x + i y ) | = | G ( x ) | exp ( y 2 1 + γ 2 ) 1 + y 2 x 2 ∏ k = 1 ∞ ( 1 + y 2 ( x + k ) 2 ) k + 1 exp ( − y 2 k ) . {\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)}}.} Это соотношение справедливо для произвольных , и . Если , то вместо этого действительна приведенная ниже формула: x ∈ R ∖ { 0 , − 1 , − 2 , … } {\displaystyle x\in \mathbb {R} \setminus \{0,-1,-2,\dots \}} y ∈ R {\displaystyle y\in \mathbb {R} } x = 0 {\displaystyle x=0}
| G ( i y ) | = y exp ( y 2 1 + γ 2 ) ∏ k = 1 ∞ ( 1 + y 2 k 2 ) k + 1 exp ( − y 2 k ) {\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 ( z + 1) имеет следующее асимптотическое разложение, установленное Барнсом :
log G ( z + 1 ) = z 2 2 log z − 3 z 2 4 + z 2 log 2 π − 1 12 log z + ( 1 12 − log A ) + ∑ k = 1 N B 2 k + 2 4 k ( k + 1 ) z 2 k + O ( 1 z 2 N + 2 ) . {\displaystyle {\begin{aligned}\log G(z+1)={}&{\frac {z^{2}}{2}}\log z-{\frac {3z^{2}}{4}}+{\frac {z}{2}}\log 2\pi -{\frac {1}{12}}\log z\\&{}+\left({\frac {1}{12}}-\log 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}}} Здесь – числа Бернулли , – константа Глейшера –Кинкелина . (Обратите внимание, что во времена Барнса [6] число Бернулли несколько сбивало с толку , но это соглашение больше не актуально.) Это разложение справедливо для любого сектора, не содержащего отрицательную действительную ось с большим. B k {\displaystyle B_{k}} A {\displaystyle A} B 2 k {\displaystyle B_{2k}} ( − 1 ) k + 1 B k {\displaystyle (-1)^{k+1}B_{k}} z {\displaystyle z} | z | {\displaystyle |z|}
Связь с интегралом логгаммы Параметрическую логгамму можно оценить с помощью G-функции Барнса (ссылка: этот результат найден у Адамчика ниже, но сформулирован без доказательства):
∫ 0 z log Γ ( x ) d x = z ( 1 − z ) 2 + z 2 log 2 π + z log Γ ( z ) − log G ( 1 + z ) {\displaystyle \int _{0}^{z}\log \Gamma (x)\,dx={\frac {z(1-z)}{2}}+{\frac {z}{2}}\log 2\pi +z\log \Gamma (z)-\log G(1+z)} Доказательство несколько косвенное и включает сначала рассмотрение логарифмической разности гамма-функции и G-функции Барнса:
z log Γ ( z ) − log G ( 1 + z ) {\displaystyle z\log \Gamma (z)-\log G(1+z)} где
1 Γ ( z ) = z e γ z ∏ k = 1 ∞ { ( 1 + z k ) e − z / k } {\displaystyle {\frac {1}{\Gamma (z)}}=ze^{\gamma z}\prod _{k=1}^{\infty }\left\{\left(1+{\frac {z}{k}}\right)e^{-z/k}\right\}} и – постоянная Эйлера–Машерони . γ {\displaystyle \,\gamma }
Логарифмирование форм произведения Вейерштрасса G-функции Барнса и гамма-функции дает:
z log Γ ( z ) − log G ( 1 + z ) = − z log ( 1 Γ ( z ) ) − log G ( 1 + z ) = − z [ log z + γ z + ∑ k = 1 ∞ { log ( 1 + z k ) − z k } ] − [ z 2 log 2 π − z 2 − z 2 2 − z 2 γ 2 + ∑ k = 1 ∞ { k log ( 1 + z k ) + z 2 2 k − z } ] {\displaystyle {\begin{aligned}&z\log \Gamma (z)-\log G(1+z)=-z\log \left({\frac {1}{\Gamma (z)}}\right)-\log G(1+z)\\[5pt]={}&{-z}\left[\log z+\gamma z+\sum _{k=1}^{\infty }{\Bigg \{}\log \left(1+{\frac {z}{k}}\right)-{\frac {z}{k}}{\Bigg \}}\right]\\[5pt]&{}-\left[{\frac {z}{2}}\log 2\pi -{\frac {z}{2}}-{\frac {z^{2}}{2}}-{\frac {z^{2}\gamma }{2}}+\sum _{k=1}^{\infty }{\Bigg \{}k\log \left(1+{\frac {z}{k}}\right)+{\frac {z^{2}}{2k}}-z{\Bigg \}}\right]\end{aligned}}} Небольшое упрощение и изменение порядка терминов дает расширение ряда:
∑ k = 1 ∞ { ( k + z ) log ( 1 + z k ) − z 2 2 k − z } = − z log z − z 2 log 2 π + z 2 + z 2 2 − z 2 γ 2 − z log Γ ( z ) + log G ( 1 + z ) {\displaystyle {\begin{aligned}&\sum _{k=1}^{\infty }{\Bigg \{}(k+z)\log \left(1+{\frac {z}{k}}\right)-{\frac {z^{2}}{2k}}-z{\Bigg \}}\\[5pt]={}&{-z}\log z-{\frac {z}{2}}\log 2\pi +{\frac {z}{2}}+{\frac {z^{2}}{2}}-{\frac {z^{2}\gamma }{2}}-z\log \Gamma (z)+\log G(1+z)\end{aligned}}} Наконец, возьмите логарифм произведения Вейерштрасса гамма - функции и проинтегрируйте его по интервалу, чтобы получить: [ 0 , z ] {\displaystyle \,[0,\,z]}
∫ 0 z log Γ ( x ) d x = − ∫ 0 z log ( 1 Γ ( x ) ) d x = − ( z log z − z ) − z 2 γ 2 − ∑ k = 1 ∞ { ( k + z ) log ( 1 + z k ) − z 2 2 k − z } {\displaystyle {\begin{aligned}&\int _{0}^{z}\log \Gamma (x)\,dx=-\int _{0}^{z}\log \left({\frac {1}{\Gamma (x)}}\right)\,dx\\[5pt]={}&{-(z\log z-z)}-{\frac {z^{2}\gamma }{2}}-\sum _{k=1}^{\infty }{\Bigg \{}(k+z)\log \left(1+{\frac {z}{k}}\right)-{\frac {z^{2}}{2k}}-z{\Bigg \}}\end{aligned}}} Приравнивание двух оценок завершает доказательство:
∫ 0 z log Γ ( x ) d x = z ( 1 − z ) 2 + z 2 log 2 π + z log Γ ( z ) − log G ( 1 + z ) {\displaystyle \int _{0}^{z}\log \Gamma (x)\,dx={\frac {z(1-z)}{2}}+{\frac {z}{2}}\log 2\pi +z\log \Gamma (z)-\log G(1+z)} И с тех пор, G ( 1 + z ) = Γ ( z ) G ( z ) {\displaystyle \,G(1+z)=\Gamma (z)\,G(z)}
∫ 0 z log Γ ( x ) d x = z ( 1 − z ) 2 + z 2 log 2 π − ( 1 − z ) log Γ ( z ) − log G ( z ) . {\displaystyle \int _{0}^{z}\log \Gamma (x)\,dx={\frac {z(1-z)}{2}}+{\frac {z}{2}}\log 2\pi -(1-z)\log \Gamma (z)-\log G(z)\,.} Рекомендации ^ Э. У. Барнс, «Теория G-функции», Ежеквартальный журнал. Чистый и прикладной. Математика. 31 (1900), 264–314. ^ MF Vignéras, L'équation fonctionelle de la fonction zêta de Selberg du groupe mudulaire SL ( 2 , Z ) {\displaystyle (2,\mathbb {Z} )} , Asterisque 61 , 235–249 (1979). ^ Пак, Джунесанг (1996). «Формула дублирования двойной гамма-функции $Gamma_2$». Бюллетень Корейского математического общества . 33 (2): 289–294. ^ Маришаль, Жан Люк. Обобщение теоремы Бора-Моллерапа для выпуклых функций высшего порядка (PDF) . Спрингер. п. 218. ^ И. Варди, Определители лапласианов и множественные гамма-функции , SIAM J. Math. Анальный. 19 , 493–507 (1988). ^ ET Whittaker и GN Watson , « Курс современного анализа », CUP.Аски, РА; Рой, Р. (2010), «G-функция Барнса», в Олвере, Фрэнке В.Дж .; Лозье, Дэниел М.; Буасверт, Рональд Ф.; Кларк, Чарльз В. (ред.), Справочник NIST по математическим функциям , издательство Кембриджского университета, ISBN 978-0-521-19225-5 , МР 2723248 .Адамчик, Виктор С. (2003). «Вклад в теорию функции Барнса». arXiv : math/0308086 .