安、萧俊龙四人来到心，商讨要事。
沈说到：“周雨安最近干的很漂亮，他证明了拐角原则，通过偏微分方程无限流算法，得到了关于n-s方程的一组重要数据。周雨安，你来讲讲吧。”
周雨安播放ppt，开始说明：“根据威腾教授的算法框架，以及沈教授的补充完善，我得到了如下推论。”
屏幕展示出四组式子：
（1）?uj/?t+Σuk?uj/?xk=△uj-?p/?xi+fj，（t，x）∈Ω，i=1，2，3；divu=Σ?uk/?xk=0，（t，x）∈Ω
（2）u（t，x）∣t=0=0
（3）u（t，x）∣xk=-π=u（t，x）=π，?u/?xk∣xk=-π=?u/?xk∣xk=π，k=1，2，3，0≤t≤a
（4）∫qp（t，x）dx=p0，p0=st＞0
“n-s方程的问题，我们转化为寻求在点x∈Ω和时刻t∈（0，a）时的速度向量和标量函数问题。”周雨安切换ppt到下一页。
这一页写了个推论：“推论1：对于f∈l2（Ω），如果我们找到式（1）-（4）的解，即求解出了n-s方程的广义解，这个解具