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
6. Approximate formula for L(s, ψ)
Write

Let

Lemma 6.1. Suppose ψ(mod p) ∈ Ψ, |σ − 1/2| < 2α and |t − 2πt0| < L1 + 2. Then
L(s, ψ) = K(s, ψ) + Z(s, ψ)N(1 − s, ψ¯) + O(E1(s, ψ)),
where

and where

Proof. By (4.3) we have

The left side above is, by moving the line of integration to u = −1, equal to

It therefore suffices to show that

For u = −1 we have, by the functional equation (2.2) with θ = ψ,

We first show that

We move the contour of integration in (6.2) to the vertical segments

and

with the horizontal connecting segments


whence (6.2) follows. The proof of (6.1) is therefore reduced to showing that

This paper is available on arxiv under CC 4.0 license.
