[論文レビュー] A Free Boundary Characterisation of the Root Barrier for Markov Processes

Paul Gassiat, Harald Oberhauser+1 more|arXiv (Cornell University)|May 30, 2019

Stochastic processes and financial applications参考文献 64被引用数 5

ひとこと要約

本稿は、双対性および絶対連続性の仮定の下で、一般のマコフ過程に対するルートの障壁のポテンシャル論的自由境界特徴付けを確立し、スコロホド埋め込み問題における最適停止時刻の動的計画法に基づく計算を可能にする。主な貢献は、半群に基づく自由境界定式化を用いて、1次元拡散過程を超えて多変数および非局所過程へのルート構成の一般化を達成することにある。

ABSTRACT

We study the existence, optimality, and construction of non-randomised stopping times that solve the Skorokhod embedding problem (SEP) for Markov processes which satisfy a duality assumption. These stopping times are hitting times of space-time subsets, so-called Root barriers. Our main result is, besides the existence and optimality, a potential-theoretic characterisation of this Root barrier as a free boundary. If the generator of the Markov process is sufficiently regular, this reduces to an obstacle PDE that has the Root barrier as free boundary and thereby generalises previous results from one-dimensional diffusions to Markov processes. However, our characterisation always applies and allows, at least in principle, to compute the Root barrier by dynamic programming, even when the well-posedness of the informally associated obstacle PDE is not clear. Finally, we demonstrate the flexibility of our method by replacing time by an additive functional in Root's construction. Already for multi-dimensional Brownian motion this leads to new class of constructive solutions of (SEP).

研究の動機と目的

• 一般のマコフ過程へのスコロホド埋め込み問題（SEP）に対するルートの解法の拡張。
• 双対性仮定および半群の絶対連続性を満たすマコフ過程における、非確率的最適なルート停止時刻の存在と最適性の確立。
• 動的計画法の原則を用いた、ルート障壁の構成的計算手法の提供。
• 自由境界問題に対する古典的障害PDEアプローチの一般化として、ルート障壁をポテンシャル論的自由境界として定式化すること。
• 時間の代わりに加法的関数を用いることで、フレームワークの柔軟性を示し、多変数ブラウン運動に対する新たな解のクラスを導出すること。

提案手法

• 双対空間時空過程の半群を用いて、過剰関数と還元作用素を介してルート障壁を自由境界として特徴付ける。
• ポテンシャル論と双対性を適用し、調和測度が閾値を超える点の集合として障壁を定義することで最適性を保証する。
• 動的計画法の原則を用いて障壁を計算し、関連する障害PDEが適切に定義されていなくても可能である。
• ルートの元々の構成における時間の部分を、$ A_t = \int_0^t a(X_s)\,ds $ で与えられる加法的関数に置き換えることで、埋め込みを新たな解のクラスへ一般化する。
• マコフ過程の生成作用素を用いて、正則性条件が満たされる場合にはPDE定式化を導出し、古典的障害PDEと関連付ける。
• 具体的な例（多変数ブラウン運動、安定リーヴィ過程、離散マコフ連鎖）にフレームワークを適用し、数値的妥当性を確認する。

実験結果

リサーチクエスチョン

• RQ1 一般のマコフ過程におけるルート障壁を、ポテンシャル論的手法を用いて自由境界として特徴付けることは可能か？
• RQ2 マコフ過程に対して、スコロホド埋め込み問題を解く非確率的停止時刻が存在する条件は何か？
• RQ3 関連する障害PDEが適切に定義されていないプロセスに対し、どのようにしてルート障壁を構成的に計算できるか？
• RQ4 ルートの構成における時間成分を加法的関数に置き換えることで、スコロホド埋め込み問題の新たな解が得られるか？
• RQ5 双対過程の半群とルート障壁の自由境界構造との間にはどのような関係があるか？

主な発見

• 双対過程の半群の還元作用素を用いて、双対性および半群の絶対連続性を満たすマコフ過程のルート障壁が自由境界として特徴付けられる。
• 関連する障害PDEが適切に定義されていなくても、動的計画法に基づく障壁計算が可能となり、古典的PDE設定を超える応用範囲が拡大される。
• 多変数ブラウン運動に対しては、時間の代わりに加法的関数を用いることで、スコロホド埋め込み問題に対する新たな構成的解が得られる。
• ヘイゼンベルク群（n=d=2）の場合、δ₀ ≺ ν を満たす確率測度νの明示的密度が導出され、そのLebesgue密度は $ \frac{4}{\pi} \frac{x^2 + y^2}{\sqrt{(x^2 + y^2)^2 + 16a^2}} \mathds{1}_{\{(x^2 + y^2)^2 + 16a^2 < 1\}} $ で与えられる。
• 本手法により、1次元拡散過程からの先行研究が、ヒポエルリプティック拡散過程およびリーヴィ過程を含む広範なマコフ過程のクラスへ一般化される。
• 数値実験により、非局所的および離散状態のマコフ連鎖を含むさまざまなプロセスにおいて、提案手法を用いたルート障壁の計算が実行可能であることが確認された。