[论文解读] Some Estimates for Martingale Representation under G-Expectation

Ying Hu, Shigē Péng|arXiv (Cornell University)|Apr 7, 2010

Stochastic processes and financial applications被引用 8

一句话总结

本文在 G-期望下建立了鞅表示的先验估计，证明了对于 $ X \in L_G^2(\Omega_T) $，分解式 $ M_t = \mathbb{E}_G[X|\mathcal{F}_t] = \mathbb{E}_G[X] + \int_0^t z_s dB_s + \int_0^t \eta_s d\langle B\rangle_s - \int_0^t 2G(\eta_s)ds $ 的存在性与唯一性。文中给出了关键估计 $ \mathbb{E}_{G_\varepsilon}\int_0^T |\eta_t| dt \leq \varepsilon^{-1}(\mathbb{E}_G[X] + \mathbb{E}_{G_\varepsilon}[-X]) $，从而为一般条件下表示的存在性与唯一性提供了新证明。

ABSTRACT

We provides some useful estimates for solving martingale representation problem under G-expectations. We also study the corresponding conditions for the existence and uniqueness.

研究动机与目标

• 为一般 $ X \in L_G^2(\Omega_T) $ 的 G-期望下鞅表示问题提供解答，突破以往仅限于 $ L_{ip} $ 情形的限制。
• 为表示式中过程 $ \eta $ 建立先验估计，以控制二次变差漂移项。
• 证明分解式 $ M_t = \mathbb{E}_G[X|\mathcal{F}_t] = \mathbb{E}_G[X] + \int_0^t z_s dB_s + \int_0^t \eta_s d\langle B\rangle_s - \int_0^t 2G(\eta_s)ds $ 的存在性与唯一性。
• 将 Song（2010）关于 $ L_G^p $（$ p>1 $）的结果推广至 $ L_G^2 $ 情形，通过子线性函数 $ G $ 的扰动实现。

提出的方法

• 引入扰动子线性函数 $ G_\varepsilon(a) = G(a) - \frac{\varepsilon}{2}|a| $，确保当 $ \varepsilon > 0 $ 足够小时 $ G_\varepsilon $ 仍为子线性函数。
• 推导关键估计 $ \mathbb{E}_{G_\varepsilon}\int_0^T |\eta_t| dt \leq \varepsilon^{-1}(\mathbb{E}_G[X] + \mathbb{E}_{G_\varepsilon}[-X]) $，以控制 $ \eta $ 的总变差。
• 利用序列 $ \{\xi_n\} \subset L_{ip}(\Omega_T) $ 沿 $ \rho $-范数收敛于 $ \xi \in L_G^{2,*}(\Omega_T) $ 的性质，将表示式中的极限过程取到极限。
• 通过测试过程 $ \mu_s^{m,n} = \frac{\hat{\eta}_s^{m,n}}{\delta + |\hat{\eta}_s^{m,n}|} $，建立 $ \eta $ 与递增过程 $ A_t $ 之间的对偶关系，进而导出压缩估计。
• 在 $ M_{\overline{G}_\varepsilon}^1(0,T) $ 和 $ H_{\overline{G}_\varepsilon}^\alpha(0,T) $ 中建立柯西序列，确保 $ \eta^n $ 与 $ z^n $ 收敛至极限过程。
• 利用 Song（2010）关于 $ L_G^p $-收敛的结果，验证 $ X \in L_G^2(\Omega_T) $ 时表示式的极限成立。

实验结果

研究问题

• RQ1 能否为一般 $ X \in L_G^2(\Omega_T) $ 的 G-鞅表示中的过程 $ \eta $ 建立先验估计？
• RQ2 表示式 $ \mathbb{E}_G[X|\mathcal{F}_t] = \mathbb{E}_G[X] + \int_0^t z_s dB_s + \int_0^t \eta_s d\langle B\rangle_s - \int_0^t 2G(\eta_s)ds $ 对所有 $ X \in L_G^2(\Omega_T) $ 都存在吗？
• RQ3 在 G-期望框架下，分解式 $ M = M^s - A $ 是否唯一？
• RQ4 能否通过扰动子线性函数 $ G_\varepsilon $ 将表示式从 $ L_{ip}(\Omega_T) $ 扩展至更广范围？
• RQ5 在递增过程 $ A $ 具有有界变差的条件下，表示式存在的条件是什么？

主要发现

• 本文建立了估计式 $ \mathbb{E}_{G_\varepsilon}\int_0^T |\eta_t| dt \leq \varepsilon^{-1}(\mathbb{E}_G[X] + \mathbb{E}_{G_\varepsilon}[-X]) $，该式以 $ X $ 及其负值的子线性期望为基准，界定了 $ \eta $ 的总变差。
• 该估计为 $ X \in L_{ip}(\Omega_T) $ 时 G-鞅表示的存在性提供了新证明，突破了以往结果的限制。
• 作者证明了在递增过程 $ A $ 满足有界变差条件时，表示式 $ M_t = \mathbb{E}_G[X|\mathcal{F}_t] $ 在 $ L_G^p(\Omega_T) $（$ p > 1 $）空间中具有唯一性。
• 序列 $ \{\eta^n\} $ 被证明为 $ M_{\overline{G}_\varepsilon}^1(0,T) $ 中的柯西序列，确保 $ \eta $ 在该空间中收敛至极限。
• 序列 $ \{z^n\} $ 被证明为 $ H_{\overline{G}_\varepsilon}^\alpha(0,T) $ 中的柯西序列，确保布朗运动分量的收敛性。
• 极限表示式 $ \xi = \mathbb{E}_G[\xi] + \int_0^T z_s^\xi dB_s + \int_0^T \eta_s^\xi d\langle B\rangle_s - \int_0^T 2G(\eta_s^\xi)ds $ 对所有 $ \xi \in L_{\overline{G}}^{2,*}(\Omega_T) $ 成立，完成了向 $ L_G^2(\Omega_T) $ 的完整推广。