[论文解读] Properties of hitting times for $G$-martingale

Yongsheng Song|arXiv (Cornell University)|Jan 27, 2010

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

一句话总结

本文证明了停止的 $G$-鞅仍为 $G$-鞅，且具有严格递增的二次变差的对称 $G$-鞅的 hitting 时间是拟连续的。这些结果使得 $G$-鞅表示定理得以改进，相较于先前的工作，允许有界对称逼近，并将表示范围扩展至具有上界的 $L^2_G$-可积随机变量。

ABSTRACT

In this article, we consider the properties of hitting times for $G$-martingale and the stopped processes. We prove that the stopped processes for $G$-martingales are still $G$-martingales and that the hitting times for a class of $G$-martingales including $G$-Brownian motion are quasi-continuous. As an application, we improve the $G$-martingale representation theorems in [Song10].

研究动机与目标

• 研究在非线性期望空间中 $G$-鞅的 hitting 时间与停止过程的性质。
• 解决在非线性期望框架下，停止过程可能不保持 $G$-鞅性质的挑战。
• 建立包括 $G$-布朗运动在内的某类 $G$-鞅的 hitting 时间的拟连续性。
• 通过停止时间技术改进 [Song10] 中的 $G$-鞅表示定理。
• 证明任一 $L^2_G$ 中的对称随机变量均可由有界对称随机变量逼近。

提出的方法

• 证明在 $G$-期望框架下，$G$-鞅 $M_t$ 的停止过程 $M^\tau_t$ 仍为 $G$-鞅。
• 利用 $G$-布朗运动的结构，证明具有严格递增二次变差过程的对称 $G$-鞅的 hitting 时间为拟连续。
• 使用一列停止时间 $\sigma_n$ 对 $G$-鞅的有界版本进行局部化，以实现在 $L^2_G$-范数下的收敛。
• 应用 $G$-Itô 公式及 B-D-G/Doob 不等式，控制逼近序列在 $H^2_G$ 与 $L^2_G$ 空间中的收敛性。
• 构造分解 $M_t = M_0 + \int_0^t Z_s dB_s - K_t$，其中 $K_t$ 为拟连续的递增过程，将表示结果推广至 $L^2_G(\Omega_T)$ 中上界有界的 $\xi$。
• 利用条件期望的拟连续性与局部化技术，确保逼近序列在 $G$-鞅框架下的收敛性。

实验结果

研究问题

• RQ1 在 $G$-期望框架下，$G$-鞅的停止过程是否仍为 $G$-鞅？
• RQ2 具有严格递增二次变差过程的对称 $G$-鞅的 hitting 时间是否为拟连续？
• RQ3 任一对称的 $\xi \in L^2_G(\Omega_T)$ 是否可在 $L^2_G$-范数下被有界对称随机变量逼近？
• RQ4 能否通过停止时间技术改进 $G$-鞅表示定理，以处理上界有界的随机变量？
• RQ5 对于 $L^2_G(\Omega_T)$ 中上界有界的 $\xi$，分解 $M_t = M_0 + \int_0^t Z_s dB_s - K_t$ 是否成立，且 $K_t$ 为拟连续的递增过程？

主要发现

• $G$-鞅 $M_t$ 的停止过程 $M^\tau_t$ 仍为 $G$-鞅，保持了在停止操作下的鞅性质。
• 具有严格递增二次变差的对称 $G$-鞅的 hitting 时间为拟连续，确保了在 $G$-框架下的正则性。
• 任一对称的 $\xi \in L^2_G(\Omega_T)$ 均可在 $L^2_G$-范数下被有界对称随机变量逼近。
• 改进了 $G$-鞅表示定理：对于上界有界的 $\xi \in L^2_G(\Omega_T)$，$M_t = \hat{E}_t(\xi)$ 允许分解 $M_t = M_0 + \int_0^t Z_s dB_s - K_t$，其中 $K_t$ 为拟连续的递增过程。
• $K_t$ 分解中的过程属于 $L^2_G(\Omega_T)$，将表示的有效性扩展至原始 $L^2_G$-有界情形之外。
• 通过 B-D-G 与 Doob 不等式，建立了逼近序列 $\{Z^n_t\}$ 与 $\{K^n_t\}$ 在 $H^2_G$ 与 $L^2_G$ 空间中的收敛性，确保了极限表示的存在性。