{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 "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 
0 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 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 }{CSTYLE "" -1 258 "" 0 1 0 0 0 0 1 
0 0 0 0 0 0 0 0 }{CSTYLE "" -1 259 "" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }
{CSTYLE "" -1 260 "" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }{CSTYLE "" -1 261 
"" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }{CSTYLE "" -1 262 "" 0 1 0 0 0 0 1 
0 0 0 0 0 0 0 0 }{CSTYLE "" -1 263 "" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }
{CSTYLE "" -1 264 "" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }{CSTYLE "" -1 265 
"" 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 }{CSTYLE "" -1 266 "" 0 1 0 0 0 0 1 
0 0 0 0 0 0 0 0 }{CSTYLE "" -1 269 "" 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 "Courier" 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::>\\yI`nydMoq;V:>r>Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;
Z:::::::^<>:F::]KRnC=MtFGgml>:;::::::JGN:ry:>:<::::::=J:>J<:F:AlqfG[ma
NFO=;::::::::_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<`_L
Vjsc:gFD?b_MK;TrXDk;aq;x:QR>=b:KfFN[<njeN\\=@i=v;:B:;:::::::::FZ:nyyYZ
DjysyQj;J:>R<:TNC>:UTRcETcTX[US;SK]UW=EWMuUWm>j\\@A:::cYH_WV>Z::::::::
jysyA:CB:F:;jysy?:;:[u<nm<>:ks:F:MZ=^m;J;^=<J:f:;j>D:;B:E:?R:=Z:f:FZ<v
yyyy:f:F;B:E:WS:k:E:]c:=:E:Qb:B:E:Sb:;e:;e<W:Gc;YJCvYxY:<J>>:;xycwy;c<
cb:QZ:n>^;UTRZ_?:;m<B:?B:YLpJbNHEms>@[;;B:::::::JFNZ;:?J:vYxY:>Z::::::
j<B:_u:B:N:Y<>D_E:VH>@>Z::::::::kJ:vYxI:;Z::::::JywYB:::::::::::::yay=
J:B:::::::::::::::::::jysy:>:<::::::::M:<JHB:qi:;fyB:>l;F:>Z<B>cTTUUSa
EBWTSiEB_tUUURWmgmqpYQbYpqYqDHJ?LDOB:CZ:n>N;yyyxy:J:^=VY[j=>:;JXE:<j:N
Z\\VdsWhngfgsWcs:GeTIJ?A:OJ=B:US:F[:>Z:N`D>n;>\\:FZ:>Z:ndsOWM:_;QX:=:k
UXKG:M:_;Us:=:mUXK_:JSJ@Tj:>:mMNC:N@fuBF:>I^=VY;><:[V:;Z:b:<;:::jqHZAK
?^:f?=J<JrA:MJ:N@fj<F:;B:SSX;MH<:qQ:pI<:[V:B:DZ:nb_og]gfm?:er:ORc_HYUy
WqHYUQbkDJ:<J?:UK:^:>X=j>>:_kVAJQ@j:>Z:NfsOJM:_KW?w=F:vfsOJs:qQ:[:JBA:
DZ<B>aTXDpql@Yu:OBL_HYUqgKbkqJ:N;jPF:C:[Q:F;;JSdJJOq>F:;B:uSXap>JSjQYj
:jO`qc_=<jw?^yM:<:[V:B:D:c\\_;rU::eZ`L?:UK:^:>X=j>>:_KtGt@F:<Zs?h:F;N`
DJKaj:ZsK?>:IJ?K?^:f?=J<Jr?:AB:<J:::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::1:" }}{PARA 0 "" 0 "" {TEXT -1 37 "is a Lyapuno
v function for the system" }}{PARA 258 "" 0 "" {OLE 1 4096 1 "[xm]Br=W
foRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::G:jy;:::::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::::JcvGYMt>^:fBWMtNHm=;:::::::n<Ejyyiy=C:Qj;>:;JZC:bKB::>\\yI`nydMoq;
V:>b?B:<:=ja^GE=;:::::::::N;?R:yyyyyyA:yayA:<::::::JDJ:j::F@[KaFFcmnnH
EM:>:::::::oJ;Zy=J:B::::::F:;JJ=Z::=j[vGUMrvC?MoJ::::::::JCN:yyyxI:;Z:
:::::j;B:s<;:wA?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;TrXDJ=qLCHRvHjAr<]R:?B\\a[DNZ@X
_LVjrO\\=Hi=v;:_;OR:_sZme;?::H::b<_rZme:GVEFi=:jSB:;J;<B;JCqnQF:wyyAb<
vYxy?V:>:;`:Z@O<;B:UTRcETcTX[US;SK]UW=EWMuUWm>j\\@A:::cYH_WV>Z::::::::
jysyA:CB:F:;jysy?:;:?V<^a?JrH:=j>r:kW:NZ:^=<J:f:<j>DJ:B:E:?R:=Z:f:FZ<v
yyyy:f:F;B:E:WS:k:E:]c:=:E:Qb:;Z:f:^[<>r>>nBn;n^@v;_jysy;B:K:;xy]wy;E<
]E;Q:G;Sj`@@RS;Z;f:;J;<ja^G>D_mlVH[KRJ:<:::::::>=?R:J;>:yayA:;B::::::f
:<JOI:<:?ja:[LsjsJRJ:<:::::::>=;jysy:>:<::::::wqy[:::::::::::::vYxI:;Z
::::::::::::::::::::yay=J:B::::::::F;B:sZ:Vy<>jx]:JBAZ:b:DJ:<k`LOJPNvL
Qs@`=N[OOtvgwqWuvgwq?tawwqom=N[O?:OB:CJD<k;<R:>::::::::::jP@:MB:;B:_c<
iV:[m:<Z:n^soIM:_k?LJuF:n>^=VY;><:[V:=:;b:^dcgg_WhZnc_whZNdigg[oGqHYUA
FcAN[PE:O:;jPF:C:[Y:F;;JSVn;^C=Z:>is?OM:_;Mv:=J:>IN;;B:_;Sd;?J:>I>o:F;
N@iB;kl:jv`QNG[:JSjDIj:<:k=JSjyMj:>:mMNC:N@>`AF:FIKOHjw;<:[V:;Z<b:<kc`
a\\wgfC:wv:ObO_HYUqgKbKIK:J<jP>:C:[q:F;;JSdjK_e;FZ:>Z:fasWTM:_;_f:=J:f
_sWTJSJIPj:jO`qc;_kE>g;F:fA:_;wf:=:U;JSjuQj:jPJHB:qQJxi:B:>l;Z:b:^DP@:
::M\\QE:O:f_;F:C:[Q:F;;JSvXWD;=Z:V`s?HM:_;mw;=:`QrF;N`DVg=Ne>FZ:Zsk>JS
d:ey;=:a;OJ:n^@J?vyyuy=:;JHjw?<IJ:<J:^q<Z:FZ<NZ\\VdsWhngfgsWcx:GetIJ?A
:OJ=B:IJ?;C:UK:^:>X=j;<Z:>:::::::::::::::::::::::::::::::::::::::5:" }
}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT -1 37 "If V(x,y
) is a Lyapunov function then" }}{PARA 0 "" 0 "" {TEXT -1 3 "1) " }
{TEXT 258 1 "V" }{TEXT -1 1 "(" }{TEXT 259 3 "x,y" }{TEXT -1 23 ") is \+
positive defiinite" }}{PARA 0 "" 0 "" {TEXT -1 2 "2)" }}{PARA 256 "" 
0 "" {OLE 1 3584 1 "[xm]Br=WfoRrB:::wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yy
yyyy::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::fyyyyya:nYf::wyyyqy;:::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::::NDYmq^H;C:ELq^H_mvJ::::::::gj<vyyuy
J<j?V:;J:>R<:T><::[ry]CwitNwW:A:;B;B:F:YLpfF>:::::::::J?NZ;vyyyyyY:vYx
Y:B:::::::c:;:=:jR>@Wlj^HMMufF;J:::::::N=?:xI:;Z::::::j:>:;]::=j[vGUMr
vC?MoJ::::::::JCN:yyyxI:;Z::::::j;B:s<;:wA?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<>kj
j:<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: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:::::::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:<jCDj
xAJ^Dj<j>J:<JHB:qi:;fyB:>l;F:<J:DZJ^dcgg_WhZnc_whZNdigg[oGqHYUyW[xSYyW
Gu:OrMN;C:Uk:N;;B:_c<QU:cL;>:CeO;PoO;N@Mv:?O;B:CEW;po^=VYZ:JB?:DZ<B>aT
XDpql@Yw:OBO_HYUyWqHYUQbkQIJ?>: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:?bBaTXaEWEUUXqvHJmTp=Nk;J?n:v:O>^:f??J<JrG:AB:;B:;:::::
:::::::::1:" }}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 0 "" {TEXT 
-1 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 "Warni
ng, new definition for trace" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 14 "f:=-x^3+x*y^2;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"fG,&*$)%\"
xG\"\"$\"\"\"!\"\"*&F(\"\"\")%\"yG\"\"#F*F-" }}}{EXCHG {PARA 11 "" 1 "
" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "g:=-x^2*y
-y^3;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"gG,&*&)%\"xG\"\"#\"\"\"%
\"yG\"\"\"!\"\"*$)F+\"\"$F*F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 11 "V:=y^2+x^2;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"VG,&*$)%\"yG
\"\"#\"\"\"\"\"\"*$)%\"xGF)F*F+" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 14 "Vx:=diff(V,x);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#VxG,$%\"x
G\"\"#" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "Vy:=diff(V,y);" }
}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#VyG,$%\"yG\"\"#" }}}{EXCHG {PARA 
0 "" 0 "" {TEXT -1 12 "1) To prove " }{TEXT 260 1 "V" }{TEXT -1 1 "(" 
}{TEXT 261 3 "x,y" }{TEXT -1 19 ") positive definite" }}{PARA 0 "" 0 "
" {TEXT -1 6 "Since " }{OLE 1 3584 1 "[xm]Br=WfoRrB:::wk;nyyI;G:;:j::>
:B>N:F:nyyyyy]::yyyyyy::::::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::fyyyyya:nYf::wyyyqy;:::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::NDYmq^H;C:ELq^H_m
vJ::::::::gj<vyyuyJ<j?V:;J:>R<:T><::[W[aCwitNwW:A:;r: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>j>J?>:QJ:nYvY::::::::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::=Z<Z:::>QSJJfBJs:;::::JXJ<@Z=fZDFZLVjrWZIj?
@k:DJ>E=;B:::::::=Jyyy;d:yayY;A:;JZ=Z:Z@O<;j`@Pt\\Pd`QrPPJPnrPqjLqnxPq
F;fbk;::JtaMSAA;B::vYxY:>Z::::::yayY:^Z:j:>:yayQ:>:fw;jBDJ:<JPAJ:F:MZ=
nTN:sZ:>:EJ:F[<J:<j<J;@j:B:E:=b:yyyyI:E:M:<j<JQ@JFj<jRDj:j<j?D:<j<J@DJ
jAJZAJAJMTjAN<yayAZ:>;>ryapyAj;^l;V;n>^;UTRZ_?:;C:EZ:F;>Z:^=<jwEJ:uI<:
[V:=B:>Z<>ZJ^dcgg_WhZnc_whZNdigg[oGqHYUyW[xSYyW=s:OR=;J?^:?ja^G>D_mlVH
[KRJ:<:::::::>=?R:J;>:yayA:;B::::::^:;JmAZ:B:N:Y<>DjsJRJ:<:::::::>=;jy
sy:>:<::::::wqy[:::::::::::::vYxI:;Z::::::::::::::::::::yay=J:B:::::::
:jP@:MB:;B:_c<;W:Sl:>Z:>is?Os:qQJxI<:[V:;Z:b:<;::Zq;Ww:OrKN;jPF:C:[Y:F
;;JS^X]R:=B:;B:`Qr<J?>:G;OjyyiyI:>:s:qQBv:<J:^q<Z:FZ<NZ\\VdsWhngfgsWsw
:GUNIJ?A:OJ=j=NKJ<jP>:C:[q:VZ:B:;:::::::::::::::::::::::::::::::::::::
:::::::::::::5:" }{TEXT -1 6 " and  " }{OLE 1 3584 1 "[xm]Br=WfoRrB:::
wk;nyyI;G:;:j::>:B>N:F:nyyyyy]::yyyyyy::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::::::::fyyyyya:nYf::wyyyqy;:::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::N
DYmq^H;C:ELq^H_mvJ::::::::gj<vyyuyJ<j?V:;J:>R<:T><::[W[aCwitNwW:A:;r: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>j>J?>:QJ:nYvY::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::=Z<Z:::>xun<[kZFB[KRF@GlSF@
gKVfI>d:FFAmoFFIml^A^Z;r:Eb<=b>AVXAr=V[KFZ<>klZ:::::::F:wyyAb<vYxy?V:<
J:>R<:TNC>:UTRcETcTX[US;SK]UW=EWMuUWm>j\\@A:::cYH_WV>Z::JR>@=lZ>@[kRFB
]KUf@_kxJbjnnGyyyxy;B:CB:F:;jysy?:;:]b:;B:qe:^o;>:=j>r:g@?JHB:;j<B:Mb:
>Z:f:NZ;F:<j<j:Djyyyy=j<j>Z:f:n_;>=f:F`<F:f:V[<Z:f:^[<>b<>v;n;n^@v;_jy
sy;B:K:;xycwy;W:cY:Q:G;Sj`@@RS;B:[l<B:M:<JHB:qi:;fyB:>l;FZ:B:;b:;B>cTT
UUSaEBWTSiEB_tUUURWmgmqpYQbYpqYq^XJ?dIOJ<N:YLpJbNHEms>`:>@>Z::::::::kJ
;@:N:;jysy;J:<::::::CJ:nv;B:<:?ja:[<VH>@>Z::::::::kJ:vYxI:;Z::::::JywY
B:::::::::::::yay=J:B:::::::::::::::::::jysy:>:<::::::::f_;j><J:<JSdJJ
AJfF:;B:mUXKOHjw?^y]:JBAJ:B:DZJ::::ni=N[^K?Z:f?=J<<:[Y:F;;JS^XuR:=J:<Z
s?h:N;;JMJ?vyyuy=:;JHjw?<I:;JXE:<j:DJ;Dlc`qsLqlp`qWs<nf=y:OV:N;G:IJ?;C
:UK:^:>X=j;<Z:>:::::::::::::::::::::::::::::::::::::::::::::::::::1:" 
}{TEXT -1 33 "are both greater than 0 for all (" }{TEXT 262 3 "x,y" }
{TEXT -1 24 ") other than (0,0) then " }{TEXT 263 1 "V" }{TEXT -1 1 "(
" }{TEXT 264 3 "x,y" }{TEXT -1 13 ")>0 for all (" }{TEXT 265 3 "x,y" }
{TEXT -1 23 ") other than (0,0) and " }{TEXT 266 1 "V" }{TEXT -1 7 "(0
,0)=0" }}{PARA 0 "" 0 "" {TEXT -1 6 "Thus V" }{TEXT 256 1 "(" }{TEXT 
-1 3 "x,y" }{TEXT 257 2 ") " }{TEXT -1 21 "is positive definite." }}}
{EXCHG {PARA 0 "" 0 "" {TEXT -1 12 "2) To prove " }}{PARA 262 "" 0 "" 
{OLE 1 3584 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><::[D=eCwitNwW:A:;B;B:F:YLpfF>:::::::::J?NZ;vyyyyyY:vYxY:B::
:::::c:;:=:jR>@Wlj^HMMufF;J:::::::N=?:xI:;Z::::::j:>:;]::=j[vGUMrvC?Mo
J::::::::JCN:yyyxI:;Z::::::J;>Z:^E>:nY>;V:<Jyk<J=j=B:M:wAO:QJ:^;f;;JAj
A>:wAyA:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::::::::=Z<Z:::>QSJJfBJs:;::::JhJ<@Z=fZDFZ=n;;R:_rZCe>AfO@JCZnK;TrK
EJ>===B:ol;@J@Pj:^@AR:=I;=jSN:iH;=Jyyy;d:yayY;AB:>:;H:<:TNC>Z:fc[_hb_d
s?h_?^?GhoGfnGgioGM:ETV:::^xsNpkK:<::yayA:<:::::vYxy;J<<Z:F:;jysy?:;:s
S;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:<JMTjAN<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:;jysy;J:<::::::C:?f:B:N:Y<>DjsJRJ:<::::
:::>=;jysy:>:<::::::wqy[:::::::::::::vYxI:;Z::::::::::::::::::::yay=J:
B::::::::V\\:J:::::JlF@UkVfFkKVf?[KRVF[KTnFCmk>l;F:>Z<B>cTTUUSaEBWTSiE
B_tUUURWmgmqpYQbYpqYQQIJ?tO:N;C:Uk:N;;B:_c<QU:cL;>:CeO;PoO;N@Mv:?O;B:C
EW;po^=VYJ:<:[V:;Z<b:<kc`a\\wgfkWQJ?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:MmkNHYmsvGGMt>>ilqNHCMJ>DM=cE:eMsfFMjw
>@[;_C:[5;" }}{PARA 0 "" 0 "" {TEXT -1 3 "Now" }}{PARA 259 "" 0 "" 
{TEXT -1 1 " " }{OLE 1 4096 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::>dFf`nydMoq;V:>Z?B:<:=ja^GE=;:::::::::N;?R:y
yyyyyA:yayA:<::::::JDJ:j::F@[KaFFcmnnHEM:>:::::::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:@JCHRl
Dk;U_;N<BWNZ@ha=n;NZ@ppLVjPK;ZrKSHRvTJ;NZ@X_=n;:TO::`A_kvTJ;>:;::::::=
B:wyyAb<vYxy?V:>:;`:Z@O<;j`@Pt\\Pd`QrPPJPnrPqjLqnxPqF;<j\\@A:::cYH_WV>
Z::::::::jysyA:CB:<j:>:yayQ:>:^xFJ@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;<ja^G>D_mlVH[KR<:;B:::::::JFNZ;Z:N:;jys
y;J:<::::::EZ:Nj=Z:J;vCJbNHVH>@>Z::::::::kJ:vYxI:;Z::::::JywYB::::::::
:::::yay=J:B:::::::::::::::::::jysy:>:<::::::::oi:>\\:B:J<B:US:f:<JDDj
xAJZf:<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[o
GqHYUyW[xSYyW=r:ORuN;jPF:OJ:<JSdjo@JdN:;JlTOZOWO:_k>IJKOZ:B:CEW;poF;;B
:_kofq>F:ndnOWM:_k>Wx>F:>in?OM:_KjDj\\Tj:>:k=JSVGaS<=:g<JSFKMU<=:mEWK?
N@;m]ej:jvJHjw;<:[V:;Z<>Z<B>aTXDpql@kR;OB__HYUyWqHYUQbKFPJ?>:OJ<B:UK;:
[AMJ:N`DJREj:<J:fanWTM:_koFZ>F:npn_QM:_k>w`>F:nP:_KjnaAF:V_nWTJSVGiE<=
:g?JSFKUG<=:g?sZ:VYZ:JBA:DJ:DZJfcN?^??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:<:::::::::::::::::::::::::::::::::::::::::::::::::::::3:" }
{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><::[D=eCwitNwW:A:;d:>Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jysy;Z:
::::::^<>:F::]KRnC=MtFGgml>:;::::::JGN:ry:>:<::::::=J:^b:J:j:VBYmp>HYL
kNG>::::::::N<?jyyiy=J:B::::::V:<JhJ:JyK;:^::G:IZ:>;nYvY::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::=Z<B:
<::::::::::;D:<J<@Z=fZDrX;yy;yy;AiYivwu_xw`xw`XJ:>Z::::::::::::::::=Jy
yy;d:yqyyy?V:>:;`:Z@O<;j`@Pt\\Pd`QrPPJPnrPqjLqnxPqF;fbk;::JtaMSAA;B:::
:::::vYxy;J<<:=J:vYxY;J:jX@:cc:NO<j:F;HjdJ:n;>:EJ:F[<J:<J<J;@j:f:FZ<vy
yyy:f:F;B:C:WS:kj<jRDj:B:E:Qb:B:E:Sb:DJJ@JAJMTjAN<yayAZ:>;>ryAryAv:>r;
V;n>^;UTR:;JbN;;:N:YLpJbNHEms>@[;;B:::::::JFNZ;J:NZ:>:yayA:;B::::::f:<
JcK:J;vCJbNHVH>@>Z::::::::kJ:vYxI:;Z::::::JywYB:::::::::::::yay=J:B:::
::::::::::::::::jysy:>:<::::::::OjyyiyI:>:AB:>::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::5:" }
{MPLTEXT 1 0 1 " " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "Vt:=Vx
*f+Vy*g;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#VtG,&*&%\"xG\"\"\",&*$)
F'\"\"$F(!\"\"*&F'\"\"\")%\"yG\"\"#F(F/F/F2*&F1F(,&*&)F'F2F(F1F/F-*$)F
1F,F(F-F/F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "Vt1:=expand(
Vt);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$Vt1G,&*$)%\"xG\"\"%\"\"\"!
\"#*$)%\"yGF)F*F+" }}}{EXCHG {PARA 0 "" 0 "" {OLE 1 3584 1 "[xm]Br=Wfo
RrB:::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><::[i^gCwitNwW:
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:nyyYZDjysyQj;<:;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<vyyyy: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@PqVuvgwq?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:>:[CW;PHjw;;B:>l;Z<b:<
kc`a\\wgfKSTJ?tJcmqpYqgmqp?TN@>:O:f?;J<JrG:MJ:N`DjhDj:>Z:VnnWTOJ:n>N;y
yyxy:J:^=<jw?<I:;JXE:<j:NZ\\VdsWhngfgsWCr:GebIJ?A:OJ=j=NKJ<jPF:C:[Q:VZ
:>Z:>::::::::::::::::::::::::::::::::5:" }{TEXT -1 9 "for all (" }
{TEXT 269 3 "x,y" }{TEXT -1 1 ")" }}}{EXCHG {PARA 0 "" 0 "" {TEXT -1 
10 "Therefore " }}{PARA 260 "" 0 "" {OLE 1 3584 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><::[i^gCwitNwW:A:;B;B:F:
YLpfF>:::::::::J?NZ;vyyyyyY:vYxY:B:::::::c:;:=:jR>@Wlj^HMMufF;J:::::::
N=?:xI:;Z::::::j:>:;]::=j[vGUMrvC?MoJ::::::::JCN:yyyxI:;Z::::::j;B:s<;
:wA?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::::::::
:::=Jyyy;d:yayY;AB:>:;`:Z@O<;j`@Pt\\Pd`QrPPJPnrPqjLqnxPqF;fbk;::JtaMSA
A;B::::::::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:<JMTjAN<
yayAZ:>;>ryipyAj>fl=V;n>^;UTRZ_?:;H:K:?B:YLpJbNHEms>`:>`:J:<:::::::>=?
R:J;>:yayA:;B::::::f:<J;E:<:?ja:[LsjsJRJ:<:::::::>=;jysy:>:<::::::wqy[
:::::::::::::vYxI:;Z::::::::::::::::::::yay=J:B::::::::Ny<JB<Z::CZ:f_;
j<B:cb:uY:;l<B:ab:uY:Kd:E:M:;B:sZ:Vy<>jx]:JBAj:B:;b:<Kd`ppPps<LaPpu<Lc
xpp@PqVuvgwq?tawwqOq<N[cC:OJ<jPF:OJ:<JSdjo@JdN:;JlTOZOWO:_k>IJKO:<JlLQ
ZWGs:qAB:>l;>:DZ<B>aTXDpql@qX;ORn_HYUyWqHYUQbkgQJ?>:OJ<jPN:C:[Y:=j>>Z:
N`D>f<Fo<F:;B:AGWaPHB:qAB:>l;Z:b:;JdRS:::NQd`:N;C:Uk:^:>X?B:MJ:N@Nt=F:
;JRLQZO;;B:G;OjyyiyI:>:s:qQBv:>:sg:B:=J;Dlc`qsLqlp`qGp=nf]x:OV:N;G:IJ?
;C:UK;^:>X=j;<J:<J::::::::::::::5:" }}{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::>xLp`nydMoq;V:>j>Z:j:vCSmlJ::::::::::OJ;@jyyyyyy;jys
y;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:[DZATRWuRE
EUv:IJ:>:::::FZ:nyyYZDjysyQj;J:>R;B:bK_J:fc[_hb_ds?h_?^?GhoGfnGgioGM:E
TV:::^xsNpk?:;B::::::::vYxy;J<<:=J:vYxY;J:JrhZ:nm<>:?h:F:MZ=Ff;J;f<>:E
J: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]PPqHplH
Q:HK<>: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:q
QBv:;B:;JXE:;B:=b:?bBaTXaEWEUUtP<>:Uk:^:>X;j;<Z:>:::::::::::::::::::::
::::::::::::::::::::::::::::::::::::::::::::::::::1:" }{TEXT -1 0 "" }
}{PARA 0 "" 0 "" {TEXT -1 38 "is a Lyapunov function for the system." 
}}}}{MARK "13 2 0" 16 }{VIEWOPTS 1 1 0 1 1 1803 }