Extreme values of derivatives of Dirichlet $L$-functions

技術的要約：ディリクレL関数の導関数の極値について

問題設定
本論文は、クリティカル・ストリップ（臨界帯）の範囲 $1/2 < \sigma < 1$ におけるディリクレL関数 $L^{(\ell)}(s, \chi)$ の $\ell$ 階導関数の極値に対する下界を確立するという問題に取り組んでいる。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)$ への拡張には新たな手法が必要であった。

手法
著者らは、Voronin [11] によって導入され、Soundararajan [10] らによって改良されたレゾナンス（共鳴）技法の洗練版である**ロング・レゾネーター法（long resonator method）**を採用している。核心となる戦略は、特定の非主指標 $\chi$ に対して $L^{(\ell)}(\sigma, \chi)$ の値を増幅するように設計された特定の「レゾネーター」関数 $R(\chi)$ を構築することである。

技術的な実行手順は以下の通りである：

1. 級数の切断（Truncation of the Series）: 著者らはまず、十分に大きな素数 $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$ のディリクレ指標の集合上の2つの和の比の解析に基づいている：
   • $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$ の和を注意深く推定し、主指標の寄与（これは無視できることが示されている）を分離し、非主指標に焦点を当てて、レゾネーターの大きさの成長を評価するためにオイラー積と素数定理を用いる。

主要な貢献と結果
本論文の主要な貢献は、任意の固定された整数 $\ell \ge 0$ および $\sigma \in (1/2, 1)$ に対して、十分に大きなすべての素数 $q$ に対して、以下の条件を満たす非主指標 $\chi \pmod q$ が存在するための定数 $c_{\sigma, \ell} > 0$ が存在することを確立する定理 1.1 である：
$$|L^{(\ell)}(\sigma, \chi)| \ge \exp\left( c_{\sigma, \ell} \frac{(\log q)^{1-\sigma}}{(\log \log q)^\sigma} \right)$$

この結果は、ディリクレL関数の導関数が、クリティカル・ストリップ内の範囲 $1/2 < \sigma < 1$ において、元のL関数と同等のオーダーの大きさの極値を取り得ることを示している。具体的には：

• $\ell=0$ の場合、本定理は $|L(\sigma, \chi)|$ に関する Aistleitner ら [3] の既知の結果を回収する。
• 本研究は、リーマンゼータ関数に関する先行知見（具体的には [12, Theorem 2(B)]）をディリクレL関数の文脈へと一般化している。
• D. Yang の研究 [14] の範囲を、境界点 $s=1$ からクリティカル・ストリップの内部へと拡張している。

意義
本論文は、L関数の導関数の極値分布に関する理解の空白を埋めることで、その意義を主張している。導関数がクリティカル・ストリップ内で関数自体と比較して著しく減衰しないことを証明することにより、著者らは、これらの導関数の解析的性質と、文字和の評価や二次剰余の分布といった数論における基礎的な問題との間のつながりを強化している。この特定の問題に対してロング・レゾネーター法を適用することに成功したことは、クリティカル・ストリップにおける高階導関数を扱う上での同手法の汎用性を浮き彫りにしている。