机械优化设计-第二章优化设计的数学基础PPT课件

1、 机械优化设计 机械优化设计 机械优化设计 n n元函数在点元函数在点x x0 0处沿处沿d d方向的方向导数方向的方向导数 i n i x i n xxx x x f x f x f x f d f n cos coscoscos 1 1 2 2 1 1 0 00 0 机械优化设计 2 2、二元函数的梯度、二元函数的梯度 0 000 1 12 21212 cos cos+ cos, cos x xxx fffff dxxxx 0 0 1 0 12 2 (), T x x f x ff f x fxx x 令 梯度梯度 0 00 ()() cos(, ) T x f f xdf xf d d

2、2 1 cos cos d 机械优化设计 当梯度方向和当梯度方向和d d方向重合时，方向导数值方向重合时，方向导数值 最大，即梯度方向是函数值变化最快方向，最大，即梯度方向是函数值变化最快方向， 而梯度的模就是函数值变化率的最大值。而梯度的模就是函数值变化率的最大值。 0 00 ()() cos(, ) T x f f xdf xf d d 2 2 2 1 0) ( x f x f xf梯度的模：梯度的模： 机械优化设计 多元函数的梯度多元函数的梯度 T x n x n x f x f x f x f x f x f xf 0 0 21 2 1 0) ( ),cos()()(cos 00 1

3、0 0 dfxfdxf x f d f T i n i x ix 机械优化设计 2/1 2 1 0 )()( 0 x n i i x f xf 多元函数的梯度的模：多元函数的梯度的模： 函数的梯度方向函数的梯度方向与函数的等值面相垂直与函数的等值面相垂直，也，也 就是和等值面上过就是和等值面上过x0 x0的一切曲线相垂直。的一切曲线相垂直。 由于梯度的模因点而异，即函数在不同点处由于梯度的模因点而异，即函数在不同点处 的最大变化率是不同的。因此，梯度是函数的一的最大变化率是不同的。因此，梯度是函数的一 种种局部性质局部性质。 机械优化设计 梯度的两个重要性质：梯度的两个重要性质： 函数在某点的

4、函数在某点的梯度不为零，则必与过该点的等值面垂直梯度不为零，则必与过该点的等值面垂直 （即为过点的等值线的法线方向）；（即为过点的等值线的法线方向）； 梯度方向具有最大变化率方向梯度方向具有最大变化率方向 正梯度方向是函数值最速上升的方向，正梯度方向是函数值最速上升的方向， 负梯度方向是函数值最速下降的方向负梯度方向是函数值最速下降的方向。 机械优化设计 2 1 2 1 2 42 )( x x x f x f xf 4 2 2 42 )( 2 1 1 x x xf 例例1 1：求二次函数求二次函数44, 1 2 2 2 121 xxxxxf T 2 , 3在点在点 处的梯度。处的梯度。 解：解

5、： 在点在点 T 2 , 3 处的梯度为：处的梯度为： 机械优化设计 例例2 2：试试求二次函数求二次函数 2 221 2 121 43,xxxxxxf T x1 , 0 0 在点在点 处的最速下降方向，并求沿这个方向移动一个单位长处的最速下降方向，并求沿这个方向移动一个单位长 度后新点的目标函数值。度后新点的目标函数值。 解：解： 21 1 46xx x f 21 2 24xx x f 2 4 24 46 )( 1 0 21 21 1 0 2 1 0 2 1 2 1 x x x x xx xx x f x f xfP T x 1 , 0 0 则函数在则函数在 处的最速下降方向为处的最速下降方

6、向为 机械优化设计 该方向上的单位向量为该方向上的单位向量为 5 5 1 5 5 2 )2(4 2 4 )( )( 22 0 0 xf xf e 5 5 1 1 5 5 2 5 5 1 5 5 2 1 0 01 exx 1 x新点新点 52 5 26 43)( 1 2 221 2 1 1 x xxxxxf 该点函数值该点函数值 机械优化设计 常用梯度公式：常用梯度公式： QXXfQXXXfQ XXfXXXf bXfXbXf XfCXf T T T 2)()()4( 2)()() 3( )()()2( 0)()()() 1 ( 为对称矩阵， 常数 注意：梯度为向量注意：梯度为向量 二次型二次型

7、机械优化设计 二、多元函数的泰勒展开二、多元函数的泰勒展开 f x 0 xx在在 点处的泰勒展开为：点处的泰勒展开为： 2 000 1 2 f xf xfxxfxx 其中其中 2 2 00 ,xxxxxx 1、一元函数一元函数 机械优化设计 2 2、二元函数、二元函数 11102220 ,xxxxxx 其中：其中： .2 ! 2 1 ),(, 2 2 2 2 2 21 21 2 2 1 2 1 2 2 2 1 1 201021 000 00 x x f xx xx f x x f x x f x x f xxfxxf xxx xx 二元函数二元函数 在在 点处的泰勒展开式为：点处的泰勒展开式为

8、： )(xf),( 20100 xxx 机械优化设计 上式写成矩阵形式：上式写成矩阵形式： 2 1 2 2 2 21 2 21 2 2 1 2 21 2 1 21 0 0 0 2 1 )()( x x x f xx f xx f x f xx x x x f x f xfxf x x 机械优化设计 0 2 2 2 12 2 21 2 2 1 2 0) ( x x f xx f xx f x f xG 令令 xxGxxxfxfxf T T 000 2 1 2 1 x x x 0 xG 21,x xf 上式可写成上式可写成 称为函数称为函数 在在 点处的点处的 海赛（海赛（Hessian）矩阵）矩

9、阵 ),( 20100 xxx 参见教材例题参见教材例题P30 机械优化设计 海赛矩阵海赛矩阵是由函数是由函数 在点在点 处的二阶偏处的二阶偏 导数组成的方阵。由于函数的二次连续性，有：导数组成的方阵。由于函数的二次连续性，有： ),( 21 xxf 0 x 21 2 12 2 xx f xx f )( 0 xG 2 2 2 12 2 21 2 2 1 2 0 )( x f xx f xx f x f xG 所以所以 矩阵为矩阵为对阵方阵。对阵方阵。 机械优化设计 海赛矩阵海赛矩阵 2 2 2 2 1 2 2 2 2 2 2 12 2 1 2 21 2 2 1 2 0) ( nnn n n x

10、 f xx f xx f xx f x f xx f xx f xx f x f xG 3 3、多元函数、多元函数 xxGxxxfxfxf T T 000 2 1 其中：梯度其中：梯度 T x n x f x f x f xf 0 21 0) ( 泰勒展开式泰勒展开式 机械优化设计 若将函数的泰勒展开式只取到线性项，即取若将函数的泰勒展开式只取到线性项，即取 )( 000 xxxfxfxz T xz 0 x则则 是过点是过点 和函数和函数 所代表的超曲面相所代表的超曲面相 切的切平面。切的切平面。 xf 若将函数的泰勒展开式取到二次项时，则得到二若将函数的泰勒展开式取到二次项时，则得到二 次函

11、数形式，在线性代数中将二次齐次函数称为次函数形式，在线性代数中将二次齐次函数称为 二次型。二次型。 矩阵形式矩阵形式 Gxxxf T G-对称矩阵对称矩阵 机械优化设计 当对任何非零向量当对任何非零向量x x使使 0Gxxxf T 则二次型函数正定，则二次型函数正定，G G为正定矩阵。为正定矩阵。 机械优化设计 海赛矩阵的特征：是实对称矩阵。海赛矩阵的特征：是实对称矩阵。 0)det(G 0)det(G 0)det(G 4 4、海赛矩阵与正定、海赛矩阵与正定 矩阵矩阵正定正定的充要条件：矩阵的充要条件：矩阵G的各阶顺序主子式为正，即的各阶顺序主子式为正，即 矩阵矩阵负定负定的充要条件：矩阵的充

12、要条件：矩阵G G的的 奇数阶主子式奇数阶主子式 主子式主子式 偶数阶主子式偶数阶主子式 海赛矩阵的正定性：海赛矩阵的正定性： )( xG正定正定- 为全局极小值点的充分条件为全局极小值点的充分条件 x )( xG负定负定- 为全局极大值点的充分条件为全局极大值点的充分条件 x 机械优化设计 例例3 3 判定矩阵判定矩阵 是否正定？是否正定？ 010 401 023 136 03 23 36 066 解：解：该对称矩阵的三个主子式依次为：该对称矩阵的三个主子式依次为： 401 023 136 G 故可知矩阵故可知矩阵G是正定的。是正定的。 机械优化设计 定理：定理：若二次函数若二次函数 中中Q

13、 Q正定，正定， 则它的等值面是同心椭球面族，且中心为则它的等值面是同心椭球面族，且中心为 cbXQXXXf T 2 1 )( bQX 1 证明：证明：作变换作变换 ，代入二次函数式中：，代入二次函数式中： bQYX 1 cbQYbbQYQbQY T )()()( 2 1 111 )()( 1b QYfY cbQbQYY TT 1 2 1 2 1 QYY T 2 1 0 Y bQX 1 结论：结论：Q为正定矩阵的二次型为正定矩阵的二次型 的等值面是以的等值面是以 的同心椭球面族。原二次函数就是以的同心椭球面族。原二次函数就是以 为中心的同心为中心的同心 椭球面族，椭圆中心为极小值点。椭球面族，

14、椭圆中心为极小值点。 机械优化设计 例例4 把二次函数把二次函数 化为矩阵向量形式并检验化为矩阵向量形式并检验Q是否正定，如正定，试用公式是否正定，如正定，试用公式 求这个函数的极小点。求这个函数的极小点。bQX 1 213121 2 3 2 2 2 1321 54323),(xxxxxxxxxxxxf 3 2 1 321 3 2 1 333231 232221 131211 321 2 1 x x x bbb x x x ggg ggg ggg xxx XbQXXxxxf TT 2 1 ),( 321 T bQX7 . 07 . 68 . 2 1 0 5 4 b 401 023 136 Q

15、解：解： 与题中函数比较各系数得：与题中函数比较各系数得： 由计算知由计算知Q Q正定，极小点正定，极小点 机械优化设计 三、无约束优化问题的极值条件三、无约束优化问题的极值条件 1 1、一元函数、一元函数 f x 0 xx对于可微的一元函数对于可微的一元函数 判断在判断在 处是否取得极处是否取得极 值的过程：值的过程： 0 0fx 0 0fx 则则 为极小点。为极小点。 0 x 0 0fx 0 x 0 0fx 逐次检验其更高阶导数逐次检验其更高阶导数 的符号，开始不为零的的符号，开始不为零的 导数阶数若为偶次，则导数阶数若为偶次，则 为极值点，若为奇次，为极值点，若为奇次， 则为拐点。则为拐

16、点。 则则 为极大点。为极大点。 机械优化设计 2 2、二元函数、二元函数 01020 ,xxx定理定理1：若二元可微函数若二元可微函数 在在 处处 取得极值的取得极值的必要条件必要条件是：是： ),( 21 xxf 0 00 21 xx x f x f 即即0)( 0 xf 凡满足上式的点称为函数的凡满足上式的点称为函数的驻点驻点 （零向量）（零向量） 机械优化设计 如下图所示的二元函数，在如下图所示的二元函数，在M0点虽有点虽有 和和 是个驻点，但它不是极值点。是个驻点，但它不是极值点。 0 x f 0 y f 机械优化设计 01020 ,xxx 定理定理2：若二元可微函数若二元可微函数

17、在在 的的 某个邻域取得极小值的某个邻域取得极小值的充分条件充分条件是要求在该点附是要求在该点附 近的一切点均满足：近的一切点均满足： ),( 21 xxf 0),(),( 201021 xxfxxf 若函数存在连续的一阶及二阶偏导数，当满足若函数存在连续的一阶及二阶偏导数，当满足 0),(, 0),( 2010 2010 21 xxfxxf xx 则泰勒展开式的函数增量近似式（略三阶以上则泰勒展开式的函数增量近似式（略三阶以上 高阶微量）为：高阶微量）为： 机械优化设计 0),(),(2),( 2 1 ),(),(2),( 2 1 ),(),( ),(),( 2 22010 212010 2

18、 12010 2 22010 212010 2 12010 22010 12010 201021 2 2 21 2 1 2 2 21 2 1 21 xxxfxxxxfxxxf xxxfxxxxfxxxf xxxfxxxf xxfxxf x xx x x xx x xx ),(),(),( 2010 2010 2010 2 2 21 2 1 xxfCxxfBxxfA x xx x 令令 则则02 2 1 2 221 2 1 xCxxBxA 0, 0 CB BA A 可见，函数增量的性态与可见，函数增量的性态与A,B,C的值有关。可以证明，当满的值有关。可以证明，当满 足以下条件时，足以下条件时，

19、 为极小值（证明略）。为极小值（证明略）。),( 2010 xxf 此条件反映了函数在该点的海赛矩阵的各阶主子式均大于零（即正定）。此条件反映了函数在该点的海赛矩阵的各阶主子式均大于零（即正定）。 机械优化设计 结论：结论： 二元函数在某点取得二元函数在某点取得极小值极小值的的充分条件充分条件是要是要 求求该点处的海赛矩阵为正定该点处的海赛矩阵为正定。 0 ()0f x 0 2 2 1 0 x f x 22 2 112 22 2 212 0 ff xx x G x ff x xx 且且 01020 ,xxx 对于二元函数对于二元函数 在在 处取得极处取得极 值的值的充分必要条件充分必要条件是：

20、是： ),( 21 xxf 参见教材例题参见教材例题P32P32 机械优化设计 3、多元函数、多元函数 对于多元函数对于多元函数 若在若在 处取得处取得极值极值，则，则),( 21n xxxf x 必要条件：必要条件： 充分条件：充分条件： x nnn n n x f xx f xx f xx f x f xx f xx f xx f x f xG 2 2 2 2 1 2 2 2 2 2 2 12 2 1 2 21 2 2 1 2 )( 0)( 21 T x n x f x f x f xf 正定正定 或负定或负定 机械优化设计 四、凸集、凸函数与凸规划四、凸集、凸函数与凸规划 当极值点当极值

21、点x x* *能使能使f(xf(x* *) )在整个可行域中为最小值时，即在整个可行域中为最小值时，即 在整个可行域中对任一在整个可行域中对任一x x都有都有f(x)=f(xf(x)=f(x* *),),则则x x* *为为全域最优全域最优 点（全域极小点）。点（全域极小点）。若若f(xf(x* *) )为局部可行域中的极小值而非为局部可行域中的极小值而非 整个可行域的最小值时，则称整个可行域的最小值时，则称x x* *为为局部最优点或相对最优局部最优点或相对最优 点点。优化的目标是全域最优点。为了判断某个极值点是否。优化的目标是全域最优点。为了判断某个极值点是否 为全域最优点，研究函数的凸性

22、是必要的。为全域最优点，研究函数的凸性是必要的。 函数的凸性表现为函数的凸性表现为单峰性单峰性。对于具有凸性特点的函数。对于具有凸性特点的函数 来说，其极值点只有一个，因而该点既是局部最优亦是全来说，其极值点只有一个，因而该点既是局部最优亦是全 域最优点。域最优点。 为了研究函数的凸性，下面引入为了研究函数的凸性，下面引入凸集凸集的概念：的概念： 机械优化设计 1 1、凸集、凸集 12 ,xR xR 01 如果对一切如果对一切 及一切满足及一切满足 12 (1)xxyR的实数的实数 ，点点 则称集合则称集合 R为为凸集凸集，否则称为非凸集。，否则称为非凸集。 y y x x2 2 x x1 1

23、 l l l l xx yx 12 2 若若y y是是x x1 1和和x x2 2连线上的点，则有连线上的点，则有 整理后即得整理后即得 21 )1 (xxy 机械优化设计 凸集的凸集的性质：性质： 若若D为凸集，为凸集， 为一个实数，则集合为一个实数，则集合 仍是凸集；仍是凸集； 若若D和和F均为凸集，则其和（或并）仍是凸集；均为凸集，则其和（或并）仍是凸集； 任何一组凸集的积（或交）仍是凸集。任何一组凸集的积（或交）仍是凸集。 D 机械优化设计 2 2、凸函数、凸函数 具有凸性（表现为单峰性）或只有唯一的局部具有凸性（表现为单峰性）或只有唯一的局部 最优值亦即全域最优值的函数，称为凸函数或

24、单最优值亦即全域最优值的函数，称为凸函数或单 峰函数。其数学定义是：峰函数。其数学定义是： 设设f(x)f(x)为定义在为定义在n n维欧式空间中的一个凸集维欧式空间中的一个凸集D D上上 的函数，如果对于任何实数的函数，如果对于任何实数 以及对以及对D D 中任意两点中任意两点x x1 1，x x2 2恒有：恒有： 1212 (1)(1)fxxf xf x f x 则则 为为D D上的凸函数，若不满足上式，则为上的凸函数，若不满足上式，则为 凹函数。凹函数。如式中的等号去掉，则称其为严格凸如式中的等号去掉，则称其为严格凸 函数。函数。 ) 10( 机械优化设计 1212 (1)(1)fxxf

25、 xf x 凸函数的凸函数的几何意义几何意义：在函数曲线上取任意两点连：在函数曲线上取任意两点连 成一直线段，则该线段上任一点的纵坐标值必大成一直线段，则该线段上任一点的纵坐标值必大 于或等于该点处的原函数值。于或等于该点处的原函数值。 l l xfxf yxf )()( )( 12 1 )()1 ()( 21 xfxfy y )(xf x 2 xx 1 x o f 1 f 2 f lxxlxx 212 , 机械优化设计 凸函数的性质凸函数的性质 1）若）若f(x)为定义在凸集为定义在凸集D上的一个凸函数，对于任上的一个凸函数，对于任 意实数意实数a0，则，则af(x)也是凸集也是凸集D上的凸

26、函数；上的凸函数； 2）定义在凸集）定义在凸集D上的两个凸函数上的两个凸函数f1(x),f2(x)，其和，其和 f1(x)+f2(x)亦为该凸集上的一个凸函数；亦为该凸集上的一个凸函数； 3）若）若f1(x),f2(x)为定义在凸集为定义在凸集D上的两个凸函数，上的两个凸函数， 为两个任意正数，则为两个任意正数，则 仍为仍为D上上 的凸函数。的凸函数。 , )()( 21 xfxf 机械优化设计 3 3、凸性条件、凸性条件 （1）根据一阶导数（函数的梯度）来判断函数的凸性）根据一阶导数（函数的梯度）来判断函数的凸性 设设f(x)f(x)为定义在凸集为定义在凸集R R上，且具有连续的一阶导数上，

27、且具有连续的一阶导数 的函数，则的函数，则f(x)f(x)在在R R上为凸函数的上为凸函数的充要条件充要条件是对凸是对凸 集集R R内任意不同两点内任意不同两点 、 ，下面不等式，下面不等式恒成立。恒成立。 1 x 2 x 21211 T f xf xxxf x 机械优化设计 （2 2）根据二阶导数（海赛矩阵）根据二阶导数（海赛矩阵) )来判断函数的凸性来判断函数的凸性 设设f(x)f(x)为定义在凸集为定义在凸集R R上且具有连续二阶导数的函数，则上且具有连续二阶导数的函数，则 f(x)f(x)在在R R上为凸函数的上为凸函数的充要条件充要条件为：为： 海赛矩阵在海赛矩阵在R R上处处半正定

