Certain transformations for multiple hypergeometric functions

0 downloads 0 Views 274KB Size Report
Dec 12, 2013 - The generalized hypergeometric function pFq with p numerator and q denominator pa- .... based on the Mathematica Package HYP, to illus-.
Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

RESEARCH

Open Access

Certain transformations for multiple hypergeometric functions Chuanan Wei1 , Xiaoxia Wang2* and Yaqiong Li2 * Correspondence: [email protected] 2 Department of Mathematics, Shanghai University, Shanghai, 200444, P.R. China Full list of author information is available at the end of the article

Abstract The aim of this research is to provide many new hypergeometric transformations of Kampé de Fériet’s double hypergeometric functions and Srivastava’s triple hypergeometric functions, which are obtained with the help of the relations of Appell, Humbert, Horn and Srivastava’s multiple hypergeometric functions. The results are derived by the beta integral method which has been recently introduced and studied systematically by Krattenthaler and Rao. MSC: 33C20; 33C05; 33B20 Keywords: Appell functions; Srivastava functions; multiple hypergeometric series; beta integral

1 Introduction The generalized hypergeometric function p Fq with p numerator and q denominator parameters may be defined by []  p Fq

α , . . . , αp ; β  , . . . , βq ;

 z = p Fq [α , . . . , αp ; β , . . . , βq ; z] =

 (α )n · · · (αp )n zn · , (β )n · · · (βq )n n! n≥

(.)

where (α)n denotes the Pochhammer symbol (or the shifted factorial, since ()n = n!) defined, for any complex number α, by ⎧ (α + n) ⎨α(α + ) · · · (α + n – ), = (α)n = ⎩, (α)

n ∈ N = , , , . . . ,

(.)

n = ,

where  is the well-known gamma function. For convergence condition and properties of p Fq , we refer to [, ]. The p Fq function extends the Gauss hypergeometric function   F

A, B; C;

 z =

 (A)n (B)n zn n≥

(C)n

n!

by increasing the number of parameters in the numerator as well as in the denominator. On the other hand, the notation defined and introduced by Kampé de Fériet for his double hypergeometric function of superior order was subsequently abbreviated by Burchnall ©2013 Wei et al.; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 2 of 13

and Chaundy []. We, however, recall here the definition of a more general (than the one defined by Kampé de Fériet) double hypergeometric function in a slightly modified notation given by Srivastava and Panda [, p., Eq. ()]. For this, let (Hh ) denote the sequence of parameters (H , H , . . . , Hh ), and let nonnegative integers define the Pochhammer symbols ((Hh ))n = (H )n (H )n · · · (Hh )n , where, when n = , the product is understood to reduce to unity. Therefore, the convenient generalization of the Kampé de Fériet function is defined as follows:  h:a;b Fg:c;d

(Hh ) : (Aa ); (Bb ); (Gg ) : (Cc ); (Dd );

 x, y =

 ((Hh ))m+n ((Aa ))m ((Bb ))n xm yn . ((Gg ))m+n ((Cc ))m ((Dd ))n m! n! m,n≥

For more details about the convergence of this function, we refer to []. Various authors (see, e.g., [–]) have discussed the reducibility of the Kampé de Fériet function. Finally, we introduce Srivastava’s [, p.] triple hypergeometric series F () [x, y, z] defined by  F [x, y, z] ≡ F ()

()

(a) :: (b); (b ); (b ) : (c); (c ); (c ); (e) :: (g); (g  ); (g  ) : (h); (h ); (h );

∞ 

=

(m, n, p)

m,n,p=

 x, y, z

xm yn zp , m! n! p!

where, for convenience, A

B  B  j= (bj )m+n j= (bj )n+p j= (bj )m+p G G   G  j= (ej )m+n+p j= (gj )m+n j= (gj )n+p j= (gj )m+p

j= (aj )m+n+p

B

(m, n, p) = E

C   C   j= (cj )m j= (cj )n j= (cj )p H H   H   , j= (hj )m j= (hj )n j= (hj )p C

·

and (a) abbreviates the array of A parameters a , . . . , aA , with similar interpretations for (b), (b ), (b ), and so on. The reduction formulas of the general hypergeometric functions in one, two and more variables have been investigated, and some of them can be seen in [, ]. In addition, the beta function B(α, β) is defined by the first integral and known to be evaluated as the second one as follows:

