I have mentioned the Barnes function already once recently, as it arose in a marvelous identity of Widom. Today, here is a look at the duplication formula…

Recall that the Barnes function is defined by

for any complex number *z* (it is indeed an entire function; here *γ* is the Euler constant). Besides the ratio

which appeared in the previous post, the following expression

also occurs naturally in the asymptotic formula of Keating-Snaith for characteristic polynomials of unitary symplectic matrices. For some reasons, this didn’t look nice enough to me (e.g., the computation of

for *n* a positive integer is somewhat laborious). But because of the shape of the term in the square root of the denominator, one can try to simplify this using the basic relation

and the duplication formula for *G(2w)*, which “must exist”, since the Barnes function generalizes the Gamma function, for which it is well-known that

(usually attributed to Legendre).

So there is indeed a duplication formula; I picked it up from this paper of Adamchik (where it is cleaner than in the paper of Vardi referenced by Wikipedia), who states it as follows:

This is promising since in the case considered, the terms involving *G*, after application of the formula to *w=1+z*, become

leading to a cancellation with both the gamma and G-factors in the numerator!

And although the term *ζ'(-1)* is maybe a bit surprising, a moment’s thought shows it can be eliminated by simply plugging in any specific value of *z* and using the resulting formula to express it in terms of a specific value of *G(z)*. Indeed, taking *z=1/2*, and watching the dust settling lazily across the page, we get the very nice expression

In fact, it’s clear then that (at least for such purposes), it is best to write the duplication formula in a way which avoids *ζ'(-1)* altogether (losing a bit of information, since it’s somewhat interesting to know that this quantity is linked to *G(1/2)*):

(This is still not tautological for *z=1/2*: it contains the value *Γ(1/2)=π ^{1/2}*.) From the shape of this, number theorists, at least, would probably be curious to see what happens if one replaces the Gamma function with

which is the factor at infinity for the local field * C*. In that case, it seems natural to introduce

for which we retain the induction relation of *G* with respect to *Γ*:

In terms of these functions, the duplication formula is even nicer: