HAL Id: inria-00072424
https://hal.inria.fr/inria-00072424
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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.
Lyapunov Exponents: When the Top joins the Bottom
Dohy Hong
To cite this version:
Dohy Hong. Lyapunov Exponents: When the Top joins the Bottom. [Research Report] RR-4198, INRIA. 2001. �inria-00072424�
ISSN 0249-6399 ISRN INRIA/RR--4198--FR+ENG
a p p o r t
d e r e c h e r c h e
THÈME 1
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Lyapunov Exponents: When the Top joins the Bottom
Dohy HONG
N° 4198
June, 2001
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
1243'5768:9;=<
>.?'@BA=C=DEGFHJI)CLKNMPO$CBQISRPISQ)@BA=CJI
TU)VNWXCBQ>FY[Z
FKN\]\^V_USQ`]CU)CJab?'CBU)a)?'Cdcegf'DLhjikEGljM]c'Cjm/njojoPDpEqh\/KNrsCJI
tugvJwLxNy]zjwj{,|c}QS?]~Ig\/KN\^CBULmN[CaJV_c'IS~`]CBUR KN\]M]c'VLCO4\^V_c'CBc Q)IK_I)I)V4aB~KNQ)CJ`~QS?~Q)CBUbKNQ)CJIVN'UbKNc'`]V_A
M]c'aBQS~V_c'IL?'CBcQS?'CJI)CM]c'aBQS~V_c'IpKNU)CQbKNsCBcU)V_A&KNcS)_PJI)CBQLm]C}IS?'VQS?/KNQQS?'CQ)V_\ KNc'`
QS?'C¡^V_QSQ)V_A¢R KN\]M]c'VCO4\^V_c'CBc Q)IKNU)C}CJ£ M/KN¤¥
¦k§ ¨^©)ª« xN¬vj{ R KN\]M]c'VLCOP\V_c'CBc®Q)ILm'ISQ)V4a)?/K_I)QS~aU)CJaBM]USU)CBc'aJCj.¯±°²7³_´s´®³=µ¶'·LSJ¸B¹Nµbµº)¹j¸»_¼]µ}½
TUS~A¾KNUSR¿DLÀ_Á±ÀjnPm/ÂNfsÃojiPÄÅ4CJaJV_c'`'KNUSRÇÆji_ÈÉnjoPm'ojÀsZ.ÀjoP
ÊË'ÌÍJÎÏÌÐÑÏÒÓJÔÏÕÓÖB×Ø¥ÙNÚÛsÜÝgÞàß±Ó_á¶×âbãäå]æbØ¥çàèéÚSÛêÚÕëpä×LÓ_ìêØíæ¶îêïXÚðË'ÎßæbçñÞ]ò/Ôó¶ôLõJðögóîN÷BøÚXîNèXðùúØ
v { ÃKNc'IaJCBQ}KNUSQS~aB¤Cjm V_c¿aJV_c'IS~`]@BU)C:¤CJICOP\VjI¶KNc Q)I`]C:R KN\]M]c'V¿K_IbI)V®aB~HJIKNMPO~Q)HBU)HJCJI`]C
V_c'aBQS~V_c'IKN¤HLKNQ)V_~U)CJILê V_U)I)£®M'C¤CI)M]\]\V_USQÑ`]C[aJCJIV_c'aBQS~V_c'IgCJI)QS_]J¸BBmNc'V_M'IÑA=V_c QSU)V_c'I¤HBr KN¤~Q)H
`]CJICOP\VjI¶KNc Q)I`]C R KN\]M]c'VLkQ)V_\ÇCBQ¡^V_QSQ)V_A
« wLv © z v*{ COP\VjI¶KNc Q$`]CÉ R KN\V_M]c'Vm.U)HJaBM]USU)CBc'aJCISQ)V4a)?/K_ISQS~£®M'CjB¹Nµbµº[b¹j¸»j¼¯p°² ³_´ ´®³ ½
TUS~A¾KN~U)CDLÀ_ÁpÀjnPm/ÂNfsÃojiPÄÅ4CJaJV_c'`'KN~U)CÆji_ÈÉnjoPmojÀsZ.ÀjoP
^ ()
| Q~ICB¤¤®c'VckU)CJISM]¤Q.QS?/KNQQ)V_\kKNc'`¡^V_QSQ)V_A R KN\]M]c'VLkCOP\V_c'CBc®Q)IK_I)I)V4aB~KNQ)CJ`Q)VQS?'C±~Q)CBUbKNQ)CJIVN
A=V_c'V_Q)V_c'C?'V_A=V_rsCBc'CJV_M'IM]c'aBQS~V_c'ICO4~I)QM]c'`]CBUpK£®M]~Q)C±rsCBc'CBUbKN¤gI)CBQSQS~c]raSDBf
>.?'CV®aBM'IVNQS?'C\]U)CJI)CBc Q}\/KN\CBU~I±Q)V!'c'` rsCBc'CBUbKN¤aJV_c'`P~QS~V_c'IM]c'`]CBU?]~ab?7QS?'CQíVCOP\V_c'CBc®Q)I
KNU)C}CJ£®M/KN¤¥>.?'C}V_c]¤Rk4c'VLcÉaJV_c'`P~QS~V_c'IV_UQS?]~IpCJ£®M/KN¤~QíRÇKNU)CU)V_M]rj?]¤RÇ¡/K_I)CJ`ÇV_UV_c ¡V_M]c'`]CJ`Pc'CJIbI
aJV_c'`P~QS~V_c VNM]c'aBQS~V_c'IV_UV_c I)V_A=C"!]O]CJ`ISQSUSM'aBQSM]U)CVNQS?'CA¾KNQSUS~aJCJI?'CBcÇQS?'CJIbC±M]c'aBQS~V_c'IpK_`PA:~Q
A¾KNQSUS~O U)CB\]U)CJI)CBc QbKNQS~V_c#aX$DjmDLÂ% ,>.?'C¿ISM'&¾aB~CBc QÇaJV_c'`P~QS~V_c'IÇ[Crj~sC~c)(¶Â COPQ)CBc'` QS?'VjI)C
aJV_c'`P~QS~V_c'I¡/K_IbCJ`V_cQS?'C±rsCBc'CBUbKN¤~+*LCJ`c'V_QS~V_cÉVN~USU)CJ`PM'aB~¡]~¤~QÕR`]C,!'c'CJ`~c-(¶nPTU)CB¤~A:~c/KNUSRkU)CJISM]¤Q)I
QS?/KNQCc'CJCJ`$V_UQS?'C\]U)V®VNVN>.?'CJV_U)CBA D}KNU)C±\]U)CJI)CBc®Q)CJ`~c.()f¾KNc'`kQS?'C\]U)V®VN~I~c-(¶ÀP
/ 0
^ )(b0 (b ^()
CIbKLRQS?/KNQ2143568795;:~I"=»_¼»j¸¥»_¼^~gV_UKN¤¤=<?>A@CBD5;6m'<FEG@IHKJ 1;L<.MNEO1;LP@QMmP?'CBU)C
E*`]CBc'V_Q)CJI.QS?'CpM'ISM/KN¤^\]U)V®`PM'aBQV_U)`]CBUS~c]r:VNR5;Sm V_UKN¤¤UT C±IbKLR=QS?/KNQV1~IW4»=»AX®¼S»_®µ[~ÑV_UKN¤¤
Y B-5 KNc'`?<ZB.56mU1;L Y8[ <-MH Y8[ 1;L<.Mm/?'CBU)C}V_UpKN¤¤\<]B.5 S KNc'` Y B.5m YQ[ <!`]CBc'V_Q)CJI
QS?'CsCJaBQ)V_U~QS? CBc QSUS~CJI Y[ L<.M_^)
CBQa`
6
L5bM¡^CQS?'C:I)CBQVNA=V_c®Q)V_c'CKNc'`?'V_A=V_rsCBc'CJV_M'I}M]c'aBQS~V_c'I5
6
7c5
6
:ÑCBQdLfeg>ih'Mp¡^C=K
\]U)V_¡/KN¡]~¤~QíRkIS\/K_aJCKNc'`jQS?'C±IS?]~QV_\^CBUbKNQ)V_UV_ckem®c/KNA=CB¤R$KA=CLK_ISM]UbKN¡]¤C±A¾KN\?eG7le \]U)CJI)CBUS4~c]r
QS?'CA=CLK_ISM]U)Ch± CBQ"1m3neo7p`
6
L5bM}¡^CKA=CLK_ISM]UbKN¡]¤CM]c'aBQS~V_c ± C`]CBc'V_Q)Cq1;LPjrSsNM¡®R1;LtsV>iTuM
V_UA=V_U)CIS~A:\]¤RD1
S
V_UKN¤¤=T.B?vÑ>.?'CISM]\]\V_USQI)CBQVN;1
S
~I`]CBc'V_Q)CJ`Dw[
CBQxy<
SnzyS|{%}
¡CK:IbCJ£ M'CBc'aJCVNsCJaBQ)V_U)I~cD5 6 `]C,!'c'CJ`k¡ R$QS?'CISQ)V4a)?/K_I)QS~aU)CJaBM]USU)CBc'aJCj½
<
S~u
H1
S
L<
S M
~QS? KNck~c]~QS~KN¤aJV_c'`P~QS~V_cD<qgBD56'
|
ckQS?'C±V_¤¤VL~c]r¾C`]CBc'V_Q)C¡®RÇQS?'CsCJaBQ)V_UaLP'>u>A M_BD5
6
C`]C,!'c'C>a35
6
795¡ R
<B?5
6
>VL<-MH<Hq
^
L<-M_^ KNc'` 'L<-MH%<Hq
^
L<-M_^
| h$~IpISQbKNQS~V_c/KNUSRÇCBUSrsV4`P~aKNc'` ~b1~I~c®Q)CBrjUbKN¡]¤Cjm^QS?/KNQ~Ig1;LMLfM2B. mQS?'CBc ~Q~I\]U)VsCJ` ~cmDBf
QS?/KNQQS?'C=¸¥»,U%s¹®¼»:i ,P»_¼¼¸
S
<
S
T
HO¡|¢ XD£
KNc'`kQS?'C¾S»s¸¸¥»Q%s¹4¼»A P»_¼B¼/¸
S
£<
S
T
H¡¥¤
COP~ISQ±KPIpKNc'` ~c4V>.?]~IpU)CJISM]¤Qp~Ip¡/K_I)CJ`ÉV_c QS?'C8¦±~c]rjA¾KNc I±QS?'CJV_U)CBA V_U±ISM]¡/K_`]`P~QS~sC\]U)V4aJCJI)I
DLn]m]i%í | Q)IaJV_A:\]M]QbKNQS~V_cÇ~I)ISM'Cp~IKNcV_\^CBcÇKNc'`k`P~§&¾aBM]¤Q\]U)V_¡]¤CBA QS?/KNQ?/K_I¡^CJCBckISQSM'`P~CJ`$~ckA¾KNc R
\/KN\^CBU)Id¨ànímàÂ%ímbfímàÆímª©£ímbDjD, Q«CJI)~`]CJILm ~c®Q)CBU)CJISQS~c]rÇU)CJISM]¤Q)I}V_c¿QS?'C=ISQSM'`PR VN.QS?'C=aBRPaB¤C,¬¥QS~A=C
sCJaBQ)V_U~cÇ`]CBQ)CBUSA:~c]~I)QS~a}aLK_I)Cqf1
S
aJV_c'ISQbKNc Q aLKNck¡CpV_M]c'`k~cDLoí
® ¯
() ^/X
CBQ"°±H²x ³>´´´u>Aµ
z
CBQ·¶5H¸5º¹.xr»¼
z
± C`]CBc'V_Q)C¡ R4w
~
QS?'CI)CBA:~§¬¥rjU)V_M]\¿rsCBc'CBUbKNQ)CJ`¡®R?w
C`]CBc'V_Q)C¡ R½y^QS?'CsCJaBQ)V_UVN`P~A=CBc'IS~V_cµ$~QS? KN¤¤aJV_A:\^V_c'CBc Q)ICJ£®M/KN¤Q)V?»g¼ CO]aJCB\]QV_UpQS?'C
¾¬¥QS?ÇaJV_A:\^V_c'CBc QpCJ£ M/KN¤ÑQ)VQ]
w § v« « ¶5 CBQ4B ` 6
L5bMJ~ICOPQ)CBc'`]CJ`ÉV_c 5¶ K_IV_¤¤VL½p~ < ~IKsCJaBQ)V_UVN 5¶ 6 m^C
`]C,!'c'CW<*K_I.KsCJaBQ)V_U.V_¡]QbKN~c'CJ`=U)V_A²< U)CB\]¤K_aB~c]r=KN¤¤/~Q)IaJV_A:\^V_c'CBc Q)ICJ£®M/KN¤/Q)V »¼ ¡®RD» KNc'`
[C`]C,!'c'CJ`UL<.MK_IQS?'C¤~A:~Q
UL< M | c Q)CBrjUbKN¡]~¤~QíRKNc'`:A=V_c'V_Q)V_c]~aB~QíR¾VN~A:\]¤~CJIQS?/KNQ
QS?]~I¤~A:~Q~I~c 5¶ 6
k§ w«! yPw"#%$ :µJ¹¸4¹j¸& B?wu~ÇS)¹_ú('µ¹\/KNQS?*)¶S» ¾ B?°#¸¥»,+dB?° )-ULf½^M/.10o»¼
¹_¼32[ ¼»s¸í¸ ¾5476+7QRP¼ Xj¸Ç»!)}¸P P¹j¸kµ®º¼Sk,98:8rHdUx;=<o³>8?BDwA@
z 7
k§ w«CBD xNx § ¬gzEu=/w ¨ #%$ wµ¾µB¹_¸¥» )~USU)CJ`PM'aB~¡]¤C ) ¾ >F+ B°GHºBw ~ µP, ¸4¹j¸
¾ 47I+&G
k§
w
«KJL
x
«4ª©
y
«4ª y]uM/w
¨
#%$
w µ}µB¹jk¸¥»É)U)VL ¬ÕKN¤¤VL.KN¡]¤C)
4B wG
¾ B °GNHO+Bm°
µ¶],¸4¹j¸:+ 74 ¾ 7
PpCBU)C~I.QS?'CA¾KN~cU)CJI)M]¤QL½
Q " § « x § $ ¯±µbµ¶ ¾¸P¹j¸¸P$µJSRB'¼¶?x%1
S z
µT7U7E7WVX)wµS)_PJ¹_¼¿X»Y2ZX¹_»Y2¹®
¸P¼¡|¢RH¡¥¤VHO¡ ¹j¼¾¸]S/)B»_)N)J»_}¹_ ¾ G
S
L<
S
M_^
T
HO¡-¹E7µ[7p¹_¼¾¼
´
§ y]x]\ $ >.?'CU)CJISM]¤QVN>.?'CJV_U)CBA!DaLKNc¿¡^CCLK_IS~¤RÇrsCBc'CBUbKN¤~+*LCJ`Q)V$QS?'CI)CJ£®M'CBc'aJC:VNM]c'aBQS~V_c'I
~QS?¿ÈÉKNUSsV `]CB\^CBc'`]CBc'aJCj*^'V_UISQbKNQS~V_c/KNUSRÉCBUSrsV®`P~aaLK_I)CjmQS?'C~USU)CJ`PM'aB~¡]~¤~QíR`]V®CJIpc'VA=V_U)CrjM/KNU¨¬
KNc Q)CJC}QS?'CCJ£ M/KN¤~QÕR¡
¢
HO¡ ¤_
y §_ $ PpCBU)CKNU)CQÕ[VA¾KN~cCO'KNA:\]¤CJIVN A=V_c'V_Q)V_c'C?'V_A=V_rsCBc'CJV_M'I.A¾KN\ >.?'CV!'U)ISQ[CO'KNA:\]¤C
~I
35
6
795
6 > UL<.M H (`Oa L/bdcfeuL<.MiM-> nr
?'CBU)Ccfe\L<-M?HcLgcfeL<
M>´´´R>Sc&euL<
6
MiM_bm h`Oa L<-M4H L (`Oa L<
M>´´´R> (`Oa L<
6
MiM_)mKNc'`ib ~IkK
µj µc'V_c]c'CBr KNQS~sCA¾KNQSUS~O~QS?KNQ.¤CLK_ISQV_c'CpI)QSUS~aBQS¤R¾\^VjIS~QS~sCCBc®QSUSR\^CBUU)VL QS?'Cp¤KNQ)CBUaJV_c'`P~QS~V_c
~I.U)VL ¬ÕKN¤¤VKN¡]~¤~QÕRÉKNc'`kQS?]~ICBc'ISM]U)CJIQS?/KNQW1;L5
6
MNk 5 6
|
gCLK_ab?A¾KN\1
:
~IVNQS?'CpV_USA 1 : L<.MH
h`Oa L/b
:
cfe\L<-MiMmÑV_U}IbV_A=Cb
: m QS?'CBcQS?'C=R KN\]M]c'VL COP\^V_c'CBc QXD£ aJV_~c'aB~`]CJI~QS? QS?'CaB¤K_I)IS~aLKN¤
Q)V_\ÇR KN\]M]c'VCO4\^V_c'CBc QaàÀÑVNQS?'CUbKNc'`]V_A¢\]U)V4`PM'aBQVNc'V_c]c'CBr KNQS~sCA¾KNQSUS~aJCJIb
S
´´´lb
m]?]~ab?
~I`]C,!'c'CJ`k¡®R½
¡kH'´nm´
S
³
T
(`Oa1o b S
pb
o >
V_U¾KNc R c'V_USA o o | c QS?]~I=aLK_IbCjm~±[Ck`]CBc'V_Q)C w¶ QS?'CkISM]\]\V_USQ=IbCBQ=VNb
:
mbw ~I~USU)CJ`PM'aB~¡]¤C~
¾
>F+dB?°mH&b BG¶w ~
ISM'a)?QS?/KNQb·^q.10O]
>.?'CIbCJaJV_c'`CO]KNA:\]¤C~I
1?3 5
6
795
6 > 1^iLgr M H]q
Ss . s 6
L/b·^q. [ rf.£M4> Âr
?'CBU)CtbG~IKaµ*jQµA¾KNQSUS~O=~QS?$CBc QSUS~CJI.~cd5d¹dxr»¼
z
mI)M'a)?QS?/KNQCLK_ab?U)VaJV_c®QbKN~c'IKNQ[¤CLK_ISQV_c'C
!'c]~Q)CCBc®QSUSRs | CLK_ab?¾A¾KN\1
:
~I[VNQS?'CV_USA$Âr V_U[IbV_A=CA¾KNQSUS~O3b
:
m®QS?'CR KN\]M]c'V¾CO4\^V_c'CBc QgXD£
aJV_~c'aB~`]CJI~QS? QS?'C=R KN\]M]c'V CO4\^V_c'CBc QVNQS?'C:UbKNc'`]V_A \]U)V®`PM'aBQVN.A¾KNQSUS~aJCJI>b
S
´´´lb
~c¿QS?'C
A¾KêO ¬¥\]¤M'II)CBA:~US~c]r?Djm'ÆíPCBU)C"wk~I~USU)CJ`PM'aB~¡]¤C~ ¾ >F+dB?°¾mHub B?w ~ ISM'ab?QS?/KNQb ^q.10 »¼*
+ V- pg )() b/
| c QS?]~I}I)CJaBQS~V_c7[C=~¤¤.K_I)ISM]A=C:QS?/KNQaw¿~I~USU)CJ`PM'aB~¡]¤C¾V_UKNcKNUS¡]~QSUbKN¤R¿rj~sCBc7\/KNQS? U)CB¤KNQS~V_c KNc'`
QS?/KNQpQS?]~IU)CB¤KNQS~V_c~IpQSUbKNc'IS~QS~sCjmc/KNA=CB¤RÇ~ ¾ 4
7 +KNc'` +
4 7 QS?'CBc
¾ 4 4
7 ^ | c QS?'C}c'COPQ±I)CJaBQS~V_c m
[C}IS?'VL QS?/KNQÃpC,!'c]~QS~V_c D`]C,!'c'CJIKQSUbKNc'IS~QS~sCU)CB¤KNQS~V_c
k« wLyPw« v ^'V_U kG°mP[C~c®QSU)V®`PM'aJC}QS?'C±V_¤¤VL~c]r=c'V_QbKNQS~V_c'IL½
DjÑ»_ 2¹_X$¹_¼S¹ 2¹_SaP¹j¸Ç)»j¼'¼SJ¸»_¼]µ* BwR~ѽ
¥L'>!¥M H x ¾ B?° 8OH+qB ´´ ¾ 76+4
z > L¥>!'M H x ¾ B?° 8EHO+QB ´,´+ 47 ¾ z ´
nP ¹_¼s»¸P¹j¸Ç)»_¼'¼^SJ¸»_¼]µ½ T-B?vm
LtsV>!¥>iTuMpH L¥> 1;LtsV>»³£M1;LtsV>iTuMiMV_UT.Eo»³>
H ¥L¥> 1;LtsV>iTuM1;LtsV>A MiMV_U2T<O'´
ÂP SB4¶)¼/¸µB¸¥¹j¸í¶µ»!)"LtsV>!¥>iTuMp¼S¹ 2¹_Sj½
# LtsV>!uMH x$&%:kG° 8jZ.KNU)`('T.E »³ 8$LtsV>!¥>iTuMH)&%+*UH ¼ z ´
f'±°¹y _ µh'ê}»S)NP¹j¸Ç)»_¼'¼^SJ¸»_¼]µ½
,HdxNZ.KNU)`('nLh+>!'M-*8 +qB°q>B?w
~ z > ;HqxNZ.KNU)`.'Lh+>!'M-*8[+QB°q>B?w
~ z ´
ÀP±°¹y _ µh'ê}»S)X¹_¼s»)P¹s¸b»_¼'¼SL¸»_¼'µ}¼¿S¹s?2¹_Xs½
yLtsV>F+|MbHCq
Ss&/=
Z.KNU)`0'LtsV>F+>iTuM-* ´
>.?'C±V_¤¤VL~c]r¤CBA:A¾K~¤¤ ¡^CaBUSM'aB~KN¤ Q)V:a)?/KNUbK_aBQ)CBUS~+*LCQS?'C¡/K_a)4KNU)` aJV_M]\]¤~c]raB¤K_I)I
1§ 7y $ ÑB¸
2 LtsV>F+> ¾ >3qMNH54T.Eo»³ 8 ¾ B6ULtsV>F+>iTuM¹_¼1
S7/=(8
8 1 S9/(:;<:
H=3?>¥´
¾ >F+dB?°G 3CBDw ~ GZ.KNU)`('2mLtsV>F+r> ¾ >3qM-*KHo¼A@´Br´
CS»L»!)%7>.?]~I~IKNc$~A:A=CJ`P~KNQ)CaJV_c'I)CJ£®M'CBc'aJCVNgQS?'C±~USU)CJ`PM'aB~¡]~¤~QÕRVN\wkKNc'`kVNQS?'C¥K_aBQQS?/KNQaJV_c'`P~§¬
QS~V_c]c/KN¤¤R$Q)V:QS?'CCBsCBc Q ¾ BDULtsV>F+>iTuMm'C?/KJsCFEGLf1
S9/=H8
8 1
S9/(:;<:
HI3qMN0G]
1§ 7y B $ ÑB¸ ¾kBO°!¹_¼ b BGwR~µ%7¸F7Z.KNU)`H'L¾ >nb)M-*VH J7GRP)B»_»Y2¼ X ¹_=»Nµ¸µ¶4)
SRB]¹_¸¥¶µP»_k
³7 +qB?°GAJLtsV>F+ M H lG
K 7
+qB?°G
#
LtsV>F+|MbH
#
H ¹
;\{MLON L ¾>nb
8
3qMpG,2P)±Z.KNU)`('yL¾>nb¸M-* H %7
CS»L»!)%7 Cg!'U)ISQ\]U)VLsC}QS?'C!'U)ISQKPILCJ£®M/KN¤~QíRs
M
0
Backward
j Lh+r>nb)M
¾ T Tk» 8b 8
^g~rjM]U)C¾Dj½;T.BD2mLtsV>F+r> ¾ r>nb¸M
C?/KLsC I)CJC1^~r'D£ ½ T.B62mLtsV>F+r>
¾
r>nb¸Mm L
¾
>nb¸M k LtsV>F+>iT?»i8b 8M>.?'CBU)CV_U)C yL
¾
>nb¸MH
LtsV>F+r>iTD»i8b 8MÅ®~c'aJC 2 LtsV>F+> ¾ >nb)M.~IKPILc'V_cÇCBA:\]QÕRsm'QS?]~I~A:\]¤~CJIQS?/KNQJLtsV>F+ M H KPIL
C c'COPQI)?'VLQS?'C I)CJaJV_c'` CJ£®M/KN¤~QíRs! C ?/KLsC T]E ]m # LtsV>F+ Mk ¹ : S
LtsV>F+r> M´ |
T±B 2 LtsV>F+> ¾ >nb)Mm
ETmH 3 B²w ~ ILQL)LtsV>F+> M4H L ¾ >nb
8
3QM PCBc'aJC
#
LtsV>F+|M5k
¹
;\{ML N UL¾>nb
8
3qMpVL 3 B?w\~Ñm/Z.KNU)`H'2mLtsV>F+r> ¾ >nb
8
3qM-*UH ¼@´Br´ PpCBc'aJCL¾>nb
8
3qMKNU)C
U)CJaBM]USU)CBc QpISQbKNQ)CJIL
k§ w«K © zy]vLvY#%$ ¾ >F+B4° ¹_S¼¿¸P}µB¹=:)¹s 2¹_S)»_£¼ XB¹Nµbµ P=ZXB¹Nµbµ¾)¸]
S»]B¸P H&mLtsNMB * »G¼>A 'µ¶], ¸4¹j¸ LtsV> ¾ >n.M"H LtsV>F+>n.Mq4»_Nµ=¹E7µ%7¹_¼ 2[2 ¼»s¸í
¸ µNX»,]B¸Pk, ¾ +7
1§ 7y J $ 4¹N¸P)B»_»Y2¼ XgS»]B¸¥¶µ
³7 µ¹j¼¿SRJ®ê¹_¼b:SB¹j¸»_¼7
K 7VX) EGWLTH'T.E »³>LtsV> ¾ >iTuM ULtsV>F+>iTuMHrMbH)³]G¸P¼ ¾ +7
7VX)H 3 B?w\~ G=H ¾ B?° µ[7¸F7 x ¾ >F+
z k L¾ >3qMpG¸P¼ ¾ +7
CS»L»!)%7D£ | Q~I.~A:A=CJ`P~KNQ)C}QS?/KNQ
¾¾
KNc'`$QS?/KNQ
¾
+=~A:\]¤~CJI +
¾
|
¾
+KNc'`+
^mPQS?'CBckV_U
KN¤A=VjISQKN¤¤\sm:H&>n
%
$ILQL LtsV> ¾ >n.MVH ULtsV>F+>n.M±KNc'` ULtsV>F+>n
%
MH LtsV> U>n
%
M±>.?'CBc mC
?/KJsCFLtsV> ¾ >AqRL/?>n
%
MiMHIULtsV> U>AqRL/>n
%
MiM
nr |&EGWLTH T.Eo»³>LtsV>
¾
>iTuMULtsV>F+>iTuMHrMH)³jm®QS?'CBcV_U.KN¤A=VjISQ.KN¤¤nsm&H'T.E»³pKNc'` r?B°
ILQLMrB6LtsV> ¾ >iTuM LtsV>F+r>iTuM
m x
n
¾
+
J
^g~rjM]U)CnP½r?B6ULtsV> ¾ >iTuM ULtsV>F+>iTuM
|
T ~IQS?'C}QS~A=CKNQ?]~a)?7Z.KNU)`('ULPjSrsV>Sru> »·TuM-*uH ~IpKPIL !'c]~Q)C¡ R CBA:A¾KnPmaS
^~r'ànr m]QS?'CBc6ULtsV>F+>M H=LPj S sV>SrR>±»TuM;HIULtsV> ¾ >M>.?'CBU)CV_U)C ¾ +'
Âr .ÑCBQpZ.KNU)`0'yL¾ >nb¸M-*=H B | \T.B62 LtsV> ¾ > ¾ >nb¸Mm LtsV> ¾ >iT?»i8b 8MHIL ¾ >nb¸M
j i
¾
^g~rjM]U)CÂP½ x ¾ >F+
z k yL¾ >3qM
«M]Q[CKN¤I)V±?/KLsC LtsV>F+r>iT» 8b 8M k L
¾
>nb)MQS?'CBUS~I)CtHfrDB6ULtsV>F+>iTg» 8b 8MILQLArB6L
¾
>nb¸M
Å®~c'aJCx ¾ >F+
z k L ¾>3qMmPQS?/KNQV_M]¤`$~A:\]¤RQS?/KNQZ.KNU)`('L¾ >3 8 1
/=&8
´+´
8 1 / S 8
b¸M-*A0K[?]~ab?
~I~A:\VjI)I)~¡]¤Cj>.?'CBU)CV_U)CQ¹
S
LULtsV>F+>iTuM LtsV> ¾ >iTuMiM~I±KPIL.c'V_c'¬íCBA:\]QíR KNc'`ÇU)V_A¢QS?'C\^V_~c QnPm
¾ +'
1§ 7y $ ° ¹ ¸µ=¹k4¼'URB]gP¹_B¸¸»_¼¼c=ZXB¹_µbµJµqL
>´+´+> "M2 »_¼'Ç '¼É»_¼
w ¹_¼32 P¹Nµ¸P)B»_»Y2¼ XS»]B¸¥¶µ
³7
¾ B.x ³>\>
z
G
^
b¹_¼É)})»_¼]µB¸¶]J¸íS=SSJ®¶µ¶N¹Nµ=)B»_»Y2b
HI3qL¨³£M Õ¸P =ZB¹Nµbµ
2®,:)»_¼/¸¥¹j¼]µ ³ GVHI3qLPdx ¾ B?°?»
z
MpGT7g7G HI3qLPd x ¾ BD°D»
´+´f»
/=,z M[7
K 7
+qB.x ³>´+´+>
z G 3 BwR~AG)
^ L
.
>3qM HG¸]¼
^ ¥LP° »m¹
: . :
>3qMH 7
7 ¾ +É)¹j¼$»_¼':)H 3²B?w ~ µ[7¸F7 L ¾ >3qM?Lh+r>3qMH 7
7VX) ¾ HD+&G¸]¼ T-B?vtG s BetG0ULtsV>b^>iTuM LtsV>M.r>iTuM;H ´
7 T.BDvtG s B?etG ¾ G=HO+aH
S L¾ MpG.LtsV>b^¨>iTuM kM.$¹_¼JLtsV>b^¨>iTuMµ¼»j¸.,W¸PE7
VX)T5<OfG(LtsV>b^¨>iTuMH! "
^$#
7
% 7gx ULtsV> ¾ >iTuM
zySs&/=
µ¾¹qP»Nµ¸N)SB4¶)¼/¸±°¹_ _»Ç,4¹_¼7 V¸µg]»Nµ¶¸t_SSJ®SB¼/¸±µ¸¥¹s¸í¶µ¹_)
# [7
x ULtsV> ^ >iTuM
z S'&
µ¾¹qP»Nµ¸N¾)SB4¶)¼/¸p°É¹j N»Ç,4¹_¼79V¸µP»Nµ¸N¾S)B®)¼/¸pµ¸¥¹s¸í¶µ¹_)
¸]( =ZXB¹_µbµJµ*2¸µ¸¥¹j¸»_¼¹jgX» )¹ ú¸P)K2 ,µ¼ ]¼ ¼/¸.»!) ¾ 7
CS»L»!)%7D£ p>.?'Cq«+*W¬íaB¤K_I)IaJV_c®QbKN~c]~c]r ¾ mH3,dL¾ Mm?/K_IQS?'C:V_¤¤V~c]rÇa)?/KNUbK_aBQ)CBUS~+*KNQS~V_c $ÃpM'CQ)V$QS?'C
\^V_~c QÂVNÑ CBA:A¾KÂPm C4c'VLQS?/KNQKN¤¤^CB¤CBA=CBc Q)I.VN(ULtsV> ¾ >iTuMKNU)C~c¾QS?'CIbKNA=CpaB¤K_I)IV_UKN¤¤UT
]
>.?'CBU)CV_U)Cjm
3dL ¾ MH ¹ xl+ 8nx ¾ >F+
z
k=B # z >
?]~a)? ~IM]c]~£®M'CB¤R`]C,!'c'CJ` `]CB\CBc'`P~c]r¾V_c]¤R$V_c?w
nr .ÑCBQ rB ¥Lh+>3qMb^ mE+dB-
@
KNc'`/.B ¥L U>3qM0b^Xm B132}m ; H [ÁI)I)M]A=C±QS?/KNQ~QS?
\]U)V_¡/KN¡]~¤~QíR(4 0G]m ¹
S
£x LtsV>F+>iTuM ULtsV> U>iTuM
z
HPg>.?'CBc~QS?\]U)V_¡/KN¡]~¤~QíRsm$EGWLf1
/= 8
8 1
/(:; : H
3qM j4 0G]m LtsV>SrR>iTuMHILtsV>5.U>iTuMmPV_UKN¤¤KT
]>.?]~IV_M]¤`k~A:\]¤R$QS?/KNQ r .
Âr ÁpI)ISM]A=C QS?/KNQ
¾
+ KNc'` yL
¾
>3qM Lh+>3qM H P!ÃpM'C Q)VQS?'C\^V_~c Q7nPmH U>
%
ILQL
L 3qL¾ M>3qM¹ L 3dLh+|M>3qM k6
:
KNc'` LP°q>3qM7
: H P>.?'CBc7KPI:Z.KNU)`0'ULtsV>A°q>iTuM-*8
?'CBc-Tm7 »¼*"«[M]Q}Z.KNU)`('ULtsV>A°q>iTuM-* <²³j>.?'CaJV_c sCBU)I)C~A:\]¤~aLKNQS~V_c7~IpV_¡®®~V_M'I>.?]~I±U)CJISM]¤Q
IS?'VIQS?/KNQQS?'C"«Z ¬íaB¤K_I)I)CJIKNU)C`]CBQ)CBUSA:~c]~ISQS~ac'V_QS~V_c'IQS?/KNQV_c]¤R$`]CB\CBc'`V_cw
f| | ¾ +'m 3²BwR~K> B?°¾m x ¾ >F+
z
k L U>3QMV CBA:A¾KÂPms\^V_~c QÂr KNc'` L ¾ >3QM £Lh+r>3qMH
D\^V_~c QÂr
Àr ^'V_UgTºE »³j½ ?B °¾m L U>b^¨>iTuM~Ic'CBsCBUCBA:\]QÕRÇ¡^CJaLKNM'I)CCBsCBUSRÇaJV®V_U)`P~c/KNQ)C?/K_IKNQ±¤CLK_ISQ
V_c'C}KNc®Q)CJaJCJ`]CBc Q±V_ck?]~a)?Ç~Q`]CB\^CBc'`]IL>.?'C~c'aB¤M'IS~V_c~IKaJV_c'I)CJ£®M'CBc'aJC}VNQS?'C±\^V_~c QnP
^'V_UNT5<G]½QS?'Cc'V_c$CBA:\]QS~c'CJI)I.KNc'`¾QS?'C~c'aB¤M'IS~V_ckKNU)CpK}aJV_c'I)CJ£ M'CBc'aJCpVN QS?'C\^V_~c QÂP>.?'C¥K_aBQ
QS?/KNQCBsCBUSR$aJV®V_U)`P~c/KNQ)C}?/K_IKNQ¤CLK_ISQV_c'CKNc Q)CJaJCJ`]CBc Qp~A:\]¤~CJIQS?'CCJ£®M/KN¤~QíRs
Ær | Q`P~U)CJaBQS¤RV_¤¤VI.U)V_A QS?'C\]U)CB4~V_M'IU)CJISM]¤Q)IL
0
^É¿" 0
1§ 7y:$ RP P¹j¸Ç º¼^S, º¼'¸»_¼¿³=µ¸S¹_¼]µ¸N%7
CS»L»!)%7 | ¾ 74 + KNc'` + 4
7 ^mQS?'CBc ¡ RÉA=V_c'V_Q)V_c]~aB~QíR7KNc'`?'V_A=V_rsCBc'CB~QÕR ' % 8 Lf½ ^ M-*
: < % Lf½ . M : [
ULf½y^ M/. 0 »¼*
CBQb^¨LTuMH "
^$#
m TBv^'V_U:KN¤¤ kC°¾m[C`]CBc'V_Q)C¾¡®R ' *[QS?'C=sCJaBQ)V_U~QS? ÇV_c B
KNc'`.»¼ V_c B N^'V_UKN¤¤KT50¾KNc'` I0OTmP[C`]C,!'c'C<
^
S H Lf1 S9/=H8
´+´
8
1
8 'b^*M
.
{
"S # KNc'`
< ^
2 S
H¸Lf1 2 8
´+´
8 1 S 8 'b^iLTuM-*M
.
{
"2
~u
#
x ««« Q " §®« x § $| Q~I}aB¤CLKNUQS?/KNQ<
^
2 S
~IISM]¡/K_`]`P~QS~sCj |b<~IK$ISQbKNQS~V_c/KNUSRsCBU)IS~V_c
VN<
^
~¥Cj b^}ab?'VjI)CBc M]c'`]CBUI)QbKNQS~V_c/KNUSR \]U)V_¡/KN¡]~¤~QíR)R mQS?'CBc_<
2 S
~IKISQbKNQS~V_c/KNUSR-CBUSrsV4`P~a
ISM]¡/K_`]`P~QS~sC}\]U)V®aJCJI)IKNc'`U)V_A ¦±~c]rjA¾KNc IQS?'CJV_U)CBA½
S
<
S
T
COP~ISQ)IKPILKNc'`k~c
´
«M]QpU)V_A ~USU)CJ`PM'aB~¡]~¤~QíR ¾ B °m
S
¢
S H
S
¢
S
H)¡ ¢ >.?'C:IbKNA=CU)CJISM]¤Q?'V_¤`]IpV_U
¡¥¤j
Z[?'V4VjI)C+ILQLZ.KNU)`('T.3<
^
S
H¸L<
^
S
M/.!*UH [ ¼!KPILÅ®M'ab?K +COP~ISQ)ILmsIS~c'aJC2° ~I;!'c]~Q)Cj CBQNb B
w @ ISM'a)? QS?/KNQ,aH Z.KNU)`0' Lh+>nb¸M-*í CBQ 2H¸xyT·3|_<
^
S7/ @ H L<
S7/ @
M/.}KNc'`7b^¨LTuMNH= Lh+r>nb)M
z | Q
~IaB¤CLKNUQS?/KNQ}Z.KNU)`('26*;HC¼ KPI PpCBc'aJC:V_c'CaLKNc aJV_c'I)QSUSM'aBQ}KNcÉ~c'aBU)CLK_I)~c]rISM]¡'I)CJ£®M'CBc'aJC
S B 2
V_U?]~a)?ÇC?/KJsCj½
qE _<
^
» %<
^
E !b#LfM\» ]bCLf½l.%MNEG b#LfM\»
^
{
?b#Lf½^ M ¼
>.?'CBU)CV_U)C
S
¢
/ ¤
H¾KPIL
tz]\ Ñ«4ª § ¬ § § w >.?'CKNM]QS?'V_U[V_M]¤`k¤~sC±Q)VQS?/KNc] ^.«K_aJaJCB¤¤~¥m'l'ÈKN~U)CJI)I)CpV_UQS?'CB~UUS~rsV_U)V_M'I
U)CB4~CBdV_c QS?'C:\]U)V4VNKNc'` Å*KNM]¡^CBUSQV_UA¾KNc®R¿M'I)CM]¤[ISM]rjrsCJISQS~V_c'IQS?/KNQ?'CB¤\CJ` Q)V~A:\]U)VLsC¾QS?'C
\]U)V4VNX
J g
D,a«K_aJaJCB¤¤~¥m:^.mZV_?'CBc m *¤I)`]CBULm *l'^KNc'`M/K_`PUbKNQLm^l'TXDLhjhjnr Å®R4c'a)?]U)V_c]~+*KNQS~V_c7KNc'` ~c'¬
CLKNUS~QÕRsm'~¤CBRs
àn%a«K_aJaJCB¤¤~¥m ^./KNc'`9PpV_c]r'm'ÃKXDLhjhjir .Ác/KN¤R®QS~aYO4\/KNc'IS~V_c'IVNA¾KêOm" .R KN\]M]c'VYOP\V_c'CBc®Q)IL
S, ¼/)¹j P»j¸m'FF¬ÕÂNf nr©4m]ÈKJRsm
|
F
| Á Å4V_\]?]~K%¬íÁc®QS~\V_¤~ILm /»¹r])¹_}¼$¯¼'¼¹_ñµ»!)¯b h7
CS» %7
àÂ%a«K_aJaJCB¤¤~¥m^.m*KNM]¡^CBUSQLmÅm PpV_c]r'm/ÃKXDLhjhjhr FCB\]U)CJI)CBc®QbKNQS~V_cÉKNc'`YOP\/KNc'IS~V_cÉVNÈKêO^mT¤M'I
R KN\]M]c'VÉYO4\^V_c'CBc Q)IL(C.X»L?7.»!) ¸$¯¼'¼']¹_ ¯B¸¥»_¼ »_¼)[7»_¼ »8®¼/)¹s¸»_¼ G »_¼¸X»_
¹_¼ »WP¸¼|Xjm/Å4CB\]Q)CBA}¡^CBULm/Á¤¤CBUSQ)V_cÇTKNUS
fa«¤V_c'`]CB¤¥mÃm*KNM]¡^CBUSQLmÅKNc'`>ÑIS~Q)I)~®¤~Il'\XDLhjhjhr Á\]\]U)VJOP~A¾KNQS~c]rQS?'C}IS\CJaBQSUbKN¤ÑUbK_`P~M'I
VNI)CBQ)IVN.A¾KNQSUS~aJCJI~c¿QS?'C:A¾KêO ¬ÕKN¤rsCB¡]UbK$~I pT¬¥?/KNU)`W» ¹,r]S¹_¾¼5Vi$]S¹_¼]µJ¹sJ¸»_¼]µ=»_¼
¯P¸¥»=¹j¸ »j¼/¸X»jm]ÈKJRs
àÀ%a«.V_M]rsCBU)V_¤¥mT^KNc'`ÉÑK_aBU)V_~Oml'XDLhjijÀr TU)V®`PM'aBQ)I±VN[FpKNc'`]V_A ÈKNQSUS~aJCJIp~QS?Á\]\]¤~aLKNQS~V_c'I±Q)V
Å4ab?]U ®`P~c]rsCBUpV_\CBUbKNQ)V_U)ILU £4¹®µJBm'sV_¤giP
àÆ%a«US~¤A¾KNc mkÈ KNc'`~c'aJCBc®QLmkl'ÈXDLhjhr© ÃpR®c/KNA:~aJI VNÇISR4c'a)?]U)V_c]~+*LCJ`,\/KNUbKN¤¤CB¤kISRPISQ)CBA=IL
²¸¥»,4¹NµB¸}°É»L®ñµBm/ÂPm DLÂPmP\]\ /ÆjojÀ%¬ÕÆPDLiP
ª©£ZV4a)?'CBQ¨¬í>gCBUSUbK_I)I)V_c ml'mZV_?'CBc m+*m*KNM]¡^CBUSQLmÅm[ÈÉa*±CBQSQSUS~a)^m.Èm M/K_`PUbKNQLm.l'TgXDLhjhjir
M]A=CBUS~aLKN¤aJV_A:\]M]QbKNQS~V_c VNI)\CJaBQSUbKN¤CB¤CBA=CBc Q)I~c7A¾KêO ¬¥\]¤M'I:KN¤rsCB¡]UbKP,V ]¯ »_¼%)L)¼b»_¼
²nNµB¸í, ²¸PL¸®)¹_¼ »_¼/¸S»_
ài%ZV_?'CBc mgl'YXDLhjijir Å®M]¡/K_`]`P~QS~4~QíRsmgrsCBc'CBUbKN¤~+*LCJ`¿\]U)V®`PM'aBQ)I}VN[UbKNc'`]V_A A¾KNQSUS~aJCJI}KNc'` \^CBUbK%¬
QS~V_c'IFCJI)CLKNU)ab? ^²&VS¯p° ,]7m/Âjo¥XD£ m]\]\ Æjh%¬ÕijÆP'YUSUbKNQSM]A¢~c àh%í
àh%ZV_?'CBc ml/YXDLhjhjÂr }YUSUbKNQSM]A½êÅ®M]¡/K_`]`P~QS~®~QÕRsmrsCBc'CBUbKN¤~+*LCJ` \]U)V4`PM'aBQ)IVNUbKNc'`]V_A A¾KNQSUS~aJCJI
KNc'`V_\^CBUbKNQS~V_c'IU)CJIbCLKNU)a)?b²uVS¯p° ,]7m/ÂjÀ¥XD£ m]\ DLnNf'
DLo%*KNM]¡^CBUSQLm'Å]KNc'`/*±M]c/KJKNU)`]CBc/KPml' XDLhjhjhr YO4~I)Q)CBc'aJCpVNY~rsCBc sCJaBQ)V_U)IV_U.È V_c'V_Q)V_c'CPpV_A=V¬
rsCBc'CJV_M'I^]M]c'aBQS~V_c'ILNS,®¼'b¹_ _P»_B¸m PT ¬ «.F | ÈÅ ¬Õhjh%¬ÕojiPm'ÁM]rjM'ISQL
DjD,*KNM]¡^CBUSQLm4Å®KNc'`3PpV_c]r'mÃXDLhjhjhr Å4CBUS~CJIYO4\/KNc'IS~V_c'I[VN R KN\]M]c'VL¾YO4\^V_c'CBc Q)IKNc'`3^'V_USrsCBQXM]¤
ÈÉV_c'V_~`]ILbS, ¼/)¹j ]»_¸m/FF¬ÕÂjhr©4Djm]lsM]¤Rsm | F | Á FV®aJ£®M'CBc'aJV_M]USQLm^²/',¸¸íS¸¥» V_¯
DLn%a¦±~c]rjA¾KNc m®l'^.ñZp XDLhjÆjir >.?'CYUSrsV®`P~a>.?'CJV_USRVN^Å®M]¡/K_`]`P~QS~sCÅ®Q)V4a)?/K_I)QS~aTU)V4aJCJI)I)CJILf7 »7
²¸¥¹s¸F7Ѳ»L7Ѳ^B[7m]sV_¤¥'ÂjoDÂr m]\]\ Pf hjh%¬ÕÀPDLoP
DLÂ%ÈKN~U)CJI)I)Cjmsl/ XDLhjhr© TU)V4`PM'aBQ)IVN~USU)CJ`PM'aB~¡]¤CUbKNc'`]V_A A¾KNQSUS~aJCJI~c:QS?'CA¾KêOm" KN¤rsCB¡]UbKP®¯]7
¯Nr(7&CX»®%7mnjhPm]\]\ ]fjfjf¬¥f|©©4
DBfp~c'aJCBc QLm'l/ÈKXDLhjhr© Å4V_A=CCBUSrsV4`P~a±U)CJISM]¤Q)IV_cI)Q)V®ab?/K_ISQS~a±~Q)CBUbKNQS~sC`P~I)aBU)CBQ)CCBsCBc®QISRPISQ)CBA=IL
4»_®¼¹_»!)µBJSB¸í" N¼/¸"_¼¹²nNµ¸í,µmK©4mànr .\]\ 'njojh%¬ÕnjÂjnP
Unité de recherche INRIA Rocquencourt
Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)
Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)
Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)
Éditeur
INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)
ISSN 0249-6399