Meshing Volumes Bounded by Smooth Surfaces

(1)

HAL Id: inria-00070382

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

Submitted on 19 May 2006

HAL

is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Meshing Volumes Bounded by Smooth Surfaces

Steve Oudot, Laurent Rineau, Mariette Yvinec

To cite this version:

Steve Oudot, Laurent Rineau, Mariette Yvinec. Meshing Volumes Bounded by Smooth Surfaces.

[Research Report] RR-5626, INRIA. 2006, pp.21. �inria-00070382�

(2)

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

a p p o r t

d e r e c h e r c h e

Thème SYM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Meshing Volumes Bounded by Smooth Surfaces

Steve Oudot — Laurent Rineau — Mariette Yvinec

N° 5626

Juillet 2005

(3)

(4)

.0/214351768:9:;</

∗ ^=?>A@ 8:B214CD/E!FGC:1

@ 8

†^=?HI@ B2FJ14/2/21K30FGC:14L

‡

MONQPRS,TVUXWZY[T]\_^a`bPcRdS2^e^b\VRgf<h4ikjmlVnoSc^

prqbhtsuS`v^ewXxchtRx`vqbjmyz

{ezt|o|5htqb`}oS~qbS2yNoSqyNoS5t4tYtnojiikS`tVXY_$|QzttS2^

(c*ott MONojm^A|Qzt|<ScqAjV`bqvh]}onQyS2^z!`bNoqvSS}_jRSQ^bjhtQztiDRSc^bNtScoSqz*`vjkh4zithtqvjk`bNoR htq$}_h

R"ztjkQ^Of5htnQQ}_Sc}f]\^bRdh]ht`bN^anoqb¡ztySc^c¢MONoS$RdS`bNoh_}yh4R,fojoS2^zd^bnoqb¡ztySRSc^bNoScq£j¤`vNzd¥4htinoRS

RS2^aNoScqc¦:f5h`vN§fQz4^aS2}¨ht§©SimznQQzª\«qvS¬<oSRSV`2¦:`bh4S`ztqvSS2}_\7zithtqvjk`bNoR`bNQz`d^vzR|oiSc^,`bNoS

jV`bScqbjhtqeztQ}`bNoSgf<h4noQ}oztqb\h:`bNQS,}_htR"ztjkz*`htQySt¢MONoS,ztik4htqvj¤`vNoRyh4Q^a`bqvnQy`^|oqvh*¥ªztfoi\4th]h_}

RS2âNoS2^¦]jk`tj¥tSc^®yh4V`bqvhti5ht!`vNoS$âj¯SXhD`vNoS$RSc^bNSiSRSc4`^-`bNoqvhtno4Nz,nQâScqa°}_S¬QoSc}âj¯jog¬QSim}±¦

ztQ}!jk`tnQztqvztV`bSS2^`vNoS~ztyynoqzty\dh`bNoS~zt|o|oqvhª²]jR"z*`vjkh4"hD`vNoS~}_htR"zjf5htnQQ}ozqv\t¢³´oht`bjmyScztfoiS

S2z*`vnoqbS,j^e`bNQz`A`bNQS,}_htR"ztjkf5htno<}ozqv\N<zt^`vh!f5S,µ]oh*£htoi\`bNoqvhtno4Nzh4qvz4yiS$`bNQz`Xyzt`bSciki

£NQS`bNQSq"z¶tj¥tS·|<h4jkV`"ijkS2^gjQ^bj}oS`vNoShtf_suS2y`!z<}§£NoS`bNoScq"z«4jk¥4S·ikjoS^aSctRSV`jkV`vSq^aS2y`v^

`vNoSf5htno<}ozqv\t¢MONojmêR"zµ4ScÔ`vNoSgztik4htqvj¤`vNoR4SoScqbjmy$SQhtno4N`vh!f5Sgz|Q|oikjSc}`vhz"£jm}_S¥*zqvjSù\ht

h4f_suScy`v^c¦_qvztotjod qvhtR}_h4R"zjQ^}_S¬<oSc}f]\jR|oikjmyjk`^bnoqb¡ztyS2^-`bh!}_h4Rztjk<^}_S¬QQSc}f]\!iS¥tSci¤°^bS`v^

j¸t©4qbSc\4°^vyziSc}!jkR"z4ScÔh4qfV\|<h4jkVà°^bSèânQqa¡z4ySc^c¢

¹ºV»½¼v¾,¿ *À(t RS2^aNtScoSqz*`vjkh4D¦]qbS2yh4Q^u`vqbn<y`bjht0¦]^vzR|oijoQ¦o©Simzno<zª\!qbS¬QoScRdScV`

Á,ÂÃ¡ÄOÅ*ÆÃ ÇGÈÉÆÊËÊÌ®ÍGÎªÅªÅÂÃ ÇGÏuÐeÑÌ®ÇJÒªÏÓ¡ÔÕÖQÃJÂ×ÃJÆØØÏDÂÙ4ÇJÒªÏÚ5ÛÆÍ½Æ?ÔcÒ*ÆÃ¡ÏaÐcÜÞÝuÂÍJÇ0ß_Õ0à«áâQÚQÕã(ÅÏuäåQÖ<Ã¡ÂæJÏuÝ°Ç

ÎªäªÐªÏuÃ(ç±ÂäÇJÃGÆÝ°Çè0Â®Ó¡ÔcÕ±Ü ééêëªìaí$ákîç0ÔÜ5îÊË×ÂÃJÈÇJÒªØÍ½ÙkÂÃç±ÂØÅ2ÊËÏuïÔÒ*ÆÅÏaÍå

Á,ÂÃJÄÅªÆÃ¡ÇJÈÉÆÊËÊÌÍGÎ2ÅªÅÂÃ¡ÇJÏuÐXÑÌOÇGÒ2Ï:Ú<Î2ÃJÂÅÏaÆäXè0Ï°ÇÞð±ÂÃJÄeÂÙ]ÚQïcÝaÏuÊËÊËÏuäªÝuÏ:îÓ ñò(ÍGÒ*ÆÅÏ-ákâQÖ5ê?Ó¡ÔcÕè0ÂÚóéêôêêåõ

∗Ó è(ßDÓÞî-ö÷±Ö!øíOéêøéùeÔcÂÅ2ÒªÈÉÆ®î(äÇJÈËÅtÂÊËÈËÍaöªâ*ÃJÆäªÝuÏ

†Ú5è:Ôöªëó®Ã¡ÎªÏ?ÐVúÛÊËØ$ö2ôóééóÖoÆÃ¡ÈËÍböªâ*ÃJÆäªÝuÏ

‡Ó è(ßDÓÞî-ö÷±Ö!øíOéêøéùeÔcÂÅ2ÒªÈÉÆ®î(äÇJÈËÅtÂÊËÈËÍaöªâ*ÃJÆäªÝuÏ

(5)

S`ezqb`bjmyiSX|Qqbx2^aSc4`vS$nozithtqvjk`bNoRS$}_S$txQxqz*`bjht}_S~R"zjikimz4Sc^-`bqvjk}_jRSQ^bjhtooSci^

|5htnQq(}_S2^}ohtR"zjoSc^0f<h4qbQxc^D|<zq:}_Sc^(^anQqa¡z4ySc^0ikjm^v^aS2^¢0zRx`vNoh_}_SOyhtRgfojoS?nogRztjkiiSnoq:}_S-^bnoqb¡ztyS

zª¥4Scyrno,R"zjiikScnoq}_SO¥thtinoRSt¦ª`vhtnQ^:}_Scn_²fQz4^ax2^^bnoq:ikSOqz"oScRdScR`:}_S©ASciztnoQzª\t¦*|5htnQq(h4f_`bScojq(nQ

ztik4htqvj¤`vNoRS,4ikh4n_`bh4«lVnojxcyN<zV`bjikihtQoS,ijV`bxcqbjSnoq$S`$imz qbh44`vjkPcqbS}_n7}_htR"ztjkoS^bjkRgnoi¤`zoxcRSV`c¢

ztik4htqvj¤`vNoRS?|oqvh_}_nojk`:}_S2^(RztjkiimztS2^0}_h4V`(imzAlVnQztikjk`bx®Sc^a`:ySqb`bjk¬QxS4¦*jki]|5SqvRS`}_S®yhtV`bqtiSqize`vztjkiikS

}oSc^XxixRSV`^|<zqXijkV`vSqvRdx2}_jmzjqbSd}nQ«yNQztRd|¶}_Sg`vzjiikS}_x¬<oj|QzqXin_`vjkijm^bz`bSnQqXS`Xji:h½qbSdnooS

VzqzV`bjSA^bnoq®izg|oqvxcyjm^bjkh4}_SXiz|o|Qqbhª²_jRz`bjht!}_SXimz qvhtV`bjPqvSt¢:³eno`bqvSXzª¥*zV`ztS4¦tiztik4htqvj¤`vNoRSAoS

QxcyS2^b^bjk`bSg}oSdyhtoQz`vqbS,iz qbh4V`bjPqvS,}_n«}ohtR"zjoSglVn`bqzª¥tSq^no«htqztyikS,ycz|QztfoiSg}_S}_xcyj}oSq$^aj

