第四节函数的微分.docVIP

第四节 函数的微分 前面已经介绍了函数的导数和偏导数及其有关的运算法则．下面介绍与导数和偏导数密切相关的新概念――微分，它是微积分学的重要组成部分． 一、一元函数的微分 首先考虑研究函数的增量与其切线增量的关系． 1 设，那么在点上的函数为，此时在的切线为．即．这时与在相切，切点为．若设自变量增量为，则函数增量为 切线的增量记为 ． 显然，当时，，这是因为 ． ２．一般情况下，设在可导，即 ， 即是当时的无穷小．记为．即 ， 所以 ． 就是当自变量的增量为时，函数的增量为，而就是在点的自变量的增量为时，在点的切线的增量，事实上，在点，函数的切线方程为 而此增量为 ． 从这里我们可以看出，一元函数在一点如果可导，它的相对于自变量的增量而产生的增量与此点相对应的切线增量在是等价的无穷小．即 ， 即是在点时的线性的主要部分，这里对的要求是可导。对于一般的函数，可以有下面的定义． 定义 5.2　设函数在点的某个邻域中有定义，若在的增量为时，所得到的函数的增量为 ， 其中是时的高阶无穷小，则称在点可微，并称线性主部是在点的微分，记为d，即或． 　　显然，当时，．特别当函数时，，即，因此以后记．一般地，若在点可微，则．由此我们可以得到下面的定理． 定理 5.9　一元函数在点可微的充分必要条件是在点可导． 证明：先证明必要性．设在点可微，则有 其中与无关，再令，即得，所以极限存在，且等于，所以在点可导，其导数为．故． 再证充分性．设在点可导，则，由极限与无穷小的关系，可以设，其中，所以 ， 所以在点可微，就是在点的微分．即 ， 即　　　　　　　　　　　　　　　　． 一般情况下，在点可导，则它的微分为．分别是自变量与函数的微分，因此导数也称为微商． 从前面知道，一元函数的微分是在此点的切线的增量，由导数公式，我们可以得到一元函数的微分公式． (1) ；（c为常数）； (2) ； ； ； ； ； ； ； ； ． ； 这是基本公式表，这些公式一定要熟记．还要反过来记．如 ； ； ． 从中我们可以知道，对于任意常数，有，即常数可以提出来，类似地，当可导，则有 即和的微分等于微分的和．同样可以得到下面的结论： ； ． 对于复合函数在有意义的邻域内也可导，且 ， 即 ． 这个性质叫做微分的形式不变性． 容易得到： ， ． 类似地，我们可以给出与导数相对应的微分公式． 二、多元函数的全微分 类似于一元函数的微分，我们可以将它推广到多元函数． 定义 5.3 设是中的一个区域，，在的某个邻域中有定义，对，当即时，函数增量为 ， 若存在仅与有关，与无关的常数，使得 ， 这里，则称在可微，并称为在的全微分，记为或df，即 ， 当时，与是等价无穷小。 特别，对于在可微就是存在仅与有关的常数、，使得 ， 其中，对于三元函数，它在可微就是存在仅与有关的常数使得 ． 由此可得下面的定理： 定理 5.10　若区域上的多元函数在可微，其微分为，则在点的所有一阶偏导数都存在，且 ． 反过来不一定成立． 证 仅考虑三元函数，设它在可微，则 ． 当令时，，从而 ， ． 同样可以证明： 定理 5.11 　若在可微，则在连续． 证 在可微，所以可设 ， 所以在连续． 例5.24　证明二元函数在不可微． 证 因为当点沿直线趋近原点时， ． 对于的不同取值，极限是不相同的，所以函数在原点的极限不存在，在原点也就不连续．更谈不上可微了． 从上面例题可以得到在原点不可微，但是 ． 这表明多元函数与一元函数有很大的差别．一元函数可微的充分必要条件是函数可导．对于多元函数偏导数存在，函数不一定可微． 对于多元函数，，即当在可微时，有 ． 例5.25　，求． 解： ． 反过来，需要加一个条件，有下面的结论： 定理 5.12　设在点的某个邻域中有定义，在的偏导数存在且连续，则在点可微． 这个结论对于多元函数同样成立，我们将在以后证明（见定理6.9）． 下面将给出复合函数的偏导数的计算方法．我们以二元函数为例说明，对一般元函数也有相应结果。 定理 5.13　设在可微，在可导，则复合函数在可导，且 ． 证明：由于在可微，所以 ，（其中） 这里要注意到当时，由于在可导，所以，从而． 定理5.14　设在点可微，在点偏导数存在，则点偏导数存在，且有 事实上，对求偏导时，可以把t看成常数． 例5.26　设，求． 解 由上面的定理知， 例5.27　设有连续偏导数，若设，证明： ． 证　； ． 所以 ． 注意有的书上采用的是这样的记号，用表示函数对括号中的第一个变量求偏导数．一般地，用表示函数对括号中的第i个变量求偏导数．由此可以得到复合函数的微分性质．以二元函数为例． 设都可微，则也可微，事实上，设，由它们产生的的增量为，相应的有的增量，由于可微，所以 由于时，所