[論文レビュー] Comparison principle for stochastic heat equation on $\mathbb{R}^d$

Le Chen, Jingyu Huang|arXiv (Cornell University)|Jul 14, 2016

Stochastic processes and financial applications参考文献 15被引用数 3

ひとこと要約

本稿は、スペクトル測度 $\hat{f}$ とパラメータ $\alpha \in (0,1]$ を含むスペクトル条件を満たす、空間的に一様なガウスノイズによって駆動される $\mathbb{R}^d$ 上の確率的熱方程式の解に対して、強い比較原理と厳密正値性を確立する。これらの結果は、白色ノイズや滑らかな初期データにとどまらず、粗い初期データおよび一般のノイズ構造へと既知の比較原理を拡張する。

ABSTRACT

We establish the strong comparison principle and strict positivity of solutions to the following nonlinear stochastic heat equation on $\mathbb{R}^d$ \[ \left(\frac{\partial }{\partial t} -\frac{1}{2}Δ ight) u(t,x) = ρ(u(t,x)) \:\dot{M}(t,x), \] for measure-valued initial data, where $\dot{M}$ is a spatially homogeneous Gaussian noise that is white in time and $ρ$ is Lipschitz continuous. These results are obtained under the condition that $\int_{\mathbb{R}^d}(1+|ξ|^2)^{α-1}\hat{f}( ext{d} ξ)0$.

研究の動機と目的

• 測度値初期データおよび空間的に一様なガウスノイズを伴う確率的熱方程式に対する強い比較原理を確立すること。
• 同じ条件下で解の厳密正値性を証明し、白色ノイズや滑らかな初期データを超えた既知の結果を拡張すること。
• 解の $L^p$-モーメントバウンドとホルダー正則性推定値を導出し、粗い初期条件の解析を可能にする。
• ダランの条件を超えて、スペクトル測度が $\int_{\mathbb{R}^d}(1+|\xi|^2)^{\alpha-1}\hat{f}(d\xi) < \infty$ を満たす $\alpha \in (0,1]$ の場合に、比較原理を拡張すること。

提案手法

• 著者らは、解をモリフィアに畳み込んで正則化する技術を用い、解の近似とノイズ構造の制御を行う。
• 与えられたスペクトル条件の下で、$p \geq 2$ の $L^p(\Omega)$-モーメントバウンドを鋭く導出し、解の成長および正則性を制御する。
• 強い比較原理の証明は、事前モーメント推定値と、ノイズの構造およびリプシッツ非線形関数 $\rho$ に基づく比較論法に依存する。
• 解のホルダー連続性は、モーメント推定値とコルモゴロフの連続性定理を用いて確立され、空間で $\alpha - \epsilon$、時間で $\alpha/2 - \epsilon$ の確率的ホルダー正則性が示される。
• フェインマン＝カック表現とマリヤン微積分の技法を用い、測度値初期データに適応した解析を構築する。
• スペクトル測度 $\hat{f}$ と条件 $\int_{\mathbb{R}^d}(1+|\xi|^2)^{\alpha-1}\hat{f}(d\xi) < \infty$ を用いて、ノイズの粗さを制御し、解の正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 測度値初期データを伴う $\mathbb{R}^d$ 上の確率的熱方程式に対して、ノイズのスペクトル測度がどのような条件下で強い比較原理が成立するか。
• RQ2 ノイズが空間的・時間的白色でない場合に、初期データが粗い場合でも解の厳密正値性を確立できるか。
• RQ3 ノイズの一般スペクトル条件の下で、解の空間的および時間的最良ホルダー正則性は何か。
• RQ4 スペクトル条件 $\int_{\mathbb{R}^d}(1+|\xi|^2)^{\alpha-1}\hat{f}(d\xi) < \infty$ を満たす $\alpha \in (0,1]$ の下で、解の $L^p$-モーメントはどのように振る舞うか。
• RQ5 ダランの条件（$\alpha = 0$）の下で弱い比較原理は成立するか。この場合の解の正則性はいかなるものか。

主な発見

• スペクトル測度が $\int_{\mathbb{R}^d}(1+|\xi|^2)^{\alpha-1}\hat{f}(d\xi) < \infty$ を満たす $\alpha \in (0,1]$ の下で、リプシッツ性を満たす $\rho$ および測度値初期データのもとで、$\mathbb{R}^d$ 上の確率的熱方程式に対して強い比較原理が成立する。
• 同じスペクトル条件の下で、初期データが非負かつ消えない場合、すべての $t > 0$ および $x \in \mathbb{R}^d$ に対して、解は確率的にほぼ everywhere で厳密に正である。
• スペクトル条件の下で、解 $u(t,x)$ は任意の $\epsilon > 0$ に対して、空間で $\alpha - \epsilon$、時間で $\alpha/2 - \epsilon$ のホルダー連続性を確率的にほぼ everywhere で有する。
• すべての $p \geq 2$ に対して、$u(t,x)$ の $L^p(\Omega)$-モーメントに対する便利な上界が導出され、正則性および比較結果の証明に不可欠である。
• ダランの条件（$\alpha = 0$）の下では、弱い比較原理が成立し、非負の初期データに対して解は確率的にほぼ everywhere で非負である。
• スペクトル条件の下で、初期データが $\int_{\mathbb{R}^d}e^{-a|x|^2}|\mu|(dx) < \infty$ をすべての $a > 0$ に対して満たす場合、解は適切に定義され、$L^2(\Omega)$-連続である。