Shape and topology optimization of the robust compliance via the level set method

HAL Id: hal-00784065

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

Submitted on 4 Aug 2020

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.

Shape and topology optimization of the robust compliance via the level set method

Grégoire Allaire, Frédéric de Gournay, François Jouve

To cite this version:

Grégoire Allaire, Frédéric de Gournay, François Jouve. Shape and topology optimization of the robust compliance via the level set method. ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2008, 14 (14), pp.43–70. �10.1051/cocv:2007048�. �hal-00784065�

!" # $%&(')# $%*,+.-/01$32%24*,+5-6')%0

798;: <>=?:.@ ACBEDGF

HJIKIMLKNPORQTSUQTVXWZY[Q]\3^_Ya`bYdc(egfihjQjkl^_Ynmporq]sutwv[xJIzyKHP{K{}|~I€KxJoaf‚„ƒ,v[xJI€yKH…{K{P{Kx†IKI

‡‰ˆŠˆŠ‹

vŒKŒ„Ž]Ž]Ž€ou‘’

‹ o

‹”“

t–•

ˆ˜—



‡r™ršœ›ž~—

oŸ¡ ¢Œ

£¥¤§¦’¨©¦’ª¬« ­_®¯¨°®¯±²®†³µ´ ®¯¨¶­[·¹¸ ·²º€¦G­a·²®µª

®¯»"­[¤¶©½¼T®¯¾¶¿¬Àa­ÂÁ€®µ¸ ¨§±¹·²¦’ª¬Ál©½Ã¥·²¦ ­[¤¶©

±²©z週 À[©z­¸ ©Ä­n¤¶®Å«

Æ}ǂÈdÉPÈdÇRÊÌËÍÉPÎÏ/ÐхÇ~Ò¯ÓiÔlÕGÏ/ÇRÈEÖjÐjÊÌǂÎ×3ØÌØÙÓÚʢǂÎjÕ

ÆÛÇ,Ó_҅ÜdÐÊÌÝ"ÞCÐÑÛßbÎ

àw*áàâãä åaæáç[èêé‰ëêè6ì…íbí B

ËdЅآÊuÓ_҅ËdÎ"ß}ÊuÓ ÎÍØÌÎáßlÎdØ Ý”Î Î ÐÄÉ

∗! #"$%'&)(+*,!-/.10+2 †&$!34(+ 5%76 8#89.4 #!%42 ‡/!.4-:(4 5;=<4(+*?>+%

@BA!C

/%D!*/.B0FE4G4G

@

H=IJKLNMPOQK

R+SPTVUWXQY?W[Z\]S1^`_bacXdacTfe^`_V\gWh_i\5jckNlh\]SPT_fWQmonpXNYqYrTpkstWNep_i\#monpXN_fTuWNeedWwvj1_p\xWda+\#^qyzXNY

kTi_i^{Uw|=a+e}WwvYrTy~ZfWNeyu^q|c^qyzXNY,npWQya+Y€^XN|+ndT!‚„ƒi|'\qScTnpWN|B\9Td…\bWoZY€^q|4TpXQeTfYrXN_i\#^n^q\#lstT

_TpTd†‡XN|ˆWda4\5^qyzXNY_}ScXdacTs?S‰^ndS)yu^q|c^qyu^rŠTf_\]SPTYrXNe#UTf_p\#‹WNestWQep_i\‹bnpWQya+Y€^XN|+ndTŒs?ScTf|

\]SPTYrWXk_ŒXQe}T_ijcvŽTpnf\\9Wz_fWQyhTj‰|1†Q|4WQs/|hacTfei\5j‰evpXN\5^WN|P_‚‡uTtep_i\‘a+e}WN’NTŒ\qScXN\#‹cZfWNeX

?…1Tpku_}SPXpaPTf‹t\]SPTe}TŒTd…^`_i\_V^q|4kTdTpk XzstWQep_p\“acTfei\5j‰evpXN\5^WN|•”racW_p_i^vfY€l‡|4WQ|)j‰|c^–jcTg—h\]SPXN\

stTundScXNe}Xnf\gTfei^rŠ!ThX_\]SPTyhX…^qyŒ^rŠ!TeŒW[ZX=|4WN|BY€^q|4TpXQeTf|+Tfe#Uwlw‚‡uTuXNY˜_WVa4e}WpaPWN_fThX

_i\9XvfYrThXQYUWQei^q\qS‰y™\9W‡ndWQya+j‰\9T^q\9‚zR+SPT|P‹^q|)\qScTtZpedXNyzTfstWQe}†7W[ZšXkwXQyhXQe}k=yzT\qScWkN‹

stTunpWNya4j‰\gT\]SPTukN^qe}Tpn\#^WQ|4XQY_}SPXpaPThkwTei^q’NXN\5^q’TzWoZV\qS‰^`_nei^q\gTfei^WQ|'s?S‰^ndS)^`_j1_Tdkz^q|›X

|cj‰yzTfei^npXQY?XNYUWNei^q\]S1yŒ‹bvpX_Tpk WN|)\]SPTYrT’TY_T\tyzTf\]SPW!k‹t\gWt|4k=Wpa4\5^qyhXQY_}SPXpaPTf_\]SPXN\

yu^q|c^qyu^rŠ!TŒ\qScTstWQep_p\5monpX_TnpWQya+Y€^XN|+ndT!‚œ4^q|4npT\]S1^`_nei^q\9Tei^WN|›^`_j1_pjcXQYqY€lzyzTfe}TY€l

kN^qedTdn\5^WN|4XQYqY€l kQ^Te}Tf|B\#^XvfYžTi‹bstT^q|B\#e}W!kNjcnpTŒXh_Tfyu^kwT#|B^q\9Ta+e}W}Uwe}XQyŒyu^q|U Xdaa4e}W!XwnpS

\9Wz_fTYrTpn\t\]SPTuvdTf_i\bkTi_npTf|B\xkQ^qe}Tpnf\5^WN|ŸXN\xTpXwnpS7_i\gT9a•W[ZXUwe}XkN^T|c\xyhT\]SPW!kw‚

 j‰yzTfei^npXNY,T}…1XNya4YžTi_ŒXQe}T¡Uw^q’NTf|'^q|£¢wmok‡XN|+k=¤Qmok‚

¥$¦§‘¨© Lª,J«­¬}®¯P°c±o² ³‰´!±oµž¶w·“¸¡¹b®w¬p±[²}º9»¼w±}´£³‰´!±oµž¶w·¸±o½B¼Q¾4´'®¾‰²}µž¿hµrÀ!¼N²}µž®w·“¸²}®¾B®Ár®¶wÂ

®w¾P²}µž¿uµžÀ¼Q²}µž®w·¸‰Áž´Ã´Á±}´f²¿h´f²d½P®‰³‘¸c±}´¿hµ`³‰´fÄc·cµ{²d´¾P¬}®¶w¬p¼Q¿h¿hµr·c¶

Å Æ+njȓÉÊzË‡Ì ÍÈ,ÎfÊÇ

Ï ½c¼w¾B´ ®w¾P²}µž¿uµžÀ¼Q²}µž®w·Ðµž±h¼'¹„µž³‰´Ár•¼³P³‰¬d´±d±o´!³Ÿ¾P¬d®w¯PÁž´¿7ÑÓÒ)´f²}½c®1³c±u»¼Q·Ð¯B´ ¬}®°P¶w½cÁrÂ

³‰µžÃ1µž³‰´!³)µž·²}®‡²[¹®7»fÁ`¼w±d±o´!±Ô¡Õ“®¾B®Ár®¶wÂ$¼Q·c³›Ö´®¿u´²}¬dµž»Œ®w¾P²}µž¿uµžÀ¼Q²}µž®w·'¿u´²}½P®‰³P±Ñ×/Ø1º

¼Q¿h¾PÁž´±V®wÙt²d®w¾4®wÁž®w¶wÂ$®¾‰²}µž¿hµrÀ!¼N²dµr®·'¿h´f²d½P®‰³P±¼w¬}´Œ²}½P´z½c®w¿h®w¶´·PµžÀ¼Q²}µž®w·)¿h´f²d½P®‰³ÛÚrÜÝ5¸

ÚލÝ5¸Úßà!Ý9¸‘²}½P´ Ï1áÒ)âã¿h´²}½P®‰³Ûژä!Ý5¸“²}½P´hÃw´!»i²d®w¬VÃN¼Q¬dµž¼Q²}µž®w·c¼wÁ?¿h´f²d½P®‰³ÓڞÜåNÝ5ÑzÕx½P´!±o´uÁž¼Q²oº

