Some remarks about the Riemann problem of first order Hamilton--Jacobi equations on general geometries

Texte intégral

(1)Some remarks about the Riemann problem of first order Hamilton–Jacobi equations on general geometries Remi Abgrall. To cite this version: Remi Abgrall. Some remarks about the Riemann problem of first order Hamilton–Jacobi equations on general geometries. RR-2442, INRIA. 1994. �inria-00074233�. HAL Id: inria-00074233 https://hal.inria.fr/inria-00074233 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Some remarks about the Riemann problem of first order Hamilton–Jacobi equations on general geometries Re´mi Abgrall. N˚ 2442 Dećembre 1994. PROGRAMME 6. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5) ! " # $%

(6) &$'( ) * +,-/.102 34!56 7

(7) 8 ( 8 ( 9-$

(8) : =?; >A@9BCEDGFIHKJLJ2M < NPORQTSUOWVIX*X*YZ7[ \$V^]`_,a?]GbW_dceY,fUgRcihkjlamYonpX*Q?qYdr ]ic`bsV^gRceQUfYdgt]`QTSoce_dc`Yd]GflamXuY,r Ovc`jlamY NPORQowRYdgyxoc`flamb z{VI|m|pQUOvgtqmY(ORY,_s}mY,OR_s}~Yf7IT9[ 2Y,r _,Y X7mORYUIy[ |kVoSTY,b. d+mIU Y$VIORYcefTgWY ORY,bRgWY,q7c`f7gW}mYtXQTbRgSTY,fmY,OWV+]mzc`Y,XVIfmf|~ORQU?]eY,X<QTOhkORbRgPQUOv qmY,OE9VIX c]igWQUflmTVo_,QT?c?Y,jaV+gRceQUf~b Y|mORQT|pQUbWY-g$Q(cefmY,jlakV+]icigRc`Y,b gW}kV+gPgW}mY¡cebW_,QTbRcg¢ bWQI]à?gRceQTf/bsV^gRc`b£hkY,b P¤¥}c`btSUY,fmY,OWV^]ce¦,YVORY,bWa]g4Qo¨§VoORq?cVIfmq©9bW}mY,Oª «¬TK®R¯°+±o5² ceORbRg{QTORqmY,O¥}VoX ci]gWQTf~UVI_,QU?cGY,jlakV^gRc`QTfmb nzc`Y,XVof~f|mORQT?]eY,X ³`´*¶¸µ ·v¹º ¶µ » ¼½·£¾¿dÀ ÁvÂªÃ^ÄªÅÆÂsÇÈÇÊÉ Ë¸ÌdÍ+ÎÏÐÂÑ ÏÐÒ+ÅÏÐÂÑ ÓÅ. Unite´ de recherche INRIA Sophia-Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France) Te´le´phone : (33) 93 65 77 77 – Te´lećopie : (33) 93 65 77 65.

(9) +6

(10) $6

(11) 3434($ ! ' '

(12) 6 7

(13) ' ) * +,-/.102 34! ' ( $'

(14) P '

(15) 8 ( 9E$

(16) 6^3{ 6

(17) ¬l ¬

(18) QTambf~QUamb9cefTg~Y,r ORY b bWQUf~b Voa |mORQU] Y, X*Y*qmYz$ceY,XVofmf ]`Y*|?]eambSY,r fY,r OWV+] qmY,b Y,r jlakV^gRc`QTfmb/q~Y VIX c]igWQTfmTVI_ QT?c9qma |mORY,XceY,O/QTORqmORYo

(19) QTamb1|mORQU|pQTbWQUf~bqmY,a c`fY r SlV^]cig~Y,r bja~Y¡EY,r OvcihkY] VbWQI]àgRc`QTf qmY2¡lc`b _ QTbRcig~Yor ¥\EY b*cefY,r SlV+]icg?Y,r bS Y,r fY,r OWV+]icebWY,fUgamf OY,r bWa?]igsV+g4qmY§$VIORq?cYdgy©9bW}~Y Oª °md®W ¬ jaV+gRceQUf~bq~Y 9VIXci]igWQUf~TVo_,QT?c$qma |mORY,X c`Y,O*QTORqmORYon-|mORQT?] Y X*Y2qmY z$ceY,XVofmf.

(20)

