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

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

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

and let ζ2(s)=(12s)ζ(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αpn(1+p1)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(12α)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(α)(logX)1|\operatorname{Re}(\alpha)|\ll(\log X)^{-1} and Im(α)(logX)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.

Sources & referencesView supporting material

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.