Skip to main content
1 of 3
engelbrekt
  • 4.5k
  • 25
  • 28

The following reference contains the best result of this kind currently known for $\mu(n)$:

Tadej Kotnik and Herman te Riele The Mertens Conjecture revisited. Algorithmic number theory, 156--167, Lecture Notes in Comput. Sci., 4076, Springer, Berlin, 2006.

They prove that $\limsup_{x \rightarrow +\infty}M(x)/\sqrt{x} \geq 1.218$ and that $\liminf_{x \rightarrow +\infty}M(x)/\sqrt{x} \leq -1.229$. Here

$ M(x) = \sum_{n \leq x}\mu(n) $

is the conventional notation for the summatory function of the Möbius function. Their proof is a mixture of analytic number theory and large scale computations. They also have a survey of what is known and what is conjectured about the size of $M(x)$.

Now on to the Liouville function $\lambda(n)$ and its summatory function $L(x)$. The latter is very closely connected with $M(x)$, for

$ \sum_{n \leq \sqrt{x}}\mu(n)L\left(\frac{x}{n^2}\right) = \sum_{n \leq \sqrt{x}}\mu(n)\sum_{m \leq x/n^2}\lambda(m) = \sum_{N \leq x}\sum_{mn^2 = N}\mu(n)\lambda(m) = \sum_{N \leq x}\mu(N) = M(x). $

Thus

$ |M(x)| \leq \sum_{n \leq \sqrt{x}}|L\left(\frac{x}{n^2}\right)| $

and so the assumption

$ L(x) = o\left(\frac{\sqrt{x}}{\log^{1 + \epsilon}(x)}\right) $

for example, leads to a contradiction with the Kotnik-te Riele result (or earlier results) for any $\epsilon > 0$.

My guess is that if one looks up the old (pre-computer) results on $|M(x)|$ from below, one might prove that $\limsup_{x \rightarrow +\infty}|L(x)|/\sqrt{x} > 0$. This may even be in the literature somewhere.

Alternatively

$ \sum_{n = 1}^{\infty}\lambda(n)n^{-s} = \prod_{p}\sum_{k=0}^{\infty}\lambda(p^k)p^{-ks} = \prod_{p}\sum_{k=0}^{\infty}(-1)^kp^{-ks} = \prod_{p}(1 + p^{-s})^{-1} = \frac{\zeta(2s)}{\zeta(s)} $

by the Euler product formula, and from here on it is more elementary than it was with $M(x)$ in the standard argument that David Speyer gave, because we don't need the zeros on the critical line. For $\zeta(2s)$ has a pole at $s = 1/2$ which is not canceled by a pole of $\zeta(s)$ at the same point. Thus $L(x) = O(x^{\alpha})$ is impossible with $\alpha < 1/2$ by partial summation.

engelbrekt
  • 4.5k
  • 25
  • 28