1.全微分的定义
设函数在点的某邻域内有定义.若函数在点处的全增量可表示为 其中是仅与点有关,而与无关的常数,.则称函数在点处可微分;并称线性函数为函数在点处的全微分,记作 ,即 对于二元函数,规定自变量的增量为自变量的微分:于是2.可微的必要条件
若函数 在点可微,则(a)函数在点处连续;
(b)函数在点处的偏导数都存在,且有
3.可微的充分条件
(a)若函数在点的某邻域内偏导数都存在,且、在点处连续,则函数在点处可微.
(b)若在点处的两个偏导数都存在,在点处满足
则在处可微,且
可微的充分条件可以弱化为:两个偏导数之一连续,函数就可微.4.一阶全微分形式的不变性
若 可微, 也可微,则函数 与复合函数 的微分相等.即不论作为的自变量; 还是作为复合函数的中间变量,均有 这一性质称为「一阶全微分形式的不变性」.利用一阶全微分形式不变性,可以证明不论 是自变量还是中间变量,下列全微分的四则运算法则都成立:❝我们常常是在不知不觉中就用到了一阶全微分形式不变性.设可微分,则亦可微分,且有
❞
- ;
- ;
5.方向导数
如果函数 在点 可微分那么函数在该点沿任一方向 的方向导数都存在,且有其中是方向的方向余弦.
对于三元函数 来说,它在空间一点 沿 的方向导数为 如果函数 在点 可微分,则函数在该点沿着方向 的方向导数为其中是方向的方向余弦.
6.二元函数连续、可微、偏导数存在的一般性的关系
资料来源:北洋数学研究社·学研部