On Hypergeometrics 3F2(1) - A Review

Michael Milgram
DOI: https://doi.org/10.48550/arXiv.1011.4546
2010-11-20
Abstract:By systematically applying ten well-known and inequivalent two-part relations between hypergeometric sums 3F2(...|1) to the published database of all such sums, 62 new sums are obtained. The existing literature is summarized, and many purportedly novel results extracted from that literature are shown to be special cases of these new sums. The general problem of finding elements contiguous to Watson's, Dixon's and Whipple's theorems is reduced to a simple algorithm suitable for machine computation. Several errors in the literature are corrected or noted. The present paper both summarizes and extends a previous work on this subject.
Classical Analysis and ODEs,Mathematical Physics
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the evaluation problem of the hypergeometric function \( _3F_2(1) \). Specifically, by systematically applying ten known and non - equivalent bipartite relations, the author processed all such sums in the published databases and obtained 62 new sums. In addition, the paper also summarized the existing literature and pointed out that many results considered novel are actually special cases of these new sums. The paper also simplified the general problem, that is, the problem of finding adjacent elements to Watson, Dixon and Whipple theorems, reducing it to a simple algorithm suitable for machine computation. At the same time, the paper corrected or pointed out some errors in the literature. ### Main Research Contents: 1. **Discovery of New Sums**: By applying ten known and non - equivalent bipartite relations, the author discovered 62 new hypergeometric sums from the existing databases. 2. **Literature Review**: Summarized the existing literature and pointed out that many results considered novel are actually special cases of these new sums. 3. **Algorithm Simplification**: Simplified the general problem of finding adjacent elements to Watson, Dixon and Whipple theorems into a simple algorithm suitable for machine computation. 4. **Error Correction**: Corrected or pointed out some errors in the literature. 5. **Extended Research**: Based on Maier's work, further extended the results and obtained more new hypergeometric sums. ### Specific Problem - Solving Methods: - **Applying Bipartite Relations**: By systematically applying ten known and non - equivalent bipartite relations, all hypergeometric sums in the published databases were processed. - **Algorithm Implementation**: Developed a simple algorithm for machine computation to find elements adjacent to Watson, Dixon and Whipple theorems. - **Numerical Verification**: Numerically verified the newly discovered sums to ensure their correctness. - **Literature Comparison**: Compared with the existing literature, corrected some errors and pointed out that some so - called "novel" results are actually special cases of known results. ### Conclusion: Through these methods, the author not only discovered new hypergeometric sums, but also provided a more systematic method to process and verify these sums, thus providing new tools and references for research in related fields.