24.04.2013 Views

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

116 CHAPTER 4. LYAPUNOV STABILITY II: NONAUTONOMOUS SYSTEMS<br />

Proof of theorem 4.1: Choose R > 0 such that the closed ball<br />

BR = {xER':IIxII to<br />

al(IIxII) < W(x(t),t) < W(xo,to).<br />

Also W is continuous with respect to x and satisfies W(0, to) = 0. Thus, given to, we can<br />

find 6 > 0 such that<br />

11x011 < 6 = W(xo, to) < a(R)<br />

which means that if 1xoHI < 6, then<br />

ai(I1xII) < a(R) => Ix(t)II < R Vt > to.<br />

This proves stability. If in addition W (x, t) is decreasing, then there exists a positive<br />

function V2(x) such that<br />

I W(x, t)1 < V2(x)<br />

and then E3a2 in the class K such that<br />

ai(IIxH) < V1(x) < W(x, t) < V2(x) < a2(11xI1) Vx E BR, Vt > to.<br />

By the properties of the function in the class K , for any R > 0, 3b = f (R) such that<br />

a2(6) < a, (R)<br />

=> ai(R) > a2(a) > W(xo,to) > W(x,t) > a(1Ix(t)II)<br />

which implies that<br />

11x(t)II < R `dt > to.<br />

However, this 6 is a function of R alone and not of to as before. Thus, we conclude that the<br />

stability of the equilibrium is uniform. This completes the proof.<br />

Proof of theorem 4.2: Choose R > 0 such that the closed ball<br />

BR={XE]R":11x11

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!