跳转至

Backward doubly stochastic differential equations and SPDEs with quadratic growth

讲者: Jiaqiang Wen
会场: Mean Field Stochastic Control Problems and Related Topics
报告题目: Doubly BSDE and SPDE with Quadratic Growth
链接: arXiv
来源: JCSDS 2026 · 返回会议总览

一、领域脉络与小综述

这个方向是什么

本文研究的子方向是二次增长倒向双重随机微分方程（BDSDE）。BDSDE 是 Pardoux–Peng [26] 在 1994 年引入的一类方程，其核心特征是方程同时包含一个前向 Itô 积分（对 Brownian 运动 \(W\)）和一个后向 Itô 积分（对另一个独立的 Brownian 运动 \(B\)）。BDSDE 的主要应用是给出半线性随机偏微分方程（SPDE）的概率表示（非线性随机 Feynman-Kac 公式）。本文聚焦于当 BDSDE 的生成元 \(f\) 对变量 \(Z\) 具有二次增长（即 \(|f(t,y,z)| \le C(1+|z|^2)\)）时的解的存在性、唯一性、比较定理，以及由此导出的 SPDE 的 Sobolev 解的存在唯一性。该方向当前处于从经典 Lipschitz 情形向非线性增长情形扩展的早期阶段，二次增长 BDSDE 此前几乎没有被研究过。

发展脉络

  1. 奠基工作：BDSDE 的引入与经典结果
  2. Pardoux–Peng [26] (1994)：引入 BDSDE，在全局 Lipschitz 系数下证明解的存在唯一性，并建立与半线性 SPDE 的经典解之间的 Feynman-Kac 公式。这是整个领域的起点。

  3. Pardoux–Peng [24] (1990)：引入 BSDE（无后向积分），在 Lipschitz 条件下给出解的存在唯一性。BSDE 是 BDSDE 在 \(g\equiv 0\) 时的特例，也是后续所有非线性推广的基础。

  4. BSDE 的二次增长突破

  5. Kobylanski [20] (2000)：首次证明一维 BSDE 在 \(f\) 对 \(z\) 二次增长、终端值有界时的存在唯一性。核心技巧是指数变换 + BMO 鞅方法。这是本文最重要的技术来源。
  6. Briand–Hu [7, 8] (2006, 2008)：将二次 BSDE 推广到终端值无界的情形，分别证明存在性和唯一性（后者需要生成元对 \(z\) 凸）。
  7. Delbaen–Hu–Bao [13] (2011)：研究超二次增长 BSDE，证明有界解要么不存在、要么存在无穷多个。
  8. Hu–Tang [19] (2016)：处理多维二次 BSDE，在“对角二次”结构下证明存在唯一性。

  9. Xing–Zitkovic [32] (2018)：对一大类 Markovian 二次 BSDE 系统建立全局存在唯一性。

  10. BDSDE 的线性/次二次增长进展

  11. Bally–Matoussi [3] (2001)：将 BDSDE 与 SPDE 的 Sobolev 解联系起来，而非经典解。
  12. Zhang–Zhao [37] (2007)：研究无穷时域 BDSDE，得到 SPDE 的平稳解。
  13. Zhang–Zhao [39] (2015)：处理 BDSDE 系数对 \(Y\) 多项式增长、对 \(Z\) 超线性（但次二次）增长的情形。
  14. Bahlali et al. [2] (2017)：处理 BDSDE 系数对 \(Z\) 超线性增长（仍次二次）。

  15. Buckdahn–Li–Xing [9] (2021)：研究平均场 BDSDE 及关联的非局部 SPDE。

  16. 本文的位置
    本文是首次处理 BDSDE 中 \(f\) 对 \(Z\) 真正二次增长的情形。作者明确指出，此前所有 BDSDE 工作要么是 Lipschitz 的，要么是次二次的（如 Zhang–Zhao [39] 和 Bahlali et al. [2]）。本文填补了这一空白，并将 Kobylanski [20] 的指数变换技巧从 BSDE 推广到 BDSDE，同时克服了后向 Itô 积分带来的额外困难。

