Appendix
A Proof of Proposition 2
Differentiating both sides of π ◦ π 1 (p) = p leads to:
(8)
(π-1)0(p)
1
π 0 (π -1( P )) '
Hence:
(9) ( S ◦π -1) 0 ( p ) = S 0 (π -1( p ))(π -1) 0 ( p ) = S 0(π1 ((p))
π0(π-1(p))
Differentiating both sides of (8) with respect to p and using (9) leads to:
( S ◦ π 1) 00 ( P ) =
S 00 π0 - S 0 π 00
(∏ 0 )3
where all terms on the r.h.s. are evaluated at π-1 (p). Since π0 > O this implies that S ◦ π-1 is concave if
and only if S00π0 < S0π00. And since S0 < 0 and π0 > 0 we conclude that π00/π0 < S00/S0 is necessary and
sufficient for concavity of S ◦ π-1. The result now follows.
B Proof of Lemma 2
To prove (i) and (ii) totally differentiate the identity q ≡ D[P(q)] with respect to q to obtain
1 = D0P0 ,
from which (i) follows. Next, totally differentiate P0(q) ≡ D0[P(q)] with respect to q to obtain
D00
P = -(∣>,)2P ,
from which (ii) follows by substituting D0 for P0. The proof of (iii) and (iv) is analogous and we omit it.
C Proof of Lemma 3
Proof: Sufficiency: use (i) and (ii) in Lemma 1 to substitute for P0 and P00. Necessity: use (iii) and (iv) to
substitute for D, D0 and D00 .
15
More intriguing information
1. Research Design, as Independent of Methods2. The name is absent
3. The name is absent
4. Incorporating global skills within UK higher education of engineers
5. Announcement effects of convertible bond loans versus warrant-bond loans: An empirical analysis for the Dutch market
6. Segmentación en la era de la globalización: ¿Cómo encontrar un segmento nuevo de mercado?
7. The name is absent
8. Policy Formulation, Implementation and Feedback in EU Merger Control
9. Evolutionary Clustering in Indonesian Ethnic Textile Motifs
10. The name is absent