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.
Similar content being viewed by others
References
M. Abramowitz, I. Stegun (1964): Handbook of Mathematical Functions. New York: Dover.
B. C. Berndt (1991): Ramanujan's Notebooks, Part III. New York: Springer-Verlag.
J. M. Borwein, P. B. Borwein (1987): Pi and the AGM—A Study in Analytic Number Theory and Computational Complexity. New York: Wiley.
J. M. Borwein, P. B. Borwein (1991):A cubic counterpart of Jacobi's identity and the AGM. Trans. Amer. Math. Soc.,323:691–701.
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.
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.
J. M. Borwein, P. B. Borwein, F. Garvan (to appear):Some cubic modular identities of Ramanujan. Trans. Amer. Math. Soc.
R. P. Brent (1976):Fast multiple-precision evaluation of elementary functions. J. ACM,23:242–251.
A. Erdélyi (1953): Higher Transcendental Functions, Vols. 1, 2, 3, New York: McGraw-Hill.
G. Gasper, M. Rahman (1990): Basic Hypergeometric Series. Cambridge, UK: Cambridge University Press. Cambridge, 1990.
G. H. Hardy (1940): Ramanujan, Cambridge, UK: Cambridge University Press. 1940.
S. Ramanujan (1914):Modular equations and approximations to π. Quart. J. Math.,45:350–372.
E. Salamin (1976):Computation of π using arithmetic-geometric mean. Math. Comp.,30:565–570.
B. Schoeneberg (1974): Elliptic Modular Functions. New York: Springer-Verlag.
J. Tannery, J. Molk (1893): Fonctions Elliptiques, Vols. 1 and 2. Republished New York: Chelsea, 1972.
Author information
Authors and Affiliations
Additional information
Communicated by Mourad Ismail.
Rights 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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01204654