(21) !#"$ &%' )(*

(22) + ,$-./

(23) '012#3 45

(24) 6$ ". YVoORY(cefTgWY,ORY b£gWY q1cef/gW}mYybWQo]ea?gRceQUf~b¥QI 8:9<;>=@?BA8DC EGF cefIH zKJML ¥cigW} VIfcef?cigRc V^]_,QUf~q?cgRceQTf. ?BFON;*PQC. 8SRT?VUDC EG8SRWX?VUDCY;Z8R[\?VUC]NÛ`_ H zaJ. 7. ?C ? C. {}mY,f T =b_dce? H zKJ C n ~ 8 RWYªg 8 R[9VIORYORY,bW| Y,_dgRci¡UYd]¢1_ QTfT¡UY Kn_,QUfm_V,¡TY VIfmq/amfcQTORX ]¢gf c`|mb _s}?cigW¦o h g i EGF n 8 ceb V^]ebWQa~f?cQTORX ]¢jfKc`|~bW_s}?cigW¦ VIfmq/_,QTfTgRc`flamQTamb ¤t}?c`b\$VIam_s}T¢ |mORQT?]eY,X VIqmX cigWbV amf?ceja~Y¡cebW_,QTbRcg¢ bWQI]à?gRceQTf c`fk cml? H z J L n FONporq C npgW}mY bW|kVI_,Y QIä~fm_dgRc`QTf{}?ce_s} VoORY7amf?ciQUORX ]i¢ _,QTfTgRc`flamQTamb4c`f Us_ H z J a~f?c QUORX ]i¢ c`t f i _ n F:Npoq Y2¥VIfTggWQSUY,fmY,OWV^]ce¦,Y §VoORq?cVIfmq ©{bW}mY,OXuÈb c`f~Y jlakV^]icgRceY,b n §t©(m q QTf!gW}mY1Y kVI_dgb Qo]ea?gRceQUf Qo4|mORQT?]`Y,X ? d~ C ¤¥}mYdceO cefmY,jlakV+]icigRc`Y,b*qmYV+]tcgW} gW}mYbWQI]ea?gRc`QTf/QI|mORQT?]eY,X ? d~ C {}mY,f 8 RW VIfmq 8 R[ VoOR+Y v 8 RWX?VUDC EG8 W ?VU W N wxw wyNUzC. 8 R[\?VUC2EG8 W ?VUz{ W Nxw w w\NU J C QUOybWQUX*Y}|Gn F~ | ~ %¤t}mYbRgsVIOvgRc`fmS|pQocefTgceb4QU|xÈu b(QTORX a] V gW}kV^gSIc¡TY b bWQI]à?gRceQTf{}~Y fj R ceb4YªcigW}mY,O¥_,QTfT¡UY 2QTO¥_,QUf~_^Vª¡UY+v N. QTO¥V _,QUfT¡TY c`f?cigRc V+]_,QTfmq?cigRc`QTf n 8?VUYN i CmE bWam|. . X . . Ue8 R& ?VOC i =d?VOCV!N. VIfmq QUO¥V*_,QTfm_V,¡UY9cef?cigRc V^]_,QUf~q?cgRceQTf n 8Y?VUN i CmE c`f? Ue8 X . 2 Ò \1X . R ?OC i =@?V:CV!. gW}mY.

(25) . + }

