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: v1 · 2026-08-30 · History
Domain-specific #: 1983
Origin domain: dynamical systems
Subdomain: local stability theory
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.

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) — more general patterns this builds on

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 → Equivalence-Preserving Rewriting → Transformation → Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space¶

Hartman–Grobman Theorem sits in a sparse region of the domain-specific corpus (67^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08