Time and Killed Resolvents in Reflected Optimal Stopping with a Max Payoff

技术摘要：带最大值收益的反射最优停止问题中的局部时间与被杀消解算子

1. 问题阐述
本文研究了在闭正象限 $\mathbb{R}^2_+$ 内受二维正向反射扩散过程 $X = (X_1, X_2)$ 约束的无限时界最优停止问题。决策者寻求一个停止时间 $\tau$，以最大化期望贴现收益减去运行成本：
$$V(x) = \sup_{\tau} \mathbb{E}_x \left[ e^{-r\tau}G(X_\tau) - \int_0^\tau e^{-rs}c(X_s) ds \right]$$
其中收益函数为“max”类型的非光滑函数：$G(x_1, x_2) = x_1 \vee \alpha x_2$，且 $\alpha > 0$。该扩散过程在坐标轴处受到正向反射，且收益函数在对角线集合 $\Delta = \{x_1 = \alpha x_2\}$ 处具有凸 Lipschitz 折痕（kink）。

作者确定了破坏标准平滑自由边界微积分的两个主要挑战：

1. 边界复杂性：状态空间受限于具有诺伊曼（Neumann）边界条件和原点转角的象限。
2. 收益函数的奇异性：Max 型收益仅为分段仿射。其分布二阶导数在折痕集 $\Delta$ 上集中为面测度，使得标准的“停止收益（stopping gain）”对象无法作为简单的函数来定义。

2. 方法论框架
分析结构分为两个不同的层级，旨在将无条件的测度论结果与有条件的几何假设分离：

• 第一层级（无条件）：侧重于停止收益的测度分解以及价值函数的势论表示。这些结果仅依赖于反射扩散过程的标准假设（局部 Lipschitz 系数、一致椭圆性、强马尔可夫性质），并不假设停止集的特定几何性质。
• 第二层级（有条件）：处理自由边界的几何性质（例如，上图结构、单调性、平滑拟合）。这些结果需要关于停止优势 $H = V - G$ 单调性的显式、特定模型的假设。

所采用的方法包括：

• Itô–Tanaka 公式：应用于过程 $Y_t = X_{1,t} - \alpha X_{2,t}$ 以处理 $|Y_t|$ 的非光滑性。
• 占据密度（Occupation Density）与余面积恒等式（Co-area Identities）：用于将局部时间项转换为对角线上的面测度。
• 被杀消解算子（Killed Resolvents）：价值函数使用进入停止集后的被杀消解算子进行表示，而非不受限的消解算子。
• 验证定理：基于广义 Itô 类和测度超调性（measure-superharmonicity），避免依赖于价值函数的先验正则性。

3. 主要贡献与结果

• 测度值停止收益：论文证明了停止收益对象 $\Gamma = c + rG - \mathcal{L}G$ 不是一个函数，而是一个有符号的拉东测度（signed Radon measure）。它分解为一个绝对连续部分和一个在对角线 $\Delta$ 上的奇异面测度：
  $$\Gamma_\Delta(dx) = -\frac{q(x)}{2\sqrt{1+\alpha^2}} \sigma_\Delta(dx)$$
  其中 $q(x) = n^\top a(x) n$，且 $n=(1, -\alpha)$，$a(x)$ 是扩散协方差矩阵。在局部椭圆性条件下，$q(x) > 0$，使得对角线部分的取值为严格负值。

• 避开对角线定理：由于对角线测度的严格负性，直接推论是：对角线折痕集的任何内点都不属于停止集。最优策略总是涉及在处于对角线时继续持有。通过证明在折痕处等待极短时间 $h$ 所获得的局部时间增益（按 $\sqrt{h}$ 缩放）会超过运行成本（按 $h$ 缩放）来证明这一点。

• 被杀消解算子表示：作者确立了正确的价值表示形式为：
  $$V(x) = G(x) - R^C_r \Gamma(x)$$
  其中 $R^C_r$ 是在首次进入停止集 $\tau_D$ 时被杀的消解算子。他们严谨地证明了不受限的反射消解算子 $R^R_r$ 通常是错误的，因为反射过程在触碰停止集后可能会重新进入连续区域，从而累积“额外”的占据量，而最优停止问题不得计入这部分量。通过一个一维反射布朗运动的闭式反例量化了这一差距。

• 转角项分析：论文讨论了原点 $(0,0)$ 处的潜在奇异性。在特定假设下（经由非退化反射布朗运动验证），Itô–Tanaka 公式中的转角贡献项消失，确保了测度分解在内部全局成立。

4. 验证与数值实验
为了证明该框架并非空谈且具备可操作性，作者针对具有常数漂移和协方差的反射布朗运动基准模型验证了所有第一层级的结果。

• 解析验证：他们确认了价值函数是全局 Lipschitz 的，对角线测度是严格负的，且被杀消解算子表示法成立。
• 数值实验：
  1. 局部时间缩放：蒙特卡洛模拟恢复了理论上在对角线折痕处的 $\sqrt{t}$ 缩放特性，验证了强制继续持有的机制。
  2. 消解算子间隙：一维反射过程的模拟重现了被杀消解算子与不受限消解算子之间确切的正向间隙，隔离了重新进入机制。
  3. 对角线规避：障碍问题的有限差分解可视化了沿对角线的“岭”状连续优势，显示停止集虽然填充了定义域，但严格避开了折痕。

5. 重要性与主张
本文声称为处理具有非光滑收益的多维最优停止问题的启发式处理提供了严谨的修正。其主要意义在于：

1. 修正停止收益：确立了 $\Gamma$ 是一个带有对角线处严格负奇异部分的有符号测度，这使得如果不区分奇异成分，则传统的逐点条件（如“在停止集上 $\Gamma \ge 0$”）是无效的。
2. 修正势表示：证明了价值函数必须通过被杀消解算子来表示，纠正了“不受限的反射消解算子足以解决问题”这一常见误解。
3. 分离几何与机制：通过区分无条件的测度论真理（第一层级）与有条件的几何性质（第二层级），本文避免了在多维反射设置中自动断言自由边界正则性的做法。它明确指出，虽然对角线永远不是停止集，但停止集的全局形状（例如，是否形成上图结构）仍然是一个需要额外结构性假设的模型特定问题。

作者总结道，虽然“不在折痕处停止”这一现象是稳健且无条件的，但要完全刻画自由边界的几何性质，仍需要对停止优势 $H = V - G$ 提出进一步的结构性假设，而这些假设并不能仅由扩散动力学本身推导得出。