Numerical Algorithms

, Volume 59, Issue 3, pp 447–485 | Cite as

Acceleration of generalized hypergeometric functions through precise remainder asymptotics

  • Joshua L. WillisEmail author
Original Paper


We express the asymptotics of the remainders of the partial sums {s n } of the generalized hypergeometric function \({\ensuremath{{}_{q+1}F_q\!\left(\left.\begin{smallmatrix}\alpha_1,\ldots,\alpha_{q+1}\\ \beta_1,\ldots,\beta_q\end{smallmatrix}\right|z\right)}}\) through an inverse power series \(z^n n^{\lambda} \sum \frac{c_k}{n^k}\), where the exponent λ and the asymptotic coefficients {c k } may be recursively computed to any desired order from the hypergeometric parameters and argument. From this we derive a new series acceleration technique that can be applied to any such function, even with complex parameters and at the branch point z = 1. For moderate parameters (up to approximately ten) a C implementation at fixed precision is very effective at computing these functions; for larger parameters an implementation in higher than machine precision would be needed. Even for larger parameters, however, our C implementation is able to correctly determine whether or not it has converged; and when it converges, its estimate of its error is accurate.


Generalized hypergeometric functions Series acceleration Recurrence asymptotics 

Mathematics Subject Classifications (2010)

