Time-Consistent Investment and Consumption Strategies under a General Discount Function

Abstract

In the present paper, we investigate the Merton portfolio management problem in the context of non-exponential discounting, a context that gives rise to time-inconsistency of the decision-maker. We consider equilibrium policies within the class of open-loop controls that are characterized, in our context, by means of a variational method which leads to a stochastic system that consists of a flow of forward-backward stochastic differential equations and an equilibrium condition. An explicit representation of the equilibrium policies is provided for the special cases of power, logarithmic and exponential utility functions.

1. Introduction

In recent years, there has been a renewed attention in time inconsistency for optimality problems, as well as financial models. Generally, time inconsistency arises in several optimality problems when the optimal strategy selected at some time s is no longer optimal at time $t>s$. In other words, a strategy is time-inconsistent when the decision-maker at future time $t>s$ is tempted to deviate from the strategy determined at time s. It is well known that an optimization problem gives raise to time-inconsistent strategies when the dynamic programming principle cannot be applied, and Bellman’s principle does not hold.

In practice, an important illustration of time-inconsistent problem is the mean-variance selection problem, where the time inconsistency is due to the fact that there is a nonlinear function of the expectation of the final wealth in the objective criterion. Another important problem which produces a time-inconsistent behavior is the investment-consumption problem with non-exponential discounting. This was the case studied by Strotz (1955–1956), where the time inconsistency arises by the fact that the initial point in time enters in a crucial manner the objective criterion.

The common assumption in classical investment-consumption problems under discounted utility is that the discount rate is assumed to be constant over time which leads to the discount function be exponential. This assumption provides the possibility to compare outcomes occurring at different times by discounting future utility by some constant factor. But, on the other hand, results from experimental studies contradict this assumption, indicating that discount rates for the near future are much lower than discount rates for the time further away in future. Ainslie (1995) established experimental studies on human and animal behavior and found that discount functions are almost hyperbolic; that is, they decrease like a negative power of time rather than an exponential. Loewenstein and Prelec (1992) showed that economic decision-makers are impatient about choices in the short term but are more patient when choosing between long-term alternatives; therefore, a hyperbolic type discount function would be more realistic.

Unfortunately, as soon as a discount function is non-exponential, discounted utility models become time-inconsistent in the sense that they do not admit the Bellman’s optimality principle. Consequently, the classical dynamic programming approach may not be applicable to solve these problems. According to Strotz (1955–1956), there are two basic ways of handling time inconsistency in non-exponential discounted utility models. In the first one, under the notion of naive agents, every decision is taken without taking into account that their preferences will change in the near future. The agent at time $t\in \left[0,T\right]$ will solve the problem as a standard optimal control problem with initial condition $X\left(t\right)=x_t.$ If we suppose that the naive agent at time 0 solves the problem, his or her solution corresponds to the so-called pre-commitment solution, in the sense that it is optimal as long as the agent can pre-commit his or her future behavior at time $t=0$.

Kydland and Prescott (1997) indeed argue that a pre-committed strategy may be economically meaningful in certain circumstances. The second approach consists in the formulation of a time-inconsistent decision problem as a non-cooperative game between incarnations of the decision-maker at different instants of time. Nash equilibrium of these strategies are then considered to define the new concept of solution to the original problem. Strotz (1955–1956) was the first who proposed a game theoretic formulation to handle the dynamic time inconsistent optimal decision problem on the deterministic Ramsey problem; see Ramsey (1928). Then, by capturing the idea of non-commitment, and letting the commitment period being infinitesimally small, he provided a primitive notion of Nash equilibrium strategy.

1.1. Related Works

Further work along this line in continuous and discrete time has been done by Pollak (1968); Phelps and Pollak (1968); Goldman (1980); Barro (1990); and Krusell and Smith (2003). Keeping the same game theoretic approach, Ekeland and Lazrak (2008) and Marín-Solano and Navas (2010) treated the optimal consumption problem where the utility involves a non-exponential discount function in the deterministic framework. They characterized the equilibrium strategies by a value function that has to satisfy a certain “extended Hamilton–Jacobi–Bellman (HJB) equation”, which is a non-linear differential equation displaying a non-local term that depends on the global behavior of the solution. In this situation, every decision at time t is taken by a $t-$agent which represents the incarnation of the controller at time t and is referred in Marín-Solano and Navas (2010) as a “sophisticated $t-$agent”.

Björk and Murgoci (2010) extended the idea to the stochastic setting where the controlled dynamic is driven by a quite general class of Markov process and a fairly general objective function. Yong in Yong (2011), by a discretization of time, studied a class of time inconsistent deterministic linear quadratic models and derive equilibrium controls via some class of Riccati-Voltera equations. Yong (2012), also by a discretization of time, investigated a general discounting time inconsistent stochastic optimal control problem and characterizes a feedback time-consistent Nash equilibrium control via the so-called “equilibrium HJB equation”.

The Nash equilibrium solution to the mean-variance problem was established first by Basak and Chabakauri (2010) and then extended to a further general class of time-inconsistent problems by Björk and Murgoci (2010). Other papers on the consistent planning approach for the mean-variance problem are Hu et al. (2012); Czichowsky (2013); and Björk et al. (2014).

Concerning equilibrium strategies for an optimal consumption-investment problem with a general discount function, Ekeland and Pirvu (2008) were the first to investigate Nash equilibrium strategies where the price process of the risky asset is driven by geometric Brownian motion. They characterized the equilibrium strategies through the solutions of a flow of BSDEs, and they show, for an special form of the discount function, that the BSDEs reduce to a system of two ODEs, which has a solution. Ekeland et al. (1995) added life insurance to the investor’s portfolio and they characterize the equilibrium strategy by an integral equation. In Yong (2012), the case of time-inconsistent consumption-investment problem under a power utility function is discussed. Following Yong’s approach, Zhao et al. (2014) studied the consumption-investment problem with a general discount function and a logarithmic utility function. Recently, Zou et al. (2014) investigated equilibrium consumption-investment decisions for Merton’s portfolio problem with stochastic hyperbolic discounting.

As for the comparison between different methods to time inconsistency, Wang and Forsyth (2012) evaluate time-consistent against pre-commitment strategies and compare their related efficient frontiers for a mean-variance optimization problem. The evaluation among the naive and the sophisticated approaches is given by Chen et al. (2014), who study the optimal dividend model of an insurance company in the existence of time inconsistency created by non-exponential discount factor. Cong and Oosterlee (2016) found a relation linking the time-consistent and the pre-commitment investment strategies in a defined contribution pension scheme. Cui et al. (2017) emphasize the shortcomings of pre-commitment and game theoretical strategies, and examine a self-coordination strategy that aims at corresponding global concern and local interests of the decision-maker. Van Staden et al. (2018) consider the pre-commitment and the time-consistent policies in the attendance of realistic investment constraints. Bensoussan et al. (2019) evaluate the produce of constraints on the value function of both pre-commitment and game theoretical approaches, and discover the unexpected result that for the game theoretical approach the occurrence of constraints can improve the payoff, whereas, for the pre-commitment approach, this paradox does not arise. Menoncin and Vigna (2020) evaluate the contribution pension scheme and prove that the dynamically optimal policy reacts better to extreme scenarios of market returns.

Time-inconsistent consumption-investment problem with a non-exponential discount function and a general utility function. We use the game theoretic approach to handle the time inconsistency in the same perspective as Björk and Murgoci (2010). Noting that, the game perspective that we will consider is as follows: We first consider a game with one player at each point t in time. This player represents the incarnation of the decision maker at time t and can be referred to as “player t”. This $t-th$ player can control the system only at time t by taking his/her strategies. A control process is then viewed as a complete description of the chosen strategies of all players in the game. The reward to player t is given by utility function of an investment-consumption optimization problem. From this description, we introduce the concept of a “perfect Nash equilibrium strategy” of the game. This is an admissible control process satisfying some admissibility conditions.

We focus on a variational technique approach leading to a version of a necessary and sufficient condition for equilibrium, which involves a flow of forward-backward stochastic differential equations (FBSDEs) along with a certain equilibrium condition. We also present a verification theorem that covers some possible examples of utility functions. Then, by decoupling the flow of the FBSDEs, we derive a closed-loop representation of the equilibrium strategies via a parabolic non-linear partial differential equation (PDE). We show that within a special form of the utility function (logarithmic, power, and exponential) the PDE reduces to a system of ODEs which has an explicit solution.

1.2. Novelty and Contribution

Different from Marín-Solano and Navas (2010) and Ekeland and Pirvu (2008), where the authors derived explicit solutions for special forms of the discount factor, in our model, the non-exponential discount function is in a fairly general form. Moreover, we consider equilibrium strategies in the open-loop sense, as defined in Hu et al. (2012) and Hu et al. (2015), which is different from most of the existing literature on this topic. Note also that the time-inconsistency, in our paper, arises from a non-exponential discounting in the objective function, while the works Hu et al. (2012) and Hu et al. (2015) are concerned with a quite different kind of time-inconsistency which is caused by the presence of non-linear terms of expectations in the terminal cost. On other hand, the objective functional, in our paper, is not reduced to the quadratic form as in Hu et al. (2012) and Hu et al. (2015).

We accentuate that, different from most of the existing literature on this topic, where some feedback equilibrium strategies are derived via several very complicated highly non-linear integro-differential equations, an explicit representation of the equilibrium strategies are obtained in our work via simple ODEs. In addition, this method can provide the necessary and sufficient conditions to characterize the equilibrium strategies, while the extended HJB techniques can create, in general, only the sufficient condition in the form of a verification theorem that characterizes the equilibrium strategies.

1.3. Structure of the Paper

The rest of the paper is organized as follows. In Section 2, we formulate the problem and give the necessary notations and preliminaries. In Section 3, we present the main results of the paper, Theorem 1 and Theorem 2, that characterize the equilibrium decisions by some necessary and sufficient conditions. In Section 4, we derive an explicit representation of the equilibrium consumption-investment strategy. Section 5 is devoted to some comparisons with existing results in the literature. The paper ends with an Appendix containing some proofs.

2. Problem Formulation

In what follows, we assume that $W\left(·\right)=\left(W_1\left(·\right),\cdots ,W_d\left(·\right)\right)$ is a d-dimensional standard Brownian motion defined on a filtered probability space $(\Omega ,\mathcal{F},\mathbb{F},\mathbb{P})$, such that $\mathbb{F}:={\left({\mathcal{F}}_t\right)}_{t\in \left[0,T\right]}$ is a natural filtration that satisfies the usual conditions, in particular, ${\mathcal{F}}_0$ contains all $\mathbb{P}$-null sets and ${\mathcal{F}}_T=\mathcal{F}$ for an arbitrarily fixed finite time horizon $T>0.$ Recall that ${\mathcal{F}}_t$ stands for the information available up to time t, and any decision made at time t is based on this information.

2.1. Notations

Throughout this paper, we use the following notations: $M^{\top }$: the transpose of the vector (or matrix) M, $〈\chi ,\zeta 〉:$ the inner product of $\chi$ and $\zeta$, that is, $〈\chi ,\zeta 〉:=tr\left({\chi }^T\zeta \right).$ For a function $f,$ we denote by $f_x$ (resp. $f_{xx})$ the first (resp. the second) derivative of f with respect to the variable $x.$

For any Euclidean space E with Frobenius norm $\left|·\right|$, we let, for any $t\in \left[0,T\right],$

• ${\mathbb{L}}^p\left(\Omega ,{\mathcal{F}}_t,\mathbb{P};E\right):$ for any $p\ge 1,$ the set of $E-$valued ${\mathcal{F}}_t-$measurable random variables $X,$ such that $\mathbb{E}\left[{\left|X\right|}^p\right]<\infty .$
• ${\mathcal{L}}_{\mathcal{F}}^2\left(t,T;E\right):$ the space of $E-$valued, ${\left({\mathcal{F}}_s\right)}_{s\in \left[t,T\right]}-$adapted continuous processes $Y\left(·\right)$, with

  $${∥Y\left(·\right)∥}_{{\mathcal{L}}_{\mathcal{F}}^2\left(t,T;E\right)}=\sqrt{\mathbb{E}\left[\underset{s\in \left[t,T\right]}{sup}{\left|Y\left(s\right)\right|}^2\right]}<\infty .$$
