[論文レビュー] Laws of the iterated logarithm for symmetric jump processes

Panki Kim, Takashi Kumagai+1 more|arXiv (Cornell University)|Apr 23, 2015

advanced mathematical theories参考文献 14被引用数 12

ひとこと要約

この論文は、二面的ヒートカーネル推定を用いて、測度付き距離空間上の対称跳躍過程の繰り返し対数法則（LIL）を確立する。$β$-安定型過程のサンプルパス、局所時刻、および範囲に関するLILを、一般の幾何的・解析的条件下で、Lévy過程から非Lévy跳躍過程への古典的LIL結果の拡張として導出する。

ABSTRACT

Based on two-sided heat kernel estimates for a class of symmetric jump processes on metric measure spaces, the laws of the iterated logarithm (LILs) for sample paths, local times and ranges are established. In particular, the LILs are obtained for $β$-stable-like processes on $α$-sets with $β>0$.

研究の動機と目的

• Lévy過程から一般の非Lévy跳躍過程である対称跳躍過程への古典的繰り返し対数法則（LIL）の拡張を図ること。
• 一般幾何的条件下での測度付き距離空間上における対称跳躍過程のサンプルパス、局所時刻、および範囲に関するLILを確立すること。
• ヒートカーネル推定および大偏差技法を用いて、局所時刻および範囲の正確な漸近的フラクチュエーションを導出すること。
• $β$-安定過程の既知のLIL結果を、やや弱い幾何的仮定の下で$α$-集合上での$β$-安定型過程に一般化すること。
• ディリクレ形式およびヒートカーネル解析を用いて、非Lévy的・非拡散的設定におけるLILの統一的枠組みを提供すること。

提案手法

• 測度付き距離空間上における対称跳躍過程の二面的ヒートカーネル推定を用いて、遷移密度を制御する。
• 大偏差法を適用して、特に生成子の摂動を伴う過程に対して、パスワイズおよび局所時刻LILを導出する。
• Beurling-Denyの公式を用いてディリクレ形式を純粋な跳躍成分に分解し、拡散または殺滅成分を含まない過程に注目する。
• 幾何的条件を課す：体積倍加および$α$-正則性（$c_1 r^\alpha \leq \mu(B(x,r)) \leq c_2 r^\alpha$）を満たすことで、スケール不変性を保証する。
• 最大不等式およびBorel-Cantelliの補題を用いて、局所時刻および範囲の上界・下界のlimsupおよびliminfを導出する。
• 無限直径空間における長時間挙動を解析するため、チェーン構成（補題A.4）を用いて、入れ子かつ重複する球を構築する。

実験結果

リサーチクエスチョン

• RQ1 $β$-安定型過程のサンプルパスおよび局所時刻に関する繰り返し対数法則は、非Lévy対称跳躍過程へと拡張可能か？
• RQ2 一般幾何的条件下で、$α$-集合上における$β$-安定型過程の局所時刻および範囲に関するLILは確立可能か？
• RQ3 ヒートカーネル推定および体積倍加は、跳躍過程の漸近的フラクチュエーションにどのように影響するか？
• RQ4 時間経過に伴う対称跳躍過程の局所時刻の上界および範囲の成長率は、正確にどの程度か？
• RQ5 生成子が摂動を受けてLévy性を失った場合、Lévy過程に対する古典的LIL結果はどの程度まで有効に保たれるか？

主な発見

• $\beta > 0$ である $α$-集合上における $β$-安定型過程に対して、局所時刻の上界のlimsupは、$\limsup_{t\to\infty} \frac{\sup_y l(y,t)}{t^{1-1/\beta}(\log\log t)^{1/\beta}} = c_1$ a.s. を満たし、$c_1 \in (0,\infty)$ である。
• 局所時刻の上界のliminfは、$\liminf_{t\to\infty} \frac{\sup_y l(y,t)}{t^{1-1/\beta}(\log\log t)^{-1+1/\beta}} = c_2$ a.s. を満たし、$c_2 \in (0,\infty)$ である。
• サンプルパスに関しては、$\int_0^\delta h(t)^{-\beta} dt < \infty$ か $= \infty$ かに応じて、$\limsup_{t\to 0} \frac{|X_t|}{h(t)} = 0$ または $\infty$ a.s. となる。
• 範囲 $R(t) = \mu(X([0,t]))$ は、適切なスケーリングのもとで、$\limsup_{t\to\infty} \frac{R_t}{\varphi(t / \log\log t) \log\log t} \leq C$ a.s. を満たす、ある定数 $C > 0$ が存在する。
• 強マルコフ性およびBorel-Cantelliの補題を用いて、$L^*(t) = \sup_x l(x,t)$ および $R(t)$ の連続性が確立される。
• 体積倍加、$α$-正則性、およびスケーリング $t^{-\alpha/\beta} \wedge \frac{t}{d(x,y)^{\alpha+\beta}}$ を持つ二面的ヒートカーネル推定という一般条件のもとで、結果は成り立つ。