ハートマン＝グロブマンの定理

力学系の理論において、ハートマン＝グロブマンの定理()とは、不動点周りの解析において、元の方程式と近似的に線形化した方程式が局所的に等価であることを示す定理。数学者D. M. グロブマンとP. ハートマンによって示された。
概要.
写像の繰り返しで記述される離散力学系
もしくは、微分方程式で記述される連続力学系
を考える。これらの系の時間発展は、写像の反復
または、微分方程式の定める流れ（一径数部分群）
で与えられる。
こうした力学系に対し、
を満たす点"x" を不動点、もしくは平衡点という。
写像の反復もしくは時間変数"t" に関して定常的となる不動点の近傍の振る舞いを解析することは、力学系の挙動を理解する上で重要である。また、離散系の不動点において、ヤコビ行列"Df" の固有値の絶対値が全て1ではない場合、不動点は双曲型であるという。同様に微分方程式の定める連続系の不動点において、ヤコビ行列の固有値"Dg" の実部が全て0ではない場合、不動点は双曲型であるという。不動点が双曲型であれば、そこでの安定性の議論が可能となる。
一般に非線形な力学系の理論は困難を伴うが、それに比して、線形な力学系の解析は容易である。実際、不動点"x"を有し、n次の正方行列"A" で記述される線形な離散力学系
や連続力学系
については、行列"A"の固有値、固有ベクトルを評価することで、その振る舞いを完全に調べることができる。
そこで非線形な力学系の解析においても、ヤコビ行列"Df"' によって、不動点近傍で線形化した方程式
に帰着させれば、近似的であるが線形力学系の手法で、不動点周りの挙動を理解することができる。ハートマン＝グロブマンの定理は双曲型不動点において、その近傍での局所的な挙動が、線形化した方程式で解析できることを保証する。
定理の内容.
微分同相写像
に対し、"x" がヤコビ行列"Df" の固有値の絶対値が全て1ではない双曲的な不動点とする。このとき、"x"の近傍"U" と同相写像"h" で
を満たすものが存在する。すなわち、"x" の近傍で"f" と"Df" は局所的に位相共役である。
微分方程式
で記述される連続力学系において、その流れを"φ"tとする。"x"が、ヤコビ行列の固有値の実部が全て0ではない双曲型不動点であるとする。このとき、"x"のある近傍"U" が存在し、"U" において"φ"tと線形化した方程式
が定める流れ
は局所的に位相共役となる。