子线索聚类

  • 线索 A：BSDE 的二次增长理论（Kobylanski [20], Briand–Hu [7,8], Delbaen–Hu–Bao [13], Hu–Tang [19], Xing–Zitkovic [32], Tevzadze [30], Barrieu–El Karoui [5], Cheridito–Nam [12], Richou [27], Hu–Li–Wen [17]）。这一簇是本文的直接技术来源，但 BSDE 的过滤结构是递增的，而 BDSDE 的 \(\mathcal{F}_t\) 既非递增也非递减，导致 BMO 鞅方法失效。
  • 线索 B：BDSDE 的经典与次二次增长（Pardoux–Peng [26], Bally–Matoussi [3], Zhang–Zhao [37,39], Bahlali et al. [2], Buckdahn–Li–Xing [9], Boufoussi–Van Casteren–Mrhardy [6], Shi–Wen–Xiong [29], Wu–Zhang [31]）。这一簇是本文的直接竞争/扩展对象，但此前均未达到二次增长。
  • 线索 C：SPDE 的 Feynman-Kac 表示（Pardoux–Peng [25,26], Bally–Matoussi [3], Zhang–Zhao [37,38], Xiong [33]）。本文的最终应用是扩展这一公式到二次增长情形。

核心问题与瓶颈

  1. 存在性：当 \(f\) 对 \(z\) 二次增长时，如何构造解？BSDE 中依赖 BMO 鞅的估计在 BDSDE 中因过滤结构不单调而失效。
  2. 唯一性/比较定理：一维情形下，如何证明比较定理以推出唯一性？BSDE 中依赖生成元对 \(z\) 的凸性或 Lipschitz 性，BDSDE 中需要额外条件。
  3. Feynman-Kac 公式：如何将二次增长 BDSDE 的解与 SPDE 的 Sobolev 解联系起来？经典 Lipschitz 情形的证明无法直接推广。

⚠️ 作者的 framing

作者将缺口 frame 为：“尽管 BSDE 的二次增长理论已相当成熟，且 BDSDE 在 Lipschitz 和次二次情形下也有进展，但BDSDE 的二次增长情形从未被研究过”。作者强调两个核心困难：(i) \(\mathcal{F}_t\) 不是过滤，BMO 鞅方法无用；(ii) 后向 Itô 积分带来额外技术麻烦。作者通过引入指数变换 + 比较定理 + 对系数 \(g\) 的额外限制（(3.5) 式）来绕过这些困难。

被淡化/回避的竞争路线： - 作者没有讨论多维二次 BDSDE（仅处理一维）。 - 作者没有讨论无界终端值情形（仅处理有界终端值），并明确将其列为未来工作。 - 作者对系数 \(g\) 施加了很强的限制（(3.5) 式：\(|g(t,y,z)|^2 \le \alpha |z|^2\)），并承认这是保证 \(Y\) 有界所必需的（Example 3.2 展示若 \(g\) 对 \(y\) 有 Lipschitz 依赖，即使终端值有界，\(Y\) 也可能无界）。这一限制在 BSDE 的二次增长理论中是不需要的。

值得研究者去查的问题：作者在引言中引用 Zhang–Zhao [39] 和 Bahlali et al. [2] 作为“次二次”工作的代表，但未详细说明它们的具体增长阶。是否真的没有工作处理过“二次增长”的 BDSDE？ 建议检索 Zhang–Zhao [39] 和 Bahlali et al. [2] 的原文，确认其增长假设的上界是否严格低于二次（例如 \(|z|^{2-\epsilon}\)）。此外，是否存在处理“二次增长 BDSDE”但使用不同方法（如粘性解、Malliavin 分析）的工作？ 作者未提及。

张力

未见明显对立引用。所有被引工作均在同一框架下（概率表示、Sobolev 解）逐步放松条件，没有出现彼此矛盾的结论。