²}´¬¿h´f²d½P®‰³P±¼w¿u®°P·²V²}®)®¾‰²}µž¿hµrÀ´=¼7¿h¼Q²}´¬}µ`¼QÁt³P´·c±}µ{²[£Ù]®w¬¶´·P´¬d¼wÁrµžÀ´!³'»®w¿h¾4®±}µ{²d´

³‰´!±oµž¶w·c±Ñtæ²}½P´¬b²}®w¾4®wÁž®w¶Âz®w¾‰²dµr¿hµžÀ¼Q²}µž®w· ¿u´²}½P®‰³P±„¼w¬}´¡²}½c´¯P°P¯P¯PÁž´¿h´f²d½P®‰³®¬x²}®w¾4®Qº

Áž®w¶wµ`»¼wÁc¶¬d¼³‰µr´·²¼Q¾P¾c¬}®¼w»p½7ÚßNÝ5¸+ڞÜ!ß!Ý9¸+ÚrÜ!çÝ9¸4ژßNèQÝ5¸1¹„½Pµ`»p½‡¼w¿u®°P·²d±²}®h»f¬d´¼N²dµr·c¶½P®wÁž´±µž·

¼h¶wµžÃw´· ±}½c¼w¾B´¸B¼Q·B³²d½P´²d½Pµr·$Ážµž¶¼Q¿h´·²¿h´²}½P®‰³ˆÚžÜäÝ9¸c·P®w²Âw´²µr¿h¾PÁž´¿h´·²d´³‘¸B¹„½Pµ`»p½

∗é‘ê[ëfì5íê‘îê‘ïðdì#ñò[óðdì#ô˜õöê[÷cø,ùù!ú˜ô˜õöò[ê[÷‘û`ü?ïýzþpÿ iú˜êiúì#ê9ñëô˜õöêPðpú€ðpô˜÷5êoðpö

í#ðpë[ê! " #$!%& '( )*',+!-/.0+#1,23! )4&657$ .98%

†'!11'5%! ( )*',+!-/.0+#1,23! )4&:57!$ .98!%

‡;!#$!<! ( )*',+!-/.0+#1,23! )4&:57$ =.98%

²}µž®w·Ó¿u´²}½P®‰³P±h¼w¿u®°P·²²d®'¿h®NÃw´=²}½P´ ¯B®°P·c³P¼w¬}µž´±Œ®QÙ¼Q·•µž·Pµr²}µ`¼QÁ„³‰®w¿z¼wµr·­ÚžÜNÝ5¸ژßNÝ5¸

ژßQçÝ9ф´»´·²}ÁžÂhµr·²}¬d®‰³‰°c»´³hµž·z²}½Pµ`±b»f®w·²d´fØ1²¸²}½P´¡Ár´Ãw´Á4±}´f²b¿u´²}½P®‰³$ÚèNÝ9¸+ÚàNÝ5¸4ÚrÜ!ލÝ9¸4ژßwߍÝ5¸

ژßäݑ¼QÁžÁr®N¹±¼QÁ`±o®²}®u»p½c¼Q·P¶´„²}½c´²d®w¾4®wÁž®w¶wÂћ´¡±}½c¼wÁrÁ4°c±}´¡¼Q¶¼Qµž·z²}½c´Áž´Ãw´Á4±}´f²x¿h´f²d½P®‰³

µž·‡²d½P´·1°P¿h´¬dµž»¼QÁ‘¼Q¾c¾PÁrµ`»¼Q²}µž®w·c±x®wٓ²d½P´¾P¬d´±}´·²„¹®¬ +Ñ

Õx½P´¿u®±[²„±o²}°c³‰µž´³‡»f¬dµ{²d´¬dµr®·zµr· ±o½B¼Q¾4´¡®¾‰²}µž¿hµrÀ!¼N²}µž®w·µž±²}½c´»®w¿h¾PÁžµž¼w·c»f´¡¹„½Pµž»p½µž±

³‰´Äc·P´³h¼±“²d½P´„¹b®w¬³‰®w·P´x¯1²d½P´„Áž®¼w³®w¬/´°cµrÃN¼QÁž´·²dÁr¼±,²}½P´„´Áž¼±[²dµž»x±o²}®¬}´!³´·c´¬d¶wÂwÑ

á·c³‰´´³‘¸1»f®¿h¾PÁrµ`¼Q·B»f´µ`±t¼Œ»f®·Ã´·Pµž´·²t¿h´!¼w±}°P¬}´„®wّ²}½P´¡¶wÁž®w¯c¼wÁc¬dµr¶µž³Pµ{²[Âu®Qٓ¼Œ±[²d¬}°c»f²}°P¬d´wÑ

®N¹b´Ã´¬!¸BµrÙ¼ ±o½B¼Q¾4´µ`±¡®¾‰²}µž¿hµrÀ´³£¹„µ{²d½'¬d´±}¾B´!»i²²}® ®w·P´ŒÁr®¼w³‘¸+µr²½c¼w±¡·P® ¬}´!¼w±}®w·7²}®

¯4´7±o²d¼w¯PÁž´ ¹„µr²}½ ¬d´±}¾B´!»i²h²}®ˆ¾4´¬}²}°P¬d¯c¼Q²}µž®w·c±u®QÙ¡²}½c¼Q²zÁr®¼w³‘ÑV·P®N¹„µž·P¶'½c®N¹ ¼›±o½c¼w¾B´

µ`±±}´·c±}µ{²dµrô²}®‡¾B´¬o²d°P¬d¯c¼N²dµr®·c±¼w·c³7¾B´¬oÙ]®¬}¿hµž·P¶¼[¹b®w¬p±[²}º9»¼w±}´±}½c¼w¾B´®¾‰²}µž¿hµrÀ!¼N²dµr®·

µ`±V®QÙb²}½P´h½Pµž¶w½P´!±[²´·P¶wµž·P´´¬dµr·P¶ µž·²d´¬d´±o²ÑzÕx½Pµ`±Vµž±®w°P¬V¿h®Q²dµrÃN¼N²dµr®·›Ù]®w¬±[²d°c³‰Â1µž·P¶7²}½P´

®w¾P²}µž¿h¼wÁ¡³‰´!±oµž¶w·¾c¬}®¯PÁr´¿ ®wÙ¿uµž·Pµž¿z¼QÁV»f®w¿h¾PÁžµ`¼Q·c»´7Ù]®w¬‡¼Ó±[²d¬}°c»f²}°P¬d´£±}°P¯P¿hµr²o²}´!³ ²}®

¼'¶wµžÃw´·ÐÁr®¼w³Ð¹„½Pµ`»p½Ðµ`±z±o°c¯[´»f²u²d®'°c·1·P®N¹„·Ð¾4´¬}²}°c¬}¯c¼Q²}µž®w·c±Ñ Ï °c»p½Û¼›¾P¬d®w¯cÁr´¿ µž±

»fÁ`¼w±d±}µž»¼QÁ‘µž·)»f®w·²d¬}®Á+²}½P´®w¬dÂ]¹„½c´¬d´µ{²¡µž±»¼QÁžÁr´!³7¬}®¯P°c±o²»f®·²d¬}®Áx¼w·c³ ½c¼w±¯B´´·7Äc¬p±[²

±o²}°c³‰µž´³ µž· ²}®w¾4®wÁž®w¶Â=±[²d¬}°B»i²}°c¬d¼wÁ4®¾‰²}µž¿hµrÀ!¼N²dµr®· ¯1Â)ÚåÝ#±o´´¼QÁ`±o® ڞÜfݾјßQåwèc¸‘ÚލÝ5¸“Úr܍ÝfÑ

Փ®F¿h¼w´ˆ²d½Pµr·c¶±£»Ár´!¼Q¬!¸V²d¼w´•¼­³‰®¿z¼Qµž·

Ω ¹„½c®±}´Ÿ¯B®°P·c³P¼w¬}Â

∂Ω µ`±£³‰´!»f®w¿uº

¾4®±}´³µž·²}®¡²[¹®»®w¿h¾PÁž´¿h´·²p¼Q¬dÂV±}°P¯c±}´f²p±

ΓD

¼Q·B³

ΓN

¹„½P´¬}´µž¬}µ`»p½PÁž´f²½P®w¿h®¶w´·c´®w°B±

¯4®w°P·c³c¼Q¬dÂu»®w·c³‰µr²}µž®w·B±¼w¬}´¡µr¿h¾4®±}´³z®·

ΓD

¼w·c³! ´°P¿z¼Q·c·¯4®w°P·c³c¼Q¬dÂu»®w·c³‰µr²}µž®w·B±t®·

ΓN

Ñ#"´f²

d= 2,3¯4´²d½P´„³‰µž¿u´·c±}µr®·u¼w·c³Œ³P´·P®w²}´x¯1Â

