求解n-s方程,相当于用一个假设去验证另一个假设。我们现在不需要假设,我们需要的是‘欧几里得的公理’。”
&esp;&esp;欧几里得的学术贡献,在场几人倒背如流。
&esp;&esp;欧几里得用十条公理推导出23个定义、467个命题,从而构建了经典不朽的欧氏几何体系。
&esp;&esp;公理就是常识性的认知,不需要再加证明的基本命题。
&esp;&esp;建立在假设基础上的理论无法被学术界广泛认可,沈奇需要无懈可击的“公理”,凑不齐十条,哪怕能得到一条也好。
&esp;&esp;“所以,证明偏微分方程的无限流算法,是解决n-s方程的前提条件。你们同意我的观点吗?”沈奇询问众人。
&esp;&esp;威腾:“同意。”
&esp;&esp;周雨安、萧俊龙:“完全同意。”
&esp;&esp;“那你有具体思路吗?”周雨安问沈奇。
&esp;&esp;“我也来做个实验吧。”沈奇走到饮水机前,今天这场学术交流会,这台饮水机是毫无争议的主角。
&esp;&esp;“嚯!”沈奇清啸一声,直接将纯净水桶拔了出来,力拔山兮气盖世。
&esp;&esp;周雨安碉堡了,萧俊龙懵逼了,就连威腾也露出疑惑的表情。
&esp;&esp;沈奇按动出水开关,出水口涌出涓涓细流,涌了一会儿便断流。
&esp;&esp;“这一招叫釜底抽薪。”沈奇用汉语说到,完事对威腾说英语:“如果锅下面的火熄灭了,那么锅中的食物无论如何也煮不熟。证明偏微分方程的无限流算法的最有效方法,应该是直接增量法,或者减量法。这需要进一步研究,但我们至少有了方向性。”
&esp;&esp;威腾眼睛一亮:“好主意,就这么办!”
&esp;&esp;四个男人在会议室中讨论了一整天,做了几个实验,最终达成一致意见,求解n-s方程的通解,首先需证明偏微分方程的无限流算法的命题正确性。证明无限流算法应从直接增量法或者减量法切入,这个证明过程将非常复杂,计算量很大。后期的误差分析将建立在巨量的数据上,普通计算机很难搞定,需要用到超算。
&esp;&esp;不管如何,方向明确了,总好过两眼一抹黑。
&esp;&esp;交流是非常重要的,有些问题需要集体讨论,取各人的学术思想亮点整合在一起,便形成强大的集体智慧。
&esp;&esp;其实威腾没来中国之前,沈奇最初构思的n-s方程的解决方案,是局部高斯积分法+多尺度增量法,这比萧俊龙戳破纸杯一个洞悟出的算法高出一个档次,却仍存在麻烦的问题,即算法的不稳定性。
&esp;&esp;沈奇也是跟威腾他们几个人聊着讨论着,悟出一招更吊的釜底抽薪。
&esp;&esp;威腾是数学算法的顶尖高手,他曾为了更好的解释弦理论,自创了一套数学算法体系,因此获得菲尔兹奖。
&esp;&esp;接下来沈奇提议,由威腾设计算法框架,周雨安、萧俊龙协助,n-s方程项目进入实质性推进阶段。
&esp;&esp;n-s方程项目算是明确了方向,奠定了主攻基调,并且由威腾带队、沈奇在幕后统筹,周雨安、萧俊龙是中心最精干的数学大将,这是一支作风优良的精锐之师。
&esp;&esp;数学大一统这个项目,威腾兴许也能帮上一点忙,但威腾这把年纪精力有限,别指望老爷子四处开花。
&es