Definition A real-valued function V: X H R defined on state space X of a system with behavior set B and state r:B×[0,∞)→ X is called a Lyapunov function if tHv(t)=v(a(t))=v(a(z(), t)) is a non-increasing function of time for every z E B according to this definition, Lyapunov
3.1.2 A general uniqueness theorem The key issue for uniqueness of solutions turns out to be the maximal slope of a=a(a) to guarantee uniqueness on time interval T=[to, t,, it is sufficient to require existence of a constant M such that
he variable t is usually referred to as the\time Note the use of an integral form in the formal definition(2.2): it assumes that the function tHa(a(t), t)is integrable on T, but does not require =a(t)to be differentiable at any particular point, which turns out to be convenient for working with discontinuous