流れ (数学)

数学における、特に力学系理論における流れ（英: flow）は、実数で表される連続時間で決定論的な時間発展を定式化したものである^[1]。ある種の条件を満たす連続写像（の族）として与えられ、群論の言葉で言えば、加法群 $ℝ$ の相空間への群作用に相当する。典型的には、ベクトル場（あるいはそれを与える自励系常微分方程式）によって流れが定まる。流れを指して連続力学系や力学系とも呼ぶ。

定義

流れの具体的な定義は以下の通りである。位相空間 $X$ 上の連続写像 $φ : ℝ \times X \to X$ を考え、 $(t, x) \in ℝ \times X$ に対する $φ (t, x)$ を $φ t (x)$ と表す。 $φ t (x)$ で定められた $φ t : X \to X$ が、任意の $t \in ℝ$ と任意の $x \in X$ について

\varphi ^{t}\circ \varphi ^{s}=\varphi ^{t+s}

(1)

\varphi ^{0}={\text{id}}_{X}

(2)

を充たすとき、写像の族 ${φ t | t \in ℝ}$ を流れと呼ぶ^[1]。ここで $ℝ$ は実数全体の集合、 $id X$ は恒等写像を表す。

流れが充たすべき性質 (1) (2) は、考察するシステムの状態が決定論的に決まり、初期状態と負の時間も含めた経過した時間だけが変化を決めるという仮定から導かれるものである^[2]。時刻 $t 1 \in ℝ$ で状態 $x 1 \in X$ になり、時刻 $t 2 \in ℝ$ で状態 $x 2 \in X$ になるようなシステムがあるとする。ここでいう決定論的とは、 $x 2$ は $t 1, x 1, t 2$ が決まれば一意的に決まることを言う^[3]。初期状態と負の時間も含めた経過した時間だけが変化を決めるとは、 $x 1$ と $t = t 2 - t 1$ だけで $x 2$ が一意的に決まることを言う^[3]。簡単に言うと、充たすべき性質 (1) (2) は、ある初期状態が $t$ 時間経ち更に $s$ 時間経ってたどり着く状態は、同じ初期状態が $t + s$ 時間経ってたどり着く状態と同じ、ということを意味している^[4]。流れを連続写像とする仮定は、充分に近い（似た）2つの初期状態から出発すれば、ほとんど同じ時間経過後のそれぞれの状態も近い（似ている）ということを意味する^[3]。

流れ ${φ t | t \in ℝ}$ を連続力学系や連続時間の力学系あるいは単に力学系と呼ぶこともある^[5]^[6]^[7]。各写像 $φ t : X \to X$ は、これら自体も流れと呼んだり^[8]、時間 $t$ 写像と呼んだりする^[9]。また、流れを元の表記、すなわち直積集合 $ℝ \times X$ から集合 $X$ への連続写像 $φ : ℝ \times X \to X$ , ( $φ (t, x)$ ) で表すこともある^[1]^[10]。この表記で流れの性質 (1) (2) を表すと、

\varphi (t,\varphi (s,x))=\varphi (t+s,x)

