[論文レビュー] On a strong solution of the non-stationary Navier-Stokes equations under slip or leak boundary conditions of friction type

Takahito Kashiwabara|arXiv (Cornell University)|Jan 21, 2012

Contact Mechanics and Variational Inequalities参考文献 11被引用数 3

ひとこと要約

本稿は、2次元および3次元領域における摩擦型非線形スリップまたはリーク境界条件の下で、非定常ナビエ＝ストークス方程式の強い解の存在および一意性を確立する。変分不等式、ガラーキン法、初期データの整合性条件を用いた事前推定を用いて、2次元スリップ問題では大域的解の存在、3次元問題では局所的解の存在を証明する。リーク境界条件の下では、t=0における非リーク仮定のもとでも局所的解の存在が得られる。

ABSTRACT

Strong solutions of the non-stationary Navier-Stokes equations under non-linearized slip or leak boundary conditions are investigated. We show that the problems are formulated by a variational inequality of parabolic type, to which uniqueness is established. Using Galerkin's method and deriving a priori estimates, we prove global and local existence for 2D and 3D slip problems respectively. For leak problems, under no-leak assumption at $t=0$ we prove local existence in 2D and 3D cases. Compatibility conditions for initial states play a significant role in the estimates.

研究の動機と目的

• 摩擦型非線形スリップまたはリーク境界条件の下で、非定常ナビエ＝ストークス方程式の強い解の存在および一意性を確立すること。
• 特にリーク境界条件の下で弱解フレームワークにおける正則性および一意性の欠如に対処すること。
• 初期データの整合性条件を組み込むことにより、3次元問題への存在結果を拡張すること。
• t=0における非リーク仮定のもとで、リーク問題の時間局所的解を提供すること。
• レイリー＝ホプフ弱解では得られない、圧力の$L^\infty$時間推移推定を保証すること。

提案手法

• スリップおよびリーク境界条件を放物型の変分不等式として定式化する。
• 有限次元部分空間における近似解を得るためにガラーキン法を適用する。
• エネルギー法およびソボレフ埋蔵を用いて非線形項を制御するための事前推定を導出する。
• 正則化問題における境界条件との整合性を保証するため、初期速度$ u_0 $に整合性条件を課す。
• 摩擦応力則を表現するために、微分作用素記法を用いる。たとえば$ \sigma_\tau \in -g\partial|u_\tau| $。
• 両方の極限$ m \to \infty $（ガラーキン近似）および$ \epsilon \to 0 $（正則化）にわたって極限をとることで、強い解を導出する。

実験結果

リサーチクエスチョン

• RQ1 摩擦型非線形スリップ境界条件の下で、2次元および3次元領域における非定常ナビエ＝ストークス方程式に強い解が存在しうるか。
• RQ2 初期データの整合性条件が、摩擦型境界条件の下で強い解の存在を保証するために果たす役割は何か。
• RQ3 特にt=0で非リークが仮定される場合に、摩擦型リーク境界条件の下で2次元および3次元問題において局所的解が達成可能か。
• RQ4 事前推定およびガラーキン近似が、強い解フレームワークにおける一意性および存在の証明にどのように寄与するか。
• RQ5 レイリー＝ホプフ弱解とは異なり、この強い解設定において圧力の$L^\infty$時間推移推定を達成できるか。

主な発見

• 摩擦型境界条件の下で、2次元スリップ問題に対して強い解の大域的存在が証明された。
• 同じ境界条件下で、3次元スリップ問題に対し、強い解の局所的存在が確立された。
• リーク境界条件の下では、t=0における非リーク仮定のもとで、2次元および3次元両方の問題で局所的解の存在が証明された。
• 近似プロセスにおける正則性および一貫性を保証するため、初期速度$ u_0 $は境界条件と整合性条件を満たす必要がある。
• エネルギー法およびソボレフ埋蔵を用いて、$ f, g, u_0, p_0 $および領域に依存する有界性を持つ事前推定が導出された。
• 本手法により、速度に関して$ L^\infty(0,T;H^1) $の正則性、圧力に関して$ L^\infty(0,T;L^2) $の正則性が保証され、$ u' \in L^\infty(0,T;L^2) \cap L^2(0,T;H^1) $が得られた。