[论文解读] A New Approach to Generalized Fractional Derivatives

Udita N. Katugampola|arXiv (Cornell University)|Jun 6, 2011

Fractional Differential Equations Solutions参考文献 51被引用 491

一句话总结

本文提出了一种新的广义分数阶导数，通过参数 ρ 将黎曼-刘维尔和哈达玛分数阶导数统一为单一算子。该导数通过涉及幂变换的广义积分算子定义，当 ρ = 1（黎曼-刘维尔）或 ρ → 0（哈达玛）时退化为已知形式，并推导出幂函数的显式公式，且与埃尔德利-科伯算子存在关联。

ABSTRACT

The author \mbox{(Appl. Math. Comput. 218(3):860-865, 2011)} introduced a new fractional integral operator given by, \[ \big({}^ρ\mathcal{I}^α_{a+}f\big)(x) = \frac{ρ^{1- α}}{Γ(α)} \int^x_a \frac{τ^{ρ-1} f(τ) }{(x^ρ- τ^ρ)^{1-α}}\, dτ, \] which generalizes the well-known Riemann-Liouville and the Hadamard fractional integrals. In this paper we present a new fractional derivative which generalizes the familiar Riemann-Liouville and the Hadamard fractional derivatives to a single form. We also obtain two representations of the generalized derivative in question. An example is given to illustrate the results.

研究动机与目标

• 开发一种统一的分数阶导数，将黎曼-刘维尔与哈达玛分数阶导数统一为单一算子。
• 通过涉及幂变换参数 ρ 的广义积分算子，定义一种新的分数阶导数。
• 建立新导数的解析表示及其性质，包括其在幂函数上的行为。
• 证明新导数在特定情况下可退化为已知分数阶导数（黎曼-刘维尔与哈达玛）。
• 澄清新导数与埃尔德利-科伯算子之间的区别，表明二者并不等价。

提出的方法

• 提出一种新的分数阶导数算子，定义为 $ {}^{ ho}D^{ ho}_{a+}f(x) = \frac{\rho^{1-\rho}}{\rho\text{-} \text{Gamma}(\rho)} \left( x^{1-\rho} \frac{d}{dx} \right) \int_0^x \frac{t^{\rho-1} f(t)}{(x^{\rho} - t^{\rho})^{1-\rho}} dt $，广义化黎曼-刘维尔与哈达玛形式。
• 推导广义导数的两种表示形式：一种类似于梅林变换的积分形式，另一种使用包含黎曼-刘维尔积分与导数的级数展开。
• 通过代换 $ u = t^{\rho}/x^{\rho} $ 计算幂函数的积分，从而获得闭式结果。
• 利用贝塔函数与伽马函数的性质，推导出显式公式 $ {}^{\rho}D^{\rho}_{0+}x^{\nu} = \frac{\Gamma(1 + \nu/\rho) \rho^{\alpha-1}}{\Gamma(1 + \nu/\rho - \alpha)} x^{\nu - \alpha\rho} $。
• 证明当 ρ = 1 时，新导数退化为黎曼-刘维尔导数；当 ρ → 0 时，其极限为哈达玛导数。
• 将新导数与埃尔德利-科伯算子进行比较，表明尽管结构上存在相似性，但二者并不等价。

实验结果

研究问题

• RQ1 能否构造一个单一的分数阶导数算子，使其广义化黎曼-刘维尔与哈达玛分数阶导数？
• RQ2 新导数中的参数 ρ 如何影响算子的行为及其特殊情形？
• RQ3 当新导数作用于幂函数时，其解析形式为何？
• RQ4 新导数与埃尔德利-科伯算子之间存在何种关系？其区别体现在何处？
• RQ5 当 ρ 趋近于 1 或 0 时，广义导数的极限行为如何？

主要发现

• 广义分数阶导数 $ {}^{\rho}D^{\rho}_{0+}x^{\nu} $ 被显式推导为 $ \frac{\Gamma(1 + \nu/\rho) \rho^{\alpha-1}}{\Gamma(1 + \nu/\rho - \alpha)} x^{\nu - \alpha\rho} $，对 $ \rho > 0 $ 成立。
• 当 $ \rho = 1 $ 时，结果退化为标准的黎曼-刘维尔分数阶导数：$ {}^{1}D^{\rho}_{0+}x^{\nu} = \frac{\Gamma(1 + \nu)}{\Gamma(1 + \nu - \alpha)} x^{\nu - \alpha} $。
• 当 $ \alpha = 1 $ 且 $ \rho = 1 $ 时，导数结果为 $ \nu x^{\nu - 1} $，与经典微分一致。
• 当 $ \rho \to 0 $ 时，算子趋近于哈达玛分数阶导数，证明了两种经典形式的统一。
• 尽管结构上与埃尔德利-科伯算子相似，新导数并不等价，原因在于核函数与参数依赖性存在差异。
• 数值图像显示，广义导数在幂函数上的形状与凹凸性对 $ \rho $ 值高度敏感，尤其在 $ \rho = 1 $ 附近。