Certain Applications of Generalized Kummer’s Summation Formulas for 2 F 1

: We present generalizations of three classical summation formulas 2 F 1 due to Kummer, which are able to be derived from six known summation formulas of those types. As certain simple particular cases of the summation formulas provided here, we give a number of interesting formulas for double-ﬁnite series involving quotients of Gamma functions. We also consider several other applications of these formulas. Certain symmetries occur often in mathematical formulae and identities, both explicitly and implicitly. As an example, as mentioned in Remark 1, evident symmetries are naturally implicated in the treatment of generalized hypergeometric series. p F q transformation 2 F 1 p F q integral Fériet

In this paper, we aim to establish summation formulas for: where p, q, r ∈ N 0 . We also consider several applications for those summation formulas presented here. For this, the Beta function and Euler's integral representation for 2 F 1 are recalled (see, e.g., respectively, [2] (Section 1.1 and p. 65, Equation (10))): and:

Summation Formulas
We establish generalizations of the summation Formula (4) in the following theorem.
Theorem 1. Let p, q, r ∈ N 0 . Then, the following summation formulas hold.
Here, by the principle of analytic continuation, the condition given in each formula can be greatly extended, as noted in Remark 2.
Proof. Let L 2 be the left member of (24). We first use (19) and then (22) to find: where: We have: Now, we are ready to apply (21) to evaluate I 2 . Now, this final result for I 2 is used in (31) to prove Formula (24).
Similarly, the other formulas can be proven. The details are omitted.
Similar to the proof of Theorem 1, in particular, using (22), we present generalizations of the summation Formula (5) in the following theorem. Theorem 2. Let p, q, r ∈ N 0 . Then, the following summation formulas hold.
Here, by the principle of analytic continuation, the condition given in each formula can be greatly extended, as noted in Remark 2.
We derive generalizations of the summation Formula (6) in the following theorem.
Theorem 3. Let p, q, r ∈ N 0 . Then, the following summation formulas hold.
Here, by the principle of analytic continuation, the condition given in each formula can be greatly extended, as noted in Remark 2. (17) and (22), we find:

Proof. From
With the aid of (48), similar to the proof of Theorem 1, we can establish each identity here. We omit the details.

Remark 2.
The convergence conditions given in each identity in Theorems 1-3 are derived from the process of their proofs. Yet, by the principle of analytic continuation, the convergence region of each formula can be greatly extended. For example, Equation (23) can be true for a+b−r 2 , a+b 2 ∈ C \ Z ≤0 , and Equation (47) can hold for b + r, a+b+q+r 2 ∈ C \ Z ≤0 .

Remark 3.
It is easy to see that all of the summation formulas, except (3), in Section 1 are particular cases of certain identities in Theorems 1-3. In this regard, those identities in Theorems 1-3 seem to be generalizations of those formulas in Equations (7)- (12). Indeed, the formulas in Theorems 1-3 can be derived directly from Equations (7)- (12). Take an example in Theorem 1: where a = a + p and b = b + q. Then, applying (9) or (10), depending on whether −p − q ± r is positive or negative, to the right member of (49) yields the formulas in Theorem 1. Similarly, (7) or (8) gives the formulas in Theorem 2, and (11) or (12) produces the formulas in Theorem 3.

Applications
We consider several applications in the following subsections.

