Deriving an Approximate Formula for Dirichlet L-Functions

Written by eigenvalue | Published 2024/06/02
Tech Story Tags: mathematical-sciences | analytic-number-theory | distribution-of-zeros | siegel's-theorem | dirichlet-l-functions | primitive-character-modulus | landau-siegel-zero | zeta-function

TLDRThis section derives an approximate formula for L(s, ψ), leveraging the functional equation and contour integration, providing a detailed analysis with error estimation and key lemmas.via the TL;DR App

Author:

(1) Yitang Zhang.

Table of Links

  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

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.


Written by eigenvalue | We cover research, technology, & documentation about special scalar values associated with square matrices. #EigenValue
Published by HackerNoon on 2024/06/02