自由末端的极大值原理(7/8)
H ( x * (t ), λ(t ), u* (t )) min H ( x* (t ), λ(t ), u(t )) (96)
u ( t )U
3) 由极值求解条件(96)可知,极大值原理得到的是全局最 小值,而非局部极值,而古典变分法中由极值条件 H/u=0得到的是局部极小值。
自由末端的极大值原理(3/8)
满足 2) 边界条件
λ(t f ) S ( x (t f )) x (t f )
的解, 其中哈密顿函数为
H ( x(t ), λ(t ), u(t )) λ (t ) f ( x(t ), u(t ))
3)则有
H ( x * (t ), λ(t ), u* (t )) min H ( x* (t ), λ(t ), u(t ))
再则,如果把条件(96)仍称为极值条件,则极大值原 理得到的是强极值。
而古典变分法在欧拉方程推导时,对极值曲线x*(t)和 其导数都引入变分,得到的是弱极值。 不难理解,当满足古典变分法的应用条件时,极值条 件 H/u=0 只是极大值原理的极值求解条件 (96) 的 一个特例。
自由末端的极大值原理(8/8)
x(t)的表达式(1/3)
(2) x(t)的表达式 根据 f(x,u) 对 x 的可微性 , 由状态方程 (92) 可得如下由控制量 的变分u(t)引起的状态方程(92)的变分
f ( x* x , u* u) f ( x * , u* ) x f ( x * , u* u) * * f ( x , u u) x o ( x ) f ( x , u ) x f ( x* , u* ) * * * * x f ( x , u u ) f ( x , u ) x f ( x* , u* u) f ( x* , u* ) x o( x ) x x