No label defined (Q4353520)

Let \(\zeta (s)\) denote the Riemann zeta function and \(I(T)= \int^T_0 |\zeta ({1\over 2} +it) |^2dt\). \textit{M. Jutila} [Ark. Mat. 21, 75-96 (1983; Zbl 0513.10040)] showed that a part of the asymptotic representation of \(I(t)\) is closely related to the asymptotic expansion of the summatory function of \(d^*(n)= {1\over 2} (-1)^n d(n)\), where \(d(n)\) denotes the number of divisors of \(n\). One obtains \[ \sum_{n \leq x} d^*(n)= {x\over 4} \log {x\over 4} +(2 \gamma-1) {x\over 4} +\theta (x), \] where \(\gamma\) is Euler's constant. Upper bounds for the remainder \(\theta (x)\) are easily deduced from the estimates in Dirichlet's divisor problem. The author proves a lower estimate which is as sharp as \textit{J. L. Hafner}'s result for Dirichlet's divisor problem [J. Number Theory 15, 36-76 (1982; Zbl 0495.10027)]. This is by no means trivial since \(d^*(n)\) does not belong to the class of arithmetical functions considered by Hafner. For the entire collection see [Zbl 0868.00042].