[论文解读] K"ahler Geometry and the Navier-Stokes Equations

Ian Roulstone, Bertrand Banos+2 more|arXiv (Cornell University)|Sep 9, 2005

Geometry and complex manifolds参考文献 13被引用 3

一句话总结

该论文通过证明不可压缩性约束将压力泊松方程简化为蒙日-安培方程，建立了一个将不可压缩纳维-斯托克斯流与凯勒及广义卡拉比-丘几何联系起来的几何框架。在二维和二维半维情况下，相空间上出现凯勒结构；在三维情况下，当压力的拉普拉斯算子为负时，会涌现出卡拉比-丘结构，表明湍流涡旋动力学可能受复几何原理支配。

ABSTRACT

We study the Navier-Stokes and Euler equations of incompressible hydrodynamics in two and three spatial dimensions and show how the constraint of incompressiblility leads to equations of Monge--Ampère type for the stream function, when the Laplacian of the pressure is known. In two dimensions a Kähler geometry is described, which is associated with the Monge--Ampère problem. This Kähler structure is then generalised to `two-and-a-half dimensional' flows, of which Burgers' vortex is one example. In three dimensions, we show how a generalized Calabi--Yau structure emerges in a special case.

研究动机与目标

• 探究为何在不可压缩纳维-斯托克斯湍流中，细长的涡旋结构（纤维和片层）占主导地位。
• 探讨不可压缩性约束对流体动力学的几何影响。
• 建立纳维-斯托克斯方程与凯勒和卡拉比-丘流形等复几何之间的对应关系。
• 证明在不可压缩条件下，蒙日-安培方程自然地从压力-泊松方程中导出。
• 表明当∇²P < 0时，三维流动中会涌现出广义卡拉比-丘结构。

提出的方法

• 利用无散条件∇·u = 0，从不可压缩纳维-斯托克斯方程推导出压力泊松方程。
• 在二维和二维半维情况下引入流函数ψ，将系统简化为形如△ω = 0的蒙日-安培方程。
• 利用流函数的海色矩阵和标准辛形式Ω，在余切丛T*ℝⁿ上构造一个辛结构与度量结构。
• 定义有效形式ω₀ = ω − ½(⊥ω) ∧ Ω，以提取几何不变量，如Lychagin–Roubtsov度量Q、Hitchin张量K和Pfaffian λ。
• 利用λ = 128∇²P的符号判断是否可定义几乎复结构J = K/√|λ|，当∇²P < 0时，该结构实现卡拉比-丘几何。
• 分析复结构J的可积性条件，表明当∇²P为常数时，J是可积的。

实验结果

研究问题

• RQ1 不可压缩性约束如何导致流函数的蒙日-安培方程？
• RQ2 在二维和二维半维不可压缩流动中，会涌现出何种凯勒型几何结构？
• RQ3 在特定条件下，三维纳维-斯托克斯方程是否可与广义卡拉比-丘几何相关联？
• RQ4 由压力拉普拉斯算子导出的几何结构在何种条件下可容纳可积的几乎复结构？
• RQ5 Lychagin–Roubtsov度量和Hitchin不变量在表征流动几何性质方面起什么作用？

主要发现

• 不可压缩性条件∇·u = 0导出压力泊松方程−∇²P = uᵢ,ⱼuⱼ,ᵢ，结合流函数后，可得到实型蒙日-安培方程。
• 在二维和二维半维情况下，蒙日-安培方程对应于相空间上的凯勒几何，其势函数为Φ，辛结构由ψ的海色矩阵导出。
• 对于选择向量势A = (−ψ, −ψ, −ψ)的三维流动，压力拉普拉斯算子∇²P决定了Hitchin Pfaffian λ的符号，其中λ = 128∇²P。
• 当∇²P < 0时，张量J = K/√|λ|定义了一个可积的几乎复结构，且对偶对(Q, J)实现广义卡拉比-丘几何。
• Lychagin–Roubtsov度量Q与Hitchin张量K被显式计算，表明该几何完全由压力海色矩阵及其符号决定。
• 复结构J可积当且仅当∇²P为常数，表明此类流动具有最大几何对称性。