高等数学之函数的微分：定义、几何意义、实际应用

背景

看逻辑回归时，里面提到的微分和导数傻傻分不清，里面的概念描述的微分，写的公式却是导数的表达式。

干脆来复习一下高等数学里面这部分的知识。

问题分析

先分析一个具体的问题：一块正方形金属薄片受到温度变化的影响，其边长从 $x_0$ 变到 $x_0+\Delta x$，问此薄片的面积改变了多少？

热胀冷缩，边长增加了，则面积也会增加，正方形的面积公式为 $A=x^2$。

受热之前的面积：
$$\begin{array}{r}A1=x_0^2\end{array}$$

受热之后的面积：
$$\begin{array}{rl}A2& =（x_0+\Delta {)}^2\\ & =x_0^2+2x_0\Delta x+\Delta x^2\end{array}$$

公式 （3） 和公式（1）相减，得到受热后面积的增加量 $\Delta A$ ：
$$\begin{array}{rl}\Delta A& =A2-A1\\ & =2x_0\Delta x+\Delta x^2\end{array}$$

公式（5）的增量分为两部分，第一部分与原来的边长和边长增量有关，即 $2x_0\Delta x$；第二部分只与增量有关，且是增量的平方，即 $\Delta x^2$，这是一个高阶无穷小量。当边长改变很微小时，第二部分可近乎为0，那么增量就可近似用第一部分来替代。

为什么不忽略第一部分呢？我的理解是：这部分 $\Delta x$ 虽然很小，但是 $x0$ 可能很大，所以面积的变化量应该不会比 $\Delta x$ 小。

即面积的变化量最终近似转换为：$2x_0\Delta x$，此处 $2x_0$ 作为一个整体，可记作常量 $A$，即 $\Delta A=A\Delta x$。

高阶无穷小

若 ${\lim }_{\alpha \to 0}\frac{\beta }{\alpha }=0$，则称「β是比α较高阶的无穷小」，即在某一过程($x\to 0$ 或 $x\to \infty$ 这类过程) 中，β→0 比 α→0 更快一些。

微分通用定义

根据前面正方形面积变化量的推导过程，设函数 $y=f(x)$ 在某区间内有定义：$x_0$ 及 $x_0+\Delta x$ 在这区间内，如果函数的增量：
$$\begin{array}{r}\Delta y=f(x_0+\Delta x)-f(x_0)\end{array}$$

可表示为：
$$\begin{array}{r}\Delta y=A\Delta x+o(\Delta x)\end{array}$$

其中 A 是常量，那么称函数 $y=f(x)$ 在点 $x_0$ 处是可微的，而 $A\Delta x_0$ 叫做函数 $y=f(x)$ 在点 $x_0$ 相对于自变量的增量 $\Delta x$ 的微分，记做 $dy$ ，即：
$$\begin{array}{r}dy=A\Delta x\end{array}$$

函数可微的条件以及与导数的转换

按函数可微的条件，即存在公式 （7）的等式关系，对等式 （7）两边同时除以自变量的增量 $\Delta x$ ，可得到如下等式：
$$\begin{array}{r}\frac{\Delta y}{\Delta x}=\frac{A\Delta x}{\Delta x}+\frac{o(\Delta x)}{\Delta x}=A+\frac{o(\Delta x)}{\Delta x}\end{array}$$

对公式（9）等价变换，计算常量 A 得到：
$$\begin{array}{r}A=\frac{\Delta y}{\Delta x}-\frac{o(\Delta x)}{\Delta x}\end{array}$$

当自变量的增量趋于0 即 ${\lim }_{\Delta x\to 0}$ 公式（10）第二部分是高阶无穷小数，也趋于0，就得到 A 的极限值：
$$\begin{array}{r}A=\underset{x\to 0}{\lim }\frac{\Delta y}{\Delta x}-0=\underset{x\to 0}{\lim }\frac{\Delta y}{\Delta x}=f^{{}^{\prime }}(x_0)\end{array}$$
这就是将微分定义中的常量 $A$ 转换为了函数 $y$ 在 $x0$ 处的导数定义了，即如果函数 $f(x)$ 在点 $x_0$ 处可微，则 $f(x)$ 在点 $x_0$ 处一定可导「即 $f^{{}^{\prime }}(x_0)$ 存在」，且 $A=f^{{}^{\prime }}(x_0)$。

将 $A$ 的值代入公式（8）得到微分值为：
$$\begin{array}{r}dy=f^{{}^{\prime }}(x_0)\Delta x\end{array}$$

微分和真实微变量的比

函数 $f(x)$ 在点 $x_0$ 可微的充分必要条件是：函数 $f(x)$ 在点 $x_0$ 可导。当$f(x)$ 在点 $x_0$ 可微时，微分一定是：$dy=f^{{}^{\prime }}(x_0)\Delta x$。

个人思考：可微一定可导，那可导一定可微吗？百度出来的说不一定可微呢？

当导数值 $f^{{}^{\prime }}(x)\ne 0$时，我们对真实变化量 $\Delta y$ 和微分 $dy$ 的比求极限：
$$\begin{array}{rl}\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{dy}& =\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{f^{{}^{\prime }}(x_0)\Delta x}\\ & =\frac{1}{f^{{}^{\prime }}(x)}\underset{\Delta x\to 0}{\lim }\frac{\Delta y}{\Delta x}\\ & =\frac{1}{f^{{}^{\prime }}(x)}{f}^{{}^{\prime }}(x)\\ & =1\end{array}$$

公式（13）到（14）是提取常量系数到前面，（14）到（15）是导数的定义，所以最终得到了真实变量和微分的比值，在微变量 $\Delta x\to 0$ 时的极限值是1。

结论：如果函数$f(x)$ 在点 $x_0$ 处的导数 $f^{{}^{\prime }}(x_0)\ne 0$ ,且$|\Delta x| $很小时，因变量的增量用近似值表示为：
$$\begin{array}{r}\Delta y\approx dy\end{array}$$

个人思考：这就是第一部分「增量就可近似用第一部分来替代」，即增量可以近似用微分替代。

微分在近似计算中的应用

在工程问题中，经常会遇到一些复杂的计算公式，如果直接计算会很费力的，利用微分往往可以把一些复杂的计算公式用简单的近似公式来替代。

未完，待续……

启示录

微分，顾名思义，微小的变化，它是自变量变化微小的量后，因变量与这个自变量变化量之间的关系。它就是用来求解因变量的微小变化量的，不知道为什么叫微分呢？并没有体现“分”的意思，我觉得应该叫微变更恰当一点。

导数，它是自变量的变化量和应变量的变化量的比值，在因变量变化量趋于0时的极限值。微分可以用导数来表示。