28、。对于严格的凸函数，其充上处处半正定。对于严格的凸函数，其充 要条件为海赛矩阵为正定。要条件为海赛矩阵为正定。 当海赛矩阵当海赛矩阵G G的主子式的主子式: : det(G) det(G)0 0时，矩阵正定时，矩阵正定 det(G)0 det(G)0 时，矩阵半正定时，矩阵半正定 det(G)det(G)0 0时，矩阵负定时，矩阵负定 det(G)0det(G)0时，矩阵半负定时，矩阵半负定 G(xG(x* *) )正定，正定， 是是 x x* * 为全局极小值点的充分条件为全局极小值点的充分条件； G(xG(x* *) )半正定半正定, , 是是 x x* * 为局部极小值点的充分条件；为局

29、部极小值点的充分条件； G(xG(x* *) )负定，负定， 是是 x x* * 为全局极大值点的充分条件；为全局极大值点的充分条件； G(xG(x* *) )半负定半负定, , 是是 x x* * 为局部极大值点的充分条件为局部极大值点的充分条件。 说明：说明： 机械优化设计 4 4、凸规划、凸规划 对于约束优化问题对于约束优化问题 min fX . .st 0 j gX (1,2,3,)jm fX j gX(1,2,3,)jm若若 、 都为凸函数，则称此问题为凸规划。都为凸函数，则称此问题为凸规划。 机械优化设计 凸规划的性质：凸规划的性质： 2 2）可行域）可行域 为凸集。为凸集。 1,

