An adaptative antidissipative method for optimal control problems
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. An adaptative antidissipative method for optimal control problems Olivier Bokanowski — Nadia Megdich — Hasnaa Zidani. N° 5770 Novembre 2005. ISSN 0249-6399. ISRN INRIA/RR--5770--FR+ENG. Thème NUM. apport de recherche.
(3)
(4)
(5)
(6)
(7) !" #
(8) $&%' #($ #( )*$+ ,*-/./0.21436587:9<;>=7@?BAC9D. E(F ;>G(.2;IHJ1LK:G.2M"N EPO ;>AC=Q;:;IR.2GQ;S=(. TVU@WX6YZ\[^]`_badcfehgiWX6YCekjdl@X6mCnporqLl@YCe sPnitvuhYg^aLwyx z {kz |+}v~<~St4ng+fY niYCU@YCniU@Yj>( 44"_Z+t"4YX'@npY v44 _fy~<}YCe ∗. †. ‡. C"@ Y*fY}vVkogiU}jdl@X6Ynio C}vX8YgpU@tf¢¡£tn¤\¥L¦§YCqLl<}"gio¨t4j<e8tX6o j@¡£npt4Xt4~fgpo X}v tjLgpnit:~@nit<¨YCX6eVko¨gpU©egi}vgpY t4j<ehgini}o¨jLgeª ]«tniYk~@npYoreYC¨c4¬Yk~@niYCepYjLgU@YCnpY+}jB}vjLgporforepepo¨~S}"gpo Y+eiU@YCX8Y+}~@~@ o¨Y6tjB}jB}@}~fgi}vgpo Yknior®ª TVU<Y }4@}v~@gi}"gio¨4Ynior*o e^YCj@Yn}"giYC*l<epo¨j< o¨j@Y}vn qLl<}dginpYCYegpnil<gil@npY4ª^TVU@ore^gpYU@j@orq4l<Ytv¡}4@}v~@gi}"gio¨t4j ¡¯}4o ¨o¨gi}vgpYekehgitd°do j@@}"g}6}vj<fYC}¨o j@6ko¨gpU* }np4Y^jdl@X6YCnpor}DecfegpYXeCª ±©²L³:´iµ¶ "· t~@gpo X6}ktjLginpt4~@nit@ YXeC¬P¤\¥L¦§YCqLl<}"gio¨t4j<eC¬P}vjLgporforepepo¨~S}"gpo YepU<YX6Y¬Q o¨j<YC}vn qLl<}4dgpniYY4ª. ÜSÝ ¹ÅƸfÜS×rÞf¹ã(º4ºväCÄ»Påfß¼æ¹¹à ½Ý¾¿Á¹iÀhÌ/Â/æÖLÃr¸d» ᯿ÁÄ¿ÁÂ2Â/ÅÆÂ(ÅÆÀh¿L¸d»ÅÆâ ÄË ÇÂpÈ4É
(9) ÇÁÅ ÊÀh˯Â2Å Ì/ÍVÎ<ÅÆÀ˯˯ÀÀÏÌQÐ ¹Ë¯ÅÆÀVÑ:¿Á˯ÅÆÀÈSÒpÓÔ+ÕD¿ÁÀæ Ñ®ÖÀhʹ×ÆÀhË/ÀÏÌØÓÔÙäí(ÒÚ\îQÎ<ï ¹Ë¯ÅÆï ÂpÈÛ"Ë/ã ¹ÇÁ½hæÀ» ÕĽh¾CÜS¿ÁÀhã(ÇÁäC½håfÄ¿Áæ Ë£ÈvÈvÌÈLÉÉè®ÐРΩæ ÒÈ"È"ÙÚÚÔçkçkÈvÓè:è:ñÄÄÒ¿Á¿ÁÔ×Æ×ÆÚVÀÏÀÏÊʸL¹¹ÀË/Ë/éyéyÑ®êêÖÅÆÅÆÀ½Ï½ÏÂ/Ì2Ì2Ç"ÄĹËhËhòÈ4È4» ÓÓÜSÔÔÓÓÝ ÚÚ¹ë+ë+ÅÆ×ÆÎ<Î<ÂÞ¹¹Ë¯Ë¯ã ÅÆÅƹéÁѮѮÅóÀhÀh¹éÁéÁ» Ð ÀÏÀÏì'ì'ÀhôÒÒéÁÔÔÅÆÈ"È"½õÛ"Û"Ö"Ë2Ë2๹ÀÇÇǽ½Â/ÀÀÌ2»» ¹æ» â Ëh×Æ×Æ»Â2Â2ÄkÄk¹i¹iÌÌÎSÎS˯˯ÄÄá¯á¯ÀhÀhÌÌ äí(îQï ÑÑ ï ÈÁÈÁðð ã ÕDÕDðð æ ÕĽh¾C¿ÁÀhÇÁ½hÄ¿ÁË£ÌÈLè®Î©ÒÙÔÈvÓñÒÔÚV¸LÀÑ®ÖÀÂ/Ç"¹ò» ÜSÝ ¹ÅÆ×ÆÂÞ<ö¹Â2ÇÁ¹¹» ÷ÅÆé"¹ÇÁÅàÀhÇÁ¯Ìõ¹» â¨Ëh» ∗. † ‡. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.
(10)
(11)
(12)
(13) !" #
(14) $&%' #($ #( )*$+ z^j mgpl<@o¨Y«l<j@Y«X6mgiU@tffY«jdl@X6mnio qLl@Y©~>tl<nB¨YemCqLl<}vgpo tj<e¤^¥4¦ ~@nit"YCj<}vjLgfYCe ~<npt4@¨WCX6YCekfYtjLgpn Y t~fgio¨X}
(15) }ÁY tjLgini}o¨jLgpYekel<n+ mg}"gªØsP l<e\~@npmoreWCX6YjLg+tj*~@nimCepYjLgpY l<j rei}8U@ehmCgiX6npl<}6gp}l@j4nigiY o @fo YCeiekeo ~<qLl<}vgp}4o¨d¡(gpepnil@YnkYyl@¨o j@j@Y m}v4o npnpo Y e¨Y ª}{Ø<Y}vgpgp~fYyg}"gpgpYo U@Y4j@
(16) ª or qLl@}8Yy¡¯ni}o ¨ o Y ogi}Yy@} Y ~fgieh}vgitdgpo °"Y }YCYyeg+YgkmC j@}'mXnim}vY j@Yorj*}v<lfo¨ gioo¨gi m orep}fj4YCge X}o¨ ¨Yeª gi npYC¶ Y ¨o j@´ mC} o¨niYª ~@nit@ WX6Ye@Y tjLgpn Y\t4~fgpo X}v2¬fmCqLl<}vgpo tj<eV¤\¥L¦y¬@epU<mX}'}jLgporfo eiepo¨~<}vgpo¨¡h¬@qLl<} .
(17)
(18)
(19)
(20) !"$#!%&!'
(21) (*)'! %+!
(22) (,-%+!./(0/&. ' #(54 %
(23) 6ÏjgiU@o eV~S}v~>Yn¬@ØY fY}v®ko¨gpU©}vjt~@gpo X6}t4jLgpnit:~@nit@ YX 2. 3. (Ps,x ). 1. ko¨gpU©ehg}"giY tj<egpn}vo jLg87. min ϕ(yx,s (T )), y ˙ x,s (t) = f (yx,s (t), a(t)) ∀t ∈ [s, T ] yx,s (s) = x, x ∈ R I n, , ∀t ∈ [s, T ], a(t) ∈ A yx,s (t) ∈ K ∀t ∈ [s, T ].. 9 " : <} ª Y TV9 U<Y6epYgt¡tjLgpnitre A ore }*t4X8~<}4g tv¡ RI ¬ ϕ : RI → RI ∪ {+∞} o e t"Yn eYCX6oPtjLgio¨jdl@t4l<e /ª eCª ":'}j< ore8}<;=fY>;<jS}vVgpo X6Yª TVU@Y©eYg ore}tX6~<}4gtjd4Y=IepYgtv¡ RI ª TVU@Y @cLjS }vYX6g o Ce fT: RI × A → RI ore+}eiepl@X6SYCY^gpgpU<t6Y^S"Y}v K l@Y\o¨~S6=¡£epl@j<U@∅o¨g+gi?o¨t4}j j<f Y/;<Sj@t4l@YBj<fdYc ®ª tn {+∞} v(s, x) = inf(P ). @ YCYCnpc s v∈:[0,[0,TT]]}v×j<RI x →∈/ K,RI ∪v(s, v } S j £ ¡ 4 t n )FEG%+x)!'H%+=Iϕ(x). D ,HEG% -) -(0 9 x\sJs :7 6õg+oreV°dj@t"kj gpU<}vgkgpU@Y "}v l@Yy¡£l@j<gpx) o tj =v +∞ ei}"gio Ae ;<YCegiU@&Y xB&∈C K,
(24) Dv(T, 9 K : v(s, x) = inf v(τ, y (τ )), ∀τ ∈]s, T ], ∀x ∈ K, kU<YniY A(s, τ ; x) := {a : [0, +∞[→ A X6YC}4el@n}v<¨Y , y (t) ∈ K, ∀t ∈ [s, τ ]}. 6ÏjgpU<Y C}epY^kU<Yj gpU@F Y ;<jS}vDtLehg¡£l@j<gpo tj orekt4j4gio¨jdl@t4l<eV}vj< gpU<Y Á}¨l<Y\¡£l@jSgpo tj ore(giU@Ykl@j@orqLl@Y+t4j4gio¨jdl@t4l<Me LLoreit4epo¨ghc NVet4¨lfgio¨t4Pj ϕO ¬Ld¬ Q
(25) RStv¡>gpU@TY S
(26) D (UK V!=WYXZRI)!K, . W[((\ 9 ¤\¥L]¦ : YqLl<}"gio¨t4Mj 7 ( m. n. n. n. n. n. s,x. a(.)∈A(s,τ ;x). x,s. x,s. n. −vt (t, x) − min f (x, a).vx (t, x) = 0, (t, x) ∈ [0, T ] × K, a∈A. 6ÏjgpU<o ek~S}v~>Yn¬fØY }vniY o¨jLgiYniYCegpYC o j giU@Y}4eYykU@YCj. 91 :. oϕ e+x ∈o K.Yj dc o¨¡ x ∈ C, 9^ : 0 t p g @ U C Y p n k r o e Y ϕ(x) = +∞ , gikU<U<}"YgniY gpU@Core'6=C}∅epYo e X6}td@t4YX8 o0?C~SYC}eg epY4t4Yjdn}vY=©tepjLYgpg nittv¡ R~@I npt4,@C YX⊂e K9 g}v}vnij< YgK~@6=nit@RI YX*. 6ϬQj |keYYjSfgpo Y/t? j _Q^ t4¬®l<e Y'~@nikto @ ( YepX*YY ¬ dor}v@o oghc°YCnpj@YC eC¬ ª¨ª ª :ª^¤\YniY¬SgpU@Y8"}v l@Y¡£l@jSgpo tj 9 v1 X}Ác© YC}np c >Y'@o eit4j4gio¨jdl@t4l<e\}j<*g}v°Ye+o¨gie "t}Ϩl@}vlfYe8giU@o¨tj neP{0,O¨"+∞}. 6õgBegpo ¨+ei}"gio eA;<YCe'YCqLl<}vgpo tj :'o j } epYj<epY*o YjILc n}vj@°4t"+e°"}«}j<¢U@YCn `f¬kÁ8Rõª @ tn6X6tniY*fYg}vo e}St4lfg'giU@Y«fo0a>YCnpYCjLg6j<tvgpo tjSe't¡y@ept lfgpo tjtv¡^gpU@Y©¤\¥L¦ YqLl<ad}"giYCo¨t4YCjDni¬@}>eYCjdYyl@gpX6U@YCYnpor}~@}~SDYCepj<fU@o0YC=X6}YCj<eBU<}ÁgiU@YyY >niYY¡£YYj©niYejSgpl<YC@eØo¨YgiU@Y¡£nit4Ynko jDfª o einiYgio0?Co¨j< 9 1 :ªPTVU@Y X8tLehgk~>t~@l< }n+}vniY giU@YadYX6o
(27) }vn}vj<or}vj«eiU@YX6YCIe O d¬( 1 ¬Q8 bRP}vjS©gpU<IY ;Sj@ogiY8@\o a:YniYj<YCe eiU@YX6YCDe OÆdc¬ bRõªTVU@YeY eiU@YCX8Ye\~<npt"dorfY'} tdtf }~@~@nit =do X}"gio¨t4j*¡£tn } tjLgpo jdl@tlSe\"}v l@Y8¡£l@j<gpo tjDª'¤+t"YYCnC¬>giU@Yc«}¨ lSeYko jLgpYni~>tr}"gpo tj8giYCU@j@orqLl@YCe}"geptX6Yk¨YCYC<}vj<6}npYkj@t X6t4npYkepl@og}v@ Yk¡£t4nQgpU@Y^}v~@~@nit =fo¨X}vgpo tjt¡ @o eit4j4gio¨jdl@t4l<e®"}v l@YQ¡£l<j<gio¨t4j<edª 6Ïj<fYCYC®¬gpU<Yo j4giYni~St4 }vgpo tj egpY~Se~@nitffl<YQX8t4npYtnD YCeieDjdl@X6Ynior}v @T
(28) \o ta:l<t4l@epo¨nt4jD°dj@¬@t"kkU@ orYCfU4CY}v¬l<gpU@epYCY^ekt}j@j c8o j<einpU@YYC}X8epo¨Y\j@8kU@ t4o eiU eVtvf¡
(29) td~<YCepnpjY gØorel<o tejYy}vXjd}vc8o j@o¨jL¨c gpYC}vnpni~>ttl@r}"j<gio¨t4gpj8U<YgpYCfU<o eij@o t4qLjLl@gpY^o jLo l<ePogpgiU@o¨YY^eª tj@Y v(T, x) = ϕ(x),. n. Õ
(30) Õ Ç
(31) e<ÔÓÓÙ. n.
(32) ^. (U " /% [T! ! I VHK )'
(33) S K K
(34) . S}epYC tjgpU@Y dor}v@o oghc}v tnio¨gpU@X @YYC¨t4~SYdc sª>af}vo jLg+sPo¨YCnpniY}vjSU@ore+t Ï}vlfgiU@tne O @R2ª¦lfgC¬ }4ek}v npY}fcBepU@t"kj o¨j O `
(35) RDgiU@o ekeiU@YCX8Yegpo Dfo\a:l<epYCeCª TVU@YB}~@~@nit =fo¨X}"gio¨t4j X6YgiU@tf ØYegpl<fcU@YniYore }*X8o0=dgpl@niY6tv¡gpU@YB}jLgporfo eiepo¨~<}vgpo Y (\ %+"[T 9 [\¦ :'epU@YCX6Y O v¬P "R+}vjS&tv¡^}jI}<}v~fg}"gpo Ynio @@o¨j@ gpYU@j@orq4l<Yª TVU@Y[\gini}4¦YY eiU@YCX8Y U<}e >YYCj egpl<fo YC dc¦yª:x\me~@niWCey}vjS @ ª
(36) }vt4lfgpo WniY O R¡£tn et4¨do j@giU@Ygini}j<e~>tnpg\Yq4lS}"gpo tj©ko¨gpU ~>t4epo¨gpo Y^tj<egi}jLgØYC¨tfoghc4dª 6õgVU<}eØ>YYj Y =dgpYCj<fYBdcz'ªd¦t4°Á}j@t"+ep°LoS}vj< ¤ª >or@}vj@o OÆ R>¡£tngpU@Y gini}j<ep~St4ngYCqLl<}"gio¨t4jB9 1 ko¨gpU }8U<}j@o j@epo¨4jBYC¨tfoghc}vjS}v~<~@¨o YCB¡£tnØgpU@YyniYCept lfgpo tjBt¡
(37) ¤\}X6o¨¨gpt4j ¥L}t@o:Yq4lS}"gpo tjSe :t4j}8niY4l@ }nVnio ®ª 6ÏjItl@n8}epY¬giU@Y"}v l@Y¡£l@j<gio¨t4j&gi}°Yetj<¨c "}v l@YCe8«}vjS 1 9 giU@YÁ}¨l<Y 1 tffo j@«o j¢¡¯}4g'gpU@Y "}v l@Y :ª 6Ïj gpU<o eep~>YCor}vPepo¨gpl<}vgpo tjD¬gpU@YB[\gini}4¦ØYCYBepU<YX6Y6U<}e }j@orY~@nit~>Ynpgh-c 7 ogore }v<¨Y +∞ ggiiU@t Y8¨tfnpYC}¨o ot?j«Y*k}CU@YCl@npYn}"giY c gpU@gY©}v°4fYCore\eigptU@jLY6gio¨"jd}vl@ l@o¨ghYc&tv¡¡£nivtXt4gpnpU<niY'YCepni~SYt44j<o¨t4fj«o j@k«U@giYt niYgpU@o¨g Y*gio }j4°giYYCnpe\¡¯}gpU<YY'Γ"}v l@epY6Y~<@}ªni}vTVgpo U@j@or e ~<C}vnpt4r~Sl@YCrn}"ghgic«o¨t4}j<¨e t"}"+gQe\Y4lSYv(t, eynic^gpt©gi.)o¨X6fYCY epo j}*epo¨X6~@9 Y6X6YgpU<td ¡£tn}4@}v~@gi}"gio¨4Y4npor@fo j@<ª8]©tniYt"4Yn¬>gpU@Y6niYC}v SYCo¨j<^giU@Ygpo X6YVegpYC~ :
(38) U<}ÁYtj<¨c git^>Ykftj@YVt4j'}yeX}v j<Yo UdSt4npU<tLtf©t¡PgpU<Y8o jLgpYCnt¡¯}4=Y Γn∆t. ¤+∆tYCj<Y}<}v~fg}"gpo Y'nio <fo¨j< orey~<}vnpgporl@r}vni co jLgpYCnpYehgio¨j@o j t4}4l@@n}v~@gi}4}"egiY4o¨4ªIY^]©4nptor@niYekt"}4j<YnB¬(giØtBY}l<U@epo YY4 o Yyj@}6YC}epn6o¨4qLj@l<0o ;S}4d}gpnij4Yg+Yeie}ÁkYyU<o tv¡U X8~@YCniX6t"LtornifcYª } 4tLtfI}Ác gitU<}j<f Y*YC}epo ¨c @}~fgi}vgpo Y8nio <fo¨j<B¡£tn ept Lo j@¤\¥L¦ YCqLl<}"gio¨t4j<eyU<}ey}v niYC}@c>YYCjegpl<@o¨Y o j«giU@Y}epYt¡ }git¢ett4jL¨gp4o Yjdl@9 t1 l<:e6}v"j<} ¨l@Y/Y*=d~<¡£l< }j<o¨j@giYo¨t4 jDgpª U@Y6Ïj niO o8 gibYRõni¬ o } PU@ª yY«npl@lSj<eYY© U<¡£}tenUSgiU@}vj<Y«fni YYC;<j@giYCU@X6Y YjLadg YX6}vojS
(39) }v4t4ni}}nij@epYorj@}vo jIj@&eieU@gpYCYX8~SeY ª TVU<YCepYBniogiYnio }©}npY<}4eY tj¢5} ;=fYC git Yn}vj<Y6¡£tn giU@YBo jLgpYni~>tr}"gpo tj YCnpnitnª TVU@Y~@npYeYCj<Yt¡ @o eit4j4gio¨jdl@o¨gpo YCeVo j*tl@nkC}epYyX}°YCegiU@YCepY niogiYnio }8j@t6X6tniY el<og}v@ Yª TVU@Y~<}v~>Yn+ore+t4npL}vj@o ?Y }4eV¡£t t"+eJª 6Ïj«eYgpo tj 8Y o Y giU@Y ¡£t4npX'l@ }vgpo tj*tv¡(giU@Y[+¨gpn}¦YCY eiYU@YCl<X8epYY}}j<j<Y ep=ft~@X6r}vY6o j*tv¡VgpU@o¨giY8e eh~@giYnit~<~>e\Ytvnp¡(gpo gpYCU@eCYDª ~@6Ïjnpt4ep~SYCtLegpYo tj X81 YgpØU@Y6tf®~@ª niYCepo Yj<jL}vg gpc U<YBo j }ep@YC}~fgio¨git4}vj gpo ^ Y'¬SØgpYCYU<4j@o¨4o qLYl@eY6YCgiYCU<ni}"}g jdl@X6YCnpor}>epo¨X'l@r}"gpo tjSeo j'fo X8YCj<epo¨t4j<eVtX6o j@¡£nitX tjLgp@ nitS~@nit@ YXeV}vj<~@nit~<}4}"gio¨j< ¡£npt4j4g ~<npt4@¨YCXeª `$ #( k
(40) %( + Z\tvgio Y\giU<}"gkkU@YCjYyfY}v:ko¨gpUtj@ c6tj@Y t4j4ginpt4/¬LgiU@Yy¤^¥4¦ YqLl<}"gio¨t4j 9 1 :P>YCtX6YCeV}gpn}vj<ep~>tnpg Y@qLo¨X6l<}"YgijSo¨et4o jDtª+j ¤+9 YCj<Y'Ø:ª Yko ;<neg\~@niYCepYjLg+gpU<Y'[+¨gpn}¦YCYepU<YX6Yo j©gpU@oreyeo X6~@¨Y8}4eYo j«t4j@Yep~<}Y n=1 . . t. n. tn. . . . . Yg. . . . !#"%$'&)(+*,.-0/21435"6-#78*9$. tj<epforfY: nRIgpU<→Y gpRIn}vj<>epY ~S Dt4no ~<gkei~@niU@to<'g ?¨YC}vX5j<7 St4l@j<fY}j< . u0 : R I →R I. >Y t"ØYCnyepYX6oPt4jLgpo jLl<tl<eCª Y. ut (t, x) + f (x)ux (t, x) = 0, x ∈ R I , t ≥ 0, u(0, x) = u0 (x), x ∈ R I.. 9 :. ð ã ÕDð æ.
(41) .
(42)
(43)
(44) !"$#!%&!'
(45) (*)'! %+!
(46) (,-%+!./(0/& 6Ïj. }v giU@YeYqLl@Y2¬:ØY8ko¨ (l<epYgpU<Y'¡£t4¨ t"ko j@Bj@tgi}"gio¨t4j<e87 fYj<tvgpYe^gpU@Y'gpo X6Y8egpYC~D¬ ore^gpU@Y ep~<}4Y ehgiY~tv¡Q}8npYCl@r}vnVnior G tv¡ RI }vj< ν o ekgpU@Y tf}v
(47) { ∆t@ jdl@X>Yn^}"g+YC¨ M fY/;<∆xj@YCdc-7 j. νj :=. j. f (xj )∆t . ∆x. {Øt4j<epo fYCngpU@Y ¡£t4¨ t"ko¨j<6eiU@YCX8Y t¡ ;<j@o¨gpY 4t l@X6YCeghcd~>Y7. n,R n,L n+1 Uj+ 1 − U − Ujn j− 21 2 Uj + f (xj ) = 0, ∀j ∈ ZZ, ∀n ∈ N I , ∆t Z ∆x 1 u0 (x)dx, ∀j ∈ ZZ. Uj0 = ∆x Mj. 9 `K:. kU<YniY x oreQgiU@Y\X6or@f Y\~>to j4gØtv¡YC¨ M = [x , x ] ¬ U ore}j}v~@~<npt=fo X6}vgpo tj8tv¡:gpU<Y\X6YC}j "}¨l@Y 1 Z u(t , x)dx tv¡ u t4j YC¨ M }vg t , }j< U , U }vniY<lZ=fYCeyniYCep~SYgio¨4Y c t4j giU@Y Y¡ ∆x g\}vjSt4j giU@Y nio¨4U4gVtv¡gpU<Y o¨jLgpYCn¡¯}4Y tv¡(YC¨re }vj< }vgkgpo X8Y t@ nVgiU@Y[+¨gpn}¦YY eiU@YX6Y¬@gpU@YeY<lZ=fYe+}vniYy@Y;<j@YMo¨jgpU<Y M¡£t ¨t"ko j@8}Ác4ª t . 6Ïj8gpU@Yk}4eYVkU@YCjgiU@YkYC¨tfoghc f (.) ≡ f o eQ}y~>t4epogio¨4YktjSehg}vjLgC¬ÁgiU@Y <lZ=fYCe U }j< U t4o¨j<o @Y}vj< ØY U<}Á4Y U = U =: U . TVU@YeiU@YX6Y >YCt4X6YCe87 j. j− 21. j. n. j. j+ 12. n,R j+ 12. n,L j+ 21. n. Mj. j. j+1. n. n,L j+ 12. n,R j+ 21. n,L j+ 21. n j. n,R j+ 21. n j+ 21. n n Uj+ 1 − U Ujn+1 − Ujn j− 21 2 + f (xj ) = 0. ∆t ∆x. TVU@Y+[+¨gpn}¦YCYVeiU@YCX8Y4¬}eQ@Y;<j@Y8o¨j O Rõ¬oreQ} ft"kjdko¨j<8U@t4o Yt¡SgiU@Y<lZ=fYe(l@j<fYCnet4X6Y ehfgor}vepep@o¨o ~S o}"ghgpco Y4t4ª\j<f]©o¨gpt4o nptYj<eC~<ªQnpYTVU@oreorYCeبc4U@¬@t4gpU<o Y Y\<lniZY~@= r}YCePgpU@Y r}eieor}S[\~Lko j<<lZ=kU@orUoreØegi}@¨Y^@lfg ore+4o¨4Yj©dc©et4¨do j@6gpU<YX6o¨j<o¨X6o ?C}"gio¨t4j«~@nit U ¨YCX 7 min kU@YniY b }vj< B }vniY fY ;Sj@YC d c 7 |U − U | n j+1. bn,+ ≤U ≤Bjn,+ j. 6õgk¡£t ¨t"+egiU<}"g. n j+ 21 n,+ j. n,+ j. bn,+ = j. 1 n n (U n − max(Ujn , Uj−1 )) + max(Ujn , Uj−1 ), νj j. Bjn,+ =. 1 n n (U n − min(Ujn , Uj−1 )) + min(Ujn , Uj−1 ). νj j. n,+ n n Uj+ ), Bjn,+ ). 1 = min(max(Uj+1 , bj. 9 :. 6ÏjgiU@Y}4eYykU@YCj f o eVt¡U<}j@o j@'epo jD¬dgiU@Y (U %+8[H,/ /%+
(48) (U "/)/ 9 [\¦ 8 :O
(49) RDo e fYS; j@YC*}e¡£t4¨ t"+e 9 }, : o¨¡ ν > 0 ¬ U n,L = min(max(U n , bn,+), B n,+ ) }4eV~@nit~>t4epYC o¨j 9 :ª 2. j. Õ
(50) Õ Ç
(51) e<ÔÓÓÙ. j+ 21. j+1. j. j.
(52) (U " /% [T! ! I VHK )'
(53) S K K
(54) ` 9 :o¨¡. νj < 0. ¬ Y fY/;<j@Y ecdX6Yginpor}¨ c. ¬S}vj<. 2. bn,− = j. 1 n n n n n |νj | (Uj − max(Uj , Uj+1 )) + max(Uj , Uj+1 ) n n Bjn,− = |ν1j | (Ujn − min(Ujn , Uj+1 )) + min(Ujn , Uj+1 ). n,R n,L n n νj ≤ 0 νj+1 ≥ 0 Uj+ 1 = Uj , Uj+ 1 = Uj+1 .. 9 ":o¨¡ 9 : o¨¡. }vj<. ¬. 9 o¨¡. 2. n,R n,L νj νj+1 > 0, Uj+ 1 = U j+ 1. ko¨gpU. n,− n,R n ), Bjn,− ) Uj− 1 = min(max(Uj−1 , bj. :t4n. 2. n,L n,R Uj+ 1 = U j+ 1. 9 o¨¡. :ª. @U YCjgpU@Y 4Y tdoghco ektj<egi}j4g¬@}vj<l@jSfYnVgiU@Y'{ @ &tjSfogio¨t4jD¬ 9 QK: |ν | ≤ 1 ∀j ∈ ZZ, t4j@Y\o jLgpYCnpYehgio¨j@'~@nit~>Ynpghc8t¡DgpU<Yy[\gini}4¦ØYCY^eiU@YX6Y^o eV}vjY=@}gV}4fYgpo tj O ¬@TVU@Yt4npYCX 1 RS¡£t4n} }4epet¡(egpYC~ ¡£l<j<gio¨t4j<ekfY ;Sj@YCd-c 7 ∃k ∈ [0, 1[ epl<U gpU<}vg ∀j ∈ ZZ, 9 bK: U =U , U =k U + (1 − k )U . =f}4g+}@YCgpo tjX6YC}vjSegpU<}vgkgpU@YtX6~@lfgiYC"}v l@Y U oregpU<Y Y =@}gVX6Y}vjÁ}¨l<Y¬ 2. νj > 0. 2. 2. 2. νj+1 < 0. j. 0. 0 3j+1. 0 3j. 0 3j+2. Ujn =. 0. 1 ∆x. Z. 0 3j+1. 0. 0 3j+3. n j. u(tn , x)dx,. k[\U<giYnini}4Y ¦uYY o e\epgpU<U<YY'X6Y/Y=f¬f}4g Y enpt4Y¡£¨l@YnVgpo gptt j«O t¡Pv¬>gpU@ "Y6R2ª }@YCgpo tj«~<npt4@¨YCX*ª @ tn^gpU@Y6t4jdYniYCj<Y~@nptdt¡¯e\t¡PgpU@Y Mj. > Y}BZ\t"niY 4l@l< e}o n^j@©4npgior«U@Y*o j e~@RI o¨g.gpo j@ YgpfYCYCj@U<tvj@gio qLY'l@dY4c ¬QMØYfY};Sj@YBY (giU@tvY ¡ G[^¦§koeigiU U@YCX8YjLYgpYC¡£n tn6(xvx , x~@)npt4}v@j< Y XX8eª Ye DU Yeg o ?GY Y Y=f~@r}vo j o j gpU<Y«¡£t t"ko¨j@ giU@Y TnitvgpgpYne~<¨o¨ggio¨j@ gpU@YYC¨tfo¨ghc (∆x , ∆x ), gi@YCl@npU@o j@j<o qLl@}vj<Y©tvkgpU<U@YornkU ehgiY~*t4j<tvep¡o egpgio eX6fo Y j o¨=jY4git(fU@ Ydo¨,j@f&õ).ffo l<niYCnpo j@gio¨¢t4jM}¢7 egpYC~ t¡ gpo X8Y o¨j giU@Y x Ïfo¨niYCgpo tj }vjSIgiU@Yj 2. 1. 1 j. j,k. 2. 1. 2. 2 k. 1. 2. x n,L n,R n+1,1 n Uj+ − Uj− 1 1 Uj,k − Uj,k 1 2 2 ,k 2 ,k + f1 (xj , xk ) = 0, ∀j, k ∈ ZZ, ∀n ∈ N I , 1 ∆t ∆x n+1 n,R n,L n+1,1 Uj,k+ 1 − Uj,k− 1 Uj,k − Uj,k 1 2 2 2 + f (x , x ) = 0, ∀j, k ∈ ZZ, ∀n ∈ N I , 2 j k 2 ∆t ∆x Z 1 0 u0 (x1 , x2 )dx1 dx2 , ∀j, k ∈ ZZ. Uj,k = ∆x1 ∆x2 Mj,k. 9 CK:. \¤ YniYgpU@Y SlZ=fYCe (U ) }vjS (U ) }vniYniYCep~>YCgio¨4Y c gpU@Y ¨Y¡ g}vj< nio¨4U4gB[^¦ <lZ=fYCe @Y;<j@YBl<epo j@giU@Y ko¨gpU*}vjYt4¨l@gpo tjt4j@ c8o j gpU@Y õ@o¨niYCgpo tjBko¨gpUYC¨tfo¨ghc VT U@Y SlZ=fYCe (U ) }(Uj< (U) ) }npY^gpU@Y[^¦ <lZ=fYCek@Y;<j@Yxl<eo j@8gpU<Y (U ) kf o¨gp. U©} j YCt4¨lfgio¨t4jtfl@nio¨j@6t4j@¨co¨jgpU<Y x õfo niYCgio¨t4jko¨gpU*YC¨tfoghc f . TVU<YyniYCept lfgio¨t4j l<epo j@8gpU@ore+ep~@¨o¨ggio¨j<6gpYCU<j@o qLl@Y ore+egi}v<¨Y l@j<@YnVgpU<Y'{ @ &tj<@ogio¨t4jD¬ f (x , x )∆t f (x , x )∆t 9 ": max(| |, | |) ≤ 1, ∀(j, k) ∈ ZZ . n,L j,k+ 21 k. n,L j+ 21 ,k j n Z j,k j∈Z n,R j,k− 21 k. 1. 1 j. n,R j− 21 ,k j. 1. 1. . n+1,1 k∈Z Z j,k. 2. 2 k ∆x1. 8. 2. 2. 1 j. 2 k ∆x2. 2. ð ã ÕDð æ.
(55) .
(56)
(57)
(58) !"$#!%&!'
(59) (*)'! %+!
(60) (,-%+!./(0/&. . . /21435"6-#78*,$. ¤\YniY¬fY }vniY egpo Do¨j*fo X6Yj<epo¨t4j ª @ o¨nehg¬@Y tj<eporfYnVgiU@Y eo X6~@¨YUS}vj@4Yyt¡
(61) "}vnior}v@ Y¬ TVU<Yj gpU@Y ¡£l@jSgpo tj vˆ ei}"gio eA;<YCe. vˆ(t, x) = v(T − t, x), ∀t ∈ [0, T ], ∀x ∈ R I.. (. 9 :. vˆt (t, x) − min f (x, a).ˆ vx (t, x) = 0, ∀(t, x) ∈ [0, T ] × K, a∈A. VT U<Y^}v~<~@¨or}vgpo tjt¡[\¦ gitgpU<Y^¤\¥L¦ YCqLl<}vgpo tj 9 Á:tjSeorehge¬4tj}npYCl@r}vnP4npor G tv¡ K ¬do¨jgpU@Y ¡£t4¨ t"ko j@8egpYC~<e 9 [\¦ õ¤^¥4¦ :7 aLgpYC~ 7 YtX6~@l@gpYygpU@Y@o einiYgiYyo j@o¨gpor}vtj<@ogio¨t4j vˆ(0, x) = ϕ(x), ∀x ∈ K. . Vj0. . 1 = ∆x. Z. ϕ(x)dx, ∀j ∈ J := {j ∈ ZZ, Mj ∈ G}.. aLgpYC~«Z7 Yfo einiYgio0?CYygpU@YepYgktv¡Qt4jLgpnitre A o j4git N t4j4ginpt4 eC¬ a , a , ..., a . aLgpYC~ 1 7 @ t4n n ≥ 1, °dj@t"ko j@'gpU@Y}~@~@nit=do X}"gio¨t4j (V ) t¡ vˆ(t , .) Yt4X6~@lfgpY4¬f¡£tnkY}U i = 1...N , (U (a )) 4o¨4YjLcBgpU@Y[^¦ pe U@YCX6Y7 Mj. n+1 j. a. Y8gi}°Y. . a. 1. n j j∈J. n. 2. Na. 8. i. j∈J. f (xj , ai )∆t n,L n,R (Uj+ 1 (ai ) − Uj− 1 (ai )), 2 2 ∆x ∀j ∈ J.. Ujn+1 (ai ) = Ujn (ai ) −. U n (a ) = V n , i j j. TVU@o e fY/;<j@Ye\giU@Y6jdl@X6Ynio C}v(}v~@~@nit=fo . X }vgpo tjtv¡ vˆ }"g t . Z\tvgio Y^giU<}"gkgiU@Y'{ @ &t4j<fo¨gpo tjXl<eg+SYei}"gio eA;<YB¡£t4nkYC}U*t4jLgpnit2¬ Vjn+1 := min Ujn+1 (ai ), ∀j ∈ J. i=1..Na n+1. |. f (xj , ai )∆t | ≤ 1, ∀j ∈ J, ∀i = 1, .., Na . ∆x. t ¡(gp6ÏU@Pj Y6OÆ[\8 Rõ¦ ¬"l@Ϥ\j<@¥LY¦JnQeeit4U@X6YYX6eY l<ogigt"}v@} Yni<}4eVepepgpl@U@X6Y'~f"gi}vo¨ t4l@j<Ye¬Á¡£l@jSY~@gpo nitt"j«YQ¡£to jn^t4}j@jdYØc epo ~<j@}4o¨gporYØ}v(@o¨X6tjSYfjSoegio o¨tt4j j giϕU@YØkU@tjdo U YCnpo 4e YCj<Y ~<o¨YZ\YktvgpororepYyY'nigpYUS4}"l@gCr}v¬
(62) nV}"g\kgiogiU@U©YD;<tnX6ehg ~<eh}4giYg+~epl@tv~@¡Ø~>[^t¦ npgCϪ¤\¥L¦ epU<YX6Y¬®kU@YCj Y8tX6~@lfgiYgiU@Y6}ÁYn}v4Y "}v l@YCe gpU@Ytj@ ctX6~St4j@YjLge kU@t4epY"}v l@YCe'}vniYehginporgi¨c SYghØYCYj&©}vjS B}vniY6gpU@tLeYBtninpY (V ) , ~>tjSfo¨j<*gpt*gpU<YYC¨ret4jLgi}vo j@o j@gpU@YB¡£npt4j4g Γ 9 YnpY}¨(giU<}"g Γ o e gpU@YBo jLgpYCn¡¯}4YBepY~<}ni}vgpo j@ 2"}¨l@Yetv¡ vˆ(t = 0, .) }vj<o¨gie õ"}v l@YCe :ª 6Ïj*fo X8YCj<epo¨t4j ¬dY^~<npt"4Y\o j Oó" R:gpU<}vgC¬d¡£t4nYCYCnpc ¬LgiU@Y^o jLgpYCn¡¯}4Y oreV tdC}v 0o ?CYCt4jj@t X6dct4npgiYU@YgpUS[\}v¦jÏt¤\j<¥LY+¦ Yei 2U@dª Y6ÏX6jBYf¬fo X6<lfYj<g+epØo tYjB@ft¬4j Ø gkY+U<ep}ÁU<}vY @c4YYg+nio}v¡£cjdncBjdl@≥~@X6niYC0YCnpo orepYy}gp¨ U@cYCtgiU<niY}"gpg orΓ}:ΓnporYePel@egp¨gVo ¨<gptBØYC¨ S}¨o¨tfX*ª}¨o ?Y 1. 0 j j∈J. 0. 0. tn. tn. Õ
(63) Õ Ç
(64) e<ÔÓÓÙ.
(65) (U " /% [T! ! I VHK )'
(66) S K K
(67) Q.
(68)
(69) Y\Y/=f~@ }o¨jo¨jgiU@oreepYCgpo tj6giU@Yy@Ygi}o¨reØtv¡®gpU<Y\X6YgiU@tfgpUS}"gØY\~<npt4~StLeY4ª @ t4nei}v°4Y+tv¡epo X8~<¨oro¨ghc¬ Y g}v°Y dcB~<npYeYCj4ngio¨=j<'2gi}vU@jSY o¨j@KY}v=nk[XqLl<}fgp,niXYYCegiYC]×U@j<[Xo qLl@Yygp,USX}"g+Yy] ª\lS¦eY Y¡£¡£tt4nin+YehgiftdY}v°d o¨o j<j@6k@}"ogigU}@ª fYgi}vo re¬SØY8ehg}vnpg . 1 min. . . 1 max. 2 min. 2 max. 7$ / " 1435"5- / /2&. eYVfYC}4ko¨gpU8}@}~fgi}vgpo Y4npor@eC¬ÁØYبtdt°y¡£t4n}+gpYCU<j@o qLl@YØgpUS}"g¡¯}4o ¨o¨gi}vgpYeegptf°do j@\}vjS ;<j<@o¨j@ <lS e}"Ygie}yginiU@YYyr}"j@gio¨tv4giYØo¨t4gijt YCtv}4¡ (UU6 Y
(70) %@tv¡>gpU<Yk %+nio ª*®6õª(¡TVU@Y^ore(niYgp~@YniYCU@epj@YorjLqLgl@tYkl@o nJeP;<Y=fj<~@}r:}v}4o j@@YC}v8~@gpdYCc&6ª ni o }npdLcB}vjL} gpgpo j@niYodY4o j¬fYCO¨}4"QURS}vjSYC¨ orore(ey}\gpU< YCY}vnp¡ td9 tv;<g j<}vtd¡Øj@gitfU@fY6YVgptniY¡@Y4gpªBU@YTVgiU@npYCY6Y"X8:
(71) }vYj<gpU@tfgp U@Y¡£t4o j@nogieho gi}td@qL°dl<o j@}*fn@}v}"jLgg } 9 }vlS edo j@gpU<«YqLfl<t4}Xfgp}vnio jYYCKeyor>e Y<¡£t4}4npeYVY }<t4}vj ~fg}"tdgp@o to¨j@j : Y}U* YC}"¡Pt¡(gpU@YgpniYYko¨gpU«}BqLl<}vgpYCnpj<}npc¡£l@j<gpo tjDª+TVU@oreytffYniY~@niYCepYjLg}"gpo tjore\o X6~@¨oro¨gp cgpU@Y ~S}"gpYU nicI¡£nittdX @YgiU@orY enitLt4tX6gØ~SgitLt6egpYU@IYt¡ytj<@¬yYnij@¬kYCf¬ ¨1 Yª}"¡hª U@YCj @o¨dorfo¨j<¢} Y ko¨jLgit¡£t4l@nBepl@>Y eC¬ØgpU@Y«Z qLl<}4fn}vjLg^ore o¨jSfY =fYCdc @¬DgpU@YZ dc¢4¬®gpU@YBa dc}vj< gpU@YBa dc 1 ª6TVU@YtffY6t¡ØYC}49 U epl@:YC¨DoregpU<YtjS1 }"giYj<}vgpo tjtv¡
(72) gpU@Ytd@Y tv¡giU@Y X61 tvgiU@Yn+Y DkogiUgpU@Y o j<f/Y = tv¡
(73) gpU@Yepl@:YC¨ }e epU@t"kjo¨Pj ;<4l@npY ª¨ :ªQ¤+YCnpYY e+@¬<f4¬@8}vj<* }npY epo egpYCnieV}vjS*'oregpU@Y X6tgpU@YCn+Y 2ª v f 1 1 1 @ o l@niY6 7P|k/Y ;<j@YCX8YCjLg+tv¡}6Y DdcqLl<}dginpYCYCe Z\tvgporYPgpU<}vgkU@Yjtffo¨j<kgpU@Ynio l<epo j@+}VgpniYY4¬}¨4o¨jLgiYniX8Yfor}"gpYPY eU<}ÁYgit+SYØX6YX6tni0o ?CYC®¬ ¡£t4n+Y =@}X8~<¨YYX6YX6t4npo ?YY eyf¬®v@¬>f¬:@¬> 1 ªk¤+t"1 YYCnC¬<o¨j«} o j@YC}n\qLl<}dginpYCY¬SØYUS}ÁY gpt egptf°'tj@ c ;<jS}v<Y etv¡>gpU@Y^nio ®¬o/ª YªQYC¨re@¬L@¬44f¬d ª(TVU@YCjD¬vgit ;<j<8giU@Y+o j4giYniX6YCfor}"giY+Y re¬ YUS}ÁYDuhlSehggpt\gpnil@j<}vgpYØgpU@YVtffYeª @ l@npgpU<YniX8t4npYgpU@Yl<epYt¡<¨o j@Y}vn(q4lS}dginpYCYCe}¨ t"+egpt\X}j<}v4Y Y Bo YjLgp c©gpU<Y6}4@}v~@gpYC nio DI Y Po j4git«o¨gieqLl<}vgpYCnpj<}npc«tffª Y6Ï}vjjS¡¯};SgCj<¬®fgio U<j@}v j@}°f"eyugi}tYC¡¯j<}4eho gYCe}v tv¡kt4np}©o¨gpU<YX6 ØeC}¬®nptY~>Ynil@n}"j gio¨o t4j&j<e^¨t4¨4o °}vY6nio¨gpYU@jSX6tforfo gij@o¨X6}Y O 8 Q
(74) R2ª . ). .
(75) *78-. * -5/. / -5*. z^l<nt4j4ginpo @lfgio¨t4jtjSeorehgeQo j ;<j<fo j@} epl@o¨gi}v<¨Y\npo¨gpYCnpo tj'gpt'}@}~fgQgpU@Y^tX6~@l@gi}"gio¨t4j<}vSftX}vo jDª TVU<o eknpo¨gpYCnpo tjBX'l<eg+SY t4X6~<}"gio¨@ YykogiU giU@Yy¡¯}ggiU<}"gkY fYC}®kogiU X6YC}j "}¨l@YetjYC}UYC¨ }j<gpU<}vg+tl@nk"}v l@Yy¡£l@j<gpo tj*ore+foreptjLgpo jdl@tl<eCª ð ã ÕDð æ.
(76)
(77)
(78)
(79) !"$#!%&!'
(80) (*)'! %+!
(81) (,-%+!./(0/& b. S Y} ;=fYC o jLgpYCYngpU<}vg8t4npniYCep~>tj<@eygit«giU@YBX}
(82) =fo X6} Y4Yt¡knpY/;<j@YX6YCj4gª Y epYg ∆X = |X − X | }j< ∆X = |X − X | . TVU@Yj (∆X , ∆X ) ore gpU@Y X6o j@o X6}DYC¨epo ?YªQTV2U@Y X}=do X}v® Y4Y L orekU@t4epY2j*elSUgiU<}"gkgiU@Yy¡£t ¨t"ko j@{ @ tj<@ogio¨t4j U<tr@/e 7 91 : f (x , a )∆t f (x , a )∆t max(| |, | |) ≤ 1, ∀j ∈ J, ∀i = 1, .., N . ∆X ∆X 6Ïj }v giU@Y6eYq4l<Y2¬S¡£t4n^YCYCnpc n ≥ 0 ¬:Y8fYCj@tvgiYdc G giU@Y8}4@}v~@gi}"gio¨4Ynior«}"gygpo X6Y t = n∆t ª Y}vrept'l<epY gpU<Y j@tvg}"gpo tj G ¬ l = 1, · · · , L ¬f¡£t4nVgpU@Y niY4l@ }nVnio kogiU*X8YeU*egpY~S/e 7 Yg. Lmax. 1 1 max min Lmax. 1 min. 2 2 max min Lmax. 2 min. 1 min. 2 min. max. 1. j. 2. i 1 min. j. i 2 min. a. n. ∆l X 1 =. n. max. l. 1 1 |Xmax − Xmin | , l 2. ∆l X 2 =. 2 2 |Xmax − Xmin | . l 2. Y U<}vYjSf4¨o¨Y 4YyniYj<;<t"j<JYX6giU@YYjLg+}eh¨4giYt~<nioe+giU@o¨jX ttnf¡
(83) YginU@YgitX6¨tfYgiU@}tf¨o *?Y^kgpU@U<orYU©fo SeiYCt4jLo j<gpo e+jLdl<c oghc4}ª j©o¨g+j<oYCgio }YC¨npo c?C}vnigpYo t;<j©j<YehX6giYY~DjLª gk@ ¨YCo nieYCgC/¬¬ ni} 9 Y ;SYCj@¨YX6kYU@jLorgU«egpo Yey~Sepel@¬
(84) npgpniU@tYl<j<4fnpYCor*Ødc©Y6tYC@¨gire^}vo j@j tvXgyU<}Ác }Ádo¨t4j@j4B9 ggp}vU@o j Y6epepor}ehX6giYYnX6YYC } e j«U<"}Á}vd o l@j@Yore\gpU@niYBY;Seij@}vYCX6®Y6ª X6YC¡ gi}Yj ny"gpU@}Y¨l@eYY 8tn " :}egiU@Yo nko X8X6Yfo }vgpY j@YCo¨4UL>tnio j@8Y e }8j@Yo Ud>tnio¨j@8YC¨Dorek}8Y epU<}vnio j@'}j YfY tn } tjLYCgin}gio¨Yj=«}kjLc6o¨gpUforepgpU@tYjLgpo tjdj<l@o¨Yghc'nij@}vYCjS6U<Y }Á2¬®YVoggitU<}4SeyY^j@tvt4g }nij@epYYCj<YCYCeicep7}npgpo U@ c orePgiorU@eQYgiU@epY^}X6t4Y6}vnepepo Y?j@"Y :o j@ª' TVehU@giYY~<eY6eCª YC¨o rj<e }f¨ tc¬Lj@ØtvYg 4YgkgiU@Ynior G kU@YCnpY}Y Dtv¡(X6o¨j<o¨X}veo ?Y YCogiU@Yn^tjLg}vo j<ek}foreptjLgpo jdl@oghc tnkore+@ }6j@YCo¨4UL>tn t¡}6YC¨
(85) tjLg}vo j@o¨j<6}6foreitjLgio¨jdl@o¨ghcBtnVore+}6eoregpYnkt¡epl<U*}Y 2ª D ² ² ¶ C
(86)
(87) ¶ ¶
(88) ² /· G ª aLgpYC~ ª 7(T
(89) }°Y G = K 9 t4j@YyY :¬<}vjS f/Y ;<j@Y G }4eØgpU@Y ft4X6}o¨j K ep~@ ogpgpYCo jLgpt'¡£tl@n YC¨reªafYg l = 1 ª aLgpYC~ ªÆZ 7 @ tn 1 ≤ l ≤ L − 1 ª @ tn}v PYC¨re M ∈ G \ G , tX6~<}npY'gpU<Y8"}¨l@Y ttjfgM}vo j©k}'o¨j<gpUY og4eVnpj@orYo fUdYj@>ttgpniYo¨j< '"}v l@Yeª 6õ¡giU@Y "}v l@YCeV}vniY f\o a:YniYjLg¬dgpU@YCj niY ;<j<Y Y M ª Y ªadYg }vj<t8gitadgpY~ 4ª @ª z\gpU@YCnpkorepY¬@epYg l = L }vj<G t8gptBaLgiY~ l =ª 1 lª + 1 ª aLgpYC~ ª 1 7PadYg Ge =G aLgpYC~I4ª ^ 7 @ tn l = L , · · · , 2 ¬S¡£tn\YCYCnpc*YC¨ M ∈ Ge ∩ G ¬So¨¡PgpU<Y'epo egpYCnie\tv¡ M U<}Á4Y gpU@Y'ep}X8Y X6YC}j "}¨l@Y 9 6tn :Ø}j<o¡gpU<Y j@Yo Ud>tnio¨j@Y eVt¡
(90) giU@Y ¡£tl@n^eorehgiYneU<}ÁY }vrept gpadU@YY+g ei}vX6YV"}v l@¬fY}¬j<gpU@YCjt8gpt4tB}aLniepgiYYj~ Mª ^ ª ko¨gpz\U6gio¨U@giYePniepkorehorgieY4Yn¬@eeª Yg Ykt4fgi¬@}}o¨j6j< }yj@t8Y gptBaLnio gi8Y~ fYCj@ªÆ ftvgiª YC Ge ª l =l−1 l=1 a LgpYC~ ªÆZ 7PadYg G := Ge }vjS f/Y ;<j@Y V tj G ª tnØY =@}vX6~@ Y¬4gpU@Yyt4j<ehginplSgpo tjt¡®gpU@Yy}@}~fgpYnior ¡£t ¨t"+ePgpU@Y^np/Y ;<j@YCX8YCjLgegpY~Se/Y =d~<¨oro¨gpY o @ j ;<l<npY 1 ªÆ¡£tn L = 3. TVU@Y"}v l@Y6¡£l@j<gpo tj&U@YCGnpY8g}v°Ye "}v l@Y*SYC¨t"gpU@Y@o eit4j4gio¨jdl@o¨ghc or}e+j<o j Á]0,}¨l<1[.YB {Ø>Y Y c4eyt@j<¬Dª ¬ 1 g }npgpY U@YBniY ep;<YCj<YCt*j<gitL¨tYCSYCYQtv}v¡ØlSnieY Y ;Sgij@U@YYX6o nyYjLÁ}g¬
(91) ¨l<Y'YC¨Bf0o a:ore YnniekY ;<¡£nij<tYCX }gpe U@Y'o¨gi"e }vX6 l@YCY}tvj¡Q"gi}U@¨Yl@o Yn . . 0. 0. 0,0. 0,1. max. 0,l. j. 0,l−1. j. j. 0,l+1. max. 0,Lmax. 0,Lmax. max. j. 0,1. 0. 0. 0. max. Õ
(92) Õ Ç
(93) e<ÔÓÓÙ. l. j. 0,l−1. j. 0. 0,l.
(94) . (U " /% [T! ! I VHK )'
(95) S K K
(96) . j<Yo UdSt4nPYC¨:fª(Z+tvgio YVgpU<}vgC¬d}"gP Y4Y 1 ¬ G o eØel<U8giU<}"gØ}¨SY rePt4j4g}vo j@o j@ gpU@Y^fo eit4jLgpo jLl<oghc }npYytv¡(X6o¨j<o¨X}v
(97) eo ?Y }eVY D}egiU@Yo n+j@YCo¨4UdSt4npo j@6Y reª t4¡ }gpYCniepnYnpj/Y ;<el@j@:YCX8YCYC¨rjLeVgCtv¬D¡PfY4¬ }v1 ni@ni¬ c©1 t8lf}vgj<}*gpU@tL}vYCj©neYCej@l@o¨:j<YC¨erekgpYCt~D¡ª @@ ¬t }t"j<k o¨j@1 ª gpU<Y6gpYCegtv¡ØgpU@YB}¨4tniogiU@X*¬®ØY 0,3. . . @ C 4 1 1. . 1. 1. ```. 11. ``` ```. . . f 1. ```. ```. ```. o¨4l@niGY 7Ø{Øtj<egpnil<gpo tjt¡ G ,GgpU@Y@o eit4j4gio¨jdl@o¨ghcBorek~@ tvgpgpGYC ko¨gpU«ftgieCª Z\t" ¬®¡£tn n ≥ 0 ¬DØY6U<}Á4YgiU@YB}<}v~fgiYCnio G 9 }"g gpo X6Y t :y}vj< gpU@Yjdl@X6YCnpor}Pet4¨lfgio¨t4j tj ª'TVU@Y6foreptjLgpo jdl@o¨ghc«}"g o¨Ye o¨j gpU@Y6niYo tj tv¡ kU@YniYgiU@YYC¨re }vniYtv¡X6o¨j@o X}v V enipYo ?4Yo¨t4ª jI¦}"GYg }vlSeYtv9 ¡ygpU@Y{ @ tj<fo¨gpto tj 9 1 :¬ØY*°Lj<t" gpUS}"GggpU<Y«fo eit4jLgpo jLl<oghc¢oreBegpo ¨\o¨j gpU<o e }e}¨niYC}4fc Y =f~@r}vo j@YCIgpU@Y©foreitjLgio¨jdl@o¨ghc¢ftdYCe8j@tg6YCt4¨4Y t¡\X6tniYgiU<}vj tj@Y Y
(98) t¡Øep0o ?CY t (∆X , ∆X ) @l@npo j@}Bgio¨X6Y6ehgiY~ :ª Yt4j< l<fYgpU<}vg V = V 9 Btn8" : k@tU<j@YYBj@YCtYnin npYMe~>tj<∈ Ggpt«orgpe^U@j<Ytvg Y tv ¡eX6tv¡ko j@X6o X6o¨j@}o QXe}vo ?Y4e¬Do ?}vY j<«gpU@Y6tj<¨c«tX6~@lfª©g}"TVgpU@o tYjSeYBe^kC}vU<ro l@Ur}"npgiYCo¨t4X6j<}e o¨j«kgpo ¨t*ØSSYY , ∆X ) @tj@Y e'ko¨gpYUj@gpU@YYY¢[^j@¦ YCõo¨¤^4UL¥4>¦ tnieio j@U@«YCX8"}vY4 ª l@YCe'gitft } (∆X l@ }vgpo tj<etj } 4o¨4YjIY tv¡ ¬Pt4j@Y X}Ác tjSfYnØkU<}"gVo egpt8>Yyft4j@Y+¡£t4nY et¡DX81 o j@o X}v®eo ?Y^kogiUj@YCo¨4UdSt4nieØj@tvgtvM¡DgiU@Y ep}GX8Yyeo ?Y4ª @ tn /Y =@}vX6~@ YkkU<}"gQgitft ¡£tnØY >@ko¨D tj<¨lSfY gpU<}vg+gp9U<Y ¡£l@j<gpo tj v g}vj °4YC;<ek4YCl@niYY nicdkª U@ª Y6Ïnij6Y ¡¯}9gt4}4neP"} :Vt4tLj}vngpeU@Ykore\Y Y< /orªVeQj@¤+tvYCgØj<tvY4¡:¬<X8gio U@j@Yo XX6}vYCS}epjo ?"Y}¬4¨Øl@YY t4jgpU<YyY SoreV t4n^ :P}j<BftdYCepj gV@Y~>Yj<tjgiU@YyY ®eo ?KY 7
(99) Y\l<epY+giU@YyX8Y}vj Á}¨l<Y\tjBgpU@Y YC¨ }j<ft}vrl< }vgpo tj<ek}4eVo¡(og+V}et¡X6o j@o¨X}eo ?Y4ª D ² ´ ¶ f
(100) ¶ · ¶ C v
(101) ¶ ¶ G aLgpYC~fª 7Dx^t+}vj o¨gpYn}"gio¨t4j tv¡f[\¦ õ¤^¥4¦epU<YX6YQtjygpU<YPY re®tv¡fX6o¨j<o¨X}v4eo ?Y (∆X , ∆X ) tv¡ G . Y t4fgi}o¨j V tj G . ¬<}j< V := V tj G ª aLgpYC~«fª 7Qx\/Y ;<j@Y G := G tX6~<}npY6giU@YB"}v l@Y aLgpYC~fªÆZ 7 @ tn 1 ≤ l ≤ L − 1 ¬¡£t4n}v YC¨re M ∈ G ∩G, 4 t j k ¨ o p g U ¨ o i g ^ e @ j C Y ¨ o 4 L U > t i n o @ j B " v } @ l C Y C e ª T õ 6 ¡ p g @ U 8 Y " v } @ l C Y ^ e v } i n ' Y f o 0 > a C Y p n YCjLgC¬>gpU@YCj«niY ;<j@Y8YC¨ V M }"gginpo @lfgiY gptgpU@Y'@}vl@gpU@YCn^Y e\tv¡ gpU<Y'ei}vX6Y"}v l@Y V ª\TVU@ore\f/Y ;<j@YCey}j@YC M , nio G ªadYg l = l + 1 ¬@}j< t8gptBMaLgiY1 ~ fªÆfª z\gpU@YCnpkorepY¬@epYg l = L }vj< t8gptegpYC~©@ª ª ÕDÀh½p¹×Æ×Ì2ÖÁ¹iÌ
(102) â¨ÄËDÀhÊÀhË£ò È
(103) Å Ì/Ö ÈCÌ2ÖÀ Ý Àp¹Ç+ʹ×Æ¿À ÅÆÂDÀ¾¿"¹×dÌ/Ä ÄË » `. `. 0,3. 0,1. @. `. 0. 0. n. n. n. n. n. n. n+1. j. 1 min n. n+1 j. 2 min. 1 min. 2 min. . j. . . n. n. n+1 . n+1. n. n+1,0. n. 1 min. n+1,0. max. n+1,l j. . n j. n+1. j. 2 min. n. n+1,l.
(104). l. j. j. j. n+1,l j. n+1,l+1. max. . Mj ∈ G n+1,l ∩ Gl . l < Lmax. Vjn+1,l. 0. 1. ð ã ÕDð æ.
(105) 4.
(106)
(107)
(108) !"$#!%&!'
(109) (*)'! %+!
(110) (,-%+!./(0/&. }j< Ve aLgpYC~«fª 1 7PadYg Ge . := G := V a Lgp^ YC~fª ^ 7 @ tn l = L , · · · , 2 ¬>ftB}BtneYCj@o¨j<6egpYC~*¡£t ¨t"ko j@8gpU<Y'ei}vX6Y o @YC}}e+o¨j aLgiY~ ª ª 6õ¡gpU@YCnpY oreVj@ttL}vneYCj@o¨j<git6@t<¬fgiU@Yj©epYg l = 1 ¬S}vj< t8gptBaLgiY~«fªÆ fª ªØTVU@o e\tniniYCep~St4j<@eØgpt6giU@Y}v~@~<npt=fo aLgpYC~ fªÆZ 7adYg G := Ge , }vjS V := Ve X}"gpo tj*t4j G t¡
(111) giU@Yept lfgpo tj vˆ tv¡ 9 K :}"g t = t ª ¦c tj<egpnil<gpo tjD¬dYyUS}ÁYygpU@Y ¡£t4¨ t"ko j@'YqLl@o¨"}¨YCj<Y niYCepl@"g 7 . ,& VHK/% K% )!
(112) -
(113) !
(114)
(115) -%+!K
(116) !
(117) ²d¶ ² !A#
(118) H L [ W X
(119) [ /)'!
(120)
(121)
(122) H% DH
(123) I /
(124) I Z% )(M/!
(125) ( Z !
(126) . n+1,Lmax. n+1,Lmax. n+1,Lmax. n+1,Lmax. max. n+1. n+1,1. n+1. n+1,1. n+1. n+1. S
(127) %+/!
(128) ( Z !
(129) ,H . . 6Ïj. . . max. . [$W S X[ )/D!< %+VH Z(0%$H% . *4 V#(%Ø$¢ 4 $
(130) . GLmax. . giU@Y4ni}~@U@ore giU@nitl@4U }¨gpU@oreepYCgpo tjD¬(YBl<epYgpU<Y@r}° t tn¡£tnY ekogiU¢X6YC}vj&"}¨l@Y egpniorgp c*SYghØYCYj }j<&¬®kU<ogiY¡£t4nyY eyko¨gpU "}¨l@Y6}vj<© o ULgy4ni}Ác ¡£tn Y e^kogiU"}¨l@Y ª Y}vrept'l<epY gpU<Y j@tvg}"gpo tj B(c , r) ¡£tnVgpU<Y <}v DYCj4giYniYC o¨j c }vj< kogiU*ni}4fo¨lSe r. Y ;Snieg^egi }vnp² g+k o¨gpU }~@ni~<tnp~St4}v~<4}v}vLgp}"o j@gpo 'j@8¡£npt4¡£nij4tgkjL~@gie\nit~@<np¨t4YC@X YX*ª+TVU@Yo j@o¨gpor}v(tjSfogio¨t4j©o e\U@YniY ghtBet4l@nYCe ¡£nitX§kU@orUBF} ;<niY\ep~@npY}@eCª DYg ϕ SY\}¡£l@j<gpo tjgiU<}"gX6tffYC¨o ?YeQgpU<Y\@l@nijLgØniY4o¨t4j6}vg t = 0, }vj< @Y ;<j@Y*}Fe 7 o¡ x ∈ B(c , 0.1) ∪ B(c , 0.1), 0 tvgpU<Yniko epY , ϕ(x) = 1 k}4epo¨epgptfU cor}"gi=YØgi(0.4, ª v X6YY 2.5] × [−1.5, 1.5] t gpU<o 0.4) e~@npt4}v@j< Y X c gpU@=Yk(0.6, ¡£l<j<gi0.6). o¨t4j vˆ DkYg U@KorU6@giY}j@°tYCgpe(YV"gp}U<¨Y+l@fY^t Xo¨j}vo (t,j [−0.5, ¨ o ® ¡ p g @ U Y >} ¡£nitjLgkU<}4ek}v npY}fcniYC}4U@YC x }"g t, }vjS tgpU@YCnpkoreY4ª 6Ïj ¡¯}4g¬ vˆ ep}vgporYe x);<Ye∈gpU@[0,Y To]¨°4×tj<K}®YCqLl<}"gio¨t4jD¬ 9^ : vˆ (t, x) + ||∇ˆ v (t, x)|| + (−x , x ) .∇ˆ v (t, x) = 0, ∀t ∈ [0, T ], ∀x = (x , x ) ∈ K, vˆ(0, x) = ϕ(x), ∀x ∈ K. TVU<Y'foreptjLgpo jdl@o¨ghc t¡ npvYCˆ~@}vnpg\YegpYCo jLX6gieØY gptU@orY e+<giU@l@Y8npjL~Sg$tL?Ceto¨gpj@o Y tj«}"gVtgi¡Qo¨gpX6U@Y Y S}vX6Y¡£npt4j4gy}"g\gio¨X6Y t ª^¤\Yj<YgiU@Y'epYg {x ∈ K, vˆ(t, x) = 0} giU@tl<U&giU@o e'~@nit@ YX tX6YCe¡£npt4X ¡£9 nit^ jLg~<npt4~<}vL}"gpo tjt.¬
(131) o¨g'g}v°4YCe~< }4YBo j¢giU@YB¡£t4npX}v oreXØY egplSfc*ª 6Ïj<@YYCD¬fgpU@Y o¨°4tj<}>YqLl<}"gio¨t4j :VC}vjSY knio¨ggpYCj©}eV}vj©¤\¥L¦ Yq4lS}"gpo tj 7 0. . 0. 1. 1. 2. 2. 2. t. 1. t. 1. . . vˆt (t, x) − mina∈A f (x, a).∇ˆ v (t, x) = 0, ∀t ∈ [0, T ], ∀x ∈ K, vˆ(0, x) = ϕ(x), ∀x ∈ K,. kU<YniY^giU@YepYgktv¡Qt4j4ginpt4 eore A = [0, 2π], }j< gpU@Yfcdj<}X6o CeVo eV4o¨4YjLc-7. f (x, a) = (x2 − cos(a), −x1 − sin(a))t , ∀x ∈ R I 2 , ∀a ∈ A.. Õ
(132) Õ Ç
(133) e<ÔÓÓÙ. 2.
(134) Á. (U " /% [T! ! I VHK )'
(135) S K K
(136) . 6ÏjgpU@Y8jdl@X6Ynio C}vgpYehge¬®Y6fo einiYgio0?CY o¨jLgpt tjLginpt4 eC¬>}j<«Y6U@tdt4epY }4ekX}
(137) =fo X6} Y4YDt¡(niY;Sj@YX6YjLgª Ydorel<}A¨o ?YgpU@YNtX6=~@8lfgiYC©ept lfgpo tj«}j<gpU<YYninpt4LnkkU@or=U©o 6e Y/@=@Y };<j@g+Yeptt lfj*gpo YCt}4j Uvˆ tYj* MYC¨ ¬fM¡£tn }vjgV∈gpo X8J ¬<Y Ltc .ε = |V − Ve | ªØ¤+YniY Ve o ekgpU@Y}Á4Yn}vY^"}v l@Y tv¡gpU@Y a. j. n. j. n j. n j. +. 1.500. max. n j. 1.071. 0.643. 0.643. 0.214. 0.214. -0.214. -0.214. -0.643. -0.643. -1.071. -1.071. @. -0.071. 9 }K:VtX6~@lfgiYCet4¨lfgio¨t4j 0.357. 0.786. 1.214. 1.643. 2.071. +. 1.500. 1.071. + -1.500 -0.500. n j. + -1.500 -0.500. 2.500. -0.071. 9 :VYninpt4n. 0.357. 0.786. 1.214. (εnj )j∈J. o¨4l@niY 1 7Ø{ØtX6~@lfgiYCet4¨l@gpo tj*}vj<YninitnV}"g\T @ª 4¬ YC¨re ^^ ¬ L +. 1.500. 1.071. 0.643. 0.643. 0.214. 0.214. -0.214. -0.214. -0.643. -0.643. -1.071. max. =6. 2.071. 2.500. ª. +. 1.500. 1.071. 1.643. -1.071. +. + -1.500 -0.500. 9 },:VtX6~@l@gpYCept lfgpo tj 9 :Yninpt4n (εn ) j j∈J o@ ¨4l@niY ^ Ø7 {ØtX6~@lfgiYCet4¨l@gpo tj*}vj<YninitnV}"g\T @ª QLf¬ YC¨re Q<Áf¬ Lmax = 6 ª Yforep9 ~@ }Ác ^ n}v~<U@o Ce}vg T = 0.11 9 <; l<npY 1 : kU@YCj gpU<Y«ght&¡£npt4jLgieBX6YCYgC¬^}vj< giU@YjJ}"g S; l@niY P: kU<YjØYyYgt4j@¨ct4j@Y^¡£npt4j4gVkU@orU oreV}v npY}fc8¡¯}nØ¡£nitX giU@Y et4l@nYCeØtv¡ ;<npY4ª T = 0.87 Z\tvgio Y gpU<}vg+gpU@YYninpt4norek tf}v o ? YCo j«}8gpU@o j©niYo tj*}vnitl<j<BgiU@YforeitjLgio¨jdl@o¨ghct¡<}j<fkordgpU©t¡ j<tX6t4npY6giU<}vj ghkorY8gpU@Y eo ? Y6tv¡k}*X6o¨j<o¨X}vØY 2ªTVU@ore o e gpU@YB}j4gio @o eieo ~<}vgpo Y6SYCU<}Ádo¨t4n tv¡gpU@Y eiU@YCX8Y4ªZ+tgporY6}vretgpU<}vg^giU@Y}v~@~@nitf= o¨X}vgpo tj«qLl<}v o¨ghc©o epj g foregptnpgpY«kU@YCj«giU@Yfo eit4jLgpo jLl<oghc -1.500 -0.500. -0.071. 0.357. 0.786. 1.214. 1.643. 2.071. 2.500. -0.071. 0.357. 0.786. 1.214. 1.643. 2.071. 2.500. YCt4¨4YCeo¨j gpo X6YªTVU<o eVore+}vj<tvgpU<Yn¡£YC}vgpl@niY tv¡gpU@Y}j4gio @o eieo ~<}vgpo YySYCU<}Ádo¨t4nCª. ð ã ÕDð æ.
(138) 1.
(139)
(140)
(141) !"$#!%&!'
(142) (*)'! %+!
(143) (,-%+!./(0/&. ynio YCnpnitn YC¨re 4}vo j }4@}v~fg L ` LQ@ª Q 11 ^ ^^ 8`<ªÆQ npYC ` Q@ª Q Kb` }4@}v~fg fª `L
(144) 11 ^1 ^ b<ª bL npYC fª `L
(145) 8` Q }4@}v~fg Q ^^ 11 1 Q b<ª¨ ^ npYC Q `4 4 ` }4@npYC}v ~fg bb 11 11 `48b@1 ^Kb ^ 1 @ ª¨"b4 }4@}v~fg C fª ^ `
(146) 1 1 ^ b ^ `K`@ª ^ npYC C C Q4 L
(147) ` T}v@ Y6 7 }vo jnpYC }vgpo Yygpt6YC}4U niY;Sj@YX6YjLgk YYCD}"g\T <ª¨4ª . max. 1. ,. g}"gio¨Tt4j&}v@L Y8c ^t4epl@X8X6~SX8}vniYCo epnpto ?jYePgpt giU@}Yyj&4}vYCo qLjl@o "Y^}v t4YjLfggi}npo¨YCjBo l@jBr}vginYniXnio e®tª ¡ jdl@YX>}Yj&nj@tvtv¡gio Y Y6 egpkU<}vU@gCYC¬QjB}Øe Y Y/=f}v~S~<Y~@¨cgpY}4®@¬(}vØ~ Y t4fgi}o¨j/Y =@}gi¨c'gpU<Y^ei}vX6Y+YninitnPt4jB}vj}4@}v~fg}"gio¨4Yknio }j<6tj}npYCl@r}vnPt4j@Yª(Z+tgporY\gpU<}vgØkU@YCj dc Yyo¨j<ªPTVnpYU<}o epeY+npgiY U@<YY CnpgiY/eØ;<tj@~fYX6gio¨X6YCj4o gV?C}" giYo¨t4YCj:Lo¨jBc©gp4U@¬LYygpXU@Y }v4j<}}o¨jYX6o eVYCX'j4gØl@tvgi¡o¨~<¨YCo ¨YCr eCª d cYyC}}vj<jB}gi U@eptY j@Ynitnpgpt4ornY^oreØ}vg X'l@¨gpo ~@¨o YC giU<}"gkU<Yj ØY ;= L = 10 ØY6U<}j<f YB}v X6t4eg ^ 4YC¨re t4j }j }4@}v~@gi}"gio¨4Y'4npor®¬T}4e =X0.11 l<U }4Y@ }v ek~@g\}4ekgpU<o¨¡Y'4Y nporf©o ©YC}vo rX8l@~<rnp}"t"gi4o¨t4Y j<gpeU@tY8j©~@ni}8YCnpYCo epo¨l@t4rj }vnV1 4ginpo¨orX6 Ye^tniknpo¨YgpeU<~>ttlfjSg feo¨j<~>YjSgift o¨j<L}jLc©=}46.@f¤+o¨gpo YCtj<j<}Y
(148) kX6U@YYCX6j*t4ØnpcY t4egCª @ tn^np/Y ;<j@YX6YCj4g^¨YCYre+<o¨4Yn\gpU<}j&C<¬So¨g^ore\j<tBX6tniY~StLepepo @¨YgptUS}vj<f Y'C}vrl@r}"gio¨t4j<ekt4j } niYl< }n\nior®ª¤+YCj<Y8Y8C}vj j<tvg U<}ÁY'SYggpYCn ~@niYCorepo¨t4j«tj }niY4l@ }n^4nporc 7kgiU@ore npY <YCgie^gpU@Y L}vo j t¡
(149) ~@niYCo epo tj*}U@o Y4YCBdcgiU@Y l<epY tv¡
(150) gpU@Y}4@}v~fg}"gio¨4Yy}¨4tniogiU@X*ª gi@ U@tYnV~<giU@npt4YX6n}vtX X6Y¡£t4jLn\g+U<}Y j<U<f}Á o¨j@Y t4}vj@j«¨c}<t4}vX8~fg~S}"}vgpno }vY @ X6Y Y{ØesØU@o [ j@Bgpo orX6e^YCj@ektvg\¡£t4t4nk~fSgpo tX6gpU©o0?CX6YC®Y¬>giU@ktfU@@o ¨eCY8¬fgp}vU@j©Yt4np~fYgp}o epX6to0j?CYCo *eVgiU<YC}"n g epo tjorel<epYCB¡£tngpU@YynpYCl@r}vnX8YeU tX6~@l@gi}"gio¨t4jDª 6ÏX6~@npt"4YX6YjLgt¡®gpU@Yy}@}~fgi}vgpo Y\tX6~@lfg}"gio¨t4j oreVo j~<npt4niYCeieª ² C}v~fgil@npY <}4eo j*~@nit@ YX 9 >YniX6Y t'~<npt4@¨YCX : Yg K := [−6, 2] × [−2, 2] }j< C := B(c , r) ko¨gpU c = (0, 0) }vj< r = 0.44. YBfY;Sj@YgpU<Y @cLjS}vX6o Ce f : RI × A → RI , 2 3. max. max. . . 2. . 2. 0. 0. a sin(θ)), kU<YniY^giU@Yt4j<egi}vjLg β = 0.1f (x,¬d}j<a, θ)A=@Y(1j@t−gpYCβxegiU@Y+epaYg cos(θ), ª z^l@n'}vo X`ore gpt«}~@~@nit =fo¨X}"giYgiU@YC}v~fgil@npYS}epo¨j tv[0,¡ C0.44] kU<o ×U [0,ore 2π[ gpU@Y el@SeYgtv¡ko¨j<ogio }ehg}"giYCe ¡£tnkU@orU/Y =doregieV}vj}4fX6o eiepo¨@ Y tjLginpt4 }vjSB} ;Sj@ogiY\gio¨X6Y x∈K enipYCl<}4U U@YCgiU<e }"g}vgigVU@YBgpo X8giniY}vuhYCgptnic y (.) Y4t Lo j@*ko¨gp(a,U&giθ)U@Y ∈fcdLj<}([0, X6o C+∞[; e f l<j<A)fYn (a, θ) ¨o Yeo j Kt }≥j<0 {}~fg C(C) := {x ∈t :K, ∃t ≥ 0, ∃(a, θ) ∈ L (IR ; A), y (τ ) ∈ K ∀τ ∈ [0, t], y (t) ∈ C}. 2 2. ∞. x,0. f. Õ
(151) Õ Ç
(152) e<ÔÓÓÙ. ∞. +. x,0. x,0.
(153) ^. (U " /% [T! ! I VHK )'
(154) S K K
(155) . Yt4j<epo fYCngpU@YC}v~fgil@npY <}4eo jtv¡ C SY¡£tniY^gio¨X6Y T 7 {}~fg (T, C) := {x ∈ K, ∃t ∈ [0, T ], ∃(a, θ) ∈ L ([0, T ]; A), y (.) ∈ K, y (t) ∈ C}. 6õgVore¨Y}vnØgpU<}vg T 7→ {}~fg (T, C) oreØo j<npY}epo¨j@¡£tnVo¨jS l<eo tjª(]«tniYt"YCnC¬ØY }j~@nit"Y O `
(156) R:giU<}"g {}~fg (T, C) = {}v~fg (C). Yg+l<e+epYg lim o¡ }j< 1 tgpU@YCnpkoreY4¬ ϕ(x) = 0 x ∈ C, }j<tjSeorfYnVgiU@YepYg õ"}v l@YC X}v~*fY ;Sj@YCdc o¨¡ x ∈ C, 0 o¨¡ Λ(x) = [0, 1] o¨¡ x ∈ ∂C, {1} x ∈ K \ C. Yg v >Y gpU@Y "}¨l@Yy¡£l@jSgpo tj*t¡
(157) giU@Y ¡£t ¨t"ko j@6t4j4ginpt4:~@npt4@ YX 7 ∞. f. x,0. x,0. f. T →+∞. f. f. ◦. T. min{ϕ(yx,s (T )),. ¡£tn+}<ª Y4ª. y˙ x,s (t) = λ(t)f (yx,s (t), a(t), θ(t)), yx,s (s) = x, (a(t), θ(t)) ∈ A & λ(t) ∈ Λ(yx,s (t)) t ∈ (0, T ),. Y8l<eY'gpU<Y8 }4epepo C}vU<}vj@4Yt¡PÁ}npor}v<¨YK7 vˆ(t, x) = v (T − t, x), ∀t ∈ [0, T ], ∀x ∈ K. TVU@Yj¬ ¡£t4¨ t"ko j@PO `
Documents relatifs
C'est aussi le résidant pas chez leurs parents fréquentent deux fois parativement à la province, les étudiants de Nanterre ne lement ce moindre attachement à la ville
In this paper, we study the performance of an enhanced channel estimation technique combining estimation using an autocorrelation based method and the Expectation-
Selon Laeven et Valencia (2012) , le coût budgétaire de la crise bancaire s’est respectivement élevé à 44 et 41 points de PIB en Islande et en Irlande, ce qui place ces deux
Dans ce travail, nous comparerons les entreprises coopératives, détenues par leurs membres, dont le produit risqué est la ressource critique apportée et dont l’objectif est
À cet effet, un nombre considérable de recherches démontre cliniquement que les enfants de parents souffrant de problème de santé mentale sont plus à risque d’un retard dans leur
usual route to school and provide us with some details about their travel routine (e.g., schedule, mode of transportation, people accompanying them, etc.); 3) recent interventions
La question de l’extension des limites de Paris jusqu’à cette ligne avait été discutée mais ne fut tranchée que par un décret impérial du 9 janvier 1859 qui décidait de