[論文レビュー] Existence, uniqueness, and regularity for stochastic evolution equations with irregular initial values

Adam Andersson, Arnulf Jentzen+1 more|arXiv (Cornell University)|Dec 21, 2015

Stochastic processes and financial applications参考文献 40被引用数 11

ひとこと要約

本稿は、初期値が特異的で、時間に依存する係数が初期時刻で特異的な半線形確率的発展方程式（SEEs）の弱解について、存在性、一意性、正則性を確立する。著者らは、初期時刻に特異性を示す確率過程に対する新たな摂動推定式を構築し、事前境界を導出し、初期データに関して解のリプシッツ連続性の鋭い正則性閾値を同定する。この閾値は、反例を用いて最適性が示されている。

ABSTRACT

In this article we develop a framework for studying parabolic semilinear stochastic evolution equations (SEEs) with singularities in the initial condition and singularities at the initial time of the time-dependent coefficients of the considered SEE. We use this framework to establish existence, uniqueness, and regularity results for mild solutions of parabolic semilinear SEEs with singularities at the initial time. We also provide several counterexample SEEs that illustrate the optimality of our results.

研究の動機と目的

• 特異な初期条件および特異的な時間依存係数を有する半線形確率的発展方程式（SEEs）について、存在性、一意性、正則性に関する結果が不足しているという問題に取り組む。
• 不規則な初期値および初期時刻における特異性を有するSEEsを分析するための一般枠組みを構築する。
• 初期データに関して解がリプシッツ連続のままであるという条件下での最適な正則性閾値を同定する。
• 明示的な反例を用いて、この正則性閾値の鋭さを示す。

提案手法

• 予測可能確率過程に初期時刻における特異性を有する新たな摂動推定式（命題2.7）を導入し、解および数値近似における事前境界の確立を可能にする。
• 摂動推定式を適用して、非線形項および係数に関する一般条件の下で、弱解の存在性、一意性、正則性（定理2.9）を証明する。
• 強い連続性を持つ解析的半群の生成作用素に関連する補間空間を用いて、解空間における正則性を制御する。
• 初期条件および係数における特異性の影響を定量化するパラメータ Θλ に関連する重要な境界（式3）を導出する。
• 伊藤等長性および確率積分の推定式を用いて、 Hölder 空間およびSobolev型空間における解ノルムの成長を制御する。
• 正則性閾値が改善できないことを示す反例（命題3.2, 3.4, 3.5）を構築する。

実験結果

リサーチクエスチョン

• RQ1 半線形SEEsの初期条件に必要な最小正則性は何か？ これにより、初期値に関してリプシッツ連続な弱解の存在と一意性が保証される。
• RQ2 初期時刻に特異性を有する確率過程に対して、一般化された摂動推定式を導出できるか？ これにより、解および数値近似に対する事前境界が得られる。
• RQ3 時間に依存する係数の特異性（例：t−ˆα, t−ˆβ）は、SEEsの解の正則性および存在性にどのように影響するか？
• RQ4 解のリプシッツ連続性の正則性閾値は鋭いか？ もしくは、改善可能か？
• RQ5 初期データが測度や分布であるような粗い状況において、解が存在しなくなる正確な条件は何か？

主な発見

• 本稿は鋭い正則性の障壁を確立する：初期条件が H−1 に属するならば、解は初期値に関してリプシッツ連続である。一方、初期条件が r > 1 に対して H−r に属するならば、このような連続性が成立しない可能性がある。
• 特異な初期データおよび時間特異的係数を有するSEEsの解および数値近似に対して、事前境界を与える新たな摂動推定式（式5）が導出された。
• 非線形項に関する一般的な成長およびリプシッツ条件の下で、初期条件が特異的測度または分布であっても、弱解の存在および一意性が証明された。
• 正則性閾値 H−1 が最適であることを示す反例が構築された：初期データが r > 1 に対して H−r に属する場合、解が存在しないか、リプシッツ連続性を失う可能性がある。
• 線形または非線形の乗法的ノイズを有する確率的熱方程式に対して、初期データがデルタ関数の微分または指数的尾部を有する符号付き測度であっても、解が存在し、正則である条件を同定した。
• 解析により、初期条件の正則性が解の正則性および安定性を直接決定することが確認された。特に、リプシッツ連続性の臨界閾値は H−1 である。