[论文解读] Conformable Fractional Semigroups of Operators

Mohammed Al Horani, Roshdi Khalil+1 more|arXiv (Cornell University)|Nov 21, 2014

Nonlinear Differential Equations Analysis参考文献 2被引用 38

一句话总结

本文基于一种满足经典导数性质的新分数阶导数定义，提出了可 conformable 的分数阶半群。证明了此类半群的无穷小生成元对应于 t=0 处的 conformable 分数阶导数，并表明 α-抽象柯西问题的解由 u(t) = T(t)u₀ 给出，其中 T(t) 为 α-半群，从而为分数阶演化方程提供了经典解框架。

ABSTRACT

Let $X$ be a Banach space, and $T:[0,\infty) ightarrow {\mathcal{L}}(X,X),$ the bounded linear operators on $X.$ A family $\{T(t)\}_{t\ge 0}\subseteq {% \mathcal{L}}(X,X)$ is called a one-parameter semigroup if $T(s+t)=T(s)T(t),$ and $T(0)=I,$ the identity operator on $X.$ The infinitesimal generator of the semigroup is the derivative of the semigroup at $t=0.$ The object of this paper is to introduce a (conformable) fractional semigroup of operators whose generator will be the fractional derivative of the semigroup at $t=0.$ The basic properties of such semigroups will be studied.

研究动机与目标

• 基于 conformable 分数阶导数开发一类新的分数阶半群，以克服传统分数阶导数的局限性。
• 将此类半群的无穷小生成元定义为 t=0 处的 conformable 分数阶导数。
• 利用 conformable 半群框架建立 α-抽象柯西问题的解。
• 证明在适当条件下，解 u(t) = T(t)u₀ 为经典且唯一。
• 为利用 conformable 导数改进的代数与分析性质求解分数阶微分方程，提供一个函数分析框架。

提出的方法

• 若满足 T(0) = I 且 T(s+t) = T(s)T(t)，则称一参数族 {T(t)}_{t≥0} ⊆ ℒ(X,X) 为分数阶 α-半群，其中 T(t) 通过 f(s) ↦ f(s + ¹⁄α t^α) 作为函数的时间平移算子作用。
• 引入 conformable 分数阶导数 T_α(f)(t) = lim_{ε→0} [f(t + εt^{1−α}) − f(t)] / ε，其满足标准导数法则。
• 将 α-半群的生成元 A 定义为 T(t) 在 t=0 处的 conformable 分数阶导数，证明 A f(s) = f′(s) 对 f ∈ D(A) 成立。
• 利用链式法则与洛必达法则计算半群作用的 conformable 导数，得到 T^{(α)}(t)f(s) = f′(s + ¹⁄α t^α)。
• 利用恒等式 [T(t−s)u(s)]^{(α)} = 0 证明 α-抽象柯西问题 u^{(α)}(t) = A u(t)，u(0) = u₀ 的解为 u(t) = T(t)u₀。
• 应用 α-积分 I_α^0 恢复唯一性，表明 T(t−t)u(t) − T(t)u₀ = 0 ⇒ u(t) = T(t)u₀。

实验结果

研究问题

• RQ1 能否构造一个分数阶半群，使其生成元为 t=0 处的 conformable 分数阶导数，而非经典导数？
• RQ2 conformable 分数阶导数是否允许定义出具有良好结构的半群，从而在抽象柯西问题中保持经典解的形式？
• RQ3 当 T(t) 是由 A 生成的 c₀-α-半群时，α-抽象柯西问题的解是否唯一地由 u(t) = T(t)u₀ 给出？
• RQ4 conformable 导数在复合与微分下的行为如何影响半群结构与解的正则性？
• RQ5 conformable 导数的改进代数性质（如乘积法则、链式法则）是否能带来比传统分数阶导数更自然、更一致的半群框架？

主要发现

• α-半群的无穷小生成元为 A f(s) = f′(s)，定义域 D(A) = {f ∈ X : f′ 存在且属于 X}，表明在 conformable 框架下，生成元可恢复经典导数。
• 半群作用的 conformable 分数阶导数为 T^{(α)}(t)f(s) = f′(s + ¹⁄α t^α)，当 t → 0 时收敛于 f′(s)，确认了生成元性质。
• α-抽象柯西问题 u^{(α)}(t) = A u(t)，u(0) = u₀ 的解唯一地由 u(t) = T(t)u₀ 给出，其中 T(t) 为 α-半群。
• 在空间 X = C[0,∞) 配备上确界范数时，算子 A f(s) = f′(s) 生成一个 α-半群 T(t)，其定义为平移 f(s) ↦ f(s + ¹⁄α t^α)，且该半群是强连续的。
• 函数 u(x,t) = g(x + ¹⁄α t^α) 是偏微分方程 ∂^{α}u/∂t^{α} = ∂u/∂x 在初始条件 u(x,0) = g(x) 下的唯一解，当 g 连续可微时成立。
• conformable 导数框架确保解满足所有经典导数法则，从而解决了 Riemann-Liouville 与 Caputo 导数的关键缺陷。