Transactions of the American Mathematical Society

Author(s): Robert S. Maier
Journal: Trans. Amer. Math. Soc. 358 (2006), 39-57.
MSC (2000): Primary 33C20; Secondary 33C05, 34Mxx
Posted: August 25, 2005
Retrieve article in: PDF DVI PostScript

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]

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. 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 , 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)

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

Robert S. Maier
Affiliation: Departments of Mathematics and Physics, University of Arizona, Tucson, Arizona 85721
Email: rsm@math.arizona.edu

DOI: 10.1090/S0002-9947-05-04045-6
PII: S 0002-9947(05)04045-6
Received by editor(s): April 11, 2003
Posted: August 25, 2005
Additional Notes: This work was partially supported by NSF grant PHY-0099484.
Copyright of article: Copyright 2005, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-6850(e) ISSN 0002-9947(p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues Previous Article \| Next Article


	Comments: webmaster@ams.org © Copyright 2008, American Mathematical Society Privacy Statement		Search the AMS