Skip to content

How to Test an Exponential Brownian Process for the Martingale Property

Original question

I'm given a stochastic process involving an exponential Brownian motion. How can I determine whether it is a martingale?
For a standard Brownian motion WW in its natural filtration and real constants a,ba,b, the process Mt=eaWt+btM_t=e^{aW_t+bt} is a martingale exactly when b=−a2/2b=-a^2/2. 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 s<ts<t, rewrite the candidate as

Mt=Msexp⁡ ⁣(a(Wt−Ws)+b(t−s)).M_t=M_s\exp\!\left(a(W_t-W_s)+b(t-s)\right).
The past determines MsM_s, and Wt−WsW_t-W_s is independent of that past with variance t−st-s. If ZZ has a centred Gaussian law with variance vv, E[eaZ]=ea2v/2\mathbb E[e^{aZ}]=e^{a^2v/2}. Thus
E[Mt∣Fs]=Mse(b+a2/2)(t−s).\mathbb E[M_t\mid\mathcal F_s] =M_s e^{(b+a^2/2)(t-s)}.
The process is adapted because its value only uses the Brownian value at time tt. 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 dMt=(b+a2/2)Mt dt+aMt dWtdM_t=(b+a^2/2)M_t\,dt+aM_t\,dW_t. For constant a,ba,b 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 e(b+a2/2)(t−s)e^{(b+a^2/2)(t-s)}. 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 Mt=e0.7Wt−0.245tM_t=e^{0.7W_t-0.245t} with Nt=e0.7Wt+0.10tN_t=e^{0.7W_t+0.10t}. Since 0.72/2=0.2450.7^2/2=0.245, MM is a martingale. The second process is a submartingale because its mean multiplier from year 1 to year 2 is e0.345≈1.412e^{0.345}\approx1.412. At a time when N1=3N_1=3, the conditional mean of N2N_2 is about 4.244.24. The number 0.100.10 in the exponent therefore understates the growth of the expected process.

For MM in this example, the first moment stays at 11 while the second moment grows as e0.49te^{0.49t}. This follows from applying the same Gaussian moment formula with loading 1.41.4 to Mt2M_t^2. A flat conditional mean is compatible with increasing dispersion over time.

Interactive example

Turn a fair random walk into a biased one

Start at zero. Each independent step adds 1 on heads and subtracts 1 on tails. Compare expected change with the variability of a single walk.

Expected change per step 0.00 · martingale
A random walk compared with its expected path-4-2008162432StepsPosition
  • One simulated walk
  • Expected walk

References and next steps