nQ|5htjV`}_S~qvSclVn`bS~ScâìjV`bxqvjSnoqeh4n giS²]`bxcqbjSnoq}_n}_htR"ztjkoS$S`âj0noâSctRSVè}_S,}oqbh4j¤`vS

jV`bScqv^bScy`bSeh4n"oht"imz$ qvhtV`bjPqvSt¢:©ASXyS¡ztj¤`2¦]izith4qbjk`bNoRSS2^u`r4xoxcqbjmlVnoSeS`-|5Sn_`O^!z|o|QikjmlVnoSqr}QzQ^

}oS?ohtRgfoqvSnQ^bSc^Dyjkqyh4Q^a`vz<ySc^c¦cztikimzV`}onR"zjikimz4S?}h4f_suS`^0}_x¬Qojm^0|<zq0}_S2^0^bnoqb¡ztyS2^±jRd|Qikjmyjk`bS2^ztn

R"ztjkiizttSX}_S~}_htR"zjoS2^®}ohtVìkS$f5htq}!Scâ`noojk¥4Scztn}_S$tqvjm^-}oztQÔnooS$jR"ztS`bqvjk}_jRSQ^bjhtooScikiSt¦

Sc|<zt^v^bzt4`|QztqikS2Ôhtf_suS`v^}_h4VÒimz"^bnoqa¡z4ySXScâÀ}_x¬<ojkS~|<zqno]nQz4S$}oS~|<h4jkV`v^c¢

" ¿ 2 ¼ $# txcoxqz*`vjkh4}oSR"zjikimz4Sc^c¦QqvScyh4Q^a`bqvnQy`vjkh4D¦oxcyN<zV`bjikihtQQz4St¦oqz"oScRdScV`A}_Sg©S

imznQQzª\

(6)

- .

g#0&:"+r#

T_jkR|oijyjzti0RSc^bNoS2êzqvS~htoS,h(`bNoSgRdhVûè|5ht|QnoiztqeqvS|oqvSc^bSV`vz`bjhtQ^® h4qA^bnoqa¡z4yS2^¦o¥4htinoRSc^c¦<^vyztiztq

¬<Sim}o^zQ} ¥tScy`bh4q¬QSci}Q^¦Xjkz|Q|oikjmyz`bjhtQ^^bnQyNIz4^wXScht4qvzt|oNojmy0/°_ htqvR"z*`vjkh4´T]\_^a`bSR"^21Jw3/aT54¦

yhtR|on_`vSq~4qvzt|oNojmy^c¦0¥]jkqb`bn<ziqvSczijk`u\t¦0RS2}_jyczi?jR"z4jkoztQ}«¬Qojk`bS"SiSRSc4`dzQztik\_^bj^c¢#6eh*£®S¥4Sq2¦

yhtQ^a`bqvnQy`bjoe}_jm^byqbS`bSqvS|oqvSc^bSV`vz`bjhtQ^5ht_yhtV`bj]nohtn<^±htf_suS2y`^DyztXf5S?`vjkRSyhtQ^bnoRjkQQ¦2Sc^b|<S2yjmziik\

£NQS¨`vNoS4Sh4RdS`bqv\«ht`bNoShtfosuScy`dj^yhtR|oiS²±¢7/° `bNojm^yzt^bSt¦:RSc^bN§4SoScqvz`bjht¨f5ScyhtRSc^,`bNoS

|<ztyjo|oNQzt^bS,j`vNoSyhtR|ono`vz*`vjkh4Qzi:^bjkRgnoiz`bjhty\_yiSt¢{h4notNoi\^a|5Scztµ]jko<¦Q`vNoSdRdh4qbS,`bNoSnQ^bSq

jm^jk]¥th4ik¥4Sc}j`bNQS,RSc^bNtScoSqz*`vjkh4|oqvh]ySc^v^¦<`bNQS,ihto4Sqe`vNoS,imz*`b`bScqjm^¢X³e¶z|o|5Scztikjo!S²_ztR|oikS

jmê4jk¥4Sj98Wzª¥_4;:G¦<£NoSqvS$`bNoSgRSc^bN4SoScqvz`bjht`bjRSjmÂ^bNoh*£`bh!f5S=<Vg`vjkRS2^`bN<z*ÀqvSclVnojqbS2}

`vh«yhtR|on_`vS`vNoS^bhtin_`vjkh4D¢¨MONoj^gRh`vjk¥*z*`vSc^g`bNQS^bScztqvyN7 h4q, noii\4°zno`bhtR"z`bSc} RdS2^aNoG4SoScqvz`bjht

RS`bNoh_}o^c¦o£NojmyNjoNoScqbScV`bi\!qbS2lVnojkqvSX`bNoS~n<^aS$h:tn<zqzV`bScSc}]°lVnQzij¤`u\dRSc^bNojo!zith4qbjk`bNoR"^c¢

©Simzno<zª\dqvS¬<oSRSV`®j^-qbS2yh4toj¯S2}"zt^-htoSh±`bNQSRh4^a`-|5h*£®Sqb noiQ`vScyNoQjlVnoS2^? h4q-4SoScqvz`bjo

RS2âNoS2^~£jk`bN 4nQzqzV`bScSc}¶lVnQzij¤ù\4¢>/`gziikh*£e^~`bNoSnQâScq~`bhtS`dz¨Scz4â\¶yh44`vqbh4iht7`vNoS^bjk¯cSc^~ht

`vNoSRS2^aN ScikScRSV`v^c¦( htqdjkQ^a`vztQyS!`bNoqvhtno4N z?1¡|<hV^b^bjkfQik\¶ohtoGnoQj¤ h4qbR#4^bj¯jo¬QSci}±¢¶WhtqvSh*¥4Sq2¦

jk`~yht<û`vqbnQy`vÂRdS2âNQSc^£j¤`vN«z!4h]h]}tqzt}_joQ¦½zfQikS,`bhyht_ h4qbR `vhlVnojmyµVi\¥*zqv\Vjo^bj¯jo!¬QSci}Q^¢

MONQSX|Qjkh4oSScq®£®htqvµht©ASciztnoQzª\"qvS¬QQSRSV`j^O}_nQS`vh"{no|o|5Sqb`=8{eno|5@4A:G¦_£Noh|oqvht|5h4^bSc}z`u£®h

}ojkRS<âjhtQztiRS2âN4SoScqvz`bh4qe htq$}_h4Rztjk<Â£jk`bN«|ojkS2ySc£j^bS,ijkQSczqXf5htnoQ}QzqvjkS2^ztQ}yh4Qâ`bqzj4`^¢

prqbh*¥]jm}_Sc}§`bNQz`!`bNQSf<h4noQ}oztqbjSc^zQ} yh4Q^a`bqzj4`^"}_h¨oht`" htqvR zQtiSc^!^bR"ziikScq`bNQzt

π 3

