[論文レビュー] Solvability and regularity for an elliptic system prescribing the curl, divergence, and partial trace of a vector field on Sobolev-class domains

C. H. Arthur Cheng, Steve Shkoller|arXiv (Cornell University)|Aug 11, 2014

Nonlinear Partial Differential Equations参考文献 11被引用数 5

ひとこと要約

本稿は、ℝ³におけるSobolevクラスの領域上での回転、発散、部分トレースを規定するベクトル場系について、楕円型推移と可解性を確立する。古典的Hodge型理論を$H^{k+1}$-正則領域へ拡張し、データの自然な整合性条件のもとで、解の存在、一意性、$H^{\tau}$-正則性を証明する。境界の幾何構造とデータノルムに依存する評価を含む。

ABSTRACT

We provide a self-contained proof of the solvability and regularity of a Hodge-type elliptic system, wherein the divergence and curl of a vector field are prescribed in an open, bounded, Sobolev-class domain, and either the normal component or the tangential components of the vector field are prescribed on the boundary. The proof is based on a regularity theory for vector elliptic equations set on Sobolev-class domains and with Sobolev-class coefficients.

研究の動機と目的

• $\mathscr{C}^{k+1}$領域から$H^{k+1}$-正則領域への、curlおよび発散系に対する古典的楕円型理論の拡張。
• 境界上での法線または接線成分のトレースが指定された、ベクトル楕円型系$\operatorname{curl} \mathbf{v} = \mathbf{f}$, $\operatorname{div} \mathbf{v} = g$の解の存在と一意性の確立。
• 領域境界が$H^{k+1}$-正則である場合でさえも、解の$H^\ell$-ノルム推定を、データノルムと領域正則性の観点から明示的に導出。
• 可解性のための必要十分条件（フラックスや循環制約など）を$H^\ell$-設定において特徴づける。
• 流体力学や数学的物理学への応用において不可欠な、粗い領域上でのHodge分解の厳密な枠組みの構築。

提案手法

• $H^{k+1}$-正則領域上での重み付きSobolev空間とトレース定理を用いて、境界データを制御。
• Poincaré型不等式と滑らか化子との交換関係を用いて、低正則性データを扱う。
• 座標変換下での発散および回転構造を保存するためのPiola恒等式の適用。
• 事前推定とコンパクトネス論法による解の構成。球体上で解の存在を示し、その後、微分同相写像技術を用いて一般の$H^{k+1}$領域へ拡張。
• Partition of unityと$H^{k+1}$-微分同相による境界の局所的平坦化を用い、問題をモデル領域に還元。
• ヤコビアンおよび変形勾配の逆行列に関する評価を用いた、$H^\ell$-正則性の帰納法と補間による証明。

実験結果

リサーチクエスチョン

• RQ1 $\Omega$をSobolevクラス$H^{k+1}$に属する領域とする。$\operatorname{curl} \mathbf{v} = \mathbf{f}$, $\operatorname{div} \mathbf{v} = g$が$H^\ell(\Omega)$に解をもつための条件は何か？
• RQ2 $H^\ell$-設定における可解性のための、$\mathbf{f}$, $g$, および境界データ$h$または$\mathbf{h}$に関する必要十分条件は何か？
• RQ3 $\mathbf{v}$の$H^\ell$-ノルムは、データ$\mathbf{f}$, $g$, および境界データ$h$または$\mathbf{h}$にどのように依存するか？
• RQ4 特に境界の正則性に注目した場合、領域の幾何構造が解の可解性と正則性に与える影響は何か？
• RQ5 curl-div系の古典的$\mathscr{C}^{k+1}$-理論は、$H^{k+1}$-正則境界をもつ領域へ拡張可能か？

主な発見

• 有界な$H^{k+1}$-領域$\Omega \subset \mathbb{R}^3$で$k > 3/2$とし、$1 \leq \ell \leq k$とする。各$\partial\Omega$の連結成分$\Gamma$について$\int_\Gamma \mathbf{f} \cdot \mathbf{N} \, dS = 0$を満たすならば、$\mathbf{v} \cdot \mathbf{N} = h$ on $\partial\Omega$を満たす$\mathbf{v} \in H^\ell(\Omega)$が存在する。
• 解は推定式$\|\mathbf{v}\|_{H^\ell(\Omega)} \leq C(|\partial\Omega|_{H^{k+0.5}}) \big{[} \|\mathbf{f}\|_{H^{\ell-1}(\Omega)} + \|g\|_{H^{\ell-1}(\Omega)} + \|h\|_{H^{\ell-0.5}(\partial\Omega)} \big{]}$を満たす。定数は境界の$H^{k+0.5}$-ノルムにのみ依存する。
• 接線成分のトレースデータ$\mathbf{v} \times \mathbf{N} = \mathbf{h}$の場合は、$\mathbf{f} \cdot \mathbf{N} = \operatorname{div}^{\partial\Omega} \mathbf{h}$および、すべての部分領域$\Sigma \subset \overline{\Omega}$で$\partial\Sigma \subset \partial\Omega$を満たすものについて$\int_\Sigma \mathbf{f} \cdot \mathbf{n} \, dS = \oint_{\partial\Sigma} (\mathbf{N} \times \mathbf{h}) \cdot d\mathbf{r}$が成り立つ場合に解が存在する。
• 法線トレースが指定された場合、$\Omega$が単純接続な開集合の不交和であるとき、解は一意である。接線トレースが指定された場合、各連結成分の境界が連結であるとき、解は一意である。
• 本稿では、$H^{k+1}$-微分同相写像$\psi$のヤコビアン$J = \det(\nabla\psi)$が$\|J\|_{H^k} \leq C\|\nabla\psi\|_{H^k}^n$および$\|1/J\|_{L^\infty} < \infty$を満たすことを証明し、変換の可逆性を保証する。
• 変形勾配の逆行列$A$は、$\|A\|_{H^k} \leq C(\|\nabla\psi\|_{H^k}) + \delta \|A\|_{H^k}$（$\delta$が十分小さいとき）を満たす。これにより、変数変換下でのノルムの制御が可能になる。