(26) 6 . . ( *

(27) +. Y(qmY,fmQIgWY(T¢g Wg }mY Gf Y,STY f~qmORY(gWOWVIfmbRQTORX Qo ¥:H!5c`bt_ QTfT¡UY Kn ?VOC2E bWam| n U ?VUDCVqN l 5. c ceb¥_,QUf~_^Vª¡UYon H£f. m ?VOCmE l c`f? n KU ?VUDCVq: O f Y STY,fmqmORYgWOWVIfmbRQTORX QoycgWbjfGY,SUY,fmqmORYgWOWVIfmbRQTORX/. Y. . ?7 C. p QogW} _^VIbWY,b n cebgW}mY qmY,fmQIgWY(U¢ gW}mYb Yªg4qmYdhkfmY,q n~QTO¥V _,QUfT¡UY /amfm_dgRc`QTf/T¢ E

(28) \ _ H z J N18x?VOC ; P Vof~qQTO{V _,QUfm_V,¡TY9amfm_dgRceQUf2T¢ E

(29) \ _ H az J N18 ?VOC }P6 Y(bRgsVoOvg4T¢bWQI]¡lcefmS ? d~ C ¥cigW}. . . R ?VUC2EG8 RW ?VUC sU 8 [R ?V:C M8 R ?VUDC]. ¤¥}?ceb c`b-V9_,QUfT¡UY 7a~fm_dgRc`QTfpY,_Voamb Y 8 RW%ceb¨_,QTfT¡UY K Y$_,QTX|~a?gWY R& l§-¢7qmYdhkf?cigRc`QTf n R& ? C E b am| l n U* R ?VUDCVq E bWa~| l 5 n U ?V*;}C 8 RW ?VUCY;>8 [R& ?VOCVq 8 [+?V:C ;Z8 R&W* ?V*;}C ci _ E R& ;*P Yd]`b Y R& ceb4hkf?cigWYciVIfmqQTf?]¢1c j_ VIfmq ; _ ! S HvfgW}mYQI]i]`Qtc`f~Sn~$Y7bsV,¢ gW}kV^ g R ?}CKE 8 [R ?V:C ;Q8 R&W* ?V+;}CE P c #_" K¤t}?ceb(_s}kVIfmSTY b4fmQIgW}?cefmSgWQ gW}mYORY,bWa?]igWb 4QT|?x uÈbQUORX7a?] V n § %$ q bsV,¢?bgW}kV+gtgW}mYbWQI]ea?gRc`QTfceb ?VUYN i C2E bWam| U*' R ?}C i =@? C . &< O. (*) + (*,.

(30)

(31) !#"$ &%' )(*

(32) + ,$-./

(33) '012#3 45

(34) 6$ ". xTgsVIfmqkVIORqc`fmY,jlakV^]cigRceY bQTf ¡lc`bW_,QTbRcigL¢bWQI]à?gRceQTfmbVIfmq bWQI]à?gRceQTf 8 QI ? d~ C bsV^gRc`bRhY b}v cef? bWa~| U*MZ8 [R& ?VOC8 BW R ?V*; C . ?7 C. . i =@? }C M8Y?VUN i C]. &. X O < . ¤t}mYbsVIX*YVoORSTamX*Y,fUgWb4bW}mQ gW}kV^g bWam| c`f? U}; 8R&W* ?VOC2. ! &. X < . bW}mQ gW}kV^g*gW}mY1¡cebW_,QTbRcg¢. . i =@? }CV*~M8?VUYN i C]. ¤¥}?ceb¥STY,fmY,OWV+]ice¦ Y,bgW}mYORY,bWa?]ig{QI n §¥©(~ q + ° E° e

(35) ° \ "0#"# $*"X6 45$ . 8 a$

(36) 450X)& , T. "X

(37) 6$ ""! m "$#&% O 8 R EG8 RW ;Z8 R[

(38) 01y"' 8 RW

(39) %

(40) 010#

(41) (y 8 R[*). c`f X bWam| &<# O n U ? OC 8 [+R ? Cs8 BW R ?VOC i =@?G :CVq M8Y?VUN i C b am| X cef? &< n U* ? d:CZ8 [R& ?VOC8 R&W ?}C i =@? d:CVq ¬ m +, .-0/ 8 R[ "* %6 <$ 01

(42) ' 12y

(43) S "1' 3# $ K<& \ 4O" <13 45

(44) ' $ "2(! \ %'e$ 4\ "X0#"# $+"' 45$ @]#01

(45) 4O" 8 [R E }P "'60# D$S E F

(46) 576 e

(47) X83#&% $ z

(48) <% 9)

(49) %)

(50) %;: "1 < "

(51) "1"#4O K$ S"=#>%2 4O" "\$ UtEI?VU?NUA@C % U?G_ H z UA@d_ H K z JCB z 5D 8 RW?VUCFE8 RWX?VU?YC

(52) % 8 R[T?VUCFE8 R[T?VU

(53) @C # 0\,#

(54) X1%2*O

(55) (y ;*P " F ci G@ EG 8 R&W ?VOCmE 8 RW* ?V3?C Yd]`bWY . "1 + ,

(56) }& "#45,$20#

(57) d+ $-

