Notes on an Endogenous Growth Model with two Capital Stocks II: The Stochastic Case



The value of un (π, x0 , z0) is the sum of expected discounted returns in periods 0 through
n from plan π if the initial state is (x
0 , z0). Assumption 2 also ensures that for each
(x
o, z0) S we can define u(, x0, z0) : Π(xo, z0) RR to be the limit of the series as the
horizon recedes:

u(π, x0, z0) = lim un (π, x0, z0).
n→∞

Thus u(π, x0 , z0) is the infinite sum of expected discounted returns from the plan π if
the initial state is (x
0, z0). Under Assumptions 1 and 2, the function u(,x, z) is well
defined on the nonempty set Π(x, z), for each (x, z)
S. In this case we can define the
supremum function v
* : S R by:

v*(x,z) = sup u(π,x,z).
πΠ(x,z)

That is v* is the unique function satisfying the following two conditions:

v* u(π, x, z), all π Π(x, z);

v* = lim u(πk,x, z), for some sequence {πk} inΠ(x, z).
k→∞

In the bounded returns case, a solution v to the functional equation must have the
property that the expected discounted value of the implied policy in the very far future
is equal to zero, that is we exclude for example sustained overinvestment. The difficulty
with the unbounded returns case is that there may be some (x
0, z0) S and π Π(x0, z0)
for which the condition:

lim βt

t→∞


V v[∏t-i(zt-1 ),ztt(zo

Zt


, dzt) = 0,


π Π(x0, z0), (x0, z0) S


(37)


does not hold. For each (x0, z0) S, however, we can define Π(xo, z0) to be the subset
of Π(x
o, z0) on which this condition holds. Then define v : S R by

v(x, z) = sup u(π, x, z)

πΠ(x,z)

Clearly v v*. The following theorem provides sufficient conditions for the two functions
to be equal.

Theorem 3. Let (X, X ), (Z, Z), Q, Γ, F , and β satisfy Assumptions 1 and 2. Let Π,
Π, u, v*, and v be as defined above. Suppose v is a measurable function satisfying the
functional equation

[f(x,y,z)+ β J v(y,z')Q(z,dz')j,


v(x, z) = sup

yΓ(x,z)

and that the associated policy correspondence G is nonempty and permits a measurable
selection. For each
(x, z) S, let π*(,x, z) be a plan generated by G from (x, z). Suppose
in addition that

(a) π*(,x, z) Π(x, z);and

(b) for any (xo, zo) S and π Π(xo, zo), there exists π IΠ(x, z) such that u(π, x, z)
u(π, x, z).

Then v*(x, z) = v(x, z) = v(x, z) = u(π*(;x, z), x, z), (x, z) S.

Proof. See Stokey and Lucas (1989), page 274.                                     □

In the next sections we will apply this theorem to our model.

15



More intriguing information

1. Informal Labour and Credit Markets: A Survey.
2. TWENTY-FIVE YEARS OF RESEARCH ON WOMEN FARMERS IN AFRICA: LESSONS AND IMPLICATIONS FOR AGRICULTURAL RESEARCH INSTITUTIONS; WITH AN ANNOTATED BIBLIOGRAPHY
3. Monopolistic Pricing in the Banking Industry: a Dynamic Model
4. Subduing High Inflation in Romania. How to Better Monetary and Exchange Rate Mechanisms?
5. Dementia Care Mapping and Patient-Centred Care in Australian residential homes: An economic evaluation of the CARE Study, CHERE Working Paper 2008/4
6. The name is absent
7. Om Økonomi, matematik og videnskabelighed - et bud på provokation
8. Who’s afraid of critical race theory in education? a reply to Mike Cole’s ‘The color-line and the class struggle’
9. Tissue Tracking Imaging for Identifying the Origin of Idiopathic Ventricular Arrhythmias: A New Role of Cardiac Ultrasound in Electrophysiology
10. The storage and use of newborn babies’ blood spot cards: a public consultation