Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

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
Published electronically: August 25, 2005
MathSciNet review: 2171222
Full-text PDF

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.

References [Enhancements On Off] (What's this?)

  • [AAR99] G. E. Andrews, R. Askey, and R. Roy, Special Functions, Encyclopedia of Mathematics and Its Applications, vol. 71, Cambridge University Press, Cambridge, UK, 1999. MR 1688958 (2000g:33001)
  • [Ask89] R. Askey, Variants of Clausen's formula for the square of a special ${}_2F_1$, in Number Theory and Related Topics, Tata Institute of Fundamental Research Studies in Mathematics, no. 12, Oxford University Press, Oxford, 1989, pp. 1-12. MR 1441321 (98f:33003)
  • [Ask94] -, A look at the Bateman project, in The Mathematical Legacy of Wilhelm Magnus: Groups, Geometry, and Special Functions (W. Abikoff, J. S. Birman, and K. Kuiken, eds.), Contemporary Mathematics, vol. 169, American Mathematical Society, Providence, RI, 1994, pp. 29-43. MR 1292896 (97f:33001)
  • [Bai53] W. N. Bailey, On the sum of a terminating ${}_3F_2$, Quart. J. Math. Oxford Ser. (2) 4 (1953), no. 15, 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 function, J. Math. Phys. 28 (1987), no. 3, 497-508. MR 0877220 (88j:33003)
  • [Dzh64] V. A. Dzhrbashyan [Dzrbasjan], On a theorem of Whipple, U.S.S.R. Comput. Math. and Math. Phys. 4 (1964), 190-194. MR 0160945 (28:4154)
  • [Ext99] H. Exton, A new two-term relation for the ${}_3F_2$ hypergeometric function of unit argument, J. Comp. Appl. Math. 106 (1999), no. 2, 395-397. MR 1696419 (2000c:33006)
  • [Gos76] R. Wm. Gosper, Jr., A calculus of series rearrangements, Algorithms and Complexity: New Directions and Recent Results (J. F. Traub and H. T. Kung, eds.), 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] H. W. Gould, Combinatorial identities: A standardized set of tables listing 500 binomial coefficient summations, Privately printed, Morgantown, WV, 1972. MR 0354401 (50:6879)
  • [GS82] I. Gessel and D. Stanton, Strange evaluations of hypergeometric series, SIAM J. Math. Anal. 13 (1982), no. 2, 295-308. MR 0647127 (83c:33002)
  • [Har23] G. H. Hardy, A chapter from Ramanujan's note-book, Proc. Cambridge Philos. Soc. 21 (1923), no. 5, 492-503.
  • [Koe98] W. Koepf, Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities, Vieweg-Verlag, Braunschweig, Germany, 1998. MR 1644447 (2000c:33002)
  • [KS03] C. Krattenthaler and K. Srinivasa Rao, Automatic generation of hypergeometric identities by the beta integral method, J. Comp. Appl. Math. 160 (2003), no. 1-2, 159-173. MR 2022609 (2005a:33023)
  • [Luk69] Y. L. Luke, The Special Functions and Their Approximations, Academic Press, New York, 1969. MR 0241700 (39:3039); MR 0249668 (40:2909)
  • [Luk75] -, Mathematical Functions and Their Approximations, Academic Press, New York, 1975. MR 0501762 (58:19039)
  • [Nib53] J. D. Niblett, Some hypergeometric identities, Pacific J. Math. 2 (1953), no. 2, 219-225. MR 0047837 (13:940c)
  • [PBM90] A. P. Prudnikov, Iu. A. Brychkov, and O. I. Marichev, More Special Functions, Integrals and Series, vol. 3, Gordon and Breach, New York, 1990. MR 1054647 (91c:33001)
  • [PWZ96] M. Petkovsek, H. S. Wilf, and D. Zeilberger, $A=B$, A. K. Peters, Wellesley, MA, 1996. MR 1379802 (97j:05001)
  • [Rai45] E. D. Rainville, The contiguous function relations for ${}_pF_q$ with applications to Bateman's $J_n^{u,v}$ and Rice's $H_n(\xi,p,v)$, Bull. Amer. Math. Soc. 51 (1945), 714-723. MR 0012726 (7:65d)
  • [Roy87] R. Roy, Binomial identities and hypergeometric series, Amer. Math. Monthly 94 (1987), no. 1, 36-46. MR 0873603 (88f:05012)
  • [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), no. 2, 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] -, Generalized Hypergeometric Functions, Cambridge University Press, Cambridge, UK, 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)
  • [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] R. Vidunas, A generalization of Kummer's identity, Rocky Mountain J. Math. 32 (2002), no. 2, 919-936. MR 1934920 (2003j:33011)
  • [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 $-1$, Proc. London Math. Soc. (2) 30 (1929), no. 2, 81-94.
  • [Wim81] Jet Wimp, The computation of ${}_3F_2(1)$, Internat. J. Comput. Math. 10 (1981), no. 1, 55-62. MR 0644716 (83d:65053)
  • [Wim83] -, Irreducible recurrences and representation theorems for ${}_3F_2$, Comput. Math. Appl. 9 (1983), no. 5, 669-678. MR 0726815 (85b:33005)
  • [Wim98] -, The umbral calculus and identities for hypergeometric functions with special arguments, in Mathematical Essays in Honor of Gian-Carlo Rota (B. E. Sagan and R. P. Stanley, eds.), Progress in Mathematics, vol. 161, Birkhäuser, Boston/Basel, 1998, pp. 439-457. MR 1627394 (99i:05023)
  • [Zei92] D. Zeilberger, Gauss's ${}_2F_1(1)$ cannot be generalized to ${}_2F_1(x)$, J. Comp. Appl. Math. 39 (1992), no. 3, 379-382. MR 1164298 (93i:33002)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 33C20, 33C05, 34Mxx

Retrieve articles in all journals with MSC (2000): 33C20, 33C05, 34Mxx

Additional Information

Robert S. Maier
Affiliation: Departments of Mathematics and Physics, University of Arizona, Tucson, Arizona 85721

Received by editor(s): April 11, 2003
Published electronically: August 25, 2005
Additional Notes: This work was partially supported by NSF grant PHY-0099484.
Article copyright: © Copyright 2005 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society