B(α, β) =

⎧ ⎨  t α– ( – t)β– dt 

(Re(α) > ; Re(β) > );

⎩ (α)(β) (α+β)

(α, β ∈ C\Z– ).

(.)

Recently, Krattenthaler and Rao [] (see also []) made a systematic use of the so-called beta integral method, a method of deriving new hypergeometric identities from old ones by mainly using the beta integral in (.) based on the Mathematica Package HYP, to illustrate several interesting identities for the hypergeometric functions and Kampé de Fériet functions. There are many relations of Appell, Humbert, Horn and Srivastava’s multiple hypergeometric functions [–] from which we can establish many new transformations of

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 3 of 13

Kampé de Fériet’s double hypergeometric function and Srivastava’s triple hypergeometric functions by employing the so-called beta integral method. Moreover, in our work, we use the beta integral to establish transformations two and three times, and this is a generalization of Krattenthaler and Rao’s method.

2 The new transformations from Appell functions The following four functions are Appell functions [, ] which are famous in the field of the hypergeometric functions [, , ]: F [a; b , b ; c; x, y] :=

 (a)m+n (b )m (b )n xm yn ; (c)m+n m! n! m,n≥

F [a; b , b ; c , c ; x, y] :=

 (a)m+n (b )m (b )n xm yn ; (c )m (c )n m! n! m,n≥

F [a , a ; b , b ; c; x, y] :=

 (a )m (a )n (b )m (b )n xm yn ; (c)m+n m! n! m,n≥

F [a; b; c , c ; x, y] :=

 (a)m+n (b)m+n xm yn . (c )m (c )n m! n! m,n≥

In this part, we present the transformations which are obtained from Appell’s four hypergeometric functions and we just take two of them as examples and the others can be derived in the same manner. We give two theorems as examples in this part. Theorem  Assuming b or b is a nonpositive integer, and d and e are not nonpositive integers, the following result holds true: 

 a : b , e + b ; b , d + b – e; ,  c, d + b + b : –; –;   e, d – e, d + b + b  (c – a)m+n (e)m–n (b )m (b )n . = d, e + b , d + b – e m,n≥ (c)m+n ( + e – d)m–n m!n!

:; F:;

It is interesting that the series on the right-hand side of the assertion of Theorem  is similar to Horn’s G and H [, pp.-]. Proof We start with the following well-known transformation of Appell function F [, p., Eq. (..)]:

y x . , F [a; b , b ; c; x, y] = ( – x)–b ( – y)–b F c – a; b , b ; c; x– y–

(.)

Setting y =  – x in (.), we get the following identity of x: x –x . , F c – a; b , b ; c; x –  –x

F [a; b , b ; c; x,  – x] = ( – x)

–b –b

x

(.)

Now, multiplying both sides of equation (.) by xb +e– ( – x)b +d–e– , integrating the resulting equation with respect to x from  to , expressing the involved F as series, in-

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 4 of 13

terchanging the order of integration and summation, which is easily seen to be justified due to the uniform convergence of the series in the interval (, ) involved in the process, evaluating the integral on both sides using the beta integral (.), then after some simplification, summing up the series on both sides, we easily arrive at the assertion of 

Theorem .

Theorem  Assuming b or b is a nonpositive integer, and d , d , e and e are not nonpositive integers, the following result holds true: 

 a : b , e ; b , e ; ,  c : b + d ; b + d ;   d – e , d – e , b + d , b + d = d , d , b + d – e , b + d – e   c – a : b , e ; b , e ; :; · F:; ,  . c :  + e – d ;  + e – d ;

:; F:;

(.)

Proof We prove Theorem  by applying the beta integral method twice. Now, multiplying both sides of equation (.) by xe – ( – x)b +d –e – ye – ( – x)b +d –e – , integrating the resulting equation with respect to x and y both from  to , expressing the involved F as series, interchanging the order of integration and summation, which is easily seen to be justified due to the uniform convergence of the series in the interval (, ) involved in the process, evaluating the integral on both sides using the beta integral (.) twice, then after some simplification, summing up the series on both sides, we easily arrive at the assertion 

