Barnes integral representation

Size: px

Start display at page:

Download "Barnes integral representation"

Nelson Patrick
5 years ago
Views:

1 Barnes integral representation The Mellin transform of a function is given by The inversion formula is given by F (s : f(x Note that the definition of the gamma function, Γ(s x s f(x dx. x s F (s ds, c >. x s e x dx, Re s >, implies that Γ(s is the Mellin transform of e x. The inversion formula reads e x x s Γ(s ds, c >. ( This can be proved directly by using Cauchy s residue theorem. Consider the rectangular contour C with vertices c ± ir (c > and (N + /2 ± ir, where N is a positive integer. Then the poles of Γ(s inside this contour are at,, 2,..., N with residues ( j /j! for j,, 2,..., N respectively. Hence, Cauchy s residue theorem implies that C x s Γ(s ds N ( j x j. j! Now we let R and N tend to infinity. Then Stirling s asymptotic formula for the gamma function implies that the integral on C minus the line joining c ir and c + ir tends to zero. Hence we have j x s Γ(s ds lim N j N ( j x j j! ( x j j j! e x. This proves (. Another example of a Mellin transform is: B(s, t x s ( x t dx, Re s >, Re t >. This implies that the beta function B(s, t is de Mellin transform of the function { ( x t, < x < f(x :, x.

2 The inversion formula then reads f(x x s B(s, t ds Γ(t x s Γ(s ds, Re t >, c >. Γ(s + t Another representation of the beta function is: B(s, t x s dx, Re s >, Re t >. ( + x s+t This implies that the beta function B(s, t s is the Mellin transform of the function The inversion formula then reads ( + x t g(x Γ(t g(x ( + x t. x s B(s, t s ds x s Γ(sΓ(t s ds, < c < Re t. These examples suggest that we might obtain a complex integral representation for the hypergeometric function 2 F by finding its Mellin transform: x s 2F ( a, b c ; x dx x s Γ(c Γ(bΓ(c b Γ(c Γ(bΓ(c b t b ( t c b ( + xt a dt dx t b ( t c b x s dx dt. ( + xt a Here we used Euler s integral representation for the 2 F. The substitution xt u now gives x s u s dx t s ( + xt a ( + u a du t s s Γ(sΓ(a s B(s, a s t. Γ(a Hence we have x s 2F ( a, b c ; x dx Γ(c Γ(sΓ(a s t b s ( t c b dt Γ(bΓ(c b Γ(a Γ(cΓ(sΓ(a s B(b s, c b Γ(bΓ(c bγ(a Γ(cΓ(sΓ(a s Γ(b sγ(c b Γ(bΓ(c bγ(a Γ(c s Γ(c Γ(sΓ(a sγ(b s. Γ(aΓ(b Γ(c s 2

3 Here we assumed that min (Re a, Re b > Re s >. Applying the inversion formula for the Mellin transform we might expect that ( Γ(aΓ(b a, b 2F Γ(c c ; x k+i Γ(sΓ(a sγ(b s ( x s ds Γ(c s k i for min (Re a, Re b > k > and c,, 2,.... In fact, this is Barnes integral representation for the 2 F which is usually written as: Theorem. Γ(aΓ(b Γ(c 2F ( a, b c ; z i i Γ(a + sγ(b + sγ( s ( z s ds, arg( z < π. (2 Γ(c + s The path of integration is curved, if necessary, to separate the poles s a n and s b n from the poles s n with n {,, 2,...}. Such a contour always exists if a and b are not negative integers. Proof. Let C be the closed contour formed by a part of the curve used in the theorem from (N + /2i to (N + /2i together with the semicircle of radius N + /2 to the right of the imaginary axis with as center. We first show that the above integral defines an analytic function for arg( z π δ with δ >. By using Euler s reflection formula and Stirling s asymptotic formula for the gamma function we find for the integrand: Γ(a + sγ(b + sγ( s Γ(c + s For s it we have s a+b c ( z s Γ(a + sγ(b + s Γ(c + sγ( + s π sin πs ( zs s a+b c π sin πs ( zs. π sin πs ( zs (it a+b c eit(ln z +i arg( z e πt e πt O( t a+b c e t δ for arg( z π δ. This shows that the integral represents an analytic function in arg( z π δ for every δ >, which implies that it is analytic for arg( z < π. On the semicircular part of the contour C the integrand is O(N a+b c ( zs sin πs for large N. For s (N + /2e iθ and z < we have ( z s [ sin πs O e (N+/2(cos θ ln z sin θ arg( z π sin θ ]. Since π + δ arg( z π δ, the last expression is [ O e (N+/2(cos θ ln z δ sin θ ]. Now we have cos θ 2 2 for θ π/4 and sin θ 2 2 for π/4 θ π/2. Hence, since ln z <, the integrand is ( O N a+b c e 2 ( O N a+b c e 2 2(N+/2 ln z, θ π/4 2(N+/2δ, π/4 θ π/2. 3

4 This implies that the integral on the semicircle tends to zero for N. The residue theorem then implies that the integral tends to the limit of the sums of the residues at s n with n {,, 2,...}, id est n Γ(a + nγ(b + n Γ(c + n n! z n Γ(aΓ(b Γ(c n This proves Barnes integral representation (2. (a n (b n (c n z n n! Γ(aΓ(b ( a, b 2F Γ(c c ; z. The Mellin transform has a convolution property, which can be obtained as follows. Assume that then we have This implies that F (s f(x x s f(xg(x dx x s f(x dx and G(s F (sx s ds and g(x x s g(x dx, ( x s g(x G(sx s ds. F (tx t dt dx ( F (t x s t g(x dx dt F (tg(s t dt. As an application we consider f(x x b Γ(b + sγ(a b s ( + x a F (s Γ(a and which leads to g(x x d ( + x c G(s Γ(d + sγ(c d s, Γ(c k+i k i Γ(b + sγ(a b sγ(d + sγ(c d + s ds Γ(aΓ(c k+i k i F (sg( s ds B(b + d +, a + c b d x b+d f(xg(x dx dx ( + x a+c Γ(b + d + Γ(a + c b d Γ(a + c 4

5 for a suitable k. By renaming the parameters, this can be written as i Γ(a + sγ(b + sγ(c sγ(d s ds i Γ(a + cγ(a + dγ(b + cγ(b + d, Γ(a + b + c + d which holds for Re a >, Re b >, Re c > and Re d >, shortly for Re(a, b, c, d >. This integral is called the Mellin-Barnes integral. More general we have Theorem 2. If the path of integration is curved to separate the poles of Γ(a + sγ(b + s from the poles of Γ(c sγ(d s, then we have i Γ(a + sγ(b + sγ(c sγ(d s ds i Γ(a + cγ(a + dγ(b + cγ(b + d. Γ(a + b + c + d Proof. Again we use Euler s reflection formula to write the integrand as Γ(a + sγ(b + s Γ( c + sγ( d + s π 2 sin π(c s sin π(d s. Let C be the closed contour formed by a part of the curve used in the theorem from ir to ir together with a semicircle of radius R to the right of the imaginary axis with as center. By Stirling s asymptotic formula the integrand is ( O s a+b+c+d 2 e 2π Im s for s on C. Since Im s can be arbitrarily small when s is large, we assume that Re(a + b + c + d < to ensure that the integral on the semicircle tends to zero for R. Then, by Cauchy s residue theorem (poles in s c + n and s d + n with n {,, 2,...} with residues ( n /n!, the integral equals Γ(a + c + nγ(b + c + nγ(d c n ( n n! + Γ(a + d + nγ(b + d + nγ(c d n ( n. n! n n Note that for n {,, 2,...} we have Γ(d c n Γ(d c (d c (d c 2 (d c n Γ(d c ( n ( + c d(2 + c d (n + c d Γ(d c ( n. ( + c d n This implies that the integral equals (a + c n (b + c n Γ(a + cγ(b + cγ(d c ( + c d n n n! (a + d n (b + d n + Γ(a + dγ(b + dγ(c d ( + d c n n!. 5 n

6 Finally we use Gauss s summation formula and Euler s reflection formula to find that the integral equals ( a + c, b + c Γ(a + cγ(b + cγ(d c 2 F + c d ; ( a + d, b + d + Γ(a + dγ(b + dγ(c d 2 F + d c ; Γ( + c dγ( a b c d Γ(a + cγ(b + cγ(d c Γ( a dγ( b d Γ( + d cγ( a b c d + Γ(a + dγ(b + dγ(c d Γ( a cγ( b c Γ(a + cγ(b + cγ(a + dγ(b + d Γ(a + b + c + d π sin π(a + d sin π(b + d π sin π(d c π π sin π(a + b + c + d Γ(a + dγ(b + dγ(a + cγ(b + c + Γ(a + b + c + d π sin π(a + c sin π(b + c π sin π(c d π π sin π(a + b + c + d Γ(a + cγ(a + dγ(b + cγ(b + d Γ(a + b + c + d sin π(a + c sin π(b + c sin π(a + d sin π(b + d. sin π(c d sin π(a + b + c + d By using trigonometric relations it can be shown that sin π(a + c sin π(b + c sin π(a + d sin π(b + d sin π(c d sin π(a + b + c + d. This proves the theorem for Re(a + b + c + d <. This condition can be removed by using analytic continuation of the parameters. 6

Math 259: Introduction to Analytic Number Theory More about the Gamma function

Math 259: Introduction to Analytic Number Theory More about the Gamma function Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.