Transformation Formulas for the First Kind of Lauricella’s Function of Several Variables ()
Received 16 May 2016; accepted 24 June 2016; published 27 June 2016
1. Introduction
In 1994, Lavoie et al. [2] , obtained the following generalization of the classical Dixon’s theorem for the series:
(1.1)
,
where denotes the greatest integer less than or equal to x and denotes the usual absolute value of x. The coefficients and are given respectively in [2] . When, (1.1) reduces immediately to the classical Dixon’s theorem [3] , (see also [4] )
(1.2)
We recall that the first kind of the Lauricella hypergeometric function of -variables is defined as [5] :
(1.3)
,
where is the Pochhammer’s symbol defined by [5]
(1.4)
When, (1.3) reduces to the Lauricella function of 2r-variables
(1.5)
.
Clearly, we have, where F2 is Appell’s double hypergeometric function [5]
(1.6)
Next, we recall that the generalized Lauricella function of several variables is defined as [5] :
(1.7)
where
(1.8)
the coefficients, ,;,; for all
are real and positive; abbreviates the array of A parameters; abbreviates
the array of parameters for all with similar interpretations for
and . Note that, when the coefficients in Equation (1.7) equal to 1, the genera-
lized Lauricella function (1.7) reduces to the following multivariable extension of the Kampé de Fériet function [5] :
(1.9)
where
. (1.10)
In our present investigation, we shall require the following results [5] :
(1.11)
(1.12)
(1.13)
(1.14)
(1.15)
(1.16)
2. Main Result
In this section, the following transformation formula will be established:
Theorem 2.1. For, the following formula for Lauricella’s function holds true:
(2.1)
where
(2.2)
(2.3)
(2.4)
The coefficients and can be obtained from the tables of Ai,j and Bi,j given in [2] by replacing a and c by and, also the coefficients and can be obtained from the same tables of Ai,j and Bi,j by replacing a and c by and respectively.
Proofs.
In order to prove the Theorem 2.1, let us first prove the following result:
(2.5)
To prove (2.5), denoting the left hand side of (2.5) by I, expanding in a power series as in (1.6) and using the result [5] :
,
we have
.
Now, using the elementary identities [5]
,
we have
.
This completes the proof of (2.5).
Proof of Theorem 2.1. Denoting the left hand side of (2.1) by S, expanding in a power series as in (1.3), adjusting the parameters, using the results (1.11) and (2.5) and by repeating this procedure r-times, we have
where
Now, separating into even and odd powers of by using the elementary identity [5]
,
we have
Finally, if we use the result (1.1), then we obtain the right hand side of the Theorem 2.1. This completes the proof of the Theorem 2.1.
Remark. Taking x = 0 in (2.1), we deduce the following formulas:
Corollary 2.1. For, the following formula for Lauricella’s function holds true:
(2.6)
3. Applications
1) In (2.1) if we take r = 1, then we get a known extension formulas [6] for Lauricella’s function of three variables for
2) In (2.1), if we take, we have
(3.1)
Now, in (3.1) if we use the results (1.12)-(1.16) and simplify, we obtain the following transformation formula:
(3.2)
which for, reduces to
(3.3)
3) Similarly, in (2.6), if we take, we have
(3.4)
which is a generalization of a known result of Bailey [7]
. (3.5)
Further, in (3.4) if we take, then we get
(3.6)
4. Conclusion
We conclude our present investigation by remarking that the main results established in this paper can be applied to obtain a large number of transformation formulas for the first kind of Lauricella’s function of several variables. Further, in the formulas (2.1) and (2.6), if we take, then we can obtain two new families of transformation formulas for Lauricella’s functions of several variables
and
for.