Let and be the predictable holdings of the stock and the bank account. With no consumption, the self-financing portfolio has and . The Itô product rule, together with the dynamics from part (a), gives
The drift vanishes because and . Thus is a local martingale. It is nonnegative by the assumed nonnegative wealth and strict positivity of , and hence
For example, this last fact follows directly from Conditional Fatou lemma applied to a localizing sequence; the initial capital is assumed finite. As usual, holdings must be integrable against the asset semimartingales for the self-financing portfolio equation to be defined.

Articles by others on the same topic (0)

There are currently no matching articles.