{VERSION 3 0 "IBM INTEL NT" "3.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 }{CSTYLE "" -1 267 "" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }
{CSTYLE "" -1 268 "" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }{PSTYLE "Normal" 
-1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }0 0 0 -1 -1 
-1 0 0 0 0 0 0 -1 0 }{PSTYLE "Text Output" -1 2 1 {CSTYLE "" -1 -1 "Co
urier" 1 10 0 0 255 1 0 0 0 0 0 1 3 0 0 }1 0 0 -1 -1 -1 0 0 0 0 0 0 
-1 0 }{PSTYLE "Warning" 2 7 1 {CSTYLE "" -1 -1 "" 0 1 0 0 255 1 0 0 0 
0 0 0 1 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Output" 
0 11 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 3 0 -1 -1 
-1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 0 256 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 
0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 0 
257 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 
-1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 0 258 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 
0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 0 
259 1 {CSTYLE "" -1 -1 "" 0 1 177 0 0 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 
-1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 0 260 1 {CSTYLE "" -1 -1 "" 0 1 
178 0 64 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }
{PSTYLE "" 0 261 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }
3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 0 262 1 {CSTYLE "" -1 -1 "
" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }}
{SECT 0 {EXCHG {PARA 0 "" 0 "" {TEXT -1 33 "Global Stability Worked Ex
ample 7" }}{PARA 0 "" 0 "" {TEXT -1 12 "Verify that " }}{PARA 257 "" 
0 "" {OLE 1 4096 1 "[xm]Br=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yy
yyyy::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::fyyyyya:nYf::G:jy;:::::::::::::::::::::::::::::::::::::::::::::::
::::::::::::::::::::::::::::::::JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:
Qj;>:;JZC:bKB::>fq_r^gjToq;V:>r>Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;Z
:::::::^<>:F::]KRnC=MtFGgml>:;::::::JGN:ry:>:<::::::=J:>J<:F:AlqfG[maN
FO=;::::::::_J;vyyuy:>:<::::::AZ:^E>:nYN:<:^::G:IZ:>;N;;JC>:QJ:^;;j@>:
W:YJ:>\\:B:]:M:wAyA:::::::::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::=Z<B:<::::::::::s=CR:Hj<dj:Dk;Uo;@Z:FZLVjrOZ<`_LV
jsc:gFD?b_MK;TrXDk;aq;x:QR>=b:KfFN[<njgN\\=@i=v;:B:;:::::::::FZ:nyyYZD
jysyQj;J:>R<:TNC>:UTRcETcTX[US;SK]UW=EWMuUWm>j\\@A:::cYH_WV>Z::::::::j
ysyA:CB:F:;jysy?:;:[u<nm<>:ks:F:MZ=^m;J;^=<J:f:;j>D:;B:E:?R:=Z:f:FZ<vy
yyy:f:F;B:E:WS:k:E:]c:=:E:Qb:B:E:Sb:;e:;e<W:Gc;YJCvYxY:<J>>:;xycwy;c<c
b:QZ:n>^;UTRZ_?:;E:EZ:NZ:vCS=[LsfFaMR>@>Z::::::::kJ;@:N:;jysy;J:<:::::
:EZ:Nh=Z:J;vCJbNh:jsJRJ:<:::::::>=;jysy:>:<::::::wqy[:::::::::::::vYxI
:;Z::::::::::::::::::::yay=J:B::::::::F;B:sZ:Vy<>jx]:JBAj:J:DZJ^dcgg_W
hZnc_whZNdigg[oGqHYUyW[xSYyWQI;OB@N[:^:n>N;yyyxy:J:^=VY[j=>:;JXE:<j:NZ
\\VdsWhngfgsWSI;GuFIJ?A:OJ=B:US:F[:>Z:N`D>n;>\\:FZ:>Z:ndsOWM:_;QX:=:kU
XKG:M:_;Us:=:mUXK_:JSJ@Tj:>:mMNC:N@VuBF:>I^=VY;><:[V:;Z:b:<;:::JoMJ?X;
OJ<jPF:C:[Y:F;;JSj<Ej:>Z:^_s?FsB:VY;RyB:>l;Z:b:<J]PPqHplHAQI;OR@_HYUyW
qHYUQbkoK:N;jP>:C:[q:F;;B:_kVAJQ@j:>Z:NfsOJM:_KW?w=F:vfsOJs:qQ:[:JBA:D
Z<B>aTXDpql@OI;OB@_HYUqgKbKoK::f?=J<Jr?:MJ:N`D>NoG;=J:<jX`qcG;N@noAF:f
_sWTsZ:VY;sy>Z:JBA:<Z<JdRS:x@:joc@<J?:US:;J<JrG:MJ:N@cqbUj:B:`Qr<j>JSd
:;W<=:`AOJ:v:O>OJ<jPF:C:[Q:VZ:B:;:::::::::::::::::::::::::::::::::::::
::::::::::::::::::::::3:" }}{PARA 0 "" 0 "" {TEXT -1 37 "is a Lyapunov
 function for the system" }}{PARA 258 "" 0 "" {OLE 1 4096 1 "[xm]Br=Wf
oRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy:::::::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::G:jy;::::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:Qj;>:;JZC:bKB::byEHSEfPwW:A:;
T;<Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;Z:::::::^<>:F::]KRnC=MtFGgml>:
;::::::JGN:ry:>:<::::::=J:>n:B:j:VBYmp>HYLkNG>::::::::N<?jyyiy=J:B::::
::V:<JhJ:JyyI?Z:F;^:;JyK=j=B:K:O:wAQ:S:UJ:n;v;;JB<Z:F<N<;jCJDJyky;::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::F:DZ
:B::::::::::^M^Z;r:Eb<CR:=R:_sZke;?J;TrXDk;]q;x:QR>=b:KvFN[<njeN\\=@iL
VjsWZI:bFb<=bFAVXGb:J;TrPDk;W::J?Dk;aQ;TrPRXA:ZmJ:<ZcyO;fMoIJGhKki<QYG
=Jyyy;d:yayY;A:;JZC:bK_J:<j`@Pt\\Pd`QrPPJPnrPqjLqnxPqF;fbk;::JtaMSAA;B
::::::::vYxy;J<<:=:yayQ:>:NjCJXP:wt:F:MZ=vo;J;^=<J:f:<j>D:<j<J;@j:B:E:
=b:yyyyI:E:M:<j<JQ@JFj<jRDj:j<j?DJ:B:E:Sb:;H;;G<W:Gc;YJCvYxY:<J>JZyyRy
Yj\\jrLj?JMJ@fc[;PP:R:EJ:NZ:vCS=[LsfFaMR>@>Z::::::::kJ;@:N:;jysy;J:<::
::::EZ:>m=Z:J;vCJbNHVH>@>Z::::::::kJ:vYxI:;Z::::::JywYB:::::::::::::ya
y=J:B:::::::::::::::::::jysy:>:<::::::::M:<JHB:qi:;fyB:>l;B:DZ<>ZJfcN?
^??inOh[C;ORD_HYUyWqHYUyW[xSYyW[I;OJ:N[:^:GhKuy;B::::::::::jP@:MB:;B:_
c<iV:[m:<Z:n^soIM:_k?LJuF:n>^=VY;><:[V:=:;b:^dcgg_WhZnc_whZNdigg[oGqHY
UAvu>N[JJ?J:f?=J<<:[Y:F;;JSVn;^C=Z:>is?OM:_;?g:=J:>IN;;B:_;EU;?:k=KG:M
:_kELJfF:Fis?OMB:N@fl=FZ:>:k=JSjyMj:>:mMNC:N@>`AF:FIKOHjw;<:[V:;Z<b:<k
c`a\\wgfC:[I;ObD_HYUqgKbKrK:N;C:UK:^:>x;F:MJ:N`DVNsT:=B:;B:uSXap>JSjUL
j:jO`qc;_kE>g;F:fA:_;wf:=J:f_sWTJSjuQj:>:U;sZ:VY;syB:>l;Z:b:^DP@:::y`K
J?:US:=J<Jr?:MJ:N@iqmHj:B:aSX[m>JSJcUj:>:`Qr<j>JSdjoHJgLj:<:`AM:_c<fxA
F:V@N;;JMT:OjyyiyI:>:s:qQBv:>:sg:B:=b:?bBaTXaEWEUUXq\\MJmLk=Nk;J?n:v:O
>^:f?;J<JrG:AB:<J:::::::::::::::::::::::::::::::::::::::::::1:" }}
{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 37 "If V(x,y)
 is a Lyapunov function then" }}{PARA 256 "" 0 "" {OLE 1 3586 1 "[xm]B
r=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy:::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::wyyyqy;
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::NDYmq^H;C:ELq^H_mvJ::::::::gj<vyyuyJ<j?V:;J:>R<:T><::ty\\Mp<
eOYAj;J:L:<:=ja^GE=;:::::::::N;?R:yyyyyyA:yayA:<::::::JDJ:j::F@[KaFFcm
nnHEM:>:::::::oJ;Zy=J:B::::::F:;JjB:j:VBYmp>HYLkNG>::::::::N<?jyyiy=J:
B::::::V:<JhJ:JyyI?Z::C:J=j=B:K:M:OJ:V;;J@j@>:W:YJ:nYvY:::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::F:DZ:B:::::
:::::^E^Z;r:Eb<=r:WJ:@JCHRlDk;U_;N<BWNZ@Xn<>kjj:<JgVZ;^[?F:ck;@jjMj:V@
?jeMjCJ::::::>]_VEkRC>:;:::F:wyyAb<vYxy?VZ:J:>R<:TNC>:UTRcETcTX[US;SK]
UW=EWMuUWm>j\\@A:::cYH_WV>Z::::::::jysyA:CB:<j:>:yayQ:>:^a?j\\L:Kd:F:M
Z=^^;B:AB:sB:<J:f:;B:Mb:>Z:f:NZ;F:<j<j:Djyyyy=j<j>Z:f:n_;>=f:F`<F:f:V[
<Z:f:^[<>v=>r>n;;B:Gc;YJCvYxY:<J>JZyyTyY:MjDIj?JMJ@fc[;PP:>r:>;NZ:vCS=
[LsfFaMR<JR<:;B:::::::JF<J;@:N:;jysy;J:<::::::EZ:Nj<Z:J;vCJbNHVH>@>Z::
::::::kJ:vYxI:;Z::::::JywYB:::::::::::::yay=J:B:::::::::::::::::::jysy
:>:<::::::::oi:>\\:B:J<B:US:f:<JDDjxAJZf:<jCDjxAJ^Dj<j>J:<JHB:qi:;fyB:
>l;F:<J:DZJ^dcgg_WhZnc_whZNdigg[oGqHYUyW[xSYyWGu:OrMN;C:Uk:N;;B:_c<QU:
cL;>:CeO;PoO;N@Mv:?O;B:CEW;po^=VYZ:JB?:DZ<B>aTXDpql@Yw:OBO_HYUyWqHYUQb
kQIJ?>:OJ<B:UK;^:>x;F:MJ:<JSdJjDjNEj:>:AGWaPHB:qAB:>l;Z:b:;JdRS:::nF<_
:N;jPF:C:[Q;<j>>:_;_x:=J:>`n?ROJ:n>N;yyyxy:J:^=VY[j=J:^q<Z:F:?bBaTXaEW
EUUXqvHJmTp=Nk;J?n:v:O>^:f??J<JrG:AB:;B:;::::::::::::::3:" }}{PARA 0 "
" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 39 "To verify V(x,y) i
s a Lyapunov function" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "wi
th(linalg):" }}{PARA 7 "" 1 "" {TEXT -1 32 "Warning, new definition fo
r norm" }}{PARA 7 "" 1 "" {TEXT -1 33 "Warning, new definition for tra
ce" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "f:=x^3+x*y^2;" }}
{PARA 11 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 11 "" 1 "" {TEXT -1 0 "
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "g:=-x^2*y-y^3;" }}
{PARA 11 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 11 "V:=y^2-x^2;" }}{PARA 11 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 14 "Vx:=diff(V,x);" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 14 "Vy:=diff(V,y);" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 
10 " To prove " }}{PARA 262 "" 0 "" {OLE 1 3586 1 "[xm]Br=WfoRrB:::wk;
nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy:::::::::::::::::::::::::::::::::::
::::::::::::::::::::::::::::::::::::fyyyyya:nYf::wyyyqy;::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::NDYm
q^H;C:ELq^H_mvJ::::::::gj<vyyuyJ<j?V:;J:>R<:T><::ty\\Mp<eOYAj;J:L:<:=j
a^GE=;:::::::::N;?R:yyyyyyA:yayA:<::::::JDJ:j::F@[KaFFcmnnHEM:>:::::::
oJ;Zy=J:B::::::F:;JjB:j:VBYmp>HYLkNG>::::::::N<?jyyiy=J:B::::::N:;B:s<
;:wyy>;V:<Jyk<J=j=B:M:wAO:QJ:^;f;;JAjA>:wAyA::::::::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::=Z<Z:::>QSJJfBJs:;::::
JhJ<@Z=fZDFZ=n;;R:_rZCe>AfO@JCZnK;TrKEJ>===B:ol;@J@Pj:^@AR:=I;=jSN:iH;
=Jyyy;d:yayY;AB:>:;H:<:TNC>Z:fc[_hb_ds?h_?^?GhoGfnGgioGM:ETV:::^xsNpkK
:<::yayA:<:::::vYxy;J<<Z:F:;jysy?:;:sS;fb>J^D:=j>r:CS:<j;<JH<Z:>:EJ:<j
>D:;B:E:?R:=Z:f:FZ<vyyyy:f:F;B:E:WS:k:E:]c:=:E:Qb:B:E:Sb:;y:;H;WJ:<JMT
jAN<yayAZ:>;>ryipyAj>fl=V;n>^;UTRZ_?:;H:K:oi:>\\:B:J<B:US:f:<JDDjxAJZf
:<jCDjxAJ^Dj<j>J:<JHB:qi:;fyB:NZ:vCS=[LsfFaMR<JR<:;B:::::::JFNZ;Z:N:;j
ysy;J:<::::::C:?f:B:N:Y<>DjsJRJ:<:::::::>=;jysy:>:<::::::wqy[:::::::::
::::vYxI:;Z::::::::::::::::::::yay=J:B::::::::V\\:J:::::JlF@UkVfFkKVf?
[KRVF[KTnFCmk>l;F:>Z<B>cTTUUSaEBWTSiEB_tUUURWmgmqpYQbYpqYQQIJ?tO:N;C:U
k:N;;B:_c<QU:cL;>:CeO;PoO;N@Mv:?O;B:CEW;po^=VYJ:<:[V:;Z<b:<kc`a\\wgfkW
QJ?tWcmqpYqgmqp?TVq?N;;B:OJ<jPN:C:[Y:=j>>Z:N`D>f<Fo<F:;jKMqc_=<jw;;B:>
l;Z:b:;JdRS::q@JQsQN;jPF:C:[Q;<j>>:_;_x:=J:>`n?ROJ:n>N;yyyxy:J:^=VY[j=
J:^q<Z:F:?bBaTXaEWEUUXQRHJmpt=Nk;J?n:v:O>^:f??J<JrG:AB:;B:;:::jxB:UD:M
mkNHYmsvGGMt>>ilqNHCMJ>DM=cE:eMsfFMjw>@[;_C:[;1:" }}{PARA 0 "" 0 "" 
{TEXT -1 3 "Now" }}{PARA 259 "" 0 "" {TEXT -1 1 " " }{OLE 1 4098 1 "[x
m]Br=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy::::::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::G:jy
;:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:Qj;>:;JZC:bKB::>n>xr^g
jToq;V:>Z?B:<:=ja^GE=;:::::::::N;?R:yyyyyyA:yayA:<::::::JDJ:j::F@[KaFF
cmnnHEM:>:::::::oJ;Zy=J:B::::::F:;J:C:j:VBYmp>HYLkNG>::::::::N<?jyyiy=
J:B::::::V:<JhJ:JyK;B:J<:n:v:<J>J?>:a:QJ:^;f;;JAjA>:[B:<jBJC>:M:wAyA::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::F
:DZ:B::::::::::^I^Z;r:Eb<=r:WJ:@JCHRlDk;U_;N<BWNZ@ha=n;NZ@ppLVjPK;ZrKS
HRvTJ;NZ@X_=n;:TO::`A_kvTJ;>:;::::::=B:wyyAb<vYxy?V:>:;`:Z@O<;j`@Pt\\P
d`QrPPJPnrPqjLqnxPqF;<j\\@A:::cYH_WV>Z::::::::jysyA:CB:<j:>:yayQ:>:^xF
J@M:Kt:F:MZ=^n;B:AB:sZ:>:E:Mb:B:E:?R:=Z:f:FZ<vyyyy:f:F;B:E:WS:kZ:f:F`<
F:f:V[<Z:f:^[<>^>>rEn;<JMTjAN<yayAZ:>;>ryipyAjEft=V;n>^;UTRZ_?:;Q>J;<j
a^G>D_mlVH[KR<:;B:::::::JFNZ;Z:N:;jysy;J:<::::::EZ:Nj=Z:J;vCJbNHVH>@>Z
::::::::kJ:vYxI:;Z::::::JywYB:::::::::::::yay=J:B:::::::::::::::::::jy
sy:>:<::::::::oi:>\\:B:J<B:US:f:<JDDjxAJZf:<jCDjxAJ^Dj<JDJoIj<jCjrQj<J
:XQ<IJmDp=Nk;J?n:v:O>^:f??J<JrAj:VZ:J::::c:;E<E:a:Ie<E:M:;B:sZ:Vy<>jxM
:<:[V:=J:<J:DZJ^dcgg_WhZnc_whZNdigg[oGqHYUyW[xSYyW=r:ORuN;jPF:OJ:<JSdj
o@JdN:;JlTOZOWO:_k>IJKOZ:B:CEW;poF;;B:_kofq>F:ndnOWM:_k>Wx>F:>in?OM:_K
jDj\\Tj:>:k=JSVGaS<=:g<JSFKMU<=:mEWK?N@;m]ej:jvJHjw;<:[V:;Z<>Z<B>aTXDp
ql@kR;OB__HYUyWqHYUQbKFPJ?>:OJ<B:UK;:[AMJ:N`DJREj:<J:fanWTM:_koFZ>F:np
n_QM:_k>w`>F:nP:_KjnaAF:V_nWTJSVGiE<=:g?JSFKUG<=:g?sZ:VYZ:JBA:DJ:DZJfc
N?^??inOh[s:Obu_HYUqgKbk:bu;J?:Uk:^:>X?B:MJ:N@cd:Me;=:GCWwm>JSjlej:<:G
;OJ:b;N;yyyxy:J:^=VY[j=>:;JXE:<j:NZ\\VdsWhngfgK:<:::::::::::::::::::::
::::::::::::::::::::::::::::::::5:" }{OLE 1 3600 1 "[xm]Br=WfoRrB:::wk
;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::::::fyyyyya:nYf::wyyyqy;:::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::NDY
mq^H;C:ELq^H_mvJ::::::::gj<vyyuyJ<j?V:;J:>R<:T><::;G[IHSEfPwW:A:;d:>Z:
j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;Z:::::::^<>:F::]KRnC=MtFGgml>:;::::
::JGN:ry:>:<::::::=J:^B>:F:AlqfG[maNFO=;::::::::_J;vyyuy:>:<::::::AZ:^
E>:nYN::C:J=j=B:K:wAyA::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::::::::::::::::::::::j:b:<Z::::::::::JZ<Z:^Z;r:Eb<hQjyYjyYjku
qEYyXcYicYicA>:;B:::::::::::::::j:nyyYZDjywyyY;A:;JZC:bK_J:fc[_hb_ds?h
_?^?GhoGfnGgioGM:ETV:::^xsNpkK:<::::::::yayY:^Z:j:>:yayQ:>:fa;JTD:O_:F
:MZ=fD>:W:;j<>:Mb:>Z:^:NZ;F:E:=b:yyyyI:E:M:<J<JQ@JFf:F`<F:<j<j?D:<j<J@
DZ<>^;n;n^@v;_jysy;B:K:;xy;xy;I:;X:Q:G;Sj`@@J:>DOJ::?ja^G>D_mlVH[KRJ:<
:::::::>=?R:>:?B:;jysy;J:<::::::EZ:NT>:N:Y<>D_=a=[;;B:::::::JF>:yay=J:
B::::::nYyA<::::::::::::jysy:>:<:::::::::::::::::::vYxI:;Z::::::::J?vy
yuy=:;j;<:;:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::::::::::::::::::5:" }{MPLTEXT 1 0 1 " " }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 14 "Vt:=Vx*f+Vy*g;" }}{PARA 11 "" 1 "" {TEXT -1 
0 "" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 9 "To prove " }{TEXT 268 3 "Vt
 " }{TEXT -1 18 "is always negative" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "Vt1:=ex
pand(Vt);" }}{PARA 11 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 0 "" }{TEXT -1 0 "" }}}{EXCHG {PARA 0 "" 0 "" {OLE 1 
3586 1 "[xm]Br=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::fyyyyya
:nYf::wyyyqy;:::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::NDYmq^H;C:ELq^H_mvJ::::::::gj<vyyuyJ<j?V:;J:>R<
:T><::;G[IHSEfPwW:A:;v:B:F:YLpfF>:::::::::J?NZ;vyyyyyY:vYxY:B:::::::c:
;:=:jR>@Wlj^HMMufF;J:::::::N=?:xI:;Z::::::j:>:;\\::=j[vGUMrvC?MoJ:::::
:::JCN:yyyxI:;Z::::::J;>Z:^E>:nYnYV:<:f:n:v:<J>>:M:OJ:V;;J@j@>:wAyA:::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::F:D:<::::::::::s;CR:Hj<dj:Dk;UOCHRtDJ>AM;TrKEJ>==?j`HJ>J:::::j:nyyYZ
DjysyQj;<:;JZC:bK_J:fc[_hb_ds?h_?^?GhoGfnGgioGM:ETV:::^xsNpkK:<:::::::
:yayY:^Z:j:>:yayQ:>:nx>jMA:ob:F:MZ=f[;J;^=<J:f:;j>D:;B:E:?R:=Z:f:FZ<vy
yyy:f:F;B:E:WS:k:E:]c:=:E:Qb:B:E:Sb:;V:;F;WJ:n^@v;_jysy;B:K:;xy;yy;D;;
U:Q:G;Sj`@@RS;JJ<j<B:M:;B:sZ:Vy<>jx]:JBAj:J:DJ:<Kd`ppPps<LaPpu<Lcxpp@P
qVuvgwq?tawwqO`@N[GJ?^:?ja^G>D_mlVH[KR<:;B:::::::JFNZ;:?J:vYxY:>Z:::::
:J<>Z:^d<Z:J;vCJb:a=[;;B:::::::JF>:yay=J:B::::::nYyA<::::::::::::jysy:
>:<:::::::::::::::::::vYxI:;Z:::::::::US:N;;B:_c<;T:[B:?Z:ndnOWQMHjw;<
:[N:<J:<Z<B>::::Ir:Obi<J?^:f?=J<JrA:MB:;B:_;SU:=J:<jRLQZG;N@nj=FZ:>:[C
W;PHjw;;B:>l;Z<b:<kc`a\\wgfKSTJ?tJcmqpYqgmqp?TN@>:O:f?;J<JrG:MJ:N`DjhD
j:>Z:VnnWTOJ:n>N;yyyxy:J:^=<jw?<I:;JXE:<j:NZ\\VdsWhngfgsWCr:GebIJ?A:OJ
=j=NKJ<jPF:C:[Q:VZ:>Z:>:::::::::::::::::::::::::::::::::1:" }{TEXT -1 
9 "for all (" }{TEXT 267 3 "x,y" }{TEXT -1 1 ")" }}}{EXCHG {PARA 0 "" 
0 "" {TEXT -1 10 "Therefore " }}{PARA 260 "" 0 "" {OLE 1 3586 1 "[xm]B
r=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy:::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::wyyyqy;
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::NDYmq^H;C:ELq^H_mvJ::::::::gj<vyyuyJ<j?V:;J:>R<:T><::;t<MHSE
fPwW:A:;B;<Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;Z:::::::^<>:F::]KRnC=M
tFGgml>:;::::::JGN:ry:>:<::::::=J:>F<:F:AlqfG[maNFO=;::::::::_J;vyyuy:
>:<::::::AZ:^E>:nYN:<:^::G:IZ:>;F;N;;j?>:S:UJ:n;v;;Jyky;::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::j:b:<Z:::::
:::::JhJ<@Z=fZDFZ=n;;R:_rZCe>AfO@JCZnK;TrKEJ>===B:ol;@J@Pj:^@AR:=I;=jS
N:iH;a:;::::::::::F:wyyAb<vYxy?VZ:J:>R<:TNC>:UTRcETcTX[US;SK]UW=EWMuUW
m>j\\@A:::cYH_WV>Z::::::::jysyA:CB:<j:>:yayQ:>:^a?j\\L:Kd:F:MZ=^^;B:AB
:sB:<J:f:;B:Mb:>Z:f:NZ;F:<j<j:Djyyyy=j<j>Z:f:n_;>=f:F`<F:f:V[<Z:f:^[<>
v=>r>n;;B:Gc;YJCvYxY:<J>JZyyTyY:MjDIj?JMJ@fc[;PP:>r:>;NZ:vCS=[LsfFaMR<
JR<:;B:::::::JFNZ;:?J:vYxY:>Z::::::j<B:?f:B:N:Y<>D_=a=[;;B:::::::JF>:y
ay=J:B::::::nYyA<::::::::::::jysy:>:<:::::::::::::::::::vYxI:;Z:::::::
:JwE:[B:<:^:<jP@:EZ:^\\<fy;>BEZ:V\\<fy;>c<f:F;>Z:^=<jwEJ:uI<:[V:=Z:>Z<
B>cTTUUSaEBWTSiEB_tUUURWmgmqpYQbYpqYQWEJ?``:N;C:Uk:N;;B:_c<QU:cL;>:CeO
;PoO;N@Mv:?O;B:CEW;po^=VYZ:JBAJ:b:DZJVdscRYEUVu?N[KQtvgwqWuvgW[@qX;OJ:
N;C:UK;^:>x;F:MJ:<JSdJjDjNEj:>Z:VnnWTsZ:VYZ:JBA:<Z<>:c\\_;::JWcT<J?^:f
?=J<JrOZ:F;;JSJcIj:>:[CW;P?>Z:n>N;yyyxy:J:^=VY[j=J:^q<Z:F:?bBaTXaEWEUU
XqRIJmHt=Nk;J?n:v:O>^:f??J<JrG:AB:;B:;::::::::::::::3:" }}{PARA 0 "" 
0 "" {TEXT -1 48 "for all x and y and only zero at the point (0,0)" }}
{PARA 0 "" 0 "" {TEXT -1 10 "Therefore " }}{PARA 261 "" 0 "" {OLE 1 
4112 1 "[xm]Br=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::fyyyyya
:nYf::G:jy;:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::::::::::::JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:Qj;>:;JZC:bK
B::>bEFs^gjToq;V:>j>B:<:=ja^GE=;:::::::::N;?R:yyyyyyA:yayA:<::::::JDJ:
j::F@[KaFFcmnnHEM:>:::::::oJ;Zy=J:B::::::F:;J>K:j:VBYmp>HYLkNG>:::::::
:N<?jyyiy=J:B::::::V:<JhJ:JyK;B:M:C:wAG:IZ:>;;J?>:wAQ:S:UJ:n;v;;JB<Z:F
<nYvY:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::=Z<B:<::::::::::C>CR:Hj<dj:Dk;Uo;@Z:FZLVjrOZ<`_LVjsc:gFD?b_MK;
TrXDk;aq;x:QR>=b:KfFN[<njgN\\=@i=v;:B:;bFtZ<Z;>d:Xb[og]gffk=v:;J:::::j
:<Jyyy;d:yayY;A:;JZ?Z:Z@O<;j`@Pt\\Pd`QrPPJPnrPqjLqnxPqF;fbk;::JtaMSAQ:
>Z::::::::jysyA:CB:F:;jysy?:;:[u<<JIEJ:Nr<j:F;Hjj@:?jDJ:f:;j>D:;B:C:?R
:=j<j:Djyyyy=j<j>Z:^:n_;>=E:]c:=Z:f:V[<Z:f:^[<>f<>fDn;n^@v;_jysy;B:KJ:
>ryapyA^D^\\<V;<JMJ@fc[;>:;E:EZ:F;NZ:vCS=[LsfFaMR>@>Z::::::::kJ;@:;J;>
Z:vYxY:>Z::::::j<B:Oi:B:N:Y<>D_=a=[;;B:::::::JF>:yay=J:B::::::nYyA<:::
:::::::::jysy:>:<:::::::::::::::::::vYxI:;Z:::::::::eZ:Vy<>jx]:JBAj:J:
DZJ^dcgg_WhZnc_whZNdigg[oGmN<jP@:MB:;B:_c<;W:[B:=B:Cc[wLLTB;J:::::::::
:nDCq>JSj_Aj:B:kMN=j>JSjPHj:jv>OJSJ@Tj:>:m=JSjg]j:JvjDjw;<:[V:;B:<Z<B>
::jl^:f?=J<JrA:MJ:N@fj<F:;B:SKj><<jw?Zw]:JBA:<Z<B:GTSWuREuVHK<>:UK:^:>
X=j>>:_kVAJQ@j:>Z:NFkm>JSNQKy:=:IMv><<jw?JB:>l;Z<b:<kc`a\\wgfs>C:Uk:^:
>X;j>>:_c<;W:oG;=J:<jX<JfG;N@noAF:f_:>Ue:qQJxI<:[V:B:D:c\\_;rUJP^:f_;>
:C:[q:F;;JS^X]h;=Z:B:[m>ZDJJaj:<:<:OB:<JMJ?vyyuy=:;JBB:qQBv:;B:;JXE:;B
:=b:?bBaTXaEWEUUtP<>:Uk:^:>X;j;<Z:>:::::::::::::::::::::::::::::::::::
::::::::::::::::::::::::::::::::::::3:" }{TEXT -1 0 "" }}{PARA 0 "" 0 
"" {TEXT -1 38 "is a Lyapunov function for the system." }}}}{MARK "15 \+
2 0" 48 }{VIEWOPTS 1 1 0 1 1 1803 }