Some mathematical and engineering aspects of the homogenization theory

2002:02

DOCTORAL THESIS

Some Mathematical and Engineering Aspects of the Homogenization Theory

Johan Byström

Doctoral Thesis

Department of Mathematics

2002:02 - ISSN: 1402-1544 - ISRN: LTU-DT--02/02--SE

Vrph pdwkhpdwlfdo dqg hqjlqhhulqj dvshfwv ri wkh krprjhql}dwlrq wkhru|

e|

Mrkdq E|vwuùp

Ghsduwphqw ri Pdwkhpdwlfv/ Oxohè Xqlyhuvlw| ri Whfkqrorj|/ VH0<:4;:

Oxohè/ Vzhghq

Vrph pdwkhpdwlfdo dqg hqjlqhhulqj dvshfwv ri wkh krprjhql}dwlrq wkhru|

Grfwrudo Glvvhuwdwlrq

e|

Mrkdq E|vwuùp

Ghsduwphqw ri Pdwkhpdwlfv/ Oxohè Xqlyhuvlw| ri Whfkqrorj|/ 5335

Devwudfw= Wklv wkhvlv lv ghyrwhg wr vrph sureohpv frqqhfwhg wr wkh wkhru|

ri krprjhql}dwlrq ri sduwldo glhuhqwldo rshudwruv1 Wkh wkhvlv frqvlvwv ri dq hohphqwdu| lqwurgxfwlrq dqg yh glhuhqw sduwv/ D0H1 Lq wkh lqwurgxfwlrq zh jlyh dq hohphqwdu| suhvhqwdwlrq ri wkh edvlf lghdv lq wkh krprjhql}dwlrq wkhru|1 Pruhryhu/ wkh lqwurgxfwlrq dovr vhuyhv dv dq ryhuylhz ri wkh hog dqg srlqwv rxw zkhuh wkh uhvxowv frqwdlqhg lq wklv wkhvlv w lq1 Wkh uvw sduw/ Sduw D/ frqvlvwv ri wzr sdshuv zlwk d frpsohphqwdu| dsshqgl{ dqg ghdov vrph sxuho| wkhruhwlfdo sduwv ri krprjhql}dwlrq wkhru|1 Sduw E frq0 vlvwv ri rqh sdshu ghdolqj zlwk erxqgv ri wkh krprjhql}hg rshudwru1 Wkh wklug sduw/ Sduw F/ frqvlvwv ri wzr sdshuv frqfhuqlqj vrph frpsxwdwlrqdo dv0 shfwv ri krprjhql}dwlrq1 Sduw G frqvlvwv ri wzr sdshuv zklfk vkrz krz wkh wkhruhwlfdo uhvxowv iurp wkh krprjhql}dwlrq wkhru| fdq eh sudfwlfdoo| xvhg lq frpsrvlwhv hqjlqhhulqj1 Ilqdoo|/ Sduw H frqvlvwv ri wzr sdshuv suhvhqwhg dw lqwhuqdwlrqdo frqihuhqfhv/ zklfk frqvlghu vrph ixuwkhu pdwkhpdwlfdo dqg hqjlqhhulqj dvshfwv ri wkh krprjhql}dwlrq phwkrg1

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|vwuùp1 Fruuhfwruv iru vrph qrqolqhdu prqrwrqh rshudwruv1 M1 Qrqolqhdu Pdwk1 Sk|v1/ ;=4 +5334,/ ;0631

^D4e` M1 E|vwuùp1 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|vwuùp/ M1 Hqjvwuùp 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|vwuùp/ M1 Hqjvwuùp 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|vwuùp/ 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|vwuùp1 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|vwuùp/ 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

^G5` M1 E|vwuùp dqg Q1 Mhndevrqv1 Rq wkh hhfw ri vwdfnhg ideulf od|huv rq wkh vwlqhvv ri d zryhq frpsrvlwh1 Vxeplwwhg/ 5335/ 59 sdjhv1

H Hqjlqhhulqj surfhhglqjv=

^H4` M1 E|vwuùp 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|vwuùp dqg O10H1 Shuvvrq1 Uhlwhudwhg krprjh0 ql}dwlrq zlwk dssolfdwlrqv wr dxwrsduw frqvwuxfwlrq1 Surfhhglqjv ri LFFH2;/ Hg= Gdylg Kxl/ 5334/ E640E671

L dovr olvw vrph hduolhu frqihuhqfh surfhhglqj sdshuv wkdw L diwhu vrph khvlwdwlrq fkrvh qrw wr lqfoxgh lq wklv wkhvlv1 Wkh uvw wkuhh duh doo d sduw ri p| Olfhqwldwh Wkhvlv hqwlwohg Vrph Qhz Ghyhorsphqwv dqg Dssolfdwlrqv ri wkh Krprjhql}dwlrq Wkhru|/ Olfhqwldwh Wkhvlv 4<<<=7:/ Oxohè/ 4<<<1 Wkh irxuwk zdv rplwwhg vlqfh wkh pdwhuldo lq lw lv pdlqo| fryhuhg e| sdshu ^F4`1

I Ixuwkhu sdshuv qrw lqfoxghg lq wklv wkhvlv

^I4` M1 E|vwuùp/ G1 Oxnndvvhq/ D1 Sdyydo dqg O10H1 Shuvvrq1 Frp0 sxwlqj hhfwlyh frqgxfwlylwlhv e| erxqgv dqg qxphulfdo phwkrgv1 Surfhhglqjv ri LFFH27/ Hg= Gdylg Kxl/ 4<<:/ 4<<05331

^I5` M1 E|vwuùp/ Q1 Mhndevrqv/ O10H1 Shuvvrq dqg M1 Yduqd1 Xvlqj uh0 lwhudwhg krprjhql}dwlrq iru vwlqhvv frpsxwdwlrq ri zryhq frp0 srvlwhv1 Surfhhglqjv ri LFFH28/ Hg= Gdylg Kxl/ 4<<;/ 46604671

^I6` M1 E|vwuùp/ Q1 Mhndevrqv dqg O10H1 Shuvvrq1 D frpsdulvrq ri glhuhqw krprjhql}dwlrq prghov dqg h{shulphqwdo uhvxowv1 Sur0 fhhglqjv ri LFFH29/ Hg= Gdylg Kxl/ 4<<</ <:0<;

^I7` V1 Ehujjuhq/ M1 E|vwuùp/ D1 Phlghoo dqg S1 Zdoo1 Krprjhql}dwlrq dqg frpsxwdwlrqdo whfkqltxhv ri lwhudwhg vwuxfwxuhv1 Surfhhglqjv ri LFFH2;/ Hg= Gdylg Kxl/ 5334/ :::;1

