《多元函数取得极值的条件精选PPT.ppt》由会员分享，可在线阅读，更多相关《多元函数取得极值的条件精选PPT.ppt（21页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、多元函数取得极值的条件第1页，此课件共21页哦第2页，此课件共21页哦必要条件必要条件若若函函数数f(x,y)在在点点P(x0,y0)存存在在两两个个偏偏导导数数，且且 P(x0,y0)是是函函数数f(x,y)的极值点，则的极值点，则驻点充分条件充分条件若函数若函数z=f(x,y)在点在点P(x0,y0)的某邻域内连续且存在一的某邻域内连续且存在一阶及二阶偏导数，又阶及二阶偏导数，又令令则则时具有极值，且当时具有极值，且当A0时有极小值。时有极小值。0），），x是否是局部最优解与这些非起作用约束无是否是局部最优解与这些非起作用约束无关。关。序列序列可行可行方向：方向：第9页，此课件共21页哦序
2、列可行方向的性质序列可行方向的性质设设ci(x)在在x处可微，则处可微，则证明证明性性质质1同样可证性质同样可证性质2设设fi(x)在在x*处可微，且取得局部极小值，则处可微，且取得局部极小值，则第10页，此课件共21页哦必要条件必要条件说明说明Lagrane函数函数KT条件等条件等价于价于i称为Lagrange乘子Lagrange乘子法乘子法x*称为KT点一阶条件一阶条件第11页，此课件共21页哦证明证明首先证明集合非空首先证明集合非空由于该方程组的系数矩阵的行向量组线性无关，所以该方程组有解由于该方程组的系数矩阵的行向量组线性无关，所以该方程组有解考察方程组考察方程组是是SFD(x*,X)
3、的子集的子集第12页，此课件共21页哦而而SFD(x*,X)是闭集，所以是闭集，所以S*的闭包的闭包cl(S*)SFD(x*,X)，即，即下面证下面证明明第13页，此课件共21页哦下面证明下面证明dcl(S*)于是于是所以所以定理得证定理得证第14页，此课件共21页哦一阶充分条件一阶充分条件证明证明第15页，此课件共21页哦二阶条件二阶条件线性化零约束方向集线性化零约束方向集设设x*是是KT点，点，是相应的是相应的Lagrange乘子，乘子，dRn。如果。如果则称则称d是在是在x*处的线性化零约束方向。在处的线性化零约束方向。在x*处的所有线性化零约束方向的集合处的所有线性化零约束方向的集合记
4、为记为G(x*,)序列零约束方向集序列零约束方向集设设x*是是KT点，点，是相应的是相应的Lagrange乘子。如果存在序列乘子。如果存在序列dkRn和和k0(k=1,2,)使得使得则称则称d是在是在x*处的序列零约束方向。在处的序列零约束方向。在x*处的所有序列零约束方向的集处的所有序列零约束方向的集合记为合记为S(x*,)。可证可证S(x*,)G(x*,)第16页，此课件共21页哦二阶必要条件二阶必要条件设设x*是问题（是问题（1）的局部极小点，）的局部极小点，是相应的是相应的Lagrange乘子。则必有乘子。则必有证明证明则存在序列则存在序列dkRn和和k0(k=1,2,)使得使得因此因此由于由于x*是问题（是问题（1）的局部极小点，对充分大的）的局部极小点，对充分大的k有有第17页，此课件共21页哦充分条件充分条件设设x*是是KT点，点，是相应的是相应的Lagrange乘子。如果乘子。如果则则x*是问题（是问题（1）的局部严格极小点。）的局部严格极小点。证明证明第18页，此课件共21页哦定理成立定理成立推论推论设设x*是是KT点，点，是相应的是相应的Lagrange乘子。如果乘子。如果第19页，此课件共21页哦解解 作辅助函数作辅助函数 得唯一解得唯一解 KT点点x*=(0,0,1)和和Lagrange乘子乘子=2第20页，此课件共21页哦注注第21页，此课件共21页哦