高等数学教案ch8.3全微分及其应用

第1页共5页§8.3全微分及其应用一、全微分的定义根据一元函数微分学中增量与微分的关系有偏增量与偏微分f(xxy)f(xy)fx(xy)xf(xxy)f(xy)为函数对x的偏增量fx(xy)x为函数对x的偏微分f(xyy)f(xy)fy(xy)yf(xyy)f(xy)为函数)对y的偏增量fy(xy)y为函数对y的偏微分全增量zf(xxyy)f(xy)计算全增量比较复杂我们希望用x、y的线性函数来近似代替之定义如果函数zf(xy)在点(xy)的全增量zf(xxyy)f(xy)可表示为))()(()(22yxoyBxAz其中A、B不依赖于x、y而仅与x、y有关则称函数zf(xy)在点(xy)可微分而称AxBy为函数zf(xy)在点(xy)的全微分记作dz即dzAxBy如果函数在区域D内各点处都可微分那么称这函数在D内可微分可微与连续可微必连续但偏导数存在不一定连续这是因为如果zf(xy)在点(xy)可微则zf(xxyy)f(xy)AxByo()于是0lim0z从而),(]),([lim),(lim0)0,0(),(yxfzyxfyyxxfyx因此函数zf(xy)在点(xy)处连续可微条件定理1(必要条件)如果函数zf(xy)在点(xy)可微分则函数在该点的偏导数xz、yz必定存在且函数zf(xy)在点(xy)的全微分为yyzxxzdz证设函数zf(xy)在点P(xy)可微分于是对于点P的某个邻域内的任意一点P(xxyy)有zAxByo()特别当y0时有第2页共5页f(xxy)f(xy)Axo(|x|)上式两边各除以x再令x0而取极限就得Axyxfyxxfx),(),(lim0从而偏导数xz存在且Axz同理可证偏导数yz存在且Byz所以yyzxxzdz简要证明设函数zf(xy)在点(xy)可微分于是有zAxByo()特别当y0时有f(xxy)f(xy)Axo(|x|)上式两边各除以x再令x0而取极限就得AxxoAxyxfyxxfxx]|)(|[lim),(),(lim00从而xz存在且Axz同理yz存在且Byz所以yyzxxzdz偏导数xz、yz存在是可微分的必要条件但不是充分条件例如函数000),(222222yxyxyxxyyxf在点(00)处虽然有fx(00)0及fy(00)0但函数在(00)不可微分即z[fx(00)xfy(00)y]不是较高阶的无穷小这是因为当(xy)沿直线yx趋于(00)时])0,0()0,0([yfxfzyx021)()()()(2222xxxxyxyx定理2(充分条件)如果函数zf(xy)的偏导数xz、yz在点(xy)连续则函数在该点可微分定理1和定理2的结论可推广到三元及三元以上函数按着习惯x、y分别记作dx、dy并分别称为自变量的微分则函数zf(xy)的全微分可写作dyyzdxxzdz第3页共5页二元函数的全微分等于它的两个偏微分之和这件事称为二元函数的微分符合叠加原理叠加原理也适用于二元以上的函数例如函数uf(xyz)的全微分为dzzudyyudxxudu例1计算函数zx2yy2的全微分解因为xyxz2yxyz22所以dz2xydx(x22y)dy例2计算函数zexy在点(21)处的全微分解因为xyyexzxyxeyz212exzyx2122eyzyx所以dze2dx2e2dy例3计算函数yzeyxu2sin的全微分解因为1xuyzzeyyu2cos21yzyezu所以dzyedyzeydxduyzyz)2cos21(*二、全微分在近似计算中的应用当二元函数zf(xy)在点P(xy)的两个偏导数fx(xy)fy(xy)连续并且|x||y|都较小时有近似等式zdzfx(xy)xfy(xy)y即f(xxyy)f(xy)fx(xy)xfy(xy)y我们可以利用上述近似等式对二元函数作近似计算例4有一圆柱体受压后发生形变它的半径由20cm增大到2005cm高度由100cu减少到99cm求此圆柱体体积变化的近似值解设圆柱体的半径、高和体积依次为r、h和V则有Vr2h已知r20h100r005h1根据近似公式有VdVVrrVhh2rhrr2h220100005202(1)200(cm3)即此圆柱体在受压后体积约减少了200cm3第4页共5页例5计算(104)202的近似值解设函数f(xy)xy显然要计算的值就是函数在x104y202时的函数值f(104202)取x1y2x004y002由于f(xxyy)f(xy)fx(xy)xfy(xy)yxyyxy1xxylnxy所以(104)20212212100412ln1002108例6利用单摆摆动测定重力加速度g的公式是224Tlg现测得单摆摆长l与振动周期T分别为l=100±0.1cm、T=2±0.004s.问由于测定l与T的误差而引起g的绝对误差和相对误差各为多少？解如果把测量l与T所产生的误差当作|Δl|与|ΔT|,则利用上述计算公式所产生的误差就是二元函数224Tlg的全增量的绝对值|Δg|.由于|Δl||ΔT|都很小因此我们可以用dg来近似地代替Δg这样就得到g的误差为||||||TTgllgdggTlTglg||||)21(4322TlTlT其中l与T为l与T的绝对误差把l=100T=2,l=0.1,δT=0.004代入上式得g的绝对误差约为)004.02100221.0(4322g)/(93.45.022scm.002225.0210045.0gg从上面的例子可以看到对于一般的二元函数z=f(x,y),如果自变量x、y的绝对误差分别为x、y,即|Δx|x,|Δy|y,则z的误差||||||yyzxxzdzz第5页共5页||||||||yyzxxzyxyzxz||||从而得到z的绝对误差约为yxzyzxz||||z的相对误差约为yxzzyzzxzz||