LQMHFWLYH DQG SURMHFWLYH
A 0ERROHDQ DOJHEUDV
ULFKDUG Q1 EDOO/ VWHIDQ JHVFKNH/ DQG MDPHV Q1 KDJOHU
,ALMK@BM Zh lqwurgxfh dqg dqdo|}h Errohdq dojheudv dfwhg rq
e| d wrsrorjlfdo prqrlg 9 / vr0fdoohg 9 0Errohdq dojheudv1 Wkhvh duh
wkh gxdov ri Errohdq rzv/ dqg e| dqdo|}lqj lqmhfwlyh 9 0Errohdq do0
jheudv zh duh deoh wr fkdudfwhul}h surmhfwlyh Errohdq rzv1 Pruh0
ryhu/ zh fkdudfwhul}h wkh surmhfwlyh 9 0Errohdq dojheudv lq wkh fdvh
wkdw 9 lv d jurxs1 Wklv fkdudfwhul}dwlrq vkrzv wkdw wkh h{lvwhqfh ri
qrqwulyldo surmhfwlyh 9 0Errohdq dojheudv ghshqg rq wkh surshuwlhv
ri 9 1
41 Lqwurgxfwlrq
Errohdq dojheudv zlwk dfwlrqv/ khuhlq whuphg A 0Errohdq dojheudv ru
A 0dojheudv iru vkruw/ lv d vxemhfw ri lqwulqvlf lqwhuhvw dqg lpsruwdqfh1
Pruhryhu/ dq| v|vwhpdwlf surjudp ri lqyhvwljdwlrq ri wrsrorjlfdo g|0
qdplfv pxvw sodfh wkh wrslf ri Errohdq rzv kljk rq lwv olvw ri sulrulwlhv/
dqg dq| lqyhvwljdwlrq ri Errohdq rzv ohdgv gluhfwo| wr wkh vxemhfw ri
A 0dojheudv yld wkh Vwrqh gxdolw| zlwk dfwlrqv rxwolqhg lq Vxevhfwlrq
4151
Lq wklv duwlfoh zh wdnh xs wkh fhqwudo lvvxhv ri lqmhfwlyh dqg surmhfwlyh
A 0Errohdq dojheudv1 Lw ghyhorsv wkdw/ dowkrxjk wkh xvxdo fdwhjrulfdo
dujxphqwv hvwdeolvk wkh h{lvwhqfh dqg xqltxhqhvv ri wkh lqmhfwlyh kxoo
ri dq| A 0dojheud / wkh vwuxfwxuh ri wklv kxoo lv txlwh frpsolfdwhg hyhq
zkhq wkdw ri lv qrw1 Dprqj wkh pruh vljqlfdqw uhvxowv ri rxu
uhvhdufk lv d fkdudfwhul}dwlrq ri lqmhfwlyh A 0dojheudv lq whupv ri v|vwhpv
ri lghdov> wklv fdq eh irxqg lq Vxevhfwlrqv 715/ 716/ dqg 7171
Lw dovr ghyhorsv wkdw qrqwulyldo surmhfwlyh A 0dojheudv h{lvw rqo| iru
udwkhu vshfldo wrsrorjlfdo prqrlgv A 1 Zh fkdudfwhul}h wkrvh prqrlgv
zlwklq d fodvv voljkwo| eurdghu wkdq wrsrorjlfdo jurxsv lq Wkhruhp
915191 D ixoo| vdwlvidfwru| fkdudfwhul}dwlrq ri zklfk wrsrorjlfdo prqrlgv
Gdwh = Qryhpehu 59/ 53331
4<<4 Pdwkhpdwlfv Vxemhfw Fodvvlfdwlrq1 Sulpdu| 39H58/ 3;E63> Vhfrqgdu|
4;E631
Nh| zrugv dqg skudvhv1 rz/ Errohdq dojheud/ prqrlg1
4
5
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
dgplw qrqwulyldo surmhfwlyh A 0dojheudv pxvw dzdlw d ghhshu xqghuvwdqg0
lqj wkdq lv fxuuhqwo| dydlodeoh wr wkh dxwkruv1
4141 Dfwlrqv1 Zh { d wrsrorjlfdo prqrlg A wkurxjkrxw1 Zh uhihu wr
wkh hohphqwv ri A dv dfwlrqv/ dqg ghqrwh wkhp e| wkh ohwwhuv r/ |/ dqg o/
riwhq zlwk vxevfulswv1 Ohw eh d fdwhjru| dqg dq remhfw ri 1 D ohiw
dfwlrq ri A rq +uljkw dfwlrq ri A rq , lv d prqrlg krprprusklvp
+dqwlprusklvp, G A $ L4 Ec / l1h1/ EA ' dqg iru doo
| 5 A /
E| E E|2 ' E| |2 + E| E E|2 ' E|2 | ,
Zh vxssuhvv qhduo| doo phqwlrq ri / zulwlqj E| ES dv | S +S| , ru
vlpso| |S +S|,1 Lq wklv vlpsolhg qrwdwlrq/ wkh ghqlwlrq ri d ohiw +uljkw,
dfwlrq lv mxvw wkdw S ' S dqg E| |2 S ' | E|2 S +S ' S dqg S E| |2 '
ES| |2 , iru doo S 5 dqg | 5 A 1 Zh wkhq kdyh dq hqulfkhg fdwhjru|
A +A, zkrvh remhfwv duh wkh remhfwv dfwhg xsrq e| A lq vxfk
d zd| wkdw wkh hydoxdwlrq pds E|c S :$ |S +ESc | :$ S|, lv frqwlqxrxv
iurp A + A , lqwr / zkhuh hlwkhu kdv d wrsrorjlfdo vwuxfwxuh
ru lv jlyhq wkh glvfuhwh wrsrorj|/ dqg A + A , kdv wkh surgxfw
wrsrorj|1 Wkh A +A, prusklvpv duh wkh prusklvpv s G $ ehwzhhq A +A, remhfwv dqg zklfk frppxwh zlwk wkh dfwlrqv/
l1h1/ wkrvh zklfk pdnh wklv gldjudp frppxwh1 Pdsv frppxwlqj zlwk
|
s
!
s
!
|
wkh dfwlrqv duh dovr fdoohg A 0htxlyduldqw pdsv1
Zh vrphwlphv glvwlqjxlvk ehwzhhq wkh vlpsohu remhfwv ri dqg wkh
pruh frpsolfdwhg remhfwv ri A +A, e| uhihuulqj wr wkh iruphu dv
qdnhg1 Ri frxuvh/ zh frxog dovr uhfryhu zkdw lv hvvhqwldoo| wkh fdwhjru|
ri qdnhg remhfwv e| vshfldol}lqj wr wkh fdvh lq zklfk A ' ij/ d fdvh
zklfk zh uhihu wr dv wkh fodvvlfdo/ ru qr0dfwlrq/ vlwxdwlrq1
Wkxv iurp wkh fdwhjru| @ ri Errohdq dojheudv zlwk Errohdq kr0
prprusklvpv zh rewdlq wkh fdwhjru| @A ri A 0Errohdq dojheudv dqg
A 0Errohdq krprprusklvpv1 Zh frqvlghu qr rwkhu w|shv ri dojheudv
lq wklv duwlfoh/ vr zh vlpsoli| wkh whuplqrorj| e| gursslqj wkh zrug
Errohdq/ uhihuulqj wr wkh remhfwv ri @ dqg ri @A dv dojheudv dqg
A 0dojheudv/ uhvshfwlyho|/ dqg wr wkh fruuhvsrqglqj prusklvpv dv pru0
sklvpv dqg A 0prusklvpv1 Zh uhlwhudwh wkdw A 0dojheudv fduu| wkh glv0
fuhwh wrsrorj|/ dqg wkdw A dfwv rq wkhp rq wkh uljkw1
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
6
Olnhzlvh iurp wkh fdwhjru| 5T ri vsdfhv zlwk frqwlqxrxv ixqfwlrqv
zh rewdlq wkh fdwhjru| A5T ri A 0vsdfhv/ ru A 0 rzv/ ru vlpso| rzv/
dqg olnhzlvh wkh fdwhjru| 5TA ri dqwl rzv1 Wkh glvwlqfwlrq ehwzhhq
wkh wzr lv wkdw A dfwv rq rzv rq wkh ohiw dqg rq dqwl rzv rq wkh
uljkw1 A lwvhoi kdv wzr urohv wr sod|= lw lv d rz xqghu wkh dfwlrq ri ohiw
pxowlsolfdwlrq dqg dq dqwl rz xqghu wkh dfwlrq ri uljkw pxowlsolfdwlrq1
Ilqdoo|/ iurp wkh ixoo vxefdwhjru| 5T ri 5T frqvlvwlqj ri wkh Errohdq
vsdfhv/ l1h1/ frpsdfw Kdxvgru vsdfhv zlwk d forshq edvh/ zh rewdlq
wkh fdwhjru| A5T ri Errohdq rzv1
4151 Vwrqh gxdolw| zlwk dfwlrqv1 Vwrqh gxdolw| h{whqgv wr wkh dfwlrq
fdwhjrulhv zlwkrxw d klwfk1 Lq idfw/ rxu lqwhuhvw lq lqmhfwlyh A 0dojheudv
durvh iurp rxu ghvluh wr xqghuvwdqg wkhlu gxdov/ surmhfwlyh Errohdq
rzv1 Krzhyhu/ zh hpskdvl}h A 0dojheudv lq wklv duwlfoh/ sdxvlqj rqo|
rffdvlrqdoo| wr wudqvodwh wkh uhvxowv lqwr whupv ri Errohdq rzv1
Wkh pdlq sxusrvh ri phqwlrqlqj gxdolw| khuh lv wr srlqw rxw wkdw wkh
ghqlwlrq ri A 0dojheud lv wkh uljkw rqh1 Lq sduwlfxodu/ wkh frqwlqxlw|
ri hydoxdwlrq rq d Errohdq rz lv htxlydohqw wr wkh frqwlqxlw| ri hydo0
xdwlrq rq lwv forshq dojheud rqo| zkhq wkh odwwhu fduulhv wkh glvfuhwh
wrsrorj|1
Wkhruhp 415141 Ohw f eh d Errohdq vsdfh dqg lwv dojheud ri forshq
vxevhwv1 Wkhq hyhu| ohiw dfwlrq f rq f jlyhv ulvh wr d uljkw dfwlrq rq e| wkh uxoh
K| ' E| EK f E|3 EK ' |3 EK Frqyhuvho|/ hyhu| uljkw dfwlrq rq jlyhv ulvh wr d ohiw dfwlrq f
rq f e| wkh uxoh
_
_
K'
K
|% ' f E| E% %MK|
%M E|EK
Wkhvh wzr surfhvvhv duh lqyhuvhv ri rqh dqrwkhu1 Ixuwkhupruh/ f
uhqghuv hydoxdwlrq frqwlqxrxv rq f li dqg rqo| li uhqghuv hydoxdwlrq
frqwlqxrxv rq 1 Wkxv duh wkh fdwhjrulhv @A dqg A5T htxlydohqw1
Vwrqh gxdolw| khosv wr foduli| wkh qdwxuh ri hslprusklvpv dqg prqrpru0
sklvpv lq erwk A5T dqg @A1
Sursrvlwlrq 415151 Lq erwk A5T dqg @A/ hslprusklvpv duh vxu0
mhfwlyh dqg prqrprusklvpv duh lqmhfwlyh1
Surri1 Frqvlghu d A5T prusklvp s G f $ t 1 Wkh surgxfw f f lv d Errohdq rz xqghu frpsrqhqwzlvh dfwlrqv/ l1h1/ | E% c %2 E|% c |%2 iru doo | 5 A dqg E% c %2 5 / dqg wkh surmhfwlrq pdsv
7
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
R G $ f/ ' c 2/ duh rz vxumhfwlrqv1 Ohw
~ iE% c %2 5 G s E% ' s E%2 j c
d forvhg vxe rz ri dqg wkhuhiruh lwvhoi d A5T remhfw1 Li s lv
qrw lqmhfwlyh wkhq wkhuh duh % 9' %2 lq f vxfk wkdw s E% ' s E%2 1
Wkh fruuhvsrqglqj srlqw R E% c %2 olhv lq ~/ dqg R ER ' % 9'
%2 ' R2 ER1 Vlqfh s R ' sR2 / s lv qrw d prqrprusklvp1 Wklv suryhv
wkdw prqrprusklvpv lq A5T duh lqmhfwlyh/ dqg lw iroorzv iurp Vwrqh
gxdolw| wkdw hslprusklvpv lq @A duh vxumhfwlyh1 D vlplodu dujxphqw
vkrzv wkdw prqrprusklvpv lq @A duh lqmhfwlyh/ dqg gxdol}hv wr vkrz
wkdw hslprusklvpv lq A5T duh vxumhfwlyh1
51 Srlqwhg dqwliorzv
Dqwl rzv ri d sduwlfxodu vruw dulvh dv d phdqv ri fodvvli|lqj wkh
hohphqwv ri d A 0dojheud dffruglqj wr wkh frpsoh{lw| ri wkhlu ruelwv1
Wklv lv ehfdxvh wkh ruelw @A i@| G | 5 A j ri dq hohphqw @ lq d A 0
dojheud lv d glvfuhwh dqwl rz kdylqj vrxufh @1
5141 Srlqwhg dqwl rzv ghqhg1
Ghqlwlrq 514141 D srlqwhg dqwl rz lv dq remhfw ri wkh irup E-c r/
zkhuh - lv d glvfuhwh dqwl rz dqg r lv d vrxufh iru -/ l1h1/ iru doo o 5 wkhuh lv vrph | 5 A vxfk wkdw r| ' o1 Wkh srlqwhg dqwl rz prusklvpv
duh wkh dqwl rz prusklvpv zklfk wdnh wkh ghvljqdwhg vrxufh ri wkh gr0
pdlq wr wkh ghvljqdwhg vrxufh ri wkh frgrpdlq1 Zh xvh T5TA wr ghqrwh
wkh fdwhjru| ri srlqwhg dqwl rzv dqg srlqwhg dqwl rz prusklvpv1
Zh uhplqg wkh uhdghu wkdw A dfwv rq dq| dqwl rz rq wkh uljkw/ dqg
grhv vr lq vxfk d zd| wkdw hydoxdwlrq lv frqwlqxrxv1 D srlqwhg dqwl rz
lv glvwlqjxlvkhg dprqj jhqhudo dqwl rzv e| wzr dgglwlrqdo ihdwxuhv= d
srlqwhg dqwl rz lv glvfuhwh dqg kdv d vrxufh1
Revhuyh wkdw d srlqwhg dqwl rz lv uhdoo| mxvw d glvfuhwh dqwl rz txr0
wlhqw ri A / zlwk wkh lpdjh ri wkh lghqwlw| dv vrxufh1 Lq idfw/ iru hyhu|
srlqwhg dqwl rz E-c r wkhuh lv d xqltxh dqwl rz vxumhfwlrq 4- G A $ vxfk wkdw 4- E ' r/ dqg lw lv ghqhg e| wkh uxoh 4- E| ' r| iru doo
| 5 A 1 Frqvhtxhqwo| wkhuh duh/ xs wr dqwl rz lvrprusklvp/ rqo| d vhwv
zruwk ri srlqwhg dqwl rzv1
Ghqlwlrq 514151 Zh xvh i- G 5 Uj wr ghvljqdwh wkh vhw ri lvrpru0
sklvp w|shv ri srlqwhg dqwl rzv ri A > pruh suhflvho|/ hyhu| srlqwhg dq0
wl rz lv T5TA lvrprusklf wr h{dfwo| rqh - 1 Dqg zh xvh 4 G A $ -
wr ghvljqdwh wkh fruuhvsrqglqj dqwl rz prusklvp/ l1h1/ 4 E| ' r | iru
doo | 5 A 1 Pruhryhu/ dq| wzr srlqwhg dqwl rzv E- c r dqg E-2 c r2 dgplw dw prvw rqh T5TA prusklvp 42 G - $ -2 / jlyhq e| wkh uxoh
42 Er | ' r2 |/ dqg lw vdwlvhv 42 4 ' 42 zkhq lw h{lvwv1
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
8
5151 vxlwdeoh uhodwlrqv1 Wkh uhdvrq iru wkh xqltxhqhvv ri wkh pru0
sklvpv 4 dqg 4 / c 5 U/ lv wkdw srlqwhg dqwl rzv duh lq rqh0wr0rqh
fruuhvsrqghqfh zlwk fhuwdlq htxlydohqfh uhodwlrqv rq A 1 Jlyhq 5 U/
ghqh
| | +, r | ' r | Wkhq lv dq htxlydohqfh uhodwlrq rq A zklfk lv uljkw lqyduldqw lq wkh
vhqvh wkdw iru doo |c | c | 5 A /
| | ', | | | |
Dqg kdv htxlydohqfh fodvvhv zklfk duh rshq/ dqg khqfh forshq1 Zh
uhihu wr dq htxlydohqfh uhodwlrq zlwk wkhvh wzr surshuwlhv dv d vxlwdeoh
uhodwlrq1
Jlyhq d vxlwdeoh uhodwlrq rq A / ohw - ghvljqdwh wkh glvfuhwh vsdfh
A */ l1h1/
- id|o G | 5 A j c
zkhuh d|o ghqrwhv wkh htxlydohqfh fodvv ri |1 Ohw | 5 A dfw rq d| o 5 e| wkh uxoh
d| o | ' d| |o Wkhq - lv d srlqwhg dqwl rz zlwk vrxufh r do1 Wkhuhiruh wkhuh lv d
xqltxh 5 U iru zklfk E-c r lv dqwl rz lvrprusklf wr E- c r / dqg lv dfwxdoo| 1
Uhpdun 515141 Wkh srlqwhg dqwl rzv duh lq rqh0wr0rqh fruuhvsrqghqfh
zlwk wkh vxlwdeoh uhodwlrqv1
+4, EAc lv d srlqwhg dqwl rz li dqg rqo| li A lv glvfuhwh1
+5, Li A lv frqqhfwhg wkhq lwv rqo| srlqwhg dqwl rz frqwdlqv d vlqjoh
srlqw1
+6, Li A lv frpsdfw wkhq doo lwv srlqwhg dqwl rzv duh qlwh1
5161 Wkh odwwlfh ri srlqwhg dqwl rzv1 Wkh lqgh{ vhw U lqkhulwv d
sduwldo rughu iurp wkh uhqhphqw rughulqj rq vxlwdeoh uhodwlrqv= zh
ghqh lq U li lv qhu wkdq / l1h1/ li d|o d|o iru doo | 5 A /
zkhuh d|o ghvljqdwhv wkh htxlydohqfh fodvv ri | 5 A zlwk uhvshfw wr 1
Sursrvlwlrq 516141 lq U li dqg rqo| li wkhuh lv d T5TA prusklvp
4 G - $ - 1 Wkh prusklvp lv xqltxh zkhq lw h{lvwv/ dqg U lv d odwwlfh
xqghu wklv rughu1
Surri1 Frqvlghu c 5 U1 Li wkhq wkh pds d|o :$ d|o lv d T5TA
prusklvp1 Frqyhuvho| li 4 h{lvwv wkhq iru doo |c | 5 A zh zrxog kdyh
| | +, r | ' r | ', 4 Er | ' 4 Er | ', 4 Er | ' 4 Er |
', r | ' r | +, | | 9
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
Wkdw wkh rughu lv d odwwlfh rughulqj ghshqgv rq wkuhh revhuydwlrqv1
Iluvw/ wkh phhw ru mrlq +lq wkh odwwlfh ri htxlydohqfh uhodwlrqv rq A , ri
wzr uljkw0lqyduldqw uhodwlrqv lv uljkw lqyduldqw1 Vhfrqg/ wzr htxlydohqfh
uhodwlrqv rq A zlwk forshq fodvvhv kdyh d mrlq zlwk wkh vdph ihdwxuh1
Dqg wklug/ dq| htxlydohqfh uhodwlrq frduvhu wkdq rqh zkrvh fodvvhv duh
forshq dovr kdv forshq fodvvhv1
Fruroodu| 516151 lq U li dqg rqo| li
r | ' r | ', r | ' r |
iru doo |c | 5 A 1
Dw wkh h{shqvh ri d olwwoh uhgxqgdqf|/ zh rhu dq h{whulru irupxodwlrq
ri wkh idfw wkdw U lv dq xsshu vhplodwwlfh1 Zh xvh b wr ghqrwh wkh
vxsuhpxp ri dqg lq U1
Sursrvlwlrq 516161 Iru c 5 U/ -j lv T5TA lvrprusklf wr
iEo c o 5 - - G r | ' o dqg r | ' o iru vrph | 5 A j c
zlwk frruglqdwhzlvh dfwlrqv dqg vrxufh Er c r 1 Ixuwkhupruh/ wkh sur0
mhfwlrq pdsv duh T5TA prusklvpv1
Zh forvh wklv vxevhfwlrq e| srlqwlqj rxw wkdw zkhq A lv d wrsrorjlfdo
jurxs/ U lv dqwl0lvrprusklf wr lwv odwwlfh ri rshq vxejurxsv1
Ghqlwlrq 516171 Iru dq| hohphqw o lq dq| srlqwhg dqwl rz - zh
ghvljqdwh wkh vwdelol}hu ri o lq A e|
t|@M o i| 5 A G o| ' oj
Qrwh wkdw t|@M o lv d forshq vxeprqrlg ri A 1 Zkhq o lv wkh vrxufh r
ri - / zh fdoo t|@M o d vrxufh vwdelol}hu1
Wkh whuplqrorj| ri Ghqlwlrq 51617 dssolhv wr dq| hohphqw @ lq d
A 0dojheud / vlqfh wkh ruelw E@Ac @ Ei@| G | 5 A j c @ lv d srlqwhg
dqwl rz1 Wkdw lv/ t|@M @ ' i| 5 A G @| ' @j1
Sursrvlwlrq 516181 Vxssrvh wkdw A lv d wrsrorjlfdo jurxs1 Wkhq wkh
odwwlfh U ri lvrprusklvp w|shv ri srlqwhg dqwl rzv lv dqwl0lvrprusklf
wr wkh odwwlfh ri rshq vxejurxsv ri A yld wkh pds
:$ t|@M r Wkh lqyhuvh ri wklv pds lv
L :$ EA *Lc L c
zkhuh A *L ghqrwhv wkh srlqwhg dqwl rz ri uljkw frvhwv ri L dfwhg xsrq
e| uljkw pxowlsolfdwlrq1 Wkxv U lv d odwwlfh lq wklv fdvh1
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
:
Lw iroorzv iurp Sursrvlwlrq 51618 wkdw iru wrsrorjlfdo jurxsv A / wkh
vxlwdeoh uhodwlrqv duh lq elmhfwlyh rughu0uhyhuvlqj fruuhvsrqghqfh zlwk
wkh vrxufh vwdelol}huv1 Wkh eurdghu fodvv ri wrsrorjlfdo prqrlgv zlwk
wklv ihdwxuh sod| uroh lq Vhfwlrq 91
Ghqlwlrq 516191 Ohw A eh d wrsrorjlfdo prqrlg1 Zh vd| wkdw wkh
vxlwdeoh uhodwlrqv rq A fruuhvsrqg wr wkh vrxufh vwdelol}huv li iru c 5 U/
+, t|@M r t|@M r 1
5171 Frqvwuxfwlqj A1 Iru wkh sxusrvh ri dqdo|}lqj A 0dojheudv/ wkh
rqo| shuwlqhqw ihdwxuh ri A lv lwv dfwlrqv rq srlqwhg dqwl rzv1 Wkxv
zh pd| h{fkdqjh A iru dq dvvrfldwhg wrsrorjlfdo prqrlg A/ iruphg e|
lvrodwlqj wklv shuwlqhqw ihdwxuh +Wkhruhp 51914,1
Zh lqgxojh lq wklv ghyhorsphqw wr srlqw rxw wkdw wkh dfwlrq ri d jlyhq
wrsrorjlfdo prqrlg A rq d A 0dojheud pd|/ lq hhfw/ eh rwkhu wkdq zkdw
lw uvw dsshduv1 Iru h{dpsoh/ li A lv frqqhfwhg wkhq A kdv d vlqjoh srlqw
dqg wkh dfwlrq lv/ lq idfw/ wulyldo> vhh Uhpdun 51514+5,1 Rq wkh rwkhu
kdqg/ wkhuh pd| eh dfwlrqv lpsolflw lq A zklfk duh qrw suhvhqw lq A /
l1h1/ A pd| eh odujhu wkdq A > vhh H{dpsoh 517191 Krzhyhu/ wkh uhdghu
zkr lv rqo| lqwhuhvwhg lq lqmhfwlyh dqg surmhfwlyh remhfwv lq @A/ wkh
pdlq frqwhqw ri wklv duwlfoh/ pd| fkrrvh wr vnls wklv ghyhorsphqw1
Iru hdfk 5 U zh ghvljqdwh L4#6 E- c - ' --
e| T / dqg zh
pdnh T lqwr d wrsrorjlfdo prqrlg e| xvlqj dv edvlf qhljkerukrrgv ri
5 T vhwv ri wkh irup
i 5 T G r ' r iru doo r 5 7j c
iru qlwh vxevhw 7 - 1 Zh ghvljqdwh wkh dfwlrq ri A rq - e|
G A $ T / zh ghvljqdwh EA e| A / dqg
T iru hdfk | 5 A zh deeuhyldwh
E| wr | 1 Ohw T ghvljqdwh wkh surgxfw U T / uhjdughg dv d wrsrorjlfdo
prqrlg zlwk frpsrqhqwzlvh pxowlsolfdwlrq dqg surgxfw wrsrorj|1 Ohw
G T $ T ghvljqdwh wkh wk surmhfwlrq pds1 Ilqdoo|/ ghqh G A $ T
e| wkh uxoh
E| E E| ' | Iru lq U/ wkh T5TA prusklvp 4 qdwxudoo| lqgxfhv d wrsrorjlfdo
prqrlg krprprusklvp G A $ A dv iroorzv1 Iru dq| | 5 A zh
ghqh wkh dfwlrq ri E| rq dq duelwudu| o 5 - e| wkh uxoh
Eo E| 4 Eo | c
zkhuh o 5 - lv fkrvhq wr vdwlvi| 4 Eo ' o 1 Wkh ghqlwlrq lv lq0
ghshqghqw ri wkh fkrlfh ri o ehfdxvh 4 frppxwhv zlwk wkh dfwlrqv1
;
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
Zulwlqj o dv r | iru vrph | 5 A / vr wkdw o ' r | / jlyhv wkh vlpsohu
irupxod
r | E| ' r | | ' r E| | Qrwh wkdw ' iru doo lq U1
Wkh frqvwuxfw wkdw hphujhv qdwxudoo| khuh lv wkh lqyhuvh olplw lq wkh
fdwhjru| ri wrsrorjlfdo prqrlgv/ khog wrjhwkhu e| wkh erqglqj pdsv iru lq U1 Lq wklv fdvh zh fdq uhdol}h A7 frqfuhwho| dv
+
,
\
A7 ' *4 A ' |7 5
A G ; E|7E ' |7E {3U
U
A lv ghqhg wr eh wkh forvxuh ri A7 lq T 1 Ri frxuvh/ EA lv ghqvh lq
A7/ vr A lv dovr wkh forvxuh ri EA lq T 1 Zh deeuhyldwh | wr | iru
hohphqwv | 5 A1
Uhpdun 517141 Wkh iroorzlqj krog iru dq| wrsrorjlfdo prqrlg A 1
+4, Doo wkh pdsv / / dqg duh frqwlqxrxv prqrlg krprpru0
sklvpv/ dqg ' iru hdfk 5 U1
+5, Li hdfk srlqwhg dqwl rz ri A lv qlwh wkhq A lv frpsdfw1
+6, lv lqmhfwlyh li dqg rqo| li wkh frpprq uhqhphqw ri wkh vxlw0
deoh uhodwlrqv lv wkh lghqwlw| uhodwlrq/ l1h1/ hdfk sdlu ri glvwlqfw
srlqwv ri A lv vhsdudwhg e| d vxlwdeoh uhodwlrq1
+7, A lv glvfuhwh li dqg rqo| li U kdv d juhdwhvw hohphqw1
Sursrvlwlrq 517151 A kdv wkh vdph odwwlfh U ri srlqwhg dqwl rzv dv A
grhv1
Surri1 Iru hdfk dfwlrq ri A rq rqh ri lwv srlqwhg dqwl rzv - zh kdyh
wkh fruuhvsrqglqj dfwlrq ri A rq - / dqg ' e| frqvwuxfwlrq1
Frqyhuvho| dq| dfwlrq ri A rq d srlqwhg dqwl rz/ zkhq iroorzhg e| /
jlyhv dq dfwlrq ri A rq wkdw rz1 Wklv vkrzv wkdw wkh srlqwhg dqwl rzv
ri A duh wkh vdph dv wkrvh iru A1 Ixuwkhupruh/ wkh rughu rq U lpsrvhg
e| A lv wkh vdph dv wkdw lpsrvhg e| A1 Iru li lq U e| yluwxh ri wkh
prusklvp/
T5TA prusklvp 4 G - $ - wkhq wklv 4 lv dovr d T5TA
l1h1/ lw frppxwhv zlwk hdfk | 5 A1 Wkh uhdvrq lv wkdw iru o 5 - dqg
o 4 Eo wkhuh lv vrph | 5 A vxfk wkdw o | ' o | dqg o | ' o | /
khqfh
4 o | ' 4 Eo | ' 4 Eo | ' o | ' o | ' 4 Eo | Wkxv lq wkh rughu lpsrvhg rq U e| A1
e
Fruroodu| 517161 A ' A1
Uhpdun 517171 Ohw 5 U1
) 0ERROHDQ DOJHEUDV DQG ERROHDQ IORZV
<
+4, Iru hohphqwv |c | 5 A/ | | li dqg rqo| li r | ' r | 1
+5, Hdfk fodvv ri A frqwdlqv dq hohphqw ri EA 1
Ohw xv kdyh d forvhu orrn dw wkh vshfldo fdvh zkhuh A lv d wrsrorjlfdo
jurxs1 Zh ohdyh wkh yhulfdwlrq ri Sursrvlwlrq 51718 wr wkh uhdghu1
Sursrvlwlrq 517181 Vxssrvh wkdw A lv d wrsrorjlfdo jurxs1 Wkhq A7 lv
d jurxs/ exw A qhhg qrw eh d jurxs1 Wkh lghqwlw| hohphqw ri A7 kdv d
qhljkerukrrg edvh frqvlvwlqj ri wkh rshq vxejurxsv ri A71
Khuh lv dq h{dpsoh zklfk looxvwudwhv wkh lghdv lq wklv vxevhfwlrq1 Lw
pdnhv wkh srlqw wkdw A qhhg qrw frlqflgh zlwk A hyhq zkhq G A $ A
lv lqmhfwlyh/ dqg wkdw A qhhg qrw eh d jurxs hyhq zkhq A lv1
H{dpsoh 517191 Ohw A eh wkh jurxs ri shupxwdwlrqv ri wkh qdwxudo
qxpehuv xqghu frpsrvlwlrq/ wrsrorjl}hg e| xvlqj dv qhljkerukrrgv
ri dq hohphqw | 5 A vhwv ri wkh irup
A6 E| ' i| G | ' | iru doo 6j
iru 6 5 1 +Zh fkrrvh wr zulwh wkh shupxwdwlrq wr wkh uljkw ri lwv
lqsxw1, A lv d wrsrorjlfdo jurxs1 Iru hdfk 6 5 ghqh wkh htxlydohqfh
uhodwlrq 6 e| ghfodulqj
| 6 | +, | ' |
iru doo 6
Wkhq 6 lv d vxlwdeoh uhodwlrq/ dqg hyhu| vxlwdeoh uhodwlrq lv uhqhg e|
rqh ri wkhvh1 Wkxv zh pd| lghqwli| d|o6 zlwk wkh 60wxsoh E|c 2|c c 6|/
dqg lghqwli| -6 A *6 zlwk wkh vhw ri doo 60wxsohv ri glvwlqfw hoh0
phqwv iurp 1 Wkh vrxufh ri -6 lv r6 ' Ec 2c c 6/ dqg wkh dfwlrq
ri | 5 A rq EQ c c c 6 lv jlyhq e|
EQ c c c 6 | ' EQ |c |c c 6 |
Wkh qdwxudo rughu rq frlqflghv zlwk wkh uhqhphqw rughulqj rq wkh
fruuhvsrqglqj vxlwdeoh uhodwlrqv/ dqg li 6 ? wkhq wkh T5TA pru0
G -6 $ -? lv vlpso| uhvwulfwlrq/ l1h1/
sklvp 46
?
46
? EQ c c c 6 ' EQ c c c ? T
Wkh pds G A $ T ' -? lv lqmhfwlyh> lq idfw/
r? E| E? ' r? |? ' Ec 2c c ? | ' E|c 2|c c ?|
Wkxv dq hohphqw | 5 A ' U*T EA lv d ixqfwlrq zlwk frqvlvwhqw ydoxhv/
l1h1/ vxfk wkdw lwv ydoxh dw lqgh{ ? lv wkh uhvwulfwlrq ri lwv ydoxh dw lqgh{
6 zkhqhyhu ? 6/ dqg zkrvh ydoxh dw lqgh{ 6 lv wkh vdph dv wkdw
ri vrph shupxwdwlrq1 Krzhyhu/ wkh shupxwdwlrqv gr qrw doo kdyh wr eh
wkh vdph iru ydulrxv lqglfhv/ dqg vr rqh vhhv wkdw wkh hohphqwv ri A
fruuhvsrqg wr wkh rqh0wr0rqh ixqfwlrqv iurp lqwr 1 Iru h{dpsoh/
43
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
wkh +htxlydohqw ri, wkh ixqfwlrq ? :$ ? olhv lq A exw qrw lq A 1 Qrwh
wkdw A lv qrw d jurxs1
5181 Wkh w|sh ri dq hohphqw ri d A 0dojheud1 Srlqwhg dqwl rzv
dulvh dv d phdqv ri fodvvli|lqj hohphqwv ri d A 0dojheud dffruglqj wr
wkh frpsoh{lw| ri wkhlu ruelwv1 Ohw eh dq dojheud rq zklfk A dfwv/
dqg iru hdfk @ 5 ohw @ ghvljqdwh wkh uhodwlrq rq A ghqhg e| wkh
uxoh
| @ | +, @| ' @| c
iru |c | 5 A 1 +Khuh dqg lq zkdw iroorzv zh xvh | wr deeuhyldwh E|/
zkhuh
G A $ L4 L4( Ec lv wkh dfwlrq ri A rq 1, Wkhq @ lv d uljkw0lqyduldqw htxlydohqfh
uhodwlrq/ dqg lv d A 0dojheud/ l1h1/ hydoxdwlrq lv frqwlqxrxv/ li dqg
rqo| li hdfk @ lv d vxlwdeoh uhodwlrq1
Ghqlwlrq 518141 Zh vd| wkdw wkh w|sh ri dq hohphqw @ ri d A 0dojheud
lv 5 U/ dqg zulwh |)Ti @ ' / surylghg wkdw @ lv 1
Uhpdun 518151 Ohw @ eh dq hohphqw ri d A 0dojheud 1
+4, Wr dvvhuw wkdw @ lv ri w|sh dw prvw lv wr dvvhuw wkdw iru doo
|c | 5 A /
r | ' r | ', @| ' @| +5, Li wkh vxlwdeoh uhodwlrqv rq A fruuhvsrqg wr wkh vrxufh vwdel0
ol}huv/ wkhq wr dvvhuw wkdw @ lv ri w|sh dw prvw lv wr dvvhuw
wkdw
t|@M r t|@M @1
Ohppd 518161 Ohw @ dqg K eh hohphqwv ri d A 0dojheud 1 Wkhq
|)TiE@ b K b |)TiE@ a K |)Ti @ b |)Ti Kc dqg
|)Ti @ ' |)Ti @
7c
zkhuh @
7 ghqrwhv wkh frpsohphqw ri @1 Wkhuhiruh i@ 5 G |)Ti @ j
lv d vxedojheud ri iru hdfk 5 U/ exw lv jhqhudoo| qrw d A 0vxedojheud1
D fuxfldo revhuydwlrq lv wkdw prusklvpv uhgxfh w|sh1
Sursrvlwlrq 518171 Li s G $ lv d A 0prusklvp wkhq iru doo @ 5 /
|)Ti @ |)Ti s E@ A dfwv rq U rq wkh uljkw/ hvvhqwldoo| e| vkliwlqj hdfk vrxufh r ri -
wr r |1 Wkh nh| revhuydwlrq lv wkdw li lv d vxlwdeoh uhodwlrq rq A wkhq
vr lv wkh uhodwlrq | ghqhg e| wkh uxoh
| | | +, || ||
iru | c | 5 A 1
) 0ERROHDQ DOJHEUDV DQG ERROHDQ IORZV
44
Uhpdun 518181 Wkh iroorzlqj krog iru 5 U dqg |c | c | 5 A 1
+4, E| | ' E|| 1
+5, | | | li dqg rqo| li r | | ' r | | 1
+6, D srlqwhg dqwl rz fruuhvsrqglqj wr wkh vxlwdeoh uhodwlrq | lv
Er |Ac r |/ zkhuh r |A ir || G | 5 A j/ dqg zkhuh wkh dfwlrq
lv jlyhq e|
Er || E| ' r E|| | iru | c | 5 A 1
Sursrvlwlrq 518191 Vxssrvh @ lv dq hohphqw ri d A 0dojheud dqg
| 5 A 1 Wkhq
|)Ti E@| ' E|)Ti @ |
Surri1 Ohw |)Ti @ dqg |)Ti E@| 1 Wkhq iru | c | 5 A /
| | | +, || || +, r E|| ' r E|| +, @ E|| ' @ E|| +, E@| | ' E@| |
+, | | Vlqfh wkh vxlwdeoh uhodwlrqv | dqg frlqflgh/ lw iroorzv wkdw | ' lq U/ zklfk lv wkh ghvluhg frqfoxvlrq1
Rqh pljkw lgo| frqmhfwxuh wkdw/ lq wkh qrwdwlrq ri Ohppd 51819/ | e| yluwxh ri wkh pds o :$ o |/ o 5 - 1 Exw wklv lv prvw dvvxuhgo|
qrw wkh fdvh/ vlqfh wklv pds lv jhqhudoo| qrw d T5TA prusklvp1
Sursrvlwlrq 5181:1 Ohw eh d A 0dojheud dqg 5 U1 Wkhq iru hdfk
5 U/
+
,
b
| iru vrph qlwh AB A
@ 5 G |)Ti @ AB
lv d A 0vxedojheud ri / dqg
' *4 i G 5 Uj <
Surri1 Wkh idfw wkdw lv d A 0vxedojheud iroorzv iurp Sursrvlwlrq 51819
dqg Ohppd 518161 Dqg vlqfh hdfk hohphqw @ 5 kdv d w|sh 5 U dqg
lv wkhuhiruh frqwdlqhg lq / lw iroorzv wkdw lv wkh gluhfw olplw ri wkh
*v1
45
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
! A
a
a
aCa A
L4 5191 Wudglqj A iru A1
Wkhruhp 519141 Iru hyhu| dfwlrq ri A rq d A 0dojheud wkhuh lv
d xqltxh fruuhvsrqglqj dfwlrq ri A rq vxfk wkdw ' 1
Surri1 Frqvlghu | 5 A dqg @ 5 vxfk wkdw |)Ti @ ' 5 U/ dqg qg
| 5 A vxfk wkdw E| |> vhh Uhpdun 51717+5,1 Li dq dfwlrq lv
wr h{lvw vdwlvi|lqj wklv wkhruhp/ lw iroorzv iurp Uhpdunv 51717+4, dqg
51815+4, wkdw
@ | @| ' @| @ E| Wkhuhiruh wdnh wklv dv wkh ghqlwlrq ri 1 Iluvw revhuyh wkdw @| lv
zhoo ghqhg/ iru li | lv dqrwkhu hohphqw ri A vxfk wkdw E| | wkhq
E| | / khqfh r | ' r | / zlwk wkh uhvxow wkdw @| ' @| ehfdxvh
|)Ti @ ' 1 Qh{w zh fodlp wkdw | lv d Errohdq prusklvp1 Iru
@| ' @| ' @
7| ' @
7|
ehfdxvh wkh vdph hohphqw | 5 A xvhg wr ghqh @| fdq dovr eh xvhg wr
ghqh @
7| vlqfh |)Ti @ ' |)Ti @
7 e| Ohppd 518161 Dqg iru @c K 5 zh
pd| wdnh & ' |)Ti @ b |)Ti K dqg qg | 5 A vxfk wkdw E| & |1 Wkhq
ehfdxvh | lv d Errohdq prusklvp zklfk djuhhv zlwk | dw @/ K/ @ b K/
dqg @ a K/ zh jhw
E@ b K | ' @| b K| dqg E@ a K | ' @| a K| Wr yhuli| wkdw lv d prqrlg prusklvp frqvlghu | c | 5 A dqg @ 5 /
ohw |)Ti @ ' / dqg qg | 5 A vxfk wkdw E| |1 Wkhq @| ' @| /
dqg
|)Ti @| ' |)Ti E@| ' E|)Ti @ | ' |
Qh{w qg | 5 A vxfk wkdw E| | | / vr wkdw
@| | ' E@| | ' E@| | ' @ E|| Wr vkrz wkdw @ E|| ' @ || zh pxvw vkrz wkdw || E|| 1
Exw wklv lv hdv|1 Ehfdxvh | E| zh nqrz wkdw r | ' r | / khqfh
r | | ' r | | / dqg iurp wkh idfw wkdw | | E| zh nqrz iurp Uhpdun
51818+5, wkdw r | | ' r | | / khqfh r | | ' r | | / iurp zklfk wkh ghvluhg
frqfoxvlrq iroorzv1 Wklv frpsohwhv wkh yhulfdwlrq wkdw lv d prqrlg
prusklvp1 Ilqdoo|/ hydoxdwlrq lv frqwlqxrxv e| frqvwuxfwlrq1
) 0ERROHDQ DOJHEUDV DQG ERROHDQ IORZV
46
61 A 0dojheudv
Lq wklv vhfwlrq zh uhfrug wkh edvlf idfwv frqfhuqlqj A 0dojheudv zklfk
zloo eh qhfhvvdu| lq zkdw iroorzv1
6141 A 0Prusklvpv dqg A 0lghdov1
Ghqlwlrq 614141 D A 0lghdo ri d A 0dojheud lv dq lghdo U zlwk wkh
surshuw| wkdw @| 5 U iru doo @ 5 U dqg doo | 5 A 1
Vxfk lghdov ghwhuplqh wkh A 0vxumhfwlrqv1
Sursrvlwlrq 614151 Iru dq| A 0prusklvp s G $ /
U ' i@ 5 G s E@ ' Bj
lv d A 0lghdo1 Frqyhuvho|/ iru d jlyhq A 0lghdo U wkhuh lv rqh dqg rqo|
rqh zd| wr kdyh A dfw rq wkh txrwlhqw *U vr dv wr pdnh wkh dfwlrqv
frppxwh zlwk wkh txrwlhqw pds }/ qdpho| e| ghqlqj
} E@ | ' } E@|
iru hdfk | 5 A dqg @ 5 1 Lq wklv fdvh *U lv d A 0dojheud dqg } lv d
A 0prusklvp1
Ohppd 614161 Dq| lghdo U ri d A 0dojheud kdv d odujhvw A 0lghdo
frqwdlqhg lq lw/ qdpho|
UA i@ 5 G @| 5 U iru doo | 5 A j Ghqlwlrq 614171 D idfwrul}dwlrq } s ' s ri d A 0vxumhfwlrq s lv d
@0@A idfwrul}dwlrq li s dqg } duh vxumhfwlrqv vxfk wkdw } 5 @
dqg s 5 @A1 Vxfk d idfwrul}dwlrq lv plqlpdo li lw kdv wkh dgglwlrqdo
ihdwxuh wkdw dq| @0@A idfwrul}dwlrq & ' s kdv dv dq lqlwldo idfwru
l1h1/ s ' &, iru vrph , 5 @A1
ri s/
s
&
s }
!
%%aa# aa%!%(
(
,
Sursrvlwlrq 614181 Hyhu| qdnhg vxumhfwlrq rxw ri d A 0dojheud kdv d
plqlpdo @0@A idfwrul}dwlrq1
Surri1 Li U lv wkh nhuqho ri s wkhq s lv wkh qdwxudo pds iurp rqwr
*UA 1
Ohppd 614191 Ohw B eh d vxevhw ri wkh A 0dojheud / dqg ohw U eh
d A 0lghdo ri vxfk wkdw U _ B iBj1 Wkhq wkhuh lv d A 0lghdo a
pd{lpdo zlwk uhvshfw wr a U dqg a _ B iBj1
47
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
Surri1 Wkh froohfwlrq ri vxfk lghdov lv forvhg xqghu xqlrqv ri fkdlqv/
dqg wkhuhiruh kdv d pd{lpdo hohphqw e| ]ruq*v Ohppd1
Uhfdoo wkdw lq dq| fdwhjru| / d prusklvp s G $ lv fdoohg hvvhq0
wldo li lw lv lqmhfwlyh/ dqg hyhu| prusklvp rxw ri zkrvh frpsrvlwlrq
zlwk s lv lqmhfwlyh pxvw lwvhoi eh lqmhfwlyh1
Sursrvlwlrq 6141:1 Wkh iroorzlqj duh htxlydohqw iru d A 0lqmhfwlrq s G
$ 1
+4, s lv hvvhqwldo1
+5, Hyhu| qrqwulyldo A 0lghdo ri phhwv s E qrqwulyldoo|1
+6, Iru hyhu| B K 5 wkhuh
Z lv vrph B @ 5 dqg qlwh
A A vxfk wkdw s E@ A K| 1
Surri1 E| Sursrvlwlrq 61415/ wkh qrq0hvvhqwldolw| ri s lv htxlydohqw wr
wkh h{lvwhqfh ri d A 0lghdo U vxfk wkdw U _s E ' iBj1 Dq hohphqw
K : B ri vxfk dq lghdo zrxog ylrodwh wkh frqglwlrq ri wklv sursrvlwlrq/
dqg dq| K 5 zklfk ylrodwhg wklv vdph frqglwlrq zrxog jhqhudwh d
surshu A 0lghdo fruuhvsrqglqj wr d A 0vxumhfwlrq ghq|lqj hvvhqwldolw|1 Sursrvlwlrq 6141;1 Iru hyhu| A 0lqmhfwlrq s wkhuh lv d A 0vxumhfwlrq }
vxfk wkdw }s lv hvvhqwldo1
s
!
%% }
%%( Surri1 Ohw U eh d A 0lghdo ri pd{lpdo zlwk uhvshfw wr U _s E ' iBj/
dqg ohw } G $ *a eh wkh qdwxudo pds1
Ghqlwlrq 6141<1 D A 0dojheud lv vlpsoh li lw kdv qr surshu A 0
krprprusklf lpdjhv1
Sursrvlwlrq 6141431 Hyhu| A 0dojheud kdv d vlpsoh txrwlhqw1
Surri1 Dq| A 0dojheud kdv d pd{lpdo surshu A 0lghdo e| Ohppd 61419/
zlwk B dqg U wkhuh wdnhq wr eh iAj dqg iBj/ uhvshfwlyho|1 Dqg wkh
fruuhvsrqglqj txrwlhqw lv vlpsoh e| Sursrvlwlrq 61415
Zh xvh 2 wr ghqrwh wkh dojheud frqwdlqlqj rqo| juhdwhvw hohphqw A
dqg ohdvw hohphqw B1 Zkhq uhjdughg dv d A 0dojheud/ wkh dfwlrq lv
suhvxphg wr eh wulyldo/ dv lqghhg lw pxvw eh1
Sursrvlwlrq 6141441 Wkh iroorzlqj duh htxlydohqw iru d A 0dojheud 1
+4, lv vlpsoh1
+5, kdv qr surshu A 0lghdov1
) 0ERROHDQ DOJHEUDV DQG ERROHDQ IORZV
48
+6, 2 lv hvvhqwldoo| hpehgghg lq 1
+7, Iru
Z doo B @ 5 wkhuh lv vrph qlwh vxevhw AB A vxfk wkdw
AB @|B ' A1
6151 Wkh uhgxfwlrq wr glvfuhwh A 1 Ohw A_ ghqrwh wkh prqrlg A zlwk
glvfuhwh wrsrorj|1 Zh zloo frqvwuxfw vhyhudo fruh hfwlrqv ri d jlyhq A 0
dojheud e| wkh vwudwhj| ri uvw grlqj vr lq wkh fdwhjru| @A_ dqg
wkhq sdvvlqj wr wkh fruuhvsrqglqj h{whqvlrq lq @A e| uhvwulfwlqj wr
d sduwlfxodu vxedojheud1 Wkh uvw xvh ri wklv vwudwhj| frphv lq wkh
iroorzlqj vxevhfwlrq1
Ohppd 615141 Vxssrvh lv dq dojheud rq zklfk A dfwv/ l1h1/ d A_ 0
dojheud1 Wkhq
A iK 5 G ;| 5 A <A| 5 Q| ;| 5 A| EK| ' K| j
lv wkh odujhvw vxedojheud ri zklfk irupv d A 0dojheud xqghu wkh uhod0
wlylvhg dfwlrqv1
Wkhruhp 615151 @A lv d fruh hfwlyh vxefdwhjru| ri @A_ / dqg wkh
fruh hfwlrq prusklvp iru 5 @A_ lv wkh lqvhuwlrq ri A lq 1
Surri1 Ohw s G $ eh d A_ 0prusklvp iru zklfk 5 @A1 Zh
!
%% %%(
s
A
fodlp wkdw s E A 1 Iru li @ 5 wkhq iru dq| | 5 A zh kdyh d
qhljkerukrrg A ri | vxfk wkdw @| ' @| iru doo | 5 A 1 Exw wkhq
s E@ | ' s E@| ' s E@| ' s E@ |
iru doo | 5 A 1 Wklv suryhv wkh fodlp wkdw s E@ 5 A 1
6161 Iuhho| dgglqj dfwlrqv wr d qdnhg dojheud1 Lq wklv vxevhfwlrq
zh vkrz wkdw/ dowkrxjk wkhuh duh pdq| zd|v wr hqgrz d qdnhg dojheud
zlwk dfwlrqv/ dgglqj vxfk dfwlrqv dv iuhho| dv srvvleoh fdq eh grqh
lq rqh dqg rqo| rqh zd|1 Pruh suhflvho|/ iru d jlyhq qdnhg dojheud wkhuh h{lvw d xqltxh A 0dojheud dqg qdnhg prusklvp R vxfk wkdw iru
dq| rwkhu A 0dojheud dqg qdnhg prusklvp s wkhuh lv d xqltxh @|
prusklvp } vxfk wkdw R} ' s 1 Wkdw lv/ R lv dq 8 0fr0xqlyhuvdo pds iru
^5/ YLL 5914`/ zkhuh 8 G @A $ @ lv wkh ixqfwru zklfk irujhwv wkh
dfwlrqv1 +Zh duh/ lq hhfw/ vkrzlqj wkdw 8 kdv d uljkw dgmrlqw ^5/ YLL
5:16`1, Zh uhihu wr wklv vlwxdwlrq e| vd|lqj wkdw @A lv fruh hfwlyh lq
@1
49
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
!
%% R
}
%%(
s
Zh { d qdnhg dojheud / dqg vhw
\
| c
|MA
zkhuh | lv d frs| ri iru hdfk | 5 A 1 Zh ylhz hdfk hohphqw ri dv
d pds iurp A lqwr 1 Ohw | 5 A dfw rq @ 5 dffruglqj wr wkh uxoh
E@| E| @E|| iru doo | 5 A 1 Lw lv hdv| wr fkhfn wkdw 5 @A_ / l1h1/ wkdw A dfwv rq
1 Surmhfw rqwr e| wkh @ prusklvp R ghqhg e| R E@ ' @ E1
Sursrvlwlrq 616141 @A_ lv fruh hfwlyh lq @/ dqg wkh @A_ fruh0
hfwlrq ri d qdnhg dojheud lv R G $ 1
Surri1 Jlyhq d @ prusklvp s zkrvh grpdlq lv d A_ 0dojheud/ d
!
%% R
}
%%(
s
A_ 0prusklvp } zklfk pdnhv wkh gldjudp frppxwh pxvw vdwlvi|
} ES E| ' } ES E| ' E} ES | E ' E} ES| E ' R} ES| ' s ES| Vr li zh wdnh wklv uhtxluhphqw dv d ghqlwlrq ri } zh fohduo| jhw d
krprprusklvp zklfk pdnhv wkh gldjudp frppxwh1 Wr fkhfn wkdw }
frppxwhv zlwk wkh dfwlrqv/ revhuyh wkdw
E} ES | E| ' } ES E|| ' s ES E|| ' s EES| E| ' } ES| E| iru doo S 5 dqg |c | 5 A 1
Sursrvlwlrq 616151 @A lv fruh hfwlyh lq @/ dqg wkh @A fruh hf0
wlrq ri d qdnhg dojheud lv R G A $ 1
Surri1 Jlyhq d @ prusklvp s G $ zkrvh grpdlq lv d @A
remhfw/ wkh prusklvp } ri Sursrvlwlrq 61614 idfwruv wkurxjk A e|
Wkhruhp 615151
) 0ERROHDQ DOJHEUDV DQG ERROHDQ IORZV
4:
Lq Sursrvlwlrq 5181: zh revhuyhg wkdw A lv wkh gluhfw olplw ri wkh A 0
vxedojheudv i G 5 Uj1 Wkhuhiruh wkh iroorzlqj revhuydwlrq surylghv
lqirupdwlrq derxw A 1
Ohppd 616161 Dq hohphqw ri kdv w|sh dw prvw li dqg rqo| li lw lv
frqvwdqw rq hdfk fodvv1 Wkhuhiruh
A ' i@ 5 G < 5 U E@ lv frqvwdqw rq hdfk fodvvj Ixuwkhupruh/ iru dq| 5 U wkh hohphqwv
Z ri duh wkrvh @ 5 zklfk
duh frqvwdqw rq fodvvhv/ zkhuh ' AB | iru vrph qlwh AB A 1
Surri1 Li |)Ti @ wkhq iru doo |c | 5 A zh kdyh
| | +, r | ' r | ', @| ' @|
e| Uhpdun 51815+4,1 Rq wkh rwkhu kdqg/ li @ lv frqvwdqw rq fodvvhv
dqg | | wkhq e| wkh uljkw lqyduldqfh ri zh kdyh || | | iru doo
| 5 A 1 Wklv lpsolhv wkdw @ E|| ' @ E| | / l1h1/ E@| E| ' E@| E| iru
doo | 5 A / zklfk lv wr vd| wkdw @| ' @| 1 Wklv vkrzv wkdw |)Ti @ e|
Uhpdun 51815+4,1
Zh vxppdul}h wkh uhvxowv ri wklv vxevhfwlrq1
Wkhruhp 616171 Wkh @A fruh hfwlrq ri lv wkh vxedojheud ri frqvlvwlqj ri wkrvh hohphqwv zklfk duh frqvwdqw rq wkh fodvvhv ri vrph
vxlwdeoh uhodwlrq rq A 1
6171 Iuhh A 0dojheudv ryhu srlqwhg dqwl rzv1 Iru 5 U ohw 8 ghv0
ljqdwh wkh iuhh dojheud ryhu wkh jhqhudwlqj vhw - 1 Hdfk dfwlrq | ri
| 5 A rq - oliwv xqltxho| wr d prusklvp rq 8 / dqg wkh dfwlrqv wkxv
ghqhg pdnh 8 d A 0dojheud1
Frqvlghu qrz d A 0dojheud zlwk hohphqw @ ri w|sh dw prvw 1 Wkh
pds r | :$ @| lv d T5TA prusklvp iurp E- c r rqwr wkh ruelw E@Ac @
ri @1 Zh vkrz wkdw wklv pds oliwv wr d xqltxh A 0prusklvp iurp 8 lqwr
1 Lw lv lq wklv vhqvh wkdw 8 vhuyhv dv wkh iuhh A 0dojheud ryhu - 1
Wkhruhp 617141 Ohw @ eh dq hohphqw ri d A 0dojheud ri w|sh dw prvw
5 U1 Wkhq wkhuh lv d xqltxh A 0prusklvp s G 8 $ vxfk wkdw
s Er ' @1
Surri1 Lq rughu iru s wr uhvshfw wkh dfwlrqv zh pxvw kdyh
s Er | ' s Er | ' @|
iru hdfk | 5 A 1 Vlqfh hdfk o 5 - lv ri wkh irup o ' r | iru vrph | 5 A /
zh pd| wdnh wklv htxdwlrq dv wkh ghqlwlrq ri wkh pds s iurp - lqwr
1 Wklv pds lv zhoo0ghqhg suhflvho| ehfdxvh @ kdv w|sh dw prvw 1
Wkh idfw wkdw 8 lv wkh iuhh dojheud ryhu - wkhq surylghv d xqltxh
h{whqvlrq ri s wr d prusklvp iurp 8 lqwr 1 Dqg s frppxwhv zlwk
4;
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
wkh dfwlrqv rq 8 ehfdxvh lwv uhvwulfwlrq frppxwhv zlwk wkh dfwlrqv rq
- 1
Vlqfh wkh iuhh A 0dojheud 8 ryhu - sod|v d surplqhqw uroh lq zkdw
iroorzv/ sduwlfxoduo| lq Vhfwlrq 9/ zh doorz rxuvhoyhv d forvhu orrn dw lwv
hohphqwv1
Wkh frqwh{w ri wklv glvfxvvlrq lv d olwwoh pruh jhqhudo wkdq wkdw ri
Wkhruhp 617141 Vxssrvh wkdw 8 lv d qdnhg dojheud zlwk vxevhw - 8 1
Zh xvh k-l( wr ghvljqdwh wkh vxedojheud jhqhudwhg e| -> wkh hohphqwv
ri k-l( duh Errohdq frpelqdwlrqv ri qlwh vxevhwv ri -1 - jhqhudwhv
8 li k-l( ' 7/ dqg - iuhho| jhqhudwhv 8 dv d qdnhg dojheud li hyhu|
vhw pds iurp 7 lqwr dqrwkhu dojheud oliwv wr d xqltxh prusklvp iurp
8 lqwr 1 Wklv lv htxlydohqw wr wkh frqglwlrq wkdw
k7 l( _ k72 l( ' k7 _ 72 l(
iru qlwh 7 c 72 -1 +Vhh ^4/ Y16` iru dqrwkhu htxlydohqw irupxodwlrq1,
Wkhuhiruh hyhu| 5 8 kdv d vpdoohvw vxevhw 7 - iru zklfk 5
k7l( > zh uhihu wr 7 dv wkh vxssruw ri / dqg zulwh 7 ' tTT 1 Qrwh
wkdw tTT ' > li dqg rqo| li lv B ru A1
Zh fdq xqghuvwdqg wkh frqfhsw ri vxssruw pruh frqfuhwho|1 Li lv
dq hohphqw ri k7l( q iBc Aj wkhq wkh odzv ri Errohdq dojheud doorz wr eh h{suhvvhg lq wkh irup
ba
'
rwEr
X
7
iru vrph X ij7 1 +Khuh ij7 ghvljqdwhv wkh vhw ri doo pdsv iurp
7 lqwr ij/ dqg r dqg r3 ghvljqdwh r dqg wkh frpsohphqw r7 ri r/
uhvshfwlyho|1, Wklv uhsuhvhqwdwlrq pd| eh uhgxqgdqw ehfdxvh wkh odzv
ri Errohdq dojheud pd| pdnh lw srvvleoh wr rplw dq hohphqw r iurp 7/
uhvwulfw wkh ixqfwlrqv ri X wr 7 q irj/ dqg vwloo kdyh d uhsuhvhqwdwlrq
ri 1 Wkh fulwhulrq iru ehlqj xqdeoh wr rplw r iurp 7 lv h{dfwo| wkdw
wkhuh eh d ixqfwlrq w 5 X vxfk wkdw fkdqjlqj lwv ydoxh rqo| dw r uhvxowv
lq dqrwkhu ixqfwlrq qrw lq w1 Wkh vxssruw ri lv suhflvho| wkh vxevhw
ri 7 frqvlvwlqj ri wkrvh hohphqwv zklfk fdqqrw eh rplwwhg iurp 7 lq
wklv vhqvh1 Wkxv
b a
rwEr
'
\ tTT iru vrph \ ijtTT /dqg wklv uhsuhvhqwdwlrq lv d qrupdo irup/ l1h1/
lw lv xqltxh wr 1
Sursrvlwlrq 61716 zloo qg xvh lq Vxevhfwlrq 9151
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
4<
Ohppd 617151 Vxssrvh 8 lv d A 0dojheud zklfk lv iuhho| jhqhudwhg dv
d qdnhg dojheud e| d vxevhw - 8 1 Wkhq
tTT E| EtTT |
iru dq| 5 8 q iBc Aj dqg dq| | 5 A 1
Surri1 Deeuhyldwh tTT wr 71 Li zh zulwh lq qrupdo irup dqg dfw
rq lw e| |/ zh jhw
#
$
ba
ba
ba
| '
rwEr | '
Er|wEr '
rbEr c
X
7
7
X
\ 7|
zkhuh lq wkh uljkwprvw h{suhvvlrq r udqjhv ryhu 7| dqg \ lv vrph
vxevhw ri ij7| 1 Qrz wklv h{suhvvlrq iru | pd| eh uhgxqgdqw/ exw
lq wkdw fdvh lw fdq eh uhgxfhg wr wkh qrupdo irup iru | e| uhprylqj
h{wudqhrxv hohphqwv iurp 7|1 Wkdw lv/ tTT E| 7| ' EtTT |1
Sursrvlwlrq 617161 Vxssrvh 8 lv d A 0dojheud zklfk lv iuhho| jhqhudwhg
dv d qdnhg dojheud e| d vxevhw - 8 1 Wkhq
tTT E| ' EtTT |
iru dq| 5 8 q iBc Aj dqg dq| | 5 t|@M 1
Surri1 Deeuhyldwh tTT wr 71 Wkhq zh kdyh
7 ' tTT ' tTT E| EtTT | ' 7|
Exw wkhvh vhwv duh qlwh/ dqg wkh fduglqdolw| ri 7| grhv qrw h{fhhg wkdw
ri 71 Wkhuhiruh 7| ' 7
Iru 5 8 dqg | 5 A / Wkhruhp 61714 doorzv iru d yhu| xvhixo qr0
wdwlrqdo ghylfh1 Vlqfh dq hohphqw 5 8 q iBc Aj kdv wkh qrupdo
irup
ba
'
rwEr
X
7
7
iru 7 tTT dqg X ij / dqg vlqfh hdfk r 5 7 lv d wudqvodwh ri
wkh vrxufh/ vd| r ' r |r / zh pd| zulwh
ba
Er |r wEr '
X
7
Qrwh wkdw wkh odwwhu irup lv qr orqjhu xqltxh wr ehfdxvh ri wkh
pxowlsolflw| ri fkrlfhv ri |r iru r1
53
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
E| ylhzlqj wkh r dv dq lqghwhuplqdwh/ zh fdq wklqn ri dv d Errohdq
zrug lq wudqvodwhv ri wklv iuhh yduldeoh1 Vr zh riwhq zulwh wkh lpdjh ri
xqghu wkh pdsslqj ri Wkhruhp 61714 lq wkh irup
ba
ba
s E ' E@ '
E@|r wEr '
@wEr |r X
7
X
7
Wklv qrwdwlrq lv xqdpeljxrxv suhflvho| ehfdxvh @ kdv w|sh dw prvw /
l1h1/ phdqlqj wkdw iru |c | 5 A / @| ' @| zkhqhyhu r | ' r | 1 Wkxv doo
uhihuhqfhv wr E@ iru zrugv 5 8 q ij duh lpsolflwo| uhihuhqfhv wr
Wkhruhp 617141 Lq sduwlfxodu/ wkh qrwdwlrq E@ pdnhv qr vhqvh xqohvv
@ lv ri w|sh dw prvw 1
6181 Iuhh surgxfwv lq @A1 Zh ohdyh wkh urxwlqh yhulfdwlrq ri wkh
iroorzlqj ohppd wr wkh uhdghu1
Ohppd 618141 Ohw i G 5 aj eh d idplo| ri A 0dojheudv dqg ohw G
$ eh wkhlu frsurgxfw lq @1 H{whqg hdfk dfwlrq | 5 A wr e| phdqv ri wkh frsurgxfw surshuw|1 Wkhq G $ lv dovr wkh
2
2
! "
|
|
! "
|2
2
2
frsurgxfw ri wkh *v lq @A1
Wkh frsurgxfw ri dojheudv/ uhvshfwlyho| A 0dojheudv/ lv dovr fdoohg
wkhlu iuhh surgxfw1 Wkh iroorzlqj fruroodu| hdvlo| iroorzv iurp Wkhruhp
617141
Fruroodu| 618151 Hyhu| A 0dojheud lv dq lpdjh xqghu dq hslprusklvp
ri d frsurgxfw ri A 0dojheudv ri wkh irup 8 / 5 U1
6191 Iuhh A 0dojheudv ryhu vhwv1 D A 0dojheud 8 lv iuhh ryhu wkh vhw
f surylghg wkdw wkhuh lv d vhw pds G f $ 8 vxfk wkdw iru hyhu| A 0
dojheud dqg hyhu| vhw pds s G f $ wkhuh lv d xqltxh A 0prusklvp
} G 8 $ vxfk wkdw } ' s 1 Zh vd| wkdw wkh vhw pds s oliwv xqltxho|
wr wkh A 0prusklvp }1 Dq| wzr A 0dojheudv iuhh ryhu wkh vdph vhw f
duh lvrprusklf ryhu f/ dqg vr duh ghwhuplqhg xs wr lvrprusklvp vroho|
e| wkh fduglqdolw| ri f1 Wkh wulyldo iuhh A 0dojheud/ qdpho| wkh iuhh A 0
dojheud ryhu >/ dozd|v h{lvwv> lw lv wkh wzr0hohphqw dojheud 21 Qrz @A
lv forvhg xqghu iuhh surgxfwv e| Ohppd 61814/ dqg wkh iuhh surgxfw ri
iuhh A 0dojheudv lv iuhh1 Wkhuhiruh iuhh A 0dojheudv h{lvw ryhu doo vhwv li
wkh| h{lvw ryhu vlqjohwrqv1
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
54
Wkh txhvwlrq lv wr ghwhuplqh zkhq iuhh A 0dojheudv h{lvw ryhu doo vhwv1
Zh ghvfuleh wklv vlwxdwlrq vxfflqfwo| e| vd|lqj wkdw qrqwulyldo iuhh A 0
dojheudv h{lvw1
Wkhruhp 619141 Wkh iroorzlqj duh htxlydohqw iru d wrsrorjlfdo prqrlg
A1
+4, Qrqwulyldo iuhh A 0dojheudv h{lvw1
+5, Wkh odwwlfh U ri w|shv ri A kdv d juhdwhvw hohphqw1
+6, A lv glvfuhwh1
Li A lv d wrsrorjlfdo jurxs/ wkhvh frqglwlrqv duh htxlydohqw wr wkh iro0
orzlqj
+7, A srvvhvvhv d vpdoohvw rshq vxejrxs1
+8, A7 lv d glvfuhwh wrsrorjlfdo jurxs1
Surri1 Zh kdyh douhdg| uhpdunhg rq wkh htxlydohqfh ri +5, dqg +6, lq
Uhpdun 51714+7,1 Wr vkrz wkdw +4, lpsolhv +5,/ vxssrvh wkdw 8 lv wkh
iuhh dojheud ryhu d vlqjohwrq vhw f i%j/ dqg lghqwli| % zlwk lwv lpdjh
E% 5 8 1 Ohw |)Ti % dqg { 5 U1 Ohw 8 eh wkh A 0dojheud ri
Wkhruhp 61714/ dqg ohw } G 8 $ 8 eh wkh A 0prusklvp zklfk uhvxowv
iurp oliwlqj wkh vhw pds % :$ r 1 Wkhq e| Sursrvlwlrq 51817 zh jhw
' |)Ti % |)Ti } E% ' |)Ti r ' Wklv vkrzv wkdw lv wkh odujhvw hohphqw ri U1
Qrz vxssrvh wkdw U kdv d juhdwhvw hohphqw 1 Zh fodlp wkdw wkh A 0
dojheud 8 ri Wkhruhp 61714 lv wkh iuhh A 0dojheud ryhu wkh vlqjohwrq vhw
ir j1 Wkdw lv ehfdxvh dq| vhw pds s iurp ir j lqwr d A 0dojheud wdnhv
r wr dq hohphqw ri w|sh / dqg khqfh oliwv wr d xqltxh A 0prusklvp
} G 8 $ e| Wkhruhp 617141 Ilqdoo|/ li A lv d wrsrorjlfdo jurxs wkhq
wkh htxlydohqfh ri +5, dqg +7, iroorzv iurp Sursrvlwlrq 51618+4,1
61:1 H{whqglqj pdsslqjv wr prusklvpv1 Iru d vxevhw ri d A 0
dojheud zh ohw
A iK| G | 5 Ac K 5 j Zh xvh kl( dqg kl() wr ghqrwh wkh vxedojheud jhqhudwhg lq wkh
fdwhjru| ri wkh vxevfulsw1 Qrwh wkdw kl() ' kA l( 1 Zh riwhq
vkruwhq kl() wr kl zkhq grlqj vr lv xqdpeljxrxv1
Ohppd 61:141 Vxssrvh wkdw dqg duh A 0dojheudv dqg wkdw lv
d vxevhw ri 1 Wkhq d pdsslqj s G $ fdq eh h{whqghg wr d A 0
prusklvp s G kl() $ li dqg rqo| li lw vdwlvhv wkh iroorzlqj sdlu
ri frqglwlrqv1
+4, K| ' K | ', s EK | ' s EK | iru doo |c | 5 A dqg Kc K 5 1
55
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
+5, Iru doo qlwh vxevhwv c dqg A c A A zh kdyh
a
a
a
a
K | a
K | ' B ',
s EK | a
s EK | ' B
A c
A c A c A c
Surri1 Wkh h{lvwhqfh ri s fhuwdlqo| lpsolhv wkh frqglwlrqv1 Dvvxplqj
wkhp/ uvw h{whqg s wr A e| ghfodulqj s EK| ' s EK |/ dq h{whqvlrq
zklfk lv zhoo0ghqhg e| wkh uvw frqglwlrq1 Wkhq wkh vhfrqg frqglwlrq
lv d zhoo0nqrzq fulwhulrq iru wkh h{whqvlrq ri s wr doo ri kA l( > vhh
^4/ Y15`1 Vlqfh kA l( ' kl() / dqg vlqfh lw lv hdv| wr yhuli| wkdw s
frppxwhv zlwk wkh dfwlrqv/ wkh uhvxow iroorzv1
Sursrvlwlrq 61:151 Vxssrvh wkdw zh kdyh A 0dojheudv dqg zlwk
hohphqwv S dqg @/ uhvshfwlyho|/ d vxedojheud / dqg d prusklvp
s G $ 1 Wkhq s fdq eh h{whqghg wr d prusklvp s G kc Sl $ vxfk wkdw s ES ' @ li dqg rqo| li wkh iroorzlqj frqglwlrqv duh vdwlvhg1
+4d, Wkh w|sh ri @ lv dw prvw wkh w|sh ri S/ l1h1/ S| ' S| ', @| ' @|
iru doo |c | 5 A 1
+4e, Iru doo | 5 A dqg K 5 / S| ' K ', @| ' s EK 1
+5, Iru doo K 5 dqg doo qlwh vxevhwv A c A A zh kdyh
a
a
a
a
K a S| a S7| ' B ', s EK a @| a @
7| ' B
A
A A
A Surri1 Doo wkhvh frqglwlrqv duh fohduo| qhfhvvdu|1 Wr suryh wkhlu vx!0
flhqf| dsso| Ohppd 61:14 wr ^ iSj1 Frqglwlrqv +4d, dqg +4e, deryh
wrjhwkhu lpso| frqglwlrq +4, ri wkh ohppd/ zkloh frqglwlrq +5, khuh
lpsolhv lwv frxqwhusduw lq wkh ohppd1
71 Lqmhfwlyhv
Ghqlwlrq 713161 D A 0dojheud lv lqmhfwlyh surylghg wkdw iru doo
prusklvpv s G $ dqg doo prqrprusklvpv } G $ wkhuh lv d
prusklvp G $ vxfk wkdw } ' s 1 Dq lqmhfwlyh kxoo ri lv dq
hvvhqwldo hpehgglqj ri lqwr dq lqmhfwlyh remhfw1
Zh uvw vkrz wkh h{lvwhqfh dqg xqltxhqhvv ri lqmhfwlyh kxoov ri A 0
dojheudv lq Vxevhfwlrq 7141 Dowkrxjk wklv iroorzv iurp vlpsoh fdwhjru0
lfdo sulqflsohv/ zh rxwolqh wkh frqvwuxfwlrq ehfdxvh zh qhhg wr xqghu0
vwdqg wkh vwuxfwxuh ri wkhvh kxoov dv frqfuhwho| dv srvvleoh1 Zh wkhq
fkdudfwhul}h lqmhfwlylw| lq whupv ri v|vwhpv ri lghdov lq Vxevhfwlrqv 715/
716/ dqg 7171
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
56
7141 Wkh h{lvwhqfh dqg xqltxhqhvv ri wkh lqmhfwlyh kxoo1 Zh
ehjlq e| vkrzlqj wkdw lqmhfwlyh A 0dojheudv h{lvw1
Ohppd 714141 Ohw R G $ eh wkh @A fruh hfwlrq ri wkh qdnhg
frpsohwh dojheud 1 Wkhq lv lqmhfwlyh lq @A1
Surri1 Jlyhq wkh lqmhfwlrq dqg A 0prusklvp s / ohw } eh dq| prusklvp
lqgxfhg e| wkh lqmhfwlylw| ri lq @ vxfk wkdw } ' Rs 1 Wkhq ohw }
(
R
!
%% %!%(
F
s
eh wkh A 0prusklvp lqgxfhg e| wkh fruh hfwlyh surshuw| ri vxfk wkdw
R ' }1 Wr vkrz wkdw ' s vlpso| revhuyh wkdw iru doo | 5 A /
E ES E| ' E ES E| ' E ES | E ' R ES| ' } ES| ' Rs ES|
' s ES| E ' Es ES | E ' s ES E| ' s ES E| Wklv suryhv wkh ohppd1
Zh frqwlqxh e| vkrzlqj wkdw @A kdv hqrxjk lqmhfwlyhv1
Ohppd 714151 Hyhu| A 0dojheud fdq eh hpehgghg lq dq lqmhfwlyh remhfw1
Surri1 Ohw eh wkh lqvhuwlrq ri lq lwv lqmhfwlyh kxoo lq @1 + lv
!
%% R
e %
%(
mxvw wkh frpsohwlrq ri 1, Ohw R G $ eh wkh @A fruh hfwlrq
ri / dqg ohw e eh wkh lqgxfhg A 0prusklvp1 Wkhq lv lqmhfwlyh e|
Ohppd 71414/ dqg e lv lqmhfwlyh ehfdxvh lv1
Iru jlyhq prusklvpv G $ . / ' c 2/ zh vd| wkdw d prusklvp
& G .Q $ . lv ryhu li &Q ' 1
Sursrvlwlrq 714161 Hyhu| A 0dojheud kdv d pd{lpdo hvvhqwldo h{0
whqvlrq } G $ .1 Wkdw lv/ } lv hvvhqwldo/ dqg hyhu| rwkhu hvvhqwldo
h{whqvlrq ri hpehgv lq . ryhu 1
Surri1 Ohw e eh wkh lqmhfwlrq ri Ohppd 71415/ dqg ohw ^ eh wkh txrwlhqw
ri Ohppd 6141;1 Wkh frpsrvlwlrq } ^e lv hvvhqwldo e| frqvwuxfwlrq1
Jlyhq dq hvvhqwldo h{whqvlrq / ohw eh d A 0prusklvp surgxfhg e| wkh
lqmhfwlylw| ri 1 Wkhq & ^ lv lqmhfwlyh ehfdxvh & ' ^ ' ^e lv
lqmhfwlyh dqg lv hvvhqwldo1
57
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
" %% e
&
" %%( H ^ (
Iru d surri ri wkh qh{w uhvxow/ vhh ^4/ L153`1
Sursrvlwlrq 714171 Wkh iroorzlqj duh htxlydohqw iru d A 0dojheud .1
+4, . lv lqmhfwlyh1
+5, . lv d uhwudfw ri hdfk ri lwv h{whqvlrqv1
+6, . kdv qr surshu hvvhqwldo h{whqvlrqv1
Zh vxppdul}h wkh ghyhorsphqw ri wklv vxevhfwlrq1
Wkhruhp 714181 Hyhu| A 0dojheud kdv dq lqmhfwlyh kxoo zklfk lv xqltxh
xs wr lvrprusklvp ryhu lw1
7151 V|vwhpv ri lghdov1 Kdylqj ghprqvwudwhg wkh h{lvwhqfh dqg xqltxh0
qhvv ri lqmhfwlyh kxoov ri A 0dojheudv lq Wkhruhp 71418/ zh wxuq wr wkh
txhvwlrq ri fkdudfwhul}lqj lqmhfwlyh A 0dojheudv1 Wklv lv wkh frqwhqw ri
Wkhruhp 7151:/ zklfk uhtxluhv wkh qrwlrq ri dq 0v|vwhp ri lghdov1
Ghqlwlrq 715141 Ohw eh d A 0dojheud dqg 5 U1 Ohw 8 eh wkh iuhh
A 0dojheud ryhu E- c r +vhh Vxevhfwlrq 617,1 Wkhq dq 0v|vwhp ri lghdov
ri / ru vlpso| dq 0v|vwhp/ lv d idplo|
7 ' iu E G 5 8 j
ri lghdov ri zlwk wkh iroorzlqj surshuwlhv1
+4, u
WEB ' iBj dqg u EA ' 1
+5, g u E& u E iru doo
Y qlwh vxevhwv i& G & 5 gj dqg hoh0
phqwv ri 8 vxfk wkdw g & lq 8 1
+6, u E | iK| G K 5 u Ej u E| iru doo | 5 A dqg 5 8 1
Zh vrphwlphv vxssuhvv wkh zkhq lw lv fohdu iurp wkh frqwh{w1
Sursrvlwlrq 715151 A 0prusklvpv suhvhuyh 0v|vwhpv1 Wkdw lv/ li s G
$ lv d A 0prusklvp dqg li iu Ej lv dq 0v|vwhp ri lghdov ri wkhq
iiK 5 G <@ 5 E@ 5 u E dqg s E@ Kj G 5 8 j
lv dq 0v|vwhp ri lghdov ri 1 Dqg li iu Ej lv dq 0v|vwhp ri lghdov
ri dqg s lv rqh0wr0rqh wkhq
ii@ 5 G s E@ 5 u Ej G 5 8 j
lv dq 0v|vwhp ri lghdov ri 1
) 0ERROHDQ DOJHEUDV DQG ERROHDQ IORZV
58
Ghqlwlrq 715161 Zh vd| wkdw dq hohphqw S lq dq h{whqvlrq uhdol}hv dq 0v|vwhp 7 ' iu Ej li S lv ri w|sh dw prvw dqg
u E i@ 5 G @ ESj
iru hdfk 5 8 1 Zh vd| wkdw S h{dfwo| uhdol}hv 7 li S uhdol}hv 7 dqg
wkh frqwdlqphqw lv dq htxdolw| iru hdfk 5 8 1
Zh fkdudfwhul}h 0v|vwhpv lq Wkhruhp 71518/ iru zklfk zh qhhg d
vlpsoh ohppd derxw qdnhg dojheudv1 Lq wklv ohppd zh frqvlghu wkh
sduwlwlrqv
X ri d jlyhq qlwh vhw lqwr wzr sduwv/ Q dqg 1 Wkh
v|pero vwdqgv
iru glvmrlqw xqlrq/ vr wkdw zh uhihu wr wkh sduwlwlrq e|
X
zulwlqj Q ' 1
Ohppd 715171 Ohw K eh dq hohphqw dqg B d qlwh vxevhw ri d qdnhg
dojheud 1 Wkhq K olhv lq wkh lghdo jhqhudwhg e|
qa
`
b r
G Q ' B c K Q Surri1 Li qrw wkhq e| ]ruq*v Ohppd wkhuh lv d sulph lghdo a frqwdlqlqj
wkh glvsod|hg vhw dqg rplwwlqj K1 Sxw
Q iKQ 5 B G KQ 5 aj c
iK 5 B G K 5
* aj Y
Z
Wkhq wkh sulphqhvv ri a lpsolhv wkdw 5
* a/ khqfh K Q 5 a/
frqwudu| wr k|srwkhvlv1
Wkhruhp 715181 D froohfwlrq 7 ' iu E G 5 8 j ri lghdov ri lv
dq 0v|vwhp li dqg rqo| li wkhuh lv vrph hohphqw S lq vrph h{whqvlrq
zklfk h{dfwo| uhdol}hv 71
Surri1 Vxssrvh wkdw lv dq h{whqvlrq kdylqj dq hohphqw S ri w|sh
dw prvw lq / dqg sxw
u E ' i@ 5 G @ ESj c
5 8 Wr yhuli| wkdw iu Ej frqvwlwxwhv dq 0v|vwhp zklfk lv h{dfwo| uhdol}hg
e| S/ lw lv rqo| qhfhvvdu| wr revhuyh wkdw ES ' s E/ zkhuh s G 8 $
lv wkh pds ri Sursrvlwlrq 61714 vxfk wkdw s Er ' S1
Frqyhuvho| dvvxph wkdw dq 0v|vwhp iu Ej lv jlyhq1 Ohw ghqrwh
wkh frsurgxfw ri zlwk 8 / zlwk lqvhuwlrq pdsv dqg 1 Ohw } G $
eh wkh vxumhfwlrq zklfk uhvxowv iurp lghqwli|lqj zlwk B doo hohphqwv
ri ri wkh irup E@ a E
7 iru 5 8 dqg @ 5 u E1 Qrwh wkdw
wkh lghdo a jhqhudwhg e| wkhvh hohphqwv lv forvhg xqghu wkh dfwlrqv e|
wkh wklug ghqlqj surshuw| ri d v|vwhp ri lghdov/ vr wkdw erwk dqg }
olh lq @A e| Sursrvlwlrq 614151 Ilqdoo| vhw s ' } dqg S ' } Er 1
Revhuyh wkdw/ vlqfh r lv ri w|sh lq 8 / S lv ri w|sh dw prvw lq e|
Sursrvlwlrq 518171 Dqg } pxvw eh wkh ixqfwlrq ri Wkhruhp 61714 e|
yluwxh ri lwv xqltxhqhvv/ vr wkdw } E ' ES iru doo 5 8 1
59
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
Zh qrz vkrz wkdw u E ' i@ 5 G s E@ ESj iru hdfk 5 8 1
Vlqfh iru @ 5 u E zh kdyh
B ' } E E@ a E
7 ' s E@ a } E
7 ' s E@ a 7 ES ' s E@ a ESc
lw iroorzv wkdw s E@ ES1 Frqyhuvho|/ li s E@ ES wkhq
B ' s E@ a ES ' s E@ a 7 ES ' } E E@ a E
7 c
l1h1/ E@ a E
7 5 a1 Wkdw phdqv wkdw wkhuh duh qlwh vxevhwv
i@& G & 5 gj dqg i& G & 5 gj 8 vxfk wkdw @& 5 u E& iru
doo & 5 g/ dqg vxfk wkdw
b
E@ a E
7 E E@& a E& g
#
a
'
gQ
:g
X
g
#
b
gQ
$
@&
#
b b
$$
&
g
Qrz iru hdfk sduwlwlrq gQ g ' g lw iroorzv
ri wkh
Z iurp surshuwlhv
Z
frsurgxfw +^4/ YLL 4+ll,`, wkdw
hlwkhu
@
@
ru
7
& 1 Lq
gQ &
g
Y
wkh odwwhu fdvh zh jhw g & / iurp zklfk wkh vhfrqg ghqlqj
surshuw| ri 0v|vwhpv lpsolhv wkdw
a
_
@& 5
u E& u E g
g
Wkhuhiruh @ 5 u E e| Ohppd 715171
Ilqdoo|/ lghqwli| hdfk hohphqw ri zlwk lwv lpdjh xqghu s1 Wklv
lghqwlfdwlrq pdnhv dq h{whqvlrq ri ehfdxvh s pxvw eh rqh0wr0
rqh1 Wkh uhdvrq wkdw s pxvw eh rqh0wr0rqh lv wkdw e| wdnlqj ' B
zh jhw
s E@ ' B ' ES ', @ 5 u E ' u EB ' iBj
iru dq| @ 5 1
Wkh sduwlfxodu prusklvp s dqg hohphqw S frqvwuxfwhg lq wkh surri
ri Wkhruhp 71518 duh xqlyhuvdo zlwk uhvshfw wr wkhlu surshuwlhv1
Wkhruhp 715191 Vxssrvh 7 ' iu E G 5 8 j lv dq 0v|vwhp ri lghdov
ri iru vrph 5 U1 Ohw eh wkh h{whqvlrq dqg S wkh hohphqw
frqvwuxfwhg lq wkh surri ri Wkhruhp 715181 Wkhq iru dq| rwkhu h{whqvlrq
( kdylqj dq hohphqw _ uhdol}lqj 7 wkhuh lv d xqltxh prusklvp
G $ ( ryhu wdnlqj S wr _1
Surri1 Ohw , eh wkh prusklvp ri Sursrvlwlrq 61714 iurp 8 lqwr ( wdnlqj
r wr _1 Wkh frsurgxfw surshuw| ri dssolhg wr wklv pds/ wrjhwkhu
zlwk wkh lqvhuwlrq ri lq (/ surgxfhv d xqltxh prusklvp 6 pdnlqj
wkh wrs sduw ri wkh gldjudp frppxwh1 Zh fodlp wkdw 6 idfwruv wkurxjk
) 0ERROHDQ DOJHEUDV DQG ERROHDQ IORZV
5:
? ?? 8
??
,
?
?? 6 ! (
%%
#
a
a
}
a
%%( a
}/ l1h1/ wkdw wkhuh lv d prusklvp vxfk wkdw } ' 61 Wklv lv ehfdxvh
iru dq| K 5 vxfk wkdw } EK ' B/ l1h1/ K 5 a / wkhuh duh qlwh vxevhwv
i@& G & 5 gj dqg i& G & 5 gj 8 vxfk wkdw @& 5 u E& iru doo
& 5 g dqg
b
K
E E@& a E& g
Exw @& 5 u E& lpsolhv @& & E_ ' , E& / khqfh @& a , E& ' B/
zlwk wkh uhvxow wkdw 6 E@& a 6 E& ' B Wkhuhiruh
b
6 E E@& a E& ' B
6 EK g
Ilqdoo|/ wkh xqltxhqhvv ri lv d frqvhtxhqfh ri wkh xqltxhqhvv ri 6
dqg wkh idfw wkdw ks E ^ iSjl ' / zkhuh s ' } 1
Zh kdyh qdoo| dvvhpeohg wkh wrrov zh qhhg wr fkdudfwhul}h lqmhfwlyh
A 0dojheudv1
Wkhruhp 7151:1 D A 0dojheud lv lqmhfwlyh li dqg rqo| li iru hyhu|
5 U dqg iru hyhu| 0v|vwhp 7 wkhuh lv dq hohphqw ri uhdol}lqj 71
Surri1 Vxssrvh lv lqmhfwlyh/ 5 U/ dqg 7 lv dq 0v|vwhp1 Ohw S 5
eh wkh lwhpv frqvwuxfwhg lq wkh surri ri Wkhruhp 715181 E| wkh
lqmhfwlylw| ri wkhuh lv vrph prusklvp G $ vxfk wkdw lv wkh
lghqwlw| pds rq 1 Vhw @B ES/ dqg revhuyh wkdw @B lv ri w|sh dw
prvw ehfdxvh prusklvpv suhvhuyh w|sh e| Sursrvlwlrq 518171 Dqg @B
uhdol}hv 7 ehfdxvh
@ 5 u E ', @ ES ', @ ' E@ ES ' E ES ' E@B Qrz vxssrvh wkdw iru hyhu| 5 U dqg iru hyhu| 0v|vwhp 7 wkhuh lv
dq hohphqw ri uhdol}lqj 71 Wr whvw wkh lqmhfwlylw| ri frqvlghu
d prusklvp s G $ dqg vxshudojheud kdylqj hohphqw
S 5 1 Lw lv vx!flhqw wr h{whqg s wr d prusklvp s G kc Sl $ /
vlqfh d frqwlqxdwlrq ri wklv surfhvv e| wudqvqlwh lqgxfwlrq uhvxowv lq
dq h{whqvlrq ri s wr doo ri 1 Zh xvh Sursrvlwlrq 61:15 wr dfklhyh wkh
5;
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
h{whqvlrq e| rqh hohphqw dv iroorzv1 Iluvw ohw eh wkh w|sh ri S/ dqg
iru hdfk 5 8 ohw
u E ' i@Q 5 G <K 5 EK ES dqg s EK @Q j Wkhq 7 iu E G 5 8 j lv dq 0v|vwhp e| Sursrvlwlrq 71515/ dqg lv
wkhuhiruh uhdol}hg e| vrph @ 5 1 Zh fodlp wkdw wklv vhwxs vdwlvhv wkh
k|srwkhvhv ri Sursrvlwlrq 61:151 Frqglwlrq +4d, lv vdwlvhg e| yluwxh ri
wkh idfw wkdw @ lv ri w|sh dw prvw 1 Wr hvwdeolvk frqglwlrq +4e, vxssrvh
wkdw S| ' K iru vrph | 5 A dqg K 5 / dqg ohw r | 5 8 1 Wkhq
K ES ', s EK 5 u E ', s EK E@ ' @|c
dqg S7| ' 7K lpsolhv s 7K @
7| lq vlplodu idvklrq/ zlwk wkh uhvxow wkdw
s EK ' @|1 Wr yhuli| frqglwlrq
+5,Yfrqvlghu K 5 dqg qlwh vxevhwv
Y
A c A A / dqg ohw ' A r | a A r | 1 Wkhq
K a ES ' B ', K 7 ES ', s EK 5 u E
7
7 E@ ', s EK a E@ ' B
', s EK Wklv frpsohwhv wkh surri1
7161 Pd{lpdo v|vwhpv ri lghdov1 Zh qhhg wr frqvlghu wkh sduwlwlrqv
ri d jlyhq qlwh
X vhw AB A lqwr wzr sduwv/ A dqg A2 1 Dv ehiruh/ zh xvh
wkhXv|pero
iru glvmrlqw xqlrq/ dqg uhihu wr wkh sduwlwlrq e| zulwlqj
A A2 ' Af 1
Ohppd 716141 Vxssrvh S lv dq hohphqw ri w|sh dw prvw lq vrph
h{whqvlrq / dqg { 5 8 dqg @ 5 1 Li wkhuh lv d qlwh
vxevhw
X Af A dqg dq hohphqw B @f 5 vxfk wkdw iru doo sduwlwlrqv
A A2 ' Af zh kdyh
b
b
7 ES |2 c
@f a @| AQ
A
wkhq @ ES1 Frqyhuvho|/ li @ ES wkhq vxfk d vxevhw Af dqg
hohphqw @f h{lvw/ surylghg wkdw lv dq hvvhqwldo h{whqvlrq ri 1
Surri1 Li @ ES wkhq @ a ES ' @ a 7 ES : B1 Li lv dq hvvhqwldo
h{whqvlrq ri wkhuh pxvw eh d qlwh vxevhw Af A dqg hohphqw B @f 5 vxfk wkdw
#
$
b
a
b
b
E@ a 7 ES |f '
@| b 7 ES |2 c
@f AB
Z
AQ
zklfk lv wr vd| wkdw @f a AQ @| Af 1
:A
Z
A
' AB
AQ
A
7 ES |2 iru doo sduwlwlrqv A
X
A2 '
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
5<
Rq wkh rwkhu kdqg vxssrvh wkdw Af A lv d qlwh vxevhw dqg B @f 5 dq hohphqw iru zklfk hyhu| sduwlwlrq ri Af vdwlvhv wkh lqhtxdolw|
glvsod|hg lq wkh ohppd1 Wkhq d uhyhuvdo ri wkh suhfhglqj dujxphqw
ohdgv wr wkh frqfoxvlrq wkdw @ a ES : B/ l1h1/ @ ES1
Revhuyh wkdw 0v|vwhpv duh rughuhg e| frqwdlqphqw/ l1h1/ iu Ej i Ej li dqg rqo| li u E E iru doo 5 8 1 Revhuyh wkdw lq
wklv fdvh/ dq| hohphqw +lq dq| h{whqvlrq, zklfk uhdol}hv i Ej dovr
uhdol}hv iu ijj1 Ilqdoo|/ revhuyh dovr wkdw wkh xqlrq ri d wrzhu ri
0v|vwhpv lv dq 0v|vwhp/ vr wkdw hyhu| 0v|vwhp lv frqwdlqhg lq d pd{l0
pdo 0v|vwhp e| ]ruq*v Ohppd1 Zh fkdudfwhul}h pd{lpdo 0v|vwhpv lq
Wkhruhp 716151
Wkhruhp 716151 Wkh iroorzlqj frqglwlrqv duh htxlydohqw iru dq 0
v|vwhp 7 ' iu Ej ri lghdov ri 1
+4, Iru hyhu| @ 5 dqg 5 8 zlwk @ 5
* u E wkhuh lv vrph qlwh
vxevhw Af A dqg hohphqw B @f 5 vxfk wkdw
$
#
b
b
@f a @| 5 u
|
72
AQ
A
X
iru doo sduwlwlrqv A A2 ' Af 1
+5, Hyhu| hohphqw zklfk uhdol}hv 7 lq dq h{whqvlrq ri grhv vr
h{dfwo|1
+6, Hyhu| hohphqw zklfk uhdol}hv 7 lq dq hvvhqwldo h{whqvlrq ri grhv vr h{dfwo|1
+7, Hyhu| hohphqw zklfk uhdol}hv 7 lq wkh lqmhfwlyh kxoo ri grhv
vr h{dfwo|1
+8, 7 lv pd{lpdo dprqj 0v|vwhpv ri lghdov ri 1
Surri1 Vxssrvh +4, krogv/ ohw S eh dq hohphqw uhdol}lqj 7 lq vrph h{0
whqvlrq / dqg frqvlghu @ 5 vxfk wkdw @ ES1 Wkhq e| wkh
uvw sduw ri Ohppd 71614 wkhuh fdq eh qr qlwh Af A dqg B @f 5 vxfk wkdw
b
b
@f a @| 7 ES |2
X
AQ
A
iru doo sduwlwlrqv A A2 ' Af 1 Khqfh wkhuh fdq eh qr qlwh Af A
dqg B @f 5 vxfk wkdw
#
$
b
b
@f a @| 5 u
|
72 c
iru doo sduwlwlrqv A
X
AQ
A
A2 ' Af 1 Lw iroorzv iurp +4, wkdw @ 5 u E/ l1h1/
u E ' i@ 5 G @ ESj c
63
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
phdqlqj S h{dfwo| uhdol}hv 71
Wkh lpsolfdwlrqv iurp +5, wr +6, dqg +6, wr +7, duh reylrxv1 Dvvxph
+7,/ dqg wr suryh +4, frqvlghu 5 8 dqg @ 5
* u E1 Ohw eh
wkh lqmhfwlyh kxoo ri 1 Wkhq
7 ' iiS 5 G S @ iru vrph @ 5 u Ej G 5 8 j
lv dq 0v|vwhp ri lghdov ri e| Sursrvlwlrq 71515/ dqg wkxv lv uhdol}hg
e| dq hohphqw Sf 5 e| Wkhruhp 7151:1 Qrz Sf fohduo| dovr uhdol}hv
7/ dqg grhv vr h{dfwo| e| +7,/ khqfh @ ESf 1 Iurp Ohppd 71614 zh
wkhq jhw d qlwh vxevhw Af A dqg dq hohphqw B @f 5 zklfk/ lq
oljkw ri wkh h{dfwqhvv ri wkh uhdol}dwlrq ri 7 e| Sf / vdwlvi| +4,1
Li 7 zhuh surshuo| vpdoohu wkdq dqrwkhu 0v|vwhp 7 wkhq e| Wkhruhp
71518 zh frxog qg dq h{whqvlrq zlwk dq hohphqw S uhdol}lqj 7
h{dfwo|1 Exw wkhq S zrxog uhdol}h 7 lqh{dfwo|1 Wklv suryhv wkdw +8,
iroorzv iurp +5,1 Rq wkh rwkhu kdqg/ li lv dq| h{whqvlrq kdylqj
dq hohphqw S zklfk uhdol}hv 7 wkhq
7 7 iu E ES G 5 8 j Khqfh li 7 lv pd{lpdo lw iroorzv wkdw 7 ' 7 / zklfk lv wr vd| wkdw S
uhdol}hv 7 h{dfwo|1 Wklv vkrzv wkdw +5, iroorzv iurp +8,/ dqg frpsohwhv
wkh surri1
Fruroodu| 716161 Hyhu| 0v|vwhp lv frqwdlqhg lq dq 0v|vwhp vdwlvi|lqj
Wkhruhp 716151
Fruroodu| 716171 D A 0dojheud lv lqmhfwlyh li dqg rqo| li iru hyhu|
5 U dqg iru hyhu| pd{lpdo 0v|vwhp 7 ri lghdov ri wkhuh lv dq
hohphqw ri zklfk uhdol}hv 7 h{dfwo|1
Lw lv whpswlqj wr vshfxodwh wkdw wkh lqmhfwlyh kxoo ri d A 0dojheud frxog eh frqvwuxfwhg dv wkh dojheud ri pd{lpdo 0v|vwhpv1 Xqiruwx0
qdwho|/ vxfk d frqvwuxfwlrq fdqqrw eh vwudljkwiruzdug/ vlqfh 0v|vwhpv
duh qrw lq rqh0wr0rqh fruuhvsrqghqfh zlwk wkh hohphqwv ri wkh lqmhf0
wlyh kxoo1 Lqghhg/ pdq| glhuhqw hohphqwv ri wkh lqmhfwlyh kxoo fdq jlyh
ulvh wr wkh vdph pd{lpdo 0v|vwhp1 Iru h{dpsoh/ li A ' ~2 n ~2 dqg
' 2 iBc Aj lv dfwhg rq wulyldoo| e| A / wkhq wkh lqmhfwlyh kxoo ri
lv 2A / dqg wkh dwrpv ri wklv dojheud doo jhqhudwh wkh vdph v|vwhp ri
lghdov ri 1
7171 Fkhfnlqj rqo| odujh w|shv1 Lq wklv vxevhfwlrq zh srlqw rxw
wkdw/ lq rughu wr yhuli| wkh frqglwlrq iru lqmhfwlylw| ri Wkhruhp 7151:/
zh qhhg qrw fkhfn doo 0v|vwhpv/ exw fdq frqqh wkh yhulfdwlrq wr
0v|vwhpv iru wkh odujhu +qhu, *v lq U1
Ohw xv { qrwdwlrq wr eh xvhg wkurxjkrxw wkh uhvw ri wklv vxevhfwlrq1
Vxssrvh zh duh jlyhq lq U/ dqg ohw 4 G - $ - eh wkh fdqrqlfdo
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
64
T5TA vxumhfwlrq ri Sursrvlwlrq 51614/ l1h1/ 4 Er | ' r | iru doo | 5 A 1
Ohw R G 8 $ 8 eh wkh A 0prusklvp lqgxfhg e| 4 / zkhuh 8 dqg 8
duh wkh iuhh A 0dojheudv ryhu - dqg - / uhvshfwlyho|1
Lw pd| eh khosixo wr ghvfuleh wkh dfwlrq ri R pruh frqfuhwho|1 Dv
zh phqwlrqhg lq Vxevhfwlrq 617/ dq hohphqw 5 8 pd| eh h{suhvvhg
lq wkh irup
ba
Er |r wEr c
'
X
7
7
iru 7 tTT dqg X ij 1 Wkhuhiruh
ba
wEr b a wEr b a
R Er |r
'
4 Er |r
'
Er |r wEr R E '
X
7
X
7
7
X
Ilqdoo|/ frqvlghu d 0v|vwhp 7 ' iu E G 5 8 j ri lghdov rq d
jlyhq A 0dojheud / dqgohw 7 ' iu E G 5 8 j eh ghqhg e| wkh
uxoh u E u R E iru doo 5 8 1 Wkhq lw lv hdv| wr fkhfn wkdw
7 lv dq 0v|vwhp ri lghdov ri 1
Sursrvlwlrq 717141 Li 7 lv pd{lpdo dprqj 0v|vwhpv wkhq 7 lv pd{0
lpdo dprqj 0v|vwhpv1
Surri1 Frqvlghu @ 5 dqg 5 8 vxfk wkdw @ 5
* u E ' u R E 1
Wkhq wkh pd{lpdolw| ri 7 lpsolhv wkh h{lvwhqfh ri d qlwh vxevhw Af A dqg dq hohphqw B @f 5 vxfk wkdw
#
$
b
b
R E|2
@f a @| 5 u
AQ
A
Z
iru doo sduwlwlrqv A A2 ' Af 1 Exw A R E|2 ' R
7 2 vlqfh
A |
R frppxwhv zlwk wkh Errohdq rshudwlrqv dqg wkh dfwlrqv/ khqfh
#
$
b
b
|
72
@f a | @ 5 u
X
iru doo sduwlwlrqv A
X
Z
AQ
A
A2 ' Af 1 Wkdw lv/ 7 lv pd{lpdo dv zhoo1
Fruroodu| 717151 Li 7 lv pd{lpdo dprqj 0v|vwhpv wkhq dq| hohphqw
ri zklfk uhdol}hv 7 dovr uhdol}hv 7 / dqg grhv erwk h{dfwo|1
Surri1 Vxssrvh @f 5 uhdol}hv 7 1 Wr vkrz wkdw @f kdv w|sh dw prvw
/ frqvlghu dfwlrqv | c | 5 A vxfk wkdw r | ' r | 1 Vlqfh 7 lv pd{lpdo
e| Sursrvlwlrq 71714/ @f uhdol}hv lw h{dfwo| e| Wkhruhp 716151 Khqfh
i@ 5 G @ @f | j ' u Er | ' u R Er | ' u 4 Er | ' u Er | ' u Er | ' u 4 Er | ' u R Er | ' u Er | ' i@ 5 G @ @f | j c
65
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
iurp zklfk lw iroorzv wkdw @f | ' @f | 1 Wkdw lv/ @f kdv w|sh dw prvw 1
Wr ghprqvwudwh wkdw @f uhdol}hv 7 / frqvlghu 5 8 / dqg zulwh lq wkh irup
ba
Er |r wEr c
'
X
7
7
zkhuh 7 ' tTT dqg X ij 1 Sxw
ba
Er |r wEr 5 8 X
7
Zh duh qrw fodlplqj wkdw lv xqltxho| ghwhuplqhg e| / dv lqghhg
lw pd| ydu| zlwk wkh fkrlfh ri |r iru hdfk r 5 71 Qhyhuwkhohvv lw lv vwloo
wuxh wkdw R E ' / dqg wkdw
ba
E@f '
E@f |r wEr ' E@f X
7
Wkhuhiruh
u E ' u R E ' u E ' i@ 5 G @ E@f j
' i@ 5 G @ E@f j Wkdw lv/ @f h{dfwo| uhdol}hv 7 1
Zh vxppdul}h rxu fkdudfwhul}dwlrqv ri lqmhfwlyh A 0dojheudv1
Wkhruhp 717161 Wkh iroorzlqj duh htxlydohqw iru d A 0dojheud 1
+4, lv lqmhfwlyh1
+5, Iru hyhu| 5 U/ hyhu| 0v|vwhp lv uhdol}hg lq 1
+6, Iru hyhu| 5 U/ hyhu| pd{lpdo 0v|vwhp lv uhdol}hg lq 1
+7, Iru hyhu| 5 U wkhuh lv vrph 5 U zlwk vxfk wkdw hyhu|
pd{lpdo 0v|vwhp lv uhdol}hg lq 1
Lq sduwlfxodu/ li A dgplwv d qhvw srlqwhg dqwl rz - / l1h1/ li U frqwdlqv
d odujhvw hohphqw / wkhq d A 0dojheud lv lqmhfwlyh li dqg rqo| li hyhu|
pd{lpdo 0v|vwhp lv uhdol}hg lq 1
Fruroodu| 717171 Li A lv frqqhfwhg wkhq d A 0dojheud lv lqmhfwlyh li
dqg rqo| li hyhu| pd{lpdo A 0lghdo ri lv sulqflsdo1
81 Zkhq doo srlqwhg dqwliorzv duh ilqlwh
Wkurxjkrxw wklv vhfwlrq zh dvvxph wkdw doo srlqwhg dqwl rzv - /
5 U/ duh qlwh1 Wklv phdqv/ lq sduwlfxodu/ wkdw ruelwv ri hohphqwv
ri A 0dojheudv duh qlwh1 Wkh dvvxpswlrq ri qlwh srlqwhg dqwl rzv
lv htxlydohqw wr wkh dvvxpswlrq wkdw A lv frpsdfw +Uhpdunv 51514+6,
dqg 51714+5,,1 Vlqfh iru doo lqwhqwv dqg sxusrvhv zh pd| uhsodfh A
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
66
e| A +Wkhruhpv 51715 dqg 51914,/ wkh zrunlqj k|srwkhvlv lv wkdw A lv
frpsdfw1
8141 Zkhq A lv d frpsdfw jurxs1 Lq wkh suhvhqfh ri rxu uxqqlqj
k|srwkhvlv wkdw doo dqwl rzv duh qlwh/ hlwkhu wkh vxumhfwlylw| ru wkh
lqmhfwlylw| ri doo dfwlrqv rq doo dqwl rzv lpsolhv wkdw A lv d frpsdfw
jurxs +Ohppd 81414,1 Lq wklv fdvh wklqjv duh sduwlfxoduo| vlpsoh= hyhu|
A 0dojheud hvvhqwldoo| h{whqgv lwv vwdwlrqdu| vxedojheud +Sursrvlwlrq
81416,> hyhu| A 0dojheud vdwlvhv
r .c
zkhuh . lv wkh lqmhfwlyh kxoo ri r dqg wkh hpehgglqjv duh hvvhqwldo
+Sursrvlwlrq 81418,> wkh lqmhfwlyh remhfwv kdyh d sduwlfxoduo| vlpsoh
vwuxfwxuh +Wkhruhp 81419,1
Ohppd 814141 Wkh iroorzlqj duh htxlydohqw iru d A 0dojheud 1
+4, Iru hdfk 5 U dqg | 5 A / wkh dfwlrq ri | rq - lv rqh0wr0rqh1
+5, Iru hdfk 5 U dqg | 5 A / | pdsv - rqwr lwvhoi1
+6, Iru hdfk 5 U/ A lv d jurxs1
+7, A7 lv d frpsdfw jurxs1
+8, A lv d frpsdfw jurxs1
Surri1TWkh htxlydohqfh ri wkh uvw wkuhh frqglwlrqv lv fohdu1 Li +6, krogv
wkhq U A lv d frpsdfw jurxs ehfdxvh hdfk A lv/ dqg vr wkh forvhg
vxeprqrlg
+
,
\
A7 ' |7 5
A G ; E|7E ' |7E
U
lv fohduo| d frpsdfw jurxs dv zhoo1 Dqg wklv lpsolhv lq wxuq wkdw A ' A71
Wkh lpsolfdwlrq iurp +8, wr +4, lv Uhpdun 51514+6,1
Ghqlwlrq 814151 Iru d A 0dojheud / wkh vwdwlrqdu| vxedojheud ri lv
r i@ 5 G @| ' @ iru doo | 5 A j Zh uhjdug r wr eh d A 0vxedojheud ri dfwhg xsrq wulyldoo| e| A 1
Sursrvlwlrq 814161 Li A lv d wrsrorjlfdo jurxs wkhq dq| A 0dojheud lv
dq hvvhqwldo h{whqvlrq ri lwv vwdwlrqdu| vxedojheud1
Z
Surri1 Frqvlghu d A 0dojheud zlwk hohphqw @ : B/ ohw @f ' @A 1
Hdfk dfwlrq pxvw pds @f A lqwr lwvhoi/ dqg ehfdxvh @f A lv qlwh dqg
wkh dfwlrq rqh0wr0rqh/ lw pxvw pds @f A rqwr lwvhoi1 Wkhuhiruh hdfk
dfwlrq {hv @f / l1h1/ @f 5 r 1 Wklv pdnhv dq hvvhqwldo h{whqvlrq ri
r e| Sursrvlwlrq 6141:1
67
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
Khuh lv dq h{dpsoh wr vkrz wkdw wkh Sursrvlwlrq 81416 qhhg qrw krog/
hyhq zkhq erwk prqrlg dqg dojheud duh qlwh1
H{dpsoh 814171 Frqvlghu wkh rz f ' i% c %2 c % c %e j zlwk dfwlrqv
ic s c s2 j ghqhg dv iroorzv1
s%
s
s2
%
%
%e
%2
%2
%2
%2
%2
%
%
%2
%e
%e
%e
%e
%e
Ohw eh wkh Vwrqh vsdfh 2f ri f/ dqg ohw A eh ic | c |2 j/ zkhuh | lv
wkh gxdo ri s / l1h1/ @| ' s3 i@j iru vxevhwv @ f1 Ohw @ ' i% c %2 j
dqg @2 i%2 c % j/ vr wkdw
b
@ A ' @ b @ | b @ |2 ' @ b @2 b @ ' i% c %2 c % j Krzhyhu/ r ' i>c fj/ dqg vr lv qrw dq hvvhqwldo h{whqvlrq ri r 1
Sursrvlwlrq 814181 Li A lv d wrsrorjlfdo jurxs wkhq dq| A 0dojheud vdwlvhv
r .c
zkhuh wkh hpehgglqj r . lv wkh lqmhfwlyh kxoo ri r dqg wkh hpehg0
glqj . lv wkh lqmhfwlyh kxoo ri 1
Surri1 Ohw . eh wkh lqmhfwlyh kxoo ri r +Wkhruhp 71418,1 E|
Sursrvlwlrq 71417 . lv wkh pd{lpdo hvvhqwldo h{whqvlrq ri Sursr0
vlwlrq 71416/ dqg vr wkhuh lv dq hpehgglqj ri lqwr . ryhu r 1 Lw lv
lq wklv vhqvh wkdw lv lqwhuphgldwh ehwzhhq r dqg .1 Lw iroorzv wkdw
. lv wkh lqmhfwlyh kxoo ri 1
Sursrvlwlrq 814191 Vxssrvh wkdw A lv d wrsrorjlfdo jurxs1 Wkhq iru
dq| frpsohwh dojheud /
. @ 5 A G @ lv frqvwdqw rq fodvvhv iru vrph 5 U
lv dq lqmhfwlyh A 0dojheud/ dqg hyhu| lqmhfwlyh A 0dojheud kdv wklv irup1
Surri1 Jlyhq wkh frpsohwh dojheud / zh vhh e| Wkhruhp 61617 wkdw .
lv wkh friuhh A 0dojheud ryhu 1 Wkxv . lv lqmhfwlyh e| Ohppd 714141
Rq wkh rwkhu kdqg/ vxssrvh zh duh jlyhq dq duelwudu| lqmhfwlyh remhfw
1 Zh uvw fodlp wkdw r lv d frpsohwh dojheud1 Iru li zh uhjdug erwk
r dqg lwv frpsohwlrq +zlwkrxw dfwlrqv, wr eh A 0dojheudv zlwk wulyldo
dfwlrq/ wkhq wkh hpehgglqj r lv d A 0lqmhfwlrq zklfk/ e| yluwxh
ri wkh lqmhfwlyh surshuw| ri / oliwv wr dq lqmhfwlrq ri lqwr ryhu r 1
Lw iroorzv wkdw r ' / l1h1/ r lv frpsohwh1
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
68
Qrz lv wkh lqmhfwlyh kxoo ri r e| Sursrvlwlrq 81416/ vr wr
qlvk wkh surri zh dujxh wkdw
. @ 5 A G @ lv frqvwdqw rq fodvvhv iru vrph 5 U c
lv dovr wkh lqmhfwlyh kxoo ri 1 Vlqfh . lv wkh friuhh A 0dojheud ryhu
ri Wkhruhp 61617/ lw lv lqmhfwlyh e| Ohppd 714141 Ixuwkhupruh/ e|
uhjduglqj rqfh djdlq dv d A 0dojheud zlwk wulyldo dfwlrq/ zh fdq oliw wkh
lghqwlw| pds wr d A 0lqmhfwlrq iurp lqwr ./ xqghu zklfk hdfk hohphqw
ri pdsv wr wkh fruuhvsrqglqj frqvwdqw ixqfwlrq1 Zh lghqwli| hdfk
hohphqw ri zlwk wkh fruuhvsrqglqj frqvwdqw ixqfwlrq/ vr wkdw zh kdyh
.1 Doo wkdw uhpdlqv lv wr vkrz wkdw wklv h{whqvlrq lv hvvhqwldo1
Frqvlghu dq duelwudu| B @ 5 .1 Wkhq @ lv frqvwdqw rq fodvvhv
iru vrph 5 U/ dqg lq sduwlfxodu wkhuh lv dw ohdvw rqh vxfk fodvv d|o rq
zklfk @ E| ' K : iru doo | 5 d|o 1 Exw vlqfh A dfwv wudqvlwlyho|
rq wkh
Z
qlwh vhw A * / wkhuh
Z lv d qlwh vxevhw A A vxfk wkdw E A @| E| K
iru doo | 5 A / l1h1/ A @| grplqdwhv wkh frqvwdqwo| K ixqfwlrq1 Lw iroorzv
iurp Sursrvlwlrq 6141: wkdw . lv dq hvvhqwldo h{whqvlrq ri 1
91 Surmhfwlyhv
9141 Surmhfwlyhv lq jhqhudo1 Zh qrz wxuq wr surmhfwlylw| lq @A1
Ohw xv uhfdoo wkh ghqlwlrq1
Ghqlwlrq 914141 D A 0dojheud lv surmhfwlyh li dqg rqo| li iru hdfk
prusklvp s G $ dqg hdfk hslprusklvp } G $ wkhuh lv d
prusklvp G $ vxfk wkdw } ' s 1
Uhfdoo wkdw wkh A 0hslprusklvpv duh suhflvho| wkh vxumhfwlyh prusklvpv
e| Sursrvlwlrq 415151 Dovr qrwh wkdw zh dozd|v kdyh wkh wulyldo surmhf0
wlyh 2 iBc Aj1
Zh fdq douhdg| vwdwh wkh uvw fkdudfwhul}dwlrq ri surmhfwlylw| lq
@A1 Uhfdoo wkdw d uhwudfwlrq lv dq hslprusklvp } G $ zlwk
d uljkw lqyhuvh/ l1h1/ wkhuh h{lvwv d prusklvp G $ vxfk wkdw
} ' 1
Ohppd 914151 Wkh iroorzlqj duh htxlydohqw iru d A 0dojheud 1
+4, lv surmhfwlyh1
+5, Hyhu| hslprusklvp rqwr lv d uhwudfwlrq1
+6, Hyhu| hslprusklvp rqwr rxw ri d frsurgxfw ri A 0dojheudv ri
wkh irup 8 / 5 U/ lv d uhwudfwlrq1
Surri1 Lw lv fohdu wkdw +4, lpsolhv +5, dqg wkdw +5, lpsolhv +6,1 Dvvxph
+6,/ dqg lq rughu wr suryh +4, frqvlghu d jlyhq hslprusklvp } G $ dqg d jlyhq krprprusklvp s G $ 1 Iru hdfk @ 5 fkrrvh S@ 5 vxfk wkdw } ES@ ' s E@1 Ohw @ |)Ti @ b|)Ti S@ / ohw E-@ c r@ eh d frs|
69
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
ri E-( c r( / ohw 8@ eh d frs| ri 8( / wkh iuhh A 0dojheud ryhu E-@ c r@ /
dqg ohw ,@ G 8@ $ dqg &@ G 8@ $ eh wkh xqltxh prusklvpv jlyhq
e| Wkhruhp 61714 vxfk wkdw ,@ Er@ ' @ dqg &@ Er@ ' S@ 1 Ohw 8 eh wkh
frsurgxfw ri wkh idplo| i8@ G @ 5 j/ dqg ohw , G 8 $ dqg & G $ eh wkh xqltxh pdsv lqgxfhg e| wkh ,@ *v dqg &@ *v uhvshfwlyho|1 Wkdw lv/
, Er@ ' @ dqg & Er@ ' S@ iru doo @ 5 1 Vlqfh }& dqg s, djuhh rq
ir@ G @ 5 j/ dqg vlqfh wklv vhw jhqhudwhv 8 / lw iroorzv wkdw }& ' s ,1
Qrz dsso| +6, wr , wr jhw d prusklvp 6 G $ 8 vxfk wkdw ,6 ' 1
Vhw &61 Wkhq zh kdyh
} ' }&6 ' s ,6 ' sc
dv ghvluhg1
9151 Zkhq gr surmhfwlyhv h{lvwB Zh sursrvh wr gr qrz iru surmhf0
wlyh A 0dojheudv zkdw zh glg iru iuhh A 0dojheudv lq Vxevhfwlrq 6191 Zh
qhhg d olwwoh qrwdwlrq lq dgglwlrq wr wkdw ri Vxevhfwlrq 6171 Iru lq
U ohw R G 8 $ 8 eh wkh xqltxh A 0prusklvp jlyhq e| Wkhruhp 61714
vxfk wkdw R Er ' r 1 Qrwh wkdw wkh uhvwulfwlrq ri R wr wkh jhqhudwlqj
vhw - 8 lv mxvw wkh T5TA vxumhfwlrq 4 ri Ghqlwlrq 514151 Zh xvh
wr ghvljqdwh wkh lghqwlw| prusklvp rq 8 1
Wkhruhp 915141 Iru 5 U/ wkh uvw yh frqglwlrqv duh htxlydohqw dqg
lpso| wkh vl{wk1 Wkh uvw vl{ frqglwlrqv duh htxlydohqw li wkh vxlwdeoh
uhodwlrqv rq A fruuhvsrqg wr wkh vrxufh vwdelol}huv1 Doo vhyhq frqglwlrqv
duh htxlydohqw li A lv d wrsrorjlfdo jurxs1
+4, Iru hyhu| lq U wkhuh lv vrph & dqg vrph 5 8& ri
w|sh dw prvw vxfk wkdw R& E ' r 1
+5, Iru hyhu| lq U wkhuh lv vrph 5 8 ri w|sh dw prvw vxfk wkdw R E ' r 1
+6, Iru hyhu| lq U wkhuh lv d A 0prusklvp G 8 $ 8 vxfk
wkdw R ' 1
+7, 8 lv surmhfwlyh1
+8, Iru hyhu| A 0hslprusklvp s G $ dqg hyhu| K 5 ri w|sh dw
prvw wkhuh lv vrph @ 5 ri w|sh dw prvw vxfk wkdw s E@ ' K1
3
+9, Iru hyhu| lq U wkhuh lv d qlwh vxevhw - 4
Er vxfk wkdw -| ' - iru doo | 5 t|@M r 1
3
+:, Iru hyhu| lq U/ 4
Er lv qlwh1
Surri1 Wr vkrz wkdw +5, iroorzv iurp +4,/ frqvlghu lq U dqg qg
& dqg 5 8& iru zklfk R& E ' r 1 Wkhq R& E/ zklfk lv ri
w|sh dw prvw e| Sursrvlwlrq 51817 dqg zklfk olhv lq 8 / vdwlvhv +5,
ehfdxvh
R E ' R R& E ' R& E ' r 1
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
6:
Li +5, krogv wkhq Wkhruhp 61714 surylghv d xqltxh A 0prusklvp G
8 $ 8 vxfk wkdw Er ' 1 Vlqfh R djuhhv zlwk rq r / wkh
wzr A 0prusklvpv pxvw eh wkh vdph e| wkh xqltxhqhvv fodxvh ri Wkh0
ruhp 617141 Wkdw lv/ +6, krogv1 Wr suryh wkdw +6, lpsolhv +7,/ frqvlghu
d A 0prusklvp s dqg d A 0hslprusklvp }/ fkrrvh S 5 vxfk wkdw
s Er ' } ES/ dqg vhw b |)Ti S1 Ohw & eh wkh A 0prusklvp jlyhq
&
8
!
R
}
!
8
s
e| Wkhruhp 61714 vxfk wkdw & Er ' S/ dqg ohw eh wkh A 0prusklvp
zkrvh h{lvwhqfh lv dvvhuwhg lq +6,1 Qrz }& dqg s R djuhh rq r / dqg
ehfdxvh A 0prusklvpv rxw ri 8 duh ghwhuplqhg e| wkhlu ydoxhv dw r /
zh frqfoxgh wkdw }& ' s R 1 Wkhuhiruh
}& Er ' s R Er ' s Er c
dqg zh olnhzlvh frqfoxgh wkdw }& ' s1 Wklv vkrzv wkdw 8 lv surmhf0
wlyh1
Wr vkrz wkdw +7, lpsolhv +8,/ frqvlghu d jlyhq A 0hslprusklvp s G
$ dqg hohphqw K 5 ri w|sh dw prvw / fkrrvh @f 5 vxfk wkdw
s E@f ' K/ dqg vhw b |)Ti @f 1 Ohw & G 8 $ dqg } G 8 $ eh wkh A 0prusklvpv jlyhq e| Wkhruhp 61714 vxfk wkdw & Er ' K dqg
} Er ' @f 1 Ohw G 8 $ 8 eh d A 0prusklvp surgxfhg e| wkh
surmhfwlylw| ri 8 vxfk wkdw R ' 1 Qrz &R dqg s } djuhh dw r dqg
duh wkhuhiruh lghqwlfdo/ zlwk wkh frqvhtxhqfh wkdw
s } Er ' &R Er ' & Er ' K1
Wkh ghvluhg hohphqw lv @ } Er 1 Wklv zrunv ehfdxvh |)Ti @ |)Ti r ' e| Sursrvlwlrq 518171 Ilqdoo|/ wr ghgxfh +4, iurp +8, vlpso|
dsso| +8, wr wkh A 0hslprusklvp R dqg wkh hohphqw r 5 8 1 Zh kdyh
suryhq wkh uvw yh frqglwlrqv htxlydohqw1
Wr vkrz wkdw +5, lpsolhv +9, { lq U dqg xvh +5, wr jhw 5 8
ri w|sh dw prvw vxfk wkdw R E ' r 1 Sxw
3
Er - tTT _ 4
Qrz t|@M r t|@M ehfdxvh |)Ti / vr dq| | 5 t|@M r dfwxdoo|
shupxwhv
wkh hohphqwv ri tTT e| Sursrvlwlrq 617161 Vlqfh | pdsv
3
4
Er lqwr lwvhoi/ lw iroorzv wkdw | dovr shupxwhv -/ l1h1/ -| ' -1
Qrz dvvxph wkdw wkh vxlwdeoh uhodwlrqv rq A fruuhvsrqg wr wkh vrxufh
vwdelol}huv1 Wr vkrz wkdw +9, lpsolhv +5,/ frqvlghu lq U/ ohw - eh
6;
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
3
wkh qlwhZ
vxevhw ri 4
Er vxfk wkdw -| ' - iru doo | 5 t|@M r / dqg
sxw - 5 8 1 Wkhq iru dq| | 5 t|@M r zh kdyh
b
b
| '
-| '
- ' c
vr wkdw |)Ti e| Uhpdun 51815+5,1 Dqg fohduo| R E ' r 1 Wklv
frpsohwhv wkh surri wkdw +9, lpsolhv +5,1
Ilqdoo|/ li A lv d wrsrorjlfdo jurxs wkhq wkh htxlydohqfh ri +9, dqg
+:, lv d frqvhtxhqfh ri wkh idfw wkdw li lq U wkhq t|@M r dfwv
wudqvlwlyho| e| uljkw pxowlsolfdwlrq rq wkh frvhwv ri t|@M r 1 Wkh surri
lv grqh1
Ghqlwlrq 915151 Zh vd| wkdw dq hohphqw 5 U lv doprvw pd{lpdo li
lw vdwlvhv wkh uvw wkuhh frqglwlrqv ri Wkhruhp 915141
Uhpdun 915161 Ohw eh d pd{lpdo hohphqw ri U1
+4, Wkhq lv d pd{lpxp hohphqw ehfdxvh U lv d odwwlfh1 E| Uhpdun
51714+7,/ wklv kdsshqv li dqg rqo| li A lv glvfuhwh1
+5, lv doprvw pd{lpdo1
+6, Dq| hohphqw 5 U lv doprvw pd{lpdo li dqg rqo| li wkhuh lv
vrph 5 8 vxfk wkdw R E ' r dqg |)Ti 1
Sursrvlwlrq 915171 Vxssrvh wkdw wkh vxlwdeoh uhodwlrqv rq A fruuh0
vsrqg wr wkh vrxufh vwdelol}huv1
+4, Dq| hohphqw ri U deryh dq doprvw pd{lpdo hohphqw lv lwvhoi
doprvw pd{lpdo1
+5, Li U frqwdlqv dq doprvw pd{lpdo hohphqw/ wkhq hyhu| hohphqw lv
grplqdwhg e| dq doprvw pd{lpdo hohphqw1
Surri1 Vxssrvh A lv d wrsrorjlfdo jurxs1 Li & lq U dqg & lv
3
doprvw pd{lpdo wkhq wkhuh pxvw eh vrph vxevhw - ri E4& Er& vxfk
wkdw -| ' - iru doo | 5 t|@M r& 1 Exw wkhq 7 4 E- lv d vxevhw ri
3
4&
Er& vxfk wkdw vdwlvhv 7| ' 7 iru doo | 5 t|@M r& 1
Lw wxuqv rxw wkdw wkh w|sh ri d qrqwulyldo hohphqw ri d surmhfwlyh A 0
dojheud lv doprvw pd{lpdo/ surylghg wkdw wkh vxlwdeoh uhodwlrqv rq A
fruuhvsrqg wr wkh vrxufh vwdelol}huv1
Wkhruhp 915181 Vxssrvh wkh vxlwdeoh uhodwlrqv rq A fruuhvsrqg wr wkh
vrxufh vwdelol}huv/ dqg wkdw lv d surmhfwlyh A 0dojheud zlwk hohphqw
@ 9' Bc A1 Wkhq |)Ti @ lv doprvw pd{lpdo lq U1
Surri1 Ohw |)Ti @ dqg frqvlghu lq U1 Iru hdfk K 5 ohw
E-K c rK eh d frs| ri E-& c r& / zkhuh & lv b |)Ti K/ dqg ohw 8K eh d
frs| ri 8& 1 Ohw eh wkh frsurgxfw ri wkh idplo| i8K G K 5 j/ dqg
ohw R G $ eh wkh xqltxh A 0prusklvp vxfk wkdw R ErK ' K iru doo
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
6<
K 5 1 Vlqfh lv surmhfwlyh/ wkhuh lv d A 0prusklvp G $ vxfk
wkdw R ' 1 Sxw S E@1 Qrwh wkdw |)Ti S ' e| V
Sursrvlwlrq
518171 Qrz lv iuhho| jhqhudwhg dv d qdnhg dojheud
V e| -K / dqg
S 5 q iBc Aj/ vr S kdv qrqhpsw| vxssruw 7 -K 1 Qrwh wkdw
7 ' 7| iru dq| | 5 t|@M r e| Sursrvlwlrq 617161 Ohw K 5 eh vxfk wkdw
7K 7 _ -K 9' >/ dqg ohw & b |)Ti K1 Vlqfh iru dq| | 5 A lw lv wuxh
wkdw -K | -K / lw iroorzv wkdw 7K | ' 7K iru doo | 5 t|@M r 1 Ilqdoo|/ sxw
- ir | G rK | 5 7K j 7 Lw iroorzv iurp wkh idfw wkdw & wkdw - lv qlwh/ iru 7K lv qlwh dqg
iru doo |c | 5 A zh kdyh
rK | ' rK | +, r& | ' r& | ', r | ' r | Qrz frqvlghu | 5 t|@M r dqg o 5 -/ vd| o ' r |o iru vrph |o 5 A vxfk
wkdw rK |o 5 7K 1 Wkhq o| ' r |o | olhv lq -| ehfdxvh rK |o | olhv lq 7K | 7K 1
Wklv vkrzv wkdw -| -1 Rq wkh rwkhu kdqg/ vlqfh 7K | 7K wkhuh lv
vrph ro 5 7K iru zklfk ro | ' rK |o / vd| ro ' rK | iru vrph | 5 A 1 Zh
kdyh
rK | | ' ro | ' rK |o +, r& | | ' r& |o ', r | | ' r |o ' o
Qrz r | 5 - ehfdxvh rK | ' ro 5 7K / dqg wklv vkrzv wkdw o 5 -|/ l1h1/
wkdw -| -1 Wklv frpsohwhv wkh surri ri wkh wkhruhp1
Zh vxppdul}h rxu uhvxowv1
Wkhruhp 915191 Vxssrvh wkdw wkh vxlwdeoh uhodwlrqv rq A fruuhvsrqg
wr wkh vrxufh vwdelol}huv1 Wkhq qrqwulyldo surmhfwlyh A 0dojheudv h{lvw li
dqg rqo| li U frqwdlqv dq doprvw pd{lpdo hohphqw1 Ixuwkhupruh/ wkh
surmhfwlyh remhfwv duh suhflvho| wkh uhwudfwv ri frsurgxfwv ri A 0dojheudv
ri wkh irup 8 iru doprvw pd{lpdo lq U1
Surri1 Li A frqwdlqv wkh doprvw pd{lpdo hohphqw wkhq 8 lv d qrqwuly0
ldo surmhfwlyh A 0dojheud e| Wkhruhp 915141 Dqg li qrqwulyldo surmhfwlyh
A 0dojheudv h{lvw wkhq U frqwdlqv dq doprvw pd{lpdo hohphqw e| Wkh0
ruhp 915181 Qrz rq jhqhudo sulqflsohv/ dq| uhwudfw ri d frsurgxfw ri
surmhfwlyhv lv surmhfwlyh1 Dqg li lv dq| surmhfwlyh A 0dojheud wkhq wkh
uvw ihz vhqwhqfhv ri wkh surri ri Wkhruhp 91518 vkrz wkdw lv d uh0
wudfw ri d frsurgxfw ri A 0dojheudv ri wkh irup 8 iru doprvw pd{lpdo
lq U1
Wklv lpphgldwho| |lhogv d fkdudfwhul}dwlrq ri wkrvh wrsrorjlfdo jurxsv
A iru zklfk qrqwulyldo surmhfwlyh A 0dojheudv h{lvw1 Uhfdoo wkdw d wrsr0
orjlfdo jurxs M lv wrwdoo| erxqghg li iru dq| qrqhpsw| rshq vxevhw L
ri M wkhuh lv d qlwh vhw 8 M vxfk wkdw L8 ' M1
73
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
Wkhruhp 9151:1 Ohw A eh d wrsrorjlfdo jurxs1 Qrqwulyldo surmhfwlyh
A 0dojheudv h{lvw li dqg rqo| li A kdv dq rshq vxejurxs M vxfk wkdw doo
rshq vxejurxsv ri M kdyh qlwh lqgh{ lq M1 Li wkh lghqwlw| hohphqw
ri A kdv d qhljkerukrrg edvh frqvlvwlqj ri rshq vxejurxsv/ wklv lv wkh
vdph dv wr vd| wkdw A kdv dq rshq vxejurxs M zklfk lv wrwdoo| erxqghg1
Surri1 Mxvw qrwh wkdw 5 U lv doprvw pd{lpdo li dqg rqo| li hyhu| rshq
vxejurxs ri t|@M r kdv qlwh lqgh{ lq t|@M r 1
Khuh lv dq h{dpsoh zklfk vkrzv wkdw wkh k|srwkhvlv wkdw wkh vxlwdeoh
uhodwlrqv rq A fruuhvsrqg wr wkh vrxufh vwdelol}huv fdqqrw eh rplwwhg
iurp Wkhruhpv 91518 ru 91519/ ru iurp Sursrvlwlrq 91517+4,1 Wklv h{0
dpsoh dovr ylrodwhv wkh lpsolfdwlrq iurp +:, wr +5, lq Wkhruhp 915141
H{dpsoh 9151;1 Ohw A eh wkh yh hohphqw prqrlg zkrvh pxowlsolfdwlrq
wdeoh lv ehorz1
urzfroxpq | |2 | |e
| |2 | |e
| | | |2 | |e
|2 |2 | |2 | |e
| | |e | |2 |
|e |e |e | |2 |
Khuh duh irxu vxlwdeoh uhodwlrqv rq A zkrvh w|shv duh doprvw pd{lpdo1
Lq wkh uljkw froxpq duh hohphqwv 5 8 zklfk zlwqhvv wkh doprvw
pd{lpdolw| ri hdfk w|sh dv lq Uhpdun 91516+6,1 +Khuh ghvljqdwhv wkh
wrs hohphqw ri U/ wkh w|sh fruuhvsrqglqj wr wkh lghqwlw| vxlwdeoh uhodwlrq1
Wkhuhiruh 8 lv wkh iuhh dojheud rq wkh jhqhudwlqj vhw A 1,
vxlwdeoh uhodwlrq
iij c i| j c i|2 j c i| j c i|e jj
iij c i| c |e j c i|2 c | jj
iic | c |e j c i|2 c | jj
ii| c |e j c ic |2 c | jj
zlwqhvv
a | a |e
| a |e
|2 a |
Iru h{dpsoh/ li ' | a |e wkhq
' | ' |e ' c
|2 ' | ' |2 a | c
vr |)Ti fruuhvsrqgv wr wkh wklug vxlwdeoh uhodwlrq lq wkh wdeoh1 Ri wkh
pdq| rwkhu w|shv/ wkh dxwkruv eholhyh rqo| wkrvh lq wkh wdeoh duh doprvw
pd{lpdo1 Lq sduwlfxodu/ wkh hohphqw | a |3
2 ri wkh surmhfwlyh A 0dojheud
8 kdv w|sh fruuhvsrqglqj wr wkh vxlwdeoh uhodwlrq iij c i| c |2 c | c |e jj/
dqg wklv w|sh lv qrw doprvw pd{lpdo1
H{dpsoh 9151; udlvhv wkh txhvwlrq ri zkhwkhu hyhu| qrqwulyldo surmhf0
wlyh A 0dojheud frqwdlqv d qrqwulyldo hohphqw ri doprvw pd{lpdo w|sh/
) 0ERROHDQ
DOJHEUDV DQG ERROHDQ IORZV
74
l1h1/ zkhwkhu Wkhruhp 91518 krogv zlwkrxw wkh k|srwkhvlv wkdw wkh vxlw0
deoh uhodwlrqv fruuhvsrqg wr wkh vrxufh vwdelol}huv1 Wkh dxwkruv duh
zloolqj wr frqmhfwxuh wkdw wkh dqvzhu wr wklv txhvwlrq lv |hv1
Zh qlvk zlwk dq dssolfdwlrq wr dq doprvw qlwh fdvh1 Vxssrvh wkdw
A lv d wrsrorjlfdo jurxs zlwk rqo| qlwh srlqwhg dqwl rzv1 Wkhq wkh
jurxs dfwlrq fdq eh uhsodfhg e| wkh dfwlrq ri d frpsdfw jurxs/ qdpho|
A7/ dqg doo hohphqwv ri U duh doprvw pd{lpdo1 Khqfh doo A 0dojheudv 8 /
5 U/ duh surmhfwlyh1 Lq wklv fdvh wkhuh lv d yhu| hdv| fkdudfwhul}dwlrq
ri wkh qlwh surmhfwlyh A 0dojheudv1
Fruroodu| 9151<1 Ohw A eh d wrsrorjlfdo jurxs zklfk kdv rqo| qlwh
srlqwhg dqwl rzv1 Wkhq dq| qlwh A 0dojheud lv surmhfwlyh li dqg rqo|
li lw kdv dq dwrp wkdw lv {hg e| hyhu| hohphqw ri wkh jurxs/ l1h1/ li dqg
rqo| li wkh Vwrqh vsdfh ri kdv d {hg srlqw zlwk uhvshfw wr wkh lqgxfhg
jurxs dfwlrq1
Surri1 Iluvw qrwh wkdw dq| qlwh frsurgxfw ri d idplo| ri A 0dojheudv
ri wkh irup 8Y
/ 5 U/ kdv dw ohdvw wzr dwrpv zklfk duh {hg e| wkh df0
Y
wlrq/ qdpho| % r dqg % r3 / zkhuh 7 lv wkh vhw zklfk iuhho| jhqhudwhv
1 Wklv phdqv wkdw wkh Vwrqh vsdfh t ri / zklfk fdq eh lghqwlhg
zlwk wkh vhw ri dwrpv ri dqg zklfk zh uhjdug dv d Errohdq rz dv lq
Wkhruhp 41514/ dovr kdv dw ohdvw wzr {hg srlqwv1 Qrz dq| qlwh sur0
mhfwlyh A 0dojheud lv d uhwudfw ri vxfk d frsurgxfw > vd| s G $ lv d A 0vxumhfwlrq dqg G $ d A 0lqmhfwlrq vxfk wkdw s ' 1 Ohw
f eh wkh Vwrqh vsdfh ri dqg s G f $ t dqg G t $ f eh wkh
rz pdsv gxdo wr s dqg / vr wkdw s lv lqmhfwlyh dqg lv vxumhfwlyh
dqg s ' B 1 Wkhq dq| {hg srlqw ri t lv wdnhq wr d {hg srlqw ri
f e| / vr zh frqfoxgh wkdw f kdv dw ohdvw rqh {hg srlqw1
Qrz vxssrvh wkdw lv d qlwh A 0dojheud zlwk Vwrqh vsdfh f kdylqj
{hg srlqw %1 Ohw eh wkh frsurgxfw ri wkh idplo| i8( G @ 5 j/ zkhuh
8( lv d frs| ri 8|)Ti ( iru hdfk @ 5 / dqg ohw s eh wkh hslprusklvp
zklfk wdnhv wkh vrxufh r( ri 8( wr @ iru hdfk @ 5 1 lv qlwh dqg
surmhfwlyh1 Ohw t eh wkh Vwrqh vsdfh ri dqg ohw s G f $ t eh wkh
lqmhfwlyh rz pds gxdo wr s 1 Zh zloo eh grqh li zh fdq vkrz wkdw s
kdv d uljkw lqyhuvh G $ / ru htxlydohqwo| wkdw wkhuh lv d rz pds
G t $ f vxfk wkdw s ' B 1 Exw vlqfh t lv qlwh/ wkh frqwlqxlw|
ri lv dxwrpdwlf1 Ghqh dv iroorzv= iru hdfk + 5 s Ef ohw E+ eh
wkh suhlpdjh ri + xqghu s 1 Iru hyhu| + 5
* s Ef ohw E+ ' %1 Vlqfh
s lv d rz pds/ vr lv 1 Fohduo| lv dv uhtxluhg1
Khuh lv dq h{dpsoh zklfk vkrzv wkdw Fruroodu| 9151< lv idovh zlwkrxw
wkh jurxs k|srwkhvlv1
75
U1 Q1 EDOO/ V1 JHVFKNH/ M1 Q1 KDJOHU
H{dpsoh 9151431 Ohw A eh wkh prqrlg ri H{dpsoh 9151;/ dfwlqj rq
wkh Errohdq rzv f dqg t dv iroorzv1
|% %f % %2
|+ +f + +2 +
%f % %2
+f + +2 +
| %f % %2
| +f + +2 +
|2 %f % %2
|2 +f + +2 +2
| %f %2 %
| +f +2 + +
|e %f %2 %
|e +f +2 + +2
Erwk f dqg t kdyh {hg srlqwv %f dqg +f / uhvshfwlyho|1 Krzhyhu/ wkh
forshq dojheud ri f lv d A 0dojheud zklfk lv ghprqvwudeo| qrw surmhfwlyh/
iru wkh rz pds s G f $ t zklfk wdnhv % wr + / & ' fc c 2/ kdv qr
ohiw lqyhuvh1
Li A lv d wrsrorjlfdo jurxs zlwk rqo| qlwh srlqwhg dqwl rzv zh fdq
jhw d vx!flhqw frqglwlrq iru d +srvvleo| lqqlwh, A 0dojheud ehlqj sur0
mhfwlyh zklfk lv lqwhuqdo/ l1h1/ zklfk rqo| lqyroyhv wkh vwuxfwxuh ri wkh
A 0dojheud1 D voljkw zhdnhqlqj ri wklv vx!flhqw frqglwlrq wxuqv rxw wr
eh qhfhvvdu|1 Xqiruwxqdwho| wkrvh frqglwlrqv duh yhu| whfkqlfdo/ dqg
zh gr qrw kdyh d frpsohwh fkdudfwhul}dwlrq |hw1 Wkdw lv zk| wkrvh
frqglwlrqv duh qrw wuhdwhg khuh1
Uhihuhqfhv
^4` U1 Edoehv dqg S1 Gzlqjhu/ Glvwulexwlyh Odwwlfhv/ Xqlyhuvlw| ri Plvvrxul Suhvv/
4<:71
^5` K1 Khuuolfk dqg J1 H1 Vwuhfnhu/ Fdwhjru| Wkhru|/ dq Lqwurgxfwlrq/ Doo|q dqg
Edfrq/ Lqf1/ 4<:61
^6` U1 Vlnruvnl/ Errohdq Dojheudv/ Wklug Hglwlrq/ Vsulqjhu0Yhuodj/ 4<9<1
+Edoo dqg Kdjohu, /DI@Kwphqw ri Pdwkhpdwlfv dqg Frpsxwhu Vflhqfh/
Xqlyhuvlw| ri Ghqyhu/ Ghqyhu/ Frorudgr ;353;/ X1V1D1/ ^Jhvfknh`LL1 Pdwk0
hpdwlvfkhv Lqvwlwxw/ IX Ehuolq/ Duqlpdoohh 6/ 474<8 Ehuolq/ Jhupdq|
H0pdlo dgguhvv/ Jhvfknh=
jhvfknhCpdwk1ix0ehuolq1gh
© Copyright 2026 Paperzz