of Theorem .

In the following part, all the transformations are obtained by the beta integral method and the derivations are the same as in the proof of Theorems  and . We will just present the results without their proofs. If we start with the formula [, Eq. ()] with y = x,



F a; b; c,  + a + b – c; x( – x), x( – x) =  F

a, b; c;



 x

 F

a, b;  + a + b – c;

 x ,

we have the following transformation:  :; F:;

a, b, e, d – e : –; –; d d+ , : c;  + a + b – c;  

   ,  

 :; = F:;

e : a, b; a, b; d : c;  + a + b – c;

 , 

(.)

with e being a nonpositive integer. We start with the formula [, Eq. ()] with y =  – x,

F a; b; c,  + a + b – c; x , ( – x)



 =  F

a, b; c;



 x

 F

a, b;  + a + b – c;

 –x ,

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 5 of 13

we have 





; d–e , d–e+ ; a, b : e , e+    d d+ , : c;  + a + b – c;  

:; F:;

:; = F:;

, 

– : a, b, e; a, b, d – e; d : c;  + a + b – c;

 ,  ,

where, a, b, e or d – e is a nonpositive integer. Especially, the right-hand side of (.) is equal to the left-hand side of the result [, Eq. (.)] by Krattenthaler and Rao:  :; F:;

d : a, b; a, b; e :  + a + b – c; c;



 ,  =  F

, +a+b , b, d, e – d; a, a+b   a + b,  + a + b – c, c, e , e+ ; 

  .

(.)

Comparing the identities (.) with (.), we have a new relation between the double hypergeometric function and the generalized hypergeometric function  F :  :; F:;



a, b, e, d – e : –; –; d d+ , : c;  + a + b – c;  

  ,  

 =  F



, +a+b , b, e, d – e; a, a+b   a + b,  + a + b – c, c, d , d+ ; 

 .

If we start with the transformation [, Eq. ()],



F a; b; c,  + a + b – c; x( – y), y( – x) =  F

a, b; c;



 x

 F



a, b;  + a + b – c;

y ,

applying the beta integral method twice, after some simplification, we can get the following transformation:  :; F:;

a, b : e , d – e ; d – e , e ; d , d : c;  + a + b – c;



 , 

:; = F:;



– : a, b, e ; a, b, e ; – : c, d ;  + a + b – c, d ;

,  ,

where a is a nonpositive integer. If we start with the transformation [, Eq. ()] with x → ux, 

c , c – a – b F [a; b , b ; c , c ; ux, ] =  c – a, c – b



  F

a, b ,  + a – c ; c ,  + a + b – c ;

 ux ,

we have  :; F:;

a : b , e; b ; – : c , d; c ;





c , c – a – b u,  =  c – a, c – b



  F

a, b ,  + a – c , e; c ,  + a + b – c , d;

 u .

In fact, this result can also be derived by the following Gauss summation theorem [, §.]   F

a, b; c;





c, c – a – b  = c – a, c – b



and the definition of the double hypergeometric function F directly.

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 6 of 13

If we start with the equation [, Eq. ()] with y = –x,

F a; b; c, a – b + ; x, x

x –x  = ( – x)–a F a; b, a – b + ; c, a – b + ; , ,  ( – x) ( – x) we get the following transformation: 

 a, e,  – d : b; a – b +  ;  –, +e–d ,  + e–d : c; a – b + ;     (a)m+n (b)m+n (e)m+n d, d + a – e  , = d + a, d – e m,n≥ (c)m (a – b + )n (d + a)m+n m!n!

:; F:;

and the double series on the left-hand side of the above identity can be considered as a generalization of Horn’s H []. If we start with the transformation [, Eq. ()] with y → –y,

F a; b; c, a – b + ; x, y

x –y  = ( – y)–a F a; b, a – b + ; c, a – b + ; , ,  ( – y) ( – y) we have, after applying the beta integral twice, 

a, b : e ; e , e+ ; – : c, d ; a – b + , d +a , d +a+ ;     d – e , d + a = d , d + a – e

:; F:;

·



 , 

(a)m+n (b)m (e )m (a – b +  )n (e )n ( – d )m+n

