Skip to main content
Log in

Hypergeometric analogues of the arithmetic-geometric mean iteration

  • Published:
Constructive Approximation Aims and scope

Abstract

The arithmetic-geometric mean iteration of Gauss and Legendre is the two-term iterationa n +1=(a n +b n )/2 and\(b_{n + 1} = \sqrt {a_n b_n } \) witha 0≔1 andb 0≔x. The common limit is2 F 1(1/2, 1/2; 1; 1−x 2)−1 and the convergence is quadratic.

This is a rare object with very few close relatives. There are however three other hypergeometric functions for which we expect similar iterations to exist, namely:2 F 1(1/2−s 1, 1/2+s; 1; ·) withs=1/3, 1/4, 1/6.

Our intention is to exhibit explicitly these iterations and some of their generalizations. These iterations exist because of underlying quadratic or cubic transformations of certain hypergeometric functions, and thus the problem may be approached via searching for invariances of the corresponding second-order differential equations. It may also be approached by searching for various quadratic and cubic modular equations for the modular forms that arise on inverting the ratios of the solutions of these differential equations. In either case, the problem is intrinsically computational. Indeed, the discovery of the identities and their proofs can be effected almost entirely computationally with the aid of a symbolic manipulation package, and we intend to emphasize this computational approach.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. Abramowitz, I. Stegun (1964): Handbook of Mathematical Functions. New York: Dover.

    Google Scholar 

  2. B. C. Berndt (1991): Ramanujan's Notebooks, Part III. New York: Springer-Verlag.

    Google Scholar 

  3. J. M. Borwein, P. B. Borwein (1987): Pi and the AGM—A Study in Analytic Number Theory and Computational Complexity. New York: Wiley.

    Google Scholar 

  4. J. M. Borwein, P. B. Borwein (1991):A cubic counterpart of Jacobi's identity and the AGM. Trans. Amer. Math. Soc.,323:691–701.

    Google Scholar 

  5. J. M. Borwein, P. B. Borwein (1990):A remarkable cubic iteration. In: Computational Methods and Function Theory. Springer Lecture Notes in Math., No. 1435. New York: Springer-Verlag. pp. 27–31.

    Google Scholar 

  6. J. M. Borwein, P. B. Borwein (1989): On the mean iteration\((a,b) \leftarrow {{((a + 3b)} \mathord{\left/ {\vphantom {{((a + 3b)} {4,}}} \right. \kern-\nulldelimiterspace} {4,}}{{(\sqrt {ab} + b)} \mathord{\left/ {\vphantom {{(\sqrt {ab} + b)} 2}} \right. \kern-\nulldelimiterspace} 2})\). Math. Comp.,53:311–326.

    Google Scholar 

  7. J. M. Borwein, P. B. Borwein, F. Garvan (to appear):Some cubic modular identities of Ramanujan. Trans. Amer. Math. Soc.

  8. R. P. Brent (1976):Fast multiple-precision evaluation of elementary functions. J. ACM,23:242–251.

    Google Scholar 

  9. A. Erdélyi (1953): Higher Transcendental Functions, Vols. 1, 2, 3, New York: McGraw-Hill.

    Google Scholar 

  10. G. Gasper, M. Rahman (1990): Basic Hypergeometric Series. Cambridge, UK: Cambridge University Press. Cambridge, 1990.

    Google Scholar 

  11. G. H. Hardy (1940): Ramanujan, Cambridge, UK: Cambridge University Press. 1940.

    Google Scholar 

  12. S. Ramanujan (1914):Modular equations and approximations to π. Quart. J. Math.,45:350–372.

    Google Scholar 

  13. E. Salamin (1976):Computation of π using arithmetic-geometric mean. Math. Comp.,30:565–570.

    Google Scholar 

  14. B. Schoeneberg (1974): Elliptic Modular Functions. New York: Springer-Verlag.

    Google Scholar 

  15. J. Tannery, J. Molk (1893): Fonctions Elliptiques, Vols. 1 and 2. Republished New York: Chelsea, 1972.

Download references

Author information

Authors and Affiliations

Authors

Additional information

Communicated by Mourad Ismail.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Borwein, J., Borwein, P. & Garvan, F. Hypergeometric analogues of the arithmetic-geometric mean iteration. Constr. Approx 9, 509–523 (1993). https://doi.org/10.1007/BF01204654

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01204654

AMS classification

Key words and phrases

Navigation