等价无穷小的精度问题

视频讲解等价无穷小的精度问题

前言

在求极限的时候,我们有一大利器等价无穷小替换。
但是在替换的时候如果使用不当,会产生精度不够的问题,从而导致我们的计算错误。
那么为什么会产生精度不够的问题,等价无穷小的本质是什么,这就是本文要来探讨的问题。

前置知识

  • 多项式逼近
  • 泰勒展开

参考阅读:泰勒公式系列之一,多项式逼近

本文所用符号说明

大O表示同阶无穷小
注:数学辞海给出的解释是大O即可表示同阶或高阶无穷小,详情见附录
小o表示高阶无穷小

如对于 x 2 + 2 x 3 + x 4 x^2+2x^3+x^4 x2+2x3+x4,用大O表示则表示为 O ( x 2 ) O(x^2) O(x2),即与 x 2 x^2 x2为同阶无穷小;小o表示为 o ( x ) o(x) o(x),表示是 x x x的高阶无穷小。

对于 e x e^x ex x = 0 x=0 x=0处的泰勒展开可表示为以下两种形式:
e x = 1 + x + x 2 2 ! + o ( x 2 ) e^x=1+x+\frac{x^2}{2!}+o\left( x^2 \right) ex=1+x+2!x2+o(x2)
e x = 1 + x + x 2 2 ! + O ( x 3 ) e^x=1+x+\frac{x^2}{2!}+O\left( x^3 \right) ex=1+x+2!x2+O(x3)

先来看两个例题

lim ⁡ x → 0 x − ( e sin ⁡ x − 1 ) x 3 = 等价无穷小 lim ⁡ x → 0 x − sin ⁡ x x 3 = lim ⁡ x → 0 1 6 x 3 x 3 = 1 6 \underset{x\rightarrow 0}{\lim}\frac{x-\left( e^{\sin x}-1 \right)}{x^3}\xlongequal{\text{等价无穷小}}\underset{x\rightarrow 0}{\lim}\frac{x-\sin x}{x^3}=\underset{x\rightarrow 0}{\lim}\frac{\frac{1}{6}x^3}{x^3}=\frac{1}{6} x0limx3x(esinx1)等价无穷小 x0limx3xsinx=x0limx361x3=61
lim ⁡ x → 0 x − sin ⁡ ( e x − 1 ) x 2 = 等价无穷小 lim ⁡ x → 0 x − ( e x − 1 ) x 2 = lim ⁡ x → 0 1 − e x 2 x = lim ⁡ x → 0 − e x 2 = − 1 2 \underset{x\rightarrow 0}{\lim}\frac{x-\sin \left( e^x-1 \right)}{x^2}\xlongequal{\text{等价无穷小}}\underset{x\rightarrow 0}{\lim}\frac{x-\left( e^x-1 \right)}{x^2}=\underset{x\rightarrow 0}{\lim}\frac{1-e^x}{2x}=\underset{x\rightarrow 0}{\lim}\frac{-e^x}{2}=-\frac{1}{2} x0limx2xsin(ex1)等价无穷小 x0limx2x(ex1)=x0lim2x1ex=x0lim2ex=21

求这两个极限的过程第一步的等价无穷小正确吗?
我们先用其他方法来算一下这两个极限,就用大家熟悉的洛必达法则好了
lim ⁡ x → 0 x − ( e sin ⁡ x − 1 ) x 3 = lim ⁡ x → 0 1 − e sin ⁡ x ⋅ cos ⁡ x 3 x 2 = lim ⁡ x → 0 − e sin ⁡ x ⋅ cos ⁡ 2 x + e sin ⁡ x ⋅ sin ⁡ x 6 x = lim ⁡ x → 0 e sin ⁡ x ⋅ ( sin ⁡ x − cos ⁡ 2 x ) 6 x = lim ⁡ x → 0 sin ⁡ x − cos ⁡ 2 x 6 x = ∞ \begin{aligned} \underset{x\rightarrow 0}{\lim}\frac{x-\left( e^{\sin x}-1 \right)}{x^3}&=\underset{x\rightarrow 0}{\lim}\frac{1-e^{\sin x}\cdot \cos x}{3x^2} \\ &=\underset{x\rightarrow 0}{\lim}\frac{-e^{\sin x}\cdot \cos ^2x+e^{\sin x}\cdot \sin x}{6x} \\ &=\underset{x\rightarrow 0}{\lim}\frac{e^{\sin x}\cdot \left( \sin x-\cos ^2x \right)}{6x} \\ &=\underset{x\rightarrow 0}{\lim}\frac{\sin x-\cos ^2x}{6x} \\ &=\infty \end{aligned} x0limx3x(esinx1)=x0lim3x21esinxcosx=x0lim6xesinxcos2x+esinxsinx=x0lim6xesinx(sinxcos2x)=x0lim6xsinxcos2x=

