Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 202 / 4

A continuous martingale is an adapted process with almost surely continuous paths, $\mathbb{E}|M_t|<\infty$ for every $t$, andA continuous local martingale is continuous and adapted and has a localizing sequence of stopping times $T_n\uparrow \infty$ almost surely such that every $M_t^{T_n}=M_{t\wedge T_n}$ is a true martingale. The initial value is normally integrable; the frequently used class ${\mathcal{M}}_{c,\mathrm{loc}}$ is normalized to start at zero.

The usual conditions for a filtration are completeness and right continuity. Completeness means that ${\mathcal{F}}_0$ contains every subset of each $\mathbb{P}$-null set in the ambient $\mathcal{F}$; right continuity means ${\mathcal{F}}_t={\bigcap }_{u>t}{\mathcal{F}}_u$. These conditions concern the filtered probability space, whereas continuity of a martingale concerns its sample paths.

For a continuous vector semimartingale $X$ and $f\in C^{1,2}$, the Itô formula isThe Itô product rule, or stochastic integration by parts, isThe additional second-order term is the quadratic covariation.

For general semimartingales with càdlàg paths, use left limits in the integrands. The Itô formula for semimartingales with jumps, for time-independent $f\in C^2$, isHere $X^c$ denotes the continuous local martingale part; the continuous bracket is that of these parts. For time-dependent $f\in C^{1,2}$ add $\int {\partial }_{s}f(s,X_{s-})ds$ and insert $s$ in the other evaluations of $f$. The integration by parts formula becomesFor continuous paths the jump sum vanishes, recovering the first two formulas.

Use two standard results: for every continuous local martingale $U$, there is a unique continuous adapted increasing quadratic variation $[U]$, starting at zero, such that $U^2-U_0^2-[U]$ is a local martingale; and a continuous finite-variation local martingale is constant.

Define the quadratic covariation by the polarization identityThis is continuous, adapted, starts at zero, and is of finite variation on compact time intervals. Since $(M+N{)}^2-(M-N{)}^2=4MN$, subtraction of the two quadratic-variation identities shows that $MN-M_0{N}_0-[M,N]$ is a continuous local martingale. In the zero-start convention this is exactly $MN-[M,N]\in {\mathcal{M}}_{c,\mathrm{loc}}$.

If $A$ is another continuous adapted finite-variation process with $A_0=0$ and the same local martingale property, then $A-[M,N]$ is both a continuous local martingale and of finite variation. It is constant, and its initial value is zero, so it vanishes. Uniqueness is up to indistinguishability of stochastic processes.

The normalization $[M,N{]}_0=0$ is essential. If arbitrary nonzero initial constants are allowed in the martingale class and this normalization is omitted, adding a constant to the bracket preserves the claimed property. The usual definition of quadratic covariation always includes the zero initial value.

The Lévy characterization of Brownian motion states that an adapted continuous real process $M$ with $M_0=0$ is standard Brownian motion relative to $({\mathcal{F}}_t)$ if and only if it is a continuous local martingale and $[M{]}_t=t$. The multidimensional version replaces the bracket identity by $[M^i,M^j{]}_t={\delta }_{ij}t$.

For the converse direction, a standard Brownian motion is a continuous martingale, and its independent centered increments give quadratic variation $t$. Distinct independent coordinates have zero quadratic covariation.

For the substantive direction, fix a vector $\theta \in {\mathbb{R}}^d$. The Itô formula applied toshows that its drift is zero: the second-order term is $-\frac{1}{2}|\theta {|}^2{E}_{t}dt$ and cancels the time derivative. Thus $E(\theta )$ is a complex local martingale. On $[0,T]$ its modulus is the deterministic value $e^{|\theta {|}^{2}t/2}\le e^{|\theta {|}^{2}T/2}$; localization and the dominated convergence theorem make it a true martingale. HenceThis conditional characteristic function is the deterministic characteristic function of $N(0,(t-s)I)$. For $A\in {\mathcal{F}}_s$, multiplying by $1_A$ and taking expectations, then using uniqueness of characteristic functions, proves that $M_t-M_s$ has this multivariate normal distribution and is independent of ${\mathcal{F}}_s$. Iterated conditioning gives independent increments with Gaussian distributions. Continuity, the zero initial value and these increment laws are the definition of standard Brownian motion. The case $d=1$ proves the requested statement; the vector form will also be used below.