04第四节全微分

第四节全微分我们已经知道，二元函数对某个自变量的偏导数表示当其中一个自变量固定时，因变量对另一个自变量的变化率.根据一元函数微分学中增量与微分的关系，可得yyxfyxfyyxfxyxfyxfyxxfyx),(),(),(),(),(),(上面两式左端分别称为二元函数对x和对y的偏增量，而右端分别称为二元函数对x和对y的偏微分.在实际问题中，有时需要研究多元函数中各个自变量都取得增量时因变量所获得的增量，即所谓全增量的问题.下面以二元函数为例进行讨论.如果函数),(yxfz在点),(yxP的某邻域内有定义，并设),(yyxxP为这邻域内的任意一点，则称),(),(yxfyyxxf为函数在点P对应于自变量增量yx,的全增量，记为z，即).,(),(yxfyyxxfz(4.1)一般来说，计算全增量比较复杂.与一元函数的情形类似，我们也希望利用关于自变量增量yx,的线性函数来近似地代替函数的全增量z，由此引入关于二元函数全微分的定义.内容分布图示★偏增量与全增量★全微分的定义★可微的必要条件★可微的充分条件★例1★例2★例3★例4★多元函数连续、可导、可微的关系★全微分在近似计算中的应用★例5★绝对误差与相对误差★例6★内容小结★课堂练习★习题6-4★返回内容提要：一、微分的定义定义1如果函数),(yxfz在点),(yx的全增量),(),(yxfyyxxfz可以表示为),(oyBxAz(4.2)其中A,B不依赖于yx,而仅与x,y有关,,)()(22yx则称函数),(yxfz在点),(yx可微分,yBxA称为函数),(yxfz在点),(yx的全微分,记为,dz即yBxAdz.(4.3)若函数在区域D内各点处可微分，则称这函数在D内可微分.二、函数可微的条件定理1(必要条件)如果函数),(yxfz在点),(yx处可微分,则该函数在点),(yx的偏导数yzxz,必存在,且),(yxfz在点),(yx处的全微分yyzxxzdz.(4.4)我们知道，一元函数在某点可导是在该点可微的充分必要条件.但对于多元函数则不然.定理1的结论表明，二元函数的各偏导数存在只是全微分存在的必要条件而不是充分条件.由此可见，对于多元函数而言，偏导数存在并不一定可微.因为函数的偏导数仅描述了函数在一点处沿坐标轴的变化率，而全微分描述了函数沿各个方向的变化情况.但如果对偏导数再加些条件，就可以保证函数的可微性.一般地，我们有：定理2(充分条件)如果函数),(yxfz的偏导数yzxz,在点),(yx连续,则函数在该点处可微分.三、微分的计算习惯上，常将自变量的增量x、y分别记为dx、dy，并分别称为自变量的微分.这样，函数),(yxfz的全微分就表为.dyyzdxxzdz(4.5)上述关于二元函数全微分的必要条件和充分条件，可以完全类似地推广到三元及三元以上的多元函数中去.例如，三元函数),,(zyxfu的全微分可表为.dzzudyyudxxudu(4.6)四、全微分在近似计算中的应用设二元函数),(yxfz在点),(yxP的两个偏导数),,(yxfx),(yxfy连续,且|||,|yx都较小时,则根据全微分定义，有dzz即.),(),(yyxfxyxfzyx由),(),(yxfyyxxfz，即可得到二元函数的全微分近似计算公式yyxfxyxfyxfyyxxfyx),(),(),(),((4.7)例题选讲：全微分的计算例1（讲义例1）求函数62354yxxyz的全微分.例2计算函数xyez在点（2,1）处的全微分.例3（讲义例3）求函数yzeyxu2sin的全微分.例4求函数zyxu的偏导数和全微分.例5（讲义例4）计算02.2)04.1(的近似值.例6测得矩形盒的边长为75cm、60cm、以及40cm,且可能的最大测量误差为0.2cm.试用全微分估计利用这些测量值计算盒子体积时可能带来的最大误差.课堂练习1.讨论函数0,00,2222242yxyxyxyxz在点(0,0)处函数的全微分是否存在?2.设,),,(/1xyxzyxf求).1,1,1(df