Extreme values of derivatives of Dirichlet $L$-functions

技术摘要：狄利克雷 L-函数的导数极值

问题陈述
本文研究了建立狄利克雷 L-函数导数 $L^{(\ell)}(s, \chi)$ 在临界带范围 $1/2 < \sigma < 1$ 内极值下界的问题。虽然 L-函数本身（$\ell=0$）的极值已被广泛研究——最著名的是 Aistleitner, Mahatab, Munsch 和 Peyrot [3] 建立了 $|L(1, \chi)|$ 和 $|L(\sigma, \chi)|$ 的精确下界——但在范围 $1/2 < \sigma < 1$ 内其导数的行为研究较少。此前，D. Yang [14] 已成功分析了 $s=1$ 处的导数，但将研究扩展到开区间 $(1/2, 1)$ 则需要新的技术。

方法论
作者采用了长谐振器方法（long resonator method），这是对 Voronin [11] 最初引入并由 Soundararajan [10] 等人改进的谐振技术的精化。核心策略是构造一个特定的“谐振器”函数 $R(\chi)$，旨在放大特定非主特征 $\chi$ 的 $L^{(\ell)}(\sigma, \chi)$ 值。

技术执行过程如下：

1. 级数截断： 作者首先确定，对于足够大的素数 $q$，导数 $L^{(\ell)}(\sigma, \chi)$ 可以有效地由截断的狄利克雷级数 $P(\chi) = \sum_{n \le q} (\log n)^\ell \chi(n) n^{-\sigma}$ 来近似。利用 Pólya-Vinogradov 不等式和部分求和法（引理 2.1），证明其误差项是微不足道的（$O(q^{1/2-\sigma}(\log q)^{\ell+1})$）。
2. 谐振器构造： 定义一个完全乘性函数 $r(n)$，使得对于素数 $p \le Y$，有 $r(p) = 1/2$，否则为 $0$，其中$Y = \eta \log q \log \log q$。谐振器定义为$R(\chi) = \sum r(n)\chi(n)$。
3. 矩分析： 证明依赖于对模 $q$ 的狄利克雷特征集合上的两个和进行分析：
   • $S_1 = \sum |R(\chi)|^2$
   • $S_2 = \sum P(\chi)|R(\chi)|^2$
     通过展开这些和并利用狄利克雷特征的正交性，作者通过不等式 $\max |P(\chi)| \ge S_2/S_1$ 推导出 $|P(\chi)|$ 最大值的下界。
4. 渐近估计： 作者仔细估计了和 $S_1$ 与 $S_2$，分离出主特征的贡献（已被证明是微不足道的），并专注于非主特征。估计过程涉及利用欧拉乘积和素数定理来评估谐振器量级的增长。

主要贡献与结果
本文的主要贡献是定理 1.1，该定理确立了对于任何固定的整数 $\ell \ge 0$ 及 $\sigma \in (1/2, 1)$，存在一个常数 $c_{\sigma, \ell} > 0$，使得对于每一个足够大的素数 $q$，都存在一个非主特征 $\chi \pmod q$ 满足：
$$|L^{(\ell)}(\sigma, \chi)| \ge \exp\left( c_{\sigma, \ell} \frac{(\log q)^{1-\sigma}}{(\log \log q)^\sigma} \right)$$

这一结果表明，在范围 $1/2 < \sigma < 1$ 内，狄利克雷 L-函数的导数可以达到与原函数相同数量级的极值。具体而言：

• 在 $\ell=0$ 的情况下，该定理恢复了 Aistleitner 等人 [3] 关于 $|L(\sigma, \chi)|$ 的已知结果。
• 该工作将之前关于黎曼 Zeta 函数的研究（特别是 [12, 定理 2(B)]）推广到了狄利克雷 L-函数的背景下。
• 它将 D. Yang [14] 的工作从边界点 $s=1$ 扩展到了临界带内部。

意义
本文声称其意义在于弥补了理解 L-函数导数极值分布方面的空白。通过证明在临界带内，导数的量级并不会相对于函数本身显著衰减，作者强化了这些导数的解析性质与数论基本问题（如特征和估计以及二次剩余的分布）之间的联系。长谐振器方法在这一特定问题上的成功应用，凸显了该方法在处理临界带内高阶导数时的通用性。