33C20 65B10 33F05 65D20 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Digital library of mathematical functions. (2010-05-07)
  2. 2.
    Adams, C.R.: On the irregular cases of linear ordinary difference equations. Trans. Am. Math. Soc. 30, 507–541 (1928)zbMATHCrossRefGoogle Scholar
  3. 3.
    Becken, W., Schmelcher, P.: The analytic continuation of the Gaussian hypergeometric function 2 F 1(a, b; c; z) for arbitrary parameters. J. Comput. Appl. Math. 126, 449–478 (2000)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Birkhoff, G.D.: General theory of linear difference equations. Trans. Am. Math. Soc. 12, 243–284 (1911)MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Birkhoff, G.D.: Formal theory of irregular linear difference equations. Acta Math. 54, 205–246 (1930)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Birkhoff, G.D., Trjintzinsky, W.T.: Analytic theory of singular difference equations. Acta Math. 60, 1–89 (1932)CrossRefGoogle Scholar
  7. 7.
    Bogolubsky, A.I., Skorokhodov, S.L.: Fast evaluation of the hypergeometric function p F p − 1(a; b; z) at the singular point z = 1 by means of the Hurwitz zeta function ζ(α, s). Prog. Comp. Softw. 32, 145–153 (2006)zbMATHCrossRefGoogle Scholar
  8. 8.
    Borghi, R.: Asymptotic and factorial expansions of Euler series truncation errors via exponential polynomials. Appl. Numer. Math. 60, 1242–1250 (2010)MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Boyd, J.P.: Acceleration of algebraically-converging Fourier series when the coefficients have series in powers of 1/n. J. Comput. Phys. 228, 1404–1411 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Brezinski, C.: Accélération de la Convergence en Analyse Numérique. Springer, Berlin (1977)zbMATHGoogle Scholar
  11. 11.
    Brezinski, C.: Algorithmes d’Accélération de la Convergence—Étude Numérique. Éditions Technip, Paris (1978)zbMATHGoogle Scholar
  12. 12.
    Brezinski, C.: A general extrapolation algorithm. Numer. Math. 35, 175–187 (1980)MathSciNetzbMATHCrossRefGoogle Scholar
  13. 13.
    Brezinski, C.: A subroutine for the general interpolation and extrapolation problems. ACM Trans. Math. Softw. 8, 290–301 (1982)zbMATHCrossRefGoogle Scholar
  14. 14.
    Brezinski, C., Redivo Zaglia, M.: Extrapolation Methods. North-Holland, Amsterdam (1991)zbMATHGoogle Scholar
  15. 15.
    Brezisnki, C.: Convergence acceleration methods: the past decade. J. Comput. Appl. Math. 12, 19–36 (1985)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Bühring, W.: The behavior at unit argument of the hypergeometric function 3 F 2. SIAM J. Math. Anal. 18, 1227–1234 (1987)MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Bühring, W.: Generalized hypergeometric functions at unit argument. Proc. Am. Math. Soc. 114, 145–153 (1992)zbMATHCrossRefGoogle Scholar
  18. 18.
    Bühring, W.: Partial sums of hypergeometric functions of unit argument. Proc. Am. Math. Soc. 132, 407–415 (2003)CrossRefGoogle Scholar
  19. 19.
    Bühring, W., Srivastava, H.M.: Analytic Continuation of the Generalized Hypergeometric Series near Unit Argument with Emphasis on the Zero-Balanced Series, pp. 17–35. Hadronic Press, Palm Harbor (1998). Available as arxiv:math/0102032 Google Scholar
  20. 20.
    Charterjee, S., Roy, D.: A class of new transforms tailored for the hypergeometric series. Comput. Phys. Commun. 179, 555–561 (2008)CrossRefGoogle Scholar
  21. 21.
    Delhaye, J.P., Germain-Bonne, B.: The set of logarthmically convergent sequences cannot be accelerated. SIAM J. Numer. Anal. 19, 840–844 (1982)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Ferreira, C., López, J.L., Sinusía, E.P.: The Gauss hypergeometric function F(a, b; c; z) for large c. J. Comput. Appl. Math. 197, 568–577 (2006)MathSciNetzbMATHCrossRefGoogle Scholar
  23. 23.
    Fessler, T., Ford, W.F., Smith, D.A.: HURRY: an acceleration algorithm for scalar sequences and series. ACM Trans. Math. Softw. 9, 346–354 (1983)MathSciNetzbMATHCrossRefGoogle Scholar
  24. 24.
    Forrey, R.C.: Computing the hypergeometric function. J. Comput. Phys. 137, 79–100 (1997)MathSciNetzbMATHCrossRefGoogle Scholar
  25. 25.
    Fousse, L., Hanrot, G., Lefèvre, V., Pélissier, P., Zimmermann, P.: Mpfr: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33, 13:1–13:15 (2007)CrossRefGoogle Scholar
  26. 26.
    Galassi, M., et al.: GNU Scientific Library Reference Manual. Network Theory Ltd. (2009).
  27. 27.
    Gautschi, W.: Gauss quadrature approximations to hypergeometric and confluent hypergeometric functions. J. Comput. Appl. Math. 139, 173–187 (2002)MathSciNetzbMATHCrossRefGoogle Scholar
  28. 28.
    Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics, 2nd edn. Addison-Wesley, Reading (1994)zbMATHGoogle Scholar
  29. 29.
    Hida, Y., Li, X.S., Bailey, D.H.: Algorithms for quad-double precision floating point arithmetic. In: Proceedings of the 15th IEEE Symposium on Computer Arithmetic, pp. 155–162 (2001)Google Scholar
  30. 30.
    Higham, N.J.: Accuracy and Stability of Numerical Algorithms, 1st edn. Society for Industrial and Applied Mathematics, Philadelphia (1996)zbMATHGoogle Scholar
  31. 31.
    Høavie, T.: Generalized Neville type extrapolation schemes. BIT 19, 204–213 (1979)MathSciNetCrossRefGoogle Scholar
  32. 32.
    Homeier, H.H.H.: Scalar Levin-type sequence transformations. J. Comput. Appl. Math. 122, 81–147 (2000). Available as math.NA/0005209 MathSciNetzbMATHCrossRefGoogle Scholar
  33. 33.
    Johansson, F., et al.: mpmath: a Python Library for Arbitrary-Precision Floating-Point Arithmetic (Version 0.16) (2010).
  34. 34.
    Kalmykov, M.Y.: Series and ε-expansion of the hypergeometric functions. Nucl. Phys., B Proc. Suppl. 135, 280–284 (2004)CrossRefGoogle Scholar
  35. 35.
    Kalmykov, M.Y., Ward, B.F.L., Yost, Y.: All order ε-expansion of Gauss hypergeoemtric functions with integer and half/integer values of parameters. JHEP 02, 040 (2007)MathSciNetCrossRefGoogle Scholar
  36. 36.
    Knopp, K.: Theorie und Anwendung der unendlichen Reihen. Springer, Berlin (1964)zbMATHGoogle Scholar
  37. 37.
    Levin, D.: Development of non-linear transformations for improving convergence of sequences. Int. J. Comput. Math. B3, 371–388 (1973)Google Scholar
  38. 38.
    Lewanowicz, S., Paszkowski, S.: An analytic method for convergence acceleration of certain hypergeometric series. Math. Comput. 64, 691–713 (1995)MathSciNetzbMATHCrossRefGoogle Scholar
  39. 39.
    Macdonald, I.G.: Symmetric Functions and Hall Polynomials, 2nd edn. Clarendon Press, Oxford (1995)zbMATHGoogle Scholar
  40. 40.
    Muller, K.E.: Computing the confluent hypergeometric function, M(a,b,x). Numer. Math. 90, 179–196 (2001)MathSciNetzbMATHCrossRefGoogle Scholar
  41. 41.
    Nørlund, N.E.: Hypergeometric functions. Acta Math. 94, 289–349 (1955)MathSciNetCrossRefGoogle Scholar
  42. 42.
    Olver, F.W., et al. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)zbMATHGoogle Scholar
  43. 43.
    Paszkowski, S.: Untypical methods of convergence acceleration. Numer. Algorithms 56, 185–209 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  44. 44.
    Pearson, J.: Computation of hypergeometric functions. Master’s thesis, University of Oxford, Oxford, UK (2009)Google Scholar
  45. 45.
    Perger, W.F., Bhalla, A., Nardin, M.: A numerical evaluator for the generalized hypergeometric series. Comput. Phys. Commun. 77, 249–254 (1993)zbMATHCrossRefGoogle Scholar
  46. 46.
    Press, W.H., et al.: Numerical Recipes: The Art of Scientific Computing, 3rd edn. Cambridge University Press, Cambridge (2007)zbMATHGoogle Scholar
  47. 47.
    Schneider, C.: Vereinfachte Rekursionen zur Richardson-Extrapolation in Spezialfällen. Numer. Math. 24, 177–184 (1975)MathSciNetzbMATHCrossRefGoogle Scholar
  48. 48.
    Sidi, A.: Practical Extrapolation Methods. Cambridge University Press, Cambridge (2003)zbMATHCrossRefGoogle Scholar
  49. 49.
    Sidi, A.: A challenging test for convergence accelerators: summation of a series with a special sign pattern. Appl. Math. E-Notes 6, 225–234 (2006)MathSciNetzbMATHGoogle Scholar
  50. 50.
    Skorokhodov, S.L.: Computer algebra and computing special functions. Prog. Comp. Softw. 29, 75–82 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  51. 51.
    Skorokhodov, S.L.: Symbolic transformations in the problem of analytic continuation of the hypergeometric function p F p − 1(z) in the neighborhood of the point z = 1 in the logarithmic case. Prog. Comp. Softw. 30, 150–156 (2004)MathSciNetzbMATHCrossRefGoogle Scholar
  52. 52.
    Skorokhodov, S.L.: A method for computing generalized hypergeometric function p F p − 1(a 1, ..., a p; b 1, ..., b p − 1; 1) in terms of the Riemann zeta function. Comput. Math. Math. Phys. 45, 550–562 (2005)MathSciNetGoogle Scholar
  53. 53.
    Slater, L.J.: Generalized Hypergeometric Functions. Cambridge University Press, Cambridge (1966)zbMATHGoogle Scholar
  54. 54.
    Smith, D.A., Ford, W.F.: Acceleration of linear and logarithmic convergence. SIAM J. Numer. Anal. 16, 223–240 (1979)MathSciNetzbMATHCrossRefGoogle Scholar
  55. 55.
    Tweddle, I.: James Stirling’s Methodus Differentialis: An Annotated Translation of Stirling’s Text. Springer, London (2003)zbMATHCrossRefGoogle Scholar
  56. 56.
    Walz, G.: Asymptotics and Extrapolation. Akademie, Berlin (1996)Google Scholar
  57. 57.
    Weniger, E.J.: Nonlinear sequence transformations for the acceleration of convergence and the summation of divergent series. Comput. Phys. Rep. 10, 189–371 (1989). Available as math.NA/0306302 CrossRefGoogle Scholar
  58. 58.
    Weniger, E.J.: Irregular input data in convergence acceleration and summation processes: general considerations and some special gaussian hypergeometric series as model problems. Comput. Phys. Commun. 133, 202–228 (2001)zbMATHCrossRefGoogle Scholar
  59. 59.
    Weniger, E.J.: Asymptotic approximations to truncation errors of series representations for special functions. In: Iske, A., Levesley, J. (eds.) Algorithms for Approximation, pp. 331–348. Springer, Berlin (2007). Available as math.CA/0511074 CrossRefGoogle Scholar
  60. 60.
    Weniger, E.J.: On the analyticity of Laguerre series. J. Phys. A 41, 425207 (2008)MathSciNetCrossRefGoogle Scholar
  61. 61.
    Weniger, E.J.: Summation of divergent power series by means of factorial series. Appl. Numer. Math. 60(12), 1429–1441 (2010). Approximation and Extrapolation of Convergent and Divergent Sequences and Series (CIRM, Luminy - France, 2009)MathSciNetzbMATHCrossRefGoogle Scholar
  62. 62.
    Weniger, E.J., Kirtman, B.: Extrapolation methods for improving the convergence of oligomer calculations to the infinite chains limit of Quasi-one-dimensional stereoregular polymers. Comput. Math. Appl. 45, 189–215 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  63. 63.
    Wimp, J.: Sequence Transformations and Their Applications. Academic, New York (1981)zbMATHGoogle Scholar
  64. 64.
    Wimp, J., Zeilberger, D.: Resurrecting the asymptotics of linear recurrences. J. Math. Anal. Appl. 111, 162–176 (1985)MathSciNetzbMATHCrossRefGoogle Scholar
  65. 65.
    Wong, R., Li, H.: Asymptotic expansions for second-order linear difference equations. J. Comput. Appl. Math. 41, 65–94 (1992)MathSciNetzbMATHCrossRefGoogle Scholar
  66. 66.
    Wong, R., Li, H.: Asymptotic expansions for second-order linear difference equations. II. Stud. Appl. Math. 87, 289–324 (1992)MathSciNetzbMATHGoogle Scholar
  67. 67.
    Wozny, P.: Efficient algorithm for summation of some slowly convergent series. App. Numer. Math. 60, 1442–1453 (2010). Approximation and Extrapolation of Convergent and Divergent Sequences and Series (CIRM, Luminy - France, 2009)MathSciNetzbMATHCrossRefGoogle Scholar
  68. 68.
    Wozny, P., Nowak, R.: Method of summation of some slowly convergent series. Appl. Math. Comput. 215, 1622–1645 (2009)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC. 2011

Authors and Affiliations

  1. 1.Department of PhysicsAbilene Christian UniversityAbileneUSA
  2. 2.Max-Planck-Institut für GravitationsphysikHannoverGermany

Personalised recommendations