1多元函数条件极值的解法与应用数学与计算机科学系信息与计算科学专业118632007049罗永滨指导教师:陈丽华【摘要】多元函数条件极值是多元函数微分学的重要组成部分,本文研究的是代入法、拉格朗日乘数法、标准量代换法、不等式法、二次方程判别式符号法、梯度法、数形结合法等方法在解多元函数条件极值问题上的运用,以及探讨多元函数条件极值在证明不等式、物理学、生产销售等问题上的应用.【关键词】极值;条件极值;拉格朗日乘数法;梯度法;应用1.引言多元函数条件极值是多元函数微分学的重要组成部分,它不仅在理论上有重要的应用,而且在其它学科及有关实际问题中有着广泛的应用,于是如何判定与求解多元函数条件极值就成为许多学者研究的问题,虽然以前也有不少学者研究过,但多数还只是理论上的研究,实际利用方面的研究较少.如文[1]讨论了方向导数法在求解多元函数条件极值上应用,文[2]讨论了柯西不等式在求解一些特殊的多元函数条件极值问题时的应用.本文首先对多元函数条件极值的解题方法进行了归纳与总结,通过具体实例对各种解法进行分析类比,从中可以看到不同的条件极值问题可以有不同的解题方法,其中最常用的是拉格朗日乘数法,但对有些问题若能用一些特殊解法可以更简单.面对不同的极值问题如何采用最佳的解决方法是快速解题的关键.文章最后讨论了如何通过条件极值解决不等式证明、物理学、生产销售等实际应用问题.2.简单介绍多元函数极值与条件极值的有关概念2.1函数的极值定义2.1.1[3]设n(2)n元函数12(,,)nzfxxx在点00012(,,,)nxxx的某个邻域内有定义,如果对该邻域内任一异于00012(,,,)nxxx的点12(,,)nxxx都有0001212(,,)(,,,)nnfxxxfxxx(或0001212(,,)(,,,)nnfxxxfxxx),则称函数在点00012(,,,)nxxx有极大值(或极小值)00012(,,,)nfxxx.极大值、极小值统称为极值,使函数取得极值的点称为极值点.2.2函数的条件极值定义2.2.1[3]函数12(,,,)nzfxxx在m个约束条件12(,,,)0inxxx(1,2,,;)immn下的极值称为条件极值.3.多元函数普通极值存在的条件定理3.1(必要条件)若n(2)n元函数12(,,,)nzfxxx在点00012(,,,)nxxx存在偏导数,且在该点取得极值,则有00012(,,,)0ixnfxxx(1,2,,)in备注:使偏导数都为0的点称为驻点,但驻点不一定是极值点.定理3.2[3](充分条件)设n(2)n元函数12(,,,)nfxxx在00012(,,,)nxxx附近具有二阶连续偏导数,且00012(,,,)nxxx为12(,,,)nzfxxx的驻点.那么当二次型200012,1()(,,,)ijnxxnijijgfxxx正定时,00012(,,,)nfxxx为极小值;当()g负定时,00012(,,,)nfxxx为极大值;当()g不定时,00012(,,,)nfxxx不是极值.记00012(,,,)ijijxxnafxxx,并记11121321222312kkkkkaaaaaaAaaa,它称为f的k阶Hesse矩阵.对于二次型()g正负定的判断有如下定理:定理3.3[3]若det0kA(1,2,,)kn,则二次型()g是正定的,此时00012(,,,)nfxxx为极小值;若(1)det0kkA(1,2,,)kn,则二次型()g是负定的,此时00012(,,,)nfxxx为极大值.特殊地,当2n时,有如下推论:推论3.1若二元函数00(,)(,)zfxyxy在点的某领域内具有一阶和二阶连续偏导数,且0000(,)0,(,)0xyfxyfxy令000000(,),(,),(,)xxxyyyAfxyBfxyCfxy则①当20ACB时,0,0,AA取极大值取极小值.②当20ACB时,没有极值.③当20ACB时,不能确定,需另行讨论.4.介绍多元函数条件极值的若干解法4.1代入消元法通过一个量用其它量代替的方法达到降元效果,将条件极值化为无条件极值问题来解决一些较为简单的条件极值问题,这种方法适用于约束函数较为简单的条件极值求解,有些条件极值很难化为无条件极值来解决.例4.1.1求函数(,,)fxyzxyz在0xyz条件下的极值.解由0xyz解得,2zxy将上式代入函数(,,)fxyz,得g(x,y)=xy(2-x+y)3解方程组22'2y20220xygxyygxxyx得驻点1222PP=33(0,0),(,-)2xxyg,222xygxy,2yygx在点1P处,0,2,0ABC22=0240ACB,所以1P不是极值点从而函数(,,)fxyz在相应点(0,0,2)处无极值;在点2P处,44,2,33ABC224424()03333ACB,又403A,所以2P为极小值点因而,函数(,,)fxyz在相应点222(,,)333处有极小值极小值为2228(,,)33327f.4.2拉格朗日乘数法[3]拉格朗日乘数法是求多元函数条件极值的一种常用方法,特别是在约束条件比较多的情况下使用拉格朗日乘数法更方便适用.求目标函数12(,,)nfxxx在条件函数12(,,)0,(1,2,,,)knxxxkmmn组限制下的极值,若12(,,)nfxxx及12(,,)knxxx有连续的偏导数,且Jacobi矩阵111122221212nnmmmnxxxxxxJxxx的秩为m,则可以用拉格朗日乘数法求极值.首先,构造拉格朗日函数12112121(,,,,,,)(,,)(,,)mnmnkknkLxxxfxxxxxx4然后,解方程组0,1,2,,0,,2,ikLinxLkim从此方程组中解出驻点的坐标00012(,,)inPxxx(1,2,,)ik,所得驻点是函数极值的可疑点,需进一步判断得出函数的极值.定理4.2.1(充分条件)设点000012(,,,)nxxxx及m个常数12,,,m满足方程组100miiikkklLfxxx(1,2,,;1,2,,)knlm,则当方阵20,12(,,,)mklnnLxxx为正定(负定)矩阵时,0x为满足约束条件的条件极小(大)值点,因此0()fx为满足约束条件的条件极小(大)值.例4.2.1求椭球2222221xyzabc在第一卦限内的切平面与三坐标面所围成的四面体的最小体积.解此椭球在点000(,,)Pxyz处的切平面为000000222222()()()0xyzxxyyzzabc化简,得0002221xyzxyzabc此平面在三个坐标轴上的截距分别为:222000,,abcxyz则此切平面与三坐标面所围成的四面体的体积2220006abcVxyz由题意可知,体积存在最小值,要使V最小,则需000xyz最大;即求目标函数(,,)fxyzxyz在条件2222221xyzabc下的最大值,其中0,0,0xyz,拉格朗日函数为222222(,,,)(1)xyzLxyzxyzabc5由22222222220;20;20;1LxyzxaLyxzybLzxyzcxyzabc解得,,333abcxyz;min3(,,)2333abcVVabc说明:以上介绍的两种方法为解多元函数条件极值的常用方法,但在实际解题过程中,我们还可以根据多元函数的一些特点选择其它一些特殊解法来快速解题,如标准量代换法、不等式法、二次方程判别式法、梯度法、数形结合法.4.3标准量代换法求某些有多个变量的条件极值时,我们可以选取某个与这些变量有关的量作为标准量,称其余各量为比较量,然后将比较量用标准量与另外选取的辅助量表示出来,这样就将其变为研究标准量与辅助量间的关系了.如果给定条件是几个变量之和的形式,一般设这几个量的算术平均数为标准量.例4.3.1[4]设xyza,求222uxyz的最小值.解取33xyza为标准量,令,33aaxy,则3az(,为任意实数),从而有222()()()333aaau2222223a22222()33aa等号当且仅当0,即3axyz时成立,所以u的最小值为23a.4.4不等式法[4]4.4.1利用均值不等式均值不等式是常用的不等式,其形式为1212nnnaaaaaan,6这里0,1,2kakn,且等号成立的充分条件是12naaa.例4.4.1.1已知11112xyz,(0,0,0)xyz,求(,,)222fxyzxyz的极小值.解0,0,0,xyz(,,)222fxyzxyz14()2xyz1114()()xyzxyz4(3)xyyzxzyxzyzx4(3222)36当且仅当6xyz时,等号成立.4.4.2利用柯西不等式柯西不等式:对于任意实数12,,,naaa和12,,nbbb,总有21122()nnababab2222221212()()nnaaabbb,iiaRbR,当且仅当实数12,,,naaa与1,2,nbbb对应成比例时,等号成立.运用柯西不等式,主要是把目标函数适当变形,进而“配、凑”成柯西不等式的左边或者右边的形式,最终求得极大值或极小值.例4.4.2.1已知222(2)(1)(4)9xyz,求(,,)22fxyzxyz的最值.解首先将(,,)22fxyzxyz变形为(,,)fxyz2(2)2(1)(4)10xyz;再设(,,)2(2)2(1)(4)gxyzxyz,于是,根据柯西不等式及已知条件,有22(2)2(1)(4)xyz2222222(2)1(2)(1)(4)81xyz即:92(2)2(1)(4)9xyz当且仅当222214221(2)(1)(4)9xyzkxyz时,等号成立;7即当1435kxyz时,max(,,)9gxyz;当1013kxyz时,min(,,)9gxyz,所以,max(,,)19fxyz,min(,,)1fxyz.4.5二次方程判别式符号法例4.5.1[5]若2221xyz,试求22fxyz的极值.解因为1(2)2yxzf,代入2221xyz得2221(2)104xxzfz即2225(42)(844)0xzfxzfzf(1)这个关于x的二次方程要有实数解,必须222(42)20(844)0zfzfzf即224950fzfz解关于f的二次不等式,得:2225(1)25(1)11zzfzzz显然,求函数f的极值,相当于求225(1)11fzzz(2)或225(1)11fzzz(3)的极值.由(2)得229450zfzf(4)这个关于z的二次方程要有实数解,必须8221636(5)0ff,即290f解此关于f的二次不等式,得33f.所以max3f,min3f.把3