On a Smoothed Dirichlet Divisor Problem
Hardy showed that $\sum_{n \ioe x}τ(n)-x(\log x +2γ-1)$ is not $o(x^{1/4})$. In this article, we prove that $\sum_{n \ioe x}τ(n)(1-\frac{x}{n})-xP(\log x)=\frac{1}{4}+O \left( \frac{\log x}{x^{1/4}} \right)$, where $P$ is a polynomial of degree 2. As a corollary, this estimate enables us to settle a conjecture surmised by Berkane, Bordellès, and Ramaré dealing with the positivity of an integral of the error term in the Dirichlet divisor problem. All results are entirely explicit and allow us to study the proximity between the remainder of the Dirichlet divisor problem and its logarithmic version.