×

Fast evaluation of the Hurwitz zeta function and Dirichlet \(L\)-series. (English. Russian original) Zbl 0928.11056

Probl. Inf. Transm. 34, No. 4, 342-353 (1998); translation from Probl. Peredachi. Inf. 34, No. 4, 62-75 (1998).
The aim of the author in this paper is to propose an algorithm for the fast evaluation of the Hurwitz zeta function \(\zeta(s,a)\), for integer values of \(s\) and algebraic values of \(a\). The paper follows the lines of previous work by the author (cited in the references), where algorithms for the fast evaluation of elementary and higher transcendental functions – as well as for the classical constants \(e,\pi\) and the Euler constant \(\gamma\) – have been presented. The general method is based on the fast evaluation for functions of the type of the Siegel \(E\)-function (the so-called FEE method), which has a complexity close to the best possible one. It is to be noted that an application of the FEE method to the fast evaluation of the Riemann zeta function \(\zeta(s)\) for integer values of the argument \(s\) was given by the author in [Probl. Inf. Transm. 31, 353-362 (1995; Zbl 0895.11032)] but that for fractional values of \(s\) no method for the fast evaluation of \(\zeta(s)\) has yet been found. The paper finishes with a theorem on the evaluation complexity of Dirichlet series \(L(s,\chi)\) for natural values of the argument, \(s=k\), \(k\geq 2\), and any Dirichlet character \(\chi(l)\) modulo \(m\), \(m\geq 2\), with \(m\) integer, for which the author finds the estimate \(s_L(n)= O(M(n)\log^2n)\).
This is the same kind of result as the one obtained for the Hurwitz zeta function under the conditions described. Remarkably, if coincides also with the result corresponding to the evaluation complexity for the above mentioned constants and for the elementary and higher transcendental functions, at algebraic values of the argument.

MSC:

11Y35 Analytic computations
11M35 Hurwitz and Lerch zeta functions
11M06 \(\zeta (s)\) and \(L(s, \chi)\)
65E05 General theory of numerical methods in complex analysis (potential theory, etc.)

Citations:

Zbl 0895.11032
Full Text: DOI

References:

[1] Euler, L., Institutiones Calculi Differentialis cum Eius Vsu in Analysi Finitorum ac Doctrina Serierum, Petropolitanae: Acad. Imper. Sci., 1755.
[2] Berndt, B.C., Ramanujan’s Notebooks, Part 1, New York: Springer, 1985. · Zbl 0555.10001
[3] Brent, R.P. and McMillan, E.M., Some New Algorithms for High-Precision Computation of Euler’s Constant, Math. Comput., 1980, vol. 34, no. 149, pp. 305–312. · Zbl 0442.10002
[4] Karatsuba, E.A., Fast Evaluation of Transcendental Functions Probl. Peredachi Inf., 1991, vol. 27, no. 4, pp. 87–110 [Probl. Inf. Trans. (Engl. Transl.), 1997, vol. 33, no. 3, pp. 339–360].
[5] Karatsuba, E.A., On the Computation of the Euler Constant {\(\gamma\)}, J. Numer. Algorithms, 2000, vol. 24, no. 1–2, pp. 83–97. · Zbl 0958.33001 · doi:10.1023/A:1019137125281
[6] Aptekarev, A.I. and Tulyakov, D.N., Four-Term Recurrence Relations for {\(\gamma\)}-Forms, Sovr. Probl. Matem., 2007, vol. 9, pp. 37–43 [Proc. Steklov Inst. Math. (Engl. Transl.), 2011, vol. 272, no. 2 suppl., pp. 157–161]. · doi:10.4213/spm15
[7] Aptekarev, A.I. and Lysov, V.G., Asymptotic {\(\gamma\)}-Forms Generated by Multiple Orthogonal Polynomials, Sovr. Probl. Matem., 2007, vol. 9, pp. 55–62 [Proc. Steklov Inst. Math. (Engl. Transl.), 2011, vol. 272, no. 2 suppl., pp. 168–173]. · doi:10.4213/spm17
[8] Karatsuba, E.A., On the Asymptotic Representation of the Euler Gamma Function by Ramanujan, J. Comput. Appl. Math., 2001, vol. 135, no. 2, pp. 225–240. · Zbl 0988.33001 · doi:10.1016/S0377-0427(00)00586-0
[9] Voronin, S.M. and Karatsuba, A.A., Dzeta-funktsiya Rimana (Riemann Zeta Function), Moscow: Fizmatlit, 1994.
[10] Temme, N.M., Special Functions: An Introduction to the Classical Functions of Mathematical Physics, New York: Wiley, 1996. · Zbl 0856.33001
[11] Fikhtengol’ts, G.M., Kurs differentsial’nogo i integral’nogo ischisleniya (A Course in Differential and Integral Calculus), Moscow: Fizmatgiz, 1959, vol. 2.
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.