Existence of Lipschitz continuous Lyapunov functions strict outside the strong chain recurrent set - Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes Accéder directement au contenu
Article Dans Une Revue Dynamical Systems Année : 2019

Existence of Lipschitz continuous Lyapunov functions strict outside the strong chain recurrent set

Résumé

The aim of this paper is to study in detail the relations between strong chain recurrence for flows and Lyapunov functions. For a continuous flow on a compact metric space, uniformly Lipschitz continuous on the compact subsets of the time, we first make explicit a Lipschitz continuous Lyapunov function strict –that is strictly decreasing– outside the strong chain recurrent set of the flow. This construction extends to flows some recent advances of Fathi and Pageault in the case of homeomorphisms; moreover, it improves Conley's result about the existence of a continuous Lyapunov function strictly decreasing outside the chain recurrent set of a continuous flow. We then present two consequences of this theorem. From one hand, we characterize the strong chain recurrent set in terms of Lipschitz continuous Lyapunov functions. From the other hand, in the case of a flow induced by a vector field, we establish a sufficient condition for the existence of a C 1,1 strict Lyapunov function and we also discuss various examples. Moreover, for general continuos flows, we show that the strong chain recurrent set has only one strong chain transitive component if and only if the only Lipschitz continuous Lyapunov functions are the constants. Finally, we provide a necessary and sufficient condition to guarantee that the strong chain recurrent set and the chain recurrent one coincide.
Fichier principal
Vignette du fichier
LYA_SCR_Bernardi_Florio-REVISION.pdf (411.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01578728 , version 1 (29-08-2017)
hal-01578728 , version 2 (20-06-2018)

Identifiants

  • HAL Id : hal-01578728 , version 2

Citer

Olga Bernardi, Anna Florio. Existence of Lipschitz continuous Lyapunov functions strict outside the strong chain recurrent set. Dynamical Systems, 2019, 34 (1), pp.71-92. ⟨hal-01578728v2⟩
142 Consultations
196 Téléchargements

Partager

Gmail Facebook X LinkedIn More