作是否会出现故障?也就是方程是否会产生不确定或者是错误的答案?”
“Ns方程有着两百年的历史,但其产生的数学问题一直没有能够得到彻底解决。”
“数学是一门严谨的学科,我们不能用‘不确定’来对问题进行描述。”
“而现在,我们将给出NS方程问题的答案!”
在简单的开场白结束以后,报告也进入正题中。
张硕把时间交给了罗勇军。
罗勇军做了最初的讲解,也就是对于报告进行全局的概括,也就是讲解整体是怎么做的论证。
这一部分的讲解还是非常重要的。
那些看懂论文的学者自然知道证明过程,但很多学者并没有看懂论文,或者也没有时间去看论文。
他们通过讲解才知道整体的证明过程,也知道证明所用的方法了。
之后上台的是李伟华,他做了第一部分的讲解。
第一部分阐述的是无限数值代入的参数分析问题,分析了参数问题以后,就能够把之后论证逻辑梳理清楚。
这一部分讲解占据了近一个小时。
然后就是张硕说了。
张硕是作为主讲解上台的,他讲解的都是论文中高难度的部分,也就是最难理解的部分,这些部分的逻辑非常烧脑,好多人即便听了都感觉绕不过来。
当张硕讲解的时候,台下听的是最认真的,即便是前排的学者们都认真盯着荧幕上的内容,非常认真的听着,唯恐错过任何一个细节。
“我们把之前的参数论证部分和现在的结论结合,可以确定一个参数的集合。”
“在这个集合范围之内,边界函数……”
“把向量场设定为……”
“最后可以得到连续的映射……我们可以发现……”
……
台下,前排。
邱成文、安东-卡普斯汀、罗斯特-布兰德,每个人都听的非常认真。
他们都对论文有过研究,所以罗勇军、李伟华讲解的时候,就都感觉很轻松,因为都是能理解的部分。
张硕讲的才是关键。
那些看起来就晦涩难懂,逻辑上非常烧脑的部分,他们想自己去理解也很困难,才过来认真的听报告。
听了张硕的讲解以后,有些不明白的地方顿时理解透彻了。
当听完一段内容以后,邱成文轻呼一口气,对着罗斯特-布兰德感叹了一句,“原来是这样,这个部分我一直没明白。”
“是啊,很了不起。”
罗斯特-布兰德轻轻的点评了一句,就听到身后费弗曼不满的喊声,“不要说话,认真听!”
“额~~~”
罗斯特-布兰德和邱成文尴尬的对视了一眼。
台上的报告继续进行。
张硕连续讲了几个难点以后,又继续梳理最后的部分。
他对于研究的理解深入,逻辑清晰,讲解过程非常的流畅。
他的语调越来越快。
当完成边界函数的论证,再联系最初的参数论证,就可以代入‘有限取值论证’的结论,来证明任意一个位置的解都是具有存在性、唯一性以及光滑性。
这已经是最后的部分了。
时间也已经过了12点,正常来说,会议已经进入午休时间,但会场里没有人离开,所有人都继续盯着台上的张硕。
前排有些学者,脸上已经露出了轻松的笑容。
比如,查尔斯-费弗曼。
查尔斯-费弗曼的眼中神采闪烁,后面已经不用继续听了,他已经确定ns方程问题被解决。
邱成文、罗斯特-布兰德也同样如此。
安东-卡普斯汀更早一些已经确定下来,他表现轻松的翘起了脚尖,对旁边的本尼斯道,“还在听吗?没什么了吧?”
本尼斯继续瞪着眼好半天,郁闷道,“有两个地方我还是没有太懂。”
“这就是水平差距,哈哈。”安东-卡普斯汀嗤笑道。
本尼斯不满道,“如果是代数几何,十个你也不是对手。”
“代数几何的报告,我也不会来听。”
“……”
本尼斯发现自己斗嘴败了,干脆问道,“你全都明白了,怎么样?”
“当然,就和你想的一样。”
安东-卡普斯汀的表情也变得凝重,他认真感叹道,“NS方程问题,已经解决了!”
“非常完美!”
他的话音刚落,就听台上想起了最后的收尾,“到这里,显而易见,纳斯托克方程每一个位置的解都是存在的,并且是光滑的!”
话音一落,会场先是一静。
安东-卡普斯汀率先站了起来,并用力的鼓起了掌。
前排的学者们也都站起来鼓掌,他们的掌声仿佛有带动性,引得全场所有人都站起来用力鼓掌。
掌声响成一片、经久不息,连会议厅外面的广场都听的清清楚楚。
这一刻起,ns方程问题彻底得到了解决!