对于任意的序列xt+1=axt+bxt+1=axt+b, 只要a≠1a≠1, 则有: x∗=b1−ax∗=b1−a.
证:xt+1−x∗=axt+b−x∗=axt+b−b1−a=axt−ab1−a=a(xt−x∗)xt+1−x∗=axt+b−x∗=axt+b−b1−a=axt−ab1−a=a(xt−x∗).
implication: a被称为convergence, 因为只要a很小, 那么xt+1−x∗xt+1−x∗也会很小, 那么它收敛地会很快.
我们解这个差分方程, 得到:
xt=x∗+at(x0−x∗)xt=x∗+at(x0−x∗). 则 if |a|<1|a|<1, 则convergence, 当a为正数时是单调收敛, a为负数时时振幅减小的波.
在linear system里面, local stability(接近于某一点为起始点的时候才会收敛) →→ global stability(无论从哪个点出发都会收敛到同一点).
In general, 我们在宏观里考虑的是nonlinear的差分方程: xt+1=ϕ(xt)xt+1=ϕ(xt). 其steady state为x∗=ϕ(x∗)x∗=ϕ(x∗), 不一定有解.
有解的判决条件是|ϕ′(x∗)|<1|ϕ′(x∗)|<1.
证: xt+1=ϕ(xt)≈ϕ(z)+ϕ′(z)(xt−z)→xt+1=ϕ(xt)≈ϕ(x∗)+ϕ′(z)(xt−x∗)→xt+1−x∗=ϕ′(x∗)(xt−x∗)xt+1=ϕ(xt)≈ϕ(z)+ϕ′(z)(xt−z)→xt+1=ϕ(xt)≈ϕ(x∗)+ϕ′(z)(xt−x∗)→xt+1−x∗=ϕ′(x∗)(xt−x∗).
对于线性系统来说, ϕ′ϕ′为aa. 所以只要它的绝对值小于1了, 就代表收敛, 代表有解. 非线性系统用这种方法得证.
对于xt=x∗+at(x0−x∗),a∈(0,1)xt=x∗+at(x0−x∗),a∈(0,1), x0x0到x∗x∗之间的距离缩小一半所需的时间是:t=ln(0.5)ln(a)t=ln(0.5)ln(a).
证: xt=x∗+at(x0−x∗),a∈(0,1)→ln(xt−x∗)=tln(a)+ln(x0−x∗)xt=x∗+at(x0−x∗),a∈(0,1)→ln(xt−x∗)=tln(a)+ln(x0−x∗)
→ln(xt−x∗x0−x∗)=tln(a)→for xt−x∗x0−x∗=0.5→Q.E.D→ln(xt−x∗x0−x∗)=tln(a)→for xt−x∗x0−x∗=0.5→Q.E.D.