Computing Stieltjes constants using complex integration
HTML articles powered by AMS MathViewer
- by Fredrik Johansson and Iaroslav V. Blagouchine HTML | PDF
- Math. Comp. 88 (2019), 1829-1850 Request permission
Abstract:
The generalized Stieltjes constants $\gamma _n(v)$ are, up to a simple scaling factor, the Laurent series coefficients of the Hurwitz zeta function $\zeta (s,v)$ about its unique pole $s = 1$. In this work, we devise an efficient algorithm to compute these constants to arbitrary precision with rigorous error bounds, for the first time achieving this with low complexity with respect to the order $n$. Our computations are based on an integral representation with a hyperbolic kernel that decays exponentially fast. The algorithm consists of locating an approximate steepest descent contour and then evaluating the integral numerically in ball arithmetic using the Petras algorithm with a Taylor expansion for bounds near the saddle point. An implementation is provided in the Arb library. We can, for example, compute $\gamma _n(1)$ to 1000 digits in a minute for any $n$ up to $n=10^{100}$. We also provide other interesting integral representations for $\gamma _n(v)$, $\zeta (s)$, $\zeta (s,v)$, some polygamma functions, and the Lerch transcendent.References
- José A. Adell and Alberto Lekuona, Fast computation of the Stieltjes constants, Math. Comp. 86 (2017), no. 307, 2479–2492. MR 3647968, DOI 10.1090/mcom/3176
- O. R. Ainsworth and L. W. Howell, An integral representation of the generalized Euler-Mascheroni constants, NASA Technical Paper 2456, 1985.
- Bruce C. Berndt, On the Hurwitz zeta-function, Rocky Mountain J. Math. 2 (1972), no. 1, 151–157. MR 289431, DOI 10.1216/RMJ-1972-2-1-151
- Iaroslav V. Blagouchine, Erratum and addendum to: Rediscovery of Malmsten’s integrals, their evaluation by contour integration methods and some related results [Ramanujan J. (2014), 35:21–110][ MR3258600], Ramanujan J. 42 (2017), no. 3, 777–781. MR 3625019, DOI 10.1007/s11139-015-9763-z
- Iaroslav V. Blagouchine, Erratum to “A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations” [J. Number Theory 148 (2015) 537–592] [ MR3283193], J. Number Theory 151 (2015), 276–277. MR 3314214, DOI 10.1016/j.jnt.2015.01.001
- Iaroslav V. Blagouchine, Corrigendum to “Expansions of generalized Euler’s constants into the series of polynomials in $\pi ^{-2}$ and into the formal enveloping series with rational coefficients only” [J. Number Theory 158 (2016) 365–396] [ MR3393558], J. Number Theory 173 (2017), 631–632. MR 3581937, DOI 10.1016/j.jnt.2016.11.002
- Iaroslav V. Blagouchine, Three notes on Ser’s and Hasse’s representations for the zeta-functions, Integers 18A (2018), Paper No. A3, 45. MR 3777525
- Jan Bohman and Carl-Erik Fröberg, The Stieltjes function—definition and properties, Math. Comp. 51 (1988), no. 183, 281–289. MR 942155, DOI 10.1090/S0025-5718-1988-0942155-9
- Richard P. Brent and Edwin M. McMillan, Some new algorithms for high-precision computation of Euler’s constant, Math. Comp. 34 (1980), no. 149, 305–312. MR 551307, DOI 10.1090/S0025-5718-1980-0551307-4
- William E. Briggs, Some constants associated with the Riemann zeta-function, Michigan Math. J. 3 (1955/56), 117–121. MR 76858
- L. Fekih-Ahmed, A new effective asymptotic formula for the Stieltjes constants, arXiv preprint arXiv:1407.5567, (2014).
- J. P. Gram, Note sur le calcul de la fonction $\zeta (s)$ de Riemann, Oversigt. K. Danske Vidensk. (Selsk. Forh.), 303–308, 1895.
- Fredrik Johansson, Rigorous high-precision computation of the Hurwitz zeta function and its derivatives, Numer. Algorithms 69 (2015), no. 2, 253–270. MR 3350381, DOI 10.1007/s11075-014-9893-1
- Fredrik Johansson, Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans. Comput. 66 (2017), no. 8, 1281–1292. MR 3681746, DOI 10.1109/TC.2017.2690633
- F. Johansson, Computing the Lambert W function in arbitrary-precision complex interval arithmetic, arXiv preprint arXiv:1705.03266, (2017).
- F. Johansson, mpmath: a Python library for arbitrary-precision floating-point arithmetic, (2017). Version 1.0.
- F. Johansson, Numerical integration in arbitrary-precision ball arithmetic, arXiv preprint arXiv:1802.07942, (2018).
- J. B. Keiper, Power series expansions of Riemann’s $\xi$ function, Math. Comp. 58 (1992), no. 198, 765–773. MR 1122072, DOI 10.1090/S0025-5718-1992-1122072-5
- Charles Knessl and Mark W. Coffey, An effective asymptotic formula for the Stieltjes constants, Math. Comp. 80 (2011), no. 273, 379–386. MR 2728984, DOI 10.1090/S0025-5718-2010-02390-7
- Rick Kreminski, Newton-Cotes integration for approximating Stieltjes (generalized Euler) constants, Math. Comp. 72 (2003), no. 243, 1379–1397. MR 1972742, DOI 10.1090/S0025-5718-02-01483-7
- J. J. Y. Liang and John Todd, The Stieltjes constants, J. Res. Nat. Bur. Standards Sect. B 76B (1972), 161–178. MR 326974
- Ernst Lindelöf, Le calcul des résidus et ses applications à la théorie des fonctions, Les Grands Classiques Gauthier-Villars. [Gauthier-Villars Great Classics], Éditions Jacques Gabay, Sceaux, 1989 (French). Reprint of the 1905 original. MR 1189798
- Y. Matsuoka, Generalized Euler constants associated with the Riemann zeta function, Number theory and combinatorics. Japan 1984 (Tokyo, Okayama and Kyoto, 1984) World Sci. Publishing, Singapore, 1985, pp. 279–295. MR 827790
- Yasushi Matsuoka, On the power series coefficients of the Riemann zeta function, Tokyo J. Math. 12 (1989), no. 1, 49–58. MR 1001731, DOI 10.3836/tjm/1270133547
- R. B. Paris, An asymptotic expansion for the Stieltjes constants, arXiv preprint arXiv:1508.03948, (2015).
- Knut Petras, Self-validating integration and approximation of piecewise analytic functions, J. Comput. Appl. Math. 145 (2002), no. 2, 345–359. MR 1917275, DOI 10.1016/S0377-0427(01)00586-6
- S. Saad-Eddin, On two problems concerning the Laurent–Stieltjes coefficients of Dirichlet $L$–series, (Ph.D. thesis), University Lille 1, France, 2013.
- H. M. Srivastava and Junesang Choi, Series associated with the zeta and related functions, Kluwer Academic Publishers, Dordrecht, 2001. MR 1849375, DOI 10.1007/978-94-015-9672-5
- H. M. Srivastava and Junesang Choi, Zeta and $q$-Zeta functions and associated series and integrals, Elsevier, Inc., Amsterdam, 2012. MR 3294573, DOI 10.1016/B978-0-12-385218-2.00001-3
- Wolfram Research. Some notes on internal implementation. Wolfram Language & System Documentation Center, 2018. https://reference.wolfram.com/language/tutorial/SomeNotesOnInternalImplementation.html.
- J. van der Hoeven, Ball arithmetic, Technical report, HAL, 2009. hal-00432152.
Additional Information
- Fredrik Johansson
- Affiliation: LFANT project-team, INRIA, Institut de Mathématiques de Bordeaux, Bordeaux, France
- MR Author ID: 999321
- Email: fredrik.johansson@gmail.com
- Iaroslav V. Blagouchine
- Affiliation: SeaTech, University of Toulon, France; and Steklov Institute of Mathematics at St. Petersburg (Russian Academy of Sciences), Russia.
- MR Author ID: 906772
- Email: iaroslav.blagouchine@univ-tln.fr, iaroslav.blagouchine@pdmi.ras.ru
- Received by editor(s): May 30, 2018
- Received by editor(s) in revised form: August 11, 2018
- Published electronically: December 26, 2018
- © Copyright 2018 American Mathematical Society
- Journal: Math. Comp. 88 (2019), 1829-1850
- MSC (2010): Primary 11M35, 65D20; Secondary 65G20
- DOI: https://doi.org/10.1090/mcom/3401
- MathSciNet review: 3925487