通过不等式之间的耦合,理想的情况下就能现,如果朗道-西格尔零点成立,那就会有一个矛盾。
说得通俗一点。
对于一个有限的实数序列xn,怎么样证明它并不是非负的?
这就是需要证明其中至少有一个xn不会小于o。
就举个简单的例子,现在存在一个偶数n,现在可以用p(n)定义这样的特征函数。
在这里n是素数,p(n)等于1,反之,p(n)就等于o,这样就会得到一个序列。
事实上,在解析数论中有许多东西都可以归结到这个问题上面。
总之,最后的就是,许青舟需要证明推算出来的结果是小于o的。
就比如哥德巴赫猜想,最终也可以回归到一个有序列上,可以推算序列里是不是有这么一个小于o的数,如果有的话,哥德巴赫猜想就是对的。
当然,目前这也仅仅是理论上如此,真要像许青舟想的这么简单,哥德巴赫猜想不会成为世纪难题。
但很遗憾,无法证明它小于o的,最多就是能现zn接近o,许青舟还现,推算出来的结果会小于一个ε乘上一个东西。
甚至能现很多zn。
这几天,许青舟打算像变分法,用积分方程去找最大特征根。
尽管看起来困难重重,可许青舟心态很好。
打个比方。
假如需要解决的黎曼猜想的各种难题是一个巨大的土堆,朗道-西格尔零点猜想就算得上是一台挖掘机,解决它,拆掉这个土堆的度就会成数倍的增长。
许青舟现在做的这个弱化版的朗道-西格尔零点猜想,就相当于一把铲子。
用它来解决黎曼猜想这个土堆会非常缓慢,甚至可以说效率低下,但总算是有点的进展。
周一早上。
许青舟刚打开电脑,就看到一封新的邮件。
【许,听说你来麻省理工学习,恭喜,最近,我在看数据时,现了些有趣的现象,也许和未现的新粒子有关,如果你有兴趣的话,我们可以进行合作。】
【我将在波士顿大学出差4天,如果你感兴趣,我们或许可以见一面。】
邮件的主人叫昆里斯·理查德。
许青舟仔细回忆了下,想起来这是谁了,普林斯顿的一位物理学教授,以前在Lhc参加量子对撞机中实验室时法国组的一个学者。
当初还邀请许青舟去巴黎高师读博。
粒子啊。
许青舟靠在椅子上。
真实碰撞实验数据对于各国的研究员是开放的。
Lhc的计算机网络,已经全球数百个数据中心中的数千台计算机集成到全球计算资源中,这样就方便存储和分析Lhc将收集的大量数据。
所以大家都可以访问。
挺有意思。
黎曼猜想进展缓慢,倒是可以去研究点新的东西,算是放松大脑吧。
而且,研究粒子物理,还真有一种探索世界,掌握世界真理的感觉。
想着,许青舟打开邮件,和对方约定好见面时间和地点。
(本章完)