A Conley-type Lyapunov function for the strong chain recurrent set

Let $\phi:X\times\mathbb{R} \rightarrow X$ be a continuous flow on a compact metric space $(X,d)$. In this article we constructively prove the existence of a continuous Lyapunov function for $\phi$ which is strictly decreasing outside $\mathcal{SCR}_d(\phi)$. Such a result generalizes Conley's Fundamental Theorem of Dynamical Systems for the strong chain recurrent set.

[1]  C. Conley.  Isolated Invariant Sets and the Morse Index , 1978 .

[2]  A. Fathi,et al.  Aubry–Mather theory for homeomorphisms , 2014, Ergodic Theory and Dynamical Systems.

[3]  J. Wiseman,et al.  The Generalized Recurrent Set, Explosions and Lyapunov Functions , 2019, Journal of Dynamics and Differential Equations.

[4]  O. Bernardi,et al.  Existence of Lipschitz continuous Lyapunov functions strict outside the strong chain recurrent set , 2017, Dynamical Systems.

[5]  Joseph Auslander,et al.  Topological dynamics , 2008, Scholarpedia.

[6]  O. Bernardi,et al.  A Conley-type decomposition of the strong chain recurrent set , 2017, Ergodic Theory and Dynamical Systems.

[7]  C. Conley.  The gradient structure of a flow: I , 1988, Ergodic Theory and Dynamical Systems.