軌道 (力学系)

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

## 定義
### 一般
力学系を定める相空間を 、時間を 、時間発展のルールを  とする。ある  に固定したときの  を写像  と表し、 である。 は結合法則  で表される群構造を持ち、 は、
# \phi^{e} = \mathrm{id} 
# \phi^{t_1} \circ \phi^{t_2} = \phi^{t_1 + t_2} 
という性質を満たす。ここで  は  の単位元、 は恒等写像、 は写像の合成を意味する。

このような力学系  において 
: O(x_{0}) =\{ x \in X \mid \phi_{t} (x_{0}), t \in T \} 
で定義される  の順序部分集合  を**軌道**（、）と呼ぶ。ただし、 が取り得る値は  が定義されている範囲に限られる。 は「 を通る軌道」と呼ばれる。軌道の記号には、 の他に、 、 、 、 、 などの表記がある。

群論の言葉では軌道は次のように定義される。上記を満たす写像  を、群  の集合  への作用という。この作用  について、 上の2点  が適当な  を選びさえすれば  という関係を満たすとき、  は同値関係  にあると定義する。この同値関係によって  を分ける同値類が**軌道**  である。

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

### 離散力学系

離散力学系は写像の反復によって定義される。相空間上のある点  に写像  を繰り返し適用することで、 という点列が得られる。点列は  とも表す。この点列が離散力学系の軌道である。多くの力学系で  は連続写像である。

例えば、 上の正弦関数  で定義される離散力学系を考える。 とすると、
:
\begin{align}
x_0 & = 123 \\
x_1 & = -0.4599\ldots \\
x_2 & = -0.4438\ldots \\
\vdots \\
x_{300} & = -0.0975\ldots \\
x_{301} & = -0.0974\ldots \\
\vdots
\end{align}

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

細かく分けると、点列  は特に**前方軌道**や**正の半軌道**と呼ばれ、 や  のように表す。

:O_{+}(x_0)= \{ f^{n}(x_0) \mid n = 0,\ 1,\, 2, \ldots \}

一方、 が可逆で逆写像  を持つとき、 は恒等写像だとして、 についても写像の反復  が定義できる。それによって、 という点列が定義でき、 などのように表す。

:O_{-}(x_0)= \{ f^{n}(x_0) \mid n = 0, -1, -2, \ldots \}

逆写像によって定まる点列  は**後方軌道**や**負の半軌道**と呼ばれる。正の半軌道と負の半軌道を足し合わせた集合

:
\begin{align}
O(x_0) & = \{ f^{n}(x_0) \mid n \in \Z \} \\
           & = \{ \ldots,\ f^{-2}(x_0),\ f^{-1}(x_0),\ x_{0},\ f(x_0),\ f^{2}(x_0),\ \ldots \} \\
           & = \{ \ldots,\ x_{-2},\ x_{-1},\ x_{0},\ x_{1},\ x_{2},\ \ldots \} \\
\end{align}


を**軌道**や**全軌道**と呼ぶ。

### 連続力学系

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

:\frac{dx(t)}{dt} = V(x(t)) 

を考える。この微分方程式が初期条件  を満たす解を  と表す。微分方程式を決めている関数  は  上にベクトル場を与える。この解  は上の節で一般的に定義した写像  と等しい。

微分方程式の解が存在する  の領域を  とする。連続力学系の**軌道**とは、

:O(x_0)= \{ x (t,\ x_{0}) \mid \ t \in I \}

で定義される集合である。ただし、 には  が小さい方から大きい方に向かって向きが付いている。

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

:O_{+}(x_0)= \{ x (t,\ x_{0}) \mid  0 \le t 

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

:O_{-}(x_0)= \{ x (t,\ x_{0}) \mid  -\infty 

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

:O(x_0)= \{ x (t,\ x_{0}) \mid  t \in \R \} 

を離散力学系と同様に**軌道**や**全軌道**と呼ぶ。

連続力学系の  を通る軌道は、相空間上の  を通る一つの曲線に対応する。この曲線を微分方程式の**解曲線**とも呼ぶ。軌道（解曲線）上の各点  にはベクトル場のベクトル  が存在し、軌道に接している。解曲線のことを**解軌道**という風に呼ぶこともある。微分方程式を満たす解  を指して解軌道や軌道と呼ぶこともある。

## 特殊な軌道
### 不動点・平衡点

もっとも単純な軌道としては、離散力学系の**[[不動点]]**と連続力学系の**[[平衡点]]**がある。これら2つを共に「不動点」と呼んだり、「平衡点」と呼ぶこともある。以下では区別して記す。

離散力学系の不動点とは、写像  を適用しても動かない点のことで、 を満たす点  である。不動点  での軌道は  という定数の列となる。連続力学系の平衡点とは、時間が経っても動かない点である。平衡点  での軌道は  となる。微分方程式で定まる系の場合、定常解  のことで、微分方程式の右辺（ベクトル場） を満たす点  が平衡点である。

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

### 周期軌道

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

離散力学系で、非零のある自然数  について  を満たす  を周期点と呼ぶ。条件を満たす最小の  を周期や最小周期と呼ぶ。そして、ある周期点を通る軌道を**周期軌道**と呼び、軌道は**周期的**であるという。周期  の軌道だと

:O(x_{0}) = \{ x_{0},\ f(x_{0}),\ f^2(x_{0}),\cdots, \ f^{k-1}(x_{0}),\ x_{0},\ f(x_{0}),\ f^2(x_{0}),\cdots \} 

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

連続力学系の場合、非零のある実数  と任意の  について微分方程式の解が  を満たすとき、解を**周期解**と呼ぶ。条件を満たす最小の  を周期や最小周期と呼ぶ。このような解の軌道、すなわち集合

:O(x_0)= \{ x(t,\ x_{0}) \mid 0 \le t \le T \}

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

### 準周期軌道
相空間がトーラスになると、準周期軌道という種類の軌道が存在し得る。2次元トーラス  上の
:\frac{d \theta_1}{dt} = \omega_1 
:\frac{d \theta_2}{dt} = \omega_2 
という微分方程式を考える。トーラスは  を法として得られる商集合  と見なし、 である。

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

 上の準周期軌道をポアンカレ写像によって離散力学系に落とし込むと、ポアンカレ断面でトーラスを切り取った格好となるので、準周期軌道は断面上で閉じた曲線として反映される。 でポアンカレ写像を構成すると、
: f(\theta_2) = \theta_2 + 2\pi(\omega_{2}/\omega_{1}) \pmod{2\pi}
となり、円周上の点を角度  ずつ動かす写像になる。 が無理数のとき、この写像の軌道は円周を稠密に埋め尽くす。離散力学系のこのような軌道も**準周期的**、**準周期軌道**と呼ばれることもある。

## 出典

## 参照文献
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
* 
*
*
*
*
*
*
*
*
*
*
*