[论文解读] Pontryagin Maximum Principle - a generalization

Janusz Grabowski, Michał Jóźwikowski|arXiv (Cornell University)|May 17, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 4

一句话总结

本文将庞特里亚金最大值原理（PMP）推广至几乎李（AL）代数丛，这是一种统一约化与非约化最优控制问题的几何框架。通过引入AL代数丛上可测路径的同伦理论，作者推导出一种普遍的PMP形式，自然地包含了对称性约化（如刚体动力学中的情形），同时保持了变分与控制的完整几何结构。

ABSTRACT

The fundamental theorem of the theory of optimal control, the Pontryagin maximum principle (PMP), is extended to the setting of almost Lie (AL) algebroids, geometrical objects generalizing Lie algebroids. This formulation of the PMP yields, in particular, a scheme comprising reductions of optimal control problems similar to the reduction for the rigid body in analytical mechanics. On the other hand, in the presented approach the reduced and unreduced PMPs are parts of the same universal formalism. The framework is based on a very general concept of homotopy of measurable paths and the geometry of AL algebroids.

研究动机与目标

• 将庞特里亚金最大值原理（PMP）从经典的李代数丛推广至更一般的几乎李（AL）代数丛设置。
• 构建一个几何框架，通过自然地融入对称性诱导的约化，统一处理约化与非约化最优控制问题。
• 利用AL代数丛上可测路径的同伦，重新表述最优控制中的变分原理，从而捕捉约化几何本质，而不仅仅是计算上的约化。
• 建立一个普遍形式化体系，使得原始PMP与约化PMP均源自同一基础结构，同时保持控制、轨迹与变分的几何完整性。

提出的方法

• 引入AL代数丛上可测路径的同伦概念，推广最优控制中变分的观念。
• 定义在时间 $\tau$ 处的无穷小变分凸锥 $\operatorname{cl}(\bm{K}^{u}_{\tau})$，捕捉控制路径的容许扰动。
• 使用反向平行移动 $\bm{B}_{tt_1}$ 及其对偶 $\bm{B}^*_{tt_1}$，将协态向量从终端时间 $t_1$ 传播至更早时间。
• 应用凸锥的分离定理，推导必要条件：存在一个非零协态 $\bm{\xi}(t_1)$，将 $\bm{K}^{u}_{t_1}$ 与射线 $\bm{\Lambda}_{\bm{x}(t_1)}$ 分离。
• 证明哈密顿量 $\bm{H}(\bm{x}(t), \bm{\xi}(t), u(t)) = 0$ 在控制的正则点上恒为零，并在控制集合上达到上确界，从而确保最大值原理在正则点成立。
• 将 $\bm{K}^{u}_{t_1}$ 的定义扩展为 $\tau < t_1$ 时 $\operatorname{cl}(\bm{K}^{u}_{\tau})$ 的直极限，确保在终端时间的连续性与一致性。

实验结果

研究问题

• RQ1 庞特里亚金最大值原理如何推广至比李代数丛更一般的几何结构，如几乎李代数丛？
• RQ2 能否在一个统一的普遍形式化体系中表述最优控制问题的约化（如由对称性引起的约化），使其同时包含非约化与约化系统？
• RQ3 可测路径的同伦在AL代数丛上最优控制变分形式化中扮演何种角色？
• RQ4 在对称控制系统中，如何一致地对变分的几何结构（同伦）与动力学进行约化？
• RQ5 在AL代数丛设置下，什么条件能保证在变分锥与终端数据射线之间存在分离的协态向量？

主要发现

• 在几乎李代数丛上的广义PMP，将非约化与约化形式的最大值原理统一于单一几何框架之中。
• 在 $\bm{K}^{u}_{t_1}$ 与终端射线 $\bm{\Lambda}_{\bm{x}(t_1)}$ 之间存在分离协态 $\bm{\xi}(t_1) \in \bm{A}^*_{\bm{x}(t_1)}$，确保了必要最优性条件的成立。
• 哈密顿量 $\bm{H}(\bm{x}(t), \bm{\xi}(t), u(t))$ 在控制的正则点上恒为零，并在控制集合上达到上确界，满足核心PMP条件。
• 通过 $\bm{B}^*_{tt_1}$ 实现的协态反向传播，保持了时间上的对偶性与一致性，从而支持最大值原理的推导。
• 该框架自然恢复了经典约化结果，如 $\mathfrak{so}(3)^*$ 上的刚体动力学，表明其与解析力学中已知结果相容。
• 通过直极限构造 $\bm{K}^{u}_{t_1}$，确保了即使在控制不连续的情况下，变分锥在终端时间仍保持连续性与一致性。