H_D¹(Ω)^d²}½c´±o´²®wÙcÃw´!»i²d®w¬,Äc´Á`³P±

¯4´Áž®w·P¶µr·P¶‡²}®

H¹(Ω)^d ¹„½Pµž»p½›ÃN¼Q·Pµ`±}½£®w·

ΓD

Ñ$±d±o°c¿u´Œ²}½B¼N²

meas(ΓD)µ`±V¾4®±}µ{²dµrô

±}®Œ²d½P´¬d´Vµž±x·c®z¬}µž¶wµ`³‡³Pµž±}¾PÁ`¼w»f´¿h´·²„µr·

H_D¹(Ω)^dÑ

% ®¬¼Ÿ¶wµžÃw´· Ár®¼w³

f = (f1, f2) ¹„µr²}½Ã´»f²}®w¬=Äc´Á`³P±

f1 ∈ L²(IR^d)^{d ¼w·c³} f2 ∈ H¹(IR^d)^d¸Q¼Q·c³Ù]®¬,¼„¶µrô·³‰µ`±}¾PÁž¼»f´¿u´·²

u∈H_D¹(Ω)^d¸²d½P´t´Áž¼±[²dµž»/´·P´¬d¶wµ`±?³‰´Äc·P´!³

¯1Â+Ô

EΩ(u,f) =− Z

Ω

Ae(u) :e(u) + 2 Z

Ω

f1·u+ 2 Z

ΓN

f2·u

¹„½P´¬}´

e(u) = 1/2(∇u+∇u^T) µž±u²d½P´ ±o²}¬p¼Qµž·•²d´·c±}®w¬h¼Q·B³

A µž±Œ²}½c´‡Ù]®°P¬}²}½‰º9®w¬p³‰´¬

´Á`¼w±o²}µ`»fµr²[Âu²}´·c±o®¬b±}°c»p½z²d½c¼N²

Ae(u)µž±t²}½P´V±o²}¬d´±d±²d´·c±}®w¬!Ñ,Õx½c´»®w¿h¾PÁžµž¼w·c»f´¡µž±x³‰´Äc·P´³

¯1Â+Ô

CΩ(f) = max

u∈H_D¹(Ω)^dEΩ(u,f),

¼Q·B³z¹´¡¹b¼w·²t²}®Œ®w¾‰²dµr¿hµžÀ´¹„µ{²d½¬d´±}¾B´!»i²²}®

Ω²}½P´¬}®¯P°c±o²t®w¬b¹b®w¬p±[²}º9»¼w±}´»f®w¿h¾PÁžµ`¼Q·c»´

³‰´Äc·P´³ ¯1Â+Ô

J(Ω) = max

gperturbationCΩ(f+g). ^oÜ

Õx½P´±}´f²Œ®Qل¾B´¬o²d°P¬d¯c¼N²dµr®·c±

g ½c¼w±²}®)¯4´=¾P¬d®w¾4´¬dÁr›³‰´fÄB·P´³‘Ñ&$¡±¼w·Ÿ´fØP¼Q¿h¾PÁž´w¸?Ù]®w¬¼

¶wµžÃw´·'¬d´¼wÁÃN¼QÁž°P´

m ∈IR⁺¸,¹b´=»f®w·B±oµ`³‰´¬

g = (g1, g2) ^¹„µr²}½ g1 = χτ ^¼w·c³ g2 = 0

¼Q·B³

kτkL²(IR^d)^d ≤m ^{¹„½P´¬d´} χ µž±²}½P´h»p½c¼w¬d¼»i²}´¬}µ`±o²}µ`»Ù]°P·c»i²dµr®·£®wÙt¼±}¿u®1®w²}½£±}°P¯c±}´f²

®QÙ IR^dÑæ²d½P´¬»p½P®µž»´±„¼w¬}´®QÙ/»f®°P¬d±}´¾B®±}±}µr¯cÁr´Ñ

Õx½P´Äc¬p±[²xµž±d±}°P´w¸1²d½c¼N²„¹b´¼³P³‰¬d´±d±tµž· Ï ´»i²dµr®· ßP¸‰µž±²}®h¾P¬d®NÃw´²}½c¼Q²²d½P´V¬}µž¶w½²x½c¼Q·B³

±}µž³‰´7®wÙ[Ü'Œµž±h¹b´ÁžÁ{º9¾4®±}´³‘¸·B¼Q¿h´ÁžÂŸ²}½B¼N²h²}½P´¬}´7´Ø1µ`±o²d±z¼›¾B´¬o²d°P¬d¯c¼N²dµr®·

g ¹„½Pµ`»p½Ûµž±

¼›¿z¼N؉µr¿hµžÀ´¬zµr·Û²}½c´$¬}µž¶w½²h½c¼Q·c³ ±}µž³P´ ®wÙ(oÜh¼w·c³•²d®•»p½c¼Q¬p¼w»f²}´¬}µžÀ´‡µ{²!ÑFÕx½P´7¿z¼Qµž·

¬d´±}°PÁ{²µž±¾P¬d´±}´·²}´!³hµr·

Ï

´»i²dµr®·‡ß‰ÑžÜwўÜwÑ/æ¡°P¬¼w¾P¾P¬d®¼»p½uµ`±t²}®»p½c¼w·P¶w´²}½P´¡¾P¬}®¯PÁž´¿ µr·²}®

²}½c´¿z¼N؉µž¿uµžÀ¼Q²}µž®w·z®wّ¼·P®w·cÁrµž·P´¼w¬/Ù]°P·c»f²}µž®w·c¼wÁ

F(u) ^Ï ´!»i²}µž®w· ߉ўÜi¸w²}®u±o½P®N¹Û²d½c¼N²²}½P´

¿z¼N؉µž¿°P¿ãµž±,¼N²}²d¼wµr·P´!³¼N²,¼¾4®wµž·²,¹„½P´¬d´

F µ`±“³‰µ+´¬d´·²}µ`¼Q¯PÁž´ Ï ´»f²}µž®w·ŒßPÑß i¸²}®¡°c±o´t²}½P´

×°PÁž´¬}º"“¼Q¶¬d¼w·P¶w´¡´°c¼Q²}µž®w·‡²}®=»p½c¼w¬d¼»i²}´¬}µžÀ´²}½P´Œ±o´²®QÙ,»¬}µr²}µ`»¼wÁ¾4®wµž·²p± Ï ´!»i²dµr®·£ß‰Ñç i¸

²}®Ð»p½c¼Q¬p¼w»f²}´¬dµžÀ´ ²}½P´›»f¬dµ{²dµž»¼QÁ¡¾B®µr·²d±=²}½c¼Q² »¼Q·¯4´£¿z¼N؉µž¿uµžÀ´¬d± Ï ´!»i²}µž®w·FßPÑè z¼Q·B³

Äc·c¼wÁrÁžÂz²d®u¶µrô¼Q·7¼QÁž¶w®w¬dµr²}½P¿ ²d½c¼N²»®w¿h¾P°‰²d´±b²d½P´¿z¼N؉µr¿hµžÀ´¬d± Ï ´»i²dµr®·)߉јàiÑ

Õx½P´·“¸ Ï ´»f²}µž®w·c±„ç²}½P¬d®w°c¶w½ Œ¼w¬}´V³‰´Ã®Q²d´³z²d®u²}½P´Ù]®wÁžÁž®N¹„µr·P¶h±}½c¼Q¾4´¡®¾‰²}µž¿hµrÀ!¼N²dµr®·

¾P¬d®w¯PÁž´¿7Ô

Ω⊂Dinf (J(Ω) +η|Ω|)

¹„½P´¬}´

D µ`±¼‡¶wµžÃw´·'¯B®°P·c³‰´!³ˆ³‰®w¿z¼Qµž·'¼w·c³

η ^µž±¼ "“¼w¶w¬p¼Q·P¶´¿°PÁr²}µž¾PÁžµr´¬VÙ]®w¬¼‡Ãw®Á{º

°P¿h´V»f®w·B±[²d¬d¼wµr·²Ñ ›´±}½c¼QÁžÁ4·P®Q²„¼N²}²}´¿h¾‰²b²}®u¾P¬d®NÃw´„²d½c¼N²b²}½c´¬d´´f؉µ`±[²p±b®w¾‰²dµr¿z¼QÁ+±}½c¼Q¾4´wÑ

¼Q²}½P´¬¹b´h»f®w·²d´·²®°P¬p±o´Árô±¡µr·'²}½P´h¬dµr¶®w¬d®w°c±¡³‰´¬dµžÃ¼Q²}µž®w·'®QÙt²d½P´z±o½B¼Q¾4´u³‰´¬}µžÃN¼N²dµrô

