軌道 (力学系)

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

定義[編集]

一般[編集]

力学系を定める相空間X、時間を G、時間発展のルールを ϕ: G × XX とする。ある tG に固定したときの ϕ写像 ϕt と表し、Xxϕt(x) ∈ X である。G結合法則 t1 + t2 (t1, t2T) で表される構造を持ち、ϕt は、

という性質を満たす[1][2]。ここで eG単位元id恒等写像写像の合成を意味する。

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

で定義される X順序部分集合 O(x0)軌道(英: orbit、英: trajectory)と呼ぶ[3]。ただし、t が取り得る値は ϕt (x0) が定義されている範囲に限られる[3]O(x0) は「x0 を通る軌道」と呼ばれる[4][5]。軌道の記号には、O(x0 [6][7][4][8][9][10]の他に、𝒪(x0) [5][11]C(x0) [12]γ(x0) [13][14]Γ(x0) [15]Orb(x0) [16]などの表記がある。

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

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

離散力学系[編集]

二次元離散力学系の軌道の例。実部が正の複素固有値を持つ線形系で、渦状源点型の軌道すなわち回転しながら原点から離れていく軌道を取る。軌道は相平面上の点列となる(点をつなぐ矢印は補助のために示されている)。

離散力学系は写像の反復によって定義される[24]。相空間上のある点 x0M写像 f: MM を繰り返し適用することで、x0, f (x0), f2(x0), … fn(x), … という点列が得られる。点列は x0, x1 = f (x0), x2 = f2(x0), … xn = fn(x0), … とも表す[25]。この点列が離散力学系の軌道である[25]。多くの力学系で f連続写像である[26]

例えば、 上の正弦関数 f(x) = sin(x) で定義される離散力学系を考える。x0 = 123 とすると、

というような数列がその軌道である[25]

細かく分けると、点列 x0, f (x0), f2(x0), … は特に前方軌道[8][10]正の半軌道[20][27]と呼ばれ、O+(x0) [9]O+(x0) [8]のように表す。

一方、f が可逆で逆写像 f−1 を持つとき、f0 は恒等写像だとして、k < 0 についても写像の反復 fk が定義できる[26]。それによって、x0, f−1(x0), f−2(x0), … という点列が定義でき、O(x0) などのように表す[8][10]

逆写像によって定まる点列 O(x0)後方軌道[8][10]負の半軌道[28]と呼ばれる。正の半軌道と負の半軌道を足し合わせた集合

軌道[29][5][30]全軌道[10][8]と呼ぶ。

連続力学系[編集]

二次元連続力学系の軌道の例。実部が正の複素固有値を持つ線形系で、渦状源点型の軌道すなわち回転しながら原点から離れていく軌道を取る。軌道は相平面上の曲線となる。

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

を考える。この微分方程式が初期条件 x(0) = x0 を満たすx(t, x0) と表す。微分方程式を決めている関数 V(x)X 上にベクトル場を与える[32]。この解 x(t, x0) は上の節で一般的に定義した写像 ϕt (x0) と等しい[33]

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

で定義される集合である[14][34]。ただし、O(x0) には t が小さい方から大きい方に向かって向きが付いている[35]

簡単のために I = (−∞, ∞) だと仮定すれば、連続力学系の正の半軌道は、

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

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

を離散力学系と同様に軌道[7][36][37]全軌道[36]と呼ぶ。

連続力学系の x0 を通る軌道は、相空間上の x0 を通る一つの曲線に対応する[38]。この曲線を微分方程式の解曲線とも呼ぶ[39]。軌道(解曲線)上の各点 x にはベクトル場のベクトル V(x) が存在し、軌道に接している[40]。解曲線のことを解軌道という風に呼ぶこともある[41][42]。微分方程式を満たす解 x(t) を指して解軌道[43][44]や軌道[37][45]と呼ぶこともある。

特殊な軌道[編集]

不動点・平衡点[編集]

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

離散力学系の不動点とは、写像 f を適用しても動かない点のことで、f (x0) = x0 を満たす点 x0 である[53]。不動点 x0 での軌道は O(x0) = {x0, x0, x0,…} という定数の列となる[53]。連続力学系の平衡点とは、時間が経っても動かない点である[54]。平衡点 x0 での軌道は O(x0) = {x0} となる[55]。微分方程式で定まる系の場合、定常解 x(t) ≡ x0 のことで、微分方程式の右辺(ベクトル場)V(x0) = 0 を満たす点 x0 が平衡点である[47]

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

周期軌道[編集]

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

離散力学系で、非零のある自然数 k > 0 について fk(x0) = x0 を満たす x0周期点と呼ぶ[57]。条件を満たす最小の k を周期[56]や最小周期[58]と呼ぶ。そして、ある周期点を通る軌道を周期軌道と呼び[52]、軌道は周期的であるという[59]。周期 k の軌道だと

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

連続力学系の場合、非零のある実数 T > 0 と任意の t について微分方程式の解が x(t + T, x0) = x(t, x0) を満たすとき、解を周期解と呼ぶ[61]。条件を満たす最小の T を周期[61]や最小周期[62][63]と呼ぶ。このような解の軌道、すなわち集合

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

準周期軌道[編集]

相空間がトーラスになると、準周期軌道という種類の軌道が存在し得る[66]。2次元トーラス 𝕋2 上の

という微分方程式を考える。トーラスは 2π を法として得られる商集合 𝕋2 = ℝ2/2π2 と見なし、(θ1, θ2) ∈ 𝕋2 である[67]

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

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

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

出典[編集]

  1. ^ Kuznetsov 1998, p. 6.
  2. ^ 白石 2014, p. 166.
  3. ^ a b Kuznetsov 1998, p. 8.
  4. ^ a b ウィギンス 2013, p. 2.
  5. ^ a b c 國府 2000, p. 7.
  6. ^ 青木・白岩 2013, pp. 16–17.
  7. ^ a b c 坂井 2015, p. xiv.
  8. ^ a b c d e f Devaney 2003, p. 16.
  9. ^ a b 青木 1996, p. 6.
  10. ^ a b c d e 松葉 2011, p. 28.
  11. ^ 荒井 2020, p. 25.
  12. ^ 齋藤 2002, p. 9.
  13. ^ 郡・森田 2011, p. 42.
  14. ^ a b 今・竹内 2018, p. 145.
  15. ^ Jackson 1994, p. 44.
  16. ^ a b 白石 2014, p. 167.
  17. ^ 白石 2014, pp. 166–167.
  18. ^ Kuznetsov 1998, p. 5.
  19. ^ Strogatz 2015, p. 8.
  20. ^ a b 久保・矢野 2018, p. 166.
  21. ^ a b c 青木・白岩 2013, p. 17.
  22. ^ 荒井 2020, p. 164.
  23. ^ 國府 2000, p. 12.
  24. ^ 白石 2014, p. 176.
  25. ^ a b c デバニー 2007, p. 20.
  26. ^ a b Kuznetsov 1998, p. 7.
  27. ^ 小室 2005, p. 23.
  28. ^ 川上 1990, p. 139.
  29. ^ 川上 1990, pp. 139–140.
  30. ^ 青木・白岩 2013, p. 6.
  31. ^ Kuznetsov 1998, p. 18.
  32. ^ 久保・矢野 2018, p. 28.
  33. ^ Kuznetsov 1998, p. 21.
  34. ^ ウィギンス 2013, pp. 1–2.
  35. ^ 今・竹内 2018.
  36. ^ a b c 郡・森田 2011, p. 52.
  37. ^ a b 柴山 2016, p. 1.
  38. ^ 齋藤 2002, p. 8.
  39. ^ 小室 2005, p. 7.
  40. ^ 丹羽 2004, p. 36.
  41. ^ 船越 2008, p. 78.
  42. ^ 今・竹内 2018, p. 107.
  43. ^ 千葉 2021, p. 100.
  44. ^ 高橋 2004, p. 5.
  45. ^ 小室 2005, p. 18.
  46. ^ 川上 1990, pp. 140–141.
  47. ^ a b 柴山 2016, pp. 2–3.
  48. ^ a b c Kuznetsov 1998, p. 9.
  49. ^ ウィギンス 2013, pp. 6, 9.
  50. ^ 千葉 2021, pp. 111, 208.
  51. ^ 今・竹内 2018, pp. 108, 216.
  52. ^ a b c 松葉 2011, p. 32.
  53. ^ a b デバニー 2007, p. 21.
  54. ^ 森・水谷 2009, p. 29.
  55. ^ 坂井 2015, p. xv.
  56. ^ a b 國府 2000, p. 8.
  57. ^ a b デバニー 2007, p. 22.
  58. ^ 白石 2014, p. 177.
  59. ^ ウィギンス 2013, p. 27.
  60. ^ デバニー 2007, p. 23.
  61. ^ a b 今・竹内 2018, p. 110.
  62. ^ a b 伊藤 1998, p. 26.
  63. ^ a b 荒井 2020, p. 37.
  64. ^ 郡・森田 2011, p. 47.
  65. ^ 齋藤 2002, pp. 11–12.
  66. ^ a b c Strogatz 2015, p. 303.
  67. ^ 伊藤 1998, p. 138.
  68. ^ a b 伊藤 1998, p. 139.
  69. ^ a b 伊藤 1998, p. 140.
  70. ^ 坂井 2015, p. 299.
  71. ^ a b c 井上・秦 1999, p. 72.
  72. ^ 井上・秦 1999, p. 73.
  73. ^ a b Hirsch, Smale & Devaney 2007, p. 120.
  74. ^ アリグッド、サウアー、ヨーク 2012, p. 122.
  75. ^ ウィギンス 2013, p. 154.

参照文献[編集]