相空間

力学における相空間については「位相空間 (物理学)」を、制御工学における状態空間については「状態空間 (制御理論)」をご覧ください。

力学系理論における相空間（そうくうかん、英: phase space）は、対象のシステムが取る状態全てから成る抽象的な空間である^[1][2]。状態空間（じょうたいくうかん、英: state space）ともいう^[3][2][4]。

ローレンツ方程式の xyz 相空間とその上の軌道の例

力学系とは、システム（系）の将来の状態が現在の状態から一意に決まる決定論的な過程を、数学的に定式化したものを指す^[5]。相空間 X とは、力学系の基本構成要素の一つで、対象のシステムが取り得る状態全てを集めてできる集合である^[6][5]。さらに、現在の状態から次の状態を定める決定論的法則 F と時間 T の2つを加えて、(X, F, T) の一組で力学系が成立する^[6][5]。相空間というものを導入することによって、空間上の1点を指定する形でシステムの状態を議論できるようになる^[7]。すなわち相空間とは、システムの状態の振る舞いを解析するときに、そのシステムの状態は空間上でどんな動きをするのかという視点に切り替える概念的道具といえる^[8]。

物理的な空間の単振り子の運動（下図）を、相空間（上図）の点の運動として表したアニメーション。上図の横軸が振れ角 θ で、縦軸が角速度 ω に該当する。

通常、系の状態はいくつかの変数で表される^[9]。これらの変数は状態変数などと呼ばれる^[9][4]。例えば、力学系の例として、長さ一定で空気抵抗やその他外部からの影響を排した単振り子の運動を考える。このシステムの状態は振れ角 θ とその角速度 ω で一意に決まるので、(θ, ω) が状態を表す変数である^[10]。そして、θ と ω の組全体から成る抽象的な空間（θ と ω を座標とする平面）を考えると、それがこのシステムの相空間である^[6][11]。相空間を構成する一つひとつの要素は、単に点と呼ばれる^[12][13][11]ほかに、相^[10][14]、相点^[15][10]、位相^[1][14]、位相点^[16][9]、代表点^[16][17]、状態^[4]などと呼ばれる。

相空間上の点は、時間変化によって相空間内を動く。相空間上を点が動いてできる経路は軌道と呼ばれる^[9]。時間を連続的なものとして考える力学系では、軌道は相空間上で連続的な曲線を描く^[18]。一方、時間を離散的なものとして考える力学系では、軌道は相空間上でとびとびの点列となる^[18]。決定論的に状態が定まるという要請により、相空間における2つの異なる軌道が交わることはない^[19]。ある力学系の全軌道の概略を相空間上に示した図を、相図（英: phase portrait）という^[20][21]。

力学系の従属変数の個数すなわち相空間の座標の数は、相空間または力学系の次元と呼ばれる^[22][23][24]。特に相空間は、状態変数が実数1つ（R¹）のときには相直線と、状態変数が実数2つ（R²）のときには相平面と呼ばれることもある^[25]。ポアンカレ・ベンディクソンの定理に代表されるように、相空間の次元と形状は軌道の形状に制限を与える^[26]。一般的に、系が非線形でなおかつ高次元になるほど系の取り扱いが難しくなる^[27]。状態の空間的に連続的に分布している偏微分方程式で記述されるような力学系では、相空間の次元は無限になる^[28][29]。

種類

一般的なレベルでの力学系（とくに(位相力学系)）では、相空間を位相空間（英: topological space）として設定する^[30][31][32]。ただし、相空間をまったく純粋な位相空間に設定すると、あまり詳しい結果は得られない^[33]。実際には、位相空間であることに加え、いくつかの前提（例えば距離空間であること）を相空間に持たせて議論される^[34]。特に相空間がコンパクトであると仮定できれば、位相力学系に関する多くの結果を得ることができ、一般的な枠組みを議論できる^[35][36]。

力学系の例として多いのは、システムの状態がいくつかの実数の組 (x₁, x₂, … x_n) で表される場合で、空間としてはユークリッド空間 Rⁿ あるいはその部分集合で考えられることが多い^[24][37][12]。力学系の軌道は特定の多様体上に制限されていることもあり、より一般的には相空間は多様体となる^[24][38][39]。多様体に制限することで、それぞれの多様体が持つトポロジカルな性質を利用することもできる^[40]。上記の単振り子の例でいえば、角速度 ω は単に実数だが、振れ角 θ の定義域は −π < θ ≤ π であり、これは幾何学的には円周と同一視できる^[41][42][6]。したがって、単振り子の系の相空間は、円周 S¹ または T¹ と直線 R の直積集合で、幾何学的には無限に長い円柱面となる^{[43][41][42][6]}。ただし、いくつかの注意を払えば、相空間を Rⁿ あるいはその部分集合と仮定しても多くの場合で一般性は失われない^[24][44]。

 

