总结一下最优控制的存在性定理, 以及我自己的疑惑, 如果有大神提供解答, 小生感激不尽!
首先考虑如下控制系统:
其中 表示系统的状态变量, 表示控制函数, 假设控制 在允许的控制集 上是Lebesgue可积的. 目标函数 中的被积函数为 , 即
(PS: 老实说, 这里的一直都不明白是什么意思, 可能是终止时刻的限制??? 我所阅读的本专业的文献中涉及到的目标函数大多只包含前半部分, 不过本专业文献涉及到的最优控制写的非常笼统, 所以只能自己啃控制专业的书籍)
定理: 假设连续并且存在正常数 使得如下假设成立:
(1)
(2) .
被积函数也是连续的, 此外, 若还满足如下条件:
(a) is not empty, where denote the class of all ;
(b) is closed;
(c) is compact and is continuous on ;
(d) is convex for each ;
(e) , where is continuous and as .
Then there exist minimizing on .
上面的定理就是最优控制的存在性定理, 定理中的条件(c), (d), (e)可以被等价的替换成如下三个条件:
(c') is continuous on ; there exists a compact such that and imply , where , and .
(d') is convex, , is convex on .
(e')
自此, 最优控制的存在性定理叙述完毕. 为了避免出错, 选择了用英文的原文进行说明. 下面结合楼主的专业以及自己的理解口语化重新叙述一下最优控制的存在性定理, 如有理解错误之处, 请大家直接指出!
定理: 若函数 和 满足如下条件:
(i) 对于给定的初值 , 控制 组成的集合 以及满足初始条件的状态方程的解是非空的.
(ii) 控制集 是非空的凸闭集.
(iii) 函数是一个关于控制 的线性函数.
(iv) 目标函数的被积函数 关于控制函数 是凸的.
(v) 存在正常数 , 使得 .
(vi) 函数 关于 满足Lipschitz连续, 即存在常数 , 使得
,
where .
(vii) 存在常数 , 使得 .
则最优控制 存在, 且 .
Tips: 两个最优控制存在性的定理中,(a), (b), (d') 与(i), (ii), (iii) +(iv)是对应的, 假设(1),(2) 与(v), (vi)是对应的, (e')与(vii)是对应的. 第一个定理中的(c)并没有出现在第二个定理的叙述中, 我觉得是由于我们给定了初值??? 还是说我们并没有对终止时刻系统的状态进行限制???还是说是目标函数中不含有 ???