For , the stochastic exponential solution stays strictly positive. Put . The Itô formula givesThus 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 yieldIn 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 givesIf 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 isWhen 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 letWith 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 givesa 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 writeThe assumed representation makes a martingale. The stochastic Fubini theorem givesApply the Itô formula to and use the equation for from part (a), including the cross-variation. The result isUniqueness 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 obtainSubstitute 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
There are currently no matching articles.