ロトカ・ヴォルテラの方程式における相平面上のベクトル場と軌道の様子

可微分力学系では相空間は微分構造を持ち、ベクトル場で定まる連続力学系がその典型例である^[45]。状態変数を x = (x₁, x₂, … x_n) ∈ X ⊂ Rⁿ、時間を t ∈ T ⊂R とし、力学系がn 連立一階微分方程式

${\displaystyle {\frac {dx_{k}}{dt}}=f_{k}(x_{1},\cdots ,\ x_{n}),\ (k=1,\ \cdots n)}$ 

で与えられるとき、相空間上の各点にはベクトル f (x): X → Rⁿ が対応する^[46]。このとき、f (x) は解曲線の接ベクトルに一致し、各点が時間経過したときに動く方向と大きさを表す^[47][48]。

上記のように f が時間 t を陽に含まない微分方程式系は自律系と呼ばれる^[49]。自律系の微分方程式系は、現在の状態 x のみで次の状態が定まるという力学系の決定論的な考え方と合致する^[50]。一方で、以下のように t を陽に含む微分方程式系は非自律系と呼ばれる^[51]。

${\displaystyle {\frac {dx_{k}}{dt}}=f_{k}(x_{1},\cdots ,\ x_{n},\ t),\ (k=1,\ \cdots n)}$ 

非自律系では x を定めても、ベクトル f (x) は一つに定まらず、時間によって変化する^[52]。そこで、元の状態変数 x に時間 t を加えた組 (x, t) を座標とする空間 X × T を考える^[52][53]。t を形式的に n + 1 番目の状態変数 x_{n + 1} と見なせば、

${\displaystyle {\begin{cases}{\dfrac {dx_{k}}{dt}}=f_{k}(x_{1},\cdots ,\ x_{n},\ x_{n+1}),\ (k=1,\ \cdots n)\\{\dfrac {dx_{n+1}}{dt}}=1\end{cases}}}$ 

という風に自律系の n + 1 連立一階微分方程式に帰着でき、空間 X × T 上の各点には方程式の右辺を成分とするベクトルが一意に定まる^[52][53]。元の n 次元相空間 X と区別し、このような n + 1 次元空間 X × T は拡大相空間（英: extended phase space）と呼ばれる^[52][53]。

(測度論的力学系)を展開するときは、相空間は可測構造を持つ^[54]。この場合、相空間 X に対して

• X ∈ F
• A ∈ F ならば A^c ∈ F
• A₁, A₂,… ∈ F ならば ∪∞
  i=1 A_i ∈ F

を満たすσ-集合体 F が存在し、A ∈ F に対して、

• μ(A) ≥ 0 かつ μ(X) = 1
• A₁, A₂,… ∈ F が互いに素ならば μ(∪∞
  i=1 A_i) = ∑∞
  i=1 μ(A_i)

を満たす確率測度 μ が与えられる^[54][55]。さらに

• A ∈ F ならば T⁻¹A ∈ F
• μ(A) = μ(T⁻¹A)

を満たす(保測写像) T を組にして測度論的力学系が成立する^[54]。

(記号力学系)では、相空間 X は記号列の集まりとなる^[56]。記号が2種類から成り、記号列が両側無限列であるような場合、記号列 x は

${\displaystyle x=\{\cdots ,\ a_{-2},\ a_{-1},\ a_{0},\ a_{1},\ a_{2},\ \cdots \}}$ 

で与えられる^[56]。ここで、a_i は記号 1 または 2 のいずれかを取る^[56]。この場合の相空間 X は全ての記号列 x の集合で^[56]、しばしば Σ とも記す^[57][58][59]。さらに、異なる x 同士の距離を定義し、x に適用すると記号を一斉に左にずらす働きをする(シフト写像) σ を用意し、記号力学系を構成する^[60]。

解析力学における相空間

詳細は「位相空間 (物理学)」を参照

