Daniel R. Johnston,Nicol Leong,Sebastian Tudzi
Abstract:In this article, we study the summatory function \begin{equation*}
W(x)=\sum_{n\leq x}(-2)^{\Omega(n)}, \end{equation*} where $\Omega(n)$ counts the number of prime factors of $n$, with multiplicity. We prove $W(x)=O(x)$, and in particular, that $|W(x)|<2260x$ for all $x\geq 1$. This result provides new progress towards a conjecture of Sun, which asks whether $|W(x)|<x$ for all $x\geq 3078$. To obtain our results, we computed new explicit bounds on the Mertens function $M(x)$. These may be of independent interest.
Moreover, we obtain similar results and make further conjectures that pertain to the more general function \begin{equation*}
W_a(x)=\sum_{n\leq x}(-a)^{\Omega(n)} \end{equation*} for any real $a>0$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is related to a conjecture in number theory, specifically regarding the bound of the function \(W(x)=\sum_{n\leq x}(- 2)^{\Omega(n)}\). Here, \(\Omega(n)\) represents the number of prime factors of \(n\) (including repetitions). Sun proposed a conjecture: for all \(x\geq3078\), \(|W(x)| < x\).
To verify this conjecture, the authors did the following work:
1. **Proved new upper bounds**:
- They proved that \(W(x)=O(x)\), that is, there exists a constant \(C > 0\) such that for all sufficiently large \(x\), \(|W(x)|<Cx\).
- In particular, for all \(x\geq1\), we can take \(C = 2260\), that is, \(|W(x)|<2260x\).
2. **Calculated new explicit bounds for the Mertens function**:
- By improving the existing bounds of the Mertens function \(M(x)\), they obtained new results for \(W(x)\). These bounds may have independent research value.
3. **Generalized to more general cases**:
- The authors also studied the more general function \(W_a(x)=\sum_{n\leq x}(-a)^{\Omega(n)}\), where \(a > 0\) is an arbitrary real number. In particular, when \(a = 2\), \(W_2(x)=W(x)\), and when \(a = 1\), \(W_1(x)=L(x)\).
- For \(a\geq2\), they proposed a new conjecture: for all sufficiently large \(x\geq x_0(a)\), \(|W_a(x)|<x\log_2a\).
4. **Numerical experiments and further discussions**:
- Through numerical experiments, the authors explored the possibility of further improving the theorem and better understood the behavior of \(W_a(x)\).
Overall, the goal of this paper is to provide new progress for Sun's conjecture through rigorous mathematical proofs and numerical experiments, and to explore the behavior of more general similar functions.