HAL Id: tel-00625092
https://tel.archives-ouvertes.fr/tel-00625092v2
Submitted on 7 Jun 2012
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.
applications à l’hydrogéologie
Julia Charrier
To cite this version:
Julia Charrier. Analyse numérique d’équations aux dérivées aléatoires, applications à l’hydrogéologie.
Mathématiques générales [math.GM]. École normale supérieure de Cachan - ENS Cachan, 2011.
Français. �NNT : 2011DENS0030�. �tel-00625092v2�
THÈSE / ENS CACHAN - BRETAGNE
sous le sceau de l’Université européenne de Bretagne
pour obtenir le titre de
DOCTEUR DE L’ÉCOLE NORMALE SUPÉRIEURE DE CACHAN
Mention : Mathématiques
École doctorale MATISSE
présentée par
Julia Charrier
Préparée à l’INRIA Rennes - Bretagne Atlantique
Analyse numérique
d’équations aux dérivées
aléatoires, applications à
l’hydrogéologie.
Thèse soutenue le 12 juillet 2011
devant le jury composé de :
Fabio Nobile
Professeur à Politecnico di Milano / rapporteur
Denis Talay
Directeur de recherche à l’INRIA / rapporteur
Olivier Le Maître
Chargé de recherche CNRS au LIMSI / examinateur
Florent Malrieu
Maître de conférences à l’université de Rennes 1 /
examinateur
Arnaud Debussche
Professeur à l’ENS Cachan-Bretagne / directeur de thèse
Jocelyne Erhel
!"#$!%&!$"$!%!$ &!%!()"*+())+,)(-),$!..!%!()/%!"0&$! )!,$"0!)12"!3$(-,0!)4+ !.5(!#+,$
-*+&$- !#)607!( -0$!$%-)12"!89+,)-,.+(:0! !")$+&"-(";&."+()",%!:,&0!$!)%! +("!&..!$)+,)!(
%-.-&""-(),(!:$-(0!-,)+(+%&!!)!(%!<-&"-() +(=-( !84!$!%!$ &!)+,)#-$)& ,.&2$!%!()3$(-,0#+,$
"-:$-(0!0&"#+(&>&.&)6;"+( "+,)&!("-(" <-&..!;)+,)!".!" +((-&""-( !"?,7&.%7-)$-("%&"!"; #+,$ %7-*+&$
<-&)#$+=)!$0! "+( !@#6$&!( !;#+,$ "->&!(*!&..-( ! 0-(".!" %+%!()"0&A &.!"; #+,$ -*+&$ $,!(%+& !) #+,$%7-*+&$<-&)-*-( !$",$.! 1!%&(?,&%2(!076),0&-()!/ 1!$ 1!,"!8
4!$!%!$ &!B!(&"9-.-5!)C->&+D+>&.!07-*+&$- !#)60!$-##+$)!$ !))!)12"!;%-.:$6.!,$"!%#.+&"0,
)!%#")$2" 1-$:6"8E7!") ,(1+((!,$ #+,$%+&?,7&."-&!().,-*! -))!()&+(%+()$-*-&.!)?,7&."0+((!()
-&("&,(#+&()0!*,!"#6 &-.&"6",$ !.,&F &8
4!$!%!$ &!C.+$&!() -.$&!,!)G.&*!$H! -I)$!07-*+&$- !#)60!<-&$!#-$)&!0!%+(J,$584!.!,$",&"
)$2"$! +((-&""-()!#+,$.7&()6$K)?,7&."#+$)!()/%+()$-*-&.8
4!$!%!$ &!L+>!$) M 1!& 1.;N*-( O$-1-%!)3$!)1-9! P!()$,##+,$ .!,$- ,!&.)$2" 1-.!,$!,@.+$"
0!%+("6J+,$/Q-)1;!)-*! ?,&J7-&)$-*-&..6-*! #.-&"&$!)>!-, +,#-##$&"8
4!)&!("6:-.!%!()/$!%!$ &!$)+,".!"%!%>$!"0,06#-$)!%!()0!%-)1"0!R!$H-((;#+,$.!,$"?,-.&)6" 1,%-&(!";#60-:+:&?,!"!)" &!()&=?,!"847-&*$-&%!()>!-, +,# -##$6 &6.7-%>&-( !0!)$-*-&. 1-.!,$!,"!
?,& 5 $2:(!84!)&!(" !( #-$)& ,.&!$/!@#$&%!$)+,)! %-:$-)&),0! / & 1!.S&!$$!; ?,& -6)6 ,(!@ !..!()
#$+<!""!,$#+,$ %+&;!)/ O$6:+$5T&-.;0+() .-:!()&..!""!!).!"?,-.&)6" #60-:+:&?,!""+() $!%-$?,->.!";
#+,$ .-0&"#+(&>&.&)6 !).7!A - &)6 0+() &."+())+,"0!,@ <-&)#$!,*!/ 1-?,!<+&"?,!J!",&" -..6!.!"*+&$
-*! 0!" ?,!")&+(" -, +,$" 0! %- )12"!8 !$ & / U$V-( C-+, !) S1&.&##! E1-$)&!$ #+,$ .!,$ :!()&..!""!
!) .!,$1,%!,$ J+*&-.!-&("& ?,7/ O$6:+$5 T&-.; J7-& *$-&%!() !, #.-&"&$/ )$-*-&..!$ -*! !,@)$+&"0-(" .!
-0$!0!%!"!("!&:(!%!()"8 !$ &/T&$:&(&!Q+((-&..&!FD+W. #+,$ "-:!()&..!""!!)"+( "+,)&!(;/L+X!(( 9!@&!$FS& -$0#+,$-*+&$6)6%-),)$& !0!%+(&)+$-)!)#+,$ "-:!()&..!""!;/Y-((& PS$&*-)-*! ?,&+(
-#-""60!""+&$6!""5%#-"!)/Q!(+I)E-0$!8 !$ &/%!" +F>,$!-,@0!R!$H-((;- ),!."!)-( &!(";:$Z !
/?,&.7-%>&-( !!")*$-&%!()*&*-()!!)-:$6->. =
E[(g(ω, x) − E[g(ω, x)])(g(ω, y) − E[g(ω, y))]
*O$)0//&)#80#cov[g](x, y)
$#!1/#$!80#!#-.!')(.$ #!#x
Gy
5 "#)(4G4!'%#80#-# 7.2/#)(7&2&<6$#*+#2&!6-#)'2/-#<.%.$('(80#-"180.('&$I?*BJ.!2#(0$#0$'80# )&-0('&$/%#)80#/.%(&0(5#('-!&$$#!#)%1.-').('&$)!#a
80'=.%'#$()0%/-0)'#0%)&%!%#)!#<%.$!#0%5 #80' #)((;/'80#!.$)-#)1 &0-#2#$())&0(#%%.'$)*P.$)-# .!%#!#).//-' .('&$)50$ 7&'DH%180#$( !#H&$ ('&$!# &=.%'.$ ##)(-. &=.%'.$ ##D/&$#$('#--#>BQ5AB℄
cov[g](x, y) = σ
2
e
−
kx−yk
ℓ
,
I?*RJ
&N
σ
#)( -"1 .%(4(;/# #(l
-. -&$<0#0% !# &%%1-.('&$*+&22# $&0) -# =#%%&$)#$ !1(.'- /.% -. )0'(#5 #((# H&$ ('&$!# &=.%'.$ #1(.$(/#0%1<0-'6%#5-#)%1.-').('&$)!0 7.2/!#/#%21.F'-'(1.))& '1)&$(1<.-#2#$(/#0 %1<0-'6%#)5 # 80' #$ H.'( 0$F&$ 2&!6-# .% !.$) -#) H&%2.('&$)<1&-&<'80#)$.(0%#--#)5 -# 7.2/ !#
/#%21.F-'(1.(#$!.$ #GS(%#/#0%1<0-'#%G .0)#!#)/%& #))0)!#)1!'2#$(.('&$*P#)H&$ ('&$)!# &=.%'.$ # /-0)<1$1%.-#)!#-.H&%2#
cov[g](x, y) = σ
2
e
−
(
kx−yk
ℓ
)
δ
I?*AJ
)&$(0('-')1#)* P.$)-# .!%#!#).//-' .('&$) &$)'!1%1#)' '5&$)"'$(1%#))##)#$('#--#2#$(.0 .)&N
σ
2
≥ 1
5 80' &%%#)/&$!G !#)'$ #%('(0!#) '2/&%(.$(#) #( &N
ℓ
≤ 1
580' &%%#)/&$!G 0$# -&$<0#0% !# &%%1-.('&$ '$H1%'#0%#G-.(.'--# !#-.T&$#G-.80#--#&$)"'$(1%#))#5=&'%#2S2#ℓ
≪ 1
*3&0% &$ -0%# # /.%.<%./7#5 '- #)( '2/&%(.$( !"1=&80#% !6) 2.'$(#$.$( !#0D /.%(' 0-.%'(1) !"0$
(#- 7&'D!# 7.2/!#/#%21.F'-'(1580"&$%#=#%%./-0)#$!1(.'-0-(1%'#0%#2#$(#(80'#D -0#$(-".//-' .('&$!#
$&2F%#0D%1)0-(.()80"&$/#0((%&0=#%!.$)-.-'((1%.(0%#*U&0(!".F&%!0$ 7.2/-&<$&%2.-$"#)( -.'%#2#$(
$'0$'H&%212#$(F&%$1/.%%.//&%(G
ω
5$'0$'H&%212#$( &#% 'H/.%%.//&%(Gω
*P#/-0)5.=# -# 7&'D!#-. &=.%'.$ ##D/&$#$('#--#I?*RJ5-#)(%.V# (&'%#)!#a
)&$(/#0%1<0-'6%#)5#--#)$#)&$(#$/.%(' 0-'#%/.)C
1
&0
W
1,∞
*3&0%/-0)!#!1(.'-))0%-#)/%&/%'1(1)!0 7.2/!1 %'( '4!#))0)5&$)#%#/&%(#%..0/.%.<%./7#?*B*?5 #(/&0%/-0)!#!1(.'-))0%-#)%1)0-(.()80"&$/#0((%&0=#%!.$)-.-'((1%.(0%#5&$)#%#/&%(#%..0/.%.<%./7#
?*?*R#(.0D%1H1%#$ #)80')";(%&0=#$(*
!"# %&'()!&*+,&'(!# -'..+/(%,
O$)"'$(1%#))#2.'$(#$.$(G -".!=# ('&$4!'W0)'&$ !"0$ )&-0(1I(;/'80#2#$( 0$/&--0.$(J !.$)-# 2'-'#0
!1 %'( '4!#))0)*3-0)/%1 ')12#$(5&$ &$)'!6%#0$)&-0(1'$#%(#'$V# (1G-"'$)(.$('$'('.-!.$)-#2'-'#0/&4
%#0D !1 %'( '4!#))0)#(&$ )0//&)# 80"'- #)( (%.$)/&%(1 /.% -"1 &0-#2#$( !# -"#.0 #(!'W0)1* O$ &$)'!6%#
0$'80#2#$(-.!'W0)'&$2&-1 0-.'%#5$1<-'<#.$(-.!')/#%)'&$ '$12.('80#*O$)0//&)#80#-.!'W0)'&$2&-14
0-.'%##)(7&2&<6$##(')&(%&/##(80#-./&%&)'(1#)( &$)(.$(#51<.-#G
1
*+#(;/#!#2'<%.('&$!"0$)&-0(1 #)(!1 %'(/.%-"180.('&$!".!=# ('&$4!'W0)'&$)0'=.$(#L∂c(ω, x, t)
∂t
+ v(ω, x).∇c(ω, x, t) − D∆c(ω, x, t) = 0,
I?*QJ&N
D
#)(-# &#K '#$( !#!'W0)'&$2&-1 0-.'%#5v
-.='(#))#!#P.% ;!1X$'#!.$)-# /.%.<%./7#/%1 1!#$(5 #(c
-. &$ #$(%.('&$!#)&-0(1*O$)"'$(1%#))#.0 .)&N-".!=# ('&$#)(!&2'$.$(#5 "#)(4G4!'%#.0 .)&N-# $&2F%#!#31 -#(ℓkvk
mean
D
#)( '2/&%(.$(I(;/'80#2#$(≥ 100
J*E. &$!'('&$'$'('.-#Gt = 0
#)( -"'$V# ('&$ !0)&-0(15 "#)(4G4!'%#c(t = 0) = 1
R
5&NR
#)(0$%# (.$<-#'$ -0)!.$)-#!&2.'$#O
*E"180.('&$I?*QJ!&'(!"#$ &'()*"*$+,$ -$. &/-0"0&/.+123&#-.4561/(&0/"-$,1$+(()0 +"078&/.&19+0"$.+,&0# &''$/"1/
(&))1+/" 0/:$ "* ; 1/0/."+/" -&//*-$ '+/0<#$ )& +)0.*$ -+/. 1/$ /+(($ (9#*+"0=1$ ,+ .$(#&(+>$# -+/.
$))$? 08&/($1"$/(+#"0 1)0$#.$-$'+/-$#=1$))$"+0))$,++""$0/-#$)+@&/$(&))1*$8;=1$))$,0"$..$$))$,+
.$-*()+ $#8 &'30$/-$"$'(.)+(&))1"0&/,+'$""#$(&1#+""$0/-#$1/$@&/$-$(&'(+>$4
A/-*B/0"'+0/"$/+/")$.-$12=1+/"0"*.=1$)6&/.&19+0"$0 0 +) 1)$#C)6$2"$/.0&/'&D$//$$")+E'+ #&F?
-0.($#.0&/'&D$//$4G&1# $)+&/ &''$/ $(+#-*B/0#)$ $/"#$-$'+..$-1.&)1"*C
G(ω, t) =
Z
O
c(ω, x, t)xdx.
H6$2"$/.0&/-1.&)1"*
S(ω, t)
$."+)&#.-*B/0$(+#S(ω, t) =
Z
O
c(ω, x, t)(x
− G(ω, t))(x − G(ω, t))
t
dx,
$")+-0.($#.0&/
D(ω, t)
&''$)+-*#0,*$"$'(&#$))$-$)6$2"$/.0&/CD(ω, t) =
dS(ω, t)
dt
.
A/-*B/0"$/B/)6$2"$/.0&/ '&D$//$$")+-0.($#.0&/'&D$//$4
S(t) = E[S(ω, t)]
$"D(t) = E[D(ω, t)].
H+'+ #&?-0.($#.0&/"#+-10")+,0"$..$;)+=1$))$)$(+/+ 9$-$.&)1"*.6*"$/-4H+-*"$#'0/+"0&/-1 &$I 0$/"
-$'+ #&?-0.($#.0&/8$" $/(+#"0 1)0$#-$)60/J1$/ $-$ )69*"*#&>*/*0"*-1'0)0$1 .1# $ &$I 0$/"8 +*"*)$
.1:$"-$/&'3#$12"#+,+12 $.KL-$#/0<#$.+//*$.8,&0#(+#$2$'()$ML8NO8NP8KP8QL8Q 8QK℄4S*+/'&0/.8
-+/.)+()1(+#"-$ $."#+,+128)+-0T1.0&/+*"*/*>)0>*$8 &/.0-*#+/"1/0=1$'$/")$"$#'$-6+-,$ "0&/4G+#
&/.*=1$/"8&/$."$/"#$+1"#$.0/"*#$..*.(+#)60/J1$/ $=1+)0"+"0,$$"=1+/"0"+"0,$-$)+-0T1.0&/'&)* 1)+0#$
.1#)+'+ #&?-0.($#.0&/E,&0#MNL℄(&1#-$.#*.1)"+"./1'*#0=1$.F4
! !" #$%&'()* )% )*%+,-%+'.* (/)00)10* '..1)* 3'10 4- 51-.%+6 -%+'. ()* +.7
)0%+%1()*
5+/. $""$(+#"0$8&/(#*.$/"$()1.0$1#.-$.(#0/ 0(+)$.'*"9&-$./1'*#0=1$.1"0)0.*$.(&1#)+=1+/"0B +?
"0&/-$.0/ $#"0"1-$.8+0/.0=161/&1"0)0'(&#"+/"-6+((#&20'+"0&/-+/.1/$.(+ $."& 9+."0=1$-$-0'$/.0&/
B/0$C)$ -*,$)&(($'$/" -$U+#91/$/?H&<,$8 $""$ +((#&20'+"0&/:&1+/"$/"#$ +1"#$.1/#)$7&/-+'$/"+) -+/.)$.'*"9&-$..($ "#+)$.."& 9+."0=1$.4G&1#.0'()0B$# $"$2(&.*8&/(#*.$/"$ $.'*"9&-$.-+/.)$ +.
-$)6*=1+"0&/'&-<)$.10,+/"$C(&1#(#$.=1$"&1"
ω
∈ Ω
−div(a(ω, x)∇u(ω, x)) = f(x)
x
∈ D,
u(ω, x) = 0
x
∈ ∂D,
EN4QF/*+/'&0/.)$.'*"9&-$.-* #0"$. 0?-$..&1.&/"1/$(&#"*$()1.>*/*#+)$8 $#"+0/$. ()1.=1$-6+1"#$.4WB/
=1$)$ (#&3)<'$ .&0"30$/(&.*8&/.1((&.$-+/. $(+#+>#+(9$=1$
f
∈ L
2
(D)
8 $"=1$(&1# (#$.=1$"&1"ω
8x
7→ a(ω, x)
$." '$.1#+3)$8$" =160) $20."$a
min
(ω) > 0
$"a
max
(ω) < +∞
"$). =1$ (&1# (#$.=1$ "&1"x
∈ D
&/+a
min
(ω)
≤ a(ω, x) ≤ a
max
(ω)
4A/.1((&.$=1$
D
$."1/&1,$#"3&#/* &/,$2$0/ )1. -+/.R
d
4
A/ &/.0-<#$
V
h
1/$.(+ $."+/-+#--6*)*'$/".B/0..1#D
-$7&/ "0&/. &/"0/1$.8)0/*+0#$.(+# '&# $+128 +..& 0* ;1/$ 7+'0))$ #*>1)0<#$-$ "#0+/>1)+"0&/.-$D
-&/" &/ /&"$h
)$ -0+'<"#$ '+20'1' -1 '+0))+>$4 G&1# +))*>$#)6$2(&.*8&/ /$-&//$#+ =1$)$.$."0'+"0&/.-6$##$1#H
1
8'+0. 30$/.X#-+/. 9+=1$ +.&/+ *>+)$'$/"-$.$."0'+"0&/.-6$##$1#
L
2
4
Y/$9D(&"9<.$ 7+0"$(+#-$/&'3#$12+1"$1#.(&1#&3"$/0#-$.$."0'+"0&/.-6$##$1#.$.")+.10,+/"$C
!"#$%&'()*)*)* !"#$$%"& '#&
a
∈ L
∞
(Ω,
C
1
( ¯
D))
&( '#)*+ &,*"(&
a
min
> 0
(&+'#& $%#-$-&"'#&(%#(
ω
%!.*(a
min
≤ a(ω, x)
!"##"$%&'#$()" '+#,"+#-./0',)1+"$%&'#$()"2"3451./3,#42")34/.,)/#,'+)2"
a
6&'13/&&.,71"3./#$4'3," )#/+2/3228")#,9/#,'+)28"33"134.49"+#):+,);"#1+"$%&'#$()"28"<,)#"+ "281+"='3+""#281+" '+)#/+#"2" '"3 ,>,#41+,0'39"&/33/&&'3#-
ω
6&'13&'1>',3'=#"+,32")")#,9/#,'+)28"33"13)1+,0'39")&/33/&&'3# -ω
;?@++'#"3/2()-&34)"+#71".") $/9&).'5+'39/1<24:+,)/1&/3/53/&$"AB '1."9"+#C 2"./)" #,'+ D?D?E+">43,:"+#&/)." 2"1<,(9"&',+#F"#71"2/+)." /)281+" '>/3,/+ ""<&'+"+#,".."6D?G;F." &3"9,"3&',+#+8")#&/)>43,:4+'+&.1)?
!"#$%&'%& "()& $*"&+,-./$
H" &3,+ ,&" 2" ./ 94#$'2" 2" I'+#"J!/3.' ")# ),9&."F '+ '+),2(3"
M
34/.,)/#,'+) ,+24&"+2/+#") 21 $/9& 2" &"394/=,.,#4a
1
, ...a
M
F &'13 $/ 1+" 2" ") 34/.,)/#,'+)'+ /. 1." 1+"/&&3'<,9/#,'+u
i
h
2"./ )'.1#,'+u
i
2".8BKL 24#"39,+,)#" '33")&'+2/+#"−div(a
i
(x)
∇u
i
(x)) = f (x),
2/+).8")&/ "284.49"+#):+,)
V
h
6'+ &"1#1#,.,)"3 +8,9&'3#"71".."/1#3"94#$'2"+1943,71"&'13 /. 1."3 ./)'.1#,'+2" .8BKL 24#"39,+,)#"F'++" '+),2(3"3/, ,71"2")94#$'2"284.49"+#):+,) 9/,)." &3,+ ,&"")# #'1#- 0/,#54+43/.;?L'131+" 0'+ #,'+
ϕ : R
→ R
'1ϕ : H
1
(D)
→ R
F'+ /&&3' $" /.'3)
E[ϕ(u)]
&/31
M
M
X
i=1
ϕ(u
i
h
)
? @+ &"1# /.'3) 24 '9&')"3 .8"33"13 '99,)" "+ 1+ #"39" '33")&'+2/+# - ./ 2,) 34#,)/#,'+ )&/#,/.""#1+#"39" '33")&'+2/+#/1I'+#"J!/3.'F71,")# "+1/
√
M
?L.1)&34 ,)49"+#F'+/&/3"<"9&." ."34)1.#/#)1,>/+#ME℄&'13." /)21 /. 1.2".8")&43/+ "?0.$)$'1"1$*232343 !"#$$%"&'()*$%+),"&-.-.-/01230&4%!55'%1"'(&"+265+2%!7(&11"#2/5!+&82'&92"+&
#!& %!"+5!+&
C
+&''&;#& $%#1+%#+h > 0
&++%#+M
%!52+E[u] −
1
M
M
X
i=1
u
i
h
L
2
(Ω,H
1
0
(D))
≤ C
h +
√
1
M
kfk
L
2
(D)
.
6D?O;H") 94#$'2") 2" #%&" I'+#"J!/3.' '+# .8/>/+#/5" 28P#3" 0/ ,.") - 9"##3" "+ '"1>3" "# &/3/..4.,)/=.")F
/,+),71"28/>',31+ /23"28/&&., /#,'+#3()54+43/.Q"..")&"1>"+#)8/&&.,71"3/>" +8,9&'3#" 71".."BKL
&'13./71".."'+2,)&')"281+"94#$'2"+1943,71"624#"39,+,)#";F71".8'+&"1#/.'3)1#,.,)"3"+='R#"+',3"?
H/ >,#"))" 2" '+>"35"+ "")# 2" &.1) ,+24&"+2/+#" 2" ./A2,9"+),'+ )#' $/)#,71" 2"
a
C 6>',3 &/3/53/&$" AI4#$'2"))&" #3/."))#' $/)#,71")C ,J2"))'1);?S4/+9',+)"..")'+#&'13,+ '+>4+,"+# 28/>',31+">,#"))"2" '+>"35"+ "/))"T."+#"6
1/
√
M
;F." 1#2" /. 1.4#/+#M
0',) ".1,21&3'=.(9"24#"39,+,)#"6-)/>',3 ".1,2"./34)'.1#,'+281+)%)#(9".,+4/,3"2"#/,.."dim(V
h
)
;? K")/94.,'3/#,'+)2" "##"94#$'2"2"=/)")'+#&')),=."F"+&/3#, 1.,"353V "-2")#" $+,71")2"3421 J #,'+2">/3,/+ "F'1"+1#,.,)/+#2")94#$'2")2"#%&"71/),I'+#"J!/3.'MG ℄?5* $6"1/%7-)).$819-"1$* %-*' 6*&')- & '"$ #-'"1;6& %& %19&*'1$*<*1& =/&%!>&/$))&9&*"
%& ?-.#6*&*+@$A>&
H"&',+#2"24&/3#2")94#$'2"))&" #3/."))#' $/)#,71")718'+>/&34)"+#"32/+)."&/3/53/&$"AI4#$'2")
)&" #3/.") )#' $/)#,71")C ,J2"))'1)F71, ")# 1+&',+# 31 ,/.F")# .8/&&3'<,9/#,'+ 21 '"W ,"+#
a
2/+) 1+ ")&/ " /.4/#',3"2" 2,9"+),'+ :+,"F 8")#J-J2,3" &/3 1+" 0'+ #,'+281+ +'9=3" :+, 2" >/3,/=.") /.4/#',3")?H")2"1<94#$'2")03471"99"+#1#,.,)4")&'13'=#"+,31+"#".."/&&3'<,9/#,'+)'+#.")24>".'&&"9"+#)"+
&'.%+9")2"!$/')"#.")24>".'&&"9"+#)2"X/3$1+"+JH'(>"?@+"<&')", , "##"2"3+,(3"94#$'2"MEFGD℄
71,")# "..")13./71".."'+)" '+ "+#3"3/&/3./)1,#"F /3".."")#=,"+/2/"/1 /)281+ $/9&.'5'+'39/.
$'9'5(+" "<&')4 2/+) ." &/3/53/&$" D?D?EF &'13 2") 3/,)'+) 71" .8'+ "<&.,71"3/? H" 24>".'&&"9"+# 2" X/3$1+"+JH'(>"")#45/."9"+#1#,.,)4&'13 "3#/,+")94#$'2")2"#%&"&"#,#")&"3#13=/#,'+)6>',3&/3/53/&$"
AI4#$'2")2"#%&"&"#,#")&"3#13=/#,'+)C;?!8")#"+:+1+"2")94#$'2")1#,.,)4")&'13),91."3." $/9&
a
F 2/+)." /23"2")94#$'2")2"#%&"I'+#"J!/3.'&/3"<"9&."?!"#$
b : Ω
× D → R
%& '(" *++%+ +$" ,-+$#.%* /"&$ 0- 1"& $#"& /* "2-(#-& *cov[b]
*+$ "&$#&%* +%(¯
D
× ¯
D
34& "&+#/5(*06"'7(-$*%(/*8#09*($:! ,;#/$-%$":-/<"#&$'"+#$#1-++" #7/7=&#'-(h
∈ L
2
(D)
7→
Z
D
cov[b](x,
·)h(x)dx.
4&&"$*
(λ
n
, b
n
)
n∈N
∗
0- +%#$*/* "%'0*+'("'(*+/* *$ "'7(-$*%(>"? 0*+2-0*%(+'("'(*+λ
n
+"&$ (-&@7*+ /-&+06"(/(*/7 ("#++-&$34&(-''*00*.%6*00*+27(#=*&$X
n≥1
λ
n
=
Z
D
cov[b](x, x)dx
*$.%*0*+2* $*%(+'("'(*+b
n
1"(;*&$%&*1-;#00*"($,"&"(;-0*34&--0"(+b(ω, x)
L
2
(Ω×D)
=
E[b](x) +
X
n≥1
p
λ
n
b
n
(x)Y
n
(ω),
"?0*+2-(#-90*+-07-$"#(*+
Y
n
+"&$ *&$(7*+(7/%#$*+*$/7 "((707*+A*$/"& 1"(;*&$%&*1-;#00*"($,"&"(;-0*B> /7=&#*+'"%(λ
n
> 0
/*;-(*%&#.%*'-(Y
n
(ω) =
√
1
λ
n
Z
D
(b(ω, x)
− E[b](x))b
n
(x)dx.
C6-'(5+0*$,7"(5;*/*D*( *(EFG℄>+#"&/7=&#$0-+";;*'-($#*00*
b
N
(ω, x) = E[b](x) +
N
X
n≥1
p
λ
n
b
n
(x)Y
n
(ω)
> "&-sup
x∈D
E[(b − b
N
)
2
](x)
→
N →+∞
0.
AI3JBK0*+$#;'"($-&$/*&"$*(.%*/-&+0* -+"?
b
*+$%& ,-;'@-%++#*&>"&-/*+'("'(#7$7++%''07;*&$-#(*+$(5+ #&$7(*++-&$*+3L&*M*$+#b
*+$%& ,-;'@-%++#*&>"& "&&-N$0-0"#/*+Y
n
O *+"&$/*+@-%++#*&&*+ *&$(7*+ (7/%#$*+> *.%#*+$$(5+%$#0**&'(-$#.%*>/*'0%+/-&+ * -+0*+2-(#-90*+-07-$"#(*+Y
n
+"&$#&/7'*&/-&$*+> *$'-++*%0*;*&$/7 "((707*+3C*'0%+>/-&+0* -+/6%& ,-;'@-%++#*&-2* "((70-$#"&*P'"&*&$#*00*A/7=&#*'-(AI3QBB>"&-/*+*P'(*++#"&+.%-+#:*P'0# #$*+'"%(0*+2-0*%(+'("'(*+/-&+0* -+"?"&'(*&/0-&"(;*
1
*$+*'0- *+%(%&/";-#&*(* $-&@%0-#(*A'"%(%&/";-#&*.%*0 "&.%*>"&'*%$%$#0#+*(0*/72*0"''*;*&$/*R-(,%&*&:S"52*+%(%&/";-#&*(* $-&@%0-#(* "&$*&-&$ */";-#&*B3L&*M*$>*&/#;*&+#"&
1
> "&+#/7(-&$ 067.%-$#"& -(- $7(#+$#.%*(ℓ
2
w
2
− 1) sin(w) = 2ℓw cos(w)
*$&"$-&$
(w
n
)
n≥1
0-+%#$*/*+*+(- #&*+'"+#$#2*+"(/"&&7*+/-&+06"(/(* ("#++-&$>-0"(+0*+2-0*%(+'("'(*+ /%/72*0"''*;*&$/*R-(,%&*&:S"52*/*b
+"&$/7=&#*+'-(λ
n
=
2ℓσ
2
ℓ
2
w
2
n
+ 1
AI3 B *$0*+2* $*%(+'("'(*+'-(b
n
(x) = α
n
(sin(w
n
x) + ℓw
n
cos(w
n
x)),
AI3IGB"?
α
n
=
1
√
(ℓ
2
w
2
n
+1)/2+ℓ
T '"%( 0- '(*%2*> 2"#(EQI> UF℄ '-( *P*;'0*3L& /#;*&+#"& +%'7(#*%(*>0*+ "%'0*+
'("'(*++"&$"9$*&%+*&$*&+"(#+-&$0*+ "%'0*+'("'(*+;"&":/#;*&+#"&&*0+3C*+;7$,"/*+&%;7(#.%*+*V:
- *+"&$7$7/72*0"''7*+'"%( -0 %0*(0*+ "%'0*+'("'(*+/%/72*0"''*;*&$/*R-(,%*&:S"52*/-&+0* -+
/6%&* "2-(#-& *.%*0 "&.%*>2"#('-(*P*;'0*EFW>XX℄3
4&%$#0#+*=&-0*;*&$0* /72*0"''*;*&$ /*R-(,%&*&:S"52* '"%(-''(" ,*(0*'(" *++%+ +$" ,-+$#.%*
b
/-&+%&*+'- *+$" ,-+$#.%*/*/#;*&+#"&=&#*> 6*+$:Y:/#(*'-( %&*1"& $#"&/6%&&";9(*=&# /*2-(#-90*+-07-$"#(*+>*&06" %(*& *'-(
b
N
(ω, x) = E[b](x) +
N
X
n=1
p
λ
n
b
n
(x)Y
n
(ω)
34&'*%$%$#0#+*(0*/72*0"''*;*&$/* R-(,%&*&:S"52*'"%(0* "*V #*&$a
/*06LCZAI3FB>"%/-&+0* -+/6%& ,-;'0"@&"(;-02%-%'-(-@(-',* [L "%0*;*&$\ /* 0- +* $#"& I3I3X '"%( 0* ,-;' @-%++#*&g = log(a)
3 C-&+ * -+> 0* /72*0"''*;*&$ /*"#$%&'(')*+,-((./&'+&/0120('#3#4/56 #$
g
5/#'/&' %#849#&..0('6.+'35-(1+44(8('/3("#$%&'(') *+,-(:#0/#44#$#;/$(3(.-#$0#21(.#15#/+0$(.9#&..0(''(. ('/$5(.$53&0/(.0'354('3#'/(.6:# 01(.<.08&1($6(/3(41&.63#'.1( #.3(1# +-#$0#' ((=4+'('/0(11(> ?@A61(.:+' /0+'.4$+4$(..+'/:# 01(. < #1 &1($?B'
#44$+ %(3+' 1( +(C 0('/1+9'+$8#1
a = e
g
4#$a
N
(ω, x) = e
g
N
(ω,x)
,
+Dg
N
(ω, x) = E[g](x) +
N
X
n=1
p
λ
n
b
n
(x)Y
n
(ω),
> ? A+D
(λ
n
, b
n
)
n≥1
(./ 1# .&0/(3(. +&41(.4$+4$(.3( 1E+45$#/(&$3( F012($/)G %083/ 3('+H#&1# :+' /0+'3( +$$51#/0+'3(g = log(a)
?!"#$%&''(& "*+,&''"$ #+'"-./&'
*(.85/%+3(..4( /$#1(../+ %#./0I&(.6I&0 +84$(''('/1(.85/%+3(.3(J#1($K0'./+ %#./0I&(.LM6NO6@ 6
PN6MN6QM℄(/1(.85/%+3(.3( +11+ #/0+'./+ %#./0I&(.L 6QP6Q@℄+'/.&. 0/52(#& +&43E0'/5$S/ (.3($'0,$(. #''5(.?T(.85/%+3(..E#4410I&('/4+&$3(. +(C 0('/.
a
3(308('.0+'./+ %#./0I&(U'0(6+' +88(' (3+' 4#$ #44$+ %($1( %#84a
4#$ &'(#44$+=08#/0+'a
N
6:+' /0+'3(N
-#$0#21(.#15#/+0$(.6 E(./)<)30$(3#'. &'(.4# (./+ %#./0I&( 3(308('.0+'N
?T+88(+'-0('/3( 1(-+0$61( 35-(1+44(8('/3( "#$%&'(')*+,-( 4($8(/3E+2/('0$&'(/(11(#44$+=08#/0+'>1(.4+1H'8(.3(T%#+..+'/59#1(8('/:$5I&(88('/&/010.5.6-+0$4#$(=(841(L@ 6QM6@!6MW6QM6NO6NQ℄A?*(.85/%+3(..4( /$#1(../+ %#./0I&(.4($8(//('/#1+$.3( #1 &1($
1#.+1&/0+'
u
N
3(1E5I&#/0+'X#44$+ %5(Y.&0-#'/(Z−div(a
N
(ω, x)
∇u
N
(ω, x))
= f (x)
x
∈ D,
u
N
(ω, x)
= 0
x
∈ ∂D.
!"!#$
%&'()'*+,-& ,./-0+1&+' '*+12-0* '22'4' 21()1&+,5 1+,-&4' 26'00')0 -..,*' '& 1//0- 71&+
u
/10u
N
" 8'++'()'*+,-&'*+461)+1&+/2)*,./-0+1&+'9()' -..'&-)*122-&*2':-,092' -;+4'*.<+7-4'**/' +012'**+- 71*+,()'* 0-=+4'.1&,>0',./-0+1&+'1:' 214,.'&*,-&*+- 71*+,()'4) -'? ,'&+
N
'++' 0-,**1& ' '*+ +@/,()'.'&+ 'A/-&'&+,'22' /-)0 2'* :'0*,-&* B1*,()'* 4'* .<+7-4'* */' +012'* *+- 71*+,()'*9 :-,0 ,C4'**-)*$"%&'/0'.,>0'0</-&*'D '++'()'*+,-&'*+4-&&<'41&*E#℄*-)*G-0.'46'*+,.1+,-&46'00')0G-0+'9
*-)*4'*7@/-+7>*'*+0>*G-0+'* 4'4< 0-,**1& '4'*:12')0*/0-/0'*'+46'A,*+'& '46)&'B-0&')&,G-0.'/-)0
2'*
Y
n
$'+:,1)&''*+,.1+,-&L
∞
(Ω
× D)
4'26'00')0 -..,*'*)0
a
9'&/10+, )2,'0 '0<*)2+1+&'*61//2,()' /1*/-)0)& 71./2-H&-0.12"I-)* /0<*'&+-&*.1,&+'&1&+ 2'*.<+7-4'**/' +012'* *+- 71*+,()'* D /0-/0'.'&+ /102'0"
a
N
<+1&+ )&' G-& +,-&4'N
:10,1B2'*12<1+-,0'*(Y
1
, ...Y
N
)
9-&)+,2,*'0121&-+1+,-&a
N
(ω, x) = ˜
a
N
(Y
1
(ω), ..., Y
N
(ω), x)
"J& *)//-*' ()'2' :' +')012<1+-,0'Y = (Y
1
, ..., Y
N
)
14.'+ )&'4'&*,+< K-,&+'$ρ
/10 01//-0+D 21.'*)0'4' L'B'*H)'*)0R
N
6'*+/10'A'./2'2' 1*/-)0)& 71./2-H&-0.12$9-&:1/-):-,01,&*,01.'&'021G1.,22' 46MNO !"!#$/101.<+0<'/10
ω
D )&'G1.,22'46MNO /101.<+0<'41&*R
N
"M& 'P'+9*,/-)0
y
1//10+'&1&+ 1)*)//-0+Γ
⊂ R
N
4'
ρ
-&&-+'u
˜
N
(y,
·)
21*-2)+,-&4'26MNO−div(˜a
N
(y, x)∇˜u
N
(y, x))
= f (x)
x
∈ D,
˜
u
N
(y, x)
= 0
x
∈ ∂D,
!"!Q$
-&112-0*
u
N
(ω, x) = ˜
u
N
(Y (ω), x).
L'*.<+7-4'*4'R102'0S,&*+- 71*+,()'**'B1*'&+ 12-0**)02'G1,+()'2'/0-B2>.'4'4</10+ !"!#$'*+
<(),:12'&+D21G-0.)21+,-&:10,1+,-&&'22'H2-B12'*),:1&+'T
u
˜
N
'*+21G-& +,-&1//10+'&1&+DL
2
ρ
(Γ, H
0
1
(D))
:<0,51&+/-)0+-)+v
∈ L
2
ρ
(Γ, H
0
1
(D))
Z
Γ
Z
D
˜
a
N
(y, x)
∇˜u
N
(y, x)
∇v(y, x)ρ(y)dxdy =
Z
Γ
Z
D
f (x)v(y, x)ρ(y)dxdy.
!"!U$M& *' B1*1&+ *)0 '++' 0'G-0.)21+,-&9 -& 1//0- 7'
u
N
41&* 26'*/1 ' 4' 4,.'&*,-& 5&,'P
⊗ V
h
/10 )&' .<+7-4'4'R12'0S,&9-VP
'*+)&'*/1 '4'/-2@&.'*-)4'/-2@&.'*/10.-0 '1)A'&N
:10,1B2'*'+V
h
26'*/1 '46<2<.'&+*5&,*4<5&,/0< <4'..'&+"N1&*2' 1*-VP
'*+26'*/1 '4'*/-2@&.'*4'4'H0<,&G<0,')0 -)<H12 Dp
p
<+1&+)&.)2+,C,&4, '4'2-&H)')0N
$9-&&-+'u
˜
h,p
!"#$%&'()$*+(,-.('*
u
h,p
N
(ω, x) = ˜
u
h,p
N
(Y (ω), x)
/0+*"(*P
p
#1$23" $,$23+#5(7$2$(N
8"%'"9#$2,$,$:%-p
)u
˜
h,p
N
$2*,-.(' +77$#1;('<;$=+( *'+(,$P
p
⊗ V
h
8-%'."(*3+;%*+;*v
∈ P
p
⊗ V
h
Z
Γ
Z
D
˜
a
N
(y, x)
∇˜u
h,p
N
(y, x)
∇v(y, x)ρ(y)dxdy =
Z
Γ
Z
D
f (x)v(y, x)ρ(y)dxdy.
> / ?@ A+;2,$2B53+*BC2$2#-:C%$7$(*3#;2=+%*$2<;$#1D53+*BC2$ / / )<;$#1+(($,-*"'##$%"3"2' ')#1$2*'7"*'+( ,1$%%$;%2;'8"(*$$2*3%+;8-$,"(2EF℄H!"#$%&'()()*) !"#$%&"'(" *(%&+(&"
C > 0
&"!!",'"-*'.&*'&τ
∈]0, 1[
/$!"#$%&"(r
n
)
n
∈]0, 1[
N
&"!%,'" -*'.&*'&h > 0
"&p
∈ N
N
*(+$&kE[u
N
− u
h,p
N
]k
H
1
(D)
≤ C
h +
1
τ
N
X
n=1
(r
n
)
p
n
+1
!
.
I$2 7-*B+,$2 ,$ +##+ "*'+(2*+ B"2*'<;$2 2$9"2$(* <;"(* J $##$2 2;% #" %$=+%7;#"*'+( ,$ > / F@ 2+;2 =+%7$,1;($ ="7'##$,1KLM 3"%"7-*%-$ 3"%y
∈ R
N
)$* 2;%#$ ="'*<;$3+;% 3%$2<;$*+;*x
∈ D
)#" #+',$ω
∈ Ω 7→ u
N
(ω, x)
$2* $##$ ,$y
∈ Γ 7→ ˜u
N
(y, x)
) +N +( " 7;('Γ
,$ #" 7$2;%$ "5"(* 3+;% ,$(2'*-ρ
3"% %"33+%*J#" 7$2;%$,$I$9$2:;$/O($2*,+( %"7$(-J ;(3%+9#C7$ ,1'(*-:%"*'+((;7-%'<;$2;%R
N
"8$ 3+',2ρ
/ I$ 3%'( '3$ :-(-%"# ,$2 7-*B+,$2 ,$ +##+ "*'+(2*+ B"2*'<;$2 $2* ,$ "# ;#$% ;($ 2+#;*'+( "33%+ B-$u
˜
h
N
(y,
·)
,"(2#1$23" $,1-#-7$(*2.('2V
h
,$#"2+#;*'+(u
˜
N
(y,
·)
,$> / F@3+;% $%*"'($28"#$;%2 ,$y
Hy
1
, ...y
N
p
)"33$#-23+'(*2,$ +##+ "*'+(/O($(,-,;'*"#+%2;($2+#;*'+("33%+ B-$˜
u
h,p
N
)J3"%*'%,$2 8"#$;%2+9*$(;$2$(#$23+'(*2,$ +##+ "*'+($(;*'#'2"(*;($'(*$%3+#"*'+(,$I":%"(:$+;,$23+#5(7$2,$ PB"+2:-(-%"#'2-2/ O(,-*"'##$' '#"3%$7'C%$3+22'9'#'*-)2;'8"(*#"7-*B+,$3%+3+2-$,"(2E ℄/O(2;33+2$' '#$28"%'"9#$2 "#-"*+'%$2(Y
n
)
n=1...N
'(,-3$(,"(*$2)+(3$;*,+( - %'%$ρ
2+;2#"=+%7$ρ(y) = ρ
1
(y
1
)...ρ
N
(y
N
)
/A+'*p
;( 7;#*'Q'(,' $ ,$#+(:;$;%N
)3+;%1
≤ n ≤ N
)+( (+*$(y
n,k
n
)
1≤k
n
≤p
n
+1
#1$(2$79#$,$2p
n
+ 1
%" '($2,; 3#5(+7$ +%*B+:+("# ,$ ,$:%-p
n
+ 1
"22+ '- "; 3+',2ρ
n
/ O(*$(2+%'2$ $(2;'*$ #$23+'(*2 ,$ <;",%"*;%$ B+'2'2,"(2 B"<;$,'%$ *'+(/K("22+ '"(*J*+;*8$ *$;%,1'(,' $2[k
1
, ..., k
N
]
;('(,' $:#+9"#k
)+(+9*'$(* ;($(2$79#$,$3+'(*2,1'(*$%3+#"*'+(y
k
= [y
1,k
1
, ..., y
N,k
N
]
3+;%1
≤ k ≤ N
p
.
P$23+'(*22+(*#$2(+$;,2,$ #"7-*B+,$,$<;",%"*;%$"22+ '-$";3+',2ρ
/O("33%+ B$.("#$7$(*u
˜
N
(y,
·)
3"%#1'(*$%3+#-$,$I":%"(:$˜
u
h,p
N
,$y
7→ ˜u
h
N
(y,
·)
";R3+'(*2(y
k
)
k=1...N
p
)$*+(,-.('*("*;%$##$7$(*u
h,p
N
(ω, x) = ˜
u
h,p
N
(Y (ω), x).
A+;2#1B53+*BC2$ / / )#1$2*'7"*'+(,1$%%$;%2;'8"(*$$2*3%+;8-$,"(2E ℄H!"#$%&'()()+) !"#$%&"0"% *(%&+(&"%-*%$&$1"%
r
1
, ..., r
N
"&'(" *(%&+(&"C
&"!!"%,'"-*'.&*'&h > 0
"&-*'.&*'&p
∈ N
N
kE[u
N
− u
h,p
N
]
k
H
1
(D)
≤ C
h +
N
X
n=1
√
p
n
e
−r
n
√
p
n
!
.
> / S@ K( ="'*)+( *%+;8$ ,"(2 E ℄ ;($ $2*'7"*'+( ,1$%%$;% $( (+%7$L
2
(Ω, H
1
(D))
,+(* #$ %-2;#*"* 'Q,$22;2 $2*;($ +(2-<;$( $)"'(2'<;1;($7$'##$;%$$2*'7"*'+(,1$%%$;%,"(2 #$ "2+NΓ
$2* 9+%(-/L$ (+79%$;2$2 "7-#'+%"*'+(2,$ $**$7-*B+,$,$ +##+ "*'+(+(*-*-3%+3+2-$23$%7$**"(*,$%-,;'%$*%C2($**$7$(*#$ +T* ,$ "# ;#)*$##$2<;$#1;*'#'2"*'+(,$:%'##$2,$3+'(*2,$ +##+ "*'+( %$;2$2U8+'%3"%$R$73#$E?V)?W℄/ L"(2 #$ "2,$2 7-*B+,$2,$ !"#$%&'( 2*+ B"2*'<;$2) +77$ ,"(2 #$ "2 ,$2 7-*B+,$2 ,$ +##+ "*'+( 2*+ B"2*'<;$2) +( +9*'$(* ;($ +(8$%:$( $ $R3+($(*'$##$ 3"% %"33+%* "; ,$:%- ,; 3+#5(7$ ,"(2 B"<;$ ,'%$ *'+()$* ,+( *%C2%"3',$/ L"(2 #$2,$;R "2>XB-+%C7$ / /Y $*XB-+%C7$ / /Z@) #" 3%$;8$ $2* 9"2-$ 2;% ;( %-2;*"* ,1"("#5 '*- ,$y
∈ R
N
7→ u(y, ·) ∈ H
1
0
(D)
/ I$ +T* ,$ "# ;# ,$ #" 7-*B+,$ ,$ !"#$%&'( 2*+ B"2*'<;$$2* $#;',$#"%-2+#;*'+(,1;(252*C7$#'(-"'%$,$*"'##$dim(P
p
)dim(V
h
)
)2+'*(1 + q)
N
dim(V
h
)
,"(2#$ "2+N+(3%$(,,$23#5(+7$2,$7[7$,$:%-q
3"%%"33+%*J B"<;$8"%'"9#$)#$ +T*,$ "# ;#,$ #"7-*B+,$,$ +##+ "*'+(2*+ B"2*'<;$$2*<;"(*J#;' $#;',$#"%-2+#;*'+(,$N
p
252*C7$2#'(-"'%$2,$*"'##$dim(V
h
)
)"8$N
p
= q
N
,"(2 #$ "2+N+(3%$(,#$ 7[7$(+79%$,$3+'(*2q
,"(2 B"<;$,'%$ *'+(/L"(2 #$2,$;R "2) $ +T*";:7$(*$,$7"('C%$'73+%*"(*$"8$N
/P$ +T*$2*7+'(,%$,"(2 #$2"7-#'+%"*'+(2 ,$ $27-*B+,$2)7"'2%$2*$'73+%*"(*3+;%N
:%"(,/M"% +(2-<;$(*) $27-*B+,$22+(**%C2$\ " $23+;% ,$2 8"#$;%2 ,$N
%$#"*'8$7$(* ="'9#$2) 7"'2 '("33#' "9#$2 <;"(,N
,$8'$(* *%+3 '73+%*"(*/ I" <;$2*'+("#$%&''()*+,&-+)."#
a
"&./0.#/'& #/-) 2&/-+30#"# "+,#./+).4.+##/-"). 0.#30#/-+). (0 +&$#56. .)-#(&"%0.#'&(-30#$#/,7-2)"#/"# )$$) &-+)./-) 2&/-+30#//%7-#."#.-.&-0(#$$#,#.-80.#9(&."# $&//#"%:;<=> ),'(+/.).$+.7&+(#/=&$)(/30# %#/-,)+./7?+"#.-')0( $#/,7-2)"#/"#@&$#(A+./-) 2&/-+30#/5
;%&0-(# '&(- $#/ ,7-2)"#/ "# )$$) &-+). /-) 2&/-+30#/ '#(,#--#.- "%0-+$+/#( "#/ )"#/ '(7#*+/-&.-/ ')0( $%:;<"7-#(,+.+/-#= ).-(&+(#,#.-&0*,7-2)"#/"#@&$#(A+./-) 2&/-+30#/5
!"#$%&'%& "()& )&"*"&')&+",+-."*$/'
B#/,7-2)"#/"#->'#'#-+-#/'#(-0(C&-+)./ )./+/-#.-8"7?#$)''#($# 2&,'&$7&-)+(##./7(+#D"#E&>$)(
)0"#F&(20.#.GB)H?#I&0-)0("#/&,)>#..#=#-"#-().30#( #--#/7(+#80. #(-&+.)("(#J?)+('&(#*#,'$#
KLM=LN=M ℄5P#/,7-2)"#//).-"). (7/#(?7#/&0* &/)Q).&"#'#-+-#/+. #(-+-0"#/5
6.?&,&+.-#.&.-'(7/#.-#($#/'(+. +'&0*(7/0$-&-/"# #--#-2H/#="&./0.#'(#,+H(#'&(-+#)./%+.-7(#//#
8"#/,7-2)"#/.0,7(+30#/')0($%730&-+)."%7 )0$#,#.-'(7/#.-7#"&./$#'&(&9(&'2#R: )0$#,#.-S "#$&
/# -+). 5 5!="&./0.#/# )."#'&(-+#)./%+.-7(#//#8"#/,7-2)"#/.0,7(+30#/')0($# )0'$&9#"#$%730&G
-+)."%7 )0$#,#.-#-"#$%730&-+)."%&"?# -+).G"+T0/+).'(7/#.-7"&./$#'&(&9(&'2#U"?# -+).G"+T0/+)."#
')$$0&.-/"#$&/# -+). 5 5!5
!" #$%&'() $*+,-./*) 0) &1,/*%2.3$ 01, 3*&)+)$2
;&./ #--#/# -+). )./%+.-7(#//#8$%&.&$>/#.0,7(+30#"# "+T7(#.-#/ ,7-2)"#/')0( $%730&-+)."%7 )0G
$#,#.-D 5!I&?# )#V +#.-$)9.)(,&$= '(7/#.-7#"&./ $#'&(&9(&'2#R: )0$#,#.-S "#$& /# -+). 5 5!5B#/
(7/0$-&-/"# #--#/# -+)./).-"7-&+$$7/"&./ $#/P2&'+-(#/!=W#-L5U?&.-"#/%+.-7(#//#(8$%&.&$>/#.0,7G
(+30#=). ),,#. # '&( "74.+(0. &"(# '(7 +/=#-'&( ")..#( "#0*(7/0$-&-/'(7$+,+.&+(#/ 30+/#().- -(H/ 0-+$#/'&($&/0+-#=#-30+'#(,#--#.- #.'&(-+ 0$+#("%)C-#.+(0.(7/0$-&-"%#*+/-#. ##-"%0.+ +-7"#/)$0-+).
"&./
L
p
(Ω, H
1
0
(D))
5B#/(7/0$-&-/"# #--#'&(-+#/).-"7-&+$$7/"&./$#/P2&'+-(#/!=W#-L5!"! #$%&'()*)+,( -. /$,0123' ') $%&.1)*)& /$%1+3+(*+$'&
X)+-
D
0."),&+.#C)(.7"#R
d
"# $&//#C
2
#-(Ω,
F, P)
0.#/'& # "#'()C&C+$+-75X)+-f
∈ L
2
(D)
#-a
0. 2&,'$)9.)(,&$2),)9H.#/0(D
¯
= %#/-G8G"+(#a(ω, x) = e
g(ω,x)
=)Qg
#/-0. 2&,'9&0//+#.2),)9H.#= "#,)>#..#/0'')/7#.0$$#')0(/+,'$+4#($%#*')/7=#-"# )?&(+&. #cov[g](x, y) = k(
kx − yk),
D 5 YI )Qk
∈ C
0,1
(R, R).
6./%+.-7(#//#8 $%730&-+).&0*"7(+?7#/'&(-+#$$#/#$$+'-+30#8 )#V +#.-/&$7&-)+(#//0+G
?&.-#Z')0('(#/30#-)0-
ω
"&./Ω
−div(a(ω, x)∇u(ω, x)) = f(x)
x
∈ D,
u(ω, x) = 0
x
∈ ∂D.
D 5 NI6.)C-+#.- "). 0.#[&,+$$# "%730&-+)./&0* "7(+?7#/ '&(-+#$$#/'&(&,7-(7#'&( 0.'&(&,H-(#&$7&-)+(#
ω
5 P%#/- ')0(30)+= "&./ # 30+ /0+-= ')0( ,).-(#( "#/ '()'(+7-/ "%#*+/-#. # #- "%0.+ +-7 #- '$0/ -&(" "%&'G'()*+,&-+)./'&-+&$#=).(&+/)..#(&/0($#'()C$H,#"7-#(,+.+/-#8
ω
4*7='0+/)./%+.-7(#//#(&8#*'$+ +-#($& "7'#."&. ##.ω
56. )./+"H(#0./# ).",#,C(#"7-#(,+.+/-#')0(/+,'$+4#($%#*')/7=,&+/$#/(7/0$-&-/30+ /0+?#.-'#0?#.-\-(#[& +$#,#.-7-#."0/&0 &/)Qf
#/-79&$#,#.-&$7&-)+(#=/)0/$#/2>')-2H/#/&"730&-#/5 <)0( ),,#. #(=).")..#"#0*(7/0$-&-/'(7$+,+.&+(#/[)."&,#.-&0*')0($&/0+-#56.&-)0-"%&C)("0.(7/0$-&-"#(790$&(+-7"#/(7&$+/&-+)./"#
g
#-"). "#a
= )./730#. #"0-27)(H,#"#F)$,)9)()?5 0+$)$'*"*$/123212g
!"#$%&#'#()*+&!+&$,#)$( -# $+*(#))+&$α
/01,!#(*#&&#)2 3+%($+%$α < 1/2
4;&./ #30+/0+-=).+"#.-+4#
g
8 #--#?#(/+).56.#."7"0+-#.'&(-+ 0$+#(30%+$#*+/-#')0('(#/30#-)0-ω
= '&( ).-+.0+-7= "#/ )./-&.-#/a
min
(ω) > 0
#-a
max
(ω) < +
∞
-#$$#/ 30#a
min
(ω)
≤ a(ω, x) ≤ a
max
(ω)
"#$"
ω
%&'()*+ ,-"./#)*0- %- 1'2345,6)'071- .'0(a
/"'9" ,#69#)0',: 5,9&-+" 95$95;#)0/0-9" <#)9/ 95 #-) 5;(') )'((#)"=ω
:9/'90#59+:#9 %/%$5"%$"./#)*0- %->-)95?$- ,'()#()5/"/$9(-$ (,$+ ;'5<,-+$5@'9"-A !"#"$%&%"'()*)*)1
a
min
(ω)
∈ L
p
(Ω)
!a
max
(ω)
∈ L
p
(Ω)
"#$%!#$!p > 0
& B-)/+$,"'":'59+5?$-%-+)/+$,"'"++505,'5)-+(#$)%-+'(()#250'"5#9+%-a
?$-,	@-))'('),'+$5"-:?$5 ()#@5-99-9"%&$9-'((,5 '"5#9%$"./#)*0-%- >-)95?$-:9#$+ +-)#9"")*+$"5,-+(#$) #<"-95)%-+<#)9-+L
p
(#$),'+#,$"5#9-"('),'+$5"-(#$),-+-+"50'"5#9+%&-))-$)%&/,/0-9"+C95+:'D'9"'$()/','<,-#<"-9$%-+ 0'E#)'"5#9+=ω
C2/:-2()50/-+-9 ;#9 "5#9+%-a
max
(ω)
-"1/a
min
(ω)
7F$5@'9" -""-%/0') .-:#9%/%$5" (#$) #00-9 -),-)/+$,"'"%&-25+"-9 --"%&$95 5"/+$5@'9"7 !"#"$%&%"' ()*)+) '()*$+!,#- G 7 HI +./ !$- $-,*$ 0#1$!,#-u
2 *$,+""+%!, -! 3L
p
(Ω, H
1
0
(D))
2 "#$% !#$!p > 0
& J99#"-)'?$-,- ')' "*)-<5-9(#+/-",'?$-+"5#9%-,&'(()#250'"5#99$0/)5?$-(#$)$9-KLM -,,5("5?$-= #-N 5-9" ,#69#)0',#9" /"/ /"$%5/+ 59%/(-9%'00-9" %'9+ O!P℄:%'9+ ORP℄ '@- $9- '(()# .- (') <)$5" <,'9 -")/ -00-9"%'9+OPP℄:?$5")'5"-%$()#<,*0-59@-)+-7!"!" #$$%&$ '% ($)* ,(&$% '& '-.%/)00%1%*( '% 2,$3&*%*45)6.%
B#00-#9,&'@$%'9+,-(')'6)'(.-S4/".#%-++(- ")',-++"# .'+"5?$-+T%-,'+- "5#9 7 7!:,'?$-+"5#9
%- ,&'(()#250'"5#9 %$ #-N 5-9"
a
%'9+ $9 -+(' - %- ;'5<,- %50-9+5#9 +"# .'+"5?$- -+" )$ 5',- (#$) ,-+ 0/".#%-+ +(- ")',-+ +"# .'+"5?$-+7 J9 @' %#9 .-) .-)= ?$'9"5C-) ,&-))-$) #005+- +$) ,' +#,$"5#9%-,&KLM -9'(()# .'9"