🔢 mathematics

Jacob's ladders and the equivalent of the Fermat-Wiles theorem generated by the Hardy-Littlewood formula (1921)

本文证明了哈代 - 利特尔伍德在 1921 年提出的引理 18 能够生成费马大定理的连续统集合的等价形式。

原作者： Jan Moser

发布于 2026-03-03

📖 1 分钟阅读🧠 深度阅读

原作者： Jan Moser

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文听起来非常深奥，充满了数学符号和复杂的公式，但它的核心思想其实可以用一些生动的比喻来解释。想象一下，作者雅恩·莫泽（Jan Moser）是一位在数学迷宫里探险的向导，他手里拿着一张 105 年前的古老地图（哈代 - 利特尔伍德引理），发现了一条通往数学圣杯（费马大定理）的新捷径。

以下是用通俗语言和比喻对这篇论文的解释：

1. 核心任务：寻找“数学密码”

背景：费马大定理（Fermat's Last Theorem）是数学界著名的难题，直到 1994 年才被安德鲁·怀尔斯证明。它说的是：对于大于 2 的整数 $n$ ，方程 $x^n + y^n = z^n$ 没有整数解。
作者的目标：莫泽并不是要重新证明费马大定理（因为已经证出来了），而是想找到一种全新的、基于黎曼 $\zeta$ 函数的“等价说法”。
比喻：这就好比费马大定理是一座城堡。怀尔斯找到了一条路进去了。莫泽说：“看，我手里有一把 105 年前留下的旧钥匙（哈代 - 利特尔伍德引理），我发现这把钥匙不仅能打开原来的门，还能打开无数扇新的侧门，每一扇侧门通向的也是同一个城堡，但走法完全不同。”