30、2,.,0 j jmgx Rx 3 3）凸规划的任何局部最优解就是全局最优解。）凸规划的任何局部最优解就是全局最优解。 1 1）若给定一点）若给定一点 ，则集合，则集合 为凸集。为凸集。 0 f xf x Rx 0 x 机械优化设计 五、等式约束优化问题的极值条件五、等式约束优化问题的极值条件 min f x . .st 0 k hx 等式约束优化问题：等式约束优化问题： 求解等式约束化问题的理论基础是导出极值求解等式约束化问题的理论基础是导出极值 存在的条件。存在的条件。 ), 2 , 1(mk 机械优化设计 1 1、消元法（降维法）、消元法（降维法） 2 2、拉格朗日乘子法（升维法）、拉格

31、朗日乘子法（升维法） 思想思想: : 通过增加变量将等式约束化问题变成无约通过增加变量将等式约束化问题变成无约 束化问题。束化问题。 1,2,) k kl（ 1 , l kk k F XfxhX 引入引入拉格朗日乘子拉格朗日乘子 ，并构成一个，并构成一个 新的目标函数新的目标函数 拉格朗日函数拉格朗日函数 拉格朗日乘子拉格朗日乘子 新目标函数的极值的新目标函数的极值的必要条件：必要条件： 0 i F x 0 k F 参见教材例题参见教材例题 机械优化设计 六、不等式约束优化问题的极值条件六、不等式约束优化问题的极值条件 库恩库恩塔克条件（塔克条件（K-TK-T条件）条件） 不等式约束的多元函数

