多元函数微分学

1多元函数微分学一、本章提要１．基本概念多元函数，二元函数的定义域与几何图形，多元函数的极限与连续性，偏导数，二阶偏导数，混合偏导数，全微分，切平面，多元函数的极值，驻点，条件极值，方向导数，梯度．２．基本方法二元函数微分法：利用定义求偏导数，利用一元函数微分法求偏导数，利用多元复合函数求导法则求偏导数．隐函数微分法：拉格朗日乘数法．３．定理混合偏导数与次序无关的条件，可微的充分条件，复合函数的偏导数，极值的必要条件，极值的充分条件．二、要点解析问题１比较一元函数微分学与二元函数微分学基本概念的异同，说明二元函数在一点处极限存在、连续、可导、可微之间的关系．解析)1(多元函数微分学的内容是与一元函数微分学相互对应的．由于从一元到二元会产生一些新的问题，而从二元到多元往往是形式上的类推，因此我们以二元函数为代表进行讨论．如果我们把自变量看成一点P，那么对于一元函数，点P在区间上变化；对于二元函数),(yxf，点),(yxP将在一平面区域中变化．这样，无论对一元、二元或多元函数都可以统一写成)(Pfu，它称为点函数．利用点函数，我们可以把一元和多元函数的极限和连续统一表示成)()(lim,)(lim000PfPfAPfPPPP．（２）二元函数微分学与一元函数微分学相比，其根本区别在于自变量点P的变化从一维区间发展成二维为区域．在区间上P的变化只能有左右两个方向；对区域来说，点的变化则可以有无限多个方向．这就是研究二元函数所产生的一切新问题的根源．例如，考察二元2函数的极限2200limyxxyyx，容易看出，如果先让0x再让0y，那么00lim)lim(lim02200yxyyxxy，同样，先让0y再让0x，也得到0)lim(lim2200yxxyyx，但是如果让),(yx沿直线)0(kkxy而趋于)0,0(，则有222202201)1(limlimkkkxkxyxxyxkxyx，它将随k的不同而具有不同的值，因此极限2200limyxxyyx不存在，从这里我们可以体会到，从一维跨入二维后情况会变得多么复杂．又如，在一元函数中，我们知道函数在可导点处必定连续，但是对于二元函数来说，这一结论并不一定成立．考察函数222222,0,(,)0,0,xyxyzfxyxyxy000lim)0,0()0,0(lim)0,0(00xxfxffxxx，同样000lim)0,0()0,0(lim)0,0(00yyfyffyyy，所以),(yxf在)0,0(点可导．然而，我们已经看到极限00limyx),(yxf2200limyxxyyx不存在，当然),(yxf在)0,0(不连续．3多元可导函数与一元可导函数的这一重大差异可能使初学者感到诧异，其实仔细想一想是可以理解的．因为偏导数)0,0(xf实质上是一元函数)0,(xf在0x处关于x的导数．它的存在只保证了一元函数)0,(xf在点0x的连续．同理，偏导数)0,0(yf的存在保证了),0(yf在0y点的连续，从几何意义来看，),(yxfz是一张曲面，)0,(xfz，0y为它与平面0y的交线，),0(yfz，0x为它与平面0x的交线．函数),(yxfz在（0,0）处的可导，仅仅保证了上述两条交线在（0,0）处连续，当然不足以说明二元函数),(yxfz即曲面本身一定在（0,0）处连续．（３）在一元函数中，可微与可导这两个概念是等价的．但是对于二元函数来说，可微性要比可导性强，我们知道，二元函数的可导不能保证函数的连续，但若),(yxfz在),(00yx可微，即全微分存在，那么有全增量的表达式)(),(),(0000oyyxfxyxfzyx其中当0时，)(o0，从而0lim00zyx，因此函数在),(00yx可微，那么它在),(00yx必连续．函数是否可微从定义本身可以检验，但不太方便．然而我们有一个很简便的充分条件：若),(yxf在),(00yx不仅可导而且偏导数都连续，那么),(yxf必在),(00yx可微．函数),(yxf的偏导数是容易求得的，求出两个偏导数后在它们连续的点处，全微分立即可以写出：d(,)d(,)dxyzfxyxfxyy．（４）二元函数的极限、连续、偏导、可微关系图：极限存在连续偏导数存在偏导数连续可微4问题２如何求多元函数的偏导数？解析求多元函数的偏导数的方法，实质上就是一元函数求导法．例如，对x求偏导，就是把其余自变量都暂时看成常量，从而函数就变成是x的一元函数．这时一元函数的所有求导公式和法则统统可以使用．对于多元复合函数求导，在一些简单的情况，当然可以把它们先复合再求偏导数，但是当复合关系比较复杂时，先复合再求导往往繁杂易错．如果复合关系中含有抽象函数，先复合的方法有时就行不通．这时，复合函数的求导公式便显示了其优越性．由于函数复合关系可以多种多样，在使用求导公式时应仔细分析，灵活运用．例1设esin,xyzy求yzxz,．解直接求偏导数esinxyzyyx，esinecosxyxyzxyyy，利用全微分求偏导数dsindeedsinxyxyzyyesin(dd)ecosdxyxyyyxxyyyesind(esinecos)dxyxyxyyyxxyyy，所以esin,esinecosxyxyxyzzyyxyyxy．例2设(e,sin),xyzfy求yzxz,．解由复合函数求导法则，得1(e,sin)exyxyzfyyx，12(e,sin)e(e,sin)cosxyxyxyzfyxfyyy，其中21,ff分别表示(e,sin)xyfy对e,sinxyy的偏导数．问题3二元函数的极值是否一定在驻点取得？解析不一定．二元函数的极值还可能在偏导数不存在的点取得．5)21,21,21(01yx22yxzyxz例3说明函数221),(yxyxf在原点的偏导数不存在，但在原点取得极大值．解xxxxxfxfxxx0200lim1)(1lim)0,0()0,0(lim，此极限不存在，所以在)0,0(处xf)0,0(不存在．同理yyyfyfyy00lim)0,0()0,0(lim，此极限不存在，所以，在点)0,0(处，yf)0,0(不存在．但函数221),(yxyxff)0,0(1，即),(yxf在点)0,0(取得极大值1．问题4在解决实际问题时，最值与极值的关系如何？无条件极值问题与有条件极值问题有何区别？如何用拉格朗日乘数法求极值？解析在实际问题中，需要我们解决的往往是求给定函数在特定区域中的最大值或最小值．最大、最小值是全局性概念，而极值却是局部性概念，它们有区别也有联系．如果连续函数的最大、最小值在区域内部取得，那么它一定就是此函数的极大、极小值．又若函数在区域内可导，那么它一定在驻点处取得．由于从实际问题建立的函数往往都是连续可导函数，而且最大（最小）值的存在性是显然的．因此，求最大、最小值的步骤通常可简化为三步：（1）根据实际问题建立函数关系，确定定义域；（2）求驻点；（3）结合实际意义判定最大、最小值．从实际问题所归纳的极值问题通常是条件极值．条件极值和无条件极值是两个不同的概念．例如，二元函数22yxz的极小值（无条件极值）显然在)0,0(点取得，其值为零．但是)0,0(显然不是此函数的约束条件01yx下的条件极小值点．事实上0,0yx根本不满足约束条件．容易算出，这个条件极小值在点11(,)22处取得，其值为12，从几何上来看，它们的差异是十分明显的．无条件极小值是曲面22yxz所有竖坐标中的最小者，如图所示；而条件极小值是曲面对应于平面01yx上，即空间曲面01,22yxyxz上各点的竖坐标中最小者．我们所说的把条件极值化成无条件极值来处理，6并不是化成原来函数的无条件极值，而是代入条件后化成减少了自变量的新函数的无条件极值．例如把条件xy1代入函数22yxz，便将原来的条件极值化成了一元函数122)1(222xxxxz的无条件极值．用拉格朗日乘数法求出的点可能是极值点，到底是否为极值点还是要用极值存在的充分条件或其他方法判别．但是，若讨论的目标函数是从实际问题中得来，且实际问题确有其值，通过拉格朗日乘数法求得的可能极值点只有一个，则此点就是极值点，无需再判断．例4求522yxz在约束条件xy1下的极值．解作辅助函数)1(5),,(22yxyxyxF，则有yFxFyx2,2，解方程组20,20,10,xyxy得1,12xy．现在判断11(,)22P是否为条件极值点：由于问题的实质是求旋转抛物面522yxz与平面xy1的交线，即开口向上的抛物线的极值，所以存在极小值，且在唯一驻点11(,)22P处取得极小值112z．问题5方向导数和梯度对于研究函数有何意义？解析二元函数(,)zfxy在点),(yx处的方向导数lf刻画了函数在这点当自变量沿着射线l变化时的变化率，梯度zgrad的方向则是函数在点),(yx处方向导数最大的射线方向．因此沿梯度方向也是函数值增加最快的方向，所以梯度对寻找函数的最大值很有帮助．例5求函数zxyu2在点)2,1,1(P处函数值下降最快的方向．解负梯度方向是函数值下降最快的方向，因7Oxy22122yx1xyuuxgradiuyjzukzy2ixyz2j2xyk，(1,-1,2)24ugradijk，故所求方向为(1,-1,2)24ugradaijk．三、例题精选例6求函数)1ln(2222yxyxz的定义域，并作出定义域图形．解要使函数有意义，需满足条件22220,10,11,xyxyxy即),0,0(),(,1,2222yxyxxy定义域如图阴影部分所示．例7设(,)esin,ufuvv求d(,)fxyxy．解一因为(,)esin,ufuvv所以(,)esin()xyfxyxyxy，esin()ecos()xyxyfyxyxyx，esin()ecos()xyxyfxxyxyy，所d(,)sin()cos()edxyfxyxyyxyxyxsin()cos()edxyxxyxyy．解二由复合函数求导法则得esin()ecos()xyxyffufvxyyxyxuxvx，esin()ecos()xyxyffufvxyxxyyuyvy，所以d(,)esin()cos()dxyfxyxyyxyxyxesin()cos()dxyxxyxyy．例8设)(),,(uxFxyuyxfz，其中F为可微函数，且xyu，验证8zxxyyuxyzyzyxzx．证这是带有抽象符号的函数，其复合关系如图所示．uFxyuFyxuuFxuFyxuufxfxzdd)(dd)(，同理有uFxyuuFxxyuufyfyzdddd，uFyxyuFyuxFxyyzyxzxdddd)(xyzuxFxy)(2．例９设2(,,)exfxyzyz，其中),(yxzz由方程0xyzzyx所确定，求(0,1,1)xf．解2(,,)exfxyzyz对x求偏导，并注意到z是由方程所确定的yx,的函数，得2,,(,)e2exxxzfxy