[論文レビュー] Heat kernels and analyticity of non-symmetric jump diffusion semigroups

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|Jun 20, 2013

Nonlinear Partial Differential Equations参考文献 18被引用数 7

ひとこと要約

本稿は、跳躍強度 κ(x,z) が Hölder 継続的かつ楕円的条件を満たすもとで、形式 $\mathscr{L}^\kappa_\alpha f(x) = \text{p.v.}\int (f(x+z)-f(x))\frac{\kappa(x,z)}{|z|^{d+\alpha}}\,dz$ の非局所作用素によって生成される非対称跳躍拡散半群に関して、鋭い両側の熱核推定、分数階微分および勾配の評価、および jointly Hölder 継続性を確立する。主な貢献は、すべての $p \in [1,\infty)$ に対して $L^p$-空間における関連半群の解析的性質の証明と、方程式 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ に対する最大原理の確立である。

ABSTRACT

Let $d\geq 1$ and $α\in (0, 2)$. Consider the following non-local and non-symmetric Lévy-type operator on $\mR^d$: $$ \sL^κ_αf(x):=\mbox{p.v.}\int_{\mR^d}(f(x+z)-f(x))\frac{κ(x,z)}{|z|^{d+α}} \dif z, $$ where $0

研究の動機と目的

• 非退化状態における非対称かつ非局所的な安定型作用素に対する正則性および解析的性質に関する結果の不足を補う。
• 非対称作用素 $\mathscr{L}^\kappa_\alpha$ の基本解（熱核）$p^\kappa_\alpha(t,x,y)$ をリーヴィの方法を用いて構成する。
• 熱核に対する鋭い両側推定、分数階微分および勾配の評価を確立する。
• 熱核の $(t,x)$ における jointly Hölder 継続性および、すべての $p \in [1,\infty)$ に対して関連半群が $L^p$-空間で解析的であることを証明する。
• 方程式 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ の解に対して最大原理を確立する。
• 半群を martingale 問題を介して Feller process と関連づけ、その Lévy システムを特定する。

提案手法

• 非対称作用素 $\mathscr{L}^\kappa_\alpha$ の基本解（熱核）$p^\kappa_\alpha(t,x,y)$ をリーヴィの方法を用いて構成する。
• 出場時間の推定および強マルコフ性を用いた確率的議論により、熱核の下界を導出する。
• スケーリングおよび比較の議論を用いて、$\kappa(x,z)$ の $x$ における Hölder 継続性を活用し、熱核に対する鋭い両側推定を確立する。
• 経路に沿った推定および過程のモーメントの有界性を用いて、$p^\kappa_\alpha(t,x,y)$ の $(t,x)$ における jointly Hölder 継続性を証明する。
• 作用素 $\mathscr{L}^\kappa_\alpha$ に関連する Feller 过程 $X$ の Lévy システムを特定し、$\mathbb{P}_x$ が $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ の martingale 問題を満たすことを検証する。
• 熱核推定と関数解析的計算および摂動論を組み合わせることで、半群の $L^p$-空間における解析的性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 Hölder 継続的跳躍強度 $\kappa(x,z)$ を持つ非対称かつ非局所的な安定型作用素 $\mathscr{L}^\kappa_\alpha$ の熱核に対する鋭い両側推定は何か？
• RQ2 $\kappa(x,z)$ の正則性から、熱核の $(t,x)$ における jointly Hölder 継続性はどのように生じるか？
• RQ3 $p \in [1,\infty)$ に対して、$\mathscr{L}^\kappa_\alpha$ が生成する半群の解析的性質は何か？
• RQ4 $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ の martingale 問題の解は、遷移密度 $p^\kappa_\alpha(t,x,y)$ を持つ Feller 過程とどのように関係するか？
• RQ5 $\kappa(x,z)$ に与えられた条件下で、方程式 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ の解に対して成立する最大原理は何か？

主な発見

• すべての $t>0$ および $x,y \in \mathbb{R}^d$ に対して、$C^{-1} \frac{t}{(t^{1/\alpha} + |x-y|)^{d+\alpha}} \leq p^\kappa_\alpha(t,x,y) \leq C \frac{t}{(t^{1/\alpha} + |x-y|)^{d+\alpha}}$ の形の鋭い両側推定が成り立つ。ここで $C \geq 1$ は $d$, $\alpha$, $\kappa_0$, $\kappa_1$, $\kappa_2$ のみに依存する。
• 熱核は $(t,x)$ において jointly Hölder 継続的であり、Hölder 指数は $\beta$ および $\alpha$ に依存する。
• $\mathscr{L}^\kappa_\alpha$ が生成する半群は、すべての $p \in [1,\infty)$ に対して $L^p(\mathbb{R}^d)$ で解析的であり、古典的な De Giorgi-Nash-Moser 理論を非対称かつ非局所的作用素へと拡張する。
• 方程式 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ の解に対して最大原理が成り立ち、非負の解は放物的境界上で最大値をとることを保証する。
• 作用素 $\mathscr{L}^\kappa_\alpha$ に関連する Feller 過程 $X$ は、そのジャンプ挙動を特徴付ける Lévy システムを持ち、$\mathbb{P}_x$ は $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ の martingale 問題を満たす。
• 熱核 $p^\kappa_\alpha(t,x,y)$ は Feller 過程 $X$ の遷移密度であり、論文内の SDE (1.18) の解は $X$ と同じ分布を持つ。これにより、半群の確率的表現が裏付けられる。