Reflected Optimal Stopping with a Max-Type Payoff: Measure-Valued Stopping Gains and Killed Resolvent Representation

技術要約：最大値型ペイオフを伴う反射型最適停止問題

問題設定
本論文は、第1象限 $\mathbb{R}^2_+ = [0, \infty)^2$ 内で進化する2次元正規反射拡散過程 $X = (X_1, X_2)$ に関する無限時間地平の最適停止問題を調査している。目的は、期待割引ペイオフから累積実行コストを差し引いた値を最大化することである：
$$V(x) = \sup_{\tau \in \mathcal{T}} \mathbb{E}_x \left[ e^{-r\tau}G(X_\tau) - \int_0^\tau e^{-rs}c(X_s) ds \right]$$
ここで、ペイオフ関数は「最大値型」の形式 $G(x_1, x_2) = x_1 \vee \alpha x_2$ （ただし $\alpha > 0$）であり、$r > 0$ は割引率、$c \ge 0$ は実行コストである。プロセス $X$ は、座標軸上での正規反射による制約を受ける。

本問題は、標準的な自由境界解析を困難にする3つの具体的な解析的課題を提示している：

1. 反射： プロセスは正規反射によって第1象限内に拘束されており、ノイマン境界条件を必要とする。
2. 非平滑なペイオフ： ペイオフ関数 $G$ は対角集合 $\Delta := \{x_1 = \alpha x_2\}$ に沿って「キンク（折れ目）」を持っており、この線に沿って $C^2$ 級ではない。
3. 多次元性： 停止領域は、多くの解ける1次元のケースとは異なり、真に2次元的である。

手法と枠組み
著者らは、粘性意味における反射型障害問題の枠組みを用いて問題を定式化している。しかし、本論文では、粘性超解のステータスだけでは、この文脈における厳密な検証には不十分であることを強調している。代わりに、以下の手法に依拠している：

• 測度値停止ゲイン： 著者らは、停止ゲインの対象として $\Gamma := c + rG - LG$ を定義する。$G$ のキンクにより、$\Gamma$ は関数ではなく、符号付きラドン測度となる。これは、絶対連続部分（$\Gamma_{ac}$）と、$\Delta$ 上に支持される特異表面測度（$\Gamma_\Delta$）へと分解される。
• Itô–Krylov–Tanaka 適合性： 候補となる価値関数が、一般化された伊藤の公式（キンクの局所時間に関する田中形式を組み込んだもの）が成立するクラスに属するという明示的な仮定の下で、検証定理が確立されている。
• 消滅レゾルベント（Killed Resolvents）： 価値関数のポテンシャル表現は、「消滅した」レゾルベントを用いて導出される。これは、非制限プロセスの無限時間地平全体ではなく、停止集合への初入時刻までの停止ゲインの測度を蓄積するものである。

主要な貢献と結果

1. 測度超調和性の下での検証定理：
   本論文は、検証議論を隠れた正則性定理から分離する検証定理（定理 3.2）を証明している。これには、候補関数 $u$ が以下を満たすことが要求される：

   • グローバルな測度超調和性：符号付き測度の意味で $(L-r)u - c \le 0$。
   • 明示的な Itô–Krylov–Tanaka 適合性：これにより、一般化された伊藤の公式が適用可能となる。
   • 正規反射境界条件。
     この定理は、粘性ステータスが自動的に符号付き測度の代表値の存在や、一般化された伊藤の公式の妥当性を意味するわけではないことを明確にしている。

2. 特異停止ゲイン測度：
   $G$ のキンクによって生成される停止ゲイン測度の特異成分を、定理 3.10 によって明示的に計算している。この測度は $\Gamma = \Gamma_{ac} dx + \Gamma_\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)$ である。$\sigma_\Delta$ は $\Delta$ 上の1次元表面測度である。$q(x) \ge 0$ であるため、特異成分 $\Gamma_\Delta$ は非正である。これは、停止集合が正の長さで $\Delta$ と交差する場合、標準的な点としての条件「$\Gamma \ge 0$ 在停止集合」を、全測度に対して文字通り適用することはできないことを意味する。すなわち、絶対連続部分と特異部分を別々に扱う必要がある。

3. 消滅レゾルベント表現：
   論文は、価値関数の正しいポテンシャル表現（定理 3.13）を導出している：
   $$V(x) = G(x) - \mathcal{R}^C_r \Gamma(x)$$
   ここで $\mathcal{R}^C_r$ は、停止集合 $D$ への初入時刻 $\tau_D$ で消滅するレゾルベントである。著者らは、非制限の反射型レゾルベント $\mathcal{R}^R_r$ は一般に誤りであることを示している。なぜなら、非制限プロセスは停止後に再び継続領域へ再入し、無関係な占有時間を蓄積してしまう可能性があるからである。

4. 停止集合の条件付き幾何学：
   停止優位性 $H = V - G$ に関する構造的単調性の仮定の下で、停止集合の条件付きエピグラフ構造（定理 3.7）を確立している。具体的には、$H$ が垂直方向に非増加であれば、停止領域は $D = \{(x_1, x_2) : x_2 \ge b(x_1)\}$ の形をとる。

5. 候補境界の検証：
   提案された境界を検証するための厳密な枠組みを提供している（定理 3.17）。これは、境界トレース方程式を解くだけでは不十分であることを強調している。有効な候補は、グローバルな測度超調和性を満たさなければならず、これは厳格な適合条件を課す。すなわち、停止集合が内部で対角線 $\Delta$ の正の長さの区分を含んでいる場合、そこでは特異測度が消失しなければならない（これは一般に、対角線が継続領域内に位置することを要求する）。

意義と主張
本論文は、反射型拡散と非平滑なペイオフを含む最適停止問題に関する厳密な構造的枠組みを提供することを主張している。その主な意義は、このような問題においてしばしば形式的に行われる3つのステップを修正することにある：

• 正則性： 粘性超解のステータスが、検証に必要なソボレフ正則性や測度論的正則性を推論するわけではないと断じている。これらは明示的に仮定されなければならない。
• キンクの寄与： ペイオフのキンクを、無視できる不規則性としてではなく、符号付き表面測度を生成する源として扱う。これは、停止集合に対する符号条件を根本的に変えるものである。
• レゾルベントの型： 非制限レゾルベントではなく、消滅レゾルベントを用いるべきであることを指摘し、ポテンシャルが停止時刻の前までのみ蓄積されるようにすることで、正しいポテンシャル表現を修正している。

著者らは、正則性に関して控えめな立場を取り、本フレームワークは無条件の自由境界正則性ではなく、「厳密な条件付き構造」を提供するものであると述べている。結果は、定数係数の反射ブラウン運動の例を用いて示されており、対角線の特異項が、可変係数の副産物ではなく、最大値型ペイオフに固有の特徴であることを示している。