The marked-to-market value of the current holdings is . In a self-financing portfolio, purchases are paid for by sales within the portfolio, so rebalancing itself changes no net wealth. Asset price changes contribute , and nonnegative consumption removes from wealth. Hence
The holdings must be predictable and stochastically integrable. The second identity is the self-financing definition with withdrawals; it is not obtained by incorrectly setting the changes in the holdings themselves to zero.
Apply the Itô product rule and the quadratic covariation rule for a stochastic integral. The finite variation consumption term has zero quadratic covariation with , so
Using and the wealth equation,
Thus the deflated wealth equation with consumption is
No finite variation assumption on is needed: the self-financing equation and the stochastic-integral quadratic covariation rule already incorporate the portfolio's financing constraint.
Use the usual normalization , finite deterministic initial wealth , positive state-price density, and nonnegative consumption. The deflated asset prices are local martingales, so predictable stochastic integrability makes a zero-starting local martingale. Integrating part (b) gives
A nonnegative local martingale is a supermartingale: localize to martingales, apply Conditional Fatou lemma, and obtain the conditional expectation inequality and integrability. Therefore , and hence , are supermartingales. In particular,
This is supermartingale control of deflated consumption gains. Nonnegative consumption is essential to the lower bound; it is the ordinary meaning of a consumption rate here. Wealth nonnegativity alone would not supply that bound if arbitrary signed cash flows were allowed.
The supermartingale conclusion gives
Discard the nonnegative terminal-wealth term and let . The cumulative deflated consumption increases, so monotone convergence theorem yields the state-price budget constraint
The normalization is relevant: with the right side is ; with random integrable initial deflated wealth its expectation is the unconditional budget bound.
Write and use the product measure . For , the conjugate exponents are and . Factor the utility integrand as
The Holder inequality on this product measure gives
Divide by to obtain the Hölder bound for discounted CRRA consumption:
For a finite right side this is ordinary Hölder; on the infinite measure space one can first truncate time and then pass by monotone convergence theorem. If and , the bound is valid but uninformative. If , the budget forces almost everywhere, so the utility integral is zero; handle this separately instead of writing an undefined .
When is finite and the bound is attained, equality requires full budget use and . This is the equality pattern of Hölder, not an assertion that every market can finance that process.

Articles by others on the same topic (0)

There are currently no matching articles.