arxiv:math/ v2 [math.ca] 19 Apr 2005

Transcription

1 On hypergeometric functions and -Pochhammer symbol arxiv:math/45596v2 [mathca] 9 Apr 25 Rafael Díaz and Eddy Pariguan February, 28 Abstract We introduce the -generalized gamma function Γ, beta function B, and Pochhammer -symbol ( n, We prove several identities generalizing those satisfied by the classical gamma function, beta function and Pochhammer symbol We provided integral representation for the Γ and B functions Introduction The main goal of this paper is to introduce the -gamma function Γ which is a one parameter deformation of the classical gamma function such that Γ Γ as Our motivation to introduce Γ comes from the repeated appearance of epressions of the form ( + ( + 2 ( + (n ( in a variety of contets, such as, the combinatorics of creation and annihilation operators [4], [5] and the perturbative computation of Feynman integrals, see [3] The function of variable given by formula ( will be denoted by ( n,, and will be called the Pochhammer -symbol Setting = one obtains the usual Pochhammer symbol ( n, also nown as the raising factorial [9], [] It is in principle possible to study the Pochhammer -symbol using the gamma function, just as it is done for the case =, however one of the main purposes of this paper is to show that it is most natural to relate the Pochhammer -symbol to the -gamma function Γ to be introduce in section 2 Γ is given by the formula n! n (n Γ ( = lim, >, C Z n ( n, The function Γ restricted to (, is characterized by the following properties Γ ( + = Γ (, 2 Γ ( = and 3 Γ ( is logaritmically conve Notice that the characterization Instituto Venezolano de Investigaciones Científicas (IVIC radiaz@ivicve Universidad Central de Venezuela (UCV eddyp@eulerciensucvve

2 above is indeed a generalization of the Bohr-Mollerup theorem [2] Just as for the usual Γ the function Γ admits an infinite product epression given by Γ ( = e γ n= For Re( >, the function Γ is given by the integral Γ ( = (( + e n (2 n t e t dt We deduce from the steepest descent theorem a -generalization of the famous Stirling s formula Γ ( + = (2π 2 ( + 2 e + O, for R + It is an interesting problem to understand how the function Γ changes as the parameter varies Theorem on section 2 shows that the function ψ(, = log Γ ( is a solution of the non-linear partial differential equation 2 2 ψ ψ + 22 ψ = ( + In the last section of this article we study hypergeometric functions from the point of view of the Pochhammer -symbol We -generalize some well-nown identities for hypergeometric functions such as: for any a C p, (R + p, s (R + q, b = (b,,b q C q such that b i C s i Z the following identity holds F(a,,b,s( = p+ j= p+ Γ j (a j (R + p+ j= e t j ( j j t a j j n= (t (b n,s t p+ p+ n n! dt, (3 where (b n,s = (b n,s (b q n,sq, dt = dt dt p+, p q, Re(a j > for all j p +, and term-by-term integration is permitted Our final result Theorem 25 provides combinatorial interpretation in terms of planar forest for the coefficients of hypergeometric functions 2 Pochhammer -symbol and -gamma function In this section we present the definition of the Pochhammer -symbol and introduce the -analogue of the gamma function We provided representations for the Γ function in term of limits, integrals, recursive formulae, and infinite products, as well as a generalization of the Stirling s formula Definition Let C, R and n N +, the Pochhammer -symbol is given by ( n, = ( + ( + 2 ( + (n 2

3 Given s,n N with s n, the s-th elementary symmetric function i < <i s n i is on variables,, n is denoted by e n s(,, n Part ( of the net proposition provides a formula for the Pochhammer -symbol in terms of the elementary symmetric functions Proposition 2 The following identities hold n ( n, = es n (,2,,n s n s 2 s= n ( n, = s( s, ( + (s + n s, s= Proof Part ( follows by induction on n, using the well-nown identity for elementary symmetric functions es n (,, n + nes n (,, n = e n s (,, n Part (2 follows using the logarithmic derivative Definition 3 For >, the -gamma function Γ is given by n! n (n Γ ( = lim, C Z n ( n, Proposition 4 Given C Z,,s > and n N +, the following identity holds ( s n ( n,s = s 2 Γ s ( = n, ( s s Γ ( s Proposition 5 For C, Re( >, we have Γ ( = Proof By Definition 3 Γ ( = t e t dt (n n t e t dt = lim ( t t dt n n Let A n,i (, i =,,n, be given by A n,i ( = (n i ( t t dt n The following recursive formula is proven using integration by parts A n,i ( = i n A n,i ( + 3

4 Also, Therefore, and A n, ( = (n t dt = (n A n,n ( = n!n (n ( ( n, +, n Γ ( = lim A n! n (n n,n( = lim n n ( n, Notice that the case = 2 is of particular interest since Γ 2 ( = integral Proposition 6 The -gamma function Γ ( satisfies the following properties Γ ( + = Γ ( 2 ( n, = Γ ( + n Γ ( 3 Γ ( = 4 Γ ( is logarithmically conve, for R 5 Γ ( = a 6 Γ ( = e γ t e t a dt, for a R n= π 7 Γ (Γ ( = sin ( π (( + e n where γ = lim n ( + + n n log(n t e t2 2 dt is the Gaussian Proof Properties 2, 3 and 5 follow directly ( from definition Property 4 is Corollary 2 below, 6 and 7 follows from Γ ( = Γ Our net result is a generalization of the Bohr-Mollerup theorem Theorem 7 Let f( be a positive valued function defined on (, Assume that f( =, f( + = f( and f is logarithmically conve, then f( = Γ (, for all (, 4

5 Proof Identity f( = Γ ( holds if and only if lim n lim log ( n, n n! n (n ( n, f( = Equivalently, n! n (n + log(f( = Since f is logarithmically conve the following inequality holds f(n + log f(n + + f(n log f(n + log ( f(n + 2 f(n + As f( + = f(, we have ( + n( + (n f( log(n log n! n log((n + log(n ( + n( + (n f( log n! n log((n + ( + n( + (n f( (n + log log (n n! n n ( + n( + (n f( (n + lim log lim n (n n! log n n n Since we get Therefore, f( = Γ ( lim n log lim log n ( (n + n A proof of Theorem 8 below may be found in [7] = log( =, ( + n( + (n + log(f( (n n! n Theorem 8 Assume that f : (a,b R, with a,b [, attains a global minimum at a unique point c (a,b, such that f (c > Then one has b a g(e f( d = 2e f(c g(c 2π f (c + O( As promised in the introduction, we now provide an analogue of the Stirling s formula for Γ Theorem 9 For Re( >, the following identity holds Γ ( + = (2π 2 ( + 2 e + O (4 5

6 Proof Recall that Γ ( + = we get Γ ( + = + t e t dt Consider the following change of variables t = v, v e (v dv = e ( v log v dv Let f(s = s log(s Clearly f (s = if and only if s = Also f ( = Using Theorem 8, we have thus v e (v dv = (2π 2 e ( + O 2 Γ ( + = (2π 2 ( 2 + e + O, Proposition and Theorem bellow provide information on the dependence of Γ on the parameter Proposition For Re( >, the following identity holds Proof Follows from formula Γ ( + = 2Γ ( + + Γ ( + = t e t dt t + log(te t dt Theorem For >, the function ψ(, = log Γ ( is a solution of the non-linear partial differential equation 2 2 ψ ψ + 22 ψ = ( + Proof Starting from (( = e γ + e n Γ ( n n= 6

7 The following equations can be proven easily ψ(, = log( + log( γ ψ(, = + log( γ 2 ψ(, = n= ( + n 2 n= ψ(, = 2 (( log + γ + ( 2 ψ(, = + n= 2 ( + n 2 n= ( ( log + n n ( + n n n= ( + n n The third equation above shows Corollary 2 The -gamma function Γ is logarithmically conve on (, [6] We remar that the q-analogues of the -gamma and -beta functions has been introduced in 3 -beta and -zeta functions In this section, we introduce the -beta function B and the -zeta function ζ We provide eplicit formulae that relate the -beta B and -gamma Γ, in similar fashion to the classical case Definition 3 The -beta function B (,y is given by the formula B (,y = Γ (Γ (y, Re( >, Re(y > Γ ( + y Proposition 4 The -beta function satisfies the following identities B (,y = 2 B (,y = 3 B (,y = B (, y t ( + t +y dt t ( t y dt 4 B (,y = ( + y y n= n(n + + y (n + (n + y 7

8 Definition 5 The -zeta function is given by ζ (,s = Theorem 6 The -zeta function satisfies the following identities ζ (,2 = 2(log Γ ( 2 ( 2 s ζ = 2 s= (log Γ ( 3 m ζ (,s = (s m n= Proof Follows from equations n m ( + n m+s s ζ (,s = s= ( s ζ (,s = s= 2 ( sζ (,s s= n= log( + n n= ( + n ( + n 2 n= = n= ( + n s, for, > and s > 4 Hypergeometric Functions In this section we strongly follow the ideas and notations of [] We study hypergeometric functions, see [] and [8] for an introduction, from the point of view of the Pochhammer -symbol Definition 7 Given a C p, (R + p, s (R + q, b = (b,,b q C q such that b i C s i Z The hypergeometric function F(a,,b,s is given by the formal power series F(a,,b,s( = n= (a n, (a 2 n,2 (a p n,p n (b n,s (b 2 n,s2 (b q n,sq n! (5 Given = (,, n R n, we set = n Using the radio test one can show that the series (5 converges for all if p q If p > q + the series diverges, and if p = q +, it converges for all such that < s s q p Also it is easy to chec that the hypergeometric function y( = F(a,, b, s( solves the equation where D = D(s D + b s (s q D + b q s q (y = ( D + a ( p D + a p (y, 8

9 Notice that hypergeometric function F(a,,b, is given by F(a,,b,( = n= (a n (a p n n (b n (b q n n!, and thus agrees with the classical epression for hypergeometric functions We now show how to transfer from the classical notation for hypergeometric functions to our notation using the Pochhammer -symbol Proposition 8 Given a C p, (R + p, s (R + q, b = (b,,b q C q such that b i C s i Z, the following identity holds ( a F(a,,b,s( = F,, b s,, s where a ( = a,, a p, b ( p s = b,, b q and = (,, s s q Proof F(a,,b,s( = n= (a n, n (b n,s n! = n= ( a ( n p ( b s n s s q n ( a n! = F,, b s, ( s Eample 9 For any a C, > and <, the following identity holds n= (a n, n = ( a (6 n! We net provide an integral representation for the hypergeometric function F(a,, b, s Let us first prove a proposition that we will be needed to obtain the integral representation Given = (,, n C n we denote i = (,, i Proposition 2 Let a,,b,s be as in Definition 7 The following identity holds F(a,,b,s( = Γ p+ (a p+ when p q, Re(a p+ >, and term-by-term integration is permitted Proof e t p+ p+ t ap+ F(a p, p,b,s(t p+ dt = F(a p, p,b,s( e t p+ p+ t ap+ F(a p, p,b,s(t p+ dt (7 e t p+ p+ t a p++n p+ dt = Γ p+ (a p+ F(a,,b,s( 9

10 Theorem 2 For any a,,b,s be as in Definition 7 The following formula holds F(a,,b,s( = p+ j= p+ Γ j (a j (R + p+ j= e t j ( j j t a j j n= (t (b n,s t p+ p+ n n! dt, (8 where (b n,s = (b n,s (b q n,sq, dt = dt dt p+, p q, Re(a j > for all j p +, and term-by-term integration is permitted Proof Use equation (7 and induction on p Eample 22 For = (2,2,,2, the hypergeometric function F(a,2,b,s( is given by F(a,2,b,s = p+ j= p+ Γ 2 (a j (R + p+ j= ( e t 2 j 2 t a j j n= (t 2 t2 p+ n dt, (b n,s n! where dt = dt dt n, (b n,s = (b n,s (b q n,sq, Re(a j > for all j p+ and term-by-term integration is permitted We now proceed to study the combinatorial interpretation of the coefficient of hypergeometric functions Definition 23 A planar forest F consist of the following data: A finite totally order set V r (F = {r < < r m } whose elements are called roots 2 A finite totally order set V i (F = {v < < v n } whose elements are called internal vertices 3 A finite set V t (F whose elements are called tail vertices 4 A map N : V (T V (T 5 Total order on N (v for each v V (F := V r (F V i (F V t (F These data satisfies the following properties: N(r j = r j, for all j =,,m and N (v = r j for some j =,,m and any >> N(V (F V t (F = For any r j V r (F, there is an unique v V (F, v r j such that N(v = r j Definition 24 a For any a, N +, G a n, denotes the set of isomorphisms classes of planar forest F such that V r (F = {r < < r a } 2 V i (F = {v < < v n }

11 3 N (v i = + for all v i V i (F 4 If N(v i = v j, then i < j b For any a, (N + p, we set G a n, = Ga n, G ap n, p Figure provides an eample of an element of G 3 9, Figure : Eample of a forest in G 3 9,2 Theorem 25 Given a, (N + p, b,s (N + q and n N +, we have n = nf(a,,b,s( = Gn a, G n b,s Proof It enough to show that (a n, = G a n,, for any a,,n N+ We use induction on n Since (a, = a and (a n+, = (a n, (a + n, we have to chec that G a, = a, which is obvious from Figure 2, and G a n+, = Ga n, (a + n It should be clear the any forest in Ga n+, is obtained from a forest F in G a n,, by attaching a new verte v n+ to a tail of F, see Figure 3 One can prove easily that V t (F = a + n, for all F G a n, Therefore Ga n+, = Ga n, (a + n r r j ra 5 Figure 2: Eample of a forest in G a,4

12 n+ Figure 3: Attaching verte v n+ to a forest in G a n, References [] Andrews, Asey, and Roy, Special functions, Cambridge University Press, 999 [2] John B Conway, Functions of one comple variable, Springer-Velarg, Second edition, New Yor, 978 [3] P Deligne, P Etingof, D Freed, L Jeffrey, D Kazhdan, J Morgan, D Morrison, and E Witten, Quantum fields and strings: A course for mathematicians, vol, American mathematical society, 999 [4] Rafael Díaz and Eddy Pariguan, Quantum symmetric functions, mathqa/32494, To appear in Communications in Algebra [5], Symmetric quantum Weyl algebras, Annales Mathematiques Blaise Pascal (24, no, [6] Rafael Díaz and Carolina Teruel, q,-generalized gamma and beta functions, Journal on Nonlinear Mathematical Physics 2 (25, no, 8 34 [7] Pavel Etingof, Mathematical ideas and notions of quantum field theory, Preprint [8] George Gasper and Mizan Rahman, Basic hypergeometric series, Cambridge University Press, New Yor, 99 [9] S A Joni, G C Rota, and B Sagan, From sets to functions: Three elementery eamples, Discrete Mathematics (98, no 37, [] KH Wehrhahn, Combinatorics An introduction, vol 2, Carslaw Publications, Australia, 99 2