®QÙ+²d½Pµž±t®w¯[´!»i²dµrôxÙ]°P·c»i²dµr®·=¼Q·c³u²d½P´·z°B±o´µr²tµž·²}®¼VÁž´Ã´ÁB±}´f²¿h´²}½P®‰³hÙ]®¬·1°P¿h´¬dµž»¼QÁžÁrÂ

»f®¿h¾P°‰²}µž·P¶u®w¾‰²dµr¿z¼wÁ±o½c¼w¾B´!±bµr·

d= 2,3±}¾c¼»f´V³‰µr¿h´·c±oµž®w·B±Ñ á · ¾P¬d¼»i²dµž»´w¸²}½P´V¬d´±}°PÁr²oº µž·P¶®¾‰²}µž¿z¼QÁ³P´±}µr¶·c±?¼w¬}´t¿°c»p½¿h®w¬d´±o²d¼w¯PÁž´ qÙ]¬d®w¿~¼¿h´!»p½c¼Q·Pµ`»¼wÁw¾4®wµž·²?®QÙPÃ1µž´¹ ‘²}½c¼w·

²}½c´®w¾‰²dµr¿z¼QÁ±}½c¼w¾B´!±x®w¯‰²p¼Qµž·P´³‡¯1‡±o²d¼Q·B³P¼Q¬p³±}µr·c¶wÁž´Áž®¼³‡»®w¿h¾PÁžµž¼w·c»f´V¿hµž·Pµr¿hµžÀ¼Q²}µž®w·Ñ

Ë ÎiɄÍtÈ É,Ê

á

·=²d½Pµ`±

Ï

´!»i²dµr®·¸‰¹´±[²d°c³‰Âh²d½P´¡¾c¬}®¯PÁr´¿ ®QÙ¬d®w¯P°c±o²b»®w¿h¾PÁžµž¼w·c»f´¡¹„½P´·²}½P´V³‰®¿h¼wµr·µž±

ÄP؉´³Ñ '´u¾P¬d®NÃw´²d½c¼N²²}½c´Œ¾P¬d®w¯cÁr´¿ µž±¹b´ÁžÁ{º9¾B®±o´!³)¼Q·B³$¹´h»p½c¼w¬d¼»i²}´¬}µžÀ´²}½P´h±o´²®wÙ

¹b®w¬p±[²¾4´¬}²}°P¬d¯c¼N²dµr®·c±±}®‡²d½c¼N²Œ¹´=»¼Q·ˆ³‰µ+´¬d´·²dµž¼Q²}´h²}½cµž±Œ»f¬dµ{²d´¬dµr®·'¹„µr²}½ˆ¬d´±}¾B´!»i²²}®

²}½c´³‰®w¿z¼Qµž· µr·$¼uÁž¼Q²o²d´¬ Ï ´!»i²}µž®w·“Ñ

%

®w¬x²d½P´±d¼w´®QÙ/±}µr¿h¾PÁžµž»µ{²[¸‰²}½c´³‰´¾4´·c³P´·c»´¹„µ{²d½

¬d´±}¾B´!»i²x²}®u²}½c´³‰®w¿z¼Qµž·7µž±„³P¬}®¾P¾B´!³‘Ñ

^"“´f² V ^¼w·c³ H ^{¯4´=²[¹b®} µžÁž¯B´¬o²h±o¾c¼»f´!±±}°c»p½ˆ²}½c¼Q²

V µž±Œ»f®w¿h¾c¼»i²dÁrˆ¼Q·c³Ÿ³P´·c±}´ÁžÂ

´¿Œ¯B´!³P³‰´!³'µž·

H^Ñ '´=³P´·P®w²}´h¯1Â

(·,·) ²}½P´z³‰°B¼QÁ¾P¬d®‰³‰°c»f²V®·

V ^¼w·c³ V⁰Ñb´»¼w°c±}´

H µž±„µ`³‰´·²dµ{ÄB´³ ¹„µ{²d½7µ{²p±³‰°c¼wÁ#¸1²d½P´±}»¼QÁ`¼Q¬x¾P¬d®‰³‰°c»i²®wÙ

H µ`±„¼QÁ`±o®z³‰´·P®Q²d´³

(·,·)^ÑtÕx½P´

·P®¬}¿ µr·

V µ`±³‰´·P®Q²d´³h¯1Â

k · kV

¼Q·c³h²d½P´¡±}°P¯c±d»f¬dµž¾‰²µ`±t³‰¬d®w¾c¾B´!³hÙ]®w¬t²}½P´¡·P®w¬d¿ ®w·

H^{Ñ "´²} A: V → V⁰ ¯B´=¼7Ážµž·P´¼w¬»f®1´¬p»fµžÃw´¸‘¯B®°P·c³‰´!³Ÿ±oÂ1¿h¿h´f²}¬dµ`»Œ®¾B´¬d¼Q²}®¬¸

f ∈ V⁰

¼Q·B³‡³‰´Äc·P´V²d½P´´·P´¬}¶Â=¼w±Ô

E(v,f) =−(Av, v) + 2(f, v)^Ñ

^"´f² B:H →H ¯B´„¼V»f®·²}µž·°c®w°c±?Árµž·P´!¼Q¬®w¾4´¬p¼N²d®w¬?²}½c¼Q²/»p½B¼Q¬p¼w»i²d´¬dµrÀ´±²}½P´xÁž®1»¼N²dµr®·

®QÙB²}½P´„¾4´¬}²}°c¬}¯c¼Q²}µž®w·h¼Q·c³

B^{∗µ{²p±¼w³} [®wµž·²!Ñ,Õx½c´»f®w·B³‰µ{²dµr®·Ù]®¬

g²d®¯4´¼¾4´¬}²}°P¬d¯c¼N²dµr®·

µ`±

g=B^∗τ ^¹„µr²}½ kτk ≤m^Ñ

¦K #©! R+SPTŒe}Wwvj1_i\bnpWNya4Y{^XN|4npT

J ^`_kwT#|+Tdk‡X_#"

J= sup

g=B^∗τ kτk≤m

maxu∈V E(u,f+g).

Õx½P´Ážµr·‡¹„µ{²d½ ²}½P´ á ·²}¬d®‰³‰°c»f²}µž®w· µž±b²d½P´VÙ]®wÁžÁr®N¹„µž·P¶BÔ

V =H_D¹(Ω)^d, H =L²(Ω)^d, V⁰=H⁻¹(Ω)^d×H^−1/2(ΓN)^d.

Aµž±b²d½P´®w¾4´¬p¼N²d®w¬„±o°B»p½²d½c¼N²

(Av, w) =R

ΩA e(v) :e(w)dx ^Ñ f µž±b²d½P´´Áž´¿h´·²®wÙ

V⁰ ±}°c»p½²d½c¼N²

(f, v) =R

Ωf1·v dx+R

ΓNf2·v ds ^Ñ B=B^∗ µ`±x²}½c´¿°PÁr²}µž¾PÁžµž»¼N²}µž®w· ¯1Â=²d½P´»p½c¼Q¬p¼w»f²}´¬}µ`±[²dµž»Ù]°P·c»f²}µž®w·

χ ^Ñ

¦ MPL

B npWNj‰YžkSPXN’NTvpTpT|znpSPWN_Tf|=^q|=XkQ^TfedTf|B\stXNl "?T\

S vpT„XN|XQevf^q\5e}XQeil

š^qYžvdTei\b_5aPXndThXQ|4k

B^∗:S→V^{0 _W=\]SPXQ\} B:V →S⁰‚V_YrWN|1U$X_

B^∗B:V →V⁰

^`_npWN|c\5^q|cjcWQj1_XQ|4k‡ndWQyacXwn\#‹t\qScTf|'\qScTZfWQYqYrWNs/^q|1U)kwT’TYrWpa4yzTf|B\_i\gXN|+k_Vs/^q\qS'Wwv’^WQj1_

npSPXN|1UTf_‚xƒi|7\qS‰^`_npX_Tf‹\]SPTbaPTei\#j‰evpXQ\#^WQ|P_XQe}TkwT#|+TpkuXN_

g=B^∗τ ^{s/^q\]S} kτk^S ≤m^‚

ƒi|$\]SPTTfYrXN_i\#^n^q\#lh_T\#\5^q|UQ‹^q\bXNYqYžWNs_\9WzkTpXNY‘s/^q\]SaPTei\5j‰evdXQ\#^WQ|P_W[Z\]SPT/ZfWQeiy

g=τ|Γ

s/^q\]S

kτkL²(Γ)≤m‹ts?ScTfedT

Γ kTf|+WN\gTi_ŒXz_iyhW!WN\]S _ijcvf_fT\bWoZV\qScTŒvpWQj‰|4kwXQeil‡W[Z

Ω^‚

! #"%$'&()*"

Õx½P´uÙ]°P·c»f²}µž®w·c¼wÁ

