MathLabs
定理已证明

逻辑斯蒂映射在 r = 3 处的周期倍增

命题陈述

对于逻辑斯蒂映射 f(x)=rx(1−x)f(x)=rx(1-x),非平凡不动点 x∗=1−1rx^* = 1-\tfrac{1}{r} 在 1<r<31<r<3 时稳定,恰好在 r=3r=3 处失去稳定性,并发生周期倍增分岔,产生一个稳定的2周期轨道。

为什么成立?

映射在不动点处的导数衡量一个微小扰动经过一步后是增长还是缩小;当其大小超过1时,该点由吸引变为排斥,而映射的二次迭代在该阈值处的斜率恰为 (−1)2=1(-1)^2=1,因此恰好可能分岔出一条新的2周期轨道。

证明思路

第一步(求不动点)。解 rx(1−x)=xrx(1-x)=x,即 x[r(1−x)−1]=0x[r(1-x)-1]=0。这给出 x=0x=0 或非平凡不动点 x∗=1−1rx^* = 1-\tfrac{1}{r},当 r>1r>1 时它恰好位于 (0,1)(0,1) 内。

第二步(线性化)。求导得 f′(x)=r−2rxf'(x)=r-2rx。在非平凡不动点处求值,f′(x∗)=r−2r(1−1r)=r−2r+2=2−rf'(x^*) = r - 2r\left(1-\tfrac1r\right) = r - 2r + 2 = 2-r,故 f′(x∗)=2−rf'(x^*) = 2-r。

第三步(稳定性判据)。不动点局部稳定当且仅当 ∣f′(x∗)∣<1|f'(x^*)|<1,即 ∣2−r∣<1|2-r|<1,化简得 1<r<31<r<3。因此在此整个区间内 x∗x^* 都吸引附近的轨道。

第四步(r = 3 处的分岔)。恰好在 r=3r=3 处,f′(x∗)=−1f'(x^*)=-1:线性化处于临界状态。当 rr 略大于3时,∣f′(x∗)∣>1|f'(x^*)|>1,x∗x^* 变为排斥点。同时,由链式法则,二次迭代映射 f∘ff\circ f 在 x∗x^* 处的导数恰好在 r=3r=3 时为 f′(x∗)2=1f'(x^*)^2=1;将 f∘ff\circ f 展开到更高阶可以证明,当 rr 增大越过3时,这个退化点分裂为 f∘ff\circ f 的两个真正的新不动点(即 ff 的一个稳定2周期轨道)——这正是周期倍增分岔。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Steven H. Strogatz (2015). Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering
  2. Edward N. Lorenz (1963). Deterministic Nonperiodic Flow
  3. Robert M. May (1976). Simple mathematical models with very complicated dynamics
  4. Warwick Tucker (2002). A Rigorous ODE Solver and Smale's 14th Problem