二、最核心、最简单的例子 / 数学问题

第一步：符号、模型与可观测数据

  • 符号：
  • \((\Omega, \mathcal{F}, P)\)：完备概率空间。
  • \(\{W_t\}_{0\le t<\infty}\)：\(d\) 维标准 Brownian 运动。
  • \(\{B_t\}_{0\le t<\infty}\)：\(l\) 维标准 Brownian 运动，与 \(W\) 独立。
  • \(T>0\)：固定终端时间。
  • \(\mathcal{F}_t \triangleq \mathcal{F}^W_{0,t} \vee \mathcal{F}^B_{t,T}\)，其中 \(\mathcal{F}^\eta_{s,t} = \sigma\{\eta_r - \eta_s; s\le r\le t\} \vee \mathcal{N}\)（\(\mathcal{N}\) 为零测集）。关键：\(\{\mathcal{F}_t\}\) 既非递增也非递减，不是过滤。
  • \(Y_t\)：\(k\) 维（本文主要考虑 \(k=1\)）随机过程，是解的第一分量。
  • \(Z_t\)：\(k\times d\) 维随机过程，是解的第二分量。
  • \(\xi\)：\(\mathcal{F}_T\)-可测的终端值（随机变量）。
  • \(f(t,y,z)\)：生成元，对 \(z\) 二次增长。
  • \(g(t,y,z)\)：后向积分系数，满足 \(|g|^2 \le \alpha |z|^2\)（\(\alpha\in(0,1)\)）。
  • \(dW\)：前向 Itô 积分。
  • \(d\overleftarrow{B}\)：后向 Itô 积分。
  • \(L^\infty_{\mathcal{F}}(0,T;\mathbb{R})\)：本质有界、\(\mathcal{F}_t\)-可测的过程空间。

  • \(L^2_{\mathcal{F}}(0,T;\mathbb{R}^d)\)：平方可积、\(\mathcal{F}_t\)-可测的过程空间。

  • 模型：BDSDE 方程（2.1）：

    \[Y_t = \xi + \int_t^T f(s, Y_s, Z_s) ds + \int_t^T g(s, Y_s, Z_s) d\overleftarrow{B}_s - \int_t^T Z_s dW_s, \quad 0\le t\le T.\]
    解是满足该方程的 \(\mathcal{F}_t\)-可测过程对 \((Y,Z)\)。

  • 可观测数据：研究者可以观测到 Brownian 运动 \(W\) 和 \(B\) 的路径，以及终端值 \(\xi\)。想要但观测不到的是解过程 \((Y,Z)\) 本身——它必须通过方程被“求解”出来。在 SPDE 应用中，\(Y_t^{t,x} = u(t, X_t^{t,x})\) 和 \(Z_t^{t,x} = (\sigma^\top \nabla u)(t, X_t^{t,x})\)，其中 \(u\) 是 SPDE 的解，\(X\) 是前向 SDE 的解。因此，BDSDE 提供了一种概率数值方法来求解 SPDE。

第二步：最小内核——Example 3.1

本文的核心思路可以用一个最简单的特例来理解：考虑一维 BDSDE，其中 \(f\) 是纯二次的，\(g\) 是线性的：

\[Y_t = \xi + C \int_t^T |Z_s|^2 ds + \alpha \int_t^T Z_s d\overleftarrow{B}_s - \int_t^T Z_s dW_s, \quad 0\le t\le T,\]
其中 \(C>0\)，\(\alpha\in(-1,1)\) 是常数，终端值 \(\xi\) 有界。

核心想法：做指数变换 \(y_t = \exp(\beta Y_t)\)，其中 \(\beta\) 待定。应用 Itô 公式（Proposition 2.2）得到：

