多元函数的偏导数和全微分

1、6.2多元函数的偏导数和全微分6. 2.1偏导数的概念与计算1 .偏导数定义对于二元函数zf(x,y),如果只有自变量x变化而自变量y固定这时它就是x的一元函数这函数对x的导数就称为二元函数zf(x,y)对于x的偏导数。定义：设函数zf(x,y)在点(xoyo)的某一邻域内有定义当y固定在yo而x在xo处有增量x时相应地函数有增量f(xox,yo)f(X0,y0)如果极限limxo则称此极限为函数zf(x,y)在点(xof(xox,yo)f(xo,yo)存在yo)处对x的偏导数记作：Zxxxyyoxxxo，zxyyoxxo，或fx(xo,yo)°yyo即：fx(Xo,yo)x,y&#

2、176;)f(Xo,yo)类似地，函数zf(x,y)在点(xoyo)处对y的偏导数定义为:.f(xo,yoy)f(xO,yo)limyoy记作：zyxxo'yy0xxoyy0yxxoyy0,或fy(xo,yo)。偏导函数的定义式：fx(x,y)limxo类似地可定义函数zf(x,y)对y的偏导函数记为偏导函数：如果函数f(x,y)在区域D内每一点(x,y)处对x的偏导数都存在那么这个偏导数就是x、y的函数它就称为函数zf(x,y)对自变量x的偏导函数记作f,zx,或fx(x,y)。xf(xxy)f(x,y)zy,或fy(x,y)o偏导函数的定义式：fy(x,y)lim。，f(x,yy)

3、f(x,y)2.偏导数的计算求上时只要把y暂时看作常量而对x求导数;x只要把x暂时看作常量而对y求导数。讨论：下列求偏导数的方法是否正确?fx(x0,y。)a""。，fy(x0,y。)fy(x,y)xoy。一.d一.一一.一d一.一fx(x0,y。)f(x,yo)xx0,fy(x°,y。)加f(x。，y)yy。偏导数的概念还可推广到二元以上的函数数定义为uf(xyz)在点(xyz)处对x的偏导fx(x,y,z)lxm。f(xx,y,z)f(x,y,z)其中(xyz)是函数uf(xyz)的定义域的内点它们的求法也仍旧是一元函数的微分法问题zx23xyy2在点(12)

4、处的偏导数2x3y3xy2yqx12132y2131227zx2sin2y的偏导数。2xsin2y;2x2cos2y。yzxy(x0,x1)求证xInxy2z证xx_z_1_yxInxy1yxyxylnxxyxy-xyInxInxxyxy2zMx2y2z2的偏导数。.一r斛xxxx2y2z2r例5已知理想气体的状态方程为pV=RT(R为常数)证因为pRT上耳pVVV2VRT上RPTPTpVTV"R下R所以上上工RTRVRT1VTpV2pRpV例5说明的问题偏导数的记号是一个整体记号不能看作分子分母之商。3 .偏导数的几何意义一元函数在某点处的导数从几何上看表示曲线在该点处的切线斜率，

5、那么二元函数的偏导在几何上表示什么呢？我们知道，二元函数zf(x,y)在空间中表示一曲面，在(,y0)处对x求偏导时把y看成常量，这日z是关于x的一元函数，所以二|(x，y。)表示曲面zf(x,y)与平面yyo的交线在xz+(x0,y0)处沿x轴正向的切线斜率(如图).同理，一(x0,y0)表示曲面在该点处沿y轴正向的切线斜率.4 .偏导数与连续性也不能保证函数在该点连续例如对于多元函数来说即使各偏导数在某点都存在f(x,y)在点(00)有fx(00)0fy(00)提示：f(x,0)0f(0,y)fx(0,0)-df(x,0)dx当点P(xy)沿x轴趋于点(00limf(x,y)l(x,y)(

6、0,0)xy22c22xy0xy0x2y200但函数在点(00)并不连续00fy(0,0)凯(0，刈0时有mf(x,0)lim000x0当点P(xy)沿直线y.xylim2,2(x,y)(0,0)x2y2ykx)kx趋于点(00)时ifkx2lim2-vx0x2k2x2k1k2因此limf(x,y)不存在故函数f(xy)在(00)处不连续(x,y)(Q0)6.2.2全微分1 .全微分的定义根据一元函数微分学中增量与微分的关系有偏增量与偏微分：f(xx,y)f(x,y)fx(x,y)x,f(xx,y)f(x,y)为函数对x的偏增量fx(x,y)xfx(xy)x为函数对x的偏微分f(x,yy)f(

7、x,y)fy(x,y)y,f(x,yy)f(x,y)为函数)对y的偏增量，fy(x,y)y为函数对y的偏微分。全增量：zf(xx,yy)f(x,y)计算全增量比较复杂我们希望用x、y的线性函数来近似代替之定义如果函数zf(xy)在点(xy)的全增量zf(xx,yy)f(x,y)可表不为zAxByo()(x)2(y)2)其中A、B不依赖于x、y而仅与x、y有关则称函数zf(xy)在点(xy)可微分而称AxBy为函数zf(xy)在点(xy)的全微分记作dz即dzAxBy如果函数在区域D内各点处都可微分那么称这函数在D内可微分2 .可微与连续可微必连续但偏导数存在不一定连续这是因为如果zf(xy)在

