[论文解读] Local well-posedness of the contact line problem in 2-D Stokes flow

Yunrui Zheng, Ian Tice|arXiv (Cornell University)|Sep 22, 2016

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

一句话总结

本文建立了二维接触线问题在斯托克斯流中的局部适定性，其中粘性不可压缩流体的自由表面与固体壁面在移动接触线处相接。通过几何形式化、能量估计、时间依赖的伽辽金法及压缩映射原理，作者在初始数据较小且满足杨氏条件的前提下，证明了短时间内的解的存在性、唯一性与正则性，通过纳维滑移与表面张力解决了经典的接触线奇异性问题。

ABSTRACT

We consider the evolution of contact lines for viscous fluids in a two-dimensional open-top vessel. The domain is bounded above by a free moving boundary and otherwise by the solid wall of a vessel. The dynamics of the fluid are governed by the incompressible Stokes equations under the influence of gravity, and the interface between fluid and air is under the effect of capillary forces. Here we develop a local well-posedness theory of the problem in the framework of nonlinear energy methods. We utilize several techniques, including: energy estimates of a geometric formulation of the Stokes equations, a Galerkin method with a time-dependent basis for an $ε$--perturbed linear Stokes problem in moving domains, the contraction mapping principle for the $ε$--perturbed nonlinear full contact line problem, and a continuity argument for uniform energy estimates.

研究动机与目标

• 建立二维接触线问题在粘性斯托克斯流中具有自由表面与移动接触线的局部适定性理论。
• 通过非线性能量方法引入纳维滑移与表面张力，解决经典接触线奇异性问题。
• 在初始数据较小且满足杨氏条件的前提下，证明短时间内的解的存在性、唯一性与正则性。
• 为分析具有时间依赖几何与边界条件的移动区域，建立一个分析框架。
• 将非线性能量方法扩展至包含演化区域中的几何形式化与扰动技术。

提出的方法

• 在欧拉坐标系中表述斯托克斯方程，使用几何应力张量 $ S(P,u) = P I - \mu \mathbb{D}u $，其中 $ \mathbb{D}u $ 为对称梯度。
• 通过微分同胚 $ \Phi $ 将移动区域 $ \Omega(t) $ 映射到固定参考区域 $ \Omega $，实现固定几何下的分析。
• 对移动区域中的 $ \epsilon $-扰动线性斯托克斯问题应用时间依赖的伽辽金法，使用适配于演化边界的基函数。
• 在扰动系统上应用能量估计，利用加权索伯列夫范数 $ W_{\delta}^{k} $ 与 $ \mathring{H}^{s} $ 控制边界与界面动力学。
• 对 $ \epsilon $-扰动非线性问题应用压缩映射原理，证明在小时间区间内解的存在性与唯一性。
• 采用连续性论证推导一致能量估计，确保解在初始数据较小时保持有界且正则。

实验结果

研究问题

• RQ1 在物理上合理的边界条件下，二维斯托克斯流中具有移动接触线的问题是否在短时间内存在解？
• RQ2 在非线性、移动边界设置下，是否可通过纳维滑移与表面张力解决经典的接触线奇异性问题？
• RQ3 接触线问题的解在短时间内是否唯一且足够正则？
• RQ4 非线性能量方法能否被调整以处理时间依赖区域与几何复杂的边界条件？
• RQ5 杨氏条件 $ |[\![\gamma]\!]|/\sigma < 1 $ 在确保稳态平衡的存在性与适定性方面起什么作用？

主要发现

• 作者在初始数据较小的条件下，证明了二维接触线问题在短时间区间 $ T \leq T_1 $ 内的局部适定性，包括解的存在性、唯一性与正则性。
• 解在加权索伯列夫范数下满足一致能量估计，其界依赖于扰动参数 $ \varepsilon $ 与初始数据的大小。
• 对 $ \epsilon $-扰动系统应用压缩映射原理，可在具有适当正则性的函数的完备度量空间中得到唯一解。
• 通过椭圆估计与小量假设使能量估计闭合，得出 $ \|v\|_{L^2 W_{\delta}^2}^2 + \|q\|_{L^2 \mathring{W}_{\delta}^1}^2 + \|\theta\|_{L^2 W_{\delta}^{5/2}}^2 = 0 $，表明在小量条件下扰动为零，确认了稳定性。
• 证明了微分同胚 $ \Phi $ 在 $ \|\eta\|_{W_{\delta}^{5/2}} $ 较小时为 $ C^1 $ 且可逆，确保了几何变换的有效性。
• 杨氏条件 $ |[\![\gamma]\!]|/\sigma < 1 $ 是存在光滑平衡态 $ \zeta_0 $ 的必要且充分条件，构成了整个适定性框架的基础。