Réduction du conditionnement pour les problèmes de discrétisation microlocale

Texte intégral

(1)Réduction du conditionnement pour les problèmes de discrétisation microlocale Armel de la Bourdonnaye, Marc Tolentino. To cite this version: Armel de la Bourdonnaye, Marc Tolentino. Réduction du conditionnement pour les problèmes de discrétisation microlocale. RR-3277, INRIA. 1997. �inria-00073412�. HAL Id: inria-00073412 https://hal.inria.fr/inria-00073412 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Réduction du conditionnement pour les problèmes de discrétisation microlocale Armel de La Bourdonnaye — Marc Tolentino. N˚ 3277 Octobre 1997. THÈME 4. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5)

(6)

(7)

(8)

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

(10) %

(11)

(12) +'(" ,-/.1032'4507698;:<>=5-/4 <@? ?A8CBD0FEHGFIJ8>-%KMLN<>2O03?DPRQS?5<@E T9UWV XZY[\ ]_^`XaWbdcfeg^dhjikY ehjl_em^`X+^`nmcoem^`hji p Y)nrqCnregV%XZY%nts%hjXZlWb`Y*u_Y%n vxwghoyzY eN{'c|^`X}cfi ~c|lWl>hjwre p Y)wrY%sUWY wgsUWYiAj jj\ s*emhjwgYZj"\ |[ZlcfjY%n C/ >c|iWnxs Y eFcfwrem^`s%b`Y||iWhjaWnxcfic|bq_nrhjiWnxb`Y%nxlWwrhjlWwr^d*em%n p Y's%hji p ^èg^dh|iWiWY%XZY i3e p Y n nrqCnzemV%XZY nbd^ìW%c|^dwrY%njY%iWc|ie p Y"bc p ^`ngs wg eg^dngcfem^`hjiMXZ^`s%wrhjbdhCs/cfbdYf D{Y nNnzq_nzemV X+Y naeg^db`^dnrY%ie p Y n¡¢h|iWs eg^dhjin p Yc|nrY£b`hCs/c|b`Y%XZY%iehjnrs%^`bdbdc|iemY nkl>hjaWwXZh p %b`^`ngY%w p Y nlWwghjbdV X+Y n p Y lWwrhjlc|coem^`hji p¥¤ hji p YY%iHwg%|^dXZY¦UcfwgXZhjiW^`§3aWY| ¥{Y%nlWwrhjWb`V%XZY%nN ecfi3etemwrV%nNX+c|b s%h|i p ^©¨ em^`hjiWi%n%ªiWhjan}lWwrhjl>hjnghjin p¥¤ c|>hjw p aWiWYHc|ic|bqCngY p Ykbdc p ^«+s%aWbemkY%i¬egY%wrX+Y p Y*®_¯° ±|² ³*¯m´*µ ² %¶|µ ²¸·o¹º s%Y%b`b`Y*¨»s ^&s%wg%c|ie p Y%nhji p Y n fc|iWY ngs%Y iemY%n ¼&cZlwgY%XZ^`V%wrYnrhjbda_em^`hjik§3aWY)iWh|aWnwgY%jc|w p h|iWn9Y%nze p Y"lwghfyzY*emY%wb`YlWwgh|WbdV XZYnraWw9b ¤ Y%n½¨ lc|s Ykh|wremUhjjhjicfb9¾£s Y%n+XZh p Y n% ª¿th|aWn+¡Scf^dnrhjiWnZs%Y bc£ngaWw+aWi;lWwghjbdV X+YkXZh p V bdYX+c|^`n À¿tc7h|aWi n9¤ Y%lWnze}wgh|lWl@c|hjnZnrhjaWiWiWnYc|b`nghjhjwrb`naegp ^dhjYi;emwgnmc|coiWemnr^`¡¢nrh|¡Sc|wgXZ^`nmc|Y%iw9egb`YkYl>nrqChjnraWegwV%XZp YY n}¾ZnzbqC¤ c|nrem^ pV XZY Y%p¥n ¤ ap iWYY)emc|c|^`ngbdYb`YpD^d¤ XZhji l>p hjY%wrbèmY c|eriemY%emY|n Á»b>c|lWlcfwmcoÂde§3aWYts%Y*egemYemwgc|iWnr¡¢h|wgX+cfem^`hji p ^`Ã@%wrY%iWs ^dYt¡¢hjwregY%XZY%ie'b`Y%n jwgh|n s h_Y*«}s ^dY iemn p Y n l>Y emêmn A{Y s%^ªiWhjaWnl@Y wgXZY e p YÄwr/c|b`^`ngY%waWiÆÅWbègwmc|jY p Y+bcX}coemwg^`s%Y+emwgc|iWnr¡¢h|wgXZ%Y}l@hjaw hjegY%iW^`waWinrqCnregV%XZYwr p aWê§3aW^ÇY%nzet^dY iHs%h|i p êm^`hjiWiWf Á»bÇn ¤ c|jê^ds ^ p¥¤ aWiaWnmc||Y"ihjis%bdc|ngnr^d§3aWY p Y%nhji p Y%b`Y eremY%nlWaW^`ng§3a ¤ Y%b`b`Y%ncfj^dnrngY i3e p cfiWn b`Y p hjX+c|^ìWYZngl>Y%s egwmc|bS Ç¿hjaWnhjegY%iWh|iWnÅic|b`Y%XZY%ie"aWiWYZXZ egUWh p Y§3aW^xi ¤ aem^`bd^`ngYZ§3a ¤ aWi p Y jwg p Yb`^`@Y wrem"lc|wb`hjiWjaWY aWw p¥¤ h|i p YY i_^`wgh|iMl@h|aWwng^`XaWb`Y%w p Y%nNlwghjWb`V%XZY n p Y p ^¡È¨ ¡¢wmcfs em^`hji¥ Ë¸ÚêÙoÞ É&ëË ÊRË¸ÌÍ¢Î½Ï&ÐDÑ&ÒSÓÑ ÔFÕ/ÖW×ÈØ'Ù*ÚÜÛ Ý%Ù*ËOØ'ÎrÛdÞ ßÎ*à&á_ÙRà&âDÌ*ãoË¸ßÌ äRäoÙmå Îmæ5çOÌ*ÊRèRÚéÙRÞ ÚêäRËSÚéÙRÞ ëËCÕrØFÏOÌ ÛÜÎrä|æ5çOÌ*ÊRèRÚéÙRÞ Úêä× Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 93 65 77 77 - International : +33 4 93 65 77 77 — Fax : 04 93 65 77 65 - International : +33 4 93 65 77 65 à partir du 01/01/1998 Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.

