全微分讲义.docVIP

第三节 全微分 全微分的定义及计算 定义 设函数在点的某个邻域内有定义。如果自变量和在点处分别有增量和，则函数相应有增量 (18) 我们称为函数在点处的全增量。 一般说来，计算全增量比较复杂。在一元函数微分学中，我们用函数的微分（即函数增量的线性主部）来近似替代函数的增量。现在对于二元函数，我们也希望能够用自变量的增量的线性函数来近似替代函数的增量。为此，引入全微分的概念。 定义 若二元函数在点的某个邻域有定义，如果函数的全增量可写成： （19） 其中仅与有关而与无关，，则称 为函数在点处的全微分。记作，即 （20） 此时，又称函数在点处是可微的。 定理1 如果函数在点处可微，则 （1）在点处连续； （2）和都存在，且 （21） 证 （1）在点处可微，所以函数在点的增量可表示为 而当时，，故有 ，因此 设，则当时，，所以 ，即， 也即在点处连续。 由于对一切和都成立：， 如果令，在处给增量，显然，所以 ， 此式两边同除，并令，得 即 同理可证： 把和代入（20）式，即得（21）式。 与一元函数的情况相类似，我们将自变量的增量分别定义为自变量和的微分，则函数在点处的全微分公式又可写为 (22) 如果函数在区域上的任意一点处都可微，则称函数在上可微，此时 在点处的全微分为 或 (23) 定理1告诉我们，二元函数的连续性、可微性和偏导数存在之间有着下述关系： 在处连续 在处可微 、均存在 上述关系中的箭头都不是可逆的。 例如函数 由例2不存在，所以在处不连续，故在处不可微。但、均存在。所以 、均存在并不能推出在处可微。 因此，二元函数各偏导数的存在只是可微的必要条件而不是充分条件。这一点与一元函数是不同的，我们知道，一元函数在某点处可导是可微的充分必要条件。 下面我们就给出二元函数可微（即全微分存在）的一个充分条件。 定理2 如果函数在点的某个邻域内有连续的偏导数，则函数在点处的全微分存在。 对于多元初等函数来说，定理2的条件一般总是可以满足的。因此，今后我们在计算多元初等函数的全微分时，不再一一检查其是否满足可微的条件了。从全微分的公式（23）可以看出，要求函数的全微分，只要分别求出它的各个偏导数，再乘以对应的自变量的微分，然后相加即可。对于含有个自变量的元函数的全微分，也有类似的公式： （25） 例1 求函数的全微分。 解 因为 ， 所以 例2 求函数在点处的全微分。 解 因为 ， , 所以 例3 求函数的全微分。 解 因为,, 所以 二、全微分在近似计算中的应用 如果函数在点处可微，则有 所以，当和都较小时，我们有如下近似计算公式： (26) 上式也可以写成: (27) 利用公式（26）可以计算二元函数的全增量的近似值，而利用公式（27）可以估计函数在点附近的函数值。 例4 圆锥体体积，其中为底半径，为圆锥体的高。现半径由30厘米增为30.5厘米，高由60厘米减为59.5厘米，求圆锥体体积改变量的近似值。 解 设，而 厘米，厘米，厘米，厘米， ， 由（26）式，得： 即圆锥体的体积大约增加了。 例5 计算的近似值。 解 设函数，问题化为求函数值。设 ， 因为 ， 所以由（27）式，得： ， 即 第四节 多元复合函数及隐函数的求导法则 多元复合函数的求导法则 在对多元函数求偏导时，有时也要用到一元复合函数求导法则。 例1 设，其中为可导函数，求，