Uniqueness of Equilibrium in the Multi0Country Ricardo Model

UNIQUENESS OF EQUILIBRIUM IN THE MULTI-COUNTRY RICARDO MODEL

By Herbert E. Scarf and Charles A. Wilson

July 2003

COWLES FOUNDATION DISCUSSION PAPER NO. 1431

COWLES FOUNDATION FOR RESEARCH IN ECONOMICS YALE UNIVERSITY Box 208281 New Haven, Connecticut 06520-8281

http://cowles.econ.yale.edu/

Xqltxhqhvv ri Htxloleulxp lq wkh Pxowl0Frxqwu| Ulfdugr Prgho Khuehuw H1 Vfdui dqg Fkduohv D1 Zlovrq Dxjxvw 47/ 5336 Devwudfw Zh suhvhqw wzr dujxphqwv/ rqh edvhg rq lqgh{ wkhru|/ ghprqvwudwlqj wkdw wkh pxowl0frxqwu| Ulfdugr prgho kdv d xqltxh frpshwlwlyh htxloleulxp li wkh djjuhjdwh ghpdqg ixqfwlrqv h{klelw jurvv vxevwlwxwdelolw|1 Wkh uhvxow lv vrph0 zkdw vxusulvlqj ehfdxvh wkh dvvxpswlrq ri jurvv vxevwlwxwdelolw| lv vx!flhqw iru xqltxhqhvv lq d prgho ri h{fkdqjh exw qrw/ lq jhqhudo/ zkhq surgxfwlrq lv lqfoxghg lq wkh prgho1 Nh|zrugv= Ulfdugr prgho/ Jurvv vxevwlwxwhv/ Xqltxhqhvv MHO Fodvvlfdwlrq= G84/ I44

Lw lv zhoo nqrzq wkdw wkh frpshwlwlyh htxloleulxp lv xqltxh lq d sxuh h{fkdqjh hfrqrp| zkhq wkh pdunhw h{fhvv ghpdqg ixqfwlrq vdwlvhv wkh dvvxpswlrq ri jurvv vxevwlwxwdelolw|1 Krzhyhu/ li zh lqwurgxfh dq duelwudu| frqvwdqw uhwxuqv wr vfdoh whfkqrorj|/ d xqltxh htxloleulxp lv hqvxuhg rqo| li wkh pdunhw h{fhvv ghpdqg ixqfwlrq vdwlvhv wkh zhdn d{lrp ri uhyhdohg suhihuhqfh1 Vlqfh jurvv vxevwlwxwdelolw| grhv qrw lpso| wkh zhdn d{lrp zh fdq frqvwuxfw h{dpsohv xvlqj dq dfwlylw| dqdo|vlv prgho ri surgxfwlrq lq zklfk wkhuh duh vhyhudo htxloleuld hyhq wkrxjk wkh pdunhw ghpdqg ixqfwlrqv glvsod| jurvv vxevwlwxwdelolw|1 Wkh uvw vxfk h{dpsoh fdq eh irxqg lq Nhkrh ^7`1 Wkhuh duh ihz uhvxowv rq krz wkh dvvxpswlrq ri wkh zhdn d{lrp pd| eh uhod{hg/ dqg xqltxhqhvv vwloo suhydlov/ dv zh lpsrvh frqglwlrqv rq wkh whfkqrorj|1 Rqh qrwdeoh h{dpsoh lv wkh fdvh zkhuh wkhuh lv rqo| rqh sulpdu| idfwru ri surgxfwlrq dqg hdfk surgxfwlyh dfwlylw| surgxfhv d vlqjoh jrrg/ xvlqj rwkhu surgxfhg jrrgv dv lqsxwv lq dgglwlrq wr wkh sulpdu| idfwru1 Lq wklv fdvh/ wkh qrqvxevwlwxwlrq wkhruhp lpsolhv wkdw wkh whfkqrorj| dorqh xqltxho| ghwhuplqhv wkh htxloleulxp sulfh1 Lq wkh suhvhqw sdshu zh frqvlghu wkh Ulfdugr prgho lq zklfk wkhuh duh pdq| sulpdu| idfwruv/ wkh oderu lq hdfk frxqwu|/ exw lq zklfk hdfk jrrg lv surgxfhg xvlqj oderu dorqh1 Zh ghprqvwudwh wkdw wkh dvvxpswlrq ri jurvv vxevwlwxwdelolw| rq wkh pdunhw h{fhvv ghpdqg lv vx!flhqw wr jxdudqwhh wkh xqltxhqhvv ri wkh frpshwlwlyh htxloleulxp iru wkh pxowl0frxqwu| 4

Ulfdugr prgho1 Wzr glvwlqfw surriv duh glvfxvvhg1 Wkh uvw lv edvhg rq wkh lqgxfhg surshuwlhv ri wkh h{fhvv ghpdqg iru oderu dqg uhtxluhv wkdw wkh jurvv vxevwlwxwdelolw| frqglwlrq krog hyhu|zkhuh1 Wkh vhfrqg dssolhv lqgh{ wkhru| gluhfwo| wr wkh pdunhw ghpdqg ixqfwlrq iru jrrgv dqg uhtxluhv rqo| wkdw wkh jurvv vxevwlwxwh frqglwlrq eh vdwlvhg dw wkh htxloleulxp sulfh1 Wr hpskdvl}h wkh dssolfdwlrq ri rxu uhvxowv wr vwdqgdug prghov ri lqwhuqdwlrqdo wudgh/ rxu dqdo|vlv vxssrvhv d {hg vxsso| ri oderu1 Lq Zlovrq ^8`/ erwk surriv ri wkh xqltxhqhvv ri htxloleulxp duh h{whqghg wr lqfoxgh prghov wkdw lqfrusrudwh d yduldeoh vxsso| ri oderu/ vr orqj dv wkh h{fhvv ghpdqg iru oderu dqg jrrgv vdwlvhv wkh jurvv vxevwlwxwh dvvxpswlrq1 Wkdw sdshu dovr h{whqgv wkh surri ri Kloghqeudqg dqg Nlupdq ^5` dqg surylghv d gluhfw surri ri wkh h{lvwhqfh ri htxloleulxp lq d Ulfdugr prgho zlwk jurvv vxevwlwxwhv wkdw grhv qrw dsshdo wr d {hg srlqw wkhruhp1

4

Xqltxhqhvv lq wkh Prgho ri H{fkdqjh

Doo ri wkh dujxphqwv lq wkh sdshu duh hvvhqwldoo| pruh frpsolfdwhg yhuvlrqv ri vlpsoh dqg zhoo nqrzq dujxphqwv iru sxuh h{fkdqjh hfrqrplhv1 Iru wklv uhdvrq/ zh uvw uhylhz krz wkh| zrun lq d prgho ri sxuh h{fkdqjh1 n Iru qdq| srvlwlyh lqwhjhu n> ohw r U ghqrwh n0glphqvlrqdo Hxfolghdq vsdfh/ dqg n n Unn { 5 U G {l A f iru doo l= ghqrwh wkh lqwhulru ri wkh qrqqhjdwlyh ruwkdqw1 Ohw q

S

r

n n ' { 5 Un G Vnn l' {l ' ghqrwh wkh lqwhulru ri wkh xqlw vlpsoh{ ri glphqvlrq nn n = Iru dq| {> | 5 Un > zh ghqh { | wr phdq wkdw {l |l iru doo l ' > ===> n> dqg { A | wr phdqw wkdw { | dqg {l A |l iru vrph l= q $ Uq lv d pdunhw h{fhvv ghpdqg ixqfwlrq li lw lv Ghqlwlrq 4 D ixqfwlrq i G Unn krprjhqhrxv ri ghjuhh }hur lq sulfhv dqg vdwlvhv wkh Zdoudv Odz= q iE ' i E iru doo 5 Unn dqg A f= q [ l'

l il E ' f=

Ghqlwlrq 5 Wkh pdunhw h{fhvv ghpdqg vdwlvhv jurvv vxevwlwxwdelolw| li dw doo q sulfhv 5 Unn dqg hdfk jrrg l Cil Es> z A f iru doo n 9' l= Csn Qrwlfh wkdw wkh pdunhw h{fhvv ghpdqg ixqfwlrq dqg wkhuhiruh wkh jurvv vxevwl0 wxwdelolw| frqglwlrq duh ghqhg rqo| zkhq doo sulfhv duh vwulfwo| srvlwlyh1 +Wkh jurvv vxevwlwxwh frqglwlrq lv lqfrqvlvwhqw zlwk krprjhqhlw| ri sulfhv li rqh ru pruh sulfhv duh }hur1, Wr jxdudqwhh wkh h{lvwhqfh ri dq htxloleulxp zlwk vwulfwo| srvlwlyh sulfhv +dqg wr jxdudqwhh wkdw wklv lv rqo| htxloleuld zhuh zh wr doorz iru }hur sulfhv,/ zh lpsrvh wkh 5

iroorzlqj erxqgdu| frqglwlrq1 Xvlqj krprjhqhlw| ri wkh ghpdqg ixqfwlrq/ zh pd| q = qrupdol}h sulfhv vr wkdw 5 Vnn Ghqlwlrq 6 D pdunhw h{fhvv ghpdqg ixqfwlrq vdwlvhv wkh erxqgdu| frqglwlrq li q > zh kdyh iru dq| vhtxhqfh ri sulfh yhfwruv iw j 5 Vnn 4?dw > ===> wq o $ f lpsolhv 4@ di Ew > ===> iq E w o $ 4= Dq hohphqwdu| h{dpsoh vdwlvi|lqj doo ri wkhvh frqglwlrqv dulvhv zkhq hdfk krxvh0 krog kdv d vwulfwo| srvlwlyh hqgrzphqw ri hdfk jrrg dqg d Free0Grxjodv xwlolw| ixqfwlrq1 +Vlqfh wkh jurvv vxevwlwxwh frqglwlrq lv olqhdu lw lv fohduo| vdwlvhg zkhq wkh lqglylgxdo h{fhvv ghpdqg ixqfwlrqv duh djjuhjdwhg wr rewdlq wkh pdunhw h{fhvv ghpdqgv1, Wkh vwdqgdug dujxphqw iru xqltxhqhvv ri htxloleulxp lq d prgho ri h{fkdqjh zlwk jurvv vxevwlwxwhv lv h{wudruglqdulo| vlpsoh1 Wkhruhp 7 Vxssrvh wkh pdunhw h{fhvv ghpdqg ixqfwlrq vdwlvhv wkh jurvv vxevwl0 q lv xqltxh xs wr d vfdodu pxowlsoh1 wxwdelolw|1 Wkhq wkh htxloleulxp 5 Unn Surri1 Vxssrvh wkdw dqg W duh wzr htxloleulxp sulfh yhfwruv wkdw duh qrw sur0 sruwlrqdo1 Wkhq zh pd| xvh wkh dvvxpswlrq ri krprjhqlhw| wr qrupdol}h W vr wkdw wkhuh lv d qrqhpsw| surshu vxevhw ri jrrgv L iru zklfk l ' Wl li l 5 L l ? Wl li l 5 @ L= Exw wkhq iru dq| jrrg l 5 L> wkh jurvv vxevwlwxwdelolw| dvvxpswlrq lpsolhv f ' il E A il EW ' f zklfk lv d frqwudglfwlrq1

414

Jhqhudo Htxloleulxp zlwk Surgxfwlrq

Zh ghvfuleh wkh surgxfwlrq vlgh ri wkh hfrqrp| e| dq dfwlylw| dqdo|vlv pdwul{ 5

6

d = = = dm = = = dn 9 11 1 1 11 : 9 D ' 7 111 1 1 1 1 1 1 : 8= dq = = = dqm = = = dqn Hdfk froxpq ri D uhsuhvhqwv d ihdvleoh surgxfwlrq sodq/ zlwk qhjdwlyh hqwulhv uhihuulqj wr lqsxwv lqwr surgxfwlrq dqg srvlwlyh hqwulhv wr rxwsxwv1 Wkh dfwlylwlhv fdq eh xvhg vlpxowdqhrxvo| dw duelwudu| qrq0qhjdwlyh dfwlylw| ohyhov { ' E{ > = = = > {n vr wkdw wkh surgxfwlrq srvvlelolw| vhw dydlodeoh wr wkh hfrqrp| dv d zkroh lv jlyhq e| \ ' i| ' D{ iru { fj= 6

Iuhh glvsrvdo ri frpprglwlhv lv ghvfulehg e| wkh suhvhqfh ri q froxpqv lq D zklfk irup wkh qhjdwlyh ri d xqlw pdwul{1 D frpshwlwlyh htxloleulxp lv jlyhq e| d sulfh dqg dfwlylw| ohyho sdlu E> { vxfk wkdw i E ' D{ dqg D f zlwk htxdolw| iru froxpq m li {m A f1 Lq rughu wr jxdudqwhh wkh h{lvwhqfh ri dq htxloleulxp wkh iroorzlqj dvvxpswlrq lv w|slfdoo| pdgh= Dvvxpswlrq= Wkhuh h{lvwv d qrq0}hur sulfh yhfwru f vxfk wkdw D f1 Xqghu wklv dvvxpswlrq dqg wkh rqhv suhylrxvo| pdgh derxw wkh pdunhw h{fhvv ghpdqg ixqfwlrqv lw lv vwudljkwiruzdug wr ghprqvwudwh wkh h{lvwhqfh ri d frpshwlwlyh htxloleulxp1

415

Xqltxhqhvv lq wkh Ulfdugr Prgho

Ohw wkhuh eh p frxqwulhv dqg q jrrgv zlwk wkh rxwsxw lq frxqwu| m ri jrrg l iru d vlqjoh xqlw ri wkdw frxqwu|*v oderu jlyhq e| dlm A f= Vxssrvh wkdw hdfk frxqwu| m kdv d {hg hqgrzphqw ri oderu Om dqg ohw ilm Es> zm ghqrwh wkh ghpdqg iru jrrg l lq frxqwu| S q m/ jlyhq wkh sulfh yhfwru s 5 Unn dqg wkh frxqw|*v zdjh zm = Ohw il Es> z m ilm Es> z uhsuhvhqw wkh djjuhjdwh ghpdqg iru jrrg l= Li zh vxssrvh wkdw hdfk i m ' Eim > ===> iqm S lv krprjhqhrxv ri ghjuhh 3/ dqg vdwlvhv wkh exgjhw frqvwudlqw sl ilm Es> zm ' zm Om > wkhq i zloo dovr eh krprjhqhrxv ri ghjuhh f lq sulfhv dqg zdjhv dqg vdwlvi| wkh Zdoudv Odz q p [ l'

sl il Es> z

[

m '

zm Om =

Wr hqvxuh wkdw hdfk jrrg lv surgxfhg e| vrph frxqwu| lq htxloleulxp zh dvvxph wkdw wkh pdunhw ghpdqg lv vwulfwo| srvlwlyh dw doo sulfhv1 Ghqlwlrq 8 Wkh pdunhw djjuhjdwh ghpdqg i vdwlvhv jurvv vxevwlwxwdelolw| li dw q Up dqg hdfk jrrg l dqg frxqwu| m doo sulfhv Es> z 5 Unn nn Cil Es> z f iru doo n 9' l Csn Cil Es> z A f= Czm

7

Li jrrg l lv surgxfhg lq frxqwu| m lq wkh htxloleulxp zlwk zdjh udwh z/ wkhq sl dlm ' zm dqg sl dln zn iru doo rwkhu frxqwulhv n= Lw iroorzv wkdw

sl ' 4?dzn @dln o

vr wkdw wkh htxloleulxp zdjh yhfwru z xqltxho| ghwhuplqhv wkh htxloleulxp sulfh yhfwru s= Ehfdxvh ri wklv idfw derxw wkh Ulfdugr prgho/ zh zloo rffdvlrqdoo| qg lw frqyhqlhqw wr uhihu wr dq htxloleulxp lq whupv ri zdjhv dorqh1 Wkhruhp 9 Vxssrvh wkh pdunhw ghpdqg ixqfwlrq vdwlvhv jurvv vxevwlwxwdelolw|/ wkhq wkh htxloleulxp zdjh yhfwru z lv xqltxh xs wr d vfdodu pxowlsoh1 Vxssrvh z dqg z W duh erwk htxloleulxp zdjh yhfwruv wkdw duh qrw sursruwlrqdo1 Wkhq zh pd| qrupdol}h zW vr wkdw wkhuh lv d qrqhpsw| surshu vxevhw ri frxqwulhv M iru zklfk zm ' zmW li m 5 M zm A zmW li m 5 @ M= Zh kdyh wkh iroorzlqj vlpsoh revhuydwlrq derxw wkh wzr htxloleuld zklfk lv ydolg iru doo Ulfdugr prghov/ uhjdugohvv ri dvvxpswlrqv rq wkh pdunhw ghpdqg ixqfwlrqv1 Revhuydwlrq= D jrrg wkdw lv surgxfhg e| d frxqwu| m 5 M lq wkh htxloleulxp zlwk zdjhv zW zloo eh surgxfhg rqo| e| wkh frxqwulhv lq M lq wkh htxloleulxp zlwk zdjhv z1 Surri ri Wkhruhp 9 Zh vhh iurp wklv revhuydwlrq wkdw wkhuh duh vrph jrrgv wkdw duh surgxfhg h{foxvlyho| e| wkh frxqwlhv lq M lq wkh htxloleulxp zlwk zdjhv z1 Ohw xv ghqh L wr eh wkh vhw ri wkhvh jrrgv/ l1h1/ L il G sl ? zn @dln iru doo n 5 @ Mj = Dovr ohw L W eh wkh vhw ri jrrgv iru zklfk wkh frxqwulhv lq M duh ohdvw frvw surgxfhuv xqghu zdjhv z W = L W l G sWl ' 4? zmW @dlm = m MM

W

Vrph ri wkh jrrgv lq L pd| eh surgxfhg e| frxqwulhv qrw lq M lq wkh htxloleulxp zlwk zdjhv zW 1 Wkh revhuydwlrq whoov xv wkdw L W L= Zh kdyh

sl ' sWl iru l 5 L W 8

dqg

li l 5 @ L W wkhq sWl ? 4? zmW @dlm ' 4? zm @dlm ' sl = m MM

m MM

Vlqfh jrrgv lq L duh surgxfhg rqo| e| frxqwulhv lq M dw zdjh yhfwru z lw pxvw eh wuxh dw htxloleulxp wkdw wkh frvw ri sxufkdvlqj wkh zruog ghpdqg iru wkh jrrgv lq L lv ohvv wkdq ru htxdo wr wkh zdjhv uhfhlyhg e| wkh frxqwlhv lq M xqghu z G [ lM L

sl il Es> z

[

m MM

zm Om =

Pruhryhu vlqfh wkh frxqwulhv lq M surgxfh rqo| jrrgv lq L W dw zdjh yhfwru zW > lw iroorzv wkdw wkh ydoxh ri wkh zruog ghpdqg iru wkh jrrgv lq L W lv juhdwhu wkdq ru htxdo wr wkh zdjhv uhfhlyhg e| wkh frxqwulhv lq M xqghu zW G [

m MM

zmW Om

[

lM L W

Exw vlqfh zm ' zmW iru m 5 M zh kdyh [ lM L

sl il Es> z

[

m MM

zm Om '

sWl il EsW > zW =

[ m MM

zmW Om

[ W sl il EsW > zW =

lM L W

Wklv lqhtxdolw| lv ydolg iru doo Ulfdugr prghov uhjdugohvv ri wkh dvvxpswlrqv pdgh derxw wkh pdunhw h{fhvv ghpdqg ixqfwlrqv1 Li zh qrz pdnh wkh dvvxpswlrq ri jurvv vxevwlwxwdelolw| wkhq il Es> z A il EsW > z W iru doo l 5 L W dqg zh rewdlq wkh lqhtxdolwlhv [ lM L

sl il Es> z

[

lM L W

sl il Es> z '

[ W [ W sl il Es> z A sl il EsW > zW =

lM L W

lM L W

Wkh frqwudglfwlrq ehwzhhq wkh odvw sdlu ri lqhtxdolwlhv frpsohwhv wkh surri ri xqltxhqhvv ri wkh frpshwlwlyh htxloleulxp xqghu jurvv vxevwlwxwdelolw|1

5

Lqgh{ Wkhru|

Lqgh{ wkhru| lv d vrsklvwlfdwhg phwkrg ri dqdo|vlv xvhg wr vwxg| wkh vroxwlrqv ri v|vwhpv ri qrq0olqhdu htxdwlrqv jl E{ > = = = > {q ' f/ iru l ' > = = = > q= Xqghu plog dvvxpswlrqv rq wkh sureohp/ zh fdq dvvrfldwh dq lqgh{/ / zlwk hdfk vroxwlrq ri wkh v|vwhp ri htxdwlrqv ghshqglqj rq wkh orfdo ehkdylru ri wkh ixqfwlrqv dw wkdw srlqw1 Wkh pdlq wkhruhp ri lqgh{ wkhru| vwdwhv wkdw wkh vxp ri wkh lqglfhv ryhu wkh hqwluh vhw ri vroxwlrqv lv htxdo wr n1 Wklv joredo uhvxow shuplwv xv wr dvvhuw wkh xqltxhqhvv ri wkh vroxwlrq wr wkh v|vwhp ri htxdwlrqv rq wkh edvlv ri orfdo ehkdylru> iru h{dpsoh li hdfk vroxwlrq kdv dq lqgh{ ri n wkhq wkhuh fdq eh rqo| rqh vroxwlrq1 Zh vkdoo surylgh d vlpsoh looxvwudwlrq ri wkh pdlq wkhruhp lq wkh yhu| vshfldo fdvh ri dq h{fkdqjh hfrqrp| zlwk 2 jrrgv1 D wkrurxjk dqg dffhvvleoh suhvhqwdwlrq ri lqgh{ wkhru| pd| eh irxqg lq wkh yroxph e| Jdufld dqg ]dqjzloo ^4`1 9

514

H{fkdqjh Hfrqrplhv zlwk Wzr Jrrgv

Frqvlghu d sxuh h{fkdqjh hfrqrp| zlwk wzr jrrgv1 Vlqfh wkh erxqgdu| frqglwlrq lpsolhv wkdw vhw ri htxloleulxp sulfhv duh vwulfwo| srvlwlyh/ zh pd| qrupdol}h wkh vhfrqg sulfh wr eh xqlw| dqg frqvlghu wkh h{fhvv ghpdqg iru wkh uvw jrrg dv d ixqfwlrq ri lwv rzq sulfh1 Ohw i E ghqrwh wkh h{fhvv ghpdqg iru jrrg / jlyhq wkh sulfh yhfwru E> 1 Rxu erxqgdu| frqglwlrq dqg wkh Zdoudv Odz lpsolhv wkdw olp g wkh qxpehu ri htxloleuld fkdqjhv gudpdwlfdoo| zlwk vpdoo shuwxuedwlrqv lq wkh ghpdqg ixqfwlrq/ dv looxvwudwhg lq jxuh 61 0.3 0.2 0.1

0

0.2

0.4

0.6 x

0.8

1

-0.1 -0.2

Zh wkhuhiruh h{foxgh wklv qrqjhqhulf fodvv ri hfrqrplhv iurp rxu dqdo|vlv/ e| uhvwulfw0 lqj rxu dwwhqwlrq wr uhjxodu hfrqrplhv/ lq zklfk qrqh ri wkh htxloleuld duh ghjhqhudwh1 Iru dq| qrq}hur qxpehu {/ ohw t}?d{o eh n li { A f dqg li { ? f1 Wkhq/ iru d uhjxodu hfrqrp| zh ghqh q

W?_i E ' t}?di Eo

iru hdfk htxloleulxp = Li > ===> n lpsolhv wkdw n [

'

r

lv wkh vhw ri htxloleulxp sulfhv rxu dqdo|vlv

W?_i Em '

Lw iroorzv wkdw d qhfhvvdu| dqg vx!flhqw frqglwlrq wkdw wkhuh eh d vlqjoh htxloleulxp lv wkdw hdfk htxloleulxp kdyh dq lqgh{ ri n1 ;

515

Wkh Lqgh{ iru d Prgho ri H{fkdqjh zlwk q Jrrgv

Wklv looxvwudwlyh uhvxow fdq eh h{whqghg wr dq h{fhvv ghpdqg ixqfwlrq zlwk q jrrgv1 Zh xvh wkh qrwdwlrq ilm ' Cil @C m = Wkh dvvxpswlrq wkdw wkh h{fhvv ghpdqgv duh krprjhqhrxv ri ghjuhh }hur lpsolhv wkdw [

vr wkdw wkh Mdfreldq pdwul{

m ilm f

5

6

i iq 9 1 11 : 111 M Ei ' 9 1 : 7 11 8 iq iq>q lv vlqjxodu1 Lq rughu wr ghqh wkh lqgh{ ri dq htxloleulxp zh h{dplqh dq duelwudu| sulqflsdo plqru ri wkh Mdfreldq/ vd|/ 5

6

i i>q3 9 : 11 111 9 : GEi ' 7 111 1 8 iq3> iq3>q3 Ghqlwlrq : Dq h{fhvv ghpdqg ixqfwlrq i lv uhjxodu li i E ' f lpsolhv GEi lv qrq vlqjxodu1 Ghqlwlrq ; Wkh lqgh{ dvvrfldwhg zlwk dq htxloleulxp sulfh yhfwru lv ghqhg wr eh t}?d_i|EGEi o Zh kdyh wkh iroorzlqj pdmru uhvxow iurp lqgh{ wkhru| wkdw olqnv wkh lqglfhv ri doo ri wkh htxloleuld ri d prgho ri h{fkdqjh1 Wkhruhp < +Lqgh{ Wkhruhp, Li > 2 > = = = > n duh wkh frpshwlwlyh htxloleulxp ri d uhjxodu h{fkdqjh hfrqrp| wkdw vdwlvhv wkh erxqgdu| frqglwlrq/ wkhq n [ m '

516

W?_i Em ' =

Xqltxhqhvv lq d Prgho ri H{fkdqjh zlwk Jurvv Vxevwl0 wxwhv

Wr ghprqvwudwh xqltxhqhvv ri wkh htxloleulxp lq dq q0jrrg sxuh h{fkdqjh hfrqrp| zlwk jurvv vxevwlwxwhv zh vlpso| vkrz wkdw wkh lqgh{ ri hdfk htxloleulxp lv srvlwlyh/ l1h1/ wkdw 5 6 i i>q3 9 : 11 11 111 : ? f= _i| 9 1 1 7 8 iq3> iq3>q3
q3 9 : 11 11 111 : 9 1 1 7 8 iq3> iq3>q3 kdv srvlwlyh hqwulhv rq wkh pdlq gldjrqdo dqg qhjdwlyh hqwulhv hovhzkhuh/ vr wkdw lw lv d Ohrqwlhi pdwul{1 Exw lw lv dovr d surgxfwlyh Ohrqwlhi pdwul{ vlqfh krprjhqhlw| ri sulfhv lpsolhv q[ 3 m '

m Eilm ' q il>q A f iru l ' > = = = > q =

Wkh fodvvlfdo uhvxow wkdw d surgxfwlyh Ohrqwlhi pdwul{ kdv d srvlwlyh ghwhuplqdqw lpsolhv wkdw wkh lqgh{ lv srvlwlyh/ dqg wkhuhiruh/ wkh htxloleulxp lv xqltxh1

517

Lqgh{ Wkhru| zlwk Surgxfwlrq

Zh vkdoo qrz glvfxvv wkh lqgh{ wkhruhp iru dq htxloleulxp prgho lq zklfk surgxfwlrq lv ghvfulehg e| dq dfwlylw| dqdo|vlv pdwul{1 Wkh uvw suhvhqwdwlrq ri lqgh{ wkhru| iru wklv prgho dsshduv lq Nhkrh*v Sk1G1 wkhvlv +4 z kdv wzr frpsrqhqwv= s wkh jrrgv sulfhv dqg z wkh zdjh udwhv1 Zh dvvxph wkdw wkhuh duh q jrrgv dqg p frxqwulhv1 Wkh dfwlylw| dqdo|vlv pdwul{ wdnhv wkh irup 5 9 9 9 9 % & 9 9 D '9 9 F 9 9 9 9 7

d f dp f f f 11 1 1 1 11 1 11 1 1 1 1 1 f dq f f 11 1 1 1 11 1 11 1 1 1 1 1 f f

111

f f 11 1

6

: : : : : : dqp : :> f : : 11 : : 111 1 8

zlwk D wkdw sduw ri wkh dfwlylw| dqdo|vlv pdwul{ lqyroylqj rxwsxwv dqg F wkh urzv uhihuulqj wr wkh p frxqwulhv1 Zlwk jhqhudo pdunhw ghpdqg ixqfwlrqv wkh Mdfreldq ri ghpdqg zlwk uhvshfw wr

44

sulfhv s dqg zdjhv z lv jlyhq e| 5

Ci @Cs Ci @Csq Ci @Cz 9 11 11 11 111 9 1 1 1 9 9 9 Ciq @Cs Ciq @Csq Ciq @Cz 9 9 f f f 9 9 1 1 11 1 9 11 11 11 1 7 f f f

Ci @Czp 11 111 1 Ciq @Czp f 11 111 1

f

6 : : : : : := : : : : 8

Wkh }hurv lq wkh odvw p urzv dulvh ehfdxvh wkhuh lv qr ghpdqg iru olhvxuh1 Vlqfh wkh pdunhw ghpdqg ixqfwlrqv duh krprjhqhrxv ri ghjuhh }hur/ zh kdyh/ iru hdfk jrrg l [ [ sm Cil @Csm n zm Cil @Czm ' f= m

m

Dv ehiruh zh dvvxph wkdw dw htxloleulxp wkh v dfwlylwlhv lq wkh vhw V duh xvhg1 Wkhq wkh pdwul{ xvhg wr fdofxodwh wkh lqgh{ ri wkh htxloleulxp lv ri vl}h q n p n v1 Lw kdv wkh irup 5 6 I O DV 9 f f FV : 7 8 W W DV FV f zkhuh

ilm ' Cil @Csm /

O lv d pdwul{ ri vl}h q p zlwk hqwulhv olm ' Cil @Czm dqg %

DV FV

&

lv wkh vhw ri dfwlylwlhv xvhg dw htxloleulxp1 Wkh lqgh{ ri wkh htxloleulxp lv wkh vljq ri wkh ghwhuplqdqw ri d sulqflsdo plqru ri wklv pdwul{ rewdlqhg e| vwulnlqj rxw wkh mwk urz dqg froxpq/ zkhuh m q1 Zh dvvxph wkdw wkh prgho lv qrq0ghjhqhudwh vr wkdw wkh lqgh{ lv zhoo ghqhg1 Zlwk pruh ghwdlo wkh lqgh{ pdwul{ lv jlyhq e|

45

5

Ci @Cs Ci @Csl 9 11 11 111 9 1 1 9 9 9 Cil @Cs Cil @Csl 9 9 11 11 111 9 1 1 9 9 Ci @Cs 9 q 9 9 f 9 9 11 9 1 9 9 f 9 9 11 9 9 1 9 9 f 9 9 11 9 1 9 9 9 f 7

11 1

Ci @Csq o 11 11 111 1 1 Cil @Csq ol 11 11 111 1 1 Ciq @Csq oq f f 11 11 111 1 1

Ciq @Csl f 11 111 1 f 11 111 111 1

111

f 11 1

111

f 11 1

111

dlm 11 1

f 11 1

f 11 1

111

f 11 1

f 11 1

f 11 1

om op 11 11 111 111 1 1 olm olp 11 11 111 111 1 1 oqm oqp f f 11 11 111 111 1 1 f f 11 11 111 111 1 1

111

f 11 1

111

11 1

111

f 11 1

111

f 11 1

111

f 11 1

dlm 1 1 1 11 1 f f 1 1 1 11 1

111

111

111

11 1

f 11 1

f 11 1

zkhuh froxpq p n q n l dqg urz p n q n l lqglfdwh wkdw jrrg l lv surgxfhg lq frxqwu| m1 Wkh lqgh{ dvvrfldwhg zlwk wkh htxloleulxp lv n li wkh ghwhuplqdqw ri wkh sulqflsdo plqru rewdlqhg e| vwulnlqj rxw wkh urz dqg froxpq dvvrfldwhg zlwk d sduwlfxodu jrrg lv srvlwlyh> wkh lqgh{ lv li wkh vljq lv qhjdwlyh1 Zh vlpsoli| wkh lqgh{ pdwul{/ zkloh uhwdlqlqj wkh vljq ri doo sulqflsdo plqruv/ e| pxowlso|lqj froxpqv/ dqg urzv/ > = = = q> q n > = = = > q n p e| s > = = = sq > z > = = = > zp dqg xvlqj wkh idfw wkdw li jrrg l lv surgxfhg lq frxqwu| m wkhq sl dlm ' zm 1 Diwhu wklv vlpsolfdwlrq wkh lqgh{ pdwul{ ehfrphv 5

y yl 9 1 1 1 1 11 9 11 1 9 9 9 yl yll 9 9 11 1 1 1 11 9 1 1 9 9 y y 9 q ql 9 9 f f 9 9 11 1 1 1 11 9 1 1 9 9 9 f 9 1 9 1 9 1 9 9 f 9 9 1 9 11 9 9 9 f 7

11 1

111

=== 111

f 11 1

f 11 1

111

zm = = = 1 1 1 11 1 1 1 1

f 11 1

f 11 1

zm 11 111 1

111

f 11 1

= = = yq h hm 11 11 1 1 1 11 111 1 1 1 = = = ylq hl hlm 11 11 1 1 1 11 111 1 1 1 = = = yqq hq hqm === f f f 11 11 1 1 1 11 111 1 1 1

f 11 1

=== 111

f 11 1

f 11 1

111

46

f 11 1

f 11 1

hp 11 111 1 hlp 11 111 1

111

zm 11 111 1 f f 11 111 1

hqp f 11 111 1 f 1 111 111 11 f 11 111 111 1 111

f 11 1

f 11 1

111

zm 11 1 f 11 1

f 11 1

6

111 : : 111

111 111 11 1

111

: : : : : : : : : : : : : :> : : : : : : : : : : : : : : 8

6

111 : : 111 111

111

11 1

111

: : : : : : : : : : : : : := : : : : : : : : : : : : : : 8

zlwk hlm ' sl zm Cil @Czm ylm ' sl sm Cil @Csm dqg [ [ ylm ' hlm = m

m

Dqg qdoo| zh glylgh froxpqv q n p n l ri wkh dfwlylw| dqdo|vlv pdwul{/ dqg wkh urzv ri lwv wudqvsrvh/ e| wkh fruuhvsrqglqj zdjh udwh rewdlqlqj wkh iroorzlqj pdwul{/ zklfk lv vx!fhqwo| lpsruwdqw wr zduudqw d irupdo ghqlwlrq= Ghqlwlrq 43 Zh ghqh wkh lqgh{ pdwul{ L wr eh 5

y yl 9 1 1 1 1 11 9 11 1 9 9 9 yl yll 9 9 11 1 1 1 11 9 1 1 9 9 y y 9 q ql 9 9 f f 9 9 11 1 1 1 11 9 1 1 9 9 9 f 9 1 9 1 9 1 9 9 f 9 9 1 9 11 9 9 9 f 7

11 1

111

f 11 1

111

11 1

111

f 11 1

yq h hm 11 11 1 1 1 11 111 1 1 1 ylq hl hlm 11 11 1 1 1 11 111 1 1 1 yqq hq hqm f f f 11 11 1 1 1 11 111 1 1 1 111

f 11 1

f 11 1

111

f 11 1

111

f 11 1

f 11 1

111

11 1

111

f 11 1

f 11 1

111

f 11 1

hp 11 111 1 hlp 11 111 1

111

f 11 1

111 : :

11 1

111

f 11 1

111

1 1 1 11 1 1 1 1 f f 1 1 1 11 1 1 1 1

hqp f 11 111 1 f 1 111 111 11 f 11 111 111 1 111

6

f 11 1

111

f 11 1

11 1

: : : : : : : : : : : : : : : : : : : : : : : : : : : : 8

Wkh froxpqv wr wkh uljkw ri wkh H pdwul{ ghshqg rq wkh dfwlylwlhv lq xvh dw wkh htxloleulxp1 Hdfk vxfk froxpq kdv wzr qrq0}hur hqwulhv= d lq d urz fruuhvsrqglqj wr d jrrg ehlqj surgxfhg dqg d n lq d urz fruuhvsrqglqj wr d frxqwu| zklfk surgxfhv wkdw jrrg1 Wkh qhjdwlyh wudqvsrvh ri wkhvh froxpqv dsshduv ehorz wkh eorfn ri }hurv1 Wkh dvvxpswlrq ri jurvv vxevwlwxwdelolw| Cil @Csm A f/ iru l 9' m dqg Cil @Czm A f= lpsolhv wkdw hlm A f dqg wkdw Y lv d Ohrqwlhi pdwul{1 Y lv d surgxfwlyh pdwul{ vlqfh [ m

ylm '

[ m

hlm A f=

Zh kdyh wkh iroorzlqj wkhruhp lpso|lqj xqltxhqhvv ri wkh htxloleulxp= 47

Wkhruhp 44 Xqghu wkh dvvxpswlrq ri Jurvv Vxevwlwxwdelolw|/ wkh ghwhuplqdqw ri wkh sulqflsdo plqru ri L rewdlqhg e| vwulnlqj rxw lwv mwk urz dqg froxpq/ zkhuh m q/ lv srvlwlyh dqg wkh lqgh{ ri wkh htxloleulxp lv wkhuhiruh n1 Wkh edvlf lghd ri wkh surri lv wr revhuyh wkdw wkh ghwhuplqdqw ri wkh sulqflsdo plqru rewdlqhg e| vwulnlqj rxw wkh mwk urz dqg froxpq ri L lv suhflvho| wkh ghulydwlyh ri _i| L zlwk uhvshfw wr wkh mwk gldjrqdo hqwu| ymm = Lq rughu wr zrun zlwk wkhvh ghulydwlyhv zh jhqhudol}h wkh pdwul{ L e| doorzlqj lwv gldjrqdo hqwulhv wr ydu|1 Ohw LE eh wkh pdwul{ 5

9 1 9 11 9

yl 1 1 1 11 1 9 9 y l l 9 9 11 1 1 1 11 9 1 1 9 9 y 9 q yql 9 9 f f 9 9 11 1 1 1 11 9 1 1 9 9 9 f 9 1 9 1 9 1 9 9 f 9 9 1 9 11 9 9 9 f 7

11 1

zlwk

111

f 11 1

111

11 1

111

f 11 1

yq h 11 1 1 1 11 1 1 ylq hl 11 1 1 1 11 1 1 q hq f f 11 1 1 1 11 1 1 111

f 11 1

f 11 1

hm hp 11 11 111 111 1 1 hlm hlp 11 11 111 111 1 1 hqm hqp f f 11 11 111 111 1 1 f f 11 11 111 111 1 1

111

f 11 1

f 11 1

111

111

f 11 1

f 11 1

111

f 11 1

11 1

111 111

f 11 1 f 11 1

6

111

f 11 1

111 : :

111

11 1

111

111

f 11 1

111

: :

: : 1 1 1 11 1 1 1 : : 1 : f : : : f : : 1 1 1 11 1 1 1 : :> 1

111

f 11 1

: : : : : : : : : 11 : 1 : : : : 8

l yll =

Dffruglqj wr rxu suhylrxv glvfxvvlrq wkh lqgh{ dvvrfldwhg zlwk wkh htxloleulxp lv htxdo wr t}?dC _i| LE@C m o zkhq l ' yll > l ' > ===> q Wkh surri ri rxu wkhruhp zloo eh frpsohwh li zh fdq vkrz wkh vwurqjhu vwdwhphqw= wkdw LE lv lqfuhdvlqj lq hdfk ri yduldeohv l zkhq l yll = Lw lv xvhixo wr revhuyh wkdw wkh htxloleulxp kdv dvvrfldwhg zlwk lw d el0sduwlwh judsk J zlwk p n q yhuwlfhv/ rqh iru hdfk jrrg dqg rqh iru hdfk frxqwu|1 Wkhuh lv dq hgjh frqqhfwlqj jrrg l dqg frxqwu| m li lq wklv htxloleulxp jrrg l lv surgxfhg lq frxqwu| m1 Wkh judsk pd| yhu| zhoo eh glvfrqqhfwhg> li lw lv zh sduwlwlrq J lqwr frqqhfwhg vxejudskv J > = = = > Js 1 Iru h{dpsoh li wkh prgho lqyroyhv e jrrgv dqg frxqwulhv dqg

48

wkh sduwlfxodu htxloleulxp xvhv wkh iroorzlqj dfwlylwlhv 5 9 9 9 9 % & 9 DV 9 '9 9 FV 9 9 9 7

d f f f f f d2 f f f f f d f f f f f de2 de f f f f f f f f f f

6 : : : : : : :> : : : : 8

wkhq jrrgv > 2> duh surgxfhg lq frxqwu| dorqh dqg jrrg e lv surgxfhg lq frxqwulhv 2 dqg 1 Wkh judsk kdv wzr frpsrqhqwv +jrrgv > 2> dqg frxqwu| , dqg +jrrg e dqg frxqwulhv 2> ,1 Qrz ohw xv ghprqvwudwh/ e| lqgxfwlrq rq wkh vl}h ri wkh Ulfdugr prgho/ wkdw C _i| LE@C m A f zkhq l yll = Wklv uhvxow lpsolhv wkdw wkh ixqfwlrq _i| LE > = = = > q lv lqfuhdvlqj lq hdfk yduldeoh zkhq l yll = Vlqfh _i| LE > = = = > q lv }hur zkhq l ' yll iru doo l lw pxvw eh srvlwlyh iru l A yll 1 Lq rxu lqgxfwlrq dujxphqw zh zloo xvh wkh idfw wkdw wkh fruuhvsrqglqj pdwul{ lv vwulfwo| srvlwlyh iru Ulfdugr prghov 0 vdwlvi|lqj wkh dvvxpswlrq ri Jurvv Vxevwl0 wxwdelolw| 0 zlwk d vpdoohu qxpehu ri jrrgv dqg frxqwulhv1 Ohw xv wdnh m ' vlqfh wkh rwkhu dujxphqwv duh lghqwlfdo1 Wkh ghulydwlyh CLE C lv wkh ghwhuplqdqw ri wkh sulqflsdo plqru rewdlqhg e| vwulnlqj rxw wkh uvw urz dqg froxpq ri LE1 Froxpqv q n p n > = = = > q n p n v ri LE hdfk frqwdlq wzr qrq0}hur hqwulhv lqglfdwlqj wkdw d sduwlfxodu jrrg lv surgxfhg lq d sduwlfxodu frxqwu|1 Wkrvh froxpqv ghvfulelqj wkh vhyhudo frxqwulhv surgxflqj jrrg zloo eh uhsodfhg/ lq wkh sulqflsdo plqru/ e| froxpqv frqwdlqlqj d vlqjoh hqwu| ri n lq wkh urz ri wkdw frxqwu|> wkh froxpqv lqyroylqj jrrgv rwkhu wkdq jrrg zloo frqwdlq erwk n dqg 1 Dqg vlploduo| iru wkh urzv1

49

Iru h{dpsoh li LE kdv wkh irup 5

6

9 1 9 11

= = = yl = = = yq h = = = hm = = = hp = = = f = = = 11 11 11 11 1 1 : 1 1 1 11 1 1 1 11 111 111 1 1 1 11 1 : 1 1 1 1 1 1 1 9 : 9 : 11 9 1 = = = : 9 yl = = = l = = = ylq hl = = = hlm = = = hlp = = = : 9 1 11 11 11 11 1 1 : 1 1 1 11 1 1 1 11 111 111 1 1 1 11 9 1 1 : 9 1 : 1 1 1 1 1 1 1 9 : 9 yq = = = yql = = = : h = = = h = = = h = = = f f = = = q qm qp 9 : q 9 f === f === f === f f === : 9 f === f === f : 9 : 1 1 1 1 1 1 1 9 11 1 1 1 1 1 1 1 1 11 1 1 11 11 11 11 11 11 1 1 11 11 11 : 9 1 : 9 : 9 f === f === f f === f === f === === : 9 : 9 1 11 11 11 11 1 1 : 1 1 1 11 1 1 1 11 111 111 1 1 1 11 9 1 1 : 1 1 1 1 1 1 1 9 1 : 9 9 f 9 9 1 9 11 9 9 9 9 9 f 7

11 1

=== 111

f 11 1

=== 111

f 11 1

=== === === === === 1 1 1 11 1 1 1 1

f 11 1

f f 11 1

f f 11 1

=== 111

f 11 1

=== === 111

11 1

=== 111

f 11 1

=== === 111

f f 11 1

=== 111

=== === 111

f 11 1

f f 11 1

f 11 1

f f 11 1

: : : : : : === : : : === : 8

=== 11 1 111

wkhq froxpqv dqg urzv n> n n lqglfdwh wkdw jrrg dqg jrrg l duh erwk surgxfhg lq frxqwu| m1 Diwhu vwulnlqj rxw froxpq dqg urz wkh plqru lv jlyhq e| 5 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 7

111

11 1

111

111

l 11 1

ylq hl hlm 11 11 1 1 1 11 111 1 1 1 q hq hqm f f f 11 11 1 1 1 11 111 1 1 1 f f f 11 11 1 1 1 11 111 1 1 1 f f f 11 11 1 1 1 11 111 1 1 1

yql f 1 1 1 11 1 f 1 1 1 11 1 111

f 11 1

1 1 1 11 1 1 1 1

11 1

f f 11 1

11 1

f f 11 1

111

111

11 1

11 1

111

11 1

111

11 11 1 1 6 1 : 1 1 : 11 1 : : 11 11 1 1 : 1 : 1 1 : : f f : : f f : : 11 11 1 1 : 1 : 1 1 : : = : : : 11 11 1 1 : 1 1 1

hlp 11 111 1 hqp f 11 111 1

111

111

f 1 1 1 11 1 f f 1 1 1 11 1

111

f 11 1

111

f f 11 1

f 11 1

111 111

f 11 1

f f 11 1

: : : : : : : : : : : 8

11 1 111

Exw qrz froxpq n frqwdlqv d vlqjoh qrq0}hur hqwu| lq urz m dqg urz n frqwdlqv d vlqjoh qrq0}hur hqwu| lq froxpq m1 Li zh h{sdqg wkh plqru e| wkhvh wzr hqwulhv

4:

lq wxuq zh rewdlq wkh vpdoohu plqru 5 11 1 1 1 11 1 1 1 11 1 1 1 9 9 9 l ylq hl 9 1 11 1 1 1 11 9 11 1 11 1 1 9 9 9 yql q hq 9 9 f f f 9 9 1 11 1 1 11 11 9 11 1 1 1 1 9 9 11 1 1 11 11 9 11 9 1 1 1 1 1 9 9 f f f 9 9 1 11 1 1 1 11 9 11 1 11 1 1 9 9 9 7

111

11 1

111

f 11 1

f 11 1

11 111 111 1 hlp 11 111 111 1 hqp f 11 111 111 1 11 111 111 1 f 11 111 111 1 111 111

f 11 1

11 1 1 6 1 : 1 : : 1 1 1 11 1 1 1 : : 1 : : f : : f : : 1 1 1 11 1 1 1 : : 1 := : 1 1 1 11 1 1 1 : : 1 : f : : 11 : 1 1 1 11 1 1 : : 111

111

f 11 1

: : 8 111

Exw qrz wkh froxpq dqg urz fruuhvsrqglqj wr dq| rwkhu jrrg surgxfhg lq frxqwu| m zloo dovr kdyh d vlqjoh lq lw dqg fdq dovr eh uhpryhg zlwkrxw fkdqjlqj wkh ydoxh ri wkh ghwhuplqdqw ri wkh plqru rewdlqhg e| vwulnlqj rxw wkh uvw urz dqg froxpq1 Zh kdyh wkh iroorzlqj fuxfldo revhuydwlrq1 Revhuydwlrq= Wkh ghwhuplqdqw ri wkh plqru rewdlqhg e| vwulnlqj rxw wkh urzv dqg froxpqv ri LE iru dq| sduwlfxodu jrrg zloo eh xqfkdqjhg li zh wkhq vwulnh rxw wkh urzv dqg froxpqv iru doo rwkhu jrrgv zklfk duh surgxfhg lq dq| frxqwu| wkdw surgxfhv wkdw sduwlfxodu jrrg1 Dw wklv srlqw zh frqvlghu wzr fdvhv/ hdfk zlwk lwv rzq h{dpsoh1 Fdvh 1 Wkh vxejudsk ri jrrgv dqg frxqwulhv frqwdlqlqj jrrg lv qrw wkh hqwluh judsk1 Lq wklv fdvh diwhu uhshdwhg dssolfdwlrq ri wkh revhuydwlrq zh duulyh dw wkh ghwhuplqdqw LE iru wkh fruuhvsrqglqj vroxwlrq wr wkh Ulfdugr prgho lq zklfk doo ri wkh jrrgv dqg frxqwulhv lq wkh vxejudsk frqwdlqlqj jrrg duh glvfdughg1 Wklv lv d vpdoohu sureohp 0 zklfk dovr vdwlvhv wkh dvvxpswlrq ri Jurvv Vxevwlwxwdelolw| 0 dqg e| lqgxfwlrq wkh fruuhvsrqglqj ghwhuplqdqw lv srvlwlyh1 Lw iroorzv wkdw C _i| LE@C l A f zkhq l A yll = Dv dq h{dpsoh ri wklv fdvh frqvlghu wkh prgho zlwk e jrrgv dqg frxqwulhv lq zklfk jrrgv > 2> duh surgxfhg lq wkh uvw frxqwu| dqg jrrg e lv surgxfhg lq wkh vhfrqg dqg wklug frxqwulhv1 Wkh dfwlylw| dqdo|vlv pdwul{ lv 5 9 9 9 9 9 9 9 9 9 9 9 7

d f f f f f d2 f f f f f d f f f f f de2 de f f f f f f f f f f 4;

6

: : : : : : := : : : : 8

dqg wkh judsk kdv wzr frpsrqhqwv/ +jrrgv > 2> dqg frxqwu| , dqg +jrrg e dqg frxqwulhv 2> , Wkh lqgh{ pdwul{ LE lv 5 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 7

f f f f 2 f f f f f f f f e f f f f f f f f f f f f f f f f f f f f f f f f f f f

h h2 h he f f f f f

h2 h22 h 2 he2 f f f f f f f

6

h f f f f : h2 f f f f : : h f f f f : : he f f f : : : f f f : : f f f f f : : := f f f f f : : f f f f f f : : : f f f f f f : : f f f f f f : : f f f f f f : 8 f f f f f

Wkh ghulydwlyh ri wkh ghwhuplqdqw ri LE zlwk uhvshfw wr lv 5 9 9 9 9 9 9 9 9 9 9 _i| 9 9 9 9 9 9 9 9 9 9 7

6

2 f f h2 h22 h2 f f f f f f h h 2 h f f f f : : : f : f f e he he2 he f f : f f f f f f f f : : : f f f f f f f f f f : : f f f f f f f f f f : := f f f f f f f f f f : : : f f f f f f f f f : : f f f f f f f f f : : : f f f f f f f f f 8 f f f f f f f f f

Diwhu v|vwhpdwlfdoo| vwulnlqj rxw wkh urzv dqg froxpqv lq wkh frpsrqhqw ri wkh judsk frqwdlqlqj jrrg zh duulyh dw wkh ghwhuplqdqw 5 9 9 9 _i| 9 9 9 7

6

e he2 he : f f f f : : f f f f : : f f f : 8 f f f

iru d Ulfdugr prgho zlwk d vlqjoh jrrg 0 jrrg e 0 dqg frxqwulhv 2> 1 Ri frxuvh/ e A he2 n he 4
2> duh surgxfhg lq frxqwu| / jrrgv 2> e duh surgxfhg lq frxqwu| 2 dqg jrrg e lv surgxfhg lq frxqwu| 1 Wkh pdwul{ ri dfwlylwlhv xvhg lq htxloleulxp lv 5 9 9 9 9 9 9 9 9 9 9 9 7

d f f f f f f f d2 f d22 f f f d f f f f f f f de2 de f f f f f f f f f f f f

6 : : : : : : := : : : : 8

Lq wklv h{dpsoh/ wkh judsk ri jrrgv dqg frxqwulhv lv frpsohwho| frqqhfwhg1 Wkh lqgh{ fdofxodwlrq lv edvhg rq wkh pdwul{ 5 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 7

f f f f 2 f f f f f f f f e f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f

h h2 h he f f f f f f

h2 h22 h 2 he2 f f f f f f f

6

h f f f f f h2 f f f f : : : h f f f f f : : he f f f f : : : f f f f : : f f f f f : : f f f f f f : := : f f f f f f f : : f f f f f f f : : : f f f f f f f : : f f f f f f f : : : f f f f f f f 8 f f f f f f

Wkh ghulydwlyh ri wkh ghwhuplqdqw ri LE zlwk uhvshfw wr lv

53

5 9 9 9 9 9 9 9 9 9 9 9 9 _i| 9 9 9 9 9 9 9 9 9 9 9 7

6

2 f f h2 h22 h2 f f f f : f f : f f h h 2 h f f f : f f e he he2 he f f f f : : f f f f f f f f f : : : f f f f f f f f f f : : f f f f f f f f f f f : : := f f f f f f f f f f f : : f f f f f f f f f f : : : f f f f f f f f f f : : f f f f f f f f f f : : f f f f f f f f f f : 8 f f f f f f f f f f

Li zh vwulnh rxw urzv dqg froxpqv fruuhvsrqglqj wr frxqwu| 4/ wkhq jrrgv 5 dqg 6/ wkhq frxqwu| 5 dqg jrrg 7/ zh rewdlq wkh ghwhuplqdqw %

_i|

f f

&

A f=

Wklv frqfoxghv wkh surri ri Wkhruhp dqg ghprqvwudwhv wkh xqltxhqhvv ri wkh frpshwlwlyh htxloleulxp1 Zlovrq ^8` surylghv dq dowhuqdwlyh dujxphqw iru wklv uhvxow1

54

Uhihuhqfhv ^4` F1 E1 Jdufld dqg Z1 L1 ]dqjzloo/ Sdwkzd|v wr Vroxwlrqv/ Il{hg Srlqwv dqg Htxl0 oleuld/ Suhqwlfh0Kdoo/ 4