# Integral of the error estimate in the prime number theorem

This seems like something that should be in discussed in the literature, but I can't find anything. Here $\pi(x)$ is the prime counting function and $\psi(x)$ is the usual sum of the Von Mangoldt function.

Are there non-trivial estimates for the quantity $\int_{1}^{N} |\psi(x) - x| dx$? The prime number theorem asserts $|\pi(x)- x/ln(x)| = o(x/ln(x))$, or, equivalently, $|\psi(x) - x| = o(x)$. Using this we trivially have the estimate $o(N^2)$ for the expression above (which we can make a bit more quantitative using quantitative forms of the pnt) however it seems plausible that this could be improved since we are asking for average case instead of worst case information about $|\psi(x) - x|$. In fact since we know that $\psi(x) - x$ oscillates to the extremes $\pm \sqrt{x}/ln(x)$ infinitely often, it seems plausible that it might spend a fair amount of time away from these extremes.

• Mark, if you enclose your code in dollar signs, your texing efforts will be rewarded with nicely rendered math :) Nov 26 '09 at 22:02

$\int_X^{2X} |\psi(x) - x|^2dx$
is more natural than the one you want. This is discussed on page 423 of Montgomery and Vaughan's book, on the assumption of the Riemann Hypothesis. Briefly, you can use the truncated explicit formula for $\psi(x)$ and multiply out and integrate. It does not look like one gets a great bound only by the zero-free region of Korobov and Vinogradov. The cancellation that you want seems to be there, but depends on the behavior of the differences $\gamma_1 - \gamma_2$ where $\gamma_1$,$\gamma_2$ are imaginary parts of nontrivial zeros of the Riemann zeta function, so it is hard to get at.
• Thanks. I would be interested to know if this can be improved (without the Riemann Hypothesis) to $\int_X^{2X} |\psi(x) - x|^2dx << X^{3-\delta}$ for $\delta>0$. Nov 27 '09 at 0:05
• Well, from the explicit formula for $\psi(x)$, this is equivalent to having no zeroes with real part greater than $1 - \delta$, so the answer depends on what you mean by "without the Riemann hypothesis". Basically, a single exceptional zero $\rho$ (and its conjugates, of course) is already close to the worst-case scenario, and in this scenario there is no distinction between average-case and worst-case behaviour of $\psi(x)$. Nov 29 '09 at 22:52