Abstract:A 1976 result from Norton may be used to give an asymptotic (but not explicit) description of the constant in Mertens' second theorem for primes in arithmetic progressions. Assuming the Generalized Riemann Hypothesis, we give an effective description of Norton's observation.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalization of Mertens' theorem in arithmetic progressions, especially the precise description of the constants \(C(q, \ell)\) and \(M(q, \ell)\). Specifically:
1. **Background and Problem Definition**:
- Mertens' theorem is an important set of results in number theory, involving the distribution of prime numbers and their related properties.
- This paper focuses on the generalization of Mertens' theorem in arithmetic progressions. An arithmetic progression refers to a sequence of prime numbers of the form \(p \equiv \ell \pmod{q}\).
2. **Deficiencies in Existing Research**:
- Norton gave an asymptotic but not explicit description of the constant in Mertens' second theorem in arithmetic progressions in 1976.
- Existing research lacks a clear description of the specific values and ranges of these constants, especially under the assumption of the Generalized Riemann Hypothesis (GRH).
3. **Objectives of the Paper**:
- The objective of this paper is to give an effective description of Norton's observations under the assumption that the Generalized Riemann Hypothesis holds, that is, to provide a more precise estimate of the constant \(M(q, \ell)\).
- Specifically, the author hopes to determine the implicit constant in formula (8) to obtain a more effective bound:
\[
M(q, \ell)=\frac{\delta_\ell}{\ell}+O\left(\frac{\log q}{\sqrt{q}}\right),
\]
where \(\delta_\ell\) is an indicator function, which is 1 when \(\ell\) is prime and 0 otherwise.
4. **Main Contributions**:
- Theorem 1.1 is proposed, which provides a more precise bound for \(M(q, \ell)\) under the assumption that the Generalized Riemann Hypothesis holds:
\[
\left|M(q, \ell)-\frac{\delta_\ell}{\ell}+\frac{\log \log q}{\varphi(q)}\right|<\tau_1(q)\varphi(q)^{-1}\left(q^{-1}+\tau_2(q)\frac{\log q}{\sqrt{q}}\right).
\]
- Further, through Corollary 1.2, the above result is simplified to obtain:
\[
\left|M(q, \ell)-\frac{\delta_\ell}{\ell}\right|\leq 43.95\frac{\log q}{\sqrt{q}}.
\]
In summary, this paper aims to provide a more precise description of the key constants through the generalization of Mertens' theorem in arithmetic progressions and give effective bounds for these constants under the assumption that the Generalized Riemann Hypothesis holds.