经过沈奇完善,式(1)到(3)确定了初始条件和边界条件,唯一还不能确定的是压强(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-s方程的解决,对于欧叶来说也相当于一剂兴奋剂。
沈奇将n-s方程的手稿呈递给老婆:“我整理过了,不过还是有点乱,这是初版,请欧博士过目、斧正。”
欧叶不看前面无比复杂的推导计算和论述,她直接翻到后面的结论页,盯着n-s方程的通解,眼睛也不眨:“就这个呀?”