[論文レビュー] Stochastic solutions for space-time fractional evolution equations on bounded domain

Lorenzo Toniazzi|arXiv (Cornell University)|May 7, 2018

Fractional Differential Equations Solutions参考文献 22被引用数 5

ひとこと要約

本稿は、境界付き領域における時空間分数マクロ方程式の時間非局所初期条件付き古典解の存在、一意性、および新しい確率的表現を確立する。解は、時間変換されたレヴィ過程の期待値として表現され、逆安定サブディレーターと安定レヴィ過程を用いて、非マルコフ的・非局所的ダイナミクスへの古典的フェインマン＝カック公式の拡張を実現する。また、非同次キャプトゥー方程式に関する新しい技術的寄与が、主要な結果である。

ABSTRACT

Space-time fractional evolution equations are a powerful tool to model diffusion displaying space-time heterogeneity. We prove existence, uniqueness and stochastic representation of classical solutions for an extension of Caputo evolution equations featuring nonlocal initial conditions. We discuss the interpretation of the new stochastic representation. As part of the proof a new result about inhomogeneous Caputo evolution equations is proven.

研究の動機と目的

• 境界付き領域における時間非局所初期条件付き非同次時空間分数マクロ方程式の古典解の存在と一意性を確立すること。
• 時間変換レヴィ過程を用いた解の確率的表現を導出することにより、非マルコフ的・非局所的ダイナミクスへの古典的フェインマン＝カックフレームワークの拡張を実現すること。
• 最初の領域外出自時間と逆安定サブディレーターによるパスワイズ時間変換を含む、解の確率的解釈を提供すること。
• 本研究の解析的基盤として、非同次キャプトゥー方程式に関する新しい結果を証明すること。
• 非局所初期データおよび境界付き領域におけるディリクレ境界条件下の非同次項を含む、確率的解法フレームワークの一般化を図ること。

提案手法

• 解は、独立な二つの過程、すなわち時間変換されたブラウン運動と時間変換された$α$-安定レヴィ過程の関数の期待値を用いた確率的表現によって構成される。
• 時間変換は、$β$-安定サブディレーターの逆数によって駆動され、これによりダイナミクスに非マルコフ的・準拡散的性質が導入される。
• 確率的表現は、領域$Ω$からの最初の領域外出自時間$τ_{Ω}(x)$を明示的に組み込み、境界条件の満たし方を保証する。
• 解の式は、非局所初期条件$φ(t,x)$と非同次項$g(t,x)$の両方を、別々の期待値項として扱う。
• 証明は、制限された分数マクロラプラシアン$Δ_{Ω}^{α/2}$のスペクトル理論と、分数マクロ時間微分を扱うためにミットアグレーファンクションの使用に依存する。
• 重要な技術的ステップとして、境界上で消失する連続関数の空間における、滑らかで-compactly 無限次元関数の稠密性の証明が行われ、近似法の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 境界付き領域における時間非局所初期条件付き時空間分数マクロ方程式の古典解は、どのように構成可能か？
• RQ2 このような方程式の解の確率的表現とは何か？ そして、古典的フェインマン＝カック公式はどのように一般化されるか？
• RQ3 時間変換レヴィ過程と領域からの最初の領域外出自時間の相互作用が、解の挙動および境界条件に与える影響は何か？
• RQ4 逆$β$-安定サブディレーターは、時間非局所設定における非マルコフ的・準拡散的ダイナミクスをモデル化する上で果たす役割は何か？
• RQ5 非局所フレームワークにおける解の存在と一意性を確立するための基盤として、非同次キャプトゥー方程式に関する新しい結果をどのように確立できるか？

主な発見

• 本稿は、境界付き領域における時間非局所初期条件付き非同次時空間分数マクロ方程式の古典解の存在と一意性を証明する。
• 新たな確率的表現が導出された：$υ(t,x) = ×ε[\phi(-X^{t,β}(\tau_0(t)), X^{x,α}(\tau_0(t))) \mathbf{1}_{\{\tau_0(t)<\tau_{Ω}(x)\}}] + ×ε[\int_0^{\tau_0(t)\wedge\tau_{Ω}(x)} g(-X^{t,β}(s), X^{x,α}(s)) ds]$、これはフェインマン＝カック公式を一般化する。
• 解は、領域から出るまでに殺される時間変換$α$-安定レヴィ過程のパスに沿った初期データの期待値として解釈される。時間の進化は逆$β$-安定サブディレーターによって支配される。
• 確率的表現は、パスワイズ期待値と時間変換積分を通じて、非局所初期条件および非同次項を自然に組み込む。
• 非同次キャプトゥー方程式に関する新しい結果が証明され、非局所設定における解の存在と一意性を確立する上で不可欠な役割を果たす。
• 証明により、$C_c^∞((0,T]) \cdot C_c^∞(Ω)$が$C_{0,∂Ω}([0,T] \times \u03a9)$において稠密であることが示され、解法フレームワークにおける近似技法の適用が可能になる。