Dynamical Systems & Differential Structures¶
← Back to Domain-Specific Families
Abstractions that describe how systems evolve or transform under differential, variational and geometric structure — stability and bifurcation analysis (Bogdanov–Takens, exponential stability, Floquet theory), variational and constrained mechanics (Lagrangian mechanics, Noether's second theorem), differential-geometric maps (exterior derivative, diffeomorphism, squeeze mapping), and spectral and topological tools.
37 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.
- Bogdanov–Takens bifurcation — A generic codimension-two equilibrium bifurcation with a double zero eigenvalue whose unfolding organizes nearby saddle-node, Hopf, and homoclinic bifurcation curves.
- Burning Ship fractal — The escape-time set generated by iterating a quadratic complex map after replacing both real and imaginary components with their absolute values at every step.
- Circle criterion — A frequency-domain sufficient condition for absolute stability of a feedback interconnection between a linear time-invariant plant and a memoryless nonlinearity constrained to a sector, expressed as a Nyquist-plot exclusion of a sector-dependent circle or disk.
- Closed Linear Operator — A partially defined linear operator whose graph is a closed subset of the product of its domain's ambient space and codomain.
- Cusp Form — A modular form of specified group and weight is cuspidal when its local expansion has zero constant term at every cusp.
- Càdlàg Function — A time-indexed function whose value agrees with its right limit and whose pre-time left limit exists, allowing jumps with a defined before-and-after state.
- Derivative of the Exponential Map — The Lie exponential's differential converts an algebra perturbation into a group tangent using a commutator correction.
- Diffeomorphism — A bijection between differentiable manifolds whose forward map and inverse are differentiable to the stated class, establishing equivalence of their smooth structures.
- Direct Limit — A directed colimit that assembles compatible forward stages into an object universal among cocones from those stages.
- Effective Action — A quantum-corrected action functional whose stationary condition gives equations for field expectation values and whose derivatives generate one-particle-irreducible correlation functions.
- Equiareal map — A smooth map between surfaces that preserves the area of every region, equivalently pulling back the target area element to the source area element.
- Exponential Stability — An equilibrium's trajectory deviations obey a common exponentially decaying bound relative to their initial size over a specified domain.
- Exterior derivative — The metric-independent differential operator that sends each differential k-form to a (k+1)-form, obeys a graded product rule, and squares to zero.
- Fine topology (potential theory) — The coarsest topology on a potential-theoretic domain that makes every subharmonic function—equivalently every superharmonic function—continuous, refining Euclidean topology where ordinary continuity is too coarse.
- Floquet Theory — A theory for linear differential systems with periodic coefficients that decomposes evolution into periodic motion and exponential growth or decay governed by monodromy multipliers.
- Four-Dimensional Chern–Simons Theory — Four-dimensional Chern–Simons theory uses a mixed topological–holomorphic gauge field to construct integrable-model data.
- Geometrical Frustration — A geometric arrangement of interacting units makes their locally preferred relations impossible to satisfy simultaneously.
- Gradient Network — A directed network derived from an undirected substrate graph and a scalar potential, with each node pointing to the extremal-potential node in its closed neighborhood.
- Heteroclinic Cycle — An invariant cycle in phase space formed by equilibrium points joined by heteroclinic trajectories, along which nearby dynamics may visit successive equilibria for increasingly long intervals.
- I-bundle — A fiber bundle over a manifold whose fiber is an interval, classified as trivial when it is a product and twisted when its global gluing cannot be reduced to that product form.
- Inverse Trigonometric Functions — Restrict each periodic trigonometric function to an injective branch and invert it, returning a principal angle while retaining rules for other periodic or complex branches.
- Lagrangian Mechanics — Lagrangian mechanics derives motion from a scalar Lagrangian in generalized coordinates by stationary action, often simplifying constrained systems.
- Landau–Zener formula — An analytic two-level quantum-transition probability for a constant-coupling avoided crossing whose diabatic energy separation varies linearly in time from the remote past to the remote future.
- Level Repulsion — Coupled modes that would meet as a parameter changes instead separate into hybridized eigenmodes, leaving an avoided-crossing gap set by their nonzero coupling.
- Limiting Absorption Principle — A conditional spectral theorem obtaining resolvent boundary values at real energies by approaching from nonreal parameters in adapted operator spaces.
- Mechanical Similarity — A homogeneous potential lets a classical trajectory generate scaled solutions when space and time are dilated by matched powers.
- Network Synthesis — Inverse electrical-network design turns an admissible target impedance into a verified circuit under stated element constraints.
- Noether's Second Theorem — A local variational symmetry with arbitrary function parameters yields an off-shell differential identity among the Euler–Lagrange expressions.
- Order Dual — The vector space generated by all positive linear functionals on an ordered vector space, equipped with its canonical pointwise order and serving as the first step toward an order bidual.
- Pansu Derivative — The homogeneous group-homomorphism limit of a Carnot-group map's translated and dilated increments at a point, when that limit exists.
- Residual neural network — A deep feedforward neural architecture built from blocks that learn residual transformations added to identity or projected skip paths, improving optimization of very deep models.
- Ridders' Method — A sign-bracketed scalar root finder that samples the midpoint, corrects a three-point interpolation by an exponential factor, and retains a certified root-containing subinterval.
- Schreinemakers Analysis — Schreinemakers analysis constrains reaction curves and stable fields around a phase-equilibrium invariant point.
- Singular Homology — A functorial topological invariant built from all continuous simplex maps into a space, with homology groups formed as cycles modulo boundaries.
- Squeeze Mapping — A planar linear map that stretches one fixed axis by a positive factor and contracts the other by its reciprocal, preserving area and coordinate product.
- Udwadia–Kalaba Formulation — An explicit constrained-mechanics method that corrects free acceleration by a mass-weighted pseudoinverse to satisfy feasible ideal acceleration constraints.
- Variational Asymptotic Method — A model-reduction method that applies asymptotic expansion directly to a variational functional with identified small parameters, separating dominant and higher-order fields while preserving stationary-energy structure.