一元函数的微分、微分近似(极简微积分)
贡献者: addis
我们回顾导数的定义,令 ,
这告诉我们,当 越小,以下近似就在某种意义上越精确
这说明,当 很小的时候,对应的 和 成正比。
形式上,为了表示 的过程中上式越来越精确地成立,我们可以写成
并把它叫做函数 的
微分。要特别注意在 “极简微积分” 部分中,该式只是
式 1 的另一种方便的
书写形式。而不可以理解为等号左边的无穷小等于右边的无穷小。因为无穷小并不是具体的实数而是一个过程,无法比较是否精确相等。
1
从式 1 到式 3 你可能会误以为我们可以把第一个等号两边同时乘以 ,且把 中的分母 “约去”。这只是一种形式上的操作,可以帮助理解和记忆,但不能过度解读。毕竟 是一个整体符号而不表示除法。
1. 微分近似
在实际应用中,即使 只是一个较小的具体的数而不是无穷小,我们也往往可以适用式 2 来估计 。
注意在该近似式中不能使用微分符号 或等号。
图 1:微分近似用函数曲线的切线增量 来近似函数增量 ,另见
图 3 。
注意式 4 中的近似成立的条件是,在 所在的区间内, 的变化足够小,或者说 在该区间足够的线性(即足够接近直线)。
例 1 测量误差
若测得立方体的边长为 ,测量边长的最大可能误差为 ,假设 ,估计立方体体积的最大误差 。
解:立方体的体积与边长的关系为 ,根据微分近似,有
例 2 细圆环的面积和薄球壳的体积
图 2:细圆环的面积
1. 圆的面积关于其半径的函数为 ,对该式进行微分得 。注意到 为 对应的周长,所以微分近似告诉我们,半径为 ,宽度为 的圆环的面积约等于该圆环的周长乘以圆环的宽度。
2. 球的体积关于其半径的函数为 ,求微分得 。注意到 为 对应的球表面积,所以微分近似告诉我们,半径为 ,厚度为 的球壳的体积等于该球壳的表面积乘以球壳厚度。
注意这两个近似成立的前提都是在 的范围内, 或 变化得足够慢。也就是需要满足
即厚度
远小于半径。
2 你可以给 和 取不同的具体数值,验证以上近似的误差有多大。
例 3 失败的例子
作为一个失败的例子,我们对 以及 使用式 4 。由于 ,有 ,也就是说无论 多小都会估计出 。
但若 ,则精确来说 。所以该近似的相对误差达到了 。
为什么会失败呢?还记得我们上文说过,该近似要求斜率在 范围内变化很小。但该例中 处的斜率为 0,而 处斜率为 ,导致后者的斜率的相对增长是无穷大。这也是为什么上例中我们要求式 6 (试想如果 的区间取 会发生什么)。
该例中要得到更好的近似公式或理解,就需要了解之后我们要学习的二阶无穷小和泰勒展开。但暂时你只需要知道当斜率接近 0 时,该近似很可能失效。
1. ^ 但如果你把 和 理解成非常小的具体实数,那严格来说又只能写成式 2 ,因为严格来说等号必须是精确的且它的含义需要明确定义。
2. ^ 远小于只是一个模糊的说法,具体需要小多少倍,还是取决于你对误差的要求。