---
title: Fundamental Theorem of Dynamical Systems
url: https://www.emergentmind.com/topics/fundamental-theorem-of-dynamical-systems
type: topic
---

# Fundamental Theorem of Dynamical Systems

Searching arXiv for recent and foundational papers on the Fundamental Theorem of Dynamical Systems and closely related formulations.
The **Fundamental Theorem of Dynamical Systems** most commonly denotes the Conley–Franks theorem: a structural result asserting that a dynamical system decomposes into a **chain recurrent** part and a **gradient-like transient** part, and that this decomposition is encoded by a **complete Lyapunov function** [2508.10525]. In this formulation, the theorem separates recurrent dynamics from transient dynamics for continuous-time and discrete-time systems, and, in recent work, for flows, semiflows, and certain hybrid systems [2508.10525]. In parallel, the phrase is also used in one-dimensional dynamics for **Sharkovskii’s theorem**, which organizes the possible periods of interval maps and, in a recent infinite-dimensional extension, transfers this periodic-ordering principle to compact Banach-space maps that are topologically close to a one-dimensional model [2411.19190]. These usages are distinct but related by a common theme: the extraction of universal dynamical structure from recurrence, order, and topological invariants.

## 1. Conley’s formulation and the recurrent–transient split

In the Conley framework, one works with a topological flow or semiflow $\Phi:T\times X\to X$ on a metric space $(X,d)$, with $T=\mathbb{R}$ or $T=\mathbb{Z}$ depending on whether time is continuous or discrete [2508.10525]. The theorem is built on the notion of **chain recurrence**. Using an error function $\epsilon\in C(X,(0,\infty))$, an $(\epsilon,T)$-chain from $x$ to $y$ is a finite sequence of points and times
\[
(x_0=x,x_1,\dots,x_n=y),\qquad (t_0,\dots,t_{n-1}),
\]
with $t_j\ge T$ and
\[
d(\Phi(t_j,x_j),x_{j+1})<\epsilon(\Phi(t_j,x_j))
\]
for all $j$ [2508.10525]. A point is chain recurrent if such chains exist from the point back to itself for all admissible errors and time floors. The resulting set is the **chain recurrent set**, denoted $ChRec(\Phi)$.

The theorem asserts that the complement $X\setminus ChRec(\Phi)$ is not arbitrary. It is exhausted by basins attached to trapping regions. If $\mathcal{T}(\Phi)$ denotes the collection of trapping regions and $A_T$ the attracting set determined by $T$, then
\[
X \setminus ChRec(\Phi)=\bigcup_{T\in \mathcal{T}(\Phi)} \big[Orb^{-}(T)\setminus A_T\big],
\]
and, for flows,
\[
ChRec(\Phi)=\bigcap_{T\in \mathcal{T}(\Phi)} (A_T\cup R_T),
\]
where $(A_T,R_T)$ is the attracting–repelling pair associated to $T$ [2508.10525]. This is the **Conley decomposition**: outside chain recurrence, the dynamics is gradient-like; inside it, the system decomposes into chain components.

A common misconception is that the theorem is primarily about asymptotic stability or hyperbolicity. In the Conley form it is not. Its hypotheses and conclusions are topological: it describes recurrence via chains, trapping regions, and attractor–repeller pairs, without assuming differentiability or hyperbolic structure [2508.10525].

## 2. Trapping regions, attractors, repellers, and chain components

A **trapping region** $T\subset X$ is a nonempty set for which there exists $T_0$ such that
\[
cl(\Phi(T_{\ge T_0}\times T))\subset int(T),
\]
in a formulation that simultaneously covers continuous and discrete time [2508.10525]. The associated **attracting set** is
\[
A=\bigcap_{t\in T} cl(\Phi(T_{\ge t}\times T)).
\]
For flows, one also has the associated **repelling set**
\[
R=\bigcap_{t\in T} cl(\Phi(T_{\le t}\times (X\setminus T))).
\]
If $T$ is open, then for flows the repelling set satisfies
\[
R=X\setminus Orb^{-}(T)
\]
[2508.10525].

Chain recurrence induces an equivalence relation on $ChRec(\Phi)$: two points are **chain equivalent** if each can be reached from the other by arbitrarily accurate chains. The equivalence classes are the **chain components**, and they are closed and invariant for flows, or forward-invariant for semiflows [2508.10525]. The theorem thus does more than identify a recurrent set; it canonically partitions that set into dynamically meaningful pieces.

Lewis’s unified treatment shows that the various chain formulations are equivalent after time normalization. If $T_0$ is invertible in the time domain, then chain equivalence, $T_0$-chain equivalence, and exact $T_0$-chain equivalence coincide. In particular,
\[
ChRec(\Phi)=ChRec(\Phi^{T_0}),
\]
so for flows $ChRec(\Phi)=ChRec(\Phi^1)$, and for discrete time the chain recurrent set of the semiflow agrees with that of the time-one map [2508.10525]. This equivalence is technically important because it reduces continuous-time questions to discrete-time ones without losing the recurrent structure.

