[論文レビュー] Heat kernels for non-symmetric diffusion operators with jumps

Zhen-Qing Chen, Eryan Hu+2 more|arXiv (Cornell University)|Nov 17, 2016

Nonlinear Partial Differential Equations参考文献 13被引用数 5

ひとこと要約

本稿では、$ d \geq 2 $次元における時間に依存する非対称な拡散作用素に付随する熱核の存在、一意性、および鋭い両側推定を確立する。拡散係数およびジャンプカーネルに対してやや強い正則性条件を課した場合、著者らは確率論的および解析的技法を用いて最適な上界および下界、勾配推定、分数階微分推定を導出する。これは、非局所的かつ非対称な設定への古典的熱核理論の拡張を実現する。

ABSTRACT

For $d\geq 2$, we establish the existence and uniqueness of heat kernels for a large class of time-dependent second order diffusion operator with jumps, which is the sum of time-dependent of a second order elliptic differential operators non-divergence form and a non-local $α$-stable-type operator with bounded time-dependent coefficient. Moreover, we obtain sharp two-sided estimates, gradient estimate and fractional derivative estimate for the heat kernels under some mild conditions. Our approach is mainly analytic but also uses some probabilistic techniques.

研究の動機と目的

• 時間に依存する非対称な拡散作用素に付随する熱核の存在および一意性を確立すること。
• 係数およびジャンプカーネルに対する最小限の正則性仮定の下で、熱核の鋭い両側推定を導出すること。
• 有界なジャンプカーネルを有する非局所的・非対称作用素に対し、勾配および分数階微分推定を拡張すること。
• 非リプシッツ連続係数およびジャンプノイズを有するSDEの遷移密度を含む、厳密な解析的枠組みを提供すること。

提案手法

• 著者らは、非ジャンプ成分の基本解とジャンプ成分からの繰り返し補正を含む級数展開として熱核を構成するため、パラメトリックス法に基づく摂動アプローチを用いる。
• 熱核 $ Z(t,x;s,y) $ を、$ \mathscr{L}_t^a $ が2次微分作用素部分を表す後向きコルモゴロフ方程式 $ \partial_t Z + \mathscr{L}_t^a Z = 0 $ の解として定義する。
• ジャンプ作用素 $ \mathscr{L}^\kappa_t $ は有界なカーネル $ \kappa(t,x,z) $ を用いてモデル化され、ジャンプ寄与を制御するためにレヴィ系表現を用いて非局所積分を扱う。
• 重要なステップとして、$ Z_0 $ および摂動項 $ \Phi $ に関する評価を用いて、パラメトリックス級数の収束を証明する。評価は $ (s-t)^{-d/2} $ および $ |x-y|^{-d-\alpha} $ の形で表される。
• 証明は、ドリフト $ b(t,x) $ がカトークラス条件を満たすことで、摂動級数の可積分性および安定性を保証する。
• 一意性は、関連する過程の強フリードリッヒ性とマルコフ性を用いた比較原理により確立される。

実験結果

リサーチクエスチョン

• RQ1 拡散行列 $ a(t,x) $、ドリフト $ b(t,x) $、ジャンプカーネル $ \kappa(t,x,z) $ に対して、熱核が存在し、一意的であるための最小限の正則性条件は何か？
• RQ2 $ \alpha $-安定型ジャンプを有する非対称かつ時間に依存する拡散作用素の熱核に対する鋭い両側推定は何か？
• RQ3 ドリフト $ b \in $ カトークラスの仮定のもとで、勾配および分数階微分推定を導出できるか？
• RQ4 非リプシッツ連続係数および非局所的ジャンプが存在する場合、遷移密度はどのように振る舞うか？

主な発見

• $ d \geq 2 $ の下で、一様楕円性、$ a(t,x) $ のホルダー連続性、および $ b(t,x) \in $ カトークラスの仮定の下で、熱核 $ p(t,x;s,y) $ は存在し、一意的である。
• 鋭い両側推定が確立された：\begin{align*} & C^{-1} \left( t^{-d/2} \wedge (\kappa t)^{-d/\alpha} \right) \wedge \left( t^{-d/2} e^{-\lambda |x|^{2}/t} + \frac{\kappa t}{|x|^{d+\alpha}} \right) \\ & \quad \leq p(t,x) \leq C \left( t^{-d/2} \wedge (\kappa t)^{-d/\alpha} \right) \wedge \left( t^{-d/2} e^{-\lambda^{-1} |x|^{2}/t} + \frac{\kappa t}{|x|^{d+\alpha}} \right) \end{align*}
• 勾配推定が導出された：$ |\nabla_x p(t,x;s,y)| \lesssim t^{-1/2} p(t,x;s,y) $ であり、これは空間における熱核の正則性を示している。
• 分数階微分推定が得られた：$ |\Delta^{\alpha/2}_x p(t,x;s,y)| \lesssim t^{-\alpha/2} p(t,x;s,y) $ であり、ジャンプ成分の非局所的性質を反映している。
• 熱核はチャップマン＝コルモゴロフ方程式を満たし、非負性を満たすため、確率的整合性としての遷移密度としての性質を保証する。
• 熱核の一意性は、強フリードリッヒ性と関連過程のマルコフ性を用いた比較論法により証明された。