Note on the positivity of the real part of the log-derivative of the Riemann $ξ$-function near the critical line

技术摘要：Riemann $\xi$-函数对数导数实部正性的研究

问题陈述
本文研究了在临界带 $0 < \sigma < 1$ 内，Riemann $\xi$-函数对数导数的实部 $\Re \frac{\xi'}{\xi}(s)$ 的行为。具体而言，作者关注的是临界线右侧紧邻的区域，即对于足够大的 $t$，定义为 $1/2 + 1/\sqrt{\log t} < \sigma < 1$ 的区域。

虽然已知对于 $\sigma > 1$，$\Re \frac{\xi'}{\xi}(s) > 0$，且 Riemann 假设（RH）等价于该正性在所有 $\sigma > 1/2$ 时均成立，但在临界带 $1/2 < \sigma < 1$ 内的行为仍是研究课题。Goldstein 和 A.G. [5] 的前人工作确立了临界线上的零点之和的一个下界，但该下界在 $\sigma \to 1/2$ 时趋于零。本研究的主要目标是改进这一下界，使其在 $\sigma \to 1/2$ 时趋于无穷大，从而为临界线附近的正性提供更强的条件。

方法论
作者采用了解析数论技术，主要依赖于 $\xi$-函数的无穷乘积表示法和分部求和法。

1. 对数导数展开： 研究利用了 $\frac{\xi'}{\xi}(s) = \sum_{\rho} \frac{1}{s-\rho}$ 的展开式，其中求和遍历 Riemann $\zeta$ 函数的非平凡零点 $\rho$。该和式的实部被分解为来自临界线上的零点（$\rho = 1/2 + i\gamma$）以及假设存在的临界线外零点（$\tilde{\rho} = \tilde{\beta} + i\tilde{\gamma}$）的贡献。
2. 分部求和与积分逼近： 为了估计临界线上的零点之和，作者结合了分部求和（引理 2）与零计数函数 $N(T)$ 的显式界限（引理 3）。
3. 积分估计： 技术工作的核心部分涉及推导形式为 $\int \frac{\log u}{a^2(t) + b^2(t)(u-t)^2} du$ 的积分的显式下界。引理 5 提供了一个用于近似离散零点和的严格下界。
4. 处理假设存在的零点： 本文分析了 RH 失效的情形，通过考虑临界线外零点的贡献来进行研究。引理 9 提供了一个关于到假设存在的零点之距离平方倒数之和的上界，确保这些零点的贡献不会在指定的区域内压倒来自临界线零点的正向贡献。

主要贡献与结果

• 改进的下界（定理 6）： 核心结果是定理 6，它确立了一个关于临界线零点之和实部的新型显式下界。对于 $1/2 + 1/\sqrt{\log t} < \sigma < 1$ 且 $t > 3.11 \times 10^{10}$，作者证明了：
  $$0 < (0.28 - \epsilon(t))c \frac{1}{\sigma - 1/2} < \Re \sum_{\rho=1/2+i\gamma} \frac{1}{s-\rho}$$
  这里，$c$ 代表临界线零点的下密度（$c = \liminf N_{1/2}(T)/N(T)$），而 $\epsilon(t)$ 是一个随 $\frac{\log \log t}{\log t}$ 趋于零的函数。与之前的界限不同，该表达式在 $\sigma \to 1/2$ 时发散，从而提供了更强的约束。

• RH 失效情景的分析： 第 4 节在假设 RH 不成立的前提下研究了 $\Re \frac{\xi'}{\xi}(s)$ 的正性。作者考虑了三种情况：

  1. 单个临界线外零点。
  2. 有限个临界线外零点。
  3. 无穷多个临界线外零点。
     在所有情况下，作者都证明了 $\Re \frac{\xi'}{\xi}(s)$ 在区域 $1/2 + 1/\sqrt{\log t} < \sigma < 1$ 内保持正性，除非是在假设存在的非平凡零点周围的小邻域内。来自临界线零点的正向贡献（经由 $c$ 缩放）在指定区域内主导了来自临界线外零点的负向贡献。

• 数值验证： 作者使用 Odlyzko 数据库 [12] 来可视化不等式成立的区域，证实了对于特定的大 $t$ 值（例如 $t \approx 2.68 \times 10^{11}$）理论界限的有效性。

意义与主张
本文声称精炼了对临界线附近 $\xi$-函数对数导数的理解。通过获得一个在 $\sigma \to 1/2$ 时增长的下界，这项工作加强了关于 $\Re \frac{\xi'}{\xi}(s)$ 在临界带内具有正性的证据，即使在不假设 Riemann 假设成立的情况下也是如此。

作者谦逊地将他们的贡献描述为对 Goldstein 和 A.G. [5] 结果的改进。他们并未声称证明了 Riemann 假设；相反，他们表明如果 RH 失效，对数导数的“正性区域”是稳健的，即使在靠近临界线时依然存在，除非是在假设存在的反例的直接邻域内。这项工作提供了取决于临界线零点密度（$c$）和 $t$ 量级的显式、可计算的界限。