(1')

\varphi (0,x)=x

(2')

である^[1]^[7]。

性質 (1) (2) より、 $φ - t$ は $φ t$ の逆写像となるため、 $φ t$ は同相写像でもある^[1]。これら性質によって、流れ ${φ t | t \in ℝ}$ は群構造を持つ^[5]。群論の言葉で言えば、写像族 ${φ t | t \in ℝ}$ は加法群 $ℝ$ の相空間への群作用を定めている^[11]^[12]。流れ ${φ t | t \in ℝ}$ が与えれると、点 $x 0$ を通る軌道

O(x_{0})=\left\{\varphi ^{t}(x_{0})|t\in \mathbb {R} \right\}

(3 )

が定義できる^[13]。軌道は初期状態 $x 0$ の $t$ 時間後の状態 $φ t (x 0)$ について $t$ を変化させたときの軌跡なので、この流れによる $x 0$ の時間発展の様子を表現する^[13]。

ベクトル場が生成する流れ

力学系の典型例は、自励系の常微分方程式の形で与えられる^[14]。 $n$ 次元ユークリッド空間 $ℝ n$ 上で、独立変数を $t \in ℝ$ 、従属変数を $x \in ℝ n$ とする次のような自励系の常微分方程式で与えられているとする^[15]。

{\frac {d{\boldsymbol {x}}}{dt}}={\boldsymbol {f}}({\boldsymbol {x}})

(4 )

この方程式の解 $x (t)$ と書く。解の存在と一意性が充たされる初期値問題 $t = 0$ で $x 0 = x (0)$ を通る場合を考え、この解を改めて $φ (t, x 0)$ と表す。簡単のため、任意の $t \in ℝ$ と $x 0 \in ℝ n$ について $φ (t, x 0)$ が存在すると仮定する。

このとき、 $φ$ は点 $x 0$ を $t$ 時間後の点 $φ (t, x 0)$ に対応付ける写像 $φ t : ℝ n \to ℝ n$ として機能し、性質 (1) (2) を充たす^[16]。微分方程式の $f (x)$ は $ℝ n$ 上のベクトル場を与えるので、 $φ t$ はベクトル場 $f$ の流れ^[15]やベクトル場 $f$ が生成する流れなどと呼ばれる^[17]^[18]。

逆に、流れ $φ t$ が $t$ について微分可能ならば、ある自励系常微分方程式を定めることもできる^[19]。ベクトル場 $f$ が $C r$ 級であれば、それから生成される流れ $φ t$ は $C r$ 級微分同相写像である^[4]。

出典

^ ^a ^b ^c ^d ^e 浅岡 2023, p. 11.
^ 青木・白岩 2013, pp. 14–15.
^ ^a ^b ^c 青木・白岩 2013, p. 15.
^ ^a ^b 千葉 2021, p. 124.
^ ^a ^b 久保・矢野 2018, p. 1.
^ 高橋 2004, p. 82.
^ ^a ^b 今・竹内 2018, p. 144.
^ 伊藤 1998, p. 60.
^ 國府 2000, p. 4.
^ 今・竹内 2018, p. 142.
^ 荒井 2020, p. 41.
^ 國府 2000, p. 5.
^ ^a ^b 國府 2000, p. 7.
^ 青木・白岩 2013, p. 17.
^ ^a ^b 千葉 2021, p. 123.
^ 千葉 2021, pp. 123, 124.
^ 荒井 2020, p. 39.
^ 高橋 2004, p. 85.
^ 高橋 2004, pp. 82–83.

参照文献

浅岡正幸、2023、「アノソフ系と多様体上の双曲力学系」、『幾何学百科Ⅲ 力学系と大域幾何』初版、朝倉書店 ISBN 978-4-254-11618-2
久保泉・矢野公一、2018、『力学系』オンデマンド版、岩波書店 ISBN 978-4-00-730742-3
國府寛司、2000、『力学系の基礎』初版、朝倉書店〈カオス全書2〉 ISBN 4-254-12672-7
高橋陽一郎、2004、『力学と微分方程式』初版、岩波書店〈現代数学への入門〉 ISBN 4-00-006875-X
青木統夫・白岩謙一、2013、『力学系とエントロピー』復刊、共立出版 ISBN 978-4-320-11043-4
千葉逸人、2021、『解くための微分方程式と力学系理論』初版、現代数学社 ISBN 978-4-7687-0570-4
荒井迅、2020、『常微分方程式の解法』初版、共立出版〈共立講座数学探検 15〉 ISBN 978-4-320-11188-2
伊藤秀一、1998、『常微分方程式と解析力学』初版、共立出版〈共立講座 21世紀の数学 11〉 ISBN 4-320-01563-0
今隆助・竹内康博、2018、『常微分方程式とロトカ・ヴォルテラ方程式』初版、共立出版 ISBN 978-4-320-11348-0

外部リンク

Flow (continuous-time dynamical system) - Encyclopedia of Mathematics

[FOOTNOTE浅岡202311-1] 浅岡 2023, p. 11.

[FOOTNOTE青木・白岩201314–15-2] 青木・白岩 2013, pp. 14–15.

[FOOTNOTE青木・白岩201315-3] 青木・白岩 2013, p. 15.

[FOOTNOTE千葉2021124-4] 千葉 2021, p. 124.

[FOOTNOTE久保・矢野20181-5] 久保・矢野 2018, p. 1.

[FOOTNOTE高橋200482-6] 高橋 2004, p. 82.

[FOOTNOTE今・竹内2018144-7] 今・竹内 2018, p. 144.

[FOOTNOTE伊藤199860-8] 伊藤 1998, p. 60.

[FOOTNOTE國府20004-9] 國府 2000, p. 4.

[FOOTNOTE今・竹内2018142-10] 今・竹内 2018, p. 142.

[FOOTNOTE荒井202041-11] 荒井 2020, p. 41.

[FOOTNOTE國府20005-12] 國府 2000, p. 5.

[FOOTNOTE國府20007-13] 國府 2000, p. 7.

[FOOTNOTE青木・白岩201317-14] 青木・白岩 2013, p. 17.

[FOOTNOTE千葉2021123-15] 千葉 2021, p. 123.

[FOOTNOTE千葉2021123,_124-16] 千葉 2021, pp. 123, 124.

[FOOTNOTE荒井202039-17] 荒井 2020, p. 39.

[FOOTNOTE高橋200485-18] 高橋 2004, p. 85.

[FOOTNOTE高橋200482–83-19] 高橋 2004, pp. 82–83.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]