¦{no|_

|5Sqb` Ôzith4qbjk`bNoR 4nQzqzV`bScSc^-z,ih*£-Scq-f5htnQQ}!h4!`bNQS$^bR"ziikS2û`zQtiSAj`vNoS$RdS2âN0¢CBQnoqb`bNoScqbRhtqvSt¦

`vNojm^!f5htnoQ} jm^!z4yNojkSc¥tS2}§f]\ zt}o}_jo zt z4^a\]R|_`vh`bjmyztiki\ h4|_`bjR"ziA]noRgf<Scq!h,TV`vSjoSq¥tSqb`bjmyS2^¢

z*`vSq$htD¦(T]NoS£OyN]noµjRd|Qqbh*¥4Sc}`vNoSNQzQ}oikjohO^aR"ziizo4ikS2^Xjk«`u£-h}_jRSQ^bjkh4Q^D8ËT]NoScV;:rz<}

4SoScqvztikj¯S2}`bNoSgRdS`bNoh_}`vh"`bNQS,RSc^bNojo!h`vNoqvSS°}_jRSQ^bjkh4Qzi}_htR"zjQ^A£j¤`vN|ojScySc£j^bSijkQSczq

f5htnQQ}ozqvjSc^>8ËT]NoS$@EA:¢ MONoSNQztQ}_ijko¨htX^bR"ziiAzo4ikS2^j^!Rdh4qbS|onQ¯¯ijo7jk `vNoqbScS}_jkRScQ^ajht<^¦

£NQSqvSX}_jNoS2}_qvzti±zo4ikS2^®ztQ}¡ztyS`ezo4ikS2^®yhtRSXjkV`bh|oimzª\t¢GF^ajog`bNoS$jm}_Sczdh(|oqvh`bS2y`vjko^b|oNoSqvSc^

ztqbh4noQ}^bNQztqb|gSc}_4Sc^c¦c¬<qv^a`(|Qqbh4|<hV^aS2}f]\

htNoSc_uTV`bScjkoScqS`?ziG¢8

UX+<H:¦

NoSQXztQ}p:h]ht 8

pr4¸H:

|Qqbh*¥]jm}_Sc}zA`bNQhtqvhtno4N_ noi]NQz<}_ikjoXh<^bR"zii]jko|Qn_`?zo4ikS2^0 h4qbRS2}f]\~f<h4noQ}oztqbjSc^(z<},yh4Q^a`bqzj4`^¢

NQSoXS`ziG¢8 ©X{e{e+<:]`bnoqvoS2}`vNoS®^vzRS®j}oSczjkV`bh$zX^ajR|oikScqzQ},|oqvz4y`vjycziVRdS2^aNQjko$zith4qbjk`bNQR¢

/°`bNoqvSS}_jRSQ^bjhtQzti^b|QztySt¦½©ASciztnoQzª\qbS¬QoScRdScV`jm^ztfoikS,`bh|oqbh_}_n<yS`vS`vqvztNoSc}_qziRSc^bNoSc^

£jk`bNzdno|o|5Sqf5htnQQ},h4,`vNoSOqvz4}_jnQ^uSc}otSrqz*`vjkhV^0htQ`vNoSO`bS`bqzNoS2}_qvzQ¦ª£NoSqvS®`bNoSOqzt}_jnQ^aGS2}_tS-qvz`bjh

htoz®`bS`vqvztNoSc}oqbh4Xjm^±`vNoSrqz*`vjkhf5S`u£®SSc~j¤`^0yjkqynoRqzt}_jnQ^DztQ}X`bNQS?ikSco`vN~h_jk`v^0^bNoh4qa`vSc^a`0Sc}_4St¢0MONQj^

ScikjRjk<z*`bS2Ô qvhtR`bNoSRS2âNztikiDµ]jQ}oÂh?}_S4SoScqvz`bSX`bS`bqzNoS2}_qzo¦oS²_yS|_À`bNoSh4oScÂyziiSc}IJH&,¢

³ ^bikj¥tScqyztf5S!}_Sc^vyqvjkf5Sc}¶zt^~z`vS`bqzNQSc}_qvht htqvRdS2}f]\ h4noq~¥tScqa`vjySc^$yih4^bSd`bh`bNoS"S2lVnQz*`vhtqvjzti

yjkqyiS"hz^b|oNoScqbS!ztQ}¶qbh4notNoi\S2l4n<ziik\¶^a|Qz4yS2}«h47`bNojm^,yjkqyiSt¢ NoSQS`gztiJ¢K8 ©ML

+4A:G¦:z<}

imz*`vSq~h4 NQSoztQ}«©S\N8 ©V;:G¦(|oqvht|5h4^bSc}`bhS²_nQ}oS!^aijk¥4Sq^X qbh4R `vNoS"RSc^bN¶f]\`bnoqvojo`bNoS

©SimznQQzª\!`vqbjmzo4noimz*`bjhtj4`vhz£®SjtNV`bS2}©SimznQQzª\!`vqbjmzo4noimz*`bjht£jk`bNyczqvS noiik\V°yNoh4^bS^aR"ztiki

£®SjtNV`^z|o|oijSc}d`bh$`vNoSe¥4Sqb`bjmySc^c¢ DjQztQ}M0Sco#8_Mo:Q|Qqbh4|<hV^aS2},`vhzª¥th4j}d^aij¥tSq^:f]\gqvSimz*²_joX`bNoS

yNQhtjmySXhqvS¬<oSRSVÒ¥tScqa`vjySc^®jk<âjm}_S~âR"ztikiDztqbS2zt^®zqvhtnoQ}!`bNoS~yjkqynoR"ySV`bScqv^®h`bNoS$ScikScRdScV`v^®`bh

f5S~qvS¬QoS2}±¢

MONoSgR"zj}_qvzª£f<ztyµ!ht`bNoSdzf5h*¥tS$`bS2yNoojmlVnoScÂjê`bNQzÀ`bNQS\}_Sczti0S²oyiknQ^bj¥tSi\£j¤`vN}_htR"ztjkQ^

£jk`bN"|QjkS2yS£jm^bSeikjoS2zq?f5htno<}ozqvjkS2^¦t£NoSqvScz4^jk"R"ztV\dz|o|Qikjmyz`bjhtQ^c¦th4f_suScy`v^NQzª¥4Seynoqv¥tS2}df<h4noQ}]

ztqbjSc^c¢O/°«^bnQyN«zt|o|oijycz*`vjkh4Q^¦5`vjkRSj^$^b|<ScV`$}_jm^vyqvS`bj¯jo`bNoSdf5htnoQ}Qzqv\

B ht?`bNoSh4f_suScy`j4`vhz

|5hti\]NoSc}oqbh4

P¦tf5S h4qbS®`vNoSjkV`vSqvjkh4q(htQ`vNoShtf_suS2y`ryczdf<Se^vzR|oiSc}±¢(MONoS0¦`bNQShtqvjk4jkQzti]f<h4noQ}oztqb\

(7)

Bjm^}_qvht|o|5Sc}dzª£®zª\~ztQ},qvS|Qiz4ySc},f]\j¤`^}_jm^byqbS`bj¯Sc},¥tScqv^bjkh4D¦

P¢ dhtQS-NQztQ}±¦RS2^aNtScoSqz*`vjkh4

ztik4htqvj¤`vNoR"^0f<zt^bSc}ghtzt}_¥*z<yjoA qvhtV`RS`vNoh_}o^ 8BwO@tH:G¦Vzt^(£-Scikioz4^:^ah4RdS©Simzno<zª\~qbS¬QoSRSc4`

`vScyNoQjlVnoS2^¦DijµtSd`bNoS"nQoj¤`S2}_tSRSc^bNoScq~hO8wO6XT@t_¦(wO6T@Q:G¦(yh4Q^u`vqbn<y`~RSc^bNoSc^X`vNQz*`,yht_ h4qbR

^a`bqvjmy`bi\`vh`vNoS!}_jm^byqbS`bj¯Sc}f<h4noQ}oztqb\

P¢«`bNoSht`bNoScq~NQzQ}D¦0{no|o|5Sqb`aijkµ4SgRS`vNoh_}o^8ËT]NoS;@+EA:

qvS¬<oS~`bNQS,f5htnoQ}Qzqv\RSc^bNO£NoSQS¥tScqAz"|5htjV`X^bNohtnoim}f5S,jQ^aScqa`vSc}h4

