[论文解读] Necessary Optimality Conditions for Fractional Action-Like Problems with Intrinsic and Observer Times

Gastão S. F. Frederico, Delfim F. M. Torres|ArXiv.org|Dec 2, 2007

Optimization and Variational Analysis被引用 6

一句话总结

本文为涉及内在时间与观测者时间的分数阶作用量类变分问题（FALVA）建立了高阶欧拉-拉格朗日方程与杜博瓦-雷蒙必要最优性条件。它通过推导含高阶导数的FALVA问题的平稳条件，将先前工作扩展至更高阶导数情形，并基于哈密顿形式体系构建了双时间最优控制框架，证明了分数阶系统中弱最大值原理与广义杜博瓦-雷蒙条件。

ABSTRACT

We prove higher-order Euler-Lagrange and DuBois-Reymond stationary conditions to fractional action-like variational problems. More general fractional action-like optimal control problems are also considered.

研究动机与目标

• 将分数阶作用量类变分问题（FALVA）的欧拉-拉格朗日方程推广至包含高阶导数的情形。
• 为包含内在时间与观测者时间的FALVA问题建立高阶杜博瓦-雷蒙平稳条件。
• 在FALVA框架内，利用哈密顿形式体系，制定并分析双时间最优控制问题。
• 为FALVA型最优控制问题证明弱庞特里亚金最大值原理。
• 在双时间最优控制背景下，推导FALVA极值曲线的广义杜博瓦-雷蒙条件。

提出的方法

• 通过在包含观测者时间 $ t $ 与内在时间 $ \theta $ 的黎曼-刘维尔分数阶积分的积分泛函上应用变分原理，推导出FALVA问题的高阶欧拉-拉格朗日方程。
• 对泛函的一阶变分反复分部积分，以消除边界项，从而推导出平稳性的必要条件。
• 通过引入包含控制动力学的哈密顿量，将问题转化为增强泛函，从而建立双时间最优控制公式。
• 将先前工作中获得的分数阶欧拉-拉格朗日条件应用于增强哈密顿泛函，推导出弱最大值原理。
• 通过分析哈密顿量的全时间导数并关联其显式时间依赖性，推导出杜博瓦-雷蒙条件。
• 利用FALVA泛函的结构，其中核 $ (t - \theta)^{\alpha - 1} $ 即使在 $ L $ 为自治时也引入非自治行为，表明当 $ \alpha \neq 1 $ 时能量不守恒。

实验结果

研究问题

• RQ1 在内在时间与观测者时间存在的情况下，如何将欧拉-拉格朗日方程扩展至包含高阶导数的FALVA问题？
• RQ2 此类FALVA问题的高阶杜博瓦-雷蒙平稳条件具有何种形式？
• RQ3 能否在FALVA框架内为双时间最优控制问题建立弱最大值原理？
• RQ4 由于 $ (t - \theta)^{\alpha - 1} $ 核的存在，哈密顿形式体系如何适应具有非自治动力学的FALVA问题？
• RQ5 在FALVA系统中，哈密顿量在何种条件下守恒？这与经典力学有何不同？

主要发现

• 本文推导出含 $ m $ 阶导数的FALVA问题的高阶欧拉-拉格朗日方程，推广了埃尔-纳布尔斯基于2005年的一阶结果。
• 建立了高阶杜博瓦-雷蒙平稳条件，为含高阶导数的FALVA问题提供了最优性的必要条件。
• 对于双时间最优控制FALVA问题，证明了弱庞特里亚金最大值原理，表明哈密顿系统与平稳性条件必须在极值曲线上成立。
• 广义杜博瓦-雷蒙条件被推导为 $ \frac{d\mathcal{H}}{d\theta} = \partial_1 \mathcal{H} $，即使在哈密顿量因 $ (t - \theta)^{\alpha - 1} $ 核而显式依赖时间时也成立。
• 当 $ \alpha \neq 1 $ 时，哈密顿量不守恒，即使拉格朗日量与动力学为自治，因为核引入了显式时间依赖性。
• 结果表明，由于分数阶积分核引入的内在时间依赖性，FALVA系统中能量守恒不成立，这使其与经典最优控制理论相区别。