|
力学系の理論において、ハートマン=グロブマンの定理()とは、不動点周りの解析において、元の方程式と近似的に線形化した方程式が局所的に等価であることを示す定理。数学者D. M. グロブマンとP. ハートマンによって示された〔D. M. Grobman, " (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) 〕 〔P.Hartman, "On local homeomorphisms of Euclidean spaces," ''Bol. Soc. Math. Mexicana'', 5, p.220-241 (1960)〕。 ==概要== 写像の繰り返しで記述される離散力学系 : もしくは、微分方程式で記述される連続力学系 : を考える。これらの系の時間発展は、写像の反復 : または、微分方程式の定める流れ(一径数部分群) : で与えられる。 こうした力学系に対し、 * (離散力学系) * (連続力学系) を満たす点''x'' を不動点、もしくは平衡点という。 写像の反復もしくは時間変数''t'' に関して定常的となる不動点の近傍の振る舞いを解析することは、力学系の挙動を理解する上で重要である。また、離散系の不動点において、ヤコビ行列''Df'' の固有値の絶対値が全て1ではない場合、不動点は双曲型であるという。同様に微分方程式の定める連続系の不動点において、ヤコビ行列の固有値''Dg'' の実部が全て0ではない場合、不動点は双曲型であるという。不動点が双曲型であれば、そこでの安定性の議論が可能となる。 一般に非線形な力学系の理論は困難を伴うが、それに比して、線形な力学系の解析は容易である。実際、不動点''x''を有し、n次の正方行列''A'' で記述される線形な離散力学系 : や連続力学系 : については、行列''A''の固有値、固有ベクトルを評価することで、その振る舞いを完全に調べることができる。 そこで非線形な力学系の解析においても、ヤコビ行列''Df によって、不動点近傍で線形化した方程式 : に帰着させれば、近似的であるが線形力学系の手法で、不動点周りの挙動を理解することができる。ハートマン=グロブマンの定理は双曲型不動点において、その近傍での局所的な挙動が、線形化した方程式で解析できることを保証する。 であるという。同様に微分方程式の定める連続系の不動点において、ヤコビ行列の固有値''Dg'' の実部が全て0ではない場合、不動点は双曲型であるという。不動点が双曲型であれば、そこでの安定性の議論が可能となる。 一般に非線形な力学系の理論は困難を伴うが、それに比して、線形な力学系の解析は容易である。実際、不動点''x''を有し、n次の正方行列''A'' で記述される線形な離散力学系 : や連続力学系 : については、行列''A''の固有値、固有ベクトルを評価することで、その振る舞いを完全に調べることができる。 そこで非線形な力学系の解析においても、ヤコビ行列''Df によって、不動点近傍で線形化した方程式 : に帰着させれば、近似的であるが線形力学系の手法で、不動点周りの挙動を理解することができる。ハートマン=グロブマンの定理は双曲型不動点において、その近傍での局所的な挙動が、線形化した方程式で解析できることを保証する。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ハートマン=グロブマンの定理」の詳細全文を読む スポンサード リンク
|