简短的开场白结束，幕布上的t翻开了下一页。

而报告会，也进入到了正题之中。

用三秒钟的时间，陆舟在大脑中迅速整理了一遍发言的思路。紧接着他面对着全场观众，用一分钟的时间对自己的证明思路做了一个简单的综述。

台下听众鸦雀无声。

所有人都凝视着幕布上的图片和算式，所有人都在仔细地听着，不愿意放过任何一个细节，不愿意错过任何一个瞬间。

【μ（t）=e（t△）·μ0+∫e（t—t'）△b（μ（t‘），μ（t'））dt'】

【……】

“当我们对方程给定一个施瓦茨无散度向量场μ0，设置时间间隔ic【0，﹢∞），进而可以继续定义navier—stokes方程的一个广义解h10为一个服从积分方程μ（t）的连续映射，即μ→h10df（r3）……”

幕布中的t一边放映着，手中握着激光笔的陆舟，一边用均匀的语速在旁边解说着。

前面的部分没什么需要特别说明的。

不少关于ns方程研究的论文中，都能看到类似的东西。

无论是采用抽象证明方法构造抽象的双线性算子b'，还是他采用的“l流形”方法，这一部分都是必不可少的。

然而接下来的部分，便是整个证明思路中的关键！

他会将微分流形的概念，引入到偏微分方程的问题之中。

而这，也正是“运用拓扑方法研究偏微分方程”理论的核心所在！

……