[论文解读] Well-posedness for the Linearized Motion of an Incompressible Liquid with Free Surface Boundary

Hans Lindblad|ArXiv.org|Dec 4, 2001

Navier-Stokes equation solutions参考文献 11被引用 4

一句话总结

该论文通过引入基于投影到无散向量场上的新型能量估计框架，建立了不可压缩无粘流体自由表面边界条件下线性化方程的适定性。关键贡献是在瑞利-泰勒稳定性条件 $ \nabla_N p \leq -c_0 < 0 $ 下，对一般非无旋流动实现了线性化运动的先验 $ H^r $-范数有界性，证明了在索伯列夫空间中局部解的存在性。

ABSTRACT

We study the problem of the motion of the free surface of a liquid. We prove existence and stability for the linearized equations.

研究动机与目标

• 在索伯列夫空间中建立不可压缩液体具有自由表面边界的线性化运动的局部适定性。
• 解决由于边界依赖于速度以及压力在决定加速度中的作用所带来的困难。
• 通过开发处理非零涡度的新框架，将存在性结果从无旋情形推广至一般情形。
• 证明瑞利-泰勒条件 $ \nabla_N p \leq -c_0 < 0 $ 是在索伯列夫范数下适定性的必要且充分条件。
• 通过投影到无散向量场上并利用内部的对称无界算子（法向算子），构造一种新型能量估计。

提出的方法

• 使用 $ L^2 $-正交投影将线性化方程投影到无散向量场空间上，从而消除有问题的压力微分项。
• 定义一个新的对称无界算子（法向算子），以捕捉线性化边界运动，将边界条件转化为内部演化方程。
• 引入一种改进的能量范数，结合标准的 $ H^r $-范数与一个半范数 $ \langle W(t)\rangle_{A,r} $，该范数等价于边界上 $ W $ 的法向分量在 $ H^r $ 中的范数。
• 利用递推不等式 (16.22) 和格朗沃尔型论证 (16.23)，推导出能量 $ C^r_{\mathcal{R}} + E^r_{\mathcal{S}} $ 的先验估计。
• 使用估计式 (16.24) 将解在 $ N^r \times H^r $ 范数下的界表示为初始数据和外力项的函数。
• 应用逼近与紧致性论证，将存在性结果从光滑数据推广至一般 $ C^{r+2} $ 数据，证明解属于 $ C([0,T], N^r \times H^r) $。

实验结果

研究问题

• RQ1 当流体具有非零涡度时，不可压缩流体具有自由表面边界的线性化运动在索伯列夫空间中是否适定？
• RQ2 瑞利-泰勒条件 $ \nabla_N p \leq -c_0 < 0 $ 是否能确保线性化方程的适定性？
• RQ3 能否为线性化系统推导出在保持方程对称性下具有鲁棒性的先验估计？
• RQ4 是否可以通过投影到无散向量场上，消除线性化方程中的压力微分项？
• RQ5 是否可以利用一个对称无界算子，将边界条件重述为内部的演化方程？

主要发现

• 在线性化方程中，当满足瑞利-泰勒条件 $ \nabla_N p \leq -c_0 < 0 $ 时，存在解 $ (W, \dot{W}) \in C([0,T], N^r(\Omega) \times H^r(\Omega)) $。
• 先验估计式 (16.24) 将解的范数以初始数据和外力的形式有界：$ \|\dot{W}(t)\|_r + \|W(t)\|_r + \langle W(t)\rangle_{A,r} \leq C( \|\dot{W}(0)\|_r + \|W(0)\|_r + \langle W(0)\rangle_{A,r} + \int_0^t \|F\|_r d\tau ) $。
• 范数 $ \|W(t)\|_r + \langle W(t)\rangle_{A,r} $ 等价于无散向量场上的一个与时间无关的索伯列夫范数。
• 半范数 $ \langle W(t)\rangle_{A,r} $ 等价于边界上 $ W $ 的法向分量在 $ H^r $ 范数，至多相差低阶项。
• 该方法通过投影和法向算子完全在内部进行处理，避免了边界约化，推广了无旋情形。
• 存在性结果对初始数据和外力属于 $ N^r \times H^r $ 成立，且解的范数由初始数据和外力在 $ L^1([0,T], H^r) $ 中的范数控制。