B¦5j¤`Xj^Ajk¡z4y`AjQ^bSqb`bS2}

h4 P^¢ 6Ah*£-Sc¥tSq2¦0j¨f5h`bN yczt^bSc^c¦D`vNoSlVnQzijk`u\hO`vNoS!qvSc^bnoi¤`vjkQRdS2^aN¨ztQ}¶`bNoSztyynoqzty\hO`bNoS f5htnQQ}ozqv\zt|o|oqvhª²]jR"z*`vjkh4}_S|5S<}NQjk4Noik\ht`bNoS~jojk`bjmzi0^bnoqb¡ztySRSc^bN

P^¢

T]Sc¥tScqvztiDRS`bNQh]}QêNQzª¥4S~f<ScS|oqvht|5h4^bSc} htqRSc^bNojkQ"ù£-ht}ojkRS<âjhtQzti±htq`vNoqvSS°}_jRSQ^bjkh4Qzi

}ohtR"zjQ^d£j¤`vN ynoqv¥tS2} f5htnoQ}QzqvjkS2^¢ WhV^u`"h`bNoScR }_S2zih4oik\¨£jk`bN ^b|<S2yjk¬<y`u\]|<S2^"hXf<h4noQ}]

ztqbjSc^D1¡|QzqzRS`vqbjmy¦0jkR|oijyj¤`S`vyt¢4 8ËTFAQ:¦0h4q$`bNoSc\^ajR|oi\«yh4RSd£jk`bN7oh4nQzqzV`bScSgqvSVzq}_jo

`vNoS`bh4|<h4ikh4t\¨ht`vNoShtno|Qn_`"RdS2^aN0¦®h4qd`bNoSlVnQztikjk`u\ h$jk`v^"ScikScRdScV`v^c¦-h4qdSc¥tSc§`vNoS`bScqbRjQz*`vjkh4

ht-`vNoS!|oqvh_yS2^b^8©$T@+@_¦wO@t]¦(³ TVUX©X4H:G¢oS"oht`bjmyS2zfoiS"S²oySc|_`bjht7jm^#8$w$4$:¦(£NQSqvS

`vNoS,ztik4htqvj¤`vNoR jmÂzfQikS$`vh"NQzQ}oikS,zt]\!ù£®h°}_jkRScQâjht<ziD}_h4Rztjkf5htno<}_Sc}f]\|QjkS2yS£jm^bSâRh]h`vN

ynoqv¥tSc^c¦tht0z]\gù\V|5St¦]|oqvh*¥]j}oSc}g`bNQzÒz,âR"zii5VnQR,f5SqrhtDtSchtRS`vqbjmyelVnQzV`vj¤`vjkS2^ryzt!f5SAScâ`bjR"z*`vSc}±¦

^bnQyN z4^$`bNoSynoqv¥*z*`vnoqbS"htAztj¥tSc¨ynoqv¥tS!z`gztj¥tSc¨|<h4jkV`,h4q`vNoS"`bht`vztir¥*zqvjz`bjht7h`vNoS!noQj¤`

`zo4SVÒ¥tScy`bh4q®f5Sù£®SScù£®hd|<h4jkV`vÔh4zgtj¥tScynoqb¥4St¢MONoS$|oqvhtfoiSR£j¤`vN`vNojÔRS`bNoh_}j^®`vNQz*`

jk`~j^,}_Sc^bjk4oSc}S²oyinQ^bjk¥4Si\ htq$`vNoSù£-ht}ojkRS<âjhtQzti(yczt^bSt¢WhtqvSh*¥4Sq2¦<S2û`vjkR"z`bjo`bNoS"qvSclVnojqbS2}

4Sh4RdS`bqvjyXlVnQzV`vj¤`vjkS2^yzf5S$`bjRdSyhtQ^bnoRjohtyScqa`zj`u\]|5Sc^OhynQqb¥4Sc^c¢

/°`vNoj^?|Qz|5Sq2¦t£®SO`vztµtSezt}o¥ªztV`vz4S-ht±qbS2ySV`qvSc^bnoi¤`^htd`vNoS qvhtV`?h±âRh]h`vN"ânoqb¡ztySORdS2âNQjko

ztQ}z|o|Qqbhª²_jRz`bjhtgnQ^ajo©Simzno<zª\,qvS¬QoScRSV` 8XV$:G¦t`bhfonQjkim}zX noiki\Vztn_`bh4R"z*`bS2}zithtqvjk`bNoR

`vNQz*`ycz RSc^bN `bNoqvSS}_jRSQ^bjhtQztie}_htR"zjQ^f5htno<}_Sc} f]\§^bRhVht`bN ^bnoqa¡z4yS2^¢IT_|<S2yjk¬<yztiki\t¦®£-S

yhtRgfojkQS~`bNoSg^anoqb¡ztyS~RSc^bNoSqh 8XV;:£jk`bNz{no|o|5Sqb`aikjµtS,¥thtinoRS~RSc^bNoSq2¦o`vh!tS`z"4qbScSc}_\

©SimznQQzª\VGfQz4^aS2}§ztik4htqvj¤`vNoR `bNQz`^bztR|oikS2^g`bNoSjV`bSqvjhtq!z<} `vNoSf<h4noQ}oztqb\§hA`vNoS}_h4Rztjk z*`

`vNoS!^vzRS`bjRSt¢³ oh`vjySczfQikS S2z*`bnQqbS"ht-`vNoj^gzith4qbjk`bNoRZj^$`vNQz*`,`bNoS!f5htnQQ}ozqv\ht®`vNoS"htfosuScy`

N<zt^X`bhf5S!µ]oh*£h4oi\`bNQqbh4notN7z¶htqztyikSg`bNQz`,yzt¶ztQâ£®SqXù£®hâjR|oikS"4Sh4RdS`bqvjylVnoS2û`vjkh4Q^

£NQS`bNQSqOz~tj¥tSc!|<h4jkV`®ikjSc^-jk<^ajm}_Se`vNoSAh4f_suScy`c¦_z<}"£NoS`vNoSqOz~4jk¥4S!ijkQS^bStRSc4`-jkV`bScqv^bScy`v^r`bNoS

f5htnQQ}ozqv\t¢gMONoj^$R"ztµtSc^A`bNQSztik4htqvj¤`vNoR tScoSqvjmySQhtno4N`bhf5S"z|o|oijSc}`bhhtf_suS2y`v^X£jk`bN¨z£j}_S

¥*ztqbjSù\¨htf5htnoQ}Qzqv\7ù\V|5Sc^c¦-^bnQyN zt^jRd|Qikjmyjk`!ânoqb¡ztySc^c¦riS¥4Sik^bS`^,j ¸4© tqvS\V°^bycziSc}¨jR"ztS2^¦

|5htjVà°âS`!ânoqb¡ztySc^c¦rS`vy¢

h4QyScqbQjko74nQzqzV`bScSc^c¦?htnQq!zithtqvjk`bNoR `vSqvRdjQz`bSc^"ztQ} yh4Q^u`vqbn<y`v^

4h]h]}_lVnQztikjkù\"RSc^bNoSc^® h4qA}_htR"ztjkQÔ£NQh4^bSXf5htnQQ}ozqvjSc^zqvS1 ohtèoScySc^v^bztqbji\!yhtQoScy`bSc}4OâRh]h`vN

^bnoqb¡ztySc^c¢AMONoSg^bj¯Sc^h`vNoS,RS2^aNScikScRSV`v^XzqvS,yh4V`bqvhtiikS2}`bNoqvhtno4Nz!nQ^bSqb°}_S¬QQSc}^bjk¯cjko¬QSim}±¢

WhtqvSh*¥tScqc¦5`vNoS!ztycynoqzty\hr`vNoS!z|Q|oqbhª²_jR"z*`bjht«h®`bNoS"h4qbjtjQzti(f5htnQQ}ozqv\jm^~tnQztqvztV`bSS2}±¦Dz<}

`vNoS^bjk¯cSXht0`vNoS~htn_`v|on_ÀRS2âNjêf<h4noQ}_S2}±¢

MONoSd|Qzt|<ScqAjm^h4qbVzoj¯S2}ztÂ htiikh*£e^c¢T]S2y`bjht7qvScyztikimÂz! S£ µ]oh*£¡z4y`^Xztf<h4n_`qvScâ`bqvjmy`bS2}

