Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 37 / 3 / a / Solution

Set $N_t={\int }_0^t{Z}_s^{-1}d{Z}_s$, the stochastic logarithm of $Z$. On each finite horizon, a strictly positive continuous path has its reciprocal bounded; stopping at levels of $Z$, $Z^{-1}$ and $[Z]$ rigorously localizes this stochastic integral. Thus $N$ is a zero-start continuous local martingale, withThe Itô formula for the ordinary logarithm givesAccordingly, with the exponential convention printed in this question,The initial constant in $M$ contributes no quadratic variation. Under the standard normalized Doléans-Dade exponential convention, which subtracts the driver's initial value in the exponent, the same formula is written $Z=Z_0\mathcal{E}(N)$.

For uniqueness, suppose another continuous driver $L$ gives the printed exponential. Evaluating at zero forces $L_0=\log Z_0$. Applying the Itô formula to its exponential gives $d{Z}_t=Z_{t}d{L}_t$. Since $Z_t>0$, associativity of stochastic integration yields $d{L}_t=Z_t^{-1}d{Z}_t$. Thus $L_t=L_0+N_t=M_t$, up to indistinguishability of stochastic processes.

There is an initial-integrability qualification if “local martingale” is used with the usual integrable-initial-value definition. The displayed $M$ is a continuous local martingale when $\log Z_0\in L^1$, in particular when $Z_0$ is a positive deterministic number. An arbitrary positive integrable $Z_0$ does not ensure this. For example, take an ${\mathcal{F}}_0$-measurable positive integer $W$ with $\mathbb{P}(W=n)=6/({\pi }^2{n}^2)$ and put $Z_t=e^{-W}$ for all $t$. This is a bounded strictly positive martingale, but any representing driver must have $M_0=-W$, which is not integrable. Thus the unqualified claim is false under that definition. For general $Z_0$, the always-valid local-martingale statement is the zero-start representation $Z=Z_0\mathcal{E}(N)$; the printed representation additionally requires the stated integrability or the convention that allows arbitrary finite initial constants.