[论文解读] The explicit upper bound of the multiple integral of $S(t)$ on the Riemann Hypothesis

Takahiro Wakasa|arXiv (Cornell University)|Oct 10, 2012

Analytic Number Theory Research被引用 5

一句话总结

本文在黎曼猜想假设下，为参数函数 $ S(t) $ 的 $ m $ 重积分 $ S_m(T) $ 建立了显式的上界。通过递归积分与黎曼 zeta 函数对数导数的复分析方法，推广了 Fujii 对 $ S(T) $ 和 $ S_1(T) $ 的结果，给出了依赖于 $ m $、$ \log T $ 和 $ \log\log T $ 的显式常数的精确渐近估计，适用于 $ T > T_0 $。

ABSTRACT

We prove explicit upper bounds of the function $S_m(T)$, defined by the repeated integration of the argument of the Riemann zeta-function. The explicit upper bound of $S(T)$ and $S_1(T)$ have already been obtained by A. Fujii. Our result is a generalization of Fujii's results.

研究动机与目标

• 在黎曼猜想下，将 $ S(T) $ 和 $ S_1(T) $ 的显式上界推广至 $ m \geq 2 $ 的高阶积分 $ S_m(T) $。
• 推导出 $ |S_m(T)| $ 的显式定量上界，反映其增长率为 $ \frac{\log T}{(\log\log T)^{m+1}} $，优于经典的 big-O 估计。
• 由于 zeta 函数对数导数的实部与虚部在奇偶 $ m $ 情况下行为不同，需在分析中区分 $ m $ 的奇偶性。
• 为重复积分 $ S(t) $ 的边界提供严谨框架，将 Fujii 的方法扩展至高阶情形，包含精确误差项。

提出的方法

• 将 $ S_m(T) $ 定义为 $ S(t) $ 的 $ m $ 重积分，其中常数 $ C_m $ 由 $ \sigma \geq \frac{1}{2} $ 上 $ \log|\zeta(\sigma)| $ 的多重积分导出。
• 引入辅助函数 $ I_m(T) $，在黎曼猜想下证明其等于 $ S_m(T) $，利用恒等式 $ S_m(T) = \Im\left\{ \frac{i^m}{m!} \int_{1/2}^\infty (\sigma - 1/2)^m \frac{\zeta'}{\zeta}(\sigma + iTi) d\sigma \right\} / \pi $。
• 应用复分析与围道积分技术，估计 zeta 函数对数导数 $ \frac{\zeta'}{\zeta}(s) $ 的虚部，尤其在临界线附近。
• 利用近似函数方程与截断 Dirichlet 级数，控制 zeta 函数 Euler 乘积与 $ n < X^2 $ 求和带来的误差项。
• 引入参数 $ X = \log t $，并使用函数 $ \Lambda_X(n) $ 截断 Dirichlet 级数，从而有效估计积分余项。
• 将积分分为三部分：$ J_1 $、$ J_2 $ 和 $ J_3 $，并利用零点 $ \rho = \beta + \gamma i $ 的性质、$ \frac{1}{|\sigma + it - \rho|} $ 的衰减性，以及涉及 $ \sigma_1 = \frac{1}{2} + \frac{1}{\log X} $ 的积分估计来分别界定各部分。

实验结果

研究问题

• RQ1 在黎曼猜想下，能否为 $ m $ 重积分 $ S_m(T) $ 建立显式上界，推广已知的 $ S(T) $ 和 $ S_1(T) $ 的界限？
• RQ2 当 $ m $ 为奇数与偶数时，$ S_m(T) $ 的界限在结构与数量级上如何不同？其差异的根源是什么？
• RQ3 Fujii 对 $ S(T) $ 和 $ S_1(T) $ 的方法能否扩展至高阶积分，同时保持显式常数与误差项？
• RQ4 参数 $ X = \log t $ 在平衡截断误差与主项估计中起到何种作用？
• RQ5 上界中的常数如何依赖于 $ m $？能否以包含 $ e $、阶乘与调和型求和的闭式表达？

主要发现

• 对于奇数 $ m \geq 1 $，本文建立了显式上界： $$ |S_m(t)| \leq \frac{\log t}{(\log\log t)^{m+1}} \cdot \frac{1}{2\pi m!} \left\{ \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \sum_{j=0}^{m} \frac{m!}{(m-j)!} \left( \frac{1}{e} + \frac{1}{2^{j+1}e^2} \right) + \frac{1}{m+1} \cdot \frac{\frac{1}{e}(1 + \frac{1}{e})}{1 - \frac{1}{e}(1 + \frac{1}{e})} + \frac{1}{m(m+1)} \cdot \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \right\} + O\left( \frac{1}{(\log\log t)^{m+2}} \right) $$
• 对于偶数 $ m \geq 1 $，常数因子中增加了一项 $ \frac{\pi}{2} $： $$ |S_m(t)| \leq \frac{\log t}{(\log\log t)^{m+1}} \cdot \frac{1}{2\pi m!} \left\{ \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \sum_{j=0}^{m} \frac{m!}{(m-j)!} \left( \frac{1}{e} + \frac{1}{2^{j+1}e^2} \right) + \frac{1}{m+1} \cdot \frac{\frac{1}{e}(1 + \frac{1}{e})}{1 - \frac{1}{e}(1 + \frac{1}{e})} + \frac{\pi}{2} \cdot \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \right\} + O\left( \frac{1}{(\log\log t)^{m+2}} \right) $$
• 上界中的常数通过包含 $ \frac{1}{e} $、$ \frac{1}{e^2} $ 和阶乘系数的级数显式计算得出，反映了积分的递归结构。
• 误差项被证明为 $ O\left( \frac{\log t}{(\log\log t)^{m+2}} \right) $，优于经典估计 $ O\left( \frac{\log t}{(\log\log t)^{m+1}} \right) $。
• 奇偶 $ m $ 的差异源于 $ \log \zeta(s) $ 多重积分的实部与虚部行为不同，偶数情形在 $ \sigma \in [1/2, \sigma_1] $ 上的积分引入了额外的 $ \frac{\pi}{2} $ 贡献。
• 该方法成功推广了 Fujii 对 $ m=1 $ 和 $ m=2 $ 的方法，为高阶情形提供了系统化的边界框架，包含显式常数与误差控制。