This story on HackerNoon has a decentralized backup on Sia.
Transaction ID: JiD8qQh0afkIijn0d2CHxivplPweZSCXy1EdqRCT5IU
Cover

Discrete Mean Estimates and the Landau-Siegel Zero: Appendix B. Some Arithmetic Sums

Written by @eigenvalue | Published on 2024/6/5

TL;DR
Appendix B delves into proving Lemmas 15.1 and 17.1 concerning arithmetic sums, offering detailed mathematical analysis and proofs for clarity.

Author:

(1) Yitang Zhang.

  1. Abstract & Introduction
  2. Notation and outline of the proof
  3. The set Ψ1
  4. Zeros of L(s, ψ)L(s, χψ) in Ω
  5. Some analytic lemmas
  6. Approximate formula for L(s, ψ)
  7. Mean value formula I
  8. Evaluation of Ξ11
  9. Evaluation of Ξ12
  10. Proof of Proposition 2.4
  11. Proof of Proposition 2.6
  12. Evaluation of Ξ15
  13. Approximation to Ξ14
  14. Mean value formula II
  15. Evaluation of Φ1
  16. Evaluation of Φ2
  17. Evaluation of Φ3
  18. Proof of Proposition 2.5

Appendix A. Some Euler products

Appendix B. Some arithmetic sums

References

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.

[story continues]


Written by
@eigenvalue
We cover research, technology, & documentation about special scalar values associated with square matrices. #EigenValue

Topics and
tags
analytic-number-theory|mathematical-sciences|distribution-of-zeros|siegel's-theorem|dirichlet-l-functions|primitive-character-modulus|landau-siegel-zero|zeta-function
This story on HackerNoon has a decentralized backup on Sia.
Transaction ID: JiD8qQh0afkIijn0d2CHxivplPweZSCXy1EdqRCT5IU