[论文解读] Fractional derivative in spaces of continuous functions

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

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

一句话总结

本文通过利用围道积分定义微分算子 B 的分数阶幂，建立了一套在连续函数空间中的分数阶导数的函数演算。证明了分数阶积分算子 B^{-α} 对应于 α 阶的黎曼-刘维尔积分，并利用梅特格勒-莱夫勒函数推导了时间分数阶演化方程的解表示，给出了在 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.

研究动机与目标

• 在连续 X 值函数的巴拿赫空间 C([0,T];X) 中发展分数阶导数的严格函数演算。
• 将分数阶积分算子 B^{-α} 表征为 α 阶黎曼-刘维尔积分。
• 利用梅特格勒-莱夫勒函数建立具有 Caputo 型导数的时间分数阶演化方程的解理论。
• 推导 Hölder 空间中严格解的精确正则性条件，将数据的正则性与分数阶参数 α 和 Hölder 指标 γ 相关联。
• 将理论推广至具有诺伊曼边界条件的有界区域上的椭圆算子，证明混合问题解的存在性与正则性。

提出的方法

• 在 C([0,T];X) 上定义算子 B 为带零初值条件的导数，证明其闭性且其预解算子范数有界于 T。
• 通过复平面上扇形区域 Γ 的围道积分，利用 Dunford-Taylor 积分定义分数阶幂 B^{-α}。
• 通过留数计算与伽马函数的反射公式，证明 B^{-α}f(t) 等于 α 阶黎曼-刘维尔分数阶积分。
• 建立 B^α 的预解恒等式，即 (λ - B^α)^{-1}f(t) = -∫₀ᵗ E_{α,α}(λ(t-s)^α)(t-s)^{α-1}f(s)ds。
• 通过将问题转化为伏尔泰积分方程，将理论应用于具有 Caputo 导数的时间分数阶扩散方程。
• 利用实插值理论与已知的椭圆算子正则性结果，根据数据正则性与 α 推导解的 Hölder 正则性。

实验结果

研究问题

• RQ1 如何在取值于巴拿赫空间的连续函数空间中严格定义分数阶导数？
• RQ2 算子理论中的分数阶积分 B^{-α} 与经典黎曼-刘维尔积分之间的确切关系是什么？
• RQ3 时间分数阶 PDE 在 Hölder 空间中存在严格解的初始数据与强迫项的必要与充分条件是什么？
• RQ4 解的正则性如何依赖于分数阶参数 α 与数据的 Hölder 指标 γ？
• RQ5 时间分数阶方程的解理论能否推广至具有诺伊曼边界条件的有界区域上的椭圆算子？

主要发现

• 分数阶积分算子 B^{-α} 等价于 α 阶黎曼-刘维尔积分，即 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 与诺伊曼边界条件的解。
• 若初始数据与强迫项满足特定 Hölder 正则性条件，则在 C([0,T];D(A)) 中存在严格解，且 C^αu 与 Au 在 C^γ(Ω̄) 中有界。
• 正则性阈值是精确的：当 α ∈ (1,2) 时，若指数超过 1，则初始速度 u₁ 必须属于 C^{2−2(1−β)/α}(Ω̄)，且法向导数为零。
• 时间正则性 β 与空间正则性 γ 之间的自然标度关系为 γ = 2β/α，与抛物情形 α=1 一致。