For , the stochastic exponential solution stays strictly positive. Put . The Itô formula gives
Thus is a nonnegative local supermartingale. To justify the true supermartingale property, stop where or its stochastic integral exceeds successive bounds. The stopped Itô formula gives for . The conditional Fatou lemma and yield
In particular . The case is the identically zero process. This is the square-root stock supermartingale.
The coefficient is , but independence alone does not make the printed right-hand side -measurable. The future variance integral need not be known at time . This is a genuine missing information assumption in the PDF.
The Itô formula or explicit stochastic exponential gives
If the volatility path is fixed at time zero and independent of , conditioning on that path makes the first factor an exponential of a centered Gaussian variable with the compensating half-variance, so its conditional expectation is one. More generally, this conditioning works when enlarging the filtration by the entire independent volatility path preserves the Brownian property. For the usual joint filtration of Brownian history and independent volatility history, the valid conditional square-root price under independent volatility is
When the integral is already -measurable, the outer conditional expectation can be removed, giving the intended printed formula. In particular this holds for deterministic volatility or an independent path disclosed initially.
For a counterexample to the unqualified printed assertion, take an independent fair Bernoulli variable , disclose it at time , and let
With the filtration generated by the Brownian history and this disclosure, is Brownian and is bounded, continuous, adapted, and independent of . At , the variance integral is , while is trivial. Direct Gaussian conditioning gives
a constant. The proposed factor is random, so cannot equal that conditional expectation. The formula requires knowledge of future integrated variance; independence by itself is insufficient.
This part's conditional-expectation representation is its own hypothesis; it does not need the incorrect unrestricted claim in part (b). Fix , and write
The assumed representation makes a martingale. The stochastic Fubini theorem gives
Apply the Itô formula to and use the equation for from part (a), including the cross-variation. The result is
Uniqueness of the continuous semimartingale decomposition makes the drift vanish. Initially this is a statement; the assumed continuity in time and maturity extends it to the continuous versions simultaneously. Let to obtain
Substitute back and differentiate the maturity integrals using their continuous integrands:
This is the forward drift restriction for square-root stock claims. The term comes from the product cross-variation and must be retained. For the uninformative zero-stock case, the representation does not identify ; as usual a positive initial stock price is understood.

Articles by others on the same topic (0)

There are currently no matching articles.