\[y_t = \exp(\beta\xi) + \int_t^T \left[ -C\beta y_s |Z_s|^2 + \frac{1}{2}\beta^2 y_s |Z_s|^2 - \frac{\alpha^2}{2}\beta^2 y_s |Z_s|^2 \right] ds + \alpha \int_t^T \beta y_s Z_s d\overleftarrow{B}_s - \int_t^T \beta y_s Z_s dW_s.\]
整理 \(ds\) 项中的 \(|Z_s|^2\) 系数：
\[- C\beta + \frac{1}{2}\beta^2(1 - \alpha^2).\]
令 \(\beta = \frac{2C}{1-\alpha^2}\)，则该项为零！再记 \(z_t = \beta y_t Z_t\)，方程退化为：
\[y_t = \exp(\beta\xi) + \alpha \int_t^T z_s d\overleftarrow{B}_s - \int_t^T z_s dW_s.\]
这是一个线性 BDSDE（生成元 \(f\equiv 0\)，\(g\) 线性）。由经典结果（Proposition 2.3），当 \(\exp(\beta\xi) \in L^2_{\mathcal{F}_T}\) 时（有界 \(\xi\) 保证此条件），存在唯一解 \((y,z) \in S^2_{\mathcal{F}}(0,T;\mathbb{R}) \times L^2_{\mathcal{F}}(0,T;\mathbb{R}^d)\)。进一步，由比较定理（Proposition 2.4），\(y_t\) 有界且正。最后，逆变换 \(Y_t = \ln(y_t)/\beta\)，\(Z_t = z_t/(\beta y_t)\) 给出原二次 BDSDE 的解。

这个例子揭示了整篇论文的数学本质：通过精心选择的指数变换，将二次 BDSDE 转化为一个经典（Lipschitz）BDSDE，从而借用已有的存在唯一性理论。一般情形下的所有技术工作（截断、逼近、单调稳定性、比较定理）都是为了在更一般的 \(f\) 和 \(g\) 下，仍能执行这一变换并保证变换后的方程可解。

三、这篇论文做了什么

三句话

  1. 研究了什么问题：一维 BDSDE 在生成元 \(f\) 对 \(Z\) 二次增长、终端值有界时的解的存在性、唯一性（通过比较定理）、稳定性，以及由此导出的半线性 SPDE 的 Sobolev 解的存在唯一性（非线性随机 Feynman-Kac 公式的扩展）。
  2. 核心工具/方法：指数变换（将二次 BDSDE 转化为经典 BDSDE）+ 截断与逼近（构造 Lipschitz 近似序列）+ 单调稳定性（证明近似解收敛）+ 比较定理（通过结构条件 (STR) 和变量变换证明唯一性）。
  3. 主要结论：在 Assumption 3（\(f\) 可分解为 \(a_0 y + f_0\)，\(|f_0|\le b + c(|y|)|z|^2\)，\(|g|^2\le \alpha|z|^2\)）下，BDSDE 至少有一个解 \((Y,Z)\in L^\infty_{\mathcal{F}}(0,T;\mathbb{R})\times L^2_{\mathcal{F}}(0,T;\mathbb{R}^d)\)，且存在最大/最小解（Theorem 3.10）。在更强的 Assumption 4（\(f,g\) 对 \(y,z\) 的偏导有界/线性增长）下，比较定理成立，从而解唯一（Theorem 4.4）。基于此，SPDE (5.3) 存在唯一 Sobolev 解 \(u\in\mathcal{H}\)，且 \(u(s, X_s^{t,x}) = Y_s^{t,x}\)，\((\sigma^\top\nabla u)(s, X_s^{t,x}) = Z_s^{t,x}\)（Theorem 5.6）。

