为了简化计算,沈专门发明了一种新的工具,并和威腾探讨。
“从引理2到引理9,正常思路是,考虑u2、u3到无穷的情况,那么我们要将引理3使用无穷次,最麻烦的是非负单调增函数,这意味着我们的工作量会增加百倍以。”
“所以我发明了这个新工具,它算是一种处理方法,它是成立的,简单高效。”沈向威腾展示了他发明的新方法,设pn是h的n维正jiāoshè影算子,那么对于任何x∈h,当n→∞时,pnx→x。
经过威腾验证,新工具满足p与a的可jiāo换xing,可以运用在引理2到引理9的计算证明,以简化计算过程,提高效率。
即便简化了cāo作,这项工作还是持续了整个9月,沈并没有算出n-s方程的广义解。
不管能不能解决n-s方程,沈每天5点准时下班回家。
今天,沈逗两个月大闺女的时候,闺女笑了。
“诺菲,我知道你笑我没用,连n-s方程都解不出来,这样吧,这个方程我先不解了,留给你长大之后,你来搞定,好不好呢?”沈摸摸闺女的粉嫩脸蛋。
闺女继续笑,笑的流口水。
沈:“闺女,那你给我点提示呗?”
沈诺菲:“咯咯咯。”
沈相当惊喜:“诺菲笑出声了,两个月放声大笑!”
看着沈这个样子,沈诺菲笑个不停,这是个特别爱笑的女婴:“略略略略略。”
“略略略略略,周期边界xing?”沈恍然大悟,女儿说周期边界xing,那肯定没错!
沈将闺女jiāo给欧叶:“孩子她妈,抱娃,我去去来。”
478章 上超算
沈来到书房,铺开纸卷,开始推导计算。
n-s方程的问题即描述不可压缩流体动力学的问题,这个问题涉及不可压缩黏xing流体的n-s方程解的存在xing和光滑xing。
n-s方程项目组已经把前面的论述做完了,现在只差最后一步,找到不可压缩黏xing流体的n-s方程解的存在xing和光滑xing的完整解。
沈认为四个关键式子,式(1)是最重要的一把钥匙,所以周雨安将其列为式(1),放在最前面。
面对困扰了人们多年的千禧难题n-s方程,周雨安能做到这一步,体现出了巨大的学术进步和较高的数学水平。
最后一击jiāo到了沈手,他做出一项新的计算,对式(1)补充边界条件,即对空间坐标给出周期xing边界条件和初始条件。
“一点点,还差一点点。”
思路越来越清晰,难题的伪装被沈一层层剥去,最后一层面纱包覆在最终答案,揭开它,破解它。
经过沈完善,式(1)到(3)确定了初始条件和边界条件,唯一还不能确定的是压强p(t,x)。
好几年的酝酿,一年来的不断探讨、具体执行,最近一个月的集火攻坚,n-s方程项目推进到此刻,压强无法阻挡沈前进的步伐。
沈得到一组希尔伯特空间的向量函数f(t,x)=(f1(t,x),f2(t,x),f3(t,x))∈r3,他一鼓作气,算出了欧氏空间的标量积,以及最重要的一个范数。
n-s方程的最后一层神秘面纱于今夜被揭开,在沈的书房。
沈在纸写出一个式子,这是整个项目的最后一个式子,相对于前面长篇累牍的偏微分方程组,最终的结论并不算太复杂:
Σ(iiuk(t,?)ii2l2(Ω)+∫iigraduk(η,?)ii2l2(q)dη)≤Σ∫iifk(η,?)ii2l2(q)dη
“是的,这是n-s方程具有普遍意义的通解,我终于找到你了!”沈握紧拳头挥动两下,他冲出书房,想要亲亲闺女和老婆。
“算了,天亮再亲吧。”沈看到墙的挂钟,现在是凌晨2点,老婆和闺女已经睡了。
沈回到书房,验证了一遍,这个通解满足式(1)-(4),它是毫无疑问的正确答案。
沈整理完手稿,一轮朝阳升起。
“你熬了一通宵?”欧叶起床了,娃还没睡醒。
“n-s方程搞定了,今后能让我熬夜的项目不多了。”沈坐餐桌,和欧叶共进早餐。
“搞定了,太好了,给我瞅瞅呗。”欧叶很振奋,她天天喂nǎi