If and , the stochastic Fubini theorem and Itô formula give and . The final term comes from the product cross-variation. Continuity extends the drift equality to the specified continuous versions.
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.
For fixed maturity , define and . The stochastic Fubini theorem and the moving lower endpoint give
The factor is the integral over one of the two triangles in the square . Applying the Itô formula to , its quadratic-variation correction cancels that factor:
Set , the reciprocal of the continuous-time bank account. The Itô product rule then gives
If , then on this finite horizon. The Novikov condition holds, so this stochastic exponential is a true martingale, not merely a local martingale. The discounted price is therefore
The authoritative PDF discounts to in this part. The TeX transcription's upper endpoint would include future short rates and is incorrect here.