[论文解读] The fourth moment of Dirichlet $L$-functions

K. Soundararajan|ArXiv.org|Jul 7, 2005

Analytic Number Theory Research参考文献 4被引用 8

一句话总结

本文建立了狄利克雷 $L$-函数在临界线上的四阶矩的渐近公式，通过提供一个即使当 $q$ 拥有许多素因子时仍保持较小的统一误差项，解决了希思-布朗早期结果中的局限性。利用谱分解和特征和估计，作者推导出主项与 $\varphi^*(q)(\log q)^4$ 成正比，相对误差有界于 $O(\omega(q)/\log q \cdot \sqrt{q/\varphi(q)})$，当 $\log\log q \to \infty$ 时趋于零，因此对所有大的 $q$ 得到一个真正的渐近公式。该结果将英汉姆的经典矩公式推广到了狄利克雷 $L$-函数的 $q$-方面。

ABSTRACT

Extending a result of Heath-Brown, we establish an asymptotic formula for the fourth moment of central values of Dirichlet $L$-functions attached to primitive characters $\pmod q$.

研究动机与目标

• 将希思-布朗对狄利克雷 $L$-函数的 $q$-方面四阶矩公式扩展到所有大的 $q$，包括那些具有许多素因子的 $q$，其中原始误差项占主导地位。
• 解决希思-布朗的误差项 $O(2^{\omega(q)}q(\log q)^3)$ 在 $\omega(q) \geq (\log\log q)/\log 2$ 时超过主项的问题。
• 建立一个统一的渐近公式，其相对误差项在 $\log\log q \to \infty$ 时趋于零，确保公式对所有大的 $q$ 成立。
• 提供英汉姆对黎曼 zeta 函数的古典四阶矩在 $q$-方面的类比，且在 $q$-方面有效。

提出的方法

• 将 $L$-函数矩分解为两部分：$B(\chi)$，即 $ab \leq Z = q/2^{\omega(q)}$ 的和，以及 $C(\chi)$，即 $ab > Z$ 的和，使用从 Gamma 函数的巴内斯积分表示导出的光滑权函数 $W_{\mathfrak{a}}(x)$。
• 应用函数方程和近似函数方程，将 $|L(1/2, \chi)|^2$ 表示为 $2A(\chi)$，其中 $A(\chi)$ 是 $\chi(a)\overline{\chi}(b)$ 的双线性型。
• 利用狄利克雷特征的正交性，通过在 $ac \equiv \pm bd \pmod{q}$ 上求和来计算第二矩 $\sum_{\chi \text{ prim.}} |B(\chi)|^2$，并利用乘法数论和特征和界来估计所得和。
• 通过 dyadic 分解和特征和技巧估计 $C(\chi)$ 的贡献，证明 $\sum_{\chi} |C(\chi)|^2 \ll q(\varphi(q)/q)^5 (\omega(q)\log q)^2 + q(\log q)^3$。
• 应用柯西-施瓦茨不等式控制交叉项 $\sum_{\chi} B(\chi)\overline{C(\chi)}$，结合 $B$ 和 $C$ 的界以完成渐近公式的推导。
• 利用莫比乌斯反演和特征和恒等式来计算主项，利用 $\varphi^*(q)$ 的乘法结构以及 $p \mid q$ 上的欧拉乘积。

实验结果

研究问题

• RQ1 希思-布朗对 $L(1/2, \chi)$ 的 $q$-方面四阶矩公式能否扩展到所有大的 $q$，包括 $\omega(q) \gg \log\log q$ 的情况？
• RQ2 狄利克雷 $L$-函数在 $q$-方面的四阶矩中，最优误差项是什么？能否使其统一地为 $o(\text{主项})$？
• RQ3 是否存在一个对所有大的 $q$ 都成立的 $\sum_{\chi \text{ prim.}} |L(1/2, \chi)|^4$ 的统一渐近公式，无论 $q$ 的素因子个数如何？
• RQ4 当 $q$ 为高度合数时，希思-布朗公式中的原始误差项超过主项，此时四阶矩的行为如何？

主要发现

• 本文建立了四阶矩的统一渐近公式：$\sum_{\chi \text{ prim.}} |L(1/2, \chi)|^4 = \frac{\varphi^*(q)}{2\pi^2} \prod_{p \mid q} \frac{(1-p^{-1})^3}{(1+p^{-1})} (\log q)^4 \left(1 + O\left(\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}}\right)\right) + O(q(\log q)^{7/2})$。
• 相对误差项 $O\left(\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}}\right)$ 在 $\log\log q \to \infty$ 时趋于 $o(1)$，确保公式对所有大的 $q$ 真正渐近，即使 $\omega(q)$ 较大。
• 主项为 $\asymp q (\varphi(q)/q)^6 (\log q)^4$，与 $q$-类比英汉姆 zeta 函数矩的预期大小一致。
• 误差项 $O(q(\log q)^{7/2})$ 对大的 $q$ 小于主项，且通过 dyadic 分解和特征和估计控制了来自 $C(\chi)$ 贡献的次级误差。
• 不等式 $\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}} \ll \frac{1}{\sqrt{\log\log q}}$ 确认了相对误差趋于零，验证了公式的渐近性质。
• 该结果解决了长期存在的开放问题，表明在 $q$-方面存在一个误差为 $o(\text{主项})$ 的渐近公式是可能的，优于希思-布朗的原始界限。