不过费弗曼教授再次基础上,做了更进一步的研究。
“给定一个施瓦茨无散度向量场μ0,时间间隔i?【0,﹢∞),我继续们定义navier-okes方程的一个广义解)的连续映射μ→)……”
【μ(t)=e^(t△)·μ0+∫e^(t-t)△b(μ(t‘),μ(t))dt】
【……】
办公室里另外两名博士生一脸懵逼的看了眼黑板上密密麻麻的算式,又一脸懵逼地低下了头,继续搞自己地事情去了。
大佬们讨论学术问题。
惹不起,惹不起……
终于写完了最后一行算式,费弗曼收回了手中的粉笔,看向了旁边的陆舟。
“你怎么看?”
盯着黑板凝视了一会儿,陆舟开口道。
“你构造了一个类似于方程的偏微分方程?”
“没错,”费弗曼教授用轻松的语气说道,“构造一个抽象的双线性算子b,这类双线性算子与μ(t)中欧拉线性算子b具有类似的非线性结构,但同时它又区别于b。”
“如果我们证明这个更强的结论成立……”
费弗曼教授笑着点了点头:“我们就能间接证明,原结论同样成立!”