第(3/3)页 N-S方程项目进入了攻坚阶段,沈奇和威腾进行了分工。 威腾的思路清晰,大局观很好,但毕竟年纪大了,他对于高强度的具体计算有些吃力。 攻坚阶段繁琐复杂的推导计算由沈奇亲自操刀,威腾负责验算,挑毛病,找漏洞。 式(1)-(4)展开后,衍生出大量偏微分和常微分方程组,以及十几个需要证明的定义和引理。 为了简化计算,沈奇专门发明了一种新的工具,并和威腾探讨。 “从引理2到引理9,正常思路是,考虑u2、u3到无穷的情况,那么我们要将引理3使用无穷次,最麻烦的是非负单调增函数,这意味着我们的工作量会增加百倍以上。” “所以我发明了这个新工具,它算是一种处理方法,它是成立的,简单高效。”沈奇向威腾展示了他发明的新方法,设PN是H中的N维正交射影算子,那么对于任何x∈H,当N→∞时,PNx→x。 经过威腾验证,新工具满足P与A的可交换性,可以运用在引理2到引理9的计算证明中,以简化计算过程,提高效率。 即便简化了操作,这项工作还是持续了整个9月,沈奇并没有算出N-S方程的广义解。 不管能不能解决N-S方程,沈奇每天5点准时下班回家。 今天,沈奇逗两个月大闺女的时候,闺女笑了。 “诺菲,我知道你笑我没用,连N-S方程都解不出来,这样吧,这个方程我先不解了,留给你长大之后,你来搞定,好不好呢?”沈奇摸摸闺女的粉嫩脸蛋。 闺女继续笑,笑的流口水。 沈奇:“闺女,那你给我点提示呗?” 沈诺菲:“咯咯咯。” 沈奇相当惊喜:“诺菲笑出声了,两个月就放声大笑!” 看着沈奇这个样子,沈诺菲笑个不停,这是个特别爱笑的女婴:“略略略略略。” “略略略略略,周期边界性?”沈奇恍然大悟,女儿说周期边界性,那肯定没错! 沈奇将闺女交给欧叶:“孩子她妈,抱娃,我去去就来。” 第(3/3)页