(  )m . +e –d  )m+n ( + e –d )m+n (c)m (d )m (a – b + )n m!n! m,n≥ (  

The double hypergeometric series on the right-hand side of the above identity can be considered as a generalization of Horn’s H [] and is similar to Exton’s X []. Substituting y by  – x in the result [, Eq. ()], we have

F

  a a+ ; ; b + , b + ; x , ( – x) = –a F [a; b , b ; b , b ; x,  – x].    

We then obtain the following transformation by the beta integral method:  :; F:;

a a+ e e+ d–e d–e+ , : ,  ;  ,  ;   d d+ , : b +  ; b +  ;  



 , 

:; = –a F:;

a : b , e; b , d – e; d : b ; b ;

where a is a nonpositive integer. If we start with the equation [, Eq. ()] with x → ux,  F [a; b , b ; c; ux, ux] =  F

a, b + b ; c;

 ux ,

 ,  ,

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 7 of 13

and assume that a is a nonpositive integer, we have  :; F:;





a, e : b ; b ; c, d : –; –;

u, u =  F

a, b + b , e; c, d;

 u .

If we start with the formula [, Eq. ()] (see also [, Eq. (..)]) with y = x, x x , , F [a; b , b ; c , c ; x, x] = ( – x) F a; c – b , b ; c , c ; x– –x

–a

and provided a is a nonpositive integer, we have  :; F:;

a, e : b ; b ; a + d : c ; c ;

  d – e, a + d :; a, e : c – b ; b ; F:; ,  =   + e – d : c ; c ; d, a + d – e 



 , – .

If we start with the formula [, Eq. ()] (see also [, Eq. (..)]) with y → –ux and x → ux, F [a; b , b ; c , c ; ux, –ux] = F [a; c – b , c – b ; c , c ; –ux, ux], and assume that a is a nonpositive integer, we obtain the following identity:  :; F:;

a, e : b ; b ; d : c ; c ;



 u, –u

:; = F:;

a, e : c – b ; c – b ; d : c ; c ;

 –u, u .

If we start with the relation [, Eq. ()] with x → ux,  F [a; b , b ; b , b ; ux, –ux] =  F

a a+ b +b b +b + , ,  ,  ;   b +  , b +  , b + b ;

  

,

u x

we obtain the following transformation by using the beta integral method on x:  :; F:;

a, e : b ; b ; d : b ; b ;

 u, –u =  F



a a+ b +b b +b + e e+ , ,  ,  , ,  ;   b +  , b +  , b + b , d , d+ ; 

 

u

,

where a is a nonpositive integer. Remark In fact, there are many other identities of Appell functions which can be used to establish the new transformations. Here we just illustrate three results.

3 The transformations from Horn’s functions G1 and G2 We first present the definitions of Horn’s double hypergeometric functions [, ] as follows: G (α; β , β ; x, y) =

 (α)m+n (β )n–m (β )m–n xm yn m!n! m,n≥

G (α , α ; β , β ; x, y) =

  |x| + |y| <  ,

 (α )m (α )n (β )n–m (β )m–n xm yn m!n! m,n≥



 |x|, |y| <  .

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

If we start with the transformation between F and G in [, Eq. (.)] (see also []) with y → –x and x → –x, G (α , α ; β , β ; –x, –x)

–x –x , , = ( – x)–α –α F  – β – β ; α , α ;  – β ,  – β ; –x –x we obtain 

 e,  – β – β : α ; α ; ,   + e – d :  – β ;  – β ;   d, α + α + d – e  (e)m+n (β )n–m (β )m–n (α )m (α )n , = d – e, α + α + d m,n≥ (–)m+n (α + α + d)m+n m!n!

:; F:;

where e is a nonpositive integer. In fact, the double hypergeometric function on the righthand side of the above identity can be considered as a generalization of G . If we start with the transformation between F and G in [, Eq. (.)] (see also []) with y = –x,

x –x , , G (α; β , β ; x, –x) = ( – x) F α,  – β – β ;  – β ,  – β ; –x –x –α

and provided that a or e is a nonpositive integer, we have 

 e, α,  – β – β : –; –; –,   + e – d :  – β ;  – β ;   d, α + d – e  (e)m+n (α)m+n (β )n–m (β )m–n (–)n . = (α + d)m+n m!n! d – e, α + d m,n≥

:; F:;

The double hypergeometric function on the right-hand side of the above identity can be considered as a generalization of G .

4 The transformations from Humbert’s functions 2 , 2 and 3 First, we present Humbert’s three functions defined by (see [, ])  (b; c; x, y) =

 (b)m xm yn , (c)m+n m!n! m,n≥

 (a; b, c; x, y) =

 (a)m+n xm yn , (b)m (c)n m!n! m,n≥

 (a, b; c; x, y) =

 (a)m (b)n xm yn . (c)m+n m!n! m,n≥

The above series converge absolutely for any x, y ∈ C. If we start with the transformation [, Eq. ()] with x → ux and y → –ux,    (b; b, c; ux, –ux) =  c – b; c; ux, –u x ,

Page 8 of 13

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 9 of 13

we have  :; F:;

b, e : –; –; d : b; c;

 u, –u =

 (e)m+n (c – b)m um (–u )n . (d)m+n (c)m+n m!n! m,n≥

Also, the right-hand side of the above identity can be considered as a generalization of Horn’s H [] and is similar to Exton’s X []. The special case of b = c in the above relation can be written as  :; F:;

b, e : –; –; d : b; b;



 u, –u =  F



e e+ , ;   d d+ b,  ,  ;



–u

.

This identity is a relation between general and double hypergeometric functions. If we start with the transformation [, Eq. ()] with x → ux and y → u – ux,    (b; b, c; ux, u – ux) = eu ·  c – b; c; ux – u, u x( – x) , we have  :; F:;

b : e; d – e; d : b; c;

 u, u = eu

 (d – e)m+n (c – b)m (e)n (–u)m un . (d)m+n (c)m+n m!n! m,n≥

The special case of the above identity with b = c is a relation between a double hypergeometric function and a general hypergeometric function  :; F:;

b : e; d – e; d : b; b;



 u, u = e ·  F u

e, d – e; ; b, d , d+ 

 u 

.

If we start with the transformation [, §.., Eq. ()] with x → ux,   (a; b, c; ux, ux) =  F

, c+b ; a, c+b–   b, c, c + b – ;

 ux ,

we have  :; F:;

a, e : –; –; d : b; c;



 u, u =  F

, c+b , e; a, c+b–   b, c, c + b – , d;

 u .

This relation converges for every u ∈ C. If we start with the transformation [, Eq. ()] with x → ux,   (a; c, c; ux, –ux) =  F

a a+ , ;   c c+ c,  ,  ;

  

–u x

,

we have  :; F:;

a, e : –; –; d : c; c;

 u, –u =  F



a a+ e e+ , , , ;     c, c , c+ , d , d+ ;   

 –u .

(.)

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 10 of 13

If we start with the equation [, Eq. ()] with x → ux,            a; a + , a + ; ux, –ux =  F a; a + ; –iux  F a; a + ; iux ,     we have  :; F:;

a, e : –; –; d : a +  ; a +  ;



 u, –u

:; = F:;



e : a; a; d : a +  ; a +  ;

–iu, iu .

(.)

Comparing the identities (.) with (.), we can obtain a new transformation   F



; a, a +  , e , e+   a +  , a +  , a +  , d , d+ ; 

–u

 :; = F:;



e : a; a; d : a +  ; a +  ;

–iu, iu .

If we start with the formula [, Eq. ()] with x → ux,  (a, b; c; ux, ux) =  F (a + b; c; ux), we have  :; F:;

e : a; b; c, d : –; –;



 u, u =  F

a + b, e; c, d;

 u .

If we start with the transformation [, Eq. ()] with x → ux,   c c +  u x , ;  (a, a; c; ux, –ux) =  F a; ,    we have  :; F:;

e : a; a; c, d : –; –;



 u, –u =  F

; a, e , e+  c c+ d d+ , , , ;    

 u 

.

5 The relations from triple hypergeometric functions HA and HB The following functions are given by Srivastava [–]: HA (α, β , β ; γ , γ ; x, y, z) =

 (α)m+p (β )m+n (β )n+p xm yn zp (γ )m (γ )n+p m!n!p! m,n,p≥

  |x| = r < , |y| = s < , |z| = t < ( – r)( – s) ; HB (α, β , β ; γ , γ , γ ; x, y, z) =

 (α)m+p (β )m+n (β )n+p xm yn zp (γ )m (γ )n (γ )p m!n!p! m,n,p≥

√   |x| = r, |y| = s, |z| = t; r + s + t +  rst <  . We first present the identity between HA and  F [, p., Eq. (.)]  HA (α, β , β ; γ , β ; x, y, z) = ( – y)–β ( – z)–α  F

α, β ; γ ;

 x (–y)(–z)

.

(.)

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

Page 11 of 13

Multiplying both sides of the above transformation by xe – ( – x)d –e – ye – ( – y)d +β –e – ze – ( – z)d +α–e – and applying the beta integral three times with respect to x, y, z, we get the following transformation using the same technique in Theorems  and . 

 – :: β ; –; α : e ; e ; e ; F , ,  – :: –; –; – : γ , d ; d + β ; d + α;    α, β , e ,  – d ,  – d ; d – e , d – e , d + β , d + α =  F d , d , d + β – e , d + α – e γ , d ,  + e – d ,  + e – d ; ()

  .

Otherwise, if we start with transformation (.) with x = y = z,  –α–β

HA (α, β , β ; γ , β ; x, x, x) = ( – x)

 F

α, β ; γ ;

 x (–x)

,

we have another transformation 

 e :: β ; –; α; –; –; –; F , ,  α + β + d :: –; –; –; γ ; –; –;    α, β , e,  – d; d – e, β + α + d =  F d, β + α + d – e γ , +e–d ,  + e–d ;   ()

 – 

.

If we start with the identity between HB and F [, p., Eq. (.)] with x = y = z,

–α–β

HB (α, β , β ; γ , β , β ; x, x, x) = ( – x)

x x F α, β ; γ , β ; , , ( – x) ( – x)

we have 

 e :: β ; β ; α : –; –; –; , ,  F α + β + d :: –; –; – : γ ; β ; β ;   d – e, β + α + d  (e)m+n (α)m+n (β )m+n ( – d)m (–  )m (  )n . = d, β + α + d – e m,n≥ ( +e–d )m+n ( + e–d ) (γ ) (β ) m!n!   m+n  m  n ()

It is interesting that the pattern of the double series on the right-hand side of the above transformation is similar to Exton’s [] triple hypergeometric series. If we start with the relation between HA and G [, Eq. (.)] with y → –x and z → x,   x x HA (a + a – , b , b ; a , b ; x, –x, x) = ( – x)–a G b , a ;  – a ,  – a ; , , –x –x

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

we have the following transformation: 

 e :: b ; –; a + a –  : –; –; –; F , –,  d + a :: –; –; – : a ; –; –;   d – e, d + a  (e)m+n (b )m (a )n ( – a )n–m ( – a )m–n , = (–)m+n ( + e – d)m+n m!n! d, d + a – e m,n≥ ()

with e being a nonpositive integer. Remark Many other transformations for the multiple hypergeometric functions can be found by applying the beta integral method, and, as examples, we just present these results. Interested readers can obtain some other transformation by using the beta integral method.

Competing interests The authors declare that they have no competing interests. Authors’ contributions All authors contributed equally to this paper. They read and approved the final paper. Author details 1 Department of Information Technology, Hainan Medical College, Haikou, 571199, P.R. China. 2 Department of Mathematics, Shanghai University, Shanghai, 200444, P.R. China. Acknowledgements This work is supported by the National Natural Science Foundation of China (11201291 and 11301120), the Natural Science Foundation of Shanghai (12ZR1443800) and a grant of ‘The First-class Discipline of Universities in Shanghai’. Received: 29 September 2013 Accepted: 12 November 2013 Published: 12 Dec 2013 References 1. Rainville, ED: Special Functions. Macmillan Co., New York (1960). Reprinted by Chelsea, New York (1971) 2. Bailey, WN: Generalized Hypergeometric Series. Cambridge Tracts in Mathematics and Mathematical Physics, vol. 32. Cambridge University Press, Cambridge (1935). Reprinted by Stechert-Hafner, New York (1964) 3. Burchnall, JL, Chaundy, TW: Expansions of Appell’s double hypergeometric functions. II. Q. J. Math. 12(1), 112-128 (1941) 4. Srivastava, HM, Panda, R: An integral representation for the product of two Jacobi polynomials. J. Lond. Math. Soc. 12(2), 419-425 (1976) 5. Buschman, RG, Srivastava, HM: Some identities and reducibility of Kampé de Fériet functions. Math. Proc. Camb. Philos. Soc. 91, 435-440 (1982) 6. Exton, H: On the reducibility of the Kampé de Fériet function. J. Comput. Appl. Math. 83, 119-121 (1997) 7. Karlsson, PW: Some reduction formulae for power series and Kampé de Fériet function. Indag. Math. 87, 31-36 (1984) 8. Krupnikov, ED: A Register of Computer-Oriented Reduction Identities for the Kampé de Fériet Function. Novosibirsk (1996) ¯ 9. Vidunas, R: A generalization of Kummer identity. Rocky Mt. J. Math. 32(2), 919-936 (2002) 10. Srivastava, HM, Karlsson, PW: Multiple Gaussian Hypergeometric Series. Horwood, Chichester (1985) 11. Krattenthaler, C, Srinivasa Rao, K: Automatic generation of hypergeometric identities by the beta integral method. J. Comput. Appl. Math. 160, 159-173 (2003) 12. Choi, J, Rathie, AK, Srivastava, HM: Certain hypergeometric identities deducible by using the beta integral method. Bull. Korean Math. Soc. 50, 1673-1681 (2013) 13. Erdélyi, A et al. (eds.) Higher Transcendental Functions, vol. 1. McGraw-Hill, New York (1953) 14. Manako, VV: A connection formula between double hypergeometric series 2 and 3 . Integral Transforms Spec. Funct. 23(7), 503-508 (2012) 15. Slater, LJ: Generalized Hypergeometric Functions. Cambridge University Press, Cambridge (1966) ¯ 16. Vidunas, R: Specialization of Appell’s functions to univariate hypergeometric functions. J. Math. Anal. Appl. 355, 145-163 (2009) 17. Appell, P: Sur les fonctions hypergéométriques de plusieurs variables. Mémoir. Sci. Math. Gauthier-Villars, Paris (1925) 18. Appell, P, Kampé de Fériet, J: Fonctions hypergéométriques et hypersphériques Polynomes d’Hermite. Gauthier-Villars, Paris (1926) 19. Exton, H: Hypergeometric functions of three variables. J. Indian Acad. Math. 4(2), 113-119 (1982) 20. Hasanov, A, Turaev, M: Decomposition formulas for the double hypergeometric functions G1 and G2 . Appl. Math. Comput. 187, 195-201 (2007)

Page 12 of 13

Wei et al. Advances in Difference Equations 2013, 2013:360 http://www.advancesindifferenceequations.com/content/2013/1/360

21. Erdélyi, A: Hypergeometric functions of two variables. Acta Math. 83, 131-164 (1950) 22. Brychkov, YA: Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas. CRC Press, Boca Raton (2008) 23. Gradshteyn, IS, Ryzhyk, IM: Table of Integrals, Series, and Products. Academic Press, New York (2007) 24. Prudnikov, AP, Brychkov, YA, Marichev, OI: Integrals and Series, More Special Functions, vol. 3. Gordon & Breach, New York (1990) 25. Exton, H: On Srivastava’s symmetrical triple hypergeometric function HB . J. Indian Acad. Math. 25, 17-22 (2003) 26. Srivastava, HM: Hypergeometric functions of three variables. Ganita 15, 97-108 (1964) 27. Srivastava, HM, Monacha, HL: A Treatise on Generating Functions. Horwood, Chichester (1984) 28. Srivastava, HM: Some integrals representing triple hypergeometric series. Rend. Circ. Mat. Palermo 16(1), 99-115 (1967) 10.1186/1687-1847-2013-360 Cite this article as: Wei et al.: Certain transformations for multiple hypergeometric functions. Advances in Difference Equations 2013, 2013:360

Page 13 of 13