多元函数极值问题 -.docVIP

【标题】多元函数极值问题 【作者】曾 现 春 【关键词】多元函数??极值??极值条件? Hessian矩阵??正定??负定??驻点 【指导老师】杨 玉 红 【专业】数学与应用数学 【正文】1引言多元函数极值也就是二元和二元以上的函数极值问题。在现行《数学分析》或《高等代数》教材中已经很详细地对二元函数极值作了讨论，也对相关的例题进行了讲解，而对三元、三元以上函数极值却在教材中没有详细的讨论。在许多文献中如[1—10]，许多数学研究者大量的讨论多元函数极值的定义，极值的充分条件，必要条件等问题，而在应用方面却很少。就此，本文以这些定理为基础，从一些具体例题来体现这些定理的精确性，并给出相应极值问题的一般解题步骤。2预备知识定义1（二元函数极值）：设函数?在点?的某领域?内有定义。若对于任何点?，成立不等式???????????????????????（或?）则称函数?在点?处取得极大值??(或极小值?)，点?称为?的极大（或极小）值点。极大值与极小值统称极值。极大值点与极小值点统称极值点。注意：这里极值点只限于定义域的内点。定义2（三元函数极值）：设?是函数?定义域的内点，若存在?的某邻域，使得对于该邻域内的任一点?有?（或?），称?在点?有极大（小）值，点?称为函数?的极大（小）值点。定义3（?元函数极值）：设?为?元函数，若有?对于?的某个邻域?中的任意点?，有?或?，则称?为?的极大值（极小值），?为?的极大值点（极小值点），极大值与极小值统称为极值。定义4设?元函数?在?点具有偏导数，则称向量?为函数?在点?的梯度，记作??。定义5设?元函数?在?点具有二阶连续偏导数，则称矩阵?为函数?在?点的Hessian矩阵。由二阶偏导数的连续性可知?是实对称矩阵。下面介绍本文所须的两个内容：（1） 拉格朗日乘数法找函数?在条件?下的可能极值点的方法是：先构成辅助函数?，其中?为某一常数。然后解方程组：?最后，由这方程组解出?,则?就是所要求的可能的极值点。这种方法可以推广到自变量多于两个而且条件多于一个的情形。至于如何确定所求的点是不是极值点，在实际问题中往往可根据问题本身的性质来判定。（2）矩阵正负定的判断?定理[1]：设?，???，作如下变换：??则有　　１）?正定?；２）?负定??；????????　　３）?不定?中有正有负?。特殊保号变换:把?的第?行的?倍加到第?行，且?。3?二元函数极值问题3．1二元函数极值问题的理论依据定理1[2]（极值必要条件）：若二元函数?在点?存在偏导数，且在?取得极值，则有?，????????定义：称满足定理1的点?，即满足?的点为函数?的驻点。?定理2[2]（极值充分条件）：设二元函数?在点?的某领域内具有二阶连续偏导数，且?是?的驻点，则当?是正定矩阵时，?在?取得极小值，当?是负定矩阵时，?在?取得极大值；当?是不定矩阵时，?在?不取极值。定理2又可以写成如下比较实用的形式：定理2ˊ：若函数?如定理2所设，??是的驻点（当?的二阶偏导数连续时，有(?）则有：（ⅰ）当??时，?在点?取得极小值；（ⅱ）当??时，?在点?取得极大值；（ⅲ）当?时，?在点?不能取得极值；（ⅳ）当?时，不能肯定?在点?是否取得极值。3．2二元函数极值的求解由极值存在的必要条件和充分条件可知，在定义域内求二元函数?的极值可按下述步骤进行：（1）求出驻点，即满足?的点?；（2）求出?在?点的Hessian矩阵?，判断?正定或负定。若?正定，则?在?点取得极小值，若?负定，则?在?点取得极大值（这个方法我们很少用，一般用定理2改写的形式定理2ˊ）。下面我们通过实例来表明二元函数极值的求解问题：例1?讨论?，???，???在原点?的极值情况。解?：由定义直接知道，坐标原点?是?的极小值点，是?的极大值点，但不是?的极值点。这是因为：对任何点?恒有?；对任何?，?恒有?；而对于函数?，在原点的任意邻域内，既含有使?的Ⅰ，Ⅲ象限中的点，又含有使?的Ⅱ，Ⅳ象限中的点，所以?既不是极大值又不是极小值。例1是用定义来判别极值的情况，但实际很多问题是很难用定义来判别二元函数极值，我们通常要利用定理1，定理2，定理2ˊ给出的二元函数取得极值的充分条以及必要条件来求解。例2??求函数??的极值。解?：?（１）先求驻点，即是满足?的点?，也就是对这个函数分别对x，y求导数，则得到方程组???????，解得?，?，?，???。所以求得驻点为(1，0)、(1，2)、(-3，0)、(-3，2)。（２）再应用定理2ˊ判断函数?在驻点?的极值。因为　?，① 在点（1，0）处，??，从而?，又?，所以函数?在(1，0)