两位大佬对视一眼，那行吧，开干。
n-s方程项目进入了攻坚阶段，沈和威腾进行了分工。
威腾的思路清晰，大局观很好，但毕竟年纪大了，他对于高强度的具体计算有些吃力。
攻坚阶段繁琐复杂的推导计算由沈亲自操刀，威腾负责验算，挑毛病，找漏洞。
式（1）-（4）展开后，衍生出大量偏微分和常微分方程组，以及十几个需要证明的定义和引理。
为了简化计算，沈专门发明了一种新的工具，并和威腾探讨。
“从引理2到引理9，正常思路是，考虑u2、u3到无穷的情况，那么我们要将引理3使用无穷次，最麻烦的是非负单调增函数，这意味着我们的工作量会增加百倍以。”
“所以我发明了这个新工具，它算是一种处理方法，它是成立的，简单高效。”沈向威腾展示了他发明的新方法，设pn是h的n维正交射影算子，那么对于任何x∈h，当n→∞时，pnx→x。
经过威腾验证，新工具满足p与a的可交换性，可以运用在引理2到引理9的计算证明，以简化计算过程，提高效率。
即便简化了操作，这项工作还是持续了整个9月，沈并没有算出n-s方程的广义解