微积分 · 泰勒级数

泰勒级数

泰勒级数用一点处的各阶导数,逐次构造多项式近似。增加项数、移动展开点,看近似在哪里改善,级数又在哪里不再收敛。

01

泰勒级数与本页画面

函数ff在点aa处的泰勒级数(泰勒展开式)是由ff在这一点的各阶导数构成的幂级数;a=0a = 0时又叫麦克劳林级数。展开点也常记作x0x_0。它的nn次部分和就是泰勒多项式PnP_n:在aa处的函数值和前nn阶导数都与ff相同、次数不超过nn的多项式只有这一个。

泰勒多项式
Pn(x)=∑k=0nf(k)(a)k! (x−a)k.P_n(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}\,(x-a)^k.

墨色曲线是ff,黄色曲线是PnP_n,蓝点标出展开点aa。横轴上的黄色条是测量值:使∣f(x)−Pn(x)∣<0.01|f(x) - P_n(x)| < 0.01成立的最大区间∣x−a∣<r|x - a| < r。它是在aa两侧每隔0.0025检查一次、再把第一个不满足的点细分求出的,显示时向下取整。蓝色括号位于a±Ra \pm R,R是收敛半径:级数在∣x−a∣<R|x - a| < R内收敛,在∣x−a∣>R|x - a| > R时发散。对本页的七个函数,级数在这个区间内的和就是ff本身,RR等于aa到ff最近的“坏点”(包括复数点)的距离。

在给定的xx处,PnP_n与ff相差多少,由余项给出。若ff在aa与xx之间的整个区间上有n+1n + 1阶导数(这个区间不能跨过奇点,例如1/(1−x)1/(1 - x)在1处的极点),则

拉格朗日余项
f(x)−Pn(x)=f(n+1)(ξ)(n+1)! (x−a)n+1(ξ 介于 a 与 x 之间).f(x) - P_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}\,(x-a)^{n+1}\quad(\xi\text{ 介于 } a \text{ 与 } x \text{ 之间}).
02

值得注意的现象

  • 在收敛半径以内,本页的部分和收敛到ff,所以在这样的每个xx处,误差随nn增大趋于0,但不一定每加一项都变小。越过收敛半径,通项不趋于0,Pn(x)P_n(x)不会稳定下来。黄色条只会逐渐接近RR:它是在屏幕上测出来的,RR则来自公式。
  • 函数在整条实数轴上光滑,收敛半径也可能有限。1/(1+x2)1/(1 + x^2)在复数点±i\pm i处没有定义,所以它在aa处的泰勒级数只在∣x−a∣<1+a2|x - a| < \sqrt{1 + a^2}内收敛。
  • 收敛区间的端点要单独判断:ln⁡(1+x)\ln(1 + x)在0处的级数在x=1x = 1收敛(和为ln⁡2\ln 2),在x=−1x = -1发散;1/(1−x)1/(1 - x)的级数两端都发散,1+x\sqrt{1 + x}的级数两端都收敛。
  • 在a=0a = 0处,sin⁡x\sin x只有奇次项,cos⁡x\cos x只有偶次项,所以正弦的P2mP_{2m}与P2m−1P_{2m-1}是同一个多项式。n → ∞会跳过这些为零的项,每一步都让曲线发生变化。
  • 级数收敛,和也不一定是ff。函数在x≠0x \ne 0时等于e−1/x2e^{-1/x^2}、在0处等于0,它在0处的各阶导数都是0,所以它在0处的泰勒级数对所有xx都等于0。
03

用途

  • 物理中常在一点附近只保留前几项:单摆小角度摆动时sin⁡θ≈θ\sin\theta \approx \theta;低速时(1−v2/c2)−1/2≈1+v2/(2c2)(1 - v^2/c^2)^{-1/2} \approx 1 + v^2/(2c^2),相对论动能就变成12mv2\tfrac12 mv^2。
  • 余项告诉我们计算要取多少项:把1/k!1/k!从k=0k = 0加到1010(即exe^x的P10(1)P_{10}(1),共11项),得到的ee误差就已小于3×10−83 \times 10^{-8}。
04

操作

  • 转动次数旋钮,或按n → ∞把下一个非零项一项一项加上去,最多到n=30n = 30(到顶后再按,从0重放)。拖动蓝点或横轴上的标记移动展开点;常用展开点的按键会跳到精确值。
  • 图下方的误差条用对数刻度显示∣f−Pn∣|f - P_n|。演示模式打开适合投影的全屏视图(空格逐项增加,← →改变次数,H隐藏收敛半径)。
05

相关概念