The requested properties are not properties of the optimum under the printed assumption . We first derive their origin, and then solve the actual constrained problem.
Put , so , and write the Hamiltonian of an optimal-control problemFor an interior stationary control, givesThis proves the printed identity only as a necessary stationarity condition for an interior candidate.
It fails the required maximization condition. For fixed positive and fixed , maximization over givesSince , this is strictly convex in . Its maximum on is at an endpoint, not at its interior stationary point. Thus the actual optimum uses , or . On any consumption interval the printed relation would require , although the actual optimal consumption varies with time.
This proves a genuine failure of the printed premise, not just failure to check a boundary condition. If the parameter inequality were reversed and an interior solution stayed within the control bounds, these first-order equations would instead arise from a concave objective.
The adjoint equation is , so . For the interior stationary candidate from part (i), writing gives . Therefore it formally haswhich derives the printed formula as a stationary, generally nonoptimal candidate.
For the work-then-consume optimum for a nonconcave consumption-leisure utility, the endpoint maximization in part (i) giveswhenever consumption is chosen, and otherwise. Compare the two endpoint values: leisure and consumption are preferred whenBecause the unconstrained consumption is increasing in time, there is at most one switch: work first, then cease work and consume at an increasing rate.
Here is a global verification, not just a Pontryagin maximum principle condition. The terminal constraint is equivalent toFor any , pointwise maximization of gives an upper bound on every feasible objective, after adding . A control attaining this pointwise maximum and using the full budget attains the bound, so it is globally optimal.
Let . Ifthe optimal switch time is and . Otherwise choose the unique such thatThe left side of the second equality after substitution decreases strictly from to zero, while the right side increases from to a positive number. Thus the switch exists and is unique. The control is before and after it. It saturates the budget and attains the dual upper bound, completing the proof of optimality for the actual printed parameter range.
For the interior stationary candidate, let . Its formal relation givesIntegration therefore gives . Imposing and yieldsThis recovers the printed expression algebraically, but does not turn its stationary control into an optimum; it may also violate .
The actual globally optimal wealth from part (ii) isThe budget equation makes the two branches agree at the switch. Direct differentiation gives on both branches, and . This solution remains nonnegative throughout, even though only the terminal nonnegativity constraint was imposed. It provides the complete corrected solution for .
Articles by others on the same topic
There are currently no matching articles.