一元函数的微分、微分近似(极简微积分)

                     

贡献者: addis

预备知识 基本初等函数的导数

   我们回顾导数的定义,令 y=f(x)

(1)f(x)=dydx=limΔx0ΔyΔx .
这告诉我们,当 Δx 越小,以下近似就在某种意义上越精确
(2)Δyf(x)Δx .
这说明,当 Δx 很小的时候,对应的 ΔyΔx 成正比。

   形式上,为了表示 Δx0 的过程中上式越来越精确地成立,我们可以写成

(3)dy=f(x)dx .
并把它叫做函数 f(x)微分。要特别注意在 “极简微积分” 部分中,该式只是式 1 的另一种方便的书写形式。而不可以理解为等号左边的无穷小等于右边的无穷小。因为无穷小并不是具体的实数而是一个过程,无法比较是否精确相等。1

   从式 1 式 3 你可能会误以为我们可以把第一个等号两边同时乘以 dx,且把 dy/dx 中的分母 “约去”。这只是一种形式上的操作,可以帮助理解和记忆,但不能过度解读。毕竟 dy/dx 是一个整体符号而不表示除法。

1. 微分近似

   在实际应用中,即使 Δx 只是一个较小的具体的数而不是无穷小,我们也往往可以适用式 2 来估计 Δy

(4)Δyf(x)Δx .
注意在该近似式中不能使用微分符号 d 或等号。

图
图 1:微分近似用函数曲线的切线增量 f(x)Δx 来近似函数增量 Δy,另见图 3

   注意式 4 中的近似成立的条件是,在 Δx 所在的区间内,f(x) 的变化足够小,或者说 f(x) 在该区间足够的线性(即足够接近直线)。

例 1 测量误差

   若测得立方体的边长为 a,测量边长的最大可能误差为 σa,假设 σaa,估计立方体体积的最大误差 σV

   解:立方体的体积与边长的关系为 V(a)=a3,根据微分近似,有

(5)σVV(a)σa=3a2σx .

例 2 细圆环的面积和薄球壳的体积

  

图
图 2:细圆环的面积

   1. 圆的面积关于其半径的函数为 A(r)=πr2,对该式进行微分得 dA=2πrdr。注意到 2πrr 对应的周长,所以微分近似告诉我们,半径为 r,宽度为 Δrr 的圆环的面积约等于该圆环的周长乘以圆环的宽度。

   2. 球的体积关于其半径的函数为 V(r)=4πr3/3,求微分得 dV=4πr2dr。注意到 4πr2r 对应的球表面积,所以微分近似告诉我们,半径为 r,厚度为 Δrr 的球壳的体积等于该球壳的表面积乘以球壳厚度。

   注意这两个近似成立的前提都是在 Δr 的范围内,A(r)V(r) 变化得足够慢。也就是需要满足

(6)Δrr ,
即厚度远小于半径。2 你可以给 rΔr 取不同的具体数值,验证以上近似的误差有多大。

例 3 失败的例子

   作为一个失败的例子,我们对 y=x2 以及 x=0 使用式 4 。由于 f(x)=2x,有 f(0)=0,也就是说无论 Δx 多小都会估计出 Δy=0

   但若 Δx=x0,则精确来说 Δy=x202=Δx2。所以该近似的相对误差达到了 100%

   为什么会失败呢?还记得我们上文说过,该近似要求斜率在 Δx 范围内变化很小。但该例中 x=0 处的斜率为 0,而 x=Δx 处斜率为 2Δx,导致后者的斜率的相对增长是无穷大。这也是为什么上例中我们要求式 6 (试想如果 Δr 的区间取 [0,Δr] 会发生什么)。

   该例中要得到更好的近似公式或理解,就需要了解之后我们要学习的二阶无穷小泰勒展开。但暂时你只需要知道当斜率接近 0 时,该近似很可能失效


1. ^ 但如果你把 dxdy 理解成非常小的具体实数,那严格来说又只能写成式 2 ,因为严格来说等号必须是精确的且它的含义需要明确定义。
2. ^ 远小于只是一个模糊的说法,具体需要小多少倍,还是取决于你对误差的要求。

                     

© 小时科技 保留一切权利