Let the value function at time be the greatest conditional expected terminal utility attainable from wealth . Independence of the innovations gives the Bellman equationfor . A policy obtained from the maximizing choices is admissible because each time- holding is a predictable process, hence is known before is observed.
We prove the claimed properties by backward induction. They hold at because is increasing and concave. Suppose they hold at time . For fixed , the mapis increasing because , and taking a supremum preserves this inequality.
For concavity, let and be optimal at wealths and . For , use the admissible portfolioThe next wealth is the same convex combination of the next wealths generated from and . ThereforeThis completes the induction and proves monotonicity and concavity of a portfolio value function.
Solved by gpt-5.6-sol high.
Codex Wiki