[論文レビュー] Strict solutions to stochastic parabolic evolution equations in M-type 2 Banach spaces

Tôn Việt Tạ, Yoshitaka Yamamoto+1 more|arXiv (Cornell University)|Aug 29, 2015

Nonlinear Differential Equations Analysis参考文献 5被引用数 3

ひとこと要約

本稿では、M型2バナッハ空間における確率的放物型進化方程式の厳密解の存在および一意性を、決定論的進化方程式理論の拡張によって確立する。主な貢献は、時間におけるホルダー連続性および生成作用素の分数乗の定義域におけるパスワイズ正則性を備えた解の構築であり、これにより確率的力学系の構築が可能になる。

ABSTRACT

We study a stochastic linear evolution equation $dX+A(t)Xdt=F(t)dt+ G(t)dw_t$ in a Banach space of M-type 2. We construct unique strict solutions to the equation on the basis of the theory of deterministic linear evolution equations. The abstract results are applied to stochastic diffusion equations.

研究の動機と目的

• M型2バナッハ空間における確率的放物型進化方程式の厳密解に関する厳密な理論を構築すること。
• 弱解の限界を克服するため、時間的および空間的正則性がより高い解の構築を行うこと。
• このような方程式によって生成される確率的力学系を構築するための基盤を提供すること。
• 加法的ノイズを伴う決定論的進化方程式理論を確率的設定に拡張すること。
• 抽象的結果を具体的な確率的拡散方程式に適用し、鋭い正則性推定を導出すること。

提案手法

• M型2バナッハ空間における厳密解の構築に、決定論的線形進化方程式理論を用いる。
• イト型確率的項を取り扱うために、M型2バナッハ空間における確率積分理論を適用する。
• バナッハ空間における確率過程のコルモゴロフ連続性定理を用いたホルダー連続性推定を用いる。
• 生成作用素A(t)の分数乗の定義域に関する解の正則性を確立する。特にA(t)^βX(t)を考察する。
• 時間および確率空間におけるホルダー連続性と可積分性を含む関数空間における事前推定を導出する。
• 有界領域における確率的拡散方程式に結果を適用し、抽象的枠組みの構造的仮定が満たされることを検証する。

実験結果

リサーチクエスチョン

• RQ1 M型2バナッハ空間における確率的放物型進化方程式が、どのような条件下で厳密解を有するか。
• RQ2 生成作用素A(t)の分数乗を用いて、解の正則性をどのように特徴づけられるか。
• RQ3 解のホルダー連続性および可積分性を保証するための初期データおよび係数に必要な十分条件は何か。
• RQ4 抽象的枠組みを、確率的拡散方程式のような具体的な確率的偏微分方程式に適用可能か。
• RQ5 解の正則性特性は、生成作用素のスペクトル性質およびノイズ構造にどのように依存するか。

主な発見

• 確率的進化方程式 dX + A(t)X dt = F(t) dt + G(t) dw_t は、M型2バナッハ空間において一意な厳密解を有する。
• 任意の 0 < γ₁ < min{β, 1/2} および β ≥ 1/2p に対して、P-ほとんど確実に X ∈ C^γ₁([0,T]; L_p(𝒪)) かつ A^βX ∈ C([0,T]; L_p(𝒪)) が成り立つ。
• 任意の τ > 0 に対して t > 0 において、P-ほとんど確実に AX ∈ C^γ₂([τ,T]; L_p(𝒪)) が成り立ち、0 < γ₂ < min{δ - 1/2, σ} を満たす。
• 事前推定が導出される：β ≥ δ のとき、𝔼‖A(t)^βX(t)‖²_{L_p} ≤ C[𝔼‖A(0)^βX₀‖²_{L_p} + ‖f‖²_{ℱ^{β,σ}}‖φ₁‖²_{L_p} + ‖A(0)^δφ₂‖²_{L_p}𝔼|g(0)|²t^{1-2(β−δ)} + t^{1-2(β−δ)+2σ}]。
• β < δ のとき、推定は以下のようになる：𝔼‖A(t)^βX(t)‖²_{L_p} ≤ C[𝔼‖A(0)^βX₀‖²_{L_p} + ‖f‖²_{ℱ^{β,σ}}‖φ₁‖²_{L_p} + ‖A(0)^δφ₂‖²_{L_p}𝔼|g(0)|²t + t^{1+2σ}]。
• 結果は確率的拡散方程式に適用され、初期データが H^{2β+ε}_{p,D}(𝒪) または H^{2β+ε}_{p}(𝒪) a.s. で二階モーメントが有限であれば、抽象定理の構造的仮定が満たされることを検証した。