[论文解读] Non universality on the critical line

Johan Andersson|arXiv (Cornell University)|Jul 20, 2012

Analytic Number Theory Research参考文献 22被引用 4

一句话总结

本文通过利用 Hardy $Z$-函数的实性以及黎曼 zeta-函数参数的初等性质，证明了在临界线 $\operatorname{Re}(s) = 1/2$ 上，黎曼 zeta-函数不具有 universality。关键结果是在 Lindelöf 猜想下无条件地确立了非 universality，从而解决了关于 zeta-函数 universality 成立范围的长期悬而未决的问题。

ABSTRACT

We prove that the Riemann zeta-function is not universal on the critical line by using the fact that the Hardy Z-function is real, and some elementary considerations. This is a related to a recent result of Garunkstis and Steuding. We also prove conditional and partial results for non universality on the lines Re(s)=σfor 0

研究动机与目标

• 解决黎曼 zeta-函数在临界线 $\operatorname{Re}(s) = 1/2$ 上是否具有 universality 的开放性问题。
• 在 Lindelöf 猜想下无条件地确立临界线上非 universality，从而削弱了对黎曼猜想的依赖。
• 厘清 zeta-函数在临界带内不同竖直线上的 universality 边界。
• 探究相关函数（如 Hardy $Z$-函数或归一化的 zeta-值）是否可能在较弱范数下表现出 universality。
• 通过识别现有 universality 定理的失效位置，特别是临界线上，来揭示其局限性。

提出的方法

• 利用 Hardy $Z$-函数的实性，其定义为 $Z(t) = \chi(1/2 + it)^{-1/2} \zeta(1/2 + it)$，以限制 zeta-函数在临界线上的行为。
• 应用 zeta-函数的函数方程来分析 $\zeta(1/2 + it)$ 的参数与模，表明其规律性阻碍了任意连续函数的通用逼近。
• 采用零点密度论证：在 Lindelöf 猜想下，$\zeta(1/2 + it)$ 的零点足够密集，从而阻碍对任意连续函数的均匀逼近。
• 直接分析 zeta-函数的对数导数与对数，避免依赖先前工作中使用的对数导数方法。
• 考虑 $L^1$ 与 $L^2$ 范数下的 universality，认为由于零点密度，上范数 universality 失败，但较弱范数仍可能允许逼近。
• 提出 zeta-函数的归一化版本，如 $|\zeta(1/2 + it)|^{1/\sqrt{\log\log t}}$，作为 $L^1$-范数下 universality 的候选。

实验结果

研究问题

• RQ1 黎曼 zeta-函数在临界线 $\operatorname{Re}(s) = 1/2$ 上是否具有 universality？
• RQ2 zeta-函数的 universality 定理能否推广至临界线？若不能，其障碍是什么？
• RQ3 Hardy $Z$-函数是否在 $L^1$-范数下具有 universality，还是其规律性特征同样构成障碍？
• RQ4 如 $\zeta(1/2 + it)^{1/\sqrt{\log\log t}}$ 这类 zeta-函数的归一化版本，是否可能在 $L^1$-范数下表现出 universality？
• RQ5 在 $0 < \sigma < 1$ 的直线 $\operatorname{Re}(s) = \sigma$ 上，$\zeta(s)$ 的 universality 精确边界是什么？

主要发现

• 在 Lindelöf 猜想下，黎曼 zeta-函数在临界线 $\operatorname{Re}(s) = 1/2$ 上不具有 universality，提供了在该广泛信任的猜想下无条件成立的结果。
• 非 universality 的根源在于 $\zeta(1/2 + it)$ 的参数过度规律，这受到 Hardy $Z$-函数实性的约束。
• 在 Lindelöf 猜想下，临界线上零点的密度阻碍了对任意连续函数（如 $f(t) = 1$）的均匀逼近，即无法通过平移 $\zeta(1/2 + iT + it)$ 实现。
• 由于相同的零点密度障碍，上范数 universality 对于 Hardy $Z$-函数和 $|\zeta(1/2 + it)|$ 均不成立。
• 本文建议 $|\zeta(1/2 + it)|^{1/\sqrt{\log\log t}}$ 可能是 $L^1$-universality 的更自然候选，尽管这仍是开放问题。
• 该结果扩展了 GarunkÅ¡tis 与 Steuding 的先前工作，他们证明了 $\zeta(1/2 + it), \zeta'(1/2 + it)$ 在 $\mathbb{C}^2$ 中不具有稠密性，并确认 Voronin 的 universality 定理不适用于临界线。