(58) <1% ]e%'1%4501#%. 5. 8 [R&. ) 9)

(59) &%m

(60) %H:. "1 < "}& "#45,$ "}0#

(61) `#

(62) "# 1. !++34 7 E

(63) + " LKs

(64) ! 8 (

(65) ¨

(66) Y1_ QTfmbRceqmY,O ? d~ C QTOV|c`Y,_,Yd¥cebWY]ic`f~Y^VIO7c`f?cigRc V+]4qkV+gsV?FMQTORY/|mORY,_dcebWYd]¢Un H zaJ ceb |kVIOvgRcgRceQUf~Y q1cef VIfmSTa?] VIO$bWY,_dgWQTOROb N W Nxw w w\N NQPm Y(qmYdhkfmY 8 U` ¢ v U`_ NQR N18 R ?VUC2ETSQ; kUR UY ? C I. J. 2 Ò \1X .

(67) Z. + }

(68) 6 . |?ceY _,Yd¥cebWY(]icefmYVoOa~fm_dgRc`QTf/ceb¥_,QTfT¡UY 1ciEVIfmqQTf?]i¢c h. 2_ y

(69) FON w wxw\N6NU _. N R.

(70). . N _ TF:N w w w\N 6N ? k k R C U`~MF:. ? C. ² QTO¥V*|?ceY,_ Ydtc`bWY9]icefmYVoO$_,QTfm_V,¡UY amfm_dgRc`QTf ngW}mY ~ QI ? C ceb¥X*Q?q?cihkY,q/cefTgWQ V Y fmQIgRc`_,Y7gW}kV^g 8 R ceb{gW}~YbWa~X QI¨g$Q/|?ceY,_,Yªtc`b Y]ic`fmYVIO¥a~fm_dgRc`QTfmb 8 W Vofmq 8 [ n ORY,bW| Y,_dgRci¡UYd]¢ _,QUfT¡UY Vofmq*_,QTfm_V,¡UYoI¤¥}c`bPqmY,_,QUX*|pQUbRcigRceQUfyc`b-fmQIgämfc`jlamYonTmag 8 W Vof~q 8

(71) [ ceb9VofmQIgW}mY,O4QUfmYon~gW}mY,ORY7Y cebRgWb(V ]cefmYVIO¥amf~_ªgRceQTf bWam_ }gW}V+g 8

(72) WE 8 W ; Vof~q 8

(73) [ EG8 [ ¥p¤t}?ceb¥ORY,bWa?]ig¥ceb¥ORY,_V+]i]eY q1cef h |m|pY,fmq?c h }kV+g9ORY,XV+cefmb4c`b4gWQ_,QTX*|ma?gWYgW}~+Y fGY,STY f~qmORY(gWOWVIfmbRQTORX QIV*|?ceY,_,Yªtc`b Y]ic`fmYVIO _,QUfT¡UY 1a~fm_dgRc`QTf Y(}V,¡UY U _. N R. N]U*e8?VUDCmETSt;ZU* ?Ve k R ]C . Tx cefm_,Y$YVo_ }N Rmc`b cefU¡oVIOvc VofTgT¢ bRceXci] VoOvcigL¢UnIci sb V+gRcebRhkY,bmvIgW}mY,ORY¥Y c`b£gWb Ydg U _ NQRbWQ gW}kV^g gW}mY,f. 8 ?VOCmE;*P. . 4Y,fm_,YTn. 8 ?V:C G;*P. . ?Ve k R CU. . 2_ y

(74) FON w wxw\N. F:N. 2_ y

(75) FON wxw wyN6NYUj_. NQR. N ?Ve k R SC ]U ~MF:N. ?Z C. oV f~q $Y$}V,¡UY 8 ?VOCmETS Y,_VIambWY F _ NQRL Y_ }kVoOWVI_dgWY,Ovc`¦,YgW}?cebPbWYdg THLg c`bP_,QUfT¡UY Kn^cig _,QUfTgsV^c`fmb4YVo_ } k +n _#

