[论文解读] Necessary Optimality Conditions for Continuous-Time Optimization Problems with Equality and Inequality Constraints

Moisés Rodrigues Cirilo do Monte, Valeriano Antunes de Oliveira|arXiv (Cornell University)|Feb 9, 2018

Optimization and Variational Analysis参考文献 23被引用 6

一句话总结

本文为具有等式与不等式约束的连续时间最优控制问题建立了第一阶与第二阶必要最优性条件。通过利用满秩正则性条件与一致隐函数定理，其在空间 $L_∞([0,T];\mathbb{R}^n)$ 中推导出类似 Karush-Kuhn-Tucker 的条件以及一个第二阶充分条件，填补了文献中此前在混合约束设定下此类条件不可用的空白。

ABSTRACT

The paper is devoted to obtain first and second order necessary optimality conditions for continuous-time optimization problems with equality and inequality constraints. A full rank type regularity condition along with an uniform implicit function theorem are used in order to establish such necessary conditions.

研究动机与目标

• 在 $L_\infty([0,T];\mathbb{R}^n)$ 中建立具有等式与不等式约束的连续时间优化问题的必要最优性条件。
• 解决文献中在该函数空间下结合等式与不等式约束的问题缺乏第一阶与第二阶必要条件的问题。
• 引入并应用一种满秩类型的正则性条件与一致隐函数定理，以应对时变约束带来的分析挑战。
• 在这些约束下推导出类似 Karush-Kuhn-Tucker 的条件与一个第二阶局部最优性条件。

提出的方法

• 利用一致隐函数定理（Pinho 与 Vinter，1997 年）确保等式约束在时间上具有可测且正则的解。
• 在等式约束的雅可比矩阵上施加一个满秩正则性条件，以保证隐解映射的局部可逆性与可微性。
• 应用无限维版本的 Farkas 引理与 Zangwill 约束资格的连续时间版本，以推导必要条件。
• 通过拉格朗日对偶性推导第一阶条件，为等式约束引入乘子 $u_i(t)$，为不等式约束引入乘子 $v_j(t)$。
• 通过分析拉格朗日函数的海森矩阵 $\nabla^2 L$ 并要求其在切锥上为负半定，建立第二阶条件。
• 使用几乎处处非负的可测乘子函数 $v_j(t) \geq 0$ a.e.，并在证明中构造辅助函数以验证符号性与可积性特征。

实验结果

研究问题

• RQ1 在 $L_\infty([0,T];\mathbb{R}^n)$ 中，具有等式与不等式约束的连续时间最优控制问题的第一阶必要最优性条件是什么？
• RQ2 如何应用一致隐函数定理以确保时变等式约束的可测且正则的解？
• RQ3 在具有混合约束的连续时间设定下，何种第二阶条件可确保局部最优性？
• RQ4 在缺乏标准约束资格条件的情况下，如何利用满秩正则性条件推导出类似 KKT 的条件？
• RQ5 可测乘子与拉格朗日函数海森矩阵的结构在验证最优性中起到何种作用？

主要发现

• 本文建立了第一阶必要最优性条件，形式为包含可测乘子 $u_i(t)$ 与 $v_j(t)$ 的类似 Karush-Kuhn-Tucker 的方程，其中 $v_j(t) \geq 0$ a.e. 在 $[0,T]$ 上成立。
• 满秩正则性条件确保了一致隐函数定理的适用性，从而支持了等式约束可测解的推导。
• 第二阶必要条件要求拉格朗日函数的海森矩阵在切锥上为负半定，表达为：对所有 $\gamma \in \bar{N}$，有 $\int_0^T \gamma'(t) \nabla_{zz}^2 L \gamma(t) dt \leq 0$。
• 证明表明，若假设 $v_j(t)$ 在正测度集合上为负，则会导致矛盾，从而验证了 $v_j(t)$ 几乎处处非负的合理性。
• 所推导的条件在空间 $L_\infty([0,T];\mathbb{R}^n)$ 中有效，这对于处理有界控制与状态轨迹至关重要。
• 该框架通过为具有等式与不等式约束的连续时间问题提供必要条件，填补了文献中的重要空白。