[論文レビュー] 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.

研究の動機と目的

• 境界付き2次元領域における混合境界条件を満たす定常圧縮性ナビエ＝ストークス系の強解の存在を確立すること。
• 密度が流入境界で指定され、速度が非一様スリップ条件を満たす場合を分析し、一般の領域に存在する特異性を回避すること。
• 境界条件および摩擦係数のデータが十分に小さく、摩擦が大きい場合に解が存在し、一意的であることを示すこと。
• 非標準的境界条件、特に密度に対して流入、速度に対してスリップを適用した場合の圧縮流れに対する強解理論を拡張すること。
• $W^{2}_{p} \times W^{1}_{p}$ における事前推定を提供することにより、存在および一意性の証明に不可欠な根拠を提供すること。

提案手法

• 弱解理論の技法を強解フレームワークに適応し、系の混合楕円型・放物型性を扱うために楕円型正則化を用いる。
• 関数空間上で固定点議論を適用し、解を定常流れ $(\bar{v}, \bar{\rho}) = ([1,0], 1)$ の小さな摂動として構成する。
• 運動量方程式に $\rho_1 u$ を乗じて重み付きエネルギー推定を実行し、速度勾配の制御および事前推定の導出を図る。
• 速度場を勾配成分と回転成分に分解するヘルムホルツ分解を用い、ソボレフノルムにおける速度の制御を容易にする。
• コルンの不等式および補間不等式を用いて低次の項を制御し、$W^{2}_{p} \times W^{1}_{p}$ における推定を閉じる。
• 境界データ $b$、$d$、および $\rho_{\text{in}}$ に対して小ささの仮定を課し、エネルギー推定における境界項の正の性質を保証するために、大きな摩擦係数 $f$ を要請する。

実験結果

リサーチクエスチョン

• RQ1 境界付き2次元領域における定常圧縮性ナビエ＝ストークス方程式に対して、流入密度およびスリップ速度境界条件を満たす強解が存在する条件は何か？
• 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$ が十分に大きくなければならない。これは事前推定を閉じる上で不可欠である。