[論文レビュー] A relatively short proof of Itô's formula for SPDEs and its applications

Н. В. Крылов|arXiv (Cornell University)|Aug 18, 2012

Stochastic processes and financial applications参考文献 8被引用数 6

ひとこと要約

本稿は、V ⊂ H ⊂ V* フレームワークにおけるヒルベルト空間値確率過程に対する伊藤の公式の簡潔な証明を提示する。この証明では、解体作用素を用いて確率微分を V* から H に持ち上げることにより、標準的なヒルベルト空間における伊藤の公式を適用する。この手法により、従来の証明が抱える複雑さを簡略化し、任意の領域における2次確率偏微分方程式（SPDE）の最大原理の新たな一般化証明を可能にする。これにより、滑らかな領域や強い解の正則性を仮定しない広範な設定へと既存の結果を拡張できる。

ABSTRACT

We give a short proof of Itô's formula for stochastic Hilbert-space valued processes in the setting $V\subset H\subset V^{*}$ based on the possibility to lift the stochastic differentials, which are originally in $V^{*}$, into $H$. Using this result we also prove the maximum principle for second-order SPDEs in arbitrary domains.

研究の動機と目的

• V および H がヒルベルト空間である V ⊂ H ⊂ V* 框組みにおけるSPDEの伊藤の公式に対して、著しく簡素でより直接的な証明を提供すること。
• 特に H-ノルム過程の連続性や時間微分の導出に関する、従来の伊藤の公式証明における技術的複雑さやギャップを克服すること。
• 滑らかな境界条件や強い解の正則性を要件としない、任意の開領域における2次SPDEの一般最大原理を確立すること。
• SPDEに確率的係数や不規則な領域を含める適用範囲を拡大し、ランダム特徴線法や滑らか化に基づく手法に見られる制限を克服すること。

提案手法

• 解体作用素 R_λ を用いて、V* に倣う確率微分 du_t を H に持ち上げ、ヒルベルト空間における標準的伊藤の公式を適用可能にする。
• 持ち上げられた過程を H で伊藤の公式に適用し、λ → ∞ の極限に取ることで、元の V* における公式を回復する。
• 解体作用素構成を用いて、H-ノルム過程 ‖u_t‖_H² の連続性を保証し、弱収束の議論によりその時間微分を導出する。
• 導出された伊藤の公式を解の正の部分 u_t^+ に適用し、最大原理の挙動を解析する。
• 部分積分と C^∞_0 関数による近似を用いて、SPDE設定における境界項の操作を正当化する。
• 予測可能過程および L^2-推定を用いて、最終的な不等式鎖における可積分性とマルティンゲール構造を保証する。

実験結果

リサーチクエスチョン

• RQ1 V および H がヒルベルト空間である V ⊂ H ⊂ V* フレームワークにおいて、SPDEの伊藤の公式に対して、より簡素で直接的な証明を構築可能か？
• RQ2 解体作用素による持ち上げ技法は、複雑な決定的バナッハ空間版の伊藤の公式を必要としなくなるか？
• RQ3 C^1 正則性や滑らかな境界を要件としない任意の領域において、2次SPDEの最大原理を証明可能か？
• RQ4 伊藤の公式と L^2-推定のみを用いて、確率的係数および一般領域を有するSPDEの最大原理を拡張可能か？
• RQ5 部分的に観測された拡散過程のフィルタリング問題に、任意の領域における抜出自時刻までこの手法を適用可能か？

主な発見

• 解体作用素による持ち上げを用いて、ヒルベルト空間値SPDEの伊藤の公式に対する新たな簡潔な証明を確立。決定的バナッハ空間結果への依存を回避した。
• 持ち上げ法を用いて、H-ノルム過程 ‖u_t‖_H² の連続性が厳密に証明され、従来の証明におけるギャップが解消された。
• 2次SPDEの最大原理が任意の開領域で証明され、C^1_{{loc}} 境界や全空間設定を要件としていた既存の結果が一般化された。
• 本手法は、L^2(H^1_2) 可積分性より強い解の正則性を要件としないSPDEに適用可能である。
• 最大原理の証明は、u_t^+ に伊藤の公式を適用することに依拠し、非負の局所マルティンゲールが得られる。このマルティンゲールがゼロでなければならないことから、初期値および駆動項が非正のとき u_t ≤ 0 a.s. が導かれる。
• 本結果は、部分的に観測された拡散過程のフィルタリング問題に適用可能であり、出口時刻までのフィルタリング密度の有効性を保証することで、既存の結果を任意の領域へと拡張した。