478章 上超算
沈来到书房，铺开纸卷，开始推导计算。
n-s方程的问题即描述不可压缩流体动力学的问题，这个问题涉及不可压缩黏性流体的n-s方程解的存在性和光滑性。
n-s方程项目组已经把前面的论述做完了，现在只差最后一步，找到不可压缩黏性流体的n-s方程解的存在性和光滑性的完整解。
沈认为四个关键式子，式（1）是最重要的一把钥匙，所以周雨安将其列为式（1），放在最前面。
面对困扰了人们多年的千禧难题n-s方程，周雨安能做到这一步，体现出了巨大的学术进步和较高的数学水平。
最后一击交到了沈手，他做出一项新的计算，对式（1）补充边界条件，即对空间坐标给出周期性边界条件和初始条件。
“一点点，还差一点点。”
思路越来越清晰，难题的伪装被沈一层层剥去，最后一层面纱包覆在最终答案，揭开它，破解它。
经过沈完善，式（1）到（3）确定了初始条件和边界条件，唯一还不能确定的是压强p（t，x）。
好几年的酝酿，一年来的不断探讨、具体执行，最近一个月的集火攻坚，n-s方程项目推进到此刻，压强无法阻挡沈前进的步伐。
沈得到一组希尔伯特空间的向量函数f（t，x）=（f1（t，x），f2（t，x），f3（t，x））∈r3，他一鼓作气，算出了欧氏空间的标量积，以及最重要的一个范数。
n-s方程的最后一层神秘面纱于今夜被揭开，在沈的书房。
沈在纸写出一个式子，这是整个项目的最后一个式子，相对于前面长篇累牍的偏微分方程组，最终的结论并不算太复杂：
Σ（∣∣uk（t，?）∣∣2l2（Ω）+∫∣∣graduk（η，?）∣∣2l2（q）dη）≤Σ∫∣∣fk（η，?）∣∣2l2（q）dη
“是的，这是n-s方程具有普遍意义的通解，我终于找到你了！”沈握紧拳头挥动两下，他冲出书房，想要亲亲闺女和老婆。
“算了，天亮再亲吧。”沈看到墙的挂钟，现在是凌晨2点，老婆和闺女已经睡了。
沈回到书房，验证了一遍，这个通解满足式（1）-（4），它是毫无疑问的正确答案。
沈整理完手稿，一轮朝阳升起。
“你熬了一通宵？”欧叶起床了，娃还没睡醒。
“n-s方程搞定了，今后能让我熬夜的项目不多了。”沈坐餐桌，和欧叶共进早餐。
“搞定了，太好了，给我瞅瞅呗。”欧叶很振奋，她天天喂奶，在家坐月子，奶妈当久了其实也很无聊。
虽然专业不对口，但n-s方程的解决，对于欧叶来说也相当于一剂兴奋剂。
沈将n-s方程的手稿呈递给老婆：“我整理过了，不过还是有点乱，这是初版，请欧博士过目、斧正。”
欧叶不看前面无复杂的推导计算和论述，她直接翻到后面的结论页，盯着n-s方程的通解，眼睛也不眨：“这个呀？”
“对，这玩意。”沈点点头，喝杯咖啡提神。
短时间内欧叶难以吃透沈的手稿，她的直觉告诉她，老公又做了一件超级牛的事情：“祝贺你老公，但你还是要注意身体，别熬夜。”
“老婆最棒了。”沈亲了欧叶一口，忽然心血来潮，将手稿的最后一页，也是写着n-s方程通解的这页抽出来，拿笔在纸写到：爱女沈诺菲64天，其父破纳维-斯托克斯方程，其母首验通过。
“你留纪念呢！”欧叶噗的一声笑了，说到：“诺菲其母因专业不对口，笑而不语，是打酱油的。”
沈把手稿交给欧叶：“最后一页是最重要的结论页，这页手稿是我状态最神勇时写下的第一版手稿，请诺菲母后保存此页，今后交于诺菲，代代相传。”
欧叶接过手稿：“等会儿我让翠萍姐，拿出去裱起来。”
沈搂着老婆哈哈大笑：“如此甚好！”
来到心，沈重新写了最后一页，将200多页的手稿扫描为pdf格式，随后召集威腾、周雨安、萧俊龙开会。
“通解我已经算出来了，接下来请三位分别验证，等你们的消息哦。”熬了一宿的沈靠咖啡因强行提神，看去神采奕奕，实际他已经很疲惫了。
“大佬果然是大佬啊！”萧俊龙激动的跳了起来，威腾、周雨安同样振奋。
威腾等三人每人找一个安静独立的空间，各自验证n-s方程破解方案。
沈在心补觉，一觉醒来，满血复活。
人工验证不是一两天能搞定的，在人工验证的同时，沈开始联系燕大超算心，预约深腾x8810的使用权。
深腾系列超算是同一家国公司研发制造的，燕大几年前购买了当时最新的超算深腾x8810，命名为“未名一号”，经过几年的运行、摸索，“未名一号”趋于成熟稳定，排名全球超算top20之内。
人工验证主要是从逻辑思路进行正向逆向的推导、核查，海量的数据处理和预测，没有一个人类可以搞定，沈也搞不定，必须使用超算。
燕大超算心主任听说沈想使用“未名一号”验证n-s方程，他绝对支持，为沈预留了使用时间。
威腾、周雨安、萧俊龙三人非常熟悉这套n-s方程破解方案，其很多工作是他们完成的。
即便如此，最先完che:n-g人工手动验证的威腾，还是花费了一个多礼拜的时间。
“哇喔，完美，，看来我们真的解决了n-s方程，至少逻辑没有问题。”威腾和沈握手、拥抱，两位菲奖得主联手完成了一个课题。
过了几天，周雨安、萧俊龙完che:n-g人工验证，没问题，超算吧！
燕大超算心迎来了由沈、威腾领衔的n-s方程项目组。
“未名一号”已经启动，燕大超算心的研究员们摩拳擦掌做好了一切准备，等沈教授一声令下开启运算程序。