原点处BMO增长的二次BSDE稳定性及其在连续时间CAPM均衡存在性中的应用

《Stochastic Processes and their Applications》：A stability result for quadratic BSDEs with BMO growth at the origin

　　

本文旨在建立连续过滤（continuous filtration）下倒向随机微分方程（backward stochastic differential equations, BSDEs）解的稳定性，其中驱动项关于 Z 呈二次增长（quadratic growth），并在原点处具有 BMO 增长（bounded mean oscillation growth，而非有界）。研究人员在有界解类（class of bounded solutions）中研究该问题，并给出该框架下解的存在性与唯一性（existence and uniqueness）结果。该问题源于连续时间资本资产定价模型（Capital Asset Pricing Model, CAPM）中均衡存在性的研究。

一、研究背景与问题。倒向随机微分方程（backward stochastic differential equations, BSDEs）已成为随机过程与数学金融的重要工具，被用于均值-方差对冲、或有权益定价与对冲、效用最大化以及动态风险度量等问题。本文关注连续过滤（continuous filtration）下驱动项（driver/generator）关于 Z 呈二次增长（quadratic growth）且在原点处具有 BMO 增长（bounded mean oscillation growth at the origin，而非有界）的 BSDEs。研究动机来自连续时间资本资产定价模型（Capital Asset Pricing Model, CAPM）中均衡存在性：在（广义）均值-方差偏好下，最优交易策略的存在等价于某个二次 BSDE 的合适解的存在；均衡中资产价格由不动点条件决定，需分析最优策略对资产价格变化的响应，这在数学上对应底层 BSDEs 的稳定性。已有二次 BSDE 稳定性结果多为单调稳定性，或依赖驱动凸性、指数矩、有界增长等条件；在无单调性和凸性且无合适 BMO 控制时，唯一性可能失败。?erny/Kallsen 给出了具体反例；并且与均值-方差组合选择相关的特定 BSDE 中，有界解的存在等价于原点处 BMO 增长。作者因此在一般连续鞅设定、无凸性和单调性假设下，在有界解类中研究存在性、比较、唯一性和非单调稳定性。

二、研究内容、结论与意义。作者建立原点 BMO 增长下二次 BSDEs 的存在性、比较与唯一性，并证明全解三元组（triplet）(Y,Z,M^⊥) 的稳定性：在终端条件（terminal condition）与驱动的一般扰动下，只要相应半鞅解（semimartingale solution）一致有界，则 Y 一致收敛、Z•M 与 M^⊥ 的二次变差收敛。BMO 原点增长使凸性在比较和稳定性中变为冗余；据作者所知，现有文献中尚无此类一般非单调稳定性结果。其意义在于连接 Mocha/Westray 与 Frei 等的结果，并为连续时间 CAPM 均衡存在性提供工具。

技术方法概述（不超过250字）：研究不涉及实验试剂或样本队列；金融应用中的市场原语为连续时间 CAPM 的股利和随机禀赋，并由 2d+1 维鞅 N 概括。方法包括：用非负子鞅/指数变换和 It? 公式（It? formula）导出 Y 的 L^∞ 先验估计及 Z、M^⊥ 的 BMO 估计；用截断和二次 BSDE 单调稳定性证明存在性；对两解直接作差，经测度变换和随机指数鞅证明比较与唯一性；稳定性证明用差分、随机指数、BMO 鞅估计、H?lder 不等式、Doob L^p 不等式和 Vitali 收敛等。

三、研究结果。2. Setup（设定）：在连续、完备过滤和给定连续局部鞅 M 框架下，引入 I_t^M=tr〈M〉_t、κ^M、LBMO²(I^M)（局部 BMO 平方空间）与 BMO 空间，定义 BSDE 的解为三元组 (Y,Z,M^⊥)，其中 M^⊥ 与 M 强正交。3. A priori estimates（先验估计）：Proposition 2 在终端 G 有界、g 有界、f 满足线性-二次增长且 χ∈LBMO²(I^M) 等条件下，用非负子鞅变换给出 ‖Y‖_∞ 估计；Proposition 4 在二次增长条件下证明 |Z|_κ^M∈LBMO²(I^M)、M^⊥∈BMO 并给出估计。4. Wellposedness（适定性）：Theorem 5 通过截断 χ、ξ 并利用 Morlais 的单调稳定性，在 f 对 y Lipschitz、对 z 局部 Lipschitz 和二次增长条件下证明存在解 (Y,Z,M^⊥)∈L^∞×LBMO²(I^M)×BMO；Proposition 7 用两解差分、测度变换和随机指数证明比较原理；Theorem 8 由比较原理及 It? 公式推出唯一性。5. Stability（稳定性）：Theorem 10 在 Yⁿ 一致有界、驱动满足统一二次增长/Lipschitz、fⁿ→f^∞、Gⁿ→G^∞ 等条件下，证明 (Zⁿ•M) 和 M^⊥,n 在 BMO 中一致有界，且 sup_t|Y_tⁿ?Y_t^∞|→P0、〈(Zⁿ?Z^∞)•M〉_T+〈M^⊥,n?M^⊥,∞〉_T→P0；证明用差分、随机指数鞅和 BMO 估计。6. Application of stability to CAPM equilibria（稳定性在 CAPM 均衡中的应用）：将稳定性用于连续时间 CAPM 均衡存在性；价格满足结构分解（structure decomposition, SD），个体辅助偏好参数由系统 BSDE 的初值决定；对 Y⁽²⁾、Y⁽¹⁾ 作对数变换后驱动具有原点 BMO 增长，稳定性用于建立相应映射连续性，从而由介值定理得到不动点/均衡存在性。

四、讨论与结论。作者讨论本文稳定性与已有结果的区别：Morlais 的单调稳定性主要作为存在性工具；Barrieu/El Karoui 在指数矩条件下研究单调稳定性；Briand/Hu 与 Mocha/Westray 等在一般无界框架中依赖驱动凸性。本文在原点 BMO 增长和有界解类下，对数据作一般扰动而不要求单调性或凸性，故稳定性更稳健；BMO 条件保证有界解类唯一性。研究结论翻译：作者的主要贡献是在一般连续鞅设定下，对驱动关于 Z 二次增长且在原点 BMO 增长的 BSDEs 建立稳定性定理；该定理不要求驱动凸性或单调性。只要相应半鞅解一致有界，在终端条件和驱动的一般扰动下，全解三元组收敛；BMO 条件保证有界解类中的唯一性。该结果用于研究连续时间 CAPM 均衡存在性。