• ${\mathcal{M}}_{\mathcal{F}}^p\left(t,T;E\right):$ for any $p\ge 1,$ the space of $E-$valued, ${\left({\mathcal{F}}_s\right)}_{s\in \left[t,T\right]}-$adapted processes $Z\left(·\right)$, with

  $${∥Z\left(·\right)∥}_{{\mathcal{M}}_{\mathcal{F}}^p\left(t,T;E\right)}=\mathbb{E}{\left[{\int }_0^T{\left|Z\left(s\right)\right|}^{p}ds\right]}^{\frac{1}{p}}<\infty .$$

2.2. Financial Market

Consider an individual facing the inter-temporal consumption and portfolio problem where the market environment consists of one riskless and d risky securities. The risky securities are stocks and their prices are modeled as Itô processes. Namely, for $i=1,2,..,d,$ the price $S_i\left(s\right),$ for $s\in \left[0,T\right],$ of the i-th risky asset, satisfies

$$d{S}_i\left(s\right)=S_i\left(s\right)\left({\mu }_i\left(s\right)ds+\sum _{j=1}^d{\sigma }_{ij}\left(s\right)d{W}_j\left(s\right)\right),$$

(1)

with $S_i\left(0\right)>0,$ for $i=1,2,...,d,$ and the coefficients ${\mu }_i\left(·\right)$ and ${\sigma }_i\left(·\right)=\left({\sigma }_{i1}\left(·\right),\cdots ,{\sigma }_{id}\left(·\right)\right),$ for $i=1,..,d,$ are $\mathbb{F}-$progressively measurable processes with values in $\mathbb{R}$ and ${\mathbb{R}}^d$, respectively. For brevity, we use $\mu \left(·\right)=\left({\mu }_1\left(·\right),{\mu }_2\left(·\right),\cdots ,{\mu }_d\left(·\right)\right)$ to denote the drift rate vector and $\sigma \left(·\right)={\left({\sigma }_{ij}\left(·\right)\right)}_{1\le i,j\le d}$ to denote the random volatility matrix.

The riskless asset, or the savings account, has the price process $S_0\left(s\right)$, for $s\in \left[0,T\right],$ governed by

$$d{S}_0\left(s\right)=r_0\left(s\right)S_0\left(s\right)ds,S_0\left(0\right)=1,$$

(2)

where $r_0\left(·\right)$ is a process with values in $\left[0,\infty \right)$ that represents the interest rate. We assume that $\mathbb{E}\left[{\mu }_i\left(t\right)\right]>r_0\left(t\right)\ge 0,$ $dt-a.e.,$ for $i=1,2,..,d$. This is a very natural assumption since, otherwise, nobody is willing to invest in the risky stocks.

2.3. Investment-Consumption Policies and Wealth Process

Starting from an initial capital $x_0>0$ at time 0, during the time horizon $\left[0,T\right]$, the decision-maker is allowed to dynamically invest in the stocks, as well as in the bond and consuming. A consumption-investment strategy is described by a $\left(d+1\right)$-dimensional stochastic process $u\left(·\right)={\left(c\left(·\right),u_1\left(·\right),\cdots ,u_d\left(·\right)\right)}^{\top },$ where $c\left(s\right)$ represents the consumption rate at time $s\in \left[0,T\right]$ and $u_i\left(s\right),$ for $i=1,2,..,d,$ represents the amount invested in the i-$th$ risky stock at time $s\in \left[0,T\right].$ The process $u_I\left(·\right)={\left(u_1\left(·\right),\cdots ,u_d\left(·\right)\right)}^{\top }$ is called an investment strategy. The amount invested in the bond at time s is

$$X^{x_0,u}\left(s\right)-\sum _{i=1}^d{u}_i\left(s\right),$$

where $X^{x_0,u}\left(·\right)$ is the wealth process associated with the strategy $u\left(·\right)$ and the initial capital $x_0$. The evolution of $X^{x_0,u}\left(·\right)$ can be described as

