6.5 Applications 397
(c) Going back to the right-hand side of (5.7), consider the optimiza-
tion problem:
max
a∈A
u[(1 −a)y] +δ
N
k=1
V [ f
k
(ay)]q
k
.
The assumed properties of u and f
k
and the derived properties of V
imply that the maximum is attained at a unique
¯
a. Hence the continuity
of ˆη.
A direct consequence of Theorems 5.2 and 5.3 is the following:
Corollary 5.1 Assume [T.1]–[T.4] and [U.1]–[U.3]. Then
(a) the investment policy function i(y):S → S is continuous and
nondecreasing and
(b) the consumption policy function c(y) is continuous.
6.5.2 Interior Optimal Processes
It is useful to identify conditions under which optimal processes are
interior. To this effect we introduce the following assumptions:
[T.5] f
k
(x) is continuously differentiable at x > 0, and lim
x↓0
f
k
(x) =
∞ for k = 1,...,N .
[U.4] u(c) is continuously differentiable at c > 0, and lim
c↓0
u
(c) =
∞.
One can derive some strong implications of the differentiability as-
sumptions.
Theorem 5.4 Under [T.1]–[T.5] and [U.1]–[U.4] if (x
˜
∗
, c
˜
∗
, y
˜
∗
) is an op-
timal process from some initial stock y > 0, then for all t ≥ 0,x
∗
t
(h
t
) > 0,
c
∗
t
(h
t
) > 0, and y
∗
t
(h
t
) > 0 for all histories h
t
.
Proof. First, we show that
i(y) > 0 for y > 0. (5.23)
If (5.23) holds, y
∗
1
= f
k
[i(y
∗
0
)] > 0 for k = 1, 2,...,N . Hence x
∗
1
=
i(y
∗
1
) > 0. Repeating this argument, we see that x
∗
t
(h
t
) > 0, y
∗
t
(h
t
) > 0
for all histories h
t
.