Summation Formulas for the Kampé de Fériet Function
The enormous popularity and broad usefulness of the hypergeometric function 2 F 1 and the generalized hypergeometric functions p F q (p, q ∈ N 0 ) of one variable have inspired and stimulated a large number of researchers to introduce and investigate hypergeometric functions of two or more variables (see, e.g., [1,5,11,16,19,20]). A serious, significant, and systematic study of the hypergeometric functions of two variables was initiated by Appell [21], who offered the so-called Appell functions F 1 , F 2 , F 3 , and F 4 which are generalizations of the Gauss hypergeometric function (see, e.g., [20,[22][23][24] (pp. [22][23]). The confluent forms of the Appell functions were studied by Humbert [25]. A complete list of these functions can be seen in the standard literature (see, e.g., [26]). Later, the four Appell functions and their confluent forms were further generalized by Kampé de Fériet [27], who introduced more general hypergeometric functions of two variables. The notation defined and introduced by Kampé de Fériet for his double-hypergeometric functions of superior order was subsequently abbreviated by Burchnall and Chaundy [28,29]. We recall here the definition of a more general double-hypergeometric function (than the one defined by Kampé de Fériet) in a slightly modified notation given by Srivastava and Panda [30] (p. 423, Equation (26)). The convenient generalization of the Kampé de Fériet function (KdF function) is defined as follows: where (h H ) denotes the sequence of parameters (h 1 , h 2 , . . . , h H ) and ((h H )) n is defined by the following product of Pochhammer symbols: where the product when n = 0 is understood as unity. For more details about the function (50), including its convergence and further generalization, we refer, for example, to [19,20,31]. When some considerably generalized special functions such as (50) are introduced, it has been an intriguing and usual research subject to study certain reducibilities of the functions. In this vein, the KdF function has attracted many mathematicians to investigate its reducibility and transformation formulas. In fact, there are numerous reduction formulas and transformation formulas of the KdF function in the literature (see, e.g., [24,[31][32][33][34][35]). In the above-cited references, most of the reduction formulas were linked to the cases H + A = 3 and G + C = 2. In 2010, by using Euler's transformation formula for 2 F 1 , Cvijovic and Miller [34] established a reduction formula for the case H + A = 2 and G + C = 1 (see also [32,36,37]). Inspired by the work [34], in the recent past, Liu and Wang [38] employed Euler's first and second transformation formulas for 2 F 1 and some classical summation theorems for p F q to afford a number of very amusing reduction formulas and then derived summation formulas for the KdF function. Here, we present one special case of Equation (2.11) of [38]: a + 2b + q + r : p ; a − p, b + r ; a : ; which, upon setting x = −1 and using (38), gives the following summation formula: We can give a relationship between the derivative of p F q and the KdF function. For simplicity, we deal with 2 F 1 to offer two identities in the subsequent lemma.
Proof. We prove only (53). Let D (a) be the left member of (53). Differentiating term-byterm the 2 F 1 with respect to the parameter a, we find: whose validity can be verified. Using the Psi function ψ(z) = d dz log Γ(z) (see, e.g., [2] (Section 1.3)), we find: Inserting (56) into (55) and manipulating the double series, we obtain: which, in view of (50), leads to the right member of (53). Similarly, we can prove (54). The details are omitted.
We chose to apply (54) to only (6) to give: where the involved parameters are suitably restricted so that this identity is meaningful.

Deducible Summation Formulas
Making use of Kummer's summation theorems ((4)-(6)) for, respectively, the left members of the identities in Theorems 1-3, we obtain a family of intriguing summation formulas, which are presented in Corollaries 1-3. Here, in order to simplify the identities, we try to reduce the number of parameters involved and use the following fundamental relation for the Gamma function Γ(z + 1) = z Γ(z + 1) and Legendre's duplication formula for the Gamma function: In the following, we assume that ( 0 0 ) := 1.

Corollary 1.
Let p, q ∈ N 0 . Then, the following summation formulas hold.

Corollary 2.
Let p, q ∈ N 0 . Then, the following summation formulas hold.
Lavoie et al. [17] (Equation (7)) gave a short proof of the following transformation: where n ∈ N 0 and (c p ) stands for the array of parameters a 1 , a 2 , . . . , a p . We assume that the parameters are such that the right-hand side is not singular and that when p + 1 ≤ q, |z| < ∞, and when p = q, |z| < 1.
It is easy to see that the applications of (82) to some results in Theorems 1-3 can yield corresponding formulas for finite sums of 3 F 2 .

Laplace Transforms and Inverse Laplace Transforms
Let the function f (t) be piecewise continuous on the closed interval 0 ≤ t ≤ T for every finite T > 0. Furthermore, let: for some α ∈ R. The classical Laplace transform of f (t) is defined by: Assuming f (t) to be continuous for each t ≥ 0 and to satisfy (83), the function f (t) is retrieved by means of the inverse Laplace transform: where the constant γ is any real number so large that the singularities of F all lie to the left of the vertical line (s) = γ and γ > α. For an extensive treatment of such details regarding Laplace transforms, see [44]; for an application to residue calculus, see also [45] (Section 66). Recall the following Laplace transform (see, e.g., [46] (p. 219, Equation (6))): (λ) > 0, (s) > (z) ; β ∈ C \ Z − 0 . Its inverse Laplace transform is given by: (λ) > 0, (s) > (z) ; β ∈ C \ Z − 0 . Qureshi and Baboo [12] presented some Laplace transforms of the form in (86), whose arguments are specialized to be adjusted for general summation formulas for 2 F 1 (1/2) ((9), (13), (15) and (16)), which are expressed in terms of Gamma functions.

Concluding Remarks and Posing of Problems
A remarkably large number of summation formulas for p F q (p, q ∈ N 0 ) have been presented, and some of them have been applied in diverse ways.
In this paper, we established certain generalized summation formulas for 2 F 1 with the arguments −1 and 1 2 and specified arguments that have been found to generalize Kummer's three classical summation theorems, (4)-(6), as well as all of those extensions of Kummer's summation formulas. We also exhibited several examples in order to show the diverse applicability of the general summation formulas provided in Theorems 1-3. In connection with such demonstrations of applications in Section 3, we pose the following problems: • Using the general summation formulas in Theorems 1-3, establish certain further identities similar to those in each of the subsections in Section 3: summation formulas for Kampé de Fériet function; deducible summation formulas; transformation formulas for Institutional Review Board Statement: Not applicable.
Informed Consent Statement: Not applicable.