Hartman–Grobman Theorem¶

Near a hyperbolic equilibrium or fixed point, a differentiable nonlinear dynamical system is locally topologically conjugate to its linearization, so qualitative orbit structure can be read from the linear model.

Version: v2 · 2026-09-19 · History
Domain-specific #: 1983
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Dynamical Systems, Local Stability Theory → Mathematics
Aliases: Grobman–Hartman theorem

Core Idea¶

The Hartman–Grobman theorem turns linearization from a heuristic into a qualitative local equivalence statement. Let a continuously differentiable vector field satisfy \(\dot{x}=f(x)\) and have an equilibrium \(p\), so \(f(p)=0\). Write \(A=Df(p)\). If \(A\) is hyperbolic—none of its eigenvalues has zero real part—then, near \(p\), the nonlinear flow is topologically conjugate to the linear flow \(\dot{u}=Au\). A local homeomorphism sends nonlinear orbit segments to linear orbit segments while respecting their temporal organization.

How would you explain it like I'm…

Same Shape Near Rest

Imagine marbles rolling around a spot where one marble could sit perfectly still. If you look very closely around that spot, the marbles move in the same kind of pattern as a much simpler, straight-line version of the motion. Toward the spot, away from it, or in on one side and out the other. This works as long as the spot isn't balanced in a tricky in-between way.

Simple Copy Near Rest

Mathematicians study how things change over time using rules that say which way to move from every point. At a resting point, where nothing moves, you can replace the complicated rule with a simple straight-line version of it. The Hartman–Grobman Theorem says that close to the resting point, the real motion and the simple version have the same pattern: paths that spiral in, run away, or pass by like a saddle match up. This is guaranteed only if the simple version has no 'in-between' directions that neither grow nor shrink. It tells you about the shape of the motion nearby, not exact distances or what happens far away.

Local Linearization Equivalence

Many systems are described by a differential equation dx/dt = f(x), and an equilibrium is a point p where f(p) = 0. Linearization replaces f near p with its derivative matrix A, giving the simpler system du/dt = Au. The Hartman–Grobman Theorem says this is not just a rough guess: if no eigenvalue of A has zero real part (A is 'hyperbolic'), then near p there is a continuous, reversible distortion of space that carries the real trajectories onto the linear ones, keeping their order in time. So sinks, sources, and saddles look the same in both pictures. But the distortion may bend space in a non-smooth way, it gives no error bounds, and it says nothing about regions far from p.

Let f be a continuously differentiable vector field with equilibrium p, f(p) = 0, and let A = Df(p) be the Jacobian there. A is hyperbolic if none of its eigenvalues lies on the imaginary axis. The Hartman–Grobman Theorem states that under hyperbolicity, the nonlinear flow of dx/dt = f(x) is locally topologically conjugate to the linear flow du/dt = Au near p: a homeomorphism defined on a neighborhood maps nonlinear orbit segments to linear ones while respecting the time ordering. This upgrades linearization from a heuristic into a rigorous qualitative equivalence. The discrete-time version concerns a differentiable map F with a fixed point p whose derivative DF(p) has no eigenvalue on the complex unit circle; then F is locally conjugate to DF(p). What is preserved is topological: stable and unstable directions, sink, source and saddle character, orbit structure. What is not promised is a differentiable (smooth) coordinate change, quantitative estimates, or any global information. When hyperbolicity fails, e.g. a center with purely imaginary eigenvalues, linearization can mislead.

Scope of Application¶

The theorem is foundational in local nonlinear dynamics. For autonomous ordinary differential equations it classifies hyperbolic equilibria by the spectrum of the Jacobian. For discrete iterations it treats hyperbolic fixed points through the derivative and unit-circle spectral test. Local coordinate charts extend the reasoning to smooth manifolds. Poincaré return maps let related hyperbolic fixed-point analysis inform periodic-orbit studies, although that use adds the return-map construction and should not be confused with the base statement.

Clarity¶

The theorem separates three often-confused claims. First-order approximation says \(f(p+\xi)=A\xi+o(\lVert\xi\rVert)\). Linear stability inference uses eigenvalue signs to predict attraction or repulsion. Topological conjugacy supplies a homeomorphism \(h\) that intertwines the evolutions. Hartman–Grobman establishes the third under hyperbolicity, thereby justifying the second qualitatively.

Manages Complexity¶

A nonlinear system may contain many interaction terms, yet near a hyperbolic fixed point the theorem compresses its qualitative local behavior to spectral information from one matrix. The signs of real parts determine stable and unstable dimensions for flows; eigenvalues inside or outside the unit circle play the analogous role for maps. Analysts can classify a sink, source, or saddle without solving the nonlinear equations explicitly.

Abstract Reasoning¶

The theorem licenses several deductions. If every eigenvalue of \(Df(p)\) has negative real part, the linearized flow is a sink and the nonlinear equilibrium is locally asymptotically stable. If all have positive real part, it is a source. Mixed signs give saddle structure with stable and unstable dimensions matching those of the linear system. A perturbation that preserves hyperbolicity preserves this local qualitative classification, even though the conjugating homeomorphism changes.

Knowledge Transfer¶

The exact mechanism transfers between continuous flows and discrete maps only after the spectral criterion is translated correctly: imaginary-axis exclusion for flow generators and unit-circle exclusion for map derivatives. It transfers to manifolds through local charts and to some infinite-dimensional settings only through separately proved extensions with their own analytic assumptions.

Outside dynamical systems, the portable idea is narrower: replace a complicated object with a simpler behaviorally equivalent representation under explicit conditions. That skeleton belongs to Equivalence-Preserving Rewriting.

Relationships to Other Abstractions¶

Current abstraction Hartman–Grobman Theorem Domain-specific

Parents (1) — outgoing typed relations

Hartman–Grobman Theorem presupposes Equivalence-Preserving Rewriting Prime

The theorem most directly instantiates Equivalence-Preserving Rewriting: nonlinear dynamics are recast in linear coordinates while a declared equivalence—local topological conjugacy—preserves the behavior relevant to qualitative.

Hierarchy paths (2) — routes to 2 parentless roots

Hartman–Grobman Theorem → presupposes Equivalence-Preserving Rewriting → is a kind of Transformation → is a kind of, typical Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space¶

Hartman–Grobman Theorem sits in a moderately populated region (59^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25