力学系

力学系（りきがくけい、英語: dynamical system）とは、一定の規則に従って時間の経過とともに状態が変化するシステム（系）、あるいはそのシステムを記述するための数学的なモデルのことである。一般には状態の変化に影響を与える数個の要素を変数として取り出し、要素間の相互作用を微分方程式または差分方程式として記述することによってモデル化される。ゲーム理論など経済学に背景を持つ分野では動学系（どうがくけい）とも呼ばれる^[1]^[2]。

力学系では、システムの状態を実数の集合によって定義している。各々の状態の違いは、その状態を代表する変数の差のみによって表現される。システムの状態の変化は関数によって与えられ、現在の状態から将来の状態を一意に決定することができる。この関数は、状態の発展規則と呼ばれる。

力学系の例としては、振り子の振動や自然界に存在する生物の個体数の変動、惑星の軌道などが挙げられるが、この世界の現象すべてを力学系と見なすこともできる。システムの振る舞いは、対象とする現象や記述のレベルによって多種多様である。

力学系の具体例

概要

力学系の考え方は、ニュートン力学に端を発する。力学系では、他の自然科学や工学の分野と同様に、状態の変化に影響を与える数個の要素を変数として取り出し、要素間の相互作用を記述することによってモデル化される。そして現在の直後の状態を、微分方程式または差分方程式を用いて与えている。将来のある時点における状態は、現在の直後の状態を求める計算を複数回繰り返すことによって求めることができる。そのため力学系では、現在の状態を与えることで、将来のすべての状態を決定することができる。

しかしながら、解析的に求められる力学系はごく一部だけであり、さらに力学系を解くためには高度な数学が必要とされる。そのため、コンピュータの登場以前では、ごく単純なシステムのみが研究の対象として扱われた。

単純な力学系ならば、その振る舞いも容易に理解することができる。しかしながら複雑なシステムになると、その挙動も複雑さを増し、詳しく解析しなければ将来の状態を予想することができなくなる。

よく知られたシステムであっても、その挙動に影響を与える変数をすべて記述できているとは限らない。また、求められた数値解がシステムの近似解として本当に適切かどうかについても検証しなければならない。これらの問題を解決するため、力学系の研究ではリアプノフ安定や構造安定など、「安定性」の概念が用いられている。安定性の概念を用いることにより、たとえモデルが同じであっても、初期条件の違いによってシステムの挙動に大きな違いが出る理由を容易に説明することができる。

システムの挙動は初期条件によって異なるため、ある 1 つの初期条件の下での挙動を調べることに大きな意味はない。ある条件では周期的な振る舞いをするかもしれないし、ある状態に落ち着くかもしれない。どのような条件でどのような挙動を呈するかが重要である。力学系では、システムの挙動の種類を数学的に分類している。起こりうる挙動の種類が完全に知られている力学系の例としては、状態を 2 変数で記述できるシステムや、線形力学系などがある。

システムの状態に影響を与える変数が多様な場合、ある変数の値が臨界値と呼ばれるある一定の値を超えると、システムの挙動が大きく変化する分岐現象が起こる。分岐現象の例としては、割り箸の両端にある一定以上の力を加えると折れる現象、道路を通過する自動車の台数がある一定の台数を超えると渋滞が発生する現象、鉛をある一定以上の温度に加熱すると溶融する現象などが挙げられる。

力学系の理論はアンリ・ポアンカレの研究によって飛躍的に発展し、力学系の概念は統計力学やカオス理論の基礎の構築に対して大きな影響を与えた。

基本定義

一般に力学系とは、以下の条件を満たす、時間 T、位相空間である多様体 M、写像 f によるタプルである。

${\begin{aligned}&t,s\in T,~\mathbf {x} \in M,\\&\mathbf {f} :T\times M\to M,\\&\mathbf {f} (0,\mathbf {x} )=\mathbf {x} ,\\&\mathbf {f} (s,\mathbf {f} (t,\mathbf {x} ))=\mathbf {f} (t+s,\mathbf {x} ).\end{aligned}}$

力学系は、連続力学系と離散力学系に分類する事ができる。

連続力学系

t が実数全体で定義される力学系は連続力学系、あるいはフロー（流れ）と呼ばれる。連続力学系は一般に微分方程式で定義されることが多い。

例えば、関数 X ₁(t ), X ₂(t ), ..., X _n(t ) を成分に持つような n 次元ベクトル^{[要曖昧さ回避]}を X(t )、t と X の関数である n 次元のベクトルを F(t, X) とし、X に対する連立微分方程式

${\frac {d\mathbf {X} }{dt}}=\mathbf {F} (t,\mathbf {X} )$

を考える。このとき、n 次元空間 (X ₁, X ₂, ..., X _n ) が上述の微分方程式の相空間であり、f ^t は f ^t (X(s )) = X(s + t ) によって与えられる。

より抽象的には、微分方程式を与える係数行列 F は多様体上のベクトル場として与えられ、力学系 f はそのベクトル場の流れとして実現される。従って連続力学系は実数の加法群 R による多様体 M への可微分な作用だということになる。

離散力学系

t が整数全体でのみ定義されるような力学系は離散力学系とよばれる。離散力学系は多様体のある変換の反復写像としてとらえられる。つまり、任意の整数 n について fⁿ は f¹ を n 回合成した（n が負ならば f の逆写像を -n 回合成した）写像になっている。したがって離散力学系は可逆変換 f¹ が定める整数の加法群Zによる多様体Mへの作用だということになる。

解軌道

集合 { f^t(x) | t } は解軌道と呼ばれる。特殊な解軌道として、ホモクリニック軌道やヘテロクリニック軌道がある。

