In mathematics, a Barnes integral or Mellin–Barnes integral is a contour integral involving a product of gamma functions. They were introduced by . They are closely related to generalized hypergeometric series.
The integral is usually taken along a contour which is a deformation of the imaginary axis passing to the right of all poles of factors of the form ÃÂ(a + s) and to the left of all poles of factors of the form ÃÂ(a − s).
The hypergeometric function is given as a Barnes integral by
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 , and by analytic continuation elsewhere. Given proper convergence conditions, one can relate more general Barnes' integrals and generalized hypergeometric functions <sub>p</sub>F<sub>q</sub> in a similar way .
The first Barnes lemma states
This is an analogue of Gauss's <sub>2</sub>F<sub>1</sub> 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
where e = a + b + c − d + 1. This is an analogue of Saalschütz's summation formula.
There are analogues of Barnes integrals for basic hypergeometric series, and many of the other results can also be extended to this case .