J µ`±³‰´Äc·P´³ˆ¼±¼7³‰®°P¯PÁž´h¿h¼Q؉µr¿Œ°P¿7¸“®w·c´u®·£²d½P´

u ÃN¼Q¬dµž¼w¯PÁr´h¼Q·B³

®w·c´®w·=²}½P´

τ ÃN¼Q¬dµž¼w¯PÁž´wÑÕx½P´Âz»¼w·=¯4´¡¾4´¬d¿°‰²d´³‡¼Q·c³=±}®wÁžÃw´!³hµr·‡®w·P´¡®QÙ²d½P´ÃN¼w¬}µ`¼Q¯PÁž´±

²}®h¶µrô¬dµ`±o´²}®z¼u·P®·PÁrµž·P´!¼Q¬„¾P¬d®w¯PÁž´¿ µr· ²}½c´®Q²}½c´¬„ÃN¼Q¬dµž¼w¯PÁž´wÑ

+ L ©',© J K © .-/“T\

F(u) =−(Au, u) + 2(f, u) + 2mkBuk ^XN|+k G(τ) = (f+ B^∗τ,A⁻¹(f+B^∗τ))‚=R+SPTlz_XN\5^`_]Zpl

sup

u∈V

F(u) =J= sup

kτk≤m

G(τ). ^5ß

+ L ©©10 '´¹„¬dµr²}´

J = sup

g=B^∗τ kτk≤m

maxu∈V E(u,f +g) = sup

u∈V sup

g=B^∗τ kτk≤m

E(u,f+g)

= sup

u∈V





−(Au, u) + 2(f, u) + 2 sup

g=B^∗τ kτk≤m

(g, u)





.

Õx½c¼w·‰±²d®=²}½c´32b¼w°c»p½1ÂºÏ »p½1¹x¼Q¬dÀµž·P´°B¼QÁžµ{²[¸B²d½P´uÁž¼Q²}´±o²±}°P¾P¬d´¿Œ°P¿ µ`±¡¼Q²o²d¼wµr·c´³$¯1Â

τ = _kBuk^m BuÑÕx½c´¾c¬}®¯PÁr´¿ ²}®=±o²}°B³‰Âµ`±b²}½P´·Ô

sup

u∈V

nF(u) =−(Au, u) + 2(f, u) + 2mkBuko

. ^ç

Õx½P´Ù]®w¬d¿°PÁ`¼N²dµr®·$µr·

τ µž±¡®w¯‰²p¼Qµž·P´³)µr·$²d½P´Œ±d¼Q¿h´Œ¹b¼Â¸B¬d´¿z¼Q¬1µr·c¶h²}½c¼Q²¸4Ù]®w¬¼=¶wµžÃw´·

τ¸‰²d½P´®w¾‰²dµr¿z¼wÁ

u^µž± u=A⁻¹(f +B^∗τ)^Ñ 2

Õx½P´¿z¼QØ1µž¿hµrÀ!¼N²dµr®·z¾P¬}®¯PÁž´¿ µž·z²d½P´¬dµr¶½²t½c¼Q·B³z±oµ`³‰´®wÙ #ß µ`±¼ °c¼³‰¬p¼N²}µ`»x¾P¬d®w¯‰º

Áž´¿ µž·

τ ¹„µ{²d½›¼‡·P®¬}¿uºg»f®w·B±[²d¬d¼wµr·²¸+µ5Ѵь¼²}¬d°c±o²oº9¬}´¶wµž®w·)¾P¬d®w¯cÁr´¿ Ñ´!±o¾cµ{²d´Œ²d½P´hµr¿uº

¾P¬d´±d±oµžÃw´xÁžµ{²d´¬p¼N²d°P¬}´„®·h²}¬d°c±o²oº9¬}´¶wµž®w·u¾P¬}®¯PÁž´¿z±¸¹´¡³‰µž³h·c®Q²Äc·B³=¼V¾P¬d®®wّ®QÙ+´f؉µž±o²}´·c»f´

®QÙ¿z¼QØ1µž¿hµrÀ´¬p±„µž·)²}½c´µž·‰Äc·Pµr²}´h³‰µž¿u´·c±}µr®·c¼QÁ,»¼w±}´wÑ á·c³‰´´!³7²}½c´´f؉µ`±[²d´·c»´¾P¬d®1®QÙ¼Q·B³

»f®¿h¾P°‰²d¼Q²}µž®w·Û®QÙV¿z¼N؉µr¿hµžÀ´¬d±h®wÙ¼'²d¬}°c±o²oº9¬d´¶wµž®w·Û¾P¬d®w¯PÁž´¿ ¬}´Árµž´±h®· ¼Ÿ³P°c¼QÁžµ{²[ÂÛ¼Q¾‰º

¾P¬d®¼»p½=Ù]®w¬¹„½Pµž»p½ ²d½P´¬d´µž±·P®=³‰°c¼wÁrµr²[¶¼Q¾ÑÕx½P´¾P¬}®1®wÙ?®QÙ/¼Q¯B±o´·c»f´®wÙ,¶¼Q¾ ¬}´Árµž´±x®·

²}½c´±o®wº9»¼QÁžÁr´!³

S ¾c¬}®‰»f´!³‰°P¬d´z¹„½Pµ`»p½Ÿµž±¼)¾P°P¬d´hÄc·Pµr²}´fºg³‰µž¿h´·c±}µr®·c¼QÁ¿h´f²}½c®1³ #±o´´)Ú˜ßÝ Ù]®w¬¡²}½cµž±¼Q¾P¾c¬}®¼w»p½)¼Q·B³)¼QÁžÁ“²d½P´u¬}´Ù]´¬d´·c»´±¡½P´¬d´µž· iÑ ›´u³‰®‡·P®Q²±}´´½c®N¹ ²}®´Ø1²}´·B³

±o²}¬p¼Qµž¶w½²oÙ]®¬}¹x¼Q¬p³‰ÁžÂ²d½Pµž±„²}´»p½c·Pµž»¼QÁ¼w¬}¶°P¿h´·²x²}®u²}½P´µž·‰Äc·cµ{²d´fºg³‰µr¿h´·c±oµž®w·B¼QÁ±}´f²o²dµr·c¶cÑ

'´¾P¬d´fÙ]´¬t²d®Œ°c±}´²d½P´¡Ù]®w¬d¿°PÁ`¼N²dµr®·=µr·

u^µ#Ñ´wÑ/´°c¼N²dµr®· ç t¯B´!»¼Q°B±o´¡¹´»¼Q·°c±o´

²}µž¶w½²¯4®w°P·c³c±Vµr·ˆ®w°c¬¼QÁž¶w®w¬dµr²}½P¿ #±o´´

Ï

´»i²dµr®·ˆßPÑàPÑß ¹„½cµž»p½ˆ½c¼Ã´Œ·P®7´°cµrÃN¼QÁž´·²µž·

²}½c´¡²d¬}°B±[²}º5¬d´¶µr®·±o´²o²dµr·P¶ ]µ5Ñ´wѲ}½c´¡Ù]®¬}¿Œ°PÁ`¼N²}µž®w·‡µr·

τ^iÑ ´Ã´¬}²}½P´Ár´!±}±¸²}½P´¬}´Vµ`±b¼u»f®¬oº

¬d´±}¾B®·c³‰´·B»f´b¯B´²[¹´´·Œ²}¬d°c±[²}º5¬d´¶µr®·¾P¬d®w¯PÁž´¿z±/¼w·c³²d½P´„¬}®¯P°c±o²»®w¿h¾PÁžµž¼w·c»f´x¾P¬d®w¯cÁr´¿ Ñ

Õx½P´u¬}´!±o°cÁ{²p±¼w³‰ÃN¼Q·B»f´³£µr·›¾c¼w¾B´¬d±V³‰´!¼QÁžµr·P¶ ¹„µr²}½'²}¬d°c±[²}º5¬d´¶µr®·)¾P¬d®w¯PÁž´¿z±¡¹„µrÁžÁ/¿z¼N²p»p½

²}½c´¬}´!±o°PÁr²„¾P¬d®NÃw´·‡½P´¬d´wÑ

¦ MPL œ‘Tf\5\#^q|1U

m = 0 ^q|'a+e}WwvYrTy ç YžTdXk_\gW£\qScT‡_p\gXN|+kwXQe}k=a4e}WvfYrTy W[Z npWNya4Y€^XQ|4npTXN|4k_Tf\5\#^q|1U

