Lagmental Vicfred

The Summatory Möbius Function Measures Cancellation by Vicfred

tags: mathematics, analytic number theory, zeta functions, Dirichlet characters

Bounds on Mertens' function translate into zero-free information for the reciprocal of zeta. A small computation will anchor the general statement before the abstraction takes over.

The mathematical object

Dirichlet series \(\sum a_nn^{-s}\) turn multiplicativity into Euler products. The complex variable \(s=\sigma+it\) lets analytic continuation and zero-free regions control arithmetic sums.

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

The formulas should not be merged too early. The datum \(\mathsf D\), the conclusion \(\mathsf C\), and the bridge \(\Longrightarrow\) have three different logical jobs.

$$ \frac1{\zeta(s)}=\sum_{n\ge1}\frac{\mu(n)}{n^s}\qquad(\Re s>1) $$

One explicit computation

A worked instance is useful here because it exposes every index that the compressed statement hides.

$$ \sum_{n\le x}\mu(n)\left\lfloor\frac xn\right\rfloor=1,\qquad x\ge1 $$

Why the identity matters

The invariant statement is the one that does not depend on a convenient choice of coordinates, representatives, basis, or enumeration.

$$ \begin{aligned} \mathsf{D}\;&:\quad M(x)=\sum_{n\le x}\mu(n),\\[5pt] \mathsf{C}\;&:\quad \frac1{\zeta(s)}=\sum_{n\ge1}\frac{\mu(n)}{n^s}\qquad(\Re s>1). \end{aligned} $$

Where it can fail

An Euler product converges absolutely only in a right half-plane. Formal rearrangement outside that region can destroy the argument.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \frac1{\zeta(s)}=\sum_{n\ge1}\frac{\mu(n)}{n^s}\qquad(\Re s>1) \end{gathered}} $$

With the dependency made explicit, the same pattern can be recognised safely in nearby problems. A changed hypothesis should now be easy to spot.

This article was posted on Sun 12 January 2025. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.