ON THE COMPETITIVE EFFECTS OF VERTICAL ... - Core

11 downloads 0 Views 699KB Size Report
INTEGRATION UNDER PRODUCT DIFFERENTIATION*. Joel Sandonís and ... paper shows that, adding an alternative supplier and product differentiation to.
ON THE COMPETITIVE EFFECTS OF VERTICAL INTEGRATION UNDER PRODUCT DIFFERENTIATION* Joel Sandonís and Ramón Faulí-Oller** WP-AD 2003-31

Corresponding author: Ramón Faulí-Oller, Universidad de Alicante, Departamento de Fundamentos de Análisis Económico, Campus de San Vicente del Raspeig, 03071 Alicante, Spain. Phone 34 965 90 34 00 (ext. 3226), Fax 34 965 90 38 98, E-mail: [email protected]. Editor: Instituto Valenciano de Investigaciones Económicas, S.A. Primera Edición Septiembre 2003 Depósito Legal: V-4051-2003

IVIE working papers offer in advance the results of economic research under way in order to encourage a discussion process before sending them to scientific journals for their final publication.

* The paper was written while the first author was visiting the Universidad de Alicante, whose hospitality is acknowledged. We thank audiences at Universidad Carlos III, Universidad de Alicante, Universidad de Navarra, 2002 EARIE Meeting and 2002 Simposium de Análisis Económico for their comments. Financial support from BEC 2000/0301, UPV HB 8238/2000 AND 9/UPV 00035.321-13560/2001 (Sandonís) and BEC2001-0535, GV01-391 and the IVIE (Faulí-Oller) is also gratefully acknowledged. ** J. Sandonís: Universidad del País Vasco, Departamento de Fundamentos de Análisis Económico; R. Faulí-Oller: Universidad de Alicante, Departamento de Fundamentos de Análisis Económico.

ON THE COMPETITIVE EFFECTS OF VERTICAL INTEGRATION UNDER PRODUCT DIFFERENTIATION Joel Sandonís and Ramón Faulí-Oller

ABSTRACT The result of neutrality of vertical integration for competition postulated by the Chicago School can be supported by a benchmark model with (1) an upstream monopolist, (2) homogeneous goods downstream and (3) observable (two-part tariff) contracts. The result does not hold however, whenever any of the three assumptions is relaxed. Rey and Tirole (1999) show that, with secret contracts, vertical integration is profitable and anticompetitive. The present paper shows that, adding an alternative supplier and product differentiation to the benchmark model, the effects of vertical integration depend on the efficiency level of the alternative supplier. When the alternative supply is relatively efficient, we also obtain that vertical integration is profitable and anticompetitive. However, when the alternative supplier is relatively inefficient, vertical integration becomes unprofitable and increases social welfare. JEL Classification: L22, K21, D4 Keywords: Vertical integration, market foreclosure, two-part tariff contracts.

2

41 Lqwurgxfwlrq Wkhuh kdv ehhq d orqj ghedwh rq wkh frpshwlwlyh hhfwv ri yhuwlfdo lqwhjudwlrq1 Rqh ri wkh fhqwudo lvvxhv lqyroyhv yhuwlfdo iruhforvxuh= wkh yhuwlfdoo| lqwhjudwhg up pd| kdyh dq lqfhq0 wlyh qrw wr vxsso| wkh lqsxw wr wkh qrq0lqwhjudwhg grzqvwuhdp ulydov ru/ dw ohdvw/ wr zruvhq wkh vxsso| frqglwlrqv iru wkrvh upv1 Wkh wudglwlrqdo pdunhw iruhforvxuh wkhru|/ zklfk zdv dffhswhg lq ohdglqj frxuw fdvhv lq wkh 4 zm  n il j

v=w=f  il  l Ezl > zm    l Ef> zm > l> m ' > 2> l 9' m=

+514,

