Four ways to compute the inverse of the complete elliptic integral of the first kind.

*(English)*Zbl 1360.65080Summary: The complete elliptic integral of the first kind arises in many applications. This article furnishes four different ways to compute the inverse of the elliptic integral. One motive for this study is simply that the author needed to compute the inverse integral for an application. Another is to develop a case study comparing different options for solving transcendental equations like those in the author’s book [Solving transcendental equations. The Chebyshev polynomial proxy and other numerical rootfinders, perturbation series, and oracles. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2014; Zbl 1311.65047)]. A third motive is to develop analytical approximations, more useful to theorists than mere numbers. A fourth motive is to provide robust “black box” software for computing this function. The first solution strategy is “polynomialization” which replaces the elliptic integral by an exponentially convergent series of Chebyshev polynomials. The transcendental equation becomes a polynomial equation which is easily solved by finding the eigenvalues of the Chebyshev companion matrix. (The numerically ill-conditioned step of converting from the Chebyshev to monomial basis is never necessary). The second approximation is a regular perturbation series, accurate where the modulus is small. The third is a power-and-exponential series that converges over the entire range parameter range, albeit only sub-exponentially in the limit of zero modulus. Lastly, Newton’s iteration is promoted from a local iteration to a global method by a Never-Failing Newton’s Iteration (NFNI) in the form of the exponential of the ratio of a linear function divided by another linear polynomial. A short Matlab implementation is provided, easily translatable into other languages. The Matlab/Newton code is recommended for numerical purposes. The other methods are presented because (i) all are broadly applicable strategies useful for other rootfinding and inversion problems (ii) series and substitutions are often much more useful to theorists than numerical software and (iii) the Never-Failing Newton’s Iteration was discovered only after a great deal of messing about with power series, inverse power series and so on.

Reviewer: Reviewer (Berlin)

##### MSC:

65D20 | Computation of special functions and constants, construction of tables |

33E05 | Elliptic functions and integrals |

33F05 | Numerical approximation and evaluation of special functions |

Full Text:
DOI

##### References:

[1] | (Olver, F. W.J.; Lozier, D. W.; Boisvert, R. F.; Clark, C. W., NIST Handbook of Mathematical Functions, (2010), Cambridge University Press New York) · Zbl 1198.00002 |

[2] | Fukushima, T., J. Comput. Appl. Math., 249, 37-50, (2013) |

[3] | Amore, P., Phys. Rev. D, 76, 076001, (2007) |

[4] | Amore, P.; Fernandez, F. M., J. Chem. Phys., 138, 084511, (2013) |

[5] | Amore, P., J. Phys. A Math. Theoret., 41, 025201, (2008) |

[6] | Boyd, J. P., SIAM Rev., 55, 375-396, (2013) |

[7] | Boyd, J. P., Solving transcendental equations: the Chebyshev polynomial proxy and other numerical rootfinders, perturbation series and oracles, 490, (2010), SIAM Philadelphia |

[8] | Boyd, J. P., J. Comput. Phys., 70, 63-88, (1987) |

[9] | Boyd, J. P., Chebyshev and Fourier spectral methods, 680, (2001), Dover New York |

[10] | Pearce, C. J., Adv. Phys., 27, 89-148, (1978) |

[11] | Morse, P. M.; Feshbach, H., Methods of theoretical physics, (two volumes), (1953), McGraw-Hill New York |

[12] | Boyd, J. P., (Hesthaven, J. S.; Ronquist, E. M., Spectral and Higher Order Methods for Partial Differential Equations: Proceedings of ICOSAHOM ’09 Conference, June 22-26, Trondheim, Norway, Lecture Notes in Computational Science and Engineering, vol. 76, (2011), Springer-Verlag New York), 131-140 |

[13] | Boyd, J. P.; Moore, D. W., Dyn. Atmos. Oceans, 10, 51-62, (1986) |

[14] | Bulirsch, R., Numer. Math., 78-90, (1965) |

[15] | Bulirsch, R., Numer. Math., 7, 353-354, (1965) |

[16] | Bulirsch, R., Numer. Math., 13, 303-315, (1965) |

[17] | Carlson, B. C., Numer. Math., 33, 1-16, (1979) |

[18] | Carlson, B. C., Numer. Algorithms, 10, 13-26, (1995) |

[19] | Carlson, B. C.; Notis, E. M., ACM Trans. Math. Software, 7, 3, 398-403, (1981) |

[20] | Cody, W. J., Math. Comp., 19, 105-112, (1965) |

[21] | Cody, W. J., Math. Comp., 19, 266-284, (1965) |

[22] | Cody, W. J., Math. Comp., 20, 207, (1966), (corrigendum) |

[23] | DiDonato, A. R.; Hershey, A. V., J. Assoc. Comput. Mach., 6, 515-526, (1959) |

[24] | Fukushima, T., J. Comput. Appl. Math., 235, 4140-4148, (2011) |

[25] | Fukushima, T., Math. Comp., 80, 275, 1725-1743, (2011) |

[26] | Lee-Whiting, G. E., J. Assoc. Comput. Mach., 10, 126-130, (1963) |

[27] | Van de Vel, H., Math. Comp., 23, 61-69, (1969) |

[28] | Abramowitz, M.; Stegun, I. A., Handbook of mathematical functions, (1965), Dover New York · Zbl 0515.33001 |

[29] | Oldham, K.; aand Jerome Spanier, J. M., An atlas of functions: with equator, the atlas function calculator, 750, (2008), Springer New York |

[30] | Byrd, P. F.; Friedman, M. D., Handbook on elliptic integrals for engineers and physicists, (1971), Springer-Verlag · Zbl 0213.16602 |

[31] | Boyd, J. P., Appl. Math. Comput., 218, 7005-7013, (2012) |

[32] | Fukushima, T., J. Comput. Appl. Math., 237, 43-61, (2013) |

[33] | Boyd, J. P., Solving transcendental equations: the Chebyshev polynomial proxy and other numerical rootfinders, perturbation series and oracles, 460, (2014), SIAM Philadelphia · Zbl 1311.65047 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.