[論文レビュー] Stochastic Differential Equations Driven by Purely Spatial Noise

Sergey V. Lototsky, B. L. Rozovskiĭ|ArXiv.org|May 25, 2005

Stochastic processes and financial applications参考文献 22被引用数 13

ひとこと要約

本稿は、重み付き関数空間におけるCameron-Martinのウィenerchaos展開を用いて、完全に空間的なガウス白色ノイズによって駆動される双線形確率的放物型および楕円型PDEを解くための体系的枠組みを開発する。弱い強退化性条件の下で解の存在、一意性、および長時間挙動を確立し、強制項が安定化する場合、標準的な$L^2$-ベースのアプローチが二階可積分性の欠如により失敗する場合でも、解が定常状態に収束することを示している。

ABSTRACT

We study stochastic parabolic and elliptic PDEs driven by purely spatial white noise. Even the simplest equations driven by this noise often do not have a square-integrable solution and must be solved in special weighted spaces. We demonstrate that the Cameron-Martin version of the Wiener chaos decomposition is an effective tool to study both stationary and evolution equations driven by space-only noise. The paper presents results about solvability of such equations in weighted Wiener chaos spaces and studies the long-time behavior of the solutions of evolution equations with space-only noise.

研究の動機と目的

• 純粋に空間的な白色ノイズによって駆動される双線形SPDEに対する体系的理論の欠如に取り組むこと。これは、標準的な$L^2$空間では二階可積分性を満たさない解をもつ場合が多く、その場合、標準的な$L^2$-理論が機能しない。
• 特に次元$d > 2$において自然なフィルトレーションが存在しない空間的ノイズの状況を克服するため、マリヤン・カレンスに基づく予測的（anticipative）な解法を用いること。
• 古典的な確率的強退化性条件$\mathbf{A} - \frac{1}{2}\mathbf{MM}^*$が強制的であることを必要としないように、同階数の演算子$\mathbf{A}$および$\mathbf{M}$を許容するように可解性結果を拡張すること。
• 空間的ノイズを伴う時間発展方程式の解の長時間挙動を分析し、時間的漸近的強制項の下で解が定常解に収束することを示すこと。
• 重み付きウィーナー・チャノス空間を用いた堅牢な解析的枠組みを提供し、放物型および楕円型SPDEの両方に対して、正規性と安定性を保証すること。

提案手法

• 解をホルンテ多項式の級数として表現するCameron-Martinのウィーナー・チャノス展開を用い、重み付き$L^2$-型空間における解析を可能にする。
• 重み$ r_\alpha = q^\alpha / \sqrt{\alpha!} $を導入し、$ \sum_k C_k^2 q_k^2 < 1 $を満たすように$ q_k $を選び、演算子ノルム$ C_k $から収束を保証する。
• フィルトレーションの欠如に起因する限界を避けるために、マリヤン・カレンスを用いたアンチシパティブ（予測的）な解法とスコロホド積分を適用する。
• 解作用素の有界性およびチャノス成分における一様推定を証明することで、重み付き$ \mathcal{R}L_2(\mathbb{F}; H) $空間における可解性を確立する。
• 部分積分と強制性推定を用い、微分作用素$ \mathbf{A} $が$ \overset{\circ}{H_2^1}(G) $から$ H_2^{-1}(G) $への同型写像として必要な条件を満たすことを検証する。
• チャノス空間における不動点定理を用い、係数の弱い正規性および有界性仮定の下で、放物型および楕円型方程式の解の存在および一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 標準的な$L^2$-理論が二階可積分性の欠如により失敗する場合、純粋に空間的な白色ノイズによって駆動される双線形SPDEを数学的に厳密に解くことは可能か？
• RQ2 空間的ノイズを伴う確率的放物型PDEの解は、$ t \to \infty $のとき、非予測的（non-anticipating）なノイズであり、かつ$ \mathbf{A} - \frac{1}{2}\mathbf{MM}^* $が強制的でない場合でも、定常解に収束する条件は何か？
• RQ3 空間的白色ノイズの文脈において、特に自然なフィルトレーションが存在しない高次元（$ d > 2 $）において、予測的解を扱うためにウィーナー・チャノス展開をどのように適合させることができるか？
• RQ4 係数$ a_{ij}, \sigma_{ij} $、および$ f $に必要な最小限の正規性および有界性仮定は何か？その仮定のもとで、重み付きウィーナー・チャノス空間内での解の存在および一意性が保証される。
• RQ5 演算子$ \mathbf{A} $および$ \mathbf{M} $の構造を一般化することで、$ 2m $次楕円型SPDE（例：$ m $次微分作用素）への理論の拡張は可能か？

主な発見

• 放物型SPDE (1.5) の解は、重み付きウィーナー・チャノス空間$ \mathcal{R}L_2(\mathbb{F}; \overset{\circ}{H_2^1}(G)) $において存在し、一意的であり、解のノルムは$ \|u\|_{\mathcal{R}L_2} \leq C \cdot \|f\|_{H_2^{-1}} $で有界である。ただし、重みが$ \sum_k C_k^2 q_k^2 < 1 $を満たす必要がある。
• 楕円型SPDE (5.13) に対しては、仮定E1–E3の下で、$ \mathcal{R}L_2(\mathbb{F}; \overset{\circ}{H_2^1}(G)) $内に一意な解が存在し、解のノルムは$ \|u\|_{\mathcal{R}L_2} \leq C \cdot \|f\|_{H_2^{-1}} $で有界である。ここで$ C $は演算子ノルムおよび重みに依存する。
• 強制項$ f(t) $および$ g(t) $が$ H $において極限$ f^* $および$ g^* $に収束するとき、放物型方程式の解$ u(t) $は$ \mathcal{R}L_2(\mathbb{F}; H) $において、定常方程式 (5.11) の解$ u^* $に収束する。これは長時間安定性を示している。
• 重み$ r_\alpha = q^\alpha / \sqrt{\alpha!} $は、$ \sum_k C_k^2 q_k^2 < 1 $を満たすように構成されており、これによりウィーナー・チャノス級数の収束が保証され、解作用素に対する一様なバウンディングが可能になる。
• 理論は、$ \mathbf{A} $および$ \mathbf{M} $が同階数である場合に適用可能であり、従って古典的な確率的強退化性条件$ \mathbf{A} - \frac{1}{2}\mathbf{MM}^* $が強制的である必要がない。
• 結果は、$ \mathbf{A} $および$ \mathbf{M}_k $を$ m $次微分作用素として定義し、ディリクレラプラシアンの固有関数を基底関数$ h_k $として用いることで、$ 2m $次楕円型SPDEへと一般化可能である。