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

Paul M. N. Feehan|arXiv (Cornell University)|Jun 20, 2013

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

ひとこと要約

本稿は、放物境界の一部で拡散係数が消える境界特異型線形放物型偏微分作用素に対して、弱いおよび強い最大原理を確立する。解の一意性および比較原理が、非特異境界部分のみに依存することを示し、より鋭い事前推定および滑らかさの向上した解が得られ、特に数学的ファイナンスにおける確率的ボラティリティモデルにおいて重要である。

ABSTRACT

We develop weak and strong maximum principles for boundary-degenerate, linear, parabolic, second-order partial differential operators, $Lu := -u_t- r(aD^2u)-\langle b, Du angle + cu$, with \emph{partial} Dirichlet boundary conditions. The coefficient, $a(t,x)$, is assumed to vanish along a non-empty open subset, $\mydirac_0!\sQ$, called the \emph{degenerate boundary portion}, of the parabolic boundary, $\mydirac!\sQ$, of the domain $\sQ\subset\RR^{d+1}$, while $a(t,x)$ may be non-zero at points in the \emph{non-degenerate boundary portion}, $\mydirac_1!\sQ := \mydirac!\sQ\less\bar{\mydirac_0!\sQ}$. Points in $\mydirac_0!\sQ$ play the same role as those in the interior of the domain, $\sQ$, and only the non-degenerate boundary portion, $\mydirac_1!\sQ$, is required for boundary comparisons. We also develop comparison principles and a priori maximum principle estimates for solutions to boundary value and obstacle problems defined by boundary-degenerate parabolic operators, again where only the non-degenerate boundary portion, $\mydirac_1!\sQ$, is required for boundary comparisons. Our results complement those in our previous articles [arXiv1204.6613, arXiv:1305.5098].

研究の動機と目的

• 境界特異型線形放物型作用素に対して弱および強い最大原理を確立すること。ここで、拡散係数は放物境界の部分集合で消える。
• 解の解の一意性および比較結果が、全境界ではなく非特異境界部分にのみ依存することを示すこと。
• 特異性を伴う境界値問題および障害問題に対して、事前推定および比較原理を提供すること。
• 古典的Fichera理論と、確率過程および数学的ファイナンスで用いられる現代の関数空間枠組みを調和させること。
• 境界特異型境界に沿って連続な解が、追加のディリクレ条件を課さずに得られることを示し、古典的結果を改善すること。

提案手法

• 作用素 $ Lu = -u_t - \tr(aD^2u) - \bra{b, Du} + cu $ を定義し、$ a $ が放物境界の空でない開部分集合 $ \not{\bar{\nabla}}_0\ncal Q $ で消えることとする。
• 特異境界部分 $ \not{\bar{\nabla}}_0\ncal Q $ と非特異境界部分 $ \not{\bar{\nabla}}_1\ncal Q = \not{\bar{\nabla}}\ncal Q \setminus \overline{\not{\bar{\nabla}}_0\ncal Q} $ を区別し、境界比較には $ \not{\bar{\nabla}}_1\ncal Q $ のみが必要であることとする。
• 弱最大原理の性質を適用し、$ C^2_s $ および $ C^2 $ 関数空間における解の事前推定を導出する。
• 粘性解の技法と、Fichera関数 $ \mathfrak{b} $ におけるFichera型の符号条件を用い、特異境界にディリクレデータを課さずに一意性を保証する。
• 障害問題に対しても、再び非特異境界部分にのみ依存する比較原理および最大原理の推定を確立する。
• 古典的Fichera枠組みは、必要以上に強い正則性仮定を課していることが判明し、現代の関数空間パラダイムがより強い一意性結果をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 ディリクレデータが非特異境界部分にのみ指定される場合、境界特異型放物型作用素に対して最大原理を確立できるか？
• RQ2 境界におけるFichera符号条件が、特異性の存在下で一意性および比較原理に与える影響は何か？
• RQ3 特異境界部分が最大原理において果たす役割は何か？また、これは領域の内部と類似して取り扱えるか？
• RQ4 現代の関数空間枠組み（例：$ C^{2+\beta}_s $）は、特異型PDEの文脈で古典的Fichera理論をどの程度改善できるか？
• RQ5 境界特異型作用素を含む障害問題に対して、どの程度まで事前推定および比較原理を導出できるか？

主な発見

• 作用素 $ L $-下調和関数が有界および非有界領域の両方において $ C^2_s $ で定義されるとき、弱最大原理が成り立ち、最大値は非特異境界部分 $ \not{\bar{\nabla}}_1\ncal Q $ で達成される。
• 境界値問題の解に対する事前推定は、非特異境界データのみを用いて導出され、全境界にデータを要する古典的結果を改善する。
• 放物型Heston作用素に対して、Fichera枠組みにおける第一境界値問題は、現代の定式化とは異なる。$ 0 < \beta < 1 $ のとき、特異境界にディリクレデータを課さなくても一意性が保証される。
• 障害問題の解に対しても、最大原理および比較推定が非特異境界部分にのみ依存して示され、作用素が境界の一部で特異であっても成り立つ。
• 古典的Fichera最大原理は、境界特異型境界に沿って $ C^2 $ であるなどの過剰な正則性仮定を課しているが、現代の枠組みでは特異境界に沿って連続性が保証され、滑らかさの要件は不要である。
• 本稿の結果は、$ 0 < \beta < 1 $ のとき、Ficheraの定理の結果よりも強い一意性を示しており、$ g = 0 $ が全境界 $ \not{\bar{\nabla}}\ncal Q $ ではなく、$ \not{\bar{\nabla}}_1\ncal Q $ のみで成立すれば十分である。