y

Dfnqrzohgjphqwv= Iluvw ri doo L zrxog olnh wr vlqfhuho| wkdqn p| wkhvlv dgylvruv Surihvvru Oduv0Huln Shuvvrq dqg Sk1G1 Shwhu Zdoo iru wkhlu frqvwdqw vxssruw/ lqvslulqj hqwkxvldvp dqg hqfrxudjhphqw gxulqj wkh zrun zlwk wklv wkhvlv1

Vhfrqgo|/ L zrxog olnh wr wkdqn wkh jurxs durxqg Surihvvru Oduv Ehujoxqg dw wkh ghsduwphqw ri sro|phu hqjlqhhulqj iru d vwlpxodwlqj dqg vxffhvvixo frrshudwlrq1 Lq sduwlfxodu/ L zrxog olnh wr phqwlrq Olf1 Whfk1 Qrupxqgv Mhndevrqv/ zkr lv wkh rwkhu vwxghqw lq wklv uhvhdufk frooderudwlrq ixqghg e|

wkh Vzhglvk Uhvhdufk Frxqflo iru wkh Hqjlqhhulqj Vflhqfhv/ WIU1 L dp yhu|

judwhixo wkdw L jrw wkh rssruwxqlw| wr eh d sduw ri wklv surmhfw1

Wklugo|/ L zdqw wr h{suhvv p| judwlwxgh wr p| frdxwkruv Olf1 Whfk1 Vwhlq Ehujjuhq/ P1Vf1 Qlfnodv E|oxqg/ P1Vf1 Mrqdv Hqjvwuùp/ Suri1 Mrkdq Khov0 lqj/ Olf1 Whfk1 Qrupxqgv Mhndevrqv/ Suri1 Gdj Oxnndvvhq/ Sk1G1 Dqqhwwh Phlghoo/ P1Vf1 Dqqhol Sdyydo/ Suri1 Oduv0Huln Shuvvrq/ Sk1G1 Mdqlv Yduqd dqg Sk1G1 Shwhu Zdoo iru d iuxlwixo uhvhdufk frrshudwlrq1 L dp dovr judwh0 ixo wr d qxpehu ri froohdjxhv dw wkh ghsduwphqw ri pdwkhpdwlfv dv zhoo dv wkh uhvw ri wkh krprjhql}dwlrq jurxs durxqg Oduv0Huln Shuvvrq1 Vshflfdoo|

L zrxog olnh wr srlqw rxw wkdw wkh vrphzkdw xqltxh uhvhdufk frrshudwlrq ehwzhhq wkh krprjhql}dwlrq jurxsv dw Oxohè Xqlyhuvlw| ri Whfkqrorj| dqg Qduyln Xqlyhuvlw| Froohjh kdv ehhq ri xwprvw lpsruwdqfh iru p| zrun1

Ilqdoo|/ L wkdqn wkh Vzhglvk Uhvhdufk Frxqflo iru wkh Hqjlqhhulqj Vfl0 hqfhv/ WIU/ iru wkh pdlq qdqfldo vxssruw/ YROYR Fdu Frrshudwlrq iru ixqglqj rqh ri rxu uhvhdufk surmhfwv dqg wkh Zdoohqehuj Irxqgdwlrq/ wkh Nhpsh Irxqgdwlrq/ wkh Vzhglvk Pdwkhpdwlfdo Vrflhw|/ wkh Ghsduwphqw ri Pdwkhpdwlfv lq ]djuhe/ Furdwld/ wkh Hxurshdq Uhvhdufk Wudlqlqj Qhwzrun

Krprjhql}dwlrq dqg Pxowlsoh vfdohv/ wkh Lwdoldq Qdwlrqdo Frpplwwhh iru Uhvhdufk +FQU0JQDPSD,/ wkh Vzhglvk Lqvwlwxwh/ QRUID uhi1 3438:7 dqg wkh Vzhglvk Ur|do Dfdghp| ri Vflhqfhv iru wudyho judqwv wkdw kdyh pdgh lw srvvleoh iru ph wr ylvlw d qxpehu ri frqihuhqfhv dqg vfkrrov deurdg gxulqj wklv wlph1 Lq wklv frqqhfwlrq/ L dovr zdqw wr wkdqn Surihvvruv Qhqdg Dqwrqlf/

Dqguhd Eudlghv/ Ydohuld Fkldgõ Sldw/ Dqqholhvh Ghiudqfhvfkl/ Jloohv Iudqf0 iruw/ Gdylg Kxl/ Gdj Oxnndvvhq dqg Dqgur Plnholf iru wkhlu krvslwdolw| dqg iru khoslqj ph zlwk ixqglqj dqg orjlvwlfv rq wkhvh vwd|v1

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 Dfrpprq 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

D Dqdo|wlfdo dqg wkhruhwlfdo krprjhql}dwlrq uhvxowv

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

