[論文レビュー] A note on S(T) and the zeros of the Riemann zeta-function

D. A. Goldston, S. M. Gonek|ArXiv.org|Nov 3, 2005

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

ひとこと要約

この論文は、リーマン予想のもとで、臨界線上のリーマン・ゼータ関数の対数の引数を測る関数 $ S(t) $ の既存で最も良い上限を鋭くしている。グインランド＝ヴェイルの明示的公式を精錬し、最適なパラメータをもつ滑らかでないテスト関数を用いることで、$ 0 < h \leq \sqrt{t} $ に対して $ |S(t+h) - S(t)| \leq \left(\frac{1}{2} + o(1)\right)\frac{\log t}{\log\log t} $ を証明した。これは古典的推定値における定数を改善し、零点の重複度および間隔の大きさに対するより鋭い上限を導く。

ABSTRACT

Let $πS(t)$ denote the argument of the Riemann zeta-function at the point $\frac12+it$. Assuming the Riemann Hypothesis, we sharpen the constant in the best currently known bounds for $S(t)$ and for the change of $S(t)$ in intervals. We then deduce estimates for the largest multiplicity of a zero of the zeta-function and for the largest gap between the zeros.

研究の動機と目的

• リーマン予想を仮定したもとで、臨界線上におけるリーマン・ゼータ関数の対数の引数を測る関数 $ S(t) $ の、現在知られている最も良い上界を改善すること。
• 古典的リトルウッドの上限 $ S(t) \ll \frac{\log t}{\log\log t} $ における定数を精錬し、不明な定数から $ \frac{1}{2} + o(1) $ に低下させること。
• ゼータ関数の零点の最大重複度および連続する非自明零点間の最大間隔に対するより鋭い推定値を導出すること。
• 区間長 $ h \leq \sqrt{t} $ における $ S(t) $ の変化が $ \left(\frac{1}{2} + o(1)\right)\frac{\log t}{\log\log t} $ で有界であることを確立し、先行研究を上回ること。

提案手法

• 著者たちは、区間の特性関数を上からと下から近似する偶関数 $ F_{+} $ および $ F_{-} $ から導かれる滑らかでないテスト関数 $ F(w) $ を用いて、グインランド＝ヴェイルの明示的公式を適用する。
• これらの関数の性質——特に $ |x| \geq \delta $ で消失するフーリエ変換 $ \hat{F}_{\pm}(x) $ およびその減衰挙動——を用いて、明示的公式における誤差項を制御する。
• テスト関数のパラメータ $ L $ と $ \delta $ は、$ \pi\delta = \log\log t - 2\log\log\log t $ と設定することで最適化され、主項と誤差項のバランスをとる。
• 関数 $ h(w) = F(w - t) $ に明示的公式を適用することで、零点の和をガンマ関数の対数微分、ゼータ関数の明示的公式、および素数の冪に関する和に関連付ける。
• 主項はガンマ関数の対数微分に由来し、スターリングの公式を用いて近似される。一方、$ n $ に関する和は、フーリエ変換の減衰性と自明な推定を用いて有界化される。
• 得られた零点数の不等式を用い、平均化の議論により $ S(t+h) - S(t) $ および最終的に $ S(t) $ 自身の上限が導かれる。

実験結果

リサーチクエスチョン

• RQ1 リーマン予想のもとで、古典的上限 $ S(t) \ll \frac{\log t}{\log\log t} $ における定数を改善できるか？
• RQ2 区間長 $ h \leq \sqrt{t} $ における $ S(t) $ の変化の最適な上限は何か？ そしてそれは零点の間隔および重複度の推定にどのように影響するか？
• RQ3 改善された $ S(t) $ の上限を用いることで、ゼータ関数の零点の重複度をより鋭く有界化できるか？
• RQ4 精錬された $ S(t) $ の上限は、臨界線上における連続する非自明零点間の最大間隔にどのように影響するか？
• RQ5 先導項における定数 $ \frac{1}{2} $ を、不明な定数ではなく、正確に達成できるか？

主な発見

• この論文は、リーマン予想のもとで、$ 0 < h \leq \sqrt{t} $ に対して $ |S(t+h) - S(t)| \leq \left(\frac{1}{2} + o(1)\right)\frac{1}{\log\log t} \log t $ が成り立つことを確立した。これは古典的上限における定数の改善を示している。
• 十分大きな $ t $ に対して $ |S(t)| \leq \left(\frac{1}{2} + o(1)\right)\frac{\log t}{\log\log t} $ が証明され、先導項における定数 $ \frac{1}{2} $ が鋭いことが確認された。
• 零点 $ \frac{1}{2} + i\gamma $ の最大重複度 $ m(\gamma) $ は、大きな $ \gamma $ に対して $ m(\gamma) \leq \left(\frac{1}{2} + o(1)\right)\frac{\log \gamma}{\log \log \gamma} $ を満たす。
• 連続する非自明零点間の最大間隔 $ \gamma' - \gamma $ は、$ \gamma' - \gamma \leq \frac{\pi}{\log\log \gamma}(1 + o(1)) $ を満たし、これはリーマン予想のもとで鋭い上界である。
• 著者たちは、フーリエ変換の性質と減衰性を制御した滑らかでないテスト関数を用いて、グインランド＝ヴェイルの明示的公式におけるパラメータを最適化した。
• 主な革新点は、誤差項と主項のバランスをとるために $ \pi\delta = \log\log t - 2\log\log\log t $ と選ぶことであり、これにより誤差項が主項に対して最小限に抑えられる。