For a standard Brownian motion in its natural filtration and real constants , the process is a martingale exactly when . Factor the exponential into its value at the conditioning time and a term involving the independent future increment. Then use the moment-generating function of a normal random variable to test whether the expected multiplier is one.
Factor out what is already known at time s
For , rewrite the candidate as
The past determines , and is independent of that past with variance . If has a centred Gaussian law with variance , . Thus
The process is adapted because its value only uses the Brownian value at time . Its finite-time expectation is finite by the Gaussian moment formula. With adaptation and integrability checked, the conditional equality decides the classification. A positive exponent coefficient gives a submartingale, and a negative coefficient gives a supermartingale.
Itô's lemma supplies an independent check. It gives . For constant on a finite horizon, the diffusion is square integrable because the exponential of a Gaussian has finite second moment. That fact makes the drift-free Itô integral a true martingale.
The proof needs adaptedness and integrability before the conditional calculation counts. The exponential is adapted to the Brownian filtration. Its first moment is finite at every finite time by the normal moment formula. Then take the past-measurable factor outside the conditional expectation. The remaining factor has mean . Comparing this positive multiplier with one proves the martingale, submartingale or supermartingale result directly. A zero drift calculation alone would only give a local statement until integrability is checked.
Test two choices of drift with the same noise
For an original exercise, compare with . Since , is a martingale. The second process is a submartingale because its mean multiplier from year 1 to year 2 is . At a time when , the conditional mean of is about . The number in the exponent therefore understates the growth of the expected process.
For in this example, the first moment stays at while the second moment grows as . This follows from applying the same Gaussian moment formula with loading to . A flat conditional mean is compatible with increasing dispersion over time.