解軌道が閉曲線になる場合は、閉軌道と呼ばれる。また閉軌道の特殊な場合としてリミットサイクルがある。

解軌道の様子を調べる理論を、大域理論という。

不動点

f^t　の不動点は、解軌道の一つで重要な性質を持ち、系の全体像をつかむのにも役立つ。一般に、数学や物理学の分野で平衡状態を表す際には平衡点、経済学の分野では均衡点と呼ばれることもある。

上述の微分方程式では次のように定義される。相空間内の点 c おいて

$\mathbf {F} (t,\mathbf {c} )=\mathbf {0}$

が成立するとき、X = c は上述の微分方程式の解である。この点は F(t , X) = 0 を満たす上述の微分方程式の定数解に対応し、相空間の中で移動しない。

力学系の分類

大域理論

脚注

^ 岡田章「ゲーム理論の歴史と現在人間行動の解明を目指して」『経済学史研究』第49巻第1号、経済学史学会、2007年、137–154頁、doi:10.11498/jshet2005.49.137。
^ 山口利夫『マクロ経済動学―ガイド―』三菱経済研究所、2001年5月。doi:10.60246/merierb.2001.55。

参考文献

和書

力学系カオス, 松葉育雄森北出版 2011-06
Kathleen T. Alligood， Tim Sauer， James A. Yorke，津田一郎訳：カオス第1巻 – 力学系入門，カオス第2巻 – 力学系入門，カオス第3巻 – 力学系入門 (原書：Chaos: An Introduction to Dynamical Systems)
Hirsch・Smale・Devaney 力学系入門―微分方程式からカオスまで― 原著第3版 Morris W. Hirsch・Stephen Smale・Robert L. Devaney 著・桐木紳・三波篤郎・谷川清隆・辻井正人訳 (2017) 共立出版
力学系入門（復刊）、齋藤利弥著 (2004) 朝倉書店
村井信行：「拘束系の力学」、日本評論社、ISBN 978-4-535-78249-5 (1998年6月10日).

洋書

Devaney, R. (2018). An introduction to chaotic dynamical systems. en:CRC Press.
Temam, R. (2012). Infinite-dimensional dynamical systems in mechanics and physics. en:Springer Science & Business Media.
Wiggins, S. (2003). Introduction to applied nonlinear dynamical systems and chaos. en:Springer Science & Business Media.
Perko, L. (2013). Differential equations and dynamical systems. en:Springer Science & Business Media.
Verhulst, F. (2006). Nonlinear differential equations and dynamical systems. en:Springer Science & Business Media.
Izhikevich, E. M. (2007). Dynamical systems in neuroscience. MIT press.
Katok, A., & Hasselblatt, B. (1995). Introduction to the modern theory of dynamical systems. en:Cambridge University Press.
Holmes, P., Lumley, J. L., Berkooz, G., & Rowley, C. W. (2012). Turbulence, coherent structures, dynamical systems and symmetry. en:Cambridge University Press.
Antoulas, A. C. (2005). Approximation of large-scale dynamical systems. SIAM.
Wainwright, J., & Ellis, G. F. R. (Eds.). (2005). Dynamical systems in cosmology. en:Cambridge University Press.
Robinson, C. (1998). Dynamical systems: stability, symbolic dynamics, and chaos. en:CRC Press.

外部リンク

Dynamical Systems （英語） - スカラーペディア百科事典「力学系」の項目。
Weisstein, Eric W. "Dynamical System". mathworld.wolfram.com (英語).
『力学系』 - コトバンク

[1] 岡田章「ゲーム理論の歴史と現在人間行動の解明を目指して」『経済学史研究』第49巻第1号、経済学史学会、2007年、137–154頁、doi:10.11498/jshet2005.49.137。

[2] 山口利夫『マクロ経済動学―ガイド―』三菱経済研究所、2001年5月。doi:10.60246/merierb.2001.55。

[1]

[2]

表話編歴数学
主要分野	数理論理学集合論圏論代数学初等線型多重線型抽象算術/数論解析学/微分積分学関数解析学行列解析幾何学代数微分有限離散位相代数的位相表現論リー理論（英語版）微分方程式線型微分方程式複素微分方程式常微分方程式偏微分方程式積分微分方程式力学系組合せ数学数理物理学ゲーム理論グラフ理論最適化問題数理最適化計算理論確率論数理統計学（英語版）制御理論三角法
トピックス	数学史和算算道数理哲学美未解決問題算数・数学教育算数教科
賞	ボッチャー記念賞コール賞フィールズ賞ヴェブレン賞サレム賞スティール賞ウルフ賞クラフォード賞クレイ研究賞ガウス賞アーベル賞ラマヌジャン賞 SASTRAラマヌジャン賞チャーン賞数学ブレイクスルー賞
応用	情報理論折紙の数学囲碁と数学数値解析精度保証付き数値計算計算機援用証明数値線形代数常微分方程式の数値解法偏微分方程式の数値解法
学会・団体	国際数学者会議国際数学連合国際産業数理・応用数理会議国際産業数理・応用数理評議会（英語版）アメリカ数学会 SIAM ヨーロッパ数学会ロンドン数学会日本応用数理学会日本数学会数学教育協議会
競技	国際数学オリンピック日本数学オリンピック日本ジュニア数学オリンピック広中杯近畿大学数学コンテスト人の最大の力を競う算数・数学の大会
研究所	京都大学数理解析研究所明治大学先端数理科学インスティテュート統計数理研究所アンリ・ポアンカレ研究所オーバーヴォルファッハ数学研究所クレイ研究所 CIMAT数学研究センターステクロフ数学研究所
一覧数学定数数関数図形数学記号数学者エポニムカテゴリポータル

概要