Generalized Extension of Watson's theorem for the series $_{3}F_{2}(1)$
Medhat A. Rakha, Mohammed M. Awad, Asmaa O. Mohammed

TL;DR
This paper extends Watson's theorem for the hypergeometric series $_{3}F_{2}(1)$ by deriving an explicit summation formula involving arbitrary parameters, broadening its applicability in mathematics, physics, and statistics.
Contribution
It provides a generalized explicit expression for Watson's $_{3}F_{2}$ summation theorem with arbitrary parameters, extending the classical result.
Findings
Derived a new summation formula for $_{3}F_{2}$ with arbitrary parameters
Generalized Watson's theorem to include additional parameters
Enhanced the applicability of $_{3}F_{2}$ series in various fields
Abstract
The hypergeometric function plays a very significant role in the theory of hypergeometric and generalized hypergeometric series. Despite that hypergeometric function has several applications in mathematics, also it has a lot of applications in physics and statistics. The fundamental purpose of this research paper is to find out the explicit expression of the Watson's classical summation theorem of the form: \[ _{3}F_{2}\left[ \begin{array} [c]{ccccc}% a, & b, & c & & \\ & & & ; & 1\\ \frac{1}{2}(a+b+i+1), & 2c+j & & & \end{array} \right] \] with arbitrary and , where for , we get the well known Watson's theorem for the series .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical functions and polynomials · Algebraic and Geometric Analysis · Advanced Mathematical Identities
Generalized Extension of Watson’s theorem for the series
Medhat A. Rakha, Mohammed M. Awad, Asmaa O. Mohammed
Medhat A. Rakha
Department of Mathematics, Faculty of Science, Suez Canal University, El-Sheik Zayed 41522, Ismailia - EGYPT
Mohammed M. Awad
Department of Mathematics, Faculty of Science, Suez Canal University, El-Sheik Zayed 41522, Ismailia - EGYPT
Asmaa O. Mohammed
Department of Mathematics, Faculty of Science, Suez Canal University, El-Sheik Zayed 41522, Ismailia - EGYPT
Abstract.
The hypergeometric function plays a very significant role in the theory of hypergeometric and generalized hypergeometric series. Despite that hypergeometric function has several applications in mathematics, also it has a lot of applications in physics and statistics.
The fundamental purpose of this research paper is to find out the explicit expression of the Watson’s classical summation theorem of the form:
[TABLE]
with arbitrary and , where for , we get the well known Watson’s theorem for the series .
Key words and phrases:
Hypergeometric Summation Theorems, Watson’s Theorem
2000 Mathematics Subject Classification:
33C05, 33C20, 33C70
M. A. Rakha: Corresponding Author
1. Introduction
The generalized hypergeometric function with numerator and denominator parameters is defined by [1]
[TABLE]
where denotes the shifted factorial defined for any complex number , by
[TABLE]
Using the main property , can be written as
[TABLE]
It should by noted here that whenever hypergeometric and generalized hypergeometric functions summarized to be represented in term of Gamma function, the outcomes are critical from a theoretical and an appropriate point of view. Only some of summation theorems are available in literature, and it is Known as the classical summation theorems such as Gauss, Gauss’s second, Kummer, and Bailey for the series , Watson, Dixon, and Whipple for the series .
The hypergeometric function plays a very remarkable part in the theory of hypergeometric and generalized hypergeometric series. Despite that hypergeometric function has several applications in mathematics such as in:
Differential Equations: Since the generalized hypergeometric function and the monodromy of generalized hypergeometric function represented solutions of Picard-Fuchs equations, which used to solve many problems in classical mechanics and mathematical physics. For more information about such applications, see [17].
- 2.
Conformal Mapping: Since in [18] de Branges used the inequality
[TABLE]
where and , to proof the Bieberbach conjecture. Where the proof of this inequality is given in [29], see also [30].
- 3.
Combinatorics and Number Theory: Many combinatorial identities are particular case of hypergeometric identities. For more details about such applications, see [19],
also it has a lot of applications in physics and statistics such as:
Random Walks: Generalized hypergeometric function and Appell features appear in the assessment of the so-referred to as Watson integrals which symbolize the handiest possible lattice walks. They are also probably useful for the solution of extra complicated constrained lattice stroll issues. For further information about such application see [20].
- 2.
Loop Integrals in Feynman Diagrams: Appell hypergeometric function gave One-loop integrals in Feynman diagrams also extension to two-loop, [21, 22].
- 3.
, and Symbols: Since we can use functions with a unit argument to define the symbols, which assume a critical part in the decay of reducible representations of the turning group into irreducible representations. Also recently, special cases of the symbols are functions with a unit argument. Many of combinatorial identities are individual cases of hypergeometric identities, see [23, 24].
Now, we begin by introducing the classical Watson’s summation theorem of unit argument [4], which takes the form:
[TABLE]
where .
In [2], Watson gave the demonstrate of (1.6) when one of the parameters or is a negative integer, and subsequently was established more generally in the non-terminating case by Whipple in [3].
The standard prove of (1.6) given in [4, p.149] and [5, p.54], depend on the following transformation due to Thomae [6]:
[TABLE]
where , and .
MacRobert [7] provided an alternative and more interested proof, by using the quadratic transformation for the Gauss’s hypergeometric function [1, Theorem 25, p. 67]:
[TABLE]
valid for and .
Recently Rathie and Paris [8] gave a basic confirmation of (1.6) that just depends on the Gauss summation theorem for the hypergeometric function, namely, [9]:
[TABLE]
where , while Rakha in [10] gave an extremely straightforward proof of(1.6) by using the Gauss’s second summation theorem:
[TABLE]
In 1987, Lavoie [11], obtained the following two summation formulas
[TABLE]
provided , and
[TABLE]
provided
In 1992, Lavoie et al. in [12], took out explicit expression of the series
[TABLE]
for , where at we obtain (1.6).
Other remarkable results of such computations, are:
Stainislaw [13], in 1997 gave an analytical formula for (1.17) with a fixed and arbitrary .
- 2.
Kim et al., in [14], have obtained the above result (1.17) for and .
- 3.
Chu [15], in 2012, investigates the generalized Watson’s series with two extra integer parameters by combining the linearization method with Dougall’s sum for well-poised -series.
- 4.
in 2013, Rakha et al. in [16], established result (1.17) for .
The major purpose of this paper is to find explicit extensions of the classical Watson’s summation theorem (1.17) for any and , to have more summations theorems as well as more contiguous relations about the , hypergeometric series.
2. Main Results
Let us consider that
[TABLE]
It is clear that
[TABLE]
from which, we conclude the following general important main relation:
[TABLE]
So, if we know , we can generate for any values of and .
2.1. Special Cases
- (1)
When in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.18), pp. 229], [11, Result (2), pp.269],[12, Result (1),pp.24], [25, Eq.(4.4),pp.12] and [28, Theorem 4, p.147].
- (a)
In such a case, the result when , and , appeared in [26, Result 209, p. 459]. 2. (b)
In such a case the result when , and , appeared in [27, Eq. 26]. 2. (2)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.18), pp.229], [28, Theorem 5, pp.148], [12, Result (1), pp.24], and [28, Theorem 2, pp. 144].
In such a case, the results when , , ; , , and ; appeared in [26, Results 187, 188 & 211, pages 458, 458 & 459], respectively. 3. (3)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.3.18, pp.229],[25, Eq.(4.5),pp.12] and [12, Result(1),pp.24].
In such a case, the results when , , ; , , and , , ; appeared in [26, Results 204, 234 & 242, pages 459 & 460], respectively. 4. (4)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.18), pp.229] and [13, Result(2.23), pp.380].
In such a case, the result when , and , appeared in [26, Result (237), p.460]. 5. (5)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq. (3.18), pp.229].
In such a case, the result when , appeared in [26, Results 240 & 239, page 460]. 6. (6)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.18), pp.229] and [13, Result (2.22), pp.380].
In such a case, the results when , and , appeared in [26, Results 238 & 241, p. 460], respectively. 7. (7)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result (1), pp.24], [16, Eq.(3.18), pp.229], [15, Example (11), pp.9] and [28, Theorem (1), pp.143]. 8. (8)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result(1), pp.24] and [16, Eq. (3.18), pp.229]. 9. (9)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.18), pp.229]. 10. (10)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.18), pp.229]. 11. (11)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.18), pp.229]. 12. (12)
When and in (2.6), we obtain
[TABLE]
which appeared in [16, Eq.(3.20), pp. 230] and [12, Result (1), pp.24].
In such a case, the results when , , ;, , ; , ; , ; , and , appeared in [26, Results 123, 130, 136, 137, 160 & 203, pages 456, 457 & 459]. 13. (13)
When and in (2.6) we obtain
[TABLE]
which appeared in [12, Result (1), pp. 24], [28, Theorem (5), pp.148] and [15, Example (9), pp.8].
In such a case, the result when , and , appeared in [26, Result 148,p.457]. 14. (14)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result(1), pp.24].
In such a case, the result when , and , appeared in [26, Result 139, p. 456]. 15. (15)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result(1),pp.24], [16, Eq.(3.19), pp. 230], [11, Result(1), pp. 269] and [28, Theorem (7), pp. 152].
In such a case, the result when , and , appeared in [26, Result 172, p.458] & [31, Result(2.9),pp.5]. 16. (16)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result(1), pp. 24],[16, Eq.(3.20), pp. 230], [15, Example(10), pp. 8] and [28, Theorem (8), pp.153]. 17. (17)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result(1), pp.24].
In such a case, the results when , and appeared in [26, Results 243, page 460]. 18. (18)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result(1), pp.24], [15, Example(10), pp. 8] and [28, Theorem(8), pp. 153]. 19. (19)
When and in (2.6), we obtain
[TABLE]
which appeared in [12, Result(1), pp.24], [15, Example(12), pp. 9] and [28, Theorem(6), pp. 150].
3. Concluding Remarks
Various other special cases of our result can be obtained.
- 2.
Many new identities and relations which obtained from our result are under examinations and will be published later.
- 3.
We have already established in the previous section a recursive relation (2.6), that generalized the extension of Watson summation theorem . Another explicit expression of (1.17) that generalize our result (2.6), can be presented in the next theorem.
Theorem 3.1**.**
[TABLE]
where is defined as in (2.5).
Conflict of Interests
The authors declare that they have no any conflict of interests.
Acknowledgments
All authors contributed equally in this paper. They read and approved the final manuscript.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] E. D. Rainville, Special functions, Macmillan, New York, (1960).
- 2[2] G. N. Watson, A note on generalized hypergeometric series, Proc. Lond. Math. Soc. (2), 23 (1925).
- 3[3] F. J. W. Whipple, A group of generalized hypergeometric series: relations between 120 allied series of the type F(a, b, c; e, f), Proc. Lond. Math. Soc.(2), 104-114, 23, (1925).
- 4[4] W.N. Bailey, Generalized hypergeometric series, Cambridge University Press, (1985).
- 5[5] L.J. Slater, Generalized Hypergeometric Functions, Cambridge University Press, Cambridge (1966).
- 6[6] J. Thomae, Ueber die funktionen welche durch reihen von der Form dargestellt werden …, J. FÄur Math., 26-73, 87 (1879).
- 7[7] T. M. Mac Robert, Functions of complex variables, 5th edition,Macmillan, London, (1962).
- 8[8] A.K. Rathie and R.B. Paris, A new proof of Watson’s theorem for the series 3F 2, Appl. Math. Sci., 3, 161-164, No 4 (2009).
