logo

力学系の厳密な定義 📂動力学

力学系の厳密な定義

定義 1

空間XXと時点tTt \in Tにおけるオペレーターφt\varphi^{t}フローと呼ぶ。フローの集合F:={φt}tTF := \left\{ \varphi^{t} \right\}_{t \in T}が関数合成演算\circに対して(F,)\left( F , \circ \right)を満たす場合、三つ組(T,X,φt)\left( T, X, \varphi^{t} \right)動力系と呼ぶ。 φ0=idφt+s=φtφs \begin{align*} \varphi^{0} =& \text{id} \\ \varphi^{t+s} =& \varphi^{t} \circ \varphi^{s} \end{align*}

解説

主にT=ZT = \mathbb{Z}の場合はマップ、T=RT = \mathbb{R}の場合は微分方程式で表される。これは動力系がマップと微分方程式だけで定義されるわけではないことを意味する。

動力系はある時点のステートが過去のステートで表されるシステムだとよく説明されるが、これは厳密ではないし、それほど直感的でもない。数学的な表現なしで概念を理解する場合は、マップで表される動力系微分方程式で表される動力系の例を学ぶ方が良いし、数学的な表現が好きなら上の定義が気に入るはずだ。

関連項目


  1. Kuznetsov. (1998). Elements of Applied Bifurcation Theory(2nd Edition): p27. ↩︎