亲,双击屏幕即可自动滚动
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))∈r^3,他一鼓作气,算出了欧氏空间的标量积,以及最重要的一个范数。

    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方程破解方案,其中很多工作就是他们完成的。

    即便如此,最先完成人工手动验证的威腾,还是花费了一个多礼拜的时间。

    “哇喔,完美,奇,看来我们真的解决了n-s方程,至少逻辑上没有问题。”威腾和沈奇握手、拥抱,两位菲奖得主联手完成了一个课题。

    过了几天,周雨安、萧俊龙完成人工验证,没问题,上超算吧!

    燕大超算中心迎来了由沈奇、威腾领衔的n-s方程项目组。

    “未名一号”已经启动,燕大超算中心的研究员们摩拳擦掌做好了一切准备,就等沈教授一声令下开启运算程序。