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