即该问题在x*处Fritz-John条件成立.
不等式约束最优化问题的最优性条件
Fritz John 最优性条件—一阶必要条件
注: (1)上例说明在Fritz John条件中有可能λ0=0. 此时，目
标 函数的梯度就会从Fritz John中消失, 即Fritz John 条件实际上不包含目标函数的任何信息，仅仅表明 起作用约束函数的梯度线性相关，而这对表述最优 点没有什么实际价值.
故非有效约束也称为不起作用的约束.
不等式约束最优化问题的最优性条件
几何最优性条件—一阶必要条件
定理3.3.1: 考虑约束最优化问题
min f ( x), xS
(3.3.2)
其中S Rn是非空集合，f : S R, 且f在
x处可微.若x是问题(3.3.2)的局部极小点, 则
F0 D .
不等式约束最优化问题的最优性条件
d T c2 x 0, 3d1 2d2 0;
d T f x 0, 8d1 2d2 0.
故该问题在x处的可行下降方向集合为
FD
{d
R2
|
1 4
d2
d1
2 3
d2,d2
0}.
由于FD ，故x一定不是问题的极小点.
不等式约束最优化问题的最优性条件
几何最优性条件—一阶必要条件
几何最优性条件直观,但难以在实际
几何最优性条件—一阶必要条件
仅考虑在某点起作用的约束
定理3.3.2: 在问题(3.3.1)中，假设：
(1) x*为局部最优解且I * i ci x* 0,1 i m ；
(2) f x与ci xi I * 在 x* 点可微；
(3) ci x i I \ I * 在 x* 点连续；
验证 x* 0, 0T 处Fritz-John条件是否成立？
解： I * 1, 2, f x* 1, 0T , c1 x* 0,1T , c2 x* 0,1T .
取*0 0 *1 *2 0, 有
*0f x* *1c1 x* *2c2 x* 0,
*1c1 x* 0, *2c2 x* 0.
ቤተ መጻሕፍቲ ባይዱ
计算中应用.
???
将几何最优性条件转化为代数
最优性条件.
(1) Fritz John 条件 (2) Kuhn-Tucker 条件
不等式约束最优化问题的最优性条件
Fritz John 最优性条件—一阶必要条件 (1948)
定理3.3.3: 设 x*为问题(3.3.1)的局部最优解且
f x, ci x1 i m 在 x* 点可微，则存在非零
则
F0 G0 ,
其中G0 d Rn ci x* T d 0 , i I *
不等式约束最优化问题的最优性条件
几何最优性条件—一阶必要条件
例1：确定： min f x x1 62 x2 22
s.t x1 2 x2 4 0
3 x1 2 x2 12 0
x1 , x2 0
可行方向：设S Rn , x clS, d Rn , d 0, 若存在〉0，使得
x d S, (0, ),
则称d为集合S在点x处的可行方向( feasible direction).
可行方向锥： S在点 x处的可行方向锥
D {d | d 0, 0,使x d S, (0, )}.
则存在非零的向量* *0 , *1 , , *m , 使得：
m
*0f x* *i ci x* 0
i 1
*i ci x* 0 i 1,2, , m
*i 0 i 0,1,2, , m
不等式约束最优化问题的最优性条件
Fritz John 最优性条件—一阶必要条件
例2： min f x1 , x2 x1 s.t c1 x1 , x2 x13 x2 0 c2 x1 , x2 x2 0
Feasible direction cone
注:当 x int S时, S在 x 处的可行方向锥是全空间Rn .
不等式约束最优化问题的最优性条件
定
义设S下降Rn方, x向 (Sd,edsceRnnt,
direction)：
d 0, 且f : S
R在点x处可微，
f ( x)T d 0,则d为f在点x处的下降方向.
下降方向锥：f在点 x处的下降方向锥
F0 {d | f ( x)T d 0}.
不等式约束最优化问题的最优性条件
可行方向锥与下降方向锥的几何解释
x F0
f (x)
S
D
在极小点处，任何 下降方向都不是可 行方向，而任何可 行方向也不是下降 方向，即，不存在 可行下降方向.
不等式约束最优化问题的最优性条件
在点 x 2,3T处的可行下降方向.
解：x 2,3T， Ix 1,2.
c1
x
1 2
,
c2
x
3 2
.
不等式约束最优化问题的最优性条件
几何最优性条件—一阶必要条件
f
x
2 x1 12 2x2 4
,
f
x
8 2
.
设 d d1 , d2 T , 则d T c1 x 0, d1 2d2 0;
不等式约束最优化问题的最优性条件
不等式约束最优化问题
min f x
3.3.1
s.t. ci x 0, i 1,2, m,
其中f : Rn R,ci:Rn R(i 1,2,...,m).
不等式约束最优化问题的最优性条件
定 闭包： 设S Rn , S的闭包定义为： 义 Closure clS { x | S N ( x) , 0}.
定义
设(3.3.1)中的一个可行点 x 满足
有效约束：c j x 0, 则称约束 c j x 0为在
x Active
Constraint
处的有效约束或紧约束．
非有效约束： 若有 ck x 0, 则 称 ck x 0 为
inactive
在 x 处的非有效约束或松约束．
x Constraint 在可行点 处的有效约束的指标集：
有效集：I I x i ci x 0
不等式约束最优化问题的最优性条件
有效约束与非有效约束---几何解释
g1(x)=0
x
g2(x)=0
S
g3(x)=0
(1) 在点 处x ,
g1(x)≥0 和 g2 (x)≥0是有效约束； g3(x)≥0是非有效约束.
x x (2) 的非有效约束g3(x)≥0对 处的可行方向没有影响，