李-楊の定理の証明
📂動力学李-楊の定理の証明
定理
連続マップ f:[a,b]→[a,b] の周期-3 軌道が存在する場合、f はカオティックであることになる。
説明
リ-ヨーク定理li-Yorke theoremは、期間-3 定理period-3 theoremとしても知られ、周期-3 がカオスを引き起こすというステートメントとしてもよく言及される。この定理は1次元マップに限定されているように見えるが、周期-3 軌道の単なる存在が全ての周期軌道の存在を保証することは、数学的に見て非常に驚くべきことである。普通、数学ではnについてある性質が成立する場合、その約数、倍数、あるいはそれより小さい数についてのみ成立することが多いからだ。
歴史
リ-ヨーク定理を一般化した理論としてシャルコフスキーの定理があるが、実際にはリ-ヨークの論文が1975年に、シャルコフスキーの論文が1964年に発表されたので、逆にリ-ヨーク定理がシャルコフスキーの定理の特殊なケースであると考えるべきだ。冷戦のため、シャルコフスキーの業績は世界に遅れて知られることになり、知られた時にはすでにリ-ヨーク定理がカオス理論の中心的な定理として地位を確立していた。
証明
戦略: 周期-3 軌道が必要な理由は、例えば3つの周期点 x0<x1<x2 が存在する場合、空間を L=[x0,x1] と R=[x1,x2] の2つの部分に分けることができるからである。周期-m 軌道の存在を示すためには、固定点 p が左 L から始まり、R で停滞し、最後に L に戻るサブインターバルのシーケンスを見つけることになる。
Part 1. 閉区間 I,i′ について I’⊂f(I) とすると、f(S)=i′ を満たすサブインターバル S⊂I が存在する。
i′ は閉区間なので、最大最小値定理と中間値の定理により、f(s0)=mini′ と f(s1)=maxi′ を満たす s0,s1∈I が存在する。これについて、s0 と s1 を含む最小の閉区間を S とすると、S⊂I は f の連続性により f(S)=i′ を満たす。
Part 2. I0⊂f(I0) ならば、In⊂I0 と In−1=f(In) を満たす閉区間のシーケンス {In}n∈N が存在し、I0=fn(In) が成立する。
n=1 の場合、Part 1によって、I0=f(I1) を満たす I1⊂I0 が存在する。
n>1 の場合、In⊂I0 と In−1⊂f(In) が成り立つと仮定してみる。すると、In⊂I0⊂f(I0) であるから、Part 1によって、In=f(In+1) を満たす In+1⊂I0 が存在し、数学的帰納法によってシーケンス {In}n∈N が存在する。
一方、再帰的に包含関係を解くと
I0=f(I1)=f(f(I2))=f2(I2)=⋯=fn(In)
となり、I0=fn(In) を得る。
Part 3. fm は全ての m∈N に対して固定点を持つ。
[a,b] の3点 x0<x1<x2 が f の周期-3 軌道で、x1:=f(x0) と x2:=f2(x0) を満たすとする。便宜上、L:=[x0,x1] を左left、R:=[x1,x2] を右rightと定義する。
- Part 3-1. R⊂f(R)
[x1,x2]⊂[x0,x2]
そして
[x0,x2]=[f(x2),f(x1)]⊂f[x1,x2]
なので、
[x1,x2]⊂[x0,x2]⊂f[x1,x2]
を得る。要約すると、R⊂f(R) である。 - Part 3-2. R⊂f(L)
[x1,x2]=[f(x0),f(x1)]⊂f[x0,x1]
が成立する。要約すると、R⊂f(L) である。
- Part 3-3. fm の固定点 p が存在する。
中間値の定理の固定点形式: I⊂f(I) ならば、連続関数 f は区間 I で固定点を持つ。
中間値の定理の固定点形式により、fm に対して I⊂fm(I) を満たす区間 I の存在を示せば、固定点も存在する。
全ての m∈N に対して、fm が L で固定点を持つとし、これを p∈Im−1⊂L と呼ぶ。
- Part 3-4. fm の固定点 p は f の周期-m 点である。
- m=1 の場合、固定点は事実上周期-1 点である。したがって、m>1 に対して、{Ik}k=0m−1 の定義に従って、自然数 1≤k<m に対して固定点 p が存在しえないことを示せばよい。
fk(Im−1)=fk−1(f(Im−1))=fk−1(Im−2)⊂R
しかし、p∈L なので、fk(p)∈R と同じになることはできない。言い換えると、k=1,⋯,m−1 に対して、fk(p)=p が成り立ち、したがってp は f の周期-m 点である。
Part 1.~Part 3. を要約すると、f は全ての m∈N に対して周期-m 軌道を持つため、カオティックである。
■
ちなみに、Part 1で証明された補助定理は、与えられたイメージ