軌道 (力学系)

力学系における軌道とは、初期条件に対して時間発展のルールを適用したときに定まる、相空間上の点の集合である。連続的な時間を仮定した系だと、軌道は相空間内で一本の曲線となり、離散的な時間を仮定した系だと、軌道は相空間内で点列となる。

1. 定義
-----

1.1. 一般
-------

力学系を定める相空間を X}}、時間を G}}、時間発展のルールを //ϕ//: //G// × //X// → //X//}} とする。ある //t// ∈ //G//}} に固定したときの ϕ}} を写像 //ϕ////t//}} と表し、//X// ∋ //x// mapsto}} //ϕ////t// ∈ //X//}} である。G}} は結合法則 //t//1 + //t//2 }} で表される群構造を持ち、//ϕ////t//}} は、

という性質を満たすKuznetsov白石。ここで e}} は G}} の単位元、id}} は恒等写像、∘}} は写像の合成を意味する。

このような力学系 //X//, //T//, //ϕ////t//}} において

で定義される X}} の順序部分集合 //O//}} を軌道と呼ぶKuznetsov。ただし、t}} が取り得る値は //ϕ////t//   }} が定義されている範囲に限られるKuznetsov。//O//}} は「//x//0}} を通る軌道」と呼ばれるウィギンス國府。軌道の記号には、//O//}} 國府荒井、//C//}} 齋藤、//γ//}} 郡・森田今・竹内、Γ}} Jackson、Orb}} 白石などの表記がある。

群論の言葉では軌道は次のように定義される。上記を満たす写像 ϕ}} を、群 G}} の集合 X}} への作用という。この作用 ϕ}} について、X}} 上の2点 //x//0, //y//}} が適当な t}} を選びさえすれば //ϕ////t//    =}} //y//}} という関係を満たすとき、//x//0, //y//}} は同値関係 //x//0 ∼ //y//}} にあると定義する。この同値関係によって X}} を分ける同値類が軌道 //O//}} である白石。

時間 G}} が整数 &Zopf;}} のときの力学系を離散力学系と呼び、G}} が実数 &Ropf;}} のときを連続力学系と呼ぶKuznetsov白石。相空間上のどの点も初期値となりうるので、相空間は何かしらの軌道によって完全に埋め尽くされるStrogatz。力学系理論の主目的は、系の軌道の性質・振る舞いを調べることにある久保・矢野青木・白岩。特に力学系理論の場合、時間が正または負の無限大に発散するときの漸近的振る舞いを問題とする荒井國府青木・白岩。軌道同士の相互関係や、系に摂動が加わったときに起こる軌道全体の構造の変化なども力学系理論の題目である青木・白岩。

1.2. 離散力学系
----------

離散力学系は写像の反復によって定義される白石。相空間上のある点 //x//0 ∈ //M//}} に写像 //f//: //M// → //M//}} を繰り返し適用することで、1= //x//0, //f//   , //f//   2, … //f//   //n//, … }} という点列が得られる。点列は //x//0, //x//1 =}} //f//   , //x//2 =}} //f//   2, … //x////n// =}} //f//   //n//, …}} とも表すデバニー。この点列が離散力学系の軌道であるデバニー。多くの力学系で f}} は連続写像であるKuznetsov。

例えば、&Ropf;}} 上の正弦関数 //f// =}} sin}} で定義される離散力学系を考える。//x//0 =}} 123}} とすると、

というような数列がその軌道であるデバニー。

細かく分けると、点列 1= //x//0, //f//   , //f//   2, …}} は特に前方軌道Devaney松葉や正の半軌道久保・矢野小室と呼ばれ、//O//+}} 青木や //O//+}} Devaneyのように表す。

一方、f}} が可逆で逆写像 //f//   −1}} を持つとき、//f//   0}} は恒等写像だとして、//k// < 0}} についても写像の反復 //f//   //k//}} が定義できるKuznetsov。それによって、1= //x//0, //f//   −1, //f//   −2, …}} という点列が定義でき、//O//−}} などのように表すDevaney松葉。

逆写像によって定まる点列 //O//−}} は後方軌道Devaney松葉や負の半軌道川上と呼ばれる。正の半軌道と負の半軌道を足し合わせた集合

を軌道川上國府青木・白岩や全軌道松葉Devaneyと呼ぶ。

1.3. 連続力学系
----------

連続力学系を定義する一番普通の方法は、微分方程式による定義であるKuznetsov。相空間 X}} がユークリッド空間か多様体だとする。未知関数 //x// ∈ //X//}} の常微分方程式系

を考える。この微分方程式が初期条件 //x// =}} //x//0}} を満たす解を //x//}} と表す。微分方程式を決めている関数 //V//}} は X}} 上にベクトル場を与える久保・矢野。この解 //x//}} は上の節で一般的に定義した写像 //ϕ////t//   }} と等しいKuznetsov。

微分方程式の解が存在する t}} の領域を //I// ⊂ &Ropf;}} とする。連続力学系の軌道とは、

で定義される集合である今・竹内ウィギンス。ただし、//O//}} には t}} が小さい方から大きい方に向かって向きが付いている今・竹内。

