軌道 (力学系)

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

**定義**

**一般**
力学系を定める相空間を X、時間を G、時間発展のルールを ϕ: G × X → X とする。ある t ∈ G に固定したときの ϕ を写像 ϕt と表し、 である。G は結合法則 t1 + t2 (t1, t2 ∈ T) で表される群構造を持ち、ϕt は、
#
#
という性質を満たすp=6。ここで e は G の単位元、id は恒等写像、∘ は写像の合成を意味する。
このような力学系 X, T, ϕt において 

で定義される X の順序部分集合 O(x0) を軌道（links=no、links=no）と呼ぶp=8。ただし、t が取り得る値は ϕt (x0) が定義されている範囲に限られるp=8。O(x0) は「x0 を通る軌道」と呼ばれるp=2。軌道の記号には、O(x0 pp=16–17p=2p=6の他に、𝒪(x0) p=7、C(x0) p=9、γ(x0) p=42、Γ(x0) p=44、Orb(x0) p=167などの表記がある。
群論の言葉では軌道は次のように定義される。上記を満たす写像 ϕ を、群 G の集合 X への作用という。この作用 ϕ について、X 上の2点 x0, y が適当な t を選びさえすれば  という関係を満たすとき、x0, y  は同値関係 x0 ∼ y にあると定義する。この同値関係によって X を分ける同値類が軌道 O(x0) であるpp=166–167。
時間 G が整数 &Zopf; のときの力学系を離散力学系と呼び、G が実数 &Ropf; のときを連続力学系と呼ぶp=5。相空間上のどの点も初期値となりうるので、相空間は何かしらの軌道によって完全に埋め尽くされるp=8。力学系理論の主目的は、系の軌道の性質・振る舞いを調べることにあるp=166。特に力学系理論の場合、時間が正または負の無限大に発散するときの漸近的振る舞いを問題とするp=164p=17。軌道同士の相互関係や、系に摂動が加わったときに起こる軌道全体の構造の変化なども力学系理論の題目であるp=17。

**離散力学系**
二次元離散力学系の軌道の例。実部が正の複素固有値を持つ線形系で、渦状源点型の軌道すなわち回転しながら原点から離れていく軌道を取る。軌道は相平面上の点列となる（点をつなぐ矢印は補助のために示されている）。
離散力学系は写像の反復によって定義されるp=176。相空間上のある点 x0 ∈ M に写像 f: M → M を繰り返し適用することで、1= x0, f (x0), f 2(x0), … f n(x), …  という点列が得られる。点列は  とも表すp=20。この点列が離散力学系の軌道であるp=20。多くの力学系で f は連続写像であるp=7。
例えば、&Ropf; 上の正弦関数  で定義される離散力学系を考える。 とすると、

というような数列がその軌道であるp=20。
細かく分けると、点列 1= x0, f (x0), f 2(x0), … は特に前方軌道p=16や正の半軌道p=166と呼ばれ、O+(x0) p=6や O+(x0) p=16のように表す。

一方、f が可逆で逆写像 f −1 を持つとき、f 0 は恒等写像だとして、k k が定義できるp=7。それによって、1= x0, f −1(x0), f −2(x0), … という点列が定義でき、O−(x0) などのように表すp=16。

逆写像によって定まる点列 O−(x0) は後方軌道p=16や負の半軌道p=139と呼ばれる。正の半軌道と負の半軌道を足し合わせた集合

を軌道pp=139–140p=6や全軌道p=28と呼ぶ。

**連続力学系**
二次元連続力学系の軌道の例。実部が正の複素固有値を持つ線形系で、渦状源点型の軌道すなわち回転しながら原点から離れていく軌道を取る。軌道は相平面上の曲線となる。
連続力学系を定義する一番普通の方法は、微分方程式による定義であるp=18。相空間 X がユークリッド空間か多様体だとする。未知関数 x(t) ∈ X の常微分方程式系 

を考える。この微分方程式が初期条件  を満たす解を x(t, x0) と表す。微分方程式を決めている関数 V(x) は X 上にベクトル場を与えるp=28。この解 x(t, x0) は上の節で一般的に定義した写像 ϕt (x0) と等しいp=21。
微分方程式の解が存在する t の領域を I ⊂ &Ropf; とする。連続力学系の軌道とは、

で定義される集合であるp=145。ただし、O(x0) には t が小さい方から大きい方に向かって向きが付いている2018。
簡単のために 1= I = (−∞, ∞) だと仮定すれば、連続力学系の正の半軌道は、

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

で定義されるp=xiv。正の半軌道と負の半軌道を足し合わせた集合

を離散力学系と同様に軌道p=xivp=1や全軌道p=52と呼ぶ。
連続力学系の x0 を通る軌道は、相空間上の x0 を通る一つの曲線に対応するp=8。この曲線を微分方程式の解曲線とも呼ぶp=7。軌道（解曲線）上の各点 x にはベクトル場のベクトル V(x) が存在し、軌道に接しているp=36。解曲線のことを解軌道という風に呼ぶこともあるp=78。微分方程式を満たす解 x(t) を指して解軌道p=100や軌道p=1と呼ぶこともある。

**特殊な軌道**

**不動点・平衡点**
もっとも単純な軌道としては、離散力学系の不動点と連続力学系の平衡点があるpp=140–141p=9。これら2つを共に「不動点」pp=6, 9と呼んだり、「平衡点」pp=108, 216と呼ぶこともある。以下では区別して記す。
離散力学系の不動点とは、写像 f を適用しても動かない点のことで、 を満たす点 x0 であるp=21。不動点 x0 での軌道は  という定数の列となるp=21。連続力学系の平衡点とは、時間が経っても動かない点であるp=29。平衡点 x0 での軌道は  となるp=xv。微分方程式で定まる系の場合、定常解 x(t) ≡ x0 のことで、微分方程式の右辺（ベクトル場） を満たす点 x0 が平衡点であるpp=2–3。
ひとまとめされることがあるように不動点も平衡点も同じ性質のものだといえるp=32。一般化された定義を与えると、時間発展のルール ϕt が任意の t ∈ G について  を満たすときの x0 が不動点・平衡点であるp=9。不動点・平衡点を調べることは、一般の軌道を調べるよりも総じて容易であり、与えられた力学系を理解するための重要な手がかりとなるp=8。

**周期軌道**
もう一つの比較的単純な軌道が周期軌道であるp=9。
離散力学系で、非零のある自然数 k > 0 について  を満たす x0 を周期点と呼ぶp=22。条件を満たす最小の k を周期p=8や最小周期p=177と呼ぶ。そして、ある周期点を通る軌道を周期軌道と呼びp=32、軌道は周期的であるというp=27。周期 k の軌道だと

のようになるp=22。周期軌道の各点は全て同じ周期の周期点であるp=23。
連続力学系の場合、非零のある実数 T > 0 と任意の t について微分方程式の解が  を満たすとき、解を周期解と呼ぶp=110。条件を満たす最小の T を周期p=110や最小周期p=26と呼ぶ。このような解の軌道、すなわち集合

が連続力学系の周期軌道であるp=47。連続力学系の周期軌道は相空間上で閉曲線となり、そのため閉軌道とも呼ばれるp=26。

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


という微分方程式を考える。トーラスは 2π を法として得られる商集合  と見なし、(θ1, θ2) ∈ &Topf;2 であるp=138。
比 ω2/ω1 が有理数のとき、この連続力学系の軌道はトーラス上で周期軌道となるp=139。一方、ω2/ω1 が無理数のとき、任意の解は &Topf;2 上を稠密に埋めつくすp=139。後者のような解を準周期解p=140、軌道を準周期的であるp=299あるいは準周期軌道p=72と呼ぶ。軌道が準周期的なとき、軌道は閉じることも自己交差することもなく、トーラスに永久に巻きつきながら、トーラス上を軌道で埋め尽くすp=72。一般の n 次元トーラス &Topf;n についても同種のことが成り立つp=140。
上の準周期軌道をポアンカレ写像によって離散力学系に落とし込むと、ポアンカレ断面でトーラスを切り取った格好となるので、準周期軌道は断面上で閉じた曲線として反映されるp=73。 でポアンカレ写像を構成すると、

となり、円周上の点を角度 2π(ω2/ω1) ずつ動かす写像になるp=120。ω2/ω1 が無理数のとき、この写像の軌道は円周を稠密に埋め尽くすp=120。離散力学系のこのような軌道も準周期的p=122、準周期軌道p=154と呼ばれることもある。

**出典**

**参照文献==