1 Introduction and preliminaries

The generalized hypergeometric series F q p is defined by [1, 2]

F q p [ α 1 , , α p ; z β 1 , , β q ; ] = n = 0 ( α 1 ) n ( α p ) n ( β 1 ) n ( β q ) n z n n ! ,
(1)

where ( a ) n is the Pochhammer symbol (or the shifted or raised factorial, since ( 1 ) n =n!) defined (for aC) by

( a ) n = { 1 , n = 0 , a ( a + 1 ) ( a + n 1 ) , n N = { 1 , 2 , } = Γ ( a + n ) Γ ( a ) , a C Z 0
(2)

and Z 0 denotes the set of non-positive integers, ℂ the set of complex numbers, and Γ(a) is the familiar gamma function. Here, p and q are positive integers or zero (interpreting an empty product as unity), and we assume for simplicity that the variable z, the numerator parameters α 1 ,, α p and the denominator parameters β 1 ,, β q take on complex values, provided that no zeros appear in the denominator of (1), that is,

β j C Z 0 ;j=1,,q.
(3)

For the detailed conditions of the convergence of series (1), we refer to [2]. It is not out of place to mention here that if one of the numerator parameters, say a j , is a negative integer, then series (1) reduces to a polynomial in z of degree a j .

It is interesting to mention here that whenever a generalized hypergeometric function reduces to a gamma function, the results are very important from the application point of view. Thus the classical summation theorems such as those of Gauss, Gauss second, Kummer and Bailey for the series F 1 2 , Watson, Dixon, Whipple and Saalschütz for the series F 2 3 and others play an important role in the theory of hypergeometric and generalized hypergeometric series.

In a very interesting, popular and useful research paper, Bailey [3], by employing the above mentioned classical summation theorems, obtained a large number of results involving products of generalized hypergeometric series as well as quadratic and cubic transformations. Several other results were also given by Gauss and Kummer.

Evidently, if the product of two generalized hypergeometric series can be expressed as another generalized hypergeometric series with argument x, the coefficients of x n in the product must be expressible in terms of gamma functions.

In our present investigation, we are interested in the following quadratic transformation due to Kummer [4]:

( 1 x ) 2 a 2 F 1 [ 2 a , b ; 2 x 1 x 2 b ; ] = 2 F 1 [ a , a + 1 2 ; x 2 b + 1 2 ; ] .
(4)

This result was independently rediscovered by Ramanujan [[5], Entry 2, p.49].

Using (4) and employing the so-called beta integral method, recently Krattenthaler and Rao [[6], Eq. (3.4), p.164] obtained the following interesting identity:

F 3 4 [ a , a + 1 2 , 1 2 d , 1 2 d + 1 2 ; 1 b + 1 2 , 1 2 e , 1 2 e + 1 2 ; ] = Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b , 1 + 2 a + d e ; ]
(5)

provided 2a or d is a nonpositive integer.

Very recently, Kim et al. [7] have obtained a generalization of Kummer’s quadratic transformation formula (4) in the form

( 1 x ) 2 a 2 F 1 [ 2 a , b ; 2 x 1 x 2 b + j ; ] = Γ ( b ) Γ ( 1 b ) Γ ( b + 1 2 j + 1 2 | j | ) Γ ( 1 b [ j + 1 2 ] ) n = 0 A j ( n ) x 2 n n ! ( a ) n ( a + 1 2 ) n ( b + [ j + 1 2 ] ) n ( b + 1 2 j ) n ( b + 1 2 j + 1 2 ) n + 2 a ( 2 b + j ) Γ ( b ) Γ ( 1 + b ) Γ ( b [ j 2 ] ) Γ ( b + 1 2 j + 1 2 | j | ) n = 0 B j ( n ) x 2 n + 1 n ! ( a + 1 2 ) n ( a + 1 ) n ( b + 1 + [ j 2 ] ) n ( b + 1 2 j + 1 2 ) n ( b + 1 2 j + 1 ) n
(6)

for j=0,±1,±2,±3,±4,±5.

Here, as usual, [x] denotes the greatest integer less than or equal to x and its modulus is denoted by |x|. The coefficients A j and B j are given in Table 1.

Table 1 The coefficients A j and B j

Here, in this paper, we show how one can easily obtain eleven interesting hypergeometric identities including the Krattenthaler-Rao result (5) in the form of a single unified result by employing the beta integral method developed by Krattenthaler and Rao [6]. The results are derived with the help of generalization (6) of Kummer’s formula (4). Several interesting special cases of our main result including (5) are also explicitly demonstrated.

The results presented in this paper are simple, interesting, easily established and (potentially) useful.

2 Main result

Our eleven main identities are given here in the form of a single unified result asserted in the following theorem.

