【高等数学】第二章 导数与微分——第五节 函数的微分

1. 微分的定义

设函数$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(\Delta x)，$$其中$A$是不依赖于$\Delta x$的常数
那么称函数$y=f(x)$在点$x_0$是可微的，而$A\Delta x$叫做函数$y=f(x)$在点$x_0$相应于自变量增量$\Delta x$的微分，记作$dy$，即$$dy=A\Delta x$$

• 微分的意义在于用$\Delta x$的线性函数$A\Delta x$近似代替$\Delta y$，以达到简化的目的
• 函数可微的条件
  函数$f(x)$在点$x_0$可微的充分必要条件是函数$f(x)$在点$x_0$可导，且当$f(x)$在点$x_0$可微时，其微分一定是$$dy=f^{\prime }(x_0)\Delta x$$
• 微分的合理性
  $\Delta y=dy+o(dy)$，$dy$是$\Delta y$的主部，又由于$dy=f^{\prime }(x_0)\Delta x$，所以在$f^{\prime }(x_0)\ne 0$的条件下，$dy$称为$\Delta y$的线性主部(当$\Delta x\to 0$)
  于是，在$f^{\prime }(x_0)\ne 0$的条件下，以微分近似代替增量时的误差为$o(dy)$，当$|\Delta x|$很小时，$$\Delta y\approx dy$$
• 函数的微分——函数在任意点$x$的微分，记作$dy$或$df(x)$，即$$dy=f^{\prime }(x)\Delta x$$
• 通常把$\Delta x$称为自变量的微分，记作$dx$，即$dx=\Delta x$，于是函数$y=f(x)$的微分可以记作$$dy=f^{\prime }(x)dx$$从而有$$\frac{dy}{dx}=f^{\prime }(x)$$这就是说，函数的微分$dy$与自变量的微分$dx$之商等于该函数的导数，因此导数也叫微商

2. 微分的几何意义

微分的几何意义是在局部范围内用线性函数近似代替非线性函数，在几何上就是用切线段近似代替曲线段，这在数学上称为非线性函数的局部线性化

3. 基本初等函数的微分公式和微分运算法则

由函数微分的表达式$$dy=f^{\prime }(x)dx$$可以看出，要计算函数的微分，只要计算函数的导数再乘上自变量的微分，因此基本初等函数的微分公式以及微分运算法则与导数相应内容类似

• 微分运算法则如下
  • $d(u\pm v)=du\pm dv$
  • $d(Cu)=Cdu$
  • $d(uv)=vdu+udv$
  • $d(\frac{u}{v})=\frac{vdu-udv}{v^2}$
• 在复合函数的微分法则中$$dy=y^{\prime }(u)du=y^{\prime }(u)u^{\prime }(x)dx$$可以看出，无论$u$是自变量还是中间变量，微分形式$dy=y^{\prime }(u)du$保持不变，这一性质称为微分形式不变性

4. 微分在近似计算中的应用

4.1. 函数的近似计算

• 在工程问题中，经常会遇到一些复杂的计算公式，如果直接用这些复杂的公式计算，那是很费力的，利用微分往往可以把一些复杂的计算公式用简单的近似公式来代替
• 用切点的切线近似$f(x)\approx f(x_0)+f^{\prime }(x_0)(x-x_0)$
• 常用的近似公式$f(x)\approx f(0)+f^{\prime }(0)x$
  • $(1+x{)}^{\alpha }\approx 1+\alpha x(\alpha \in \mathbb{R})$
  • $\sin x\approx x(x用弧度制表达)$
  • $\tan x\approx x(x用弧度制表达)$
  • $e^x\approx 1+x$
  • $\ln (1+x)\approx x$

4.2. 误差估计

• 间接测量误差
  由于测量仪器的精度、测量的条件和测量的方法等因素的影响，测得的数据往往带有误差，而根据带有误差的数据计算所得的结果也会有误差，我们把它叫做间接测量误差
• 绝对误差、相对误差
  如果某个量的精确值为$A$，它的近似值为$a$
  那么$|A-a|$叫做$a$的绝对误差，$\frac{|A-a|}{|a|}$叫做$a$的相对误差
• 绝对误差限、相对误差限
  根据测量仪器的精度等因素，有时能够确定误差在某一个范围内
  如果某个量的精确值是$A$，测得它的近似值是$a$，又知道它的误差不超过${\delta }_A$，即$$|A-a|\le {\delta }_A,$$那么${\delta }_A$叫做测量$A$的绝对误差限，而$\frac{{\delta }_A}{|a|}$叫做测量$A$的相对误差限
• 用微分估计间接测量误差
  已知$|\Delta x|\le {\delta }_x,y=f(x)$
  当$y^{\prime }\ne 0$时，$y$的绝对误差$|\Delta y|\approx |dy|=|y^{\prime }||\Delta x|=|y^{\prime }|\delta$
  $y$的绝对误差限约为${\delta }_y=|y^{\prime }|{\delta }_x$
  $y$的相对误差限约为$\frac{{\delta }_y}{|y|}=|\frac{y^{\prime }}{y}|{\delta }_x$
  常把绝对误差限和相对误差限简称为绝对误差和相对误差