多元函数微分学——全微分和微分中高阶无穷小的联系

定义

1.全微分定义：

若$$\Delta z=f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0)$$可表示为：$$\Delta z=A\Delta x+B\Delta y+o(\rho )$$
则称函数$z=f(x,y)$在点$(x_0,y_0)$处可微，$dz=A\Delta x+B\Delta y$

2.微分定义：

若$$\Delta y=f(x_0+\Delta x)-f(x_0)$$可表示为：$$\Delta y=A\Delta x+o(\Delta x)$$
则称函数$y=f(x)$在点$x_0$处可微，$dy=A\Delta x$

联系

分析：

全微分定义中$o(\rho )$中的$\rho =\sqrt{(\Delta x{)}^2+(\Delta y{)}^2}$表示动点$(x_0+\Delta x,y_0+\Delta y)$到定点$(x_0,y_0)$的距离，所以微分的定义中应该也写成两点之间的距离$o\left(|(x_0+\Delta x)-(x_0)|\right)$即$o(|\Delta x|)$,但是一元微分中写的是$o(\Delta x)$,原因是$o(\Delta x)$等价于$o(|\Delta x|)$。

证明：

充分性：
$$\lim \frac{o(\Delta x)}{|\Delta x|}=\lim \frac{o(\Delta x)}{\Delta x}\cdot \frac{\Delta x}{|\Delta x|}=0$$

必要性：
$$\lim \frac{o(|\Delta x|)}{\Delta x}=\lim \frac{o(|\Delta x|)}{|\Delta x|}\cdot \frac{|\Delta x|}{\Delta x}=0$$