[論文レビュー] Jacob's ladders and the asymptotic formula for short and microscopic parts of the Hardy-Littlewood integral of the function $|\zeta(1/2+it)|^4$

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

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

ひとこと要約

本稿では、ゼータ関数の挙動に基づく幾何的構成である第二階のヤコブス・ラダーから導かれる第二階のヤコブス・ラダーを用いて、|ζ(1/2 + it)|⁴ のハーディー＝リトルウッド積分の短いおよび微小な区間に対する新しい漸近公式を導入する。ヤコブス・ラダー曲線 ϕ₂(T) 上の弦の角度を分析することにより、バラスブラマニアン、ヒース＝ブラウン、イヴィッチの既存手法を上回る新たな漸近的表現が得られ、特に U ≤ T¹³/¹⁴⁺²ǫ の区間に対して有効である。

ABSTRACT

The elementary geometric properties of Jacob's ladders of the second order lead to a class of new asymptotic formulae for short and microscopic parts of the Hardy-Littlewood integral of $|\zeta(1/2+it)|^4$. These formulae cannot be obtained by methods of Balasubramanian, Heath-Brown and Ivic.

研究の動機と目的

• ハーディー＝リトルウッド積分 ∫|ζ(1/2+it)|⁴dt の短いおよび微小な区間に対する新しい漸近公式を導出すること。
• ゼータ関数の第四モーメントの小スケール挙動を解析する際、既存手法（例：バラスブラマニアン、ヒース＝ブラウン、イヴィッチ）の限界を克服すること。
• ゼータ関数の漸近的挙動と第二階のヤコブス・ラダーの曲率特性との間の幾何的関係を確立すること。
• 短い区間およびゼータ関数の零点付近における |ζ(1/2+it)|⁴ の値の分布を理解するための新しい枠組みを提供すること。

提案手法

• ゼータ関数の第四モーメントの累積分布の逆関数として定義される第二階のヤコブス・ラダー ϕ₂(T) を用いる。
• 区間 [T, T+U₀] において、Z⁴(t) = (1/(2π²)) · (1 + O((ln ln T)² / ln T)) · ln⁴T · dϕ₂(t)/dt という恒等式を適用し、U₀ = T¹³/⁴⁺²ǫ とする。
• ϕ₂(T) 曲線上の点 (T, ϕ₂(T)) と (T+U, ϕ₂(T+U)) を結ぶ弦の角度 α₂(T,U) を導入し、漸近的挙動をパrameter化する。
• tan[α₂(N,M−N)] = 1 + o(1) により「ほぼ平行な弦」を定義し、これは平均 |ζ|⁴ が漸近的に一定である区間に対応する。
• ζ(1/2+iT) の零点 γ の近傍の微小領域を、ϕ₂(T) の変曲点 ρ および点 (γ,ϕ₂(γ)) から (ρ,ϕ₂(ρ)) への弦の角度 β(γ,ρ) を用いて分析する。
• tan(α) および tan(β) を積分式におけるスケーリング要因として用い、U < ρ−γ または U < ḡ−γ の範囲で漸近公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的手法では到達できない範囲で、∫|ζ(1/2+it)|⁴dt の短いおよび微小な部分に対する漸近公式を導出できるか？
• RQ2 第二階のヤコブス・ラダー ϕ₂(T) の幾何的性質は、|ζ(1/2+it)|⁴ の小スケールにおける分布とどのように関係するか？
• RQ3 ϕ₂(T) 上の弦の角度が、長さ U の区間における |ζ|⁴ の漸近的平均を決定する役割を果たすか？
• RQ4 ζ(1/2+iT) の零点付近における |ζ|⁴ の挙動は、ϕ₂(T) の幾何的特徴によって捉えられるか？
• RQ5 平均 |ζ|⁴ が ln⁴T に漸近的に比例する区間の連続的族は存在するか？

主な発見

• 短い区間における漸近公式は、∫ₜ⁺ᵘₜ |ζ(1/2+it)|⁴ dt = (1/(2π²)) · (1 + O((ln ln T)² / ln T)) · U ln⁴T · tan[α₂(T,U)] であり、U ≤ T¹³/¹⁴⁺²ǫ の範囲で有効である。
• 区間 [M,N] ⊂ [T,T+U₀] における |ζ(1/2+it)|⁴ の平均値は、ϕ₂(T) 上の弦が「基本的弦」とほぼ平行である場合、漸近的に (1/(2π²)) ln⁴T に収束する。
• M−N < 1 を満たす区間 [M,N] の連続的族が存在し、∫ₘₙ |ζ|⁴ dt ∼ (1/(2π²)) (M−N) ln⁴T が成り立つ。これはゼータ関数の第四モーメントの局所的等分布を示唆する。
• 零点 γ の近傍では、微小区間 [γ,γ+U] において ∫ₜ⁺ᵘₜ |ζ|⁴ dt ∼ (tan α)/(2π²) U ln⁴γ という漸近公式が成り立ち、tan α ∈ (0, β(γ,ρ)) かつ U < ρ−γ を満たす。
• 長さ U ≤ ḡ−γ である区間（ただし ḡ = γ + γ¹³/¹⁴⁺²ǫ + ∆(γ)）において、弦が基本的弦に平行な場合、∫ₘₙ |ζ|⁴ dt ∼ (1/(2π²)) (M−N) ln⁴γ が成り立つ。
• 導出されたすべての公式、特に (4.4) および (4.5) は、バラスブラマニアン、ヒース＝ブラウン、イヴィッチの手法では到達不可能であり、明示的に註 7 で述べられている。