[論文レビュー] The explicit upper bound of the multiple integral of $S(t)$ on the Riemann Hypothesis

Takahiro Wakasa|arXiv (Cornell University)|Oct 10, 2012

Analytic Number Theory Research被引用数 5

ひとこと要約

本稿は、リーマン予想の下で、引数関数 $ S(t) $ の $ m $ 重積分 $ S_m(T) $ に対して明示的な上界を確立する。再帰的積分とゼータ関数の対数微分の複素解析を用いて、藤井による $ S(T) $ および $ S_1(T) $ の上界を一般化し、$ m $、$ \log T $、$ \log\log T $ に依存する明示的定数を伴う正確な漸近的推定値を提示する。これは $ T > T_0 $ に対して有効である。

ABSTRACT

We prove explicit upper bounds of the function $S_m(T)$, defined by the repeated integration of the argument of the Riemann zeta-function. The explicit upper bound of $S(T)$ and $S_1(T)$ have already been obtained by A. Fujii. Our result is a generalization of Fujii's results.

研究の動機と目的

• リーマン予想の下で、$ S(T) $ および $ S_1(T) $ の明示的上界を $ m \geq 2 $ の高階積分 $ S_m(T) $ に一般化すること。
• $ |S_m(T)| $ の明示的・定量的上界を導出し、$ \frac{\log T}{(\log\log T)^{m+1}} $ の成長率を反映させ、古典的な $ O $ 評価を改善すること。
• ゼータ関数の対数微分の実部と虚部における挙動の違いに起因し、奇数 $ m $ と偶数 $ m $ における分析の差を明確にすること。
• 繰り返し積分 $ S(t) $ をバインドするための厳密な枠組みを提供し、藤井の手法を高階ケースに拡張し、明示的誤差項を含むこと。

提案手法

• $ S_m(T) $ を $ S(t) $ の $ m $ 重積分として再帰的に定義し、$ \sigma \geq \frac{1}{2} $ における $ \log|\zeta(\sigma)| $ の多重積分から得られる定数 $ C_m $ を導出する。
• リーマン予想の下で $ S_m(T) $ に等しいことが示される補助関数 $ I_m(T) $ を導入し、恒等式 $ S_m(T) = \Im\left\{ \frac{i^m}{m!} \int_{1/2}^\infty (\sigma - 1/2)^m \frac{\zeta'}{\zeta}(\sigma + iTi) d\sigma \right\} / \pi $ を用いる。
• 特に臨界線付近における対数微分 $ \frac{\zeta'}{\zeta}(s) $ の虚部を推定するために、複素解析および積分路積分の技法を適用する。
• 近似関数等式と切り捨てられたディリクレ級数を用いて、ゼータ関数のオイラー積および $ n < X^2 $ の和に起因する誤差項をバインドする。
• パラメータ $ X = \log t $ を導入し、関数 $ \Lambda_X(n) $ を用いてディリクレ級数を切り捨て、積分の剰余項の有効な推定を可能にする。
• 積分を三つの部分 $ J_1 $、$ J_2 $、$ J_3 $ に分割し、零点 $ \rho = \beta + \gamma i $ の性質、$ \frac{1}{|\sigma + it - \rho|} $ の減衰、および $ \sigma_1 = \frac{1}{2} + \frac{1}{\log X} $ を含む積分推定を用いてそれぞれをバインドする。

実験結果

リサーチクエスチョン

• RQ1 リーマン予想の下で、$ S(T) $ および $ S_1(T) $ の既知の上界を一般化し、$ m $ 重積分 $ S_m(T) $ に対して明示的な上界を確立できるか？
• RQ2 $ m $ が奇数か偶数かに応じて、$ S_m(T) $ の上界の構造と大きさはどのように異なり、その原因は何か？
• RQ3 藤井による $ S(T) $ および $ S_1(T) $ の手法を、明示的定数と誤差項を伴って高階積分に拡張できるか？
• RQ4 パラメータ $ X = \log t $ は、積分推定における切り捨て誤差と主要項のバランスをどのように果たすか？
• RQ5 上界の定数は $ m $ にどのように依存し、$ e $、階乗、調和的類似和を含む閉形式で表現可能か？

主な発見

• 奇数 $ m \geq 1 $ の場合、次の明示的上界が確立される： $$ |S_m(t)| \leq \frac{\log t}{(\log\log t)^{m+1}} \cdot \frac{1}{2\pi m!} \left\{ \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \sum_{j=0}^{m} \frac{m!}{(m-j)!} \left( \frac{1}{e} + \frac{1}{2^{j+1}e^2} \right) + \frac{1}{m+1} \cdot \frac{\frac{1}{e}(1 + \frac{1}{e})}{1 - \frac{1}{e}(1 + \frac{1}{e})} + \frac{1}{m(m+1)} \cdot \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \right\} + O\left( \frac{1}{(\log\log t)^{m+2}} \right) $$
• 偶数 $ m \geq 1 $ の場合、定数因子に追加の $ \frac{\pi}{2} $ 項が含まれる： $$ |S_m(t)| \leq \frac{\log t}{(\log\log t)^{m+1}} \cdot \frac{1}{2\pi m!} \left\{ \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \sum_{j=0}^{m} \frac{m!}{(m-j)!} \left( \frac{1}{e} + \frac{1}{2^{j+1}e^2} \right) + \frac{1}{m+1} \cdot \frac{\frac{1}{e}(1 + \frac{1}{e})}{1 - \frac{1}{e}(1 + \frac{1}{e})} + \frac{\pi}{2} \cdot \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \right\} + O\left( \frac{1}{(\log\log t)^{m+2}} \right) $$
• 上界の定数は、$ \frac{1}{e} $、$ \frac{1}{e^2} $、階乗係数を含む級数を用いて明示的に計算されており、積分の再帰的構造を反映している。
• 誤差項は $ O\left( \frac{\log t}{(\log\log t)^{m+2}} \right) $ であることが示され、古典的な $ O\left( \frac{\log t}{(\log\log T)^{m+1}} \right) $ 評価を改善している。
• 奇数と偶数 $ m $ の差異は、$ \log \zeta(s) $ の多重積分の虚部と実部の挙動の違いに起因し、偶数の場合には $ \sigma \in [1/2, \sigma_1] $ の積分から $ \frac{\pi}{2} $ の追加寄与が生じる。
• 本手法は、$ m=1 $ および $ m=2 $ における藤井のアプローチを成功裏に一般化し、明示的定数と誤差制御を伴う高階のバインドの体系的枠組みを提供している。