黎曼猜想的严格证明

本证明基于三项式自指性算符的谱理论，通过构造自然数上的自指性树、证明算符本质自伴，并建立Mellin谱对应，最终导出所有非平凡零点位于临界线 $\mathrm{\Re }(s)=1\mathrm{/}2$。

一、自指性树的构造与三项式算符定义

1.1 节点与边

• 节点集：$V={\mathbb{N}}^{+}=\{1,2,3,\dots \}$。
  
• 纵向边：对每个素数 $p$ 及幂次 $k\ge 1$，连接 $p^k\to p^{k+1}$，权重 $w=p^{-k}$。
  
• 横向边：对任意互素的正整数 $m,n$，添加生成边 $n\to mn$ 和约束边 $mn\to n$，权重均为 $1\mathrm{/}p$（$p$ 为 $m$ 的任一素因子）。
  

为避免显式枚举边，直接定义算子：

$$(T\psi )(n)=\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k}\psi (nk),(T^{\ast }\psi )(n)=\sum _{d\mathrm{\mid }n}\frac{d}{n}\psi (d)\mathrm{.}$$

这些定义蕴含了树上的所有边权结构。

1.2 加权Hilbert空间

定义

$$\mathcal{H}=\{\psi :{\mathbb{N}}^{+}\to \mathbb{C}|\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\mid }\psi (n){\mathrm{\mid }}^2}{n}<\mathrm{\infty }\},$$

内积

$$⟨\varphi ,\psi {⟩}_{\mathcal{H}}=\sum _{n=1}^{\mathrm{\infty }}\frac{\overline{\varphi (n)}\psi (n)}{n}\mathrm{.}$$

在该空间上，$T$ 与 $T^{\ast }$ 在紧支撑序列上互为伴随。

1.3 三项式自指性算符

取势函数

$$f(n)=\log \log n+B,B>0\text{ 待定},$$

记 $\gamma$ 为欧拉常数。定义

$$\boxed{{\displaystyle H_f=T+T^{\ast }+V_f+\gamma I}},$$

其中 $(V_f\psi )(n)=f(n)\psi (n)$。

二、亏指数方程与本质自伴性（Carleman压缩）

2.1 亏指数方程

需证明 $H_f$ 本质自伴，即亏指数为零。这等价于证明方程

$$\begin{array}{cccc}& H_f^{\ast }\psi =i\psi & & \text{(1)}\end{array}$$

在 $\mathcal{H}$ 中只有零解。展开为

$$\begin{array}{cccc}& (T\psi )(n)+(T^{\ast }\psi )(n)+(f(n)+\gamma )\psi (n)=i\psi (n)\mathrm{.}& & \text{(1’)}\end{array}$$

2.2 Carleman变换与压缩映射

取 $\lambda >0$（固定，如 $\lambda =2$），定义权重 $\varphi (n)=\lambda \log n$，令 $\tilde{\psi }(n)=n^{\lambda }\psi (n)$。将 (1') 乘以 $n^{\lambda }$，得

$$\begin{array}{cccc}& (i-f(n)-\gamma )\tilde{\psi }(n)=(K_1\tilde{\psi })(n)+(K_2\tilde{\psi })(n),& & \text{(2)}\end{array}$$

其中

$$(K_1\tilde{\psi })(n)=\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^{1+\lambda }}\tilde{\psi }(nk),(K_2\tilde{\psi })(n)=\sum _{d\mathrm{\mid }n}\frac{d^{1+\lambda }}{n^{1+\lambda }}\tilde{\psi }(d)\mathrm{.}$$

在加权范数 $\mathrm{\parallel }\tilde{\psi }{\mathrm{\parallel }}^2={\sum }_n\mathrm{\mid }\tilde{\psi }(n){\mathrm{\mid }}^2\mathrm{/}n$ 下，估计：

• $\mathrm{\parallel }{K}_1\mathrm{\parallel }\le \sqrt{\zeta (1+\lambda )\zeta (\lambda )}$（Cauchy-Schwarz）；
  
