smooth lyapunov functions

Lyapunov's theorem is the basic criteria to establish the stability properties of the nonlinear dynamical systems. In this method, it is a necessity to find the positive definite functions with negative definite or negative semi-definite derivative. These functions that named Lyapunov functions, form the core of this criterion. The existence of the Lyapunov functions for asymptotically stable equilibrium points is guaranteed by converse Lyapunov theorems. On the other hand, for the cases where the equilibrium point is stable in the sense of Lyapunov, converse Lyapunov theorems only ensure non-smooth Lyapunov functions. In this paper, it is proved that there exist some autonomous nonlinear systems with stable equilibrium points that despite stability don’t admit convex Lyapunov functions. In addition, it is also shown that there exist some nonlinear systems that despite the fact that they are stable at the origin, but do not admit smooth Lyapunov functions in the form of V(x) or V(t,x) even locally. Finally, a class of non-autonomous dynamical systems with uniform stable equilibrium points, is introduced. It is also proven that this class do not admit any continuous Lyapunov functions in the form of V(x) to establish stability.