但前中后篇里都没有求出n-s方程通解的方法,秦克猜测很可能是在完结篇里。
不过无所谓了,花了近四年时间,陆续将这份s级知识的前篇、中篇、后篇研究得清清楚楚的秦克,论起对n-s方程的了解,天下已无出其右者。
宁青筠也在秦克潜移默化地通过“思维共鸣”的系统功能帮助下,对n-s方程极为了解,就算及不上研究了n-s方程几十年的姜为先老院士,但也相距不远了。
而且这大半年来,两人一直都有联手进攻n-s方程的通解问题,此时不过是将取得的成果形成论文罢了。
宁青筠拿着可擦写笔,在两人的“小窝二号”自习室放置的大白板上边写边说:
“我们破解n-s方程通解的思路是:先假定一个初始条件范围,即光滑初值的定义域,然后求证在这个定义域内n-s方程是不是存在光滑解,如果不存在光滑解,那就可以证明不存在所谓的‘通解’,这个世纪难题直接划上句号,以后我们只能不断地扩充特定情况下的精确解(即特解)了。相反,我们如果能证明在定义域内,n-s方程存在光滑解,那我们下一步的目标就是将这个定义域逐步扩大到无限制,即可证明n-s方程光滑解是整体存在的。最后一步就是将这个通解求出来。”
少女悦耳动听的嗓音在夜晚的自习室里轻轻回响着:“这大半年来,我们做的就是通过反证法,来解决第一个关键问题,即通过证明‘在我们假定的定义域内,n-s方程在足够长的时间流动演化过程中,通过流场方程的演化,产生了奇点,而且奇点是不存在变量的导数,使得奇点处的解不存在’这个命题是不成立的,进而反证出‘在我们假定的定义域内,n-s方程的光滑解是存在的’。”
虽然宁青筠说的是“我们”,其实起码三分之二的工作都是宁青筠来做的,尤其是前段时间秦克集中精力攻克计算种子学时,更是有近两个月都没怎么亲自来参与这项反证的工作了,不过他依然会抽空来关注进展,并与宁青筠讨论关键细节、提供思路,比如引导宁青筠将她的“无限流算法”改进为“三层无限流循环算法”。
“目前这项工作基本上完成了,关键的反证过程我采用了改良过的‘三层无限流循环算法’,已成功地完成了反证。这就是‘三层无限流循环算法’最关键的十几行算式。”宁青筠写出了一连串很漂亮的数学式子:
“lΔq=-1/wrhs[1/wΔt+β(γa+γb+γc)]Δq”