[論文レビュー] Maximum principles for boundary-degenerate linear elliptic differential operators

Paul M. N. Feehan|arXiv (Cornell University)|Apr 30, 2012

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

ひとこと要約

本稿では、定義域の境界の一部で主記号が消える2階線形楕円型作用素に対して、弱いおよび強い最大原理（含むホフプの補題）を確立する。主記号が消える境界部以外の領域でディリクレまたはノイマン条件が与えられる境界値問題および障害問題に対して、解の一意性と事前推定を、Fichera関数の符号制限なしに示す。重み付きソボレフ空間を用いて、有界でも無限大でもよい領域における変分的定式化を可能にする。

ABSTRACT

We prove weak and strong maximum principles, including a Hopf lemma, for smooth subsolutions to equations defined by linear, second-order, partial differential operators whose principal symbols vanish along a portion of the domain boundary. The boundary regularity property of the smooth subsolutions along this boundary vanishing locus ensures that these maximum principles hold irrespective of the sign of the Fichera function. Boundary conditions need only be prescribed on the complement in the domain boundary of the principal symbol vanishing locus. We obtain uniqueness and a priori maximum principle estimates for smooth solutions to boundary value and obstacle problems defined by these boundary-degenerate elliptic operators for partial Dirichlet or Neumann boundary conditions along the complement of the boundary vanishing locus. We also prove weak maximum principles and uniqueness for solutions to the corresponding variational equations and inequalities defined with the aide of weighted Sobolev spaces. The domain is allowed to be unbounded when the operator coefficients and solutions obey certain growth conditions.

研究の動機と目的

• 定義域の境界の一部で主記号が消える2階線形楕円型微分作用素に対して最大原理を確立すること。
• 主記号が消えることで標準的な最大原理が失敗する境界特異性の課題に対処すること。
• ディリクレまたはノイマン条件が主記号が消えない境界部にのみ与えられる場合に、境界値問題および障害問題の滑らかな解について一意性と事前推定を示すこと。
• 重み付きソボレフ空間を用いた変分的定式化への拡張により、成長条件を満たす場合に無限大領域に対しても取り扱えるようにすること。
• 通常では最大原理の有効性を制限するFichera関数の符号条件を排除すること。

提案手法

• 主記号が消える境界部分における境界正則性を活用して、境界特異な楕円型作用素の滑らかな副解について弱いおよび強い最大原理を導出する。
• 滑らかさと非ゼロの法線微分を仮定した下で、最大値を特異境界部で達成する副解に対して一般化されたホフプの補題を適用する。
• 重み付きソボレフ空間を用いてPDEおよび不等式の変分的定式化を定義し、無限大領域でも強制性と適切な定式化を保証する。
• 主記号が消えない境界部分にのみ境界条件を課す。特異部分については仮定を設けない。
• 重み付きソボレフノルムにおけるエネルギー推定と最大原理を組み合わせることで、一意性および最大原理に基づく事前推定を確立する。
• 最大原理の有効性を保つために、係数および解の成長条件を解析し、無限大領域への結果の拡張を可能にする。

実験結果

リサーチクエスチョン

• RQ1 主記号が境界の一部で消える線形楕円型作用素に対して、弱いおよび強い最大原理が成り立つ条件は何か？
• RQ2 副解が滑らかで、主記号が境界の一部で消える領域で最大値を達成する場合、ホフプの補題を確立できるか？
• RQ3 境界条件が主記号が消えない境界部にのみ与えられる場合、境界値問題の解について一意性と事前推定をどのように得られるか？
• RQ4 重み付きソボレフ空間は、これらの特異なPDEの存在および一意性を保証するために果たす役割は何か？
• RQ5 結果を無限大領域にどの程度まで拡張できるか。また、係数および解に必要な成長条件は何か？

主な発見

• Fichera関数の符号に依存せず、滑らかな副解に対して弱いおよび強い最大原理（含むホフプの補題）が成立する。
• ディリクレまたはノイマン条件が主記号が消えない境界部にのみ与えられる滑らかな境界値問題および障害問題の解について、一意性と最大原理に基づく事前推定が確立される。
• 重み付きソボレフ空間による変分的定式化により、対応する方程式および不等式の解について、適切な定式化と一意性が保証される。
• 境界条件は主記号が消える部分の補集合にのみ必要であり、特異境界領域の取り扱いが簡素化される。
• 作用素の係数および解が無限大における適切な成長条件を満たす場合、理論は無限大領域に対しても適用可能である。
• Fichera関数の符号制限が不要であるため、従来の特異状況における最大原理の結果と比較して、より広い適用範囲を持つ。