全微分

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

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

对于二元函数，此定理可表述为：若二元函数${\displaystyle z=f(x,\ y)}$在点${\displaystyle (x_{0},\ y_{0})}$的某邻域内的偏导数${\displaystyle f_{x}(x_{0},\ y_{0})}$与${\displaystyle f_{y}(x_{0},\ y_{0})}$存在，且偏导函数${\displaystyle f_{x}(x,\ y)}$与${\displaystyle f_{y}(x,\ y)}$在点${\displaystyle (x_{0},\ y_{0})}$都连续，则此函数在点${\displaystyle (x_{0},\ y_{0})}$可微。需要注意的是，此条件并非充要条件，存在偏导函数不连续但是多元函数可全微分的情况。如果不满足这个充分条件，那么一个多元函数能否全微分则必须由定义加以证明，即验证${\displaystyle \lim _{\rho \to 0}{\frac {\Delta z-}{\rho }}=0}$是否成立。

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

对于二元函数，此定理可表述为：若二元函数${\displaystyle z=f(x,\ y)}$在点${\displaystyle (x_{0},\ y_{0})}$可微，则此函数在点${\displaystyle (x_{0},\ y_{0})}$必连续。

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

对于二元函数，此定理可表述为：二元函数${\displaystyle z=f(x,\ y)}$在点${\displaystyle (x_{0},\ y_{0})}$可微，则此函数在点${\displaystyle (x_{0},\ y_{0})}$的全微分为

${\displaystyle \operatorname {d} z|_{(x_{0},\ y_{0})}=f_{x}(x_{0},\ y_{0})\Delta x+f_{y}(x_{0},\ y_{0})\Delta y}$。

• 微分
• 偏导数