Abstract
It has been proved that a differential system d x / d t = f(t, x) with a discontinuous right-hand side admits some continuous weak Lyapunov function if and only if it is robustly stable. This paper focuses on the smoothness of such a Lyapunov function. An example of an (asymptotically) stable system for which there does not exist any (even weak) Lyapunov functions of class C 1 is given. In the more general context of differential inclusions, the existence of a weak Lyapunov function of class C 1 (or C ∞) is shown to be equivalent to the robust stability of some perturbed system obtained in introducing measurement error with respect to x and t. This condition is proved to be satisfied by most of the robustly stable systems encountered in the literature. Analogous results are given for the Lagrange stability. As an application to the study of the links between internal and external stability for control systems, an extension of a result by Bacciotti and Beccari is obtained by means of a smooth Lyapunov function associated with a robustly Lagrange stable system.
Similar content being viewed by others
References
Aubin, J. P. and Cellina, A.: Differential Inclusions, Springer-Verlag, New York, 1984.
Aubin, J. P. and Frankowska, H.: Set-Valued Analysis, Birkhäuser, Basel, 1990.
Auslander, J. and Seibert, P.: Prolongations and stability in dynamical systems, Ann.Inst. Fourier (Grenoble) 14(1964), 237–268.
Bacciotti, A.: External stabilizability of nonlinear systems with some applications, Internat.J. Robust Nonlinear Control 8(1998), 1–10.
Bacciotti, A. and Beccari, G.: External stabilizability by discontinuous feedback, Proc.2nd Portuguese Conference on Automatic Control, 1996.
Bacciotti, A. and Rosier, L.: Lyapunov and Lagrange stability: Inverse theorems for discontinuous systems, Math.Control Signals Systems 11(1998), 101–128.
Bacciotti, A. and Rosier, L.: On the converse of first Lyapunov theorem: The regularity issue, submitted.
Clarke, F. H., Ledyaev, Yu. S. and Stern, R. J.: Asymptotic stability and smooth Lyapunov functions, J.Differential Equations 149(1998), 69–114.
Deimling, K.: Multivalued Differential Equations, de Gruyter, Berlin, 1992.
Evans, L. C. and Gariepy, R. F.: Measure Theory and Fine Properties of Functions, Stud. Adv. Math., CRC Press, London, 1992.
Filippov, A. F.: Differential equations with discontinuous right-hand side, Mat.Sb. 5(1960), 99–127(in Russian). English translation in Amer.Math.Soc.Transl. 42 (1964), 199- 231.
Krasovski, N. N.: The converse of the theorem of K. P. Persidskij on uniform stability, Prikl. Mat.Mekh. 19(1955), 273–278(in Russian).
Kurzweil, J.: On the invertibility of the first theorem of Lyapunov concerning the stability of motion, Czech.Math.J. 80(1955), 382–398(in Russian).
Kurzweil, J.: On the inversion of Lyapunov's second theorem on stability of motion, Trans. Amer.Math.Soc. 24(1963), 19–77.
Kurzweil, J. and Vrkoc, I.: The converse theorems of Lyapunov and Persidskij concerning the stability of motion, Czech.Math.J. 82(1957), 254–272(in Russian).
Ledyaev, Yu. S. and Sontag, E. D.: A Lyapunov characterization of robust stabilization,to appear in Nonlinear Anal.
Paden, B. E. and Sastry, S. S.: A calculus for computing Filippov's differential inclusions with applications to the variable structure control of robot manipulators, IEEE Trans.Circuits Systems 34(1987), 73–81.
Rosier, L.: Inverse of Lyapunov's second theorem for measurable functions, in: M. Fliess (ed.), Proc.IFAC-NOLCOS 92, pp. 655–660.
Rudin, W.: Principles of Mathematical Analysis, McGraw-Hill, New York, 1987.
Rudin, W.: Real and Complex Analysis, McGraw-Hill, New York, 1974.
Sontag, E. D.: Smooth stabilization implies coprime factorization, IEEE Trans.Autom.Control 34(1989), 435–443.
Varaiya, P. P. and Liu, R.: Bounded-input bounded-output stability of nonlinear time-varying differential systems, SIAM J.Control 4(1966), 698–704.
Yoshizawa, T.: On the stability of solutions of a system of differential equations, Mem.Coll. Sci.Univ.Kyoto Ser.A 29(1955), 27–33.
Yoshizawa, T.: Lyapunov's functions and boundedness of solutions, Funkc.Ekvac. 2(1959), 95–142.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rosier, L. Smooth Lyapunov Functions for Discontinuous Stable Systems. Set-Valued Analysis 7, 375–405 (1999). https://doi.org/10.1023/A:1008758007170
Issue Date:
DOI: https://doi.org/10.1023/A:1008758007170