[论文解读] Wentzel-Freidlin estimates for jump processes in semi-group theory: upper bound

Rémi Léandre|arXiv (Cornell University)|May 26, 2010

Advanced Operator Algebra Research参考文献 1被引用 7

一句话总结

本文通过半群理论，将随机分析中的大偏差原理转化为Feller生成元与Hamilton-Jacobi-Bellman方程的框架，建立了跳跃过程背景下Wentzel-Freidlin估计的上界。关键结果表明，跳跃过程转移概率的对数衰减速率被时间积分作用泛函的下确界所上界控制，该作用泛函通过生成元符号的Legendre变换定义。

ABSTRACT

We give a translation in semi-group theory of Wentzel-Freidlin estimates for Poisson process. We consider the case of the upper bound.

研究动机与目标

• 通过半群理论方法，将Wentzel-Freidlin大偏差理论推广至跳跃过程。
• 在跳跃强度趋于零时，推导跳跃过程中转移概率对数衰减速率的上界。
• 通过Legendre对偶性，建立跳跃过程生成元与相应Hamilton-Jacobi-Bellman方程之间的联系。
• 将随机分析中用于泊松驱动过程的指数鞅技巧，转化为半群理论框架。

提出的方法

• 本文引入与Lévy测度 $ \mu(x,dz) $ 相关的时间缩放生成元 $ L^h $，以建模跳跃动力学。
• 将哈密顿量 $ H(x,\xi) $ 定义为 $ \exp[\langle z,\xi \rangle] - 1 - \langle z,\xi \rangle $ 关于Lévy测度的积分。
• 利用 $ H(x,\xi) $ 的Legendre变换 $ L(x,\alpha) $ 定义作用泛函 $ S(\phi) = \int_0^1 L(\phi(t), \dot\phi(t)) dt $，该泛函控制大偏差率。
• 在 $ \mathbb{R}^d \times \mathbb{R} $ 上构造一个修正生成元 $ \overline{L}^h $，以建模指数鞅，确保 $ \overline{L}^h \exp[\langle C,x \rangle - y] = 0 $。
• 证明过程采用半群表示，并利用Hölder不等式控制转移概率的增长，借助Gronwall引理由控制指数矩。
• 使用折线路径对路径空间进行离散化，通过分段线性控制近似作用泛函，利用Legendre变换控制与真实作用泛函的偏差。

实验结果

研究问题

• RQ1 如何将跳跃过程的Wentzel-Freidlin估计在半群理论语言中重新表述？
• RQ2 当跳跃强度 $ h \to 0 $ 时，跳跃过程中转移概率对数衰减速率的上界是什么？
• RQ3 哈密顿量的Legendre变换如何与跳跃过程的大偏差率函数相关联？
• RQ4 随机分析中用于泊松驱动过程的指数鞅技巧能否被适配至纯跳跃过程的半群框架？
• RQ5 Lévy测度与生成元需满足何种条件，以保证大偏差率函数的存在性与正则性？

主要发现

• 转移概率对数衰减的上界为 $ \overline{\lim}_{h \to 0} h \log P_1^h[1_O](x) \leq -\inf_{y \in O} l(x,y) $，其中 $ l(x,y) $ 是从 $ x $ 到 $ y $ 的路径上作用泛函的下确界。
• 在假设条件下，作用泛函 $ S(\phi) = \int_0^1 L(\phi(t), \dot\phi(t)) dt $ 有限且连续，确保率函数有良好定义。
• Legendre变换 $ L(x,\alpha) $ 在 $ \alpha $ 上具有一致强凸性，且其Hessian在有界 $ \alpha $ 下有下界 $ mI_d $，保证率函数的正则性。
• 证明表明，偏离最优路径的路径概率以指数速度衰减，衰减速率由作用泛函控制。
• 通过使用修正生成元 $ \overline{L}^h $ 与指数鞅结构，可控制半群范数，借助Gronwall不等式获得关于 $ h $ 的一致有界性。
• 该结果在最小正则性假设下成立：Lévy密度 $ g(x,z) $ 在 $ z \neq 0 $ 处连续，且Lévy测度的二阶绝对矩一致有界。