©SimznQQzª\X`bqvjztotnoimz*`vjkh4Q^(zQ}d^anQqa¡z4yS-zt|o|oqvhª²_jkR"z*`vjkh4D¢T]S2y`vjkh4d¸X}_Sc^vyqvjf<S2^0`vNoSOR"zjgzith4qbjk`bNQR¢

T_Scy`vjkh4 <}_Sczti^£j¤`vN`vNoSdz4yynoqvz4y\h?`vNoSdzt|o|oqvhª²_jkR"z*`vjkh4h`vNoSgh4f_suScy`f]\`bNQSgh4n_`b|ono`XRSc^bND¢

/°¨T]S2y`bjht7_¦±£®S|oqbh*¥4S`vNQz*`$`bNQSdRS2^aNojozith4qbjk`bNoR `vSqvRdjQz`bSc^c¦0ztQ}£®Sgf5htnQQ}`vNoS]noR,f5Sq

htA¥tScqa`vjySc^ghe`vNoShtn_`v|on_`"RSc^bND¢·T]S2y`vjkh4·¶zt}o}_qvSc^v^bSc^~`vNoS|oqzty`vjyczij¤`u\7hte`bNoSztik4htqvj¤`vNoR!j¤`

4jk¥4Sc^®âh4RS$}oS`vztjkimÔzf5htn_Ò`vNoS~yNohtjmySXh`bNoS~^bjk¯cjkog¬QSci}zQ}jkÒS²_|oiztjk<^-NQh*£ `bhdqvSRh*¥tSXâijk¥4Sq^¢

B(jQzii\t¦QT]S2y`bjht,|oqvh*¥]j}_S2^Oz, Sc£IS²ozR|oiSc^z<}S²]|5SqvjRdScV`vzi±qvSc^bnoik`v^c¢

(8)

&( )~& #

/°`vNoS,^bSclVnoSiG¦

O }oSoht`bSc^Azf<htnQQ}_Sc}h4|<Sc^bnofQ^bS`h(`bNoS L?n<yij}_S2z^b|QztyS

R³^¦5zQ} O¯}_Scoh`vSc^

`vNoS"`vht|5htihttjmyzti?yih4^bnoqvS"h

O^¢¶Syztiki ∂O `bNoSf<h4noQ}oztqb\«h

O¦z<}«£®Sz4^b^bnoRS`bNQz`

∂O ^{jm^}

C^1,1^¦ ?`bNQz`ej¤`^oh4qbR"zi½¥4Scy`vhtqO¬QSci}jm^£-Scikik°}_S¬QQSc}zQ}«Dj|Q^vyNoj¤`v¯t¢

º ¡¿

• eRSc}_jmzi±z*²_jm^

M ^' ∂O Ô%5O% ^5H ^*,) ^* Â&= ^'3%5O ^% ^' ^5%Ô^' R³ ^%5)H%G ^)HJH

)% ,)A% % > )&,% A ,&,#

∂O JH&!5H 5%O '

M ^%( ^*, ^5%^& ') ?5 ,)G%5)H%

) )H& %!O *, 2)D %( = % ' " 2,)= * 5+,

R³\∂O^M"5*, ⁾ ^,)H

*,), )RdS2}_jmzi±fQztiki#

• ^$ ^JH ^>) ^5% x∈R³^% O*,)HV}_j^a`vztQyS®`vh$`bNoSRSc}ojztioz*²_j^z`

x^% ^&MM(x)^% ^%5 ^5*^,)H

% ) *, ',&H

x ^% M

/`Xj^£-ScikikµVQh*£I8BoS2} *H:`vNQz*`2¦5^bjk<yS

∂O ^{jm^} C^1,1¦Q`vNoS,j_¬QRgnoR h?}

M

h*¥tScq

∂O jm^e|5h4^bj¤`vjk¥4St¢

MONQj^jko¬QR,noR jm^ycziikS2}`bNoS &,)+*,"ht

∂O¢AMONoSdyimzt^vêhtrânoqb¡ztySc^£jk`bN|<hVâjk`bj¥tSgqbS2ztyNNQzt^f5SS

jV`bScQâj¥tScik\â`bn<}_jkS2},jd`bNoSOqvScySV`(\4Scztqv^c¦zQ},`bNQSO}ojâ`vztQyS®`bhX`vNoSORdS2}_jmzioz*²_jm^(£®z4^n<âS2}`vh$}oS¬QoS

zdoht`bjhth ;;$^bztRd|QikS4¦QyztikiSc}

ε^vzR|oiS 8³ @@A:

º ¡¿&(' %

P ^,#)*) ^5% ^%3^{'+5H 5%} P ⁾ ε^,^)- ^' ∂O ^' ^%M ^*5,0

∂O ^{)H #}^' ∀x∈∂O^% (x,P)≤ε M(x)

º

¡¿/.0' %

P ^, ^)-) ^5% ^% ^'1 ^5%

• -2htqvhtoh4j5ySiiK '

p∈ P ^3%5O ^% ^' ^{)H5H %}⁼^' R³ ^%( ^)%K)H& ^*^A ^&O% p ^{%5)H 0%}^{)H !}

%5&

p⁰∈ P

• 32htqvhtQhtj0}_jmz4qvztR '

P^% V(P)^% ^=%( ^*, )H&D*,H4 'H&,>! %5H& H *,

'O%55H % '

P

/`®j^-£-Sciki5µ]oh*£`bN<z*`c¦VjkD`bNoS|<h4jkV`^?h

P ztqbSej!4SoScqvztiQ|5h4^bj¤`vjkh4D¦t`vNoS!`bNoSX}_nQzi½yh4R|oikS²dht

V(P)j^Oz,`bS`bqzNoS2}_qbj¯cz`bjht"htD`bNoS~yht]¥tS²N]noii½h

P¦_ycziikS2}"`bNQS65 )H )!D%&) +)H%H 01

D(P)

h4q~âNoh4qa`4¢dMONoSgRS2âNojoâ`bqz*`bSct\}_S2^byqbjf<S2}j`vNojm^$|Qz|5Sq~qvSijkS2Âh4¶z^bnof5yhtR|oiS²ht

D(P)^¦

}oS¬QoS2}f<Scikh*£~¢

º ¡¿879' %

P ^, ^)-) ^5%^{5H %} ^%!

• ^:5 ^)H ^)H!3%^&^{) +}^)H%^H ^' P qvSc^a`bqvjmy`bS2}X`bh

O^% ^H& D_|O(P)^'H&K ^5H&%^% ^%( ^5,*,H4

'

D(P)^'H&, ^!#%5 ^% ^%^&); ^,H&); ^H 5)HH& HGJH &%*,O

O

• ⁵ ^{) )H!} ^%^&^{)H +}^)% ^' P qvSc^a`bqvjmy`bS2}`bh

∂O^% ^& D_|∂O(P)^'& ^5H&%^% ^%( ^D5 ^,

*,- <> '

D(P)^'H& ^!%5=% ^&^)H^* ^HD5)H ^&H ^H ^, ^{= 5%} ^&, ^,*% ∂O

wXj¥tSc7z¡z4yS`

f ^ht D|∂O(P) z<}7j¤`^}_nQzti:2htqvhtoh4jSc}_4S

e¦Sc¥tSqv\|5htjV`,h

e∩∂O ^{jm^~`vNoS}

ySV`bScq-htzht|5Sf<zii½yhtV`vztjkQjkogoh,|5htjV`®ht

P¦_zQ}£Noh4^bSAf5htnQQ}_jod^b|oNoScqbS|Qzt^v^bSc^r`bNoqvhtno4N

`vNoS~¥tScqa`vjySc^®h

