Upper bounds for |L(1,chi)|

Andrew Granville,Kannan Soundararajan
DOI: https://doi.org/10.48550/arXiv.math/0106176
2001-06-21
Abstract:Given a non-principal Dirichlet character chi mod q, an important problem in number theory is to obtain good estimates for the size of L(1,chi). In this paper we focus on sharpening the upper bounds known for |L(1,chi)|; in particular, we wish to determine constants c (as small as possible) for which the bound |L(1,chi)| <= (c+o(1)) log q holds.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the upper bound estimation of the L - function \(L(1, \chi)\) of non - principal Dirichlet characters \(\chi(\text{mod } q)\). Specifically, the authors Andrew Granville and K. Soundararajan focus on improving the known upper bound of \(|L(1, \chi)|\), especially on determining the smallest possible constant \(c\) such that the following inequality holds: \[|L(1, \chi)| \leq (c + o(1))\log q\] Background information: - The best known upper bound is \(q^{-\epsilon} \ll_{\epsilon} |L(1, \chi)| \ll \log q\). - Assuming the Generalized Riemann Hypothesis, J.E. Littlewood showed a tighter upper bound: \(\frac{1}{\log \log q} \ll |L(1, \chi)| \ll \log \log q\). The main contributions of the paper are: 1. **Improving the upper bound**: For different types of characters \(\chi\), especially complex characters, the authors provide new upper bound estimations. 2. **Introducing new methods**: By introducing and studying the completely multiplicative function \(f\) that satisfies certain conditions, as well as the related integral equations, the authors propose new techniques to deal with these problems. 3. **Numerical results**: For some special cases, specific numerical results are given. For example, for \(k = 2, 3, 4\), specific constants \(c_k\) are determined. Specifically, the authors prove the following theorems: \[ \gamma(S_k; 1) \leq c_k \quad \text{for } k = 2, 3, 4 \] \[ \gamma(S_k) \leq \gamma(S_k; \sqrt{e}) \leq \gamma(U; \sqrt{e}) \leq c_{\infty} \quad \text{for } k \geq 5 \] where \(c_2 = 2 - 2/\sqrt{e}= 0.786938...\), \(c_3 = 4/3 - 1/e^{2/3}= 0.819916...\), \(c_4 = 0.8296539741...\), and \(c_k = c_{\infty}: = 34/35\) for \(k \geq 5\). In addition, the paper also explores the upper bound estimation of \(|L(1, \chi)|\) in the average sense and gives relevant numerical results. In summary, this paper significantly improves the upper bound estimation of \(|L(1, \chi)|\) by introducing new mathematical tools and techniques, especially in the case of complex characters.