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 point d'équilibre hyperbolique (en).
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.
Soient une fonction de classe possédant un zéro p, et la matrice jacobienne de au point p. On suppose que p est un point d'équilibre hyperbolique, c'est-à-dire qu'aucune valeur propre de n'a sa partie réelle nulle.
Alors, il existe deux ouverts U et V de contenant respectivement p et 0, et un homéomorphisme
tel que
et qui envoie les trajectoires de bijectivement sur les trajectoires de dans V = h(U) en gardant l'orientation donnée par le temps t. On dit alors que les flots de et A sont topologiquement conjugués[1],[2],[3],[4].
Considérons le système dynamique suivant :
ou
avec
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 en (2, 0) :
Les valeurs propres de 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.