[论文解读] On the strict comparison theorem for $G$-expectations

Xinpeng Li|arXiv (Cornell University)|Feb 9, 2010

Stochastic processes and financial applications参考文献 10被引用 7

一句话总结

本文建立了 $G$-期望的严格比较定理，证明了若 $X \leq Y$ 几乎必然成立，且在正 Choquet 容量的集合上满足 $X < Y$，则在额外的正则性或对称性条件下，有 $\hat{\mathbb{E}}[X] < \hat{\mathbb{E}}[Y]$。结果将线性期望下的经典严格比较推广至子线性 $G$-期望框架，采用粘性解与基于容量的分析方法。

ABSTRACT

This paper investigates the strict comparison theorem under the framework of $G$-expectation, i.e., let $X\leq Y$ q.s., if $X,Y$ satisfy some additional conditions, then $\E[X]

研究动机与目标

• 将线性期望的经典严格比较性质推广至 $G$-期望的子线性框架。
• 确定 $X \leq Y$ 几乎必然且 $P(X<Y)>0$ 蕴含 $\hat{\mathbb{E}}[X] < \hat{\mathbb{E}}[Y]$ 的充分条件。
• 阐明 $G$-正态分布、粘性解与 Choquet 容量在确保期望严格不等式中的作用。
• 提供反例，表明仅 $v(X<Y)>0$ 不足以保证 $G$-期望下的严格比较。

提出的方法

• 利用 $G$-热方程与粘性解理论，通过完全非线性 PDE 刻画 $G$-期望。
• 应用最大值原理与 Krylov-Safonov 估计，推导具有负初值解的下界。
• 采用 Choquet 容量 $v(A) = \sup_{P \in \mathcal{P}} P(A)$ 定义几乎必然（q.s.）性质与正容量集合。
• 通过构造 $G$-布朗运动的二次变差过程 $\langle B \rangle_t$ 的反例，表明在无附加条件时严格比较会失效。
• 依赖于 $X \in L^1_G(\Omega)$ 时的表示式 $\hat{\mathbb{E}}[X] = \sup_{P \in \mathcal{P}} E_P[X]$，将 $G$-期望与一族线性期望联系起来。
• 利用拟连续性及随机变量拟连续版本的存在性，确保可测性与基于容量的分析。

实验结果

研究问题

• RQ1 在何种条件下，$X \leq Y$ 几乎必然且 $v(X < Y) > 0$ 蕴含 $\hat{\mathbb{E}}[X] < \hat{\mathbb{E}}[Y]$？
• RQ2 当用 $G$-期望替代线性期望时，严格比较性质是否可保持？需要何种结构性假设？
• RQ3 为何一般情况下 $v(X < Y) > 0$ 无法推出 $\hat{\mathbb{E}}[X] < \hat{\mathbb{E}}[Y]$？何种附加条件可解决此问题？
• RQ4 $G$-正态分布及其关联的 PDE 刻画如何影响期望的比较？

主要发现

• 若 $X \leq Y$ 几乎必然且 $\inf_{P \in \mathcal{P}} P(X < Y) > 0$，则在 $\underline{\sigma} > 0$ 条件下，有 $\hat{\mathbb{E}}[X] < \hat{\mathbb{E}}[Y]$ 成立。
• 对 $X, Y \in \text{Lip}(\Omega)$，若 $X \leq Y$ 几乎必然且 $\underline{\sigma} > 0$，则 $\inf_{P \in \mathcal{P}} P(X < Y) > 0$ 蕴含 $\hat{\mathbb{E}}[X] < \hat{\mathbb{E}}[Y]$。
• 若 $X$ 具有均值确定性（即 $\hat{\mathbb{E}}[X] = -\hat{\mathbb{E}}[-X]$）且 $v(X < Y) > 0$，则 $\hat{\mathbb{E}}[X] < \hat{\mathbb{E}}[Y]$。
• 反例表明，$\langle B \rangle_t \leq \overline{\sigma}^2 t$ 几乎必然成立，且 $v(\langle B \rangle_ t < \overline{\sigma}^2 t) = 1$，但 $\hat{\mathbb{E}}[\langle B \rangle_t] = \hat{\mathbb{E}}[\overline{\sigma}^2 t]$，因此在无附加条件时严格比较不成立。
• 对有界且利普希茨连续的 $\varphi$，若 $\varphi(x_0) < 0$，则 $G$-热方程的解 $u(t,x)$ 满足 $u(1,0) < 0$，从而推出 $\hat{\mathbb{E}}[\varphi(B_1)] < 0$。