[论文解读] A new Generalized fractional derivative and integral

Abdullah Akkurt, M. Esra Yıldırım+1 more|arXiv (Cornell University)|Mar 21, 2017

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

一句话总结

本文提出了一种通过任意核函数 $k(t)$ 定义的新广义分数阶导数与积分，统一并扩展了先前的共形分数阶微积分框架。通过推导闭式表达式并证明经典微积分法则——如乘积法则、链式法则和中值定理——作者建立了一个一致且可微的框架，当 $\alpha \to 1$ 且 $k(t) = t$ 时退化为经典导数。主要贡献是针对具有核依赖权重的分数阶积分提出了广义中值定理。

ABSTRACT

In this article, we introduce a new general definition of fractional derivative and fractional integral, which depends on an unknown kernel. By using these definitions, we obtain the basic properties of fractional integral and fractional derivative such as Product Rule, Quotient Rule, Chain Rule, Roll's Theorem and Mean Value Theorem. We give some examples.

研究动机与目标

• 开发一种新的分数阶导数与积分框架，以统一现有共形分数阶微积分定义。
• 通过引入依赖核的公式，解决经典分数阶导数在乘积法则、链式法则和中值定理方面不成立的局限性。
• 通过单一、灵活的基于核的定义，统一并扩展Khalil等人、Almeida等人以及Katugampola的前期工作。
• 证明新导数在 $k(t)$ 满足弱正则性条件时，满足基本微积分法则，包括罗尔定理与中值定理。

提出的方法

• 通过极限定义提出新分数阶导数：$ D^\alpha(f)(t) = \lim_{\epsilon \to 0} \frac{f\left(t - k(t) + k(t)e^{\epsilon \frac{(k(t))^{-\alpha}}{k'(t)}}\right) - f(t)}{\epsilon} $，其中 $k(t)$ 为正且连续可微的函数。
• 推导出闭式表达式：$ f^{(\alpha)}(t) = \frac{(k(t))^{1-\alpha}}{k'(t)} \frac{df}{dt}(t) $，将广义导数与经典导数联系起来。
• 通过权重 $ \frac{k'(x)}{(k(x))^{1-\alpha}} $ 引入广义分数阶积分，实现在 $[a,b]$ 上具有核依赖测度的积分。
• 建立广义中值定理：$ \int_a^b \frac{f(x)k'(x)}{(k(x))^{1-\alpha}} dx = f(x_0) \left( \frac{k^\alpha(b) - k^\alpha(a)}{\alpha} \right) $，其中 $x_0 \in [a,b]$。
• 利用推导出的闭式表达式与积分表示，在新框架内证明经典微积分法则——乘积、商、链式与罗尔定理。
• 通过实例验证该框架，并在 $k(t) = t$ 且 $\alpha \to 1$ 时展示其与已知情况的一致性。

实验结果

研究问题

• RQ1 能否通过任意核函数 $k(t)$ 定义广义分数阶导数，使其在 $\alpha \to 1$ 时退化为经典导数？
• RQ2 所提出的导数是否满足经典微积分法则，如乘积法则、链式法则与中值定理？
• RQ3 广义分数阶积分在标准积分性质（如线性性、可加性与单调性）下表现如何？
• RQ4 能否为具有核依赖权重的新分数阶积分建立广义中值定理？
• RQ5 广义导数与经典导数之间的关系是什么？其依赖于核 $k(t)$ 的方式如何？

主要发现

• 广义分数阶导数具有闭式表达式：$ f^{(\alpha)}(t) = \frac{(k(t))^{1-\alpha}}{k'(t)} \frac{df}{dt}(t) $，该表达式简化了分析与计算。
• 当 $k(t) = t$ 时，该导数退化为Khalil等人提出的共形导数，确认了与前期工作的兼容性。
• 广义分数阶积分满足所有标准积分性质：线性性、可加性、符号保持性及绝对值不等式。
• 证明了广义中值定理：$ \int_a^b \frac{f(x)k'(x)}{(k(x))^{1-\alpha}} dx = f(x_0) \cdot \frac{k^\alpha(b) - k^\alpha(a)}{\alpha} $，其中 $x_0 \in [a,b]$，从而扩展了经典结果。
• 该框架满足乘积法则、商法则、链式法则与罗尔定理，解决了早期分数阶微积分定义中的关键局限性。
• 当 $\alpha = 1$ 且 $k(t) = t$ 时，经典中值定理被恢复，确认了与经典微积分的一致性。