全微分

全微分（英語：total derivative）是微积分学的一个概念，指多元函数的全增量$\Delta z$的线性主部，记为$\operatorname {d} z$。例如，对于二元函数$z=f(x,\ y)$，设f在点$P_{0}(x_{0},\ y_{0})$的某个邻域内有定义，$P(x_{0}+\Delta x,\ y_{0}+\Delta y)$为该邻域内的任意一点，则该函数在点$P_{0}(x_{0},\ y_{0})$的全增量可表示为

$\Delta z=A\Delta x+B\Delta y+o(\rho )$，

其中$A$，$B$仅与$x$，$y$有关，而与$\Delta x$，$\Delta y$无关，$\rho ={\sqrt {(\Delta x)^{2}+(\Delta y)^{2}}}$。若$o(\rho )$是当$\rho \rightarrow 0$时的高阶无穷小，则称此函数$z=f(x,\ y)$在点 $(x,\ y)$可微分，而$A\Delta x+B\Delta y$即为函数$z=f(x,\ y)$在点$P_{0}(x_{0},\ y_{0})$的全微分，记作

$\operatorname {d} z|_{x=x_{0},\ y=y_{0}}=A\Delta x+B\Delta y$

或$\operatorname {d} f(x_{0},y_{0})=A\Delta x+B\Delta y$。

存在条件

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

充分条件

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

必要条件

一个多元函数在某点的全微分存在的必要条件是：若多元函数在某点的可微，则此函数在该点必连续。对于二元函数，此定理可表述为：若二元函数$z=f(x,\ y)$在点$(x_{0},\ y_{0})$可微，则此函数在点$(x_{0},\ y_{0})$必连续。

全微分存在另一个必要条件是：若多元函数在某点的可微，则此函数在该点的全微分可表示为各自变量的变化量与该自变量在该点的偏导数之积。对于二元函数，此定理可表述为：二元函数$z=f(x,\ y)$在点$(x_{0},\ y_{0})$可微，则此函数在点$(x_{0},\ y_{0})$的全微分为

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

参见

• 微分
• 偏导数