Twierdzenie Hartmana-Grobmana

Twierdzenie Hartmana-Grobmana – twierdzenie jakościowej teorii równań różniczkowych zwyczajnych mówiące, że jeśli macierz linearyzacji równania nie ma czysto urojonych wartości własnych, to równanie jest topologicznie sprzężone ze swoją linearyzacją.

Pojęcie topologicznego sprzężenia równań różniczkowych

Niech $\Omega$ będzie niepustym zbiorem otwartym w $n$-wymiarowej przestrzeni euklidesowej. Niech $f$ i $g$ będą funkcjami określonymi na $\Omega$ o wartościach w rzeczywistej przestrzeni euklidesowej $n$-wymiarowej spełniającymi lokalny warunek Lipschitza. Mówimy, że równania różniczkowe: $x'(t)=f(x(t))$ oraz $x'(t)=g(x(t))$ są topologicznie równoważne na otoczeniu punktu $x_{0}\in \Omega$ (czyli mają taką samą strukturę jakościową na otoczeniu tego punktu), jeżeli istnieje otwarte otoczenie $U$ tego punktu oraz homeomorfizm $H\colon U\to V=H(U)\subset \Omega$ odwzorowujący trajektorie fazowe równania $x'(t)=f(x(t))$ w $U$ na trajektorie fazowe równania $x'(t)=g(x(t))$ w $V$ i zachowujący orientację. Jeżeli homeomorfizm $H$ zachowuje jednocześnie parametryzację przez czas, to równania te nazywamy topologicznie sprzężonymi.

Twierdzenie

Niech $\Omega$ będzie niepustym zbiorem otwartym w $n$-wymiarowej przestrzeni euklidesowej. Niech $\phi$ oznacza układ dynamiczny indukowany przez równanie różniczkowe zwyczajne

$x'(t)=f(x(t)),$

gdzie $f\colon \Omega \longrightarrow \mathbb {R} ^{n}$ jest odwzorowaniem klasy $C^{1}.$ Niech $x_{0}\in \Omega$ będzie takim punktem stacjonarnym równania

$x'(t)=f(x(t)),$

że

$\sigma (Df(x_{0}))\cap i\mathbb {R} =\varnothing .$

Wówczas równania

$x'(t)=f(x(t)),$

$x'(t)=Df(x_{0})x(t)$

są sprzężone topologicznie na pewnym otoczeniu punktu $x_{0},$ tzn. istnieje takie otwarte otoczenie $U\subseteq \Omega$ punktu $x_{0}$ oraz homeomorfizm $h\colon U\longrightarrow V=h(U)\subseteq \Omega ,$ że

$\forall \xi \in U\ \exists J(\xi )\subseteq \mathbb {R} \ \forall t\in J(\xi )\ h\circ \phi (t,\xi )=e^{Df(x_{0})t}\cdot h(\xi ).$

Linki zewnętrzne

• E.E. Coayla-Teran E.E., S. and Ruffino, P.S.R., P. Mohammed S. and Ruffino, P.S.R., P., Hartman–Grobman Theorems along Hyperbolic Stationary Trajectories [PDF], „Discrete and Continuous Dynamical Systems”, 2, 17, 2007, s. 281–292, DOI: 10.3934/dcds.2007.17.281 [dostęp 2007-03-09] [zarchiwizowane z adresu 2007-07-24] .???
• Gerald Teschl: Ordinary Differential Equations and Dynamical Systems. Providence, Rhode Island: American Mathematical Society, 2012. ISBN 978-0-8218-8328-0.brak strony w książce