Related papers: Existence of Lipschitz continuous Lyapunov functio…
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…
Conley in \cite{Con} constructed a complete Lyapunov function for a flow on compact metric space which is constant on orbits in the chain recurrent set and is strictly decreasing on orbits outside the chain recurrent set. This indicates…
The aim of this paper is twofold. On the one hand, we discuss the notions of strong chain recurrence and strong chain transitivity for flows on metric spaces, together with their characterizations in terms of rigidity properties of…
For a continuous flow on a compact metric space, the aim of this paper is to prove a Conley-type decomposition of the strong chain recurrent set. We first discuss in details the main properties of strong chain recurrent sets. We then…
The so-called Fundamental Theorem of Dynamical Systems -- which(1) relates attractors and repellers to the chain recurrent set and (2) gives the existence of a complete Lyapunov function -- can be seen as a means of separating out…
This short expository note provides an introduction to the concept of chain recurrence in topological dynamics and a proof of the existence complete Lyapunov functions for homeomorphisms of compact metric spaces due to Charles Conley. I…
In this paper we find conditions which guarantee that a given flow $\Phi$ on a compact metric space $X$ admits a Lyapunov one-form $\omega$ lying in a prescribed \v{C}ech cohomology class $\xi\in \check H^1(X;\R)$. These conditions are…
Complete Lyapunov functions for a dynamical system, given by an autonomous ordinary differential equation, are scalar-valued functions that are strictly decreasing along orbits outside the chain-recurrent set. In this paper we show that we…
This paper deals with asymptotic stability of a class of dynamical systems in terms of smooth Lyapunov pairs. We point out that well known converse Lyapunov results for differential inclusions cannot be applied to this class of dynamical…
We extend the Lyapunov function technique, a fundamental tool for investigating asymptotic stability and existence of attractors for ordinary differential equations, by introducing the notion of a {\it strong Lyapunov function} for an…
A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalities between these pieces. It provides a stability certificate…
We give necessary and sufficient conditions for the existence of smooth Lyapunov 1-forms for the flow of a smooth vector field in terms of the behavior of certain locally finite invariant measures. The main statement generalizes a result of…
We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence of a converse Lyapunov function as a barrier function for a…
This paper studies finite-time stability of a class of hybrid systems. We present sufficient conditions in terms of multiple generalized Lyapunov functions for the origin of the hybrid system to be finite-time stable. More specifically, we…
We study the well-posedness of compressible vortex sheets and entropy waves in two-dimensional steady supersonic Euler flows over Lipschitz walls with $BV$ incoming flows. Both the Lipschitz wall of $BV$ tangential angle function and the…
In 2019 Anthony Quas, Philippe Thieullen and Mohamed Zarrabi introduced the concept of strong fast invertibility for linear cocycles. It relates the growth of volumes between different initial times and, together with a condition on…
We consider explosions in the generalized recurrent set for homeomorphisms on a compact metric space. We provide multiple examples to show that such explosions can occur, in contrast to the case for the chain recurrent set. We give…
We give a necessary and sufficient condition for a difference of convex (DC, for short) functions, defined on a locally convex space, to be Lipschitz continuous. Our criterion relies on the intersections of the "epsilon-subdifferentials of…
Let $F:[0,T]\times\R^n\mapsto 2^{\R^n}$ be a continuous multifunction with compact, not necessarily convex values. In this paper, we prove that, if $F$ satisfies the following Lipschitz Selection Property: \begin{itemize} \item[{(LSP)}]…
A rigorous proof of a theorem on the coexistence of smooth Lyapunov function and smooth planar dynamical system with one arbitrary limit cycle is given, combining with a novel decomposition of the dynamical system from the perspective of…