关键设定与假设

  • Assumption 2（先验估计用）：\(\xi\) 有界；\(f(t,y,z) = a_0(t,y,z)y + f_0(t,y,z)\)，其中 \(a_0\le a_t\)（\(a_t\) 确定函数），\(|f_0|\le b_t + C|z|^2\)；\(|g(t,y,z)|^2 \le \alpha|z|^2\)，\(\alpha\in(0,1)\)。相比 BSDE 二次增长理论的新增限制：\(g\) 必须满足 (3.5) 式，即 \(g\) 对 \(z\) 的依赖不能太强（不能有 \(y\) 依赖的 Lipschitz 项），否则 \(Y\) 可能无界（Example 3.2）。
  • Assumption 3（存在性用）：在 Assumption 2 基础上，将 \(a_0\) 的下界也设为有界（\(d\le a_0\le a\)），并将 \(f_0\) 中的常数 \(C\) 替换为 \(c(|y|)\)（连续增函数）。同时要求 \(g\) 对 \(y\) Lipschitz、对 \(z\) 满足 (2.2) 式（Lipschitz + 收缩条件）。
  • Assumption 4（比较定理用）：在 Assumption 3 基础上，要求 \(f\) 和 \(g\) 对 \(y,z\) 的偏导存在且有界/线性增长（具体见 (4.2) 式）。这是比存在性更强的条件，用于构造结构条件 (STR)。
  • Assumption 5 & 6（SPDE 应用用）：将 Assumption 4 中的系数从 \((t,y,z)\) 扩展到 \((t,x,y,z)\)（依赖空间变量 \(x\)），并要求 \(h\) 有界、\(f,g\) 满足相应的增长和正则性条件。

