1. Introduction
Our goal in this paper is to explore the golden rule or modified golden rule properties of consumption and wealth-accumulation dynamics, as well as the effects of temporary taxation policies, which are chosen to be consumption tax and wealth tax, in a type of complete financial market with finite and countable heterogeneous investors (see, [1], e.g.), that is, investors with heterogeneous elasticities of intertemporal substitution (e.g., [2, 3]), heterogeneous time discount rates (e.g., [2–4]), and heterogeneous beliefs (see, [2, 3, 5–8], and among others), choosing optimal consumption and portfolio strategy in an economy of infinite horizon. Golden rules about the consumption path, the wealth dynamics, and the combination of both are proved under uncertainty and in the sense of uniform topology, which would be regarded as the first innovation of the current paper. Furthermore, inefficacy of temporary taxation policies has also been confirmed in the current complete financial market, leading us to the second inspiration of the current paper.
In the past several decades, portfolio turnpikes (see [9–15], among others) in financial economics have been extensively studied and well-understood. Meanwhile, the concept of golden rule or modified golden rule (e.g., [16–21], among others) has been developed and plays a crucial role in studying optimal economic growth and optimal capital accumulation in macroeconomics. However, little attention up to the present has been paid to the golden rule or modified golden rule of consumption path and wealth accumulation in complete or incomplete financial market with heterogeneous investors. Noting that consumption strategy and wealth accumulation play the same, if not more, important role as that of portfolio choice in both capital asset pricing models (see [22–27], among others) and market selection theory (e.g., [2, 7, 28–35], among others), the current paper is encouraged to meet the gap and investigate the long-run behavior of consumption and wealth dynamics in a type of complete financial market with heterogeneous investors.
Indeed, the current paper confirms the following strong conclusion: both optimal consumption path and optimal wealth dynamics are long-run golden rules in the sense of uniform topology and in the corresponding nonstationary environment, regardless of the fact that there are many heterogeneous investors in the economy. In other words, the uniform topology golden rules demonstrated in the present paper are robust to the types of investors in the market as long as they all exhibit the same type of CRRA preferences. Nonetheless, these golden rules are not turnpikes because they are sensitive to initial conditions of the corresponding dynamics [36–38]. And hence, naturally, an open question comes up: when these golden rules are also turnpikes? The exploration of this question will be left to future study.
The second goal of this paper is to study the effect of taxation policies, which are specifically chosen to be consumption tax and wealth tax, to optimal consumption strategy. As in the literatures of Yano [38, 39] and Kondo [40], the current paper proves the conclusion of inefficacy of temporary taxation policies in a type of complete financial market with heterogeneous investors in comparatively weak conditions, which are different from those of Yano [38, 39] and Kondo [40] due to the dynamic competitive-equilibrium framework they employed.
In addition, although both this paper and Jin [13] investigate the long-run behavior of consumption process in a continuous-time finance model, it is worthwhile mentioning that our results are essentially different from those of Jin [13] in the following aspects. First, Jin mainly proves the portfolio turnpike theorems in a continuous-time model, which however is not our focus in this paper. In particular, Jin proves related turnpike properties, whereas our paper confirms the relevant golden rule properties, and we already know that golden run property is generally weaker than turnpike property. Second, Jin shows the related convergence between processes under different utility-function assumptions, that is, general utility functions, such that the inverse functions of the derivative of utility functions for consumption and investment belong to a special subclass of regularly varying functions and power utility functions, whereas we show the convergence between processes under arbitrary decisions and optimal decisions. Third, Jin just confirms the convergence of final wealth process while the present paper shows convergence for the entire path of wealth accumulation. And fourth, we show a much stronger convergence in the sense of uniform topology while this desired property generally cannot be satisfied in the paper of Jin.
Finally, we would like to indicate the differences and also similarity between our investigation and the well-known papers of Sandroni [30] and Blume and Easley [7]. First, the fundamental issue investigated in these papers is distinct with our paper, that is, they all focus on the market-selection theory in complete or incomplete markets, while the current study purely characterizes the long-run behaviors of wealth and consumption processes of heterogeneous investors. Second, it is easy to see that the current model environment is different from the above papers; in particular, they use discrete-time models and we use a continuous-time model driven by Brownian motions, and it is easy to see that our model intrinsically leads us to more complicated computations in demonstrating the corresponding convergence result. Third, although these papers emphasize the proof of corresponding convergence, their convergence results are just in point-wise sense and hence are much weaker than the present mean-square convergence in uniform topology sense. Last but not least, even though the huge differences exist in modeling environment and focus, our result induces similar intuitive implications as these papers, that is, wealth-accumulation process will uniformly converge to the equilibrium path under optimal decision and hence market selection will prefer those make accurate predications in complete markets.
The rest of the paper is organized as follows. Section 2 presents the basic definitions and assumptions about the complete financial market facing us; Section 3 solves the individual optimization problem facing heterogeneous investors, that is, both optimal consumption-portfolio strategy and optimal wealth dynamics are derived; Section 4 proves the uniform topology golden rules in the current financial market based upon the results in Section 3. There is a brief concluding section. All proofs appear in the Appendix.
2. Definitions and Assumptions
Suppose that there are
I
heterogeneous agents in the economy. Perfect foresight assumption is employed and we denote by
(
Ω
i
,
F
i
,
{
F
t
i
}
t
≥
0
,
P
i
)
the complete and filtered probability space with
F
i
=
{
F
t
i
}
t
≥
0
denoting the filtration and the sigma-algebra
F
t
i
generated by a
d
-dimensional standard Brownian motion
(
W
i
(
s
)
,
0
≤
s
≤
t
)
. Here, and throughout the current paper,
E
i
is used to denote the expectation operator with respect to the probability law
P
i
for
∀
i
=
1,2
,
…
,
I
. Moreover, we are provided with another stochastic basis
(
Ω
,
F
,
{
F
t
}
t
≥
0
,
P
)
, where
Ω
=
∏
i
=
1
I
Ω
i
,
F
=
⊗
i
=
1
I
F
i
,
F
t
=
⊗
i
=
1
I
F
t
i
,
P
=
⊗
i
=
1
I
P
i
and we let
F
=
{
F
t
}
t
≥
0
denote the corresponding filtration satisfying the usual conditions. We further denote by
E
the expectation operator with respect to the probability law
P
.
We define the canonical Lebesgue measure
μ
on measure space
(
R
+
,
B
(
R
+
)
)
with
R
+
=
[
0
,
∞
)
,
R
+
+
=
(
0
,
∞
)
and
B
(
R
+
)
the Borel sigma-algebra, and also the corresponding regular properties about Lebesgue measure are supposed to be fulfilled. Thus, we can define the following product measure spaces
(
Ω
i
×
R
+
,
F
i
⊗
B
(
R
+
)
)
and
(
Ω
×
R
+
,
F
⊗
B
(
R
+
)
)
with corresponding product measures being
d
μ
⊗
d
P
i
and
d
μ
⊗
d
P
, respectively, for
∀
i
=
1,2
,
…
,
I
.
Now, based upon the probability space
(
Ω
i
,
F
i
,
F
i
,
P
i
)
, we define the complete financial market as follows:
(1)
d
B
(
t
)
=
r
(
t
)
B
(
t
)
d
t
,
B
(
0
)
=
1
.
d
S
j
i
(
t
)
=
S
j
i
(
t
)
[
b
j
i
(
t
)
d
t
+
∑
k
=
1
d
σ
j
k
(
t
)
d
W
k
i
(
t
)
]
,
S
j
i
(
0
)
>
0
,
where
B
(
t
)
denotes the price process of a safe or riskless investment, for example, bank account, and
S
j
i
(
t
)
denotes the price process of a risky investment, for instance, the stock, for
j
=
1,2
,
…
,
m
and
∀
i
=
1,2
,
…
,
I
. And
r
(
t
)
,
b
j
i
(
t
)
,
σ
j
k
(
t
)
∈
R
denote the riskless interest rate, the expectation return rate of the stock and the market volatility in period
t
, respectively, for
∀
i
=
1,2
,
…
,
I
,
j
=
1,2
,
…
,
m
and
k
=
1,2
,
…
,
d
. In particular, if we let
b
j
(
t
)
represent the true value of market mean return of stock
j
, then we get
E
i
[
b
j
(
t
)
∣
F
t
i
]
=
b
j
i
(
t
)
>
(res.
=
or
<
)
b
j
(
t
)
if individual
i
is an optimistic (res. rational or pessimistic) investor, which reflects heterogeneous beliefs in the current financial market. Moreover, all of the above processes are supposed to be
F
i
⊗
B
(
R
+
)
-progressively measurable. Then, we can have the following SDE of wealth accumulation:
(2)
d
X
i
(
t
)
=
(
1
-
τ
X
(
t
)
)
X
i
(
t
)
×
[
∑
j
=
1
m
π
j
i
(
t
)
d
S
j
i
(
t
)
S
j
i
(
t
)
+
(
1
-
∑
j
=
1
m
π
j
i
(
t
)
)
r
(
t
)
d
t
]
-
(
1
+
τ
c
(
t
)
)
c
i
(
t
)
d
t
=
{
(
1
-
τ
X
(
t
)
)
X
i
(
t
)
×
[
π
i
(
t
)
⊤
(
b
i
(
t
)
-
r
(
t
)
1
)
+
r
(
t
)
]
-
(
1
+
τ
c
(
t
)
)
c
i
(
t
)
}
d
t
+
(
1
-
τ
X
(
t
)
)
X
i
(
t
)
π
i
(
t
)
⊤
σ
(
t
)
d
W
i
(
t
)
(3)
=
f
i
(
X
i
(
t
)
)
d
t
+
g
i
(
X
i
(
t
)
)
d
W
i
(
t
)
,
subject to
X
i
(
0
)
=
x
i
>
0
,
W
i
(
0
)
=
1
0
=
(
0,0
,
…
,
0
)
⊤
P
i
-a.s., and
τ
X
,
τ
c
denote the wealth and consumption tax rates, respectively. Let
π
i
(
t
)
=
(
π
1
i
(
t
)
,
…
,
π
m
i
(
t
)
)
⊤
and let
c
i
(
t
)
represent portfolio strategy and consumption process, respectively. And as usual,
b
i
(
t
)
=
(
b
1
i
(
t
)
,
…
,
b
m
i
(
t
)
)
⊤
,
1
=
(
1,1
,
…
,
1
)
⊤
,
W
i
(
t
)
=
(
W
1
i
(
t
)
,
…
,
W
d
i
(
t
)
)
⊤
, where the superscript “
⊤
” denotes transpose, and
σ
(
t
)
=
(
σ
j
k
(
t
)
)
∈
R
m
×
d
denotes a bounded matrix. Furthermore,
X
i
(
t
)
is assumed to be
F
i
⊗
B
(
R
+
)
-adapted and all the remaining processes are
F
i
⊗
B
(
R
+
)
-progressively measurable for
∀
i
=
1,2
,
…
,
I
. If denoted in matrix form, we can get
(4)
d
X
(
t
)
=
f
(
X
(
t
)
)
d
t
+
g
(
X
(
t
)
)
d
W
(
t
)
,
in which
X
(
t
)
is assumed to be
F
⊗
B
(
R
+
)
-adapted and both
f
(
X
(
t
)
)
and
g
(
X
(
t
)
)
are supposed to be
F
⊗
B
(
R
+
)
-progressively measurable. We employ the following assumptions in the model.
Assumption 1.
The initial conditions
X
i
(
0
)
=
x
i
>
0
(
∀
i
=
1,2
,
…
,
I
) are supposed to be deterministic and bounded.
Assumption 2.
The following linear growth and local Lipschitz continuity conditions are satisfied, respectively,
(5)
|
f
i
(
y
i
)
|
2
+
∥
g
i
(
y
i
)
∥
2
2
≤
C
i
(
1
+
|
y
i
|
2
)
,
(6)
∥
f
(
y
)
∥
2
2
+
∥
g
(
y
)
∥
2
2
≤
C
(
1
+
∥
y
∥
2
2
)
,
for some constants
C
i
,
C
<
∞
. And
(7)
|
f
i
(
y
i
)
-
f
i
(
z
i
)
|
2
∨
∥
g
i
(
y
i
)
-
g
i
(
z
i
)
∥
2
2
≤
L
R
i
i
|
y
i
-
z
i
|
2
,
∥
f
(
y
)
-
f
(
z
)
∥
2
2
∨
∥
g
(
y
)
-
g
(
z
)
∥
2
2
≤
L
R
∥
y
-
z
∥
2
2
,
for given constants
R
i
,
R
>
0
,
|
y
i
|
∨
|
z
i
|
≤
R
i
,
∥
y
∥
2
∨
∥
z
∥
2
≤
R
, and constants
L
R
i
i
,
L
R
<
∞
depend only on
R
i
and
R
, respectively, for all
y
i
,
z
i
∈
R
+
+
,
y
,
z
∈
R
+
+
I
, for
∀
i
=
1,2
,
…
,
I
.
Remark 3.
(i) Provided Assumption 2, the existence and uniqueness of strong solutions of the SDEs in (3) and (4) are ensured.
(ii) Assumption 2 is indeed weak in the following sense, that is, conditions (7) can be naturally satisfied for any
C
1
functions due to the mean value theorem.
(iii) Here, and throughout the current paper,
|
·
|
is used to represent absolute value,
∥
·
∥
2
is used to denote both the Euclidean vector norm and the Frobenius (or trace) matrix norm, and
〈
·
,
·
〉
is used to denote the scalar product.
Assumption 4.
The real symmetric matrix
σ
(
t
)
σ
(
t
)
⊤
is assumed to be bounded and invertible throughout the current paper.
Now, as a preparation for solving individual optimization problem defined in the following section, we, as usual, provide the following formal definition,
Definition 5 (Markov admissible strategy).
We call the control variable
(
π
i
(
t
)
,
c
i
(
t
)
)
∈
[
0,1
]
m
×
R
+
an admissible strategy if the corresponding wealth process
X
i
(
t
,
ω
)
≥
0
d
μ
⊗
d
P
i
-a.e. and we further call it a Markov admissible strategy if it satisfies Markov property of memorylessness, and then we define the set of Markov admissible strategy as
A
i
for
∀
i
=
1,2
,
…
,
I
.
Here, and throughout the current paper, we just consider Markov admissible strategies for the investors in the present complete financial market. In particular, we will derive in the following section the corresponding Markov admissible strategies for these investors by employing stochastic dynamic programming.
4. Uniform Topology Golden Rules
By Proposition 6, we get the optimal paths of wealth accumulation as follows:
(
13
′
)
d
X
^
i
(
t
)
=
f
^
i
(
X
^
i
(
t
)
)
d
t
+
g
^
i
(
X
^
i
(
t
)
)
d
W
i
(
t
)
,
X
^
i
(
0
)
=
x
^
i
>
0
,
P
i
-a.s.,
∀
i
=
1,2
,
…
,
I
,
which can be rewritten in the following matrix form:
(15)
d
X
^
i
(
t
)
=
f
^
(
X
^
i
(
t
)
)
d
t
+
g
^
(
X
^
i
(
t
)
)
d
W
(
t
)
X
^
i
(
0
)
=
x
^
>
0
,
P
-a.s.
To prove the golden rules, we need the following assumptions.
Assumption 7.
The initial conditions
X
^
i
(
0
)
=
x
^
i
>
0
(
∀
i
=
1,2
,
…
,
I
) are supposed to be deterministic and bounded.
Assumption 8.
There exist constants
L
f
^
,
L
g
^
>
0
such that
(16)
〈
y
^
-
z
^
,
f
^
(
y
^
)
-
f
^
(
z
^
)
〉
≤
L
f
^
∥
y
^
-
z
^
∥
2
2
,
(17)
∥
g
^
(
y
^
)
-
g
^
(
z
^
)
∥
2
2
≤
L
g
^
∥
y
^
-
z
^
∥
2
2
,
for
∀
y
^
,
z
^
∈
R
+
I
.
Remark 9.
The inequality in (16) is the well-known one-sided Lipschitz condition.
It follows from Assumption 8 that
(18)
〈
f
^
(
y
^
)
,
y
^
〉
=
〈
f
^
(
y
^
)
-
f
^
(
0
)
,
y
^
〉
+
〈
f
^
(
0
)
,
y
^
〉
≤
L
f
^
∥
y
^
∥
2
2
,
∥
g
^
(
y
^
)
∥
2
2
≤
2
∥
g
^
(
0
)
∥
2
2
+
2
∥
g
^
(
y
^
)
-
g
^
(
0
)
∥
2
2
≤
2
L
g
^
∥
y
^
∥
2
2
.
Thus, we directly give the following assumption.
Assumption 5
′. There exists a constant
L
^
=
L
f
^
∨
L
g
^
such that
(19)
〈
f
^
(
y
^
)
,
y
^
〉
∨
∥
g
^
(
y
^
)
∥
2
2
≤
L
^
∥
y
^
∥
2
2
,
for
∀
y
^
∈
R
+
I
.
Given the above assumptions, the following lemma is derived.
Lemma 10.
Given the optimal wealth dynamics defined in (15) and based upon Assumptions 7 and 5′, then for
∀
p
∈
N
,
p
≥
2
and for any given
T
≥
0
, there is a constant
e
^
=
e
^
(
x
^
,
p
,
T
)
>
0
such that
(20)
E
[
sup
0
≤
t
≤
T
∥
X
^
i
(
t
)
∥
2
p
]
≤
e
^
.
Proof.
See Appendix B.
Moreover, we give the following assumption.
Assumption 11.
There exist constants
L
^
i
,
L
i
, and
L
>
0
such that
(21)
〈
f
^
i
(
y
^
i
)
,
y
^
i
〉
∨
∥
g
^
i
(
y
^
i
)
∥
2
2
≤
L
^
i
|
y
^
i
|
2
,
〈
f
i
(
y
i
)
,
y
i
〉
∨
∥
g
i
(
y
i
)
∥
2
2
≤
L
i
|
y
i
|
2
,
〈
f
(
y
)
,
y
〉
∨
∥
g
(
y
)
∥
2
2
≤
L
∥
y
∥
2
2
,
for
∀
y
i
,
y
^
i
∈
R
+
(
∀
i
=
1,2
,
…
,
I
) and
∀
y
∈
R
+
I
.
Thus, similar to the proof of Lemma 10, we get the following lemma,
Lemma 12.
Given the original wealth dynamics and the optimal wealth dynamics defined in (3), (4), and
(
13
′
)
, respectively. Based upon Assumptions 1, 7, and 11, and for
∀
p
∈
N
,
p
≥
2
and for any given
T
≥
0
, there are constants
e
=
e
(
x
,
p
,
T
)
,
e
i
=
e
i
(
x
i
,
p
,
T
)
, and
e
^
i
=
e
^
i
(
x
^
i
,
p
,
T
)
>
0
such that
(22)
E
[
sup
0
≤
t
≤
T
∥
X
(
t
)
∥
2
p
]
≤
e
,
E
i
[
sup
0
≤
t
≤
T
|
X
i
(
t
)
|
p
]
≤
e
i
,
E
i
[
sup
0
≤
t
≤
T
|
X
^
i
(
t
)
|
p
]
≤
e
^
i
,
for
∀
i
=
1,2
,
…
,
I
.
Noting that
f
^
i
,
g
^
i
,
f
^
, and
g
^
are all
C
1
functions, thus, by the mean value theorem, we get the following local Lipschitz continuity property,
Condition 1 (local Lipschitz continuity).
For any given constants
R
^
i
,
R
^
>
0
, there exist constants
L
R
^
i
i
,
L
R
^
>
0
such that
(23)
|
f
^
i
(
y
^
i
)
-
f
^
i
(
z
^
i
)
|
2
∨
∥
g
^
i
(
y
^
i
)
-
g
^
i
(
z
^
i
)
∥
2
2
≤
L
R
^
i
i
|
y
^
i
-
z
^
i
|
2
,
∥
f
^
(
y
^
)
-
f
^
(
z
^
)
∥
2
2
∨
∥
g
^
(
y
^
)
-
g
^
(
z
^
)
∥
2
2
≤
L
R
^
∥
y
^
-
z
^
∥
2
2
,
for
|
y
^
i
|
∨
|
z
^
i
|
≤
R
^
i
,
∥
y
^
∥
2
∨
∥
z
^
∥
2
≤
R
^
, and for all
y
^
i
,
z
^
i
∈
R
+
+
(
∀
i
=
1,2
,
…
,
I
),
y
^
,
z
^
∈
R
+
+
I
.
And for the sake of simplicity, we need the following assumption
Assumption 13.
There exist constants
K
i
,
K
>
0
such that
(24)
|
f
^
i
(
y
^
i
)
-
f
i
(
y
^
i
)
|
2
∨
∥
g
^
i
(
y
^
i
)
-
g
i
(
y
^
i
)
∥
2
2
≤
K
i
|
y
^
i
|
2
,
∥
f
^
(
y
^
)
-
f
(
y
^
)
∥
2
2
∨
∥
g
^
(
y
^
)
-
g
(
y
^
)
∥
2
2
≤
K
∥
y
^
∥
2
2
,
for
∀
y
^
i
∈
R
+
+
,
∀
y
^
∈
R
+
+
I
and for
∀
i
=
1,2
,
…
,
I
.
Now, based on Lemmas 10 and 12, the following uniform topology golden rule is established.
Theorem 14 (uniform topology golden rule).
Provided Assumptions 1, 2, 7, 5′, and 13, and Condition 1, then for
∀
M
¯
=
R
∨
R
^
, where
R
and
R
^
appear in Assumption 2 and Condition 1, respectively, for any given
T
≥
0
, and
∀
ε
>
0
, there exist
δ
1
(
T
,
M
¯
)
,
δ
2
(
T
,
M
¯
)
>
0
(for any given
T
and
M
¯
), if
∨
i
=
1
I
x
^
i
<
δ
1
(
T
,
M
¯
)
and
∥
x
^
-
x
∥
2
2
<
δ
2
(
T
,
M
¯
)
, one must have
(25)
E
[
sup
0
≤
t
≤
T
∥
X
^
(
t
)
-
X
(
t
)
∥
2
2
]
≤
ε
.
Moreover, if we let
lim
T
→
∞
δ
i
(
T
,
M
¯
)
=
0
(for any given
M
¯
,
∀
i
=
1,2
), then one has
(26)
E
[
lim
T
→
∞
sup
0
≤
t
≤
T
∥
X
^
(
t
)
-
X
(
t
)
∥
2
2
]
=
0
.
Therefore, mean-square convergence in uniform topology is confirmed for the current wealth accumulation paths.
Proof.
See Appendix C.
Remark 15.
This theorem is about the asymptotic properties of two wealth processes,
X
i
(
t
)
and
X
^
i
(
t
)
, in which
X
^
i
(
t
)
is the strong solution to the SDE (14) that is evaluated at the optimal portfolio and consumption strategies and
X
i
(
t
)
is the strong solution of the SDE (2) but since those conditions are introduced before the utility function as well as the optimal decisions, it implies that the implicit portfolio and consumption processes are arbitrary. Therefore, Theorem 14 demonstrates that an arbitrary wealth process will uniformly converge to the optimal wealth-accumulation process in mean-square sense as long as the initial level of wealth is strictly controlled. Also, as the well-known argument of Yano [38] shows that Theorem 14 cannot be regarded as a uniform topology turnpike theorem, it, nevertheless, can be interpreted as a stability theorem. Actually, Theorem 14 proves both Liapounov stability (see, [38, 41]) or dual Liapounov stability (e.g., [38, 39]) and asymptotic stability (e.g., [38, 42], and among others) of the optimal wealth dynamics under uncertainty and in the sense of uniform topology. In particular, golden rule is a weaker concept relative to the turnpike, that is, the former is allowed to depend on initial conditions while the latter does not in the process of convergence. Nevertheless, both golden rules and turnpikes refer to equilibrium paths evaluated at optimal strategies of individuals, that is, they represent desired paths.
Moreover, based upon Lemma 12 and similar to the proof of Theorem 14, the following theorem is derived.
Theorem 16 (uniform topology golden rule).
Provided Assumptions 1, 2, 7, and 13, and Condition 1, then for
∀
M
¯
i
=
R
i
∨
R
^
i
, where
R
i
and
R
^
i
appear in Assumption 2 and Condition 1, respectively, and for any given
T
≥
0
, and
∀
ε
i
>
0
, there exist
δ
1
i
(
T
,
M
¯
i
)
,
δ
2
i
(
T
,
M
¯
i
)
>
0
(for any given
T
and
M
¯
i
), if
x
^
i
<
δ
1
i
(
T
,
M
¯
i
)
and
|
x
^
i
-
x
i
|
2
<
δ
2
i
(
T
,
M
¯
i
)
, one must have
(27)
E
i
[
sup
0
≤
t
≤
T
|
X
^
i
(
t
)
-
X
i
(
t
)
|
2
]
≤
ε
i
,
for
∀
i
=
1,2
,
…
,
I
. Moreover, if we let
lim
T
→
∞
δ
j
i
(
T
,
M
¯
i
)
=
0
(
j
=
1,2
)
for any given
M
¯
i
(
∀
i
=
1,2
,
…
,
I
)
, then one has
(28)
E
i
[
lim
T
→
∞
sup
0
≤
t
≤
T
|
X
^
i
(
t
)
-
X
i
(
t
)
|
2
]
=
0
.
Notice, by Proposition 6, that the optimal consumption path amounts to
(29)
c
^
i
(
t
)
=
[
(
1
+
τ
c
(
t
)
)
γ
i
C
i
(
t
)
]
1
/
(
γ
i
-
1
)
X
^
i
(
t
)
=
λ
^
i
(
t
)
X
^
i
(
t
)
.
Thus, by Itô’s rule and
(
13
′
)
, we get
(30)
d
c
^
i
(
t
)
=
[
λ
^
i
′
(
t
)
X
^
i
(
t
)
+
λ
^
i
(
t
)
f
^
i
(
X
^
i
(
t
)
)
]
d
t
+
λ
^
i
(
t
)
g
^
i
(
X
^
i
(
t
)
)
d
W
i
(
t
)
=
f
~
i
(
X
^
i
(
t
)
)
d
t
+
g
~
i
(
X
^
i
(
t
)
)
d
W
i
(
t
)
,
subject to
c
^
i
(
0
)
=
λ
^
i
(
0
)
x
^
i
>
0
,
P
i
-a.s
. for
∀
i
=
1,2
,
…
,
I
. Moreover, when denoted by matrix form, we get
(31)
d
c
^
(
t
)
=
f
~
(
X
^
(
t
)
)
d
t
+
g
~
(
X
^
(
t
)
)
d
W
(
t
)
,
subject to
c
^
(
0
)
=
diag
(
λ
^
1
(
0
)
,
…
,
λ
^
I
(
0
)
)
x
^
>
0
,
P
-a
.
s
..
In particular, if we are given the following case.
Case 1.
There is a coefficient
λ
i
(
t
)
such that
(32)
c
i
(
t
)
=
λ
i
(
t
)
X
i
(
t
)
,
t
≥
0
,
for
∀
i
=
1,2
,
…
,
I
. That is,
c
(
t
)
=
diag
(
λ
1
(
t
)
,
…
,
λ
I
(
t
)
)
X
(
t
)
with
X
(
t
)
defined in (4) subject to
c
(
0
)
=
diag
(
λ
1
(
0
)
,
…
,
λ
I
(
0
)
)
x
>
0
,
P
-a
.
s
..
Indeed, as corollaries of Theorem 14, we have the following.
Corollary 17 (uniform topology golden rule).
Based upon the assumptions and conclusions of Theorem 14, then for any given
T
≥
0
,
∀
ε
≥
0
, one gets
(33)
E
[
sup
0
≤
t
≤
T
∥
c
^
(
t
)
-
c
(
t
)
∥
2
2
]
≤
ε
.
Moreover, similar to Theorem 14, one gets
(34)
E
[
lim
T
→
∞
sup
0
≤
t
≤
T
∥
c
^
(
t
)
-
c
(
t
)
∥
2
2
]
=
0
.
Proof.
See Appendix D.
If we define
(35)
Ψ
(
t
)
=
(
c
(
t
)
,
X
(
t
)
)
⊤
,
Ψ
^
(
t
)
=
(
c
^
(
t
)
,
X
^
(
t
)
)
⊤
.
Then we have the following.
Corollary 18 (uniform topology golden rule).
Based upon the assumptions and conclusions of Theorem 14, then for any given
T
≥
0
,
∀
ε
≥
0
, one gets
(36)
E
[
sup
0
≤
t
≤
T
∥
Ψ
(
t
)
-
Ψ
^
(
t
)
∥
2
2
]
≤
ε
.
Moreover, similar to Theorem 14, one gets
(37)
E
[
lim
T
→
∞
sup
0
≤
t
≤
T
∥
Ψ
(
t
)
-
Ψ
^
(
t
)
∥
2
2
]
=
0
.
Proof.
See Appendix E.
We now denote by
(38)
τ
1
(
t
)
=
(
τ
X
1
(
t
)
,
τ
c
1
(
t
)
)
,
τ
2
(
t
)
=
(
τ
X
2
(
t
)
,
τ
c
2
(
t
)
)
two alternative taxation policies. Then the corresponding optimal consumption paths are denoted by
(39)
c
^
(
t
,
τ
1
(
t
)
)
=
diag
(
λ
^
1
(
t
,
τ
1
(
t
)
)
,
…
,
λ
^
I
(
t
,
τ
1
(
t
)
)
)
X
^
(
t
,
τ
1
(
t
)
)
,
(40)
c
^
(
t
,
τ
2
(
t
)
)
=
diag
(
λ
^
1
(
t
,
τ
2
(
t
)
)
,
…
,
λ
^
I
(
t
,
τ
2
(
t
)
)
)
X
^
(
t
,
τ
2
(
t
)
)
,
respectively. Indeed, similar to Theorem 5 of Dai [43], we get the following.
Corollary 19 (inefficacy of temporary taxation policies).
Based upon the assumptions and conclusions of Theorem 14, then for any given
T
≥
0
,
∀
ε
≥
0
, one gets
(41)
E
[
sup
0
≤
t
≤
T
∥
c
^
(
t
,
τ
1
(
t
)
)
-
c
^
(
t
,
τ
2
(
t
)
)
∥
2
2
]
≤
ε
.
Moreover, similar to Theorem 14, one has
(42)
E
[
lim
T
→
∞
sup
0
≤
t
≤
T
∥
c
^
(
t
,
τ
1
(
t
)
)
-
c
^
(
t
,
τ
2
(
t
)
)
∥
2
2
]
=
0
.
Proof.
See Appendix F.
In (32), we suppose that there is a linear relationship between the original consumption path and the original wealth dynamics. Now, we relax this assumption and consider the following.
Case 2.
We do not prespecify any relationship between consumption process
c
(
t
)
and wealth stock
X
(
t
)
, which would be regarded as the most general case.
We first introduce the following assumptions.
Assumption 20.
There is a constant
H
>
0
such that
(43)
∥
f
~
(
y
^
)
∥
2
2
∨
∥
g
~
(
y
^
)
∥
2
2
≤
H
2
∥
y
^
∥
2
2
,
for
f
~
,
g
~
defined in (31) and for
∀
y
^
∈
R
+
I
.
Assumption 21.
For
∀
ε
≥
0
and
∀
p
∈
N
,
p
≥
2
, we have
(44)
E
∥
c
^
(
0
)
-
c
(
0
)
∥
2
p
≤
ε
.
Assumption 22.
Consumption path
c
(
t
)
is continuously differentiable and for
∀
ε
≥
0
,
∀
p
∈
N
,
p
≥
2
and for any given
T
≥
0
, we get
(45)
∫
0
T
E
∥
∇
t
c
(
t
)
∥
2
p
d
t
≤
ε
,
where
∇
t
c
(
t
)
=
(
c
1
′
(
t
)
,
…
,
c
I
′
(
t
)
)
⊤
.
Consequently, we get the following theorem.
Theorem 23 (uniform topology golden rule).
Based upon Assumptions 20, 21 and 22, and for
∀
p
∈
N
,
p
≥
2
, any given
T
≥
0
,
∀
ε
≥
0
, one has
(46)
E
[
sup
0
≤
t
≤
T
∥
c
^
(
t
)
-
c
(
t
)
∥
2
p
]
≤
ε
.
Moreover, one can show
(47)
E
[
lim
T
→
∞
sup
0
≤
t
≤
T
∥
c
^
(
t
)
-
c
(
t
)
∥
2
p
]
=
0
.
Proof.
See Appendix G.
Remark 24.
One can easily tell the differences between Corollary 17 and Theorem 23, and indeed the main differences can be expressed as follows: first, Theorem 23 provides us with a much stronger conclusion than that of Corollary 17; second, noting that Theorem 23 corresponds to Case 2, which is much more general than Case 1, Corollary 17 depends on much weaker assumptions than Theorem 23. However, both Corollary 17 and Theorem 23 demonstrate the Liapounov stability and asymptotic stability of optimal consumption paths in the sense of uniform topology and in non-stationary environments.