(76) yFON w wxw\N bRcefm_,Y 8 ceb{_,QTfT¡UY Kn~gW}a~b{gW}~YªceO4_ QTfT¡UY Y,fT¡UYd]eQU|pY U h bWbWamX*Y*fmQ gW}mY,ORYY c`bRgWb _ " bWQ 8 ?V:C ;*P ¤t}mYdcÒyY cebRgWb VIfmq bWam_ }gW}V+g Vof~qdk R QTO V^]i] r_

(77) TFONxw w wyN gW}lamb ?V k R CF Vof~qgW}mY,f 8 ?V:CmE;*P Y(}kV,¡TY|mORQ¡TY q S c _. 8 ?V:CmE ?6C ; P Yª]ebWY ¤¥}mYyQUORX7a?] V ?'C ceb{bRgRci]i]gWORamY7QUO4V_,QUfm_V,¡TY(amfm_dgRceQUf2ci¨$Y7_s}kVIfmSTY(gW}mY ;*P c`fTgWQ P VIfmqORY |] VI_,Y . T¢ U\¨]`YVIOv]¢Un 7c`b4gW}mY bR¢?X*YªgWOvce_ Qo . ¥cigW}ORY b | Y,_dg gWQgW}mY9QTOvc`SIcef l¤t}a~b n Y{QT?B gsV^c`f*gW}~Y{QI]i]`QtB c`f~ScefmY,jaV+]icgRceY,bQUfgW}mY{b Qo]ea?gRceQUfQIKgW}mY z$ceY,XVofmf1|mORQT?]`Y,Xbv S>; c`f X ! bWam| &< ?VU* ?t;:C i =@?Q;s:C&C 8Y?VUN i C ?$C S>; bWam| V ? * U. ? t ; : C @ = ? Q s ; : & C C ~ Y 8 V ? U N ] C ` c ? f i i ! &< X. (*) + (*,.

(78)

(79) !#"$ &%' )(*

(80) + ,$-./

(81) '012#3 45

(82) 6$ ". .

(83) QogWY4gW}kV^g ?$C c`bc`f~qmY,| Y,fmqmY,fTg{QIGgW}mY(qmY,_,QTX|pQTbRcgRceQTfQo 8 ¤¥}c`bQTORX a] V }mYd]e|mb$gWQ amfmqmY,ORbRgsVIfmq }mQ gWQ9q?c`b _ ORYdgRce¦,YgW}?cebg¢?| Y$QI N- QTfVIf amf~bRgWORam_dgWamORY,q*XY,bW}K+¤t}mY,bWY Y,jaV+gRceQUf~bVIORY4XQ?q~Yª]ebPQUOV9tc`q~Y¥¡oVIOvc`Ydg¢QoG|m}T¢?bRce_^V^] |~}mY,fmQUX*Y,fmQTfmb ? |mORQT|kVoSlV^gRc`QTf Qo pVoX*Y,bQTO$Y kVIX*|?]eY C ngW}mYd¢VIORY9}mYd]`|a?]KQUO$_,QTX*|ma?gWY,O¡lc`b£c`QTf n~X*Y b }SUY,fmY,OWV^gRc`QTf n YdgW_T¤t}mY,bWY(|mORQT?]eY X*b4}kV,¡TY(gWQ* Yb£gWamq?ceY q1QUf2_,QUX*|?]eY 2STY QTX*YdgWOvc`Y,b . &("l(34

(84) n § $ q M!7§$VoORqc VIfmq fP \4 ¡oVIfmb ©9f {QT|?xu bQUORX7a?] VobQTObWQI]ea?gRc`QTfmbQI 9VoX ci]gWQTf?£TVI_ QT?ckY,jlakV^gRc`QTfmb <1

(85) K<

(86) 68"# "$#O1=(#\$ \%"a

(87) <% m6D 0#

(88) 6$ "Wn $:? T C n $ m n §t©(m q M! §$VoORqctVIfmqxkP©9bW}mY,Oª1¤¥}~YfmQUf~_ QTfT¡UY X7a?]gRciLqc`X*Y,fmbRceQUfV+]$zc`Y,XVof~f |mORQT?]`Y,X QTO 9VIXci]igWQUf?vUVI_,QUcY,jaV+gRceQUf~b 6

(89) b/ 5

(90) '$ 5 r<

(91) 6 5 nGT ? C n MVoOR_ }!Tmo 34

(92) P, " ! 3{&+

