关于数列相关的不动点的研究

关于数列相关的不动点的研究

形如 $f(x)=\frac{ax+b}{cx+d}$ 的函数，对于 $a_{n+1}=f(a_n)$ 常见的做法是进行配凑。

$$a_{n+1}=\frac{a\times a_n+b}{c\times a_n+d}$$

同时减去 $x$ 满足

$$a_{n+1}-x=\frac{a\times a_n+b}{c\times a_n+d}-x$$

$$=\frac{(a-cx)(a_n+\frac{b-dx}{a-cx})}{c\times a_n+d}$$

为了满足同构，构造 $-x=\frac{b-dx}{a-cx}$

得到方程

$$c{x}^2+(d-a)x-b=0$$

对于该二次方程的根进行讨论:

如果存在两个不同的实数根 $x_1,x_2$

可得:

$$a_{n+1}-x_1=\frac{(a-c{x}_1)(a_n-x_1)}{c\times a_n+d}$$
$$a_{n+1}-x_2=\frac{(a-c{x}_2)(a_n-x_2)}{c\times a_n+d}$$

于是两式相除得到:

$$\frac{a_{n+1}-x_1}{a_{n+1}-x_2}=\frac{a-c{x}_1}{a-c{x}_2}\times \frac{a_n-x_1}{a_n-x_2}$$

所以我们得到 { a n + 1 − x 1 a n + 1 − x 2 } \{ \frac{a_{n+1} -x_1}{a_{n+1} - x_2} \} {an+1​−x2​an+1​−x1​​} 是公比为 $\frac{a-c{x}_1}{a-c{x}_2}$ 的等比数列。

如果只有一个实数根 $x_0$

由韦达定理可得:

$$2x_0=\frac{a-d}{c},d=a-2c{x}_0$$

$$a_{n+1}-x_0=\frac{(a-c{x}_0)(a_n-c{x}_0)}{c(a_n-x_0)+(a-c{x}_0)}$$

$$\frac{1}{a_{n+1}-x_0}=\frac{1}{a_n-x_0}+\frac{c}{a-c{x}_0}$$

可以得到 { 1 a n + 1 − x 0 } \{ \frac{1}{a_{n+1}-x_0} \} {an+1​−x0​1​} 为公差为 $\frac{c}{a-c{x}_0}$ 的等差数列。

如果不存在实数解

我们知道一定存在一组共轭复数满足这个方程，为 $z_1,z_2$

把公比记作 $z_0=\frac{a-c{z}_1}{a-c{z}_2}$ ， 由于共轭复数的性质:

$$z_0=\frac{a-c{z}_1}{a+c{z}_1}=\frac{(a-c{z}_2{)}^2}{|a-c{z}_1|}$$

容易得到 $|z_0|=1$ ， 记 $z_0$ 的辐角为 $\theta$ , $z_0=cos\theta +isin\theta$

于是当 $\frac{\theta }{\pi }$ 为有理数的时候， { a n } \{a_n\} {an​} 为周期数列。也就是不断代入就可以得到循环节的那种章博涛最为擅长的找规律题。