Skip to content

Separatrix

An invariant state-space boundary separating qualitatively different dynamical trajectories.

Version
v1 · 2026-10-03 · History
Domain-specific #
13602
Aliases
Separatrix Curve

Core Idea

A separatrix is an invariant state-space divider between qualitatively different trajectories from neighboring initial states. In an undamped pendulum it separates back-and-forth libration from continuing rotation; in a bistable population model it can separate the basins leading to two different stable outcomes. Its identity is the dynamic regime partition, not the mere presence of a saddle point.[ref-cfe079c96924][ref-20641ecc51d0]

Scope of Application

The pendulum's critical-energy orbits through the inverted unstable position provide a conservative example. A two-population competition model provides a dissipative example in which a saddle-associated stable-manifold curve divides attraction basins. Those are two realizations; neither a conserved energy nor a simple saddle loop is required in every use of the term.[ref-82fa2a935d33][ref-20641ecc51d0][^ref-1c219149059d]

Clarity

Check three roles: a state space with evolution, distinct trajectory regimes, and a dynamically invariant dividing set. An arbitrary line on a phase plot does not qualify if trajectories cross it without a change of regime. A saddle may help locate the divider, but is not the whole separatrix; a parameter-space bifurcation threshold is a different object.[ref-cfe079c96924][ref-1c219149059d]

Manages Complexity

Knowing the divider permits a regime map without tracing every initial condition separately. Local saddle directions can start its construction but do not by themselves prove the full global basin boundary. Near the divider, uncertainty in an initial state may overlap different outcomes, so numerical classifications need a corresponding uncertainty check.[^ref-1c219149059d]

Abstract Reasoning

For the undamped pendulum, low-energy states swing and higher-energy states circulate. The critical-energy invariant orbit lies between those phase-space regions. In a two-attractor system, a different test applies: initial states on opposite sides of the invariant basin boundary approach different stable outcomes. The energy equation is specific; invariant regime separation is shared.[ref-82fa2a935d33][ref-20641ecc51d0]

Knowledge Transfer

The practical question is “Which invariant state-space divider changes the kind of eventual motion?” It transfers from mechanics to population dynamics without transferring the pendulum's energy integral, coordinate geometry, or exact orbit shape. A stable manifold is a candidate realization only when it actually separates the relevant regimes.[ref-cfe079c96924][ref-20641ecc51d0]

[^ref-cfe079c96924]: Gerald Jay Sussman and Jack Wisdom, Structure and Interpretation of Classical Mechanics, 2nd ed., ch. 3, directly checked. [^ref-82fa2a935d33]: University of Arizona, Introduction to Mathematical Modeling, “The Nonlinear Pendulum”, directly checked. [^ref-1c219149059d]: Russ Tedrake, Underactuated Robotics, ch. 2, basin-of-attraction and separatrix discussion, directly checked. [^ref-20641ecc51d0]: University of Minnesota Math Insight, “Classifying equilibria of two-dimensional nonlinear systems”, strong-competition example, steps 7–8, directly checked.

Relationships to Other Abstractions

Local relationship map for SeparatrixParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.SeparatrixDOMAINPrime abstraction: Phase Space — presupposesPhase SpacePRIME

Current abstraction Separatrix Domain-specific

Parents (1) — more general patterns this builds on

  • Separatrix presupposes Phase Space Prime

    A separatrix divides classes of trajectories indexed by phase-space initial states.

    Condition / exception dynamical state-space setting

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

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

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

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