Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 30 / 1

Write $V_t=⟨X{⟩}_t$ for the quadratic variation and setThe Hölder factorization of stochastic exponentials follows by adding exponents:ThusThe subtraction inside the numerator is $\sqrt{pq}-1$, outside the square root.

The stochastic exponential $\mathcal{E}(\sqrt{pq}X)$ starts at one and is a nonnegative local martingale, hence a supermartingale. The optional sampling theorem for a supermartingale gives expectation at most one at bounded stopping times. For a finite, possibly unbounded, stopping time $T$, apply this to $T\wedge n$, then use continuity and the Fatou lemma:The Holder inequality with exponents $q$ and $q/(q-1)$ now givesThe inequality also holds when the right side is infinite.

The increasing quadratic variation has a limit in $[0,\infty ]$. Since $X_t$ has a finite limit, the exponentials have limits too, with value zero when the bracket is infinite. Expanding exponents provesbecause the coefficient of $X_t$ on the right isand the bracket coefficient is $-1/2$. Taking limits preserves the identity, including the zero case.

Let $A=\mathbb{E}[\mathcal{E}(X{)}_{\infty }]$, $B=\mathbb{E}[\mathcal{E}(rX{)}_{\infty }]$, and $D=\mathbb{E}[e^{r{X}_{\infty }/2}]$. The Holder inequality first yieldsWhen $D$ is finite, apply the Jensen inequality to the concave function $z\mapsto z^{2/(r+1)}$:Since $D>0$, rearrangement gives the terminal scaling inequality for stochastic exponentialsHere $2(r^2-1)/(r+1)=2(r-1)$. If the last exponential moment is infinite, the bound has no positive content; the finite-moment form is the one used below.

Let $K={\sup }_T\mathbb{E}[e^{M_T/2}]<\infty$, with $T$ ranging over finite stopping times. To locate the half-threshold for the exponential-martingale Hölder bound, put $u=\sqrt{pq}>\sqrt{q}$. Since $u(u-1)$ is increasing for $u>1$,On the other hand, taking $q=1+\epsilon$ and $p=1+{\epsilon }^2$ gives $C(p,q)\to 1/2$ as $\epsilon \downarrow 0$. Hence

Fix $0<a<1$. Choose $p,q>1$ with $aC(p,q)<1/2$, and put $\lambda =2aC(p,q)\in (0,1)$. Part (a) and the Jensen inequality give, for every finite stopping time,Thus the entire stopped family has a uniform $L^p$ bound for some $p>1$. By uniform integrability from an Lp bound, it is uniformly integrable.

To check that this local martingale is a true martingale, stop it by a localizing sequence. At each fixed time the stopped variables are uniformly integrable by the same bound; taking limits in their conditional martingale identities proves the unstopped identity. The uniform bound over all finite stopping times then makes it a uniformly integrable martingale, with terminal expectation one. Therefore

Use deterministic times tending to infinity and the Fatou lemma:Apply the terminal scaling inequality for stochastic exponentials to $X=aM$ and $r=1/a$. Part (c) gives $\mathbb{E}[\mathcal{E}(aM{)}_{\infty }]=1$, soLetting $a\uparrow 1$ shows that the terminal expectation is at least one. The nonnegative local martingale $\mathcal{E}(M)$ starts at one and is a supermartingale, so the Fatou lemma gives the opposite inequality. Consequently

The terminal expectation criterion for a nonnegative local martingale now closes the argument. Conditional Fatou lemma applied to the supermartingale at times tending to infinity givesThe left side has expectation one and the right side at most one, so equality holds almost surely. Thusand uniform integrability of conditional expectations proves that $\mathcal{E}(M)$ is a uniformly integrable martingale. This establishes the required stopped-moment form of the Kazamaki criterion.