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
Appendix B. Some arithmetic sums
Proof of Lemma 15.1. Put
First we claim that
Since χ = µ ∗ ν, it follows that
Hence
This together with Lemma 3.2 yields (B.1).
Next we claim that
This yields (B.2).
By (B.1) and (B.2), for µ = 2, 3,
We proceed to prove theassertion with µ = 2. Since
for σ > 1 and
it follows that
For µ = 1 the proof is therefore reduced to showing that
By (4.2) and (4.3), the left side of (B.3) is equal to
By a change of variable, for 0.5 ≤ z ≤ 0.504,
Hence, in a way similar to the proof of, we find that the left side of (B.3) i
Proof of Lemma 17.1. By Lemma 3.1,
The sum on the right side is equal to
Assume σ > 1. We have
If χ(p) = 1, then (see [19, (1.2.10)])
if χ(p) = −1, then
if χ(p) = 0, then
Hence
In a way similar to the proof of, by (A) and simple estimate, we find that the integral (14) is equal to the residue of the function
at s = 0, plus an acceptable error O, which is equal to
This paper is available on arxiv under CC 4.0 license.