[论文解读] On the Root solution to the Skorokhod embedding problem given full marginals

Alexandre Richard, Xiaolu Tan+1 more|arXiv (Cornell University)|Oct 23, 2018

Nonlinear Partial Differential Equations参考文献 23被引用 4

一句话总结

本文通过推导描述最优停时边界势函数的抛物型偏微分方程，表征了在紧致时间区间上全矩生成的Skorokhod嵌入问题的Root解。作者建立了有限矩生成Root解的极限行为，并证明了极限停时满足时间齐次 hitting 条件，从而在凸序约束下提供了连续且最优的嵌入。

ABSTRACT

This paper examines the Root solution of the Skorohod embedding problem given full marginals on some compact time interval. Our results are obtained by limiting arguments based on finitely-many marginals Root solution of Cox, Obl\\'oj and Touzi. Our main result provides a characterization of the corresponding potential function by means of a convenient parabolic PDE.

研究动机与目标

• 将Skorokhod嵌入问题的Root解从有限矩推广到紧致时间区间[0,1]上的全矩。
• 表征在[0,1]内每个时间点均给定矩时，Root嵌入的极限边界结构。
• 建立极限Root解与控制势函数的抛物型偏微分方程之间的联系。
• 在凸序和右连续性假设下，证明嵌入的连续性与最优性性质。
• 通过分析有限矩解的收敛性，解决多矩嵌入中非有序边界的挑战。

提出的方法

• 基于Cox、Obłój与Touzi（2013）提出的有限矩Root解构造，采用极限论证方法。
• 使用变分不等式方法，推导极限状态下Root边界的势函数。
• 应用紧致性与弱收敛论证，证明有限矩Root边界收敛至极限边界集。
• 证明极限停时满足时间齐次 hitting 条件：$\sigma^\infty_s = \inf\{t \geq \sigma^\infty_s : (t,W_t) \in \mathcal{R}_s\}$ 几乎必然成立。
• 运用最优传输中的单调性原理，证明极限解的最优性。
• 利用 $s \mapsto \mu_s$ 沿凸序连续且递增的性质，确保鞅嵌入的存在性。

实验结果

研究问题

• RQ1 如何将Skorokhod嵌入问题的Root解从有限个矩推广到[0,1]上连续的全矩族？
• RQ2 在全矩情形下，极限Root边界的势函数由何种PDE表征？
• RQ3 在何种条件下，有限矩Root边界的序列收敛至全矩设定下的极限边界？
• RQ4 极限嵌入是否能在全矩背景下保持最优性（例如最小方差）？
• RQ5 极限停时过程是否连续且与时间-空间区域的 hitting 时间一致？

主要发现

• 极限Root解满足 $\sigma^\infty_s = \inf\{t \geq \sigma^\infty_s : (t,W_t) \in \mathcal{R}_s\}$ 几乎必然成立，表明其满足时间齐次 hitting 条件。
• 极限边界的势函数由有限矩解极限行为导出的抛物型PDE所表征。
• 对每个固定的 $s \in [0,1]$，有限矩Root边界序列 $\mathcal{R}^n_s$ 沿子序列收敛至极限边界 $\mathcal{R}^\infty_s$。
• 极限停时过程 $\sigma^\infty_s$ 在 $[0,1] \setminus N$ 上连续，其中 $N$ 为某可数零测集，确保了嵌入的正则性。
• 极限嵌入满足 $\mathcal{L}(W_{\sigma^\infty_s}) = \mu_s$ 对所有 $s \in [0,1]$ 成立，确认了边际分布的正确传播。
• 极限解继承了Root解的最优性：在所有满足全矩约束的嵌入中，其方差最小。