Some applications of l ∞ -constraints in image processing

a p p o r t

d e r e c h e r c h e

ISRNINRIA/RR--6115--FR+ENG

Thème COG

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Some applications of l ^∞ -constraints in image processing

Pierre Weiss — Gilles Aubert — Laure Blanc-Féraud

N° 6115

November 2006

l

%'&)(+*,*!(.-/(0&21,1.3546&)727)(0189:;(0*=<>35?A@B9*,(.CD7)@FEGIHJLK+*M@F9N

OQPSR=TVUW$XY[Z]\_^a`cbdR!TVU!`fe=gihijlkmbnkmop`

q;rdgistUbn`$uArdkwvIjBv

xAvIySyFgirdbfz_U'rdU,e{PSU=r{e{PSU|j~}€SiM‚Z„ƒAg†…iU!T‡FU=rAˆI‰+‰i'Z]ŠiŠDylvihiU!`

‹Œ€Ž!=†‘S’ii“ X•”lr$hig+vi–k—jbnPSk˜`fylvIyFU=rfkw`Qbnghik˜…iU'vI–˜hig+rdk—bdPST`#o™girATDk˜jSk˜TVk—š!k—jShh+U=jSU!rdkweLrdU!hi”S–wvIrnk˜š=k˜jSh

o™”ljle›bnk—g+jlvI–w`”Sjlz_U!r;v

l^∞œeg+jl`tbnrnvik—j0b,Ÿž Uf`dPSg†¡¢bdPlvIb5TVvija^e–wvi`n`ckwe=vi–aTDg_z_U!–˜`5”l`ck˜jShLbdgibnvi–_…Mvirdkwv†bnk—g+j e!vIj‡BU`tb{v†bdU,z”ljlz_U=rfbdPSkw`Qo™girnTvI–˜k˜`dT5ufTVgijlhgIbdPlU=r{`$vIrnUAbnPSUx$”lzSk—j

œ

XL`dPSU=r

œ¤£

v†bnU=TVk~TDg_z_U!–2¥lbdPSU

BV −l¹ TDg_z_U!–2¥€bnPSU

BV −l^∞ TVg_z_U=–vIjlz§¦6U!^iU!r!¨`e=vircbngagijF©AbnUªabd”SrnUz_U!e=giTVyFg+`dkmbnk—g+j«TVg_z_U!–2

OQPlU=j¡#U'z_U,`de=rdk˜‡BU'vhiU!jSU=r{vI–eg+ja…iU=rnhiU!j0bvI–˜hig+rdk—bdPlT¬bdg`cg+–—…+U•`d”le{PySrdg+‡S–˜U=T`=­OQPSkw`$vI–˜hig+rdk—bdPlT®k˜`

bnPSULySrdgistU!ebdU!z`c”S‡lhir{viz_k˜U=j0bzSU!`neU=j0b,€ž«U•¯ljlvI–˜–˜^hik˜…iUAja”STVU!rdkwe=vi–BrnU!`d”S–—bn`;bdPlvIbQ`dPSg†¡°bdPlUL±0”lvi–—k—bdk˜U!`

vijlzD–—k˜TVkmb{`5gio~g+”Sr5TVg_z_U=–w`!¥0vijlzD¡#UQb{vie{²a–—UQbnPSUA±0”SU,`tbnk—g+jgIoFbdPSU•”l`cU$gio~bdPSU$bngIb{vI–S…†vIrnkwv†bdk˜gijDbngbdrnU!v†b

‡Fgi”ljlz_U!zjSg+k˜`dU!`Q`d”le{P6vi`$±0”lvij+bnk—š,v†bnk—g+jjSg+k˜`dUi

³6´0µ~¶n·¸ †¹€Ži“

l^∞œjlgirnT¥IbdgIb{vI–S…†virdkwv†bnk—g+jTVk˜jSk—TVk˜š!vIbdk˜gijŸ¥+‡Bg+”Sjlz_U,zVjSgikw`cU,`=¥+z_”lvI–˜k—bt^i¥+±0”lvij0bdk˜š!v†bnk—g+j jlgikw`cU+¥SegiTVySrnU!`n`dk—g+jjSg+k˜`dUi¥_ySrngIstU,e›bnU!z`c”S‡lhir{viz_k˜U=j0b$z_U!`neU!j+b,

º®»$¼V»$½' =#€¿¾$½#€=€$

l

$À{f$

¾ÂÁt="$

ÃÄ Ž!Å€Æ Ä “AÇ vijl`5e=U$rnviySyBg+rcb­z_U$rnU!e{PSU!rne{PlUi¥IjSg+”l`ySrnÈ!`dU=j0bdg+jl`yS–˜”l`dk—U!”Srn`TVg_z_R!–—U,`5z_U$rnU!`cbnvI”lrnvIbdk˜gij

g+”ÉzSUzSÈ!eg+TVyBg0`ck—bdk˜gij°z¨k—TvIh+U!`±0”Sk$g+j+b–wvÂylvIrdbdkwe”l–˜virdk—bdÈz_UopvIk˜rdU6viySylvIr{vMÊwbdrnU”SjSU6eg+j+bnrnvik—j0bnU

l^∞.ƒfg+”l`TVg+j+bnrdg+jl`±0”SUËyl–—”l`dk˜U=”Sr{`TVg_z_R=–˜U!`De–wvi`n`dk˜±0”SU,`'”_bdk˜–˜k˜`nvIj0b–wv6…†vIrnk˜vIbdk˜gijÂbngIbnvi–—UyBU!”S…iU!j+b

`!¨Uª_ySrnk—TVU=r`cg+”l`eU=bcbnUo™girnTVUiq­vIrnTDkz¨vI”_bnrdU,`=¥€jSgi”B`'rdU=bdrngi”S…+gijl`–˜UËTVg_z_R=–˜Uz_Ux$”lz_k˜j

œ

XL`cPSU!r

œ

£

v†bnU=TVk2¥;–—U,`TVg_z_R!–—U,`

BV −L^{1 Ub} BV −L^∞¥#vIk˜jl`ckQ±0”SU–—UTVgazSR=–˜Uz_Uz_È,egiTVyFg+`dkmbnk—g+jÌz¨”SjSU k˜TvIh+UU=jÌhiÈ!giTVÈbnrdk˜UU=bbnUªabd”SrnUzSUÍD5¦6U=^+U=r,«ƒAgi”l`DTVk—jlk—TVkw`cg+jl`D”SjSUo™gijlebdk˜gijSjSU!–—–˜Uegija…+Uª_U

zSUrnÈ=h+”S–wvIrnk˜`nv†bnk—g+jŸ¥;`dgi”l`e=gij0bdr{vIk˜j0bdU!`

l^∞ÎƒAgi”l`ËTDg+j0bdrngijl`V±0”Ÿ¨”SjSU.z_U,`de=U=j0bdU6z_U6`dgi”l`

œ

h+rnv+z_k˜U=j0b

ylrdgistUbdÈyFU=rnTVUb•z_UrdÈ,`cg+”lz_rnUe=U'ySrngi‡S–˜R=TVUz_U'TvIjlk—R!rdUe=gija…iU!rdh+U=j0bdU+5ƒfgi”B`fz_gijljSgijl`$¯ljlvI–˜U=TVU!j+b

yl–—”l`dk˜U=”Sr{`€rdÈ,`c”S–—bnvIbn`€ja”STVÈ=rnk˜±0”SU,`±+”lk_TDg+j0bdrnU=j0b±0”SU!–˜±0”SU,`­±0”lvI–˜kmbnÈ!`€Ub­–˜k—TVk—bdU,`­z_U!`TVg_z_R=–˜U!`È=bd”lzSk—È,`=

ƒAgi”l`#¯ljlk˜`n`cg+jl`#ylvIrQTVgij0bdrnU=rQ±0”SUL–˜v…†vIrnk˜vIbdk˜gijbngIbnvi–—ULjŸ¨U!`cbyBvi`#bdg+”†stgi”Sr{`–˜vo™gijBe›bdk˜gijljSU=–˜–—UL–wvyS–˜”l`

v+zSvIySbdÈ=UÏV–wvVrnÈ=hi”l–˜virdkw`dvIbdk˜gijz¨k˜TvIh+U!`$U!j+b{Ðie{PSÈ!U!`$z_U‡Srd”lkmb{`$‡Bg+rdjlÈ!`Ñp‡Srd”lkmb{`Az_Ue=giTVySrnU!`n`ck˜gijBÒ¥SUb

±0”SU'z_U,`Qo™gijBe›bdk˜gijljSU=–˜–—U,`Q–—kw`n`dvij+bnU!`yFU=”S…+U=j0bAz_gijljSU=rfz_U,`QrdÈ,`c”l–mb{v†bn`Qyl–—”l`A`dvIbdkw`topvik˜`nvIj0bn`!

ÓÔ¸ ,Ž ¶ ’iÕÄ ŽÖ“ jSg+rdTVU

l^∞¥ATVk˜jSk˜TDkw`nv†bdk˜gijÖz_U –wvׅ†virdkwv†bnk—g+jØbdgibnvI–˜Ui¥A‡Srd”lkmb{`‡FgirnjSÈ,`=¥f‡lrd”Sk—bn`z_U e=giTVySrnU!`n`ck˜gij¥0‡lrd”Sk—bn`$zSU±+”BvIj0bdk—¯Be=vIbdk˜gijŸ¥SzS”lvI–˜kmbnÈi¥Sz_U,`de=U=j0bdU'z_U`dgi”B`

œ

hir{viz_k˜U=j0bySrdgistUbnÈ

ÙچÛÜÝ{ÞiÞ~ßáàpâ{݆ã)àpچäSåVÚtæ

l^∞çâ{ÚIäSå›ã2èn݆àéälã2åàéä>àéÛÝ=ê0ÜQÞ~èdÚ!â{Üå{å{àéäaê

Š

ëԀ$€

ìîíï

! ¸ ¹Å€’I,ð¸ ï ñ

òôó ¸ !‘_,ð¸ ï ŽV‘ ï ¹Ø¹ ´+õ ï ð™!ð¸ ï Ž ö

ˆS—ô\_yBU,ek—¯BejSgIb{v†bnk—g+jl`˝'''''L''''''L'''''''L' 

ˆSˆ÷xfU!e=vi–—–w`QgIo­eg+ja…iUªvijlvI–˜^_`ckw`ø''L''''''L'''''''L' ù

ˆSŠ Ç

kw`de=rdU=bdk˜š!v†bnk—g+jgiobnPSU'z_k—úFU!rdU!j+bnk˜vi–ŸgiyFU=r{v†bngir{`û'''L'''''''L' ü

ýÿþ

ðpŽ! ´ ï ’ ´ ‘ ï

¹ÎÅ

ï

ðÅ ´ ï ´ Ž,Ž ¸  ´ Ž ¸ Õpŏ!ð¸ ï Ž ¸  ¸ ŒÕ´ Æ

ìpì

Šl—5ªakw`cbdU=jBeU'gIo­vV`cg+–—”Sbdk˜gij®'''L''''''L'''''''L'

Šlˆ÷ƒAgij”SjSkw±0”SU=jlU!`n`QgIobnPSU`dgi–˜”_bdk˜gijl`.L''''''L'''''''L'

ô ð´0· ¸  ´  ¸,´ ’I ´ ¹ÎŽ!Ōl†‘S¹€ð´ ï

¹ ´ Ž,’ ´ ï 

ì

— OQPlU'ySrdk˜jle=k—yS–˜UgIo€bdPSUvi–—h+girnkmbnPSTø'L''''''L'''''''L' +

ˆ Ag†¡ÎbngËe{PSg+`dUAbnPSU`dU!±0”SU=jBeU

{tk}^! ''''''L'''''''L' +

Š÷q;rdg+hir{vITVTVk—jShVvi`dyFU!e›b{`$vIjlzeg+TVyS”_bdk˜jShVbnk—TVU6'''L'''''''L' Mˆ

ñ ‹ ï ´+· Ž ¸ Õpŏ!ð¸ ï  ¸§Ó|´0µF´ "˜ŽD’+‘_M ¸Ÿ¸ ï$#  ´ ,Ő ´ ¹ ´ ’ ¸ Æ ;¸ Ž!ðp!ð¸ ï  ¸ ŒÕ´ Æ ìaý

‚S— u[‡lrdk˜UoySrnU!`dU=j0bnvIbdk˜gijgiobnPSU'TVg_z_U=–˝''''''L'''''''L' ,Š

‚Sˆ W#”lrdrnU=j0b$ja”STVU=rnk˜e!vI–ŸvIylySrdg0vie{PSU,`D'L''''''L'''''''L' 

‚SŠ÷q;rdk˜jlek˜yS–˜UvIjlzk˜TDyl–—U!TDU!j0bnv†bnk—g+jgIog+”Sr$TVUbnPSg_z ''L'''''''L' M‚

‚S ƒA”STVU=rnk˜e!vI–k˜TVyS–—U!TVU=j0bnvIbdk˜gij°''L''''''L'''''''L' ,

‚S‚÷xfU!`d”S–mb{`Q'L'''''''L''''''L'''''''L' †ù

ö&%Ž!ð

ï

¹€Å‘lÕpð™

µ  ¸ Ž ¸ Õ

B´ l^{p  ¸ ŒÕ´ Æ׎ ì'}

l— OQPlU

BV −l^p TVg_z_U=–~''''L''''''L'''''''L' ,ü

lˆ÷OQPlU

BV −l¹ TVg_z_U=–''''L''''''L'''''''L' ˆ+ˆ

(*) €ðp’+ †ð¸  ¤¸ ËŒ ¸ Å ï ¹ ´ ¹ ï ¸ ð2Ž ´ Ž-,

ò.

ù_—*/AjSkw±+”lU=jSU,`d`$giobnPSU`cg+–—”Sbdk˜gij[''L''''''L'''''''L' ˆ

ù_ˆ /AjSk—o™girnT¿¡$PSk—bdU'jSg+k˜`dU10bdPSU32QvM^+U!`dk˜vij'st”l`cbdk—¯Be=vIbdk˜gij°'L'''''''L' ˆ+‚

ù_Š 4•”BvIj0bdk˜š!vIbdk˜gijjlgikw`cUrnU=TVg†…†vI–ø''L''''''L'''''''L' ˆ+‚

ù_ ƒA”STVU=rnk˜e!vI–Ÿz_U=bnvik—–w`.'''''L''''''L'''''''L' Š+‰

' 5 ¸ ï ’+ÕpŀŽ!ð¸ ï ý

‹ ‹ 6 ;´ ï ¹ð ýŸì

A

çJLK

ÙچÛÜÝ{ÞiÞ~ßáàpâ{݆ã)àpچäSåVÚtæ

l^∞çâ{ÚIäSå›ã2èn݆àéälã2åàéä>àéÛÝ=ê0ÜQÞ~èdÚ!â{Üå{å{àéäaê

‚

T U

¾»;

V jÂbnPSkw`ylviyBU!r¡UvIrnUk—j0bnU=rnU!`cbdU!z«k˜j¢v6e–wvi`n`'gioQk˜TvIh+UËrdU,`tbngir{v†bnk—g+j«vijlz§z_U!e=giTVyFg+`dkmbnk—g+j«TVg_z_U!–˜`

bnPlv†bAe!vIj‡BU'¡$rnk—bcbdU!j”ljlz_U=rfbdPSU'h+U=jSU!rnvi–Bo™g+rdTW0

uinf∈KJ(u) ^{Ñci˜,Ò}

¡$k—bdP

K z_U¯BjSU!zvi`X0

K={u∈Z,||u−f||∞≤α} ^{ÑciˆiÒ}

AU=rnU

f kw`­v•h+k—…+U=jDgi‡l`dU=rn…iU,zzSvIbnvl

Ze=vijrnU=ylrdU,`cU!j+b5vij0^'gioBbnPSUQbt¡gzSk˜`nernUbnUQ`dylv+eU!`L0

X =^{Y n}

g+r Y =X×X^ X kw`bdPSU'z_kw`de=rdU=bdU`cyBvieULgIo€k—TvihiU!`Ñpk—j¡$PSkwe{Pe!vi`dU

n=nxny

kw`#bdPSUja”ST‡FU=r$gio

ylkmª_U=–w`{қ

Y kw`QvzSk˜`nernUbnU•`dylvie=U•gio

2−D…+U!ebdgir#¯lU!–˜zS`љbt^0ylk˜e!vI–˜–—^Vhir{vizSk—U!j+b{`nҝ

£

k˜jlvI–˜–˜^i¥

J :Z→ ^Y

kw`$vVeg+j0…+Uªo™”SjBe›bdk˜gij

V j>bdPSUD…†vi`cb•–˜kmbdbdU=r{v†bn”SrnUz_U!…igIbnU!zbngz_U!jSgikw`dk—jShbdU,e{PSjSkw±+”lU!`•‡0^g+y_bdk˜TVk—š,v†bdk˜gij¥Bo™U!¡|TVg_z_U=–w`Ak˜j

œ

e=girnyBg+rnvIbdU

l^∞œ jSgirnT`=#X•jlU'gIo€bdPSU'rnU!v+`cg+jl`k˜`QbnPlv†bAbdPSU

l^∞œ jSg+rdT¿k˜`$jlgIbAz_k—úFU!rdU!j0bdkwvI‡S–˜Ui¥lvijlzbdPa”l`

zSk[ZËe”l–mb$bngDPBvIjlz_–˜U‡BgibdPja”STVU=rnk˜e!vI–˜–—^ËvijlzbdPSU!girnUbdkwe=vi–—–˜^iž«U'¡$k—–˜–Ÿ`dPSg†¡ØbdPlrdg+”ShiPSg+”_bQbdPSkw`QylviyBU!r!¥

bnPlv†b$g+”SrQo™girnT”S–wv†bnk—g+jv+e›bd”BvI–˜–—^Ëe=g†…iU=r{`v¡$kwz_Ur{vIjSh+U•gio”l`dUo™”S–vIySyS–˜kwe=v†bnk—g+jl`!E\Ubf”l`Qh+k—…+ULvD‡Srnk—U=o

g†…+U=rn…ak—U!¡'

£

k˜rn`cb!¥I¡$PlU=jVz_U!vi–—k˜jShL¡$kmbnPjSg+k˜`dU!`€gioB‡Fgi”SjlzSU!zDvITVyS–˜kmbn”lz_Ui¥IbdPSUf¦.vIª_k—T”ST|vAqg0`tbnU=rnk—g+rdk~Ñp¦.uAq#Ò

ylrdk˜jlek˜yS–˜U6jlv†bn”Sr{vI–˜–—^ז˜U!v+zS`Dbdg§g+y_bdk˜TVk—š,v†bnk—g+jÉylrdg+‡S–—U!T`V¡$kmbnP

l^∞œ egijB`tbnrnvik—j0bn`!Î\a”le{P°jSg+k˜`dU!`Do™rnU

œ

±0”SU!j0bd–˜^ËvIySyFU!virQvIoébdU!rQe=giTVySrnU!`n`ck˜gij

£

girQk—jB`tb{vIjle=ULk˜j0bdU!jl`ck—bt^girQ¡QvM…iU!–—U=begaU]Ze=k—U!j0b$±0”lvij0bdk˜š!v†bnk—g+j

–˜U!v+zËbng`c”le{P‡Fgi”SjBz_U!zjSg+k˜`dU!`!­OQPSk˜`Q¡$k˜–˜–Ÿ‡BUbnPSUbdg+ySkwe•gio`dU!ebdk˜gijÂÑ

7^қ

OQPSU•TVgazSU=–Ñti˜!Ò5k—jle=–—”Bz_U!`vIjSgibdPSU!r#e=–˜v+`d`­giovIySyl–—kwe=vIbdk˜gijl`­gioŸhirnU!vIb;k—j0bnU=rnU!`cb;k—jk—TvIh+UfySrng_eU!`n`

œ

k˜jShB5¦.vIja^TVg_z_U!–˜`Q”l`dUbdPlUbdgIb{vI–Ÿ…†virdkwv†bnk—g+jv+`$vVySrdk˜girQg+jbnPSU'k˜TVvihiU,`=5OQPSkw`f±0”lvij+bnkmbt^`cg+TDU!PSg†¡

TVU,vi`d”SrdU,`ŸbnPSU$g+`nek˜–˜–˜vIbdk˜gijl`gIo~vIjDk—TvIh+Ui6V¤b¡Qvi`€k˜j0bdrngazS”leU,z‡a^x$”lzSk—jŸ¥_XL`cPlU=r­vIjlz

£

vIbdU!TDkŸÑ2xfX

£ Ò

k˜j_^ˆi+`v+`$vVrdU!hi”S–wvIrnk—š!k—jlhDe=rdk—bdU!rdk˜gijo™girfk˜TvIhiU'z_U!jSgikw`dk—jShBaV¤bn`$Tvik—jk˜j+bnU=rnU!`cb$–—k˜U!`$k˜jbdPSUopvie›b$bnPlv†b

k—b5rnU=hi”l–˜virdk˜š=U,`bnPSU$k˜TVvihiU,`¡$kmbnPSgi”_b5‡l–—”Srnrnk—jShLbnPSU$U!z_h+U!`!E/•`ck˜jShLbdPlUQbdPSU!girn^gIoz_”lvi–—k—bt^b^˜!Š+`¤¥i¡U$e=vij

`dPSg†¡ bdPBv†b•TVk˜jSk˜TDk˜š=k˜jShbdPSUbdgibnvI–€…†vIrnk˜vIbdk˜gij6”SjBz_U=rv

l^pœegijB`tbnrnvik—j0b!¥Fe=vij.‡BUrdU=o™girnT”S–wv†bnU!z”SjBz_U=r o™g+rdTÑti˜!ҝ;OQPSkw`QyBg+k—j0bfkw`$z_Ub{vIk˜–—–˜U!zk˜j`dU!ebdk˜gijÂÑ

6^қ

ÍD¦6U!^iU=r'k˜jc^˜!ü+`;k˜jl`dySk˜rdk˜jSho™rngiT bnPSUËTVg_z_U=–;gIofx$”lz_k˜jŸ¥5XL`cPlU=rvIjBz

£

v†bnU=TVkd^ˆI+`¤¥€ySrdg+yBg0`cU,z

vVjlU=¡[TVgazSU=–Ÿbngz_U,egiTVyFg+`dUbdPSUk—TvihiU!`Qk˜j0bdgËylk—U,eU=¡$kw`dU`cTVgagIbnPo™”Sjle›bnk—g+jl`љbdPSUDe=vircbng0g+jgIobdPSU

k˜TvIh+U!`{ҕvijlz«g+`nek˜–—–wv†bnk—jlho™”ljle›bnk—g+jl`ËÑébnPSUbnUªabd”SrnUgir'jlgikw`cUMқËž«U¡$k—–˜–;`dPSg†¡ k—j§`dU!e›bnk—g+jÉÑ

5^ÒLbnPlv†b

bnPSkw`$TVgazSU=–Ÿe=vijvi–˜`dgV‡BU'rnUo™g+rdT”S–wv†bdU,z˔SjBz_U=r$o™g+rdTÑti˜!ҝ

\ag+–—…ak˜jShËySrngi‡l–—U!T Ñci˜!Ò$ja”STVU!rdkwe=vi–—–˜^kw`•jSgIbvIj6U!v+`c^bnv+`c²~AOQPlUz_g+TVvik—j

K Plvi`•jSg+j.`cTVgagIbnP

‡Fgi”ljlzSvIrn^.vIjBz>¡UVTVvi²iUVjSg6vi`n`d”STVy_bdk˜gijl`Lgioz_k—úFU!rdU!j0bdkwvI‡Sk˜–—k—bt^.g+j

JËOQPSUVySrngIstU,e›bdU,z `d”S‡Sh+rnv+z_k

œ

U!j0bz_U!`neU!j+bTDU=bdPSg_ze^ˆi‚`k˜`v6yBg†¡U=rdo™”S–bng0g+–5bng.`cg+–—…+UË`c”le{PÂh+U=jSU!rdkweVySrngi‡S–˜U=T`!ž«UËrdU!…ak—U!¡/k—bn`

ylrdg+yBU!rcbnk—U,`­gIoeg+j0…+U=rnhiU!jleUQvIjlzVg+y_bdk˜TvI–˜kmbt^DvIjlz`dPSg†¡ÉPSg†¡ÌbdgvIylyS–—^Dk—b5bdg'bnPSUAvi‡Bg†…+UTVU!j+bnk—g+jSjSU,z

ylrdg+‡S–—U!T`=

 A

çJLK

¦.vija^§gIoAbnPSUk˜zSU!vi`Vylrdg+yBg0`cU,z§k—jÌbdPlk˜`yBvIyFU=rvIrnUjlgIbjSU=¡'ÉOQPSgi”lhiP¢¡U6e–wvIk˜T bdPlvIb`cg+TVU

g+rdk˜hik˜jlvi–€e=gij0bdrnk—‡l”_bdk˜gijl`virdUDySrnU!`dU=j0b'k—j bdPSkw`'ylviyBU!r!1/A`dk˜jShvySrngIstU,e›bnU!z>`d”S‡Sh+rnv+z_k˜U=j0bzSU!`neU=j0bbdg

g+y_bdk˜TVk—š!U­jSgijBz_kmú~U=rnU=j0bnk˜vi‡S–—Uo™”ljle›bnk—g+jlvI–w`Ÿgio0k˜TvIhiU­ylrdg_eU,`d`dk˜jShQ¡v+`jSgIb{vI‡S–˜^Aylrdg+yBg0`cU,zAk˜jf^—,_¥i†ù0¥!ˆ-`)

X•”lrËTvIk˜j eg+j+bnrdk˜‡S”_bnk—g+j°PSU=rnU.TVk—h+P0b‡FU>vIjÎU,vi`dk—–˜^¢k˜TVyS–˜U=TVU=j0bnvi‡S–˜U z_U=¯ljSk—bdk˜gijØgIo'bnPSU>z_kw`nernUbdU

`d”S‡Sh+rnv+z_k˜U=j0bn`!¥_vIjlzvDrdU,vI–˜k˜`cbdkweLrdU!…0k˜U=¡ÖgIobdPSU±0”lvi–—k—bdk˜U!`$vijlz–—k˜TVkmb{`$gIobdPSkw`$TVUbnPSg_z

uW#PlvIT‡Bg+–—–˜Uk—jÉylviyBU!rg^ù+`)¥Q`cg+–—…+U!z×bdPSU6ySrngi‡l–—U!T gIo'x$X

£

”l`ck˜jSh§z_”lvi–—k—bt^iefkw`ja”STVU=rnkwe=vI–

TVU=bdPSg_zÉk˜``dPSg†¡$jÌbdg‡FU.egija…+U=rnhiU=j0b,¥;vIjlzÌ¡girn²a`Dk˜jÉvi–—TVg0`tbrnU!vI–Qbnk—TVUh^ü+`¤ \ak—jBeUbdPlU=jØ`cg+TVU

U=úFg+rcb{`$¡U=rnULTv+z_U'bdg”B`cUzS”lvI–˜kmbt^k—j6TVg+rdU'h+U=jSU!rnvi–ySrdg+‡S–˜U=T`=ufTVgijlhgIbdPlU=rf¡girn²_`=¥_–˜UbA”B`Aek—bdU

bnPSUfylviyBU!r;‡a^1ilj2U,e›b#vijlzvI–)^+`F¡$PSU=rnU$bnPSUAvI”SbdPSg+rn`­h+U=jSU!rnvi–—k˜š=UQbnPSUAvi–—h+girnkmbnPSTÔgiou_W#PBvIT‡Fgi–˜–˜U

o™g+rv§¡$kwz_U«e–wvi`n`gIo

l^1œ ylrdg+‡S–—U!T`Ëk˜jle–˜”lz_k˜jSh¢z_U,eg+j0…+gi–˜”_bdk˜gij¥g+r‡FU!`cb‡lv+`ckw`yS”lrn`d”Sk—b!ÔuAjSgIbnPSU=r h+U=jSU!rnvi–—k˜š!vIbdk˜gij¡Qvi`fh+k—…+U=j6‡a^6O

£

ŸW#PlvIj>Ub!vI–)fk˜jk^+`¤¥F¡U=rnU'bnPSUDvi”_bdPlgir{`f”l`dUz_”lvi–—k—bt^bdg`cg+–—…+U

`dgiTVUySrdg+‡S–˜U=T`Ak˜ja…ig+–—…ak˜jSh`dU!eg+jlz6g+rnz_U!rArnU=h+”S–˜virdk˜š=k˜jSho™”ljle›bnk—g+jlvI–w`=XV j.‡FgIbnP>¡girn²_`$bdPlgi”Sh+PŸ¥~bdPSU

vi”_bdPlgir{`­vIrnUfegijB`tbnrnvik—jSU,zbng”l`dU

l^2œzSvIbnvL¯BzSU=–˜kmbt^bdU!rdT`!­X•”Sr#egij0bnrdk˜‡S”_bnk—g+jDPlU=rnUi¥ikw`­bnPlv†b#¡#Uf`dPSg†¡

Plg†¡ÎbdgviySyS–˜^z_”lvi–—k—bt^Ëo™g+rfvIja^

l^pœjlgirnT

x$U,eU!j+bn–—^Ì`cg+TDU6vi–—h+girnkmbnPST`”B`ck˜jSh«bdgibnvI–$…†virdkwv†bnk—g+j¢¡U=rnUySrngiyFg+`dU!z×bdgÂrnU!z_”le=UbdPSU.vircbnkmopv+e›bn`

rnU!`d”S–—bdk˜jShÂo™rngiT bnPSU>e=giTVySrnU!`n`ck˜gij°vI–˜hig+rdk—bdPST`!Ö\~Or{vITVk˜jSkfUb, vi–2 k˜jl^ˆIüS¥ˆm-`)¥$ySrngiyFg+`dU!z¢bdg

TVk˜jSk˜TDk˜š=U.bdPSUbngIbnvi–f…†vIrnk˜vIbdk˜gijɔSjlz_U!rv

l^∞œeg+jl`cbdr{vIk˜j+bVbng§rdU,z_”leUbnPSU.vIrdbdk—opviebn`gioXi+qn#Y'ˆi‰i‰+‰

e=giTVySrnU!`n`ck˜gij

£

~uf–—bdU!r•U=b!Avi–2fk˜jo^ˆ`ySrdg+yBg0`cU,zbdgËTVk˜jSk˜TDk˜š=UbdPSUbdgibnvI–€…†vIrnk˜vIbdk˜gijbdgrdU,z_”leUbdPSU

zSk˜`cbdg+rcbnk—g+jl`gIobnPSU3i+qn#Y/egiTVySrnU!`n`dk—g+jŸž«U±0”SU!`cbdk˜gijbdPlU'”l`cUgiobdPlUbdgIb{vI–…†vIrnkwv†bdk˜gij¥Svi`QvDySrdk˜gir

¡$PlU=j°z_U!vi–—k˜jSh«¡$kmbnP°zSk˜`cbdg+rcbnk—g+jl`DgIo•‡Fgi”ljlz_U!zÉvITVyS–˜k—bd”lz_U+¥vijlzÉ`cPSg†¡½bdPlvIbËU!vi`dk˜U=rVz_kmú~U=rnU=j0bnk˜vi‡S–—U

ylrdk˜gir{`Q`cg+TDU=bdk˜TVU!`Q–˜U!vizbdg‡FUbdbdU!rfrdU,`c”l–mb{`=

V¤bkw`jlgIbbnPSU¯lr{`tbDv†bcbnU=TVy_bbng>`dgi–˜…iUV͝€¦6U=^+U=r,¨`'zSU!eg+TVyBg0`ck—bdk˜gij§ySrngi‡l–—U!Tu$e{²ajSg†¡$–˜U!z_h+U!z

`dgi–˜”_bnk—g+jl`e=vij̇FUo™gi”SjBzÌk˜jp^ˆ ¥#‚a¥A `¤ÎOgÂg+”Sr²ajSg†¡$–—U,z_hiU+¥;g+”SrVo™girnT”S–wv†bnk—g+jÌgioAÍD;¦6U=^+U=r,¨`

zSU!eg+TVyBg0`ck—bdk˜gijTVgazSU=–kw`$jSU=¡'¥S`dk˜TDyl–—U+¥lvIjlze=gi”S–wz–˜U!v+zËbngVbdPSUzSU!`dk—h+jgioopvi`cbAvI–˜hig+rdk—bdPlTV`!

£

k˜jlvI–˜–—^+¥SvIjlzbdPlvIbTVk˜hiP0b‡FU•bdPSUTvIk˜jeg+j0bdrnk—‡S”Sbdk˜gijgiobdPSkw`QylviyBU!r!¥0¡#ULhik˜…iULvh+U=jSU!rnvi–lo™r{vITVU

œ

¡girn²Vo™girQbnPSU'ySrngi‡S–˜U=T`Qgiobt^ayBUËÑci˜!қ

q r

'®¾ ¾s{€

tvu@w xy{z}|~€X|$‚dƒa„…6„.~@ƒ†‚d‡

\Ub$”l`fzSU!`nernk—‡FULbdPSU'jSgibnvIbdk˜gijl`Q¡U”l`cULbnPSrdg+”ShiPlgi”_bQbdPlk˜`$yBvIyFU=r,

ž«U¯lr{`tbfrnU=TVk˜jlzËbnPlv†b

X=^{Y n¥} Y =X×X ^vIjlz Z e=vij‡FUvIja^ËgiobnPSg+`dULbt¡#g`dylvie=U!`!

uA–—–lbdPSUQbnPSU=g+rd^Dz_U=…+U=–˜giyFU!zk—jDbdPlk˜`;ylvIyFU=r5viySyS–˜k—U,`bdge=gi–˜gir­k˜TVvihiU,`=€Og`dk—TVyS–˜k—o™^bdPlUfjSgIb{v†bnk—g+jl`=¥

¡ULo™g_e”l`$g+jh+rnvM^_`ne=vi–—U•k—TvIh+U!`!

f ∈Z kw`$vDhik˜…iU!jzSvIbnvl¥SvIjlz

J :Z→^Y k˜`AvDe=gija…iU=ª¥0ylrdg+yBU!rQo™”Sjle›bnk—g+jŸ

£

gir u∈X^¥ ui∈^Y z_U=jSgibdU,`bdPSU'k

œ

bnP6egiTVyFgijSU!j0bQgio

u^

£

gir

g∈Y^¥_bnPSU=j gi∈ ^{Y 2} zSU=jSgibdU!`$bdPSU

i−theg+TVyBg+jSU=j0b$gIo

g^¥Svijlz gi= (gi,1, gi,2)^

ÙچÛÜÝ{ÞiÞ~ßáàpâ{݆ã)àpچäSåVÚtæ

l^∞çâ{ÚIäSå›ã2èn݆àéälã2åàéä>àéÛÝ=ê0ÜQÞ~èdÚ!â{Üå{å{àéäaê

ù

<·,·>X

z_U!jSgIbnU!`QbnPSU'”l`d”lvI–Ÿ`ne=vi–˜virylrdg_z_”leb$gij

X^{ £ g+r} u, v∈X ¡#UPlvM…+Uˆ0

< u, v >X:=

n

X

i=1

uivi

Ñ2ˆ_Š+Ò

<·,·>Y

z_U!jSgIbnU!`bdPlU'”l`c”BvI–Ÿ`ne=vI–wvIrQySrng_z_”lebQg+j

Y^{ £ g+r} g, h∈Y ⁰

< g, h >Y:=

n

X

i=1 2

X

j=1

gi,jhi,j

Ñ2ˆ_

Ò

| · |^p¥ p∈[1,∞[ ^k˜`bnPSU l^p jSgirnT½g+j

X ⁰

|u|^p:= (

n

X

i=1

|ui|^p)^{1/p Ñ2ˆ_‚iÒ}

| · |∞

kw`QbdPSU

l^∞œ jlgirnT®gij

X ⁰

|u|∞= max

i∈{1,2,...,n}|ui| ^Ñ2ˆ_+Ò

|| · ||p

¥So™gir

p∈[1,∞[kw`fvDjSgirnT½g+j

Y z_U=¯ljSU!z‡a^‰0

||g||p:= (

n

X

i=1

|gi|^p2)^{1/p Ñ2ˆ_áùIÒ}

uAjlz¯ljlvI–˜–˜^Š0

||g||∞:= max

i∈{1,2,...,n}|gi|2

Ñ2ˆ_ü+Ò

K kw`fveg+ja…iUª`cU=bÑpvV‡lvi–—–k—j.ve=U=rdbnvIk˜jTDU=bdrnk˜e,қžØPSU=j

Z=X^¥ K k˜`­st”l`tbLvIjPa^0yFU=r{e”l‡BU'gio

¡$kwzabnP

2α¥le=U=j0bdU!rdU,zg+j

f^

£

k˜jlvI–˜–—^

bac¥_kw`QbdPlU'k—j0bdU!hiU!ryBvIrdbQgio

a∈^{Y }

tvut ‹ez}|Œ…aŽ@‡_ƒnb|Œƒ‚†‘z’“…a‚”…a–•v‡~Ž‡

—´+õ ï ð™!ð

¸ ï ò2ì ^q5rngiyFU=r•o™”Sjle›bnk—g+j`ØuÔeg+ja…iUªo™”Sjlebdk˜gij

J ^g+j Z kw`Aylrdg+yBU!rfkmovIjlz6g+jS–˜^k—o

J ^k˜`•jSgIb

kwz_U!j+bnk˜e!vI–˜–—^U!±0”lvI–~bng

+∞ vIjlzbdPlvIbfkmbAzSg0U,`QjSgIb$b{vI²+U•bnPSU…†vI–˜”SU

−∞^gij Z^

—´+õ ï ð™!ð

¸ ïØòQwòQ ^áW#gaU=r{ek˜…0k—bt^`«u o™”SjBe›bdk˜gij

J :Z→^Y kw`f`dvik˜zbdgV‡FUegaU=r{ek˜…iUk—oL0

||u||²→ ∞ ⇒J(u)→ ∞ ^Ñ)ˆ_+Ò

ü A

çJLK

—´+õ

ï

ð™!ð ¸

ï°òwýQ

^V jlz_kwe=vIbdg+r;o™”SjBe›bdk˜gij.`˜\ŸU=b

K∈Z ‡FUvjSg+jËU=TVy_bt^Ëe=–—g0`cU,ze=gija…iU=ªV`d”S‡l`dUbQgIo

Z^

OQPlULk˜jlz_kwe=vIbdg+rQo™”Sjle›bnk—g+jgIo

K¥Sz_U!jSgIbnU!z

χK

¥Skw`fz_U¯BjSU!z‡a^0

χK(x) =

0 ^k—o x∈K

∞ gibdPSU!rd¡$kw`dU

Ñ)ˆ_˜!‰0Ò

k—o

K kw`$vVeg+TDyBvie›bf`dUb,¥_bdPSU!j

χK

kw`fegaU!rne=k—…+Ui

—´+õ

ï

ð™!ð ¸

ïÎòQ™6

^\a”l‡Fz_k—ú~U=rnU=j0bdkwvI–€vIjlz`d”S‡Shir{vizSk—U!j+bŽ`×OQPSU`c”l‡Fz_k—ú~U=rnU=j0bdkwvI–gIo

J vIbfyBg+k—j0b

u∈Z^¥

kw`$z_U=¯ljSU!z‡a^‰0

∂J(u) ={η∈Z, J(u)+< η,(x−u)>Z≤J(x),∀x∈Z} Ñ2ˆS—+,Ò

η∈∂J(u)kw`fe!vI–˜–—U,zvV`d”S‡Shir{vizSk—U!j+b,

OQPSU`d”S‡~z_k—úFU!rdU!j+bnk˜vi–e=vij‡FUbdPlgi”Sh+P+b$giov+`bdPSU`dUb$gIoPa^ayBU!rdyS–wvIjlU!`ylvi`n`dk—jShDbnPSrdg+”ShiPyFgik˜j+b

u

¡$Plk˜e{P˔ljlz_U=rnU!`cbdk˜Tv†bnUfbdPlUAo™”SjBe›bdk˜gij

J5X•jyBg+k—j0bn`#¡$PSU!rdU

J k˜`z_k—úFU!rdU!j+bnk˜vi‡S–˜Ui¥+bdPSU`c”l‡Fz_k—ú~U=rnU=j0bdkwvI–

rnU!zS”leU,`bdgvV`ck˜jShi–˜Ubngijš0bdPSUe=–˜v+`d`dkwe=vI–~h+rnv+z_k—U!j0b!

—´+õ ï ð™!ð ¸ ïØòQwñQ ^\ŸU!hiU=jBz_rdU

œ¤£

U=jle{PlU=–W#gij†st”lh+v†bnU›`

\ŸUb G‡FUve=gija…iU=ªVylrdg+yBU!rviySyS–˜k˜e!v†bdk˜gijo™rdg+T

Z ^{bng Y} ∪ {∞}­OQPSUeg+j†st”Sh0v†bdU•o™”Sjlebdk˜gijgIo

G

kw`$z_U=¯ljSU!z‡a^‰0

G^∗(u) = sup

x∈Z

(< x, u >Z−G(x)) Ñ2ˆS—MˆiÒ

G^∗ kw`fvVeg+ja…iUªËylrdg+yBU!rQo™”Sjle›bnk—g+jŸ5¦6g+rdU!g†…iU=r,¥0¡#UPlvM…+Uˆ0

G^∗∗=G^

tvuœ $~@‡|Œž.z„.~–Ÿ…E„.~–ƒ‚ ƒn¡„.¢dzl£~¤3zQž.z6‚†„.~@…ˆƒny{zQž<…6„ƒnž‡

Og`ck˜TVyS–˜kmo™^bdPSU'jSgibnvIbdk˜gijl`!¥_¡#U'z_U!jSgIbnU

u(i, j)bnPSU'…†vI–˜”SUgIo

ugijySk—ªaU!–

(i, j)^

Ogz_k˜`nernUbnk—š!ULbdPSU'h+rnv+z_k—U!j0bQ¡U”l`dU•bnPSUe–wvi`n`dk˜e!vI–F¯lr{`tb$gir{z_U!rQ`ne{PSU!TDU‡Fgirnrdg†¡U!zËo™rdg+T¥^áù`¤

£

gir

u∈X ⁰

(∇u)(i, j) = ((∂1u)(i, j),(∂2u)(i, j)) Ñ)ˆ_˜!Š+Ò

∇ukw`$vIjU=–˜U=TVU=j0bfgio

Y^

(∂1u)(i, j) =

u(i+ 1, j)−u(i, j) ^k—o i < nx

0 ^kmo i=nx

Ñ)ˆ_˜ Ò

(∂2u)(i, j) =

u(i, j+ 1)−u(i, j) ^k—o j < ny

0 ^kmo j=ny

Ñ)ˆ_˜,‚+Ò

OQPSkw`fz_U=¯ljSk—bdk˜gij6vI–˜–˜g†¡f`;bngz_U¯ljlUbdPSUz_k˜…iU!rdh+U=jle=U•ylrdg+yBU!rd–˜^ˇa^z_”lvi–—k—bt^i¥_k˜TVyBg0`ck˜jSh0

<∇u, p >Y=−< u, div(p)>X

Ñ)ˆ_˜!0Ò

ÙچÛÜÝ{ÞiÞ~ßáàpâ{݆ã)àpچäSåVÚtæ

l^∞çâ{ÚIäSå›ã2èn݆àéälã2åàéä>àéÛÝ=ê0ÜQÞ~èdÚ!â{Üå{å{àéäaê

ž«U•¡$k˜–˜–~`dU=U•bdPBv†bQPlvM…ak—jSh`c”le{PvrnU=–wv†bnk—g+jËk˜`#jSU,eU!`n`nvIrn^bngDe=giTVyS”_bnUfbdPlU•U=ª_v+e›b$`c”l‡Shir{viz_k˜U=j0b;gio

bnPSUz_kw`de=rdU=bdULo™”Sjlebdk˜gijlvi–2;\_k—TVyS–˜UvI–˜hiU!‡Srnvhik˜…iU,`X0

(div(p))(i, j) =







p¹(i, j)−p¹(i−1, j) ^kmo 1< i < nx

p¹(i, j) ^k—o i= 1

−p¹(i−1, j) ^kmo i=nx

+







p²(i, j)−p²(i, j−1) ^k—o 1< j < ny

p²(i, j) ^k—o j= 1

−p²(i, j−1) ^k—o j=ny

Ñ)ˆ_˜MùiÒ

žØk—bdPbnPSk˜`Az_k˜`nernUbnk—š,v†bnk—g+jŸ¥a¡#U'e=vij6z_U¯ljlU•bnPSUbdgibnvi–Ÿ…†vIrnk˜vIbdk˜gijv+`X0

J1(u) :=

n

X

i=1

|(∇u)i|2

Ñ)ˆ_˜!ü0Ò

uAjSgIbnPSU=rA±0”lvij0bdk—bt^ËgIo€k—j0bdU!rdU,`tb$k˜jbdPSkw`$ylviyBU!r$k˜`QbnPSU'z_kw`de=rdU=bdk˜š=U!zPa^ayBU!rn`d”Srdopvie=U•gio

u ⁰ J2(u) :=

n

X

i=1

q

|(∇u)i|²2+ 1 ^{Ñ)ˆ_˜¦+Ò}

OQPSg0`cULbt¡gDo™”Sjle›bnk—g+jl`fvirdUeg+j0…+Uª

§ ¨e© €$ ¾ »¼V»$$ [6ª =»Ë= | {«f

¬

T3­¦T®

œvu@w ¯°’”~@‡„z}‚|Œz$ƒn±…²‡ƒ†@³”„.~–ƒ†‚

xfU=¡$rnkmbnk—jShVySrngi‡l–—U!T Ñt+—!Ҕljlz_U=rfbdPSUo™g+rdT¥0

uinf∈Z{J(u) +χK(u)} ^{Ñ2ŠSˆI‰+Ò}

¡$PSU!rdU

χK

k˜`5bdPSU•k—jBz_k˜e!v†bngir­o™”SjBe›bdk˜gijgIo

K¥+kmbk˜`#e–˜U!vir5bdPBv†b#ylrdg+‡S–—U!TÑ2ŠSˆI‰iÒ5k˜`#egija…+Uª¥iySrngiyFU=r vijlzegaU=r{ek˜…iULgij

ZOQPa”l`!¥_¡U'U!vi`dk˜–—^h+Ub$bdPlU'Uª_k˜`cbdU!jleUgio€vVTVk—jlk—TVk˜š=U=r,

œvut ´µƒ†‚¶³d‚~@·³”z6‚”z}‡‡¸ƒnf„.¢”zp‡ƒ†@³”„~@ƒ†‚d‡

žØPlU=j

J kw``cbdrnkwe›bd–˜^ e=gija…iU=ª¥¡UPlvM…iUV”SjSkw±0”SU=jlU!`n`'gIofvTVk—jlk—TVk˜š=U=r,¥€‡S”_bk˜jÂbdPSUh+U=jSU!rnvi–5eg+j0…+Uª e!vi`dUi¥0¡#U•hiU=bvDegija…+Uª`cU=b#gIo€`cg+–—”_bnk—g+jl`!ž«U•k˜–˜–—”l`cbdr{v†bnUAk—b#bnPSrngi”Sh+PvIjËU=ªSvITVyS–˜UAk˜j

1−D^bnPlv†b¡#U

`cbd”Bz_^˖wv†bdU!r$k—j

2−D­ž Ub{vI²+U

Z=X^¥ nx=n^¥ ny= 1 vIjlz`dUb30

J(u) =

n−1

X

i=1

|ui+1−ui| ^{Ñ2ŠSˆ_MÒ}

,‰ A

çJLK

O€vI²+U

fi=i/(n−1)^¥_¡$k—bdP i∈ {0,2, ..., n−1}^vIjlz α <0.5^

OQPSUk˜j+bnU=rnySrnUbnvIbdk˜gij×gio$bdPSkw`DTVgazSU=–Qk˜`bnPSUo™g+–—–˜g†¡$k˜jShk0Ë¡UvirdU–—gag+²0k˜jSh6o™g+rDbdPSUo™”Sjlebdk˜gij¢gio

TVk˜jSk˜TVvi–z_kw`de=rdU=bdULbdgibnvi–…Mvirdkwv†bnk—g+jŸ¥_eg+j+b{vIk˜jSU!zk˜jbnPSU'rnU!zbd”S‡FUz_r{vM¡$jg+j

£

k˜hi”SrnUÑt,ҝ

W#–˜U!vird–˜^i¥avI–˜–BTVg+jSgIbngijSg+”l`­k˜jlernU!v+`ck˜jSh`dU!±0”SU!jleU,`;`nv†bdkw`co™^0k˜jSh'bnPSUegijB`tbnrnvik—j0b!¥+hig+k—jSho™rdg+T

α^vIjBz

virdrnk˜…0k˜jSh'bng

1−αPlvM…iUAbdPSU'`nvITVUfbngIbnvi–~…Mvirdkwv†bnk—g+j>Ñ

1−2αқ¥SvIjBzvIrnU•`dgi–˜”_bnk—g+jl`;gioySrngi‡l–—U!T

(^+— )^

£

k˜hi”SrnUj0YLrnU=U=j¹0zSvIbnvbdU!rdT

œ

x$U!z¹0'”SySyFU=rvijlz«–—g†¡U=r'e=gijl`cbdr{vIk˜j0bn`

œ

2–—”SUËvijlz ‡S–˜v+e{²o0bt¡g

yFg+`n`dk—‡S–˜U'`cg+–—”Sbdk˜gijl`

º » ¼½ Ì6ª d¾Ÿ$;$¾ »±«"€¾$¾$$

ž«Uh+gˇlvie{²bdgbnPSUh+U=jSU!rnvi–ŸySrngi‡S–˜U=T Ñt+—!ҝ

J kw`AvËhiU=jlU=r{vI–ŸySrngiyFU=r•egija…+UªËo™”SjBe›bdk˜gij>gij

Z^¥BvIjBz K kw`Qhik˜…iU!j‡a^>Ñciˆiқ

V jbdPlULyBvi`cbo™U!¡Ö^+U!virn`!¥+Tvij0^Uú~girdbn`QPlvM…+U•‡FU=U!jz_U,z_kwe=v†bnU!zbdgDbnPSU'z_U!`dk—h+jgioopv+`tbfvI–˜hig+rdk—bdPlTV`

bng`dgi–˜…iUQk—Tvihik˜jSh'ySrngi‡S–˜U=T`!€xfX

£

ylrdg+‡S–—U!TÔo™g+r5k˜jl`tb{vIjle=Ufe=vijjSg†¡Ì‡FUA`dgi–˜…iU,zk˜jËvI–˜TVg+`cb;rnU!vI–abnk—TVU

^ü_¥Ÿ+I¥ŸMˆ`)

/Aj_o™girdbd”SjBv†bdU!–—^+¥a¡#ULe=vIjljSgIbPSgiyFUL`dgi–˜…ak—jlhÑt+—MÒ­¡$k—bdPvPSk˜hiPËr{v†bnUAgioegija…+U=rnhiU=jBeUfvi`#¡UATviz_U

jlgvi`n`d”STVy_bdk˜gijl`g+j

J UªSeU!y_b$egija…+Uª_kmbt^+6V Tvihik˜jSUfbnPlv†b$¡UAPlvM…+U•vIjvI–˜hig+rdk—bdPST bnPlv†bQhiU!jSU=r{v†bnU!`;v

`dU!±0”SU!jleU

{u^k}bdPBv†bfkw`$`c”SylyBg0`cU,zËbngËvIySySrng+v+e{Pv`dgi–˜”_bdk˜gijgIoQÑti˜,ҝ

u e–wvi`n`dk˜e!vI–;rnU!`d”S–—bDgio•eg+ja…iUªÂgiySbdk˜TDk˜š!vIbdk˜gijµ^ˆi‰+`QbdU=–˜–w`”B`bnPlv†bVjSg«kmbnU=r{v†bnk—…+UTVUbnPSg_z

œ

gijS–˜^

”B`ck˜jSh.bnPSU`cU,±+”lU=jle=U!`

J(u^k) ^vIjBz ∂J(u^k) ^œ e=vij¢vie{PSk˜U=…+Uv.‡FUbdbdU!rDr{v†bnUËbnPlvIj O(1) ²

¥o™girDhiU!jSU=r{vI–

e=gija…iU=ªËTVk—jSk˜TVk—š,v†bnk—g+jySrngi‡l–—U!T Ñ

k˜`QbnPSUz_U,`ck˜rdU,zylrdU,ekw`ck˜gijBҝ

V¤o€¡#U•jSgIbnU

J¯bnPSU•TVk˜jSk˜T”ST®gio#Ñt+—!Ò¥SvIjlz

J¯^k= mini∈{1,2,...,k}(J(uⁱ))¥_k—bQTDU,vIjl`;bdPBv†bbdgDhiUb vySrnU!e=k˜`dk—g+j

|J¯^k−J¯| ≤¥ŸvIja^6vI–˜higirnk—bdPST ¡$k˜–—–­rnU!±0”Sk˜rdU

k bng‡FUDgIo#g+rnzSU=r

b^O(1)2 c <sup>Ñ2`cU!U±^</sup>ˆI‰+`­o™g+rLv TVg+rdUySrnU!e=k˜`dUL`cbnvIbdU!TDU!j0b{қ

ž«UVySrdg+yBg0`cUk—j>bdPSkw`ylviyBU!r•bng”B`cUbdPSUDySrngIstU,e›bdU,z>`d”S‡Sh+rnv+z_k—U!j0b•TVUbnPSg_z6o™gir¡$PSkwe{P.bnPSUeg+T

œ

yl–—U=ªak—bt^¢kw`Ë`dPSg†¡$jÌbdgׇFU O(1) ²

[\agÂbdPBv†b!¥QjSg§TVU=bdPSg_zØe=vijÉzSg§‡BU=bcbdU!rËbnPlvIj°k—bËo™girËg+”SrhiU!jSU=r{vI–

ÙچÛÜÝ{ÞiÞ~ßáàpâ{݆ã)àpچäSåVÚtæ

l^∞çâ{ÚIäSå›ã2èn݆àéälã2åàéä>àéÛÝ=ê0ÜQÞ~èdÚ!â{Üå{å{àéäaê

+

ylrdg+‡S–—U!T¥+”SyËbdgvT”S–—bdk˜yS–˜k˜e!v†bdk˜…iUAopviebdgir,Og”l`cUAbdPSkw`;bdU!e{PljSk˜±0”SU•¡#UAjSU=U,zVbdg‡BULvI‡S–˜Ufbngeg+TVyS”_bdU

vÂ`d”S‡Sh+rnv+z_k—U!j0bVvijlzÌbdPSUg5”Be–˜k˜z_U,vIj°ySrngIstU,e›bdg+rVgij

K^cV jÉbdPSU6jlUªab`cU,e›bnk—g+jl`V¡#U6`dPSg†¡¿Plg†¡½bdg e=giTVyS”_bnU'`c”S‡lhir{viz_k˜U=j0bn`!­¦6girnU=g†…+U=r,¥IbnPSU{5”le=–—kwz_U!vijySrdgistU!ebdgirQg+j

K e=vij‡FUeg+TVyS”_bdU,zU!vi`dk˜–—^+EV¤b e!vIj‡BU`dPSg†¡$jbdPlvIb30

(ΠK(u))i = ui

kmo |ui−fi|2≤α fi+α_|u^ui−fi

i−fi|2

gIbdPlU=rn¡$k˜`dU

Ñ ˆiˆ+Ò

OQPSkw`vI–˜hig+rdk—bdPSTøkw`•¡U=–˜–€²0jlg†¡$j.k—j.bdPSUDgiy_bnk—TVk˜š!vIbdk˜gij e=giTVT”ljSkmbt^§Ñ2`cU!Uo™girLk˜jl`tb{vIjle=Ub^ˆi‚`™Ò›{V¤b

¡Qvi`#ySrngiyFg+`dU!zrnU!e=U=j0bd–˜^k˜jk˜TVvihiULySrngae=U!`n`ck˜jShk—j`cg+TDULylviyBU!rn`¿^ˆa¥Mù0¥~,+`)­ž«U'z_U!`nernk˜‡BULkmbQ‡Srnk—U]Àl^

‡FU=–˜g†¡'

Ádu@w š¢”zpyž<~@‚|~–y@zÃnf„.¢dzl…a@Änƒnž<~–„¢Å

¯

ukw`$v`cg+–—”Sbdk˜gijgIoÑci˜!Ò¥Skmo­k—bA`dvIbdkw`t¯BU!`#o™girfvij0^

t >0 ⁰

¯

u= ΠK(¯u−tη) ^{Ñ ˆiŠ+Ò}

ΠK(·)z_U=jSgibdU,`bdPSU{5”Be–˜k˜z_U,vIjySrngIstU,e›bdg+rQgij

K^¥SvIjlz η kw`fvij0^U=–˜U=TVU=j0b$gIo

∂J(¯u)^

OgËeg+TDyl”_bdU

¯

u¥_¡U'”l`dULbdPSU'ySrngIstU,e›bnU!z`c”S‡lhir{viz_k˜U=j0b$vI–˜higirnk—bdPST½z_U=¯ljSU,z‡a^˜0

( u⁰∈K

u^k+1= ΠK(u^k−tk η^k

||η^k||2)

Ñ ˆ Ò

AU=rnUi¥

tk>0o™g+rfvIja^

k^vIjlz η^k k˜`fvija^U=–˜U=TVU=j0bfgIo

∂J(u^k)^

Ádut Ƶƒ6ÇȄƒÉ|<¢”ƒ‡zµ„.¢”zʇz}·³”z}‚|Œz

{ t

}

OQPlUQe=gija…iU!rdh+U=jle=U5gIoBbdPSkw`k—bdU=r{v†bnk—…+U`ne{PSU!TDUQz_U!yBU!jlzS`­g+jbdPlU‡FU=PBvM…0k˜gi”lr€giolbnPSU$`cU,±+”lU=jle=U

tk

\ŸU=b

U

‡FUQbdPlUf`cU=b5gIo`cg+–—”_bnk—g+jl`gIo­Ñt+—,қ­OQPSUQo™gi–˜–˜g†¡$k—jShLbnPSU=g+rdU!T|ySrng†…iU!`bnPlv†b­o™g+r5v¡#U!–—–le{Plg+`dU=jV`cU,±+”lU=jle=U

tk

¥_¡#U'PlvM…+ULe=gija…iU!rdh+U=jle=UÌ^ˆi‚`0

Í ´a¸  ´ Æ

6pì*Î

æ limk→∞tk= 0 ^݆äŒM P∞

k=0tk =∞^{B;ãPÏSÜ=ä} limk→∞J(u^k) = infu∈KJ(u) ^݆äŒM limk→∞d(u^k, U) = 0

Ð

ÏlÜèdÜ

d(·,·) àwå'ãSÏlÜ¿ÑFlâßáàHM+Ü{݆ähM†àwå›ã¤ÝIäFâ{Ü#æ{èdÚ†Û ÝÞlچàéäBã#ãÚËÝåÜ=ãÒ

¦.vija^`cU,±+”lU=jle=U!``dvIbdkw`to™^bnPSUQPa^0yFgIbnPSU!`dkw`giolbnPSk˜`bnPSU=g+rdU!T

£

g+rk—jl`cbnvijleU

tk =_(k+1)¹ p

¡$k—bdP

p∈ ]0,1]^gir tk =(k+1) log((k+1))¹

OQPSk˜`€¡$kwz_UQe{PSgikweU#TVvi²iU,`bnPSU#bdPSU!girnU=T|z_k™ZËe”S–—bbng”l`cU;o™girySr{viebdkwe=vI–

e=giTVyS”_b{v†bnk—g+jl`¡0vITVg+jSh.vI–˜–;yFg+`n`ck˜‡S–˜U`dU!±0”SU=jBeU!`!¥TvIja^«e=gi”S–wz–˜U!viz«bng>…+U=rn^ `d–—g†¡¬eg+j0…+U=rnhiU!jleU+

\_giTVUfkwz_U!v+`5¡U=rnU$ySrdg+yBg0`cU,zDbdg'b{vie{²a–˜U$bdPSkw`5ylrdg+‡S–—U!T vijlzDbdPlUfbdPlU=girn^Dk˜`;jSg†¡°¡#U!–—–BU!`cbnvI‡l–—kw`cPlU!z6Ñp`dU=U

^˜,‚_¥ŸMù¦`o™g+rf`cg+TVULrnUo™U!rdU!jleU,`nҝ

Mˆ A

çJLK

V¤o J kw`v\Ÿk˜yl`ne{PSkmbnšeg+j+bnk—jlgi”l`¡$k—bdP‰\Ÿk˜yl`ne{PSk—bdš'eg+jl`tb{vIj0b

L^k2Uiv0

|J(u)−J(v)| ≤L||u−v||2

Ñ ˆi‚+Ò

¡Ue=vij¯ljBzvDylvirnviTVUbdU!rd–˜U!`n`#giy_bnk—TvI–`cU,±+”lU=jle=UVÑ2e›otv^ˆ+ù¦`™Ò¿0

Í ´a¸  ´ Æ 6wòQ

Ó

ÏSÜfÞ~èdځÔ=Ü{â=ã¤ÜCMËåCF<G¤êièdÝjMIàpÜäBãM+ܛå=â{Ü=älã

Ð

àéãPÏå›ãܤÞoÕ

tk = D

√k

Ñ ˆI0Ò

Ü=äSå>F_èdÜåLãPÏSÝIãÕ

k= ¯J^k−J¯≤O(1)LD

√k

Ñ ˆ+ùiÒ

Ð

ÏlÜèdÜ

D àwåãPÏSÜ¿ÑLFlâßmàHMiÜ{݆ähM†àpÝIÛVÜ=ã¤Ü=èÚcæ'ãSÏlÜå=Ü=ã

K^Ò

OQPSkw`Ÿkw`vijU!vi`d^•e{PlgikweUbdgAU=jl`d”SrnU5v$higag_zLrnvIbdU­gIoSe=gija…iU!rdh+U=jle=Ui¦6girnU5`dgiySPSkw`cbdkwe=v†bnU!z•bdU,e{PSjSkw±0”SU!`

e!vIj‡BU'z_U,`ck˜hijSU,zˇlv+`cU,zËg+jk—bdU=r{v†bnk—…+U•U,`tbnk—TvIbdU!`gio

J¯Ñp`dU=UÖ^˜!+`o™g+rk˜jl`cbnvijleUMқ­OgVg+”Sr#²ajSg†¡$–˜U!zShiUi¥

bngrnU!vi–—–˜^h0vIk˜jËU›ZËek˜U=jBe^D¡$kmbnPËbdPlg+`dU$bdU,e{PSjSkw±+”lU!`!¥+g+jSUAgioébdU=jjSU=U,zS`;U=ªabdr{v'k—jSo™girnTVvIbdk˜gijl`#vI‡Fgi”_b#bdPSU

`dgi–˜”_bnk—g+jŸ¥S–˜k—²+UbdPSUviySySrngMª_k—Tv†bnU'z_k˜`cbnvijleUo™rngiT

u^k bngVbdPSU`cU=bAgIo­`cg+–—”Sbdk˜gijl`!†V¤b•e!vIjbdPa”l`A‡BU,eg+TDU rnU!vi–—–˜^Ëz_k™ZËe”S–—bfbdgviySyS–˜^Ëk—jySr{viebdkweU+

£

k˜jlvI–˜–—^+¥l¡U'rdU,e=vi–—–~bnPlv†bAk—o

J kw`Ae=gija…iU=ª~¥SzSkmú~U=rnU=j0bdkwvI‡l–—U+¥S¡$kmbnP‰\Ÿk˜yl`ne{PSkmbnš'hir{viz_k˜U=j0b,¥abdPSU!j6¡#Uz_g jlgIb$jSU=U,zbdgVjSgirnTvI–˜k—š!ULbdPSU'h+rnv+z_k—U!j0b!¥_vIjlzvVeg+jl`cbnvIj0b$`tbnU=y6`dk—š!ULU!jl`d”SrdU,`$eg+j0…+U=rnhiU!jleUˆ0

Í ´a¸  ´ Æ 6˜ý}*Îæ3Õ

||∇J(u)− ∇J(v)||2≤L⁰||u−v||2

Ñ ˆIü0Ò

ãPÏSÜ=ä>ãPÏSÜ$ÞFèdږÔ=Ü{âã ÜCMêièdÝjMIàpÜäBãM+ܛå=â{Ü=älãLÕ

u⁰∈K

u^k+1= ΠK(u^k−t∇J(u^k))

Ñ ˆm0Ò

Ð

àéãPÏ>â{ÚIäSå›ã¤ÝIälã;å{ã ÜÞ

t=_L²⁰ ÜälåCF_ènܛåãSÏl݆ãÕ

d(u^k, U)→0 ^{Ñ Ši‰+Ò}

Áduœ טž.ƒnÄnž<…ÅÉÅÉ~@‚dÄ؅a‡y{z}|„.‡o…a‚d£¥|ŒƒÅ²y¿³v„.~@‚dÄ؄.~@ÅÙz

V¤o¡#U•ySrdg_e=U=U!zË¡$kmbnPe!vIrnUi¥+bdPSULTVU=TVgirn^VrdU,±+”lk—rnU=TVU=j0b{`5gIobdPSkw`QvI–˜higirnk—bdPST¬vIrnUAjSgTVgirnUfbdPBvIjËbt¡$kweU

bnPSU`ck˜š=U•gIobdPlU•k˜TvIhiULvIjlzËbdPSUL–˜U=jShibdPl`#gIoŸg+”Sr

c^œe=gazSU!`z_gjSgibU=ªSeU=U,z

300–—k˜jSU!`!;X•jSUAk˜TVyBg+rcb{vIj0b v+z_…†vIj0bnvihiUQgIoFbdPlU!`dUfvI–˜higirnk—bdPST`kw`bdPa”l`5bdgvI–˜–˜g†¡×opvi`cb;k˜TVyS–—U!TVU=j0bnvIbdk˜gijVgIovTVgazSU=–)OQPlU$‡Sk—h'kw`n`c”SU

kw`bdPBv†bAeg+TVyS”_bdk˜jShDbdk˜TVU!`fe!vIj‡BU'–wvIrnhiU+

ÙچÛÜÝ{ÞiÞ~ßáàpâ{݆ã)àpچäSåVÚtæ

l^∞çâ{ÚIäSå›ã2èn݆àéälã2åàéä>àéÛÝ=ê0ÜQÞ~èdÚ!â{Üå{å{àéäaê

,Š

ž«UAe=vijD`dU=UQk—b;¡$PSU!jbnrd^ak˜jShLbdg¯ljBzDv`cbdg+ySySk˜jShernkmbnU=rnk—g+jŸ}V¤b5¡gi”l–˜z‡BUAjSgijl`dU=jB`cUbdg'v+`d`dU!`n`€bdPSU

e=gijlzSkmbnk—g+j

0∈∂J(u^k)^nV jlzSU=U!zŸ¥

J TVk˜hiP0b$‡BU'jSg+j

œ

`cTVgagIbnP`dgDbdPlvIb$bdPSU'jSg+rdT¿gIo€bdPSU`d”S‡Sh+rnv+z_k—U!j0b

TVk˜hiP0bf‡FU–˜virdh+U'U=…+U=j…iU!rd^e=–—g0`cUbngbdPlU`cg+–—”Sbdk˜gij§Ñpe=gijl`dk˜zSU=r

J(x) =||x||2

o™g+rfk˜jl`tb{vIjle=U,ҝOQPa”l`fv

`dk˜TDyl–—U'e{PSg+k˜e=ULkw`QbngV`dUb$bnPSU'ja”ST‡FU=r$giok—bdU!rnvIbdk˜gijl`!

ž«U¡$k—–˜–`cU!U•k˜jbnPSUvIySyS–˜kwe=v†bnk—g+jl`#bdPlvIb#bnPSUrdU!–˜vIbdk˜gij

k ≤O(1)^LD√ k

vi–—–˜g†¡f`;bdg¯ljlzbdPSULja”ST‡FU=r

giok—bdU!rnvIbdk˜gijl`QjSU!U!z_U,zbdgVhiU=b$vzSU!`dk—rnU!zvie=e=”Sr{vie^+

£

girQk—jB`tb{vIjle=U•¡UAh+Ub¨yFU=r{eU!y_bd”lvi–—–˜^Ë`cbnvI‡l–—U+¨a`dgi–˜”_bnk—g+jl`;ylrdU=bcbt^Vopvi`cbo™girbdPSU

BV −L^∞ySrngi‡S–˜U=T Ñ ‚ `cU,eg+jlzS`o™gir¡\U=jlv0қ¥;‡l”_bo™girDbdPlU6TDg+rdUeg+TVyS–—U=ª¢ySrngi‡S–˜U=T gioAÍD;¦6U=^+U=r,¥5¡UjlU=U!zÉvIrngi”ljlz

5TVk˜j0”SbdU!`'o™girÌ2QvIrn‡lvirnvk—TvIh+UiËž«UVbdPlk—jS² bdPBv†b'bdPlk˜`'h+U=jSU!rdkweVvI–˜hig+rdk—bdPST`cPSg+”S–wz>‡FU˔l`dU!z«¡$PSU!j

¡$k˜–˜–—k˜jShbdg>hiUbDv6±+”lk˜e{² g†…iU=rn…ak—U!¡ÔgiobnPSUvi‡Sk—–˜k—bdk˜U!`'gio$vTVg_z_U!–26OQPSU!j§TDg+rdUrnU¯BjSU!z bdU,e{PSjSkw±0”SU!`

‡Bvi`dU!zgijvIjvIjlvi–—^_`dk˜`QgiobdPlU`tbnrd”lebd”SrnUgIo

J `dPSgi”S–wz‡BULbnPSgi”Sh+P0bfgIot

uATDg+jSh'bnPSUAeg+jle”lrdrnU=j0b;vI–˜hig+rdk—bdPlTV`!¥I–˜Ub”l`5TVU=j0bnk—g+j‡S”Sjlz_–˜UfTVUbnPSg_zS`^—M‚`)¥0¡$PSkwe{PËvIrnU$²ajSg†¡$j

bnge=gija…iU!rdh+U'opvi`cbdU!r!¥~‡S”_b'vIrnUTVgirnUzSk[ZËe”l–mbbdgk—TVyS–˜U=TVU!j+b'k˜j>ySr{viebdkweU+¥BrnU!±0”Sk˜rdUPSk˜hiPSU!r•TVU=TVg+rd^

`dylv+eUi¥QvIjBz¢PlvM…+UbdPSU.`nvITVUbdPSU!girnUbnk˜e!vI–feg+ja…iU=rnhiU!jleUr{v†bdU+Îx$U!e=U=j0bd–˜^i¥#Í5”Srnk—k•ƒfU!`cbdU!rdg†…¢k—jp^ˆ_>`

ylrdg+yBg0`cU,zvDjSU=¡ TVUbnPSg_z¡$k—bdP6vVeg+TDyl–—U=ªak—bt^Ëgio

O(1)

5OQPSk˜`QTVU=bdPSg_zvIySyl–—k˜U!`bngVvV`dTvI–˜–—U!rf`cU=bQgio

ylrdg+‡S–—U!T`=¥~‡S”_bk—b'`dU=U!T`fbnPlv†bkmb'TVk˜hiP0bL‡FUVvIySyS–˜k˜U!z6bngbnPSUDySrdg+‡S–˜U=T`A¡UDySrdU,`cU!j0b•k˜j.bdPlk˜`LylviyBU!r!

V¤bf¡$k˜–˜–‡BUbnPSU'yS”SrnyBg0`cUgioo™”_bn”SrnU'k—ja…iU,`tbnk—h0v†bnk—g+jl`=

Ú Û

½ =»Ë= €ÝÜ÷ÞQQÁc # ß €

©

€»¾$

 { €{«f

àvu@w á*âdž<~@zQ¡yž.z}‡z}‚„…6„.~@ƒ†‚9ƒnf„.¢”zÊÅكv£”z}

OQPlk˜`#ylvIr{vIh+rnviySPvIjlzËbdPSkw`ylvIr{vIh+rnviySPVgijS–˜^Vk˜`#ySrnU!`dU=j0bdU,zk˜jËbdPlULe=gij0bdk˜ja”Sgi”l`#`cU=bcbnk—jShB

Ωz_U=jlgIbdU,`#v

‡Fgi”ljlz_U!zgiyFU=j6`dUb$gIo

Y

2ž U'rnU!e!vI–˜–FbdPlvIb$bdPSU`dylvie=U•gioo™”SjBe›bdk˜gijB`$gIo€‡Bg+”Sjlz_U,z…†virdkwv†bnk—g+j Ñp`dU=U1^Š-`

o™g+rfvVegiTVyS–˜UbnUrdU=o™U=rnU=jle=U,Ò#k˜`Az_U¯ljlU!z‡a^‰0

BV(Ω) ={u∈L¹(Ω), sup

{ξ∈C_c¹(Ω;^{ã 2}),kξkL∞(Ω)≤1}

Z

Ω

u(x)div(ξ(x))dx <∞} ^{Ñ)‚_ŠSMÒ}

V jo^˜!ü-`)¥F͝~¦6U!^iU=rL`tbn”lz_k˜U!z.bdPSU!girnUbdkwe=vi–—–˜^ËbnPSUVx$”lz_k˜j

œ

XL`cPSU!r

ϣ

vIbdU!TDkTDg_z_U!–2¥vijlz¯lh+”SrdU,zgi”_b

k—bn`•–˜k—TVk—bnv†bnk—g+j.bngz_kw`de=rdk˜TVk—jBv†bdU¡#U!–—–ve!vIrdbdgagij6k˜j vjSgikw`cUgirvVbdU=ª0bn”SrnUiXfUDgi‡l`dU=rn…iU,zbnPlv†bLbdPlk˜`

–˜k˜TDk—bnvIbdk˜gij×e=gi”S–wz§‡FUg†…iU!rdyBvi`n`cU,z.”l`dk—jlh v.z_k—ú~U=rnU=j0bzSvIbnvbnU=rnTbnPlvIjÂbnPSUr{v†bnPSU=r”SjSk˜j_o™girnTv†bnk—…+U

L^2œz_kw`tb{vIjle=UAbngVbdPSUzSvIbnvl

AUz_U¯ljlU!zvDjSgirnT¥0

||v||G= inf

g {||g||∞, div(g) =v, g= (g1, g2),|g|=q

g²₁+g²₂} ^{Ñ)‚_Š+ˆ+Ò}

vV`dylvie=UÖ0

G={v,||v||^G <∞}^¥

 A

çJLK

vijlz°ySrngiyFg+`dU!zÌbdg×z_U,eg+TDyFg+`dU.vIjØk˜TvIh+U

f k˜j0bdg×v×e!vIrdbdgagij

u vIjBzÉv§bdUªabn”SrdU

v ”l`dk—jSh×bdPSU o™g+–—–˜g†¡$k˜jShTVg_z_U!–n0

u∈BV(Ω),vinf∈G,f=u+v{ Z

Ω|Du|+λ||v||G} ^{Ñ)‚_ŠiŠ0Ò}

OQPSU

G^œjSgirnTûgIoBvijg0`de=k—–˜–˜vIbdk˜jShfo™”ljle›bnk—g+jrnU=TvIk˜jl``cTvi–—–)¥I`cgAbdPlvIbbdPSkw`€TDg_z_U!–0yFU=rnTVkmb{`€bdgL‡BU=bcbnU=r U=ªabdr{vie›bQg+`nek˜–˜–˜vIbdk˜jShyBv†bcbnU=rnjl`gIobdPSUk˜TVvihiU,`=u[higag_zËU=ª_viTVyS–—U•bdgVk˜–—–˜”l`cbdr{v†bnUAbnPSk˜`Qylrdg+yBU!rcbt^kw`bdPSU

o™g+–—–˜g†¡$k˜jSh±0

ä ||sin(nx)||L²([0,2π])=π ∀n∈^å

ä ||sin(nx)||G([0,2π])= 1/n ∀n∈^å

àvut æ_³”ž.ž.z6‚†„¹‚L³ÅÙzQž<~@|Œ…aÌ…Eyydž.ƒ†…|¢”z}‡

ÍD#¦6U!^iU!rËz_k˜z°jlgIbySrngiyFg+`dU.vIja^×ja”STVU!rdkwe=vi–fTVUbdPlgazÉbng¢`dgi–˜…iUPSkw`ËTVg_z_U=–) OQPlU6¯lr{`tbvi”_bdPSg+rn`

¡$Plg bnrdk˜U!zÌbng×egiTVyS”SbdU.v§`dgi–˜”_bdk˜gijÉ¡#U!rdUg\;nç­U!`dU.vIjlzØ\~QXL`cPSU!rk—jÊ^ˆ `) OQPlU=^ÌviySySrngMª_k—Tv†bnU

bnPSU

L^{∞œjSg+rdT k—jÂbnPSU} G^œjSgirnT¥‡a^ v

L^pœjSgirnT bng6ySrnU!`dU=rn…iUz_k—úFU!rdU!j+bnk˜vi‡Sk˜–—k—bt^i¥vIjlz«k˜TVyBg0`cUbnPlv†b

f =u+v ‡a^vyFU=jlvi–—k˜š!vIbdk˜gijËTVU=bdPSg_z;\a”Be{PvIjvIySySrngMª_k—TvIbdk˜gijk˜TDyl–—k˜U!`Q`dgiTVUAja”STVU=rnkwe=vI–Fkw`d`d”SU!`!¥

vijlzegijB`tbnrnvik—jl`#bng”l`cU…†vI–˜”SU,`QgIo

pvirdg+”Sjlz

2^

iB

£

uf”Istgi–€Ub!vI–)Ak˜jk^ `­ySrngiyFg+`dUv‡FUbdbdU=r'viySySrngMªak˜Tv†bnk—g+jgio­bdPSUDTVg_z_U=–)•OQPSU!^6`cPSg†¡[bnPlv†b

bnPSU$z_kw`de=rdU=bdU

G<sup>œ `dU=TVkœ</sup> jSg+rdT[kw`€bdPSU$z_”BvI–_gIolbdPSU

T V o™”Sjle›bnk—g+jlvI–Svijlz'bnPlv†b­k—b5e=vIj‡BUfe=giTVyS”_bnU!z”l`ck˜jSh uFW#PlviT‡Fgi–˜–—U'vI–˜hig+rdk—bdPlT¥^ù`);ƒAU=…+U=rdbdPSU!–—U,`d`#bdPlU=^vi–˜`dgVk—TVyFg+`dUbdPlvIb

f =u+v ‡0^yBU!jlvI–˜k—š,v†bnk—g+jŸ

OQPlU=k˜rfz_k˜`nernUbnU'vIySySrngMª_k—TvIbdk˜gij¡$rnk—bdU!`X0

infu,v{T V(u) +µX

i,j

|f−u−v|²i,j+T V^∗(v γ)}

OQPSU!^VySrdg+yBg0`cULveg+ja…iU=rnhiU!j0b;vI–˜higirnk—bdPST bdgD`cg+–—…+Ufk—b¿^ `~bdPlvIb#¡Qvi`#hiU!jSU=r{vI–˜k—š!U!zD‡a^W•SW#PBvI”_ªUb

vi–2k˜j_^—,‰+`)

u®jlU=¡¬vIySySrng+v+e{P>Plv+`rdU,eU!j+bn–—^ ‡BU!U=j§z_U!…iU=–˜giylyBU,z ‡a^ Ç YLg+–˜z_opvIrn‡«U=b!vi–2k—jc^˜ `¤Og6gi”Sr

²ajSg†¡$–˜U!zShiUËbnPSkw`kw`e”lrdrnU=j0bd–˜^«bdPSU‡FU!`cbj0”lTDU!rdkwe=vi–viySySrngMª_k—Tv†bnk—g+jÂbdg«Í­¦6U!^iU!r!¨`DySrdg+‡S–˜U=T¥;vi`

jlgÂviySySrngMª_k—Tv†bnk—g+j×kw`VjSU=U,z_U!z¢bdgÂk˜TDyFg+`dU

f = u+vÉOQPlUvi”_bdPlgir{`D`dgi–˜…iUk—b˔l`ck˜jSh§vÂ\aU!e=gijlz X•r{z_U!rËW#g+jSUq5rngihir{vITVTVk˜jShÉÑ)\lX'W#q#ÒVviySySrng+vie{PÉOQPSkw`vI–˜hig+rdk—bdPlT k˜`Ëvi–˜`dg«²0jlg†¡$j¢bngÂe=gija…iU!rdh+U

k˜j«yBg+–—^ajSg+TDkwvI–€bnk—TVUiOQPSUVTvIk˜j«k˜`n`c”lUrnU=TvIk˜jSk˜jShTDk˜hiP0b'‡FUVbdPSUeg+TVyS–—U=ª_kmbt^6gio;bdPlUËeg_z_U!`VљbdPSU

vi”_bdPlgir{`A”l`dUDbdPSU¦ X\†è½–˜k—‡lrnvird^SÒfvijlz>bdPSUeg+TVyS”_bdk˜jShbdk˜TVUiÖV j¸^˜

`¤¥bnPSU=^.k˜jlz_kwe=vIbdUDbdPBv†bbdPSU

q Ç °vIySylrdg0vie{PVbdgD`cg+–—…+U•x$”Bz_k—j

œ

XL`dPSU=r

œ £

v†bnU=TVklylrdg+‡S–—U!T¬k˜`QvIrngi”ljlzDbt¡$k˜e=UAopv+`tbnU=r#bdPlvijËbnPSU\BX'W#q

viySySrng+v+e{PŸ

ÙچÛÜÝ{ÞiÞ~ßáàpâ{݆ã)àpچäSåVÚtæ

l^∞çâ{ÚIäSå›ã2èn݆àéälã2åàéä>àéÛÝ=ê0ÜQÞ~èdÚ!â{Üå{å{àéäaê

M‚

àvuœ טž<~@‚|~–y¿–zc…a‚d£¥~ŽÅÙy–z6Ųz6‚†„…E„.~–ƒ†‚éƒn¡ƒ†³džeÅÙz„.¢dƒ£

V jbdPlUvIySySrng+v+e{PSU!`;ySrngiyFg+`dU!zËk˜j_^ˆ ¥ `ŸbnPSU”l`dU=r$Plv+`;bngVhik˜…iUvIjUªabdr{vyBvIr{vITVUbnU=r,¥av+`

f =u+v

kw`k—TVyFg+`dU!z‡a^yBU!jlvI–˜k—š,v†bnk—g+jŸ­Ovi²0k˜jShDkmbQbng0gD–wvIrnhiUA–˜U!v+zS`#bdgDPSk˜hiPegiTVyS”Sbdk˜jShbnk—TVU+¥SvIjlzbnvi²0k˜jShDkmb

bngag`dTvI–˜–€z_gaU,`•jlgIbU=jl`d”SrnUbnPlv†bLbdPSUe=gijl`cbdr{vIk˜j0bAk˜`•b{vI²iU!j>¡U=–˜–k—j0bdgvie!eg+”Sj0b!XVj>bnPSUo™gi–˜–—g†¡$k˜jShl¥

¡UySrnU!`dU=j0bfvTVU=bdPSg_zbdPlvIbfyBU!rdTVk—bn`QbngvM…igikwzbnPSkw`$yBU!jlvI–˜k˜š!v†bnk—g+jŸ

ÍDl¦6U=^+U=r,¨`$zSk˜`nernUbnk—š!U!zySrdg+‡S–˜U=T½¡$rnkmbnU!`X0

uinf∈X{J1(u) +λ inf

g∈Y,div(g)=f−u{||g||∞)}} ^{Ñ)‚_Š Ò}

žØPSU!rdU

J1

k˜`$z_U=¯ljSU,zk˜j§Ñ2ˆS—,üiқ­ž«U'PlvM…iU•bdPlUo™gi–˜–—g†¡$k˜jShVrdU,`c”l–mb{0

ê  ¸< #¸ Ž,ð™,ð ¸

ï°ñQpì

ë ènÚjG=ߗÜÛíì–îjÒðï¦ñòâ{݆ä_G{ÜèdÜ2æچè›ÛÖF_ߗÝIã¤ÜCMÝ†å5æچßéߗÚ

Ð

åÖÕ

g∈Y,||infg||^∞≤α{J1(f −div(g))} ^{Ñ2‚_Š+‚+Ò}

ê  ¸Ÿ¸ “ OQPSU¯lr{`tb$kwz_U!vDkw`QbdPlvIbf¡#U'e!vIj”l`cULbnPSUe{PlvIjlhiUgIo€…MvirdkwvI‡l–—U10

u=f−div(g) ^{Ñ2‚SŠ++Ò}

bng>hiU=bDvij×giy_bnk—TVk˜š!vIbdk˜gij§ySrngi‡S–˜U=T bnPlv†bVz_U=yFU=jlzl`g+jS–—^ÂgiofgijSU…MvirdkwvI‡l–—U

g>OQPSkw`k˜`yBg0`d`dk˜‡S–—U

‡FU!e!vI”l`dULbdPSU'g+yBU!rnvIbdg+r

div k˜`f`d”Sr2stU!ebdk˜…iULo™rdg+T

Y ^bdg X^

uinf∈X{J1(u) +λ inf

g∈Y,div(g)=f−u{||g||∞}}= inf

g∈Y{J1(f−div(g)) +λ||g||∞} ^{Ñ)‚_Š0ùiÒ}

OQPSkw`fylrdg+‡S–—U!Te=gi”S–wz‡BU`dgi–˜…iU,z”l`ck˜jShËv`d”S‡Sh+rnv+z_k—U!j0b$zSU!`neU=j0b,O”SrnjSk—jlhVbdPSU–wvIh+rnvijShiULT”l–mbnk

œ

yl–—k˜U=r

λk˜j0bdgLvAeg+jl`cbdr{vIk˜j+b,¥!¡U;h+UbŸbnPSU#o™gi–˜–—g†¡$k˜jShfTVk˜jSk—TVk˜š!vIbdk˜gijySrngi‡l–—U!T Ñp¡#U#rdU=o™U=rbdg$bnPSUviySyFU=jlz_k—ª o™g+rQbdPSU'–˜k˜jS²Ë‡FUbt¡U=U=jbnPSUbt¡#gVTVg_z_U=–w`{Òd0

g∈Y,||infg||^∞≤α{J1(f −div(g))} ^{Ñ2‚_Šiü0Ò}

ƒAgIbdkweUbnPlv†bk—o•¡UrnU=yS–wvie=UbnPSU

L^{∞œ jSgirnT ‡a^×v} L^{2œ jSgirnT k˜j Ñ)‚_Š} Ò¥;¡Uh+UbDbdPSUTVg_z_U=–$gio XL`dPSU!r

œ

\agi–˜È

œ

ç­U!`dUÌ^ˆIŠ-`)