Some Summation Theorems for Generalized Hypergeometric Functions

Transcription

1 Article Some Summation Theorems for Generalized Hypergeometric Functions Mohammad Masjed-Jamei,, * and Wolfram Koepf Department of Mathematics, University of Kassel, Heinrich-Plett-Str. 40, D-343 Kassel, Germany; koepf@mathematik.uni-kassel.de Department of Mathematics, K. N. Toosi University of Technology, P.O. Box , 369 Tehran, Iran * Correspondence: mmjamei@kntu.ac.ir or mmjamei@yahoo.com Received: May 08; Accepted: 6 June 08; Published: 8 June 08 Abstract: Essentially, whenever a generalized hypergeometric series can be summed in terms of gamma functions, the result will be important as only a few such summation theorems are available in the literature. In this paper, we apply two identities of generalized hypergeometric series in order to extend some classical summation theorems of hypergeometric functions such as Gauss, Kummer, Dixon, Watson, Whipple, Pfaff Saalschütz and Dougall formulas and also obtain some new summation theorems in the sequel. Keywords: generalized hypergeometric series; Gauss and confluent hypergeometric functions; classical summation theorems of hypergeometric functions MSC: 33C0; 33C05; 65B0. Introduction Let R and C denote the sets of real and complex numbers and z be a complex variable. For real or complex parameters a and b, the generalized binomial coefficient: in which: a b Γa + Γb + Γa b + Γz 0 a a b x z e x dx, a, b C, denotes the well-known gamma function for Rez > 0, can be reduced to the particular case: a n n a n, n! where a b denotes the Pochhammer symbol [] given by: a b Γa + b Γa { b 0, a C\{0}, aa +...a + n b N, a C. Based on Pochhammer s symbol, the generalized hypergeometric functions []: a,... b,..., a p, b q z a k...a p k z k b k0 k...b q k k!, Axioms 08, 7, 38; doi:0.3390/axioms

2 Axioms 08, 7, 38 of 0 are indeed a Taylor series expansion for a function, say f, as k0 c k zk with c k f k 0/k!, for which the ratio of successive terms can be written as: c k+ c k k + a k + a...k + a p k + b k + b...k + b q k +. According to the ratio test [3,4], the series is convergent for any p q +. In fact, it converges in z < for p q +, converges everywhere for p < q + and converges nowhere z 0 for p > q +. Moreover, for p q +, it absolutely converges for z if the condition: q A q+ Re b j a j > 0, j j holds and is conditionally convergent for z and z if < A 0 and is finally divergent for z and z if A. There are two important cases of the series arising in many physics problems [5,6]. The first case convergent in z is the Gauss hypergeometric function: with the integral representation: a, b c z y F a, b c z a k b k c k0 k Γc t b t c b tz a dt, ΓbΓc b 0 z k k!, Replacing z in 3 directly leads to the well-known Gauss identity []: a, b c ΓcΓc a b Γc aγc b Re c > Re b > 0; arg z < π. 3 Rec a b > 0. 4 The second case, which converges everywhere, is the Kummer confluent hypergeometric function: y F b c z b k z k c k0 k k!, with the integral representation: F b c z Γc t b t c b e zt dt, ΓbΓc b 0 Re c > Re b > 0; arg z < π. Essentially, whenever a generalized hypergeometric series can be summed in terms of gamma functions, the result will be important as only a few such summation theorems are available in the literature; see, e.g., [7 3]. In this sense, the classical summation theorems such as Kummer and Gauss for F, Dixon, Watson, Whipple and Pfaff Saalschütz for 3 F, Whipple for 4 F 3, Dougall for 5F 4 and Dougall for 7 F 6 are well known [,4]. In this paper, we apply two identities of generalized hypergeometric functions in order to obtain some new summation theorems and extend the above-mentioned classical theorems. For this purpose, we should first recall the classical theorems as follows.

3 Axioms 08, 7, 38 3 of 0 * Kummer s theorem [], p. 08: a, b + a b Γ + a bγ + a/ Γ b + a/γ + a. 5 * Second Gauss theorem [], p. 08: a, b a + b + / π Γa + b + / Γa + /Γb + /. 6 * Bailey s theorem [], p. 08: a, a b Γb/Γb + / Γa + b/γb a + /. 7 * Dixon s theorem [], p. 08: a, b, c + a b, + a c Γ + a/γ + a bγ + a cγ b c + a/ Γ + aγ b + a/γ c + a/γ + a b c. 8 * Watson s theorem [], p. 08: a, b, c a + b + /, c π Γ + c/γa + b + /Γc a + b / Γa + /Γb + /Γc a /Γc b /. 9 * Whipple s theorem [], p. 08: a, a, c c, b c + π b ΓcΓb c + Γa + c/γb + a c + /Γ a + c/γb + a + c/. 0 * Pfaff Saalschütz theorem [], p. 08: a, b, n c, + a + b c n c a n c b n c n c a b n. * Second Whipple theorem [], p. 08: a, + a/, b, c a/, a b +, a c + Γa b + Γa c + Γa + Γa b c +. * Dougall s theorem [], p. 08: 5F 4 a, + a/, c, d, e a/, a c +, a d +, a e +

4 Axioms 08, 7, 38 4 of 0 Γa c + Γa d + Γa e + Γa c d e + Γa + Γa d e + Γa c e + Γa c d +. 3 * Second Dougall theorem [], p. 08: 7F 6 a, + a/, b, c, d, + a b c + n, n a/, a b +, a c +, a d +, b + c + d a n, a + + n a + n a b c + n a b d + n a c d + n a + b n a + c n a + d n a + b c d n. 4 In order to derive the first identity and only for simplicity, we will use the following symbol for representing finite sums of hypergeometric series: For instance, we have: m p F q. First Hypergeometric Identity a,... b,..., a p, b q z m a k...a p k z k b k0 k...b q k k!. 0 p F q z 0, p F q z and p F q z + a...a p z. b...b q Let m, n be two natural numbers so that n m. By referring to Relation, since: n k Γk + nγm m k Γk + mγn Γm Γn k + nk + n +...k + m, 5 substituting 5 in a special case of yields: a,..., a p, b,..., b q, Γm Γn n m z Γm Γn a j m+...a p j m+ jm a k...a p k k + k +...k + n z k b k0 k...b q k k + m! j + mj + 3 m...j m + n z j m+ b j m+...b q j m+ j!. 6 Relation 6 shows that we encounter a complicated computational problem that cannot be easily evaluated. However, some particular cases such as n and n can be directly computed. We leave other cases as open problems. The case n leads to a known result in the literature [4], because:

5 Axioms 08, 7, 38 5 of 0 a,..., a p, b,..., b q, m Γm j0 z Γm jm a j m+...a p j m+ z j m+ b j m+...b q j m+ j! a j m+...a p j m+ z j m+ m a j m+...a p j m+ z b j m+...b q j m+ j! j m+ b j0 j m+...b q j m+ j!, 7 and since: Relation 7 is simplified as: a,..., a p, b,..., b q, m z a j m+ Γa m + a m + Γa j, Γb... Γb q Γa m +... Γa p m + m! Γa... Γa p Γb m +... Γb q m + z m a p F m +,..., a p m + q b m +,..., b q m + z m a m +,..., a p m + p F q b m +,..., b q m + z. 8 However, the interesting point is that using Relation 8, we can obtain various special cases that extend all classical summation theorems as follows. Special Case. When p 3, q and x, Relation 8 is simplified as: a, b, c, m ΓmΓcΓa m + Γb m + ΓaΓbΓc m + Γc m + Γc a b + m m F Γc aγc b a m +, b m + c m +. 9 For m, Relation 9 exactly gives Formula 4, while for m, 3, we have: a, b, c, c a b Γc Γc a b + Γc aγc b, a, b, c, 3 c a b Γc Γc a b + Γc aγc b ab + c a b +. c These two formulas are given in [4]. Special Case. When p 3, q and x, by noting the Kummer theorem 5, Relation 8 is simplified as:

6 Axioms 08, 7, 38 6 of 0 a, b, a b + m, m Γa b + Γ + a m + / Γ + a mγm b + a m + / m m ΓmΓa b + mγa m + Γb m + ΓaΓbΓa b + a m +, b m + a b +. 0 For m, Relation 0 exactly gives the Kummer formula, while for m, 3, we have: a, b, a b +, a b + a b Γa b + Γ + a /, ΓaΓ b + + a / a, b, a b + 3, 3 a b + a b Γa b + Γa/ Γa Γ b + + a/ 3a + b ab 3. a b + Special Case 3. When p 3, q and x /, by noting the second kind of Gauss Formula 6, Relation 8 is simplified as: a, b, a + b + /, m m ΓmΓa + b + /Γa m + Γb m + ΓaΓbΓ m + + a + b + / π Γ m + + a + b + / Γ + a m/ Γ + b m/ m a m +, b m + m + + a + b + /. For m, Relation exactly gives the second kind of Gauss formula, while for m, 3, we have: a, b, a + b π Γ + a + b + /, a + b + /, a b Γa/ Γb/ a, b, a + b + /, 3 a + b a + b 3 a b π Γa + b 3/ Γa / Γb / ab a b +. a + b 3 Special Case 4. When p 3, q and x /, by noting the Bailey theorem 7, Relation 8 is simplified as:

7 Axioms 08, 7, 38 7 of 0 a, m a, b, m m ΓmΓbΓa m + Γm a ΓaΓm a Γb m + Γb m + /Γb m + / Γ m + + a + b/ Γb a + / m a m +, m a b m +. For m, Relation exactly gives the Bailey formula, while for m, 3, we have: a, 3 a, b, b a Γb /Γb/ Γ + a + b/ Γb a + /, a, 5 a, b, 3 8b a 4 4 Γb /Γb / Γ + a + b/ Γb a + / 5a a + b 0 b. Special Case 5. When p 4, q 3 and x, by noting the Dixon theorem 8, Relation 8 is simplified as: a, b, c, a b + m, a c + m, m ΓmΓa b + mγa c + mγa + mγb + mγc + m ΓaΓbΓcΓa b + Γa c + Γa+3 m/γa b+γa c+γ b c+a+3m / Γa+ mγ b+a+m+/γ c+a+m+/γa b c+m m a m +, b m +, c m + a b +, a c +. 3 For m, Relation 3 exactly gives the Dixon formula, while for m, 3, we have: a, b, c, a b +, a c +, a b + a c + a b c Γa + /Γa b + Γa c + Γ b c + a + 5/ ΓaΓ b + a + 3/Γ c + a + 3/Γa b c +,

8 Axioms 08, 7, 38 8 of 0 a, b, c, a b + 3, a c + 3, 3 a b + a c + a b c Γa/Γa b + Γa c + Γa/ b c + 4 a b c Γa Γa/ b + Γa/ c + Γa b c + 3 a b + a c +. Special Case 6. When p 4, q 3 and x, by noting the Watson theorem 9, Relation 8 is simplified as: a, b, c, a + b + /, c + m, m ΓmΓa + b + /Γc + mγa + mγb + mγc + m ΓaΓbΓcΓ m + a + b + 3/Γc m + π Γc m+3/γ m+a+b+3/γc a+b / Γ+a m/γ+b m/γc+ a+m/γc+ b+m/ m a m +, b m +, c m + m + + a + b + /, c m +. 4 For m, Relation 4 exactly gives the Watson formula, while for m, 3, we have: a, b, c, a + b + /, c, a + b a b π Γc /Γa + b /Γc a + b /, Γa/Γb/Γc a/γc b/ a, b, c, a + b + /, c, 3 c 3a + b a + b 3 a b c π Γc 3/Γa + b 3/Γc a + b / a b. Γa /Γb /Γc a + /Γc b + / a + b 3 Special Case 7. When p 4, q 3 and x, by noting the Whipple theorem 0, Relation 8 is simplified as:

9 Axioms 08, 7, 38 9 of 0 a, m a, b, c, b c +, m ΓmΓcΓb c + Γa + mγm aγb + m ΓaΓm aγbγc + mγb c m + π m b Γc m+γb c+ m Γ m++a+c/γ m++b+a c+/γ a+c/γb+ a+c/ m a m +, m a, b m + c m +, b c m +. 5 For m, Relation 5 exactly gives the Whipple formula, while for m, 3, we have: a, 3 a, b, c, b c +, c c b a b π 3 b Γc Γb c Γ + a + c/γb + a c /Γ a + c/γb + a + c/, a, 5 a, b, c, b c +, 3 c b c a 4 4 b π 5 b Γc Γb c Γ + a + c/γb + a c 3/Γ a + c/γb + a + c/ a 3 ab c b c. Special Case 8. When p 4, q 3 and x, by noting the Pfaff Saalschütz theorem, Relation 8 is simplified as: a, b, n + m, c, + a + b c n, m m! c m c a b + n m a m b m n + m m c a n c b n m 3F c + m n c a b + m n a m +, b m +, n c m +, + a + b c m n. 6 For m, Relation 6 exactly gives the Pfaff Saalschütz formula, while for m, 3, we have: a, b, n +, c, + a + b c n, cc a b + n n a b c a n c b n c n c a b + n,

10 Axioms 08, 7, 38 0 of 0 a, b, n +, c, + a + b c n, 3 c c a b + n n a b n c a n c b n na b + c n c a b + n c a + b c n. Special Case 9. When p 5, q 4 and x, by noting the second theorem of Whipple, Relation 8 is simplified as: 5F 4 a, a + m + /, b, c, a + m /, a b + m, a c + m, m m ΓmΓa + m /Γa b + mγa c + mγa m + Γa m + 3/Γb m + Γc m + ΓaΓa + m + /ΓbΓcΓa m + /Γa b + Γa c + Γ + a bγ + a c Γ m + aγm + a b c m a m +, a m + 3/, b m +, c m + a m + /, a b +, a c +. 7 For m, Relation 7 exactly gives the Whipple formula, while for m, 3, we have: 5F 4 a, a + 3/, b, c, a + /, a b +, a c +, 4a b + a c + a a b c Γ + a bγ + a c, ΓaΓ + a b c 5F 4 a, a + 4/, b, c, a + /, a b + 3, a c + 3, 3 a b + a c + a + a b c Γ + a bγ + a c Γa Γ3 + a b c + ab c a b + a c +. Special Case 0. When p 6, q 5 and x, by noting the Dougall theorem 3, Relation 8 is simplified as: 6F 5 a, a + m + /, c, d, e, a + m /, a c + m, a d + m, a e + m, m ΓmΓa + m /Γa c + m Γa d + mγa e + mγa m + Γa m + 3/Γc m + Γd m + Γe m + ΓaΓa + m + /ΓcΓdΓeΓa m + /Γa c + Γa d + Γa e + Γa c+γa d+γa e+γa c d e+m Γa+ mγa d e+mγa c e+mγa c d+m m 5F 4 a m +, a m + 3/, c m +, d m +, e m + a m + /, a c +, a d +, a e +. 8

11 Axioms 08, 7, 38 of 0 For m, Relation 8 exactly gives the Dougall formula, while for m, 3, we have: 6F 5 a, a + 3/, c, d, e, a + /, a c +, a d +, a e +, a c + a d + a e + c d e a + Γa c + Γa d + Γa e + Γa c d e + 3, ΓaΓa d e + Γa c e + Γa c d + 6F 5 a, a + 4/, c, d, e, a + /, a c + 3, a d + 3, a e + 3, 3 a c + a d + a e + a a + c d e Γa c + Γa d + Γa e + Γa c d e + 5 Γa Γa d e + 3Γa c e + 3Γa c d + 3 ac d e a c + a d + a e +. Special Case. When p 8, q 7 and x, by noting the second theorem of Dougall 4, Relation 8 is simplified as: 8F 7 a, a + m + /, b, c, d, a b c d + m + n, m n, a + m /, a b + m, a c + m, a d + m, b + c + d a + m n, a + n +, m m m! 3 a m/ m a + b m m a + c m m a + d m m m + n + a b c d m a n m a m/ m a m b m c m d m b + c + d a + m n m n + m m m 7F 6 a m+ n a b c+m n a b d+m n a c d+m n a b+ n a c+ n a d+ n a b c d+m n a m +, a m + 3/, b m +, c m +, d m +, a b c d + m + n, n a m + /, a b +, a c +, a d +, b + c + d a + m n, a m + n +. 9 For m, Relation 9 exactly gives the Dougall formula, while for m, 3, we have:

12 Axioms 08, 7, 38 of 0 8F 7 a, a + 3/, b, c, d, a b c d n, n +, a + /, a b +, a c +, a d +, b + c + d a n, a + n +, a + b a + c a + d n + + a b c da + n n + a b c db + c + d a n a n a b c + n a b d + n a c d + n, a b + n a c + n a d + n a b c d + 3 n 8F 7 a, a + 4/, b, c, d, a b c d n, n +, a + /, a b + 3, a c + 3, a d + 3, b + c + d a n, a + n +, 3 a a + b a + c a + d 3 + n + a b c d a n a + a b c d b + c + d a 4 n n a n a b c+3 n a b d+3 n a c d+3 n a b+ n a c+ n a d+ n a b c d+5 n nab c d a b c d+3+n + a b+a c+a d+ b+c+d a n 4n+a. Remark. There are two further special cases, which however do not belong to classical summation theorems. When p q, Relation 8 is simplified as: F and when p q +, it yields: a, m z m z m! z m e z m j0 z j, j! m! Γa m + z m z m a m z Γa a m + j j. j! j0 Similarly, for the case n, Relation 6 changes to: Γm z z m a,... a p, b,... b q, rm m z Γm z m a j m+...a p j m+ j + m z j b jm j m+...b q j m+ j! a j m+...a p j m+ z r a b j m+...b q j m+ r! + m j m+...a p j m+ z j b jm j m+...b q j m+ j! m! Γb... Γb q Γa m +... Γa p m + z m Γa... Γa p Γb m +... Γb q m +

13 Axioms 08, 7, 38 3 of 0 p F q a m +,..., a p m + b m +,..., b q m + z m 3 p F q a m +,..., a p m + b m +,..., b q m + z m! Γb... Γb q Γa m +... Γa p m + + m z m Γa... Γa p Γb m +... Γb q m + p F q a m +,..., a p m + b m +,..., b q m + z m p F q a m +,..., a p m + b m +,..., b q m + z. Therefore: a,... a p, b,... b q, m z a m+... a p m+ b m+... b q m+ z p F q m p F q m! Γb... Γb q Γa m +... Γa p m + z m Γa... Γa p Γb m +... Γb q m + a m +,..., a p m + b m +,..., b q m + a m +,..., a p m + b m +,..., b q m + For instance, if m 3, Relation 30 reads as: a,..., a p, b,..., b q, 3 z z m 3 p F q a m +,..., a p m + b m +,..., b q m + z z m p F q a m +,..., a p m + b m +,..., b q m + Γb... Γb q Γa... Γa p z Γa... Γa p Γb... Γb q z. 30 a... a p b... b q z p F q a,..., a p b,..., b q z p F q a,..., a p b,..., b q z +. Hence, for p q + 3 and z, we have: a, b, c, 3 a b 3. Second Hypergeometric Identity c + By noting Relation, first it is not difficult to verify that: ΓcΓc a b + ab a b c + 3. Γc aγc b a + m k a k+m a m. 3 Now, if the identity 3 is applied in a special case of, we obtain:

14 Axioms 08, 7, 38 4 of 0 a + m,... a p + m, b + m,..., b q + m z a + m k...a p + m k z k b k0 + m k...b q + m k b m...b q m a k+m...a p a m...a p k+m z k m b k0 k+m...b q k+m b m...b q a m j...a p j a m...a p z j m m b jm j...b q j b m...b q m a z m j...a p j z j m a j...a p j a m...a p m b j0 j...b q z j, j b j0 j...b q j leading to the second identity: a + m,... a p + m, b + m,..., b q + m z b m...b q m a m...a p m z m a,... a p, b,..., b q z m a,... a p, b,..., b q z, 3 which is equivalent to: a,... a p, b,..., b q z b m m...b q m m a m m...a p m m z m a m,... a p m, b m,..., b q m z m a m,... a p m, b m,..., b q m z. 33 Once again, the interesting point is that by using Relation 3 or 33, various special cases can be considered as follows. Special Case. When p, q and x, by noting the Kummer formula and Relation 3, we get: b + m, b + m m b m b m π Γ b Γ b + 3/ m b, b. 34

15 Axioms 08, 7, 38 5 of 0 For instance, if m,, Relation 34 is simplified as: b +, 3 b π Γ3 b Γ3/ b + b, b +, 4 b π bb + Γ4 b Γ3/ b b b 3. bb + Special Case 3. When p, q and x /, by noting the second kind of Gauss formula and Relation 3, we get: a + m, a/ + m + + a/ m a m m π Γ + a/ Γa + / For instance, if m,, Relation 35 is simplified as: a +, a/ + a + a m a, a/ + π Γ + a/ Γa + /,. 35 a +, a/ + 3 a + a + 4 π aa + Γ + a/ Γa + / + 4 a. Special Case 4. When p 3, q and x, by noting the Dixon formula and Relation 3, we get: b + m, c + m, b + m, c + m b m c m b m c m π Γ bγ cγ b c + 3/ Γ b + 3/Γ c + 3/Γ b c m b, c, b, c. 36 For instance, if m,, Relation 36 is simplified as: b +, c +, 3 b, 3 c π bc Γ3 bγ3 cγ3/ b c Γ3/ bγ3/ cγ b c b c, bc b +, c +, 4 b, 4 c π Γ4 bγ4 cγ3/ b c bc b c b 3c 3. b c Γ3/ bγ3/ cγ b c b c

16 Axioms 08, 7, 38 6 of 0 Special Case 5. When p 3, q and x, by noting the Watson formula and Relation 3, we get: b + m, c + m, b/ + m +, c + m + b/ m c m b m c m π Γ + c/γ + b/γc b/ Γb + /ΓcΓc b / m b, c, b/ +, c. 37 For instance, if m,, Relation 37 is simplified as: b +, c +, b/ +, c + + b π Γ + c/γ + b/γc b/ Γb + /ΓcΓc b /, b +, c +, b/ + 3, c + πcc + bb + Γc/ + Γb/ + 3Γc b/ Γb + /Γc + Γc b / b + 4c +. bc + Special Case 6. When p 3, q and x, by noting the Whipple formula and Relation 3, we get: a + m, a + m, c + m, 3 c + m c m 3 c m a m a m π ΓcΓ3 c Γa + c/γa c + 3/Γ a + c/γ a + c/ m a, a, c, 3 c. 38 For instance, if m,, Relation 38 is simplified as: a +, a, c +, 4 c π Γc + Γ4 c cc 3 a a Γa + c/γa c + 3/Γ a + c/γ a + c/ aa, a +, 3 a, c +, 5 c π a 4 Γc + Γ5 c Γa + c/γa c + 3/Γ a + c/γ a + c/

17 Axioms 08, 7, 38 7 of 0 c + 4 cc3 c + a a a 4. Special Case 7. When p 3, q and x, by noting the Pfaff Saalschutz formula and Relation 3, we get: b + m, n + m, c + m, + b c n + m c m + b c n m b m n m c c b + n c bc + n m b, n, c, + b c n. 39 For instance, if m,, Relation 39 is simplified as: b +, n +, c +, 3 + b c n cc b + n nb c c b + n c bc + n, b +, n +, c +, 4 + b c n c cc + c b + nc b + nc 3 b + n nn bb + c bc + n c + c 3 b + nnb + cc b + n. nn bb + Special Case 8. When p 4, q 3 and x, by noting the Whipple formula and Relation 3, we get: m + 3/, b + m, c + m, m + /, b + m, c + m m b m c m m + b m c m Γ bγ c m Γ b c 3/, b, c, /, b, c. 40 For instance, if m,, Relation 40 is simplified as: 5/, b +, c +, 3/, 3 b, 3 c 3bc Γ3 bγ3 c b c, Γ b c 7/, b +, c +, 5/, 4 b, 4 c b c 5 b c

18 Axioms 08, 7, 38 8 of 0 Γ bγ c Γ b c + bc + b + c. b c Special Case 9. When p 5, q 4 and x, by noting the Dougall formula and Relation 3, we get: 5F 4 m + 3/, c + m, d + m, e + m, m + /, c + m, d + m, e + m c m d m e m m + c m d m e m Γ cγ dγ eγ c d e m 5F Γ d eγ c eγ c d 4 3/, c, d, e, /, c, d, e. 4 For instance, if m,, Relation 4 is simplified as: 5F 4 5/, c +, d +, e +, 3/, 3 c, 3 d, 3 e c d e 3 cde Γ cγ dγ eγ c d e Γ d eγ c eγ c d, 5F 4 7/, c +, d +, e +, 5/, 4 c, 4 d, 4 e c d e 5 c d e Γ cγ dγ eγ c d e Γ d eγ c eγ c d 3 cde c d e. Special Case 0. When p 7, q 6 and x, by noting the Dougall formula and Relation 3, we get: 7F 6 m + 3/, b + m, c + m, d + m, 3 b c + n + m, m n, m + /, b + m, c + m, d + m, b + c + d n + m, n + + m b m c m d m b + c + d n m n + m m + b m c m d m 3 b c + n m n m n b c n b d n c d n b n c n d n b c d n m 7F 6 3/, b, c, d, 3 b c + n, n, /, b, c, d, b + c + d n, n +. 4

19 Axioms 08, 7, 38 9 of 0 For instance, if m,, Relation 4 is simplified as: 7F 6 5/, b +, c +, d +, 3 b c + n +, n, 3/, 3 b, 3 c, 3 d, b + c + d n, n + 3 b c db + c + d n n + 3 nbcd3 b c + n n b c n b d n c d n, b n c n d n b c d n 7F 6 7/, b +, c +, d +, 5 b c + n, n, 5/, 4 b, 4 c, 4 d, b + c + d n +, n + 4 b c d b + c + d n n + 5 b c d 3 b c + n n n b c n b d n c d n b n c n d n b c d n 3 bcd n 3 b c + n + b c db + c + d n n Conclusions In this paper, we applied two identities for generalized hypergeometric series in order to extend some classical summation theorems of hypergeometric functions such as Gauss, Kummer, Dixon, Watson, Whipple, Pfaff Saalschütz and Dougall formulas and then obtained some new summation theorems using the second introduced hypergeometric identity. Author Contributions: Both authors have the same contribution in all sections. Acknowledgments: This research was funded by the Alexander von Humboldt Foundation under Grant Number Ref 3.4-IRN-8637-GF-E. Conflicts of Interest: The authors declare no conflict of interest. References. Koepf, W. Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities, nd ed.; Springer: London, UK, 04.. Slater, L.J. Generalized Hypergeometric Functions; Cambridge University Press: Cambridge, UK, Andrews, G.E.; Askey, R.; Roy, R. Special Functions. In Encyclopedia of Mathematics and Its Applications; Cambridge University Press: Cambridge, UK, 999; Volume Arfken, G. Mathematical Methods for Physicists; Academic Press: New York, NY, USA, Mathai, A.M.; Saxena, R.K. Generalized Hypergeometric Functions with Applications in Statistics and Physical Sciences; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 973; Volume Nikiforov, A.F.; Uvarov, V.B. Special Functions of Mathematical Physics. A Unified Introduction with Applications; Birkhauser: Basel, Switzerland, 988.

20 Axioms 08, 7, 38 0 of 0 7. Bailey, W.N. Products of generalized hypergeometric series. Proc. Lond. Math. Soc. 98,, [CrossRef] 8. Karlsson, P.W. Hypergeometric functions with integral parameter differences. J. Math. Phys. 97,, [CrossRef] 9. Miller, A.R. Certain summation and transformation formulas for generalized hypergeometric series. J. Comput. Appl. Math. 009, 3, [CrossRef] 0. Miller, A.R.; Srivastava, H.M. Karlsson-Minton summation theorems for the generalized hypergeometric series of unit argument. Integral Transform. Spec. Funct. 00,, [CrossRef]. Minton, B.M. Generalized hypergeometric function of unit argument. J. Math. Phys. 970,, [CrossRef]. Rosengren, H. Karlsson-Minton type hypergeometric functions on the root system C n. J. Math. Anal. Appl. 003, 8, [CrossRef] 3. Srivastava, H.M. Generalized hypergeometric functions with integral parameter differences. Indag. Math. 973, 76, [CrossRef] 4. Prudnikov, A.P.; Brychkov, Y.A.; Marichev, O.I. More Special Functions; Integrals and Series; Gordon and Breach Science Publishers: Amsterdam, The Netherlands, 990; Volume 3. c 08 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution CC BY license