On parabolic and elliptic spectral dichotomy

(1)

HAL Id: inria-00074343

https://hal.inria.fr/inria-00074343

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.

On parabolic and elliptic spectral dichotomy

Alexander Malyshev, Miloud Sadkane

To cite this version:

Alexander Malyshev, Miloud Sadkane. On parabolic and elliptic spectral dichotomy. [Research Re- port] RR-2332, INRIA. 1994. �inria-00074343�

(2)

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

On parabolic and elliptic spectral dichotomy

A.N. Malyshev , M. Sadkane

N˚ 2332

juillet 1994

PROGRAMME 6

(3)

(4)

-%.0/1.32547698;:=< >@?BADC 2E.GFH4JI3KL4NM;>5AA

O"PQ7RNPSUTTVWYX Z[S]\_^a`J\cb^=deVfJghd0i;j7`kV7l TQkmonVa\0d_bSUgpdqQNfVg!\eQ7RUd_^=deVa\rfL`kT5nVPhd_j7`kV

O"PQNstVg!uv uw#xhy

zSU{k{|Q7P=g}mJV~PV^=kVP^=kVf~LN77YXsh`Jd0\\eVg%7UYX {|SR7Vb

G]|U7V1mNd_bâ`|bbYgh[Q$bp{|VâgPS@\[mNd^=kQ7gQNTgV^=kfJd_j7`kVb~Q7fkVQ7PâQ7T{k`kghdefkRSUf

defJ@SUPhd_SUfJgbh`k|bh{|S7^aVQU"S~fkQNf|bhLTDTVgPhd_^#T1SUg=Phd0 S7bbhQk^=d_SUgVm%!degg=kVVadqRNVfLUS]\e`kVb!def|b¡d_mJV

SUf|m¢Q7`kgab¡d_mJVSDRUde7Vf{|SUPSU3QU\_Sk£!u}fkQNgkVP¤Q7P^aQ7T{k`kghdefkRSPpdqRNLgmJVa¥;SUghdefkR$bh`k|bh{|SN^aV~QU

S¦PVR7`J\_SUP~T%SUgPhd0§{3Vf|^=d0\S7bbhQk^=d_SUgVm¨dqg=©gkVVadeR7VfJ@S]\e`kVbYdef|b¡d_mJVSUf|mQ7`kgab¡d_mJV S%RUde7Vf

Va\0\0de{|bhV7£ª!kV#gV^kfJd_jN`kVbo`|bhV}T%SUgPhd_âVb"Q(QNPmJVPrgh!d_âVgkVQ7PmJVPrQ(g=kV}Q7PpdqRdqf|S@\;T1SUg=Phd_âVb

Q7fJd^=gkVbh{|V^ag=PS]\mNd_^kQ7g=Q7T1JgkV#`kfJdeg}^=deP^=\eVSUf|m%JgkV#deT1SURdqf|SP1S]Jd_bSU{k{J\e

Va« ^=deVfJgh\e7£~V{kP=Q@NV~gkVYVj7`Jde@S@\qVf|^aV3Vgh[VVfgkV^aQ7f|mNdeghdeQ7f©fJ`kT|VPQUrgkVQ7PpdqRdqf|S@\

{kPQNJ\qVT%b}SUf|m¦g|SUg!QU"gkVgPSf|b¡QNPTVmDQ7fkVb£

¬¦L® ¯h°±;U²G7©bh{3VâgPS]\mNd_^=kQ7gQ7T7l|bh{3VâgPS]\ gPaSUf|b¡¤Q7PT1SUgpdqQNf lLbh{3VâgPS]\câQNf|mNdqgpdqQNf$fJ`kT³

3VP

´µ¶

·h¸h¹º

¶

·"»"¼q¸t½9¾¿

ÀÂÁ9ÃÄ¤Å9ÆÇÅ¤È]Å¤É ÊËkÌÍÅ¤Î]ÉtÏÍ=Å9ÆÇÐhÄhÑ@Ò Ê=ÓÊaÄ9ÆÇÔÆÇÕ¤Ä¤ÖUÑ7×ØaÙaÙÚaÙÑUÛ ÈÄ¤Ä9ÆÍ¨ÜeÏ¨ÍpÝÇÞÄ¤ÎÉhÓßGÏÍ=Å¤Î7àÃ]Ä¤ÖUàÄ¤ÈUá¡à@â ÎÆÇÄ ã;ÊaÕ¤Örã Í=Ä

ÐÍ=Õ¤Õ9ÆÇÉtäYÊÈ]ÅãåÎÆæÝÇÉÅ¤Î]É[Í=ÈÅ¤ÎÊaÕGã(Í=ÄGÓaÆÇÄ9ÆÇÅ9ÆÇÃçÁ¤Û Áèérà7âåÎÉrã ÊaÕ¤Öã ÍÄGÄ¤Èê]êUÊÕ¤Å¤Éhä~ÔÞ#Å¤ÎÉ!ë]Õ¤ÉtÃ]ÐÂÎÌÆÇÃÆÇÄ¤Å¤Õ¤Þ

Ê=Ë;ì É¡ËeÉhÃÄ¤ÉÜ_ìÛ íHâá Í=Ãä#ê@Í=Õ¤Å9ÆÍhÝæÝÇÞYÔÞÛ(ÈÄ¤Ä9ÆÍ=Ã~ëÈ]ÃäÊ=Ë;ë]ÈÃäUÍÏ!ÉhÃÅÂÍpÝ;Û ÉhÄ¤ÉpÍ=Õ¤ÐÂÎ]ÉhÄrÜ_ÚaØhî¤ÙïaïÂî¡ïpðïpðaá

ÀÂÀÂÄÂÍ=äÖÍ=ÃÉßåÆÇÕ9ÆÇÄÂÍàËeÕ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : (33) 99 84 71 00 – Télécopie : (33) 99 84 71 71

(5)

yQ7`|b1mNd_b^a`kg=Q7f|bmJV`J gV^=kfJdjN`kVb$mJVmNd_^kQ7g=Q7TdeV©bh{|V^agPaS]\eV7r`kfkV{|QN`kP

^S]\_â`J\eVP#`kf$bhQ7`|bh³¤Vbh{|SNâV#dqfJ@SPhd_SUfLg#mæ`kfkVT1SUgPpdâVfkQNf bhJT5nVgPhd_j7`kV7lkS7b=bhQ ^=dnVSU`J%@S]\eV`kPb

{kPQN{kPVbS \dqfJgknVPhdeV`kP~VgSD\æVakgknVPhdeV`kPmæ`kfkV%{|SUPSU3QU\eV7£vSU`kgPV{|QN`kP^S]\_^a`J\eVP`kf bhQN`|b

Vbh{|SNâVdefJ@SUPhd_SUfJgmJPQUdeg[m`kfÂS]d_bâVSU`PknVR7`J\0deVPmJVT1SUgPpdâVblLS7bbpQ ^=dnV#SU`J@S]\eV`kPbo{kPQ7{kP=Vb

SY\defJgknVPpdqV`kPVgS*\æVakgknVPpdqV`kP#mæ`kfkVVa\0\de{|bhV7£åZrVb!T5nVgkQkmJVb!bhQ7fJg[|SNbLnVVbobh`kP!\_S^aQ7f|bhg=P`|^a³

ghdeQ7f mJVT%SUgPhd_âVbmæQ7PamJPVmJV`J$¤QUd_bâVa\q`JdmJVbT1SgPhd_âVb}mQ7PhdeRUdefkV7l Vg~bh`kP#\eVbjN`kVa\0\eVb\eVb

gV^=kfJd_j7`kVb!mJV}mNd_^=kQ7gQ7TdqVbh{3V^agPS]\eV{|SUP'\eV}^aVP^=\eV}`kfJdegknV!Vgr{|SUPG\ÇS]kV!deT1SURdqf|S@dqP=VbSU{k{J\0dq³

jN`kVfLgVa«^S7âVTVfJg£ yQN`|b#TQ7fJgPQ7f|b¨\æVj7`JdeUS]\eVf|âV1VfJgPVY\eV1âQ7f|mNdeghdeQ7fkfkVTVfJgbp{|VâgPS@\

mJ`¢{kPQ7J\VTVQNPhdeRUdef|S]\Vg}^aVa\e`JdrmJ`${kPQ7J\VTVgPSUf|btQ7P=T V7£n

±3¯ 5mNd^=kQ7gQNTdeVbh{3VâgPS]\eV7l3gPSUf|b¡¤Q7PT%SUghdeQ7fbh{|VâgPaS]\eV7l|âQ7f|mNdeghdeQ7fkfkVTVfJg~bh{|Vâ³

gPaS]\

(6)

% & } Y "G*

x¡f gJd_bDfkQ7gV!V$SUPV$âQ7f|âVP=fkVm ¨dqg= bhQ7TDV$bh{|VâgPaS]\}gPSf|b¡QNPT1SUghdeQ7f|b*¤Q7PâQ7T{k`kghdefkR

defJ@SUPhd_SUfJgbh`k|bh{|S7^aVb^aQNPPVbh{3Q7f|mNdefkR1gQgkV#VadeR7VfJ@S]\e`kVb#QUcST1SUgPhd0('¡{|Vf|^=d0\)rdef§SYRUde7Vf

mJQ7T%S]def(*QcgkV^aQ7T{J\eVa${J\_SUfkV7£

©V^aQ7f|btdmJVPi|Pbhg#gkV~^S7bpV~kVPV* dbgkV*dqfJgVPhdeQ7P'ÂVakgVPhdeQ7P+)oQU'SDRUde7Vf¢{|SUPSU3QU\_S

,

SUf|m¦kVPV!VbhVV+-SUf¦dqfJ@SPhd_SUfLgbh`k|bh{|SN^aV~QUrST%SUgPhd0(.B|S]NdqfkR%fkQ%VadqRNVfLUS]\e`kVb#Q7f

,

£0/o `|b¡defkR5S©bh{3V^=dS@\}T1SUgPpd211l'[V$bpkQ@ g|Sg!VPVmJ`|^aV¢gkV{kPQ7J\eVT gQg|SUgQU

gkV~âQNT{k`kgSUghdeQ7f%QUSUfDdefLUSUPhd_SUfJg}bh`k|bh{|S7âVQ31âQ7PPVbp{|Q7f|mNdefkRgQgkV\eVag4'ÂPpdqRNLg+)G|S]\0

{J\_SUfkVQU gkV#âQ7T{J\eVa1{J\_SUfkV7£kª!kVPVa¤Q7PVg=kV}PVbp`J\qgabrâQ7f|âVPfJdefkRg=kV}bh{|Vâg=PS]\(mNd_^=kQ7gQ7T

JgkV#deT1SURUdef|SUP= S]Jd_b65 l3Wkl87Ll9;: ^SUf¢|VS{k{J\deVm¢Va« ^=deVfJgh\e7£

xÂf g=kV§bhV^aQ7f|m {|SUPg!V^aQ7f|b¡d_mJVP1g=kV§^S7bhV¢kVPV<* d_b%gkV%defLg=VPhdeQ7P('¡Va gVPpdqQNP+)~QU

SUf Va\0\de{|bhV>=BSUf|m5kVPV$!V$bhVV+-5SUf5defJ@SUPpdSfLgbh`k|bh{|S7^aV¢QU~SPVR7`J\_SUPT%SUgPhd0 {|Vf|^=d0\

?@BA . |SNdefkR~fkQYVadqRNVfLUS]\e`kVbrQNfC="£/o`|b¡defkRSYbh{|V^=d_S]\ PVR7`J\_SUPoT1SUgPhd0{|Vf|^=d0\ ?DEA 11l

!VbhkQU g=|SUg~gJd_b{kP=Q7J\eVT d_b~P=VmJ`|^aVm5gQ¢g|SUg~Q}gkV^aQ7T{k`kgSUgpdqQNf5QU}SUf©defJ@SUPpdSfLg

bh`k|bp{|S7^aV1Q[gkV{3Vf|^=d0\

?D2A

1 ^aQ7PPVbp{|Q7f|mNdefkRgQgkVdefJgVPhdeQ7PE'ÂVakgVPhdeQ7P+)Q[gkV`kfJdeg

^=deP^=\eV7£"ª!kVPVa¤Q7PVg=kVPVbh`J\egbYâQ7f|âVPfJdefkRgkV1^=dePâ`J\_SUPbh{|Vâg=PS]\¨mNd_^=kQ7gQ7T>5Çkl WklF7LlF9G:

^SUf3V1SU{k{J\0deVmVa« ^=deVfLgp\q7£Gª!Jd_b\_SUggVP{kPQNJ\qVT |SNb#PV^aVfLgp\q¢|VVf bpg`|mNdeVm¢defH5JIG:Â£3©V

{kPQN{|QLbhV#kVPV}SYb¡deT{J\eV~bhQU\e`kghdeQ7f%|S7bhVmDQ7f1bhgaSUf|mkSUPmY\0defkVSUPS]\eR7VkPSY!degkQN`kgrT1S;-NdefkR`|bhV

QUK}P=VVfT1SUgPhd_^aVb£

©Vbhg`|mJgkV^aQ7f|mNdeghdeQ7ffJ`kT3VPbGQU|gkVbpV[gh!Q{kPQNJ\qVT%b"SUf|mY{kPQU7VrgkVoVj7`JdeUS]\eVf|^aV

3Vgt!VVf¢gkVT SUf|m%gkQJbhVQU"gkVgPSUf|btQ7P=TVm%{kPQ7J\eVT1b£

ª!kPQ7`kR7kQN`kggJd_b#fkQ7gV7l3LNMBL~mJVfkQNgVbg=kVPO"`|^=\0d_mJVSUffkQ7PT QU"gkV~NV^agQ7PQMå£RLTSUL

SUf|mES

A

mJVfkQNgVgkVbh{|V^agPaS]\ fkQ7PTSUf|m%gkV^aQ7fUsh`kRLSUgV#gPSUf|bp{|QLbhV#QUg=kVT1SUgPhd0CS5£N©V

mJVfkQ7g=V~JCV+W%gkV#d_mJVfLgpdqghT1SgPhd0 QQ7PmJVPQXG£

Y Z

* %'& ),+

v Vg#`|b^aQ7f|btdmJVPS{|SUPaSU|QU\_S

,

def$g=kV'[M]\_^`)"{J\_SUfkVb=SUghd_b¡¤7defkRgkVYVj7`|SghdeQ7f

^baNc +d'dfe@ A M) ';)

kVP=Vgdihkjd_b#bhQ7TVYPVS]\{|SPSUTVgVP]£|ª!Jd_b#{|SUPSU3QU\_S|SNb!degb#^aVfLg=VPSUg#gkVYQ7PhdeRUdef©SUf|m

degbkPSUf|^=kVb!R7Qg=Qg=kV\eVag|S]\0³¤{J\_SUfkVbhJTTVgPpd^S@\\e!deg¢PVbh{3V^ag}gQgkVP=VS]\cS]Jd_b£

ZrQ7f|b¡d_mJVP©gkV5T%SU{k{JdefkRml ?onqpsrt uvnqp mJVai|fkVmJ g=kV Q7P=T`J\_S u c

w

?xHy de@Gz

a

£Jx¤r!VPhdegV u c{M x}| ^g=kVf$!V}QNkgS]def

M~c ?xH de@G

a A ' ? )a SUf|m^c ?xH de@G< ?] 'tb)

Û Û Ã0aØaØ

(7)

x¡g!Q\\eQU}bog|SUg^

a c w ?Px y deUz

a w ?x y dfe@;z

a A M|£Jª!L`|blJdæstV^aghde7Va\eT1S{|b

gkV5bhgPaS]deR7Lg%\0defkVH ? c n Q7fJgQ5gkV {|SUPSU3QU\_SH^

a c d'd8e@ A M)1¨dqg=dvc

w x y de@ z a

£ª!Jd_b SUTd\eEQU{|SUPSU3QU\_SUV mJV{|Vf|mNdefkREQ7fEgkV©{|SPSUTVgVPdB|SNb%gkV

bSTV~âVfLg=VP}SUg!gkV~QNPhdeRUdef £kxÂf¢{|SUPghd_â`J\_SUPllJdæstVâgpdqNVa\q¢T1SU{|b!g=kV#dqT%SURUdef|SUP$S]Jd_b!Q7fJgQ

gkVY{|SUPSU3QU\_S

,

£JxÂg!d_bVS7bh%gQbhVV~g|SgTl T%SU{|b!gkVPVRdqQNf

?<nip

?! A de@#"%$

?<nip

? hHj#"

Q7fJgQg=kVVa gVPpdqQNPQU

,

SUf|m%T1S{|b!gkVbpgPhde{

?<n p&4A de@ ?' j#"

Q7fJgQg=kV#dqfJgVPhdeQ7P#QU

,

£kª!kVYPVbhgPhd_^aghdeQ7fQcgkVT%SU{k{JdefkR l Q7fg=kV~bhVg

( c

?<nip) ? h A deU#"

d_b³¤gQ7³!SUf|m l '*(4)Fc

?<nip ' ? hHjb)+, ' ?.-ckjb)/"LlUg|SUgåd_b l '*(g)|d_b"g=kV[kQU\eVQ'M]\^ )

{J\_SUfkV!degDgkV}P=VS]\|fkVRLSUghde7VS]Jd_brmJVa\eVgVm £0ådef|S]\0\edegodboVS7bpg=QbhVVg=|SUgrgkVPhdeR7Lgo|S]\0³

{J\_SUfkV7l3dÂ£æV7£3gkVbpVgQU ? !deg ? hkjYd_b#T1SU{k{|Vm¢^aQ7fJ¤Q7PT1S]\0\e$QNfLgQDgkVVa g=VPhdeQ7P}QrgkV

{|SUPaSU|QU\_SE^ a c "d'de@

A

Mf)£

u¤gVP!gJd_b!{kPVa\0deTdef|SUPhdeVb#!V~^aQ7f|b¡d_mJVPfkQU SYT1SUg=Phd0 .BQQ7PmJVP X¢|S]7defkRfkQVadeR7Vfk³

US]\e`kV~Q7fgkV#{|SUPS|QU\_S

,

QUVjN`|SUghdeQ7f(^

a

cE+d'deU A Mf)£kv Vg 13VgkVT1SUg=Phd01QUQ7PamJVP

XmJVai|fkVmJ

1 c213

A 4a V W .

V+W

A 4a

V+W56

'tb)

x¡gd_b!VS7bp1gQ%bhVVg|SUgg=kVVadqRNVfLUS]\e`kVb ? QR1 SUf|mgkVVadeR7VfJ@S@\q`kVb u QU . bSUgpdbt

u c b?x

de@ a 'Â`)

7

0kPQ7T gkV#SU|QU7VmNd_b^a`|bb¡deQ7f$SU3Q7`kg!gkV{kPQN{|VPghdeVb!Q(g=kV}T1S{k{JdqfkR l©Sf|mgkVS7bbp`kT{k³

ghdeQ7fSU|QN`kggkVVadeR7VfJ@S]\e`kVb#QU .~lJ!V~bhVVYg|SUg!gkVT1SUg=Phd0 1 |S7b!fkQDVadqRNVfLUS]\e`kVQNfgkV

deT1SURdqf|SP1S]Jd_b£kª!L`|b'gkV#{kPQ7J\eVT QU 7VPhd0i;^SUghdeQ7fQUSU|bpVf|^aV}QU gkV#VadeR7VfJ@S]\e`kVbQU gkV

T1SgPhd0~. Q7f%gkV{|SUPS|QU\_S

,

db¨gPSUf|b¡¤Q7PTDVmgQgkV~bp{|V^agPS@\cmNd_^kQ7g=Q7T{kPQ7J\eVT !deg

PVbp{|V^ag%gQgkV%deT1SURUdef|SUP S@Ld_b£rª¨Jdb\SggVP{kPQNJ\qVT |S7b3VVf mJVV{J\e bhg`|mNdeVm ¤PQ7T

gkVQNPVghd_^S]\cSUf|m¦{kPS7^aghd_^S]\"S7bh{|V^agab 5ækl7Ll9G:Â£

©VS7b=bh`kTV#¤PQ7TfkQU Q7fg|SUg 8. 8 c7£|ª!Jd_b#S7bbh`kT{kgpdqQNfd_bfkQNg}PVbpgPhd_^aghde7Vbtdqf|^aV

Q7g=kVP!d_bhV~!V~^SUfgaS;-7V6.:9 c 9

;<;=>;<;

. SUf|md9Nc

4

;<;=>;<;

£

Á¤ÒÛ(Á_é

(8)

xÂfgkVbh{|V^ag=P`kT mNd_^kQNgQ7T{kPQ7J\eVT ¤Q7PogkVT1SUgPpdE1!degPVbh{3V^ag[g=Qg=kVdeT1SURdq³

f|SUP=1S]JdblLg=kVjN`|S]\0degt%QUg=kVmNd_^=kQ7gQ7Td_b!^|SPS7^agVPhdVm%JgkV#fL`kTDVPhd_^S]\{|SUPSTVgVP

57Jl _:

cbh`k{ LG' ? V a W A 1)

9 L '[Ib)

ª!Jd_bY{|SUPSTVgVP#|S7b~S]\ePVSNmJ§3VVf©`|bhVm¢def gkV1^aQ7fJgVakgQU[T%SUgPhd0 bpgSUJd0\0dqgh25Ç;:¡£UdeTde³

\_SUPh\e7l gkVj7`|S@\deghQUrgkVmNd_^kQ7g=Q7T¤Q7P#gkV~T1SgPhd0~. ¨dqg=$PVbh{3V^aggQgkVYVa\0\de{|bhV

,

d_b

^=|SUPS7^ag=VPhdVmJ1gkVY{|SUPSUTDVgVP

cEbh`k{

LG'u V+W A . )

9 L 'tWb)

ª!kV%f|SUg`kPaS]\[j7`kVbpghdeQ7f g=|SUgQ7fkV%T1S]§S7b-¢d_bkQU PVa\_SUgVgkV%gh!Q$j7`|SUfJghdeghdeVb

SUf|m

£

ª!kVSUf|bh!VPod_bRUde7Vf¦def$gkV#¤QU\0\eQ@¨dqfkR%{kPQ7{3QLb¡deghdeQ7f

Y±G±;e± G

! 0 #G _ "!$#&% '!&($%*) !

,+

,+- x/.

. x

' 7)

~]± ±10~ ©V|S]7V

' ? V a W A 1)

9 c 13 w

?x

4a

zV+W .

V W w

?Px

4a z V W 56

2 133 w

?x

4a z a

V+W A . j

j w

?6x

4a z a V+W A .

554

6 9

/o$^aQ7f|b¡d_mJVPhdefkR%gkVPX

2

X$J\eQk^ -%def¢{|QLb¡deghdeQ7f 't`\];)QU"gkVPVbp`J\qgpdqfkRT%SUgPhd0 lL!VQ7kgaS]def

c bh`k{ LG'

? V a W A

1) 9

L76 bh`k{

LG'

u

V+W

A . ) 9

LNc

ª!kVY`|bhVQU'Â`)"RUde7Vb

LG'

? V a W A

1) 9 L +

L98

. u V+W .

V+W . u

V+W;:

LLG'

u V W A . )

9

L;\

gkVP=VaQ7P=V7l|mJ`kV~gQgkV* SN^ag[g=|SUg . c !V|S]7V

LG' ? V a W A 1) 9 L +

LG' u V+W A . )

9

LG' x u)

Û Û Ã0aØaØ

(9)

©V#mJVmJ`|^aVg|SUgGd0 u

+

9

lNgkVf ' ? V a W A 1 ) 9 8

+- '

9

x ;)0c

x . . x

yQUEd0 u h 9

lJgkV*QNPT`J\S'u V+W A . ) 9 c 9

V+W x 9

. ' u V+W A . ) 9

NdqVa\_mkb

' ? V a W A 1 ) 9 8

+ w ' u V+W A . ) 9 "x z y u"x

u

+ ' x ;) '

u

x

y u

) x . . x

ª!J`|bD{kPQU7d_mJVm g|SUg

d_b%fkQ7g1bhT1S@\\Âl!gkVj7`|S@\degh QgkV©bh{3V^agPS]\mNd^=kQ7gQNT5Q~gkV

T1SgPhd0 .!deg¢PVbh{3V^aggQ1g=kV~{|SUPS|QU\_S

,

SUf|m¢g|SUgQrgkV~T1SgPhd0(1!degPVbh{3V^aggQ

gkV*deT1SURUdef|SUPS]Jd_b}SUP=V}VjN`Jde@S]\eVfJg£

©V1fkQU mJVb^aPhde|V¢kQ@ gQ¢Q7kgS]def5SbhQU\e`kghdeQ7f gQgkV bp{|V^agPS@\¨mNd_^kQNgQ7T©{kPQ7J\eVT

¤Q7P . !deg PVbh{3V^agg=Q$gkV%{|SUPSU3QU\_S

,

|SNdefkR©^S]\_^a`J\SgVm S¢bhQU\e`kghdeQ7f5gQ¢gkV bp{|V^agPS@\

mNd_^=kQ7gQ7T {kPQ7J\eVT¤Q7P1,¨dqg=5PVbh{|V^ag%gQgkV%deT1SURdqf|SP S@Ld_b£rv(Vg n |V

gkV#{kPQNstV^aghdeQ7fDT1SUgPhd0Q7fJgQ~g=kVPhdeR7Jg[VadeR7Vf|bp{|S7^aV}Q . S7bbhQk^=d_SUgVmD!deggkV#VadeR7VfLUS]\e`kVb

Q7`kgab¡d_mJVgkV{|SUPS|QU\_S

,

SUf|m n gkV%{kPQ7shV^aghdeQ7f T1SUgPpd©Q7fJgQ¢gkV1PpdqRNLgYVadq³

R7Vf|bp{|S7^aV}Qf1S7bbpQ ^=d_SUgVm!deggkV#VadeR7VfLUS]\e`kVb!Q7fg=kVPhdeR7Jgr|S]\0¤³¤{J\SfkV}QU gkV#^aQ7T{J\eVa

{J\_SUfkV7£ ª!kV¤QU\0\eQU!defkR1{kPQN{|QLb¡deghdeQ7f^|SPS7^agVPhdVb!g=kVPVa\_SUghdeQ7f$3Vgh[VVfSUf|m%£

Y±G±;e± G `i!+ 0+#

c 8 9 a

:

0! ! n

\ | c \ '[9b)

)]!

c " 9 cE"Qc #

a

'tb)

i

a c

'$ . )&%

' 'ajb)

~]± ±10 7`k{k{|QLbhVg=|SUg!gkV}T%SUgPhd0 . d_b!fkQNf|b¡defkR7`J\_SUP 'Â3Va\qQUBg=Jdb¨PVbhgPhd_^aghdeQ7f%!d0\0\|V

PVTDQ@NVm8)£kv Vg}`|bmJVai|fkVSbhQ\q`kgpdqQNf(S gQgkV~T%SUgPhd01VjN`|SUghdeQ7f

;S x)(

d

V+W

a

c{. 'a7;)

kQJbhVVadeR7VfLUS]\e`kVb~SUP=VS7b=bh`kTVmg=Q3Vdef$g=kVmJQ7T1S@dqf

* c ? nip ? h A de@#" $ ? nip ? c A de@+* ? hHj#"

Á¤ÒÛ(Á_é

(10)

x¡gGdb"^=\eVSUPog|SUg"bh`|^=T%SUgPhd06SVaJd_bhgb"SUf|m*d_bG`kfJd_j7`kVa\e1mJVai|fkVm

9

£UyQ7ghd_^aV!g|SUgGgkV!T1SUgPhd0

S 9 c A S A y deU V+WS]\_bhQ1b=SUghd_b¡i|Vb!gkVYVj7`|SghdeQ7fi' S 9 x{y de@V+W`)

a

ck.~£

ª!kVf$gkVT%SUgPhd0<1 ^SUf¢|V~mJV^aQ7T{3QLbhVm dqf¢gkV¤QU\0\eQU!defkR¤Q7PT$

1 c 8 S x 4a

V+W A S A 4a V+W

V+W V+W

: 8 S j

j A S A 4a V+W :

'ab)

2

9a w S x 4a

V+Wbz 9 9a

V+W

A 9a w S x 4a V+Wz

9 9a

V+W

ZrQ7f|b¡d_mJVP#gkV UQ7PmkSf$^SUfkQ7fJd_^S]\GQ7P=T QcgkVT%SUgPhd0<S

Soc 8

j

j : 9 \ 'ab)

kVP=V

'

)¨^aQ7P=PVbh{|QNf|mkbgQ%gkVUQ7PmkSUfJ\eQk^ -S7bbhQk^=d_SUgVmg=Q1gkVYVadeR7VfLUS]\e`kVbQU S

Q7fDgkV!PhdeR7Lg' \qVa¤g+) |S]\0¤³¤{J\_SUfkV7£}b¡defkRYgkV!Va {kPVb=b¡deQ7f('ab) QU S5l]gkVmJV^aQ7T{|QJb¡deghdeQ7f('ab)

QU01 PVmJ`|^aVbgQ

1 c 9

'a`)

kVP=V

c 8 j

j : 133

8

j

j : x 4a

V+W A 8

j

j : A 4a

V+W

V+W V+W

554

6

SUf|m

vc

133333 8 j

j : j

j A 8

j

j : A 4a

V+W 54444

6

yQUBgkVVak{kPVbb¡deQ7f¢QU d_bb¡deT{J\e

c 8

V j

j j : 9

'aIb)

%

Å¤Î]É"êÕ¤Êaê@ÉhÕ¤Å9ÆÇÉhÄGÊË|Å¤Î]É"Ï¨Í=êêÆÇÃçÉhÃÄ¤È]Õ¤ÉrÅ¤ÎÉ"È]ÃÆÈ]ÉtÃ]ÉhÄ¤Ä"ÊË EÆÇÃ!

Û Û Ã0aØaØ

(11)

kVP=Vd_b!gkV#Q7PmJVPrQ(g=kV}T1SgPhd0

£Lª¨kV}PVa\_SUgpdqQNf('GIb)c^SUf%VS7b¡d0\e%|V#PhdeggVfDdefgkV

¤Q7PT '9b)"!deg

9

c)4c 8 9a

V j

j j :

9

'aWb)

a

c 8 9a ' x 4a V ) j

j j : 9 ' . )&%

'

'a;7)

SUf|m

4c 8 9a ' x 4a

V ) 9 V+W j

j j : 9

'a9b)

PhdefkR|l3¤Q7PVa|SUT{J\eV7l gkVYT1SUgPpd . c . x

V W lkQNfkV^Sf$PVTQU7Vg=kVSNbbh`kT{kghdeQ7fSU|QN`kg

fkQ7f|btdqfkRN`J\SPhdegt¢QU .~£

"& ) +

v Vg u@ A .E|VSYPVR7`J\_SUPoT1SUgPhd01{3Vf|^=d0\QU Q7PmJVPX|S]7defkRfkQVadeR7VfLUS]\e`kVQ7f%gkVVa\0\0dq{|bpV

=QU"Vj7`|SUgpdqQNf

M aa x ^ a

a c

'ab)

©VS7b=bh`kTVgkPQ7`kRNkQ7`kg}g=JdbbpV^aghdeQ7fg|SUg 6 h jk£ ZoQ7f|b¡d_mJVP~gkVYT1SU{k{JdefkR

?Bn

pirt unip mJVai|fkVm¢J1g=kV#Q7P=T`J\_S

u

c ' ? ) c ' x

) ? a x ' A

)

?

'hjb)

x¡gd_b!VS7bp1gQ%bhVVg|SUg T1SU{|b!g=kVPVRUdeQ7f

9 c

?Cn p) ?>

A

x

"%$

? nip ?> hB"

Q7fJgQg=kVVa gVPpdqQNPQU =©SUf|mT%SU{|b!gkV~SUfkfJ`J\e`|b

a c

?<nip A

x

?> :"

Q7fJgQ%gkVdefJgVPhdeQ7PQU='£¢Q7PVQU7VP]l ^aQ7fJQNPT1S]\0\egPSUf|btQ7P=T1b!gkVVakgVPhdeQ7P#QUrgkV~`kfJdeg

^=deP^=\eVQ7fJgQ#gkVrVakgVPhdeQ7PGQU|gkVoVa\0\de{|bhV ="£Uª!kV!T1SU{k{JdefkR¦d_b"SJdæshV^aghdeQ7fkVf,h

£

Á¤ÒÛ(Á_é

(12)

x¡f${|SUPgpd^a`J\_SUP]lE^aQ7fJ¤Q7PT1S@\\e%T1SU{|b!g=kV~VakgVPhdeQ7PQU"gkV^=dqPa^=\qVQ7fJgQgkVYVa gVPpdqQNPQU"gkV

Va\0\0de{|bhVC="£

ZrQ7f|b¡d_mJVP#fkQ@EgkVj7`|SNmJPSUghd_^#T1SUg=Phd0 {3Vf|^=d\

x

@ ? a A . ?x A

@ 'hk;)

ª!kVf

x

@ ? a A . ?x A

@ c ? ' u@ A . ) 'h7b)

kVP=V u c N' ? )[SNb}mJVai|fkVm¢def2'hjb)£|ª¨JdbYbhkQU}bgkVPVa\_SUghdeQ7f|bhJde{ |Vgh!VVf§g=kVVadeR7Vfk³

bhg=P`|^ag`kPVYQUcg=kVjN`|S7mJPSUghd_^*T1SUgPhd0${3Vf|^=d\ 'hk;)rSUf|mg=kV~VadeR7Vf|bhgP=`|^ag`kPVQU"gkV~Q7PpdqRdqf|S@\

{3Vf|^=d\ u@ A

.Y£

7

0kP=Q7T 't7b)SUf|mg=kVSNbbh`kT{kghdeQ7fQ7fgkVVadeR7VfJ@S]\e`kVbYQU u@ A .~l !VbhVVg|SggkV

jN`|S7mJPSUgpd^*T1SUgPpd{|Vf|^=d0\'tk;)"|S]7VfkQVadeR7VfJ@S@\q`kVQ7fg=kV~`kfJdeg^=deP^=\eVSUf|mg|Sg

bh`k{

; ; 9 x

@ ? a A . ?x A

@ 9 c bp`k{

LG' u@ A . ) 9 L 'h7b)

u ^=\_S7bb¡d_^S]\SQUmJVS]\0defkR5!deg5gkV$jN`|S7mJPSUgpd^%T%SUgPhd05{|Vf|^=d0\P'hk;)#d_bgQ©^aQ7f|b¡d_mJVPS

T1SgPhd0 {3Vf|^=d0\Q5ÇG: QU"gkV#QNPT D>A 1kVPV

D c 8

a @ A .

j

a @ :

SUf|m 1 c 8 A

a @ j

. A

a @ :

x¡g!d_b!VS7bh%gQbhkQUEg|SUgod0

w

a

@?

a A .

?x

a @

z MEc{jHlLg=kVf

? a DBA

1 98

? M

M : c

j

0kP=Q7T g=kVSNbbh`kT{kghdeQ7fQ7fgkVVadeR7VfJ@S]\e`kVb*QU

u@ A

.Yl [VbhVVg|SUg#gkVVadeR7VfLUS]\e`kVb

QU~g=kV$T1SUg=Phd0 {|Vf|^=d0\ DkA 1^SUfkfkQ7g%|VQ7f gkV$`kfJdeg$^=deP^=\eV7£ª!J`|bgkV¢{kPQ7J\eVTQU

7VPpdi;^SghdeQ7f$QUrSU|bhVf|^aVQcgkVVadeR7VfJ@S@\q`kVb#QcgkVT%SUgPhd01{3Vf|^=d\ u@ A . Q7fgkVVa\0\0dq{|bpV

= d_bPVmJ`|âVmgQSbh{|VâgPaS]\¨mNd_^=kQ7gQ7T{kPQ7J\eVT,¨dqg= PVbp{|Vâg~g=Q$gkV`kfJdeg^=dqPa^=\qV7loSUf|m

gJd_bo\_SUg=gVP!{kPQ7J\eVT d_b!fkQUE[Va\0\`kf|mJVPabhgQJQ mi5ÇJlkWkl877l`9;: SUf|m^SUf%|V~SU{k{J\0deVm¢Va« ^=deVfLgh\e7£

xÂf%gkVbp{|V^agP`kT mNd^=kQ7gQNT{kPQNJ\qVT Q7PogkV#T1SUgPhd0{|Vf|^=d0\ u@ A .YlJgkVj7`|S]\0deghQU

gkVmNd_^kQ7g=Q7Td_b^=|SUPS7^ag=VPhdVmJ1gkVYfL`kTDVPhd_^S]\{|SUPSTVgVP 57Ll9Jl ":

c bh`k{

LG'

u@ A

. ) 9 L

'hU`)

UdeTd0\_SUPh\e7l3gkVjN`|S]\0deghQUgkVmNd_^kQNgQ7TYQ7PogkV#T1SUgPhd0{|Vf|^=d0\ D(A 1!deg%PVbh{3V^aggQ

gkVY`kfJdeg^=deP^=\eVd_b#^|SPS7^agVPhdVm¦L%gkVfJ`kTVPhd_^S]\"{|SUPSUTVg=VP

c,bh`k{

; ; 9 L ' DBA 1)

9 L 'hIb)

Û Û Ã0aØaØ

(13)

ub!def¢gkV{kPVNdqQN`|b}bhV^agpdqQNf lk!V~bhgSUPg!J ^aQNT{|SUPhdefkR%gkVgh[QjN`|SUfJghdeghdeVb

SUf|m

Y±G±;e± ) ! 8

;!%C8 ! #&%C b

c

'h7Wb)

~]± ±10~ ©V|S]7V

' fa D A 1)

9 c 8 u @ A . a

A . u @ : 9

!deg u c N'F)

c 8

V+W j

j 9

V+W,:

8

u@ A .

A . u@ : 9 8 9

V+W j

j V+W,:

c 8

V+W j

j 9

V+W,:

2

' u@ A . ) 9 x ' u@ x . ) 9 ' u@ A . )

9 A ' u@ x . ) 9

' u@ A . ) 9 A ' u@ x . ) 9 ' u@ A . )

9 x ' u@ x . )

9

2 8 9

V+W j

j V+W;:

c 8 V W j

j 9

V+W,:

8

a A

a

a : ' u@ A . )

9 j

j ' u@ x . )

9

2 8

a

A

a

a : 8 9

V+W j

j V+W/:

gkV{3Vf|^=d\ u@ A . !degPVbp{|V^ag#gQ1g=kV~Va\0\0dq{|bpV =|S]7defkR$^S]\_^a`J\_SUgVmS%bhQU\e`kghdeQ7fgQ%gkV

bh{3V^agPS]\;mNd_^=kQ7gQ7T{kPQ7J\eVT Q7PGgkV{3Vf|^=d0\ DA 1 !degPVbp{|V^agrg=Q}gkV`kfJdqg!^=deP^=\eV7£ v(Vg

n

3V~gkVY{kPQ7shV^aghdeQ7fT1SgPhd0 QNfLgQgkVYPhdeR7JgVadeR7Vf|bh{|S7^aVYQUcg=kV~{|Vf|^=d0\ u@ A .

S7b=bhQ ^=d_SUg=Vm!deggkVVadqRNVfLUS]\e`kVbrQN`kgb¡d_mJVgkVVa\0\0de{|bhV6=$Sf|m n

gkV{kP=Q7shV^aghdeQ7f

T1SgPhd0 QNfLgQDgkVPhdeR7JgVadeR7Vf|bh{|S7^aVYQU D>A 1S7bbhQk^=d_SUgVm%!deg¢gkVVadeR7VfJ@S]\e`kVb#Q7`kgbtdmJV

%£

Y±G±;e± G `i!+ 0+#

c 8 9 a

:

0! ! n \ | c \ 'hb7)

Á¤ÒÛ(Á_é

(14)

)]!

c 9 x 'h9b)

~]± ±10Bubbh`kTDVg|SUgGgkV{3Vf|^=d\ u@BA . |S7bGfkQdefJi|fJdegV#VadeR7VfLUS]\e`kV6'¡gJd_bGPVbhgPhd_^aghdeQ7f

d_bP=VTQU7VmJgkV^aQ7fJghdefL`Jdegh§SUP=R7`kTVfJgb}S@gVP=¨SPmkb_)£kv Vg`|bmJVai|fkV1S%bhQU\e`kghdeQ7f SgQ

gkVYT1SUgPpdVjN`|SUghdeQ7f

x

@ SBa A .NS x A

@ c{j`\ 'h7b)

£7Udqf|^aVgkV

VadeR7VfJ@S]\e`kVb ? QU0S SPV^=kQLbhVf¢LgkV*QNPT`J\S 'tjb)lHg|SUg!d_b ? c ' ' '

l|kVPV

u c N' ? ) d_b}SfVadqRNVfLUS]\e`kVQgkV{|Vf|^=d0\ u@ A .~lHgkVVadeR7VfLUS]\e`kVb#QU0S ^aQ7PP=Vbh{|Q7f|mNdefkR

gQ

u

xÂg#d_b#VS7bhgQbhVVg|SUggkVT1SUgPhd0(S 9 c

S 9

S]\_bhQbSUghd_b¡i|Vb

a @ S a9

A . S 9 x

a @ c{jk£

ZrQ7f|b¡d_mJVP#gkV UQ7PmkSf$^SUfkQ7fJd_^S]\GQ7P=T QcgkVT%SUgPhd0<S

Sc 8

j

j : 9 \ 'hjb)

kVP=V

'

)¨^aQNPPVbh{3Q7f|mkb#gQ%gkV UQNPmkSUfJ\eQ ^-§S7b=bhQ ^=d_SUg=VmgQ%gkVVadeR7VfLUS]\e`kVbQU S

Q7`kgab¡d_mJV '¤def|b¡d_mJV;)gkV`kfJdeg^=dqPa^=\qV7£

7

0HPQ7T 'hjb)rSUf|mg=kV#dmJVfJghdegh

a @ j

A .

a @ S S 9

V+W V+W

x

a @ A .

j

a @ S S 9

V+W V+W

S a j

j S

a9

c{j

!V~bhVVYg|SUg

c 8 S S 9

V+W V+W : 133 8

V j

j j : 9 j

j j 54

6 8 S S 9

V+W V+W : 9

kVP=VYd_b"gkVQ7PmJVP"QU gkV!T1SUg=Phd0

£7yQ7gVg=|SUg"gkV!T1SUgPpd S A S 9'dbofkQ7f|btdqfkRN`J\SP"d0

SUf|m%QNfJ\q%d0"gkVT1SUg=Phd01{|Vf|^=d0\ u@ A . mJQLVb¨fkQ7g|S]7V . a

A

a

SNbrVadeR7VfJ@S@\q`kVb£;ª!Jd_b

^SUf¢|VS7bbh`kTVm%¨dqg=kQ7`kg!\eQLbb!QcR7VfkVPaS]\0dqghi't^aQNfLghdefJ`JdegtSUPRN`kTVfLgab_)£kª!J`|b

c 8 S S 9

V+W V+W : 133 8

V j

j j : 9 j

j j

554

6 8

V+W A S 9

A

V+W S : 8 S A S 9 j

j S A S 9 : 9

'

â ÎÆÇÄ ÆÇÄGäÈÉ"Å¤Ê!Å¤Î]É"êÕ¤Êaê@ÉhÕ¤Å9ÆÇÉhÄ"Ê=Ë|Å¤ÎÉ"ÏÍê]êÆÇÃ]ç

Û Û Ã0aØaØ

(15)

c 8 j

j : 13333

j j j

j j j j

V j j j

j j j j

554

44

6 13333 V j A

9 j

j j j j

554

44

6 8 j

j : 9

2 8 S A S 9 j

j S A S 9 : 9

c 133333 8

j

j j : 9 8 A

V j

j j : 9

8 V j

j j : 9 8 A

9 j

j j : 9

554

444

6 8 S A S 9 j

j S A S 9 : 9

8 9 a

:

!deg

9 c 13

w

A

9 z 9 j

j j 56 9

a c 13 A

w

A

9 z 9 j

j j 56 9

c 13 w A

9 z 9 j

j j 56 9

c 13 A

9 w

A

9 z 9 j

j j 56 9

SUf|m%!V|SNV 9 x

4c 8

V j

j j : 9 c £

! o[

5e": ! "$#&%l(' *) * <G _ g i8

+ G6!## +' +$;## G G; "G## l"ªåV^ £!z!V{ £elZrQ7T{k`kg=VP

L^=dqVf|^aVwdeNdbtdqQNf ªåV^=$z!V{|Q7P=g *Z/,7Z Lw#³ÂUN³7@7kl ~£ Z#£/oVP -7Va\eV7l]7U|£

Á¤ÒÛ(Á_é

(16)

5Ç :& % # % ol+ [ "!#$< ! G b#

P _@lUde|VPpdSf SUg= £ H£el|7E'a99b)al7{k{ £7@773£

5Ç :# (l )]! 6#_ )#Nl|w#`kfkQ m l O"SUPhd_bl NW7Wk£

5æ: ! #% rlG[b+# ! +!#P$ ! _ # :i@l Udq3VPhd_SUf

§Sg £k£el|b7'97W )l7{k{ £|WL" W7Wjk£

5JI : (## % "$ |l "!#$E P i _ #l

ª V^= £|z!V{ £el3xtz¨x7uz!V{3Q7Pg#fkQC977Wk£l;]7U|£

5ÇW :&&% ('*)+ ,rl+ #Nb ' _ ` P E.-:$ 0_ G

i l1Ude3VPhd_SUf §Sg £k£el|j']97b)lN{k{ £ II7" I7W 7L£

57G: l/ b #6_ b$ _b"## 0_/6 ;+0'(0 ' 'l Udq3VPhd_SUf

umJUSUf|^aVb!def §Sg lkE'7Nb)lLyQ|£ Nlk{k{ £ 7+;b7LlJyQ3£ Hl I7"kjU|£

5J9 : l8 _!# +: G # # _8"G##g 0_& ;+7l

v3def £|u\eR|£ku#{k{J\ £l99kle97 '7Nb)l7{k{ £H97" INjk£

5Ç : 1 23( 54 l76g _4Q b+: _P 983 b+: _@lkZoQ7fLg=VT³

{|Q7PSP SUg=kVT1SUghd_^blJ`7 'a9Ib)al7{k{ £kLWI"L`77J£

Û Û Ã0aØaØ

(17)

Unité de recherche INRIA Lorraine, Technop ôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS L ÈS NANCY

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rh ône-Alpes, 46 avenue Félix Viallet, 38031 GRENOBLE Cedex 1

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Editeur´

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399