Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is a reference-request about a very simple statement.

The Riemann hypothesis is well-known to be equivalent to $$(1)\ \ \ \pi(x) = \mathrm{Li}(x)+O(x^{1/2} \log x)$$ and to $$(2)\ \ \theta(x)=x+O(x^{1/2} \log^2 x).$$ Here as usual, $\pi(x) = \sum_{p < x} 1$ and $\theta(x) = \sum_{p< x} \log p$.

I am looking for a reference giving the proof of the equivalence between (1) and (2).

All the analytic number theory textbooks I have looked at gives at best a proof that $\theta(x) \sim \pi(x) \log x$, which is clearly not enough.

share|improve this question
3  
Have you tried writing $\pi(x)=\int_1^x\frac 1{\log x}d\theta(x)$, using integration by parts on the right hand side, and then plugging in (2) for $\theta(x)$? For the other direction, do something similar. –  John Pardon Feb 17 '13 at 19:52
1  
Thanks to unknown, Greg, and GH. I have accepted Greg's answer because what I mainly needed was an authoritative reference that I could cite in a paper that I am written (in a first version, I said "it is well-known that..." but I wanted the whole proof to be complete). –  Joël Feb 18 '13 at 15:14
add comment

2 Answers 2

up vote 5 down vote accepted

The argument that (2) implies (1) is given as equation (13.5) in Montgomery and Vaughan's Multiplicative Number Theory I. Classical Theory. A similar partial summation argument (probably two lines long instead of one) will establish that (1) implies (2).

share|improve this answer
add comment

To complement Greg Martin's response, here is a proof that (1) implies (2).

Write $\pi(t)=\mathrm{Li}(t)+f(t)$, so that $f(t)=O(t^{1/2}\log t)$ by assumption. Then $$ \theta(x) = \int_{2-}^x\log t\ d\pi(t)=\int_{2-}^x\log t\ d\mathrm{Li}(t)+\int_{2-}^x\log t\ d f(t). $$ Here the first integral is $$ \int_{2-}^x\log t\ d\mathrm{Li}(t) = \int_2^x\log t\frac{dt}{\log t} = x-2 $$ and the second integral is $$ \int_{2-}^x\log t\ df(t) = f(x)\log x - \int_2^x \frac{f(t)}{t}dt = O(x^{1/2}\log^2 x) + \int_2^x O(t^{-1/2}\log t)\ dt. $$ The last integral is clearly $$ O(\log x)\int_2^x t^{-1/2}\ dt = O(x^{1/2}\log x),$$ hence altogether $$ \theta(x) = x-2 + O(x^{1/2}\log^2 x)+O(x^{1/2}\log x) = x+O(x^{1/2}\log^2 x). $$

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.