(13) R S vxwgh|lc|cfeg^dh|i p¥¤ hji p Y%n%@%§3acfeg^dh|i p Y

(14) Y%b`XZUWhjbe |@N^`ngs wg eg^dngcfem^`hjiXZ^`s%wgho¨. b`h_s%c|bdYfhji p Y bdY*egegY%n%nzq_nzemV X+Y nNb`^di/c|^`wgY n%s%hji p ^èg^dh|iWiWY%XZY i3e% . !!"#.

(15) (¦*' o

(16) ' %

(17) $

(18) * *

(19) % + !9 f

(20) "

(21) *

(22) }(1 %& '. 9(

(23)

(24) !

(25) Á»iegUW^`nlWc|l@Y w% Y"c|ic|bq %YemUWY)s hji p êm^`hjiW^ìW+lWwghjl>Y%wzem^`Y%nh|¡ nrqCnregY%XZncfwg^`ng^ìW¡¢wghjX XZ^ds wghjb`hCs/c|b p ^`ngs wgY*em^ /cfeg^dhjin% T9UY%ngYnrqCnregY%XZncfwgY)aWng^ìW+hjngs ^db`bdcfem^ìWÄWc|ng^`n¡¢aiWs eg^dhjinegh XZh p Y%b c|YÄlWwrhjWb`Y%XZn"^di£Uc|wrX+h|iW^ds+wgY j^`X c|s%^ìWngY*jY wgYÄs hji p êm^`hjiÆiCaX>Y%wgn Y Åwrnre9^ìemY%wrlWwgY*emYemUY p ^«}s aWbe»qc|n's hjXZ^diW¡¢wrhjX cfi · ¯*° ±|² ³*¯ µ ² ¶|µ ²¸·o¹ UW^`sUs%wgY%cfemY n Y fc|iY%ngs Y%ie c/jY%n NT9UWY"Åwgnzenrhjbda_em^`hji Y^ìjY%nzem^`cfegY¦^dnemh}lWwghfyzY s etemUWY"lWwgh|WbdY Xhji emUYhjwzemUWhj|hjic|bÇh|¡ emUWY ngY¦XZh p Y%n T9UW^dnt^dn p hjiYhjiHc}XZh p Y%b&lWwgh|WbdY XWaeêt^dniWh|eNc nmcoem^`nr¡Sc|s*emhjwzqnghjbàeg^dhjihjiwgY%c|b¨ ng^ %Y)nrqCnzemY%XZn T9UWY%!i YklWwghjl>hjnrYegh£egwmc|iWnz¡¢hjwgX$emUWYbd^ìWY%c|w}nzqCnremY X q;aWnr^diW"c c/jY bdY*ec|nr^dn Á ecflWl@Y%c|wgntemUcfetemUW^`nNegwmc|iWnz¡¢hjwgX+cfeg^dh|i p ^`ngs%wr^dXZ^ìcfegY%nnregwghjijb`qkngX+c|b`bAcfi p W^`X+cfemwrû s%hCY «+s ^dY i3egn% ªT9UW^`n9c|b`bdh neghÅbemY%w emUWYemwmcfiWnr¡¢hjwrXZY p nrqCnzemY%X emh¦h|ec|^ìcwrY p as%Y p hjiY UW^`sUH^`n@h|egU@Y*egemY ws%hji p ^èg^dhjiY p cfi p ngX+c|b`bdY w% T9UWYaWnrYh|¡9emUWY 'c/jY bdY*emnZ^`nZc|i hjwr^dj^ìc|b hjiWYnr^dis%YemUYÄemwgc|iWnr¡¢h|wgX+cfem^`hji ^`n p hjiY ^ì emUWYnrl@Y s emwgc|b p h|X}cf^di emUWc|i #3n¦emhMegUWYXZ^ds wghjb`hCs/c|b p ^dnrs%wgY*em^ /cfeg^dh|i¥% $ÆYÅic|b`bq hj_¨ ecf^dikc+XZY*emUWh p egUcfeaWnrY%ncf@hja_ehjiWY p Y%jwrY%Y"h|¡5¡¢wrY%Y p hjXq c|Y%b`Y%iWfemUMemh+ng^`XabcfegY ngs%cfegegY%wr^diW+lWwrhjWb`Y%XZn% & ')( +*