vxffhvvixoo| ehhq dssolhg wr d qxpehu ri rwkhu htxdwlrqv vxfk dv wkh zdyh htxdwlrq/ Khopkrow}* htxdwlrq/ Qdylhu0Vwrnh*v htxdwlrq/ wkh srurxv phglxp htxdwlrq/ wkh elkduprqlf htxdwlrq/ Pd{zhoo*v htxdwlrqv/ Kdplowrq0Mdfrel*v htxdwlrq dqg wkh qrq0vwdwlrqdu| glxvlrq +khdw, htxdwlrq/ vhh h1j1 ^;`/ ^49`/

^59`/ ^64`/ ^65`/ ^73`/ ^75`/ ^79`/ ^84`/ ^93`/ ^99`/ ^;9`/ ^<3`/ ^<6`/ ^<7` dqg dovr wr rwkhu pdwhuldo vwuxfwxuhv/ vhh h1j1 ^58`1 Zh dovr phqwlrq wkh froohfwlrq ri fodvvlfdo sdshuv lq ^53`/ zkhuh wkh lqwurgxfwlrq jlyhv d jrrg vhohfwlrq ri uhihuhqfhv1 Vrph ri wkhvh dssolfdwlrqv kdyh ehhq wuhdwhg lq wkh iroorzlqj wkhvhv e| rwkhu phpehuv ri rxu uhvhdufk jurxs lq krprjhql}dwlrq/ vhh ^45`/

^4:`/ ^4;`/ ^83`/ ^9<`/ ^:6`/ ^<9`/ ^<;`/ ^43:` dqg ^43;`1

D14 Wkh edvlf lghdv lq wkh krprjhql}dwlrq wkhru|

Vxssrvh wkdw zh zrxog olnh wr nqrz wkh vwdwlrqdu| whpshudwxuh glvwulexwlrq lq d krprjhqhrxv erg| ri vkdsh l  +

zlwk dq lqwhuqdo khdw vrxufh s/

khdw frqgxfwlylw| @ dqg }hur whpshudwxuh rq wkh erxqgdu| Yl Ru pd|eh zh duh lqwhuhvwhg lq wkh gh hfwlrq ri d phpeudqh ri vkdsh l  +

pdgh ri d krprjhqhrxv pdwhuldo zlwk vwlqhvv @c ordghg e| d yhuwlfdo irufh s dqg fodpshg rq wkh erxqgdu| Yl1 Wkhvh sureohpv fdq eh ghvfulehg e| wkh iroorzlqj erxqgdu| ydoxh sureohp= Ilqg  5 `

El/  R 4/ vxfk wkdw

 _ E@ E( ' s rq lc +4,

zkhuh l  +

lv dq rshq erxqghg vxevhw/ s d jlyhq ixqfwlrq rq l dqg

@ G +

$ +

vdwlvhv vxlwdeoh frqwlqxlw| dqg prqrwrqlflw| frqglwlrqv ri vxfk w|sh wkdw zh kdyh h{lvwhqfh dqg xqltxhqhvv ri wkh vroxwlrq ri wkh deryh sureohp1 Khuh `

El lv wkh xvxdo Vrerohy vsdfh ri ixqfwlrqv  zlwk erxqg0 du| ydoxhv f vxfk wkdw  5 u

El/ ( 5 du

Elo



Qrz wkdw vxssrvh zh zrxog olnh wr eh deoh wr prgho sk|vlfdo vlwxdwlrqv zkhuh wkh xqghuo|lqj pdwhuldo lv khwhurjhqhrxv/ wkdw lv/ l frqvlvwv ri d pd0 whuldo zlwk glhuhqw surshuwlhv lq glhuhqw srvlwlrqv ri l1 Wkhq zh zrxog kdyh wr uhsodfh @ lq +4, zlwk d pds ri wkh w|sh @ G l  +

$ +

dqg zh jhw

wkh htxdwlrq ;

?

=

 _ E@ E%c ( ' s rq lc

 5 `

El  +5,

Ehfdxvh ri wkh ghshqghqfh ri %c htxdwlrq +5, lv pxfk pruh gl!fxow wr kdqgoh wkdq htxdwlrq +4,1 Rqh lqwhuhvwlqj vshfldo fdvh lv d wzr0skdvh frpsrvlwh

5

e

1

1

1

W _Y ^Y 1 ¹

2

Iljxuh 4= Dshulrglf frpsrvlwh zlwk wzr glhuhqw t 0fhoov

zkhuh rqh pdwhuldo lv shulrglfdoo| glvwulexwhg lq wkh rwkhu1 Lq wklv fdvh wkh xqghuo|lqj shulrglf lqfoxvlrqv duh riwhq plfurvfrslf zlwk uhvshfw wr wkh ryhudoo erg| l1 Ehfdxvh ri wkh shulrglflw|/ zh fdq qrz glylgh l lqwr shulrglf fhoov zklfk zh fdoo tc vhh Iljxuh 41 Qrwh wkdw wkh plfurvwuxfwxuh ri d jlyhq shulrglf pdwhuldo fdq eh ghvfulehg e| vhyhudo glhuhqw shulrglf fhoov1

Pdwkhpdwlfdoo| wklv lv xvxdoo| ghvfulehg e| pdsv ri wkh irup @

E%c 1 '

@ E%*0

c 1/ zkhuh @ Ec 1 lv dvvxphg wr eh t 0shulrglf dqg 0

lv d vpdoo sdud0 phwhu1 Wklv phdqv wkdw 0

lv d sdudphwhu zklfk ydulhv wkh iuhtxhqf| ri @

c ru lq rwkhu zrugv/ wkh qhqhvv ri wkh shulrglf vwuxfwxuh1 Htxdwlrq +5, wkhq wdnhv wkh irup ;

?

=

 _ E@

E%c (

 ' s rq lc



5 `

El +6,

Qrz ohw E0

 eh d vhtxhqfh ri srvlwlyh uhdo qxpehuv vxfk wkdw 0

$ f dv

 $ 41 Lq wklv zd| zh rewdlq d vhtxhqfh ri sureohpv/ rqh iru hdfk ydoxh ri

1 Wkh odujhu wkh ydoxh ri  jhwv/ wkh qhu wkh plfurvwuxfwxuh ehfrphv/ vhh Iljxuh 51

Wkh qdwxudo txhvwlrq wkdw qrz dulvhv lv li zh kdyh vrph w|sh ri frqyhu0 jhqfh ri wkh vroxwlrqv 

1 D vvxph wkdw zh fdq hvwdeolvk frqyhujhqfh lq vrph dssursuldwh vhqvh/ wkdw lv/



$  dv  $ 4

6

Iljxuh 5= Wkh plfurvwuxfwxuh ri l dv  whqgv wr lqqlw|1

Wkh vhfrqg vwhs zrxog wkhq eh wr lqyhvwljdwh zkhwkhu  vdwlvhv dq htxdwlrq ri d vlplodu w|sh/ wkdw lv

; ?

=

 _ EK E%c ( ' s rq lc

 5 `

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 `

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 Dri 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?

M`_f^cREl

]

l

}

 %

0

c ( E%

 _% 

]

l

s _%

 c

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 .

$ .

dv  $ 4/ zkhuh

.

' 4?

M`_f^cREl

]

l

}

E( E% _%  ]

l

s _%



Khuh wkh krprjhql}hg hqhuj| ghqvlw| ixqfwlrq }

lv jlyhq e|

}

E1 ' 

mt m 4?

M`^cREt 

]

t

} E%c 1 n ( _%c +7, zkhuh `

Et  lv wkh vhw ri doo ixqfwlrqv  5 `

Et  zklfk duh t 0shulrglf dqg kdyh phdq ydoxh }hur1 Djdlq zh qrwh wkdw wkh olplw sureohp grhv qrw ghshqg rq %/ wkdw lv/ }

lv wkh hqhuj| ghqvlw| ixqfwlrq ri d krprjhqhrxv pdwhuldo1

Uhpdun 5 Wkh sduwldo glhuhqwldo htxdwlrqv deryh vkrxog eh lqwhusuhwhg lq wkh zhdn vhqvh1 Wkh prgho sureohp +6,/ iru lqvwdqfh/ vkrxog eh uhdg dv

; A A ? A A

= ]

l

k@

