威腾前几天来到中国,他这次回美国休息了两个多月。
入乡随俗的威腾送了一千块rb的红包,实在人。
办完满月酒,沈奇、威腾、周雨安、萧俊龙四人来到中心,商讨要事。
沈奇说到:“周雨安最近干的很漂亮,他证明了拐角原则,通过偏微分方程无限流算法,得到了关于n-s方程的一组重要数据。周雨安,你来讲讲吧。”
周雨安播放t,开始说明:“根据威腾教授的算法框架,以及沈教授的补充完善,我得到了如下推论。”
屏幕上展示出四组式子:
(1)aujat+Σukaujaxk=△uj-aaxi+fj,(t,x)∈Ω,i=1,2,3;divu=Σaukaxk=0,(t,x)∈Ω
(2)u(t,x)it=0=0
(3)u(t,x)ixk=-π=u(t,x)=π,auaxkixk=-π=auaxkixk=π,k=1,2,3,0≤t≤a
(4)∫q(t,x)dx=0,0=nst>0
“n-s方程的问题,我们转化为寻求在点x∈Ω和时刻t∈(0,a)时的速度向量和标量函数问题。”周雨安切换t到下一页。
这一页写了个推论:“推论1:对于f∈l2(Ω),如果我们找到式(1)-(4)的解,即求解出了n-s方程的广义解,这个解具有普遍意义。”
“牛逼啊老周!”萧俊龙刷的一下站了起来,周雨安最近几个月闭关不出,干了件了不得的事情。
前面的推导证明工作全部被周雨安搞定了,现在唯一的问题,也是最关键的问题,就是找到式(1)-(4)的解,证明这个推论。
“看来没我什么事了。”威腾笑着摊手道,他对周雨安作出的努力表示肯定。
沈奇说到:“所以现在我们只需要做一件事情,刚才周雨安讲的很清楚了,证明推论1,即求出式(1)-(4)的解。那么周雨安,这最后一击,还是由你来完成吧。”