[论文解读] Excursions Above the Minimum for Diffusions

P. J. Fitzsimmons|arXiv (Cornell University)|Aug 23, 2013

Stochastic processes and statistical mechanics参考文献 13被引用 5

一句话总结

本文为规则扩散过程在其过去最小值之上的首段运动构建了一个 Lévy 系统，从而实现统一的路径分解框架。它给出了 Vervaat 定理的新证明，表明通过在最小值处分割并重新排序，布朗桥可转化为布朗首段运动；并利用首段理论与首段律技术，构建了该变换的逆变换。

ABSTRACT

We demonstrate the existence of a "Lévy system" for the excursions of a one-dimensional diffusion process above its past-minimum process. As applications we provide a direct proof of D. Williams' decomposition (in both a global and a local form) and of a theorem of W. Vervaat.

研究动机与目标

• 通过 Maisonneuve 的退出系统理论，形式化规则扩散过程在历史最小值之上的首段点过程。
• 利用首次通过过程的独立增量性质，为首段点过程构建一个 Lévy 系统。
• 将 Williams 在全局最小值处对扩散过程的分解推广至更广泛的扩散类。
• 为 Vervaat 的路径变换提供一个新且统一的证明，该变换将布朗桥与布朗首段运动联系起来。
• 建立 Vervaat 变换的逆变换，表明如何通过分割和重排布朗首段运动来重构布朗桥。

提出的方法

• 应用 Maisonneuve 的退出系统理论于辅助过程 $\overline{X}_t$，推导出在历史最小值之上的首段运动的 Lévy 系统。
• 利用 Itô 首段律与 local time，刻画在固定水平 $y$ 之上的首段分布，将其与首段测度 $n_y$ 联系起来。
• 定义一个拼接映射 $\Phi$，该映射在随机时间 $u$ 处分割路径，并重新排列各段，以模拟 Vervaat 变换。
• 在 $\overline{\Omega} = \Omega_0 \times ]0,1[$ 上构造联合分布，使用布朗首段测度 $P_+$ 与 Lebesgue 测度 $\lambda$ 的乘积。
• 通过路径拼接与时间反转，建立 $\overline{P}$ 下 $ (\Phi, V, X_U) $ 的联合分布与 $P_0$ 下 $ (\omega, \rho_1, -H_1) $ 的联合分布之间的对偶性。
• 利用时间反转与首段核恒等式，验证 $ \Psi \circ \Phi = \text{id} $，从而证明逆变换成立。

实验结果

研究问题

• RQ1 如何将扩散过程在历史最小值之上的首段描述为具有 Lévy 系统的点过程？
• RQ2 Williams 在全局最小值处对扩散过程的分解是否可超越布朗运动而推广至更广类别的扩散过程？
• RQ3 通过路径变换，布朗桥与布朗首段运动之间的精确关系是什么？
• RQ4 是否存在 Vervaat 变换的规范逆变换，能够从首段运动重构布朗桥？
• RQ5 在布朗桥下，最小值时间与最小值的联合分布如何与首段结构相关联？

主要发现

• 为规则扩散过程在历史最小值之上的首段点过程构建了 Lévy 系统，将 Itô 首段律推广至时变设置。
• 本文建立了 Williams 分解在扩散过程全局最小值处的一般版本，扩展了已知于布朗运动的结果。
• 为 Vervaat 定理给出了新证明，表明若在最小值处分割布朗桥并重新排列其各段，则可得到布朗首段运动。
• 构建了 Vervaat 变换的逆变换：布朗首段运动可在随机时间 $u$ 处被分割，其各段重新排列后可得到布朗桥。
• $\overline{P}$ 下 $ (\Phi(V, X_U)) $ 的联合分布与 $P_0$ 下 $ (\omega, \rho_1, -H_1) $ 的联合分布一致，证实了路径变换的正确性。
• $\Psi$ 满足 $\Psi(P_0) = P_+$，证明了经重排后的路径的分布确实是布朗首段运动的分布。