f¢MONojm^fQzii±jm^eyztikiSc}z ,&(')*,+5 )H )! ,)H '

P^¢

MONoSR"zj§jm}_Scz«hhtnoq"zith4qbjk`bNQR jm^g`bh¶^bztRd|QikS

O ^zQ} ∂O 4qbScSc}_jik\¨ztQ}§^bjkRgnoik`vzQShtn<^ai\t¦

n<^ajo

D|O(P) ^zQ} D|∂O(P) `vh!}_qbj¥tS$`vNoS,yNoh4jyS$h:`bNoS,oS²]À|5htjV``bh!jQ^bSqb`c¢-MONQShtn_`v|on_Àjmêz

|5htjVèâSè£Noh4^bS$qbS2û`vqbjmy`vjkh4!`bh

∂O^{jm^z} ^$H ε^, ^)H4^Oh ∂O ⁸^XV;:

(9)

º ¡¿(' %

P ^, ⁾⁾ ^5% ^{5H 5%} ^% ^% ^)H ε ^, ^)45A%^JH ^JA)5 P )~ikh]h4^bS

ε°^bztR|oikS '

∂O ^' ^%( ^K'H ^{G 0*,H} ^H%^{H 55H}

- P ⊂∂O

1 D|∂O(P) ^)HOJH ^&%^{*,= I} ^JA ^&! ^{*,H ,*%} ^, ^*,H45H ^5% ^' ∂O

. %5 *, 5% &

c ^' )H !D&(')+*,+5 )H )H! ,)HC'

P ^*^H ^& ^% P ^%( ^)H ε M(c)

Ah`bjmyS`bN<z*`

ε^vzR|oiSc^g¥tScqbjk \¨³A^v^aScqa`vjkh4Q^ rztQ} ¸o¢ Wh4qbSch*¥tScqc¦:jk

ε < 0.1^¦`bNoSc ^{(jm^}

¥4Sqvj¤¬<Sc}zt^A£-ScikiG¦½f]\MONoSchtqvSR "ht 8³ @@A:¢/`A h4ikih*£e^`vNQz*`$z]\

ε^vzR|oiSjm^Az!ih]h4^bS

ε^vzR|oiSt¦

h4q

ε <0.1^¢ ^{0h]h4^bS} ε°^bztR|oikS2^®S*suh*\!R"ztV\|oqbh4|<Scqa`vjkS2^O8X4$:¦o£NojmyN£®S~^anoRR"zqvj¯S$f<Scikh*£

º]¿ º '

P >)ihVhV^aS

ε°^vzR|oiS9 '

∂O^% ^G% ε ≤ 0.09^% ^%( D_|∂O(P) ^>)9* ^A ^,

2^,^{D) 5}^'^>)H ^5% ^H% ^*D% ∂O^% ^)H% ^)H ^+& ^,%^)H ^*, O(ε²)^',& ∂O^% ^{) %}^{= H&)H}

)" & )H% %( &D) '

∂O ^{G% N) N} &&H& '

O(ε)7&,HJH&

% ∂O *,HJH&,I!%5

&(')*35 ) )! ) '

P^% ⁾ P ⁾ ε(1 + 8.5ε)^, ^)- ^' ∂O

³AR,fojSV`j^bh`vht|]\"zQ} 6AztnQ^b}ohtqzt|o|oqvhª²_jkR"z*`vjkh4!zqvSRhVûÒjkV`vSqvScâ`bjo, h4q-h4noqO|oqvhtfoiSR¢³A^

h4qOohtqvR"zi½zQ}ynoqv¥*z*`vnoqbS$z|Q|oqbhª²_jR"z*`bjht<^¦t`bNoSc\zqvSn<^aS noi±jkzii±z|o|Qikjmyz`bjhtQ^®£NoScqbS`bNoS$nQ^bSq

£OzV`^r`vh"Sc^a`bjR"z*`bS~}_j½SqvSV`bjmzi0lVnQztV`bjk`bjSc^Oht^bnoqa¡z4yS2^¢

) ),~&:#

MONQS®ztik4htqvj¤`vNoR `zµ4Sc^(zt^jko|Qn_``vNoSO}_htR"zj

O`bhXf5S-RSc^bNoS2}±¦zA^bjk¯cjkQe¬QSci}

σ¦tzQ}`u£-h|QzqzRS`bSq

¥*ztiknoS2^

α^zQ} B¢:MONoSA}ohtR"zj"j^rµ]oh*£d`bNoqvhtno4N"z"htqztyikS®`vNQz*`-ycz`vSiiQ£NoS`bNoScq-z~4jk¥4S|<h4jkV`

ijSc^"jQ^bj}_S

O htq!h4n_`v^bj}oSt¢ MONoSh4qvz4yiSycz zim^ah¨}_S`bS2y`£NoS`bNoScq!z7tj¥tSc ^bS4RdScV`!jkV`bScqv^bScy`v^

∂O ztQ}±¦:j7`bNoSz"qbR"z`bj¥tSt¦(qvS`bnQqb¨zii?`vNoS|5htjV`v^,hjkV`vSq^aS2y`bjht 1¡£NojyN·zqvS¬Qojk`bSi\¶Rzt]\t¦

4SoScqbjmyztiki\ 4¢(MONoSA^bjk¯cjko$¬<Sim}j^-z$|<hV^ajk`bj¥tSO no<y`bjht

σ: ¯O →R⁺ }_S¬QQSc}h*¥tScq

O¯ztQ}"zt^v^anQRdS2}

`vhf<S"0jk|Q^vyNojk`b¯4¢

MONQSzith4qbjk`bNQR ¬Qqâ`-yh4Qû`vqbn<y`v^®z"jojk`bjmzi½|5htj4ÒâS`

Pi⊂∂O`bNQz`-jm^-z

1 3

°^b|Qzq^aS

0.09°^bztRd|QikSht

∂O¦_`bNQz`j^

∀x∈∂O^¦Q} (x,Pi)≤0.09^} M(x)

∀p∈ Pi

¦Q}

(p,Pi\ {p})≥0.03^} M(p)^¢

MONoSdyh4Qû`vqbn<y`bjhtht?ânQyNz!|<h4jkV`X^bS`Xj^}_Sc^vyqvjf<S2}S²]`bScQâj¥tScik\j 8XV$:G¦<`bN]nQ^£-Sgâµ]j|j¤`

NQSqvSt¢ QyS

Pi

j^OfQnojkik`c¦o`bNoSztik4htqvj¤`vNoR yh4Q^u`vqbn<y`v^

P j¤`vSqz*`vjk¥4Si\t¦_^u`zqb`bjo£j¤`vN

P=Pi

ztQ}j_

^bSqb`bjoXhtoS®|5htj4`j

P |<Scq(jk`bScqvz`bjhtD¢ /°,`vNoSORSczV`vjkRSt¦`bNoSOqvSc^a`bqvjy`bSc}g©ASciztnoQzª\$`vqbjmzo4noimz*`bjht<^

D|O(P)^z<} D|∂O(P)zqvSXRztjkV`zjoSc}±¦_n<^ajod`bNoS~h4qvz4yiSt¢

³®`ScztyN jk`bScqvz`bjhtD¦h4oSScikScRdScV`h~`vNoSRSc^bN 1¡z ¡ztyS`ht

D|∂O(P) h4qz7`vS`vqvztNoSc}_qvht ht

D|O(P)4j^AqbS¬QoSc}D¢-Mh!qbS¬QoSzd`vS`bqzNQSc}_qvhtD¦o`bNoS,ztik4htqvj¤`vNoR jQ^bSqb`v^jk`v^yjqvynoR"ySV`vSqj

P^¢®³

¡z4yS`

f ^ht D|∂O(P)R"zª\f<S~yjqynoR"^vyqvjkf5Sc}"f]\!^bS¥4Sqzi<^bnoqb¡ztyS©SimznoQzª\fQztikim^c¢:MON]nQ^c¦V`bhdqbS¬QoS

f¦]`vNoSzith4qbjk`bNQR jkQ^bSqb`v^Oj

P `bNoSySV`bScqh`bNoS^bnoqb¡ztyS~©Simzno<zª\"fQzii

B(c, r) yjqynoR"^vyqvjkfojo

f £j¤`vN«imzqvtS2^u`$qvz`bjh

r/σ(c)¢"MONoS"yNohtjmySdhr`bNoS"oS²]`XScikScRdScV`X`vhf<SqvS¬QoS2}jm^~}_qvjk¥4Sf]\`vNoS

