[论文解读] Very weak solutions of the Stokes problem in a convex polygon

Makram Hamouda, Roger Témam+1 more|arXiv (Cornell University)|Dec 2, 2015

Advanced Mathematical Modeling in Engineering参考文献 17被引用 3

一句话总结

本文在二维凸多边形区域中建立了稳态与演化 Stokes 问题的极弱解的存在性与唯一性，证明了对于满足无散度条件的任意 $L^2$ 边界数据，$L^2(\Omega)^2$ 中的解存在。关键贡献在于建立了 $L^2$ 速度场的迹定理，并利用对偶方法在低正则性设定下定义和刻画边界条件。

ABSTRACT

Motivated by the study of the corner singularities in the so-called cavity flow, we establish in this article, the existence and uniqueness of solutions in $L^2(Ω)^2$ for the Stokes problem in a domain $Ω,$ when $Ω$ is a smooth domain or a convex polygon. We establish also a trace theorem and show that the trace of $u$ can be arbitrary in $L^2(\partialΩ)^2.$ The results are also extended to the linear evolution Stokes problem.

研究动机与目标

• 在凸多边形区域中，建立稳态 Stokes 问题的极弱解的存在性与唯一性。
• 发展满足 Stokes 方程的 $L^2$ 向量场的迹理论，实现在低正则性下对边界值的定义。
• 将结果推广至具有 $L^2$ 边界数据的时间依赖（演化）Stokes 问题。
• 利用对偶与对偶方法，刻画速度迹在边界上的切向与法向分量。
• 为分析如顶盖驱动腔流等流动中的角奇点提供严格的理论框架。

提出的方法

• 基于伴随 Stokes 问题的对偶方法，定义弱解与边界迹。
• 应用 Lions-Magenes 理论于椭圆与抛物型问题，推导 $L^2$ 空间中的先验估计。
• 构造迹算子 $\gamma_\tau$，将 $L^2(0,T;L^2(\Omega)^2)$ 映射至 $L^2(0,T;H^{-1/2}_\tau(\Gamma)^2)$，用于切向分量。
• 证明光滑向量场在 $H^1_0$ 型空间中的稠密性，以在弱形式中合法使用分部积分。
• 利用紧致性与弱收敛性论证，通过逼近序列的边界数据极限。
• 通过双重性建立广义 Stokes 公式，将解与边界数据通过伴随系统联系起来。

实验结果

研究问题

• RQ1 当边界数据仅属于 $L^2$ 时，能否在凸多边形区域中定义并唯一确定 Stokes 问题的极弱解？
• RQ2 当速度场属于 $L^2(\Omega)^2$ 且满足 Stokes 方程时，其迹具有何种迹性质？
• RQ3 对于仅具有 $L^2$ 正则性的解，且数据不光滑时，边界条件如何有意义地解释？
• RQ4 能否将解的存在性与唯一性结果推广至具有 $L^2$ 边界数据的时间依赖 Stokes 问题？
• RQ5 边界数据的无散度条件在确保极弱形式适定性中起何种作用？

主要发现

• 本文证明：对任意满足 $\int_\Gamma g \cdot n \, d\Gamma = 0$ 的 $g \in L^2(\Gamma)^2$，存在唯一解 $u \in L^2(\Omega)^2$，满足零体力与零散度的 Stokes 问题。
• 建立了迹定理，表明速度迹的切向分量属于 $H^{-1/2}_\tau(\Gamma)^2$，从而实现在低正则性下对边界值的定义。
• 对于演化 Stokes 问题，证明了对满足 a.e. 时间无散度条件的 $g \in L^2(0,T;L^2(\Gamma)^2)$，存在唯一解 $u \in L^2(0,T;L^2(\Omega)^2)$。
• 解满足通过双重性建立的广义 Stokes 公式：对适当的测试函数 $v$，有 $\langle \gamma_\tau u, g_1 \rangle = \int_{Q_T} u \cdot (\partial_t v + \Delta v) \, dxdt$。
• 导出了先验估计：$\|u\|_{L^2(\Omega)^2} \leq c_1 \|g\|_{L^2(\Gamma)^2}$，其中 $c_1$ 仅依赖于区域 $\Omega$。
• 结果被推广至多边形型区域（包括凸多边形）并考虑角奇点，且以顶盖驱动腔流作为激励性应用实例。