一种判断数列是否收敛的不动点检测方法
假设x0<x,并且有x0<f(x)<x:
在这个条件下进行推导:
x0<a2=f(a1)<a1
x0<a3=f(a2)<a2
x0<a4=f(a3)<a3
.....
在这个过程中可以看出a(n)是逐渐接近不动点的。
下面判断就函数导数的角度看前面假设的意义:
A={f(an)-f(x0)}/{ an-x0}
Go
A={f(an)-f(x0)}/{ an-x0}={f(an)- x0 }/{ an-x0}
根据假设知道0<A<1.
也就是说对于a(n)的每个值,它与x0的导数都在0和1之间。
现在的问题是:它们每个的微分是多少?