主要结果

  1. Theorem 3.10（存在性）：在 Assumption 3 下，BDSDE (2.1) 至少有一个解 \((Y,Z)\in L^\infty_{\mathcal{F}}(0,T;\mathbb{R})\times L^2_{\mathcal{F}}(0,T;\mathbb{R}^d)\)，且 \(Y\) 连续。进一步，存在最大解和最小解。
  2. 证明直觉：先通过指数变换和截断将原问题转化为一个生成元有界且 Lipschitz 可逼近的问题；然后构造 Lipschitz 近似序列 \(\{f^n\}\)，利用经典 BDSDE 理论得到解序列 \(\{(Y^n,Z^n)\}\)；最后用单调稳定性（Proposition 3.7）证明该序列收敛到原问题的解。

  3. 技术难点：后向 Itô 积分使得指数变换后的方程不是经典 BDSDE（因为 \(g\) 项也变换了）。作者通过限制 \(g\) 满足 (3.5) 式，确保变换后的 \(g\) 仍满足 Lipschitz 条件。

  4. Theorem 4.4（比较定理）：在 Assumption 4 下，若 \(\xi^1\le\xi^2\) 且 \(f^1\le f^2\)，则对应的解满足 \(Y^1_t\le Y^2_t\) a.s.。这直接推出解的唯一性。

  5. 证明直觉：两步走。第一步（Proposition 4.2）：假设 \(f^2\) 满足结构条件 (STR)（即 \(\partial_y f + a|\partial_z f|^2 \le b(t)\)），通过 Itô 公式和 Gronwall 不等式直接证明比较定理。第二步：通过一个精心构造的变量变换 \(y=\varphi(\tilde{y})\)（\(\varphi\) 是满足 \(w>0, w'>0, w''<0\) 的增函数），将满足 Assumption 4 的 \(f\) 变换为满足 (STR) 的 \(\tilde{f}\)，从而化归到第一步。

  6. 技术难点：构造 \(\varphi\) 使得变换后的 \(\tilde{f}\) 满足 (STR)。作者给出的例子是 \(\varphi(y) = \frac{1}{\lambda}\ln\left(\frac{e^{\lambda A\tilde{y}}+1}{A}\right) - M\)，通过调节参数 \(A,\lambda\) 可满足要求。

  7. Theorem 5.6（Feynman-Kac 公式）：在 Assumption 6 下，SPDE (5.3) 存在唯一 Sobolev 解 \(u\in\mathcal{H}\)，且 \(u(s, X_s^{t,x}) = Y_s^{t,x}\)，\((\sigma^\top\nabla u)(s, X_s^{t,x}) = Z_s^{t,x}\)。

  8. 证明直觉：先对 BDSDE 做指数变换得到 \(\bar{Y}\)，其满足经典 BDSDE；利用 Bally–Matoussi [3] 的已有结果，\(\bar{Y}\) 对应一个 SPDE 的 Sobolev 解 \(\bar{u}\)；再对 \(\bar{u}\) 做逆对数变换得到 \(u\)，验证其满足原 SPDE。
  9. 技术难点：需要证明近似解序列 \(\{\bar{u}^n\}\) 在 \(\mathcal{H}\) 中收敛到 \(\bar{u}\)，这依赖于 Lemma 5.4（等价范数原理）和 Proposition 3.7 的收敛性结果。

证明路线与技术技巧

存在性（Theorem 3.10）的证明路线： 1. 简化假设：先假设 \(f\) 满足更强的条件 (3.16)-(3.17)（即 \(c(|y|)\) 为常数 \(C\)）。 2. 指数变换：令 \(\beta = 2C/(1-\alpha)\)，做变换 \(u = e^{\beta Y}\)，将原 BDSDE 形式地转化为 (3.21)-(3.22)。 3. 截断：引入截断函数 \(\Phi(u)\)，在 \(u\) 的有界区域外将生成元截断为零，得到 \(\tilde{f}\)。这保证了 \(\tilde{f}\) 有界。 4. Lipschitz 逼近：用 (3.24) 式构造 \(\tilde{f}\) 的递减 Lipschitz 近似序列 \(\{\tilde{f}^n\}\)。 5. 经典解：对每个 \(n\)，经典 BDSDE 理论（Proposition 2.3）给出唯一解 \((y^n, z^n)\)。比较定理（Proposition 2.4）保证序列单调递减且有界。 6. 逆变换：通过 \(Y^n = \ln y^n / \beta\)，\(Z^n = z^n/(\beta y^n)\) 得到原问题的近似解 \((Y^n, Z^n)\)。 7. 单调稳定性：Proposition 3.7 证明 \((Y^n, Z^n)\) 收敛到某个 \((Y,Z)\)，且 \((Y,Z)\) 是截断后 BDSDE 的解。 8. 去截断：利用先验估计（Proposition 3.5）证明 \(\|Y\|_\infty \le M\)，从而截断未生效，\((Y,Z)\) 也是原 BDSDE 的解。 9. 一般假设：通过再次截断（对 \(y\) 截断）将 Assumption 3 化归到简化假设。

关键跳跃点： - 指数变换中 \(\beta\) 的选择：\(\beta = 2C/(1-\alpha)\) 使得变换后 \(ds\) 项中的 \(|z|^2\) 系数恰好为零，这是整个构造的核心。 - 单调稳定性的证明：Proposition 3.7 中，为了证明 \(\{Z^n\}\) 强收敛，作者构造了一个特殊的函数 \(\Phi(u) = \frac{1-\alpha}{8C_0^2}[\exp(\frac{4C_0}{1-\alpha}u) - \frac{4C_0}{1-\alpha}u - 1]\)，使得 \(\frac{1-\alpha}{2}\Phi'' - C_0\Phi' = 2\)，从而在 Itô 公式中产生一个正的 \(|Z^{m,n}|^2\) 项，用于控制弱收敛的损失。这是从 Kobylanski [20] 借鉴的技巧。

技术技巧点名： - 指数变换：将二次增长转化为线性，核心技巧。 - 截断与 Lipschitz 逼近：用 (3.24) 式的上确界构造 Lipschitz 近似，标准技巧。 - 单调稳定性：利用单调序列的收敛性和弱收敛的下半连续性证明强收敛，是处理非线性 PDE/SDE 的常用方法。 - 结构条件 (STR)：来自 Barles–Murat [4] 对 PDE 的处理，用于证明比较定理。 - 变量变换：构造满足特定微分不等式（\(w>0, w'>0, w''<0\)）的变换函数，将一般二次生成元转化为满足 (STR) 的形式。

真实例子与应用

本文为纯理论论文，无实证例子。Example 3.1 和 3.2 是理论示例，用于说明假设的必要性，而非真实数据应用。SPDE 应用部分（Section 5）也是理论性的，建立了 BDSDE 与 SPDE 之间的概率表示，但没有给出具体的数值算例或实际数据验证。

🔎 结论是否比证明窄

  • Theorem 3.10（存在性） 的证明依赖于 Assumption 3 中对 \(g\) 的强限制 (3.5)（\(|g|^2\le \alpha|z|^2\)）。作者在 Conclusion Remarks 中承认，这一限制对保证 \(Y\) 有界是必要的（Example 3.2），但并未证明在更弱的 \(g\) 条件下存在性是否仍成立。因此，存在性结论的适用范围比证明所覆盖的窄。
  • Theorem 4.4（比较定理） 的证明要求 Assumption 4，其中包含对 \(f\) 和 \(g\) 偏导的强假设（如 \(|\partial_z f| \le k(t) + C|z|\)，\(|\partial_z g|^2 \le \alpha\)）。作者在 Remark 4.5 中声称比较定理在更弱的条件下（如仅需 \(f^1(t, Y^2, Z^2) \le f^2(t, Y^2, Z^2)\)）也成立，但未给出完整证明，仅作为 remark 提及。
  • Theorem 5.6（Feynman-Kac 公式） 的证明依赖于 Bally–Matoussi [3] 对经典 BDSDE 的结果，而该结果要求 \(f\) 和 \(g\) 满足 Lipschitz 条件。本文通过指数变换将二次 BDSDE 转化为经典 BDSDE，但变换后的生成元 \(\bar{f}\) 是否严格满足 Bally–Matoussi [3] 的条件？ 作者在 Step 2 中声称 \(\bar{f}^n\) 是 Lipschitz 的，但 \(\bar{f}\) 本身可能不是。收敛性证明依赖于近似序列，因此最终结论是“存在唯一 Sobolev 解”，但解的 regularity（如是否属于 \(C^{1,2}\)）未被讨论，仅得到 Sobolev 解。

四、开放问题

  1. 无界终端值：本文仅处理有界终端值 \(\xi\)。作者在 Conclusion Remarks 中明确提到，当终端值无界时，条件 (3.5) 可能可以放松。扎根点：Section 6 第一句：“if someone discusses the solution of quadratic BDSDEs with unbounded terminal value, the condition (3.5) could be relaxed because the boundedness of \(Y\) is needn’t at that time.” 这是一个明确的开放问题：在无界终端值下，能否在更弱的 \(g\) 条件下证明存在唯一性？

  2. 多维情形：本文仅处理一维 BDSDE（\(k=1\)）。多维二次 BDSDE 的存在唯一性完全开放。扎根点：Section 6 第二句：“We hope to publish some follow-up works when the terminal value \(\xi\) is unbounded or/and \(Y\) is multi-dimensional.” 多维情形下，指数变换不再适用（因为 \(Y\) 是向量），需要全新的方法。Hu–Tang [19] 对 BSDE 的“对角二次”处理可能是一个起点。

  3. 粘性解：本文仅得到 SPDE 的 Sobolev 解。作者在 Conclusion Remarks 中提到粘性解是值得进一步研究的方向。扎根点：Section 6 最后一句：“the existence and uniqueness of viscosity solutions of related SPDEs are interesting and merit further studies in the near future.” 粘性解可能允许更弱的正则性条件，但需要建立与 BDSDE 的新联系。

  4. 系数 \(g\) 的放松：本文对 \(g\) 的限制 (3.5) 很强（\(|g|^2\le \alpha|z|^2\)，且 \(g\) 对 \(y\) 的依赖不能太强）。能否在 \(g\) 对 \(y\) 有 Lipschitz 依赖（如 Example 3.2 所示会导致 \(Y\) 无界）的情况下，通过其他方法（如改变解空间、引入加权范数）仍得到存在性？扎根点：Example 3.2 和 Remark 3.3 明确展示了这一限制的必要性，但未证明其充分性。这是一个值得探索的 gap。

Maintained by 陈星宇 · Homepage · Source on GitHub

评论