Skip to main content
QUICK REVIEW

[论文解读] Calculus of Variations on Time Scales and Discrete Fractional Calculus

Rui A. C. Ferreira|arXiv (Cornell University)|Jul 28, 2010
Nonlinear Differential Equations Analysis参考文献 9被引用 6
一句话总结

本文在时间尺度上构建了变分法的统一框架,推导出涉及高阶δ-导数问题和等周约束的Euler–Lagrange与Legendre必要最优性条件。此外,提出了新型离散分数阶变分法,建立了相应的Euler–Lagrange与Legendre条件,并观察到当步长趋于零时,离散极值解收敛于连续分数阶解。

ABSTRACT

We study problems of the calculus of variations and optimal control within the framework of time scales. Specifically, we obtain Euler-Lagrange type equations for both Lagrangians depending on higher order delta derivatives and isoperimetric problems. We also develop some direct methods to solve certain classes of variational problems via dynamic inequalities. In the last chapter we introduce fractional difference operators and propose a new discrete-time fractional calculus of variations. Corresponding Euler-Lagrange and Legendre necessary optimality conditions are derived and some illustrative examples provided.

研究动机与目标

  • 将变分法扩展至一般时间尺度,通过δ-导数形式统一连续与离散情形。
  • 推导涉及高阶δ-导数和等周约束的变分问题的必要最优性条件。
  • 利用动态积分不等式发展直接方法,用于求解时间尺度上特定类别的变分问题。
  • 提出一种新的离散分数阶变分法框架,引入分数阶差分算子。
  • 建立离散分数阶变分问题的Euler–Lagrange与Legendre型必要条件,并分析其收敛于连续分数阶对应解的性质。

提出的方法

  • 使用δ-导数与δ-积分在时间尺度上表述变分问题,推广经典连续与离散微积分。
  • 通过时间尺度上的变分分析,推导出依赖于多个δ-导数的拉格朗日函数的高阶Euler–Lagrange方程。
  • 应用动态积分不等式(如Gronwall型与diamond-α不等式)构建求解变分问题的直接方法。
  • 采用$h$-nabla方法引入离散分数阶求和与差分算子,定义离散域上的左、右分数阶导数。
  • 将分数阶$h$-求和分部积分公式作为推导必要最优性条件的关键工具。
  • 利用推导出的分部积分恒等式,推导出离散分数阶变分问题的Euler–Lagrange与Legendre型必要条件。

实验结果

研究问题

  • RQ1涉及高阶δ-导数的时间尺度变分问题的必要最优性条件是什么?
  • RQ2如何利用动态微积分在时间尺度上表述并求解等周问题?
  • RQ3时间尺度上的积分不等式能否用于发展求解变分问题的直接方法?
  • RQ4一致的离散分数阶变分法具有怎样的结构?其必要最优性条件是什么?
  • RQ5当步长$h$趋于零时,离散分数阶极值解的行为如何?它们是否收敛于连续分数阶解?

主要发现

  • 本文推导出涉及高阶δ-导数的时间尺度变分问题的广义Euler–Lagrange方程,将经典结果推广至统一的时间尺度框架。
  • 建立了时间尺度上等周问题的必要最优性条件,包括与Sturm–Liouville特征值问题的联系。
  • 提出一种新的离散分数阶变分法,引入分数阶$h$-差分算子,并建立了相应的$h$-求和分部积分公式。
  • 针对离散分数阶变分问题,推导出Euler–Lagrange方程与Legendre必要条件,为后续分析奠定了基础。
  • 数值证据表明,当$h \to 0$时,离散$h$-分数阶极值解收敛于经典连续分数阶Euler–Lagrange解,表明离散与连续框架之间具有一致性。
  • 所推导的时间尺度积分不等式不仅适用于变分问题,还可用于证明某些积分-动态方程解的存在性。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。