h4ikih*£jogqvnoiSc^c¦oyh4Q^ajm}_ScqbS2}j`bNojm^Ohtq}_Sq

(10)

j¤zg¡ztyS`

f ^ht D_|∂O(P)}ohVS2^oht`ON<zª¥tS$j¤`^®`bNoqvSS~¥4Sqb`bjmyS2^-h4

∂O¦_`bNoScqbS¬QoS

f

j¤:z,¡z4yS`

f ^h D_|∂O(P)NQz4^z^anoqb¡ztySX©SimznQQzª\!fQztiki

B(c, r)£jk`bNqz*`bjh

r/σ(c)> α^¦]`vNoS

qbS¬QoS

f

.Ij¤gz§`bS`bqzNoS2}_qvht

t ^ht D|O(P) N<zt^z·yjkqynoRqzt}_jnQ^tqvScz`bSq`bNQzt

σ(c)^¦$£NoSqvS c ^{jm^`vNoS}

yjqvynoR"ySc4`vSqdh

t^¦?h4q,jk t NQz4^gzqvz4}_jnQ^uSc}otS"qz*`bjh4qbS2z*`vSq~`vNQz

B¦:`bNoSc·yhtQ^bj}oSqg`bNoS yjqvynoR"ySc4`vSq

c^h t

. j¤

c j^eoh`jQyinQ}_S2}jz]\^bnoqb¡ztyS$©SimznoQzª\fQziiJ¦o`bNoScjQ^bSqb`

c ^j P

. / Sim^aS4¦ojQ^aScqa`j

P `bNQSySV`vSqh(htoS^bnoqb¡ztySX©Simzno<zª\!fQziiDyh4V`vzjojo

c^¢

MONoSXzith4qbjk`bNoR`bScqbRjQz*`vSc^r£NoS`bNoSA`bqvjk4tSqvjoyh4Q}_jk`bjhtQ^rh0{noiSc^®{~4¦V{A,zQ}{e¸zqvSeoh

ihtQtSqXRS`2¢ FA|<h4«`vSqvRjkQz`bjhtD¦±Sc¥tScqb\¡z4yS`~ht

D|∂O(P) NQz4^Xj¤`^X`bNoqvSS¥tScqa`vjySc^Xht

∂O ^1J{noiS

{;4eztQ}Sc¥tSqv\^anoqb¡ztyS,©SimznoQzª\fQztiki

B(c, r) N<zt^Azqvz4}_jnQ^

r≤α σ(c) 1J{noiSg{A4¢$WhtqvSh*¥4Sq 1J{noiS~{e¸4¦oS¥4Sqv\g`vS`vqvztNoSc}_qvht

t^ht D_|O(P)NQzt^OzyjqvynoRqvz4}_jnQ^

r≤min{σ(c), B l_min}^¦_£NQSqvS c jm^O`bNoSyjkqynQRySV`bScqOh

t^ztQ} lmin

jm^®`bNQS~ikSco`vNht0`vNoS^aNQhtqb`bSc^a`Sc}_4S$h

t^¢

&(!)$#, )+®+®&:)+-

/°`bNojm^:^aS2y`bjht0¦2£®S-z4^b^bnoRS`vNQz*`(`bNoS®zith4qbjk`bNoRI`bScqbRjQz*`vSc^c¢MSqvRjkQz`bjhtjm^(}_j^vyn<^b^bSc}~jgT]S2y`vjkh4

_¦o£NojmyNnQ^bSc^^bS¥4Sqzi½qvSc^bnoi¤`^^u`z*`vSc}NoSqvSt¢GBoqvhtRoh*£ h4D¦

P_i }oSoht`bSc^®`vNoS~joj¤`vjzti±|<h4jkV`A^bS`ez<}

P `bNoS~h4n_`b|Qn_`e|<h4jkV`A^bS`2¢ DS`

P_|∂O=P ∩∂O^¢

T]jQyS

P_i ^{j^"z} 0.09^vzR|oiS!h

∂O^¦ P_|∂O jm^zim^ah¶z

0.09°^bztRd|QikS!ht

∂O¦®^ajQySoh¶|5htj4`"jm^

}oSiS`bS2}«}onoqbjo`bNoS"yh4noq^aSdh?`vNoS"zith4qbjk`bNoR¢MON]nQ^c¦

D_|∂O(P_|∂O) jm^$zyikhV^aS2}«*GR"zQj¤ h4i}£jk`bN

`vNoS,^vzRS~`vht|5htihtt\`u\]|<Sdzt^

∂O¦5f]\MONQShtqvSR o¢_¢eMONQSqvS htqvSt¦o`bh!NQzª¥4S$`bh4|<h4ikh4tjmyzi0tnQztqvzt4`vSS2^

h4!`vNoS$htn_`v|on_`hD`vNoS~zith4qbjk`bNoR¦Vj¤`e^bn !yS2^r`vh|oqbh*¥4S`bN<z*`O`bNoS$f5htno<}ozqv\h

D_|O(P)j^®S2l4n<zi5`bh

D|∂O(P|∂O)^¢

MONoScqbS$S²]jmâ`v^z"â`bqvhtodqbSciz`bjhtQ^bNoj|f5Sù£®SSc`vNoS~f5htnoQ}Qzqv\!h

D|O(P)^ztQ} D|∂O(P)

-º 7

9,H +)H&! '

D|O(P) ²⁾ ^5,*,H4 ^' D|∂O(P) ^H&,JA ^& ^% ^'2JH&!

,$# ' %( 9H& H)$&)H

V(P) ^% ^&, ^* ^% ∂O ^)% ^{DH%H *,} ^% ^)H ^% ^&) ^JA ^&, ^)H! ^% ^%( ^9%5

, +)&! '

D|O(P) ^5)H ^% D|∂O(P)

¿D¿T]jk<yS

¡z4yS`v^c¢ DS`

f f5Sz¡z4yS`:h_`vNoS®f<h4noQ}oztqb\$h

`vS`vqvztNoSc}_qzo¦0htoShO£NojmyN7NQzt^$jk`v^g}_nQzi 2h4qbh4ohtj¥4Sqb`bS²jk<^ajm}_S

O¦(£NoScqbS2zt^`bNoSh`bNQSq~htQS"NQzt^

jk`v^O}_n<zi 2htqvhtoh4j<¥4Sqb`bS²h4n_`v^bjm}_S

O¢C/`® h4ikih*£e^r`bNQz`-`vNoS62htqvhtoh4jQSc}otS$}_nQzi5`vh

f jV`bSq^bScy`^

∂O^¦

£NQjyNRScz<^®`bNQz`

f ∈ D_|∂O(P)^¢

0S`nQ^,Qh*£ zt^v^anoRS`bNQz`dSc¥tSqv\¶Sc}_4Sh

V(P) jkV`vSq^aS2y`v^

∂O z`gRh4^a`gh4QyS4¢ DS`

f ^f<Sz

¡z4yS`Ah

D|∂O(P)¢®\}_S¬Qojk`bjhtD¦<`bNQS 2htqvhtoh4jDSc}otS,}_n<ziD`vh

f jkV`vSq^aS2y`v^

∂O¢AT]jQyS~`vNojm^eSc}otS jV`bScqv^bScy`v^

∂O htQik\htQySt¦oh4oS~hjk`v^¥4Sqb`bjmySc^eikjSc^jQ^bj}oS

O £NoScqbS2zt^®`bNQSh`vNoSqeh4oS#1 £NojmyNR"zª\

f5S,z`ejk_¬<oj¤`u\ 4eikjSc^h4n_`v^bjm}_S

O^¢ /`e h4ikih*£e^¦QfV\}_S¬Qojk`bjhth

(11)

`vS`vqvztNoSc}_qz~jQyjm}_Sc4`®`bh

f f<Scikh4o4^r`bh

D_|O(P)¦]£NojikS`bNoSXh`vNoSq®htQS}_h]Sc^-oht`c¢G6eScQyS4¦

f f<Scikh4o4^

`vhd`bNoS~f5htno<}ozqv\!h

D_|O(P)^¢

/°htnQqeyzt^bSt¦

