:::info
Author:
(1) Yitang Zhang.
:::
Table of Links
Abstract & Introduction
Notation and outline of the proof
The set Ψ1
Zeros of L(s, ψ)L(s, χψ) in Ω
Some analytic lemmas
Approximate formula for L(s, ψ)
Mean value formula I
Evaluation of Ξ11
Evaluation of Ξ12
Proof of Proposition 2.4
Proof of Proposition 2.6
Evaluation of Ξ15
Approximation to Ξ14
Mean value formula II
Evaluation of Φ1
Evaluation of Φ2
Evaluation of Φ3
Proof of Proposition 2.5
Appendix A. Some Euler products
Appendix B. Some arithmetic sums
7. Mean-value formula I
Let N (d) denote the set of positive integers such that h ∈ N (d) if and only if every prime factor of h divides d (note that 1 ∈ N (d) for every d and N (1) = {1}). Assume 1 ≤ j ≤ 3 in what follows. Write
and
For notational simplicity we write
Let
with
For ψ(mod p) ∈ Ψ write
Let a = {a(n)} denote a sequence of complex numbers satisfying
Write
The goal of this section is to prove
In this and the next two sections we assume that 1 ≤ j ≤ 3.
Proof of Proposition 7.1: Initial steps
Here Proposition 2.1 is crucial.
Let κ(n) be given by
we obtain
By (7.4), the proof of (7.3) is reduced to showing that
This yields (7.5) by Proposition 2.1 and (2.9).
By (7.3) we may write
This yields
By trivial estimation, this remains valid if the constraint (l, p) = 1 is removed. Further, by the relation
we have
Thus the right side of (7.7) is
For (l, k) = 1 we have
Inserting this into (7.8) we deduce that
where
and
Proof of Proposition 7.1: The error term
In this subsection we prove (7.11).
Changing the order of summation gives
Assume 1 < r < D and θ is a primitive character (mod r). By Lemma 5.6, the right side of (7.14) is
which are henceforth assumed.
For σ = 1, by the large sieve inequality we have
It follows by Cauchy’s inequality that
This yields (7.15).
Proof of Proposition 7.1: The main term
In this subsection we prove (7.10).
Assume p ∼ P. We may write
The innermost sum is, by the Mellin transform, equal to
By the simple bounds
for σ > 9/10, we can move the contour of integration in (7.19) to the vertical segments
and to the two connecting horizontal segments
This yields
On the other hand, by Lemma 5.2 (ii) and direct calculation we have
Combining these with (7.20) and (7.21) we obtain (7.10), and complete the proof of Proposition 7.1.
:::info
This paper is available on arxiv under CC 4.0 license.
:::