[論文レビュー] On elliptic boundary value problems of order 2m in cylindrical domain of large size

Bernard Brighi Senoussi Guesmia|ArXiv.org|Mar 16, 2006

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

ひとこと要約

本稿では、p方向に無限に拡張する円柱型領域における高次の楕円型境界値問題（次数2m）の解の漸近的挙動を調査する。重み付きソボレフ空間の推定とコンパクト性の議論を用いて、一様な強収縮性と係数の正則性の仮定のもとで、解が下位次元の領域における極限解に、任意の逆数より速い代数的減衰率で収束することを証明する。

ABSTRACT

This paper is concerned with the convergence of the solution of general elliptic boundary value problems in cylindrical domain, when some directions of the domain go to infinity.

研究の動機と目的

• 領域がp方向に非有界になる際、円柱型領域における2m次楕円型境界値問題の解の漸近的挙動を分析すること。
• 一様な強収縮性と係数正則性の下で、長さℓ → ∞ のとき、解がソボレフ空間H^mに収束することを確立すること。
• 最良の減衰率を伴って、収束結果をより高次のソボレフ空間H^mに拡張すること。
• 極限問題が、非有界方向に依存しないR^{n-p}における楕円型問題であることを示すこと。
• 収束速度が任意のℓの逆数より速い、すなわち\|u_\ell - u_\infty\|_{H^m} \leq C \ell^{-r}（任意のr > 0）であることを証明すること。

提案手法

• 領域Ω_\ell = (-\ell,\ell)^p × ωにおける楕円型問題\mathcal{A}u = fを定式化し、m-1階までのディリクレ型境界条件を課す。
• 一様楕円型性と係数正則性を仮定：a_{\alpha\beta}(x) = a_{\alpha\beta}(X_2)（非有界変数X_1に依存せず）、|\alpha| = |\beta| = mのときC^0-正則性。
• H^m_0-空間における変分的定式化を採用し、一様強収縮性を仮定：a(u,u) \geq C \|u\|_{H^m}^2（ℓに依存しない）。
• 領域の構造とX_1方向における減衰を活用し、L^2およびH^mにおけるコンパクト性と弱収束の議論を適用する。
• 帰納法と差分商の推定式δ^\alphaを用いて高階微分を制御し、減衰率を導出する。
• 弱極限とエネルギー推定を用いて、D^\alpha (u_\ell - u_\infty) → 0（L^2で\ell^{-r}の速度）であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 長大な円柱型領域における2m次楕円型問題の解は、領域が無限に拡張する際、次元が低い領域における解に収束するか？
• RQ2 ℓ → ∞ のとき、ソボレフ空間における解の収束速度はいかほどか？
• RQ3 適切な仮定のもとで、収束速度をℓの任意の逆数より速くできるか？
• RQ4 係数a_{\alpha\beta}が有界変数にのみ依存する構造が、漸近的挙動にどのように影響するか？
• RQ5 極限問題は適切に定義されており、R^{n-p}における低次元楕円型問題と同等か？

主な発見

• 一様強収縮性と係数正則性の下で、Ω_\ellにおける2m次楕円型問題の解u_\ellは、ℓ → ∞ のときH^m(\omega)における解u_\inftyに収束する。
• Ω_{\ell_0} ⊂ Ω_\ellのコンパクト部分集合上での収束速度は、任意の逆数より速く、すなわち\|u_\ell - u_\infty\|_{H^m(\Omega_{\ell_0})} \leq C \ell^{-r}（任意のr > 0）で、Cはℓに依存しない。
• 極限問題は、ω ⊂ R^{n-p}における2m次楕円型方程式であり、係数a_{\alpha\beta}(X_2)を同じくし、同じ変分的定式化を満たす。
• 収束は、Ω_{\ell_0} ⊂ Ω_\ellのコンパクト部分集合上で一様に成立し、差分商の推定とL^2における弱コンパクト性によって減衰が確立される。
• 多変数インデックスα ∈ N_1における帰納法を用いて、H^mのより高次のソボレフノルムに対しても、同じ超代数的減衰率が成立する。
• 証明は、非有界方向X_1における導関数が問題の構造と差分商の減衰により、急速に消えることに依存している。