COWLES FOUNDATION FOR RESEARCH IN ECONOMICS
AT YALE UNIVERSITY
Box 2125, Yale Station
New Haven, Connecticut 06520
COWLES FOUNDATION DISCUSSION PAPER NO. 1181
Note: Cowles Foundation Discussion Papers are preliminary materials
circulated to stimulate discussion and critical comment.
Requests for single copies of a Paper will be filled by the
Cowles Foundation within the limits of the supply. References
in publications to Discussion Papers (other than mere
acknowledgment by a writer that he has access to such
unpublished material) should be cleared with the author to
protect the tentative character of these papers.
NONSTATIONARY DENSITY ESTIMATION AND KERNEL
AUTOREGRESSION
Peter C. B. Phillips and Joon Y. Park
June 1998
5AAW+v #,5WAv ,5AWAW # k,+,w
NA+,B+,55W
i|ih **Tt
WL*it 6L?_@|L? uLh +iti@hU ? ,UL?L4Ut
v@*i N?iht|)
@?_
aLL? v @h!
,UL?L4Ut #tL?
5iL* @|L?@* N?iht|)
@hU bbH
DevwudfwDq dv|pswrwlf wkhru| lv ghyhorshg iru wkh nhuqho ghqvlw| hvwlpdwh ri d udqgrp zdon dqg wkh nhuqho uhjuhvvlrq hvwlpdwru ri d qrqvwdwlrqdu| uvw rughu dxwruhjuhvvlrq1 Wkh nhuqho ghqvlw| hvwlpdwru surylghv d frqvlvwhqw hvwlpdwh ri wkh orfdo wlph vshqw e| wkh udqgrp zdon lq wkh vsdwldo ylflqlw| ri d srlqw wkdw lv ghwhuplqhg lq sduw e| wkh dujxphqw ri wkh ghqvlw| dqg lq sduw e| lqlwldo frqglwlrqv1 Wkh nhuqho uhjuhvvlrq hvwlpdwru lv vkrzq wr eh frqvlvwhqw dqg wr kdyh d pl{hg qrupdo olplw wkhru|1 Wkh olplw glvwulexwlrq kdv d pl{lqj yduldwh wkdw lv jlyhq e| wkh uhflsurfdo ri wkh orfdo wlph ri d vwdqgdug Eurzqldq prwlrq1 Wkh shuplvvleoh udqjh iru wkh edqgzlgwk sdudphwhu kqlqfoxghv udwhv zklfk pd| lqfuhdvh dv zhoo dv ghfuhdvh zlwk wkh vdpsoh
vl}h q/ lq frqwudvw wr wkh fdvh ri d vwdwlrqdu| dxwruhjuhvvlrq1 Krzhyhu/ wkh frqyhujhqfh udwh ri wkh nhuqho uhjuhvvlrq hvwlpdwru lv dw prvw q4@7/ dqg wklv lv vorzhu wkdq wkdw ri d vwdwlrqdu|
nhuqho dxwruhjuhvvlrq/ lq frqwudvw wr wkh sdudphwulf fdvh1 Lq vslwh ri wkhvh glhuhqfhv lq wkh olplw wkhru| dqg wkh udwhv ri frqyhujhqfh ehwzhhq wkh vwdwlrqdu| dqg qrqvwdwlrqdu| fdvhv/ lw lv vkrzq wkdw wkh xvxdo irupxodh iru frqghqfh lqwhuydov iru wkh uhjuhvvlrq ixqfwlrq vwloo dsso| zkhq kq$ 3=
Nh| zrugv dqg skudvhv= Eurzqldq vkhhw/ nhuqho uhjuhvvlrq/ orfdo wlph/ pduwlqjdoh hpehgglqj/ pl{0
wxuh qrupdo/ qrqvwdwlrqdu| ghqvlw|/ rffxsdwlrq wlph/ txdgudwlf yduldwlrq/ xqlw urrw dxwruhjuhvvlrq1
WAt T@Tih }hi L| Lu @ Thi*4?@h) _h@u| M) **Tt |@| @t h||i? ? a*) bbec MiU@4i @ L?| ThLiU|
@?_ i?| |hL} tUUitti uh|ih _h@u|t *i @h! t|i_ |i L*it 6L?_@|L? uLh +iti@hU ? ,UL?L4Ut _h?} |i u@** Lu bbD W| @t ?@**) UL4T*i|i_ ? @hU bbH **Tt |@?!t |i 56 uLh hiti@hU tTTLh| ?_ih Bh@?| L 5+ be22b22
W?|hL_U|L?
Wkh dv|pswrwlf ehkdylru ri sdudphwulf dxwruhjuhvvlrq kdv ehhq h{whqvlyho| uhvhdufkhg lq wlph vhulhv prghov wkdw lqfoxgh erwk vwdwlrqdu| dqg qrqvwdwlrqdu| +xqlw urrw, fdvhv1 Wkh surshuwlhv ri qrqsdudphwulf nhuqho phwkrgv lq wlph vhulhv dssolfdwlrqv kdyh dovr ehhq vwxglhg/ exw dwwhqwlrq kdv vr idu ehhq olplwhg wr wkh fdvh ri vwdwlrqdu| prghov1 Frqyhujhqfh uhvxowv iru nhuqho uhjuhvvlrq hvwlpdwruv duh sduwlfxoduo| zhoo ghyhorshg iru ghshqghqw gdwd xqghu zhdn ghshqghqfh frqglwlrqv/ iroorzlqj zrun e| Urelqvrq +4<;6,/ Froorpe +4<;8d,/ dqg Elhuhqv +4<;6,1 Wkh dv|pswrwlf uhvxowv duh dqdorjrxv wr wkrvh zlwk lqghshqghqw dqg lghqwlfdoo| glvwulexwhg gdwd dqg lqfoxgh frqvlvwhqf| dqg dv|pswrwlf qrupdolw| ri wkh nhuqho uhjuhvvlrq hvwlpdwru xqghu vwdqgdug uhjxodulw| frqglwlrqv wkdw lqyroyh d vkulqnlqj edqgzlgwk dv wkh vdpsoh vl}h +q, whqgv wr lqqlw|1 Dq rswlpdo gdwd0 gulyhq edqgzlgwk vhohfwru lv dovr dydlodeoh iru nhuqho uhjuhvvlrq zlwk vwdwlrqdu| wlph vhulhv xvlqj furvv ydolgdwlrq phwkrgv +Kdugoh dqg Ylhx/ 4<<5,1 Wkh olwhudwxuh lv uhylhzhg lq Froorpe +4<;8e,/ Elhuhqv +4<;:,/ Kdugoh +4<<3,/ dqg Kdugoh dqg Olqwrq +4<<8,/ dqg wkhvh phwkrgv duh qrz xvhg h{whqvlyho| lq hpslulfdo hfrqrphwulf uhvhdufk1
Dv |hw/ wkhuh dsshdu wr eh qr dv|pswrwlf uhvxowv iru nhuqho uhjuhvvlrq hvwlpdwruv lq prghov zlwk xqlw urrwv ru lqwhjudwhg surfhvvhv1 Wkh udqgrp zdon prgho lv dq lpsruwdqw vshfldo fdvh wkdw lv xqfryhuhg e| h{lvwlqj wkhru| dqg |hw lv hpslulfdoo| uhohydqw lq hfrqrphwulf zrun1 Wkh jrdo ri wkh suhvhqw sdshu lv wr ehjlq wkh vwxg| ri qrqsdudphwulf hvwlpdwlrq ri qrqvwdwlrqdu| uhjuhvvlrqv e| ghyhorslqj dq dv|pswrwlf wkhru| ri nhuqho ghqvlw| hvwlpdwlrq dqg nhuqho uhjuhvvlrq lq wkh vsh0 fldo fdvh ri d udqgrp zdon1 Dowkrxjk wklv prgho lv yhu| vlpsoh/ lw vhuyhv wr looxvwudwh wkh phwkrgv wkdw duh qhhghg iru dq dv|pswrwlf wkhru| lq wklv fodvv ri sureohp dqg |lhogv vrph lqwhuhvwlqj uhvxowv rq frqyhujhqfh udwhv wkdw duh lqglfdwlyh ri wkh hhfwv ri qrqvwdwlrqdulw| rq nhuqho uhjuhv0 vlrq1 Wkh phwkrgv dqg uhvxowv ri wklv sdshu vkrxog eh xvhixo iru qrqsdudphwulf lqihuhqfh derxw qrqvwdwlrqdu| wlph vhulhv dqg duh dovr olnho| wr eh xvhixo lq wkh hog ri qrqsdudphwulf hvwlpdwlrq ri qrqolqhdu glxvlrq surfhvvhv +Dlw Vdkdold/ 4<<9 ) 4<<:/ dqg Mldqj dqg Nqljkw/ 4<<:,1
Vshflfdoo|/ wklv sdshu frqvlghuv wkh fdvh ri d elyduldwh wlphv vhulhv +||> x|, rq d suredelolw|
vsdfh + > I> S , dgdswhg wr d owudwlrq I| dqg vdwlvi|lqj wkh xqlw urrw dxwruhjuhvvlrq
||@ p+||3, . x| > p+||3, @ ||3 d=v= +w @ 4> ===> q, +4,
zlwk @ 4 dqg x| llg+3> 2,1 Wkh revhuyhg surfhvv || lv lqlwldol}hg dw w @ 3 dqg zh zloo doorz
iru ydulrxv srvvlelolwlhv uhjduglqj wkh vwrfkdvwlf surshuwlhv ri wkh lqlwldo ydoxh |f= Wkh uhjuhvvlrq
ixqfwlrq lq +4, lv jlyhq e| wkh frqglwlrqdo phdq ixqfwlrq p+{, @ H+||m||3 @ {, dw { dqg rxu
sulpdu| lqwhuhvw lv lq wkh dv|pswrwlf surshuwlhv ri wkh Qdgdud|d~Zdwvrq nhuqho hvwlpdwh ri p+{, jlyhq e|
p?+{, @ ?|'N?+{ ||3,||@ ?|'N?+{ ||3,> +5,
zkhuh N?+, @ k3? N+@k?,/ k? lv wkh edqgzlgwk sdudphwhu dqg N+, lv wkh nhuqho ixqfwlrq1
Zh duh dovr lqwhuhvwhg lq wkh txdqwlw| e i?+{, @ +qk?,3 ? [ |' N { ||3 k? > +6,
d vfdohg yhuvlrq ri wkh ghqrplqdwru ri +5,/ zklfk lv wkh xvxdo nhuqho hvwlpdwh ri zkdw zrxog eh wkh suredelolw| ghqvlw| ri || dw { li || zhuh vwulfwo| vwdwlrqdu| +l1h1 li mm ? 4> dqg || @ |_ f @_
Q3> 2@+4 2,,1 Lw zloo eh vkrzq wkdw wkh txdqwlw|sq ei
?+{, vwloo kdv d phdqlqj dv d w|sh ri
ghqvlw| hvwlpdwh hyhq lq wkh qrqvwdwlrqdu| fdvh1 Lq idfw/ lq wkh qrqvwdwlrqdu| fdvh/sq ei?+{, whoov
5
dv d irup ri cghqvlw|* hvwlpdwh1 Wkh srlqw zkhuh wklv ghqvlw| lv ehlqj phdvxuhg wxuqv rxw wr ghshqg lq sduw rq lqlwldo frqglwlrqv1 Vxfk hvwlpdwhv dqg wkh dv|pswrwlf wkhru| dvvrfldwhg zlwk wkhp zloo eh xvhixo lq dvvhvvlqj wkh vsdwldo fkdudfwhulvwlfv ri qrqvwdwlrqdu| wlph vhulhv olnh vwrfn sulfhv/ lqwhuhvw udwhv dqg h{fkdqjh udwhv1
Lw lv ixuwkhu vkrzq wkdw wkh nhuqho hvwlpdwru ri wkh frqglwlrqdo phdq ixqfwlrq p?+{, lv d
frqvlvwhqw hvwlpdwru ri p+{,/ dv lq wkh fdvh ri d vwdwlrqdu| dxwruhjuhvvlrq1 Krzhyhu/ xqolnh wkh vwdwlrqdu| fdvh +mm ? 4,/ wkh olplw glvwulexwlrq ri wkh nhuqho hvwlpdwru lq wkh xqlw urrw fdvh wxuqv rxw wr eh pl{hg qrupdo/ udwkhu wkdq qrupdo/ dqg wkh pl{wxuh yduldwh fdq eh h{suhvvhg lq whupv ri wkh orfdo wlph ri d Eurzqldq prwlrq lq wkh qhljkerukrrg ri wkh ruljlq1 Dovr/ wkh udwh ri frqyhujhqfh wr wklv olplw glvwulexwlrq lv vkrzq wr eh vorzhu wkdq wkdw ri wkh nhuqho hvwlpdwru lq wkh vwdwlrqdu| fdvh1 Wkhvh odwwhu wzr uhvxowv duh yhu| glhuhqw iurp wkh fruuhvsrqglqj dv|pswrwlfv iru sdudphwulf dxwruhjuhvvlrqv lq wkh vwdwlrqdu| dqg qrqvwdwlrqdu| fdvhv1
2 5L4i hi*4?@h) AiLh)
Rxu ghyhorsphqw uholhv rq wkh orfdo wlph ri d Eurzqldq prwlrq1 Xvlqj wkh Wdqdnd irupxod dqg iroorzlqj Uhyx} dqg \ru +4<<4/ ss1 53:~549,/ zh ghqh orfdo wlph dv iroorzv dqg pdnh vshflf vrph ri wkh surshuwlhv wkdw duh qhhghg lq rxu ghyhorsphqw1
514 Ghqlwlrq Iru d frqwlqxrxv orfdo pduwlqjdoh P/ wkhuh h{lvwv dq lqfuhdvlqj surfhvv O+> v, fdoohg wkh orfdo wlph ri P dw v vxfk wkdw mP+u,vm @ mP+3,vm .] o f vjq+P+w,v,gP+w, . O+u> v, +P+u,v,n@ +P+3,v,n. ] o f 4+P+w, A v,gP+w, . +4@5,O+u> v, +P+u,v,3@ +P+3,v,3] o f 4+P+w, v,gP+w, . +4@5,O+u> v, zkhuh vjq+{, @ 4> 4 li { A 3/ { 3/ dqg 4+D, lv wkh lqglfdwru ri D1
5151 Ohppd +Frqwlqxlw| ri Pduwlqjdoh orfdo wlphv, Iru dq| frqwlqxrxv orfdo pduwlqjdoh P/
wkhuh h{lvwv d yhuvlrq ri wkh orfdo wlph vxfk wkdw +u> v, :$ O+u> v, lv d1v1 frqwlqxrxv lq erwk u dqg v1 Pruhryhu/ lw fdq eh fkrvhq vr wkdw v :$ O+u> v, lv Kroghu frqwlqxrxv ri rughu n iru hyhu|
n ? 4@5 xqlirupo| lq u rq hyhu| frpsdfw lqwhuydo1
5161 Ohppd +Rffxsdwlrq wlphv irupxod, Ohw P eh d frqwlqxrxv orfdo pduwlqjdoh zlwk txdgudwlf
yduldwlrq surfhvv ^P`o dqg ohw O+> v, eh lwv orfdo wlph dw v1 Wkhq
] |
f i+P+u,> u,g^P`o @
] "
3"gv
] |
f i+v> u,gO+u> v, +7, iru hyhu| Eruho ixqfwlrq i1 Zkhq i kdv rqo| d vlqjoh dujxphqw zh kdyh wkh vlpsohu irupxod
] |
f i+P+u,,g^P`o@
] "
6
Vhwwlqj i wr eh wkh lqglfdwru ixqfwlrq i+P, @ 4+mP+u,sm ? %, lq irupxod +8,/ zh ghgxfh wkdw O+w> s, @ olp0<f5%4
] |
f 4+mP+u,sm ? %,g^P`o > +9,
d uhsuhvhqwdwlrq zklfk h{sodlqv zk| O+w> s, lv fdoohg wkh orfdo wlph ri P dw wkh srlqw s1 Iru
vwdqgdug Eurzqldq prwlrq Z zh kdyh O`+w> s, @ olp0<f5%4
] |
f 4+mZ+u,sm ? %,gu >
zklfk zh ghqrwh e| O+w> s,1 Wkh orfdo wlph ri vwdqgdug Eurzqldq prwlrq dw wkh ruljlq zloo eh ghqrwhg vlpso| e| O+w,1 Li E @ Z lv Eurzqldq prwlrq zlwk yduldqfh 2/ wkhq e| d vlpsoh
fdofxodwlrq zh kdyh O+w> s, @ O+w> s@,> dqg vr O+w, @ O+w,1 Dv lv fohdu iurp irupxod
+9,/ orfdo wlph lv phdvxuhg lq xqlwv ri wkh txdgudwlf yduldwlrq surfhvv/ zklfk zh fdq wklqn ri dv lqirupdwlrq xqlwv ehfdxvh wkh| uhhfw wkh dprxqw ri lqirupdwlrq wkdw lv ehlqj dffxpxodwhg derxw wkh surfhvv1 Lq wkh fdvh ri wkh Eurzqldq prwlrq E> wklv lv vlpso| d vfdohg yhuvlrq ri fkurqrorjlfdo wlph vlqfh g ^E`o@ 2gu=
Zh ghqh wkh fkurqrorjlfdo orfdo wlph ri E gluhfwo| dv O+w> s, @ olp0<f5%4
] |
f 4+mE+u,sm ? %,gu @ 32O
+w> s,= +:,
Wklv phdvxuhv wkh orfdo wlph wkdw E vshqgv dw s lq wkh fkurqrorjlfdo xqlwv gu +dv glvwlqfw iurp lqirupdwlrq xqlwv phdvxuhg lq g ^E`o @ 2gu,1 Iru uhdvrqv wkdw zloo ehfrph dssduhqw odwhu rq/
wkh fkurqrorjlfdo orfdo wlph ri Eurzqldq prwlrq sod|v dq lpsruwdqw uroh lq nhuqho uhjuhvvlrq dv|pswrwlfv1
Zh pdnh wkh iroorzlqj dvvxpswlrqv derxw wkh nhuqho ixqfwlrq N+,> wkh edqgzlgwk k?> wkh
lqlwldo frqglwlrq |f dqg wkh huuruv x lq +4,1
5171 Dvvxpswlrq1 Wkh nhuqho N+, lv d v|pphwulf dqg qrqqhjdwlyh ghqvlw| zlwk lqwhjudeoh fkdudfwhulvwlf ixqfwlrq *g dqg vdwlvhv wkh iroorzlqj frqglwlrqv iru vrph u A 5=
] " 3"N+v, @ 4> ] " 3"N+v, 2gv ? 4> ] " 3"v 2oN+v, gv ? 4> vxs r N+v, ? 4> 5181 Dvvxpswlrq1 +d, q3Bk2 ?$ 4/ dqg k?@qE3B*2$ 3 iru vrph A 31 +e, q3Bke ?$ 4/ dqg k?@qE3B*2$ 3 iru vrph A 31
5191 Dvvxpswlrq1 Wkh lqlwldo frqglwlrqv ri +4, duh vhw dw w @ 3 dqg |f kdv wkh iroorzlqj jhqhudo irup |f@ x . d?Vo [ 'f x3> iru vrph 3 +;, zkhuh x lv dq R@r+4, udqgrp yduldeoh zlwk H+mxmR, ? 4 iru vrph s A 5=
51:1 Dvvxpswlrq1 Wkh huuruv ixj"'3" lq +4, dqg +;, duh llg+3> 2, zlwk H+mxmR, ? 4> iru vrph s A 5=
7
+l, Frqglwlrq 517 lv dqdorjrxv wr frqglwlrqv wkdw duh frpprqo| pdgh lq nhuqho ghqvlw| dqg nhuqho uhjuhvvlrq dv|pswrwlfv iru vwdwlrqdu| surfhvvhv1 Wkh prphqw frqglwlrq lpsolhv wkdw wkh nhuqho kdv wdlo ehkdylrxu ri wkh irup N+{, @ r+m{m32o, dv m{m $ 4= Lq wkh surri ri Wkhruhp 614
ehorz dqg vrph odwhu uhvxowv/ lw zloo eh frqyhqlhqw wr sodfh vwurqjhu frqglwlrqv rq wkh prphqw h{srqhqw u wkdq u A 5= Wkhvh vwurqjhu frqglwlrqv duh pdgh h{solflw dv zh qhhg wkhp1
+ll, Frqglwlrq 518 doorzv iru edqgzlgwk sdudphwhuv ri wkh irup k? @ fq&/ 4@5 . ? n ?
4@45 iru vrph frqvwdqw f dqg vrph A 3 lq fdvh +d,/ dqg 4@7 . ? n ? 4@45 lq fdvh +e,1 Wkxv/ wkh edqgzlgwk k? pd| lqfuhdvh/ dv zhoo dv ghfuhdvh/ dv q $ 41 Krzhyhu/ lw vkrxog
qrw ghfuhdvh wrr idvw qru lqfuhdvh wrr idvw zlwk q1 Pruh vshflf edqgzlgwk udwhv zloo eh jlyhq lq rxu dv|pswrwlf ghyhorsphqw1
+lll, Dvvxpswlrq 519 shuplwv wkh lqlwldo ydoxh |fwr eh }hur/ d frqvwdqw/ d {hg udqgrp yduldeoh
+doo ri wkhvh duh rewdlqhg e| vhwwlqj @ 3 dqg e| pdnlqj wkh dssursuldwh dvvxpswlrq derxw x,/ ru d udqgrp yduldeoh wkdw lv ghshqghqw rq wkh vdpsoh vl}h dqg wkh sdudphwhu 1 Wkh odwwhu frqglwlrq doorzv iru wkh yduldqfh ri |f wr jurz zlwk q> vr wkdw wkh ehkdylrxu ri |f pruh forvho| uhvhpeohv
wkdw ri wkh vdpsoh gdwd1
Wkh iroorzlqj uhvxowv duh xvhixo lq rxu pdlq ghyhorsphqw1
51<1 Ohppd +Olplw wkhru| iru ixqfwlrqdov ri Eurzqldq prwlrq, Ohw E+v, eh d Eurzqldq prwlrq
zlwk yduldqfh 2=
+d, Li i +, lv d slhfhzlvh frqwlqxrxv dqg lqwhjudeoh ixqfwlrq zlwk i @U3"" i+{,g{ 9@ 3/ wkhq
dv $ 4 3*2] b| f i +E+v,, gv _ $ i32O +w,=
+e, Vxssrvh i +, lv slhfhzlvh frqwlqxrxv dqg lqwhjudeoh zlwk i @ 3> dqg U3"" {2i+{,g{ ? 4= Wkhq/ dv $ 4
3*e] b|
f i +E+v,, gv _
$ i5 ki> ilj*232X +O+w,, >
zkhuh ki> il @ U3"" U3"" m{ |mi+{,i+|,g{g| lv wkh chqhuj|* ri i dqg X lv d vwdqgdug Eurzqldq
prwlrq lqghshqghqw ri E=
+f, Ohw +v> ===> v&, eh uhdo qxpehuv zlwk v9@ v> ;l 9@ m/ dqg ohw d A 3= Wkhq/ dv $ 4
k *2iO +w> v. d@, O+w> v,j > l @ 4> ===> n l _ $k5d*2X +O+w> v,, > l @ 4> ===> n l >
zkhuh O+w> v, lv wkh orfdo wlph dw w ri E dw v/ dqg iX> l @ 4> ===> nj duh lqghshqghqw vwdqgdug Eurzqldq prwlrqv wkdw duh lqghshqghqw ri E1
+g, Ohw u eh d {hg uhdo qxpehu dqg wuhdw O+w> u .br, O+w> u, dv d grxeoh lqgh{hg vwr0 fkdvwlf surfhvv lq wkh dujxphqwv +w/v,1 Wkhq/ dv $ 4
53*2qO
+w> u .v, O+w> u,
r _
$ T+O+w> u,> v,> zkhuh T+w> v, lv d vwdqgdug Eurzqldq vkhhw1
51431 Ohppd +Olplw wkhru| iru nhuqho lqwhjudov ri orfdo wlph, Li E+v, lv d Eurzqldq prwlrq zlwk
8 3*2] " 3"N+v,O+w> v,gv _ $ O+w,> +<, 3*e] " 3"vN+v,O+w> v,gv _ $ **2X+O +w,,> +43, *2 ] " 3"vN+v,O+w> u . v ,gv$ *_ *2X+O+w> u,,> +44,
zkhuh O+w, dqg O+w> u, duh wkh orfdo wlphv dw w ri E dw wkh ruljlq dqg dw u/ uhvshfwlyho|/ X lv d vwdqgdug Eurzqldq prwlrq lqghshqghqw ri E/ dqg * @ 5U3"" U3"" md emdeN+d,N+e,gdge1
@? +it*|t
Zh vwduw zlwk d frqvwuxfwlrq wkdw hqdeohv xv wr ghdo lq d frqyhqlhqw zd| zlwk vdpsoh prphqwv ri nhuqho ixqfwlrqv ri wkh gdwd1 Lq wkh irup jlyhq khuh/ wkh frqvwuxfwlrq xvhv dq h{sdqghg suredelolw| vsdfh lq zklfk wkh gdwd fdq eh uhsuhvhqwhg doprvw vxuho| dqg xs wr d qhjoljleoh huuru lq whupv ri d Eurzqldq prwlrq wkdw lv ghqhg rq wkh vdph vsdfh1 Wklv dujxphqw uholhv rq dq doprvw vxuh lqyduldqfh sulqflsoh dqg dq hpehgglqj dujxphqw olnh wkdw xvhg lq Skloolsv dqg Sorehujhu +4<<9,1 Pruh vshflfdoo|/ ghqh wkh sduwldo vxp surfhvv V& @S&'x iru n 4> dqg Vf @ 3> iru n @ 31
Vlqfh x kdv qlwh prphqwv ri rughu s A 5> zh fdq h{sdqg wkh suredelolw| vsdfh dv qhfhvvdu| wr
vhw xs d sduwldo vxp surfhvv wkdw lv glvwulexwlrqdoo| htxlydohqw wr E?| dqg d Eurzqldq prwlrq
E+, zlwk yduldqfh 2 rq wkh vdph vsdfh iru zklfk
vxs
f$&$?mV&E+n,m @ r@r+q
R,= +45,
Dv s ehfrphv odujh/ wkh huuru lq wklv dssur{lpdwlrq ehfrphv vpdoohu dqg lw ehfrphv erxqghg/ ru R@r+4,> zkhq V& lv Jdxvvldq1 Doprvw vxuh lqyduldqfh sulqflsohv ru vwurqj dssur{lpdwlrqv ri
wkh w|sh +45, kdyh ehhq suryhg e| pdq| dxwkruv xvlqj d ydulhw| ri whfkqltxhv/ d srsxodu uhfhqw dssurdfk ehlqj wkh Kxqjduldq frqvwuxfwlrq/ h1j1 vhh Vkrudfn dqg Zhooqhu +4<;9, dqg Fvrujr/ P1 dqg O1 Kruydwk +4<<6,1 Vhwwlqj E?& @ q3*2 &'x> zh fdq zulwh wklv dssur{lpdwlrq lq wkh irup
vxs f$&$? E?& E+nq, @ r@r 4 q23R =
Ohw ^qu` eh wkh lqwhjhu sduw ri qu= Wkhq/ e| dgmxvwlqj wkh vsdfh dv qhhghg/ zh kdyh q3*2| |@ q3*2|d?oo@ q3*2|f. E ^qu` q . r@r 4 q23R
iru +w 4, @q u ? w@q= Ixuwkhu/ e| wkh orfdo Kroghu frqwlqxlw| ri Eurzqldq prwlrq Ed?oo? @ E+u, . r@r q3 2nB iru A 3> vr zh kdyh q3*2| |@ q3*2|d?oo @ q3*2|f. E +u, . r@r 4 q23R +46,
9
Lq d vlplodu zd|/ zkhq Dvvxpswlrq 519 dssolhv wr wkh lqlwldol}dwlrq dw |f/ zh fdq h{sdqg wkh
suredelolw| vsdfh dv qhhghg wr dsso| wkh vwurqj dssur{lpdwlrq dqg xvh Kroghu frqwlqxlw| ri wkh Eurzqldq prwlrq wr zulwh q3*2| f@ q3*2x . q3*2 d?Vo'fx3 @ q3*2x . Ef+, . r@r 4 q23R > +47, zkhuh Ef lv d Eurzqldq prwlrq +lqghshqghqw ri E, zlwk yduldqfh 2=
Lq zkdw iroorzv/ zh zloo surfhhg dv li wkh suredelolw| vsdfh dqg yduldwhv rq wkhp kdyh doo ehhq dgmxvwhg vr wkdw uhodwlrqv +46, dqg +47, krog iru wkh ruljlqdo gdwd1 Dv xvxdo/ wkh uhvxowv lpso| glvwulexwlrqdo frqyhujhqfh lq sodfh ri doprvw vxuh frqyhujhqfh lq wkh ruljlqdo udqgrp frruglqdwhv1 Xvlqj wkhvh vwurqj dssur{lpdwlrqv/ zh fdq hvwdeolvk wkh iroorzlqj dv|pswrwlf uhvxow iru wkh ghqvlw| hvwlpdwh ei?+{, lq +6,1
6141 Wkhruhp Ohw Dvvxpswlrqv 517/ 518+d,/ 519 dqg 51: krog1 Ghqh f? @sq@k?1 Wkhq/ iru vrph 5 +4@5> 4, dqg % A 3> dv q $ 4 4 s qk2 ? ? [ |' N { ||3 k? f? ] f N f? { |s f q E+u, 4 { |s f q 4 f? E+u, { |s f q . 4 f? gu @ r@r 4 q*en*S30 +48, Iru { @ {f.sqd> zlwk {f dqg d {hg/ zh kdyh s q ei?+{, @s4 qk2 ? ? [ |' N { ||3 k? @r$ O@cV > +49,
zkhuh O@cV @ O+4> d Ef+,,> dqg O lv wkh fkurqrorjlfdo orfdo wlph ri wkh Eurzqldq prwlrq E=
6151 Uhpdunv +l, Dv uhpdunhg lq wkh lqwurgxfwlrq/ wkh txdqwlw| ei?+{, @ +qk?,3N %3+ |3 ? lv wkh xvxdo nhuqho hvwlpdwh ri zkdw zrxog eh wkh ghqvlw| ri ||3dw { li wkh surfhvv ||3zhuh vwulfwo| vwdwlrqdu|1
Wkhruhp 614 vkrzv wkdw wkh txdqwlw| sq ei?+{, vwloo kdv d phdqlqj dv d w|sh ri ghqvlw| hvwlpdwh
hyhq lq wkh qrqvwdwlrqdu| fdvh zkhuh @ 4 lq +4,1 Lq hhfw/ sq ei?+{, hvwlpdwhv wkh orfdo wlph/
O+4> d . Ef+,,> wkdw ||3 vshqgv lq wkh lpphgldwh ylflqlw| ri d srlqw wkdw lv ghwhuplqhg e| wkh
ydoxh ri { dqg wkh lqlwldo ydoxh ri wkh surfhvv1 Wkxv/ hyhq lq wkh qrqvwdwlrqdu| fdvh/sq ei?+{, vwloo
whoov xv krz ghqvh wkh surfhvv lv derxw d sduwlfxodu srlqw/ dqg lq wklv vhqvh fdq eh lqwhusuhwhg dv d irup ri cghqvlw|* hvwlpdwh iru d qrqvwdwlrqdu| wlph vhulhv1
+ll, Wkh olplw ehkdylrxu lq +49, ri Wkhruhp 614 ghshqgv rq wkh suhflvh dvvxpswlrqv derxw { dqg wkh lqlwldo frqglwlrq1 Wkh fdvhv jlyhq duh suredeo| wkh prvw lpsruwdqw lq sudfwlfh1 Wkxv/ zkhq d @ 3 dqg wkh ghqvlw| ruglqdwh { @ {f lv {hg/ wkh olplw ehkdylrxu ri wkh ghqvlw| hvwlpdwh
e
i?+{, lv hvvhqwldoo| ghwhuplqhg e| wkh orfdo wlph ri wkh xqghuo|lqj Eurzqldq prwlrq surfhvv dw
wkh ruljlq1 Lq hhfw/ vlqfh ||lv ri rughu RR+sw,/ wkh gdwd whqg wr guliw dzd| iurp d {hg srlqw olnh
{f/ dqg/ lq frqvhtxhqfh/ wkh fruuhvsrqglqj hvwlpdwh lv ri wkh ghqvlw| ru orfdo wlph dw wkh ruljlq1
:
Lq d vlplodu zd|/ zkhq wkh lqlwldo frqglwlrqv duh {hg ru erxqghg/ wkhq wkh| gr qrw lqxhqfh wkh dv|pswrwlf ehkdylrxu ri ei?+{,= Exw/ zkhq wkh lqlwldo revhuydwlrq lv ri rughu RR+sq,/ wkhq
s
q ei?+{, hvwlpdwhv wkh orfdo wlph vshqw e| wkh surfhvv dw d srlqw zklfk lv/ lq sduw/ ghwhuplqhg
e| wkh lqlwldo frqglwlrqv1
+lll, Zh vhh iurp Wkhruhp 614 wkdw iru wkh udqgrp zdon i||j ? [ |' N { || k? @ RR+sqk?,>
lq frqwudvw wr wkh fdvh ri d vwdwlrqdu| dxwruhjuhvvlrq/ zkhuh
? [ |' N { || k? @ RR+qk?, =
Wkxv/ wkh rughu ri pdjqlwxgh ri wkh ghqvlw| hvwlpdwh ei?+{, lq wkh lqwhjudwhg fdvh lv vpdoohu wkdq
lq wkh vwdwlrqdu| fdvh zkhq q $ 4= Wklv lv h{sodlqhg e| wkh idfw wkdw dq lqwhjudwhg surfhvv olnh || hyhqwxdoo| +dv w $ 4, kdv d eljjhu suredelolw| ri ehlqj dzd| iurp d jlyhq srlqw { wkdq d
vwdwlrqdu| surfhvv dqg wkh nhuqho ixqfwlrq N+, dvvljqv vpdoohu ydoxhv wr wkh pruh glvwdqw srlqwv1 Wklv kdv lpsruwdqw lpsolfdwlrqv iru nhuqho uhjuhvvlrq zlwk qrqvwdwlrqdu| wlph vhulhv1 Lq hhfw/ wkh xvh ri wkh nhuqho ixqfwlrq lq d nhuqho uhjuhvvlrq rq +4, uhgxfhv wkh vwuhqjwk ri wkh vljqdo lq wkh odjjhg uhjuhvvru ||3= Wklv/ lq wxuq/ uhgxfhv wkh udwh ri frqyhujhqfh ri wkh nhuqho hvwlpdwh ri
wkh uhjuhvvlrq ixqfwlrq1
+ly, Dnrqrp +4<<6, suryhg d uhvxow olnh +48, lq wkh fdvh ri d xqlirup nhuqho dqg zlwk d }hur lqlwldol}dwlrq1 Rxu ghulydwlrqv lq wkh Dsshqgl{ +iru Ohppdv 818 dqg 81:, gudz vxevwdqwldoo| rq wkh olqh ri dujxphqw ghyhorshg lq klv sdshu1
6161 Ohppd Ohw Dvvxpswlrqv 5=7 0 519 krog1 Wkhq/ dv q $ 4 zh kdyh wkh iroorzlqj olplwv= +d, Iru { @ {f {hg dqg |f @ x +l1h1 d @ 3> @ 3 , 4 s qk2 ? ? [ |' N { ||3 k? ||3@r$ {fOfcf > +4:,
+e, Iru { @ {f.sqd> dqg |f @ x . d?Vo'fx3 zlwk d 9@ 3> A 3
4 qk? ? [ |' N { ||3 k? ||3@r$ dO@cV > +4;, zkhuh O@cV lv ghqhg lq Wkhruhp 6141
6171 Ohppd Ohw Dvvxpswlrqv 5=7> 518+e,/ 519 dqg 5=: krog1 Ghqh f? @ sq@k?= Wkhq/ iru
{ @ {f.sqd> zlwk {f dqg d {hg/ dqg iru |f @ x .Sd?Vo'fx3> zlwk x @ R@r+4,/ zh kdyh/ dv
q $ 4 sf? k?sqk2? ? [ |' N { ||3 k? +||3 {,$ *_ *23XO@cV > +4<, zkhuh X lv d vwdqgdug Eurzqldq prwlrq lqghshqghqw ri E/ O@cV lv ghqhg lq Wkhruhp 614/ dqg
;
6181 Ohppd Xqghu wkh frqglwlrqv ri Ohppd 617 dv q $ 4 4 e s qk2 ? ? [ |' N { ||3 k? x|$_ n2O@cV *2Y +4, @n22O@cV *2Y +4,>
zkhuh Y lv d vwdqgdug Eurzqldq prwlrq lqghshqghqw ri E> dqg n2 @U3"" N+v,2gv=
Zh duh qrz lq d srvlwlrq wr ghyhors dv|pswrwlfv iru wkh nhuqho hvwlpdwru p?+{, lq +5,1 Iluvw/
zh jlyh frqglwlrqv iru wkh frqvlvwhqf| ri p?+{,> dqg wkhq jlyh lwv olplwlqj glvwulexwlrq1
6191 Wkhruhp Xqghu wkh frqglwlrqv ri Ohppd 617 dv q $ 4/ p?+{,$ {R iru { @ {f@ il{hg
q3*2p
?+{,$ dR iru { @ {f.sqd=
=
61:1 Wkhruhp Ohw wkh frqglwlrqv ri Ohppd 617 krog dqg ohw { @ {f.sqd> zlwk {f dqg d {hg1 Wkh dv|pswrwlf glvwulexwlrq ri wkh nhuqho hvwlpdwh p?+{, dv q $ 4 lv dv iroorzv1
+l, li k?$ 3 e s qk2?+p?+{,{, $_ n22 O@cV *2 Y +4, PQ 3 > n22O@cV 3 +53, +ll, li k?@ k @ frqvwdqw e s q+p?+{,{, $_ k*32 O@cV *2 X+4, . n22 kO@cV *2 Y +4, +54, PQ3 > +k*32. k3n 22,O@cV 3 +55, +lll, li k?$ 4 e uq kS ?+p?+{,{, _ $ *32 O@cV *2 X+4, PQ 3 > *32O@cV 3 +56,
zkhuh PQ+3> , vljqlhv d pl{hg qrupdo glvwulexwlrq1 Lq wkh deryh irupxodh/ X dqg Y duh lqgh0 shqghqw vwdqgdug Eurzqldq prwlrqv wkdw duh lqghshqghqw ri E> dqg n2 @U3"" N+v,2gv=
61;1 Uhpdunv
+d, Wkhruhp 619 vkrzv wkdw wkh nhuqho hvwlpdwru p?+{, lv frqvlvwhqw/ dv lq wkh vwdqgdug
fdvh ri vwdwlrqdu| dxwruhjuhvvlrq1 Krzhyhu/ frqvlvwhqf| krogv iru lqfuhdvlqj dv zhoo dv ghfuhdvlqj edqgzlgwkv1
+e, Wkhruhp 61: vkrzv wkdw wkh dv|pswrwlf glvwulexwlrq ri p?+{, lv pl{hg qrupdo1 Wkh pl{lqj
sdudphwhu ghshqgv rq wkh fkurqrorjlfdo orfdo wlph ri wkh Eurzqldq prwlrq E lq zklfk wkh wlph vhulhv lv hpehgghg1 Zkhq { lv {hg/ wkh orfdo wlph lv phdvxuhg dw wkh ruljlq1 Zkhq { @ sqd> wkh orfdo wlph lv phdvxuhg dw d1
<
+f, Wkh irup ri wkh olplw glvwulexwlrq ghshqgv rq wkh edqgzlgwk h{sdqvlrq ru frqwudfwlrq udwh1 Zkhq k?$ 3> wkhuh lv qr celdv* whup lq wkh olplw/ l1h1 wkh frpsrqhqw
e s ?2? S? |'N %3+|3 ? +||3 {, s ?2? S? |'N %3+ |3 ?
+vhh +7:,, grhv qrw frqwulexwh wr wkh olplwlqj glvwulexwlrq1 Lq idfw/ wkh olplw kdv d pl{hg qrupdo irup zlwk d pl{lqj sdudphwhu wkdw lv jlyhq e| wkh h{suhvvlrq n22O@cV 3= Wklv olplwlqj cyduldqfh*
lv wkh dqdorjxh lq wkh xqlw urrw fdvh ri wkh h{suhvvlrq iru wkh yduldqfh ri wkh nhuqho hvwlpdwru wkdw dssolhv lq vwdwlrqdu| nhuqho uhjuhvvlrq/ yl}1 n22i+{,3> zkhuh i+{, lv wkh suredelolw| ghqvlw| ri
wkh vwdwlrqdu| surfhvv dw {= Iru wkh qrqvwdwlrqdu| fdvh/ wkh suredelolw| ghqvlw| lq wklv h{suhvvlrq lv uhsodfhg e| wkh fkurqrorjlfdo orfdo wlph ri wkh surfhvv1 Qrwh wkdw wklv fruuhvsrqghqfh lpsolhv wkdw frqghqfh lqwhuydo irupxodh iru wkh uhjuhvvlrq ixqfwlrq p+{, duh wkh vdph iru wkh wzr fdvhv/
yl}1 5 7p?+{, 4=<9 + n2e2 s qk2 ?eO@cV ,*26 8 5 7p?+{, 4=<9 + n2e2 qk?ie?+{, ,*26 8 =
Wkxv/ lq vslwh ri wkh pdmru glhuhqfhv lq wkh olplw wkhru| dqg wkh udwhv ri frqyhujhqfh ehwzhhq wkh wzr fdvhv/ wkh xvxdo irupxodh iru frqghqfh lqwhuydov iru wkh uhjuhvvlrq ixqfwlrq vwloo dsso|/ dw ohdvw zkhq k? $ 31
+g, Wkhruhp 61: vkrzv wkdw wkh pd{lpxp dfklhydeoh udwh ri frqyhujhqfh lq wkh fdvh ri d xqlw urrw dxwruhjuhvvlrq iru wkh nhuqho hvwlpdwru ri wkh uhjuhvvlrq ixqfwlrq lv q*e= Wklv udwh lv
dfklhyhg zkhq wkh edqgzlgwk sdudphwhu lv d frqvwdqw dv q $ 4= Wkh olplw glvwulexwlrq lq wklv fdvh ghshqgv rq wkh olplw ri wkh eldv whup 0 wkh uvw frpsrqhqw ri +54,1 Vlqfh wklv frpsrqhqw lv dovr pl{hg qrupdo lq irup/ wkh dv|pswrwlf glvwulexwlrq lv vwloo pl{hg qrupdo exw wkh pl{lqj sdudphwhu lv qrz pruh frpsoh{1
+h, Xqolnh vwdwlrqdu| nhuqho uhjuhvvlrq/ wkh nhuqho hvwlpdwru p?+{, lv frqvlvwhqw hyhq zkhq
wkh edqgzlgwk k? $ 4> surylghg wkdw k?@q23B $ 3> iru vrph A 3= Lq wklv hyhqw/ wkh udwh
ri frqyhujhqfh lv vorzhu dqg wkh olplw glvwulexwlrq lv grplqdwhg e| wkh hhfwv ri wkh eldv whup1 Djdlq/ qrwh wkdw wkh eldv whup hhfwv duh udqgrp lq wkh olplw lq wkh qrqvwdwlrqdu| fdvh1
e L?U*tL?
Wkh dv|pswrwlf wkhru| iru wkh uvw rughu xqlw urrw dxwruhjuhvvlrq jlyhq lq wklv sdshu vkrzv wkdw nhuqho hvwlpdwlrq ri wklv qrqvwdwlrqdu| dxwruhjuhvvlrq lv frqvlvwhqw/ kdv d vorzhu udwh ri frqyhujhqfh wkdq wkdw iru vwdwlrqdu| dxwruhjuhvvlrqv/ dqg wkh olplw wkhru| lv pl{wxuh qrupdo udwkhu wkdq qrupdo1 Krzhyhu/ wkh xvxdo irupxodh iru frqghqfh lqwhuydov iru wkh uhjuhvvlrq ixqfwlrq vwloo dsso| surylghg wkh edqgzlgwk k?$ 3=
Wkh phwkrgv lqyroyh wkh xvh ri nhuqho ghqvlw| hvwlpdwhv iru qrqvwdwlrqdu| wlph vhulhv dqg vkrz wkdw wkhuh lv dq lqwhuhvwlqj lqwhusuhwdwlrq wr vxfk ghqvlw| hvwlpdwhv lq whupv ri wkh orfdo wlph ri wkh Eurzqldq prwlrq wkdw lv wkh zhdn olplw surfhvv ri wkh vwdqgduglvhg wlph vhulhv I
?|d?oo1 Vxfk
ghqvlw| hvwlpdwhv fdq eh xvhg lq hpslulfdo zrun wr txdqwli| wkh dprxqw ri wlph wkdw d qrqvwd0 wlrqdu| surfhvv olnh d udqgrp zdon vshqgv lq wkh ylflqlw| ri d fhuwdlq srlqw1 Vxfk txdqwlfdwlrq fdq eh h{shfwhg wr eh xvhixo lq vwxg|lqj wkh hpslulfdo surshuwlhv ri wudmhfwrulhv ri hfrqrplf wlph vhulhv olnh h{fkdqjh udwhv dqg lqwhuhvw udwhv1
43
Wkh phwkrgv lq wklv sdshu zloo dovr eh xvhixo lq h{whqglqj wkh uhjuhvvlrq wkhru| wr pruh frpsoh{ qrqvwdwlrqdu| wlph vhulhv prghov/ lqfoxglqj qrqolqhdu prghov ri lqwhjudwhg surfhvvhv1 Wkh| fdq ixuwkhu eh xvhg lq dqdo|vlqj wkh qrqsdudphwulf hvwlpdwlrq ri qrqolqhdu glxvlrq prg0 hov1 Vrph h{whqvlrqv ri wkh phwkrgv ri wkh sdshu dorqj wkhvh olqhv duh ehlqj frqgxfwhg dqg zloo eh uhsruwhg e| wkh dxwkruv lq odwhu zrun1
D hLLut
D
Surri ri Ohppd 515Vhh Fruroodu| 41;/ s1 544 ri Uhyx} dqg \ru +4<<4,1
D2
Surri ri Ohppd 516Vhh h{huflvh 4148/ s1 549 ri Uhyx} dqg \ru +4<<4,1
D
Surri ri Ohppd 51<Wkhruhp 717/ s1479047: ri Lnhgd dqg Zdwdqdeh +4<;<,/ jlyhv wkh fruuhvsrqglqj irupxodh iru sduwv +d, dqg +e, ri wkh ohppd iru vwdqgdug Eurzqldq prwlrq1 Qrwh wkdw Lnhgd dqg Zdwdqdeh ghqh wkh orfdo wlph ri vwdqgdug Eurzqldq prwlrq dv +4@5,O+w> s,> dqg wkhlu irupxodh duh dgmxvwhg dffruglqjo| lq zkdw iroorzv1 Dovr/ Lnhgd dqg Zdwdqdeh dvvxph wkdw i+, lv frqwlqxrxv dqg kdv frpsdfw vxssruw1 Wkh uhvxowv jlyhq khuh frqwlqxh wr krog ehfdxvh/ xqghu wkh vwdwhg frqglwlrqv/ I +{, @ U3"% i+v,gv kdv frpsdfw vxssruw dqg J+{, @ Uf%I +v,gv lv erxqghg1 Wrjhwkhu zlwk slhfhzlvh frqwlqxlw| ri i+,> wkhvh wzr frqglwlrqv duh vxflhqw iru Lnhgd dqg Zdwdqdeh*v wkhruhp wr krog1
Xvlqj wkh irupxodh iru vwdqgdug Eurzqldq prwlrq dqg uhvfdolqj gholyhuv wkh vwdwhg uhvxowv1 Wkxv/ ghqlqj ij+, @ i+,> zh kdyh ij+Z+v,, @ i+Z+v,, @ i+E+v,,> dqg wkhq
3*2] b| f i +E+v,, gv _ @ 3*2] b| f ij+Z+v,, gv _ $ ijO+w, @ i3O+w,@ i_ 32O+w,
dv uhtxluhg iru sduw +d,1 Lq wkh vdph zd|/ zh qg iru sduw+e,/ zkhuh i @ ij @ 3>
3*e ] b| f i +E+v,, gv _ @ 3*e ] b| f ij+Z +v,, gv _ $ i5 kij> ijlj*2X +O+w,,
@ 53ki> il*2X +O+w,,@ i5 ki> ilj_ *232X +O+w,, >
jlylqj wkh vwdwhg uhvxow +e,1
Iru sduw +f,/ zh xvh wkh iroorzlqj uhvxow iru vwdqgdug Eurzqldq prwlrq iurp Uhyx} dqg \ru +4<<4/ h{huflvh 5147/ s1 7;9,1 k %3*2iO+w> v . %, O+w> v,j > l @ 4> ===> n l _ $ ^5X+O+w> v,, > l @ 4> ===> n` dv % $ 3>
44
zkhuh X duh vwdqgdug Eurzqldq prwlrqv wkdw duh lqghshqghqw ri O= Iurp wklv uhvxow/ zh rewdlq
k *2iO +w> v. d@, O+w> v,j > l @ 4> ===> n l _ @k*2O+w> 3+v. d@,, O+w> 3v,> l @ 4> ===> n l @ k%3*2*2d*2iO+w> v @ . %, O+w> v@,j > l @ 4> ===> n l _ $k5+d,*2X +O+w> v@,, > l @ 4> ===> n l _ @k5d*2X +O+w> v,, > l @ 4> ===> n l > dv $ 4> jlylqj wkh uhtxluhg uhvxow1
Iru sduw +g,/ zh xvh wkh iroorzlqj uhvxow iru vwdqgdug Eurzqldq prwlrq iurp Uhyx} dqg \ru +4<<4/ h{huflvh 5145/ s1 7;9,1
53*2qO+w> u .v, O+w> u,r$ T+O+w> u,> v,>_ zkhuh T lv d vwdqgdug Eurzqldq vkhhw1 Lw iroorzv wkdw
53*2qO +w> u .v, O+w> u, r _ @ 53*2O +w> 3+u . v@,, O+w> 3u, _
$ T+O+w> u@,> v@,@ T+O+w> u@,> v,_ @ T+O_ +w> u,> v,>
dv uhtxluhg1 Wkh shqxowlpdwh glvwulexwlrqdo htxlydohqfh lq wkh deryh dujxphqw xvhv wkh idfw wkdw deT+w> v,@ T+d_ 2w> > e2v, 0 h1j Uhyx} dqg \ru +4<<4/ h{huflvh 6144 s16:,0dqg vhwv d @ e @ *2=
De
Surri ri Ohppd 5143Wr suryh +<,/ zh xvh wkh rffxsdwlrq irupxod +8, ri Ohppd 516 wr zulwh wkh lqwhjudo lq wkh irup
3*2 ] "
3"N+v,O+w> v,gv @
3*22] b|
f N+E+v,,gv
dv d frqwlqxrxv dgglwlyh olqhdu ixqfwlrqdo ri wkh Eurzqldq prwlrq E1 Wkhq/ dsso|lqj Ohppd 51<+d, jlyhv 3*22] b| f N+E+v,,gv _ $ 2] " 3"N+v,gv 32O +w, @ O+w,>
dv uhtxluhg1 Uhvxow +43, lv suryhg lq d vlplodu zd|/ xvlqj wkh rffxsdwlrq irupxod +8, wr zulwh
3*e] "
3"vN+v,O+w> v,gv @
3*e2] b|
f E+v,N+E+v,,gv
Qrz xvh Ohppd 51<+e,/ jlylqj 3*e2] b|
f E+v,N+E+v,,gv _
$ **2X+O +w,,>
45
dv uhtxluhg iru +43,1
Wr suryh +44, zh surfhhg dv iroorzv1 Iluvw ohw T dqg T2 eh wzr lqghshqghqw vwdqgdug
Eurzqldq vkhhwv dqg ghqh T+w> v, @ T+w> v,4+v 3, . T2+w> v,4+v 3,= Qh{w/ iurp Ohppd
51<+g, zh ghgxfh wkdw dv $ 4 53*2qO
+w> u .v, O+w> u,
r _
$ T+O+w> u,> v,>
zkhuh T lv lqghshqghqw ri O1 Lw qrz iroorzv e| wkh frqwlqxrxv pdsslqj wkhruhp wkdw
*2] " 3"vN+v,O+w> u . v ,gv @ ] " 3"vN+v, *2qO +w> u .v, O+w> u, r gv _ $ 5] " 3"vN+v,T+O+w> u,> v,gv _ @ 5 iO+w> u,j*2 ] " 3"vN+v,T+4> v,gv=
Qh{w ohw I +w, @ U3"| vN+v,gv= Gluhfw fdofxodwlrq vkrzv wkdw U3"" I +v,2gv @ *@7> dqg wkdw dv
w $ 4> I +w,T+4> w, $ 3 d=v= 1 Wkhq/ lqwhjudwlrq e| sduwv |lhogv ] " 3"vN+v,T+4> v,gv @ ] " 3"I +v,gT+4> v, _ @ Q 3>] " 3"I +v, 2gv>
iurp zklfk wkh vwdwhg uhvxow iroorzv lpphgldwho|1
DD wi44@
Ohw P?+d.nk> d.+n.4,k> }, @S?'h{s5 id Vj4 ^d . nk V d . +n . 4,k` iru vrph lqwhjhu n 3 dqg k A 3> dqg zkhuh V @S|'xr= Ohw u 4 eh dq| srvlwlyh lqwhjhu1 Wkhq/ iru dq| d 5 U/ k I?/ dqg dq| srvlwlyh lqwhjhu n> wkhuh h{lvwv d frqvwdqw F vxfk wkdw
H mP?+d> d . k> }, P?+d . nk> d . +n . 4,k> },m2o F k s q o 4 . nk2orj qo xqlirupo| lq } 5 U1
DS hLLu
Wkh uhvxow iroorzv iurp Dnrqrp +4<<6/ Ohppd 4,1 Qrwh wkdw
P?+d> d . k> }, P?+d . nk> d . +n . 4,k> }, @ ? [ ' h{s l}k id Vj X +V, +57, zkhuh X +V, @ 4 ^d V d . k` 4 ^d . nk V d . +n . 4, k` =
46
Dnrqrp +4<<6/ Ohppd 4, suryhg wkh vwdwhg uhvxow iru
Q?+d> d . k, Q?+d . nk> d . +n . 4,k, @ ?
[
'
X +V, > +58,
zkhuh Q?+d> d.k, @S?'4 ^d V d . k` lv wkh qxpehu ri ylvlwv ri Vwr wkh lqwhuydo ^d> d . k` =
Qrz mP?+d> d . k> }, P?+d . nk> d . +n . 4,k> },m2 @ [? c,' h{s l} k iV, Vj X +V, X +V,, = Wkh idfwru h{s5 iV& Vj lq wklv h{suhvvlrq kdv prgxoxv xqlw|/ dqg grhv qrw dhfw wkh erxqg rq wkh u*wk prphqw ri wkh h{suhvvlrq zklfk fdq eh fdofxodwhg lq wkh vdph pdqqhu dv lq Dnrqrp +4<<6, iru +58,1 Wkxv/ wkh erxqg lv wkh vdph dv iru wkh 5uwk prphqw ri +58, dqg wklv
erxqg krogv xqlirupo| lq }=
D. wi44@
Ohw d 5 U/ ohw k?eh d vhtxhqfh ri srvlwlyh qxpehuv vdwlvi|lqj k? I?/ dqg ohw n?eh eh d vhtxhqfh ri srvlwlyh lqwhjhuv zlwk n? q= Wkhq/ iru doo % A 3
P?+d> d . k?> }, n4 ?P?+d . k?> d . +n?. 4,k?> }, @ r@r k2 ?4 . n?k2? 2qen0 > +59, xqlirupo| lq } dv q $ 4=
DH hLLu
Wkh uhvxow iroorzv dv lq Dnrqrp +4<<6/ Sursrvlwlrq 4,1 Ohw A 3> dqg ghqh wkh hyhqwv D?c&+, @ + mP?+d> d . k?> }, P?+d . nk?> d . +n . 4,k?> },m k2 ?4 . nk2? 2qen0 , > D?+, @ ; ? = P?+d> d . k?> }, &?P?+d . k?> d . +n?. 4,k?> }, k2 ?4 . n?k2? 2qen0 < @ > =
dqg qrwh wkdw D?+, ^&$&?D?c&+,= Xvlqj wkh Pdunry lqhtxdolw| ri rughu 5u/ Ohppd 818/ dqg
wkh idfw wkdw D?+, ^&$&?D?c&+,> zh rewdlq
S ^D?+,` n?F +orj q, o
2oq2o0 >
xqlirupo| lq }= Vlqfh n? q> wkh uhvxow wkhq iroorzv iurp wkh Eruho0Fdqwhool ohppd e| vxlwdeoh
fkrlfhv ri u dqg d vhtxhqfh ? iru zklfk ?$ 3 dqg "
[
?'
47
Db hLLu Lu AiLhi4
Ohw 5 +4@5> 4,= Xvlqj wkh vwurqj dssur{lpdwlrq wr wkh sduwldo vxp surfhvv V&@S&'x jlyhq
lq +46, zh kdyh wkh uhsuhvhqwdwlrq
||3@ E +w 4, . |f. r@r+q*R,@sqE+u, . |f. r@r+q*R,>
iru +w 5,@q u ? +w 4,@q> w 4= Zulwh wkh vfdohg ghqvlw| hvwlpdwh dv iroorzv= 4 s qk2 ? ? [ ' N { |3 k? @ sq qk2 ? 4 q ? [ ' N { |f V3 k? @ f?q4 ? [ ' N f? { | f V3 s q 4{ |sf V3 q f4 ? .f?q4 ? [ ' N f? { |sf V3 q 4{ |sf Vq 3 A f4 ? @ f?q4 ? [ ' N f? { |sf V3 q 4{ |sf V3 q f4 ? .r@r+f32oE3? ,> +5:,
vlqfh N +{, @ rm{m32odv m{m $ 41 Wkh vhfrqg whup ri +5:, lv qhjoljleoh zkhq 45u +4 , ? 3> zklfk zloo eh dvvxphg lq zkdw iroorzv1
Wkh qh{w sduw ri wkh surri iroorzv d olqh ri dujxphqw ghyhorshg lq Dnrqrp +4<<6/ Wkhruhp 5, wkdw dssolhv iru wkh fdvh ri d xqlirup nhuqho1 Wkh lghd lv wr vkrz wkdw wkh uvw sduw ri +5:, fdq eh uhsodfhg zlwk d fruuhvsrqglqj lqwhjudo h{suhvvlrq wkdw lqyroyhv wkh Eurzqldq prwlrq E= Wkh qdo sduw ri wkh dujxphqw wkhq pdnhv xvh ri wkh rffxsdwlrq irupxod1
Ohw n? eh dq lqwhjhu iru zklfk 4 n?@f?sq@orj+q,= Wkh uroh ri n? lv wr zlghq wkh edqgv
lq wkh irupxodh ehorz vr wkdw wkh hpehgglqj ri V3 lq wkh Eurzqldq prwlrq E fdq eh xvhg1 Zh
vhhn wr pdmrul}h wkh glhuhqfh f? q4 ? [ ' N f? { |sf V3 q 4 { |s f q f4? Vs3 q { |sqf .f4? ] f N f? { |s f q E+u, 4 { |s f q 4 f? E+u, { |s f q . 4 f? gu D+q, .5n4 ?D2+q, . D+q,> xvlqj wkh whupv D+q, @ f? q4 ? [ ' N f? { |fs V3 q 4 { |s f q f4? Vs3 q { |sqf .f4? 5n4 ? 4 q ? [ ' N f? { |sf V3 q 4 { |s f q fn?? Vs3 q { |sqf .fn?? >
48 D2+q, @ f? q4 ? [ ' N f? { |fs V3 q 4 { |s f q fn?? Vs3 q { |sqf .fn?? ] f N f? { |s f q E+u, 4 { |s f q fn?? E+u, { |s f q .fn?? gu> D+q, @ f?5n4 ? ] f N f? { | f s q E+u, 4 { | f s q n? f? E+u, { |s f q . n? f? gu ] f N f? { |s f q E+u, 4 { |s f q 4 f? E+u, { |s f q . 4 f? gu=
Wdnh hdfk ri wkhvh lq wxuq lq zkdw iroorzv1 Ohw *g+}, eh wkh fkdudfwhulvwlf ixqfwlrq ri wkh ghqvlw|
N +, = Ehfdxvh *g lv devroxwho| lqwhjudeoh/ zh kdyh
D+q, @ 5f? q4 ? [ ' ] " 3"h 35S? q %3+fI ? 373I? r *g+},g} 4 { |s f q f4? Vs3 q { |sqf .f4? n4 ?4 { |s f q fn?? Vs3 q { |sqf .fn?? 5f? ] " 3"m*g+},m 4 q ? [ ' h35S? q %3+fI ? 373I? r 4 { |s f q f4? Vs3 q { |sqf .f4? n4 ?4 { |s f q fn?? Vs3 q { |sqf .fn?? g}= E| Ohppd 81: fq? ? [ ' h35S? q%3+f I ? 373I? r 4 { |s f q f4? Vs3 q { |sqf .f4? n4 ?4 { |s f q fn?? Vs3 q { |sqf .fn?? @ r@r # f? qf*24 ? 4 . n? f2? *2 q*en0 $ > xqlirupo| lq }/ wkhuhe| jlylqj wkh rughu ri pdjqlwxgh ri D+q, dv
D+q, @ r@r # f? q 4 f*2? 4 . n? f2? *2 q*en0 $ = +5;, Wr erxqg D2+q, zh vhw xs lqwhuydov L? L? L? ghqhg dv L? @ { |s f q fn??> { |s f q .fn?? > L ? @ % { |s f q fn?? . q*R sq>{ |sqf .fn? ? q*R sq & > L ? @ % { |s f q n? f? q*R s q> { |s f q . n? f? . q*R s q & >
49 dqg ohw J?eh wkh hyhqw J? @ ] f N f? { |s f q E+u, 4U ?^E+u,` gu q4 ? [ ' N f? { | f V3 s q 4 V 3 s q 5 L? ] f N f? { |s f q E+u, 4U?^E+u,` gu @ ] f N f? { |s f q E+u, 4U?3U?^E+u,` gu q4 ? [ ' N f? { |sf V3 q 4 Vs3 q 5 L? ] f N f? { |s f q E+u, 4U?^E+u,` gu ] f N f? { |s f q E+u, 4U ?3U?^E+u,` gu
Lq ylhz ri wkh vwurqj dssur{lpdwlrq +45, > V3@sq lv doprvw vxuho| ri glvwdqfh ohvv wkdq q*R@sq
iurp E+u, xqlirupo| ryhu +l 4,@q u ? l@q dv l> q $ 41 Dovr/ wkh nhuqho ixqfwlrq N +, lv qrqqhjdwlyh dqg erxqghg1 Lw iroorzv wkdw wkh hyhqw J? krogv hyhqwxdoo| dv q $ 4> vr wkdw
Solp lqi?<"J? @ 4= Khqfh S olp vxs ?<" D2+q, f? ] f N f? { |s f q E+u, 4U ?3U?^E+u,` gu @ 3= Xvlqj wkh rfffxsdwlrq irupxod +8, zh kdyh wkh htxlydohqfh
] f N f? { |s f q E+u, 4U?3U?^E+u,` gu @ 32 ] " 3"N f? { |s f q s 4U?3U?^s` O+4> s,gs @ 32] U ?3U? N f? { |s f q s O+4> s,gs> zkrvh prgxoxv lv erxqghg e| d frqvwdqw pxowlsoh ri
] U ?3U? O+4> s,gs @ R@r # q*R s q $ = Lw iroorzv wkdw D2+q, @ R@rf?q*R@sq> dqg 4 n?D2+q, @ R@r # f?q*R n?sq $ = +5<,
Wr qg wkh rughu ri pdjqlwxgh ri D+q,> zh fdq xvh dowhuqdwh yhuvlrqv ri Ohppdv 818 dqg 81:
4:
+4<<6/ s1 :6, 0 dqg wkhq wkh ghulydwlrq ri wkh rughu ri pdjqlwxgh iroorzv lq wkh vdph zd| dv wkdw ri D+q,= Zh ghgxfh iurp +5:, +5;, dqg +5<, wkdw 4 s qk2 ? ? [ ' N { |3 k? f? ] f N f? { |s f q E+u, 4 { |s f q 4 f? E+u, { |s f q . 4 f? gu @ r@r # f? qf*24 ? 4 . n? f2? *2 q*en0 $ . R@r # f?q*R n?sq $ . r@r+f32oE3? , @ r@r # f? qf*24 ? q *en0 $ . R@r f?q0 n?sq . r@r+f32oE3? , @ r@r # q0kn*2? q*eq*e $ . R@r q0 qk32? . r@r+f32oE3? , zkhq n? lv fkrvhq lq vxfk d zd| wkdw n? @ R+f2? ,> s lv vxflhqwo| odujh wkdw 4@s % dqg u lv
odujh hqrxjk wkdw wkh whup r@r+f32oE3? , lv qhjoljleoh lq uhodwlrq wr wkh rwkhu wzr whupv/ zklfk
fdq eh duudqjhg e| prgli|lqj Dvvxpswlrq 517 dv qhhghg1 E| Dvvxpswlrq 519 q3Bk2 ?$ 4/ dqg k?@qE3B*2$ 3 iru vrph A 3> vr wkdw r@r # q0kn*2? q*eq*e $ . R@r q0 qk32? @ r@r # q0qE3BEn*2*2 q*eq*e $ . r@r # q0qE32E3B*2 q $ @ r@r # q0qEn*2*2 q*eq*e $ . r@r # q0qE32*2 q $ @ r@r 4 qen2eD3230 . r@r q0 q23*2 @ r@r 4 qen2eD3S30 . r@r q0 q23*2 @ r@r 4 qenS30
zklfk jlyhv wkh uhtxluhg uhvxow +48,1 Wr suryh +49, zh qhhg wr vkrz wkdw f? ] f N f? { |s f q E+u, 4 { |s f q 4 f? E+u, { |s f q . 4 f? gu@r$ O@cV > +63, iru wkhq s q ei?+{, @ s4 qk2? ? [ |' N { ||3 k?
4; @ f? ] f N f? { |s f q E+u, 4 { |s f q f4? E+u, { |s f q .f4? .r@r 4 q*en*S30 @r$ O@cV = +64,
Wr vkrz +63,/ qrwh iurp wkh rffxsdwlrq wlphv irupxod wkdw wkh ohiw vlgh ri +63, fdq eh zulwwhq dv f? ] " 3"N f? { |s f q s 4 { |s f q 4 f? s { |s f q . 4 f? O+4> s,gs +65, @ ] " 3"f?N f? { |s f q s O+4> s,gs . r@r+f32oE3? ,
dv lq +5:, deryh1 Krzhyhu/ dffruglqj wr +47, { |s f q @r$ d E f+, +66, dqg/ vlqfh f? @ sq@k? $ 4 dv q $ 4> O+4> s, lv frqwlqxrxv lq s> dqg U3"" N+v,gv @ 4> zh kdyh f? ] " 3"N f? { |s f q s O+4> s,gs $@rO+4> d Ef+,, @ O@cV >
dv uhtxluhg iru +63,/ dqg +64, wkhq iroorzv1
Df
Surri ri Ohppd 616Vwduw e| frqvlghulqj wkh fdvh zkhuh d 9@ 3 dqg A 3= Ohw 5 +4@5> 4,1 Wkhq/ iroorzlqj wkh vdph olqh ri dujxphqw dv lq wkh uvw sduw ri wkh surri ri Wkhruhp 614/ zh qg
4 qk? ? [ |' N { ||3 k? ||3 @ sqk4 ? ? [ |' N { ||3 k? |s|3 q @ f? ] f N f? { |s f q E+u, E+u, . s|f q gu .r@r 4 q*en*S30 +67, @ f? ] " 3" s . s|f q N f? { |s f q s O+4 > s, gs .r@r 4 q*en*S30 = Vlqfh I+f ? $@rEf+,> dqg lq ylhz ri +66, dqg wkh frqwlqxlw| ri sO+4 > s,/ zh rewdlq 4 qk? ? [ |' N { ||3 k? ||3$@rdO+4> d Ef+,, @ dO@cV > dv uhtxluhg iru +4;,1
4<
Zkhq d @ 3/ dqg @ 3> zh surfhhg lq wkh vdph pdqqhu/ exw xvh wkh qrupdol}dwlrq 4@sqk2?>
udwkhu wkdq 4@qk? lq +67, dqg ohw 5 +4@5> 4,1 Wkhq/ iroorzlqj wkh vdph dssurdfk/ zh kdyh
4 s qk2 ? ? [ |' N { ||3 k? ||3 @ f? ] f N f? { |s f q E+u, s qE+u, . |fgu .r@r # q*R q*en*S30 $ = +68,
Iru odujh hqrxjk s wkh uhpdlqghu lq +68, lv qhjoljleoh dqg zh duh ohiw zlwk f? ] f N f? { |s f q E+u, s qE+u, . |fgu @ f? ] " 3" s qs . |f N { sqs |f k? O+4> s, gs @ ] " 3"i{ k?vj N +v, O 4>{ |s f q fv? gv @ {] " 3"N+v,O 4>{ |s f q fv? gv k? ] " 3"vN +v, O 4>{ |s f q fv? gv +69, Qrz/ vlqfh { @ {f> wkh uvw whup lq +69, lv {] " 3"N+v,O 4>{ |s f q v f? gv@r$ {O+4> 3, @ {fOfcf > +6:,
zklfk jlyhv wkh uhtxluhg olplw +4:, lq wklv fdvh1 Wkh vhfrqg whup lq +69, lv qhjoljleoh/ dv zh qrz vkrz1 Iluvw/U3"" vN+v,gvO4> q3*2+{ |f,@ 3 e| yluwxh ri wkh idfw wkdw U3"" vN+v, @ 3 e|
wkh v|pphwu| frqglwlrq lq Dvvxpswlrq 5171 Zh pd| wkhuhiruh zulwh k? ] " 3"vN+v,O+4> q 3*2+{ | f, v@f?,gv @ k? ] " 3"vN+v, q O 4> q3*2+{ | f, v@f? O 4> q3*2+{ | f, r gv frqvw= k? k? s q *23#] " 3"mvm *23#mN+v,mgv> d=v= +6;,
iru dq| A 3/ gxh wr wkh Kroghu frqwlqxlw| ri O+4> ,1 Wkh uljkw vlgh +6;, whqgv wr }hur e|
yluwxh ri Dvvxpswlrq 517+d, surylghg q3*2kn2*E32#? $ 3/ zklfk krogv zkhqhyhu k
? @ fq&
dqg n ? 4@9 > vlqfh fdq eh duelwudulo| vpdoo1 Wkxv/ iurp +69, > +6:, > dqg +6;, zh jhw wkh frqyhujhqfh ] " 3"i{ k?vj N+v,O 4>{ |s f q fv? gv@r$ {fOfcf
iru wkh vdph udqjh ri edqgzlgwkv k?= Wklv suryhv wkh vwdwhg uhvxow +4:, iru { @ {f {hg dqg
53
D
Surri ri Ohppd 617Ohw 5 +4@5> 4, dqg iroorzlqj wkh vdph olqh ri dujxphqw dv lq wkh surri ri Wkhruhp 614/ zh qg sf? k?sqk2? ? [ |' N { ||3 k? +||3 {, @ f*2?q [? |' N { ||3 k? ||3 { k? @ f*2 ? q4 ? [ ' N f? { |sf V3 q f? { |sf V3 q 4{ |sf Vq 3 f4 ? .f*2? q4 ? [ ' N f? { |sf V3 q f? { |sf V3 q 4{ |sf V3 q A f4 ? @ f*2 ? q4 ? [ ' N f? { |sf V3 q f? { |sf V3 q 4{ |sf Vq 3 f4 ? .r@r+f*2nE332oE3? ,>
dqg wkh huuru lv duelwudulo| vpdoo dv q $ 4 surylghg u A 2 . eE3 > zklfk fdq eh duudqjhg e| vxlwdeoh uhvwulfwlrq ri wkh nhuqho ixqfwlrq e| prgli|lqj Dvvxpswlrq 517 dqg wklv lv dvvxphg lq zkdw iroorzv1
Surfhhglqj dv lq uvw sduw ri wkh surri ri Wkhruhp 614/ zh kdyh sf? k?sqk2? ? [ |' N { ||3 k? +||3 {, @ f*2 ? ] f N f? { |s f q E+u, f? { |s f q E+u, 4 { |s f q 4 f? E+u, { |s f q . 4 f? gu . r@r # f*2? q f3? f*2? q*en0 $ . r@r+4, @ f*2 ? ] f N f? { |s f q E+u, f? { |s f q E+u, gu .r@r 3 Cf D 232 ? qe q 0 4 D +6<, Revhuyh wkdw f?D232 qe q 0@ q D e3en0 qek D 232 ? @ q 23en0 kD232 ?
dqg ohw @ 4 iru A 3 vpdoo1 Wkhq q23en0 kD232 ? @ q eBn0 qekn 2B ?
Vlqfh % lv duelwudulo| vpdoo dqg fdq eh fkrvhq duelwudulo| vpdoo/ zh ghgxfh wkdw qeBn0 qekn 2B ? @ r+4,
54
surylghg k? lv qrw wrr vpdoo/ lq sduwlfxodu iru
k?A 4
qe3>
iru vrph dueluwudulo| vpdoo A 3= Lw iroorzv wkdw +6<, krogv zlwk d qhjoljleoh huuru dv q $ 4= Iurp wkh rffxsdwlrq irupxod zh ghgxfh wkdw f*2 ? ] f N f? { |s f q E+u, f? { |s f q E+u, gu @ f*2? ] " 3"N f? { |s f q s f? { |s f q s O+4> s,gs>
dqg wudqviruplqj s :$ v @ f?^+{ |f, @sq s` > wklv h{suhvvlrq ehfrphv
f*2 ? ] " 3"vN +v, O 4> { |s f q v f? gv= +73, Vlqfh U3"" vN +v, gv @ 3> +73, htxdov ] " 3"vN+v,f *2 ? O 4> { |s f q v f? O 4>{ |s f q gv _ $ 3**2XO+4> d Ef+,,> +74,
lq ylhz ri +44, ri Ohppd 5143 dqg wkh idfw wkdw q3*2+{ |f,@r$ d Ef+,1 Lq wkh olplw +74, > *
lv ghqhg e| * @ 5U3"" U3"" md emdeN+d,N+e,gdge/ dqg X+, lv d vwdqgdug Eurzqldq prwlrq lqghshqghqw ri E= Zh ghgxfh wkdw sf? k?sqk2? ? [ |' N { ||3 k? +||3{,$ *_ *2X O@cV @ *_ *23X O@cV > +75, dv uhtxluhg iru +4<,1
D2
Surri ri Ohppd 618Iroorzlqj wkh olqh ri dujxphqw xvhg lq wkh uvw sduw ri wkh surri ri Wkhruhp 614/ zh qg 4 esqk2? ? [ |' N { ||3 k? x| @ f*2? s4q ? [ ' N f? { |sf V3 q 4{ |sf V3 q f4 ? x .f*2 ? s4q ? [ ' N f? { |sf V3 q 4{ |sf V3 q A f4 ? x @ f*2? s4q ? [ ' N f? { |sf V3 q 4{ |sf V3 q f4 ? x .RR f*2 ? f32oE3?
55 @ f*2? s4q ? [ ' N f? { |sf V3 q 4{ |sf V3 q f4 ? x .RR f*2? f32oE3? = +76, Qrz f232oE3
? @ r+4, dv q $ 4> iru u A 6@7+4 ,> zklfk lv khuhe| dvvxphg/ dqg wkhq wkh odvw
whup ri +76, fdq eh qhjohfwhg1 Wkh uvw whup lv d pduwlqjdoh zlwk txdgudwlf yduldwlrq 2f ?q4 ? [ ' N f? { |sf V3 q 2 4{ |sf V3 q f4 ? =
Dv lq wkh surri ri Wkhruhp 614 zh fdq ghwhuplqh wkh dv|pswrwlf ehkdylrxu ri wklv frqglwlrqdo yduldqfh ixqfwlrq xvlqj wkh vwurqj dssur{lpdwlrq1 Lq sduwlfxodu/ zh kdyh
2f ?4q ? [ ' N f? { |sf V3 q 2 4{ |sf V3 q f4 ? @ 2f? ] f N f? { |s f q E+u, 2 4{ |s f q E+u, f4 ? gu .r@r 4 q*en*S30 @ f? ] " 3"N f? { |s f q s, 2 4{ |s f q s f4 ? O+4> s, gs . r@r+4, @ ] " 3"N +v, 24mvm f3 ? O 4>{ |sqf fv ? gv . r@r+4, $ @r ] " 3"N +v, 2gvO +4> d Ef+,, @ n2O@cV +4,> +77,
zkhuh O@cV +u, @ O+u> d Ef+,, dqg n2 @U3"" N +v,2gv=
Lw qrz iroorzv iurp wkh jhqhudol}hg pduwlqjdoh fhqwudo olplw wkhruhp +h1j Kdoo dqg Kh|gh/ 4<;3/ s18;, wkdw wkh uvw whup ri +76, kdv d pl{hg qrupdo olplw glvwulexwlrq zlwk frqglwlrqdo yduldqfh +77,1 Khqfh/ 4 e s qk2 ? ? [ |' N { ||3 k? x|$_PQ3> n2O@cV +4,> ru/ htxlydohqwo|/ 4 e s qk2? ? [ |' N { ||3 k? x|$_Y n2O@cV +4,>
zkhuh Y lv d Eurzqldq prwlrq wkdw lv lqghshqghqw ri E1 Wklv jlyhv wkh vwdwhg uhvxow1
Surri ri Wkhruhp 619 Zulwh
p?+{, @ S? |'N %3+ |3 ? ||3 S? |'N %3+ |3 ? . S? |'N %3+ |3 ? x| S? |'N %3+ |3 ? = +78,
56
Iurp Wkhruhp 614 dqg Ohppd 616/ zh ghgxfh wkdw
s ?2 ? S? |'N %3+ |3 ? ||3 s ?2 ? S? |'N %3+|3 ? @r$ {OfcV OfcV @ { iru { @ il{hg> +79, dqg ?? S? |'N %3+ |3 ? ||3 s ?2 ? S? |'N %3+ |3 ? @r$ dO @cV O@cV @ d iru { @ s qd=
Pruhryhu/ iurp Ohppd 617 lw iroorzv wkdw 4 s qk2 ? ? [ |' N { ||3 k? x| $ 3R iru { @ {hg s qd Zh ghgxfh wkdw p?+{,$ {R iru { @ il{hg> dqg 4 s qp?+{, R $ d iru { @sqd> dv uhtxluhg1
Surri ri Wkhruhp 61: Vwduw zlwk wkh fdvh zkhuh { lv {hg1 Iurp +78, zh kdyh
e s qk2 ?ip?+{, {j @ e s ?2 ? S? |'N %3+ |3 ? +||3 {, s ?2 ? S? |'N %3+ |3 ? . e s ?2 ? S? |'N %3+ |3 ? x| s ?2 ? S? |'N %3+ |3 ? = +7:,
Lq ylhz ri Ohppd 617/ wkh uvw whup rq wkh uljkw vlgh ri +7:, lv
e s qk2? s ?2 ? S? |'N %3+ |3 ? +||3 {, s ?2 ? S? |'N %3+ |3 ? @ RR # k?se qk2? sf? $ @ RRk2?$ 3 =
zkhq k? $ 3= Rq wkh rwkhu kdqg/ wkh vhfrqg whup ri +7:, kdv wkh iroorzlqj olplw e| yluwxh ri
Wkhruhp 614 dqg Ohppd 618 e s ?2 ? S? |'N %3+ |3 ? x| s ?2? S? |'N %3+|3 ? $_ q n22OfcV r*2 Y +4, OfV _ @qn22@OfcV r*2 Y +4,= Wkxv/ zkhq k?$ 3 zh kdyh e s qk2 ?ip?+{, {j$_ q n22@OfcV r*2 Y +4,= zklfk suryhv +53,1
57
Zkhq k? $ 4 wkh uvw whup lq +7:, grplqdwhv dqg zh kdyh xvlqj +4:, ri Ohppd 616 dqg
+4<, ri Ohppd 617 sf? k? ip?+{, {j @ IS ? ?s?2? S? |'N %3+ |3 ? +||3 {, s ?2 ? S? |'N %3+|3 ? . IS ? ?s?2? S? |'N %3+ |3 ? x| s ?2 ? S? |'N %3+|3 ? +7;, @ IS? ?s?2? S? |'N %3+ |3 ? +||3 {, s ?2 ? S? |'N %3+|3 ? . RR 4 k2 ? +7<, _ $ q *32OfcV r*2 X+4, OfcV @q*32@OfcV r*2 X+4,> zklfk frpsohwhv wkh surri ri +56,1
Zkhq k?@ k @ frqvwdqw/ erwk whupv ri +7:, dhfw wkh olplw glvwulexwlrq dqg zh jhw
sf ?ip?+{, {j @ IS ? s ?2? S? |'N %3+ |3 ? +||3 {, s ?2 ? S? |'N %3+ |3 ? . IS ? s ?2? S? |'N %3+ |3 ? x| s ?2 ? S? |'N %3+ |3 ? _ $ k q *32OfcV r*2 X+4, OfcV . k 3qn22OfcV r*2 Y +4, OfV @ kq*32@OfcV r*2 X+4, . k3qn22@OfcV r*2 Y +4,> ohdglqj wr +55,1
Wkh fdvh zkhuh { @sqd lv suryhg lq wkh vdph zd| dqg wkh olplwv lqyroyh O@cV udwkhu wkdq OfcV =
S +iuihi?Uit
Dlw Vdkdold/ \1 +4<<9, _Qrqsdudphwulf sulflqj ri lqwhuhvw udwh ghulydwlyh vhfxulwlhv%1 Hfrqrphw0
ulfd/ 97/ 85:08931
Dlw Vdkdold/ \1 +4<<:, _Pd{lpxp olnholkrrg hvwlpdwlrq ri glvfuhwho| vdpsohg glxvlrqv= d forvhg irup dssurdfk%1 Xqlyhuvlw| ri Fklfdjr/ plphrjudskhg1
Dnrqrp/ M1 +4<<6,1 _Frpsruwhphqw dv|pswrwltxh gx whpsv g*rffxsdwlrq gx surfhvvxv ghv vrpphv sduwlhoohv%1 Dqqdov ri wkh Lqvwlwxwh ri Khqul Srlqfduh/ 5</ 8:0;41
Elhuhqv/ K1 +4<:;,1 _Nhuqho Hvwlpdwruv ri Uhjuhvvlrq Ixqfwlrqv/% lq W1 Ehzoh| +hg1,/ Dgydqfhv
lq Hfrqrphwulfv/ Iliwk Zruog Frqjuhvv/ Yro1 41 Fdpeulgjh= Fdpeulgjh Xqlyhuvlw| Suhvv/
ss1 <<~4771
Froorpe/ J1 +4<;8d,1 _Qrqsdudphwulf wlph vhulhv dqdo|vlv dqg suhglfwlrq= xqlirup doprvw vxuh frqyhujhqfh ri wkh zlqgrz dqg n0QQ dxwruhjuhvvlrq hvwlpdwhv1% Vwdwlvwlfv/ 49/ 5<:063:1
58
Froorpe/ J1 +4<;8e,1 _Qrqsdudphwulf uhjuhvvlrq= dq xs0wr0gdwh eleolrjudsk|1% Vwdwlvwlfv/ 49/ 63<06571
Froorpe/ J1 dqg Z1 Kdugoh +4<;9,1 _Vwurqj xqlirup frqyhujhqfh udwhv lq urexvw qrqsdudphwulf wlph vhulhv dqdo|vlv dqg suhglfwlrq= Nhuqho uhjuhvvlrq hvwlpdwlrq iurp ghshqghqw revhuyd0 wlrqv/% Vwrfkdvwlf Surfhvvhv dqg wkhlu Dssolfdwlrqv/ 56/ ::~;<1
Fvrujr/ P1 dqg O1 Kruydwk +4<<6,1 Zhljkwhg Dssur{lpdwlrqv lq Suredelolw| dqg Vwdwlvwlfv1 Zloh|= Qhz \run1
Kdugoh/ Z1 +4<<3,1 Dssolhg Qrqsdudphwulf Uhjuhvvlrq1 Fdpeulgjh= Fdpeulgjh Xqlyhuvlw| Suhvv1
Kdugoh/ Z1 dqg R1 E1 Olqwrq +4<<8,1 _Dssolhg qrqsdudphwulf phwkrgv/% lq G1I1 PfIdgghq dqg U1I1 Hqjoh +hgv1, Wkh Kdqgerrn ri Hfrqrphwulfv Yro LY/ Dpvwhugdp= Qruwk Kroodqg1 Kdugoh/ Z1 dqg S1 Ylhx +4<<5,1 _Nhuqho uhjuhvvlrq vprrwklqj ri wlph vhulhv/% Mrxuqdo ri Wlph
Vhulhv Dqdo|vlv/ 46/ 53<~5651
Lnhgd/ Q1 dqg V1 Zdwdqdeh +4<;<,1 Vwrfkdvwlf Glhuhqwldo Htxdwlrqv dqg Glxvlrq Surfhvvhv1 Dpvwhugdp= Qruwk Kroodqg1
Mldqj J1 M1 dqg M1 O1 Nqljkw +4<<:, _D qrqsdudphwulf dssurdfk wr wkh hvwlpdwlrq ri glxvlrq surfhvvhv/ zlwk dq dssolfdwlrq wr d vkruw0whup lqwhuhvw udwh prgho%1 Hfrqrphwulf Wkhru|/ 46/ 94809781
Skloolsv S1 F1 E1 dqg Z1 Sorehujhu +4<<9,1 _Dq Dv|pswrwlf Wkhru| ri Ed|hvldq Lqihuhqfh iru Wlph Vhulhv%/ Hfrqrphwulfd/ 97/ 6;407461
Uhyx}/ G1 dqg P1 \ru +4<<4,1 Frqwlqxrxv Pduwlqjdoh dqg Eurzqldq Prwlrq1 Qhz \run= Vsulqjhu~Yhuodj1
Urelqvrq/ S1 P1 +4<;6,1 _Qrqsdudphwulf hvwlpdwruv iru wlph vhulhv/% Mrxuqdo ri Wlph Vhulhv
Dqdo|vlv/ 7/ 4;8~53:1
Vkrudfn/ J1 U1 dqg M1 D1 Zhooqhu +4<;9,1 Hpslulfdo Surfhvvhv zlwk Dssolfdwlrqv wr Vwdwlvwlfv1 Zloh|= Qhz \run1
Zklwh/ M1 V1 +4<8;,1 _Wkh olplwlqj glvwulexwlrq ri wkh vhuldo fruuhodwlrq frhflhqw lq wkh h{sorvlyh fdvh/% Dqqdov ri Pdwkhpdwlfdo Vwdwlvwlfv/ 5</ 44;;~44<:1