[论文解读] Steady compressible Nevier-Stokes flow in a square

Tomasz Piasecki|ArXiv.org|Jan 26, 2009

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

一句话总结

本文在小数据和大摩擦假设下，通过椭圆正则化与不动点方法，证明了在正方形区域 $Q = [0,1]^2$ 中，稳态可压缩纳维-斯托克斯方程在密度流入边界条件和非齐次滑移速度条件下的强解 $(v, \rho) \in W^{2}_{p}(Q) \times W^{1}_{p}(Q)$ 的存在性与唯一性。解被证明是常数流 $ (\bar{v} = [1,0], \bar{\rho} = 1) $ 的小扰动。

ABSTRACT

We investigate a steady flow of compressible fluid with inflow boundary condition on the density and slip boundary conditions on the velocity in a square domain in $\mathbf{R^2}$. We show existence of a strong solution $(v,ρ) \in W^2_p(Q) imes W^1_p(Q)$ that is a small perturbation of a constant flow $(\bar v \equiv [1,0],\bar ρ\equiv 1)$. We also show that this solution is unique in a class of small perturbations of the constant flow $(\bar v,\bar ρ)$. In order show the existence of the solution we adapt the techniques know from the theory of weak solutions. We apply the method of elliptic regularization and a fixed point argument.

研究动机与目标

• 在具有混合边界条件的有界二维区域中，建立稳态可压缩纳维-斯托克斯系统的强解存在性。
• 分析在流入边界上给定密度、速度满足非齐次滑移条件的情形，避免一般区域中出现的奇异性。
• 证明当数据（边界条件与摩擦系数）足够小且摩擦较大时，解存在且唯一。
• 将强解理论扩展至非标准边界条件下的可压缩流，特别是密度为流入、速度为滑移的情形。
• 在 $W^{2}_{p} \times W^{1}_{p}$ 中提供先验估计，这对证明存在性与唯一性至关重要。

提出的方法

• 将弱解理论中的技术 adapted 至强解框架，利用椭圆正则化处理该系统混合椭圆-双曲性质。
• 在合适的函数空间中应用不动点论证，将解构造为常数流 $(\bar{v}, \bar{\rho}) = ([1,0], 1)$ 的小扰动。
• 通过将动量方程乘以 $\rho_1 u$ 并进行分部积分，采用加权能量估计，以控制速度梯度并导出先验界。
• 利用 Hodge 分解将速度场分解为梯度与旋度分量，有助于在索伯列夫范数下控制速度。
• 应用 Korn 不等式与插值不等式，控制低阶项，并在 $W^{2}_{p} \times W^{1}_{p}$ 中完成估计。
• 对边界数据 $b$、$d$ 与 $\rho_{\text{in}}$ 施加小性假设，并要求摩擦系数 $f$ 足够大，以确保能量估计中边界项的正定性。

实验结果

研究问题

• RQ1 在有界二维区域中，对于具有流入密度与滑移速度边界条件的稳态可压缩纳维-斯托克斯方程，强解在何种条件下存在？
• RQ2 能否证明在常数流的小扰动类中，解是唯一的？
• RQ3 如何为具有混合边界条件的此类系统导出 $W^{2}_{p} \times W^{1}_{p}$ 中的先验估计？
• RQ4 摩擦系数 $f$ 在稳定解与确保能量估计中边界项正定性方面起什么作用？
• RQ5 椭圆正则化与不动点迭代方法能否被适配以证明在此类非标准边界设置下强解的存在性？

主要发现

• 在边界数据足够小且摩擦较大的假设下，稳态可压缩纳维-斯托克斯系统在正方形区域 $Q = [0,1]^2$ 中存在强解 $(v, \rho) \in W^{2}_{p}(Q) \times W^{1}_{p}(Q)$。
• 解是常数流 $(\bar{v} = [1,0], \bar{\rho} = 1)$ 的小扰动，且扰动范数被一个依赖于数据的常数 $E$ 控制。
• 在满足相同小性界 $||v - \bar{v}||_{W^{2}_{p}} + ||\rho - \bar{\rho}||_{W^{1}_{p}} \leq E$ 的解类中证明了解的唯一性，确保不存在其他邻近解。
• 通过将方程乘以 $\rho_1 u$ 并分部积分，推导出关键估计 $||u||_{H^{1}}^{2} \leq C \int_{Q} w \rho_{1} \text{div}\,u\,dx$，从而实现对速度梯度的控制。
• 证明依赖于对 $w^2$ 的逐点分解，以及对边界项与体积分项的精细估计，包括利用插值不等式控制低阶范数。
• 摩擦系数 $f$ 必须足够大，以确保能量估计中边界项为正，这对完成先验估计至关重要。