This suggests that the theorem is fundamentally about **topological recurrence classes** rather than about a preferred time formalism. The same recurrent/transient dichotomy survives passage between maps, flows, and semiflows when the chain relation is formulated correctly.

## 3. Complete Lyapunov functions

A **complete Lyapunov function** is a continuous map $L:X\to[0,1]$ satisfying four properties: it is nonincreasing along forward trajectories; it strictly decreases off the chain recurrent set; it is constant on chain recurrent trajectories; and on $ChRec(\Phi)$ it separates chain components, in the sense that two chain recurrent points have the same $L$-value if and only if they belong to the same chain component [2508.10525]. For flows, the monotonicity sharpens: if $x\notin ChRec(\Phi)$, then $t\mapsto L(\Phi(t,x))$ is strictly decreasing.

For discrete-time maps on separable metric spaces, Lewis gives an explicit construction. After building Lyapunov prefunctions $L_{T_j}$ for a countable family of strong trapping regions, the global complete Lyapunov function is
\[
L(x)=\sum_{j=1}^{\infty}\frac{2L_{T_j}(x)}{3^j}.
\]
This converges uniformly, is continuous, and yields the full Conley–Franks conclusion: $L\circ \phi\le L$, strict decrease off $ChRec(\phi)$, constancy on chain components, and separation of distinct chain components [2508.10525].

For continuous-time flows and semiflows, the same paper provides an explicit construction “for the first time” by integrating a complete Lyapunov function $\ell$ for the time-one map:
\[
L(x)=\int_0^1 \ell(\Phi(s,x))\,ds.
\]
The resulting $L$ is a complete Lyapunov function for the continuous-time system, and the set of values $L(ChRec(\Phi))$ is closed and nowhere dense, inherited from the discrete-time construction [2508.10525].

The importance of the complete Lyapunov function is not merely that it detects asymptotic descent. It gives a scalar realization of the Conley decomposition. Its level sets encode chain components and the partial order among them, thereby producing a Morse-type stratification of the dynamics [2508.10525].

## 4. Extensions to semiflows and hybrid systems

The Conley theorem was originally formulated for continuous flows on compact metric spaces, and the Franks version covers continuous maps. Recent work extends this structure to **hybrid dynamical systems**, where trajectories combine continuous evolution and discrete resets [2005.03217]. In the model treated there, a topological hybrid system is a tuple
\[
H=(X,F,G,\phi,r),
\]
with flow set $F$, guard set $G$, local semiflow $\phi$ on $F$, and reset map $r:G\to X$ [2005.03217].

The hybrid theory introduces **hybrid $(\epsilon,T)$-chains**, a **hybrid Conley relation**, and the **hybrid chain recurrent set** $R(H)$ [2005.03217]. Under four hypotheses—determinism $G\cap F=\emptyset$, every maximal execution infinite or Zeno, a trapping guard condition, and compactness of $X$—there exists a **hybrid complete Lyapunov function** $L:X\to\mathbb{R}$ such that $L$ strictly decreases along flows outside $R(H)$, strictly decreases across resets outside $R(H)$, classifies chain-equivalent points in $R(H)$ by equality of values, and has $L(R(H))$ nowhere dense in $\mathbb{R}$ [2005.03217].

The hybrid analogue of the decomposition theorem is
\[
R(H)=\bigcap \{A\cup A^*: A \text{ is an attracting set for } H\},
\]
together with an attractor–repeller characterization of chain equivalence [2005.03217]. The proof proceeds by embedding the hybrid system into a relaxed system, constructing a **hybrid suspension** carrying a continuous semiflow, and then pulling back the classical Conley theory from the suspension to the original hybrid dynamics [2005.03217].

Concrete applications include Lagrangian hybrid systems with impacts and the bouncing-ball model. For the bouncing ball with restitution coefficient $d\in[0,1)$, the chain recurrent set on a compact energy sublevel reduces to $(0,0)$, and an explicit complete Lyapunov function can be written as
\[
L(x,y)=a\mu(x,y)+b\sqrt{(1/2)y^2+gx},
\]
with a coefficient condition ensuring strict decrease across impacts [2005.03217]. This illustrates that Conley’s theorem is not confined to smooth autonomous systems; it persists in discontinuous event-driven dynamics when the topology of executions is controlled appropriately.

## 5. Sharkovskii’s theorem and the periodic-ordering sense of “fundamental theorem”

A second established usage of the phrase identifies the “Fundamental Theorem of Dynamical Systems” with **Sharkovskii’s theorem** for interval maps [2411.19190]. For a continuous map $f:[0,1]\to[0,1]$, Sharkovskii introduced a total order $\triangleright$ on $\mathbb{N}$,
\[
3 \triangleright 5 \triangleright 7 \triangleright 9 \triangleright \cdots \triangleright 2\cdot 3 \triangleright 2\cdot 5 \triangleright \cdots \triangleright 2^n \triangleright \cdots \triangleright 2 \triangleright 1,
\]
and proved that if $f$ has a point of basic period $m$, then for every $n$ with $n\triangleright m$, the map has a point of period $n$ [2411.19190]. In particular, period $3$ implies points of every natural period.