(26) ,- |. $ c/jY"lWwrhjlc|coem^`hji¥ Y%b`XZUWhjbe "Y%§3acfeg^dhjiD0 /k^ds wghjb`hCs/c|b p ^dnrs%wgY*em^ /cfeg^dh|i¥ c|Y%b`Y egn%>bd^ìWY/cfwnzqCnremY XZn%>s%hji p ^èg^dhji^diW+i3aWX>Y%w .

(27) ± ¥ ¶ · ®C¯ ±C·o¹¹ ¶ @· *¹ µ ² ¹D· [. &

(28) +

(29) c|iWn"b`Y p h|X}cf^diWY p Y+bcng^`Xabcfeg^dh|i p Y+bclWwrhjlc|coem^`hji p¥¤ h|i p Y%nY%iÆwg%|^dXZY+Uc|wz¨ XZhjiW^`§3aWYY%iX+^`b`^dY a iWhji >hjwriW| p Y}iWhjXwgY%angY%n¦egY%iecoem^jY%nh|i3e eg}¡Sc|êmY nl>hjaWw p ^©¨ XZ^di3aWY wNbdc+s hjXZlWb`Y*u_^èg p Y ntXZ*emUWh p Y%n p Y p ^dnrs%wr em^`nmcoem^`hjiHl>hjaWwb`Y%nNlwghjWb`V%XZY n¾ZUc|aegY ¡¢wg §3aWY%iWs Y| v c|wgXZ^s Y%b`bdY nz¨»s Ôbc p ^`ngs wg*em^`nmcfeg^dhjiJXZ^ds wghjb`hCs/c|b`YHC^dnrY|9lcfw p Y%n}¡¢hjiWs eg^dh|iWn p Y+c|nrYc p cflem Y%n¦cfas%h|X+l>hjwzemY%XZY i3e p Y%nhji p Y n¦¾Uc|aegY+¡¢wr%§3aWY%is%Y|5¾ p ^`XZ^di3aWY w¦b`Y wgY XZlWbd^`ngngc|jY p Y n9X}coemwg^`s%Y n p¥¤ §3acfem^`hjiWn9^ìem jwmc|b`Y%nY*e9bdYihjXWwrY p Y p Y jwg n p Ybd^`>Y%wreg iW s%Y%nrnmc|^`wgY nZl@hjawb`Y%nXZ egUWh p Y%n|hjbdaX+^`§3aWY%n ª{Y eremYXZ egUWh p YY%nzeZc|lWlcfwgaWYf p Y}X}cR¨ iW^`V%wrYM^dXZlWb`^`s%êmY| p c|iWn}aWi c|wzem^`s%b`Y p Y {'c|iWiW^ìW Ü O lWa^dnc£ eg p |Y%b`hjlWl>%YY*e lWwr%s%^`ng Y p c|iWn ¸ [ ¸ Ü ¸ DY*e Ü Dl>hjaWw bdY n §CaWcfem^`hjiWn9^ìem%|wmc|b`Y%n'lwg^ìWs%^`lc|b`Y%XZY%ieY*e cZ em)^ìem%|wg%Y¾ZaWiWY)XZ emUh p Y)jh|bdaWXZ^`§3aWYlWc|wt >{Y ngnrY%icfeNY e N NY nglWwrV%n p c|iWn ¸ ¼ÇYlWwg^ìWs%^`l>Y p YcfngYs%hjing^`nremYN¾XaWbem^`lWb`^dY w p Y nª¡¢h|iWs eg^dhjin p Yb`hCs/c|b`^dngcfem^`hji+nglcoem^dc|bdYlcfw p Y n¡¢hjis em^`hjiWnhjnrs%^`bdbdc|iemY n p Y)e»qCl>Y !#"%$'&)( * ,h +.-7Y nreNbc}fc|wr^cfWbdYf0 /bdYiWhjXwgY pD¤ hji p Y p aMlwghjWb`V%XZYY eb`Y%n 1)2nghjie p Y%nN|Y%s*emY%awgn p YXZh p aWb`4Y 3j ¥¼&ciW%s Y%nrngêm p¥¤ ai£ihjXWwrYXZ^diW^`X+c|b p Y p Y%jwr%n p Yb`^d>Y%wzem^`X+l>hjnrY p Y j wg^ÅY%w9ais%wgêmV wgY§3aW^@s%hjwrwgY%nrl@h|i p c|as%wr^ègV%wrY p YX+c|^`bdbdc|jYNs%bdc|ngnr^d§3aWY)Y%6i 587,9h|6a 57:3<; h,+ 5>=@? AB7,/ Y%nzebc¦b`hjiW|aWY%aWw pD¤ hji p Y p alWwgh|WbdV XZY| {Y)s%wr^ègV%wrYY%nrenrhjaWn½¨»hjleg^dX+c|bDs/c|w'l>hjaWwaWingY%o¨ XZY%ie p h|i3e5bctbdhjijaWY%aw5Y%nzexaWi¦XaWbem^`lWbdY p Y'bdcNbdh|iWjaWY aWw p¥¤ hji p Y||^`bCnga«Ze p Y p ^`ngs%wr eg^dnrY%w Y%.i 587,?¦c/jY%s p Y n¡¢h|iWs eg^dhjin§3aW^ÇnrhjiehjwregUWhjwgihjwgXZ%Y nl@hjaw9bciWhjwrXZDY CFE/ {Y%l>Y%i p cfi3e% p c|inbdYs%c|n,h + b`YngY%|X+Y ie}i ¤ Y nre+lc|naWi ihjXWwrYY%iem^`Y%w p Yb`hjiW|aWY%aWwrn p¥¤ h|i p Y|5hja W^`Y%i1ngaw¦aWiWYnraWwr¡Sc|s Y§3aWY%b`s%h|iW§3aWHY G¢s%hjXZXZY p c|in¦bdYÄs/c|n p Y n%§3acfeg^dh|iWn^dieg%jwgc|bdY )n I hji iWY p ^dnrl@hjnrYklbdaWn p Yc|ngYhjwzemUWhj|hjic|b`YY*u_lWb`^ds ^ègY p Y¡¢hjiWs eg^dh|iWn}h|ngs%^`b`bc|iegY%n% '{Y%s ^ Y*u_lWb`^`§CaY§CaY¦bdYiWhjXwgY p Y p Y%jwr%n p Y¦bd^`>Y%wregY nrelWbàWn^`XZl@h|wrecfi3e§CaY¦bdYnregwg^`s eXZ^©¨ iW^`XaWX ^`XZl@h|ng)lc|wb`Y"s wgêmV wgY p Y]_Uc|iiWhji¥K Ji p Y a_u_^dV XZY p *¡Sc|ae p Y)s%Y*egemY)XZ egUWh p Y Y%nze9§3a ¤ Y%b`bdYs hji p aWê¾ p Y n9s%hji p ^èg^dh|iWiWY%XZY i3egn9emwgV n'%b`Y |%n MX L XZYl@hjaw p Y n'lWwgh|WbdV XZY%n p Yecf^db`bdYZwgc|^dnrhjiWicfWbdY+Y%i7emY wgXZY%n p Y p Y jwg n p YZb`^d>Y%wzemf ¿hjaWnjY wgwrhjiWn p c|iWn)bdcnraW^ègY §3aWY+s%Y p ¡Scfae"Y%nrebdcs hjiWng §3aWY%iWs Y p Y+bdcnrhjaWn"hjleg^dX+c|b`^èg p aiWh|XWwrY p Y p Y jwg n p Y b`^d>Y%wzem|O NxiY Ã@Y e/_b>c P|ngaWw p ^dnrs%wr em^`nmcoem^`hj8i Qs wg Y p Y%n9h|i p Y%n fc|iWY ngs%Y iemY%nY*e9s%Ynrhjie9s%Y n hji p Y%n G¢§CaÂiWY¦wgcq|hjiWiWY ie)lc|)n I§3aWÂs%h|wgwgY ngl>hji p Y ie"c|a_ukemwgV nN¡Sc|^`Wb`Y%nNfc|b`Y%aWwrnlWwrhjlWwgY n §3aW^ p *em%wr^dh|wgY%ietbdY)s hji p êm^`hjiWiWY XZY%ie/ ¼ÇYwmc|lWl>hjwzen ¤ hjwgjc|iW^`ngYs%h|X+XZYnraW^è% Çc|in"aiWYlWwgY XZ^dV wgYZlc|wzem^`Y|DihjaWnXZY eremwgh|iWn Y%i *C^ p Y iWs%Y£b`Y%nlWwrhjWb`V%XZY%n p YHs%hji p ^èg^dhjiiWY%XZY%iek¾ bdcÆ¡¢hj^`nngaWwaiWY p ^`ngs wg eg^dngcfem^`hji p Y n%§3acfeg^dhjin^diem jwmcfbdY nY enraWwaWi lWwrhjWb`V%XZYXZh p V%b`YMaWiW^ p ^`X+Y iWng^`hjiWiY%bS tNc|iWnbdc p Y a_u_^dV X+Yklc|wzem^`Y|xiWhjan+XZhjiegwgY%wrhjiWn+ngaWwZs YlwghjWb`V%XZYs%hjXZXZY%ie}hji1l@Y ae}¾bc¡¢hj^`n c|XZ%b`^`hjwgY wxbdYs%h|i p êm^`hjiWiWY X+Y ieY*eFwg p aW^dwrYbcs%h|X+lbdYuêmtc|b`jhjwr^ègUWXZ^d§3aWY9jSw R|s%Y¾b ¤ a_em^©¨ b`^dngcfem^`hji p¥¤ hji p Y bdY*egegY%n p c|inb`Y p hjX+c|^ìWYnrl@Y s emwgc|bS Wc|in'bc"emwgh|^dnr^dV X+YNlc|wreg^dYfiWh|aWn9c|l_¨ lWb`^d§3aWY wghjin s Y egegYFX+*emUWh p YFc|aCu)%§3acfeg^dh|iWn&^diem jwmcfbdY n% R¿th|aWnÇemY%wrXZ^diWY wghjin lcfw¥§3aWY%b`§3aWY%n l>Y%wgnrl@Y s eg^`|Y%n% Ò¢UÔ TÇÒ¢Ñ

(30).

(31)