Abstract:While studying gradient dynamical systems (DSs), Morse introduced the idea of encoding the qualitative behavior of a DS into a graph. Smale later refined Morse's idea and extended it to Axiom-A diffeomorphisms on manifolds. In Smale's vision, nodes are indecomposable closed invariant subsets of the non-wandering set with a dense orbit and there is an edge from node N to node M if the unstable manifold of N intersects the stable manifold of M. Since then, the decomposition of the non-wandering set was studied in many other settings, while the edges component of Smale's construction has been often overlooked. In the same years, more sophisticated generalizations of the non-wandering set were elaborated first by Auslander in 60s, by Conley in 70s and later by Easton and other authors. In our language, each of these generalizations involves the introduction of a closed and transitive extension of the non-wandering relation, that is closed but not transitive. In the present article, we develop a theory that generalizes at the same time both these lines of research. We study the general properties of closed transitive relations ("streams") containing the space of orbits of a discrete- or continuous-time semi-flow and we argue that these relations play a central role in the qualitative study of DSs. All most studied concepts of recurrence currently in literature can be defined in terms of our streams. Finally, we show how to associate to each stream a graph encoding its qualitative properties. Our main general result is that each stream of a semi-flow with "compact dynamics" has a connected graph. The range of semi-flows covered by our theorem goes from 1-dimensional discrete-time systems like the logistic map up to infinite-dimensional continuous-time systems like the semi-flow of quasilinear parabolic reaction-diffusion PDEs.

Global Dynamics of Ordinary Differential Equations: Wall Labelings, Conley Complexes, and Ramp Systems

Global analysis of regulatory network dynamics: equilibria and saddle-node bifurcations

From ODE to DDE

Regularity, synthesis, rigidity and analytic classification for linear ordinary differential equations of second order

Dynamics of Embedded Curves by Doubly-Nonlocal Reaction-Diffusion Systems

Automated Global Analysis of Experimental Dynamics through Low-Dimensional Linear Embeddings

A nonlocal connection between certain linear and nonlinear ordinary differential equations : Extension to coupled equations

Analyzing Topological Mixing and Chaos on Continua with Symbolic Dynamics

Symbolic Dynamics Analysis of the Lorenz Equations

A novel framework to analyze complex network dynamics

Signed Graph Neural Ordinary Differential Equation for Modeling Continuous-time Dynamics

Continuum graph dynamics via population dynamics: well-posedness, duality and equilibria

Convex Dynamics and Applications

Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics

On Synchronization of Dynamical Systems over Directed Switching Topologies: an Algebraic and Geometric Perspective.

Engineered Ordinary Differential Equations as Classification Algorithm (EODECA): thorough characterization and testing

A theory of generalised coordinates for stochastic differential equations

Clustering of primordial black holes: Basic results

Learning graph geometry and topology using dynamical systems based message-passing

Description of Complex Dynamics in a Class of Impulsive Differential Equations

Streams and Graphs of Dynamical Systems