“算法,我明白了!”萧俊龙天资聪颖,他很快从威腾的提示中悟出大道。
“萧,来吧。”威腾笑道,将纸杯递给萧俊龙。
萧俊龙施展弹指神功,在纸杯底部戳了个洞。
有些男人习惯将小拇指的指甲盖留长,比如说萧俊龙,这个习惯的养成主要是出于科研考虑,戳个纸杯什么的比较便捷。
左手按着出水开关,萧俊龙用右手拿着纸杯悬空接水。
在饮水机流体力学体系以及地球引力的双体系作用下,水柱贯穿纸杯底部的漏洞,流入饮水机的槽中。
“通过这个实验,我们观察到,水流速度保持恒定的情况下,不管我对纸杯施加怎样的附加外力从而导致它的形变,最终的结果只有一个,就是纸杯中的水将全部漏掉。”萧俊龙看着威腾,崇拜的说到:“威腾教授是真正的大师,他用最简单的实验,揭示了最难解答的问题的本质。”
威腾保持神秘微笑并不言语,沈奇问到:“所以呢,萧博士?”
萧俊龙结束简单实验,来到白板前,拿水性笔在白板上写出几行式子:“满足速度压力条件的有限元算法有很多种,通过这个实验的启迪,我们可以初步拟定,局部高斯积分算法是求解具有普适性意义N-S方程通解的有效途径。所以下一步的工作重点应该聚焦局部高斯积分算法。”
“嗯,萧博士的观点具备可行性。”周雨安也是这么认为的,只不过反应慢了一拍,让萧俊龙抢先秀了一把感知力。
沈奇不置可否,他问威腾:“你怎么看,爱德华?”
威腾来到饮水机前,蹲下,做了个出人意料的动作。
威腾歪着脖子张开嘴,嘴部对准出水口,同时用手按动出水开关。
水柱泄下,流进威腾口中。
“沃特?”周雨安傻眼了。
“这是什么操作?”萧俊龙眉头紧锁,不得其解。
“这难道是……”周雨安猛然顿悟,他因为过度激动而颤抖:“记得我在普林斯顿读博时,费加利教授有一天晚上喝多了,他跟我提起过一种不可思议的算法,偏微分方程的无限流算法!”
萧俊龙陷入沉思:“无限流?你想要知道生命的意义吗?”
周雨安:“别扯远了老萧,你根本不懂什么是无限流!一句话概括就是,求解大雷诺数N-S方程非稳定化参数的精确无限制算法!”
“真有这种算法?可这句话,貌似本身就是自相矛盾的啊!”萧俊龙半信不信的样子,他的燕大博导没教过他什么无限流算法,他听都没听过。
这时威腾结束了实验示范,他站了起来,对周雨安点点头说到:“我跟费加利教授讨论过偏微分方程的无限流算法,它只存在于一个极小的学术圈子中,并未公开报道。”
威腾转而望向沈奇:“奇,你应该知道这种算法,它是普林斯顿的原创。”
沈奇说到:“是的,我知道,也研究过。但问题是,偏微分方程的无限流算法跟N-S方程类似,它具备应用性,然而却从未被彻底证明其命题正确性,这也是它没有被公开报道的原因。也就是说,如果使用无限流算法去求解N-S方程,相当于用一个假设去验证另一个假设。我们现在不需要假设,我们需要的是‘欧几里得的公理’。”
欧几里得的学术贡献,在场几人倒背如流。
欧几里得用十条公理推导出23个定义、467个命题,从而构建了经典不朽的欧氏几何体系。
公理就是常识性的认知,不需要再加证明的基本命题。
建立在假设基础上的理论无法被学术界广泛认可,沈奇需要无懈可击的“公理”,凑不齐十条,哪怕能得到一条也好。
“所以,证明偏微分方程的无限流算法,是解决N-S方程的前提条件。你们同意我的观点吗?”沈奇询问众人。
威腾:“同意。”
周雨安、萧俊龙:“完全同意。”
“那你有具体思路吗?”周雨安问沈奇。
“我也来做个实验吧。”沈奇走到饮水机前,今天这场学术交流会,这台饮水机是毫无争议的主角。
“嚯!”沈奇清啸一声,直接将纯净水桶拔了出来,力拔山兮气盖世。
周雨安碉堡了,萧俊龙懵逼了,就连威腾也露出疑惑的表情。
沈奇按动出水开关,出水口涌出涓涓细流,涌了一会儿便断流。
“这一招叫釜底抽薪。”沈奇用汉语说到,完事对威腾说英语:“如果锅下面的火熄灭了,那么锅中的食物无论如何也煮不熟。证明偏微分方程的无限流算法的最有效方法,应该是直接增量法,或者减量法。这需要进一步研究,但我们至少有了方向性。”
威腾眼睛一亮:“好主意,就这么办!”
四个男人在会议室中讨论了一整天,做了几个实验,最终达成一致意见,求解N-S方程的通解,首先需证明偏微分方程的无限流算法的命题正确性。证明无限流算法应从直接增量法或者减量法切入,这个证明过程将非常复杂,计算量很大。后期的误差分析将建立在巨量的数据上,普通计算机很难搞定,需要用到超算。
不管如何,方向明确了,总好过两眼一抹黑。
交流是非常重要的,有些问题需要集体讨论,取各人的学术思想亮点整合在一起,便形成强大的集体智慧。
其实威腾没来中国之前,沈奇最初构思的N-S方程的解决方案,是局部高斯积分法 多尺度增量法,这比萧俊龙戳破纸杯一个洞悟出的算法高出一个档次,却仍存在麻烦的问题,即算法的不稳定性。
沈奇也是跟威腾他们几个人聊着讨论着,悟出一招更吊的釜底抽薪。
威腾是数学算法的顶尖高手,他曾为了更好的解释弦理论,自创了一套数学算法体系,因此获得菲尔兹奖。
接下来沈奇提议,由威腾设计算法框架,周雨安、萧俊龙协助,N-S方程项目进入实质性推进阶段。
N-S方程项目算是明确了方向,奠定了主攻基调,并且由威腾带队、沈奇在幕后统筹,周雨安、萧俊龙是中心最精干的数学大将,这是一支作风优良的精锐之师。
数学大一统这个项目,威腾兴许也能帮上一点忙,但威腾这把年纪精力有限,别指望老爷子四处开花。
下午四点多快五点的时候,沈奇开车来到数院门口,等欧叶下班。
“手中无大将,真强当先锋。”沈奇坐在车上感慨,数学大一统是非常难搞的,并不是说李真强的水平不行,李真强也算是一员猛将,搁三国时代李真强就相当于廖化,武力值接近80呢。
数学大一统这个项目,除了“廖化”之外,沈奇还需要至少一位武力值95以上的“五虎上将”级的超级猛将。
“毫无疑问,我老婆就是这员超级猛将。”沈奇非常了解欧叶,再过三个多月,欧叶就该生了。
怀孕和哺乳期间,欧叶是难以上阵的。
“我老婆的数论坑我先填着,填到她能正常工作了,就换她上阵。”沈奇在车里等到5点十五分,欧叶还没出来。
欧叶下班通常是很准时的,五点离开办公室,五点五分之前来到数院门口。
“不会有什么事情吧?”沈奇紧张了,这个时期的准爸爸是敏感的。
沈奇熄火下车,进入数院,轻车熟路来到欧叶的办公室门口。
“你真笨!”办公室里传来欧叶的声音。
还好还好,老婆没事,加班呢……沈奇安心了,他透过门缝看到,欧叶正在教育一个小姑娘,把人家小姑娘都教育哭了,嘤嘤嘤好可怜的样子。