[论文解读] Infinite Dimensional Multipliers and Pontryagin Principles for Discrete-Time Problems

Mohammed Bachir, Joël Blot|arXiv (Cornell University)|Jun 29, 2016

Stability and Controllability of Differential Equations参考文献 9被引用 9

一句话总结

本文为无限时域离散时间最优控制问题建立了无穷维庞特里亚金原理，其中状态空间与控制空间均为巴拿哈空间。通过将无限时域问题约化为有限时域近似，并应用泛函分析工具——尤其是弱*收敛与乘子序列——证明了在标准有限维技术因对偶空间中的闭包与拓扑问题而失效的无穷维设定下，仍存在满足必要最优性条件的伴随乘子。

ABSTRACT

The aim of this paper is to provide improvments to Pontryagin principles in infinite-horizon discrete-time framework when the space of states and of space of controls are infinite-dimensional. We use the method of reduction to finite horizon and several functional-analytic lemmas to realize our aim.

研究动机与目标

• 将庞特里亚金最大值原理扩展至无限时域离散时间最优控制问题，其状态空间与控制空间为无穷维。
• 解决无穷维设定下出现的挑战，如算子值域的闭包性与对偶空间中的弱*拓扑。
• 通过将无限时域问题转化为有限时域近似的方法，建立必要最优性条件。
• 在无穷维设定下，证明满足弱*收敛与非平凡性条件的伴随乘子存在的存在性。
• 为无穷维最优控制中的乘子方法提供严谨的泛函分析基础，尤其运用贝尔纲定理与次可加泛函。

提出的方法

• 通过在时间域上截断至 T，将无限时域最优控制问题约化为有限时域近似。
• 对每个有限时域问题应用 Karush-Kuhn-Tucker (KKT) 乘子定理，生成依赖于 T 的乘子。
• 在对偶巴拿哈空间中使用弱*收敛，提取当 T → ∞ 时乘子序列的收敛子列。
• 运用泛函分析引理——特别是贝尔纲定理与次可加泛函——以确保极限乘子的存在性与非平凡性。
• 应用 Banach-Steinhaus 型结果（通过引理 3.3）以控制算子族的一致有界性，并确保乘子序列的收敛性。
• 通过取有限时域乘子的极限，建立必要最优性条件，确保极限乘子满足伴随方程与非平凡性条件。

实验结果

研究问题

• RQ1 当状态空间与控制空间为无穷维时，能否为无限时域离散时间最优控制问题推导出类似庞特里亚金的必要最优性条件？
• RQ2 标准有限时域乘子方法如何适应巴拿哈空间中的无限时域问题？
• RQ3 为确保无穷维设定下伴随乘子的存在性与收敛性，需要哪些泛函分析工具？
• RQ4 当 T → ∞ 时，如何在极限中保持乘子对 (λ₀, pₜ) 的非平凡性？
• RQ5 在无穷维空间中，有限时域乘子极限满足伴随方程与类似横截性条件的条件是什么？

主要发现

• 本文为无穷维巴拿哈空间中的无限时域离散时间最优控制问题建立了庞特里亚金原理，证明了存在一个满足伴随方程的非平凡乘子序列 (λ₀, pₜ)。
• 对每个 T，存在有限时域 KKT 乘子 (λ₀, pₜ^T)；这些乘子被证明在 T → ∞ 时弱*收敛于极限乘子 (λ₀, pₜ)。
• 极限乘子满足伴随方程：对所有 t ∈ ℕ，有 pₜ = D_x fₜ*(x̂ₜ,ûₜ) pₜ₊₁，且满足适当的边界条件。
• 非平凡性条件 (λ₀, pₜ) ≠ (0, 0) 对所有 t ≥ s 成立，确保乘子不恒为零。
• 该方法依赖贝尔纲定理与对偶空间中的弱*收敛，以克服无穷维空间中的拓扑障碍。
• 结果被推广至不等式约束系统（xₜ₊₁ ≤ fₜ(xₜ, uₜ)）以及具有 limsup/liminf 准则的问题，表明该方法具有鲁棒性。