Related papers: A Conley-type Lyapunov function for the strong cha…

We present an extension of the notion of infinitesimal Lyapunov function to singular flows, and from this technique we deduce a characterization of partial/sectional hyperbolic sets. In absence of singularities, we can also characterize…

In this paper, we establish a framework for the analysis of linear parabolic equations on conical surfaces and use them to study the conical Ricci flow. In particular, we prove the long time existence of the conical Ricci flow for general…

For a superprocess under a stochastic flow, we prove that it has a density with respect to the Lebesgue measure for d=1 and is singular for d>1. For d=1, a stochastic partial differential equation is derived for the density. The regularity…

Let $M$ be a compact Riemannian manifold. The set $\text{F}^{r}(M)$ consisting of sequences $(f_{i})_{i\in\mathbb{Z}}$ of $C^{r}$-diffeomorphisms on $M$ can be endowed with the compact topology or with the strong topology. A notion of…

Let $\F$ be a collection of subsets of $\Z_+$ and $(X,T)$ be a dynamical system. $x\in X$ is $\F$-recurrent if for each neighborhood $U$ of $x$, $\{n\in\Z_+:T^n x\in U\}\in \F$. $x$ is $\F$-product recurrent if $(x,y)$ is recurrent for any…

We establish the validity of a strong unique continuation property for weakly coupled elliptic systems, including competitive ones. Our proof exploits the system structure and uses Carleman estimates. We apply this result to obtain some…

In this paper, we consider the stability of discrete-time linear switched systems with a common non-strict Lyapunov matrix.

This paper provides a systematic exposition of Lyapunov stability for compact sets in locally compact metric spaces. We explore foundational concepts, including neighborhoods of compact sets, invariant sets, and the properties of dynamical…

What limits how fast a Lyapunov function can decay under input bounds? We address this question by showing how the shape of Lyapunov comparison functions governs guaranteed decay for control affine systems. Using a windowed nominal…

We consider the problem of approximating flow functions of continuous-time dynamical systems with inputs. It is well-known that continuous-time recurrent neural networks are universal approximators of this type of system. In this paper, we…

In this paper, we study the centralizer of a separating continuous flow without fixed points. We show that if $M$ is a compact metric space and $\phi_t:M\to M$ is a separating flow without fixed points, then $\phi_t$ has a quasi-trivial…

We show that the existence of a Lyapunov-Krasovskii functional (LKF) with pointwise dissipation (i.e. dissipation in terms of the current solution norm) suffices for input-to-state stability, provided that uniform global stability can also…

It is well known that, the existence of a Lyapunov function is a sufficient condition for stability, asymptotic stability, or global asymptotic stability of an equilibrium point of an autonomous system $\dot{\mathbf{x}} = f(\mathbf{x})$. In…

We provide a computer-assisted approach to ensure that a given continuous or discrete-time polynomial system is (asymptotically) stable. Our framework relies on constructive analysis together with formally certified sums of squares Lyapunov…

This paper considers a wide class of smooth continuous dynamic nonlinear systems (control objects) with a measurable vector of state. The problem is to find a special function (Lyapunov function), which in the framework of the second…

In this paper, we consider linear switched systems $\dot x(t)=A_{u(t)} x(t)$, $x\in\R^n$, $u\in U$, and the problem of asymptotic stability for arbitrary switching functions, uniform with respect to switching ({\bf UAS} for short). We first…

We obtain sufficient conditions for the stability of the synchronized solutions for a class of coupled dynamical systems. This is accomplished by finding an analytical expression for the transverse Liapunov exponent through spectral…

A uniformly continuously integrable sequence of real-valued measurable functions, defined on some probability space, is relatively compact in the $\sigma(L^1,L^\infty)$ topology. In this paper, we link such a result to weak convergence…

Three similar convergence notions are considered. Two of them are the long established notions of convergent dynamics and incremental stability. The other is the more recent notion of contraction analysis. All three convergence notions…

We study $C^1$-generic vector fields on closed manifolds without points accumulated by periodic orbits of different indices and prove that they exhibit finitely many sinks and sectional-hyperbolic transitive Lyapunov stable sets with…