32、极值的必要条件是著名不等式约束的多元函数极值的必要条件是著名 的的库恩库恩塔克（塔克（Kuhn-TuckerKuhn-Tucker）条件）条件, ,它是非线性它是非线性 优化问题的重要理论。优化问题的重要理论。 为了便于理解库恩为了便于理解库恩塔克条件，首先分析一塔克条件，首先分析一 元函数在给定区间的极值条件。元函数在给定区间的极值条件。 机械优化设计 min f x . .st 1 0gxax 2 0gxxb 1 1、一元函数在给定区间上的极值条件、一元函数在给定区间上的极值条件 一元函数一元函数f(x)f(x)在区间在区间a,ba,b的极值问题，可表示为：的极值问题，可表示为： 求解思想

33、求解思想: :引入松弛变量使不等式约束变成等式约束，再引入松弛变量使不等式约束变成等式约束，再 利用拉格朗日乘子法求解等式约束的极值问题。利用拉格朗日乘子法求解等式约束的极值问题。 机械优化设计 22 11111 ,0h x agxaaxa 22 21211 ,0hx bgxbxbb 这样可以转化为拉格朗日函数：这样可以转化为拉格朗日函数： 11121 11221 22 1121 , () F x a bf xh x ahx b f xaxaxbb 12 , 是对应于不等式约束的拉格朗日乘子，是对应于不等式约束的拉格朗日乘子， 其值均为非负的。其值均为非负的。 设设 为松弛变量，则上两个不等式

