[論文レビュー] The complement value problem for non-local operators

Wei Sun|arXiv (Cornell University)|Mar 31, 2018

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

ひとこと要約

本稿は、ラプラシアン、分数階ラプラシアン、および漂流・ポテンシャル項を組み合わせた非局所作用素に対する補集合値問題に対して、有界連続弱解の存在および一意性を確立する。半ディリクレ形式およびヒートカーネル推定を用いて、マルコフ過程と領域の補集合における到達時間を含む期待値による解の確率的表現を導出する。

ABSTRACT

Let $D$ be a bounded Lipschitz domain of $\mathbb{R}^d$. We consider the complement value problem $$ \left\{\begin{array}{l}(Δ+a^αΔ^{α/2}+b\cdot abla+c)u+f=0\ \ { m in}\ D,\\ u=g\ \ { m on}\ D^c. \end{array} ight.$$ Under mild conditions, we show that there exists a unique bounded continuous weak solution. Moreover, we give an explicit probabilistic representation of the solution. The theory of semi-Dirichlet forms and heat kernel estimates play an important role in our approach.

研究の動機と目的

• 非局所楕円型積分微分方程式に対して、補集合値条件を満たす有界連続弱解の存在および一意性を確立すること。
• 非局所作用素に関連するマルコフ過程を用いて、解の確率的表現を提供すること。
• 係数が連続でない場合や最大値原理が成り立たない場合にまで拡張された非局所作用素の理論を展開すること。
• 半ディリクレ形式および最近のヒートカーネル推定を活用して、非局所設定における解析的困難を克服すること。
• 境界上での正則性、特に境界データが連続である場合に境界点で連続となることを含めた、解の境界に沿った連続性を証明すること。

提案手法

• 半ディリクレ形式の理論を用いて非局所作用素を分析し、弱解の存在および一意性を確立する。
• 陳と胡（2018）のヒートカーネル推定を用いて、関連するマルコフ過程の遷移密度を制御する。
• $ \mathbb{R}^d$ 上の作用素 $L = \Delta + a^\alpha \Delta^{\alpha/2} + b\cdot\nabla$ に関連する強マルコフ過程 $(X_t, P_x)$ を構成する。
• 解の確率的表現を $u(x) = \mathbb{E}_x\left[e(\tau)g(X_\tau) + \int_0^\tau e(s)f(X_s)ds\right]$ として導出する。ここで $\tau = \inf\{t > 0 : X_t \in D^c\}$ である。
• 半マルティンゲールの部分積分公式を適用し、マルティンゲール表現を導出し、劣微分収束定理を用いて一意性を証明する。
• 切り捨ておよび正則化を用いた近似技術を用いて、低正則性係数に対処し、極限における収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 漂流およびポテンシャル項を有する非局所作用素に対する補集合値問題が、一意な有界連続弱解を有するための条件は何か？
• RQ2 係数が連続でない場合や最大値原理が成り立たない場合に、解の確率的表現を厳密に導出することは可能か？
• RQ3 ヒートカーネル推定および半ディリクレ形式理論は、有界領域における非局所作用素の解析をどのように支援するか？
• RQ4 境界データ $g$ が $D^c$ 上に与えられたとき、解は $\partial D$ 上でどの程度の正則性を有するか、特に連続性はどのように保証されるか？
• RQ5 指数的モーメント $\mathbb{E}_x[\exp(\int_0\nolimits^\tau c^+(X_s)ds)]$ の有限性を保証するためのポテンシャルの正の部分 $c^+$ の役割は何か？

主な発見

• $\|c^+\|_{L^{p\vee 1}} \leq M$ を満たすある $M > 0$ に対して、補集合値問題 (1.1) に対して、 $u \in B_b(\mathbb{R}^d)$ なる一意な有界連続弱解が存在する。
• 解は明示的な確率的表現 $u(x) = \mathbb{E}_x\left[e(\tau)g(X_\tau) + \int_0^\tau e(s)f(X_s)ds\right]$ を持つ。ここで $e(t) = \exp(\int_0^t c(X_s)ds)$ であり、 $\tau = \inf\{t > 0 : X_t \in D^c\}$ である。
• $g$ が $z \in \partial D$ で連続ならば、 $\lim_{x \to z} u(x) = u(z)$ が成り立ち、解の境界正則性が保証される。
• 解は分布的意味で方程式を満たす。すべての $\phi \in C_c^\infty(D)$ に対して、(1.4) の恒等式が成り立ち、勾配項、非局所項、漂流項、ポテンシャル項、および外力項を含む。
• $c \leq 0$ のとき、解は $\overline{D}$ 上で連続であり、解空間は $u \in B_b(\mathbb{R}^d)$ かつ $u|_D \in W^{1,2}_{\text{loc}}(D) \cap C(\overline{D})$ を満たす。
• 一意性はマルティンゲールの議論および劣微分収束定理を用いて証明され、与えられたモーメント条件の下で、同次問題の唯一の解はゼロ解であることが示される。