[论文解读] Unique solvability of the free-boundary Navier-Stokes equations with surface tension

Daniel Coutand, Steve Shkoller|ArXiv.org|Dec 9, 2002

Navier-Stokes equation solutions参考文献 5被引用 25

一句话总结

本文建立了具有表面张力控制的自由边界时间依赖不可压缩Navier-Stokes方程的唯一可解性。通过能量方法与拓扑不动点定理，作者证明了在自然能量空间 $ L^2(0,T; H^3_{\text{div}}(\theta(t); \mathbf{R}^3)) $ 中存在唯一解，初始速度属于 $ H^2_{\text{div}}(\theta_0; \mathbf{R}^3) $，并通过针对带有平均曲率强迫的线性化问题的新时空估计克服了导数损失问题。

ABSTRACT

We prove the existence and uniqueness of solutions to the time-dependent incompressible Navier-Stokes equations with a free-boundary governed by surface tension. The solution is found using a topological fixed-point theorem for a nonlinear iteration scheme, requiring at each step, the solution of a model linear problem consisting of the time-dependent Stokes equation with linearized mean-curvature forcing on the boundary. We use energy methods to establish new types of spacetime inequalities that allow us to find a unique weak solution to this problem. We then prove regularity of the weak solution, and establish the a priori estimates required by the nonlinear iteration process.

研究动机与目标

• 建立具有表面张力的自由边界不可压缩Navier-Stokes方程解的存在性与唯一性。
• 解决由于表面张力引起的非线性边界强迫在逐次逼近方案中导致的导数损失问题。
• 为涉及边界上平均曲率强迫的线性化问题，发展一类新的时空能量估计。
• 证明线性问题弱解的正则性，并为不动点论证推导先验估计。
• 证明解存在于自然能量空间 $ L^2(0,T; H^3_{\text{div}}) $ 中，初始数据属于 $ H^2_{\text{div}} $。

提出的方法

• 在拉格朗日坐标系下表述问题，利用体积保持变换 $ \eta(t,x) $ 将初始区域 $ \Omega_0 $ 映射到演化区域 $ \Omega(t) $。
• 围绕参考流线性化系统，得到一个时间依赖的Stokes问题，其边界上具有线性化的平均曲率强迫。
• 通过能量方法与一种新颖的能量不等式，为线性问题的弱解建立新的时空能量估计。
• 通过在 $ \mathbf{R}^3_+ $ 和 $ \Omega_0 $ 上分析问题，利用迹定理与迹逆定理，证明弱解的正则性。
• 对非线性迭代方案应用Tychonoff不动点定理，避免了Banach定理对更强条件的要求。
• 基于先验估计，采用基于拓扑不动点的论证，证明完整非线性问题解的存在性与唯一性。

实验结果

研究问题

• RQ1 在自然能量空间中，具有表面张力的自由边界Navier-Stokes方程对 $ H^2_{\text{div}} $ 初始数据是否具有唯一解？
• RQ2 能量方法如何适应处理时间依赖区域中由表面张力引起的非线性边界强迫？
• RQ3 为控制表面张力在逐次逼近中引起的导数损失，需要哪些时空估计？
• RQ4 当由于强迫项正则性不足导致Banach不动点定理失效时，Tychonoff不动点定理能否有效应用于非线性问题？
• RQ5 解的精确正则性类是什么？表面张力如何影响演化过程中的光滑化效应？

主要发现

• 作者证明了具有表面张力的自由边界Navier-Stokes方程在能量空间 $ L^2(0,T; H^3_{\text{div}}(\theta(t); \mathbb{R}^3)) $ 中存在唯一解。
• 初始速度需属于 $ H^2_{\text{div}}(\Omega_0; \mathbb{R}^3) $，该条件比Solonnikov所用的 $ H^s $（$ s\in(2,2.5) $）条件更为宽松。
• 为线性化问题推导出一类新的时空能量估计，这对控制非线性迭代过程至关重要。
• 证明了线性问题弱解的正则性，且在 $ \mathbf{R}^3_+ $ 与一般区域 $ \Omega_0 $ 上均建立了完全正则性。
• 通过反证法与小时间区间内的压缩映射论证，证明了解的唯一性，表明解映射在 $ X_T $-范数下是压缩映射。
• 该方法避免使用傅里叶-拉普拉斯变换与分数阶Sobolev空间，转而依赖能量估计与Tychonoff不动点定理。