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を超えると、その点は引き込み型から反発型へと反転し、写像の2回合成写像の傾きがちょうどその閾値で (−1)2=1(-1)^2=1 となるため、まさに新たな周期2軌道が分岐しうる。

証明の概略

ステップ1(平衡点を求める)。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) に属する。

ステップ2(線形化)。微分すると 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。

ステップ3(安定性の判定基準)。平衡点が局所的に安定であるのはちょうど ∣f′(x∗)∣<1|f'(x^*)|<1 のときであり、すなわち ∣2−r∣<1|2-r|<1 で、これは 1<r<31<r<3 と書き換えられる。したがって x∗x^* はこの範囲全体で近くの軌道を引き寄せる。

ステップ4(r = 3 での分岐)。ちょうど r=3r=3 で f′(x∗)=−1f'(x^*)=-1 となり、線形化は境界的である。rr が3をわずかに超えると ∣f′(x∗)∣>1|f'(x^*)|>1 となり x∗x^* は反発点になる。一方、二回合成写像 f∘ff\circ f は連鎖律により、r=3r=3 ちょうどで x∗x^* における導関数が 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