A = ПВ and B = 1 - r (n - 1).
ρ (ρ+δ)n
Further substitution of these expressions into the first-order condition, a = r (n - 1) Z/Bn2,
yields (15). The corresponding value function is given by
VIZ) = ⅛⅛ (n + Z).
(B.4)
Appendix C: Subgame Perfect Solutions
To prove the existence of MP Nash equilibria we apply a sufficiency theorem stated in Theorem
3 of Rowat’s (2007). To do this, we first have to show that the strategy is feasible, which is
defined in Definition 1 of Rowat’s (2007). Although it may be appropriate to distinguish
between the value function associated candidates strategies and that associated with the well-
defined strategies like those of Rowat’s, it is omitted for the sake of notational simplicity
but with understanding that the solutions have to pass the further tests to qualify for an
equilibrium strategy satisfying the properties stated in the text.
Lemma 1 The strategy a(Z)=0for Z ∈ (0, ∞) is not an equilibrium strategy.
Proof. Suppose that (∂pi∕∂ai) Z — Vi0 (Z) < 0. Then it follows from (8) that αi = 0. In
this case, the HJB equation (6) becomes
ρVi(Z) = nZ + Vi0 (Z)(n — δZ). (C.1)
By integration and imposing symmetry, we have
v∕z∖ _ (n - δZ)2 [n + (ρ + 2δ) Z] , δ δZ∖-ρ ∕C2∖
v (z )= n (ρ + 3δ)(ρ + 2δ) + c2(n - δZ ) δ , (C.2)
where c2 represents a constant of integration. When c2 6=0, lim V (Z)=±∞.Thisimplies
Z→n∕δ
that the strategy a(Z)=0for Z ∈ [0, ∞) is not an equilibrium strategy whenever c2 6=0,
24