For nonnegative rewards, a nonnegative value satisfying the maximizing Bellman equation dominates every competing policy, even for . Iterate the one-step inequality, discard the nonnegative terminal value, then apply the monotone convergence theorem to the accumulated reward.
A backward scalar or matrix recurrence for the quadratic coefficients in a value function for a linear-quadratic optimal control problem. It results from completing the control square in the Bellman equation. Multiplicative noise modifies the quadratic coefficients through its second moments.
Hamilton-Jacobi-Bellman equation Created 2026-10-03 Updated 2026-10-07
The Hamilton--Jacobi--Bellman equation is the continuous-time Bellman equation. For state dynamics , running cost and terminal cost , a smooth value function satisfies
Write . The Bellman equation implies for every available action. Under any competing policy, repeated conditioning gives
The last inequality uses . The monotone convergence theorem now gives , even when . If the comparison is immediate; otherwise the nonnegative conditional bounds justify each finite induction step. This proves Bellman comparison with nonnegative rewards and superunit discount without a vanishing-terminal-term assumption.
For the unit-bet policy in this gambler's ruin problem, put . The value satisfies
The characteristic equation has the repeated root , so . The boundary values give
To justify that this finite recurrence solution is the expected reward despite , let be the transition matrix on transient states . The matrix is diagonally similar, with diagonal factors , to the symmetric tridiagonal matrix with off-diagonal entries . Its eigenvalues are , , with absolute value below one. Thus its Neumann series converges and yields exactly the absorbed-payoff expectation and the unique recurrence solution.
When , at wealth bet once and then follow the unit-bet policy. Its expected value is , since . Therefore the unit-bet policy is not optimal.
Treat the white noise as innovations with conditional mean zero and conditional second moment , independent of the chosen past control. This is the convention needed for the dynamic programming calculation. The printed stage cost is , not one-half of both terms.
With terminal value , induction in the Bellman equation gives
If , completing the square yields
Thus for every horizon, in particular . The same completion gives the average-cost Bellman equation solution , up to an additive constant in .
For every policy in , conditional second moments satisfy . Iterating gives
The Bellman inequality implies . Dividing by and using the bound proves that every admissible policy has lower limiting average cost at least , even if its ordinary limit does not exist. The feedback belongs to because . It makes the Bellman inequality an equality, and its bounded terminal second moment proves its average cost tends to . Therefore it is optimal over .
Merely uncorrelated noise with the displayed unconditional moments would not ensure the conditional identities for arbitrary adapted controls. The innovation interpretation specifies the hypothesis used in the calculation.
Assume , a positive integer , decisions based only on already observed returns, and . The last is a sufficient well-posedness condition absent from the print; without moment assumptions the objectives may be infinite. Put . Multiplication by and subtraction of do not change the optimizer, so maximize subject to .
The Bellman equation for the value function is
The expectation uses a fresh independent return, since the action is chosen before it is observed. Zero wealth remains zero.
Let and choose an optimizer . Existence follows from continuity and compactness: the integrands are dominated by a constant times . Induction in the Bellman equation gives
Thus the maximal expected yield is . Neither current wealth nor time changes the maximizing fraction; there may be several optimizers.
The right derivative at is , using the finite first moment and dominated differentiation near zero. If , increasing slightly improves on , so . No explicit value of is needed.
For expected final capital, the Bellman equation is linear in wealth, with one-period factor . Therefore invest everything when the mean return is positive, nothing when it is negative, and any fraction when it is zero. For this agrees with the yield objective.
For , the root objective is concave and penalizes losses, so its optimal fraction need not be even when the mean is positive. For example, if and , the left derivative of at is , while its right derivative at is positive; the optimum lies strictly between and . If , Jensen inequality gives , so is optimal. Thus the root objective can favor partial investment over the all-in policy.
The stochastic objective is interpreted as its expectation; a literal pathwise minimization is generally impossible without knowing future noises. Let the value function from time be , with . Independence from past observations and zero contemporaneous covariance give
The Bellman equation is . Completing the square yields
This feedback is optimal among all controls measurable from the specified past, not merely linear controls. It depends on and does not depend on , though the minimal cost does. There is no cost-relevant in the displayed objective.
The backward Riccati recurrence iterates from . It is increasing, maps into , and has exactly one positive fixed point. Consequently it converges to
As , the finite-horizon feedback at any fixed time tends to this feedback. The closed-loop multiplier is , and its squared-mean factor is less than one, since and . Thus the second moment tends to . The finite-horizon value has ; its average converges by Cesaro summation. For a fixed initial state of finite second moment,
The same average is attained by the stationary feedback, by the stationary Bellman equation and bounded second moments.