f = 0 YrTpXwk_„\gWXN| Tf^{UTf|B’XQY€jcT/a4e}WvfYrTy”5\]SPT„_WNmonpXNYqYrTpk ¡jcndS‰m yuj‰\#l¡’XQei^XN\5^WN|4XQYNa+ei^q|4n^a4YrT5—Q‚ŒR4ScTfedT^`_xj‰|c^–jcTf|+Ti_p_bWoZx\qScTxyzX…^qyŒ^rŠ!Te„^q|z\qScTtep_p\

npX_Tuvfj‰\|4WN\^q|£\]SPT_TdnpWQ|4kWQ|4T^q|ŒZpj‰YqYBUT|4Te}XNY€^q\5lw‚=R+S1^`_ŒkQ^TfedTf|+ndTŒs/^qYqYvdT_TdT|£^q|

\]SPTnpSPXQe}Xwn\9Tei^rŠ!XN\5^WN|ˆW[Z¡\qScTVyhX…^qyŒ^rŠ!Tep_f‚zR+SPTxa4e}WvfYžTfy™W[Z¡e}Wwvj1_i\tWda4\5^qyu^rŠXQ\#^WQ|›npXN|

vpT„^q|B\9Te5a4e}T\gTdkX_XN|=^q|B\9TeiyhTpkQ^XN\gT,a4edWwvYrTfy vpTf\5stTpTf|\qScTx_i\9XQ|4kXNe}knpWQya+Y€^XN|+ndTa+e}Wwvm

YrTy™XQ|4k=\qScTŒT^{UT|c’NXNY{jcT„a+e}WwvYrTyh‚

! ! KM‰K ¦•¦ K ©10 K ¦ L ¦ J ]K

×t¼»p½‡µž¿h¾PÁrµ`»fµr²¼w±d±}´¬}²}µž®w·®wÙ?²d½Pµ`± Ï ´»f²}µž®w· µž±„²}®h¯B´¾c¬}®Nô·Á`¼N²d´¬!Ñ

¦K #©WN|P_i^kTfeu\qScTVUT|4Te}XNY{^rŠTpk7T^{UT|Na+e}WwvYrTy "b|+k

u∈V ^XN|+k ρ∈IR

_ijcndS$\qScXN\

Au=ρB^∗Bu‚=hTkTt|4T

\]SPTuTf^{UT|P_5aPXnpTi_#"

Eρ=Ker(A−ρB^∗B)^‹ \]SPT_Tf\xW[ZT^{UT|c’NXNY{jcTi_#"

Sp(A,B) ={ρ ^_‚ž\9‚ Eρ6={0}}^‹ \]SPT_iyhXQYqYrTi_i\„Tf^{UT|c’NXNY€jcT "

λ1=min{λ∈Sp(A,B)}^‚

¦K #© L ¦ ª © M]K ¦ L M‰K B¦“WQeŒXUw^q’NTf|

ρ _ijcnpS7\]SPXN\

f ⊥Eρ

‹tstT

kwT|4WQ\9Tuvl

uρ

\qScTj‰|B^–fjcT_WNY€j‰\5^WN|ˆW[Z

Auρ = f+ρB^∗Buρ, Auρ ∈ (Eρ)^⊥.

„´»¼QÁžÁ/²}½B¼N²

Eρ

¯4´µž·P¶)¼)±}°P¯c±}¾c¼w»´u®wÙ

V¸,µ{²p±®w¬}²}½c®w¶w®·c¼QÁ

(Eρ)^⊥ µ`±¼$±}°P¯c±}¾c¼w»´

®QÙ²d½P´Œ³‰°B¼QÁ

V^0Ñ µ{²d½$²}½P´!±o´Œ·P®Q²p¼N²dµr®·c±¹b´»¼w·$·P®N¹~±[²p¼N²d´®w°P¬¡¿z¼Qµž·$¬}´!±o°PÁr²µž·$²}½cµž±

Ï ´!»i²}µž®w·“Ñ

¦1©

L

¦ ‡©

I?JKhO

©1 , M O

¦ “T\

F(u) vpTukwT#|+Tdk‡vfl

ç ‚

➢ ^ƒ]Z f ⊥Eλ1

XN|+k

λ1kBuλ1k ≤m‹\]SPT|$\]SPTV_T\W[ZVyzX…^qyu^rŠ!Tfep_W[Z

F ^WN’NTfe V

^`_Td…1Xwn\#Y€l "

{uλ1+v ^_f‚ž\g‚ v∈Eλ1

XQ|4k

λ1(kBvk+kBuλ1k) =m}.

➢ ƒ]Z\]SPT„a4edTf’!^WNj1_ŒnpWN|+kN^q\5^WN|c_ŒXNe}TŒ|4WQ\yzT\‹\]SPT|£\]SPT_Tf\„W[ZyzX…^qyu^rŠ!Tfep_ŒWoZ

F

^`_Td…1Xwn\#Y€l

{us}^‹s?SPTe}T s npXN|›vdTukwT#|+Tpkz^q|£\5stWTp–j‰^q’XQYrT|c\bstXNl_#"

♦ s ^`_\qScTj‰|B^–fjcTe}TpXNY

∈]0, λ1[ _ijcnpS7\]SPXN\

skBusk=m^‹

♦ s ^`_\qScTŒWQ|cY€lnei^q\#^npXQY‰acWN^q|c\„WN|

]0, λ1[ W[Z\]SPTunpWN|c’NTd…Zpj‰|+nf\5^WN|

ρ7→(f, uρ) +m² ρ .

Õx½P´bÄc¬p±[²²d½Pµr·c¶¡²d®V¾P¬}®Nôtµ`±,²}½c¼Q²

F(u)¼³‰¿hµ{²p±/¼¿z¼QØ1µž¿hµrÀ´¬¼w·c³²d½c¼N²²d½P´x¿h¼Q؉µr¿Œ°P¿

µ`±¡¼ »f¬dµ{²dµž»¼QÁ,ÃN¼QÁž°P´wÑÕx½P´·¸‘¹´Œ¹„µrÁžÁ¯B´h¼Q¯cÁr´Œ²}®‡¹®¬ 7¹„µr²}½)²d½P´h»f¬dµ{²dµž»¼QÁ,¾B®µr·²V´°c¼Nº

²}µž®w·“Ñ=Õx½P´=»¼±o´

B ≡0 ¯B´µr·P¶$®¯1õž®w°B±¸¹b´z±o½B¼QÁžÁ»f®w·B±oµ`³‰´¬·c®w·›À´¬d®7¾B´¬o²d°P¬d¯c¼N²dµr®·

®w¾4´¬p¼N²d®w¬p±Ñ

+ L ©',© J K © /_p_ij‰yhT

B ^`_|+WN\Tp–fjcXQY?\gW

0 ^WQ| V‚$R4ScTfedT=T}…^`_i\#_ŒXN\„YrTpX_i\WQ|4T yzX…^qyŒ^rŠ!Te‡W[Z ç ‚ j‰ei\qScTfeiyzWNedTi‹|4W$yzX…^qyu^rŠ!Tfe‡vpTYrWN|1UN_=\gW

Ker(B^∗B)‹_W£\qScXN\

T’TeilzyhX…^qyŒ^rŠ!Te

u ^WoZ F _fXQ\#^`_]bTi_\]SPTbj‰YrTeim“XUQe}XQ|UTŒTp–jcXN\5^WN| "

Au=f+ m

kBukB^∗Bu. ^]è

+ L

©©10

¡´·P®w²}µž·P¶z¯1Â

ν >0²}½P´»®´¬d»µrÃ1µr²[»f®·c±o²d¼Q·²®wÙ

A

¸cµr²µž±„´!¼w±}µrÁžÂ‡±}´´· ²}½c¼Q²

F

µ`±·P´¶¼Q²}µžÃw´®w°P²d±}µž³‰´²}½P´Œ¯c¼QÁžÁ,®QÙ¬p¼w³‰µž°c±

γ= 2^kfk+mkBk_ν >0^{Ñ Ï µž·c»f´} F(0) = 0^¸c²d½P´

¿z¼N؉µž¿°P¿ µ`±„¼N²}²d¼wµr·P´!³µž·c±}µž³P´¡²d½Pµ`±x¯c¼QÁžÁ#Ñ¡±oµž·P¶u²}½c´V»®1´¬p»fµžÃµr²[Âz®QÙ

A¸1²d½P´»f®·²}µž·°cµ{²[Â

®QÙ

B^∗B¸1¼Q·c³z²}½P´»f®w¿h¾c¼»i²b´¿¯4´³c³‰µr·c¶®QÙ

V ^µr· H¸²}½P´Ù]°P·c»i²dµr®·c¼QÁ

F »¼w·=¯4´¡±}½P®N¹„·

²}®h¯4´°P¾P¾4´¬±}´¿hµrº9»®w·²}µž·1°P®w°B±ÑÕx½P´·“¸‰²}½P´¿z¼QØ1µž¿°c¿ ®QÙ

F µ`±¼N²}²d¼wµr·P´!³‘Ñ

