[論文レビュー] PARTIAL DIFFERENTIAL OPERATORS WITH NON-NEGATIVE CHARACTERISTIC FORM, MAXIMUM PRINCIPLES, AND UNIQUENESS FOR BOUNDARY VALUE AND OBSTACLE PROBLEMS

Paul M. N. Feehan|arXiv (Cornell University)|Jan 1, 2013

Advanced Mathematical Modeling in Engineering参考文献 54被引用数 13

ひとこと要約

本稿では、特徴的形式が非負である退化楕円型偏微分方程式の古典的解に対して、弱いおよび強い最大原理（ハフプの補題を含む）を、退化領域におけるベンチェル型第二順位境界条件のもとで確立する。これらの原理を用いて、境界値問題および障害問題の解の一意性と事前推定を示し、重み付きソボレフ空間を用いた変分的定式化により、有界または無限大領域においても係数および解の成長条件のもとで成立する。

ABSTRACT

We prove weak and strong maximum principles, including a Hopf lemma, for classical solutions to equations defined by linear, second-order, partial differential operators with non- negative characteristic form (degenerate-elliptic operators), in the presence of a second-order boundary condition of Ventcel type along the degeneracy locus of the principle symbol of the operator on the domain boundary. We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators, again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the degeneracy 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階作用素の主要記号における退化が引き起こす解析的課題に対処すること。

提案手法

• 特徴的形式が非負である線形2階偏微分方程式の古典的解に対して、弱いおよび強い最大原理を導出する。
• 主記号の退化領域における退化の状況を扱うために、ベンチェル型第二順位境界条件を導入する。
• 最大原理を用いて、非退化境界部に混合ディリクレ/ノイマン条件を課した境界値問題および障害問題の解の一意性および事前推定を証明する。
• 重み付きソボレフ空間を用いて、偏微分方程式に関連する変分方程式および不等式を定式化・解析する。
• 作用素係数および解の成長条件のもとで、無限大領域における適切な定式化を維持する。
• 一様楕円性の喪失に対処するため、楕円型偏微分方程式理論および退化作用素解析の技術を用いる。

実験結果

リサーチクエスチョン

• RQ1 特徴的形式が非負である退化楕円型作用素に対して、最大原理（ハフプの補題を含む）をどのように拡張できるか。
• RQ2 作用素が境界の一部で退化している場合、境界値問題の古典的解の一意性および事前推定を保証する条件は何か。
• RQ3 ベンチェル型第二順位境界条件は、退化領域における解の挙動にどのように影響を与えるか。
• RQ4 このような退化作用素に対して、最大原理の枠組みを重み付きソボレフ空間における変分的定式化にどのように適応できるか。
• RQ5 有界でない領域における適切な定式化を保つために、係数および解に必要な成長条件は何か。

主な発見

• 特徴的形式が非負である退化楕円型偏微分方程式の古典的解に対して、退化領域におけるベンチェル型境界条件のもとで、強い最大原理（ハフプの補題を含む）が確立された。
• 混合ディリクレ/ノイマン条件および退化領域におけるベンチェル条件のもとで、境界値問題および障害問題の古典的解の一意性が証明された。
• 古典的解のための事前最大原理推定が導出され、境界データおよび作用素構造に依存するバインディングが得られた。
• 重み付きソボレフ空間による変分的定式化を用いて、枠組みが拡張され、変分不等式の解に対する弱い最大原理および一意性が保証された。
• 作用素係数および解の成長条件が適切に設定されていれば、結果は有界または無限大領域に対しても成立し、適切な定式化が維持された。