定理4.1.6 设x*为上述问题的局部最优解且 f(x),ci(x)(1≤i≤m)在x*点可微,则存在非零向量
l*=(l0*,l1*,···,lm*)使得
满足上面的条件的点称为Fritz-John点. 上面的条件仅仅是必要条件.
Fritz-John一阶必要条件
证明概要 设x*处的有效集为
I对显定*=理于然I(结无有x*效论l)=i*可约{=i|0c束以.i(x描,由*)述=于0为c,ii=(存x1),在>20,·l,·若0·及,m定l}.理i(i∈的I结*)论,使成得立,
对于i∈I \ I*,只要令li*=0,即可得到Fritz-John
条件.
例题 (Fritz-John条件)
例4.1.1 min f(x)=(x1-1)2+(x2-1)2 s.t. c1(x1,x2)=(1-x1-x2)3≥0
c2(x)=x1≥0 c3(x)=x2≥0
解:本问题是求点(1,1)T到如图三角形区域的最短 距离.显然唯一最优解为x*=(1/2,1/2)T.
条件下就是原来约束问题的最优解.
点(x*,l*)称为Lagrange函数L(x,l)的驻点.
等式约束问题的二阶充分条件
定理4.1.2 在上面的等式约束问题中,若 (i)f(x)与ci(x)(1≤i≤l)是二阶连续可微函数
(ii)存在x*∈Rn与l*∈Rl使得Lagrange函数的
梯度为零,即 (iii)对于任意非零向量s∈Rn,且
Gordan引理
引理4.1.4 设a1,···,ar是n维向量,则不存在向量 d∈Rn使得
aiTd<0(i=1,···,r) 成立的充要条件是,存在不全为零的非负实数
组l1,···,lr,使
Fritz-John一阶必要条件