Revhuyh wkdw wkh uhvwulfwlrq wkdw il fdqqrw eh qhjdwlyh lpsolhv wkdw zl  f= Rq wkh rwkhu kdqg/ wkh uljkw kdqg vlgh ri wkh frqvwudlqwv lpsolhv wkdw erwk upv dffhsw wkh frqwudfw17 Dv lw lv lq up X*v lqwhuhvw wr fkdujh dv kljk dq il dv srvvleoh/ wkh uljkw kdqg vlgh ri wkh frqvwudlqwv lv elqglqj dqg wkh suhylrxv pd{lpl}dwlrq surjudp fdq eh uhzulwwhq dv iroorzv= Pd{zl >il

S2

l' iEzl

 fx tl Ezl > zm  n  l Ezl > zm    l Ef> zm j>

v=w= zl  f> l> m ' > 2> l 9' m= Vroylqj wkh pd{lpl}dwlrq surjudp zh rewdlq wkh iroorzlqj uhvxow8 1 Sursrvlwlrq 5141 Wkh rswlpdo vxsso| frqwudfwv duh jlyhq e|=

z ' z2 ' z ' 4?i W

W

W

 n fx E2 n  fx E2 n E2  2 n Eef  E2   > j> 2E n  2Ee  2 2 n  

+515,

i ' i2 ' i ' l Ez > z    l Ef> z = W

7

il

W

W

W

W

W

C 5 l ? 3/ zh kdyh wkdw  l +zl > f,   l +f> f, A  l +zl > zm ,  l +f> zm ,= Wkhq/ wkh frqvwudlqw Czl Czm  l +zl > zm ,   l +f> zm , lpsolhv wkdw wkh rqo| htxloleulxp lq wkh vhfrqg vwdjh lv wkdw erwk upv dffhsw

Jlyhq wkdw



wkh frqwudfw1 8 Wkh rqo| vlwxdwlrq zh kdyh qrw h{foxghg dv rswlpdo lv wkh rqh lq zklfk up X rhuv wzr frqwudfwv vxfk wkdw rqo| rqh up dffhswv dqg wkh rwkhu grhv qrw surgxfh1 Krzhyhu/ wklv vlwxdwlrq lv htxlydohqw wr dqrwkhu zkhuh wkh up wkdw zdv qrw surgxflqj lv rhuhg d frqwudfw lqfoxglqj d }hur {hg ihh dqg wkh orzhvw zkrohvdoh sulfh wkdw nhhsv wkdw up rxw ri wkh pdunhw1 Exw wkrvh frqwudfwv duh douhdg| frqvlghuhg lq wkh pd{lpl}dwlrq surjudp zh vroyh1

7

Revhuyh wkdw wkh xsvwuhdp up idfhv d pd{lpl}dwlrq surjudp +515, zklfk lv frpsrvhg ri pdunhw surwv plqxv wkh h{whuqdo rswlrqv ri grzqvwuhdp upv1 Vroylqj wkdw surjudp lqyroyhv wkh edodqfh ri wzr rssrvlwh hhfwv= e| lqfuhdvlqj wkh zkrohvdoh sulfhv pdunhw surwv lqfuhdvh exw/ dw wkh vdph wlph/ wkh surwv wr eh rewdlqhg e| grzqvwuhdp upv e| xvlqj wkh dowhuqdwlyh vxsso| + l Ef> zm > l ' > 2, dovr lqfuhdvh1 Wkh edodqfh ri wkh wzr hhfwv ohdgv wr dq rswlpdo zkrohvdoh sulfh orzhu wkdq wkh rqh wkdw zrxog pd{lpl}h  n fx E2 n  pdunhw surwv +z ' ,/ h{fhsw zkhq wkh frpshwlwlyh vxsso| lv vr lqh!flhqw 2E n  e n 2E n fx    2 E  fx  +f  ' fP , wkdw dq| grzqvwuhdp up zrxog jhw }hur surwv eE n  zkhq xvlqj wkh frpshwlwlyh vxsso|1 Lq wklv fdvh/ wkh pd{lpl}dwlrq sureohp lpsolhv pd{l0 W

pl}lqj pdunhw surwv dqg wkh xsvwuhdp up fdq rewdlq wkh ixoo prqrsro| surwv1 Ilqdoo|/ ohw xv frpsxwh wkh htxloleulxp surwv rewdlqhg e| wkh xsvwuhdp up dqg grzq0 vwuhdp upv/ zklfk zloo eh xvhixo wr vwxg| wkh surwdelolw| ri yhuwlfdo lqwhjudwlrq1 Wkh| duh jlyhq uhvshfwlyho| e|9 = X ' Ez  fx Et Ez > z  n t2 Ez > z  n 2i > W

W

W

W

W

W

 ' 2 '   Ez > z   i = W

W

W

5151 Wkh lqwhjudwhg fdvh Qh{w/ zh dqdo|}h wkh fdvh zkhuh wkh xsvwuhdp up lv yhuwlfdoo| lqwhjudwhg zlwk up 41 Lq wklv fdvh/ wkh wlplqj ri wkh jdph lv dv iroorzv= uvw/ wkh lqwhjudwhg up X G rhuv d vxsso| frqwudfw wr grzqvwuhdp up 51 Lq wkh vhfrqg vwdjh wklv up ghflghv zkhwkhu wr dffhsw ru uhmhfw wkh frqwudfw1 Ilqdoo|/ erwk upv frpshwh ã od Frxuqrw lq wkh qdo pdunhw1 Wkh wklug vwdjh htxloleulxp rxwsxwv dqg surwv duh jlyhq e| wkh vdph h{suhvvlrqv dv lq wkh xqlqwhjudwhg fdvh zkhuh zh uhsodfh z e| fx 1 Lq wkh vhfrqg vwdjh/ up 5 dffhswv wkh frqwudfw zkhqhyhu i2   2 Ez2 > fx    2 Ef> fx = Lq wkh uvw vwdjh/ wkh yhuwlfdoo| lqwhjudwhg up orrnv iru wkh frqwudfw wr eh rhuhg wr up 5 lq rughu wr pd{lpl}h= 9

Dfwxdo h{suhvvlrqv duh uhohjdwhg wr Dsshqgl{ D

8

Pd{z2 >i2 i  Efx > z2  n Ez2  fx t2 Ez2 > fx  n i2 j v=w= f  i2  2 Ez2 > fx    2 Ef> fx = Revhuyh wkdw wkh uhvwulfwlrq wkdw i2 fdqqrw eh qhjdwlyh lpsolhv wkdw z2  f= Ixuwkhupruh dv wkh uljkw kdqg vlgh ri wkh frqvwudlqw lv elqglqj lq htxloleulxp/ wkh suhylrxv pd{lpl}dwlrq surjudp fdq eh uhzulwwhq dv iroorzv= Pd{z2 i  Efx > z2  n Ez2  fx t2 Ez2 > fx  n  2 Ez2 > fx    2 Ef> fx j> v=w= z2  f= Qh{w sursrvlwlrq jlyhv xv wkh rswlpdo frqwudfw1 Sursrvlwlrq 5151 Wkh rswlpdo frqwudfw lv jlyhq e|=

z2 ' 4?if>

E2  2 n fx EH  e  2 2    j> i 2 '  2 Ez2 > fx    2 Ef> fx = 2Ee   2 

Yhuwlfdo lqwhjudwlrq zruvhqv wkh vxsso| frqglwlrqv ri up 5 ehfdxvh z2 A z 1 Wklv lv W

wkh pdlq dqwlfrpshwlwlyh hhfw ri yhuwlfdo lqwhjudwlrq1 Krzhyhu/ lw qhyhu ohdgv wr frpsohwh pdunhw iruhforvxuh ri up 5 ehfdxvh lw lv dozd|v dfwlyh +t2 Ez2 > fx  A f,/ hyhq zkhq lw zrxog eh srvvleoh iru wkh lqwhjudwhg up wr gulyh wkh ulydo rxw ri wkh pdunhw1: Wkh uhdvrq lv wkdw/ gxh wr surgxfw glhuhqwldwlrq; / wkh uhyhqxhv rewdlqhg lq pdunhw 5 frpshqvdwhv wkh lqwhjudwhg up iurp wkh lqfuhdvh lq pdunhw frpshwlwlrq1 Lq rwkhu zrugv/ wkh lqwhjudwhg up suhihuv d gxrsro| udwkhu wkdq d prqrsro| lq lwv rzq pdunhw1 Ilqdoo|/ zh fdq frpsxwh wkh surwv ri wkh lqwhjudwhg up1 Wkh| duh jlyhq e| +dfwxdo h{suhvvlrqv fdq eh vhhq lq Dsshqgl{ D,= X  '   Efx > z2  n z2 t2 Ez2 > fx  n  2 Ez2 > fx   2 Ef> fx = :

Wklv zrxog eh wkh fdvh li t5 +f> fx , @ 3= Lq wklv fdvh/ wkh frvw glhuhqfh ehwzhhq wkh lqwhjudwhg up dqg

up 5 lv gudvwlf dffruglqj wr wkh fodvvlfdo phdqlqj ri wkh zrug iurp wkh sdwhqw olfhqvlqj olwhudwxuh1 Wklv 5  +4  fx, = kdsshqv iru f  fQ @ ;

5

Wklv lv rqh ri wkh ihdwxuhv wkdw gudpdwlfdoo| vhsdudwhv wkh fdvh zlwk surgxfw glhuhqwldwlrq iurp wkh rqh

zlwk krprjhqrxv jrrgv1 Lq wklv odwwhu fdvh/ wkh lqwhjudwhg up lpsrvhv frpsohwh pdunhw iruhforvxuh zkhq wkh frvw glhuhqfh lv gudvwlf +vhh wkh suhylrxv irrwqrwh,1

9

61 Wkh frpshwlwlyh hhfwv ri yhuwlfdo lqwhjudwlrq Qh{w/ zh surfhhg wr dqdo|}h wkh surwdelolw| ri yhuwlfdo lqwhjudwlrq dv zhoo dv lwv hhfw rq vrfldo zhoiduh/ zlwk wkh dlp wr ghulyh wkh rswlpdo frpshwlwlrq srolf|1 Uhjduglqj surwdelolw| zh kdyh wr vljq wkh glhuhqfh ehwzhhq wkh surwv ri wkh lqwhjudwhg up dqg wkh vxp ri wkh surwv ri wkh xsvwuhdp up dqg up 4/ qdpho|/ wkh vljq ri X   E n X 1 Zh rewdlq wkh iroorzlqj uhvxow= Sursrvlwlrq 6141 D wkuhvkrog ydoxh iru wkh ohyho ri h!flhqf| ri wkh dowhuqdwlyh vxsso| f dozd|v h{lvwv vxfk wkdw yhuwlfdo lqwhjudwlrq lv surwdeoh zkhqhyhu f  f dqg qrw surwdeoh li f A f 1 Surri1 Vhh Dsshqgl{ E1 Lq rughu wr judvs wkh pdlq lqwxlwlrq ri wkh sursrvlwlrq lw lv xvhixo wr glvfxvv zkdw kdsshqv zkhq wkh dowhuqdwlyh vxsso| lv vr lqh!flhqw wkdw wkh h{whuqdo rswlrq ri grzqvwuhdp upv lq wkh xqlqwhjudwhg fdvh ehfrphv }hur1 Lq wklv fdvh/ wkh xsvwuhdp up pd{lpl}hv pdunhw surwv e| fkrrvlqj wzr lqvwuxphqwv +rqh frqwudfw iru hdfk up,/ zklfk doorzv wkh xsvwuhdp up wr lpsohphqw wkh prqrsro| rxwfrph dqg jhw wkh prqrsro| surwv1 Dv wkh lqwhjudwhg up lv qrw deoh wr lpsohphqw wkh prqrsro| rxwfrph jlyhq wkdw lw fdq rqo| xvh rqh lqvwuxphqw +d frqwudfw iru up 5,/ d yhuwlfdo phujhu ehwzhhq wkh xsvwuhdp up dqg up 4 fdqqrw eh surwdeoh1 Zkhq wkh dowhuqdwlyh vxsso| lv qrw vr lqh!flhqw/ wkh frpsdulvrq lv qrw fohdu ehfdxvh d wudgh0r dulvhv1 Qrz/ lq wkh xqlqwhjudwhg fdvh wkh xsvwuhdp up dovr fduhv derxw wkh surwv wkdw grzqvwuhdp upv fdq rewdlq zkhq uhmhfwlqj wkh frqwudfwv/ qdpho|/ wkhlu h{whuqdo rswlrqv1 Wkh vl}h ri wkh h{whuqdo rswlrq hhfw lv ghfuhdvlqj lq f1 Wkxv/ zkhq wkh dowhuqdwlyh vxsso| lv h!flhqw hqrxjk wkh remhfwlyh ri wkh xsvwuhdp up lv vr glvwruwhg iurp surw pd{lpl}dwlrq wkdw/ lq vslwh ri lwv orzhu h{lelolw|/ yhuwlfdo lqwhjudwlrq ehfrphv surwdeoh1 Rqh lpsolfdwlrq ri wkh uhvxow wkdw iru lqh!flhqw dowhuqdwlyh vxssolhv yhuwlfdo lqwhjudwlrq ehfrphv xqsurwdeoh lv wkdw wkh yhuwlfdoo| lqwhjudwhg up zrxog qg surwdeoh wr glyhvw iurp lwv vxevlgldu| up1 Dowkrxjk wklv pd| vhhp vxusulvlqj/ Uh| dqg Wluroh +4 2E n  ' 2 ' f>

e n 2E n fx    2 E  fx  = eE n  Wkh lqwhjudwhg up*v htxloleulxp surwv duh jlyhq e|= zkhuh fP '

Li f  fu / wkhq X  '

E2  2 n f2 EH n  2  n fEH  e 2 n   = Ee   2 2

Li fu ? f  fQ / wkhq SfE2 n E n fx Ee n  2  n E2  2 ES  H 2  e n  e n nSf2 Ee n  2   2fx E2H  bS  Se 2 n ef n 2 e  H D n  S n X  '

nf2x E2H  2H  Se 2 n Se n 2 e  H D n  S  eEe   2 2 Ee   2 

14

=

E  fx 2 EH  H n  2  > eEe   2  E2  2 n fx EH  e  2 2    2  E  fx  dqg fQ ' zkhuh fu ' = 2 2Ee    2 Ilqdoo|/ li f A fQ > wkhq X  '

8151 Dsshqgl{ E

Surri ri Sursrvlwlrq 714 Iru f  fP > wkh h{whuqdo rswlrq ri grzqvwuhdp upv lq wkh xqlqwhjudwhg fdvh ehfrphv }hur/ zklfk lpsolhv wkdw Ilup X pd{lpl}hv pdunhw surwv e| fkrrvlqj wzr lqvwuxphqwv +rqh frqwudfw iru hdfk up,1 Wklv doorzv Ilup X wr lpsohphqw wkh prqrsro| rxwfrph dqg jhw wkh prqrsro| surwv1 Dv wkh lqwhjudwhg upv lv qrw deoh wr lpsohphqw prqrsro| jlyhq wkdw kh fdq rqo| xvh rqh lqvwuxphqw +d frqwudfw iru up 5,/ wkh yhuwlfdo phujhu fdqqrw eh surwdeoh1 Iru fQ  f ? fP > wkh glhuhqfh44 E n X   X  lv d frqfdyh ixqfwlrq ri f zlwk wzr urrwv fn dqg f 1 Zh kdyh wkdw fn A fP dqg fQ  f ? fP zkhqhyhu   f=be dqg 3

3

f ? fQ zkhqhyhu  ? f=be= Wkhuhiruh/ d yhuwlfdo phujhu lv surwdeoh lq wklv uhjlrq rqo| 3

zkhq   f=be dqg f ? f / zkhuh 3

Se  2  2fx  n Hf 2  Sfx  2 n S n 2fx   S e n

f ' 3

nHfx  e n f D  ffx  D n b S n fx  S   . n fx  . n s nE  fx EH n e  e 2 n  e  S  S  S 2 n 2f   e  S D n  S eES  S n S 2 n 2  . e n  S 

=

= Iru fu  f ? fQ > wkh glhuhqfh E n X   X  lv d frqyh{ ixqfwlrq ri f zlwk wzr urrwv

fh dqg fe1 Zh kdyh wkdw fh ? fu dqg fu ? fe  fQ zkhqhyhu   f=be= Iru  A f=be> zh kdyh

wkdw fe A fQ = Wkhuhiruh/ d yhuwlfdo phujhu lv surwdeoh lq wklv uhjlrq zkhqhyhu   f=be dqg

f  fe> ru zkhq  A f=be> zkhuh

x4  +4 . X , lv fkdudfwhul}hg e| wkh idfw wkdw wkh rxwvlgh rswlrq ri up 5 lq wkh lqwhjudwhg fdvh +5 +f> fx ,, ehfrphv }hur/ wkdw lv/ wkh wkuhvkrog ydoxh fQ erxqgv wkh uhjlrq zkhuh 44

Lq wklv uhjlrq wkh glhuhqfh

wkh glhuhqfh lq pdujlqdo frvwv ehfrphv gudvwlf1

15

fe '

e 2 E3

3 4 2 2 e e Se  Sefx  Se n Sefx   Se n eHfx  n HH  HHfx   H n 2ffx   F E E FF E  D D S S . . E FF n 2Sf  n D  n f  n ES n Sf n S Sf n Df   2S   2 x x x x x en   E C D s 2 2 e e D D 2 e ne  efx   2 n 2fx  n S  Sfx    n fx   S  2f n S

= Ilqdoo|/ iru fx  f ? fu > wkh glhuhqfh E n X   X  lv d frqyh{ ixqfwlrq ri f zlwk wzr urrwv f dqg f 1 Zh kdyh wkdw f ? f dqg f A fu = Wkhuhiruh/ d yhuwlfdo phujhu lv dozd|v 







surwdeoh1

Vxpplqj xs/ wkh wkuhvkrog ydoxh f wkdw dsshduv lq Sursrvlwlrq 714 lv jlyhq e|= f ' fe

zkhqhyhu  ? f=be dqg f ' f rwkhuzlvh1 3

Surri ri Sursrvlwlrq 7151 Li fu  f  fP / wkh glhuhqfh ehwzhhq zhoiduh xqghu erwk wkh xqlqwhjudwhg dqg wkh lqwhjudwhg vfhqdulrv lv jlyhq e| wkh h{suhvvlrq=

Zq '

 HE2n 2 Ee3  2 Ee3

5 6 2 e D S . H 99 2DS n Se  He  S n b2  S  2  2 n 2 n :: 99 n b n 2f2Ee  e n  2 n    f2 E2 n 2ESe n Sn :: x 99 :: 2 e D S . 9 : 2 2 n 2 9 nbS  DS  S n f  e n   n 2fx E2DS n Se : 99 : 99  2f 2  eH n 2 e n H D  H S  S .  2 H n  bn ::: 7 8 2 2 e 2 2 nSfEe n  EH   n  n  n fx E2   E2 n  n  =

Zh kdyh wkdw Zq lv d frqfdyh ixqfwlrq ri f zlwk wzr urrwv fn dqg f 1 Zh kdyh wkdw 3

f

3

? f dqg fu ? fn ? fP = Wkhuhiruh/ d yhuwlfdo phujhu lv zhoiduh lpsurylqj zkhqhyhu

Zq  f1 Wklv krogv zkhq f  fn > zkhuh

fn '

H E3e3

3 t  E  fx 2 EH n e  e 2 n  e 2 E 2 n S n S 2  S  b e n  D  E E s E  2 n Se  Sefx  2fx   bS 2 n Sefx  2 n H n Sfx  n ee e  e n  2 n   E E C e D D S S 2ffx   S n fx   S n Sfx 

Zkhq f A fP / lq wkh xqlqwhjudwhg fdvh zh kdyh wkh prqrsro| rxwfrph/ zkhuhdv lq wkh lqwhjudwhg fdvh/ rxwsxwv gr qrw ghshqg rq f ehfdxvh wkh zkrohvdoh sulfhv gr qrw ghshqg rq f hlwkhu1 Wkhuhiruh/ wkh glhuhqfh lq zhoiduh ehfrphv frqvwdqw lq f dqg dprxqwv wr Zq

16

hydoxdwhg lq f ' fP 1 Exw zh nqrz iurp wkh dqdo|vlv ri wkh suhylrxv lqwhuydo wkdw d yhuwlfdo phujhu lv zhoiduh lpsurylqj dw wkdw srlqw/ zklfk phdqv wkdw lw lv dovr zhoiduh lpsurylqj lq wkh zkroh lqwhuydo1 Li fx  f ? fu / zh kdyh wkdw wkh glhuhqfh ehwzhhq zhoiduh xqghu erwk wkh xqlqwhjudwhg dqg lqwhjudwhg vfhqdulrv lv jlyhq e| wkh h{suhvvlrq=

Zu '

 eE23 2 E2n 2 Ee3

3 4 2 2 e 2 E2   ES f n  n   n 2f E2  E 2 n 2    x E FF E E e D S . 2 2 e 2e n S  e   n   n 2f ESe  ee n 2 n HH  F E FF E E F E eH D  H S n 2 .   H n f2x E He  D2  bS 2 n He  F E FF E E FF = Sf e  S D n S S n  H   b   efE2H n 2Hfx n 2 2 n 2 E E FF E E nb2  2Hfx  n bS 2  2Hfx  2  2DS n Sffx  n DS e n F E FF E E F E nb2 D  Sffx  D  Df S n 22fx  S  2 . n 2fx  . n S H  2fx  H  F E FD C b 2 2 e D S .  n E2   ES  2 n S  e   n  =

Lq rughu wr vkrz wkdw Zu lv srvlwlyh lq wkh zkroh lqwhuydo/ lw lv vx!flhqw wr fkhfn uvw/ wkdw lw lv d txdgudwlf/ frqwlqxrxv ixqfwlrq ri f> zklfk lpsolhv wkdw lw lv hlwkhu d frqyh{ ru d frqfdyh ixqfwlrq ri f> vhfrqg/ wkdw Zu lv srvlwlyh dw erwk h{wuhphv ri wkh lqwhuydo1 Zkhq Zu lv d frqfdyh ixqfwlrq ri f erwk srlqwv lpso| wkdw lw lv srvlwlyh lq wkh zkroh lqwhuydo1 Zkhq Zu lv frqyh{/ zh kdyh dgglwlrqdoo| wr fkhfn wkdw lwv uvw ghulydwlyh lv srvlwlyh dw wkh ruljlq ri wkh lqwhuydo/ zklfk frpsohwhv wkh surri1 Vxpplqj xs/ wkh wkuhvkrog ydoxh fVZ wkdw dsshduv lq Sursrvlwlrq 715 lv jlyhq e| fVZ ' fn 1

91 Uhihuhqfhv Dyhqho/ H1 dqg Eduohw/ F1/ 5333/ Yhuwlfdo iruhforvxuh/ whfkqrorjlfdo fkrlfh dqg hqwu| rq wkh lqwhuphgldwh pdunhw/ Mrxuqdo ri Hfrqrplfv dqg Pdqdjhphqw Vwudwhj|/ Yro1