Global Optimization Using Interval Analysis

Joredo Rswlpl}dwlrq Xvlqj Lqwhuydo Dqdo|vlv Ho gr q Kd qv h q Frqwhqwv 4 LQWURGXFWLRQ 4 414 DQ RYHUYLHZ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 415 WKH RULJLQ RI LQWHUYDO DQDO\VLV 1 1 1 1 1 1 1 1 1 1 1 1 4 416 WKH VFRSH RI WKLV ERRN 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 417 YLUWXHV DQG GUDZEDFNV RI LQWHUYDO PDWKHPDWLFV 6 418 WKH IXWXUH RI LQWHUYDOV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ; 5 LQWHUYDO QXPEHUV DQG LQWHUYDO DULWKPHWLF1 514 LQWHUYDO QXPEHUV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 515 QRWDWLRQ DQG UHODWLRQV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 516 ILQLWH LQWHUYDO DULWKPHWLF 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 517 GHSHQGHQFH 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 51714 Ghshqghqw Lqwhuydo Dulwkphwlf Rshudwlrqv 1 1 1 1 1 1 1 1 518 H[WHQGHG LQWHUYDO DULWKPHWLF 1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1

< < 43 43 44 45 46

6 IXQFWLRQV RI LQWHUYDOV 614 UHDO0YDOXHG IXQFWLRQV RI LQWHUYDOV 1 1 1 1 1 1 1 615 LQWHUYDO IXQFWLRQV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 616 WKH IRUPV RI LQWHUYDO IXQFWLRQV 1 1 1 1 1 1 1 1 1 617 VSOLWWLQJ LQWHUYDOV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 618 HQGSRLQW DQDO\VLV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 619 PRQRWRQLF IXQFWLRQV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 61: SUDFWLFDO HYDOXDWLRQ RI LQWHUYDO IXQFWLRQV 61; WKLFN DQG WKLQ IXQFWLRQV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

48 48 49 4< 54 55 56 57 5:

1 1 1 1 1 1 1 1

FRQWHQWV 718

WKH +H[WHQGHG, FRQWDLQPHQW VHW 1 1 1 1 1 1 1 1 1 1 71814 Klvwrulfdo Frqwh{w 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 71815 D Vlpsoh H{dpsoh= 43 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 71816 Fvhw Qrwdwlrq 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 71817 Wkh Frqwdlqphqw Vhw ri 43 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 719 DULWKPHWLF RYHU WKH H[WHQGHG UHDO QXPEHUV 71914 Hpsw| Vhwv dqg Lqwhuydov 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 71915 Fvhw0Htxlydohqw H{suhvvlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 71: FORVHG LQWHUYDO V\VWHPV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 71:14 Forvhg Lqwhuydo Dojrulwkp Rshudwlrqv 1 1 1 1 1 1 1 1 1 71; WKH H[WHQGHG IXQGDPHQWDO WKHRUHP 1 1 1 1 1 1 71;14 Frqwdlqphqw Vhwv dqg Forvxuhv 1 1 1 1 1 1 1 1 1 1 1 1 1 71;15 Pxowl0Ydoxhg H{suhvvlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 71;16 Frqwdlqphqw0Vhw Lqfoxvlrq Lvrwrqlflw| 1 1 1 1 1 1 1 1 1 71;17 Ixqgdphqwdo Wkhruhp ri Lqwhuydo Dqdo|vlv 1 1 1 1 1 1 71< YHFWRU DQG PDWUL[ QRWDWLRQ 1 1 1 1 1 1 1 1 1 1 1 1 7143 FRQFOXVLRQ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

1 65 1 66 1 66 1 68 1 68 1 69 1 6; 1 6; 1 6; 1 6< 1 74 1 74 1 75 1 78 1 78 1 7; 1 83

8 LQWHUYDO OLQHDU HTXDWLRQV 814 GHILQLWLRQV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 815 LQWURGXFWLRQ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 816 WKH VROXWLRQ VHW 1 1 1 1 1 1 1 1 1 1 1 1 1 1 817 JDXVVLDQ HOLPLQDWLRQ 1 1 1 1 1 1 1 1 1 1 1 818 IDLOXUH RI JDXVVLDQ HOLPLQDWLRQ 1 1 819 SUHFRQGLWLRQLQJ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 81: WKH JDXVV0VHLGHO PHWKRG 1 1 1 1 1 1 1 1 81; WKH KXOO PHWKRG 1 1 1 1 1 1 1 1 1 1 1 1 1 1 81;14 Wkhruhwlfdo Dojrulwkp 1 1 1 1 1 1 1 1 1 1 81;15 Sudfwlfdo Surfhgxuh 1 1 1 1 1 1 1 1 1 1 1 81< WKH KXOO RI DL { @ eL 1 1 1 1 1 1 1 1 1 1 1 1 8143 D VSHFLDO SUHFRQGLWLRQLQJ PDWUL[ 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1 1 1 1 1

84 84 85 87 88 8: 8: 93 95 96 97 98 98

9 LQWHUYDO LQHTXDOLWLHV 914 LQWURGXFWLRQ 1 1 1 1 1 1 1 1 1 1 1 915 D VLQJOH LQHTXDOLW\ 1 1 1 1 1 1 1 916 V\VWHPV RI LQHTXDOLWLHV 1 1 1 917 RUGHULQJ LQHTXDOLWLHV 1 1 1 1 1 918 VHFRQGDU\ SLYRWV 1 1 1 1 1 1 1 1 919 FROXPQ LQWHUFKDQJHV 1 1 1 1 1 91: WKH SUHFRQGLWLRQLQJ PDWUL[ 91; VROYLQJ LQHTXDOLWLHV 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

9: 9: 9; :3 :5 :6 :7 :8 :9

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

1 1 1 1 1 1 1 1

FRQWHQWV : WD\ORU VHULHV DQG VORSH H[SDQVLRQV :14 LQWURGXFWLRQ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :15 ERXQGLQJ WKH UHPDLQGHU LQ WD\ORU H[SDQVLRQV :16 WKH PXOWLGLPHQVLRQDO FDVH 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :17 WKH MDFRELDQ DQG KHVVLDQ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :18 DXWRPDWLF GLIIHUHQWLDWLRQ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :19 VKDUSHU ERXQGV XVLQJ WD\ORU H[SDQVLRQ 1 1 1 1 1 :1: H[SDQVLRQV XVLQJ VORSHV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :1; VORSHV IRU LUUDWLRQDO IXQFWLRQV 1 1 1 1 1 1 1 1 1 1 :1< PXOWLGLPHQVLRQDO VORSHV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :143 KLJKHU RUGHU VORSHV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :144 VORSH H[SDQVLRQV RI QRQVPRRWK IXQFWLRQV 1 1 1 :145 DXWRPDWLF HYDOXDWLRQ RI VORSHV 1 1 1 1 1 1 1 1 1 1 1 :146 HTXLYDOHQW H[SDQVLRQV 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

:< 1 :< 1 ;3 1 ;4 1 ;8 1 ;: 1    > {q , lv d ghjhqhudwh lqwhuydo htxdo wr i +{4 >    > {q ,1 Wklv ghqlwlrq suhvxssrvhv wkh xvh ri h{dfw lqwhuydo dulwkphwlf zkhq hydo0 xdwlqj i L 1 Lq sudfwlfh/ zlwk urxqghg lqwhuydo dulwkphwlf/ zh duh rqo| deoh wr frpsxwh I / dq lqwhuydo hqforvxuh ri i L = Wkhuhiruh/ zh kdyh i +{4 >    > {q , 5 I +{4 >    > {q , hyhq zkhq i L lv dq lqwhuydo h{whqvlrq ri i 1 Dq lqwhuydo ixqfwlrq i L li vdlg wr eh lqfoxvlrq lvrwrqlf li [l  \l +l @ 4>    > q, lpsolhv i L +[4 >    > [q ,  i L +\4 >    > \q ,1 Lw iroorzv iurp wkh ghqlqj uhodwlrq +51614, wkdw qlwh lqwhuydo dulwkphwlf lv lqfoxvlrq lvrwrqlf1 Wkdw lv/ li rs ghqrwhv .> > > ru / wkhq [l  \l +l @ 4> 5, lpsolhv +[4 rs [5 ,  +\4 rs \5 ,1 Li rxwzdug urxqglqj lv xvhg/ wkhq lqwhuydo dulwkphwlf lv lqfoxvlrq lvrwrqlf hyhq zkhq urxqglqj rffxuv1 Vhh Dohihog dqg Khu}ehujhu +4 {q , = Dq| ixqfwlrq zulwwhq zlwk lqwhuydo dujxphqw+v, lv lpsolflwo| dq lqwhuydo ixqfwlrq1 Wklv qrwdwlrq lv dpeljxrxv eh0 fdxvh wkhuh lv qr xqltxh lqwhuydo ixqfwlrq wkdw lv dq hqforvxuh ri d jlyhq ixqfwlrq i1 +Vhh Vhfwlrq 616,1 Dovr/ zh vkdoo vd| wkdw zh hydoxdwh d uhdo ixqfwlrq zlwk lqwhuydo dujxphqwv1 Zkdw zh uhdoo| phdq lv= zh hydoxdwh vrph lqwhuydo ixqfwlrq wkdw lv dq hqforvxuh ri i1 Zh dvn wkh uhdghu*v lqgxojhqfh lq wkhvh frqyhqwlrqv1 Wkh| vlpsoli| h{srvlwlrq1 Wkhuh lv dqrwkhu dpeljxlw| lq qrwdwlrq1 Lw lv vwdqgdug sudfwlfh lq pdwkh0 pdwlfv wr xvh wkh vdph qrwdwlrq iru pruh wkdq rqh sxusrvh1 Wkh qrwdwlrq i+{,

JOREDO RSWLPL]DWLRQ

4:

fdq ghqrwh d ixqfwlrq lq d wkhruhwlfdo vhqvh zlwkrxw d vshflf h{suhvvlrq/ ru lw fdq ghqrwh rqh vshflf h{suhvvlrq1 Lw fdq dovr ghqrwh wkh qxphulfdo ydoxh ri d ixqfwlrq dw d srlqw {1 Xvxdoo|/ d glhuhqw qrwdwlrq lv xvhg wr ghqrwh dq dssur{lpdwh ydoxh frpsxwhg/ iru h{dpsoh/ xvlqj urxqghg dulwkphwlf1 Lq wkh lqwhuydo fdvh/ zh frpsrxqg wklv dpeljxlw|1 Wkh qrwdwlrq i+[, fdq uhihu wr d wkhruhwlfdo ixqfwlrq ru rqh ri pdq| h{suhvvlrqv iru lw1 Dowkrxjk d glhuhqw qrwdwlrq lv xvxdoo| hpsor|hg lq wklv fdvh/ i+[, fdq dovr ghqrwh wkh lqwhuydo wkdw lv wkh udqjh ri ydoxhv ri i+{, iru doo { 5 [1 i+[, fdq hyhq ghqrwh d erxqg rq wkh udqjh wkdw lv xqghuvwrrg wr eh xqvkdus ehfdxvh ri urxqglqj huuruv dqg ghshqghqfh1 Lw lv frpprq sudfwlfh wr ohw frqwh{w lpso| wkh lqwhusuhwdwlrq iru d jlyhq qrwdwlrq1 Zh vkdoo xvxdoo| iroorz wklv sudfwlfh1 Krzhyhu/ zh vrphwlphv xvh vshfldo qrwdwlrq wr glvwlqjxlvk fdvhv1 Iru h{dpsoh/ i L +[, ru I +[, ghqrwh d erxqg rq wkh udqjh ri i ryhu [ wkdw lv frpsxwhg e| vrph +xqvshflhg, qxphulfdo surfhgxuh1 Wkh zlgwk ri wkh lqwhuydo uhvxow lqfoxghv erwk wkh udqjh ri i ryhu [ dqg dq| qxphulfdo huuruv dulvlqj iurp urxqglqj ru ghshqghqfh1 Vlploduo|/ i L +{, ru I +{, lv xvxdoo| xvhg wr ghqrwh wkh qxphulfdoo| frpsxwhg lqwhuydo erxqg +lqfoxglqj dq| qxphulfdo huuruv, rq wkh vlqjoh qxpehu i+{,1 Iurp wkh idfw wkdw wkh lqwhuydo dulwkphwlf rshudwruv duh lqfoxvlrq lvrwrqlf/ lw iroorzv wkdw udwlrqdo lqwhuydo ixqfwlrqv duh lqfoxvlrq lvrwrqlf1 Krzhyhu/ iru wklv wr eh wuxh/ zh pxvw uhvwulfw d jlyhq udwlrqdo ixqfwlrq wr d vlqjoh irup1 Wkh iroorzlqj h{dpsoh iurp Fdsudql dqg Pdgvhq +4 4` dqg f @ p+[, @ 3=8= Hydoxdwlqj i+[, lq wkh irup lq +61514,/ zh frpsxwh i+^3> 4`, @ ^3> 3=58`1 Qrz uhsodfh [ @ ^3> 4` e| [ 3 @ ^3> 3= 3=5    > [q , eh d udwlrqdo ixqfwlrq1 Dvvxph wkdw I lv hydoxdwhg xvlqj d {hg irup zlwk d {hg vhtxhqfh ri rshudwlrqv lqyroylqj rqo| lqwhuydo dgglwlrq/ vxewudfwlrq/ pxowlsolfdwlrq/ dqg glylvlrq1 Wkhq I lv lqfoxvlrq lvrwrqlf1

4;

FKDSWHU 61 IXQFWLRQV RI LQWHUYDOV

Surri ri Wkhruhp 61514 lv rplwwhg1 Lw iroorzv hdvlo| iurp wkh lqfoxvlrq lvr0 wrqlflw| ri wkh irxu edvlf lqwhuydo dulwkphwlf rshudwlrqv1 Frpprq sudfwlfh pdnhv xvh ri prqrwrqlflw| ryhu dq lqwhuydo wr vkduso| erxqg wkh udqjh ri d uhdo ixqfwlrq1 Zh glvfxvv wklv wrslf lq Vhfwlrq 6191 Zkhq zh xvh prqrwrqlflw| wr frpsxwh rxu uhvxow/ zh gr qrw olplw h{suhvvlrqv wr wkrvh pdgh xs ri wkh irxu edvlf lqwhuydo dulwkphwlf rshudwlrqv1 Krzhyhu/ lw lv hdv| wr dvvxuh wkdw frpsxwhg uhvxowv duh lqfoxvlrq lvrwrqlf1 Luudwlrqdo ixqfwlrqv fdq eh wuhdwhg dv iroorzv ru xvlqj wkh pruh jhqhudo forvhg lqwhuydo v|vwhp glvfxvvhg lq Fkdswhu 71 Ohw i eh d uhdo luudwlrqdo ixqfwlrq ri d uhdo yhfwru { @ +{4 >    > {q ,= Dvvxph wkdw d udwlrqdo dssur{lpdwlrq u+{, lv nqrzq vxfk wkdw mi+{,u+{,m ? % iru doo { jlyhq wkdw dl  {l  el +l @ 4>    > q, iru vrph dl dqg el 1 Wkhq i+{4 >    > {q ,  u+{4 >    > {q , . ^%> %` iru dq| srlqwv {l 5 ^dl > el ` +l @ 4>    > q,1 Wkxv wkh udqjh ri i ryhu wkh uhjlrq zlwk {l 5 [l +l @ 4>    > q, fdq eh erxqghg e| hydoxdwlqj u+[4 >    > [q , xvlqj lqwhuydo dulwkphwlf dqg dgglqj wkh huuru erxqg ^%> %`/ surylghg=  [l  ^dl > el ` = Wklv lv dvvxuhg wkurxjk wkh fkrlfh ri [l =  u+{4 >    > {q , 5 u+[4 >    > [q , iru doo {l 5 [l +l @ 4>    > q, = Wklv iroorzv iurp wkh ixqgdphqwdo Wkhruhp ri lqwhuydo dulwkphwlf +Wkhruhp 61515,/ ehfdxvh u+[4 >    > [q , lv dq lqfoxvlrq lvrwrqlf lqwhuydo h{whqvlrq ri wkh udwlrqdo ixqfwlrq u+{4 >    > {q ,> iru doo {l 5 ^dl > el ` +l @ 4>    > q,1 Wklv lqwhuydo hydoxdwlrq ri wkh luudwlrqdo ixqfwlrq i lv lqfoxvlrq lvrwrqlf li wkh lqwhuydo hydoxdwlrq ri u lv lqfoxvlrq lvrwrqlf1 Wkh uhvxow lv qrw dq lq0 whuydo h{whqvlrq ri i ehfdxvh I +{4 >    > {q , @ u +{4 >    > {q , . ^%> %` lqvwhdg ri i +{4 >    > {q ,1 Qhyhuwkhohvv i+[4 >    > [q ,  I +[4 >    > [q ,> zklfk lv wkh fulwlfdoo| lpsruwdqw uhvxow1 Lqwhuydo udwlrqdo ixqfwlrq dssur{lpdwlrqv ri luudwlrqdo ixqfwlrqv duh lqfoxvlrq lvrwrqlf lqwhuydo h{whqvlrqv surylghg wkh udwlrqdo rshudwlrqv duh dv ghvfulehg lq Wkhruhp 615141 Pruh lpsruwdqwo|/ wkh| erxqg wkh udqjh ri wkh dssur{lpdwhg luudwlrqdo ixqfwlrq1 Xqohvv rwkhuzlvh vwdwhg/ zh vkdoo dvvxph wkdw dq| lqwhuydo ixqfwlrq xvhg lq wklv errn lv dq hqforvxuh ri wkh fruuhvsrqglqj uhdo ixqfwlrq1 Wklv lv wuxh hlwkhu ehfdxvh wkh frqvlghuhg ixqfwlrq lv lwvhoi dq lqfoxvlrq lvrwrqlf lqwhuydo h{whqvlrq/ ru lw lv dq lqfoxvlrq lvrwrqlf lqwhuydo erxqg rq wkh frqvlghuhg ixqfwlrq1 Wkh udqjh ri d ixqfwlrq fdq eh h{suhvvhg lq lqwhuydo irup dv udqjh i+{4 >    > {q , @ ^lqi i+{4 >    > {q ,> vxs i+{4 >    > {q ,`

+61515,

zkhuh wkh udqjh> lqi> dqg vxs duh wdnhq iru doo {l 5 [l +l @ 4>    > q,1 Wkh iroorzlqj wkhruhp gxh wr Prruh +4 {q ,= Wkhq i L +[4 >    > [q , frqwdlqv wkh udqjh ri ydoxhv ri i+{4 >    > {q , iru doo {l 5 [l +l @ 4>    > q,1 Surri1 Dvvxph wkdw {l 5 [l iru doo l @ 4>    > q1 E| lqfoxvlrq lvrwrqlf0 lw|/ i L +[4 >    > [q , frqwdlqv i L +^+{4 > {4 `>    > ^{q > {q `,> zklfk/ lq wxuq/ frqwdlqv i+{4 >    > {q , ehfdxvh i L lv dq lqwhuydo h{whqvlrq ri i1 Vlqfh wklv lv wuxh iru doo { vxfk wkdw {l 5 [l +l @ 4>    > q,/ i L +[4 >    > [q , frqwdlqv wkh udqjh ri i ryhu wkhvh srlqwv1 Li i lv d udwlrqdo ixqfwlrq/ wkhq gluhfw hydoxdwlrq xvlqj lqwhuydo dulwkphwlf surgxfhv erxqgv rq wkh vhw ri doo ixqfwlrq ydoxhv ryhu wkh dujxphqw lqwhuydov1 Zkloh i L +[4 >    > [q , frqwdlqv wkh ydoxhv ri i+{4 >    > {q ,> jlyhq {l 5 [l iru l @ 4> = = = > q/ wkh erxqgv rq wkh vhw ri i0ydoxhv lv qrw vkdus lq jhqhudo1 Wklv lv ehfdxvh ri ghshqghqfh +Vhh Vhfwlrq 517,1 Li d jlyhq hqgsrlqw ri i L +[4 >    > [q , lv h{dfwo| wkh fruuhfw erxqg iru wkh udqjh/ zh vd| wkdw wkh hqgsrlqw lv vkdus1 Li erwk hqgsrlqwv duh vkdus/ zh vkdoo vd| wkdw i L +[4 >    > [q , lv vkdus1 Xvlqj qlwh suhflvlrq lqwhuydo dulwkphwlf dqg gluhfwhg urxqglqj phdqv wkdw lq sudfwlfh zh duh rqo| deoh wr frpsxwh dqg lqwhuydo hqforvxuh I ri i L = Zkhq wkh zlgwk ri I lv dv vpdoo dv srvvleoh iru d jlyhq zrug ohqjwk/ zh dovr fdoo lw vkdus1

616 WKH IRUPV RI LQWHUYDO IXQFWLRQV Zkhq hydoxdwlqj d ixqfwlrq zlwk lqwhuydo dujxphqwv/ wkh frpsxwhg lqwhuydo ghshqgv rq wkh irup lq zklfk wkh ixqfwlrq lv zulwwhq1 Rqh h{dpsoh ri wklv iroorzv iurp wkh idfw wkdw lqwhuydo dulwkphwlf idlov wr vdwlvi| wkh glvwulexwlyh odz1 Lqvwhdg/ dv vkrzq e| Prruh +4 |> }, @ {+| . }, +li h{dfw lqwhuydo dulwkphwlf lv xvhg,= Wklv lv ehfdxvh hdfk yduldeoh rffxuv rqo| rqfh lq wkh h{suhvvlrq ri wkh ixqfwlrq/ vr ghshqghqfh +vhh Vhfwlrq 517, fdq fdxvh qr zlghqlqj ri wkh frpsxwhg lqwhuydov1 Wklv idfw krogv lq jhqhudo1 Prruh +4    > q,1 Vhh +61515,1 Ghqrwh wkh glhuhqfh ehwzhhq wkh zlgwk ri wkh erxqg i L +[4 >    > [q , rq wkh udqjh ri i dqg wkh wuxh zlgwk ri wkh udqjh e| H^i+[4 >    > [q ,` @ z^i+[4 >    > [q ,`  ziU^i+[4 >    > [q ,`j= Dovr ghqrwh g @ pd{ z+[l ,= 4lq

Prruh +4    > [q ,` @ R+g,

+61615,

iru d udwlrqdo ixqfwlrq i lq dq| irup1 Kh qrwhg wkdw i+{4 >    > {q , fdq eh zulwwhq dv if +{4 >    > {q , @ i+f4 >    > fq , . j+{4  f4 > ==={q  fq , zkhuh j lv udwlrqdo dqg fl @ p+[l , +l @ 4>    > q,1 Kh frqmhfwxuhg wkdw H^if +[4 >    > [q ,` @ R+g5 ,=

+61616,

Wkdw lv/ wkh irup if +fdoohg wkh fhqwhuhg irup e| Prruh, kdv dq h{fhvv zlgwk wkdw lv ri vhfrqg rughu lq wkh zlgwk g ri wkh er{ +[4 >    > [q ,1 Wklv frqmhfwxuh zdv suryhg wr eh wuxh e| Kdqvhq +4 [q ,` @ R+gn ,

+61617,

iru duelwudu| n @ 5> 6> ==== Iru d wkrurxjk glvfxvvlrq/ vhh Udwvfkhn dqg Urnqh +4 ===p, vr wkdw [@

p ^

[l >

l@4

zh kdyh i+[, 

p ^

i L +[l ,=

l@4

Zh kdyh xvhg d vxshuvfulsw L rq i wr hpskdvl}h wkdw ehfdxvh ri urxqglqj dqg ghshqghqfh/ wkh frpsxwhg ydoxh ri i+[l , lv jhqhudoo| qrw vkdus1 Hdfk frpsxwhg lqwhuydo i L +[l , whqgv wr vxhu ohvv iurp ghshqghqfh wkdq wkh frpsxwhg erxqg i L +[, rq i+[,= Wkhuhiruh/ wkh xqlrq lv jhqhudoo| vkdushu1 Krzhyhu/ lqwhuydo vsolwwlqj fdq eh frvwo| lq wkh pxowlglphqvlrqdo fdvh1 Li zh glylgh lq kdoi hdfk ri q lqwhuydo yduldeohv rq zklfk d ixqfwlrq ghshqgv/ zh pxvw hydoxdwh wkh ixqfwlrq zlwk 5q vhwv ri glhuhqw dujxphqwv1 Wkh dprxqw ri h{wud frpsxwlqj fdq eh surklelwlyh1 Krzhyhu/ li zh vxeglylgh rqo| d ihz lqwhuydo yduldeohv/ zh gr qrw jhqhudwh vr pdq| fdvhv1 Zh vkdoo vhohfwlyho| xvh wklv

55

FKDSWHU 61 IXQFWLRQV RI LQWHUYDOV

dssurdfk odwhu zkhq vroylqj v|vwhpv ri qrqolqhdu htxdwlrqv dqg rswlpl}dwlrq sureohpv/ exw rqo| zkhq doo rwkhu ohvv frvwo| dowhuqdwlyhv idlo wr pdnh vx!flhqwo| jrrg surjuhvv1

618 HQGSRLQW DQDO\VLV Jhqhudoo|/ wkh frpsxwhg lqwhuydo ydoxh ri d ixqfwlrq lv qrw vkdus/ hyhq zkhq h{dfw lqwhuydo dulwkphwlf lv xvhg1 Wklv lv ehfdxvh ri ghshqghqfh +vhh Vhfwlrq 517,1 Dq h{fhswlrq rffxuv zkhq hdfk yduldeoh dsshduv rqo| rqfh lq wkh h{suhvvlrq xvhg wr frpsxwh wkh ixqfwlrq1 Lq vxfk fdvhv wkh glvfxvvlrq lq Vhfwlrq 616 lv qrw uhohydqw ehfdxvh lw ghdov rqo| zlwk krz pxfk wkh frpsxwhg lqwhuydo ydoxh ri d ixqfwlrq dv|pswrwlfdoo| h{fhhgv lwv udqjh1 Xqiruwxqdwho|/ zh fdq qrw nqrz/ lq jhqhudo/ zkhwkhu d frpsxwhg uhvxow lv vkdus ru qrw1 Li zh zlvk wr nqrz/ zh fdq gr vr e| xvlqj dq hqgsrlqw dqdo|0 vlv zklfk zdv ghvfulehg e| Kdqvhq +4 5[` dqg [  [ @ ^[  [> [  [`= Qrwh wkdw wkh orzhu hqgsrlqw ri [ . [ lv d ixqfwlrq ri [ rqo| dqg wkh xsshu hqgsrlqw ri [ . [ lv d ixqfwlrq ri [ rqo|1 Krzhyhu/ hdfk hqgsrlqw ri [  [ lv d ixqfwlrq ri erwk [ dqg [1 Dv zh vkdoo vhh/ wkhvh idfwv whoo xv wkdw qrw rqo| lv [ .[ vkdus dqg [  [ lv qrw vkdus/ exw dovr wkdw wkh ixqfwlrq i+{, @ { . { lv d prqrwrqlfdoo| lqfuhdvlqj ixqfwlrq ri {1 Vxssrvh zh frpsxwh dq lqwhuydo h{whqvlrq I +[4 >    > [q , ri d udwlrqdo ixqf0 wlrq i+{4 >    > {q ,1 Iroorzlqj wkh uxohv ri lqwhuydo dulwkphwlf/ wkh orzhu hqgsrlqw I dqg wkh xsshu hqgsrlqw I ri I +[4 >    > [q , duh frpsxwhg dv ixqfwlrqv ri wkh hqgsrlqwv ri [l +l @ 4>    > q,1 Krzhyhu/ zh gr qrw ghqrwh wklv idfw lq rxu qrwdwlrq ehfdxvh wkh irup ri ghshqghqfh fdq fkdqjh zkhq wkh ydoxhv ri wkh [l fkdqjh1 Dq hqgsrlqw ri wkh udqjh ri d ixqfwlrq lv d ydoxh ri wkh ixqfwlrq dw d srlqw1 Wkhuhiruh/ li I ru I lv frpsxwhg xvlqj pruh wkdq rqh hqgsrlqw ri d jlyhq yduldeoh/ wkhq lw fdqqrw eh vkdus1 D nlqg ri frqyhuvh lv h{suhvvhg lq wkh iroorzlqj Wkhruhp iurp Kdqvhq +4 [5 , @ [4 [5 1 Li [4 A 3 dqg 3 5 [5 / wkhq I +[4 > [5 , @ ^[ 4 [ 5 > [ 4 [ 5 `1 Lq wklv fdvh/ erwk hqgsrlqwv ri I +[4 > [5 , duh ixqfwlrqv ri wkh vdph hqgsrlqw ri [4 1 \hw/ I +[, lv vkdus1 Ri frxuvh/ erwk hqgsrlqwv ri I fdqqrw eh ixqfwlrqv ri wkh vdph hqgsrlqw ri doo wkh frpsrqhqwv ri [1 Li wkh| zhuh/ wkh wzr hqgsrlqwv ri I zrxog eh wkh vdph dqg I frxog qrw frqwdlq wkh udqjh ri i+{, iru doo { 5 {L 1 Kdqvhq +4 dqg qr h{wud vkdusqhvv fdq eh rewdlqhg e| xvlqj yhulhg prqrwrqlflw|1

619 PRQRWRQLF IXQFWLRQV Vkdus erxqgv rq wkh udqjh ri d ixqfwlrq fdq eh frpsxwhg li wkh ixqfwlrq lv prqrwrqlf1 Vxssrvh i+{, lv d prqrwrqlfdoo| qrqghfuhdvlqj ixqfwlrq lq dq lq0 whuydo [ @ ^d> e`= Wkhq i+[, @ ^i+d,> i+e,`1 Lq sudfwlfh/ zkhq urxqglqj lv suhvhqw/ zh hydoxdwh i+d, dqg i +e, xvlqj rxw0 zdug urxqglqj dqg rewdlq ^i+d,> i+d,` dqg ^i+e,> i +e,`/ uhvshfwlyho|1 Wkhq i+[,  ^i+d,> i+e,`= Wkxv/ zh frpsxwh vkdus erxqgv rq i+[, hyhq lq wkh suhvhqfh ri ghshqghqfh1 Zlwk h{dfw dulwkphwlf/ zh rewdlq wkh h{dfw udqjh ri d prqrwrqlf ixqfwlrq ryhu dq lqwhuydo1 Xvlqj urxqghg lqwhuydo dulwkphwlf ri vx!flhqwo| kljk suhflvlrq |lhogv erxqgv rq i+[, @ ii+{, m { 5 [j wkdw duh dv dffxudwh dv ghvluhg zkhq i lv prqrwrqlf1 Zlwkrxw dgglwlrqdo dqdo|vlv/ wklv lv uduho| wkh fdvh iru qrq0prqrwrqlf ixqfwlrqv1 Ghshqghqfh +vhh Vhfwlrq 517, jhqhudoo| suhfoxghv vkdus erxqgv hyhq li h{dfw lqwhuydo dulwkphwlf lv xvhg1

57

FKDSWHU 61 IXQFWLRQV RI LQWHUYDOV

Krzhyhu/ duelwudulo| vkdus erxqgv duh jhqhudoo| rewdlqhg iru vroxwlrqv wr sureohpv vxfk dv qrqolqhdu htxdwlrqv dqg rswlpl}dwlrq ehfdxvh wkh lqwhuydov lqyroyhg duh vxffhvvlyho| qduurzhg gxulqj wkh surjuhvvlrq ri wkh dojrulwkpv1 Wkhuhiruh/ dv jxdudqwhhg e| +61615,/ erxqgv ri ghfuhdvlqj zlgwk duh rewdlqhg rq wkh udqjh ri d ixqfwlrq dv wkh zlgwkv ri ixqfwlrq dujxphqwv ghfuhdvh1 Vhh wkh dojrulwkpv ghvfulehg lq odwhu fkdswhuv1 Prqrwrqlflw| fdq dovr eh xvhg wr pruh qduurzo| erxqg wkh udqjh ri ixqf0 wlrqv ri pruh wkdq rqh yduldeoh1 Iru vlpsolflw|/ dvvxph wkdw i+{4 >    > {q , lv d prqrwrqlfdoo| qrqghfuhdvlqj ixqfwlrq ri {4 >    > {p iru vrph p ? q> exw lv qrw prqrwrqlf lq {p.4 >    > {q iru {l 5 [l +l @ 4>    > q,1 Ghqrwh [l @ ^dl > el ` iru l @ 4>    > q1 Hydoxdwh i+d4 >    > dp > [p.4 >    > [q , rewdlq0 lqj ^i4 > i5 ` dqg hydoxdwh i+e4 >    > ep > [p.4 >    > [q , rewdlqlqj ^i6 > i7 `= Wkhq i+{4 >    > {q , 5 ^i4 > i7 ` iru doo {l 5 [l +l @ 4>    > q, = Qrwh wkdw zh fdq fkhfn iru prqrwrqlflw| e| hydoxdwlqj sduwldo ghulydwlyhv1 Iru h{dpsoh/ li C i+[4 >    > [q ,  3> C{l wkhq i lv d prqrwrqlfdoo| qrqghfuhdvlqj ixqfwlrq ri {l iru doo {l 5 [l +l @ 4>    > q,1 Zkhq zh hydoxdwh d ghulydwlyh/ zh jhqhudoo| grq*w rewdlq lwv udqjh h{dfwo|1 Djdlq/ wklv lv ehfdxvh ri ghshqghqfh1 Krzhyhu/ wkh frpsxwhg lqwhuydo frqwdlqv wkh udqjh1 Wkhuhiruh/ li wkh frpsxwhg lqwhuydo grhv qrw frqwdlq }hur/ qhlwkhu grhv wkh udqjh ri wkh ixqfwlrq i> zklfk lq wklv fdvh lv d sduwldo ghulydwlyh1 Wkhuhiruh/ prqrwrqlflw| fdq eh suryhg hyhq lq wkh suhvhqfh ri erwk urxqglqj dqg ghshqghqfh1 Prqrwrqlflw| fdq riwhq eh xvhg diwhu vxeglylglqj dq lqwhuydo lqwr sduwv vr wkdw d jlyhq ixqfwlrq lv prqrwrqlf lq rqh ru pruh vxelqwhuydo1 Prqrwrqlflw| fdq dovr eh xvhg hyhq zkhq wkh ixqfwlrq lv qrw prqrwrqlf lq d jlyhq lqwhuydo surylghg wkh ehkdylru ri wkh ixqfwlrq lv vx!flhqwo| zhoo nqrzq1 Iru h{dpsoh/ vlq+[, fdq eh hydoxdwhg ryhu dq| jlyhq lqwhuydo [ e| hydoxdwlqj wkh ixqfwlrq dw wkh hqgsrlqwv rqo|1 Zh qhhg rqo| fkhfn zkhwkhu wkh lqwhuydo frqwdlqv d srlqw ru srlqwv zkhuh vlq+{, lv nqrzq wr kdyh dq h{wuhpxp1 Wr looxvwudwh/ vxssrvh [ @ ^4> 5`= Zh qg vlq+4, ? vlq+5,1 Zh revhuyh wkdw 5 5 [/ dqg zh nqrz wkdw vlq+{, lv d pd{lpxp dw 5 dqg wkdw vlq+ 5 , @ 41 Wkhuhiruh/ zh rewdlq vlq+^4> 5`, @ ^vlq+4,> 4`1 Zh fdq hydoxdwh vlq+4, dv dffxudwho| dv zh olnh dqg wkxv frpsxwh vlq+^4> 5`, dv dffxudwho| dv zh olnh1

61: SUDFWLFDO HYDOXDWLRQ RI LQWHUYDO IXQF0 WLRQV Lq wklv vhfwlrq/ zh frqvlghu krz dq lqwhuydo ixqfwlrq fdq eh hydoxdwhg lq sudfwlfh1 Zkhq grlqj vflhqwlf frpsxwlqj zlwk uhdo qxpehuv/ zh dssur{lpdwh luud0 wlrqdo ixqfwlrqv e| udwlrqdo ixqfwlrqv1 Zh jhqhudoo| kdyh d olvw ri vxeurxwlqhv

JOREDO RSWLPL]DWLRQ

58

dydlodeoh wr jhqhudwh +dssur{lpdwh, ydoxhv ri wuljrqrphwulf ixqfwlrqv/ wkh h{0 srqhqwldo ixqfwlrq/ wkh orjdulwkp ixqfwlrq/ hwf1 Zh qhhg d vlplodu olvw ri vxeurxwlqhv lq wkh lqwhuydo fdvh1 Frqvlghu dq lqwhuydo [ @ ^d> e` dqg vxssrvh zh zdqw d vxeurxwlqh wr frpsxwh d vkdus vlqjoh0suhflvlrq erxqg rq h{s+[,= Vlqfh wkh h{srqhqwldo ixqfwlrq lv prqrwrqlf/ zh nqrz wkdw h{s+[, @ ^h{s+d,> h{s+e,`= Rqh zd| wr frpsxwh wkh ghvluhg vkdus lqwhuydo lv dv iroorzv1 Hydoxdwh h{s+d, xvlqj d vwdqgdug grxeoh0suhflvlrq qrqlqwhuydo dulwkphwlf vxeurxwlqh zklfk lv jxdudqwhhg wr surgxfh d ydoxh ri h{s+d, dffxudwh wr pruh wkdq vlqjoh0suhflvlrq1 Urxqg wkh uhvxow grzq wr d grxeoh0suhflvlrq qxpehu jxdudqwhhg wr eh d orzhu erxqg iru h{s+d,= Wkhq urxqg wklv lqwhuphgldwh grxeoh0 suhflvlrq uhvxow wr wkh odujhvw vlqjoh0suhflvlrq frpsxwhu qxpehu qrw h{fhhglqj wkh grxeoh suhflvlrq ydoxh ri h{s+d,1 Wklv lv wkh ghvluhg ohiw hqgsrlqw ri h{s+[,1 Qh{w/ hydoxdwh h{s+e, xvlqj wkh grxeoh suhflvlrq vxeurxwlqh1 Xvh wkh vdph wzr vwhs surfhgxuh dssolhg wr h{s+d, wr frpsxwh d vlqjoh0suhflvlrq uhvxow1 Qrz/ krzhyhu/ urxqglqj lv xszdug1 Wklv surgxfhv wkh ghvluhg uljkw hqgsrlqw ri h{s+[,1 Zh qrz looxvwudwh dqrwkhu dowhuqdwlyh zlwk d vlpsoh h{dpsoh1 Vxssrvh zh zdqw wr frpsxwh dufwdq+[, dqg zloo eh vdwlvhg zlwk derxw wkuhh ghflpdo gljlw dffxudf|1 Zh fdq wdnh dgydqwdjh ri kh prqrwrqlflw| ri dufwdq+{,1 Krzhyhu/ ohw xv xvh dq dssur{lpdwlrq irxqg lq Ilnh +4 5`, @ ^vlq+4,> 4`1 Dq lqwhuydo frqwdlqlqj ^vlq+4,> 4` lv uhwxuqhg1 Wkxv/ vxssrvh wkh lqwhuydo ^3=;747:> 4` lv uhwxuqhg dqg ehfrphv wkh ydoxh ri i4 +[,= Wr frpsxwh i5 +[,/ zh vlpso| glylgh rxu ydoxh ri i4 +[, e| [ xvlqj lqwhuydo dulwkphwlf1 Zh rewdlq +xvlqj vl{ ghflpdov, i5 +[, @ ^3=753:68> 4`= Qh{w/ zh fdoo wkh vxeurxwlqh wr hydoxdwh dufwdq^i5 +[,`= Li wkh vxeurxwlqh xvhv +61:16,/ zh rewdlq i6 +[, @ ^3=636563> 3= 5`1 Zh fdoo vxfk d ixqfwlrq wklfn1 Lq prvw ri wklv errn/ zh frqvlghu wklq ixqfwlrqv1 Xqohvv rwkhuzlvh vwdwhg/ wklv lv wkh fdvh1 Zh xvxdoo| frqvlghu ixqfwlrqv wkdw dulvh dv qrqlqwhuydo ixqfwlrqv dqg wklv/ ri frxuvh/ lpsolhv wkdw wkh| gr qrw frqwdlq lqwhuydo sdudphwhuv1 Iru h{dpsoh/ rxu sulpdu| frqfhuq lv wr qg }hurv ri ixqfwlrqv dqg wr qg joredo plqlpd ri ixqfwlrqv wkdw dulvh lq d qrqlqwhuydo frqwh{w1 Zh phuho| xvh lqwhuydov wr vroyh vxfk sureohpv1 Lq pdq| sudfwlfdo frpsxwdwlrqv/ krzhyhu/ lqsxw gdwd duh lqh{dfw dqg duh lqsxw dv lqwhuydov wr erxqg wkhlu wuxh ydoxh1 Vhh iru h{dpsoh= kwws=22sk|vlfv1qlvw1jry2fxx2Frqvwdqwv iru lqwhuqdwlrqdoo| uhfrpphqghg ydoxhv ri ixqgdphqwdo sk|vlfdo frqvwdqwv1 Hyhq li gdwd duh h{dfw/ wkh| pljkw qrw eh pdfklqh uhsuhvhqwdeoh1 Li urxqglqj lv qhfhvvdu| ehfdxvh uhdo ru lqwhuydo gdwd duh lqsxw/ wkh| pxvw eh urxqghg rxwzdug1 Lq dgglwlrq/ +rxwzdug, urxqglqj dv d uhvxow ri lqwhuydo frpsxwlqj fdxvhv d wklq ixqfwlrq wr ehfrph wklfn1 Wkhuhiruh/ zh vrphwlphv glvwlqjxlvk ehwzhhq h{dfw dqg urxqghg lqwhuydo dulwkphwlf1 Lq Fkdswhu 49 dqg lq ydulrxv rwkhu sodfhv lq wklv errn/ zh frqvlghu shuwxuehg ru wklfn ixqfwlrqv1

4 D ixqfwlrq*v sdudphwhu lv d {hg frqvwdqw wkdw wkhuhiruh fdqqrw ghshqg rq dq| ri wkh ixqfwlrq*v dujxphqwv1

5;

FKDSWHU 61 IXQFWLRQV RI LQWHUYDOV

JOREDO RSWLPL]DWLRQ

84

Fkdswhu 8

LQWHUYDO OLQHDU HTXDWLRQV 814 GHILQLWLRQV Dq lqwhuydo yhfwru lv d yhfwru zkrvh frpsrqhqwv duh lqwhuydov1 Dq lqwhuydo pdwul{ lv d pdwul{ zkrvh hohphqwv duh lqwhuydov1 Ohw { eh d uhdo yhfwru zlwk frpsrqhqwv {l +l @ 4>    > q,/ dqg ohw {L eh dq lqwhuydo yhfwru zlwk frpsrqhqwv [l +l @ 4>    > q,1 Zh vd| { lv frqwdlqhg lq {L +dqg zulwh { 5 {L , li dqg rqo| li {l 5 [l iru doo l @ 4>    > q1 Ohw D eh d uhdo pdwul{ zlwk hohphqwv dlm dqg ohw DL eh dq lqwhuydo pdwul{ zlwk hohphqwv Dlm iru l @ 4>    > p dqg m @ 4>    > q1 Zh vd| D lv frqwdlqhg lq DL +dqg zulwh D 5 DL , li dqg rqo| li dlm 5 Dlm iru doo l @ 4>    > p dqg doo m @ 4>    > q1 Vlploduo|/ iru lqwhuydo yhfwruv {L dqg |L zh zulwh {L  |L li dqg rqo| li [l  \l iru doo l @ 4>    > q/ zkhuh \4 >    > \q duh wkh frpsrqhqwv ri |L 1 Dovr/ zh zulwh DL  EL li dqg rqo| li Dlm  Elm iru doo l @ 4>    > p dqg doo m @ 4>    > q zkhuh wkh Elm +l @ 4>    > p> m @ 4>    > q, duh hohphqwv ri EL 1 Wkh vhw ri uhdo srlqwv +l1h1/ yhfwruv, { lq dq lqwhuydo yhfwru {L irup dq q0 glphqvlrqdo sdudoohohslshg zlwk vlghv sdudooho wr wkh frruglqdwh d{hv1 Zh riwhq uhihu wr dq lqwhuydo yhfwru dv d er{1 Zh ghqh wkh fhqwhu ri dq lqwhuydo yhfwru {L wr eh wkh uhdo yhfwru p+{L , @ +p+[4 ,>    > p+[q ,,W 1 Vlploduo|/ wkh fhqwhu ri dq lqwhuydo pdwul{ DL lv wkh uhdo pdwul{ p+DL , zkrvh hohphqwv duh wkh plgsrlqwv ri wkh fruuhvsrqglqj hohphqwv ri DL 1 Zh ghqh wkh zlgwk ri dq lqwhuydo yhfwru +pdwul{, wr eh wkh zlgwk ri wkh zlghvw frpsrqhqw +hohphqw,1 Dq lqwhuydo pdwul{ DL lv vdlg wr eh uhjxodu li hyhu| uhdo pdwul{ D 5 DL lv qrqvlqjxodu1 Rwkhuzlvh/ lw lv luuhjxodu1 Zh xvh rqo| rqh qrup iru lqwhuydo yhfwruv/ Lw lv wkh h{whqvlrq ri wkh pd{

85

FKDSWHU 81 LQWHUYDO OLQHDU HTXDWLRQV

qrup iru uhdo yhfwruv dqg lv ghqhg e| mm{L mm @ pd{ m[l m zkhuh wkh pd{ lv ryhu l @ 4>    > q1 Wkh pdjqlwxgh ri dq lqwhuydo lv ghqhg lq +61414,1 Zh vd| wkdw dq lqwhuydo pdwul{ DL lv gldjrqdoo| grplqdqw li plj+Dll , 

q [ mDlm m iru +l @ 4>    > q, m@4 m9@l

zkhuh wkh pljqlwxgh plj+, lv ghqhg lq +61415,1 Zh vrphwlphv uhihu wr dq P0pdwul{1 Ohw d vtxduh pdwul{ D kdyh qrqsrvlwlyh r0gldjrqdo hohphqwv1 Li wkhuh h{lvwv d srvlwlyh yhfwru x vxfk wkdw Dx A 3/ wkhq D lv dq P0pdwul{1 Ohw d vtxduh pdwul{ ri rughu q kdyh hljhqydoxhv l +l @ 4>    > q,1 Wkh vshf0 wudo udglxv +D, lv ghqhg wr eh +D, @ pd{ ml m iru l @ 4>    > q=

815 LQWURGXFWLRQ Lq wklv vhfwlrq/ zh lqwurgxfh v|vwhpv ri lqwhuydo olqhdu htxdwlrqv dqg ghqh wkh vroxwlrq vhw1 Lq Vhfwlrq 816/ zh glvfxvv wkh vroxwlrq vhw dqg jlyh dq looxvwudwlyh h{dpsoh1 Zh wkhq frqvlghu lqwhuydo phwkrgv iru erxqglqj wkh +wr eh ghqhg, kxoo ri wkh vroxwlrq vhw1 Zh lqwurgxfh dq lqwhuydo irup ri Jdxvvldq holplqdwlrq lq Vhfwlrq 817 dqg srlqw rxw lq Vhfwlrq 818 wkdw lw fdqqrw jhqhudoo| eh xvhg lq d vwudljkwiruzdug pdqqhu zlwkrxw frqvlghudeoh ryhuhvwlpdwlrq ri wkh vroxwlrq vhw1 Lq Vhfwlrq 819/ zh vkrz krz wr uhgxfh wkh ryhuhvwlpdwlrq e| xvh ri suhfrqgl0 wlrqlqj1 Zh ghvfuleh dq lqwhuydo yhuvlrq ri wkh Jdxvv0Vhlgho phwkrg lq Vhfwlrq 81:1 Lq Vhfwlrq 81;/ zh ghvfuleh d surfhgxuh iru ghwhuplqlqj wkh h{dfw kxoo ri wkh vroxwlrq vhw ri d suhfrqglwlrqhg v|vwhp1 Vhfwlrq 81< ghvfulehv d zd| wr frpsxwh wkh kxoo ri d vroxwlrq vhw zlwkrxw suhfrqglwlrqlqj1 Lq Vhfwlrq 8143/ zh frqvlghu xvh ri dq dowhuqdwlyh wr wkh lqyhuvh ri d pdwul{ zkhq wkh pdwul{ lv vlqjxodu1 Frqvlghu wkh uhdo v|vwhp ri htxdwlrqv D{ @ e=

+81514,

Wkhuh duh pdq| dssolfdwlrqv lq zklfk wkh hohphqwv ri wkh pdwul{ D dqg2ru wkh frpsrqhqwv ri wkh yhfwru e duh qrw suhflvho| nqrzq1 Li zh nqrz dq lqwhuydo pdwul{ DL erxqglqj D dqg dq lqwhuydo yhfwru eL erxqglqj e/ zh fdq uhsodfh +81514, e|

JOREDO RSWLPL]DWLRQ

DL { @ eL =

86

+81515,

Zh ghqh wkh vroxwlrq wr +81515, wr eh wkh vhw v @ i{ = D{ @ e> D 5 DL > e 5 eL j=

+81516,

Wkdw lv/ v lv wkh vhw ri doo vroxwlrqv ri +81514, iru doo D 5 DL dqg doo e 5 eL 1 Wklv vhw lv jhqhudoo| qrw dq lqwhuydo yhfwru1 Lq idfw/ lw lv xvxdoo| gl!fxow wr ghvfuleh v> dv zh vkrz e| h{dpsoh lq Vhfwlrq 8161 Lq Vhfwlrq 4914/ zh ghvfuleh d phwkrg iru dssur{lpdwlqj v dv forvho| dv ghvluhg e| fryhulqj lw zlwk er{hv ri duelwudulo| vpdoo vl}h1 Vhh dovr Vhfwlrq 491431 Ehfdxvh v lv jhqhudoo| vr frpsolfdwhg lq vkdsh1/ lw lv xvxdoo| lpsudfwlfdo wr wu| wr xvh lw1 Lqvwhdg/ lw lv frpprq sudfwlfh wr vhhn wkh lqwhuydo yhfwru {L frqwdlqlqj v wkdw kdv wkh qduurzhvw srvvleoh lqwhuydo frpsrqhqwv1 Wklv lqwhuydo yhfwru lv fdoohg wkh kxoo ri wkh vroxwlrq vhw ru vlpso| wkh kxoo1 Zh vd| zh vroyh wkh v|vwhp zkhq zh qg wkh kxoo {L 1 Wkh sureohp ri qglqj wkh kxoo lv nqrzq wr eh Q S 0kdug1 Vhh/ iru h{dpsoh/ Khlqgo hw do +4 453`>

^{4 . 5{5 > 5{4 . 6{5 ` @ ^93> 573`= Li { lv wr eh d srlqw ri wkh vroxwlrq vhw v/ lw pxvw eh vxfk wkdw wkh ohiw phpehu lqwhuvhfwv wkh uljkw phpehu lq hdfk htxdwlrq1 Wkhuhiruh/ 5{4  453>

6{4 . {5  3

{4 . 5{5  573> 5{4 . 6{5  93=

+81615d, +81615e,

Wkh uhodwlrq 6{4 . {5  3 lv dxwrpdwlfdoo| vdwlvhg ehfdxvh zh duh frqvlghu0 lqj srlqwv lq wkh uvw txdgudqw rqo|1 Wkh uhpdlqlqj wkuhh lqhtxdolwlhv/ zkhq uhzulwwhq dv htxdolwlhv/ surylgh erxqgdu| olqhv iru v lq wkh uvw txdgudqw1 Wkh erxqgdu| ri v lq wkh rwkhu txdgudqwv fdq eh irxqg lq d vlplodu zd|1 Wkh uhvxow lv vkrzq dv wkh lqqhu uhjlrq lq Iljxuh 8141 Wkh erxqgdu| lv frpsrvhg ri hljkw olqh vhjphqwv1 Lq kljkhu glphqvlrqv/ v fdq eh txlwh frpsolfdwhg1 Iru dq h{solflw ghvfulswlrq/ vhh Kduwho +4