A.3 The decentralized economy
We start the analysis of the decentralized case by rewriting the representative agent’s
optimization problem. In every period t the states At , kt, ht, and ha,t are given and next
period’s states kt+1 and ht+1 have to be chosen. The agent also knows the government’s
balanced budget restriction (36). This means that the agent’s earnings generated by
human and physical capital income can not exceed the economy’s per capita production.
Then the maximization problem is given by:
∞
sup E0
{kt+1 ,ht+1}t∞=0
βtF (kt, ht, kt+1, ht+1; At, ha,t)
t=0
such that
F (kt, ht, kt+1, ht+1; At, ha,t) = ln
Atka (ht - hB+1 ) ha,t- kt+ι
0 < ht+1 < Bht,
0<kt+1 <Atktαht1-αhγa,t,
0 < ha,t+1 <Bha,t,
ln At+1 = ρlnAt + εt+1,
ht = ha,t.
We have argued in Section 4 that the representative agent does not exploit the external
effect, because the market mechanism prevents agents from coordinating their actions.
However, the path of ha,t is predictable and the representative agent treats this path as
given.
Let (ht, kt) ∈ X = R2++ and (At, ha,t) ∈ Z = R2++ with the Borel sets X and Z.9 Let
us now turn to the policy correspondence Γ, which is given by:
for all t ≥ 0. The exogenous shocks are serially correlated with Et [ln At+1] = ρ lnAt.
Again we want to verify that Assumptions 1 and 2 hold; find (v, G) and construct the
plan π*(∙; x, z) all (x, z) ∈ S, and show that the two hypotheses (a) and (b) of Theorem
3 hold.
Γ (ht,kt;At, ha,t) =
(ht+1
kt+1)
Atka (ht - ht+1 ) ha,t - kt+ι ∈ R++; 1
kt+1 , ht+1 > 0; ha,t = ht
First, note that Assumption 1 holds: Γ(ht, kt ; At, ha,t) is non-empty and there are
lots of measurable selections, for example:
h(ht, kt; At, ha,t) = ( 1 Bht, 2Atkah1-ah'γa,t) ∈ Γ(ht, kt; At, ha,t).
In order to show that Assumption 2 holds, note first that the per-period return function
F πt1-1(zt-1),πt2-1(zt-1),πt1(zt),πt2(zt), zt] is μt(z0, ∙)-integrable and second that for any
(xt , zt ) and any π ∈ Π(xt , zt ) for all t ∈ N:
ln πt1-1 (zt-1 ) < t ln B + ln h0 ,
t-1
ln∏t2-i(zt-1) < ^αi {lnAt-i-i + (1 - α)ln∏1-2-i(zt-2-i) + Ylnha,t-i-i} + αt lnko
i=0
9 Note that this Borel set differs from that in the previous section.
19