Use the usual Black-Scholes model with and the filtration generated by . Set
For , independence and the Gaussian distribution exponential moment formula give . Thus is a strictly positive martingale of mean one, defining an equivalent measure on every finite horizon by .
To verify the measure change directly, put . For any real and ,
The conditional characteristic function is that of and does not depend on past information. Therefore has independent increments with Gaussian distribution and continuous paths, and is a Brownian motion under . Substituting gives . Hence is a geometric Brownian motion that is a martingale and is an equivalent martingale measure.
The form is also forced. By the Brownian martingale representation theorem, any density process that is a martingale has . The change of measure identity makes a local martingale under . Its drift, calculated by Itô formula, is , which must vanish. Thus . Solving with gives exactly the displayed stochastic exponential. Equivalence here is on each finite horizon, as usual for Black-Scholes pricing.
Since , part (b) shows that the density process of the T-forward measure is
Its terminal expectation is one and it is strictly positive, so the stated Radon-Nikodym derivative defines an equivalent probability measure. By the Girsanov theorem,
is a Brownian motion under . Substitution of cancels the entire instantaneous forward rate drift:
Because the integrand is deterministic and bounded, its Itô integral is square-integrable on . With the usual fixed initial instantaneous forward rate curve, the requested true martingale is
The positive density process is the stochastic exponential
Since is bounded, the Novikov condition holds; is a true martingale with and . Thus it defines the stated equivalent probability measure. The positive sign in the exponent means that the Girsanov theorem gives
Under this change of measure, applying the Itô formula to produces precisely the drift in its backward equation, which vanishes:
Bounded and make a true martingale under . Its terminal value is . Consequently
The sign can also be checked before changing measure: under the original measure , while the quadratic covariation term in is , exactly cancelling its drift.