[论文解读] Groups of diffeomorphisms for manifolds with boundary and hydrodynamics

Steve Shkoller|arXiv (Cornell University)|Aug 19, 1999

Geometric Analysis and Curvature Flows参考文献 17被引用 3

一句话总结

该论文通过在体积保持微分同胚群的子群上引入一种新的弱右不变度量，证明了紧致黎曼流形带边界的不可压缩平均化欧拉方程光滑解的存在性与唯一性。它证明了在 s > n/2 + 2 时，光滑粘性极限和 H^s 拓扑下的连续弱曲率，表明新度量通过改变截面曲率的符号，稳定了欧拉流。

ABSTRACT

This paper is devoted to the geometric analysis of the incompressible averaged Euler equations on compact Riemannian manifolds with boundary. The equation also coincides with the model for a second-grade non-Newtonian fluid. We study the analytical and geometrical properties of the Lagrangian flow map. We prove existence and uniqueness of smooth-in-time solutions for initial data in $H^s$, $s > n/2 +1$ by establishing the existence of smooth geodesics of a new weak right invariant metric on new subgroups of the volume-preserving diffeomorphism group. We establish smooth limits of zero viscosity for the second-grade fluids equations even on manifolds with boundary. We prove that the weak curvature operator of the weak invariant metric is continuous in the $H^s$ topology for $s> n/2+2$, thus proving existence and uniqueness for the Jacobi equation. We show that this new metric stabilizes the Lagrangian flow of the original Euler equations by changing the sign of the sectional curvature.

研究动机与目标

• 分析紧致黎曼流形带边界的不可压缩平均化欧拉方程的几何与分析结构。
• 为 s > n/2 + 1 的 H^s 初始数据建立时间光滑解的存在性与唯一性。
• 在体积保持微分同胚群子群上新引入的弱右不变度量下，证明光滑测地线的存在性。
• 证明在带边界的流形上，二阶流体方程的零粘性极限是光滑的。
• 展示在 s > n/2 + 2 的 H^s 拓扑下弱曲率算子的连续性及其对雅可比方程的影响。

提出的方法

• 在体积保持微分同胚群的子群上引入一种新的弱右不变度量，以建模平均化欧拉方程。
• 应用几何分析技术，研究拉格朗日流映射作为新度量下的测地线。
• 通过在 s > n/2 + 1 的 H^s 空间中构造光滑测地线，建立光滑解的存在性与唯一性。
• 证明在 s > n/2 + 2 的 H^s 拓扑下弱曲率算子的连续性，从而支持雅可比方程的分析。
• 分析新度量下截面曲率的符号，证明其可稳定原始欧拉流。
• 利用二阶非牛顿流体方程的框架作为物理解释，以支持几何构造的合理性。

实验结果

研究问题

• RQ1 在新的几何结构下，紧致黎曼流形带边界的不可压缩平均化欧拉方程是否可能存在光滑解？
• RQ2 新弱右不变度量如何影响欧拉方程中拉格朗日流的稳定性？
• RQ3 在 Sobolev 空间 H^s（s > n/2 + 2）中，新度量的弱曲率算子的正则性如何？
• RQ4 当粘性趋于零时，二阶流体方程的解在带边界的流形上是否光滑收敛至欧拉方程？
• RQ5 新度量能否改变截面曲率的符号，从而稳定原始欧拉方程的动力学？

主要发现

• 对于 s > n/2 + 1 的 H^s 初始数据，光滑解存在且唯一，这是通过新弱右不变度量下的光滑测地线建立的。
• 新度量的弱曲率算子在 s > n/2 + 2 的 H^s 拓扑下是连续的，从而确保了雅可比方程的适定性。
• 在带边界的流形上，二阶流体方程的零粘性极限被确立，证实了其收敛至平均化欧拉方程。
• 新度量通过改变截面曲率的符号，稳定了原始欧拉方程的拉格朗日流。
• 该几何框架为二阶非牛顿流体提供了一致的模型，并将不可压缩流的分析拓展至带边界的流形。