您好,欢迎访问三七文档
当前位置:首页 > 临时分类 > 最优化方法 第三章(约束最优性条件)
一约束优化罚函数法可行方向法最优性条件二三五二次逼近法四乘子法一、最优性条件约束优化问题的分类..0,1,,,0,1,,.minnRieiefstgiImhiEmmxxxx等式约束问题不等式约束问题约束优化问题的求解困难极小点可能位于约束域中间,也可能位于边界;迭代点处可行方向有限制,不再是任意方向;无约束问题的最优性条件不再适用;一、最优性条件等式约束优化问题的最优性条件min,..,0fxystgxy求解方法代入法(消元法)(,)0()gxyyx(,())zfxx拉格朗日乘子法(,)(,)Ffxygxy一、最优性条件推广到多元函数,多等式约束问题min()..()0,1,2,...,jfxsthxjl定理(等式约束一阶必要条件)考虑等式约束优化问题,为可行点,f(x)在处可微,hj(j=1,…,l)在处连续可微,向量集线性无关。若是等式约束问题的局部最优解,则存在数,使得xxx(1,,)jvjl1()()0ljjjfxvhx()1,,jhxjlx拉格朗日函数1(,)()()ljjjLxvfxvhx一、最优性条件等式约束一阶必要条件的含义目标函数的梯度属于约束函数在处的梯度张成的子空间,共面,在正交补空间投影为0;x单个约束一、最优性条件目标函数的梯度正交于一阶可行变分子空间,即()()0,1,,jVxxhxxjl1()()0ljjjfxvhx一阶可行变分子空间是指由变分构成的子空间,这些变分使得约束函数展开到一阶时,在向量处仍然成立;xxx此时,目标函数的一阶变分,与无约束优化的“零梯度条件”类似。一、最优性条件定理(等式约束二阶必要条件)221(()())0lTjjjyfxvhxy()()0,1,,jyVxxhxxjl或者1(,)()()ljjjLxvfxvhx的海塞矩阵关于y在处半正定。定理当然还需要目标函数和约束函数二阶连续可微。x一、最优性条件定理(等式约束二阶充分条件)221(()())0lTjjjyfxvhxy()()0,1,,jyVxxhxxjl或者1(,)()()ljjjLxvfxvhx的关于y的矩阵在处关于正定,则是满足约束的局部最小点。若目标函数和约束函数二阶连续可微,且满足xx2(,)xxLxv一、最优性条件拉格朗日乘子的意义----灵敏度min()..Tfxstaxb仅考虑一个线性约束的等式优化问题xxxxTaxb()fxacos()()()()()()TTtfxxfxfxxoxaxoxboxcos()()tfxxfxbb拉格朗日乘子为最优目标费用随约束的增长而递减的变化率。多个线性约束情形:1cos()liiitbox可推广至非线性约束一、最优性条件不等式约束优化问题的最优性条件..0,1,,,0,1,,.minnRieiefstgiImhiEmmxxxx{|()0,()0},Dxgxhx可行域:其中的元素可行点;,xD()0igx()0igx(),Ix(){|()0,1,2,,}iIxigxim设可行解,则称不等式约束是在处的积极约束(activeconstraint)或称紧约束、处的积极约束指标集,记为若x起用作约束。积极约束指标的全体组成的集合,称为x一、最优性条件例:设222112212()20,()10,gxxxgxxx2122()2()0,22gx22222()()()10,22gx22(,),22Tx31()0.gxx求在的起作用约束集。x32()0,2gx(){1,2}.Ix令解:因为Ox一、最优性条件如果是不等式约束问题的局部最小点,那么仍是该问题不考虑在处的非积极约束后新问题的局部极小值点;xx非积极约束不重要,可以在最优性条件中忽略这些非积极约束;在局部最小点处,积极约束可以转化为等式约束进行处理;..0,,0,.minnRiifstgiIhiExxxx..0,(),0,minnRiifstgiIhiExxxxx一、最优性条件定理(一阶必要条件)考虑一般约束优化问题,为可行点,f(x)和gi(x)在处可微gi(x)在处连续,hj(j=1,…,l)在处连续可微向量集线性无关。若是局部最优解,则存在数和使得x(())iIxx()()0iIxigx(())iIxx(())iwiIx(1,,)jvjl()1()()()00,()liijjiIxjifxwgxvhxwiIx(),()(),1,,ijgxhxiIxjlxx一般约束优化的一阶最优性必要条件一、最优性条件x(())iIx定理中的条件gi(x)在处连续加强为连续可微,则上述结论等价于11()()()00,1,...,()0,1,...,mliijjijiiifxwgxvhxwimwgxim当时,,可知,自然消失。()iIx()0igx0,iw()0(())iwgxiIx一、最优性条件()0,1,...,iiwgxim约束优化的一阶必要条件是由Kuhn和Tuchker与1951年提出,所以一阶必要条件又称为K-T条件,满足K-T条件的点称为K-T点。互补松弛条件1939年,Karush也类似考虑了约束优化的最优性条件,所以也有人一阶必要条件称作K-K-T条件,将K-T点称作K-K-T点。拉格朗日函数11(,,)()()()mliijjijLxwvfxwgxvhx***(,,)0.xLxwv**0,()0liiwvRwgx一、最优性条件一阶最优性必要条件几何解释假设约束优化问题不含有等式约束,令(),0,iiiiIcyywgxww0显然,上述集合是由紧约束梯度张成的锥。因此,KKT条件可解释为:若是约束优化问题的最优解,则−𝛻𝑓𝑥必位于点的上述锥中。xx一、最优性条件事实上,对于不等式约束优化问题,在点处,下降方向需满足xmin..0,ifstgiIxx0Tfxd可行方向需满足0Tigxd若为局部极小值点,则在该点处一定不存在可行下降方向,即x0Tfxd0Tigxd无解00,iiifxwgxww0Gordan引理一、最优性条件一般约束优化的二阶最优性条件(二阶必要条件)()()0,()0,TTjiyVxxhxxgxxiI若目标函数和约束函数二阶连续可微,11(,,)()()()mliijjijLxwvfxwgxvhx2(,,)0TxxyLxwvy有(二阶充分条件)若目标函数和约束函数二阶连续可微,()yVx2(,,)0TxxyLxwvy则x为满足约束的严格局部最小值点。一、最优性条件123()2,3xfxx21(),gxx32(),gxx例:求约束极值问题解:记的K-T点。112()4,gxxx2212121212min()6684..00fxxxxxxxstxx则11(),1gx21(),0gx30(),1gx11232311003101xx31()()0,iiifxgx由K-T条件得到K-T点计算:不知道的位置x一、最优性条件11232311003101xx0,()0,1,2,3iiigxi由K-T约束条件,得到21()0gxx32()0gxx112()40gxxx再加上问题本身的约束条件联立(1-1),(1-2)和(1-3),求x和相应的乘子1122133(11)3xx123,,0121240,0,0(13)xxxx1122132(4)000xxxx(12)一、最优性条件12(1)0:xx若1121(4)00xx由可得1232320与矛盾。:0,0)2(21xx若302112x3322x022x020与矛盾。213200xx11221333xx112(4)0xx121212340,0,,0xxxx一、最优性条件1113x3313x031x030与矛盾。213200xx11221333xx112(4)0xx121212340,0,,0xxxx:0,0)3(21xx若20一、最优性条件:0,0)4(21xx若230421xx若10321xx4621xx矛盾。421xx221xx11221121x3x311221333xx112(4)0xx213200xx121212340,0,,0xxxx12xx是K-T点。一、最优性条件1(1,1)Tx2(0,0)Tx221221212min(2)6..00xxstxxxx22212112212()(2)6,(),()fxxxgxxxgxxx112222(2)11(),(),()221xfxgxgxxx11112211(),(),()221fxgxgx12()0,()0gxgx例:验证点是否为K-T点?解:记在点处,都是起作用约束,则1(1,1)Tx目标函数和约束函数的梯度分别是()()()0(2)0,()iiiIxifxwgxwiIx1()ljjjvhxK-T点计算:知道的位置x一、最优性条件11112211(),(),()221fxgxgx故点是K-T点。1(1,1)Tx设1221102210121220220解之得,即12=0,=2一、最优性条件12()0,()0gxgx22212411(),(),()001fxgxgx在点处,都是起作用约束,目标函数和约束函数的梯度分别是2(0,0)Tx故点不是K-T点。设1241100010122400解之得,即12=-4,=02(0,0)Tx一、最优性条件约束优化问题求解方法简介利用最优性条件直接求解困难,需要借助数值算法求解。求解方法可以分为两类直接解法在满足不等式约束的可行设计区域内直接求出问题的约束最优解。代表性算法:可行方向法、随机方向法等。x(k+1)=x(k)+α(k)S(k)(k=0,1,2,…)由于整个过程在可行域内进行,因此,迭代计算不论何时终止,都可以获得比初始点好的设计点。若目标函数为凸函数,可行域为凸集,则可获得全
本文标题:最优化方法 第三章(约束最优性条件)
链接地址:https://www.777doc.com/doc-3960845 .html