8、点(xy)可微则zf(xxyy)f(xy)AxByo()于是limz00从而limf(xx,yy)limf(x,y)zf(x,y)(x,y)(0,0)0因此函数zf(xy)在点(xy)处连续3 .可微条件定理1(必要条件)如果函数zf(xy)在点(xy)可微分则函数在该点的偏导数一z、一z必定存在且函数xyzf(xy)在点(xy)的全微分为：dz证设函数zf(xy)在点P(xy)可微分于是对于点P的某个邻域内的任意一点y0时有(xxyy)有zAxByo()特别当f(xxy)f(xy)Axo(|x|)上式两边各除以x,再令x0而取极限，就得limf(xx，y)f(x，y)Ax0x从而偏导数二存在

9、且二Axx同理可证偏导数-z存在且_zByy所以：dzxyxy偏导数二、二存在是可微分的必要条件但不是充分条件xy,xyx2y20例如，函数f(x,y)Jx2y2在点(00)处虽然有fx(00)0及fy(00x2y200)0(00)不可微分即zfx(00)xfy(00)y不是较高阶的无穷小这是因为当(xy)沿直线yx趋于(00)时zfx(0,0)xfy(0,0)yxyxx10(x)2(y)2(x)2(x)22定理2(充分条件)如果函数zf(xy)的偏导数卫、在点(xy)连续则函数在该点可微分xy定理1和定理2的结论可推广到三元及三元以上函数按着习惯x、y分别记作dx、dy并分别称为自变量的微分

10、zf(xy)的全微分可写作dzdxdyxy二元函数的全微分等于它的两个偏微分之和这件事称为二元函数的微分符合叠加原理叠加原理也适用于二元以上的函数例如函数uf(xyz)的全微分为du-udx-udy-udzxyz例1计算函数zx2yy2的全微分解因为2xyx22yxy所以dz2xydx(x22y)dy例2计算函数zexy在点(21)处的全微分解因为yexyxexyxyZ°/Zo2x2ex22exy1yy1所以dze2dx2e2dy例3计算函数uxsin-yeyz的全微分yeyz解因为1coszeyzxy22z所以dudx(jcos或zeyz)dyyeyzdz*二、全微分在近似计算中的

11、应用当二元函数zf(xy)在点P(xy)的两个偏导数fx(xy)fy(xy)连续并且|x|y郡较小时有近似等式zdzfx(xy)xfy(xy)y即f(xxyy)f(xy)fx(xy)xfy(xy)y我们可以利用上述近似等式对二元函数作近似计算例4有一圆柱体受压后发生形变它的半径由20cm增大到2005cm高度由100cu减少到99cm求此圆柱体体积变化的近似值解设圆柱体的半径、高和体积依次为r、h和V则有V r2h已知r20h100r005h1根据近似公式有V dVVrrVhh2rhrr2h220100005202(1)200(cm3)即此圆柱体在受压后体积约减少了200cm3例5计算(104

12、)202的近似值解设函数f(xy)xy显然要计算的值就是函数在x104y202时的函数值f(104202)取x1y2x004y002由于f(xxyy)f(xy)fx(xy)xfy(xy)yxyyxy1xxylnxy(104)202122所以12100412ln1002108例6利用单摆摆动测定重力加速度g的公式是现测得单摆摆长l与振动周期T分别为l=100±0.1cm、T=2±0.004s.问由于测定l与T的误差而引起g的绝对误差和相对误差各为多少？解如果把测量l与T所产生的误差当作|Al|与|AT|,则利用上述计算公式所产生的误差»、口一，42l.|Ag|.|A

