Phase Portrait Comparison¶
Comparative diagnostic — instantiates Hamiltonian Mechanics and Canonical Transformations
Draws the trajectory portraits of a system before and after a transformation side by side, confirming the flow's qualitative shape — fixed points, orbits, separatrices — survives the change of variables.
Some errors in a transformation don't show up in any single number but are obvious the moment you look at the picture. Phase Portrait Comparison plots the system's trajectories in phase space in the original coordinates and again in the transformed coordinates, and checks that the two portraits describe the same qualitative dynamics: the same count and type of fixed points, the same nested orbits, the same separatrices dividing one kind of motion from another. Its defining idea is topological rather than metric — it doesn't ask whether numbers match to six digits, it asks whether the shape of the flow is preserved, which is often the fastest way to catch a transformation that quietly created a spurious fixed point or erased a real one. It is validation by picture, not by algebra.
Example¶
A power-systems engineer reduces a model of a synchronous generator connected to the grid — whose state is the rotor's angle and its angular velocity — into transformed coordinates meant to make a controller easier to design. The reduced model's equations look right, but before trusting it he lays the two phase portraits side by side. The original portrait shows the classic swing-equation structure: a stable center where the generator runs synchronized, surrounded by closed orbits (small oscillations), all bounded by a separatrix beyond which the rotor "slips poles" and loses synchronism.
In the transformed portrait the stable center and its surrounding orbits are faithfully there — but the separatrix has shifted, enclosing a larger stable region than the real system has. That mismatch is the tell: the transformation subtly overstated the generator's stability margin. No conserved-quantity value flagged it, because energy was preserved; the flaw was in the boundary of stable motion, which only the portrait's shape reveals. Catching it on the picture spares the engineer a controller tuned to a stability region that doesn't exist.
How it works¶
- Represent both flows in phase space. Generate trajectory fields (or a dense set of orbits) for the system in the original and transformed variables over the region of interest.
- Match the qualitative furniture. Identify and compare fixed points (count and stability type), closed orbits, limit cycles, and separatrices across the two portraits.
- Overlay where possible. Map one portrait through the transformation onto the other's axes so discrepancies become directly visible rather than eyeballed across separate plots.
- Localize any mismatch. Where the portraits differ, pinpoint what differs — a missing saddle, a displaced separatrix — since that localizes the transformation's error.
What distinguishes it from a numerical audit is that its verdict is about structure you can see: it accepts metric distortion as long as the topology of the flow is preserved, and rejects a transformation that changed the qualitative story even if some invariant's value happened to survive.
Tuning parameters¶
- Region and resolution — how much of phase space to portray and how densely. Wider, denser portraits catch distant or fine-scale discrepancies but cost computation and clutter.
- Feature focus — which qualitative features to weight (fixed points, separatrices, orbit nesting). Focusing on separatrices catches boundary distortions; focusing on fixed points catches spurious equilibria.
- Overlay vs. side-by-side — whether to map portraits onto common axes (precise, needs the transformation) or compare separately (quick, more subjective).
- Perturbed sampling — whether to seed trajectories near suspected features to test their persistence under small changes.
When it helps, and when it misleads¶
Its strength is that it makes qualitative errors visible and fast: a spurious or missing fixed point, a displaced separatrix, a broken orbit family jumps out of a picture in a way it never would from a table of invariant values. It is the natural first screen on any transformed dynamical model, and it aligns with how the topology of a flow — not its exact coordinates — carries the essential dynamics.[n1]
Its failure mode is that the eye is a coarse and biased instrument. Portraits can look convincingly similar while differing in ways a 2-D projection hides, and features near the plotted boundary or on a coarse grid are easy to miss; conversely, a rendering artifact can masquerade as a real discrepancy. The classic misuse is declaring two systems "the same dynamics" from a reassuring picture without any quantitative backup. The guarding discipline is to treat a matching portrait as necessary-not-sufficient evidence and pair it with a numerical invariant check before certifying equivalence.
How it implements the components¶
phase_space_state_representation— it builds the phase-space trajectory portraits that are its medium, in both the original and transformed frames.equivalence_validation_evidence— the qualitative match of the two portraits is its evidence that the transformation preserved the dynamics.
It does not verify the map's algebra (poisson_bracket_or_symplectic_check — that is Poisson-Bracket Identity Test and Symplectic Form Preservation Check), track named constants of the motion (invariant_preservation_contract — that is Conserved Quantity Audit), or build the canonical_transformation_rule it inspects. Where Conserved Quantity Audit checks specific invariant values numerically, this mechanism checks the flow's visible shape.
Related¶
- Instantiates: Hamiltonian Mechanics and Canonical Transformations — supplies the qualitative, visual equivalence check that complements the archetype's formal validations.
- Sibling mechanisms: Conserved Quantity Audit · Symplectic Form Preservation Check · Poisson-Bracket Identity Test · Structure-Preserving Numerical Integration · Action-Angle Variable Substitution · Canonical Pair Normalization · Generating Function Derivation · Perturbative Canonical Transformation · Inverse Transform Backtranslation
Editorial Notes¶
Form Classification¶
Form family: Assessment, Review & Assurance
Rationale: Phase Portrait Comparison operates as a bounded evaluation of existing evidence or work that produces a finding or disposition because it draws the trajectory portraits of a system before and after a transformation side by side, confirming the flow's qualitative shape — fixed points, orbits, separatrices — survives the change of variables.
Independent corroboration: The frozen evidence defines Phase Portrait Comparison as 'Draws the trajectory portraits of a system before and after a transformation side by side, confirming the flow's qualitative shape — fixed points, orbits, separatrices — survives the change of variables', so its operative form is Assessment, Review & Assurance.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Mathematics
Origin pattern: Cross-disciplinary synthesis
Present-day reach: Specialized
Rationale: Phase portraits and qualitative equivalence of flows are canonical dynamical-systems mathematics.
Related originating lineages:
- Physics — Phase Portrait Comparison is rooted in physics: Dynamical-systems physics compares fixed points, orbits, and separatrices under coordinate transformations. Hamiltonian mechanics supplied the physical trajectories and canonical-transform context.
Review resolution: Light authoritative-source research resolves the primary-origin disagreement in favor of mathematics. Encyclopedia of Mathematics: Phase Space and Phase Portraits directly documents the defining practice or theory described in the selected origin rationale. Other listed domains are retained only where the blind reviews identify material co-development or translation; broader adoption remains separate as domain_reach=specialized.
Attribution caveat: The boundary with physics and nonlinear dynamics is real because that field materially developed or translated the practice, but the cited provenance places the defining form in mathematics.
Encyclopedia synthesis: The exact catalogued form synthesizes established practice rather than reproducing a single standard historical label.
Review outcome: Researched adjudication after independent review; high confidence.
Sources consulted:
Notes¶
[n1] The Hartman–Grobman theorem justifies reasoning about a flow by its portrait: near a hyperbolic fixed point, a nonlinear system is topologically equivalent to its linearization — the qualitative picture (how orbits wind toward or away) is what is preserved, even when exact coordinates are not. This is why a shape match is meaningful evidence, and why the features to compare are fixed points, orbits, and separatrices rather than raw numbers. ↩