[论文解读] Integral equations for Rost's reversed barriers: existence and uniqueness results

Tiziano De Angelis, Yerkin Kitapbayev|arXiv (Cornell University)|Aug 24, 2015

Stochastic processes and financial applications参考文献 43被引用 4

一句话总结

本文证明了在 Skorokhod 嵌入问题中，Rost 的反向障碍物被唯一地表征为一类非线性第二类 Volterra 积分方程组的解。通过纯概率方法，作者证明了无原子目标分布 $\mu$ 下左连续单调边界 $s_+$ 和 $s_-$ 的存在性与唯一性，超越了以往基于 PDE 和构造性方法的研究，提供了通过涉及一般概率测度的积分方程对障碍物进行直接且数值可处理的表征。

ABSTRACT

We establish that the boundaries of the so-called Rost's reversed barrier are the unique couple of left-continuous monotonic functions solving a suitable system of nonlinear integral equations of Volterra type. Our result holds for atom-less target distributions $\\mu$ of the related Skorokhod embedding problem. The integral equations we obtain here generalise the ones often arising in optimal stopping literature and our proof of the uniqueness of the solution goes beyond the existing results in the field.

研究动机与目标

• 为 Skorokhod 嵌入问题中 Rost 反向障碍物提供一种直接的概率表征。
• 建立边界 $s_+$ 和 $s_-$ 作为非线性 Volterra 积分方程组解的存在性与唯一性。
• 为计算这些障碍物提供一种计算效率更高的替代方法，以替代现有的基于 PDE 或构造性逼近的方法。
• 通过处理一般概率测度 $\mu$ 和 $\nu$ 而非仅 Lebesgue 正则测度，拓展了积分方程理论的适用范围。
• 解决最优停止问题与自由边界问题中积分方程可解性与唯一性的开放问题。

提出的方法

• 推导出表征 Rost 反向障碍物边界 $s_+$ 和 $s_-$ 的非线性第二类 Volterra 积分方程组。
• 利用 Rost 解与最优停止问题之间的联系，将边界表征转化为涉及局部时与 hitting 概率的积分方程的解。
• 应用随机分析与概率耦合论证证明存在性与唯一性，避免使用 PDE 或粘性解技术。
• 通过时间反转将时域问题转化为 $b_\pm(t) = s_\pm(T - t)$ 的形式，实现递归数值求解。
• 基于边界的分段常数近似，开发一种在每个时间步求解代数方程的数值算法。
• 采用逐步递推方案，结合时间离散化 $t_k = kh$，在每个 $k$ 处使用牛顿-拉夫森法或二分法求解方程 (4.1) 和 (4.2)。

实验结果

研究问题

• RQ1 是否可以在不依赖 PDE 或近似方案的前提下，将 Rost 反向障碍物的边界唯一表征为积分方程组的解？
• RQ2 本文推导出的积分方程是否将最优停止理论中已有的 Volterra 方程推广至包含一般概率测度 $\mu$ 和 $\nu$ 的情形？
• RQ3 在 $\mu$ 为无原子测度（即使 $\mu$ 为奇异分布，如 Cantor 分布）的假设下，这些积分方程的解是否唯一？
• RQ4 是否可以仅从积分方程出发，直接构造出数值稳定且收敛的算法，而无需求解变分不等式？
• RQ5 所提出的数值方案在时间步长 $h \to 0$ 时收敛的理论依据是什么？

主要发现

• 边界 $s_+$ 和 $s_-$ 是非线性 Volterra 积分方程组 (2.11) 的唯一左连续单调解，对任意无原子目标分布 $\mu$ 均成立。
• 唯一性证明依赖于一种新颖的概率论证，涉及局部时与耦合方法，超越了现有最优停止与积分方程理论中的结果。
• 积分方程通过引入测度 $dt \times (\nu - \mu)(dx)$ 的乘积形式，推广了经典形式，允许 $\mu$ 和 $\nu$ 包含奇异或离散分量，而不仅限于密度形式。
• 所提出的数值算法在时间步长 $h \to 0$ 时收敛至真实边界，其收敛性在图 2 和图 3 中得到经验验证。
• 该方法避免了解变分不等式或构造分段常数近似，为 Cox-Peskir 和基于 PDE 的方法提供了一种直接且计算高效的替代方案。
• 即使对于奇异分布（如 Cantor 分布），只要 $\mu$ 为无原子测度，结果依然稳健，证明了该框架的普遍性。