Contributions to the theory of the Euler eta function

問題の記述
本論文は、オイラーのエータ関数 $\eta(s)$（別名：交代ゼータ関数またはディリクレ・エータ関数）およびその導関数（整数次および分数次を含む）の零点の分布を調査するものである。リーマンのゼータ関数 $\zeta(s)$ およびその導関数の零点は十分に研究されているが、著者らは $\eta(s)$ に関する並行かつ独自の性質を確立することを目的としている。主な目的は、$\eta(s) - c$ およびその導関数 $\eta^{(\alpha)}(s)$ の零点のない領域（zero-free regions）を特定すること、リーマン仮説（RH）の仮定の下で、十分大きな虚部において $\eta'(s)$ がクリティカル・ストリップの左半分で非零であることを決定すること、$\eta'(s)$ の負の実軸上の零点を特定すること、そして零点計数関数 $N_k^\eta(T)$ の漸近評価を導出することである。

手法
著者らは、解析的数論の手法、複素解析、および数値計算を組み合わせて用いている：

• 級数の優位性とルシェの定理： 右半平面における零点を特定するために、著者らはディリクレ級数の表現における導関数の解析を行う。彼らは、単一の項 $Q_M^\alpha(s) = (\log M)^\alpha / M^s$ が級数の残りの部分に対して優位となる領域を特定する。全導関数と優位な項との差に対してルシェの定理を適用することで、特定の長方形領域における零点の存在と単純性を証明する。
• 関数等式と対数微分： クリティカル・ストリップおよび左半平面における零の研究は、$\eta(s)$ の関数等式および $\zeta(s)$ との関係に大きく依存している。著者らは、零点を数え、実部の境界を確立するために、対数微分と偏角の原理を利用する。
• 不等式と漸近解析： 零点のない領域および零の位置に関する証明には、三角関数やガンマ関数の項の詳細な推定が含まれており、これにはリーマン仮説から導かれる境界や、ガンマ関数の既知の性質（例：スターリングの公式）がしばしば用いられる。
• 数値的検証： 理論的な知見は、Sage 数値計算システムおよび mpmath 多倍精度ライブラリを用いて行われた数値計算によって支持されている。これらの計算は、$\eta(s)$ からその導関数へ、および導関数から $\eta(s)-c$ へと繋がる零点の経路を可視化する。

主要な貢献と結果

1. $\eta(s) - c$ の零点のない領域：

   • 著者らは、$\sigma > \sigma_0 \approx 1.9401$ において $\eta(s) \neq 1$ であることを証明している。ここで $\sigma_0$ は $\zeta(\sigma)$ を含む特定の関数の零点である。
   • 彼らは、$|\sin(t \log 2)|$ と $-\cos(t \log 2)$ に関する条件を確立し、$c \in [0, 1)$ における $\eta(s) - c$ の零点のない領域を定義している。
   • $\eta(s)$ から $\eta(s)-1$ へと繋がる零点の経路は、その開始点に応じて異なる挙動を示すことを観察している。すなわち、$\zeta(s)$ の零点から始まる経路は $\eta(s)-1$ の零点へと導かれるが、$\eta(s)$ の非自明な零点（具体的には $s_n = 1 + 2n\pi i / \log 2$）から始まる経路は、$c \to 1$ となるにつれて実部が無限大へと近づく。

2. 右半平面における導関数の零点のない領域と零点：

   • 本論文は、$\zeta^{(k)}(s)$ から $\alpha > 0$ の実数 $\alpha$ に対する $\eta^{(\alpha)}(s)$ への結果の一般化を行っている。
   • 定理 3.1 は、ディリクレ級数の特定の項の優位性に基づき、$\eta^{(\alpha)}(s)$ の明示的な零点のない領域を確立している。
   • 定理 3.2 は、特定の垂直ストリップ $S_M^\alpha$ において、各整数 $j$ に対して、級数の連続する2つの項が互いに打ち消し合う線の近くに、$\eta^{(\alpha)}(s)$ の単純な零点がちょうど1つ存在することを証明している。
   • $\zeta^{(\alpha)}(s)$ は正の実軸上に零点を持たないが、$\eta(s)$ の交互の性質により、$\eta^{(\alpha)}(s)$ は実軸上に零点を持つことが可能となっている。

3. クリティカル・ストリップにおける $\eta'(s)$ の非零性（RHを仮定）：

   • 定理 4.1 は、もしリーマン仮説が真であれば、$0 < \sigma < 1/2$ かつ $|t| \ge 164$ において $\eta'(s) \neq 0$ であることを示している。これは、$-\eta'/\eta(1-s)$ の対数微分の実部を解析し、十分大きな $|t|$ の下で、RHの仮定の下でそれが正であることを示すことにより導出される。

4. 左半平面における $\eta'(s)$ の零点：

   • 定理 5.1 および 定理 5.4 は、負の実軸上の $\eta'(s)$ の零点を特定している。彼らは、$n \ge 3$ に対して、区間 $[-2n-2, -2n-2+\epsilon]$ 内に零点が存在することを証明している。
   • 著者らは、$\sigma \le 0$ において $\eta'(s)$ は実数の零点のみを持ち、各区間 $(-2n-2, -2n)$ 内にちょうど1つの実数解を持つことを示している。

5. 零点計数関数：

   • 定理 6.1 は、$k$ 次導関数の虚部が $T$ までの零点の数 $N_k^\eta(T)$ が、$T \to \infty$ において $N_k^\eta(T) = N_\zeta(T) + O(\log T)$ を満たすことを確立している。これは $\zeta^{(k)}(s)$ に関する既知の結果と並行しており、$\eta(s)-c$ の零点の経路を通じて、$\zeta$ の零点と $\eta$ の導関数の間に一対一の対応関係があることを示唆している。

意義と考察
本論文は、$\zeta(s)$ の理論と $\eta(s)$ の間の並行性と驚くべき相違点の両方を浮き彫りにしている。零点の分布に関する多くの結果は類似しているが、著者らは特異な現象、すなわち二重零点の存在に注目している。

• 数値的証拠（図4および図7に可視化）は、$\alpha \approx 0.473$ 付近、 $s \approx -4.88$ 付近において、$\eta^{(\alpha)}(s)$ の二重零点が存在することを示している。これは、左半平面からの零点の経路が実軸で合流する場所で発生する。著者らは、これがこれまでに発見された、これらの関数における分数次導関数の唯一の多重零点であると述べている。これは、標準的な $\zeta(s)$ やディリクレ $L$ 関数の理論では観察されない特徴である。
• 著者らは、分数次導関数への零点計数の漸近的性質の拡張（$N_\eta^\alpha(T) = N_\zeta(T) + O(\log T)$）として、予想 7.1 を提案している。
• また、著者らは、整数 $k$ に対して、分数次導関数で観察された特定の二重零点の現象を除き、$\eta^{(k)}(s)$ は左半平面（$\sigma < 0, t \neq 0$）において非実数の零点を持たないという、Ricky Farrに帰せられる予想 7.2 を提案している。

本研究は、$\eta(s)$ の固有の景観をマッピングし、その導関数に対する厳密な境界を特定し、非交互的な対応物から区別される二重零点のような独自の構造的特徴を特定することにより、リーマンのゼータ関数の古典的理論を補完するものである。