【aw/a+(u7)w(w.7)u+v△w】
这是三维纳维—斯托克斯方程的涡量形式。
林叶的笔尖停留在右边的非线性项(ω·)u上。
这一项代表了涡旋的拉伸,正是它导致了涡量的增长,是结果可能发生爆破的罪魁祸首。
「那天我发现,当涡量ω趋于无穷大时,涡度方向ξ会倾向于与变形张量$的中间特征向量对齐。」
林叶在纸上画了一个示意图,心中默默思索着。
「如果这种对齐是严格的,那么涡旋拉伸项就会被耗竭,非线性增长就会被压制成线性的,甚至更弱。那样的话,全局正则性就证出来了。」
他在纸上写下了一行不等式推导,试图利用这种几何对齐来控制Lp范数的增长。
【∫—(R^3)ω(p—2)ωwd≤∫—(R^3)|w|^pd】
笔尖在纸上飞快地游走,一行行逻辑严密的推导如同流水般泻出。
然而,写着写着,林叶的手突然顿住了。
他在纸上画了一个大大的叉。
「不对——没这么简单。」
林叶眉头紧锁,死死盯着公式中的压力项。
在方程中,速度u和涡度ω并不是独立的,它们通过类比静磁学中的比奥—萨伐尔定律的数学关系联系在一起。
这就意味着,流体的相互作用是非定域的。
「虽然我能在局部看到几何对齐的趋势,但是——」
林叶在草稿纸的边缘写下了里斯变换几个字,并在下面重重地划了两道横线。
「里斯变换是一个奇异积分算子,它是非定域的,这意味着,这里的几何结构,会受到无限远处流场的影响。」
「这就导致了一个悖论:我试图用局部的几何对齐来控制涡量的增长,但控制速度u
的压力场却是由全空间的涡量分布决定的。」
「局部的几何约束,能不能压得住非定域的积分发散?」
林叶手中的笔悬在半空,迟迟落不下去。
他发现自己陷入了一个死循环之中。
要证明不爆破,需要证明几何对齐;要证明几何对齐,需要知道速度场的梯度性质;
而速度场的梯度性质,又反过来依赖于涡量是否爆破。
「这完全就是一个逻辑闭环————根本找不到下手的地方嘛————」
林叶看着纸上那个未完成的证明,眼中闪过一丝困惑。
他原本以为只要抓住了那个几何对齐的现象就能顺藤摸瓜,就像是他前面几次解决问题,都是抓住了一个关键之后,然后就能够从这个关键发现缺口,从而实现问题的突破甚至是解决。
但现在看来,纳维—斯托克斯方程的本身,远比他想像的要狡猾,它就像一个滑不溜的泥鳅,每当你以为抓住了它的七寸,它就会利用非定域性从你指缝里溜走。
「不愧是纳维—斯托克斯方程啊————难怪能够难住整个数学界————」
林叶在心中长叹,表示自己算是见识到了什么叫做世界级的难题了。
"