H[LVWHQFH DQG PXOWLSOLFLW\ UHVXOWV
IRU TXDVLOLQHDU HOOLSWLF GLIIHUHQWLDO V\VWHPV
Jldqql Dulrol dqg Ilolssr Jd}}rod
Glsduwlphqwr gl Vflhq}h h W1D1/ F1vr Eruvdolqr 87/ 48433 Dohvvdqguld Lwdo|
Zh xvh d qrqvprrwk fulwlfdo srlqw wkhru| wr suryh h{lvwhqfh
uhvxowv iru d yduldwlrqdo v|vwhp ri txdvlolqhdu hoolswlf htxdwlrqv lq erwk wkh
vxeolqhdu dqg vxshuolqhdu fdvhv1 Zh h{whqg d whfkqltxh ri Eduwvfk wr re0
wdlq pxowlsolflw| uhvxowv zkhq wkh v|vwhp lv lqyduldqw xqghu wkh dfwlrq ri d
frpsdfw Olh jurxs1 Wkh sureohp lv udwkhu glhuhqw iurp lwv vfdodu yhuvlrq/
ehfdxvh d vxlwdeoh frqglwlrq rq wkh frh!flhqwv ri wkh v|vwhp vhhpv wr eh
qhfhvvdu| lq rughu wr suryh wkh frqyhujhqfh ri wkh Sdodlv0Vpdoh vhtxhqfhv1
Vxfk frqglwlrq lv lq vrph vhqvh d uhvwulfwlrq wr wkh glvwdqfh ehwzhhq wkh
txdvlolqhdu rshudwru dqg d vhplolqhdu rqh1
Devwudfw1
41 Lqwurgxfwlrq
Zh frqvlghu wkh iroorzlqj nlqg ri v|vwhpv ri 6 txdvlolqhdu hoolswlf htxd0
wlrqv lq dq rshq vhw +qrw qhfhvvdulo| erxqghg, l U? / ? =
[
[ Y@
Y8
( E@ E%c ( & n
E%c ( , ( , '
E%c 2
Y
Y
&
&
,
zkhuh G l $ U6/ wkh lqglfhv c uxq iurp wr ?/ wkh lqglfhv &c , uxq iurp wr
6 dqg wkh dvvxpswlrqv rq @ dqg 8 duh jlyhq lq qh{w vhfwlrq1 Lq wkh vhtxho wkh
vxp ryhu uhshdwhg lqglfhvqlv xqghuvwrrgr dqg zh dvvxph d pruh frqflvh yhfwruldo
qrwdwlrq e| vhwwlqj u ' YY c c YY6 dqg ghqrwlqj wkh vfdodu surgxfw lq U6
e| kc l> wkh v|vwhp wdnhv wkh irup
+414,
( E@ E%c ( n u@ E%c k( c ( l ' u8 E%c 2
Lq rughu wr suryh wkh h{lvwhqfh ri zhdn vroxwlrqv ri +414, lq d vxlwdeoh ixqfwlrqdo
vsdfh .c zh orrn iru fulwlfdo srlqwv ri wkh ixqfwlrqdo a G . $ U ghqhg e|
]
+415,
aE '
@ E%c k( c ( l 8 E%c (
l 2
Pdwkhpdwlfv Vxemhfw Fodvvlfdwlrq1 68G38/ 68M53/ 68M931
Nh| zrugv dqg skudvhv1 Txdvlolqhdu hoolswlf glhuhqwldo v|vwhpv/ Qrqvprrwk fulwlfdo srlqw
4<<4
wkhru|/ Lqgh{ wkhru|1
Wklv uhvhdufk zdv vxssruwhg e| PXUVW surmhfw Phwrgl yduld}lrqdol hg Htxd}lrql Gli0
ihuhq}ldol Qrq Olqhdul%1
4
lq idfw wklv ixqfwlrqdo lv qrw orfdoo| Olsvfklw} frqwlqxrxv li wkh frh!flhqwv @
ghshqg rq > krzhyhu/ dv srlqwhg rxw lq ^4/ ;`/ wkh Jåwhdx{0ghulydwlyh ri a
h{lvwv lq wkh vprrwk gluhfwlrqv/ l1h1 lw lv srvvleoh wr hydoxdwh
]
@ E%c k( c ( l n ku@ E%c c lk( c ( l ku8 E%c c l
a Edo '
2
l
iru doo 5 . dqg 5 S Elc U6 E| xvlqj wkh qrqvprrwk fulwlfdo srlqw wkhru|
ghyhorshg lq ^45/ 47` lw lv srvvleoh wr ghqh fulwlfdo srlqwv lq d jhqhudol}hg
vhqvh= dffruglqj wr wklv wkhru|/ d fulwlfdo srlqw ri a vdwlvhv a Edo ' f iru
doo vprrwk zlwk frpsdfw vxssruw/ khqfh lw vroyhv +414, lq glvwulexwlrqdo vhqvh
dqg/ d srvwhulrul/ lw lv d zhdn vroxwlrq1
Wkh vwxg| ri wklv v|vwhp lv prwlydwhg e| lwv dssolfdwlrqv wr vrph sureohpv
lq glhuhqwldo jhrphwu|1 Wkh iroorzlqj h{dpsoh kdv ehhq srlqwhg rxw lq ^53`=
ohw eh d Ulhpdqqldq pdqlirog/ ohw r G $ U6 dqg frqvlghu d Odjudqjldq
lqwhjudo
]
uE%c rE%c _rE%_>
.Er '
"
zkhuh
Yr& E% Yr, E%
(
Y% Y%
wkhq wkh ixqfwlrqdo a orrnv olnh .Er lq orfdo frruglqdwhv1 Pruh jhqhudoo|/ wkh
ixqfwlrqdo a pd| uhsuhvhqw vrph Odjudqjldq lqwhjudo iru ixqfwlrqv ghqhg rq d
pdqlirog zkrvh phwulf whqvru ghshqgv rq wkh ixqfwlrq lwvhoi1 Vhh dovr ^49/ 4:`
iru pruh h{dpsohv dqg ghwdlov1
Wkh qrqvprrwk fulwlfdo srlqw wkhru| kdv ehhq zlgho| xvhg iru wkh vwxg| ri
vfdodu htxdwlrqv ri wkh nlqg ri +414,/ vhh h1j1 ^5/ ;/ </ 44`> wklv fodvv ri htxdwlrqv
kdv dovr ehhq vwxglhg lq ^4/ 4;/ 54` zlwk glhuhqw dssurdfkhv1 Wr rxu nqrzohgjh/
v|vwhpv kdyh rqo| ehhq frqvlghuhg lq ^4<`/ zkhuh d qrqolqhdu hljhqydoxh sure0
ohp lq d erxqghg vhw lv wuhdwhg1 Wkh vwxg| ri d v|vwhp lv pruh gholfdwh wkdq
wkh vwxg| ri d vlqjoh htxdwlrq> lq sduwlfxodu wkh yhulfdwlrq ri wkh jhqhudol}hg
Sdodlv0Vpdoh frqglwlrq fdqqrw eh fduulhg rq e| phdqv ri wkh vdph dujxphqwv
xvhg iru dq htxdwlrq1 Vlqfh zh dvvxph wkh Qhplwvn| rshudwru wr eh frpsdfw/
wkh sureohp grhv qrw dulvh iurp d odfn ri vrph frpsdfw hpehgglqj/ exw iurp
d vwurqj frxsolqj ri wkh htxdwlrqv lq +414, gxh wr wkh suhvhqfh ri d txdvlolqhdu
rshudwru1 Iru wklv uhdvrq/ +414, lv dovr pruh gl!fxow wr vwxg| wkdq d vhplolqhdu
v|vwhp> pruh suhflvho|/ lq wkh vhplolqhdu yhuvlrq ri wklv sureohp wkh frxsolqj
ri wkh htxdwlrqv lv rqo| jlyhq e| wkh Qhplwvn| rshudwru/ zkloh lq v|vwhp +414,
wkh whupv @ dv zhoo ghshqg rq dqg wkhuhiruh wkh frxsolqj lv vwurqjhu1 Vxfk d
frxsolqj lv frqwuroohg e| wkh judglhqw u@ zklfk lv suhflvho| wkh whup uhvsrqvl0
eoh ri wkh orvv ri vprrwkqhvv ri wkh ixqfwlrqdo1 Pruhryhu/ wklv yhfwru phdvxuhv
wkh fkdqjh ri frhuflylw| ri wkh txdvlolqhdu glhuhqwldo rshudwru dv zhoo/ khqfh
rqh grhv qrw h{shfw wkh ehkdylru ri vxfk dq rshudwru wr eh wrr glhuhqw iurp d
vhplolqhdu rqh li u@ lv vpdoo lq vrph vhqvh1 Wkhuhiruh/ rqh fdq wu| wr uhfryhu
uE%c rE%c _rE% ' }E%C
&, E%c rE%
h{lvwhqfh dqg pxowlsolflw| uhvxowv vlplodu wr wkrvh zhoo nqrzq iru wkh vhplolq0
hdu rshudwruv e| dvvxplqj wkdw u@ lv vpdoo/ exw hyhq lq wklv fdvh vwdqgdug
phwkrgv gr qrw dsso| gluhfwo| dqg wr suryh wkh Sdodlv0Vpdoh frqglwlrq zh lq0
wurgxfh d qhz nlqg ri whvw ixqfwlrqv zklfk duh vwulfwo| uhodwhg wr wkh jurzwk ri
hoolswlflw| ri wkh txdvlolqhdu rshudwru1 Rq wkh rwkhu kdqg/ zkhq wkh ixqfwlrqdo
a dgplwv d prxqwdlq sdvv jhrphwu|/ wkh Sdodlv0Vpdoh frqglwlrq pd| dovr eh
suryhg e| d yduldqw ri wkh phwkrg lqwurgxfhg lq ^4<` zklfk zh h{whqg wr xq0
erxqghg grpdlqv= wklv phwkrg wrr uhtxluhv u@ wr eh vpdoo/ exw lq d txlwh
glhuhqw idvklrq1
Pxowlsolflw| uhvxowv duh rewdlqhg zkhq wkh v|vwhp lv lqyduldqw xqghu wkh dfwlrq
ri d frpsdfw Olh jurxs= wkh vprrwk fdvh lv zlgho| wuhdwhg lq wkh errn ri Eduwvfk
^6`1 Zh h{whqg vrph uhvxowv wr rxu qrqvprrwk iudphzrun dqg zh dsso| wkhp
wr wkh v|vwhp +414, lq erwk wkh vxeolqhdu dqg vxshuolqhdu fdvh> pruh suhflvho|/
hlwkhu zh jlyh d orzhu erxqg wr wkh qxpehu ri vroxwlrqv ru zh suryh wkh h{lvwhqfh
ri lqqlwho| pdq| vroxwlrqv/ ghshqglqj rq wkh dvvxpswlrqv zh wdnh rq wkh
v|vwhp1 Wkh vwdqgdug pxowlsolflw| uhvxow ri Eduwvfk +vhh Wkhruhp 5158 lq ^6`,
frphv dv d fruroodu|1
Wklv sdshu lv rujdql}hg dv iroorzv= lq Vhfwlrq 5 zh vwdwh rxu pdlq h{lvwhqfh
uhvxowv lq wkh fdvhv zkhuh wkh whup u8 E%c lq +414, lv hlwkhu vxeolqhdu ru vx0
shuolqhdu1 Lq Vhfwlrq 6 zh vwdwh pxowlsolflw| uhvxowv iru wkh v|vwhp xqghu wkh
dgglwlrqdo dvvxpswlrq wkdw lw lv lqyduldqw zlwk uhvshfw wr wkh dfwlrq ri d frp0
sdfw Olh jurxs1 Lq Vhfwlrq 7 zh eulh | uhfdoo vrph ghqlwlrqv ri qrqvprrwk
fulwlfdo srlqw wkhru| dqg vwdwh wkh devwudfw yhuvlrq ri wkh wkhruhpv zh xvh> lq
sduwlfxodu zh jlyh wkh qrqvprrwk yhuvlrq ri d pxowlsolflw| wkhruhp ri Eduwvfk1
Lq Vhfwlrqv 8 dqg 9 zh suryh wkh erxqghgqhvv dqg frqyhujhqfh ri Sdodlv0Vpdoh
vhtxhqfhv1 Lq Vhfwlrqv : dqg ; zh jlyh wkh surriv ri rxu uhvxowv1 Ilqdoo| lq wkh
Dsshqgl{ zh jlyh vrph h{dpsohv dqg uhpdunv1
51 H{lvwhqfh ri d vroxwlrq
Ghqrwh e| G ' G c2Elc U6 wkh forvxuh ri S El +wkh vsdfh ri vprrwk yhfwru
ixqfwlrqv zlwk frpsdfw Uvxssruw lq l, zlwk uhvshfw wr wkh qrup lqgxfhg e| wkh
vfdodu surgxfw Ec ' l k( c ( l1 Li l lv erxqghg/ wkhq G ' Mf Elc U61
Wkh iroorzlqj frqglwlrq +D4, lv vwdqgdug lq wklv nlqg ri sureohpv dqg lw
lv dvvxphg wkurxjkrxw wkh sdshu= wkh pdwul{ d@ E%c ro vdwlvhv dq hoolswlflw|
surshuw| dqg wkh pdwul{ dkrc u@ E%c rlo lv vhplsrvlwlyh ghqlwh1 Pruh suhflvho|=
+D4, Wkh pdwul{ d@ E%c ro vdwlvhv dvvxpswlrq +D4, li
"
;
@ @
A
A
6
A
A
? @ E%c r 5 u El U c6U 6
u@ E%c r 5 u El U c U A
@ E%c 5 EU6 iru d1h1 % 5 l
A
A
A
= *4 @ E%c r ' E% iru d1h1 % 5 l
"
+514,
"
r
<"
dqg wkhuh h{lvwv D : f vxfk wkdw iru d1h1 % 5 l/ doo r 5 U6 dqg doo 1 5 U?
@ E%c r1 1 Dm1m2
+515,
dqg
+516,
krc u@ E%c rl1 1 f
Wkh iroorzlqj dvvxpswlrq +D5, lv wkh uvw nlqg ri frqwuro uhtxluhg rq wkh
pdwul{ d@ E%c ro dqg lw fdq eh xvhg iru erwk wkh vxshuolqhdu dqg vxeolqhdu
fdvhv1 Lq Wkhruhp 516 ehorz zh uhsodfh lw zlwk dqrwkhu dvvxpswlrq/ zklfk lv
vlpsohu +exw qrw zhdnhu, dqg rqo| zrunv iru wkh vxshuolqhdu fdvh1
+D5, Dvvxpswlrq +D5, krogv li wkhuh h{lvw g : f dqg d ixqfwlrq G
dfc n4 $ dfc n4 frqwlqxrxvo| glhuhqwldeoh doprvw hyhu|zkhuh dqg vdwlv0
i|lqj
;
+l, Ef ' f dqg *4 E| ' g
A
A
| n
A
A
A
E|
f
iru
d1h1
| 5 dfc n4
+ll,
A
?
+lll, lv erxqghg dqg qrq0lqfuhdvlqj
+517,
6 S
A
Y
A
A
+ly,
Yr& @ E%c r1 1 2e eg Emrm@ E%c r1 1 iru doo r 5 U6
A
A
A
&'
=
iru doo 1 5 U? dqg iru d1h1 % 5 l
<
"
3
Lq vrph vhqvh/ lv d phdvxuh ri wkh jurzwk ri hoolswlflw| ri wkh glhuhqwldo
rshudwru> zh dvvxph wkdw vxfk jurzwk lv qrw wrr odujh dqg zh uhihu wr wkh
dsshqgl{ iru vrph h{dpsohv1
+I3, Wkh ixqfwlrq 8 G l U6 $ U vdwlvhv dvvxpswlrq +I3, li lw lv phdvxu0
deoh zlwk uhvshfw wr wkh uvw ? yduldeohv dqg zlwk uhvshfw wr wkh rwkhu rqhv>
ixuwkhupruh
8 E%c f ' f iru d1h1 % 5 l
Zh uvw frqvlghu wkh vxeolqhdu fdvh1
+I4, Wkh ixqfwlrq 8 vdwlvhv +I4, li 8 E%c r ' KE%mrm2 n 8E%c r zkhuh
?
+518,
K 5 u 2 Elc U
2?
?
dqg 8 vdwlvhv wkh iroorzlqj= wkhuh h{lvw k 5 u ?n2 Elc U dqg q 5 u 2 Elc U
vxfk wkdw
+519,
+51:,
mu8E%c rm kE% n qE%mrm iru doo r 5 U6 dqg iru d1h1 % 5 lc
*4
r
<"
u8 E%c r
' f xqlirupo| z1u1w1 % 5 lc
mrm
+51;,
8 E%c r $ n4 li mrm $ 4 iru d1h1 % 5 lc
+51<,
28E%c r krc u8E%c rl $ n4 li mrm $ 4 iru d1h1 % 5 lc
+5143,
28 E%c r krc u8 E%c rl f iru d1h1 % 5 l dqg iru doo r 5 U6 c
8E%c r f iru d1h1 % 5 l dqg iru doo r 5 U6
+5144,
Xqghu wkh deryh dvvxpswlrqv zh suryh=
Wkhruhp 5141 Dvvxph +D4,/ +D5,/ +I3, dqg +I4,1 Wkhq +414, dgplwv d zhdn
vroxwlrq 5 G
Uhpdun 5141 Li u8E%c f ' f lw lv qrw srvvleoh wr h{foxgh wkdw wkh vroxwlrq
rewdlqhg zlwk wkh suhylrxv wkhruhp lv wulyldo/ exw d qrqwulyldo vroxwlrq frxog eh
rewdlqhg e| xvlqj wkh Pruvh wkhru| dv lq ^44`1
Qh{w zh frqvlghu wkh fdvh zkhuh wkh ixqfwlrqdo kdv d prxqwdlq sdvv jhrphwu|1
+I5, Zh vd| wkdw wkh ixqfwlrq 8 vdwlvhv +I5, li 8 E%c r ' 82E%c r dqg wkhuh
h{lvwv R 5 E2c 2 vxfk wkdw
W
+5145,
iru doo r 5 U6 dqg iru d1h1 % 5 lc
f R82 E%c r krc u82 E%c rl
2?
82 E%c r9f dqg wkhuh h{lvw ^ 5 E2c 2 / B 5 E2c ^/ k 5 u 2?nE23?B El dqg q 5
2?
u 2?nE23?^ El vxfk wkdw
W
+5146,
mu82 E%c rm kE%mrmB
3
n qE%mrm^
3
iru doo r 5 U6 dqg iru d1h1 % 5 l
Wkh iroorzlqj dvvxpswlrq lv vwdqgdug iru vxshuolqhdu sureohpv= lw uhodwhv wkh
surshuwlhv ri wkh pdwul{ d@ o zlwk wkh ixqfwlrq 82 dqg lw zloo eh xvhg wr suryh
wkdw wkh Sdodlv0Vpdoh vhtxhqfhv duh erxqghg1
+DI, Zh vd| wkdw dvvxpswlrq +DI, lv vdwlvhg li wkhuh h{lvwv 5 Efc R 2
vxfk wkdw +R dv lq +I5,,
+5147,
krc u@ E%c rl1 1 @ E%c r1 1
iru d1h1 % 5 lc iru doo r 5 U6 dqg 1 5 U? Wkhruhp 5151 Dvvxph +D4,/ +D5,/ +DI,/ +I3, dqg +I5,1 Wkhq +414, dgplwv
d qrqwulyldo zhdn vroxwlrq 5 G1
Zh dovr suryh d vlplodu h{lvwhqfh uhvxow xqghu glhuhqw dvvxpswlrqv> zh uvw
uhsodfh +I5, zlwk
+I6, Zh vd| wkdw wkh ixqfwlrq 8 vdwlvhv +I6, li 8 E%c r ' 82E%c rc 82 lv qrw
wulyldo/ wkhuh h{lvwv R 5 E2c 2 vxfk wkdw +5145, krogv dqg wkhuh h{lvw ^ 5 E2c 2 2?
dqg q 5 u 2?nE23?^ El _ u El vxfk wkdw
W
W
"
mu82E%c rm qE%mrm^
+5148,
3
iru doo r 5 U6 dqg iru d1h1 % 5 l
Wkhq lw lv srvvleoh wr uhsodfh +D5, zlwk d glhuhqw dvvxpswlrq rq du@ o +vhh
^4<`,=
+Du , Wkh pdwul{ du@ o vdwlvhv +Du , li mu@ E%c rm u iru doo r 5 U6 dqg
d1h1 % 5 l1
Rxu odvw h{lvwhqfh uhvxow uhdgv=
Wkhruhp 5161 Dvvxph +D4,/ +DI,/ +I3,/ +I6,1 Wkhuh h{lvwv d frqvwdqw u : f
vxfk wkdw li du@ o vdwlvhv +Du ,/ wkhq +414, dgplwv d qrqwulyldo zhdn vroxwlrq
5 G _ u El
"
61 Pxowlsolflw| uhvxowv
Lq wklv vhfwlrq zh frqvlghu wkh fdvh zkhq htxdwlrq +414, lv lqyduldqw zlwk
uhvshfw wr dq dfwlrq ri vrph frpsdfw Olh jurxs1 Lq rughu wr surfhhg zh uhfdoo
vrph ghqlwlrqv dqg nqrzq uhvxowv iurp uhsuhvhqwdwlrq wkhru|1 Pruh lqirupd0
wlrq fdq eh irxqg lq ^6/ 9`1
Ghqlwlrq 6141 Ohw C eh d frpsdfw Olh jurxs> C lv vdlg wr eh vroydeoh li wkhuh
h{lvwv d vhtxhqfh Cf C Co ' C ri vxejurxsv ri C vxfk wkdw Cf lv
d pd{lpdo wruxv ri C/ C lv d qrupdo vxejurxs ri C dqg C *C ' ~*R /
o1 Khuh wkh R *v duh sulph qxpehuv1
3
3
Uhpdun 6141 Li C lv deholdq/ wkhq C lv lvrprusklf wr wkh surgxfw ri d wruxv
zlwk d qlwh deholdq jurxs ^9/ Fruroodu| L161:`1 Lq sduwlfxodu/ doo deholdq frpsdfw
Olh jurxsv duh vroydeoh1
Ghqlwlrq 6151 Il{ d frpsdfw Olh jurxs C1 D Kloehuw vsdfh E.c kc l lv fdoohg
d CKloehuw vsdfh li wkhuh h{lvwv d frqwlqxrxv dfwlrq
C . $ .c E}c % :$ }%
suhvhuylqj wkh vfdodu surgxfw/ l1h1 k}%c }+l ' k%c +l iru doo %c + 5 . dqg doo
} 5 C1
Ghqlwlrq 6161 Ohw .c . eh wzr CKloehuw vsdfhv1 D vxevhw ri . lv vdlg wr
eh lqyduldqw li } iru doo } 5 C1 D ixqfwlrqdo U G . $ U lv lqyduldqw li
UE}% ' UE% iru doo }c %/ dqg d ixqfwlrq s G . $ . lv htxlyduldqw li s E}% '
}s E% iru doo }c %1
Ghqlwlrq 6171 Wkh vsdfh . C G' i% 5 . G }% ' % iru doo } 5 Cj lv fdoohg
wkh {hg srlqw vsdfh ri +wkh uhsuhvhqwdwlrq ri, C/ dqg wkh ruelw ri % lv ghqhg
e| RC E% G' i}% G } 5 Cj1 Zh vd| wkdw %c + 5 . duh jhrphwulfdoo| glvwlqfw li
+5
* RC E%1
Ghqlwlrq 6181 Ohw T eh d qlwh0glphqvlrqdo uhsuhvhqwdwlrq vsdfh ri C1 T lv
fdoohg dgplvvleoh li iru hdfk rshq/ erxqghg dqg lqyduldqw qhljkerukrrg X ri 3
lq T & +& , dqg hdfk htxlyduldqw pds s G X $ T & / s Ef _ YX '
9 >1 Wkh
fruuhvsrqglqj uhsuhvhqwdwlrq 4 zloo dovr eh fdoohg dgplvvleoh1
3
3
Lw lv nqrzq +vhh ^6/ Wkhruhp 61:`, wkdw T lv dgplvvleoh li dqg rqo| li wkhuh
h{lvw vxejurxsv g M ri C vxfk wkdw g lv qrupdo lq M/ M*g lv vroydeoh/
T g 9' f dqg T M ' f> pruhryhu/ li C lv vroydeoh/ wkhq dq| qlwh0glphqvlrqdo
uhsuhvhqwdwlrq vsdfh T zlwk T C ' f lv dgplvvleoh1
Frqvlghu qrz d uhsuhvhqwdwlrq ri C lq U6= wkhq d qdwxudo uhsuhvhqwdwlrq ri
C lq G ru M lv jlyhq e| }EE% G' }EE%1
Ghqlwlrq 6191 Ohw C eh d frpsdfw Olh jurxs/ f d CKloehuw vsdfh/ T U6
dq dgplvvleoh uhsuhvhqwdwlrq vsdfh iru C dqg P ' i f G lv forvhg dqg
lqyduldqwj Zh ghqh dq lqgh{ G P $ Q ^ in4j lq wkh iroorzlqj zd|=
E lv wkh vpdoohvw lqwhjhu & vxfk wkdw wkhuh h{lvwv dq htxlyduldqw pds [ G
$ i% 5 EU6 & G m%m ' j1 Pruh suhflvho|/ wkh pds [ vdwlvhv [E}% '
E[E}%c c [& E}% ' E}[ E%c c }[& E%1
Uhpdun 6151 Wkh lqgh{ fruuhvsrqgv wr wkh D0jhqxv ghqhg lq ^6` zlwk D '
i% 5 T G m%m ' jc dqg wkhuhiruh lw vdwlvhv wkh xvxdo surshuwlhv ri lqglfhv1
Lq rughu wr hvwdeolvk wkh jhrphwulfdo surshuwlhv ri wkh ixqfwlrqdo a lq wkh vxe0
olqhdu fdvh/ zh frqvlghu wkh olqhdu vhoi0dgmrlqw rshudwru u G G $ G lpsolflwo|
ghqhg e|
]
+614,
E%k( c ( l KE%kc l
Eu c '
"
"
l
Lw lv zhoo nqrzq +vhh ^48` iru dq h{whqvlyh wuhdwphqw ri wkh wrslf, wkdw/ xqghu wkh
dvvxpswlrqv zh wdnh rq dqg Kc wkh zkroh vshfwuxp jEu exw d qlwh vhw
ri hljhqydoxhv zlwk qlwh pxowlsolflw| lv frqwdlqhg lq vrph lqwhuydo d>4?c >4@ o
zlwk f >4? >4@ n4 Dv u lv vhoi0dgmrlqw/ wkhuh h{lvw ruwkrjrqdo
vxevsdfhv G n c G f dqg G ri G vxfk wkdw G ' G n G f G dqg u lv srvlwlyh
ghqlwh rq G n c qhjdwlyh ghqlwh rq G dqg G f ' !ih u > e| d v|pphwu|
dujxphqw wkh +qlwh, glphqvlrqv ri G dqg G f duh erwk pxowlsohv ri 6= zh vhw
^ ' E_4 G f n _4 G *61
Lq rughu wr h{sorlw wkh v|pphwu| ri wkh htxdwlrq/ zh qhhg wr frqvlghu lwv
olqhdul}dwlrq lq f1 Ohw k f lq +519,/ zh kdyh 8 E%c f ' f dqg u8E%c f ' f/
vhw
28E%c r
sf E% ' *4 tT
mrm2
r f
"
"
3
3
3
3
3
<
"
"
dqg ghqh wkh olqhdu vhoi0dgmrlqw rshudwru uf G G $ G e|
]
f
@ E%c fk( c ( l EKE% n sfE%kc l
Eu c '
f
l
Wkh rshudwru u kdv wkh vdph surshuwlhv ri u = lq sduwlfxodu wkh frglphqvlrq
ri lwv srvlwlyh vxevsdfh lv d pxowlsoh ri 6/ zklfk zh ghqrwh e| R61 Zh suryh
wkh iroorzlqj=
"
Wkhruhp 6141 Dvvxph +D4,/ +D5,/ +I3,/ +I4, +zlwk k f, dqg dvvxph wkdw
htxdwlrq +414, lv lqyduldqw xqghu vrph dgplvvleoh uhsuhvhqwdwlrq ri d frpsdfw
Olh jurxs C1 Ohw R dqg ^ eh ghqhg dv deryh1 Li ^ : R/ wkhq +414, dgplwv dw
ohdvw ^ R jhrphwulfdoo| glvwlqfw zhdn vroxwlrqv lq G1
Wkh qh{w wkhruhpv kdqgoh wkh fdvh zkhuh wkh ixqfwlrqdo kdv d prxqwdlq sdvv
jhrphwu|1
Wkhruhp 6151 Dvvxph +D4,/ +D5,/ +DI,/ +I3,/ +I5, dqg dvvxph wkdw +414,
lv lqyduldqw xqghu vrph dgplvvleoh uhsuhvhqwdwlrq ri d frpsdfw Olh jurxs C1
Wkhq +414, dgplwv lqqlwho| pdq| jhrphwulfdoo| glvwlqfw zhdn vroxwlrqv lq G1
Wkhruhp 6161 Dvvxph +D4,/ +DI,/ +I3,/ +I6, dqg dvvxph wkdw +414, lv lq0
yduldqw xqghu vrph dgplvvleoh uhsuhvhqwdwlrq ri d frpsdfw Olh jurxs C1 Wkhuh
h{lvwv d vhtxhqfh iu& j Efc n4 vxfk wkdw li du@ o vdwlvhv +Du& ,/ wkhq +414,
dgplwv dw ohdvw & jhrphwulfdoo| glvwlqfw zhdn vroxwlrqv lq G _ u El1
"
Uhpdun 6161 Lq jhqhudo wkh vhtxhqfh iu& j pd| ydqlvk/ wkhuhiruh lq rughu wr
rewdlq pruh vroxwlrqv zh qhhg +414, wr eh forvhu wr d vhplolqhdu v|vwhp1 Rq
wkh rwkhu kdqg erwk Wkhruhpv 615 dqg 616 lpso| wkdw +414, dgplwv lqqlwho|
pdq| jhrphwulfdoo| glvwlqfw vroxwlrqv li u@ E%c r ' fc wkdw lv wkh vwdqgdug
pxowlsolflw| uhvxow lq wkh vhplolqhdu fdvh1
71 Yduldwlrqdo vhwwlqj
Zh eulh | uhfdoo vrph edvlf ghqlwlrqv ri wkh qrqvprrwk fulwlfdo srlqw wkhru|
lqwurgxfhg lq ^45/ 47`1
Ghqlwlrq 7141 Ohw Efc _ eh d phwulf vsdfh/ U 5 Efc U dqg ohw % 5 f1 Zh
ghqrwh e| m_UmE% wkh vxsuhpxp ri wkh j 5 dfc n4 vxfk wkdw wkhuh h{lvw B : f
dqg d frqwlqxrxv pds
K G E%c B dfc Bo $ E%c 2B
vxfk wkdw iru doo + 5 E%c B dqg iru doo | 5 dfc Bo zh kdyh
_EKE+c |c + | dqg UEKE+c | UE+ j|
zkhuh E%c o G' i+ 5 fc _E%c + oj> m_UmE% lv fdoohg wkh zhdn vorsh ri U dw
%1
Ghqlwlrq 7151 Ohw Efc _ eh d phwulf vsdfh dqg U 5 Efc U> d srlqw % 5 f
lv vdlg wr eh fulwlfdo iru U li m_UmE% ' f1 D uhdo qxpehu S lv vdlg wr eh d fulwlfdo
ydoxh iru U li wkhuh h{lvwv % 5 f vxfk wkdw UE% ' S dqg m_UmE% ' f1
Wkh frpsdfwqhvv frqglwlrq ri Sdodlv0Vpdoh +SV, kdv ehhq ghqhg lq wklv
frqwh{w +vhh ^47`,1 Zh suryh wkdw lw krogv lq wkh vxshuolqhdu fdvh/ exw zh gr qrw
nqrz li lw lv vdwlvhg lq wkh vxeolqhdu fdvh1 Lq wkh odwwhu fdvh zh suryh lqvwhdg
wkdw wkh ixqfwlrqdo a vdwlvhv d zhdnhu frqglwlrq zklfk lv gxh wr Fhudpl ^43` lq
wkh vprrwk frqwh{w> lq rxu iudphzrun Sdodlv0Vpdoh0Fhudpl +SVF, vhtxhqfhv/
SVF frqglwlrq dqg wkh t 0glhuhqwldelolw| kdyh ehhq ghqhg lq ^5` dv iroorzv=
Ghqlwlrq 7161 Ohw f eh d Edqdfk vsdfh dqg ohw U 5 Efc U1 D vhtxhqfh
i%6 j f lv fdoohg d SVF vhtxhqfh li wkhuh h{lvwv g : f vxfk wkdw mUE%6 m g
dqg E n n%6 nm_UmE%6 $ f1
Ghqlwlrq 7171 Ohw f eh d Edqdfk vsdfh dqg ohw U 5 Efc U1 U vdwlvhv wkh
SVF frqglwlrq li doo lwv SVF vhtxhqfhv duh suhfrpsdfw1
Ghqlwlrq 7181 Ohw f eh d Edqdfk vsdfh/ ohw U 5 Efc U dqg ohw t eh d
ghqvh vxevsdfh ri f1 Li wkh gluhfwlrqdo ghulydwlyh ri U h{lvwv iru doo % lq f lq
doo wkh gluhfwlrqv + 5 t zh vd| wkdw U lv zhdno| \0glhuhqwldeoh dqg zh fdoo
zhdn \0vorsh lq % wkh h{whqghg uhdo qxpehu
nUt E%n G' tTiU E%do G 5 tc nnf ' j
W
Zh fdq qrz vwdwh wkh yhuvlrq ri wkh vdggoh srlqw wkhruhp zklfk zh xvh=
Wkhruhp 7141 Ohw G ' T ` / zkhuh T 9' ifj lv qlwh glphqvlrqdo> ohw a eh
ghqhg dv lq +415, dqg dvvxph wkdw
+l, a vdwlvhv wkh SVF frqglwlrq
+ll, wkhuh h{lvwv q 5 U vxfk wkdw aE% q iru doo % 5 `
W
+lll, wkhuh h{lvw k q dqg - : f vxfk wkdw aE% k iru doo % 5 Y- T
Wkhq +414, kdv d zhdn vroxwlrq 5 G1
Surri1 Wkh ixqfwlrqdo a lv ri wkh w|sh
]
aE '
uE%c c u_%c
zkhuh u G
l U6
U6?
l
$ U vdwlvhv wkh iroorzlqj dvvxpswlrqv=
uE%c rc 1 lv phdvxudeoh zlwk uhvshfw wr % iru doo Erc 1 5 U6 U6?
uE%c rc 1 lv ri fodvv zlwk uhvshfw wr Erc 1 iru d1h1 % 5 l
dqg wkhuh h{lvw 5 u Elc U/ 2 5 u,JS Elc U/ 5 u,JS Elc U dqg S : f vxfk
wkdw iru doo Erc 1 5 U6 U6? dqg d1h1 % 5 l wkh iroorzlqj lqhtxdolwlhv krog=
"
2?
muE%c rc 1m E% n SEmrm ?32 n m1m2
Yu
E%c rc 1 2 E% n E%Emrm ?23?2 n m1m2 Yr
2?
Yu
Y1 E%c rc 1 2E% n E%Emrm ?32 n m1m2
Zlwk wkh deryh jurzwk frqglwlrqv dqg e| dgdswlqj Wkhruhp 418 lq ^;` wr rxu
fdvh/ zh lqihu wkdw a lv frqwlqxrxv/ zhdno| S Elglhuhqwldeoh dqg wkdw wkh
"
zhdn vorsh jlyhv dq xsshu hvwlpdwh ri wkh zhdn S Elvorsh/ l1h1
"
+714,
m_amE naS" En 1
W
Lq sduwlfxodu/ li lv d fulwlfdo srlqw ri a/ wkhq htxdwlrq +414, lv vdwlvhg lq
glvwulexwlrqdo vhqvh1 Wkhuhiruh/ dv ( E@ E%c ( n u8 E%c 5 G +wkh gxdo
vsdfh ri G, zh dovr kdyh u@ E%c k( c ( l 5 G dqg wkh v|vwhp lv vroyhg lq
d zhdn vhqvh1 Wr frpsohwh wkh surri lw vx!fhv wr uhdvrq dv iru Wkhruhpv 6 dqg
8 lq ^5`1
W
W
Dqdorjrxvo| rqh fdq suryh wkh iroorzlqj yhuvlrq ri wkh prxqwdlq sdvv wkhr0
uhp=
Wkhruhp 7151 Ohw a eh ghqhg dv lq +415, dqg dvvxph wkdw
+l, a vdwlvhv wkh SV frqglwlrq
+ll, wkhuh h{lvw kc o 5 Efc n4 vxfk wkdw aE% k iru doo % 5 Yo
+lll, wkhuh h{lvw - : o dqg + 5 Y- vxfk wkdw aE+ f1
Wkhq htxdwlrq +414, kdv d qrqwulyldo zhdn vroxwlrq 5 G1
Wkh iroorzlqj Ohppd h{whqgv d uhvxow lq ^8`=
Ohppd 7141 Ohw l eh +dq|, rshq vhw lq U? ohw A 5 dGc2 Elc U6o _u,JS Elc U6 dqg 5 G c2Elc U6 vdwlvi|lqj kAc l s lq l iru vrph ixqfwlrq
s 5 uElc U
U
Wkhq kAc l 5 u Elc U dqg wkh gxdolw| surgxfw EAc htxdov l kAc l1
W
Surri1 Wkh surri iroorzv e| lqvshfwlrq ri wkh surri lq ^8`1
Uhpdun 7141 Wkh suhylrxv Ohppd dqg frqglwlrqv +515,0+519, lpso| wkdw
kc u@ E%c lk( c ( l 5 u Elc U
iru doo 5 G dqg wkhuhiruh a Edo lv zhoo ghqhg/ vhh ^;/ <` iru ghwdlov1
Lq rughu wr ghdo zlwk d v|pphwulf ixqfwlrqdo/ zh dgdsw vrph uhvxowv ri Eduwvfk
^6` wr rxu fdvh1
Wkhruhp 7161 Ohw C eh d frpsdfw Olh jurxs dqg ohw f eh d CKloehuw O
vsdfh1
Frqvlghu dq dgplvvleoh uhsuhvhqwdwlrq ri C rq U6 / dqg dvvxph wkdw f ' f
zkhuh f * U6 dqg hdfk f lv lvrprusklf wr U6 dv d uhsuhvhqwdwlrq ri C1 Ohw
U G f $ U eh d frqwlqxrxv Clqyduldqw ixqfwlrqdo vdwlvi|lqj wkh SVF frqglwlrq
dqg UEf ' f> dvvxph pruhryhu wkdw wkhuh h{lvw wzr lqwhjhuv R dqg ^ +^ : R,/
vxfk wkdw
W O
+l, Wkhuh h{lvw 4c q : f vxfk wkdw UE% q iru doo % 5 Y4
f 1
"
'Rn
+ll, Wkhuh h{lvwv - : 4 vxfk wkdw UE% f iru doo % 5 YWkhq U dgplwv dw ohdvw ^ R fulwlfdo ruelwv1
^
WO
'
f 1
Surri1 Wkh vprrwk yhuvlrq ri wklv wkhruhp lv Wkhruhp 5158 lq ^6`1 Wkh surri
iroorzv wkh vdph olqhv/ zlwk wzr glvwlqfwlrqv= 41 Wkh fodvvlfdo ghirupdwlrq
ohppd grhv qrw krog lq wkh iudphzrun ri qrqvprrwk fulwlfdo srlqw wkhru|/ exw
dq htxlyduldqw ghirupdwlrq lv surylghg e| Wkhruhp 41518 lq ^<` iru ixqfwlrqdov
vdwlvi|lqj SV dqg fdq eh hdvlo| h{whqghg wr ixqfwlrqdov rqo| vdwlvi|lqj SVF1 51
Lq wkh phqwlrqhg wkhruhp lw lv dvvxphg wkdw frqglwlrq +ll, krogv iru doo lqwhjhuv
^ +prxqwdlq sdvv fdvh,/ exw wkh vdggoh srlqw fdvh lv dq hdv| yduldqw1
Dqrwkhu yduldqw ri wkh vdph wkhruhp lv wkh iroorzlqj +vhh dovr Wkhruhp 418
lq ^;` zkhuh d ]2 v|pphwu| lv frqvlghuhg,1
Wkhruhp 7171 Ohw C eh d frpsdfw Olh jurxs dqg ohw f eh d CKloehuw O
vsdfh1
Frqvlghu dq dgplvvleoh uhsuhvhqwdwlrq ri C rq U6 / dqg dvvxph wkdw f ' f
zkhuh f * U6 dqg hdfk f lv lvrprusklf wr U6 dv d uhsuhvhqwdwlrq ri C1 Ohw
U G f $ U eh d frqwlqxrxv Clqyduldqw ixqfwlrqdo/ UEf ' f> dvvxph pruhryhu
wkdw wkhuh h{lvwv dq lqwhjhu R vxfk wkdw
W O
+l, Wkhuh h{lvw 4c q : f vxfk wkdw UE% q iru doo % 5 Y4
f 1
"
'Rn
+ll, Iru hyhu| lqwhjhu & wkhuh h{lvwv - : 4 vxfk wkdw UE% f iru doo % 5
&
WO
f 1
Y'
Wkhq wkhuh h{lvwv d glyhujlqj vhtxhqfh iS& j dqc n4 vxfk wkdw iru hyhu|
lqwhjhu & wkhuh h{lvwv d SV vhtxhqfh i& j dw ohyho S& 1
81 Erxqghgqhvv ri SV vhtxhqfhv
8141 Wkh vxeolqhdu fdvh1 Iru doo / l dqg R zh vhw /S ' l q //
U
*R
U
*R
nnuR E/ ' / mmR
dqg nnR ' l mmR
1
Ohppd 8141 Dvvxph +I3, dqg +I4,1 Li i j G lv d vhtxhqfh vxfk wkdw
n n $ 4/ wkhq
U
l 8 E%c $ f dv $ 4
n n2
Surri1 Ohw i j G eh vxfk wkdw n n $ 4> zh fodlp wkdw wkhuh h{lvwv d
vhtxhqfh i0 j Un vxfk wkdw 0 $ f dqg/ iru d1h1 % 5 l
8 E%c E% kE%nn*2 n qE% nn n 0 m E%m2 +814,
2
Frqvlghu 5 Q dqg % 5 l/ ohw eh wkh vhjphqw frqqhfwlqj f wr E% dqg ohw
E% ' EE%% = zh kdyh
]
]
8E%c E% ' ku8 E%c rc _rl mku8 E%c | E%c E%lm_|
f
] E%
u8 %c | E% _|1
f
Li m E%m n n*2/ e| +519, zh kdyh
] E%
f
] 8
mu8 E%c | m_| *2
8
f
EkE% n qE%|_| kE%nn*2 n
dqg li m E%m : n n*2/ e| Kùoghu lqhtxdolw| zh jhw
%] &*2 %] ] E%
E%
E%
mu8 E%c | m
|_| |2 _|
|
*2
*2
*2
8
8
8
8
8
8
qE% n n/
2
&*2
u8 E%c | 2
_|
|
mE%m*2 0 m E%m*2 c
zkhuh 0 ghshqgv rq n n dqg e| +51:, 0 $ f dv $ 4> frpelqlqj wklv zlwk
wkh suhylrxv lqhtxdolw| zh rewdlq +814,1 Li l lv erxqghg/ wkhq zh duh grqh e|
lqwhjudwlqj +814, rq l> rwkhuzlvh fkrrvh 0 : f dqg ohw / l eh d erxqghg
rshq vhw vxfk wkdw nqnu ?2 E/S 0c zkhuh /S ' l q / E| +519,/ Kùoghu lqhtxdolw|
W
dqg wkh frqwlqxrxv hpehgglqj G u2 El zh kdyh
]
?
n nu2W E/S n nqnu ?2 E/S nn2u2W E/S S 8 E%c nknu ?2n2
S
E/ 2
/
Sn n n 0Sn n2 (
ixuwkhupruh/ e| lqwhjudwlqj +814, rq / zh kdyh
]
8 E%c Sn n n 0 n n2 2 c
u E/
/
dqg wkhvh wzr lqhtxdolwlhv |lhog wkh uhvxow e| wkh duelwudulqhvv ri 01
Ohppd 8151 Dvvxph +D4,/ +I3, dqg +I4,1 Wkhuh h{lvw d erxqghg vhw / l
dqg # : f vxfk wkdw iru doo vhtxhqfhv i j G vdwlvi|lqj tT aE 4 dqg
n n $ 4 wkh iroorzlqj lqhtxdolw| krogv=
n n #n nu2E/
+li l lwvhoi lv erxqghg/ wkhq wkh vwdwhphqw krogv iru / ' l,1
Surri1 Il{ 0 : f dqg fkrrvh /0 vr wkdw nKnu ?2 E/S 20 > wkh uhvwulfwlrq ri K wr /0 lv
0
?
lq u 2 E/0 c wkhuhiruh wkhuh h{lvw wzr ixqfwlrqv K2 dqg K vxfk wkdw K2 5 u E/0/
?
K 5 u 2 E/0 / nKn ?
0 dqg KE% ' K2E% n K E% iru d1h1 % 5 /0 1 Qrz ohw
"
K E% '
u 2 E/0 2
KE% li % 5 /0
KE% li % 5
* /0
dqg
K2E% '
K2 E% li % 5 /0
f
li % 5
* /0 Vr idu zh kdyh suryhg wkdw iru doo 0 : f wkhuh h{lvw dq rshq erxqghg vhw /0 dqg
?
wzr ixqfwlrqv K 5 u 2 El dqg K2 5 u El vxfk wkdw K ' K n K2/ nK n ?2 0 dqg
"
vxssK2 /0( khqfh iru doo 5 G zh kdyh
]
]
]
2
2
KE%mm mK E%mmm n
mK2 E%mmm2
l
l
nK n ?2 nn22?
? 2
/0
2
2
3 n nK2 n nnu2 E/0 S0nn n nK2n nnu2E/0 "
2
"
Wkhq/ e| +515, dqg Ohppd 814 zh rewdlq
+815,
aE Snn2 S0n n2 nK2 n n n2u2 E/0 n JEnn2 "
dqg wkh uhvxow iroorzv e| fkrrvlqj 0 vpdoo hqrxjk dqg vhwwlqj / ' /0 1
Ohppd 8161 Dvvxph +D4,/ +I3, dqg +I4,1 Wkhq doo wkh SVF vhtxhqfhv iru a
duh erxqghg lq G1
Surri1 E| frqwudglfwlrq/ ohw i j eh d glyhujlqj SVF vhtxhqfh> e| Uhpdun 714
iru odujh zh fdq hydoxdwh a E do 2aE dqg wdnlqj lqwr dffrxqw +516,
dqg +714, zh kdyh
]
+816,
28 E%c ku8E%c c l
E l
E%
/
8 8
wkhq wkhuh h{lvwv 5 G vxfk wkdw/ xs wr d vxevhtxhqfh/
Ohw E% '
X dqg wkhuhiruh $ lq u2,JS dqg E% $ E% iru d1h1 % 5 l> Ohppd
815 lpsolhv wkdw 9' f1 E| +51<, zh lqihu wkdw 28 E%c u8E%c $ n4
rq d vxevhw ri l zlwk srvlwlyh phdvxuh/ khqfh e| +5143, dqg Idwrx Ohppd zh
lqihu
]
d28E%c ku8 E%c c lo $ n4c
l
zklfk frqwudglfwv +816,1
8151 Wkh vxshuolqhdu fdvh1 Ohw eh dv lq +514, dqg ghqh wkh +vprrwk,
ixqfwlrqdo
]
]
E%k( c ( l 82E%c a E '
2 l
l
"
E| +5145, wkh ixqfwlrq 82 E%c lv vxshutxdgudwlf dw n4 dqg zh fdq fkrrvh
7 5 G vdwlvi|lqj a E7
f> qrz ghqh
"
K G' i 5 Edfc o( Gc Ef ' fc E ' 7j
dqg
G' ?u 4@ a EE|
MK |Mdfco
"
Zh suryh wkdw a dgplwv d erxqghg SV vhtxhqfh dqg jlyh dq hvwlpdwh ri wkh
qrup=
Ohppd 8171 Dvvxph +D4,/ +DI,/ +I3, dqg +I5,1 Wkhuh h{lvwv d SV vhtxhqfh
i j G vdwlvi|lqj
*4 n n2 <n"
2R
DER 2 Uhpdun 8141 Uhfdoo wkdw +I6, lpsolhv +I5,1
Surri1 Iluvw qrwh wkdw aEf ' f1 Qh{w/ revhuyh wkdw wkhuh h{lvw 4c - : f vxfk
wkdw aE - iru doo nn ' 4= lqghhg/ e| +515,/ +5146,/ Kùoghu lqhtxdolw| dqg
Vrerohy hpehgglqj Wkhruhp zh lqihu
aE nn2 2 nnB nn^
iru doo 5 G
+qrwh wkdw li +I6, lv dvvxphg/ wkhq 2 ' f,/ zklfk |lhogv 4 dqg -1 Ohw
k G' ?u 4@ aEE|
MK |Mdfco
wkhq zh kdyh k ehfdxvh a a 1 Zh rewdlq d SV vhtxhqfh iru a dw
ohyho k e| dsso|lqj wkh prxqwdlq sdvv Ohppd lq wkh qrqvprrwk yhuvlrq ^47`=
zh fodlp wkdw vxfk d vhtxhqfh vdwlvhv wkh deryh hvwlpdwh1 Vlqfh i j G
vdwlvhv maEm n JE/ e| +5145, zh jhw
]
]
U G'
@ E%c k( c ( l ku82 E%c c l n JE (
2 l
R l
"
e| +5147, zh fdq hydoxdwh a Ed o dqg dv i j lv d SV vhtxhqfh zh kdyh
ma E d om JEn n Wkhuhiruh/ e| +5147, dqg frpsxwlqj U R a Ed o zh jhw
]
R2
@ E%c k( c ( l JEn n n n JE (
2R
l
e| +515, wklv suryhv wkdw ij lv erxqghg dqg wkdw
]
ER 2 D 2 R 2 n n @ E%c k( c ( l n JE c
2R
2R
l
wkdw lv/ wkh uhtxluhg hvwlpdwh1
91 Frpsdfwqhvv ri SV vhtxhqfhv
9141 Wkh fdvh ri dvvxpswlrq +D5,1
Ohppd 9141 Dvvxph +D4, dqg +D5,/ ohw i j G eh d erxqghg vhtxhqfh dqg
vhw
' ( E@ E%c ( n u@ E%c k( c ( l
2
Li i j G dqg lw lv vwurqjo| frqyhujhqw wr vrph / wkhq ij lv suhfrpsdfw1
W
Surri1 Vlqfh i j lv erxqghg/ wkhq X iru vrph xs wr d vxevhtxhqfh1
Hdfk frpsrqhqw , vdwlvhv +518, lq ^:` dqg vlqfh Wkhruhp 514 lq wkh vdph
sdshu fdq eh h{whqghg wr xqerxqghg grpdlqv/ zh lqihu wkdw ( , $ ( , d1h1
lq l iru doo , ' c c 6 +vhh dovr ^46`,1 Zh uvw suryh wkdw
]
]
+914,
@ E%c k( c ( l n
ku@ E%c c lk( c ( l ' do
2 l
l
zkhuh do uhsuhvhqwv wkh gxdolw| surgxfw ehwzhhq 5 G dqg 5 G1 Zlwk
vrph dexvh ri qrwdwlrq zh ghqrwh e| wkh rgg h{whqvlrq wr wkh zkroh uhdo
olqh ri wkh ixqfwlrq ghqhg lq +517, dqg ohw ' ) i TdE E o/ zkhuh
) 5 G _ u / ) f dqg
W
"
i TdE E o ' Ei TdE E oc c i TdE6 E6 o
Y
Iru doo zh kdyh Y& ' Yr&
]
@ E%c ( , E( ) n ) E, ( , i TdE, E, o
l
]
n
Y& @ E%c i TdE& E&o( , ( , )
2 l
]
@ E%c ( , ( , E, i TdE, E, o) ' d o(
l
ohw xv vwxg| wkh ehkdylru ri hdfk whup ri wkh suhylrxv htxdolw| dv $ 41 Iluvw
ri doo/ dv X ' E)c c )/ wkhq
d o $ do
+915,
Qh{w/ vlqfh X / e| Ohehvjxh Wkhruhp zh rewdlq
]
+916,
@ E%c ( , E( ) n ) E, ( , i TdE, E,o $
l
]
@ E%c ( , E( ) n ) E, ( , l
Ilqdoo|/ qrwh wkdw e| +D5,/ iru doo 1 5 U? zh jhw
[
Y& @ E%c i TdE& E& o1 1 Y& @ E%c 1 1 e2g (
&
qh{w/ e| xvlqj +ly, ri +517,/ zh lqihu
[
Y& @ E%c 1 1 e2g 2e 2g Em m@ E%c 1 1 (
3
&
pruhryhu zh kdyh
2e 2g Em m@ E%c 1 1 2 E, i TdE, E, o@ E%c 1 1 3
Wkh odvw wkuhh lqhtxdolwlhv |lhog
Y& @ E%c i TdE& E& o( , ( ,
2
@ E%c ( , ( , E, i TdE, E, o
Khqfh/ zh fdq dsso| Idwrx Ohppd wr rewdlq
]
*4 tT
Y& @ E%c i TdE& E& o( , ( , )
2 l
]
@ E%c ( , ( , E, i TdE, E, o) l
] [
]
Y& @ E%c ( , ( , ) @ E%c ( , ( , E, )c
2 l &
l
<"
zklfk/ wrjhwkhu zlwk +915, dqg +916,/ |lhogv
]
]
@ E%c k( c ( l n
ku@ E%c c lk( c ( l do
2 l
l
iru doo whvw ixqfwlrqv ' E)c c ) zlwk ) 5 G _ u / ) f1 Zh rewdlq wkh
rssrvlwh lqhtxdolw| e| xvlqj wkh whvw ixqfwlrqv ' ) i TdE Eo +zlwk
) f, dqg wkhuhiruh zh kdyh
]
]
@ E%c k( c ( l n
ku@ E%c c lk( c ( l ' do
2 l
l
"
iru doo ' E)c c ) zlwk ) 5 G _ u
qrz wkh whvw ixqfwlrqv
"
+dqg qrw qhfhvvdulo| ) f,1 Frqvlghu
' )Ej i TdjEE E oc c j6 i Tdj6 EE6 E6oc
zkhuh ) 5 G _ u / ) f dqg j, ' iru doo ,1 E| wdnlqj doo srvvleoh fkrlfhv
ri j dqg e| uhdvrqlqj dv lq wkh suhylrxv vwhsv zh lqihu
]
]
@ E%c k( c ( l n
ku@ E%c c lk( c ( l ' do
2 l
l
"
iru doo whvw ixqfwlrqv ' Ej)c c j6) +qrw qhfhvvdulo| ) f,/ dqg vlqfh hyhu|
ixqfwlrq 5 G _ u fdq eh zulwwhq dv d olqhdu frpelqdwlrq ri vxfk ixqfwlrqv/
e| d ghqvlw| dujxphqw zh lqihu +914,1 Qrz/ e| wdnlqj wkh vdph vwhsv dv lq wkh
surri ri lqhtxdolw| +516143, lq ^;` zh jhw
]
]
+917,
@ E%c k( c ( l
*4 tT @ E%c k( c ( l "
<"
l
l
Ilqdoo|/ e| +515, zh kdyh
2
Dn n ]
l
@ E%c k( c ( l 2k( c ( l n k( c ( l G
khqfh/ e| Ohehvjxh Wkhruhp dqg +917, zh rewdlq
*4 tTn n2 f
<"
zklfk suryhv wkdw
$ lq G1
Zlwk wkh uhvxow ri wkh suhylrxv ohppd zh fdq suryh wkh frpsdfwqhvv ri SVF
vhtxhqfhv=
Ohppd 9151 Dvvxph +D4,/ +D5,/ +I3, dqg +I4,> ohw i j G eh d SVF
vhtxhqfh iru wkh ixqfwlrqdo a1 Wkhq i j lv suhfrpsdfw1
Surri1 Ohw i j eh d SVF vhtxhqfh/ e| Ohppd 816 zh nqrz wkdw i j lv
erxqghg dqg wkdw X iru vrph xs wr d vxevhtxhqfh1 E| d vwdqgdug
surfhgxuh +vhh h1j1 Wkhruhp 5151: lq ^<`, xs wr d ixuwkhu vxevhtxhqfh zh kdyh
2?
KE% $ KE% dqg u82 E%c $ u82E%c lq u ?n2 El( U6> wkhq i j vdw0
lvhv wkh dvvxpswlrqv ri Ohppd 914 dqg wkhuhiruh lw kdv d frqyhujlqj vxevh0
txhqfh1
Vlploduo|/ zh fdq suryh
Ohppd 9161 Dvvxph +D4,/ +D5,/ +DI,/ +I3, dqg +I5, dqg ohw i j G eh
d SV vhtxhqfh iru wkh ixqfwlrqdo a1 Wkhq i j lv suhfrpsdfw1
9151 Wkh fdvh ri dvvxpswlrq +Du ,1
Ohppd 9171 Dvvxph +D4,/ +I3, dqg +I6,1 Ohw i j eh d SV vhtxhqfh vdwlvi|0
lqj n n g iru vrph g : f> wkhq/ wkhuh h{lvwv 5 G _ u vxfk wkdw X +xs wr d vxevhtxhqfh, dqg
"
nn
"
SEg
iru vrph ixqfwlrq S zklfk lv qrq0ghfuhdvlqj zlwk uhvshfw wr g1
Surri1 Lw iroorzv wkh vdph olqhv ri Ohppd 616 lq ^4<`1 Iru doo o f/ # : f ghqh
wkh whvw ixqfwlrqv
)oc# ' 4?immc #jon
m m
zklfk zh rqo| ghqrwh e| ) iru vlpsolflw|1 Wkh vhtxhqfh i) j lv xqlirupo|
erxqghg lq G dqg i) j G _ u / khqfh e| +714, zh kdyh a Ed) o $ f dqg
li zh ghqh
]
]
'
@ E%c k( c ( ) l n
ku@ E%c c ) lk( c ( l
2 l
l
]
2 ' ku82E%c c ) l
"
l
zh kdyh
+918,
2 $ f Ohw # ' 4?im mc #j/ wkhq/ e| uhdvrqlqj dv lq wkh surri ri Ohppd 616 lq ^4<`
+wdnlqj b ' f, zh rewdlq
W
eDEo n 2 2nE# Eon2*2 n2 SEo n 2 2n# no?n2
Eon2*E? 2
dqg/ e| +5148,
]
2 S qE%m m^ E# on
l
Qrwh wkdw qE%E# on $ qE%E# on iru d1h1 % 5 l dqg qE%E#on 3
3
3
3
2?
# onqE% 5 u 2?nE23?^ vr e| Ohehvjxh Wkhruhp qE%E# on $ qE%E# on
2?
lq u 2?nE23?^ 1 Li l lv xqerxqghg/ ohw l0 l eh d erxqghg vhw vdwlvi|lqj
U
2?
2?nE23?^ 0c rwkhuzlvh fkrrvh l ' l1 Dv $ lq u^ El 0
0
l l0 EqE%
zh kdyh
]
qE%m m^ E#on qE%mm^ E# on l
]
]
^
o
^ ^ on
^
on qE% m m n mm n qE%m m E# qE%mm E# #
3
.
3
3
3
l.l0
3
l0
wkhuhiruh *4 2 S
U
<"
S0 n JEc
l qE%mm
^3 E on
#
e| wkh duelwudulqhvv ri 0 Wkh suhylrxv
hvwlpdwhv dqg +918, |lhog
n# no?n2
Eon2*E?32
2
SEo n 2
dqg e| ohwwlqj # $ 4
nno?n2
Eon2*E?32
2
]
SEo n 2
l
Qrz fkrrvlqj o ' of ' 2 ^ zh kdyh
]
qE%mm^ E# on
3
l
o
qE%mm^no SEo n 22nn^^n
no W
W
W
2
mmmm2?E2W^3n2
^n2 Smmmm2W (
3
3
? 2
qh{w ghqh e| lqgxfwlrq on ' ?? 2 Eo n 2 ^ dqg frqfoxgh wkh surri e|
iroorzlqj wkh vdph vwhsv dv lq wkh surri ri Ohppd 616 lq ^4<`1
3
Lq sduwlfxodu/ iurp Ohppd 917/ zh lqihu wkdw wkh SV vhtxhqfh i j irxqg lq
Ohppd 817 dgplwv d zhdn olplw +xs wr d vxevhtxhqfh, 5 G _ u vxfk wkdw
#v
$
2R
+919,
nn S
'G L DER 2 "
"
Wr dsso| wkh prxqwdlq sdvv Ohppd zh qhhg qrz wr suryh wkh frqyhujhqfh
ri vxfk SV vhtxhqfh= wkh surri ri wkh qh{w uhvxow iroorzv forvho| wkh surri ri
Ohppd 617 lq ^4<`/ exw rxu vhwwlqj lv lq d +srvvleo|, xqerxqghg grpdlq dqg
zlwk glhuhqw dvvxpswlrqv rq 8 / wkhuhiruh zh jlyh vrph ghwdlov1
Ohppd 9181 Dvvxph +D4,/ +I3, dqg +I6,> ohw i j eh wkh SV vhtxhqfh re0
wdlqhg e| Ohppd 8171 Wkhuh h{lvwv d frqvwdqw u : f vxfk wkdw li +Du , krogv/
wkhq i j lv suhfrpsdfw1
Surri1 Ohw eh wkh zhdn olplw ri i j> e| Ohppd 817 zh nqrz wkdw 5 G _u
dqg wkhuhiruh lw lv dq dgplvvleoh whvw ixqfwlrq/ zh fdq hydoxdwh a E d o
dqg a Ed o $ f1 E| +5146, zh kdyh
"
]
+91:,
*4
<" l
ku82E%c c l ' f Lq zkdw iroorzv /EB ghqrwhv d jhqhulf ixqfwlrq ydqlvklqj dv B $ f1 Iru doo
B : f ohw UlB l eh d erxqghg vhw +li l lwvhoi lv erxqghg/ wkhq ohw lB ' l,
vxfk wkdw l lB mum2 B/ wkhq
.
]
l.lB
]
l.lB
ku@ E%c c lk( c ( l '
ku@ E%c c lk( E c ( E l n /EB(
qrz ohw lB lB vdwlvi| mlB m B dqg $ xqlirupo| rq lB q lB +vxfk vhw
h{lvwv e| Hjrury Wkhruhp,/ wkhq
]
lB .lB
]
lB .lB
ku@ E%c c lk( c ( l '
ku@ E%c c lk( E c ( E l n JE(
qdoo| zh kdyh
]
]
lB
lB
ku@ E%c c lk( c ( l '
ku@ E%c c lk( E c ( E l n /EB
Wkhvh wkuhh htxdolwlhv |lhog
]
+91;,
]
l
l
ku@ E%c c lk( c ( l '
ku@ E%c c lk( E c ( E l n /EB n JE
E| +515, zh kdyh
]
2
Dn n @ E%c k( E c ( E l
]l
@ E%c k( c ( E l n JE
'
l
]
e| +91:, ' a E d o ku@ E%c c lk( c ( l n JE
2 l
]
e| +91;, ' ku@ E%c c lk( E c ( E l n /EB n JE
2 l
]
e| +5147, ku@ E%c c lk( E c ( E l n /EB n JE
2 l
]
e| +919, Lnu@ n
muE m2 n /EB n JE (
"
l
dqg vlqfh B pd| eh fkrvhq duelwudulo| vpdoo/ li u LD zh kdyh $ lq wkh
qrup wrsrorj|1
:1 Surriv ri wkh vxeolqhdu wkhruhpv
Uhfdoo wkdw lq Vhfwlrq 6 zh ghqhg ^6 wr eh wkh qxpehu ri qrqsrvlwlyh
hljhqydoxhv ri u frxqwhg zlwk wkhlu pxowlsolflw|1 Zh uvw frqvlghu wkh fdvh
^ dqg zh suryh wkdw wkh jhrphwulfdo uhtxluhphqwv ri wkh vdggoh srlqw
wkhruhp krog1
"
Sursrvlwlrq :141 Dvvxph +D4,/ +I3, dqg +I4,1 Wkhq
+l, wkhuh h{lvwv q 5 U vxfk wkdw iru doo 5 Gn zh kdyh aE q
+ll, wkhuh h{lvw k q dqg - : f vxfk wkdw li 5 G G f dqg nn ' -/ wkhq
aE k1
3
Surri1 Vlqfh aE lv erxqghg rq erxqghg vxevhwv ri G/ wkhq +l, krogv li
aE $ n4 iru hyhu| vhtxhqfh i j G n vxfk wkdw
n n $ 41 Frq0
U
n
vlghu d glyhujlqj vhtxhqfh i j G = e| Ohppd 814 l 8E%c *n n2 $ f/
wkhuhiruh lw vx!fhv wr suryh wkdw iru odujh hqrxjk
]
]
+:14,
@ E%c k( c ( l KE%m m2 S : f c
l
l
U
zkhuh '
Wkhuh h{lvwv 5 Gc nn / vxfk wkdw X dqg l Km m2 $
U
?
2
vlqfh K 5 u 2 1 Wr suryh +:14, zh xvh wkh vdph ghylfh dv
l Kmm rq d vxevhtxhqfh/
U
lq ^44`1 Ohw , ' l @ E%c k( c ( l> dv i, j lv erxqghg/ rq d vxevhtxhqfh
, $ , dqg wzr fdvhv pd| rffxu=
U
41 , : l E%k( c ( l1 Lq wklv fdvh lqhtxdolw| +:14, iroorzv ehfdxvh 5
Gn1
1
8 8
51 , U
l E%k( c ( l1
]
Dn n2 ]l
'
l
Wkhq e| +515, zh kdyh
@ E%c k( E c ( E l
@ E%c k( c ( l 2k( c ( l n k( c ( l c
exw ( X ( lq u2/ dqg @ E%c ( $ E%( lq u2 e| Ohehvjxh
grplqdwhg frqyhujhqfh wkhruhp/ wkhuhiruh
]
]
@ E%c k( c ( l $
E%k( c ( lc
l
]
l
@ E%c k( c ( l $
]
l
l
E%k( c ( l c
khqfh $ lq G dqg +:14, iroorzv1
Wr suryh +ll, lw vx!fhv wr suryh wkdw li i j G G f lv d glyhujlqj vhtxhqfh/
wkhq afE $ 41 Vlqfh _4G n _4 G f n4 dqg +51;, krogv/ wkhq
8 E%c $ n4 rq d vxevhw ri l zlwk srvlwlyh phdvxuh> e| +5144, dqg Idwrx
Ohppd zh lqihu
]
8E%c $ n4 (
3
3
l
wkh uhvxow iroorzv e| frpsdfwqhvv wdnlqj lqwr dffrxqw +516, dqg wkh idfw wkdw li
5 G Gf c wkhq wkh txdgudwlf sduw ri wkh ixqfwlrqdo lv qrqsrvlwlyh1
3
Surri ri Wkhruhp 5141 E| Ohppd 915 dqg wkh deryh sursrvlwlrqv/ wkh
dvvxpswlrqv ri Wkhruhp 714 duh ixooohg dqg Wkhruhp 514 lv suryhg li ^ 1
Li ^ ' f/ wkhq u lv srvlwlyh ghqlwh lq G/ dqg e| wkh vdph dujxphqwv dv lq wkh
surriv ri wkh suhylrxv sursrvlwlrqv zh lqihu wkdw a lv frhuflyh> ixuwkhupruh wkh
ixqfwlrqdo vdwlvhv wkh SVF frqglwlrq/ wkhuhiruh lw dgplwv d plqlpxp 1 E| d
vwdqgdug dujxphqw ri qrqvprrwk fulwlfdo srlqw wkhru| ^47` zh kdyh m_amE ' fc
khqfh lv d zhdn vroxwlrq ri +414, dqg wkh surri ri Wkhruhp 514 lv frpsohwh1
"
Surri ri Wkhruhp 6141 E| wkh ghqlwlrq ri wkh rshudwru uf wkhuh h{lvwv
dq lqyduldqw vxevsdfh Gfn G ri frglphqvlrq R6 vxfk wkdw Eufc Smmmm2
iru vrph S : f dqg iru doo 5 Gfn 1 Ixuwkhupruh/ e| +5143, zh kdyh
8 E%c r
ku8 E%c rc rl 28E%c r
u
cr '
f
2
mrm
mrm2
zklfk wrjhwkhu zlwk wkh vhplsrvlwlylw| frqglwlrq +516, |lhogv
]
aE @ E%c fk( c ( l EKE% n sf E%mm2 ' Euf c 2 l
2
iru doo 5 G/ zklfk suryhv wkdw
aE
*4 ?u n
: fc
fc f nn2
<
M&
wkhuhiruh wkh k|srwkhvhv ri Wkhruhp 716 duh ixooohg dqg wkh surri ri Wkhruhp
614 lv frpsohwh1
;1 Surriv ri wkh vxshuolqhdu wkhruhpv
Surri ri Wkhruhp 5151 Lq wkh surri ri Ohppd 817 zh suryhg wkdw a kdv d
prxqwdlq sdvv jhrphwu|> pruhryhu/ e| Ohppd 916 wkh ixqfwlrqdo vdwlvhv wkh
SV frqglwlrq1 Wkh uhvxow wkhq iroorzv e| dsso|lqj Wkhruhp 7151
Surri ri Wkhruhp 5161 Dovr lq wklv fdvh a kdv d prxqwdlq sdvv jhrphwu|
dqg d SV vhtxhqfh pd| eh frqvwuxfwhg e| wkh vwdqgdug lqipd{ surfhgxuh> li
tT mu@ E%c rm lv vx!flhqwo| vpdoo/ e| Ohppd 918 zh lqihu wkdw wkh ixqfwlrqdo
a vdwlvhv wkh SV frqglwlrq dw wkh lqipd{ ohyho dqg wkh uhvxow iroorzv djdlq e|
dsso|lqj Wkhruhp 7151
Surri ri Wkhruhp 6151 E| Ohppd 916/ wkh ixqfwlrqdo a vdwlvhv wkh SV
frqglwlrq> wkhuhiruh Wkhruhp 716 dssolhv dqg |lhogv wkh uhvxow1
Surri ri Wkhruhp 6161 Revhuyh wkdw wkh dvvxpswlrqv ri Wkhruhp 717 duh
vdwlvhg zlwk R ' f/ vr zh kdyh d vhtxhqfh iS& j vxfk wkdw iru doo & wkhuh h{lvwv
d SV vhtxhqfh i&j iru a dw ohyho S& 1 Pruhryhu/ e| ghqlwlrq ri a dqg e|
Ohppd 5163 lq ^6` wkhuh h{lvwv d glyhujlqj vhtxhqfh iS& j ri fulwlfdo ohyhov ri
a > e| wkh lqipd{ fkdudfwhul}dwlrq ri wkh ohyhov iS& j dqg iS& j dqg e| +516, zh
kdyh S& S& iru doo &1 Khqfh/ e| wkh vdph dujxphqw ri Ohppd 817 zh rewdlq
d vhtxhqfh i& j vxfk wkdw mm& mm & iru doo &1 Qrz { dq lqwhjhu &= wkhq
Ohppdv 917 dqg 918 |lhog d frqvwdqw u& vxfk wkdw li mu@ E%c rm u& iru d1h1
% 5 l dqg iru doo r 5 U6 wkhq io j lv suhfrpsdfw iru doo o ' c c &> li doo wkh
So duh glhuhqw zh rewdlq & glvwlqfw fulwlfdo ohyhov zkloh li So ' Son iru vrph
o & zh rewdlq lqqlwho| pdq| jhrphwulfdoo| glvwlqfw fulwlfdo ruelwv1
"
"
"
"
"
<1 Dsshqgl{= h{dpsohv dqg ixuwkhu uhpdunv
H{dpsoh <141 Dvvxph wkdw wkhuh h{lvwv : f vxfk wkdw
u@ E%c r f
dqg/ iru doo 1 5 U? /
[
mY& @ E%c r1 1 m &
Wkhq +517, krogv zlwk g '
li mrm
@ E%c r1 1
2e
li mrm
e
dqg
|
e li f |
E| '
li |
e
s s
H{dpsoh <151 Wdnh @ E%c r ' @ Er ' EDn@hU|@?Emrm2B zlwk D e 6E n
Z1 Wkhq wkhuh h{lvw g : f dqg d ixqfwlrq vdwlvi|lqj +517,1 Lqghhg e| wkh
dvvxpswlrq rq D zh kdyh
&
s %s
]
6
n
_ e
D
e
ee
3*e n "
Wkhuhiruh/ wkhuh h{lvwv g : f vxfk wkdw
&
s %s
]
6
n
_ ' ge eg e
D
e
3*e n "
3
Iru vxfk g ghqh wkh ixqfwlrq vxfk wkdw
; *e
s eg A
|
li f | *e
6e ? e
U|
E| '
*e
n
A
D
= e
n e _ li | 3
I
3
3
*e
Wkhq/ +l, +ll, ri +517, duh uhdglo| yhulhg> pruhryhu E| f/ zklfk suryhv +lll,>
qdoo|/
2r&
2
m1m
mY& @ Er1 1 m ' n mrme
zklfk |lhogv
s
[
2 6mrm 2
mY& @ Er1 1 m m1m 2e eg EmrmED n @hU|@?Emrm2m1m2
e
n
mrm
&
3
dqg suryhv +ly, ri +517,1
H{dpsoh <161 Pruh jhqhudoo|/ frqvlghu wkh +frqwlqxrxv, ixqfwlrq q G dfc n4 $
dfc n4 ghqhg e|
6 [
qE| '
itttT 4@ 4@ mY& @ E%c 1 1 m (
2D &'
% l '| 1 '
M
fohduo|/ qEf ' f/ q dgplwv d joredo pd{lpxp srlqw dqg *4 qE| ' f1 Qh{w/
|<n"
ghqh wkh ixqfwlrq k G dfc n4 $ dfc n4 e|
+<14,
Li
kE| ' 4@ qE D|
]
+<15,
n"
f
kE _
c
ee
wkhq wkhuh h{lvw g : f dqg d ixqfwlrq 5 EU vdwlvi|lqj +517,1 Lqghhg/ e|
+<15, wkhuh h{lvwv g : f vxfk wkdw
] n
kE _ ' ge eg (
"
3
f
iru vxfk g ghqh wkh ixqfwlrq
E| ' e
eg
] |
f
kE _
Frqglwlrqv +l, dqg +ll, ri +517, duh uhdglo| yhulhg> frqglwlrq +lll, iroorzv iurp
wkh idfw wkdw k lv qrq0lqfuhdvlqj rq Un 1 Ilqdoo|/ +ly, iroorzv iurp wkh ghqlwlrq
ri k lq +<14, dqg iurp +515,1
H{dpsoh <171 Dq h{dpsoh ri d vxeolqhdu whup vdwlvi|lqj +I3, dqg +I4, lv jlyhq
e| 8E%c r ' mrm2E n mrm2 * e % 1
3
3
Uhpdun <141 Xqghu wkh dvvxpswlrqv ri Wkhruhp 514 wkh htxdwlrq lv vdlg wr
eh uhvrqdqw zkhq wkh fruuhvsrqglqj olqhdu rshudwru dw lqqlw| kdv d qrqwulyldo
nhuqho> wkh uhvrqdqw fdvh lv pruh gl!fxow wr kdqgoh ehfdxvh qr d sulrul hvwlpdwhv
duh dydlodeoh1 Rxu surri krogv erwk lq wkh uhvrqdqw dqg lq wkh qrquhvrqdqw fdvhv1
Uhpdun <151 Li l lv d erxqghg vhw/ wkhq dvvxpswlrqv +5145, dqg +5147, pd|
eh zhdnhqhg e| uhtxlulqj wkdw wkh| rqo| krog iru vx!flhqwo| odujh ydoxhv ri mrm1
Uhpdun <161 Li lq Wkhruhpv 515 dqg 615 rqh wdnhv dvvxpswlrq +I6, lqvwhdg ri
wkh zhdnhu +I5,/ wkhq e| Ohppd 917 wkh vroxwlrq+v, duh hvvhqwldoo| erxqghg1
431 Dfnqrzohgjhphqwv
Wkh dxwkruv duh judwhixo wr Pdufr Ghjlrydqql dqg Dqgu}hm V}xonlq iru khosixo
glvfxvvlrqv1
Uhihuhqfhv
^4` G1 Dufr|d/ O1 Erffdugr/ Fulwlfdo srlqwv iru pxowlsoh lqwhjudov ri wkh fdofxoxv ri yduldwlrqv/
Dufk1 Udw1 Phfk1 Dqdo1 467/ 4<<9/ 57<05:7
^5` J1 Dulrol/ I1 Jd}}rod/ Zhdn vroxwlrqv ri txdvlolqhdu hoolswlf SGH*v dw uhvrqdqfh/ Dqq1
Idf1 Vfl1 Wrxorxvh 9/ 4<<:/ 8:608;<
^6` W1 Eduwvfk/ Wrsrorjlfdo Phwkrgv iru Yduldwlrqdo Sureohpv zlwk V|pphwulhv/ Vsulqjhu0
Yhuodj 4<<6
^7` W1 Eduwvfk/ P1 Fodss/ Fulwlfdo srlqw wkhru| iru lqghqlwh ixqfwlrqdov zlwk v|pphwulhv/
M1 Ixqfw1 Dqdo1 46;/ 4<<9/ 43:0469
^8` K1 Euh}lv/ I1H1 Eurzghu/ Vxu xqh sursulìwì ghv hvsdfhv gh Vrerohy/ F1 U1 Dfdg1 Vf1 Sdulv
5;:/ 4<:;/ 4460448
^9` W1 Euùfnhu/ W1 wrp Glhfn/ Uhsuhvhqwdwlrq ri Frpsdfw Olh Jurxsv/ Vsulqjhu0Yhuodj 4<;8
^:` O1 Erffdugr/ I1 Pxudw/ Doprvw hyhu|zkhuh frqyhujhqfh ri wkh judglhqwv ri vroxwlrqv wr
hoolswlf dqg sduderolf htxdwlrqv/ Qrqolq1 Dqdo1 4</ 4<<5/ 8;408<:
^;` D1 Fdqlqr/ Pxowlsolflw| ri vroxwlrqv iru txdvlolqhdu hoolswlf htxdwlrqv/ Wrs1 Phwk1 Qrqo1
Dqdo1 9/ 4<<8/ 68:06:3
^<` D1 Fdqlqr/ P1 Ghjlrydqql/ Qrqvprrwk fulwlfdo srlqw wkhru| dqg txdvlolqhdu hoolswlf htxd0
wlrqv/ Wrsrorjlfdo Phwkrgv lq Glhuhqwldo Htxdwlrqv dqg Lqfoxvlrqv/ 4083 0 D1 Judqdv/
P1 Iuljrq/ J1 Vdelgxvvl Hgv1 0 Prqwuhdo 4<<7/ QDWR DVL Vhulhv 0 Noxzhu D1S1 4<<8
^43` J1 Fhudpl/ Xq fulwhulr gl hvlvwhq}d shu l sxqwl fulwlfl vx ydulhwã loolplwdwh/ Uhqg1 Lvw1
Vfl1 Orpe1 445/ 4<:;/ 6650669
^44` M1Q1 Fruyhoohf/ P1 Ghjlrydqql/ Qrqwulyldo vroxwlrqv ri txdvlolqhdu htxdwlrqv yld qrq0
vprrwk Pruvh wkhru|/ M1 Gl1 Ht1 469/ 4<<:/ 59;05<6
^45` M1Q1 Fruyhoohf/ P1 Ghjlrydqql/ P1 Pdu}rffkl/ Ghirupdwlrq surshuwlhv iru frqwlqxrxv
ixqfwlrqdov dqg fulwlfdo srlqw wkhru|/ Wrs1 Phwk1 Qrqo1 Dqdo1 4/ 4<<6/ 48404:4
^46` J1 Gdo Pdvr/ I1 Pxudw/ Doprvw hyhu|zkhuh frqyhujhqfh ri judglhqwv ri vroxwlrqv wr
qrqolqhdu hoolswlf v|vwhpv/ Qrqolq1 Dqdo1 64/ 4<<;/ 7380745
^47` P1 Ghjlrydqql/ P1 Pdu}rffkl/ D fulwlfdo srlqw wkhru| iru qrqvprrwk ixqfwlrqdov/ Dqq1
Pdw1 Sxud Dsso1 LY/ 49:/ 4<<7/ :60433
^48` W1 Ndwr/ Shuwxuedwlrq wkhru| iru olqhdu rshudwruv/ Vsulqjhu0Yhuodj 4<;3
^49` U1 Vfkrhq/ N1 Xkohqehfn/ D uhjxodulw| wkhru| iru kduprqlf pdsv/ M1 Gl1 Jhr1 4:/ 4<;5/
63:0668
^4:` U1 Vfkrhq/ N1 Xkohqehfn/ Erxqgdu| uhjxodulw| dqg wkh Glulfkohw sureohp iru kduprqlf
pdsv/ M1 Gl1 Jhr1 4;/ 4<;6/ 586059;
^4;` P1 Vwuxzh/ Pxowlsoh vroxwlrqv ri glhuhqwldo htxdwlrqv zlwkrxw wkh Sdodlv0Vpdoh frqglwlrq/
Pdwk1 Dqq1 594/ 4<;5/ 6<<0745
^4<` P1 Vwuxzh/ Txdvlolqhdu hoolswlf hljhqydoxh sureohpv/ Frpphqw1 Pdwk1 Khoyhwlfl 8;/ 4<;6/
83<085:
^53` N1 Xkohqehfn/ Pruvh wkhru| e| shuwxuedwlrq phwkrgv zlwk dssolfdwlrq wr kduprqlf pdsv/
Wudqv1 ri wkh DPV 59:/ 4<;4/ 89<08;6
^54` \dq Vkxvhq/ Ol Jrqjedr/ D plqlpl}dwlrq sureohp lqyroylqj d fulwlfdo h{srqhqw dqg lwv
uhodwhg Hxohu0Odjudqjh htxdwlrq/ Dufk1 Udw1 Phfk1 Dqdo1 447/ 4<<4/ 69806;4
H0pdlo dgguhvv = jldqqlCpiq1do1xqlspq1lw dqg jd}}rodCpiq1do1xqlspq1lw
© Copyright 2026 Paperzz