Put , assuming , and let
This state-price density prices the bank account and the risky asset. The Itô formula gives
Nonnegative 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 yields
This 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 constant
The Gaussian exponential moment gives
When , the budget is . Conditional pricing then gives , and the Merton consumption-investment problem has
The 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 is
For , 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 gives
Write and . Then
For 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. Consequently
This 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 imply
For 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 is
This 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 equation
The retired dual is . Let be the negative root of
The other root exceeds one. Its growing term is excluded by the solvency asymptotic as . Therefore the working dual has the form
Retirement corresponds to , where . Value matching and smooth fit give
Consequently the retirement boundary with an income option is
Using the root equation, , which lies strictly between zero and one. Thus for a nonzero risk premium. For example, and give , , and
These parameters give an explicit counterexample to identifying the printed level with the irreversible retirement boundary.
For , find the unique from
This right side decreases strictly from to , since . Recover the value and controls by
For , 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 are
Let 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 is
For , , the maximizing controls are and . Put . The optimized equation is
Here 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 are
Changing 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 is
Multiply 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 (0)

There are currently no matching articles.