D_|∂O(P) j^O|QqbS2yjm^aScik\"`vNoS~f5htnoQ}Qzqv\!h

D_|O(P)¦Q}_noS$`vh`bNoSX h4ikih*£jkQdqvSc^bnoik`

-º 7 /9 JH&! , D '

V(P) ^% ^&, ^,*% ∂O ^)H% ^DH,% ^H ^* ^% ^)H ^#%^&) ^JA ^&, ^)H!

¿D¿Z³ARhto`vNoSSc}otSc^eh

¥4Sqb`bjmyS2^ht

∂O yczjkV`vSq^aS2y`

∂O¦<`bN<zoµ_^O`vh{noiS,{~4¢ 0S`

e f5Sg^bnQyNzSc}otSt¢ /`Xj^AjkQyikn<}_Sc}

j!z"S2}_tS

e⁰ ^h V(P|∂O)^¢T_jkQyS P|∂O

jm^-z

0.09°^bztRd|QikSOh

∂O^¦ ^DScRRz,¸o¢^~hG8X4;:<`bScikim^?`vNQz*`

e⁰ jV`bSq^bScy`^

∂O z*`Rh4âèhtQySt¦oz<}!`vqvztQâ¥4Sq^bztiki\t¦V£NojmyN\VjSim}o^®`vNoS~ikScRRzQ¢

¿ ¿ ##¡_ » 7 8.

D,H +)H&! '

D|O(P) D|∂O(P)

/`® htiikh*£e^? qbh4R htqvhtiiztqb\=<<¢¸~`bNQz`c¦]j¤£-SXyz"|Qqbh*¥4S`bNQz`

D|∂O(P) =D|∂O(P|∂O)¦4`vNoS`bNoS f5htnQQ}ozqv\ht

D|O(P)£jikiQf<SeS2lVnQzi_`vh

D|∂O(P|∂O)¦V£NojmyNzt|o|oqvhª²_jkR"z*`vSc^

∂O`bh4|<h4ikh4tjmyztiki\t¢ «S

QSSc}zjV`bSqvRSc}_jmz*`vS$qbS2^anoik`c¢

-º 7 7

D|∂O(P) ^)A ^JH&%^*, ^7)H ^%5 ^{*, 5 ,*} ^%^,#*,-5H ^% ^' ∂O

¿D¿ -\{noiSg{t¦QSc¥tScqb\Sc}_4S

e ^ht V(P)`bNQz`AjkV`vSq^aS2y`v^

f

£NQh4^bS$`bNoqvSS¥4Sqb`bjmyS2^AzqvS~j

P|∂O

¢AT]jQyS

P|∂O

jm^Az

0.09°^bztR|oikS$ht

∂O¦Q`vNoS,|5htjV`

c=e∩∂O

ijSc^?z`-}_jm^u`zQySez*`rRh4^a`

0.09^} M(c)^qbh4R `vNoSe¥4Sqb`bjmySc^:ht

f^¢ /`? h4ikih*£e^c¦tf]\ 0SRR"z=E$hG8³ @+@H:G¦

`vNQz*`

cztQ}`vNoS$¥tSqb`bjmyS2^?ht

f ikjSh4!`vNoSX^vzRSXyhtQoScy`bSc}yh4Rd|5htQSV`-ht

∂O¢?³A^Ozgyht<^aS2l4nQSQySt¦

`vh|oqvh*¥tSO`vNoSeiSRR"zo¦Vj¤`O^an !ySc^`vh,^bNoh*£ `bNQz`rS¥4Sqv\gyh4ooS2y`bS2}"yh4Rd|5htQSV`rh

∂Ojm^-jkV`bScqv^bScy`bS2}

f]\zìkS2ztâèhtoS62htqvhtQhtj½Sc}_4St¢

Ah`bjmyS,`bNQz`AS¥4Sqv\yhtooS2y`vSc}yh4R|<h4oSV`

C ^h ∂O jm^`vNoS qvhtV`bScSqef5S`u£®SSc`u£-h!yhtoQScy`vSc}

yhtR|5htoSc4`^

Ω1

ztQ}

Ω2

ht

R³\∂O¦5^ah"`vNQz*`S¥tScqb\yh4ooScy`bS2}|Qz*`vN qbh4R

Ω1

`bh Ω2

yqbhV^b^bSc^

C^¢

MONQSqvS htqvSt¦V`vhg|oqvh*¥tS`bN<z*`

C j^OjV`bScqv^bScy`bSc}f]\z 2h4qbh4ohtj½S2}_tS4¦Vjk`A^bn !ySc^-`vhd|Qqbh*¥4SA`vNQz*`

Ω1

z<}

Ω2

f5h`bNyh44`zj 2htqvhtQhtjQ¥4Sqb`bjmyS2^¦]^ajQySe`bNQS4qvzt|oN!R"zt}_ShD`vNoS32htqvhtoh4jQ¥tScqa`vjySc^®zQ}!Sc}_4Sc^-j^

yhtoQScy`vSc}±¢

0S`?nQ^z4^b^bnoRSr h4q?zyhtV`bqzt}ojy`bjht`vNQz*`r^bhtRSOyh4Rd|5htQSV`

Ω^h R³\∂OyhtV`vztjkQ^(oh62h4qbh4ohtj

¥4Sqb`bS²½¢¨T]jQyS`bNQS©SimznQQzª\7fQzii^dyScV`bSqvSc}§z*`d`bNoS 2htqvhtoh4j-¥4Sqb`bjmyS2^ 1 jQyiknQ}ojko¶`vNoSh4oSc^dz*`

j_¬QQj¤`u\ 4yh*¥tSq

R³¦<z*èiScz4ûèh4oS^bnQyNfQzii 1¡^vzª\

B(c, r)4Ayh44`zjQ^z|5htj4`

x ^h M∩Ω^¢®T_jkQyS c

ijSc^-htn_`^ajm}_S

Ω^£NojikS xijSc^®jk<^ajm}_St¦V`vNoSijoSX^bS4RSV`

[c, x]jkV`bScqv^bScy`v^r`bNoSXf5htnoQ}Qzqv\dht

Ω ^1¡£NojyN

jm^X|Qzqb`$h

∂O^4¢ ^0S` y f<Sz|<h4jkV`~hrjV`bScqv^bScy`bjhtD¢,MONQSgfQztikiySV`bScqbS2}z*`

y¦±h-qzt}ojknQ^X}

(x, y)^¦

jm^eyhtV`vztjkoS2}j`bNoS~jV`bScqbjhtqht

B(c, r)¢®MONoSqvS h4qbS4¦_j¤ÀyhtV`vztjk<Ôoh"|<h4jkVèht

P¢Ah*£~¦oj¤`^qzt}_jnQ^

jm^A}

(x, y)¦<£NQjyNjmÂzÀiScztâè`vNoS,}_jmû`zQyS~ qvhtR

y ^`vh M ^{^bjQyS} x∈M∩Ω^¢ /`e h4ikih*£e^`vNQz*`

y ^{jm^}

¡ztqa`vNoSq- qvhtR

P ^`vNQz} M(y)¦_£NojmyNyhtV`bqzt}_jmy`^?`vNoS¡zty`®`bN<z*`

P|∂O

jm^Oz

0.09^vzR|oiSeht

∂O^¢G/`

h4ikih*£e^`vNQz*`

Ωyh44`zjQ^?z`-iSczt^a`-h4oS-2h4qbh4ohtjo¥4Sqb`bS²½¦V£NojmyN!S<}o^`vNoS|Qqbh]h±ht DSRR"z <<¢<o¢

¶S"yz«oh*£ |oqvh*¥tS`bNQz`

D|∂O(P) =D|∂O(P|∂O)¦Df]\nQ^bjo`vNoSg¡zty`$`vNQz*`

D|∂O(P) ^{jm^X`bNoS}

f5htnQQ}ozqv\!ht(zg`bNoqvSS}ojkRS<^ajhtQzti±htf_suS2y`2¦_QzRSi\

D|O(P) ¹ h4qbh4ikimzqv\<Q¢¸+4¢

-º 7

D|∂O(P) =D|∂O(P|∂O)