[论文解读] 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

一句话总结

本文通过二阶雅各布梯子（second-order Jacob's ladders）这一源自黎曼ζ函数行为的几何构造，提出了一种关于 |ζ(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)，以参数化渐近行为。
• 通过 tan[α₂(N,M−N)] = 1 + o(1) 定义“几乎平行弦”，对应于 |ζ|⁴ 平均值渐近为常数的区间。
• 通过研究 ϕ₂(T) 的拐点 ρ 及从 (γ,ϕ₂(γ)) 到 (ρ,ϕ₂(ρ)) 的弦的夹角 β(γ,ρ)，分析ζ(1/2+iT) 零点 γ 附近的微观区域。
• 利用 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)|⁴ 的平均值渐近为 (1/(2π²)) ln⁴T，当ϕ₂(T) 上的弦与基本弦几乎平行时成立。
• 存在连续统的区间 [M,N]，满足 M−N < 1，使得 ∫ₘₙ |ζ|⁴ dt ∼ (1/(2π²)) (M−N) ln⁴T，表明ζ函数四阶矩在局部具有等分布性。
• 在ζ(1/2+iT) 的零点 γ 附近，微观区间 [γ,γ+U] 支持渐近公式 ∫ₜ⁺ᵘₜ |ζ|⁴ dt ∼ (tan α)/(2π²) U ln⁴γ，其中 tan α ∈ (0, β(γ,ρ)) 且 U < ρ−γ。
• 对于长度满足 U ≤ ḡ−γ 的区间（其中 ḡ = γ + γ¹³/¹⁴⁺²ǫ + ∆(γ)），若弦与基本弦平行，则公式 ∫ₘₙ |ζ|⁴ dt ∼ (1/(2π²)) (M−N) ln⁴γ 成立。
• 所有推导出的公式，包括 (4.4) 与 (4.5)，均被明确指出无法通过巴拉萨布拉马尼安、希思-布朗与伊维奇的方法实现，如注记 7 所述。