ハートマン＝グロブマンの定理
力学系の理論において、ハートマン＝グロブマンの定理(英: Hartman–Grobman theorem)とは、不動点周りの解析において、元の方程式と近似的に線形化した方程式が局所的に等価であることを示す定理。数学者D. M. グロブマンとP. ハートマンによって示された[1] [2] [3]。
概要
写像の繰り返しで記述される離散力学系
- [math] \begin{align} & x_{x+1} = f(x_n) \quad (n=0,1,\cdots ) \\ & f: \mathbf{R}^n \rightarrow \mathbf{R}^n \end{align} [/math]
もしくは、微分方程式で記述される連続力学系
- [math] \begin{align} &\frac{d x}{dt}=g(x) \quad (t \in [a,b], \,\, x\in \mathbf{R}^n) \\ &g: \mathbf{R}^n \rightarrow \mathbf{R}^n \end{align} [/math]
を考える。これらの系の時間発展は、写像の反復
- [math] \begin{align} & x_0, \cdots, x_n, \, x_{n+1}, \cdots \\ &f(x_n)=f \circ f \circ \cdots \circ f(x_0) \end{align} [/math]
または、微分方程式の定める流れ（一径数部分群）
- [math] \begin{align} & \phi_t: \mathbf{R}^n \rightarrow \mathbf{R}^n \\ &\phi_t(x_0))=x(t) \quad (x(0)=x_0) \\ &\phi_s \circ \phi_t = \phi_{s+t} \end{align} [/math]
で与えられる。
こうした力学系に対し、
- [math] f(\bar{x})=\bar{x} \,[/math] (離散力学系)
- [math] g(\bar{x})=0 \,[/math] (連続力学系)
を満たす点x を不動点、もしくは平衡点という。 写像の反復もしくは時間変数t に関して定常的となる不動点の近傍の振る舞いを解析することは、力学系の挙動を理解する上で重要である。また、離散系の不動点において、ヤコビ行列Df の固有値の絶対値が全て1ではない場合、不動点は双曲型であるという。同様に微分方程式の定める連続系の不動点において、ヤコビ行列の固有値Dg の実部が全て0ではない場合、不動点は双曲型であるという。不動点が双曲型であれば、そこでの安定性の議論が可能となる。
一般に非線形な力学系の理論は困難を伴うが、それに比して、線形な力学系の解析は容易である。実際、不動点xを有し、n次の正方行列A で記述される線形な離散力学系
- [math]x_{n+1}=A x_{n} \,[/math]
や連続力学系
- [math] \frac{dx}{dt}=A(x-\bar{x}) [/math]
については、行列Aの固有値、固有ベクトルを評価することで、その振る舞いを完全に調べることができる。
そこで非線形な力学系の解析においても、ヤコビ行列Df' によって、不動点近傍で線形化した方程式
- [math] \begin{align} f(\bar{x})&= f(\bar{x})+Df(\bar{x})(x-\bar{x})+\cdots \\ & \approx Df(\bar{x})(x-\bar{x}) \end{align} [/math]
に帰着させれば、近似的であるが線形力学系の手法で、不動点周りの挙動を理解することができる。ハートマン＝グロブマンの定理は双曲型不動点において、その近傍での局所的な挙動が、線形化した方程式で解析できることを保証する。
定理の内容
- 離散版
- [math] f: \mathbf{R}^n \rightarrow \mathbf{R}^n [/math]
に対し、x がヤコビ行列Df の固有値の絶対値が全て1ではない双曲的な不動点とする。このとき、xの近傍U と同相写像h で
- [math] \begin{align} &h(f(\xi))=Df(\bar{x})h(\xi) \quad \forall \xi \in U \\ &h: \mathbf{R}^n \rightarrow \mathbf{R}^n \end{align} [/math]
を満たすものが存在する。すなわち、x の近傍でf とDf は局所的に位相共役である。
- 連続版
微分方程式
- [math] \frac{d x}{dt}=g(x) [/math]
で記述される連続力学系において、その流れをφtとする。xが、ヤコビ行列の固有値の実部が全て0ではない双曲型不動点であるとする。このとき、xのある近傍U が存在し、U においてφtと線形化した方程式
- [math] \frac{d \xi}{dt}=Dg(\bar{x})\xi \quad (\xi=x-\bar{x}) [/math]
が定める流れ
- [math] e^{tDg(\bar{x})} [/math]
は局所的に位相共役となる。
脚注
- ↑ D. M. Grobman, "テンプレート:Ru (Homeomorphisms of systems of differential equations)," Dokl. Akad. Nauk SSSR, 128, pp.880-881 (1969)
- ↑ P. Hartman, "A lemma in the theory of structural stability of differential equations," Proc. A.M.S., 11, p.610-620 (1960) doi:10.2307/2034720
- ↑ P.Hartman, "On local homeomorphisms of Euclidean spaces," Bol. Soc. Math. Mexicana, 5, p.220-241 (1960)
参考文献
- C.ロビンソン（著）、國府寛司、柴山健伸、岡宏枝（訳）『力学系・上』 シュプリンガー・ジャパン（2001年）ISBN 978-4431708254