[論文レビュー] On the Itô-Wentzell formula for distribution-valued processes and related topics

Н. В. Крылов|ArXiv.org|Apr 17, 2009

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

ひとこと要約

本稿では、確率的フビニの定理と実数値過程に対する精密化された伊藤＝ヴェントツルの公式を用いて、分布値をとる過程に対する一般化された伊藤＝ヴェントツルの公式を確立する。主な貢献は、イト拡散によって誘導される確率的微分同相写像の下で、分布値をとる過程の時間発展を経路に沿って導出することであり、分布ノイズおよび分布ドリフトを伴うSPDEのための厳密な枠組みを提供する。

ABSTRACT

We prove the Itô-Wentzell formula for processes with values in the space of generalized functions by using the stochastic Fubini theorem and the Itô-Wentzell formula for real-valued processes, appropriate versions of which are also proved.

研究の動機と目的

• 一般化関数（分布）の空間に値をとる過程への伊藤＝ヴェントツルの公式の拡張を目的とする。
• 確率的フローの下での分布値をとる過程の確率的時間発展に対する厳密な基礎を提供すること。
• 先行研究におけるギャップを解消するため、確率的フビニの定理と実数値過程に対する適切なバージョンの伊藤＝ヴェントツルの公式を用いて公式を証明すること。
• 得られた公式が分布の意味で適切に定義されており、すべての項が適切な可積分性クラスに属することを保証すること。

提案手法

• 確率的フビニの定理を用いて、ストリクト積分と試験関数との分布的ペアリングを交換する。
• 滑らかで compact な台を持つ試験関数 φ に対して、(u_t, φ(·−x)) のペアリングに実数値過程に対する伊藤＝ヴェントツルの公式のバージョンを適用する。
• 過程 f, g および拡散係数 b と σ における条件の検証により、得られた公式のすべての項の予測可能性と可積分性を確立する。
• 試験関数とコンパクトな台を持つカットオフ関数を用いた正則化および近似戦略を実装し、分布的微分と無限次元確率積分を扱う。
• ホルダーの不等式とモーメント推定を用いて、ℓ₂-値をとる過程およびその微分を含む級数の収束を制御する。
• 最終的な公式のすべての項が、分布的意味での方程式を満たすために必要な可測性および可積分性条件を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 一般化関数（分布）の空間に値をとる過程への伊藤＝ヴェントツルの公式をどのように拡張できるか。
• RQ2 確率的フローの下で、分布値をとる過程の確率的時間発展が、分布的意味で適切に定義されるための条件は何か。
• RQ3 確率的フビニの定理を分布値をとる過程にどのように適用し、積分と試験関数とのペアリングの交換を正当化できるか。
• RQ4 ドリフト係数 b と拡散係数 σ は、分布値をとる過程に対する最終的な公式においてどのような役割を果たすか。
• RQ5 ℓ₂-値をとる分布を含む確率積分の和が、変数 (ω,x,t) に対して一様に収束し、可測となるための条件は何か。

主な発見

• 本稿では、元の過程 u が分布の意味で確率的時間発展方程式を満たすという仮定の下で、v_t(x) = u_t(x + x_t) として定義される分布値をとる過程 v_t に対して、伊藤＝ヴェントツルの公式が成り立つことを証明している。
• 得られた公式は、dv_t(x) = [f_t(x + x_t) + a^{ij}_t D_{ij}v_t(x) + b^i_t D_i v_t(x) + (D_i g_t(x + x_t), σ^{i·}_t)_{ℓ₂}] dt + [g^k_t(x + x_t) + D_i v_t(x) σ^{ik}_t] dw^k_t として与えられ、分布的意味で有効である。
• 公式のすべての項が (ω, x, t) に対して適切に定義されており、同時に可測であり、コンパクト集合上での本質的上限とモーメントの境界を用いた推定により可積分性が確認されている。
• 例えば ∑_k ∫ |(g^k_s, φ)|² ds のような ℓ₂-値をとる無限級数の収束は、マルティンゲール収束定理とコンパクト集合上での一様有界性を用いて確立されている。
• 証明は、関係する過程が確率的フビニの定理および実数値の伊藤＝ヴェントツルの公式の条件を満たしていることを検証することに依存しており、特に微分の同時可測性と連続性が重要である。
• 結果は停止時刻 τ まで有効であり、すべての項が適切な可積分性クラス（例：ℱ_t-可測、コンパクトな x-集合上で L^1 または L^2 に属する）に属するという点で、すべての t に対してほとんど確実に成り立つ。