Abstract:We prove that $|\sum_{n \leq x} \mu(n) | \leq x/160\,383$ for all $x\geq 8.4 \times 10^9$ thus improving the record for this type of estimates which was $|\sum_{n \leq x} \mu(n) | \leq x/4345$ for all $x\geq 2\,160\,535$ and was due to Cohen, Dress and El Marraki. We also prove that $|\sum_{n \leq x} \mu(n) | \leq x/180\,194$ for all $x\geq 10^{19}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve the estimation of the sum of the Möbius function. Specifically, the author tries to prove that for all \(x \geq 8.4\times 10^{9}\), the following inequality holds:
\[
\left|\sum_{n \leq x} \mu(n)\right| \leq \frac{x}{160,383}
\]
This improves the result previously obtained by Cohen, Dress and El Marraki in 1996, that is, for all \(x \geq 2,160,535\):
\[
\left|\sum_{n \leq x} \mu(n)\right| \leq \frac{x}{4,345}
\]
In addition, the author also proves that for all \(x \geq 10^{19}\):
\[
\left|\sum_{n \leq x} \mu(n)\right| \leq \frac{x}{180,194}
\]
### Main problems and background
1. **Möbius function and its sum**
- The Möbius function \(\mu(n)\) is an important number - theoretic function, which has wide applications in analytic number theory.
- The estimation of the sum of the Möbius function \(\sum_{n \leq x} \mu(n)\) is the key to studying the prime number distribution and other number - theoretic problems.
2. **Historical background**
- Since Landau, the prime number theorem can be expressed in several equivalent forms, including:
\[
M(x)=\sum_{n \leq x} \mu(n)=o(x),\quad\frac{1}{x}\sum_{n \leq x}\frac{\mu(n)}{n}=o(1),\quad\psi(x)-x = o(x)
\]
- Here, \(\psi(x)\) is the Tchebichef function, defined as \(\psi(x)=\sum_{p^{k}\leq x}\log p\).
3. **Improvement of existing results**
- The paper improves the estimation of the sum of the Möbius function by using the results of the effective Tchebichef function \(\psi(x)\).
- The author uses the methods of Schoenfeld and El Marraki, and combines the analytical results of Faber and Kadiri to obtain more accurate estimations.
### Methods and techniques
- **Estimation of the Tchebichef function**: The author uses the effective estimation of the Tchebichef function, especially the results of Faber and Kadiri:
\[
|\psi(x)-x|\leq 8.6386\times 10^{-8}x\quad(x\geq\exp(40)\approx 2.35\times 10^{17})
\]
- **Improved identity**: The author modifies the identity used by Schoenfeld to better convert the prime number estimations into Möbius function estimations.
- **Piecewise processing**: For different ranges of \(x\) values (such as from \(10^{16}\) to \(2\times 10^{16}\), and from \(2\times 10^{16}\) to \(10^{19}\)), the author conducts detailed estimations and verifications respectively.
### Significance of the results
Through these improvements, the author not only improves the estimation accuracy of the sum of the Möbius function, but also provides a more powerful tool for subsequent research, especially in the large - value range. This is of great significance for many problems in analytic number theory, such as the study of prime number distribution.