[論文レビュー] On the Riemann zeta-function and the divisor problem III

Aleksandar Ivić|ArXiv.org|Oct 18, 2006

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

ひとこと要約

本稿は、リーマンゼータ関数とディリクレ除数問題を結ぶ修正誤差関数 $ E^*(t) $ の積分における誤差項 $ R(T) $ を調査する。高次モーメントの分析と高度な指数和技法を用いることで、著者らは $ R(T) = O_{\varepsilon}(T^{593/912 + \varepsilon}) $、$ \int_0^T R^2(t)\,dt = T^2 P_3(\log T) + O_{\varepsilon}(T^{11/6 + \varepsilon}) $、および $ \int_0^T R^4(t)\,dt \ll_{\varepsilon} T^{3 + \varepsilon} $ を確立した。ここで $ P_3 $ は正の先頭係数を持つ3次多項式である。

ABSTRACT

Let $Δ(x)$ denote the error term in the Dirichlet divisor problem, and $E(T)$ the error term in the asymptotic formula for the mean square of $|ζ(1/2+it)|$. If $E^*(t) = E(t) - 2πΔ^*(t/2π)$ with $Δ^*(x) = -Δ(x) + 2Δ(2x) - {1\over2}Δ(4x)$ and we set $\int_0^T E^*(t) dt = 3πT/4 + R(T)$, then we obtain $$ R(T) = O_ε(T^{593/912+ε}), \int_0^TR^4(t) dt \ll_εT^{3+ε}, $$ and $$ \int_0^TR^2(t) dt = T^2P_3(\log T) + O_ε(T^{11/6+ε}), $$ where $P_3(y)$ is a cubic polynomial in $y$ with positive leading coefficient.

研究の動機と目的

• リーマンゼータ関数とディリクレ除数問題を結ぶハイブリッド関数である $ E^*(t) $ の積分から生じる誤差項 $ R(T) $ の理解を精緻化すること。
• 自明な境界 $ R(T) = O(T^{3/4}) $ を改善し、非自明で明示的な誤差指数を確立すること。
• $ R(T) $ の2次および4次モーメントの漸近的挙動を特定し、主項に多項式対数的構造が現れることを明らかにすること。
• $ R(T) $ の推定される大きさを調査し、$ E^*(T) $ および $ \Delta^*(x) $ の大きさに与える影響を検討するとともに、現在の解析的技法の限界を評価すること。

提案手法

• $ \int_0^T E^*(t)\,dt = \frac{3\pi}{4}T + R(T) $ を用いて $ R(T) $ を定義する。ここで $ E^*(t) = E(t) - 2\pi\Delta^*(t/2\pi) $ であり、$ \Delta^* $ は除数問題の誤差関数 $ \Delta(x) $ の滑らか化版である。
• モーメント法を適用し、特に先行研究から得られた $ k=4,5 $ に対する $ \int_0^T |E^*(t)|^k\,dt $ の境界を活用して、$ R(T) $ のモーメント推定値を導出する。
• 指数和技法および鞍点法を用い、$ d(n) $ の和における $ n \asymp T^{1/3} $ の項の寄与を分析する。特に $ \sqrt{n} $ 項の振動的挙動に注目する。
• Lemma 6 および Lemma 3（$ a=5 $ として）を用いて、積分近似における誤差を制御する。特に積分範囲を切り詰め、$ \sin y / y $ 項を評価する。
• 有限の積分区間を $ (0, \infty) $ に置き換え、$ \sin^2 y / y^2 $ の可積分性と対数的モーメントを用いて誤差を推定する。
• $ E^*(t) $ の2次モーメントの構造と一致させ、多項式対数的係数を抽出することで、$ \int_0^T R^2(t)\,dt = T^2 P_3(\log T) + O_{\varepsilon}(T^{11/6 + \varepsilon}) $ の漸近的形を確立する。

実験結果

リサーチクエスチョン

• RQ1 $ R(T) = \int_0^T E^*(t)\,dt - \frac{3\pi}{4}T $ の最良の誤差境界は何か。また、自明な $ O(T^{3/4}) $ 界と比べてどうか。
• RQ2 2次モーメント $ \int_0^T R^2(t)\,dt $ は、$ \log T $ の3次多項式を含む主項として表現可能か。誤差項は何か。
• RQ3 4次モーメント $ \int_0^T R^4(t)\,dt $ の成長率は何か。また、$ R(T) = O_{\varepsilon}(T^{1/2 + \varepsilon}) $ の予想と一致するか、あるいは矛盾するか。
• RQ4 $ R(T) $ 及びそのモーメントの境界が $ E^*(T) $ の大きさにどのように関係するか。また、除数問題およびゼータ関数の平均平方に関する意味は何か。
• RQ5 滑らか化誤差関数 $ \Delta^*(x) $ は、除数問題とゼータ関数の平均平方の類似性をどのように改善するか。

主な発見

• 本稿では $ R(T) = O_{\varepsilon}(T^{593/912 + \varepsilon}) $ を確立した。ここで $ 593/912 \approx 0.6502 $ であり、自明な $ O(T^{3/4}) $ 界を顕著に改善している。
• 2次モーメントは $ \int_0^T R^2(t)\,dt = T^2 P_3(\log T) + O_{\varepsilon}(T^{11/6 + \varepsilon}) $ を満たす。ここで $ P_3(y) $ は正の先頭係数を持つ $ y $ に関する3次多項式である。
• 4次モーメントは $ \int_0^T R^4(t)\,dt \ll_{\varepsilon} T^{3 + \varepsilon} $ を満たし、$ R(T) $ が $ L^4 $-ノルムで急激に増大しないことを示している。
• $ R(T) = \Omega(T^{1/2} (\log T)^{3/2}) $ であることが導かれた。これは $ R(T) $ がこのオーダー未満に小さくはならないことを示唆し、$ R(T) = O_{\varepsilon}(T^{1/2 + \varepsilon}) $ の予想を支持する。
• 誤差指数 $ 593/912 $ は、現在の解析的技法の限界、特に Lemma 2.5 および指数和推定における鞍点法の使用に起因する。
• 結果から $ E^*(T) \ll_{\varepsilon} T^{1/4 + \varepsilon} $ が導かれる。これが真であれば、$ |\zeta(1/2 + it)| $ の既知の漸近的平均平方の改善が得られる。