The recent paper “Sharkovskii theorem for infinite dimensional dynamical systems” develops an infinite-dimensional extension. Let
\[
X=\mathbb{R}\times \mathbb{R}^{N-1}\times \mathcal{X}_2,
\]
with $\mathcal{X}_2$ a Banach space, and let
\[
G=I\times B_{\mathbb{R}^{N-1}}(R)\times \Xi,
\]
where $\Xi\subset \mathcal{X}_2$ is closed, convex, and bounded. If a continuous compact map $F:G\to int(G)$ admits an $n$-periodic orbit with disjoint intervals $[p_i\pm \delta_i]\subset I$ satisfying
\[
F([p_i\pm \delta_i]\times B(R)\times \Xi)\subset (p_{i+1}\pm \delta_{i+1})\times B(R)\times \Xi,
\]
then for every $m$ with $n\triangleright m$, the map $F$ has a point of least period $m$ [2411.19190]. The geometric interpretation is “one unstable direction + contraction in other directions”: ordering is carried by the scalar coordinate $p$, while the remaining finite-dimensional and infinite-dimensional directions are trapped in bounded tails.

The proof transfers one-dimensional Sharkovskii itinerary data to infinite dimensions via interval coverings, h-sets with one exit, covering relations, and Leray–Schauder degree [2411.19190]. The DDE application uses the delayed Rössler system
\[
u'(t)=f_{a,b}(u(t))+\epsilon f_{a,b}(u(t-\tau)),
\]
with phase space $X=C([-\tau,0],\mathbb{R}^3)$, and rigorously verifies the hypotheses for
\[
a=5.25,\qquad b=0.2,\qquad \tau=0.5,\qquad \epsilon=10^{-4}.
\]
The conclusion is that the delayed Rössler system has periodic orbits of all natural periods $m\in\mathbb{N}$ [2411.19190].

The theorem is purely topological: it guarantees existence of periodic orbits, but not density of periodic points, multiplicity, stability, or hyperbolicity [2411.19190]. It also does not directly assert Li–Yorke chaos for the infinite-dimensional semiflow, even though period $3$ yields all periods in the Sharkovskii sense.

## 6. Categorical and discrete-time reformulations

A more recent line of work gives a categorical “fundamental theorem” for discrete dynamical systems through the notion of a **cycle set** [2506.05190]. A discrete dynamical system is a pair $(X,f)$, viewed as a functor from the monoid category $B$ to $\mathrm{Set}$; its state space is the digraph with vertices $X$ and edges $x\to f(x)$ [2506.05190]. The key construction is the attractor functor
\[
A:\mathrm{DiGraph}\to \mathrm{cySet},
\]
where
\[
A(G)_n=\{f:C_n\to G \text{ graph maps}\},
\]
so $A(G)$ records directed cycles of all lengths together with their rotation and degeneracy structure [2506.05190].

Within this framework, the principal decomposition result concerns semi-direct products. For a system $(X\times Y, f \ {p}\ g)$, the set of $n$-cycles decomposes as
\[
AS(X \times Y, f {p} g)_n \cong \coprod_{[c] \in \mathrm{Orb}(AS(X,f)_n)} AS(\mathbb{Z}/k \times Y,\, succ \ {pc} \ g)_n,
\]
as $\mathbb{Z}/n$-sets, where $[c]$ ranges over periodic forcing classes in the “driver” system $(X,f)$ [2506.05190]. Dynamically, each periodic orbit in $X$ induces a time-periodic forcing of the subsystem on $Y$, and the global periodic attractors split as the disjoint union of the periodic attractors of the driven subsystems.

This categorical theory intersects the Conley picture in the discrete metric setting. There, for $\epsilon<1$, $\epsilon$-chains coincide with true orbit segments, so chain recurrence reduces to periodicity; the chain recurrent classes are precisely directed cycles, and the cycle set captures the full chain recurrent structure [2506.05190]. In general topological settings, however, cycle sets capture only the periodic part, whereas Conley’s theorem also encompasses nonperiodic chain recurrent phenomena [2506.05190].

A useful editorial distinction is therefore the following. In the Conley sense, the Fundamental Theorem of Dynamical Systems is a theorem about **all recurrence**, organized by complete Lyapunov functions and attractor–repeller pairs. In the Sharkovskii and categorical senses, the phrase singles out universal organization principles for **periodic recurrence**. The recent literature shows that both viewpoints remain active, and both now extend well beyond their original settings—to semiflows, hybrid systems, Banach-space maps, delay equations, and categorical models of modular discrete dynamics [2508.10525].

Source: https://www.emergentmind.com/topics/fundamental-theorem-of-dynamical-systems