Barnes integral

Hypergeometric series

The hypergeometric function is given as a Barnes integral by

:{}2F_1(a,b;c;z) =\frac{\Gamma(c)}{\Gamma(a)\Gamma(b)} \frac{1}{2\pi i} \int{-i\infty}^{i\infty} \frac{\Gamma(a+s)\Gamma(b+s)\Gamma(-s)}{\Gamma(c+s)}(-z)^s,ds,

see also . This equality can be obtained by moving the contour to the right while picking up the residues at s = 0, 1, 2, ... . for z\ll 1, and by analytic continuation elsewhere. Given proper convergence conditions, one can relate more general Barnes' integrals and generalized hypergeometric functions pFq in a similar way .

Barnes lemmas

The first Barnes lemma states

:\frac{1}{2\pi i} \int_{-i\infty}^{i\infty} \Gamma(a+s)\Gamma(b+s)\Gamma(c-s)\Gamma(d-s)ds =\frac{\Gamma(a+c)\Gamma(a+d)\Gamma(b+c)\Gamma(b+d)}{\Gamma(a+b+c+d)}.

This is an analogue of Gauss's 2F1 summation formula, and also an extension of Euler's beta integral. The integral in it is sometimes called Barnes's beta integral.

The second Barnes lemma states

:\frac{1}{2\pi i} \int_{-i\infty}^{i\infty} \frac{\Gamma(a+s)\Gamma(b+s)\Gamma(c+s)\Gamma(1-d-s)\Gamma(-s)}{\Gamma(e+s)}ds

:=\frac{\Gamma(a)\Gamma(b)\Gamma(c)\Gamma(1-d+a)\Gamma(1-d+b)\Gamma(1-d+c)}{\Gamma(e-a)\Gamma(e-b)\Gamma(e-c)}

where e = a + b + c − d + 1. This is an analogue of Saalschütz's summation formula.

q-Barnes integrals

There are analogues of Barnes integrals for basic hypergeometric series, and many of the other results can also be extended to this case .

References

• (there is a 2008 paperback with )