全微分

维基百科,自由的百科全书
跳转至: 导航搜索

全微分英语:total derivative)是微积分学的一个概念,指多元函数全增量线性主部,记为。例如,对于二元函数,设f在的某个邻域内有定义,为该邻域内的任意一点,则该函数在点的全增量可表示为

其中仅与有关,而与无关,。若是当时的高阶无穷小,则称此函数在点 微分,而即为函数在点的全微分,记作

存在条件[编辑]

全微分繼承了部分一元函数實函數(定義域值域實數的函數)的微分所具有的性質,但两者间也存在差异。从全微分的定义出发,可以得出有关全微分存在条件的多个定理

充分条件[编辑]

一个多元函数在某点的全微分存在的充分条件是:此函数在该点某邻域内的各个偏导数存在且偏导函数在该点都连续,则此函数在该点可微。

对于二元函数,此定理可表述为:若二元函数在点的某邻域内的偏导数存在,且偏导函数在点都连续,则此函数在点可微。需要注意的是,此条件并非充要条件,存在偏导函数不连续但是多元函数可全微分的情况。如果不满足这个充分条件,那么一个多元函数能否全微分则必须由定义加以证明,即验证是否成立。

必要条件[编辑]

一个多元函数在某点的全微分存在的必要条件是:若多元函数在某点可微,则此函数在该点必连续。

对于二元函数,此定理可表述为:若二元函数在点可微,则此函数在点必连续。

全微分存在另一个必要条件是:若多元函数在某点可微,则此函数在该点的全微分可表示为各自变量的变化量与该自变量在该点的偏导数之的和。

对于二元函数,此定理可表述为:二元函数在点可微,则此函数在点的全微分为

参见[编辑]