话不多说,先给出文献的英文版定理,可能自己理解之后会重新整理一下该定理。
Theorem. (Pontryagin's Principle) Necessary conditions that be an optimal initial condition and optimal control for the optimal control problem are the existence of a nonzero k-dimensional vector with and an n-dimensional vector function such that for :
; (1)
for and
; (2)
; (3)
; (4)
; (5)
. (6)
If has a continuous partial derivation , then the condition
(7)
holds for each .
The quantity
(8)
is generally called the Hamiltonian in analogy with a corresponding quantity occuring in classic mechanics. Condition (2) can be expressed as
(9)
and is called Pontryagin's maximum principle. Conditions (3)-(6) called transversality conditions (横截条件). Eq. (1) are called the adjoint equations (伴随方程).
由于庞特里亚金原理的条件是最优性的必要条件, 因此每个最优控制都必须是极值. 但是, 由于条件不一定是最优的, 因此可能存在非最优的极端控制。
问题是, 为什么我所阅读的本专业的文献最优控制就是利用庞特里亚金原理得到的呢? 它明明只是必要条件啊?? 是我忽略了什么信息吗?? 还是说这与利用庞特里亚金原理直接设置数值计算方法求解最优控制 完全不矛盾??
功夫不负有心人, 上面的疑惑得到了一部分的解答. 虽然 Pontryagin's Principle 只是最优控制的必要条件, 但是当对结束状态不受限制时 (the free terminal point problem), 在一些特殊情形下, Pontryagin's Principle 就会变成最优控制的充分必要条件, 详细的说明如下:
Let be convex. Let the equations of motion of the system be given by the linear differential equation
(10)
where and are appropriate dimensional matrices of continuous functions. Let the performance index be given by
(11)
where is a continuous real valued function continuously differentiable and convex in and is a continously differentiable convex function of . Under these assumptions the conditions can be rewritten:
Theorem. A necessary and sufficient condition for optimality of a control for the free terminal point problem with system Eq. (10) and performance index (11) is that for
(12)
for each such that , where is the solution of
(13)
. (14)
Moreover if in addition is strictly convex in for each fixed , the optimal control is unique.
所以, 如果控制集 是凸的, 并且 也是凸的, 那么 Pontryagin's Principle 就是充分必要条件. 不过这个定理是针对线性微分方程的, 非线性微分方程是否也具有一样的性质? 如果是的话, 我所阅读的文献的确满足这些假设条件, 因此, 利用 Ponytryagin's Principle 来计算最优控制也是毋庸置疑的.