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

The Mertens function is the partial sums of the Moebius function: $M(x)=\sum_{n\leq x}\mu(n)$ Since the zeta-function has a zero on the critical line it follows that $M(x)\ne O(x^\theta)$ for any $\theta<\frac 12$.

Does anyone know if there is an elementary proof of this statement? (By elementary I mean a proof which does not depend on complex analysis, in particular the existance of a zero of $\zeta$). even an elementary proof of $M(x)$ being unbounded would be interesting to me.

share|improve this question
2  
You might enjoy reading the answers to mathoverflow.net/questions/11074/… –  David Speyer Nov 26 '10 at 18:17

1 Answer 1

As far as I know, even an elementary proof that $M(x)$ is unbounded is not known.

share|improve this answer
9  
Note that the function field analogue of M(x) is bounded (no zeroes for the analogous zeta function), so this already rules out a fairly large class of elementary proofs; one needs to somehow use a property of the rational integers that is not shared by the polynomials over a finite field. –  Terry Tao Nov 26 '10 at 21:32

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.