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