Théorème de Hartman-Grobman

En mathématiques, dans l'étude des systèmes dynamiques, le théorème de Hartman-Grobman ou théorème de linéarisation est un théorème important concernant le comportement local des systèmes dynamiques au voisinage d'un Modèle:Lien.

Essentiellement, ce théorème énonce qu'un système dynamique, au voisinage d'un équilibre hyperbolique, se comporte qualitativement de la même manière que le système linéarisé au voisinage de l'origine. Par conséquent, lorsque l'on est en présence d'un tel système, on utilise plutôt la linéarisation, plus facile à analyser, pour étudier son comportement.

Énoncé

Soient $f:{ℝ}^n\to {ℝ}^n$ une fonction de classe ${𝒞}^1$ possédant un zéro p, et $A$ la matrice jacobienne de $f$ au point p. On suppose que p est un point d'équilibre hyperbolique, c'est-à-dire qu'aucune valeur propre de $A$ n'a sa partie réelle nulle.

Alors, il existe deux ouverts U et V de ${ℝ}^n$ contenant respectivement p et 0, et un homéomorphisme

$h:U\to V$

tel que

$h(p)=0$

et qui envoie les trajectoires de $x^{\prime }(t)=f(x(t))$ bijectivement sur les trajectoires de $y^{\prime }(t)=Ay(t)$ dans V = h(U) en gardant l'orientation donnée par le temps t. On dit alors que les flots de $f$ et A sont topologiquement conjuguésModèle:,Modèle:,Modèle:,.

Exemple

Modèle:Multiple image Considérons le système dynamique suivant :

$(1)\{\begin{array}{cc}{x}^{\prime }& =x(1-\frac{x}{2})-xy\\ y^{\prime }& =xy-y\end{array}$

ou

$\{\begin{array}{cc}{x}^{\prime }& =f_1(x,y)\\ y^{\prime }& =f_2(x,y)\end{array}$

avec

$\{\begin{array}{cc}{f}_1(x,y)& =x(1-\frac{x}{2})-xy\\ f_2(x,y)& =xy-y.\end{array}$

Ce système admet trois équilibres : (0, 0), (2, 0) et (1, 1/2). On va étudier le comportement des trajectoires de ce système autour de l'équilibre (2, 0).

Pour cela, on calcule la jacobienne de $f$ en (2, 0) :

$A=\left(\begin{array}{cc}-1& -2\\ 0& 1\end{array}\right)$

Les valeurs propres de $A$ sont –1 et 1 ; l'équilibre (2, 0) est donc hyperbolique. Concernant le comportement du système linéaire, l'étude du portrait de phase nous indique que l'équilibre est un point-selle, voir figure 1. L'utilisation du théorème de linéarisation nous indique qu'au voisinage de (2, 0), le système (1) se comporte de la même manière, voir figure 2.