[论文解读] On the uniqueness of solutions to quadratic BSDEs with convex generators and unbounded terminal conditions: the critical case

Freddy Delbaen, Ying Hu+1 more|arXiv (Cornell University)|Mar 20, 2013

Stochastic processes and financial applications参考文献 33被引用 25

一句话总结

该论文在生成器强凸性的附加假设下，证明了在临界情形下（即解的指数矩属于 $ L^ au $ 时），具有凸生成器和无界终端条件的二次倒向随机微分方程（BSDEs）解的唯一性。证明依赖于测度变换与上鞅论证，表明当解的指数在临界 $ L^\gamma $ 条件下一致可积时，两个解必相同。

ABSTRACT

In [3], the authors proved that uniqueness holds among solutions whose exponentials are $L^p$ with $p$ bigger than a constant $\\gamma$ ($p\ extgreater{}\\gamma$). In this paper, we consider the critical case: $p=\\gamma$. We prove that the uniqueness holds among solutions whose exponentials are $L^\\gamma$ under the additional assumption that the generator is strongly convex.

研究动机与目标

• 解决在 $ p = \gamma $ 的临界情形下，具有凸生成器和无界终端条件的二次BSDEs解的唯一性这一开放问题，此前结果仅适用于 $ p > \gamma $ 的情形。
• 建立在解的指数属于 $ L^\gamma $ 的解中唯一性成立，这对应于存在性定理中自然的可积性条件。
• 探究唯一性结果在不假设强凸性时是否依然成立，尽管该问题目前仍为开放问题。
• 扩展在数学金融与随机控制背景下对二次BSDEs的理论理解，特别是在效用最大化问题中的应用。

提出的方法

• 使用局部化程序构造一个解，使得其指数 $ e^{-\gamma Y} $ 属于 (D) 类，从而保证一致可积性。
• 通过预可测过程 $ q_s \in \partial g(Z_s) $ 的 Doléans-Dawlis 指数定义测度变换，将动态转换到新的概率测度 $ \mathbb{Q} $ 下。
• 对时间改变后的差值 $ Y_s - Y_s' $ 的指数应用 Itô 公式，引入一个正常数 $ C_2 $ 和一个很小的参数 $ \alpha > 0 $，以推导出上鞅性质。
• 利用生成器 $ g $ 的强凸性，得到下界 $ g(Z_s') - g(Z_s) - (Z_s' - Z_s)q_s \geq \frac{\varepsilon}{2}|Z_s' - Z_s|^2 - C_2 $，从而控制漂移项。
• 证明在 $ \mathbb{Q} $ 下，过程 $ e^{\alpha(Y_{s\wedge\tau} - Y_{s\wedge\tau}^\prime + C_2(T-s))\mathbf{1}_A} $ 是有界上鞅，若 $ Y_t < Y_t' $ 在正概率集上成立，则导致矛盾。
• 由此得出 $ Y_t \geq Y_t' $ 几乎必然成立，由对称性可得 $ Y_t = Y_t' $，进而通过差值的 $ L^2 $-范数推出 $ Z_t = Z_t' $ 几乎必然成立。

实验结果

研究问题

• RQ1 在临界情形 $ p = \gamma $ 下，具有凸生成器和无界终端条件的二次BSDEs解的唯一性是否成立，其中解的指数属于 $ L^\gamma $？
• RQ2 唯一性结果能否在不依赖 $ p > \gamma $ 的前提下，推广至临界 $ L^\gamma $ 可积性条件？
• RQ3 强凸性在临界 $ L^\gamma $ 条件下确保唯一性的角色是什么？
• RQ4 强凸性假设是否为临界情形下唯一性所必需，还是可以被移除？
• RQ5 解的指数矩与二次BSDEs的存在性与唯一性理论之间有何关系？

主要发现

• 在生成器强凸的假设下，具有凸生成器和无界终端条件的二次BSDEs在临界情形 $ p = \gamma $ 下解的唯一性成立。
• 解 $ Y $ 满足 $ \mathbb{E}[\sup_{t \in [0,T]} e^{\gamma Y_t^-}] < \infty $，确保在临界 $ L^\gamma $ 条件下 $ e^{-\gamma Y} $ 是一致可积的鞅。
• 证明依赖于利用次梯度过程的 Doléans-Dawlis 指数进行测度变换，将动态转化为在 $ \mathbb{Q} $ 下的上鞅。
• 强凸性假设确保了差值 $ g(Z_s') - g(Z_s) - (Z_s' - Z_s)q_s $ 的下界，这对上鞅论证至关重要。
• 结果确认了 $ L^\gamma $ 可积性条件对唯一性是紧致的，因为它与存在性定理中出现的可积性条件一致。
• 该方法表明，在所有 $ t \in [0,T] $ 上，$ Y_t = Y_t' $ 且 $ Z_t = Z_t' $ 几乎必然成立，从而在给定条件下建立了路径唯一性。