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

一句话总结

本文引入了二阶雅各布天梯（Jacob's ladder of the second order），即一种新颖的单调函数 ϕ₂(T)，该函数在 |ζ(1/2 + iϕ₂(t))|⁴ 与 |ζ(1/2 + it)|⁴ 之间建立了精细的相关性。通过非线性积分方程与渐近分析，推导出首个已知的八阶矩 ∫|ζ(1/2 + iϕ₂(t))|⁴|ζ(1/2 + it)|⁴ dt ∼ 1/(4π⁴) U ln⁸T 的渐近公式，其精度超越了 Balasubramanian、Heath-Brown 和 Ivić 的现有方法。

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) 的黎曼 zeta 函数八阶矩的新渐近公式。
• 将雅各布天梯的二阶形式 ϕ₂(T) 定义并表征为满足保持 zeta 函数矩关键性质的非线性积分方程的解。
• 证明该新渐近公式无法通过 Balasubramanian、Heath-Brown 和 Ivić 的已知方法推导得出。
• 分析 ϕ₂(T) 及其导数的渐近行为，证明 ϕ₂(T) = T + O(T / ln T)，并为相关积分推导出精确的误差界。
• 证明在特定缩放 U = T¹³/¹⁴⁺²ε 下，变换后的矩 ∫Z₄[ϕ₂(t)]Z₄(t) dt 渐近等价于 C₀U ln⁸T，其中 C₀ = 1/(2π²)。

提出的方法

• 将 ϕ₂(T) 定义为非线性积分方程 ∫₀^{µ(x(T))} Z₄(t)e^{-t/x(T)} dt = ∫₀^T Z₄(t) dt 的唯一解，其中 µ(y) ≥ 4y ln y。
• 引入函数 Φ₂(y) = ∫₀^{µ(y)} Z₄(t)e^{-t/y} dt，并推导出微分关系 Z₄(t) = Φ′₂(ϕ₂(T)) · dϕ₂(T)/dT。
• 利用 Titchmarsh-Atkinson 公式与 Ingham-Heath-Brown 渐近展开，将 ∫₀^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，从而得出八阶矩的最终渐近表达式。

实验结果

研究问题

• RQ1 能否构造一种新变换 ϕ₂(t)，称为雅各布天梯的二阶形式，使得 |ζ(1/2 + iϕ₂(t))|⁴ 与 |ζ(1/2 + it)|⁴ 紧密相关？
• RQ2 当 U = T¹³/¹⁴⁺²ε 时，积分 ∫_T^{T+U} |ζ(1/2 + iϕ₂(t))|⁴ |ζ(1/2 + it)|⁴ dt 的渐近行为如何？
• RQ3 为何所推导出的八阶矩渐近公式无法通过 Balasubramanian、Heath-Brown 和 Ivić 的现有理论获得？
• RQ4 导数 dϕ₂(t)/dt 的渐近行为如何？它在变换 zeta 函数矩中起什么作用？
• RQ5 通过 ϕ₂(T) 近似 ∫Z₄(t) dt 的误差结构是否精确？它如何影响最终的渐近结果？

主要发现

• 函数 ϕ₂(T) 唯一地由非线性积分方程定义，且在 T ≥ T₀ 时严格递增。
• ϕ₂(T) 满足 ϕ₂(T) = T + O(T / ln T)，表明其渐近接近恒等函数。
• Φ₂(y) 的二阶导数有界：Φ′′₂[ϕ₂(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 → ∞ 时该因子趋于零。