克潜移默化地通过“思维共鸣”的系统功能帮助下,对n-s方程极为了解,就算及不上研究了n-s方程几十年的姜为先老院士,但也相距不远了。
而且这大半年来,两人一直都有联手进攻n-s方程的通解问题,此时不过是将取得的成果形成论文罢了。禑
宁青筠拿着可擦写笔,在两人的“小窝二号”自习室放置的大白板上边写边说:
“我们破解n-s方程通解的思路是:先假定一个初始条件范围,即光滑初值的定义域,然后求证在这个定义域内n-s方程是不是存在光滑解,如果不存在光滑解,那就可以证明不存在所谓的‘通解’,这个世纪难题直接划上句号,以后我们只能不断地扩充特定情况下的精确解(即特解了。相反,我们如果能证明在定义域内,n-s方程存在光滑解,那我们下一步的目标就是将这个定义域逐步扩大到无限制,即可证明n-s方程光滑解是整体存在的。最后一步就是将这个通解求出来。”
少女悦耳动听的嗓音在夜晚的自习室里轻轻回响着:“这大半年来,我们做的就是通过反证法,来解决第一个关键问题,即通过证明‘在我们假定的定义域内,n-s方程在足够长的时间流动演化过程中,通过流场方程的演化,产生了奇点,而且奇点是不存在变量的导数,使得奇点处的解不存在’这个命题是不成立的,进而反证出‘在我们假定的定义域内,n-s方程的光滑解是存在的’。”
虽然宁青筠说的是“我们”,其实起码三分之二的工作都是宁青筠来做的,尤其是前段时间秦克集中精力攻克计算种子学时,更是有近两个月都没怎么亲自来参与这项反证的工作了,不过他依然会抽空来关注进展,并与宁青筠讨论关键细节、提供思路,比如引导宁青筠将她的“无限流算法”改进为“三层无限流循环算法”。
“目前这项工作基本上完成了,关键的反证过程我采用了改良过的‘三层无限流循环算法’,已成功地完成了反证。这就是‘三层无限流循环算法’最关键的十几行算式。”宁青筠写出了一连串很漂亮的数学式子:
“lΔq=-1/rhs[1/Δt+β(γa+γb+γc)]Δq”
“Δq=d^(-1)uΔq+1/2[h(q)+βγcq](r-1)”禑
“pdu1/dr=pa-αp/αx+μ(δ^2u1/δx^2+δ^2u2/δy^2)”
“……”
看着写满了整块白板的娟秀字迹,秦克不由竖起了大拇指,表扬道:“不错,毫无破绽,这样我们基本上就可以确定在6%的情况下,n-s方程存在光滑解了!没想到我家老婆在不知不觉间已成长到这样的层次了。你在偏微分方程上的水平,就算及不上你的数论和代数几何方面的水平,也很接近了。”
宁青筠现在对“老婆”的称呼已点免疫了,少女嘴角儿勾起,既开心又有些不好意思道:“如果不是有你拉着我向前跑,又耐心指导我,我也不可能达到今>> --