[論文レビュー] Poincaré inequality and exponential integrability of hitting times for linear diffusions

Dasha Loukianova, Oleg Loukianov+1 more|ArXiv.org|Jul 4, 2009

Stochastic processes and financial applications参考文献 11被引用数 5

ひとこと要約

本稿は、スケール関数とスピード測度を用いて、1次元線形拡散過程の到達時間の指数的可積分性と生成作用素のスペクトルギャップの間の明確な関係を確立する。到達時間の指数モーメントの存在は、$ B_a^+ $ および $ B_a^- $ の有限性と同値であり、これらは過程のディリクレ型の双一次形式に関連するポアンカーレ不等式およびハーディー不等式を特徴付ける。

ABSTRACT

Let $X$ be a regular linear continuous positively recurrent Markov process with state space $\R$, scale function $S$ and speed measure $m$. For $a\in \R$ denote B^+_a&=\sup_{x\geq a} \m(]x,+\infty[)(S(x)-S(a)) B^-_a&=\sup_{x\leq a} \m(]-\infty;x[)(S(a)-S(x)) We study some characteristic relations between $B^+_a$, $B^-_a$, the exponential moments of the hitting times $T_a$ of $X$, the Hardy and Poincaré inequalities for the Dirichlet form associated with $X$. As a corollary, we establish the equivalence between the existence of exponential moments of the hitting times and the spectral gap of the generator of $X$.

研究の動機と目的

• 1次元線形拡散過程の到達時間の指数モーメントの存在に関する一般基準を確立すること。
• 到達時間の指数モーメントの有限性を拡散過程の生成作用素のスペクトルギャップに関連付けること。
• スケール関数およびスピード測度を用いてポアンカーレ不等式およびハーディー不等式を特徴付けること。
• スピード測度およびスケール関数を用いて定義される量 $ B_a^+ $ および $ B_a^- $ を用いて、スペクトルギャップの鋭い境界を導出すること。
• 特定の過程（例：オーナイシュタイン＝ホルン過程、ヤコビ過程）に関する既知の指数モーメントの結果を、内在的なパスワイズ性質に基づく一様な枠組みに統合・一般化すること。

提案手法

• スピード測度 $ m $ とスケール関数 $ S $ を用いて、$ B_a^+ = \sup_{x \geq a} m(]x,\infty[)(S(x) - S(a)) $ および $ B_a^- = \sup_{x \leq a} m(]-\infty,x[)(S(a) - S(x)) $ を定義し、これらはスピード測度の尾部挙動がスケール関数に対してどのように振る舞うかを定量化する。
• 到達時間 $ T_a $ の指数モーメントに対する境界を確立する：$ \frac{1}{4B_a^+} \leq \lambda_a^+ \leq \frac{1}{B_a^+} $ が成り立ち、$ \lambda_a^- $ に対しても同様の境界が得られる。ここで $ \lambda_a^+ $ は、$ x > a $ に対して $ \mathbb{E}_x[e^{\lambda T_a}] < \infty $ となるような $ \lambda > 0 $ の上界である。
• 区間 $ [a,\infty[ $ および $ ]\infty,a] $ におけるハーディー不等式の最良定数 $ A_a^+ $、$ A_a^- $ を $ B_a^+ $、$ B_a^- $ と関係づけ、$ B_a^+ \leq A_a^+ \leq 4B_a^+ $ が成り立つことを示し、$ B_a^+ $ がハーディー不等式の鋭さを制御することを示す。
• ポアンカーレ定数 $ c_P $ に対して $ \sup_a(A_a^+ \wedge A_a^-) \leq c_P \leq \inf_a(A_a^+ \vee A_a^-) $ が成り立つことを証明し、グローバルなポアンカーレ不等式と局所的なハーディー定数の関係を結ぶ。
• ディリクレ型の双一次形式 $ \mathcal{E}(F) = \int \left( \frac{dF}{dS} \right)^2 dS $ が生成作用素に関連する形であり、スペクトルギャップ $ \gamma $ が $ \gamma = 1/c_P $ を満たすことを示す。
• killed 过程のスペクトルギャップ $ \gamma_a^+ $、$ \gamma_a^- $ がそれぞれ $ \lambda_a^+ $、$ \lambda_a^- $ と等しいこと、すなわち $ \gamma_a^+ = \lambda_a^+ $、$ \gamma_a^- = \lambda_a^- $ を証明し、指数的可積分性、スペクトルギャップ、関数不等式の間の同値関係を完成させる。

実験結果

リサーチクエスチョン

• RQ1 スケール関数 $ S $ およびスピード測度 $ m $ がどのような条件下で、線形拡散過程の到達時間 $ T_a $ の指数モーメントが有限になるか。
• RQ2 線形拡散過程のディリクレ型の双一次形式に関するポアンカーレ不等式およびハーディー不等式は、到達時間の指数的可積分性とどのように関係するか。
• RQ3 生成作用素のスペクトルギャップと、スピード測度およびスケール関数を用いて定義される量 $ B_a^+ $、$ B_a^- $ の間の明確な関係は何か。
• RQ4 到達時間の指数モーメントの存在が、$ B_a^+ $ および $ B_a^- $ の有限性のみによって特徴付けられるか。
• RQ5 killed 过程の局所的スペクトルギャップ $ \gamma_a^+ $、$ \gamma_a^- $ は、全過程のグローバルスペクトルギャップ $ \gamma $ とどのように関係するか。

主な発見

• 指数モーメント $ \mathbb{E}_x[e^{\lambda T_a}] $ が有限であるための必要十分条件は、$ B_a^+ < \infty $ かつ $ B_a^- < \infty $ であることであり、これはスケール関数およびスピード測度に基づく鋭い基準を確立する。
• $ x > a $ に対して $ \mathbb{E}_x[e^{\lambda T_a}] < \infty $ となるような $ \lambda > 0 $ の上界 $ \lambda_a^+ $ は、$ \frac{1}{4B_a^+} \leq \lambda_a^+ \leq \frac{1}{B_a^+} $ を満たし、$ \lambda_a^- $ に対しても同様の境界が成り立つ。
• 区間 $ [a,\infty[ $ および $ ]\infty,a] $ におけるハーディー不等式の最良定数 $ A_a^+ $、$ A_a^- $ は、$ B_a^+ \leq A_a^+ \leq 4B_a^+ $ を満たす。これは $ B_a^+ $ がハーディー不等式の鋭さを制御することを示している。
• グローバルなポアンカーレ定数 $ c_P $ に対して $ \sup_a(A_a^+ \wedge A_a^-) \leq c_P \leq \inf_a(A_a^+ \vee A_a^-) $ が成り立ち、局所的およびグローバルな関数不等式の関係を結ぶ。
• 実数直線上の生成作用素のスペクトルギャップ $ \gamma $ に対して $ \sup_a(\lambda_a^+ \wedge \lambda_a^-) \leq \gamma \leq \inf_a(\lambda_a^+ \vee \lambda_a^-) $ が成り立ち、グローバルギャップが最小および最大の局所的指数モーメントによって制御されることを示す。
• killed 过程のスペクトルギャップ $ \gamma_a^+ $、$ \gamma_a^- $ はそれぞれ $ \lambda_a^+ $、$ \lambda_a^- $ と等しく、指数的可積分性、スペクトルギャップ、関数不等式の間の同値関係を完全に完成させる。