(多元函数极值.docVIP

利用梯度求多元函数的极值 由极值存在的必要条件和充分条件可知，在定义域内求元函数的极值需要判定Hessen矩阵的正定性.对于多元函数来说，判定一个阶矩阵的正定性有时比较复杂，下面给出利用梯度和内积的方法来判断多元函数的极值的方法. 由前面所介绍的一元函数所给出的定理知： 引理1 设在点连续，在内可导. ⑴ 当时，，当，，则在点取得极小值. ⑵ 若时，，当，则在点取得极大值. 引理2 设在点连续，在内可微， 若，有，则在点取得极大值；若，有，则在点取得极小值. 证： 当，，所以； 当，，所以； 由引理1，在点取得极大值；同理可证， 当，，在点取得极小值. 将引理2推广到元函数时，即可得到求多元函数极值的充分条件. 定理1 设是上的一个映射，是的一个邻域，若在上连续，在内可微，则有 ⑴若，有，则在点达到严格极大值； ⑵若，有，则在点达到严格极小值， 其中，“”表示中一般的内积. 证：由题意可知 ， ， ， ， 对， 取，使，因此，分量在处取极大值，依次可得 分量在处取极大值，…，分量在处取极大值. 因此，在点取极大值. 同理可证，则在点达到严格极小值. 推论1 当时，其中连续，在内可微时， 若，则在点取得极大值； 若，则在点取得极小值. 推论2 当时， 当时，在取得极大值； 当时，在取得极小值. 例1 讨论的极值点. 解： ， 驻点为. 因为，所以在取极小值. 例2 求空间中任一点与个点的最短距离. 解： , , , 取 , , , . 当时，能取到最小值. 例3 求的极值. 解： 这里无临界点，即满足的点不存在，因此不能应用多元函数的极值充分条件 ， ， 使得不存在的点为. ，即为的严格极大值点. 例4 求的极值. 解： ， ， 其稳定点为， 由于Hessen矩阵f无法利用极值的充分条件来求解.但由于 ， 即说明在处取极小值，极小值为. 例5 求函数在极值点的极值. 解： ， ， ， 驻点为, 在点取极小值，极小值为. 上面所讨论的极值问题，对于函数的自变量，除了限制在函数的定义域内以外，并无其他条件，所以有时候称为无条件极值.但在实际问题中，有时会遇到对函数的自变量还有附加条件的极值问题.像这种对自变量有附加条件的极值称为条件极值.在有些情况下，可以将条件极值转化成无条件极值来处理，但一般的讲这样做很不方便，下面介绍一种用梯度概念判定条件极值的方法. 条件极值的判定 定理2 设函数、及在点的某一邻域内均有一阶连续的偏导数，且，则函数在条件及下取得极值的必要条件为 , ， . 其中、为常数. 二元函数的条件极值 上一段介绍的这种求条件极值的方法当然适用于二元函数的条件极值问题. 例如 求在条件下的极值，只要列出方程组 , , 再求出相应的、、，其中的为想求的可能的极值点. 例6 将长为的一段铁丝截成两段，用一段围成正方形，另一段围成圆，为使正方形与圆的面积之和最小，问两段铁丝的长应各为多少？ 解： 将铁丝截成两段，其中一段长为，并将它围成正方形；另一段长为，并将它围成圆，则正方形的边长为，圆的半径为，从而两者面积之和为 ， . 且与满足的约束条件为：.应用定理得： ， ， 求得这个方程组的解为 ， ， . 因驻点唯一，且实际问题存在最小值，故计算结果说明，将铁丝截成两段，一段长为，一段长为，并将前者围成正方形，后者围成圆时，正方形与圆的面积之和最小. 三元函数的条件极值 显然本节第一段介绍的求条件极值的这种方法对于三元函数和多于三个变量的函数的条件极值问题同样适用. 例7 抛物面被平面截成一个椭圆.求这个椭圆到坐标原点的最长与最短距离. 解： 这个问题的实质就是要求函数