Abstract
In our paper we consider an infinite horizon consumption-investment problem under a model misspecification in a general stochastic factor model. We formulate the problem as a stochastic game and finally characterize the saddle point and the value function of that game using an ODE of semilinear type, for which we provide a proof of an existence and uniqueness theorem for its solution. Such equation is interested on its own right, since it generalizes many other equations arising in various infinite horizon optimization problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A major weakness of a portfolio optimization is a huge sensitivity to estimation errors and a model misspecification. The concern about a model uncertainty should lead the investor to design a strategy which is robust to model imperfections. In this paper a max–min robust version of the classical Merton optimal investment-consumption model is presented. We consider a financial market consisting of a stock and a bond. A stock and a bond dynamics are assumed to be stochastic differential equations. In addition coefficients of our model are affected by a non-tradable but observable stochastic factor. The investor trades between these assets and is supposed to consume part of his wealth. Instead of supposing that this is the exact model, we assume here that the trader knows only that the correct model belongs to a wide class of models, which will be described later. To determine a robust consumption-investment controls the investor maximizes his worst case total expected discounted HARA utility of consumption. In our paper the problem is formulated as a stochastic game between the market and the investor. To solve it we use a nonlinear Hamilton–Jacobi–Bellman–Isaacs equation. After several substitutions we are able to reduce it to a semilinear equation of the Hamilton–Jacobi–Bellman type, for which we provide a proof of an existence and uniqueness theorem.
Infinite horizon consumption-investment problems in stochastic factor models, but without a model uncertainty assumption, were considered, among others by Fleming et al. [5, 6], and Pang [16, 17], Hata et al. [12]. Most of these papers use a sub- and supersolution method to prove that there exists a smooth solution to the resulting equation. The exception is Fleming et al. [5] paper, where the solution to the infinite horizon HJB equation is approximated by a solution to finite horizon problems. Our approach is closest to the latter and in the proof we use stochastic methods to obtain estimates needed to apply the Arzel–Ascolli Lemma. Moreover, our paper extends many other aforementioned papers, since to prove that there exists a smooth solution to the resulting equation we do not need any differentiability assumption on model coefficients.
The finite horizon analogue of our problem was considered and solved by Schied [18]. For literature review about finite horizon max–min problems we refer to Zawisza [21].
Max–min infinite horizon optimization methods has recently gained a lot of attraction in the theoretical economics and finance. A variety of modifications to our issue were considered among others by Anderson et al. [1], Faria et al. [4], Gagliardini et al. [9], Hansen et al. [11], Trojani et al. [19, 20]. Most of these works consider usually the problem from an economical/financial point of view only. Even if our model description can be treated as a special case of their setting, they do not provide strict mathematical proofs of their findings.
It is worth mentioning also the work of Knispel [14], where the robust risk-sensitive optimization problem is solved.
2 Model Description
Let \(( \Omega , \mathcal {F}, P)\) be a probability space with filtration \((\mathcal {F}_{t}, 0 \le t < +\infty )\) (possibly enlarged to satisfy usual assumptions) generated by two independent Brownian motions \((W_{t}^{1}, 0 \le t < +\infty )\), \((W_{t}^{2}, 0 \le t < + \infty )\). We assume that investor has an imprecise knowledge about the dynamic economic environment and therefore the measure \(P\) should be regarded only as an approximate probabilistic description of the economy. Our economy consists of two primitive securities: a bank account \((B_{t}, 0 \le t < + \infty )\) and a share \((S_{t},0 \le t < + \infty )\). We assume also that the price of the share is modulated by one non-tradable (but observable) factor \((Y_{t},0 \le t < + \infty )\). This factor can represent an additional source of an uncertainty such as: a stochastic volatility, a stochastic interest rate or other economic conditions. Processes mentioned above are solutions to the system of stochastic differential equations
The coefficients \(r\), \(b\), \(g\), \(a\), \(\sigma > 0\) are continuous functions and they are assumed to satisfy all the required regularity conditions, in order to guarantee that the unique strong solution to (2.1) exists. We treat \(\rho \in [-1,1]\) as a correlation coefficient.
As it was mentioned, the investor believes that his model is an imprecise description of the market. A common approach in describing a model uncertainty over the finite horizon \(T\) is to assume that the probability measure is not precisely known and the investor knows only a class of possible measures. In many papers (Cvitanic, Karatzas [2] and Hernández, Schied [13]) it is usually assumed that this class is equal to
where \(\mathcal {E}(\cdot )_{t}\) denotes the Doleans–Dade exponential and \(\mathcal {M}\) denotes the set of all bounded, progressively measurable processes \(\eta =(\eta _{1},\eta _{2})\) taking values in a fixed compact, convex set \(\Gamma \subset \mathbb {R}^{2}\). In our setting we will follow that type of the problem formulation.
The dynamics of the investors wealth process \((X^{\pi ,c}_{t}, 0 \le t < + \infty )\) is given by the stochastic differential equation
where \(x\) denotes a current wealth of the investor, \(\pi \) we can interpret as a capital invested in \(S_{t}\), whereas \(c\) is a consumption per unit of time.
2.1 Formulation of the Problem
We consider a hyperbolic absolute risk aversion (HARA) utility function \(U(x)=\frac{x^\gamma }{\gamma }\) with a parameter \(0<\gamma < 1\), with \(\gamma \ne 0\). The negative parameter case (\(\gamma <0\)) is discussed at the end of our paper. The objective we use is equal to the overall discounted utility of consumption i.e.
where \(w>0\) is a discount rate, \(\tau _{x,y}=\inf \{t>0, \quad X_{t}^{\pi ,c,\eta } \le 0\}\), \( \mathbb {E}_{x,y}^{\eta ,t}\) denotes the expectation with respect to the measure \(Q_{t}^{\eta }\). Note that we use the short notation for \(\tau _{x,y}\), whereas full form is \(\tau _{x,y}^{\pi ,c}\).
Definition 2.1
A control (or a strategy) \((\pi ,c)=((\pi _{t},c_{t}), 0 \le t < +\infty )\) is admissible for a starting point \((x,y)\), \((\pi ,c) \in \mathcal {A}_{x,y}\), if it satisfies the following assumptions:
-
(1)
the process \((c_{t}, 0 \le t < +\infty )\) is nonnegative,
-
(2)
\((\pi ,c)\) is progressively measurable with respect to the filtration \((\mathcal {F}_{t}, 0 \le t < + \infty )\),
-
(3)
there exists a unique solution to (2.3) and
$$\begin{aligned} \mathbb {E}_{x,y}^{\eta ,t}\sup _{0 \le s \le t \wedge \tau ^{\pi ,c}}\bigl ( X_{s}^{\pi ,c}\bigr )^{\gamma }< + \infty \end{aligned}$$for all \(t>0\), \(\eta \in \mathcal {M}\).
Our investor uses the Gilboa and Schmeidler [10] type preferences to maximize his overall satisfaction. More precisely he uses a minimax criterion and tries to maximize his objective in the worst case model i.e.
over the class of admissible strategies \(\mathcal {A}_{x,y}\).
The problem (2.5) is considered as a zero-sum stochastic differential game problem. Process \(\eta \) is the control of player number 1 (the “market”), while strategy \((\pi ,c)\) is the control of player number 2 (the “investor”). We are looking for a saddle point \(((\pi ^{*},c^{*}),\eta ^{*}) \in \mathcal {A}_{x,y} \times \mathcal {M} \) and a value function \(V(x,y)\) such that
and
As usually we will seek optimal strategies in the feedback form \(((\pi (X_{t}, Y_{t}), c(X_{t}, Y_{t}), \eta (X_{t}, Y_{t})), 0 \le t < +\infty )\), where \(\pi (x,y)\), \(c(x,y)\), \(\eta (x,y)\) are Borel measurable functions and \(X_{t}\) and \(Y_{t}\) are solutions to the system (2.3). Such controls are often called Markov controls and are denoted simply by \((\pi (x,y),c(x,y),\) \(\eta (x,y))\).
3 HJBI Equations and Saddle Point Derivation
We will use the standard HJB approach to solve the robust investment problem stated in the previous section. Let \(\mathcal {L}^{\pi ,c,\eta }\) denotes the differential operator given by
For simplicity, we omit \((x,y)\) variables in the functions’ notation. To establish a link between this operator and a saddle point of our initial problem, we need to prove a verification theorem. The following one seems to be new in the literature.
Theorem 3.1
Suppose there exists a function \(V \in \mathcal {C}^{2,2}((0,+\infty ) \times \mathbb {R}) \cap \mathcal {C} ([0,+\infty ) \times \mathbb {R})\), an admissible Markov control \((\pi ^{*}(x,y),c^{*}(x,y),\eta ^{*}(x,y))\) and constants \(D_1,D_2>0\) such that
for all \(\eta \in \Gamma \), \((\pi ,c) \in \mathbb {R}\times (0,+\infty )\), \((x,y) \in (0,+\infty ) \times \mathbb {R}\) and
for all \( (x,y) \in (0,+\infty ) \times \mathbb {R}\), \(t \in [0,+\infty )\), \((\pi ,c) \in \mathcal {A}_{x,y}\), \(\eta \in \mathcal {M}\). Then
for all \(\pi \in \mathcal {A}_{x,y}\), \(\eta \in \mathcal {M}\), and
Proof
Assume that \( (x,y) \in (0,+\infty ) \times \mathbb {R}\) are fixed. Let’s fix first \(\eta \in \mathcal {M}\) and consider the system (\(Q^{\eta }\) dynamics of \((X_{t},Y_{t})\)):
where \(\pi ^{*}_{t}=\pi ^{*}(X_{t},Y_{t})\), \(c^{*}_{t}=c^{*}(X_{t},Y_{t})\). If we apply the Itô formula to (3.8) and the function \(e^{-wt}V(x,y)\), we get
where \((T_{n}, n=1,2, \ldots )\), \((T_{n} \rightarrow +\infty )\) is a localizing sequence of stopping times such that
Applying (3.1) yields
By letting \((n \rightarrow \infty )\) and using (3.7) we get
We should consider two cases
Case I
Since we have (3.5), then
which means that \(\mathbb {E}_{x,y} \bigl (e^{-wt }V(X_{t },Y_{t })\bigr )\) is convergent to 0.
Case II
Note that \(U(x)=\frac{x^{\gamma }}{\gamma }\) and (3.4) can be used to obtain
In both scenarios (Cases I, II) we can deduce from (3.9) that
In addition (3.6) holds, which gives us the desired inequality
If we use \(\eta ^{*}\) instead of \(\eta \) and use (3.3) then instead of (3.9) we have
which means that
Hence, Case I is satisfied also for \(\eta =\eta ^{*}\) and consequently after passing \(t \rightarrow +\infty \) and using (3.6) we conclude that
Next we choose \((\pi ,c) \in \mathcal {A}_{x,y}\) and apply the Itô formula to the system
Repeating the method presented above and using (3.2) we get
Since \(V\) is nonnegative, we get
\(\square \)
Let us point out that conditions (3.1)–(3.3) hold if the upper and the lower Hamilton–Jacobi–Bellman–Isaacs equations are satisfied:
To find the saddle point it is more convenient for us to use the upper Isaacs equation. Once we verify that it has a unique solution \(V\), it is also necessary to prove that \(V\) is also a solution to the lower equation. To do that we use the following minimax theorem proved by Fan [3, Theorem 2].
Theorem 3.2
Let X be a compact Hausdorff space and Y an arbitrary set (not topologized). Let f be a real-valued function on \(X \times Y\) such that, for every \(\eta \in Y\), \(f(\pi , \eta )\) is lower semi-continuous on \(X\). If \(f\) is convex on \(X\) and concave on \(Y\), then
3.1 Saddle Point Derivation
As announced, to find explicit forms of the saddle point \(((\pi ^{*}(x,\!y),c^{*}(x,\!y)), \eta ^{*}(x,\!y))\), we start with the upper Isaacs equation
i.e.
This type of reasoning is well known in the literature and therefore we do not present it with all details. Note that if there exists \(V \in \mathcal {C}^{2,2}((0,\infty ) \times \mathbb {R})\), \(V_{xx}<0\), then the maximum over \((\pi ,c)\) in (3.10) is well defined and achieved at
The HARA type utility motivates us to seek the solution of the form
Substituting (3.11) and (3.12) in (3.10) yields
where \(\displaystyle \lambda (y):=\frac{b(y)-r(y)}{\sigma (y)}\) and \(F\) should satisfy the following equation
Assuming that there exists a smooth solution to (3.14) we can determine a saddle point candidate \((\pi ^{*}(x,y),c^{*}(x,y),\eta ^{*}(x,y))\) by finding a Borel measurable function \(\eta ^{*}(x,y)\) such that
and Borel measurable functions \((\pi ^{*}(x,y),c^{*}(x,y))\) such that
From calculations (3.10)–(3.14), it follows that \(\eta ^{*}(x,y)\) does not depend on \(x\) and is equal to the minimizer of (3.14). Moreover, \((\pi ^{*}(x,y),c^{*}(x,y))=(\pi ^{*}(x,y,\eta ^{*}_{1}(y)),c^{*}(x,y))\), where \((\pi ^{*}(x,y,\eta ),c^{*}(x,y))\) is given by (3.13). The last claim is a consequence of the following two facts:
-
(1)
the minimax equality holds:
$$\begin{aligned}&\min _{\eta \in \Gamma } \max _{\pi \in \mathbb {R}} \max _{c>0} \left( \mathcal {L}^{\pi ,c,\eta }V(x,y) -wV(x,y) + \frac{c^{\gamma }}{\gamma }\right) \\&\quad =\max _{\pi \in \mathbb {R}} \max _{c>0} \min _{\eta \in \Gamma } \left( \mathcal {L}^{\pi ,c,\eta }V(x,y) - wV(x,y) + \frac{c^{\gamma }}{\gamma }\right) \\&\quad = \left( \mathcal {L}^{\pi ^{*}(x,y),c^{*}(x,y),\eta ^{*}(x,y)}V(x,y) - wV(x,y) + \frac{(c^{*}(x,y))^{\gamma }}{\gamma }\right) , \end{aligned}$$ -
(2)
\(\displaystyle \mathcal {L}^{\pi ^{*}(x,y),c,\eta ^{*}(x,y)}V(x,y)= \max _{\pi }\mathcal {L}^{\pi ,c,\eta ^{*}(x,y)}V(x,y) \) and therefore \((\pi ^{*}(x,y),c^{*}(x,y))\) is the unique solution to the equation
$$\begin{aligned} \mathcal {L}^{\pi ,c,\eta ^{*}(x,y)}V(x,y)+\frac{c^{\gamma }}{\gamma }=\mathcal {L}^{\pi ^{*}(x,y),c^{*}(x,y),\eta ^{*}(x,y)}V(x,y) + \frac{\bigl (c^{*}(x,y)\bigr )^{\gamma }}{\gamma }. \end{aligned}$$
4 Smooth Solution to the Resulting PDE
In this section, we use stochastic methods to derive existence and uniqueness results for classical solutions to differential equations which play a key role in the solution to our initial problem. Let’s recall it once more
Assume now that there exists \(F\) – a solution to Eq. (4.1) such that \(\displaystyle \frac{a(y)F_{y}}{F}\) is bounded. In this case there exists \(R>0\) such that
Therefore, it is reasonable to consider equations of the form
where \(\theta >0\). This type of equation can be rewritten into
where \(D \subset \mathbb {R}^{n},\Gamma \subset \mathbb {R}^{k} \) are compacts. To the best of our knowledge, subsequent results on classical solutions to (4.2) have not been available so far under assumptions given here.
We make the following two assumptions.
Assumption 1
Functions \(a\), \(h\) and \(i\), \(l\) are continuous, \(a^{2}(y)>\varepsilon >0\) and there exist \(L_{1}>0\), \(L_{2} \ge 0\) such that
Remark
Assume for a moment that \(a\) is constant. If (4.3) is satisfied then also (4.4) holds with \(L_{2}=L_{1}\). Nevertheless in some models the constant \(L_{2}\) can be much lower than \(L_{1}\), for instance it is worth to notice the case \(i(y)+l(\delta ,\eta )a(y)=-y + \eta \), where \(L_2\) can be set to zero.
Assumption 2
There exist a Borel measurable function \(\eta ^{*}(\delta ,y,u,p)\) and a Borel measurable function \(\delta ^{*}(y,u,p)\) such that
where
Remark
By classical measurable selection results all conditions of Assumption 2 are satisfied for instance, when \(h(y,\delta ,\eta )=h_{1}(y,\delta )+ h_{2}(y,\eta )\), \(l(\delta ,\eta )=l_{1}(\delta )+ l_{2}(\eta )\) and \(h_{1}\), \(h_{2}\), \(l_{1}\), \(l_{2}\) are continuous functions.
To construct a candidate solution to our problem we use a sequence of solutions to finite time horizon problems of the form
with terminal condition \(u(y,T)=0\).
Lemma 4.1
Suppose that \(h\) and \(i\) are continuous, all conditions of Assumption 1 and Assumption 2 are satisfied and there exists \(u\)—a polynomial growth solution to (4.5). Then \(u\) is a unique polynomial growth solution to (4.5), which in addition is bounded and strictly positive. Moreover it admits a stochastic representation of the form
where \(dY_{t}=[i(Y_{t})+l(\delta _{t},\eta (\delta _{t}))a(Y_{t})]\,dt + a(Y_{t}) dW_{t}^{l(\delta ,\eta (\delta ))}\), \(\mathcal {D}\) is the class of all progressively measurable processes taking values in \(D\), \(\mathcal {N}\) is the family of all functions:\(\eta :D \times [0,+\infty ) \times \Omega \rightarrow \Gamma \) with the property that for all \(\delta \in \mathcal {D}\) the process \((\eta (\delta _{t}):=\eta (\delta _{t},t,\cdot )|\; 0 \le t < +\infty )\) is progressively measurable and \(\mathcal {C}_{m_{1},m_{2}}\) denotes the class of all continuous processes \((c_{t}|\; 0 \le t < +\infty )\) that \(m_{1} \le c_{t} \le m_{2}\).
Proof
Under conditions of Assumption 2 for all functions \(\eta : \Gamma \rightarrow D\) and for all \(\delta \in D\), \((y,u,p) \in \mathbb {R}^{3}\), we have
In addition let \(c^{*}(y)\) be a Borel measurable function, which maximize (4.5). Then for all \(\eta \in \mathcal {N}\), \(\delta \in D\), \(c \in [m_{1},m_{2}]\), \(y \in \mathbb {R}\), we get
where
Recall that the solution \(u\) satisfies a polynomial growth condition and all conditions of Assumption 1 are satisfied, which gurantees that for all \(\eta \in \mathcal {N}\) and \(\delta \in \mathcal {D}\)
(for the proof see Appendix D of Fleming and Soner [7]). Therfore, we can use the standard verification argument, which leads us to the conclusion
which is true for all \(\delta \in \mathcal {D}\) and \(\eta \in \mathcal {N}\) , \(c \in \widehat{\mathcal {C}}_{m_{1},m_{2}}\). Here \( \widehat{\mathcal {C}}_{m_{1},m_{2}}\) denotes the class of all progressively measurable processes taking values in the interval \([m_{1},m_{2}]\), \(\eta ^{*}(\delta )\) is the abbreviation of \(\eta ^{*}(\delta ,Y,u(Y),u_{y}(Y))\) and \(\delta ^{*}\) is the abbreviation of \(\delta ^{*}(Y,u(Y),u_{y}(Y)) \). For more details about the verfication reasoning, which was used here, see for example the proof of Theorem 6.1 from Zawisza [22].
This implies that
Since the oposite inequality
is always satisfied, we get
This representation confirms the uniqueness, the boundedness and the strict positivity of \(u(y,t)\).
Finally, we are able to notice that instead of the class \(\widehat{\mathcal {C}}_{m_{1},m_{2}}\) in (4.7), we can limit ourselves to the class \(\mathcal {C}_{m_{1},m_{2}}\), since when \(u\) is strictly positive, then the maximum with respect to \(c\) in (4.5) is achieved at
which is a continuous function. \(\square \)
It is also possible to rewrite Eq. (4.5) in the following form
where
Lemma 4.2
If Assumption 1 is satisfied then \(H\) is continuous and there exists \(K>0\) that
Proof
It is sufficient to note that if \(D \subset \mathbb {R}^{n}\), \(\Gamma \subset \mathbb {R}^{k}\) and \(f\) is a continuous function then
\(\square \)
Theorem 4.3
Suppose that for each \(T>0\) there exists a unique bounded solution to (4.5), all conditions of Assumptions 1 and 2 are satisfied with \(L_{1}>0\), \(L_{2}\ge 0\) and \(w > \sup _{\eta ,\delta ,y} h(y,\delta ,\eta )+ L_{2}\). Then there exists a unique bounded solution to
which, in addition, is bounded together with the \(y\)-derivative and bounded away from zero.
Proof
The solution will be constructed by taking the limit in a sequence of solutions to finite horizon problems (4.5).
Suppose that \(T>0\) is fixed and let \(u\) be the solution to (4.5). To use the Arzel–Ascolli Lemma we need to prove uniform estimates for \(u\) and all its derivatives. We can use a stochastic control representation to obtain
Since \(h\) is bounded and \(w > \sup _{\eta ,\delta ,y} h(y,\delta ,\eta )\) then there exists \(\alpha >0\) that
A bound for \(u_y\) will be obtained by estimating the Lipschitz constant. Note that if \(w > \sup _{\eta ,y} h(y,\eta )+ L_{2}\), then \(w_{1}:=w-L_{2} > \sup _{\eta ,y} h(y,\eta )\). Moreover we will use the fact that \(|e^{x}-e^{y}| \le |x-y|\) for \(x,y \le 0\). For a notational convenience we will write \(\mathbb {E} ^{l(\delta ,\eta (\delta ))}f(Y_{t}(y,s))\) instead of \(\mathbb {E}_{y,s}^{l(\delta ,\eta (\delta ))}f(Y_{t})\).
Using the Itô formula we have
Using (4.4) we have
Gronwall’s lemma yields
We should consider now two cases:
Case I \( L_{2} >0 \).
Case II \( L_{2}=0\)
Note that above estimates do not depend on the time horizon \(T\) (the last one for large values of \(T-t\)). We consider new function \(v(y,t)=u^{T}(y,T-t)\), where \(u^{T}\) denotes the solution to equation (4.5) with the terminal condition given at time \(T\). Then \(v\) is a solution to
with the initial condition \(v(y,0)=0\). From the uniqueness property we get that
Thanks to that we have an estimate on \(v_{t}\). Namely, let \(t \ge 0\) be fixed. Observe that for \(\xi >0\)
where
Note that
We assumed that \(w >\sup _{y,\delta ,\eta } h(Y_{k},\delta _{k},\eta (\delta _{k}))\), hence there exists \(\beta >0\) that for \(\xi >0\) we have
and finally
The above inequality ensures that \(v_{t}(y,t)\) is uniformly bounded and \(v_{t}(y,t)\) is convergent to \(0\) \((t \rightarrow \infty )\), uniformly with respect to \(y\).
We have obtained so far uniform bounds for \(v\), \(v_{t}\), \(v_{y}\). Moreover we know that equation
is satisfied, \(H\) satisfies (4.8) and \(a^{2}(y)>\varepsilon >0\). Hence, a proper bound is also satisfied for \(v_{yy}\).
By the Arzel-Ascolli Lemma, there exists a sequence \((t_{n}, n=1,2,\ldots )\) such that \((v(y,t_{n}), n=1,2,\ldots )\) is convergent to some twice continuously differentiable function, which will be denoted further also by \(v(y)\). What is more, the convergence holds locally uniformly together with \(v_{y}(y,t_{n})\) and \(v_{yy}(y,t_{n})\). This indicates that \(v\),\(v_{y}\) are bounded and
The uniqueness follows from the infinite horizon analogue of stochastic representation (4.6). \(\square \)
Gathering Lemma 4.2 and Theorem 2.1 of Friedman [8] we get that if conditions of Assumption 1 are satisfied and \(a \ne 0\) then for all \(T>0\) there exists a unique bounded solution to finite horizon equation (4.5). We are sure that a smooth solution to equation (4.5) exists under more general conditions but we will treat this problem elsewhere. Up to the end we assume that \(a\) is a nonzero constant. We should focus now on
We have already proved that if \(\hat{h}\) and \(\hat{i}\) are continuous and
then there exists a nonnegative, bounded and \(\mathcal {C}^{2}(\mathbb {R})\) solution to
We denote this solution by \(F_{m_{1},m_{2},R}\). The proof of Theorem 4.3 shows that
where \(\alpha :=w-\sup _{y,\eta } \hat{h}(y,\eta )\).
Lemma 4.4
If \(\hat{h}\), \(\hat{i}\) are continuous, \(a \ne 0\) and (4.14), (4.15) are satisfied then there exists \(P>0\) that
Proof
Since \(F_{m_{1},m_{2},R}\) is approximated by finite horizon problems, then
Since \(w>\sup _{y,\eta } h(y,\delta ,\eta )\), then for \(p:=w+\gamma - \inf _{y,\eta } h(y,\delta ,\eta ) >0\) we have
\(\square \)
Lemma 4.5
Under the conditions of Lemma 4.4 there exist \(m_{1}^{*}\) and \(m_{2}^{*}\) that \(m_{1}^{*} \le 1 \le m_{2}^{*}\) and \(F_{m_{1}^{*},m_{2}^{*},R}\) is a solution to (4.13). In addition, \(m_{1}^{*}\) and \(m_{2}^{*}\) do not depend on \(R\).
Proof
Maximum with respect to \(c\) in (4.17) is achieved at
From Lemma 4.4 and Theorem 4.3 we know that
Hence
In that case we can set \(m_{2}^{*}:= \max \{ P^{\frac{1}{\gamma -1}}, 1 , \alpha ^{\frac{1}{\gamma }} \}\), \(m_{1}^{*}:= \bigl ( \frac{m_{2}^{\gamma }}{\alpha } \bigl )^{\frac{1}{\gamma -1}}\). For such \(m_{1}^{*}\), \(m_{2}^{*}\) we have
And the conclusion follows. \(\square \)
Finally we are able to consider our main equation:
Proposition 4.6
Under the conditions of Lemma 4.4 there exists a unique bounded together with the \(y\)-derivative and bounded away from zero solution to (4.17).
Proof
It is sufficient to note that Lemma 4.5 and inequalities (4.10), (4.11) ensure that for all \(R>0\), there exists \(F^{R}\)—a solution to (4.13) such that \( \frac{ F^{R}_{y}}{F^{R}}\) is bounded by a constant which is independent of \(R\). This allows to conclude that there exists \(R^{*}\) that \(\displaystyle \left| \frac{a F^{R^{*}}_{y}}{F^{R^{*}}} \right| \le R^{*}\) and \(F^{R^{*}}\) is also a solution to (4.17). \(\square \)
5 Final Result
Theorem 5.1
Suppose that \(a \ne 0\) is a constant, \(g\), \(r\), \(\lambda \) are Lipschitz continuous functions, \(\lambda \), \(r\) are bounded and \(g\) is of a linear growth condition. In addition let \(w> \sup _{y,\eta } \hat{h}(y,\eta )+ L_{2}\), where
Then there exists a saddle point \((\pi ^{*}(x,y),c^{*}(x,y),\eta ^{*}(x,y))\) such that
where \(F\) is a unique bounded together with the \(y\)-derivative and bounded away from zero solution to (4.17). The term \(\eta ^{*}\) is a Borel measurable function which realizes minimum in (4.17).
Proof
It follows from Proposition 4.6 that there exists a positive, bounded away from zero and bounded together with the first \(y\)-derivative solution to (4.17).
By the classical measurable selection theorem there exists a Borel measurable \(\eta ^{*}(y) \in \Gamma \) being realization of the minimum in (4.17). If we set
then due to (3.10)–(3.14), it is sufficient to prove only that \((\pi ^{*}(x,y),c^{*}(x,y),\eta ^{*}(x,y))\) is an admissible Markov saddle point and conditions (3.6) and (3.7) hold. Let
Note that \(\zeta _{1} \cdot (b-r)\), \(\zeta _{1} \cdot \sigma \), and \(\zeta _{2}\) are bounded functions since \(\lambda \) and \(\lambda ^{2} \) are bounded. Therefore, the process \(Z_{t}: =X_{t}^{\pi ^{*},c^{*}}\) is a unique solution to the equation
This is a linear equation with bounded stochastic coefficients, which implies that
for all \(\eta \in \mathcal {M}\). This confirms the admissibility of \((\pi ^{*}(x,y),c^{*}(x,y))\).
In addition \(X_{t}^{\pi ^{*},c^{*}}\) is strictly positive and this ensures that (3.6) holds. Condition (3.7) is satisfied since \(F\) is bounded and for any \(x,y \in (0,+\infty ) \times \mathbb {R}\),
\(\square \)
5.1 Examples
We can apply our main result to the following (\(\varepsilon \) modifications) of standard stochastic volatility models:
-
The Scott model:
$$\begin{aligned} {\left\{ \begin{array}{ll} dS_{t}=bdt+\sqrt{e^{ Y_{t}}+\varepsilon } dW_{t}^{1}, \quad \varepsilon >0, \\ dY_{t}= (\kappa -\theta Y_{t})dt + \rho dW_{t}^{1} + \bar{\rho } dW_{t}^{2}. \end{array}\right. } \end{aligned}$$ -
The Stein and Stein model:
$$\begin{aligned} {\left\{ \begin{array}{ll} dS_{t}=bdt+(|Y_{t}|+ \varepsilon ) dW_{t}^{1}, \quad \varepsilon >0, \\ dY_{t}= (\kappa -\theta Y_{t})dt + \rho dW_{t}^{1} + \bar{\rho } dW_{t}^{2}. \end{array}\right. } \end{aligned}$$
6 Negative HARA Parameter Case
It is easy to check that for a negative HARA parameter (\(\gamma < 0\)), HJBI equations
have a trivial solution equals 0. This may suggest that the problem is ill posed. Indeed, a careful analysis of the investor’s objective function
shows that there is no saddle point for that problem, since there is no constraint for the consumption process. Therefore we might consider a constrained problem, which is based on the following investor’s objective:
where the dynamics of the investor’s wealth process \((X^{\pi ,\bar{c}}_{t}, 0 \le t < + \infty )\) is given by the stochastic differential equation
In that problem we assume that the consumption is proportional to the wealth i.e. \(c_{t}=\bar{c}_{t} X_{t}^{\pi ,\bar{c}}\) . We interpret the process \(\bar{c}_{t}\) as a consumption rate and assume it belongs to the class \(\mathcal {C}_{m_{1},m_{2}}\).
After considering HJBI equation and after several transformations (as in (3.10)–(3.14)) we get the equation:
This may be rewritten into
where \(D \subset \mathbb {R}^{n},\Gamma \subset \mathbb {R}^{k} \) are compacts.
We have the following theorem
Theorem 6.1
Suppose that for each \(T>0\) there exists a unique bounded solution to (4.5), all conditions of Assumption 1 and Assumption 2 are satisfied with \(L_{1}>0\), \(L_{2}\ge 0\) and \(w > \sup _{\eta ,\delta ,y} h(y,\delta ,\eta ) - \gamma m_{2} + L_{2}\). Then there exists a unique bounded solution to (6.2) which, in addition, is bounded together with the \(y\)-derivative and bounded away from zero.
Proof
In the light of the proof of Theorem 4.3 it is sufficient to find estimates for \(u\) and \(u_{y}\), where \(u\) is given by
Since \(h\) is bounded and \(w > \sup _{\eta ,\delta ,y} h(y,\delta ,\eta ) - \gamma m_{2} + L_{2}\) then there exists \(\alpha >0\) that
The bound for \(u_y\) will be obtained by estimating the Lipschitz constant. Note that if \(w > \sup _{\eta ,y} h(y,\eta )- \gamma m_{2}+ L_{2}\), then there exists \(w_{1}\) that \(w > w_{1}>\sup _{\eta ,y} h(y,\eta )- \gamma m_{2}+ L_{2}\). We need also a separate notation for \(w_{2}:=w_{1}-L_{1}\).
The rest of the proof is just a simple repetition of the proof of Theorem 4.3. \(\square \)
References
Anderson, E., Hansen, L.P., Sargent, T.: A quartet of semi-groups for model specification, robustness, prices of risk, and model detection. J. Eur. Econ. Assoc. 1, 68–123 (2003)
Cvitanić, J., Karatzas, I.: On dynamic measures of risk. Finance Stoch. 3(4), 451–482 (1999)
Fan, K.: Minimax theorems. Proc. Natl. Acad. Sci. USA 39, 42–47 (1953)
Faria, G., Correia-da-Silva, J.: The price of risk and ambiguity in an intertemporal general equilibrium model of asset prices. Ann. Finance 8(4), 507–531 (2012)
Fleming, W.H., Hernandez-Hernandez, D.: An optimal consumption model with stochastic volatility. Finance Stoch. 7, 245–262 (2003)
Fleming, W.H., Pang, T.: An application of stochastic control theory to financial economics. SIAM J. Control Optim. 43, 502–531 (2004)
Fleming, W., Soner, H.M.: Controlled Markov Processes and Viscosity Solutions, 2nd edn. Springer, New York (2006)
Friedman, A.: The Cauchy problem for first order partial differential equations. Indiana Univ. Math. J. 23, 27–40 (1973)
Gagliardini, P., Porchia, P., Trojani, F.: Ambiguity aversion and the term structure of interest rates. Rev. Finance Stud. 22, 4147–4188 (2009)
Gilboa, I., Schmeidler, D.: Maxmin expected utility with nonunique prior. J. Math. Econ. 18, 141–153 (1989)
Hansen, L.P., Sargent, T.J., Turmuhambetova, G., Noah, G.: Robust control and model misspecification. J. Econ. Theory 128, 45–90 (2006)
Hata, H., Sheu, J.: On the Hamilton–Jacobi–Bellman equation for an optimal consumption problem: I. Existence of solution. SIAM J. Control Optim. 50(4), 2373–2400 (2012)
Hernández, D., Schied, A.: Robust utility maximization in a stochastic factor models. Stat. Decis. 24, 109–125 (2006)
Knispel, T.: Asymptotics of robust utility maximization. Ann. Appl. Probab. 22(1), 172–212 (2012)
Merton, R.: Lifetime portfolio selection under uncertainty: the continuous time case. Rev. Econ. Stat. 51, 247–259 (1969)
Pang, T.: Portfolio optimization models on infinite-time horizon. J. Optim. Theory Appl. 122(3), 573–597 (2004)
Pang, T.: Stochastic portfolio optimization with log utility. Int. J. Theor. Appl. Finance 9(6), 869–887 (2006)
Schied, A.: Robust optimal control for a consumption-investment problem. Math. Methods Oper. Res. 67(1), 1–20 (2008)
Trojani, F., Vanini, P.: A note on robustness in Merton’s model of intertemporal consumption and portfolio choice. J. Econ. Dyn. Control 26(3), 423–435 (2002)
Trojani, F., Vanini, P.: Robustness and ambiguity aversion in general equilibrium. Rev. Finance 8(2), 279–324 (2004)
Zawisza, D.: Robust portfolio selection under exponential preferences. Appl. Math. 37, 215–230 (2010)
Zawisza, D.: Target achieving portfolio under model misspecification: quadratic optimization framework. Appl. Math. 39, 425–443 (2012)
Acknowledgments
The author would like to thank the anonymous referee whose suggestions helped to improve first version of this paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Zawisza, D. Robust Consumption-Investment Problem on Infinite Horizon. Appl Math Optim 72, 469–491 (2015). https://doi.org/10.1007/s00245-014-9287-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00245-014-9287-8
Keywords
- Robust optimization
- Stochastic differential games
- Model uncertainty
- Optimal consumption
- Portfolio optimization