当前位置:文档之家› 极值存在定理

极值存在定理

极小点的判定条件
(一) 内点为极小值点的判定条件(求)(min x f ,D x ∈)
一、一般条件
定理1(一阶必要条件)设1
R R :→⊆n D f 具有一阶连续偏导数,*x 是D 的内点,若*x 是)(x f 的局部极小点,则 0)(*=∇x f
定理2(二阶必要条件)设1
R R :→⊆n D f 具有二阶连续偏导
数,若*x 是D 的内点且为)(x f 的局部极小点,则)(*2x f ∇是半正定的。

定理3(二阶充分条件)设1R R :→⊆n D f 具有二阶连续偏导
数,*x 为D 的内点,且0)(*=∇x f ,若)(*2x f ∇正定,则*x 为)
(x f 的严格局部极小点。

定理4(二阶充分条件)设1
R R :→n f 具有二阶连续偏导数,n x R *∈且0)(*=∇x f ,若存在*x 的δ邻域),(*δx N 使对),(*δx N x ∈∀,都有)(2x f ∇半正定,则*x 为)(x f 的局部极小点。

二、凸规划极值判定条件
凸规划问题:非空凸集D 上的凸函数的极小化问题。

定理5 设1
R R :→⊆n D f 为凸集D 上的凸函数,则
(1))(x f 的任一局部极小点*x 为全局极小点;
(2)若)(x f 可微,且存在D x ∈*,使0)(*=∇x f ,则*x 为)
(x f 在D 上的全局极小点;
(3)若)(x f 为严格凸函数,且全局极小点存在,则必唯一。

定理6 考虑如下特殊的凸规划问题:正定二次函数
C x b Qx x x f ++=T T 2
1)(,n x R ∈ 则b Q x 1
*--=为唯一的全局极小点。

(二) 边界点为极小值点的判定条件
考虑一般的非线性规划(NP):
)(min x f
:D x ∈ ⎩⎨⎧===≥ ,,1 ,0)(
,,1 ,0)(l j x h m i x s j
i (1) 一、一般条件
定理1(K —T 条件)(或一阶必要条件):设*x 是(NP )的局部极小点,)(,),(),(,),(),(11x h x h x s x s x f l m 在点*x 处可微,且点*x
处的全部起作用约束的梯度线性无关(即*x 是正则点),则存在实数
l m λλμμ,,,,,11 ,使下述条件成立
⎪⎪⎪⎩⎪⎪⎪⎨⎧=≥===∇-∇-∇∑∑==m
i m i x s x h x s x f i i i l j j j m i i i ,,2,1 ,0,,2,1 ,0)(0)()()(*1*1** μμλμ (*)
二、凸规划极值判定条件
考虑凸规划问题:
)(min x f
s.t. ⎩⎨⎧===≥ ,,1 ,0)(
,,1 ,0)(l j x h m i x s j
i (2) 其中,)(x f 是可微凸函数,m i x s i ,,1 ),( =是可微凹函数,l j x h j ,,1 ),( =是线性函数。

定理2(凸规划的极值):若*x 是凸规划(2)的K —T 点,则*
x 为全局极小点。

注:线性函数既可视为凸函数,又可视为凹函数。

三、等式约束极值判定条件

⎨⎧== ,,1 ,0)( ..)(min l j x h t s x f j (3) 定理3:(一阶必要条件)假设
(1)*
x 为等式约束(3)的局部极小点;
(2)1n :),,1(,R R l j h f j →= 在*x 的某邻域内连续可微; (3))(,),(),(**2*1x h x h x h l
∇∇∇ 线性无关。

则存在R ,,,**2*1∈l λλλ 使得
0)()(*1*
*
=∇-∇∑=x h x f j l
j j λ (**) 定理4(二阶充分条件)假设
(1)1n :),,1(,R R l j h f j
→= 是二阶连续可微函数; (2)存在n x R *∈与l l R ],,,[T **2*1*∈=λλλλ 使得式(**)成立;
(3)关于x 的海色矩阵),(*
*2λx L x ∇在切子空间 },,1 ,0)({T l j v x h v T j ==∇=
上正定。

则点*
x 是问题(3)的严格局部极小点。

四、线性约束的(NP )问题极值判定条件
考虑如下线性约束的(NP )问题
⎪⎩⎪⎨⎧=≥
..)(min d Cx b Ax t s x f (4) 定理5:在约束问题(4)中,假设
i )x 是容许点;
ii )⎥⎦⎤⎢⎣⎡'''=A A A ,⎥⎦
⎤⎢⎣⎡'''=b b b 使得b x A '=',b x A ''>''; iii )A '和C 的行向量线性无关(即起作用约束的梯度线性无关);
iv )*
p 是如下线性规划的最优解: p x f z T )(min ∇=
s.t. ⎪⎩
⎪⎨⎧≤≤=≥'e p e Cp p A -0 0 (***) 其中,[]1,,1,1 =e 。

则点x 为K —T 点的充要条件是0)(*T =∇p x f 。

五、几何最优性条件
考虑不等式约束问题

⎨⎧=≥ ,,1 ,0)( ..)
(min m i x s t s x f i (5) 定理6(几何最优性条件):设*
x 是问题(2)的一个局部极小点,
目标函数)(x f 在*x 处可微,且 1°)(x s i (I i ∈)在*x 处可微;
2°)(x s i (I i ∉)在*
x 处连续。

则在*x 处不存在容许下降方向,即不存在方向p 满足
⎪⎩⎪⎨⎧∈>∇<∇I i p x s p x f i ,0)(0)(T *T * (****)
六、线性规划问题的极值条件
最优性检验
判别数j σ:用非基变量表示的目标函数式中,各非基变量的负系数,即称为各非基变量的判别数。

1º最优解判别定理:若在极小化问题中,对于某个基本容许解, 所有判别数0≤j σ,且人工变量为0,则该基本容许解是最优解。

2º无穷多最优解判别定理:若在极小化问题中,对于某个基本
容许解,所有判别数0≤j σ,又存在某个非基变量的判别数为0,且人工变量为0,则该线性规划问题有无穷多最优解。

3º无容许解判别定理:若在极小化问题中,对于某个基本容许解,所有判别数0≤j σ,但人工变量不为0,则该线性规划问题无容许解。

4º无有限最优解判别定理:若在极小化问题中,对于某个基本容许解,有一个非基变量的判别数0<k σ,但k p 列中没有正元素,且人工变量为0,则该线性规划问题无有限最优解。

相关主题