A generalization of Euler’s hypergeometric transformation

Maier, Robert

doi:10.1090/S0002-9947-05-04045-6

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Browser Compatibility Info Help
ISSN 1088-6850(online) ISSN 0002-9947(print)

A generalization of Euler's hypergeometric transformation

Author: Robert S. Maier
Journal: Trans. Amer. Math. Soc. 358 (2006), 39-57
MSC (2000): Primary 33C20; Secondary 33C05, 34Mxx
Posted: August 25, 2005
MathSciNet review: 2171222
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Euler's transformation formula for the Gauss hypergeometric function ${}_2F_1$ is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but not linearly. Its consequences for hypergeometric summation are explored. It has as a corollary a summation formula of Slater. From this formula new one-term evaluations of ${}_2F_1(-1)$ and ${}_3F_2(1)$ are derived by applying transformations in the Thomae group. Their parameters are also constrained nonlinearly. Several new one-term evaluations of ${}_2F_1(-1)$ with linearly constrained parameters are derived as well.

[AAR99] George E. Andrews, Richard Askey, and Ranjan Roy, Special functions, Encyclopedia of Mathematics and its Applications, vol. 71, Cambridge University Press, Cambridge, 1999. MR 1688958 (2000g:33001)
[Ask89] Richard Askey, Variants of Clausen’s formula for the square of a special ₂𝐹₁, Number theory and related topics (Bombay, 1988) Tata Inst. Fund. Res. Stud. Math., vol. 12, Tata Inst. Fund. Res., Bombay, 1989, pp. 1–12. MR 1441321 (98f:33003)
[Ask94] Richard Askey, A look at the Bateman project, functions (Brooklyn, NY, 1992) Contemp. Math., vol. 169, Amer. Math. Soc., Providence, RI, 1994, pp. 29–43. MR 1292896 (97f:33001), http://dx.doi.org/10.1090/conm/169/01650
[Bai53] W. N. Bailey, On the sum of a terminating ₃𝐹₂(1), Quart. J. Math., Oxford Ser. (2) 4 (1953), 237–240. MR 0057381 (15,218d)
[BLS87] W. A. Beyer, J. D. Louck, and P. R. Stein, Group theoretical basis of some identities for the generalized hypergeometric series, J. Math. Phys. 28 (1987), no. 3, 497–508. MR 877220 (88j:33003), http://dx.doi.org/10.1063/1.527634
[Dzh64] V. A. Džrbašjan, On a theorem of Whipple, Ž. Vyčisl. Mat. i Mat. Fiz. 4 (1964), 348–351 (Russian). MR 0160945 (28 #4154)
[Ext99] H. Exton, A new two-term relation for the ₃𝐹₂ hypergeometric function of unit argument, J. Comput. Appl. Math. 106 (1999), no. 2, 395–397. MR 1696419 (2000c:33006), http://dx.doi.org/10.1016/S0377-0427(99)00077-1
[Gos76] R. Wm. Gosper Jr., A calculus of series rearrangements, Algorithms and complexity (Proc. Sympos., Carnegie-Mellon Univ., Pittsburgh, Pa., 1976), Academic Press, New York, 1976, pp. 121–151. MR 0451617 (56 #9899)
[Gou81] É. Goursat, Sur l'équation différentielle linéaire qui admet pour intégrale la série hypergéométrique, Ann. Sci. École Normale Sup. (2) 10 (1881), S3-S142.
[Gou72] Henry W. Gould, Combinatorial identities, Henry W. Gould, Morgantown, W.Va., 1972. A standardized set of tables listing 500 binomial coefficient summations. MR 0354401 (50 #6879)
[GS82] Ira Gessel and Dennis Stanton, Strange evaluations of hypergeometric series, SIAM J. Math. Anal. 13 (1982), no. 2, 295–308. MR 647127 (83c:33002), http://dx.doi.org/10.1137/0513021
[Har23] G. H. Hardy, A chapter from Ramanujan's note-book, Proc. Cambridge Philos. Soc. 21 (1923), no. 5, 492-503.
[Koe98] Wolfram Koepf, Hypergeometric summation, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1998. An algorithmic approach to summation and special function identities. MR 1644447 (2000c:33002)
[KS03] C. Krattenthaler and K. Srinivasa Rao, Automatic generation of hypergeometric identities by the beta integral method, Proceedings of the International Conference on Special Functions and their Applications (Chennai, 2002), 2003, pp. 159–173. MR 2022609 (2005a:33023), http://dx.doi.org/10.1016/S0377-0427(03)00629-0
[Luk69] Yudell L. Luke, The special functions and their approximations, Vol. I, Mathematics in Science and Engineering, Vol. 53, Academic Press, New York, 1969. MR 0241700 (39 #3039)
Yudell L. Luke, The special functions and their approximations. Vol. II, Mathematics in Science and Engineering, Vol. 53, Academic Press, New York, 1969. MR 0249668 (40 #2909)
[Luk75] Yudell L. Luke, Mathematical functions and their approximations, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, 1975. MR 0501762 (58 #19039)
[Nib53] J. D. Niblett, Some hypergeometric identities, Pacific J. Math. 2 (1952), 219–225. MR 0047837 (13,940c)
[PBM90] A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marichev, Integrals and series. Vol. 3, Gordon and Breach Science Publishers, New York, 1990. More special functions; Translated from the Russian by G. G. Gould. MR 1054647 (91c:33001)
[PWZ96] Marko Petkovšek, Herbert S. Wilf, and Doron Zeilberger, 𝐴=𝐵, A K Peters Ltd., Wellesley, MA, 1996. With a foreword by Donald E. Knuth; With a separately available computer disk. MR 1379802 (97j:05001)
[Rai45] Earl D. Rainville, The contiguous function relations for _{𝑝}𝐹_{𝑞} with applications to Bateman’s 𝐽_{𝑛}^{𝑢,𝑣} and Rice’s 𝐻_{𝑛}(𝜁,𝑝,𝑣), Bull. Amer. Math. Soc. 51 (1945), 714–723. MR 0012726 (7,65d), http://dx.doi.org/10.1090/S0002-9904-1945-08425-0
[Roy87] Ranjan Roy, Binomial identities and hypergeometric series, Amer. Math. Monthly 94 (1987), no. 1, 36–46. MR 873603 (88f:05012), http://dx.doi.org/10.2307/2323500
[Sea09] J. H. C. Searle, The summation of certain series, Messenger Math. 38 (1909), 138-144.
[Shu58] H. S. Shukla, Certain transformations of nearly-poised bilateral hypergeometric series of special type, Canad. J. Math. 10 (1958), 195–201. MR 0095298 (20 #1801)
[Sla55] L. J. Slater, A note on the partial sum of a certain hypergeometric series, Math. Gaz. 39 (1955), 217-218.
[Sla66] Lucy Joan Slater, Generalized hypergeometric functions, Cambridge University Press, Cambridge, 1966. MR 0201688 (34 #1570)
[Sta98] D. Stanton, A hypergeometric hierarchy for the Andrews evaluations, Ramanujan J. 2 (1998), no. 4, 499–509. MR 1665324 (99k:33015), http://dx.doi.org/10.1023/A:1009784911098
[Tho79] J. Thomae, Ueber die Funktionen, welche durch Reihen von der Form dargestellt werden $1 + \frac{p}{1} \frac{p'}{q'}\frac{p''}{q''} + \frac{p}{1}\frac{p+1}{2} \frac{p'}{q'}\frac{p'+1}{q'+1} \frac{p''}{q''}\frac{p''+1}{q''+1}+\cdots$ , J. Reine Angew. Math. 87 (1879), 26-73.
[Vid02] Raimundas Vidunas, A generalization of Kummer’s identity, Rocky Mountain J. Math. 32 (2002), no. 2, 919–936. Conference on Special Functions (Tempe, AZ, 2000). MR 1934920 (2003j:33011), http://dx.doi.org/10.1216/rmjm/1030539701
[Vid04] -, Algebraic transformations of Gauss hypergeometric functions, Preprint, available as arXiv:math.CA/0408269, 2004.
[Whi24] F. J. W. Whipple, A group of generalized hypergeometric series: Relations between 120 allied series of the type $F\bigl[{{a,b,c}\atop{e,f}}\bigr]$ , Proc. London Math. Soc. (2) 23 (1924), no. 2, 104-114.
[Whi29] -, On series allied to the hypergeometric series with argument , Proc. London Math. Soc. (2) 30 (1929), no. 2, 81-94.
[Wim81] Jet Wimp, The computation of ₃𝐹₂(1), Internat. J. Comput. Math. 10 (1981/82), no. 1, 55–62. MR 644716 (83d:65053), http://dx.doi.org/10.1080/00207168108803266
[Wim83] Jet Wimp, Irreducible recurrences and representation theorems for ₃𝐹₂(1), Comput. Math. Appl. 9 (1983), no. 5, 669–678. MR 726815 (85b:33005), http://dx.doi.org/10.1016/0898-1221(83)90124-4
[Wim98] Jet Wimp, The umbral calculus and identities for hypergeometric functions with special arguments, Mathematical essays in honor of Gian-Carlo Rota (Cambridge, MA, 1996), Progr. Math., vol. 161, Birkhäuser Boston, Boston, MA, 1998, pp. 439–457. MR 1627394 (99i:05023)
[Zei92] Doron Zeilberger, Gauss’s ₂𝐹₁(1) cannot be generalized to ₂𝐹₁(𝑥), J. Comput. Appl. Math. 39 (1992), no. 3, 379–382. MR 1164298 (93i:33002), http://dx.doi.org/10.1016/0377-0427(92)90211-F

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|