[論文レビュー] A Note on Linear Elliptic Systems on $\R^d$

Christoph Ortner, Endre Süli|arXiv (Cornell University)|Feb 17, 2012

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

ひとこと要約

本稿は、定数を法とする関数の同値類として定義される均質ソボレフ空間（ベッポ・レヴィ空間）を用いて、$\mathbb{R}^d$ 上の線形楕円型系に対して適切な解の理論を構築する。$\dot{H}^1$ において問題を定式化し、レジェンドル＝ハダマール条件の下でラックス＝ミルグラムの定理を適用することで、最良の $L^2$ 型推定を伴う解の存在、一意性、正則性を確立する。これは、無限領域上の並進不変問題に対して重み付き関数空間の代替手段として洗練された手法を提供する。

ABSTRACT

We are concerned with the well-posedness of linear elliptic systems posed on $\mathbb{R}^d$. The concrete problem of interest, for which we require this theory, arises from the linearization of the equations of anisotropic finite elasticity, however, our results are more generally applicable to translation-invariant problem posed on $\mathbb{R}^d$. We describe a variant of homogeneous Sobolev spaces, which are convenient for treating problems of this kind.

研究の動機と目的

• 重み付き関数空間に依存せずに、$\mathbb{R}^d$ 上の線形楕円型系に対して、解の存在、一意性、正則性の厳密な理論を確立すること。
• 無限遠における境界条件の問題を、定数を法とする関数の同値類を用いて取り扱うこと。
• 非有界領域上での Poincar\'{e} 型不等式の欠如に起因する問題を回避するため、均質ソボレフ空間（$\dot{W}^{1,p}$, $\dot{H}^1$）に基づく関数解析的枠組みを提供すること。
• レジェンドル＝ハダマール条件の下で、弱化形式の強制性と適切な解の理論を証明し、解の安定性と収束性を保証すること。
• 係数テンソル $\mathbb{C}$ とデータ $f$ に対する滑らかさの仮定の下で、$\dot{H}^s$ 空間における解の高階正則性推定を導出すること。

提案手法

• 均質ソボレフ空間 $\dot{W}^{1,p}$ を、$[u] = \{u + c \mid c \in \mathbb{R}\}$ として定義される同値類の空間とし、ノルムを $\|[u]\|_{\dot{W}^{1,p}} = \|\partial u\|_{L^p}$ と定める。
• 勾配に由来する半ノルムを備えることで、$\dot{W}^{1,p}$ がバナッハ空間となり、$p \in (1,\infty)$ または $p=1$ かつ $d>1$ の場合に、試験関数がその中に dense に含まれることを保証する。
• 弱化問題 $a(u,v) = \ell(v)$ を $u,v \in \dot{H}^1$ に対して定式化し、$a(u,v) = \int \mathbb{C}_{i\alpha}^{j\beta} \partial_\alpha u_i \partial_\beta v_j \, dx$ と定める。コercivity の下でラックス＝ミルグラムの定理を適用する。
• レジェンドル＝ハダマール条件により、$a(u,u) \geq c_0 \|\partial u\|_{L^2}^2$ の強制性を保証し、$\dot{H}^1$ 内での一意的可解性を確立する。
• 有限差分法とエネルギー推定を用いて高階正則性を確立し、試験関数の微分で弱化形式をテストすることで、$\|\partial^2 u\|_{L^2}$ および $\|\partial^3 u\|_{L^2}$ の境界を導出する。
• 定量的推定を導出：$\|\partial^2 u\|_{L^2} \leq C(\|f\|_{L^2} + c_2 \|\partial \mathbb{C}\|_{L^\infty})$ および $\|\partial^3 u\|_{L^2} \leq C(\|\partial f\|_{L^2} + \|\partial \mathbb{C}\|_{L^2} \|\partial^2 u\|_{L^2} + c_2 \|\partial^2 \mathbb{C}\|_{L^\infty})$。

実験結果

リサーチクエスチョン

• RQ1 非有界領域上では標準的な Poincar\'{e} 不等式が成立しないため、$\mathbb{R}^d$ 上の線形楕円型系に対して、適切な変分的枠組みをどのように定義できるか？
• RQ2 無限遠で減衰しない並進不変楕円型系の解に対して、適切な関数空間枠組みは何か？
• RQ3 係数テンソル $\mathbb{C}$ がどのような条件下で、弱化形式が均質ソボレフ空間 $\dot{H}^1$ 内で一意解を持つのか？
• RQ4 データ $f$ および係数 $\mathbb{C}$ の正則性が、解の高階微分にどのように伝播するか？
• RQ5 データおよび係数の微分を用いて、解の2階および3階微分の $L^2$ 型推定を定量的に導出できるか？

主な発見

• $\dot{W}^{1,p}$ は、定数を法とする同値類の空間として、半ノルム $\|\partial u\|_{L^p}$ に関してバナッハ空間であり、$p \in (1,\infty)$ または $p=1$ かつ $d>1$ の場合に $\dot{\mathscr{D}}$ が $\dot{W}^{1,p}$ 内で稠密である。
• $u,v \in \dot{H}^1$ に対して弱化形式 $a(u,v) = \ell(v)$ が、双線形形式 $a$ が強制的である限り、適切に定義される。これは、$\mathbb{C}$ におけるレジェンドル＝ハダマール条件の下で成立する。
• $f \in L^2$ かつ $\mathbb{C} \in C^1$ のとき、解 $u$ は $\|\partial^2 u\|_{L^2} \leq C(\|f\|_{L^2} + c_2 \|\partial \mathbb{C}\|_{L^\infty})$ を満たし、$\dot{H}^2$ 正則性が保証される。
• $f \in H^1$, $\mathbb{C} \in C^2$, かつ $\partial \mathbb{C} \in L^2$ のとき、解は $\|\partial^3 u\|_{L^2} \leq C(\|\partial f\|_{L^2} + \|\partial \mathbb{C}\|_{L^2} \|\partial^2 u\|_{L^2} + c_2 \|\partial^2 \mathbb{C}\|_{L^\infty})$ を満たし、$\dot{H}^3$ 正則性が確認される。
• 同値類の枠組みにより、勾配が消える列（例：$u_n(x) = n \max(0,1 - |x|/n^3)$）の分布的収束の欠如という問題が解消され、定数の差を除いて同一視される。
• $\|\partial u\|_{L^p} < \infty$ による $\dot{W}^{1,p}$ 関数の成長特性と、例えば $B_1$ 上での平均がゼロとなる正規化代表元の使用により、空間内での安定性と収束性が保証される。