<p id="txt_54">在上次弱·黎曼猜想证明的报告会上，徐川和他交流过有关于黎曼猜想的研究。</p><p/>
<p id="txt_55">尽管这位老先生赞扬了他所创造的回归π（x）质数计数函数，反推压缩非平凡零点的核心工具，但对于他的成果却并没有太的惊讶。</p><p/>
<p id="txt_56">两个人交流的过程中，他甚至有种感觉对于弱·黎曼猜想的研究，也就是对于非平凡零点的推进工作，法尔廷斯教授似乎有种不屑为之的态度。</p><p/>
<p id="txt_57">或者说，他对于非平凡零点的推进，已经有了不弱于他的研究。</p><p/>
<p id="txt_58">只是这位老先生认为对非平凡零点的传统形式推进根本就无法解决黎曼猜想。</p><p/>
<p id="txt_59">快速的点开论文，徐川的目光落在论文的标题上。</p><p/>
<p id="txt_60">《非平凡零点的纵向‘周期性’调和函数的极值证明。》</p><p/>
<p id="txt_61">看到论文的标题，他便皱起了眉头。</p><p/>
<p id="txt_62">“黎曼猜想”是指猜测一个在复数域内定义的Zeta函数其所有零点（函数值等于0的点）都位于临界线（实部为1/2的直线）上。</p><p/>
<p id="txt_63">该猜想的正确性是数学界普遍认可的。</p><p/>
<p id="txt_64">而证明‘黎曼猜想’的根本困难在于Zeta函数是一个在复数域内定义的包含无穷级数的无穷积分，其变化情况难以通过现有微积分知识来认识。</p><p/>
<p id="txt_65">纵观已有失败经历，任何想绕过这个无穷积分的尝试都是徒劳的，因为所有信息都隐含其中。</p><p/>
<p id="txt_66">包括与Zeta函数等价的Xi函数具有自然的“对称性”。</p><p/>
<p id="txt_67">数学界并不是没有人尝试过利用‘对称性’和调和函数的‘极值原理’或者说一些其他几何技巧对黎曼猜想进行尝试性的证明。</p><p/>
<p id="txt_68">但最关键的一点是几乎没有人能够做到证明Xi函数的实部于临界线附近不存在正的极小值和负的极大值。</p><p/>
<p id="txt_69">倒在这条路上的甚至不乏顶级数学家。</p><p/>
<p id="txt_70">比如证明了代数数有理逼近的瑟厄西格尔罗斯定理，在上个世纪五十年代末获得了菲尔兹奖的克劳斯·费里德里希·罗斯教授。</p><p/>
<p id="txt_71">以及2002年获得菲尔兹奖的洛朗·拉佛阁教授。</p><p/>
<p id="txt_72">“ξ(s)函数的实部的纵向周期性？”</p><p/>
<p id="txt_73">看着论文的标题，徐川皱着眉头陷入了沉思中。</p><p/>
<p id="txt_74">Xi函数是黎曼ζ函数的一个变体，通常表示为ξ(s)。</p><p/>
<p id="txt_75">它是由数学家埃米尔·黎曼引入的，用于研究素数分布和黎曼猜想。</p><p/>
<p id="txt_76">其定义为：ξ(s)1/2·s(s1)πs/2Γ(2s)ζ(s)，其中，(\zeta(s))是黎曼ζ函数，(\Gamma(s))是伽玛函数，(\pi)是圆周率。</p><p/>
<p id="txt_77">Xi函数在数学和物理中有广泛的应用，特别是在素数分布的研究中。</p><p/>
<p id="txt_78">它与黎曼ζ函数密切相关，而后者在复平面上的某些特定点具有特殊的性质。</p><p/>
<p id="txt_79">这些性质与素数分布的某些特征有关。</p><p/>
<p id="txt_80">黎曼猜想是关于ζ函数的零点分布的猜想，而Xi函数在其中扮演了重要角色。</p><p/>
<p id="txt_81">数学家可以通过对黎曼ζ函数进行解析延拓得到与Xi函数相关的表达式，并通过分部积分等方法进一步推导其性质。</p><p/>
<p id="txt_82">这也就意味着对Xi函数的反推，也能够解析拓展黎曼ζ函数。</p><p/>
<p id="txt_83">“通过对Xi函数的对称性、单调性、周期性来进行推导，引入调和分析工具.”</p><p/>
<p id="txt_84">“再对狄利克雷多项式建立矩阵，利用特殊的向量本证值来进行解析。”</p><p/>
<p id="txt_85">“理论上来说，如果能够证明最大的本征值不会太大，就能够完成对周期性的证明工作。”</p><p/>
<p id="txt_86">“但这并不能完全证明黎曼猜想，只能做到黎曼猜想，应该只能说是无限接近的地步。”</p><p/>
<p id="txt_87">高铁上，徐川翻阅着论文，皱着眉头思索着。</p><p/>
<p id="txt_88">如果将“黎曼猜想”依据临界带（实部为0和1的两直线之间的区域）内和临界线上零点的分布情况可划分成三个依次递进的命题。</p><p/>
<p id="txt_89">那么第一个命题是‘临界带内零点个数满足特定估计式’，也就是黎曼所提出的非平凡零点的分布在实部大于0但是小于1的带状区域上。</p><p/>
<p id="txt_90">这个命题早已经被证明。</p><p/>
<p id="txt_91">只是有意思的是，早在黎曼当初提出这个命题时，就给出了肯定的答案。</p><p/>
<p id="txt_92">但黎曼并没有给出对应的证明过程。</p><p/>
<p id="txt_93">直到四十多年后，这一证明才由芬兰数学家梅林教授完成。</p><p/>
<p id="txt_94">而第二个命题则是即黎曼函数临界线上的零点个数也满足同样的估计式，即有无穷个非平凡零点都全部位于实部等于1/2的直线上。</p><p/>
<p id="txt_95">同样的是，黎曼对于这个命题也给出了肯定。</p><p/>
<p id="txt_96">但同样遗憾的是，他没有给出任何证明的线索，只是在与朋友的一封通信里提及：命题的证明还没有简化到可以发表的程度。</p><p/>
<p id="txt_97">直到1914年，也就是约莫六十年后，才由英国数学家戈德弗雷·哈代证明了黎曼ζ函数在临界线（实部为1/2的直线）上存在无穷多个非平凡零点。</p><p/>
<p id="txt_98">而最后一个命题则是对黎曼猜想本身的证明，即所有的非平凡零点都全部位于实部等于1/2的直线上。</p><p/>
<p id="txt_99">这个问题至今都没有得到解决，只不过数学界一直都在对其进行推进。</p><p/>
<p id="txt_100">比如1975年米国麻省理工学院的莱文森在他患癌症去世前证明了No（T）0.3474N（T）。</p><p/>
<p id="txt_101">1980年华国数学家楼世拓、姚琦对莱文森证明了No（T）0.35N（T）。</p><p/>
<p id="txt_102">再到他推出的工具，在前两年的时候将No（T）推进到了0.731N（T）地步。</p><p/>
<p id="txt_103">如果是按照这篇论文对黎曼猜想的研究，以他对黎曼猜想的研究来看，法尔廷斯教授的研究成果尽管的确很有新意，几乎等同于从另一条路在进行无限推进。</p><p/>
<p id="txt_104">但无限推进并不等同于做到证明无限，而Xi函数与非平凡零点的纵向‘周期性’调和函数的极值证明，和他完成的工具理论上来说差别并不大。</p><p/>
<p id="txt_105">法尔廷斯教授，为什么会将这样一篇论文发出来？</p><p/>
<p id="txt_106">这不符合他的性格。</p><p/>
<p id="txt_107"></p><p/>