SIAM Journal on Control and Optimization, Vol.50, No.4, 2401-2430, 2012
ON THE HAMILTON-JACOBI-BELLMAN EQUATION FOR AN OPTIMAL CONSUMPTION PROBLEM: II. VERIFICATION THEOREM
We consider an optimal consumption problem where an investor tries to maximize the infinite horizon expected discounted hyperbolic absolute risk aversion utility of consumption. We treat a stochastic factor model such that the mean returns of risky assets depend on underlying economic factors formulated as the solution of a stochastic differential equation. Using a dynamic programming principle, we derive the Hamilton-Jacobi-Bellman (HJB) equation and study its solutions. In part I, we prove the existence of a classical solution for HJB equation under suitable conditions. In part II, we consider the verification theorem stating a candidate of optimal strategy derived from a solution of HJB equation is indeed optimal. We prove the result under two sets of conditions. One is a linear model, and one is a nonlinear model. In both cases, the HJB equations do not have analytical solutions.
Keywords:optimal consumption problem;hyperbolic absolute risk aversion utility;factor model;HJB equation;subsolution;supersolution