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

技術要約：最大ペイオフを伴う反射型最適停止問題における局所時間とキルド・レゾルベント（殺された分解能）

1. 問題の定式化
本論文は、閉正象限 $\mathbb{R}^2_+$ に閉じ込められた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\}$ に沿って凸なリプシッツ連続のキンク（折れ目）を有している。

著者らは、標準的な平滑自由境界解析を破綻させる2つの主要な課題を特定している：

1. 境界の複雑性： 状態空間は、原点にコーナーを持つ象限内に制限されており、ノイマン境界条件が付随している。
2. ペイオフの特異性： max型の報酬は区分的にアフィンである。その分布的二階微分は、キンク集合 $\Delta$ 上に表面測度として集中するため、標準的な「停止利得（stopping gain）」の対象を単純な関数として定義することができない。

2. 方法論的枠組み
分析は、無条件の測度論的結果と、条件付きの幾何学的仮定を分離するために、2つの明確な階層で構成されている：

• ティア I（無条件）： 停止利得の測度論的な分解と、値関数のポテンシャル論的な表現に焦点を当てる。これらの結果は、反射型拡散の標準的な仮定（局所リプシッツ係数、一様楕円性、強マルコフ性）のみに依存しており、停止集合の特定の幾何学的特性は仮定しない。
• ティア II（条件付き）： 自由境界の幾何学（エピグラフ構造、単調性、平滑適合など）に対処する。これらの結果は、停止優位性 $H = V - G$ の単調性に関する、モデル固有の明示的な仮説を必要とする。

手法には以下を用いる：

• イトー・田中公式： 非平滑な $|Y_t|$ を扱うために、$Y_t = X_{1,t} - \alpha X_{2,t}$ に適用される。
• 占有密度および余面積恒等式： 局所時間の項を対角線上の表面測量へと変換するために使用される。
• キルド・レゾルベント（殺された分解能）： 値関数は、非制限的なレゾルベントではなく、停止集合への進入時にキル（殺）されたレゾルベント演算子を用いて表現される。
• 検証定理： 一般化されたイトー・クラスおよび測度超調和性に基づいており、値関数の事前的な正則性に依存しない。

3. 主要な貢献と結果

• 測度値の停止利得： 本論文は、停止利得の対象 $\Gamma = c + rG - \mathcal{L}G$ が関数ではなく、符号付きラドン測度であることを証明している。これは、絶対連続部分と対角 $\Delta$ 上の特異な表面測度に分解される：
  $$\Gamma_\Delta(dx) = -\frac{q(x)}{2\sqrt{1+\alpha^2}} \sigma_\Delta(dx)$$
  ここで、$n=(1, -\alpha)$ とすると $q(x) = n^\top a(x) n$ であり、$a(x)$ は拡散共分散行列である。局所的な楕円性の下では $q(x) > 0$ であり、対角成分は厳密に負となる。

• 対角回避定理： 対角成分の測度が厳密に負であることの直接的な帰結として、キンク集合 $\Delta$ のいかなる内部点も停止集合に含まれることはない。最適な戦略は、対角線上にいるときは常に継続することである。これは、キンクにおいて微小時間 $h$ だけ待機することによる局所時間の利得（$\sqrt{h}$ のスケール）が、実行コスト（$h$ のスケール）を上回ることを示すことで証明される。

• キルド・レゾルベント表現： 著者らは、正しい値の表現は次式であることを確立している：
  $$V(x) = G(x) - R^C_r \Gamma(x)$$
  ここで $R^C_r$ は、停止集合への最初の進入時刻 $\tau_D$ でキルされたレゾルベントである。彼らは、非制限的な反射型レゾルベント $R^R_r$ が一般に不適切であることを厳密に証明している。なぜなら、反射過程は停止集合に接触した後、再び継続領域へ再進入する可能性があり、最適停止問題がカウントすべきではない「余分な」占有を蓄積してしまうからである。1次元反射ブラウン運動を用いた閉じた形式の反例により、このギャップが定量化されている。

• コーナー項の分析： 本論文は、原点 $(0,0)$ における潜在的な特異性に対処している。非退化な反射ブラウン運動に対して検証された特定の仮定の下では、イトー・田中公式へのコーナーの寄与は消失し、測度の分解が領域全体で成立することを保証する。

4. 検証と数値実験
フレームワークが空理屈ではなく機能的なものであることを示すため、著者らは一定のドリフトと共分散を持つ反射ブラウン運動のベンチマークに対して、すべてのティア I の結果を検証している。

• 解析的検証： 値関数が全域的にリプシッツ連続であること、対角線の測度が厳密に負であること、およびキルド・レゾルベント表現が成立することを確認している。
• 数値実験：
  1. 局所時間のスケーリング： モンテカルロ・シミュレーションにより、対角線のキンクにおける局所時間の理論的な $\sqrt{t}$ スケーリングを再現し、継続を強制するメカニズムを検証した。
  2. レゾルベントのギャップ： 1次元反射過程のシミュレーションにより、キルド・レゾルベントと非制限レゾルベントの間の正確な正のギャップを再現し、再進入メカニブルを分離した。
  3. 対角回避： 障害物問題の有限差分解により、対角線のキン引（kink）に沿ったリッジ（隆起）としての継続優位性を可視化し、停止集合が領域を満たしながらもキンクを厳密に回避している様子を示した。

5. 意義と主張
本論文は、非平滑なペイオフを持つ多次元最適停止問題に対する、ヒューリスティックな取り扱いの厳密な修正を提供すると主張している。その主な意義は以下の通りである：

1. 停止利得の修正： $\Gamma$ が符号付き測度であり、キンク上で厳密に負の特異成分を持つことを確立し、特異成分を分離せずに「停止集合上で $\Gamma \ge 0$」といった点ごとの条件を用いることの妥当性を否定した。
2. ポテンシャル表現の修正： 値関数はキルド・レゾルベントを通じて表現されなければならないことを証明し、非制限的な反射型レゾルベントで十分であるという一般的な誤解を正した。
3. 幾何学とメカニズムの分離： 無条件の測度論的事実（ティア I）と条件付きの幾何学的特性（ティア II）を区別することで、反射型多次元設定における自由境界の自動的な正則性の主張を避けている。論文は、対角線が決して停止集合にはならない一方で、停止集合の全体的な形状（例：それがエピグラフを形成するかどうか）は、拡散力学のみからは導かれない、モデル固有の問題であることを明示している。

著者らは、結論として、「キンク上での停止回避」という現象は頑健かつ無条件なものであるが、自由境界の完全な幾何学的特性の記述には、拡散力学だけでは暗示されない、停止優位性 $H = V - G$ に関するさらなる構造的仮定が必要であるとしている。