á

·z®w¬p³‰´¬²}®±}½P®N¹Ó²d½c¼N²t²}½P´¿z¼QØ1µž¿°c¿ µ`±¼»¬}µr²}µ`»¼wÁPÃN¼QÁž°P´w¸¹´½B¼Ãw´b²}®¾c¬}®Nô²d½c¼N²

·P®Œ¿h¼Q؉µr¿hµžÀ´¬®QÙ

F »¼Q·=¯4´Áž®w·c¶²}®Œ²}½P´±o´²b®wÙ¾B®µr·²p±t¹„½P´¬}´

F µž±·P®w²b³‰µ4´¬}´·²}µ`¼Q¯PÁž´w¸

µ5Ñ´Ñ/®w·

Ker(B^∗B)^{Ñ Ï °c¾P¾B®±o´} u∈Ker(B^∗B)µ`±„¼h¿z¼N؉µž¿uµžÀ´¬x®QÙ

F^{¸‰²}½P´·}

F(u) =−(Au, u) + 2(f, u)≤(f,A⁻¹f)≤(f,A⁻¹f) + 2mkBA⁻¹fk=F(A⁻¹f).

Õx½P´=µž·P´°B¼QÁžµ{²dµr´!±¼Q¬d´h²}½c´·•´°B¼QÁžµ{²dµr´!±Ñ$Õx½P´·

u = A⁻¹f ∈ Ker(B^∗B)^{Ñ % ®¬Œ¼Q·1Â} v^⊥ ∈Ker(B^∗B)^⊥ µ{²Vµž±´!¼w±}‡²d® ±}½P®N¹ ²d½c¼N²

F(A⁻¹f +tv^⊥)> F(A⁻¹f) =F(u)

Ù]®w¬±}°=»fµž´·²dÁr±}¿z¼QÁžÁ

t¸P¹„½Pµ`»p½$»f®w·²d¬d¼³‰µž»f²d±²}½c´¿h¼Q؉µr¿z¼QÁ»p½B¼Q¬p¼w»i²d´¬b®QÙ

u^Ñ 2

)$'1 $ )*" "% 3 " $' "

á

·7²}½cµž±

Ï

´»f²}µž®w·¸4¹b´±o®ÁrôV²}½P´u»f¬dµ{²dµž»¼QÁ?¾B®µr·²¡´°c¼N²dµr®· è ¯Â7±}¾PÁrµr²o²dµr·c¶µr²¡µž·²d®z²[¹b®

±}°P¯‰º9´°c¼N²dµr®·c±Ô

Au = f+ρB^∗Bu , ^#à

ρ = m

kBuk.

% ®¬¼w·1 ¶µrô·

ρ¸+¹´h±}®wÁžÃw´ 5àµr·£²}´¬d¿z±®wÙ

uÑÕx½P´·£¹b´°c±}´Œ²}½P´h»p½c¼Q¬p¼w»f²}´¬}µžÀ¼Q²}µž®w·

®QÙ?²}½P´±}´f²®wÙ

u^¹„½c´· ρµž±bÄP؉´!³²d®uÄc·c³‡²}½P´¼³‰¿hµž±d±}µr¯PÁž´

ρ^Ñ

.- ! ¦ L ¦ ª © M]K ¦ L M‰K B¦

% ®¬„¼Œ¶µrô·

ρ¸1²d½P´V¾P¬}®¯PÁž´¿ ®wٓÄc·c³Pµr·P¶

u±}®wÁž°‰²}µž®w·‡®QÙ #àbµ`±x¼h³‰µr¬d´»f²¼Q¾P¾PÁžµ`»¼N²dµr®·®wÙ

²}½c´ % ¬d´³‰½P®Ár¿ ¼QÁr²}´¬d·c¼Q²}µžÃw´wÔ

+ L ©',© J K © ŒT#|+T$\]SPT›Tf^{UT|P_5aPXnpTi_'XN_

Eλ = Ker(A−λB^∗B) XN|+kŸ\]SPT _5aPTpn\#eij‰y X_

Sp(A,B) ={λ∈IR ^_‚ž\g‚ Eλ6={0}}^‚ “WQe¡UQ^q’NT|

f ∈V^{0 XN|+k} ρ∈IR^‹

npWN|c_p^kTfe\]SPTZfWNYqYžWNs/^q|U$Tp–jcXN\5^WN|'^q|

u^"

(A−ρB^∗B)u=f. ^#à

R+SPT_Tf\„W[Z_WNY{j‰\#^WQ|P_^`_UQ^q’NTf|Ÿvlz\qScT e}TpkScWNY€y XNY€\gTei|4XN\5^q’NT "

• ^{^Z} ρ6∈Sp(A,B) ^\qScTf| \]SPTe}TuT}…^`_i\_Xzj‰|B^–fjcT_WNY€j‰\5^WN|

{uρ},

• ^{^Z} ρ∈Sp(A,B) ^{\qScTf| ^Z} f 6⊥Eρ

\qScTf|'\qScTfe}T^`_|4Wz_fWQY€j‰\5^WN|

, ^{^Z} f ⊥Eρ

\qScTf|'\qScT_T\bW[Z_fWQY€j‰\5^WN|P_^`_

{uρ}+Eρ.

ƒi|‡\qScT¡YrX_i\npX_Ti‹

uρ

^`_¡npSPWN_fT|$X_\]SPT¡j‰|c^–jcT|+WNeiyzXNY€^rŠ!Tpk_WNY€j‰\5^WN|c‹?^‚qT!‚

Auρ∈E^⊥_ρ ^‚

+ L ©©10 bÂ=¿°PÁr²}µž¾PÁžÂ1µr·P¶#àb¯1Â

A^1/2u¹´V®¯‰²d¼wµr·Ô

(1−ρA^−1/2B^∗BA^−1/2)A^1/2u=A^−1/2f

¹„½Pµ`»p½‡µ`±¼h±}½Pµ{Ùq²d´³ ¾P¬d®w¯PÁž´¿ ¾B®±o´!³®·‡²d½P´

µžÁž¯B´¬o²±}¾c¼w»´

H^Ñ

b´»¼w°c±}´

Λ = A^−1/2B^∗BA^−1/2

µ`±¼)»®w¿h¾c¼w»f²Œ±}´ÁrÙqº9¼³'[®wµž·²®w¾4´¬p¼N²d®w¬VÙ]¬d®w¿

H

®w·²d®

H^¸ Λ¼w³‰¿hµr²d±,¼Q·®¬o²d½P®w·c®w¬d¿h¼wÁrµžÀ´!³´µž¶w´·1¯c¼±oµ`±®wÙ

HÑ,Õx½Pµž±,´µr¶´·1¯c¼w±}µ`±µ`±“®¬o²d½P®w¶wº

®w·B¼QÁ/Ù]®¬

Λ ¼Q·B³›²}½P´»®w¬d¬}´!±o¾4®w·B³‰µr·c¶ ´µr¶´·1ÃN¼QÁž°P´±Ù]®¬}¿ ¼)»f®°P·²d¼w¯PÁr´=±}´°P´·c»f´h²d½c¼N²

»f®·1Ãw´¬d¶w´!±²}®

0ф×t¼w»p½$´µr¶´·c±}¾c¼»f´!]´ØP»f´¾P²¡¿z¼Â1¯B´Ù]®¬²d½P´ ´¬d·P´Á®wÙ

Λ„µ`±®wÙ/Äc·Pµr²}´

³‰µž¿h´·c±}µr®·Ñ£æ¡·c»f´=±}½PµrÙq²}´!³‘¸²}½P´‡±o®Ár°‰²dµr®·›²}®)´°B¼N²}µž®w· 5àV®¯B´Â‰±V²}®$²d½P´ % ¬}´!³‰½P®wÁž¿

¼QÁr²}´¬}·B¼N²}µžÃw´¹„½Pµ`»p½‡µ`±„â¬d®w¾4®±}µr²}µž®w·$߉ÑåPÑ

2

¦ MPL ™R+SPTkTt|c^q\5^WN|£WoZ

A^1/2 yzXNl=vpT–j‰^q\9T_ijcv\#YžT^Z

A ^`_npWN|c_p^kTfedTdkX_

XN|WpaPTe}XQ\9WQexXnf\5^q|UtZpe}WNy

V ^{^q|B\9W} V⁰‚tƒi\^`_„TdXN_i^Tfex\gWj‰|4kwTep_i\9XQ|4k

A X_XN|hj‰|+vdWQj‰|4kTdk WdacTe}XN\gWNeZpe}WQy

