- Title
- Hypergeometric analogues of the arithmetic-goemetirc mean iteration
- Creator
- Borwein, J.; Borwein, P.; Garvan, F.
- Relation
- Constructive Approximation Vol. 9, Issue 4, p. 509-523
- Publisher Link
- http://dx.doi.org/10.1007/BF01204654
- Publisher
- Springer
- Resource Type
- journal article
- Date
- 1993
- Description
- The arithmetic-geometric mean iteration of Gauss and Legendre is the two-term iteration an+1=(an+bn)/2 and bn+1 = [formula could not be replicated] with ao:=1 and bo:=x. The common limit is 2F1(½,½;1;1−x2)-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:2F1(½−s1,½ + s; 1;·) with s=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.
- Subject
- Schwartz functions; hypergeometric functions; arithmetic geometric mean iteration; modular forms
- Identifier
- http://hdl.handle.net/1959.13/940945
- Identifier
- uon:13149
- Identifier
- ISSN:0176-4276
- Language
- eng
- Reviewed
- Hits: 3823
- Visitors: 4234
- Downloads: 2
Thumbnail | File | Description | Size | Format |
---|