128 RABAH AMIRFIG. 1. Reaction functions for G x v .This is because <strong>the</strong> existence <strong>of</strong> slopes <strong>of</strong> c ∗ 1 strictly larger than −1 within [b 1, b 2 ]would imply <strong>the</strong> presence <strong>of</strong> slopes less than −1 also, for a 1 − a 2 =−(b 1 −b 2 )to hold. Fur<strong>the</strong>rmore, c ∗ 1 is clearly interior on (b 1, b 2 ) as a result <strong>of</strong> (3.17), or ino<strong>the</strong>r words (see Fig. 1)0 < c ∗ 1 (c 2)
STOCHASTIC CAPITAL ACCUMULATION GAMES 129[b 1 , b 2 ], (3.17) implies that c1 ∗(c 2)+c 2 is a constant, say C. We now claim that <strong>the</strong>integral term in (3.19) is differentiable at x − c1 ∗(c 2) − c 2 = x − C. Suppose not.Then, from (3.19), we conclude that Vv x(c2) − u[c1 ∗(c 2)] is not differentiable atany c 2 ∈ [b 1 , b 2 ], a contradiction, since both Vv x(·)<strong>and</strong> u[c∗ 1(·)] are differentiablefor almost all c 2 , <strong>the</strong> latter being so in view <strong>of</strong> (3.17). Therefore, invoking also(3.18), <strong>the</strong> following first order condition must hold, for almost all c 2 ∈ [b 1 , b 2 ],for <strong>the</strong> maximization in (3.13a),{∫}∣u ′ 1 [c∗ 1 (c d∣∣∣z=x−c2)] = δ 1 v 1 (x ′ )dF(x ′ | z). (3.20)dz∗1 (c 2)−c 2Let ¯c 2 <strong>and</strong> ĉ 2 be two distinct points in [b 1 , b 2 ] for which (3.20) holds. Sincec1 ∗(¯c 2) +¯c 2 =c1 ∗(ĉ 2)+ĉ 2 =C, <strong>the</strong> RHS <strong>of</strong> (3.20) is <strong>the</strong> same when c 2 =ĉ 2 aswhen c 2 =¯c 2 . Hence, u ′ 1 [c∗ 1 (¯c 2)] = u ′ 1 [c∗ 1 (ĉ 2)], or, in view <strong>of</strong> <strong>the</strong> monotonicity<strong>of</strong> u ′ 1 , c∗ 1 (¯c 2) = c1 ∗(ĉ 2), a contradiction to (3.17). Hence <strong>the</strong>re cannot be morethan one equilibrium for Gv x , <strong>and</strong> this completes <strong>the</strong> pro<strong>of</strong> <strong>of</strong> Lemma 2.3.Now we are ready for <strong>the</strong>Pro<strong>of</strong> <strong>of</strong> Proposition 2. We present an argument by induction on n. Forn=0, i.e., for <strong>the</strong> one-period game G o , Player i solves <strong>the</strong> following optimizationproblem max{u i (c i ): c i ∈ [0, K i (x)]}. Therefore, <strong>the</strong> unique equilibriumconsumption pair is (K 1 (x), K 2 (x)), with corresponding value functions(V1 1,V 2 1)= (u 1[K 1 (x)], u 2 [K 2 (x)]).Then, <strong>the</strong> two-period problem (or n = 1) has pay<strong>of</strong>fs given by (3.12) withv i replaced by Vi 1 , i = 1, 2. The action spaces are, <strong>of</strong> course, independent <strong>of</strong>n. Since Vi1 ∈ CM i , Lemma 2.1 guarantees <strong>the</strong> existence <strong>of</strong> an equilibriumin LCM 1 × LCM 2 for <strong>the</strong> game G 1 = G V 1. But, by Lemma 2.3 we haveuniqueness <strong>of</strong> <strong>the</strong> equilibrium actions <strong>of</strong> <strong>the</strong> game G x , for every x ∈ [0, +∞).V 1Therefore G V 1 has a unique equilibrium strategy pair, <strong>and</strong> fur<strong>the</strong>rmore, this pairis in LCM 1 × LCM 2 .Let <strong>the</strong> equilibrium pay<strong>of</strong>fs <strong>of</strong> G 1 be (V1 2,V 2 2 ) <strong>and</strong> repeat <strong>the</strong> above argumentfor n = 2, 3,.... This process clearly yields <strong>the</strong> desired conclusion.REFERENCESAmir, R. (1989). “On <strong>the</strong> Continuity <strong>of</strong> <strong>the</strong> Best-Response Map in Some Dynamic <strong>Games</strong>,” unpublishednote.Amir, R. (1990). “Strategic Common Property Capital Accumulation: Existence <strong>of</strong> Nash Equilibria,”preprint.Bartle, R. (1976). The Elements <strong>of</strong> Real Analysis. New York: Wiley.Basar, T., <strong>and</strong> Olsder, G. J. (1982). Dynamic Non-cooperative Game <strong>Theory</strong>. New York: AcademicPress.