全微分

Template:Unreferenced Template:NoteTA Template:微積分學 在微积分中，函数$f$在某一点的全微分（Template:Lang-en）是指该函数在该点附近关于其自变量的最佳线性近似。与偏微分不同，全微分反映了函数关于其所有自变量的线性近似，而非单个自变量。

全微分可視為單變數函數的微分在多變數函數上的推廣：单变量函数的全微分与其微分的定義相同；而多變數函數在某點的全微分為一線性映射，通常可用矩陣或向量表示。例如，对于二元函数 $f(x,y)$，设$f$在点 $(x_0,y_0)$ 的某个邻域内有定义，$(x_0+\mathrm{\Delta }x,y_0+\mathrm{\Delta }y)$ 为该邻域内的任意一点，则该函数在点$(x_0,y_0)$的變化量 $\mathrm{\Delta }f=f(x_0+\mathrm{\Delta }x,y_0+\mathrm{\Delta }y)-f(x_0,y_0)$ 可表示为

$\mathrm{\Delta }f=A\mathrm{\Delta }x+B\mathrm{\Delta }y+o(\rho )$，

其中$A$，$B$ 皆為常數且仅与點 $(x_0,y_0)$ 有关，而与$\mathrm{\Delta }x$，$\mathrm{\Delta }y$无关，$\rho =\sqrt{(\mathrm{\Delta }x{)}^2+(\mathrm{\Delta }y{)}^2}$。若$o(\rho )$是当$\rho \to 0$时的高阶无穷小，则称此函数 $f$ 在点 $(x_0,y_0)$可微分，而矩陣(或向量)$(A,B)$ 即为函数 $f$ 在 $(x_0,y_0)$ 的全微分也簡稱微分，记作

$Df{|}_{(x_0,y_0)}=(A,B)$

或 $f^{\prime }(x_0,y_0)=(A,B)$。

存在条件

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

充分条件

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

对于二元函数，此定理可表述为：若二元函数$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)$可微。需要注意的是，此条件并非充要条件，存在偏导函数不连续但是多元函数可全微分的情况。如果不满足这个充分条件，那么一个多元函数能否全微分则必须由定义加以证明，即验证$\underset{\rho \to 0}{\lim }\frac{\mathrm{\Delta }z-[f_x(x_0,y_0)\mathrm{\Delta }x+f_y(x_0,y_0)\mathrm{\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)$的全微分为

$\mathrm{d}z{|}_{(x_0,y_0)}=f_x(x_0,y_0)\mathrm{\Delta }x+f_y(x_0,y_0)\mathrm{\Delta }y$。

参见

• 微分
• 偏导数