[論文レビュー] A Note On Degenerate Stochastic Integro-Differential Equations

Konstantinos Dareiotis|arXiv (Cornell University)|Jun 21, 2014

Differential Equations and Numerical Methods参考文献 3被引用数 6

ひとこと要約

本稿は、緩い超放物型条件の下で、Sobolev空間内における退化確率積分微分方程式（SPDE）の解の存在、一意性、および経路の正則性を確立する。ジャンプおよび積分作用素に対する新しい推定式を導出し、先行研究の手法を応用することで、解が $H^m$ 上で弱く cádlág であることを証明し、非線形フィルタリングへの応用において極めて重要な標本路の正則性を保証する。

ABSTRACT

In the present article, solvability in Sobolev spaces is investigated for a class of degenerate stochastic integro-differential equations of parabolic type. Existence and uniqueness is obtained, and estimates are given for the solution.

研究の動機と目的

• 退化確率積分微分方程式（SPDE）の放物型方程式について、Sobolev空間内での可解性を確立すること。
• 従来のSPDE理論でしばしば仮定されてきた超放物型条件の欠如を扱うこと。
• $\mathbb{E}\sup_{t\leq T}\|u_t\|_m^2$ 型の推定式を導出し、経路正則性に関する結論を得ること。
• 解が $H^m$ 上で弱く cádlág であることを示すこと。これは非線形フィルタリングへの応用において重要な性質である。

提案手法

• 退化係数行列 $a^{ij}$ の近似のために、滑らか化（mollification）による正則化技術を用い、微小な $\varepsilon$-摂動を導入する。
• 正則化された方程式に伊藤の公式を適用し、$H^m$-ノルムにおける事前推定式を得る。
• Lévy測度およびジャンプ係数 $c_t(z,x)$ に関する仮定を用いて、確率的およびジャンプ積分項の精密な境界を導出する。これにはヤコビ行列式の条件も含まれる。
• 弱コンパクト性および弱収束の議論を用いて、正則化列における極限に移行し、$\mathfrak{H}^m$ 内の解を得る。
• 可算稠密集合 $\mathbb{T}$ および $H^m$ 内の滑らかで compact な台を持つ関数の稠密部分集合 $\mathbb{L} \subset H^m$ を用いて、解の経路の cádlág 正則性を確立する。
• ファトウの補題および一様有界性を用いて、主推定式を極限解へと拡張し、$\mathbb{E}\sup_{t\leq T}\|u_t\|_m^2$ 推定式が成り立つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 退化確率積分微分方程式（SPDE）が放物型である場合、Sobolev空間内に一意な解が存在するための条件は何か？
• RQ2 超放物型条件が仮定されていない場合でも、そのような解の経路正則性（特に弱い cádlág 性質）を確立できるか？
• RQ3 ジャンプおよび積分作用素の影響をどのように制御することで、$H^m$ 内で一様な事前推定式を導出できるか？
• RQ4 ヤコビ行列式の条件 $|\det(\mathbb{I} + \theta Dc_t)| \geq K^{-1}$ は、ジャンプによって誘導される変換の逆行列性および正則性を保証するために果たす役割は何か？
• RQ5 正則化問題の列の極限として解を構成できるか？その際、$L_2$-Sobolevノルム推定式を保ったままか？

主な発見

• 退化SPDE (1.1) の解 $u$ は、$\mathfrak{H}^m$ 内に存在し、一意的である。ここで $\mathfrak{H}^m$ は、$L_2$-ノルムが有限な $H^m$-値 progressively measurable な過程の空間である。
• 解は事前推定式 $\mathbb{E}\sup_{t\leq T}\|u_t\|_m^2 \leq C\left(\mathbb{E}\|\psi\|_m^2 + \|f\|_{\mathfrak{H}^m}^2 + \|g\|_{\mathfrak{H}^{m+1}(l_2)}^2 + \|h\|_{\mathfrak{H}^{m+1}(L_2(Z))}^2\right)$ を満たす。ここで $C$ は $K$ および $T$ に依存する。
• 解は $H^m$ 上で弱く cádlág である。これは、すべての $\phi \in H^m$ に対して $t \mapsto (u_t, \phi)_{m}$ が右連続かつ左極限を持つことを意味し、経路正則性を保証する。
• 主推定式は正則化列の極限においても保存され、実際の解に対しても成り立つことが確認された。
• 証明により、解が $L_2(\Omega, \mathscr{F}_T; H^m)$ にほとんど確実に属すること、すなわち $\|u_T\|_m \leq \liminf_{n\to\infty}\|u^n_T\|_m$ が成り立つことが示された。
• 本手法は [7] と類似の結果を独立に得るが、異なる証明戦略を採用し、$\mathbb{E}\sup_t\|\cdot\|_m^2$ 推定式により、より強い経路正則性に関する結論を得ている。