在台下所有数学家的议论声中,林宇整理好思绪,来到白板面前,拿起黑色记号笔,然后毫不犹豫的开启超脑,进行书写。
“令vx,t为描述流体速度的三维向量场,且px,t为流体压强,纳维尔-斯托克斯方程为:αv/αt+(v·▽)v=—▽p+vΔv+fx,t。
其中:v>0为动黏滞度;fx,t为外力;▽为梯度运算子;Δ为拉普拉斯算子。
上述方程为向量方程,可以分解为三个纯量的方程,将速度及外力分解为三个座标下的分量:
vx,t=[u1x,t,u2x,t,u3x,t]
fx,t=[f1x,t,f2x,t,f3x,t]
则纳维-斯托克斯方程可写成以下的形式…
………
当林宇刚开始解题的时候,在场的众人都是不以为然的。
因为林宇的解题思路很一般,用的都是所有数学家都常用的筛法进行推导。
而在整个数学界,每天都有数之不尽的数学家用这种普遍的方法,对NS方程进行推演,可是没有一个人能够成功的推到最后。
因为这其中所需要用到各方面的数学公式,以及各种计算量实在是太惊人。
就连德利涅这些数学界赫赫有名的数学顶尖大佬们,都是选择将这种根本无法用人力去解决的世界性难题放置一边。
所以,比起攻克这种根本不可能用数学方法证明的世界性难题,他们更愿意将时间和精力放在其他世界性难题上。
因为,哪怕是研究其他世界七大千禧难题都要比研究纳维-斯托克斯方程要好。
毕竟,除了纳维-斯托克斯方程和P与NP问题之外,其他的世界七大千禧难题基本上都是可以有进展的。
哪怕这个进展对于解题并没有任何实质性的用处。
但是,只要有人攻克,有人发现问题,那就迟早会出现解题的进展。
随着时间的流逝。
然而,当众人理所应当的认为林宇应该也会折戟沉沙时,他们顿时纷纷瞪大了眼睛,目光直勾勾的盯着报告台上的白板。
“老陈,你看看林宇那小子用的筛法,好像和现在数学界普遍存在的筛法有些不一样啊?”
座位上,丘成同老爷子目光紧紧盯着报告台上的白板,头也没回的疑惑的问道。
“确实,他现在所用的筛法,和数学界普遍存在的任何一种筛法都不同。”
陈省身老爷子神色凝重的点了点头。
沉思片刻后,陈省身老爷子仿佛想到了某种可能,语气中,带着难以制止的兴奋和颤抖的说道:“我看出来了!他的这种筛法,好像是一种全新的筛法!是目前数学界根本没出现过的新的筛法!!”
众所周知,现在数学界最常用的一共有三种筛法。
第一种是On√n暴力筛法n≤25。
它可以一个一个判断是否有因数,然后进行筛选,是最常用的方法,当复杂度小时,非常的方便。
第二种是最经典的Onlog2n埃氏筛n≤16。
它可以对于每一个数,筛去它的倍数,而其中又分为大筛法、小筛法等等。
至于第三种则是On欧拉筛n≤18
这三种筛法,是数学界非常常用的筛法,一般用这些,就可以搞定数学界大部分需要用到的题目。
当然,除了这些之外,还有许多特殊的,所需要用到的范围非常小的筛法,比如Min_25筛法等等。
只不过,现在林宇所用到的筛法,却都不是其中的任何一种!
“全新的筛法!?”
在听完陈省身老爷子的话后,旁边的丘成同老爷子心中顿时骇然。
他再也顾不得台上还在解题的林宇,整个人更是下意识的看向旁边的陈省身老爷子,一脸的震撼。
全新的筛法,它代表的意义不仅仅只是证明某种猜想那么简单!
它代表的是一种数学工具的革新!
毫不夸张的说,它的出现,足以让数学界无数未解之谜,重新有了解开谜团的可能!
有了它,整个数学的发展都将前进一大步!
甚至,林宇的名字以及这种全新的筛法,都将会刻进数学界的历史!
而只要林宇愿意,这种全新筛法的名字,都将以他的姓氏来命名!
这一刻,震撼的不仅仅只是两位老爷子,就连坐在最前排的德利涅等普林斯顿数学顶尖大佬们,都是被报告台上林宇所展示的全新筛法给震惊到了。
“法尔,你看出来了吗?”德利涅脸上露出一抹灿烂的笑容。
“嗯,全新的筛法。”
法尔延斯语气沉重的继续说道:“我从这种全新筛法中,看出了重筛法和埃氏筛法的影子,至于是否还有其他筛法,我并不清楚,但是,目前看来,这种全新筛法所表现出来的效果非常强悍。”
“因为它几乎综合了许多筛法的优势,而且,它最厉害的是,那些综合筛法的劣势全都被摒弃了,就连一丝一毫的劣势都没有,简直非常的完美,完美到根本不像是人类能够达到的。”
话到最后,法尔延斯更是感叹的摇了摇头,神色复杂的看向报告台上的林宇。
说实话,他在数学界这么多年,这是他第一次看到能力如此变态的人。
变态到简直刷新了他对天才的定义以及认知。
“法尔延斯说的没错,这种全新的筛法简直太完美了。”
就在法尔延斯的话音落下后,旁边的安德鲁·怀尔斯也是感叹的说道:“其实,我曾经也想过像林宇这样,将数学界的筛法进行优势综合,但是,它的难度实在是太大了,哪怕我尝试了上万次的推演,也只能将重筛法以及埃氏筛法中的大筛法进行粗糙的综合。”
说到这,安德鲁·怀尔斯也是不由得敬佩的看了一眼报告台上的林宇,旋即苦笑的继续说道:“而我的那种粗糙的两种筛法优势综合,和林宇现在所表达的全新筛法相比,几乎就如同17世纪的马车与现在的高铁,这两者的差距,实在是太大了……”
说罢,安德鲁·怀尔斯更是无奈的叹了一口气。
而在听完两人的话后,周围的众多数学顶尖大佬们,眼睛里同样也是闪过一道道复杂的光芒。
有吃惊,有羡慕,但是,更多的还是对后辈的欣赏以及赞叹。
“只要林宇能够顺利找到纳维-斯托克斯方程的一个弱解,那今年的克劳福德奖就非他莫属。”
“别说克劳德奖,就单单这种全新的筛法,他就足以提名沃尔夫和菲尔兹!”
“如果他能留在普林斯顿就好了,和这种永远不缺乏灵感的年轻人共事,想想就充满活力...”
“呵呵,那恐怕是不可能了,听德利涅说,这位年轻人非常爱他的妻子,就连德利涅亲自邀请,他都毫不犹豫的婉言拒绝了。”
“唉,真是可惜了……”
就在前排众多数学顶尖大佬们一边轻松的看着台上林宇的解题过程,一边热闹的讨论着时。
报告大厅中的其他数学家们,可就没那么轻松了。
原因很简单,他们只看到林宇在白板上奋笔疾书,但是完全没看懂林宇用全新筛法所写出来的证明过程。
“嘿,杰克,你看懂了吗?”
后面的座位席上,一个金发碧眼的青年,拍了拍旁边戴着金丝边框眼镜,愣愣的看着报告台白板上其中一个算式的金发男人。
被称为杰克的金发男人仿佛并没有感受到旁边同伴的举动。
过了许久后,他那沉思的脸色这才舒展开来,兴奋的大声喊道:“我看懂了!我看懂了!!”
然而,片刻后,他又愁眉苦脸的看着膝盖上笔记本上的算式,独自喃喃自语的说道:“不过我好想算错了...”
看到这一幕后,他旁边的同伴也是不由得无奈的摇了摇头,旋即继续努力研究起白板上的算式。
这样的情景,在报告大厅中随处可见,不少年轻人垂头丧气的解算着林宇所写过的一个算式。
甚至,就连一些老教授都是被其中的某些算式给难到了。
他们一个个戴着老花眼镜,一边在自己的笔记本上不断推演着,一边还从网络上翻找着资料。
一时间,随着越来越多的写字声响起,整个报告大厅中,绝大部分人都陷入了神情专注的心流状态。
他们时而欣喜若狂,时而灰心丧气,时而神情凝重。
时间一分一秒的流逝,白板上的算式也越来越多。
很快,报告台上那张特制的,足足有着五米长的白板,便是被林宇给全部写满。
而早在林宇快要写完的时候,不远处的工作人员就已经迅速的又搬上来一块五米长的白板。
所以,林宇没有丝毫停顿,他继续在另一块白板上飞快的书写起来。
“综上,可获得x、y、z三个方向的动量方程组:
α(pv·x)/αt+α(pv·x,pv·x)/αx+α(pv·y,pv·x)+α(pv·z,pv·x)=fx(αoxx/αx+αTyx/αy+αTzx/αz……
——————(10)
显然,上述方程数量小于未知数的数量,方程组不封闭,无解,需要引入其他的方程才能使方程组封闭。
所以,在上述方程组的基础上引入了以下本构方程,也就是将应力和速度建立关系。
αxx=-p+2u·αvx/αx-2/3uαvx/αx +αvy/αy+αvz/αz
αyy=-p+2u·αvy/αy-2/3uαvx/αx +αvy/αy+αvz/αz
αzz=-p+2u·αvz/αz-2/3uαvx/αx +αvy/αy+αvz/αz)……
——————(11)
于是联立方程组10和11,可以得到完整形式的,常黏度的NS方程矢量形式……
……
五十行、八十行、一百二十行……
在林宇那火力全开的状态,二十分钟不到,这块五米长的新白板上的空间,再度见底。
无奈,工作人员们只好继续上白板。
随着林宇的疯狂书写,当他在写到第一百五十行左右的时候,前排德利涅他们这些顶尖的数学大佬,也是终于有些吃力起来。
下一刻,他们取出早就准备好的笔记本,搁在桌子上,神情认真的开始进行推演。
而随着他们也进行推演,刹那间,整座数学家云集的报告大厅,顿时变得安静起来,只有清晰的写字声接连不断的响起。
一时间,所有人都如同回到了学生时代一般,全部低着头,神情认真的进行计算。
面对这种熟悉的情况,众多工作人员们也是小心翼翼起来,深怕惊扰了众人。
“老陈,你说他能成功么。”
座位上,丘成同老爷子已经放弃了推演,他目露精光的看着报告台上奋笔疾书的林宇,小声的和旁边的陈省身老爷子说道。
听到这话,陈省身老爷子认真思考了一下,然后缓缓点了点头,认真的说道:“如果就连他都推算不出来的话,那我只能说,一定是这个题目的问题。”
对于林宇能不能证明纳维-斯托克斯方程这件事,陈省身老爷子心中是肯定的。
因为既然连同为世界七大千禧难题的黎曼猜想,都被林宇成功证明了,那么纳维-斯托克斯方程不可能证明不成功!
虽然说这个过程所持续的时间可能会长一点。
但是,陈省身老爷子始终坚信着林宇一定会证明成功。
时间,在这种安静的氛围中缓缓流逝。
随着越来越多的人放弃推演,众人的心也是开始紧张起来。
虽然在场的绝大多数人都是看的云里雾里,对林宇的证明过程更是分不清是否正确。
但是,林宇能够写下这成百上千行的算式,就已经足够惊人了。
一个半小时后……
就在林宇向第十一块五米长的白板书写的时候,报告会的后勤负责人,神色焦急的跑到正在推演的德利涅面前:“德利涅教授,我们的特质白板已经全部写完了,普通的白板也正在加紧派送中,不过还需要一段时间才能够到达报告大厅,”
思绪被打断,德利涅迅速回过神来,神情严肃的问道:“那我们现在还有没有其他的普通黑板,或者是普通白板?”
“报告大厅已经没有了,但是普林斯顿的教室,以及普林斯顿长廊应该会有。”负责人如实的说道。
“好,那你安排人去把普林斯顿大学所有空闲的白板和黑板都给我拿过来!”
“今天不论如何,都绝对不能打断纳维-斯托克斯方程的验证过程,因为这一幕,将足以载入数学界的史册!”德利涅目光狂热的看向报告台上正在验算的林宇,语气坚决的说道。
“明白!”
负责人神色一凛,旋即连忙掏出对讲机,飞快的向着外面跑去。