MERTENS CONJECTURE

In mathematics, the 'Mertens conjecture' is a statement about the behaviour of a certain function as its argument increases. Conjectured to be true by Mertens in 1897, it was disproved in 1985. The Mertens conjecture was interesting, because if true, it would have meant that the famous Riemann hypothesis was also true. However, Merten's conjecture being disproved did not, conversely, mean that the Riemann hypothesis was also untrue.

Contents

Definition

Disposition of the conjecture

Connection to the Riemann hypothesis

References

Definition

In number theory, if we define the Mertens function as
:$M(n)\; =\; sum\_\{1le\; k\; le\; n\}\; mu(k)$
where μ(k) is the Möbius function, then the 'Mertens conjecture' is that
:$left|\; M(n)$
ight| < sqrt { n }.,

Disposition of the conjecture

Stieltjes claimed in 1885 to have proven a weaker result, namely that $\{M(n)over\; sqrt\{n\}\}$ was bounded, but did not publish a proof. He may have found the reasoning supporting his result was flawed.
In 1985, te Riele and Odlyzko proved the Mertens conjecture false. It was later shown that there is a counterexample between 10¹⁴ and exp(3.21×10⁶⁴), with the upper bound having been lowered to exp(1.59×10⁴⁰) since, but no counterexample is explicitly known. The boundedness claim made by Stieltjes, while remarked upon as "very unlikely" in the 1985 paper, has not been disproven (as of 2005).

Connection to the Riemann hypothesis

The connection to the Riemann hypothesis is based on the Dirichlet series
for the reciprocal of the Riemann zeta function,
:
valid in the region $Re(s)\; >\; 1$. We can rewrite this as a
Stieltjes integral
:
and after integrating by parts, obtain the reciprocal of the zeta function
as a Mellin transform
:
ight}(-s)
= int_0^infty x^{-s} M(x), rac{dx}{x}.
Using the Mellin inversion theorem we now can express ''M'' in terms of
1/ζ as
:
which is valid for 1 < σ < 2, and valid for 1/2 < σ < 2 on the Riemann hypothesis.
From this, the Mellin transform integral must be convergent, and hence
''M''(''x'') must be ''o''(''x''^e) for every exponent greater than
1/2, but not little-o when ''e'' equals 1/2. From this it follows that
"$M(x)$
e o(x^rac12)
but "
is equivalent to the Riemann hypothesis, would have followed from the stronger Mertens hypothesis, and follows from the hypothesis of Stieltjes that
.

References

★ F. Mertens, "Über eine zahlentheoretische Funktion", ''Akademie Wissenschaftlicher Wien Mathematik-Naturlich'' Kleine Sitzungsber, IIa '106', (1897) 761-830.

★ A. M. Odlyzko and H.J.J. te Riele, "Disproof of the Mertens Conjecture", ''Journal für die reine und angewandte Mathematik'' '357', (1985) pp. 138-160.

★ T. Kotnik and H.J.J. te Riele, "The Mertens Conjecture Revisited", ''Proceedings of the 7th Algorithmic Number Theory Symposium'' (2006), LNCS 4076, pp. 156-167.

★