H→H XN|4k=\9W=\9X!†wT

f ∈H^‚

½P´·

f ⊥ Eρ

¼w·c³

ρ µ`±¼w·Û´µr¶´·1ÃN¼QÁž°P´w¸b²d½P´¬d´)¼Q¬d´$¿°PÁr²}µž¾PÁž´£»p½P®µž»´±hÙ]®¬z²}½P´

³‰´Äc·Pµr²}µž®w·u®QÙ

uρ

ћ´»p½P®±}´t½c´¬d´

Auρ∈E_ρ^{⊥ ±}®²d½c¼N²} uρ

½c¼±“²d½P´bÙ]®wÁžÁr®N¹„µž·P¶¾P¬d®w¾4´¬}²[Â4Ô

t¦! M ƒ]Z

ρ∈Sp(A,B) ^XN|4k f ⊥Eρ

\qScTf|

∀v∈Eρ

stTScXN’NT "

kBuρ+Bvk=kBuρk+kBvk. ^9ä

+ L

©©10 áÙ

v∈Eρ

¸1²}½P´·

Bvµ`±b¾P¬d®w¾4®w¬}²}µž®w·c¼wÁP²}®

Av ¼Q·B³h²}½P´±}Â1¿u¿h´²}¬dÂu®wÙ²}½c´¡®¾B´¬oº

¼N²d®w¬

A²}®¶w´f²d½P´¬x¹„µr²}½ ²}½c´®¬o²d½P®w¶®w·c¼wÁrµr²[Âh»f®w·B³‰µ{²dµr®·‡®wÙ

uρ

Â1µr´Áž³P±b²d½P´®w¬}²}½c®w¶w®·c¼QÁžµr²[Â

®QÙ

B^∗Bv ^¼Q·c³ uρ

Ñ

2

'´$·c®N¹ ±}½Pµ{Ùq²‡¯c¼w» Ÿ²d½P´)±}¾B´!»i²}¬p¼QÁ³P´»f®¿h¾B®±oµr²}µž®w·Û®QÙ

Λ ²}®Ÿ®¯‰²d¼wµr· ¼›¬}´!±o°PÁr²=µž·

²}´¬}¿z±x®wÙ

A ^¼Q·B³ B^Ñ

+ L ©',© J K © ! R+ScTfe}T‡T}…^`_i\

I1

XQ|4k

I2

‹„\#stW$npWQya+YrTfyzT|c\gXNeil _ijcvi_T\_uWoZ

IN^‹¡X

_Tp–fjcT|4npTWoZe}TpXNY‰aPWN_p^q\5^q’NT|Bj‰yhvpTep_

(λi)i∈I1

XQ|4k

(ei)i∈IN

XvpXN_p^`_ŒWoZ

V _ijcnpS7\]SPXN\ "

Aei = λiB^∗Bei ∀i∈I1

B^∗Bei = 0 ∀i∈I2

(Aei, ej) = δi,j ∀i, j

(Bei,Bej) = 0 ∀i6=j

f = X

i∈IN

fiAei

s?SPTe}T

fi= (f, ei) ∀f ∈V⁰

ä

R+SPT|4WQeiyhXQY€^rŠ!Tdk$_WNY€j‰\5^WN|

uρ

\]SPT|ÐXkNyu^q\_z\]SPTZfWQYqYrWNs/^q|1UˆT}…fa4edTi_p_i^WN|c‹\9W$s?S1^npSŸstT

s/^qYqY“edTZfTeX_]\]SPTuXN|4XQY€lN\5^ndXQY,Td…fa4e}Tf_p_p^WQ|¡W[Z

uρ

"

uρ = X

i∈I1

λif_i

λi−ρei+X

i∈I2

f_iei, ^Þ

s/^q\]S'\qScT=npWN|c’NT|c\5^WN|Ÿ\]SPXN\#‹x^ZŒ\]SPTe}T=Td…^`_i\_uXQ|

i _ijcndS£\]SPXQ\

ρ=λi

‹„\qScTf|

f_i = 0 ^”[WQe

TY˜_T

uρ

kWz|+WN\„T}…^`_i\{—=XN|+kz\]SPTunpWNeie}Tf_5aPWQ|4kN^q|1U‡\9Teiy

λif_i λi−ρ

^`_Tp–jcXNY\gW

0^‚

.- ¦ J ¦ K ©10 OQL K OM ,t© ! KJ

$„Ùq²d´¬ #à ‘½c¼±“¯4´´·Œ±}®wÁžÃw´!³VÙ]®w¬¼¶µrô·

ρ¸N¹´b»¼w··P®N¹•±o®Árô “¼w·c³VÄc·B³²}½c´b»®w°P¾PÁž´³

±}®wÁž°‰²}µž®w·

(ρ, u)^Ñ

¦

K

#©! -/?T\

Y1

XN|+k

Y2

vpT\qScTtZfWQYqYrWNs/^q|1U‡_pjcvf_Tf\#_W[Z

IR^"

Y1 = {ρ∈IR ^_‚ž\9‚ ρkBuρk=m}, Y2 = {ρ∈Sp(A,B) ^_‚ž\9‚ f ⊥Eρ

XQ|4k

ρkBuρk ≤m}.

+ L ©',© J K © ! ™R+ScTnpWNj!a4YžT

(u, ρ) ^`_Xznfei^q\5^npXNYacWN^q|c\bW[Z

F ^q|7\qScT_Tf|c_T\qScXN\/^q\

^`_Xh_WNY{j‰\#^WQ|›W[ZTp–jcXN\5^WN|c_ #à XN|+k ‹^ZXQ|4k WN|cY{lz^Z

u=uρ

XN|+k

ρ∈Y1

WNe

u∈ {uρ+v ^{s/^q\]S} v∈Eρ

XQ|4k

ρ(kBvk+kBuρk) =m} ^XN|4k ρ∈Y2

s?SPTe}T

uρ

^`_kwT#|+Tdk=^q| uTt|c^q\5^WN|)¢1‚Q‚

+ L ©©10 Õx½P´¾P¬d®1®Qّµž±x¼Œ±oµž¿h¾PÁr´¼QÁž¯B´µ{²xÁž´·P¶w²}½1Âz»f®w¿h¾P°P²d¼N²dµr®·¸¯c¼w±}´³z®·=â¬d®w¾4®±}µ{²dµr®·

߉Ñå$¹„½Pµ`»p½Ó»p½c¼w¬d¼»i²d´¬dµrÀ´±²}½c´ ±}®wÁž°‰²}µž®w·B±®QÙ #àfћ´®¿hµ{²Œ²}½Pµ`±¾c¬}®1®Qل²d½c¼N²h»¼w·•¯B´

Ù]®w°c·c³ µr·›ÚrÜèNÝ9Ñ

2

3 ) $'* "

! ‡¦ JKL OQK #© © K ¦ ,t© JJ I¦ M ¦ LJ

›´¾P¬}®Nô²d½c¼N²„²d½P´ÃN¼QÁž°P´®QÙ

F(u)¼N²¼z»f¬dµr²}µ`»¼QÁ‘¾4®wµž·²

(u, ρ) ]¹„½Pµ`»p½$±o®Árô± #à x¼Q·c³ ®w·PÁžÂ$³‰´¾4´·c³c±®·

ρ^Ñ '´h¼QÁ`±o®z¾c¬}®Nô²}½c¼Q²¡µrÙ¹´Œ¹b¼w·²²}®¿z¼QØ1µž¿hµrÀ´

F^{¸4²}½P´·} ρ

±}½P®w°PÁ`³‡¯B´V²p¼w´·²d½P´±}¿h¼wÁrÁž´±o²„¾B®±}±}µž¯PÁr´Ñ

+ L

©',©

J K

© ! ?WNeXQ|cl

(u1, ρ1) ^XQ|4k (u2, ρ2) nfei^q\5^npXNYPaPWQ^q|c\#_WoZ

F stTVSPXN’NT "

F(u1)≥F(u2)⇐⇒ρ1≤ρ2

XQ|4k

F(u1) =F(u2)⇐⇒ρ1=ρ2. ^å

R+SPTe}T#ZfWNe}T\qScT=WN|BY€lŒaPWN_p_p^vYrTyhX…^qyŒ^rŠ!Tep_zXQe}Tz\]SPT

(u, ρ^∗) nei^q\#^npXQY+aPWQ^q|c\#_Œ_ijcnpS'\qScXN\

ρ^∗= min (Y1∪Y2)^‚x|4npT ρ^∗ ^`_/ZfWQj‰|4kN‹be}WpaPWN_p^q\5^WN|

2.14 Uw^q’Tf_\]SPTuXwkwTp–jcXN\gT

u^‚