Put , assuming , and letThis state-price density prices the bank account and the risky asset. The Itô formula givesNonnegative wealth and consumption make the deflated cumulative gains a nonnegative local martingale, hence a supermartingale. Every admissible consumption stream therefore satisfies the state-price budget constraint .
Write for the inverse marginal utility. The Inada conditions make decreasing from infinity to zero. A positive Lagrange multiplier for the budget gives the pointwise condition . Thus, whenever a finite optimum exists and a multiplier exhausts the budget,The concave supporting-tangent inequality, integrated against the budget, proves optimality. These curvature and endpoint assumptions alone do not ensure that the infinite-horizon value is finite; part (b) gives the exact additional condition for power utility.
The optimal wealth is the conditional price of remaining consumption:It is nonnegative. Apply the Martingale representation theorem to the integrable total discounted consumption claim:Comparing with the deflated wealth equation yieldsThis constructs the portfolio without assuming extra smoothness of the value function. If the stationary value is twice differentiable with , optimization of its Hamilton-Jacobi-Bellman equation instead gives and .
For constant relative risk aversion utility, . Define the Merton consumption constantThe Gaussian exponential moment givesWhen , the budget is . Conditional pricing then gives , and the Merton consumption-investment problem hasThe resulting wealth is a geometric Brownian motion, so positive initial wealth remains positive. Substitution in the Hamilton-Jacobi-Bellman equation verifies the first-order conditions and the value; the budget argument in part (a) supplies global optimality.
The problem has a finite value precisely when . For and , the supremum is . Indeed, use the displayed risky fraction and consumption , . Its expected utility isFor , sufficiently small already gives infinite utility. For , the finite values tend to infinity as .
For and , every admissible stream has utility . To see this, put and apply Holder inequality on :The left side diverges as , forcing the positive utility-cost integral to diverge. Thus there is no finite-value optimization problem in either ill-posed case.
In a price-taking equilibrium, market clearing fixes aggregate consumption at the dividend , so and . Each agent takes this aggregate benchmark as given when varying their own consumption. Let be a common state-price density and their budget multipliers. Marginal pricing givesWrite and . ThenFor fixed , the second left side is continuous and strictly decreasing from infinity to zero, so it determines a unique positive number . Every coefficient in that equation is deterministic. ConsequentlyThis is the relative-consumption share equilibrium. The absolute consumption streams remain random through .
Assuming finite fundamental prices, the ex-dividend price of the productive asset follows from conditional pricing:The initial state-price budget constraints determine the multipliers up to a common normalization:Together with the scalar market-clearing equation these characterize the equilibrium. A common scaling of all is offset by the reciprocal scaling of . At least one redundant budget equation can be removed, since the initial fractions sum to one.
For completeness, define and . The consumption-financing wealth is . Its stochastic exposure and that of are both proportional to . Thus holding units of the productive asset, with no bank-account balance, finances this wealth and consumption. Indeed, the holding's deterministic changes and dividend consumption balance because and .
If all and , market clearing gives for a constant , and is constant. The budget equations then implyFor differentiable , the general equilibrium has short rate and risky-asset total expected return ; its volatility is . These follow directly from and the Itô formula. In the identical-agent case, .
Use and from Question 1, and take the finite-value case . After retirement the value is . Working for an infinitesimal extra interval while using the retired portfolio and consumption produces a gain . Its zero isThis proves the instantaneous indifference level appearing in the question. For the stated irreversible optimal stopping problem it is generally a lower bound on the retirement boundary, rather than the boundary itself: retaining the opportunity to keep working has value. The following explicit wealth-variable Legendre dual calculation exhibits the correction. In particular, imposing continuity of at retirement would discard that option value; smooth fit requires continuity of .
Assume the usual borrowing-against-income solvency condition: while working, with nonnegative wealth after retirement, and take , , . The question does not specify a tighter borrowing constraint. Let , so and . The working Hamilton-Jacobi-Bellman equation becomes the linear Cauchy-Euler equationThe retired dual is . Let be the negative root ofThe other root exceeds one. Its growing term is excluded by the solvency asymptotic as . Therefore the working dual has the formRetirement corresponds to , where . Value matching and smooth fit giveConsequently the retirement boundary with an income option isUsing the root equation, , which lies strictly between zero and one. Thus for a nonzero risk premium. For example, and give , , andThese parameters give an explicit counterexample to identifying the printed level with the irreversible retirement boundary.
For , find the unique fromThis right side decreases strictly from to , since . Recover the value and controls byFor , retire immediately and use the Merton controls. Along the working strategy, satisfies , and the optimal retirement time is its first hitting time of , equivalently wealth's first hitting time of .
To check the optimal stopping inequalities, write . It satisfies and for . Hence continuation has positive option value there. On the stopping candidate has working residual . The matched dual is continuously differentiable, so the Itô formula introduces no boundary local-time term. Localization, the state-price budget, and the appropriate infinite-horizon transversality justify verification.
If nonnegative financial wealth is imposed during employment as an additional constraint, the working dual also has an upper boundary, and that extra constraint must be included in the free-boundary problem. It cannot be recovered by assuming the printed myopic equality.
Assume the regime is observed and . With , the wealth dynamics areLet be the value function conditional on the continuous-time Markov chain being in state . Its generator adds to the diffusion generator. The Hamilton-Jacobi-Bellman equation isFor , , the maximizing controls are and . Put . The optimized equation isHere is the utility conjugate.
Choose the normalization ; an additive utility constant shifts every value by that constant divided by . Homogeneity gives with . The regime-switching Merton equations reduce the differential system to one nonlinear algebraic equation per regime:The candidate feedback controls areChanging the regime changes consumption's wealth coefficient, while the risky fraction uses the current regime's risk premium and volatility.
Numerically solve these finite-dimensional equations by a damped Newton method, using to enforce positivity. For , the Jacobian in the variables isMultiply its th column by in the logarithmic variables. A residual-decreasing line search and continuation from , where the positive solution is the scalar Merton coefficient in each well-posed regime, give a practical method whenever that starting problem is finite. More generally use a positive initialization for the coupled system, and check residuals, positivity and conditioning rather than accepting an arbitrary algebraic root.
Verification requires constructing admissible feedback controls, proving the resulting wealth stays nonnegative, and establishing the stochastic-integral and transversality bounds needed at infinite horizon. Apply the Itô formula for semimartingales with jumps to , stopping before wealth leaves a compact interval. The Hamilton-Jacobi-Bellman equation makes accumulated utility plus discounted candidate value a local supermartingale for every admissible policy and a local martingale under the feedback. Justify removal of localization and let the terminal discounted value vanish under the candidate. For , the nonnegative terminal value can be dropped for the upper bound; for it is negative, so a transversality or dual integrability argument is essential. This establishes the global value bound and attainment, rather than just stationarity of the algebraic equations. The boundary is for and the limiting value for .
Articles by others on the same topic
There are currently no matching articles.