(93) +^( "? 3 [ fGYdg a~bVobWb amX*YgW}kV^gH z E N W wxw w N P~nKYVI_s}VIfmSUa] VIO{b Y _dgWQTORb9XY,YdgV+g

(94) Y ORY,_^V^]i]~}~Qucebmac]iggW}mYq~Y _,QTX*| QTbRcigRc`QTfQI V¥|c`Y,_,Yd¥cebWY-]cefmYVIOGamfm_dgRceQUf 8 VIbGgW}mYbWamX Qo |?c`Y,_,Yd¥cebWY9]ic`fmYVIO¥_,QTfU¡TY Vof~q/_,QUf~_^Vª¡UY(amf~_ªgRceQTfmb n{}mY,ORYpQIgW} VIORY(_,QUfTgRcefa~QUamb, Y/_,QUf~bRc`q~Y OygW}mY/_,QTfT¡UY Y,fT¡UYd]eQU|pY/QI¥gW}mY2STOWVo|m} QI 8 HLg*ceb gW}~YSTOWVo|~}uQI V _,QUfTgRcefa~QUamb(|c`Y,_,Yd¥cebWY ]cefmYVoO4amf~_ªgRceQT@ f ¥ Y ¥VIfTg(gWQbW}~Q gW}kV^*g !E 8j ceb gW}mY4bWamX QIpgL$Q7|?c`Y,_,Yd¥cebWY$]icefmYVoOPamfm_dgRceQUfKnI{}mY,ORY4QUf~Y$ceb_ QTfT¡UY {}mY,OWVIb¨gW}~Y{QIgW}mY,O QUf~Y9c`b4_,QUfm_V,¡TYo xTcefm_,Y4gW}mY9SUOWVI|m}QIY uceb-gW}mY9_,QUfT¡TY Y,fT¡UYd]eQU|pY{QI 8 n ceb-gW}mY9bWamX QoKamfm_dgRceQUf~b gW}kV^gVIORY¦ Y,ORQYd¡UY,Ov¢l{}mY,ORYY ~_,Y,|?g cefuV2_,Qo]i]eY _dgRceQUf Qo4VofmSTa?] VoO(b Y _dgWQTORbgW}kV^g X*Y,Ydg V+ g

