Atkinson's formula for the mean square of with an explicit error term
arXiv:2105.06821 · doi:10.1016/j.jnt.2022.09.010
Abstract
We provide an explicit -term of the celebrated Atkinson's formula for the error term of the second power moment of the Riemann zeta-function on the critical line. As an application, we obtain an explicit version of well-known estimate .
42 pages, 1 figure, 2 tables