Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
22
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
(3)
(4) !. N. Revol, , INRIA, LIP, École Normale Supérieure de Lyon # $ %& $%(')
(5) * +% K. Makino, " , Dpt of Physics, University of Illinois at Urbana-Champaign M. Berz, ,. !- ". %.
(6) * +%. Dpt of Physics and Astronomy, Michigan State University. N° 4737 Février 2003. ISSN 0249-6399. ISRN INRIA/RR--4737--FR+ENG. THÈME 2. apport de recherche.
(7)
(8)
(9) !"#$ %& '( ) *,+ -./-',$ -&-' ) 0*1 23 - %14 , 5768:9<; =?>A@CBEDGFGHJI
(10)
(11) ! IK=@LKNM2IAOKPQIAR STFUHVB?=FGWYX[Z\HVB^] _-`bacWedVBc_%WeB f B?O3gGFGh ij>AklZUmndVh-F%I " # $ %& $%(')
(12) * +% Io` pF\q,P rsgutedVSctTIwvh-dxDGBcWetYdxpNgyFUqQKNHVHxdVh%FUdVtzZ{p vCWe|}ZUh%Z{~0<r}Z\X`}Z\dVGh k>}#BTWe\I , !- " %.
(13) * +% o`-pCFUqQP rngutYdVSTtCZUh f MtYpeWeFGh%FUX2gGIAk dVSr%dxsZUh ]upZ\pBvCh%dxDUBTWYtedxpNg 3!Y< AJE0\J !UEJ ¡ Je¢&!0&¢&!£U¤%¥§¦¨§¦©«ª-0¬§J0EEE¨©5®e¯{E°Ee±. ²L³%´Yµ0¶·!¸µc¹ 3!3°ETºT»\J!¼±%{U0%¼±-J,!¬EwJ{-!3½z!º0zYc&½c#E»\ ¾§ºE-z§ !0º¼±%½L¿À,ÁTÂ#Ã Ä c±Åe jEjÆ\c½{°ÇÈ\c½T<EJ½J{<0J¼¢ÃA¢0Ez!É¡Y±<Je±ÅÉ{ºÊ&±#±±Å»Ë¾§½!°?J!ÌJ¢ET&!z0T!EU0J¾cÍ&Ã3ÎÐÏÒÑeÏ °EÉ\&TJYY LY±JÉ!º½±YÓ ª-½&±ÅYÃ{-¾§º½c)z¡ ¡Yº±EJ !Ô{!e ({ J{0½z!º0zYc&½cJ!z¿À,ÁTÂÕ±ÅE»ÒÖ)EJ Ä ¾×^Eا½!E{ Ù)0Ú¼±Q !E½ºY nÓ »ÒJ0Ö3& !±ÛÝÜwÜAÜ}ÇŦޥCÆ{cJ!°ÇÈUEc Ê!zJ¼¢¼±Q½TJ¡ ¡É{¢0Y sÓ,3!0?J!z¢cJ» J{±{U0 ¼±°c½¬c0nß,!Cº°EcJ½J{z±,z!º0z0TJe ½/¿À,ÁT»ËcÉ{ºÊ½!º¾§½{°? ¾§ºE,z¡ ¡0º Ä ¾2 ±¢0º¼eà »ËE#c ! ¡!°?c#É!ºÊ½{º½¾§!°^Ö)?-¾TºE<¡ ¡Yº±<L°c½¬c0à\ à!¬E0^JÉ{J/-¾§º½c z¡ ¡0º¼±±JJ¼±»Ë¾§!°<J!¢0ETE½{<YT3{Jc\YžcÓ áâTãGäJåæ ¶ç ´c¹ ¾§ºEz¡ ¡0ºVÃG¿À,Á§Â±ÅE»ÒÖ)EJcçÆ{cJ!°ÇÈUEcc\YJEnáEÉ{{ ¡!°0JcYÃ!¢0ETE½!Ç z0T!EU0J¾E笺 {Je Je±ÅÉ!º½YÓ. &õ ÷ò ï %Òè0ýíxý éî ÷0êíëêëNAìÐíxsõ&îëNïQý V÷ ë ðVëNñ)õ ìËNííxõ òéî ý ö/õ&ó%ðeøýè3îëNìnô-õ ü wîêõQõ&îÅìËìÐíxý î îöxìxîÅõîÅõ&íV÷ì ëNísÈì ò<ë&uøTìxù\î îVê÷îÅëNîõ&ìÐìÐì íú&ÈñòTûeÿ Ëíxþ òî ü ý øìÐîï3þ!ë&ÿYøsè0íVý òëîõ&÷ ¡õ&ðëNéëN÷ìVõïíxõë í ìxëNî÷Tïûeîíxòý î Ò-÷YøõëNí ìÐöëN÷õõ&í ýc0è éîbîï÷ é<î þ!õ&ëNìxéõ&÷ý ý ïýõí VöëN÷ î ïîêõ&ìËíVöî÷í-ë&ø\þ{ò0ñ uîêëNìËí õ&÷èeï#ó õ -Aù\õþ ìxî VîÅõ&ì Èeòzÿ ìÐîêEëNìËíwë&øGíxòî Èò úõ&÷#è0íVõíxîó ÷ îì íÒñ íVò íxòî3ìÐîÝøîìÐîÅ÷ Åî èYó .
(14) . . . . . +-,,.0/21143330576#89;:4<#=;>4805(?@;1#ACBD J E. !#"%$$ & FEG L 0"2! $ . . . . . . . . . . (' . ) IHJ. Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38330 Montbonnot-St-Martin (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52. * KE.
(15) z0
(16) )$ -N ' )- (,n # +l - 4 3 %, %& '( ) $
(17) 68:9<; #$*b3
(18) ¹ Ä e¢NÊ»b !<¢0J&¬º e± ¡z ¡0zccJY TÉ!<º <{ºEc&½c? ¡Y± z¡ ¡0ºY± ¡z ¾§ºEeà ´ JYº½º TÉ 0ºº½ e±QJeº±J0 !E{±º º½c°E¼¢0º-¿À,ÁTÂ<Ã\¢Yº¼¢É!º ¡Y±Je±ÅÉ!º½ ± TÉ! ±Åcc°T&TJ¼±YÃ!¢ Y±ÅÅ Ç ÇÝ ¡½ TÉ ½º¼±±JJ¼±»ËcT3º¼z!E!J, ½\¢ºÉ{±ÅEuÓ EÉ¡# Ä c sà º½e± z¡ ¡0ºY±# ¡C-¾TºE ±JET ¡0Ô{!¼±#º½YÉ!<{ºEc&½c2\×^Eا½!0#Ù)0ÚL !\± ºCºE°E¼¢0º3¿À,ÁT e±# !E½ºº0EÓ?ÜA{±JÉ!ʺ Ê!zJ TÉ!Æ{EÅ&TJcà 0ºº½ TÉ Yº½ºLe±z±ÅUY¢0ÊÔ{YC{Eº¼ !cJzLÛÝÜAÜwÜ}ǦEÞ¥\à e±<!Je±ÅYTJ0cÓ(ÜA¡Ô{àcàJ¬EEÉࢠ! É!# !É/±ÅÉCßzºY±Eº½°cEÊ!zY±,z!ºETJY± !E{±Q¿À,ÁTÂÕUEÉ{º¼zÉ!º½J!º¢YJE^ É!?<¡ ¡Yº½# ¡-¾TºE\É!^±¢0EºE½,UEÉ{º¼±Åc<z0º !¡ ¡É!½ ¡< ¡0#É "z¡ ¡0ºY±Q ¡#-¾§º½c±JETQ ¡c!!Y%± $G½º-Y±Å !0zETJ TÉ!¢0Y± º°EcJ½J!ze±J0JcÉ!J{0T ¡e±3<¡ ¡Yº½e± ¡ -¾TºE TÉ!u±±Å»ËETº¼#{Jc!J {¢ºÉ{±J½cnÓ & æ µY´ ä (¸ ' ´¹ ס ¡Yº½ ¡-¾§º½cYúE°E¼¢0º\¿À,Á§Â#ýJ!z) TÉ!)Æ{EÅ&TJcÃ0JYÉ!% EJE\ ¡xÃ{Jc!J ½\¢ºÉ{±ÅEuÃ!Je±ÅÉ{ºÊ&¢YÅÊÔ{cÓ.
(19)
(20)
(21) NÎ ÑVÎ!Ñ
(22) xÎ
(23) Ñ
(24) Î!
(25) ÝÑCÎ #"%$'&(. )+*-,#.!/1032. /54768.:9;*=<>4. F70K/Q/=RSAML>*TAU*T0VBAML>2. ¨. ?@/=*1ACB!<7D1EGFH/IB:<JA3*10KBAML@2. 6NACB!OIP. 6NACB:OW/=FH6N0V*1ACBX/=<@9Y*T0V6[ZT*1.XB:4>*TAC6\4. B!<. ] /=9%,. =">A@LBcDUFGH û_^` ` ba dc e f û ÒübûêìÐëgÐî í ü-ìÐî÷õ ìÐîû Ëþ!û_h ëNý î ëNìÐöõ&ý îwèYéê ì îéìÐîwïî TñëN÷ ij>wklZUmndVh%FIi `kj a fklamln ol ûTô-îêõ&ìËíVöî÷í-ë&ø{þ{ò0ñ Jûó ÷ îì íÒñë&ø Òý ý ÷ë uõí ó ìÐðõ&÷õ Gòõ&öêõ úN÷ k>A<BcWeqp srf i tl ol ô îÅêõ&ìÐíxöî÷0í ë&ø{þ\òñ -õ&÷ïQü ÐíVìÐëN÷ëNöbñû Vò úõ&÷,èíÈõíxîwó ÷ îì íÒñ < 6 5 ;6 ;>< 6#89;:-<#=;>48052?@ 2 . ,+. 8>. 6@. . . 576. . 9 0576. . . . . . . . . EG . * . #". . . . . # u % *A- ¿bEz!É!J!°/Ö½JyÆ\c½{°ÇÈ\c½TC½J!z¢"{ EÉ{{ ¡!°à0E&±{ ±ÅJºº Ä 0!°/ Ä º½?Jà{J¬§¼ ¡ °EÉ\&TJYY àY±JÉ!º½±¢Y Ä ^c¢&!½Y¬Ee /¬EJEÉ{±zÖ3¾¡±0Ó[ÛÝ[J!¼±{E\YYÃbJe¢&!! TÉ!Y±EJ±ÅJÉ{ ¡Y »Ëc -¾TºE z§ !0º¡¢c<{É¡JE{±YÓ -¾§º½cuz¡ ¡0º¼± ¢0E{±ÅJ½JÉ!JÖ3¾Q°EEEÉ\±Åº¾{½!É{ºJ3{ 0¬ºÉ{ »ËÉ!{¢JE{±3É\±Å!°<Æ{cJ!°ÇÈUEc½J!z¢EÓA3!0¾ ¢0Ez\T±Åe CE»-<UEº¾T{EzEºG{JYáÖ!¼¢&(¢0 Ä ±J00E±<à "§\{±J½cà»!»ËÉ!{¢N½c<"°E¬E0jUETYÃwE{ jE»QàTJYJ¬º){EÅ<Ö!¢& Ä J!°T± J{^¢0JJ½Ô\¢YJE»QJ!Y±JÉ!º½Yà ÎÐÏÒÑYÏ [0{¢0º½T±ÅÉ!» ºº0Jc±#Ö!¼¢&{¬c¡¢Y¢É!Je@ wËJÉ!{¢0JEnà EÉ!{ !½!°Tk± xÓ3TÉ\±J{#-¾TºEz¡ ¡Yº± §¾ Ä J¼ Ä Ö)00^¢0E§¬EYTJE{EºGÆ{cJ!°ÇÈ\c½TEJ½J!z0J¼¢ \ L¢c<{É¡JYbº°E Ä &!Ó 3{0) !±JÚ0¼±wº<½Je LY¬E0L»ÒJYw "§0{ ¡e EU0&½c{±YÃE§¾<EU0&JE\± ¢0E Ä ¡Ô\!Y sáE{ z¾E0wJ{Y±JÉ!ºÊ&±AE»u¢Ez!É!½c{±wEJ°EEEÉ\±}º½ØEÖÊL½T0¬Eº{z!¡ !V± wËÖ!¼¢& ¢cJY±JUE{ /J/-¾§º½cz§ !0º¼±L» c ¡YC! xz Ó yA½cÉ{±Lº°EcJ½J{z±z "¡±ÅL»ËE±Åcº½É!JE{±E»#VÀ {ÜwI± | ¯ }Và TÉ{E !JÉ! | ~}uE{ E!°E Ä EÉ!{ !½!q ° |®b¦ }'|½® _}|®Y_¯ }ÈÃ!<{º½¼¢½ TÉ{JE{± |®0¥ }'| b¦ } ¢EÓ 3!»Ë§¢0É{±b½!¼±w{E\Yb¼±wJ{J¬c3J{wJ{Qz!º½Yz0TJELJ{ ¿À,ÁT ±ÅE»ÒÖ)EJ | _}s!¬§ ¡e± ¬º {Je 2Je±ÅÉ!º½±YÃwÎÐÏÒÑeÏ(Y{¢ºc±JÉ!Y±,»)J{LJe±ÅÉ{ºÊ&±0à 0¬EYÊ»EU0&½c{± z\YÅ»ËcJze "É\±Å!°(Æ{TJ!°EÇ UEc EU0&½c{±0Ó3{#¢c{±J ¡YJe Ê!z¢ c\YJE{±Q J{É{ºÊ½!º¼¢0½c^»wC ¾§ºEz¡ ¡0º Ä ¾±¢0º¼b½1 J¥{ÃT! c ! ¡½JEL1 NÞ \ J{!¡ ¡É{¢N3T k»nÖ)-¾TºEbz§ !0º¼±0ÓAÁ§e¢NJE ¡0Ô{!Y± -¾TºE,z¡ ¡0º¼±E{ ±Åe¢NJEj¨(Y¢Yºº±,É{±J»ËÉ{º}»ÐE¢± Ä cÉ¡ÛÝÜAÜAÜAǦEÞ¥Æ{cJ!°ÇÈUEcEJ½J{<0J¼¢ÓC3{ º°EcJ½J{z± EJL !E½ºY Ä »ËcJ Ä 0!°^!¬EY2¢0EJe¢Neß,J!Y¾2EJ<EØEY"»ËE ¿À,ÁTÂ$±JEÉ!&¢e±0Ó3!0¾ ¢0E?º¼±J Ä #»ËEÉ{{ ^"×^Eا½! ±J!e±Å¼± |½® _}VÃnEº½c!°LÖ½J?J!z ¡&º±Q»}!z !&C±ÅJÉ{¢NÉ!J#Ö!¼¢&? !EJe¢0ººY L{0EÓ u. v. 0 -¾TºE z¡ ¡0ºA¼± (¢cT¬c0!0T,Ö)¾((JY!Je±ÅYT,E{ ?E!½{É!ºJLC»ËÉ!{¢JEE(¢Ez!É!J0eÓzÛÝ J{»ËEººÖ½!°\ÃcÖ)Ô{&±ÅbcJ¡ ¡É\¢-¾§º½cAz§ !0º¼±A»ËEJ!QJ{0¢YºU\c½TbE»s¬T0Ö ÃGÎÐÏÒÑeÏAEL "!E¢ ½J!z¢,¼±c±J±JÉ!zY sÓb3!0J{ É{±Å E»%Æ{cJ!°ÇÈ\c½TÊ!z¢ E{ J!z¡ ¡½Ô\¢0JE{±3½z!º½Y± ¡&º½e sÓ%ª {Eº½º¾EÃT!EJ!YYÃE¢0Ez!É¡&½c{ºº½¾<cJ¢0E§¬EY!½YT-Ö3¾»s±ÅJE!° -¾§º½c%<¡ ¡Yº±AEz ¢cz!É¡JY}É{±J½!° Æ{T½!°EÇVUETAÊ!zJ¼¢3{ z,±J{&±Å)0!Y±J0TJE#±%°c½¬c0nÓ%3!¼±%ºc±w±JÉ Ä ±JY¢JE ¢cJY±JUE{ !±b#! Ö3¾L ¾§ºE3z§ !0º¼± 0{Je±ÅYcY C½J{#¿À,ÁTÂÕ±ÅE»ÒÖ)EJ | {Ã{_¨ }ÈÓ . %t. C+C#m ¡ m M+ . 0 f Ä zL»ËÉ!\¢NJE"E. ¬ Ä ºY±Yß f : [−1, 1] → IR, ¾§ºEz¡ ¡Yº-E»wE& ¡Y o »ËE f ¼±,L{E½ v Ö ! 0 ¼ ± ! ¾§º½c"¡{E{±ÅEjE»E& ¡0 »ËE J{CUEc . . . , 0) \ I ¼±E (T c0,I¬)ºG0{¢0º½T±Å!T°#J!,JÉ{{¢0JECYJEeà I Öº½º º¼±Å Ä o¢Yºº½ef J{Î ÝÑs
(26) ¢(0, Ñ8
(27) Î £EÑbE»uJ{,-¾§º½c z¡ ¡0ºVÓ o. R. v. o. R. R. :÷¤¦¥§ §. J. !.
(28) ¥. #ÏÑ _ zÏI
(29) Î q
(30) £ ?Ï
(31) Ñ. f. 0 −1. 1. F([−1,1]). ª-°EÉ!z®Eß !" !#$ !%'&(& )*%+)(,-& ,/.%0& )*%. f. (%213(% !%! )*#$. 4)(,
(32) & #5(%6 *7. f. f. 0. 0. −1. 1. ª-°EÉ!¡ß589%! )*#$." !#)(,. f (x). −1. ,:) ;*< )*.#. x. =. 1. 0,>&?@ %21A !%0 B) #$. C) ,D& E6( 3) ,. f. =. 6*'&?7. 3!3c0¬º!0{ ¡Y%±} TÉ!Y J±J¼±Å»Ë¾ J!3»Ëcº½ºÖ!° ±ÅEÇÈ¢Yºº½e !°EzE& ¡Y%
(33) Î FC kk{ÑsHG{ß ½ »\Ö))¢0E{±J !0-J!)»ËÉ!\¢NJE f ¡0Ô{!Y Ä ¾ f (x) = f (h×x) E{ < ¡0<!)Ê&±%JY{ ¡0 Ä EÉ!{ I à J{0(E± h → 0 à I = O(h ) ÓAª!c3½{±ÅE{¢cà I ¢0EÉ!º¼ Ä ¢c<{É¡Je c±) °E&{°E0{ ¡YE±Yß h o+1. R,h. h. R,h. R. IR =. 1 kf (o+1) k∞ (o + 1)!. Ö!YJJ! !E ±bEØEY¬E0 1] @Ó IÖ)0¬EYYÃT ¡0z½!!° I »ËE °E&{°E0{ ¡Y ¼±3½(!&E¢J¼k¢ k ¬E0¾C ¡>JL¢É!º½YÃ\¢0JE½{º½¾[−1, zE ±Å<{ Ä cÉ!{ ¡!°<J{ E½°c½{EºU»ËÉ!{¢N½c(Ê&±ÅYºÊ»Ã{E{ ±Åz½ ¼±!EQ¬c0¾!&E¢J¼¢0Eºu?zc±Å ¢YE±JY±YÓÛÝ^{EÅ¢0É!º¼eÃ\J{¿À,ÁT !{JTE¢&nÃ\JYzE½\ ¡0 Ä cÉ!{ !± ¢0Eº¢0É!º¼Je ½/{&ºº½YºAJ!¢c<{É¡JEàE»)!LÆ\c½{°ÇÈ\c½T0!Y±J0T&JEE»)!(¢§<JL¢0T&± »ËE !JY¬§½cÉ{±A0{ ¡Y Ä EÉ!\ !±bE{ <J{ ¢0T( JL¢0TM± |½® _}VÓ%ÛÈ3±ÅKÉ JL¢0Y±wJ{wJ{Q±¢0º!°!EU0J¾#E{ J{,»ËEºº½Ö!T° k m
(34) Î zÑ !Ñ sHG!Eº¼ sß ∀x ∈ [−1, 1] à f (x) ∈ [T (x), T (x)] + I Ó 3!¼±!EU0J¾C¾ Ä Ä 0Å0 ½ºº½É\±JY ((Ô{°cÉ!Je±0Óª-°EÉ!L®±J!Ö±L°E&!!¼¢0Eºn0!Y±J0TJE »wJ!#»ËÉ!{¢JE f Ó#ÀQ^J!zº»Ò J!z¬EYÅ¢Yº Ä JY!Y±J0T± ^TJYJ¬º-0\¢ºc±JÉ!J#»A!<E!°E#» f ¬EYJ{#Ö!cº½# ¡EnÓ ÀQJ!#º½0»Ò E»}Ô{°EÉ{J#L{ (»Ëc ±J0¬c0&ºuEJ°cÉ!z0T± ÃGJ{¬EYÅ¢Yº ½TJYJ¬Eº 0!Y±J0T± [T (x), T (x)] + I Ó?ÛÈ»J!¼±¼±0UYJe 2»ËEY¬EYJ¾2°EÉ!z0T x Ã%Jx!¼±#¢0EJe±ÅUE\ !± J?E 0\¢ºc±JÉ!J »-J{ °E&!»-J! f »ËÉ!{¢N½c(½J{ °E¬E0( ¡EÅJe LÉ Ä EÃ\±J!ÖEJ! °ET»uÔ\°EÉ!¡Ó C±Åz!ºÊ»Ë¾(!E½c{±E{ º°EcJ½J{z±YÃ{Ö½J{EÉ¡ º½T±J±»}°EY!0&ºÊ¾ºº-¢0E{±J¼ ¡0Y (-¾TºE<¡ ¡Yº± {¬c!±JEz c !0 o Ó yAEÉ{±c\YJE{±¢0 Ä U0J»ËEzY (c^ ¾§ºEz¡ ¡0º¼±0ÃG±JÉ{¢&^E±QÊ!zJ¼¢ c\YJE{ ± w à à x/Ãn¢c<{É¡J!°J!Y½, "¡UE!YTJ¼º%E !0,º°E Ä E¢E 0º0z0T&¾»ËÉ{{¢N½c{N ± w √ Ãsº½c°{Ãs±ÅnÃnE+¢×uà ¢T±ÅuÓ0Ó0Ó xNâ0Ez\T±Å!°, ¾§ºE <¡ ¡Yº±YÃTJ0°cJ!°c} ¡B LG00TJ!°!0{ #±Å EnÓ-ÛÝ!)»ËEºº½Ö!°\à Ö) Ö½ººs»Ë¡¢É{±EJ!#É!º½J!º½¼¢0JE»} ¾§ºE3z¡ ¡0º Ä ¾<±¢0EºE wТN»Ó)±Åe¢N½c¥ xNá!E { ¡Ê½c wx¢N»Ó ±JY¢N½c(!Þ x3{ É{ºÊ½!º¼¢0½cJ wТN»ÓA±JY¢JEq !x)E»uÖ)z-¾§º½c3<¡ ¡Yº±YÓ v. ∞. R. v. o. o. o. o. R. R. Òü. 2 .
(35)
(36)
(37) NÎ ÑVÎ!Ñ
(38) xÎ
(39) Ñ
(40) Î!
(41) ÝÑCÎ #"%$'&( % . Þ. C+CMVG¦
(42) '5 M+ t. ÝÛ J! {JY¬TEÉ\± ¡Ô{{ʽcnÃ!"!c¢NÊ!z¢,¼±E±±ÅÉ{<e sß%»ËE{±ÅE{¢,!¢§<JL¢0½Yc&±3»-J!-¾§º½c "¡{E{±J½cC "¡c¢Nº½¾z0!Y±J0TJe sÓ-ÛÈ»uÆ{TJ!°EÇVUETbÊ!z¢Q±3c±J±JÉ!zY sÃT!0CJ! ¢§(J¢0½YT±b» J{UEº¾T{EzEº\#É{±Å Ä Æ{TJ!°EÇVUETw§É! Ä 0&±Mw˾T{¢Yºº½¾ ¡cÉ Ä º!Y¢0±J½czÆ{cJ!°ÇÈUEcbTÉ{ Ä 0&± »AÛÝÜwÜAÜ}ÇŦޥÊ!zJ¼b¢ xÓ Á§É{±Å Ä !0{Je±ÅYc&½c»%J!<0{ ¡Y½T0¬Eº wÐÊ&±ºÖ)0E{ É!!U0 Ä cÉ!{ !±3½»-TJYJ¬º¼±,JY!Y±J0TJe Ä ¾J{00{ !\c½T± xNÓ ª!É{Å!0zEEÃEÉ!\ ¡½{° YJE&±-Ö½ºº!!0¬§½ Ä º½¾<¡¢0¢0É!A ¡É!½{° ¬EJEÉ\±}¢Ez!É!½c{±}§¬EEº¬§½{° -¾TÇ ºEz¡ ¡Yº±YÓ L°cQ¬Eº½¼ !Y Y±JÉ!º½±YÃUJ!#JcÉ!{ ¡!°LYJE&± ¡É!#J!{J "¡zJ 0!Y±J0T&JEE{ J¢0Ez!É¡&JE\±3É{±Å Ä c¢0¢0EÉ!TJe L»ËcYÓ y!Y#Æ\c½{°ÇÈ\c½T}Ê!zJ¼¢3¼±%É{±Åe sÃc,-¾§º½c-z¡ ¡Yº!±w ¡Ô{{Y <½<!3»ËEºº½Ö!° Ö)¾Gßnº Ä »ËÉ!{¢N½c#c v ¬EJ¼ Ä ºY±Yß f : [−1, 1] → IR Ó ÛÝ#Æ{TJ!°EÇVUET-½J!z¢EÃE ¾§ºE-<¡ ¡Yº¡»UE& ¡f0 o »ËE f ±b { (T , I ) Ó%ÛÝzJ!¼±w\Yà T ±b \cº½¾§!czEº!½ v ¬ Ä ºY±}E»Gc !0 o Ö½JzÆ{TJ!°EÇVUET ¢§( J¢0½YT±YÃGJ!e±Å¢§( J¢0½YT± Ä Y½{°Æ\c½{°ÇÈ\c½T,JY!Je±ÅYT½c{±Q»A!¢§< JL¢0T&±,»A! "!E¢ -¾TºE% "§\{±J½cz»GE& ¡0 »ËE }!\c½T Ó-3!±JY¢0E{ <z0 Ä YA»UJ{±w{Yà Ãc±AE c0¬º $ I Y{¢ºc±JY±Gc,J!woE!}{fE{ J{}JÉ!{¢Y(0,JE.,. .Y,J0)EnE{ E,J{A!0n\{ QJ{wEÉ!{ !½!I°3YJE&± E ¡,C! ¢c{±JÉ\¢NJE» J!¼± ¾§ºE3z¡ ¡0ºVÃ Ä EJ½J{!! "¡½JELE» "!c¢N¢§< JL¢0T&± Ä ¾ Æ{TJ!°EÇVUETbÊ!z¢Q{ ¡É{J!°!¬EJEÉ{±AÆ{cJ!°ÇÈUEcbEU0&JE\±0Ó ÛÈ)¢0E Ä J{EÉ!°cc)»uc± J{b±JÉ! »§J!b½T0¬EºE0{ ¡Y E{ ,»{E 0{¢0º½T±ÅÉ!AE»!JcÉ!{ ¡!°0E&±0Ón°cnÃÖ½J Æ{T½!°EÇVUET ½J!z¢EçJ!¢0ETE½{<YT3{Jc\YžC±ÅJººn!Eº¼ !±Yß ∀x ∈ [−1, 1] à f (x) ∈ [T (x), T (x)] + I Ó % C+CMV G¦
(43) ' 5 M+ tM K
(44) G : Á§{¢<!º°EE½J!± {Eº½¾¡±JY ^"J!¼±,{U0 EJ#J!zc!Y± <{º½Y<YTJY 2j¿À,Á§Â#ÃGº½0 É{± ¢c{±Å¼ ¡Y -¾TºE#z§ !0º¼±#c±!0¾jC0{Je±ÅYcY [¿À,ÁTÂ<ÓA¿À,Á§Â É{±JY±<?±J{&±JLJY!Y±J0TJEj»-¾§º½c z¡ ¡0º¼±0Ã3ÎÐÏÒÑeϽ<±ÅJcJe± E!º¾^!Czc!Ez¼º¼±,J{{¬cL(!E¡ÇÈÚ0YJ^¢0§< JL¢0TYÓ(ÛÝàc ! ¡½JEJ^J!¼±0à ¿À,ÁT c!º½¾"±EY± ¢§( J¢0½YT± Ö½JjLÌÅJYº½Y¬ETÍ#°c!½JÉ{ ¡cÃwÎÐÏÒÑeÏÖ!c±J Ä ±JEºÉ¡<¬Eº½É!¼± °cJeJY J\L !Y±¢ Ä e !Y±J!Eº¼ sÓ%u{Je±ÅYJ¬cb!!EU0J¾E»s¬Eº½¼ !JY zY±JÉ!º½±YÃEzE{EzEº±AÖÊC ¢§»ÒÇ Ô\¢0½Yc Ä 0ºÖyJ!¼±)J{Je±Å!cº C)ÌJ±ÅÖ)0¡ÅͽT!,½TJYJ¬Eº\{EÅeáE¢0¢0E& ¡!°!»Ëcº½ºÖ!°{¢ºÉ{±J½c !EU0J¾Gß { {É!&º o , c × x . . . x ∈ [−c, c]. ∀(x , · · · , x ) ∈ [−1, 1] , ∀c ∈ IR, Á§Ö)0Y!½{°z<zE{EzEº c × x . . . x ¢cJY±JUE{ !±bzc ! ¡!° [−c, c] Jz! c0¬ºs0{ ¡YYÓ <±JÉ!É!ná^¿À,ÁTÂ#á< ¾§ºEwz¡ ¡Yºs»uc ¡Y »ËE»ËÉ!{¢N½c ¬EJ¼ Ä ºY±bE 1] ¼±3 {E½ (T , I) Ó ÛÝ#J!¼±-{eà T ¼±%UEº¾§!Ez¼ºT½ v ¬EJo¼ Ä º½e±uE»{E& ¡0 o fÖ½JvÆ{cJ!°ÇÈ\c½T}[−1, ¢§< JL¢0½Yc&± $ J{Y±J3¢0§< JL¢0T±%EJbÆ{cJ!°ÇÈUEc-JY!Y±J0TJE{± »!!¢§< JL¢0½Yc&±%»!!3 "!E¢%-¾§º½c "¡{{±JE »sc ¡Y o »ËE f AJ{UEc (0, . . . , 0) Ö!c±J Ä ±Åcº½É¡¬ºÉ!¼±A°cJeJY}J\L !Y±¢ Ä e <J!Y±J!Eº¼ sÓ 3!±JY¢0E{ {J» J! {E½eà I Ã!±ETJYJ¬ºsY{¢ºc±J!°<J!±JÉ!$E»u!,»ËEºº½Ö!°z¢ccJ Ä É¡½c{±Yß J!,JÉ!\¢0½cYJEeà J! EÉ!\ ¡½{°#YJE&±)zc ¡,½!¢c{±JÉ\¢NJE»-J!¼±-¾§º½cbz¡ ¡0ºVà J!±JÖbY¡3JYJ±YÓ æUâ µ æ ÜA¬c0¾-¾§º½cz§ !0º-± E±±ÅÉ{<e J Ä #½!½J¼ºÚ0Y JC{à ÎÐÏÒÑeÏ 0¬c0¾¢0T( JL¢0TQ¼±!½J¼º½ÚYY (LE{ J{ ½TJYJ¬EºGJ [0, 0] Ó v. o. R. o. R. R. v. 1. n. v. o1 1. o. . v!!. ov v. i. o. o1 1. o. R. ov v. v. o. "$#&% , !"0 -&-' ) 0* z0 . 6 8 9<; ÛÝàc ¡Y J"¬EYJe±½JcÉ!{ ¡!°^YJE&± \ J"½{¢0E\cJz!Y±JCe±½½c{±TJ?J!½TJYJ¬Eº {EÅ», ¾§ºEzz¡ ¡0º¼±0Ã)½z¼±!e¢e±J±¾2Jà ¡0ºEÉ!{ !½!°20E&±»ËcÊ!zJ¼¢(EU0&½c{±<ÖÊ :÷¤¦¥§ §. J. !.
(45) #ÏÑ _ zÏI
(46) Î q
(47) £ ?Ï
(48) Ñ . Æ{TJ!°EÇVUETEU0&{ !±YÓ3!¼±Q±JY¢JETJ§ !É{¢e±Æ{TJ!°EÇVUETÊ!zJ¼¢ÃGE±Ê ± ¡0Ô{!Y Ä ¾J{ ÛÝÜAÜAÜAǦEÞ¥,±&{ !E nÃE± ÖbYº½º¡E±%±JEz)!Jc\YŽe± ±±ÅÔ{e Ä ¾,J!¼± Æ{cJ!°ÇÈUEc%Ê!z¢3\ É{±J»ËÉ!º º¼JYQcnÓ ¬Ec Ä É!& ¡0!!°CJ!zYE !0eÃ{»Ëc!#Y±JÉ!º½± !Y±J0TJe ^J{±,±JY¢N½cnÃGJ{#!§»Ð± 0º0°cJe Jz!{\Y{ ¡ "GÓ t K
(49) ' 5 ¦K+ t %
(50) ä ' æ ·¡µ { ä wæ µ "³ â ¶´ . 3! ÛÝÜAÜAÜ}ÇŦޥ<±ÅE{ !ET |s® }n ¡0Ô{!Y±3 Ä {¾<Æ{cJ!°ÇÈ\c½T3±Å¾¡±ÅJ0 E{ LE½J!z¢J\ Ä Y{¬Ee± J!b±JE<wzE!!YuE Y¬EYJ¾ &¢&!ÊY¢JÉ!C wбJ0)º¼±Å | §ÃT®Y¡ÃT®eÞ }xNÓ-3!w°ccEº±GE»¡J!¼±u±ÅE{ !& ¡ÚYJE J{bUEJ Ä ½º½¾ E»!§É!z0¢Yº§¢¡ ¡Y±-\ ,J!)0!¡ ¡É{¢ Ä º½½¾ »{§É!z0¼¢0ºT¢c<{É¡JE{±YÓ ª{É!Å!0zE ½b!¬§ ¡e±}±ÅcÉ!{ ±J\e¢½Ô\¢0JE{±}J{bØc\T±J±J Ä º½{J§»Ð±A»GJ! ¢cJY¢ Ä 0\¬TEÉ{A»s!E°cEz±YÃEc± C!,JYzE½\ ¡0)» J!¼±3{U0eÓ}3!,±&{ !E º¼±Å<±ÅUY¢0ÊÔ\Y±)J{ \{ ¡º!°#E» ½J!z¢ "¡¢00¡½c{±YÓ â ˵ æ
(51) ä !-æ ·¡µ " !#ä wæ µ ?³ â ¶L´ ã ´Yµ â $ Æ{cJ!°ÇÈUEc<§É! Ä 0±J¾§±ÅJY Î T
(52) = &%'s 0Ñ t Î m
(53) Î (Æ{T½!°EÇVUET#§É! Ä Y)± ( §Î .
(54) Ñ !Ñ s ± 8
(55) xÎ
(56) × β *( IF !Ñ JÑ β Î !+Ñ '
(57) -Ñ IR,Q Î 5 {CÑ d.(} Î F β (} Î /'&ÑC1Ñ 0%
(58) m)23,
(59) 8
(60) VÎ
(61) zÎ
(62) \JÑ
(63) %¦4'&Ñ ( _ 0 Ñ Ñ £JsÑ 0Ñ m
(64) VÎ ^ Î 'k
(65) 0Ñ β Î m .m . . . m 5 p Î V !Ñ!Y¢¼±J½cJ t
(66). G Î N
(67) Î ÝÑ FcÑ Î Ï 3 8£ !8 Ñ . {. Ñ z Ñ ½ Ñ Ñ t
(68) J Ñ
(69) .
(70) ( I9 F 576 IF +∞ −∞
(71) A:%¦4e '&Ñ !;% 0kÑ C Î _
(72) {e Î !, Ñ · ·
(73) · x,Î e =<EÏ } > V s8
(74) Ê>Î YÑ N%¦4'&Ñ ! ( !Ñ T !: Ñ '
(75) _ 0Ñ 1Ñ 0%
(76) ?2" ¡Î Q Î M ÎÐÑ V
(77)
(78) £ !YÑ
(79) V Ñ @'&KÑ JÑ £JÑ Ñ ÝÑ EÏm@8 @6='&0VÑ 5
(80) ' VÑ JmÑ JÑ 0Ñ βA
(81) £ mK
(82) VÑ NJÑ
(83) X%¦
(84) X(mG'=CJ1Ñ 1%¦ Mm _ 0VÑ m A -±ÅÉ Ä !EºG§É! Ä 0& ±
(85) JÑ
(86) EÑ UÑ B?( {Ñ e = e ' {Ñ m
(87) '&Ñ#1Ñ 0%
(88) ¢m+Ac-Ï 8£ !Ñ ¦JÑ t '&Ñ C(wÑ&Ñ I s8
(89) Ê>Î YÑ
(90) £8 &%' s8
(91) 6 %¦D'Ñ !
(92) k
(93) ½Ñ (É!{ !0JÆ{Ö !Je±Å{Eº¼ }Î Ï 3!3ÛÝÜAÜAÜAǦEÞ¥ ±&{ {& # ¡0Ô{!e±-Öb Æ{TJ!°EÇVUET »ËcJ&±0ßu»ËE Ä <E»{!0(Ãε! =Ä cβ±Å3¼± β = 2 Ó 3! ±Å!°Eº{Je¢¼±ÅEz»ËcJb{E±bTJ¼±J±E±A»nº0!°EJ¥ Ä ½V± w p = 24x}E{ e = −127 à e = 127 wÐÆ{cJ!°ÇÈ\c½T§É! Ä YÔ!&±cC±J½!°cº½Öbc sßb¨c Ä ½± xNÓ3!# ¡EÉ Ä º½{Je¢¼±ÅE»ËE¼± !Ô{!e Ä ¾ p = 53 à e = −1023 \ e = 1023 wx<Æ{cJ!°ÇÈUEc3§É! Ä 0±±ÅJcJe CT ¥ Ä Ê&k± xÓ G ' IH ¶ æ ç " æ ç â ´#· çy¶ æ ç " â ¶e¶ æ ¶´ F E â ˵ æJ E u ¹ ' LK е Nµ M â 'з!´Yµ 'x·!¸ Pâ O Q cÑ £ ÝsÑ K {C Ñ s8
(94) ½Ñ sPRb
(95) x Î 2FS,d Î %¦D'Ñ s NÎ G
(96) FTÑ V
(97) UT {Ñ u = 1 − 1 B u Î V
(98) ½Ñ É!º- 1 zÉ!{ÊJ!,º¼E±Å!º¼E¢§Ï y½J!!EJE{±}E»u ¡Ô\!ʽc®Eà Ó%ª{Ew»ËEz±A !Ô{!e Ä ¾!ÛÝÜwÜAÜ}ÇŦޥ#±&{ !E nà (±J!°Eº,!Je¢¼±ÅE u = 2 ' 1.2 × 10u =β{ ¡EÉ Ä º½,!Y¢0±J½c u = 2 ' 2.2 × 10 Ó ÛÝ!»Ëcº½ºÖ½{°{ÃTJYºJ¬EYJE&±}Öº½º Ä ,¢cÉ!TJe z½É!º½\±0ÃGÎÐÏÒÑeÏ%J{»Ëcº½ºÖ½{ ° TÉ{TJ½¾<Ö½ºº Ä QÉ{±Åe J¢&{&E¢JYJÚ0 J{0E Ä Ö)0Y x E{ y ÃGÖ!YJ x ¼±QE^!! "¡½JE(» y ß3Ê» 2 ≤ |y| < 2 à J{¢E\±Å¼ ¡0Y C0Jc3Ö½ºº Ä (x − y)/2 Ó Æ{cJ!°ÇÈUEc §É! Ä 0 ±J¾§±ÅJY ¢cT{±QE!º¾?CÔ{!½Jz§É! Ä 0,E»b0º0zYc&±,{ "Ê ¼±QJ§É{±,!E Uc±±Å Ä ºzJ^0!Y±J0T 0¬c0¾?YEº}TÉ{ Ä 0eÓ Æ\c½{°ÇÈ\c½T{!J "¡JE fl(x) E»3YEº}§É! Ä 0 ¼±QE!E»}J!ÖbCÆ{cJ!°ÇÈUEc§É! Ä Y±Q±ÅÉ{JEÉ!\ ¡½{° wÐ "!¢Y¡»Ëc "!¢00¡½c{º-¢0E±JY±Ö!0 x ľ ¼± J§º¼°Ecß Ñ VR.(CxNÓ3!¢&!c¢0»)E!zE»AJ!e±Å<Ö)CxÆ\c½{°ÇÈ\c½T,TÉ{ Ä 0&±Q¼± ¡0J0z½{Y |x| J{(c¢N½¬cCEÉ!{ !½!°"z§ !EÓ/3!(ÛÝÜAÜwÜ}ǦEÞ¥2±&{ !E ¡Ô\!Y±#»ËEÉ{<EÉ{{ ¡!°?z¡ ¡Y±YßCEÉ{{ ¡!°^ !eY±Å- wË0¬c0 xà EÉ{{ ¡!°(J +∞ à EÉ!\ ¡½{°(J −∞ E{ 2JcÉ!{ ¡!°(J 0 Ó3{LÛÝÜAÜAÜ}ÇŦޥ^±&{ {& º¼±JC ¡Ô\!Y±J! Ä Y{¬§½cÉ!E»}J!»ËEÉ! Ê!zJ¼¢c\YJE{± + à − Ã × Ã / E{ » √ ÓQ3{Y±JÉ!ºÊQ» J{Y±JEU0&½c{±A#É{±Å Ä J{Q±zQc±A½»nJ!Q "!E¢bY±JÉ!º½K wË IRx}Ö)0¢cz!É¡Je L\ zJ!YCEÉ!\ ¡Y sÓ Wæ µY·¡µ æ ^Á§¾§ Ä Eº¼± Ö½J!cÉ¡¢&¢ºz !0!EJ "!c¢NEU0&½c{±,{ ±J¾§ Ä Eº¼± ÖÊj¢¢0º½ ¡Y! 0½J{0)Æ{cJ!°ÇÈUEcbEU0&JE\±wcYÃTÊ»-±Åc< EU0&\ !±wEJQ½TJYJ¬Eº±YÃccÉ¡Ö3& JcÉ!{ ¡e c0¬ºUEU0JÇ ½c{±YÓ ÛÝL!Q»ËEºº½Ö!°{ÃT!QEÉ{{ ¡!°YJEbÖ½ºº Ä ¡Y!Y Ä ¾ ε $T½ TÉ{Eº± 1/2u »ËcbEÉ!\ ¡½{°J<!eY±Å \ ε = u »ËE3! !0EÉ!\ ¡½{°#z¡ ¡Y±YÓ e. 0. min. 1. p−1. max. 0. 0. min. 0. 0. u. min. min. emin. max. max. +. +. −p+1. −23. −7. −52. −16. e. e+1. e. M. M. Òü. 2 .
(99)
(100)
(101) NÎ ÑVÎ!Ñ
(102) xÎ
(103) Ñ
(104) Î!
(105) ÝÑCÎ #"%$'&(. ¦. ¢c{±Å TÉ!0{¢0E»uJ{,±JUY¢½Ô\¢YJE\±w»Ëc)J! ½J!z¢ c\YJE{±b°E¬EY Ä ¾zJ!,ÛÝÜAÜwÜ}ǦEÞ¥±Å!Ç ! E ¼±3J!»ËEºº½Ö!°{ß}º · Ä #Ê!z¢,c\YJE({
(106) Ä ½±EÉ{{ ¡Y (¢0EÉ!TJYJ\JYá½» a
(107) b ¼±3!0½J!Yz±ÅÉ Ä !Eºs§É! Ä Y!EE¡Ô{!½¾C{Eá!0 |(a
(108) b) − (a · b)| ≤ ε |a · b| ÃsÎÐÏÒÑeÏ Ö½J(JcÉ!{ ¡!°<J{YY±Å wË0¬c0 x u|a · b| Ö½JJ{ J{0EÉ!{ !½!°zz¡ ¡Y± , |(a
(109) b) − (a · b)| ≤ |(a
(110) b) − (a · b)| ≤ u|a · b| . ª!É{Å!0zEEÃÊA¼±-\T±J±J Ä º½) {J¬cAJ\%J!30º¼½¬cbEÉ!\ ¡½{°QYJE \YÅ»ËcJzY Ä ¾ Yc¢&Æ{TJ!°EÇ UEcbEU0&JE¢Y Ä ¬EYJe±½JY #É{±J½{° Æ{cJ!°ÇÈUEcAc\YJEnÃTE±}½b¼±w !E½ºY z!»ËEººÖ3Ç !°zº½Y<{Ó wâ /· ´0µ à·¡µ " µ M â ¶ æ ç " 2â ¶¶ æ ¶ ´ " !-æ ·¡µ { ä bæ µ<·¡¶ ÐNµ M ⠵и M. 1 2. EÏ. !Ñ xÎ Î &Ñ Ñ GÑÎ !Ñ Ñ &Ñ Î Ñ !Ñ VÎ Î !Ñ EÑ JÑ zÎ \Î cÑ {Ñ !Ñ VÎ ÊÎ xÎ JÑ JÑ !Ñ VÎ Î VÎ Î VÎ Î Ñ EÏ 2TÏ8 { Ñ &%¦ a+b t Rb
(111) xÎ 2FS,d Î %¦4'&Ñ a
(112) £ b Î QÑ !ÑRb
(113) xÎ 2FS,d Î
(114) !XÎ xÎ Ñs &%¦ '(G8 \NJÑ
(115) AÎ UÑ0Î !Ñ:%¦ cÑVR.( ÑVR.( 0Ï a⊕b |a ⊕ b| ⊗ (2ε ) a⊕b Ï Î {Ñ
(116) Ñ
(117) 1%¦M VÎ {VÑ &%¦ a + b Rb
(118) xÎ 2FS,d Î %¦4'&Ñ a
(119) b Î QÑ !Ñ R%
(120) V Î F,d Î
(121) X!Î VÎ JÑ 1%¦ '(G8 88Ñ
Documents relatifs
If the temperature of the collapse increases due to an increase in the specific heat ratio (for example by lower initial concentrations of the chlorinated compound) the ratio
If a reproducible evolution of the refraction index with temperature and degree of conversion could be available, an absolute value of the degree of conversion would be
À partir du moment où la montagne Pelée se réveille, temps au bout duquel une grande éruption peut se reproduire (d’après la population interrogée
Contanto, é importante ressaltar que as cultivares ‘Salustiana’, ‘Pera’ IAC, ‘Pera’ “Jetibá”, são mais propícias para suco, podendo a ‘Salustiana’
Si l’examen du lien qui unit langue et identité trouve dans la première approche une résonnance due au fait que tout sujet parlant construit son identité par le biais de sa
Ainda segundo os autores, outro ponto importante a ser levado em consideração no combate à disseminação seria o rastreamento, por parte dos órgãos competentes, a partir
En vertu du principe frégéen de compositionnalité qui règle dans les linguistiques formelles les rapports entre syntaxe et sémantique, la composition syntaxique est
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