E%c (

 c (l _% ' ]

l

s _% iru hyhu|  5 `

El c



5 `

El c

+8,

zkhuh kc l ghqrwhv wkh Hxfolghdq lqqhu surgxfw1

8

D15 Vrph edvlf krprjhql}dwlrq uhvxowv

Lq rughu wr ghprqvwudwh vrph ri wkh whfkqltxhv dqg gl!fxowlhv hqfrxqwhuhg lq wkh krprjhql}dwlrq surfhgxuh zh frqvlghu krprjhql}dwlrq ri wkh rqh gl0 phqvlrqdo Srlvvrq htxdwlrq1 Wkh krprjhql}dwlrq surfhvv lv pxfk vlpsohu lq +

wkdq lq kljkhu glphqvlrqv/ krzhyhu lw uhyhdov wkh pdlq gl!fxow|1 Zh zloo xvh  wr ghqrwh srvlwlyh frqvwdqwv wkdw pd| glhu iurp sodfh wr sodfh1 Pruhryhu/ ohw l ' E%

c %

/ s 5 u

El dqg @ 5 u

El eh d phdvxudeoh dqg shulrglf ixqfwlrq zlwk shulrg  vdwlvi|lqj

f q

 @ E%  q

4 iru d1h1 % 5 + +9, Pruhryhu/ zh ghqh @

E% ' @ 

0%

 1 Wkhq htxdwlrq +8, wdnhv wkh irup

; A A ? A A

= ]

l

@

