次凸性的终点站：林德勒夫猜想 · 公开问题 04

问题

在临界线上，ζ 函数的取值能有多大？凸性界只给出 |ζ(1/2+it)| ≪ |t|^1/4+ε，而经验数据（以及矩的已知结果）提示增长至多是 |t|^ε 型——即对 t 的任意正幂次增长都该被压住。这就是林德勒夫猜想（1918）：对任意 ε > 0，ζ(1/2+it) = O(|t|^ε)。

主要概念

最大值函数与凸性

对带状区域 0 ≤ σ ≤ 1，令 M(σ) = max_t |ζ(σ+it)|（在 |t| ≤ T 上取最大再令 T→∞，差对数因子）。全纯函数的最大模原理迫使 log M(σ) 是 σ 的凸函数——这就是「凸性界」一词的来源；突破凸性必须使用函数的特殊结构。

Phragmén–Lindelöf 原理

最大模原理对无界带失效；Phragmén–Lindelöf 方法以「乘一个收敛因子再取极限」修补之，是解析数论的常备工具。

矩问题

∫₀^T|ζ(1/2+it)|^2kdt 的渐近阶：2k 次矩已知为 T(log T)^k² 型（k = 1,2 精确，高阶有上下界）。Lindelöf 等价于高阶矩的「平方根折算」成立。

主要命题与证明

命题 1（Hadamard 三线定理）　设 F(s) 在带 0 ≤ Re s ≤ 1 内解析，且在带内至多多项式增长。令 M(σ) = sup_t|F(σ+it)|。则 log M(σ) ≤ (1−σ)·log M(0) + σ·log M(1)。

证明　若 M(0) 或 M(1) 为 0，由对称性（用 F(1−s) 或直接的最大模于窄条）得 F ≡ 0，结论平凡。设两者均 > 0，令

φ(s) = M(0)^s−1·M(1)^−s·F(s),

则 |φ(σ+it)| 的目标界为 1。在边界 σ=0 上：|φ| ≤ M(0)⁻¹·1·M(0) = 1；在 σ=1 上：|φ| ≤ M(1)·M(1)⁻¹ = 1。带是无界的，改用截断：对 ε>0 与 T>0 考察 φ_ε(s) = φ(s)·e^εs²·e^ε(s−1)²？取标准做法 φ_ε(s) = φ(s)e^εs²：在矩形 0≤σ≤1、|t|≤T 的边界上，|φ_ε| ≤ e^ε（两侧竖边由上式，上下横边因 φ 多项式增长与 e^{ε(σ²−t²)} 的衰减，取 T 足够大后 ≤ e^ε）。由最大模原理，矩形内 |φ_ε| ≤ e^ε；固定 s，令 T→∞ 不改变该估计，再令 ε→0 得 |φ(s)| ≤ 1。□

命题 2（凸性界）　ζ(1/2+it) ≪ |t|^1/4+ε。

证明　下边线 σ=0：由函数方程与 Stirling 公式，|ζ(it)| = |2^itπ^it−1sin(πit/2)Γ(1−it)ζ(1−it)| ≪ |t|^1/2+ε（sin(πit/2) ~ ½e^π|t|/2 与 Γ(1−it) 的模 ~ (2π/|t|)^1/2e^−π|t|/2 相消，净得 |t|^1/2 因子；ζ(1−it) ≪ log|t|）。上边线 σ=1：|ζ(1+it)| ≪ log|t|（由分部积分估计级数）。对 F(s) = ζ(s)/(|t|+2)^ε 归一化后用命题 1（σ = 1/2 处权重各半）：

|ζ(1/2+it)| ≤ M(0)^1/2·M(1)^1/2 ≪ (|t|^1/2+ε)^1/2·(|t|^ε)^1/2 = |t|^1/4+ε.□

命题 3（蕴含网络；陈述）　①Lindelöf ⇒ 对一切 ε>0，π(x) = Li(x) + O(x^1/2+ε)；②Lindelöf ⇒ 零点密度假设 N(σ,T) ≪ T^2−2σ+ε（反之不真）；③Lindelöf 被一切已知的「大值点稀疏性」结果兼容，但其反例若存在也只能出现在极稀疏的 t 集上。

注　①的证明经显式公式：Lindelöf 控制围线移动时水平积分线的贡献，使每个零点的贡献被 x^{Re ρ} 的「凸性包络」压住。②是经典的密度–凸性权衡，见 Iwaniec–Kowalski 第 10 章。□

进展与文献

最佳次凸性已推进到指数约 0.05（Watt、Bourgain 及其后继，当前纪录 13/84 + ε 由 Bourgain 2017 给出），距 0 的本质距离未破。2k 次矩的上界（≤ T(log T)^k² 型，Soundararajan 等人的框架）与 Lindelöf 相容。文献：Titchmarsh 第 5、7 章；Iwaniec–Kowalski《Analytic Number Theory》第 5 章。