[論文レビュー] Heat kernels of non-symmetric jump processes: beyond the stable case

Panki Kim, Renming Song+1 more|arXiv (Cornell University)|Jun 7, 2016

Nonlinear Partial Differential Equations参考文献 14被引用数 4

ひとこと要約

本稿は、特徴的指数 $\Phi$ に弱いスケーリング条件を課した一般の対称リーヴィ過程に由来する、非対称で非局所的なジャンプ過程の鋭い熱核推定を確立する。熱核 $p^\kappa(t,x,y)$ に対する上界と下界、ならびに分数階微分および勾配推定を示し、安定型の場合を越えて一般のスケーリング挙動を示すリーヴィ過程の広いクラスへと先行研究を拡張する。

ABSTRACT

Let $J$ be the Lévy density of a symmetric Lévy process in $\mathbb{R}^d$ with its Lévy exponent satisfying a weak lower scaling condition at infinity. Consider the non-symmetric and non-local operator $$ {\mathcal L}^κf(x):= \lim_{ε\downarrow 0} \int_{\{z \in \mathbb{R}^d: |z|>ε\}}(f(x+z)-f(x))κ(x,z)J(z)\, dz\, , $$ where $κ(x,z)$ is a Borel measurable function on $\mathbb{R}^d imes \mathbb{R}^d$ satisfying $0

研究の動機と目的

• 安定型非対称ジャンプ過程の熱核推定理論を、任意の対称リーヴィ過程によって駆動されるより一般的な非対称で非局所的な作用素へと拡張すること。
• 一般の対称リーヴィ過程のリーヴィ密度 $J$ を持つ、ジャンプ核 $\kappa(x,z)J(z)$ を持つ非対称作用素 $\mathcal{L}^\kappa$ の熱核 $p^\kappa(t,x,y)$ に対する上界と下界を確立すること。
• $\kappa(x,z)$ に対する最小限の正則性仮定（空間におけるホルダー連続性を含む）の下で、熱核の分数階微分および勾配推定を導出すること。
• $(t,x,y) \in (0,1] \times \mathbb{R}^d \times \mathbb{R}^d$ における熱核 $p^\kappa(t,x,y)$ の存在および関数としての連続性を保証し、その確率論的・解析的妥当性を裏付けること。
• 先行研究における安定型作用素の結果を一般化し、べき則型核 $|z|^{-d-\alpha}$ を、弱い下限および上限スケーリング条件を満たす一般のリーヴィ密度 $J(z)$ に置き換えること。

提案手法

• 著者らは、$\kappa(x,z)$ が有界性、対称性、$x$ におけるホルダー連続性を満たすものとして、非対称で非局所的作用素 $\mathcal{L}^\kappa f(x) = \mathrm{p.v.} \int_{\mathbb{R}^d} (f(x+z) - f(x)) \kappa(x,z) J(z) \, dz$ を定義する。
• 特徴的指数 $\Phi$ に対して、弱い下限スケーリング条件 $a_1 \lambda^{\delta_1} \Phi(r) \leq \Phi(\lambda r)$（$\lambda \geq 1$, $r \geq 1$）と、積分条件 $\int_0^1 \Phi(r)/r \, dr < \infty$ を仮定する。
• 熱核 $p^\kappa(t,x,y)$ は、強マルコフ性およびリーヴィ系公式を用いた確率論的手法により構成され、最初の抜出自時刻およびジャンプ確率の解析に用いられる。
• 主要な推定は、関数 $\rho(t,x) = \Phi\left( \left( \Phi^{-1}(t^{-1}) + |x| \right)^{-1} \right) \left( \Phi^{-1}(t^{-1}) + |x| \right)^{-d}$ を用いて得られる。この関数は、対称過程の熱核の上界として機能する。
• 下界は経路的解析により確立される。停止時刻 $\sigma$ を用いた遷移確率の分解と、強マルコフ性を応用して、標的球に到達する確率を制御する。
• 証明は、ジャンプ測度 $J(z)$ を従属ブラウン運動のリーヴィ密度 $j(|y|)$ と比較することに依拠し、$\gamma_0^{-1} j(|y|) \leq J(y) \leq \gamma_0 j(|y|)$ のような比較関係を用いる。また、リーヴィ系および抜出自時刻の推定を用いて、球への到達確率を解析する。

実験結果

リサーチクエスチョン

• RQ1 リーヴィ測度が安定的でないが、弱いスケーリング条件を満たす場合に、非対称ジャンプ過程に対して鋭い両側熱核推定を確立できるか？
• RQ2 一般のリーヴィ密度 $J(z)$ を持つ非対称作用素 $\mathcal{L}^\kappa$ の熱核 $p^\kappa(t,x,y)$ に対する正確な上界と下界は何か？
• RQ3 ジャンプ強度 $\kappa(x,z)$ に対して最小限の正則性仮定が課された場合、熱核の分数階微分および勾配推定はどのように振る舞うか？
• RQ4 熱核 $p^\kappa(t,x,y)$ が $(t,x,y)$ に関して連続的であり、チャープマン＝コルモゴロフ方程式を満たすための条件は何か？
• RQ5 安定型の場合の完全なスケーリング性を仮定せず、無限大における弱い下限および上限スケーリングのみを仮定した場合に、熱核の下界を導出できるか？

主な発見

• 熱核 $p^\kappa(t,x,y)$ は $(0,1] \times \mathbb{R}^d \times \mathbb{R}^d$ 上で存在し、関数として連続的であり、$x \neq y$ に対して Fokker-Planck 方程式 $\partial_t p^\kappa = \mathcal{L}^\kappa p^\kappa$ を満たす。
• 上界が確立された：$p^\kappa(t,x,y) \lesssim t \rho(t,x-y)$、ここで $\rho(t,x)$ は特徴的指数 $\Phi$ の逆関数を用いて定義される。
• 下界が証明された：$p^\kappa(t,x,y) \gtrsim t j(|x-y|)$、ここで $j(|y|)$ は元の対称リーヴィ過程のリーヴィ密度であり、追加の弱い上限スケーリング条件を仮定する。
• 分数階微分推定が成立する：$\alpha \in (0,1)$ に対して $|\partial_t^\alpha p^\kappa(t,x,y)| \lesssim t^{-\alpha} \rho(t,x-y)$ が成り立ち、安定型の場合を超える正則性結果が拡張される。
• 勾配推定が確立された：$|\nabla_x p^\kappa(t,x,y)| \lesssim t \rho(t,x-y) \cdot \Phi^{-1}(t^{-1})^{-1}$ が成り立ち、プロセスのスケーリング依存性が明確に示される。
• 熱核はチャープマン＝コルモゴロフ方程式を満たし、正規性を保つことから、その確率論的解釈としての遷移密度としての妥当性が裏付けられる。