Let and . The stochastic exponential solution gives
Boundedness of the predictable process implies the Novikov condition on every finite horizon, so this exponential has conditional expectation . The pathwise bounds and positivity of give
This proves the required bound in the independent-volatility case, and the exponential argument in fact does not need independence. In the usual filtration generated by Brownian motion and an independent volatility history, one can alternatively condition on the whole volatility path: the Brownian integral is then conditionally Gaussian with variance . The result is
the conditional square-root price under independent volatility. The outer conditional expectation cannot in general be removed.
On , these positive price bounds justify the unique square-root stock implied volatility
There is a genuine zero-price qualification: if , the nonnegative stock is absorbed at zero and both claim prices are zero for every volatility parameter. The price equation then does not determine a unique . One may set on that event to retain the bounds; identification by inversion requires .
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.