[论文解读] Quadratures of Pontryagin Extremals for Optimal Control Problems

Eugénio M. Rocha, Delfim F. M. Torres|ArXiv.org|Nov 14, 2005

Differential Equations and Boundary Problems参考文献 15被引用 5

一句话总结

本文提出了一种结合诺特定理与科夫洛夫-科列斯尼科夫可积性定理的方法，用于计算最优控制问题的有效首次积分，当控制集为开集时，提供了通过初等积分求解的充分条件。主要贡献在于提出了一套系统化的方法，以识别非平凡首次积分，从而实现哈密顿系统的显式积分，该方法在子黎曼幂零系统（包括(2,3,5)情形）中得到验证。

ABSTRACT

We obtain a method to compute effective first integrals by combining Noether's principle with the Kozlov-Kolesnikov integrability theorem. A sufficient condition for the integrability by quadratures of optimal control problems with controls taking values on open sets is obtained. We illustrate our approach on some problems taken from the literature. An alternative proof of the integrability of the sub-Riemannian nilpotent Lie group of type (2,3,5) is also given.

研究动机与目标

• 开发一种系统化方法，用于识别控制集为开集的最优控制问题中的有效首次积分。
• 通过将初等积分求解作为主要目标，解决可积性定义中的模糊性问题。
• 利用对称性与代数约化技术，提供一种通过初等积分求解的可积性充分条件。
• 为子黎曼幂零李群(2,3,5)型提供一种替代的、构造性证明，以证明其可解性。
• 将可积性方法的应用范围扩展至高维幂零系统，如(2,3,5,8)与(2,3,5,8,14)，在这些系统中标准工具失效。

提出的方法

• 结合诺特定理与科夫洛夫-科列斯尼科夫可积性定理，生成有效首次积分。
• 从诺特定理提供的首次积分参数族中构建代数方程组，以筛选出非有效首次积分。
• 应用科夫洛夫-科列斯尼科夫定理，验证所得首次积分可导致通过初等积分求解。
• 利用庞特里亚金最大值原理，从最优控制问题推导出真实的哈密顿系统。
• 利用李代数结构与括号关系，识别幂零系统中的守恒量。
• 通过恢复已知首次积分并确认其对易性，对已知问题（包括(2,3,5)子黎曼系统）验证该方法的有效性。

实验结果

研究问题

• RQ1 能否为控制集为开集的最优控制问题，开发一种系统化方法，以区分有效首次积分与平凡首次积分？
• RQ2 何种充分条件可确保通过基于对称性的首次积分，使最优控制问题可解于初等积分？
• RQ3 如何有效结合科夫洛夫-科列斯尼科夫定理与诺特定理，以增强可积性分析？
• RQ4 所提出的方法能否为子黎曼幂零(2,3,5)系统提供一种替代的可解性证明？
• RQ5 是否存在理论路径，可为高维幂零系统（如(2,3,5,8,14)）寻找足够的首次积分，而标准计算工具在此类系统中失效？

主要发现

• 该方法成功识别出子黎曼幂零(2,3,5)系统的五个有效首次积分：哈密顿量、ψ₂ + βψ₅x₃、ψ₃、αψ₄，以及βψ₅。
• 通过构造首次积分 F = −ψ₁ψ₅ + ψ₂ψ₄ − (ψ₃ + ½ψ₅x₂)x₂ψ₅，提供了(2,3,5)情形可解性的替代证明，该首次积分与其余积分共同构成一个对易集。
• 系统被确认为李乌维勒型，即其解可表示为初等函数与积分的组合。
• 该方法识别出(2,3,5,8)与(2,3,5,8,14)系统分别需要8个与14个有效首次积分以实现可解性，尽管此处未实际计算出。
• 先前工作中使用的Maple软件包无法为(2,3,5,8,14)情形找到足够多的首次积分，表明需要超越纯计算搜索的理论进展。
• 该方法提供了一套构造性框架，可绕过高维幂零系统中纯算法方法的局限性。