第837章 从边界逼近的方法
(文学度)
在阳台上成功消磨时间到了宴会结束，在酒店侍者的托盘上留下了两张钞票之后，陆舟便立刻前往停车场，坐上了那辆一直等候着的黑色红旗。
“回钟山国际。”
“好的。”
坐在驾驶位上的王鹏点了下头，很快发动汽车开上了公路。
虽然先前与那位名字有点长的女士讨论黎曼zeta函式时，基本上都是他自顾自的在那说着，但连他自己都没想到的是，这种对牛弹琴一般的讨论竟然也能令他产生些许的灵感。
坐在车的后排，一直沉默着一言不发的陆舟，忽然蹦出了一句话来。
“我还缺一样工具。”
扶着方向盘的王鹏微微愣了下。
“……什么工具？”
“没什么。”
“需要去一趟超市吗？”
陆舟笑着摇了摇头。
“如果超市有卖的就好了。”
预感到如果让他继续说下去的话，只怕剩下的这一路上自己都会全程处在懵逼状态，考虑到自己还在开车，于是王鹏很明智地闭上嘴不再开口，将注意力集中到了前方的路面上。
紫金山大酒店的位置与中山国际隔这本来就不远，不过十几分钟的车程，陆舟很快便看到了那熟悉的小区大门。
车在家门口停稳，交代了一句明天不用来找自己之后，陆舟便径直回到了家中，快步走向了楼梯。
“想要透过一般方法解决π（x）函式不太现实，这一个半世纪以来挑战过这个难题的人没有1万个也有一千个，即便这条思路是走得通的，传统的方法也一定已经被考虑过了。”
“颠覆性的结果往往需要颠覆性的方法来解决。”
“我需要新的工具！”
四旋翼无人机呜呜地飘在旁边，摇摇晃晃的跟着陆舟一起上了二楼。
由于无法识别陆舟那句自言自语中所包含的命令，跟在身后的小艾好奇地问了声。
“主人？”(•̀∀•́)
“替我泡杯咖啡，要速溶的，送到书房就好。”
“可是已经这么晚了……”(°ー°〃)
“没关系，今晚我本来就没有睡觉的打算。”
“好的主人，但是请一定要注意身体哦。”(ﾟωﾟ)
伸手推开了书房的大门，陆舟只扔下了三个字，便快步走了进去。
“知道了！”
想要一次攀上黎曼猜想这座珠峰是不现实的，这座珠峰伫立在数学界的顶点已经太久，无数人都曾试图挑战过，但绝大多数的情况都是在山脚下打转，以至于后来者虽然能够找到一大堆指向山顶的路标，但连一块可以借力的阶梯都没有。
不管是采用哪一条证明思路，在通往山顶之前都得先把最初的路修好。
至少，得让他自己看到证明的希望……
一屁.股坐在了书桌前，将堆在桌角的那些草稿纸全部揉碎扔进了纸篓里，陆舟重新抱出了一叠新的草稿纸堆在桌上。
看着那已经塞满的纸篓，还有桌上那堆即将被填满的草稿纸，陆舟的嘴角忽然勾起了一丝笑意，摇着头自言自语道。
“……这大概是我这些年来做的最省钱的专案了。”
哪怕是在证明杨米尔斯方程时关联强相互作用力与电磁力，他都写信借用CERN的装置做了几组理论物理学的实验，也花了不少钱。
但像是黎曼猜想这种纯粹的数学问题，恐怕需要耗费的也只是草稿纸和脑细胞了……
对于陆舟而言，全身心的投入到一件课题的研究中，似乎已经是很久以前的事情了。
自从担任月球轨道施工委员会的总设计师之后，他更多的都是扮演着学术带头人的角色，很少再像一般的科研狗那样，在科研的最前线冲锋陷阵了。
不过，即便是如此，那熟悉的感觉对于陆舟而言却并不生疏。
尤其是当他全身心的投入到纸上的问题时，那一串串从他笔尖流淌过的阿拉伯数字与古希腊符号，就像是古典乐的音符，将欢快的节奏与严肃的韵律融合在一起，汇成一支无声却震撼心灵的交响乐。
咖啡杯上升腾着的雾气渐渐散去，沥青小路旁的路灯渐渐熄灭，夜色下的紫金山万籁俱静，尔后不知些许时起，窗外渐渐泛起了黎明的晨辉，似是被那几声清脆的鸟鸣惊扰，陆舟轻轻停下了手中的圆珠笔，嘴中轻轻念道。
“在对包括‘山寨版’黎曼猜想在内的韦伊猜想的研究中，格罗滕迪克创立的全新的数学工具Étale上同调方法，对代数几何乃至整个数学领域的发展都产生了巨大的推动作用，并且最终直接导致了德利涅对韦伊猜想的证明。”
“想要找到通往山顶的路，就得先拿下最近的山头……黎曼猜想的弱猜想。”
就好像孪生素数猜想与波利尼亚克猜想之间的关系一样，后者是含于前者的关系，虽然证明前者不能直接导致后者的证明，但却可以对后者的证明起到启示的作用。
数学领域的探索就是如此。
从一个猜想的弱形式到猜想本身，以及对猜想本身在加以推广的强猜想，当所有的问题都被解决，当所有的线索都被串联在一起，一座数学的大厦也同样建好了。
想到这里，陆舟将写满的草稿纸推开到一边，在纸上写下了一行算式。
嘴角渐渐勾起了一丝笑容，郁结在陆舟眉宇间的凝重也随之散去了不少。
“想要证明零点全部分布在零界限上，可以先从排除不存在零点的区域开始！Re(s≤0及Re(s)≥1是已知的结果，只要想办法能够将这个结论推进到临界线以外的所有区域，即Re(s)1/2！就能够证明黎曼猜想！”
“我可以先从右侧边界开始！”
这条证明思路也被称为临界带方法！有别于证明百分之多少的零点位于零界限上，透过将包含所有零点的临界带的区域不断缩小，最终逼近到临界线的位置上，便是整个证明思路的核心！
只要他能将临界带的右侧边界由Re(s)1向左平移为Re(s)1ε(ε＞0)，从而把Re(s)≥1ε的区域排除掉，无论这个ε的取值多小，都能对黎曼猜想的证明起到巨大的推动作用！
思路已经有了，现在就剩下去解决这个问题了！
虽然只是冥冥之中的一种直觉，但这种直觉告诉他，这块拼图很有可能就在代数几何上！而不巧的是，这也是他最不善产的一个领域……
“要是有个能够讨论的人就好了。”
然而刚刚产生这个想法，陆舟随即便摇了摇头。
尤其是德利涅教授……
但遗憾的是，有些东西不是在邮件里就能说清楚的，影片电话也许是一个方法，但无论是气氛还是感觉，肯定都比不上普林斯顿的下午茶时间那样更适合学术上的交流。
目前来看，他能依靠的也只有他自己了。
“不能依赖别人。”
然而话是这么说，最终陆舟还是架不住心中的好奇，开启电脑登陆了Mathoverflow的页面，搜寻了一下近期的话题。
不过很快，他的脸上便露出了明显的失望。
先前将那篇论文挂在Arxiv上，他还指望着能够起到抛砖引玉的作用，透过在Mathoverfolw上引发相关的讨论，从而看到一些有意思的想法。
不过现在看来，他的想法显然是落空了。
即便是相对专业的数学讨论社群，出没在这里的最次也是PHD，人们的天性也是更热衷于八卦，而非解决具体的问题。
虽然也有一些讨论集中在学术领域，但这些讨论的内容都有些太“过时”了。
“看来得闭关几天了。”
伸了个懒腰靠在了椅子上，陆舟从桌上拿起手机，给王鹏发了条简讯，让他这几天都不用来找自己了之后，便打着哈欠起身下楼走去了浴室。
一开始他是指望着晚上就能凭借着那一丝灵感抓住些什么，甚至于搞定一个阶段性成果出来的，然而遗憾的是，情况比他想象中的要严峻的多，至少不是凭借着一点点灵感以及一晚上的时间就能捣鼓出来的。
现在既然已经决定闭关，自然就没必要争那一朝一夕的功夫了。
在开始正式的工作之前，他打算先把昨天没有睡的那一觉补上再说……
文学度