[论文解读] An explicit zero-free region for the Dirichlet L-functions

Habiba Kadiri|arXiv (Cornell University)|Oct 26, 2005

Analytic Number Theory Research参考文献 18被引用 10

一句话总结

本文为模 $ q $ 的非主本原特征标 $ \chi $ 对应的狄利克雷 L-函数 $ L(s,\chi) $ 建立了一个显式的非零区域，其中 $ 3 \leq q \leq 400,000 $。通过改进光滑化显式公式并优化古因-魏尔框架中的参数，作者证明了当 $ \operatorname{Re} s \geq 1 - \frac{1}{5.60 \log(q \max(1,|\operatorname{Im} s|))} $ 时，$ L(s,\chi) $ 无零点，优于此前 $ R = 9.65 $ 的界限。

ABSTRACT

Let $L(s,χ)$ be the Dirichlet $L$-function associated to a non-principal primitive character $χ$ modulo $q$ with $3\le q \le 400\,000$. We prove a new explicit zero-free region for $L(s,χ)$: $L(s,χ)$ does not vanish in the region $\Re s \ge 1-\frac1{R \log \left(q\max(1,| \Im s|) ight) }$ with $R=5.60$. This improves a result of McCurley where $9.65$ was shown to be an admissible value for $R$.

研究动机与目标

• 为模 $ q $ 的非主本原特征标 $ \chi $ 的狄利克雷 L-函数 $ L(s,\chi) $ 建立更精确的显式非零区域，其中 $ 3 \leq q \leq 400,000 $。
• 改进光滑化显式公式与三角不等式的方法，以减小非零区域中常数 $ R $ 的值，超越先前结果。
• 在定量上超越麦卡里（McCurley）的 $ R = 9.646 $ 及更早的界限，从而在解析数论中实现更强的显式估计。
• 通过收紧非零区域，支持素数定理中的应用，例如对 $ \psi(x;q,a) $ 的显式界。

提出的方法

• 使用 $ -\operatorname{Re} \frac{L'}{L}(s,\chi) $ 的光滑化版本，引入紧支集、非负光滑函数 $ f $ 及参数 $ \kappa, \delta $。
• 应用类古因-魏尔的显式公式，将光滑化和与 $ L(s,\chi) $ 的零点、$ f $ 的拉普拉斯变换 $ F $ 及误差项 $ E_q(s) $ 关联起来。
• 采用系数非负的三角多项式 $ P(t) = \sum_{k=0}^{n_0} a_k \cos(kt) $，推导出涉及 $ \chi(n)/n^{i\gamma_0} $ 的和的非负性条件。
• 对 $ f, \kappa, \delta $ 施加条件，以确保对满足 $ \operatorname{Re} \varrho \leq \operatorname{Re} s $ 的零点之和具有非负性，利用差值 $ F(s - \varrho) - \kappa F(s + \delta - \varrho) $。
• 通过 $ F $ 的有界性及 $ c_p(\sigma, \kappa, \delta) $ 的结构，控制非临界线外零点的贡献，证明其可忽略。
• 利用非主特征标条件避免在 $ s=1 $ 处出现极点，并通过因式分解与 $ q/q_k $ 的赋值估计处理非本原特征标。

实验结果

研究问题

• RQ1 是否存在最佳显式常数 $ R $，使得 $ L(s,\chi) $ 在区域 $ \operatorname{Re} s \geq 1 - \frac{1}{R \log(q \max(1,|\operatorname{Im} s|))} $ 内无零点？
• RQ2 光滑化显式公式与三角不等式的方法能否被调整，以在模 $ q \leq 400,000 $ 的狄利克雷 L-函数中实现更小的 $ R $？
• RQ3 $ \kappa, \delta $ 及 $ f $ 的选择如何影响零点和的下界及其导致的非零区域？
• RQ4 误差项与非平凡零点的贡献在多大程度上可被控制，以进一步改进常数 $ R $？

主要发现

• 本文为模 $ q $ 满足 $ 3 \leq q \leq 400,000 $ 的狄利克雷 L-函数建立了新的显式非零区域，证明当 $ \operatorname{Re} s \geq 1 - \frac{1}{5.60 \log(q \max(1,|\operatorname{Im} s|))} $ 时，$ L(s,\chi) $ 无零点。
• 该结果优于麦卡里的结果（$ R = 9.646 $），并超越了早期的 $ R = 6.436 $ 等界限，显著降低了误差项常数。
• 该方法利用改进的古因-魏尔显式公式，结合光滑函数与三角不等式，使因子 $ \frac{1 - \kappa}{2} \approx 0.28 $ 在界中得到有效利用。
• 作者通过使用光滑函数并优化 $ \kappa, \delta $，实现了比希思-布朗方法更紧的界，后者需大模数且仅能获得 $ 0.25 $ 的因子。
• 分析中对临界线外零点之和进行了仔细控制，证明在所选参数下其贡献可忽略。
• 通过莱斯堡大学的欧多克斯机进行了数值验证，支持界中显式常数的正确性。