多元函数取得极值的条件精.ppt

《多元函数取得极值的条件精.ppt》由会员分享，可在线阅读，更多相关《多元函数取得极值的条件精.ppt（21页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

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)的子集的子集第12页，

3、本讲稿共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*处的所有线性化零约束处的所有线性化零约束方向的集合记为方向的集合记为G(x*,)序列零约束方

4、向集序列零约束方向集设设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页