等等……
徐辰睁开眼睛,眼中闪过一道光芒。
二维流体在光滑性上之所以如此“听话“,本质上是因为涡量的约束——它限制了非线性项的“野性“。在二维空间中,涡量作为標量满足输运方程,这意味著它在流体线元拉伸时不会產生自增殖。这种约束,如果从拓扑的角度去看,其实就是一种极其严格的守恆律。而守恆律,在现代微分几何的语言里,对应著什么?
对应著纤维丛上的示性类!
徐辰的眼神瞬间锐利起来。
没错,就是这个方向。如果將二维流体的速度场 u 看作复流形 m 上的一个联络形式 θ,那么流体的旋度(涡量)就对应著该联络的曲率形式 Θ = dθ + θ ∧ θ。在拓扑学中,曲率在流形上的积分直接关联著该纤维丛的第一陈类。
这意味著整个二维n-s方程的能量演化过程,可以被编码为某个纤维丛上示性类的几何演化。这样一来,整个问题就从“苦哈哈地用一万个不等式去证明能量不会爆炸“,转变为“证明某个代数拓扑不变量在流形映射过程中保持有界“。
这是一个从物理直觉到拓扑语言的完美转化。
……
徐辰深吸了一口气,压抑住內心的兴奋,笔尖开始在草稿纸上飞速舞动。
沙沙沙——
“设 e 是紧黎曼面 m 上的復向量丛,定义联络 θ 的曲率形式为 Θ。引入耗散项后,我们在余切丛 t*m 上构造局部坐標系……”
*d/dt ∫_m tr(Θ ∧ Θ) + ν ∫_m |dΘ|^2 = ∫_m tr(Θ ∧ [θ, Θ])
看著这一行公式,徐辰的嘴角微微上扬。
在传统的pde推导中,最难缠的就是右侧的非线性耦合项。但在微分形式的语言里,由於外代数的天然反对称性,在这个特定的二维流形拓扑结构下:
tr(Θ ∧ [θ, Θ]) ≡ 0
“归零了。”
徐辰无声地笑了起来。
不需要什么复杂的先验估计和繁琐的自举循环论证。在这个新的几何框架下,原本复杂的非线性对流项,被外代数的反对称性给“物理抹除”了!
他顺水推舟,配合几个简单的德拉姆上同调不等式,整个证明过程相当自然,很流畅地就推导到了终点。
大约两个半小时后,徐辰放下笔,看著眼前的两页草稿。
他满意地点了点头。
漂亮。
……
相比於前人充满了各种繁琐能量估计和局部化论证的经典证明方法,徐辰的这套方法相当优雅。
“不错。“徐辰靠回椅背上。“看来二维的这套思路確实可行。“
既然二维的测试如此顺利,一个想法自然而然地浮现在了他的脑海里。
“那不如直接推向三维试试?“
徐辰翻过一页新的草稿纸,信心满满地提起笔。