[論文レビュー] Lp estimates of solutions to mixed boundary value problems for the Stokes system in polyhedral domains

Vladimir Maz’ya, Juergen Rossmann|ArXiv.org|Dec 21, 2004

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 10

ひとこと要約

本稿では、3次元の多面体領域におけるストークス系の混合境界値問題に対する弱解のLp推定および正則性結果を確立する。グリーン行列の点推定と非同次ノルムを伴う重み付きソボレフ空間を用いて、同種条件および関連作用素パイプのスペクトル制約の下で、解の存在、一意性およびソボレフ正則性を証明する。これは、ディリクレ、ノイマン、およびスリップ型境界条件を含む一般の混合境界条件へ既存の結果を拡張するものである。

ABSTRACT

A mixed boundary value problem for the Stokes system in a polyhedral domain is considered. Here different boundary conditions (in particular, Dirichlet, Neumann, free surface conditions) are prescribed on the sides of the polyhedron. The authors prove the existence of solutions in (weighted and non-weighted) $L_p$ Sobolev spaces and obtain regularity assertions for weak solutions. The results are based on point estimates of Green's matrix.

研究の動機と目的

• 多面体領域におけるストークス系の混合境界値問題に対する弱解のLp正則性を確立すること。
• 既存の正則性理論をディリクレおよびノイマン問題にとどまらず、速度および応力成分を含む一般の混合境界条件へ拡張すること。
• エッジおよびコーナーにおける特異性を扱うために、非同次ノルムを伴う重み付きソボレフ空間を用いたフレームワークを構築すること。
• スペクトル的および幾何的適合条件の下で、Lp-ソボレフ空間内での解の存在および一意性を証明すること。
• リプシッツ領域および凸多面体からの結果を、非凸的かつ区分的滑らかな境界を持つ複雑な境界条件の組み合わせを有する領域へ一般化すること。

提案手法

• 解析は、先行研究に基づく多面体錐におけるストークス系のグリーン行列の点推定に依拠する。
• 重み付きソボレフ空間 $W_{\beta,\delta}^{l,s}$ が用いられ、頂点およびエッジからの距離の冪を重みとして用いることで、特異性の制御が可能となる。
• エッジにおける適合条件および作用素パイプ $\mathfrak{A}(\lambda)$ におけるスペクトル条件の下で、重み付き $L_p$ 空間における解の存在が確立される。
• 弱解は双対空間における変分形式を通じて定義され、境界条件はトレース作用素 $S_j$ を通じて課される。
• この手法は、作用素パイプ $\mathfrak{A}(\lambda)$ のスペクトル解析に依存しており、固有値が許容可能な重みパラメータ $\delta_k$ を決定する。
• 局所化技術および分区画の技法を用いて、モデル錐から一般の多面体領域への理論の拡張がなされる。

実験結果

リサーチクエスチョン

• RQ1 領域の幾何構造および境界データがどのような条件下で、ストークス系の混合境界値問題が $L_p$ ソボレフ空間内に解を有するか。
• RQ2 弱解の正則性特性が、エッジにおける角度および境界条件の種別（ディリクレ、ノイマン、スリップ）にどのように依存するか。
• RQ3 作用素パイプ $\mathfrak{A}(\lambda)$ の固有値が、許容可能な重みパラメータ $\delta_k$ および解が $W^{2,p}$ に属する $p$ の範囲を決定する役割を果たすか。
• RQ4 非同次ノルムを伴う重み付きソボレフ空間の理論を用いることで、非凸的多面体領域における正則性推定値を改善できるか。
• RQ5 エッジにおける適合条件が、$L_p$ 空間内での解の存在および正則性にどのように影響するか。

主な発見

• 重み付き $L_p$ ソボレフ空間 $W_{\beta,\delta}^{2,p} \times W_{\beta,\delta}^{1,p}$ 内に解が存在する。$1 < p < \infty$ であり、$\operatorname{Re} \lambda = 2 - \beta - 3/p$ の帯域が $\mathfrak{A}(\lambda)$ の固有値を含まないこと、かつすべてのエッジについて $\max(2 - \mu_k, 0) < \delta_k + 2/p < 2$ が成り立つ限り、解は存在する。
• 弱解が $W^{1,p} \times L^p$ に属するための十分条件として、$f \in (W^{1,p'})^* \times L^p$ および $g \in L^p$ であり、$2 < p \leq 8/3$ であり、領域が角度制約を満たす必要がある。
• もし $f \in (W^{1,2})^* \cap L^p$ および $g \in L^2 \cap W^{1,p}$ ならば、$1 < p \leq 8/7$ に対して $u \in W^{2,p} \times W^{1,p}$ となる。さらに厳しい角度条件の下では、範囲は $1 < p \leq 3/2$ に改善される。
• 一部の面でディリクレ境界条件、他の面でスリップ型条件（ii）または（iii）を課した混合問題において、エッジの角度が $\theta_k < 3 \arccos(1/4)$ を満たせば、$1 < p \leq 3/2$ に対して解は $W^{2,p} \times W^{1,p}$ に属する。
• 境界 $\Gamma_1, \dots, \Gamma_{n-1}$ でディリクレ条件、$\Gamma_n$ で条件（ii）を課した場合、$\theta_k < 3\pi/8$（$k \in I$）および $\theta_k < 3\pi/4$（$k \in I'$）という角度制約の下で、$1 < p < 3$ に対して解は $W^{2,p} \times W^{1,p}$ に属する。
• 結果は鋭い。$p$ の範囲は作用素パイプ $\mathfrak{A}(\lambda)$ のスペクトルギャップによって制限されており、臨界帯域に固有値が進入すると推定値が破綻する。