In mathematics, the Barnes G-function (typically denoted 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]
Formally, the Barnes G-function is defined (in the form of a Weierstrass product) as
where γ is the Euler-Mascheroni constant.
Contents |
Difference equation, functional equation and special values
The Barnes G-function satisfies the difference equation
- G(z + 1) = Γ(z)G(z)
with normalisation G(1)=1. The difference equation implies that G takes the following values at integer arguments:
and thus
where Γ denotes the Gamma function and K denotes the K-function. The difference equation uniquely defines the G function if the convexity condition:
is added[2].
The difference equation for the G function and the functional equation for the Gamma function yield the following functional equation for the G function, originally proved by Hermann Kinkelin:
Multiplication formula
Like the Gamma function, the G-function also has a multiplication formula[3]:
where K(n) is a constant given by:
Here
is the derivative of the Riemann zeta function and A is the Glaisher-Kinkelin constant.
Asymptotic Expansion
The function
has the following asymptotic expansion established by Barnes:
Here the Bk are the Bernoulli numbers and A is the Glaisher-Kinkelin constant. (Note that somewhat confusingly at the time of Barnes [4] the Bernoulli number B2k would have been written as ( − 1)k + 1Bk, but this convention is no longer current.) This expansion is valid for z in any sector not containing the negative real axis with | z | large.
References
- ^ E.W.Barnes, "The theory of the G-function", Quarterly Journ. Pure and Appl. Math. 31 (1900), 264-314.
- ^ M. F. Vignéras, L'équation fonctionelle de la fonction zêta de Selberg du groupe mudulaire SL
, Astérisque 61, 235-249 (1979). - ^ I. Vardi, Determinants of Laplacians and multiple gamma functions, SIAM J. Math. Anal. 19, 493-507 (1988).
- ^ E.T.Whittaker and G.N.Watson, "A course of modern analysis", CUP.
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

![G(z+1)=(2\pi)^{z/2} e^{-[z(z+1)+\gamma z^2]/2}\prod_{n=1}^\infty \left[\left(1+\frac{z}{n}\right)^ne^{-z+z^2/(2n)}\right]](http://wpcontent.answers.com/math/b/c/c/bcc0d5c820483a6b2a27749af185becc.png)









