[论文解读] 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

一句话总结

本文通过使用速度测度和尺度函数，精确建立了在一维线性扩散过程中首次 hitting 时间的指数可积性与生成元谱 gap 之间的联系。证明了 hitting 时间指数矩的存在性等价于量 $ B_a^+ $ 和 $ B_a^- $ 的有限性，这些量刻画了与过程 Dirichlet 型式相关的 Poincaré 不等式和 Hardy 不等式。

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$.

研究动机与目标

• 建立一维线性扩散过程中 hitting 时间指数矩存在的通用判据。
• 将指数矩的有限性与扩散过程生成元的谱 gap 联系起来。
• 以尺度函数和速度测度为工具，刻画 Poincaré 不等式和 Hardy 不等式。
• 通过基于速度测度和尺度函数定义的量 $ B_a^+ $ 和 $ B_a^- $，推导谱 gap 的精确界限。
• 将已知特定过程（如 Ornstein-Uhlenbeck、Bessel）的指数矩结果统一并推广到一个基于内在路径性质的单一框架中。

提出的方法

• 定义 $ 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)) $，这些量量化了速度测度相对于尺度函数的尾部行为。
• 建立 hitting 时间 $ 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] $ 上 Hardy 不等式中的最佳常数 $ A_a^+ $、$ A_a^- $ 与 $ B_a^+ $、$ B_a^- $ 联系起来，证明 $ B_a^+ \leq A_a^+ \leq 4B_a^+ $，并类似地处理 $ A_a^- $。
• 证明全局 Poincaré 常数 $ c_P $ 满足 $ \sup_a(A_a^+ \wedge A_a^-) \leq c_P \leq \inf_a(A_a^+ \vee A_a^-) $，将全局 Poincaré 不等式与局部 Hardy 常数联系起来。
• 证明 Dirichlet 型式 $ \mathcal{E}(F) = \int \left( \frac{dF}{dS} \right)^2 dS $ 是生成元的关联型式，且谱 gap $ \gamma $ 满足 $ \gamma = 1/c_P $。
• 建立等价关系 $ \gamma_a^+ = \lambda_a^+ $ 和 $ \gamma_a^- = \lambda_a^- $，其中 $ \gamma_a^+ $、$ \gamma_a^- $ 是在点 $ a $ 处被吸收过程的谱 gap，从而完成指数可积性、谱 gap 与函数不等式之间等价关系的闭环。

实验结果

研究问题

• RQ1 在尺度函数 $ S $ 和速度测度 $ m $ 满足何种条件下，线性扩散过程的 hitting 时间 $ T_a $ 具有有限的指数矩？
• RQ2 线性扩散过程的 Dirichlet 型式相关的 Poincaré 不等式与 Hardy 不等式，如何与 hitting 时间的指数可积性相关联？
• RQ3 生成元的谱 gap 与通过速度测度和尺度函数定义的量 $ B_a^+ $、$ B_a^- $ 之间存在何种精确关系？
• RQ4 是否可以仅通过 $ B_a^+ $ 和 $ B_a^- $ 的有限性来刻画 hitting 时间指数矩的存在性？
• RQ5 被吸收过程在点 $ a $ 处的局部谱 gap $ \gamma_a^+ $、$ \gamma_a^- $ 与全过程中全局谱 gap $ \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] $ 上 Hardy 不等式中的最佳常数 $ A_a^+ $、$ A_a^- $ 满足 $ B_a^+ \leq A_a^+ \leq 4B_a^+ $，表明 $ B_a^+ $ 控制了 Hardy 不等式的紧致性。
• 全局 Poincaré 常数 $ c_P $ 满足 $ \sup_a(A_a^+ \wedge A_a^-) \leq c_P \leq \inf_a(A_a^+ \vee A_a^-) $，将局部与全局函数不等式联系起来。
• 在 $ \mathbb{R} $ 上生成元的谱 gap $ \gamma $ 满足 $ \sup_a(\lambda_a^+ \wedge \lambda_a^-) \leq \gamma \leq \inf_a(\lambda_a^+ \vee \lambda_a^-) $，表明全局 gap 受最小与最大局部指数矩控制。
• 在点 $ a $ 处被吸收过程的谱 gap $ \gamma_a^+ $、$ \gamma_a^- $ 分别等于 $ \lambda_a^+ $、$ \lambda_a^- $，从而完成了指数可积性、谱 gap 与函数不等式之间等价关系的闭环。