Asymptotics of Keiper-Li coefficients (Q644302): Difference between revisions

Let \(\zeta(s)\) denote the Riemann zeta-function and write \(\xi(s)\) for its complete version, \[ 2\xi(s) = s(s-1) \pi^{-s/2}\Gamma(s/2)\zeta(s). \] It is well-known that \(\xi(s)\) is an entire function that satisfies the functional equation \(\xi(1-s) = \xi(s)\) and whose zeros are exactly the non-trivial zeros of the zeta-function. Define the sequence \((\lambda_n)\) via the power series expansion \(\log(2\xi(1/s)) = \sum_{n=0}^{\infty} \lambda_n(1-s)^n\), and set \[ y_n = \lambda_n - \frac 12(\log n + \gamma - \log(2\pi e)), \] where \(\gamma\) is Euler's constant. The main result of the paper under review states that the Riemann Hypothesis is equivalent to the statement that the sequence \((y_n)\) is square summable. This theorem justifies and extends a claim made originally by \textit{J. B. Keiper} [Math. Comput. 58, No. 198, 765--773 (1992; Zbl 0767.11039)]; it also reinforces a result of \textit{A. Voros} [Math. Phys. Anal. Geom. 9, No. 1, 53--63 (2006; Zbl 1181.11055)] that the Riemann Hypothesis is equivalent to the statement that \(ny_n = o(n)\).