13.07.2015 Views

Copyright © by SIAM. Unauthorized reproduction of this article is ...

Copyright © by SIAM. Unauthorized reproduction of this article is ...

Copyright © by SIAM. Unauthorized reproduction of this article is ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

(4.8)Step 3. Selection <strong>of</strong> k. Note thatHOMOGENEOUS OBSERVER DESIGN 1831∂V i+1∂X i+1(X i+1 )[S i+1 X i+1 + B i+1 φ i+1 (X i+1 )] = T 1 (X i+1 ) − kT 2 (X i+1 ) ,with the functions T 1 and T 2 defined asT 1 (X i+1 )= ∂V i+1(X i+1 )[S i X i + B i X i+1)]∂X i(T 2 (X i+1 )=Xd V0 −r 0,i+1r 0,i+1i+1 − φ i (X i )d V0 −r 0,i+1r 0,i+1+ Xd V∞ −r ∞,i+1r ∞,i+1i+1 − φ i (X i )d V∞ −r ∞,i+1r ∞,i+1)φ i+1 (X i+1 ) .By the definition <strong>of</strong> homogeneity in the bi-limit and Proposition 2.10, these functionsare homogeneous in the bi-limit with weights (r 0,1 ,...,r 0,i+1 ) and (r ∞,1 ,...,r ∞,i+1 )and degrees d V0 + d 0 and d V∞ + d ∞ . Moreover, since φ i+1 (X i+1 ) has the same sign asX i+1 − φ i (X i ), T 2 (X i+1 ) <strong>is</strong> nonnegative for all X i+1 in R i+1 and, as φ i+1 (X i+1 )=0only if X i+1 − φ i (X i ) = 0, we getT 2 (X i+1 ) = 0 =⇒ X i+1 = φ i (X i ) ,X i+1 = φ i (X i ) =⇒ T 1 (X i+1 )= ∂V i∂X i(X i )[S i X i + B i φ i (X i )] .Consequently, equations (4.7) yield{Xi+1 ∈ R i+1 \{0} : T 2 (X i+1 )=0 } ⊆ { X i+1 ∈ R i+1 : T 1 (X i+1 ) < 0 } .The same implication holds for the homogeneous approximations <strong>of</strong> the two functionsat infinity and around the origin, i.e.,{Xi+1 ∈ R i+1 \{0} : T 2,0 (X i+1 )=0 } ⊆ { X i+1 ∈ R i+1 : T 1,0 (X i+1 ) < 0 } ,{Xi+1 ∈ R i+1 \{0} : T 2,∞ (X i+1 )=0 } ⊆ { X i+1 ∈ R i+1 : T 1,∞ (X i+1 ) < 0 } .Hence, <strong>by</strong> Lemma 2.13, there ex<strong>is</strong>ts k ∗ > 0 such that, for all k ≥ k ∗ , we have for allX i+1 ≠ 0,∂V i+1(X i+1 )[S i+1 X i+1 + B i+1 φ i+1 (X i+1 )] < 0 ,∂X i+1∂V i+1,0(X i+1 )[S i+1 X i+1 + B i+1 φ i+1,0 (X i+1 )] < 0 ,∂X i+1∂V i+1,∞(X i+1 )[S i+1 X i+1 + B i+1 φ i+1,∞ (X i+1 )] < 0 .∂X i+1Th<strong>is</strong> implies that the origin <strong>is</strong> a globally asymptotically stable equilibrium <strong>of</strong> thesystems (4.4).To construct the function φ n it <strong>is</strong> sufficient to iterate the construction in Theorem4.1 starting fromφ 1 (X 1) = ψ 1 (X 1) 1α 1 , ψ 1 (X 1) =−k 1∫ X 1with k 1 > 0.0()H |s| α1 r 0,2rr −1 α ∞,20,1, |s|1 r −1 ∞,1ds ,<strong>Copyright</strong> © <strong>by</strong> <strong>SIAM</strong>. <strong>Unauthorized</strong> <strong>reproduction</strong> <strong>of</strong> <strong>th<strong>is</strong></strong> <strong>article</strong> <strong>is</strong> prohibited.

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

Saved successfully!

Ooh no, something went wrong!