13、l|AT|都很小因此我们可以用dg来近似就是一兀函数g4T21的全增量的绝对值地代替Ag这样就得到g的误差为|g|dg|号TT1g,Ll42(4(T2g,斤1T2lxI尹t)其中l与t为l与T的绝对误差把l=100T=2,l=0.1,2=0.004代入上式约为得g的绝对误差则z的误差42(0.1210022230.004)0.524.93(cm/s2).0.5242100220.5%z=f(x,y),如果自变量x、y的绝对误差分别为|Ax|x,y,x、y,即|z|dz|.xy|HzWx|y|4xxyx从而得到z的绝对误差约为z%z的相对误差约为z|z|6. 2.3方向导数f(xy)在一点P沿某

14、一方向的变化率问题设l是xOy平面上以量射线l的参数方程为1 .方向导数的定义现在我们来讨论函数P0(x0y0)为始点的一条射线el(coscos)是与l同方向的单位向xx0tcosyy0tcos(t0)设函数zf(xy)在点Po(xoyo)的某一邻域U(Po)内有定义P(xotcosyotcos)为l上另一点且PU(Po)如果函数增量f(xotcosyotcos)f(xoyo)与P到Po的距离|PPo|t的比值f(xotcos,yotcos)f(x0,yo)t当P沿着l趋于Po(即tto)时的极限存在则称此极限为函数f(xy)在点Po沿方向l的方向导数记作上即l(xo,yo)Llimf(xo

15、tcos,yotcos)f(x0,yo)l(xo,yo)tot从方向导数的定义可知方向导数f就是函数f(xy)在点Po(xoyo)处沿方向l的l(xo,yo)变化率2 .方向导数的计算定理如果函数zf(xy)在点Po(xoyo)可微分那么函数在该点沿任一方向l的方向导数都存在且有fx(x0,yo)cosfy(xo,yo)cosl(xo,y。)其中coscos是方向l的方向余弦简要证明设xtcosytcos则f(xotcosyotcos)f(xoyo)fx(xoyo)tcosfy(xoyo)tcoso(t)所以.f(%tcos,yotcos)f(%,yo)lim°-vofx(xo,yo

16、)cosfy(x0,yo)sintot这就证明了方向导数的存在且其值为£l(xo,yo)fx(xo,yo)cosfy(xo,yo)cos提示f(xox,yoy)f(xo,yo)fx(xo,yo)xfy(xo,yo)yo(x)2(y)2)xtcosytcos、.(x)2(y)2t讨论函数zf(xy)在点P沿x轴正向和负向提示：沿y轴正向和负向的方向导数如何沿x轴正向时coscosolx沿x轴负向时cos1cos0fx例1求函数zxe2y在点P(10)沿从点P(10)到点Q(21)的方向的方向导数解这里方向l即向量PQ(1,1)的方向与1同向的单位向量为e1(J2,因为函数可微分且_ze

17、2y1x(1,0)(1,0)zy(1,0)2xe2y(1,0)所以所求方向导数为ft)1爰2(21对于三元函数导数为f(xyz)来说它在空间一点P0(x0y0Z0)沿ei(coscoscos)的方向ff(x0tcos,y°tcosztcos)f(x0,y0,z°)lim1'伙a)t0tcoscos如果函数f(xyz)在点(x0y0z0)可微分则函数在该点沿着方向ei(cos1(x0,y0,z°)fx(x0,y0,z°)cosfy(x0,y0,z0)cosfz(x°,y°,z0)cos2(53.2)其中1的方向角分别为60例2求

18、f(xyz)xyyzzx在点(112)沿方向1的方向导数4560解与1同向的单位向量为ei(cos60cos45cos60fx(112)(yz)|(112)3fy(112)(xz)|(112)3fz(112)(yx)|(112)2所以fjq1q立o1才(1,1,2)3232223 .梯度设函数zf(xy)在平面区域D内具有一阶连续偏导数则对于每一点P0(x0y0)D都可确定一个向量fx(x0y0)ify(x0y0)j这向量称为函数f(xy)在点P0(x0y0)的梯度记作gradf(x0y0)即gradf(x0y0)fx(x0y0)ify(x0y0)j梯度与方向导数如果函数f(xy)在点P0(x

19、0y0)可微分ei(coscos)是与方向l同方向的单位向量则:fxK，y0)cosfy(x0,y0)cosl(x0,y0)gradf(x。y。)ei|gradf(x°y0)|cos(gradf(x°y0)Aei)这一关系式表明了函数在一点的梯度与函数在这点的方向导数间的关系特别当向量ei与gradf(x°y°)的夹角0即沿梯度方向时方向导数取得最大值这个最大值ld词就是梯度的模gradf(x0y0)|这就是说函数在一点的梯度是个向量它的方向是函数在这点的方向导数取得最大值的方向它的模就等于方向导数的最大值讨论:的最大值结论函数在某点的梯度是这样一个向量

20、它的方向与取得最大方向导数的方向一致而它的模为方向导数的最大值4 .等值线我们知道一般说来二元函数zf(xy)在几何上表示一个曲面这曲面被平面zc(c是常数)所截得的曲线L的方程为zf(x,y)zc这条曲线L在xOy面上的投影是一条平面曲线L*它在xOy平面上的方程为f(xy)c对于曲线L*上的一切点已给函数的函数值都是c所以我们称平面曲线L*为函数zf(xy)的等值线若fxfy不同时为零则等值线f(xy)c上任一点P0(x0y0)处的一个单位法向量为1n22(fx(xQ,yQ),fy(xQ,yQ).fx(x3,y0)%优,丫0)这表明梯度gradf(x0y0)的方向与等值线上这点的一个法线方

21、向相同而沿这个方向的方向导数上就等于|gradf(x°y0)|于是ngradf(x0,y0)-n这一关系式表明了函数在一点的梯度与过这点的等值线、方向导数间的关系这就是说函数在一点的梯度方向与等值线在这点的一个法线方向相同它的指向为从数值较低的等值线指向数值较高的等值线梯度的模就等于函数在这个法线方向的方向导数梯度概念可以推广到三元函数的情形设函数f(xyz)在空间区域G内具有一阶连续偏导数则对于每一点P0(x0v。zo)G都可定出一个向量fx(x0y。z0)ify(x0y。zo)jfz(x。y。zo)k这向量称为函数f(xyz)在点P°(x0y0z0)的梯度记为gradf

22、(x0y0z0)即gradf(x°yz°)fx(x0y0z0)ify(x°yz0)jfz(x°yz°)k结论三元函数的梯度也是这样一个向量它的方向与取得最大方向导数的方向一致而它的模为方向导数的最大值如果引进曲面f(xyz)c为函数的等量面的概念则可得函数f(xyz)在点P0(x0y0z0)的梯度的方向与过点P0的等量面f(xyz)c在这点的法线的一个方向相同且从数值较低的等量面指向数值较高的等量面而梯度的模等于函数在这个法线方向的方向导数例3求grad解这里f(x,y)2x(x2y2)2f2yy(x2y2)2所以grad22x22i22V22

23、jx2y2(x2y2)2(x2y2)2例4设f(xyz)x2y2z2求gradf(112)解gradf(fxfyfz)(2x2y2z)于是gradf(112)(224)*5。数量场与向量场如果对于空间区域G内的任一点M都有一个确定的数量f(M)则称在这空间区域G内确定了一个数量场(例如温度场、密度场等)一个数量场可用一个数量函数f(M)来确定如果与点M相对应的是一个向量F(M)则称在这空间区域G内确定了一个向量场(例如力场、速度场等)一个向量场可用一个向量函数F(M)来确定而F(M)P(M)iQ(M)jR(M)k其中P(M)Q(M)R(M)是点M的数量函数利用场的概念我们可以说向量函数grad

24、f(M)确定了一个向量场一一梯度场它是由数量场f(M)产生的通常称函数f(M)为这个向量场的势而这个向量场又称为势场必须注意任意一个向量场不一定是势场因为它不一定是某个数量函数的梯度场例5试求数量场m所产生的梯度场其中常数m>0rJx2y2z2为原点O与点M(xyz司的距离mrmxr2xr3同理myr3mzr3从而grad:Zk)记6r-iXjzk它是与OM同方向的单位向量则rrr,mmgrad2errr2上式右端在力学上可解释为位于原点O而质量为m质点对位于点M而质量为l的质点的引力这引力的大小与两质点的质量的乘积成正比、而与它们的距平方成反比这引力的方向由点M指向原点因此数量场里的势场即梯度场grad卫称为引力场而函