[论文解读] Note on Pontryagin maximum principle with running state constraints and smooth dynamics -- Proof based on the Ekeland variational principle

Loïc Bourdin|arXiv (Cornell University)|Apr 14, 2016

Mathematical Inequalities and Applications参考文献 15被引用 11

一句话总结

本文使用Ekeland变分原理作为核心分析工具，为具有运行状态约束和光滑动力学的最优控制问题，提供了庞特里亚金最大值原理的完整、详细的证明。主要贡献是在动力学和约束条件满足标准光滑性和正则性假设下，严格推导出必要最优性条件，包括通过向后柯西-史蒂尔杰斯问题定义的伴随向量，以及哈密顿函数上的最大值条件。

ABSTRACT

In this note our aim is to give a proof of the Pontryagin maximum principle for a general optimal control problem with running state constraints and smooth dynamics. Our proof is based on the classical Ekeland variational principle. The main result (and its proof) of this note are not new and are already well-known in the literature. The aim of the author is only to provide a complete and detailed proof of this classical theorem in the case of smooth dynamics. If you have any remarks or questions, do not hesitate to contact the author at [e-mail].

研究动机与目标

• 为具有运行状态约束和光滑动力学的最优控制问题，提供一个自包含且详尽的庞特里亚金最大值原理证明。
• 利用Ekeland变分原理，建立必要最优性条件——特别是哈密顿函数的最大值条件和伴随方程。
• 阐明伴随向量以及与活跃状态约束相关的测度取值乘子的作用。
• 形式化Stieltjes积分和有界变差函数在具有状态约束的最优控制中的应用。
• 呈现一份对研究人员和学生都易于理解的证明，强调清晰性和完整性，尽管该结果属于经典范畴。

提出的方法

• 证明基于Ekeland变分原理在适当函数空间设定下的最优控制问题应用。
• 通过在有界函数空间上的Banach空间不动点论证，证明了前向和后向柯西-史蒂尔杰斯问题解的存在性与唯一性。
• 伴随向量 $ p $ 被构造为一个涉及哈密顿函数和状态约束偏导数的后向线性柯西-史蒂尔杰斯问题的解。
• 使用隐式尖峰扰动推导一阶必要条件，利用解对控制的可微依赖性。
• 证明依赖于Stieltjes积分的Fubini型公式，以及利用状态转移矩阵表达线性系统解的方法。
• 最终的最优性条件通过结合Ekeland不等式与状态变量和伴随变量之间的对偶性推导得出，从而得到哈密顿函数上的最大值条件。

实验结果

研究问题

• RQ1 如何利用变分原理严格推导出具有运行状态约束的最优控制问题的庞特里亚金最大值原理？
• RQ2 Ekeland变分原理在存在状态约束时，对建立必要最优性条件起到了何种精确作用？
• RQ3 当动力学光滑且状态约束活跃时，伴随变量在状态约束背景下如何定义？
• RQ4 当状态约束活跃时，伴随方程的结构是什么？其如何通过Stieltjes积分表示？
• RQ5 哈密顿函数的最大值条件在几乎处处成立的条件是什么？这与约束对应的对偶变量有何关联？

主要发现

• 最优控制 $ u^* $ 满足几乎处处的条件 $ u^*(t) \in \arg\min_{v \in \Omega} H(q^*(t), v, p(t), t) $，其中 $ H $ 为哈密顿函数。
• 伴随向量 $ p \in \mathrm{BV}_n $ 是后向柯西-史蒂尔杰斯问题 $ -dp = \partial_1 H \, dt + \sum_{i=1}^j \partial_1 G_i \, d\eta_i $ 的唯一解，终端条件为 $ p(T) = \psi \nabla \Psi(q^*(T)) $。
• 乘子 $ \eta_i \in \mathrm{NBV}_1 $ 是非减的，并满足互补松弛条件 $ \int_0^T G_i(q^*(\tau), \tau) \, d\eta_i(\tau) = 0 $ 对所有 $ i = 1, \dots, j $ 成立。
• 伴随方程的解 $ p $ 通过Duhamel型公式显式给出：$ p(t) = Z(T,t)^\top p_T + \int_t^T Z(\tau,t)^\top \partial_1 H \, d\tau + \sum_{i=1}^j \int_t^T Z(\tau,t)^\top \partial_1 G_i \, d\eta_i(\tau) $。
• 通过在有界函数空间中的压缩映射论证，建立了线性柯西-史蒂尔杰斯问题解的存在性与唯一性。
• 该证明表明，在数据光滑性假设下，Ekeland变分原理可有效用于推导状态约束存在时的必要条件。