Abstract
Very recently, Masjed-Jamei & Koepf [Some summation theorems for generalized hypergeometric functions, Axioms, 2018, 7, 38, 10.3390/axioms 7020038] established some summation theorems for the generalized hypergeometric functions. The aim of this paper is to establish extensions of some of their summation theorems in the most general form. As an application, several Eulerian-type and Laplace-type integrals have also been given. Results earlier obtained by Jun et al. and Koepf et al. follow special cases of our main findings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The well-known and useful Pochhammer symbol (or the shifted or the raised factorial, since \((1)_{n}=n!\)) denoted by \((a)_{n}\) for any complex number a is defined by
In terms of the Gamma function, it is defined by
where \(\Gamma (x)\) is the well-known Gamma function defined by
for \(Re(x)>0\). Thus, we may define the generalized hypergeometric function \(_{p}F_{q}\) with p numerator parameters and q denominator parameters as follows [1, 4, 15, 17,18,19].
By the well-known ratio test [2], it can be easily verified that the series defined by (1.3) is convergent for all \(p\le q\). Also, the series (1.3) converges in \(\mid z \mid <1\) for \(p=q+1\) and converges everywhere for \(p<q+1\) and converges nowhere \((z\ne 0)\) for \(p>q+1\). Further, for \(p=q+1\), the series (1.3) converges absolutely for \(\vert z \vert =1\) provided \(Re\left( \displaystyle \sum \limits _{j=1}^{q} b_{j}-\displaystyle \sum \limits _{j=1}^{p} a_{j}\right) >0\), and is converges conditionally for \(\mid z \mid =1\) and \(z\ne 1\) if \(-1< Re\left( \displaystyle \sum \limits _{j=1}^{q} b_{j}-\displaystyle \sum \limits _{j=1}^{p} a_{j}\right) \le 0\) and diverges for \(\vert z \vert =1\) if \( Re\left( \displaystyle \sum \limits _{j=1}^{q} b_{j}-\displaystyle \sum \limits _{j=1}^{p} a_{j}\right) \le -1\). In this regard, for more details about this function, we refer to the standard text [15].
For \(p=2, q=1\) and \(p=1, q=1\), we get two very important series, known in the literature as the hypergeometric function and the confluent hypergeometric function, respectively. For applications, we refer to [2, 13].
In the theory of hypergeometric series, the following classical summation theorems play a key role.
Gauss summation theorem [6]
provided \(Re(c-a-b)>0\).
Gauss second summation theorem [6]
Kummer summation theorem [6]
Bailey summation theorem [6]
Remark
-
1.
For interesting results by employing the above mentioned classical summation theorems, we refer to a paper by Bailey [3].
-
2.
For generalizations of the above mentioned classical summation theorems (1.5), (1.6) and (1.7), we refer to research papers by Lavoie, et al. [9,10,11] and Rakha and Rathie [16].
In 2010, Kim et al. [8] extended the above mentioned classical summation theorems in the following form.
Extended Gauss summation theorem
provided \(Re(c-a-b)>0\).
For \(d=c\), it reduces to Gauss summation theorem (1.4).
Extended Gauss second summation theorem
For \(d=\frac{1}{2}(a+b+1)\), it reduces to Gauss second summation theorem (1.5).
Extended Kummer summation theorem
For \(d=1+a-b\), it reduces to Kummer summation theorem (1.6).
Extended Bailey summation theorem
For \(d=b\), it reduces to Bailey summation theorem (1.7).
Very recently, Masjed-Jamei and Koepf [12] generalized the classical summation theorems (1.4) to (1.7) in the following form for \(m \in {\mathbb {N}}\).
For \(m=1\), it reduces to Gauss’ summation theorem (1.4).
For \(m=1\), it reduces to Gauss’ second summation theorem (1.5).
For \(m=1\), it reduces to Kummer’s summation theorem (1.6).
For \(m=1\), it reduces to Bailey’s summation theorem (1.7).
Remark 1.1
For interesting applications of the results (1.12) to (1.15) in the evaluations of Laplace-type integrals and Eulerian-type integrals, we refer to recent papers by Jun et al. [5], Koepf et al. [7].
The paper is organised as follows. In Sects. 2, 3, 4 and 5, we shall establish the extensions of the summation theorems (1.12) to (1.15) due to Masjed-Jamei and Koepf [12] together with their derivations and special cases (known and unknown as well). As an applications, in Sect. 6, we evaluate Eulerian-type integrals involving generalized hypergeometric function, while Sect. 7, deals with Laplace-type integrals. Results obtained earlier by Jun et al. [5] and Koepf et al. [7] follow special cases of our main findings. For this, we shall require the following general result recorded in [14]:
where \(\overset{(m)}{_{p}F_{q}}\) is the finite sum of the hypergeometric series defined by
where for instance \(~\overset{(-1)}{_{p}F_{q}}[z]=0, ~\overset{(0)}{_{p}F_{q}}[z]=1, ~\overset{(1)}{_{p}F_{q}}[z]=1+\frac{a_{1}\dots a_{p}}{b_{1}\dots b_{q}}z.\)
2 Extension of Gauss’ Summation Theorem
In this section, we shall establish the extension of Gauss summation theorem (1.4) asserted in the following theorem.
Theorem 2.1
For \(m \in {\mathbb {N}}\) and \(Re(c-a-b+m-1)>0\), the following result holds true.
Proof
In (1.16), set \(p=4\), \(q=3\), \(a_{1}=a\), \(a_{2}=b\), \(a_{3}=d+1\), \(b_{1}=c+1\), \(b_{2}=d\), \(z=1\), we have
We now observe that the first \(_{3}F_{2}\) appearing on the right-hand side can be evaluated with the help of the extended Gauss summation theorem (1.8), and we easily arrive at the right-hand side of (2.1). This completes the proof of (2.1). \(\square \)
Remark
For \(d=c\), result (2.1) reduces to the result (1.12).
Corollary 2.2
-
(a)
For \(m=1\), the result (2.1) exactly gives the extended Gauss summation theorem (1.8).
-
(b)
In (2.1), if we take \(m=2,~3\), we get the following results
$$\begin{aligned} _{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} b, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; 1\\ c+1, &{} d, &{} 2 &{} \end{array} \right]&=\frac{c(d-1)}{d(a-1)(b-1)} \left[ \frac{\Gamma (c) \Gamma (c-a-b+1)}{\Gamma (c-a+1)\Gamma (c-b+1)}\right. \nonumber \\ {}&\left. \left\{ (c-a-b+1)+\frac{(a-1)(b-1)}{(d-1)}\right\} -1\right] , \end{aligned}$$(2.2)and
$$\begin{aligned}&_{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} b, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; 1\\ c+1, &{} d, &{} 3 &{} \end{array} \right] =\frac{2c(c-1)(d-2)}{d(a-1)(a-2)(b-1)(b-2)} \nonumber \\ {}&\left[ \frac{\Gamma (c-1) \Gamma (c-a-b+2)}{\Gamma (c-a+1)\Gamma (c-b+1)} \left\{ (c-a-b+2)+\frac{(a-2)(b-2)}{(d-2)}\right\} \right. \nonumber \\ {}&\left. -\left\{ 1+\frac{(a-2)(b-2)(d-1)}{(c-1)(d-2)} \right\} \right] . \end{aligned}$$(2.3)
In particular, in (2.2) and (2.3), if we take \(d=c\), we recover known results due to Masjed-Jamei and Koepf [12]. Similarly, other results can be obtained.
3 Extension of Gauss’ Second Summation Theorem
In this section, we shall establish the extension of Gauss’ second summation theorem (1.5) asserted in the following theorem.
Theorem 3.1
For \(m \in {\mathbb {N}}\), the following result holds true.
where
Proof
In (1.16), set \(p=4\), \(q=3\), \(a_{1}=a\), \(a_{2}=b\), \(a_{3}=d+1\), \(b_{1}=\frac{1}{2}(a+b+3)\), \(b_{2}=d\), \(z=\frac{1}{2}\), we have
We now observe that the first \(_{3}F_{2}\) appearing on the right-hand side can be evaluated with the help of the extended Gauss’ second summation theorem (1.9), and we easily arrive at the right-hand side of (3.1). This completes the proof of (3.1). \(\square \)
Remark
For \(d=\frac{1}{2}(a+b+1)\), result (3.1) reduces to the result (1.13).
Corollary 3.2
-
(a)
For \(m=1\), the result (3.1) exactly gives the extended Gauss’ second summation theorem (1.9).
-
(b)
In (3.1), if we take \(m=2,~3\); we get the following results
$$\begin{aligned}&_{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} b, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; \frac{1}{2}\\ \frac{1}{2}(a+b+3), &{} d, &{} 2 &{} \end{array} \right] =\frac{(d-1)(a+b+1)}{d(a-1)(b-1)}\nonumber \\ {}&\quad \times \left\{ \frac{\Gamma \left( \frac{1}{2}\right) \Gamma \left( \frac{1}{2}(a+b+1)\right) \Gamma \left( \frac{1}{2}(a-b-1)\right) }{\Gamma \left( \frac{1}{2}(a-b+3)\right) } \left[ \frac{\left\{ \frac{1}{2}(a+b-3)-\frac{(a-1)(b-1)}{(d-1)}\right\} }{\Gamma \left( \frac{1}{2}a\right) \Gamma \left( \frac{1}{2}b\right) }\right. \right. \nonumber \\ {}&\quad \left. \left. +\frac{\left\{ \frac{(a+b-1)}{(d-1)}-2\right\} }{\Gamma \left( \frac{1}{2}a-\frac{1}{2}\right) \Gamma \left( \frac{1}{2}b-\frac{1}{2}\right) }\right] -1 \right\} . \end{aligned}$$(3.2)and
$$\begin{aligned}&_{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} b, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; \frac{1}{2}\\ \frac{1}{2}(a+b+3), &{} d, &{} 3 &{} \end{array} \right] =\frac{2(d-2)(a+b+1)(a+b-1)}{d(a-2)_{2}(b-2)_{2}}\nonumber \\&\quad \times \left\{ k_{1}- \left[ 1+\frac{(d-1)(a-2)(b-2))}{(d-2)(a+b-1)}\right] \right\} . \end{aligned}$$(3.3)where
$$\begin{aligned} k_{1}&=\frac{4~\Gamma \left( \frac{1}{2}\right) \Gamma \left( \frac{1}{2}(a+b-1)\right) }{(a-b+1)(a-b-1)}\\&\quad \times \left\{ \frac{\left[ \frac{1}{2}(a+b-5)-\frac{(a-2)(b-2)}{(d-2)}\right] }{\Gamma \left( \frac{1}{2}a-\frac{1}{2}\right) \Gamma \left( \frac{1}{2}b-\frac{1}{2}\right) } +\frac{\left[ \frac{a+b-3}{d-2}-2\right] }{\Gamma \left( \frac{1}{2}a-1\right) \Gamma \left( \frac{1}{2}b-1\right) }\right\} \end{aligned}$$In particular, in (3.2) and (3.3), if we take \(d=\frac{1}{2}(a+b+1)\), we recover known results due to Masjed-Jamei and Koepf [12]. Similarly, other results can be obtained.
4 Extension of Kummer’s Summation Theorem
In this section, we shall establish the extension of Kummer’s summation theorem (1.6) asserted in the following theorem.
Theorem 4.1
For \(m \in {\mathbb {N}}\), the following result holds true.
where
Proof
In (1.16), set \(p=4\), \(q=3\), \(a_{1}=a\), \(a_{2}=b\), \(a_{3}=d+1\), \(b_{1}=1+a-b+m\), \(b_{2}=d\), \(z=-1\), we have
We now observe that the first \(_{3}F_{2}\) appearing on the right-hand side can be evaluated with the help of the extended Kummer’s summation theorem (1.10), and we easily arrive at the right-hand side of (4.1). This completes the proof of (4.1). \(\square \)
Remark
For \(d=a-b+m\), result (4.1) reduces to the result (1.14).
Corollary 4.2
-
(a)
For \(m=1\), the result (4.1) exactly gives the extended Kummer summation theorem (1.10).
-
(b)
In (4.1), if we take \(m=2,~3\), we get the following results
$$\begin{aligned}&_{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} b, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; -1\\ 3+a-b, &{} d, &{} 2 &{} \end{array} \right] =\frac{(d-1)(2+a-b)}{d(a-1)(b-1)}\nonumber \\&\quad \times \left\{ 1-\frac{\Gamma \left( \frac{1}{2}\right) \Gamma \left( 2+a-b\right) }{ 2^{a-1}(2-b)} \left[ \frac{\left( \frac{2+a-b-d}{d-1}\right) }{\Gamma \left( \frac{1}{2}a-\frac{1}{2}\right) \Gamma \left( 2+\frac{1}{2}a-b\right) }\right. \right. \nonumber \\&\quad \left. \left. +\frac{\left( \frac{d-a}{d-1}\right) }{\Gamma \left( \frac{1}{2}a\right) \Gamma \left( \frac{3}{2}+\frac{1}{2}a-b\right) }\right] \right\} \end{aligned}$$(4.2)and
$$\begin{aligned}&_{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} b, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; -1\\ 4+a-b, &{} d, &{} 3 &{} \end{array} \right] =\frac{2(2+a-b)(3+a-b)(d-2)}{d(a-1)(a-2)(b-1)(b-2)}\nonumber \\&\quad \times \left\{ \frac{\Gamma \left( \frac{1}{2}\right) \Gamma \left( 2+a-b\right) }{ 2^{a-2}(3-b)} \left[ \frac{\left( \frac{3+a-b-d}{d-2}\right) }{\Gamma \left( \frac{1}{2}a-1\right) \Gamma \left( \frac{1}{2}a-b+\frac{5}{2}\right) }\right. \right. \nonumber \\&\quad \left. \left. +\frac{\left( \frac{d-a}{d-2}\right) }{\Gamma \left( \frac{1}{2}a-\frac{1}{2}\right) \Gamma \left( \frac{1}{2}a-b+2\right) }\right] -\left[ 1-\frac{(a-2)(b-2)(d-1)}{(d-2)(2+a-b)}\right] \right\} . \end{aligned}$$(4.3)
In particular, in (4.2) and (4.3), if we take \(d=2+a-b\), we recover known results due to Masjed-Jamei and Koepf [12]. Similarly, other results can be obtained.
5 Extension of Bailey’s Summation Theorem
In this section, we shall establish the extension of Bailey’s summation theorem (1.7) asserted in the following theorem.
Theorem 5.1
For \(m \in {\mathbb {N}}\), the following result holds true.
where
Proof
In (1.16), set \(p=4\), \(q=3\), \(a_{1}=a\), \(a_{2}=2m-a+1\), \(a_{3}=d+1\), \(b_{1}=b+1\), \(b_{2}=d\), \(z= \frac{1}{2}\), we have
We now observe that the first \(_{3}F_{2}\) appearing on the right-hand side can be evaluated with the help of the extended Bailey’s summation theorem (1.11), and we easily arrive at the right-hand side of (5.1). This completes the proof of (5.1). \(\square \)
Remark
For \(d=b\), result (5.1) reduces to the result (1.15).
Corollary 5.2
-
(a)
For \(m=1\), the result (5.1) exactly gives the extended Bailey’s summation theorem (1.11).
-
(b)
In (5.1), if we take \(m=2,~3\), we get the following results
$$\begin{aligned}&_{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} 3-a, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; \frac{1}{2}\\ b+1, &{} d, &{} 2 &{} \end{array} \right] =\frac{2b(1-d)}{d(1-a)(2-a)}\nonumber \\ {}&\times \left\{ \frac{\Gamma \left( \frac{1}{2}\right) \Gamma \left( b\right) }{ 2^{b-1}} \left[ \frac{\left( \frac{2}{d-1}\right) }{\Gamma \left( \frac{1}{2}b+\frac{1}{2}a-1\right) \Gamma \left( \frac{1}{2}b-\frac{1}{2}a+\frac{1}{2}\right) }\right. \right. \nonumber \\ {}&\left. \left. +\frac{\left( \frac{d-b}{d-1}\right) }{\Gamma \left( \frac{1}{2}b+\frac{1}{2}a-\frac{1}{2}\right) \Gamma \left( \frac{1}{2}b-\frac{1}{2}a+1\right) }\right] -1 \right\} \end{aligned}$$(5.2)and
$$\begin{aligned}&_{4}F_{3}\left[ \begin{array} [c]{ccccc} a, &{} 5-a, &{} d+1, &{} 1 &{} \\ &{} &{} &{} &{} ; \frac{1}{2}\\ b+1, &{} d, &{} 3 &{} \end{array} \right] =\frac{8 b(b-1)(d-2)}{d(a-4)(a-3)(a-2)(a-1)}\nonumber \\ {}&\times \left\{ \frac{\Gamma \left( \frac{1}{2}\right) \Gamma \left( b-1\right) }{ 2^{b-2}} \left[ \frac{\left( \frac{2}{d-2}\right) }{\Gamma \left( \frac{1}{2}b+\frac{1}{2}a-2\right) \Gamma \left( \frac{1}{2}b-\frac{1}{2}a+\frac{1}{2}\right) }\right. \right. \nonumber \\ {}&\left. \left. +\frac{\left( \frac{d-b}{d-2}\right) }{\Gamma \left( \frac{1}{2}b+\frac{1}{2}a-\frac{3}{2}\right) \Gamma \left( \frac{1}{2}b-\frac{1}{2}a+1\right) }\right] -\left[ 1-\frac{(a-2)(a-3)(d-1)}{2(b-1)(d-2)}\right] \right\} . \end{aligned}$$(5.3)In particular, in (5.2) and (5.3), if we take \(d=b\), we recover known results due to Masjed-Jamei and Koepf [12]. Similarly, other results can be obtained.
6 Eulerian-type Single Integrals
As an application of the results established in sections 2 to 5, this section deals with a new class of Eulerian-type integrals involving generalized hypergeometric functions.
First Integral For \(m \in {\mathbb {N}},~Re(b)>0,~Re(c-b)>-1\) and \(Re(c-a-b-d+m)>0\), the following result holds true.
where \(\Omega _{1}\) is the same as given in (2.1).
Second Integral For \(m \in {\mathbb {N}},~Re(b)>0\) and \(Re(a-b+3)>0\), the following result holds true.
where \(\Omega _{2}\) is the same as given in (3.1).
Third Integral For \(m \in {\mathbb {N}},~Re(b)>0\) and \(Re(a-2b+m)>-1\), the following result holds true.
where \(\Omega _{3}\) is the same as given in (4.1).
Fourth Integral For \(m \in {\mathbb {N}},~Re(a)>0\) and \(Re(b-a)>-1\), the following result holds true.
where \(\Omega _{4}\) is the same as given in (5.1).
Proof
In order to evaluate the integral (6.1), we proceed as follows. Denoting the left-hand side of (6.1) by I, we have
Now, expressing \(~_{3}F_{2}\) as a series and changing the order of integration and summation which is easily seen to be justified due to the uniform convergence of the series involved in the process, we have
Evaluating the beta integral and using the result (1.2) we get, after some simplification
Summing up the series, we have
Finally, using the summation theorem (2.1), we easily arrive at the right-hand side of (6.1). This completes the proof of (6.1). \(\square \)
In exactly the same manner, the integrals (6.2) to (6.4) can be evaluated with the help of the summation theorems (3.1), (4.1) and (5.1), respectively. We leave this as an exercise to the interested reader.
6.1 Special Cases
-
(1)
In (6.1), if we take \(d=e\), we get a known result due to Jun et al. [5].
-
(2)
In (6.2), if we take \(d=\frac{1}{2}(a+b+1)\), we get a known result due to Jun et al. [5].
-
(3)
In (6.3), if we take \(d=a-b+m\), we get a known result due to Jun et al. [5].
-
(4)
In (6.4), if we take \(d=b\), we get a known result due to Jun et al. [5].
We conclude this section by remarking that the integrals (6.1) to (6.4) are of very general nature because of the presence of \(m \in {\mathbb {N}}\). So by giving values to m, we can obtain a large number of integrals, which may be potentially useful.
7 Laplace-type Integrals
In this section, we shall establish a new class of Laplace-type integrals involving generalized hypergeometric functions.
First Integral For \(m \in {\mathbb {N}},~Re(s)>0,~Re(b)>0\) and \(Re(c-a-b+m)>1\), the following result holds true.
where \(\Omega _{1}\) is the same as given in (2.1).
Second Integral For \(m \in {\mathbb {N}},~Re(s)>0\) and \(Re(a)>1\), the following result holds true.
where \(\Omega _{2}\) is the same as given in (3.1).
Third Integral For \(m \in {\mathbb {N}},~Re(s)>0\) and \(Re(b)>0\), the following result holds true.
where \(\Omega _{3}\) is the same as given in (4.1).
Fourth Integral For \(m \in {\mathbb {N}},~Re(s)>0\) and \(Re(a)>1\), the following result holds true.
where \(\Omega _{4}\) is the same as given in (5.1).
Proof
In order to evaluate the integral (7.1), we proceed as follows. Denoting the left-hand side of (7.1) by I, we have
Now, express \(~_{3}F_{2}\) as a series, change the order of integration and summation which is justified due to the uniform convergence of the series, we have
Evaluating the Gamma integral and using the result (1.2) we have
Summing up the series, we have
Finally, using the summation theorem (2.1), we easily arrive at the right-hand side of (7.1). This completes the proof of (7.1). \(\square \)
In exactly the same manner, the integrals (7.2) to (7.4) can be evaluated with the help of the summation theorems (3.1), (4.1) and (5.1) respectively.
7.1 Special Cases
-
(1)
In (7.1), if we take \(d=c\), we get a known result due to Koepf et al. [7].
-
(2)
In (7.2), if we take \(d=\frac{1}{2}(a+b+1)\), we get a known result due to Koepf et al. [7].
-
(3)
In (7.3), if we take \(d=a-b+m\), we get a known result due to Koepf et al. [7].
-
(4)
In (7.4), if we take \(d=b\), we get a known result due to Koepf et al. [7].
The Laplace-type integrals (7.1) to (7.4) established in this section are of very general nature because of the presence of \(m \in {\mathbb {N}}\). So by giving values to m, we can obtain a large number of integrals in terms of Gamma functions, which may be useful in application point of view. We however prefer to omit the details.
We conclude this paper by remarking that the results established in this paper (including special cases) have been verified numerically using MATHEMATICA.
References
Andrews, G.E., Askey, R., Roy, R.: Special Functions. Encyclopaedia of Mathematics and its Applications, vol. 71. Cambridge University Press, Cambridge (1989)
Arfken, G.: Mathematical Methods for Physicists. Academic Press, New York (1985)
Bailey, W.N.: Products of generalized hypergeometric series. Proc. London Math. Soc. 28(2), 242–254 (1928)
Bailey, W. N.: Generalized Hypergeometric Series, Cambridge University Press, Cambridge, (1935), reprinted by Stechert Hafner, New York, (1964)
Jun, S., Kim, I., Rathie, A.K.: On a new class of Eulerian’s-type integrals involving generalized hypergeometric functions. The Aust. J. Math. Anal. Appl. 16(1), 1–15 (2019)
Koepf, W.: Hypergeometric Summation: An Algorithmic Approach to Summation and Special Functions Identities, 2nd edn. Springer, London (2014)
Koepf, W., Kim, I., Rathie, A.K.: On a new class of Laplace-type integrals involving generalized hypergeometric functions. Axioms 8, 87 (2019)
Kim, Y. S., Rakha, M. A. and Rathie, A. K.: Extensions of certain classical summation theorems for the series \(_{2}F_{1}\), \(_{3}F_{2}\) and \(_{4}F_{3}\) with applications in Ramanujan’s summations, Int. J. Math. Sci., Article ID 209503, 26 pages, (2010)
Lavoie, J.L., Grondin, F., Rathie, A.K.: Generalizations of Watson’s theorem on the sum of a \(_{3}F_{2}\). Indian J. Math. 34, 23–32 (1992)
Lavoie, J.L., Grondin, F., Rathie, A.K., Arora, K.: Generalizations of Dixon’s theorem on the sum of a \(_{3}F_{2}\). Math. Comput. 62, 267–276 (1994)
Lavoie, J.L., Grondin, F., Rathie, A.K.: Generalizations of Whipple’s theorem on the sum of a \(_{3}F_{2}\). J. Comput. Appl. Math. 72, 293–300 (1996)
Masjed-Jamei, M., Koepf, W.: Some summation theorems for generalized hypergeometric functions. Axioms 7, 38 (2018)
Nikiforov, A.F., Uvarov, V.B.: Special Functions of Mathematical Physics. A Unified Introduction with Applications. Birkhauser, Basel (1988)
Prudnikov, A.P., Brychkov, Yu.A., Marichev, O.I.: Integrals and Series, vol. 3. Science Publications, Amsterdam (1990)
Rainville, E.D.: Special Functions, The Macmillan Company, New York, (1960); reprinted by Chelsea Publishing Company. Bronx, New York (1971)
Rakha, M.A., Rathie, A.K.: Generalizations of classical summation theorems for the series \(_{2}F_{1}\) and \(_{3}F_{2}\) with applications. Integral Transf. Spec. Funct. 22(11), 823–840 (2011)
Srivastava, H.M., Choi, J.: Zeta and \(q\)-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam (2012)
Srivastava, H.M., Karlsson, P.W.: Multiple Gaussian Hypergeometric Series. Ellis Horwood Series in Mathematica and Its Applications, Ellis Horwood Ltd., New York (1985)
Srivastava, H.M., Manocha, H.L.: A Treatise on Generating Functions, Halsted Press. Ellis Horwood Limited, Chichester (1984)
Acknowledgements
All authors contributed equally in this paper. They read and approved the final manuscript.
Funding
Open Access funding enabled and organized by Projekt DEAL. The third and the fourth authors were supported financially by the Academy of Scientific Research and Technology (ASRT), Egypt, Science UP Grant No. 6491.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Awad, M.M., Koepf, W., Mohammed, A.O. et al. A Study of Extensions of Classical Summation Theorems for the Series \(_{3}F_{2}\) and \(_{4}F_{3}\) with Applications. Results Math 76, 65 (2021). https://doi.org/10.1007/s00025-021-01367-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-021-01367-9