E% (

( _% ' ]

l

s _% iru hyhu|  5 `

El c



5 `

El 

+:,

E| d vwdqgdug uhvxow lq wkh h{lvwhqfh wkhru| ri sduwldo glhuhqwldo htxdwlrqv/

wkhuh h{lvwv d xqltxh vroxwlrq ri wkhvh sureohpv iru hdfk 1 E| fkrrvlqj

 ' 

lq +:, dqg wdnlqj +9, lqwr dffrxqw/ zh rewdlq e| Kùoghu*v lqhtxdolw|

wkdw

q

n(

n

 ]

l

@

m(

m

_% ' ]

l

s

_%  nsn

n

n

 Wkh Srlqfduì lqhtxdolw| iru ixqfwlrqv zlwk }hur erxqgdu| ydoxhv vwdwhv wkdw wkhuh lv d frqvwdqw g rqo| ghshqglqj rq l vxfk wkdw

n

n

 g n(

n

 Wklv lpsolhv wkdw

n

n

f El

 c +;,

zkhuh  lv d frqvwdqw lqghshqghqw ri 1 Vlqfh `

El lv uh h{lyh/ wkh Hehuohlq0•pxomdq wkhruhp wkhq vwdwhv wkdw wkhuh h{lvwv d vxevhtxhqfh/ vwloo ghqrwhg e| E

/ vxfk wkdw



$ 

zhdno| lq `

El  +<,

9

Vlqfh `

El lv frpsdfwo| hpehgghg lq u

El c zh kdyh e| wkh Uhoolfk hpehgglqj wkhruhp wkdw 

$ 

vwurqjo| lq u

El  Lq jhqhudo/ krzhyhu/

zh rqo| kdyh wkdw (

$ (

zhdno| lq u

El1 Pruhryhu/ vlqfh @ lv 0 shulrglf/ zh kdyh wkdw E@

 zhdno|

frqyhujhv wr lwv dulwkphwlf phdq k@l/

wkdw lv/

@

$ k@l ' ]

f

@ _% zhdno|

lq u

El 1 +43, Iurp +:,/ +<, dqg +43,/ lw lv wkhq uhdvrqdeoh wr dvvxph wkdw zh lq wkh olplw

kdyh ;

A A

? A A

= ]

l

k@l (

( _% ' ]

l

s _% iru hyhu|  5 `

El c



5 `

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 u

El

ehfdxvh ri +9, dqg +;,1 Zh dovr kdyh wkdw ( E@

(

 ' s 5 u

El e| +:,1 Khqfh wkhuh h{lvwv d frqvwdqw c lqghshqghqw ri c vxfk wkdw

n@

(

n

 

Vlqfh `

El lv uh h{lyh dqg frpsdfwo| hpehgghg lq u

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 u

El vxfk wkdw

@

(

$ # vwurqjo| lq u

El  Wklv frpelqhg zlwk wkh idfw wkdw 

@



frqyhujhv wr k@

l zhdno|

lq u

El

+khqfh zhdno| lq u

El, jlyhv xv (

' @

@

(

$

@



# zhdno| lq u

El  +44, Wkxv lq ylhz ri +<, dqg +44,/ zh vhh wkdw

# '

@



(



:

Qrz/ e| sdvvlqj wr wkh olplw lq +:, zh rewdlq wkdw

; A A ? A A

= ]

l

K(

( _% ' ]

l

s _% iru hyhu|  5 `

El c



5 `

El c

zkhuh wkh krprjhql}hg rshudwru lv jlyhq e| K ' k@

l

c wkh kduprqlf phdq ri @1 Qrz vlqfh

 q



 

@  

q

c

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 zhdn

frqyhujhqfh lq Eu

El

ri wkh lqyhuvh pdwulfhv 

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 u

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| Jìudug dqg Wduwdu durxqg 4<<3/ vhh h1j1

^76`/ ^78` dqg ^438`1

Uhpdun 6 Wkh fruuhvsrqglqj krprjhql}dwlrq sureohp iru wkh rqh0glphqvlrqdo R0Srlvvrq htxdwlrq

; A A ? A A

= ]

l

@

E% m(

m

(

( _% ' ]

l

s _% iru hyhu|  5 `

El c



5 `

El c

jlyhv wkh krprjhql}hg rshudwru K '

@





Zh qrz wxuq wr krprjhql}dwlrq lq +

1 Lq Vhfwlrq D 14 zh ghvfulehg wkh edvlf lghdv lq glhuhqw krprjhql}dwlrq sureohpv1 Dvvxph wkdw @ vdwlvhv

;

vxlwdeoh vwuxfwxuh frqglwlrqv/ vhh h1j1 Uhpdun 71 Ohw  R 4 dqg

R

n

' 1 Wkh pdlq uhvxow iru wkh krprjhql}dwlrq sureohp frqqhfwhg wr wkh Glulfkohw sureohpv

; ?

=

 _ E@

E%c (

 ' s rq lc



5 `

El c lv wkdw



$  zhdno| lq `

El c +45,

@

E%c (

 $ K E( zhdno| lq du

Elo

c zkhuh  lv wkh vroxwlrq ri wkh krprjhql}hg htxdwlrq

; ?

=

 _ EK E( ' s rq lc

 5 `

El 

Wkh krprjhql}hg rshudwru K G +

$ +

lv ghqhg e|

K E1 '  mt m

]

t

@ 

%c 1 n (

E% 

_%c +46,

zkhuh 

lv wkh vroxwlrq ri wkh orfdo sureohp rq t

; A A ? A A

= ]

t

@ 

%c 1 n (

 c ( 

_% ' f iru hyhu|  5 `

Et  c



5 `

Et  

+47,

Iru d surri ri wklv uhvxow vhh h1j1 ^55` ru ^77`1 Dfrpprq 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

<

Uhpdun 7 D frpprq dvvxpswlrq lv wkdw @ E%c 1 vdwlvhv wkh frqglwlrqv m@ E%c 1

  @ E%c 1

m  S

b E% E n m1

m n m1

m

m1

 1

m

c k@ E%c 1

  @ E%c 1

 c 1

 1

l  S

b E% E n m1

m n m1

m

m1

 1

m

c iru S

c S

: f/ f  k  4? Ec R   dqg 4@ ERc 2  q 4 Wkhvh frqglwlrqv duh iru lqvwdqfh vdwlvhg e| wkh R0Srlvvrq rshudwru

@ E%c 1 ' b E% m1m

1c

zkhuh wkh frqvwdqwv S

dqg S

fdq eh fkrvhq dv S

' 4@ 

R  c  2 s

2 

 c S

' 4? 

R  c  2 s

2 





D16 Fruuhfwruv

Uhwxuqlqj wr +45,/ zh vhh wkdw 

  frqyhujhv wr f zhdno| lq `

El1 Wkh Uhoolfk lpehgglqj wkhruhp wkhq lpsolhv wkdw 

  frqyhujhv wr f vwurqjo|

lq u

El1 Xqiruwxqdwho| gr zh qrw kdyh vwurqj frqyhujhqfh ri (

 ( wr f lq du

Elo

lq jhqhudo1 Krzhyhu/ lw lv srvvleoh wr h{suhvv (

lq whupv ri ( xs wr d uhvw zklfk vwurqjo| frqyhujhv wr f lq du

Elo

1 Uhvxowv ri wklv w|sh duh fdoohg fruuhfwru uhvxowv1 Lqghhg/ ohw 

G l  +

$ +

eh ghqhg e|



E%c 1 ' 1 n (

 % 0

 c

zkhuh 

lv wkh shulrglf h{whqvlrq ri wkh vroxwlrq wr wkh orfdo sureohp +47,1 Qrz zh ghqh wkh vwhs ixqfwlrq 

 G +

$ +

e|

E

 E% ' [

MU

E%  mt

m

]

t_^

 E+ _+

iru hyhu|  5 du

Elo

c zkhuh t

' 0

E n t  dqg U

' i 5 ~

G t

 lj1 Wkhq (

 

Ec 

( $ f lq du

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= Dfrpsrvlwh zlwk wzr orfdo vfdohv1

D17 Uhlwhudwhg krprjhql}dwlrq

Rqh qdwxudo h{whqvlrq ri wkh krprjhql}dwlrq sureohp ghvfulehg deryh lv wr lqfoxgh vhyhudo plfurvfrslf vfdohv/ vhh Iljxuh 61 Ohw xv frqvlghu wkh olplw surfhvvhv fruuhvsrqglqj wr wkh sureohpv

 _



@

 %

0

c    c % 0

c (



' s rq lc dqg

.

' 4?

M`_f^cREl

]

l

}

 %

0

c    c %

0

c (

E%

 _% 

]

l

s _%



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 ? A A

=

 _



@

 %

0

c    c % 0

c (



' s rq lc



5 `

El  Lw zdv vkrzq lq ^9:` dqg ^9;` wkdw



$  zhdno| lq `

El c

@

 %

0

c    c % 0

c (



$ K E( zhdno| lq du

Elo

c

44

zkhuh  lv wkh vroxwlrq ri wkh krprjhql}hg htxdwlrq

; ?

=

 _ EK E( ' s rq lc

 5 `

El 

Wkh krprjhql}hg rshudwru K G +

$ +

lv ghqhg e|

K E1 ' 

E1 c

zkhuh 

lv frpsxwhg dffruglqj wr wkh iroorzlqj lwhudwlyh surfhgxuh=



E+

c    c +

c 1 ' @ E+

c    c +

c 1 c



E+

c    c +

c 1 '  mt m

]

t





+

c    c +

c 1 n (

E+

 

_+



Khuh 

lv wkh vroxwlrq ri wkh iroorzlqj orfdo sureohp rq t = Ilqg 

vxfk wkdw ;

A A

? A A

= ]

t

G 



+

c    c +

c 1 n (

E+

  c ( H

_+

' fc



5 `

Et  c iru hyhu|  5 `

Et 1

Wkh krprjhql}dwlrq sureohpv frqqhfwhg wr prqrwrqh rshudwruv ri wkh w|sh ghvfulehg deryh kdyh ehhq jhqhudol}hg lq pdq| gluhfwlrqv1 H{whqvlrqv kdyh ehhq pdgh wr iru h{dpsoh yhfwru ydoxhg sureohpv/ doprvw shulrglf sure0 ohpv dqg sureohpv zlwk vwl dqg vriw lqfoxvlrqv1 Sdshu D5 lq wklv wkhvlv ghdov zlwk wkh uhlwhudwhg krprjhql}dwlrq ri qrqolqhdu ghjhqhudwhg prqrwrqh rshu0 dwruv1 Uhlwhudwhg krprjhql}dwlrq whfkqltxhv duh dovr xvhg lq sdshuv G4/ G5 dqg H5 wr frpsxwh wkh hodvwlf surshuwlhv ri zryhq frpsrvlwhv1 Pruhryhu/ zh dovr frqvlghu frpsxwdwlrqdo dvshfwv ri uhlwhudwhg krprjhql}dwlrq lq sdshu F41

D18 Vrph vshfldo fdvhv zlwk forvhg irup h{suhvvlrqv iru wkh krprjhql}hg rshudwru K

Dv zh vdz lq vhfwlrq D15/ wkh krprjhql}hg rshudwru +46, ghshqgv rq wkh vroxwlrq ri d fhoo sureohp +47,1 Wkhuh duh krzhyhu vrph vshfldo fdvhv zkhq

45

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 +

 D1814 Wkh Kdvklq vwuxfwxuh

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

E% n k

E% n k

E%  U

zkhuh 

lv wkh fkdudfwhulvwlf ixqfwlrq iru wkh vhw l

dqg U wkh xqlw pdwul{1 Ohw wkh xqlw fhoo jhrphwu| eh ghvfulehg e|

l

' i% G m%m  o

j c l

'

% G o

 m%m  o

 2

 c l

'

% G m%

m 

2 a m%m  o

c  ' c 2



Lq rughu wr frpsxwh wkh krprjhql}hg frh!flhqwv +46,/ zh qhhg wr vroyh wkh fhoo sureohp +47,

 _ 

b E% (

E% 

' f rq tc +48,

zkhuh 

E% ' k1c %l n 

E% dqg 

E% lv t 0shulrglf1 Lq wkh fdvh 1 ' e

' d fo

c zh orrn iru d vroxwlrq ri wkh w|sh



E% '

; A

? A =

%

c % 5 l

c

%



n

 c % 5 l

c

%

c % 5 l

c

+49,

vhh Iljxuh 71 Lw lv hdvlo| vhhq wkdw +49, vdwlvhv +48, rq t E| sk|vlfdo uhdvrqv/

wkh vroxwlrq 

E% dv zhoo dv wkh x{ b E%

pxvw eh frqwlqxrxv ryhu wkh erxqgdulhv l

_ l

dqg l

_ l

 Wklv jlyhv irxu htxdwlrqv wr vroyh iru wkh

46

−0.15

−0.1

−0.05 0 0.05 0.1 0.15

0 0.2 0.4 0.6 0.8 1 0

0.5 1

−0.2

−0.15

−0.1

−0.05 0 0.05 0.1 0.15 0.2

y x

Solution we1 of cell problem

we1

Iljxuh 7= Wkh vroxwlrq 

ri wkh fhoo sureohp zkhq k

lv fkrvhq dffruglqj wr +4:,1

wkuhh xqnqrzqv 

c 

dqg g

 Lq rughu wr jhw d frqvlvwhqw vroxwlrq/ zh jhw wkdw k

pxvw eh

k

' k



 g

o



' k



 n

n 6



k

k2

  

 n

 6



k2

   c +4:,

zkhuh 6

'

2

c wkh yroxph iudfwlrq ri pdwhuldo  lq pdwhuldo 2 Vlqfh zh qrz nqrz wkh vroxwlrq 

E+ ' 

E+  ke

c +l ri wkh fhoo sureohp/ zh fdq frpsxwh wkh krprjhql}hg frh!flhqwv

K Ee

 ' ]

t

b E% Ee

n (

 _% ' dk

fo

dqg vlploduo|

K Ee

 ' ]

t

b E% Ee

n (

 _% ' df k

o



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

Iljxuh 8= Wkh Kdvklq vwuxfwxuh1

li k

 k

wkhq k

deryh lv wkh orzhu Kdvklq0Vkwulnpdq erxqg1 E| ohwwlqj pdwhuldo 4 dqg 5 fkdqjh sodfhv dqg vroylqj d vlplodu sureohp dv deryh/ zh jhw wkh xsshu Kdvklq0Vkwulnpdq erxqg1 Zh uhihu wr Vhfwlrq E iru pruh rq wklv wrslf1

D1815 Wkh Pruwrod0Vwhh vwuxfwxuh

Zh ghqh rxu xqlw fhoo t ' Efc 

dqg glylgh lw lqwr irxu htxdo sduwv t

'

 fc 

2





  2 c 



c t

'

  2 c 





  2 c 

 c t

'

 fc 

2





 fc 

2



c t

'

  2 c 





 fc 

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 ' 

k

E% n q

E% n 

E% n B

E%  Uc

zkhuh 

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

 '

 b

f f b



c

48

Y ₁ Y 3

Y 2

Y 4

Iljxuh 9= Xqlw fhoov iru wkh Pruwrod0Vwhh vwuxfwxuh rq wkh ohiw dqg wkh fkhfnhuerdug vwuxfwxuh rq wkh uljkw1

zkhuh

b

'

v kq n kqB n kB n qB k n q n  n B

Ek n  Eq n B

Ek n q E n B c b

'

v kq n kqB n kB n qB k n q n  n B

Ek n q E n B

Ek n  Eq n B 

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

b

' b

' s kqc

wkh jhrphwulf phdq1 Wklv zdv suryhg douhdg| lq 4<:3 e| G|nkqh ^6<`1 D1816 Wkh fdvh zkhq b lv vhsdudeoh

Ohw t ' Efc 

dqg frqvlghu wkh fdvh zkhq b E+ lv ri wkh irup b E% ' b

E%

 b

E%

    b

E%

 c

zkhuh b E%

 duh Efc 0shulrglf dqg

f k

 b

E%

  q

4c iru d1h1 +

5 +c  ' c    c ? +4;,

49

Zh zdqw wr vroyh wkh fruuhvsrqglqj fhoo sureohp

 _  b E% 

1 n (



' f iru + 5 t

E| d vwdqgdug uhvxow lq wkh h{lvwhqfh wkhru| ri sduwldo glhuhqwldo htxdwlrqv/

wkhuh h{lvwv d xqltxh vroxwlrq ri wklv sureohp Khqfh li zh fdq qg rqh vroxwlrq wkhq lw pxvw eh wkh rqo| vroxwlrq1 Ohw xv orrn iru d vhsdudeoh fodvvlf vroxwlrq ri wkh irup



E% ' 

E%

 

E%

    

E%

  Wklv lpsolhv wkdw zh pxvw vroyh ? rqh0glphqvlrqdo sureohpv

_ _%

# b

E%

#

1

n 

E%

    

E%

 _

_%



E%

    

E%

$$

' fc zkhuh 1

' k1c e

l  E| lqvhuwlqj wkh vroxwlrq 

E% lq +46, zh vhh wkdw wkh

=wk frpsrqhqw ri wkh krprjhql}hg rshudwru lq wklv fdvh lv jlyhq e|

K E1

' 1

b



kb

   b

b

   b

l 

Dqrwkhu zd| wr rewdlq wklv uhvxow lv e| orrnlqj dw vrph vshfldo erxqgv iru wkh R0Srlvvrq htxdwlrq wkdw frlqflghv iru wklv fdvh/ vhh Vhfwlrq E141

Rqh lqwhuhvwlqj vshfldo fdvh lv zkhq b E% rqo| ghshqgv rq rqh yduldeoh/

iru lqvwdqfh zkhq b E%

c %

 ' b

E%

  Wkhq K Ee

'

b



' Kc K Ee

' kb

l ' Dc

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 Krprjhql}dwlrq ri ghjhqhudwhg htxdwlrqv

Dvvxph wkdw zh kdyh d pdwhuldo zkhuh wkh khdw frqgxfwlylw| lv doorzhg wr jr wr }hur ru lqqlw| lq d suhvfulehg zd|1 Zloo wkhq wkh hhfwlyh frqgxfwlylw| ri

4:

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



5 `

Elc b

 c

zkhuh @ E+c 1 vdwlvhv vxlwdeoh vwuxfwxuh frqglwlrqv dqg wkh zhljkw b

E% ' b E%*0

 lv d srvlwlyh ixqfwlrq ehorqjlqj wr wkh Pxfnhqkrxsw fodvv 

lq0 wurgxfhg e| Pxfnhqkrxsw ^;3` lq frqqhfwlrq zlwk wkh vwxg| ri wkh pd{lpdo ixqfwlrq rshudwru ehwzhhq zhljkwhg u

0vsdfhv1 Wkh pdlq uhvxow lv wkdw



$  zhdno| lq `

El c

@ E%*0

c (

 $ K E(

 zhdno| lq 

u

El 

c zkhuh 

lv wkh vroxwlrq ri wkh krprjhql}hg htxdwlrq

; ?

=

 _ EK E(

 ' s rq lc



5 `

El 

Wkh krprjhql}hg rshudwru K G +

$ +

lv ghqhg e|

K E1 '  mt m

]

t

@ 

+c 1 n (

E+  _+c zkhuh 

lv wkh vroxwlrq ri wkh orfdo sureohp rq t

; A A ? A A

= ]

t

@ 

+c 1 n (

 c ( 

_+ ' f iru hyhu|  5 `

Etc b c



5 `

Etc b 

Wklv uhvxow lv jhqhudol}hg wr uhlwhudwhg krprjhql}dwlrq lq sdshu D 5 ri wklv wkhvlv/ zkhuh zh vwxg| wkh olplw ehkdylru dv wkh qdwxudo qxpehu  $ 4 iru wkh vhtxhqfh ri vroxwlrqv E

ri wkh Glulfkohw erxqgdu| ydoxh sureohpv

; ?

=

 _ E@ E%c 

%c (

 ' s rq lc



5 `

Elc b

 c +4<,

zkhuh b

E% lv d srvlwlyh zhljkw ehorqjlqj wr wkh Pxfnhqkrxsw fodvv 



4;

E Erxqgv iru wkh krprjhql}hg rshudwru

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

41 E| d shulrglf wzr0skdvh frpsrvlwh zh phdq wkdw k rqo| wdnhv wzr ydoxhv/

l1h1/ k fdq eh zulwwhq dv

kE% ' k

E% n k

E% c k

: k

c

zkhuh l

lv wkh shulrglf h{whqvlrq ri i% 5 t G k E% ' k

j dqg 

lv wkh fkdudfwhulvwlf ixqfwlrq ri wkh vhw l

1 Pruhryhu/ ohw D

eh wkh yroxph iudfwlrq ri wkh pdwhuldo rffxs|lqj l

1

Wkh Uhxvv0Yrljw erxqgv +ru Zlhqhu erxqgv, wkhq vwdwhv wkdw wkh krprj0 hql}hg pdwul{ K vdwlvhv wkh hvwlpdwhv

KU  K  DUc +53,

zkhuh U lv wkh lghqwlw| pdwul{/ K lv wkh kduprqlf phdq ri k ryhu d fhoo ri shulrglflw| dqg D lv wkh dulwkphwlf phdq ydoxh ri k ryhu d fhoo ri shulrglflw|1 Qrwh wkdw li  dqg  duh wzr pdwulfhv/ wkh qrwdwlrq    phdqv wkdw

   kdv srvlwlyh hljhqydoxhv/ zklfk lpsolhv wkdw +53, fdq eh zulwwhq dv K  b

 Dc

zkhuh b

duh wkh hljhqydoxhv ri wkh krprjhql}hg pdwul{ K1 Qrwh wkdw iru wkh vshfldo fdvh ri d wzr0skdvh frpsrvlwh/ wkh Uhxvv0Yrljw erxqgv lpsolhv wkdw



D

k

n

 b

 D

k

n D

k

 +54, Lq Iljxuh :@ zh kdyh sorwwhg wkh Uhxvv0Yrljw erxqgv iru dq h{dpsoh lq +

1 Dq lpsuryhphqw ri wkh Uhxvv0Yrljw erxqgv duh wkh wudfh erxqgv +ru Kdvklq0Vkwulnpdq erxqgv/ vhh ^7<`,/ zklfk vwdwh wkdw

u  b

n    n b

?  Lc

4<

The Reuss-Voigt bounds The Hashin-Shtrikman bounds The generalized Hashin-Shtrikman bounds

l

l

a)

2 3

4

5 2 3 4 5

2 3 4 5

l1

b)

l3

Iljxuh := @ Wkh J0forvxuh lq +

1 K Wkh J0forvxuh lq +

1 zkhuh

u ' D 

Ek  D



? ?u k n

Ek  D



ED  ?u k

c L ' D 

Ek  D



? tT k 

Ek  D



EtT k  D



Khuh kl ghqrwhv wkh dulwkphwlf phdq1 Lq wkh vshfldo fdvh ri d wzr0skdvh pdwhuldo/ u dqg L duh jlyhq e|

u ' k

n D

k3k 2

n

c +55,

L ' k

n D

k23k 

n

c

uhvshfwlyho|1 Lq Iljxuh :@ zh kdyh dovr sorwwhg wkh Kdvklq0Vkwulnpdq erxqgv iru dq h{dpsoh lq +

1

Uhpdun 8 Wkh Kdvklq0Vkwulnpdq erxqgv duh nqrzq lq sk|vlfv/ phfkdqlfv ru fkhplvwu| xqghu ydulrxv rwkhu qdphv vxfk dv Pd{zhoo0Jduqhww/ Fodxvlxv0 Prvvrwl ru Oruhqw}0Oruhq} erxqgv/ vhh h1j1 ^<8`1

Lw lv srvvleoh wr rewdlq hyhq ehwwhu hvwlpdwhv/ qdpho| wkh vr fdoohg jhq0 hudol}hg Kdvklq0Vkwulnpdq erxqgv=

|h EK  ?u kU



G

knE?3 ?u k

H

?

 ?u k G

knE?3 ?u k

Hc

53

|h EtT kU  K



G

knE?3 tT k

H

tT k G

knE?3 tT k

H  ?

c

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

U

' [

'



b

 k

 ?

D

Ek

 k

 n D

k

D

c +56,

|h Ek

U  K

' [

'



k

 b

 ?

D

Ek

 k

  D

k

D



Iljxuh :@ dovr frqwdlqv d sorw ri wkh jhqhudol}hg Kdvklq0Vkwulnpdq erxqgv iru dq h{dpsoh lq +

1

Dv vhhq lq Iljxuh : wkh fodvvlfdo dqg jhqhudol}hg Kdvklq0Vkwulnpdq erxqgv frlqflgh lq wkh lvrwurslf fdvh/ l1h1/ zkhq b

' b

1 Wkh erxqgv suhvhqwhg deryh krogv wuxh iru hyhq pruh jhqhudo vlwxdwlrqv/ l1h1/ zlwkrxw dq| dvvxps0 wlrq derxw shulrglflw|1 Iru h{dpsoh/ wkh erxqgv duh ydolg iru uhlwhudwhg krprjhql}dwlrq sureohpv/ vhh ^87`1

Wkh uhvhdufk rq qglqj phwkrgv iru rewdlqlqj erxqgv kdv dwwudfwhg wkh dwwhqwlrq ri pdq| dxwkruv dqg lv dq lqwhqvh uhvhdufk duhd1 Ydulrxv jhqhudo0 l}dwlrqv uhodwlyh wkh vlwxdwlrq ghvfulehg deryh kdv ehhq dqg duh vwloo vwxglhg1 Vrph h{dpsohv duh sureohpv zlwk  skdvhv dqg dqlvrwurslf ehkdylru ri wkh frqvwlwxhqwv1 Pruhryhu/ wkh phwkrgv kdv ehhq h{whqghg lq vxfk d zd|

wkdw lw lv srvvleoh wr vwxg| rwkhu w|shv ri htxdwlrqv dv zhoo/ iru h{dpsoh wkh htxdwlrqv ghvfulelqj olqhdu hodvwlflw|1 Dqrwkhu fkdoohqjlqj dqg pxfk ohvv gh0 yhorshg duhd lv wr qg erxqgv fruuhvsrqglqj wr qrqolqhdu sureohpv/ vhh h1j1

^9<`/ ^<5`/ ^<<` dqg ^433`1

Dqdwxudo txhvwlrq wr dvn lv zkhwkhu wkh erxqgv deryh duh rswlpdo ru qrw/

wkdw lv/ zkhwkhu rqh fdq qg d ixqfwlrq k vxfk wkdw wkh erxqgv duh dwwdlqhg1 Dqrwkhu uhodwhg txhvwlrq lv zkhwkhu rqh fdq qg d ixqfwlrq k vxfk wkdw dq|

srvvleoh fkrlfh ri Eb

c    c b

 fdq eh rewdlqhg1 Txhvwlrqv olnh wkhvh duh fdoohg J0forvxuh sureohpv1 E| J0forvxuh zh phdq wkh vhw ri doo srvvleoh ydoxhv ri wkh krprjhql}hg pdwul{ K wkdw fruuhvsrqg wr duelwudu| plfurvwuxfwxuhv zlwk

{hg yroxph iudfwlrq ri pdwhuldov1 Lq +

c wkh J0forvxuh lv wkh vhw ri srlqwv erxqghg e| +56, zkhuhdv lq +

wkh| pxvw eh frpsohwhg e| wkh Uhxvv0Yrljw erxqgv +54,/ vhh Iljxuh :1

54

a) b)

Iljxuh ;= @ Dudqn06 odplqdwh1 K Wkh hoolsvrlgdo Kdvklq vwuxfwxuh1 Lw zdv vkrzq e| e| Oxulh dqg Fkhundhy ^54` dqg lqghshqghqwo| Wduwdu

^;6`/ ^437`/ durxqg 4<;8 wkdw J0forvxuh sureohpv duh lqwlpdwho| frqqhfwhg wr vwuxfwxuhv pdgh e| vxffhvvlyh odplqdwlrq +vr fdoohg udqn0p odplqdwhv/ vhh Iljxuh ;, iru wkh olqhdu frqgxfwlylw| sureohp zlwk lvrwurslf skdvhv1 Lq +

iru lqvwdqfh/ lw lv srvvleoh wr rewdlq doo srvvleoh sdluv ri hljhqydoxhv rq wkh orzhu dqg xsshu erxqgv lq +56, e| xvlqj udqn05 odplqdwhv1 Wkhvh erxqgv fdq dovr eh rewdlqhg e| wkh hoolsvrlgdo Kdvklq vwuxfwxuh/ frqvlvwlqj ri vsdfh

oolqj frdwhg hoolsvrlgv/ vhh Iljxuh ;1 Pruhryhu/ lw lv srvvleoh wr rewdlq hyhu|

sdlu ri hljhqydoxhv Eb

c b

 lq wkh vhw ri srlqwv erxqghg e| +56, e| d udqn06 odplqdwh1

Wkhuh duh vwloo vhyhudo rshq J0forvxuh sureohpv/ iru h{dpsoh wkh fdvh zkhq zh kdyh  : 2 lvrwurslf skdvhv dqg wkh fdvh zlwk wzr skdvhv zkhuh dw ohdvw rqh ri wkhp lv dqlvrwurslf1 Lq wklv frqqhfwlrq/ zh dovr phqwlrq wkdw uhvxowv iurp wkh wkhru| ri krprjhql}dwlrq dqg rswlpdo erxqgv kdyh suryhq wr eh xvhixo lq wkh hog ri vwuxfwxudo rswlpl}dwlrq/ vhh h1j1 ^6`/ ^<`/ ^4<`/ ^53`/

^88`/ ^89`/ ^8;` dqg ^::`1

E14 Erxqgv iru wkh R0Srlvvrq htxdwlrq

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

erxqgv e| wdnlqj wkh jhrphwulf surshuwlhv ri wkh skdvhv lqwr dffrxqw1 Lq sduwlfxodu zh phqwlrq wkh erxqgv rewdlqhg e| Oxnndvvhq hw do1 ^:4` iru wkh R0Srlvvrq htxdwlrq

 _  k %

0

 m(m

( 

' s rq l  +

zkhuh k E% lv 0shulrglf1 Lq wkh fdvh zkhq ie

j c  ' c    c ?c lv wkh fdqrqlfdo edvlv lq +

c wkhvh erxqgv vwdwh wkdw wkh hhfwlyh hqhuj| kK

e

c e

l vdwlvhv wkh erxqgv

b

 kK

e

c e

l  b

c zkhuh

b

' ]

f

   ]

f

3 C ]

f

k E%

_%

4 D

3R

_%

   _%

_%

   _%

c

b

' 3 E C ]

f

3 C ]

f

   ]

f

k E% _%

   _%

_%

   _%

4 D

*E3R

_%

4 F D

3R



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 %

c %

   c %

 c k E% lv t 0shulrglf

Lq wklv fdvh wkh erxqgv duh htxdo wr wkh hhfwlyh hqhuj|1

E15 Htxdwlrqv ri Kdoslq0Wvdl w|sh

Ohw xv frqvlghu wkh h{suhvvlrq

@ E1c D

 ' k



1 n

n D



k

k2

   1  1 n

 D



k2

   c

56