相空間
力学系理論における相空間(そうくうかん、英: phase space)は、対象のシステムが示す状態全てから成る数学的な空間である[1][2]。状態空間(じょうたいくうかん、英: state space)ともいう[3][2][4]。
力学系とは、システム(系)の現在の状態から将来の状態が一意に決まる決定論的な過程を数学的に定式化したもので、ある程度の精度ながらそのような法則が知られているシステムは物理的、化学的、生態的、経済的、社会的なものなど多くある[5]。相空間とは、力学系の基本構成要素の一つで、対象のシステムが取り得る状態全てを集めてできる集合である[6][5]。さらに、現在の状態から次の状態を定める決定論的法則と時間の2つを加えて、力学系が成立する[6][5]。相空間というものを導入することによって、空間上の1点を指定する形でシステムの状態を議論できるようになる[7]。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/66/Pendulum_gravity.svg/171px-Pendulum_gravity.svg.png)
通常、系の状態はいくつかの変数で表される[8]。これらの変数は状態変数などと呼ばれる[8][4]。例えば、力学系の例として、長さ一定で空気抵抗やその他外部からの影響を排した単振り子の運動を考える。このシステムの状態は振れ角 θ とその角速度 ω で一意に決まるので、(θ, ω) が状態を表す変数である[9]。そして、θ と ω の組全体から成る抽象的な空間(θ と ω を座標とする平面)を考えると、それがこのシステムの相空間である[6][10]。相空間を構成する一つひとつの要素は、単に点と呼ばれる[11][12][10]ほかに、相[9][13]、相点[14][9]、位相[1][13]、位相点[15][8]、代表点[15][16]、状態[4]などと呼ばれる。
力学系の従属変数の個数すなわち相空間の座標の数は、相空間または力学系の次元と呼ばれる[17][18][19]。特に、状態変数が実数1つ(R1)で表されるときには相空間は相直線と、状態変数が実数2つ(R2)のときには相平面と呼ばれることもある[20]。一般的に、系が非線形でなおかつ高次元になるほど系の取り扱いが難しくなる[21]。状態の空間的に連続的に分布している偏微分方程式で記述されるような力学系では、相空間の次元は無限になる[22][23]。
種類
一般的なレベルでの力学系(とくに位相力学系)では、相空間を位相空間(英: topological space)として設定する[24][25][26]。ただし、相空間をまったく純粋な位相空間に設定すると、あまり詳しい結果は得られない[27]。実際には、位相空間であることに加え、いくつかの前提(例えば距離空間であること)を相空間に持たせて議論される[28]。
力学系の例として多いのは、システムの状態がいくつかの実数の組 (x1, x2, … xn) で表される場合で、空間としてはユークリッド空間 Rn あるいはその開部分集合で考えられることが多い[19][29][11]。相空間上の軌道は特定の多様体上に制限されていることもあり、より一般的には相空間は多様体となる[19][30]。多様体に制限することで、それぞれの多様体が持つトポロジカルな性質を利用することもできる[31]。上記の単振り子の例でいえば、角速度 ω は単に実数だが、振れ角 θ の定義域は −π < θ ≤ π であるから幾何学的には円周を表す[32][33]。したがって、単振り子の系の相空間は、円周 S1 または T1 と直線 R の直積集合で、幾何学的には円柱面となる[34][32][33]。ただし、いくつかの注意を払えば、相空間を Rn あるいはその開部分集合と仮定しても多くの場合で一般性は失われない[19][35]。
解析力学における相空間
物理学の解析力学(とくにハミルトン力学)で扱われる相空間は、物体の位置 q と運動量 p を座標とする空間である[36]。これに対し、位置 q だけの空間は配位空間と呼ばれる[37]。q の自由度が n のとき、相空間は 2n 次元 となる[38]。
狭い意味での「相空間」は、このような力学における位置と運動量を座標にした 2n 次元空間を指す[39]。力学における「相空間」も、数学における「相空間」も、もとは phase space からの和訳で、数学以外では「位相空間」とも訳される[36][40]。しかし、数学では前出の topological space の意味で「位相空間」という用語を使うので、数学の世界または混合のおそれがある場合には phase space の意味では「相空間」という用語を使う[36][40]。「相空間 (phase space)」という用語自体は、力学における「相空間」の方が起源で、それを借用して数学でも「相空間」という用語で用いられている[40]。
出典
- ^ a b 丹羽 2004, p. 16.
- ^ a b Kuznetsov 1998, p. 2.
- ^ 青木・白岩 2013.
- ^ a b c 徳永 1990, p. 66.
- ^ a b c Kuznetsov 1998, p. 1.
- ^ a b c 國府 2000, p. 1.
- ^ 森・水谷 2009, p. 9.
- ^ a b c 井上・秦 1999, p. 65.
- ^ a b c 丹羽 2004, pp. 16, 34.
- ^ a b Strogatz 2015, p. 8.
- ^ a b Jackson 1994, p. 16.
- ^ ウィギンス 2013, p. 2.
- ^ a b 齋藤 2004, p. 19.
- ^ 小室 2005, p. 8.
- ^ a b 井上 1996, p. 44.
- ^ 下條 1992, p. 5.
- ^ Strogatz 2015, p. 9.
- ^ アリグッド・サウアー・ヨーク 2012, p. 99.
- ^ a b c d 丹羽 2004, p. 31.
- ^ 今・竹内 2018, p. 107.
- ^ Strogatz 2015, pp. 13–14.
- ^ Strogatz 2015, pp. 12–13.
- ^ Kuznetsov 1998, p. 33.
- ^ 久保・矢野 2018, p. 26.
- ^ 青木・白岩 2013, p. 15.
- ^ 齋藤 2002, p. 15.
- ^ 齋藤 2004, p. 46.
- ^ 齋藤 2002, pp. 16–17.
- ^ ウィギンス 2013, p. 1.
- ^ Jackson 1994, p. 20.
- ^ 齋藤 2002, p. 16.
- ^ a b Strogatz 2015, p. 188.
- ^ a b 齋藤 2004, p. 87.
- ^ 丹羽 2004, pp. 10, 21.
- ^ ウィギンス 2013, pp. 1–2.
- ^ a b c 深谷 2004, p. 31.
- ^ 前野 2013, p. 215.
- ^ 前野 2013, p. 220.
- ^ 伊藤 1998, p. 111.
- ^ 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
- 青木 統夫・白岩 謙一、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