泰勒多项式近似:远离展开点时高阶项的主导性困惑
这个问题问得非常到位——其实泰勒多项式的「局部近似」核心特性,刚好就藏在你疑惑的这个$(x-a)^n$的行为里,咱们一步步把它说透:
1. 泰勒展开的本质是「局部拟合」
泰勒多项式$p(x)$是专门为展开点$a$的小邻域设计的:它的每一项系数都来自$f(x)$在$a$点的各阶导数,目的是让$p(x)$在$a$点附近和$f(x)$的“贴合度”尽可能高——不仅函数值相等,各阶导数也都相等。这种设计从一开始就没打算让它在远离$a$的地方还能保持精度,高阶项的忽略只在$|x-a|<1$的小范围里成立。
2. 高阶项的“突然主导”是幂函数的固有特性
你观察到的“远离展开点时高阶项突然变大”,其实不是“突然”,而是幂函数的增长规律决定的:
- 当$|x-a|<1$时,$(x-a)n$会随着$n$增大快速衰减(比如$0.5{100}$几乎趋近于0),所以哪怕高阶项的系数大一点,整体贡献也可以忽略;
- 当$|x-a|>1$时,$(x-a)n$会随着$n$增大指数级增长(比如$1.1{100}≈13780$),哪怕高阶项的系数很小,只要$n$足够大,它的贡献会迅速超过所有低阶项的总和。
举个极端但直观的例子:比如$f(x)=\frac{1}{1-x}$在$a=0$处的泰勒展开是$1+x+x2+...+xn+...$,当$x=0.5$时,$x{100}$已经小到可以忽略;但当$x=2$时,$x{10}=1024$,$x^{100}$更是一个天文数字,这时候高阶项直接主导了多项式的取值,而且这个级数本身在$|x|≥1$时是发散的,完全偏离了原函数$f(2)=-1$的真实值。
3. 收敛半径决定了泰勒多项式的有效范围
很多函数的泰勒级数都有一个收敛半径:只有在$|x-a|<R$($R$是收敛半径)的范围内,级数才会收敛到$f(x)$,超出这个范围,级数要么发散,要么收敛到别的函数。比如刚才的$\frac{1}{1-x}$收敛半径是1,$|x|≥1$时级数直接发散,这时候高阶项的“主导”其实是级数发散的表现,根本谈不上近似了。
所以总结一下:泰勒多项式的高阶项在远离展开点时占据主导,是幂函数的增长特性和泰勒展开的局部拟合本质共同导致的——它不是“突然”发生的,而是当$|x-a|$跨过1这个阈值时,幂函数的增长模式发生了质变,从“衰减”转向“爆炸”,高阶项的贡献自然就压过低阶项了。
内容的提问来源于stack exchange,提问作者AgentS

