[論文レビュー] Mixed boundary value problems for the Navier-Stokes system in polyhedral domains

Vladimir Maz’ya, J. Roßmann|ArXiv.org|Feb 22, 2006

Differential Equations and Boundary Problems参考文献 22被引用数 15

ひとこと要約

本稿は、異なる面上にディリクレ、ノイマン、スリップ条件が混合して設定された3次元多面体領域における定常ナビエ＝ストークス系の弱解について、鋭い正則性結果を確立する。重み付きソボレフ空間および Hölder 空間を用いて、領域の幾何構造と境界条件の種別に応じた、最良の局所的および大域的可積分性および Hölder 連続性を証明する。特に、凸性および角度制約のもとで、最良の正則性が達成される。

ABSTRACT

Mixed boundary value problems for the Navier-Stokes system in a polyhedral domain are considered. Different boundary conditions (in particular, Dirichlet, Neumann, slip conditions) are prescribed on the faces of a polyhedron. The authors obtain regularity results for weak solutions in weighted (and non-weighted) L_p Sobolev and Hölder spaces.

研究の動機と目的

• 3次元多面体領域における混合境界条件（ディリクレ、ノイマン、スリップ）を伴う定常ナビエ＝ストークス系の弱解について、鋭い正則性推定を確立すること。
• 特に、辺および頂点の特異性を有する領域の幾何構造が解の正則性に与える影響を分析すること。
• 重み付きおよび非重み付きソボレフ空間および Hölder 空間における速度および圧力の最良可積分性および Hölder 連続性の結果を導出すること。
• 純粋なディリクレ問題やノイマン問題における既知の正則性結果を、ディリクレ、ノイマン、スリップ条件の組み合わせを含む一般の混合境界値問題へと拡張すること。

提案手法

• 著者たちは、多面体領域における辺および頂点近傍での解の挙動を分析するために、重み付きソボレフ空間および Hölder 空間を用いる。
• 彼らは、辺および頂点におけるモデル問題の漸近解析と微分作用素のスペクトル理論を用いて、最適な重みパラメータを特定する。
• この解析は、非滑らか境界に起因する特異性を制御するため、パrameter-楕円型およびパrameter-弱楕円型系の理論に依拠する。
• 特に、非線形項 (u⋅∇)u の取り扱いにおいて、補間および埋め込み定理を用いて重み付き空間における事前推定を導出する。
• 小データ領域における固定点法を用いて解の存在を確立し、重み付き関数空間における収縮写像原理を適用する。
• 関連するペンシル作用素のスペクトル条件を満たすことを確認することで、重みなし空間への結果の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 異なる面上にディリクレ、ノイマン、スリップ条件が混合して設定された多面体領域におけるナビエ＝ストークス系の弱解の最良正則性は何か？
• RQ2 特に、辺および頂点という幾何的特異性が、解の局所的および大域的正則性にどのように影響を与えるか？
• RQ3 領域の幾何構造および境界データにどのような条件下で、W^{1,s} や C^{1,\varepsilon} 正則性といったより高い可積分性が達成されるか？
• RQ4 純粋なディリクレ問題やノイマン問題における正則性結果を、ディリクレ、ノイマン、スリップ条件の組み合わせを含む一般の混合境界値問題へと拡張できるか？
• RQ5 W^{1,s} 空間における可積分指数 s の鋭い閾値は何か？また、それは最大面角 θ にどのように依存するか？

主な発見

• 任意の多面体におけるディリクレ問題に対して、解は (u,p) ∈ W^{1,3+ε} × L_{3+ε} および (u,p) ∈ W^{2,4/3+ε} × W^{1,4/3+ε} を満たし、ε > 0 は領域に依存する。
• 凸多面体においては、すべての 1 < s < ∞ に対して (u,p) ∈ W^{1,s} × L_s が成り立ち、さらに (u,p) ∈ W^{2,2+ε} × W^{1,2+ε} および (u,p) ∈ C^{1,ε} × C^{0,ε} を満たす ε > 0 が存在する。
• 任意の多面体におけるディリクレ-ノイマン混合問題に対して、解は (u,p) ∈ W^{2,8/7+ε} × W^{1,8/7+ε} を満たす ε > 0 が存在する。
• 1つの面上にスリップ条件、他の面上にディリクレ条件が設定された場合、正則性は最大面角 θ に依存する：θ < 3π/2 ならば (u,p) ∈ W^{1,3+ε} × L_{3+ε} が成り立ち、θ < π/2 かつ領域が凸ならば (u,p) ∈ W^{2,2+ε} × W^{1,2+ε} および (u,p) ∈ C^{1,ε} × C^{0,ε} が成り立つ。
• 重みなし空間においては、データノルムが十分に小さい場合、3/2 < s < 3 に対して (u,p) ∈ W^{1,s} × L_s となる解が存在し、関連するペンシル作用素のスペクトル条件が満たされている限り成立する。
• 結果は鋭い：追加の幾何的または適合性仮定がなければ、一般にそれ以上の正則性は達成不可能である。