lim ⁡ x → 0 x − sin ⁡ ( e x − 1 ) x 2 = lim ⁡ x → 0 1 − cos ⁡ ( e x − 1 ) ⋅ e x 2 x = lim ⁡ x → 0 sin ⁡ ( e x − 1 ) ⋅ e 2 x − cos ⁡ ( e x − 1 ) ⋅ e x 2 = − 1 2 \begin{aligned} \underset{x\rightarrow 0}{\lim}\frac{x-\sin \left( e^x-1 \right)}{x^2} &=\underset{x\rightarrow 0}{\lim}\frac{1-\cos \left( e^x-1 \right) \cdot e^x}{2x} \\ &=\underset{x\rightarrow 0}{\lim}\frac{\sin \left( e^x-1 \right) \cdot e^{2x}-\cos \left( e^x-1 \right) \cdot e^x}{2} \\ &=-\frac{1}{2} \end{aligned} x0limx2xsin(ex1)=x0lim2x1cos(ex1)ex=x0lim2sin(ex1)e2xcos(ex1)ex=21

可以看到我们第一个极限用等价无穷小算的是错误的,第二个是正确的。
第二个等价无穷小代换没有问题,为什么第二个可以而第一个不可以,这就是本文我们要探究的。

等价无穷小的本质

我们来看两个等价无穷小

1

e x − 1 ∼ x e^x-1\sim x ex1x
我们来看一下 e x e^x ex x = 0 x=0 x=0处的泰勒展开
e x = 1 + x + O ( x 2 ) e^x=1+x+O\left( x^2 \right) ex=1+x+O(x2)
移项
e x − 1 = x + O ( x 2 ) e^x-1=x+O\left( x^2 \right) ex1=x+O(x2)
把它和等价无穷小比较,我们发现其实等价无穷小只是一种“粗略”的近似,它把高阶无穷小忽略了。

2

x − sin ⁡ x ∼ 1 6 x 3 x-\sin x\sim \frac{1}{6}x^3 xsinx61x3
来看一下 s i n x sinx sinx x = 0 x=0 x=0处的泰勒展开
sin ⁡ x = x − x 3 3 ! + O ( x 5 ) \sin x=x-\frac{x^3}{3!}+O\left( x^5 \right) sinx=x3!x3+O(x5)
移项
x − sin ⁡ x = x 3 3 ! + O ( x 5 ) x-\sin x=\frac{x^3}{3!}+O\left( x^5 \right) xsinx=3!x3+O(x5)
把它和等价无穷小比较,这其实也是一个“粗略”的近似。

结论

等价无穷小本质是一种“粗略”的近似,忽略了更高阶的项,所以才会产生精度不够的问题。

回过头来看那两道例题

我们再回过来头来求那两个极限题,为什么一个精度不够,一个精度够。

1

lim ⁡ x → 0 x − ( e sin ⁡ x − 1 ) x 3 \underset{x\rightarrow 0}{\lim}\frac{x-\left( e^{\sin x}-1 \right)}{x^3} x0limx3x(esinx1)
由于
e sin ⁡ x = 1 + sin ⁡ x + sin ⁡ 2 x 2 ! + O ( sin ⁡ 3 x ) = 1 + sin ⁡ x + sin ⁡ 2 x 2 ! + O ( x 3 ) e^{\sin x}=1+\sin x+\frac{\sin ^2x}{2!}+O\left( \sin ^3x \right) =1+\sin x+\frac{\sin ^2x}{2!}+O\left( x^3 \right) esinx=1+sinx+2!sin2x+O(sin3x)=1+sinx+2!sin2x+O(x3)
所以
lim ⁡ x → 0 x − ( e sin ⁡ x − 1 ) x 3 = lim ⁡ x → 0 x − sin ⁡ x − sin ⁡ 2 x 2 ! + O ( x 3 ) x 3 \underset{x\rightarrow 0}{\lim}\frac{x-\left( e^{\sin x}-1 \right)}{x^3}=\underset{x\rightarrow 0}{\lim}\frac{x-\sin x-\frac{\sin ^2x}{2!}+O\left( x^3 \right)}{x^3} x0limx3x(esinx1)=x0limx3xsinx2!sin2x+O(x3)
我们发现了什么?我们前面做等价无穷小的时候将 sin ⁡ 2 x 2 ! \frac{\sin ^2x}{2!} 2!sin2x丢弃了,所以我们才会产生精度不够的问题
lim ⁡ x → 0 x − sin ⁡ x − sin ⁡ 2 x 2 ! + O ( x 3 ) x 3 = lim ⁡ x → 0 x − ( x + O ( x 3 ) ) − ( x + O ( x 3 ) ) 2 2 + O ( x 3 ) x 3 = lim ⁡ x → 0 − x 2 2 + O ( x 3 ) x 3 = lim ⁡ x → 0 − 1 2 + O ( x ) x = ∞ \begin{aligned} \underset{x\rightarrow 0}{\lim}\frac{x-\sin x-\frac{\sin ^2x}{2!}+O\left( x^3 \right)}{x^3}&=\underset{x\rightarrow 0}{\lim}\frac{x-\left( x+O\left( x^3 \right) \right) -\frac{\left( x+O\left( x^3 \right) \right) ^2}{2}+O\left( x^3 \right)}{x^3} \\ &=\underset{x\rightarrow 0}{\lim}\frac{-\frac{x^2}{2}+O\left( x^3 \right)}{x^3} \\ &=\underset{x\rightarrow 0}{\lim}\frac{-\frac{1}{2}+O\left( x \right)}{x} \\ &=\infty \end{aligned} x0limx3xsinx2!sin2x+O(x3)=x0limx3x(x+O(x3))2(x+O(x3))2+O(x3)=x0limx32x2+O(x3)=x0limx21+O(x)=

