{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 256 "" 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 }
{CSTYLE "" -1 257 "" 0 1 0 0 0 0 0 1 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 }}
{SECT 0 {EXCHG {PARA 0 "" 0 "" {TEXT 257 33 "Global Stability Worked E
xample 7" }}{PARA 0 "" 0 "" {TEXT -1 12 "Verify that " }}{PARA 257 "" 
0 "" {OLE 1 4110 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::>f\\FajHdJoq;V:>j>Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;
Z:::::::^<>:F::]KRnC=MtFGgml>:;::::::JGN:ry:>:<::::::=J:^J>:F:AlqfG[ma
NFO=;::::::::_J;vyyuy:>:<::::::AZ:^E>:nYN:<j>J<JyK=j=B:KJ:N;;Jyk?J@j@>
:W:YJ:>\\:B:]:wAyA::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::::::::::::j:b:<Z::::::::::J:C:CR:Hj<dj:Dk;Uo;@Z:FZLVjrOZ<`_L
Vjsc:gFD?b_MK;TrXDk;aq;x:QR>=b:KfFN[<njgN\\=@i=v;:B:;bFtZ<Z;>d:Xb[og]g
ffk=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:V
y<>jx]:JBAj:J:DZJ^dcgg_WhZnc_whZNdigg[oGSBBC:US:F[:>Z:N`D>n;>\\:FZ:>Z:
>:::::::::::nDCq>JSj_Aj:Jv>o:F;N@f_=F:FIK?N@^[@F:;jv:N@VuBF:>If<VYZ:JB
AJ:B:DZJ:::;WFC:Uk:^:>x;j>>:_;Ef:=J:<JP>F[Z:VY;RyB:>l;Z:b:<J]PPqHplHaK
^:f?;J<JrG:MJ:N@mW:WS:=J:<Jk>IM:_KW?w=F:vFkMBB:qQ:[:JBA:DZ<B>aTXDpql`K
^:f?=J<Jr?:MJ:N`D>NoG;=J:<jX<JfG;N@noAF:f_:>Ue:qQJxI<:[V:B:D:c\\_;rU:j
P@J:^:>X=j>>:_KtGt@F:<Z:>HM:d:;W<=B:B:N[:B:G;OjyyiyI:>:[Z:VY[j=>Z:>:sg
:>Z:FZ<NZ\\VdsWhngfgcUCJ:f?=J<Jr?:AB:<J:::::::::::::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::3:" }}{PARA 0 "" 0 "" {TEXT 
-1 37 "is a Lyapunov function for the system" }}{PARA 258 "" 0 "" 
{OLE 1 4110 1 "[xm]Br=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy:
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
fyyyyya:nYf::G:jy;::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:Qj;>:
;JZC:bKB::>f\\FajHdJoq;V:>r>Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;Z::::
:::^<>:F::]KRnC=MtFGgml>:;::::::JGN:ry:>:<::::::=J:^N>:F:AlqfG[maNFO=;
::::::::_J;vyyuy:>:<::::::AZ:^E>:nYN:<j>J<JyK=j=B:K:OJ:nYV;^;;j@>:W:YJ
:>\\:B:]:_J:nYvY::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::::::::::F:DZ:B::::::::::>N<J<@Z=fZD^Z;FZ;N`=@i@N:?b[uc>AFXAr
=V[KFZ<>kmJ?DJ=iLCHRvDk;aq;x:ZlZDFZlVjsoZ<:?b[Uc>An;::Ob>AVX?b[U[sW::H
=;B:lZ;T<xyy=RJDJbDr:nyyYZDjywyyY;A:;JZ=Z:Z@O<;B:UTRcETcTX[US;SK]UW=EW
MuUWm>>:ETV:::^xsNpkK:<::::::::yayY:^Z:j:jysy?:;:?V<^a?JvE:=j>r:sU:;J;
f<<J:f:;j>D:;B:C:?R:=j<j:Djyyyy=j<j>Z:^:n_;>=E:]c:=J:<j<j?DJ:B:E:Sb:;H
;;G<W:Gc;YJCvYxY:<J>JZyyRyYj\\jrLj?JMJ@fc[;>:@j<>:M:?B:YLpJbNHEms>@[;;
B:::::::JFNZ;J:N:;B:yayA:;B::::::f:<JJH:<:?ja:[LsjsJRJ:<:::::::>=;jysy
:>:<::::::wqy[:::::::::::::vYxI:;Z::::::::::::::::::::yay=J:B::::::::j
BjwEJ:uI<:[V:<Z<b:;B>UDO;SKkEW_URlL<jP@:MB:;B:_c<iV:[m:<Z:n^:^JMjd<Ql@
@<::::::::::N@QB;gm:JMjDB:qQ:[:JBAj:J:D:cTTUUSaEBWTSiEB_tUUURWmv^:f?=J
<JrA:MJ:N@AW:Sl:B:kMN=j>JSJKEj:>:k=OZ:N@ff?N:>is?OKo>JSv\\>>E=:mMN;_;e
v:=B:;Jv<:JSjyMj:>:m=JSJRXj:jvJB<Z:VYZ:JBAJ:b:DZJVdscRYEU@K<jP>:C:[q:F
;;JSdjK_e;FZ:>Z:fAkp>JSjULj:jO>UJSv<KU:=:u;JSJIEj:>:UC:k@N@vx?F:f?f<VY
;syB:>l;Z:b:^DP@::C:US:=J<Jr?:MJ:N@iqmHj:B:aKrF;N@Nt@F:;Z:>HZDVg=Ne>FZ
:Z::b<fxAF:V@N[:JMT:OjyyiyI:>:[Z:VY[j=>Z:>:sg:B:=b:?bBaTXaEWEUUtP<jP>:
C:[q:VZ:B:;:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::5:" }}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 37 "I
f V(x,y) is a Lyapunov function then" }}{PARA 256 "" 0 "" {OLE 1 3598 
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><:
:`TW<ub<OYAj;JZI:<:=ja^GE=;:::::::::N;?R:yyyyyyA:yayA:<::::::JDJ:j::F@
[KaFFcmnnHEM:>:::::::oJ;Zy=J:B::::::F:;Jp>:;:=j[vGUMrvC?MoJ::::::::JCN
:yyyxI:;Z::::::j;B:s<;:wA?Z::C:J=j=B:K:M:OJ:V;;J@>:UJ:n;nYvY::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::=Z<B:
<::::::::::K=CR:Hj<dj:HJA>Z;NZ@ppLVjPS:?:LA?b[Ag:KFFFZ:VZJ?j`Fe_WHt]_b
FtZA:[DZGcM>Z::::::kRCqLFP<;J::::=B:wyyAb<vYxy?VZ:B:;JZC:bK_J:fc[_hb_d
s?h_?^?GhoGfnGgioGM:ETV:::^xsNpkK:<::::::::yayY:^Z:B:=J:vYxY;J:JXP:ED;
N]<j:F;Hj@@:AB:eZ:>:EJ:F[<J:<J<B:?R:=j<j:Djyyyy=j<j>Z:^:n_;>=E:]c:=Z:f
:V[<Z:f:^[<>v=>r>n;;JMTjAN<yayAZ:>;;JZyyTyY:MjDIj?JMJ@fc[;>:;H:MB:<JwE
:?B:YLpfF[LsfFaMR>`:J:<:::::::>]:NZ;J:N:;B:yayA:;B::::::f:<J[D:<:?ja:[
LsjsJRJ:<:::::::>=;jysy:>:<::::::wqy[:::::::::::::vYxI:;Z:::::::::::::
:::::::yay=J:B::::::::>\\:B:JK^:f_;j<B:cb:uY:;D:EZ:V\\<fy;Vc<f:;j>D:<J
B>Z:Vy<>jx]:JBA:DZ<B>aTXUeRYEUHL<jPF:MJ:N`DVg;vD=:gOZ=Z:JSFk=fN=:g?JS>
f<^o<F:;jK?Ue:qAB:>l;F:;J:DJ:^dcSSaEBWTSiEB_tUUURWmt^:f??J<JrAj:F;;JSV
GiR:=J:nDCq>JSFKEU:=:cMpf<VYZ:JBAJ:B:D:::jZ^:f?=J<JrOZ:F;;JS>Fex:=B:;J
R>ROZ:n>N;yyyxy:J:><<jw?<I:;JXE:<j:NZ\\VdsWhngfgcUCJ:f??J<JrG:AB:<J:::
:::::::::::::::::::::5:" }}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 
0 "" {TEXT 256 39 "To verify V(x,y) is a Lyapunov function" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "with(linalg):" }}{PARA 7 "" 1 "" 
{TEXT -1 32 "Warning, new definition for norm" }}{PARA 7 "" 1 "" 
{TEXT -1 33 "Warning, new definition for trace" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 13 "f:=x^3+x*y^2;" }}{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 
3 "Now" }}{PARA 259 "" 0 "" {TEXT -1 1 " " }{OLE 1 4110 1 "[xm]Br=WfoR
rB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy:::::::::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::G:jy;::::::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:Qj;>:;JZC:bKB::RdoCf]DNwW:A:;H;
B:F:YLpfF>:::::::::J?NZ;vyyyyyY:vYxY:B:::::::c:;:=:jR>@Wlj^HMMufF;J:::
::::N=?:xI:;Z::::::j:>:C>;:=j[vGUMrvC?MoJ::::::::JCN:yyyxI:;Z::::::j;B
:s<;:wA?Z:F;^:nYn:v:<J>J?>:wAQ:SJ:f;;JAjA>:[B:<jBJC>:wAyA:::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::=Z<B:<:::::
:::::;^:^Z;r:Eb<=r:WJ:@J;TRUEk;U_;N:BWNZ@ha=n;:T?ZrKSHRvTJ;NZ@X_=n;:TO
::`A_kvTJ;>:Ij=>:;:::::=B:wyyAb<vYxy?V:>:;`:Z@O<;j`@Pt\\Pd`QrPPJPnrPqj
LqnxPqF;<j\\@A:::cYH_WV>Z::::::::jysyA:CB:<j:>:yayQ:>:^xFJ@M:_r:F:MZ=F
k;j;<jDJ:f:;j>D:<J<B:?R:=j<j:Djyyyy=j<j>Z:^:n_;>=E:]c:=Z:f:V[<Z:f:^[<>
^>>rEn;<JMTjAN<yayAZ:>;<JZyyTyY:ijdIj?JMJ@fc[;PP:>VMB:<JwE:?B:YLpJbNHE
ms>@[C:>Z::::::::kJ;@:;B:?J:<jysy;J:<::::::EZ:Na=>:<:?ja:[LsjsJRJ:<:::
::::>=;jysy:>:<::::::wqy[:::::::::::::vYxI:;Z::::::::::::::::::::yay=J
:B::::::::>\\:B:JK^:f_;j<B:cb:uY:;D:EZ:V\\<fy;Vc<f:^<fw=f:V<>y?f:^<;Z:
::::::::::fy;vfBf:V<NhDf:F[<Z:><;B:qi:;fy>Z:JBA:DZ<>ZJVdsgg\\wgfsBC:Uk
:F;;JSdjo@jeF:nP;H:MB:N@Mv:Eo:JU;N@;e:ag:=J:fAkp>JSVGCB;=J:nP:_k>Oa>F:
nP:_KjfbAF:V?k@N@QMy\\j:JU;N@MNT]j:JUkDjw;<:[V:=J:>Z<>:cTTPps<LaPpu<Lc
xpp@PqfMC:UK;^:>x;F:MJ:N@QmE@j:>:gLlG;N@Mnl@j:Jt^GM:_ko^r>F:nD:_k>Oy>F
:>IKG:M:_Kj^c@F:;Jv:N@QMY`j:Je:N@MNt`j:jv>OJS>F_h<=:m=]:qAB:>l;>:DJ:DZ
JfcN?^??inOh[K<jPF:C:[Q;<j>>:_KdDJrTj:B:GC:Cn>JSJrej:JMJ?B:T:OjyyiyI:>
:[Z:VY[j=J:^q<Z:F:?bBaTXaEWEUUtP<>:UK;^:>X=j;<Z:>:::::::::::::::::::::
::::::::::::::::::::::::::::::::::::5:" }{OLE 1 3598 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><::`TW<ub<OYAj;JZD:
;B:F:YLpfF>:::::::::J?NZ;vyyyyyY:vYxY:B:::::::c:;:=:jR>@Wlj^HMMufF;J::
:::::N=?:xI:;Z::::::j:>:C<;:=j[vGUMrvC?MoJ::::::::JCN:yyyxI:;Z::::::j;
B:s<;:wA?:J<:n:v:<J>Jyky;:::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::F:DZ:B::::::::::>b:B:CR:Hj<dZu?vyAvyA
VvxwlqiQtqUtqUt;;J:<:::::::::::::::F:wyyAb<vYyyyQj;J:>R<:TNC>:UTRcETcT
X[US;SK]UW=EWMuUWm>j\\@A:::cYH_WV>Z::::::::jysyA:CB:F:;jysy?:;:uS:^`<J
OC:=j>r:e<;JAJ:f:;j>D:;B:C:?R:=j<j:Djyyyy=j<j>Z:^:n_;>=E:]c:=Z:f:V[<Z:
f:^[<b:;S:W:Gc;YJCvYxY:<J>JZyYZyYj=JZAj?JMJ@fc[;>:[L?>:J;vCS=[LsfFaMR>
@>Z::::::::kJ;@:;J;<J:vYxY:>Z::::::j<B:_@;:?ja:[LsjsJRJ:<:::::::>=;jys
y:>:<::::::wqy[:::::::::::::vYxI:;Z::::::::::::::::::::yay=J:B::::::::
N;yyyxy:J:VZ:J::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::::::::::::::::::::::::::::1:" }{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 "" {MPLTEXT 1 0 16 "Vt1:=expand(Vt);
" }}{PARA 11 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "Vt2:=factor(Vt1);" }}{PARA 11 "" 1 "" {TEXT -1 0 "" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "" 0 "
" {TEXT -1 10 "Therefore " }}{PARA 260 "" 0 "" {OLE 1 3598 1 "[xm]Br=W
foRrB:::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><::;wEsCf]DNw
W:A:;x:B:F:YLpfF>:::::::::J?NZ;vyyyyyY:vYxY:B:::::::c:;:=:jR>@Wlj^HMMu
fF;J:::::::N=?:xI:;Z::::::j:>:C=;:=j[vGUMrvC?MoJ::::::::JCN:yyyxI:;Z::
::::j;B:s<;:wA?Z::C:J=j=B:K:M:OJ:V;;J@>:UJ:n;nYvY:::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::=Z<B:<::::::::::
;]:^Z;r:Eb<=r:WJ:@J;TRUEk;U_;N:BWNZ@Xn<>kjj:<j;<O:UlfPpsBMP\\lb=X:>d:p
^HK:<::::::::::=B:wyyAb<vYxy?VZ:B:;JZC:bK_J:fc[_hb_ds?h_?^?GhoGfnGgioG
M:ETV:::^xsNpkK:<::::::::yayY:^Z:B:=J:vYxY;J:JXP:ED;N]<j:F;Hj@@:AB:eZ:
>:EJ:F[<J:<J<B:?R:=j<j:Djyyyy=j<j>Z:^:n_;>=E:]c:=Z:f:V[<Z:f:^[<>v=>r>n
;;JMTjAN<yayAZ:>;;JZyyTyY:MjDIj?JMJ@fc[;>:;H:MB:<JwE:?B:YLpJbNHEms>@[C
:>Z::::::::kJ;@:;J;>Z:vYxY:>Z::::::j<B:?d:B:N:Y<>D_=a=[;;B:::::::JF>:y
ay=J:B::::::nYyA<::::::::::::jysy:>:<:::::::::::::::::::vYxI:;Z:::::::
:JB<Z::?K<jP@:EZ:^\\<fy;>BEZ:V\\<fy;Vc<f:;j>D:<JB>Z:Vy<>jx]:JBA:DZ<B>a
TXUeRYEUHL<jPF:MJ:N`DVg;vD=:gOZ=Z:JSFk=fN=:g?JS>f<^o<F:;jK?Ue:qAB:>l;F
:;J:DJ:^dcSSaEBWTSiEB_tUUURWML\\S<jPN:C:[Y:=j>>:_kov\\;F:;Je^VM:_k>gf;
F:^HSmDjw;<:[V:;Z:b::::mP<jPF:C:[Q;<j>>:_Kjft=FZ:>:[KZO;<JMJ?vyyuy=:;J
BB:qQBv:>:sg:B:=J;Dlc`qsLqlp`h_:;jPN:C:[q:VZ:B:;::::::::::::::::::::::
::1:" }}{PARA 0 "" 0 "" {TEXT -1 16 "for all x and y." }}{PARA 0 "" 0 
"" {TEXT -1 10 "Therefore " }}{PARA 261 "" 0 "" {OLE 1 4110 1 "[xm]Br=
WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy:::::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::G:jy;::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:Qj;>:;JZC:bKB::>ni^ajHdJoq;
V:>j>Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;Z:::::::^<>:F::]KRnC=MtFGgml
>:;::::::JGN:ry:>:<::::::=J:>K>:F:AlqfG[maNFO=;::::::::_J;vyyuy:>:<:::
:::AZ:^E>:nYN:<j>J<JyK=j=B:KJ:N;;Jyk?J@j@>:W:YJ:>\\:B:]:wAyA::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::j:b:<Z::
::::::::J<K<@Z=fZDFZLVjPWZ;B:=b>AFX?bZSc>AVXDJE]L;TsNNZ@haLVjsWZIj?@k:
DJ>E=Ob:GVE_rZku:Y::<J:D]Hb:R:[DZATRWuREEUv:IJ:>:::::FZ:nyyYZDjysyQj;J
:>R;B:bK_J:fc[_hb_ds?h_?^?GhoGfnGgioGM:ETV:::^xsNpk?:;B::::::::vYxy;J<
<:=J:vYxY;J:JrhZ:nm<>:?h:F:MZ=Ff;J;f<>:EJ:F[<J:<J<J;@j:f:FZ<vyyyy:f:F;
B:C:WS:kj<jRDj:B:E:Qb:B:E:Sb:;e:;e<W:Gc;YJCvYxY:<J>>:;xycwy;c<cb:QZ:n>
^;UTR:;Jj<j<B:M:?B:YLpJbNHEms>@[;;B:::::::JFNZ;J:N:;B:yayA:;B::::::f:<
JoE:<:?ja:[LsjsJRJ:<:::::::>=;jysy:>:<::::::wqy[:::::::::::::vYxI:;Z::
::::::::::::::::::yay=J:B::::::::jDB:qi:;fyB:>l;F:>Z<B>cTTUUSaEBWTSiEB
_tUUURWmF_:f_;j><J:<JSdJJAJB<j:<JLTRi^^@L:>::::::::::gLlG;N@Vs;F:<Jv>o
:F;N@f_=F:FIK?N@^[@F:;jv:N@VuBF:>If<VYZ:JBAJ:<Z:b:<;::fFC:Uk:^:>x;j>>:
_;Ef:=J:<JP>F[Z:VY;RyB:>l;Z:b:<J]PPqHplHaM^:;jP>:C:[q:F;;JSFq;n_;F:;B:
?MvF;N@oOnIj:jm>I[Z:VY;><:[V:b:DZJVdscRYEUHK<jPF:C:[Q:F;;JSdJJAJWMj:>Z
:fa:>UM:_;Ww;=:UC:kpDjw?^y]:JBA:<Z<JdRS:x@^?C:US:;J<JrG:MJ:N@cqbUj:B:<
JrF;b<>nCFZ:Z:J?<Z:n>N;yyyxy:J:><<jw?<IJ:<J:^q<J:<j:DJ;Dlc`qsLqlp`h_:;
jPF:C:[Q:VZ:B:;:::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::5:" }{TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 38 "is a \+
Lyapunov function for the system." }}}}{MARK "0 0 0" 33 }{VIEWOPTS 1 
1 0 1 1 1803 }