[论文解读] Second Order Necessary Conditions for Optimal Control Problems on Riemannian Manifolds

Qing Cui, Li Deng+1 more|arXiv (Cornell University)|Aug 25, 2015

Geometric Analysis and Curvature Flows参考文献 19被引用 3

一句话总结

本文建立了在黎曼流形上最优控制问题的二阶必要与充分最优性条件，通过对偶方程和变分分析引入曲率张量。推导了自由端点与固定端点情形下的积分型与点态型二阶条件，恢复了经典测地线能量最小化这一特殊情况，而传统控制方法在此情形下失效。

ABSTRACT

This work is concerned with an optimal control problem on a Riemannian manifold, for which two typical cases are considered. The first case is when the endpoint is free. For this case, the control set is assumed to be a separable metric space. By introducing suitable dual equations, which depend on the curvature tensor of the manifold, we establish the second order necessary and sufficient optimality conditions of integral form. In particular, when the control set is a Polish space, the second order necessary condition is reduced to a pointwise form. As a key preliminary result and also an interesting byproduct, we derive a geometric lemma, which may have some independent interest. The second case is when the endpoint is fixed. For this more difficult case, the control set is assumed to be open in an Euclidian space. We obtain the second order necessary and sufficient optimality conditions, in which the curvature tensor also appears explicitly. Our optimality conditions can be used to recover the following famous geometry result: Any geodesic connecting two fixed points on a Riemannian manifold satisfies the second variation of energy; while the existing optimality conditions in control literatures fail to give the same result.

研究动机与目标

• 为状态演化于曲面流形上的最优控制问题，发展二阶必要与充分最优性条件，尤其关注流形曲率的影响。
• 解决现有控制理论最优性条件在捕捉测地线能量最小化这一黎曼几何基本结果时的局限性。
• 将二阶分析扩展至自由端点与固定端点情形，对控制集分别采用可分度量空间与欧氏空间开子集的不同假设。
• 推导一个涉及曲率的几何引理，该引理可能在微分几何中具有独立兴趣。
• 证明所提出的条件能够恢复测地线能量的二阶变分，而这是经典控制理论方法无法捕捉的结果。

提出的方法

• 引入依赖于黎曼曲率张量的对偶方程，以刻画代价泛函的二阶变分。
• 在状态流形上应用变分分析，包括扰动轨迹的一阶与二阶变分方程。
• 对代价泛函与端点约束进行泰勒展开，展开至控制扰动的二阶项。
• 通过拉格朗日乘子结构区分正常与异常情形，其中异常情形依赖于端点约束导数核空间上黑塞矩阵的定号性。
• 利用紧致性与收敛性论证（如L²中的弱收敛），在扰动序列中取极限，推导必要条件。
• 利用指数映射及其逆线性化状态轨迹的变分，从而推导出包含曲率张量的二阶项。

实验结果

研究问题

• RQ1 当控制集为一般可分度量空间时，能否为黎曼流形上的最优控制问题推导出二阶最优性条件？
• RQ2 黎曼曲率张量如何影响流形上最优控制的二阶必要与充分最优性条件？
• RQ3 所提出的二阶条件能否恢复经典结果：即测地线最小化能量泛函？
• RQ4 端点约束（固定与自由）在塑造二阶条件结构方面起什么作用？
• RQ5 在何种条件下，二阶条件可从积分形式退化为点态形式？

主要发现

• 针对自由端点情形，推导出以积分形式表示的二阶必要与充分最优性条件，其中曲率张量明确出现在对偶方程中。
• 当控制集为波兰空间时，二阶必要条件退化为点态形式，提升了最优性条件的正则性。
• 对于固定端点情形，控制集为欧氏空间开子集时，建立了二阶条件，且曲率张量再次明确出现在黑塞项中。
• 所提出的最优性条件成功恢复了测地线能量的二阶变分，而这是现有控制理论方法所无法捕捉的结果。
• 分析表明，端点映射的黑塞矩阵必须在端点约束导数的核空间上为负定，以确保局部最优性。
• 作为副产品，推导出一个涉及曲率张量的几何引理，该引理可能在微分几何中具有独立兴趣。