[論文レビュー] Intermittence and time fractional stochastic partial differential equations

Jebessa B. Mijena, Erkan Nane|arXiv (Cornell University)|Sep 26, 2014

Fractional Differential Equations Solutions参考文献 18被引用数 3

ひとこと要約

本稿は、Caputo微分と空間時間白色ノイズを有する時間分数確率的熱方程式を研究し、解の$L^2$モーメントが時間とともに指数関数的に増大すること、およびそれらの最も遠く離れた高ピークが時間に対して正確に線形に伝播することを証明している。これらの結果は、時間分数確率的偏微分方程式（SPDE）への遷移的理論を拡張し、ノイズおよび初期データに特定の条件下で遷移的フロントの存在を確立する。

ABSTRACT

We consider time fractional stochastic heat type equation $$\partial^β_tu(t,x)=-ν(-Δ)^{α/2} u_t(x)+I^{1-β}_t[σ(u)\stackrel{\cdot}{W}(t,x)]$$ in $(d+1)$ dimensions, where $ν>0$, $β\in (0,1)$, $α\in (0,2]$, $d

研究の動機と目的

• 時間分数確率的偏微分方程式（SPDE）における遷移的理論を、Caputo微分を用いた時間分数方程式へ拡張すること。
• 空間時間白色ノイズによって駆動される時間分数SPDEの解の$L^2$モーメントの長期的挙動を分析すること。
• 高ピーク解の空間的広がりを特徴づけ、遷移的フロントの伝播速度を同定すること。
• 解のモーメントが指数関数的に増大し、フロントが時間に対して線形に移動する条件を確立すること。
• FoondunとKhoshnevisan、およびConusとKhoshnevisanの結果を、時間分数の設定に一般化すること。

提案手法

• 熱記憶をモデル化するために、$\beta \in (0,1)$ のCaputo分数階微分 $\partial_t^\beta$ を用いる。
• 解は、分数的熱方程式 $\partial_t^\beta G_t = -\nu (-\Delta)^{\alpha/2} G_t$ の基本解 $G_t(x)$ を含む確率的畳み込みで表現される。
• $L^2$モーメントの時間的・空間的増大を解析するため、ラプラス変換と再生不等式を用いる。
• 対称性と三角不等式を用いて、$|y| > \theta t$ 上の積分を分解し、空間領域 $|x| > \theta t$ における解の$L^2$ノルムの下界を導出する。
• キーテクニックとして、$T(t) = \int_{|z| > \theta t} [G_t(z)]^2 dz$ のカーネルのラプラス変換を用い、モーメント関数 $M(t)$ に対する再生不等式を導出する。
• 証明は、有界収束定理と正の測度の集合上で初期データが正であるという事実に依拠し、$M(t)$ のラプラス変換が発散することを保証することで、超指数的増大を示す。

実験結果

リサーチクエスチョン

• RQ1 時間分数確率的偏微分方程式（SPDE）の解の絶対的$L^2$モーメントは、時間とともにどのように増大するか？
• RQ2 解のモーメントプロファイルにおける最も遠く離れた高ピークの空間的伝播速度は何か？
• RQ3 解は、指数的モーメント増大と線形フロント伝播という意味で、遷移的性質を示すか？
• RQ4 Caputo分数階微分の存在は、古典的SPDEと比較して、遷移的構造にどのように影響を与えるか？
• RQ5 $\alpha$, $\beta$, および $\sigma$ に対して、どのような条件下で遷移的フロントが時間に対して線形に伝播するか？

主な発見

• 解の$L^2$モーメントは時間とともに指数関数的に増大し、増大率はノイズの強度および$\sigma$のリプシッツ定数に依存する。
• 解の$L^2$モーメントの最も遠く離れた高ピークは、時間に対して正確に線形に伝播する。フロント速度はパラメータ $\beta$, $\alpha$, およびノイズ係数によって決定される。
• $\theta \in (0, \theta_0)$ に対して、$|x| > \theta t$ 上での $\mathbb{E}[|u_t(x)|^2]$ の上界が少なくとも指数的に増大し、正のリャプノフ指数 $\lambda_0 > 0$ を有する。
• $\theta \in (0, \theta_0)$ に対して $\mathscr{L}(\theta) \geq \lambda_0$ が成り立つことから、高モーメント領域の線形拡散が示される。
• 解が適切に定義され、モーメント増大が非退化するように保証するための条件 $d < \min\{2, \beta^{-1}\}\alpha$ が成立する。
• 証明により、モーメント関数 $M(t)$ のラプラス変換が発散することが示され、超指数的増大が確認され、遷移的フロントの存在が裏付けられる。