(95) MQUORY,Q¡TY,O¥cig9c`b(Vf~Y SlV^gRc¡TYamfm_dgRceQUfK Vo_ }QoPgW}mY,bWY VofmSTa?] VoO4bWY,_dgWQUORb4ceb4gW}mY _,Qo]i]`Y,_dgRceQUfQI b Yª¡TY,OWV+] NQRL6 HvfQTORqmY,O-gWQ bRceX*|?]ci ¢ gW}mY4gWY g nU$Y VIbWbWa~X[ YtgW}kV^g-gW}mY,ORYyVIORY QUf]¢1gL$QQIgW}mY,X/n N W VIfmq N [ nKVobtQUf ² c`STamORYo YybWYdg N E H z N W N [ nKVof~q J. . 2 Ò \1X .

(96) $. . + }

(97) 6 . . ! ! . . ! . . . $Y_,QUf~bRc`q~Y OEgW}mY_Vob Y(Qo¨V7amf~_ªgRceQTf. . ² ceSUamORY6v. q~YªhfmY,qT¢v. 8 MF. cef N cef N W cef N [ Y(qmYdhkf~Y(gW}mY(]ic`f~Y b n W Ydg [ npVofmq gW}mYbWYdgWb N WªnN [{T¢dv k W ]UjE k [ ]U QTf n k W ]UjE F QTf W n k [ ]UjE F QTf [ n q k [ U`~ k W U`~MF QTH f N [ k W ]U ~ k [ U`~MF QUf N W Vofm` ¤QbsVª¢gW}kV^ga c`b9fmYdcigW}mY,O{_,QTfU¡TY QTO¥_,QUf~_^Vª¡UYX*YVof~b n Y,_VIambWYQIgW}mY7_,QUfm_V,¡lcigL¢U _,QUfT¡UY cigL¢2_ OvcigWY,Ovc`QTf2Qo d v k W ]U ~ k [ U QTf N W N W n?tcgW} Fe~ k W ]U ~ k [ U QTf N W n F 8Y?VUCmE k W U k [ U. (*) + (*,.

(98)

(99) !#"$ &%' )(*

(100) + ,$-./

(101) '012#3 45

(102) 6$ ". . QTf N [ N [ n?tcgW} Fe~ k [ ]U ~ k W U QTf N [ fGYdg¥amb4fmQIgRc`_,Y9gW}kV^g 8 ceb{_,QTfm_V,¡UY(QTf N W N [ fGYdg 8 W pY v F c`f N W N [ W8 ?VUDC E W U c`f N W [ U c`f N [x Y9VoORYt]eQ?QTcefmSQTOV_,QUfTgRceflamQUa~b 8 W v 8 W c`bE¡oVof?cebW}?cefmS7QUf W VIfmq [ nU}mY,fm_,Y W E W k W VIfmq [ E [ k [ QTfQUf~Y{}kVIfmq/VIfmqQTf*gW}mY9QIgW}mY,O}kVof~q$Y9}kV,¡UY W UgE [ ]U QUf bWQ(gW}V+g W E [ E ¨ cigW}*gW}mY4_ OvcigWY,Ovc`QTfQI ?nI$Y{_ }mY,_7gW}kV^g 8 W cebE_,QTfT¡UY c F Y,_VIambWY k W U>~ k [ U QUf N W VIfmq$Y*}kV,¡UY gW}mY*cefT¡UY,ORbWY cefmY,jaV+]icg¢QTf N [ f Yªgtamb{_,QTX*|ma?gWY 8 [ EG8 ^v k W ]U c`f N W [ ]U c`f N [ 8 [ ?VUDC E W k c`f N W k U k [ U c`f N [ Vof~q/_s}~Y _ gW}kV^g 8 [ c`bt_ QTfm_V,¡TY(QUO + v Y v U _ N W n~$Y(}kV,¡U o ? k [ k W CU MF pY,_^VIambWY GF VIfmq/T¢/qmYdhkfcgRceQUfQIC N W n ? ? ; C k W U MF pY _VIambWY* ; MF VIfmq1U¢1qmYdhkf?cigRc`QTfQI N W n 7? ? k [ ; k W CU ^? k W ; k W CS]U MF QTOgW}mYybsVoX*Y(ORYVIbWQUf~b Y v U _ N W n~$Y(}kV,¡U o ? k [ k W CU MF pY,_^VIambWY GF VIfmq/T¢/qmYdhkfcgRceQUfQIC N W n ? ? k W k [ CS]UY? k [ ; k [ CU MF Y,_VIambWY4 ; MF VIfmq T¢qmYdhkfcgRceQUf QIC N W n 7? ? k [ k W CS]U MF QTO$gW}~YbsVIXY9ORYVIbWQUf~b ² QUO U _ N [ QTa N [ n$Y}kV,¡TY(gW}mYb VoX*Y(ORY,bWa?]igWb¥QTOgW}mYybsVoX*Y(ORYVIbWQUf~b h fT¢_,QUfTgRcefa~QUamb|?c`Y,_,Yd¥cebWY4]cefmYVIO-amfm_dgRc`QTfcebgW}mY9bWamX QIGgL$Q _,QUfTgRceflamQUa~b$|?ceYª _,Yªtc`b Y*]cefmYVoOyamfm_dgRceQUfmby{}mY,ORYQTfmY*ceb _,QTfU¡TY Vof~q!gW}mY QogW}mY,O7QUfmY*ceb _,QTfm_V,¡UYo H gL$Q7qmY,_,QUX*|pQUbRcigRceQUf*VoORY4|pQUbWb£c`?]eYon 8 W ; 8 [ E W ; | [ nI{}mY,OR2Y | W n W VIORY¥_,QTfT¡UY Vof~q 8 [ :n [ _,QTfm_V,¡UYonUgW}mY,fgW}mY(_,QTfT¡UY 1|?ceY _,Yd¥cebWY4]ic`fmYVIOamfm_dgRceQUf 8 W [ c`btY,jaV+] gWQ gW}mY_,QUf~_^Vª¡UY|?ceY,_,Yªtc`b Y9]cefmYVoOamfm_dgRceQUf 8 [ W nbWQ gW}kV^g¥gW}mYd¢VIORY(]ic`fmYVIOª k [ ]U ~ k W U. 2 Ò \1X .

(103) Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE` S NANCY Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex 1 Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. E´diteur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399.

(104)