CFKRS–DGH conjecture for the first moment of quadratic Dirichlet L-functions

About 18 years old · traced to

Let XX be large, let Φ\Phi be the smooth test function used in the moment, and let α\alpha be complex. Define

Φ~(s)=∫0∞Φ(x)xs−1 dx\widetilde{\Phi}(s)=\int_0^\infty \Phi(x)x^{s-1}\,dx

and let ζ2(s)=(1−2−s)ζ(s)\zeta_2(s)=(1-2^{-s})\zeta(s). Let γα\gamma_\alpha be the factor defined by the approximate functional equation, and define BαB_\alpha by

ζ2(1+2α)Bα:=∑(n,2)=11n1+2α∏p∣n(1+p−1)−1.\zeta_2(1+2\alpha)B_\alpha:=\sum_{(n,2)=1}\frac{1}{n^{1+2\alpha}}\prod_{p\mid n}(1+p^{-1})^{-1}.

CFKRS–DGH conjecture. The first moment satisfies

\sideset∗∑(d,2)=1L(12+α,χ8d)Φ(dX)=XΦ~(1)2ζ2(2)ζ2(1+2α)Bα+X1−αΦ~(1−α)γα2ζ2(2)ζ2(1−2α)B−α+O(X1/2+ε).\sideset{}{^*}\sum_{(d,2)=1}L\left(\tfrac12+\alpha,\chi_{8d}\right)\Phi\left(\frac dX\right)=\frac{X\widetilde{\Phi}(1)}{2\zeta_2(2)}\zeta_2(1+2\alpha)B_\alpha+\frac{X^{1-\alpha}\widetilde{\Phi}(1-\alpha)\gamma_\alpha}{2\zeta_2(2)}\zeta_2(1-2\alpha)B_{-\alpha}+O\left(X^{1/2+\varepsilon}\right).

Here BαB_\alpha has an absolutely convergent Euler product for α\alpha in a neighborhood of the origin, and the estimate is uniform for ∣Re⁡(α)∣≪(log⁡X)−1|\operatorname{Re}(\alpha)|\ll(\log X)^{-1} and ∣Im⁡(α)∣≪(log⁡X)2|\operatorname{Im}(\alpha)|\ll(\log X)^2. This is the conjectural asymptotic underlying the first-moment calculation and is attributed in the source to CFKRS and DGH; its resolution is not specified in the paper.

References

Primary source

Matthew P. Young, “The first moment of quadratic Dirichlet L-functions”, arXiv:0804.4141 (2008).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.