[論文レビュー] Differential operators on domains with conical points: precise uniform regularity estimates

Constantin Bǎcuţǎ, Hengguang Li+1 more|arXiv (Cornell University)|May 24, 2016

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

ひとこと要約

本稿では、錐点を有する領域上における特異係数を有する2階強楕円型微分作用素について、重み付きソボレフ空間を用いて、正確で一様な正則性推定を確立する。解作用素が係数に対して一様有界かつ解析的に依存することを証明し、古典的な適切性結果を低正則性係数へと拡張する。同時に、係数の正則性および強制パラメータを用いた明示的なノルムの上限を与える。

ABSTRACT

We study families of strongly elliptic, second order differential operators with singular coefficients on domains with conical points. We obtain uniform estimates on their inverses and on the regularity of the solutions to the associated Poisson problem with mixed boundary conditions. The coefficients and the solutions belong to (suitable) weighted Sobolev spaces. The space of coefficients is a Banach space that contains, in particular, the space of smooth functions. Hence, our results extend classical well-posedness results for strongly elliptic equations in domains with conical points to problems with singular coefficients. We furthermore provide precise uniform estimates on the norms of the solution operators.

研究の動機と目的

• 錐点を有する領域上における強楕円型方程式の古典的適切性結果を、特異的かつ低正則性係数を有する問題へと拡張すること。
• このような作用素のパrametric族に対する解作用素のノルムに関する一様推定を確立すること。
• 重み付きソボレフ空間における解の正則性および安定性に関する正確で定量的な上限を提供すること。
• 解が係数に対して解析的に依存することを示し、堅牢な数値近似およびパrametric解析を可能とすること。

提案手法

• 著者たちは、錐点からの距離を用いて定義される、コンドラチェフ型の重み付きソボレフ空間を用い、頂点付近における解の特異的挙動を捉える。
• 滑らかな関数を含み、正則性および特異性の強度を制御するノルムを備えた、係数のバナッハ空間を定義する。
• 主な技術的道具は、重み付き空間に適応された強化版のラックス＝ミルグラム補題であり、作用素の強制性および可逆性を保証する。
• 解作用素は、係数から作用素への写像、作用素の逆写像、および解への写像の合成として分析される。
• 整数正則性指数から分数正則性指数へ一般化するために、補間および拡張技術に依存する。
• 一様な上限は、強制パラメータ ρ(β) と正則性指数 m に依存するべき乗 N_m を用いて導出される。

実験結果

リサーチクエスチョン

• RQ1 2階強楕円型作用素が特異係数を有する錐点を有する領域上において、どのようにして一様正則性推定を確立できるか？
• RQ2 解作用素が重み付きソボレフ空間において一様有界であるための係数に関する条件は何か？
• RQ3 係数が適切なバナッハ空間に属する特異関数である場合、解が係数に対してどのように解析的に依存するか？
• RQ4 多角形領域上におけるラプラシアンの古典的同型結果を、一般の強楕円型作用素および低正則性係数へと拡張できるか？
• RQ5 係数の正則性および強制パラメータを用いた解作用素ノルムの正確な定量的上限は何か？

主な発見

• 解作用素 (P^β)^{-1} は、C ρ(β)^{-(N_m + 1)} と係数ノルムのべき乗を乗じたもので、C は β に依存しない。
• 逆作用素は V_m^- から V_m に連続的に写像する。ここで V_m および V_m^- は、正則性指数 m+1 および m-1 を持つ重み付きソボレフ空間である。
• 強制パラメータ ρ(β) が 0 から離れている限り、解作用素は係数族 β に対して解析的に依存する。
• ポテンシャル項 c/r² を有するシュレーディンガー型作用素では、2つのノイマン端を持つ頂点において c(p) > 0 であれば強制性が成立する。
• 局所座標変換および頂点付近の境界の平坦化を用いることで、一般の錐点を有する領域へと結果を拡張可能である。
• 上限は鋭く、領域および係数の族にわたって一様であるため、堅牢な数値解析およびパrametric PDEソルバーに適している。