M. Vidyasagar Nonlinear Systems Analysis 2002
M. Vidyasagar Nonlinear Systems Analysis 2002
0, Vox) <0, Vx#0inS,
Then Theorem (25) applies and Osan asymptotically table equilibrium. Now one can ask:
‘Does (38) imply that Sis contained in the domain of attraction D (0) defined in (5.2.43)? In
other words, does (38) imply that s(, 0, x) 0 as 1-90 whenever xo $? One might be
tempted to think that the answer is yes because (38) implies that VIs(, 0, x)] gradually
decays 100 as to», but this reasoning is false. Ife S and ifs(t, 0, X9)€ S V1 20, then (38)
would imply that Vist, 0, x)}—>0, and hence that s(/, 0, x»)—>0. However, (38) alone
doesnot guarantee that every solution that startsin S stays in S. The valid conclusion is this:
If (38) holds, then every invariant set of (5.1.1) contained in Sis also contained in D (0), but
S itself need not be contained in D(0). But how does one go about finding such invariant
sets? As easy way isto use so-called level sets of the Lyapunov function V. Let ce R, , and
consider the set
39 Mulc)=[xeR": Vix) Sc}.
Note that, depending on the nature of the function V, the set My(c) need not be connected
(ee Figure 5.6). However, @always belongs to My(c). Now the level set Ly(c)is defined as
the connected component of My(c) containing 0. Another equivalent definition is the fol-
lowing: Ly(c) is the set of allxe R” withthe property that there exists a continuous function
b:(0, 1] +R" such that h(O)=x, b(1)=0, and V[b(r)]-