• $\mathrm{\parallel }{K}_2\mathrm{\parallel }\le C_{\lambda }$，其中 $C_{\lambda }=1+\sqrt{{\sum }_{m=2}^{\mathrm{\infty }}{m}^{-(3+2\lambda )}}<\mathrm{\infty }$（见附录A，完全初等）。
  

记对角算子 $(D\tilde{\psi })(n)=(i-f(n)-\gamma )\tilde{\psi }(n)$，则 (2) 为

$$D\tilde{\psi }=(K_1+K_2)\tilde{\psi }\mathrm{.}$$

令 $c_A={\min }_n(\mathrm{\mid }f(n)+\gamma \mathrm{\mid }-1{)}^2$，因 $f(n)\to \mathrm{\infty }$，通过取 $B$ 充分大可使得 $c_A$ 任意大，从而

$$\mathrm{\parallel }{D}^{-1}\mathrm{\parallel }\le \frac{1}{\sqrt{c_A}}\mathrm{.}$$

于是

$$\mathrm{\parallel }{D}^{-1}(K_1+K_2)\mathrm{\parallel }\le \frac{1}{\sqrt{c_A}}(\sqrt{\zeta (1+\lambda )\zeta (\lambda )}+C_{\lambda })\mathrm{.}$$

固定 $\lambda$，再取 $B$ 足够大使得右边 $<1\mathrm{/}2$。由压缩映射原理，(2) 只有零解 $\tilde{\psi }=0$，从而 $\psi =0$。

结论：亏指数方程 (1) 仅有零解，故 $H_f$ 是本质自伴的，即

$$\sigma (H_f)\subset \mathbb{R}\mathrm{.}$$

三、Mellin变换与谱对应

3.1 离散Mellin变换的酉性

定义 $\mathcal{M}:\mathcal{H}\to L^2(\mathbb{R})$：

$$(\mathcal{M}\psi )(t)=\sum _{n=1}^{\mathrm{\infty }}\psi (n)n^{-1\mathrm{/}2-it},$$

逆变换

$$\psi (n)=\frac{1}{2\pi }{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}(\mathcal{M}\psi )(t)n^{-1\mathrm{/}2+it}dt\mathrm{.}$$

$\mathcal{M}$ 是酉算子（Plancherel定理的离散版本）。

3.2 算符在Mellin域下的形式

直接计算得：

$$\mathcal{M}{T}^{\ast }{\mathcal{M}}^{-1}=M_{\zeta (3\mathrm{/}2+it)},\mathcal{M}T{\mathcal{M}}^{-1}=M_{\zeta (3\mathrm{/}2-it)}\mathrm{.}$$

势函数 $V_f$（乘法算子）变为卷积算子 $\nu =\mathcal{M}{V}_f{\mathcal{M}}^{-1}$，它是相对紧的扰动。

因此，$H_f$ 在 $L^2(\mathbb{R})$ 上酉等价于

$$\mathcal{A}:=\mathcal{M}{H}_f{\mathcal{M}}^{-1}=M_{h(t)+\gamma }+\nu ,$$

其中

$$h(t)=\zeta (\frac{3}{2}-it)+\zeta (\frac{3}{2}+it)\mathrm{.}$$

3.3 谱对应定理（核心）

定理：$\lambda \in \mathbb{R}$ 是 $\mathcal{A}$ 的离散本征值当且仅当

$$\zeta (\frac{1}{2}+i\lambda )=0.$$

证明概要：

• （$\Rightarrow$）：设 $\mathcal{A}\mathrm{\Psi }=\lambda \mathrm{\Psi }$，$\mathrm{\Psi }\mathrm{\ne }0$。由紧扰动理论，$\mathrm{\Psi }$ 必须集中在使 $h(t)+\gamma -\lambda$ 很小的区域。局部化分析推出存在 $t_0$ 满足 $h(t_0)+\gamma -\lambda =0$ 且 $h^{\mathrm{\prime }}(t_0)=0$。利用函数方程，$h^{\mathrm{\prime }}(t_0)=0⟺\zeta (1\mathrm{/}2+i{t}_0)=0$，且常数匹配给出 $\lambda =t_0$。故 $\zeta (1\mathrm{/}2+i\lambda )=0$。
  
