[论文解读] Multi-Dimensional Backward Stochastic Differential Equations of Diagonally Quadratic generators

Ying Hu, Shanjian Tang|arXiv (Cornell University)|Aug 20, 2014

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

一句话总结

该论文建立了具有对角二次生成器的多维倒向随机微分方程（BSDEs）的局部与全局解的存在性与唯一性，其中每个方程的二次部分仅依赖于Z变量的对应行。通过利用BMO鞅的John-Nirenberg不等式与反Hölder不等式，作者证明了在适当的Lipschitz与增长条件下，解在局部与全局范围内均存在，尤其针对α=0的情形。

ABSTRACT

The paper is concerned with adapted solution of a multi-dimensional BSDE with a "diagonally" quadratic generator, the quadratic part of whose $i$th component only depends on the $i$th row of the second unknown variable. Local and global solutions are given. In our proofs, it is natural and crucial to apply both John-Nirenberg and reverse Hölder inequalities for BMO martingales.

研究动机与目标

• 为解决多维倒向随机微分方程（BSDEs）中具有二次生成器的长期悬而未决挑战，该问题在文献中此前缺乏一般性的全局或局部可解性结果。
• 克服二次项可能导致无界过程的问题，其指数时间积分可能不具有有限期望。
• 在‘对角二次’结构下建立适应解的存在性与唯一性，其中每个分量的二次部分仅依赖于Z变量的对应行。
• 将先前关于标量及小终端值二次BSDEs的结果推广至具有一般有界终端条件的多维情形。
• 通过BMO鞅理论及关键不等式，建立一个严谨的框架，以确保解的有界性与可积性。

提出的方法

• 作者定义了一个结构化的生成器g，其为‘对角二次’，即每个分量g^i仅依赖于Z变量的第i行z^i，且满足涉及|z^i|^2与|z|^{1+α}（α ∈ [0,1)）的增长条件。
• 他们应用BMO鞅的John-Nirenberg不等式与反Hölder不等式，以控制Z过程的二次变差与指数矩，从而确保其可积性与有界性。
• 对于局部解，他们在小时间区间[T−ε,T]上使用不动点论证，利用对Y过程的先验估计以及Z·W的BMO范数。
• 对于全局解，他们采用逐步延拓方法：在证明解存在于[T−η,T]后，通过迭代重新应用局部存在性结果，将解向前时间方向延拓至有限步。
• 他们推导出Y过程的统一先验估计，表明其有界性仅依赖于终端条件与生成器的增长参数。
• 唯一性通过两个解差的BMO范数上的压缩映射论证证明，利用时间区间足够小以及生成器Lipschitz部分有界的特点。

实验结果

研究问题

• RQ1 当生成器在Z变量中呈二次增长但仅以对角化方式呈现时，具有对角二次生成器的多维BSDE是否能存在局部解？
• RQ2 在先前工作中（如Frei和dos Reis）缺乏全局可解性的情况下，这种结构化、对角二次生成器是否仍保持该缺陷？
• RQ3 BMO鞅理论，特别是John-Nirenberg不等式与反Hölder不等式，能否有效控制多维情形下Z过程的二次变差？
• RQ4 当生成器的非二次部分为全局Lipschitz（α=0）时，即使在一般有界终端条件下，此类BSDE是否存在全局解？
• RQ5 能否通过迭代局部解将解全局延拓至整个时间区间，且在何种条件下可保证该延拓过程为有限步？

主要发现

• 论文证明了在对角二次结构与局部Lipschitz条件下，对任意ε>0，存在唯一的局部解(Y,Z)在区间[T−ε,T]上，其中Y有界，且Z·W为BMO鞅。
• 在α=0的情况下，论文建立了在区间[0,T]上存在唯一的全局解(Y,Z)，其中Y一致有界，且Z·W属于BMO₂(P)。
• Y过程的有界性是统一的，仅依赖于终端条件ξ的上确界范数与生成器常数，而不依赖于时间跨度T。
• Z·W的BMO范数被一个包含Y初始有界性、生成器Lipschitz常数与时间跨度T的表达式所控制。
• 唯一性通过在BMO范数上的压缩映射论证建立，当时间区间足够小时成立，并通过迭代方法推广至整个区间[0,T]。
• 本研究解决了在结构化对角二次生成器下多维二次BSDEs全局可解性的开放问题，扩展了先前关于标量与小终端值情形的结果。