休息区的角落里，灯光昏黄而静谧。

林叶手中的笔没有停。

随着最后一个不等式的推导完成，他的笔尖重重地在纸上画了一个圈。

【∫^T_0∫_Ω|ω(x，t)|?|1?cos(2θ(x，t))|dxdt<∞】

“果然……”林叶看着这个初步得出的几何约束形式，眼中闪烁着难以抑制的兴奋。

推导结果显示，只要涡度矢量ω与变形张量的第二主轴之间的夹角θ满足某种特定的统计规律，即这种非线性耗竭在时空积分意义上是存在的。

那么，纳维-斯托克斯方程的解在有限时间内就不会发生爆破。

而如果证明了这一步意味着什么呢？

这就意味着，“有条件的全局正则性……”

林叶在心中默默念出了这个词。

在数学界，关于NS方程的研究可以分为两类。

一类是像勒雷那样证明弱解的存在，另一类则是寻找解保持光滑的条件。

著名的BKM判据告诉人们，只要涡量的大小不无限增长，解就是光滑的。

而stantin-Fefferman定理则引入了涡量方向的几何约束。

但林叶此刻推导出的这个不等式，比前人的结果都要更加深刻、更加本质。

他证明了，只要流体内部的涡旋结构不发生某种极其特定、极其病态的几何死结，即涡度矢量持续且顽固地对齐于最大拉伸方向，那么能量的级联过程就会被自然截断，流体将永远保持光滑，不会发生爆破。

当然，他的这一步证明，只是说明存在这样的一个情况，那个【某种极其特定、极其病态的几何死结】，还不知道是什么样的几何死结，因此，他接下来要做的，就是将这个几何死结给找出来。

这一步就十分麻烦了，不夸张地说，恐怕还有还有十万八千里的距离，需要引入极其复杂的几何测度论工具去处理那个统计规律，但是能够推导出这一步关系，已经是非常不可思议的一项成果了。

总而言之，方向是对的。

那个在反演算法中困扰他的截断问题，并不是工程上的权宜之计，而是通往数学真理的一扇暗门。

“呼……”

林叶长长地吐出一口浊气，那种高强度脑力激荡后的虚脱感与满足感同时涌上心头。

他放下笔，揉了揉有些发酸的脖子，这才感觉到周围的安静得有些过分。

他猛然间就想了起来，自己好像既不是在宿舍，也不是在工位，而是在饭店参加庆功宴啊！

“现在几点了？”

他下意识地从口袋里掏出手机，按亮屏幕。

【19:48】

“卧槽！”

林叶心里咯噔一下。

他从包间出来的时候大概是七点十几分的样子，这也就意味着，他竟然在这个角落里不知不觉坐了半个多小时！

屏幕上还显示着两个未接来电，备注全是【冯致远院长】。

“完了完了，这下真成掉进厕所了。”

林叶一阵紧张，正准备拿起手机回拨过去，顺便编个理由解释一下自己为什么在卫生间待了这么久。

然而，就在他刚刚站起身，抓起桌上的草稿纸准备塞进口袋时，一道温和却带着一丝复杂情绪的声音从不远处的阴影里传来。

“不用打电话了，我们就在这儿。”

林叶吓了一跳，猛地抬头。

只见冯致远、梁兴华和李卫国三人，正站在离他不到五米的地方，静静地看着他。