[论文解读] Fractional Calculus on Time Scales

Nuno R. O. Bastos|arXiv (Cornell University)|Feb 14, 2012

Fractional Differential Equations Solutions参考文献 96被引用 12

一句话总结

本文在离散时间尺度 $\mathbb{Z}$ 和 $(h\mathbb{Z})_a$ 上提出了一种新颖的分数阶变分法，通过新的分数阶求和分部公式建立了第一阶和第二阶必要最优性条件。该文提出了基于逆广义拉普拉斯变换的任意时间尺度上的分数阶导数与积分的定义，并通过 Maxima 基础的计算和图示性实例进行了数值验证。

ABSTRACT

We introduce a discrete-time fractional calculus of variations on the time scales $\mathbb{Z}$ and $(h\mathbb{Z})_a$. First and second order necessary optimality conditions are established. Some numerical examples illustrating the use of the new Euler-Lagrange and Legendre type conditions are given. We also give new definitions of fractional derivatives and integrals on time scales via the inverse generalized Laplace transform.

研究动机与目标

• 在离散时间尺度 $\mathbb{Z}$ 和 $(h\mathbb{Z})_a$ 上构建分数阶变分法的理论框架。
• 为这些域上的分数阶变分问题建立第一阶和第二阶必要最优性条件。
• 基于逆广义拉普拉斯变换，为任意时间尺度上的分数阶导数与积分提出新定义。
• 对新形式的欧拉-拉格朗日方程与勒让德型最优性条件提供数值图示。
• 利用 Maxima 计算代数系统实现并验证理论结果。

提出的方法

• 推导时间尺度 $\mathbb{Z}$ 上的分数阶求和分部公式，以支持变分分析。
• 应用逆广义拉普拉斯变换，为任意时间尺度上的分数阶导数与积分定义提供理论基础。
• 通过离散分数阶欧拉-拉格朗日方程建立一阶必要最优性条件。
• 推导涉及拉格朗日函数二阶偏导数的勒让德型二阶必要最优性条件。
• 利用 Maxima 中的符号计算实现并测试所推导的最优性条件在具体变分问题上的应用。
• 采用离散分数阶算子如 $\Delta_a^{\alpha}$ 和 $\Delta_b^{-\beta}$ 来建模左、右分数阶差分。

实验结果

研究问题

• RQ1 如何将分数阶变分法扩展至离散时间尺度 $\mathbb{Z}$ 和 $(h\mathbb{Z})_a$？
• RQ2 在离散时间尺度上，分数阶变分问题的第一阶与第二阶必要最优性条件是什么？
• RQ3 如何基于逆广义拉普拉斯变换在任意时间尺度上一致地定义分数阶导数与积分？
• RQ4 分数阶求和分部公式在推导最优性条件中起到何种作用？
• RQ5 如何利用符号计算工具对新最优性条件进行数值验证与实际应用？

主要发现

• 为时间尺度 $\mathbb{Z}$ 推导出一种新的分数阶求和分部公式，使必要最优性条件的推导成为可能。
• 以包含左、右分数阶差分的离散分数阶欧拉-拉格朗日方程形式，建立了第一阶必要最优性条件。
• 推导出涉及拉格朗日函数二阶偏导数与分数阶积分项的勒让德型二阶必要最优性条件。
• 所提出的任意时间尺度上分数阶导数与积分的定义基于逆广义拉普拉斯变换，确保在极限情况下与连续分数阶微积分保持一致。
• 数值实例展示了新欧拉-拉格朗日方程与勒让德型条件的应用，结果通过 Maxima 代码得到验证。
• Maxima 实现成功计算出极值曲线并验证最优性条件，通过符号计算确认了理论框架的正确性。