Function that is an extension of superfactorials to the complex numbers
Plot of the Barnes G aka double gamma function G(z) in the complex plane from -2-2i to 2+2i with colors created with Mathematica 13.1 function ComplexPlot3D
The Barnes G function along part of the real axis
In mathematics , the Barnes G-function G (z ) is a function that is an extension of superfactorials to the complex numbers . It is related to the gamma function , the K-function and the Glaisher–Kinkelin constant , and was named after mathematician Ernest William Barnes .[ 1] It can be written in terms of the double gamma function .
Formally, the Barnes G -function is defined in the following Weierstrass product form:
G
(
1
+
z
)
=
(
2
π
)
z
/
2
exp
(
−
z
+
z
2
(
1
+
γ
)
2
)
∏
k
=
1
∞
{
(
1
+
z
k
)
k
exp
(
z
2
2
k
−
z
)
}
{\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\}}
where
γ
{\displaystyle \,\gamma }
is the Euler–Mascheroni constant , exp (x ) = e x is the exponential function, and Π denotes multiplication (capital pi notation ).
The integral representation, which may be deduced from the relation to the double gamma function , is
log
G
(
1
+
z
)
=
z
2
log
(
2
π
)
+
∫
0
∞
d
t
t
[
1
−
e
−
z
t
4
sinh
2
t
2
+
z
2
2
e
−
t
−
z
t
]
{\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]}
As an entire function , G is of order two, and of infinite type. This can be deduced from the asymptotic expansion given below.
^ E. W. Barnes, "The theory of the G-function", Quarterly Journ. Pure and Appl. Math. 31 (1900), 264–314.