而且这大半年来，两人一直都有联手进攻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”

】

“Δq=d^(-1)uΔq+1/2[h(q)+βγcq](r-1)”

“pdu1/dr=pa-αp/αx+μ(δ^2u1/δx^2+δ^2u2/δy^2)”

“……”

看着写满了整块白板的娟秀字迹，秦克不由竖起了大拇指，表扬道：“不错，毫无破绽，这样我们基本上就可以确定在60%的情况下，n-s方程存在光滑解了！没想到我家老婆在不知不觉间已成长到这样的层次了。你在偏微分方程上的水平，就算及不上你的数论和代数几何方面的水平，也很接近了。”

宁青筠现在对“老婆”的称呼已点免疫了，少女嘴角儿勾起，既开心又有些不好意思道：“如果不是有你拉着我向前跑，又耐心指导我，我也不可能达到今天这样的水平。”