Error estimates for a stochastic impulse control problem
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Error estimates for a stochastic impulse control problem J. Frédéric BONNANS — Stefania MAROSO — Housnaa ZIDANI. N° 5606 Juin 2005. ISSN 0249-6399. ISRN INRIA/RR--5606--FR+ENG. Thème NUM. apport de recherche.
(3)
(4)
(5)
(6) "!# $%& '(#)*"#+ ,'-/.10325426087:9<;=?>>@">BA C AEDGFIHKJML7NJPOQ@BR=<A= C/SUTWVX LJWJZY\[]@B>[ ^`_baced(fhgjilknmporqtsuaced8q vpwbcex8y{z}|6wbd8q ~/yutdsjm6 +IbMIy{s bdyud8_dy_bdvMIIIkIwbzv?I6kb5d8q ∗. †. ‡. U'8 ¡b¢II£¥¤ d¦I§bsuzv¥dyuyuIy§MIwbvq¨©IyªceIvbIs{Ivd¦bbyuG«rz¬cs{zIvq{_bd8ced8qI¨ ®qtsup_¯IqKs{z} zcebwb°}qKdIv6suy{5° by{5§b°dc"±Q^`_bz}q¦z}q¦IvZd«ps{dv¯qKzIv²¨su_bd?s{_dIyuo)¨©5y¦dyuyuIyed8qKs{zcs{d3q¨©5ys{_bd ³jcez°´suIvrµ¶555§bz´µ¶·\d°°¬cIv¦d8|6ws{zIv± ¸Iy I§bsuzvbzvbes{_d8q{d§MIwvbq ¹\d§bwbz°"eq{d8|6wbdv¯d¨qtsur_IqKs{z}z¬cebwb°}q{d(Iv6suy{5°
(7) by{5§b°dcqº Iv²qKd3|5wdvd?¨c»5vbsuIvbd?IbbyuG«pzcsuz¬5v¼qu_bdced8q8±½1«psudvrzvb¥cedsu_brbqI¨·`yu°d8qv¯ 6¾5I§q{dvÀ¿ÁGÂNº¹\d(IzÃIdd8y{yuIy+d3qtsuz¬cs{d¨©5y+d85_?by{5§b°dcÄI¨s{_bd»qKd3|5wdvdI± ghq{z¬vs{_bd3qKd§¯5wbvbq ¹\dU5§rsuIz¬v)s{_bdy{d3qKwb°¬s8± ¤ d5§rsuIz¬v¥su_bdqucedd8qKs{zces{dIv¥su_bdysud¦¨IvpÃ5dyuIdv¯dIqªz¬vPs{_bd d3|6wsuz¬5v¹ z¬s{_b5wrs+zc»wb°q{zIvq¿ ÂNº
(8) ¿ Â:± Å?Æ6ÇWÈuÉÊ Ë'I£ ³jcez°´suIvrµ¶555§bz´µ¶·\d°°¬cIvBd3|6wsuz¬5vºMqKs{r_5qtsuz(z¬cebwb°}q{dª5v6s{yuI°:ºbÌvbz¬s{d»rz¬ÍMd8yKµ d8vd3qºrd8y{yuIy`d3qtsuz¬csud8q8±. û
(9) ü áKýßçÎGéKÏäÐåÑÓÐÒKÔ3ÑßéÒKçGÑÓÕÁÖtÖ á ×þÐØÑÓÙátÔGÙátÚÑßÕÁÖïÙ'Ï ×WÛIÜÞïçGÝçGÑßéÞçGàÓá¶ý¶âãÿ'ÛÕÁçGä8ÑÓÔGÕêÞé3ÖKÏ ¬ÑÞGNå5Ï æèçGÑÓÕêéuë©ìÞ8ÖtíîGátçGÖtÞïîGÑÓâKåbð'Þïñ+éÕÁç3á1ÔGáãò¯ÞïóÁîGÖtáKéî6å6×
(10) Ý®ôKõïö3åp÷ø3ôKöïù+ú6á û
(11) ü áKýßçÛéKâ:äá åéÐçGÑßÕêéé çGÖtá ÚþèÛìâ:Ø1á éÛGçGØ%Õêé3ÜWÏ Ý¯ÑÓéÞÑßàßÞïá¶âýßÞÿ'Ûä3ÕÁçGÔ3ÑÓÞ8ÕêÖté3ÞGÏ Ñå¶æèÏ ç3ÑßÕêéuë©ìÞÖKíîGátçGÖtÞïîGÑ©â{å%ð'Þïñ+éÕÁç3áÔGáòMü ÞïóÁîGÖtáKéî6å×
(12) Ý ôKõïö3å÷ø3ôKöïù¦ú6á Û rÚ%åGù Þï`îG×WýßçÞïéïîGé óÁá ïéæ©ðEÑÓÔÚ'òÙÕÁæNÖ¶Ü6âßÞïݯÑKÑÓåÞ÷àÓátöâ%÷ù Û ä3ÔGÝÞéÖtÑÓÞGÕÁý åbû æèçGátÑÓÔGÕêéuá ë©ìEôKÞö3ÖtåGí8Ðî3ÑßáKéç3çGÖKÖtÞïáhî3ÑÓþ â`tÕÁÔéçGéçGÔ Õ´ÿ'átçGçGÕ âßýÓÒ`âNé3ÔGÏ ¬Ñá NÏ éuâ Òtñ+éuâßÕÁí8îGátý1Ú GóÁÕÁíîGÒtáKýKå MÙë ∗. . . †. . . ‡ . . . . . . . . .
(13) . . 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. .
(14)
(15) ' & t`' !U(!!B& B'(*B#+B \(&ª E(# 8 B!B# E (&&B #) ( e!B.
(16) £ fhIwqãI§rsudvb5vqãrd3q/d3qtsuz¬csuz¬5vq/ dyuyudwbyq1MIwby\rd8q%q{_bx8cIq/ by{G«rzcs{zIveceµ vs{5vbd8q wbv"byuI§°¬a8c»drdIv6s{y I°dqKs{r_5qtsuz|6wbdzcebwb°}qKzIvbvd°:±%%d8zIvqKs{z¬s{wdwbvbdd«ps{d8vq{z¬5v bd°}»s{_xIyuzdbd8q`d8qKs{zcsuz¬5vq dyuy{d8wbyuq\MIwby ° x8|6wsuz¬5vBbd(³hcez°´suIvrµ¶6I5§bz¬µN·\d°°ceIv± ~IwyEI§bs{dvz¬y'd8qd8qKs{zces{zIvq8ºGIv5vqKs{yuwbz´swbvbdãq{wbz¬s{d%bd/byuI§b°aced8qErdã5v6s{y I°d/qtsup_¯IqKs{z}|5wd zcebwb°}qKzIvvbd°:ºEds(wbvbd¦q{wbz´sud¦IquqKrz¬x8debd¦q{_bx8cIq by{G«rzces{zIv±e½/vxs{dv¯bv6s(°}"c»xs{_brrd bd·`yu°¬d3q(ds»6¾I5§q{dv²¿ Â:º15v)rIvvbdUwbvdd3qtsuz¬csuz¬5v) dyuy{d8wbyMIwbye_5|5wd¦byuI§b°acedUrd° q{wbz¬s{d5±À jv¥wrs{z°zq{dI°¬5yuq(d8qd8qKs{zces{zIv)MIwyI§bs{dvz¬yª°¬dy{x3qKwb°¬sus8±<fhIwqªI§rsudvb5vq(°d8qc ced8q d3qtsuz¬cs{zIvq |6wbdMIwby ° d3|6wsuz¬5vBquvq`zcebwb°}qKzIv¯q± Ê 3 È ¢ À£ ½ã|6ws{zIv¥rdU³jcez¬°¬s{5vrµ¶55I§z´µ¶·\d°°¬cvEºIv6suy 5°¬dqKs{r_IqKs{z}|6wbdez¬cebw°q{z¬5vbvbd8°ßº bz´ÍWxyudvd8q\Ìvz¬d3qºbd3qtsuz¬cs{zIvq dyuyudwby3±.
(17) .
(18)
(19)
(20) "!$#&%' ( )* +%,!$.-(%/(. ª& E B!ã (& ^`_dBIz¬c$I¨ s{_bz}qeMdy»z}qsu5z¬Ã5dUd8y{yuIyª§¯5wbvbqª¨©Iyeby{G«rzcs{zIv)qu_bd8c»d3qI¨+s{_dBzcebwb°}qKd Iv6s{yuI°WbyuI§°¬d8cB±1i?5y{dbyud8zq{d°o¦¹\dIv¯qKz}rdy\su_bd¨©I°°¬¹ zvbed8|6ws{zIv max{ sup L (x, Du); u(x) − Mu(x)} = 0, x ∈ R , 2 4~ 3 ¹ _dyud 0. 1. αi. N. αi ∈A. Lαi (x, Du(x)) Lαi (x, t, p, X). Iv. = Lαi (x, u(x), Du(x), D2 u(x)), = −tr[aαi (x)X] − bαi (x)p + cαi (x)t − f αi (x).. 2 3. {u(x + ξ) + c(ξ)}, Mu(x) := k + inf ξ∈RN + N k > 0, c : R+ → R+ , c(0) = 0, c(ξ1 + ξ2 ) ≤ c(ξ1 ) + c(ξ2 ).. ³hdyud. bdvbIs{d8qjsu_bd»q{dsI¨%5v5suy{5°q8ºWIquqKwbced3?s{B§MdªÌ¯vbz´sudI±^`_d»6d(5¦zdv6suq yudIº5¨©Iy`d85_ α ∈ A ºr§MIwbv¯rd8Bv76zq{_z´s+8h¨©wbv¯ïs{zIv¯q R → S × R × º¹ _bd8y{d rdvbIs{d3q's{_bd q{ds1¨ q{opc»ceds{yuz%cs{yuz}d8q8±ghvrdy/°5q{q{z}°r5q{q{wbcers{zIv¯qº ~2 43ã_Iq\(wbvz|6wbd§¯5wbvrd3Ãpzqu6qKz¬stoeNqK5×N °¬wrsuz¬5vºrrdvs{d3 u ±^`_dhyudIw°Iy{z¬stoI¨ u bdMdvbq\5vs{_bd y{5¯d8yKsuz¬d3q/¨
(21) su_bdp d 5¦zdv6sq a, b, c, f ± ¤ djy{d¨©dy%s{¿¬3GÂ:ºW¿(9ÂW¨©5y/s{_djd«pz}qKs{dv¯dIº6su_bdhwbvz|6wbd8vbd8quq IvUs{_bdyud5wb°Iy{z¬sto¨ u ± ^`_bd8v"¹%d5vq{zrd8y ceIvbIs{IvdIbbyuG«pzcsuz¬5vqu_bdced8q`I¨ 2 4~ 3ﺯ¨'s{_bd¨©5°¬°¹ z¬v¨©5y{;c : 2 m 3 max{S(h, x, u (x), u ); u (x) − Mu (x)} = 0, x ∈ R , ¹ _dyud S : R × R × R × C (R ) → R z}q%(Ivq{z}qtsudv6s8º6ceIvbIs{Ivz Ivwbvbz¬¨©Iyuce°¬oe5v6s{zv6wIwq IbbyuG«rz¬csuz¬5v"¨ s{_bd q{ddªq{d8s{zIv< 3ï± ¤ d»¹ z°¬°1rd8vbsud q{I°wrsuz¬5vBI¨ 2 m 3º¯¹ _sup z_?z}q+su_bLdIb(x,byuGDu(x)) «pzcsuz¬52 vI¨ u ºMv h ∈ R s{_bdªc»d3qK_<q{=z u8dI±+∈^`C_zqj(R§qK)s{yIs vsus{zIvq¹`Iq/z¬v6s{yurrwd8»§poª·`yu°¬d3q1vmp5wb5Ivbz}rzq+¿ 9¯s{(rz}q{b°Go»°d8Iy{°os{_d+ceIvbIs{Ivzz´sto(I¨ su_bdq{_bd8ce.d : S(h, x, r, v) zq\vb5vrd3yud8Iq{zvbzv r vUvbIvz¬vy{d3Iq{z¬vzv v ±/^ãopbz}I°MIbbyuG«pzcµ suz¬5vqu_bdced3q+su_s¹\dª¹ z°¬°1Ivq{zbdyyude%°}IquqKz}I°'¸'zvbz´sudhz¬ÍMd8y{d8vd3q»¿ IGÂ:?º >d8vbdy°=z 8d8®¸zvbz¬s{d jz¬ÍMd8y{d8vd3q'¿ @GÂv¿ GÂ:º¯v"i<Iy{¾5æ%_¯zBv AhbbyuG«pzcsuz¬5vq¿ IGÂ:± ghv5suz¬°vb¹ºhy{d3qKwb°¬suqIvQIvpÃ5dyuIdv¯d"yus{d3q¦¨©5yUceIvbIs{5vbdIbbyuG«pzcsuz¬5v²qu_bd8c»d3q¦I¨(s{_bd d3|6wsuz¬5v¹ z¬s{_b5wrs+zc»wb°q{zIvq`_GÃ5dj§Mdd8v"I§rszvbd8D Czß± dI±¨©5y`s{_bd¨©5°¬°¹ z¬vªd3|5w¯s{zI?v : sup L (x, Du(x)) = 0, x∈R , 2 .3 IvUs{_bdyud°}sud8Bq{_bd8ced S(h, x, u (x), u ) = 0, x∈R . ½ãy{yuIyd8qKs{zcs{d3qj¨©Iys{_bz}qd8|6ws{zIv_GÃId»§¯d8dvÀI§rszvbd8®§pFo Ey{op°Ã¿H GÂ:º¿¬ IÂ/v¯<su_bd8q{dey{d3qKwb°¬suq ¹\dyudUd«ps{dv¯rd8P§6o)·`Iy{°d8q»v¼5I¾I5§qKd8v ¿ Â:º¿ Â:±¼i?IyudÃ5dy3ºyud8q{wb°¬suq»IvZIvpÃ5dyuIdv¯dys{dU¨©Iy ce5vbsuIvbdby{G«rzces{zIvBq{_bd8ced8q`¨»y{s{z}wb°}y JtquI5hd3|5w¯s{zIvB_GÃ5dj§Mdd8vB5§rsuIz¬vd8§6oUs{_bd Iwrs{_Iyqj¿ÁGÂNºIvU§poU6¾5I§q{dv¿¬3GÂNº¿¬G3ÂN±. A = {α1 , . . . , αM } (a , bαi , cαi , f αi ) R×R SN αi. N. i. h. N +. N. b. αi ∈A. h. h. N. N. h. N. αi. h. N. αi. N. αi ∈A. h. ìì çKöLïõL. N. h. N. b. N.
(22) 9. (
(23)
(24) * )
(25)
(26)
(27) . #, ) <!#"$%". gjqKzvbs{_bd»ceds{_pzv5suy{rrw¯d8®§poBJtq{_bzz`¿¬H9Â:ºWsuy{Ã5d(s{_dªd«pz}qKs{dv¯d»¨%Uwbvbz}|5wdªÃpz}q{5q{z´sto q{I°wrsuz¬5vI¨ 2 ~ 3ﺹ\dby{6I_ 2 ~43`§poUeq{d8|6wbdv¯d¨15q{8IrdbyuI§b°dcq 2 ~ãv*3ïº n ≥ 1 º max{sup L (x, Du(x)); u(x) − Mu (x)} = 0, x ∈ R , 2 <3 ¹ _dyudIºb¨©5y n = 0 º¯¹%d_GÃIdd8|6ws{zIv 2 . 3ï± 6Eds u s{_d(Ãpzqu6qKz¬stoq{I°wrs{zIv"I¨ 2 ~/*v 3"± J¶v"s{_bd»q{Iced ¹`Go¹\dIbbyu55_ 2 m 3\§6oqKd3|5wdvdI¨'8IquIbdqu_bdced3q 2 mp*v 3º n ≥ 1 º αi. N. n−1. αi. n. max{S(h, x, uh (x), uh ); uh (x) − Muh(n−1) (x)} = 0,. 29 3. x ∈ RN ,. ¹ _dyudIºp¨©Iy n = 0 ¹\d_GÃIdd8|6ws{zIv 2 mr 3ï±6ds u rdvs{dsu_bd(q{I°wrs{zIvB¨ 2 mpv*3± gjqKzvbBs{_bdceds{_brbqzv6s{yupbwd3®§po<·`yu°¬d3qvÀ5I¾I5§qKd8v)¿ÁGÂNºwbbMdy(Iv®°¹\dy§¯5wbvbqI¨ ºp¨©Iy °° ºbIy{dI§bsuzvbd3
(28) ±1^`_bdwbbMdy`d8qKs{zcs{dI¨ z}q%d3Iq{z¬d8y\s{»I§rszv u −u su_v)s{_bdB°¬¹\dy3±®n^`_b<d+∞ byu6I¨ z¬vpÃI5°¬Ã5d8qª' &Ey{op°Ã<y{d8Iwb°}yu=z 88suz¬5v (u¨ 2 −~ã*v u3ïº/z:± dI±s{_bdB¯d8yKsuwbyu§¯d3 d3|6wsuz¬5v hn. n. hn. n. hn. sup Lαi (x + e), Dun (x)); un (x) − Mun−1 (x). max. = 0,. Ivz´sqÃ6z}qu5q{z¬sto"q{I°wrsuz¬5v ± A yud5wb°Iy{=z 88s{zIv<I¨ §po®5vpÃII°wrsuz¬5v<IzÃId3qIvÀIbbyuG«rz¬csud {q ceps{_qKwb§bµNq{I°wrs{zIv?I¨ 2 3ïuº
(29) rd8vbsud8 u ºW¹ _bz}_<z}qu°}qKUIv®by{G«rzcs{dªqKwb§bµNq{I°wrs{zIv?I¨ 2 9,3ï± mrº§po(wq{zvbs{_bd 5vq{zqKs{d8vo(y{5¯d8yKsto5º¹%d`I§bsuzvªs{_bd`wbbMdy㧯5wbvª¨ º6¨èsudy1_bp5q{z¬v Iv"Irsuz¬c°yceds{dy I¨1y{d8Iwb°}yuz/83suz¬5v±ã^`_bd8vº¹\d5vq{zrd8y u − u uv"−u¹\d(rsu_bd¨©5°¬°¹ z¬v bd85ce¯6qKz¬s{zIv αi ,|e|≤ n. n. n. n. hn. h. sup (u(x) − uh (x)) ≤ sup(u(x) − un (x)) + sup (un (x) − uhn (x)) x. x. x. + sup (uhn (x) − uh (x)),. ¨©5y+°° n zv N ±/¸zvI°¬°oIº_66qKzvbªs{_bd5rs{zc° n ºb¹\dI§rszvUsu_bdy{d3qKw°´s3± ^(I§bsuzvsu_bdh°¹%d8y/d8qKs{zcsudIº6¹%dhqKsuIyKs%§6o»IzÃpz¬v(°¬¹\dy㧯5wbvI¨ zv6s{yurrwdsu_bd¨©I°°¬¹ zvbeqK¹ z¬su_z¬vbq{orqtsudcĹ _z_"by{G«rzces{d3q 2 <3 u x. n − uhn. º5¨©Iy. n∈N. max{Lαi (x, Dvin (x)); vin (x) − min{vjn (x) + `}; vin (x) − Mun−1 (x)} = 0,. ±¤ d 2 .3. ¨©5y x ∈ R ºv i ∈ I = {1, . . . , M } º ` ≥ 0 ±¸bIy°z¬s{dysuwbyudª5vsu_bdqK¹ z¬su_z¬vb?q{orqtsudcqºqKd8d ¿ GGÂNºE¿8GÂNºE¿IÂ'v¯¿3GÂ:± ¤ dªIv¯qKz}rdy+s{_bdÃpz}q{5q{z´stoBqK5°¬wrsuz¬5v ¨'s{_zqjqKorqKs{dc"º IvBIzÃIdvBd8qKs{zcsud¨'s{_bd(ysud¨1IvpÃ5dyuIdv¯d¨ v s{ uv ±ã=^`_b(vd8vB,¹\. d(. .,5vvq{z)rd8y+e¯d8yKsuwbyu§¯d3 q{orqtsudc max{ inf L (x + e, Dw (x)); w (x) − min{w (x) + `}; 2 <3 j6=i. N. n. n. αi. |e|≤. n i. n i. n 1. n M. n. j6=i. n j. win (x) − Mun−1 (x)} = 0,. ¨©5y%I°¬° i ∈ I v x ∈ R º6Ivz¬suqãÃ6z}qu5q{z¬sto»q{I°wrs{zIv w = (w , . . . , w ) ± ¤ djy{d8Iwb°}yuz=8d w §poe5v6Ã5I°wrs{zIve5§rsuIz¬vbzvb w ºrv»su_bzq㨩wbvs{zIvUI°¬°¹+qsu§bwbz°}¦°p8°MqKwbMdy{µ¶qK5°¬wrsuz¬5ve¨ 2 3ï± N. n. n 1. n M. n. n. æ©Ù'ìæèÚ.
(30) .
(31)
(32)
(33) "!$#&%' ( )* +%,!$.-(%/(. ^`_dvºp§pobb°opz¬vs{_bd5vq{zqKs{d8vov¯es{_bdjceIvbIs{Ivzz´stoe¨
(34) su_bdq{_bd8cedIº6¹%djI§rszvs{_bd°¹%d8y §MIwvB¨ u − u ±/¸zvI°¬°oIºq{zvd n. hn. sup (uh (x) − u(x)) ≤ sup (uh (x) − uhn (x)) + sup (uhn (x) − un (x)) x. x. x. + sup (un (x) − u(x)),. _66qKzvbs{_d+Irsuz¬cI° ºI¹\d I§rszves{_bd yud8q{wb°¬s8± ¤ z¬s{_Iwy/y{d3qKw°´s3ºI¹\d+vebyuÃId Iv»wb¯d8yã§MIwbv¯ I¨ |h| Ive°¬¹\dy§MnIwbv»I¨ |h| ¨©5y/°}IquqKz}I°6Ìvbz¬s{d+rz¬ÍMd8y{d8vd3q/qu_bdced v¨©Iy15dvbd8yuI°¬z=8d3 ̯vbz´sudrz´ÍWdyudv¯d8qqu_bd8c»d5± ¤ dvbIs{d»s{_s¹%deI§bsuzvs{_bdqucededyuy{5yjd3qtsuz¬csud8qIqzvs{_bd¦8Iq{d ¹ z¬s{_Iwrs+zcebwb°}qKzIvq¿ ÂNº
(35) ¿ÁGÂN± ^`_bdI¯d8y%z}qã5y{6vb=z 8d3Iq㨩I°°¬¹+Hq :q{d8s{zIv(z¬v6suy{rrwd8qãs{_bdvbIsusuz¬5vq\v5z¬Ã5d8q/s{_bdczv yud8q{wb°¬s8±Umpd3ïsuz¬5vÀ"zv6s{yupbwd»s{_d¦Iqu5rdebbyuG«rz¬cs{zIvq¨ 2 4~ 3(v 2 m 3ï±mpd3ïsuz¬5v 9?5§rsuIz¬vq wb¯d8y`§¯5wbv¨ u − u ºp¨©5y °° n < +∞ ºrvBmpd8s{zIv?(5z¬Ã5d8q%°¬¹\dy\§MIwbvU¨ u − u º6¨©Iy I°¬° ±+mpd3ïs{zIv<ez}qhbdÃIIs{d3Usus{_dbyup¨¨s{_bdceIz¬v"su_bd5y{d8c"±`¸'zv°°oUsu_bd A+¯d8vrz¬« 5z¬Ã5d8nq`<q{Ice+∞dwr«rz°¬z}yuoes{_bd8Iyudcq`¹ _bz}_BIy{dwq{d8Us{_y{5wbI_b5wrs`s{_bd¯Mdy3± x. 1/2. 1/5. n. hn. n. hn. & (& & E!B# ¤ dãqKsuIyKs§pohzv6s{yurrwzvb+q{Iced1vbIsusuz¬5vqW¹\d/¹ z¬°°wq{d/zvs{_bd%y{s{z}°dI±E·\o ¹\d1ced8vsu_bdãqKsuv¯by ½ãw°zbd8vÀvb5y{c zvvpo R stop¯dq{IdI± J¶v¯y{s{z}wb°}y3º
(36) z´¨ X ∈ S º
(37) |·|su_bdv |X| = tr(XX ) º ¹ _dyud z}q`s{_bdsuyuIvqKM5q{d¨ ºrzß± dI± z}q`s{_bd¸y{5§¯d8vbz¬w¯q vbIyuc"± JN¨ z}q ª§MIwvrd8U¨©wbvs{zIv ¨©yuIc RX z¬v6su»d8z´su_bdy R, R ºbIy\Xs{_d(qK5|X|d¨ N × P ces{yuzd8q8ºr¹%dq{ds g . M. N. 2. >. >. N. JN¨. M. |g|0 := sup |g(x)|.. g. z}q °}qK6zqu_bz¬s85v5suz¬vpwb5wq8ºr¹%dq{ds [g]1 := sup x,y∈RN x6=y. x∈RN. |g(x) − g(y)| , |x − y|. |g|1 := |g|0 + [g]1 .. ¤ drdvs{d§po su_bdIceMIvbd8v6s\¹ z}qKd5yurd8y{zvbªz¬v ºbIv¦§po s{_bdIyrd8y{zvbzvs{_bdq{dvq{djI¨ M5q{z¬s{zÃIdqKd8c»z}rd≤Ìvbz¬s{dcsuy{z}d3q%zv S(N ) ±/^`_bdqK¯IdRC (R ) 2 yud8q{± C (R )3\¹ z°¬°EbdvbIs{ds{_bd q{5d»¨ Iv6suz¬vpwb5wqv§¯5wbvrd3¨©wbvïsuz¬5vq 2 y{d3qK±e§MIwbv¯rd8v¯ 6Ez¬qu_bz¬s8»¨©wbvs{zIvq3j¨©yuIc su ± R >zÃIRd8v g ∈ C (R ) º M ≥ 1 º¹\d`rdvbIs{d`§po L Ivwb¯d8y1§¯5wbvª¨bsu_bd 6zq{_z´s+8`IvqKsuIv6s I¨ g º L := max ± ¤ d¹ z¬°°wq{dqKd3|6wbdv[gd] ¨ce5°¬°z´Ì¯dyq (ρ ) bdÌvbd3"Iq\¨©I°°¹+q(: N. b. N. b,l. N. N. b,l. g. N M. i=1,...,M. g. i 1. . ρ (x) = −N ρ(x/),. ìì çKöLïõL. 2 @3.
(38) . (
(39)
(40) * )
(41)
(42)
(43) . R ¹ _dyud q{wbb ¯ 1) Iv I¨ g ∈ Cρ ∈(RC ) (RIq\¨©I),°°¹+q(: ρ = 1, {ρ} ⊆ B(0, ∞. b. N. RN. N. g (x) :=. Z. g ∈ Cb (RN ). 2 y{d3qKE±. 2 G<3. RN. 2 I<3. |g(x) − g (x)| ≤ Lg .. Cb,l (RN ). 3ïºrsu_bdv"¹\d_GÃId. uy d8q{± C |g| ), ∀ i = 1, . . . , n. ¸y{5c ¿¬H9ÂNºb¹%d_GÃ5dhsu_bd¨©I°°¹ z¬vbebyuIMdy{s{zd8q\5v M bº bdÌvbd3Bz¬v 2 3ï± ÊãÊ Ó Ê
(44) u, v : R → R )#.( #& !
(45) ) |Di g (x)| ≤ C−i |g|0 ,. . ± ¤ dªrdÌvbds{_bd»ceI°°¬z¬Ì¯s{zIv. g(x − e)ρ (e)de.. i<IyudÃId8y8º6z¬¨ g z}q 6 zqu_bz´s+8(5v5suz¬vpwb5wq8º5su_bdv JN¨. ρ≥0. #, ) <!#"$%". 1−i. (. 0. 2 3<3. N. " !" %$ '&(. u≤v.
(46) ). R. . ).
(47) ). Mu ≤ Mv. RN. . M(tu + (1 − t)v) ≥ tMu + (1 − t)Mv # t ∈ [0, 1] M(u + c) = Mu + c. . . |Mu − Mv|0 ≤ |u − v|0. c∈R. %%. . . u, v ∈ C(RN ). . ^`_bd(5q{q{wbcersuz¬5v¹\dwqKd5vd3|6wsuz¬5v 2 ~43`yudIq\¨©I°°¹+q(: ¸b5yh°° α ∈ A ºrs{_bdcs{yuz´« a IvB§Md¹ yuz´s{s{dv a = σ σ ºb¹ _bd8y{d σ zq+ N × P 2 A3c s{yuz¬«W±/^`_dyudd«rzqKsuq e5vqKsuv6s K qKw¯_Usu_s3ºr¨©Iy+I°¬° α ∈ A º Iv |σ | + |b | + |c | + |f | ≤ K. c ≥1 2 A. 3 1 > sup {[σ ] + [b ] } ± Ajq{q{wbcers{zIv A 3ãdvq{wbyud8q1su_s °°Md8|6wsuz¬5vq%¹%dj¹ z¬°°WwqKdyud+¹\d°°´µN¯6qKd3DCrIquqKwc»bs{zIv Aj.3 d8vq{wby{d3q`s{_¯sI°¬°'2qK5°¬wbs{zIvqjyud 6zqu_bz´+s 8v¯"§¯5wbvrd3"¨©wbvs{zIvq8± ¤ z¬s{_b5wrs5q{q{wbcersuz¬5v 2 2Aj<3ïº ¹\d_GÃIdsu_sjI°¬°q{I°wrsuz¬5vq+yud*³ )5°rd8y+vB§MIwbv¯rd8
(48) ± A+°°Iwy+y{d3qKw°´sq v"§Mdd«ps{d8vrd3Bs{es{_zq 8Iq{dI± d3qKw°´shI¨ ¿¬H 9bº¯^`_bd8Iyudc 9¯± ÂEIzÃId3q\s{_bdd«rzqKs{d8vdI¨/eÃ6z}qu5q{z¬stoUqK5°¬wbs{zIv"¨ ~ 3ï± i?IyudÃ5dy3º 5dvbd8yuI°¬=z 8zvb¯º¯zv<su_bdeI§pÃpz¬5wqh¹`GoIºWbyup¨/I¨h¿¬5º^`_bd5y{d8c b±ÁGÂNºM¹ _z_z¬vpÃI5°¬Ã5d8qjI2 vb°oBÌyqtsIyrdy zcebwb°}qKd(Iv6s{yuI°WbyuI§°¬d8cBºr¹\dI§rszvUsu_bd¨©I°°¹ z¬vbebyuIM5q{z¬s{zIv± Ê ãÊ Ó Ê +, )#.( #& !
(49) ) - ( . /102 #&)
(50) 13(# 4H
(51) (
(52) !5 (% #&
(53) ) u
(54) ) 2. αi. i. 1 2. αi. αi. αi T. αi. i. αi. αi. Cb,l (RN ). " )!. αi 2 1. αi. α. 1. αi. 1. αi. 1. αi. 1. 1.
(55) #&%/ . |u|0 ≤ sup |f αi |0 . αi. 2. æ©Ù'ìæèÚ.
(56)
(57)
(58)
(59) "!$#&%' ( )* +%,!$.-(%/( 6Eds. C≥0. @. eIv¯qtsv6s8ºbIv"Iv¯qKz}rdy\su_bd¨©I°°¬¹ zvb»d8|6ws{zIv :. 2 ~\3. N i max{sup Lα C (x, Du); u(x) − Mu(x)} = 0, x ∈ R ,. ¹ _dyud L (x, r, p, X) = L (x, r, p, X) − Cc (x) ± ¤ dj_¯GÃId+su_bdvUs{_bdj¨©I°°¹ z¬vbª°¬d8ceceºp¹ _bz_ z}q`IzÃId8v¹ z¬s{_Iwrs+byup¨t± %Æ )¡ u
(60)
(61) (+
(62) 5 (% #&
(63) ) 102
(64) )# ) % 5B
(65) u + C
(66) H
(67) (
(68) !5B % #&
(69) ) αi. αi C. 10 . αi. αi. . Æ )¡r . 2. ")F ( 3 # (% #& α %% )
(70) ) %
(71) & % 5
(72) ! %
(73) !$ + # ( ( ,#
(74) ) %/ f '$ (x) ≥ %% 0#&7 #&% x +Bαi
(75) % 5 < ()#< F - ( ) f
(76) ) 4)$)*) <
(77) + . . i.
(78) . . . ¤ dvb¹ qtss{d5q{q{wbcers{zIv¯qIvÀs{_bd¦bzquyudsudequ_bd8c»d 2 m3ïº'¹ _bz}_Ibbyu55_bd8qhs{_bdUd8|6wsuz¬5v ~2 43: 2 mW3¨©i?Iy+IvI°¬° s{5vbz}z¬sto : º S(h, x,º r + m, ºu + m) ≥ Imv + S(h,z¬v x, r, v) qKw_s{_¯s z¬v R ± h∈R r∈R m≥0 x∈R u, v C (R ) u≤v ¨©5yeI°¬° h ∈ R v φ ∈ C (R ) º x 7→ S(h, x, φ(x), φ) zq»§MIwbvbd8Zv 2 mb. 3 5dv55suwbz¬vp°}wbyu5z´stw$o Hq : C r 7→ S(h, zqwbvbz¬¨©Iyuce°¬oÀIv6suz¬vpwb5wq¨©Iy§¯5wbvrd3 r ºwbvz´¨©5y{ce°o®¹ z¬s{_ y{d3qKMd8s s{ x ∈ R ± x, r, φ) v¯)<5vqKsuv6s K > 0 qKw¯_¥s{_s¨©5yª°° . . . , n} 2 mr< 3^`_bdyudUd«rIzvqKs n, z¬kv > 0,ºrIvie∈¨©IJy\d⊆Ã5dyu{1, o K q e c p u s _ qKw_¦s{_s |D φ| zq\§MIwbvbd8
(79) º h∈R φ ∈ C (R ) ¨©Iy d8ÃIdyuo i ∈xJ ºps{_Rd¨©I°°¬¹ zvbe_bI°}bHq : N +. N. b. N +. b. N. N. N. N. N +. i. N. n. N. c. i. 0.
(80)
(81)
(82)
(83)
(84) sup Lαi (x, Dφ) − S(h, x, φ(x), φ)
(85) ≤ Kc Q(φ),
(86) α
(87). ¹ _bdyud Q(φ) := P |D φ| |h| ± 2 m,9 37JN¨ v zq+q{I°wrsuz¬5vI¨ max{S(h, x, v(x), v); v(x) − Mv(x)} = 0, s{_bd8v νv z}q qK5°¬wrsuz¬5vI¨ i. i∈J. i. 0. ki. 2 53. max{S(h, x, νv(x), νv) + (ν − 1)f (x); νv(x) − νMv(x)} = 0,. 2 G.3. ¹ _bdyud ν zq zv (0, 1) ºbIv f rdÌvbd8Bzv"d8|6wsuz¬5v 2 ~43ï± ªIvqKsuIv5s3± JN¨ v z}q%q{I°wrsuz¬5vU¨ max{S(h, x, v(x), v); v(x) − Mv(x)} = 0 º s{_bd8v 2 mb.3 6ds C ≥ 0I°wrs{zIv¨ } z. q { q ºr¹ _bdyud S z}q`rd̯vbd8"Iq v+C − Mv(x)} = 0 ºS b¹ z¬s{_Bs{_ds{dyuc f max{S z}q yudb°}I(h,d8Ux,§6v(x), o f v);+ v(x) ± c C αi. ìì çKöLïõL. C. αi. αi. C.
(88) G. (
(89)
(90) * )
(91)
(92)
(93) . . #, ) <!#"$%". ¡ Æ ) , ! %= B) #&
(94) % (( ,
(95) (
(96) ( + #& !
(97) )
(98) ) .
(99) )
(100) %$
(101) (() D+ - () N = 1 < ) 7 ". . S(h, x, r, φ) :=. + . 2 3<3. αi αi αi i sup {−aαi (x)∆φ(x) − bα + (x)δ+ φ(x) + b− (x)δ− φ(x) + c (x)r − f (x)},. αi ∈A. φ(x + h) − 2φ(x) + φ(x − h) φ(x ± h) − φ(x) , ∆φ(x) = , h h2 )# bαi (x) := max(bαi (x), 0) bαi (x) := max(−bαi (x), 0) %/% 5F #&"!$
(102) ) " + − δ± φ(x) =. &B# ) B (
(103) 4 !)
(104) ) . 7+)
(105) () "5 5+!
(106) $ .-(
(107) ) (5%/. . 2 (9 3. .
(108) . . k2 = 1. )#. k4 = 2. Q(φ) = |D2 φ|h + |D4 φ|h2 ,. . ¤ de¹ z¬°°/q{GoBsu_s(U¨©wbvïsuz¬5v qu_bd8c»d 2 m3\z´¨. v ∈ Cb (RN ). z}q"qKwb§bµNq{I°wrs{zIv 2 yud8q{±q{wb¯d8yKµ¶q{I°wrs{zIv*3h¨%s{_bd. uy d8q{± ≥ 0), ¨©Iy+°° x ∈ R ^`_dvd«ps+byuIM5q{z´suz¬5vz}q ªÌyuqKshqKs{d¨©Iy y{Ãpzvbªwvbz|6wbd8vbd8quq`¨1q{I°wrs{zIvB¨ 2 m3± ÊãÊ Ó Ê S (
(109) 5 4) u v - (% #&
(110) ) max{S(h, x, v(x), v); v(x) − Mv(x)} ≤ 0,. . . +. . ψ1 ψ2. ). (. N. .. 2 3.3 2 8<3. max{S(h, x, u(x), u); u(x) − ψ1 (x)} = 0, x ∈ RN , max{S(h, x, v(x), v) + g(x); v(x) − ψ2 (x)} = 0, x ∈ RN ,. . g. %/( )* . Cb (RN ).
(111) $() . 2 @3. |u − v|0 ≤ max{|g|0 ; |ψ1 − ψ2 |0 }.. ÊÊ `mrz¬vd u v v Iy{dq{I°wrs{zIvq`I¨ 2 G.3\v¯ 2 8 3ãyud8q{Md8ïsuz¬Ã5d°oIºr¹\d_GÃIdjs{_s max{S(h, x, u(x), u); u(x) − ψ1 (x)} ≤ 0,. ¨©5y\I°¬° x z¬v. R. N. ±/mpzvd. max{S(h, x, v(x), v) + g(x); v(x) − ψ2 (x)} ≥ 0, max{A; B} − max{C; D} ≤ max{A − C; B − D}. º 2 3<3/Iv 2 8<3/z¬ceb°o. 0 ≤ max{S(h, x, v(x), v) + g(x) − S(h, x, u(x), u); v(x) − ψ2 (x) − (u(x) − ψ1 (x)}.. ³hdvd¹%d_GÃ5dhsu_bdst¹\ª¨©5°¬°¹ zvb»8Iq{d8q8± 3 − v(x) ≤ ψ (x) − ψ (x) º¯¹ _bz_"zceb°¬zd8q u(x) − v(x) ≤ |ψ − ψ | ± § 3 u(x) ºbv S(h, x, v(x), v) + g(x) ≥ 0 ±/^`_bd8v S(h, x, v(x), v) + |g| S(h, x, u(x), u) ≤ 0 1. 2. 1. 2 0. 0. ≥0. ºbv. æ©Ù'ìæèÚ.
(112)
(113)
(114)
(115) "!$#&%' ( )* +%,!$.-(%/(. I. Ibb°opz¬vb"su_bdUce5vbsuIvbz}z¬stoIº S(h, x, v(x) + |g| , v + |g| ) ≥ 0 ±"·\oZ¿ bº^`_dIyudc r±ÂNº5§rsuIz¬v ± u(x) − v(x) ≤ |g| %5c§bzvbzvb»s{_bdst¹\Iq{d8q\¹\d_GÃId 0. 0. 0. sup (u(x) − v(x)) ≤ max{sup g(x); sup |ψ1 (x) − ψ2 (x)|}.. ^`_bd(IvpÃId8yuq{dhzvbd3|5w¯°z´sto¦z}q 5§rsuIz¬vbd3Uzv?eqKzcez¬°}y ¹`GoI± 2 ¤ d(Iv5z¬Ã5dv¹s{_dwbvbz}|5wdvbd3q{q`yud8q{wb°¬s8± ÊãÊ Ó Ê $( .
(116) #&)
(117) 13(# (% #&
(118) ) u ∈ C (R ) ÊÊ 6Eds u v v §Md(qK5°¬wbs{zIvq`I¨ 2 m 3ï±/·\o 2 ,m 9 3º νu zq eq{I°wrs{zIvB¨ x. . x. . x. . h. . h. ¨©5y. h. N. b. h. max{S(h, x, νuh (x), uh ) + (ν − 1)f (x); νuh (x) − νMuh (x)} = 0, x ∈ RN , ν ∈ (0, 1). ± +A b°¬oby{5¯6qKz¬s{zIv"r± ªs{I§bsuzv. |νuh − vh |0 ≤ max{|(ν − 1)f |0 ; |νMuh − Mvh |0 }.. ·\o"¿Iºr^`_bd5y{d8c ± Â:ºp¹\dh¾pvb¹²su_s |νMu − Mv | < |νu 6dsKs{zvb I»suB5ºr¹%d_GÃ5ds{_bdyud8q{wb°¬s8± 2 |(ν − 1)f | . ¤ d(qKds8º J §¯d8z¬vebνdÌvbd3Bz¬v 2 mb<3: h. h 0. h. 0. γ¯ := min. . ki , i. γ := min. . − v h |0. ºrIv¦_bd8vd. |νuh − vh |0 ≤. 2 HG<3. ki . 3i − 2. ¤ dªd«rb°Iz¬v®§by{zd ¯oB_¹ ¹\d5§rsuIz¬v®IwbyjceIz¬vy{d3qKw°´s3± J¶v?su_bd¨©5°¬°¹ zvb¦¹\d§bwbz°}®q{d8|6wbdv¯d8q /2 ~ v*3jv 2 mpv*3º n ≥ 0 ºM¨1d3|5w¯s{zIv?I¨1stop¯d 2 <3hv 2 9 3+y{d3qKMd8s{zÃId8°¬o5º¹ _bz}_®by{G«rzcs{d 2 ~43 Iv m3ï±/^`_bd8vU¹\dh_GÃ5d s{_¯s\s{_bdqKd3|6wbdvdhI¨Ã6z}qu5q{z¬stoeq{I°wrsuz¬5vq ¨ ~/v*3º ºr5v6Ã5dyuId3q su u ºM2 Iv"su_bdªq{d8|6wbd8vdª¨ãq{I°wrs{zIv u ¨ 2 mrv*3ïº n ≥ 0 ºW5v6Ã5dyuIud3q\s{ u2 ± ¤ ndª≥¹ z0°°5z¬Ã5ds{_bd3qKd ysud8q I¨/IvpÃ5dyuIdv¯dI±`¸'z¬v¯°°¬o5º¨©5yhd85_ n ¹%d(5z¬Ã5d(v?wb¯d8yIv?°¹%d8y+§¯5wbv"I¨ u − u º Iv¹%dwq{ds{_bd3qKd§MIwbv¯bq`s{e5§rsuIz¬v 2 I<3± ¤ d(qtssudvb¹ 5wby`ceIz¬v"yud8q{wb°¬s8± ÆpÊ Æ + #&" - ." ) ( % ?( u ∈ C (R ) ) u ∈ C (R ) i∈J. i∈J. . n. hn. h. n. . . - B B#&)*
(119) 13 #
(120) (+
(121) 5 (% #&
(122) ) 102 ) %%/
(123) ) B - #&)# " % . . ;#&)
(124) 13(# 7 % #&
(125) ) b,l ! h
(126) + % 5 b $ N.
(127) . . hn. N. 2 HI<3 . )$
(128) ) )#F) . −C|h|γ ≤ u − uh ≤ C|h|γ¯ ,. +
(129) 7 -#&) . F) ) * ,
(130) < ! ) 7) ) C() u )# u . K. % 5vqKz}rd8yjvb¹ su_bdªÌvbz¬s{drz¬ÍMd8y{d8vd»q{_bd8cedIzÃId8v<zv®d«bIc»°¬dr±Ár± ¤ d»_GÃ5d(s{_d¨©5°¬°¹ z¬v yud8q{wb°¬sH: n. ìì çKöLïõL. hn.
(131) 3. (
(132)
(133) * )
(134)
(135)
(136) . <. Ê Ê Ó¡r Ç. ) % #&
(137) ) 102 ) 7
(138) ) ($
(139) $u %%/
(140) ) B -+#&)# " N% = 1 .
(141) . +
(142) 7 -#&) ) C() u n ÊÊ + A b°¬opzvb . . uh. (% #&
(143) )
(144) . S. 2 <3 . )$
(145) ) )#F) . −C|h|1/5 ≤ u − uh ≤ C|h|1/2 ,. . F) ) * ,
(146) <! ) 7) K )# u hn 2 H9 ï3 º¹%d5§rsuIz¬v γ = 1/5 v γ¯ = 1/2 ±¦^`_bd8v¥¹%dIvwqKdesu_bdbyud8d8rd8v5s. su_bd5y{d8cs{e5§rsuIz¬vs{_bdyud8q{wb°¬s8± 2. Æ )¡r 1
(147) +%%/5 );- . %/( . #, ) <!#"$%". . )#7 7
(148) () N >1 $ 7-#&) <-
(149) ). %/) <+ !) ()
(150) . x. . (#) .
(151) )
(152) $
(153) (() ((
(154) )
(155) ()
(156) ) (%
(157)
(158) )
(159) $
(160) () (+
(161) )
(162) ()
(163) ) N ≥ 1 (7 % * +) ( h
(164) ( ! . !*. . . . . . . . B \( % B B ¦ ' (&B J¶v®s{_bz}qq{d8ïsuz¬5v®¹\dª¹ z°°'y{d3qKd8v5ss{_deIbbyuG«rz¬csuz¬5vq+I¨ 2 ~ 3 v 2 m3ºEv®¹%d»¹ z°¬°/qKs{wbo"s{_bd8z¬y cIz¬vBbyuIMdy{s{zd8q8± . . . . !"$#&%(')+*-,/.&%1032546%87:9;<,=)?>. ¤ ed ¹ z¬°°1by{6I_<d3|5w¯s{zIv 2 ~43j§po<BqKd3|5wdvdªI¨%I§¯qtsI°dy{5§b°¬d8cq± ¤ de¹ z¬°°wq{dªsu_bdq{Iced ceds{_brbq5qzvQ¿(9ºã~/yup¨jI¨+s{_dIyudc 9¯± Â:º/s{byuÃId¦su_sesu_bd?qK5°¬wrsuz¬5vqª¨hsu_bd?qKd3|6wbdvdI¨ d3|6wsuz¬5vq`IvpÃ5dyuIdjs{»s{_bd(q{I°wrsuz¬5vI¨ 2 ~43ï± ·\oUyudcIy{¾Ub± 9¯º6¹\d_GÃ5dhsu_s u ≡ 0 z}q+»Ãpzqu6qKz¬sto¦q{wb§rµ¶qK5°¬wrsuz¬5vI¨ 2 ~43ï± %5vqKz}rd8y`s{_bd¨©5°¬°¹ z¬vªbyuI§°¬d8Bc : 2 ~ã< 3 sup L (x, Du(x)) = 0, x ∈ R . ghvrd8y5q{q{wbcersuz¬5vq 2 A(µ A. 3ïºWsu_bz}qjd3|6wsuz¬5v®_5qjwbvbz}|6wbdªÃpz}q{5q{z´sto?q{I°wrs{zIv u z¬v C (R ) ± mrz¬vd z}qhÃpz}q{5q{z´stoBqKwb§bµNq{I°wrs{zIv?I¨ ~ã 3ïºMs{_bd»5c»¯yuzq{IvBbyuz¬vz¬°¬d 2 qKd8dU¿( 9bºW^`_bd8Iyudc ±  3%zceu b≡°¬zd80q 0 ≤ u ±%%Iv¯qKz}rdy\su_bd¨©I°°¬¹ zvb2 »byuI§b°d;c : max{sup L (x, Du(x)); u(x) − Mu (x)} = 0, x ∈ R . 2 ~+3 mrz¬vd Mu zqIv6s{zvpwbIw¯qº3wbvrd8yEIquq{wbcers{zIvq 2 A(µ A. 3ºsu_bdyud/d«rz}qtsq`wbvbz}|6wbd/Ãpz}q{5q{z´stoqK5°¬wrsuz¬5v I¨ ~+ 3/z¬v ±/mpz¬cez°Iy{°oIºI¨©Iy n = 2, 3, · · · º5°ds u ∈ C (R ) §Md+s{_dhwbvbz}|6wbd+Ãpz}q{5q{z´sto u q{I°wrsuz¬52 vI¨ C (R ) max{sup L (x, Du(x)); u(x) − Mu (x)} = 0, x ∈ R . 2 ~/v*3 JNs'zqd85qKojs{_bd8¾hs{_s u z}q Ãpz}q{5q{z´stoq{wb§rµ¶qK5°¬wrsuz¬5v¨ (P 0) ±·\os{_d%5ceyuzq{Ivbyuzvzb°dIº ±<i?IyudÃ5dy3º¹\d¦¾pvb¹ su_s u ≡ 0 zqª<qKw§rµNq{I°wrsuz¬5vÀI¨ (P 1) z¬v R º1v¯Às{_bd8v 0 ≤ u ≤u αi. N. αi. 0. b,l. N. 0. αi. αi. 0. 1. b,l. N. n. αi. αi. 1. 1. 0. N. 0. n−1. b,l. N. N. N. æ©Ù'ìæèÚ.
(165) 5.
(166)
(167)
(168) "!$#&%' ( )* +%,!$.-(%/(. zv ± ~/yuIM5q{z´suz¬5v?b±¬5º 3ºzc»°¬zd8qhs{_s º¯s{_bd8v?¹%dªv<quGo¦su_s zq »Ãpz}q{5q{z´sto¦q{Rwb§rµ¶qK5°¬wbs{zIvB¨ 2 ~+3º¯I2 vI°q{ u ≤ u Mu z v R ≤±/·\Mu o¦zvrws{zIv"ÃId8y n ºb¹%d5§rsuIuz¬v : 2 r3 0 ≤ ··· ≤ u ≤ ··· ≤ u ≤ u ≤ u . ¤ dUIv¥qKd8dªsu_s3ºz¬¨ ºEs{_bd8v z}q("Ãpz}q{5q{z´sto®q{I°wrsuz¬5vI¨ 4~ 3v¯®su_bdv¥¹\dyud¨©dy su®¿ GÂNº'¿Á3Â'¨©Iydyuy{5y+d8qKs{zc|usud8| q8±j≤mpwbkbM5q{dvu¹Qsu_s |u | > k º
(169) v¯"°¬ds µ2 ∈ (0, 1) q{w_?su_sqKds ± µ|u | < k ÆpÊ Æ 1
(170) ( %% n 2 I.3 u −u ≤ (1 − µ) |u | . Ê Ê <:6ds n ∈ N ºbIv θ ∈ (0, 1] §Md(q{w_Usu_s zv R . 2 <3 u −u ≤θ u , ·\o r 3ïºMs{_zq_b5°qjs°d85qts¨©Iy θ = 1 '± 3À d¹ yuz¬s{zvb 2 3h5q (1 − θ )u ≤ u , v®wq{z¬vb 2 y{5¯62 qKz¬s{zIv"r±IºrIds 2 9 3 (1 − θ )Mu + θ k ≤ (1 − θ )Mu + θ M0 ≤ M[(1 − θ )u ] ≤ Mu . ¤ dvb¹Qby{Ã5dhsu_s (1 − θ + µθ )u ≤u , 2 95 3 ¹ _dyud u z}qsu_bdÃpz}q{5q{z´stoZqK5°¬wbs{zIv ¨ 2 ~/v < 3ï± mrz¬vd u z}qUs{_bdÃ6z}qu5q{z¬stoZq{I°wrs{zIv I¨ ~/v ª 3ïºãIv º1¨©5y»I°¬° v)¨©Iye°° º/¹\dU_GÃ5d¦s{_¯s z}qª Ãp2 z}q{5q{z´sto¼qKwb§bµNq{fI°wr(x) s{zIvZ≥¨ 0 sup L x(x, Dv(x)) =α0 ± i?IyudÃ5dy3º/§po)(1su_b−d<θ5v+qtsuy{µθw¯ïs{)uzIvZ¨su_bd q{d8|6wbd8vd 2 r 3ºbv§po 2 9 3ºr¹%d_GÃ5d (1 − θ + µθ )u ≤ (1 − θ )u + µθ |u | , 2 5 3 Mu ≥ (1 − θ )Mu + θ k. 2 5§*3 ^'¾pzvb¥su_bdrz¬ÍWdyudvd®§Mdst¹\ddv 2 II< 3Uv 2 I*§ 3ïºhIv ¾pvb¹ zvbs{_¯s u z}q¦su_bd®Ãpz}q{5q{z´sto q{I°wrsuz¬5vI¨ 2 ~ã*v 3ﺯ¹%d_GÃ5d N. u1 ≤ u 0. 2. 1 N. 1. n. 0 0. 2. 0. 1. 2. 0. 0. 0 0. 0 0. . . n. n+1. n. n+1. n. 0 0. n. N. n n. n. n. n. n. n. n. n. n. n+2. n. n. n. n+1. n. n+1. n. n+1. n+2. n+1. αi. αi. n. i. αi. n. n+1. n. n+1. n. n+1 n. n. n. n. n+1. 0 0 n. n+1. (1 − θn + µθn )un+1 (x0 ) − Mun+1 (x0 ) ≤ (1 − θn )un+1 (x0 ) + µθn |u0 |0 − (1 − θn )Mun (x0 ) − θn k. rm ¹\d Iv»quGos{_¯s z}q1Ãpzqu6qKz¬sto(qKw§rµNq{I°wrsuz¬5vªI¨ 2 ~/v.3±'^`_d+IceIy{z}q{Iv y{zvzb°dz¬ceb°z¬d3q 2 (1−θ 95 3ïºrIy`+µθ d3|5wz¬Ã)u°dv6su°¬o u −u ≤ θ (1 − µ)u . 2 <3 ≤ (1 − θn )un+1 (x0 ) + θn k − (1 − θn )Mun (x0 ) − θn k ≤ 0. n. n. n+1. n+1. ìì çKöLïõL. n+2. n. n+1.
(171) G. (
(172)
(173) * )
(174)
(175)
(176) . Ajq1zv?¿¬H9bº5~ãy{p¨W¨Ms{_dIyudc 9±ÁGÂNºI§po(su_bd+zvbd8|6wI°¬z¬s{zd8q. ¬z v ±/^`_bd8v¹\dvsuI¾Id (1 − µ)u zvrw¯ïs{zIv"¹\dR_GÃId N. 1. θ1. Iv¦u¹\d−Iu§rs≤zv uu = 1−µ 0. 1. 0. zv. #, ) <!#"$%". º5¹%dhI§rszv. ºbIv¦§po. RN u1 − u 2 ≤ 2 2 − u3 ≤ (1 − µ) u2. un+1 − un+2 ≤ (1 − µ)n+1 un+1 ≤ (1 − µ)n+1 |u0 |0 .. 2 <@3. 2. ·\o 2 r3v 2 I.3ºE¹\d¦IvÌvB¨©wbvs{zIv u ∈ C(R ) º1q{w_Às{_s |u − u| → 0 º'¹ _bdv ±/~/yuIM5q{z´suz¬5v<r±Ivs{_bd(qKsuI§bz°¬z¬stoUI¨q{I°wrs{zIv¯q`z¬ceb°o¦su_s z}q+eÃpz}q{5q{z´stoUq{I°wrsuz¬5v n → +∞ I¨ 2 4~ 3ï±\^`_bdv"¹\d(IvBquGos{_¯s u IvpÃId8y{5d8qãs{ u ºrs{_bdwvbz|6wbdÃ6z}qu5q{z¬stuo¦qK5°¬wrsuz¬5v"¨ 2 ~43º¹ _bd8v ± ¤ d(¹`v6s sud8qKs{zces{dIv"wbbMdyh§MIwv"¨ u − u ¨©5yhv?yu§bz¬s{yyuo n ±\·\o 2 I<3`v n q{zv→d +∞ ºb¹%d5§rsuIz¬vs{_s8ºr¨©5y+°° n ≥ 0 º (1 − µ) < 1 N. n. 0. n. n. un − u ≤ . +∞ X i=n. (1 − µ)i |u0 |0 =. !"$#&%(')+*-,/.&%1>59. %. *. = ". 2 G<3. (1 − µ)n (1 − µ)n |u0 |0 = |u0 |0 . 1 − (1 − µ) µ ! .;%. %. Ajq`¹%d_¯GÃIdrIvbd¨©5y`s{_bdd3|5w¯s{zIv 2 ~ 3ﺹ\d¹ z¬°°EIbbyu5I_ 2 m 3\§poUeq{d8|6wbd8vd¨d8|6ws{zIvq8± 6Eds u ∈ C (RN ) §¯dsu_bdwbvbz}|6wbd(qK5°¬wbs{zIvB¨ h0. mrz¬vd ¸Iy. 2 mr<3. b. S(h, x, uh (x), uh ) = 0,. Muh0. x ∈ RN .. z}q Iv6suz¬vpwb5wqº6su_bdyudd«rz}qtsq ªwvbz|6wbd(q{I°wrsuz¬5v. uh1 ∈ Cb (RN ). max{S(h, x, uh (x), uh ); uh (x) − Muh0 (x)} = 0,. n = 2, 3, · · ·. ºr¹\dvbIs{d. uhn. ¨. 2 I<3. x ∈ RN .. s{_dwbvbz}|5wd(Iv6suz¬vpwb5wq v§MIwbvbd8"qK5°¬wbs{zIvB¨. 2 mpv*3 zv ±1ghq{z¬vb»yudcyu¾¦r± 9 ^`_bdj¨©wbvs{zIv zq`»qKw§rµNq{I°wrsuz¬5v¦¨ mr<3ºbv¦s{_bd8v IvÀIquqKwbcersuz¬5v u2 mbh1.3ºE¹\deÃIdyuz¬¨©o"s{_s uh 2 ≡ 0 zq"q{wb§rµ¶qK5u°¬h1wbs{z≤Iv®uIh0¨ 2 I Rh3 Nzv RN º'v®s{_dv¹%d _¯GÃId 0 ≤ uh1 ≤ uh0 zv RN ±`~/yuIM5q{z´suz¬5v<r±zceb°z¬d3q s{_¯s 0 ≤ Muh1 ≤ Muh0 ºbs{_dv uh2 zq+ q{wb§rµ¶q{I°wrs{zIv¨ 2 I ï3 ºbIvB_bdvd u ≤ u z¬v RN ±/·\o¦z¬v¯rwïsuz¬5v"Iv n ºb¹%d5§rsuIz¬v max{S(h, x, uh (x), uh ); uh (x) − Muh(n−1) (x)} = 0,. h2. x ∈ RN .. 2 I<3. h1. 0 ≤ · · · ≤ uhn ≤ · · · ≤ uh2 ≤ uh1 ≤ uh0 .. Ajqz¬v)q{wb§q{d8s{zIvb±Iº¹%dq{wbbM5q{des{_s. ±U^`_bd8vºqKzvd u |u | > k I v % ¹ ( d 8 " v b _ p 5 { q d K q w _ { s ¯ _ s ºbIv µ|u |u | > k µ ∈ (0, 1) µ|u | < k ÆpÊ Æ ' %% n h0 0. . 0 0. 0 0. º¹\de_GÃId°}q{ ±. → u0 h0 |0 < k. h0. . uhn − uh(n+1) ≤ (1 − µ)n |uh0 |0 .. 2 b3. æ©Ù'ìæèÚ.
(177) 3.
(178)
(179)
(180) "!$#&%' ( )* +%,!$.-(%/(. Ê Ê <: ¤ djw¯qKd su_bdq{Ic»dhc»ds{_brbq\Iqãz¬v¦s{_bd8Iyudcb±IºIsu¾pzvbªq{Iced ±1^`_bdjwbvbz}|5wdjrz¬ÍMd8y{d8vd z}q su_s¹%d_GÃIdsuUqK_¹Qsu_s (1 − θ − µθ )u zqj¦qKw§rµNq{I°wrsuθz¬5v?¨ 2 mpv .3ïºM¹ _bz}_<Iv §Md¹ yuz´s{s{dv n. n. n. h(n+1). x ∈ RN .. max{S(h, x, uh (x), uh ); uh (x) − Muh(n+1) (x)} = 0,. ¤ z¬s{_Bsu_bdceIvbIs{Ivzz´sto¦I¨ S º¹%dI§bsuzvs{_bdyud8q{wb°¬s8± 2 ¤ dj_¯GÃId byuÃId3»s{_s u IvpÃId8y{5d8q's{s{_bdqK5°¬wbs{zIv _¯GÃId. uh. hn. uhn − uh ≤. +∞ X i=n. (1 − µ)i |uh0 |0 =. I¨ 2 m3º5¨©5y. n → +∞. (1 − µ)n |uh0 |0 . µ. ±'i?5y{d8ÃId8y1¹%d 2 5.3. B !B`Ä*À(!B&
(181) ( B %( % B'*"#+ J¶v¦s{_bz}q`qKd3ïs{zIvU¹%dj¹ z¬°°WwqKdhs{_bdcedsu_brbqãI¨ã¿ GÂ:ºW¿ÁGÂNº6s{5§rsuIz¬vvUwb¯d8y%§MIwv¦I¨ u − u º6¨©Iy I°¬° ± ¤ dqKsuIyKs`¹ z¬s{_s{_bd5qKd ºbIvsu_bdvB¹%d¹ z°¬°qKs{wbos{_bd5dvbd8yuI°M8Iq{d n ≥ 1 ±1¸'zv°°¬o5º ¹\dn¹ z¬°°wq{ds{_bd3qKdd3qtsuz¬cs{d8q\suenI=§rs0zvsu_bdwbbMdy §MIwvB¨ u − u ± . n. hn. h. ;. . . */). %. -= ,/.&)?9&,. . = . 9. != )?>. . %5vq{zrd8y\s{_bdbyuI§°¬d8c 2 ~ã 3`vBz¬suq Ãpz}q{5q{z´sto¦q{I°wrsuz¬5v Lu0 := sup. u0 ∈ Cb,l (RN ). ±6ds. [cαi ]1 |u0 |0 + [f αi ]1 . 1 − [σ αi ]21 − [bαi ]1. ¤ d yud8I°¬°W_bd8y{dsu_bdy{d3qKw°´s+I¨%¿@6º 6EdcecA(±ÂN± %Æ )¡ 2 1
(182) L
(183) ) #!.! -#&)# 4
(184) !* (,
(185) +) ) u 2 %5vqKz}rd8ysu_bd?q{_bd8ced mb< 3ªvPz´sq»q{I°wrsuz¬5v ± ¤ dBy{d3I°¬°%s{_s v qusuzqK¨©o?IquqKwc»bs{zIvq 2 A(µ A2 . 3hv 2 mWµtmb< 3ï± Ahv®wbu¯d8yj∈§MCIwb(Rv¯<)¨ u − u _5qh§Mdd8Lv<I§bsuzvbd3S zv¿ Â:±\³+d8y{d¹\dvbdd3Bs{yud¹ yuz´sud(qK5cedzrd3Iq`I¨'su_bz}q Mdy3ºbzv?Iyrdy`su¦rdsz°IvqKsuIv5sq`¹ _bz}_ IbMd8y`zv"ÃGIy{zIw¯q%y{p¨Óq8±1^`_bd(wb«pz°zIy{od3|5w¯s{zIv 2 q{dd¿H G 3 2 ~%~43 x∈R , sup L (x + e, Du (x)) = 0, _¯Iq ewbvbz}|6wbdÃpzqu6qKz¬stoUq{I°wrs{zIv u ∈ C (R ) 4± 6Eds u su_bdceI°°¬z¬Ì¯s{zIv"¨ u ºrdÌvbd3B5q zv 2 G<3± ¤ d5z¬Ã5djvb¹ »°¬d8c»cewq{d¨©w°z¬vBsu_bd(qKd3|6wbd°:± %Æ )¡ 2 ' ?( g ∈ C (R ) )#
(186) %%
(187)
(188) ) g $( = |h| ) J -
(189) ) . )$
(190) ) $ Q(g ) ≤ |J|K |g| |h| . 2 I< 3 αi. . . u0. 0. h0. b. N. αi. 0. 0. αi. αi ∈A,|e|≤. 0. . b,l. b,l. N. 0. 0. γ ¯. . . ìì çKöLïõL. N. N. h0. c. 0. γ ¯.
(191) .
(192) H9. (
(193)
(194) * )
(195)
(196)
(197) . #, ) <!#"$%". ÊÊ <:/ghq{z¬vb 2 8<3ºrIds . Q(g ) = Kc |g|0. X. 1−i |h|ki = Kc |g|0. X. |h|γ¯ (1−i)+ki .. mrz¬vd γ¯(1 − i) + k ≥ γ¯ ºb¨©Iy+°° i ∈ J ºb¹%d5§rsuIz¬vs{_bdyud8q{wb°¬s8± 2 ¤ dy{d3I°¬°
(198) _bd8y{dsu_bdy{d3qKw°´s ¨`¿Ápºb~/yuIM5q{z´suz¬5vB± Â:ºr¹ _dyud¹\drdsz°qK5cedIvqKsuIv6suq8± Ê ãÊ Ó Ê u ∈ C (R ) -
(199)
(200) !5 (% #&
(201) ) 10 ) u ∈ C (R i∈J. i∈J. i. . . (% #&
(202) )
(203) $() 0 b,l. . N. h0. . u0 (x) − uh0 (x) ≤ C¯0 |h|γ¯ ,. . +. ) )*% 5 )F ) ) . N. ). . ¯ 3 2 E0 2 .9 3. ∀ x ∈ RN ,. C¯0 := |J|Kc |u0 |0 + R,. .!. b,l. #& !
(204) ) - . Ê Ê <: J¶v¥¿ ÂEsu_bdIwrs{_b5yuq+ÃIdyuz¬¨©o¦s{_¯s z}qh°5q{q{z}°q{wb§rµ¶q{I°wrs{zIv"¨ 2 ~ã<3±`·\os{_bdªIv¯qKz}qtµ sudvo¦_pop¯Is{_bd3qKz}q 2 mr 3ïº 2 8 3`v°¬d8cece u 9¯± bº R. K. 0. S(h, x, u0 (x), u0 ) ≤ Q(u0 ) ≤ |J|Kc |u0 |0 |h|γ¯ ,. x ∈ RN .. i<IvbIs{Ivzz´stoz¬ceb°z¬d3qsu_s u − |J|K |u | |h| ≤ u ±?·\o¼¿ rº 6d8c»c A±¬Â:º'¹\d¦_GÃIdesu_s ºr¹ _bdyud R rd8¯d8vbq 5vb°¬oUIv K bdÌvbd3Bz¬v 2 A3±ãmpe¹%d_GÃ5dhsu_bdyud8q{wb°´s3± 2 |u − u | ≤ R 0. 0. ;. c. 0 0. γ ¯. h0. 0. . . */). %. -= ,/.. n. . = . 9 =)?>;. n≥1. %5vq{zrd8yªv¹s{_bdBbyuI§b°dc$¹ z¬s{_ n zcebwb°}qKzIvq 2 ~/v*3ïº%¨©Iy n ≥ 1 º%vPz´sqeÃ6z}qu5q{z¬stoq{I°wrsuz¬5v ± ¤ d Id8vbdy°/z 88d%_dyud%su_bd+cedsu_br»¨¿ GÂNºI§poªz¬v6s{yurrwz¬vbsu_bd ¯d8yKsuwbyu§¯d3ed8|6wsuz¬5v u ∈ C (R ) 2 ~/v4~ 3 max sup L (x + e), Du (x)); u (x) − Mu (x) = 0, su_s/_¯Iq1wbvbz}|6wbd`Ã6z}qu5q{z¬stoqK5°¬wbs{zIv u ∈ C (R ) ±'^`_bd vd«ps/y{d3qKw°´s3ºbyuÃId8z¬v»su_bd+bMdv¯rz´«
(205) º 5z¬Ã5d8q\wbbMdyh§¯5wbvbq`I¨ 6Ez¬qu_bz¬s 85vqKsuv6sq`¨ u v u ± %Æ )¡ 2 ?( ) < )$
(206)
(207) !5 % #&
(208) ) 10 )(B)# 10 ) 0 7 !
(209) + % 5 n ≥ 1 $() u u L =L , 2 5. 3 [c ] |u | + [f ] 2 I< 3 L = max L ; sup . 2 1 − [σ ] − [b ] gjqKzvbes{_d(q{Ic»dcedsu_brbq Iq\¨©5y+qKd3|6wbdvd 2 r 3ïºb¹\dIvBq{_b¹su_s 0 ≤ ··· ≤ u ≤ ··· ≤ u ≤ u . 2 @3 %5c§bzvbzvbe¹ z´su_ 2 I 3ïºb5ds 2 .G<3 0 ≤ ··· ≤ L ≤ ··· ≤ L ≤ L . ^`_bd¨©5°¬°¹ zvbªyud8q{wb°¬s+zq`y{Ã5d8¦zvBs{_bd(IbMdvrz¬«
(210) ± n. . N. b,l. αi. n. αi ,|e|≤. n. n. n−1. N. b,l. n. n. . . n. n. un. αi. un. u0. αi. n. un. u0 1 n 0 αi 2 1. αi. αi. 2. u2. 1. 1. 1. u1. æ©Ù'ìæèÚ.
(211) G.
(212)
(213)
(214) "!$#&%' ( )* +%,!$.-(%/(. ÊãÊ Ó Ê. . )#. Aun ,un. . ) - -
(215) (
(216) 57 (% #&
(217) ) 10 ) ) -< ) u
(218) ) n u$n(). 10. . ) 02 !
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