×

Towards the generalized Riemann hypothesis using only zeros of the Riemann zeta function. (English) Zbl 1520.11076

The Dirichlet \(L\)-function \(L(s,\chi)\), \(s=\sigma+it\), is defined by \[ L(s, \chi) =\sum_{n=1}^{\infty}\frac{\chi(n)}{n^s}=\prod_{p\, \mathrm{ prime}}\bigg(1 - \frac{\chi(p)}{p^s}\bigg)^{-1}, \quad \sigma>1. \] The Generalized Riemann Hypothesis (GRH) states that if \(\varrho=\beta+i\gamma\) is a zero of \(L(s, \chi)\) with \(\beta > 0\), then \(\beta =\frac{1}{2}\). It is well known that, for any principal character \(\chi_0 \mod q\), \[ L(s,\chi_0)=\zeta(s)\prod_{p |q}\bigg(1-\frac{1}{p^s}\bigg), \] and, in this case, the Riemann hypothesis (RH) is equivalent to GRH for \(L(s,\chi_0)\) (here, as usual, \(\zeta(s)\) denotes the Riemann zeta-function).
In this paper, it is shown the weak form of GRH for Dirichlet \(L\)-functions (denote as GRH[\(\frac{9}{10}\)]): the inequality \(\beta \leq \frac{9}{10}\) holds for all zeros \(\varrho=\beta+i\gamma\) for an arbitrary Dirichlet \(L\)-function \(L(s,\chi)\). This is done entirely in terms of properties of the zeros of the function \(\zeta(s)\).
More precisely, the result follows from these facts. Suppose, that RH holds, and every function \(\mathcal{B}\) belongs to the space of smooth functions \(f: {\mathbb{R}}^+ \to {\mathbb{C}}\) with compact support in \(\mathbb{R}^+\), and every rational number \(\xi:=\frac{m}{q}\) is such that \(0<m<q\) and \((m,q)=1\). Let, for any \(\varepsilon>0\), it holds the bound \[ \sum_{\varrho=\frac{1}{2}+i\gamma}\xi^{-i\gamma}{\mathcal{Z}}(\varrho){\mathcal{B}}\bigg(\frac{\gamma}{2\pi X}\bigg)+\frac{\mu(q)}{\phi(q)}\sum_{n=1}^{\infty}\Lambda(n){\mathcal{B}}\bigg(\frac{n}{X}\bigg)\ll_{\xi,{\mathcal{B}},\varepsilon}X^{\frac{9}{10}+\varepsilon}, \] where \({\mathcal{Z}}(\varrho):=\lim_{T\to \gamma}{\overline{e^{2 i \arg \zeta\big({1}/{2}+iT\big)}}}\) with non-odinate \(T>0\) of a zero of the zeta-function, and first sum on left side runs over all complex zeros \(\varrho=\frac{1}{2}+i\gamma\) of \(\zeta(s)\). Under such conditions the hypothesis GRH[\(\frac{9}{10}\)] is true.

MSC:

11M06 \(\zeta (s)\) and \(L(s, \chi)\)
11M26 Nonreal zeros of \(\zeta (s)\) and \(L(s, \chi)\); Riemann and other hypotheses
11M20 Real zeros of \(L(s, \chi)\); results on \(L(1, \chi)\)

References:

[1] Borwein, P., Choi, S., Rooney, B., Weirathmueller A. (eds.): The Riemann Hypothesis. A Resource for the Afficionado and Virtuoso Alike. CMS Books in Mathematics. Springer, New York (2008) · Zbl 1132.11047
[2] Bump, D.: Automorphic Forms and Representations. Cambridge Studies in Advanced Mathematics, vol. 55. Cambridge University Press, Cambridge (1997) · Zbl 0868.11022
[3] Davenport, H.: Multiplicative Number Theory, 3rd edn. Revised and with a preface by H. L. Montgomery. Graduate Texts in Mathematics, vol. 74. Springer, New York (2000) · Zbl 1002.11001
[4] Iwaniec, H., Kowalski, E.: Analytic Number Theory. American Mathematical Society Colloquium Publications, vol. 53. American Mathematical Society, Providence, RI (2004) · Zbl 1059.11001
[5] Montgomery, H.L., Vaughan, R.C.: Multiplicative Number Theory. I. Classical Theory. Cambridge Studies in Advanced Mathematics, vol. 97. Cambridge University Press, Cambridge (2007) · Zbl 1142.11001
[6] Riemann, B.: Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse. Monatsberichte der Berliner Akademie (1859)
[7] Titchmarsh, E.C.: The Theory of the Riemann Zeta-Function, 2nd edn. Edited and with a preface by D. R. Heath-Brown. The Clarendon Press, Oxford University Press, New York (1986) · Zbl 0601.10026
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.