[论文解读] Jacob's ladders, the iterations of Jacob's ladder $\phi^k_1(t)$ and asymptotic formulae for the integrals of the products ... for arbitrary fixed $n\in\mbb{N}$

Ján Mozer|arXiv (Cornell University)|Jan 11, 2010

Mathematics and Applications被引用 14

一句话总结

本文引入了迭代雅各布梯子 $\phi^k_1(t)$，作为黎曼ζ函数自变量的高阶变换。它证明了在 $[T, T+U]$ 上，乘积 $\prod_{k=0}^n Z^2[\phi^k_1(t)]$ 的均值在 $T \to \infty$ 时渐近等于 $U \ln^{n+1} T$，这一结果超出了 Balasubramanian、Heath-Brown 和 Ivić 对 $n \geq 2$ 的已知理论。这揭示了ζ函数在不连通区间上取值之间的一种新型非局域相互作用。

ABSTRACT

In this paper we introduce the iterations $\phi^k_1(t)$ of the Jacob's ladder. It is proved, for example, that the mean-value of the product $$Z^2[\phi^n_1(t)]Z^2[\phi^{n-1}(t)]... Z^2[\phi^0_1(t)]$$ over the segment $[T,T+U]$ is asymptotically equal to $\ln^{n+1}T$. Nor the case $n=1$ cannot be obtained in known theories of Balasubramanian, Heath-Brown and Ivic.

研究动机与目标

• 定义并分析雅各布梯子 $\phi_1(t)$ 的第 $k$ 次迭代 $\phi^k_1(t)$，将该概念扩展至首次迭代之外。
• 推导出在任意固定的 $n \in \mathbb{N}$ 下，对 $Z^2[\phi^k_1(t)]$ 乘积在区间 $[T, T+U]$ 上的积分的渐近公式。
• 建立乘积 $\prod_{k=0}^n Z^2[\phi^k_1(t)]$ 的均值渐近为 $U \ln^{n+1} T$，这是先前 Balasubramanian、Heath-Brown 和 Ivić 理论无法触及的结果。
• 揭示在不连通区间上，通过迭代雅各布梯子点获得的ζ函数取值之间存在一种新型非局域相互作用。

提出的方法

• 本文将 $\phi^k_1(t)$ 递归定义为基底雅各布梯子 $\phi_1(t)$ 的 $k$ 重复合，其中 $\phi^0_1(t) = t$。
• 利用变换 $\tilde{Z}^2(t) = \frac{d\phi_1(t)}{dt}$，该变换源自已知恒等式 $Z^2(t) = \Phi'_\phi[\phi(t)] \frac{d\phi(t)}{dt}$，通过变量替换重写积分。
• 一个关键引理（3.3）表明 $\int_T^{T+U} f[\phi_1(t)] \tilde{Z}^2(t) dt = \int_{\phi_1(T)}^{\phi_1(T+U)} f(x) dx$，从而支持在各次迭代中进行递归代换。
• 通过递归应用变量替换，将原始积分逐步简化为 $\phi^{n+1}_1(T+U) - \phi^{n+1}_1(T)$，然后对该表达式进行渐近估计。
• 从已知渐近式 $\phi_1(t) - \phi_1^2(t) \sim (1-c)t/\ln t$ 推导出 $\phi^k_1(T+U) - \phi^k_1(T) \sim U$ 和 $\phi^k_1(T) - \phi^{k+1}_1(T+U) \sim (1-c)T/\ln T$ 的渐近估计。
• 最终通过在简化后的积分上应用均值定理，得到 $\int_T^{T+U} \prod_{k=0}^n \tilde{Z}^2[\phi^k_1(t)] dt \sim U \ln^{n+1} T$。

实验结果

研究问题

• RQ1 能否在区间 $[T, T+U]$ 上对迭代雅各布梯子点 $\phi^k_1(t)$ 处的 $Z^2$ 值乘积进行渐近估计？
• RQ2 乘积 $\prod_{k=0}^n Z^2[\phi^k_1(t)]$ 的均值是否对任意固定的 $n$ 呈现 $\sim U \ln^{n+1} T$ 的幂对数增长？
• RQ3 该渐近公式能否通过递归变量替换和 $\phi_1(t)$ 的已知渐近性质推导得出？
• RQ4 通过该乘积积分，是否能定量表达在不连通区间上 $\phi^k_1(t)$ 点处 $Z^2$ 值之间的非局域相互作用？

主要发现

• 当 $T \to \infty$ 时，积分 $\int_T^{T+U} \prod_{k=0}^n Z^2[\phi^k_1(t)] dt$ 渐近等价于 $U \ln^{n+1} T$，其中 $n \in \mathbb{N}$ 固定，且 $U = T^{1/3+2\epsilon}$。
• 对所有 $k = 0, \dots, n+1$，渐近关系 $\phi^k_1(T+U) - \phi^k_1(T) \sim U$ 成立，确保了迭代过程中区间长度保持不变。
• 相邻迭代区间 $[\phi^k_1(T), \phi^k_1(T+U)]$ 与 $[\phi^{k-1}_1(T), \phi^{k-1}_1(T+U)]$ 之间的距离 $\rho$ 随 $T \to \infty$ 而发散，证实了它们的无界分离。
• 当 $n=1$ 时，该公式无法由 Balasubramanian、Heath-Brown 和 Ivić 的已知理论推导，凸显了本结果的创新性。
• 根据推论 1，存在某点 $\tau \in [T, T+U]$，使得乘积 $\prod_{k=0}^n Z^2[\phi^k_1(\tau)]$ 的均值渐近为 $\ln^{n+1} T$。
• 模 $|Z[\phi^k_1(\tau)]|$ 的几何平均满足 $\left( \prod_{k=0}^n |Z[\phi^k_1(\tau)]|^2 \right)^{1/(n+1)} \sim \ln T$，而对数平均满足 $\frac{1}{n+1} \sum_{k=0}^n \ln |Z[\phi^k_1(\tau)]| \sim \frac{1}{2} \ln \ln T$。