[論文レビュー] Jacob's ladders and the multiplicative asymptotic formula for short and microscopic parts of the Hardy-Littlewood integral

Jan Moser|ArXiv.org|Jul 2, 2009

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

ひとこと要約

本稿は、リーマン・ゼータ関数の零点に関連する幾何的構成であるヤコブの階段を用いて、平方されたハーディー・リトルウッド積分の短いおよび微小な部分を扱う、新しい乗法的漸近公式を導入する。主な結果は、$ U \leq T / \ln T $ のとき、$ \int_T^{T+U} Z^2(t)\,dt = U\ln T \cdot \tan[\alpha(T,U)] \left\{1 + \mathcal{O}\left(\frac{\ln\ln T}{\ln T}\right)\right\} $ である。これは、バラスブラマニアン、ヒース＝ブラウン、イヴィッチらの従来の手法では到達できない新しい漸近公式のクラスを提供する。

ABSTRACT

The elementary geometric properties of Jacob's ladders lead to a class of new asymptotic formulae for short and microscopic parts of the Hardy-Littlewood integral. This class of asymptotic formulae cannot be obtained by methods of Balasubramanian, Heath-Brown and Ivic.

研究の動機と目的

• ハリー・リトルウッド積分 $ \int_T^{T+U} Z^2(t)\,dt $ の短いおよび微小な区間に対する、古典的手法では到達できない新しい漸近公式を導出すること。
• ヤコブの階段の幾何的性質に基づく、$ Z^2(t) $ の乗法的漸近的構造を確立することにより、解析的数論と幾何的構成を結びつけること。
• $ U \to 0 $ のときの $ Z^2(t) $ の漸近的挙動が、$ \ln T $ と角 $ \alpha(T,U) $ を含む乗法的補正因子によって捉えられることを示すこと。
• $ Z^2(t) $ の積分とヤコブの階段関数 $ \varphi(T) $ の微分を関連付けることで、ゼータ関数の零点の分布を分析する新しい枠組みを提供すること。

提案手法

• 恒等式 $ Z^2(t) = \Phi'_{\varphi}[\varphi(T)] \cdot \frac{d\varphi(T)}{dT} $ に依存する。ここで $ \Phi'_{\varphi} $ は、$ Z^2(t) $ と指数的重みを含む変換された積分である。
• ヤコブの階段の定義 $ y = \frac{1}{2}\varphi(T) $（$ \varphi(T) \sim 2T $）と、基本的な弦の性質 $ \tan[\alpha(T,U_0)] = 1 + \mathcal{O}(1/\ln T) $ を用いる。
• 重要なステップとして、第二階微分 $ \Phi''_{y^2}[\varphi] $ の推定を行い、それが $ \mathcal{O}\left(\frac{1}{\varphi}\ln\varphi\ln\ln\varphi\right) $ であることを示し、誤差項を制御する。
• 加法的公式 (1.1) と新しい乗法的構造を比較することで漸近公式を導出し、平均値定理と $ \Phi'_{\varphi} $ を通じた誤差伝播を用いる。
• 区間 $ [N,M] \subset [T, T+U_0] $ の新しいクラスを導入し、その平均値が漸近的に $ \ln T $ に等しくなることを示す。幾何的には、『ほぼ平行な弦』の性質 $ \tan[\alpha(N,M-N)] = 1 + o(1) $ で特徴づけられる。
• 個々の非自明な零点 $ \gamma $ を出発点とする区間へも枠組みを拡張し、$ \tan\alpha \in [\eta, 1-\eta] $ のとき $ \int_{\gamma}^{\gamma+U} Z^2(t)\,dt \sim U\ln\gamma \cdot \tan\alpha $ を得る。

実験結果

リサーチクエスチョン

• RQ1 短いおよび微小な部分 $ \int_T^{T+U} Z^2(t)\,dt $ に対して、$ U \to 0 $ のとき、乗法的漸近公式を導出できるか？
• RQ2 ヤコブの階段の幾何的構造、特に弦の角度が、小領域における $ Z^2(t) $ の漸近的挙動を決定づけるか？
• RQ3 ハリー・リトルウッド積分の漸近公式を、バラスブラマニアン、ヒース＝ブラウン、イヴィッチの加法的手法とは独立して、$ \ln T $ と $ \tan[\alpha(T,U)] $ を含む乗法的形で表現できるか？
• RQ4 平均値が $ \int_N^M Z^2(t)\,dt \sim (M-N)\ln T $ となるような、$ M-N < 1 $ の区間 $ [N,M] $ の連続体が存在するか？
• RQ5 乗法的漸近公式における誤差項の大きさは何か？また、すべての $ U \leq T / \ln T $ に対して一様に有界にできるか？

主な発見

• 主な結果は、乗法的漸近公式：$ \int_T^{T+U} Z^2(t)\,dt = U\ln T \cdot \tan[\alpha(T,U)] \left\{1 + \mathcal{O}\left(\frac{1}{\ln T}\right)\right\} $ であり、$ U \in \left(0, \frac{T}{\ln T}\right] $ の範囲で成り立つ。
• この公式は、$ Z^2(T) = \frac{1}{2}\ln T \cdot \frac{d\varphi(T)}{dT} \left\{1 + \mathcal{O}\left(\frac{2\ln\ln T}{\ln T}\right)\right\} $ を意味し、$ Z^2(T) $ の点での漸近的評価を提供する。
• 区間 $ [N,M] \subset [T, T+U_0] $ の連続体が存在し、$ \int_N^M Z^2(t)\,dt = (M-N)\ln T \left\{1 + \mathcal{O}\left(\frac{\ln\ln T}{\ln T}\right)\right\} $ を満たす。これは $ M-N < 1 $ の区間を含む。
• 十分に大きなゼータ関数の非自明な零点 $ \gamma $ に対して、区間 $ [\gamma, \gamma + U] $ の連続体が存在し、$ \int_\gamma^{\gamma+U} Z^2(t)\,dt = U\ln\gamma \cdot \tan\alpha \left\{1 + \mathcal{O}\left(\frac{1}{\ln \gamma}\right)\right\} $ が成り立つ。ただし $ \tan\alpha \in [\eta, 1-\eta] $ とする。
• 第二階微分 $ \Phi''_{y^2}[\varphi] $ は $ \mathcal{O}\left(\frac{1}{\varphi}\ln\varphi\ln\ln\varphi\right) $ で有界であり、これは漸近展開における誤差項が制御されることを保証する。
• 本手法は、バラスブラマニアン、ヒース＝ブラウン、イヴィッチの複素解析的技法では到達できない結果をもたらし、特に $ U \to 0 $ の微小な区間において顕著である。