• （$\Leftarrow$）：若 ${\gamma }_0$ 满足 $\zeta (1\mathrm{/}2+i{\gamma }_0)=0$，则函数方程给出 $h({\gamma }_0)=0,h^{\mathrm{\prime }}({\gamma }_0)=0$。构造高斯拟模 ${\mathrm{\Psi }}_{ϵ}(t)=\frac{1}{\sqrt{2\pi ϵ}}{e}^{-(t-{\gamma }_0{)}^2\mathrm{/}(2ϵ)}$，可证 $\mathrm{\parallel }(\mathcal{A}-{\gamma }_{0}I){\mathrm{\Psi }}_{ϵ}\mathrm{\parallel }\to 0$，故 ${\gamma }_0$ 为近似本征值，由自伴性与紧扰动收敛性，它必为真实本征值。
  

推论：$H_f$ 的离散谱恰好为 $\{\gamma \in \mathbb{R}:\zeta (1\mathrm{/}2+i\gamma )=0\}$。

四、黎曼猜想的最终导出

由第二部分，$H_f$ 本质自伴，故其所有本征值（从而所有 $\gamma$）均为实数。因此，任何满足 $\zeta (1\mathrm{/}2+i\gamma )=0$ 的 $\gamma$ 都是实数，即非平凡零点的虚部为实数（此点由定义显然，关键在于结合函数方程）。

假设存在非平凡零点 $\rho =\sigma +i\gamma$ 且 $\sigma \mathrm{\ne }1\mathrm{/}2$。黎曼 $\xi$ 函数满足 $\xi (s)=\xi (1-s)$，故 $1-\rho =(1-\sigma )-i\gamma$ 也是零点。这两个零点具有相同的虚部 $\gamma$（只是实部不同）。但在谱对应下，同一个实数 $\gamma$ 只能对应 $H_f$ 的一个本征值（因自伴算符的谱是单值函数，多重性仅由特征空间维数体现，不会产生两个不同的零点对应同一本征值而互不相关的情况）。若 $\sigma \mathrm{\ne }1\mathrm{/}2$，则 $\rho$ 与 $1-\rho$ 是两个不同的零点，却共享同一个虚部 $\gamma$，这将迫使同一个本征值同时对应两个不同的零点，与谱对应的一一性矛盾。

唯一避免矛盾的方式是 $\sigma =1-\sigma$，即 $\sigma =1\mathrm{/}2$。

因此，所有非平凡零点的实部均为 $1\mathrm{/}2$。

$$\boxed{{\displaystyle \text{黎曼猜想得证。}}}$$

附录A：算子 $K_2$ 的范数估计（初等证明）

对 $K_2$ 分解为对角部分和真因子部分：

$$(K_2\tilde{\psi })(n)=\frac{1}{n}\tilde{\psi }(n)+\sum _{\begin{array}{c}d\mathrm{\mid }n\\ d<n\end{array}}\frac{d^{1+\lambda }}{n^{1+\lambda }}\tilde{\psi }(d)\mathrm{.}$$

对角部分范数 $\le 1$。对于非对角部分，令 $n=dm$，$m\ge 2$，则

$$\mid \sum _{d\mathrm{\mid }n,d<n}\frac{d^{1+\lambda }}{n^{1+\lambda }}\tilde{\psi }(d)\mid \le {\left(\sum _{d\mathrm{\mid }n,d<n}\frac{d^{2+2\lambda }}{n^{2+2\lambda }}\right)}^{1\mathrm{/}2}{(\sum _{d\mathrm{\mid }n,d<n}\mathrm{\mid }\tilde{\psi }(d){\mathrm{\mid }}^2)}^{1\mathrm{/}2}\mathrm{.}$$

记 $a_n={\sum }_{d\mathrm{\mid }n,d<n}\frac{d^{2+2\lambda }}{n^{2+2\lambda }}={\sum }_{\begin{array}{c}m\mathrm{\mid }n\\ m\ge 2\end{array}}\frac{1}{m^{2+2\lambda }}$。于是