Theorem 1 For 2a or d to be a non-positive integer, the following generalization of Krattenthaler-Rao formula (5) holds true:

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b + j , 1 + 2 a + d e ; ] = Γ ( b ) Γ ( 1 b ) Γ ( b + 1 2 j + 1 2 | j | ) Γ ( 1 b [ j + 1 2 ] ) n = 0 A j n ! ( a ) n ( a + 1 2 ) n ( b + [ j + 1 2 ] ) n ( b + 1 2 j ) n ( b + 1 2 j + 1 2 ) n ( 1 2 d ) n ( 1 2 d + 1 2 ) n ( 1 2 e ) n ( 1 2 e + 1 2 ) n + 2 a ( 2 b + j ) ( d e ) Γ ( b ) Γ ( 1 + b ) Γ ( b + 1 2 j + 1 2 | j | ) Γ ( b [ j 2 ] ) n = 0 B j n ! ( a + 1 2 ) n ( a + 1 ) n ( b + 1 + [ j 2 ] ) n ( b + 1 2 j + 1 2 ) n ( b + 1 2 j + 1 ) n ( 1 2 d + 1 2 ) n ( 1 2 d + 1 ) n ( 1 2 e + 1 2 ) n ( 1 2 e + 1 ) n
(7)

for j=0,±1,±2,±3,±4,±5. The coefficients A j and B j are the same as given in Table 1.

Proof Let us assume that 2a is a non-positive integer, say 2a=m, where m is a positive integer. Now, multiplying the left-hand side of (6) by x d 1 ( 1 x ) e d 1 , where we suppose temporarily that Re(e)>Re(d)>0, and integrating the resulting equation with respect to x from 0 to 1, expressing the involved F 1 2 as a series and change the order of integration and summation, which is easily seen to be justified due to the uniform convergence of the involved series, and denoting it by S 1 , we have

S 1 = n = 0 ( 2 a ) n ( b ) n ( 2 ) n ( 2 b + j ) n n ! 0 1 x d + n 1 ( 1 x ) e d 2 a n 1 dx.

Evaluating the beta-integral and using the identity

Γ(αn)= ( 1 ) n Γ ( α ) ( 1 α ) n ,

we have, after some algebra,

S 1 = Γ ( d ) Γ ( e d 2 a ) Γ ( e 2 a ) n = 0 ( 2 a ) n ( b ) n ( d ) n ( 2 b + j ) n ( 1 + 2 a + d e ) n 2 n n ! .

Summing up the series, we have

S 1 = Γ ( d ) Γ ( e d 2 a ) Γ ( e 2 a ) 3 F 2 [ 2 a , b , d ; 2 2 b + j , 1 + 2 a + d e ; ] .
(8)

Also, multiplying the right-hand side of (6) by x d 1 ( 1 x ) e d 1 , and proceeding similarly as above and denoting it by S 2 , we get after some simplification

S 2 = Γ ( b ) Γ ( 1 b ) Γ ( b + 1 2 j + 1 2 | j | ) Γ ( 1 b [ j + 1 2 ] ) n = 0 A j n ! ( a ) n ( a + 1 2 ) n ( b + [ j + 1 2 ] ) n ( b + 1 2 j ) n ( b + 1 2 j + 1 2 ) n 0 1 x d + 2 n 1 ( 1 x ) e d 1 d x + 2 a ( 2 b + j ) Γ ( b ) Γ ( 1 + b ) Γ ( b + 1 2 j + 1 2 | j | ) Γ ( b [ j 2 ] ) n = 0 B j n ! ( a + 1 2 ) n ( a + 1 ) n ( b + 1 + [ j 2 ] ) n ( b + 1 2 j + 1 2 ) n ( b + 1 2 j + 1 ) n 0 1 x d + 2 n ( 1 x ) e d 1 d x .

Evaluating the beta integrals and using Legendre’s duplication formula

Γ(2z)= 2 2 z 1 Γ ( z ) Γ ( z + 1 2 ) π ,

we have, after some simplification,

S 2 = Γ ( d ) Γ ( e d ) Γ ( e ) { Γ ( b ) Γ ( 1 b ) Γ ( b + 1 2 j + 1 2 | j | ) Γ ( 1 b [ j + 1 2 ] ) n = 0 A j n ! ( a ) n ( a + 1 2 ) n ( b + [ j + 1 2 ] ) n ( b + 1 2 j ) n ( b + 1 2 j + 1 2 ) n ( 1 2 d ) n ( 1 2 d + 1 2 ) n ( 1 2 e ) n ( 1 2 e + 1 2 ) n + 2 a ( 2 b + j ) ( d e ) Γ ( b ) Γ ( 1 + b ) Γ ( b + 1 2 j + 1 2 | j | ) Γ ( b [ j 2 ] ) n = 0 B j n ! ( a + 1 2 ) n ( a + 1 ) n ( b + 1 + [ j 2 ] ) n ( b + 1 2 j + 1 2 ) n ( b + 1 2 j + 1 ) n ( 1 2 d + 1 2 ) n ( 1 2 d + 1 ) n ( 1 2 e + 1 2 ) n ( 1 2 e + 1 ) n } .
(9)

Finally, equating (8) and (9), we get the desired result (7). This completes the proof of (7). The above restriction on the parameters d and e may now be removed by appeal to analytic continuation. □

3 Special cases

