Vous êtes sur la page 1sur 45

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Control of Thrust-Propelled Underactuated Vehicles

N 6453
February 2008

apport
de recherche

ISRN INRIA/RR--6453--FR+ENG

Thme NUM

ISSN 0249-6399

inria-00258092, version 2 - 28 Feb 2008

Minh-Duc HUA Tarek HAMEL Pascal MORIN Claude SAMSON

inria-00258092, version 2 - 28 Feb 2008

 
   

!#"$%!& '()*'*!,+-.(/

021435*6 7%89;:<= > ?A@CBEDGF :=H02IKJ >MLA@ON 9 @OP 0RQTSVU W >YXZP[@ 8 \ D] =H0 ] QHW
^&_a`.bdcegfihkjmlonqpsrt`.bdcupvowabdxuy{z}|Gwacup
~Mytsc rpgA&il
aOy{racy{cE_ac.y_acvO G;jac.y{wy{n%j$GcEp
inria-00258092, version 2 - 28 Feb 2008

u.a ^&_cCp{zup*CA vGrty{ybdcu/y{iyYA }ptp*CwavCqc.y r{wr{cuKcu_az.cEpzbdbdc.ypcE


zvvbKazc.vGrZwaz}zr{_r{_c%qscu r{zcAprtazz.zvay{c.c.ytc.v.cVr{yscErtytzcEpy{c%qc.c.Ocu
^&_cup{cgcu_az} cup)y{cA_y r{cuy{z.cEonZr{_c.zy/bdcuvp/aytawp{zv_az}_cuptp{c.vGr{z}nZytc.zcEp)vr{_ac
y{qqw r{zvr{_aytwpr)yt.cgvapzvaciCqqnG4aqcuqzy{cErtzvzr{_r{_acA bZcubZcuvGr)wa
rty|GwacArtwrtzvyrrtzrtwqc.vGr{yt z4 c)rsnoazu r{wr{zvpsrty{wCr{wy{cAyzy yrp.oi^gA
c._az} cupuYpwabytzvacEp.c r;vrtc.y r{zvpzr{_r{_ac%pwy{ytwavCqzvwaz}ytcqzV warKrtbdqqc.
y{cE z}pcundvVr{_acp{way cOptpzandpr{ytvKOc.y{r{waytrtzvpu^&_acunV vpsrtzrtwqr{cAKbsy)z}ptpwacgy
prtacAbdr{zv vGrty{O*rt_acup{cpnqpr{cubdpuYec.vavazvacEyc.cEq vGrty{O}pytcAay{CGpcE
rt bdOc.vptrtcAybdqqc.zvZcuy{ytypvCcuyy{by{awpr{nGzvpsrp{w_Oc.y{r{wy{r{zvpuMlozbKwq
}rtzvTytcup{warpgzwpr{yrtzvr{_acEpcZaytOc.y{r{zcupgvi^gAc._az} cp{waabdzrrtcuHrtzvTwprtpAytc
y{cEpcuvrtcu
HGtK  wavac.yrtwrtcu c._az} cYvvazvcuyZ vrty{ c.o.zrsnprtzzErtzv r{yscEr{y{n
rtytozvaCoCwavqcEvvazvcuy&zvGr{c.ytr{yuqqz}p{p{zrtzozrsn

iR*uE**E.a{{gZ4E u 42 R/ u4 sos


usK*.sa { E44.sO Go} sM s{ t{&Cs E&sMoss{ a

M inh Duc.Hua@inria.f r

Claude.Samson@inria.f r





P ascal.M orin@inria.f r



thamel@i3s.unice.f r

Unit de recherche INRIA Sophia Antipolis


2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France)
Tlphone : +33 4 92 38 77 77 Tlcopie : +33 4 92 38 77 65



 

inria-00258092, version 2 - 28 Feb 2008

 'K!%k!s% (
'*!%- (/%
 %'()*- % 
 c ry{r{z} cVx razrdcupp{cup wvacaayto_cVxuvax.ycqc% bdbvCqcOwayZwavac

  
.p{p{c;ac;x._az} wacup%p{wp[rtzvavaxupzbdbdc.ytxEpvp%wav waz}qc zyEgcuwgc.rt Aavpcawqr
acprtazz}pcuyqcupr{yscErtzy{cEpqcytx xuy{cuv c%c.vr{r{zr{wqc/cuvozr{cEp{p{czvaxuzytc/wcuvOp{zr{zv
 cEpxu_az} wacupp{vGrKuyrtx.ytzp{xupAyc.waybdnc.vqcVaytawp{zv|Gwaz vpz}pr{cc.vwavcy cVqc
OwCp{p{x.ccvaV  wavacqzytcurtzv%aqczx.cKwx._z.wacac riwavHrtzvavacubZcuvGrg bdac rAwvazcuw
acupd waacupZCwaydcH.vGr{y c  r{r{zr{wacp  zrd  wavcpr{ytw r{waytc%  r{zvvac.bdc.vGrZrsnoaz|Gwac
OwyKqcupozvp.qcupKxu_az.wacupqcVrsnGOcVA^gAYc.y{r{z}./^c  v*vqzvao qcuppwps
by{zvpu/c.rtcEpzvrtc.y r{zvpcu%cTwaz}qcHc.voozytvvvGrVpvGrqzV.zcu p bZqqxuz}p{c.yVc.r w
bdcEpwaytc.y/aytxu z}p{x.bdc.vGruGc rp{vGr/}Kp{way ciqciOc.y{r{wy{r{zvp/|GwazCcuwacuvr  rty{cizbdOy{rtvGrtcupu )cup
.vpr{zr{wc.vGrwavayt`ubZcHbsc.wayVOwyVpsrazzr{x;qcT cEpp{nopr{`ubdcupu! icTvawacucupz}pVqc
.bdbvacyy{c.r{wy  x.rtrvvq[zvaxEzy{cEpip{vGrz.zYay{CGpxucupCvqc.bdCcuvp{c.ycEpc.yty{cuwayp
acbdoax.zptrtzvc rp{p{waytc.yMwvV bdOy{r{cubZcuvGr)y{awpr{c cgwqdCcuyrtway{Cr{zvCp.  cup)ay{aytzx.r{xup
p{vGrKzwpr{ytx.cEpyKqcEpKytxup{wartrpKqcpzbKwa}rtzv CyrvGrp{wayKwvbdoa`.cqcx._az} wcacVrsnoCc
A^gAM
" E $ # K xu_az.wacpwps r{zvavx vGr{ytovava4zvxuzytcprtazz}p{r{zvdqcozrtcuptpcCwaypwazr{c
acirtytscu r{zytcozvGrtx.yrtc.way&vavq[zvaxuzytcCy{vxaqz}p{p{zrtzozr{x

 
  

!#"$%!&' (*)( +,!.-/,01)'
2

  !%()*- 


gzyta}vacEp.*_ac.z} ar{c.ypvC;r{_acuyYc.y{r{z}.)^c.svvqzvaA^gA*c._az} cupuazbZCp.
ytqc.rtpu_onqqyta}vcupu&p{_azpupwabdy{zvacEpytcTc.vacuytn 5!&' (&)'(6,! ^&_acup{cTc._az} cupytc
Cp{zunZ bdOp{cubzvVOoanZzbdbdc.ypcEdzvwaz}bdcuqzwab zyy/r{cuy vCdr{_acunytc
.bdbdvan.vGr{ytcuGz}zdaytawp{zcr{_aytwpry cazytcu r{cuvaVdCqqnG4aqcuaytzGzc.cE
qzpuvZzzMArty|wccu r{yYzrt_VvacrsyYrt_aytc.c bdacubdc.vGrty{nzvac.Oc.vqcuvGr bdCvac.vGrtp
zv_ytcbdqqznozvart_acCqqn  pYytzc.vGrtr{zv^&_acup{ccu_az.cEpYytc&wavqcuytr{wCr{cEZzvZr{_cpcuvpc
rt_rEyry{b2rt_ac&qzytcu r{zvKp{p{q z}rtcuzr{_rt_acMrt_aytwpsry cEr{_ac/r{_c.yCGp{p{zcqzytcu r{zvpt
qzp{a}.c.bdc.vGr)z}pgytcE var/qzy{cErtnd r{wr{cuvGrtc.ytcupr{zvanr{_acgCc [bdc.vGr{zvacEdpsrty{w r{way
p{zbZzzrtwqc_p&p{c.}qb Oc.cuv%p{nqpsrtc.brtzundc.ozrtcur{dqc.c.cuvac.y vGr{ytCytbZcu/y{
yrt_acup{cc._az} cupuTMytzwpKy{cEp{vpuv Ocy{CGpcETayKzvpsrv.c rt_ac.ytcc.oz}prKzbdOy{rtvr
az c.ytc.v.cupOc rsc.cuvvzyta}vacv;p{_az^&_acZypsrc._az} cdc.cupAzv zyv$ g[p{ c
_c.ytcupgr{_cZr{_acuyiz}pCy{r{nqgzbZbdcuytp{cuzvr{cuyAvTcEp{p{c.vGr{z}nHbZcupiv%$ [a}va*c 7r{_ac
bKazc.vGrMCwazVzp/var/r{_acAp{bdcgvVzray{qqwC cup)c.zr{_acuy/c.ytoanGvCbdzy)_onqqytqqnovbdz}&y{cErtzv
yt.cupZzr{_qz c.ytc.vGraytOc.y{r{zcupdvCbvazrtwq*c 7ytozrsnzpdvarV bdOc.vptrtcuGnawanv n
zvrt_ac .pc;v2zytavacgawqrHzr4y cc cu rtpytcbdy{cpnqpr{cubdr{z}vaytc.OvCqc.yvG8r 7
bp{p[aqcE;c OcErpbdpr{n.v.c.ytv p_azpuYpwabdy{zvacEp. vzbd'p 7Yc.rtTvar{_acuyKaytac
ytcupvzpK_azpr{y{z}. 9Zcuy{Gp cvC vMcuvazvacuc.ytzva; bdbwavazr{zcupzvocuzvrt_ac.vGr{yt
 r{_acEpcc._az} cupg_cvriaqytcuptpcE%.bdbdvHz}p{p{wacEpKrt_acacup{zvHMwqrtazrtpuaygzvprtvC cE
zvT.Gytazvr{cE;bvavac.yEvayKrr{_cptbdcdr{zbdc vayzrt_r{_ac%p{bdcV vCpsrtytzvGrtpa_onqpz}.
cE vabdz}.4c rvayYcuc.vZzr{_Zr{_acptbdcay{G_acEp.*^&_acaytcup{c.vGrCOc.y)zbpYrMqcucuazv
Caayt_dyr{_c.vGr{ytOr{_az}p bdznwavqcuytrtwrtcuVc._az} cupuoovazvr{_Cr&r{_ac
vowabCcuygY.zozz}vTvbdzzrtytnaaz}.rtzvpzvoozvZy{zwpgwqrtvabZwpytOrtzc._az} cup
z}p vGr{zvGwwp{nytzvaC
gvart_ac.ydzbZOy{rtvGrbdrtzrtzvr{_az}pZ/y{z}pKytc.}rtcur{ytwpsrtvacuptpzptpwcupuM_az}_.v
Oc ytzrtzuiyr{_acEpcpnqpr{cubdp%qwac;r{ bazvrtzv r{ytpu zypsrErt_ac.bdac qzrsn 
c.yt _GnqqytqnovbZz}c cu rtpzbdCcEqcupqrtzvazvaHay{cE z}pcdqnovbZz}. bZqqcu*z;zvy{c
Ccuytr{zvaiabzv*^&_c.vrt_acup{c/c._az} cupytc)r{cuvp{waqscu r{cErtgOc.y{r{waytrtzvpzvKwprtpupcE
.wayty{cuvrp.c rt _az}_bnKOcgyaz}qn_vazvavd_ap{cbvazrtwqcguvOcg bdbZcuvp{waytac
zr{_r{_cz}acirtwrtzvO/cuyuYzvCnqbZcEp{waytc.bdc.vGr cupr{zbr{zvcuy{ytyp/rt_accu_az.c  p
Op{c.vKOcpzvazCuvGruYgO waypcr{_acEpc&z}p{p{wacup_c/vAOc.cuvzvocEpsrtzGr{cEyYbdvonrsnGOcup 
c._az} cupzvr{_ac& vrtc or*azvacEy*.vGr{ytO p{c.c/c ; : < =oa? >qvCr{_ac/y{c.c.ytc.v.cupr{_acuy{cuzvC hTytc
c.vacuytnEozvCapGzvcuy* vGrty{bdc r{_opMOcMa}.c.bdc.vGru v qr{zbdzEr{zvEA @A
qr{zbo vrty{c.rt_CcMOc.cuvazcur{gr{_acEpc&pnqpr{cubdpu*^&_c.Hn v cuHy{vlqzvac.4vawqrslozvac
iwar{awqrlql  vGr{ytowabZcuvGr{cuZlonqpsrtc.bp&  Alaptpq z}rtcuzr{_Kr{_ac&ytc.wr{zvOip{zvc
y{z}acazrt_nqytvcrtzrtwqcvazr{wazvcuq.zrsnac rp&c.phTwartz[vaawar
hTwartziwqrtawqr hHshc.ypzvCpr{_cup{cp{nqpsrtc.bp.$ Bc.c.yEurt_ac.nKwytvrtc.cgzbdzr{cEqbzv
apsrazzrsnivytcYrtc.vpcEAvytcupr{ytz r{zcMptp{wabdqr{zvp)c _acuy{zva&y{cuzbdcYzrt_awqrzvC
wprtpyi^gAc._az} cup%ayr{_acEpcVytcupvpuvavzvacuy vrty{)qcEpzvbdc rt_aqapVcucuqC
zvacuy{zur{zvqpsrtc.aazvaCpz}qzvbZqqcc.rt _c&Oc.c.vzv.y{cEp{zvanzvocEpsrtzGr{cEKzvytcu cuvGr
pr{wCqzcECp : qD <o <.a < =Ga5 <aa EF>[YawCpsrtvacuptpzptpwcupytcgyrtz.way{n ytzrtzuCy&z_rvC y
p{bCc._az} cupuGzciazbdp&vVy{cEqw cEop{uci^gAc._z.cEp.Gcuy{np{c.vp{zrtzcr{Zzvo[zvaw cE

inria-00258092, version 2 - 28 Feb 2008

* GH

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





Oc.y{r{wy{r{zvpu ^&_acg}prqcE.qcup)_czr{vcuptpcEVvVzv.y{cEp{zvaKzvGr{cuy{cEpsrzvVr{_ac vpsrty{wCr{zv


rt_acup{c)c._az} cupvCr{_acqc.c.abdcuvrp{CcE zC).vGr{ytGay{G_acEpy wqrtvabdwpvozGr{zv
c rgwCpgbdc.vGrtzvr{_acc abdacupg r{_ac Bc.y Mnc :oqq >[ i4ncuy : <&<OF >[z}lGry :2<EF >4Oy
* Y^*i : =8>iA^gAcu_az.cEp.vr{_acfgA zyp_az : aF >4^&_az}pVzvGr{c.ytcuprz}pbKwC_
ytc.}rtcurtrt_accuytptrtzzrsn Kr{_acEpcpnqpr{cubdpyp{waytcuzv c;v zvp{Ocurtzv bdz}p{p{zvpuivC
rt r{_cqcucuabdc.vGr&[.prvC&[/cuz_GrVc.bKCytcup{c.vp{ypT vac.y{r{z}hHcupwy{cubZcuvGr
fgvazrtpu.bdcuytp.Cc rt Bc.cuyuOvavazvacEyi.vGr{ytpsrtwqzcupiq wp{zvavTy{awpr{vacEp{piz}p{p{wacupy
rt_acup{cdpnqpr{c.bpuzc :qa >YyAzvprtv cytcKvarvGwbZcuy{wpuK^&_acdaytcup{c.vGrACOc.yzpp{
.vGr{ytzawqr{zvr{Zrt_acqcup{zvvvCnop{z}p/*ytawCpsrvavazvacEy vGr{ytpu
^&_ac vGrty{)qcup{zvytbdc.ytT_ac.ytcaytOp{cuazcupr{}ytcV.p{pwavqcuytr{wCr{cE
c._az} cupvpcucuytM vGrty{YbZqqcEprsnoaz}.n;ptp{o.zr{cEzr{_ qz Ocuy{cuvGrKcucup&bdr{zv wq
rtvabKn ~Yyrtz.wayrrtc.vGr{zv z}pz}r{r{_cr{_aytc.c%zvaaytac.b8p 9z}dprtazzurtzv
qcup{zy{cEAy{c.c.ytc.v.cZr{_aytwprqzy{cEr{zvCp.*zzprtzzErtzv;ytc cuy{cuv czvcuyc.q zr{zcupu*vC;zzz}
prtazzur{zvytc c.ytc.vC cVOp{zrtzvq4r{yscu r{y{zcupu^&_acVytprv pcE vay{ac.bpytc.}rtcdrsnGz
unrtbdvowOsnqpsrtzGwabdc.vGr{cEo[.vGr{ytp{zr{wr{zvpu_acuy{cEpgr{_acZr{_zyvacdzpp{p{q z}r{cE
zr{_TwanHwqrtvabdwpbdr{zvTaz}.r{zvpuvHrt_azpgOc.yEO/cK.vp{z}qc.ygr{_acZ.p{cMc._az} cup
bdozvazvV p{.czrt_way/zvCqc.Oc.vac.vGrr{wCr{ytp vacgy cvZr{_aytc.cr{y|Gwacupovazv
rt_rp{zr{wCr{ytpiwa}TOcvcu cEp{ptytn%yiwaMrtwrtzvrr{_acypsr}vC cOrt_acday{CGpcE
aayt_z}py{cubdzvaz}pt c.vGr bdc rt_aqapgqcEp{.y{zOcuzv : EqCaOF >y&rt_acKprtazzurtzv_c.ytzva
A^gAcu_az.cEp.p{cu%v%rt_acz}qcud wCpzvadr{_cr{_aytwpry cv%r{_acKc._z.c  py{zc.vGrr{zvp
.vGr{yt*ytzacEprt%prtazz.crt_acZc._z.c  pgc.q zrsnHv yiCGpzr{zv 7vrt_ac.v;)anozva
.p{p{z}.qpsrtc.aazvaZayto.cuqwy{cyd_az_a4Gzv vGr{ytcuy)rtVqc rtc.ytbZzvacAr{yt|Gwac.4zvaawartp.
cOprtzzuzvirt_acqcEpzy{cEKy{zc.vGrr{zvvZr{_az}pYCcuyuzvpr{cEOr{_acy{zc.vGrr{zv/c&wp{c&r{_ac
c._az} $c  pvawa}ycuq zrsnTpAzvGr{c.ytbdcuqz}ytnT vGr{yt zvawqru^&_az}pp{c.cubZzvan {pb Zqz Ocuy{cuv c
z}puzv ruo vCpcE|wc.vGr{z}aOcuuwp{czrc.ozr{cEpM cuyrzvvGwbKOc.yMazV wrtzcEp/p{p{q z}r{cEKzr{_
.vGr{yt)zvawqrtpZ_az}_ CcuvaTrt;T.bdrKbvzv cuvrtc.yKr{_acpnqpr{cu b  pcE|Gwrtzv zv
vvqvacK vavzvacuyYbdvavacuyu [rp{KpMvacr{Z.psrzvacuy)c.o.zrsndvCCGpzr{zvV.vGr{yt
y{acubpMpYvCr{wytac or{cuvp{zvpMOrt_acpz}r{_y{wprazytcu r{zv vrty{avc var{_acuy)ytzzvzrsn
Mr{_zpACcuyAzcupAzv;r{_cKrty{cEr{bdcuvr/wavabdqqc.cuqnovbdz}.pu[rzpAc.[ovavy{b  vGr{yt
^&_c.ytnrt_rzvGr{c.yt y{ytcu r{zv vCpsrtzrtwqr{cEpvc cu r{zcbdcuvp&rtV bdOc.vptrtcAybdqqc.zva
bdcEp{way{cubdc.vGruv ycEpsrtzbrtzvTpsrrtzcuy{ytypzpcEpt  Bg/cucuyuqzriz}pgp{/cu[Gvvrt_r
rt_az}p&rsnoCcY y{ytcu r{zvbdnc.vc.yr{cp{.cuVzvqw%y{acubp.YhTvGn vGrty{acup{zvrtcu_q
vz|GwacEpaqytcuptpzvart_acup{cay{ac.bp_c/Ccuc.vKy{CGpcEqwaytzvgrt_ac/}prYqcuuqcEp.zcMrt_ac&vacupr{cE
ptrtwayr{zvCpay{G_ p{c.cc  :2<EqO <>^&_acup{cKbdc rt_aqapinGzc.}rtOwavzvGrtc.y y{ytcu r{zv
rtc.ytbp*zvrt_ac vrty{zvaawartpu*vdqzvaApCr{_ac&ytzp{Cptrtwayr{zvagr{_ac& r{wr{ypvsc.Cyqzuzv
rt_acKprtazzrsnr{_cK vrty{cu%p{nopr{cubz}pytcuqwC cu%c OcEr{zcun Bg/cuc.yEor{_zpaGcEpvargaytc.cuvGr
rt_aczvrtc.yt r{c.ytbpAr{_acubpcucuprt%y{ ytazr{yytznHy{cvayr{_cVptpq z}rtcuay{ac.b ozrrtc
aqytcuptpcEzvTr{_aczr{cuytr{waytc )pqcuptrtwayr{zvH_z_Tbn%zvC ytcup{crt_acZp{nqpsrtc.b  pr{zbdcytc
p{Ovp{cKc.q.cuptpzcuni^&_acZvavazvacEygzvGr{cuyr{ygOwavCqzvVr{cE_avaz}|Gwac_c.ytcKaytOp{cuHqcE}pgzr{_
rt_az}pgaytcub vHz}pgvr{_c.yi.vGr{ytzawqr{zvHYr{_acOc.yEgzvnrt_acZnc.vacuy{n%qz}ptpzrtzv
y{qqw.cuonbdrtzvy{cErtzvyt.cupz}pc qazr{cE*yOrt_r{_acV.vGr{ytMqcEpzv vpsrazzrsn

inria-00258092, version 2 - 28 Feb 2008











 
  

!#"$%!&' (*)( +,!.-/,01)'
2

vnqpcEp..vpr{zr{wqrtcuprtiway GvcEqcgvac.GzvGrtc.ytay{c.rtr{zvK_z_gswpsrtzCcupr{_cwCpcpzbdac
bdqqcupvpwaCyrp&p{c.ytr{zvCp)bacGnr{_c.ywar{_aytpzvrt_az}py{cEpOcu r : >[
^&_acCcuyzp%ytvaz.cuppu ^&_acvarr{zvRvr{_ac qnovbdz;bdoac.zva r{_ac
.p{pApnqpr{c.bpZ vpz}qcuy{cEytcytcuucE zvlocEr{zvolobdcptp{wabdqr{zvpZv r{_acc.Grtc.ytv
yt.cup/aanozvr{Kr{_acp{nopr{cub yozrsnGc.yt _GnqqytqnovbZz})y cupuGc rt Zy{czvGr{ytqqw cEVvC
azpt wptp{cuzvr{_az}ppcEr{zvvazr{z}G vGrty{}pytc)qcuy{zcEzvlqcurtzvwavac.y ptpwabdqrtzvpwCv
rt_ac.vGr{ytzwqr{zv rt_acVc.Grtc.ytvMy cupKrtzvTvr{_ccu_az} cH^&_acVytcup{war{zvaTpzbdazCurtzv
zzrtr{cEprt_acc.oOp{zr{zvr{_acbdzvzvacupgr{_ac%aayt_TvlqcurtzvaYrt_ac.vGr{ytc.yp
y{cZbdqqzCcu;zvyqc.yArt.bdanHzrt_bZy{cZytcuz}psrtzZptpwbZar{zvpuZlozbKwr{zvy{cEpwartpiy
Cy{r{z} wa}ybdqqc./Hi^gAc._az} cVytcVqcEp{.y{zCcEzvlocErtzv r{Hzwpr{yr{cdrt_ac.v.c.qrp.
zvnpbdc%ytc.by{qpdv rt_acHaytOp{cu vGrty{psrtytr{c.nvC azpt wptp{zv CwqrVCGp{p{zac
war{waytc/y{V.v.wCqcAr{_acCcuyu
c rwpbdc.vGr{zvrt_r*ay{cuzbdzvCytngcuytp{zv :2<EF >Grt_az}pCcuy_pOc.c.vy{cEpcuvrtcurr{_acMGrt_
     C^&_caytcup{c.vGrOc.yg.vGrtzvCppwaCpsrvGr{z}c.or{c.vCpzvp&*rt_acK.vqcuy{cuv cCcuyu/v
Cy{r{z} wa}yE 0 rt_accuvac.yq.pc&Ccu_az} cup bdozvaAzvd p{.cz}p _acuy{c vp{zqcuy{cE_acuy{cEp : <uF >
&p&zbZzr{cE%r{drt_aca}vy.p{c 00 d vGr{ytp{wqr{zv%rtozvaZrt_acK vpr{yzvrwavzqzytcurtzv
rt_aytwpsrzvGrtu wavGr)zpaytOp{cuH4locu r{zv 000 p{bdci.vGr{ytabdqqzC.r{zvpytczvGr{ytoaw cE
rt;zbdaytcytwpsrtvacuptpZaytOc.y{r{zcup yE rEp{bdc%bZcEp{waytc.bdc.vGrdyZcupr{zbdr{zvc.yty{ytp%locErtzv
G 0 prtzzrsnaytG pZyrt_acHaytOp{cu vrty{c.ypdytcay{oz}qcuv .p{cHpsrtwqnzp
y{cEpcuvrtcuvazr{_p{zbwar{zv2y{cEpwartp_az}_2zwpr{yrtcTrt_acy{awpr{vacEp{prt_ac ay{G_
 yE rEYwavabdqqc.cu%qnovbdz}.pvCcuyrtway{Cr{zvCplocEr{zvH
*'*- K '%! !%
- 


inria-00258092, version 2 - 28 Feb 2008

 

 





vZrt_azpMOc.yEc/q.wpYvdc._az} cup _az}_d.vdOcbdoac.cudp ytzzOoazcEpYzbdbdc.yp{cuzviwaz}


^&_cizvadvarr{zv%z}p&wpcE
z}p&rt_accu_az.c  p.c.vGr{cuy& bdp{pu m zrpbptp.av J zrtpzvac.y{r{z}Zbr{ytz
G
z}p;aqcuzvacuyrtzy zcuvCKytbdc% yE rE zr{_y{cEpOcu rdr{G

I {O;
_az}_Krt_ac&, c._z.,c k pY}pwar{c&pzr{wr{zv%Op{zrtzv ytzcuvrrtzvCz}p bdcupwaytcu*^&_az}p*ytbZc
zp_p{c.v;pir{_ace  ybdc%eyrt_q /pr gvCgzr{_;r{_accurty OzvGr{zva%r{%r{_ac
eyrt_art_accErty CzvGrtzvaVr{dr{_c )pruOv%rt_accurty k Ozvrtzvdr{rt_acK cuvGr{c.y
ir{_accuyrt_ B {G; , , k } z}pytbZcHrrt_acur{;r{_acOqqn^&_accEr{y k zp
yc.rtrt_acrt_aytwpsrAy cZqz}p.A^&_azpicucEprsOptpzacvHCGpzr{cZqzytcu r{zvpy
r{_az}p cErtyEvKytr{z} cpcucErtzvaAvc/r{_c.buvKOc&y{cur{cEr{ vp{zqcuy{zvaA vabdzv
bdr{zvptp{o.zr{cEVzr{_r{_acc._az} cAv%_aop{zvaKr{_acazytcu r{zv_z_%bcEp/r{_acpt.y
aytoawrACc.rs/cuc.vTrt_acrt_aytwpsrAy cKcu r{yivC cuzrt_ac.yAOp{zrtzcKyivac.Grtzc _c.ytcup
r{_ac/CGpzr{zc/qrtzv/wa} ytytcup{Cvir{rt_ac)_acEkqzvagazytcu r{zvqgp_azbdozvytyt
/c_ciqr{cE_c.ytcgy&r{_acvacurtzcivaczv%yqcuy/rtdCc vp{zpr{cuvrzr{_r{_ac.vocuvGr{zv
wp{cuyA^gA;c._az} cup zrt_ k CzvGrtzvaqvo&yVvabdzvna







* GH



05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





inria-00258092, version 2 - 28 Feb 2008

zwaytc <&9YvacuyrtzvOoan4aqcuybdcupu


^&_accu r{yK oyqzvrtcup G zvrt_acCp{zpK&r{_acaqcuybdc I z}pKac.var{cu p x =


zrt_rt_ac%^p{nGbC)wp{cuyKr{_ac%Oc.yrtzv r{yvCpOp{zrtzv;^&_c.ytc ytc
(x , x , x )
ay{cur{zvr{_r&cAz}pZytzrtcizv%Zbdytci.v.zp{cAn

+ x
+ x
OG = x
k

p OG

= ( , , k )x
^&_acytzc.vGrtr{zv)rt_acCqqnG4aqcuytbdc B  yu rudrt_acdzvc.y{r{z} ybdc I z}pytc.aytcup{c.vGr{cE
onrt_acytrr{zvbrty{z R ^&_ac.wabdvcEr{ytpV R .yty{cEpOvr{r{_ac;cu r{ytpd
oyqzvrtcup , , k c.qay{cEp{p{cuzv%rt_acp{z}p& I
^&_accurty .Gytazvr{cEpptpq z}rtcuzrt_r{_acKzvacuycuq zrsn G  yu ru I zpac.var{cu
p x = (x , x , x ) _acuv;c.oy{cEp{p{cuHzv;r{_acdpz}p I *vCp v = (v , v , v ) _acuv
c qaytcuptpcEzv%r{_acpz}p& B qz c v = OG


,
,
,
,
= (
k )x = (
k )v
^&_acvawa}yAc.q zrsnHcEr{y)rt_acdCqqnG4aqcuTytbZc B ytc.}r{zcKr{%r{_cocETybdc I
c qaytcuptpcEzv B oz}pqcuvartcu%p = ( , , )
^&_ac)bKazc.vGrwzc.q zrsng yu rur{_acYocEybdc I z}pqcuvartcup v = ( , , k )x

,
,
= (
k )v
^&_ac {ay{cuvGrc.o.zrsn /Crt_ac&Cqqn z}pr{_acqz c.ytc.v.cCc.rs/cuc.vr{_acc.o.zrsnK vC
r{_acAbazcuvGr)waz}c.o.zrsnz4 c v =vv v [rpMcErty) oyqzvrtcupYz}p x = xG x
c qaytcuptpcE%zv%r{_cp{z}p r{_caqcuybdc I v v = v v c.qay{cEp{p{cuzvr{_acCp{zp
r{_acOqqnGocEytbZc B qz c v = ( , , k )x = ( , , k )v
1

d
dt



 
  

!#"$%!&' (*)( +,!.-/,01)'
2


q c.var{cEpr{_c;.vavzupz}p R z4 c e = (1, 0, 0) e = (0, 1, 0)

ayAvGn%cErty
S(u) ac.var{cupgr{_cp{c.&p{nGbdbdc rty{z}brty{zHptpq z}rtcuzr{_r{_ac
ytptpYaytqqwr/Gn u uz4R c S(u)v
yvonZcu r{y v R Gzr{_ rt_aci.y{Gp{p4y{qqw r
= uv
Oc.yrtzv
^&_ac Mw.z}qcEvvaytb zv R z}pqcuvartcup |.|
wvrtzv
z}pKw y 5
0 ( +
, 5%!*,! KGn T.vprtvGr c z
R
r{_acuy{cc.oz}prtpy;: r{[tzbd,c +)
{
p

w

_
t
r

_

r
vwar{awqr
, 5%!*,! c,iot
zpw w %y 5/0   T
5
0 (6'
|y(t)|
n.TvprtvGr c vayr{_ac=p{h(x,
wqr{zt)vCpgrt%R
qz Ocuy{cuvrtz cu|Gwrtzv
zsyvon
= h(x(., x , t )) zpAw on c
_ac.ytc x(, x , t ) qc.vaxr{=cEpgfrt(x,_act)pwar{zvrArtzbd(xc ,t ) y(.)
zrt_;zvazr{z}Y vqzr{zv
x = f (x, t)

x
t=t
3

{e1 , e2 , e3 }
e3 = (0, 0, 1)T







inria-00258092, version 2 - 28 Feb 2008







 

   


c.vp{z}qc.yAbdcu_vazupnqpr{c.bpizrt_HwyA.vGr{yt*zvawqrtp89vcy cKzvawqr }p{Vy{c.c.yty{cE


rtTprt_ac sr{_y{wpr zvaawqrvart_acVOqqnGaqcEazytcu r{zv k rtT ytcur{cvazTrtwqzvMbdr{zv
v%r{_y{cuczvCqc.Oc.vac.vGrgrty|wczvawqrtpgr{.y{cErtcy{rtrtzvbZr{zvTvbdvazr{yr{_accu_az.c  p
rrtzrtwqci^&_azpi y{ytcup{Cvaprtdrsnoaz}.ytytvacubdc.vGr&r{_rA.vHCcKwavCHvHA^gA cu_az.cEp.
zyta}vacEp.azbdpuytoc rp.c.rt ;cptpwabdcZr{_Crr{_cdr{_aytwpr T = T k aazcEprKOzvr
zrr{cqzprtvGrKytb r{_ac%qz}p {G; k } pTr{_rZzrZqocEpKvard.y{cErtcvzbdCyrvGrKrty|Gwacr G
^&_cr{yt|GwacZ r{wr{zvHz}prsnoaz}.nqrzvacuHoz}p{cu.vay{naytOc.cuytp g[ncuy Cytwaqcuytpiy
Op Bc.y Mnc.vGr{ytbZbdc.vGr)noytppcuc : G? >oc r  bdac rtcr{yt|Gwacr{wCr{zvp r{
bdqqznZr{_acic._z.c  p/rrtzrtwqcizvVytac.yYrtKqzy{cEr)rt_acrt_aytwpsrr/zYCr{_acir{_c.yMyt.cup/rtzv
vKrt_ac&cu_az.c yGzrsnvawanGv.nAy cupuqcuo[bptp*y cupuvCqz}ptpzrtzcc.ytqqnovbdz}
y)_onqqytoanGvCbdzy{cErtzvZy cupMy{cipwabdbdcuVwaVzvcurty F qp{r{_r/rt_acrtrOy{cEpwartvGr
yt.caazcur{dr{_cAc._az} cz}p

F = T k + F
v;r{_cdp{c.v.cKbdr{zv;y{cE r{zvTyt.cupic qc.y{r{cETonHrt_acbKzcuvrAwaz};vTrt_acdcu_az.cvan
ytozrsn&c.c.vGr{wCn wvrtc.y r{cuon awanGv.ny cEpVy{wa_an.vprtvGrbvzrtwqciytc
y{cEpcuvr&zv F M^&_az}py c.vrt_ac.vOcAbdqqcucEp.vprtvrcurtyyc.Or{Zr{_c {0; k }
qzpp{p{q z}r{cEzr{_ r{_caqcuytbZc Bc.cuyu/qwacr{ c.ytoanGvCbdzy_onqqytqqnovbdz}
ytcurtzvy cEp.rt_az}p cu r{y*c.vacuytnqc.IOc.vCap vr{_acaytc.vGr CqqnKc.q zrsnvZu cucuytr{zv
ozdqcuo[bptpc curpt qz cYv
p&c.p&vr{_cAc._az} $c  pr{r{zr{wac [rbn
p{qcuCcuv;vHrt_acc._az} $c  piCGp(zr{xz,v;x,_a,c.v)r{_acd_y r{cuy{z}psrtzup)r{_acdbazcuvGrgwaRz}y{cvar
rt_acp{bdccuc.ytno_ac.ytcypzbdaz.zrsnr{_az}p}rrtc.yqcuCcuvqc.vC cdzYvarAOc vCpz}qc.ytcuzv;r{_zp
COc.yE*hHy{cuc.yEE_ac.ytcuprt_acqc.Oc.vac.v.c/vZ. cucuytr{zvpzpytwa_anAzvacuyuzrYzpovavrt_r
rt_acgzvGr{cuvpzr{zcup/bdrtzvVytcu r{zvZy cEpMytnZzcrt_acipt|Gwytc |x | Y^&_acuy{c.ytcrt_acgzvGr{cuvpzrsn
vVqzytcurtzvV F uvVytndzvy{caytOy{r{zvp)ppovpYrt_acAc._z.c  pqcup{zy{cEcuq zrsnZzp


* GH

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





bdqqzcupzvzCuvGr{nyawacr{AzbdOy{rtvGr bdoazCurtzvpart_acbKzcuvrc.voozytvbZcuvGr& cupu


zvwprtpuMc.rthHqqcuzva;r{_acytzwpZ bdOvacuvGrtpZir{_az}pZwav r{zv zpu)zvc.vacuyt rtzbdc
.vp{wabdzva%v.pr{nK^&_zpAbdqqc.zvc Oyrz}pivcu cEp{ptytnypzbKwr{zvway{Op{cupuvC}p{
y)rt_acAqrtzbdzurtzvVr{_acAcu_az.cEp Gcubdc rty{z}.vCVbdcu_vaz}.O_y r{cuy{z}psrtzup. bdqqcuO

uv%}pCc*wpcAy.vGr{ytqcup{zvway{Op{cupu Bc.c.yErt_aciovacuacgaytcu z}p{civC


Fc.rtwavacuZbdqqc.CbnKvarMCcgpM ytzr{z}.nKzbZOy{rtvGr)p y)pzbKwr{zv ^ }ptp{zuqytcup{vCp
y{cArt_rzdc.qcup{zvacEc.cEq vGr{ytz}pc qOcurtcur{ytvGr&ytwpsrtvacuptp[zv%r{_cpcuvpc
Oc.y{ytbv.cgzvp{c.vp{zrtzozrsnG yu ru bdqqc.zvu way.zcEp.ovCVzz})wp{zvaZva4zvcgbdcupwaytc.bdcuvrp)yu
bdy{c/y{cEzpr{z}.ncupr{zbrtzvp Cp{cuvA ytwqcbZqqcuzvr{_ac& vGr{yto.vCc&aytc cuytac
rtwpzvaTp{a_az}pr{z}.rtcu;awqrKvvaFc.r{_acucEp{pzbdCcuycErwav r{zvMbdqqc.M/rt_az}py cv : <u >4
vcEpsrtzbrtzv pcETvr{_acdbdcupwy{cubZcuvGrAMr{_acdc._az} $c  pAc.q zr{zcupvC_az_;Gzv
p{c.ytc.yYz}pMy{CGpFcElozv.cr{_acuy{cgc qzprtp/ytzc.rsnKp{wqrtzvp r{r{_az}pMaytcub%Gc_ac.v.c yrt_
p{p{wabdc&r{_Cr F vCdzrpYr{zbdc qc.ytzr{zcy{cbdcEp{way{cEdv yYcEpsrtzbrtcudzr{_Voo..wayt n
grt_aw_Zr{_acy{cEpcuvrYCcuy q wp{cupYvZ.vGr{ytapOcu rtpYbdprYc a wp{zc.ncytcy{c/r{_ru
y bdvonKaz}.r{zvpucupr{zbr{zvZz}p{p{wacupzvdy{cur{zvrtAr{_acqcEpzvdvKwp{cOqcu|Gwr{cpcuvp{yp
y{c bdacubdc.vGrty{nv% ytzrtzunVzbdCyrvGru
gaanGzva%r{_cwvabdcuvr rt_ac.y{cub hTcu_vazupecu&r{v  pp{cu.vggzv;r{_cd.oyqz
vCr{cEp x nozcuap
 <E
m
x = T Re + F (x,
x, R, , ,
t)
zr{_ F rt_ac.bdCvac.vGrp F zvr{_aczvacuyrtzMybdcTnc qaytcuptpzvart_acqnovbdzupzv r{_ac
OqqnGocEHybdc vCTonHwp{zva Mwac.y  pArt_ac.y{cub /vawa}yAbdbdc.vGrtwabvacZqrzvpir{_ac
zvacE|GwrtzvBp
e

inria-00258092, version 2 - 28 Feb 2008

() :

x
Rv
x, R, , ,
t)
(1 ) : mv = mS()v T e3 + RT Fe (x,

RS()
R

(2 ) : J = S()J + + e (x,
x
, R, , ,
t)

_c.ytc = ( , , ) z}pMrt_acicu r{y/rty|wcgzvaawqrp/v y{cuay{cEpcuvGrtpYrt_acgc.or{c.ytvrty|wc


zvqwC cu;onr{_acdc.Grtc.ytvyt.cupu zp sCyp{zrtz r{y|GwacZzv;r{_acp{c.vp{cr{_rzrzpAvarcup{zn
.vGr{ytcuayr{_zpZytcup{vzrtpd.bdCvac.vGrpKp{_awa}rZ/r{zbdcupZCc%cuqrZp{bcuyKrt_vr{_ac
bozbbdazrtwqcEp)r{_ac y{ytcup{Ovqzva.bdCvac.vGrp)r{_ac vrty{arty|wc Yu yqzvan
bdGpsr)c._az} cup)ytcp_CcEprt_r)r{_aciy{cEpwartvGrYr{y|Gwacc.Grtc.ytvay cup)rtzvvdr{_ccu_az.c
z}ppb rcEpry{wavHvabdzvY vCqzrtzvpA)Ccuytr{zvC Ker{cZ_ac.cuyrt_rr{_zpArty|wc
uvp{Oc%wpcEr{aytozqcVr{_accu_az} czr{_acup{zytcu y{CcuyrtzcEpKzvrt_ac%p{c.v.cg.vGr{yt
rtzv;_c.v
May&zvprtvC cGrt_ac/cEr{_c.y&_ac.b rtwavazvaZp{zOr&z}pazytcu r{nVy{cur{cE
rtKrt_az}pzptp{wacY vC=0p{z}p}p{Krt_acay{Ccuvp{zrsnavacAr{zvzrtp&vzr{wqzvqzpzr{_%r{_ac
ay{cuvrzv qzytcurtzv prtacpsrr{cvazr{wazvMbdqqcE yrtTy{cEqw.cdr{_acy{)vacVvC
bzvGrtzvZ_aytz.vGrpsrtytz_Gr/z_GrKZptc.rsncur{waytcAydvowabCcuy.y{wzp{cavacup
yz%zvpOcu r{zvH*rt_acKp{nopr{cub 4&p{_ap&r{_Crr{_cKqnovbdz}.pwpnqpr{cub
z}pwanG
rtwrtcu YqCvac.vGr{z}* voc.ytc.vC cA r{_acvawaycuq zrsn r{vonVCwavqcEHq(cup{zy{)cEytc cuy
cuv cwacz}p&rt_ac.v%r{_c.ytc rtzunCGp{p{zccEpOcu.znV_acuvr{_acc.Grtc.ytvyt.cupaanrOzvGrtp
1



 
  

!#"$%!&' (*)( +,!.-/,01)'
2
E

.Gpcr{rt_acH c.vGrtc.ydAbdp{p v z}ppbvCuvOcHvacucurtcuv r{_az}p.pcMvac


bnGzc. pvHzvGrtc.ytbZcEqz}Gytn vrt|y{|zvaawqrEvHytr{z} cart_azpi y{ytcup{Cvaprtdr{_acK.p{p{z}.
acu waacuH.vGr{yty_azrtcu r{waytcCc.rs/cuc.vTzvavacuyivHwar{c.yiop.i^&_acKzvavacuyi vGr{ytoHayt
oz}qcupi_az_TGzvTpsrazzEr{zvHYr{_acZcu_az} c$ pgvwa}yic.q zrsnCp{cuv;qzytcu ribdcupwy{cubZcuvGr
&r{_acvawycuq zrsnTytbkr{_acvac.y{r{z}/hHcupwaytc.bdcuvrKfgvazru^&_acwqrtc.yK.vGr{ytMowp{cup
Op{cbdcEp{way{cubdc.vGrvTzrt_cupr{zbrtzvybZcEp{waytc.bdc.vGrr{_aczvacEyZc.q zrsnpKp{c.vp{y
zvaawartpuOv%r{_acZvawa}yc.o.zrsnp{c rgOzvGrAvC%r{_aytwprgzvGrtc.vp{zrsnHp vrty{zvaawqrp.gyibZGpsr
aazurtzvp.r{_acir{zbdc p{ucgp{c.ytr{zvdCc.rs/cuc.vrt_acirs/op)zpp{wqV zc.vGr)rtKc.vCpwaytcrt_rr{_ac
zvGr{cuytr{zvVr{c.ytbp.vOcAzvytcuVzvVrt_ac vGr{ytqcup{zvY^&_ac.ytc y{cozvr{_acp{cu|Gwac.c vCpz}qc.y
v pr{_c vGrty{Ozvaawartpuv%cAo.wpvrt_ac vrty{r{_acp{wap{nopr{cub ( )
T
e

inria-00258092, version 2 - 28 Feb 2008




 ! 

^*Kp{zbdaznZOrt_dr{_acA vrty{qcEpzvVvZr{_acAptpq.zr{cudvnqpcEp.cbcgp{bdcgptp{wabdqr{zvp
azpt wptp{cu_ac.ytcur{c.yE
u  * F !*6!F  
     501)
 
0%,( 
8)'0 x ( !   C0!&+ '%!*/0 



( 01( 





  F'e  0D0  )0,


! 0  ' '01( '
2     '  ( 01( '
2 $( !C ,5%)'01 

 (%!
(   , 5 % !&,! 5/0  
   0 ), (&)'
F
F

t
t''71
F
(
t) t 7
 e x,

(x,
t)

t 7

(x,
t)



 

^&_cgvavq[ac.Oc.vqcuv ci vdrt_acAc._z.c  p/rrtzrtwqcAzp/a_onqpz}.niswpsrtzCcuV_c.vrt_acAc.ytqqnG


vCbdz v y/_onqqytqqnovFbdz}u yt.cupqKvrqc.Oc.vvVr{_accu_az} c$ p)y{zc.vGrtr{zvoy{Ccuyrsn
_z_qc.Oc.vCap&cuptpcuvGr{z}nvrt_accu_az.c  p&p{_OcY^&_az}pptp{wabdqr{zv%zp.cEytnoz}rtcuVzv%r{_ac
up{cVgzyta}vacEp_az}_y{cpwaascurtcurt;zryt.cup_p{czvrtc.vp{zr{zcupZytcVcuy{npcuvp{zrtzcVr{
zr_TvacEp.awqrgzrgCc.rrtc.yA_a}apzvr{_ac.p{cYA^gAc._z.cEp.Opc.qbdazcEGnr{_ac Bg
cuy )nc g*c.y{r{zv^*cu_avazcup Ay{waYgp/yrt_acivvqqc.Oc.vCqc.v.ciwCvVr{_cvawy)cuq.zrsn
rt_acptpwabdqrtzvz}pKOc r{r{cuyiswCpsrtzcE_c.vzr{_ac%c or{cuy{vC/y cupZan rZOzvGrtpZ p{cVr{

rt_acKc._az} $c  pg.c.vGr{cuygMbdp{puzzbdrtzvHy{cE r{zvy cEpytcup{wartzvVytb r{_acc._z.c  pgy{rtrtzv


uvCcvc.cu r{cE;_c.v bZCytcuHrtr{_aGpcdaytqqw.cuonHr{yvp{}r{zvC bdr{zvV*zvn*r{_ac
vvqqc.Oc.vCqc.v.cKvHr{_acdu cucuytr{zvytzacEp x v zp)swpr{zcu_ac.vaqcEo[bdp{pgc cu rtp
uvHOcvacucurtcu^&_cup{cc cu rtpu_az}_qcuCcuvcuptpcuvGr{z}n%vrt_acKbazc.vGrwaz}T_ytrtc.ytzp
rtzup.auv%Cczvay{cEV_acuvrt_acqc.vCpzrsnV*r{_acOqqnVz}p&bKw_%bdytcizbdCyrvGr/rt_vr{_Cr*r{_ac
cuvoGzytvabdc.vGrE^&_acc.qbdacA ac.vp{cAp{a_acuy{z}.CqqnV_p{cA.c.vGr{cuy&.zv z}qcEp/zr{_%zrtp cuvGr{c.y
*bptp&.vOcwpcEVrtZ.v.y{c.r{z.cZa_onop{z}.p{zrtwrtzvy&_az_gptp{wabdqr{zv <i_}ap&zrt_%
oo%ay{qzbr{zv
^&_ac)zva&rsg bdacubdc.vGrty{nAptpwabdqrtzvpy{cYbw_cuptpytcupr{ytz r{zcYrt_vrt_ac)aytc.ozwp
vac Bg/cucuyu rt_ac.ny{ccuy{nzbZOy{rtvGryrt_ac vGrty{qcEpzv vvnqp{cupaytcup{c.vGr{cEzv
lqcurtzvC
u  *  '   *0 ; ; (
 ,, c 0, c > 0 ),   ( 

|F (x,
t)| c + c |x|
, (x,
t) R R











* GH

05 ) " (  


 ( 
  (F'),(

<

u  * 

 '  *0 ;; (


 ,,





c3 0, c4 > 0

;( ! A
2(!&





),   ( 

G
ip{p{wabdqrtzvZzvazur{cEprt_rrt_aczvGr{c.vCpzrsn .vavargyt psrtc.yrt_vrt_acKpt|wCytc r{_ac
zvGr{cuvpzrsn r{_acc._z.c  pc.q zrsncurtyER^&_Fzpzp vCpz}psrtc.vGrVzr{_ A bdbdvbdqqc.}pV
c.ytqqnovbdz}vT_Gnqqytqqnovbdz}qyvTzry cEp.A^&_acZ.vprtvGr pgvacKr{Vrc
rt_acVyt.cyGzrsnzvGr{..wavGrE_c.vzrZz}pZrtzcYpc.pr{_c%cr{zv gOc.y{r{waytrtzv
yt.cupKay{qqwC cuonzv yZpcE waytytc.vGruHgpKydgptp{wabdqr{zvaYzrZcuptpcuvrtzn..wavGrpy
rt_ac {qz}p{p{zrtzozrsn y ptp{zozrsn y{Ccuyrsndptpq.zr{cudzr{_qyty cEp.vVyrtz.wa}yEzrptnop
rt_r y}ytccuq.zrtzcEp.rt_acvac.Grtzc/ytOaytgyt.cupzvC ytcup{cup*zc/rt_ac waOcCr{_ac&Oqqn  p
ay{cuvr&cuq.zrsnvCcE bdcEp&ay{cEqbdzvvGrE
zvnqr{z}vava4cEp{p{c.vGr{z}.bdazur{zvCp/zvr{_acvnqpcEp.qZpsrptp{wabdqr{zv%zp&bq&c 7
zrz}p cuytnVzrrtcytcupr{ytz}r{zciytbvaazurtzvozcuCzvGrE
u  *    1 ' '%), F'
2?)0 v 0  , 5!&,! 0 %  (.), 6( v ( ! 0
x T Fe (x,
t) c3 |x|
c4 |x|
3,

(x,
t) R2 R

inria-00258092, version 2 - 28 Feb 2008



;,

( ! ',), %!   !* 0 !*0 ( 0F

 'K- ( *%(/ 


!%- 



( !

d
dt v r

d
dt2 v r
2

r
(   ;
 

!&%,! ( %! , 5%!*,!


fipzvagptp{wabdqr{zv.<qrt_acp{wap{nopr{cub

(1 )

Ylonqpsrtc.b &uv%Ccytc.ytzrr{cuv%p

x = Rv
v = S()v ue3 + RT e (x,
t)

R = RS()

zr{_ (x, t) := F (x, t)/m .cu;rt_ac {aCytc.vGr..c.c.yrtzv *v u := T /m v wp{cu


_c.ytcurtc.yprt_ac vGr{ytzvawqrtpu
^&_az}pp{cu r{zv%zpqcur{cur{Zrt_acpsrazzEr{zv% c.zr{_c.y&r{_cc._z.c  p/r{_y{wprgqzy{cErtzvqyzrtp
zvacuy)cuq.zrsny)zrtpCGpzr{zv ^&_civwa}yMc.q zrsn Cwqr)rt_acrt_ay{wCpsrqz}pMz}p)var/zvocE
zvrt_ac%y{cEzEr{zvr{_cup{c%.vGr{ytqscErtzcupuMpr{_rrt_azpdqcuytc.cytc.cEqb .vOcwCpcE
y bdac.bdcuvrytndqscEr{zcEp&v%qc Cvacu%.pc.4onG[up{cqc.Oc.vCqzvZvrt_ac vpz}qcuy{cEcu_az.c
vaz}.r{zv 01 0 Or{_c.ytcytczvqCvazrtc.nbvGn%Optpzazzr{zcuprr{_zpgcuc.4CprtyrtzvZzr{_
rt_acp{zbZcEpsr_az} c = 0 g#v : ? >cup <uG %<EGMrt_az}pgytz}acz}pgqc.r{c.ytbdzvcuHzvytqcuyr{
rcZqvGrtcZ/zry cupp{p{q z}rtcuTzr{_vp{nobdbZc.r{ytzZA^gAc._az} cZvr{_acp{cu|Gwacu
rtpzbdaznr{_acT.vGr{ytqcEpzvvCrt_acTptp{o.zr{cEvCnop{cupu)cdswprptpwbZc%rt_r (t) z}p
c.[qc.vacErvonr{zbdcv%Owavacu


 



!



 




 

c r
qcuvartcHwavazrcu r{y
ptpq.zr{cuzr{_ rt_acqcEpzytcuOptp{zany{nozvaG
rt_aytwpsrMqzytRcurtzvvKc.qay{cEp{p{cuzvr{_ac||zvacu=yrt1zybdc I vytr{z} cr{_az}pYqcEpzy{cEKqzytcurtzvbn
.yty{cEpOvC%r{r{_acZvacdp{CcE zcuGnHbvowCsnqpsrtz^&_acZqscErtzcKz}pgrt_acdpsrazzur{zvT
3



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

<*<

rt_accu_az} c$ p)rt_aytwpsrgazytcu r{zvOwqr&r{_cy{c.c.ytc.v.cAcu r{y yuqcE|wazc.vGr{nort_acprtzzErtzv


 R Owqr e
ic vc

:= R
vc.r (; ] qc.vr{cArt_acvacAOc rsc.c.vr{_crs/ZwavazrcEr{ytp e vC Cpr{_r cos =
rt_acVrt_azy bdCvac.vGrK T^&_ac.vGr{ytMqscu r{zcVz}pKp{Hcu|Gwazc.vGrrtHr{_ac%p{nobZar{rtz

prtazzur{zv = 0 &&p{cu%vrt_acKCcAvrtr{zvr{_acytpri.vGr{ytytcup{warg r{_zpgOc.yz}p


prtr{cEvac.oru
 ' !&'% + ( 01)'
C  00  ) +(  ( !(,&%
   ), 

(
T

inria-00258092, version 2 - 28 Feb 2008



=

k
2
T S(Re1 )
(1 + 3 )2
k
1
T S(Re2 )
(1 + 3 )2

=
=

     50
0 0  0/
+   F+
   ,5
0 )'
2 ,!+
28,
 F+ 0    %R'=01( RS()


,+( '
2  0 &!  ( 0. ( (&)'01  =(
0+ 
(, ) 
<


^&_caytG*rt_az}paytOp{zrtzvzpzc.vzvTaOc.vazT vH_rpuqcKp_2_a2r{_zp
.vGr{ytc.y&.vOcc or{cuvqcEVrtdr{_aczvcuyc.q zrsnVv%Op{zrtzv%.vGr{ytaytac.bpu


 

  

 


 

c r qcuvartcr{_acgy{c.c.ytc.v.cc.q zrsnc.qay{cEp{p{cuzvr{_acgzvacuyrtzqybdc rt_acrtzbdc.[qcuy{zrtzc


 x x vC v := R (x x ) rt_acVcuq.zrsn;c.yty{yr{c.ytbkc.qay{cEp{p{cuzvIr{_acx CqqnG4aqcu;ytbdc B
vCpsrtcudqc Cvazv p/y{c.c.ytc.v.cwavazr/curtypMzvr{_ciaytc.ozwp)pwaCpcEr{zvcgvaqc.vac

(x,
t) := (x,
t) x
(t)
ivcirt_ac.vqrtzvprt_aczvaZc.ytyty&bdoac.
 E
x
= R
v
 EC
v = S()
v ue + R (x,
t)
 Eu
R = RS()
zr{_;c.zr{_acuy x := R (x(s)
rt_acZzvGr{cuy*Mrt_acc.q zrsn%cuy{ytyEOy x := x x r{_ac
Op{zr{zvr{yozvcuy{yt y&_acuv%x d(s))ytc cudsy{cuv cir{yscEr{y{n x zpp{Ocu zcE
^&_acaytcub Apnobdqr{r{z}prtazzurtzvr{_aczvcuyZcuq.zrsnc.ytyty
r{.cuy{;zp
.cEytncE|Gwazcuvrr{Zrt_acp{nobZar{rtzAprtzzErtzv v r{d.cuy{C )|Gwrtzv Exzvx qz}.r{cuprt_r
zbdazcEp&r{_Cr
v 0
<E
ue + R (x,
t) = 0
r

t
0

* GH

05 ) " (  


 ( 
  (F'),(

<



;( ! A
2(!&





ipvap
zp*qz Ocuy{cuvry{b .cuy{Cuzrz}pOptpzac r{gac vac/&q.nAwavaz}|wcYr{_aytwprqzy{cEr{zv
{p wqrtzvr{V(rt_ax,ct)Cccu|Gwr{zv Bg/cucuyuqrt_az}pip{wqr{zv;.vHvriOcKy{vacEonH vGr{zvGwzrsn
r
gpVbrr{cuyiM ruvc.vTcuy{zn%r{_rirt_az}pAp{zvawa}ytzrsn%.yty{cEpOvp&r{r{_acd.pc
_c.v%=r{_a0cKzvacuy{zur{zv%)lonqpr{c.b 1EC 1E.rgvoncu|GwazzaytzwabOzvGr (v, R) = (0, R ) z}pvar
.vGr{yt}acYcuy{nHp{CcE zCvTpr{z*aytp{OcurtzcEvavazvacuyi vGr{ytrtcu_avaz}|GwacupAytcytcu|Gwazy{cE
rt aqytcuptpdpsrazzEr{zvzptp{wacupdzv r{_az}p.pc p{c.cc C : <8E > ^&_cup{crtcu_avz|GwacEpytcvarr{_ac
p{waqscErrt_acVaytcup{c.vGrCcuyOcu.wp{cdr{_acVvazp{_azvaH aGcEpvarZ ytytcup{CvHrtcuvac.ytz
p{zr{wr{zvVyK}ytcA }ptp)*wavac.yrtwrtcubdcE_vaz}.pnqpr{c.bprt_ap{ciy&_az}_ (x (t), t)
z}p/vabdzvnVaz c.ytc.vGr)ytb uc.ytG cicEp{p{c.vGrtznqzpt.ytr{_az}p&qzV.war.pci_ac.ytcgonVp{p{wabdzv
rt_r
u  *   '   *0  > 0 ),   (   (

(x, t) |(x, t)|
grt_aw_r{_az}pp{p{wabdqr{zvz}pytcupr{ytz r{zczrp{zbZzcupr{_acVc.qCGpzr{zv%p{z}vcuvac.ytz}
.vGr{ytqcup{zvAv;locEr{zv_ac.cuyuC/cz /cEc.vr{_zpAptpwbZar{zvvHaytOp{cKvo
_ogaqrtr{zvrt_aci.vGr{ytacup{zvzvVytac.yYrtKc.vCpwaytcrt_acgc.[Op{cuqvacEp{pMr{_acA vrty{c.y  p
c.qay{cEp{p{zvvVbzvGrtzv%Kbdzvazb vGrty{Cr{_cAc._az} cA_ac.v || c rp& p{cgrtuc.yt _ac.v
Ort_Hgptpwabdqrtzvdvy{cur{zv <u_a}qwp{zv vacqcEqw cEpr{_r








inria-00258092, version 2 - 28 Feb 2008

= ||e3 .

 c r (; ] qc.var{c&rt_acgvcOc rsc.cuvZr{_ac&rswavazr)cEr{ytp e v Gprt_r cos =


^&_cZ.vGr{yt*qscEr{zczbdazcupir{_rAcuzrt_ac.y
z4 c
y
z4 c

bwprOcVp{nobdqr{r{z}.nTpsrazz.cE^&_acV_a=z.c0 Oc rsc.cuv;=rt_a||e
cup{cZrs/cE|=wzzy{z}z}p=r{c.v||e
bqc
oz}Hpzbdaca_onop{z}./ vCpz}qc.yrtzvppwC_pbdzvzbdz.zvar{_acc.vacuy{n vpwbZar{zvzv ytc.}rtzv
rt r{wr{y  pc V zc.vC nvc._az} $c  pp{_Oc yKGn;rtozvaHzvGr{..wavGrr{_cwavaz}r{cuytzrsn
rt_acZr{_aytwprazytcu r{zvpAzvr{_acup{c/bdprAA^gAc._az} cupu zr{_wqrptpi)cuvac.yzrsn/c
_c.v.c y{r{_ptp{wabdcirt_rrt_ac_az.ci_p&Ccuc.vbqcrtpsrazz.c = 0
&p{cudvdr{_aciOcvartrtzvr{_acgp{cu.v.vGr{yty{cEpwar)Ort_az}pMCcuy)z}p)prtrtcuzvdr{_cgvac.Gr
y{CGpzr{zv
 ' k k k !* + 01)
CF00 F ), ,+( /1 ;( !(,&%
   ) 
D
(
3

||

3
||



= 3 + ||k1 v3
1
k3 ||
2
2 T S(Re1 )
(|| + 3 )2
||
k3 ||
1
1
= ||k2 v1 +
2 T S(Re2 )
2
(|| + 3 )
||

<&<E

= ||k2 v2

+  F+ 1E /?&F' (    %01   ;( %!(   (0   !       C  F+

E  E     5 0
0 '0  0/
= (0, 0)     )'
2F',! +
2?  F+ 0  (F %+ 01)(


(
v
,
)
 +( '
2  0  !&  ( 0  (  (*)01 .(
6 3

C u


R (, ) 



 
  

!#"$%!&' (*)( +,!.-/,01)'
2
<

^&_c)aytoqqrt_azp*aytOp{zrtzvzp*zcuvzvZaOc.vCqzK a*[rzp*p{cuvr{_c)wp{c)qr{_ac.vCqzr{c
nawavadwavCr{zv


<

1
1
1
1

1
= v v + (1 cos )
V = v v +
2
k
||
2
k
_p{c&r{zbZc.[ac.ytzrtzcz}p)p{_avZr{Ocgvacur{zcp{c.bdzqc.vazr{cgvavondpwqrtzvdr{_acA p{cuo
opnqpr{cub%
3

 

  

 


 



 



yrt_acprtazzrsnvH vGc.ytcuv cvCnop{z}p r{_cK vrty{) <*<uOzriz}pzbZz} zr{n%p{p{wabdcu%rt_r


z}pCcuycEr{nHovavvay r{z} cK_/cuc.yEqwacZzvyrtz.waygrt%r{_ac
(x,
azV t)wrs=n(x,q rt)zvazvaxga(t)ytcu.zp{cbZcEp{waytcupy cupr{zbdr{cEp F r{_ac&ytc.vGr..c.c.yr{zv z}pvar
ovavZc ar{n eyMz}p r{_c.ytc ytc*[rMzp)/cu[Gvvy{b rt_acg vGr{ytor{_c.ytnOzvcuyMp{nqpsrtc.bp
rt_rr{_cizv y{OyrtzvzvGr{cuy ytytcurtzvdr{cuy{bpzvr{_ac vGr{ytqcup{zv.v.bdCcuvptr{cgy
aqzr{zcCcuyrtway{Cr{zvCp_az}_zvr{_acZaytcup{c.vGriup{cbnrcKr{_acytb ) vCpsrvGriaz}pizv
rt_acbdcup{waytc.bdc.vGry&cEpsrtzbrtzvC/ Y^&_acascurtzcir{_zpp{wap{cu r{zvz}pr{dp{_ar{_Cr&r{_ac
.vGr{yt <*<E.vOcbdoazcE%zv%yqc.y/r{pr{zc.vp{waytcgrt_ac voc.ytc.vC cg
r{d.cuy{Z_acuv
p{w_Zazp&zpay{cEpcuvGruY^Zrt_azpawaytCGpcqc.rwp&zvGrty{qqw.cAr{_aczvZzvGxr{cuyxOr{cuy{b
Z
 <u
I (t) :=
(x(s)

x (s)) ds + I
_c.ytc z}pKvytazr{yytn vpsrvGruHgp{c.r qc.var{cpbdort_ CwavqcE psrty{z}rtnCGpzr{zc
wvrtzIvac vacE%v [0, +) p{w_rt_rEqyp{bdhcOp{zrtzc.vprtvGrtp ,
<uG
s > 0, h(s )s <
e

inria-00258092, version 2 - 28 Feb 2008

<
gv;c.abdacK&pwC_Vwvrtzv;z}p
zrt_ CGpzr{zcd vprtvGrEc r
qc.var{cdrt_acbdcup{waytcHycEpsrtzbr{cEA vqc.vacva pApzvy{cua cubZcuvGr

ytc.}rtzv;
 <u
:= x + h(|I | )I

(h(s2 )s) <


s

h : s 7 h(s) = 1+s
e

s R,

0<

 &

 ) 
$
2(  <*< +


  ( 
0     %01     (%! (  '( 0   ,! 
00   

 ,( ,5  /   0 ( 01    




F6

E

c := e e

* GH

0

!* ;%,!

0  ), 6( 

<uG


/?&F'


05 ) " (  


 ( 
  (F'),(

<

000 



;( ! A
2(!&





lim h(s2 )s > |c| 

C u

 *    F,+ E  E ) 


2 '+,! 0    C '( 01 
   '
    *0 1 ( ), 6(
Iv = R
v C   ')
2 ,!+
28,  F6
,)+  3 ,),   ( ; 50
0 '0  0/

0  (  I%v + 01R),(



6( 
2   0  !* ( 0  (  (&)'(I01v , v,')( =

+(I
 v ,30, 0) 3
s+

^&_cy{oCrt_az}pYaytOp{zrtzvKz}pYpzbdz}yr{Art_ac&ay{oCO~MytOp{zrtzvZo  bdac.bdc.vGrytnqc rzp


y{cAzcuvzvHaOc.vCqz a
c r wpay{zc Cn bdbdc.vGrvrt_acy{c/art_ac)wvrtzv vKzrpay{CcuyrtzcEp.^&_ac)y{CcuyrsnV<.G
 h z}pzvGr{ytqqw cEHzvTyqc.ygr{zbdzrEOoz}T <E rt_aczvqhwc.v.cKYrt_acKzvGr{cuy I zvHrt_ac.vGr{yt
rtzv Bc.c.yECip{p{wabdqr{zv 000 M~MytOp{zrtzvTp{CzvGrpgwqrgrt_rir{_acZwaaOc.y{4Owv
p{p{q z}rtcu%zrt_Hr{_cK_az} cK r{_az}pgwavrtzvp{_awa}variOcr{op{bzvTyqc.yr{.bdCcuvptr{c
yg}ytccEpsrtzbrtzvHc.yty{y c givr{_acrt_ac.y_CvOzvHGzc. <EVp{bd*wacy bn
ytcuaw cir{_acytz}p*_ozva || c r{r{zva p{cgrtZuc.ytY^&_az}p&Cz} ncEapuoy&zvpsrv.cortd_GGpc
zvrt_aciup{c_ac.v z}p/cuptpcuvrtznKcE|Gwr{rt_acgytozrsnu cucuytr{zvvZr{_cgcupr{zbrtzv
<g
cuy{yty c v x y{cpb.bdytcuVr{Zr{_zp..c.c.yr{zv^&_acEpc.vp{zac.yr{zvCp)zwpr{yrtcirt_r
d.bdaytbdzp{cA_prtCcwavac.Oc.vqzvadv%rt_ac vpz}qcuy{cEVcu_az} cvaz}.r{zv
R R (, ) 

inria-00258092, version 2 - 28 Feb 2008

 

 


 

^&_cr{_azyt.vGr{ytqscu r{zcz}p&r{_ac bazvacu%psrazzEr{zv*rt_accuq.zrsnVcuy{yty v y x x


vZr{_cgOp{zrtzvc.yty{y x = x x rt.cuy{Cytpr/p{wqr{zvZrtr{_zp)ay{ac.b zp)ay{oz}qcudonr{_ac
.vGr{yty{CGpcEzv%r{_acy{cuGzwCppwaCpcEr{zvHp{zvC cGn%pc.rrtzva
zv <E avac
_Cp I = x Meazcir{_acc.o.zrsnpsrazzur{zv.pcGzrg.vOIcw=p{c x(0)
wa/ vCxcu(0)cuvvacE cEp{ptytna
zv%aytrtz.cirt bdac.bdcuvrrt_ac vGr{yt r{zv%zrt_%ZOp{zrtzv%cuy{ytyzvrtc.yt.yty{cErtzvVr{cuy{b
CGp{p{zzzrsnZ vpz}prtp zvwpzvartc.ytbaytOy{r{zvCor{rt_acwqr{awar z  }ptp{zuazvGr{c.ytr{y
z c zvrt_acK vGr{ytc qaytcuptp{zv; Bc.c.yEGr{_az}pgp{wqr{zvaytcup{c.vGrppcucuytaytqp.
x
yic azbd=axcCr{_aczvGrtc.y* ytytcurtzv%r{c.ytb bny{Rcuy{n%y{cvHr{_az}pgbn%zvTr{waytv.wp{c
}ytcKc.yp{_aortpgYrt_acdCGpzr{zvHrtytozvac.yty{yu^*zHr{_az}pAay{ac.bv;}p% OcKzr{_
rtwrtyMzbdzrtr{zvpuovac_Cp)r{ptrtwayr{c&rt_acAzvGr{cuyqrtc.ytb ^&_zp.vVCcAqvcgzvVbvon&nqp.
p{bdcOc r{r{cuyr{_CvTr{_acuytpuayizvCpsrv.czribrr{cuytpr{Vy{cuc.vGrrt_acp{.cuqcEp{r{wayrtzv y
zvqwCMy{acub y{b ou waytytzvazvyqc.y)r{Zvar&cuy{nZzv.y{cEp{cr{_cAp{nqpsrtc.b  p/rtzbdcAy{cEpOvp{c
^&_cdp{wqrtzv;aytOp{cu;zvrt_azpOc.yz}ppcEv%vavazvacEyqnovbdz}.Yc or{cuvpzvnozcuazva
TrsnoCc%gOwvqcuvavzvacuyKzvGr{c.ytr{yuhHytcaytcu.zp{c.nYcac.var{c z rt_ac%p{wqrtzv r{;r{_ac
zvaZaz c.ytc.vGr{z}cE|Gwrtzv%qytzc.v%on x
p{r z) + k h (|x| )x (k > 0, z(0) = 0)
<F=
z = 2k z k (z
_c.ytc h qc.vr{cEpp{bdor{_%Owavacu%psrty{z}rtnVOp{zr{zcAwav r{zvp{r{z}psnozvaH <.o  <EMypbdc
Op{zr{zc.vprtvrp Mv ptr z}pT.vGr{zvowawCp {p{r{wayrtzv;wvrtzv _y r{cuy{z.cEon
rt_aczvaZaytOc.y{r{z,cupuqzrt_ ZCGpzr{zcvowabCcuyptpq z}rtcuzrt_rt_az}p&wav r{zv
  ptr z}py{z_Gr{[qz c.ytc.vGr{z}acvadvonp{bdGr{_ waytcavzrtpqcuy{zrtzcAz}p&Owavacu
r

2
z

z z



 
  

!#"$%!&' (*)( +,!.-/,01)'
2
<

qz |x| ptr (x) = x




> 0 p{w_%r{_r x R | ptr (x)|

 
pw_%rt_r |c| < |ptr (x + c) c| |x|
(c, x) R R
Optp{zac_az} cz}pr{_ac.p{p{z}.ptrtwaytr{zvwavrtzvHqc vcup
p{r (x) := x min 1,  ( > 0)
|x|
y_az}_ =
ivacdc.ytzcEpiy{b < =gr{_rwartzbr{cdwavazytb$waaOc.y{[Cwavap |z| |z| *v

Cv
ytcup{Ocurtzc.n
/k 2(k
ic vc + ) 6k (k + )


x R3

<E

|
z|

ytc

<?E
4
v := v + R z
<E
:= x
+ h(|y| )y + z
_c.ytc qcuvartcup rt_acbdcup{waytc.bdc.vGrg yYcupr{zbrtzvC  v h zp/pbdort_dCwavqcEZpr{ytz}r{n
Op{zr{zcAwav r{zvHp{r{z}psnozvaT <u <ygpbdcA.vprtvrp , > 0
  ' k k k !&'% + 01)'
F00  ), ,+( /1 &
  A 

2 0 ),  

inria-00258092, version 2 - 28 Feb 2008

y := x + z



= 3 + ||k1 v3
k3 ||
2
1
2 T S(Re1 )
2
(|| + 3 )
||
1 T
k3 ||
1
= ||k2 v1 +
2 S(Re2 )
(|| + 3 )2
||

0 

lim h(s )s > |c|

 4 t

* GH

s+

> |z |

= ||k2 v2

+ F,+ E  0


(%!   01), 0/6'   0  C!&/001   !&,!

(%! 8< E  ,)0 v


, ,%?&Fy' ( 

0     %01     (%! (  '( 0   ,! 
0  ), 6( 
00   

 ,( ,5 /   0 ( 01    


c := e e
000 

2

 ' 


!* +  50 ' 


501  +    (01

Y s.

hz

h(|z |2 )z = c 

4 45<u


05 ) " (  


 ( 
  (F'),(

<

;( ! A
2(!&







   F,+ 1E ), %


2  /6,!  0 <F=   '50
0 '0  0
= (z , 0, 0, 0, 0)
, )
  )
F',! +
2?  F,+ 0  (  %+ 01),(

,+( '
2   0  !& ( 0   (z,
(  z,(&)'x,01v#
(
6 3


R3 R3 R3 (, ) 

&^ _cAy{or{_az}paytOp{zr{zvz}pzc.vzvHaOc.vCqzH a
^&_acy{cdr{_cwav r{zv _pOc.c.v.bdbdc.vGr{cEwaCvzvrt_acVaytc.ozwpp{wap{cu r{zv%ay
Op{zr{zvprtazzur{zvc/wayrth_ac.yYytc.by{Ar{_Cr r{_ac&aytOc.y{rsn<.* h Cwavap*rt_ac vrty{zawqrtzv
Yr{_acCGpzr{zvc.yty{y x zv qc vcuHon45 <u vrt_GwCpip{VzvHr{_acd vGr{ytzvaawqrpqc vcuHon
4 M^&_az}p/zbZzrtp/rt_aczvqCwac.v.ci}ytcgzvazr{z}Op{zrtzvc.ytytypMvr{_ac.vGr{ytCzvawqrtp&zvGr{c.vCpzrsn
v%y{cEqw.cup&rt_acy{z}p{Yptr{wytr{zvadr{_acrtwrtyp.)egrtcr{_rr{_ac_az} c h z}pgpr{zdbrrtc.y
 .bdaytbdz}pc/c.rgwpi bdbdc.vGrvr{_acytc r{_cK oc V.zcuvr /|wCr{zv <F=CzvGrtpgwqr
rt_r k zvqCwac.v.cupir{_cZyrtcKqcEp{r{wayrtzvH z _az}_;uvOcdkp{c.ytcECyzvCpsrv.c_acuv
z}pzvazrtzny{c.yrt_v v
g^&_acy{c.y rt_ac psrtc.ygr{_acZqcuptrtwaytr{zvHvCr{_ac
|z|
p{bcuyr{_czvqwacuv cVr{_az}pzvGr{cuxy=)0r{zv vr{_ackpnqpr{c.b  prtzbdcytcup{Ovp{civr{_crt_ac.y
_Cvp{zvC cKwaCcuy[Owavp vC ytcaytOy{r{zvr{  {p{bd wacK r{cuvap
rtHzbdzrKr{_acVytz}p;p{r{wayrtzva|zrt| _acV ||r{wr{ytpu }ytcdwacVk k p{HzvC ytcup{cupirt_akcVyvac
zvGr{cuy{ || vpwaCpcE|wc.vGr{nr{_acytz}p%Yc.rrtzva || .GpcrtV.cuy{Twacyi_az}_r{_ac
.vGr{ytz}pvVvacuyqc Cvacu ^&_acrtwavazvaV z}prt_GwCpgGzv%Vbdrrtc.yY.bdaytbdz}pcrtVCc
p{cEup{c [GnG.pcAqc.Oc.vazvavrt_ac vp{zqcuky{cEVc._az} cv%az}.r{zv
z



inria-00258092, version 2 - 28 Feb 2008



 

! !



!



vbvGnAaz}.r{zvprt_acYrt_ay{wCpsr qzytcu r{zv.vavarCc/zvocuyrtcu*^&_azpbdcuvCpr{_rvn&CGpzr{zc


y{cEpvc.r{zcYyvowa.vGr{yt .vOcAaazcEYayrt_acA.vGr{ytO}p)zc.vzv~)y{CGpzr{zvp
Gar{_az}pp{zv.vpr{yzvGrzpptrtzpucEzv%r{_acKvac.z_oOyt_aoor{_cKpsrazzucu%cu|GwazzaytzwbOzvr
pzv.c
v
y{b ip{p{wabdqr{zv Bc.cuyzrKzpvarp{r{z}psCcuzv r{_acc.vGr{zy{c
abzvu ||r{r{yrtz||v>r{0_az}pVcE|Gwazzay{zwab^&_acHzva y{CGpzr{zvOzvrpVwqrV_a r{_ac
Op{zr{zv vrty{Y 4zv~MytOp{zrtzvT.v OcVbdqqzcurtT bdanzr{_rt_ac.vpr{yzvGr
qzr{_awqrg vp{cu|Gwac.vC cupvrt_acprtzzrsnzptpwc
u0
 ' k k k !* + 01)
CF00 F ), 6( ( %! v ( %! (F !&,! 0


 F001 
(%!

 




*!  + C
( 01)
0%)' ,(F0   ?    ,5)01  ),   ( 
: R  R*%
   ),   

2( 


(s) > k11 , s R 

+
( 



= || + ||k1 (
v3 ) ( 0)


k3 ||
2
1
2

2 T S(Re1 )
= ||k2 v2 v3
2
|| + 3
(|| + 3 )
||


1
k3 ||
1
1 T
= ||k2 v1 v3
+
2 S(Re2 )
|| + 3
(|| + 3 )2
||

F+ 1E /?&F' (   %01 0       F001 


601) 6 (  0
0  5
    ,  001  ,0


2! 


(  '( 0   ,!

(0) = 0

4
 '   



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

< =

^&_cay{oCCr{_az}pMy{CGpzr{zvzpYzc.vZzvgaCcuvqzZK a egrtc/rt_rYrt_acaytOp{cuKbdoazCurtzv
 grt_acH vGrty{}aazcEpZpd/cu&rtrt_acT vGr{ytpZA~MytOp{zrtzvp;v onp{zbdan
ytc. zva zvdr{_acA vGrty{ac qaytcuptpzv4YGn v ~ ptp{zac_az.cup yMr{_cwav r{zv y{czc.v
c Cqon v


y (s) = q s

k s
(s) =
,
tanh
k

1+
zr{_ 0 < 1
 
  %%- %('*-.
^&_cgytcup{warp)r{_acAaytc.ozwp/pcEr{zvy{cundwaOvrt_acp{r{z}ps r{zv*gptp{wabdqr{zv_az}_Vwav.vq
azrtzvn;wytvGr{c.cEprt_acVc.oz}pr{c.vC cVvC;q.Ywavaz}|wc.vacEp{p/rt_acVqcEpzy{cE;r{_aytwprKqzytcu r{zvzv
rt_acgc.q zrsndvOp{zrtzv vGr{ytCup{cupuy/bZGpsrwavqcuytrtwrtcuc._az} cupurt_az}p/p{p{wabdqr{zvzp
vrp{r{z}psCcuMc rwpzwpr{yrtcirt_az}pvdpzbdacc.abdac
  # 4loa_acuy{z}.c._az} cE  vpz}qcuy%p{a_ac.ytz}. c._az} czr{_zrtp cuvGr{c.y)bptp zvq
.zazvazr{_rt_acKp{a_acuy{c  p.c.vGr{cuyuOpwabdzr{r{cu%rtr{_cK r{zvYyozrsnaqyZy cEp.vaacuo
bp{pdc OcErtpu2^&_cr{yvp{r{zvqnovbdz}.pirt_acHcu_az.cHz}pdzcuvGn <Edzrt_ F (x, x) =
Ov
Op{zrtzcK vprtvGrgvowabCcuytpiptpq.zr{cu%zr{_aytdy cup
c |x|
vH xqcuo[mbxptp&+c mge
cu rtpytcup{Ocucrtz,c.mn^&_az}pcE|wCr{zvHuvHOcy{cuy{zrrtc.vTp .bdytczr{_ <u{
zrt_
av
M^&_acgrtc.ytb (x, t) 
m
cE|Gxw=rtzTvRezp+r{_oFw(p&x)zcuvonm = m + m F (x) = c |x| x + mge
1

k12 s2
2

inria-00258092, version 2 - 28 Feb 2008



a
3

(x,
t) =

Fe (x)

ca
mg
x
r = |x|
x +
e3 xr
m

_c.v qy%c curp.v;Ocvac.cErtcu z4 c


*ip{p{wabdqr{zv z}pvarptrtzpcu;_acuv
rt_acytc cuy{cuv c. cucuytr{zvZcEr{y x zp)cu|Gwar{| x| x e Y0 gpMbdrrtc.y)C rErt_acgOcytc.}rtzv
OzvGrtp&wqrr{_rr{_acuy{c&nqp/c.qzprtpZcuq.zrsn x p{w_r{_r (x, t) = 0
gvart_ac.yc abdacg_c.ytcigptp{wabdqr{zvz}p)varptrtzpcuVzp/aytGz}qcEondp_zay{zr{zvaKzr{_
rt_acdpcE.way{ytc.vGrr.cuy{y{cur{zcKc.q zrsnvqcucur{_acp{wab )c.or{c.ytv*yt.cupAazcuTr{%r{_ac
p{_azVz}p/cE|Gwr{Z.c.ytzvVrt_azp.pc )c.vr{_awa_vacibdnd_aCcgr{_r/rt_acpc.r/  gcuq zr{zcup
aGcEpvargOc.vartVrt_acvabZzvOc.yrtzv*qbzvHYrt_acc._az} cCr{_acEpcKc abdacupgzvazur{c
rt_rEzvVpbdc&up{cupugptp{wabdqr{zvVAz}p r{opr{ytvaC*hHy{cuc.yE_ac.vzrMz}pYozr{cur{_c vGrty{qzp
vvacuy&ac vacE/egqr{cuvp{way{c
2?),(
prtazzrsnazrgz}ppwa.zcuvGrr{_r qocupvarvaz}p_vacEy
rt_acg.vp{zac.ytcuy{c.c.ytc.v.cc.q zrsn x Y^&_az}pMpwcEpsrpr{ytc. cgptp{wabdqr{zvVonrt_aczv
cucuyp{p{wabdqr{zv
u  *   '   *0  > 0 ),   (   (

t |(x (t), t)|
fgvqcuyr{_zpAptpwbZar{zvCr{_acZ vrty{}paytOp{cuzvlocu r{zvytcqun%/cuqc vcuHvC
cuvp{way{c
28),(
pnobdqr{r{z}Kprtazzrsn%Yr{_acdqcEpzy{cEHytc c.ytc.vC cc.o.zrsn CGpzr{zv%r{yscErtytni^&_zp
ca
m

mg
m
3









* GH

05 ) " (  


 ( 
  (F'),(

<



;( ! A
2(!&





bnCcZpwqV.zcuvriyibdvonaz}.r{zvpu Bc.c.yEqygaytrtzuway{Op{cupvacwzcr{
prtnivrt_ac/ptc)p{z}qc/vc.vp{waytcYr{_CruEyzvpsrv.cEr{_c/ vGr{ytu} wa}rtzvAz}p&nqpc.[CGpcE
vrt_r&rt_acAr{yozvKc.ytytypMytcup{wartzvKytb rt_ac vGrty{Or{zv%.vvacuc.y&qzcuy{cgc qap{zc.n
_Cr{cucuyr{_acqcuytp{cdc.voozytvbZcuvGrtM.vazrtzvpyCoytn;_aGpcuvytc cuy{cuv cdrtytscu r{ytzcupiy
_z_ ay{G_acEpMrt_acvowacEr{yrgp{bdcAr{zbZc.4zvprtvrEM..yqzvnGr{_acqscu r{zcr{_az}p
p{cu r{zvz}pr{AbZqqznr{_c.vGr{ytcuytpClocErtzvzvKytac.yrti_CcYrt_ac)rt_aytc.cMzvagaytOc.y{r{zcup
ptrtzpcEp{zbwartvc.wCpn9
  q.pnobdqrtr{z}psrazzrsnV_c.vHgptpwbZar{zvHZzpptrtzpcu
 c.[Op{cuqvacEp{p*rt_acc qaytcuptpzvCp/*rt_acK.vGr{ytzvaawqrpc.c.v_ac.vHip{p{wabdqr{zvHZz}pvar
ptrtzpcu
 wvazy{b war{zbdr{cTOwvqcuavacuptpVArt_acp{nqpsrtc.b  pVc.q zr{zcup v
c.c.v_acuv
x

ip{p{wabdqr{zvHZz}p&Gz}rtcu
^&_cbdqqzO.rtzvpKy{c.ytytzcE;wqrKyrt_acc.q zrsn.vGr{ytMqscu r{zcV~MytOp{zrtzvq awqr
rt_ac.nytc}pz;yr{_c.yK.vGr{yt }pay{CGpcEzvlocu r{zv bdqqwaHpr{yz_Gr{ytyt
rtytvp{CGpzr{zv
~MytOc.y{rsn  z}p/p{zbZndartzvacEonbwartznozvart_aciwvGOwvqcur{c.ytbp 1/|| v 1/(|| +
zv r{_ac vrty{gc.oy{cEp{p{zv <&<EVonvqcu|Gwr{cTwvrtzvrtGzva rt_acwcvcTzv r{_ac

vc.)z_oCy{_GqYr{_acZy{c.c.ytc.v.crtytscurtytnvH.cuy{%r = 0 aygzvprtvC cvacuvTwp{cr{_ac


wav r{zv : [0, +) [0, 1] qc vcu%on
C

z s
4G
sin(
),
rt_ac.ytzp{c
(s) =
1,
ypbdc.vprtvGr > 0 Y^&_azpnGzc.}aprt_acbdoazcE vGrty{Oc.qay{cEp{p{zv



inria-00258092, version 2 - 28 Feb 2008

s2
2 2

= 3 + ||k1 v3

k3 ||
2
1
(||) 2 T S(Re1 )
2
(|| + 3 )
||
k3 ||
1
1 T
= ||k2 v1 + (|| + 3 )
(||) 2 S(Re2 )
(|| + 3 )2
||

= ||k2 v2 (|| + 3 )

^&_zpgbZqqzCur{zvTaGcEpvargaytc.c.vGr~MytOc.y{rsn   y{b Oc.zvaptrtzpcuiivr{_acr{_acuyg_v


rt_acKqr{cuvGr{zvHY~MytOc.y{rsn  z}pbdytczvocu[rAy{cuzcupgzvrt_acCytprga}.cvrt_aczv
p{c.ytr{zvE_az}_Kz}p gqzy{cErY vpcE|Gwac.v.c)qr{_acqz}p{p{zrtzozrsnACqyyt.cupz4 cip{p{wabdqrtzv

 %?&F'   ( C, 01  0  '( 0   ,! (%!   ( u 0  ),(
2)'5
2(6,! (&),), ! 0  6
( ,! ,(&)
( ), (     '  ),  +( /1
,
4
|u| + |x|

 A   ,)  



2,!  501)
 
0%,(  
8)'0
( !   
0%,( (&),),
 (01 (   (
'  

x


0  


 

 ,   5!&'

 %01 

 



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

<?E

 locucaOc.vCqz a
^&_acKqscEr{zcz}pva2r{bdqqznVr{_cc qaytcuptpzv &
pdrt_r pzc.v%on4
uvHptr{z}pnrt_acaytOc.y{rsn;4zrt_awqrAqcupr{ytnozvaZrt_acaytO(c.y{x,rsnt) q.up{nobZar{rtzprtazzrsn
^*r{_zp)awaytCGpcc r ptr qc.vr{ci vGrtzvowawp ptrtwayr{zvwav r{zv gptrtzpnozvart_ac~MytOc.y{r{zcup
  A A r{_cwavrtzvHp{r v}pr{_aczvaday{Ccuyrsn
  ^&_c.ytcAc.qzprtp&d vrtzvowawp/wav r{zv
pw_r{_Cr (, ) R R () 1
: R R
v
ptr () = ()
4* =

Optp{zac_az} cz}pr{_ac.p{p{z}.ptrtwaytr{zvwavrtzvHqc vcup


ptr () := min 1, 
4
||
c r qcuvartcvon[qzbdc.vp{zvOOwvqcu C r{zbdc qc.Oc.vCqc.vGrgcurty&wacuwavCr{zvH_p{c
ac.ytzrtzcdzpp{CwavqcE^&_acy{cv _az} cd/rt_azpwav r{zvz)Oc.bdbdc.vGr{cE;wCv
wyrt_ac.yEavadzr{_Hp{bdcc abdacupu gc.vacva pp
ptr ( (x, t)) x (t)
& E
(x,
t) := (t) +
zr{_

(x,
t) := (x,
t) (t)
y{b & E gptpwabdqrtzvr{_cOwvqcuavacuptp  vCrt_ac&CwavqcEqvacuptp Cr{_acwavCr{zv ptr
zrp)rt_rrt_ac.ytcc qz}psrpvazr{cwac Q > 0 pwC_rt_rEa_rtc.c.y x(t)

<
|(x(t),

t)| Q
^&_c.ytc ytc)zv ozcu ir{_acc qaytcuptp{zv zv /zvcu|Gwzrsn zpZva p{r{z}psCcu~My{zy
rt psrr{zvar{_c%bzvprtzzErtzvytcup{warugr{_zpVp{cu r{zv//cvacucur{zvrty{qqwC cHpbdc%c.or{y
vrtr{zvlozv c z}piCwavqcETonHptpwabdqrtzvzripgytb gptpwbZar{zvpVv;ytcu.
rt_r = F /mv /r{_Crr{_c.ytcAc.qzpr vCpsrvGrvGwbKOc.yp c 0, c > 0, c 0, c > 0
p{w_r{_ru (x, t) R R
(
| (x,
t)|
c + c |x|

x (x,
t) c |x|
c |x|

 vp{zqcuyr{_aczvZOnovabdz}zv s azr{_ v > 0




inria-00258092, version 2 - 28 Feb 2008

e,d

e,d

e,d

e,d

P (s) := c4 s3 c2 v
r s2 c3 s c1 v
r

ql zv.c c > 0 qr{_acuy{cc.oz}prtpZvowabKOc.y (c , v ) v p{w_rt_r s (c , v ) P (s) 0


^&_aczvgrt_ac.y{cub%_p{c/aytoz}pYqc.rtzcuzvdaOc.vazd =oaytcup{c.vGrprt_ac&bzvKytcup{war
rt_azpgpcEr{zv
4

* GH

05 ) " (  


 ( 
  (F'),(

;( ! A
2(!&








   k  k  k !* + 01)
  00  ) +(    *%
   ), / 

2( 
0  
(%! &0 1 2 3 ( ! E   ,)'0 
 +  F6 1E %?&F' ( 

( ! (      ), 6( 0  
 ,! 0 
2(01
 
( !   ,, %01   0<,)0 <

%?&F' (    %01   


    A(%! (   '( 0   ,!
 ' A 

2  0   01  
2!

     ) 
D0%5 u ( ! (  ;'

!&,! (%! ,5%!&,! (
2  (   F+   '
501  

0  
(
2  (   F+   
501  
x
  
       F+ E  1E    C '50
0 '0  0 (v , )
= (0, 0)    C)
F',! +
2?  F6
0 
2?),(

(  %+ 01),(

+( '
2C0
  0
 ),  +( / ( ,?)'01( +!  0   
M5>  c'1 +
c2 v
r
M
   0
,5%)'01 
0+  /0  0
2 ( !
|(x,
t)|
M
  (  (&)'01 !*
 ( 0  0   '(
+ 3 M c1 + c2 ((ci , vr ))




4G

C u

tp r
(x,
t)
R (, )
n.bdy{z}pvVzr{_r{_ac.vGr{ytOp& locErtzv%qort_ac vGr{yt qc.Oc.vpvc or{yacup{zv
rtc.ytbpg qvdr{_cwav r{zvp p{r v Y_az}_uvOcr{wvacuVp{KpYr{Kbdqzbdz.crt_aciqbzv
 prtazzrsn*rt_ac p{cuo[G%p{nqpsrtc.b)c rwpzwpr{yrtcr{_az}p&rtwavazvaCGp{p{zazzrsnzvrt_acKup{cA
rt_acp{a_ac.ytz}.c._az} cy{cEqnV.vp{zac.ytcuzv Yabdac <
  # lqa_ac.ytz}.c._az} ca.vGr{zvowacuC/^*pzbdaznq/cptp{wabdcgrt_rrt_acqcup{zytcucuq.zrsn
z}pi.vprtvGruz4 c
gvTr{_az}piup{c
Czr{_ = (mg/m)e
x
= + (x)

rt_acVytozrsnT..c.c.yxrtz=v;0curtycuv (x)(x)= =(x)(c

ir{_cu c.c.yrtzv
/
m)|

x|

c
>
0
cu r{yptpq.zr{cuVzrt_cuy{qqnovbdzy cupu c r&wp&ptp{wabdcr{_Crr{_aciwav r{zv p{r zp&qc.vacE
on .OvH vpz}qcuyrs/CGp{p{zcK_z} cupy bdvaVrt_ac.ypzypruc r = g^&_acuv
ptr ) v = %lqzv.cr{_cvaytbk z}pvavq[.c.ytv vprtvGrE*vC
ptr = z}p+Owavacu(
on M gptpwabdqrtzv zpptrtzpcE;z M < mg/m %vr{_az}pKup{c |(x, t)|
ihTytc.cuyuz
Crt_acZcu|Gwazzaytzwab
z}p n
mg/m
pnobdqrtr{Mz}.>n0prtacT z cr{_acq<bmg/
zvmr{Mr{yrtzv;z}p R (,(v), ) =Bg(0,/0)cucuyuzbdCGpzva
rt_az}pKzvacu|Gwzrsnv M bnvarZCc% bdr{zaczr{_ rt_acptrtzp r{zv rt_ac vCqzrtzv M
_z_ wyvGr{cucupArt_acV}ytcuprCGp{p{zacqbzvr{r{y r{zv%vqcucu zv
c + c ((
rt_az}pZup{ccva,c%v_))p c = c = 0 c = c = c )v (c , v ) = v /p{Trt_rdrt_ac%.vazrtzv
zpVva cE|Gwazcuvrrt
R^&_ac.ytc y{c)rt_acptr{z}p rtzv
M c + c ((
ip{p{wabdqrtzvdvc ,&v
2 ))(
p{nobZar{rtzprtazzrsnytMcwytcvvrtc.cEVaytozqcErt_r
p

sup |x (t)| < mg/(mc


)
egEr{iprtazz.c/y{c.yytc cuy{cuv cMc.q zr{zcup*_az_qgvarptrtzpngrt_az}p*zvacE|wCzrsnEzr zp*vacu.cuptp{y{n
rtVwp{cKwacEpg M }ytcuyr{_Cv mg/m Bc.c.yrt_acKOp{zr{zGzrsn |(x, t)| uvTvVvacuygOc
wyvGrtc.cuoun%ytwavCvGny{c.c.ytc.v.ccuq zrsn/vr{_az}pgup{cazvpr{cE%M_aop{zva =
vacbdz_GrKpc.)pc.r
p%rt_r p{r
ptr
zrt_r{_az}pK_z} c
rt_acOp{zrtzozrsnV |(x, t)| z=p&v0rwav.vazrtz=v4qawqr(zrg)z}p=p{r{z}pscE(%zv%+r{_cva) c.z_oOyt_aooYvon
ytc cuy{cuv cAcuq.zrsnp{w_r{_r
p
G
x 6= mg/(mc
)e
y{b^&_acuytc.b <
2?),(
p{nobZar{rtzprtazzrsnz}p}pdartzvacEz M g + c v


inria-00258092, version 2 - 28 Feb 2008



ae

ae

e,d

e,d

ae

i
r
2
a r

r

ae

2
a r



<

 
  

!#"$%!&' (*)( +,!.-/,01)'
2

 q

    ) 

,    F001    )( , ? ! 0  ,!0 ( ,0 0
2( ;(  ,01!*
 ( 
2 F001  ) 
D
(   ,)01       ), ( .!&  ),  (   0 < 




:= d +

0 

ptr

e,d )
M (

x
r + h(|y|2 )y + z

(%! 6(6+( '0


0  ,5
1 ( 0       '
 ?! 0  ),( 01  ), %),'     ,)  ! 001 
  ,    501) 01
2!  &
2 (
(F 601) 6( 0
0    (  + ,
2
M
>
c

+
c

((
c
,
v

))

2   ,i  r  ), ! 001 
6
2(&),,1!
2
e,d := e d

M > c1 + c2 ((
ci , v
r + 2z ))

- 
.'*-   %
*
^&_zpdp{curtzvzwpr{yrtcupr{_ac%Oc.y{ytbdv cvCytawpr{vcuptpKr{_acaytOp{cu vGrty{c.ypyZ
bdqqcuqOAA^gAc._az} cpzbdz}yrtirt_ac Bcuy )nc /ac.cuCcEonKc.y{r{zvd^cE_avazcEp Aytw
pcuc :qqq >Z^&_az}pic._az} c_p{cp{_Ocytw_anH ytytcup{Cvapgr{r{_acdvcZqcuaz}r{cETv
zwaytc <Ccuvap rtr{_ac.p{pM p{zrMvZrtz &A^gAHfg*Mp.[r)z}pMpnobdbdc rty{z}vaaytzGzc.cE
qzpgrtc.v;pgr{_acqz}p {G; k } vTrt_acKCytpraaytqzbrtzvOzrpizvacuyrtzbdr{ytz J z}pqz}v
v J diag(J , J , J )
^&_acp{nqpsrtc.b  p&cu|Gwrtzvp&wp{cuzvHp{zbwa}r{zvCpytcizc.v%Gn; p{c.c : >yqc rzp


inria-00258092, version 2 - 28 Feb 2008





x
Rv

T
(1 ) : v = S()v ue3 + gR e3 + 1 RT Fae
m

RS()
R

(2 ) : J = S()J + + Mae

zr{_

1
mL S(e3 )

r{_accu r{y oyqzvrtcup F c.oy{cEp{p{cuzvr{_acVCp{zp&r{_aczvacuyrtzYybdc I

rt_acpwb Ycuy{qqnovbZz}iy{cErtzvyt.cupzruCaytobdbdc.vGr{wb qyo


F
{
r
_acc.or{c.ytvr{y|GwaczvCqw cE%GnVr{_acEpcAy cEp.
M
r{_acqz}prtvC cOc rsc.c.vr{_cavacY vrty{cuVvpvr{_acc._az} $c  p cuvrtc.ybptpu
L
Moy{cEp{p{zvp F v M ytcVp{CcE zcuzvaOc.vCqzK2 <*< zvCr{wavavc.bZcEp{waytc.bdc.vGrtp
vTc.ytoanGvCbdzbdqqcuzvaVyrt_azp.p{pgMi^gAcu_az.cEp_cOc.c.vy{cuCyrtcuz#v :F >[in
p{c r{r{zva

1
1
:= ge + F
RS(e )
m
mL
rt_acgp{wap{nqpsrtc.b ( ) zvT GrcEp r{_cytblqnopr{cub 4 Bg/cuc.yEgptp{wabdqr{zv <z}pMoz}r{cE
Ocuuwp{c F qcuCcuvapvdrt_acAc._z.c  p)ytzcuvrrtzvdvVvawa}y)c.q zrsnov}pOcuuwp{c zp
zrt_

Fae

ae

ae

ae

ae

ae

ae

* GH

ae

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





ytc.}rtcur{Kr{_acivaway)u cucuytr{zvprt_r ac.Oc.vap}p{vdr{_cup{cgytzacupu izpt ytc.v zcup


zcZr{_az}pvcZOc rsc.cuvrt_acdzacuYbdqqcuMwp{cuyAr{_acV.vGr{ytYqcEpzvvr{_ca_onop{z}.Yp{nqpsrtc.b
ytc.y{cEpcuvrvaOy{r{wvazrsnrt%r{cupronTpzbKwa}rtzvrt_acdy{awpr{vacEp{pi/r{_acdaytOp{cu; vrty{c.ypu
^&_c bdac rtccu_az.c  pp{zr{wr{zv z4 c v z}pbdcupwy{cErtc r{_c.yzr{_Tcuq.zrsn% bZ
Ovc.vGrtp z c v v /^&_acpzbKwa}rtzxvytcup{waRrtpy{cEpcuvrtcu%vac.Gr_CcCcuc.vHqrtzvacE%zrt_r{_ac
cEpsrtzbr{cua_onqpz}.ybdc.r{c.yp*r{_acc._az} czc.v%zv^c <
~Yybdc rtc.y Mwc fgvazr
b
kg

Ea
a < ms
J
 kgm
J

a kgmm
^*ac <*9Y~Yybdc rtc.yp/rt_accu_az.c
^*dr{cEpsrir{_acKy{awpr{vacEp{p r{_acy{CGpcE%.vGr{ytc.yp& yE rEpsrr{z}bdqqc.zvaVc.ytytyp.qcKptp{wabdc
rt_rgr{_acytcuyozrsn..c.c.yrtzvz}p g = 9.81 ms rt_acytcuc._z.c  pbp{pz}p m = 3.2 kg
vr{_acytcuc._z.c  p&zvac.y{r{z}Zbr{ytzzp J = diag(0.13, 0.13, 0.04)
gbZvair{_ac/r{_aytc.c vrty{bdqqcup .vp{zac.ytcuzvr{_cCOc.yEEOp{zr{zvprtazzur{zvz}prt_acbZGpsr
qv.cuvacvC%p{zbKwa}rtzvp&ytcivanay{cEpcuvGr{cuy&rt_az}p&bZqqcMay&r{_acyprp{wap{nqpsrtc.b
rt_acd vGrty{c.yi)~MytOp{zr{zv;obdqqzcu;piaytOp{cuHzvlocErtzvz}paazcu^&_acdqcEpzy{cE
nG vawycuq zrsnzpZpc.rr{;.cuy{ = 0 Yv _az_ zv.vGr{ytc.yz}pKaazcEr{r{_ac
p{cu.vdp{wap{nqpsrtc.b zvyqc.yYrtKprtzzucr{_civwa}yYc.o.zrsndr)r{_acgacup{zytcudwac _p{c
Cytprrs/ bZOvc.vGrtpy{cZcuvac.yrtcu;GnTr{_acZypsr.vGr{ytcuyuder{cZr{_Crr{_cd_z} cd&_z_
GzvV vrty{c.yYz}p/_ac.ytcYswpr{zcuVGnZrt_ac r)rt_r M z}p)vacuzrt_ac.ybdcupwaytcuZvay)cEpsrtzbrtcuY^&_ac
aazcE.vGr{ytOrty|wcAz}pu} wa}rtcu%..yqzvart
=
= S()J JK ( )
zr{_ K ZOp{zrtzcpnobdbdc r{ytz}zvbr{ytz_c.ytc_p{c.vqzv4
^&_aczvaGzvpvCVwavCr{zvCpytcwpcE

k = 0.24 k = 0.08 k = 12.8

K = diag(20; 20; 20)


zrt_ = 1.28 v = 12
h(s) =
 zrt_

(s) = tanh
= 0.9

zr{_ = 0.8 v = 0.8


k = 0.8 h (s) =
p{r p&zcuvon; <uGzrt_ = 8
p{r p&zcuvon4zr{_ M = 50
=0
e

inria-00258092, version 2 - 28 Feb 2008

d,3

ae

1+ 2 s/ 2

k1 s

k1

z
1+z2 s/z2



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

pzcuvonzrt_ = 1
^&_cHzvp k k k h(0), k , h (0) _cOc.cuvqc rtc.ytbZzvacEGz} OcTa} cubdc.vGrVayto.c
away{cOc.y{ytbZcEv r{_aczvacEytzucup{nqpsrtc.b Zlonqpsrtc.b,E alonqpsrtc.b,<F=%r%r{_c;cE|wzzy{zwab
zv%rt_acy{r{z} wy.p{cYdy{c.c.ytc.v.cAr{yscu r{y{nV.vp{zpr{zva
(z = 0, z = 0, x
MZaqcuOzvrE=0,zr{_Tv =*0,c oRr{cu=y{vI)y cEp&CcuzvVvac.cErtcu gc.rtz}prt_az}pzv%rtwavazvaVaytq c
away{cy{czcuvzvHaOc.vazH <uqM^*dp{zbKwa}rtzv%up{cup&ytcy{cuCyrtcu
 #q uua # q  
 $ # q.Eq q
^&_ac vGrty{YqscEr{zcz}prtTpsrazzucdr{_acc._z.c  p.c.vGr{cuybptp G zvazr{z}nytcupr{zvaTr
rt_acdCGpzr{zv x(0) = (8, 5, 8) Z^&_cZzvazr{z}Yc._az} $c  prrtzrtwqcz}pzcuvon R(0) = I Z^&_zp
.yty{cEpOvCaprtVr{_ccE|wzzy{zwab$r{r{zr{wacZp{p{q z}r{cEHzr{_;Vaqcu;qcup{zytcuTCGpzr{zvTzvTrt_acq
p{c.vC cgzv ^&_acqcup{zytcuCGpzr{zvzp
vazr{z}nYrt_ac.ytcz}pZvazvMwqrd
_ytzuvGrtYzvpsrtc. cuq.zrsn x = (4, 0,x0)= z}(0,pKzvG0,r{yt0)qqw cECc.rs/cuc.v rt_acr{zbdc [zvCpsrvGrtp 30 s
v qcu%on%d}ytcuyvac
&r{_acuy{cEr{cuyu^&_az}pgp{zbKwa}rtzv%&pgqc.oz}pcE
rtZr{cu70prsr{_cy{awpr{vacEp{p&r{_cay{CGpxcE =.vG(8,r{yt0,0)c.y_ac.vvacuzrt_ac.ybdcEp{way{cubdc.vGrvycupr{zbrtzv
)cuy{qqnovbZz}ytcu r{zvyt.cupz}piz}aci^rt_az}pgawy{Op{cO/c_cwCpcE = ge zvr{_ac
.vGr{ytu} wa}rtzv_c.ytcuprt_acKytcuwac zpgzcuv%on &zr{_
v

[rbrr{cuytpp{%r{zwpsrtytr{cZr{_cy{cdv;zbZOy{rtv cd/rt_acdzvGr{cuyrtyg q=c Cgvacu;on m <F== mv


rt_az}pytcup{CcEruars/V.vGr{ytc.ypzvpy{cwp{cu%y bZCytzp{v%awaytCGpcEp.^&_acypsrivacqocEpvar
zv.ytCytr{cOp{zrtzvzvrtc.yt rtzvK^&_az}p y{ytcup{Cvapr{Hpc.rrtzvar{_crtc.ytbp
cu|Gw
rtuc.ytY^&_acp{cu vVvac vGrzvp/r{_aczvrtc.ytrtzvytcup{wartzvKytb rt_ac.} wr{z,zvz, z z vC
zrtp/ypr&vp{cu.vyqc.y)r{zbZc.[ac.ytzrtzcup/ytb < =Y^&_accuwqrtzvVrt_accu_az.c  p/Op{zrtzv
vTrr{zr{wCqcz}pp_vHv;zwaytcupAVvq zr{_;Cr{_;.vGr{yt*cuytp{zvpurt_acOp{zr{zvTMr{_ac
c._az} $c  p cuvGr{c.yg bdp{p G .vocuy{cup/r{VZocE%CGpzr{zv Bc.c.yEqzv%r{_acKva[zvGrtc.yrtzv
up{c p{c.cA*zwy{ciGr{_aciCGpzr{zvcuy{yty/qocupMvr.vocuy{cr{uc.ytawacrtKcupr{zbrtzvc.yty{ytp v
rt_acKc._az} $c  p_Gnqp{zu*ybdc rtc.ypvCHCoy{nbdqqcucETcuy{qqnovbZz}ytcur{zvyt.cupugzwaytc
Zp{_ap/r{_rrt_aczv y{OyrtzvV*r{_acaytOp{cuzvGr{cuy r{zvbdcEp)rt_az}p&c.yty{y.vocuy{cr{
uc.yt er{crt_r&gptpwabdqrtzv 0 ~MytOp{zrtzv lim h(s )s > |c| ozrt_ c = Ybwpsr
OcHp{r{z}psCcurtwyvGrtc.crt_acHpsrazzrsn gr{_acH vGr{ytcEpnqpr{cub v bZOc.vCp{r{cyZy{c
zvo[zvqw.cuZCcuyrtwaytrtzvp. _acuv r{_acwaCcuy[OwavZ h(s )s zp)pbc.y r{_Cv 10 vr{_ac
zvc.o.zrsnzp {psrty{va x = 8e Gz4 c_acuvHbZqqcuzvaVcuy{ytyp&vHc.or{c.ytvy cEpytccuy{n
}ytc g/c/_c/p{c.ytcEAzvZpzbKwa}rtzvr{_cqzcuy{c.v.cMqrt_acCGpzr{zvcuy{ytyqcup{azr{c)r{_aczvGrtc.y
rtzv^&_zp/c qa}zvp)r{_aciwpci*y{c.y)waci z4 c <EYzvr{_aciy{cuCyrtcuVp{zbwa}r{zvCp.
cu.)_a/cucuyr{_ruYpazpt wptp{cuzvlqwap{curtzva q wp{zvaTTy{cZwac _Cprt_acp{zqc
aytKzvC ytcup{zvar{_ciytzp{dc r{r{zva p{crtuc.yt[r&p{K vGr{ytzawar{cup/rtKzv ytcupcgr{_ac
p{z.cA ac vacEon5 <avVrt_owp}pr{_cbdazr{wCqc*r{_ac vGr{ytzvawqrtpac vacEon
^&_zpizvTr{waytvTzv ytcupcEp&r{_acy{z}p{)p{r{wayrtzvaVr{_acZrtwrtyp.Czrt_TovavTptp{o.zr{cEHqcuprtaz
z.zvaVc cu rtpu^.bdanzr{_TrtwrtypCc.ygzbdzrr{zvCp.OVpb*wc zpgay{c.c.yac
vdrt_azp&zvVrtwaytvbdzzrtrtcupzvV y)r{_acAva4zvcibdcupwy{cubZcuvGr)ycupr{zbr{zvrt_acay{cuvGr
..c.c.yr{zv &v :2<EF >V_az_HzvCpcuy{c.y rt_azpy cCp{cu%vrt_acbdcupwaytc.bdcuvri r{_ac
c._az} $c  pr{yvCp}rtzvcuq.zrsn x vytzcuvrrtzv R vr{_cr{_aytwprzvGr{cuvp{zrsn T z}paytOp{cu
zwaytcKp{_ap/pzbKwa}rtzvy{cEpwrpMrt_aci.vGr{ytc.yMzr{_zvGr{cuy.yty{cErtzv_acuvVwp{zvKpwC_








inria-00258092, version 2 - 28 Feb 2008

 

* GH

s+

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





vHp{c.ytcuyulobc.yiwcup v rt_acKwacKp{p{q z}rtcuzr{_Hrt_acwavCr{zv;p{r z c

iytcp{aazcEK^&_acZCc.rrtc.yAr{yozvaOc.y{ytbv.cK)r{_az}p vGrty{c.yEC_z_
=6 =1
z}p}p%wp{cu;zv;r{_cZvc orpzbKwa}rtzv;up{cp{_avTrt_acdzvGr{cuy{cEpsr& bZcubZcuvGr{zvart_acdzvGrtc.y
.yty{cErtzv r{zv%zrt_%r{_accEpsrtzbrtzvrt_acaCytc.vGr..c.c.yrtzv
 #q  u   u.  q q # R   # q O #
   # % u q g 
^&_ac.vGr{ytqscu r{zczprtdr{ydrt_aczvadytc c.ytc.vC cir{yscu r{y{n


xr (t) = (10 cos(t/10), 10 sin(t/10), t)T

^&_cAzvazr{z}cu_az} $c  p/Op{zr{zvvrrtzrtwqcy{cizc.von = (45, 50, 10) v R(0) = I


ty cup{Ocurtzc.n vGr{cuy y{ytcu r{zvVzvCGpzr{zv%zp&wCpcEM^Zx(0)
rtcuprr{_acytawCpsrtvacuptprt_ac vGr{ytcuy
 yE rETc.ytqqnovbdz}dCcuyrtwaytrtzvp.Y {pr{ytva ZytzacVzvC zppzbKwr{cuzr{_c.q zrsn;zvq
rtc.vp{zrsnZy{z}rtzvpMytc.aytcup{c.vGrtcudv*zwy{coMrtwvVcupr{zbdr{cEVaCytc.vGr. cucuytr{zvp)ytc
p{_av vzway{c%qzbZzrtr{zvprt_acrtwrtypytcp{Trcuv zvGrt;u wavGrKonptrtwayr
zvaHrt_acaazcEr{_aytwprKy cVvr{yt|Gwac bdOvacuvGrtp. ytazvartHr{_czvaHzvacu|Gwzrsn
.vpr{yzvGrtp
^&_c vGr{ytytcup{wartpi)0zwaTytc =d1.8m
zwpr{ygrtc=r{_a56.5,
cy{awp|r{vacEp{pgY| rt_ac0.3T
.vGLr{ytcuy yu ruApsrty{vavC
yzqny{nozva zvCo4zvqwC cuOc.y{r{wy{r{zvpv bdqqc.zvac.ytytyp.^&_acHrtytGzvaOp{zrtzv
cuy{ytypZqcu.y{cEp{cbdprzvacuy{nytb }ytc%zvzrtzwcupvCytc.bzvpb&r{_c.ytcurtc.yH p{c.c
zwaytc = rrt_acCcuzvavazvaH/r{_acVp{zbKwa}rtzv*qwcrtr{_acVp{bYwac z4 c

rt_acdr{_y{wp.crzvawqrytc.bzvpwavptrtwayr{cEpcucdzwaytc = .eiacup{azrtcy{cKzvazr{z}MOp{zrtzv;cu=y{yt6ypu
^&_cp{r{wayrtzv;qu wayty{zva}r{cuyvaway{zvaTp{_ay{rr{zbdcVzvrtc.yt}p.pKH.vp{cu|Gwacuv c&pr{ytv
zvo[wCpsrp.qzr{r{c cu rtpr{_cc.yOr{yozvaOc.y{ytbv.c
T

inria-00258092, version 2 - 28 Feb 2008



i=1,2,3



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

Fig. a) Position tracking error

Fig. b) Euler angles

10

50
40

t (s)

x
(m)

x
1 :

x
2 :
x
3 : .

x
1 :
x
2 :
x
3 : .

2
4

30

, , (o )

x
(m)

20
10
0

:
:
: .

10

t (s)
20

x
(m)

30

x
1 :

zwaytcH59Yc._az} c$ pdOp{zrtzv vrr{zr{wCqcHqp.r{zbdczqcu qcEpzy{cEOp{zrtzvezvGrtc.y


.yty{cErtzvvC = 12
20

40

60

t (s)

80

t (s)

, , x
(o )
(m)
x

1 ::

Fig. a) Position tracking error


10

50

30

t (s)

t (s)

(m)
, , x
(o )

1 :

2 :
x

.
3 :: .

x
(m)

1 ::

2 :

t (s)
4

, , (o )

3 : .

x
1 :
x
2 :
x
3 : .

40

60

80

t (s)

100

40

20
10
0

:
:
: .

10

t (s)
20

x
(m)

20

Fig. b) Euler angles

2 :
x

.
3 :: .

x
3 : .
, , x
(o )
(m)

x
3 : .

t (s)

x
2 :

40

x
2 :100

x
(m)
x
1 :

30

x
1 :

zwaytc 9Yc._z.c  pOp{zr{zv vr{r{zr{wacopudr{zbdczqcuqcup{zy{cEOp{zrtzv zr{_zvGrtc.y


.yty{cErtzv = 12 qv = 8

20

40

: .

60

t (s)

80

t (s)

t (s)

, , (o )

x
1 :

Fig. a) Position tracking error


10
8

t (s)

t (s)

, , (o )

x
(m)

x
1 :

x
2 :
x
3 : .

x
1 :
x
2 :
x
3 : .

2
4

40

60

t (s)

80

100

Fig. b) Euler angles

: .

: .

20

50

x
3 : .

x
3 : .

x
(m)

x
2 :

40

x
2 :100

40

, , (o )

x
(m)

inria-00258092, version 2 - 28 Feb 2008

, , (o )

30

20

10

:
:
: .

10

zwaytcd9Yc._z.c  pOp{zr{zv vr{r{zr{wacopudr{zbdczqcuqcup{zy{cEOp{zrtzv zr{_zvGrtc.y


.yty{cErtzv = 6 av = 1 zr{_Hva4zvcAcEpsrtzbr{zv%Yc.ytqqnovbdz}yt.cupu
8

* GH

20

40

60

t (s)

80

100

20

20

40

60

t (s)

80

100

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





15

x f,1 :
x f,2 :
x f,3 : .

x f (ms1 )

10

10

zwaytc 9 zvc.q zr{zcup&qp.rtzbdc

10

20

30

40

50

t (s)

60

70

80

90

100

t (s)

x f (ms1 )
x f,1 :

Fig. a) Real apparent acceleration


20

x f,1 :
x f,2 :

x f,3 : .
t (s)
e (ms2 )

10

e,1 :

e,2 :

x f,3 : .

e,1 :

e,2 :

e,3 : .

15

e (ms2 )

t (s)
x f (ms1 )

Fig. b) Estimated apparent acceleration


20

x f,2 :

e,1 :
e,2 :
e,3 : .

15

e (ms2 )

inria-00258092, version 2 - 28 Feb 2008

10

e,3 : .
0

10

20

40

60

80

100

10

20

40

60

zwaytc 9Ycu) vCcEpsrtzbr{cu &aytc.vGru cucuytr{zvpu


t (s)

t (s)

80

100



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

Fig. a) Projected trajectories on a horizontal plane

Fig. b) Projected trajectories on a vertical plane

60

120

50

x1 (m)
x2 (m)

20

ref. trajectory :

x3 (m)

x2 (m)

t (s)

30

80

60

act. trajectory :

10

t (s)

ref. trajectory :
act. trajectory :

100

ref. trajectory :
act. trajectory :

40

40

t (s)

20
10
20
20

10

10

20

x1 (m)

30

40

0
20

50

10

Fig. c) Position tracking error

10

20

x1 (m)

30

40

50

Fig. d) Euler angles

50

60

x
1,2,3 (m)
x
1 :

20

x
2 :
x
3 : .

20

, , (o )

x
1,2,3 (m)

t (s)

x
1 :
x
2 :
x
3 : .

30

0
20
40

10

:
:
: .

60
0
80
10

20

40

60

t (s)

80

100

100

20

Fig. e) Thrust control input

40

60

t (s)

80

100

80

100

Fig. f) Torque control inputs

60

2.5

1 :
2 :
3 : .

2
55
1.5
50

45

40

T = mu (N )
t (s)

35

1,2,3 (N.m)

T = mu (N )

inria-00258092, version 2 - 28 Feb 2008

40
40

0.5
0
0.5
1
1.5

30
2
25

20

40

t (s)

60

80

100

2.5

20

40

t (s)

60

zwaytc =9ip{.c.vazvaytc cuy{cuv cYp{azytvAc._az} c$ pr{yscErtytnzvrt_acMaytcup{c.vC c apr{ytva&ytzac


 zvTvH}ytczvazr{z} Op{zrtzvTc.yty{ytpu  vGrty{zr{_zvGr{cuy*.yty{cErtzv = 6 = 1 v
vq[zvaccupr{zbr{zv%
e

* GH

inria-00258092, version 2 - 28 Feb 2008

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





%(/
%-.
^&_zpZCcuyzpdvr{r{cubZarZrtp{c rdrt_ac%wavr{zvCpA;cuvac.y&ay{G_ rt;rt_acH vrty{/
}ytc bdznT)r{_aytwpr[ay{CcucuwavqcuytrtwrtcuTc._az} cupu ic.c.azva%.vGr{ytr{_c.ytn%y
c._az} cupdp{c.cubZzvanpdqz c.ytc.vGrVpvq.cuv p_zvCp{.cytqc rdbnrdypsr}vC c
aOcuy y{c.rt_acEHvHwvay{cEzpr{z} Bg/cucuyu p{c.yorrt_acKwavznozvabdqqc.cu|Gwr{zvp
)rt_acup{cpnqpr{c.bpaytzvapAc.oz}qc.vC cdr{_Crr{_acz}qcEz}pAr{cE_avaz}.nTytc.c.vGrud^&_acdzvazrtz)prtc
rt_az}p)ytKzunKo.wp{cuvrt_ac.ytzvazvqytbr{zvdytb r{_cgc qz}psrtzvy{cur{cEdzr{cuytr{waytcgvC
c.or{yrtzvrt_acc.c.bdcuvrp.rrt_acbdoac.zvaTv vrty{ cuc.}puv_az}_ y{cEp{vanHp{wavC
rt_ac.y{nZ wadOcgytcEKwqruYgbZvar{_c.bGr{_acCp{zy{zv zacgu ytqzvaAr{K_az_drt_acrt_aytwpsr
azytcu r{zv_Cp/r{dOcbZvazr{ytcuzv%yqcuy)rtdy/rt_ac bZOc.vCp{r{zvrt_acy{cEpwrvGrc o
rtc.ytvyt.cup&_pOc.c.v%rt_accuazvadwazac  vGr{ytpg vC c.zcEVyzvC ytc.bdc.vGrtn.bdac
qscu r{zcEp.ytvazvaytbRsnqpsrtzGwabZcuvGr{cuq[.vGr{ytGrt_acgc._az} $c  p)rr{zr{wCqcgrtKwar{vbdwp
rtytscu r{ytndr{yozvao_ciOc.cuvHqc.ytzcuzrt_%r{_acKp{waaOy{r y{zy{wpnawavaVprtazzrsnvC
.vocuy{c.v.cvnqpcEp. ^&_acwvzaazzrsnzbday{cE z}pcgbZqqcuzvaKv yYbdcupwaytc.bdcuvrMr{_ac
c OcErp&rt_accuvGozy{vabdc.vGrvrt_acVc._az} $c  pKqnovbdzupnozcuapr{_acvacu.cuptpzrsnc curtzcVzvrtc
ytOvvGr{zzvawa.yty{cEr{zvVr{c.ytbp.o_acuy{cEp)r{_az}prsnoCcA ytytcurtzvVz}p/r{cuvcuy{ocudzv
bvGnZvavazvacEy).vGr{ytpr{wCqzcEp.)ivdrt_acgr{_acuy)_vr{_acg.v.c.ytvcuvac.ytz} zrsnvCcuvac.yzrsn
zvqwC cud.c.y{rtzvZvGwbKOc.yMp{zbdaznGzvap{p{wabdqr{zvCp. ayYzvprtv crt_acc qz}psrtc.v.c&rrtzrtwqc
.vGr{yt r{wr{ytp/c.vawa_%O/cuywaOrtc.y bdcic.voozytvabdcuvrOCcuyrtwaytrtzvar{yt|GwacEppps
p{wabdcu ic.ytzozvaVvTaayt_%pzrrtcqc.Oc.vac.vGripgCGp{p{zacvc._z.cCy{r{z} wa}ytzrtzcEp&ocup
zr{_r{_acqcE wazva;rt_ac%.vGr{yty_azr{cu r{waytcVzvGr{zvavc.yZ_yq&ytc qc.Oc.vac.vGrvCwar{c.y
.vGr{yt opu^&_acpsrtwqnTq.wpcEvrt_ac}rrtc.yvacv;r{_acz}azzrsnT/&4c.c.Ypcuy{
bdcE_vaz}p{bdp)zv_ytcc curtzc.nday{qqwC zvart_aciqcEpzytcuZr{_y{wpry czvGr{c.vCpzrsnvVvawy
c.q zr{zcup r{_cAqc.r{cuy{bdzvrtzv*_az_ vpr{zr{wqrtcup/r{_ac y{cAr{_acAaytOp{cuVytcup{wartp Z&p/var
azpt wptp{cuVyuGcu|Gwazc.vGr{nq&pptp{wabdcuYvr{_c.y&zbdOy{rtvrptp{wabdqr{zv.v.c.ytvp)r{_acz
azzrsn/p{c.vp{ypy{oz}qzvVvq[zvacbdcup{waytc.bdc.vGrpgYr{_acZcu_az.c  piOp{c% CGpzr{zv ArrtzrtwqcE
vr{_c.yty{cEpOvCqzvcuq.zrsn bdCvac.vGrtpu ic.Oc.vazvavr{_c%c._az} cupdv rt_ac.zyVq
bzvp Oc.yr{zvor{_az}pbdcupwaytc.bdcuvr cEpsrtzbrtzvytcu|Gwazytc.bdc.vGr.vOcK ytzr{z}.4  cuy{nVcu_
Yr{_acEpcZpzbdaznozvap{p{wabdqr{zvCpvacucuapgr{Ccy{c.4cuwCr{cE_ac.v; vCpz}qc.ytzvav;aaz}.rtzv
v;a_onqpz}. p{nqpsrtc.b^&_c.nT vpr{zr{wqrtcd.bdac.bdc.vGrytn%ytcup{cuyt_Tr{zupgyc qzpr{zvavwq
rtwaytcTqc.c.abdc.vGrp. ;cp{ c.vooz}pzvrs/ zbdCyrvGrVc ortc.vp{zvpdrt r{_az}pVpr{wan^&_acypsr
vacH v cuy{vpZrt_acp{p{wabdqr{zvu ytqzva;r{ _az}_c.voozytvbZcuvGrtayt;yt.cupdvanqc.Oc.v
vTrt_acdc._z.c  pAcuq.zrsnK[rzpAvacE cEp{ptytn%r{y{cur{_az}pptpwbZar{zvTyvowabCcuy/c._az} cup
qcuy{avacupKpwabZzrrtcur{zrdy cEpqcuCcuvqzvav rt_acHvacirr ydzvpsrv.c^&_ac
r{_acuyMvcg v cuy{vpYr{_acOptp{zazzrsnZytc.bdozvart_acgp{p{wabdqr{zvvavuc.yt ytptpzvagwCvr{_ac
p{.cu {aCytc.vGr/u cucuytr{zv r{_cgytcup{warvGr)c or{cuy{vayt.cup)vVqcEpzytcuV. cucuytr{zvp
oz}HbdytcVzvGcE*vvq }ptpz}. vrty{Mrtcu_avaz}|Gwacupzbdzva;rKrt_acwv vqzr{zv)ay r{z}.
prtazzrsnKCrt_acgp{nopr{cub : <8EF>[ /cEpz}qcEp r{_acEpc.v.c.qrtwCqc.c.abdc.vGrp..vawrtzvac.qCcuy{zbdc.vGrtp
va_onqpz}.p{nopr{cubp.p{w_Kpr{_aci^gA Bgc.y Mnc Mqc.c.Ocuon/cuyrtzv^*cu_vazcEp Ay{wa
z}p/zvazp{Ccuvptacgrt.vp{zr{cr{_acAy{cEpwrp)r{_az}p&psrtwqnozr{_y{cEpOcu r)r{d }zbp)y{awpr{vacEp{p
vCcuyy{bvC czv%yrtz.wayu




&E

 
  

!#"$%!&' (*)( +,!.-/,01)'
2

 & (
:2<'>h C.waVv g Oy{yOc.c 0
2(  /+( '0
0 (%!   
 baytzqcAfgvazc.yp{zrsn
~)y{cEp{puapcE vcEqzr{zvCGq
: >C guzv_ac.zytAhHwqrtzv_av g  gc~Yza$gzyp{_az_c.yHprtazzurtzv2wCps
zvaTqpsrtc.aazva vGrty{/ay{G_  5%(
 501!*( %),  / 
( ! ( 01)
& E G 9 E 5E <.CG
:  >locuyrtytv^ Bgbdc.4ov Bo~Mzc r{[*_vazc.yElortzzErtzvVpbwvabvavacEVcuy{z}
c._az} cgbdqqcuOzr{_wqr&cuq zrsnZbZcEp{waytc.bdc.vGruv  
 8   , 01) ( ! 5+ ( 
01  acup = =& Ea =q
: & > ~ )p.
yE/vCh AMhTy wCp.vGc.ypcwav r{zvpvzvGr{cuyrtzvonyrp.  
'01)( (    ( 01)(
 
O <6 = 9 = = < <?E =C
: >Ocytp.a^/ BgbdcuvCh_avGnYgz}pwCp{c.yty{zvaZYGrtc._az} cwp{zvaozyrtw
prtr{cEp.Yv 
   ?   ,)'0 ,01 (%!  
acup&G o =q =o
:  >Ocytp.ChT_avonC^ BgbZcuOv%~ Czvac r{r{z4qrtzcrtc.ytzvVv%zbdcpcE
oz}pwCpcuy{ vGrty{Kqwrtcu vnozvaytOrE v  
 8  ,)'0 ,01 (%!
 
CcuC
p <F=5 < <F=* =qqa
: =F>A YrtozvvM c.z} %( 01) 
0 ?5  /+( '0
0 (%!. /

_av zcunvC

lqvpuqr{_zycEqzr{zv <?E&Ea
:  >^ ptpcuv  501!*( ) (%!), 
 8),,(  F,01)'
2 zcun <?E&EC
: E> g&yt.uzh A_ac._2h KAv c.ytv cu4r{zbdcbdrtzva}vavzvayzc
wqr{vabdwpcu_az} cupu
 5%(
  501!*( )  
( %! %( 01) Ma < 9 <&<E
< EGq
: <u >y{cuc.bvvM*~MynHvGr{cuyr{yopr{cuaazvayCwavqcE vGr{yt}pv .vGr{yt
yrtcupu 

 5(    5+ ( 01)  / 
aG 9 qa <8E*Ea
: <&<'>^% BgbZcuOCh_avGnOEvaCvC
CApr{ytp{Gz4 inovbdz}bdoac.zvaVvCH vawq
yrtzv%prtazzur{zvyvq4ncuyuv   
2!  & , CcEp q <Eqoq
: <E >C5 Bgwpcuyuqlqlqpr{ytnovC ZqhHc.nc.yEevzvacuy/.vGr{ytOqcup{zvy&p{z_Gr{ndvava4bdzvazbwab
_p{cpnqpr{c.b8p 9Maz}.r{zvr{ pr{ 5+ ( 01)(  9 G5 < q =a <?E&Ea
: <u >h K Bw~ hHy{zvv  lqbdp{v&}v.cuo4y c.[.vGr{ytyYwavac.yrtwrtcuKr{_aytwpr
y{Ccucu%cu_az} cupuv  
  ?   ,)'0 01  (%!  
cup& o < =q
: <.& >Kspz}qy{z4MhTy vaz4vKKloc.ytytvaz4  ', (56%  &501!&(%),  ( 0+(
8!*

(,& 8(*) /qv cEpzv%zvqwpr{ytz vGr{yt4qlqay{zvac.y&Yc.yt


: <E > BK d _z4 
0(  F,+  Y~Mytc.vGr{z} c Biqrt_azyt%cuazrtzvq


inria-00258092, version 2 - 28 Feb 2008



 

* GH



05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





u )qzCcuyt C  Cway{vcoh G^&z}pt_acuyuoh qhTvpwyuoh qrtzr{Gv~ o~ rtvawaz4^&_ac


bdz} ytA.ytrYzprtybdz} ytzyc._az} c&9  vGr{ytopnqpr{cubqcup{zvvKr{cupr{zvaCqv /(
  
   
'01),(  
01),%+ D8)'01' CcuC
p < <&<a <
: <F=F>)Ohy vzOsp{z}qytzOvloc.ytytvaz4&gwqr{vabdwpc.y{r{z}.vqzvaVvTvHpt z}rtzv
rytb 9Mv%zvGrtc.ytv4bdqqcup{cu%ay{G_ 56 (01),( C 95 < oGqGGq
: <u >K)hHz}.c.zvC  )lqbdp{v^yscErtytn;rtytozvaywavz.no.c.rsnoOc%v rspr{c.cuy{zva
_c.c.}pbdzcy{CrtpuY^cE_avaz}.*c.Oy{rg& E=oosegsO <Yz}acr_Grrt 9 $&
p{ zvaytz y yaOy{rtp p{_az & E*=q _Gr{bd4
: <8E>A~ )hTytzvv  )lqbdp{v  vrty{&zrt_rtytvpc.ypcwav r{zvpVv p{zvacc.vacuytr{y
Mwavqcuytrtwrtcubdcu_vaz}.*pnqpr{c.bpuv  
 8   ,)'0 ,01#( !  
Ocup
 <&<E o <&<qGa
: >KqhHwqrtzv_aKvC  ouzva_c.zytlortzzrsnvytawqrtvacuptp)vnqpz}pYr{_acAwaytyzytp{_az
.vGr{ytpnqpr{cub wp{zvaqnovbZz}zvocuytp{zv&v  
 8    01) (%! 56 (01
CcEp a =aGGq
:5 <'>&i r{zslqOc.yE Ag vqwaytr{zvpsrazzEr{zv yr{_acrtAzyt.ytrdzr{_pr{ytv
zvaawari waazvaC 

 5(     56 (01) / 
a5 =9 <8E E <8Eqa
(%!& ! 5 001!  %  
01) ),(   !&
2( +( '0
0 '( 01  !&( 
2
: >C [h q~Mzbdzv 
' 
2( ( ?0 *(01 ( 5+   0  '%), ~M_ r{_acEpz}pu / c iqrtycZlonqpr{`.bdcEpiqc

^*wwpca
: >C [h ~YzbZzv~ Czvac r{r{z4 C^*y{w_ac rEq~ Clow`.ytcupuav^ Bibdc.4M&c.ytqqnovbdz}ibdqo
cuzvavytr{z}.r{r{zr{wqc;psrazzur{zv  qwrtcu vwv  5 , ,(   

8 ' ), CcupG oG Eao =o


:& >C [h C~YzbdzvO~low`.ytcupuv^% Bgbdcu~ p{zrtzv.vGr{ytMqwrtcu% vHrtwCzv
.y{Gp{p{zv /6'%(01%(
 5%(
  /
4 9 q =q
: > C~My{wqrsn 
01),,%+C   (%), /+( '0
0 ( %!   

ytzcuc.yE% <8Ea
: >C c p{vacupu d ~ c rrtc.ypcuvv l y{cuvpcuv  vGr{ytGp{cuvqc.yOoanwavqcuytr{wCr{cE
waqpzrt_ wayty{cuvGrcEpsrtzbr{zvdv 
   8  ,)0 01  ( !  / 
CcEpA a
a
:* =F>llqy{zz C ChTvGr{bdc.ytnOv Zllowao_rtbdcgizp{zvHpcEHwqrtvabZwp}vazva
vwavabvavcucuy{z}&cu_az} cv 
   8   , 01) ( ! 5+ ( 01  cup
= E*E qGGq
: >locuawa}_aytch vao
z uv~ grto z  )'0 F  
0%,( C  
Gloy{zvacuy
Ycuy{}CD <8E*E =o
: < >

inria-00258092, version 2 - 28 Feb 2008









<

 
  

!#"$%!&' (*)( +,!.-/,01)'
2

alo_Ccuy{vz ZahTaq^ iGCGvlqlapr{ytn**vazvadvwavabvvacuzy/c._az} c&9 gz}p{zv


Cp{cubdr{zvcEpsrtzbrtzvvvavazvacEy vrty{ C01(   5%(
5   
<92< <.oq
<?E&E*Ea
:  >KC^ncuazvHlOhT AzGynMr{r{zr{wacKpsrazzEr{zv dGr{|Gwqytrtyzy yrE 


  (     
F6  /,)5%
  <uC 9G a* =<
: <'>K M^cuc.4 AprtazzurtzvvCytcupr{ytz r{cEr{yozvaTyZbwar{zac%zvrtc.ytr{ypzr{_
Owvqcu.vGr{yt}p. F+  &  
 '+', D <E 9 <uG %< =< <8E*Eq
: > BK MovTv%~ C^pzrtytp./lqzvawa}ytzrsn%vnqp{zp&ytz}ac pOc.cE.vGr{ytbdbZcuvGrgnoytpu
 5%(
$ 501!&(%),  
( ! %( 01) * =a  9  = oa
%;%!%: E>



inria-00258092, version 2 - 28 Feb 2008









 

vp{zqcuyr{_aczvduvazar{cnGawvadwav r{zv


iz Ocuy{cuvrtzr{zva V vrt_acVp{wqr{zvp/rt_acp{nqpsrtc.b R = RS() vwp{zvaTcubZbzr{_
p{c.cgaCcuvqz%K Gavac_p
|| = 1
V = 1 3 = 1 cos

V = 1



2
1

T S(Re2 )
+
T S(Re1 )


lqwapr{zr{wqrtzvac.qay{cEp{p{zvp= , v%wp{zvaTG qvacc.rtp


1



*E
^&_zp%ytc.}r{zv2CzvGrpwqr%r{_r voc.ytcEpVc.oOvc.vGr{z}nrtuc.yt_az}_}pzbdazcEp%r{_ac
c.qCvac.vGr{z} vGc.ytcuv c r{;V .c.yt;gpKyr{_ac%psrazzrsnrt_accE|wzzy{zwab = 0 Yzrz}p
dqzytcur.vp{cu|Gwacuv c&v;&EG
kV
kV
1 3
2 + 22
=

0
V = k 1
2 = k 1 +

1
+

2
3
3
(1 + 3 )







 

[rp/y{b r{_cqc vzrtzv% rt_r

tan2 (/2)
=

* GH

12 + 22
(|| + 3 )

|| 3
|| + 3

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





 vp{zqcuyrt_acZuvazar{cZnawavawav r{zv qc.vacETon < iz c.ytc.vGrtzr{zva var{_ac


p{wqrtzvp&Ylonqpsrtc.b ECE.&v%wp{zvac.bdVbd%pcucaOc.vaz vacc.rtp V



 T
 2
1
1
S(Re2 )
1 2
+ 2
1
T S(Re1 )
||k2
||

 


 T
 2
1
1
v1
S(Re2 )
1 2
+ 2
+
||k
= v3 (u + 3 ) +
2
v2
1
T S(Re1 )
||k2
||

V = vT (ue3 + ) +

lqwapr{zr{wqrtzvac.qay{cEp{p{zvp <*<u u v%wp{zvaTGavacqrzvp


1

/<E
^&_cKnGawavVwav r{zvac.ytzrtzczpivacurtzcpcubdzqc CvazrtcpVr{_rr{_accuq zrsn%c.yty{y&r{c.ytb
zp/CwavqcEY^&_acvac.orpr{c.r{_aciaytG.vp{z}psrpMzvVp_azvart_r z}pMwavzy{bdnZ.vGr{zvowawp
v
vaHcu_pnqpr{cub  pKp{wqrtzv zvytac.yrt;qcEqw c Gnaz}.r{zv V gy{C}r pc.bdb p{c.c
: <EF> Mr{_c.vocuy{c.v.c
v rt.c.yt^*;rt_az}pdawaytCGpcMzrVp{wqV cEpZr{p_a r{_r
z}pCwavqcE vozc. /v<E/gptpwabdqrtzv o/vrt_ac%CwavqcEqvacuptpZ vYr{_zpd vqzr{zvVz}p
ptrtzpcEz v v tan (/2)
ytcCwavqcE
y{b ip{p{wabdqrtzvTaOr{_acCwavqcEqvacEp{pg vv%r{_acZytc.}r{zv v = R (x x ) zrip
rt_r x zpCwavqcE%^&_c.ytc ytc*wp{zvaTip{p{wabdqrtzvp <VvC;C*vacVqcEqw cEpr{_Cr v
y{ci}pCwavqcEqvdrt_r u zcuvVonT <*<E)z}p/p{c.qc CvacuvOwvqcu ^&_zpzbZzcup
rt_r x zc.von
o
x
= uRe + (x,
t)
z}p&Owavacu)lozv.c

inria-00258092, version 2 - 28 Feb 2008

k3 12 + 22
k3

tan2 (/2)
V = ||k1 v32
= ||k1 v32
k2 (|| + 3 )2
k2

d
dt

e
e
(x,
t)
x+
(x,
t),
x
t
x
x

zrK bdcupuy{bkgptpwbZar{zvp <dvC;HvTrt_acZ rr{_r v y{cdOwavCqcur{_r vC


ytc}pOwvqcuc riwpvap{_a rt_rvacE_Hp{nopr{cub  pipwqrtzvart_ac.ytcc.oz}prtp > 0

p{w_r{_r
G

|(t)|
, t
[rp/y{bk <*<E Gv%c.bdbVKr{_r
G
||
d
= k (

(1 cos )
v + v ) k
= k (
v + v ) k tan (/2)
dt
|| +
lqzv.c v v ytcCwavqcEavcuv%c.vp{waytcAr{_rr{_acuy{cc qz}psrp > 0 p{w_r{_r
e (x,
t) =

1 1

2 2

1 1

2 2

> 1 =
||

d
<0
(1 cos )
dt

/|wCr{zvH z}p rt_GwCpMp{r{z}psCcuzrt_ = min{ , |(0)|}


> 0 ^&_az}pYzbdazcupYr{_acOwvqcuq

vcuptp/ tan(/2)


v


p
C

G

{
y


b


a
v


zr{_gptp{wabdqr{zvKvrt_acA r

1/(|| + )
 4 t*q E 4s sus* g4E Ms4sE.AEs*E{
1



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

rt_r v, , , ytcOwavacur{_az}p/c.vp{waytcup rt_rMrt_acg.vGr{ytazvaawartp v GvZrt_GwCp oytc


c.[qc.vacEvOwvqcu)lozvC c , v, , u ytcAOwvqcuqzrpy{bkEC)rt_r v z}p}p
Owvqcuzvnpzv.cCr{_ v ytcZOwvqcu*vacqcuqwC cupr{_r zpCwavqcE^&_ac
Owvqcuavacuptp tan (/2)
r{_c.vpy{b Gvy{br{_ac&OwavacuqvacEp{p 1/(||+ )

^&_zpi vC wqcupr{_acaytGYMwavazytb vrtzvowazrsn% vYrt_ac.vocuy{c.v.cA v v r{


uc.ytYer{cAytbk /rt_r v }pd voc.ytcgVr{uc.yt
^&_acuy{cHytc.bzvpr{p{_a rt_r v v v .vocuy{crt.cuy{C c.r qcuvartcr{_acTcu r{y
Mndqzy{cErgu} wa}rtzvovacqcEqw.cupytbc.bdbVv <&<E/r{_r
(
, )
G
d
= a(t) + b(t)
dt ||
zr{_
1

d
dt

1,2

1,2

k3 1
k
v

2
1

(|| + 3 )2
,
a(t) := 3

k3 2
k2 v2
(|| + 3 )2

inria-00258092, version 2 - 28 Feb 2008

b(t) :=

1
||

3 +

1 T
S(Re3 )
||2



[rzppsrtytz_r{ytytHr{Tc.ytznr{_r z}pOwavacu p{r{_Cr a(t) zpwvazy{bdn.vGr{zvowawCpt


Cp{cu vr{_cOwavCqcuqvcuptp v , , a(t)
)v
/cE.wpc b(t) zpZvarZvcu cEp{ptytzn
+ )
wvazy{bdn.vGr{zvowawCpOcu.wp{cV&r{_cV r{cuy{bp 1/(||

C
v

rt_ac.p{p{zuYc.ypzv&yt}r  p
c.bdbTqocEpvarZanT^&_az}pKc.ozvpr{_acwpc&r{_c p{z_Gr{nc.vc.yzucucuytp{zvzc.von
c.bdb p{c.ciaOc.vazV E Yfgp{zvar{_aciCwavqcEqvacuptpM ogptp{wabdqr{zvaGvZr{_acgay{Ccuy
rtzcEp)qrtzvcuVy{cuGzwCpn% z cY.vocuy{c.v.c r{.cuy{ZvOwvqcuavacuptp) ovacic.ytzcup
rt_r b(t) voc.ytcupMr{d.cuy{C gzy{cEraz}.r{zv% c.bdbdr{Vlonqpr{c.b Gc.vp{waytcup/r{_ac.vq
c.ytcuv ci
r{d.cuy{CYlqzv.c voc.ytcupMr{d.cuy{dvC || + > 0 or{_c voc.ytc.vC c
t
r


.

.
c
t
y



pu
v , v
ipAyAr{_acprtazzrsnHMrt_acdcu|Gwazzaytzwab (v, ) = (0, 0) zrz}p%qzytcu r.vp{cu|Gwacuv c <E
v <E
3

1,2

1,2
d
dt ||





1,2



 

y{b r{_cqc vzrtzv% zc.vGn <Ecu|GwrtzvEC&uv%Ccytc.ytzrr{cuv%p


ic Cvac
v pYzrpMzvoc.yp{c/wvrtzvMer{cy{b <E rt_r z}p)pr{ytz}r{n
zv.y{cEp{zfva: .svG7r{zvowah(s
wCpY)swav r{zfv)lqzv.c h zppr{ytz r{nOp{zrtzcGvaci_p f (0) = 0 ^&f_ac.ytc y{crt_ac
wCpc Mwva  p&zvcu|Gwzrsn p{c.c : >&p/r{dcEpsrazp{_%r{_aczvaytc.}rtzv
v = S()
v ue3 + RT RT h(|Iv |2 )Iv + RT c

c Iv |c||Iv |

* GH

|Iv |
0

f (s) ds +

|c|
0

f 1 (s) ds

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





^&_zp&cuap&wp&rtd.vp{z}qc.y&rt_aczvad.vqz}artcnawavadwavCr{zv V qc.vacEon

5=
[rz}ppsrtytz_Gryt&yrtc.ytznr{_rZrt_ac%wav r{zv V z}pdOp{zrtzc%vy{CcuyZ yE rE vivac
c.ytzCcupgp{rt_r V z}pgy{Ccuyg yu ru I oncuy{znozvaVr{_rgr{_c Bgcuptpz}vTbr{ytz V  yE ru I
z}pqc.vazr{cVOp{zr{zcz4 c > 0 *wp{zvar{_ac vCqzrtzv <rt_acwavCr{zv h fgp{zvaG
c.bdbqavCrt_acytc.}r{zv I = Rv qvacc.rtp





1
1
S(Re )


+
V = v (ue + ) +
S(Re )

||k
||
lqwapr{zr{wqrtzvadrt_ac vGr{ytc qaytcuptpzv <*<EzvrtHavacqrzvp
* E
k +
V = ||k v
k (|| + )
^&_c.vqrt_acayto Y vGc.ytcuv cA
r{
ay{q.c.cuppy~MytOp{zrtzva/egr{c
zvTyrtz.wa}yrt_rAr{_cZ.vqzr{zv <E(I,vY,r{)_acwav(I r{z,0,v 0)h z}piwCpc.wartcuvp{way{cr{_acZCwavqcEqvacEp{p
 vTzrtp.bazvCr{zvzrt_;gptpwbZar{zv 000 )~)y{CGpzr{zv;zbdazcupirt_acdc qzpr{cuv c/
wvaz|Gwacdcurty I p{w_;r{_r h(|I | )I = c daway{r{_c.ytbZy{cr{aytcKr{_r I .vocuy{cuprt I
vac.v%aan&yt}r  pc.bdbdzc.vzvHgaCcuvqzK Ert Gzrt_
V =

1 T
1
v v +
2
k2

3
||

|Iv |

f (s) ds cT Iv +

|c|

f 1 (s) ds

2V
Iv2

inria-00258092, version 2 - 28 Feb 2008

2
1 3

2
1

2
2

2
v

a(t) := RT h(|Iv |2 )Iv + RT c ,

b(t) := S()
v ue3 + RT

ip y rt_acpsrazzrsnrt_accu|Gwazzaytzwb CzvGr
zrYzp)Aazytcu rY.vp{cu|Gwacuv c
= *E.avrt_ac rrt_rrt_az}pCzvGrz}pr{_ac(Iwva, vz|G, wa)c=bdz(IvazbK0,wab0) r{_acwavCr{zv V







 

y{bk1EC&vC;4.qzrpr{_Crr{_cr{zbZc.[ac.ytzrtzci v ptrtzpcEpr{_aczvcE|wCr{zv
_z_.vOcy{cuy{zrrtc.vHp

v = S()
v ue3 + RT z + RT (e x
r )

v = S()
v ue3 RT h(|y|2 )y + RT + RT c

zr{_ qc.vacEon5<   vpz}qcuy/rt_ac.vqz}artcnGawavwvrtzv


1
1
V = vT v +
2
k2

3
1
||

|y|
0

f (s) ds c y +

|c|

f 1 (s) ds

4
<E



 
  

!#"$%!&' (*)( +,!.-/,01)'
2

_c.ytcTr{_cqc.vazr{zv2 f z}pzc.vzvrt_ac;y{oK~MytOp{zrtzvv zp%zcuvon G


gvwp{nr{rt_acKy{oY ~)y{CGpzr{zvTqOvccuy{zcupr{_r V z}pOp{zrtzcKvCay{Ccuy yu ru
v y MfipzvaT4. vr{_cy{cur{zv y = Rv vacc.rtp
v
4
k +
V = ||k v
k (|| + )
y{b <F=qvacgc.ytzcEpMrt_r z, z qv z y{ciCwavqcEMaytb 45 <)v4.ovacqcuaw cEp)rt_r
v ytcACwavqcE/lozv c v ytciOwavCqcuar{_acytc.}rtzvp
v
y
zbdan;vrt_r x vC v y{c}pTz Owvqz cu;^&_acuvzrpy{b~Myy{=Ccuxyrs+n z  vr{_=cVvwa+v Rr{zvz
ptr G~MytOc.y{rsnT <Yr{_acgwavrtzv h qvCVlonqpsrtc.b < = rt_r z ytc.bzvpMOwvqcu ic.vr{c
r{_cwavaz}|wcdp{wqrtzvrt | )z = c Vy{b r{_acuy{czr{_r{_acVptbdcytwbZcuvGrtppzvr{_ac
z
y{o~MytOp{zrtzvaovcih(|z
qcEqw cEp/r{_ac vGc.ytcuv c (y, v, ) r{ (z , 0, 0) vdrt_acAprtazzrsn
rt_azpcu|Gwazzaytzwab *r{_ac (y, v, ) pwpnqpr{cub%
ic vc
3

2
1 3

2
1

2
2

(3)

inria-00258092, version 2 - 28 Feb 2008

y := y z ,

z := z z ,

w := z,

egrtcr{_r
zpgCwavqcETvCvaz}p_acEpwar{zbrtc.np{zv c vGc.ytcEpr{Vuc.yter{cKp{
rt_r x = yg(zy,=z)y zM^&_acuvClonqpr{c.b < =&.vOcy{cuy{zrrtc.vyp

z = w
ptr (z + z ) z ) k h (|z| )z + k g (y, z)
w = 2k w k z + k (
y&zv%r{_cbZy{c.bd r&ytb
4G
Z = F (Z) + G(
y , Z)
zr{_ Z := (z, w)


w
t
p

r
F (Z) :=
,
2k w k z + k (
(
z + z ) z ) k h (|
z | )
z
v G(y, Z) := (0, k g (y, z)) _az}_vazp{_acEp&wartzbr{c.n
ivacc.ytzCcupir{_r Z = 0 zpArt_acnTp{nobdqr{r{z}.npsracdCzvGr/rt_acVpnqpr{cub Z =
on.vp{zac.ytzvar{_czvad.vCqzr{cnwavadwav r{zv
F (Z)


Z
4G
1
1
w
1
h (s) ds + |
U=
z | + z +
2k
2
2
k
vCqc.cEqqz c.ytc.vGrtzr{zvaZfRvr{_acp{wqr{zvrt_acAp{nqpsrtc.b Z = F (Z) vCVwp{zvK~MytOc.y{rsn  
rt_acwav r{zvHp{r vgptpwbZar{zv 0 ~My{CGpzr{zv%aavacqrzvp


!



t
p

r
w
w


z | + z + z + (
U = h (|
z | )|
z | k |
z +
(
z+z )z )
k
k
4




2

gz (
y , z) := hz (|
y z| )(
y z) + hz (|
z |2 )
z

2
z

2
z

z z

z z

2
z

2
z

z z

z z

|
z |2

 



w
w
hz (|
z |2 )|
z |2 kz |
z |2 kz z + + 2kz |
z | z +
kz
kz

* GH

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





lqzv.c z }z pOwavacu z z}p}pHOwvqcuytb zrpKqc.vazr{zvgpH vpcE|Gwac.v.cr{_acuy{cc.oz}prtp


pwC_r{_Cr h (|z| ) > ^&_az}p.vagzr{_zbdazcEp*r{_r*rt_ac.ytc/c.qzpr p{bdc& vpsrvGrtp
>0
p{w_r{_r
, > 0



4
w


U |
z | z +
k
gaanozvanwava  p)r{_c.ytc.b vacAr{_acuv%p{_ap/r{_Cr z w CvVr{_owp U voc.ytcrtuc.ytY^&_ac
prtazzrsnVr{_cAcE|Gwazzay{zwab Z = 0 *r{_acp{nqpsrtc.b Z = F (Z) y{cEpwrpy{b 4&vG
lozv.c 0 z}pAr{_acnTpnobdqrtr{z}.nTprtcdOzvr)rt_acVpnqpr{cub Z = F (Z) Z z}p
OwvqcuZv= G(
voc.ytcEpMrt.cuy{Cor{_acuvyilonqpr{c.b 4 .vocuy{cup}pZrt.c.ytMlo
rt_r (z, z) .vocuy{y,cuZ)p/r{ (z , 0) /^&_cK vGc.ytcuv cA z v y := Zz + x r{.c.ytdzbdazcuprt_r x
.vocuy{cup&rtuc.yt*zvnp{zv.c v := v + R z v z .vocuy{cr{%.cuy{C v }p voc.ytcupr{
uc.yt
c rMwp CvnKcuprtz}p_Zrt_acpsrazzrsnCrt_accu|GwazzaytzwabOzvGr

y{bk <u&vC;4. (v, y, ) = (0, 0, 0) zpdprtaccE|wzzy{zwab(z,rt_az,cx ,vv,rt)y{=cu(zpnq,p0,r{cu0,b%a0,0)v


ytb Vv Z = 0 z}pvpnobdqrtr{z}.nprtacTcu|Gwazzaytzwb OzvGrrt_acp{nopr{cub
/lqzv.cr{_acwvrtzv zv &z}p vGr{zvGwwp&vCz}qcuvrtzun.cuy{Z_ac.v
qvac
Z
acuq=wF.cu(Z)
prt_r (v, y, , Z) = (0, 0,G 0, 0) zpp{Hpsraccu|Gwazzaytzwbkr{_cV vGrty{cuy=pnq0pr{cub%
^&_zpqzytcurtnzbdazcupr{_cpsrazzrsnV*rt_accu|Gwazzaytzwb (z, z, x, v, ) = (z , 0, 0, 0, 0)
z

inria-00258092, version 2 - 28 Feb 2008







 

&^ _cKOp{zrtzozrsn%Yr{_acKr{_aytwprizvaawqr u zpgcup{zncuy{zcE%y{brt_acZac vazr{zv u zc.vHzv4


vHrt_acdptpwabdqrtzvpAv zcuvTzv;~MytOp{zrtzvo  vp{zqcuyvar{_acuvqz}ar{cdnawava
wvrtzv%zc.v%on; <u.Mfgp{zvaT4&vcubZb% p{c.cgaCcuvqz%K Gavacc rp
V = vT (ue3 + ) +

1
1
||k2



2
1

1
+ 2
||

T S(Re2 )
T S(Re1 )



= v3 (u + ||) v3 (|| 3 )


 T
 

 2
1
1
S(Re2 )
v
1 2
+ ||k2 1
+
+ 2
T

S(Re
)

v2
||k2
||
1
1
= v3 (u + ||)
1
1
+
||k2



2
1

1
+ 2
||

T S(Re2 )
T S(Re1 )

 
 
||k2 v3 1
v1
+ ||k2

v2
|| + 3 2

lqwapr{zr{wqrtzvadrt_ac vGr{ytc qaytcuptpzvzvrtH*=avacqrzvp

4*=

4
 y{b r{_zpcE|Gwzrsnor{_acy{o*r{_az}paytOp{zrtzvaytq cucuap&zcAr{_acayto ~My{CGpzr{zv%a
k3 12 + 22
V = ||k1 (
v3 )
v3
k2 (|| + 3 )2



=

 
  

!#"$%!&' (*)( +,!.-/,01)'
2







 

^&_cwavazytb war{zbdr{cOwvqcuavacuptp& y{cEpwrp&y{bk&vC%ip{p{wabdqrtzvZonu} wa}rtzv


tr _acr{zbdc qc.ytzr{zc V = |x| vC%p{_ax zvaZr{_rzrz}pvacur{zcA_ac.v |x| c.a c.cEap cuyrzv
rt_aytcup{_a}YhHytcaytcu z}p{c.novac_Cp
1
2

V = x T (uRe3 + e (x,
t))

fipzvagptp{wabdqr{zvHdvr{_czvacE|Gwzrsnvacartzvp

c4 3
c3
|x|

V |x||u|

+ |x|
m
m

c4 2 
c3
|x|

|x|
1 + (2 + )|x|
m
m

inria-00258092, version 2 - 28 Feb 2008

p{Zr{_r x zp&w w Yon

c3  1
1
+
2 +
2
m
2

r

2 +

c3 2 41 c4
+
m
m

vozcu*ip{p{wabdqrtzv <ort_acAwavazytb wartzbr{cCwavqcEqvacEp{p pu lqzv.c }z pw w 


rt_acrt_ay{wCpsrgzvaawar u z}pgp{w w ^&_acuvvacKqcEqw.cup&ytbo&rt_r x z}pw w  x b azvzva
zr{_Hip{p{wabdqr{zv.<ar{_az}pzbZzcuprt_r zpp{w w 
e







^&_cizvaZr{cu_vazuc.bdbZzpwCpcEzv%r{_acaytoY^&_ac.y{cub <
   ' (F !* ;%,! M c + c ((c , v ))  (x, t)
ptr ( (x, t))) 0
&E
v R ( (x,
t)
 ^*/up{cupytc vCpz}qc.ytcu 9
z[ x, t)| < M ~MytOc.y{rsn  Grt_ac/ptrtwayr{zvAwavCr{zv p{r zbdazcupr{_r (x, t) =
ptr ( |(x, (t))
Cvr{_acytcup{warpu
zz}M[ | (x, t)| M zr)p ytb YvZr{_ci_az.ch r{_r |x| > (c , v ) ^&_c.v
wCpzvad~MytOc.y{rsn   *rt_acp{r{wayrtzvwvrtzv ptr * qrt_acytc.}r{zvCp ( (x, t)) 1 v
qvacc.rtp
R
v = x x
ptr ( (x, t))) = (1 ( (x, t)))(x x ) (x, t)
v R ( (x,
t)

e,d

e,d

2

e,d

e,d

e,d

e,d

e,d

e,d

e,d

e,d

e,d

e,d

(1 (e,d (x,
t)))(x
e,d (x,
t) + v
r |e,d (x,
t)|)

(1 (e,d (x,
t)))(
c4 |x|
3 c2 v
r |x|
2 c3 |x|
c1 v
r )

y{b r{_cqc vzrtzv%rt_acwav r{zv ar{_aczvacu|Gwzrsn

|x|
> (
ci , v
r )

c4 |x|
3 c2 v
r |x|
2 c3 |x|
c1 v
r 0

* GH

zbdazcup

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





^&_owpuqzvacu|Gwzrsn;4E/pu
y{b Yv <Eytc.}rtzvH_a}ap rty{wac&y)p{bdc&CGpzr{zc.vprtvrp
~)y{Ccuyrsn
^&_ac.y{cub < r{c.r{_acuyZzr{_r{_cT bdac rtc.vacEp{pZgr{_cp{nqpsrtc.b  pZp{wqrtzvptK, rt_ac.vqzy{cEr{n
pon;aazurtzv ~MytOp{zrtzvalozvC cip{p{wabdqr{zv <_a}apu*~MytOp{zr{zv HzbZzcup
p{ir{_r ytcOwvqcu lozv.c z}p OwavacuvacqcEqw cEp ytb*rt_r
ytc.bzvpCwavqcEx  bKzvazvaHzr{_ip{p{(t)wabdqrtzv & EG v~)y{Ccuyrsn   rt_acwavC(x,r{zt)v
ptr r{_az}pzbdazcupr{_r ( x, t) zpg}pdOwavacu&gpi vCpcE|wc.v.cqzrpy{b 4rt_r
v ytcic.[qc.vacEvCVOwavacuvaZcu_pnqpr{c.b  p&pwqrtzvY^&_az}p.avaKzr{_r{_ac
u
Owvqcuavacuptp& aprtdacuqw.c~MytOc.y{rsn <rt_az}p&r{_acuytc.b
c rwpvcuprtaz}p{_%~)y{CcuyrsnV ;c_cgrt_rK bZCytcizr{_ Et
p{r ( (x, t)))

v = S()
v ue + R (x,
t) + R ( (x,
t)
^&_c.ytc ytcort_acr{zbdc qc.ytzr{zcr{_c.vCqzr{cnawavadwavCr{zv V qc.vacEGn <&v
rt_acp{nopr{cub  pp{wqr{zvCp&zp&zc.v%Gn
p{r ( ))
V =
v (u + ) + v R (
1

e,d

1,2

inria-00258092, version 2 - 28 Feb 2008

c.a}.zva
V

1
1
+
||k2

u, 1 , 2



e,d

2
1

1
+ 2
||

e,d

e,d

T S(Re2 )
T S(Re1 )

onr{_acuzyc.qay{cEp{p{zvpzv4.qvcAqrtzvCp

= ||k1 v32 (|| + 3 )

e,d

 
v
+ ||k2 1
v2

k3 12 + 22
+ vT RT (e,d
k2 (|| + 3 )2

ptr

<E

M (e,d ))

(1 (||))
(
1 T S(Re2 ) + 2 T S(Re1 ))

+
||3 k2

[rp/y{bk G&vip{p{wabdqrtzv%Zrt_r
p{r ( (x (t), t)) = (x (t), t)
_c.v M c + c v fgp{zvagptp{wabdqr{zvovacqcEqw cEpr{_r_c.v M > c + c v
ptr
y zvHvacuz_GOyt_aoq wayrt_ac.ytbdytcYp{zv.c
onHpt(p{wabdq(x,r{ zt))vT=vacacuq(wx,.cut)pgy{b x ort_r (||) = 1 zvx Vvacuz_oCy{_aoqH x )|Gw(0,
rtz)v
<uOcu.bdcup
M

e,d

e,d

e,d

2
2 r

e,d

2
2 r

k3 12 + 22
V = ||k1 v32 (|| + 3 )
k2 (|| + 3 )2

v%r{_caytGYq.p{nobdqr{r{z}psrazzrsnay{q.c.cupzcr{_acy{o Y~MytOp{zr{zvTqc.rgwp
v vpz}qcuygrt_ac.p{cK_c.v M c + c ((c , v )) v |(x, t)| , (x, t) Z^&_az}pi}r{r{cuy
.vazrtzvzbdazcupr{_r (||) = 1, (x, t) )^&_c.ytc ytcocE|wCr{zv <ECcE bdcEp
p{r ( ))
k +
V = ||k v (|| + )
+ v R (
1

2
1 3

2
1

2
2

k2 (|| + 3 )2

e,d

e,d



*E

 
  

!#"$%!&' (*)( +,!.-/,01)'
2

y{bcubdbd < vC <u avcacuqw.cup&rt_r


k3 12 + 22
V ||k1 v32 (|| + 3 )
k2 (|| + 3 )2

y{b _acuy{cor{_acaytoay{q.c.cup&zcAr{_cay{o*~MytOp{zrtzvo



 









 
1 T

1
d
S (
) 2 R S()
=
dt ||
||
||





 T
 2
1
3
1
d
S(Re2 )
1 2
+ 2
1
=
T S(Re1 )
1
dt
||
||
||

inria-00258092, version 2 - 28 Feb 2008

 egr{crt_r

||

= RT ||

gz c.ytc.vGr{z}rtzvaZrt_azpcu|GwrtzvqvcAc rp

d
dt

||

d
dt

||

hTytc.cuyuGvcA_Cp
^&_owpu

 

T d
= S()R
+R
||
dt ||
 

T d
= S()
+R
||
dt ||
 

1
T d
S(
) + R
=
||
dt ||
T

(||2 I3 T )
S()2
=
3
||
||3


^&_cytpry{cEpwr c.bdbdZz}p&artzvacEonVwCpzva&zv G)^&_cy{cEpwarzpzv%r{wy{vwp{cur{
qrtzv
RT

d
dt

d
dt

3
1
||

||

1
1 T
R S()2 = 3 S(
)RT S()
||3
||



1 T
1 T
) 2 R S()
= e3 S(
||
||



1
1
T

2 1 0 2 S(
=
)R
||
||




 2
 T S(Re2 )
1
1
1 2
+ 3 1 2
=
||
||
1
T S(Re1 )

egrtcirt_rrt_acytzr{zv% 1 + z}p&zvqc.Oc.vCqc.vGrr{_cn vawa}y&c.o.zrsn

3
||

* GH

05 ) " (  


 ( 
  (F'),(







 
0  
0 



 



 

;( ! A
2(!&





 



x = a(t) + b(t)
lim b(t) = 0

 ( (


2(    
!&'%6 ( '
501 6   !0  /01(
$(01
( 50 
), 0x(t)

A ,5)01       (
(%!
a(t)
lim x(t) = c

t+
(), ,+( / (
  ' 

egrtcirt_rrt_ac.pc


 



t+

lim x(t)

= 0

y{ytcup{Ovap/rtrt_ac }ptp{zucuytp{zv &ytr p/c.bdba


b=0

 !

t+

 


2&nrtZac r{cuy{bdzvacAr{_ac vGr{ytOzvp vpz}prtpzv% vpz}qcuy{zvart_acAzvacuy{zur{zvVlonqpr{c.b 1E


.bdac.bdc.vGrtcuzr{_  <F=rr{_ccu|Gwazzaytzwab z = 0, z = 0, x = 0 v = 0 R = I u = g
gyirt_acyrtz.wayAup{c_c.ytcKrt_acdy{c.c.ytc.v.cKrtytscurtytnzpaqcuCzvGrE

=0
vrt_acqcEpzytcunvawa}yicuq zrsn%zpicu|Gwr{.cuy{CvHr{_zpAaOc.vCqzOr{_cGFzvr{=wavamge
zvazp
Oc.y{ytbdcu;yr{_acVOp{zr{zv vGr{ytcuy&~My{CGpzr{zvavr{_acp{bZcdrtcu_avz|GwacaazcEpr{
rt_acrt_ac.y.vGr{ytc.yp.
egcuy&rt_acqcEpzy{cEcE|Gwazzay{zwab p&zc.v%on;45 <u&uv%CcaaytozbrtcuVon
3

inria-00258092, version 2 - 28 Feb 2008

lqc rrtzv

ic Cvac

ge3 + (h(0) + kz hz (0))


x + h(0)z 2kz z

w := z

vwpzvadrt_ac rrt_r

(s)
s |s=0

=1

qvcqcuqwC cupytb /r{_r

g + (h(0) + kz hz (0))
x3 + gk1 v3 + h(0)z3 + (gk1 2kz )w3
h(0)
k3
3 kz
4g
(h(0) + kz hz (0))
x2 gk2 v2 k34g
z2 (gk2 k2g
)w2 k43 (eT2 RT e3 )
h(0)
x1 + gk2 v1 + k34g
z1 + (gk2 k32gkz )w1 + k43 (eT1 RT e3 )
k4g3 (h(0) + kz hz (0))
0

/v := e R e [r bZcEpytb R = S()R 0 Mv


r
{

_

r
RI
,

fipzvaKr{_acOcAaaytqzbr{zvpuvacgqrtzvp)r{_cgzvKzvacEy&pnqpr{cub _z_zp/r{_cizvcuy
aaytqzbrtzvVr{_c vGrty{cuc.yty{y&p{nqpsrtc.bk E&.bdac.bdc.vGr{cEzr{_  <F=
1 := eT1 RT e3

T
2

=
=
=
=
=
=

w
2kz w + kz hz (0)
x
v
(g1 , g2 , (h(0) + kz hz (0))
x3 gk1 v3 h(0)z3 (gk1 2kz )w3 )T
h(0)
k3
3 kz
4g (h(0) + kz hz (0))
x1 gk2 v1 k34g
z1 (gk2 k2g
)w1 k43 1
h(0)
k3
3 kz
4g
(h(0) + kz hz (0))
x2 gk2 v2 k34g
z2 (gk2 k2g
))w2 k43 2



/<

 
  

!#"$%!&' (*)( +,!.-/,01)'
2

^&_cAy{cE cuazvap{nqpsrtc.buvCcacu bdCGpcEVzvrtdr{_aytc.czvqcuCcuvqc.vGrgp{wap{nqpsrtc.bp


(3 ) :

zi

w i
x i

v
i

(i ) :

z3

w
3
3
x


v3
=
=
=
=
=

=
=
=
=

w3
2kz w3 + kz hz (0)
x3
v3
(h(0) + kz hz (0))
x3 gk1 v3 h(0)z3 (gk1 2kz )w3

wi
2kz wi + kz hz (0)
xi
vi
gi
k3
4g
(h(0) + kz hz (0))
xi gk2 vi

inria-00258092, version 2 - 28 Feb 2008

_p{c_Cyrtc.ytzpr{z}Onovabdz}}pytcizc.v%on

(i = 1, 2)
k3 h(0)
4g zi

(gk2

k3 kz
2g )wi

k3
4 i

P3 () = 4 + (2kz + gk1 )3 + (h(0) + 2gkz k1 + kz hz (0))2


+ (2kz h(0) + gkz hz (0)k1 ) + kz hz (0)h(0)






kz k3
h(0)k3
kz hz (0)k3
k3
4 + g 2 k 2 +
3 + 2g 2 kz k2 +
2
+
Pi () = 5 + 2kz +
4
2
4
4


kz h(0)k3
kz hz (0)h(0)k3
+ g 2 kz hz (0)k2 +
+
2
4

gbdvadbvonVOptpzazzr{zcupuqvc.voyzvpsrv.cqaytq cucu%pp.Y^c
h(0) = 2gk1 kz 4kz2 ,

^&_c.v


k2 =

k1 k3
,
4g

kz <

gk1
2


1
2
P3 () = ( + 2kz ) + gk1 + (2gk1 kz
+ kz hz (0)) + hz (0)(2gk1 kz 4kz )
2



1
k
3
2
3
2
2
4
+ gk1 + (2gk1 kz 4kz + kz hz (0)) + hz (0)(2gk1 kz 4kz )
Pi () = ( + 2kz ) +
4
2
3

4kz2

n;rtGzva 2k < gk Yvacqrzvpon az}.r{zv &rt_ac%wqrt_q6Bgwaytzrt ytzrtc.ytzvr{_rZ


ty orp P ()
_cvac.Grtzcy{cE*y{rtpug^&_acd bZcubZcuvGrtytnOptp{zazzrsnM_CGzvaytGrtp
 P () ytcuvac.Gr{zcvcE|Gwcuapr{_aop{c k , k , h (0) pp

3
k =
, k = , h (0) =
g
zr{_ qcuvartzvaTvy{zrtyty{nHOp{zrtzcvowabKOc.yEVer{cdr{_Cr h(0) = 2 v k = zv
rt_az}p.pcMivcAqrtzvCp
z

2
0

P3 () = ( + 0 )4


k3
4
3
Pi () = ( + 0 ) + ( + 0 )
4

* GH

30 k3
4g 2

05 ) " (  


 ( 
  (F'),(



;( ! A
2(!&





^&_c.vzrMpwa.cuprt_GGpc p{w_r{_r
zvZyqc.yr{Ac.r r{_ac&ytGrtp vacuyr{_aGpc
 P () := ( + ) +k  M^&_cAGzkvp k 4 k k h (0) h(0) wp{cuy&rt_aPc()
pzbKwr{zvp
lqcurtzv_cCcuc.vH..war{cEzr{_ = 0.8 v k = 12.8
i

 

3
k3
4












 

[ rYz}pYptpwbZcErt_r rt_acy{cEpwrvGr*yt.c F  cuy{qqnovbZz}Yyt.cupYaazcEprMiOzvGr P qc.vacE


on k gc.vac v := v v  _aGpccurtyY.Gytazvr{cEp c qaytcuptpcEKzvdr{_acgp{zp
rt_acGPOoa=n40.05
aqcuybdc B zp
ae

inria-00258092, version 2 - 28 Feb 2008

ve = vP vf = (v + 0.05[1 , 2 , 0]T ) RT x f

c r
v


qc.vr{cTr{_acpwab zrvqyyt.cupu D r{_ac;bZbdc.vGr{wab qyC&v F :=


rt_acKytcup{wartvGryt.c zr{_ F v D qc.var{zvaVrt_acKcu r{yiM oytqzvr{cupg F
c.qay{cEp{p{cuzvrt_acpz}p&r{_acc._az} cup pytbZc av r{_accurty oytqzvr{cup
c qaytcuptpcEVzv%r{_acpz}p&*r{_aczvacuyrtzytbZc I Bvac_p F

Fa

F a + Dm

Dm

F ae

ae

ae

Fae = R(Fa + Dm )

y&rt_acpzbKwr{zvpc_cAwp{cu
Fa,i = k1e
Fa,3 =

e
2 + v2 v
ve,1
e,2 e,i k2 |ve |ve,i ,

2
k3e (ve,1

2
ve,2
)

i = 1, 2

k4e |ve,3 |ve,3

 zr{_ k = 0.13, k = 0.03, k = 0.03, k = 0.005 7iv D = 0.28p|T |v zrt_ T


rt_acrt_aytwpsriy c  pzvGr{cuvpzrsnA^&_acrty|wczvCqw cEHon%r{_acc or{cuy{vyt.cup_pOc.cuv;..wa}r{cE
..yqzvKrt
e
1

e
2

e
3

e
4

Mae = 0.05S(e3)RT Fae



inria-00258092, version 2 - 28 Feb 2008

Unit de recherche INRIA Sophia Antipolis


2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)
Unit de recherche INRIA Futurs : Parc Club Orsay Universit - ZAC des Vignes
4, rue Jacques Monod - 91893 ORSAY Cedex (France)
Unit de recherche INRIA Lorraine : LORIA, Technople de Nancy-Brabois - Campus scientifique
615, rue du Jardin Botanique - BP 101 - 54602 Villers-ls-Nancy Cedex (France)
Unit de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France)
Unit de recherche INRIA Rhne-Alpes : 655, avenue de lEurope - 38334 Montbonnot Saint-Ismier (France)
Unit de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)

diteur
INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)

  


  

ISSN 0249-6399

Vous aimerez peut-être aussi