第(2/3)页 这时威腾结束了实验示范,他站了起来,对周雨安点点头说到:“我跟费加利教授讨论过偏微分方程的无限流算法,它只存在于一个极小的学术圈子中,并未公开报道。” 威腾转而望向沈奇:“奇,你应该知道这种算法,它是普林斯顿的原创。” 沈奇说到:“是的,我知道,也研究过。但问题是,偏微分方程的无限流算法跟N-S方程类似,它具备应用性,然而却从未被彻底证明其命题正确性,这也是它没有被公开报道的原因。也就是说,如果使用无限流算法去求解N-S方程,相当于用一个假设去验证另一个假设。我们现在不需要假设,我们需要的是‘欧几里得的公理’。” 欧几里得的学术贡献,在场几人倒背如流。 欧几里得用十条公理推导出23个定义、467个命题,从而构建了经典不朽的欧氏几何体系。 公理就是常识性的认知,不需要再加证明的基本命题。 建立在假设基础上的理论无法被学术界广泛认可,沈奇需要无懈可击的“公理”,凑不齐十条,哪怕能得到一条也好。 “所以,证明偏微分方程的无限流算法,是解决N-S方程的前提条件。你们同意我的观点吗?”沈奇询问众人。 威腾:“同意。” 周雨安、萧俊龙:“完全同意。” “那你有具体思路吗?”周雨安问沈奇。 “我也来做个实验吧。”沈奇走到饮水机前,今天这场学术交流会,这台饮水机是毫无争议的主角。 “嚯!”沈奇清啸一声,直接将纯净水桶拔了出来,力拔山兮气盖世。 周雨安碉堡了,萧俊龙懵逼了,就连威腾也露出疑惑的表情。 沈奇按动出水开关,出水口涌出涓涓细流,涌了一会儿便断流。 “这一招叫釜底抽薪。”沈奇用汉语说到,完事对威腾说英语:“如果锅下面的火熄灭了,那么锅中的食物无论如何也煮不熟。证明偏微分方程的无限流算法的最有效方法,应该是直接增量法,或者减量法。这需要进一步研究,但我们至少有了方向性。” 威腾眼睛一亮:“好主意,就这么办!” 四个男人在会议室中讨论了一整天,做了几个实验,最终达成一致意见,求解N-S方程的通解,首先需证明偏微分方程的无限流算法的命题正确性。证明无限流算法应从直接增量法或者减量法切入,这个证明过程将非常复杂,计算量很大。后期的误差分析将建立在巨量的数据上,普通计算机很难搞定,需要用到超算。 不管如何,方向明确了,总好过两眼一抹黑。 交流是非常重要的,有些问题需要集体讨论,取各人的学术思想亮点整合在一起,便形成强大的集体智慧。 第(2/3)页