確率過程のDynkin公式を理解する

時間一様なMarkov過程Xでは、生成作用素Lは実現経路そのものではなく試験関数fに作用します

形式的にLf(x)は、E_x[f(X_h)]からf(x)を引き、hで割った値の短時間極限です

極限が存在する関数の領域や必要な滑らかさと可積分性は、過程と定理の形に依存します

決定時刻tでの基本形はE_x[f(X_t)] = f(x) + E_x[∫₀ᵗ Lf(X_s) ds]です

左辺は有限時点の期待値で、右辺は初期値に局所的な期待変化を時間に沿って加えたものです

導関数を積分する古典的関係に似ていますが、Lにはドリフト、拡散、必要ならジャンプも含まれます

適切な条件の下では、tを領域からの初回退出時刻などの停止時刻τに置き換えられます

すると境界到達や初通過の問題を、τまでの生成作用素に関する期待恒等式へ変換できます

任意抽出は自動ではなく、有界性、局所化、一様可積分性など停止後の期待値を正当化する条件が必要です

適切な定義域ではM_t = f(X_t) - f(X_0) - ∫₀ᵗ Lf(X_s) dsが局所マルチンゲールになります

条件を確認して期待値を取るとマルチンゲール増分が消え、Dynkin公式が得られます

Itô拡散ではItô公式がドリフトと共分散からLを特定するため、二つの公式は競合せず連動します

価格測度の下で割引価値関数は、モデルと請求権の条件が満たされれば予測可能な利益を持ちません

その価値にDynkin公式を適用すると、継続領域で対応する生成作用素の残差がゼロになります

これはリスク中立期待値から後向き価格方程式へ、停止期待値から境界値問題へ進む一つの道です

f(x) = xやx²などを選び、生成作用素の項が閉じればモーメントの方程式を導けます

Lyapunov関数を選べば退出確率、期待停止時刻、長期安定性の上界や下界を求められます

公式はfを選んでくれず、関心のある量を生成作用素に表す関数選択が分析の要点です

非有界関数、爆発し得る過程、不規則な境界、無限停止時刻では安易な期待値操作が破綻します

ジャンプ過程の生成作用素には積分項が入り、非時間一様モデルには時間微分か拡張状態が加わります

数値上の近道として使う前に、過程、生成作用素の定義域、停止規則、可積分条件を明記すべきです