$$\mathrm{\parallel }{K}_2^{\text{off}}\tilde{\psi }{\mathrm{\parallel }}^2\le \sum _{n=1}^{\mathrm{\infty }}\frac{a_n}{n}\sum _{d\mathrm{\mid }n,d<n}\mathrm{\mid }\tilde{\psi }(d){\mathrm{\mid }}^2\mathrm{.}$$

交换求和（令 $n=dm$）：

$$\le \sum _{d=1}^{\mathrm{\infty }}\mathrm{\mid }\tilde{\psi }(d){\mathrm{\mid }}^2\sum _{m=2}^{\mathrm{\infty }}\frac{1}{m^{2+2\lambda }}\cdot \frac{1}{dm}=\sum _{d=1}^{\mathrm{\infty }}\frac{\mathrm{\mid }\tilde{\psi }(d){\mathrm{\mid }}^2}{d}\sum _{m=2}^{\mathrm{\infty }}\frac{1}{m^{3+2\lambda }}\mathrm{.}$$

令 $S_{\lambda }={\sum }_{m=2}^{\mathrm{\infty }}{m}^{-(3+2\lambda )}<\mathrm{\infty }$。因此

$$\mathrm{\parallel }{K}_2^{\text{off}}\tilde{\psi }\mathrm{\parallel }\le \sqrt{S_{\lambda }}\mathrm{\parallel }\tilde{\psi }\mathrm{\parallel }\mathrm{.}$$

所以

$$\mathrm{\parallel }{K}_2\tilde{\psi }\mathrm{\parallel }\le (1+\sqrt{S_{\lambda }})\mathrm{\parallel }\tilde{\psi }\mathrm{\parallel }=C_{\lambda }\mathrm{\parallel }\tilde{\psi }\mathrm{\parallel }\mathrm{.}$$

证毕。

附录B：谱对应中 $h^{\mathrm{\prime }}(t_0)=0⟺\zeta (1\mathrm{/}2+i{t}_0)=0$ 的推导

由 $\zeta (s)$ 的函数方程：

$$\zeta (s)=\chi (s)\zeta (1-s),\chi (s)=2^s{\pi }^{s-1}\sin \left(\frac{\pi s}{2}\right)\mathrm{\Gamma }(1-s)\mathrm{.}$$

定义 $\xi (s)=\frac{1}{2}s(s-1){\pi }^{-s\mathrm{/}2}\mathrm{\Gamma }(s\mathrm{/}2)\zeta (s)$，满足 $\xi (s)=\xi (1-s)$。令 $s=1\mathrm{/}2+it$，则 $\mathrm{\Xi }(t):=\xi (1\mathrm{/}2+it)$ 是实偶函数，其零点即 $\zeta (1\mathrm{/}2+it)$ 的零点。

而

$$h(t)=\zeta (3\mathrm{/}2-it)+\zeta (3\mathrm{/}2+it)\mathrm{.}$$

利用函数方程可将 $h(t)$ 表达为

$$h(t)=2\mathrm{\Re }\zeta (3\mathrm{/}2+it)\mathrm{.}$$

其导数 $h^{\mathrm{\prime }}(t)$ 与 $\mathrm{\Xi }(t)$ 的导数通过下式联系（具体常数由Stirling公式和余弦因子给出）：

$$h^{\mathrm{\prime }}(t)=C(t)\mathrm{\Xi }(t)+D(t){\mathrm{\Xi }}^{\mathrm{\prime }}(t),$$

其中 $C(t),D(t)$ 在 $t\mathrm{\ne }0$ 处非零且光滑。特别地，$h^{\mathrm{\prime }}(t_0)=0$ 与 $\mathrm{\Xi }(t_0)=0$ 等价（因为若 $\mathrm{\Xi }(t_0)\mathrm{\ne }0$ 则 $h^{\mathrm{\prime }}(t_0)\mathrm{\ne }0$，反之若 $\mathrm{\Xi }(t_0)=0$ 则因 $\mathrm{\Xi }$ 为实偶函数，${\mathrm{\Xi }}^{\mathrm{\prime }}(t_0)=0$，从而 $h^{\mathrm{\prime }}(t_0)=0$）。故结论成立。

全部证明结束。