物理学の解析力学（とくにハミルトン力学）で扱われる相空間は、物体の位置 q と運動量 p を座標とする空間である^[61]。これに対し、位置 q だけの空間は(配位空間)と呼ばれる^[62]。q の自由度が n のとき、相空間は 2n 次元 となる^[63]。

狭い意味での「相空間」は、このような力学における位置と運動量を座標にした 2n 次元空間を指す^[64]。力学における「相空間」も、数学における「相空間」も、もとは phase space からの和訳で、数学以外では「位相空間」とも訳される^[61][65]。しかし、数学では前出の topological space の意味で「位相空間」という用語を使うので、数学の世界または混合のおそれがある場合には phase space の意味では「相空間」という用語を使う^[61][65]。「相空間 (phase space）」という用語自体は、力学における「相空間」の方が起源で、それを借用して数学でも「相空間」という用語で用いられている^[65]。

出典

1. ^ ^{a b} 丹羽 2004, p. 16.
2. ^ ^{a b} Kuznetsov 1998, p. 2.
3. ^ 青木・白岩 2013, pp. 14–15.
4. ^ ^{a b c} 徳永 1990, p. 66.
5. ^ ^{a b c} Kuznetsov 1998, p. 1.
6. ^ ^{a b c d e} 國府 2000, p. 1.
7. ^ 森・水谷 2009, p. 9.
8. ^ Jackson 1994, p. 17.
9. ^ ^{a b c d} 井上・秦 1999, p. 65.
10. ^ ^{a b c} 丹羽 2004, pp. 16, 34.
11. ^ ^{a b} Strogatz 2015, p. 8.
12. ^ ^{a b} Jackson 1994, p. 16.
13. ^ ウィギンス 2013, p. 2.
14. ^ ^{a b} 齋藤 2004, p. 19.
15. ^ 小室 2005, p. 8.
16. ^ ^{a b} 井上 1996, p. 44.
17. ^ 下條 1992, p. 5.
18. ^ ^{a b} 井上・秦 1999, pp. 25–26.
19. ^ 井上・秦 1999, p. 66.
20. ^ 伊藤 1998, p. 47.
21. ^ Strogatz 2015, p. 138.
22. ^ Strogatz 2015, p. 9.
23. ^ アリグッド・サウアー・ヨーク 2012, p. 99.
24. ^ ^{a b c d} 丹羽 2004, p. 31.
25. ^ 今・竹内 2018, p. 107.
26. ^ アリグッド・サウアー・ヨーク 2012, p. 145.
27. ^ Strogatz 2015, pp. 13–14.
28. ^ Strogatz 2015, pp. 12–13.
29. ^ Kuznetsov 1998, p. 33.
30. ^ 久保・矢野 2018, p. 26.
31. ^ 青木・白岩 2013, p. 15.
32. ^ 齋藤 2002, p. 15.
33. ^ 齋藤 2004, p. 46.
34. ^ 齋藤 2002, pp. 16–17.
35. ^ 齋藤 2002, p. 8.
36. ^ 久保・矢野 2018, p. 69.
37. ^ ウィギンス 2013, p. 1.
38. ^ Jackson 1994, p. 20.
39. ^ 國府 2000, pp. 1–2.
40. ^ 齋藤 2002, p. 16.
41. ^ ^{a b} Strogatz 2015, p. 188.
42. ^ ^{a b} 齋藤 2004, p. 87.
43. ^ 丹羽 2004, pp. 10, 21.
44. ^ ウィギンス 2013, pp. 1–2.
45. ^ 久保・矢野 2018, p. 28.
46. ^ 小室 2005, pp. 17–18.
47. ^ 伊藤 1998, pp. 10, 13.
48. ^ 森・水谷 2009, p. 24.
49. ^ 下條 1992, p. 8.
50. ^ アリグッド・サウアー・ヨーク 2012, pp. 88–89.
51. ^ 小室 2005, p. 20.
52. ^ ^{a b c d} 丹羽 2004, p. 37.
53. ^ ^{a b c} 伊藤 1998, p. 13.
54. ^ ^{a b c} 久保・矢野 2018, pp. 29–30.
55. ^ 森・水谷 2009, pp. 155–161.
56. ^ ^{a b c d} Kuznetsov 1998, p. 3.
57. ^ ウィギンス 2013, p. 436.
58. ^ 國府 2000, p. 58.
59. ^ 久保・矢野 2018, p. 7.
60. ^ 國府 2000, pp. 58–59.
61. ^ ^{a b c} 深谷 2004, p. 31.
62. ^ 前野 2013, p. 215.
63. ^ 前野 2013, p. 220.
64. ^ 伊藤 1998, p. 111.
65. ^ ^{a b c} 齋藤 2004, p. 20.

参照文献

• 丹羽 敏雄、2004、『微分方程式と力学系の理論入門 ―非線形現象の解析にむけて―』増補版、遊星社 ISBN (4-7952-6900-9)
• 齋藤 利弥、2004、『力学系入門』復刊版、朝倉書店 ISBN (4-254-11722-1)
• 齋藤 利弥、2002、『位相力学 ―常微分方程式の定性的理論―』復刊、共立出版 ISBN (4-320-01712-9)
• 國府 寛司、2000、『力学系の基礎』初版、朝倉書店〈カオス全書2〉 ISBN (4-254-12672-7)
• S. ウィギンス、丹羽 敏雄（監訳）、今井 桂子・田中 茂・水谷 正大・森 真（訳）、2013、『非線形の力学系とカオス』新装版、丸善出版 ISBN (978-4-621-06435-1)
• Yuri A. Kuznetsov (1998). Elements of Applied Bifurcation Theory. Applied mathematical sciences Vol. 112 (Second ed.). Springer. ISBN (0-387-98382-1). https://link.springer.com/book/10.1007/b98848 
• 青木 統夫・白岩 謙一、2013、『力学系とエントロピー』復刊、共立出版 ISBN (978-4-320-11043-4)
• 前野 昌弘、2013、『よくわかる解析力学』、東京図書 ISBN (978-4-489-02162-6)
• 小室 元政、2005、『基礎からの力学系 ―分岐解析からカオス的遍歴へ―』新版、サイエンス社 ISBN (4-7819-1118-8)
• 井上 政義・秦 浩起、1999、『カオス科学の基礎と展開 ―複雑系の理解に向けて』初版、共立出版 ISBN (4-320-03323-X)
• 井上 政義、1996、『やさしくわかるカオスと複雑系の科学』初版、日本実業出版社 ISBN (4-53402492-4)
• 下條 隆嗣、1992、『カオス力学入門 ―古典力学からカオス力学へ―』初版、近代科学社〈シミュレーション物理学6〉 ISBN (4-7649-2005-0)
• E. Atlee Jackson、田中 茂・丹羽 敏雄・水谷 正大・森 真（訳）、1994、『非線形力学の展望Ⅰ ―カオスとゆらぎ―』初版、共立出版 ISBN (4-320-03325-6)
• 徳永 隆治、合原 一幸（編）、1990、「カオスとフラクタル」、『カオス ―カオス理論の基礎と応用―』初版、サイエンス社〈Information & Computing 49〉 ISBN (4-7819-0592-7)
• Steven H. Strogatz、田中 久陽・中尾 裕也・千葉 逸人（訳）、2015、『ストロガッツ　非線形ダイナミクスとカオス ―数学的基礎から物理・生物・化学・工学への応用まで―』、丸善出版 ISBN (978-4-621-08580-6)
• 森 真・水谷 正大、2009、『入門力学系 ―自然の振舞いを数学で読みとく―』、東京図書 ISBN (978-4-489-02050-6)
• K.T.アリグッド; T.D.サウアー; J.A.ヨーク、津田 一郎（監訳）、星野 高志・阿部 巨仁・黒田 拓・松本 和宏（訳）、2012、『カオス 第2巻 力学系入門』、丸善出版 ISBN (978-4-621-06279-1)
• 今 隆助・竹内 康博、2018、『常微分方程式とロトカ・ヴォルテラ方程式』初版、共立出版 ISBN (978-4-320-11348-0)
• 深谷 賢治、2004、『解析力学と微分形式』、岩波書店〈現代数学への入門〉 ISBN (4-00-006884-9)
• 伊藤 秀一、1998、『常微分方程式と解析力学』初版、共立出版〈共立講座 21世紀の数学 11〉 ISBN (4-320-01563-0)
• 久保 泉・矢野 公一、2018、『力学系』オンデマンド版、岩波書店 ISBN (978-4-00-730742-3)

外部リンク

 

ウィキメディア・コモンズには、相空間に関連するカテゴリがあります。

• 相空間 - J-GLOBAL
• Phase space - Encyclopedia of Mathematics
• Phase space - MathWorld
• State space - Scholarpedia