[论文解读] Variational Optimal-Control Problems with Delayed Arguments on Time Scales

Thabet Abdeljawad, Fahd Jarad+1 more|ArXiv.org|Dec 14, 2009

Nonlinear Differential Equations Analysis参考文献 13被引用 7

一句话总结

本文利用下向导数（nabla derivatives）在时间尺度上研究具有延迟状态变量的变分最优控制问题，推导了最优性必要条件。该研究通过在H-时间尺度（ρ(t) = qt − h）上推导欧拉-拉格朗日方程和最优控制条件，统一了连续、离散和量子微积分，恢复了特殊情形下的已知结果，并为跨领域的延迟动力学提供了统一框架。

ABSTRACT

This article deals with variational optimal-control problems on time scales in the presence of delay in the state variables. The problem is considered on a time scale unifying the discrete, the continuous and the quantum cases. Two examples in the discrete and quantum cases are analyzed to illustrate our results.

研究动机与目标

• 提出一个统一的变分最优控制框架，适用于时间尺度上的状态变量延迟问题。
• 将现有的变分法与最优控制理论扩展至H-时间尺度（ρ(t) = qt − h），该尺度统一了离散、连续与量子动力学。
• 推导具有延迟状态变量问题的最优性必要条件，特别是欧拉-拉格朗日方程与伴随方程。
• 将连续、离散与量子微积分设定下的先前结果作为所提框架的特例进行恢复与推广。
• 通过离散与量子（q-微积分）情形的详细例子，展示理论的适用性。

提出的方法

• 在时间尺度上使用下向导数建模动力学，特别关注由 ρ(t) = qt − h 定义的H-时间尺度，其中 q > 0 且 h ≥ 0。
• 推导了包含延迟状态变量及其下向导数的泛函的欧拉-拉格朗日方程，涵盖单变量与n维情形。
• 应用时间尺度上的变分法，推导最优性的必要条件，包括伴随方程与横截性条件。
• 引入一个具有延迟状态变量的变分最优控制问题，其中状态方程与性能指标依赖于q-平移的自变量。
• 推导出完整的必要条件系统：伴随方程、控制变量的平稳性条件以及边界条件。
• 通过两个详细例子验证该框架：一个在离散情形（hZ），另一个在量子情形（q-微积分），当延迟被移除时，结果与已知结论一致。

实验结果

研究问题

• RQ1 如何在统一的时间尺度框架下表述具有延迟状态变量的变分最优控制问题？
• RQ2 在H-时间尺度上，此类问题的最优性必要条件（欧拉-拉格朗日方程与伴随方程）是什么？
• RQ3 所推导的条件在连续情形（q=1, h=0）、离散情形（q=1, h>0）与量子情形（0<q<1, h=0）下如何退化为已知结果？
• RQ4 后向跳跃算子 ρ(t) = qt − h 在统一不同动力系统并实现延迟动力学中起什么作用？
• RQ5 该框架能否恢复时间尺度上无延迟与非延迟最优控制的已有结果？

主要发现

• 本文在H-时间尺度上推导了具有延迟状态变量泛函的欧拉-拉格朗日方程，推广了δ与∇微积分下的结果。
• 在n维情形下，最优性必要条件以包含延迟自变量的下向微分-差分方程组形式给出。
• 在量子情形（q-微积分）下，必要条件退化为q-差分方程，且伴随方程涉及q-平移自变量。
• 最优控制条件包括控制变量的平稳性条件：∂L/∂u(qx) = λ(qx)∂G/∂u(qx)，该条件确保最优性。
• 当延迟消失（α₀ = 0）时，所推导的系统退化为二阶q-差分方程，其渐近行为趋近于二阶线性微分方程 y'' − (r² + 1)y = 0。
• 当q-差分方程的解展开为幂级数时，其收敛于指数解 exp(±√(r² + 1)x)，在极限下与连续动力学一致，验证了结果的自洽性。