微积分 · 局部线性化

局部线性化

在点a附近用切线L(x) = f(a) + f′(a)(x − a)近似函数f,叫作局部线性化,也叫线性近似。f在a处可导时,误差f(x) − L(x)比x − a更快地趋于0,所以把图像不断放大,曲线看上去就成了直线。

01

局部线性化与本页画面

在点aa附近用切线L(x)=f(a)+f′(a)(x−a)L(x) = f(a) + f'(a)(x - a)近似函数ff,叫作局部线性化,也叫线性近似或切线近似。它要求ff在aa处可导。也常写成f(x0+Δx)≈f(x0)+f′(x0) Δxf(x_0 + \Delta x) \approx f(x_0) + f'(x_0)\,\Delta x,其中x0x_0就是本页的aa。本页用七个函数演示:四个光滑函数,三个在0处不可导的函数。

图像在水平方向以蓝色的点P=(a,f(a))= (a, f(a))为中心,两轴比例相同。红色的增量Δx同时控制放大:画面随它缩小,并按需要伸展,让P、切线的升高和Q都留在画面里。在这一步里,切线升高蓝色的微分dy=f′(a) Δxdy = f'(a)\,\Delta x,曲线升高Δy=f(a+Δx)−f(a)\Delta y = f(a + \Delta x) - f(a)。黄色箭头是两者之差,即误差:

线性近似的误差
E=Δy−dy=f(a+Δx)−f(a)−f′(a) Δx.E = \Delta y - dy = f(a + \Delta x) - f(a) - f'(a)\,\Delta x.

函数在aa处可导(一元函数可导与可微等价),当且仅当存在有限的数mm,使f(a+h)−f(a)−mh=o(∣h∣)f(a + h) - f(a) - m h = o(|h|),即hh从两侧趋于0时,误差除以hh趋于0;这时m=f′(a)m = f'(a)。本页只画向右的一步(h=Δx>0h = \Delta x > 0),画面是演示而不是证明;哪里有切线,由每个函数的表达式决定。画面随Δx\Delta x一起缩小,∣E∣/Δx|E|/\Delta x大致就是在Q处、以画面大小为单位,曲线离开切线的距离,所以可导的曲线越放大越直。若f′′(a)≠0f''(a) \ne 0,则Δx\Delta x很小时E≈12f′′(a) Δx2E \approx \tfrac12 f''(a)\,\Delta x^2,此后每放大十倍,误差约缩小到百分之一。在f′′(a)=0f''(a) = 0的点,比如sin⁡x\sin x在0处,误差缩小得更快。

02

容易看错的地方

  • “看上去是直的”只是画面,不是证明。一条曲线可能在你试过的每个放大倍数下都显得很直,却在更小的尺度上弯曲。本页“有没有切线”的结论来自每个函数的表达式,而不是屏幕上的像素。
  • 在角点处,比如∣x∣|x|在0处,无论放大多少倍都是同一个V形。没有一条直线能贴合它,所以没有线性近似;左右两侧的斜率分别是−1和1。
  • x3\sqrt[3]{x}在0处确实会变直,但变成的是竖直线x=0x = 0。竖直线没有斜率,所以不存在y≈L(x)y \approx L(x)这样的近似。x2/3x^{2/3}在0处是尖点,两侧都转成竖直向上。
  • 线性近似只在局部好用。步长固定时可能很差:Δx=1\Delta x = 1时,exe^x在0处的切线给出2,而真实值是2.718。
03

用途

  • 近似计算:4.1≈2+0.1/4=2.025\sqrt{4.1} \approx 2 + 0.1/4 = 2.025(真实值约为2.02485);小角度时sin⁡θ≈θ\sin\theta \approx \theta,例如单摆的小振幅近似。
  • 牛顿法反复解L(x)=0L(x) = 0来求ff的零点。在测量中,用微分dydy估计xx的误差会给yy带来多大的误差。
04

操作

  • 左右拖动图像,曲线在P下方滑动(改变a);图像获得焦点后滚动滚轮,或用双指缩放(改变Δx)。放大每级把Δx缩小到十分之一;全局图显示当前画面在整条曲线上的位置,在全局图里按下或拖动,P就移到那里。
  • 演示模式打开适合投影的全屏视图(空格放大,← →把Δx乘或除以10,H隐藏答案)。
05

相关概念