mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Math (https://www.mersenneforum.org/forumdisplay.php?f=8)
-   -   Elementary Question on Dirichlet L-functions (https://www.mersenneforum.org/showthread.php?t=15299)

intrigued 2011-02-23 20:10

Elementary Question on Dirichlet L-functions
 
1 Attachment(s)
Given [TEX]\epsilon > 0[/TEX], [TEX]K(\epsilon) \ge 2[/TEX], and [TEX]c > 0[/TEX], such that if [TEX]q > K[/TEX] and for every [TEX]d \mid q[/TEX] with [TEX]\chi[/TEX] a primitive character [TEX]\pmod d[/TEX] we have if [TEX]L(s, \chi) \ne 0[/TEX], for [TEX]Re(s) > 1 - \frac{1}{(\log q)^{3/4}}[/TEX] and [TEX]|t| \le \exp(\epsilon \left(\log q \right)^{3/4})[/TEX], then, for any [TEX]a[/TEX] with [TEX]\gcd(a,q) = 1[/TEX], we have [TEX]\pi(x;q,a) \ge \frac{cx}{\varphi(q)\log x}[/TEX] whenever [TEX]q < x^{0.472}[/TEX]. This is Theorem 2 of Harman's paper (which I have attached to this post).

Then does this mean that the nontrivial zeros of [TEX]L(s,\chi)[/TEX] lie on the line [TEX]Re(s) = \frac{1}{(\log q)^{3/4}}[/TEX]?

R.D. Silverman 2011-02-23 22:15

[QUOTE=intrigued;253533]Given [TEX]\epsilon > 0[/TEX], [TEX]K(\epsilon) \ge 2[/TEX], and [TEX]c > 0[/TEX], such that if [TEX]q > K[/TEX] and for every [TEX]d \mid q[/TEX] with [TEX]\chi[/TEX] a primitive character [TEX]\pmod d[/TEX] we have if [TEX]L(s, \chi) \ne 0[/TEX], for [TEX]Re(s) > 1 - \frac{1}{(\log q)^{3/4}}[/TEX] and [TEX]|t| \le \exp(\epsilon \left(\log q \right)^{3/4})[/TEX], then, for any [TEX]a[/TEX] with [TEX]\gcd(a,q) = 1[/TEX], we have [TEX]\pi(x;q,a) \ge \frac{cx}{\varphi(q)\log x}[/TEX] whenever [TEX]q < x^{0.472}[/TEX]. This is Theorem 2 of Harman's paper (which I have attached to this post).

Then does this mean that the nontrivial zeros of [TEX]L(s,\chi)[/TEX] lie on the line [TEX]Re(s) = \frac{1}{(\log q)^{3/4}}[/TEX]?[/QUOTE]

Dirichlet L-functions are believed to follow GRH, so the answer would be no.


All times are UTC. The time now is 14:58.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.