[论文解读] Local well-posedness and break-down criterion of the incompressible Euler equations with free boundary

Chao Wang, Zhifei Zhang+2 more|arXiv (Cornell University)|Jul 9, 2015

Navier-Stokes equation solutions参考文献 30被引用 7

一句话总结

本文在低正则性 Sobolev 空间中建立了不可压缩 Euler 方程自由边界问题的局部适定性，其中初始速度属于 $H^{s+1/2}$，自由表面属于 $C^{3/2 + \varepsilon}$。此外，本文提出了一个类似 Beale-Kato-Majda 的破裂准则，涉及自由表面的平均曲率、速度梯度和 Taylor 正号条件，为有限时间奇性形成提供了几何与物理解释。

ABSTRACT

In this paper, we prove the local well-posedness of the free boundary problem for the incompressible Euler equations in low regularity Sobolev spaces, in which the velocity is a Lipschtiz function and the free surface belongs to $C^{\f32+\varepsilon}$. Moreover, we also present a Beale-Kato-Majda type break-down criterion of smooth solution in terms of the mean curvature of the free surface, the gradient of the velocity and Taylor sign condition.

研究动机与目标

• 在低正则性 Sobolev 空间中建立自由边界不可压缩 Euler 方程的局部适定性，特别地，要求速度属于 $H^{s+1/2}$，自由表面属于 $C^{3/2 + \varepsilon}$。
• 将经典的局部适定性框架推广至具有自由表面的旋度流，解决速度与边界几何正则性均较低的挑战。
• 以几何与物理量（如平均曲率、速度梯度和 Taylor 正号条件）的形式，提供光滑解的破裂准则。
• 回答 Craig 和 Wayne 关于解破裂机制的问题，将其与曲率爆破或几何退化联系起来。
• 将先前针对小初值与无旋流体的结果推广至正则性要求最低的旋度情形。

提出的方法

• 在 Euler 坐标系中表述自由边界 Euler 方程，假设底部平坦且无表面张力，重力取 $g=1$。
• 施加 Taylor 正号条件 $-\partial_y P|_{y=\eta} \geq c_0 > 0$ 和一致正深度条件 $1 + \eta_0 \geq h_0 > 0$，以确保结构稳定性。
• 应用拟微分算子微积分与加权 Sobolev 空间中的能量估计，以控制自由边界与速度耦合所产生的非线性项。
• 结合 Nash-Moser 型迭代格式与紧致性论证，证明在低正则性设定下解的存在性。
• 推导几何量（如平均曲率）的演化方程，并利用其构造破裂准则。
• 采用具有 $H^s$ 型范数一致估计的Bootstrap方法，以控制解及其导数随时间的增长。

实验结果

研究问题

• RQ1 在存在涡度的情况下，不可压缩 Euler 方程自由边界问题的局部适定性所需的最小正则性是什么？
• RQ2 能否建立一个类似 Beale-Kato-Majda 的破裂准则，将解的失效与平均曲率、速度梯度等几何量联系起来？
• RQ3 在低正则性初值下，Taylor 正号条件是否仍然成立？它如何影响解的存在性与稳定性？
• RQ4 解的行为如何依赖于自由表面的曲率？曲率爆破是否足以导致解的破裂？
• RQ5 解的破裂机制能否通过物理与几何量而非纯粹的分析范数来刻画？

主要发现

• 在速度与自由表面正则性要求最低的条件下，系统在空间 $C([0,T]; H^{s+1/2}(\mathbb{R}^d)) \times C([0,T]; H^{s+1/2}(\Omega_t))$ 中存在唯一局部解，其中 $s > d/2 + 1$。
• 只要初值满足 Taylor 正号条件 $-\partial_y P|_{y=\eta} \geq c_0 > 0$ 且深度保持一致为正，解即可在局部时间存在。
• 建立了破裂准则：若解保持光滑，则速度梯度与自由表面平均曲率的 $L^\infty$ 范数必须有界。
• 光滑解的破裂由自由表面平均曲率的发散或 Taylor 正号条件的失效所表征。
• 证明依赖于低正则性 Sobolev 空间中的先验估计，以及在光滑化逼近方案中取极限时的紧致性论证。
• 在解范数一致有界的条件下，通过两个解差值的能量估计与 Gronwall 型论证，建立了解的唯一性。