2. 关键工具：“雅各布的梯子” (Jacob's Ladders)

什么是雅各布的梯子？
在数学里，这指的是黎曼 $\zeta$ 函数在临界线上的零点分布。想象一下，这些零点像梯子上的横档，或者像宇宙膨胀时星系之间的距离。
作者做了什么？
作者利用这些“梯子”的几何特性，构建了一个巨大的数学机器（一个复杂的积分公式）。
比喻：
想象你在观察一条奔流不息的河流（黎曼 $\zeta$ $ζ$ 函数）。
- 哈代和利特尔伍德（1921 年）发现了一个规律：如果你截取河流的一段，水流量的变化是有规律的。
- 莫泽说：“我不只截取一段，我要用这个规律造一个‘时间机器’。我把河流的流量、梯子的步数、还有费马大定理里的数字（ $x, y, z$ ）全部扔进这个机器里搅拌。”

3. 惊人的发现：无穷多的新公式

主要成果：
作者证明了，通过调整这个“机器”里的几个参数（就像调节收音机的旋钮），可以生成连续无穷多个新的数学公式。
这些公式的作用：
每一个公式都是一个“测试”。如果你把费马大定理中的数字代入这个公式，结果一定不等于 1。如果结果等于 1，那就意味着费马大定理不成立（但这不可能发生）。
比喻：
想象费马大定理是一个“真话检测器”。
以前我们只有一个检测器。现在，莫泽利用古老的公式，制造了无数个不同颜色的检测器。
无论你怎么调整参数（ $a$ 和 $\alpha$ ），只要把费马的数放进去，这些检测器都会亮起红灯，告诉你：“这不是解！”
作者说：“看，这不仅仅是发现了一个新公式，而是发现了一个无限大的森林，每一棵树都是一个验证费马大定理的新方法。”

4. 关于“三角和”方法的批评与反思

论文的后半部分，作者像一位老练的评论家，对另一位著名数学家卡拉楚巴（A. A. Karatsuba）的工作提出了批评。

争论点：
卡拉楚巴声称自己改进了关于黎曼 $\zeta$ 函数导数零点的结果。但莫泽指出，卡拉楚巴只是摘取了莫泽多年前（1979 年）发表的一个特例，却忽略了更强大的通用理论。
比喻：
想象莫泽发明了一种能飞越整座山脉的“超级喷气机”（通用理论）。
卡拉楚巴后来发表了一篇论文，说：“我发明了一种能飞越一个小土坡的滑翔机，而且比莫泽的飞得更好。”
莫泽反驳道：“不，你的滑翔机其实就是我喷气机上的一个零件，而且你甚至没有使用我喷气机最核心的引擎（通用参数）。更重要的是，如果你真的想飞得更高（达到黎曼猜想的高度），靠这种滑翔机是永远飞不到的，就像在《爱丽丝梦游仙境》里一样，那是遥不可及的幻想。”

5. 总结：这篇论文在说什么？

旧瓶装新酒：作者重新挖掘了 105 年前被低估的数学工具（哈代 - 利特尔伍德引理），发现它能产生无穷无尽的数学新公式。
费马大定理的新视角：这些新公式提供了验证费马大定理的无数种新途径，虽然它们看起来非常复杂（像是一堆乱码），但它们本质上是相通的。
学术界的“罗生门”：作者花了很多篇幅澄清，他才是某些数学结论的原始发现者，并警告后人：如果只盯着表面的小改进（像卡拉楚巴做的那样），而忽略了底层的巨大潜力（像黎曼猜想所暗示的），那么数学进步将非常缓慢，甚至停滞不前。

一句话总结：
这就好比一位老工匠翻出了祖传的锤子，不仅用它修好了旧房子，还发现这把锤子能敲出无数种不同的音乐，同时他还要提醒邻居：别只盯着我锤子上的一个小花纹吹嘘，那只是我整个工具箱里最不起眼的一部分。

论文技术总结

1. 研究问题 (Problem)

本文旨在解决两个核心数学问题：

费马 - 怀尔斯定理（Fermat-Wiles Theorem）的黎曼ζ函数等价形式：作者试图利用哈代（Hardy）和利特尔伍德（Littlewood）在 1921 年提出的引理（Lemma 18），构建一个连续的ζ函数等价类，以表达费马大定理（即 $x^n + y^n = z^n$ 无正整数解，当 $n \ge 3$ ）。
三角和方法与黎曼假设的界限：作者批评并重新审视了 A. A. Karatsuba 在纪念 I. M. Vinogradov 90 周年论文中关于 $Z'(t)=0$ 根分布的结论。作者试图证明，仅通过改进初等三角和（Weyl 和）的估计，无法达到黎曼假设（Riemann Hypothesis, RH）所暗示的极限精度，并指出 Karatsuba 的工作在某种程度上重复或误用了作者早期的成果。

2. 方法论 (Methodology)

作者采用了以下数学工具和策略：

雅各布之梯（Jacob's Ladders）：
- 利用作者之前定义的函数 $\phi_1(T)$ 及其迭代（正向和反向迭代），构造了一组渐近等距的点集 $\{T, \frac{1}{T}, \dots, \frac{k}{T}\}$ 。
- 这些点将积分区间划分为渐近相等的部分，用于分析 $\zeta(\frac{1}{2}+it)$ 模平方的积分性质。
哈代 - 利特尔伍德引理 18 (Hardy-Littlewood Lemma 18)：
- 基于 1921 年的经典不等式 $N_0(T+U) - N_0(T) > KU$ ，其中 $N_0(T)$ 是临界线上零点的数量。
- 利用引理中的积分公式 $J = \int_T^{T+U} J^2 dt$ ，其中 $J(t, H)$ 涉及 $X(t)$ 函数的积分。
函数变换与渐近分析：
- 建立了哈代 - 利特尔伍德的 $X(t)$ 函数与黎曼的 $Z(t)$ 函数之间的渐近联系： $X(t) \sim (\frac{\pi}{2})^{1/4} Z(t)$ 。
- 通过变量代换（如 $T = \tau^{1/a}$ 和 $\tau = x\rho$ ）和极限过程（ $\rho \to \infty$ ），构造了一个新的泛函。
三角和与 $Z'(t)$ 的零点分布：
- 回顾了作者关于 $Z'(t)=0$ 根分布的渐近公式，依赖于初等三角和 $S(a,b)$ 的估计。
- 对比了 Vinogradov 对三角和方法局限性的分析，指出在黎曼假设下，零点分布的密度远超三角和方法能达到的界限。

3. 主要贡献与结果 (Key Contributions and Results)

A. 费马 - 怀尔斯定理的连续ζ等价形式

定理 1 (Theorem 1)：作者证明了一个新的泛函极限公式。对于任意固定的 $x > 0, a > 1/2, \alpha > 0$ ，存在以下极限关系：
$\lim_{\rho \to \infty} \frac{1}{\rho} \left\{ \int_{[x^\rho]_1}^{[x^\rho + C]_1} Z^2(t) dt \right\}^{-\alpha} \times \int \dots = x$
其中涉及 $Z(t)$ 的积分和 $X(u)$ 的平方积分。
推论与定理 2 (Corollary 1 & Theorem 2)：
- 将上述泛函中的 $x$ 替换为费马有理数形式 $x = \frac{x^n + y^n}{z^n}$ （其中 $n \ge 3$ ）。
- 核心结论：如果费马方程 $x^n + y^n = z^n$ 有解，则该泛函极限应等于 1。作者提出，该泛函极限不等于 1 是费马 - 怀尔斯定理的一个新的ζ函数等价形式。
- 由于参数 $(a, \alpha)$ 的取值范围是连续的，这生成了一个连续统（continuum set）的新ζ等价形式。

B. 对 Karatsuba 工作的批评与修正

关于 $Z'(t)=0$ 的根：
- 作者指出 Karatsuba 在论文 [4] 中声称改进了作者关于 $Z'(t)=0$ 根分布的结果是不准确的。
- 作者认为 Karatsuba 仅选取了作者一般定理的一个特例（Kolesnik 指数 $\Delta = 35/216$ ），且未包含必要的假设条件。
- 作者强调，基于 Lindelöf 假设，其结果能提供 100% 的改进（即指数 $\Delta$ 可任意小），而 Karatsuba 的指数 $1/12$ 远未达到此极限。
三角和方法的极限：
- 通过对比 Vinogradov 的分析，作者论证了仅靠改进三角和 $S(a,b)$ 的估计，无法达到黎曼假设下 $Z'(t)$ 零点分布的极限（即区间长度 $\sim 1/\ln\ln\ln T$ ）。
- 定理 3：在黎曼假设下，任意无穷小区间 $(T, T + \frac{1}{\ln\ln\ln T})$ 内都包含所有阶导数 $Z^{(k)}(t)$ 的奇数阶零点，其中 $k$ 可达 $\sim \frac{\ln\ln T}{\ln\ln\ln T}$ 。这被作者描述为“爱丽丝梦游仙境”般的极限，暗示三角和方法在此问题上存在本质障碍。

C. 历史与学术背景澄清

作者澄清了其公式 (4.1.10) 和 (4.1.11) 的优先权，指出 Karatsuba 的 Lemma 5 实际上是作者公式的推广，但作者早在 1979 年就已发表相关成果。
作者回顾了自己作为独立研究者（无学位）与莫斯科 Steklov 研究所教授 Karatsuba 之间的学术互动历史。

4. 意义与影响 (Significance)

理论创新：
- 将哈代 - 利特尔伍德近一个世纪前的引理（Lemma 18）应用于全新的领域，即费马大定理的ζ函数等价形式。这验证了哈代和利特尔伍德关于该引理“未来可能有用”的预言。
- 提出了一种通过解析数论中的积分泛函来表述数论中著名猜想（费马大定理）的新视角。
方法论的界限：
- 文章深刻探讨了三角和方法（Weyl sums）在解决黎曼ζ函数零点分布问题上的局限性。作者通过对比黎曼假设下的理论极限与当前三角和方法能达到的界限，强调了仅靠技术微调无法突破理论天花板，必须依赖ζ函数理论本身的深层进展。
学术争鸣：
- 文章对 Karatsuba 的工作提出了严厉的批评，指出了优先权问题和逻辑漏洞。这在数学界（特别是解析数论领域）对于厘清成果归属和理论边界具有重要意义。
概念引入：
- 进一步推广了“雅各布之梯”（Jacob's Ladders）这一概念，将其作为分析ζ函数零点分布和积分性质的有力几何工具。

总结

Jan Moser 的这篇论文试图通过重新挖掘 Hardy-Littlewood 的经典引理，构建费马大定理的连续统ζ等价形式，并借此机会对 Karatsuba 的相关研究提出批评，同时深入探讨了三角和方法在逼近黎曼假设极限时的理论瓶颈。尽管其结论（特别是关于费马大定理的等价形式）属于高度前沿且非传统的解析数论探索，但其核心在于展示经典工具在现代数论问题中的新应用潜力。