[論文レビュー] Fractional derivative in spaces of continuous functions

Davide Guidetti|arXiv (Cornell University)|Jul 7, 2017

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

ひとこと要約

この論文は、連続関数空間における分数階微分の関数計算を、微分作用素 B の分数階累乗を閉曲線積分によって定義することによって確立する。分数階積分作用素 B^{-α} が Riemann-Liouville 積分の順序 α に一致することを証明し、Mittag-Leffler 関数を用いた時間分数階進化方程式の解表現を導出し、 Hölder 空間における厳密解の存在性と正則性に関する結果を提示する。

ABSTRACT

This is a first version of a paper concerning abstract evolution equation with fractional time derivatives. Maximal regularity results in spaces of continuous and Hoelder continuous functions are described.

研究の動機と目的

• Banach 空間 C([0,T];X) 内の連続な X-値関数の空間における分数階微分の厳密な関数計算の構築。
• 分数階積分作用素 B^{-α} が順序 α の Riemann-Liouville 積分に等しいことの特定。
• Mittag-Leffler 関数を用いて、Caputo 型微分を有する時間分数階進化方程式の解理論の確立。
• Hölder 空間における厳密解の鋭い正則性条件の導出。初期データと関数項の正則性が分数階数 α および Hölder 指数 γ にどのように依存するかの関係を明示。
• 有界領域における楕円型作用素と Neumann 境界条件を伴う混合問題に対する理論の拡張。解の存在性と正則性の証明。

提案手法

• C([0,T];X) 上の作用素 B を初期値ゼロの微分作用素として定義し、それが閉作用素であり、解像度ノルムが T で有界であることを示す。
• 領域 Γ 上の複素平面上の閉曲線積分を用いて、Dunford-Taylor 積分により B^{-α} を分数階累乗として定義する。
• 留数計算およびガンマ関数の反射公式を用いて、B^{-α}f(t) が Riemann-Liouville 分数階積分に等しいことを証明する。
• B^α の解像度恒等式を確立し、(λ - B^α)^{-1}f(t) = -∫₀ᵗ E_{α,α}(λ(t-s)^α)(t-s)^{α-1}f(s)ds が成り立つことを示す。
• 問題をボルテラ積分方程式に変換することで、Caputo 微分を有する時間分数階拡散方程式に理論を適用する。
• 実補間理論と既知の楕円型作用素の正則性結果を用いて、解の Hölder 正則性をデータの正則性と α に応じて導出する。

実験結果

リサーチクエスチョン

• RQ1 Banach 空間値連続関数の空間において、分数階微分をどのように厳密に定義できるか。
• RQ2 作用素論的分数階積分 B^{-α} と古典的 Riemann-Liouville 積分の間の正確な関係は何か。
• RQ3 Hölder 空間における時間分数階 PDE の厳密解が存在するための初期データおよび外力項に必要な十分条件は何か。
• RQ4 解の正則性は、分数階数 α およびデータの Hölder 指数 γ にどのように依存するか。
• RQ5 時間分数階方程式の解理論を、有界領域における Neumann 境界条件を満たす楕円型作用素に拡張できるか。

主な発見

• 分数階積分作用素 B^{-α} は Riemann-Liouville 積分の順序 α に等しく、すなわち B^{-α}f(t) = 1/Γ(α) ∫₀ᵗ (t-s)^{α-1}f(s)ds が成り立つ。
• B^α の解像度は (λ - B^α)^{-1}f(t) = -∫₀ᵗ E_{α,α}(λ(t-s)^α)(t-s)^{α-1}f(s)ds で明示的に与えられる。
• α ∈ (0,2)  \{1} のとき、作用素 B^α は C^αu - e^{iϕ}Δu = f と Neumann 境界条件を満たす解を生成する。
• 初期データおよび外力項が特定の Hölder 正則性条件を満たす限り、C([0,T];D(A)) 内に厳密解が存在し、C^αu および Au が C^γ(Ω̄) 内で有界である。
• 正則性の閾値は鋭い：α ∈ (1,2) のとき、初期速度 u₁ は C^{2−2(1−β)/α}(Ω̄) に属し、法線方向微分がゼロでなければならない。指数が 1 を超える場合に限り成立する。
• 時間正則性 β と空間正則性 γ の自然なスケーリング関係は γ = 2β/α であり、α=1 の放物型の場合と整合的である。