2

lim ⁡ x → 0 x − sin ⁡ ( e x − 1 ) x 2 \underset{x\rightarrow 0}{\lim}\frac{x-\sin \left( e^x-1 \right)}{x^2} x0limx2xsin(ex1)
由于
sin ⁡ ( e x − 1 ) = ( e x − 1 ) + O ( ( e x − 1 ) 3 ) = ( e x − 1 ) + O ( x 3 ) \sin \left( e^x-1 \right) =\left( e^x-1 \right) +O\left( \left( e^x-1 \right) ^3 \right) =\left( e^x-1 \right) +O\left( x^3 \right) sin(ex1)=(ex1)+O((ex1)3)=(ex1)+O(x3)
所以
lim ⁡ x → 0 x − sin ⁡ ( e x − 1 ) x 2 = lim ⁡ x → 0 x − ( e x − 1 ) + O ( x 3 ) x 2 = lim ⁡ x → 0 x − ( e x − 1 ) x 2 = − 1 2 \underset{x\rightarrow 0}{\lim}\frac{x-\sin \left( e^x-1 \right)}{x^2}=\underset{x\rightarrow 0}{\lim}\frac{x-\left( e^x-1 \right) +O\left( x^3 \right)}{x^2}=\underset{x\rightarrow 0}{\lim}\frac{x-\left( e^x-1 \right)}{x^2}=-\frac{1}{2} x0limx2xsin(ex1)=x0limx2x(ex1)+O(x3)=x0limx2x(ex1)=21
与原来等价无穷小进行比较,我们发现我们丢弃了 O ( x 3 ) O(x^3) O(x3),但是
lim ⁡ x → 0 O ( x 3 ) x 2 = 0 \underset{x\rightarrow 0}{\lim}\frac{O\left( x^3 \right)}{x^2}=0 x0limx2O(x3)=0
所以我们可以将高阶项可以进行丢弃,并不会影响结果,这就是为什么第二个例子可以用等价无穷小,因为精度够了。

总结

在乘除的时候,进行等价无穷小代换的时候并不需要考虑太多。
但是在加减的时候,容易出现加减以后低阶项消去了,这时候就要用到高阶项,而等价无穷小只是一种“粗略”的近似,这就可能会产生精度问题。
对于加减,建议使用泰勒展开去做,这样就能清晰的看出精度是否足够。
虽然有些老师可能会总结一些结论,比如减法的时候极限比值为1的时候不能换,但是
lim ⁡ x → 0 x e sin ⁡ x − 1 = lim ⁡ x → 0 x sin ⁡ x = 1 \underset{x\rightarrow 0}{\lim}\frac{x}{e^{\sin x}-1}=\underset{x\rightarrow 0}{\lim}\frac{x}{\sin x}=1 x0limesinx1x=x0limsinxx=1
lim ⁡ x → 0 x sin ⁡ ( e x − 1 ) = lim ⁡ x → 0 x e x − 1 = 1 \underset{x\rightarrow 0}{\lim}\frac{x}{\sin \left( e^x-1 \right)}=\underset{x\rightarrow 0}{\lim}\frac{x}{e^x-1}=1 x0limsin(ex1)x=x0limex1x=1
这两个比值均为1,一个能换一个确不能换。
所以大家学数学的时候不能只记结论,要知其所以然。

附录

数学辞海对于大O和小o符号的解释

在这里插入图片描述

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值