[論文レビュー] Construction and heat kernel estimates of general stable-like Markov processes

Victoria Knopova, Alexei Kulik+1 more|arXiv (Cornell University)|May 18, 2020

Diffusion and Search Dynamics参考文献 56被引用数 4

ひとこと要約

本稿では、パラメトリックス法を用いて、状態依存のLévy特性を有する一般化された安定的（stable-like）マルコフ過程を構築し、マーティングル問題の適切性を証明するとともに、鋭い熱核推定を確立する。遷移密度は、主としてα安定的（α-stable-like）な項と、無視できる余剰項に分解され、構造的仮定の下で、余剰項の$L^∞ \otimes L^1$および$L^∞ \otimes L^\u221e$ノルムが制御される。

ABSTRACT

A stable-like process is a Feller process $(X_t)_{t\geq 0}$ taking values in $\mathbb{R}^d$ and whose generator behaves, locally, like an $α$-stable Lévy process, but the index $α$ and all other characteristics may depend on the state space. More precisely, the jump measure need not to be symmetric and it strongly depends on the current state of the process; moreover, we do not require the gradient term to be dominated by the pure jump part. Our approach is to understand the above phenomena as suitable microstructural perturbations. We show that the corresponding martingale problem is well-posed, and its solution is a strong Feller process which admits a transition density. For the transition density we obtain a representation as a sum of an explicitly given principal term -- this is essentially the density of an $α$-stable random variable whose parameters depend on the current state $x$ -- and a residual term; the $L^\infty\otimes L^1$-norm of the residual term is negligible and so is, under an additional structural assumption, the $L^\infty\otimes L^\infty$-norm. Concrete examples illustrate the relation between the assumptions and possible transition density estimates.

研究の動機と目的

• 状態依存の安定的（stable-like）特性（可変安定指数α(x)、状態依存のLévy測度、および漂移項）を有するFeller過程の存在および一意性を確立すること。
• 関連するマーティングル問題が適切に定義されており、解が遷移密度を有する強いFeller過程であることを証明すること。
• 遷移密度を主としてα安定的（α-stable-like）な項と、$L^∞ \otimes L^1$および$L^∞ \otimes L^\u221e$ノルムが制御された余剰項に分解することにより、精密な熱核推定を導出すること。
• 余剰項が無視可能となる十分条件を提示し、遷移密度の鋭い漸近的推定を可能にする。
• 可変オーダーLévy過程および非対称なジャンプ測度を含む具体的な例を通じて、フレームワークの適用可能性を示すこと。

提案手法

• 初期近似$ p_t^0(x,y) $（これはα(x)-安定Lévy過程の密度に対応する）を用いて、反復的補正を施すことで基本解を構成するパラメトリックス法を用いる。
• 遷移密度を$ p_t(x,y) = p_t^0(x,y) + \sum_{k=1}^\infty \Phi_t^{(k)}(x,y) $の形式で級数展開する。ここで$ \Phi_t^{(k)} $は反復的補正項である。
• 収束性と正則性を制御するため、$ L^\infty(dx) \otimes L^1(dy) \otimes L^1(dt) $および$ L^\infty(dx) \otimes L^\infty(dy) \otimes L^1(dt) $空間における関数解析的技法を用いる。
• SDEによって記述される特徴曲線のフロー$ \chi_t(x) $および$ \kappa_t(y) $に関する推定に基づき、核$ \Phi_t^{\mathrm{op}} $および$ \Psi_t $の連続性および減衰性を確立する。
• 正の最大値の原理および半群の性質を用いて、マーティングル問題の解がFeller過程を生成することを確認する。
• Banach空間における収縮写像の原理を用いて、パラメトリックス級数の収束性および解の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 状態依存パrameter（α(x), λ(x), σ(x,dℓ), b(x)）を有する安定的（stable-like）過程がFeller過程として存在するための条件は何か？
• RQ2 このような過程の遷移密度が、主としてα安定的（α-stable-like）な項と、$ L^\infty \otimes L^1 $および$ L^\infty \otimes L^\infty $ノルムが制御された余剰項の和として表現可能である条件は何か？
• RQ3 ジャンプ測度および漂移項に関する構造的仮定は、熱核の正則性および減衰性にどのように影響するか？
• RQ4 遷移密度の対角付近および尾部における正確な漸近的挙動は何か？また、それは局所的なα(x)-安定的挙動とどのように関係するか？
• RQ5 パラメトリックス法は、非対称的かつ状態依存のLévy測度、および支配的でない勾配項を扱うために適応可能か？

主な発見

• 生成子に関連するマーティングル問題は適切に定義されており、一意な強いFeller過程が遷移密度を有することを保証する。
• 遷移密度$ p_t(x,y) $は、$ p_t(x,y) = p_t^0(x,y) + \text{residual} $の形に表現可能であり、ここで$ p_t^0(x,y) $はα(x)-安定確率変数の密度であり、余剰項は$ \|\text{residual}\|_{L^\infty(dx) \otimes L^1(dy)} \to 0 $（$ t \to 0 $のとき）を満たす。
• 追加の構造的仮定の下では、余剰項は$ \|\text{residual}\|_{L^\infty(dx) \otimes L^\infty(dy)} \to 0 $（$ t \to 0 $のとき）を満たし、これは一様に小さいことを示唆する。
• 十分小さい時間$ t \leq t_0 $に対して、$ \int_{|y-x| \leq t^{1/\alpha}} p_t(x,y)\,dy \geq c - C t^{\epsilon_R} $が成り立ち、過程が局所的に指数α(x)の安定過程と同様に振る舞うことを示している。
• 球上での killed 过程の遷移密度が$ p_t^{\mathrm{cut}}(x,y) $を支配しており、$ |x| < 1/2 $のとき、$ \int_{|y| \leq 1/2} p_t^{\mathrm{cut}}(x,y)\,dy \geq c > 0 $を満たす。これは非退化な局所的挙動を確認する。
• パラメトリックス構成により、$ L^\infty(dx) \otimes L^\infty(dy) \otimes L^1(dt) $における一意な解が得られ、最終的な密度は$ \widetilde{p}_t(x,y) = e^{-\lambda t} p^{\mathrm{cut}}_t(x,y) $を満たす。この関係式は、主な熱核推定を証明するために用いられる。