Professional Documents
Culture Documents
Papers de Homogenization
Papers de Homogenization
DOCTORAL THESIS
Some Mathematical and Engineering Aspects
of the Homogenization Theory
Johan Bystrm
Doctoral Thesis
Department of Mathematics
Mrkdq E|vwup
Ghsduwphqw ri Pdwkhpdwlfv/ Oxoh Xqlyhuvlw| ri Whfkqrorj|/ VH0<:4;:
Oxoh/ Vzhghq
Grfwrudo Glvvhuwdwlrq
e|
Mrkdq E|vwup
Ghsduwphqw ri Pdwkhpdwlfv/ Oxoh Xqlyhuvlw| ri Whfkqrorj|/ 5335
lll
Suhidfh
Wklv wkhvlv frqvlvwv ri dq lqwurgxfwlrq dqg whq sdshuv1 Wkh lqwurgxfwlrq jlyhv
dq hohphqwdu| suhvhqwdwlrq ri wkh edvlf lghdv lq wkh krprjhql}dwlrq wkhru|1
Pruhryhu/ lw dovr vhuyhv dv dq ryhuylhz ri wkh hog dqg srlqwv rxw zkhuh wkh
uhvxowv ri wklv wkhvlv w lq1 Wkh sdshuv duh glylghg lqwr wkh iroorzlqj sduwv=
D Dqdo|wlfdo dqg wkhruhwlfdo krprjhql}dwlrq uhvxowv=
^D4d` M1 E|vwup1 Fruuhfwruv iru vrph qrqolqhdu prqrwrqh rshudwruv1
M1 Qrqolqhdu Pdwk1 Sk|v1/ ;=4 +5334,/ ;0631
^D4e` M1 E|vwup1 Fruuhfwruv iru vrph qrqolqhdu prqrwrqh rshudwruv1
Uhvhdufk uhsruw/ Qr1 44/ LVVQ= 473307336/ Ghsduwphqw ri Pdwk0
hpdwlfv/ Oxoh Xqlyhuvlw| ri Whfkqrorj|/ 4<<</ 640841
^D5` M1 E|vwup/ M1 Hqjvwup dqg S1 Zdoo1 Uhlwhudwhg krprjhql}dwlrq
ri ghjhqhudwh qrqolqhdu prqrwrqh rshudwruv1 Wr dsshdu lq= Fklq1
Dqq1 Pdwk1 Vhu1 E/ 5335/ 4< sdjhv1
E Erxqgv iru wkh krprjhql}hg rshudwru=
^E4` M1 E|vwup/ M1 Hqjvwup dqg S1 Zdoo1 Erxqgv dqg qxphulfdo
uhvxowv iru wkh krprjhql}hg ghjhqhudwhg 40Srlvvrq htxdwlrq1 Vxe0
plwwhg/ 5334/ 48 sdjhv1
F Frpsxwdwlrqdo dvshfwv ri krprjhql}dwlrq=
^F4` M1 E|vwup/ M1 Khovlqj dqg D1 Phlghoo1 Vrph frpsxwdwlrqdo dv0
shfwv ri lwhudwhg vwuxfwxuhv1 Frpsrv1 Sduw E 0 Hqj1/ 65=9 +5334,/
7;807<31
^F5` M1 E|vwup1 Lq xhqfh ri wkh lqfoxvlrqv glvwulexwlrq rq wkh hhfwlyh
surshuwlhv ri khwhurjhqhrxv phgld1 Vxeplwwhg/ 5334/ 46 sdjhv1
G Ghwhuplqdwlrq ri hodvwlf surshuwlhv e| krprjhql}dwlrq phwk0
rgv=
^G4` M1 E|vwup/ Q1 Mhndevrqv dqg M1 Yduqd/ Dq hydoxdwlrq ri glhuhqw
prghov iru suhglfwlrq ri hodvwlf surshuwlhv ri zryhq frpsrvlwhv1
Frpsrv1 Sduw E 0 Hqj1/ 64 +5333,/ :0531
ly
yl
Lqwurgxfwlrq
Wklv wkhvlv ghdov zlwk wkh wkhru| dqg dssolfdwlrqv ri wkh krprjhql}dwlrq
phwkrg1 Wkh wkhru| ri krprjhql}dwlrq gdwhv edfn wr wkh odwh vl{wlhv/ zdv
yhu| udslgo| ghyhorshg gxulqj wkh odvw wzr ghfdghv dqg lv qrz hvwdeolvkhg dv
d glvwlqfw glvflsolqh zlwklq pdwkhpdwlfv1 Wkh krprjhql}dwlrq wkhru| kdv lp0
sruwdqw dssolfdwlrqv lq wkh pdwkhpdwlfdo dqdo|vlv ri glhuhqw sk|vlfdo dqg
phfkdqlfdo skhqrphqd lq frpsrvlwhv/ shuirudwhg phgld/ glvshuvhg phgld/
srurxv phgld dqg vlplodu vlwxdwlrqv1 Wkh pdlq sureohp lv wr ghwhuplqh
hhfwlyh surshuwlhv iru h1j1 khdw wudqvihu/ hodvwlflw|/ hohfwulf frqgxfwlylw|/
pdjqhwlf shuphdelolw|/ rz hwf1 ri vwurqjo| khwhurjhqhrxv pxowlskdvh pdwh0
uldov1 D frpprq ihdwxuh iru vxfk sureohpv lv wkdw wkh jryhuqlqj htxdwlrqv
lqyroyh udslgo| rvfloodwlqj ixqfwlrqv gxh wr wkh khwhurjhqhlw| ri wkh xqghu0
o|lqj pdwhuldo1 Wkhvh udslg rvfloodwlrqv uhqghu d gluhfw qxphulfdo wuhdwphqw
lpsrvvleoh1 Wkhuhiruh rqh kdv wr gr vrph w|sh ri dyhudjlqj ru dv|pswrwlf
dqdo|vlv/ zklfk lpphgldwho| ohdgv wr wkh frqfhsw ri krprjhql}dwlrq1
Wklv wkhvlv lv zulwwhq lq d erwwrp0xs w|sh ri vw|oh1 Zh vwduw sxuho|
pdwkhpdwlfdoo| e| suhvhqwlqj wkh edvlf lghdv lq wkh duhd ri krprjhql}dwlrq
dqg jlyh vrph wkhruhwlfdo uhvxowv1 Lw lv qrz qdwxudo wr lqwurgxfh wkh frqfhsw
ri erxqgv iru wkh krprjhql}hg rshudwru1 Kdylqj wklv irxqgdwlrq/ d jrrg
zd| wr jhw d ihholqj iru wkh krprjhql}dwlrq sulqflsohv lv wkhq wr frqvlghu wkh
frpsxwdwlrqdo dvshfwv ri krprjhql}dwlrq1 Zh qlvk e| vkrzlqj vrph fdvhv
zkhuh wkh krprjhql}dwlrq wkhru| fdq eh xvhg lq wkh vflhqfh ri frpsrvlwhv
hqjlqhhulqj1
Wkh iroorzlqj sdjhv duh phdqw wr jlyh dq hohphqwdu| suhvhqwdwlrq ri wkh
edvlf lghdv lq wkh krprjhql}dwlrq wkhru|1 Pruhryhu/ wkh| dovr vhuyh dv dq
ryhuylhz ri wkh hog dqg srlqwv rxw zkhuh wkh uhvxowv frqwdlqhg lq wklv wkhvlv
w lq1
Lq wklv vhfwlrq zh suhvhqw wkh edvlf lghdv dqg vrph ri wkh prvw lpsruwdqw
wkhruhwlfdo frqfhswv ri wkh krprjhql}dwlrq wkhru|1 Wkh sk|vlfdo sureohpv
wkdw zh kdyh frqvlghuhg lq wklv wkhvlv +hodvwlflw|/ vwdwlrqdu| khdw frqgxfwly0
lw|, duh hoolswlf/ vr zh frqfhqwudwh rq wkh krprjhql}dwlrq ri vxfk sureohpv1
Rqh vkrxog krzhyhu nhhs lq plqg wkdw wkh wkhru| ri krprjhql}dwlrq kdv
4
D14
rq lc
+4,
1
1 Y1
1
1 Y2
5 `fcR El
Li wklv lv wkh vlwxdwlrq/ krz gr zh wkhq qg KB Iurp Iljxuh 5/ zh vhh wkdw
wkh pdwhuldo pdfurvfrslfdoo| dsshduv wr ehkdyh olnh d krprjhqhrxv pdwhuldo
iru odujh ydoxhv ri / hyhq wkrxjk wkh pdwhuldo lv vwurqjo| khwhurjhqhrxv rq
wkh plfurohyho1 Zh vd| wkdw K lv wkh hhfwlyh frqgxfwlylw|/ vwlqhvv/ hwf1 Wklv
pdnhv lw uhdvrqdeoh wr dvvxph wkdw K lv lqghshqghqw ri %c zklfk phdqv wkdw
vdwlvhv dq krprjhql}hg htxdwlrq ri wkh w|sh
;
? _ EK E( ' s rq lc
=
5 `fcR El
Wkh vxemhfw wkdw ghdov zlwk wkhvh w|shv ri txhvwlrqv lv nqrzq dv krprjh0
ql}dwlrq1 Lq sduwlfxodu/ wkh frqyhujhqfh ri sduwldo glhuhqwldo rshudwruv ri
wkh w|sh deryh lv dq lpsruwdqw fdvh ri C0frqyhujhqfh ri prqrwrqh rshud0
wruv/ vhh h1j1 ^7`/ ^43`/ ^57`/ ^87` dqg ^;:`1 Sduw D ri wklv wkhvlv ghdov zlwk
C0frqyhujhqfh ri prqrwrqh rshudwruv dqg ghjhqhudwh prqrwrqh rshudwruv1
Uhpdun 4 Zh zloo xvh wkh qrwlrq C0frqyhujhqfh iru rshudwruv ri wkh w|sh
deryh1 Vrph dxwkruv gr krzhyhu glvwlqjxlvk ehwzhhq C0frqyhujhqfh +lqwur0
gxfhg e| Vsdjqror ^<:` lq 4<9:, dqg M0frqyhujhqfh +lqwurgxfhg e| Wduwdu
7
lq 4<::/ vhh ^;4`/ ^434` dqg dovr ^53`,/ zkhuh M0frqyhujhqfh lqlwldoo| zdv
lqwurgxfhg dv dq h{whqvlrq ri C0frqyhujhqfh wr d zlghu fodvv ri sureohpv1
Dqrwkhu dssurdfk wr vwxg| glhuhqw sk|vlfdo skhqrphqd lq khwhurjhqhrxv
pdwhuldov lv e| xvlqj wkh idfw wkdw wkh vwdwh ri wkh pdwhuldo riwhq fdq eh
irxqg dv wkh vroxwlrq ri d plqlpl}dwlrq sureohp ri wkh w|sh
]
]
%
. ' 4?
}
c ( E% _% s _% c
0
M`fcR El
l
l
zkhuh wkh orfdo hqhuj| ghqvlw| ixqfwlrq } Ec 1 lv shulrglf dqg lv dvvxphg
wr vdwlvi| wkh vr fdoohg qdwxudo jurzwk frqglwlrqv1 Wkh frqyhujhqfh ri wklv
w|sh ri lqwhjudo ixqfwlrqdov lv fdoohg K0frqyhujhqfh +lqwurgxfhg e| Gh Jlrujl/
vhh ^67`/ ^68`/ ^69` dqg dovr ^9`/ ^47`/ ^48`/ ^5<`/ ^87`,1 Iurp wkh wkhru| ri K0
frqyhujhqfh lw iroorzv wkdw . $ .L4 dv $ 4/ zkhuh
]
]
.L4 ' 4?
}L4 E( E% _% s _%
cR
`f El
+7,
D15
]
l
A
A
= 5 ` c2 El
f
+:,
Wkh Srlqfdu lqhtxdolw| iru ixqfwlrqv zlwk }hur erxqgdu| ydoxhv vwdwhv wkdw
wkhuh lv d frqvwdqw g rqo| ghshqglqj rq l vxfk wkdw
n nu2El g n( nu2 El
Wklv lpsolhv wkdw
+;,
+<,
+43,
Iurp +:,/ +<, dqg +43,/ lw lv wkhq uhdvrqdeoh wr dvvxph wkdw zh lq wkh olplw
kdyh
; ]
]
A
A
k@l (W ( _% '
s _% iru hyhu| 5 `fc2 El c
?
A
A
=
W 5 `fc2 El
Xqiruwxqdwho| wklv lv qrw wuxh lq jhqhudo/ vlqfh E@ ( lv d surgxfw ri vh0
txhqfhv zklfk rqo| frqyhujh zhdno|1 Wklv lv wkh sulph revwdfoh lq wkh olplw
surfhvv ri wkh krprjhql}dwlrq wkhru|1 Wr rewdlq wkh fruuhfw vroxwlrq zh sur0
fhhg lq wkh iroorzlqj zd|= Iluvw zh qrwh wkdw E@ ( lv erxqghg lq u2 El
ehfdxvh ri +9, dqg +;,1 Zh dovr kdyh wkdw ( E@ ( ' s 5 u2 El e| +:,1
Khqfh wkhuh h{lvwv d frqvwdqw c lqghshqghqw ri c vxfk wkdw
n@ ( n` c2 El
Vlqfh ` c2 El lv uh h{lyh dqg frpsdfwo| hpehgghg lq u2 El / wkh Hehuohlq0
pxomdq wkhruhp dqg wkh Uhoolfk hpehgglqj wkhruhp wkhq vwdwh wkdw wkhuh
h{lvwv d vxevhtxhqfh/ vwloo ghqrwhg e| E@ ( c dqg dq # 5 u2 El vxfk wkdw
@ ( $ # vwurqjo| lq u2 El
Wklv frpelqhg zlwk wkh idfw wkdw @3
frqyhujhv wr k@3 l zhdno|W lq u" El
+khqfh zhdno| lq u2 El, jlyhv xv
3
+44,
( ' @3
# zhdno| lq u2 El
@ ( $ @
Wkxv lq ylhz ri +<, dqg +44,/ zh vhh wkdw
3
# ' @3
(W
:
W 5 `fc2 El c
c
q2
@
q
zh frqfoxgh wkdw wkh krprjhql}hg htxdwlrq kdv d xqltxh vroxwlrq dqg wkxv
wkdw wkh zkroh vhtxhqfh E frqyhujhv1 Zh zdqw wr uhpdun wkdw wkh pdlq
gl!fxow| zdv wkh sdvvdjh wr wkh olplw lq E@ ( c zklfk lv wkh surgxfw ri
rqo| zhdno| frqyhujhqw vhtxhqfhv1 Krzhyhu/ rqh vkdoo uhiudlq iurp gudzlqj
wkh kdvw| frqfoxvlrq wkdw zhdnW frqyhujhqfh lq Eu" El?f? ri wkh lqyhuvh
pdwulfhv 3
ri lv wkh nh| wr wkh xqghuvwdqglqj ri wkh sureohp lq kljkhu
glphqvlrqv1 Lq wklv fdvh wkh sureohp ri sdvvlqj wr wkh olplw lv udwkhu gholfdwh
dqg uhtxluhv lqwurgxfwlrq ri qhz whfkqltxhv1 Rqh ri wkh pdlq wrrov wr ryhu0
frph wklv gl!fxow| lv wkh frpshqvdwhg frpsdfwqhvv phwkrg lqwurgxfhg e|
Pxudw dqg Wduwdu +vhh ^;5` dqg ^435`,1 Wklv phwkrg vkrzv wkdw xqghu vrph
dgglwlrqdo dvvxpswlrqv/ wkh surgxfw ri wzr zhdno| frqyhujhqw vhtxhqfhv lq
u2 El frqyhujhv lq wkh vhqvh ri glvwulexwlrqv wr wkh surgxfw ri wkhlu olplwv1
Dqrwkhu uhodwhg frqfhsw lv wkdw ri M0phdvxuhv +ru plfurorfdo ghihfw phd0
vxuhv,/ lqwurgxfhg lqghshqghqwo| e| Judug dqg Wduwdu durxqg 4<<3/ vhh h1j1
^76`/ ^78` dqg ^438`1
Uhpdun 6 Wkh fruuhvsrqglqj krprjhql}dwlrq sureohp iru wkh rqh0glphqvlrqdo
R0Srlvvrq htxdwlrq
; ]
]
R
2
3
A
A
@ E% m( m ( ( _% '
s _% iru hyhu| 5 `fcR El c
?
l
A
A
= 5 ` cR El c
f
3R
jlyhv wkh krprjhql}hg rshudwru K ' @*E3R
Zh qrz wxuq wr krprjhql}dwlrq lq +? 1 Lq Vhfwlrq D14 zh ghvfulehg wkh
edvlf lghdv lq glhuhqw krprjhql}dwlrq sureohpv1 Dvvxph wkdw @ vdwlvhv
;
5 `fcR El c
lv wkdw
$ zhdno| lq `fcR El c
@ E%c ( $ K E( zhdno| lq du^ Elo? c
+45,
5 `fcR El
K E1 '
@ %c 1 n (1 E% _%c
mt m t
zkhuh 1 lv wkh vroxwlrq ri wkh orfdo sureohp rq t
; ]
A
A
@ %c 1 n (1 c ( _% ' f iru hyhu| 5 `cR Et c
?
A
A
=
+46,
+47,
1 5 `cR Et
Iru d surri ri wklv uhvxow vhh h1j1 ^55` ru ^77`1 D frpprq whfkqltxh
wr suryh wklv wkhruhp lv Wduwdu*v phwkrg ri rvfloodwlqj whvw ixqfwlrqv ^436`
uhodwhg wr wkh qrwlrq ri frpshqvdwhg frpsdfwqhvv phqwlrqhg deryh1 Dqrwkhu
whfkqltxh lv wkh wzr0vfdoh frqyhujhqfh phwkrg/ vhh Uhpdun < lq vhfwlrq G151
Wklv krprjhql}dwlrq uhvxow lv h{whqghg wr fryhu @ ri wkh irup @ E%c %*0 c 1
lq sdshu D4 ri wklv wkhvlv1 Wklv w|sh ri htxdwlrqv fdq eh xvhg wr prgho
qrqolqhdu sk|vlfdo skhqrphqd lq frpsrvlwh pdwhuldov/ zkhuh wkh w|slfdo fhoo
ri shulrglflw| pd| ydu| zlwk wkh srvlwlrq lq wkh ryhudoo frpsrvlwh1
<
D16
s 23R
R c 2 2
c
Fruuhfwruv
iru hyhu| 5 duR Elo? c zkhuh t ' 0 E n t dqg U ' i 5 ~? G t lj1
Wkhq
( Ec ( $ f lq duR Elo?
Wklv uhvxow zdv suryhg lq ^63` dqg lv h{whqghg wr fryhu @ ri wkh irup @ E%c %*0 c 1
lq sdshu D4 ri wklv wkhvlv1 Lq sduwlfxodu/ erwk frqyhujhqfh uhvxowv dqg fru0
uhfwru uhvxowv duh rewdlqhg1
43
W
Iljxuh 6= D frpsrvlwh zlwk wzr orfdo vfdohv1
D17
Uhlwhudwhg krprjhql}dwlrq
]
. '
4?
`fcR El
}
]
%
%
c c 6 c ( E% _% s _%
0
0
l
Krprjhql}dwlrq sureohpv zlwk pruh wkdq rqh plfurvfrslf vfdoh duh nqrzq
dv uhlwhudwhg krprjhql}dwlrq sureohpv1
Ohw xv frqvlghu wkh uhlwhudwhg krprjhql}dwlrq sureohp zlwk 6 glhuhqw
orfdo vfdohv zkhuh zh kdyh wkh iroorzlqj vhtxhqfh ri olqhdu sureohpv
;
%
%
A
A
c c 6 c (
' s rq lc
? _ @
0
0
A
A
=
5 `fcR El
Lw zdv vkrzq lq ^9:` dqg ^9;` wkdw
$ zhdno| lq `fcR El c
%
%
@
c c 6 c (
$ K E( zhdno| lq du^ Elo? c
0
0
44
5 `fcR El
E+ c c +63 c 1 '
3 + c c +63n c 1 n (1 E+63n _+63n
mt m
t
1
1 5 `cR Et c
D18
zh fdq jhw forvhg irup h{suhvvlrqv iru K Zh jlyh d ihz ri wkhp ehorz1 Vrph
ri wkhvh vshfldo fdvhv duh lqwlpdwho| frqqhfwhg wr wkh frqfhsw ri erxqgv/ vhh
Vhfwlrq E1 Iru vlpsolflw|/ zh frqfhqwudwh rq olqhdu khdw frqgxfwlylw| lq wkh
sodqh/ wkdw lv/ zh frqvlghu +6, zlwk R ' 2 dqg @ E+c 1 ' b E+ 1 zkhuh 1 5 +2
D1814
Lq wkh hduo| vl{wlhv/ Kdvklq dqg Vkwulnpdq ^7<` lqyhvwljdwhg erxqgv iru wkh
hhfwlyh surshuwlhv ri lvrwurslf wkuhh glphqvlrqdo pl{wxuhv zlwk duelwudu|
skdvh jhrphwu|1 Kdvklq dqg Urvhq ^7;` odwhu vkrzhg wkdw wkhvh erxqgv
zhuh rswlpdo/ phdqlqj wkdw rqh fdq qg skdvh jhrphwulhv vxfk wkdw wkh| duh
rewdlqhg1 Wkh vr fdoohg Kdvklq vwuxfwxuh/ zklfk frqvlvwv ri frdwhg vskhuhv/ lv
rqh vxfk fdvh1 Zh vwxg| d wkuhh0skdvh frpsrvlwh frqvlvwlqj ri wkuhh lvrwurslf
pdwhuldov/ ohw xv fdoo wkhp pdwhuldo 4/ 5 dqg 6/ zlwk frqgxfwlylw|
b E% U ' k l E% n k2 l2 E% n k l E% U
zkhuh l lv wkh fkdudfwhulvwlf ixqfwlrq iru wkh vhw l dqg U wkh xqlw pdwul{1
Ohw wkh xqlw fhoo jhrphwu| eh ghvfulehg e|
c
l ' i% G m%m o j c l2 ' % G o m%m o2
2
l '
% G m% m a m%m o2 c ' c 2
2
Lq rughu wr frpsxwh wkh krprjhql}hg frh!flhqwv +46,/ zh qhhg wr vroyh wkh
fhoo sureohp +47,
+48,
_ b E% (1 E% ' f rq tc
zkhuh 1 E% ' k1c %l n 1 E% dqg 1 E% lv t 0shulrglf1 Lq wkh fdvh 1 ' e '
d foA c zh orrn iru d vroxwlrq ri wkh w|sh
;
A
? %
c
% 5 l c
e
g2
+49,
E% '
% 2 n %2 c % 5 l2 c
A
=
% c
% 5 l c
vhh Iljxuh 71 Lw lv hdvlo| vhhq wkdw +49, vdwlvhv +48, rq t E| sk|vlfdo uhdvrqv/
1
wkh vroxwlrq 1 E% dv zhoo dv wkh x{ b E% Y
Y? pxvw eh frqwlqxrxv ryhu wkh
erxqgdulhv l _ l2 dqg l2 _ l Wklv jlyhv irxu htxdwlrqv wr vroyh iru wkh
46
0.15
0.1
0.2
0.15
0.05
0.1
0
we1
0.05
0
0.05
0.05
1
0.1
0.1
0.15
0.15
0.5
0.2
0
0.2
0.4
0.6
0.8
k2
o2
dqg vlploduo|
]
K Ee2 '
Wklv phdqv wkdw zh fdq sxw wkh frdwhg f|olqghu frqvlvwlqj ri pdwhuldo 4
frdwhg e| pdwhuldo 5 lqwr wkh krprjhqhrxv lvrwurslf pdwhuldo 6 zlwkrxw
fkdqjlqj wkh hhfwlyh surshuwlhv/ vhh Iljxuh 71 E| oolqj wkh zkroh fhoo
zlwk vxfk krprwkhwlfdoo| frdwhg f|olqghuv/ zh jhw dq lvrwurslf wzr0skdvh
frpsrvlwh zlwk frqgxfwlylw| @ c vhh Iljxuh 81 Zh dovr phqwlrq wkh idfw wkdw
47
Zh ghqh rxu xqlw fhoo t ' Efc 2 dqg glylgh lw lqwr irxu htxdo sduwv
t '
c c t2 '
c
c c
fc
2
2
2
2
t '
fc
fc
c te '
c fc
2
2
2
2
Zh vwxg| d irxu0skdvh frpsrvlwh frqvlvwlqj ri irxu lvrwurslf pdwhuldov/ ohw
xv fdoo wkhp pdwhuldo 4/ 5/ 6 dqg 7/ zlwk frqgxfwlylw|
b E% U ' kt E% n qt2 E% n t E% n Bte E% Uc
zkhuh t lv wkh fkdudfwhulvwlf ixqfwlrq iru wkh vhw t dqg U wkh xqlw pdwul{/
vhh Iljxuh 91
Lq 4<;8/ Pruwrod dqg Vwhh ^:<` frqmhfwxuhg wkdw wkh krprjhql}hg frq0
gxfwlylw| frh!flhqwv ri wklv vwuxfwxuh duh
b f
b '
c
f
b22
48
Y1
Y2
Y3
Y4
Iljxuh 9= Xqlw fhoov iru wkh Pruwrod0Vwhh vwuxfwxuh rq wkh ohiw dqg wkh
fkhfnhuerdug vwuxfwxuh rq wkh uljkw1
zkhuh
v
b '
v
b22 '
Wklv frqmhfwxuh zdv suryhq wr eh wuxh e| Fudvwhu dqg Reqrvry ^5;` dqg
lqghshqghqwo| e| Plowrq ^:9` lq 53331
Li zh ohw B ' k dqg ' qc zh jhw wkh vr fdoohg fkhfnhuerdug vwuxfwxuh/ vhh
Iljxuh 91 Zh lpphgldwho| vhh wkdw wkh krprjhql}hg frqgxfwlylw| frh!flhqwv
iru wkh fkhfnhuerdug vwuxfwxuh duh
s
b ' b22 ' kqc
wkh jhrphwulf phdq1 Wklv zdv suryhg douhdg| lq 4<:3 e| G|nkqh ^6<`1
D1816
Ohw t ' Efc ? dqg frqvlghu wkh fdvh zkhq b E+ lv ri wkh irup
b E% ' b E% b2 E%2 b? E%? c
zkhuh b E% duh Efc 0shulrglf dqg
f k b E% q 4c iru d1h1 + 5 +c ' c c ?
49
+4;,
wkh kduprqlf dqg dulwkphwlf phdqv/ uhvshfwlyho|1 Lw fdq eh vkrzq wkdw wklv
fdvh lv wkh prvw h{wuhph lq wkdw phdqlqj wkdw dq| rwkhu jhrphwulf vwuxfwxuh
zloo kdyh hhfwlyh frqgxfwlylwlhv K Ee wkdw duh erxqghg e| K dqg Dc l1h1
K K Ee D
Zh uhihu wr Vhfwlrq E iru pruh rq wklv wrslf1
D19
wkh pdwhuldo eh }hur/ lqqlw| ru vrphwklqj hovhB Txhvwlrqv olnh wkhvh rffxu
zkhq ghdolqj zlwk krprjhql}dwlrq ri ghjhqhudwhg htxdwlrqv1 Lq duwlfoh ^66`
wkh krprjhql}dwlrq sureohp ri ghjhqhudwhg hoolswlf htxdwlrqv zdv wuhdwhg1
Wkh dxwkruv frqvlghu wkh sureohpv
;
? _ E@ E%*0 c ( ' s rq lc
=
zkhuh @ E+c 1 vdwlvhv vxlwdeoh vwuxfwxuh frqglwlrqv dqg wkh zhljkw b0 E% '
b E%*0 lv d srvlwlyh ixqfwlrq ehorqjlqj wr wkh Pxfnhqkrxsw fodvv R lq0
wurgxfhg e| Pxfnhqkrxsw ^;3` lq frqqhfwlrq zlwk wkh vwxg| ri wkh pd{lpdo
ixqfwlrq rshudwru ehwzhhq zhljkwhg uR 0vsdfhv1 Wkh pdlq uhvxow lv wkdw
$ zhdno| lq `fc El c
?
@ E%*0 c ( $ K E(f zhdno| lq u El c
zkhuh f lv wkh vroxwlrq ri wkh krprjhql}hg htxdwlrq
;
? _ EK E(f ' s rq lc
=
f 5 `fcR El
K E1 '
@ +c 1 n (1 E+ _+c
mt m t
zkhuh 1 lv wkh vroxwlrq ri wkh orfdo sureohp rq t
; ]
A
A
@ +c 1 n (1 c ( _+ ' f iru hyhu| 5 `cR Etc b c
?
t
A
A
= 1 5 ` cR Etc b
Wklv uhvxow lv jhqhudol}hg wr uhlwhudwhg krprjhql}dwlrq lq sdshu D5 ri wklv
wkhvlv/ zkhuh zh vwxg| wkh olplw ehkdylru dv wkh qdwxudo qxpehu $ 4 iru
wkh vhtxhqfh ri vroxwlrqv E M ri wkh Glulfkohw erxqgdu| ydoxh sureohpv
;
? _ E@ E%c 2 %c ( ' s rq lc
+4<,
=
cR
5 `f Elc b c
zkhuh b E% lv d srvlwlyh zhljkw ehorqjlqj wr wkh Pxfnhqkrxsw fodvv R
4;
Lq wklv vhfwlrq zh zloo suhvhqw wkh edvlf lghdv dqg uhvxowv lq wkh hog ri
qglqj xsshu dqg orzhu erxqgv rq wkh krprjhql}hg rshudwru1 Wkh surriv ri
wkh uhvxowv zh suhvhqw duh froohfwhg lq wkh errn ^87`/ vhh dovr wkh duwlfohv ^54`/
^94`/ ^:8` dqg ^;6`1 Zh
zloo frqvlghu wkh olqhdu sureohp/ l1h1/ zkhq @ lv ri wkh
irup @ E%c 1 ' 0% 1/ lv d t 0shulrglf pdwul{1 Pruhryhu/ zh dvvxph
wkdw E% ' kU/ zkhuh k G +? $ + vdwlvhv wkdw f q k E% q 2 41
E| d shulrglf wzr0skdvh frpsrvlwh zh phdq wkdw k rqo| wdnhv wzr ydoxhv/
l1h1/ k fdq eh zulwwhq dv
kE% ' k l E% n k2 l2 E% c
k : k2 c
+53,
b D k n D 2 k2
n kD 22
+54,
b n n b?
Lc
?
4<
l2
5
l3
2
2
l1
l1 4
a)
b)
l2
Ek D2
c
u ' D
? ?u k n Ek D2 ED ?u k3
Ek D2
L ' D
? tT k Ek D2 EtT k D3
Khuh kl ghqrwhv wkh dulwkphwlf phdq1 Lq wkh vshfldo fdvh ri d wzr0skdvh
pdwhuldo/ u dqg L duh jlyhq e|
D
+55,
u ' k2 n
D2 c
n
k 3k2
?k2
D2
L ' k n
D c
k2 3k n ?k
uhvshfwlyho|1 Lq Iljxuh :@ zh kdyh dovr sorwwhg wkh Kdvklq0Vkwulnpdq erxqgv
iru dq h{dpsoh lq +2 1
knE? ?u k
3G
Hc
|h EtT kU K3
G
tT k
knE? tT k
3
H
c
3
?
knE?3 tT k
zkhuh |h E vwdqgv iru wkh wudfh ri wkh pdwul{ 1 Lq sduwlfxodu/ iru wkh
vshfldo fdvh ri d wzr0skdvh frpsrvlwh zh rewdlq wkdw
|h EK k U3 '
?
[
?
[
'
?
D2
c
n
b k2
D Ek k2 k2 D
'
D
?
k b
D 2 Ek k2 k D 2
+56,
a)
b)
E14
Wkh erxqgv deryh krog iru dq| frpsrvlwhv zlwk jlyhq yroxph iudfwlrqv dqg
frqgxfwlylwlhv1 Qhhgohvv wr vd|/ |rx fdq frqvwuxfw frxqwohvv glhuhqw frpsrv0
lwhv zlwk kljko| glhulqj hhfwlyh surshuwlhv iru d {hg vhw ri frqgxfwlylwlhv
dqg yroxph iudfwlrqv1 Lw lv qrw kdug wr lpdjlqh wkdw zh zrxog jhw wljkwhu
55
]
f
bn
3
43R
]
C k E%*E3R _% D _% _%3 _%n _%? c
]
f
3 3
43R
4*E3R
] ]
]
E
F
' C C k E% _% _%3 _%n _%? D
_% D
f
Wrjhwkhu zlwk wkh Kdvklq0Vkwulnpdq erxqgv wkh| fdq surylgh hqrxjk lqiru0
pdwlrq wr jhw d jrrg dssur{lpdwlrq ri wkh krprjhql}hg surshuwlhv1 Wkhvh
erxqgv duh jhqhudol}hg lq sdshu E4 ri wklv wkhvlv wr fryhu wkh ghjhqhudwhg
R0Srlvvrq htxdwlrq1
Uhpdun 9 Lw lv hdv| wr vhh wkdw wkhvh erxqgv frlqflgh zkhq k E% lv ri wkh
w|sh
k E% ' s E% } E% c c %3 c %nc c %? c k E% lv t 0shulrglf
Lq wklv fdvh wkh erxqgv duh htxdo wr wkh hhfwlyh hqhuj|1
E15
k2 1 n kk2 n D kk2 1
@ E1c D '
c
1 n kk2 D kk2
56
k
k2
k
k2
n1
dqg 1 f lv wkh wwlqj sdudphwhu1 Wkh ixqfwlrq @ E1c D kdv wkh iroorzlqj
lqwhuhvwlqj surshuwlhv=
41 @ E1c D lv dq lqfuhdvlqj ixqfwlrq lq D iru hyhu| {hg 1 dqg
@ E1c f ' k2 c
@ E1c ' k
51 @ E1c D lv dq lqfuhdvlqj ixqfwlrq lq 1 iru hyhu| {hg D
61 Wkh Uhxvv0Yrljw erxqgv duh dwwdlqhg dw wkh h{wuhph srlqwv ri 1/ wkdw
lv/
<"
Zh zloo lq wklv vhfwlrq suhvhqw vrph ri wkh lghdv wkdw duh xvhg lq wkh frpsxwd0
wlrq ri krprjhql}hg surshuwlhv1 D vlpsoh surfhgxuh wr frpsxwh wkh krprjh0
ql}hg frh!flhqwv +46, lv e| pdnlqj wkh vxevwlwxwlrq e& E% ' ke& c %lne& E%
lq +47, dqg lqvwhdg vroyh wkh sureohp
]
k@ E%c (e& c (l _% ' f
t
zlwk shulrglf erxqgdu| frqglwlrqv rq doo idfhv h{fhsw iru wkrvh kdylqj qrupdo
yhfwruv sdudooho wr e& / zkhuh wkh glhuhqfh ehwzhhq wkh erxqgdu| ydoxhv rq
rssrvlwh idfhv vkrxog eh htxdo wr wkh ohqjwk ,& ri wkh fhoo lq wkh gluhfwlrq ri
e& Lw lv qrz hdv| wr vhh wkdw wkh krprjhql}hg frh!flhqwv +46, lv htxdo wr
wkh phdq rz k@ E%c (e& l ryhu rqh fhoo1
Lq wkh fdvh zkhq wkh shulrglf fhoo lv v|pphwulf/ wkh erxqgdu| frqglwlrqv
duh hyhq vlpsohu1 Zh sxw Glulfkohw erxqgdu| frqglwlrqv e& ' f dqg e& ' ,&
rq wkh idfhv kdylqj qrupdo yhfwruv sdudooho wr e& dqg Qhxpdqq erxqgdu|
frqglwlrqv zlwk }hur rz ryhu wkh erxqgdulhv rq wkh uhpdlqlqj idfhv1
Wkh fruuhvsrqglqj surfhgxuh zkhq zh vwxg| wkh sureohp ri ghwhuplqlqj
wkh hhfwlyh hodvwlf surshuwlhv ri d frpsrvlwh lv ghvfulehg lq ^:5`/ zkhuh lw
lv vkrzq wkdw wkh hhfwlyh frqgxfwlylw| whqvru lv jlyhq e| wkh dyhudjh vwuhvv
ryhu rqh fhoo vxemhfwhg wr xqlw glvsodfhphqwv rq wkh erxqgdulhv1
Uhpdun : Rwkhu srvvleoh whfkqltxhv iru frpsxwdwlrq ri hhfwlyh surshuwlhv
lqfoxgh zdyhohw +ru pxowluhvroxwlrq, phwkrgv +vhh h1j ^46`/ ^6:` dqg ^74`, dqg
Irxulhu phwkrgv vxfk dv Eorfk zdyhv +vhh h1j1 ^8`/ ^43`/ ^5:`, dqg vhulhv
vroxwlrqv +vhh h1j1 ^6;`/ ^98` dqg ^:;`, dv zhoo dv frpsoh{ yduldeoh phwkrgv
+vhh h1j1 ^5;`/ ^:9` dqg ^;8`,1
F14
2
K '
4?
k E% me n (m _% c
mt m M`c2 Et t
]
2
'
k E% me n (m _% c
4?
K
mt m M`c2 Et t
dqg e lv ruwkrjrqdo wr e c vhh h1j1 ^87`1
Wklv lpsolhv wkdw zh fdq rewdlq xsshu dqg orzhu qxphulfdo hvwlpdwhv ri
K Ohw T eh dq| Ilqlwh0Hohphqw vxevsdfh ri `c2 Et dqg ghqrwh e| Kn
dqg
wkh
ydoxhv
ghqhg
e|
K3
]
2
n
K '
4?
k E% me n (m _% c
mt m MT
t
]
2
4?
'
k E% me n (m _%
mt m MT
K3
t
Wkhvh ydoxhv wkhq wulyldoo| vdwlvhv
n
K3
K K c
wkdw lv/ zh jhw orzhu dqg xsshu qxphulfdo erxqgv ri wkh krprjhql}hg frhi0
flhqwv1
F15
Lwhudwhg krqh|frpev
(a)
(b)
Iljxuh <= Wzr lwhudwhg krqh|frpev zlwk D ' fS1 @ 6 ' c & ' K
6 ' ec & ' 2
Khuh E6 lv irxqg lwhudwlyho| e| ohwwlqj En eh wkh dfc o0shulrglf h{whqvlrq
ri wkh ixqfwlrq
E E & *D *E26 D *E26 *2 c Ef ' c
zkhuh lv wkh fkdudfwhulvwlf ixqfwlrq ri wkh lqwhuydo fc D *E26 dqg f D
lv wkh yroxph iudfwlrq ri wkh lqwhulru sduw1 Zh wkhq ghqh wkh frqgxfwlylw|
b6c&c E% e|
b6c&c E% ' blq 6c&c E% n bfrq 6c&c E% c
zkhuh blq dqg bfrq duh wkh frqgxfwlylwlhv ri wkh lqwhulru dqg wkh frqqhfwhg
sduw ri wkh lwhudwhg vtxduh krqh|frpe0vwuxfwxuh/ uhvshfwlyho|1
Lq rughu wr eh deoh wr vshdn derxw hhfwlyh frqgxfwlylw| iru wkh deryh
vwuxfwxuh zh frqvlghu wkh iroorzlqj wzr olplw0fdvhv=
41 { 6 dqg & dqg ohw dssurdfk lqqlw|1 Wkh fruuhvsrqglqj hhfwlyh
frqgxfwlylw| lv lq wklv fdvh ghqrwhg b6c&
51 { 6 dqg ohw ' & dssurdfk lqqlw|1 Wkh fruuhvsrqglqj hhfwlyh
frqgxfwlylw| lv lq wklv fdvh ghqrwhg b6c"
Iru lwhudwhg vtxduh krqh|frpev wkh dssur{lpdwlrq irupxod ri Oxnndvvhq
+vhh ^9<`/ ^:3`, uhgxfhv wr
o6
'
n
c
b6c" bfrq
blq bfrq n 26 bfrq
5:
Iljxuh 43= Wr wkh ohiw d fhoo zlwk 49 udqgrpo| rulhqwhg hoolsvhv dqg wr wkh
uljkw d xqlw vtxduh krqh|frpe frqwdlqlqj 73<9 glvnv1
zkhuh *E26 o6 Qrwh wkdw wklv |lhogv wkh frqyhujhqfh b6c" $ b"c"
dv 6 $ 4/ zkhuh
3
b"c" ' bfrq n
n
c
blq bfrq 2bfrq
zklfk lv suhflvho| wkh Kdvklq0Vkwulnpdq xsshu erxqg li blq bfrq dqg wkh
Kdvklq0Vkwulnpdq orzhu erxqg li blq : bfrq 1
F16
Udqgrp vwuxfwxuhv
Iljxuh 44= Rqh uhsuhvhqwdwlyh yroxph hohphqw iru d vlqjoh od|hu zryhq frp0
srvlwh1 Wkh zhdyh fxuyhv xqghu ordglqj |lhoglqj d qrqolqhdu vwlhqlqj hhfw
ehfdxvh ri wrz vwudljkwhqlqj1
Uhpdun ; Lq wklv frqqhfwlrq zh uhpdun wkdw udqgrp krprjhql}dwlrq lv d
glvwlqfw dqg zhoo ghyhorshg glvflsolqh ri krprjhql}dwlrq1 Vlqfh wklv glvflsolqh
lv rxw ri wkh vfrsh ri wklv wkhvlv/ zh uhihu wkh uhdghu wr h1j1 wkh fodvvlfdo
duwlfohv ^95`/ ^96`/ ^97` dqg ^;;`/ wkh pruh uhfhqw duwlfohv ^8<`/ ^;<` dqg ^<4`
dv zhoo dv wkh errnv ^43`/ ^44`/ ^87` dqg wkh uhihuhqfhv jlyhq wkhuhlq1
G14
G15
Dv|pswrwlf h{sdqvlrq
63
E
E2
&, '
6? B 6& B ?, n e6? El &, n #&, n e6? El or eor # &, _+ _5c
mt m m~m
t ~
+59,
+5:,
e
+5;,
&, E+ '
&, E+c 5 n 6? E+c 5 e6? l &, _5
m~m ~
t
t
e&, E+ n
e6? E+ e6? # &, _+ ' &, c
&, '
mt m t
+5<,
zh vhh wkdw wkh ryhudoo krprjhql}hg whqvru &, lv dfklhyhg e| uvw vroylqj
wkh ~0fhoo sureohp +59,/ wkhq frpsxwh wkh ~0fhoo krprjhql}hg whqvru +5;,/
iroorzhg e| vroylqj wkh t 0fhoo sureohp +5:, dqg qdoo| frpsxwh wkh ryhudoo
krprjhql}hg whqvru e| +5<,1 Wkh surfhgxuh lv hdvlo| jhqhudol}hg wr sureohpv
zlwk 6 vfdohv ri shulrglflw|1 Lq wklv fdvh/ wkh krprjhql}hg whqvru lv rewdlqhg
e| lwhudwlqj wkh krprjhql}dwlrq surfhgxuh 6 wlphv/ vwduwlqj zlwk wkh orzhvw
vfdoh1 Vhh dovr vhfwlrq D171
65
Uhpdun < Qrwh wkdw wkh dv|pswrwlf h{sdqvlrq phwkrg lv pdlqo| irupdo1
Krzhyhu/ lw fdq eh pdwkhpdwlfdoo| mxvwlhg e| wkh vr fdoohg wzr0vfdoh frqyhu0
jhqfh phwkrg +qrw wuhdwhg lq wklv wkhvlv,/ zkhuh d vhtxhqfh E0 ri ixqfwlrqv
lq uR El lv vdlg wr wzr0vfdoh frqyhujh wr d olplw f 5 uR El t li
]
] ]
%
*4 0 E% %c
_% '
f E%c + E%c + _+ _%
0<f l
0
mt m l t
" Et Wklv phwkrg zdv lqwurgxfhg e| Qjxhwvhqj ^;7`
iru hyhu| 5 l( Tih
dqg ghyhorshg e| Doodluh ^5`1
Uhihuhqfhv
^4` E1 G1 Djduzdo dqg O1 M Eurxwpdq1 Dqdo|vlv dqg Shuirupdqfh ri Ilehu
Frpsrvlwhv1 Zloh| Lqwhuvflhqfh/ Qhz \run/ vhfrqg hglwlrq/ 4<<31
^5` J1 Doodluh1 Krprjhql}dwlrq dqg wzr0vfdoh frqyhujhqfh1 VLDP M1 Pdwk1
Dqdo1/ 56 +4<<5,/ 47;50484;1
^6` J1 Doodluh1 Vkdsh Rswlpl}dwlrq e| wkh Krprjhql}dwlrq Phwkrg1
Vsulqjhu0Yhuodj/ Qhz \run/ 53341
^7` J1 Doodluh/ D1 Eudlghv/ J1 Exwwd}}r/ D1 Ghiudqfhvfkl dqg O1 Jleldqvn|1
Vfkrro rq Krprjhql}dwlrq1 Ohfwxuh Qrwhv ri wkh Frxuvhv khog dw LFWS/
Wulhvwh/ 704: Vhswhpehu 4<<61 Suhsulqw VLVVD/ Wulhvwh/ 4<<61
^8` J1 Doodluh dqg F1 Frqfd1 Eorfk0zdyh krprjhql}dwlrq dqg vshfwudo dv0
|pswrwlf dqdo|vlv1 M1 Pdwk1 Sxuhv Dsso1 +<,/ ::=5 +4<<;,/ 486053;1
^9` K1 Dwwrxfk1 Yduldwlrqdo Frqyhujhqfh iru Ixqfwlrqv dqg Rshudwruv1 Slw0
pdq Sxeolvklqj/ Orqgrq/ 4<;71
^:` L1 Edexnd dqg U1 F1 Prujdq1 Dq dssurdfk iru frqvwuxfwlqj idplolhv
ri krprjhql}hg htxdwlrqv iru shulrglf phgld L ) LL1 VLDP M1 Pdwk1
Dqdo1/ 55=4 +4<<4,/ 49661
^;` Q1 Ednkydory dqg J1 Sdqdvhqnr1 Krprjhql}dwlrq= Dyhudjlqj Surfhvvhv
lq Shulrglf Phgld1 Noxzhu Dfdghplf Sxeolvkhuv/ Gruguhfkw/ 4<;<1
^<` P1 S1 Ehqgvrh1 Rswlpl}dwlrq ri Vwuxfwxudo Wrsrorj|/ Vkdsh dqg Pdwh0
uldo1 Vsulqjhu0Yhuodj/ Ehuolq/ 4<<81
66
68
6:
6;
6<
^;5` I1 Pxudw1 Frpsdflw sdu frpshqvdwlrq1 Dqq1 Vf1 Qrup1 Vxs1 Slvd/ 8
+4<:;,/ 7;8083:1
^;6` I1 Pxudw dqg O1 Wduwdu1 Fdofxo ghv yduldwlrqv hw krprjhqlvdwlrq1 Lq=
ohv Phwkrghv gh o*Krprjhqlvdwlrq= Wkhrulh hw Dssolfdwlrq hq Sk|vlfxh/
Sdulv0H|uroohv/ 4<;81
^;7` J1 Qjxhwvhqj1 D jhqhudo frqyhujhqfh uhvxow iru d ixqfwlrqdo uhodwhg wr
wkh wkhru| ri krprjhql}dwlrq1 VLDP M1 Pdwk1 Dqdo1/ 53 +4<;<,/ 93;0
95<1
^;8` \1 Y1 Reqrvry1 Shulrglf khwhurjhqhrxv vwuxfwxuhv= Qhz h{solflw vr0
oxwlrqv dqg hhfwlyh fkdudfwhulvwlfv ri uhiudfwlrq ri dq lpsrvhg hog1
VLDP M1 Dsso1 Pdwk1/ 8<=7 +4<<<,/ 459:045;:1
^;9` R1 D1 Rohlqln/ D1 V1 Vkdpdhy dqg J1 D1 \rvldq1 Pdwkhpdwlfdo Sure0
ohpv lq Hodvwlflw| dqg Krprjhql}dwlrq1 Qruwk Kroodqg/ Dpvwhugdp/
4<<51
^;:` D1 Sdqnry1 J0frqyhujhqfh dqg Krprjhql}dwlrq ri Qrqolqhdu Glhu0
hqwldo Rshudwruv1 Yroxph 755 ri Pdwkhpdwlfv dqg Lwv Dssolfdwlrqv/
Noxzhu Dfdghplf Sxeolvkhuv/ Orqgrq/ 4<<:1
^;;` J1 F1 Sdsdqlfrodrx dqg V1 U1 V1 Ydudgkdq1 Glxvlrqv zlwk udqgrp
frh!flhqwv1 Lq= Vwdwlvwlfv dqg Suredelolw|= Dq Hvvd| lq Krqru ri F1 U1
Udr +hgv= J1 Ndooldqsxu/ S1 U1 Nulvkqdldk dqg M1 N Jkrvk1,/ Qruwk
Kroodqg/ Dpvwhugdp/ 4<;5/ 87:08851
^;<` H1 Sdugrx{ dqg D1 O1 Sldwqlwvnl1 Dyhudjlqj ri qrqolqhdu udqgrp sdu0
derolf rshudwruv1 Lq= Rswlpdo Frqwuro dqg Sduwldo Glhuhqwldo Htxd0
wlrqv +Hgv= M1O1 Phqdogl hw do1,/ LRV Suhvv/ 5334/ 59;05:91
^<3` O10H1 Shuvvrq/ O1 Shuvvrq/ Q1 Vydqvwhgw dqg M1 Z|oohu1 Wkh Krprjh0
ql}dwlrq Phwkrg= Dq Lqwurgxfwlrq1 Vwxghqwolwwhudwxu/ Oxqg/ 4<<61
^<4` D1 Sldwqlwvnl dqg H1 Uhp|1 Krprjhql}dwlrq ri hoolswlf glhuhqfh rshu0
dwruv1 VLDP M1 Pdwk1 Dqdo1/ 66=4 +5334,/ 880;61
^<5` S1 Srqwh Fdvwhqhgd1 Erxqgv dqg hvwlpdwhv iru wkh surshuwlhv ri qrqolq0
hdu khwhurjhqhrxv v|vwhpv1 Sklorv1 Wudqv1 Ur|1 Vrf1 Orqgrq Vhu1 D1/
673 +4<<5,/ 864089:1
73
75
Letter
Johan BYSTROM
Department of Mathematics, Lule
a University of Technology, SE-97187 Lule
a, Sweden
E-mail: johanb@sm.luth.se
Received March 3, 2000; Revised June 5, 2000; Accepted August 28, 2000
Abstract
In this paper we study homogenization of quasi-linear partial dierential equations
of the form div (a (x, x/h , Duh )) = fh on with Dirichlet boundary conditions.
Here the sequence (h ) tends to 0 as h and the map a (x, y, ) is periodic in y,
monotone in and satises suitable continuity conditions. We prove that uh u
weakly in W01,p () as h , where u is the solution of a homogenized problem
of the form div (b (x, Du)) = f on . We also derive an explicit expression for the
homogenized operator b and prove some corrector results, i.e. we nd (Ph ) such that
Duh Ph (Du) 0 in Lp (, Rn ).
Introduction
In mathematical models of microscopically non-homogeneous media, various local characteristics are usually described by functions of the form a (x/h ) where h > 0 is a small
parameter. The function a (x) can be periodic or belong to some other specic class. To
compute the properties of a micro non-homogeneous medium is an extremely dicult task,
since the coecients are rapidly oscillating functions. One way to attack the problem is to
apply asymptotic analysis to the problems of microlevel non-homogeneous media, which
immediately leads to the concept of homogenization. When the parameter h is very
small, the heterogeneous medium will act as a homogeneous medium. To characterize
this homogeneous medium is one of the main tasks in the homogenization theory. For
more information concerning the homogenization theory, the reader is referred to [2, 10]
and [13].
In this paper we consider the homogenization problem for monotone operators and the
local behavior of the solutions. Monotone operators are very important in the study of
nonlinear partial dierential equations. The problem we study here can be used to model
dierent nonlinear stationary conservation laws, e.g. stationary temperature distribution.
For a more detailed discussion concerning dierent applications, see [16].
We will study the limit behavior of the sequence of solutions (uh ) of the Dirichlet
boundary value problem
div a x, , Duh
= fh on ,
h
uh W01,p () ,
c 2001 by J Bystr
Copyright
om
N
i (x) ai (y, ) ,
i=1
a x, y, + Dv ,x (y) dy,
b (x, ) =
Y
(1)
1,p
(Y ) is the subset of W 1,p (Y ) such that u has mean
Here Y is a periodic cell and W
value 0 and u is Y -periodic. The corresponding weak formulation of the cell problem is
1,p
(Y ) ,
a x, y, + Dv ,x (y) , Dw dy = 0 for every w W
Y
(2)
v ,x W 1,p (Y ) .
The homogenization problem described above with p = 2 was studied in [15]. Others have
investigated the case where we have no dependence in x, that is, when a is of the form
a (x, y, ) = a (y, ). Here we mention [9] and [6] where the problems corresponding to
single valued and multi valued operators were studied. Moreover, the almost periodic case
was treated in [4].
The weak convergence of uh to u in W 1,p () implies that uh u 0 in Lp () , but
in general, we only have that Duh Du 0 weakly in Lp (, Rn ). However, we will
prove that it is possible to express Duh in terms of Du up to a remainder which converges
strongly in Lp (, Rn ). This is done by constructing a family of correctors Ph (x, , t),
dened by
x
x
,t
.
(3)
, , t = + Dv
Ph (x, , t) = P
h
h
10
J Bystrom
in Lp (, Rn ) .
by many
x
were considered and [3]
single valued monotone operators of the form div a h , Duh
where the corresponding almost periodic case was considered.
Let be a open bounded subset of Rn , |E| denote the Lebesgue measure in Rn and ,
denote the Euclidean scalar product on Rn . Moreover, if X is a Banach space, we let X
denote its dual space and | denote the canonical pairing over X X.
Let {i : i = 1, . . . , N } be a family of disjoint open sets such that \ N
i=1 i = 0
and |i | = 0. Let (h ) be a decreasing sequence of real numbers such that h 0 as
h . Furthermore, Y = (0, 1)n is the unit cube in Rn and we put Yhj = h (j + Y ),
where j Zn , i.e. the translated image of h Y by the vector h j. We also dene the
following index sets:
j
j
Jhi = j Zn : Y h i ,
Jh = j Zn : Y h ,
j
j
Bhi = j Zn : Y h i = , Y h \i = .
j
1
|Yhj |
jJh
Yhj
in Lp (, Rn ),
(4)
(5)
11
where xjh Yhj . Finally, C will denote a positive constant that may dier from one place
to an other.
Let a : Rn Rn Rn be a function such that a (x, , ) is Lebesgue measurable
and Y -periodic for x and Rn . Let p be a real constant 1 < p < and let q
be its dual exponent, p1 + 1q = 1. We also assume that a satises the following continuity
and monotonicity conditions: There exists two constants c1 , c2 > 0, and two constants
and , with 0 min (1, p 1) and max (p, 2) < such that
|a (x, y, 1 ) a (x, y, 2 )| c1 (1 + |1 | + |2 |)p1 |1 2 | ,
(6)
(7)
(8)
(9)
a x, y, + Dv ,x (y) , D (y) dy = 0 for every C0 (Rn ) .
Rn
The following lemma, see e.g. [12], is fundamental to the homogenization theory.
Lemma 1 (Compensated compactness). Let 1 < p < . Moreover, let (vh ) be
a sequence in Lq (, Rn ) which converges weakly to v, (div vh ) converges to div v in
W 1,q () and let (uh ) be a sequence which converges weakly to u in W 1,p () . Then
vh , Duh dx
v, Du dx,
for every C0 () .
We will also use the following estimates, which are proved in [5].
Lemma 2. Let a satisfy (6), (7) and (8). Then the following inequalities hold:
(a) |a (x, y, )| ca 1 + ||p1 ,
(b)
(c)
||p cb (1 + a (x, y, ) , ) ,
p
p
+ Dv ,xi dy cc (1 + || ) .
(10)
(11)
(12)
(13)
12
J Bystrom
N
i (x) ai (y, ) .
(14)
i=1
(15)
(16)
1,p
uh W0 () .
By a standard result in the existence theory for boundary value problems dened by
monotone operators, these problems have a unique solution for each h, see e.g. [17].
olders reversed inequality, (7), (8) and Poincares
We let = uh in (16) and use H
inequality. This implies that
p
p
p
p
p
(1 + |Duh |) dx
|Duh | dx
c2
(1 + |Duh |)p |Duh | dx
C
x
a x, , Duh , Duh dx = fh | uh
(17)
where C does not depend on h. Now if Duh pLp (,Rn ) < || , then clearly uh W 1,p () C
0
by Poincares inequality. Hence assume that Duh pLp (,Rn ) || . But then we have
by (17) that
p
p
p
p
p
p
p
p1
|Duh | dx = 2
2 |Duh | dx
|Duh | dx
2
p1
p
(1 + |Duh | ) dx
|Duh | dx
p
C
|Duh | dx
1
that is, Duh Lp (,Rn ) C. According to Poincares inequality we thus have that
uh W 1,p () C. Summing up, we have that
0
uh W 1,p () C.
0
(18)
Since uh is bounded in W01,p (), there exists a subsequence (h ) such that
u h u
weakly in W01,p () .
(19)
13
The following theorems will show that u satisfy an equation of the same type as those
which are satised by uh .
Theorem 4. Let a satisfy (6), (7), (8) and (14). Let (uh ) be solutions of (16). Then we
have that
uh u weakly in W01,p () ,
(20)
x
a x, , Duh b (x, Du) weakly in Lq (, Rn ) ,
h
where u is the unique solution of the homogenized problem
(21)
1,p
u W0 () .
The operator b : Rn Rn is dened a.e. as
N
N
i (x)
ai y, + Dv ,xi (y) dy =
i (x) bi () ,
b (x, ) =
i=1
i=1
v ,xi
Dv ,xi
(y) dy and
is the unique solution of the
where xi i , bi () = Y ai y, +
cell problem
,xi
ai y, + Dv
(y) , D (y) dy = 0 for every W1,p (Y ) ,
Y
(22)
,xi
W1,p (Y ) .
v
Remark 2. An equivalent formulation of the equations (21) and (22) above can be given
in the following unied manner
(u, v) W01,p () Lq ; W1,p (Y ) ,
for all (u, v) W01,p () Lq ; W1,p (Y ) . This formulation often occurs in the notion
of two-scale limit introduced in e.g. [1].
Proof. We have shown that uh u weakly in W01,p () for a subsequence (h ) since uh
is bounded in W01,p () . We dene
x
i
, Duh .
h = ai
h
Then according to (6), (8), H
olders inequality, Poincares inequality and (18), we nd
that
q
i q
dx =
ai x , Duh dx cq
(1 + |Duh |)q(p1) |Duh |q dx
h
1
i
C
C
(1 + |Duh |) dx
p1
p1
(1 + |Duh |)p dx C,
|Duh | dx
p1
14
J Bystrom
that is, hi is bounded in Lq (i , Rn ) . Hence there is a subsequence (h ) of (h ) such that
hi i
weakly in Lq (i , Rn ) .
N
ai
, Duh , D dx = fh |
h
i=1 i
u W 1,p () .
h
0
In the limit we have
N
i
, D dx = f |
i=1
for a.e. x i ,
(23)
Dw
(x)
(x) dx 0
h
h
h
h
i
for every C0 (i ), 0. We now note that by (16) it also holds that
x
ai
, Duh (x) , D dx = fh | for every W01,p (i ) .
h
i
Since fh f in W 1,q () , this implies that
x
div ai
, Duh (x)
= div hi div i
h
We also have that
x
,xi
, Dwh (x)
= 0 on
div ai
h
in W 1,q (i ) .
i .
(24)
(25)
(26)
15
(27)
(28)
Since b is monotone and continuous (see Remark 3) we have that b is maximal monotone
and hence (23) follows. We have proved the theorem up to a subsequence (uh ) of (uh ) .
By uniqueness of the solution to the homogenized equation it follows that this holds for
the whole sequence.
Theorem 5. Let a satisfy (6), (7), (8) and (15). Let (uh ) be solutions of (16). Then we
have that
uh u weakly in W01,p () ,
x
a x, , Duh b (x, Du) weakly in
h
Lq (, Rn ) ,
u W01,p () .
b (x, ) =
a x, y, + Dv ,x (y) dy,
Y
where
v ,x
a x, y, + Dv ,x (y) , D (y) dy = 0
,x
W1,p (Y
for every
W1,p (Y ) ,
(29)
).
Before we prove this theorem, we make some denitions that will be useful in the proof.
Dene the function
k (x) a xki , y, ,
ak (x, y, ) =
iIk
k
uh W01,p () .
(30)
The conditions for Theorem 4 are satised and the theorem implies that there exists a uk
such that
ukh uk
weakly in W01,p ()
as
h ,
16
J Bystrom
bk x, Duk , D dx = f |
uk
(31)
W01,p () .
Here
k
b (x, ) =
iIk
k (x)
i
k
a xki , y, + Dv ,xi (y) dy =
k (x) b xki , ,
iIk
k
v ,xi W1,p (Y ) .
k
k h
= lim lim
k h
g | uh ukh + ukh uk + uk u
k
lim lim gW 1,q () uh uh
k h
+ lim gW 1,q () uk u
k
W01,p ()
W01,p ()
+ lim lim
k h
g | ukh uk
We need to show that all terms on the right hand side are zero.
Term 1. Let us prove that
lim lim uh ukh 1,p
k h
W0 ()
= 0.
x
a x, , Duh , D dx = fh | for every W01,p () .
h
x
x
k
k
a x, , Duh a x, , Duh , Duh Duh dx.
=
h
h
(32)
17
p
k
1 + Dukh + |Duh |
c2
Duh Duh dx
x
x
ak x, , Dukh ak x, , Duh , Dukh Duh dx
h
h
x
x
k
k
a x, , Duh a x, , Duh , Duh Duh dx
=
h
h
q 1
p p1
q
x
x
k
k
.
Duh Duh dx
a x, h , Duh a x, h , Duh dx
p
olders
Now since Dukh Lp (,Rn ) C and Duh pLp (,Rn ) C, we have, according to H
reversed inequality, that
p p
k
C
Duh Duh dx
c2
c2
p p
p p
p
k
k
1 + Duh + |Duh | dx
Duh Duh dx
(33)
p
k
1 + Dukh + |Duh |
Duh Duh dx.
L (,Rn )
q p1
1
x
x
k
a x, , Duh a x, , Duh dx
C
.
h
h
p1
p1
1
1
1
1
p
C
(1 + |Duh |) dx
C
,
k
k
(34)
where we in the last inequality have used the fact that there exists a constant C independent of h such that Duh Lp (,Rn ) C. Since DLp (,Rn ) is an equivalent norm on
W01,p (), we have that
0
uh ukh 1,p
W0 ()
as k uniformly in h. This means that we can change order in the limit process in (32)
and (32) follows by taking (34) into account.
Term 2. We observe that
lim lim g | ukh uk = 0
k h
18
J Bystrom
W01,p ()
= 0.
(35)
bk x, Duk , D dx = f |
b (x, Du) , D dx = f |
Hence
k
k
k
b x, Du b (x, Du) , D dx =
b (x, Du) bk (x, Du) , D dx
for every W01,p () . Now let = uk u and use the strict monotonicity of bk (see
Remark 3) on the left hand side and use Schwarz and H
olders inequalities on the right
hand side. We get
c2
p
k
k
1 + Du + |Du|
Du Du dx
=
bk x, Duk bk (x, Du) , Duk Du dx
b (x, Du) bk (x, Du) , Duk Du dx
q 1q
p p1
k
k
.
Inequality (33) with Duk and Du instead of Dukh and Duh , respectively, then yields
that
p
k
Du Du p
L (,Rn )
p1
p1
1
1
1
1
p
C
(1 + |Du|) dx
C
. (36)
k
k
The right hand side tends to 0 as k . We now obtain (35) by noting that
DLp (,Rn ) is an equivalent norm on W01,p ().
19
(Lq (, Rn )) , then
x
x
lim g | a x, , Duh b (x, Du) = lim lim g | a x, , Duh b (x, Du)
h
k h
h
h
x
x
= lim lim g | a x, , Duh ak x, , Dukh
k h
h
h
x
k
k
k
k
+ lim lim g | a x, , Duh b x, Du
k h
h
+ lim lim g | bk x, Duk b (x, Du)
k h
x
x
k
k
a
x,
,
Du
,
Du
a
x,
lim lim g(Lq (,Rn ))
h
h
k h
h
h
x
k
k
k
k
+ lim lim g | a x, , Duh b x, Du
k h
h
k
k
L (,Rn )
Lq (,Rn )
We now prove that the three terms on the right hand side are zero.
Term 1. Let us show that
x
x
k
k
= 0.
lim lim
a x, , Duh a x, , Duh
q
k h
h
h
L (,Rn )
(37)
q
k
x
x
k
k
a x, , Du a x, , Duh dx
C
h
h
h
q
k
x
x
+C
a x, h , Duh a x, h , Duh dx.
The second integral on the right hand side is bounded by the continuity condition (15)
since
q
k
a x, x , Duh a x, x , Duh dx
h
h
(38)
1
1
p
(1 + |Duh |) dx C
,
k
k
where the last inequality follows since (Duh ) is bounded in Lp (, Rn ) . For the rst integral
on the right hand side we use the continuity restriction (6), H
olders inequality and (34)
20
J Bystrom
to derive that
q
k
a x, x , Duk ak x, x , Duh dx
h
h
h
q
q(p1)
k
k
q
1 + Duh + |Duh |
c1
Duh Duh dx
p p1
p p1
p1
k
k
1 + Duh + |Duh | dx
Duh Duh dx
(39)
p p1
1
1
k
C
C
Duh Duh dx
k
since (Duh ) and Dukh are bounded in Lp (, Rn ) . Hence by (38) and (39) we have that
q
1
k
1
a x, x , Duk a x, x , Duh dx C 1
.
+ C
h
h
h
k
k
(40)
Lq (,Rn )
as k uniformly in h. This implies that we may change the order in the limit process
in (37) and (37) follows.
Term 2. We immediately see that
x
x
k
k
k
k
=0
lim lim g | a x, , Duh a x, , Du
k h
h
h
as a direct consequence of Theorem 4.
Term 3. Let us show that
lim bk x, Duk b (x, Du)
Lq (,Rn )
= 0.
(41)
We note that
q
k
b x, Duk b (x, Du) dx
q
k
b x, Duk bk (x, Du) + bk (x, Du) b (x, Du) dx
q
q
k
k
k
k
C
b x, Du b (x, Du) dx +
b (x, Du) b (x, Du) dx .
21
q
k
b x, Duk b (x, Du) dx
p p1
p p1
p1
k
k
1 + Du + |Du| dx
Du Du dx
p p1
1
1
k
p
.
+C
1 + |Du| dx C
+ C
Du Du dx
k
k
In this section we prove some properties of the homogenized operator. In particular, these
properties imply the existence and uniqueness of the solution of the homogenized problem.
Theorem 6. Let b be the homogenized operator dened in Theorem 5. Then
(a) b (, ) satises the continuity condition
(|x1 x2 |) (1 + ||)p ,
|b (x1 , ) b (x2 , )|q
where
: R R is a function that is continuous, increasing and
(0) = 0.
(b) b (x, ) is strictly monotone. In particular, we have that
b (x, 1 ) b (x, 2 ) , 1 2
c2 (1 + |1 | + |2 |)p |1 2 |
for every 1 , 2 Rn .
(c) b (x, ) is continuous. In particular, we have for =
that
c1 (1 + |1 | + |2 |)p1 |1 2 |
|b (x, 1 ) b (x, 2 )|
for every 1 , 2 Rn .
(d) b (x, 0) = 0 for x .
Proof.
(a) By the denition of b we have that
q
,x
,x
1
2
|b (x1 , ) b (x2 , )| = a x1 , y, + Dv
dy
dx
a x2 , y, + Dv
Y
Y
q
C
a x1 , y, + Dv ,x1 a x2 , y, + Dv ,x1 dy
q
q
+C
a x2 , y, + Dv ,x1 a x2 , y, + Dv ,x2 dy,
Y
22
J Bystrom
where the last inequality follows from Jensens inequality. By the continuity conditions (15)
and (6), it then follows that
+C
Y
p
1 + + Dv ,x1 dy
p
p p1
p1
,x1
,x2
1 + + Dv + + Dv dy
(42)
p p1
,x1
,x2
Dv dy
.
Dv
We now study the two terms above separately. For the rst term we have by (12) that
p
1 + + Dv ,xi dy C (1 + ||p ) .
(43)
a x1 , y, + Dv ,x1 (y) , D dy = 0
1,p
for every W
() ,
,x2
a x2 , y, + Dv
(y) , D dy = 0
1,p
for every W
() .
a x1 , y, + Dv ,x1 (y) a x1 , y, + Dv ,x2 (y) , D dy
Y
a x2 , y, + Dv ,x2 (y) a x1 , y, + Dv ,x2 (y) , D dy
=
Y
1,p
() . In particular, for = v ,x1 v ,x2 we have that
for every W
a x1 , y, + Dv ,x1 (y) a x1 , y, + Dv ,x2 (y) , Dv ,x1 Dv ,x2 dy
Y
a x2 , y, + Dv ,x2 (y) a x1 , y, + Dv ,x2 (y) , Dv ,x1 Dv ,x2 dy.
=
Y
23
with (15) and (43) on the right hand side. This yields
p
,x1
c2
1 + + Dv ,x1 + + Dv ,x2
Dv ,x2 dy
Dv
Y
a x1 , y, + Dv ,x1 (y) a x1 , y, + Dv ,x2 (y) , Dv ,x1 Dv ,x2 dy
Y
a x2 , y, + Dv ,x2 (y) a x1 , y, + Dv ,x2 (y) , Dv ,x1 Dv ,x2 dy
=
Y
q 1q
,x2
,x2
(y) a x1 , y, + Dv
(y) dy
a x2 , y, + Dv
Y
p p1
,x1
,x2
Dv dy
Dv
Y
p p1
,x1
,x2
(|x1 x2 |) C (1 + || )
Dv dy
.
Dv
1
q
1
q
p p
p p
p
,x1
,x1
,x2
,x2
Dv dy
1 + + Dv + + Dv dy
Dv
p
,x1
1 + + Dv ,x1 + + Dv ,x2
Dv ,x2 dy,
Dv
that is,
p p1
,x1
,x2
Dv dy
C (|x1 x2 |) 1 (1 + ||p ) 1
Dv
(p)
p (1)(p1)
,x1
,x2
1 + + Dv + + Dv dy
(44)
(p)
+C
Y
p
p p1
p1
,x1
,x2
1 + + Dv + + Dv dy
(45)
p1
(|x1 x2 |)
(1 + || )
(|x1 x2 |) (1 + ||p ) ,
C (1 + ||p ) (|x1 x2 |) + (|x1 x2 |) 1 =
24
J Bystrom
where
: R R is a function that is continuous, increasing and
(0) = 0.
(b) Let j Rn , j = 1, 2 and dene for a.e. x Rn
,x
whj
= (j , y) + h v
j ,x
y
h
.
whj
,x
Dwhj
weakly in W 1,p (Y ) ,
(j , y)
(46)
weakly in Lp (Y, Rn ) ,
y
j ,x
a x, , Dwh
b (x, j )
h
(47)
weakly in Lp (Y, Rn ) .
(48)
p
,x
,x
1 + Dwh1 ,x + Dwh2 ,x
c2
Dwh1 Dwh2 (y) dy
Y
for every C0 () such that 0. The reversed Holder inequality then yields
y
y
1 ,x
2 ,x
1 ,x
2 ,x
a x, , Dwh
a x, , Dwh
, Dwh Dwh
(y) dy
h
h
Y
c2
p
p
p
1 ,x
2 ,x
1 + Dwh + Dwh (y) dy
p
p
1 ,x
2 ,x
.
Dwh Dwh (y) dy
Y
b (x, 1 ) b (x, 2 ) , 1 2
c2 lim inf
h
(y) dy =
Y
p
p
p
1 ,x
2 ,x
1 + Dwh + Dwh (y) dy
p
p
1 ,x
2 ,x
25
p
p
p
p
1 ,x
2 ,x
1 + Dwh + Dwh (y) dy
p
p
1 ,x
2 ,x
lim inf
Dwh Dwh (y) dy
h
C
(1 + |1 | + |2 | ) (y) dy
C (1 + |1 | + |2 |)p |1 2 |
p
p
|1 2 | (y) dy
p
(y) dy,
Y
for every C0 () . Here we have used (47), (48) and Lemma 1 on the left hand side,
and on the right hand side we have used (47) and the fact that for a weakly convergent
sequence (xn ) converging to x, we have that x lim inf xn . This implies that
h
c2 (1 + |1 | + |2 |)p |1 2 | .
b (x, 1 ) b (x, 2 ) , 1 2
Since 1 , 2 were arbitrarily chosen, (b) is proved.
olders inequality, (12)
(c) Fix 1 , 2 Rn . According to Jensens inequality, (6), H
and (13) we have that
q
q
1 ,x
2 ,x
dy
dy
a x, y, 2 + Dv
|b (x, 1 ) b (x, 2 )| = a x, y, 1 + Dv
Y
Y
q
a x, y, 1 + Dv 1 ,x a x, y, 2 + Dv 2 ,x dy
Y
cq1
(p1)q
1 ,x
2 ,x
1 + 1 + Dv + 2 + Dv
q
1 + Dv 1 ,x 2 Dv 2 ,x dy
p p1
p1
1 ,x
2 ,x
1 + 1 + Dv + 2 + Dv dy
C
Y
p p1
1 ,x
2 ,x
2 Dv dy
1 + Dv
C (1 + |1 |p + |2 |p )
C (1 + |1 | + |2 |)
p1
p1
(1 + |1 |p + |2 |p )
q p1 a
|1 2 |
q a
Hence
c1 (1 + |1 | + |2 |)p1 |1 2 | ,
|b (x, 1 ) b (x, 2 )|
where
=
.
a
|1 2 |
p1
26
J Bystrom
(d) Since a (x, y, 0) = 0 we have that the solution of the cell problem (29) corresponding
to = 0 is v 0,x = 0. This implies that
b (x, 0) =
a (x, y, 0) dy = 0.
Y
We have proved in both Theorem 4 and Theorem 5 that we for the corresponding solutions
have that uh u converges to 0 weakly in W01,p (). By the Rellich imbedding theorem, we
have that uh u converges to 0 in Lp (). In general, we do not have strong convergence
of Duh Du to 0 in Lp (, Rn ). However, we will prove that it is possible to express Duh
in terms of Du, up to a remainder which converges to 0 in Lp (, Rn ).
Theorem 7. Let u and uh be dened as in Theorem 4 and let Ph be given by (3). Then
Duh
N
in
Lp (, Rn ) .
i=1
Proof. In [7] the case N = 1 was considered and in [15] the case p = 2 was considered.
By using these ideas and making the necessary adjustments the proof follows. For the
details, see [5].
Theorem 8. Let u and uh be dened as in Theorem 5. Moreover, let Ph be given by (3)
and h by (5). Then
Duh Ph (x, Mh Du, h ) 0
in
Lp (, Rn ) .
Du
Du
h
h p
h Lp (,Rn )
L (,Rn )
k
x
k
k
k
+
k (x) Dv Mh Du ,xi
Duh Mh Du
i
h
p
iIk
n
L (,R )
(49)
x
x
k
Mh Duk ,xki
Mh Du,h
M
+
Du
+
(x)
Dv
Du
Dv
M
k
h
h
i
h
h
iIk
Lp (,Rn )
L (,R )
27
= 0.
Lp (,Rn )
This means that the theorem would be proved if we prove that lim lim acting on the
k h
last term in (49) is equal to 0. In order to prove this fact we rst make the following
elementary estimates:
p
x
x
k k
Mh Duk +
Mh Du Dv Mh Du,h
k (x) Dv Mh Du ,xi
i
h
h
p
iIk
n
=
L (,R )
p
Mh Duk + Dv Mh Duk ,xki x Mh Du Dv Mh Du,h x dx
k
h
h
iIk
iIk
p
M Du,xk x
x
Mh Du,h
Dv h
i
Dv
dx.
k
h
h
+C
(50)
p
Mh Duk + Dv Mh Duk ,xki x Mh Du Dv Mh Du,xki x dx
k
h
h
iIk
We will study the two terms on the right hand side of (50) separately, but rst we dene
1
j,k
h, =
Duk dx.
j
j
Y
Yh h
By using a change of variables in (13) and H
olders inequality, we nd that we for the rst
term in (50) have the following estimate
p
Mh Duk + Dv Mh Duk ,xki x Mh Du Dv Mh Du,xki x dx
h
h
ki
p
j,k
j,k k
j k
x
x
j
h,
,xi
h
,xi
h Dv
dx
+ Dv
j h,
h
h
i,k Yh
jJh
jBhi,k
jJhi,k
jBhi,k
Yh
1
j,k p j p
C 1 + h,
+
h
p
j,k
j
h,
h
j
Yh
p
1
j,k p j p j,k
j j
C 1 + h,
+ h
h, h
Yh
=C
p
j,k
j,k
j
+ Dv h, ,xki x j Dv h ,xki x dx
h
j h,
h
h
k,h
i
p
p
1
1 + Mh Duk + |Mh Du|p
dx
Mh Duk Mh Du
(51)
28
J Bystrom
+C
Fik,h
p
p
1
p
k
k
dx
1 + Mh Du + |Mh Du|
Mh Du Mh Du
C
k,h
i
+C
Fik,h
C
ki
+C
p
1 + Mh Duk + |Mh Du| dx
p
1 + Mh Duk + |Mh Du| dx
p
1 + Duk + |Du| dx
Fik,h
1
1
p
Mh Duk Mh Du dx
k,h
Fi
1
p
1 + Duk + |Du| dx
p
Mh Duk Mh Du dx
k,h
p
k
Du Du dx
ki
1
p
k
Du Du dx
k,h
Fi
where we used Jensens inequality in the last step. Moreover, by using (44) and Jensens
inequality, we obtain that
p
M Du,xk x
x
M
Du,
h
h
Dv h
i
dx
Dv
k
h
h
p
j ,xk x
j j
x
h
,xh
Dv h i
Dv
dx
j
h
h
jJhi,k
Yh
jBhi,k
Yh
p
j ,xk x
j j
x
h
,xh
Dv h i
Dv
dx
j
h
h
p
p
1
1
j j
1 + hj Yhj
1 + h Yh +
+ nh
C
C
k
k
i,k
i,k
jJh
jBh
(52)
1
1
p
C
+ nh C
(1 + |Mh Du| ) dx +
(1 + |Mh Du|p ) dx
=
k,h
k,h
k
k
i
Fi
1
1
C
+ nh C
(1 + |Du|p ) dx +
(1 + |Du|p ) dx.
k,h
k
k
ki
Fi
By combining (50), (51) and (52) we obtain that
p
x
x
Mh Duk ,xki
Mh Du,h
Mh Duk +
Dv
Du
Dv
k
h
i
h
h
p
iIk
L (,Rn )
1
p
p 1
a
k
k
1 + Du + |Du| dx
Du Du dx
+C
iIk
Fik,h
p
1 + Duk + |Du| dx
29
1
a
p
k
Du Du dx
k,h
Fi
1
+ nh (1 + |Du|p ) dx +
+C
(1 + |Du|p ) dx .
k
Fik,h
iIk
Moreover, by noting that Fik,h 0 as h , DuLp (,Rn ) C, Duk Lp (,Rn ) C,
and taking (35) into account, we obtain that
x
k
Mh Duk ,xki
k Dv
lim lim Mh Du +
i
k h
h
iIk
Mh Du Dv Mh Du,h
x
h
= 0,
Lp (,Rn )
Acknowledgments
The author wishes to thank Professor Lars-Erik Persson and Dr. Peter Wall for some helpful comments and suggestions which have improved this paper.
References
[1] Allaire G, Homogenization and Two-Scale Convergence, SIAM J. Math. Anal., 1992, V.23,
N 6, 14821518.
[2] Bensoussan A, Lions J L and Papanicolaou G, Asymptotic Analysis for Periodic Structures,
North Holland, Amsterdam, 1978.
[3] Braides A, Correctors for the Homogenization of Almost Periodic Monotone Operators,
Asymptotic Analysis, 1991, V.5, 4774.
[4] Braides A, Chiado Piat V and Defransceschi A, Homogenization of Almost Periodic Monotone
Operators, Ann. Inst. Henri Poincare, Anal. Non Lineaire, 1992, V.9, N 4, 399432.
[5] Bystr
om J, Correctors for Some Nonlinear Monotone Operators, Research Report, N 11,
ISSN: 14004003, Department of Mathematics, Lule
a University of Technology, 1999.
[6] Chiado Piat V and Defransceschi A, Homogenization of Monotone Operators, Nonlinear Analysis, Theory, Methods and Applications, 1990, V.14, N 9, 717732.
[7] Dal Maso G and Defransceschi A, Correctors for the Homogenization of Monotone Operators,
Dierential and Integral Equations, 1990, V.3, N 6, 11511166.
[8] Defransceschi A, An Introduction to Homogenization and G-Convergence, Lecture Notes,
School on Homogenization, ICTP, Trieste, 1993.
[9] Fusco N and Moscariello G, On the Homogenization of Quasilinear Divergence Structure
Operators, Annali Mat. Pura Appl., 1987, V.146, 113.
[10] Jikov V, Kozlov S and Oleinik O, Homogenization of Dierential Operators and Integral
Functionals, Springer-Verlag, Berlin Heidelberg New York, 1994.
30
J Bystrom
[11] Meyers N and Elcrat A, On Non-Linear Elliptic Systems and Quasi Regular Functions, Duke
Math. J., 1975, V.42, 121136.
[12] Murat F, Compacite par Compensation, Ann. Scuola Norm. Sup. Pisa Cl. Sci., 1978, V.5,
N 4, 489507.
[13] Persson L, Persson L-E, Svanstedt N and Wyller J, The Homogenization Method, An Introduction, Studentlitteratur, Lund, 1993.
[14] Royden H, Real Analysis, Macmillan, New York, Third Edition, 1988.
[15] Wall P, Some Homogenization and Corrector Results for Nonlinear Monotone Operators,
J. Nonlin. Math. Phys., 1998, V.5, N 3, 331348.
[16] Zeidler E, Nonlinear Functional Analysis and its Applications, Vol. 4, Springer Verlag, New
York, 1990.
[17] Zeidler E, Nonlinear Functional Analysis and its Applications, Vol. 2b, Springer Verlag, New
York, 1990.
:
:14
Dsshqgl{
Surri ri Ohppd 5
m@ E%c +c 1m S E n m1mR33k m1mk S E n m1mR3 S@ n m1mR3
ER q
Eq R
q
q
R 3 qR
q R q3
R3 q R q 3R
m1m 2
#
# k@ E%c +c 1 c 1l n 2R3
# R
q
S2 q
q
R
SK
]t
' SK
]t
SK
]t
SK
n @ %c +c 1 n ( 1c% c 1 n (1c% _+
n @ %c +c 1 n ( 1c% c 1 _+
n @ %c +c 1 n ( 1c% m1m _+
R3
n S@ n 1 n ( 1c%
m1m _+
SK n SK S@ C
]
n #
2^
^
]
#
t
R
n 1 n ( 1c% _+ n # 3ER3
R
1 n ( 1c% R _+ n # 3ER3 m1mR
64
]
t
4
m1mR _+D
:15
Surri ri Ohppd 6
Ehiruh zh suryh Ohppd 6/ zh vwdwh dqg suryh wkh iroorzlqj dx{loldu| lqhtxdolw| uvw1
Ohppd < Ohw dqg 2 eh wzr ixqfwlrqv lq uR Elc +? Wkhq zh kdyh wkdw
3
4
3
4
R
q
]
]
C m 2 mR _%D C m 2 mq E n m m n m2 mR3q _%D
l
4 q 3R
q
3
4 3
4
R
R
]
]
E
F
R n C m mR _%D n C m mR _%D F
E
mlm
2
C
D
3
3
]
C
l
4R 3
q
m 2 m
E n m m n m2
bq
m R
_%D C
]
E n m m n m2
bq
m q R
4 q 3R
_%D
R Eq R
zh jhw
q
3
4
R
]
R
C m 2 m _%D
l
3
4 3
4 q 3R
q ]
qR
]
q
R3q
R
C
D
C
D
m 2 m E n m m n m2 m
_%
E n m m n m2 m _%
l
65
+86,
3
4
q
]
q
R
q
3
C m 2 m E n m m n m2 m
_%D
l
4 q 3R
q
3
4 3
4 3
4 R
R
R
]
]
]
E
F
C _%D n C m mR _%D n C m2 mR _%D F
E
c
C
D
3
3
4R
q
]
q
R3q
1
c%
1
c%
1
c%
1
c%
_%D
C 1 n ( 1 2 ( 2 n 1 n ( n 1 2 n ( 2
t
4 REq 3R
q
3
4
R
R
]
]
E
F
C 1 n ( 1 c% R _%D n C 1 2 n ( 12 c% R _%D F
E
C n
D
3
5
7
]
t
6R
@ %c +c 1 n ( 1 c% @ %c +c 1 2 n ( 12 c% c 1 n ( 1 c% 1 2 (1 2 c% _%8
S2
n SSR E n m1 mR R n SSR E n m1 2 mR R
5
6R
q
]
q 3R
1
c%
1
c%
7
@ %c +c 1 n ( @ %c +c 1 2 n ( 2 c 1 1 2 _%8 E n m1 mR n m1 2 mR q
t
Qrz e| dsso|lqj uvw wkh frqwlqxlw| dvvxpswlrq +9, dqg vxffhvvlyho| Koghu*v lqhtxdolw| dqg
+45, zh rewdlq
5
6R
q
]
1
c%
1
c%
7
@ %c +c 1 n ( @ %c +c 1 2 n ( 2 c 1 1 2 _%8
5
7
6R
@ %c +c 1 n ( 1 c% @ %c +c 1 2 n ( 1 2c% m1 1 2 m _%8
66
5
7S
R33k
n 1 n ( 1 c% n 1 2 n ( 1 2 c%
k
R
1 n ( 1 c% 1 2 ( 12 c% m1 1 2 m _% q
3
4 R33k
q
]
1 c%
1 2 c% R
C
D
_%
n 1 n (
n 1 2 n (
3
C
4k 3
q
1 n (1 c% 1 2 ( 1 2c% R _%D C
4
R
m1 1 2 m _%D
R33k
R3 E n SS E n m1 mR n SS E n m1 2 mR q
3
4k 3
4
q ]
q
]
R
R
1
c%
1
c%
C 1 n ( 1 2 ( 2 _%D C m1 1 2 m _%D
Wklv lpsolhv wkdw
1 n ( 1 c% 1 2 ( 12 c% R _+
E n m1 mR n m1 2 mR
33
q R R k q
q n q
q k
33
q k
R q
m1 1 2 m q q 3k
' E n m1 mR n m1 2 mR q 3k m1 1 2 m q 3k
:16
Surri ri Wkhruhp :
Ehiruh zh suhvhqw wkh surri ri wklv wkhruhp zh uhfdoo vrph uhvxowv dqg suryh vrph ohppdv
zklfk zloo eh xvhixo lq wkh surri1 Zh dovr uhpdun wkdw wkh surri lv lq xhqfhg e| ^:` zkhuh
wkh xqlirup shulrglflw| sureohp zdv wuhdwhg dqg ^48` zkhuh wkh fdvh R ' 2 zdv wuhdwhg1
Wkhruhp 43 Ohw 5 ` cR El eh d zhdn vroxwlrq ri wkh htxdwlrq
_ E@ E%c ( ' f rq l
Wkhq wkhuh h{lvwv r : f vxfk wkdw iru hdfk rshq vhw ' zlwk frpsdfw forvxuh lq l zh kdyh wkdw
5 ` cRnr E' dqg
nn` cRnr E' nn` cR El
Surri1 Vhh ^44`1
67
_% ' ks m l
]
l
uhvshfwlyho|1 Vlqfh s $ s lq ` 3c^ El dqg $ zhdno| lq `fcR El c zh kdyh wkdw
ks m l $ ks m l dqg wkh ohppd lv suryhg1
Ohppd 45 Ohw @ c dqg (c% eh ghqhg dv lq Wkhruhp 81 Wkhq
]
%
%
%
(c%
(c%
@
c ( n (
c ( n (
0
0
0
l
]
$
kK E( c (l _%
_%
l
a t
l l
_%
%
%
%
(c%
(c%
@
c ( n (
c ( n (
0
0
0
+87,
_%
Lw
U lv reylrxvo| vx!flhqw wr suryh +d, 0 wkdw wkh uvw whup lq htxdwlrq +87, frqyhujhv wr
l kK E( c (l _% dqg +e, 0 wkdw wkh vhfrqg whup lq +87, frqyhujhv wr f1 Lqghhg/ e| wkh
ghqlwlrq ri K wrjhwkhu zlwk wkh fhoo sureohp zh kdyh wkdw
[] %
%
%
1 c%
1 c%
@
c 1 n (
c 1 n (
_%
0
0
0
a t
'
a
E0?
] G
H
1 c%
1 c%
@ +c 1 n (
E+ c 1 n (
E+ _+
t
68
'
a
E0? K 1 c 1
]
'
[ ]
'
K 1 c 1 _%
a
t
U
Zh zloo suryh wkdw wkh odvw lqwhjudo frqyhujhv wr l kK E( c (l _%1 Lq idfw/ hohphqwdu|
hvwlpdwhv dqg wkh frqwlqxlw| surshuw| ri K/ vhh Uhpdun 6/ lpsolhv wkdw
]
]
kK E ( c (l _% kK E( c (l _%
l
l
]
]
kK E ( c (l kK E( c (l _% n
kK E( c (l _%
l
l .l
]
' kK E ( K E( c (l n kK E( c ( (l _%
l
]
n
kK E( c (l _%
l .l
]
mK E ( K E(m m (m n mK E(m m ( (m _%
l
l l
h
S
l
nh
S
E n m(m 3 3
R
l
l l
69
E n m(mR33 m(m n _%
3
4 R33 3
4 3
4
R
R ]
R
]
]
E
F
E
F E
F
R
R
C E n m (m n m(mR _%D
C m ( (m _%D C m (m _%D
l
l
l
4 3
4
R
R
]
]
E
F E
F
C m ( (mR _%D C m (mR _%D
3
l
l
3
4 R33 3
4 3
4
R
R ]
R
]
]
E
F
E
F E
F
R
R
n C E n m(mR _%D
C m(m _%D C m ( (m _%D
l
]
n
l
l
E n m(mR _%
l l
3
n ( (nuR El c+? n (nuR El c+?
' n n m (m n m(mnRu3R El
c+?
]
R33
n n n m(mnuR El c+? n(nuR El c+? n ( (nuR El c+? n
E n m(mR _%
l l
Vlqfh n (nuR El c+? n(nuR El c+? e| Mhqvhq*v lqhtxdolw|/ lw iroorzv iurp +7, dqg wkh
idfw wkdw l ql $ f wkdw doo wkuhh whupv frqyhujhv wr f dv $ 4 dqg +d, lv suryhg1 Qh{w
zh qrwh wkdw e| +9, dqg d fkdqjh ri yduldeohv lq +45, zh kdyh wkdw
]
%
%
%
(c%
(c%
@
c ( n (
c ( n (
_%
0
0
0
l l
l l
l l
R33k
kn
%
%
(c%
(c%
S n ( n (
( n (
_%
0
0
[]
%
%
%
(c%
(c%
@
( n (
c
(
n
(
_%
0
0
0
t
[]
t
S
R33k
kn
c%
c%
%
1
1
1 n ( %
n 1 n (
_%
0
0
S 2 3
R
[
R
%
1 c%
1
t
n 1 n (
_%
n
S
n
S
0
6:
R
]
[
[
t n
t ( _%
t t
M
M
]
]
[
[
t n
m(mR _% E n m(mR _% $ fc
t
8
zkhuh
zh lq wkh odvw vwhs xvhg Mhqvhq*v lqhtxdolw| dqg lq wkh olplw surfhvv wkh idfw wkdw
8 $ f vlqfh mYl m ' f1 Wkxv +e, lv suryhg dqg zh duh grqh1
Ohppd 46 Ohw K G l $ +? eh d vlpsoh ixqfwlrq ri wkh irup
K '
6
[
&'
& k& c
zkhuh & l lv frpsdfw/ mY& m ' f dqg m& _ , m ' f iru & 9' ,1 Wkhq
*4 tT ( n ( (c% K n (K c% uR El c+?
<"
33
q k
6
Pruhryhu/ zh ghqh 8c& ' ^ Mc& t 1 Vlqfh ^6
&' & lv frpsdfw/ zh kdyh wkdw ^&' &
l l iru vx!flhqwo| odujh/ zklfk lpsolhv wkdw
R
]
( n ( (c% % K n (K c% %
_%
0
0
l
R
]
%
%
(c%
K
c%
( n (
_%
'
K n (
0
0
l
l l
R
%
(c%
( n (
_%
0
6;
+88,
R
[ ]
1 c%
k& c%
1
n
(
Ek
n
(
_%
&
6
n
[
&' a c&
t
6
n [ ]
[
&' c&
t
R
1 c%
k& c%
Ek& n (
_%
1 n (
E| xvlqj +46, zlwk d fkdqjh ri yduldeohv dqg wkh Mhqvhq lqhtxdolw|/ zh rewdlq
R
]
%
%
(c%
K
c%
( n (
_%
K
n
(
0
0
l
6
n
[
q 3k3
R
R
R q 3k
n 1 n mk& m
1 k& q 3k t
&' a c&
6
n [
[
&' c&
33
q k
l
n
q 3k3
R
R
R q 3k
n 1 n mk& m
1 k& q 3k t
33
6
n
[
&'
8c&
q k
4 q 3k3 3
4
3
q 3k
q 3k
]
]
R
R
C m ( K m _%D
C E n m (m n mK m _%D
l
6
n
[
&'
3
E
C
l
4 q 3k3 3
F
E n m (m n mk& mR _%D
q k
E
C
8c&
F
m ( k& mR _%D
q k
8c&
3
4 q 3k3 3
4
q 3k
q 3k
]
]
R
R
C m( K m _%D
C E n m(m n mK m _%D
l
n
6
n
[
&'
3
E
C
l
4 q 3k3 3
F
E n m(m n mk& mR _%D
8c&
q k
E
C
8c&
4
F
m( k& mR _%D
q k
+89,
Qrz zh qrwh wkdw 8c& $ mY& m dqg e| dvvxpswlrq/ wkdw mY& m ' f iru & ' c c 61
Pruhryhu/ zh kdyh wkdw l ql $ f1 Wkh ohppd iroorzv e| +88, dqg +89,1
6<
6
[
&'
& k& c
zkhuh & l lv frpsdfw/ mY& m ' f dqg m& _ , m ' f iru & 9' ,1 Wkhq
*4 tT n ( n ( (c% n K n ( K c% uR El c+?
<"
6
Pruhryhu/ zh ghqh 8c& ' ^ Mc& t 1 Vlqfh ^6
&' & lv frpsdfw/ zh kdyh wkdw ^&' &
l l iru vx!flhqwo| odujh/ zklfk lpsolhv wkdw
R
]
%
%
(c%
K c%
n ( n (
n K n (
_%
0
0
l
R
]
%
(c%
K
c%
n K n ( % _%
'
n ( n (
0
0
l
l l
R
%
(c%
n ( n (
_%
0
R
R
]
%
%
(c%
K c%
n ( n (
n K n (
_%
0
0
l
6
n
[
[ ]
&' a c&
t
6
n [ ]
[
n
&' c&
t
R
n 1 n ( 1 c% n mk& n ( k& c% mR _%
R
1 c%
k& c% R
n 1 n (
m _%
n mk& n (
73
+8:,
6
n
[
&' Ma c&
6
n
[ [
&' Mc&
6
n [
[
&' Ma c&
t
$
t
6
n [
[
R
R
R
n 1 n mk& m t n
n 1 n mk& mR t
R
l
E n m(m n mK m _% n
l
q k
R
R q q kk R
1 q k n E n mk& mR q k mk& m q k
n n 1
]
q k
R
R q q kk R
1 q k n E n mk& mR q k mk& m q k
n n 1
E n m(m n mK m _% n
l
&' M c&
6
n
[
&'
8c&
6
n
[
&'
8c&
6
n
[
&'
8c&
E n m(mR n mk& mR _%
E n m(m n mk& mR _%
+8;,
c&
Qrz zh qrwh wkdw 8 $ mY& m dqg e| dvvxpswlrq/ wkdw mY& m ' f iru & ' c c 61
Pruhryhu/ zh kdyh wkdw l ql $ f1 Wkh ohppd iroorzv e| +8:, dqg +8;,1
%
c 1 n ( 1c%
0
%
0
duh
?
Surri1 Dsso| Ph|hu*v hvwlpdwh/ vhh Wkhruhp
43/
zlwk
'
'
2 c 2 dqg l ' E 2 c 2 ? 1 E|
wkh ghqlwlrq ri 1c% zh kdyh wkdw _ @ +c 1 n ( 1c% E+ ' f rq l Ph|hu*v hvwlpdwh
lpsolhv wkdw wkhuh h{lvwv d r : f vxfk wkdw
E1c + n 1c% E+ cRnr E1c + n 1c% E+ cR
`
E'
` El
Wklv hvwlpdwh wrjhwkhu zlwk Srlqfduh*v lqhtxdolw| dqg wkh shulrglflw| ri 1c% lpso| wkdw
1 n ( 1c% E+ Rnr
1 n ( 1c% E+ R
?
u E'c+
u E'c+? c
wkdw lv/
1c%
1 n ( 1c% E+ Rnr
R
1
n
(
E+
u Etc+?
u Etc+? E n m1m c
74
zkhuh zh lq wkh odvw lqhtxdolw| kdyh xvhg +46,1 E| d fkdqjh ri yduldeohv zh rewdlq
Rnr
Rnr
1 n ( 1c% %
E
n
m1m
t
0 uRnr Et c+?
+8<,
%
lv xqlirupo| erxqghg lq uRnr El c +? c dqg dffruglqj
Wklv lpsolhv wkdw 1 n ( 1c%
0
%
%
1c%
wr +9,/ zh jhw wkdw @
c 1 n (
lv xqlirupo| erxqghg lq u^nr El c +? c zkhuh
0
0
r ' r*ER
%
%
K c%
E| dgglqj dqg vxewudfwlqj l @
c K n (
c ( _% zh kdyh wkdw
0
0
]
%
%
(c%
c ( n (
@
c ( kK E( c (l _%
0
0
l
]
%
%
(c%
K c%
_%
c
(
n
(
@
c
K
n
(
c
(
@
0
0
l
]
%
K c%
n
@
c K n (
c ( kK E( c (l _%
0
U
+93,
l
Ohw xv hvwlpdwh wkh uvw lqwhjudo rq wkh uljkw kdqg vlgh lq +93,1 E| Vfkzdu}* lqhtxdolw|/ +9,
dqg Koghu*v lqhtxdolw|/ zh rewdlq wkdw
]
@ % c ( n ( (c% @ % c K n (K c% c ( _%
0
0
l
]
%
%
(c%
K
c%
@
m( m _%
@
c
(
n
(
c
K
n
(
0
0
l
75
]
R
S n ( n ( (c% n K n ( K c%
3 3
l
k
( n ( (c% K n ( K c% m( m _%
3
4R k
R
]
R
(c%
K
c%
n K n (
_%D
n ( n (
C
3 3
l
3
4k 3
4
R ]
R
]
R
R
(c%
K
c%
C ( n (
K n (
_%D C m( m _%D
l
l
l
k
R33 q 3
S n n m(m n mK mnuR El c+?k
k
q 3k
n( K nuR El c+? n( nuR El c+?
_%
B q k c
+94,
zkhuh lv d frqvwdqw lqghshqghqw ri / vhh +4;,1 Ohw xv qrz vwxg| wkh vhfrqg lqwhjudo rq
wkh uljkw kdqg vlgh lq +93,1 Zh zloo suryh wkdw
]
%
K c%
c K n (
+95,
@
c ( kK E( c (l _% $ f
0
l
Lq idfw/ zh qrwh wkdw wkh frpshqvdwhg frpsdfwqhvv ohppd/ Ohppd 4/ lpsolhv wkdw
]
]
%
k& c%
@
c k& n (
c ( _% $
kK Ek& c (l _%c
0
l
l
dv $ 4 iru hyhu| 5 f El c dqg wkhq vkrz wkdw
]
]
%
k& c%
c k& n (
kK Ek& c (l _%
@
c ( _% $
0
l
l
"
R2 n R2 r Rr
R zh rewdlq wkdw
R2 n Rr r
o
]
%
k
c%
@
c k& n ( & c (
'
o
0
u El
Iru o '
l
76
%
k
c%
@
c k& n ( & c (
0
o
_%
+96,
o
]
%
k
c%
& m( mo _%
@
c
k
n
(
&
0
l
3
]
C
l
4 2RER 3
4 R2nRr r
R nRr r
R nRr r
^nr
]
R
@ % c k& n ( k& c%
D
C
D
_%
m( m _%
0
3
3
l
Fkrrvh | 4 vxfk wkdw n ' 1 Wkhq wkhuh h{lvwv d vhtxhqfh E6 / 6 5 f El / vxfk
| o
wkdw
n 6 nu|El $ f iru hyhu| 5 u| El
"
Zh kdyh wkdw
]
%
k
c%
& c (
@
kK
c
k
n
(
Ek
c
(l
_%
&
&
0
l
]
%
k& c%
@
c k& n (
c ( kK Ek& c (l E 6 n 6 _%
'
0
l
]
@ % c k& n ( k& c% c ( kK Ek& c (l E 6 _%
0
l
]
%
k
c%
&
n
c k& n (
@
c ( kK Ek& c (l 6 _%
0
l
%
k& c%
@
c k& n (
c ( kK Ek& c (l
n 6 nu| El
o
0
u El
]
%
k
c%
&
n
@
c k& n (
c ( kK Ek& c (l 6 _%
0
+97,
l
<"
77
+98,
<"
*4
<"
]
*4
<"
l
h
S E n mK m n m(mR33 mK (m m(m _%
l
3
nK (nuR El c+? n(nuR El c+? B
*4 n n mK m n m(mnRu3R El
c+?
<"
Vlqfh wkh B zdv duelwudulo| fkrvhq/ zh kdyh suryhg +95,1 Wkh surri qrz iroorzv e| frpelqlqj
+93,/ +94, dqg +95,1
Ohppd 4: Ohw @ c / c (c% dqg K eh ghqhg dv lq Wkhruhp 81 Wkhq
]
]
%
%
(c%
c ( c ( n (
kK E( c (l _%
@
_% $
0
0
l
l
Surri1 Wkh surri lv vlplodu wr wkdw ri Ohppd 49/ exw iru wkh uhdghuv
S6frqyhqlhqfh zh suhvhqw
wkh ghwdlov1 Iru hyhu| B : f wkhuh h{lvwv d vlpsoh ixqfwlrq K ' &' & k& vdwlvi|lqj wkh
frqglwlrqv lq Ohppd 46 vxfk wkdw
n( K nuR El c+? B
U
%
%
E| dgglqj dqg vxewudfwlqj l @
c ( c K n ( K c%
_% zh kdyh wkdw
0
0
]
]
%
%
(c%
@
c
(
c
(
n
(
kK
E(
c
(l
_%
0
0
l
l
78
]
%
(c%
K c%
@
c
(
c
(
n
(
K
n
(
0
l
_%
kK E( c (l _%
]
%
@
c ( c K n ( K c%
n
0
l
+99,
Ohw xv hvwlpdwh wkh uvw lqwhjudo rq wkh uljkw kdqg vlgh lq +99,1 E| Vfkzdu}* lqhtxdolw| dqg
Koghu*v lqhtxdolw| zh jhw wkdw
]
%
(c%
K
c%
K n (
@
_%
c
(
c
(
n
(
0
l
]
%
( n ( (c% K n (K c% _%
@
c
(
0
l
4 3
4
^ ]
R
^
]
R
%
(c%
K
c%
EK n ( _%D
C @
c ( _%D C ( n (
0
3
l
l
%
c (
0
]
%
*4 tT
@
c ( c ( n ( (c% K n ( K c%
0
<"
l
_% Bc
+9:,
zkhuh lv d frqvwdqw lqghshqghqw ri 1 Ohw xv qrz vwxg| wkh vhfrqg lqwhjudo rq wkh uljkw
kdqg vlgh lq +99,1 Zh zloo vkrz wkdw
]
%
@
c ( c K n ( K c% kK E( c (l _% $ f
0
l
%
c ( frqyhujhv zhdno| lq u^ El c +? wr
Zh qrwh wkdw dffruglqj wr Wkhruhp 8/ @
0
%
K E(/ _ @
c (
frqyhujhv wr _ K E( lq ` 3c^ El dqg e| shulrglflw|
0
%
Ek& c % n 0 k& c%
frqyhujhv zhdno| lq ` cR El wr Ek& c %1 Wkh frpshqvdwhg frpsdfw0
0
qhvv ohppd/ Ohppd 4/ lpsolhv wkdw
]
]
%
k& c%
@
c ( c k& n (
_% $
kK E( c k& l _%c
+9;,
0
l
l
dv $ 4 iru hyhu| 5 f" El 1 Qh{w zh zloo suryh wkdw
]
]
%
k& c%
@
c ( c k& n (
_% $
kK E( c k& l _%
0
l
l
79
|
iru hyhu|
5 u El dqg
vrph
| 41 Iluvw zh qrwh wkdw e| +8<,/ wkhuh h{lvwv r : f
%
vxfk wkdw k& n (k& c% 0
/ zkhuh lv lqghshqghqw ri 1 Iru o '
Rnr
?
u
El c
R ER n r
R
' ^ zh rewdlq wkdw
2
R n Rr r
R
o
@ % c ( c k& n ( k& c%
o
0
u El
o
]
]
%
k& c%
'
@ 0 c ( c k& n (
_%
l
3
]
C
l
4 ER 2 ERnr
R nRr r
^
@ % c ( _%D
0
3
C
l
o
@ % c ( mk& n ( k& c% mo _%
0
]
mk& n (
4
k& c% Rnr
_%D
R
R2 nRr r
+9<,
l
Fkrrvh | 4 vxfk wkdw n ' 1 Wkhq wkhuh h{lvwv d vhtxhqfh E6 / 6 5 f" El / vxfk
| o
wkdw
n 6 nu|El $ f iru hyhu| 5 u| El
Zh kdyh wkdw
]
%
k& c%
@
c
(
c
k
n
(
kK
E(
c
k
l
_%
&
&
0
l
]
%
k& c%
@
c ( c k& n (
kK E( c k& l E 6 n 6 _%
'
0
l
]
@ % c ( c k& n (k& c% kK E( c k& l E 6 _%
0
l
]
%
k
c%
n
@
c ( c k& n ( & kK E( c k& l 6 _%
0
l
%
k& c%
@
c ( c k& n (
kK E( c k& l
n 6 nu| El
o
0
u El
]
%
k
c%
n
@
c ( c k& n ( & kK E( c k& l 6 _%
0
+:3,
l
+:4,
<"
]
*4
<"
l
*4 nK E(nu^ El c+? nK (nuR El c+? B
<"
+:5,
Vlqfh wkh B zdv duelwudulo| fkrvhq/ zh frqfoxgh/ dffruglqj wr +9:, dqg +:5,/ wkdw erwk whupv
rq wkh uljkw kdqg vlgh ri +99, frqyhujhv wr }hur dqg wkh frqyhujhqfh fodlphg lq wkh ohppd
lv suryhg1
Ohppd 4; Ohw / (c% dqg eh ghqhg dv lq Wkhruhp :1 Wkhq
$R
] #
[
n m( m n
l E% E%c (c % _%
'
l
Surri1 Zh kdyh e| +6,/ d fkdqjh ri yduldeohv lq +45, dqg Mhqvhq*v lqhtxdolw| wkdw
R
]
]
%
R
(c%
m E%c (c % m _% ' ( n (
_%
0
l
l
7;
+:6,
R
]
]
%
(c%
'
_% n
( n (
0
l
l l
R
[ ]
[]
%
1 c%
_% n
1 n (
0
a t
a
t
a t
[]
E n m (m _% n
]
'
E n m(m _% n
E n m(mR _% n
l
[]
t
[]
a t
]
R
1 n (1 c% % _%
0
R [
R
SS n 1 t n
SS n 1 t
[]
'
R
%
(c%
( n (
_%
0
t
E n m (mR _%
E n m (mR _%
E n m(mR _%
8
E n m(mR _% n
]
+:7,
8
l
' l
[
m( mR _% n
]
l
m( mR _% n
'
3
44
]
]
E
FF
R
R
C E n m(m _% n E n m (m _%DD
8
l
E n m(mR _% n
]
[
'
7<
8
F
E n m (mR _%D
+:8,
Qrz vlqfh 8 $ f dv $ 4c zh kdyh iru vx!fhqwo| odujh wkdw
]
[
'
E n m (mR _%
+:9,
8
$R
[
n m( m n
l E% E%c (c % _%
'
R 4 qR
[
l E% E%c (c % _%D
(
'
C
] #
3
]
C
l
$R 4 R3R q
[
n m( m n
l E% E%c (c % _%D
'
R 4 qR
[
l E% E%c (c % _%D
(
'
$R3q
] #
[
n m( m n
l E% E%c (c %
'
q
[
(
l E% E%c (c % _%
'
#
$
]
%
% [
@ %c c ( @ %c c
E% E%c (c % c
S2
0
0 ' l
l
.
[
l E% E%c (c % _%
(
5
'
]
%
@ %c c ( c ( _%
0
l
[
.
] -
%
%
@ %c c ( c
l E% ( n ( (c%
_%
0
0
'
7
83
.
$
] - #
[
%
%
@ %c c
l E% ( n ( (c%
c ( _%
0 '
0
l
$
] - #
% [
%
(c%
n
@ %c c
c
l E% ( n (
0 '
0
l
. &
[
%
l E% ( n ( (c%
_%
0
'
Wkh wkhruhp iroorzv e| dsso|lqj Ohppd 44 wr wkh uvw whup/ Ohppd 4: wr wkh vhfrqg whup/
Ohppd 49 wr wkh wklug whup dqg Ohppd 45 wr wkh odvw whup1
84
Devwudfw
Lqwurgxfwlrq
+4,
rq l/ 5 `fcR El
Lq ^9` dqg ^44` wkh iroorzlqj vlwxdwlrq zdv vwxglhg= @ lv ri wkh irup k E%c 1 '
@E%c 1/ zkhuh k lv prqrwrqh/ frqwlqxrxv dqg vdwlvhv vxlwdeoh frhuflyhqhvv
dqg jurzwk frqglwlrqv lq wkh vhfrqg dujxphqw dqg lv shulrglf lq wkh uvw
dujxphqw1 D fruuhvsrqglqj krprjhql}dwlrq uhvxow/ zlwk wkh glhuhqfh wkdw
@ rqo| vdwlvhv ghjhqhudwh vwuxfwxuh frqglwlrqv zdv rewdlqhg lq ^<`1 Lq wklv
vlwxdwlrq lw lv qdwxudo wr zrun zlwk zhljkwhg vsdfhv zklfk phdqv wkdw lqvwhdg
ri +4, zh kdyh
_E@E%c ( ' s
rq l/ 5 `fcR Elc b c
Ohw l eh d uhjxodu erxqghg rshq vxevhw ri +? dqg m.m ghqrwh wkh Ohehvjxh
phdvxuh ri wkh vhw . lq +? Pruhryhu ohw kc l ghqrwh wkh Hxfolghdq vfdodu
surgxfw rq +? dqg . wkh fkdudfwhulvwlf ixqfwlrq ri wkh vhw . Ohw R eh d
uhdo frqvwdqw R 4 dqg ohw ^ eh lwv frqmxjdwh h{srqhqw/ *R n *^ '
Zh zloo ghqrwh e| dqg frqvwdqwv wkdw pd| fkdqjh iurp rqh sodfh wr
dqrwkhu1
Ixuwkhupruh/ ohw t ' ~ ' Efc ? eh wkh xqlw fxeh lq +? 1 Ohw
il t G ' c c j
eh d idplo| ri glvmrlqw rshq vhwv vxfk wkdw t q ^
' l ' f dqg mYl m ' f1
Ohw b eh d zhljkw rq +? / l1h1 b lv phdvxudeoh dqg
b : f d1h1/ b dqg b3*ER3 duh lq u,JS E+?
+5,
Zh ghqrwh e| uR Elc b wkh vhw ri uhdo ixqfwlrqv lq u,JS El vxfk wkdw b*R
c
lv lq uR El/ e| ` cR Elc b wkh vhw ri wkh ixqfwlrqv lq `,JS
El vxfk wkdw
5 uR Elc b dqg ( 5 duR Elc bo? Pruhryhu/ zh ghqrwh e| `fcR Elc b wkh
*R
Emm n m(m b _%
R
E| Reo
Et zh phdq wkh vhw ri doo t 0shulrglf ixqfwlrqv lq E+? zlwk
cR
phdq ydoxh }hur1 Zh dovr ghqh `Reo
Elc b dv wkh vhw ri uhdo ixqfwlrqv lq
c
?
`,JS E+ zlwk phdq ydoxh }hur vxfk wkdw
43
b _5 D C
'
m'm
4R3
b3 R3 _5 D
g
'
iru hyhu| fxeh ' 5 +? zlwk idfhv sdudooho wr wkh frruglqdwh sodqhv1 Zh vhw
R ' ^g D R Eg
Ohw b eh d t 0shulrglf zhljkw rq +? / l1h1 b vdwlvhv +5, dqg lv t 0shulrglf1
Zh ghqh wkh zhljkwv b dqg b dv
b E% '
b E% '
[
'
[
'
Wkhq lw iroorzv wkdw b c b 3*ER3 c b dqg b 3*ER3 doo duh lq u,JS E+?
Pruhryhu/ zh dvvxph wkdw b / b dqg b duh lq R Eg iru vrph g1
Ohw @ G +? +? +? $ +? eh d ixqfwlrq vxfk wkdw
@ E+c 5c 1 '
[
'
+7,
+8,
@ E5c f ' f
iru d1h1 5 5 +?
Dv d gluhfw frqvhtxhqfh ri +8,/ +9,/ dqg +:, wkh iroorzlqj lqhtxdolwlhv krog=
m@ E5c 1m S@ b E5 n m1mR3 c
+;,
+<,
]
R
R
1
1 n ( b E5 _5 SS E n m1m
+43,
b3
4 n B
nB
_+D
'
EnB *ER
4 n B
_+ D
'
m'm
m'm
]
b _+c
+44,
b3*ER3 _+c
+45,
'
]
'
iru hyhu| fxeh zlwk idfhv sdudooho wr wkh frruglqdwh sodqhv dqg hyhu| b 5
R Eg
8
]
k@ c ( l _+ $
$
E+ _+
mt m
zhdno| lq uR El +zhdno|W li R ' 4,1
dqg ohw h
} eh wkh t 0shulrglf h{whqvlrq wr +? ri } Wkhq zh kdyh
k
l? ]
^
? 3*ER3
} 5 u,JS + c b
h
c
kh
}c (l _+ ' fc ; 5 f E+?
+?
Lq vlwxdwlrqv zkhuh qr frqixvlrq fdq rffxu zh zloo xvh wkh vdph qrwdwlrq
iru wkh h{whqghg ixqfwlrq dv iru wkh ruljlqdo rqh1
A
A
= 5 ` cR Elc b c
f
+46,
zkhuh s 5 u" El E| vwdqgdug uhvxowv lq h{lvwhqfh wkhru| wkhuh h{lvw xqltxh
vroxwlrqv iru hdfk Ehorz zh vwdwh wkh pdlq uhvxow ri wklv sdshu1
Wkhruhp 9 Ohw E eh wkh vroxwlrqv ri +46,1 Wkhq
$ zhdno| lq `fc El c
?
@ %c 2 %c ( $ K E( zhdno| lq u El c
dv $ 4c zkhuh lv wkh xqltxh vroxwlrq ri
; ]
]
A
A
kK E( c (l _% '
s _% iru hyhu| 5 `fcR El c
?
A
A
=
5 `fcR El
K E1 '
Kt +c 1 n (1 E+ _+
mt m
t
+47,
A
A
= 1 5 ` cR Et
Reo
Wkh rshudwru Kt G t +? $ +? lv ghqhg dv
Kt E+c 1 '
zkhuh
K E1 '
m~m
[
'
@ 5c 1 n (1 E5 _5c
A
A
= 1
cR
5 `Reo
E~c b
Surri1 Ohw xv uvw suryh wkdw n( nuR Elcb E| shulrglflw| lw iroorzv
wkdw
]
b E% _% c
l
Eb E%3*ER3 _%
l
3
4l
]
]
C b E% _% n ns nu" El m( m _%D
l
+48,
3
4*R 4
]
E
F
C n C m( mR b E% _%D D
l
+49,
Ohw # eh ghqhg dv # ' @ E%c 2 %c ( Wkhq +;, dqg +49, lpsolhv
n# nku^ Elcb3*ER3 l?
+4:,
3
4 nRj 3
4 R3R3j
]
]
nj
C b 3 R33j _%D
m( mnj _% C m( mR b _%D
3
4 RR3nB
3
4 RR3nB
]
]
nB
nB
C b 3 R3 _%D
C b 3 R3 _%D
'
+4;,
Qh{w/ fkrrvh B : f vxfk wkdw +44, krogv dqg fkrrvh j2 vxfk wkdw
n B ' E n j2
^
^ j2
<
Wklv phdqv wkdw E dqg E# duh erxqghg lq `fcnj El dqg dunj2 Elo
uhvshfwlyho| Vlqfh wkhvh vsdfhv duh uh h{lyh zh kdyh wkdw wkhuh h{lvw vxevh0
txhqfhv/ vwloo ghqrwhg e| E dqg E# / vxfk wkdw
$ W zhdno| lq `fcnj El c
?
# $ # W zhdno| lq unj2 El
+4<,
+53,
+54,
+55,
+56,
E| xvlqj wkh idfw f El `fcR Elc b dqg +55, zh fdq sdvv wr wkh olplw lq
+56,/ wkxv
]
]
k# W c (l _% ' s _%c iru hyhu| 5 f El
l
Ghqvlw| dqg wkh idfw wkdw # W 5 du^ Elo? c vhh +5<,/ wkhq jlyhv
]
]
k# W c (l _% ' s _% iru hyhu| 5 `fcR El
l
+57,
Ohw xv qrz revhuyh wkdw e| +54,/ +55, dqg +57, wkh wkhruhp lv suryhg li zh
vkrz wkdw
W 5 `fcR El c
# W ' K E(W d1h1 rq lc
+58,
+59,
vlqfh wkh xqltxhqhvv ri wkh vroxwlrq ri wkh krprjhql}hg sureohp +47, wkhq
lpsolhv wkdw W ' d1h1 rq l
Zh vwduw zlwk wkh surri ri +58,1 Zh revhuyh wkdw vlqfh l lv d uhjxodu
erxqghg rshq vhw lw lv vx!flhqw wr vkrz wkdw (W 5 duR Elo? Ohw 5
43
n( nEu El? C m( mR b E% _%D C Eb E%3 R3 mm^ _%D
l
3
4 ^
]
+5:,
Dsso|lqj *4 ?u rq erwk vlghv ri +5:, dqg xvlqj wkh zhdn orzhu vhplfrqwlqx0
lw| ri wkh qrup rq wkh ohiw kdqg vlgh dqg shulrglflw| rq wkh uljkw kdqg vlgh
zh rewdlq
]
m(W m mm _% nnu^ El iru hyhu| 5 f El
l
+5;,
E| xvlqj +4:, dqg dujxphqwv vlplodu wr wkrvh hpsor|hg lq wkh surri ri +5;,
lw fdq dovr eh ghgxfhg wkdw
# W 5 du^ Elo?
+5<,
Lw uhpdlqv wr suryh +59,1 Iru wklv sxusrvh ohw xv ghqh wkh whvw ixqfwlrq
44
+63,
1
2
@ %c %c ( $
Kt +c 1 n (1 _+ ' K E1 zhdno| lq u El c
mt m t
Ilqdoo|/ gxh wr +69,/ zh fdq dsso| Ohppd 8 rq +64, dqg rewdlq
1
2
_ @ %c %c (
' f rq f El c
dqg zh duh qrz uhdg| wr dsso| wkh frpshqvdwhg frpsdfwqhvv uhvxow1 Lqghhg/
e| wkh prqrwrqlflw| ri @ zh kdyh iru d {hg 1 wkdw
] G
H
# @ %c 2 %c (1 E% c ( E% (1 E% E% _% f
l
iru hyhu| 5 f" El c f Khqfh iru rxu {hg 1 5 +? zh kdyh wkdw
k#W K E1 c (W E% 1l f iru d1h1 % 5 l
E| ghqvlw| dqg wkh frqwlqxlw| ri K +vhh Ohppd <,/ lw iroorzv wkdw
k# W K E1 c (W E% 1l f iru d1h1 % 5 l dqg hyhu| 1 5 +? 1
Vlqfh K lv prqrwrqh +78, dqg frqwlqxrxv +79, zh kdyh wkdw K lv pd{lpdo
prqrwrqh dqg khqfh +59, iroorzv1 Ilqdoo|/ ohw xv revhuyh wkdw zh kdyh suryhg
wkh wkhruhp rqo| xs wr d vxevhtxhqfhc exw vlqfh wkh krprjhql}hg rshudwru
lv xqltxho| ghqhg dqg wkh vroxwlrq ri wkh krprjhql}hg sureohp lv xqltxh
zh fdq frqfoxgh wkdw wkh wkhruhp krogv iru wkh zkroh vhtxhqfh1
Dq dx{loldu| sureohp
A
A
= 1
cR
5 `Reo
tc b
+64,
E| vwdqgdug uhvxowv lq h{lvwhqfh wkhru| wkhuh h{lvw xqltxh vroxwlrqv iru hdfk
Ehorz zh vwdwh wkh dx{loldu| uhvxow ri wklv sdshu1
Wkhruhp : Ohw 1 eh wkh vroxwlrqv ri +64,1 Zh wkhq kdyh wkdw
c
1 $ 1 zhdno| lq `Reo
Et c
?
@ +c +c 1 n (1 $ Kt +c 1 n (1 zhdno| lq u Et c
A
A
= 1 5 ` cR Et
Reo
+65,
dqg
K E '
m~m
[
'
l E+ K E c
A
A
= 5 ` cR E~c b
Reo
46
+66,
3
4
]
]
R3
K C b E+ _+ n @
n 1 n (1
b E+ m1m _+D
t
Pruhryhu/ li zh xvh \rxqj*v lqhtxdolw| rq wkh uljkw kdqg vlgh dqg uhduudqjh
wkh uhvxowlqj lqhtxdolw| zh rewdlq
]
R
@ K 2^3 #
1
1 n ( b E+ _+
^
t
]
@ 2^3 # @ m1mR # 3ER3
K n
n
b E+ _+c
^
R
t
]
1 R
( b E+ _+
+68,
Ohw xv ghqh
# ' @ +c 1 n (1
+69,
l
Pruhryhu/ e| xvlqj +45,/ +68,/ +44,/ +69, dqg dujxphqwv vlplodu wr wkrvh
hpsor|hg lq wkh surri ri +4;,/ lw fdq eh ghgxfhg wkdw
]
1 nV
_+ c
(
t
nV2
#
_+
l
47
?
cnV
Wkxv zh kdyh wkdw 1 dqg E# duh erxqghg lq `Reo
Et dqg dunV2 El o
uhvshfwlyho|Vlqfh
wkhvh vsdfhv duh uh h{lyh wkhuh h{lvwv vxevhtxhqfhv/ vwloo
1
ghqrwhg e| dqg E# c vxfk wkdw
cnV
1 $ 1W zhdno| lq `Reo
Et c
?
zhdno| lq
nV2
u
# $ #W
El
# $ #W
u El
+6:,
+6;,
l
l
+6<,
+73,
vlqfh wkh xqltxhqhvv ri wkh vroxwlrq ri wkh krprjhql}hg sureohp +65, wkhq
lpsolhv wkdw 1W ' 1 d1h1 rq t
Ohw xv vwduw zlwk +6<,1 Zh revhuyh wkdw vlqfh t lv d uhjxodu erxqghg
rshq vhw lw lv vx!flhqw wr vkrz wkdw (1W 5 duR Et o? zklfk lv rewdlqhg xvlqj
wkh vdph lghdv dv lq wkh surri ri +5;,1
Lw uhpdlqv wr suryh +73,1 Wkhuhiruh ohw xv ghqh wkh whvw ixqfwlrq c e|
48
+74,
c E+ ' E c + n E+ c
cR
zkhuh 5 `Reo
E~c b lv ghqhg dv lq +66,1 Wr eh deoh wr dsso| wkh frp0
shqvdwhg frpsdfwqhvv
uhvxow +Ohppd 6, zh kdyh wr suryh fhuwdlq idfwv derxw
c
c
dqg @ +c ( 1 Lqghhg/
]
(c R b E+ _+
+75,
l
c
@ E5c n ( E5 _5 ' K E zhdno| lq u El
@ +c ( $
m~m ~
Dssolfdwlrq ri Ohppd 8 rq +66, jlyhv
_ @ +c (c ' f rq f El
E| wkh prqrwrqlflw| ri @ zh kdyh iru d {hg wkdw
] G
H
#W @ +c (c E+ c 1 n (1 E+ (c E+ E+ _+ f
l
iru hyhu| 5 " El c f Khqfh iru rxu {hg 5 +? zh kdyh wkdw
f
# W K E c 1 n (1W E+ f iru d1h1 + 5 l
kK E K E 2 c 2 l h
S2 E n m m n m 2 mR3q m 2 mq
+76,
iru hyhu| c 2 5 +?
EK K E lv frqwlqxrxv1 Lq sduwlfxodu/ zh kdyh iru ' q 3k k wkdw
mK E K E 2 m h
S E n m m n m 2 mR33 m 2 m
+77,
iru hyhu| c 2 5 +?
ES K Ef ' f
Surri1 Wkhvh surshuwlhv iroorz e| xvlqj wkh vdph lghdv dv lq ^6` dqg ^7`1
Ohppd < Ohw K eh wkh krprjhql}hg rshudwru ghqhg lq Wkhruhp 91 Wkhq
E@ K E lv vwulfwo| prqrwrqh1 Lq sduwlfxodu/ zh kdyh wkdw
h2 E n m1 m n m1 2 mR3q m1 1 2 mq
kK E1 K E1 2 c 1 1 2 l
+78,
iru hyhu| 1 c 1 2 5 +?
EK K E lv frqwlqxrxv1 Lq sduwlfxodu/ zh kdyh iru B ' q 3 '
Eq
k
3kq3k wkdw
h E n m1 m n m1 2 mR33B m1 1 2 mB
mK E1 K E1 2 m
+79,
iru hyhu| 1 c 1 2 5 +?
ES K Ef ' f
Surri1 Wkhvh surshuwlhv iroorz e| xvlqj +76, dqg +77, lq wkh fruuhvsrqglqj
wkhruhp jlyhq lq iru h{dpsoh ^6` dqg ^7`1
4:
Uhihuhqfhv
^4` D1 Ehqvrxvvdq/ M1 O1 Olrqv dqg J1 Sdsdqlfrodrx1 Dv|pswrwlf Dqdo|vlv
iru Shulrglf Vwuxfwxuhv1 Qruwk Kroodqg/ Dpvwhugdp/ 4<:;1
^5` D1 Eudlghv dqg D1 Ghiudqfhvfkl1 Krprjhql}dwlrq ri Pxowlsoh Lqwhjudov1
R{irug Xqlyhuvlw| Suhvv/ Qhz \run/ 4<<;1
^6` M1 E|vwup1 Fruuhfwruv iru vrph qrqolqhdu prqrwrqh rshudwruv1 Uhvhdufk
uhsruw/ Qr1 44/ LVVQ= 473307336/ Ghsduwphqw ri Pdwkhpdwlfv/ Oxoh
Xqlyhuvlw| ri Whfkqrorj|/ 4<<<1
^7` M1 E|vwup1 Fruuhfwruv iru vrph qrqolqhdu prqrwrqh rshudwruv1 M1 Qrq0
olqhdu Pdwk1 Sk|v1/ ;=4 +5334,/ ;0631
^8` D1 Fkhundhy dqg U1 Nrkq1 Wrslfv lq wkh Pdwkhpdwlfdo Prghoolqj ri
Frpsrvlwh Pdwhuldov1 Elunkxvhu/ Ervwrq/ 4<<:1
^9` Y1 Fkldgr Sldw dqg D1 Ghiudqfhvfkl1 Krprjhql}dwlrq ri prqrwrqh rs0
hudwruv1 Qrqolqhdu Dqdo1/ 47=< +4<<3,/ :4:0:651
^:` G1 Flrudqhvfx dqg S1 Grqdwr1 Dq Lqwurgxfwlrq wr Krprjhql}dwlrq1 R{0
irug Xqlyhuvlw| Suhvv/ R{irug/ 4<<<1
^;` U1 U1 Frlipdq dqg F1 Ihhupdq1 Zhljkwhg Qrup Lqhtxdolwlhv iru Pd{l0
pdo Ixqfwlrq dqg Vlqjxodu Lqwhjudov1 Vwxgld Pdwk1/ 84 +4<:7,/ 57405831
^<` U1 Gh Dufdqjholv dqg I1 Vhuud Fdvvdqr1 Rq wkh krprjhql}dwlrq ri gh0
jhqhudwh hoolswlf htxdwlrqv lq glyhujhqfh irup1 M1 Pdwk1 Sxuhv Dsso1/ :4
+4<<5,/ 44<046;1
^43` D1 Ghiudqfhvfkl1 Dq Lqwurgxfwlrq wr Krprjhql}dwlrq dqg J0frqyhujhqfh/
Ohfwxuh qrwhv1 Vfkrro rq krprjhql}dwlrq/ LFWS/ Wulhvwh/ 4<<61
^44` Q1 Ixvfr dqg J1 Prvfdulhoor1 Rq wkh krprjhql}dwlrq ri txdvlolqhdu gl0
yhujhqfh vwuxfwxuh rshudwruv1 Dqqdol Pdw1 Sxud Dsso1/ 479 +4<;:,/ 40461
^45` Y1 Mlnry/ V1 Nr}ory dqg R1 Rohlqln1 Krprjhql}dwlrq ri Glhuhqwldo Rshu0
dwruv dqg Lqwhjudo Ixqfwlrqdov1 Vsulqjhu0Yhuodj/ Ehuolq0Khlghoehuj0Qhz
\run/ 4<<71
4;
^46` M10O1 Olrqv/ G1 Oxnndvvhq/ O10H1 Shuvvrq dqg S1 Zdoo1 Uhlwhudwhg kr0
prjhql}dwlrq ri prqrwrqh rshudwruv1 F1 U1 Dfdg1 Vfl1 Sdulv Vhulhv L/
663=; +5333,/ 9:809;31
^47` M10O1 Olrqv/ G1 Oxnndvvhq/ O10H1 Shuvvrq dqg S1 Zdoo1 Uhlwhudwhg kr0
prjhql}dwlrq ri qrqolqhdu prqrwrqh rshudwruv1 Fklq1 Dqq1 Pdwk1 Vhu1
E/ 55=4 +5334,/ 40451
^48` G1 Oxnndvvhq dqg S1 Zdoo1 Rq zhdn frqyhujhqfh ri orfdoo| shulrglf ixqf0
wlrqv1 M1 Qrqolq1 Pdwk1 Sk|v1/ wr dsshdu Ihe1 53351
4<
Devwudfw
Lq wklv sdshu zh ghulyh xsshu dqg orzhu erxqgv rq wkh krprjh0
ql}hg hqhuj| ghqvlw| ixqfwlrqdo/ fruuhvsrqglqj wr ghjhqhudwhg
htxdwlrqv1
s0Srlvvrq
wkh erxqgv duh forvh wrjhwkhu dqg wkxv fdq eh xvhg dv dq jrrg dssur{0
lpdwlrq ri wkh krprjhql}hg surshuwlhv1
zkhuh wkh erxqgv frlqflghv1 Zh dovr frpsduh wkh erxqgv zlwk vrph
qxphulfdo uhvxowv1
Lqwurgxfwlrq
] %
l
m(mR _%c l +? c
zkhuh ehorqj wr vrph vxevhw ri ` c El dqg uhsuhvhqw wkh vwdwh ri wkh pd0
whuldo1 Ixqfwlrqdov ri wklv irup dsshdu qdwxudoo| zkhq wkh sk|vlfdo sureohp
lv ghvfulehg e| vrph plqlpxp hqhuj| sulqflsoh ri wkh irup
.0 ' 4?
] %
l
m(m _%
s _%
+4,
]
t
+5,
Iru d surri ri wkhvh idfwv vhh h1j1 ^47` zkhq b lv erxqghg ehwzhhq wzr srvlwlyh
frqvwdqwv dqg ^9` iru wkh ghjhqhudwhg fdvh/ l1h1 zkhq b lv doorzhg wr dssurdfk
}hur ru lqqlw|/ vhh dovr ^5`1 Zh uhpdun wkdw wkh vroxwlrqv ri wkh plqlpxp
sureohpv +4, dovr duh vroxwlrqv ri wkh fruuhvsrqglqj R0Srlvvrq htxdwlrqv
_Eb
%
0
Suholplqdu| uhvxowv
Ohw l eh d rshq erxqghg vxevhw ri +? / t wkh xqlw fxeh lq +? dqg kc l wkh
Hxfolghdq lqqhu surgxfw1 Ohw R 4/ *R n *^ ' / dqg ohw b eh d
zhljkw ixqfwlrq/ l1h1 d phdvxudeoh ixqfwlrq rq +? vxfk wkdw
b : f d1h1
*ER3
3
gc
b _+
b
_+
m'm '
m'm '
iru hyhu| fxeh ' ri +? zlwk idfhv sdudooho wr wkh frruglqdwh sodqhv1 Zh vhw
R ' ^g D R Eg1
Iurp qrz rq zh dvvxph wkdw b lv d t 0shulrglf zhljkw ixqfwlrq lq R 1 Wkh
vhw ri doo uhdo ydoxhg ixqfwlrqv lq uorf El vxfk b*R lv lq uR El lv ghqrwhg
c
e| uR Elc b/ wkh vhw ri ixqfwlrqv lq `orf
El vxfk wkdw dqg m(m duh
lq uR Elc b lv ghqrwhg e| ` cR Elc b/ e| `fcR Elc b zh phdq wkh forvxuh ri
cR Etc b lv wkh vhw ri uhdo ixqfwlrqv lq ` c E+?
f El lq ` cR Elc b dqg `Reo
orf
vxfk wkdw lv t 0shulrglf dqg 5 ` cR Etc b
Ohw xv qrz ghqh wkh idplo| E0 dv wkh vroxwlrqv ri wkh iroorzlqj yduld0
wlrqdo sureohpv
.0 '
] %
4?
cR
M`f ElcbE%*0 l
m(mR _%
s _%
Xqghu wkhvh frqglwlrqv/ lw zdv suryhg lq ^9` wkdw E0 frqyhujhv zhdno| lq
`fc El wr wkh xqltxh vroxwlrq L4 ri wkh krprjhql}hg sureohp
.L4 '
4?
cR
M`f El l
4?
cR
bL4 E( _%
M`Reo Etcb t R
s _%c
+6,
.0 $ .L4 1
; ] %
]
A
R3 2
A
A
? l b 0 m(0 m (0 c ( _% ' l s _%c
A
A
A
cR
=
0 5 `f Elc b E%*0 c
iru hyhu| lq `fcR Elc b E%*01 Wkh krprjhql}hg vroxwlrq L4 vdwlvhv wkh
krprjhql}hg sureohp
]
;]
A
kK
E(
'
c
(l
_%
s _%c
A
L4
? l
l
A
A
=
cR
L4 5 `f El c
;] G
H
R3 2
A
A
? t b E+ m1 n (1 m E1 n (1 c ( _+ ' fc
A
A
=
cR
+7,
1 5 `Reo Etc b c
cR Etc b1
iru hyhu| lq `Reo
Uhpdun 4 Wkh vroxwlrq 1 ri wkh orfdo sureohp +7, lv dovr wkh plqlpl}hu lq
orfdo plqlpl}dwlrq sureohp +6, dqg
K E1 c 1
R
M L (
zkhuh
]
L ' 5 u E(c @ G
Pruhryhu/ wkh plqlpxp lv dwwdlqhg iru
W '
]
*E3o
]
(
3
_%
3o
@ E%*E3o _%
_% ' f
@*E3o
+8,
o
3]
43o ]
*
E
o
3
C
D
n E% _%
@ E% m n E%m _%
@ E%
_%
3
]
'
*E3o
@ E%
3o
_%D
S'
@*E3o _%
mW mo @ _% '
]
3
]
o
S@*E3o @ _% C @*E3o _% n
@ _%D 4c
(
zkhuh lv d frqvwdqw1
Ohppd 6 Ohw bL4 eh ghqhg dv lq +6,1 Wkhq
bWL4 E1 '
]
U
t
?u
j MT
t
j _+ 'f
3^
b m1 n jm^ _+c
^
T ' j5u
3 ^
tc b
cR
iru doo jc 1 5 +? c
j ' b m1 n rmR32 E1 n r
+9,
+:,
Wkh \rxqj lqhtxdolw| +9, lpsolhv wkdw zh iru dq| phdvxudeoh ixqfwlrq j kdyh
wkdw
]
4?
cR
M`Reo Etcb
4?
cR
M`Reo Etcb
Wklv lpsolhv
bE+ m1 n (mR _+
R
+;,
Dfwxdoo| zh kdyh htxdolw| lq +;,1 Wklv idfw zrxog eh fohdu li zh frxog suryh
wkdw
]
bL4 E1
Ohw j eh ghqhg e|
j ' b m1 n (1 mR32 E1 n (1
E| +:, zh kdyh wkdw
]
+<,
dqg wkh htxdolw| lq +;, zrxog eh fohdu1 Ohw xv uvw vkrz wkdw j 5 T / l1h1
cR
t kj c (l _+ ' f iru doo 5 `Reo Etc b1 E| +<, dqg Uhpdun 4 zh kdyh wkdw
kj c (l _+ '
t
] G
t
mj m^ b3^ _+ '
m1 n (1 mR b _+ 4
+43,
6
k#c 1l
' tT 9
7
#
?u
U
t
j MT
j _+'# t
3^ ^ :
b mjm _+:
8
^
Ohw 8 G +? $ + eh ghqhg dv
]
8 E# '
?u
j MT
t
j _+'#
t
3^ ^
b mjm _+ ' ?u
^
U j MT
t
j _+ 'f
3^
b m# n jm^ _+
^
+44,
Erxqgv
Wkhruhp 7 Ohw bL4 eh ghqhg dv lq +6,1 Wkhq zh kdyh wkh xsshu erxqg
]
3R
kbl '
4?
cR
M`Reo Etcb
]
4?
M
' 4?
M f
'
R
]
kbl
_+
3R
Wkhruhp 8 Ohw bL4 eh ghqhg dv lq +6,1 Wkhq zh kdyh wkh orzhu erxqg
] G
H3R
]
bL4 E&e m&m
b*E3R
_+ _+3 _+n _+? c
R f
f
*E3R
'
b*E3R _+
L4 Ee
'
?u
t
U j MT
j _+ 'f
t
3^
b me n jm^ _+
^
<
3^
b m n j E+ c c +3 c +n c +? m^ _+
^
?u
j M7
'
?u
j M7 f
'
^
]
f
G
G 3^ H
b
m n j m^ _+ _+3 _+n _+?
^
H
3^ 3R
3^
1M
|e M
++
]
3^ ,
] G
H
m|m^
3 ^ 3 R
b
_+ _+3 _+n _+?
tT |
^
f
f
|M +
] G
H3R
]
'
b*E3R
_+ _+3 _+n _+?
R f
f
Vrph h{dpsohv
Lq wklv vhfwlrq zh zloo ghprqvwudwh wkh erxqgv lq wzr vhohfwhg h{dpsohv1 Wkh
h{dpsohv duh suhvhqwhg lq +2 iru vlpsolflw|1 Ohw xv uvw uhpdun wkdw zkhq
wkh xsshu dqg orzhu erxqgv duh htxdo zh nqrz wkh hhfwlyh hqhuj| ghqvlw|
ixqfwlrqdo h{dfwo|1 Iru lqvwdqfh/ wklv lv wkh fdvh zkhq b lv ri wkh w|sh
b E+ ' s E+ } E+2 c b E+ lv t 0shulrglf
Wkhq lw iroorzv iurp Wkhruhp 7 dqg Wkhruhp 8 wkdw
3R ]
s E+ *E3R _+
} E+2 _+2 c
R f
f
]
3R ]
bL4 Ee '
43
Zh qrz jlyh rqh h{dpsoh ri wklv vlwxdwlrq zkhuh wkh frqgxfwlylw| ghjhq0
hudwhv rq wkh xqlw fhoo erxqgdu|1 Zh qrwh wkdw lw lv hdv| wr pdnh wkh plvwdnh
wr eholhyh wkdw zh kdyh }hur frqgxfwlylw| lq rqh gluhfwlrq dqg lqqlwho| kljk
frqgxfwlylw| lq wkh rwkhu gluhfwlrq1 Krzhyhu/ dv zh vkrz ehorz/ wkh krprj0
hql}hg hqhuj| ghqvlw| ixqfwlrqdo lv qrq}hur dqg qlwh lq erwk gluhfwlrqv1
H{dpsoh 9 Frqvlghu wkh vshfldo fdvh zkhq R ' 2 dqg ohw b G +2 $ + eh
t 0shulrglf dqg ghqhg dv
*2
b E+ ' m+ E + m3*2 +
rq t 1
# s
#
$$3
]
3
2 2
3
bL4 Ee '
b E+ _+
's
g s
c
2 f
2
2
]
Z
#
$c
b E+ _+ '
bL4 Ee2 '
2 f
2g s
2
zkhuh g E lv wkh frpsohwh hoolswlf lqwhjudo ri wkh uvw nlqg1 Wklv phdqv wkdw
bL4 Ee ' fefeDc bL4 Ee2 ' fHe.2c
wkdw lv/ wkh hhfwlyh frqgxfwlylw| lq wkh +2 0gluhfwlrq lv rqo| derxw wzlfh dv
kljk dv wkh hhfwlyh frqgxfwlylw| lq wkh + 0gluhfwlrq1
Zh qrz frqvlghu rqh h{dpsoh zkhuh wkh xsshu dqg orzhu erxqgv duh
yhu| wljkw1 Wklv phdqv wkdw zh kdyh d jrrg h{solflw hvwlpdwh ri wkh hhfwlyh
hqhuj| ghqvlw| ixqfwlrqdo1 Wklv idfw fdq eh xvhg wr rewdlq huuru hvwlpdwhv
iru qxphulfdo frpsxwdwlrqv1 Zh ghprqvwudwh wklv e| frpsdulqj wkh erxqgv
zlwk qxphulfdo frpsxwdwlrqv grqh lq PDWODE xvlqj wkh IHPODE wrroer{1
H{dpsoh : Ohw
(o ' + 5 t G +
c
2 2
oc f o
2
;
A
A
A
?
A
A
A
=
c
+
2 2
o
k
c + 5 (o c
c + 5 t q(o c
44
c 2 k 2R 2
Iljxuh 4= Wklv slfwxuh vkrzv < xqlw fhoov iru hdfk ri wkh ydoxhv k ' *2c
k ' *2c k ' dqg k ' *2 Wkh udglxv lv o ' fe
E| v|pphwu|/ wkh krprjhql}hg hqhuj| ghqvlw| ixqfwlrqdo bL4 Ee ' bL4 Ee2 1
Ohw o ' fe dqg b3 / bn ghqrwh wkh orzhu dqg xsshu erxqgv/ uhvshfwlyho|1
E@ Wkh olqhdu fdvh/ R ' 2 G
Zh suhvhqw wkh uhvxowv urxqghg wr yh gljlwv1
k
bL4 Ee
*2 f.fe.
fSe.f
*2 fDSDb.
*2 fee.2
fbHb
*2 fDSb
45
b3
fS.e2D
fS2fDb
fDS2f
fe.b.
fH2f.
f..
bn
f.ef2
fSDe
fD.fH2
feeeH2
fef2He
f.f.H
Uhihuhqfhv
^4` Eudlghv/ D1> Oxnndvvhq/ G1= Uhlwhudwhg krprjhql}dwlrq ri lqwhjudo ixqf0
wlrqdov/ Pdwk1 Prg1 Phwk1 Dsso1 Vfl1/ y143/ +5333,/ 40581
^5` E|vwup/ M1> Hqjvwup/ M1> Zdoo/ S1= Uhlwhudwhg krprjhql}dwlrq
ri ghjhqhudwhg qrqolqhdu hoolswlf htxdwlrqv/ Uhvhdufk uhsruw/ Qr1 9/
LVVQ=473307336/ Ghsduwphqw ri Pdwkhpdwlfv/ Oxoh Xqlyhuvlw| ri Whfk0
qrorj|/ 5334/ vxeplwwhg1
^6` E|vwup/ M1> Khovlqj/ M1> Phlghoo/ D1= Vrph frpsxwdwlrqdo dvshfwv ri
lwhudwhg vwuxfwxuhv/ Frpsrvlwhv E= Hqjlqhhulqj/ y1 65/ 9/ +5334,/ 7;80
7<31
^7` Srqwh Fdvwdqhgd/ S1= Erxqgv dqg hvwlpdwhv iru wkh surshuwlhv ri qrq0
olqhdu khwhurjhqhrxv v|vwhpv/ Sklorv1 Wudqv1 Ur|1 Vrf1 Orqgrq Vhu1 D1/
Y1673/ +4<<5,/ 864089:1
^8` Srqwh Fdvwdqhgd/ S1= D qhz yduldwlrqdo sulqflsoh dqg lwv dssolfdwlrq
wr qrqolqhdu khwhurjhqhrxv v|vwhpv/ VLDP M1 Pdwk1/ Y185/ 465404674/
4<<51
46
^4;` Zdoo/ S1= Erxqgv dqg hvwlpdwhv rq wkh hhfwlyh surshuwlhv iru qrqolqhdu
frpsrvlwhv/ Dso1 Pdw1/ Y178/ +5333,/ 74<076:1
^4<` Zdoo/ S1= Rswlpdo erxqgv rq wkh hhfwlyh vkhdu prgxol iru vrph qrq0
olqhdu dqg uhlwhudwhg sureohpv/ Dfwd Vfl1 Pdwk1/ 98/ +5333,/ 88608991
48
www.elsevier.com/locate/compositesb
Abstract
We consider some computational aspects of effective properties for some multi-scale structures. In particular, we discuss iterated square
honeycombs and another type of square honeycombs containing up to 4000 small discs randomly distributed inside each square. We present
some numerical methods for estimating the effective conductivity with good control of the accuracy. q 2001 Elsevier Science Ltd. All rights
reserved.
Keywords: Homogenization
1. Introduction
By honeycombs, one usually means two-dimensional
two-component periodic structures where the interior part
consists of polygons (typically hexagons or rectangles).
Iterated honeycombs are, roughly speaking, `honeycombs
in honeycombs'. Several types of such structures (and also
some multi-dimensional generalizations) was studied theoretically by Lukkassen with respect to linear elastic and
thermal effective properties in Refs. [1720]. He found
some simple formulae for upper and lower bounds of the
corresponding effective parameters. These bounds happen
to converge to the same limit as the number of length scales
turns to innity, and it turns out that these limits are optimal.
Composite structures of this type are usually referred to as
optimal. Other well-known examples are the Hashin ellipsoidal structure and the multi-rank laminate structure (see
Ref. [14]). However, it is important to note that structures,
which have the same effective behavior often are different
with respect to properties such as local buckling resistance,
local and global strength, structural collapse, etc. From this
point of view, iterated honeycombs seem to be very interesting, especially because they possess certain suitable
symmetry properties (see Ref. [20]).
In this paper, we consider some computational aspects of
multi-scale structures of this type. In Sections 2 and 3, we
* Corresponding author.
E-mail address: am@hin.no (A. Meidell).
1359-8368/01/$ - see front matter q 2001 Elsevier Science Ltd. All rights reserved.
PII: S 1359-836 8(01)00033-6
486
R 2 as
2v
2x2
!2
)
dx ;
1;2
where Y 0; 12 ; Wper
Y is the space of Y-periodic functions of the usual Sobolev space W 1;2 Y: Moreover, using
the well-known property of complementary energy in twodimensions, see Ref. [14], p. 39, we get the following
equivalent variational formula:
(
!2
1
1 Z
1
2v
min
11
1;2
2x1
lm;k
v[Wper
Y uYu Y lm;k;1 x
2
!2 )
1
2v
1
dx :
lm;k;1 x 2x2
lm;h;h x lhx; h2 x; ; hm x;
487
2
l1
m;k 2 lm;k
2 :
l1
m;k 1 lm;k
that
l1;1 2 lm;k
lm;k
l
2 l~ m;k
d~ m;k 100 1;1
l~ m;k
lm;k ! lm;1
as k ! 1:
For iterated square honeycombs (Fig. 3), the approximation formula of Lukkassen (see Refs. [17,20]) reduces to
1
1
1
rm
12v
1
;
lm;1 2 lcon
lin 2 lcon v
1 1 v1=2m lcon v
dm;k 100
488
Fig. 6. Unit cell of square honeycomb containing 4096 disks. The effective
conductivity in the x-direction is estimated to 2.5392653.
489
Appendix A
The numerical values for the computations of the solid
lines in Fig. 4 are presented in Table A1.
In Table A2, we present the numerical values for the
computations of points in Fig. 4.
Table A1
v
l~ m;k
Max error a
rm;k (%)
d~ m;k (%)
m1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.25
0.2
0.1
0.05
0.05206404
0.1087817
0.1711508
0.2405497
0.3189800
0.4094063
0.5161171
0.5773503
0.6449768
0.8034062
0.8963494
0.920 10 25
0.175 10 24
0.213 10 24
0.291 10 24
0.372 10 24
0.486 10 24
0.500 10 24
0.600 10 24
0.810 10 24
0.628 10 24
0.654 10 24
0.18 10 21
0.16 10 21
0.12 10 21
0.12 10 21
0.12 10 21
0.12 10 21
0.97 10 22
0.10 10 21
0.13 10 21
0.78 10 22
0.73 10 22
1.09
2.14
3.11
3.93
4.50
4.68
4.33
3.92
3.36
1.84
0.94
m2
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.25
0.2
0.1
0.05
0.05236119
0.1100282
0.1740242
0.2456425
0.3265793
0.4191237
0.5264710
0.5870526
0.6533343
0.8070581
0.8975459
0.130 10 24
0.245 10 24
0.216 10 24
0.227 10 24
0.285 10 24
0.333 10 24
0.348 10 24
0.297 10 24
0.408 10 24
0.243 10 24
0.203 10 24
0.25 10 21
0.22 10 21
0.12 10 21
0.92 10 22
0.87 10 22
0.80 10 22
0.66 10 22
0.51 10 22
0.62 10 22
0.30 10 22
0.23 10 22
0.52
0.98
1.41
1.77
2.07
2.25
2.28
2.20
2.04
1.38
0.80
m3
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.25
0.2
0.1
0.05
0.05245739
0.1104148
0.1749115
0.2472525
0.3290854
0.4226275
0.5308423
0.5917019
0.6579456
0.8103420
0.8992316
0.111 10 24
0.255 10 24
0.241 10 24
0.258 10 24
0.273 10 24
0.281 10 24
0.303 10 24
0.263 10 24
0.292 10 24
0.206 10 24
0.125 10 24
0.21 10 21
0.23 10 21
0.14 10 21
0.11 10 21
0.83 10 22
0.66 10 22
0.57 10 22
0.44 10 22
0.44 10 22
0.25 10 22
0.14 10 22
0.33
0.63
0.89
1.11
1.29
1.41
1.44
1.40
1.33
0.97
0.62
2
l1
m;k 2 lm;k =2:
490
Table A2
m
Volume-fraction
0:812 0:6561
l~ m;k
NOS a
rm,k (%)
d~ m;k
0.200650
4 10 25
3.4919
2
2
2
2
2
2
2
2
2
2
3
3
3
4
2
3
4
5
6
7
8
9
10
1
2
3
1
2
4
9
16
25
36
49
64
81
100
1
16
81
1
64
0.201534
0.202145
0.202582
0.202892
0.203147
0.20333
0.20348
0.20358
0.20367
0.204436
0.202284
0.20322
0.205615
0.202945
1.6 10 24
1.6 10 24
3.7 10 24
2.1 10 24
2.6 10 24
6.6 10 24
5.7 10 24
6.3 10 24
6.0 10 24
2.9 10 25
3.7 10 24
6.1 10 24
2.0 10 25
6.3 10 24
3.0380
2.7265
2.5049
2.3483
2.2198
2.1278
2.0526
2.0024
1.9574
1.5753
2.6559
2.1831
0.9929
2.3216
References
[1] Allaire G, Briane M. Multiscale convergence and reiterated homogenization. Proc R Soc Edinburgh 1996;126A:297342.
[2] Avellaneda M. Iterated homogenization, differential effective
medium theory, and applications. Comm Pure Appl Math 1987;
40:80347.
[3] Avellaneda M, Cherkaev AV, Lurie KA, Milton GW. On the effective
conductivity of polycrystals and a three-dimensional phase-interchange inequality. J Appl Phys 1988;63(10):49895003.
[4] Avellaneda M, Cherkaev AV, Gibiansky LV, Milton GW, Rudelson
M. A complete characterization of the possible bulk and shear moduli
of planar polycrystals. J Mech Phys Solids 1996;44:1179218.
[5] Bensoussan A, Lions JL, Papanicolaou GC. Asymptotic analysis for
periodic structures. Amsterdam: North-Holland, 1978.
[6] Braides A, Lukkassen D. Reiterated homogenization of integral functionals. Math Mod Meth Appl Sci 2000;10(1):4771.
[7] Bystrom J, Jekabsons N, Varna J. An evaluation of different models
for prediction of elastic properties of woven composites. Compos
Engng, Part B 2000;31(1):720.
[8] Francfort GA, Murat F. Homogenization and optimal bounds inlinear
elasticity. Arch Rat Mech Anal 1986;94:16177.
[9] Cheng H, Greengard L. On the numerical evaluation of electrostatic
elds in dense random dispersion of cylinders. J Comput Phys 1997;
136:62939.
[10] Greengard L, Rokhlin V. A fast algorithm for particle simulations. J
Comput Phys 1987;73:325.
[11] Hashin Z, Shtrikman S. A variational approach to the theory of effective magnetic permeability of multi phase materials. J Appl Phys
1962;33:312531.
[12] Helsing J. Thin bridges in isotropic electrostatics. J Comput Phys
1996;127:14251.
[13] Helsing J. A high-order accurate algorithm for electrostatics of overlapping disks. J Stat Phys 1998;90:146173.
[14] Jikov VV, Kozlov SM, Oleinik OA. Homogenization of differential
operators and integral functionals. Berlin: Springer, 1994.
[15] Lions JL, Lukkassen D, Persson LE, Wall P. Reiterated homogenization of monotone operators. C R Acad Sci, Ser I 2000;330(8):67580.
[16] Lions JL, Lukkassen D, Persson LE, Wall P. Reiterated homogenization of nonlinear monotone operators. Chin Ann Math, Ser B 2001;
22:1.
[17] Lukkassen D. Formulae and bounds connected to optimal design and
[18]
[19]
[20]
[21]
[22]
[23]
[24]
[25]
[26]
[27]
[28]
[29]
homogenization of partial differential operators and integral functionals. PhD Thesis. Department of Mathematics, Tromso University,
Norway, 1996.
Lukkassen D. Bounds and homogenization of optimal reiterated
honeycombs. In: Hernandez S, Breddia CA, editors. Computer
aided optimum design of structures, vol. V. Southampton: Computational Mechanics Publications, 1997. p. 26776.
Lukkassen D. Some aspects of reiterated honeycombs. In: Mota
Soares CA, Freitas MJM, editors. Mechanics of composite materials
and structures, vol. III. Troia, Portugal: NATO ASI, 1998. p. 399
409.
Lukkassen D. A new reiterated structure with optimal macroscopic
behaviour. SIAM J Appl Math 1999;59(5):182542.
Meidell A. The out-of-plane shear modulus of two-component regular
honeycombs with arbitrary thickness. In: Mota Soares CA, Mota
Soares CM, Freitas MJM, editors. Mechanics of composite materials
and structures, vol. III. Troia, Portugal: NATO ASI, 1998. p. 36779.
Meidell A, Persson LE. Optimal design of rectangular honeycombs in
rectangular sandwich plates. Proc 6th Int Conf Compos Engng,
Orlando 1999:5678.
Meidell A, Wall P. Homogenization and design of structures
with optimal macroscopic behaviour. In: Hernandez S, Breddia CA,
editors. Computer aided optimum design of structures, vol. V.
Southampton: Computational Mechanics Publications, 1997. p. 393
402.
Metropolis, Rosenbluth AW, Rosenbluth MN, Teller AH, Teller E.
Equation of state calculations by fast computing machines. J Chem
Phys 1953;21:108792.
Milton GW. Modeling the properties of composites by laminates. In:
Ericksen JL, Kinderlehrer D, Kohn R, Lions J-L, editors. Homogenization and effective moduli of materials and media, vol. 1. Berlin:
Springer, 1986. p. 15074.
Milton GW. On characterizing the set of possible effective tensors of
composites: the variational method and the translation method.
Comm Pure Appl Math 1990;XLIII:63125.
Sigmund O. A new class of extremal composites. J Mech Phys Solids
2000;48(2):397428.
Wall P. Homogenization of some partial differential operators and
integral functionals. PhD Thesis. Department of Mathematics, Lulea
University of Technology, Lulea, Sweden, 1998.
Wall P. Optimal bounds on the effective shear moduli for some
nonlinear and reiterated problems. Acta Sci Math 2000;65:55366.
Devwudfw
Lqwurgxfwlrq
Lq wklv vhfwlrq zh jlyh vrph edvlf uhvxowv iurp wkh wkhru| ri krprjhql}d0
wlrq1 Ohw l eh d rshq erxqghg vxevhw ri +? / t wkh xqlw fxeh lq +? dqg
kc l wkh Hxfolghdq lqqhu surgxfw1 Ohw xv ghqh E% ' E%*0 c zkhuh
wkh frqgxfwlylw| pdwul{ E% ' E@ E% vdwlvhv @ ' @ c @ 5 u" El
dqg lv t 0shulrglf iru hyhu| c ' c c ? Frqvlghu wkh zhdno| irupxodwhg
vwdwlrqdu| khdw frqgxfwlrq sureohp
; ]
]
A
A
E% u c u _% '
s _%c ; 5 Mfc2 El c
?
l
l
+4,
A
A
=
5 Mfc2 El c
zkhuh s 5 u2 El lv wkh lqwhuqdo khdw vrxufh dqg E0 lv d vhtxhqfh ri srvlwlyh
uhdo qxpehuv frqyhujlqj wr }hur1 Vlqfh 0 lv d phdvxuh ri wkh vl}h ri wkh
shulrglflw| ri wkh pdwhuldo/ zh pd| h{shfw wkh lqkrprjhqhlw| wr ydqlvk lq wkh
olplw1 Wkh krprjhql}dwlrq phwkrg ghdov zlwk txhvwlrqv uhjduglqj zkhwkhu
wkh vhtxhqfh ri vroxwlrqv E frqyhujh lq vrph vhqvh wr dq hohphqw f dqg
lq wkdw fdvh/ zkhwkhu f wkhq lv wkh vroxwlrq ri d krprjhqhrxv sureohp/ wkdw
lv/ wkh vroxwlrq ri d sureohp zlwk d frqvwdqw frqgxfwlylw| pdwul{ 1 Wkh
dqvzhuv wr wkhvh txhvwlrqv duh frqwdlqhg lq wkh iroorzlqj wkhruhp=
Wkhruhp 4 Frqvlghu sureohp +4,1 Wkhq
$ f zhdno| lq Mfc2 El
dqg
?
E% u $ uf zhdno| lq u2 El c
e& '
E% Ee& n u& _%c
mt m t
zkhuh & lv wkh xqltxh vroxwlrq ri wkh fhoo sureohp
; ]
A
A
k E% Ee& n u& c ul _% ' fc ; 5 Mc2 Et c
?
t
A
A
= 5 M c2 Et
&
Khuh e& ghqrwhv wkh n=wk xqlw yhfwru dqg Mc2 Et lv wkh vxevhw ri M c2 Et
ri t 0shulrglf ixqfwlrqv zlwk phdq ydoxh }hur1 D surri ri wklv wkhruhp fdq
eh irxqg lq h1j1 ^4`1
Ohw xv qrz frqfhqwudwh rq sureohpv lq +2 Zh zulwh wkh hhfwlyh frq0
gxfwlylw| pdwul{ dv
K K2
'
K2 K2
Zlwk qr orvv ri jhqhudolw| zh zloo lq wklv sdshu dvvxph wkdw wkh hljhqyhfwruv
ri frlqflgh zlwk wkh vwdqgdug edvlv ie c e2 j ri +2 / wkdw lv/ K2 ' f +li qrw/ zh
fdq dozd|v urwdwh wkh frruglqdwh0v|vwhp,1 Wkhq wkh hhfwlyh frqgxfwlylwlhv lq
wkh % 0 dqg %2 0gluhfwlrqv duh htxlydohqwo| jlyhq e| wkh plqlpl}dwlrq sureohpv
]
K& '
4?
k E% Ee& n u c e& n ul _%
2
mt m MMTih
Et t
c
Vxssrvh wkdw wkh pdwul{ E% ' @ E% U srvvhvvhv d v|pphwu| ri wkh nlqg
@ E% c %2 ' @ E% c %2 ru @ E% c %2 ' @ E% c %2
iru hyhu| % ' E% c %2 Lq wklv fdvh lw lv srvvleoh wr suryh wkdw K2 ' f dqg
wkdw K& fdq eh irxqg e| hlwkhu ri wkh iroorzlqj h{suhvvlrqv
]
2
K& '
4?
@ E% me& n um _% c
2
mt m MMTih
Et t
c
'
4?
2
K&
mt m MMTih
Et
c
2
me, n um _% c
t @ E%
]
zkhuh e, lv ruwkrjrqdo wr e& Zh uhihu wr ^46` dqg ^48` iru wkhvh idfwv1
Wkh h{dfw ydoxh ri K& lv xqnqrzq iru prvw fdvhv1 Krzhyhu/ zh fdq rewdlq
xsshu dqg orzhu qxphulfdo hvwlpdwhv ri K& Lqghhg/ li T lv dq| Ilqlwh0Hohphqw
c2 Et dqg Kn dqg K3 duh wkh ydoxhv ghqhg e|
vxevsdfh ri MTih
&
&
]
2
n
K& '
@ E% me& n um _% c
4?
mt m MT
t
]
2
'
4?
me, n um _% c
mt m MT
K3
t @ E%
&
wkhq lw lv reylrxv wkdw
n
K3
& K& K&
3
Rqh fdq jhw wkh ydoxhv ri Kn
& dqg K& e| vlpsoh frpsxwdwlrqv zlwk vwdqgdug
IHP vriwzduh1 Zh zloo xvh wkh dssur{lpdwlrq
K3 n Kn
&
K& ' &
2
Kn
K3
&
&
0& '
2
2
D2
n
c
@2 b @2 b2
D E@2 @ D @2
2
D
n
n
c
b @ b2 @
D2 E@2 @ D2 @
+wkh jhqhudol}hg Kdvklq0Vkwulnpdq erxqgv, dqg
M'
@ @2
b @ D n @2 D2 ' c
@2 D n @ D2
7
+5,
+6,
+7,
2
A
H
1
H
Iljxuh 4= Wkh vr fdoohg J0forvxuh/ wkh vhw ri doo srvvleoh hhfwlyh frqgxfwly0
lwlhv1
+wkh Yrljw0Uhxvv lqhtxdolw|,/ zkhuh b duh wkh hljhqydoxhv ri wkh krprjhql}hg
pdwul{ Wkh vhw ri sdluv Eb c b2 vdwlvi|lqj erwk +5, dqg +6, jlyhv xv doo
srvvleoh hhfwlyh surshuwlhv wkdw fdq eh rewdlqhg iru jlyhq @ c @2 dqg D +vhh
Iljxuh 4,1 Rqh xvxdoo| uhihuv wr vwuxfwxuhv zklfk uhdol}h htxdolw| lq +5, ru
+6, dv xsshu rswlpdo dqg orzhu rswlpdo vwuxfwxuhv1
Qxphulfdo uhvxowv
814
Wdeoh 4=
Dqlvrwurs|
K 7|(
2e.S ffb fff ffb
2De ff.S
fff ff.
2DeS ffS
ffff fffb
2DeS ff2 fff fffD
Frpsdulqj
zlwk wkh
hhfwlyh frqgxfwlylw| iru wklv frpsrvlwh jlyhq lq ^6`
K ' 2DeS fffb c zh gudz wkh frqfoxvlrq wkdw iru wklv sduwlfxodu frpsrv0
lwh Se lqfoxvlrqv duh hqrxjk1 Krzhyhu/ zh vhh wkdw hyhq S lqfoxvlrqv jlyhv
d vdwlvidfwru| ydoxh ri wkh hhfwlyh frqgxfwlylw| iru rxu dqdo|vlv1 Zh qrwh
wkdw wkh vwdqgdug ghyldwlrqv ri wkh hhfwlyh frqgxfwlylw| dqg wkh phdvxuh
ri dqlvrwurs| ghfuhdvh pruh ru ohvv olnh wkh vtxduh urrw ri wkh qxpehu ri
lqfoxvlrqv/ zklfk lv lq djuhhphqw zlwk zkdw zh h{shfw iurp d Prqwh Fduor
surfhvv1
815
D2
f
f2
f
fe
fD
fS
f.
fH
Kh{1
.H2
b
SDfS
b.
2HSe
2b.D
.bf
ebeHH
Uhfw1
.H2
bD
SD2f
bHfS
2eDD
f.2
efS.
Wdeoh 5=
Dqlvrwurs|
K 7|(
H2 fffS
ffff fffe
ef ffH ffff fffH
Sb. ffe
fff ffe
2fSH ffDe fff2 ffH
2De ff.S
fff ff.
.f ffbH ffff ffH
beD ffHS
fff fff
DD ffS2
ffff fffD
Wkh uhvxowv iurp Wdeoh 5 duh sorwwhg lq Iljxuh 6 wrjhwkhu zlwk wkh orzhu
Kdvklq0Vkwulnpdq erxqg1 Zh qrwh wkdw kh{djrqdo glvwulexwlrq jlyhv wkh
orzhvw hhfwlyh frqgxfwlylw|/ qhdu wkh orzhu Kdvklq0Vkwulnpdq erxqg/ iro0
orzhg e| uhfwdqjxodu glvwulexwlrq +h{fhsw iru kljk yroxph iudfwlrqv, zkhuhdv
udqgrp glvwulexwlrq jlyhv wkh kljkhvw hhfwlyh frqgxfwlylw|1 Wklv lv gxh wr
wkh idfw wkdw lqglylgxdo lqfoxvlrqv duh iduwkhvw dsduw lq kh{djrqdo sdfnlqj/
frpsduhg wr d udqgrp frpsrvlwh zkhuh zh jhw shufrodwlrq hhfwv zkhq wkh
lqfoxvlrqv duh forvh0wr0wrxfklqj1 Krzhyhu/ iru kljk yroxph iudfwlrqv zh vhh
wkdw uhfwdqjxodu glvwulexwlrq jlyhv wkh kljkhvw hhfwlyh frqgxfwlylw|1 Lq wklv
fdvh/ zh jhw d kljkhu shufrodwlrq hhfw lq wkh uhfwdqjxodu pdwhuldo vlqfh wkh
lqfoxvlrqv lq wkh uhfwdqjxodu duud| duh pruh forvh0wr0wrxfklqj lq dq dyhudjh
;
vhqvh wkdq wkh lqfoxvlrqv lq wkh udqgrp pdwhuldo1 Wklv hhfw grhv qrw rffxu
lq wkh kh{djrqdo pdwhuldo vlqfh wkh kh{djrqdo sdfnlqj lv rswlpdo1
816
f
ff
fff
@2
f
ff
fff
Kh{1
2HSe
2b2SS
2bbS.
ebf
e.f
.f
Wdeoh 6=
Dqlvrwurs|
Uhfw1
K 7|(
2eDD 2De ff.S
fff ff.
2bbeH ef. f2S ffff ff
f.e DDD f2.D
fff2 ff.
eeff bS f2S
fff ffH
b2 2bD. ..
fff2 ffD
2DDb 2HD 22e fff ffe2
817
gluhfwlrq ri wkh plqru d{lv1 Wkh uvw froxpq vkrz wkh txrwlhqw @*K ehwzhhq
wkh pdmru dqg plqru d{hv zkhuhdv froxpqv 507 vkrz wkh hhfwlyh surshuwlhv
iru kh{djrqdo/ uhfwdqjxodu dqg udqgrp glvwulexwlrq1
@*K
f
2
D
2f
f
Df
ff
Wdeoh 7d=
Kh{1 Uhfw1
K 7|(
2HS 2eS 2De ff.S
2e.D 2eeb 2SDH ffHf
2DHe 2ebe 2He ffH
2.2 2DD. fe2 ffHD
2Hb 2SDf eD2 fDf
fSS 2.D. bH2 fDD
22D 2HSe eSfS fDD
@*K
f
2
D
2f
f
Df
ff
Wdeoh 7e=
Kh{1 Uhfw1
K2 7|(
2HS 2eS 2De ff.S
2f 2HS 2eD ffSS
22ee 2De 2eH ffSe
2HH 22f 22ee ffDH
2ee 22HS 2e ffSf
2H 22S 2fDe ffe.
2fe 22eb b.e ffb
Wkh ydoxhv lq wkh deryh wdeohv duh sorwwhg wrjhwkhu zlwk wkh J0forvxuh lq
Iljxuh 71 Zh qrwh wkdw udqgrp glvwulexwlrq ri hoolsvhv lv pxfk pruh hhfwlyh
wkdq shulrglf glvwulexwlrq wr jhw wr wkh h{wuhph srlqwv ri wkh J0forvxuh1
818
43
@*K
f
D
2f
f
ef
Wdeoh
K 7|(
2De ff.S
2D.e ffHf
2Seb ffD
2..H fHe
2HH2 f2
8=
Dqlvrwurs|
fff ff.
fff ff22
fff ff2.
fff ffee
fffH ffSe
Zh qrwh wkdw wkh hhfwlyh frqgxfwlylw| lqfuhdvhv dv wkh udwlr @*K lqfuhdvhv1
Wklv lv gxh wr wkh idfw wkdw wkh khdw x{ hdvlhu fdq qg orqj sdwkv ri kljko|
frqgxfwlqj pdwhuldo lq erwk gluhfwlrqv iru vwuxfwxuhv zlwk odujh udwlrv ri @*K
Glvfxvvlrq
Zh kdyh frpsduhg wkh hhfwlyh surshuwlhv iru frpsrvlwhv zlwk shulrglf dqg
udqgrp lqfoxvlrqv1 Lq jhqhudo/ zkhq wkh lqfoxvlrqv kdyh kljkhu frqgxfwlylw|
wkdq wkh frqwlqxrxv skdvh/ wkh hhfwlyh frqgxfwlylw| lv vljqlfdqwo| kljkhu iru
udqgrp glvwulexwlrqv wkdq iru shulrglf glvwulexwlrqv1 Khqfh lq wkh prghoolqj
ri frqgxfwlylw| sureohpv ri sk|vlfdo frpsrvlwhv/ wkh shulrglflw| dvvxpswlrq
lq krprjhql}dwlrq pljkw uhqghu ydoxhv ri wkh hhfwlyh surshuwlhv wkdw duh
44
Uhihuhqfhv
^4` D1 Ehqvrxvvdq/ M1O1 Olrqv/ dqg J1F1 Sdsdqlfrodrx1 Dv|pswrwlf Dqdo|vlv
iru Shulrglf Vwuxfwxuhv1 Qruwk Kroodqg/ Dpvwhugdp/ 4<:;1
^5` M1 E|vwup/ M1 Khovlqj dqg D1 Phlghoo1 Vrph frpsxwdwlrqdo dvshfwv ri
lwhudwhg vwuxfwxuhv1 Frpsrv1 Sduw E 0 Hqj1/ 65=9 +5334,/ 7;807<31
^6` K1 Fkhqj dqg O1 Juhhqjdug1 Rq wkh qxphulfdo hydoxdwlrq ri hohfwurvwdwlf
hogv lq ghqvh udqgrp glvshuvlrqv ri f|olqghuv1 M1 Frpsxw1 Sk|v1/ 469
+4<<:,/ 95<096<1
^7` K1 Fkhqj dqg O1 Juhhqjdug1 D phwkrg ri lpdjhv iru wkh hydoxdwlrq
ri hohfwurvwdwlf hogv lq v|vwhpv ri forvho| vsdfhg frqgxfwlqj f|olqghuv1
VLDP M1 Dsso1 Pdwk1/ 8;=4 +4<<;,/ 45504741
^8` G1 Flrudqhvfx dqg S1 Grqdwr1 Dq Lqwurgxfwlrq wr Krprjhql}dwlrq1 R{0
irug Ohfwxuh Vhulhv lq Pdwkhpdwlfv dqg lwv Dssolfdwlrqv 4:/ R{irug/
4<<<1
45
46
Abstract
A critical analysis of two simple and convenient analytical models for calculation of elastic properties of woven fabric composites is
performed. Predictions of these models are compared with results obtained using the method of reiterated homogenization and with
experimental data for plain weave glass fiber and carbon fiber polyester composites. Three different scales are identified in the analysis.
The first scale predictions, which are the tow properties (obtained by applying Hashins concentric cylinder model, the HalpinTsai
expressions or mathematical homogenization technique), are the most critical because they form the input information for woven composite
modeling. It appears that the uncertainty in this information causes larger differences in predictions than the deviations between models of
different degree of accuracy. This fact sets limits on the required accuracy of the models. Model comparisons reveal that the woven
composite model based on isostrain assumption in the composite plane and isostress assumption for out-of-plane components is in very
good agreement with both experimental data and the reiterated homogenization method, whereas the modified mosaic parallel model fails to
describe composites with large interlaced regions. q 2000 Elsevier Science Ltd. All rights reserved.
Keywords: B. Elasticity; Reiterated homogenization
1. Introduction
Although woven composites have no evident advantages
in the elastic properties versus laminated composites, their
relative usage have increased over the recent years. This
popularity comes from lower production costs (resin transfer molding), higher fracture toughness and better control
over the thermomechanical properties. These benefits are
related to the current textile technologies, which allows
production of fabrics with accurate, repeatable unit cells
(RUC). The elastic properties modeling can be considered
as the first step in the design of a new material.
By using the term elastic properties in the context of
woven composites, we are mainly thinking about the average elastic response of a large material region to load. We
are virtually replacing a part of the heterogeneous material
with a homogeneous one. Hence, in order to obtain the
elastic properties of woven composites, we need to formulate a homogenization problem over some representative
volume element (RVE) that is large enough to provide the
effective properties. This homogenization problem may
* Corresponding author.
E-mail address: johanb@sm.luth.se (J. Bystrom).
1359-8368/00/$ - see front matter q 2000 Elsevier Science Ltd. All rights reserved.
PII: S1359-836 8(99)00061-X
after the filling cured inside the bag during 30 min at 308C
temperature.
The complete post-curing, which continued for 4 h at
808C (as prescribed by the resin manufacturer), was only
done for the carbon fiber material. The composite specimens
with glass fiber yarns only had 30 min of post-curing at
808C, and hence the curing process was not completed. To
make the modeling correct, the elastic properties of polyester samples with the same thermal history as the woven
fabric composites were measured. The corresponding values
of Youngs moduli then differed, being 3.00 and 3.43 GPa
for partially and fully cured resins (called matrix A and
matrix B in the following), respectively. This difference is
taken into account in the further calculations.
The thicknesses of the glass fabric and carbon fabric
composite plates after curing were about 1.75 and
2.20 mm, respectively.
10
Table 1
Characteristics of the plain weave composites RUCs
Property
E-glass/Matrix A HTA/Matrix B
4.17
0.28
1.37
0.66
0.62
0.41
11.3
to be linked in parallel (as in a cross-ply laminate) or serially, which corresponds directly to the isostrain and isostress
assumptions, respectively. Knowing the properties of the
constituents, the stiffness of each such a ply can be calculated by using micro-mechanics. The isostrain and isostress
assumptions give upper and lower bounds for the modulus
of the construction. As it is shown in the original work [11],
the difference between the upper and lower bounds is high
and comparable to the absolute value of the modulus for
plain weave fabrics. Thus the mosaic model is not valid
for plain weave fabric based composites in its initial form.
However, there exists a modification of the mosaic model
suggested by Naik and Ganesh (called the modified mosaic
parallel model MMPM). Based on experimental data and
predictions of their other models, they claim that instead
of the yarn fiber volume fraction VfY ; the experimentally
determined fiber volume fraction of the overall composite
VfC ; should be used to calculate the properties of each unidirectional ply. Then the MMPM accuracy is improved if the
isostrain conditions for the in-plane and isostress conditions
for the out-of-plane properties are used.
3.2. Karayaka and Kurath model
Karayaka and Kurath [14] have proposed an approach
based on simple homogenization for modeling the elastic
properties and failure behavior of a textile composite. Their
approach leads to the determination of 3D stresses in the
interlacing region of the composite. The main features of the
elastic analysis are described below. The representative
volume element of the woven composite is homogenized
as a combination of unidirectional and interlaced regions.
The 3D unit cell is considered to be assembled from idealized
11
l
C11
6
6 l
6 C21
6
6 l
6 C31
6
6
6 0
>
>
>
6
> tyz >
>
>
>
6
>
>
6
>
>
>
txz >
6 0
>
>
>
>
4
>
>
:
;
txy
0
l
C12
l
C13
l
C22
l
C23
l
C32
l
C33
l
C44
l
C55
38
9
e
>
> xx >
>
7>
>
>
7>
>
e
>
>
0 7>
yy
>
>
7>
>
>
>
7>
< ezz >
=
0 7
7
;
7
> gyz >
>
0 7
7>
>
>
>
>
7>
>
7>
>
>
0 7
> gxz >
>
>
5>
>
>
:
;
l
gxy
C66
1
0
8
9 2
sXX >
C11
>
>
>
>
>
>
> 6
>
>
6 C21
sYY >
>
6
>
>
>
>
6
>
>
>
>
< sZZ = 6
6 C31
6
6
>
>
6 C41
>
tYZ >
>
>
6
>
>
>
>
6
>
>
6
>
>
>
> tXZ >
> 4 C51
>
>
:
;
tXY
C61
C12
C13
C14
C15
C22
C23
C24
C25
C32
C33
C34
C35
C42
C43
C44
C45
C52
C53
C54
C55
C62
C63
C64
C65
9
38
C16 > eXX >
>
>
>
7>
>
>
>
>
C26 7
e
>
YY >
7>
>
>
7>
>
>
>
7
<
=
C36 7 eZZ >
7
:
7>
>
C46 7
gYZ >
>
>
7>
>
>
>
7>
>
>
>
C56 7
g
>
>
XZ
5>
>
>
>
>
:
;
C66
gXY
2
12
N
X
fk C1 2 C2 C421 C3 k ;
k1
C2p
N
X
N
X
fk C2 C421 k ;
N
X
s Ce;
fk C421 k ;
10
fk C421 C3 k ;
11
k1
C4p
k1
C3p
4. Reiterated homogenization
k1
and fk is the volume fraction of the kth sub-cell in the representative unit cell.
By solving the system of Eq. (7), we obtain the relation
between the average stresses and average strains as
#(
(
) " p
)
s in
e in
C1 1 C2p C3p21 C4p C2p C3p21
s out
e out
C3p21 C4p
C3p21
(
)
e in
:
12
Q
e out
Since the matrix Q in Eq. (12) is the stiffness matrix of the
homogenized composite, the in-plane elastic constants are
EX 1=S11 ;
EY 1=S22 ;
GXY 1=S66 ;
13
GYZ 1=S44 ;
GXZ 1=S55 ;
14
15
1
2
7u 1 7uT
13
Table 2
Measured in-plane properties of the plain weave composite
Property
E-glass/matrix A
HTA/Matrix B
26.3 ^ 2
0.14 ^ 0.01
4.8 ^ 0.3
4.5 ^ 0.3
46.5 ^ 2
0.05 ^ 0.009
4.2 ^ 0.3
4.0 ^ 0.3
1.
2.
3.
4.
5.
a
b
18
b
with the boundary conditions hrs
i dir ys : Here, Cy is the Z
cell homogenized tensor given by
1 Z
b
Cy; z 1 Cy; zez Vz dz;
19
Cy
uZu Z
where Vz Vzrs are the Z-periodic weak solutions of the Z
cell problem
7z Cy; zez z 1 Vz 0;
20
zirs
Property
E-glass/Matrix A HTA/Matrix B
72.4
72.4
29.8
0.22
0.22
2.54
"
GXY m n
2 2
n45
m4
n4
2n
XY
1
1
2 m4 1 n4 1 XY
45
EX
EY
EX
EX
#21
;
22
EX45
n45
XY
and
are the elastic properties of the (^45)
where
specimens, m2 cos2 u 1=2 and n2 sin2 u 1=2: From
Table 2, shear modulus values obtained with different data
reduction procedures differ by 8%. This difference may
correspond to the overall accuracy of the measurements.
A possible source of this may be the natural deviations in
specimen properties. Also, the loading curve nonlinearities
of the (^45) specimens (softening) and the HTA carbon/
Matrix B (0,90) specimens (fiber stiffening) are open for
discussion.
5.2. Input data for modeling
Table 3
Fiber properties
238
40 a
22 b
0.20
0.25 b
1.77
14
Table 4
Measured polyester NesteS910-4138 matrix properties
Table 6
Tow properties; results of different models
Property
E-glass/Matrix A
HTA/Matrix B
0.5
3.0 ^ 0.05
0.38 ^ 0.02
4
3.4 ^ 0.04
0.36 ^ 0.02
Property
MH
Hashin
HalpinTsai
149
11.5
0.25
0.42
4.05
149
10.0
0.25
0.54
4.38
149
13.1
0.26
0.30
5.94
ET
21 1 nTT
Youngs modulus EX
EY (GPa)
Table 5
Tow properties; results of different models
E-glass/Matrix A, VfY 0:66
Property
MH
Hashin
HalpinTsai
48.6
13.6
0.27
0.25
4.41
48.6
11.0
0.27
0.26
4.53
48.6
15.6
0.27
0.27
6.25
Poissons ratio n XY
Tow model
MH
Hashin
HalpinTsai
MH
Hashin
HalpinTsai
MH
Hashin
HalpinTsai
Homogenization
RH
KKM
MMPMa
26.5
27.4
28.0
26.2
28.4
0.12
0.11
0.14
4.1
3.7
5.8
27.0
30.0
0.11
0.10
0.13
3.6
3.8
5.3
0.12
3.9
15
Table 8
Predicted in-plane properties of the HTA carbon/Matrix B woven composite
Property
Youngs modulus EX
EY (GPa)
Poissons ratio n XY
Tow model
MH
Hashin
HalpinTsai
MH
Hashin
HalpinTsai
MH
Hashin
HalpinTsai
Homogenization
RH
KKM
MMPMa
45.5
44.3
53.7
43.9
45.2
0.047
0.044
0.052
3.1
3.3
4.3
53.0
53.9
0.039
0.036
0.045
2.5
2.7
3.4
0.052
3.0
Table 9
Predicted out-of-plane properties of the E-glass/Matrix A woven composite
Table 10
Predicted out-of-plane properties of the HTA carbon/Matrix B woven
composite
Property
Property
Tow model
Homogenization
RH
KKM MMPMa
MH
12.4 12.7 12.5
Hashin
11.9 12.0
HalpinTsai
13.6 13.5
MH
0.39 0.39 0.40
Hashin
0.49 0.49
HalpinTsai
0.31 0.29
MH
3.8
4.3
3.9
Hashin
HalpinTsai
Tow model
3.7
5.5
Homogenization
RH
2.9
5.2
a
KKM MMPMa
MH
9.2
Hashin
HalpinTsai
MH
0.43
Hashin
HalpinTsai
MH
2.7
8.7
8.5
8.9
0.47
0.51
0.41
2.8
9.1
9.1
8.8
0.44
0.49
0.34
2.5
Hashin
HalpinTsai
2.6
3.1
2.1
3.1
16
6. Conclusions
1. The applicability of approximate analytical models for
elastic properties determination of woven composites is
analyzed comparing with results obtained using the reiterated homogenization method and comparing with test
data. Calculations are performed on several scales: one
on the fiber scale to obtain tow properties and one on the
RUC scale to determine the macroscopic elastic properties
of the woven composite.
2. Tow properties are obtained using the homogenization
method as well as Hashins concentric cylinder model
and the HalpinTsai expressions.
3. The MMPM by Naik and Ganesh, KKM by Karayaka
and Kurath and RH are used to obtain macro-properties.
4. Two plain weave fabric reinforced polyester matrix
composites (glass fiber and carbon fiber) are used in
order to create experimental data for evaluation of the
models.
Acknowledgements
We want to thank Professor Lars-Erik Persson, Department of Mathematics, Lulea University of Technology,
Sweden, for generous advises and fruitful discussions
concerning questions connected to this paper. Moreover,
we thank the Swedish Research Council for Engineering
Sciences (grant TFR 96-422) for financial support.
27Ce eue f in V;
ue 0 on G1 and C e eue n t on G2 ;
A1
1
2
7u 1 7uT :
A3
ea u
1
2
i T
a x; y; z;
7a u 1 7a u ;
Lemma A1. Let Fi, i 1; 2; 3 be square integrable functions over A and consider the boundary value problem
ei ex u
e1 ey u0 1 ez u1 ;
i21
1 ey u
1 ez u ;
17
A1 F F; F A-periodic in a:
i 2; 3; 4;
A4
si Ce y; zei :
Here and from now on, the product between the fourthorder tensor C Cijkl and the second-order tensor e
ekl should be interpreted as
1 R
Fda
1. An A-periodic solution exists if and only if
uAu A
0;
2. If an A-periodic solution exists, then it is unique up to an
additive constant (with respect to a) vector c.
Proof. See for instance the book by Persson et al. [4].
Clearly Eq. (A7) has one solution u0 0: Thus by the
lemma it follows that
u0 x; y; z u~ 0 x; y:
A12
~ 0 x; yrs 1 u~ 1 x; y;
u1 x; y; z Vrs
z zey u
7a Cei
2
C e :
2aj ijkl kl
where Vz z Vrs
z z is determined by the Z cell problems
2Cijrs
;
2zj
By putting Eqs. (A3) and (A4) into Eq. (A1) and using
A1 Vrs
z i
7 7x 1 e21 7y 1 e22 7z ;
23
22
21
e A1 1 e A2 1 e A3 1 e A4 1 A5 u
A6
A5 27x Cex :
A7
0 A1 u1 1 A2 u0 ;
A8
0 A1 u2 1 A2 u1 1 A3 u0 ;
A9
0 A1 u3 1 A2 u2 1 A3 u1 1 A4 u0 ;
f A1 u
1 A2 u
A15
uZu Z
f;
Vz is Z-periodic;
A14
1 eu
1 e2 u2 1
A1 27z Cez ;
Vrs
z z are Z-periodic:
A1 z 1 Vz 0;
A13
1 A3 u
1 A4 u
A10
0
1 A5 u :
A11
Now
Z
Z
A2 u1 dz 2 7z Cey u1 1 7y Cez u1 dz
Z
27y
Z
Z
~ 0 rs
Cez Vrs
z dz ey u
and
Z
Z
A3 u0 dz 2 7z Cex u0 1 7y Cey u0 dz
Z
27y
Z
Z
C dz ey u~ 0
18
a1 u~ 0 0;
27y
A18
A19
~ 1 x; y u~ 1 x; y:
u1 x; y; z Vrs
z zey uxrs 1 u
A1 u2 2A3 u0 2 A2 u1
7z Cex ux 1 ey u~ 1 x; y
A20
A21
A22
A2 u
dz 2
A23
27y
Z
Z
Z
Z
1
ex uxrs
2
2yl
2yk
1
d d 1 dlr dsk ex uxrs ex uxkl :
2 kr sl
7z Cex u1 1 7y Cey u1 dz
A1 u4 1 A2 u3 1 A3 u2 1 A4 u1
1 A5 u0 dy dz
ZZ
Cey u~ 1 x; y dz ;
A4 u0 dz 27y
A24
7z Cey u 1 7y Cez u dz
Y Z
f dy dz:
A27
and
Z
C 1 Cez Vrs
dz
e
u
z
x
Z
~ 1 x; yrs dz ;
Cez Vrs
27y
z ex ux 1 ey u
A3 u1 dz 2
Z
~~ 1 x:
u~ 1 Wrs
h ex urs 1 u
1
7y
uZu
a1 h 1 Wn 0;
Now
Z
7z Cex ux 1 7z Cey u~ 1 x; y
u x; y; z
Z
Cey u~ 1 x; y dz 1 27y Cex ux dz
Z
1
~
C 1 Cez Vrs
dz
e
7y
z
y 1 :
uZu
Z
Vrs
z zex u
Z
0;
and thus
~ 1 x; yrs dz
Cez Vrs
z ex ux 1 ey u
or by rearranging
u0 x; y; z u~ 0 x; y ux;
2 7y
Z
Z
Cex ux dz
ZZ
Y Z
A1 u4 dy dz
ZZ
Y Z
A2 u3 dy dz 0:
Y Z
1 ey u~ 1 rs dy dz;
ZZ
Y Z
ZZ
Y Z
A4 u1 dy dz 27x
A5 u0 dy dz 27x
ZZ
Y Z
ZZ
Y Z
Cex u dydz:
2 7x
ZZ
Y Z
Cey u~ 1 dy dz 2 7x
ZZ
Y Z
Cey u~ 1 dy dz;
Cex u dy dz
19
1 ZZ
rs
Cijkl 1 Cijmn ez Vkl
z mn 1 ez Vz mn
uZuuYu
Y Z
kl
ey Wkl
h rs 1 ey Wh mn dydz:
(A28)
uYuuZukflYZ :
By inserting the expression (A26) for u~ 1 we get
ZZ
rs
kl
Cijkl 1 Cijmn ez Vkl
2
z mn 1 ez Vz mn ey Wh rs
Y Z
1 ey Wkl
h mn dy dz
2
e ukl
2xj x
uYuuZukfi lYZ :
This can be written
x ex u kflYZ ;
2C7
where
rs
kl
C ijkl kCijkl 1 Cijmn ez Vkl
z mn 1 ez Vz mn ey Wh rs
1 ey Wkl
h mn lYZ :
Thus by comparison with the desired result (Eq. (16)), we
see that we have an expression for the overall homogenized
tensor C by Eq. (16) and we can also interpret the right-hand
side term g as
g kflYZ :
On the other hand, the solution of the Z cell problem (Eq.
A14) yields the Z homogenized tensor C^ by Eq. (A16)
1 Z
^
Cy; z 1 Cy; zez Vz dz;
Cy
uZu Z
or in tensorial formulation
1 Z
Cijkl 1 Cijmn ez Vkl
C^ ijkl
z mn dz:
uZu Z
Analogously, we can compute the Y homogenized tensor
References
[1] Bensoussan A, Lions JL, Papanicolaou G. Asymptotic analysis for
periodic structures, Amsterdam: North Holland, 1978.
[2] Braides A, Defranceschi A. Homogenization of multiple integrals,
Oxford: Oxford University Press, 1998.
[3] Jikov VV, Kozlov SM, Oleinik OA. Homogenization of differential
operators and integral functionals, Berlin: Springer, 1994.
[4] Persson L-E, Persson L, Svanstedt N, Wyller J. The homogenization
method: an introduction, Lund, Sweden: Studentlitteratur, 1993.
[5] Bystrom J, Jekabsons N, Persson L-E, Varna J. Using reiterated
homogenization for stiffness computation of woven composites.
Proceedings of ICCE/5, Las Vegas, 1998. p. 1334.
[6] Dasgupta A, Bhandarkar SM. Effective thermomechanical behavior
of plain weave fabric-reinforced composites using homogenization
theory. J Engng Mater Technol 1994;116:99105.
[7] Cox BN, Flanagan G. Handbook of analytical methods for textile
composites, NASA CR 4570, NASA Langley Research Center, Virginia, USA, 1997.
[8] Chou TW, Yang JM, Ma CL. Fiber inclination model of three dimensional textile structural composites. J Compos Mater 1986;23:472
84.
[9] Whitney T, Chou TW. Modeling of 3D angle-interlock textile structural composites. J Compos Mater 1989;23:890911.
[10] Ishikawa T. Anti-symmetric elastic properties of composite plates of
satin weave cloth. Fiber Sci Tech 1981;15:12745.
[11] Ishikawa T, Chou TW. Elastic behavior of woven hybrid materials. J
Compos Mater 1982;16:219.
[12] Ishikawa T, Chou TW. One-dimensional micromechanical analysis of
woven fabric composites. AIAA J 1983;21:171421.
[13] Ishikawa T, Chou TW. Stiffness and strength behavior of woven
fabric composites. J Mater Sci 1982;17:321120.
[14] Karayaka M, Kurath P. Deformation and failure behavior of woven
composite laminates. J Engng Mater Technol 1994;1160:13642.
[15] Naik NK, Ganesh VK. Failure behavior of plain weave fabric laminates under on-axis uniaxial tensile loading. II. Analytical predictions. J Compos Mater 1996;30:1779821.
[16] Agarwal BD, Broutman LJ. Analysis and performance of fiber
composites, 2. New York: Wiley, 1990.
[17] Hashin Z, Rosen BW. The elastic moduli of fiber-reinforced materials. J Appl Mech 1964;00:22332.
[18] Marrey RV, Sankar BV. Micromechanical models for textile
20
Qrwdwlrq
UXF
Lqwurgxfwlrq
lb
900
Z
L
Y
Z
C
Iljxuh 5= Vwdfnlqj rughu ri sodlq zhdyh ideulfv= @ lq0skdvh/ K rxw0ri0skdvh/
S udqgrp +pruh uhdolvwlf,1
dqg pxowl0od|huhg zryhq frpsrvlwhv h{shulphqwdoo| dqg frpsduh lw wr wkhr0
uhwlfdo suhglfwlrqv dqg wr vkrz wkh pdlq plfurphfkdqlfdo phfkdqlvpv zklfk
fdxvh wklv glhuhqfh1
700
600
600
500
500
400
Stress (MPa)
Stress (MPa)
700
Ex=31 GPa
300
200
100
400
Ex=50 GPa
300
200
100
0
0
0.2
0.4
0.6
0.8
1.2
Strain (%)
0
0
0.2
0.4
0.6
0.8
1.2
Strain (%)
6
614
Phfkdqlvpv
Pxowl0od|huhg frpsrvlwhv
-0.3
-0.25
-0.25
-0.2
Y-Strain (%)
Y-Strain (%)
-0.3
xy = 0.26
-0.15
-0.1
-0.05
-0.2
-0.15
xy = 0.049
-0.1
-0.05
0
0
0.2
0.4
0.6
0.8
1.2
X-Strain (%)
0.2
1.2
Iljxuh 7= f0vwudlq +ordg gluhfwlrq, 2 t 0vwudlq fxuyhv iru F2XS zryhq frp0
srvlwhv/ uhvxowv ri whqvloh whvw= @ frpsrvlwh frqwdlqlqj rqh vlqjoh ideulf od|hu>
K frpsrvlwh frqwdlqlqj ; ideulf od|huv1
surfhgxuh> iru lq0sodqh fkdudfwhulvwlfv wkh dvvxpswlrq ri lvrvwudlqv lv khuh
xvhg/ zkhuhdv iru rxw0ri0sodqh fkdudfwhulvwlfv wkh dvvxpswlrq ri lvrvwuhvvhv lv
xvhg/ vhh Iljxuh 81 Ohw xv orrn rq wkh lvrvwudlq frqglwlrqv1 Wkhvh frqglwlrqv
edvlfdoo| vd|v wkdw wkh dyhudjh lq0sodqh vwudlqv lq doo vxe0fhoov +vhh Iljxuh 8,
duh htxdo=
E
E2
E
Ee
ED
ES
E.
+4,
0 ' 0 ' 0 ' 0 e ' 0 ' 0 ' 0 c
zkhuh ' i%c +j( ' i%c +j1 Wklv lv reylrxvo| zurqj li zh frqvlghu vlq0
joh od|hu frpsrvlwhv vlqfh wkh yroxphv 4/ 7/ : lq Iljxuh 8 xvxdoo| kdyh pxfk
orzhu .0prgxol frpsduhg wr wkh .0prgxol ri wkh furvv0solhv +5.6, dqg +8.9,1
Khqfh wklv prgho grhv qrw reh| joredo frqvhuydwlrq ri lqwhjudo irufh ryhu duhd
shushqglfxodu wr wkh ordg1 Krzhyhu/ wklv lv qh zlwk pxowl0od|huhg frpsrvlwhv
zlwk udqgrpo| vkliwhg od|huv> wkh dyhudjh ri wkh irufh ryhu wkh t ~0vhfwlrq ri
vhyhudo od|huv uhgxfh wkh ghshqghqf| rq wkh vhfwlrq*v f0frruglqdwh zkhq wkh
qxpehu ri udqgrpo| vkliwhg od|huv lqfuhdvhv1 Pruhryhu/ frpphufldo ideulfv
xvxdoo| kdyh dw |duqv zlwk kljk dvshfw udwlr u*|L / zklfk hqvxuh vkruw
vkhdu odj }rqhv hyhq iru orz vkhdu prgxol ri |duqv dv lq wkh fdvh ri fdu0
erq ehu uhlqirufhphqwv1 Wklv jlyhv wkh frqglwlrq iru orfdo lq0sodqh vwudlq
frqvhuydwlrq1
Wkh h{lvwhqfh ri qhljkerulqj od|huv jlyhv dgglwlrqdo frqvwudlqv lq wkh ~0
gluhfwlrq1 Wklv ohdgv wr vrph nlqg ri vlplodulw| ehwzhhq pxowl0od|huhg frp0
srvlwhv zlwk htxlydohqw +lq wkh vhqvh ri ehu frqwhqw, odplqdwhg furvv0so|
frpsrvlwhv ohdglqj wr yhu| orz ydoxhv ri Srlvvrq*v udwlr1 Olnh odplqdwhv/
:
2
3
5
6
B
Iljxuh 8= Wkh lvrvwudlq frqglwlrq= @ vhfwlrq ri sodlq zhdyh UXF> K lvrvwudlq
frqglwlrqv vwdwh wkdw wkh dyhudjh 0%% c 0++ dqg 0%+ lq hdfk vxe0fhoo pxvw eh
htxdo iru doo vxe0fhoov +40:,1
pxowl0od|huhg frpsrvlwhv kdyh doprvw olqhdu vwuhvv0vwudlq uhodwlrqvkls/ vhh
Iljxuh 6e dqg Iljxuh 7e1
Sdshu ^7` frqwdlqv d pruh ghwdlohg dqdo|vlv dv zhoo dv qxphulf h{dpsohv
uhodwhg wr wkh hydoxdwlrq ri glhuhqw prghov iru sduwlfxodu pxowl0od|huhg frp0
srvlwhv1
615
Iru wkh lghdo +lq wkh phdqlqj ri ghyldwlrqv ri wkh vkdsh ri UXFv, vlqjoh
od|hu frpsrvlwh/ wkh UXF lv wkh vdph dv wkh UYH1 Dv d frqvhtxhqfh/ IHP
fdofxodwlrqv zlwk vlpsoh erxqgdu| frqglwlrqv pd| vxffhvvixoo| eh xvhg wr
rewdlq dq h{dfw vwlqhvv pdwul{1
Wkh vwdwhphqw deryh grhv qrw phdq wkdw wkh vlpsoh dssur{lpdwh dqdo|w0
lfdo prghov duh xvhohvv1 Lq rxu fdvh dq dqdo|wlf prgho vhuyhv dv wkh pdlq wrro
wr vwxg| wkh pdlq phfkdqlvpv fdxvlqj wkh qrq0olqhdu ehkdylru revhuyhg iru
vlqjoh0od|hu frpsrvlwhv1
Wkh prgho phqwlrqhg deryh lv d uhvxow ri wkh hyroxwlrq ri d prgho iru
fhudplfv frpsrvlwhv jlyhq lq ^<`1 Wkh prgho lv hdv| wr prgli| iru frpsoh{
ordg frqglwlrqv dqg lw jlyhv dq h{suhvvlrq ri wkh wdqjhqw prgxoxv lq d forvhg
;
+5,
+6,
zkhuh wkh lqwhuqdo yduldeoh @Ef ' @f f lv zhdyh jhrphwu| ghshqghqw dqg
pd| eh dvvxphg wr eh d olqhdu ixqfwlrq ri wkh dpsolwxgh f ri wkh zhdyh zdyh1
Iru vlqh vkdshg lqfolqdwlrq ri wkh wrzv +Iljxuh <, zh kdyh @f ' Z2 *2b1 Wkh
lqwhuqdo yduldeoh lv wkh udwlr ehwzhhq lq0 dqg rxw0ri0sodqh glvsodfhphqwv
iru *e ri wkh UXF1 Wkh ydoxh ri fruuhvsrqgv wr wkh plqlpxp ri hodvwlf
hqhuj| vwruhg lq wkh UXF dqg lv d ixqfwlrq ri @Ef 1 Pruhryhu/ lv dovr
ordg0frqglwlrq ghshqghqw1 Iru d xqld{ldo ordg
%
q
E@Ef ' @Ef @ Ef n 2
k
2
&3
+7,
Fkhfn Dsshqgl{ D iru wkh hqhujhwlf frqvwdqwv k dqg q +4<,/ +53, dv zhoo dv
iru wkh ghulydwlrq ri +5,/ +6, dqg +7,1 Wkh irupxod iru prgxoxv fruuhfwlrq .R
gxh wr qlwh prgxoxv ri pdwul{ lqfoxvlrqv lv jlyhq e| +66, dqg +67,1
Gxulqj wkh whqvloh whvw wkh dpsolwxgh f ri wkh zdyh fkdqjhv dqg wkh ordg0
ehdulqj wrzv ehfrphv vwudljkwhu/ khqfh iurp +5, dqg +7, iroorzv dq lqfuhdvh
<
_
b
' 7"%%
e
|L *2 E
+9,
Wkh ghqlwlrq ri wdqjhqw prgxoxv wrjhwkhu zlwk +5, dqg +9, ohdgv wr
e% '
e ] f E7"%% .% E
j %%
] 7"%%
'
.% Ef E" _"
_ '
"%%
b"%% f
E
"%% f
+:,
Lqwhjudwlrq ri +:, wrjhwkhu zlwk +9, iru f jlyh xv wkh vhfdqw prgxoxv e% /
zklfk doorzv xv wr uhfrqvwuxfw wkh ordg fxuyh1 Lqwhjudwlrq ri +9, dqg +:, pd|
eh grqh qxphulfdoo| ru dqdo|wlfdoo|1 Vlqfh wkh dqdo|wlf lqwhjudo +9, frqwdlqv
erwk f dqg *?Ef / d forvhg irup h{suhvvlrq ri f E7"%% grhv qrw h{lvw/ vr zh
kdyh wr xvh qxphulfdo lqwhjudwlrq1
616
Iru d ydolgdwlrq ri wkh prgho ghvfulehg deryh wkh uhvxowv iurp Uhlwhudwhg
Pdwkhpdwlfdo Krprjhql}dwlrq +UPK, zhuh xvhg1 Wkh pdlq frqfhswv dqg
lghdv ri UPK duh ghvfulehg lq Dsshqgl{ E1 Vlqfh UPK lqyroyhv 6G IHP
fdofxodwlrqv/ wkh zhdyh jhrphwu| kdv ehhq vlpsolhg1 D furvv0vhfwlrq ri wkh
vlpsolhg zhdyh lv gudzq lq Iljxuh 91 Wkh pdlq glhuhqfh/ dv rqh pd| qrwlfh/
lv wkh vkdsh ri wkh |duq lqfolqdwlrq1 Wkh |duq xvhg iru wkh 6G UPK prgho
pd| eh dvvhpeohg iurp uhfwdqjxodu eduv e| nhhslqj wkh ryhudoo ehu frqwhqw
frqvwdqw1 Wklv fdxvhv kljkhu ydoxhv ri wkh lqfolqdwlrq dqjoh w frpsduhg wr
wkh vlqh plgsodqh uhsuhvhqwdwlrq/ vhh Iljxuh <1 Dv d uhvxow/ wkh hqhujhwlf
43
htow
htow
2lb
Dqdo|wlf vlqh
Df
fff.S ffH
2
IHP vlqh
e.
fff.f ffS.
IHP vlpsolhg .
fffb. ffbe
Iru kljkhu dffxudf|/ ydoxhv ri k/ q dqg @f duh fdofxodwhg xvlqj 5G IHP
vlpxodwlrqv zlwk erxqgdu| frqglwlrqv +49, dqg +4:,/ vhh Wdeoh 51 Wkh wdeoh
dovr frqwdlqv erwk IHP dqg dqdo|wlf ydoxhv iru wkh vlqh vkdshg ehdp/ odwhu
xvhg iru wkh uhdo frpsrvlwh1 Iurp wkh wdeoh zh vhh wkdw zh kdyh orzhu ydoxhv
ri k dqg kljkhu ydoxhv ri @f lq wkh fdvh ri wkh ehdp iurp Iljxuh 9 frpsduhg
wr wkh ehdp lq Iljxuh <1 Wklv pd| eh h{sodlqhg e| orqjhu plgsodqh ohqjwk
ri rxu vlpsolhg ehdp/ vlqfh hyhq li lw lv frqvwudlqhg lq wkh nqrw srlqwv iru
ordglqj lq Prgh 4/ wkh ehdp pd| vwloo jdlq hqhujhwlfdoo| e| mxvw ehfrplqj
vwudljkwhu dqg qrw e| horqjdwlrq ri lwv plgsodqh1
Wkh ordg frqglwlrqv dovr glhu1 Lq rughu wr xvh wkh UPK phwkrg prvw
hhfwlyho|/ lw lv suhihudeoh wr dsso| wkh lq0sodqh ordg lq wkh f0gluhfwlrq e|
44
Y7
j %%
uk
'
d Ef @ Ef o n .R
Y7"%%
e|L
+;,
Y7
j++
uk
'
Ef @ Ef
Y7"%%
e|L
+<,
dqg
.+S '
zkhuh lv jlyhq e|
%
@2 Ef
@22 Ef
q
n2
k
&3
+43,
.% $ .+S c
Ef $ Ef c
+45,
7 ++ ' eS+7"%% 1
iru wkh wudqvyhuvh vhfdqw uhvsrqvh eS+ / zkhuh j
D frpsdulvrq ri wkh uhvxowv iurp wkh 6G UPK prgho zlwk wkh dqdo|wlf
prgho lv pdgh lq Iljxuh :d/ zkhuh wkh ydoxhv ri eS% dqg eS+ rewdlqhg iurp wkh
UPK dqg iurp wkh dqdo|wlf prghov duh sorwwhg yhuvxv dssolhg dyhudjh vwudlq1
Wzr glhuhqw vhwv ri ehdp fkdudfwhulvwlfv k/ q/ @f iurp Wdeoh 5 +Qr1 4
dqg Qr1 6, duh xvhg iru wkh dqdo|wlf prgho1 Iurp Iljxuh : lw iroorzv wkdw
wkh prgho zlwk IHP frqvwdqwv +Qr1 6, djuhh yhu| zhoo zlwk wkh UPK 6G
prgho suhglfwlrqv1 Wkh uhpdlqlqj glhuhqfhv pd| eh h{sodlqhg zlwk 5G ordg
glvwulexwlrq lq ehwzhhq zdus dqg oo wrzv zklfk lv wdnhq lqwr dffrxqw e| wkh
6G prgho dqg plvvlqj lq wkh 5G vxeprgho1 Dgglwlrqdoo|/ lq wkh 6G fdvh
wrzv pxvw eh frqvlghuhg dv vkhoov udwkhu dv d ehdpv/ zklfk lv krz wkh| duh
45
617
Sudfwlfdo uhpdunv
od|hu frpsrvlwh zh kdyh wr xvh wkh UXF dssurdfk1 Zkdw derxw/ ohw*v vd|/
50od|hu frpsrvlwhvB Wkdw nlqg ri od|0xs lv riwhq xvhg iru fryhulqj dqrwkhu
pdwhuldo/ iru h{dpsoh zrrg frqvwuxfwlrqv1 Rxu suholplqdu| uhvxowv vkrz wkdw
iru wkh xvhg pdwhuldo/ d 50od|hu frpsrvlwh vwloo kdv doprvw vlqjoh od|hu ph0
fkdqlfdo ehkdylru1 Wkh h{dfw orfdol}dwlrq ri wkh erxqgdu| ehwzhhq vlqjoh0
dqg pxowl0od|huhg zryhq frpsrvlwh dssurdfkhv lv vwloo qrw nqrzq1
Frqfoxvlrqv
Whqvloh whvwv rq vlqjoh0 dqg hljkw0od|hu F0ehu2XS zryhq frpsrvlwhv
duh shuiruphg1 H{shulphqwdo uhvxowv vkrz dq revhuydeoh glhuhqfh eh0
wzhhq wkrvh wzr od|0xsv1
Wkh pxowl0od|huhg frpsrvlwhv vhhp wr eh pruh olqhdu dqg dovr kdyh d
kljkhu lqlwldo H0prgxoxv1 Olnh furvv0so| odplqdwhg frpsrvlwhv wkhvh
frpsrvlwhv kdyh d orz Srlvvrq*v udwlr1 Vlqjoh0od|hu zryhq frpsrvlwhv
duh hylghqwo| qrq0olqhdu gxulqj wkh ordglqj/ zlwk orz wdqjhqwldo prg0
xoxv dw wkh ehjlqqlqj dqg kljk dw wkh hqg1 Pruhryhu/ Srlvvrq*v udwlr
iru d vlqjoh0od|hu zryhq frpsrvlwh lv vhyhudo wlphv kljkhu wkdq iru d
pxowl0od|huhg1
Vhpl0dqdo|wlfdo plfurphfkdqlfdo dv zhoo dv pdwkhpdwlfdo krprjhql}d0
wlrq edvhg IHP prghov duh xvhg lq rughu wr h{sodlq revhuyhg glhu0
hqfhv1 Wkh uhvxowv ri wkh prgholqj djuhh zlwk wkh prghov dqg fdq
h{sodlq wkh revhuyhg skhqrphqrq1
Glhuhqw plfurphfkdqlfdo dvvxpswlrqv pxvw eh frqvlghuhg lq rughu
wr h{sodlq wkh revhuyhg hhfwv1 D vlqjoh0od|hu frpsrvlwh kdv xqfrq0
vwudlqhg ghirupdwlrqv lq wkh ~0gluhfwlrq1 Pxowl0od|hu frpsrvlwhv reh|
lvrvwudlq frqglwlrqv iru wkh lq0sodqh frpsrqhqwv ri wkh ghirupdwlrqv
dqg lvrvwuhvv frqglwlrqv iru wkh rxw0ri0sodqh ghirupdwlrqv1
Uhihuhqfhv
^4` D1 Ehqvrxvvdq/ M1 O1 Olrqv dqg J1 F1 Sdsdqlfrodx1 Dv|pswrwlf Dqdo|vlv
iru Shulrglf Vwuxfwxuhv1 Qruwk Kroodqg/ Dpvwhugdp/ 4<:;1
48
^47` V10\1 Oxr dqg D1 Plwud1 Ilqlwh hodvwlf ehkdylru ri h{leoh ideulf frpsrv0
lwh xqghu eld{ldo ordglqj1 M1 Dsso1 Phfk10W1 DVPH/ 99 +4<<<,/ 964096;1
^48` U1 Y1 Pduuh| dqg E1 Y1 Vdqndu1 Plfurphfkdqlfdo prghov ri wh{wloh frp0
srvlwh ehdpv iru suhglfwlqj vwlqhvv surshuwlhv1 Frpsrv1 Vfl1 Whfkqro1/
7< +4<<6,/ 9409<1
^49` Q1 N1 Qdln1 Zryhq Ideulf Frpsrvlwhv1 Whfkqrplf Sxeolvklqj Lqf1/ 4<<71
D
D14
Rxu uvw wdvn lv wr fduhixoo| ghvfuleh wkh jhrphwu| ri wkh UXF ri d sodlq
zhdyh ideulf frpsrvlwh/ vhh Iljxuh 41 Dv d edfnjurxqg rqh fdq qg doo xvhg
jhrphwulfdo txdqwlwlhv dv zhoo dv wkh hodvwlf surshuwlhv ri wrzv dqg pdwul{
froohfwhg lq Wdeoh 41
Dowkrxjk wkh wrzv ri wkh sodlq zhdyh UXF phuho| furvvhv dw bf dqjoh
lq wkh ft 0sodqh/ wkh vkdshv lq wkh f~0 dqg t ~0 sodqhv duh pruh frpsoh{1
Pruhryhu/ lq0vlwx revhuydwlrqv ri wkh furvv0vhfwlrqv ri wkh frpsrvlwh vkrz
kljk ghyldwlrqv lq wkh lqfolqdwlrq dqjoh w ghqhg lq Iljxuh 41 Ri frxuvh/
pxowl0od|huhg frpsrvlwhv duh pxfk zruvh lq wkdw vhqvh1
D frpprq dvvxpswlrq iru dqdo|wlfdo prghov ^49` lv d frvlqh ru vlqh odz
iru wkh plgsodqh ri wkh zdus dqg oo wrzv1 Wklv ohdgv wr wkh h{suhvvlrq iru
wkh plgsodqh ri wkh zdus wrz
5 ' s E%c + ' s E% ' f t? E2Z%*b c b*2 % b*2c
+46,
zkhuh f lv wkh dpsolwxgh ri wkh zhdyh zdyh1 Iljxuh < vkrzv kdoi ri wkh f~
vhfwlrq ri wkh UXF zlwk vlqh wrzv1
Iru wkh xq0wzlvwhg/ qrq0ghiruphg UXF/ zh kdyh f ' fD|L dqg w '
2Zf *b1 Wkh ixoo wklfnqhvv ri wkh UXF lv htxdo wr ef dqg wkh ohqjwk ri wkh
plg0sodqh lv
;
s
#
$
] b*2 v
A
/%
n /2
/
A
2
2
A
? ,f '
n / ULt
' ef
. s
c
f
/
3b*2
n /2
A
2Zf
A
A
= /'
c
4:
+47,
ht
-h 0
-h t
/4
/4
- warp tow
- fill tows
- knot points
Iljxuh <= Vhfwlrq ri wkh UXF frqvlvwlqj ri lghdol}hg wrzv1 Wkh plgsodqh ri
hdfk wrz lv d vlqh ixqfwlrq1
zkhuh . E lv wkh frpsohwh hoolswlf lqwhjudo ri wkh vhfrqg nlqg1 Exw vlqfh
eZ2 2f *b2 xvxdoo| lv yhu| vpdoo/ zh pd| zlwk dffhswdeoh dffxudf| uhsodfh
+47, e|
Z2 2
+48,
b f
Wkh wklug whup ri wkh Wd|oru vhulhv h{sdqvlrq EZ e e *eb lq wklv sduwlfxodu
fdvh +vhh Wdeoh 4 iru d b dqg |L , lv derxw 833 wlphv vpdoohu wkdq wkh vhfrqg
whup/ zklfk ydolgdwhv wkh xvdjh ri rqo| wkh uvw wzr whupv1
Gxh wr v|pphwu|/ rqh pd| frqvlghu hdfk wrz lq wkh UXF dv d vhw ri irxu
ehdpv zlwk htxdo ohqjwk ,K ' b*e1 Iru vlpsolflw| zh dvvxph wkdw wkh furvv0
vhfwlrq ri hdfk ehdp lv uhfwdqjxodu zlwk khljkw |L dqg zlgwk u1 Frqvlghu
d frqvwuxfwlrq ri wzr ehdpv +olnh lq Iljxuh <, dqg wzr lghdol}hg lqghshqghqw
ordg prghv iru wkh frqvwuxfwlrq=
,f b n
Y
' fc
Y% %'b*e
4;
+49,
%'b*e
8% m%'b*e ' fc
zkhuh lv wkh f0glvsodfhphqw/ lv wkh gh hfwlrq ri wkh plgsodqh +~0
gluhfwlrq, dqg 8% lv wkh lqwhjudo irufh dfwlqj rq wkh furvv0vhfwlrq ri wkh
wrz1
Prgh 5 h{whqvlrq ri wkh ehdpv lq wkh d{ldo gluhfwlrq e| {f zlwk
}hur gh hfwlrq lq wkh nqrw srlqwv +vhh Iljxuh <,
m%'b*e ' {fc
m%'b*ec 5'f ' fc
+4:,
u
q{~ 2 c
2
+4;,
|L
q ' b2(*b ' S.,
b
c ( ' ., Uc U '
|L
c
2
+4<,
zkhuh ., lv wkh d{ldo prgxoxv ri wkh ehdp dqg ( lv wkh ehqglqj prgxoxv ri
wkh ehdp1 Vlploduo|/ iru wkh ordg hqhuj| ri prgh 5 rqh fdq zulwh
{L2 ' S2 {f 2
u
e|L
k{f 2 c zkhuh k ' .,
2
b
+53,
+54,
Rqh pd| qrwh wkdw S72 ' S2 exw S7 9' S ehfdxvh wkh erxqgdu| frqglwlrqv +49,
doorz {f 9' f iru ordglqj lq prgh 41 E| dvvxplqj d frqvhuydwlrq ri wkh
ehdp ohqjwk ,f lq prgh 4/ +54, pd| eh vlpsolhg wr
4<
+55,
Y,f
Yb
$3
Y,f
Z2
f
'
e Yf
2b
+56,
Wkh lghdol}hg UXF ri sodlq zhdyh ideulf frqvlvwv ri 49 htxdo ehdpv/ irxu
ehdpv shu wrz1 Wkh zdus dqg oo ehdpv frqvwudlqv hdfk rwkhu lq wkh rxw0ri0
sodqh gluhfwlrq1 Iru fodulw| ohw wkh ordg eh dssolhg lq wkh zdus +f0, gluhfwlrq
dqg vlpxodwh d vwdqgdug whqvloh whvw zlwk }hur ydoxh ri idu hog dyhudjh ri
7 %% 1 Lq rxu lghdol}hg prgho wkh oo
doo vwuhvv whqvru frpsrqhqwv j
7 h{fhsw j
wrz olhv lq wkh t 0gluhfwlrq dqg lv vxemhfwhg wr prgh 4 ghirupdwlrq rqo|1 Wkh
zdus wrzv kdyh d pl{hg ordg prgh1 Ehfdxvh erwk wkh zdus dqg oo wrzv
kdyh wkh vdph gh hfwlrq {~ dqg hdfk UXF frqwdlq wzr zdus wrzv zklfk
fduu| wkh ordg/ wkh hqhuj| ri wkh sodlq zhdyh ideulf UXF lv
k
+57,
Wkh udwlr ' {~*{f lv qrw dq duelwudu| qxpehu1 Lqghhg/ wkh ydoxh ri
jlyhv wkh ghiruphg vwdwh ri wkh ideulf dqg pxvw fruuhvsrqg wr wkh plqlpxp
ri hodvwlf hqhuj| vwruhg lq wkh UXF1 Plqlpl}dwlrq ri +57, zlwk uhvshfw wr {~
jlyhv dv d ixqfwlrq ri wkh zhdyh dpsolwxgh f
%
q
Ef ' @Ef @ Ef n 2
k
2
&3
+58,
l
u k
k E Ef @ Ef 2 n 2q 2 c
e|L
+59,
uk
d Ef @Ef o
e|L
+5:,
+5;,
D15
Htxdwlrqv +5:, dqg +5;, jlyh suhglfwlrqv iru erwk wkh .0prgxoxv dqg Srlv0
vrq*v udwlr/ zklfk pd| eh phdvxuhg e| d vlpsoh whqvloh whvw1 Krzhyhu/ rqh
fdq qg wkrvh htxdwlrqv ryhuvlpsolhg1 Ohw xv lpsuryh wkh txdolw| ri wkh
prgho1
Iluvw ri doo/ wkh shushqglfxodu wrzv dovr sduwlflsdwh lq iruplqj ri wkh
ehqglqj prgxoxv ( lq +4<,1 Lq rughu wr rewdlq pruh dffxudwh uhvxowv/ ohw
xv uhsodfh ( lq +4<, e| (W ' & (/ zkhuh & lv ghqhg e| wkh iroorzlqj
h{suhvvlrqv
l
k
. E|L n n ., E|L n E., n .
(
dqg lv wkh srvlwlrq ri wkh vwuhvv0iuhh vxuidfh/ wkdw lv/
& '
' fD|L
., .
., n .
+5<,
+63,
Lqgh{ lq +5<, dqg +63, wdnhv wkh ydoxh 4 iru wkh wrz dqg wkh ydoxh 5 iru wkh
pdwul{1 . lv dvvxphg wr eh wkh wrz wudqvyhuvh prgxoxv dqg .2 wkh pdwul{
prgxoxv1 Wkh yroxphwulf kduprqlf dyhudjh lv xvhg wr rewdlq wkh fruuhfwlrq
idfwru &
#
2u b 2u
& ' b
n
&
&2
$3
+64,
Dowkrxjk wkh wudqvyhuvh prgxoxv ri wkh wrz lv vpdoo/ wkh fruuhfwlrq deryh
jlyhv d ydoxh ri & forvh wr 2/ l1h1 lw doprvw grxeohv wkh ydoxh ri wkh h{xudo
hqhuj| ri wkh UXF1
Wkh d{ldo prgxoxv ri wkh lghdol}hg ehdp lv dovr dhfwhg e| wkh h{lvwhqfh ri
shushqglfxodu wrzv1 Krzhyhu/ wklv hhfw lv pxfk vpdoohu dqg rxu hvwlpdwlrq
jlyhv
k ' k&2 c &2 n . *., f.
+65,
Ilqdoo|/ zh kdyh wkh fruuhfwlrq uhodwhg wr qlwh prgxoxv ri wkh pdwul{ lqfox0
vlrqv1 Iru wklv uhdvrq rqh pd| lpdjlqh wzr dgglwlrqdo volfhv ri pdwhuldo lq
erwk vlghv ri wkh ordg ehdulqj wrzv1 Wkh dssur{lpdwh prgxoxv ri hdfk volfh
iurp uxohv ri pl{wxuh dqg jhrphwulfdo frqvlghudwlrqv lv
54
.t*Ui
u
b
b 2u
'
n
e 2 E. n .2
e.2
&3
+66,
zkhuh wkh qdo fruuhfwlrq pxvw eh zhljkwhg e| wkh yroxphwulf udwlr ri volfh2wrz1
Wkxv/ fruuhfwhg yhuvlrq ri +5;, lv
uk
.% Ef '
d Ef @Ef o n .R c .R '
e|L
D16
b
.t*Ui
2u
+67,
Wkh prgho ghvfulehg deryh pd| vlpso| eh prglhg iru eld{ldo ordglqj ri d
vlqjoh ideulf od|hu1 Rqh pd| qg wkh frqvwlwxwlyh htxdwlrqv e| plqlpl}lqj
wkh hqhuj| ri wkh zkroh vwuxfwxuh zlwk uhvshfw wr rxw0ri0sodqh glvsodfhphqwv
dw pd{lpd srlqwv {~
k
+68,
{j%%
{j++
uk
'
e|L
@ ^ @2 ^2
@ ^2
@2 ^22
&#
{"%%
{"++
n.R
{"%%
{"++
c +69,
{~
'
{f
2 {t
'
^ ^2
^2 ^22
&#
{f
{t
+6:,
dqg lv jlyhq e|
3
3
+6;,
Rqh fdq vhh wkdw iru xqlgluhfwlrqdo whqvloh ordg j++ ' f/ htxdwlrqv +6;,/ +69,
dqg +5:,/ +58, frlqflghv1
Wkh jhrphwulf yduldeoh @Ef iru f0 dqg t 0 rulhqwhg ehdpv glhuv/ khqfh
vwudljkwhqlqj ri wkh zdus |duq ohdgv wr ryhu0ehqglqj ri wkh oo |duq/ l1h1 zh
55
qrz qhhg wzr yduldeohv @ dqg @2 1 Wkxv zh kdyh iru wkh lqlwldo qrq0wzlvwhg
vlqh0vkdshg sodlq zhdyh UXF lq wkh xqghiruphg vwdwh wkdw f ' |L *2 dqg
@ ' @ '
Z2
f c
2b
@2 '
Z2
E|L f c
2b
+6<,
D17
Ilqdo qrwhv
Doo wkh h{suhvvlrqv deryh dvvxphv wkdw wkh zdus dqg oo wrzv duh lghqwlfdo1
Lw lv udwkhu vwudljkw0iruzdug wr gr wkh qhfhvvdu| prglfdwlrqv li wkrvh wzr
vhwv ri wrzv duh glhuhqw zlwk uhvshfw wr wkhlu phfkdqlf surshuwlhv1 Iru
kljkhu dffxudf|/ wkh pdlq fkdudfwhulvwlfv ri ehdpv vxfk dv k/ q dqg @ pd|
eh rewdlqhg qxphulfdoo| iurp 5G IHP prghov e| vlpxodwlrqv ri glhuhqw
ordg prghv ri wkh ehdp1
E14
Lq wklv vhfwlrq/ zh vwdwh wkh pdlq uhlwhudwhg krprjhql}dwlrq wkhruhp iru wkh
hodvwlflw| sureohp1 Zh uhihu wr wkh dsshqgl{ lq sdshu ^7` iru d surri ri wklv
uhvxow/ zkhuh wkh lghdv iurp ^4` zdv xvhg1
Ohw xv frqvlghu d olqhdu hodvwlf erg| zklfk rffxslhv d uhjlrq l lq +
dqg lqwurgxfh d Fduwhvldq frruglqdwh v|vwhp % Dvvxph wkdw wkh erg| frq0
vlvwv ri wzr ru pruh glhuhqw olqhdu hodvwlf pdwhuldov zklfk duh shulrglfdoo|
glvwulexwhg lq wkh vhqvh wkdw zh fdq ghqh xqlw fhoov zklfk duh shulrglfdoo|
uhshdwhg1 Zh dovr dvvxph wkdw zh kdyh wzr glhuhqw vfdohv ri shulrglflw|1
Zh ghqh wkh vwudlq whqvru e e|
e '
2
Y Y
n
Y%
Y%
] e
6? E+ n e&, E+ e&, EL 6? _+c
mt m t
+73,
zkhuh L 6? ' L 6? E+ duh wkh zhdn vroxwlrqv ri wkh t 0fhoo sureohpv
;
A
Y e
Y e6?
A
A
A
&, E+ e&, EL 6? '
rq tc
?
Y+
Y+
A
A
A
A
= L 6? lv t 0shulrglf1
57
+74,
Iljxuh 43= Vroxwlrq ri wkh t 0fhoo sureohp xqghu dssolhg ordg1 Wkh UXF
fxuyhv gxulqj ordglqj gxh wr wrz vwudljkwhqlqj ohdglqj wr dq lqfuhdvh lq wkh
hhfwlyh vwlqhvv1
Wkh ~0fhoo krprjhql}hg whqvru e&, ' e&, E+ lv jlyhq e|
m~m ~
+75,
zkhuh T &, ' T &, E+c 5 duh wkh zhdn vroxwlrqv ri wkh ~0fhoo sureohpv
;
Y
Y&,
A
A
6? E+c 5 e6? T &, '
rq ~c
A
?
Y5
Y5
A
A
A
= &,
T lv ~0shulrglf1
E15
+76,
Qxphulfdo vroxwlrq
Wkh zryhq frpsrvlwh fdq eh frqvlghuhg wr kdyh wzr glhuhqw vxevfdohv/ wkh
uvw ehlqj rq wkh wrz ohyho dqg wkh vhfrqg ehlqj rq wkh exqgoh ohyho1 Wr
xvh wkh uhlwhudwhg krprjhql}dwlrq phwkrg/ zh wkhuhiruh ohw wkh UXF eh wkh
t 0fhoo dqg dvvxph wkdw wkh ehuv duh shulrglfdoo| glvwulexwhg lq hdfk wrz lq
rughu wr ghqh d ~0fhoo1 Wr eh pruh vshflf/ zh dvvxph wkdw wkh ehuv lq wkh
wrzv duh duudqjhg lq d shulrglf kh{djrqdo duud| vr wkh ~0fhoo krprjhql}hg
whqvru ehfrphv lvrwurslf1
58
59
H Hqjlqhhulqj surfhhglqjv=
^H4` M1 E|vwup dqg S1 Zdoo1 Khdw frqgxfwlylw| erxqgv e| Kdoslq0
Wvdl w|sh htxdwlrqv dqg krprjhql}dwlrq1 Surfhhglqjv ri LFFH2:/
Hg= Gdylg Kxl/ 5333/ <:0<;1
^H5` Q1 E|oxqg/ M1 E|vwup dqg O10H1 Shuvvrq1 Uhlwhudwhg krprjh0
ql}dwlrq zlwk dssolfdwlrqv wr dxwrsduw frqvwuxfwlrq1 Surfhhglqjv
ri LFFH2;/ Hg= Gdylg Kxl/ 5334/ E640E671
ICCE/7
Edited by
David Hui
d +> p , @
d2 . @@2
. @@2
. p
@
@2
p @@2
4
4
@ 4 p >
d2
zkhuh
dqg
@
@
@2
@
@2
4
.
Wkh ixqfwlrq
d +> p , kdv wkh iroorzlqj surshuwlhv=
41 d +> p , lv dq lqfuhdvlqj ixqfwlrq lq p iru
hyhu| {hg dqg
+
d +> 3, @ d2 >
d +> 4, @ d =
6
@
4
=
. 3@62
<:
olp
<" d +> p, @ D @ pd . +4 p, d2=
=
3 . 3@62
@ @2
d
d
> p
d2
@ d . 4 p6 =
@2 3@ . 2@
3
4
K D ,
> p D =
,2 +, , @ d C
d , K
3 4=
w p
d
> p
p +4 w,
@ U U
f
d +{> | , g|
3
g{
M@ E3b
jxuh 4/ lv dfklhyhg zlwk @ @2 Eb3M iru orzhu Kdvklq0Vkwulnpdq erxqg dqg wkh jhqhudo0
2
l}hg Uhxvv0Yrljw xsshu erxqg1 Wkhvh erxqgv duh
K D> wkdw lv/
frpsduhg zlwk qxphulfdo gdwd iurp wkh krprjh0
,
Kd
+
D
d22 + K ,
ICCE/8
Edited by
David Hui
Lqwurgxfwlrq
Uhlwhudwhg krprjhql}dwlrq
E64
+8,
x0 5 Zf + , >
+9,
iru doo ! 5 ZfcR +
, = Wkh pdlq uhvxow iurp ^8` dqg
^9` wkhq vwdwhv wkdw=
{ {
Lw lv dovr vkrzq lq iru lqvwdqfh ^7` wkdw wkh rshu0
> 2 > Gx0 $ e +Gxf, zhdno| lq +O^ +
,,? >
% %
dwruv e dqg e vdwlvhv vlplodu vwuxfwxuh frqglwlrqv
dv d=
dv % $ 3> zkhuh xf lv wkh xqltxh vroxwlrq ri
; ]
A
A
+e +Gxf , > G!, g{ @ ki> !l >
?
l
A
A
=
cR
xf 5 Zf + , >
+:,
Pdwhuldo H +JSd, D
VPF
Uhvlq
Vwhho
44=:
3=67
6=3
3=7<
543
3=6
E66
Uhihuhqfhv
^4` D1 Ehqvrxvvdq/ M1 O1 Olrqv dqg J1 F1 Sdsdq0
lfrodx/ Dv|pswrwlf dqdo|vlv iru shulrglf vwuxf0
wxuhv/ Qruwk Kroodqg/ Dpvwhugdp/ 4<:;1
^5` G1 D1 J1 Euxjjhpdq/ Ehuhfkqxqj yhu0
vfklhghqhu sk|vlndolvfkhu nrqvwdqwhq yrq khw0
hurjhqhq vxevwdq}hq/ Dqq1 Sk|vln1 57/ 4<68/
s1 9671
^6` M1 E|vwup/ Q1 Mhndevrqv dqg M1 Yduqd/ Dq
hydoxdwlrq ri glhuhqw prghov iru suhglfwlrq ri
hodvwlf surshuwlhv ri zryhq frpsrvlwhv/ Frp0
srvlwhv= Sduw E/ 64/ 5333/ :0531
Iljxuh := Ordg fdvh E1 Erxqgdu| frqglwlrqv1
E67