Multiple Mertens evaluations

Tianfang Qi,Su Hu

DOI: https://doi.org/10.48550/arXiv.1909.10930

2021-06-13

Abstract:The Mertens' first theorem gives us the following asymptotic formula \begin{equation*} \sum_{\substack{p\leq x\\ p~prime}}\frac{lnp}{p}=lnx+O(1), \end{equation*} and the Mertens' second theorem indicates that there exists a constant $B\approx 0.261$, named the Mertens constant, such that \begin{equation*} \sum_{\substack{p\leq x\\ p~prime}}\frac{1}{p}=ln(lnx)+B+O\left(\frac{1}{lnx}\right). \end{equation*} In this paper, by using the Abel summation formula and Dirichlet's hyperbola method, we extend them to multiple cases.

Number Theory,Classical Analysis and ODEs

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to generalize the classic Mertens' theorems. Specifically, it is to extend Mertens' first theorem and second theorem to the case of multiple prime variables. Mertens' theorems describe the asymptotic behavior of the sum of the reciprocals of primes and their logarithmic forms. And this paper, by using Abel summation formula and Dirichlet hyperbola method, derives similar formulas involving multiple prime variables.

### Specific Problem Description

1. **Mertens' First Theorem**:
\[
\sum_{p \leq x} \frac{\log p}{p}=\log x + O(1)
\]
2. **Mertens' Second Theorem**:
\[
\sum_{p \leq x} \frac{1}{p}=\log_2 x + B+O\left(\frac{1}{\log x}\right)
\]
where \(B\approx0.261\) is the Mertens constant, and \(\log_2 x = \log (\log x)\) represents the iterated logarithm.

### Main Contributions of the Paper

- **Multivariable Generalization**: The paper generalizes the above two theorems to the case of multiple prime variables by introducing Abel summation formula and Dirichlet hyperbola method.
- **Main Results**: The paper gives Mertens - type formulas for multiple prime variables. For example, for any positive integers \(k\) and \(s\), there are the following evaluation formulas:
\[
\sum_{p_1\cdots p_k\leq x} \frac{\log^s(p_1\cdots p_k)}{p_1\cdots p_k}=\sum_{l = 0}^{k - 1}(-1)^lA_{l+1}^k\frac{s^{l+1}}{P_{k-1-l}(\log_2 x)\cdot\log^s x+f(2)\log^{s - 1}2}+O\left(\log^{s-1}x\cdot(\log_2 x)^k\right)
\]
where \(A_l^k=\binom{k}{l}\cdot l!\), and \(P_k(x)\) is a polynomial function.

### Application Background

These generalized formulas have wide applications in modern number theory, especially in the research of prime number distribution, Riemann zeta function and polylogarithm function, etc. In addition, these results also provide a theoretical basis for the study of the reciprocal sum of almost primes.

In summary, the main goal of this paper is to provide more extensive mathematical tools for analyzing and understanding complex problems involving multiple prime variables through the generalization of the classic Mertens' theorems.