高等数学 2.5 函数的微分

一、微分的定义

定义 设函数 $y=f(x)$ 在某区间内有定义，$x_0$ 及 $x_0+\Delta x$ 在这区间内，如果函数的增量
$$\Delta y=f(x_0+\Delta x)-f(x_0)$$
可表示为
$$\Delta y=A\Delta x+o(x),\text{\hspace{1em}(1)}$$
其中 $A$ 是不依赖于 $\Delta x$ 的常数，那么称函数 $y=f(x)$ 在点 $x_0$ 是可微的，而 $A\Delta x$ 叫做函数 $y=f(x)$ 在点 $x_0$ 相应于自变量增量 $\Delta x$ 的微分，记作 $\mathrm{d}y$ ，即
$$\mathrm{d}y=A\Delta x$$

下面讨论函数可微的条件。设函数 $y=f(x)$ 在点 $x_0$ 可微，则按定义有 $(1)$ 式成立。$(1)$ 式两边除以 $\Delta x$ ，得
$$\frac{\Delta y}{\Delta x}=A+\frac{o(x)}{\Delta x}$$
于是，当 $\Delta x\to 0$ 时，由上式可得
$$A=\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{\Delta x}=f^{\prime }(x_0)$$
因此，如果函数 $y=f(x)$ 在点 $x_0$ 可微，那么 $f(x)$ 在点 $x_0$ 也一定可导（即 $f^{\prime }(x_0)$ 存在），且 $A=f^{\prime }(x_0)$ 。

反之，如果 $y=f(x)$ 在点 $x_0$ 可导，即
$$\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{\Delta x}=f^{\prime }(x_0)$$
存在，根据极限与无穷小的关系，上式可写成
$$\frac{\Delta y}{\Delta x}=f^{\prime }(x_0)+\alpha$$
其中 $\alpha \to 0$ （当 $\Delta x\to 0$）。由此又有
$$\Delta y=f^{\prime }(x_0)\Delta x+\alpha \Delta x.$$
因 $\alpha \Delta x=o(x)$ ，且 $f^{\prime }(x)$ 不依赖于 $\Delta x$ ，故上式相当于 $(1)$ 式。所以 $f(x)$ 在点 $x_0$ 也是可微的。

由此可见，函数 $f(x)$ 在点 $x_0$ 可微的充分必要条件是函数 $f(x)$ 在点 $x_0$ 可导，且当 $f(x)$ 在点 $x_0$ 可微时，其微分一定是
$$\mathrm{d}y=f^{\prime }(x)\Delta x.\text{\hspace{1em}(2)}$$
当 $f^{\prime }(x)\ne 0$ 时，有
$$\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{\mathrm{d}y}=\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{f^{\prime }(x_0)\Delta x}$$