34、可写为松弛变量，则上两个不等式可写 为如下两个等式：为如下两个等式： 11,b a 机械优化设计 12 12 0 dgdgdf dxdxdx 11 0gx 22 0gx 1 0 2 0 f x,a b对于一元函数对于一元函数 在给定区间在给定区间 上的极值条件，可完整的表示为：上的极值条件，可完整的表示为： 结论：结论： 机械优化设计 从以上分析可以看出，对应于不起作用的约束的从以上分析可以看出，对应于不起作用的约束的 拉格朗日乘子拉格朗日乘子取零值取零值，因此可以引入起作用约束，因此可以引入起作用约束 的下标集合。的下标集合。 0,1,2 j gxj J xj 一元函数在给定区间的极值条件，

35、可以改写为：一元函数在给定区间的极值条件，可以改写为： 极值条件中只考虑起作用的约束和相应的乘子。极值条件中只考虑起作用的约束和相应的乘子。 0 0 0 j j j J j j dg df dxdx gxjJ jJ 机械优化设计 2 2、库恩、库恩塔克条件塔克条件 1 0(1,2, ) m j j j ii f xgx in xx 0(1,2,) jj gxjm 0(1,2,) j jm 库恩库恩塔克条件（塔克条件（K-T条件）可表述为：条件）可表述为： 对于多元函数不等式的约束优化问题：对于多元函数不等式的约束优化问题： min f x . .st), 2 , 1(0)(mjxg j 机械优

36、化设计 库恩库恩塔克条件表明：塔克条件表明： 如点如点 是函数是函数 的极值点，要么的极值点，要么 （此时（此时 ）或者目标函数的负梯度等于起作）或者目标函数的负梯度等于起作 用约束梯度的非负线性组合用约束梯度的非负线性组合 （此时（此时 ）。）。 )(xf0)( xf x 0 j u 0 j u 1 0(1,2, ) m j j j ii f xgx in xx 0(1,2,) jj gxjm 0(1,2,) j jm 机械优化设计 机械优化设计 库恩库恩塔克条件的塔克条件的几何意义几何意义：在约束极小值点：在约束极小值点 处，函处，函 数数 的负梯度一定能表示成起作用约束在该点梯度的负梯度一定能表示成起作用约束在该点梯度