$$\left\{\begin{array}{c}d{X}^{x_0,u}\left(s\right)=\left(X^{x_0,u}\left(s\right)-\sum _{i=1}^d{u}_i\left(s\right)\right){\displaystyle \frac{d{S}_0\left(s\right)}{S_0\left(s\right)}}+\sum _{i=1}^d{u}_i\left(s\right){\displaystyle \frac{d{S}_i\left(s\right)}{S_i\left(s\right)}}-c\left(s\right)ds,\mathrm{for}s\in \left[0,T\right],\hfill \\ X^{x_0,u}\left(0\right)=x_0.\hfill \end{array}\right.$$

Accordingly, the wealth process solves the SDE:

$$\left\{\begin{array}{c}d{X}^{x_0,u}\left(s\right)=\left\{r_0\left(s\right)X^{x_0,u}\left(s\right)+u_I{\left(s\right)}^{\top }r\left(s\right)-c\left(s\right)\right\}ds\hfill \\ +u_I{\left(s\right)}^{\top }\sigma \left(s\right)dW\left(s\right),\mathrm{for}s\in \left[0,T\right],\hfill \\ X^{x_0,u}\left(0\right)=x_0.\hfill \end{array}\right.$$

(3)

where $r\left(·\right)={\left({\mu }_1\left(·\right)-r_0\left(·\right),\cdots ,{\mu }_d\left(·\right)-r_0\left(·\right)\right)}^{\top }$.

As time evolves, it is natural to consider the controlled stochastic differential equation parametrized by $\left(t,\xi \right)\in \left[0,T\right]\times {\mathbb{L}}^2\left(\Omega ,{\mathcal{F}}_t,\mathbb{P};\mathbb{R}\right)$ and satisfied by $X\left(·\right)=X^{t,\xi }\left(·;u\left(·\right)\right),$

$$\left\{\begin{array}{c}dX\left(s\right)=\left\{r_0\left(s\right)X\left(s\right)+u_I{\left(s\right)}^{\top }r\left(s\right)-c\left(s\right)\right\}ds+u_I{\left(s\right)}^{\top }\sigma \left(s\right)dW\left(s\right),\mathrm{for}s\in \left[t,T\right],\hfill \\ X\left(t\right)=\xi .\hfill \end{array}\right.$$

(4)

Definition 1

(Admissible Strategy). A strategy $u\left(·\right)={\left(c\left(·\right),u_I{\left(·\right)}^{\top }\right)}^{\top }$ is said to be admissible over $\left[t,T\right]$ if $u\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right)$ and for any $\left(t,\xi \right)\in \left[0,T\right]\times {\mathbb{L}}^2\left(\Omega ,{\mathcal{F}}_t,\mathbb{P};\mathbb{R}\right),$ the equation $\left(4\right)$ has a unique solution $X\left(·\right)=X^{t,\xi }\left(·;u\left(·\right)\right).$

We impose the following assumption about the coefficients.

(H1) 

Processes $r_0\left(·\right)$, $r\left(·\right)$ and $\sigma \left(·\right)$ are uniformly bounded and moreover we assume the following uniform ellipticity condition:

$$\sigma \left(s\right)\sigma {\left(s\right)}^{\top }\ge ϵI_d,ds-a.e,d\mathbb{P}-a.s.$$

for some $ϵ>0$, where $I_d$ denotes the identity matrix on ${\mathbb{R}}^{d\times d}.$

Under (H1), for any $\left(t,\xi ,u\left(·\right)\right)\in \left[0,T\right]\times {\mathbb{L}}^2\left(\Omega ,{\mathcal{F}}_t,\mathbb{P};\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^1\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right),$ the state equation $\left(4\right)$ has a unique solution $X\left(·\right)\in {\mathcal{L}}_{\mathcal{F}}^2\left(t,T;\mathbb{R}\right)$. Moreover, we have the estimate

$$\mathbb{E}\left[\underset{t\le s\le T}{sup}{\left|X\left(s\right)\right|}^2\right]\le K\left(1+\mathbb{E}\left[{\left|\xi \right|}^2\right]\right),$$

(5)

for some positive constant K. In particular, for $t=0,$ $x_0>0$ and $u\left(·\right)={\left(c\left(·\right),u_I{\left(·\right)}^{\top }\right)}^{\top }\in {\mathcal{M}}_{\mathcal{F}}^1\left(0,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(0,T;{\mathbb{R}}^d\right),$ the state equation $\left(3\right)$ has a unique solution $X^{x_0,u}\left(·\right)\in {\mathcal{L}}_{\mathcal{F}}^2\left(0,T;\mathbb{R}\right)$, and the following estimate holds:

$$\mathbb{E}\left[\underset{0\le s\le T}{sup}{\left|X^{x_0,u}\left(s\right)\right|}^2\right]\le K\left(1+{\left|x_0\right|}^2\right).$$

(6)

2.4. General Discounted Utility Function

Most of financial-economics works have considered that the rate of time preference is constant (exponential discounting). However, there is growing evidence to suggest that this may not be the case. In this section, we discuss the general discounting preferences. We also introduce the basic modeling framework of Merton’s consumption and portfolio problem. We refer the reader to Ainslie et al. (1991); Karatzas et al. (1987); Merton (1969, 1971), and Pliska (1986) for more detail about the classical Merton model.

2.4.1. Discount Function

As soon as discounting is non-exponential, most papers work with special form of the non-exponential discount factor. Differently from these works, we consider a general form of the discount factor.

Definition 2.

A discount function $\lambda \left(·\right):\left[0,T\right]\to \mathbb{R}$ is a continuous and deterministic function satisfying $\lambda \left(0\right)=1,$ $\lambda \left(s\right)>0$ $ds-a.e.$ and ${\int }_0^T\lambda \left(s\right)ds<\infty .$

Remark 1.

Some examples of discount functions are given in many papers, such as exponential discount functions (see Merton (1969) and Merton (1971)), mixture of exponential functions (see Ekeland and Pirvu (2008)), and hyperbolic discount functions (see Zhao et al. (2014)).

2.4.2. Utility Functions and Objective

In order to evaluate the performance of a consumption-investment strategy, the decision-maker derives utility from inter-temporal consumption and final wealth. Let $\phi \left(·\right)$ be the utility of inter-temporal consumption and $h\left(·\right)$ the utility of the terminal wealth at some non-random horizon T (which is a primitive of the model). Then, for any $\left(t,\xi \right)\in \left[0,T\right]\times {\mathbb{L}}^2\left(\Omega ,{\mathcal{F}}_t,\mathbb{P};\mathbb{R}\right)$, the investment-consumption optimization problem is reduced to maximize the utility function $J\left(t,\xi ,.\right)$ given by

$$J\left(t,\xi ,u\left(·\right)\right)={\mathbb{E}}^t\left[{\int }_t^T\lambda \left(s-t\right)\phi \left(c\left(s\right)\right)ds+\lambda \left(T-t\right)h\left(X\left(T\right)\right)\right],$$

(7)

over $u\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right),$ subject to $\left(4\right),$ where ${\mathbb{E}}^t\left[·\right]=\mathbb{E}\left[·\left|{\mathcal{F}}_t\right.\right]$. We restrict ourselves to utility functions which satisfy the following conditions.

(H2) 

The maps $\phi \left(·\right),h\left(·\right):\mathbb{R}\to \mathbb{R}$ are strictly increasing, strictly concave and satisfy the integrability condition

$$\mathbb{E}\left[{\int }_0^T\left|\phi \left(c\left(s\right)\right)\right|ds+\left|h\left(X\left(T\right)\right)\right|\right]<\infty .$$

Noting that, most literature on the necessary and/or sufficient optimality conditions in stochastic control problem that considers more strong conditions about the coefficients, in which the derivatives ${\phi }_{xx}\left(·\right)$ and $h_{xx}\left(·\right)$ are bounded or have linear or quadratic growth; see, e.g., Yong and Zhou (1999). It is also worth mentioning that , several papers impose an $L_p$ bounds on the control process for $p>2$. Those restrictions make it impossible to apply the stochastic maximum principle approach directly to study the consumption–investment problem. Certainly, in that important problem, the optimal control is not necessarily $L_p$-integrable, and the derivatives of the running cost and the terminal cost do not necessarily follow the global polynomial growth conditions.

In this paper, we overcome the technical difficulties mentioned above and treat some limiting procedures. To do so, let us introduce further technical integrability conditions of the utilities, which will be used in the proof of the main result.

(H3) 

The maps $\phi \left(·\right),h\left(·\right)$ are twice continuously differentiable functions, so all the derivatives ${\phi }_x\left(·\right),h_x\left(·\right),{\phi }_{xx}\left(·\right)$ and $h_{xx}\left(·\right)$ are continuous.

(H4) 

For all admissible strategy pairs, there exists a constant $p>1$ such that

$$\begin{array}{cc}\hfill & \mathbb{E}\left[{\int }_0^T{\left|{\phi }_x\left(c\left(s\right)\right)\right|}^{p}ds+{\left|h_x\left(X\left(T\right)\right)\right|}^p\right]<\infty ,\hfill \\ \hfill & \mathbb{E}\left[{\int }_0^T\underset{\eta \in \mathbb{R},\left|\eta \right|\le M}{sup}{\left|{\phi }_{xx}\left(c\left(s\right)+\eta \right)\right|}^{p}ds\right]<\infty ,\mathrm{for}M\ge 0.\hfill \end{array}$$

If we write $W^{★}\left(s\right)={\left(0,W{\left(s\right)}^{\top }\right)}^{\top }$, and we denote $B\left(s\right)={\left(-1,r{\left(s\right)}^{\top }\right)}^{\top },$ $\Gamma ={\left(1,0_{{\mathbb{R}}^d}^{\top }\right)}^{\top }$ and

$$D\left(s\right)=\left(\begin{array}{cc}0& 0_{{\mathbb{R}}^d}^{\top }\\ 0_{{\mathbb{R}}^d}& \sigma \left(s\right)\end{array}\right),$$

then the optimal control problem associated with $\left(4\right)$ and $\left(7\right)$ is equivalent to maximize

$$J\left(t,\xi ,u\left(·\right)\right)={\mathbb{E}}^t\left[{\int }_t^T\lambda \left(s-t\right)\phi \left({\Gamma }^{\top }u\left(·\right)\right)ds+\lambda \left(T-t\right)h\left(X\left(T\right)\right)\right],$$

(8)

subject to

$$\left\{\begin{array}{c}dX\left(s\right)=\left\{r_0\left(s\right)X\left(s\right)+u{\left(s\right)}^{\top }B\left(s\right)\right\}ds+u{\left(s\right)}^{\top }D\left(s\right)d{W}^{★}\left(s\right),\mathrm{for}s\in \left[t,T\right],\hfill \\ X\left(t\right)=\xi .\hfill \end{array}\right.$$

(9)

over $u\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right).$

2.4.3. Time Inconsistency

Let us first note that the optimal policies, although they exist, will not be time-consistent in general. First of all, as an illustration, let us consider the model in (8)–(9) with logarithmic utility functions. We suppose that the financial market consists of one riskless asset and d risky assets. Arguing as in Ekeland and Pirvu (2008), we can prove that, if the agent is naive and starts with a given positive wealth x, at some instant $t,$ then, by the standard dynamic programming approach, the value function associated with this stochastic control problem solves the following Hamilton–Jacobi–Bellman equation.

$$\left\{\begin{array}{c}{V}_s^t\left(s,x\right)+\underset{\left(c,u_I\right)\in {\mathbb{R}}^{d+1}}{sup}\left\{\left(r_0\left(s\right)X\left(s\right)+u_I{}^{\top }r\left(s\right)-c\right)V_x^t\left(s,x\right)\right.+{\displaystyle \frac{1}{2}}{u}_I^{\top }\sigma \left(s\right)\sigma {\left(s\right)}^{\top }{u}_I{V}_{xx}^t\left(s,x\right)\hfill \\ \left.+{\displaystyle \frac{{\lambda }^{\prime }\left(s-t\right)}{\lambda \left(s-t\right)}}{V}^t\left(s,x\right)+\phi \left(c\right)\right\}=0,\mathrm{for}s\in \left[t,T\right],\hfill \\ V^t\left(T,x\right)=h\left(x\right).\hfill \end{array}\right.$$

(10)

The HJB equation contains the term ${\displaystyle \frac{{\lambda }^{\prime }\left(s-t\right)}{\lambda \left(s-t\right)}}$, which depends not only on the current time s but also on initial time t, so the optimal policy will depend on t, as well. Indeed, the first order necessary conditions yield the $t-$optimal policy

$$\begin{array}{cc}\hfill {\overline{u}}_I^t\left(s\right)& =r\left(s\right){\left(\sigma \left(s\right)\sigma {\left(s\right)}^{\top }\right)}^{-1}\frac{V_x^t\left(s,x\right)}{V_{xx}^t\left(s,x\right)},\hfill \\ \hfill {\overline{c}}^t\left(s\right)& ={\phi }^{-1}\left(V_x^t\left(s,x\right)\right).\hfill \end{array}$$

Let us consider the following example: $\phi \left(x\right)=h\left(x\right)=logx.$ The naive agent for the initial pair $\left(0,x_0\right)$ solves the problem, assuming that the discount rate of time preference will be $\lambda \left(s\right)$, for $s\in \left[0,T\right],$ and the optimal consumption strategy will be

$${\overline{c}}^{0,x_0}\left(s\right)={\left[1+{\int }_s^{T}exp\left\{\lambda \left(r-s\right)+log\left(\frac{\lambda \left(r\right)}{\lambda \left(s\right)}\right)\right\}dr\right]}^{-1},\mathrm{for}s\in \left[0,T\right].$$

This solution corresponds to the so-called pre-commitment solution, in the sense that it is optimal as long as the agent can pre-commit (by signing a contract, for example) his or her future behavior at time $t=0$. If there is no commitment, the 0-agent will take the action ${\overline{c}}^{0,x_0}\left(s\right)$, but, in the near future, the $ϵ$-agent will change his decision rule (time-inconsistency) to the solution of the HJB equation $\left(10\right)$ with $t=ϵ.$ In this case, the optimal control trajectory for $s>ϵ$ will be changed to ${\overline{c}}^{ϵ,x_{ϵ}}\left(s\right)$, given by

$${\overline{c}}^{ϵ,x_{ϵ}}\left(s\right)={\overline{c}}^{ϵ,\overline{X}\left(ϵ\right)}\left(s\right)={\left[1+{\int }_s^{T}exp\left\{\lambda \left(r-s\right)+log\left(\frac{\lambda \left(r-ϵ\right)}{\lambda \left(s-ϵ\right)}\right)\right\}dr\right]}^{-1},\mathrm{for}s\in \left[ϵ,T\right].$$

If $\lambda \left(t\right)=e^{-\delta t}$, where $\delta >0$ is the constant discount rate, then

$${\overline{c}}_{|\left[ϵ,T\right]}^{0,x_0}\left(s\right)={\overline{c}}^{ϵ,x_{ϵ}}\left(s\right),\mathrm{for}s\in \left[ϵ,T\right];$$

hence, the optimal consumption plan is time consistent. As soon as discount function is non-exponential

$${\overline{c}}_{|\left[ϵ,T\right]}^{0,x_0}\left(s\right)\ne {\overline{c}}^{ϵ,x_{ϵ}}\left(s\right),\mathrm{for}s\in \left[ϵ,T\right].$$

Then, the optimal consumption plan is not time consistent. In general, the solution for the naive agent will be constructed by solving the family of HJB equations $\left(10\right)$ for $t\in \left[0,T\right]$, and patching together the “optimal” solutions ${\overline{c}}^{t,x_t}\left(t\right).$ If the agent is sophisticated, things become more complicated. The standard HJB equation cannot be used to construct the solution, and a new method is required in what follows.

3. Equilibrium Strategies

It is well known that the problem described above by (8)–(9) turns out to be time inconsistent in the sense that it does not satisfy the Bellman optimality principle, since a restriction of an optimal control for a specific initial pair on a later time interval might not be optimal for that corresponding initial pair. For a more detailed discussion see Ekeland and Pirvu (2008) and Yong (2012). Due to the lack of time consistency, we consider open-loop Nash equilibrium controls instead of optimal controls. As in Hu et al. (2012), we first consider an equilibrium by local spike variation, given, for $t\in \left[0,T\right],$ an admissible consumption-investment strategy $\widehat{u}\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right).$ For any ${\mathbb{R}}^{d+1}-$valued, ${\mathcal{F}}_t-$measurable and bounded random variable v and for any $\epsilon >0,$ define

$$u^{\epsilon }\left(s\right):=\left\{\begin{array}{cc}\widehat{u}\left(s\right)+v,\hfill & \mathrm{for}s\in \left[t,t+\epsilon \right),\hfill \\ \widehat{u}\left(s\right),\hfill & \mathrm{for}s\in \left[t+\epsilon ,T\right].\hfill \end{array}\right.$$

(11)

We have the following definition.

Definition 3

(Open-loop Nash equilibrium). An admissible strategy $\widehat{u}\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right)$ is an open-loop Nash equilibrium strategy if

$$\underset{\epsilon \downarrow 0}{lim}inf\frac{1}{\epsilon }\left\{J\left(t,\widehat{X}\left(t\right),u^{\epsilon }\left(·\right)\right)-J\left(t,\widehat{X}\left(t\right),\widehat{u}\left(·\right)\right)\right\}\le 0,$$

(12)

for any $t\in \left[0,T\right],$ where $\widehat{X}$ is the equilibrium wealth process that solves the SDE

$$\left\{\begin{array}{c}d\widehat{X}\left(s\right)=\left\{r_0\left(s\right)\widehat{X}\left(s\right)+\widehat{u}{\left(s\right)}^{\top }B\left(s\right)\right\}ds+\widehat{u}{\left(s\right)}^{\top }D\left(s\right)d{W}^{★}\left(s\right),\mathrm{for}s\in \left[t,T\right],\hfill \\ \widehat{X}\left(t\right)=\xi .\hfill \end{array}\right.$$

(13)

3.1. A Necessary and Sufficient Condition for Equilibrium Controls

In this paper, we follow an alternative approach, which is essentially a necessary and sufficient condition for equilibrium. In the same spirit of proving the stochastic Pontryagin’s maximum principle for equilibrium in Hu et al. (2012) for the case of linear quadratic models, we derive this condition by a second-order expansion in the spike variation.

Now, we introduce the adjoint equations involved in the characterization of open-loop Nash equilibrium controls.

3.1.1. Adjoint Processes

Let $\widehat{u}\left(·\right)={\left(\widehat{c}\left(·\right),{\widehat{u}}_I{\left(·\right)}^{\top }\right)}^{\top }\in {\mathcal{M}}_{\mathcal{F}}^1\left(0,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(0,T;{\mathbb{R}}^d\right)$ an admissible strategy and denote by $\widehat{X}\left(·\right)\in {\mathcal{L}}_{\mathcal{F}}^2\left(0,T;\mathbb{R}\right)$ the corresponding wealth process. For each $t\in \left[0,T\right]$, we introduce the first order adjoint equation defined on the time interval $\left[t,T\right]$, and satisfied by the pair of processes $\left(p\left(·;t\right),q\left(·;t\right)\right)$ as follows

$$\left\{\begin{array}{c}dp\left(s;t\right)=-r_0\left(s\right)p\left(s;t\right)ds+q{\left(s;t\right)}^{\top }dW\left(s\right),\mathrm{for}s\in \left[t,T\right],\hfill \\ p\left(T;t\right)=\lambda \left(T-t\right)h_x\left(\widehat{X}\left(T\right)\right),\hfill \end{array}\right.$$

(14)

where $q\left(·;t\right)={\left(q_1\left(·;t\right),\cdots ,q_d\left(·;t\right)\right)}^{\top }.$ Under the assumption (H1), the BSDE $\left(14\right)$ is uniquely solvable in ${\mathcal{L}}_{\mathcal{F}}^2\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right).$ Moreover, there exists a constant $K>0$ such that, for any $t\in \left[0,T\right],$ we have the following estimate

$${∥p\left(·;t\right)∥}_{{\mathcal{L}}_{\mathcal{F}}^2\left(t,T;\mathbb{R}\right)}^2+{∥q\left(·;t\right)∥}_{{\mathcal{M}}^2\left(t,T;{\mathbb{R}}^d\right)}^2\le K\left(1+{\xi }^2\right).$$

(15)

The second order adjoint equation is defined on the time interval $\left[t,T\right]$ and satisfied by the pair of processes $\left(P\left(·;t\right),Q\left(·;t\right)\right)\in {\mathcal{L}}_{\mathcal{F}}^2\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right)$ as follows:

$$\left\{\begin{array}{c}dP\left(s;t\right)=-2r_0\left(s\right)P\left(s;t\right)ds+Q{\left(s;t\right)}^{\top }dW\left(s\right),\mathrm{for}s\in \left[t,T\right],\hfill \\ P\left(T;t\right)=\lambda \left(T-t\right)h_{xx}\left(\widehat{X}\left(T\right)\right),\hfill \end{array}\right.$$

(16)

where $Q\left(·;t\right)={\left(Q_1\left(·;t\right),\cdots ,Q_d\left(·;t\right)\right)}^{\top }.$ Under (H1), the above BSDE has a unique solution $\left(P\left(·;t\right),Q\left(·;t\right)\right)\in {\mathcal{L}}_{\mathcal{F}}^2\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right)$. Moreover, we have the following representation for $P\left(·;t\right)$:

$$\begin{array}{c}P\left(s;t\right)={\mathbb{E}}^s\left[\lambda \left(T-t\right)e^{{\int }_s^{T}2r_0\left(\tau \right)d\tau }{h}_{xx}\left(\widehat{X}\left(T\right)\right)\right],\mathrm{for}s\in \left[t,T\right].\hfill \end{array}$$

(17)

Indeed, if we define the function $\Theta \left(·,t\right),$ for each $t\in \left[0,T\right],$ as the fundamental solution of the linear ODE

$$\left\{\begin{array}{c}d\Theta \left(\tau ,t\right)=r_0\left(\tau \right)\Theta \left(\tau ,t\right)d\tau ,\mathrm{for}\tau \in \left[t,T\right],\hfill \\ \Theta \left(t,t\right)=1,\hfill \end{array}\right.$$

(18)

and we apply the Itô’s formula to $\tau \to P\left(\tau ;t\right)\Theta {\left(\tau ,t\right)}^2$ on $\left[t,T\right],$ by taking conditional expectations, we obtain $\left(17\right)$. Note that, since $h_{xx}\left(\widehat{X}\left(T\right)\right)\le 0$, then $P\left(s;t\right)\le 0,$ $ds-a.e$.

3.1.2. A Characterization of Equilibrium Strategies

The following theorem is the first main result of this work, and it provides a necessary and sufficient condition for equilibrium. As we have said before, the proof is inspired by Hu et al. (2012) and Hu et al. (2015).

First, we define the process $\tilde{q}\left(s;t\right)={\left(0,q{\left(s;t\right)}^{\top }\right)}^{\top }$, and we introduce the following notations:

$$\mathcal{H}\left(s;t\right)\triangleq p\left(s;t\right)B\left(s\right)+D\left(s\right)\tilde{q}\left(s;t\right)+\lambda \left(s-t\right){\phi }_x\left({\Gamma }^{\top }\widehat{u}\left(s\right)\right)\Gamma ,$$

(19)

and, for a certain $\theta \in [0,1],$

$${\mathcal{A}}^{\epsilon }\left(s;t\right)\triangleq \left(\begin{array}{cc}\lambda \left(s-t\right){\phi }_{xx}\left({\Gamma }^{\top }\left(\widehat{u}\left(s\right)+\theta v{1}_{\left[t,t+\epsilon \right)}\left(s\right)\right)\right)& 0_{{\mathbb{R}}^d}^{\top }\\ 0_{{\mathbb{R}}^d}& \sigma \left(s\right)\sigma {\left(s\right)}^{\top }P\left(s;t\right)\end{array}\right).$$

(20)

Theorem 1.

Let (H1)–(H4) hold. Given an admissible strategy $\widehat{u}\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(0,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(0,T;{\mathbb{R}}^d\right)$, let for any $t\in \left[0,T\right],$ the process

$$\left(p\left(·;t\right),q\left(·;t\right)\right)\in {\mathcal{L}}_{\mathcal{F}}^2\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right)$$

be the unique solution to the BSDE $\left(14\right)$. Then, $\widehat{u}\left(·\right)$ is an equilibrium consumption-investment strategy, if and only if, the following condition holds

$$\mathcal{H}\left(t;t\right)=0,d\mathbb{P}-a.s.,dt-a.e.$$

(21)

In order to derive the proof of this theorem, let us, first of all, derive some technical results. First, denote by ${\widehat{X}}^{\epsilon }\left(·\right)$ the solution of the state equation corresponding to $u^{\epsilon }\left(·\right)$. Since the coefficients of the controlled state equation are linear, using the standard perturbation approach (see, e.g., Yong and Zhou (1999)), we have

$${\widehat{X}}^{\epsilon }\left(s\right)-\widehat{X}\left(s\right)=y^{\epsilon ,v}\left(s\right)+z^{\epsilon ,v}\left(s\right),\mathrm{for}s\in \left[t,T\right],$$

(22)

where, for any ${\mathbb{R}}^{d+1}-$valued, ${\mathcal{F}}_t-$measurable, and bounded random variable v, and for any $\epsilon \in \left[0,T-t\right),$ $y^{\epsilon ,v}\left(·\right)$ and $z^{\epsilon ,v}\left(·\right)$, solve, respectively, the following linear stochastic differential equations:

$$\left\{\begin{array}{c}d{y}^{\epsilon ,v}\left(s\right)=r_0\left(s\right)y^{\epsilon ,v}\left(s\right)ds+v^{\top }D\left(s\right)1_{\left[t,t+\epsilon \right)}\left(s\right)d{W}^{★}\left(s\right),\mathrm{for}s\in \left[t,T\right],\hfill \\ y^{\epsilon ,v}\left(t\right)=0,\hfill \end{array}\right.$$

(23)

and

$$\left\{\begin{array}{c}d{z}^{\epsilon ,v}\left(s\right)=\left\{r_0\left(s\right)z^{\epsilon ,v}\left(s\right)+v^{\top }B\left(s\right)1_{\left[t,t+\epsilon \right)}\left(s\right)\right\}ds,\mathrm{for}s\in \left[t,T\right],\hfill \\ z^{\epsilon ,v}\left(t\right)=0.\hfill \end{array}\right.$$

(24)

Proposition 1.

Let (H1)–(H4) hold. For any $t\in \left[0,T\right],$ the following estimates hold for any $k\ge 1:$

$$\begin{array}{cc}\hfill & {\mathbb{E}}^t\left[\underset{s\in \left[t,T\right]}{sup}{\left|y^{\epsilon ,v}\left(s\right)\right|}^{2k}\right]=O\left({\epsilon }^k\right),\hfill \end{array}$$

(25)

$$\begin{array}{cc}\hfill & {\mathbb{E}}^t\left[\underset{s\in \left[t,T\right]}{sup}{\left|z^{\epsilon ,v}\left(s\right)\right|}^{2k}\right]=O\left({\epsilon }^{2k}\right),\hfill \end{array}$$

(26)

$$\begin{array}{cc}\hfill & {\mathbb{E}}^t\left[\underset{s\in \left[t,T\right]}{sup}{\left|y^{\epsilon ,v}\left(s\right)+z^{\epsilon ,v}\left(s\right)\right|}^{2k}\right]=O\left({\epsilon }^k\right).\hfill \end{array}$$

(27)

In addition, we have the following equality:

$$\begin{array}{cc}\hfill & J\left(t,\widehat{X}\left(t\right),u^{\epsilon }\left(·\right)\right)-J\left(t,\widehat{X}\left(t\right),\widehat{u}\left(·\right)\right)\hfill \\ \hfill & ={\displaystyle {\int }_t^{t+\epsilon }}{\mathbb{E}}^t\left[〈\mathcal{H}\left(s;t\right),v〉+\frac{1}{2}〈{\mathcal{A}}^{\epsilon }\left(s;t\right)v,v〉\right]ds+o\left(\epsilon \right).\hfill \end{array}$$

(28)

Proof. 

See Appendix A. □

Now, we present the following technical lemma needed later. The proof follows an argument adapted from Hamaguchi (2019).

Lemma 1.

Under assumptions (H1)–(H4), there exists a sequence ${\left({\epsilon }_n^t\right)}_{n\in \mathbb{N}}\subset (0,T-t)$ satisfying ${\epsilon }_n^t\to 0$ as $n\to \infty$, such that

(1) 

$\underset{n\to \infty }{lim}{\displaystyle \frac{1}{{\epsilon }_n^t}}{\displaystyle {\int }_t^{t+{\epsilon }_n^t}}{\mathbb{E}}^t\left[\mathcal{H}\left(s;t\right)\right]ds=\mathcal{H}\left(t;t\right),$$d\mathbb{P}-a.s,$$dt-a.e.$

(2) 

$\underset{n\to \infty }{lim}{\displaystyle \frac{1}{{\epsilon }_n^t}}{\displaystyle {\int }_t^{t+{\epsilon }_n^t}}{\mathbb{E}}^t\left[{\mathcal{A}}^{{\epsilon }_n^t}\left(s;t\right)\right]ds={\mathcal{A}}^0\left(t;t\right),$$d\mathbb{P}-a.s,$$dt-a.e.$

Proof. 

See Appendix A. □

Proof 

(Proof of Theorem 1.). Given an admissible strategy

$$\widehat{u}\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(0,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(0,T;{\mathbb{R}}^d\right),$$

for which $\left(21\right)$ holds, according to Lemma 1, we have from $\left(28\right)$ that, for any $t\in \left[0,T\right]$, and for any ${\mathbb{R}}^{d+1}-$valued, ${\mathcal{F}}_t-$measurable, and bounded random variable $v,$ there exists a sequence ${\left({\epsilon }_n^t\right)}_{n\in \mathbb{N}}\subset (0,T-t)$ satisfying ${\epsilon }_n^t\to 0$ as $n\to \infty$, such that

$$\begin{array}{cc}\hfill \underset{n\to 0}{lim}\frac{1}{{\epsilon }_n^t}\left\{J\left(t,\widehat{X}\left(t\right),u^{\epsilon }\left(·\right)\right)-J\left(t,\widehat{X}\left(t\right),\widehat{u}\left(·\right)\right)\right\}& =〈\mathcal{H}\left(t;t\right),v〉+\frac{1}{2}〈{\mathcal{A}}^0\left(t;t\right)v,v〉,\hfill \\ \hfill & =\frac{1}{2}〈{\mathcal{A}}^0\left(t;t\right)v,v〉,\hfill \\ \hfill & \le 0,\hfill \end{array}$$

where we have used in the last inequality the fact that, under the concavity condition of $\phi \left(·\right)$ and $h\left(·\right)$,it follows $〈{\mathcal{A}}^0\left(t;t\right)v,v〉\le 0.$ Hence, $\widehat{u}\left(·\right)$ is an equilibrium strategy.

Conversely, assume that $\widehat{u}\left(·\right)$ is an equilibrium strategy. Then, by $\left(12\right)$, together with $\left(28\right)$ and Lemma 1, for any $\left(t,u\right)\in \left[0,T\right]\times {\mathbb{R}}^{d+1},$ the following inequality holds:

$$〈\mathcal{H}\left(t;t\right),u〉+\frac{1}{2}〈{\mathcal{A}}^0\left(t;t\right)u,u〉\le 0.$$

(29)

Now, we define $\forall \left(t,u\right)\in \left[0,T\right]\times {\mathbb{R}}^{d+1},$

$$\Phi \left(t,u\right)=〈\mathcal{H}\left(t;t\right),u〉+\frac{1}{2}〈{\mathcal{A}}^0\left(t;t\right)u,u〉.$$

Clearly, $\Phi \left(·,·\right)$ is well defined. In fact, it is a second order polynomial in terms of the components of vector $u.$ Easy manipulations show that the inequality $\left(29\right)$ is equivalent to

$$\Phi \left(t,0\right)=\underset{u\in {\mathbb{R}}^{d+1}}{max}\Phi \left(t,u\right),d\mathbb{P}-a.s,\forall t\in \left[0,T\right].$$

(30)

So, it is easy to see that the maximum condition $\left(30\right)$ leads to the following condition: $\forall t\in \left[0,T\right],$

$${\Phi }_u\left(t,0\right)=\mathcal{H}\left(t;t\right)=0,d\mathbb{P}-a.s.$$

(31)

According to Lemma 1, the expression $\left(21\right)$ follows immediately. This completes the proof. □

3.2. A Characterization of Equilibrium Strategies by Verification Argument

In classical (time-consistent) stochastic control theory, the sufficient condition of optimality is of significant importance for computing optimal controls. It says that, if an admissible control satisfies the maximum condition of the Hamiltonian function, then the control is indeed optimal for the stochastic control problem. This allows one to solve examples of optimal control problems, where one can find a smooth solution to the associated adjoint equation.

The aim of the following theorem is to characterize the open-loop equilibrium pair only by a sufficient condition of equilibrium. Let us introduce an alternative to (H3) hypothesis:

(H3′) 

The maps $\phi \left(·\right),h\left(·\right)$ are continuously differentiable, and the first order derivatives ${\phi }_x\left(·\right),h_x\left(·\right)$ are continuous.

Then, we have the following theorem:

Theorem 2.

Let (H1), (H2) and (H3’) hold. Given an admissible strategy $\widehat{u}\left(·\right)\in {\mathcal{M}}_{\mathcal{F}}^1\left(0,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(0,T;{\mathbb{R}}^d\right)$, let, for any $t\in \left[0,T\right],$ the process

$$\left(p\left(·;t\right),q\left(·;t\right)\right)\in {\mathcal{L}}_{\mathcal{F}}^2\left(t,T;\mathbb{R}\right)\times {\mathcal{M}}_{\mathcal{F}}^2\left(t,T;{\mathbb{R}}^d\right)$$

be the unique solution to the BSDE $\left(14\right)$. Then, $\widehat{u}\left(·\right)$ is an equilibrium consumption-investment strategy, if the following condition holds:

$$\mathcal{H}\left(t;t\right)=0,d\mathbb{P}-a.s.,dt-a.e.$$

(32)

Proof. 

Suppose that $\widehat{u}(·)$ is an admissible control for which the condition (32) holds. In addition, for any $t\in [0,T]$ and $\epsilon \in [0,T-t)$, we consider $u^{\epsilon }\left(·\right)$ by $\left(11\right).$ Then, we have the following difference.

$$\begin{array}{cc}\hfill & J\left(t,\widehat{X}\left(t\right),\widehat{u}\left(·\right)\right)-J\left(t,\widehat{X}\left(t\right),u^{\epsilon }\left(·\right)\right)\hfill \\ \hfill & ={\mathbb{E}}^t\left[{\displaystyle {\int }_t^T}\lambda \left(s-t\right)\left(\phi \left({\Gamma }^{\top }\widehat{u}\left(s\right)\right)-\phi \left({\Gamma }^{\top }{u}^{\epsilon }\left(s\right)\right)\right)ds+\lambda \left(T-t\right)\left(h\left(\widehat{X}\left(T\right)\right)-h\left({\widehat{X}}^{\epsilon }\left(T\right)\right)\right)\right].\hfill \end{array}$$

Noting that, by the concavity of $h\left(·\right)$, we have

$$\begin{array}{cc}{\mathbb{E}}^t\left[\lambda \left(T-t\right)\left(h\left(\widehat{X}\left(T\right)\right)-h\left({\widehat{X}}^{\epsilon }\left(T\right)\right)\right)\right]\hfill & \ge {\mathbb{E}}^t\left[\lambda \left(T-t\right){\left(\widehat{X}\left(T\right)-{\widehat{X}}^{\epsilon }\left(T\right)\right)}^T{h}_x\left(\widehat{X}\left(T\right)\right)\right].\hfill \end{array}$$

Accordingly, by the terminal condition in the BSDE (14), we obtain that

$$\begin{array}{cc}\hfill & J\left(t,\widehat{X}\left(t\right),\widehat{u}\left(·\right)\right)-J\left(t,\widehat{X}\left(t\right),u^{\epsilon }\left(·\right)\right)\hfill \\ \hfill & \ge {\mathbb{E}}^t\left[{\displaystyle {\int }_t^T}\lambda \left(s-t\right)\left(\phi \left({\Gamma }^{\top }\widehat{u}\left(s\right)\right)-\phi \left({\Gamma }^{\top }{u}^{\epsilon }\left(s\right)\right)\right)ds+{\left(\widehat{X}\left(T\right)-{\widehat{X}}^{\epsilon }\left(T\right)\right)}^{T}p\left(T;t\right)\right].\hfill \end{array}$$

(33)

By applying Ito’s formula to $s\mapsto {\left(\widehat{X}\left(s\right)-{\widehat{X}}^{\epsilon }\left(s\right)\right)}^{T}p\left(s;t\right)$ on $\left[t,T\right]$, we get

$${\mathbb{E}}^t\left[{\left(\widehat{X}\left(T\right)-{\widehat{X}}^{\epsilon }\left(T\right)\right)}^{T}p\left(T;t\right)\right]={\mathbb{E}}^t\left[{\displaystyle {\int }_t^T}{\left(\widehat{u}\left(s\right)-u^{\epsilon }\left(s\right)\right)}^T\left(B\left(s\right)p\left(s;t\right)+D\left(s\right)\tilde{q}\left(s;t\right)\right)ds\right].$$

(34)

By the concavity of $\phi \left(·\right)$, we find

$$\begin{array}{cc}\hfill & {\mathbb{E}}^t\left[{\displaystyle {\int }_t^T}\lambda \left(s-t\right)\left(\phi \left({\Gamma }^{\top }\widehat{u}\left(s\right)\right)-\phi \left({\Gamma }^{\top }{u}^{\epsilon }\left(s\right)\right)\right)ds\right]\hfill \\ \hfill & \ge {\mathbb{E}}^t\left[{\displaystyle {\int }_t^T}\lambda \left(s-t\right)〈{\phi }_x\left({\Gamma }^{\top }\widehat{u}\left(s\right)\right)\Gamma ,\widehat{u}\left(s\right)-u^{\epsilon }\left(s\right)〉ds\right].\hfill \end{array}$$

(35)

By taking $\left(34\right)$ and $\left(35\right)$ in $\left(33\right),$ it follows that

$$\begin{array}{cc}\hfill & J\left(t,\widehat{X}\left(t\right),u^{\epsilon }\left(·\right)\right)-J\left(t,\widehat{X}\left(t\right),\widehat{u}\left(·\right)\right)\hfill \\ \hfill & \le {\mathbb{E}}^t\left[{\displaystyle {\int }_t^T}〈B\left(s\right)p\left(s;t\right)+D\left(s\right)\tilde{q}\left(s;t\right)+\lambda \left(s-t\right){\phi }_x\left({\Gamma }^{\top }\widehat{u}\left(s\right)\right)\Gamma ,u^{\epsilon }\left(s\right)-\widehat{u}\left(s\right)〉ds\right]\hfill \\ \hfill & ={\mathbb{E}}^t\left[{\displaystyle {\int }_t^{t+\epsilon }}〈\mathcal{H}\left(s;t\right),v〉ds\right].\hfill \end{array}$$

Now, dividing both sides by $\epsilon$ and taking the limit when $\epsilon$ vanishes, by Lemma 1, we conclude that $\widehat{u}($·) is an equilibrium control. □

Remark 2.

The purpose of the sufficient condition of optimality is to find an optimal control by computing the difference $J\left(\widehat{u}\left(·\right)\right)-J\left(u\left(·\right)\right)$ in terms of the Hamiltonian function, where $u\left(·\right)$ is an arbitrary admissible control. Here, the spike variation perturbation $\left(11\right)$ plays a key role in deriving the sufficient condition for equilibrium strategies, which reduces to the computation of the difference $J\left(t,\widehat{X}\left(t\right),\widehat{u}\left(·\right)\right)-J\left(t,\widehat{X}\left(t\right),u^{\epsilon }\left(·\right)\right)$, without the necessity to achieving the second order expansion in the spike variation.

4. Equilibrium When the Coefficients Are Deterministic

Theorems 1 and 2 show that one can obtain equilibrium consumption-investment strategies by solving a system of FBSDEs which is not standard since the “flow” of the unknown process ${\left(p\left(·;t\right),q\left(·;t\right)\right)}_{t\in \left[0,T\right]}$ is involved. Moreover, there is an additional constraint that act on the “diagonal” (i.e., when $s=t$) of the flow. As far as we know, the explicit solvability of this type of equations remains an open problem, except for some particular form of the utility function. However, we are able to solve quite thoroughly this problem when the parameters $r_0\left(·\right)$, $\mu \left(·\right)$ and $\sigma \left(·\right)$ are deterministic functions. In this section, we define what we mean by an equilibrium rule, and then we derive a parabolic backward PDE. Our PDE is comparable with the one obtained in Marín-Solano and Navas (2010) and Ekeland and Pirvu (2008), for some particular discount functions in a finite horizon with different utility functions.

In this section, let us look at the Merton’s portfolio problem with general discounting and deterministic parameters. At first, we consider the following parabolic backward partial differential equation:

$$\left\{\begin{array}{c}{\theta }_t\left(t,x\right)+{\theta }_x\left(t,x\right)\left(r_0\left(t\right)x-r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}-\mathcal{I}\left(\lambda \left(T-t\right)\theta \left(t,x\right)\right)\right)\hfill \\ +{\displaystyle \frac{1}{2}}{\theta }_{xx}\left(t,x\right)r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\left({\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}\right)}^2+\theta \left(t,x\right)r_0\left(t\right)=0,\left(t,x\right)\in \left[0,T\right]\times \mathbb{R},\hfill \\ \theta \left(T,x\right)=h_x\left(x\right),\hfill \end{array}\right.$$

(36)

where we denote by $\mathcal{I}\left(·\right)$ the inverse function of the strictly decreasing marginal derivative utility ${\phi }_x\left(·\right)$ and $\Sigma \left(s\right)\equiv {\left(\sigma \left(s\right)\sigma {\left(s\right)}^{\top }\right)}^{-1}$.

We have the following verification theorem.

Theorem 3.

Let (H1)–(H4) hold. If there exists a classical solution

$$\theta \left(·,·\right)\in {\mathcal{C}}^{1,2}\left((0,T)\times \mathbb{R},\mathbb{R}\right)\cap \mathcal{C}\left(\left[0,T\right]\times \mathbb{R},\mathbb{R}\right)$$

of the PDE $\left(36\right)$ such that the stochastic differential equation,

$$\left\{\begin{array}{c}d\widehat{X}\left(s\right)=\left\{r_0\left(s\right)\widehat{X}\left(s\right)-r{\left(s\right)}^{\top }\Sigma \left(s\right)r\left(s\right){\displaystyle \frac{\theta \left(s,\widehat{X}\left(s\right)\right)}{{\theta }_x\left(s,\widehat{X}\left(s\right)\right)}}-\mathcal{I}\left(\lambda \left(T-s\right)\theta \left(s,\widehat{X}\left(s\right)\right)\right)\right\}ds\hfill \\ -{\displaystyle \frac{\theta \left(s,\widehat{X}\left(s\right)\right)}{{\theta }_x\left(s,\widehat{X}\left(s\right)\right)}}r{\left(s\right)}^{\top }\Sigma \left(s\right)\sigma \left(s\right)dW\left(s\right),s\in \left[0,T\right],\hfill \\ \widehat{X}\left(0\right)=x_0,\hfill \end{array}\right.$$

(37)

has a unique solution $\widehat{X}\left(·\right),$ in which the following estimate holds

$$\mathbb{E}\left[\underset{0\le t\le T}{sup}{\left|X\left(t\right)\right|}^2\right]\le K\left(1+{\left|x_0\right|}^2\right),$$

then, the equilibrium consumption-investment strategy $\widehat{u}\left(·\right)={\left(\widehat{c}\left(·\right),{\widehat{u}}_I{\left(·\right)}^{\top }\right)}^{\top }$ is given by

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=\mathcal{I}\left(\lambda \left(T-t\right)\theta \left(t,\widehat{X}\left(t\right)\right)\right),dt-a.e.,\hfill \end{array}$$

(38)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=-\Sigma \left(t\right)r\left(t\right)\frac{\theta \left(t,\widehat{X}\left(t\right)\right)}{{\theta }_x\left(t,\widehat{X}\left(t\right)\right)},dt-a.e.\hfill \end{array}$$

(39)

Proof. 

Suppose that $\widehat{u}\left(·\right)={\left(\widehat{c}\left(·\right),{\widehat{u}}_I{\left(·\right)}^{\top }\right)}^{\top }$ is an equilibrium control and denote by $\widehat{X}\left(·\right)$ the corresponding wealth process. Then, in view of Theorem 1, there exists an adapted process, $\left(\widehat{X}\left(·\right),{\left(p\left(·;t\right),q\left(·;t\right)\right)}_{t\in \left[0,T\right]}\right),$ solution of the following flow of forward-backward SDEs, parametrized by $t\in \left[0,T\right]:$

$$\left\{\begin{array}{c}dX\left(s\right)=\left\{r_0\left(s\right)\widehat{X}\left(s\right)+{\widehat{u}}_I{\left(s\right)}^{\top }r\left(s\right)-\widehat{c}\left(s\right)\right\}ds+{\widehat{u}}_I{\left(s\right)}^{\top }\sigma \left(s\right)dW\left(s\right),s\in \left[t,T\right],\hfill \\ dp\left(s;t\right)=-r_0\left(s\right)p\left(s;t\right)ds+q{\left(s,t\right)}^{\top }dW\left(s\right),0\le t\le s\le T,\hfill \\ \widehat{X}\left(0\right)=x_0,p\left(T;t\right)=\lambda \left(T-t\right)h_x\left(\widehat{X}\left(T\right)\right),t\in \left[0,T\right],\hfill \end{array}\right.$$

(40)

with conditions

$$\begin{array}{cc}\hfill & -p\left(t;t\right)+{\phi }_x\left(\widehat{c}\left(t\right)\right)=0,dt-a.e.,\hfill \end{array}$$

(41)

$$\begin{array}{cc}\hfill & p\left(t;t\right)r\left(t\right)+\sigma \left(t\right)q\left(t;t\right)=0,dt-a.e.\hfill \end{array}$$

(42)

From the terminal condition in the first order adjoint process, we consider the following Ansatz

$$p\left(s;t\right)=\lambda \left(T-t\right)\mathcal{V}\left(s,\widehat{X}\left(s\right)\right),\forall 0\le t\le s\le T,$$

(43)

for some deterministic function $\mathcal{V}\left(·,·\right)\in {\mathcal{C}}^{1,2}\left(\left[0,T\right]\times \mathbb{R},\mathbb{R}\right)$ such that $\mathcal{V}\left(T,·\right)=h_x\left(·\right).$

Applying Itô’s formula to $\left(43\right)$, it yields

$$\begin{array}{cc}\hfill dp\left(s;t\right)& =\lambda \left(T-t\right)\left\{{\mathcal{V}}_s\left(s,\widehat{X}\left(s\right)\right)+{\mathcal{V}}_x\left(s,\widehat{X}\left(s\right)\right)\left(\widehat{X}\left(s\right)r_0\left(s\right)+{\widehat{u}}_I{\left(s\right)}^{\top }r\left(s\right)-\widehat{c}\left(s\right)\right)\right.\hfill \\ \hfill & \left.+\frac{1}{2}{\mathcal{V}}_{xx}\left(s,\widehat{X}\left(s\right)\right){\widehat{u}}_I{\left(s\right)}^{\top }\sigma \left(s\right)\sigma {\left(s\right)}^{\top }{\widehat{u}}_I\left(s\right)\right\}ds\hfill \\ \hfill & +\lambda \left(T-t\right){\mathcal{V}}_x\left(s,\widehat{X}\left(s\right)\right){\widehat{u}}_I{\left(s\right)}^{\top }\sigma \left(s\right)dW\left(s\right).\hfill \end{array}$$

(44)

Next, comparing the $ds$ term in $\left(44\right)$ by the ones in the second equation in $\left(40\right),$ we deduce that

$$\begin{array}{cc}\hfill & {\mathcal{V}}_s\left(s,\widehat{X}\left(s\right)\right)+{\mathcal{V}}_x\left(s,\widehat{X}\left(s\right)\right)\left(\widehat{X}\left(s\right)r_0\left(s\right)+{\widehat{u}}_I{\left(s\right)}^{\top }r\left(s\right)-\widehat{c}\left(s\right)\right)\hfill \\ \hfill & +\frac{1}{2}{\mathcal{V}}_{xx}\left(s,\widehat{X}\left(s\right)\right){\widehat{u}}_I{\left(s\right)}^{\top }\sigma \left(s\right)\sigma {\left(s\right)}^{\top }{\widehat{u}}_I\left(s\right)=-r_0\left(s\right)\mathcal{V}\left(s,\widehat{X}\left(s\right)\right),\hfill \end{array}$$

(45)

and by comparing the $dW\left(s\right)$ terms we also get

$$q\left(s,t\right)=\lambda \left(T-t\right){\mathcal{V}}_x\left(s,\widehat{X}\left(s\right)\right)\sigma {\left(s\right)}^{\top }{\widehat{u}}_I\left(s\right).$$

(46)

We put the above expressions of $p\left(s;t\right)$ and $q\left(s;t\right)$ at $s=t$ into $\left(41\right)$ and $\left(42\right),$ and then

$$\lambda \left(T-t\right)\mathcal{V}\left(t,\widehat{X}\left(t\right)\right)-{\phi }_x\left(\widehat{c}\left(t\right)\right)=0,$$

(47)

and

$${\mathcal{V}}_x\left(t,\widehat{X}\left(t\right)\right)\sigma \left(t\right)\sigma {\left(t\right)}^{\top }{\widehat{u}}_I\left(t\right)=-r\left(t\right)\mathcal{V}\left(t,\widehat{X}\left(t\right)\right),$$

(48)

which leads to the following representation

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=\mathcal{I}\left(\lambda \left(T-t\right)\mathcal{V}\left(t,\widehat{X}\left(t\right)\right)\right),dt-a.e.,\hfill \end{array}$$

(49)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=-\Sigma \left(t\right)r\left(t\right)\frac{\mathcal{V}\left(t,\widehat{X}\left(t\right)\right)}{{\mathcal{V}}_x\left(t,\widehat{X}\left(t\right)\right)},dt-a.e.\hfill \end{array}$$

(50)

Then, by taking expressions $\left(49\right)$ and $\left(50\right)$ into $\left(45\right)$, this suggests that $\mathcal{V}\left(·,·\right)$ coincides with the solution of the PDE $\left(36\right)$, evaluated along the trajectory $\widehat{X}\left(·\right),$ solution of the state equation. □

Remark 3.

Equation $\left(36\right)$ is comparable with the one in Marín-Solano and Navas (2010) and Ekeland and Pirvu (2008), in which the equilibrium is defined within the class of feedback controls.

Remark 4.

Theorem 3 enables us to derive a suitable equilibrium strategy ${\widehat{u}}_I\left(t\right)$, as well as $\widehat{c}\left(t\right)$, at each $t\in [0,T]$, and this permits us to derive directly an explicit expression of equilibrium control in the cases of power, logarithmic, and exponential utility functions. While the duality approach used in Hamaguchi (2019) permits to characterize a stochastic equilibrium solution in terms of a complicated FBSDE system of a closed form, it does not provide an explicit representation.

5. Special Utility Functions

Equilibrium investment-consumption strategies for Merton’s portfolio problem with general discounting and deterministic parameters have been studied in Marín-Solano and Navas (2010); Ekeland and Pirvu (2008); and Yong (2012), among others, in different frameworks. In this section, we discuss some special cases in which the function $\theta \left(·,·\right)$ may be separated into functions of time and state variables. Then, one needs only to solve a system of ODEs in order to completely determine the equilibrium strategies. We will compare our results with some existing ones in the literature.

5.1. Power Utility Function

To make the problem (8)–(9) explicitly solvable, we consider power utility functions for the running and terminal costs. That is, $\phi \left(c\right)=\frac{c^{\gamma }}{\gamma }$ and $h\left(x\right)=a\frac{x^{\gamma }}{\gamma },$ with $a>0$ and $\gamma \in \left(0,1\right).$ In this case, the PDE $\left(36\right)$ reduces to

$$\left\{\begin{array}{c}{\theta }_t\left(t,x\right)+{\theta }_x\left(t,x\right)\left(r_0\left(t\right)x-r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}-{\displaystyle \frac{\lambda {\left(T-t\right)}^{1-\gamma }}{\theta {\left(t,x\right)}^{\gamma -1}}}\right)\hfill \\ +{\displaystyle \frac{1}{2}}{\theta }_{xx}\left(t,x\right)r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\left({\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}\right)}^2+r_0\left(t\right)\theta \left(t,x\right)=0,\left(t,x\right)\in \left[0,T\right]\times \mathbb{R},\hfill \\ \theta \left(T,x\right)=a{x}^{\gamma -1}.\hfill \end{array}\right.$$

From the terminal condition, we consider the following trial solution

$$\theta \left(s,x\right)=a\Pi \left(s\right)x^{\gamma -1},$$

for some deterministic function $\Pi \left(·\right)\in C^1\left(\left[0,T\right],\mathbb{R}\right)$ with the terminal condition $\Pi \left(T\right)=1.$ Then, by substituting in $\left(36\right),$ we obtain

$$\left\{\begin{array}{c}{\Pi }_t\left(t\right)+\left(K\left(t\right)+Q\left(t\right)\Pi {\left(t\right)}^{\frac{1}{\gamma -1}}\right)\Pi \left(t\right)=0,\mathrm{for}t\in \left[0,T\right],\hfill \\ \Pi \left(T\right)=1.\hfill \end{array}\right.$$

(51)

where

$$K\left(t\right)\equiv \gamma r_0\left(t\right)+\frac{1}{2}{\displaystyle \frac{\gamma }{\left(1-\gamma \right)}}r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right),$$

(52)

and

$$Q\left(t\right)\equiv \left(1-\gamma \right){\left(a\lambda \left(T-t\right)\right)}^{\frac{1}{\gamma -1}}.$$

(53)

It remains to determine the function $\Pi \left(·\right).$ First, by the change of variable

$$\Pi \left(t\right)=y{\left(t\right)}^{\left(1-\gamma \right)},\mathrm{for}t\in \left[0,T\right],$$

(54)

we find that $y\left(·\right)$ should solve the following ODE

$$\left\{\begin{array}{c}{y}_t\left(t\right)-{\displaystyle \frac{K\left(t\right)}{\left(\gamma -1\right)}}y\left(t\right)-{\displaystyle \frac{Q\left(t\right)}{\left(\gamma -1\right)}}=0,\mathrm{for}t\in \left[0,T\right],\hfill \\ y\left(T\right)=1.\hfill \end{array}\right.$$

A variation of constant formula yields to

$$y\left(t\right)=\left(1-{\int }_t^T{\displaystyle \frac{Q\left(\tau \right)}{\left(\gamma -1\right)}}{e}^{{\displaystyle {\int }_{\tau }^T}{\displaystyle \frac{K\left(l\right)}{\left(\gamma -1\right)}}dl}d\tau \right)exp\left(-{\displaystyle {\int }_t^T}{\displaystyle \frac{K\left(\tau \right)}{\left(\gamma -1\right)}}d\tau \right),\mathrm{for}t\in \left[0,T\right],$$

and, subsequently, we obtain

$$\Pi \left(t\right)={\left(1-{\int }_t^T{\displaystyle \frac{Q\left(\tau \right)}{\left(\gamma -1\right)}}{e}^{{\displaystyle {\int }_{\tau }^T}{\displaystyle \frac{K\left(l\right)}{\left(\gamma -1\right)}}dl}d\tau \right)}^{1-\gamma }exp\left({\displaystyle {\int }_t^T}K\left(\tau \right)d\tau \right),\mathrm{for}t\in \left[0,T\right].$$

In view of Theorem 3, the representation of the Nash equilibrium strategies $\left(38\right)$–$\left(39\right)$ gives

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)={\left(a\lambda \left(T-t\right)\Pi \left(t\right)\right)}^{\frac{1}{\gamma -1}}\widehat{X}\left(t\right),dt-a.e.,\hfill \end{array}$$

(55)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\frac{\widehat{X}\left(t\right)}{\left(1-\gamma \right)},dt-a.e.\hfill \end{array}$$

(56)

This consumption–investment strategy determines a wealth process given by

$$\begin{array}{cc}X\left(t\right)=& x_0+{\displaystyle {\int }_0^t}\left\{r_0\left(s\right)+{\displaystyle \frac{1}{\left(1-\gamma \right)}}r{\left(s\right)}^{\top }\Sigma \left(s\right)r\left(s\right)-{\left(a\lambda \left(T-s\right)\Pi \left(s\right)\right)}^{\frac{1}{\gamma -1}}\right\}\widehat{X}\left(s\right)ds\hfill \\ & +{\displaystyle {\int }_0^t}{\displaystyle \frac{\widehat{X}\left(s\right)}{\left(1-\gamma \right)}}r{\left(s\right)}^{\top }\Sigma \left(s\right)\sigma \left(s\right)dW\left(s\right),t\in \left[0,T\right].\hfill \end{array}$$

The above solution is comparable with the one obtained by Marín-Solano and Navas (2010); Ekeland and Pirvu (2008); and Yong (2012).

5.2. Logarithmic Utility Function

Now, let us analyze the case where $\phi \left(c\right)=ln\left(c\right)$ and $h\left(x\right)=aln\left(x\right),$ with $a>0.$ In this case, the PDE $\left(36\right)$ reduces to

$$\left\{\begin{array}{c}{\theta }_t\left(t,x\right)+{\theta }_x\left(t,x\right)\left(r_0\left(t\right)x-r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}-{\left(\lambda \left(T-t\right)\theta \left(t,x\right)\right)}^{-1}\right)\hfill \\ +{\displaystyle \frac{1}{2}}{\theta }_{xx}\left(t,x\right)r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\left({\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}\right)}^2+r_0\left(t\right)\theta \left(t,x\right)=0,\left(t,x\right)\in \left[0,T\right]\times \mathbb{R},\hfill \\ \theta \left(T,x\right)={\displaystyle \frac{a}{x}}.\hfill \end{array}\right.$$

(57)

Once again, we know that the solution of $\left(57\right)$ will be of the form

$$\theta \left(t,x\right)=\Pi \left(t\right){\displaystyle \frac{a}{x}},\mathrm{for}t\in \left[0,T\right],$$

(58)

where $\Pi \left(·\right)\in C^1\left(\left[0,T\right],\mathbb{R}\right).$ By substituting in $\left(57\right),$ we get

$$\left\{\begin{array}{c}{\Pi }_t\left(t\right)+{\displaystyle \frac{1}{a\lambda \left(T-t\right)}}=0,\mathrm{for}t\in \left[0,T\right],\hfill \\ \Pi \left(T\right)=1,\hfill \end{array}\right.$$

(59)

which is explicitly solved by

$$\Pi \left(t\right)=1+{\int }_t^T{\displaystyle \frac{1}{a\lambda \left(T-r\right)}}dr,\mathrm{for}t\in \left[0,T\right].$$

In view of Theorem 3, the representation of the Nash equilibrium strategies $\left(38\right)$–$\left(39\right)$ gives

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)={\left(a\lambda \left(T-t\right)+{\int }_t^T{\displaystyle \frac{\lambda \left(T-t\right)}{\lambda \left(T-r\right)}}dr\right)}^{-1}\widehat{X}\left(t\right),dt-a.e.,\hfill \end{array}$$

(60)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\widehat{X}\left(t\right),dt-a.e.\hfill \end{array}$$

(61)

This consumption–investment strategy determines a wealth process given by

$$\begin{array}{cc}X\left(t\right)=\hfill & x_0+{\displaystyle {\int }_0^t}\left\{r_0\left(s\right)+r{\left(s\right)}^{\top }\Sigma \left(s\right)r\left(s\right)-{\left(a\lambda \left(T-s\right)+{\int }_s^T{\displaystyle \frac{\lambda \left(T-s\right)}{\lambda \left(T-r\right)}}dr\right)}^{-1}\right\}\widehat{X}\left(s\right)ds\hfill \\ & +{\displaystyle {\int }_0^t}r{\left(s\right)}^{\top }\Sigma \left(s\right)\sigma \left(s\right)\widehat{X}\left(s\right)dW\left(s\right).\hfill \end{array}$$

5.3. Exponential Utility Function

Next, we consider the case where $\phi \left(c\right)=-{\displaystyle \frac{e^{-\gamma c}}{\gamma }}$ and $h\left(x\right)=-a{\displaystyle \frac{e^{-\gamma x}}{\gamma }},$ with $a,\gamma >0$. The terminal condition PDE $\left(36\right)$ becomes

$$\left\{\begin{array}{c}{\theta }_t\left(t,x\right)+{\theta }_x\left(t,x\right)\left(r_0\left(t\right)x-r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}-{\displaystyle \frac{1}{\gamma }}ln\left(\lambda \left(T-t\right)\theta \left(t,x\right)\right)\right)\hfill \\ +{\displaystyle \frac{1}{2}}{\theta }_{xx}\left(t,x\right)r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right){\left({\displaystyle \frac{\theta \left(t,x\right)}{{\theta }_x\left(t,x\right)}}\right)}^2+r_0\left(t\right)\theta \left(t,x\right)=0,\left(t,x\right)\in \left[0,T\right]\times \mathbb{R},\hfill \\ \theta \left(T,x\right)=a{e}^{-\gamma x}.\hfill \end{array}\right.$$

(62)

We try a solution of the form

$$\theta \left(t,x\right)=a{e}^{-\gamma \left(\varphi \left(t\right)x+\psi \left(t\right)\right)},\mathrm{for}t\in \left[0,T\right],$$

(63)

where $\varphi \left(·\right)$, $\psi \left(·\right)\in C^1\left(\left[0,T\right],\mathbb{R}\right)$ such that $\varphi \left(T\right)=1$ and $\psi \left(T\right)=0.$ By substituting in $\left(62\right)$, we get

$$\begin{array}{cc}\hfill \left\{-\gamma {\varphi }_t\left(t\right)+\gamma \varphi {\left(t\right)}^2-\gamma \varphi \left(t\right)r_0\left(t\right)\right\}x-{\displaystyle \frac{1}{2}}r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right)& \\ \hfill -\gamma {\psi }_t\left(t\right)-\varphi \left(t\right)ln\left(a\lambda \left(T-t\right)\right)+\gamma \varphi \left(t\right)\psi \left(t\right)+r_0\left(t\right)=0.\end{array}$$

This suggests that functions $\varphi \left(·\right)$ and $\psi \left(·\right)$ should solve the following system of equations:

$$\left\{\begin{array}{c}{\varphi }_t\left(t\right)=-r_0\left(t\right)\varphi \left(t\right)+\varphi {\left(t\right)}^2,t\in \left[0,T\right],\hfill \\ {\psi }_t\left(t\right)=-{\displaystyle \frac{1}{\gamma }}\varphi \left(t\right)ln\left(a\lambda \left(T-t\right)\right)+\varphi \left(t\right)\psi \left(t\right)-{\displaystyle \frac{1}{2\gamma }}r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right)+{\displaystyle \frac{1}{\gamma }}{r}_0\left(t\right),t\in \left[0,T\right],\hfill \\ \varphi \left(T\right)=1,\psi \left(T\right)=0,\hfill \end{array}\right.$$

(64)

which is explicitly solvable for $t\in \left[0,T\right],$ by

$$\varphi \left(t\right)={\displaystyle \frac{e^{{\int }_t^T{r}_0\left(\tau \right)d\tau }}{1+{\int }_t^T{e}^{{\int }_l^T{r}_0\left(\tau \right)d\tau }dl}},$$

(65)

and

$$\psi \left(t\right)=e^{-{\int }_t^T\varphi \left(\tau \right)d\tau }{\int }_t^T{e}^{{\int }_l^T\varphi \left(\tau \right)d\tau }\left({\displaystyle \frac{1}{\gamma }}\varphi \left(l\right)ln\left(\lambda \left(T-l\right)a\right)+{\displaystyle \frac{1}{2\gamma }}r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right)-{\displaystyle \frac{r_0\left(l\right)}{\gamma }}\right)dt.$$

(66)

The representation of the Nash equilibrium strategies $\left(38\right)$–$\left(39\right)$ gives

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=-\frac{1}{\gamma }ln\left(a\lambda \left(T-t\right)\right)+\varphi \left(t\right)\widehat{X}\left(t\right)+\psi \left(t\right),dt-a.e.\hfill \end{array}$$

(67)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\frac{1}{\gamma }\Sigma \left(t\right)r\left(t\right)\varphi {\left(t\right)}^{-1},dt-a.e.\hfill \end{array}$$

(68)

This consumption–investment strategy determines a wealth process given by

$$\begin{array}{cc}X\left(t\right)=& x_0+{\displaystyle {\int }_0^t}\left\{\left(r_0\left(s\right)-\varphi \left(s\right)\right)\widehat{X}\left(s\right)+{\displaystyle \frac{1}{\gamma }}\left(r{\left(s\right)}^{\top }\Sigma \left(s\right)r\left(s\right)\varphi {\left(s\right)}^{-1}-ln\left(a\lambda \left(T-s\right)\right)\right)\right.\hfill \\ & \left.-\psi \underset{}{\left(s\right)}\right\}ds+{\displaystyle {\int }_0^t}{\displaystyle \frac{1}{\gamma }}\varphi {\left(s\right)}^{-1}r{\left(s\right)}^{\top }\Sigma \left(s\right)\sigma \left(s\right)dW\left(s\right),t\in \left[0,T\right].\hfill \end{array}$$

The above solution is comparable with the ones obtained in Marín-Solano and Navas (2010) by solving an extended Hamilton–Jacobi–Bellman (HJB) equations.

6. Special Discount Function

As well documented in Marín-Solano and Navas (2010), an agent making a decision at time t is usually called the t-agent, and can act in two different ways: naive and sophisticated. Naive agents make decisions without taking into account that their preferences will change in the near future, and then any t-agent will solve the problem as a standard optimal control problem with initial condition $X\left(t\right)=x_t$, and his decision will be, in general, time-inconsistent. In order to obtain a time consistent strategy, the t-agent should be sophisticated, in the sense of taking into account the preferences of all the s-agents, for $s\in \left[t,T\right]$. Therefore, the approach to handle the time inconsistency in dynamic decision-making problems is by considering time-inconsistent problems as non-cooperative games with a continuous number of players, in which decisions at every instant of time are selected. The solution to the problem of the agent with non-constant discounting should be constructed by looking for the sub-game perfect equilibrium of the associated game with an infinite number of t-agents. In Marín-Solano and Navas (2010), the authors looked for a solution of a sophisticated agent to the modified HJB (which is not a partial differential equation due to the presence of a non-local term). Then, they need to define the Markov equilibrium strategies, while, in our work, and different from Marín-Solano and Navas (2010), we use the open-loop equilibrium strategies. This is a significant difference which leads to obtain an important change in the results.

6.1. Exponential Discounting with Constant Discount Rate (Classical Model)

At first, we consider the standard exponential discount function $\lambda \left(t\right)=e^{-{\delta }_{0}t}$, $t\in \left[0,T\right]$, where ${\delta }_0>0$ is a constant representing the discount rate. In this case, our equilibrium solution for the three cases become:

(1) Logarithmic utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=\frac{1}{a{e}^{-\left(T-t\right){\delta }_0}+{\int }_t^T{e}^{-\left(l-t\right){\delta }_0}dl}\widehat{X}\left(t\right),dt-a.e.,\hfill \\ \hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\widehat{X}\left(t\right),dt-a.e.\hfill \end{array}$$

(2) Power utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)={\left(a{e}^{-\left(T-t\right){\delta }_0}\right)}^{\frac{1}{\gamma -1}}\frac{e^{{\int }_t^T{\displaystyle \frac{K\left(\tau \right)}{\gamma -1}}d\tau }}{\left(1+{\int }_t^T{\left(a{e}^{-\left(T-\tau \right){\delta }_0}\right)}^{\frac{1}{\gamma -1}}{e}^{{\int }_{\tau }^T{\displaystyle \frac{K\left(l\right)}{\gamma -1}}dl}d\tau \right)}\widehat{X}\left(t\right),dt-a.e.,\hfill \\ \hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\frac{\widehat{X}\left(t\right)}{\left(1-\gamma \right)},dt-a.e.\hfill \end{array}$$

(3) Exponential utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=-\frac{1}{\gamma }ln\left(a{e}^{-\left(T-t\right){\delta }_0}\right)+\varphi \left(t\right)\widehat{X}\left(t\right)+\psi \left(t\right),dt-a.e.,\hfill \\ \hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\frac{1}{\gamma \varphi \left(t\right)},dt-a.e.\hfill \end{array}$$

where $K\left(·\right),$ $\varphi \left(·\right)$ are given by $\left(52\right)$ and $\left(65\right),$ respectively, and

$$\psi \left(t\right)={\displaystyle \frac{1}{\gamma }}{e}^{-{\int }_t^T\varphi \left(\tau \right)d\tau }{\int }_t^T{e}^{{\int }_l^T\varphi \left(\tau \right)d\tau }\left(\varphi \left(l\right)ln\left(e^{-\left(T-l\right){\delta }_0}a\right)+{\displaystyle \frac{1}{2}}r{\left(l\right)}^{\top }\Sigma \left(l\right)r\left(l\right)-r_0\left(l\right)\right)dl.$$

Notice that our solutions given above coincide with the optimal solutions of classical Merton portfolio problem (see, e.g., Marín-Solano and Navas (2010) in the case with constant discount rate). This confirms the well-known fact that the time-consistent equilibrium strategy for an exponential discount function is nothing but the optimal strategy. A relevant remark is that the portfolio rule is independent of the discount factor, and it is the same for a non-exponential discount function.

6.2. Exponential Discounting with Non-Constant Discount Rate (Karp’s Model)

Now, following Karp (2007), let us assume that the instantaneous discount rate is non-constant, but a continuous and positive function of time $\delta \left(l\right)$, for $l\in \left[0,T\right].$ Impatient agents will be characterized by a non-increasing discount rate $\delta \left(·\right)$. The discount factor used to evaluate a payoff at times $\tau$ ≥ 0, is given by

$$\lambda \left(\tau \right)=e^{-{\int }_0^{\tau }\delta \left(l\right)dl}.$$

(69)

In this case, the objective is exactly the same as Marín-Solano and Navas (2010), in which the equilibrium is, however, defined within the class of feedback controls. In Marín-Solano and Navas (2010), the (feedback) equilibrium consumption-investment solutions (also called the sophisticated consumption-investment strategies) are summarized as:

(1) Logarithmic utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=\frac{1}{a{e}^{-{\int }_0^{T-t}\delta \left(\tau \right)d\tau }+{\int }_t^T{e}^{-{\int }_0^{l-t}\delta \left(\tau \right)d\tau }dl}\widehat{X}\left(t\right),dt-a.e.,\hfill \end{array}$$

(70)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\widehat{X}\left(t\right),dt-a.e.\hfill \end{array}$$

(71)

(2) Power utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)={\left(\alpha \left(t\right)\right)}^{\frac{1}{\gamma -1}}\widehat{X}\left(t\right),dt-a.e.,\hfill \end{array}$$

(72)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\frac{\widehat{X}\left(t\right)}{\left(1-\gamma \right)},dt-a.e.,\hfill \end{array}$$

(73)

where $\alpha \left(·\right)$ is the solution of the integro-differential equation,

$$\left\{\begin{array}{c}{\alpha }_t\left(t\right)-\left(\delta \left(T-t\right)-K\left(t\right)\right)\alpha \left(t\right)+\left(1-\gamma \right)\alpha {\left(t\right)}^{\frac{\gamma }{1-\gamma }}\hfill \\ -{\displaystyle {\int }_t^T}{e}^{-{\int }_0^{s-t}\delta \left(l\right)dl}\left(\delta \left(s-t\right)-\delta \left(T-t\right)\right)\alpha {\left(s\right)}^{\frac{\gamma }{1-\gamma }}{e}^{\gamma {\int }_t^s\Delta \left(\tau \right)d\tau }ds=0,\hfill \\ \alpha \left(T\right)=a.\hfill \end{array}\right.$$

(74)

with $K\left(t\right)$ given by $\left(52\right)$ and

$$\Delta \left(\tau \right)=r_0\left(\tau \right)+{\displaystyle \frac{1}{\left(1-\gamma \right)}}r{\left(\tau \right)}^{\top }\Sigma \left(\tau \right)r\left(\tau \right)-\alpha {\left(\tau \right)}^{\frac{1}{1-\gamma }}.$$

(3) Exponential utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=\varphi \left(t\right)\widehat{X}\left(t\right)+C\left(t\right)-\frac{ln\left(\gamma a\varphi \left(t\right)\right)}{\gamma },dt-a.e.,\hfill \end{array}$$

(75)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\frac{1}{\gamma \varphi \left(t\right)},dt-a.e.,\hfill \end{array}$$

(76)

where $\varphi \left(·\right)$ is given by $\left(65\right)$ and $C\left(·\right)$ satisfies the following very complicated integro-differential equation,

$$\left\{\begin{array}{c}{C}_t\left(t\right)-C\left(t\right)\varphi \left(t\right)+{\displaystyle \frac{1}{\gamma }}\varphi \left(t\right)ln\left(a\gamma \varphi \left(t\right)\right)+{\displaystyle \frac{1}{2\gamma }}r{\left(t\right)}^{\top }\Sigma \left(t\right)r\left(t\right)\hfill \\ +{\displaystyle \frac{1}{\gamma }}\left\{\delta \left(T-t\right)-\varphi \left(t\right)-\mathcal{K}\left(C\left(t\right),t\right)\right\}=0,\hfill \\ C\left(T\right)=0,\hfill \end{array}\right.$$

(77)

where

$$\begin{array}{cc}\hfill & \mathcal{K}\left(C\left(t\right),t\right)=-\mathbb{E}\left[{\int }_t^T{e}^{-{\int }_0^{s-t}\delta \left(l\right)dl}\left\{\delta \left(s-t\right)-\delta \left(T-t\right)\right\}\varphi \left(t\right)\right.\hfill \\ \hfill & \times \left.e^{-\gamma \left\{C\left(s\right)-C\left(t\right)+{\int }_t^s\varphi \left(\tau \right)Z\left(\tau \right)d\tau +{\int }_t^s\frac{1}{\gamma }r{\left(\tau \right)}^{\top }\Sigma \left(\tau \right)\sigma \left(\tau \right)dW\left(\tau \right)\right\}}ds\right],\hfill \end{array}$$

(78)

with

$$Z\left(\tau \right)={\displaystyle \frac{1}{\gamma \varphi \left(\tau \right)}}r{\left(\tau \right)}^{\top }\Sigma \left(\tau \right)r\left(\tau \right)-C\left(\tau \right)+\frac{1}{\gamma }ln\left(\gamma a\varphi \left(\tau \right)\right).$$

Our (open-loop) equilibrium solutions reduce to

(1) Logarithmic utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=\frac{1}{a{e}^{-{\int }_0^{T-t}\delta \left(\tau \right)d\tau }+{\int }_t^T{e}^{-{\int }_{T-l}^{T-t}\delta \left(\tau \right)d\tau }dl}\widehat{X}\left(t\right),dt-a.e.,\hfill \end{array}$$

(79)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\widehat{X}\left(t\right),dt-a.e.\hfill \end{array}$$

(80)

(2) Power utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=\frac{{\left(a{e}^{-{\int }_0^{T-t}\delta \left(\tau \right)d\tau }\right)}^{\frac{1}{\gamma -1}}{e}^{{\int }_t^T{\displaystyle \frac{K\left(\tau \right)}{\gamma -1}}d\tau }}{\left(1+{\int }_t^T{\left(a{e}^{-{\int }_0^{T-\tau }\delta \left(\tau \right)d\tau }\right)}^{\frac{1}{\gamma -1}}{e}^{{\int }_{\tau }^T{\displaystyle \frac{K\left(l\right)}{\gamma -1}}dl}d\tau \right)}\widehat{X}\left(t\right),dt-a.e.,\hfill \end{array}$$

(81)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\frac{\widehat{X}\left(t\right)}{\left(1-\gamma \right)},dt-a.e.\hfill \end{array}$$

(82)

(3) Exponential utility

$$\begin{array}{cc}\hfill & \widehat{c}\left(t\right)=-\frac{1}{\gamma }ln\left(a{e}^{-{\int }_0^{T-t}\delta \left(\tau \right)d\tau }\right)+\varphi \left(t\right)\widehat{X}\left(t\right)+\psi \left(t\right),dt-a.e.,\hfill \end{array}$$

(83)

$$\begin{array}{cc}\hfill & {\widehat{u}}_I\left(t\right)=\Sigma \left(t\right)r\left(t\right)\frac{1}{\gamma \widehat{X}\left(t\right)\varphi \left(t\right)},dt-a.e.,\hfill \end{array}$$

(84)

where $K\left(·\right),$ $\varphi \left(·\right)$ are given by $\left(52\right)$ and $\left(65\right),$ respectively, and

$$\psi \left(t\right)=e^{-{\int }_t^T\varphi \left(\tau \right)d\tau }{\int }_t^T{e}^{{\int }_l^T\varphi \left(\tau \right)d\tau }\left({\displaystyle \frac{1}{\gamma }}\varphi \left(l\right)ln\left(e^{-{\int }_0^{T-t}\delta \left(\tau \right)d\tau }a\right)+{\displaystyle \frac{1}{2\gamma }}r{\left(l\right)}^{\top }\Sigma \left(l\right)r\left(l\right)-{\displaystyle \frac{r_0\left(l\right)}{\gamma }}\right)dl.$$

Remark 5.

Comparing the results of this special case with our solutions, we find the following facts: The equilibrium proportion investment strategies coincide in the three cases. The consumption strategies are different in the three cases. Moreover, our equilibrium consumption strategies are well defined and explicitly given, while, in Marín-Solano and Navas (2010), equilibrium consumption strategies in the case of Power utility, as well as in the case of Exponential utility, are obtained via a very complicated integro-differential equations, in which unique solvability are not established.