462章 哦原来是酱紫的月票）（2/3）

这时威腾结束了实验示范，他站了起来，对周雨安点点头说到：“我跟费加利教授讨论过偏微分方程的无限流算法，它只存在于一个极小的学术圈子中，并未公开报道。”

威腾转而望向沈奇：“奇，你应该知道这种算法，它是普林斯顿的原创。”

沈奇说到：“是的，我知道，也研究过。但问题是，偏微分方程的无限流算法跟N-S方程类似，它具备应用性，然而却从未被彻底证明其命题正确性，这也是它没有被公开报道的原因。也就是说，如果使用无限流算法去求解N-S方程，相当于用一个假设去验证另一个假设。我们现在不需要假设，我们需要的是‘欧几里得的公理’。”

欧几里得的学术贡献，在场几人倒背如流。

欧几里得用十条公理推导出23个定义、467个命题，从而构建了经典不朽的欧氏几何体系。

公理就是常识性的认知，不需要再加证明的基本命题。

建立在假设基础上的理论无法被学术界广泛认可，沈奇需要无懈可击的“公理”，凑不齐十条，哪怕能得到一条也好。

“所以，证明偏微分方程的无限流算法，是解决N-S方程的前提条件。你们同意我的观点吗？”沈奇询问众人。

威腾：“同意。”

周雨安、萧俊龙：“完全同意。”

“那你有具体思路吗？”周雨安问沈奇。

“我也来做个实验吧。”沈奇走到饮水机前，今天这场学术交流会，这台饮水机是毫无争议的主角。

“嚯！”沈奇清啸一声，直接将纯净水桶拔了出来，力拔山兮气盖世。

周雨安碉堡了，萧俊龙懵逼了，就连威腾也露出疑惑的表情。

沈奇按动出水开关，出水口涌出涓涓细流，涌了一会儿便断流。

“这一招叫釜底抽薪。”沈奇用汉语说到，完事对威腾说英语：“如果锅下面的火熄灭了，那么锅中的食物无论如何也煮不熟。证明偏微分方程的无限流算法的最有效方法，应该是直接增量法，或者减量法。这需要进一步研究，但我们至少有了方向性。”

威腾眼睛一亮：“好主意，就这么办！”

四个男人在会议室中讨论了一整天，做了几个实验，最终达成一致意见，求解N-S方程的通解，首先需证明偏微分方程的无限流算法的命题正确性。证明无限流算法应从直接增量法或者减量法切入，这个证明过程将非常复杂，计算量很大。后期的误差分析将建立在巨量的数据上，普通计算机很难搞定，需要用到超算。

不管如何，方向明确了，总好过两眼一抹黑。