- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
定义4.1.1 若上述问题的一个可行点 使得某个
不等式约束cj(x)≥0中的等号成立,即
则该不等式约束cj(x)≥0称为关于 的有效约束.
否则,若对某个k,使得
则该不等式约
束ck(x)≥0称为关于 的非有效约束. 称所有在 处的有效约束的指标组成的集合.
为 处的有效(约束)集来自注:有时我们也将等式约束也视为有效约束.
aiTd<0(i=1,···,r) 成立的充要条件是,存在不全为零的非负实数
组l1,···,lr,使
20
Fritz-John一阶必要条件
证明概要(续)根据Gordan引理,存在不全为零
的数l0*≥0, li*≥0(i∈I*),使得 对于i∈I \ I*,只要令li*=0,即可得到Fritz-John
证明概要 设x*处的有效集为
I对显定*=于 理然I(无结有x*效论l)=i*约可{=i|0c束以.i(x描,由*)述=于0为c,ii=(存x1),在>20,·l,·若0·及,m定l}.理i(i∈的I结*)论,使成得立,
因为x*是局部最优解,在”指向有效约束的内 部的方向中”不含f(x)的下降方向.
16
均有 则x*是上面问题的严格局部极小点.
12
等式约束问题的二阶充分条件
定理4.1.2的几何意义是,
在Lagrange函数L(x,l)
s
的驻点处,若L(x,l)函数
关于x的Hesse矩阵在约
束超曲面的切平面上正
定(不要求在整个空间正
定),则x*就是严格局部
极小点.
13
4.1.1不等式约束问题的最优性条件
可以推出
引理4.1.5 在不等式约束问题中,假设
(i)x*为问题的局部最优解,且
I*={i|ci(x*)=0,i=1,2,···,m}; (ii)f(x)和ci(x)(i∈I*)在x*可微;
(iii)ci(x)(i∈I \ I*)在x*连续;则G∩S=f.
其中
表示下降方向
表示指向可行域内部的方向
18
Fritz-John一阶必要条件
证明概要(续)根据上述引理,不存在d∈Rn,使得
即 是这样一组向量,它们不
在过原点的任何超平面的同一侧. 于是我们总可以适当放大或缩小各向量的长 度,使得变化后的各向量的合成向量为零向量. 注:这一结论的依据是下面的Gordan引理.
19
Gordan引理
引理4.1.4 设a1,···,ar是n维向量,则不存在向量 d∈Rn使得
最优化方法
目录
第一章 最优化问题概述 第二章 线性规划 第三章 无约束最优化方法 第四章 约束最优化方法
2
第四章 约束最优化方法
作业
P212 4.4 (ii),(iii) P213 4.7 (ii) P214 4.9 (ii) 4.11
4
§4.1 约束最优化问题的最优性条件
问题
在求解问题之前,我们先讨论其最优解的必 要条件,充分条件和充要条件. 这些条件是最优化理论的重要组成部分,对 讨论算法起着关键的作用. 有的算法甚至可以直接用来求解问题.
5
4.1.1等式约束问题的最优性条件
问题
考虑n=2,l=1的情况.c1(x)=0表示二维平面的一 条曲线.最优点满足约束,必落在这一曲线上. 在最优点处作曲线的切线. 考虑f(x)在最优点处的负梯度方向
6
等式约束问题的最优性条件
-g* x*
f(x)=f*
c1(x)=0
若–g*与上述切线不垂直,则可以在曲线上移动充 分小的距离,使 f 的函数值下降. 这与”最优点”矛盾.因此梯度方向与切线垂直. 或,f(x)在最优点处的梯度方向就是c1(x)=0在该点 处的法向. 而c1(x)=0在该点处的法线方向为
条件.
21
例题 (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.
在教材中有说法不一致的地方.
14
Fritz-John一阶必要条件
定理4.1.6 设x*为上述问题的局部最优解且 f(x),ci(x)(1≤i≤m)在x*点可微,则存在非零向量
l*=(l0*,l1*,···,lm*)使得
满足上面的条件的点称为Fritz-John点. 上面的条件仅仅是必要条件.
15
Fritz-John一阶必要条件
若(i)x*是上述问题的局部最优解;
(ii)f(x)与ci(x)(i=1,2,···,l)在x*的某邻域内连续可微;
(iii)
线性无关
则存在一组不全为零的数
使得
9
等式约束问题的一阶必要条件
对于上述问题,引入n+l元的Lagrange函数
其中c(x)=(c1(x),···,cl(x))T,l=(l1,···,ll)T. 称l为Lagrange乘子向量.
Lagrange函数的梯度为
10
等式约束问题的一阶必要条件
因此无约束问题min L(x,l)的最优性条件
恰好是原来问题的一阶必要条件及ci(x*),i=1,···,l.
所以求含n+l个未知数x1,···,xn,l1,···,ll的非线性 方程组的解(x*,l*),其中x*=(x1*,···,xn*)T在一定
条件下就是原来约束问题的最优解.
点(x*,l*)称为Lagrange函数L(x,l)的驻点.
11
等式约束问题的二阶充分条件
定理4.1.2 在上面的等式约束问题中,若 (i)f(x)与ci(x)(1≤i≤l)是二阶连续可微函数
(ii)存在x*∈Rn与l*∈Rl使得Lagrange函数的
梯度为零,即 (iii)对于任意非零向量s∈Rn,且
因为x*是局部最优解,在”指向有效约束的内 部的方向中”不含f(x)的下降方向.
如图显示的是三 个约束的例子
其中c3(x)≥0为无效约
束,
c1(x)≥0,
c2(x)≥0为有效约束.
黑色部分为可行域.
由最优点指向可行域内 部的方向d都具有性质
这种方向都不是 下降方向,因此
17
即由 因此有下面的引理
因此,存在数l1,使得
7
等式约束问题 的最优性条件
如果n=3,l=2,约束曲线在三 维空间中曲面c1(x)=0和曲 面c2(x)=0的交线.
同样可以说明(-)g*与曲线的切线垂直.
因此,曲面在x*处的法向量
与
梯度向量g*共面.
存在数l1, l2,使得
8
等式约束问题的一阶必要条件
定理4.1.1(一阶必要条件)