[論文レビュー] Jacob's ladders and the asymptotic formula for the integral of the eight order expression $|\zeta(1/2+i\vp_2(t))|^4|\zeta(1/2+it)|^4$

Jan Moser|arXiv (Cornell University)|Jan 13, 2010

Analytic Number Theory Research参考文献 10被引用数 12

ひとこと要約

この論文は、|ζ(1/2 + iϕ₂(t))|⁴ と |ζ(1/2 + it)|⁴ の間の微細な相関関係を確立する、2階のヤコブの階段 ϕ₂(T) という新しい単調関数を導入する。非線形積分方程式と漸近解析を用いて、8次のモーメント ∫|ζ(1/2 + iϕ₂(t))|⁴|ζ(1/2 + it)|⁴ dt ∼ 1/(4π⁴) U ln⁸T の、これまでにない初の漸近公式を導出する。これはバラスブラマニアン、ヒース＝ブラウン、イヴィッチの既存手法を凌駕する。

ABSTRACT

It is proved in this paper that there is a fine correlation between the values of $|\zeta(1/2+i\vp_2(t))|^4$ and $|\zeta(1/2+it)|^4$ where $\vp_2(t)$ stands for the Jacob's ladder of the second order. This new asymptotic formula cannot be obtained in known theories of Balasubramanian, Heath-Brown and Ivic.

研究の動機と目的

• 積分方程式から導出された新しい関数 ϕ₂(t) を含む、リーマン・ゼータ関数の8次モーメントに対する新しい漸近公式を確立すること。
• 非線形積分方程式を満たす解としての2階ヤコブの階段 ϕ₂(T) を定義・特徴づけること。
• バルサブラマニアン、ヒース＝ブラウン、イヴィッチの既存手法では得られない、新しい漸近公式が導けることを示すこと。
• ϕ₂(T) 及びその導関数の漸近的挙動を分析し、ϕ₂(T) = T + O(T / ln T) を示し、関連積分の精度の良い誤差項を導出すること。
• U = T¹³/¹⁴⁺²ε の特定のスケーリングの下で、変換されたモーメント ∫Z₄[ϕ₂(t)]Z₄(t) dt が C₀U ln⁸T に漸近的に一致することを証明すること。ここで C₀ = 1/(2π²) である。

提案手法

• 非線形積分方程式 ∫₀^{µ(x(T))} Z₄(t)e^{-t/x(T)} dt = ∫₀^T Z₄(t) dt に対して、µ(y) ≥ 4y ln y を満たす唯一の解として ϕ₂(T) を定義する。
• Φ₂(y) = ∫₀^{µ(y)} Z₄(t)e^{-t/y} dt を導入し、微分関係式 Z₄(t) = Φ′₂(ϕ₂(T)) · dϕ₂(T)/dT を導出する。
• ティッチマーシュ＝アトキンソンの公式とインガム＝ヒース＝ブラウンの漸近的展開を用いて、∫₀^T Z₄(t) dt を ϕ₂(T) の関数として表現し、漸近的比較を可能にする。
• モーメント積分の比較と ln⁴ϕ₂(T) のテイラー展開を用いて、ϕ₂(T) = T + O(T / ln T) の漸近的挙動を確立する。
• 誤差項を制御するため、Φ′′₂(y)/y² を分析し、Φ′′₂[ϕ₂(T)] = O(1/(T ln⁴T (ln ln T)²)) を示す。
• 主公式 Z₄(t) = C₀ ln⁴T (1 + O((ln ln T)² / ln T)) · dϕ₂(t)/dt を導出し、8次モーメントの最終的漸近公式に至る。

実験結果

リサーチクエスチョン

• RQ1 ヤコブの階段の2階として呼ばれる新しい変換 ϕ₂(t) を、|ζ(1/2 + iϕ₂(t))|⁴ と |ζ(1/2 + it)|⁴ が密接に相関するように構成できるか？
• RQ2 U = T¹³/¹⁴⁺²ε のとき、積分 ∫_T^{T+U} |ζ(1/2 + iϕ₂(t))|⁴ |ζ(1/2 + it)|⁴ dt の漸近的挙動は何か？
• RQ3 8次モーメントの導出された漸近公式が、バルサブラマニアン、ヒース＝ブラウン、イヴィッチの既存理論では到達できないのはなぜか？
• RQ4 導関数 dϕ₂(t)/dt の漸近的挙動はどのように振る舞い、ゼータ関数モーメントの変換にどのような役割を果たすか？
• RQ5 ϕ₂(T) を用いた ∫Z₄(t) dt の近似における正確な誤差構造は何か？ そして、それが最終的な漸近的公式にどのように影響を与えるか？”

主な発見

• ϕ₂(T) は非線形積分方程式の唯一の解として定義され、T ≥ T₀ で厳密に単調増加である。
• ϕ₂(T) は ϕ₂(T) = T + O(T / ln T) を満たし、恒等関数に漸近的に近いことが示された。
• Φ₂(y) の2階微分は Φ′′₂[ϕ₂(T)] = O(1/(T ln⁴T (ln ln T)²)) と有界であり、誤差の伝播が制御されている。
• 主な漸近公式は ∫_{T}^{T+U} |ζ(1/2 + iϕ₂(t))|⁴ |ζ(1/2 + it)|⁴ dt ∼ 1/(4π⁴) U ln⁸T であり、U = T¹³/¹⁴⁺²ε である。
• この公式は Z₄変換：Z₄(t) ≈ C₀ ln⁴T · dϕ₂(t)/dt を通じて得られ、C₀ = 1/(2π²) であり、誤差は O(ln³T (ln ln T)²) である。
• この結果は摂動に対して安定である：被積分関数が 1 + O((ln ln τ)² / ln τ) でスケーリングされても、T → ∞ のときこの項は消えるため、最終的な漸近的公式は成立する。