In mathematics, in the study of dynamical systems, the Hartman–Grobman theorem or linearization theorem is a theorem about the local behaviour of dynamical systems in the neighbourhood of a hyperbolic equilibrium point.
Basically the theorem states that the behaviour of a dynamical system near a hyperbolic equilibrium point is qualitatively the same as the behaviour of its linearization near this equilibrium point provided that no eigenvalue of the linearization has its real part equal to 0. Therefore when dealing with such fixed points one can use the simpler linearization of the system to analyze its behaviour. That is, linearisation is 'unreasonably' effective.
Let be a smooth map of a dynamical system with differential equation . Suppose the map has a hyperbolic equilibrium point : that is, and the Jacobian matrix of at point has no eigenvalue with real part equal to zero. Then there exists a neighborhood of the equilibrium and a homeomorphism , such that and such that in the neighbourhood the flow of is topologically conjugate by the smooth map to the flow of its linearization .
In general, even for infinitely differentiable maps , the homeomorphism need not to be smooth, nor even locally Lipschitz. However, it turns out to be Hölder continuous, with an exponent depending on the constant of hyperbolicity of .
The algebra necessary for this example is easily carried out by a web service that computes normal form coordinate transforms of systems of differential equations, autonomous or non-autonomous, deterministic or stochastic .
Consider the 2D system in variables evolving according to
This system has an equilibrium at the origin, that is , among others not analysed here. The coordinate transform, where , given by
is a smooth map between the original and new coordinates, at least near the equilibrium at the origin. In the new coordinates the dynamical system transforms to its linearisation
That is, a distorted version of the linearization gives the original dynamics in some finite neighbourhood.
- Grobman, D. M. (1959). "О гомеоморфизме систем дифференциальных уравнений" [Homeomorphisms of systems of differential equations]. Doklady Akademii Nauk SSSR 128: 880–881.
- Hartman, Philip (August 1960). "A lemma in the theory of structural stability of differential equations". Proc. A.M.S. 11 (4): 610–620. doi:10.2307/2034720. JSTOR 2034720.
- Hartman, Philip (1960). "On local homeomorphisms of Euclidean spaces". Bol. Soc. Math. Mexicana 5: 220–241.
- Coayla-Teran, E.; Mohammed, S. and Ruffino, P. (February 2007). "Hartman–Grobman Theorems along Hyperbolic Stationary Trajectories" (PDF). Discrete and Continuous Dynamical Systems 17 (2): 281–292. doi:10.3934/dcds.2007.17.281. Retrieved 2007-03-09.
- Teschl, Gerald (2012). Ordinary Differential Equations and Dynamical Systems. Providence: American Mathematical Society. ISBN 978-0-8218-8328-0.