Here we shall consider some of the very interesting special cases of our main result (7). Each of the following formulas holds true provided 2a or d must be a non-positive integer.

Corollary 2

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b , 1 + 2 a + d e ; ] = 4 F 3 [ a , a + 1 2 , 1 2 d , 1 2 d + 1 2 ; 1 b + 1 2 , 1 2 e , 1 2 e + 1 2 ; ]
(10)

Proof Setting j=0 in (7) and simplifying the resulting identity, we are led to formula (10). □

Corollary 3

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b + 1 , 1 + 2 a + d e ; ] = 4 F 3 [ a , a + 1 2 , 1 2 d , 1 2 d + 1 2 ; 1 b + 1 2 , 1 2 e , 1 2 e + 1 2 ; ] + 2 a d e ( 2 b + 1 ) 4 F 3 [ a + 1 2 , a + 1 , 1 2 d + 1 2 , 1 2 d + 1 ; 1 b + 3 2 , 1 2 e + 1 2 , 1 2 e + 1 ; ]
(11)

Proof Setting j=1 in (7) and simplifying the resulting identity, we are led to formula (11). □

Corollary 4

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b 1 , 1 + 2 a + d e ; ] = 4 F 3 [ a , a + 1 2 , 1 2 d , 1 2 d + 1 2 ; 1 b 1 2 , 1 2 e , 1 2 e + 1 2 ; ] 2 a d e ( 2 b 1 ) 4 F 3 [ a + 1 2 , a + 1 , 1 2 d + 1 2 , 1 2 d + 1 ; 1 b + 1 2 , 1 2 e + 1 2 , 1 2 e + 1 ; ] .
(12)

Proof Setting j=1 in (7) and simplifying the resulting identity, we are led to formula (12). □

Corollary 5

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b + 2 , 1 + 2 a + d e ; ] = 5 F 4 [ a , a + 1 2 , 1 2 b + 3 2 , 1 2 d , 1 2 d + 1 2 ; 1 1 2 b + 1 2 , b + 3 2 , 1 2 e , 1 2 e + 1 2 ; ] + 2 a d e ( b + 1 ) 4 F 3 [ a + 1 2 , a + 1 , 1 2 d + 1 2 , 1 2 d + 1 ; 1 b + 3 2 , 1 2 e + 1 2 , 1 2 e + 1 ; ] .
(13)

Proof Setting j=2 in (7) and simplifying the resulting identity, we are led to formula (13). □

Corollary 6

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b 2 , 1 + 2 a + d e ; ] = 5 F 4 [ a , a + 1 2 , 1 2 b + 1 2 , 1 2 d , 1 2 d + 1 2 ; 1 1 2 b 1 2 , b 1 2 , 1 2 e , 1 2 e + 1 2 ; ] 2 a d e ( b 1 ) 4 F 3 [ a + 1 2 , a + 1 , 1 2 d + 1 2 , 1 2 d + 1 ; 1 b 1 2 , 1 2 e + 1 2 , 1 2 e + 1 ; ] .
(14)

Proof Setting j=2 in (7) and simplifying the resulting identity, we are led to formula (14). □

Corollary 7

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b + 3 , 1 + 2 a + d e ; ] = 5 F 4 [ a , a + 1 2 , 1 4 b + 3 2 , 1 2 d , 1 2 d + 1 2 ; 1 1 4 b + 1 2 , b + 3 2 , 1 2 e , 1 2 e + 1 2 ; ] + 6 a d e ( 2 b + 3 ) 5 F 4 [ a + 1 2 , a + 1 , 3 4 b + 5 2 , 1 2 d + 1 2 , 1 2 d + 1 ; 1 3 4 b + 3 2 , b + 5 2 , 1 2 e + 1 2 , 1 2 e + 1 ; ] .
(15)

Proof Setting j=3 in (7) and simplifying the resulting identity, we are led to formula (15). □

Corollary 8

Γ ( e ) Γ ( e 2 a d ) Γ ( e 2 a ) Γ ( e d ) 3 F 2 [ 2 a , b , d ; 2 2 b 3 , 1 + 2 a + d e ; ] = 5 F 4 [ a , a + 1 2 , 1 4 b + 3 4 , 1 2 d , 1 2 d + 1 2 ; 1 1 4 b 1 4 , b 3 2 , 1 2 e , 1 2 e + 1 2 ; ] 6 a d e ( 2 b 3 ) 5 F 4 [ a + 1 , a + 1 2 , 3 4 b + 1 4 , 1 2 d + 1 2 , 1 2 d + 1 ; 1 3 4 b 3 4 , b 1 2 , 1 2 e + 1 2 , 1 2 e + 1 ; ] .
(16)

Proof Setting j=3 in (7) and simplifying the resulting identity, we are led to formula (16). □

Result (10) is the well-known result of Krattenthaler and Rao [6] and results (11) to (16) are closely related to it.

Remark 9 We conclude this section by mentioning that the series F 4 5 appearing on the right-hand side of results (13) to (16) can also be written as a sum of two F 3 4 , and then we can obtain alternate forms of the results.