簡単のために 1= //I// = }} だと仮定すれば、連続力学系の正の半軌道は、

で定義され、負の半軌道は、

で定義される坂井郡・森田。正の半軌道と負の半軌道を足し合わせた集合

を離散力学系と同様に軌道坂井郡・森田柴山や全軌道郡・森田と呼ぶ。

連続力学系の //x//0}} を通る軌道は、相空間上の //x//0}} を通る一つの曲線に対応する齋藤。この曲線を微分方程式の解曲線とも呼ぶ小室。軌道上の各点 x}} にはベクトル場のベクトル //V//}} が存在し、軌道に接している丹羽。解曲線のことを解軌道という風に呼ぶこともある船越今・竹内。微分方程式を満たす解 //x//}} を指して解軌道千葉高橋や軌道柴山小室と呼ぶこともある。

2. 特殊な軌道
--------

2.1. 不動点・平衡点
------------

もっとも単純な軌道としては、離散力学系の不動点と連続力学系の平衡点がある川上柴山Kuznetsov。これら2つを共に「不動点」ウィギンス千葉と呼んだり、「平衡点」今・竹内松葉と呼ぶこともある。以下では区別して記す。

離散力学系の不動点とは、写像 f}} を適用しても動かない点のことで、//f//    =}} //x//0}} を満たす点 //x//0}} であるデバニー。不動点 //x//0}} での軌道は //O// =}} Mset という定数の列となるデバニー。連続力学系の平衡点とは、時間が経っても動かない点である森・水谷。平衡点 //x//0}} での軌道は //O// =}} Mset となる坂井。微分方程式で定まる系の場合、定常解 //x// ≡ //x//0}} のことで、微分方程式の右辺//V// =}} 0}} を満たす点 //x//0}} が平衡点である柴山。

ひとまとめされることがあるように不動点も平衡点も同じ性質のものだといえる松葉。一般化された定義を与えると、時間発展のルール //ϕ////t//}} が任意の //t// ∈ //G//}} について //ϕ////t// =}} //x//0}} を満たすときの //x//0}} が不動点・平衡点であるKuznetsov。不動点・平衡点を調べることは、一般の軌道を調べるよりも総じて容易であり、与えられた力学系を理解するための重要な手がかりとなる國府。

2.2. 周期軌道
---------

もう一つの比較的単純な軌道が周期軌道であるKuznetsov。

離散力学系で、非零のある自然数 //k// > 0}} について //f//   //k// =}} //x//0}} を満たす //x//0}} を周期点と呼ぶデバニー。条件を満たす最小の k}} を周期國府や最小周期白石と呼ぶ。そして、ある周期点を通る軌道を周期軌道と呼び松葉、軌道は周期的であるというウィギンス。周期 k}} の軌道だと

のようになるデバニー。周期軌道の各点は全て同じ周期の周期点であるデバニー。

連続力学系の場合、非零のある実数 //T// > 0}} と任意の t}} について微分方程式の解が //x// =}} //x// }} を満たすとき、解を周期解と呼ぶ今・竹内。条件を満たす最小の T}} を周期今・竹内や最小周期伊藤荒井と呼ぶ。このような解の軌道、すなわち集合

が連続力学系の周期軌道である郡・森田齋藤。連続力学系の周期軌道は相空間上で閉曲線となり、そのため閉軌道とも呼ばれる伊藤荒井。

2.3. 準周期軌道
----------

相空間がトーラスになると、準周期軌道という種類の軌道が存在し得るStrogatz。2次元トーラス &Topf;2}} 上の

という微分方程式を考える。トーラスは 2//π//}} を法として得られる商集合 &Topf;2 =}} &Ropf;2/2//π// &Zopf;2}} と見なし、 ∈ &Topf;2}} である伊藤。

比 //ω//2///ω//1}} が有理数のとき、この連続力学系の軌道はトーラス上で周期軌道となる伊藤。一方、//ω//2///ω//1}} が無理数のとき、任意の解は &Topf;2}} 上を稠密に埋めつくす伊藤。後者のような解を準周期解伊藤、軌道を準周期的である坂井あるいは準周期軌道井上・秦Strogatzと呼ぶ。軌道が準周期的なとき、軌道は閉じることも自己交差することもなく、トーラスに永久に巻きつきながら、トーラス上を軌道で埋め尽くす井上・秦Strogatz。一般の n}} 次元トーラス &Topf;//n//}} についても同種のことが成り立つ伊藤井上・秦。

&Topf;2}} 上の準周期軌道をポアンカレ写像によって離散力学系に落とし込むと、ポアンカレ断面でトーラスを切り取った格好となるので、準周期軌道は断面上で閉じた曲線として反映される井上・秦。//θ//1 =}} 0}} でポアンカレ写像を構成すると、

となり、円周上の点を角度 2//π//}} ずつ動かす写像になるHirsch, Smale & Devaney。//ω//2///ω//1}} が無理数のとき、この写像の軌道は円周を稠密に埋め尽くすHirsch, Smale & Devaney。離散力学系のこのような軌道も準周期的アリグッド、サウアー、ヨーク、準周期軌道ウィギンスと呼ばれることもある。

3. 出典
-----

4. 参照文献
-------

title = カオスCGコレクション