[论文解读] Noether's Theorem for Control Problems on Time Scales

Agnieszka B. Malinowska, Moulay Rchid|arXiv (Cornell University)|Jun 3, 2014

Nonlinear Differential Equations Analysis参考文献 26被引用 9

一句话总结

本文将诺特定理推广至时间尺度上的最优控制问题，证明了若拉格朗日量在某个单参数变换族下不变（至多相差一个精确的delta微分），则存在守恒律。其主要贡献在于提出了适用于连续、离散及量子系统的最优控制时间尺度版本诺特定理，且在自治系统中表明：与后向跳跃算子复合的哈密顿量沿极值曲线守恒。

ABSTRACT

We prove a generalization of Noether's theorem for optimal control problems defined on time scales. Particularly, our results can be used for discrete-time, quantum, and continuous-time optimal control problems. The generalization involves a one-parameter family of maps which depend also on the control and a Lagrangian which is invariant up to an addition of an exact delta differential. We apply our results to some concrete optimal control problems on an arbitrary time scale.

研究动机与目标

• 将诺特定理由经典变分法推广至时间尺度上的最优控制问题。
• 建立依赖于状态、控制与时间的单参数变换族下不变的最优控制系统的守恒律。
• 通过时间尺度微积分统一连续、离散及量子最优控制的结果。
• 为自治系统提供一个框架，其中与后向跳跃算子复合的哈密顿量沿极值曲线守恒。
• 将现有时间尺度上变分法中的诺特型定理推广至最优控制设置。

提出的方法

• 使用delta导数与积分在任意时间尺度上形式化问题。
• 定义依赖于状态、控制与时间的单参数变换族下最优控制问题的不变性。
• 引入一个以精确delta微分形式表达的规范项，将不变性条件推广至严格不变性之外。
• 通过时间尺度上的最大值原理推导必要最优性条件，包括伴随方程与横截性条件。
• 应用广义诺特型定理，推导出守恒律，其形式为共轭变量、变换导数与规范项组合的delta导数恒为零。
• 通过具体实例（包括汽车运动学模型与含异常控制的问题）验证结果，以展示其一致性与适用性。

实验结果

研究问题

• RQ1 如何将诺特定理扩展至定义在任意时间尺度（包括连续、离散及量子情形）的最优控制问题？
• RQ2 在时间尺度上的最优控制中，对称变换与拉格朗日量的何种条件可导致守恒律？
• RQ3 在该广义设定中，规范项（精确delta微分）如何影响守恒律？
• RQ4 在时间尺度上的自治最优控制问题中，哈密顿量与后向跳跃算子复合沿极值曲线守恒的条件是什么？
• RQ5 广义诺特定理是否可应用于时间尺度上的正常与异常最优控制问题？

主要发现

• 本文证明：若拉格朗日量在单参数变换族下至多相差一个精确delta微分，则沿极值曲线存在守恒律。
• 该守恒律的形式为：共轭变量、变换导数与规范项的特定组合的delta导数恒为零。
• 对于时间尺度上的自治系统，与后向跳跃算子复合的哈密顿量沿任意极值曲线保持恒定，推广了连续系统的经典结果。
• 在时间尺度上的汽车运动学模型中，守恒律对应于时间平移下哈密顿量保持不变。
• 对于含异常控制的问题，该方法确认：即使乘子λ为零，与后向跳跃算子复合的哈密顿量仍保持恒定。
• 结果与已知情形一致：当时间尺度为实直线时，恢复经典最优控制下的诺特定理。